30926 (sh) R 30925 27426 24421 34816 27426 4194304 86 0 0 0 0 0 0 0 25 0 1 0 10034267 921600 3 4294967295 0 0 3213596932 3219713576 3086287888 0 0 4096 0 0 0 0 17 1 0 0 0
0 0 0 17 1 0 0 0

30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 975 0 0 0 0 0 0 0 25 0 1 0 10034267 7327744 490 4294967295 134512640 134538271 3213592752 3213591520 3084793759 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 989 0 0 0 1 0 0 0 25 0 1 0 10034267 7327744 504 4294967295 134512640 134538271 3213592752 3213591520 3084793759 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 25 0 1 0 10034267 7327744 510 4294967295 134512640 134538271 3213592752 3213591472 3083093344 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 25 0 1 0 10034267 7327744 510 4294967295 134512640 134538271 3213592752 3213591520 3085846707 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 25 0 1 0 10034267 7327744 510 4294967295 134512640 134538271 3213592752 3213591516 3083082152 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591516 3083093248 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591472 3083093434 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591216 3083093766 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591472 3083093587 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591520 3085846659 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591392 3084805334 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591392 3084805320 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591520 3084793745 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591520 3085846750 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591520 3085846743 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591472 3083093319 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591520 3085846707 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591520 3084793757 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591520 3085846769 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591520 3085846732 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591472 3083093350 0 0 4096 0 0 0 0 17 1 0 0 0
30926 (gecode-qwh) R 30925 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 25 0 1 0 10034267 7491584 516 4294967295 134512640 134538271 3213592752 3213591472 3083093369 0 0 4096 0 0 0 0 17 1 0 0 0
