30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 25 0 1 0 10034445 7331840 496 4294967295 134512640 134538271 3215997696 3215996464 3086047373 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 25 0 1 0 10034445 7331840 496 4294967295 134512640 134538271 3215997696 3215996464 3086047411 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 981 0 0 0 3 0 0 0 25 0 1 0 10034445 7331840 496 4294967295 134512640 134538271 3215997696 3215996160 3083295417 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10034445 7331840 504 4294967295 134512640 134538271 3215997696 3215996464 3086047479 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 25 0 1 0 10034445 7331840 510 4294967295 134512640 134538271 3215997696 3215996464 3086047436 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 25 0 1 0 10034445 7331840 510 4294967295 134512640 134538271 3215997696 3215996464 3084994507 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 25 0 1 0 10034445 7331840 510 4294967295 134512640 134538271 3215997696 3215996416 3083294298 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10034445 7495680 515 4294967295 134512640 134538271 3215997696 3215996416 3083294122 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034445 7495680 516 4294967295 134512640 134538271 3215997696 3215996416 3083294122 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034445 7495680 516 4294967295 134512640 134538271 3215997696 3215996608 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034445 7495680 516 4294967295 134512640 134538271 3215997696 3215996336 3085006892 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034445 7495680 516 4294967295 134512640 134538271 3215997696 3215996416 3083294051 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034445 7495680 516 4294967295 134512640 134538271 3215997696 3215996444 3083293958 0 0 4096 0 0 0 0 17 1 0 0 0
30986 (gecode-qwh) R 30985 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034445 7495680 516 4294967295 134512640 134538271 3215997696 3215996336 3085002904 0 0 4096 0 0 0 0 17 1 0 0 0
