TPTP Problem Domain: ALG

`ALG001-1.p`	`ALG001-2.p`	`ALG001-3.p`	`ALG001^5.p`	`ALG002-1.p`	`ALG003-1.p`	`ALG004-1.p`
`ALG005-1.p`	`ALG006-1.p`	`ALG007-1.p`	`ALG008-10.p`	`ALG008-1.p`	`ALG009-1.p`	`ALG010-1.p`
`ALG011-1.p`	`ALG012-1.p`	`ALG013-1.p`	`ALG014+1.p`	`ALG014^7.p`	`ALG015+1.p`	`ALG015^7.p`
`ALG016+1.p`	`ALG016^7.p`	`ALG017+1.p`	`ALG017^7.p`	`ALG018+1.p`	`ALG018^7.p`	`ALG019+1.p`
`ALG020+1.p`	`ALG020^7.p`	`ALG021+1.p`	`ALG021^7.p`	`ALG022+1.p`	`ALG022^7.p`	`ALG023+1.p`
`ALG023^7.p`	`ALG024+1.p`	`ALG025+1.p`	`ALG026+1.p`	`ALG027+1.p`	`ALG028+1.p`	`ALG029+1.p`
`ALG030-10.p`	`ALG030+1.p`	`ALG031+1.p`	`ALG032+1.p`	`ALG033+1.p`	`ALG034+1.p`	`ALG035+1.p`
`ALG036+1.p`	`ALG037+1.p`	`ALG038+1.p`	`ALG039+1.p`	`ALG040+1.p`	`ALG041+1.p`	`ALG042+1.p`
`ALG043+1.p`	`ALG044+1.p`	`ALG045+1.p`	`ALG046+1.p`	`ALG047+1.p`	`ALG048+1.p`	`ALG049+1.p`
`ALG050+1.p`	`ALG051+1.p`	`ALG052+1.p`	`ALG053+1.p`	`ALG054+1.p`	`ALG055+1.p`	`ALG056+1.p`
`ALG057+1.p`	`ALG058+1.p`	`ALG059+1.p`	`ALG060+1.p`	`ALG061+1.p`	`ALG062+1.p`	`ALG063+1.p`
`ALG064+1.p`	`ALG065+1.p`	`ALG066+1.p`	`ALG067+1.p`	`ALG068+1.p`	`ALG069-10.p`	`ALG069+1.p`
`ALG070+1.p`	`ALG071+1.p`	`ALG072+1.p`	`ALG073+1.p`	`ALG074+1.p`	`ALG075+1.p`	`ALG076+1.p`
`ALG077+1.p`	`ALG078+1.p`	`ALG079+1.p`	`ALG080+1.p`	`ALG081+1.p`	`ALG082+1.p`	`ALG083+1.p`
`ALG084+1.p`	`ALG085+1.p`	`ALG086+1.p`	`ALG087+1.p`	`ALG088+1.p`	`ALG089+1.p`	`ALG090+1.p`
`ALG091+1.p`	`ALG092+1.p`	`ALG093+1.p`	`ALG094+1.p`	`ALG095+1.p`	`ALG096+1.p`	`ALG097+1.p`
`ALG098+1.p`	`ALG099+1.p`	`ALG100+1.p`	`ALG101+1.p`	`ALG102+1.p`	`ALG103+1.p`	`ALG104+1.p`
`ALG105+1.p`	`ALG106+1.p`	`ALG107+1.p`	`ALG108+1.p`	`ALG109+1.p`	`ALG110+1.p`	`ALG111+1.p`
`ALG112+1.p`	`ALG113+1.p`	`ALG114+1.p`	`ALG115+1.p`	`ALG116+1.p`	`ALG117+1.p`	`ALG118+1.p`
`ALG119+1.p`	`ALG120+1.p`	`ALG121+1.p`	`ALG122+1.p`	`ALG123+1.p`	`ALG124+1.p`	`ALG125+1.p`
`ALG126+1.p`	`ALG127+1.p`	`ALG128+1.p`	`ALG129+1.p`	`ALG130+1.p`	`ALG131+1.p`	`ALG132+1.p`
`ALG133+1.p`	`ALG134+1.p`	`ALG135+1.p`	`ALG136+1.p`	`ALG137+1.p`	`ALG138+1.p`	`ALG139+1.p`
`ALG140+1.p`	`ALG141+1.p`	`ALG142+1.p`	`ALG143+1.p`	`ALG144+1.p`	`ALG145+1.p`	`ALG146+1.p`
`ALG147+1.p`	`ALG148+1.p`	`ALG149+1.p`	`ALG150+1.p`	`ALG151+1.p`	`ALG152+1.p`	`ALG153+1.p`
`ALG154+1.p`	`ALG155+1.p`	`ALG156+1.p`	`ALG157+1.p`	`ALG158+1.p`	`ALG159+1.p`	`ALG160+1.p`
`ALG161+1.p`	`ALG162+1.p`	`ALG163+1.p`	`ALG164+1.p`	`ALG165+1.p`	`ALG166+1.p`	`ALG167+1.p`
`ALG168+1.p`	`ALG169+1.p`	`ALG170+1.p`	`ALG171+1.p`	`ALG172+1.p`	`ALG173+1.p`	`ALG174+1.p`
`ALG175+1.p`	`ALG176+1.p`	`ALG177+1.p`	`ALG178+1.p`	`ALG179+1.p`	`ALG180+1.p`	`ALG181+1.p`
`ALG182+1.p`	`ALG183+1.p`	`ALG184+1.p`	`ALG185+1.p`	`ALG186+1.p`	`ALG187+1.p`	`ALG188+1.p`
`ALG189+1.p`	`ALG190+1.p`	`ALG191+1.p`	`ALG192+1.p`	`ALG193+1.p`	`ALG194+1.p`	`ALG195+1.p`
`ALG196+1.p`	`ALG197+1.p`	`ALG198+1.p`	`ALG199+1.p`	`ALG200+1.p`	`ALG201+1.p`	`ALG202+1.p`
`ALG203+1.p`	`ALG204+1.p`	`ALG205+1.p`	`ALG206+1.p`	`ALG207+1.p`	`ALG208+1.p`	`ALG209+1.p`
`ALG210+1.p`	`ALG210+2.p`	`ALG211+1.p`	`ALG212-10.p`	`ALG212+1.p`	`ALG213-10.p`	`ALG213+1.p`
`ALG214+1.p`	`ALG214+2.p`	`ALG214+3.p`	`ALG214+4.p`	`ALG215+1.p`	`ALG215+2.p`	`ALG215+3.p`
`ALG215+4.p`	`ALG216+1.p`	`ALG216+2.p`	`ALG216+3.p`	`ALG216+4.p`	`ALG217+1.p`	`ALG217+2.p`
`ALG217+3.p`	`ALG217+4.p`	`ALG218+1.p`	`ALG218+2.p`	`ALG218+3.p`	`ALG218+4.p`	`ALG219+1.p`
`ALG219+2.p`	`ALG219+3.p`	`ALG219+4.p`	`ALG220+1.p`	`ALG220+2.p`	`ALG220+3.p`	`ALG220+4.p`
`ALG221+1.p`	`ALG221+2.p`	`ALG221+3.p`	`ALG221+4.p`	`ALG222+1.p`	`ALG222+2.p`	`ALG222+3.p`
`ALG222+4.p`	`ALG223+1.p`	`ALG223+2.p`	`ALG223+3.p`	`ALG223+4.p`	`ALG224+1.p`	`ALG224+2.p`
`ALG224+3.p`	`ALG224+4.p`	`ALG225+1.p`	`ALG225+2.p`	`ALG225+3.p`	`ALG225+4.p`	`ALG226+1.p`
`ALG226+2.p`	`ALG226+3.p`	`ALG226+4.p`	`ALG227+1.p`	`ALG227+2.p`	`ALG227+3.p`	`ALG227+4.p`
`ALG228+1.p`	`ALG228+2.p`	`ALG228+3.p`	`ALG228+4.p`	`ALG229+1.p`	`ALG229+2.p`	`ALG229+3.p`
`ALG229+4.p`	`ALG230+1.p`	`ALG230+2.p`	`ALG230+3.p`	`ALG230+4.p`	`ALG231+1.p`	`ALG231+2.p`
`ALG231+3.p`	`ALG231+4.p`	`ALG232+1.p`	`ALG232+2.p`	`ALG232+3.p`	`ALG232+4.p`	`ALG233+1.p`
`ALG233+2.p`	`ALG233+3.p`	`ALG233+4.p`	`ALG234+1.p`	`ALG234+2.p`	`ALG234+3.p`	`ALG234+4.p`
`ALG235-1.p`	`ALG236-1.p`	`ALG237-1.p`	`ALG238-1.p`	`ALG239-1.p`	`ALG240-1.p`	`ALG241-1.p`
`ALG242-1.p`	`ALG243-1.p`	`ALG244-1.p`	`ALG245-1.p`	`ALG246-1.p`	`ALG247^2.p`	`ALG248^1.p`
`ALG248^2.p`	`ALG248^3.p`	`ALG249^3.p`	`ALG250^3.p`	`ALG251^1.p`	`ALG251^2.p`	`ALG251^3.p`
`ALG252^1.p`	`ALG252^2.p`	`ALG253^1.p`	`ALG253^2.p`	`ALG254^1.p`	`ALG254^2.p`	`ALG255^1.p`
`ALG256^1.p`	`ALG256^2.p`	`ALG257^1.p`	`ALG257^2.p`	`ALG258^1.p`	`ALG258^2.p`	`ALG259^1.p`
`ALG259^2.p`	`ALG260^1.p`	`ALG260^2.p`	`ALG261^1.p`	`ALG261^2.p`	`ALG262^2.p`	`ALG263^1.p`
`ALG263^2.rm`	`ALG263^3.p`	`ALG264^1.p`	`ALG264^2.rm`	`ALG264^3.p`	`ALG265^2.p`	`ALG266^1.p`
`ALG266^2.p`	`ALG267^1.p`	`ALG267^2.p`	`ALG268^1.p`	`ALG268^2.p`	`ALG268^3.p`	`ALG268^4.p`
`ALG268^5.p`	`ALG268^6.p`	`ALG269^1.p`	`ALG269^2.p`	`ALG269^3.p`	`ALG269^4.p`	`ALG270^5.p`
`ALG271^5.p`	`ALG272^5.p`	`ALG273^5.p`	`ALG274^5.p`	`ALG275^5.p`	`ALG276^5.p`	`ALG277^5.p`
`ALG278^5.p`	`ALG279^5.p`	`ALG280^5.p`	`ALG281^5.p`	`ALG282^5.p`	`ALG283^5.p`	`ALG284^5.p`
`ALG285^5.p`	`ALG286^5.p`	`ALG287^5.p`	`ALG288^5.p`	`ALG289^5.p`	`ALG290^5.p`	`ALG291^5.p`
`ALG292^5.p`	`ALG293^5.p`	`ALG294^5.p`	`ALG295^5.p`	`ALG296^5.p`	`ALG297^5.p`	`ALG298^5.p`
`ALG299-1.p`	`ALG300-1.p`	`ALG301-1.p`	`ALG302-1.p`	`ALG303-1.p`	`ALG304-1.p`	`ALG305-1.p`
`ALG306-1.p`	`ALG307-1.p`	`ALG308-1.p`	`ALG309-1.p`	`ALG310-1.p`	`ALG311-1.p`	`ALG312-1.p`
`ALG313-1.p`	`ALG314-1.p`	`ALG315-1.p`	`ALG316-1.p`	`ALG317-1.p`	`ALG318-1.p`	`ALG319-1.p`
`ALG320-1.p`	`ALG321-1.p`	`ALG322-1.p`	`ALG323-1.p`	`ALG324-1.p`	`ALG325-1.p`	`ALG326-1.p`
`ALG327-1.p`	`ALG328-1.p`	`ALG329-1.p`	`ALG330-1.p`	`ALG331-1.p`	`ALG332-1.p`	`ALG333-1.p`
`ALG334-1.p`	`ALG335-1.p`	`ALG336-1.p`	`ALG337-1.p`	`ALG338-1.p`	`ALG339-1.p`	`ALG340-1.p`
`ALG341-1.p`	`ALG342-1.p`	`ALG343-1.p`	`ALG344-1.p`	`ALG345-1.p`	`ALG346-1.p`	`ALG347-1.p`
`ALG348-1.p`	`ALG349-1.p`	`ALG350-1.p`	`ALG351-1.p`	`ALG352-1.p`	`ALG353-1.p`	`ALG354-1.p`
`ALG355-1.p`	`ALG356-1.p`	`ALG357-1.p`	`ALG358-1.p`	`ALG359-1.p`	`ALG360-1.p`	`ALG361-1.p`
`ALG362-1.p`	`ALG363-1.p`	`ALG364-1.p`	`ALG365-1.p`	`ALG366-1.p`	`ALG367-1.p`	`ALG368-1.p`
`ALG369-1.p`	`ALG370-1.p`	`ALG371-1.p`	`ALG372-1.p`	`ALG373-1.p`	`ALG374-1.p`	`ALG375-1.p`
`ALG376-1.p`	`ALG377-1.p`	`ALG378-1.p`	`ALG379-1.p`	`ALG380-1.p`	`ALG381-1.p`	`ALG382-1.p`
`ALG383-1.p`	`ALG384-1.p`	`ALG385-1.p`	`ALG386-1.p`	`ALG387-1.p`	`ALG388-1.p`	`ALG389-1.p`
`ALG390-1.p`	`ALG391-1.p`	`ALG392-1.p`	`ALG393-1.p`	`ALG394-1.p`	`ALG395-1.p`	`ALG396-1.p`
`ALG397-1.p`	`ALG398-1.p`	`ALG399-1.p`	`ALG400-1.p`	`ALG401-1.p`	`ALG402-1.p`	`ALG403-1.p`
`ALG404-1.p`	`ALG405-1.p`	`ALG406-1.p`	`ALG407-1.p`	`ALG408-1.p`	`ALG409-1.p`	`ALG410-1.p`
`ALG411-1.p`	`ALG412-1.p`	`ALG413-1.p`	`ALG414-1.p`	`ALG415-1.p`	`ALG416-1.p`	`ALG417-1.p`
`ALG418-1.p`	`ALG419-1.p`	`ALG420-1.p`	`ALG421-1.p`	`ALG422-1.p`	`ALG423-1.p`	`ALG424-1.p`
`ALG425-1.p`	`ALG426-1.p`	`ALG427-1.p`	`ALG428-1.p`	`ALG429-1.p`	`ALG430-1.p`	`ALG431-1.p`
`ALG432-1.p`	`ALG433-1.p`	`ALG434-1.p`	`ALG435-1.p`	`ALG436-1.p`	`ALG437-1.p`	`ALG438-1.p`
`ALG439-1.p`	`ALG440-1.p`	`ALG441-10.p`	`ALG441-1.p`	`ALG442-1.p`	`ALG443+1.p`	`ALG444^1.p`