31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4194304 518 0 0 0 0 0 0 0 18 0 1 0 10040543 5234688 56 4294967295 134512640 134538271 3214446976 3214444424 3086837511 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 993 0 0 0 0 0 0 0 18 0 1 0 10040543 7327744 508 4294967295 134512640 134538271 3214446976 3214445616 3084941467 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 1 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232780 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 1 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083233986 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 2 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084941440 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 2 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445888 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 2 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445808 3086774635 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 3 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083234946 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 3 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3084933018 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985936 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986007 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986007 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 5 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986007 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 5 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232623 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084941506 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986009 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985999 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232809 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3084932959 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232946 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445740 3083221416 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986007 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 9 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232614 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 9 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083234528 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232605 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985923 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445604 3083232980 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 11 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232710 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 11 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445740 3083232512 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445444 3083234905 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445936 3086771814 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084945733 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 13 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232682 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 13 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084945500 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 14 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986007 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 14 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445968 3086770051 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 14 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986020 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 15 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445948 3085440544 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 15 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445444 3083234919 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 16 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083234509 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 16 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232605 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 16 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084941495 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 17 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445936 3086771659 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 17 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3084932987 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 18 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445936 3086771676 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 18 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232532 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 18 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445888 134529208 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 19 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445888 134529208 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 19 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232583 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 20 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985999 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 20 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985990 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 20 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3084932939 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 21 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445872 3083231958 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 21 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084945428 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 22 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986033 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 22 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083234810 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 22 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985927 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 23 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445740 3083221416 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 23 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083233977 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 24 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445888 134529195 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 24 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083234835 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 24 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3084933067 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 25 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986007 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 25 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232818 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 26 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084941685 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 26 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445936 3086771616 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 26 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986014 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 27 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3084932959 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 27 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986007 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 28 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445888 134529233 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 28 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445888 134529149 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 28 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986039 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 29 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445728 3083232517 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 29 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083233595 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 30 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985971 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 30 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084945435 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 30 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986014 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 31 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085986007 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 31 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445936 3086771659 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 32 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232831 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 32 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232704 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 32 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232620 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 33 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083233595 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 33 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084944598 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 34 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445936 3086771808 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 34 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445732 3083232516 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 35 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3084933023 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 35 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084945500 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 36 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232605 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 36 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985968 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 36 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985999 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 37 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232687 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 37 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445936 3086771659 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 38 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445440 3083234819 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 38 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445432 3084904841 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 38 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232946 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 39 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445936 3086771682 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 39 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445888 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 40 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084941537 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 40 0 0 0 22 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214446048 3086695051 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 40 0 0 0 23 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232655 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 41 0 0 0 23 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445444 3083234911 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 41 0 0 0 23 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3084932952 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 42 0 0 0 23 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445744 3085985968 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 42 0 0 0 23 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445888 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 42 0 0 0 23 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445936 3086771616 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 43 0 0 0 23 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445888 134529152 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 43 0 0 0 23 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445696 3083232605 0 0 4096 0 0 0 0 17 1 0 0 0
31338 (gecode-qwh) R 31337 27426 24421 34816 27426 4202496 999 0 0 0 44 0 0 0 23 0 1 0 10040543 7491584 514 4294967295 134512640 134538271 3214446976 3214445616 3084944598 0 0 4096 0 0 0 0 17 1 0 0 0
