24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4194304 534 0 0 0 0 0 0 0 20 0 1 0 9153740 5443584 71 4294967295 134512640 134535387 3217794256 3217791648 3086505735 0 0 4096 0 0 0 0 17 1 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 911 0 0 0 0 0 0 0 20 0 1 0 9153740 7028736 426 4294967295 134512640 134535387 3217794256 3217793088 3084854528 0 0 4096 0 0 0 0 17 1 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 914 0 0 0 0 0 0 0 20 0 1 0 9153740 7028736 429 4294967295 134512640 134535387 3217794256 3217793216 3082899451 0 0 4096 0 0 0 0 17 1 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 914 0 0 0 1 0 0 0 20 0 1 0 9153740 7028736 429 4294967295 134512640 134535387 3217794256 3217792832 3084879867 0 0 4096 0 0 0 0 17 1 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 2 0 0 0 20 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217793248 134527447 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 2 0 0 0 20 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217793328 3084943262 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 2 0 0 0 20 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084881219 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 3 0 0 0 20 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084880380 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 3 0 0 0 20 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084881252 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 4 0 0 0 20 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084885651 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 4 0 0 0 20 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217793308 3084943168 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 4 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792656 3082891291 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 5 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084886496 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 5 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217793028 3080302496 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 6 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217793312 3085170855 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 6 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084885775 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 6 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084881591 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 7 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217793308 3084943114 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 7 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084881799 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 8 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084879889 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 8 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217793008 3082900835 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 8 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217793408 3086363238 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 9 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084886616 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 9 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217792832 3084886237 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 916 0 0 0 10 0 0 0 23 0 1 0 9153740 7028736 431 4294967295 134512640 134535387 3217794256 3217793228 3084225296 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 10 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217793040 3082900870 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 10 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084879516 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 11 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217793028 3080301421 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 11 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084886613 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 12 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084881155 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 12 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084879472 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 12 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217793232 3084289835 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 13 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084879527 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 13 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084882585 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 14 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084884789 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 14 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084883103 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 14 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084879902 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 15 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084880808 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 15 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084879619 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 16 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084879421 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 16 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084884279 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 16 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792816 3082895946 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 17 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217793308 3084942988 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 17 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084886281 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 18 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084879391 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 18 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084885713 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 18 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084885665 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 19 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084881045 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 19 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217793308 3084943154 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 20 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084886026 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 20 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217793296 3086439900 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 20 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217793328 3086438277 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 21 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084879269 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 21 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084879936 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 22 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217793216 3082899472 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 22 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084882291 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 917 0 0 0 22 0 0 0 23 0 1 0 9153740 7028736 432 4294967295 134512640 134535387 3217794256 3217792832 3084880336 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 23 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440040 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 23 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879619 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 24 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854475 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 24 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396772 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 24 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881490 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 25 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881657 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 25 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793264 3080298306 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 26 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289915 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 26 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886416 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 26 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882591 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 27 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793212 3080308226 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 27 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440018 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 28 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084942905 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 28 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886715 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 28 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290017 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 29 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881111 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 29 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792704 3080300593 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 30 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880715 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 30 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879516 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 30 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793044 3082900740 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 31 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900091 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 31 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881515 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 32 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886490 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 32 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854572 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 32 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881213 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 33 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880629 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 33 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881869 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 34 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886177 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 34 0 0 0 23 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898070 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 34 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886363 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 35 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440069 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 35 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792736 3082891968 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 36 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886036 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 36 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943117 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 36 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900780 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 37 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086364965 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 37 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886349 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 38 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3086438294 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 38 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854321 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 38 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793228 3084848816 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 39 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854531 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 39 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898197 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 40 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289912 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 40 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879879 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 40 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792592 3080298939 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 41 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793284 134527252 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 41 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082900756 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 42 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900838 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 42 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880648 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 42 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943251 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 43 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086364198 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 43 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792696 3079930511 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 44 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086443083 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 44 0 0 0 24 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883125 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 44 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084942927 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 45 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086442767 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 45 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290058 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 46 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086364024 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 46 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879509 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 46 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396759 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 47 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886349 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 47 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879263 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 48 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086439886 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 48 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879889 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 48 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854547 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 49 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879811 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 49 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793324 3082899395 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 50 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886605 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 50 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396711 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 50 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879889 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 51 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879622 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 51 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793028 3080302528 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 52 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854563 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 52 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886156 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 52 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881194 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 53 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792736 3082891922 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 53 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881637 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 54 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886320 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 54 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793264 3080298100 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 54 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886605 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 55 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881243 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 55 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084884782 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 56 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881252 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 56 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440775 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 56 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086442427 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 57 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881386 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 57 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793216 3082899467 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 58 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3086438510 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 58 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879911 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 58 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881875 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 59 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086439883 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 59 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900862 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 60 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086364049 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 60 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086443142 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 60 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879622 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 61 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3085156695 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 61 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289739 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 62 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654272 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 62 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082897449 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 62 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881164 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 63 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900798 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 63 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880715 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 64 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879272 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 64 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880715 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 64 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881053 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 65 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880626 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 65 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793396 3085125236 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 66 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879902 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 66 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882460 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 66 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885702 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 67 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879809 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 67 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793228 3084848855 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 68 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881775 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 68 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290072 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 68 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793228 3084848816 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 69 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900795 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 69 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086442805 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 70 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3086438547 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 70 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879879 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 70 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879889 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 71 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654275 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 71 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879633 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 72 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854531 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 72 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654233 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 72 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886312 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 73 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879276 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 73 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082901168 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 74 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290062 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 74 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082891334 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 74 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290065 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 75 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793080 3082901091 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 75 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885762 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 76 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792588 3080308226 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 76 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792588 3080308271 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 76 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082900852 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 77 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854471 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 77 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086364553 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 78 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793120 3082899599 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 78 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084884776 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 78 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886479 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 79 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943251 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 79 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885680 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 80 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082901170 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 80 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898001 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 80 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886622 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 81 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883756 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 81 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943021 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 82 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854335 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 82 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881314 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 82 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290078 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 83 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793312 3085170902 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 83 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885690 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 84 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881368 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 84 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082901168 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 84 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792624 3082890689 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 85 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885696 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 85 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793276 3080308217 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 86 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792828 3082890215 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 86 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3085156543 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 86 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881340 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 87 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885696 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 87 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793404 3085125232 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 88 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879876 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 88 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881252 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 88 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880510 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 89 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793052 3082900736 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 89 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879627 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 90 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792752 3080300582 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 90 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886032 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 90 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793228 3082899936 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 91 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879627 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 91 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879208 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 92 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886363 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 92 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290014 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 92 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885025 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 93 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086439909 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 93 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3086438192 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 94 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086443211 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 94 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879911 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 94 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880404 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 95 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792748 3080298080 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 95 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900138 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 96 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082897409 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 96 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440064 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 96 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881637 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 97 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086363365 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 97 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654201 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 98 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879691 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 98 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289922 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 98 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900807 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 99 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900027 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 99 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880515 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 100 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792704 3080300491 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 100 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793028 3080302295 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 100 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886708 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 101 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886274 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 101 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900838 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 102 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898081 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 102 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879486 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 102 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900130 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 103 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793360 3086441460 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 103 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882762 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 104 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082897409 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 104 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883112 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 104 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886577 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 105 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793216 3082899622 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 105 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792700 3080308243 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 106 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881209 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 106 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880971 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 106 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793036 3082890218 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 107 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881246 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 107 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084942923 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 108 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854361 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 108 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792640 3080298100 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 108 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654226 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 109 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943233 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 109 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881370 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 110 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879579 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 110 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792624 3082890621 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 110 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854327 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 111 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879929 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 111 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879864 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 112 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082891311 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 112 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854593 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 112 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886303 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 113 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086439917 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 113 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082891291 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 114 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879215 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 114 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879809 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 114 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3085108721 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 115 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792592 3080298106 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 115 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440038 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 116 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879437 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 116 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900756 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 116 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792704 3080300564 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 117 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883143 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 117 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883125 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 118 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886324 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 118 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793320 3084290273 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 118 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854539 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 119 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879378 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 119 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886287 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 120 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881264 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 120 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883703 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 120 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885000 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 121 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880792 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 121 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396765 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 122 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879497 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 122 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881735 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 122 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082897412 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 123 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289739 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 123 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082900815 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 124 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879809 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 124 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879805 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 124 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883152 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 125 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082901057 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 125 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943117 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 126 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900468 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 126 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084942905 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 126 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793152 3085654289 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 127 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880349 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 127 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792736 3082891957 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 128 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882272 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 128 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900855 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 128 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886363 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 129 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885781 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 129 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793224 3084848817 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 130 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793404 3080300497 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 130 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3086438299 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 130 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854475 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 131 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880323 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 131 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289804 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 132 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792692 3080298944 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 132 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084942914 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 132 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440842 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 133 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885013 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 133 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886239 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 134 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082900826 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 134 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792784 3082890275 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 134 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880404 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 135 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084884279 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 135 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883143 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 136 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082900911 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 136 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900545 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 136 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793240 3080308161 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 137 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082891163 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 137 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082901033 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 138 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879889 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 138 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854327 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 138 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943188 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 139 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880355 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 139 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396755 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 140 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880355 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 140 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793212 3080308271 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 140 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082901042 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 141 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792828 3084225296 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 141 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943108 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 142 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880392 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 142 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898350 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 142 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440022 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 143 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793264 3080298179 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 143 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289762 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 144 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290115 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 144 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792748 3079930514 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 144 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854315 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 145 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082900780 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 145 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793080 3082900737 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 146 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082891339 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 146 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882254 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 146 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086442812 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 147 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879486 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 147 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886177 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 148 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793356 3086437482 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 148 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943229 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 148 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883106 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 149 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898658 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 149 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881444 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 150 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879244 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 150 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881898 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 150 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289832 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 151 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879516 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 151 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883047 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 152 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880644 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 152 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084884919 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 152 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289664 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 153 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883103 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 153 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793248 134527521 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 154 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879889 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 154 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854495 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 154 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289759 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 155 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792400 3079930511 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 155 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290078 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 156 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854504 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 156 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880138 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 156 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854356 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 157 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793228 3082897392 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 157 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3086438285 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 158 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792704 3080300521 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 158 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793312 3085170966 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 158 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886715 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 159 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886593 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 159 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881146 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 160 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885045 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 160 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881373 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 160 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879205 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 161 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793028 3080301454 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 161 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879516 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 162 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879263 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 162 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881556 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 162 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900765 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 163 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086363208 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 163 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396837 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 164 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879421 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 164 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289922 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 164 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879279 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 165 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793228 3084225296 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 165 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883103 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 166 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086363046 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 166 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085653962 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 166 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880790 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 167 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881340 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 167 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881586 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 168 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792588 3080308271 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 168 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792588 3079930511 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 168 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084884779 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 169 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086364032 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 169 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886281 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 170 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3086438089 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 170 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793392 3086439749 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 170 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879516 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 171 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881258 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 171 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879610 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 172 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880404 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 172 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880128 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 172 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886237 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 173 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396545 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 173 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082891122 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 174 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290075 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 174 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086442805 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 174 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943117 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 175 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898195 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 175 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886026 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 176 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654208 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 176 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880135 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 176 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885783 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 177 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289800 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 177 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885702 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 178 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900829 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 178 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880374 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 178 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793248 134527437 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 179 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879600 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 179 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793216 3082898849 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 180 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881376 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 180 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879867 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 180 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886248 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 181 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879902 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 181 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854335 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 182 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883106 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 182 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898203 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 182 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793356 3086439275 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 183 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793400 3086438069 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 183 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3085156557 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 184 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885651 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 184 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793028 3080302877 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 184 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885762 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 185 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086363588 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 185 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886024 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 186 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886369 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 186 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886519 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 186 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792784 3084865847 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 187 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900786 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 187 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793036 3082890215 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 188 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854583 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 188 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086363664 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 188 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881568 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 189 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880715 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 189 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854547 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 190 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793404 3086439744 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 190 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793316 3082898676 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 190 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880740 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 191 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289919 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 191 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879879 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 192 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886248 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 192 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654010 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 192 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898137 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 193 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880872 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 193 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793084 3082900736 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 194 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880805 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 194 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793212 3080308309 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 194 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885762 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 195 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880135 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 195 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793360 3086441472 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 196 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885601 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 196 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879472 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 196 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289839 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 197 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879415 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 197 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879497 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 198 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898581 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 198 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290048 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 198 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879902 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 199 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854339 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 199 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886547 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 200 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396607 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 200 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793396 3085125272 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 200 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082891236 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 201 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881009 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 201 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084884776 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 202 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084884779 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 202 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886231 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 202 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885769 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 203 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854531 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 203 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883609 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 204 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886410 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 204 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880778 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 204 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886603 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 205 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881368 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 205 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880404 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 206 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900809 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 206 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086363199 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 206 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900182 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 207 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082890951 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 207 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654208 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 208 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900067 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 208 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880404 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 208 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3086438513 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 209 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879942 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 209 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879391 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 210 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792640 3082890565 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 210 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793248 134527521 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 210 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440018 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 211 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792404 3080301179 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 211 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881256 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 212 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289753 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 212 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879215 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 212 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882289 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 213 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885781 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 213 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793312 3085170920 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 214 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086442836 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 214 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440087 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 214 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881278 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 215 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792732 3082889480 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 215 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879494 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 216 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290069 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 216 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290075 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 216 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886603 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 217 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086442815 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 217 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086364181 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 218 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289982 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 218 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883112 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 218 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885762 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 219 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879805 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 219 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793324 3084290272 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 220 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290050 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 220 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289835 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 220 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082891187 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 221 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881258 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 221 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879622 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 222 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881334 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 222 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880808 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 222 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084884808 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 223 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289756 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 223 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885671 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 224 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854563 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 224 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289762 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 224 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654208 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 225 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082897457 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 225 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793276 3080308220 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 226 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900011 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 226 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879948 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 226 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879846 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 227 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792732 3082889480 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 227 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793248 3080298127 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 228 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880521 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 228 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793028 3080301249 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 228 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793216 3082899426 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 229 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886401 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 229 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792640 3080298131 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 230 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440049 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 230 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900792 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 230 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793392 3086441735 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 231 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793224 3084848852 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 231 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885713 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 232 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082901075 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 232 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793212 3080308273 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 232 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883285 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 233 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900056 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 233 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879809 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 234 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886487 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 234 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900398 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 234 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883221 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 235 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793376 3080300570 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 235 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440022 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 236 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086363899 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 236 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084943114 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 236 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900795 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 237 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881167 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 237 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084883125 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 238 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882617 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 238 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882254 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 238 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881887 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 239 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082900147 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 239 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082897557 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 240 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3082899970 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 240 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793328 3086438083 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 240 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792640 3080298939 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 241 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793216 3082899464 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 241 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880017 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 242 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793216 3082899418 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 242 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882454 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 242 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885756 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 243 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900857 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 243 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879622 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 244 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880880 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 244 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898070 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 244 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879195 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 245 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085653975 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 245 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086442912 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 246 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880386 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 246 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880734 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 246 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793260 3080301093 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 247 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792404 3080301202 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 247 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792736 3082891912 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 248 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289683 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 248 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885651 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 248 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793008 3082900852 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 249 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792780 3082890215 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 249 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881030 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 250 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290115 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 250 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886547 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 250 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880336 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 251 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880392 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 251 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900900 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 252 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879661 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 252 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898038 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 252 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881510 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 253 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886422 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 253 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396825 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 254 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792656 3082891045 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 254 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880797 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 254 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082901012 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 255 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885677 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 255 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793028 3080302522 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 255 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290081 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 256 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290078 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 256 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881243 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 256 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290078 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 257 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886287 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 257 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879512 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 258 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289750 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 258 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082901170 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 258 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793248 134527440 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 259 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086364348 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 259 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886574 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 260 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900928 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 260 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879918 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 260 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881622 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 261 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792736 3082891931 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 261 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084290088 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 262 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082898188 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 262 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885051 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 262 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440642 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 263 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879509 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 263 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854083 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 264 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879902 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 264 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900862 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 264 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793088 3084854261 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 265 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881589 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 265 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793048 3082900737 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 266 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793296 3086440022 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 266 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082897618 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 266 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885662 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 267 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886369 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 267 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793312 3085170923 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 268 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289750 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 268 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084882511 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 268 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793040 3082900862 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 269 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792516 3080301146 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 269 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793312 3085170806 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 270 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881619 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 270 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3082897426 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 270 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885997 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 271 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793308 3084879709 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 271 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881496 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 272 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886026 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 272 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793084 3082900736 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 272 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793104 3085654220 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 273 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880295 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 273 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793216 3082899886 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 274 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792400 3079930511 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 274 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793232 3084289759 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 274 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881447 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 275 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886281 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 275 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886422 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 276 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793168 3086442356 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 276 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793056 3084396621 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 276 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879882 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 277 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793028 3080302542 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 277 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084884831 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 278 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881213 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 278 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881386 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 278 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086363893 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 279 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880510 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 279 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793216 3082899451 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 280 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792516 3080301247 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 280 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084886177 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 280 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880374 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 281 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084881347 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 281 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084885705 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 282 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217793408 3086364367 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 282 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880772 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 282 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084880797 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 283 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792832 3084879895 0 0 4096 0 0 0 0 17 0 0 0 0
24544 (gecode-mseq) R 24543 24468 24421 34816 24468 4202496 918 0 0 0 283 0 0 0 25 0 1 0 9153740 7028736 433 4294967295 134512640 134535387 3217794256 3217792584 3079930514 0 0 4096 0 0 0 0 17 0 0 0 0
