ITP282_1

Drodi-SAT---4.1.1.IAP-Non.f Fiesta---2.IAP-Non.f G4Plus---1.5.2.IAP-Non.f Mace4---2026-6A.IAP-Non.f Paradox---4.0.IAP-Non.f SPASS---3.9.IAP-Non.f Satallax---3.5.IAP-Non.f ePrincess---1.0.IAP-Non.f iProver-SAT---3.9.4.TMO-Non.f iProverMo---2.5-0.1.UNK-Non.f