31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4194304 510 0 0 0 0 0 0 0 20 0 1 0 10040718 4263936 48 4294967295 134512640 134538271 3216255808 3216253348 3086516484 0 0 4096 0 0 0 0 17 1 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 20 0 1 0 10040718 7331840 496 4294967295 134512640 134538271 3216255808 3216254576 3084560207 0 0 4096 0 0 0 0 17 1 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 20 0 1 0 10040718 7331840 502 4294967295 134512640 134538271 3216255808 3216254576 3085613284 0 0 4096 0 0 0 0 17 1 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 992 0 0 0 2 0 0 0 20 0 1 0 10040718 7331840 507 4294967295 134512640 134538271 3216255808 3216254448 3084572716 0 0 4096 0 0 0 0 17 1 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 993 0 0 0 2 0 0 0 20 0 1 0 10040718 7331840 508 4294967295 134512640 134538271 3216255808 3216254576 3084560313 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 993 0 0 0 3 0 0 0 20 0 1 0 10040718 7331840 508 4294967295 134512640 134538271 3216255808 3216254528 3082859910 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 993 0 0 0 3 0 0 0 20 0 1 0 10040718 7331840 508 4294967295 134512640 134538271 3216255808 3216254528 3082859924 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 20 0 1 0 10040718 7331840 508 4294967295 134512640 134538271 3216255808 3216254576 3084560267 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 20 0 1 0 10040718 7495680 513 4294967295 134512640 134538271 3216255808 3216254528 3082859869 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 23 0 1 0 10040718 7495680 514 4294967295 134512640 134538271 3216255808 3216254272 3082862478 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 999 0 0 0 5 0 0 0 23 0 1 0 10040718 7495680 514 4294967295 134512640 134538271 3216255808 3216254576 3085613278 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1005 0 0 0 5 0 0 0 23 0 1 0 10040718 7495680 520 4294967295 134512640 134538271 3216255808 3216254448 3084571848 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1016 0 0 0 6 0 0 0 23 0 1 0 10040718 7495680 531 4294967295 134512640 134538271 3216255808 3216254528 3082859878 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1016 0 0 0 6 0 0 0 23 0 1 0 10040718 7495680 531 4294967295 134512640 134538271 3216255808 3216254880 3086323089 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 6 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859916 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 7 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859899 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 7 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3084560308 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 8 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254268 3082849255 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 8 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254768 3086399089 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 8 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859913 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 9 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613197 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 9 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254448 3084569035 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 10 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613235 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 10 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859983 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 10 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254560 3082859781 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 11 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254720 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 11 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254688 3082858455 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 12 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254720 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 12 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254720 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 12 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613271 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 13 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254640 3086401835 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 13 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859902 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 14 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082862104 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 14 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3084560267 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 14 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082860889 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 15 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254620 3084560006 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 15 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613273 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 16 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613269 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 16 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082860865 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 16 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613271 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 17 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3084560287 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 17 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254704 3082859075 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 18 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082861138 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 18 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082862240 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 18 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613266 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 19 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613281 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 19 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254768 3086398867 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 20 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3084560331 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 20 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254768 3086398915 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 20 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254448 3084568759 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 21 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082860294 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 21 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254560 3082860129 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 22 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859899 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 22 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082860453 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 22 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254560 3082859781 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 23 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613297 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 23 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613232 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 24 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859878 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 24 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859919 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 24 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254636 3084560000 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 25 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859890 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 25 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254448 3084572711 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 26 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254868 3086400068 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 26 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254564 3082859780 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 26 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082862825 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 27 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254768 3086399058 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 27 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082860294 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 28 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254272 3082862237 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 28 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859951 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 28 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859847 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 29 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3084560123 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 29 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859796 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 30 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082859872 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 30 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254444 3082848728 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 30 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254828 3080257120 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 31 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254768 3086398923 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 31 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613269 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 32 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254528 3082860041 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 32 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254576 3085613260 0 0 4096 0 0 0 0 17 0 0 0 0
31354 (gecode-qwh) R 31353 27426 24421 34816 27426 4202496 1017 0 0 0 32 0 0 0 23 0 1 0 10040718 7495680 532 4294967295 134512640 134538271 3216255808 3216254448 3084572711 0 0 4096 0 0 0 0 17 0 0 0 0
