30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4194304 519 0 0 0 0 0 0 0 25 0 1 0 10027905 5390336 57 4294967295 134512640 134538271 3220752272 3220749300 3086187455 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 945 0 0 0 0 0 0 0 25 0 1 0 10027905 7176192 461 4294967295 134512640 134538271 3220752272 3220750992 3082528062 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 949 0 0 0 1 0 0 0 25 0 1 0 10027905 7176192 465 4294967295 134512640 134538271 3220752272 3220751040 3085281459 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 954 0 0 0 1 0 0 0 25 0 1 0 10027905 7176192 470 4294967295 134512640 134538271 3220752272 3220751184 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 954 0 0 0 2 0 0 0 25 0 1 0 10027905 7176192 470 4294967295 134512640 134538271 3220752272 3220751040 3085281495 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 954 0 0 0 2 0 0 0 25 0 1 0 10027905 7176192 470 4294967295 134512640 134538271 3220752272 3220750992 3082528116 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 954 0 0 0 2 0 0 0 25 0 1 0 10027905 7176192 470 4294967295 134512640 134538271 3220752272 3220751232 3086067296 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 955 0 0 0 3 0 0 0 25 0 1 0 10027905 7176192 471 4294967295 134512640 134538271 3220752272 3220750912 3084240932 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 955 0 0 0 3 0 0 0 25 0 1 0 10027905 7176192 471 4294967295 134512640 134538271 3220752272 3220751144 3084200313 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 956 0 0 0 4 0 0 0 25 0 1 0 10027905 7176192 472 4294967295 134512640 134538271 3220752272 3220750736 3082528683 0 0 4096 0 0 0 0 17 1 0 0 0
30070 (gecode-qwh) R 30069 27426 24421 34816 27426 4202496 970 0 0 0 4 0 0 0 25 0 1 0 10027905 7180288 486 4294967295 134512640 134538271 3220752272 3220751136 3081521796 0 0 4096 0 0 0 0 17 0 0 0 0
