31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4194304 495 0 0 0 0 0 0 0 21 0 1 0 10040906 364544 35 4294967295 134512640 134538271 3213426832 3213424156 3086360708 0 0 4096 0 0 0 0 17 1 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 979 0 0 0 0 0 0 0 21 0 1 0 10040906 7331840 496 4294967295 134512640 134538271 3213426832 3213425744 134529233 0 0 4096 0 0 0 0 17 1 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 990 0 0 0 1 0 0 0 23 0 1 0 10040906 7331840 507 4294967295 134512640 134538271 3213426832 3213425296 3082706464 0 0 4096 0 0 0 0 17 1 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 991 0 0 0 1 0 0 0 23 0 1 0 10040906 7331840 508 4294967295 134512640 134538271 3213426832 3213425744 134529195 0 0 4096 0 0 0 0 17 1 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 991 0 0 0 2 0 0 0 23 0 1 0 10040906 7331840 508 4294967295 134512640 134538271 3213426832 3213425292 3084376432 0 0 4096 0 0 0 0 17 1 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 991 0 0 0 2 0 0 0 23 0 1 0 10040906 7331840 508 4294967295 134512640 134538271 3213426832 3213425600 3084404680 0 0 4096 0 0 0 0 17 1 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 991 0 0 0 2 0 0 0 23 0 1 0 10040906 7331840 508 4294967295 134512640 134538271 3213426832 3213425660 3084404352 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 23 0 1 0 10040906 7495680 513 4294967295 134512640 134538271 3213426832 3213425600 3084404575 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 23 0 1 0 10040906 7495680 513 4294967295 134512640 134538271 3213426832 3213425792 3086243219 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 997 0 0 0 4 0 0 0 23 0 1 0 10040906 7495680 514 4294967295 134512640 134538271 3213426832 3213425552 3082704254 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 997 0 0 0 4 0 0 0 23 0 1 0 10040906 7495680 514 4294967295 134512640 134538271 3213426832 3213425552 3082704224 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1009 0 0 0 4 0 0 0 23 0 1 0 10040906 7495680 526 4294967295 134512640 134538271 3213426832 3213425792 3086243275 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1014 0 0 0 5 0 0 0 23 0 1 0 10040906 7495680 531 4294967295 134512640 134538271 3213426832 3213425552 3082704443 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1014 0 0 0 5 0 0 0 23 0 1 0 10040906 7495680 531 4294967295 134512640 134538271 3213426832 3213425472 3084415239 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 6 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425296 3082706612 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 6 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704224 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 6 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704273 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 7 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704562 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 7 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425792 3086243216 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 8 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704265 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 8 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425744 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 8 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084413111 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 9 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704201 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 9 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425792 3086244034 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 10 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3084404578 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 10 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425664 3086246204 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 10 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457630 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 11 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084417116 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 11 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457621 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 12 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457625 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 12 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084417090 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 12 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704181 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 13 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457621 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 13 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084413171 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 14 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425776 3084412901 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 14 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425792 3086243424 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 14 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084415235 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 15 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084413171 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 15 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425744 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 16 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084413040 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 16 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457625 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 16 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084413070 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 17 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425792 3086243272 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 17 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704467 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 18 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425296 3082706448 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 18 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425792 3086243234 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 18 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704254 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 19 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457552 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 19 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425744 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 20 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704224 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 20 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425728 3082703419 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 20 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704467 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 21 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704181 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 21 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457630 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 22 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457584 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 22 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457623 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 22 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425792 3086244239 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 23 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425296 3082706562 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 23 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425296 3082705262 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 24 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704148 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 24 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425744 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 24 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425792 3086243441 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 25 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704160 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 25 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425592 3082704129 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 26 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425808 3084974238 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 26 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425588 3082704482 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 26 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704230 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 27 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425792 3086243424 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 27 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425744 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 28 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425296 3082706453 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 28 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425584 3082704133 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 28 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084417421 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 29 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457623 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 29 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704247 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 30 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425472 3084417063 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 30 0 0 0 23 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425600 3085457636 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 30 0 0 0 24 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425552 3082704242 0 0 4096 0 0 0 0 17 0 0 0 0
31375 (gecode-qwh) R 31374 27426 24421 34816 27426 4202496 1015 0 0 0 31 0 0 0 24 0 1 0 10040906 7495680 532 4294967295 134512640 134538271 3213426832 3213425588 3082704132 0 0 4096 0 0 0 0 17 0 0 0 0
