24517 (sh) R 24515 24468 24421 34816 24468 4194304 163 0 0 0 0 0 0 0 21 0 1 0 9151988 2682880 75 4294967295 134512640 135191968 3220477776 3220476212 3086255317 0 0 4096 0 0 0 0 17 1 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 913 0 0 0 0 0 0 0 21 0 1 0 9151988 7024640 428 4294967295 134512640 134535387 3213377680 3213376744 3084261601 0 0 4096 0 0 0 0 17 1 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 913 0 0 0 1 0 0 0 21 0 1 0 9151988 7024640 428 4294967295 134512640 134535387 3213377680 3213376512 3084825710 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 1 0 0 0 21 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084856379 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 2 0 0 0 21 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376528 3082869507 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 2 0 0 0 21 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376736 3085142214 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 2 0 0 0 21 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376208 3082861608 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 3 0 0 0 21 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084852874 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 3 0 0 0 21 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376656 3084261103 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 4 0 0 0 21 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084851230 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 4 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376648 3082869965 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 4 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084857046 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 5 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376832 3086335506 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 5 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376528 3082868868 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 6 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084853189 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 6 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084854453 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 6 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084851957 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 7 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084854544 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 7 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084852615 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 8 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376472 3082872065 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 8 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376592 3086414146 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 8 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084857921 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 9 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376736 3085142230 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 9 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376256 3084852056 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 915 0 0 0 10 0 0 0 23 0 1 0 9151988 7024640 430 4294967295 134512640 134535387 3213377680 3213376464 3082872187 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 10 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376592 3086414426 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 10 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084854431 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 11 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084851720 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 11 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084852299 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 12 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376832 3086334840 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 12 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376528 3082868752 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 12 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376528 3082869301 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 13 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376720 3086411219 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 13 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376512 3084825911 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 14 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084856216 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 14 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376672 134527508 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 14 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376672 134527440 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 15 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376656 3084261105 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 15 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084850600 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 16 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376656 3082871295 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 16 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084851217 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 16 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084851345 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 17 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376432 3082872178 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 17 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084853010 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 18 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376656 3084261003 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 18 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084851239 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 18 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084850825 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 19 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376592 3086414548 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 19 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376748 3084261600 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 20 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376592 3086414273 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 20 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376732 3084914381 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 20 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084852520 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 21 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084855604 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 21 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376512 3084825856 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 22 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084851127 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 22 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376528 3082868882 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 916 0 0 0 22 0 0 0 23 0 1 0 9151988 7024640 431 4294967295 134512640 134535387 3213377680 3213376256 3084852714 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 23 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857918 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 23 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261167 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 24 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086412130 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 24 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376128 3080271924 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 24 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850696 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 25 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3082871387 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 25 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825658 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 26 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850523 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 26 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852486 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 26 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853605 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 27 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851702 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 27 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856107 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 28 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3082871487 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 28 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862607 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 28 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857322 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 29 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851120 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 29 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086335679 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 30 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857322 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 30 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851338 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 30 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825823 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 31 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850825 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 31 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376432 3082872117 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 32 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856970 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 32 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376432 3082872137 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 32 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825592 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 33 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376592 3086414624 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 33 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376432 3082872187 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 34 0 0 0 23 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376736 3082871269 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 34 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856915 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 34 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856383 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 35 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3082871373 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 35 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854419 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 36 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856104 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 36 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376816 3085096589 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 36 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852824 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 37 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825905 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 37 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376124 3080279599 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 38 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852936 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 38 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852642 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 38 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853379 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 39 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086336293 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 39 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376208 3084837175 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 40 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261413 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 40 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825627 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 40 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853916 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 41 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856117 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 41 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851217 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 42 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261014 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 42 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850950 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 42 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409476 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 43 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852985 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 43 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086412175 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 44 0 0 0 24 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852558 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 44 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852325 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 44 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086411219 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 45 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856130 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 45 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852574 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 46 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852056 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 46 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409616 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 46 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851230 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 47 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261132 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 47 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825663 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 48 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852714 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 48 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825897 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 48 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376688 3080269634 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 49 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850855 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 49 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862564 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 50 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086412079 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 50 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409485 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 50 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857103 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 51 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852537 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 51 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261296 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 52 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3085127891 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 52 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376672 134527558 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 52 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376480 3084368100 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 53 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850607 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 53 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856130 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 54 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869923 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 54 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856905 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 54 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857364 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 55 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3085127971 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 55 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086411203 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 56 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856144 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 56 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852125 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 56 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852071 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 57 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872090 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 57 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261128 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 58 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857109 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 58 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862438 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 58 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857016 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 59 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852120 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 59 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850811 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 60 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856041 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 60 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857319 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 60 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376016 3080270226 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 61 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409550 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 61 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376452 3080272577 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 62 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862619 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 62 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376160 3082863306 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 62 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376012 3080279543 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 63 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261397 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 63 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851217 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 64 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857570 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 64 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850907 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 64 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851976 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 65 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850814 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 65 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857103 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 66 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082868812 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 66 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3085625557 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 66 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853033 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 67 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857505 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 67 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852071 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 68 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850938 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 68 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086334893 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 68 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851664 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 69 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376640 3082870779 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 69 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857043 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 70 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872137 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 70 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852480 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 70 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852507 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 71 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857829 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 71 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854894 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 72 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850641 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 72 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850709 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 72 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376124 3080269408 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 73 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376688 3080269578 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 73 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376716 3086408810 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 74 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376208 3084837190 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 74 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856353 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 74 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3082871419 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 75 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869541 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 75 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825914 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 76 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851972 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 76 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376672 134527508 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 76 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3085625410 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 77 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261245 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 77 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082868757 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 78 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852327 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 78 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872166 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 78 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261386 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 79 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852908 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 79 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869658 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 80 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851217 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 80 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3085080120 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 80 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852710 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 81 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852327 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 81 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084260983 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 82 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852462 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 82 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853919 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 82 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862621 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 83 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852716 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 83 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853072 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 84 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261393 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 84 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851677 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 84 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376480 3084368018 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 85 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857631 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 85 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857576 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 86 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852914 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 86 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376784 3086412794 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 86 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862416 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 87 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851702 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 87 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376160 3082863312 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 88 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376208 3084837209 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 88 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852914 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 88 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856979 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 89 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852877 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 89 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825426 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 90 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376632 3084820145 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 90 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857835 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 90 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856150 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 91 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852696 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 91 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850533 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 92 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086411968 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 92 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857005 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 92 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852704 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 93 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851239 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 93 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852203 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 94 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857621 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 94 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869528 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 94 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084858049 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 95 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850950 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 95 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851133 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 96 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086334808 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 96 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261067 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 96 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869510 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 97 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376452 3080273659 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 97 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376468 3082872068 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 98 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376640 3082871166 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 98 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852919 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 98 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082868929 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 99 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854416 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 99 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409473 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 100 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376480 3084367879 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 100 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825728 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 100 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376576 3085625617 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 101 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852078 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 101 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261411 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 102 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869918 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 102 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825535 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 102 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376800 3080271816 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 103 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850543 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 103 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914439 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 104 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862424 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 104 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857982 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 104 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853215 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 105 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852716 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 105 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376504 3082872419 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 106 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853886 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 106 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872501 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 106 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376688 3080269575 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 107 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376592 3086414195 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 107 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852701 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 108 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261116 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 108 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856896 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 108 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376012 3080279502 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 109 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857658 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 109 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376176 3080271892 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 110 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825667 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 110 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857030 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 110 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825680 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 111 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852125 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 111 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852775 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 112 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850853 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 112 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857484 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 112 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852088 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 113 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851230 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 113 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857915 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 114 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857691 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 114 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853060 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 114 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825663 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 115 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857596 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 115 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376480 3084368171 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 116 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376620 3080273880 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 116 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376008 3079901839 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 116 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852642 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 117 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852088 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 117 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3085625559 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 118 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851127 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 118 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872143 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 118 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857039 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 119 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086412172 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 119 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3085080051 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 120 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3085080101 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 120 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857484 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 120 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852373 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 121 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857030 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 121 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853189 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 122 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850989 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 122 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376432 3082872410 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 122 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854446 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 123 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852642 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 123 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825704 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 124 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376124 3080279599 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 124 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852112 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 124 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862393 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 125 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086336219 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 125 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852687 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 126 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376208 3082861597 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 126 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376124 3080279666 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 126 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852905 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 127 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261163 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 127 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851651 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 128 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850820 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 128 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086412041 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 128 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086411392 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 129 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852056 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 129 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261411 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 130 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3084261612 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 130 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213375828 3080272537 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 130 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376124 3080279639 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 131 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850975 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 131 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376124 3080279527 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 132 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851838 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 132 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850947 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 132 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376672 3080270240 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 133 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825670 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 133 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086335100 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 134 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3085127871 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 134 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376432 3082872410 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 134 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857697 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 135 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853223 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 135 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850820 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 136 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857398 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 136 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376592 3086414509 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 136 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851204 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 137 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825891 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 137 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869533 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 138 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869395 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 138 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850800 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 138 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3082871966 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 139 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914402 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 139 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213375996 3080272561 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 140 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856098 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 140 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850527 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 140 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376736 3085142241 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 141 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084855598 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 141 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3085128000 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 142 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261132 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 142 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857697 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 142 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857667 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 143 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914445 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 143 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852714 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 144 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376452 3080272984 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 144 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084858043 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 144 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851127 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 145 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853892 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 145 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261403 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 146 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852125 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 146 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862541 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 146 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825867 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 147 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261105 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 147 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852451 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 148 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850523 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 148 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862416 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 148 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376640 3082870779 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 149 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850844 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 149 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853924 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 150 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852724 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 150 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3082871360 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 150 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376636 3080279494 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 151 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213375940 3080272480 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 151 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850719 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 152 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862532 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 152 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850706 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 152 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376476 3082872064 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 153 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082868754 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 153 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851239 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 154 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376652 3082868720 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 154 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857847 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 154 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851732 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 155 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852675 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 155 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857860 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 156 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376128 3080271889 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 156 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852668 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 156 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3085625559 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 157 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825799 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 157 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086334444 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 158 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086334297 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 158 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862607 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 158 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376124 3080279599 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 159 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261014 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 159 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872093 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 160 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261403 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 160 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825704 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 160 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376480 3084368169 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 161 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857097 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 161 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856136 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 162 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261250 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 162 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851201 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 162 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862561 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 163 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850811 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 163 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376492 3082872070 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 164 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825380 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 164 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376160 3082863324 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 164 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853400 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 165 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376592 3086414162 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 165 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376208 3084837167 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 166 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857866 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 166 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852710 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 166 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851243 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 167 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3085128021 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 167 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213375936 3079901839 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 168 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825891 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 168 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851230 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 168 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376784 3086412834 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 169 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376672 134527508 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 169 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854453 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 170 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914445 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 170 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261237 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 170 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854419 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 171 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376016 3080270267 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 171 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850540 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 172 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852698 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 172 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376688 3080271101 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 172 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854431 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 173 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3084914590 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 173 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825869 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 174 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850587 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 174 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850597 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 174 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850814 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 175 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086411374 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 175 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857697 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 176 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850953 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 176 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376128 3080271799 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 176 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409417 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 177 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852950 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 177 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376800 3080271892 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 178 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376492 3082872070 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 178 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376816 3086409717 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 178 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852103 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 179 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261093 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 179 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850607 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 180 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854830 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 180 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825900 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 180 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851659 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 181 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852648 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 181 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376632 3080272564 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 182 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086411222 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 182 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376008 3079901839 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 182 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857573 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 183 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084260994 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 183 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852381 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 184 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376012 3080279599 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 184 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856142 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 184 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825665 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 185 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852681 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 185 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857866 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 186 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852358 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 186 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376672 134527489 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 186 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825867 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 187 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857590 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 187 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376640 3082870816 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 188 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869063 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 188 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850947 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 188 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852040 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 189 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376576 3085625617 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 189 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852905 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 190 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852980 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 190 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856107 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 190 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852675 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 191 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852358 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 191 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853220 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 192 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376016 3080270192 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 192 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376640 3082870008 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 192 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825803 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 193 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086411366 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 193 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852690 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 194 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852704 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 194 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914390 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 194 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084855598 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 195 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850527 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 195 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850950 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 196 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857827 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 196 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851662 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 196 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852980 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 197 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856136 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 197 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852191 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 198 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872178 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 198 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376688 3080270297 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 198 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376480 3084368085 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 199 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376124 3080279508 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 199 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856993 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 200 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850831 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 200 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261173 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 200 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852062 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 201 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914381 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 201 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376432 3082872169 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 202 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376652 3082861543 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 202 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852375 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 202 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376640 3082870853 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 203 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409894 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 203 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3085127904 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 204 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914357 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 204 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376736 3085142095 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 204 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857319 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 205 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3085625475 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 205 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851714 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 206 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914242 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 206 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850855 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 206 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872314 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 207 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213375824 3079901839 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 207 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852917 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 207 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852507 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 208 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086411174 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 208 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914445 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 208 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914390 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 209 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851239 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 209 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852462 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 210 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851832 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 210 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261081 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 210 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850944 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 211 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857648 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 211 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376048 3082862017 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 212 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086335844 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 212 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852947 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 212 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3085625327 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 213 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857033 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 213 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869536 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 214 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850861 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 214 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376668 134519648 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 214 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086335972 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 215 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850861 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 215 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851230 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 216 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857033 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 216 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3082871360 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 216 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862291 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 217 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862527 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 217 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376652 3084196624 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 218 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914375 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 218 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857847 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 218 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376780 3086410603 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 219 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851574 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 219 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852866 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 220 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376592 3086413855 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 220 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852457 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 220 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376672 134527508 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 221 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852896 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 221 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852200 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 222 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376672 134527519 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 222 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853593 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 222 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850607 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 223 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850703 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 223 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852698 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 224 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825661 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 224 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850597 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 224 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872123 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 225 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850837 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 225 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825907 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 226 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376064 3080270222 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 226 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857109 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 226 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409493 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 227 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854453 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 227 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261240 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 228 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376520 3084196636 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 228 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084858043 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 228 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852998 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 229 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376428 3082861543 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 229 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3082871378 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 230 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376748 3084261655 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 230 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261071 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 230 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084856156 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 231 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857596 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 231 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376248 3084820145 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 232 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852877 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 232 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851672 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 232 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857567 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 233 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376592 3086413781 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 233 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851239 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 234 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261318 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 234 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376160 3082863324 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 234 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261132 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 235 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862547 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 235 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854090 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 236 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850825 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 236 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862607 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 236 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213375828 3080272474 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 237 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376452 3080272773 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 237 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376688 3080269657 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 238 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854453 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 238 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857508 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 238 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857364 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 239 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852849 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 239 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852516 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 240 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862649 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 240 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850709 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 240 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3082871811 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 241 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376828 3085096560 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 241 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850844 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 242 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376480 3084368188 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 242 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852474 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 242 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852704 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 243 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376796 3086410592 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 243 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376016 3080269442 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 244 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852687 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 244 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850597 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 244 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261167 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 245 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376048 3082862007 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 245 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852902 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 246 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409627 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 246 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850421 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 246 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850981 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 247 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857618 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 247 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376480 3084367879 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 248 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376176 3080271786 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 248 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852164 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 248 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852381 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 249 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854453 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 249 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852866 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 250 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851210 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 250 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852584 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 250 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857103 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 251 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853932 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 251 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852337 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 252 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852701 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 252 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261105 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 252 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854446 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 253 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852049 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 253 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825891 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 254 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850719 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 254 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851207 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 254 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854416 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 255 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850597 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 255 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852959 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 256 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376752 3086409514 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 256 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376688 3080269712 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 256 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857111 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 257 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872496 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 257 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261296 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 258 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376500 3082872068 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 258 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850912 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 258 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857354 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 259 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914375 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 259 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851323 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 260 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376464 3082872149 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 260 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825900 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 260 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376500 3082872068 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 261 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376480 3084368128 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 261 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086335503 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 262 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869516 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 262 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376012 3079901839 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 262 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854437 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 263 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376064 3080270222 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 263 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851230 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 264 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850709 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 264 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376712 134527249 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 264 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376648 3084820172 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 265 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3085625545 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 265 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376592 3086414143 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 266 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852965 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 266 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851174 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 266 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852120 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 267 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376176 3080271889 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 267 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851133 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 268 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857609 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 268 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084853886 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 268 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3085625523 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 269 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086334856 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 269 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869510 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 270 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862594 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 270 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376492 3082872070 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 270 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086412172 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 271 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086412130 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 271 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852337 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 272 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857508 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 272 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376732 3084914442 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 272 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852501 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 273 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376592 3086414408 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 273 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850820 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 274 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261093 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 274 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851139 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 274 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857018 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 275 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857505 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 275 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852714 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 276 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854440 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 276 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852874 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 276 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261400 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 277 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084857109 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 277 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869520 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 278 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852947 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 278 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376656 3084261397 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 278 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850837 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 279 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084854431 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 279 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376832 3086334685 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 280 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376432 3082872123 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 280 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3082869533 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 280 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852561 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 281 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376176 3080271795 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 281 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850706 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 282 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376512 3084825888 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 282 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851849 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 282 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084852501 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 283 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084850540 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 283 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376080 3082862419 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 284 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851151 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 284 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376720 3086411203 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 284 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376256 3084851201 0 0 4096 0 0 0 0 17 0 0 0 0
24517 (gecode-mseq) R 24515 24468 24421 34816 24468 4202496 917 0 0 0 285 0 0 0 25 0 1 0 9151988 7024640 432 4294967295 134512640 134535387 3213377680 3213376528 3085625485 0 0 4096 0 0 0 0 17 0 0 0 0
