LAT334+3

DT2H2X---1.9.5.IAP-Non.f Geo-III---2018C.TMO-Non.f Leo-III---1.8.0.CAX-Ref.s S-SETHEO---0.0.IAP-Non.f hopCoP---0.1.TMO-Non.f iProver-SAT---3.9.4.TMO-Non.f