Added the readable form of the hash formulas