30781 (sh) R 30780 27426 24421 34816 27426 4194304 115 0 0 0 0 0 0 0 25 0 1 0 10032736 933888 30 4294967295 134512640 135191968 3213254736 3213252124 3086708868 0 0 4096 0 0 0 0 17 1 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4194304 648 0 0 0 0 0 0 0 25 0 1 0 10032736 6987776 184 4294967295 134512640 134538271 3213254752 3213253424 3086667627 0 0 4096 0 0 0 0 17 1 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 972 0 0 0 0 0 0 0 25 0 1 0 10032736 7327744 489 4294967295 134512640 134538271 3213254752 3213253744 3086589827 0 0 4096 0 0 0 0 17 1 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 978 0 0 0 1 0 0 0 25 0 1 0 10032736 7327744 495 4294967295 134512640 134538271 3213254752 3213253500 3083052294 0 0 4096 0 0 0 0 17 1 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 978 0 0 0 1 0 0 0 25 0 1 0 10032736 7327744 495 4294967295 134512640 134538271 3213254752 3213253640 3084724604 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 978 0 0 0 2 0 0 0 25 0 1 0 10032736 7327744 495 4294967295 134512640 134538271 3213254752 3213253520 3084752725 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10032736 7327744 497 4294967295 134512640 134538271 3213254752 3213253520 3085805783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 2 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253520 3085805783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 3 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253216 3083054604 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 3 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253520 3084752622 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253744 3086589783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253712 3086591379 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253472 3083052585 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 5 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253216 3083052772 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 5 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253392 3084761079 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 6 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253472 3083052422 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 6 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253380 3083052756 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 6 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253520 3085805703 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 7 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253472 3083052567 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 986 0 0 0 7 0 0 0 25 0 1 0 10032736 7327744 503 4294967295 134512640 134538271 3213254752 3213253472 3083052463 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 998 0 0 0 8 0 0 0 25 0 1 0 10032736 7491584 515 4294967295 134512640 134538271 3213254752 3213253512 3083052643 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 998 0 0 0 8 0 0 0 25 0 1 0 10032736 7491584 515 4294967295 134512640 134538271 3213254752 3213253472 3083052463 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 998 0 0 0 8 0 0 0 25 0 1 0 10032736 7491584 515 4294967295 134512640 134538271 3213254752 3213253392 3084764378 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 998 0 0 0 9 0 0 0 25 0 1 0 10032736 7491584 515 4294967295 134512640 134538271 3213254752 3213253472 3083052411 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 998 0 0 0 9 0 0 0 25 0 1 0 10032736 7491584 515 4294967295 134512640 134538271 3213254752 3213253216 3083055038 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 998 0 0 0 10 0 0 0 25 0 1 0 10032736 7491584 515 4294967295 134512640 134538271 3213254752 3213253744 3086589700 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 998 0 0 0 10 0 0 0 25 0 1 0 10032736 7491584 515 4294967295 134512640 134538271 3213254752 3213253520 3085805699 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 998 0 0 0 10 0 0 0 25 0 1 0 10032736 7491584 515 4294967295 134512640 134538271 3213254752 3213253472 3083052347 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 998 0 0 0 11 0 0 0 25 0 1 0 10032736 7491584 515 4294967295 134512640 134538271 3213254752 3213253712 3086592348 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1003 0 0 0 11 0 0 0 25 0 1 0 10032736 7491584 520 4294967295 134512640 134538271 3213254752 3213253520 3084752622 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 12 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765257 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 12 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083052803 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 12 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052390 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 13 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253468 3083041767 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 13 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253212 3084724592 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765276 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052326 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805785 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052308 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253744 3086589840 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052578 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052591 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765211 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052452 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591379 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052600 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765581 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052308 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591379 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805712 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052393 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052390 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765529 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 21 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 21 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083054632 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 22 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083052846 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 22 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052416 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 22 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591624 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 23 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083053140 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 23 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 24 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805703 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 24 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761213 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 24 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052320 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 25 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052393 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 25 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 26 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752715 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 26 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052384 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 26 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752728 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 27 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591601 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 27 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 28 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765204 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 28 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 28 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253388 3083041240 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 29 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752589 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 29 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765263 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 30 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591392 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 30 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765228 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 30 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052384 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 31 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 31 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 32 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752728 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 32 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 32 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083054592 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 33 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 33 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765553 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 34 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 34 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253744 3086590116 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 34 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083052783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 35 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052558 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 35 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591440 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 36 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761268 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 36 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761249 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 36 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 37 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761263 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 37 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083053458 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 38 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805699 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 38 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591464 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 38 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052326 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 39 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083055005 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 39 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591590 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 40 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805703 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 40 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084765214 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 40 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805818 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 41 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083053458 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 41 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253388 3083053465 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 42 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052416 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 42 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052585 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 42 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 43 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752743 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 43 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083053388 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 44 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253376 3083052757 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 44 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052390 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 44 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083053382 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 45 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 45 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052390 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 46 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761268 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 46 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083052791 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 46 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529136 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 47 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752797 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 47 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052720 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 48 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253584 3086594733 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 48 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253692 3080459823 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 48 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805783 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 49 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084763389 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 49 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253584 3086594367 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 50 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 50 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052585 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 50 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591379 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 51 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052561 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 51 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253580 3085805488 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 52 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761464 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 52 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752728 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 52 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052387 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 53 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052528 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 53 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805760 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 54 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253500 3083052294 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 54 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253728 3085322460 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 54 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3084765646 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 55 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805712 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 55 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253384 3083052753 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 56 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761203 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 56 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052541 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 56 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253724 3085260298 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 57 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253712 3086591574 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 57 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083055361 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 58 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752806 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 58 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805793 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 58 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805818 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 59 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253724 3085260323 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 59 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805712 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 60 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253664 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 60 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752806 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 60 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761243 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 61 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761331 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 61 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052428 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 62 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752620 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 62 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253508 3080452688 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 62 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084761113 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 63 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253392 3084764360 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 63 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805785 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 64 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3084752732 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 64 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253216 3083053371 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 64 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253520 3085805781 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 65 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253472 3083052422 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1004 0 0 0 65 0 0 0 25 0 1 0 10032736 7491584 521 4294967295 134512640 134538271 3213254752 3213253568 3084752517 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1009 0 0 0 66 0 0 0 25 0 1 0 10032736 7491584 526 4294967295 134512640 134538271 3213254752 3213253392 3084765276 0 0 4096 0 0 0 0 17 0 0 0 0
30781 (gecode-qwh) R 30780 27426 24421 34816 27426 4202496 1009 0 0 0 66 0 0 0 25 0 1 0 10032736 7491584 526 4294967295 134512640 134538271 3213254752 3213253220 3083054681 0 0 4096 0 0 0 0 17 0 0 0 0
