prim-8.0-public-prf reflexivums top 1000 lemmas

Nr.FormCount
1sa1950587
2si329189