30709 (sh) R 30708 27426 24421 34816 27426 4194304 435 0 0 0 0 0 0 0 24 0 1 0 10032398 3649536 324 4294967295 134512640 135191968 3221036992 3221035920 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 848 0 0 0 0 0 0 0 24 0 1 0 10032398 6893568 365 4294967295 134512640 134538271 3217110032 3217109456 3086111760 0 0 4096 0 0 0 0 17 1 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 981 0 0 0 0 0 0 0 24 0 1 0 10032398 7327744 498 4294967295 134512640 134538271 3217110032 3217108672 3084253326 0 0 4096 0 0 0 0 17 1 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 24 0 1 0 10032398 7327744 498 4294967295 134512640 134538271 3217110032 3217108800 3084244628 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 24 0 1 0 10032398 7327744 504 4294967295 134512640 134538271 3217110032 3217108944 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 24 0 1 0 10032398 7327744 504 4294967295 134512640 134538271 3217110032 3217108800 3085297879 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 24 0 1 0 10032398 7327744 504 4294967295 134512640 134538271 3217110032 3217108752 3082544486 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 24 0 1 0 10032398 7327744 504 4294967295 134512640 134538271 3217110032 3217108496 3082545489 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 3 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108752 3082544708 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108992 3086083531 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108672 3084257368 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108496 3082546715 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 5 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108496 3082545656 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 5 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108800 3084244791 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108752 3082544570 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217109056 3079944218 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108752 3082544554 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108944 134529136 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108752 3082544404 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108672 3084253339 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108800 3084244718 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108752 3082544404 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 9 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108752 3082544532 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 9 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108944 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108672 3084253564 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108780 3082544390 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108672 3084256478 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 11 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108752 3082544512 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 11 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108800 3085297886 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108800 3085297868 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108800 3085297877 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108796 3082544384 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 25 0 1 0 10032398 7491584 516 4294967295 134512640 134538271 3217110032 3217108800 3085297879 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108928 3082544271 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108500 3082546791 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108752 3082544422 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108784 3082544737 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108752 3082544443 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108800 3085297871 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108656 3082545558 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108800 3084244890 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108496 3082544926 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108496 3082546112 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108944 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108496 3082546670 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108796 3082544384 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108800 3085297881 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217109020 3084257696 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108800 3084244821 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108800 3084244895 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108496 3082546818 0 0 4096 0 0 0 0 17 0 0 0 0
30709 (gecode-qwh) R 30708 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 25 0 1 0 10032398 7491584 518 4294967295 134512640 134538271 3217110032 3217108672 3084257372 0 0 4096 0 0 0 0 17 0 0 0 0
