31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4194304 618 0 0 0 0 0 0 0 20 0 1 0 10034877 6987776 152 4294967295 134512640 134538271 3219279392 3219277828 3086529749 0 0 4096 0 0 0 0 17 1 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 971 0 0 0 1 0 0 0 20 0 1 0 10034877 7327744 486 4294967295 134512640 134538271 3219279392 3219278160 3085674637 0 0 4096 0 0 0 0 17 1 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 977 0 0 0 1 0 0 0 20 0 1 0 10034877 7327744 492 4294967295 134512640 134538271 3219279392 3219278156 3082921216 0 0 4096 0 0 0 0 17 1 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 20 0 1 0 10034877 7327744 492 4294967295 134512640 134538271 3219279392 3219278112 3082921445 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 983 0 0 0 2 0 0 0 20 0 1 0 10034877 7327744 498 4294967295 134512640 134538271 3219279392 3219278112 3082921522 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 20 0 1 0 10034877 7327744 504 4294967295 134512640 134538271 3219279392 3219278144 3082921221 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 20 0 1 0 10034877 7327744 504 4294967295 134512640 134538271 3219279392 3219278304 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 23 0 1 0 10034877 7327744 504 4294967295 134512640 134538271 3219279392 3219278112 3082921287 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10034877 7327744 510 4294967295 134512640 134538271 3219279392 3219278464 3086384354 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10034877 7327744 510 4294967295 134512640 134538271 3219279392 3219277856 3082922313 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674711 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278464 3086384850 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278032 3084634156 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219277856 3082923927 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278272 3082919780 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278108 3082910695 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219277856 3082922929 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3084621719 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921306 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219277852 3082910698 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278208 3084621445 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278352 3086460304 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674711 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3084621734 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921519 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921318 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674631 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674711 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921478 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674675 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219277856 3082922313 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278304 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219277856 3082923520 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921402 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674740 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3084621768 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674718 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674675 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674711 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278352 3086461327 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278224 3086463397 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278032 3084633288 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278304 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278032 3084632323 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278032 3084634129 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921353 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3084621729 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921384 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278384 3086458666 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921236 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 21 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278032 3084634204 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 21 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921459 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3084621725 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278032 3084630349 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278352 3086460307 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 23 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921650 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 23 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278264 3084593556 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219277856 3082923694 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278156 3082910695 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921648 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3084621753 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278112 3082921380 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219277856 3082922760 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674681 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278032 3084634478 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1001 0 0 0 27 0 0 0 23 0 1 0 10034877 7491584 516 4294967295 134512640 134538271 3219279392 3219278160 3085674675 0 0 4096 0 0 0 0 17 0 0 0 0
31055 (gecode-qwh) R 31054 27426 24421 34816 27426 4202496 1007 0 0 0 27 0 0 0 23 0 1 0 10034877 7491584 522 4294967295 134512640 134538271 3219279392 3219278112 3082921260 0 0 4096 0 0 0 0 17 0 0 0 0
