31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4194304 638 0 0 0 0 0 0 0 24 0 1 0 10040035 6987776 172 4294967295 134512640 134538271 3218152720 3218151156 3086431445 0 0 4096 0 0 0 0 17 1 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 24 0 1 0 10040035 7327744 496 4294967295 134512640 134538271 3218152720 3218151488 3084523384 0 0 4096 0 0 0 0 17 1 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 999 0 0 0 1 0 0 0 25 0 1 0 10040035 7491584 514 4294967295 134512640 134538271 3218152720 3218151184 3082823454 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151600 3082821798 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151360 3084532111 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151440 3082822981 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151440 3082823035 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151680 3086362809 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151632 3080220298 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151632 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151440 3082822953 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151488 3085576407 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151488 3084523387 0 0 4096 0 0 0 0 17 0 0 0 0
31278 (gecode-qwh) R 31277 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10040035 7491584 521 4294967295 134512640 134538271 3218152720 3218151552 3086364981 0 0 4096 0 0 0 0 17 0 0 0 0
