30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4194304 519 0 0 0 0 0 0 0 25 0 1 0 10027869 5394432 57 4294967295 134512640 134538271 3217515632 3217512656 3086779155 0 0 4096 0 0 0 0 17 1 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 946 0 0 0 0 0 0 0 25 0 1 0 10027869 7180288 462 4294967295 134512640 134538271 3217515632 3217514352 3083121982 0 0 4096 0 0 0 0 17 1 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 950 0 0 0 0 0 0 0 25 0 1 0 10027869 7180288 466 4294967295 134512640 134538271 3217515632 3217514380 3083121926 0 0 4096 0 0 0 0 17 1 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 955 0 0 0 1 0 0 0 25 0 1 0 10027869 7180288 471 4294967295 134512640 134538271 3217515632 3217514380 3083121926 0 0 4096 0 0 0 0 17 1 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 955 0 0 0 1 0 0 0 25 0 1 0 10027869 7180288 471 4294967295 134512640 134538271 3217515632 3217514272 3084830745 0 0 4096 0 0 0 0 17 1 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 955 0 0 0 2 0 0 0 25 0 1 0 10027869 7180288 471 4294967295 134512640 134538271 3217515632 3217514352 3083122095 0 0 4096 0 0 0 0 17 1 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 955 0 0 0 2 0 0 0 25 0 1 0 10027869 7180288 471 4294967295 134512640 134538271 3217515632 3217514088 3084794249 0 0 4096 0 0 0 0 17 0 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 956 0 0 0 2 0 0 0 25 0 1 0 10027869 7180288 472 4294967295 134512640 134538271 3217515632 3217514260 3083123095 0 0 4096 0 0 0 0 17 0 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 956 0 0 0 3 0 0 0 25 0 1 0 10027869 7180288 472 4294967295 134512640 134538271 3217515632 3217514592 3086661011 0 0 4096 0 0 0 0 17 0 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 957 0 0 0 3 0 0 0 25 0 1 0 10027869 7180288 473 4294967295 134512640 134538271 3217515632 3217514580 3084830692 0 0 4096 0 0 0 0 17 0 0 0 0
30054 (gecode-qwh) R 30053 27426 24421 34816 27426 4202496 957 0 0 0 4 0 0 0 25 0 1 0 10027869 7180288 473 4294967295 134512640 134538271 3217515632 3217514352 3083122106 0 0 4096 0 0 0 0 17 0 0 0 0
