24500 (sh) D 24499 24468 24421 34816 24468 4194304 461 0 0 0 0 0 0 0 25 0 1 0 9151056 3653632 350 4294967295 134512640 135191968 3217329232 3217328116 3086378000 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (sh) D 24499 24468 24421 34816 24468 4194304 461 0 0 0 0 0 0 0 25 0 1 0 9151056 3653632 350 4294967295 134512640 135191968 3217329232 3217328116 3086378000 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (sh) D 24499 24468 24421 34816 24468 4194304 461 0 0 0 0 0 0 0 25 0 1 0 9151056 3653632 350 4294967295 134512640 135191968 3217329232 3217328116 3086378000 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 461 0 0 0 0 0 0 0 25 0 1 0 9151056 114688 1 4294967295 0 0 3213330710 3217328116 3086378000 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 486 0 1 0 0 0 0 0 25 0 1 0 9151056 241664 26 4294967295 134512640 134535387 3213328944 3213326328 3086110852 0 0 4096 0 3222652410 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 486 0 1 0 0 0 0 0 25 0 1 0 9151056 241664 26 4294967295 134512640 134535387 3213328944 3213326328 3086110852 0 0 4096 0 3222652410 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 486 0 1 0 0 0 0 0 25 0 1 0 9151056 241664 26 4294967295 134512640 134535387 3213328944 3213326328 3086110980 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 489 0 2 0 0 0 0 0 25 0 1 0 9151056 356352 30 4294967295 134512640 134535387 3213328944 3213326180 3086113727 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 492 0 3 0 0 0 0 0 25 0 1 0 9151056 417792 34 4294967295 134512640 134535387 3213328944 3213326152 3086113727 0 0 4096 0 3222652410 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 494 0 4 0 0 0 0 0 25 0 1 0 9151056 417792 37 4294967295 134512640 134535387 3213328944 3213326244 3086110980 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 494 0 4 0 0 0 0 0 25 0 1 0 9151056 417792 37 4294967295 134512640 134535387 3213328944 3213326244 3086110980 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 494 0 4 0 0 0 0 0 25 0 1 0 9151056 4161536 37 4294967295 134512640 134535387 3213328944 3213326124 3086113727 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4194304 533 0 6 0 0 0 0 0 25 0 1 0 9151056 6860800 75 4294967295 134512640 134535387 3213328944 3213326100 3086110852 0 0 4096 0 3222652410 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4194304 614 0 8 0 0 0 0 0 25 0 1 0 9151056 6983680 157 4294967295 134512640 134535387 3213328944 3213327380 3086062840 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4194304 681 0 10 0 0 0 0 0 24 0 1 0 9151056 6983680 226 4294967295 134512640 134535387 3213328944 3213327380 3086062840 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4202496 805 0 12 0 0 0 0 0 24 0 1 0 9151056 6889472 333 4294967295 134512640 134535387 3213328944 3213328780 3084632368 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4202496 805 0 12 0 0 0 0 0 24 0 1 0 9151056 6889472 333 4294967295 134512640 134535387 3213328944 3213328780 3084632368 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4202496 811 0 17 0 0 0 0 0 24 0 1 0 9151056 6889472 344 4294967295 134512640 134535387 3213328944 3213328780 3083965984 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4202496 813 0 19 0 0 0 0 0 24 0 1 0 9151056 6889472 348 4294967295 134512640 134535387 3213328944 3213328780 3083489024 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) D 24499 24468 24421 34816 24468 4202496 813 0 20 0 0 0 0 0 24 0 1 0 9151056 6889472 349 4294967295 134512640 134535387 3213328944 3213328780 3083399264 0 0 4096 0 3222542128 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 852 0 26 0 0 0 0 0 24 0 1 0 9151056 7024640 394 4294967295 134512640 134535387 3213328944 3213327216 3083764287 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 882 0 30 0 1 0 0 0 24 0 1 0 9151056 7024640 428 4294967295 134512640 134535387 3213328944 3213327728 3082454406 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 2 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327440 3079853988 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 2 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213328016 3085991718 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 3 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327520 3084433447 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 4 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327520 3084435173 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 5 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327520 3084439527 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 6 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213328016 3084710217 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 6 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327384 3079484050 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 7 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327696 3082454409 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 8 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327920 3083843648 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 9 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327780 3079854682 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 10 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327520 3084439207 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 10 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213327520 3084434800 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 884 0 30 0 11 0 0 0 24 0 1 0 9151056 7024640 430 4294967295 134512640 134535387 3213328944 3213328000 3084724456 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 12 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327904 3082452984 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 13 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327740 3082454272 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 14 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327520 3084434286 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 14 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327520 3084438358 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 15 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327756 3082454278 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 16 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327520 3084434046 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 17 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213328096 3085916738 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 18 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327984 3085993568 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 18 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327900 3079861845 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 19 0 0 0 24 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327092 3079854718 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 20 0 0 0 25 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327520 3084434829 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 21 0 0 0 25 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327520 3084434883 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 22 0 0 0 25 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213328080 3084678805 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 22 0 0 0 25 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327520 3084439931 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 23 0 0 0 25 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327520 3084433425 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 24 0 0 0 25 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327520 3084434545 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 25 0 0 0 25 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327520 3084436648 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 885 0 30 0 26 0 0 0 25 0 1 0 9151056 7024640 431 4294967295 134512640 134535387 3213328944 3213327728 3082454380 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 26 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434308 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 27 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3083843847 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 28 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843292 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 29 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3085207767 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 30 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432911 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 30 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438331 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 31 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434248 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 32 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328000 3084724362 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 33 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3082450960 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 34 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434691 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 34 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434162 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 35 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327744 3083950355 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 36 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3085207753 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 37 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327744 3083950355 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 38 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433008 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 38 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433898 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 39 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991758 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 40 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439292 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 41 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434040 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 42 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327936 134527517 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 42 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433028 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 43 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407871 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 44 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327420 3082444464 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 45 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433449 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 46 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327904 3082452353 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 46 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408115 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 47 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439562 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 48 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433447 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 49 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328000 3082452928 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 50 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3082451286 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 50 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440032 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 51 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436661 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 52 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433347 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 53 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084496644 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 54 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454322 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 54 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327936 134527508 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 55 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327856 3085996424 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 56 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327932 3085995856 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 57 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3085207514 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 58 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3084710217 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 58 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328008 3083843809 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 59 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432795 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 60 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439729 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 61 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328000 3084724300 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 62 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439340 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 62 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434248 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 63 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434730 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 64 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084496765 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 65 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433052 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 66 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435335 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 66 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433347 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 67 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439856 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 68 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433910 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 69 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435167 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 70 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328008 3083843809 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 70 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439184 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 71 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408129 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 72 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327696 3082454331 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 73 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433910 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 74 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327424 3082445510 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 74 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435127 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 75 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327204 3079854715 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 76 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434344 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 77 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439845 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 78 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327852 3084407568 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 78 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084437812 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 79 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438325 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 80 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328096 3085916613 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 81 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327904 3082452442 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 82 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3085207756 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 82 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327716 3079855160 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 83 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327472 3082443811 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 84 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327936 134527483 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 85 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434805 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 86 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327716 3079854776 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 86 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454287 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 87 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3085996793 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 88 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843292 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 89 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3085207759 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 90 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327280 3079852409 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 90 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408156 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 91 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084496789 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 92 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434823 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 93 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438350 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 94 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843277 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 94 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436298 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 95 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435901 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 96 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435101 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 97 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843375 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 98 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327916 3083778832 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 98 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433859 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 99 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433341 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 100 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407875 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 101 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991813 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 102 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328096 3085917308 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 102 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433438 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 103 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327276 3079861782 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 104 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432741 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 105 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454420 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 106 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433418 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 106 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327276 3079861809 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 107 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328096 3085916713 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 108 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328092 3085906608 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 109 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327696 3082454398 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 110 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435206 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 110 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327856 3085996455 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 111 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433403 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 112 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407860 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 113 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434057 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 114 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3082451736 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 114 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434510 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 115 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433438 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 116 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433438 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 117 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435508 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 118 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438325 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 118 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327404 3082444470 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 119 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438249 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 120 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327952 3079851920 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 121 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327204 3079854693 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 122 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433447 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 122 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439251 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 123 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434622 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 124 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439328 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 125 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434769 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 126 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084437815 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 126 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327204 3079854738 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 127 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433045 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 128 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434682 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 129 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3085993382 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 130 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434709 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 130 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327936 134527431 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 131 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3082453506 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 132 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439943 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 133 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084496598 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 134 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327696 3082454368 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 134 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408132 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 135 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438350 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 136 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084437068 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 137 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843523 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 138 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3082452156 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 138 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439773 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 139 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3085993382 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 140 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991824 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 141 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327716 3079856067 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 142 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434755 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 142 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432917 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 143 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328096 3085917816 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 144 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435447 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 145 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434333 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 146 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327856 3085995895 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 146 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327856 3085996060 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 147 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328092 3085994976 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 148 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439201 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 149 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433139 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 150 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433425 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 150 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3085993382 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 151 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327744 3083950291 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 152 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3085993585 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 153 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434311 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 154 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434040 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 154 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438344 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 155 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440043 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 156 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084496644 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 157 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435104 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 158 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439334 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 158 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843146 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 159 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327952 3079851715 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 160 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084496765 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 161 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433335 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 162 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433942 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 162 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434328 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 163 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433438 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 164 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435311 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 165 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444740 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 166 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3082451679 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 166 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433431 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 167 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433438 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 168 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433028 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 169 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084662315 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 170 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843311 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 170 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433438 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 171 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408105 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 172 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084437151 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 173 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436129 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 174 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434926 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 174 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327276 3079861762 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 175 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327936 134527521 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 176 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3082451886 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 177 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433158 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 178 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433425 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 178 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434283 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 179 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327424 3082445514 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 180 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434184 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 181 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407860 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 182 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433175 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 182 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435173 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 183 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439817 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 184 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433910 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 185 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327452 3082445568 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 185 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328048 3085994996 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 186 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435098 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 187 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327904 3082453377 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 188 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433033 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 188 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444642 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 189 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435477 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 190 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433575 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 191 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454400 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 192 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434264 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 192 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434691 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 193 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433418 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 194 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434880 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 195 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084496397 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 196 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434709 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 196 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084662287 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 197 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408011 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 198 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3085993626 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 199 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439829 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 200 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439328 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 200 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444581 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 201 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434348 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 202 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327372 3079854769 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 203 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434764 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 204 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434728 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 204 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327424 3082445458 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 205 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328092 3085991928 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 206 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439207 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 207 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434348 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 208 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433139 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 208 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084437812 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 209 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434876 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 210 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435482 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 211 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454331 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 212 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434694 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 212 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434909 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 213 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843553 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 214 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444888 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 215 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438628 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 216 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444581 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 216 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327456 3082445413 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 217 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439723 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 218 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434886 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 219 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439207 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 220 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433011 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 220 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434728 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 221 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433347 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 222 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327716 3079856081 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 223 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436008 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 224 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432795 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 224 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454540 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 225 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434626 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 226 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439298 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 227 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433859 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 228 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3085207762 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 228 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433163 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 229 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327928 3085995857 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 230 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3085993363 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 231 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434330 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 232 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3084710248 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 232 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327716 3079855483 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 233 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327424 3082445532 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 234 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433163 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 235 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434348 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 236 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434688 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 236 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444740 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 237 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432914 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 238 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407804 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 239 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454345 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 240 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843636 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 240 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436679 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 241 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444847 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 242 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438325 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 243 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434187 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 244 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327932 3085995856 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 244 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438591 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 245 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327744 3083950311 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 246 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327744 3083950352 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 247 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328032 3085992841 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 248 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439798 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 248 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327424 3082445493 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 248 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328096 3085917610 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 249 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439585 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 250 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328048 3085994665 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 251 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432808 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 252 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433664 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 252 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407869 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 252 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327264 3079854628 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 253 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444627 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 253 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327908 3082451657 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 254 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432927 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 254 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3082451520 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 254 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843605 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 255 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440158 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 256 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433553 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 256 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991625 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 256 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327276 3079861807 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 257 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439168 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 257 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843611 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 258 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084496438 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 258 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327472 3084419398 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 258 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327904 3082452987 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 259 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085992093 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 259 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435447 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 260 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444844 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 260 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440190 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 260 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435101 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 261 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439562 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 261 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843619 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 262 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327432 3079851617 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 262 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327336 3082444097 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 262 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408064 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 263 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433335 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 263 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843289 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 264 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440015 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 264 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407789 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 264 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327388 3079861716 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 265 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454334 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 265 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328048 3085995019 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 266 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444576 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 266 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327912 3084402353 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 266 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439241 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 267 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433335 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 267 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454380 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 268 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327276 3079861807 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 268 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444609 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 268 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435104 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 269 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843611 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 269 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434918 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 270 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3082454171 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 270 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434850 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 270 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843639 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 271 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454391 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 271 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327848 3083950065 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 272 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434251 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 272 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433934 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 272 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432808 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 273 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444627 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 273 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3085994380 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 274 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439572 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 274 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434918 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 274 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439606 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 275 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408126 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 275 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454380 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 276 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440089 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 276 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435173 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 276 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327280 3079851642 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 277 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435150 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 277 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328008 3082453445 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 278 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440251 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 278 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438272 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 278 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434408 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 279 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991821 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 279 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327952 3079851642 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 280 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444661 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 280 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327916 3082450928 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 280 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991813 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 281 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327696 3082454417 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 281 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433048 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 282 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440074 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 282 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454351 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 282 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327936 134527447 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 283 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327916 3082443754 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 283 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433359 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 284 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438338 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 284 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843305 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 284 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434682 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 285 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434320 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 285 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432907 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 286 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436679 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 286 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454706 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 286 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444753 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 287 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434344 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 287 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408015 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 288 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843626 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 288 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3082451117 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 288 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328096 3085917947 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 289 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436661 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 289 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439527 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 290 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440035 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 290 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444669 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 290 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327772 3082454628 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 291 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439562 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 291 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085992049 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 292 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327280 3079853303 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 292 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327900 3079861837 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 292 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433345 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 293 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843279 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 293 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3082454166 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 294 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440278 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 294 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433403 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 294 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327952 3079851706 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 295 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991678 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 295 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407869 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 296 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439524 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 296 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433163 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 296 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843148 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 297 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433556 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 297 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991876 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 298 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991821 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 298 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433940 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 298 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432744 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 299 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434357 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 299 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3085994338 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 300 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433664 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 300 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843394 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 300 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328096 3085916799 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 301 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439585 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 301 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432641 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 302 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438325 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 302 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433052 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 302 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444749 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 303 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3082453656 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 303 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843384 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 304 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327388 3079861753 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 304 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439560 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 304 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327936 134527431 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 305 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433454 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 305 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440192 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 306 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436162 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 306 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327856 3085996645 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 306 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327996 3084496647 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 307 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434926 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 307 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434730 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 308 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444578 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 308 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434251 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 308 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084408064 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 309 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843146 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 309 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327328 3079851706 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 310 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084439226 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 310 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434850 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 310 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407871 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 311 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3085993436 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 311 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327420 3082442536 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 312 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433335 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 312 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327984 3083843841 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 312 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084432919 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 313 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444581 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 313 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328048 3079854079 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 314 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454380 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 314 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434323 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 314 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084440015 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 315 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433139 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 315 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327204 3079856376 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 316 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084435113 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 316 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084434782 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 316 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3083843340 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 317 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444696 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 317 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436624 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 318 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327776 3084407871 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 318 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084433412 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 318 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436645 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 319 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327920 3082453712 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 319 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328000 3084724314 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 320 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213328016 3085991681 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 320 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327344 3082444870 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 320 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084438344 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 321 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327792 3082451739 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 321 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327520 3084436719 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202496 886 0 30 0 322 0 0 0 25 0 1 0 9151056 7024640 432 4294967295 134512640 134535387 3213328944 3213327728 3082454292 0 0 4096 0 0 0 0 17 0 0 0 0
24500 (gecode-mseq) R 24499 24468 24421 34816 24468 4202500 913 0 30 0 322 0 0 0 25 0 1 0 9151056 0 0 4294967295 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 0
 0 0 0 0
