Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/seq_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seq_4__64_44.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__67_25.min1.thm12017-02-06 12:44 367  
[ ]seq_4__69_16.min1.thm12017-02-06 12:44 530  
[ ]seq_4__69_16.min1.thm1.tptp2017-02-06 16:47 496  
[ ]seq_4__88_15.min1.thm12017-02-06 12:44 442  
[ ]seq_4__90_14.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__91_24.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__92_17.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__97_38.min1.thm12017-02-06 12:44 339  
[ ]seq_4__98_15.min1.thm12017-02-06 12:44 368  
[ ]seq_4__100_15.min1.thm12017-02-06 12:44 499  
[ ]seq_4__104_25.min1.thm12017-02-06 12:44 723  
[ ]seq_4__105_30.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__108_20.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__109_30.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__117_39.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__122_11.min1.thm12017-02-06 12:44 843  
[ ]seq_4__124_16.min1.thm12017-02-06 12:44 281  
[ ]seq_4__124_16.min1.thm1.tptp2017-02-06 16:47 193  
[ ]seq_4__135_29.min1.thm12017-02-06 12:44 717  
[ ]seq_4__136_34.min1.thm12017-02-06 12:44 929  
[ ]seq_4__138_28.min1.thm12017-02-06 12:44 716  
[ ]seq_4__139_34.min1.thm12017-02-06 12:44 929  
[ ]seq_4__141_17.min1.thm12017-02-06 12:44 836  
[ ]seq_4__142_17.min1.thm12017-02-06 12:44 836  
[ ]seq_4__146_26.min1.thm12017-02-06 12:44 655  
[ ]seq_4__147_22.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__168_37.min1.thm12017-02-06 12:44 568  
[ ]seq_4__169_15.min1.thm12017-02-06 12:44 493  
[ ]seq_4__171_18.min1.thm12017-02-06 12:44 903  
[ ]seq_4__179_37.min1.thm12017-02-06 12:44 560  
[ ]seq_4__180_17.min1.thm12017-02-06 12:44 358  
[ ]seq_4__180_17.min1.thm1.tptp2017-02-06 16:47 281  
[ ]seq_4__194_21.min1.thm12017-02-06 12:44 644  
[ ]seq_4__196_16.min1.thm12017-02-06 12:44 353  
[ ]seq_4__196_16.min1.thm1.tptp2017-02-06 16:47 275  
[ ]seq_4__210_28.min1.thm12017-02-06 12:44 469  
[ ]seq_4__211_34.min1.thm12017-02-06 12:44 730  
[ ]seq_4__215_64.min1.thm12017-02-06 12:44 888  
[ ]seq_4__218_26.min1.thm12017-02-06 12:44 368  
[ ]seq_4__220_41.min1.thm12017-02-06 12:44 548  
[ ]seq_4__225_16.min1.thm12017-02-06 12:44 839  
[ ]seq_4__226_19.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__227_33.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__230_15.min1.thm12017-02-06 12:44 368  
[ ]seq_4__231_17.min1.thm12017-02-06 12:44 498  
[ ]seq_4__232_17.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__248_44.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__253_44.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__256_17.min1.thm12017-02-06 12:44 584  
[ ]seq_4__268_41.min1.thm12017-02-06 12:44 547  
[ ]seq_4__270_28.min1.thm12017-02-06 12:44 468  
[ ]seq_4__271_34.min1.thm12017-02-06 12:44 730  
[ ]seq_4__272_35.min1.thm12017-02-06 12:44 396  
[ ]seq_4__276_42.min1.thm12017-02-06 12:44 610  
[ ]seq_4__279_26.min1.thm12017-02-06 12:44 368  
[ ]seq_4__285_16.min1.thm12017-02-06 12:44 835  
[ ]seq_4__286_19.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__287_23.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__290_15.min1.thm12017-02-06 12:44 368  
[ ]seq_4__291_17.min1.thm12017-02-06 12:44 554  
[ ]seq_4__292_17.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__308_44.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__313_44.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__316_17.min1.thm12017-02-06 12:44 584  
[ ]seq_4__353_20.min1.thm12017-02-06 12:44 841  
[ ]seq_4__361_19.min1.thm12017-02-06 12:44 614  
[ ]seq_4__377_20.min1.thm12017-02-06 12:44 845  
[ ]seq_4__378_20.min1.thm12017-02-06 12:44 834  
[ ]seq_4__386_19.min1.thm12017-02-06 12:44 614  
[ ]seq_4__399_61.min1.thm12017-02-06 12:44 636  
[ ]seq_4__400_34.min1.thm12017-02-06 12:44 791  
[ ]seq_4__401_25.min1.thm12017-02-06 12:44 710  
[ ]seq_4__403_39.min1.thm12017-02-06 12:44 609  
[ ]seq_4__416_61.min1.thm12017-02-06 12:44 636  
[ ]seq_4__417_34.min1.thm12017-02-06 12:44 791  
[ ]seq_4__418_25.min1.thm12017-02-06 12:44 710  
[ ]seq_4__420_39.min1.thm12017-02-06 12:44 609  
[ ]seq_4__428_14.min1.thm12017-02-06 12:44 582  
[ ]seq_4__430_14.min1.thm12017-02-06 12:44 582  
[ ]seq_4__434_46.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__439_22.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__440_17.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__447_63.min1.thm12017-02-06 12:44 470  
[ ]seq_4__448_35.min1.thm12017-02-06 12:44 856  
[ ]seq_4__449_14.min1.thm12017-02-06 12:44 638  
[ ]seq_4__468_25.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__470_24.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__471_25.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__472_21.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__477_25.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__479_24.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__480_25.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__481_21.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__483_19.min1.thm12017-02-06 12:44 854  
[ ]seq_4__486_14.min1.thm12017-02-06 12:44 608  
[ ]seq_4__490_19.min1.thm12017-02-06 12:44 880  
[ ]seq_4__491_15.min1.thm12017-02-06 12:44 572  
[ ]seq_4__505_26.min1.thm12017-02-06 12:44 371  
[ ]seq_4__521_27.min1.thm12017-02-06 12:44 661  
[ ]seq_4__528_14.min1.thm12017-02-06 12:44 760  
[ ]seq_4__528_14.min1.thm1.tptp2017-02-06 16:47 704  
[ ]seq_4__552_36.min1.thm12017-02-06 12:44 708  
[ ]seq_4__569_24.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__598_16.min1.thm12017-02-06 12:44 2.6K 
[ ]seq_4__621_16.min1.thm12017-02-06 12:44 2.6K 
[ ]seq_4__625_23.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__640_39.min1.thm12017-02-06 12:44 528  
[ ]seq_4__653_17.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__654_29.min1.thm12017-02-06 12:44 612  
[ ]seq_4__655_30.min1.thm12017-02-06 12:44 855  
[ ]seq_4__665_30.min1.thm12017-02-06 12:44 866  
[ ]seq_4__678_39.min1.thm12017-02-06 12:44 528  
[ ]seq_4__691_19.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__692_38.min1.thm12017-02-06 12:44 654  
[ ]seq_4__693_40.min1.thm12017-02-06 12:44 842  
[ ]seq_4__703_40.min1.thm12017-02-06 12:44 861  
[ ]seq_4__713_11.min1.thm12017-02-06 12:44 531  
[ ]seq_4__721_15.min1.thm12017-02-06 12:44 353  
[ ]seq_4__729_14.min1.thm12017-02-06 12:44 1.9K 
[ ]seq_4__752_15.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__753_35.min1.thm12017-02-06 12:44 910  
[ ]seq_4__759_21.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__763_28.min1.thm12017-02-06 12:44 680  
[ ]seq_4__783_15.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__784_37.min1.thm12017-02-06 12:44 917  
[ ]seq_4__790_23.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__794_39.min1.thm12017-02-06 12:44 792  
[ ]seq_4__798_22.min1.thm12017-02-06 12:44 768  
[ ]seq_4__813_25.min1.thm12017-02-06 12:44 3.1K 
[ ]seq_4__830_26.min1.thm12017-02-06 12:44 794  
[ ]seq_4__832_16.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__841_19.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__846_37.min1.thm12017-02-06 12:44 780  
[ ]seq_4__847_11.min1.thm12017-02-06 12:44 640  
[ ]seq_4__854_14.min1.thm12017-02-06 12:44 870  
[ ]seq_4__855_26.min1.thm12017-02-06 12:44 937  
[ ]seq_4__856_30.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__857_27.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__858_18.min1.thm12017-02-06 12:44 614  
[ ]seq_4__859_21.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__868_15.min1.thm12017-02-06 12:44 346  
[ ]seq_4__869_12.min1.thm12017-02-06 12:44 862  
[ ]seq_4__870_24.min1.thm12017-02-06 12:44 929  
[ ]seq_4__871_19.min1.thm12017-02-06 12:44 2.7K 
[ ]seq_4__874_17.min1.thm12017-02-06 12:44 946  
[ ]seq_4__890_21.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__891_17.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__905_12.min1.thm12017-02-06 12:44 562  
[ ]seq_4__907_23.min1.thm12017-02-06 12:44 3.8K 
[ ]seq_4__909_22.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__914_15.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__915_9.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__916_26.min1.thm12017-02-06 12:44 3.7K 
[ ]seq_4__919_18.min1.thm12017-02-06 12:44 467  
[ ]seq_4__919_18.min1.thm1.tptp2017-02-06 16:47 390  
[ ]seq_4__934_12.min1.thm12017-02-06 12:44 570  
[ ]seq_4__936_25.min1.thm12017-02-06 12:44 3.8K 
[ ]seq_4__938_22.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__943_15.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__944_11.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__945_28.min1.thm12017-02-06 12:44 3.7K 
[ ]seq_4__948_27.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__965_30.min1.thm12017-02-06 12:44 371  
[ ]seq_4__972_22.min1.thm12017-02-06 12:44 589  
[ ]seq_4__973_23.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__974_18.min1.thm12017-02-06 12:44 2.3K 
[ ]seq_4__975_16.min1.thm12017-02-06 12:44 492  
[ ]seq_4__975_16.min1.thm1.tptp2017-02-06 16:47 415  
[ ]seq_4__980_7.min1.thm12017-02-06 12:44 748  
[ ]seq_4__993_12.min1.thm12017-02-06 12:44 562  
[ ]seq_4__997_11.min1.thm12017-02-06 12:44 2.4K 
[ ]seq_4__998_27.min1.thm12017-02-06 12:44 1.9K 
[ ]seq_4__999_19.min1.thm12017-02-06 12:44 2.5K 
[ ]seq_4__1001_20.min1.thm12017-02-06 12:44 2.0K 
[ ]seq_4__1005_13.min1.thm12017-02-06 12:44 2.5K 
[ ]seq_4__1007_19.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__1012_25.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__1013_10.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__1017_20.min1.thm12017-02-06 12:44 503  
[ ]seq_4__1017_20.min1.thm1.tptp2017-02-06 16:47 426  
[ ]seq_4__1030_12.min1.thm12017-02-06 12:44 570  
[ ]seq_4__1034_11.min1.thm12017-02-06 12:44 2.4K 
[ ]seq_4__1035_29.min1.thm12017-02-06 12:44 1.9K 
[ ]seq_4__1036_21.min1.thm12017-02-06 12:44 2.5K 
[ ]seq_4__1038_20.min1.thm12017-02-06 12:44 2.0K 
[ ]seq_4__1042_20.min1.thm12017-02-06 12:44 2.5K 
[ ]seq_4__1044_19.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__1049_25.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__1050_12.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__1054_31.min1.thm12017-02-06 12:44 2.5K 
[ ]seq_4__1071_30.min1.thm12017-02-06 12:44 371  
[ ]seq_4__1078_24.min1.thm12017-02-06 12:44 627  
[ ]seq_4__1079_25.min1.thm12017-02-06 12:44 3.0K 
[ ]seq_4__1080_20.min1.thm12017-02-06 12:44 3.0K 
[ ]seq_4__1081_16.min1.thm12017-02-06 12:44 530  
[ ]seq_4__1081_16.min1.thm1.tptp2017-02-06 16:47 453  
[ ]seq_4__1086_7.min1.thm12017-02-06 12:44 748  
[ ]seq_4__1107_31.min1.thm12017-02-06 12:44 719  
[ ]seq_4__1108_19.min1.thm12017-02-06 12:44 890  
[ ]seq_4__1116_20.min1.thm12017-02-06 12:44 724  
[ ]seq_4__1122_17.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1127_17.min1.thm12017-02-06 12:44 713  
[ ]seq_4__1131_24.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1135_17.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__1136_20.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__1164_20.min1.thm12017-02-06 12:44 724  
[ ]seq_4__1166_17.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1171_16.min1.thm12017-02-06 12:44 712  
[ ]seq_4__1180_31.min1.thm12017-02-06 12:44 719  
[ ]seq_4__1181_19.min1.thm12017-02-06 12:44 891  
[ ]seq_4__1183_17.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__1192_22.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__1207_19.min1.thm12017-02-06 12:44 817  
[ ]seq_4__1212_60.min1.thm12017-02-06 12:44 560  
[ ]seq_4__1236_15.min1.thm12017-02-06 12:44 368  
[ ]seq_4__1237_24.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1267_15.min1.thm12017-02-06 12:44 368  
[ ]seq_4__1268_24.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1292_25.min1.thm12017-02-06 12:44 479  
[ ]seq_4__1295_24.min1.thm12017-02-06 12:44 745  
[ ]seq_4__1297_17.min1.thm12017-02-06 12:44 329  
[ ]seq_4__1297_17.min1.thm1.tptp2017-02-06 16:47 241  
[ ]seq_4__1298_26.min1.thm12017-02-06 12:44 459  
[ ]seq_4__1298_26.min1.thm1.tptp2017-02-06 16:47 373  
[ ]seq_4__1308_39.min1.thm12017-02-06 12:44 925  
[ ]seq_4__1311_17.min1.thm12017-02-06 12:44 2.3K 
[ ]seq_4__1321_15.min1.thm12017-02-06 12:44 260  
[ ]seq_4__1330_39.min1.thm12017-02-06 12:44 854  
[ ]seq_4__1330_39.min1.thm1.tptp2017-02-06 16:47 785  
[ ]seq_4__1332_25.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__1336_78.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__1338_17.min1.thm12017-02-06 12:44 376  
[ ]seq_4__1339_21.min1.thm12017-02-06 12:44 2.4K 
[ ]seq_4__1345_18.min1.thm12017-02-06 12:44 855  
[ ]seq_4__1346_20.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1347_17.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1348_41.min1.thm12017-02-06 12:44 1.9K 
[ ]seq_4__1351_21.min1.thm12017-02-06 12:44 2.4K 
[ ]seq_4__1356_58.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__1382_13.min1.thm12017-02-06 12:44 480  
[ ]seq_4__1382_13.min1.thm1.tptp2017-02-06 16:47 411  
[ ]seq_4__1383_56.min1.thm12017-02-06 12:44 768  
[ ]seq_4__1389_39.min1.thm12017-02-06 12:44 500  
[ ]seq_4__1389_39.min1.thm1.tptp2017-02-06 16:47 431  
[ ]seq_4__1391_25.min1.thm12017-02-06 12:44 715  
[ ]seq_4__1395_64.min1.thm12017-02-06 12:44 561  
[ ]seq_4__1396_39.min1.thm12017-02-06 12:44 925  
[ ]seq_4__1398_20.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1404_18.min1.thm12017-02-06 12:44 856  
[ ]seq_4__1405_20.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1406_17.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1407_41.min1.thm12017-02-06 12:44 1.9K 
[ ]seq_4__1410_30.min1.thm12017-02-06 12:44 265  
[ ]seq_4__1411_21.min1.thm12017-02-06 12:44 2.4K 
[ ]seq_4__1417_58.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__1426_60.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__1429_13.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__1457_33.min1.thm12017-02-06 12:44 253  
[ ]seq_4__1480_25.min1.thm12017-02-06 12:44 729  
[ ]seq_4__1482_25.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__1497_45.min1.thm12017-02-06 12:44 3.7K 
[ ]seq_4__1503_29.min1.thm12017-02-06 12:44 670  
[ ]seq_4__1512_27.min1.thm12017-02-06 12:44 564  
[ ]seq_4__1516_25.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__1521_26.min1.thm12017-02-06 12:44 903  
[ ]seq_4__1538_10.min1.thm12017-02-06 12:44 1.9K 
[ ]seq_4__1539_15.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__1544_13.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__1546_20.min1.thm12017-02-06 12:44 2.6K 
[ ]seq_4__1547_39.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__1551_27.min1.thm12017-02-06 12:44 713  
[ ]seq_4__1573_45.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__1575_45.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__1577_45.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__1579_47.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__1597_12.min1.thm12017-02-06 12:44 843  
[ ]seq_4__1599_18.min1.thm12017-02-06 12:44 590  
[ ]seq_4__1621_12.min1.thm12017-02-06 12:44 843  
[ ]seq_4__1624_18.min1.thm12017-02-06 12:44 590  
[ ]seq_4__1642_17.min1.thm12017-02-06 12:44 722  
[ ]seq_4__1652_17.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__1660_14.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__1670_33.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__1677_14.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__1680_14.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__1685_38.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__1688_47.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__1699_20.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1701_44.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__1704_19.min1.thm12017-02-06 12:44 356  
[ ]seq_4__1709_34.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__1739_46.min1.thm12017-02-06 12:44 378  
[ ]seq_4__1778_43.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__1788_36.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__1802_44.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__1812_37.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__1829_32.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1830_33.min1.thm12017-02-06 12:44 875  
[ ]seq_4__1833_21.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__1838_27.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__1839_31.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__1863_37.min1.thm12017-02-06 12:44 897  
[ ]seq_4__1871_31.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__1884_26.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__1889_31.min1.thm12017-02-06 12:44 906  
[ ]seq_4__1890_32.min1.thm12017-02-06 12:44 869  
[ ]seq_4__1909_13.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__1914_11.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__1922_14.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__1923_17.min1.thm12017-02-06 12:44 1.9K 
[ ]seq_4__1929_14.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__1930_23.min1.thm12017-02-06 12:44 1.9K 
[ ]seq_4__1931_17.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__1977_12.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__1983_38.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__1984_11.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__2000_19.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__2000_26.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__2015_55.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__2071_15.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__2086_14.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__2118_22.min1.thm12017-02-06 12:44 603  
[ ]seq_4__2119_20.min1.thm12017-02-06 12:44 863  
[ ]seq_4__2182_20.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__2190_20.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__2197_14.min1.thm12017-02-06 12:44 2.8K 
[ ]seq_4__2211_24.min1.thm12017-02-06 12:44 3.0K 
[ ]seq_4__2213_15.min1.thm12017-02-06 12:44 711  
[ ]seq_4__2233_17.min1.thm12017-02-06 12:44 626  
[ ]seq_4__2244_41.min1.thm12017-02-06 12:44 921  
[ ]seq_4__2248_37.min1.thm12017-02-06 12:44 2.4K 
[ ]seq_4__2271_11.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__2331_32.min1.thm12017-02-06 12:44 635  
[ ]seq_4__2363_19.min1.thm12017-02-06 12:44 503  
[ ]seq_4__2375_35.min1.thm12017-02-06 12:44 863  
[ ]seq_4__2412_22.min1.thm12017-02-06 12:44 718  
[ ]seq_4__2413_40.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__2420_22.min1.thm12017-02-06 12:44 718  
[ ]seq_4__2421_40.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__2435_24.min1.thm12017-02-06 12:44 596  
[ ]seq_4__2436_17.min1.thm12017-02-06 12:44 498  
[ ]seq_4__2443_26.min1.thm12017-02-06 12:44 765  
[ ]seq_4__2450_38.min1.thm12017-02-06 12:44 781  
[ ]seq_4__2457_38.min1.thm12017-02-06 12:44 820  
[ ]seq_4__2483_16.min1.thm12017-02-06 12:44 588  
[ ]seq_4__2495_12.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__2514_14.min1.thm12017-02-06 12:44 454  
[ ]seq_4__2515_40.min1.thm12017-02-06 12:44 486  
[ ]seq_4__2516_14.min1.thm12017-02-06 12:44 542  
[ ]seq_4__2521_15.min1.thm12017-02-06 12:44 236  
[ ]seq_4__2524_20.min1.thm12017-02-06 12:44 591  
[ ]seq_4__2525_17.min1.thm12017-02-06 12:44 641  
[ ]seq_4__2540_16.min1.thm12017-02-06 12:44 712  
[ ]seq_4__2544_11.min1.thm12017-02-06 12:44 712  
[ ]seq_4__2549_24.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__2553_21.min1.thm12017-02-06 12:44 955  
[ ]seq_4__2556_18.min1.thm12017-02-06 12:44 591  
[ ]seq_4__2557_21.min1.thm12017-02-06 12:44 825  
[ ]seq_4__2559_20.min1.thm12017-02-06 12:44 590  
[ ]seq_4__2560_17.min1.thm12017-02-06 12:44 902  
[ ]seq_4__2579_26.min1.thm12017-02-06 12:44 763  
[ ]seq_4__2588_18.min1.thm12017-02-06 12:44 603  
[ ]seq_4__2603_30.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__2620_15.min1.thm12017-02-06 12:44 387  
[ ]seq_4__2632_25.min1.thm12017-02-06 12:44 551  
[ ]seq_4__2633_19.min1.thm12017-02-06 12:44 622  
[ ]seq_4__2644_16.min1.thm12017-02-06 12:44 449  
[ ]seq_4__2644_16.min1.thm1.tptp2017-02-06 16:47 371  
[ ]seq_4__2655_55.min1.thm12017-02-06 12:44 538  
[ ]seq_4__2656_30.min1.thm12017-02-06 12:44 940  
[ ]seq_4__2658_25.min1.thm12017-02-06 12:44 739  
[ ]seq_4__2665_14.min1.thm12017-02-06 12:44 571  
[ ]seq_4__2668_17.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__2679_14.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__2709_14.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__2717_35.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__2719_43.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__2745_28.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__2757_18.min1.thm12017-02-06 12:44 682  
[ ]seq_4__2779_13.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__2804_22.min1.thm12017-02-06 12:44 718  
[ ]seq_4__2821_18.min1.thm12017-02-06 12:44 762  
[ ]seq_4__2842_21.min1.thm12017-02-06 12:44 954  
[ ]seq_4__2865_15.min1.thm12017-02-06 12:44 387  
[ ]seq_4__2877_25.min1.thm12017-02-06 12:44 551  
[ ]seq_4__2878_19.min1.thm12017-02-06 12:44 622  
[ ]seq_4__2883_75.min1.thm12017-02-06 12:44 806  
[ ]seq_4__2892_28.min1.thm12017-02-06 12:44 599  
[ ]seq_4__2893_49.min1.thm12017-02-06 12:44 937  
[ ]seq_4__2896_28.min1.thm12017-02-06 12:44 599  
[ ]seq_4__2897_49.min1.thm12017-02-06 12:44 937  
[ ]seq_4__2906_12.min1.thm12017-02-06 12:44 859  
[ ]seq_4__2907_52.min1.thm12017-02-06 12:44 760  
[ ]seq_4__2908_16.min1.thm12017-02-06 12:44 472  
[ ]seq_4__2909_13.min1.thm12017-02-06 12:44 472  
[ ]seq_4__2927_15.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__2934_42.min1.thm12017-02-06 12:44 539  
[ ]seq_4__2948_24.min1.thm12017-02-06 12:44 865  
[ ]seq_4__2949_51.min1.thm12017-02-06 12:44 740  
[ ]seq_4__2950_48.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__2953_43.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__2971_15.min1.thm12017-02-06 12:44 558  
[ ]seq_4__2972_26.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__2973_32.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__2988_14.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__2996_14.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3016_46.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3022_46.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3044_14.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3048_17.min1.thm12017-02-06 12:44 405  
[ ]seq_4__3059_14.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3075_22.min1.thm12017-02-06 12:44 840  
[ ]seq_4__3089_17.min1.thm12017-02-06 12:44 405  
[ ]seq_4__3097_21.min1.thm12017-02-06 12:44 713  
[ ]seq_4__3110_13.min1.thm12017-02-06 12:44 441  
[ ]seq_4__3110_13.min1.thm1.tptp2017-02-06 16:47 387  
[ ]seq_4__3111_41.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3112_34.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3129_62.min1.thm12017-02-06 12:44 619  
[ ]seq_4__3130_18.min1.thm12017-02-06 12:44 511  
[ ]seq_4__3132_16.min1.thm12017-02-06 12:44 419  
[ ]seq_4__3132_16.min1.thm1.tptp2017-02-06 16:47 341  
[ ]seq_4__3141_35.min1.thm12017-02-06 12:44 568  
[ ]seq_4__3141_35.min1.thm1.tptp2017-02-06 16:47 512  
[ ]seq_4__3142_14.min1.thm12017-02-06 12:44 694  
[ ]seq_4__3155_22.min1.thm12017-02-06 12:44 631  
[ ]seq_4__3160_17.min1.thm12017-02-06 12:44 242  
[ ]seq_4__3175_39.min1.thm12017-02-06 12:44 899  
[ ]seq_4__3178_17.min1.thm12017-02-06 12:44 1.9K 
[ ]seq_4__3192_9.min1.thm12017-02-06 12:44 713  
[ ]seq_4__3202_13.min1.thm12017-02-06 12:44 183  
[ ]seq_4__3205_29.min1.thm12017-02-06 12:44 666  
[ ]seq_4__3207_14.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3208_15.min1.thm12017-02-06 12:44 347  
[ ]seq_4__3208_15.min1.thm1.tptp2017-02-06 16:47 282  
[ ]seq_4__3209_33.min1.thm12017-02-06 12:44 485  
[ ]seq_4__3210_26.min1.thm12017-02-06 12:44 691  
[ ]seq_4__3211_33.min1.thm12017-02-06 12:44 512  
[ ]seq_4__3212_29.min1.thm12017-02-06 12:44 666  
[ ]seq_4__3213_26.min1.thm12017-02-06 12:44 692  
[ ]seq_4__3214_33.min1.thm12017-02-06 12:44 514  
[ ]seq_4__3219_29.min1.thm12017-02-06 12:44 763  
[ ]seq_4__3220_53.min1.thm12017-02-06 12:44 795  
[ ]seq_4__3222_17.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3223_46.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__3225_23.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3228_27.min1.thm12017-02-06 12:44 925  
[ ]seq_4__3230_39.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3235_22.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3238_27.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3239_25.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3243_27.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3244_25.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3247_28.min1.thm12017-02-06 12:44 538  
[ ]seq_4__3249_27.min1.thm12017-02-06 12:44 925  
[ ]seq_4__3251_40.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3256_22.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3259_27.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3260_26.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3264_27.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3265_26.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3268_29.min1.thm12017-02-06 12:44 536  
[ ]seq_4__3270_29.min1.thm12017-02-06 12:44 667  
[ ]seq_4__3276_19.min1.thm12017-02-06 12:44 225  
[ ]seq_4__3279_25.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3283_32.min1.thm12017-02-06 12:44 638  
[ ]seq_4__3285_24.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__3289_18.min1.thm12017-02-06 12:44 364  
[ ]seq_4__3292_20.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3295_25.min1.thm12017-02-06 12:44 901  
[ ]seq_4__3299_25.min1.thm12017-02-06 12:44 972  
[ ]seq_4__3303_29.min1.thm12017-02-06 12:44 667  
[ ]seq_4__3309_19.min1.thm12017-02-06 12:44 225  
[ ]seq_4__3312_26.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3316_32.min1.thm12017-02-06 12:44 638  
[ ]seq_4__3318_24.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__3322_19.min1.thm12017-02-06 12:44 364  
[ ]seq_4__3325_20.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3328_26.min1.thm12017-02-06 12:44 901  
[ ]seq_4__3332_26.min1.thm12017-02-06 12:44 972  
[ ]seq_4__3338_14.min1.thm12017-02-06 12:44 468  
[ ]seq_4__3350_14.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3351_17.min1.thm12017-02-06 12:44 702  
[ ]seq_4__3365_13.min1.thm12017-02-06 12:44 863  
[ ]seq_4__3383_17.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__3386_13.min1.thm12017-02-06 12:44 863  
[ ]seq_4__3387_29.min1.thm12017-02-06 12:44 2.4K 
[ ]seq_4__3404_26.min1.thm12017-02-06 12:44 2.9K 
[ ]seq_4__3405_33.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3408_20.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__3409_25.min1.thm12017-02-06 12:44 3.1K 
[ ]seq_4__3425_13.min1.thm12017-02-06 12:44 189  
[ ]seq_4__3428_18.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3432_17.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3436_14.min1.thm12017-02-06 12:44 330  
[ ]seq_4__3450_16.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3460_14.min1.thm12017-02-06 12:44 310  
[ ]seq_4__3470_13.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__3473_32.min1.thm12017-02-06 12:44 2.2K 
[ ]seq_4__3475_23.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3494_14.min1.thm12017-02-06 12:44 206  
[ ]seq_4__3505_14.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__3507_21.min1.thm12017-02-06 12:44 235  
[ ]seq_4__3508_29.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3509_70.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__3521_49.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3529_30.min1.thm12017-02-06 12:44 562  
[ ]seq_4__3530_26.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__3532_15.min1.thm12017-02-06 12:44 861  
[ ]seq_4__3534_33.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3535_17.min1.thm12017-02-06 12:44 895  
[ ]seq_4__3544_17.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3558_18.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__3560_17.min1.thm12017-02-06 12:44 231  
[ ]seq_4__3563_21.min1.thm12017-02-06 12:44 2.5K 
[ ]seq_4__3569_24.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__3570_24.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__3572_17.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3573_25.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__3575_17.min1.thm12017-02-06 12:44 931  
[ ]seq_4__3577_22.min1.thm12017-02-06 12:44 2.0K 
[ ]seq_4__3581_26.min1.thm12017-02-06 12:44 2.4K 
[ ]seq_4__3587_21.min1.thm12017-02-06 12:44 2.5K 
[ ]seq_4__3595_15.min1.thm12017-02-06 12:44 368  
[ ]seq_4__3599_14.min1.thm12017-02-06 12:44 450  
[ ]seq_4__3620_10.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3621_17.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3634_41.min1.thm12017-02-06 12:44 673  
[ ]seq_4__3636_12.min1.thm12017-02-06 12:44 2.5K 
[ ]seq_4__3638_26.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3641_13.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3642_35.min1.thm12017-02-06 12:44 914  
[ ]seq_4__3643_17.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3644_14.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3645_27.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3648_22.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3651_24.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3657_22.min1.thm12017-02-06 12:44 953  
[ ]seq_4__3659_24.min1.thm12017-02-06 12:44 953  
[ ]seq_4__3660_50.min1.thm12017-02-06 12:44 842  
[ ]seq_4__3663_14.min1.thm12017-02-06 12:44 1.5K 
[ ]seq_4__3664_35.min1.thm12017-02-06 12:44 917  
[ ]seq_4__3665_17.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3666_12.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3669_20.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__3672_33.min1.thm12017-02-06 12:44 857  
[ ]seq_4__3673_13.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__3674_13.min1.thm12017-02-06 12:44 2.6K 
[ ]seq_4__3677_30.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3678_16.min1.thm12017-02-06 12:44 2.5K 
[ ]seq_4__3681_12.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3684_20.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__3687_33.min1.thm12017-02-06 12:44 856  
[ ]seq_4__3688_13.min1.thm12017-02-06 12:44 1.8K 
[ ]seq_4__3689_13.min1.thm12017-02-06 12:44 2.6K 
[ ]seq_4__3692_30.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3693_16.min1.thm12017-02-06 12:44 2.6K 
[ ]seq_4__3707_15.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3711_20.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__3713_26.min1.thm12017-02-06 12:44 828  
[ ]seq_4__3714_21.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3722_14.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3723_17.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3724_19.min1.thm12017-02-06 12:44 765  
[ ]seq_4__3725_23.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3726_20.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3729_11.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3732_26.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3735_27.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3741_12.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3744_15.min1.thm12017-02-06 12:44 255  
[ ]seq_4__3751_28.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__3754_22.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__3759_27.min1.thm12017-02-06 12:44 464  
[ ]seq_4__3778_15.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3782_20.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__3784_26.min1.thm12017-02-06 12:44 828  
[ ]seq_4__3793_14.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3794_17.min1.thm12017-02-06 12:44 1.4K 
[ ]seq_4__3796_23.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3797_20.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3800_11.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3803_26.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3806_27.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3812_12.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3815_15.min1.thm12017-02-06 12:44 255  
[ ]seq_4__3822_28.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__3825_22.min1.thm12017-02-06 12:44 2.1K 
[ ]seq_4__3830_27.min1.thm12017-02-06 12:44 464  
[ ]seq_4__3841_32.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3853_54.min1.thm12017-02-06 12:44 346  
[ ]seq_4__3853_54.min1.thm1.tptp2017-02-06 16:47 258  
[ ]seq_4__3855_18.min1.thm12017-02-06 12:44 486  
[ ]seq_4__3855_18.min1.thm1.tptp2017-02-06 16:47 408  
[ ]seq_4__3865_29.min1.thm12017-02-06 12:44 745  
[ ]seq_4__3867_20.min1.thm12017-02-06 12:44 2.0K 
[ ]seq_4__3878_40.min1.thm12017-02-06 12:44 520  
[ ]seq_4__3880_23.min1.thm12017-02-06 12:44 626  
[ ]seq_4__3881_27.min1.thm12017-02-06 12:44 1.1K 
[ ]seq_4__3885_16.min1.thm12017-02-06 12:44 1.7K 
[ ]seq_4__3895_25.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3905_25.min1.thm12017-02-06 12:44 882  
[ ]seq_4__3906_22.min1.thm12017-02-06 12:44 514  
[ ]seq_4__3909_26.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3913_25.min1.thm12017-02-06 12:44 882  
[ ]seq_4__3914_22.min1.thm12017-02-06 12:44 514  
[ ]seq_4__3916_31.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3917_19.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3919_25.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3924_28.min1.thm12017-02-06 12:44 917  
[ ]seq_4__3925_52.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3937_25.min1.thm12017-02-06 12:44 1.2K 
[ ]seq_4__3947_25.min1.thm12017-02-06 12:44 882  
[ ]seq_4__3948_22.min1.thm12017-02-06 12:44 514  
[ ]seq_4__3955_25.min1.thm12017-02-06 12:44 882  
[ ]seq_4__3956_22.min1.thm12017-02-06 12:44 514  
[ ]seq_4__3959_19.min1.thm12017-02-06 12:44 1.3K 
[ ]seq_4__3961_25.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3966_28.min1.thm12017-02-06 12:44 917  
[ ]seq_4__3967_52.min1.thm12017-02-06 12:44 1.6K 
[ ]seq_4__3982_56.min1.thm12017-02-06 12:44 712  
[ ]seq_4__3983_31.min1.thm12017-02-06 12:44 929  
[ ]seq_4__3985_25.min1.thm12017-02-06 12:44 680  
[ ]seq_4__3989_16.min1.thm12017-02-06 12:44 1.0K 
[ ]seq_4__3994_14.min1.thm12017-02-06 12:44 254  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80