Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/projpl_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projpl_1__62_36.min1.thm12017-02-06 12:44 927  
[ ]projpl_1__69_13.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__70_22.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__71_19.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__76_27.min1.thm12017-02-06 12:44 925  
[ ]projpl_1__77_19.min1.thm12017-02-06 12:44 925  
[ ]projpl_1__82_13.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__83_20.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__84_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__106_22.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__107_22.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__108_27.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__116_37.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__117_29.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__119_31.min1.thm12017-02-06 12:44 967  
[ ]projpl_1__134_22.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__135_22.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__136_27.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__144_33.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__145_29.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__147_31.min1.thm12017-02-06 12:44 967  
[ ]projpl_1__162_6.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__162_6.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]projpl_1__163_31.min1.thm12017-02-06 12:44 967  
[ ]projpl_1__168_24.min1.thm12017-02-06 12:44 913  
[ ]projpl_1__170_20.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__172_26.min1.thm12017-02-06 12:44 645  
[ ]projpl_1__172_26.min1.thm1.tptp2017-02-06 16:47 594  
[ ]projpl_1__178_33.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__180_42.min1.thm12017-02-06 12:44 463  
[ ]projpl_1__180_42.min1.thm1.tptp2017-02-06 16:47 392  
[ ]projpl_1__181_20.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__192_24.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__193_24.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__194_24.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__195_24.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__196_24.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__200_20.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__214_19.min1.thm12017-02-06 12:44 746  
[ ]projpl_1__216_29.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__222_21.min1.thm12017-02-06 12:44 838  
[ ]projpl_1__222_21.min1.thm1.tptp2017-02-06 16:47 799  
[ ]projpl_1__223_20.min1.thm12017-02-06 12:44 420  
[ ]projpl_1__223_20.min1.thm1.tptp2017-02-06 16:47 349  
[ ]projpl_1__224_24.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__225_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__227_67.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__237_32.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__238_36.min1.thm12017-02-06 12:44 1.9K 
[ ]projpl_1__240_18.min1.thm12017-02-06 12:44 2.9K 
[ ]projpl_1__242_20.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__245_6.min1.thm12017-02-06 12:44 967  
[ ]projpl_1__276_38.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__282_26.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__285_17.min1.thm12017-02-06 12:44 1.8K 
[ ]projpl_1__289_61.min1.thm12017-02-06 12:44 713  
[ ]projpl_1__310_9.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__312_16.min1.thm12017-02-06 12:44 226  
[ ]projpl_1__322_9.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__324_29.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__326_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__337_35.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__338_11.min1.thm12017-02-06 12:44 356  
[ ]projpl_1__338_11.min1.thm1.tptp2017-02-06 16:47 285  
[ ]projpl_1__339_13.min1.thm12017-02-06 12:44 948  
[ ]projpl_1__340_11.min1.thm12017-02-06 12:44 356  
[ ]projpl_1__340_11.min1.thm1.tptp2017-02-06 16:47 285  
[ ]projpl_1__341_13.min1.thm12017-02-06 12:44 948  
[ ]projpl_1__342_11.min1.thm12017-02-06 12:44 357  
[ ]projpl_1__342_11.min1.thm1.tptp2017-02-06 16:47 286  
[ ]projpl_1__344_16.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__347_21.min1.thm12017-02-06 12:44 661  
[ ]projpl_1__351_21.min1.thm12017-02-06 12:44 660  
[ ]projpl_1__354_14.min1.thm12017-02-06 12:44 815  
[ ]projpl_1__366_24.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__367_39.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__377_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__378_19.min1.thm12017-02-06 12:44 1.9K 
[ ]projpl_1__379_34.min1.thm12017-02-06 12:44 2.0K 
[ ]projpl_1__380_32.min1.thm12017-02-06 12:44 2.0K 
[ ]projpl_1__381_17.min1.thm12017-02-06 12:44 2.0K 
[ ]projpl_1__386_70.min1.thm12017-02-06 12:44 778  
[ ]projpl_1__402_26.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__404_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__405_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__406_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__407_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__408_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__409_26.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__411_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__412_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__413_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__414_27.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__416_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__417_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__418_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__419_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__420_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__421_27.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__423_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__424_34.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__425_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__426_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__427_34.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__428_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__429_34.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__430_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__431_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__432_34.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__433_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__434_34.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__435_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__436_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__437_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__438_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__439_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__440_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__441_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__442_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__443_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__444_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__445_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__446_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__447_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__448_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__449_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__450_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__451_33.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__452_16.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__467_10.min1.thm12017-02-06 12:44 891  
[ ]projpl_1__469_29.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__470_10.min1.thm12017-02-06 12:44 892  
[ ]projpl_1__471_32.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__473_29.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__474_10.min1.thm12017-02-06 12:44 892  
[ ]projpl_1__475_32.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__477_30.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__478_10.min1.thm12017-02-06 12:44 892  
[ ]projpl_1__479_32.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__480_17.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__489_11.min1.thm12017-02-06 12:44 693  
[ ]projpl_1__489_11.min1.thm1.tptp2017-02-06 16:47 646  
[ ]projpl_1__492_20.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__495_11.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__496_26.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__497_25.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__497_25.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]projpl_1__500_12.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__502_24.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__503_17.min1.thm12017-02-06 12:44 2.0K 
[ ]projpl_1__514_30.min1.thm12017-02-06 12:44 940  
[ ]projpl_1__514_30.min1.thm1.tptp2017-02-06 16:47 917  
[ ]projpl_1__516_37.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__517_16.min1.thm12017-02-06 12:44 2.3K 
[ ]projpl_1__519_28.min1.thm12017-02-06 12:44 3.0K 
[ ]projpl_1__520_19.min1.thm12017-02-06 12:44 3.6K 
[ ]projpl_1__531_14.min1.thm12017-02-06 12:44 2.0K 
[ ]projpl_1__534_25.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__534_25.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]projpl_1__535_19.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__546_22.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__547_42.min1.thm12017-02-06 12:44 2.3K 
[ ]projpl_1__549_20.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__550_17.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__563_26.min1.thm12017-02-06 12:44 556  
[ ]projpl_1__565_17.min1.thm12017-02-06 12:44 734  
[ ]projpl_1__567_20.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__568_17.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__578_16.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__588_13.min1.thm12017-02-06 12:44 948  
[ ]projpl_1__589_20.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__590_17.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__602_24.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__603_29.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__605_11.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__606_24.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__607_29.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__609_11.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__610_24.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__611_14.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__612_17.min1.thm12017-02-06 12:44 495  
[ ]projpl_1__627_22.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__628_22.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__629_18.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__631_12.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__632_14.min1.thm12017-02-06 12:44 883  
[ ]projpl_1__633_23.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__634_9.min1.thm12017-02-06 12:44 357  
[ ]projpl_1__634_9.min1.thm1.tptp2017-02-06 16:47 286  
[ ]projpl_1__636_12.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__637_9.min1.thm12017-02-06 12:44 357  
[ ]projpl_1__637_9.min1.thm1.tptp2017-02-06 16:47 286  
[ ]projpl_1__638_14.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__639_17.min1.thm12017-02-06 12:44 496  
[ ]projpl_1__655_30.min1.thm12017-02-06 12:44 656  
[ ]projpl_1__656_26.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__660_20.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__664_23.min1.thm12017-02-06 12:44 756  
[ ]projpl_1__666_23.min1.thm12017-02-06 12:44 756  
[ ]projpl_1__668_23.min1.thm12017-02-06 12:44 756  
[ ]projpl_1__669_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__670_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__671_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__673_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__675_21.min1.thm12017-02-06 12:44 701  
[ ]projpl_1__676_41.min1.thm12017-02-06 12:44 2.2K 
[ ]projpl_1__678_21.min1.thm12017-02-06 12:44 701  
[ ]projpl_1__679_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__681_21.min1.thm12017-02-06 12:44 701  
[ ]projpl_1__682_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__683_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__684_30.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__685_25.min1.thm12017-02-06 12:44 3.0K 
[ ]projpl_1__690_23.min1.thm12017-02-06 12:44 756  
[ ]projpl_1__692_23.min1.thm12017-02-06 12:44 756  
[ ]projpl_1__694_23.min1.thm12017-02-06 12:44 756  
[ ]projpl_1__695_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__696_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__697_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__699_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__701_21.min1.thm12017-02-06 12:44 701  
[ ]projpl_1__702_36.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__704_41.min1.thm12017-02-06 12:44 2.2K 
[ ]projpl_1__706_21.min1.thm12017-02-06 12:44 701  
[ ]projpl_1__707_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__709_21.min1.thm12017-02-06 12:44 701  
[ ]projpl_1__710_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__711_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__712_30.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__713_25.min1.thm12017-02-06 12:44 3.0K 
[ ]projpl_1__718_23.min1.thm12017-02-06 12:44 756  
[ ]projpl_1__720_23.min1.thm12017-02-06 12:44 756  
[ ]projpl_1__722_23.min1.thm12017-02-06 12:44 756  
[ ]projpl_1__723_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__724_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__725_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__727_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__729_21.min1.thm12017-02-06 12:44 701  
[ ]projpl_1__730_36.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__732_41.min1.thm12017-02-06 12:44 2.2K 
[ ]projpl_1__734_21.min1.thm12017-02-06 12:44 701  
[ ]projpl_1__735_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__737_21.min1.thm12017-02-06 12:44 701  
[ ]projpl_1__738_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__739_19.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__740_30.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__741_25.min1.thm12017-02-06 12:44 3.0K 
[ ]projpl_1__744_18.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__757_31.min1.thm12017-02-06 12:44 1.8K 
[ ]projpl_1__757_31.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]projpl_1__758_38.min1.thm12017-02-06 12:44 2.0K 
[ ]projpl_1__758_38.min1.thm1.tptp2017-02-06 16:47 2.1K 
[ ]projpl_1__763_24.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__765_20.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__767_49.min1.thm12017-02-06 12:44 967  
[ ]projpl_1__767_49.min1.thm1.tptp2017-02-06 16:47 944  
[ ]projpl_1__775_38.min1.thm12017-02-06 12:44 1.0K 
[ ]projpl_1__777_21.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__786_17.min1.thm12017-02-06 12:44 764  
[ ]projpl_1__788_20.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__790_36.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__805_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__808_25.min1.thm12017-02-06 12:44 1.8K 
[ ]projpl_1__808_25.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]projpl_1__809_19.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__819_20.min1.thm12017-02-06 12:44 1.3K 
[ ]projpl_1__820_20.min1.thm12017-02-06 12:44 2.1K 
[ ]projpl_1__821_42.min1.thm12017-02-06 12:44 1.9K 
[ ]projpl_1__823_18.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__824_17.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__836_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__838_25.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__838_25.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]projpl_1__839_11.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__841_13.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__842_23.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__845_11.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__846_15.min1.thm12017-02-06 12:44 2.6K 
[ ]projpl_1__863_16.min1.thm12017-02-06 12:44 440  
[ ]projpl_1__863_16.min1.thm1.tptp2017-02-06 16:47 371  
[ ]projpl_1__866_32.min1.thm12017-02-06 12:44 911  
[ ]projpl_1__871_32.min1.thm12017-02-06 12:44 911  
[ ]projpl_1__876_32.min1.thm12017-02-06 12:44 911  
[ ]projpl_1__890_16.min1.thm12017-02-06 12:44 609  
[ ]projpl_1__890_16.min1.thm1.tptp2017-02-06 16:47 543  
[ ]projpl_1__893_46.min1.thm12017-02-06 12:44 368  
[ ]projpl_1__893_46.min1.thm1.tptp2017-02-06 16:47 298  
[ ]projpl_1__894_37.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__899_46.min1.thm12017-02-06 12:44 368  
[ ]projpl_1__899_46.min1.thm1.tptp2017-02-06 16:47 298  
[ ]projpl_1__900_37.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__905_46.min1.thm12017-02-06 12:44 368  
[ ]projpl_1__905_46.min1.thm1.tptp2017-02-06 16:47 298  
[ ]projpl_1__906_37.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__911_46.min1.thm12017-02-06 12:44 368  
[ ]projpl_1__911_46.min1.thm1.tptp2017-02-06 16:47 298  
[ ]projpl_1__912_37.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__917_46.min1.thm12017-02-06 12:44 368  
[ ]projpl_1__917_46.min1.thm1.tptp2017-02-06 16:47 298  
[ ]projpl_1__918_37.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__923_46.min1.thm12017-02-06 12:44 368  
[ ]projpl_1__923_46.min1.thm1.tptp2017-02-06 16:47 298  
[ ]projpl_1__924_37.min1.thm12017-02-06 12:44 1.1K 
[ ]projpl_1__941_24.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__942_17.min1.thm12017-02-06 12:44 1.8K 
[ ]projpl_1__954_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__955_17.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__969_14.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__971_16.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__972_14.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__974_13.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__977_15.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__979_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__980_14.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__986_14.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__989_17.min1.thm12017-02-06 12:44 691  
[ ]projpl_1__989_17.min1.thm1.tptp2017-02-06 16:47 603  
[ ]projpl_1__1003_15.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1005_19.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__1006_14.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1008_14.min1.thm12017-02-06 12:44 1.8K 
[ ]projpl_1__1011_15.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1013_19.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__1014_14.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1020_16.min1.thm12017-02-06 12:44 1.2K 
[ ]projpl_1__1023_17.min1.thm12017-02-06 12:44 691  
[ ]projpl_1__1023_17.min1.thm1.tptp2017-02-06 16:47 603  
[ ]projpl_1__1035_25.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__1036_20.min1.thm12017-02-06 12:44 1.9K 
[ ]projpl_1__1037_17.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__1051_20.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1052_21.min1.thm12017-02-06 12:44 1.8K 
[ ]projpl_1__1053_19.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__1055_17.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__1071_15.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1072_13.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1074_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__1075_13.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1076_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__1077_17.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__1089_13.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1091_19.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__1092_13.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1093_17.min1.thm12017-02-06 12:44 1.7K 
[ ]projpl_1__1103_14.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__1104_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projpl_1__1123_14.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1124_15.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1125_24.min1.thm12017-02-06 12:44 1.6K 
[ ]projpl_1__1127_16.min1.thm12017-02-06 12:44 2.2K 
[ ]projpl_1__1129_14.min1.thm12017-02-06 12:44 2.1K 
[ ]projpl_1__1130_17.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1132_13.min1.thm12017-02-06 12:44 2.2K 
[ ]projpl_1__1135_14.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1136_12.min1.thm12017-02-06 12:44 1.4K 
[ ]projpl_1__1137_14.min1.thm12017-02-06 12:44 2.1K 
[ ]projpl_1__1138_17.min1.thm12017-02-06 12:44 741  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80