31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10034679 7327744 492 4294967295 134512640 134538271 3218939344 3218937984 3084327037 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 983 0 0 0 2 0 0 0 25 0 1 0 10034679 7327744 498 4294967295 134512640 134538271 3218939344 3218937984 3084331096 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 25 0 1 0 10034679 7327744 504 4294967295 134512640 134538271 3218939344 3218938064 3082618208 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10034679 7327744 504 4294967295 134512640 134538271 3218939344 3218937984 3084331028 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 25 0 1 0 10034679 7327744 510 4294967295 134512640 134538271 3218939344 3218938112 3085371614 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 25 0 1 0 10034679 7327744 510 4294967295 134512640 134538271 3218939344 3218938112 3085371571 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937984 3084330220 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937984 3084327369 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371639 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938064 3082618220 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937808 3082619387 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938100 3082618116 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937984 3084329202 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371607 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371577 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938272 3080015626 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371633 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938064 3082618240 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371523 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937808 3082619195 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938304 3086157203 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938304 3086157398 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938108 3082618112 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937808 3082620432 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938304 3086157414 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371633 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938064 3082618255 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938304 3086157270 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3084318621 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3084318584 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938092 3082618439 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938064 3082618238 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937808 3082619225 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938064 3082618255 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938092 3082618118 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938108 3082618468 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938064 3082618181 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938064 3082618458 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371571 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3084318623 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938064 3082618431 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937984 3084327037 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938064 3082618544 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937808 3082618615 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937984 3084327330 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938240 3082617411 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 21 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937808 3082618615 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 21 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938096 3082618117 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937968 3082618581 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937808 3082619362 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371602 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 23 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938304 3086157251 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 23 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937808 3082620432 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938416 3086081290 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371614 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218937984 3084326974 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938320 3084888246 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938304 3086158223 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371571 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371607 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3085371607 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1001 0 0 0 27 0 0 0 25 0 1 0 10034679 7491584 516 4294967295 134512640 134538271 3218939344 3218938112 3084318636 0 0 4096 0 0 0 0 17 1 0 0 0
31030 (gecode-qwh) R 31029 27426 24421 34816 27426 4202496 1006 0 0 0 27 0 0 0 25 0 1 0 10034679 7491584 521 4294967295 134512640 134538271 3218939344 3218938304 3086157254 0 0 4096 0 0 0 0 17 1 0 0 0
