TPTP Problem Domain: SCT

`SCT001-1.p`	`SCT002-1.p`	`SCT003-1.p`	`SCT004-1.p`	`SCT005-1.p`	`SCT006-1.p`	`SCT007-1.p`
`SCT008-1.p`	`SCT009-1.p`	`SCT010-1.p`	`SCT011-1.p`	`SCT012-1.p`	`SCT013-1.p`	`SCT014-1.p`
`SCT015-1.p`	`SCT016-1.p`	`SCT017-1.p`	`SCT018-1.p`	`SCT019-1.p`	`SCT020-1.p`	`SCT021-1.p`
`SCT022-1.p`	`SCT023-1.p`	`SCT024-1.p`	`SCT025-1.p`	`SCT026-1.p`	`SCT027-1.p`	`SCT028-1.p`
`SCT029-1.p`	`SCT030-1.p`	`SCT031-1.p`	`SCT032-1.p`	`SCT033-1.p`	`SCT034-1.p`	`SCT035-1.p`
`SCT036-1.p`	`SCT037-1.p`	`SCT038-1.p`	`SCT039-1.p`	`SCT040-1.p`	`SCT041-1.p`	`SCT042-1.p`
`SCT043-1.p`	`SCT044-1.p`	`SCT045-1.p`	`SCT046-1.p`	`SCT047-1.p`	`SCT048-1.p`	`SCT049-1.p`
`SCT050-1.p`	`SCT051-1.p`	`SCT052-1.p`	`SCT053-1.p`	`SCT054-1.p`	`SCT055-1.p`	`SCT056-1.p`
`SCT057-1.p`	`SCT058-1.p`	`SCT059-1.p`	`SCT060-1.p`	`SCT061-1.p`	`SCT062-1.p`	`SCT063-1.p`
`SCT064-1.p`	`SCT065-1.p`	`SCT066-1.p`	`SCT067-1.p`	`SCT068-1.p`	`SCT069-1.p`	`SCT070-1.p`
`SCT071-1.p`	`SCT072-1.p`	`SCT073-1.p`	`SCT074-1.p`	`SCT075-1.p`	`SCT076-1.p`	`SCT077-1.p`
`SCT078-1.p`	`SCT079-1.p`	`SCT080-1.p`	`SCT081-1.p`	`SCT082-1.p`	`SCT083-1.p`	`SCT084-1.p`
`SCT085-1.p`	`SCT086-1.p`	`SCT087-1.p`	`SCT088-1.p`	`SCT089-1.p`	`SCT090-1.p`	`SCT091-1.p`
`SCT092-1.p`	`SCT093-1.p`	`SCT094-1.p`	`SCT095-1.p`	`SCT096-1.p`	`SCT097-1.p`	`SCT098-1.p`
`SCT099-1.p`	`SCT100-1.p`	`SCT101-1.p`	`SCT102+1.p`	`SCT103+1.p`	`SCT104+1.p`	`SCT105+1.p`
`SCT106+1.p`	`SCT107+1.p`	`SCT108+1.p`	`SCT109+1.p`	`SCT110+1.p`	`SCT111+1.p`	`SCT112+1.p`
`SCT113+1.p`	`SCT114+1.p`	`SCT115+1.p`	`SCT116+1.p`	`SCT117+1.p`	`SCT118+1.p`	`SCT119+1.p`
`SCT120+1.p`	`SCT121+1.p`	`SCT122+1.p`	`SCT123+1.p`	`SCT124+1.p`	`SCT125+1.p`	`SCT126+1.p`
`SCT127+1.p`	`SCT128+1.p`	`SCT129+1.p`	`SCT130+1.p`	`SCT131+1.p`	`SCT132+1.p`	`SCT133+1.p`
`SCT134+1.p`	`SCT135+1.p`	`SCT136+1.p`	`SCT137+1.p`	`SCT138+1.p`	`SCT139+1.p`	`SCT140+1.p`
`SCT141+1.p`	`SCT142+1.p`	`SCT143+1.p`	`SCT144+1.p`	`SCT145+1.p`	`SCT146+1.p`	`SCT147+1.p`
`SCT148+1.p`	`SCT149+1.p`	`SCT150+1.p`	`SCT151+1.p`	`SCT152+1.p`	`SCT153+1.p`	`SCT154+1.p`
`SCT155+1.p`	`SCT156+1.p`	`SCT157+1.p`	`SCT158+1.p`	`SCT159+1.p`	`SCT160+1.p`	`SCT161+1.p`
`SCT162+1.p`	`SCT163+1.p`	`SCT164+1.p`	`SCT165+1.p`	`SCT166+1.p`	`SCT167+1.p`	`SCT168+1.p`
`SCT169_10.p`	`SCT169+1.p`	`SCT169^1.p`	`SCT169_1.p`	`SCT169_20.p`	`SCT169+2.p`	`SCT169^2.p`
`SCT169_2.p`	`SCT169_30.p`	`SCT169+3.p`	`SCT169^3.p`	`SCT169_3.p`	`SCT169+5.p`	`SCT169_5.p`
`SCT169+6.p`	`SCT169+7.p`	`SCT170_10.p`	`SCT170+1.p`	`SCT170^1.p`	`SCT170_1.p`	`SCT170_20.p`
`SCT170+2.p`	`SCT170^2.p`	`SCT170_2.p`	`SCT170_30.p`	`SCT170+3.p`	`SCT170^3.p`	`SCT170_3.p`
`SCT170+5.p`	`SCT170_5.p`	`SCT170+6.p`	`SCT170+7.p`	`SCT171_10.p`	`SCT171+1.p`	`SCT171^1.p`
`SCT171_1.p`	`SCT171_20.p`	`SCT171+2.p`	`SCT171^2.p`	`SCT171_2.p`	`SCT171_30.p`	`SCT171+3.p`
`SCT171^3.p`	`SCT171_3.p`	`SCT171+5.p`	`SCT171+6.p`	`SCT171+7.p`	`SCT172_5.p`	`SCT173_5.p`
`SCT174_5.p`	`SCT175_5.p`	`SCT176_5.p`	`SCT177_5.p`	`SCT178_5.p`	`SCT179_5.p`	`SCT180_5.p`
`SCT181_5.p`	`SCT182_5.p`	`SCT183_5.p`	`SCT184_5.p`	`SCT185_5.p`	`SCT186_5.p`	`SCT187_5.p`
`SCT188_5.p`	`SCT189_5.p`	`SCT190_5.p`	`SCT191_5.p`	`SCT192_5.p`	`SCT193_5.p`	`SCT194_5.p`
`SCT195_5.p`	`SCT196_5.p`	`SCT197_5.p`	`SCT198_5.p`	`SCT199_5.p`	`SCT200_5.p`	`SCT201_5.p`
`SCT202_5.p`	`SCT203_5.p`	`SCT204_5.p`	`SCT205_5.p`	`SCT206_5.p`	`SCT207_5.p`	`SCT208_5.p`
`SCT209_5.p`	`SCT210_5.p`	`SCT211_5.p`	`SCT212_5.p`	`SCT213_5.p`	`SCT214_5.p`	`SCT215_5.p`
`SCT216_5.p`	`SCT217_5.p`	`SCT218_5.p`	`SCT219_5.p`	`SCT220_5.p`	`SCT221_5.p`	`SCT222_5.p`
`SCT223_5.p`	`SCT224_5.p`	`SCT225_5.p`	`SCT226_5.p`	`SCT227_5.p`	`SCT228_5.p`	`SCT229_5.p`
`SCT230_5.p`	`SCT231_5.p`	`SCT232_5.p`	`SCT233_5.p`	`SCT234_5.p`	`SCT235_5.p`	`SCT236_5.p`
`SCT237_5.p`	`SCT238_5.p`	`SCT239_5.p`	`SCT240_5.p`	`SCT241_5.p`	`SCT242_5.p`	`SCT243_5.p`
`SCT244_5.p`	`SCT245_5.p`	`SCT246_5.p`	`SCT247_5.p`	`SCT248_5.p`	`SCT249_5.p`	`SCT250_5.p`
`SCT251_5.p`	`SCT252_5.p`	`SCT253_5.p`	`SCT254_5.p`	`SCT255_5.p`	`SCT256_5.p`	`SCT257_5.p`
`SCT258_5.p`	`SCT259_5.p`	`SCT260_5.p`	`SCT261_5.p`	`SCT262_5.p`	`SCT263_5.p`	`SCT264_5.p`
`SCT265_5.p`