24536 (sh) R 24535 24468 24421 34816 24468 4194304 134 0 0 0 0 0 0 0 20 0 1 0 9153160 1232896 48 4294967295 134512640 135191968 3216139040 3216136200 3086095123 0 0 4096 0 0 0 0 17 1 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4194304 682 0 0 0 0 0 0 0 20 0 1 0 9153160 6983680 217 4294967295 134512640 134535387 3216139056 3216137728 3086052538 0 0 4096 0 0 0 0 17 1 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 912 0 0 0 0 0 0 0 20 0 1 0 9153160 7024640 428 4294967295 134512640 134535387 3216139056 3216138108 3084480403 0 0 4096 0 0 0 0 17 1 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 912 0 0 0 1 0 0 0 20 0 1 0 9153160 7024640 428 4294967295 134512640 134535387 3216139056 3216137904 3082435747 0 0 4096 0 0 0 0 17 1 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 20 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216138096 3085976979 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 20 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216138024 3083762449 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 20 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216138016 3082436756 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 3 0 0 0 20 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137632 3084417488 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 3 0 0 0 20 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216138032 3083827162 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137904 3085191309 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216138108 3084480066 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216138032 3082437237 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 5 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137888 3084391680 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 5 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137852 3082437888 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137632 3084416347 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137808 3082437996 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137632 3084417016 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 7 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137904 3082434555 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 7 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137888 3084391416 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216138128 3085975516 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137632 3084422962 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137632 3084417906 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 9 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137632 3084420277 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 9 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137632 3084417778 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 914 0 0 0 10 0 0 0 23 0 1 0 9153160 7024640 430 4294967295 134512640 134535387 3216139056 3216137632 3084416725 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 10 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084416635 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 10 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137840 3082437908 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 11 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084417556 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 11 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084417488 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137808 3082437950 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216138084 3083826740 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137204 3079838324 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 13 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216138160 3085978188 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 13 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137904 3082435479 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137904 3085191353 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137808 3082438052 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216138096 3083827463 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 15 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084419657 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 15 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216138016 3082435850 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137808 3082438025 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084418717 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084417550 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 17 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216138208 3085900202 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 17 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084423651 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084418365 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084418289 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084417228 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 19 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084416533 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 19 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084418371 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084416533 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216138108 3084480203 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084420867 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 21 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084416617 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 21 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084418352 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084418340 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137456 3082428097 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9153160 7024640 431 4294967295 134512640 134535387 3216139056 3216137632 3084418499 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 23 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480381 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 23 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933989 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391416 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416351 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423690 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 25 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391196 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 25 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434692 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416774 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933991 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419636 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 27 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480251 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 27 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419001 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423521 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137808 3082437984 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417034 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 29 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419737 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 29 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3084693763 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435479 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434755 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082437990 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 31 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417538 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 31 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416351 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417483 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418774 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137828 3079838737 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 33 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137584 3084403024 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 33 0 0 0 23 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434747 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417501 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977242 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137532 3079835238 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 35 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435190 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 35 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138048 134527424 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423699 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422933 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137828 3079838782 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 37 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137532 3082428080 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 37 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421912 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421915 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434887 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422854 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 39 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137872 3082438241 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 39 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137552 3079837604 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416245 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137884 3082426792 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423894 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 41 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423345 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 41 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826914 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417960 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422914 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417088 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 43 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423755 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 43 0 0 0 24 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977957 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137908 3082434817 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137552 3079837734 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975241 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 45 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423639 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 45 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435222 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416765 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975662 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418389 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 47 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138084 3083826945 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 47 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418295 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137424 3082427834 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420277 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137552 3079837610 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 49 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137204 3079838304 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 49 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417944 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418427 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418708 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191246 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 51 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977798 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 51 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138012 3079845332 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137808 3082437996 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418316 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480266 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 53 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417796 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 53 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416677 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138112 3084708099 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900713 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416357 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 55 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138156 3084693680 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 55 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138204 3085978592 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423377 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416951 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137504 3079837643 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 57 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137536 3082429083 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 57 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416530 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416535 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417942 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827064 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 59 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418708 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 59 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137876 3082438242 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419435 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417906 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423611 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 61 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416357 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 61 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826917 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826991 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417028 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416677 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 63 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137516 3082428086 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 63 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900490 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082437970 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418792 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435334 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 65 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975235 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 65 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826929 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191353 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417019 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417867 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 67 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417912 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 67 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480269 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084645898 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422854 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191299 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 69 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138160 3079837729 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 69 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434770 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422806 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138048 134527437 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138048 134527517 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 71 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137968 3085979831 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 71 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977803 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434801 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416530 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137968 3085980277 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 73 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434899 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 73 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422921 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422857 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137808 3082438011 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826997 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 75 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418720 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 75 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416664 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826914 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416599 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417949 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 77 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420785 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 77 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138160 3085978624 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391686 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975235 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422806 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 79 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416347 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 79 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420973 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137548 3079467663 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191299 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138016 3082436600 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 81 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417063 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 81 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418732 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138176 3079837656 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480324 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137392 3079836087 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 83 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138116 3082435828 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 83 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391600 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417861 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416646 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138028 3082434544 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 85 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417572 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 85 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435298 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416360 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420990 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480013 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 87 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416428 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 87 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422832 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418525 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480203 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418224 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 89 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137500 3079467663 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 89 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416649 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419748 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137456 3082428486 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420261 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 91 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418199 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 91 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827150 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420301 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826952 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191372 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 93 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416646 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 93 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418505 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138016 3082436621 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423439 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418346 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 95 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480211 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 95 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933947 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417675 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422803 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417041 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 97 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422857 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 97 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437099 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977058 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418540 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418522 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 99 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416431 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 99 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417912 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827071 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138160 3085978612 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827153 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 101 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416415 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 101 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3082426152 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900262 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437226 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422870 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 103 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418421 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 103 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416685 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416415 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975288 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420252 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 105 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434592 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 105 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137388 3079845351 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417159 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977035 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418340 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 107 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418011 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 107 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418540 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977035 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975451 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419772 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 109 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434770 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 109 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138016 3082434549 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933993 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138192 3085978887 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416530 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 111 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437305 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 111 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417902 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418809 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422207 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418319 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 113 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422806 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 113 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416415 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975341 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137828 3079839096 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423455 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 115 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138024 3083762482 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 115 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418538 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827162 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137452 3082427712 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975252 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 117 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900399 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 117 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137624 3084385980 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137388 3079845484 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137884 3082437888 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827264 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423485 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434706 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137828 3079839645 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416646 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827169 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826908 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417028 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435303 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417041 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418648 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418123 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417022 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082437947 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417673 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416424 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 125 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933911 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 125 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480269 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417124 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391627 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085976992 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418673 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422787 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416421 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420684 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422927 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138036 3085979476 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418269 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417054 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416533 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138076 3079845423 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391513 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191347 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423553 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418662 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977190 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977046 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977219 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435331 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437243 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435349 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191383 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416646 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420708 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420907 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434683 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417944 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416644 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416357 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480063 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417501 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419168 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137536 3082429148 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418673 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420779 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391519 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084645901 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137580 3082427367 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900240 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417662 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137528 3082428081 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417054 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435349 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085901648 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391513 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191383 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423659 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137456 3082428220 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416421 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391487 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138144 3085976590 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435479 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422908 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137316 3079838298 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137532 3082428080 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138144 3085976547 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418439 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933909 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437302 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137456 3082428448 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416646 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418371 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423146 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137372 3079838245 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900757 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417488 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137536 3082429138 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416774 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480214 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416828 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827010 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417514 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418798 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138112 3084707924 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416649 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418304 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419013 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416357 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416774 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417886 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137828 3079839961 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 159 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827169 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 159 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435733 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417526 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417899 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137968 3085979831 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437105 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480069 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417858 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417065 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138124 3084416192 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417047 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437125 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416644 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137960 3085191443 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480069 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434576 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423721 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423768 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138016 3082435841 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422914 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137392 3079836025 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417656 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826917 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137968 3085980133 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416664 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423461 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137388 3079467663 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419737 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083934032 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416535 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418771 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137456 3082428103 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085901440 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138048 134527519 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137804 3082427367 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416431 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137536 3082429151 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933917 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416834 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418304 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423894 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391727 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977058 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416771 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391528 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138048 134527483 0 0 4096 0 0 0 0 17 0 0 0 0

24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137532 3082428080 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417951 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137968 3085980136 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975429 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416811 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416765 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418123 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420264 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419424 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416421 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435153 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418304 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422448 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417556 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391487 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191383 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423143 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391543 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137852 3082438219 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416774 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416357 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137808 3082437941 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085976963 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421431 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 187 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137808 3082437957 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 187 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419429 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420883 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419044 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900329 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 189 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423403 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 189 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423178 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416396 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480199 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977043 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 191 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418760 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 191 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417924 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423194 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391731 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419772 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 193 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191309 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 193 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137388 3079845369 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435315 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416635 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416624 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 195 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827172 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 195 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418459 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418690 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137500 3079845318 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418962 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 197 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418030 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 197 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138156 3084693771 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435328 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138028 3084385968 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417796 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 199 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422908 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 199 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435357 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421422 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418151 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422765 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 201 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191372 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 201 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137552 3079837748 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900774 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480203 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416655 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 203 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416957 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 203 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826991 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417398 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417960 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434683 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418251 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422177 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437189 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138196 3084662393 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391733 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 207 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416828 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 207 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417662 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191375 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418673 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191360 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 209 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137968 3085980300 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 209 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417892 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421960 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437197 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137968 3085979851 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 211 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391693 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 211 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933947 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480069 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137872 3082437893 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416289 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 213 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480063 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 213 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418837 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138064 3079835382 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975297 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416424 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 215 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422803 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 215 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082437929 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437328 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137968 3085980325 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975235 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 217 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417895 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 217 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138160 3085978871 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419441 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421922 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933989 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 219 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422908 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 219 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416701 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418212 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418024 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418205 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 221 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417475 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 221 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138112 3084707939 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137828 3079838752 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826905 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418161 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 223 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977046 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 223 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391489 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138048 134527473 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418123 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137552 3079837590 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 225 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977242 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 225 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977043 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138176 3079837598 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082437990 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082438322 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 227 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3084693728 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 227 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975327 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137392 3079835252 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418304 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082437990 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 229 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418151 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 229 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082435490 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933842 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826921 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975324 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 231 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975334 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 231 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421928 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137808 3082438045 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422247 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085901085 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 233 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138028 3084385968 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 233 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3082434724 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418459 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416644 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417054 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 235 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417501 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 235 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827148 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085901500 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977994 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417028 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 237 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417028 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 237 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417526 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423345 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138020 3082436692 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417041 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 239 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138200 134528097 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 239 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421947 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933692 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417556 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422817 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 241 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082437981 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 241 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137536 3079835237 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827074 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416961 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416963 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 243 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416961 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 243 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418525 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421941 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138112 3082436544 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084422921 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 245 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138196 3085975542 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 245 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391715 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423455 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417673 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137500 3079845423 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 247 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418151 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 247 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418168 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975312 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423639 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417939 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 249 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391683 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 249 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900363 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417070 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417494 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419490 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 251 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3084693856 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 251 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137808 3082437978 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138048 134527473 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420264 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417544 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 253 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138016 3082436606 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 253 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138160 3085978624 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191344 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138088 3083826946 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417662 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 255 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137584 3084403033 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 255 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391772 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138048 134527440 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138124 3083827424 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421960 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 257 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421928 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 257 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416367 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417912 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417960 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417041 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 259 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417778 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 259 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137856 3083933961 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084419722 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418673 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826888 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 261 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421422 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 261 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138108 3084480066 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417864 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417063 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418395 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 263 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417514 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 263 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417538 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137456 3082428097 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827230 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137200 3079467666 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 265 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827064 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 265 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083827169 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138016 3082436606 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418408 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084421954 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 267 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082437990 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 267 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417949 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137204 3079838334 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137876 3082438242 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391482 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 269 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137456 3082428170 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 269 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137840 3082438322 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085900305 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138208 3085901563 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137456 3082428380 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 271 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137456 3082428478 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 271 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084423631 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084420255 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416357 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191353 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 273 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3083826956 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 273 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137904 3085191309 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138128 3085975440 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137580 3082427367 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417942 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 275 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418698 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 275 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416762 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137872 3082437893 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418015 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137424 3082427811 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 277 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416421 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 277 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137388 3079845481 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138020 3082436703 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138048 134527447 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138096 3085977900 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 279 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417483 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 279 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137372 3079838245 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391487 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216138032 3082437187 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418630 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 281 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137968 3085980040 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 281 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418548 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084417475 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137888 3084391627 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416668 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 283 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137424 3082427811 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 283 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418212 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084418654 0 0 4096 0 0 0 0 17 0 0 0 0
24536 (gecode-mseq) R 24535 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9153160 7024640 432 4294967295 134512640 134535387 3216139056 3216137632 3084416533 0 0 4096 0 0 0 0 17 0 0 0 0
