update the lem file for bigSmallInvariants, see 4ee6a0e

(I didn't realise I was editing a generated file.)