TPTP Problem Domain: ARI

`ARI001_1.p`	`ARI002_1.p`	`ARI003_1.p`	`ARI004_1.p`	`ARI005_1.p`	`ARI006_1.p`	`ARI007_1.p`
`ARI008_1.p`	`ARI009_1.p`	`ARI010_1.p`	`ARI011_1.p`	`ARI012_1.p`	`ARI013_1.p`	`ARI014_1.p`
`ARI015_1.p`	`ARI016_1.p`	`ARI017_1.p`	`ARI018_1.p`	`ARI019_1.p`	`ARI020_1.p`	`ARI021_1.p`
`ARI022_1.p`	`ARI023_1.p`	`ARI024_1.p`	`ARI025_1.p`	`ARI026_1.p`	`ARI027_1.p`	`ARI028_1.p`
`ARI029_1.p`	`ARI030_1.p`	`ARI031_1.p`	`ARI032_1.p`	`ARI033_1.p`	`ARI034_1.p`	`ARI035_1.p`
`ARI036_1.p`	`ARI037_1.p`	`ARI038_1.p`	`ARI039_1.p`	`ARI040_1.p`	`ARI041_1.p`	`ARI042_1.p`
`ARI043_1.p`	`ARI044_1.p`	`ARI045_1.p`	`ARI046_1.p`	`ARI047_1.p`	`ARI048_1.p`	`ARI049_1.p`
`ARI050_1.p`	`ARI051_1.p`	`ARI052_1.p`	`ARI053_1.p`	`ARI054_1.p`	`ARI055_1.p`	`ARI056_1.p`
`ARI057_1.p`	`ARI058_1.p`	`ARI059_1.p`	`ARI060_1.p`	`ARI061_1.p`	`ARI062_1.p`	`ARI063_1.p`
`ARI064_1.p`	`ARI065_1.p`	`ARI066_1.p`	`ARI067_1.p`	`ARI068_1.p`	`ARI069_1.p`	`ARI070_1.p`
`ARI071_1.p`	`ARI072_1.p`	`ARI073_1.p`	`ARI074_1.p`	`ARI075_1.p`	`ARI076_1.p`	`ARI077_1.p`
`ARI078_1.p`	`ARI079_1.p`	`ARI080_1.p`	`ARI081_1.p`	`ARI082_1.p`	`ARI083_1.p`	`ARI084_1.p`
`ARI085_1.p`	`ARI086_1.p`	`ARI087_1.p`	`ARI088_1.p`	`ARI089_1.p`	`ARI090_1.p`	`ARI091_1.p`
`ARI092_1.p`	`ARI093_1.p`	`ARI094_1.p`	`ARI095_1.p`	`ARI096_1.p`	`ARI097_1.p`	`ARI098_1.p`
`ARI099_1.p`	`ARI100_1.p`	`ARI101_1.p`	`ARI102_1.p`	`ARI103_1.p`	`ARI104_1.p`	`ARI105_1.p`
`ARI106_1.p`	`ARI107_1.p`	`ARI108_1.p`	`ARI109_1.p`	`ARI110_1.p`	`ARI111_1.p`	`ARI112_1.p`
`ARI113_1.p`	`ARI114_1.p`	`ARI115_1.p`	`ARI116_1.p`	`ARI117_1.p`	`ARI118_1.p`	`ARI119_1.p`
`ARI120_1.p`	`ARI121_1.p`	`ARI122_1.p`	`ARI123_1.p`	`ARI124_1.p`	`ARI125_1.p`	`ARI126_1.p`
`ARI127_1.p`	`ARI128_1.p`	`ARI129_1.p`	`ARI130_1.p`	`ARI131_1.p`	`ARI132_1.p`	`ARI133_1.p`
`ARI134=1.rm`	`ARI135=1.rm`	`ARI136=1.rm`	`ARI137=1.rm`	`ARI138=1.rm`	`ARI139=1.rm`	`ARI140=1.rm`
`ARI141=1.rm`	`ARI142=1.rm`	`ARI143=1.rm`	`ARI144=1.rm`	`ARI145=1.rm`	`ARI146=1.rm`	`ARI147=1.rm`
`ARI148=1.rm`	`ARI149=1.rm`	`ARI150=1.rm`	`ARI151=1.rm`	`ARI152=1.rm`	`ARI153=1.rm`	`ARI154=1.rm`
`ARI155=1.rm`	`ARI156=1.rm`	`ARI157=1.rm`	`ARI158=1.rm`	`ARI159=1.rm`	`ARI160=1.rm`	`ARI161=1.rm`
`ARI162_1.p`	`ARI163_1.p`	`ARI164_1.p`	`ARI165_1.p`	`ARI166_1.p`	`ARI167_1.p`	`ARI168_1.p`
`ARI169_1.p`	`ARI170_1.p`	`ARI171_1.p`	`ARI172_1.p`	`ARI173_1.p`	`ARI174_1.p`	`ARI175_1.p`
`ARI176_1.p`	`ARI177_1.p`	`ARI178_1.p`	`ARI179_1.p`	`ARI180_1.p`	`ARI181_1.p`	`ARI182_1.p`
`ARI183_1.p`	`ARI184_1.p`	`ARI185_1.p`	`ARI186_1.p`	`ARI187_1.p`	`ARI188_1.p`	`ARI189_1.p`
`ARI190_1.p`	`ARI191_1.p`	`ARI192_1.p`	`ARI193_1.p`	`ARI194_1.p`	`ARI195_1.p`	`ARI196_1.p`
`ARI197_1.p`	`ARI198_1.p`	`ARI199_1.p`	`ARI200_1.p`	`ARI201_1.p`	`ARI202_1.p`	`ARI203_1.p`
`ARI204_1.p`	`ARI205_1.p`	`ARI206_1.p`	`ARI207_1.p`	`ARI208_1.p`	`ARI209_1.p`	`ARI210_1.p`
`ARI211_1.p`	`ARI212_1.p`	`ARI213_1.p`	`ARI214_1.p`	`ARI215_1.p`	`ARI216_1.p`	`ARI217_1.p`
`ARI218_1.p`	`ARI219_1.p`	`ARI220_1.p`	`ARI221_1.p`	`ARI222_1.p`	`ARI223_1.p`	`ARI224_1.p`
`ARI225_1.p`	`ARI226_1.p`	`ARI227_1.p`	`ARI228_1.p`	`ARI229_1.p`	`ARI230_1.p`	`ARI231_1.p`
`ARI232_1.p`	`ARI233_1.p`	`ARI234_1.p`	`ARI235_1.p`	`ARI236_1.p`	`ARI237_1.p`	`ARI238_1.p`
`ARI239_1.p`	`ARI240_1.p`	`ARI241_1.p`	`ARI242_1.p`	`ARI243_1.p`	`ARI244_1.p`	`ARI245_1.p`
`ARI246_1.p`	`ARI247_1.p`	`ARI248_1.p`	`ARI249_1.p`	`ARI250_1.p`	`ARI251_1.p`	`ARI252_1.p`
`ARI253_1.p`	`ARI254_1.p`	`ARI255_1.p`	`ARI256_1.p`	`ARI257_1.p`	`ARI258_1.p`	`ARI259_1.p`
`ARI260_1.p`	`ARI261_1.p`	`ARI262_1.p`	`ARI263_1.p`	`ARI264_1.p`	`ARI265_1.p`	`ARI266_1.p`
`ARI267_1.p`	`ARI268_1.p`	`ARI269_1.p`	`ARI270_1.p`	`ARI271_1.p`	`ARI272_1.p`	`ARI273_1.p`
`ARI274_1.p`	`ARI275_1.p`	`ARI276_1.p`	`ARI277_1.p`	`ARI278_1.p`	`ARI279_1.p`	`ARI280_1.p`
`ARI281_1.p`	`ARI282_1.p`	`ARI283_1.p`	`ARI284_1.p`	`ARI285_1.p`	`ARI286_1.p`	`ARI287_1.p`
`ARI288_1.p`	`ARI289_1.p`	`ARI290_1.p`	`ARI291_1.p`	`ARI292_1.p`	`ARI293_1.p`	`ARI294_1.p`
`ARI295_1.p`	`ARI296_1.p`	`ARI297_1.p`	`ARI298_1.p`	`ARI299_1.p`	`ARI300_1.p`	`ARI301_1.p`
`ARI302_1.p`	`ARI303_1.p`	`ARI304_1.p`	`ARI305_1.p`	`ARI306_1.p`	`ARI307_1.p`	`ARI308_1.p`
`ARI309_1.p`	`ARI310_1.p`	`ARI311_1.p`	`ARI312_1.p`	`ARI313_1.p`	`ARI314=1.rm`	`ARI315=1.rm`
`ARI316=1.rm`	`ARI317=1.rm`	`ARI318=1.rm`	`ARI319=1.rm`	`ARI320=1.rm`	`ARI321=1.rm`	`ARI322=1.rm`
`ARI323=1.rm`	`ARI324=1.rm`	`ARI325=1.rm`	`ARI326=1.rm`	`ARI327=1.rm`	`ARI328=1.rm`	`ARI329=1.rm`
`ARI330=1.rm`	`ARI331=1.rm`	`ARI332=1.rm`	`ARI333=1.rm`	`ARI334=1.rm`	`ARI335=1.rm`	`ARI336=1.rm`
`ARI337_1.p`	`ARI338_1.p`	`ARI339_1.p`	`ARI340_1.p`	`ARI341_1.p`	`ARI342_1.p`	`ARI343_1.p`
`ARI344_1.p`	`ARI345_1.p`	`ARI346_1.p`	`ARI347_1.p`	`ARI348_1.p`	`ARI349_1.p`	`ARI350_1.p`
`ARI351_1.p`	`ARI352_1.p`	`ARI353_1.p`	`ARI354_1.p`	`ARI355_1.p`	`ARI356_1.p`	`ARI357_1.p`
`ARI358_1.p`	`ARI359_1.p`	`ARI360_1.p`	`ARI361_1.p`	`ARI362_1.p`	`ARI363_1.p`	`ARI364_1.p`
`ARI365_1.p`	`ARI366_1.p`	`ARI367_1.p`	`ARI368_1.p`	`ARI369_1.p`	`ARI370_1.p`	`ARI371_1.p`
`ARI372_1.p`	`ARI373_1.p`	`ARI374_1.p`	`ARI375_1.p`	`ARI376_1.p`	`ARI377_1.p`	`ARI378_1.p`
`ARI379_1.p`	`ARI380_1.p`	`ARI381_1.p`	`ARI382_1.p`	`ARI383_1.p`	`ARI384_1.p`	`ARI385_1.p`
`ARI386_1.p`	`ARI387_1.p`	`ARI388_1.p`	`ARI389_1.p`	`ARI390_1.p`	`ARI391_1.p`	`ARI392_1.p`
`ARI393_1.p`	`ARI394_1.p`	`ARI395_1.p`	`ARI396_1.p`	`ARI397_1.p`	`ARI398_1.p`	`ARI399_1.p`
`ARI400_1.p`	`ARI401_1.p`	`ARI402_1.p`	`ARI403_1.p`	`ARI404_1.p`	`ARI405_1.p`	`ARI406_1.p`
`ARI407_1.p`	`ARI408_1.p`	`ARI409_1.p`	`ARI410_1.p`	`ARI411_1.p`	`ARI412_1.p`	`ARI413_1.p`
`ARI414_1.p`	`ARI415_1.p`	`ARI416_1.p`	`ARI417_1.p`	`ARI418_1.p`	`ARI419_1.p`	`ARI420_1.p`
`ARI421_1.p`	`ARI422_1.p`	`ARI423_1.p`	`ARI424_1.p`	`ARI425_1.p`	`ARI426_1.p`	`ARI427_1.p`
`ARI428_1.p`	`ARI429_1.p`	`ARI430_1.p`	`ARI431_1.p`	`ARI432_1.p`	`ARI433_1.p`	`ARI434_1.p`
`ARI435_1.p`	`ARI436_1.p`	`ARI437_1.p`	`ARI438_1.p`	`ARI439_1.p`	`ARI440_1.p`	`ARI441_1.p`
`ARI442_1.p`	`ARI443_1.p`	`ARI444_1.p`	`ARI445_1.p`	`ARI446_1.p`	`ARI447_1.p`	`ARI448_1.p`
`ARI449_1.p`	`ARI450_1.p`	`ARI451_1.p`	`ARI452_1.p`	`ARI453_1.p`	`ARI454_1.p`	`ARI455_1.p`
`ARI456_1.p`	`ARI457_1.p`	`ARI458_1.p`	`ARI459_1.p`	`ARI460_1.p`	`ARI461_1.p`	`ARI462_1.p`
`ARI463_1.p`	`ARI464_1.p`	`ARI465=1.rm`	`ARI466=1.rm`	`ARI467=1.rm`	`ARI468=1.rm`	`ARI469=1.rm`
`ARI470=1.rm`	`ARI471=1.rm`	`ARI472=1.rm`	`ARI473=1.rm`	`ARI474=1.rm`	`ARI475=1.rm`	`ARI476=1.rm`
`ARI477=1.rm`	`ARI478=1.rm`	`ARI479=1.rm`	`ARI480=1.rm`	`ARI481=1.rm`	`ARI482=1.rm`	`ARI483=1.rm`
`ARI484=1.rm`	`ARI485=1.rm`	`ARI486=1.rm`	`ARI487=1.rm`	`ARI488_1.p`	`ARI489_1.p`	`ARI490_1.p`
`ARI491_1.p`	`ARI492_1.p`	`ARI493_1.p`	`ARI494_1.p`	`ARI495_1.p`	`ARI496_1.p`	`ARI497_1.p`
`ARI498_1.p`	`ARI499_1.p`	`ARI500_1.p`	`ARI501_1.p`	`ARI502_1.p`	`ARI503_1.p`	`ARI504_1.p`
`ARI505_1.p`	`ARI506_1.p`	`ARI507_1.p`	`ARI508_1.p`	`ARI509_1.p`	`ARI510_1.p`	`ARI511_1.p`
`ARI512_1.p`	`ARI513_1.p`	`ARI514_1.p`	`ARI515_1.p`	`ARI516_1.p`	`ARI517_1.p`	`ARI518_1.p`
`ARI519_1.p`	`ARI520_1.p`	`ARI521=1.rm`	`ARI522_1.p`	`ARI523_1.p`	`ARI524_1.p`	`ARI525_1.p`
`ARI526_1.p`	`ARI527=1.rm`	`ARI528_1.p`	`ARI529_1.p`	`ARI530=1.rm`	`ARI531=1.rm`	`ARI532=1.rm`
`ARI533_1.p`	`ARI534_1.p`	`ARI535_1.p`	`ARI536_1.p`	`ARI536_2.p`	`ARI536_3.p`	`ARI536_4.p`
`ARI537_1.p`	`ARI538_1.p`	`ARI539_1.p`	`ARI540_1.p`	`ARI541_1.p`	`ARI542_1.p`	`ARI543_1.p`
`ARI544_1.p`	`ARI545_1.p`	`ARI546_1.p`	`ARI547_1.p`	`ARI548_1.p`	`ARI549_1.p`	`ARI550_1.p`
`ARI551_1.p`	`ARI552_1.p`	`ARI553_1.p`	`ARI554_1.p`	`ARI555_1.p`	`ARI556_1.p`	`ARI557_1.p`
`ARI558_1.p`	`ARI559_1.p`	`ARI560_1.p`	`ARI561_1.p`	`ARI562_1.p`	`ARI563_1.p`	`ARI564_1.p`
`ARI565_1.p`	`ARI566_1.p`	`ARI567_1.p`	`ARI568_1.p`	`ARI569=1.rm`	`ARI570_1.p`	`ARI571_1.p`
`ARI572_1.p`	`ARI573_1.p`	`ARI574_1.p`	`ARI575_1.p`	`ARI575_2.p`	`ARI575_3.p`	`ARI576_1.p`
`ARI577_1.p`	`ARI578_1.p`	`ARI579_1.p`	`ARI579_2.p`	`ARI579_3.p`	`ARI580_1.p`	`ARI581_1.p`
`ARI582_1.p`	`ARI583_1.p`	`ARI584_1.p`	`ARI585_1.p`	`ARI586_1.p`	`ARI587_1.p`	`ARI588_1.p`
`ARI589_1.p`	`ARI590_1.p`	`ARI591_1.p`	`ARI592_1.p`	`ARI593_1.p`	`ARI594_1.p`	`ARI595_1.p`
`ARI596_1.p`	`ARI597_1.p`	`ARI598_1.p`	`ARI599_1.p`	`ARI600_1.p`	`ARI601_1.p`	`ARI602_1.p`
`ARI603_1.p`	`ARI604_1.p`	`ARI605_1.p`	`ARI606_1.p`	`ARI607_1.p`	`ARI608_1.p`	`ARI609_1.p`
`ARI610_1.p`	`ARI611_1.p`	`ARI612_1.p`	`ARI613_1.p`	`ARI614_1.p`	`ARI615_1.p`	`ARI616_1.p`
`ARI617_1.p`	`ARI618_1.p`	`ARI619_1.p`	`ARI619_2.p`	`ARI619_3.p`	`ARI620_1.p`	`ARI621_1.p`
`ARI621_2.p`	`ARI621_3.p`	`ARI622_1.p`	`ARI623_1.p`	`ARI624_1.p`	`ARI625_1.p`	`ARI625_2.p`
`ARI626_1.p`	`ARI627_1.p`	`ARI628_1.p`	`ARI629_1.p`	`ARI630_1.p`	`ARI631_1.p`	`ARI632_1.p`
`ARI633_1.p`	`ARI634_1.p`	`ARI635_1.p`	`ARI636_1.p`	`ARI637_1.p`	`ARI638_1.p`	`ARI639_1.p`
`ARI640_1.p`	`ARI641_1.p`	`ARI642_1.p`	`ARI643_1.p`	`ARI644_1.p`	`ARI645_1.p`	`ARI646_1.p`
`ARI647_1.p`	`ARI648_1.p`	`ARI649_1.p`	`ARI650_1.p`	`ARI651_1.p`	`ARI652_1.p`	`ARI653_1.p`
`ARI654_1.p`	`ARI655_1.p`	`ARI656_1.p`	`ARI657_1.p`	`ARI658_1.p`	`ARI659_1.p`	`ARI660_1.p`
`ARI661_1.p`	`ARI662_1.p`	`ARI663_1.p`	`ARI664_1.p`	`ARI665_1.p`	`ARI666_1.p`	`ARI667_1.p`
`ARI668_1.p`	`ARI669_1.p`	`ARI670_1.p`	`ARI671_1.p`	`ARI672_1.p`	`ARI673_1.p`	`ARI674_1.p`
`ARI675_1.p`	`ARI676_1.p`	`ARI677_1.p`	`ARI678_1.p`	`ARI679_1.p`	`ARI680_1.p`	`ARI681_1.p`
`ARI682_1.p`	`ARI683_1.p`	`ARI684_1.p`	`ARI685_1.p`	`ARI686_1.p`	`ARI687_1.p`	`ARI688_1.p`
`ARI689_1.p`	`ARI690_1.p`	`ARI691_1.p`	`ARI692_1.p`	`ARI693_1.p`	`ARI694_1.p`	`ARI695_1.p`
`ARI696_1.p`	`ARI697_1.p`	`ARI698_1.p`	`ARI699_1.p`	`ARI700_1.p`	`ARI701_1.p`	`ARI702_1.p`
`ARI703_1.p`	`ARI704_1.p`	`ARI705_1.p`	`ARI706_1.p`	`ARI707_1.p`	`ARI708_1.p`	`ARI709_1.p`
`ARI710_1.p`	`ARI711_1.p`	`ARI712_1.p`	`ARI713_1.p`	`ARI714_1.p`	`ARI715_1.p`	`ARI716_1.p`
`ARI717_1.p`	`ARI718_1.p`	`ARI719_1.p`	`ARI720_1.p`	`ARI721_1.p`	`ARI722_1.p`	`ARI723_1.p`
`ARI724_1.p`	`ARI725_1.p`	`ARI726_1.p`	`ARI727_1.p`	`ARI728_1.p`	`ARI729_1.p`	`ARI730_1.p`
`ARI731_1.p`	`ARI732_1.p`	`ARI733_1.p`	`ARI734_1.p`	`ARI735_1.p`	`ARI736_1.p`	`ARI737_1.p`
`ARI738_1.p`	`ARI739_1.p`	`ARI740_1.p`	`ARI741_1.p`	`ARI742_1.p`	`ARI743_1.p`	`ARI744_1.p`
`ARI745_1.p`	`ARI746_1.p`	`ARI747_1.p`	`ARI748_1.p`	`ARI749_1.p`	`ARI750_1.p`	`ARI751_1.p`
`ARI752_1.p`	`ARI753_1.p`	`ARI754_1.p`	`ARI755_1.p`	`ARI756_1.p`	`ARI757_1.p`	`ARI758_1.p`
`ARI759_1.p`	`ARI760_1.p`	`ARI761_1.p`