prim-9.0-public-all reflexivums top 1000 lemmas

Nr.FormCount
1sa27376500
2si6777297