31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4194304 591 0 0 0 0 0 0 0 24 0 1 0 10039791 6991872 126 4294967295 134512640 134538271 3216999424 3216997736 3086435189 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 976 0 0 0 1 0 0 0 24 0 1 0 10039791 7331840 492 4294967295 134512640 134538271 3216999424 3216998192 3085580501 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 976 0 0 0 2 0 0 0 25 0 1 0 10039791 7331840 492 4294967295 134512640 134538271 3216999424 3216998144 3082827332 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 976 0 0 0 2 0 0 0 25 0 1 0 10039791 7331840 492 4294967295 134512640 134538271 3216999424 3216998192 3084527435 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 988 0 0 0 3 0 0 0 25 0 1 0 10039791 7331840 504 4294967295 134512640 134538271 3216999424 3216998416 3086364432 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 988 0 0 0 4 0 0 0 25 0 1 0 10039791 7331840 504 4294967295 134512640 134538271 3216999424 3216998144 3082827113 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 988 0 0 0 5 0 0 0 25 0 1 0 10039791 7331840 504 4294967295 134512640 134538271 3216999424 3216997880 3084499324 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 988 0 0 0 6 0 0 0 25 0 1 0 10039791 7331840 504 4294967295 134512640 134538271 3216999424 3216998064 3084535933 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 988 0 0 0 6 0 0 0 25 0 1 0 10039791 7331840 504 4294967295 134512640 134538271 3216999424 3216997888 3082829368 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 988 0 0 0 7 0 0 0 25 0 1 0 10039791 7331840 504 4294967295 134512640 134538271 3216999424 3216998144 3082827194 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 988 0 0 0 8 0 0 0 25 0 1 0 10039791 7331840 504 4294967295 134512640 134538271 3216999424 3216998384 3086366114 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 988 0 0 0 9 0 0 0 25 0 1 0 10039791 7331840 504 4294967295 134512640 134538271 3216999424 3216998384 3086366304 0 0 4096 0 0 0 0 17 1 0 0 0
31205 (gecode-qwh) R 31204 27426 24421 34816 27426 4202496 988 0 0 0 10 0 0 0 25 0 1 0 10039791 7331840 504 4294967295 134512640 134538271 3216999424 3216998192 3084527517 0 0 4096 0 0 0 0 17 1 0 0 0
