added checksums for formulas