prim-8.0-public-all reflexivums top 1000 lemmas

Nr.FormCount
1sa25108038
2si6233152