24532 (sh) R 24531 24468 24421 34816 24468 4194304 330 0 0 0 0 0 0 0 21 0 1 0 9152866 3088384 219 4294967295 134512640 135191968 3219898048 3219897420 134704336 0 0 4100 0 0 0 0 17 1 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4194304 727 0 0 0 0 0 0 0 21 0 1 0 9152866 6987776 263 4294967295 134512640 134535387 3215403648 3215402084 3085903096 0 0 4096 0 0 0 0 17 1 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 912 0 0 0 1 0 0 0 21 0 1 0 9152866 7028736 429 4294967295 134512640 134535387 3215403648 3215402480 3084248378 0 0 4096 0 0 0 0 17 1 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 912 0 0 0 1 0 0 0 21 0 1 0 9152866 7028736 429 4294967295 134512640 134535387 3215403648 3215402720 3084337054 0 0 4096 0 0 0 0 17 1 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 21 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402224 3084274944 0 0 4096 0 0 0 0 17 1 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 21 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402224 3084275488 0 0 4096 0 0 0 0 17 1 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 21 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402720 3085832069 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 3 0 0 0 21 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402712 3082294265 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 3 0 0 0 21 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402448 3083790570 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 21 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402224 3084274038 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 21 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402448 3083790452 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 21 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402480 3084248355 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 5 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402624 3083683551 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 5 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402480 3084248277 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402704 3084564650 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402224 3084274552 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402700 3084337025 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 7 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402224 3084275294 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 7 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402700 3084337025 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402432 3082294662 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402128 3082285743 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215401796 3079694923 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 9 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402224 3084280339 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 9 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402624 3083683701 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 10 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402208 3082289777 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 914 0 0 0 10 0 0 0 23 0 1 0 9152866 7028736 431 4294967295 134512640 134535387 3215403648 3215402496 3082292412 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 10 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084278581 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 11 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402216 3083619108 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 11 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084275480 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402624 3083683461 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402624 3083683812 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402496 3085047770 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 13 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402624 3083683475 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 13 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402752 3085835511 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084273163 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402624 3082293883 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084274909 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 15 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084273597 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 15 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084273601 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402128 3082285747 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084279554 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402624 3083683648 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 17 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084274296 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 17 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084276350 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084274302 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084275168 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215401984 3079692731 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 19 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402400 3082294636 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 19 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084275372 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084278581 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402480 3084248129 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402540 3083790686 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 21 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084274154 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 21 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084280397 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084280161 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084273167 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402224 3084274864 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 915 0 0 0 23 0 0 0 23 0 1 0 9152866 7028736 432 4294967295 134512640 134535387 3215403648 3215402640 134527508 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 23 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294607 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275162 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402732 3084336576 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279434 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 25 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273746 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 25 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402608 3082293192 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402780 3085834605 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275480 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085757272 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 27 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402608 3082293243 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 27 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402608 3082293264 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402616 3084242614 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833692 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402604 3079702063 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 29 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273371 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 29 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527558 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402444 3082294884 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279908 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275527 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 31 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280091 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 31 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082285083 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273665 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3083684087 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293912 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 33 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294676 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 33 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085047939 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683739 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402420 3079695243 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 23 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279463 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 35 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527321 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 35 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273694 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273930 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284880 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273286 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 37 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402656 3079691968 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 37 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833568 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279494 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279457 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294673 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 39 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273289 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 39 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402620 3082291184 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248284 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683542 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273163 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 41 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293835 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 41 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280311 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276928 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278571 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683809 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 43 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276046 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 43 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278571 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274980 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275106 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 24 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683554 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 45 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273170 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 45 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248355 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084336968 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273325 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248378 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 47 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274582 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 47 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273317 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274115 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291995 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274178 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 49 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276069 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 49 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402128 3082285694 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291213 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294621 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273304 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 51 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280161 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 51 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275360 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402668 3079701987 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273183 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284837 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 53 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279469 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 53 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402752 3085835511 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402616 3084242620 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085831934 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279554 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 55 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402712 3082293186 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 55 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084336839 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084272984 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248287 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276052 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 57 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085834561 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 57 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294676 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291760 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527517 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402128 3082285710 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 59 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273591 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 59 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278511 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084277604 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275360 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402608 3082293243 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 61 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683779 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 61 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683854 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248355 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294874 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084337045 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 63 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280161 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 63 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280051 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402560 3085836875 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273694 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683640 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 65 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275462 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 65 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273007 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274302 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084336988 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273820 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 67 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683559 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 67 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3083684094 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402176 3082284050 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085831881 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279452 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 69 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275383 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 69 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279443 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294651 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275653 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085047941 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 71 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274302 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 71 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274552 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402712 3083684065 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276904 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084502568 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 73 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284837 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 73 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274763 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274878 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085834564 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279446 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 75 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085832069 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 75 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273681 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294630 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402608 3082293256 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273173 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 77 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683779 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 77 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402448 3083790560 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833824 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402748 3085831274 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273868 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 79 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273286 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 79 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273105 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402736 3085833237 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280187 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085758305 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 81 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833667 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 81 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402420 3079695448 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278837 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294636 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683701 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 83 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275168 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 83 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276388 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274637 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402616 3084242639 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278062 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 85 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085831937 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 85 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275381 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084277458 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402560 3085836857 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402172 3079694224 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 87 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215401976 3079324306 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 87 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279452 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085831955 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280534 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273167 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 89 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279424 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 89 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273687 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294692 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402128 3082285749 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273066 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 91 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274313 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 91 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276904 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276901 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683870 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683809 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 93 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279427 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 93 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402176 3082284053 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294636 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274763 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276155 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 95 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280221 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 95 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275106 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279783 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248271 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274539 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 97 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278610 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 97 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248053 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274845 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084336697 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275162 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 99 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084337021 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 99 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279507 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278071 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273659 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279783 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 101 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274929 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 101 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275112 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402684 134527248 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082292370 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084272844 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 103 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248127 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 103 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402420 3079695267 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833841 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274789 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402444 3082283432 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 105 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402128 3082285791 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 105 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833709 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402604 3079702018 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278843 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274984 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 107 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274582 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 107 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273304 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085831875 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291987 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402656 3079692165 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 109 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280507 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 109 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833683 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084336691 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683714 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273601 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 111 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280330 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 111 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279554 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683875 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274178 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274200 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 113 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082285003 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 113 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402464 3082294881 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274539 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085758627 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275288 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 115 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291952 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 115 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291382 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276917 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683631 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085048023 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 117 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293800 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 117 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278587 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274507 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215401984 3079691921 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085047959 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085834400 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278571 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273681 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291984 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274166 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084336900 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273379 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683545 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085048023 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280279 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273694 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274576 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402448 3083790660 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279824 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084336784 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 125 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683714 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 125 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278606 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275369 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291887 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275429 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683637 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402476 3082294884 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273601 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274589 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280405 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294671 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085832080 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085831881 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082285126 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275165 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683847 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294676 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291213 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294651 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273411 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402768 3079694356 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273703 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082285183 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274763 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402796 3085833536 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248053 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274532 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280320 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274112 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280379 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278555 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275411 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294630 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833559 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278068 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280155 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274504 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280288 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275411 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084277523 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280253 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275341 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082294199 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274600 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402608 3082292664 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084502571 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280288 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293919 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273805 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274307 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273603 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284999 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294793 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275372 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274586 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273591 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276898 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294676 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274938 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279424 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402448 3083790601 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279446 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527480 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278574 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274923 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085047939 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402484 3079694968 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273061 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402128 3082285760 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274178 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273183 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274123 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248320 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402420 3079696305 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279841 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3084550455 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084337045 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279482 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273674 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402028 3082284358 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683812 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402092 3079702096 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274763 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085832067 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274584 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 159 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284823 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 159 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278594 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273425 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084337029 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085831943 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279452 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294671 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278581 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273257 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085832067 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248088 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683605 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275011 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274909 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276046 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274582 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402616 3084242636 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293796 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273170 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276931 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280330 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683631 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402464 3082294533 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085048025 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274154 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273601 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280161 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278594 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402016 3082284451 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402420 3079696770 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085757654 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294543 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284955 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274154 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293930 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527440 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085757564 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274542 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248280 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276928 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274126 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280143 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275429 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273681 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273177 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273051 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274296 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280391 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833861 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291926 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279960 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248284 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273395 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833680 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402560 3085836794 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274965 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294676 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274584 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248129 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291390 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274552 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402704 3084564700 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276917 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280202 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291786 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274313 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284883 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402636 3079701952 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683880 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833856 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 187 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273597 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 187 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280282 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278062 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276895 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833866 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 189 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248355 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 189 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082294275 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402560 3085836435 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291195 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279573 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 191 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275005 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 191 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402128 3082285763 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293803 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274763 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278511 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 193 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273597 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 193 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280066 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294765 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248127 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275699 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 195 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084277354 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 195 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294796 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402752 3079691877 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402420 3079696125 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085758009 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 197 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280217 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 197 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274198 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279960 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683882 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402032 3079692656 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 199 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274542 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 199 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274944 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279503 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215401984 3079692731 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084247898 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 201 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273286 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 201 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402092 3079701972 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085758209 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274154 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276375 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 203 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085048021 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 203 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402608 3082293320 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278843 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084277389 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273278 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293803 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085048021 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278600 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275904 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683528 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 207 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273402 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 207 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683402 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278847 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275488 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273007 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 209 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402448 3083790567 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 209 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274279 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527558 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402436 3082294857 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274584 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 211 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278837 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 211 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273317 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291364 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248159 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273705 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 213 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085757353 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 213 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833606 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278555 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273445 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402128 3082285727 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 215 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274166 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 215 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527558 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683592 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402476 3082294528 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273071 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 217 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248056 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 217 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275178 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402716 3083684119 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273671 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274837 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 219 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278808 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 219 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683760 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833856 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3085048021 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402656 3079692121 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 221 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833672 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 221 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278068 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273402 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280125 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276904 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 223 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402620 3082291184 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 223 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402556 3083790320 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278808 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527437 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274971 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 225 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402032 3079691906 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 225 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294597 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248364 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293819 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402712 3083684065 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 227 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402792 3084519025 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 227 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284829 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085757389 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279494 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273163 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 229 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274532 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 229 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683637 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275414 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085832302 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279482 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 231 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274822 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 231 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273308 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084502515 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276267 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402752 3085835307 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 233 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833638 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 233 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280029 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291946 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402608 3082292475 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274591 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 235 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402656 3079691968 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 235 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3082293765 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279818 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275714 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402792 3085831857 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 237 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275296 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 237 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278581 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833632 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273359 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273068 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 239 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402420 3079695392 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 239 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274196 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279507 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278594 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274147 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 241 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294642 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 241 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082285131 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284883 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683907 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084272997 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 243 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085757864 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 243 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402656 3079691968 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248371 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248267 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279548 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 245 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278581 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 245 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274980 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276127 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273051 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294572 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 247 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273411 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 247 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527555 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248156 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3084550332 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294651 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 249 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402172 3082283416 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 249 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278837 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085757000 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294618 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276904 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 251 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084278847 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 251 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274816 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402752 3085835514 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402792 3085831857 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280291 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 253 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275050 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 253 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402712 3083684065 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294965 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275070 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274526 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 255 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084502568 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 255 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273591 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275165 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279780 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280324 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 257 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273868 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 257 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274789 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274797 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402736 3085833145 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082284999 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 259 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248063 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 259 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402512 3082293198 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683528 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683760 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291968 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 261 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402704 3084564641 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 261 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273671 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084272991 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3084550480 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402608 3082293269 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 263 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273163 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 263 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279494 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274845 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274160 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294636 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 265 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273264 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 265 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084336703 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294642 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402716 3083684064 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274296 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 267 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248412 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 267 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215401908 3079696582 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084502565 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294636 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248369 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 269 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402720 3085831875 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 269 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274313 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279948 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683861 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833672 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 271 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248116 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 271 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274552 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294607 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248127 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248358 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 273 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402128 3082285770 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 273 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402784 3082284010 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275429 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294651 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279783 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 275 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402800 3085757440 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 275 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402448 3083790657 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294533 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402420 3079695032 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280193 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 277 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402400 3082294656 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 277 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833675 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402656 3079692022 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683503 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248277 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 279 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402496 3082291980 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 279 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402128 3082285776 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402624 3083683704 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402620 3083619088 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402688 3085833692 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 281 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274251 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 281 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084276064 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402480 3084248156 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215401796 3079694971 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084272894 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 283 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280355 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 283 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275085 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215401908 3079694938 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294651 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084273051 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 285 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402640 134527440 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 285 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084279494 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 286 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084280408 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 286 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402700 3084336909 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 286 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402736 3085833171 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 287 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084275570 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 287 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402708 3082292468 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 288 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402048 3082285083 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 288 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402224 3084274421 0 0 4096 0 0 0 0 17 0 0 0 0
24532 (gecode-mseq) R 24531 24468 24421 34816 24468 4202496 916 0 0 0 288 0 0 0 25 0 1 0 9152866 7028736 433 4294967295 134512640 134535387 3215403648 3215402432 3082294554 0 0 4096 0 0 0 0 17 0 0 0 0
