30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4194304 616 0 0 0 0 0 0 0 25 0 1 0 10032723 6987776 151 4294967295 134512640 134538271 3220842400 3220840836 3086709973 0 0 4096 0 0 0 0 17 1 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 955 0 0 0 0 0 0 0 25 0 1 0 10032723 7163904 471 4294967295 134512640 134538271 3220842400 3220841312 134529233 0 0 4096 0 0 0 0 17 1 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 1 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841168 3084801877 0 0 4096 0 0 0 0 17 1 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 1 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841360 3086641551 0 0 4096 0 0 0 0 17 1 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 2 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841312 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 2 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220840864 3083103712 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 2 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220840864 3083103795 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 3 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841168 3085854864 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 3 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841120 3083101460 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841168 3085854918 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841120 3083101571 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841360 3086641344 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 5 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841168 3085854933 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 5 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841168 3085854899 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 6 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841120 3083101574 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 985 0 0 0 6 0 0 0 25 0 1 0 10032723 7327744 501 4294967295 134512640 134538271 3220842400 3220841360 3086640618 0 0 4096 0 0 0 0 17 0 0 0 0
30777 (gecode-qwh) R 30776 27426 24421 34816 27426 4202496 998 0 0 0 6 0 0 0 25 0 1 0 10032723 7331840 514 4294967295 134512640 134538271 3220842400 3220841068 3080485887 0 0 4096 0 0 0 0 17 0 0 0 0
