31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4194304 463 0 0 0 0 0 0 0 24 0 1 0 10039744 237568 2 4294967295 0 0 3214137605 3220316852 3086361616 0 0 4096 0 0 0 0 17 1 0 0 0
 0 0 17 1 0 0 0

31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 977 0 0 0 1 0 0 0 24 0 1 0 10039744 7331840 492 4294967295 134512640 134538271 3214131520 3214130288 3085719759 0 0 4096 0 0 0 0 17 1 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10039744 7331840 492 4294967295 134512640 134538271 3214131520 3214130288 3085719767 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10039744 7331840 492 4294967295 134512640 134538271 3214131520 3214130288 3084666703 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 983 0 0 0 3 0 0 0 25 0 1 0 10039744 7331840 498 4294967295 134512640 134538271 3214131520 3214130240 3082966395 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10039744 7331840 504 4294967295 134512640 134538271 3214131520 3214129984 3082969057 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 989 0 0 0 5 0 0 0 25 0 1 0 10039744 7331840 504 4294967295 134512640 134538271 3214131520 3214130496 3085236444 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 25 0 1 0 10039744 7331840 504 4294967295 134512640 134538271 3214131520 3214130288 3084666783 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 25 0 1 0 10039744 7331840 504 4294967295 134512640 134538271 3214131520 3214130432 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 989 0 0 0 7 0 0 0 25 0 1 0 10039744 7331840 504 4294967295 134512640 134538271 3214131520 3214130288 3085719747 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 989 0 0 0 8 0 0 0 25 0 1 0 10039744 7331840 504 4294967295 134512640 134538271 3214131520 3214130480 3086505363 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 989 0 0 0 9 0 0 0 25 0 1 0 10039744 7331840 504 4294967295 134512640 134538271 3214131520 3214130240 3082966374 0 0 4096 0 0 0 0 17 0 0 0 0
31193 (gecode-qwh) R 31192 27426 24421 34816 27426 4202496 989 0 0 0 10 0 0 0 25 0 1 0 10039744 7331840 504 4294967295 134512640 134538271 3214131520 3214130480 3084679609 0 0 4096 0 0 0 0 17 0 0 0 0
