31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4194304 538 0 0 0 0 0 0 0 20 0 1 0 10039327 6864896 75 4294967295 134512640 134538271 3219836592 3219833748 3086528644 0 0 4096 0 0 0 0 17 1 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 978 0 0 0 0 0 0 0 20 0 1 0 10039327 7327744 495 4294967295 134512640 134538271 3219836592 3219835360 3084572555 0 0 4096 0 0 0 0 17 1 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 979 0 0 0 1 0 0 0 20 0 1 0 10039327 7327744 496 4294967295 134512640 134538271 3219836592 3219835552 3086411222 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 20 0 1 0 10039327 7327744 496 4294967295 134512640 134538271 3219836592 3219835312 3082872117 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 991 0 0 0 3 0 0 0 20 0 1 0 10039327 7327744 508 4294967295 134512640 134538271 3219836592 3219835504 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 991 0 0 0 4 0 0 0 20 0 1 0 10039327 7327744 508 4294967295 134512640 134538271 3219836592 3219835360 3084572582 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 23 0 1 0 10039327 7491584 513 4294967295 134512640 134538271 3219836592 3219835048 3084544402 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 23 0 1 0 10039327 7491584 513 4294967295 134512640 134538271 3219836592 3219835056 3082874153 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10039327 7491584 513 4294967295 134512640 134538271 3219836592 3219835360 3085625523 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10039327 7491584 513 4294967295 134512640 134538271 3219836592 3219835312 3082872149 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10039327 7491584 513 4294967295 134512640 134538271 3219836592 3219835360 3085625566 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10039327 7491584 513 4294967295 134512640 134538271 3219836592 3219835228 3082861016 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10039327 7491584 513 4294967295 134512640 134538271 3219836592 3219835344 3082872069 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 10 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3084572561 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 11 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872498 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 12 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835552 3086411219 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 12 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872265 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 13 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3085625563 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 14 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835284 3080272895 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 15 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872166 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 16 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835552 3086411234 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 16 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835552 3086411211 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 17 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835340 3082872070 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 18 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872133 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 19 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3084572555 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 20 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835356 3082872064 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 20 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872187 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 21 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3085625536 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 22 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835308 3082861546 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 23 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3085625557 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 24 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872370 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 24 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835232 3084583149 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 25 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835552 3086411161 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 26 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835056 3082874302 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 27 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835484 3084544368 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 28 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3085625551 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 28 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3085625488 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 29 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872271 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 30 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872329 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 31 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835552 3086411360 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 32 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872228 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 32 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872123 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 33 0 0 0 23 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872317 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 34 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872403 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 35 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872084 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 36 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835232 3084584154 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 36 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835308 3082861543 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 37 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835580 3084585376 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 38 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3084572446 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 39 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872317 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 40 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835552 3086411216 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 40 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872361 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 41 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872079 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 42 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872117 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 43 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872084 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 44 0 0 0 24 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3085625523 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 44 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3085625561 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 45 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835056 3082872582 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 46 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835056 3082873166 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 47 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872166 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 48 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3085625563 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 48 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835552 3086411211 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 49 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872157 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 50 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835216 3082873238 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 51 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835052 3082861543 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 52 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872166 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 52 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835504 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 53 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835056 3082872573 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 54 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3084572555 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 55 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3084572567 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 56 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835612 3085127947 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 56 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835360 3085625523 0 0 4096 0 0 0 0 17 0 0 0 0
31125 (gecode-qwh) R 31124 27426 24421 34816 27426 4202496 997 0 0 0 57 0 0 0 25 0 1 0 10039327 7491584 514 4294967295 134512640 134538271 3219836592 3219835312 3082872166 0 0 4096 0 0 0 0 17 0 0 0 0
