31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4194304 640 0 0 0 0 0 0 0 24 0 1 0 10040140 6987776 174 4294967295 134512640 134538271 3218591104 3218589776 3086560442 0 0 4096 0 0 0 0 17 1 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 981 0 0 0 0 0 0 0 25 0 1 0 10040140 7327744 496 4294967295 134512640 134538271 3218591104 3218589824 3082946062 0 0 4096 0 0 0 0 17 1 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 994 0 0 0 1 0 0 0 25 0 1 0 10040140 7327744 509 4294967295 134512640 134538271 3218591104 3218589984 3082944531 0 0 4096 0 0 0 0 17 1 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10040140 7491584 520 4294967295 134512640 134538271 3218591104 3218589824 3082945962 0 0 4096 0 0 0 0 17 1 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218590080 3085215932 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218590064 3086485094 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218589568 3082946875 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218589744 3084658754 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218590064 3086484936 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218589824 3082945960 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218589824 3082945903 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218589744 3084658727 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218589820 3082935271 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218589872 3085699294 0 0 4096 0 0 0 0 17 0 0 0 0
31302 (gecode-qwh) R 31301 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 25 0 1 0 10040140 7491584 521 4294967295 134512640 134538271 3218591104 3218589824 3082945836 0 0 4096 0 0 0 0 17 0 0 0 0
