prim-6.1-public-inf reflexivums top 1000 lemmas

Nr.FormCount
1sa8174111
2si1832486