31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4194304 592 0 0 0 0 0 0 0 25 0 1 0 10039983 6991872 126 4294967295 134512640 134538271 3214336368 3214335004 3086959508 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 981 0 0 0 0 0 0 0 25 0 1 0 10039983 7331840 496 4294967295 134512640 134538271 3214336368 3214335328 3086841235 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 993 0 0 0 1 0 0 0 25 0 1 0 10039983 7331840 508 4294967295 134512640 134538271 3214336368 3214335136 3086055639 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10039983 7495680 520 4294967295 134512640 134538271 3214336368 3214335008 3085011130 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214335136 3086055634 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214334832 3083303314 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214335200 3086844223 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214335008 3085015113 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214334828 3083291626 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214335136 3086055628 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214335088 3083302249 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214335132 3083302144 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214335136 3085002655 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214335136 3086055639 0 0 4096 0 0 0 0 17 1 0 0 0
31266 (gecode-qwh) R 31265 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 25 0 1 0 10039983 7495680 521 4294967295 134512640 134538271 3214336368 3214335136 3086055639 0 0 4096 0 0 0 0 17 1 0 0 0
