30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4194304 609 0 0 0 0 0 0 0 25 0 1 0 10032625 6987776 145 4294967295 134512640 134538271 3218031856 3218030292 3086374101 0 0 4096 0 0 0 0 17 1 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 954 0 0 0 0 0 0 0 25 0 1 0 10032625 7163904 471 4294967295 134512640 134538271 3218031856 3218030624 3084466008 0 0 4096 0 0 0 0 17 1 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 0 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030576 3082765914 0 0 4096 0 0 0 0 17 1 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030624 3085519063 0 0 4096 0 0 0 0 17 1 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030320 3082766052 0 0 4096 0 0 0 0 17 1 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 2 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030496 3084478870 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 2 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030576 3082765682 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 2 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030576 3082765751 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 3 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030496 3084474562 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 3 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030576 3082765600 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 4 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030624 3085519063 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 4 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030624 3085519084 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 4 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030576 3082765836 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 5 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030816 3084478908 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 5 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030576 3082765747 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 6 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030768 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30745 (gecode-qwh) R 30744 27426 24421 34816 27426 4202496 984 0 0 0 6 0 0 0 25 0 1 0 10032625 7327744 501 4294967295 134512640 134538271 3218031856 3218030576 3082765588 0 0 4096 0 0 0 0 17 0 0 0 0
