SYO886_5.322

CSE---1.7.IAP-Non.f DLash---1.11.IAP-Non.f Drodi---4.1.1.IAP-Non.f EQP---0.9e.IAP-Non.f Leo-III---1.8.0.THM-Ref.s Matita---1.0.IAP-Non.f Metis---2.4.IAP-Non.f SATCoP---0.1.IAP-Non.f SPASS+T---2.2.22.IAP-Non.f Vampire---5.0.1.IAP-Non.f