30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4194304 624 0 0 0 0 0 0 0 25 0 1 0 10032674 6987776 158 4294967295 134512640 134538271 3214526880 3214525316 3086570744 0 0 4096 0 0 0 0 17 1 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 957 0 0 0 0 0 0 0 25 0 1 0 10032674 7163904 472 4294967295 134512640 134538271 3214526880 3214525648 3084662687 0 0 4096 0 0 0 0 17 1 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525600 3082962351 0 0 4096 0 0 0 0 17 1 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525648 3085715671 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525840 3086501489 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525516 3082962640 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525520 3084671156 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525600 3082962455 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525600 3082962220 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525840 3086501478 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525840 3086501315 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525520 3084671036 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525648 3084662685 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525840 3086501323 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525600 3082962247 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032674 7327744 502 4294967295 134512640 134538271 3214526880 3214525340 3082951658 0 0 4096 0 0 0 0 17 0 0 0 0
30761 (gecode-qwh) R 30760 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10032674 7331840 516 4294967295 134512640 134538271 3214526880 3214525880 3086529552 0 0 4096 0 0 0 0 17 0 0 0 0
