31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 960 0 0 0 0 0 0 0 25 0 1 0 10040001 7168000 477 4294967295 134512640 134538271 3218126096 3218124816 3082868030 0 0 4096 0 0 0 0 17 1 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10040001 7331840 497 4294967295 134512640 134538271 3218126096 3218124816 3082868132 0 0 4096 0 0 0 0 17 1 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 998 0 0 0 2 0 0 0 25 0 1 0 10040001 7495680 515 4294967295 134512640 134538271 3218126096 3218124816 3082868102 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 2 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124864 3084568440 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 3 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218125008 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 4 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124852 3082867972 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 5 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124816 3082868073 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 6 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124816 3082868000 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 6 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124736 3084576934 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 7 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124816 3082868163 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 8 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124816 3082868154 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 9 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124736 3084579079 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 10 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124864 3085621443 0 0 4096 0 0 0 0 17 0 0 0 0
31270 (gecode-qwh) R 31269 27426 24421 34816 27426 4202496 1004 0 0 0 10 0 0 0 25 0 1 0 10040001 7495680 521 4294967295 134512640 134538271 3218126096 3218124560 3082870352 0 0 4096 0 0 0 0 17 0 0 0 0
