31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4194304 616 0 0 0 0 0 0 0 25 0 1 0 10039729 6987776 152 4294967295 134512640 134538271 3218939344 3218937780 3086906581 0 0 4096 0 0 0 0 17 1 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 975 0 0 0 1 0 0 0 25 0 1 0 10039729 7327744 492 4294967295 134512640 134538271 3218939344 3218938112 3086051545 0 0 4096 0 0 0 0 17 1 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 975 0 0 0 2 0 0 0 25 0 1 0 10039729 7327744 492 4294967295 134512640 134538271 3218939344 3218937800 3084970380 0 0 4096 0 0 0 0 17 1 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 975 0 0 0 2 0 0 0 25 0 1 0 10039729 7327744 492 4294967295 134512640 134538271 3218939344 3218938112 3084998561 0 0 4096 0 0 0 0 17 0 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10039729 7327744 504 4294967295 134512640 134538271 3218939344 3218938112 3084998559 0 0 4096 0 0 0 0 17 0 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10039729 7327744 504 4294967295 134512640 134538271 3218939344 3218937968 3083298517 0 0 4096 0 0 0 0 17 0 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10039729 7327744 504 4294967295 134512640 134538271 3218939344 3218938064 3083298150 0 0 4096 0 0 0 0 17 0 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10039729 7327744 504 4294967295 134512640 134538271 3218939344 3218938064 3083298216 0 0 4096 0 0 0 0 17 0 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10039729 7327744 504 4294967295 134512640 134538271 3218939344 3218938064 3083298363 0 0 4096 0 0 0 0 17 0 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 987 0 0 0 7 0 0 0 25 0 1 0 10039729 7327744 504 4294967295 134512640 134538271 3218939344 3218937984 3085007178 0 0 4096 0 0 0 0 17 0 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 987 0 0 0 8 0 0 0 25 0 1 0 10039729 7327744 504 4294967295 134512640 134538271 3218939344 3218937984 3085011269 0 0 4096 0 0 0 0 17 0 0 0 0
31189 (gecode-qwh) R 31188 27426 24421 34816 27426 4202496 987 0 0 0 9 0 0 0 25 0 1 0 10039729 7327744 504 4294967295 134512640 134538271 3218939344 3218938112 3086051543 0 0 4096 0 0 0 0 17 0 0 0 0
