30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4194304 605 0 0 0 0 0 0 0 18 0 1 0 10028746 6987776 141 4294967295 134512640 134538271 3220627312 3220625984 3086085391 0 0 4096 0 0 0 0 17 1 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 973 0 0 0 1 0 0 0 18 0 1 0 10028746 7327744 490 4294967295 134512640 134538271 3220627312 3220625952 3084179636 0 0 4096 0 0 0 0 17 1 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 22 0 1 0 10028746 7327744 496 4294967295 134512640 134538271 3220627312 3220626032 3082470772 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 22 0 1 0 10028746 7327744 496 4294967295 134512640 134538271 3220627312 3220625948 3082471120 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 985 0 0 0 3 0 0 0 22 0 1 0 10028746 7327744 502 4294967295 134512640 134538271 3220627312 3220626288 3084740781 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 22 0 1 0 10028746 7327744 502 4294967295 134512640 134538271 3220627312 3220626080 3084171174 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 985 0 0 0 5 0 0 0 22 0 1 0 10028746 7327744 502 4294967295 134512640 134538271 3220627312 3220626384 3085934718 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 6 0 0 0 22 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626032 3082470874 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 6 0 0 0 22 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626004 3079872416 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 7 0 0 0 22 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626272 3086010767 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 8 0 0 0 22 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626080 3085224177 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 8 0 0 0 22 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625772 3084142960 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 9 0 0 0 22 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625952 3084183579 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 10 0 0 0 22 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625952 3084179650 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 11 0 0 0 22 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625776 3082471192 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 12 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625776 3082473019 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 12 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625776 3082472731 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 13 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626272 3086009803 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 14 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626080 3085224115 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 15 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626224 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 16 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626032 3082471005 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 16 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625776 3082473459 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 17 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626032 3082470767 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 18 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626032 3082470893 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 19 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626272 3086009958 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 20 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625952 3084183623 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 20 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626272 3086009803 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 21 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625952 3084183572 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 22 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626192 3082469371 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 23 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626080 3085224183 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 24 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626064 3082470661 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 24 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626080 3085224146 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 25 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220625776 3082471826 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 26 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626272 3086009803 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 27 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626224 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 991 0 0 0 28 0 0 0 23 0 1 0 10028746 7327744 508 4294967295 134512640 134538271 3220627312 3220626272 3086009803 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1001 0 0 0 28 0 0 0 23 0 1 0 10028746 7491584 518 4294967295 134512640 134538271 3220627312 3220626384 3085933319 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1001 0 0 0 29 0 0 0 23 0 1 0 10028746 7491584 518 4294967295 134512640 134538271 3220627312 3220626224 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1001 0 0 0 30 0 0 0 23 0 1 0 10028746 7491584 518 4294967295 134512640 134538271 3220627312 3220625952 3084182742 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1001 0 0 0 31 0 0 0 23 0 1 0 10028746 7491584 518 4294967295 134512640 134538271 3220627312 3220626080 3085224172 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 24 0 1 0 10028746 7491584 519 4294967295 134512640 134538271 3220627312 3220626080 3084171012 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 24 0 1 0 10028746 7491584 519 4294967295 134512640 134538271 3220627312 3220626224 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 24 0 1 0 10028746 7491584 519 4294967295 134512640 134538271 3220627312 3220626032 3082470761 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 24 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626080 3085224080 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 35 0 0 0 24 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626224 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 24 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626068 3082470660 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 24 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626336 3086011435 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 37 0 0 0 24 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220625952 3084183623 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 38 0 0 0 24 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626080 3084171012 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 39 0 0 0 24 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626032 3082471088 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 24 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626032 3082470688 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 24 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626300 3084678624 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 41 0 0 0 25 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626272 3086010564 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 42 0 0 0 25 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626080 3085224151 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 43 0 0 0 25 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220625952 3084179598 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 44 0 0 0 25 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626080 3085224149 0 0 4096 0 0 0 0 17 0 0 0 0
30504 (gecode-qwh) R 30503 27426 24421 34816 27426 4202496 1003 0 0 0 44 0 0 0 25 0 1 0 10028746 7491584 520 4294967295 134512640 134538271 3220627312 3220626032 3082470779 0 0 4096 0 0 0 0 17 0 0 0 0
