31022 (sh) R 31021 27426 24421 34816 27426 4194304 437 0 0 0 0 0 0 0 25 0 1 0 10034610 3653632 326 4294967295 134512640 135191968 3216679840 3216678884 3085082951 0 0 4100 65536 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 971 0 0 0 1 0 0 0 25 0 1 0 10034610 7331840 486 4294967295 134512640 134538271 3216485248 3216483968 3082311177 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10034610 7331840 492 4294967295 134512640 134538271 3216485248 3216483888 3084019895 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10034610 7331840 492 4294967295 134512640 134538271 3216485248 3216483968 3082310924 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 25 0 1 0 10034610 7331840 504 4294967295 134512640 134538271 3216485248 3216484208 3085850016 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10034610 7331840 504 4294967295 134512640 134538271 3216485248 3216484016 3084011423 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 25 0 1 0 10034610 7331840 510 4294967295 134512640 134538271 3216485248 3216484016 3085064405 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483888 3084022998 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484016 3084011246 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484016 3084011246 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484240 3084566882 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484016 3085064407 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483968 3082311185 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483888 3084019854 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484016 3085064371 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484128 3082310073 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483712 3082313723 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483968 3082311014 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483888 3084019955 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484016 3084011412 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483712 3082311418 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483712 3082312141 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484016 3085064407 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484144 3082310323 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484224 3084581081 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483888 3084024127 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 21 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483888 3084019906 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484012 3082310912 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483968 3082311236 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 23 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483888 3084024214 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483968 3082310947 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216483968 3082310962 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484016 3084011365 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484160 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 27 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484240 3085848464 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1001 0 0 0 28 0 0 0 25 0 1 0 10034610 7495680 516 4294967295 134512640 134538271 3216485248 3216484016 3084011359 0 0 4096 0 0 0 0 17 1 0 0 0
31022 (gecode-qwh) R 31021 27426 24421 34816 27426 4202496 1006 0 0 0 29 0 0 0 25 0 1 0 10034610 7495680 521 4294967295 134512640 134538271 3216485248 3216484240 3085848373 0 0 4096 0 0 0 0 17 1 0 0 0
