prim-8.0-public-sane reflexivums top 1000 lemmas

Nr.FormCount
1sa23374046
2si5804348