31241 (gecode-qwh) R 31240 27426 24421 34816 27426 4194304 641 0 0 0 0 0 0 0 25 0 1 0 10039915 6991872 175 4294967295 134512640 134538271 3219758096 3219756732 3086934932 0 0 4096 0 0 0 0 17 1 0 0 0
31241 (gecode-qwh) R 31240 27426 24421 34816 27426 4202496 975 0 0 0 0 0 0 0 25 0 1 0 10039915 7331840 490 4294967295 134512640 134538271 3219758096 3219756816 3083277730 0 0 4096 0 0 0 0 17 1 0 0 0
31241 (gecode-qwh) R 31240 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 25 0 1 0 10039915 7331840 496 4294967295 134512640 134538271 3219758096 3219756928 3086819666 0 0 4096 0 0 0 0 17 0 0 0 0
31241 (gecode-qwh) R 31240 27426 24421 34816 27426 4202496 986 0 0 0 2 0 0 0 25 0 1 0 10039915 7331840 501 4294967295 134512640 134538271 3219758096 3219756864 3086030989 0 0 4096 0 0 0 0 17 0 0 0 0
31241 (gecode-qwh) R 31240 27426 24421 34816 27426 4202496 999 0 0 0 3 0 0 0 25 0 1 0 10039915 7495680 514 4294967295 134512640 134538271 3219758096 3219756560 3083279928 0 0 4096 0 0 0 0 17 0 0 0 0
31241 (gecode-qwh) R 31240 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 25 0 1 0 10039915 7495680 514 4294967295 134512640 134538271 3219758096 3219756816 3083277743 0 0 4096 0 0 0 0 17 0 0 0 0
31241 (gecode-qwh) R 31240 27426 24421 34816 27426 4202496 1013 0 0 0 4 0 0 0 25 0 1 0 10039915 7036928 467 4294967295 134512640 134538271 3219758096 3219757088 3086844944 0 0 4096 0 0 0 0 17 0 0 0 0
