31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4194304 618 0 0 0 0 0 0 0 24 0 1 0 10034574 6987776 152 4294967295 134512640 134538271 3215135280 3215133716 3086685432 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 24 0 1 0 10034574 7327744 495 4294967295 134512640 134538271 3215135280 3215134048 3084777339 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10034574 7327744 495 4294967295 134512640 134538271 3215135280 3215134048 3085830351 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10034574 7327744 495 4294967295 134512640 134538271 3215135280 3215133920 3084788950 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 980 0 0 0 3 0 0 0 25 0 1 0 10034574 7327744 495 4294967295 134512640 134538271 3215135280 3215133744 3083077394 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 988 0 0 0 4 0 0 0 25 0 1 0 10034574 7327744 503 4294967295 134512640 134538271 3215135280 3215134048 3084777375 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 25 0 1 0 10034574 7327744 509 4294967295 134512640 134538271 3215135280 3215134000 3083077134 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 25 0 1 0 10034574 7327744 509 4294967295 134512640 134538271 3215135280 3215134112 3086618998 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 25 0 1 0 10034574 7327744 509 4294967295 134512640 134538271 3215135280 3215134000 3083077039 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 25 0 1 0 10034574 7491584 514 4294967295 134512640 134538271 3215135280 3215134048 3085830354 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034574 7491584 515 4294967295 134512640 134538271 3215135280 3215133744 3083077382 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10034574 7491584 515 4294967295 134512640 134538271 3215135280 3215134272 3086614273 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10034574 7491584 515 4294967295 134512640 134538271 3215135280 3215134048 3085830361 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10034574 7491584 515 4294967295 134512640 134538271 3215135280 3215134048 3085830320 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10034574 7491584 515 4294967295 134512640 134538271 3215135280 3215134048 3085830359 0 0 4096 0 0 0 0 17 1 0 0 0
31014 (gecode-qwh) R 31013 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034574 7491584 515 4294967295 134512640 134538271 3215135280 3215134048 3085830359 0 0 4096 0 0 0 0 17 1 0 0 0
