24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4194304 610 0 0 0 0 0 0 0 18 0 1 0 9151694 6983680 145 4294967295 134512640 134535387 3218388320 3218386756 3086185685 0 0 4096 0 0 0 0 17 1 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 912 0 0 0 1 0 0 0 22 0 1 0 9151694 7024640 428 4294967295 134512640 134535387 3218388320 3218386896 3084557942 0 0 4096 0 0 0 0 17 1 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218386896 3084557954 0 0 4096 0 0 0 0 17 1 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218386896 3084561330 0 0 4096 0 0 0 0 17 1 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 3 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218386896 3084557188 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218386896 3084562178 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 5 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218386900 3084559069 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218387296 3083966046 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218387072 3082577172 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 7 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218386896 3084563029 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218386896 3084562697 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 9 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218387292 3082565656 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 914 0 0 0 10 0 0 0 22 0 1 0 9151694 7024640 430 4294967295 134512640 134535387 3218388320 3218386896 3084557568 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 10 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218386896 3084557763 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 11 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218386896 3084562452 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218386896 3084563158 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 13 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218386896 3084557685 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218386720 3082567633 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218386896 3084561192 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 15 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218387296 3083966216 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218387296 3083966398 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 17 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218387472 3086040002 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218386896 3084557786 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218387372 3084556125 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 19 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218387296 3082576961 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218387296 3083966436 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 21 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218387296 3083966104 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218386896 3084556920 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 22 0 1 0 9151694 7024640 431 4294967295 134512640 134535387 3218388320 3218386896 3084557553 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 23 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562719 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386796 3082565912 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 25 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557629 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555679 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562725 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 27 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558038 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557812 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 29 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556758 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562081 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387092 3079977870 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 31 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562912 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966338 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 33 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527427 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386800 3082568347 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086041414 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 35 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557598 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387232 3086119065 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 37 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558320 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966270 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387468 3086117633 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 39 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558882 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 22 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557580 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 41 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3084832992 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555787 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3085330691 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 43 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386768 3079977012 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3086114799 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 45 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530731 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530731 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558030 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 47 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557215 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557775 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 49 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562761 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082574595 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3086114558 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 51 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966338 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558980 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 53 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556227 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530687 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555675 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 55 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562596 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387144 3082577153 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 57 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3085330573 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386688 3082567075 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386876 3082566640 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 59 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555692 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 23 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084785167 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 61 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966338 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966169 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555932 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 63 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966325 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966178 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 65 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562121 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559559 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966220 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 67 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966166 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387376 3084847315 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 69 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556298 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966436 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 24 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082573947 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 71 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086117258 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559593 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 73 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555477 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557583 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3086114499 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 75 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084563158 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555928 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 77 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3084833090 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387232 3086119467 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559559 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 79 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387408 3086115738 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562121 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 81 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562058 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561247 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557045 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 83 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557926 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084619622 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 85 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386708 3082566980 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040823 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562118 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 87 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116265 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557425 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 89 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562093 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557421 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3086114505 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 91 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527519 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387468 3086029504 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 93 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082574595 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527493 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562941 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 95 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387120 3084073191 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558215 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 97 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556802 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530749 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387232 3086119728 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 99 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086117260 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386768 3079976904 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 101 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555679 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557206 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567475 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 103 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040696 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387388 3084785120 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 105 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116454 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084560692 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557200 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 107 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527521 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561461 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 109 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557996 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040090 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530751 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 111 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555932 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562067 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 113 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386652 3079984642 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562779 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555679 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 115 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530982 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082574999 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 117 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084563019 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386828 3082568305 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567444 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577280 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387072 3082577280 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082573970 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040611 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082574009 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387288 3083901718 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567567 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387300 3082576510 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557166 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557421 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082573934 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116465 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530895 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966403 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082573873 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 125 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386872 3082566641 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116480 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561176 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966478 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966485 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567436 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556426 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558206 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082573934 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530888 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387280 3082575343 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966331 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3084832990 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562127 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084619315 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387404 3084619200 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084619515 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559541 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387284 3082575953 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084563131 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387072 3082577292 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530762 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527431 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555902 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558993 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082574616 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386788 3082567821 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387280 3082575672 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966398 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556239 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387116 3082577152 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557252 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966125 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556802 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387292 3082565656 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386468 3079977547 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557659 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387232 3086118843 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562593 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556295 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084563131 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557268 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966338 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562486 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555624 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082574595 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567620 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567679 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386760 3079975361 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561186 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567526 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557568 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387092 3079977562 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3084833104 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561224 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557128 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082574604 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116480 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557131 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561325 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562452 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557562 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966491 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387276 3079984613 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558157 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562985 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040004 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557506 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527321 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555949 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557122 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530749 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561205 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387232 3086119361 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556926 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116485 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561198 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530991 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557446 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386688 3082567095 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567439 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557156 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 159 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556544 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556221 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562715 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557984 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040865 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556038 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557163 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086117109 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387380 3082575092 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558974 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555531 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530712 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386800 3082568415 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557208 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116448 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555913 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558112 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3082576560 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387072 3082577309 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556032 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386892 3084542240 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561195 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561993 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557993 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3082576386 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116465 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386464 3079606927 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555611 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555787 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387468 3086116160 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556765 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082573950 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3082577054 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567529 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562954 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387388 3082565768 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577295 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084619478 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040767 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559541 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555932 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966159 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966481 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555891 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3085330501 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555688 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082574550 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562178 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556038 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555797 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562785 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577172 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562172 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966494 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556092 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558280 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527391 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084563158 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387376 3084847336 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084563003 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567526 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558773 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387120 3084072961 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555794 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527519 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556221 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387072 3082577205 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966494 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040256 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 187 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084619667 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 187 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577251 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557668 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116454 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567750 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 189 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562658 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 189 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557166 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387072 3082577501 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557399 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557608 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 191 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387072 3082577167 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 191 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557562 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558024 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387280 3082575864 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577476 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 193 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556790 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 193 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559525 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386880 3082572387 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387092 3079978072 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557296 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 195 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387424 3086117471 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 195 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557802 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561205 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557786 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084560692 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 197 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116296 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 197 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557203 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556239 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559007 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386656 3079975289 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 199 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387092 3079977953 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 199 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082573819 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966501 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557993 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966261 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 201 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556736 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 201 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558900 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555537 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557948 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556280 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 203 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386768 3079976904 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 203 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387280 3082575108 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562465 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966485 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556750 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386800 3082568415 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557182 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556327 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386840 3082568289 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557802 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 207 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567704 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 207 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557045 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084531012 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557144 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558894 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 209 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3082576440 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 209 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556926 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562728 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530944 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562779 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 211 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557539 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 211 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556305 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577248 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557709 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555932 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 213 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084785208 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 213 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386756 3079977651 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387232 3086118814 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116307 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556318 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 215 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557802 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 215 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558021 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116307 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3086114787 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082575009 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 217 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557144 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 217 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562993 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561198 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567544 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558112 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 219 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966414 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 219 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559555 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386760 3079606927 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555784 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040026 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 221 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557802 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 221 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556739 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557415 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387092 3079978093 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386468 3079977540 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 223 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386892 3083901712 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 223 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3083966697 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387308 3079984576 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561205 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556796 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 225 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557990 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 225 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556227 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567492 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558035 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116483 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 227 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3084833094 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 227 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556075 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527508 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966504 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555928 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 229 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556752 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 229 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557608 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556305 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386716 3082566631 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562675 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 231 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556760 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 231 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086039806 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577242 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562895 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387464 3086114481 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 233 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562838 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 233 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966220 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082574598 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555932 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086040767 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 235 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530957 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 235 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116258 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966384 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556298 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387120 3084072961 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 237 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562740 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 237 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116310 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086117019 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386848 3082566691 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561195 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 239 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561195 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 239 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386700 3082566987 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556352 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966264 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562990 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 241 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3086114505 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 241 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557804 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561176 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557646 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557469 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 243 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561429 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 243 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562102 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567633 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387424 3086117463 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557045 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 245 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556035 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555688 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555500 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558679 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 247 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387120 3084073253 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 247 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387280 3082575867 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557213 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555827 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084555902 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 249 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084619524 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 249 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966485 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086039624 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557568 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561224 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 251 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116294 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 251 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084530780 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3086114701 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556790 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557150 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 253 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387424 3086117931 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 253 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556820 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577211 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3086114558 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558357 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 255 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577584 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 255 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556295 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562102 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387360 3086116302 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556656 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 257 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086039479 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 257 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577178 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557672 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527437 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084785131 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 259 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387472 3086039642 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 259 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386704 3082566981 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386464 3079606927 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387288 3084525260 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562709 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 261 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562118 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 261 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556038 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966403 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562715 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557937 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 263 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557972 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 263 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562826 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556221 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386800 3082568367 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562058 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 265 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387280 3082575901 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 265 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557568 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386800 3082568405 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387168 3082575043 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3084833045 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 267 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556262 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 267 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562191 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387072 3082577251 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557954 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386752 3079977650 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 269 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562715 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 269 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562178 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557568 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386580 3079977924 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966436 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 271 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966522 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 271 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562096 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562963 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387376 3082576357 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386800 3082568415 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 273 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577455 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 273 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557604 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386688 3082567082 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 134527293 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557469 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 275 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577254 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 275 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386720 3082567752 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084556327 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577248 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577184 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 277 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559555 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 277 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557672 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386844 3082565912 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559525 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562915 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 279 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387120 3084073232 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 279 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387280 3082576257 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084563131 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386580 3079977568 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577275 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 281 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557912 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 281 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084561471 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386716 3082566631 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387372 3084619533 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557469 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 283 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387152 3084531002 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 283 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084557769 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387312 3079975351 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562661 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084559651 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 285 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387392 3086114691 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 285 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084558110 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 286 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3082576829 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 286 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387104 3082577251 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 286 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387296 3083966426 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 287 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218386896 3084562096 0 0 4096 0 0 0 0 17 0 0 0 0
24511 (gecode-mseq) R 24510 24468 24421 34816 24468 4202496 916 0 0 0 287 0 0 0 25 0 1 0 9151694 7024640 432 4294967295 134512640 134535387 3218388320 3218387388 3082566631 0 0 4096 0 0 0 0 17 0 0 0 0
