30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4194304 625 0 0 0 0 0 0 0 25 0 1 0 10027878 6987776 159 4294967295 134512640 134538271 3215915760 3215914196 3086718165 0 0 4096 0 0 0 0 17 1 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 950 0 0 0 0 0 0 0 25 0 1 0 10027878 7176192 465 4294967295 134512640 134538271 3215915760 3215914480 3083109755 0 0 4096 0 0 0 0 17 1 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 952 0 0 0 1 0 0 0 25 0 1 0 10027878 7176192 467 4294967295 134512640 134538271 3215915760 3215914528 3084810123 0 0 4096 0 0 0 0 17 1 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 956 0 0 0 1 0 0 0 25 0 1 0 10027878 7176192 471 4294967295 134512640 134538271 3215915760 3215914224 3083111960 0 0 4096 0 0 0 0 17 0 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 956 0 0 0 2 0 0 0 25 0 1 0 10027878 7176192 471 4294967295 134512640 134538271 3215915760 3215914528 3085863119 0 0 4096 0 0 0 0 17 0 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 956 0 0 0 2 0 0 0 25 0 1 0 10027878 7176192 471 4294967295 134512640 134538271 3215915760 3215914400 3084818501 0 0 4096 0 0 0 0 17 0 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 956 0 0 0 2 0 0 0 25 0 1 0 10027878 7176192 471 4294967295 134512640 134538271 3215915760 3215914732 3085317627 0 0 4096 0 0 0 0 17 0 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 957 0 0 0 3 0 0 0 25 0 1 0 10027878 7176192 472 4294967295 134512640 134538271 3215915760 3215914480 3083109734 0 0 4096 0 0 0 0 17 0 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 957 0 0 0 3 0 0 0 25 0 1 0 10027878 7176192 472 4294967295 134512640 134538271 3215915760 3215914224 3083110721 0 0 4096 0 0 0 0 17 0 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 958 0 0 0 4 0 0 0 25 0 1 0 10027878 7176192 473 4294967295 134512640 134538271 3215915760 3215914592 3086651711 0 0 4096 0 0 0 0 17 0 0 0 0
30058 (gecode-qwh) R 30057 27426 24421 34816 27426 4202496 972 0 0 0 4 0 0 0 25 0 1 0 10027878 7180288 487 4294967295 134512640 134538271 3215915760 3215914760 3086677008 0 0 4096 0 0 0 0 17 0 0 0 0
