TPTP Problem Domain: KRS

`KRS001-1.p`	`KRS002-1.p`	`KRS003_10.p`	`KRS003-1.p`	`KRS003_1.p`	`KRS004-1.p`	`KRS005-1.p`
`KRS006-1.p`	`KRS007-1.p`	`KRS008-1.p`	`KRS009-1.p`	`KRS010-1.p`	`KRS011-1.p`	`KRS012-1.p`
`KRS013-1.p`	`KRS014-1.p`	`KRS015-1.p`	`KRS016-1.p`	`KRS017-1.p`	`KRS018+1.p`	`KRS019+1.p`
`KRS020+1.p`	`KRS021+1.p`	`KRS022+1.p`	`KRS023+1.p`	`KRS024+1.p`	`KRS025+1.p`	`KRS026+1.p`
`KRS027+1.p`	`KRS028+1.p`	`KRS029+1.p`	`KRS030+1.p`	`KRS031+1.p`	`KRS032+1.p`	`KRS033+1.p`
`KRS034+1.p`	`KRS035+1.p`	`KRS036+1.p`	`KRS037+1.p`	`KRS038+1.p`	`KRS039+1.p`	`KRS040+1.p`
`KRS041+1.p`	`KRS042+1.p`	`KRS043+1.p`	`KRS044+1.p`	`KRS045+1.p`	`KRS046+1.p`	`KRS047+1.p`
`KRS048+1.p`	`KRS049+1.p`	`KRS050+1.p`	`KRS051+1.p`	`KRS052+1.p`	`KRS053+1.p`	`KRS054+1.p`
`KRS055+1.p`	`KRS056+1.p`	`KRS057+1.p`	`KRS058+1.p`	`KRS059+1.p`	`KRS060+1.p`	`KRS061+1.p`
`KRS062+1.p`	`KRS063+1.p`	`KRS064+1.p`	`KRS065+1.p`	`KRS066+1.p`	`KRS067+1.p`	`KRS068+1.p`
`KRS069+1.p`	`KRS070+1.p`	`KRS071+1.p`	`KRS072+1.p`	`KRS073+1.p`	`KRS074+1.p`	`KRS075+1.p`
`KRS076+1.p`	`KRS077+1.p`	`KRS078+1.p`	`KRS079+1.p`	`KRS080+1.p`	`KRS081+1.p`	`KRS082+1.p`
`KRS083+1.p`	`KRS084+1.p`	`KRS085+1.p`	`KRS086+1.p`	`KRS087+1.p`	`KRS088+1.p`	`KRS089+1.p`
`KRS090+1.p`	`KRS091+1.p`	`KRS092+1.p`	`KRS093+1.p`	`KRS094+1.p`	`KRS095+1.p`	`KRS096+1.p`
`KRS097+1.p`	`KRS098+1.p`	`KRS099+1.p`	`KRS100+1.p`	`KRS101+1.p`	`KRS102+1.p`	`KRS103+1.p`
`KRS104+1.p`	`KRS105+1.p`	`KRS106+1.p`	`KRS107+1.p`	`KRS108+1.p`	`KRS109+1.p`	`KRS110+1.p`
`KRS111+1.p`	`KRS112+1.p`	`KRS113+1.p`	`KRS114+1.p`	`KRS115+1.p`	`KRS116+1.p`	`KRS117+1.p`
`KRS118+1.p`	`KRS119+1.p`	`KRS120+1.p`	`KRS121+1.p`	`KRS122+1.p`	`KRS123+1.p`	`KRS124+1.p`
`KRS125+1.p`	`KRS126+1.p`	`KRS127+1.p`	`KRS128+1.p`	`KRS129+1.p`	`KRS130+1.p`	`KRS131+1.p`
`KRS132+1.p`	`KRS133+1.p`	`KRS134+1.p`	`KRS135+1.p`	`KRS136+1.p`	`KRS137+1.p`	`KRS138+1.p`
`KRS139+1.p`	`KRS140+1.p`	`KRS141+1.p`	`KRS142+1.p`	`KRS143+1.p`	`KRS144+1.p`	`KRS145+1.p`
`KRS146+1.p`	`KRS147+1.p`	`KRS148+1.p`	`KRS149+1.p`	`KRS150+1.p`	`KRS151+1.p`	`KRS152+1.p`
`KRS153+1.p`	`KRS154+1.p`	`KRS155+1.p`	`KRS156+1.p`	`KRS157+1.p`	`KRS158+1.p`	`KRS159+1.p`
`KRS160+1.p`	`KRS161+1.p`	`KRS162+1.p`	`KRS163+1.p`	`KRS164+1.p`	`KRS165+1.p`	`KRS166+1.p`
`KRS167+1.p`	`KRS168+1.p`	`KRS169+1.p`	`KRS170+1.p`	`KRS171+1.p`	`KRS172+1.p`	`KRS173+1.p`
`KRS174+1.p`	`KRS175+1.p`	`KRS176+1.p`	`KRS177+1.p`	`KRS178+1.p`	`KRS179+1.p`	`KRS180+1.p`
`KRS181+1.p`	`KRS182+1.p`	`KRS183+1.p`	`KRS184+1.p`	`KRS185+1.p`	`KRS186+1.p`	`KRS187+1.p`
`KRS188+1.p`	`KRS189+1.p`	`KRS190+1.p`	`KRS191+1.p`	`KRS192+1.p`	`KRS193+1.p`	`KRS194+1.p`
`KRS195+1.p`	`KRS196+1.p`	`KRS197+1.p`	`KRS198+1.p`	`KRS199+1.p`	`KRS200+1.p`	`KRS201+1.p`
`KRS202+1.p`	`KRS203+1.p`	`KRS204+1.p`	`KRS205+1.p`	`KRS206+1.p`	`KRS207+1.p`	`KRS208+1.p`
`KRS209+1.p`	`KRS210+1.p`	`KRS211+1.p`	`KRS212+1.p`	`KRS213+1.p`	`KRS214+1.p`	`KRS215+1.p`
`KRS216+1.p`	`KRS217+1.p`	`KRS218+1.p`	`KRS219+1.p`	`KRS220+1.p`	`KRS221+1.p`	`KRS222+1.p`
`KRS223+1.p`	`KRS224+1.p`	`KRS225+1.p`	`KRS226+1.p`	`KRS227+1.p`	`KRS228+1.p`	`KRS229+1.p`
`KRS230+1.p`	`KRS231+1.p`	`KRS232+1.p`	`KRS233+1.p`	`KRS234+1.p`	`KRS235+1.p`	`KRS236+1.p`
`KRS237+1.p`	`KRS238+1.p`	`KRS239+1.p`	`KRS240+1.p`	`KRS241+1.p`	`KRS242+1.p`	`KRS243+1.p`
`KRS244+1.p`	`KRS245+1.p`	`KRS246+1.p`	`KRS247+1.p`	`KRS248+1.p`	`KRS249+1.p`	`KRS250+1.p`
`KRS251+1.p`	`KRS252+1.p`	`KRS253+1.p`	`KRS254+1.p`	`KRS255+1.p`	`KRS256+1.p`	`KRS257+1.p`
`KRS258+1.p`	`KRS259+1.p`	`KRS260+1.p`	`KRS261+1.p`	`KRS262+1.p`	`KRS263+1.p`	`KRS264+1.p`
`KRS265+1.p`	`KRS266+1.p`	`KRS267+1.p`	`KRS268+1.p`	`KRS269+1.p`	`KRS270+1.p`	`KRS271+1.p`
`KRS272^7.p`	`KRS273^7.p`	`KRS274^7.p`	`KRS275^7.p`	`KRS276^7.p`	`KRS277^7.p`	`KRS278+1.p`
`KRS278-1.p`	`KRS279+1.p`	`KRS279-1.p`	`KRS280+1.p`	`KRS280-1.p`	`KRS281+1.p`	`KRS281-1.p`
`KRS282+1.p`	`KRS282-1.p`	`KRS283+1.p`	`KRS284+1.p`	`KRS284-1.p`	`KRS285+1.p`	`KRS285-1.p`
`KRS286+1.p`	`KRS286-1.p`	`KRS287+1.p`	`KRS287-1.p`	`KRS288+1.p`	`KRS288-1.p`	`KRS289+1.p`
`KRS289-1.p`	`KRS290+1.p`	`KRS290-1.p`	`KRS291+1.p`	`KRS291-1.p`