You guys are mostly questioning monkersolver which is what we used to generate the ranges. Monker has some secret sauce in it's abstractions where it dramatically lowers the size of the game tree and still comes up with results that match pio. It is the first commercially available plo and multiway solver. There is a little more info on the monker webiste
http://www.monkerware.com/solver.html but nobody really knows exactly what is happening behind the scenes.