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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comseq_3__47_17.min1.thm12017-02-06 12:45 608  
[ ]comseq_3__50_29.min1.thm12017-02-06 12:45 2.8K 
[ ]comseq_3__63_36.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__64_41.min1.thm12017-02-06 12:45 668  
[ ]comseq_3__64_41.min1.thm1.tptp2017-02-06 16:48 591  
[ ]comseq_3__71_48.min1.thm12017-02-06 12:45 638  
[ ]comseq_3__71_48.min1.thm1.tptp2017-02-06 16:48 561  
[ ]comseq_3__72_16.min1.thm12017-02-06 12:45 428  
[ ]comseq_3__72_16.min1.thm1.tptp2017-02-06 16:48 351  
[ ]comseq_3__73_11.min1.thm12017-02-06 12:45 759  
[ ]comseq_3__88_11.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__89_46.min1.thm12017-02-06 12:45 542  
[ ]comseq_3__89_46.min1.thm1.tptp2017-02-06 16:48 454  
[ ]comseq_3__92_44.min1.thm12017-02-06 12:45 1.5K 
[ ]comseq_3__94_48.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__98_14.min1.thm12017-02-06 12:45 507  
[ ]comseq_3__103_11.min1.thm12017-02-06 12:45 538  
[ ]comseq_3__108_14.min1.thm12017-02-06 12:45 837  
[ ]comseq_3__125_59.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__133_14.min1.thm12017-02-06 12:45 742  
[ ]comseq_3__149_26.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__176_22.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__186_11.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__204_44.min1.thm12017-02-06 12:45 1.6K 
[ ]comseq_3__219_16.min1.thm12017-02-06 12:45 692  
[ ]comseq_3__226_19.min1.thm12017-02-06 12:45 2.4K 
[ ]comseq_3__229_14.min1.thm12017-02-06 12:45 1.5K 
[ ]comseq_3__280_43.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__284_56.min1.thm12017-02-06 12:45 1.5K 
[ ]comseq_3__293_51.min1.thm12017-02-06 12:45 2.7K 
[ ]comseq_3__297_17.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__297_17.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]comseq_3__307_39.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__318_24.min1.thm12017-02-06 12:45 2.7K 
[ ]comseq_3__319_17.min1.thm12017-02-06 12:45 2.2K 
[ ]comseq_3__329_46.min1.thm12017-02-06 12:45 390  
[ ]comseq_3__335_18.min1.thm12017-02-06 12:45 2.4K 
[ ]comseq_3__350_38.min1.thm12017-02-06 12:45 783  
[ ]comseq_3__351_24.min1.thm12017-02-06 12:45 618  
[ ]comseq_3__351_24.min1.thm1.tptp2017-02-06 16:48 541  
[ ]comseq_3__353_11.min1.thm12017-02-06 12:45 433  
[ ]comseq_3__353_11.min1.thm1.tptp2017-02-06 16:48 351  
[ ]comseq_3__368_14.min1.thm12017-02-06 12:45 587  
[ ]comseq_3__371_37.min1.thm12017-02-06 12:45 869  
[ ]comseq_3__379_28.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__381_16.min1.thm12017-02-06 12:45 374  
[ ]comseq_3__382_22.min1.thm12017-02-06 12:45 871  
[ ]comseq_3__384_8.min1.thm12017-02-06 12:45 362  
[ ]comseq_3__386_26.min1.thm12017-02-06 12:45 506  
[ ]comseq_3__386_26.min1.thm1.tptp2017-02-06 16:48 429  
[ ]comseq_3__387_16.min1.thm12017-02-06 12:45 510  
[ ]comseq_3__387_16.min1.thm1.tptp2017-02-06 16:48 430  
[ ]comseq_3__392_16.min1.thm12017-02-06 12:45 796  
[ ]comseq_3__405_16.min1.thm12017-02-06 12:45 553  
[ ]comseq_3__418_25.min1.thm12017-02-06 12:45 525  
[ ]comseq_3__418_25.min1.thm1.tptp2017-02-06 16:48 448  
[ ]comseq_3__419_15.min1.thm12017-02-06 12:45 723  
[ ]comseq_3__421_19.min1.thm12017-02-06 12:45 968  
[ ]comseq_3__431_16.min1.thm12017-02-06 12:45 553  
[ ]comseq_3__444_25.min1.thm12017-02-06 12:45 525  
[ ]comseq_3__444_25.min1.thm1.tptp2017-02-06 16:48 448  
[ ]comseq_3__445_15.min1.thm12017-02-06 12:45 723  
[ ]comseq_3__447_19.min1.thm12017-02-06 12:45 968  
[ ]comseq_3__458_30.min1.thm12017-02-06 12:45 907  
[ ]comseq_3__459_16.min1.thm12017-02-06 12:45 861  
[ ]comseq_3__466_30.min1.thm12017-02-06 12:45 907  
[ ]comseq_3__467_16.min1.thm12017-02-06 12:45 861  
[ ]comseq_3__476_17.min1.thm12017-02-06 12:45 693  
[ ]comseq_3__477_23.min1.thm12017-02-06 12:45 933  
[ ]comseq_3__478_23.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__479_19.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__484_17.min1.thm12017-02-06 12:45 693  
[ ]comseq_3__485_23.min1.thm12017-02-06 12:45 933  
[ ]comseq_3__486_23.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__487_19.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__498_23.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__499_13.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__500_25.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__501_16.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__506_23.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__507_18.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__508_18.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__509_55.min1.thm12017-02-06 12:45 2.5K 
[ ]comseq_3__516_28.min1.thm12017-02-06 12:45 2.3K 
[ ]comseq_3__517_20.min1.thm12017-02-06 12:45 2.0K 
[ ]comseq_3__526_23.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__527_13.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__528_25.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__529_16.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__534_23.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__535_18.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__536_18.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__537_55.min1.thm12017-02-06 12:45 2.5K 
[ ]comseq_3__544_28.min1.thm12017-02-06 12:45 2.3K 
[ ]comseq_3__545_20.min1.thm12017-02-06 12:45 2.0K 
[ ]comseq_3__554_26.min1.thm12017-02-06 12:45 521  
[ ]comseq_3__557_47.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__558_17.min1.thm12017-02-06 12:45 2.6K 
[ ]comseq_3__564_18.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__566_40.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__567_18.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__569_50.min1.thm12017-02-06 12:45 2.6K 
[ ]comseq_3__570_18.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__572_40.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__573_18.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__587_27.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__588_21.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__589_27.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__590_21.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__591_26.min1.thm12017-02-06 12:45 2.4K 
[ ]comseq_3__629_24.min1.thm12017-02-06 12:45 1.7K 
[ ]comseq_3__638_24.min1.thm12017-02-06 12:45 1.7K 
[ ]comseq_3__648_44.min1.thm12017-02-06 12:45 619  
[ ]comseq_3__649_14.min1.thm12017-02-06 12:45 744  
[ ]comseq_3__651_26.min1.thm12017-02-06 12:45 914  
[ ]comseq_3__652_74.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__711_27.min1.thm12017-02-06 12:45 2.2K 
[ ]comseq_3__727_27.min1.thm12017-02-06 12:45 2.2K 
[ ]comseq_3__831_33.min1.thm12017-02-06 12:45 1.6K 
[ ]comseq_3__832_37.min1.thm12017-02-06 12:45 1.4K 
[ ]comseq_3__833_55.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__834_44.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__842_11.min1.thm12017-02-06 12:45 912  
[ ]comseq_3__856_44.min1.thm12017-02-06 12:45 758  
[ ]comseq_3__863_17.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__877_37.min1.thm12017-02-06 12:45 681  
[ ]comseq_3__877_37.min1.thm1.tptp2017-02-06 16:48 604  
[ ]comseq_3__884_44.min1.thm12017-02-06 12:45 648  
[ ]comseq_3__884_44.min1.thm1.tptp2017-02-06 16:48 571  
[ ]comseq_3__884_60.min1.thm12017-02-06 12:45 2.7K 
[ ]comseq_3__885_11.min1.thm12017-02-06 12:45 618  
[ ]comseq_3__907_16.min1.thm12017-02-06 12:45 550  
[ ]comseq_3__921_16.min1.thm12017-02-06 12:45 550  
[ ]comseq_3__924_19.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__928_8.min1.thm12017-02-06 12:45 454  
[ ]comseq_3__931_19.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__935_8.min1.thm12017-02-06 12:45 454  
[ ]comseq_3__982_16.min1.thm12017-02-06 12:45 708  
[ ]comseq_3__989_8.min1.thm12017-02-06 12:45 612  
[ ]comseq_3__1017_21.min1.thm12017-02-06 12:45 2.2K 
[ ]comseq_3__1021_14.min1.thm12017-02-06 12:45 656  
[ ]comseq_3__1021_14.min1.thm1.tptp2017-02-06 16:48 575  
[ ]comseq_3__1043_29.min1.thm12017-02-06 12:45 2.3K 
[ ]comseq_3__1065_12.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1086_16.min1.thm12017-02-06 12:45 1.6K 
[ ]comseq_3__1100_15.min1.thm12017-02-06 12:45 380  
[ ]comseq_3__1152_32.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1153_20.min1.thm12017-02-06 12:45 515  
[ ]comseq_3__1153_20.min1.thm1.tptp2017-02-06 16:48 438  
[ ]comseq_3__1154_19.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__1155_32.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1156_20.min1.thm12017-02-06 12:45 515  
[ ]comseq_3__1156_20.min1.thm1.tptp2017-02-06 16:48 438  
[ ]comseq_3__1157_19.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__1175_31.min1.thm12017-02-06 12:45 864  
[ ]comseq_3__1175_31.min1.thm1.tptp2017-02-06 16:48 807  
[ ]comseq_3__1182_14.min1.thm12017-02-06 12:45 760  
[ ]comseq_3__1182_14.min1.thm1.tptp2017-02-06 16:48 700  
[ ]comseq_3__1199_14.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__1202_42.min1.thm12017-02-06 12:45 1.7K 
[ ]comseq_3__1209_17.min1.thm12017-02-06 12:45 2.5K 
[ ]comseq_3__1213_14.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1234_68.min1.thm12017-02-06 12:45 1.7K 
[ ]comseq_3__1244_13.min1.thm12017-02-06 12:45 968  
[ ]comseq_3__1245_30.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1246_34.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__1248_8.min1.thm12017-02-06 12:45 598  
[ ]comseq_3__1265_48.min1.thm12017-02-06 12:45 871  
[ ]comseq_3__1268_16.min1.thm12017-02-06 12:45 592  
[ ]comseq_3__1271_23.min1.thm12017-02-06 12:45 1.4K 
[ ]comseq_3__1272_30.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__1274_8.min1.thm12017-02-06 12:45 496  
[ ]comseq_3__1302_31.min1.thm12017-02-06 12:45 503  
[ ]comseq_3__1303_51.min1.thm12017-02-06 12:45 966  
[ ]comseq_3__1314_38.min1.thm12017-02-06 12:45 1.4K 
[ ]comseq_3__1317_13.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1322_33.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1325_33.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1330_23.min1.thm12017-02-06 12:45 1.5K 
[ ]comseq_3__1332_27.min1.thm12017-02-06 12:45 737  
[ ]comseq_3__1333_18.min1.thm12017-02-06 12:45 1.5K 
[ ]comseq_3__1334_32.min1.thm12017-02-06 12:45 737  
[ ]comseq_3__1340_18.min1.thm12017-02-06 12:45 580  
[ ]comseq_3__1350_38.min1.thm12017-02-06 12:45 241  
[ ]comseq_3__1355_16.min1.thm12017-02-06 12:45 391  
[ ]comseq_3__1362_21.min1.thm12017-02-06 12:45 673  
[ ]comseq_3__1363_45.min1.thm12017-02-06 12:45 2.3K 
[ ]comseq_3__1371_14.min1.thm12017-02-06 12:45 383  
[ ]comseq_3__1378_21.min1.thm12017-02-06 12:45 650  
[ ]comseq_3__1379_31.min1.thm12017-02-06 12:45 2.1K 
[ ]comseq_3__1380_17.min1.thm12017-02-06 12:45 598  
[ ]comseq_3__1380_17.min1.thm1.tptp2017-02-06 16:48 527  
[ ]comseq_3__1391_57.min1.thm12017-02-06 12:45 1.4K 
[ ]comseq_3__1405_32.min1.thm12017-02-06 12:45 1.4K 
[ ]comseq_3__1408_11.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1413_19.min1.thm12017-02-06 12:45 1.4K 
[ ]comseq_3__1415_27.min1.thm12017-02-06 12:45 721  
[ ]comseq_3__1416_14.min1.thm12017-02-06 12:45 1.4K 
[ ]comseq_3__1417_32.min1.thm12017-02-06 12:45 721  
[ ]comseq_3__1423_34.min1.thm12017-02-06 12:45 1.8K 
[ ]comseq_3__1446_16.min1.thm12017-02-06 12:45 391  
[ ]comseq_3__1453_25.min1.thm12017-02-06 12:45 695  
[ ]comseq_3__1464_16.min1.thm12017-02-06 12:45 391  
[ ]comseq_3__1469_19.min1.thm12017-02-06 12:45 607  
[ ]comseq_3__1469_19.min1.thm1.tptp2017-02-06 16:48 536  
[ ]comseq_3__1474_30.min1.thm12017-02-06 12:45 695  
[ ]comseq_3__1493_14.min1.thm12017-02-06 12:45 882  
[ ]comseq_3__1493_14.min1.thm1.tptp2017-02-06 16:48 830  
[ ]comseq_3__1495_14.min1.thm12017-02-06 12:45 882  
[ ]comseq_3__1495_14.min1.thm1.tptp2017-02-06 16:48 830  
[ ]comseq_3__1531_38.min1.thm12017-02-06 12:45 616  
[ ]comseq_3__1531_38.min1.thm1.tptp2017-02-06 16:48 539  
[ ]comseq_3__1533_53.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__1535_18.min1.thm12017-02-06 12:45 522  
[ ]comseq_3__1537_11.min1.thm12017-02-06 12:45 1.6K 
[ ]comseq_3__1539_16.min1.thm12017-02-06 12:45 480  
[ ]comseq_3__1547_37.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__1551_40.min1.thm12017-02-06 12:45 552  
[ ]comseq_3__1551_40.min1.thm1.tptp2017-02-06 16:48 475  
[ ]comseq_3__1557_10.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1564_30.min1.thm12017-02-06 12:45 2.4K 
[ ]comseq_3__1565_33.min1.thm12017-02-06 12:45 2.1K 
[ ]comseq_3__1570_28.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__1574_30.min1.thm12017-02-06 12:45 2.4K 
[ ]comseq_3__1575_33.min1.thm12017-02-06 12:45 2.1K 
[ ]comseq_3__1580_28.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__1583_21.min1.thm12017-02-06 12:45 960  
[ ]comseq_3__1585_23.min1.thm12017-02-06 12:45 960  
[ ]comseq_3__1586_17.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__1598_38.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1600_21.min1.thm12017-02-06 12:45 562  
[ ]comseq_3__1600_21.min1.thm1.tptp2017-02-06 16:48 485  
[ ]comseq_3__1605_12.min1.thm12017-02-06 12:45 617  
[ ]comseq_3__1608_33.min1.thm12017-02-06 12:45 573  
[ ]comseq_3__1612_30.min1.thm12017-02-06 12:45 840  
[ ]comseq_3__1613_18.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__1615_24.min1.thm12017-02-06 12:45 474  
[ ]comseq_3__1615_24.min1.thm1.tptp2017-02-06 16:48 397  
[ ]comseq_3__1616_10.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1618_17.min1.thm12017-02-06 12:45 433  
[ ]comseq_3__1622_17.min1.thm12017-02-06 12:45 657  
[ ]comseq_3__1633_41.min1.thm12017-02-06 12:45 552  
[ ]comseq_3__1637_21.min1.thm12017-02-06 12:45 925  
[ ]comseq_3__1639_20.min1.thm12017-02-06 12:45 2.7K 
[ ]comseq_3__1640_34.min1.thm12017-02-06 12:45 839  
[ ]comseq_3__1658_18.min1.thm12017-02-06 12:45 399  
[ ]comseq_3__1665_26.min1.thm12017-02-06 12:45 773  
[ ]comseq_3__1680_18.min1.thm12017-02-06 12:45 399  
[ ]comseq_3__1687_26.min1.thm12017-02-06 12:45 773  
[ ]comseq_3__1695_30.min1.thm12017-02-06 12:45 855  
[ ]comseq_3__1710_23.min1.thm12017-02-06 12:45 783  
[ ]comseq_3__1711_22.min1.thm12017-02-06 12:45 1.6K 
[ ]comseq_3__1735_53.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__1742_14.min1.thm12017-02-06 12:45 760  
[ ]comseq_3__1755_31.min1.thm12017-02-06 12:45 2.4K 
[ ]comseq_3__1756_34.min1.thm12017-02-06 12:45 2.1K 
[ ]comseq_3__1758_10.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1763_28.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__1766_56.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__1772_28.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__1776_31.min1.thm12017-02-06 12:45 2.4K 
[ ]comseq_3__1777_34.min1.thm12017-02-06 12:45 2.1K 
[ ]comseq_3__1782_56.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__1788_29.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__1791_21.min1.thm12017-02-06 12:45 959  
[ ]comseq_3__1793_23.min1.thm12017-02-06 12:45 959  
[ ]comseq_3__1794_17.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__1823_30.min1.thm12017-02-06 12:45 3.2K 
[ ]comseq_3__1828_26.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__1855_46.min1.thm12017-02-06 12:45 1.5K 
[ ]comseq_3__1886_14.min1.thm12017-02-06 12:45 740  
[ ]comseq_3__1886_14.min1.thm1.tptp2017-02-06 16:48 684  
[ ]comseq_3__1907_11.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__1917_19.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__1924_14.min1.thm12017-02-06 12:45 784  
[ ]comseq_3__1924_14.min1.thm1.tptp2017-02-06 16:48 728  
[ ]comseq_3__1932_41.min1.thm12017-02-06 12:45 1.7K 
[ ]comseq_3__1935_25.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__1936_39.min1.thm12017-02-06 12:45 1.7K 
[ ]comseq_3__1939_25.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__1940_23.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__1943_18.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__1950_14.min1.thm12017-02-06 12:45 513  
[ ]comseq_3__1961_41.min1.thm12017-02-06 12:45 1.7K 
[ ]comseq_3__1964_39.min1.thm12017-02-06 12:45 1.7K 
[ ]comseq_3__1975_14.min1.thm12017-02-06 12:45 884  
[ ]comseq_3__1975_14.min1.thm1.tptp2017-02-06 16:48 834  
[ ]comseq_3__1977_14.min1.thm12017-02-06 12:45 884  
[ ]comseq_3__1977_14.min1.thm1.tptp2017-02-06 16:48 834  
[ ]comseq_3__1988_69.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__2002_69.min1.thm12017-02-06 12:45 1.2K 
[ ]comseq_3__2013_14.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__2023_56.min1.thm12017-02-06 12:45 911  
[ ]comseq_3__2032_14.min1.thm12017-02-06 12:45 1.1K 
[ ]comseq_3__2042_39.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__2045_39.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__2049_59.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__2064_52.min1.thm12017-02-06 12:45 2.5K 
[ ]comseq_3__2071_14.min1.thm12017-02-06 12:45 913  
[ ]comseq_3__2084_17.min1.thm12017-02-06 12:45 850  
[ ]comseq_3__2093_50.min1.thm12017-02-06 12:45 885  
[ ]comseq_3__2117_31.min1.thm12017-02-06 12:45 864  
[ ]comseq_3__2117_31.min1.thm1.tptp2017-02-06 16:48 807  
[ ]comseq_3__2120_17.min1.thm12017-02-06 12:45 833  
[ ]comseq_3__2126_14.min1.thm12017-02-06 12:45 805  
[ ]comseq_3__2126_14.min1.thm1.tptp2017-02-06 16:48 749  
[ ]comseq_3__2137_28.min1.thm12017-02-06 12:45 635  
[ ]comseq_3__2157_62.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__2167_14.min1.thm12017-02-06 12:45 483  
[ ]comseq_3__2176_15.min1.thm12017-02-06 12:45 376  
[ ]comseq_3__2195_32.min1.thm12017-02-06 12:45 668  
[ ]comseq_3__2195_32.min1.thm1.tptp2017-02-06 16:48 591  
[ ]comseq_3__2202_28.min1.thm12017-02-06 12:45 1.9K 
[ ]comseq_3__2204_25.min1.thm12017-02-06 12:45 1.0K 
[ ]comseq_3__2212_18.min1.thm12017-02-06 12:45 1.3K 
[ ]comseq_3__2232_27.min1.thm12017-02-06 12:45 550  
[ ]comseq_3__2235_28.min1.thm12017-02-06 12:45 743  
[ ]comseq_3__2238_14.min1.thm12017-02-06 12:45 424  
[ ]comseq_3__2249_48.min1.thm12017-02-06 12:45 600  
[ ]comseq_3__2252_28.min1.thm12017-02-06 12:45 2.7K 
[ ]comseq_3__2253_28.min1.thm12017-02-06 12:45 2.0K 
[ ]comseq_3__2258_33.min1.thm12017-02-06 12:45 657  
[ ]comseq_3__2259_34.min1.thm12017-02-06 12:45 2.9K 
[ ]comseq_3__2285_30.min1.thm12017-02-06 12:45 864  
[ ]comseq_3__2285_30.min1.thm1.tptp2017-02-06 16:48 807  
[ ]comseq_3__2296_30.min1.thm12017-02-06 12:45 864  
[ ]comseq_3__2296_30.min1.thm1.tptp2017-02-06 16:48 807  
[ ]comseq_3__2307_30.min1.thm12017-02-06 12:45 864  
[ ]comseq_3__2307_30.min1.thm1.tptp2017-02-06 16:48 807  
[ ]comseq_3__2321_17.min1.thm12017-02-06 12:45 741  
[ ]comseq_3__2330_17.min1.thm12017-02-06 12:45 675  
[ ]comseq_3__2347_60.min1.thm12017-02-06 12:45 3.2K 
[ ]comseq_3__2348_68.min1.thm12017-02-06 12:45 4.8K 
[ ]comseq_3__2350_75.min1.thm12017-02-06 12:45 4.8K 
[ ]comseq_3__2365_55.min1.thm12017-02-06 12:45 790  
[ ]comseq_3__2368_16.min1.thm12017-02-06 12:45 428  
[ ]comseq_3__2368_16.min1.thm1.tptp2017-02-06 16:48 347  
[ ]comseq_3__2369_24.min1.thm12017-02-06 12:45 2.3K 
[ ]comseq_3__2370_26.min1.thm12017-02-06 12:45 2.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80