31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4194304 618 0 0 0 0 0 0 0 25 0 1 0 10039775 6987776 152 4294967295 134512640 134538271 3217489008 3217487444 3086726357 0 0 4096 0 0 0 0 17 1 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 977 0 0 0 1 0 0 0 25 0 1 0 10039775 7327744 492 4294967295 134512640 134538271 3217489008 3217487776 3085871317 0 0 4096 0 0 0 0 17 1 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10039775 7327744 492 4294967295 134512640 134538271 3217489008 3217487728 3083117952 0 0 4096 0 0 0 0 17 1 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10039775 7327744 492 4294967295 134512640 134538271 3217489008 3217487724 3083107303 0 0 4096 0 0 0 0 17 0 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 25 0 1 0 10039775 7327744 504 4294967295 134512640 134538271 3217489008 3217487728 3083118089 0 0 4096 0 0 0 0 17 0 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10039775 7327744 504 4294967295 134512640 134538271 3217489008 3217487472 3083119555 0 0 4096 0 0 0 0 17 0 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 989 0 0 0 5 0 0 0 25 0 1 0 10039775 7327744 504 4294967295 134512640 134538271 3217489008 3217488076 3085335008 0 0 4096 0 0 0 0 17 0 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 25 0 1 0 10039775 7327744 504 4294967295 134512640 134538271 3217489008 3217487772 3083117824 0 0 4096 0 0 0 0 17 0 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 25 0 1 0 10039775 7327744 504 4294967295 134512640 134538271 3217489008 3217487776 3084818376 0 0 4096 0 0 0 0 17 0 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 989 0 0 0 7 0 0 0 25 0 1 0 10039775 7327744 504 4294967295 134512640 134538271 3217489008 3217487728 3083117895 0 0 4096 0 0 0 0 17 0 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 989 0 0 0 8 0 0 0 25 0 1 0 10039775 7327744 504 4294967295 134512640 134538271 3217489008 3217487968 3086657137 0 0 4096 0 0 0 0 17 0 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 989 0 0 0 9 0 0 0 25 0 1 0 10039775 7327744 504 4294967295 134512640 134538271 3217489008 3217487968 3086657688 0 0 4096 0 0 0 0 17 0 0 0 0
31201 (gecode-qwh) R 31200 27426 24421 34816 27426 4202496 989 0 0 0 10 0 0 0 25 0 1 0 10039775 7327744 504 4294967295 134512640 134538271 3217489008 3217487628 3083118294 0 0 4096 0 0 0 0 17 0 0 0 0
