31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4194304 618 0 0 0 0 0 0 0 25 0 1 0 10034537 6991872 152 4294967295 134512640 134538271 3216528256 3216526692 3086877909 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 25 0 1 0 10034537 7331840 496 4294967295 134512640 134538271 3216528256 3216527248 3086806915 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 25 0 1 0 10034537 7331840 496 4294967295 134512640 134538271 3216528256 3216527024 3084969867 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 25 0 1 0 10034537 7331840 496 4294967295 134512640 134538271 3216528256 3216526896 3084981462 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 981 0 0 0 3 0 0 0 25 0 1 0 10034537 7331840 496 4294967295 134512640 134538271 3216528256 3216526720 3083271728 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10034537 7331840 504 4294967295 134512640 134538271 3216528256 3216527024 3084969887 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 25 0 1 0 10034537 7331840 510 4294967295 134512640 134538271 3216528256 3216527024 3086022797 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 25 0 1 0 10034537 7331840 510 4294967295 134512640 134538271 3216528256 3216526720 3083272425 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 25 0 1 0 10034537 7331840 510 4294967295 134512640 134538271 3216528256 3216526976 3083269546 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10034537 7495680 515 4294967295 134512640 134538271 3216528256 3216526976 3083269808 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034537 7495680 516 4294967295 134512640 134538271 3216528256 3216527024 3086022869 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034537 7495680 516 4294967295 134512640 134538271 3216528256 3216527216 3086808482 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034537 7495680 516 4294967295 134512640 134538271 3216528256 3216526976 3083269499 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034537 7495680 516 4294967295 134512640 134538271 3216528256 3216526976 3083269429 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034537 7495680 516 4294967295 134512640 134538271 3216528256 3216526720 3083271860 0 0 4096 0 0 0 0 17 1 0 0 0
31006 (gecode-qwh) R 31005 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034537 7495680 516 4294967295 134512640 134538271 3216528256 3216526976 3083269447 0 0 4096 0 0 0 0 17 1 0 0 0
