31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 974 0 0 0 0 0 0 0 24 0 1 0 10034518 7327744 490 4294967295 134512640 134538271 3217824960 3217823680 3083216178 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10034518 7327744 496 4294967295 134512640 134538271 3217824960 3217823600 3084929116 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10034518 7327744 496 4294967295 134512640 134538271 3217824960 3217823600 3084929116 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 980 0 0 0 3 0 0 0 25 0 1 0 10034518 7327744 496 4294967295 134512640 134538271 3217824960 3217823424 3083216658 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 988 0 0 0 4 0 0 0 25 0 1 0 10034518 7327744 504 4294967295 134512640 134538271 3217824960 3217823708 3083216134 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 988 0 0 0 4 0 0 0 25 0 1 0 10034518 7327744 504 4294967295 134512640 134538271 3217824960 3217823728 3085969623 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 25 0 1 0 10034518 7327744 510 4294967295 134512640 134538271 3217824960 3217823600 3084925070 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 25 0 1 0 10034518 7327744 510 4294967295 134512640 134538271 3217824960 3217823920 3086755283 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 25 0 1 0 10034518 7491584 515 4294967295 134512640 134538271 3217824960 3217823424 3083217315 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034518 7491584 516 4294967295 134512640 134538271 3217824960 3217823680 3083216199 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034518 7491584 516 4294967295 134512640 134538271 3217824960 3217823900 3084925403 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10034518 7491584 516 4294967295 134512640 134538271 3217824960 3217823680 3083216148 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10034518 7491584 516 4294967295 134512640 134538271 3217824960 3217823680 3083216393 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10034518 7491584 516 4294967295 134512640 134538271 3217824960 3217823792 3086758220 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034518 7491584 516 4294967295 134512640 134538271 3217824960 3217823920 3086755430 0 0 4096 0 0 0 0 17 1 0 0 0
31002 (gecode-qwh) R 31001 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034518 7491584 516 4294967295 134512640 134538271 3217824960 3217823600 3084928200 0 0 4096 0 0 0 0 17 1 0 0 0
