30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4194304 611 0 0 0 0 0 0 0 25 0 1 0 10034481 6991872 147 4294967295 134512640 134538271 3213017136 3213015572 3086517461 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 979 0 0 0 1 0 0 0 25 0 1 0 10034481 7331840 496 4294967295 134512640 134538271 3213017136 3213015856 3082909096 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 25 0 1 0 10034481 7331840 496 4294967295 134512640 134538271 3213017136 3213015600 3082909458 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 25 0 1 0 10034481 7331840 496 4294967295 134512640 134538271 3213017136 3213016096 3086448224 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 979 0 0 0 3 0 0 0 25 0 1 0 10034481 7331840 496 4294967295 134512640 134538271 3213017136 3213015904 3085662387 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10034481 7331840 504 4294967295 134512640 134538271 3213017136 3213015600 3082910976 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 993 0 0 0 5 0 0 0 25 0 1 0 10034481 7331840 510 4294967295 134512640 134538271 3213017136 3213015904 3085662415 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 25 0 1 0 10034481 7331840 510 4294967295 134512640 134538271 3213017136 3213016096 3086448075 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 25 0 1 0 10034481 7331840 510 4294967295 134512640 134538271 3213017136 3213015856 3082909103 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 998 0 0 0 7 0 0 0 25 0 1 0 10034481 7495680 515 4294967295 134512640 134538271 3213017136 3213016156 3085178944 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 25 0 1 0 10034481 7495680 516 4294967295 134512640 134538271 3213017136 3213015904 3085662343 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 999 0 0 0 9 0 0 0 25 0 1 0 10034481 7495680 516 4294967295 134512640 134538271 3213017136 3213015600 3082911238 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 25 0 1 0 10034481 7495680 516 4294967295 134512640 134538271 3213017136 3213016048 134529233 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 25 0 1 0 10034481 7495680 516 4294967295 134512640 134538271 3213017136 3213015856 3082909030 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 999 0 0 0 11 0 0 0 25 0 1 0 10034481 7495680 516 4294967295 134512640 134538271 3213017136 3213015776 3084617753 0 0 4096 0 0 0 0 17 1 0 0 0
30994 (gecode-qwh) R 30993 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 25 0 1 0 10034481 7495680 516 4294967295 134512640 134538271 3213017136 3213016208 3086372472 0 0 4096 0 0 0 0 17 1 0 0 0
