30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4194304 487 0 0 0 0 0 0 0 25 0 1 0 10034125 245760 26 4294967295 134512640 134538271 3217497200 3217494672 3086241806 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 980 0 0 0 0 0 0 0 25 0 1 0 10034125 7327744 496 4294967295 134512640 134538271 3217497200 3217495964 3082574248 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 994 0 0 0 1 0 0 0 25 0 1 0 10034125 7327744 510 4294967295 134512640 134538271 3217497200 3217495968 3084285784 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 25 0 1 0 10034125 7327744 510 4294967295 134512640 134538271 3217497200 3217495840 3084294327 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 994 0 0 0 3 0 0 0 25 0 1 0 10034125 7327744 510 4294967295 134512640 134538271 3217497200 3217495664 3082587069 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495968 3085338846 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495920 3082585514 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495920 3082585455 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495920 3082585397 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495916 3082574823 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495968 3085338825 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495920 3082585597 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217496112 134529195 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495840 3084294310 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495920 3082585647 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495664 3082586851 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495840 3084294327 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495664 3082587677 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495968 3084285819 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 15 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495968 3085338849 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495968 3085338839 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495920 3082585512 0 0 4096 0 0 0 0 17 1 0 0 0
30902 (gecode-qwh) R 30901 27426 24421 34816 27426 4202496 1000 0 0 0 17 0 0 0 25 0 1 0 10034125 7491584 516 4294967295 134512640 134538271 3217497200 3217495664 3082587731 0 0 4096 0 0 0 0 17 1 0 0 0
