31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4194304 478 0 0 0 0 0 0 0 18 0 1 0 10039453 245760 18 4294967295 134512640 134538271 3219793568 3219792464 3086891150 0 0 4096 0 0 0 0 17 1 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 977 0 0 0 1 0 0 0 18 0 1 0 10039453 7327744 494 4294967295 134512640 134538271 3219793568 3219792032 3083290386 0 0 4096 0 0 0 0 17 1 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 978 0 0 0 2 0 0 0 22 0 1 0 10039453 7327744 495 4294967295 134512640 134538271 3219793568 3219792288 3083290020 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 978 0 0 0 2 0 0 0 22 0 1 0 10039453 7327744 495 4294967295 134512640 134538271 3219793568 3219792336 3084990152 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 990 0 0 0 3 0 0 0 22 0 1 0 10039453 7327744 507 4294967295 134512640 134538271 3219793568 3219792208 3084999110 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 990 0 0 0 4 0 0 0 22 0 1 0 10039453 7327744 507 4294967295 134512640 134538271 3219793568 3219792288 3083290031 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 22 0 1 0 10039453 7491584 512 4294967295 134512640 134538271 3219793568 3219792464 3083289747 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 22 0 1 0 10039453 7491584 512 4294967295 134512640 134538271 3219793568 3219792336 3086043351 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 22 0 1 0 10039453 7491584 512 4294967295 134512640 134538271 3219793568 3219792288 3083290150 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 995 0 0 0 7 0 0 0 22 0 1 0 10039453 7491584 512 4294967295 134512640 134538271 3219793568 3219792544 3085559975 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 22 0 1 0 10039453 7491584 512 4294967295 134512640 134538271 3219793568 3219792032 3083292340 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 995 0 0 0 9 0 0 0 22 0 1 0 10039453 7491584 512 4294967295 134512640 134538271 3219793568 3219792544 3085560022 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 22 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792480 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 22 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3084990369 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792032 3083290374 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086829169 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792284 3083279335 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3086043280 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3084990369 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792032 3083290492 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083290109 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086829160 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3086043315 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792320 3083289861 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792560 3086827280 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086829003 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792560 3086827348 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792524 3084998624 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792032 3083292088 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083290004 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083289897 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792480 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083289979 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792480 3080687263 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3086043343 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3086043331 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792196 3083290324 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083290090 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792480 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 31 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3084990374 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 32 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792208 3084998874 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 33 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792032 3083290340 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 34 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3084990309 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 34 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3086043340 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 35 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083289996 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 36 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792208 3085001942 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 37 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792324 3083289860 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 38 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792480 3080688007 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 38 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792608 3080689663 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 39 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086828953 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 40 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086829192 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 41 0 0 0 24 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086828960 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 42 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086828962 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 42 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792556 3086826602 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 43 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792480 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 44 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083290180 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 45 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086828995 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 46 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083289925 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 46 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792628 3086830564 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 47 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792208 3085002814 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 48 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086829152 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 49 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792208 3085002823 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 50 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792208 3084998653 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 50 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792336 3084990100 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 51 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792528 3086829160 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 52 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792640 3086753321 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 53 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083290118 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 54 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792480 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 996 0 0 0 54 0 0 0 25 0 1 0 10039453 7491584 513 4294967295 134512640 134538271 3219793568 3219792288 3083290020 0 0 4096 0 0 0 0 17 0 0 0 0
31133 (gecode-qwh) R 31132 27426 24421 34816 27426 4202496 1010 0 0 0 55 0 0 0 25 0 1 0 10039453 7495680 527 4294967295 134512640 134538271 3219793568 3219792568 3086857232 0 0 4096 0 0 0 0 17 0 0 0 0
