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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]conlat_2__45_70.min1.thm12017-02-06 12:45 504  
[ ]conlat_2__45_70.min1.thm1.tptp2017-02-06 16:48 429  
[ ]conlat_2__62_60.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__70_42.min1.thm12017-02-06 12:45 568  
[ ]conlat_2__70_42.min1.thm1.tptp2017-02-06 16:48 487  
[ ]conlat_2__81_63.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__89_45.min1.thm12017-02-06 12:45 568  
[ ]conlat_2__89_45.min1.thm1.tptp2017-02-06 16:48 487  
[ ]conlat_2__93_19.min1.thm12017-02-06 12:45 752  
[ ]conlat_2__109_58.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__117_40.min1.thm12017-02-06 12:45 548  
[ ]conlat_2__117_40.min1.thm1.tptp2017-02-06 16:48 467  
[ ]conlat_2__126_61.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__134_43.min1.thm12017-02-06 12:45 548  
[ ]conlat_2__134_43.min1.thm1.tptp2017-02-06 16:48 467  
[ ]conlat_2__147_64.min1.thm12017-02-06 12:45 387  
[ ]conlat_2__151_11.min1.thm12017-02-06 12:45 248  
[ ]conlat_2__163_45.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__164_41.min1.thm12017-02-06 12:45 466  
[ ]conlat_2__173_28.min1.thm12017-02-06 12:45 820  
[ ]conlat_2__174_23.min1.thm12017-02-06 12:45 798  
[ ]conlat_2__181_77.min1.thm12017-02-06 12:45 863  
[ ]conlat_2__184_42.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__185_23.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__195_20.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__196_23.min1.thm12017-02-06 12:45 842  
[ ]conlat_2__198_21.min1.thm12017-02-06 12:45 754  
[ ]conlat_2__209_15.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__211_18.min1.thm12017-02-06 12:45 961  
[ ]conlat_2__214_16.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__222_45.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__223_23.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__230_44.min1.thm12017-02-06 12:45 889  
[ ]conlat_2__232_44.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__235_43.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__238_23.min1.thm12017-02-06 12:45 651  
[ ]conlat_2__244_49.min1.thm12017-02-06 12:45 748  
[ ]conlat_2__245_23.min1.thm12017-02-06 12:45 845  
[ ]conlat_2__248_47.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__260_42.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__274_65.min1.thm12017-02-06 12:45 387  
[ ]conlat_2__279_13.min1.thm12017-02-06 12:45 250  
[ ]conlat_2__294_51.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__295_42.min1.thm12017-02-06 12:45 482  
[ ]conlat_2__304_32.min1.thm12017-02-06 12:45 848  
[ ]conlat_2__305_27.min1.thm12017-02-06 12:45 846  
[ ]conlat_2__313_34.min1.thm12017-02-06 12:45 899  
[ ]conlat_2__315_50.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__316_27.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__325_46.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__326_27.min1.thm12017-02-06 12:45 870  
[ ]conlat_2__328_25.min1.thm12017-02-06 12:45 784  
[ ]conlat_2__337_17.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__339_34.min1.thm12017-02-06 12:45 965  
[ ]conlat_2__341_42.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__349_60.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__350_25.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__357_49.min1.thm12017-02-06 12:45 907  
[ ]conlat_2__359_48.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__362_48.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__365_25.min1.thm12017-02-06 12:45 673  
[ ]conlat_2__371_51.min1.thm12017-02-06 12:45 756  
[ ]conlat_2__372_25.min1.thm12017-02-06 12:45 859  
[ ]conlat_2__375_51.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__387_48.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__393_14.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__393_14.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]conlat_2__403_68.min1.thm12017-02-06 12:45 500  
[ ]conlat_2__403_68.min1.thm1.tptp2017-02-06 16:48 425  
[ ]conlat_2__413_14.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__416_14.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__436_34.min1.thm12017-02-06 12:45 514  
[ ]conlat_2__491_72.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__492_16.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__497_37.min1.thm12017-02-06 12:45 547  
[ ]conlat_2__509_75.min1.thm12017-02-06 12:45 489  
[ ]conlat_2__509_75.min1.thm1.tptp2017-02-06 16:48 434  
[ ]conlat_2__513_8.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__514_21.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__516_51.min1.thm12017-02-06 12:45 467  
[ ]conlat_2__516_51.min1.thm1.tptp2017-02-06 16:48 389  
[ ]conlat_2__523_53.min1.thm12017-02-06 12:45 627  
[ ]conlat_2__523_53.min1.thm1.tptp2017-02-06 16:48 549  
[ ]conlat_2__524_70.min1.thm12017-02-06 12:45 508  
[ ]conlat_2__524_70.min1.thm1.tptp2017-02-06 16:48 433  
[ ]conlat_2__533_16.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__536_33.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__539_78.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__540_69.min1.thm12017-02-06 12:45 709  
[ ]conlat_2__553_26.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__554_46.min1.thm12017-02-06 12:45 922  
[ ]conlat_2__554_46.min1.thm1.tptp2017-02-06 16:48 859  
[ ]conlat_2__556_66.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__560_32.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__561_19.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__576_76.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__580_30.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__581_46.min1.thm12017-02-06 12:45 922  
[ ]conlat_2__581_46.min1.thm1.tptp2017-02-06 16:48 859  
[ ]conlat_2__582_47.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__583_19.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__590_44.min1.thm12017-02-06 12:45 596  
[ ]conlat_2__601_47.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__604_79.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__607_76.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__611_8.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__614_19.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__616_55.min1.thm12017-02-06 12:45 547  
[ ]conlat_2__616_55.min1.thm1.tptp2017-02-06 16:48 469  
[ ]conlat_2__627_78.min1.thm12017-02-06 12:45 481  
[ ]conlat_2__627_78.min1.thm1.tptp2017-02-06 16:48 426  
[ ]conlat_2__630_71.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__631_19.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__649_20.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__650_36.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__651_21.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__672_32.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__673_78.min1.thm12017-02-06 12:45 670  
[ ]conlat_2__675_48.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__676_38.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__677_23.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__680_49.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__683_14.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__684_21.min1.thm12017-02-06 12:45 946  
[ ]conlat_2__686_35.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__687_19.min1.thm12017-02-06 12:45 965  
[ ]conlat_2__693_19.min1.thm12017-02-06 12:45 645  
[ ]conlat_2__696_12.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__697_49.min1.thm12017-02-06 12:45 795  
[ ]conlat_2__698_35.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__699_19.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__730_72.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__731_16.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__736_38.min1.thm12017-02-06 12:45 547  
[ ]conlat_2__748_75.min1.thm12017-02-06 12:45 489  
[ ]conlat_2__748_75.min1.thm1.tptp2017-02-06 16:48 434  
[ ]conlat_2__752_8.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__753_21.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__755_52.min1.thm12017-02-06 12:45 467  
[ ]conlat_2__755_52.min1.thm1.tptp2017-02-06 16:48 389  
[ ]conlat_2__762_54.min1.thm12017-02-06 12:45 627  
[ ]conlat_2__762_54.min1.thm1.tptp2017-02-06 16:48 549  
[ ]conlat_2__763_70.min1.thm12017-02-06 12:45 508  
[ ]conlat_2__763_70.min1.thm1.tptp2017-02-06 16:48 433  
[ ]conlat_2__772_16.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__775_33.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__778_78.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__779_70.min1.thm12017-02-06 12:45 709  
[ ]conlat_2__792_26.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__793_46.min1.thm12017-02-06 12:45 922  
[ ]conlat_2__793_46.min1.thm1.tptp2017-02-06 16:48 859  
[ ]conlat_2__795_69.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__799_32.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__800_19.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__815_76.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__819_30.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__820_46.min1.thm12017-02-06 12:45 922  
[ ]conlat_2__820_46.min1.thm1.tptp2017-02-06 16:48 859  
[ ]conlat_2__821_47.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__822_19.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__829_44.min1.thm12017-02-06 12:45 596  
[ ]conlat_2__840_47.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__843_79.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__846_76.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__850_8.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__855_54.min1.thm12017-02-06 12:45 547  
[ ]conlat_2__855_54.min1.thm1.tptp2017-02-06 16:48 469  
[ ]conlat_2__866_78.min1.thm12017-02-06 12:45 481  
[ ]conlat_2__866_78.min1.thm1.tptp2017-02-06 16:48 426  
[ ]conlat_2__869_71.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__870_19.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__888_20.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__889_36.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__890_21.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__911_32.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__912_78.min1.thm12017-02-06 12:45 670  
[ ]conlat_2__914_48.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__915_38.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__916_23.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__919_49.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__922_14.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__923_21.min1.thm12017-02-06 12:45 946  
[ ]conlat_2__925_35.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__926_19.min1.thm12017-02-06 12:45 965  
[ ]conlat_2__932_19.min1.thm12017-02-06 12:45 645  
[ ]conlat_2__935_12.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__936_49.min1.thm12017-02-06 12:45 795  
[ ]conlat_2__937_35.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__938_19.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__967_39.min1.thm12017-02-06 12:45 962  
[ ]conlat_2__978_39.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__979_18.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__982_20.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__983_54.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__984_21.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__986_18.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__987_42.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__988_19.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__1003_37.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__1003_37.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]conlat_2__1004_31.min1.thm12017-02-06 12:45 949  
[ ]conlat_2__1006_47.min1.thm12017-02-06 12:45 2.9K 
[ ]conlat_2__1009_30.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__1010_18.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1040_55.min1.thm12017-02-06 12:45 962  
[ ]conlat_2__1051_39.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__1052_18.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__1055_20.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1056_54.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__1057_21.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__1059_18.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1060_42.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__1061_19.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__1076_63.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__1076_63.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]conlat_2__1077_31.min1.thm12017-02-06 12:45 949  
[ ]conlat_2__1079_46.min1.thm12017-02-06 12:45 2.9K 
[ ]conlat_2__1082_30.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__1083_18.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1109_63.min1.thm12017-02-06 12:45 501  
[ ]conlat_2__1114_49.min1.thm12017-02-06 12:45 3.5K 
[ ]conlat_2__1142_39.min1.thm12017-02-06 12:45 372  
[ ]conlat_2__1142_39.min1.thm1.tptp2017-02-06 16:48 294  
[ ]conlat_2__1148_44.min1.thm12017-02-06 12:45 3.5K 
[ ]conlat_2__1151_60.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1176_64.min1.thm12017-02-06 12:45 501  
[ ]conlat_2__1181_49.min1.thm12017-02-06 12:45 3.5K 
[ ]conlat_2__1210_55.min1.thm12017-02-06 12:45 372  
[ ]conlat_2__1210_55.min1.thm1.tptp2017-02-06 16:48 294  
[ ]conlat_2__1216_37.min1.thm12017-02-06 12:45 3.5K 
[ ]conlat_2__1219_62.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1232_68.min1.thm12017-02-06 12:45 508  
[ ]conlat_2__1232_68.min1.thm1.tptp2017-02-06 16:48 433  
[ ]conlat_2__1265_38.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__1265_38.min1.thm1.tptp2017-02-06 16:48 1.5K 
[ ]conlat_2__1279_19.min1.thm12017-02-06 12:45 832  
[ ]conlat_2__1302_63.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__1302_63.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]conlat_2__1316_17.min1.thm12017-02-06 12:45 814  
[ ]conlat_2__1333_34.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__1336_70.min1.thm12017-02-06 12:45 829  
[ ]conlat_2__1337_44.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_2__1339_41.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__1344_36.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__1349_64.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__1362_62.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__1370_40.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__1371_41.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_2__1372_42.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__1375_65.min1.thm12017-02-06 12:45 888  
[ ]conlat_2__1376_14.min1.thm12017-02-06 12:45 341  
[ ]conlat_2__1394_34.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__1395_34.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__1397_17.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__1414_20.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1416_26.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1420_78.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1426_25.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__1429_17.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_2__1430_25.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__1432_22.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_2__1433_68.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__1437_29.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__1441_20.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__1442_31.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1452_20.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_2__1454_27.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1458_78.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1464_25.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__1467_17.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_2__1468_25.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__1470_22.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_2__1471_68.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__1475_29.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__1479_20.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_2__1480_31.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1499_11.min1.thm12017-02-06 12:45 249  
[ ]conlat_2__1503_19.min1.thm12017-02-06 12:45 818  
[ ]conlat_2__1507_19.min1.thm12017-02-06 12:45 697  
[ ]conlat_2__1523_21.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__1530_40.min1.thm12017-02-06 12:45 610  
[ ]conlat_2__1530_40.min1.thm1.tptp2017-02-06 16:48 535  
[ ]conlat_2__1539_53.min1.thm12017-02-06 12:45 327  
[ ]conlat_2__1551_23.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_2__1567_23.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_2__1569_26.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__1580_27.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1581_21.min1.thm12017-02-06 12:45 738  
[ ]conlat_2__1588_39.min1.thm12017-02-06 12:45 610  
[ ]conlat_2__1588_39.min1.thm1.tptp2017-02-06 16:48 535  
[ ]conlat_2__1597_53.min1.thm12017-02-06 12:45 327  
[ ]conlat_2__1608_23.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__1624_23.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_2__1626_26.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__1637_27.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__1638_21.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__1641_62.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1660_34.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__1674_71.min1.thm12017-02-06 12:45 508  
[ ]conlat_2__1674_71.min1.thm1.tptp2017-02-06 16:48 433  
[ ]conlat_2__1709_26.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__1710_29.min1.thm12017-02-06 12:45 910  
[ ]conlat_2__1718_22.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1719_45.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1720_23.min1.thm12017-02-06 12:45 3.9K 
[ ]conlat_2__1731_24.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__1733_76.min1.thm12017-02-06 12:45 944  
[ ]conlat_2__1735_25.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1745_44.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__1752_25.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1761_57.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__1762_25.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_2__1764_25.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_2__1785_27.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__1786_23.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1802_26.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__1803_29.min1.thm12017-02-06 12:45 950  
[ ]conlat_2__1811_22.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1812_42.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1814_27.min1.thm12017-02-06 12:45 2.4K 
[ ]conlat_2__1823_61.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1824_24.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__1826_73.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__1837_42.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__1844_25.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1852_18.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__1853_54.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__1854_25.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_2__1856_25.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_2__1877_27.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__1878_23.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1884_51.min1.thm12017-02-06 12:45 2.4K 
[ ]conlat_2__1891_5.min1.thm12017-02-06 12:45 615  
[ ]conlat_2__1891_5.min1.thm1.tptp2017-02-06 16:48 537  
[ ]conlat_2__1910_22.min1.thm12017-02-06 12:45 378  
[ ]conlat_2__1910_22.min1.thm1.tptp2017-02-06 16:48 308  
[ ]conlat_2__1911_20.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__1912_11.min1.thm12017-02-06 12:45 378  
[ ]conlat_2__1912_11.min1.thm1.tptp2017-02-06 16:48 308  
[ ]conlat_2__1918_37.min1.thm12017-02-06 12:45 356  
[ ]conlat_2__1918_37.min1.thm1.tptp2017-02-06 16:48 278  
[ ]conlat_2__1925_18.min1.thm12017-02-06 12:45 814  
[ ]conlat_2__1927_52.min1.thm12017-02-06 12:45 511  
[ ]conlat_2__1927_52.min1.thm1.tptp2017-02-06 16:48 433  
[ ]conlat_2__1934_18.min1.thm12017-02-06 12:45 814  
[ ]conlat_2__1936_51.min1.thm12017-02-06 12:45 511  
[ ]conlat_2__1936_51.min1.thm1.tptp2017-02-06 16:48 433  
[ ]conlat_2__1938_19.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__1941_33.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__1943_6.min1.thm12017-02-06 12:45 584  
[ ]conlat_2__1943_6.min1.thm1.tptp2017-02-06 16:48 506  
[ ]conlat_2__1952_28.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__1954_8.min1.thm12017-02-06 12:45 575  
[ ]conlat_2__1954_8.min1.thm1.tptp2017-02-06 16:48 499  
[ ]conlat_2__1959_48.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__1978_48.min1.thm12017-02-06 12:45 559  
[ ]conlat_2__1979_20.min1.thm12017-02-06 12:45 655  
[ ]conlat_2__1980_10.min1.thm12017-02-06 12:45 378  
[ ]conlat_2__1980_10.min1.thm1.tptp2017-02-06 16:48 308  
[ ]conlat_2__1981_17.min1.thm12017-02-06 12:45 378  
[ ]conlat_2__1981_17.min1.thm1.tptp2017-02-06 16:48 308  
[ ]conlat_2__1982_38.min1.thm12017-02-06 12:45 655  
[ ]conlat_2__1983_28.min1.thm12017-02-06 12:45 559  
[ ]conlat_2__1984_22.min1.thm12017-02-06 12:45 378  
[ ]conlat_2__1984_22.min1.thm1.tptp2017-02-06 16:48 308  
[ ]conlat_2__1985_20.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__1986_11.min1.thm12017-02-06 12:45 378  
[ ]conlat_2__1986_11.min1.thm1.tptp2017-02-06 16:48 308  
[ ]conlat_2__1991_71.min1.thm12017-02-06 12:45 509  
[ ]conlat_2__1991_71.min1.thm1.tptp2017-02-06 16:48 434  
[ ]conlat_2__1996_32.min1.thm12017-02-06 12:45 283  
[ ]conlat_2__2003_18.min1.thm12017-02-06 12:45 814  
[ ]conlat_2__2005_52.min1.thm12017-02-06 12:45 511  
[ ]conlat_2__2005_52.min1.thm1.tptp2017-02-06 16:48 433  
[ ]conlat_2__2012_18.min1.thm12017-02-06 12:45 814  
[ ]conlat_2__2014_51.min1.thm12017-02-06 12:45 511  
[ ]conlat_2__2014_51.min1.thm1.tptp2017-02-06 16:48 433  
[ ]conlat_2__2021_22.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__2022_25.min1.thm12017-02-06 12:45 934  
[ ]conlat_2__2031_19.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2032_38.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2034_58.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2050_23.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__2053_28.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__2054_21.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2057_40.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__2060_35.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__2066_49.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2071_20.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2072_35.min1.thm12017-02-06 12:45 356  
[ ]conlat_2__2072_35.min1.thm1.tptp2017-02-06 16:48 278  
[ ]conlat_2__2073_18.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2074_53.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__2075_21.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_2__2076_13.min1.thm12017-02-06 12:45 757  
[ ]conlat_2__2076_13.min1.thm1.tptp2017-02-06 16:48 680  
[ ]conlat_2__2080_33.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2094_14.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__2108_26.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__2109_23.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2125_60.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__2129_56.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2130_37.min1.thm12017-02-06 12:45 752  
[ ]conlat_2__2131_21.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__2140_27.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2145_71.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2148_22.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_2__2155_25.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2163_18.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2164_41.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2175_60.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__2176_20.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__2179_61.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2182_17.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__2195_59.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2196_18.min1.thm12017-02-06 12:45 913  
[ ]conlat_2__2198_52.min1.thm12017-02-06 12:45 517  
[ ]conlat_2__2198_52.min1.thm1.tptp2017-02-06 16:48 439  
[ ]conlat_2__2204_56.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_2__2205_18.min1.thm12017-02-06 12:45 913  
[ ]conlat_2__2207_51.min1.thm12017-02-06 12:45 547  
[ ]conlat_2__2207_51.min1.thm1.tptp2017-02-06 16:48 469  
[ ]conlat_2__2218_17.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_2__2242_76.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2243_23.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_2__2245_23.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_2__2246_21.min1.thm12017-02-06 12:45 2.4K 
[ ]conlat_2__2268_30.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__2269_25.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2279_26.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2284_39.min1.thm12017-02-06 12:45 703  
[ ]conlat_2__2285_23.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2291_28.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2293_17.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__2293_17.min1.thm1.tptp2017-02-06 16:48 899  
[ ]conlat_2__2299_28.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2300_19.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__2317_21.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2321_21.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_2__2323_21.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_2__2329_18.min1.thm12017-02-06 12:45 382  
[ ]conlat_2__2329_18.min1.thm1.tptp2017-02-06 16:48 312  
[ ]conlat_2__2330_38.min1.thm12017-02-06 12:45 667  
[ ]conlat_2__2331_11.min1.thm12017-02-06 12:45 517  
[ ]conlat_2__2340_18.min1.thm12017-02-06 12:45 382  
[ ]conlat_2__2340_18.min1.thm1.tptp2017-02-06 16:48 312  
[ ]conlat_2__2341_38.min1.thm12017-02-06 12:45 674  
[ ]conlat_2__2342_11.min1.thm12017-02-06 12:45 521  
[ ]conlat_2__2347_19.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__2355_34.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2363_16.min1.thm12017-02-06 12:45 736  
[ ]conlat_2__2363_16.min1.thm1.tptp2017-02-06 16:48 660  
[ ]conlat_2__2371_34.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__2373_45.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2379_69.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2382_22.min1.thm12017-02-06 12:45 746  
[ ]conlat_2__2387_18.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__2414_26.min1.thm12017-02-06 12:45 3.1K 
[ ]conlat_2__2423_50.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2424_16.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2431_50.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2432_16.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2444_55.min1.thm12017-02-06 12:45 551  
[ ]conlat_2__2445_72.min1.thm12017-02-06 12:45 645  
[ ]conlat_2__2451_21.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__2460_51.min1.thm12017-02-06 12:45 533  
[ ]conlat_2__2460_51.min1.thm1.tptp2017-02-06 16:48 455  
[ ]conlat_2__2476_15.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__2482_25.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2491_17.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2502_73.min1.thm12017-02-06 12:45 549  
[ ]conlat_2__2502_73.min1.thm1.tptp2017-02-06 16:48 471  
[ ]conlat_2__2507_35.min1.thm12017-02-06 12:45 631  
[ ]conlat_2__2507_35.min1.thm1.tptp2017-02-06 16:48 562  
[ ]conlat_2__2521_23.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_2__2522_27.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2529_23.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2531_22.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2532_28.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2537_21.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2539_25.min1.thm12017-02-06 12:45 861  
[ ]conlat_2__2545_21.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2546_25.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2551_21.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__2585_65.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2592_35.min1.thm12017-02-06 12:45 700  
[ ]conlat_2__2593_43.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2595_21.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_2__2597_16.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2605_71.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2612_35.min1.thm12017-02-06 12:45 752  
[ ]conlat_2__2613_45.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_2__2615_21.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__2617_16.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2623_17.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__2643_68.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2650_35.min1.thm12017-02-06 12:45 700  
[ ]conlat_2__2651_43.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__2653_21.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_2__2655_16.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2663_68.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2670_35.min1.thm12017-02-06 12:45 752  
[ ]conlat_2__2671_45.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2673_21.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__2675_16.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2681_17.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_2__2695_15.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_2__2697_12.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2712_17.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__2716_19.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_2__2726_50.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__2727_26.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2728_48.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__2729_26.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2745_9.min1.thm12017-02-06 12:45 736  
[ ]conlat_2__2746_70.min1.thm12017-02-06 12:45 512  
[ ]conlat_2__2746_70.min1.thm1.tptp2017-02-06 16:48 437  
[ ]conlat_2__2760_61.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__2769_34.min1.thm12017-02-06 12:45 607  
[ ]conlat_2__2769_34.min1.thm1.tptp2017-02-06 16:48 529  
[ ]conlat_2__2779_29.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2781_63.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2783_19.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2787_51.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2802_69.min1.thm12017-02-06 12:45 576  
[ ]conlat_2__2802_69.min1.thm1.tptp2017-02-06 16:48 506  
[ ]conlat_2__2803_22.min1.thm12017-02-06 12:45 776  
[ ]conlat_2__2803_22.min1.thm1.tptp2017-02-06 16:48 700  
[ ]conlat_2__2804_12.min1.thm12017-02-06 12:45 394  
[ ]conlat_2__2804_12.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_2__2805_19.min1.thm12017-02-06 12:45 394  
[ ]conlat_2__2805_19.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_2__2806_61.min1.thm12017-02-06 12:45 776  
[ ]conlat_2__2806_61.min1.thm1.tptp2017-02-06 16:48 700  
[ ]conlat_2__2807_30.min1.thm12017-02-06 12:45 576  
[ ]conlat_2__2807_30.min1.thm1.tptp2017-02-06 16:48 506  
[ ]conlat_2__2808_24.min1.thm12017-02-06 12:45 394  
[ ]conlat_2__2808_24.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_2__2809_22.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_2__2810_13.min1.thm12017-02-06 12:45 394  
[ ]conlat_2__2810_13.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_2__2815_65.min1.thm12017-02-06 12:45 719  
[ ]conlat_2__2824_53.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2826_20.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_2__2828_22.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2839_31.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__2842_39.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2844_20.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_2__2845_20.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2846_17.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2851_18.min1.thm12017-02-06 12:45 394  
[ ]conlat_2__2851_18.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_2__2852_61.min1.thm12017-02-06 12:45 781  
[ ]conlat_2__2852_61.min1.thm1.tptp2017-02-06 16:48 705  
[ ]conlat_2__2853_32.min1.thm12017-02-06 12:45 579  
[ ]conlat_2__2853_32.min1.thm1.tptp2017-02-06 16:48 509  
[ ]conlat_2__2854_20.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2855_17.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2860_56.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2863_30.min1.thm12017-02-06 12:45 582  
[ ]conlat_2__2863_30.min1.thm1.tptp2017-02-06 16:48 512  
[ ]conlat_2__2864_56.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2867_34.min1.thm12017-02-06 12:45 608  
[ ]conlat_2__2867_34.min1.thm1.tptp2017-02-06 16:48 538  
[ ]conlat_2__2869_66.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2871_47.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2872_33.min1.thm12017-02-06 12:45 910  
[ ]conlat_2__2875_32.min1.thm12017-02-06 12:45 611  
[ ]conlat_2__2875_32.min1.thm1.tptp2017-02-06 16:48 541  
[ ]conlat_2__2876_69.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2878_45.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2879_33.min1.thm12017-02-06 12:45 912  
[ ]conlat_2__2883_21.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_2__2888_53.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2890_57.min1.thm12017-02-06 12:45 426  
[ ]conlat_2__2890_57.min1.thm1.tptp2017-02-06 16:48 348  
[ ]conlat_2__2894_67.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2898_30.min1.thm12017-02-06 12:45 3.2K 
[ ]conlat_2__2901_30.min1.thm12017-02-06 12:45 3.2K 
[ ]conlat_2__2902_38.min1.thm12017-02-06 12:45 3.7K 
[ ]conlat_2__2905_20.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2910_19.min1.thm12017-02-06 12:45 496  
[ ]conlat_2__2910_19.min1.thm1.tptp2017-02-06 16:48 426  
[ ]conlat_2__2911_62.min1.thm12017-02-06 12:45 879  
[ ]conlat_2__2911_62.min1.thm1.tptp2017-02-06 16:48 803  
[ ]conlat_2__2912_30.min1.thm12017-02-06 12:45 576  
[ ]conlat_2__2912_30.min1.thm1.tptp2017-02-06 16:48 506  
[ ]conlat_2__2915_18.min1.thm12017-02-06 12:45 445  
[ ]conlat_2__2915_18.min1.thm1.tptp2017-02-06 16:48 375  
[ ]conlat_2__2916_62.min1.thm12017-02-06 12:45 965  
[ ]conlat_2__2917_34.min1.thm12017-02-06 12:45 605  
[ ]conlat_2__2917_34.min1.thm1.tptp2017-02-06 16:48 535  
[ ]conlat_2__2923_50.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2931_59.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2933_20.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2935_20.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2936_17.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__2953_14.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2954_45.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2956_14.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2957_45.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2964_53.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_2__2966_20.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_2__2970_39.min1.thm12017-02-06 12:45 3.1K 
[ ]conlat_2__2976_20.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2978_20.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_2__2979_20.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__2985_56.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2987_49.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__2988_51.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2989_47.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2990_33.min1.thm12017-02-06 12:45 910  
[ ]conlat_2__2991_56.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2993_49.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_2__2994_49.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_2__2995_45.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__2996_33.min1.thm12017-02-06 12:45 908  
[ ]conlat_2__2998_42.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__2999_22.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_2__3000_28.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__3006_77.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_2__3009_21.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__3017_27.min1.thm12017-02-06 12:45 746  
[ ]conlat_2__3020_20.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__3021_19.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__3029_21.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_2__3031_16.min1.thm12017-02-06 12:45 844  
[ ]conlat_2__3031_16.min1.thm1.tptp2017-02-06 16:48 787  
[ ]conlat_2__3044_72.min1.thm12017-02-06 12:45 514  
[ ]conlat_2__3044_72.min1.thm1.tptp2017-02-06 16:48 439  
[ ]conlat_2__3051_19.min1.thm12017-02-06 12:45 741  
[ ]conlat_2__3051_19.min1.thm1.tptp2017-02-06 16:48 666  
[ ]conlat_2__3052_18.min1.thm12017-02-06 12:45 741  
[ ]conlat_2__3052_18.min1.thm1.tptp2017-02-06 16:48 666  
[ ]conlat_2__3053_18.min1.thm12017-02-06 12:45 470  
[ ]conlat_2__3053_18.min1.thm1.tptp2017-02-06 16:48 388  
[ ]conlat_2__3066_70.min1.thm12017-02-06 12:45 508  
[ ]conlat_2__3066_70.min1.thm1.tptp2017-02-06 16:48 433  
[ ]conlat_2__3069_65.min1.thm12017-02-06 12:45 714  
[ ]conlat_2__3075_55.min1.thm12017-02-06 12:45 410  
[ ]conlat_2__3075_55.min1.thm1.tptp2017-02-06 16:48 332  
[ ]conlat_2__3079_65.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_2__3083_28.min1.thm12017-02-06 12:45 3.1K 
[ ]conlat_2__3086_28.min1.thm12017-02-06 12:45 3.1K 
[ ]conlat_2__3087_36.min1.thm12017-02-06 12:45 3.6K 
[ ]conlat_2__3090_49.min1.thm12017-02-06 12:45 3.7K 
[ ]conlat_2__3092_44.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_2__3093_58.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_2__3110_65.min1.thm12017-02-06 12:45 716  
[ ]conlat_2__3113_35.min1.thm12017-02-06 12:45 900  
[ ]conlat_2__3114_41.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__3116_47.min1.thm12017-02-06 12:45 2.4K 
[ ]conlat_2__3117_28.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__3118_46.min1.thm12017-02-06 12:45 2.4K 
[ ]conlat_2__3119_28.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_2__3120_18.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_2__3121_13.min1.thm12017-02-06 12:45 558  
[ ]conlat_2__3122_16.min1.thm12017-02-06 12:45 530  
[ ]conlat_2__3132_37.min1.thm12017-02-06 12:45 565  
[ ]conlat_2__3132_37.min1.thm1.tptp2017-02-06 16:48 486  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80