30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4194304 624 0 0 0 0 0 0 0 22 0 1 0 10032586 6991872 159 4294967295 134512640 134538271 3220311840 3220310276 3086296312 0 0 4096 0 0 0 0 17 1 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 984 0 0 0 0 0 0 0 22 0 1 0 10032586 7331840 500 4294967295 134512640 134538271 3220311840 3220310608 3085441239 0 0 4096 0 0 0 0 17 1 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 22 0 1 0 10032586 7331840 500 4294967295 134512640 134538271 3220311840 3220310608 3085441239 0 0 4096 0 0 0 0 17 1 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 25 0 1 0 10032586 7331840 500 4294967295 134512640 134538271 3220311840 3220310800 3086226891 0 0 4096 0 0 0 0 17 1 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 986 0 0 0 2 0 0 0 25 0 1 0 10032586 7331840 502 4294967295 134512640 134538271 3220311840 3220310560 3082687806 0 0 4096 0 0 0 0 17 1 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 990 0 0 0 2 0 0 0 25 0 1 0 10032586 7331840 506 4294967295 134512640 134538271 3220311840 3220310608 3085441239 0 0 4096 0 0 0 0 17 1 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 990 0 0 0 2 0 0 0 25 0 1 0 10032586 7331840 506 4294967295 134512640 134538271 3220311840 3220310480 3084398810 0 0 4096 0 0 0 0 17 1 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 990 0 0 0 3 0 0 0 25 0 1 0 10032586 7331840 506 4294967295 134512640 134538271 3220311840 3220310480 3084398821 0 0 4096 0 0 0 0 17 1 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 3 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310304 3082690500 0 0 4096 0 0 0 0 17 1 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310560 3082687858 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310476 3082677223 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310800 3086227048 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 5 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310800 3084401084 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 5 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310608 3084388157 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310304 3082690500 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310608 3085441165 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310560 3082687759 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 7 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310604 3082687744 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 7 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310588 3082687750 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310460 3082688917 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310608 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310480 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 9 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310560 3082688053 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 9 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310592 3082687749 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310752 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310800 3086226819 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310800 3086226841 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 11 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310608 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 11 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310608 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310608 3084388247 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310608 3084388296 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310832 3086225168 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 13 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310300 3084360048 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1002 0 0 0 13 0 0 0 25 0 1 0 10032586 7495680 518 4294967295 134512640 134538271 3220311840 3220310800 3086226894 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310832 3086225168 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310608 3085441256 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310800 3086227046 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310556 3082677223 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310716 3080095279 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310752 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310296 3084360049 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310560 3082687843 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310304 3082690455 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310588 3082687750 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310608 3084388244 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310560 3082687849 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310480 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310608 3085441225 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310608 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310608 3084388235 0 0 4096 0 0 0 0 17 0 0 0 0
30737 (gecode-qwh) R 30736 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032586 7495680 520 4294967295 134512640 134538271 3220311840 3220310800 3086227080 0 0 4096 0 0 0 0 17 0 0 0 0
