prim-8.0-public-inf reflexivums top 1000 lemmas

Nr.FormCount
1sa15205746
2si3594666