31258 (gecode-qwh) R 31257 27426 24421 34816 27426 4194304 625 0 0 0 0 0 0 0 25 0 1 0 10039961 6987776 159 4294967295 134512640 134538271 3219496544 3219494980 3086832853 0 0 4096 0 0 0 0 17 1 0 0 0
31258 (gecode-qwh) R 31257 27426 24421 34816 27426 4202496 975 0 0 0 0 0 0 0 25 0 1 0 10039961 7327744 490 4294967295 134512640 134538271 3219496544 3219495264 3083224425 0 0 4096 0 0 0 0 17 1 0 0 0
31258 (gecode-qwh) R 31257 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 25 0 1 0 10039961 7327744 496 4294967295 134512640 134538271 3219496544 3219495184 3084935442 0 0 4096 0 0 0 0 17 1 0 0 0
31258 (gecode-qwh) R 31257 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 25 0 1 0 10039961 7327744 496 4294967295 134512640 134538271 3219496544 3219495236 3080626115 0 0 4096 0 0 0 0 17 0 0 0 0
31258 (gecode-qwh) R 31257 27426 24421 34816 27426 4202496 999 0 0 0 3 0 0 0 25 0 1 0 10039961 7491584 514 4294967295 134512640 134538271 3219496544 3219495472 3080621792 0 0 4096 0 0 0 0 17 0 0 0 0
31258 (gecode-qwh) R 31257 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 25 0 1 0 10039961 7491584 514 4294967295 134512640 134538271 3219496544 3219495312 3084924872 0 0 4096 0 0 0 0 17 0 0 0 0
31258 (gecode-qwh) R 31257 27426 24421 34816 27426 4202496 1013 0 0 0 4 0 0 0 25 0 1 0 10039961 7495680 528 4294967295 134512640 134538271 3219496544 3219495396 3082137308 0 0 4096 0 0 0 0 17 0 0 0 0
