prim-9.0-public-inf reflexivums top 1000 lemmas

Nr.FormCount
1sa17288679
2si4065965