24527 (sh) R 24525 24468 24421 34816 24468 4194304 304 0 0 0 0 0 0 0 18 0 1 0 9152571 3084288 196 4294967295 134512640 135191968 3215870688 3215861508 3086242832 0 0 4096 0 0 0 0 17 1 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4194304 723 0 0 0 0 0 0 0 18 0 1 0 9152571 6987776 257 4294967295 134512640 134535387 3218931168 3218929604 3085894904 0 0 4096 0 0 0 0 17 1 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 914 0 0 0 0 0 0 0 18 0 1 0 9152571 7028736 429 4294967295 134512640 134535387 3218931168 3218929744 3084267889 0 0 4096 0 0 0 0 17 1 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 914 0 0 0 1 0 0 0 22 0 1 0 9152571 7028736 429 4294967295 134512640 134535387 3218931168 3218930016 3082283003 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 1 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218930208 3085825503 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 2 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084271842 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 2 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218930144 3083675632 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 2 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218930208 3085825483 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 3 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084271232 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 3 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218930240 3084328862 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 4 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084271290 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 4 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084266609 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 4 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084268718 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 5 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084270408 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 5 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218930144 3083675681 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 6 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084271949 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 6 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929504 3079683692 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 6 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084266973 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 7 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084271899 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 7 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218930140 3085827931 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 8 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218930080 3085828616 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 8 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084271881 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 8 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929968 3083782439 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 9 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218930160 134527287 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 9 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218930000 3084239956 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 916 0 0 0 10 0 0 0 22 0 1 0 9152571 7028736 431 4294967295 134512640 134535387 3218931168 3218929744 3084272132 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 10 0 0 0 22 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084270662 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 10 0 0 0 22 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084267110 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 11 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929536 3082276286 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 11 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084268084 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 12 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929920 3082286459 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 12 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084266360 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 12 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929996 3082286336 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 13 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218930240 3085823760 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 13 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084267257 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 14 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929568 3082276540 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 14 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084265216 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 14 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084266350 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 15 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084270370 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 15 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084266121 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 16 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084266752 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 16 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929968 3083782465 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 16 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084265423 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 17 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218930144 3082286208 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 17 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929920 3082286444 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 18 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218930176 3079683850 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 18 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218930000 3084239783 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 18 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084271375 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 19 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218930320 3085749810 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 19 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084271909 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 20 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084266653 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 20 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084265613 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 20 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929952 3082286675 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 21 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218930000 3084239861 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 21 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929664 3079686114 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 22 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218930220 3084328803 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 22 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084266723 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 22 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084265502 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 917 0 0 0 23 0 0 0 23 0 1 0 9152571 7028736 432 4294967295 134512640 134535387 3218931168 3218929744 3084265479 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 23 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929500 3079693852 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 24 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270379 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 24 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930256 3085825013 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 24 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266914 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 25 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240048 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 25 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265086 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 26 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271362 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 26 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265470 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 26 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266372 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 27 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265203 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 27 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286473 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 28 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930012 3082275815 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 28 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264975 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 28 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825483 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 29 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930136 3083610932 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 29 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675715 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 30 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265931 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 30 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265944 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 30 0 0 0 23 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276763 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 31 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270625 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 31 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239935 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 32 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271881 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 32 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930156 3085827920 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 32 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527519 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 33 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266647 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 33 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267138 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 34 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266653 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 34 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239912 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 34 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271311 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 35 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266321 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 35 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823754 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 36 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283046 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 36 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084269309 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 36 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271597 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 37 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266315 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 37 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276545 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 38 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264799 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 38 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268712 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 38 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265216 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 39 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286768 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 39 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266645 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 40 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527496 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 40 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276659 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 40 0 0 0 24 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929940 3079687931 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 41 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239912 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 41 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082286001 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 42 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675607 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 42 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240150 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 42 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267219 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 43 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283792 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 43 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271251 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 44 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270370 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 44 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271265 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 44 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929920 3082286389 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 45 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929664 3079686143 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 45 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930236 3083675872 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 46 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264978 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 46 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266788 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 46 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266449 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 47 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266241 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 47 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929428 3079686746 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 48 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264971 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 48 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929648 3082277618 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 48 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265974 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 49 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930232 3083675873 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 49 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929968 3083782365 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 50 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240028 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 50 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823899 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 50 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271242 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 51 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675650 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 51 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929644 3082276528 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 52 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265511 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 52 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085826203 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 52 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084269266 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 53 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272119 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 53 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239937 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 54 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286421 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 54 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272147 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 54 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265133 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 55 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265222 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 55 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265409 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 56 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265219 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 56 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265986 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 56 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267865 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 57 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085826293 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 57 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039801 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 58 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266350 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 58 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266418 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 58 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085749649 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 59 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266306 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 59 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527437 0 0 4096 0 0 0 0 17 0 0 0 0

24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 60 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271969 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 60 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271636 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 60 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265489 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 61 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675448 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 61 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265974 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 62 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3084542208 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 62 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930232 3083675873 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 62 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929648 3082277551 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 63 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283661 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 63 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266970 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 64 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930224 3084556473 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 64 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271933 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 64 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268133 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 65 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286348 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 65 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270395 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 66 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085750376 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 66 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267541 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 66 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527417 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 67 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268183 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 67 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929920 3082286609 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 68 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266758 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 68 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276891 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 68 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930080 3085828349 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 69 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266378 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 69 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283111 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 70 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930176 3079685378 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 70 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267285 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 70 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265216 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 71 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823825 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 71 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272107 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 72 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085748700 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 72 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823782 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 72 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675400 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 73 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283782 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 73 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264808 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 74 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930128 3082284414 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 74 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823683 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 74 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266583 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 75 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930124 3079693871 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 75 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266752 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 76 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276545 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 76 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265495 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 76 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675522 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 77 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266869 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 77 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930124 3079693901 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 78 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082284211 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 78 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240181 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 78 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276595 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 79 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930220 3084328651 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 79 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929964 3082286336 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 80 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930316 3085823664 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 80 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265271 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 80 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930316 3084503520 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 81 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267475 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 81 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929504 3079684539 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 82 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266399 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 82 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929536 3082276241 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 82 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283249 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 83 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267047 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 83 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264985 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 84 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271848 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 84 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930136 3083610897 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 84 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085826333 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 85 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267865 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 85 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264805 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 86 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283026 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 86 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267168 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 86 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239899 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 87 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675445 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 87 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240139 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 87 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929728 3082281543 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 88 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930008 3083610908 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 88 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265125 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 88 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930220 3084328517 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 89 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267121 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 89 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240181 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 90 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265173 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 90 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929948 3082275815 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 90 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930132 3082283721 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 91 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239939 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 91 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272022 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 92 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266399 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 92 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267335 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 92 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929920 3082286426 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 93 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929692 3082275224 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 93 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675678 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 94 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270363 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 94 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825475 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 94 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527558 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 95 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268725 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 95 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286371 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 96 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268774 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 96 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039826 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 96 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265974 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 97 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823860 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 97 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039817 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 98 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265409 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 98 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271305 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 98 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823765 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 99 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271305 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 99 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271302 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 100 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265261 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 100 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929504 3079683725 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 100 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266315 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 101 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085824157 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 101 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271848 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 102 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271187 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 102 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265112 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 102 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265116 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 103 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084269128 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 103 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286368 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 104 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265511 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 104 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266350 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 104 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930080 3085828680 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 105 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265210 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 105 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283131 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 106 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268158 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 106 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265411 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 106 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085826200 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 107 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823775 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 107 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270643 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 108 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825491 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 108 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266792 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 108 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675658 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 109 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825618 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 109 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271277 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 110 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271260 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 110 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265213 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 110 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276807 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 111 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085749649 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 111 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266758 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 112 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266004 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 112 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675648 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 112 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930304 3085823671 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 113 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266251 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 113 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265423 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 114 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929996 3082286336 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 114 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266004 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 114 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082285730 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 115 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265980 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 115 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286682 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 116 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276930 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 116 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930140 3082274840 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 116 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271848 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 117 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264808 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 117 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675439 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 118 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271989 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 118 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270389 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 118 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266752 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 119 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930128 3082285125 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 119 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266372 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 120 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929988 3082286340 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 120 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272342 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 120 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264859 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 121 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265203 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 121 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283782 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 122 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265944 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 122 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265473 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 122 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929664 3079686104 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 123 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3084328862 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 123 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276924 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 124 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266583 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 124 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271277 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 124 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675448 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 125 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265955 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 125 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283731 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 126 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930224 3084265312 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 126 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264812 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 126 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283797 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 127 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267492 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 127 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929552 3079684504 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 128 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272315 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 128 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265276 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 128 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527480 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 129 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082285627 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 129 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930124 3079693780 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 130 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082284214 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 130 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825475 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 130 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930256 3085824905 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 131 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266397 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 131 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930080 3085828781 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 132 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930312 134528097 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 132 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283950 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 132 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675362 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 133 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264815 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 133 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930220 3084328527 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 134 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264978 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 134 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270408 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 134 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267121 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 135 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930152 3079693761 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 135 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283800 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 136 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265083 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 136 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084269876 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 136 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272001 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 137 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276614 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 137 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270408 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 138 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264821 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 138 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265992 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 138 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272177 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 139 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266599 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 139 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265279 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 140 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3084542208 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 140 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265203 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 140 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825491 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 141 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286476 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 141 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268725 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 142 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239674 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 142 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930220 3084328514 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 142 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085749240 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 143 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675442 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 143 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265112 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 144 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082285667 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 144 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3085828857 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 144 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286682 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 145 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265962 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 145 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266390 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 146 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265094 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 146 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271392 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 146 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267096 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 147 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266986 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 147 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3083675878 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 148 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240092 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 148 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929940 3079687931 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 148 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085749274 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 149 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825638 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 149 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082285643 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 150 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265962 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 150 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286435 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 150 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264872 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 151 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264981 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 151 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265103 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 152 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929940 3079687547 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 152 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267222 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 152 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272081 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 153 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929696 3084251447 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 153 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675439 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 154 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082285759 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 154 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270645 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 154 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283131 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 155 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675400 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 155 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825478 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 156 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267872 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 156 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283332 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 156 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930316 3084503520 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 157 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264985 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 157 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283024 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 158 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286467 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 158 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239942 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 158 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930020 3082283275 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 159 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085750234 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 159 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930136 3084234428 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 160 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270389 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 160 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675318 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 160 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265227 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 161 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270408 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 161 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929672 3082275818 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 162 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265936 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 162 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270389 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 162 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264961 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 163 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271315 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 163 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271591 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 164 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3084542200 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 164 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264876 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 164 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271649 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 165 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266986 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 165 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265282 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 166 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264721 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 166 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268769 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 166 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039682 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 167 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675620 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 167 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930176 3079683948 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 168 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039808 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 168 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270402 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 168 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929968 3083782375 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 169 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929968 3083782419 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 169 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283782 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 170 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039817 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 170 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271381 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 170 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286418 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 171 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929428 3079686724 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 171 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039590 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 172 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825662 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 172 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266653 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 172 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283950 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 173 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264812 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 173 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283803 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 174 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265464 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 174 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265992 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 174 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264978 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 175 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929616 3079686202 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 175 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271288 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 176 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266758 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 176 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271392 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 176 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930132 3082282996 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 177 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286645 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 177 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239924 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 178 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264872 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 178 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286450 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 178 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266973 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 179 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929948 3082275815 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 179 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265511 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 180 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271290 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 180 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265083 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 180 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265515 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 181 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929648 3082277578 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 181 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265934 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 182 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929996 3082286336 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 182 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286484 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 182 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267504 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 183 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930220 3084328517 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 183 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271626 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 184 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929920 3082286675 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 184 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675283 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 184 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267252 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 185 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082286022 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 185 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265511 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 186 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 3079684464 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 186 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823742 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 186 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929504 3079683758 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 187 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268780 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 187 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286444 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 188 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3084542312 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 188 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267495 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 188 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265399 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 189 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271305 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 189 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271356 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 190 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268188 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 190 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286426 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 190 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264808 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 191 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272079 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 191 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267208 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 192 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930128 3082285184 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 192 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929644 3082274600 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 192 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239935 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 193 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527307 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 193 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930140 3082282992 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 194 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283076 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 194 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929648 3082277599 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 194 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675314 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 195 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929968 3083782443 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 195 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675688 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 196 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268691 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 196 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271416 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 196 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268718 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 197 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268712 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 197 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266375 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 198 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239924 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 198 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268204 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 198 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276751 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 199 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085748550 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 199 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286421 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 200 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265962 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 200 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264815 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 200 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239861 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 201 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930128 3082285048 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 201 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271315 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 202 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270389 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 202 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675688 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 202 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930080 3085828739 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 203 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265116 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 203 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266121 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 204 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270408 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 204 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265097 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 204 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930124 3079693780 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 205 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930152 3079693763 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 205 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271649 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 206 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929940 3079687235 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 206 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264968 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 206 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267104 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 207 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271924 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 207 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265086 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 208 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268712 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 208 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825483 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 208 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240160 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 209 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276598 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 209 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268142 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 210 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082285759 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 210 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265109 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 210 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266399 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 211 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276888 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 211 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929552 3079683722 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 212 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272090 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 212 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675715 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 212 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265227 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 213 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930224 3084556458 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 213 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276934 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 214 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270402 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 214 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266478 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 214 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3084542216 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 215 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271825 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 215 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266445 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 216 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265489 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 216 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266653 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 216 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823714 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 217 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930220 3082275815 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 217 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930184 3079316111 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 218 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929940 3079687176 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 218 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265213 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 218 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929500 3079693871 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 219 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265536 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 219 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082286230 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 220 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286429 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 220 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271290 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 220 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283795 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 221 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271969 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 221 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929968 3083782151 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 222 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266717 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 222 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265119 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 222 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286479 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 223 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265133 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 223 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266986 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 224 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825649 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 224 0 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239933 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 224 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271242 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 224 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268712 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 225 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286473 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 225 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265502 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 226 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270616 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 226 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265203 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 226 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082284248 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 227 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929536 3082276264 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 227 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283190 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 228 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267863 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 228 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267410 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 228 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266008 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 229 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268718 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 229 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270319 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 230 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266008 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 230 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930128 3082285178 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 230 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085750147 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 231 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265986 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 231 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929428 3079687799 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 232 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084269209 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 232 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675587 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 232 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084269197 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 233 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082285776 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 233 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268336 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 234 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039829 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 234 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266397 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 234 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929612 3079693774 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 235 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825475 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 235 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272125 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 236 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270389 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 236 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929996 3082275240 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 236 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271369 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 237 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286444 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 237 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270698 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 238 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266571 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 238 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267492 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 238 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271235 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 239 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675610 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 239 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239868 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 240 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268188 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 240 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272138 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 240 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085750099 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 241 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085748677 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 241 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929428 3079686762 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 242 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283797 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 242 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271594 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 242 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270373 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 243 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271232 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 243 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929984 3082286341 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 244 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264805 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 244 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268755 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 244 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084269876 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 245 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265482 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 245 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085749672 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 246 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930240 3085823760 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 246 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084272043 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 246 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930080 3085828243 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 247 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082284252 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 247 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266647 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 248 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085825480 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 248 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265405 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 248 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265001 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 249 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929664 3079686058 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 249 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265489 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 250 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929488 3079686834 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 250 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283035 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 250 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267257 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 251 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268703 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 251 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265962 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 252 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268185 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 252 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675442 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 252 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930188 3079693780 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 253 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085749951 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 253 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271242 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 254 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930128 3082285486 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 254 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267121 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 254 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085749589 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 255 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265072 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 255 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675456 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 256 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283754 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 256 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271389 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 256 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266856 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 257 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270389 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 257 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527558 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 258 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675350 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 258 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039551 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 258 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266372 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 259 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265502 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 259 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266934 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 260 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930288 3079686069 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 260 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265125 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 260 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286418 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 261 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082286221 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 261 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929920 3082286429 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 262 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929940 3079687799 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 262 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265489 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 262 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266976 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 263 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267285 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 263 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265127 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 264 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266372 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 264 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266970 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 264 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527453 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 265 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267311 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 265 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270422 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 266 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265934 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 266 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286470 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 266 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930308 3085827336 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 267 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930080 3085827968 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 267 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266387 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 268 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265489 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 268 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264975 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 268 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270509 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 269 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265980 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 269 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930232 3082284994 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 270 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084239939 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 270 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3082285570 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 270 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675388 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 271 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270379 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 271 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929980 3082286342 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 272 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271290 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 272 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929648 3082277535 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 272 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240141 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 273 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286636 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 273 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3082283172 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 274 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084268688 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 274 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267156 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 274 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084264978 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 275 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675404 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 275 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084269876 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 276 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271311 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 276 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266427 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 276 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084270389 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 277 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240075 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 277 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930316 3085738688 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 278 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265423 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 278 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930260 3079684544 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 278 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930128 3082285104 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 279 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266387 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 279 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930208 3085826396 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 280 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929568 3082276713 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 280 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084267132 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 280 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930160 134527480 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 281 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265968 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 281 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265097 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 282 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240075 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 282 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930232 3084265314 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 282 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930016 3085039831 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 283 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240179 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 283 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266350 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 284 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930236 3083675872 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 284 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929504 3079684452 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 284 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930236 3082285536 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 285 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084266986 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 285 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084271260 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 286 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930320 3085749928 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 286 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929952 3082286405 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 286 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929920 3082286409 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 287 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930272 3079686106 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 287 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930144 3083675690 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 288 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930000 3084240166 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 288 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218929744 3084265934 0 0 4096 0 0 0 0 17 0 0 0 0
24527 (gecode-mseq) R 24525 24468 24421 34816 24468 4202496 918 0 0 0 288 1 0 0 25 0 1 0 9152571 7028736 433 4294967295 134512640 134535387 3218931168 3218930220 3084328711 0 0 4096 0 0 0 0 17 0 0 0 0
