30705 (sh) R 30703 27426 24421 34816 27426 4194304 371 0 0 0 0 0 0 0 25 0 1 0 10032372 3637248 261 4294967295 134512640 135191968 3216333632 3216332184 3085612839 0 0 4100 0 0 0 0 17 1 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4194304 738 0 0 0 0 0 0 0 25 0 1 0 10032372 6991872 272 4294967295 134512640 134538271 3215842016 3215840688 3086227907 0 0 4096 0 0 0 0 17 1 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 25 0 1 0 10032372 7331840 499 4294967295 134512640 134538271 3215842016 3215840736 3082614112 0 0 4096 0 0 0 0 17 1 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 25 0 1 0 10032372 7331840 499 4294967295 134512640 134538271 3215842016 3215840784 3084314491 0 0 4096 0 0 0 0 17 1 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 984 0 0 0 2 0 0 0 25 0 1 0 10032372 7331840 499 4294967295 134512640 134538271 3215842016 3215840784 3085367537 0 0 4096 0 0 0 0 17 1 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 990 0 0 0 2 0 0 0 25 0 1 0 10032372 7331840 505 4294967295 134512640 134538271 3215842016 3215840656 3084325111 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 990 0 0 0 2 0 0 0 25 0 1 0 10032372 7331840 505 4294967295 134512640 134538271 3215842016 3215840736 3082614036 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 990 0 0 0 3 0 0 0 25 0 1 0 10032372 7331840 505 4294967295 134512640 134538271 3215842016 3215841040 3080012117 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 990 0 0 0 3 0 0 0 25 0 1 0 10032372 7331840 505 4294967295 134512640 134538271 3215842016 3215841056 3080013844 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840736 3082614118 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840848 3086155636 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840976 3086153352 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 5 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840988 3084822031 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 5 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840480 3082614500 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840708 3080014556 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215841080 3086154721 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840732 3082603495 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 7 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840784 3084314260 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 7 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840784 3085367543 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840976 3086153352 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840480 3082616819 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840736 3082614121 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 9 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840928 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 9 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840736 3082614266 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840976 3086153329 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840784 3085367511 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840784 3085367497 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 11 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840656 3084326961 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 11 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840976 3086153163 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840928 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840736 3082614362 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840928 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 13 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840784 3084314556 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1002 0 0 0 13 0 0 0 25 0 1 0 10032372 7495680 517 4294967295 134512640 134538271 3215842016 3215840928 134529136 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840780 3082602920 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840480 3082615099 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840952 3080014516 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840784 3084314312 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840480 3082615099 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840928 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840480 3082615099 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840736 3082614328 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840480 3082616344 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840480 3082616450 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840656 3084326073 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840656 3084326939 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840736 3082614289 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215841088 3086077263 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840736 3082614101 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840784 3084314309 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840736 3082614448 0 0 4096 0 0 0 0 17 0 0 0 0
30705 (gecode-qwh) R 30703 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032372 7495680 519 4294967295 134512640 134538271 3215842016 3215840976 3086153318 0 0 4096 0 0 0 0 17 0 0 0 0
