30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4194304 619 0 0 0 0 0 0 0 25 0 1 0 10032686 6991872 153 4294967295 134512640 134538271 3213183056 3213181492 3086623992 0 0 4096 0 0 0 0 17 1 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 957 0 0 0 0 0 0 0 25 0 1 0 10032686 7168000 472 4294967295 134512640 134538271 3213183056 3213182016 3086554720 0 0 4096 0 0 0 0 17 1 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181824 3085768883 0 0 4096 0 0 0 0 17 1 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181696 3084728356 0 0 4096 0 0 0 0 17 1 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181516 3083004906 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181824 3085768919 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181776 3083015564 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213182080 3080415252 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213182016 3086554778 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181776 3083015572 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181952 3083014852 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181776 3083015592 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181520 3083017864 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181776 3083015526 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181824 3084715806 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032686 7331840 502 4294967295 134512640 134538271 3213183056 3213181520 3083017143 0 0 4096 0 0 0 0 17 0 0 0 0
30765 (gecode-qwh) R 30764 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10032686 7335936 516 4294967295 134512640 134538271 3213183056 3213182056 3086582800 0 0 4096 0 0 0 0 17 0 0 0 0
