30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4194304 637 0 0 0 0 0 0 0 24 0 1 0 10034149 6987776 171 4294967295 134512640 134538271 3214387584 3214386020 3086144725 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 24 0 1 0 10034149 7327744 496 4294967295 134512640 134538271 3214387584 3214386224 3084248278 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 25 0 1 0 10034149 7327744 510 4294967295 134512640 134538271 3214387584 3214386224 3084248278 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 25 0 1 0 10034149 7327744 510 4294967295 134512640 134538271 3214387584 3214386304 3082536516 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 25 0 1 0 10034149 7327744 510 4294967295 134512640 134538271 3214387584 3214386048 3082537029 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386224 3084249154 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386464 3082534804 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386352 3084236707 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386352 3085289687 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386352 3084236667 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386352 3084236703 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386544 3086075478 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386352 3084236705 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386048 3082536848 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386208 3082536661 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386304 3082536362 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386048 3082538676 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386496 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386352 3085289694 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386224 3084245291 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386412 3084236416 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 25 0 1 0 10034149 7491584 516 4294967295 134512640 134538271 3214387584 3214386224 3084249137 0 0 4096 0 0 0 0 17 1 0 0 0
30906 (gecode-qwh) R 30905 27426 24421 34816 27426 4202496 1015 0 0 0 18 0 0 0 25 0 1 0 10034149 7495680 530 4294967295 134512640 134538271 3214387584 3214386508 3081530087 0 0 4096 0 0 0 0 17 1 0 0 0
