Nah, man, we're good. I honestly lost track with what you're trying to explain. The Bram dude posted a proof of all the RIPEMD-160 hashes (that start with 48 bits of 0) that he claims they guarantee that he scanned and hashed 57% of all keys. It's your problem how you interpret this claim. However, if I would be in a position to dispute his claim, my best strategy (after checking his dataset) would be to find another RIPEME-160 hash (that starts with 48 bits of 0) and is part of the 57% scanned range. If I can't do that, I would first shut up.