31113 (sh) R 31112 27426 24421 34816 27426 4194304 435 0 0 0 0 0 0 0 20 0 1 0 10039140 3649536 324 4294967295 134512640 135191968 3214250304 3214249520 3086151768 0 0 4100 65536 0 0 0 17 1 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 977 0 0 0 1 0 0 0 20 0 1 0 10039140 7327744 494 4294967295 134512640 134538271 3213943056 3213941688 3082290899 0 0 4096 0 0 0 0 17 1 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 978 0 0 0 2 0 0 0 20 0 1 0 10039140 7327744 495 4294967295 134512640 134538271 3213943056 3213941824 3085043910 0 0 4096 0 0 0 0 17 1 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 978 0 0 0 2 0 0 0 20 0 1 0 10039140 7327744 495 4294967295 134512640 134538271 3213943056 3213941968 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 990 0 0 0 3 0 0 0 20 0 1 0 10039140 7327744 507 4294967295 134512640 134538271 3213943056 3213941776 3082290546 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 990 0 0 0 4 0 0 0 20 0 1 0 10039140 7327744 507 4294967295 134512640 134538271 3213943056 3213941776 3082290505 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 23 0 1 0 10039140 7491584 512 4294967295 134512640 134538271 3213943056 3213942016 3085829579 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 23 0 1 0 10039140 7491584 512 4294967295 134512640 134538271 3213943056 3213941696 3084003377 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 23 0 1 0 10039140 7491584 512 4294967295 134512640 134538271 3213943056 3213942096 3079690260 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 995 0 0 0 7 0 0 0 23 0 1 0 10039140 7491584 512 4294967295 134512640 134538271 3213943056 3213941824 3083990923 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10039140 7491584 512 4294967295 134512640 134538271 3213943056 3213941824 3083990790 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 995 0 0 0 9 0 0 0 23 0 1 0 10039140 7491584 512 4294967295 134512640 134538271 3213943056 3213941776 3082290534 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10039140 7491584 512 4294967295 134512640 134538271 3213943056 3213942016 3085829579 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941748 3079690970 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941812 3082290436 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941820 3082279336 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290528 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3083990856 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941696 3083999415 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290596 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3083990790 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3085043927 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941696 3084003734 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3085043927 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941520 3082292742 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941696 3083999412 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3083990943 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3083990725 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290618 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941696 3084003377 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941696 3084003420 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290596 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941968 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290540 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3085043953 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290747 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3083990995 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3085043934 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213942016 3085829599 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 31 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3083990943 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 32 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290642 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 33 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3083990923 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 34 0 0 0 23 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290485 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 34 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3085043927 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 35 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941748 3079692206 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 36 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290751 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 37 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3083990920 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 38 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290682 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 38 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941520 3082291515 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 39 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941696 3084001492 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 40 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941520 3082292752 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 41 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941512 3083962748 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 42 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213942076 3084546224 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 42 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3085043843 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 43 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213942016 3085829739 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 44 0 0 0 24 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941696 3083999620 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 45 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941520 3082292866 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 46 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941968 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 46 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941820 3082279336 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 47 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941824 3083990938 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 48 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941696 3084002492 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 49 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941968 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 50 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290711 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 50 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290618 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 51 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290642 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 52 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290705 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 53 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941876 3083991002 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 54 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941696 3084003420 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 54 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213942016 3085829579 0 0 4096 0 0 0 0 17 0 0 0 0
31113 (gecode-qwh) R 31112 27426 24421 34816 27426 4202496 996 0 0 0 55 0 0 0 25 0 1 0 10039140 7491584 513 4294967295 134512640 134538271 3213943056 3213941776 3082290563 0 0 4096 0 0 0 0 17 0 0 0 0
