TPTP Problem Domain: KLE

`KLE001+1.p`	`KLE002+1.p`	`KLE003+1.p`	`KLE004+1.p`	`KLE005+1.p`	`KLE006+1.p`	`KLE007+1.p`
`KLE007+2.p`	`KLE007+3.p`	`KLE007+4.p`	`KLE008+1.p`	`KLE009+1.p`	`KLE009+2.p`	`KLE009+3.p`
`KLE009+4.p`	`KLE010+1.p`	`KLE010+2.p`	`KLE010+3.p`	`KLE010+4.p`	`KLE011+1.p`	`KLE011+2.p`
`KLE011+3.p`	`KLE011+4.p`	`KLE012+1.p`	`KLE013+1.p`	`KLE014+2.p`	`KLE014+3.p`	`KLE015+1.p`
`KLE016+2.p`	`KLE016+3.p`	`KLE017+1.p`	`KLE018+1.p`	`KLE019+1.p`	`KLE020+1.p`	`KLE020+2.p`
`KLE021+1.p`	`KLE021+2.p`	`KLE021+3.p`	`KLE021+4.p`	`KLE022+1.p`	`KLE022+2.p`	`KLE022+3.p`
`KLE022+4.p`	`KLE023+1.p`	`KLE023+2.p`	`KLE024+1.p`	`KLE024+2.p`	`KLE025+1.p`	`KLE025+2.p`
`KLE026+1.p`	`KLE026+2.p`	`KLE027+1.p`	`KLE027+2.p`	`KLE027+3.p`	`KLE027+4.p`	`KLE028+1.p`
`KLE028+2.p`	`KLE028+3.p`	`KLE028+4.p`	`KLE029+1.p`	`KLE030+1.p`	`KLE031+1.p`	`KLE032+1.p`
`KLE033+1.p`	`KLE034+1.p`	`KLE034+2.p`	`KLE035+1.p`	`KLE035+2.p`	`KLE036+1.p`	`KLE037+1.p`
`KLE038+1.p`	`KLE039+1.p`	`KLE039+2.p`	`KLE040+1.p`	`KLE040+2.p`	`KLE041+1.p`	`KLE042+1.p`
`KLE042+2.p`	`KLE043+1.p`	`KLE043+2.p`	`KLE044-10.p`	`KLE044+1.p`	`KLE044+2.p`	`KLE045+1.p`
`KLE046+1.p`	`KLE047+1.p`	`KLE048+1.p`	`KLE049+1.p`	`KLE049+2.p`	`KLE050+1.p`	`KLE050+2.p`
`KLE050+3.p`	`KLE050+4.p`	`KLE051+1.p`	`KLE052+1.p`	`KLE053+1.p`	`KLE054+1.p`	`KLE055+1.p`
`KLE056+1.p`	`KLE057+1.p`	`KLE058+1.p`	`KLE059+1.p`	`KLE060+1.p`	`KLE061+1.p`	`KLE062+1.p`
`KLE063+1.p`	`KLE064+1.p`	`KLE065+1.p`	`KLE066+1.p`	`KLE067+1.p`	`KLE068+1.p`	`KLE069+1.p`
`KLE070+1.p`	`KLE071+1.p`	`KLE072+1.p`	`KLE073+1.p`	`KLE074+1.p`	`KLE075+1.p`	`KLE076+1.p`
`KLE077+1.p`	`KLE078+1.p`	`KLE079+1.p`	`KLE080+1.p`	`KLE081+1.p`	`KLE082+1.p`	`KLE083+1.p`
`KLE084-10.p`	`KLE084+1.p`	`KLE085+1.p`	`KLE086+1.p`	`KLE087+1.p`	`KLE088+1.p`	`KLE089+1.p`
`KLE090-10.p`	`KLE090+1.p`	`KLE091+1.p`	`KLE092+1.p`	`KLE093+1.p`	`KLE094+1.p`	`KLE095+1.p`
`KLE096-10.p`	`KLE096+1.p`	`KLE097+1.p`	`KLE098+1.p`	`KLE099+1.p`	`KLE100+1.p`	`KLE101+1.p`
`KLE102+1.p`	`KLE103+1.p`	`KLE104-10.p`	`KLE104+1.p`	`KLE105+1.p`	`KLE106+1.p`	`KLE107+1.p`
`KLE108-10.p`	`KLE108+1.p`	`KLE109+1.p`	`KLE110-10.p`	`KLE110+1.p`	`KLE111+1.p`	`KLE112+1.p`
`KLE113+1.p`	`KLE114+1.p`	`KLE115+1.p`	`KLE116+1.p`	`KLE117+1.p`	`KLE118+1.p`	`KLE119+1.p`
`KLE120+1.p`	`KLE121+1.p`	`KLE122-10.p`	`KLE122+1.p`	`KLE123+1.p`	`KLE124+1.p`	`KLE125+1.p`
`KLE126+1.p`	`KLE127+1.p`	`KLE128+1.p`	`KLE129+1.p`	`KLE130+1.p`	`KLE131+1.p`	`KLE132+1.p`
`KLE133+1.p`	`KLE134+1.p`	`KLE135+1.p`	`KLE136+1.p`	`KLE137+1.p`	`KLE138+1.p`	`KLE139+1.p`
`KLE139+2.p`	`KLE140+1.p`	`KLE141+1.p`	`KLE141+2.p`	`KLE142+1.p`	`KLE142+2.p`	`KLE143+1.p`
`KLE143+2.p`	`KLE144+1.p`	`KLE144+2.p`	`KLE145-10.p`	`KLE145+1.p`	`KLE145+2.p`	`KLE146+1.p`
`KLE147-10.p`	`KLE147+1.p`	`KLE147+2.p`	`KLE148+1.p`	`KLE148+2.p`	`KLE149+1.p`	`KLE149+2.p`
`KLE150+1.p`	`KLE150+2.p`	`KLE151-10.p`	`KLE151+1.p`	`KLE152-10.p`	`KLE152+1.p`	`KLE153+1.p`
`KLE154+1.p`	`KLE154+2.p`	`KLE155+1.p`	`KLE155+2.p`	`KLE156+1.p`	`KLE156+2.p`	`KLE157-10.p`
`KLE157+1.p`	`KLE157+2.p`	`KLE158+1.p`	`KLE159+1.p`	`KLE160+1.p`	`KLE161-10.p`	`KLE161+1.p`
`KLE162+1.p`	`KLE163+1.p`	`KLE164+1.p`	`KLE165+1.p`	`KLE165+2.p`	`KLE166+1.p`	`KLE167+1.p`
`KLE168+1.p`	`KLE169-10.p`	`KLE169+1.p`	`KLE170+1.002.p`	`KLE170+1.004.p`	`KLE170+1.006.p`	`KLE171-10.p`
`KLE171+1.p`	`KLE172+1.p`	`KLE173+1.p`	`KLE174+1.p`	`KLE175+1.p`	`KLE176+1.p`	`KLE177+1.p`
`KLE178+1.p`	`KLE179+1.p`	`KLE180+1.p`	`KLE181+1.p`	`KLE182+1.p`