TPTP Problem Domain: COM

`COM001_10.p`	`COM001-1.p`	`COM001_1.p`	`COM002_10.p`	`COM002-1.p`	`COM002_1.p`	`COM002_20.p`
`COM002-2.p`	`COM002_2.p`	`COM003_10.p`	`COM003+1.p`	`COM003-1.p`	`COM003_1.p`	`COM003+2.p`
`COM003-2.p`	`COM003+3.p`	`COM004-1.p`	`COM005-1.p`	`COM006-1.p`	`COM007+1.p`	`COM007+2.p`
`COM008+1.p`	`COM008+2.p`	`COM009-1.p`	`COM009-2.p`	`COM010-1.p`	`COM010-2.p`	`COM011-1.p`
`COM011-2.p`	`COM012+1.p`	`COM012+3.p`	`COM013+1.p`	`COM013+4.p`	`COM014+1.p`	`COM014+4.p`
`COM015+1.p`	`COM015+4.p`	`COM016+1.p`	`COM016+4.p`	`COM017+1.p`	`COM017+4.p`	`COM018+1.p`
`COM018+4.p`	`COM019+1.p`	`COM019+4.p`	`COM020+1.p`	`COM020+4.p`	`COM021+1.p`	`COM021+4.p`
`COM022+1.p`	`COM022+4.p`	`COM023+1.p`	`COM023+4.p`	`COM024^5.p`	`COM025_5.p`	`COM026_5.p`
`COM027_5.p`	`COM028_5.p`	`COM029_5.p`	`COM030_5.p`	`COM031_5.p`	`COM032_5.p`	`COM033_5.p`
`COM034_5.p`	`COM035_5.p`	`COM036_5.p`	`COM037_5.p`	`COM038_5.p`	`COM039_5.p`	`COM040_5.p`
`COM041_5.p`	`COM042_5.p`	`COM043_5.p`	`COM044_5.p`	`COM045_5.p`	`COM046_5.p`	`COM047_5.p`
`COM048_5.p`	`COM049_5.p`	`COM050_5.p`	`COM051_5.p`	`COM052_5.p`	`COM053_5.p`	`COM054_5.p`
`COM055_5.p`	`COM056_5.p`	`COM057_5.p`	`COM058_5.p`	`COM059_5.p`	`COM060_5.p`	`COM061_5.p`
`COM062_5.p`	`COM063_5.p`	`COM064_5.p`	`COM065_5.p`	`COM066_5.p`	`COM067_5.p`	`COM068_5.p`
`COM069_5.p`	`COM070_5.p`	`COM071_5.p`	`COM072_5.p`	`COM073_5.p`	`COM074_5.p`	`COM075_5.p`
`COM076_5.p`	`COM077_5.p`	`COM078_5.p`	`COM079_5.p`	`COM080_5.p`	`COM081_5.p`	`COM082_5.p`
`COM083_5.p`	`COM084_5.p`	`COM085_5.p`	`COM086_5.p`	`COM087_5.p`	`COM088_5.p`	`COM089_5.p`
`COM090_5.p`	`COM091_5.p`	`COM092_5.p`	`COM093_5.p`	`COM094_5.p`	`COM095_5.p`	`COM096_5.p`
`COM097_5.p`	`COM098_5.p`	`COM099_5.p`	`COM100_5.p`	`COM101_5.p`	`COM102_5.p`	`COM103_5.p`
`COM104_5.p`	`COM105_5.p`	`COM106_5.p`	`COM107_5.p`	`COM108_5.p`	`COM109_5.p`	`COM110_5.p`
`COM111_5.p`	`COM112_5.p`	`COM113_5.p`	`COM114_5.p`	`COM115_5.p`	`COM116_5.p`	`COM117_5.p`
`COM118_5.p`	`COM119_5.p`	`COM120_5.p`	`COM121_5.p`	`COM122_5.p`	`COM123+1.p`	`COM124+1.p`
`COM125+1.p`	`COM126+1.p`	`COM127+1.p`	`COM128+1.p`	`COM129+1.p`	`COM130+1.p`	`COM131+1.p`
`COM132+1.p`	`COM132+2.p`	`COM133+1.p`	`COM134+1.p`	`COM135+1.p`	`COM136+1.p`	`COM137+1.p`
`COM138+1.p`	`COM139+1.p`	`COM140+1.p`	`COM141+1.p`	`COM142+1.p`	`COM143+1.p`	`COM144+1.p`
`COM145+1.p`	`COM146+1.p`	`COM147+1.p`	`COM148+1.p`	`COM149+1.p`	`COM150+1.p`	`COM151+1.rm`
`COM152^1.p`	`COM153^1.p`	`COM154^1.p`	`COM155^1.p`	`COM156^1.p`	`COM157^1.p`	`COM158^1.p`
`COM159^1.p`	`COM160^1.p`	`COM161^1.p`	`COM162^1.p`	`COM163^1.p`	`COM164^1.p`	`COM165^1.p`
`COM166^1.p`	`COM167^1.p`	`COM168^1.p`	`COM169^1.p`	`COM170^1.p`	`COM171^1.p`	`COM172^1.p`
`COM173^1.p`	`COM174^1.p`	`COM175^1.p`	`COM176^1.p`	`COM177^1.p`	`COM178^1.p`	`COM179^1.p`
`COM180^1.p`	`COM181^1.p`	`COM182^1.p`	`COM183^1.p`	`COM184^1.p`	`COM185^1.p`	`COM186^1.p`
`COM187^1.p`	`COM188^1.p`	`COM189^1.p`	`COM190^1.p`	`COM191^1.p`	`COM192^1.p`	`COM193^1.p`
`COM194^1.p`	`COM195^1.p`	`COM196^1.p`	`COM197^1.p`	`COM198^1.p`	`COM199^1.p`	`COM200^1.p`
`COM201^1.p`	`COM202^1.p`	`COM203^1.p`	`COM204^1.p`	`COM205^1.p`	`COM206^1.p`	`COM207^1.p`
`COM208^1.p`	`COM209^1.p`	`COM210^1.p`	`COM211^1.p`	`COM212_1.p`	`COM213_1.p`	`COM214_1.p`
`COM215_1.p`	`COM216_1.p`	`COM217_1.p`	`COM218_1.p`	`COM219_1.p`	`COM220_1.p`	`COM221_1.p`
`COM222_1.p`	`COM223_1.p`	`COM224_1.p`	`COM225_1.p`	`COM226_1.p`	`COM227_1.p`	`COM228_1.p`
`COM229_1.p`	`COM230_1.p`	`COM231_1.p`	`COM232_1.p`	`COM233_1.p`	`COM234_1.p`	`COM235_1.p`
`COM236_1.p`	`COM237_1.p`	`COM238_1.p`	`COM239_1.p`	`COM240_1.p`	`COM241_1.p`	`COM242_1.p`
`COM243_1.p`	`COM244_1.p`	`COM245_1.p`	`COM246_1.p`	`COM247_1.p`	`COM248_1.p`	`COM249_1.p`
`COM250_1.p`	`COM251_1.p`	`COM252_1.p`	`COM253_1.p`	`COM254_1.p`	`COM255_1.p`	`COM256_1.p`
`COM257_1.p`	`COM258_1.p`	`COM259_1.p`	`COM260_1.p`	`COM261_1.p`	`COM262_1.p`	`COM263_1.p`
`COM264_1.p`	`COM265_1.p`	`COM266_1.p`	`COM267_1.p`	`COM268_1.p`	`COM269_1.p`	`COM270_1.p`
`COM271_1.p`	`COM272_1.p`	`COM273_1.p`	`COM274_1.p`	`COM275_1.p`	`COM276_1.p`	`COM277_1.p`
`COM278_1.p`	`COM279_1.p`	`COM280_1.p`	`COM281_1.p`	`COM282_1.p`	`COM283_1.p`	`COM284_1.p`
`COM285_1.p`	`COM286_1.p`	`COM287_1.p`	`COM288_1.p`	`COM289_1.p`	`COM290_1.p`	`COM291_1.p`
`COM292_1.p`	`COM293_1.p`	`COM294_1.p`	`COM295_1.p`	`COM296_1.p`	`COM297_1.p`	`COM298_1.p`
`COM299_1.p`	`COM300_1.p`	`COM301_1.p`	`COM302_1.p`	`COM303_1.p`	`COM304_1.p`	`COM305_1.p`
`COM306_1.p`	`COM307_1.p`	`COM308_1.p`	`COM309_1.p`	`COM310_1.p`