TSTP Solutions to: KLE174+1

`agsyHOL---1.0IAP-Non`	`Beagle---0.9.51TMO-Non`	`Bliksem---1.12TMO-Non`	`CiME---2.01IAP-Non`	`cocATP---0.2.0IAP-Non`
`ConnectPP---0.3.0SAT-Ass`	`Crossbow---0.1SAT-FMo`	`CSE---1.7TMO-Non`	`CSE_E---1.6TMO-Non`	`cvc5---1.0.5SAT-Ass`
`cvc5-SAT---1.0.5SAT-FMo`	`Darwin---1.4.5TMO-Non`	`DarwinFM---1.4.5SAT-FMo`	`Drodi---3.6.0TMO-Non`	`Duper---1.0TMO-Non`
`E---3.2.0TMO-Non`	`E-Darwin---1.5TMO-Non`	`Enigma---0.5.1TMO-Non`	`ePrincess---1.0UNK-Non`	`EQP---0.9eIAP-Non`
`Equinox---6.0.1aTMO-Non`	`E-SAT---3.2.0TMO-Non`	`ET---2.0UNK-Non`	`Etableau---0.67TMO-Non`	`Fampire---1.3TMO-Non`
`Fiesta---2IAP-Non`	`Geo-III---2018CSAT-Mod`	`GKC---0.8UNK-Non`	`Goeland---1.0.0TMO-Non`	`GrAnDe---1.1IAP-Non`
`HOLyHammer---0.21IAP-Non`	`Infinox---1.0TMO-Non`	`iProver---3.9UNK-Non`	`iProverMo---2.5-0.1UNK-Non`	`iProver-SAT---3.9SAT-Mod`
`Isabelle---2016TMO-Non`	`Isabelle-HOT---2016UNK-Non`	`KSP---0.1.6IAP-Non`	`Lash---1.13IAP-Non`	`lazyCoP---0.1UNK-Non`
`leanCoP---2.2SAT-Ass`	`LEO-II---1.7.0TMO-Non`	`Leo-III---1.7.15TMO-Non`	`Leo-III-SAT---1.7.15TMO-Non`	`Mace4---1109aSAT-FMo`
`MaedMax---1.4IAP-Non`	`Matita---1.0IAP-Non`	`Metis---2.4TMO-Non`	`MleanCoP---1.3IAP-Non`	`Moca---0.1IAP-Non`
`Muscadet---4.5TMO-Non`	`nanoCoP---2.0SAT-Ass`	`nanoCoP-M---2.0IAP-Non`	`Nitpick---2016SAT-FMo`	`Otter---3.3UNK-Non`
`Paradox---4.0SAT-FMo`	`Princess---230619TMO-Non`	`Prover9---1109aTMO-Non`	`PyRes---1.5TMO-Non`	`Refute---2015TMO-Non`
`RPx---1.0TMO-Non`	`Satallax---3.5IAP-Non`	`Satallax-MaLeS---1.3IAP-Non`	`SATCoP---0.1TMO-Non`	`SInE---0.4UNK-Non`
`SnakeForV---1.0SAT-FMo`	`SnakeForV-SAT---1.0SAT-FMo`	`SNARK---20120808r022TMO-Non`	`SOS---2.0UNK-Non`	`SPASS---3.9TMO-Non`
`SPASS+T---2.2.22IAP-Non`	`SuperZenon---0.0.1UNK-Non`	`Toma---0.4IAP-Non`	`Twee---2.5.0SAT-Mod`	`Vampire---4.9TMO-Non`
`Vampire-SAT---4.9SAT-FMo`	`Waldmeister---710IAP-Non`	`Z3---4.8.9.0SAT-Mod`	`Zenon---0.7.1UNK-Non`	`ZenonModulo---0.5.0UNK-Non`
`Zipperpin---2.1.9999TMO-Non`