31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4194304 472 0 0 0 0 0 0 0 20 0 1 0 10039202 237568 12 4294967295 134512640 134538271 3217011712 3217010668 3085884679 0 0 4096 0 0 0 0 17 1 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 978 0 0 0 1 0 0 0 20 0 1 0 10039202 7327744 494 4294967295 134512640 134538271 3217011712 3217010544 3085848916 0 0 4096 0 0 0 0 17 1 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 20 0 1 0 10039202 7327744 495 4294967295 134512640 134538271 3217011712 3217010432 3082307125 0 0 4096 0 0 0 0 17 1 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 20 0 1 0 10039202 7327744 495 4294967295 134512640 134538271 3217011712 3217010352 3084020054 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 991 0 0 0 3 0 0 0 20 0 1 0 10039202 7327744 507 4294967295 134512640 134538271 3217011712 3217010432 3082306918 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 991 0 0 0 4 0 0 0 23 0 1 0 10039202 7327744 507 4294967295 134512640 134538271 3217011712 3217010432 3082306924 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 23 0 1 0 10039202 7491584 512 4294967295 134512640 134538271 3217011712 3217010432 3082306869 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10039202 7491584 512 4294967295 134512640 134538271 3217011712 3217010352 3084019783 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10039202 7491584 512 4294967295 134512640 134538271 3217011712 3217010672 3085846118 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10039202 7491584 512 4294967295 134512640 134538271 3217011712 3217010480 3085060311 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10039202 7491584 512 4294967295 134512640 134538271 3217011712 3217010608 3082306115 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10039202 7491584 512 4294967295 134512640 134538271 3217011712 3217010624 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10039202 7491584 512 4294967295 134512640 134538271 3217011712 3217010432 3082306836 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 10 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3084007322 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 11 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010672 3085846922 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 12 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3084007125 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 13 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3084007172 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 14 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010696 3082305474 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 14 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010672 3084020179 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 15 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010352 3084018873 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 16 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3084007327 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 17 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010352 3084015802 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 18 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060275 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 18 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060324 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 19 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306980 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 20 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060311 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 21 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060332 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 22 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060311 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 22 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010176 3082309141 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 23 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010624 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 24 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060275 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 25 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306906 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 26 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010468 3082307170 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 26 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010176 3082308192 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 27 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060324 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 28 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010588 3079714279 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 29 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082307026 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 30 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010672 3085845920 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 30 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010524 3084007046 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 31 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010672 3085845955 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 32 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010352 3084015915 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 33 0 0 0 23 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010672 3085845907 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 34 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082307032 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 34 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306848 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 35 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010672 3085846686 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 36 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010476 3082306816 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 37 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010176 3082307929 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 38 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010176 3082307300 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 38 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060311 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 39 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3084007327 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 40 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306887 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 41 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306939 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 42 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010672 3085845955 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 42 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306961 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 43 0 0 0 24 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306848 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 44 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010540 3084007388 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 45 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010668 3084015584 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 46 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060303 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 46 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060311 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 47 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060309 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 48 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3084007169 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 49 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306869 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 50 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060300 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 50 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3084007288 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 51 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3084007325 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 52 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010624 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 53 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306959 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 54 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010668 134528960 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 54 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010468 3082306820 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 55 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306921 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 56 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010480 3085060275 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 57 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010340 3082307284 0 0 4096 0 0 0 0 17 0 0 0 0
31117 (gecode-qwh) R 31116 27426 24421 34816 27426 4202496 997 0 0 0 58 0 0 0 25 0 1 0 10039202 7491584 513 4294967295 134512640 134538271 3217011712 3217010432 3082306912 0 0 4096 0 0 0 0 17 0 0 0 0
