31262 (gecode-qwh) R 31261 27426 24421 34816 27426 4194304 607 0 0 0 0 0 0 0 25 0 1 0 10039972 6987776 142 4294967295 134512640 134538271 3218574704 3218573376 3086683407 0 0 4096 0 0 0 0 17 1 0 0 0
31262 (gecode-qwh) R 31261 27426 24421 34816 27426 4202496 974 0 0 0 1 0 0 0 25 0 1 0 10039972 7327744 490 4294967295 134512640 134538271 3218574704 3218573776 3086532010 0 0 4096 0 0 0 0 17 1 0 0 0
31262 (gecode-qwh) R 31261 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10039972 7327744 496 4294967295 134512640 134538271 3218574704 3218573472 3085822167 0 0 4096 0 0 0 0 17 1 0 0 0
31262 (gecode-qwh) R 31261 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10039972 7327744 496 4294967295 134512640 134538271 3218574704 3218573424 3083068783 0 0 4096 0 0 0 0 17 0 0 0 0
31262 (gecode-qwh) R 31261 27426 24421 34816 27426 4202496 998 0 0 0 3 0 0 0 25 0 1 0 10039972 7491584 514 4294967295 134512640 134538271 3218574704 3218573664 3086607763 0 0 4096 0 0 0 0 17 0 0 0 0
31262 (gecode-qwh) R 31261 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10039972 7491584 514 4294967295 134512640 134538271 3218574704 3218573168 3083069842 0 0 4096 0 0 0 0 17 0 0 0 0
31262 (gecode-qwh) R 31261 27426 24421 34816 27426 4202496 998 0 0 0 5 0 0 0 25 0 1 0 10039972 7491584 514 4294967295 134512640 134538271 3218574704 3218573424 3083068817 0 0 4096 0 0 0 0 17 0 0 0 0
