31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4194304 631 0 0 0 0 0 0 0 25 0 1 0 10034592 6991872 166 4294967295 134512640 134538271 3216624544 3216622980 3086795989 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 25 0 1 0 10034592 7331840 496 4294967295 134512640 134538271 3216624544 3216623264 3083187753 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 25 0 1 0 10034592 7331840 496 4294967295 134512640 134538271 3216624544 3216623312 3085940951 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 25 0 1 0 10034592 7331840 496 4294967295 134512640 134538271 3216624544 3216623456 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 25 0 1 0 10034592 7331840 504 4294967295 134512640 134538271 3216624544 3216623312 3084887965 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10034592 7331840 504 4294967295 134512640 134538271 3216624544 3216623264 3083187762 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 25 0 1 0 10034592 7331840 510 4294967295 134512640 134538271 3216624544 3216623308 3083187812 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 25 0 1 0 10034592 7331840 510 4294967295 134512640 134538271 3216624544 3216623008 3083189766 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10034592 7495680 515 4294967295 134512640 134538271 3216624544 3216623184 3084896439 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10034592 7495680 516 4294967295 134512640 134538271 3216624544 3216623504 3086727564 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034592 7495680 516 4294967295 134512640 134538271 3216624544 3216623312 3085940958 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034592 7495680 516 4294967295 134512640 134538271 3216624544 3216623312 3084887903 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034592 7495680 516 4294967295 134512640 134538271 3216624544 3216623504 3086726547 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034592 7495680 516 4294967295 134512640 134538271 3216624544 3216623292 3083187783 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034592 7495680 516 4294967295 134512640 134538271 3216624544 3216623312 3085940951 0 0 4096 0 0 0 0 17 1 0 0 0
31018 (gecode-qwh) R 31017 27426 24421 34816 27426 4202496 1015 0 0 0 12 0 0 0 25 0 1 0 10034592 7499776 530 4294967295 134512640 134538271 3216624544 3216623544 3086754832 0 0 4096 0 0 0 0 17 1 0 0 0
