31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4194304 614 0 0 0 0 0 0 0 19 0 1 0 10034811 6991872 148 4294967295 134512640 134538271 3217454176 3217452612 3086705877 0 0 4096 0 0 0 0 17 1 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 971 0 0 0 0 0 0 0 19 0 1 0 10034811 7331840 486 4294967295 134512640 134538271 3217454176 3217452640 3083098531 0 0 4096 0 0 0 0 17 1 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 977 0 0 0 1 0 0 0 22 0 1 0 10034811 7331840 492 4294967295 134512640 134538271 3217454176 3217452944 3084797881 0 0 4096 0 0 0 0 17 1 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 22 0 1 0 10034811 7331840 492 4294967295 134512640 134538271 3217454176 3217453136 3086636441 0 0 4096 0 0 0 0 17 1 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 983 0 0 0 2 0 0 0 22 0 1 0 10034811 7331840 498 4294967295 134512640 134538271 3217454176 3217453008 3086639543 0 0 4096 0 0 0 0 17 1 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 22 0 1 0 10034811 7331840 504 4294967295 134512640 134538271 3217454176 3217452944 3085850846 0 0 4096 0 0 0 0 17 1 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 22 0 1 0 10034811 7331840 504 4294967295 134512640 134538271 3217454176 3217452944 3084797702 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 22 0 1 0 10034811 7331840 504 4294967295 134512640 134538271 3217454176 3217452944 3085850837 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 22 0 1 0 10034811 7331840 510 4294967295 134512640 134538271 3217454176 3217452944 3085850803 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 22 0 1 0 10034811 7331840 510 4294967295 134512640 134538271 3217454176 3217452640 3083099607 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453088 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3084797791 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453120 3084806117 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3084797862 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453136 3086636660 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452896 3083097623 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3085850834 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452640 3083099451 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452640 3083099451 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453136 3086636483 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452800 3083098518 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3084797862 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452896 3083097617 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453120 3084806117 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3085850809 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452640 3083098514 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452640 3083099582 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452640 3083099426 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452632 3084769676 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452896 3083097530 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3084797855 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452896 3083097650 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3085850660 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452896 3083097519 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453088 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452816 3084808466 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452816 3084810289 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452896 3083097581 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453136 3086636483 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3085850846 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3084797788 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452816 3084806263 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452896 3083097514 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452932 3083097698 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3085850819 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453136 3086636660 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452816 3084806286 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453136 3086636657 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452640 3083097874 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 21 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453136 3086636508 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 21 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453088 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453136 3084810691 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453088 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452640 3083098427 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 23 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452816 3084808466 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 23 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452816 3084806259 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3084797801 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453136 3086636448 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453152 3085367406 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452896 3083097443 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452944 3084797853 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452896 3083097458 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452640 3083098196 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217453136 3086636640 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1001 0 0 0 27 0 0 0 22 0 1 0 10034811 7495680 516 4294967295 134512640 134538271 3217454176 3217452640 3083098754 0 0 4096 0 0 0 0 17 0 0 0 0
31047 (gecode-qwh) R 31046 27426 24421 34816 27426 4202496 1021 0 0 0 27 0 0 0 22 0 1 0 10034811 7499776 536 4294967295 134512640 134538271 3217454176 3217453176 3086664720 0 0 4096 0 0 0 0 17 0 0 0 0
