31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4194304 615 0 0 0 0 0 0 0 25 0 1 0 10039713 6987776 149 4294967295 134512640 134538271 3218332992 3218331428 3086578901 0 0 4096 0 0 0 0 17 1 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 977 0 0 0 1 0 0 0 25 0 1 0 10039713 7327744 492 4294967295 134512640 134538271 3218332992 3218331632 3084679283 0 0 4096 0 0 0 0 17 1 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10039713 7327744 492 4294967295 134512640 134538271 3218332992 3218331952 3086509472 0 0 4096 0 0 0 0 17 1 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10039713 7327744 492 4294967295 134512640 134538271 3218332992 3218331760 3084670843 0 0 4096 0 0 0 0 17 0 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 25 0 1 0 10039713 7327744 504 4294967295 134512640 134538271 3218332992 3218331760 3084670879 0 0 4096 0 0 0 0 17 0 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10039713 7327744 504 4294967295 134512640 134538271 3218332992 3218331952 3086509670 0 0 4096 0 0 0 0 17 0 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 989 0 0 0 5 0 0 0 25 0 1 0 10039713 7327744 504 4294967295 134512640 134538271 3218332992 3218331952 3086510479 0 0 4096 0 0 0 0 17 0 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 25 0 1 0 10039713 7327744 504 4294967295 134512640 134538271 3218332992 3218331952 3086509672 0 0 4096 0 0 0 0 17 0 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 25 0 1 0 10039713 7327744 504 4294967295 134512640 134538271 3218332992 3218331760 3085723889 0 0 4096 0 0 0 0 17 0 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 989 0 0 0 7 0 0 0 25 0 1 0 10039713 7327744 504 4294967295 134512640 134538271 3218332992 3218331904 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 989 0 0 0 8 0 0 0 25 0 1 0 10039713 7327744 504 4294967295 134512640 134538271 3218332992 3218331712 3082970530 0 0 4096 0 0 0 0 17 0 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 989 0 0 0 9 0 0 0 25 0 1 0 10039713 7327744 504 4294967295 134512640 134538271 3218332992 3218331712 3082970470 0 0 4096 0 0 0 0 17 0 0 0 0
31185 (gecode-qwh) R 31184 27426 24421 34816 27426 4202496 989 0 0 0 10 0 0 0 25 0 1 0 10039713 7327744 504 4294967295 134512640 134538271 3218332992 3218331632 3084683281 0 0 4096 0 0 0 0 17 0 0 0 0
