30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4194304 520 0 0 0 0 0 0 0 20 0 1 0 10033103 5394432 57 4294967295 134512640 134538271 3216048912 3216045936 3086082835 0 0 4096 0 0 0 0 17 1 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 943 0 0 0 0 0 0 0 20 0 1 0 10033103 7168000 458 4294967295 134512640 134538271 3216048912 3216047632 3082425662 0 0 4096 0 0 0 0 17 1 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 981 0 0 0 0 0 0 0 20 0 1 0 10033103 7331840 496 4294967295 134512640 134538271 3216048912 3216047632 3082425786 0 0 4096 0 0 0 0 17 1 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 981 0 0 0 0 0 0 0 20 0 1 0 10033103 7331840 496 4294967295 134512640 134538271 3216048912 3216047552 3084134804 0 0 4096 0 0 0 0 17 1 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 20 0 1 0 10033103 7331840 496 4294967295 134512640 134538271 3216048912 3216047376 3082427322 0 0 4096 0 0 0 0 17 1 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 983 0 0 0 1 0 0 0 20 0 1 0 10033103 7331840 498 4294967295 134512640 134538271 3216048912 3216047680 3085179084 0 0 4096 0 0 0 0 17 1 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 20 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047680 3085179095 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 20 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047632 3082425612 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 20 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047376 3082426148 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 20 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047668 3082425954 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 23 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047872 3085964902 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 23 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047632 3082425726 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 23 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047680 3084126111 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 5 0 0 0 23 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047552 3084138555 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 5 0 0 0 23 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047744 3085967622 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 23 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047872 3085964773 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 23 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047632 3082425682 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 23 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047632 3082425669 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 989 0 0 0 7 0 0 0 23 0 1 0 10033103 7331840 504 4294967295 134512640 134538271 3216048912 3216047872 3085964747 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 23 0 1 0 10033103 7495680 516 4294967295 134512640 134538271 3216048912 3216047680 3085179099 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 23 0 1 0 10033103 7495680 516 4294967295 134512640 134538271 3216048912 3216047824 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 23 0 1 0 10033103 7495680 516 4294967295 134512640 134538271 3216048912 3216047680 3085179095 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 23 0 1 0 10033103 7495680 516 4294967295 134512640 134538271 3216048912 3216047632 3082425719 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 23 0 1 0 10033103 7495680 516 4294967295 134512640 134538271 3216048912 3216047872 3085964896 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 23 0 1 0 10033103 7495680 516 4294967295 134512640 134538271 3216048912 3216047680 3084125956 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 23 0 1 0 10033103 7495680 516 4294967295 134512640 134538271 3216048912 3216047664 3082425605 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1001 0 0 0 10 1 0 0 23 0 1 0 10033103 7495680 516 4294967295 134512640 134538271 3216048912 3216047632 3082425775 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1001 0 0 0 10 1 0 0 23 0 1 0 10033103 7495680 516 4294967295 134512640 134538271 3216048912 3216047808 3082425043 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1006 0 0 0 10 1 0 0 23 0 1 0 10033103 7495680 521 4294967295 134512640 134538271 3216048912 3216047824 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 10 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425768 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 11 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085964688 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 11 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425714 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 12 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047628 3082415079 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 12 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047672 3082425601 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 12 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 13 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425708 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 13 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425669 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 14 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047660 3082425606 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 14 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 14 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425719 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 15 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085964902 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 15 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126037 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 16 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047676 3082425931 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 16 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179121 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 16 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084137672 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 17 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047668 3082425604 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 17 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 18 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179095 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 18 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085964747 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 18 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425915 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 19 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084138516 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 19 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084134542 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 20 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084134519 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 20 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084138540 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 20 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425708 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 21 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425708 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 21 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085965660 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 22 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126118 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 22 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425939 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 22 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425770 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 23 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085964691 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 23 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179093 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 24 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425615 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 24 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126094 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 24 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082426854 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 25 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425671 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 25 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 26 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084134515 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 26 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084134519 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 26 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047840 3079823061 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 27 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179059 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 27 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085964747 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 28 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082427583 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 28 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126088 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 28 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 29 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425748 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 29 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082426115 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 30 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084134583 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 30 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425946 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 30 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179095 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 31 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 31 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084138588 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 32 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047368 3084097932 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 32 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047536 3082426069 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 32 1 0 0 23 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126103 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 33 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 33 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082426694 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 34 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047744 3085967723 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 34 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084138562 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 34 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179090 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 35 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425770 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 35 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425673 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 36 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084134706 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 36 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425764 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 36 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179095 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 37 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425620 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 37 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084125857 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 38 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085965711 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 38 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126088 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 38 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179095 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 39 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425726 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 39 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179095 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 40 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179059 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 40 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126111 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 40 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047792 3082423611 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 41 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084138513 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 41 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082426716 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 42 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084137686 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 42 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047540 3082426068 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 42 1 0 0 24 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425737 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 43 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084138535 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 43 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126111 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 44 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425764 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 44 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085964904 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 44 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082427648 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 45 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047984 3085888452 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 45 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 46 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084138516 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 46 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179127 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 46 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047548 3082426777 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 47 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084138558 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 47 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084138535 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 48 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425921 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 48 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084134583 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 48 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082426452 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 49 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047936 3079825381 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 49 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082426705 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 50 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179084 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 50 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425723 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 50 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179095 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 51 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047856 3084134373 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 51 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425714 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 52 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179084 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 52 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425705 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 52 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085964691 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 53 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084125950 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 53 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082426084 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 54 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126111 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 54 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425903 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 54 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425711 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 55 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047552 3084137686 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 55 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047984 3085888910 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 56 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084125934 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 56 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529159 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 56 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425659 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 57 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085965708 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 57 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126109 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 58 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425786 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 58 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082426680 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 58 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425723 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 59 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047676 3082425600 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 59 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047676 3082425600 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 60 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179059 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 60 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047744 3085967671 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 60 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425620 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 61 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179059 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 61 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082427939 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 62 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047824 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 62 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082427931 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 62 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3085179093 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 63 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047376 3082426236 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 63 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047680 3084126109 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 64 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425798 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 64 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425702 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 64 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047872 3085965540 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1007 0 0 0 65 1 0 0 25 0 1 0 10033103 7495680 522 4294967295 134512640 134538271 3216048912 3216047632 3082425719 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1012 0 0 0 65 1 0 0 25 0 1 0 10033103 7495680 527 4294967295 134512640 134538271 3216048912 3216047548 3082414552 0 0 4096 0 0 0 0 17 0 0 0 0
30801 (gecode-qwh) R 30800 27426 24421 34816 27426 4202496 1026 0 0 0 66 1 0 0 25 0 1 0 10033103 7499776 541 4294967295 134512640 134538271 3216048912 3216047912 3085992976 0 0 4096 0 0 0 0 17 0 0 0 0
