prim-8.0-public-img reflexivums top 1000 lemmas

Nr.FormCount
1sa5952191
2si1814318