30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4194304 518 0 0 0 0 0 0 0 24 0 1 0 10034290 5234688 57 4294967295 134512640 134538271 3214784992 3214782504 3086676100 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 979 0 0 0 0 0 0 0 24 0 1 0 10034290 7327744 496 4294967295 134512640 134538271 3214784992 3214783712 3083019552 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 993 0 0 0 1 0 0 0 25 0 1 0 10034290 7327744 510 4294967295 134512640 134538271 3214784992 3214783712 3083019684 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 993 0 0 0 2 0 0 0 25 0 1 0 10034290 7327744 510 4294967295 134512640 134538271 3214784992 3214783456 3083021792 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 993 0 0 0 3 0 0 0 25 0 1 0 10034290 7327744 510 4294967295 134512640 134538271 3214784992 3214783952 3086558626 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783712 3083019589 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783952 3086558806 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 5 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783756 3083019520 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783456 3083021517 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783456 3083021231 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214784064 3086482400 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783904 134529139 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 9 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783712 3083019646 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783708 3083009002 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 11 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783632 3084728342 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783632 3084732508 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783712 3083019817 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 13 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783712 3083019744 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 14 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783952 3086558675 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 15 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783952 3086558624 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 999 0 0 0 16 0 0 0 25 0 1 0 10034290 7491584 516 4294967295 134512640 134538271 3214784992 3214783756 3083019520 0 0 4096 0 0 0 0 17 1 0 0 0
30930 (gecode-qwh) R 30929 27426 24421 34816 27426 4202496 1011 0 0 0 16 0 0 0 25 0 1 0 10034290 7491584 528 4294967295 134512640 134538271 3214784992 3214783484 3086586896 0 0 4096 0 0 0 0 17 1 0 0 0
