31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4194304 612 0 0 0 0 0 0 0 25 0 1 0 10039855 6991872 146 4294967295 134512640 134538271 3220959168 3220957604 3086664917 0 0 4096 0 0 0 0 17 1 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 977 0 0 0 0 0 0 0 25 0 1 0 10039855 7331840 492 4294967295 134512640 134538271 3220959168 3220958128 3086595475 0 0 4096 0 0 0 0 17 1 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 977 0 0 0 1 0 0 0 25 0 1 0 10039855 7331840 492 4294967295 134512640 134538271 3220959168 3220958128 3086595523 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 977 0 0 0 2 0 0 0 25 0 1 0 10039855 7331840 492 4294967295 134512640 134538271 3220959168 3220957928 3083056385 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 25 0 1 0 10039855 7331840 504 4294967295 134512640 134538271 3220959168 3220957808 3084765370 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10039855 7331840 504 4294967295 134512640 134538271 3220959168 3220957888 3083056538 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10039855 7331840 504 4294967295 134512640 134538271 3220959168 3220957792 3083056853 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 989 0 0 0 5 0 0 0 25 0 1 0 10039855 7331840 504 4294967295 134512640 134538271 3220959168 3220957936 3085809877 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 989 0 0 0 6 0 0 0 25 0 1 0 10039855 7331840 504 4294967295 134512640 134538271 3220959168 3220957888 3083056646 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 989 0 0 0 7 0 0 0 25 0 1 0 10039855 7331840 504 4294967295 134512640 134538271 3220959168 3220957888 3083056486 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 989 0 0 0 8 0 0 0 25 0 1 0 10039855 7331840 504 4294967295 134512640 134538271 3220959168 3220957888 3083056399 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 989 0 0 0 8 0 0 0 25 0 1 0 10039855 7331840 504 4294967295 134512640 134538271 3220959168 3220957936 3085809843 0 0 4096 0 0 0 0 17 0 0 0 0
31221 (gecode-qwh) R 31220 27426 24421 34816 27426 4202496 989 0 0 0 9 0 0 0 25 0 1 0 10039855 7331840 504 4294967295 134512640 134538271 3220959168 3220957888 3083056469 0 0 4096 0 0 0 0 17 0 0 0 0
