24506 (sh) R 24504 24468 24421 34816 24468 4194304 266 0 0 0 0 0 0 0 20 0 1 0 9151401 3076096 159 4294967295 134512640 135191968 3217058832 3217057296 3085120619 0 0 4096 0 0 0 0 17 1 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4194304 644 0 0 0 0 0 0 0 20 0 1 0 9151401 6983680 179 4294967295 134512640 134535387 3217716400 3217715072 3086806891 0 0 4096 0 0 0 0 17 1 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 912 0 0 0 1 0 0 0 20 0 1 0 9151401 7024640 428 4294967295 134512640 134535387 3217716400 3217715232 3085145308 0 0 4096 0 0 0 0 17 1 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 912 0 0 0 2 0 0 0 20 0 1 0 9151401 7024640 428 4294967295 134512640 134535387 3217716400 3217715372 3084516112 0 0 4096 0 0 0 0 17 1 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 20 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715232 3085145355 0 0 4096 0 0 0 0 17 1 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 20 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085171815 0 0 4096 0 0 0 0 17 1 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 3 0 0 0 20 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715152 3083191898 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 20 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085171208 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085170426 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714844 3080599011 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 5 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085171688 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 5 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085173107 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715376 3084580658 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715452 3085233743 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715200 3084687530 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 7 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085177167 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 7 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715312 3086733914 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715552 3086654751 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085177090 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715468 3084581088 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 9 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715452 3085234049 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 9 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085171531 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 10 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085170341 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 10 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217714976 3085170692 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 10 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715312 3086733683 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 914 0 0 0 11 0 0 0 23 0 1 0 9151401 7024640 430 4294967295 134512640 134535387 3217716400 3217715392 134527321 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 11 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715452 3085233918 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715440 3086730895 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714800 3083181938 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715248 3085945033 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 13 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085170313 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 13 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085172202 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715452 3085233730 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715440 3086731391 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715184 3083191634 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 15 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085173928 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 15 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085176591 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715452 3085233994 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715376 3084580431 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715376 3083190853 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 17 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715472 3086728988 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 17 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085172390 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715440 3086730704 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715440 3086730903 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715184 3083191744 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 19 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715376 3084580833 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 19 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085170194 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715376 3083191378 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715232 3085145436 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085177138 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 21 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085177109 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 21 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715472 3086729187 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085171787 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715376 3084580731 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085170695 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 23 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715440 3086730696 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 23 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217715248 3083188367 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 915 0 0 0 24 0 0 0 23 0 1 0 9151401 7024640 431 4294967295 134512640 134535387 3217716400 3217714976 3085172004 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175598 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172427 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 25 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170332 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 25 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171190 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170443 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715452 3085399539 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176458 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 27 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170718 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 27 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580426 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188364 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714844 3080599062 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715348 3080592051 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 29 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715312 3086733704 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 29 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175621 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171582 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173105 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715476 3085234084 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 31 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177348 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 31 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171621 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3083190827 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171624 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580655 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 33 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170419 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 33 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176585 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 23 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715456 3085461726 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714732 3080599142 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188551 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 35 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176481 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 35 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580899 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176448 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715456 3085461702 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145295 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 37 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170615 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 37 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170075 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715180 3083181034 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191695 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715356 3080599142 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 39 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173904 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 39 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171815 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730906 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170024 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714844 3080599073 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 41 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170349 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 41 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170299 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176504 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188869 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170718 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 43 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170627 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 43 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177348 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 24 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3083190986 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173941 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176481 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 45 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730868 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 45 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173928 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3086729093 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715152 3083191623 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171158 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 47 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715200 3084687655 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 47 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3086728899 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714880 3083182771 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174425 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173851 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 49 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174609 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 49 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173516 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177323 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176493 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170698 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 51 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145023 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 51 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145311 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714784 3080589677 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176493 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715392 134527405 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 53 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171603 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 53 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714880 3083182718 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730856 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177109 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083189013 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 55 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172372 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 55 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170627 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714768 3083181498 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172867 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714844 3080599011 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 57 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170698 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 57 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145295 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714768 3083181502 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171576 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171869 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 59 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177429 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 59 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171566 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172186 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191642 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145080 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 61 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170689 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 61 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3085945047 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175624 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177055 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177009 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 63 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191642 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 63 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580562 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580864 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176597 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177119 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 65 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170475 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 65 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177421 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580888 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580906 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730583 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 67 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580833 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 67 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173860 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715200 3084687361 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170310 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188838 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 69 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714800 3083181811 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 69 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3083190840 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170291 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177058 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173321 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 71 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145301 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 71 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176639 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715452 3085233915 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083189468 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174458 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 73 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714960 3083186768 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 73 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714880 3083182771 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188965 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173173 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715196 3083181031 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 75 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170625 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 75 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3085945008 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171202 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188992 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715220 3083191556 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 77 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170349 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 77 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170328 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715548 3086732256 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145067 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171945 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 79 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170455 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 79 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715372 3083188208 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580806 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175552 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191805 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 81 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170349 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 81 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174455 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173183 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086655592 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172160 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 83 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171220 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 83 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086654018 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176487 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191660 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171224 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 85 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715152 3083191660 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 85 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170432 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715388 3086733136 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086731621 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145421 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 87 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715252 3083188481 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 87 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170625 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715452 3085233930 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172189 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173578 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 89 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177524 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 89 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176578 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177531 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170197 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170695 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 91 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170075 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 91 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188551 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730643 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177078 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715172 3080592056 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 93 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176518 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 93 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3086729091 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170024 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175592 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173578 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 95 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170302 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 95 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191675 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172586 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715456 3085461736 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170197 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 97 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145382 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 97 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715464 3085399521 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171799 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171983 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188388 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 99 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177323 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 99 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086731495 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3085447373 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730694 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172337 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 101 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145393 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 101 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173393 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177064 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170435 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083189011 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 103 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172202 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 103 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175595 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188551 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714548 3080592001 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171869 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 105 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173409 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 105 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176591 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145391 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174550 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177165 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 107 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580534 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 107 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715200 3084687655 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175595 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714764 3080599045 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171214 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 109 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715408 3080589800 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 109 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715408 3080588992 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174020 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174547 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715452 3085399562 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 111 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086653904 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 111 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170088 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715452 3085233867 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580894 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714840 3080221330 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 113 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580904 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 113 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176518 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3085945008 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145149 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191660 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 115 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3086729144 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 115 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177161 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715452 3085233845 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715520 3080591301 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191675 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 117 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145151 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 117 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188959 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173928 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171968 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171171 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715464 3084581089 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3086728961 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715364 3083190359 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171959 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175861 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715520 134528152 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170325 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170705 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170217 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171165 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714968 3085139657 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175861 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715504 3086732317 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145373 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172480 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 125 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175595 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 125 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714768 3083181475 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174761 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715412 3080591905 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176521 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715392 3080589714 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173919 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191634 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175624 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170435 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715312 3086733565 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145311 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715152 3083191660 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145151 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171846 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171202 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715220 3083191906 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714660 3080592018 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177409 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172521 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580471 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170177 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3086729091 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171165 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172204 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714972 3083181031 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171613 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176807 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171528 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580885 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171603 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714896 3080591380 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175618 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171178 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175861 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172312 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3086729101 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145080 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177295 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145177 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173189 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715172 3080592090 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715152 3083191590 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174002 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170615 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171556 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170302 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715452 3085233921 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191986 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714764 3080599045 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145363 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175632 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176521 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191905 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145186 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715516 3086730080 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3085447509 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170615 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715356 3080599011 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172372 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172044 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170021 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188234 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086655138 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714660 3080592009 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171208 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714876 3080591313 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173407 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173941 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145151 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171953 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176521 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715496 3086728298 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172432 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176467 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170838 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171150 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171815 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188388 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714968 3085139657 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170429 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580885 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086654006 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170299 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170291 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 159 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580667 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 159 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145186 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715152 3083191572 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170443 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171696 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191675 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145180 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714800 3083181941 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715312 3086733621 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171220 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171869 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086653763 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172019 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715172 3080592763 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730840 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188225 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171556 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170627 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176572 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714780 3083181387 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714896 3080591337 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172447 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171603 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714880 3083182805 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145158 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191642 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714800 3083181761 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170625 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3086728970 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171613 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170021 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170705 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715364 3083188212 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145397 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714720 3080592050 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715200 3084687367 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172390 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177238 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715228 3083191552 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170443 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730699 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170438 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177558 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170416 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715200 3084687616 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715548 3080591248 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171178 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170705 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715548 3086728880 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715368 3084516140 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172453 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171995 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715228 3083191552 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715408 3080588995 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176842 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580901 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172068 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170281 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172080 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715488 3086730263 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3085447522 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145071 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170092 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171326 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191986 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191572 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172186 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174348 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177369 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188327 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 187 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085174104 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177084 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 189 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714848 3080591304 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715452 3085233721 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715360 3083189508 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 191 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730656 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714800 3083181861 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 193 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580559 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175586 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580738 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 195 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172885 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175624 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 197 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086654531 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176481 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170469 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 199 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145399 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172156 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 201 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715452 3085233721 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715228 3083181034 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191660 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 203 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170954 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580904 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580814 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171968 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175923 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 207 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3085944967 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171152 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714904 3083181031 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 209 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714656 3080221330 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145409 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 211 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580891 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714800 3083181827 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714784 3080588933 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 213 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171147 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170627 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 215 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171974 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714800 3083182029 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714800 3083182029 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 217 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191578 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171147 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 219 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171202 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580566 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170308 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 221 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714732 3080599142 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170811 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 223 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171872 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714800 3083182114 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714732 3080599127 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 225 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172337 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086731529 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 227 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730710 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145391 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580919 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 229 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086654168 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171603 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 231 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172793 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171989 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715248 3083188970 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 233 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171208 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086655329 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 235 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172035 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715312 3086733997 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715152 3083191675 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 237 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175598 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176807 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 239 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176807 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171815 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145115 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 241 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715440 3086730838 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580931 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 243 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170615 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715312 3086733683 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177155 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 245 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172405 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580894 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 247 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177155 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172010 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580578 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 249 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191663 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715360 3083189633 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 251 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145399 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175818 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170335 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 253 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085173919 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715392 134527517 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 255 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715152 3083191654 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715312 3086733588 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715544 3086728881 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 257 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191660 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175535 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 259 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3083190853 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085177128 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145151 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 261 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175598 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085172396 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 263 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170625 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176891 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715392 134527517 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 265 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580559 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176810 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 267 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170615 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171968 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191675 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 269 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170463 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715376 3084580784 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 271 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170332 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176658 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715356 3084516112 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 273 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714796 3083180760 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085175695 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 275 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714736 3080588916 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714800 3083181827 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715308 3084687344 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 277 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145128 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715232 3085145112 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 279 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715472 3086729110 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170432 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170443 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 281 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085176451 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085171691 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 283 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170455 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170075 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715184 3083191671 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 285 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170419 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 286 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217715552 3086653887 0 0 4096 0 0 0 0 17 0 0 0 0
24506 (gecode-mseq) R 24504 24468 24421 34816 24468 4202496 916 0 0 0 287 0 0 0 25 0 1 0 9151401 7024640 432 4294967295 134512640 134535387 3217716400 3217714976 3085170429 0 0 4096 0 0 0 0 17 0 0 0 0
