30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4194304 489 0 0 0 0 0 0 0 25 0 1 0 10034314 249856 27 4294967295 134512640 134538271 3218347328 3218344800 3086475278 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 981 0 0 0 0 0 0 0 25 0 1 0 10034314 7331840 496 4294967295 134512640 134538271 3218347328 3218345784 3084491137 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 995 0 0 0 1 0 0 0 25 0 1 0 10034314 7331840 510 4294967295 134512640 134538271 3218347328 3218346048 3082818959 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 25 0 1 0 10034314 7331840 510 4294967295 134512640 134538271 3218347328 3218346096 3084519291 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 25 0 1 0 10034314 7331840 510 4294967295 134512640 134538271 3218347328 3218345792 3082819322 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346048 3082819162 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218345968 3084529938 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346092 3082807720 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346096 3085572275 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346048 3082819165 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218345968 3084527999 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346048 3082818869 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346096 3084519327 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346096 3084519307 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218345952 3082819285 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218345968 3084527758 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218345968 3084527802 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346048 3082818991 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346048 3082818842 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346096 3084519327 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346096 3084519316 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218346048 3082818991 0 0 4096 0 0 0 0 17 1 0 0 0
30934 (gecode-qwh) R 30933 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 25 0 1 0 10034314 7495680 516 4294967295 134512640 134538271 3218347328 3218345968 3084531739 0 0 4096 0 0 0 0 17 1 0 0 0
