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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]compos_1__71_15.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__73_12.min1.thm12017-02-06 12:45 751  
[ ]compos_1__86_11.min1.thm12017-02-06 12:45 537  
[ ]compos_1__117_16.min1.thm12017-02-06 12:45 372  
[ ]compos_1__120_20.min1.thm12017-02-06 12:45 739  
[ ]compos_1__121_38.min1.thm12017-02-06 12:45 535  
[ ]compos_1__121_38.min1.thm1.tptp2017-02-06 16:48 461  
[ ]compos_1__122_35.min1.thm12017-02-06 12:45 641  
[ ]compos_1__145_14.min1.thm12017-02-06 12:45 372  
[ ]compos_1__147_24.min1.thm12017-02-06 12:45 334  
[ ]compos_1__196_15.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__212_51.min1.thm12017-02-06 12:45 806  
[ ]compos_1__213_25.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__214_17.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__231_11.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__238_11.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__243_26.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__244_26.min1.thm12017-02-06 12:45 799  
[ ]compos_1__249_44.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__250_15.min1.thm12017-02-06 12:45 2.2K 
[ ]compos_1__251_8.min1.thm12017-02-06 12:45 389  
[ ]compos_1__257_25.min1.thm12017-02-06 12:45 364  
[ ]compos_1__257_25.min1.thm1.tptp2017-02-06 16:48 287  
[ ]compos_1__266_57.min1.thm12017-02-06 12:45 903  
[ ]compos_1__267_18.min1.thm12017-02-06 12:45 588  
[ ]compos_1__270_20.min1.thm12017-02-06 12:45 540  
[ ]compos_1__271_17.min1.thm12017-02-06 12:45 763  
[ ]compos_1__272_19.min1.thm12017-02-06 12:45 419  
[ ]compos_1__282_15.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__296_15.min1.thm12017-02-06 12:45 577  
[ ]compos_1__296_15.min1.thm1.tptp2017-02-06 16:48 498  
[ ]compos_1__302_23.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__303_17.min1.thm12017-02-06 12:45 482  
[ ]compos_1__312_11.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__325_30.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__326_18.min1.thm12017-02-06 12:45 440  
[ ]compos_1__340_17.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__367_14.min1.thm12017-02-06 12:45 763  
[ ]compos_1__371_16.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__373_65.min1.thm12017-02-06 12:45 571  
[ ]compos_1__374_25.min1.thm12017-02-06 12:45 455  
[ ]compos_1__376_23.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__381_18.min1.thm12017-02-06 12:45 807  
[ ]compos_1__382_17.min1.thm12017-02-06 12:45 581  
[ ]compos_1__383_19.min1.thm12017-02-06 12:45 755  
[ ]compos_1__399_14.min1.thm12017-02-06 12:45 629  
[ ]compos_1__400_13.min1.thm12017-02-06 12:45 359  
[ ]compos_1__400_13.min1.thm1.tptp2017-02-06 16:48 294  
[ ]compos_1__402_16.min1.thm12017-02-06 12:45 852  
[ ]compos_1__404_18.min1.thm12017-02-06 12:45 728  
[ ]compos_1__405_18.min1.thm12017-02-06 12:45 465  
[ ]compos_1__406_21.min1.thm12017-02-06 12:45 493  
[ ]compos_1__418_14.min1.thm12017-02-06 12:45 783  
[ ]compos_1__419_11.min1.thm12017-02-06 12:45 335  
[ ]compos_1__419_11.min1.thm1.tptp2017-02-06 16:48 270  
[ ]compos_1__421_16.min1.thm12017-02-06 12:45 929  
[ ]compos_1__422_18.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__423_17.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__425_12.min1.thm12017-02-06 12:45 924  
[ ]compos_1__426_29.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__427_11.min1.thm12017-02-06 12:45 476  
[ ]compos_1__428_23.min1.thm12017-02-06 12:45 840  
[ ]compos_1__429_22.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__430_25.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__431_23.min1.thm12017-02-06 12:45 803  
[ ]compos_1__434_14.min1.thm12017-02-06 12:45 790  
[ ]compos_1__438_51.min1.thm12017-02-06 12:45 281  
[ ]compos_1__447_19.min1.thm12017-02-06 12:45 510  
[ ]compos_1__447_19.min1.thm1.tptp2017-02-06 16:48 436  
[ ]compos_1__462_46.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__464_11.min1.thm12017-02-06 12:45 882  
[ ]compos_1__466_20.min1.thm12017-02-06 12:45 727  
[ ]compos_1__477_18.min1.thm12017-02-06 12:45 876  
[ ]compos_1__482_17.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__484_25.min1.thm12017-02-06 12:45 368  
[ ]compos_1__484_25.min1.thm1.tptp2017-02-06 16:48 286  
[ ]compos_1__488_28.min1.thm12017-02-06 12:45 843  
[ ]compos_1__489_16.min1.thm12017-02-06 12:45 595  
[ ]compos_1__506_46.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__508_11.min1.thm12017-02-06 12:45 882  
[ ]compos_1__509_39.min1.thm12017-02-06 12:45 945  
[ ]compos_1__510_37.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__511_19.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__522_11.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__533_58.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__534_15.min1.thm12017-02-06 12:45 480  
[ ]compos_1__535_31.min1.thm12017-02-06 12:45 2.0K 
[ ]compos_1__547_31.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__548_16.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__559_31.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__576_22.min1.thm12017-02-06 12:45 760  
[ ]compos_1__577_19.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__586_25.min1.thm12017-02-06 12:45 505  
[ ]compos_1__596_15.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__597_33.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__603_37.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__604_28.min1.thm12017-02-06 12:45 1.6K 
[ ]compos_1__607_27.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__612_16.min1.thm12017-02-06 12:45 746  
[ ]compos_1__612_16.min1.thm1.tptp2017-02-06 16:48 664  
[ ]compos_1__627_10.min1.thm12017-02-06 12:45 2.3K 
[ ]compos_1__650_43.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__655_25.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__656_26.min1.thm12017-02-06 12:45 769  
[ ]compos_1__657_21.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__658_11.min1.thm12017-02-06 12:45 305  
[ ]compos_1__660_26.min1.thm12017-02-06 12:45 2.2K 
[ ]compos_1__665_34.min1.thm12017-02-06 12:45 4.7K 
[ ]compos_1__683_45.min1.thm12017-02-06 12:45 2.6K 
[ ]compos_1__693_11.min1.thm12017-02-06 12:45 4.0K 
[ ]compos_1__721_43.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__724_47.min1.thm12017-02-06 12:45 2.7K 
[ ]compos_1__725_51.min1.thm12017-02-06 12:45 2.3K 
[ ]compos_1__726_40.min1.thm12017-02-06 12:45 2.5K 
[ ]compos_1__727_36.min1.thm12017-02-06 12:45 858  
[ ]compos_1__728_29.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__745_16.min1.thm12017-02-06 12:45 883  
[ ]compos_1__748_21.min1.thm12017-02-06 12:45 755  
[ ]compos_1__755_27.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__757_19.min1.thm12017-02-06 12:45 295  
[ ]compos_1__760_32.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__767_27.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__775_44.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__780_29.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__806_19.min1.thm12017-02-06 12:45 735  
[ ]compos_1__813_22.min1.thm12017-02-06 12:45 844  
[ ]compos_1__814_36.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__818_19.min1.thm12017-02-06 12:45 3.2K 
[ ]compos_1__826_10.min1.thm12017-02-06 12:45 2.1K 
[ ]compos_1__849_37.min1.thm12017-02-06 12:45 701  
[ ]compos_1__849_37.min1.thm1.tptp2017-02-06 16:48 626  
[ ]compos_1__850_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__851_31.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__861_28.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__862_28.min1.thm12017-02-06 12:45 693  
[ ]compos_1__873_29.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__879_42.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__880_23.min1.thm12017-02-06 12:45 806  
[ ]compos_1__882_14.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__885_18.min1.thm12017-02-06 12:45 735  
[ ]compos_1__890_24.min1.thm12017-02-06 12:45 2.2K 
[ ]compos_1__896_59.min1.thm12017-02-06 12:45 3.6K 
[ ]compos_1__912_32.min1.thm12017-02-06 12:45 2.2K 
[ ]compos_1__933_31.min1.thm12017-02-06 12:45 796  
[ ]compos_1__935_28.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__937_33.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__942_43.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__966_30.min1.thm12017-02-06 12:45 740  
[ ]compos_1__966_30.min1.thm1.tptp2017-02-06 16:48 665  
[ ]compos_1__973_41.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__974_18.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__975_22.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__983_31.min1.thm12017-02-06 12:45 2.4K 
[ ]compos_1__1003_22.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__1016_35.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1017_47.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1028_19.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1034_27.min1.thm12017-02-06 12:45 793  
[ ]compos_1__1034_27.min1.thm1.tptp2017-02-06 16:48 718  
[ ]compos_1__1046_11.min1.thm12017-02-06 12:45 4.2K 
[ ]compos_1__1054_13.min1.thm12017-02-06 12:45 443  
[ ]compos_1__1054_13.min1.thm1.tptp2017-02-06 16:48 370  
[ ]compos_1__1055_23.min1.thm12017-02-06 12:45 441  
[ ]compos_1__1055_23.min1.thm1.tptp2017-02-06 16:48 368  
[ ]compos_1__1062_12.min1.thm12017-02-06 12:45 771  
[ ]compos_1__1065_18.min1.thm12017-02-06 12:45 809  
[ ]compos_1__1069_22.min1.thm12017-02-06 12:45 892  
[ ]compos_1__1077_35.min1.thm12017-02-06 12:45 351  
[ ]compos_1__1088_22.min1.thm12017-02-06 12:45 424  
[ ]compos_1__1088_22.min1.thm1.tptp2017-02-06 16:48 349  
[ ]compos_1__1097_17.min1.thm12017-02-06 12:45 540  
[ ]compos_1__1098_19.min1.thm12017-02-06 12:45 763  
[ ]compos_1__1099_23.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__1103_29.min1.thm12017-02-06 12:45 949  
[ ]compos_1__1106_32.min1.thm12017-02-06 12:45 632  
[ ]compos_1__1113_24.min1.thm12017-02-06 12:45 949  
[ ]compos_1__1114_22.min1.thm12017-02-06 12:45 426  
[ ]compos_1__1114_22.min1.thm1.tptp2017-02-06 16:48 351  
[ ]compos_1__1116_18.min1.thm12017-02-06 12:45 805  
[ ]compos_1__1117_29.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1128_46.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__1129_13.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__1130_21.min1.thm12017-02-06 12:45 837  
[ ]compos_1__1130_21.min1.thm1.tptp2017-02-06 16:48 762  
[ ]compos_1__1151_14.min1.thm12017-02-06 12:45 880  
[ ]compos_1__1152_24.min1.thm12017-02-06 12:45 434  
[ ]compos_1__1152_24.min1.thm1.tptp2017-02-06 16:48 359  
[ ]compos_1__1160_20.min1.thm12017-02-06 12:45 813  
[ ]compos_1__1161_17.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1171_24.min1.thm12017-02-06 12:45 677  
[ ]compos_1__1177_27.min1.thm12017-02-06 12:45 368  
[ ]compos_1__1177_27.min1.thm1.tptp2017-02-06 16:48 291  
[ ]compos_1__1179_19.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__1180_10.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1187_24.min1.thm12017-02-06 12:45 677  
[ ]compos_1__1194_11.min1.thm12017-02-06 12:45 329  
[ ]compos_1__1197_44.min1.thm12017-02-06 12:45 436  
[ ]compos_1__1202_44.min1.thm12017-02-06 12:45 436  
[ ]compos_1__1243_33.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1244_33.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1251_27.min1.thm12017-02-06 12:45 863  
[ ]compos_1__1255_25.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1257_20.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__1258_20.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1262_47.min1.thm12017-02-06 12:45 2.0K 
[ ]compos_1__1269_48.min1.thm12017-02-06 12:45 1.6K 
[ ]compos_1__1283_32.min1.thm12017-02-06 12:45 922  
[ ]compos_1__1285_32.min1.thm12017-02-06 12:45 2.3K 
[ ]compos_1__1300_32.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1305_21.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__1307_42.min1.thm12017-02-06 12:45 2.9K 
[ ]compos_1__1310_26.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1311_28.min1.thm12017-02-06 12:45 2.1K 
[ ]compos_1__1316_10.min1.thm12017-02-06 12:45 638  
[ ]compos_1__1316_10.min1.thm1.tptp2017-02-06 16:48 576  
[ ]compos_1__1331_10.min1.thm12017-02-06 12:45 3.5K 
[ ]compos_1__1332_22.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1333_26.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__1335_29.min1.thm12017-02-06 12:45 1.6K 
[ ]compos_1__1336_35.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1339_34.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__1342_21.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1372_32.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1376_40.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__1377_34.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__1380_33.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__1387_46.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1389_54.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1394_10.min1.thm12017-02-06 12:45 686  
[ ]compos_1__1394_10.min1.thm1.tptp2017-02-06 16:48 624  
[ ]compos_1__1406_29.min1.thm12017-02-06 12:45 3.1K 
[ ]compos_1__1432_50.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__1433_49.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__1477_57.min1.thm12017-02-06 12:45 3.0K 
[ ]compos_1__1486_21.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__1495_32.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1496_40.min1.thm12017-02-06 12:45 2.1K 
[ ]compos_1__1521_46.min1.thm12017-02-06 12:45 3.9K 
[ ]compos_1__1533_33.min1.thm12017-02-06 12:45 2.1K 
[ ]compos_1__1608_64.min1.thm12017-02-06 12:45 383  
[ ]compos_1__1608_64.min1.thm1.tptp2017-02-06 16:48 318  
[ ]compos_1__1624_31.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1638_41.min1.thm12017-02-06 12:45 881  
[ ]compos_1__1651_30.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1663_38.min1.thm12017-02-06 12:45 269  
[ ]compos_1__1669_17.min1.thm12017-02-06 12:45 1.6K 
[ ]compos_1__1674_37.min1.thm12017-02-06 12:45 270  
[ ]compos_1__1675_18.min1.thm12017-02-06 12:45 816  
[ ]compos_1__1677_26.min1.thm12017-02-06 12:45 2.2K 
[ ]compos_1__1698_42.min1.thm12017-02-06 12:45 921  
[ ]compos_1__1699_29.min1.thm12017-02-06 12:45 1.6K 
[ ]compos_1__1703_22.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1716_11.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__1728_11.min1.thm12017-02-06 12:45 2.9K 
[ ]compos_1__1743_20.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__1758_11.min1.thm12017-02-06 12:45 2.5K 
[ ]compos_1__1776_29.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__1777_33.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1787_15.min1.thm12017-02-06 12:45 566  
[ ]compos_1__1787_15.min1.thm1.tptp2017-02-06 16:48 487  
[ ]compos_1__1799_24.min1.thm12017-02-06 12:45 705  
[ ]compos_1__1800_28.min1.thm12017-02-06 12:45 835  
[ ]compos_1__1802_34.min1.thm12017-02-06 12:45 962  
[ ]compos_1__1814_20.min1.thm12017-02-06 12:45 564  
[ ]compos_1__1814_20.min1.thm1.tptp2017-02-06 16:48 489  
[ ]compos_1__1815_22.min1.thm12017-02-06 12:45 736  
[ ]compos_1__1818_20.min1.thm12017-02-06 12:45 805  
[ ]compos_1__1819_29.min1.thm12017-02-06 12:45 1.6K 
[ ]compos_1__1821_41.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__1823_30.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__1825_38.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1836_15.min1.thm12017-02-06 12:45 865  
[ ]compos_1__1851_31.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1855_13.min1.thm12017-02-06 12:45 251  
[ ]compos_1__1858_32.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__1859_18.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1860_18.min1.thm12017-02-06 12:45 750  
[ ]compos_1__1870_32.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__1872_18.min1.thm12017-02-06 12:45 750  
[ ]compos_1__1878_29.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__1895_41.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1896_41.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1898_46.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__1934_33.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__1938_31.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1939_21.min1.thm12017-02-06 12:45 970  
[ ]compos_1__1950_14.min1.thm12017-02-06 12:45 2.0K 
[ ]compos_1__1952_30.min1.thm12017-02-06 12:45 2.0K 
[ ]compos_1__1957_40.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__1961_31.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1962_31.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1963_24.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__1965_26.min1.thm12017-02-06 12:45 605  
[ ]compos_1__1965_26.min1.thm1.tptp2017-02-06 16:48 541  
[ ]compos_1__1972_13.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__1977_50.min1.thm12017-02-06 12:45 505  
[ ]compos_1__1988_71.min1.thm12017-02-06 12:45 876  
[ ]compos_1__1989_43.min1.thm12017-02-06 12:45 921  
[ ]compos_1__1991_52.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__2027_31.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__2036_13.min1.thm12017-02-06 12:45 285  
[ ]compos_1__2039_43.min1.thm12017-02-06 12:45 933  
[ ]compos_1__2041_31.min1.thm12017-02-06 12:45 1.0K 
[ ]compos_1__2044_28.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__2047_15.min1.thm12017-02-06 12:45 600  
[ ]compos_1__2051_33.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__2055_20.min1.thm12017-02-06 12:45 744  
[ ]compos_1__2056_37.min1.thm12017-02-06 12:45 1.6K 
[ ]compos_1__2059_28.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__2060_22.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__2081_47.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__2085_62.min1.thm12017-02-06 12:45 778  
[ ]compos_1__2089_22.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__2103_19.min1.thm12017-02-06 12:45 512  
[ ]compos_1__2103_19.min1.thm1.tptp2017-02-06 16:48 438  
[ ]compos_1__2104_46.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__2105_38.min1.thm12017-02-06 12:45 269  
[ ]compos_1__2106_12.min1.thm12017-02-06 12:45 235  
[ ]compos_1__2107_16.min1.thm12017-02-06 12:45 357  
[ ]compos_1__2107_16.min1.thm1.tptp2017-02-06 16:48 280  
[ ]compos_1__2109_65.min1.thm12017-02-06 12:45 232  
[ ]compos_1__2119_12.min1.thm12017-02-06 12:45 403  
[ ]compos_1__2119_12.min1.thm1.tptp2017-02-06 16:48 325  
[ ]compos_1__2158_47.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__2159_29.min1.thm12017-02-06 12:45 903  
[ ]compos_1__2160_20.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__2161_16.min1.thm12017-02-06 12:45 722  
[ ]compos_1__2173_22.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__2174_17.min1.thm12017-02-06 12:45 867  
[ ]compos_1__2186_23.min1.thm12017-02-06 12:45 2.1K 
[ ]compos_1__2194_23.min1.thm12017-02-06 12:45 358  
[ ]compos_1__2194_23.min1.thm1.tptp2017-02-06 16:48 277  
[ ]compos_1__2195_27.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__2196_18.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__2197_15.min1.thm12017-02-06 12:45 866  
[ ]compos_1__2202_39.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__2207_22.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__2208_17.min1.thm12017-02-06 12:45 831  
[ ]compos_1__2214_24.min1.thm12017-02-06 12:45 1.9K 
[ ]compos_1__2215_36.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__2216_11.min1.thm12017-02-06 12:45 962  
[ ]compos_1__2223_24.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__2230_26.min1.thm12017-02-06 12:45 1.8K 
[ ]compos_1__2231_13.min1.thm12017-02-06 12:45 518  
[ ]compos_1__2232_7.min1.thm12017-02-06 12:45 715  
[ ]compos_1__2238_21.min1.thm12017-02-06 12:45 486  
[ ]compos_1__2239_17.min1.thm12017-02-06 12:45 2.3K 
[ ]compos_1__2246_16.min1.thm12017-02-06 12:45 520  
[ ]compos_1__2248_10.min1.thm12017-02-06 12:45 951  
[ ]compos_1__2254_23.min1.thm12017-02-06 12:45 361  
[ ]compos_1__2254_23.min1.thm1.tptp2017-02-06 16:48 280  
[ ]compos_1__2255_27.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__2256_35.min1.thm12017-02-06 12:45 1.4K 
[ ]compos_1__2264_18.min1.thm12017-02-06 12:45 486  
[ ]compos_1__2269_38.min1.thm12017-02-06 12:45 273  
[ ]compos_1__2272_25.min1.thm12017-02-06 12:45 1.2K 
[ ]compos_1__2274_16.min1.thm12017-02-06 12:45 2.2K 
[ ]compos_1__2280_54.min1.thm12017-02-06 12:45 576  
[ ]compos_1__2287_30.min1.thm12017-02-06 12:45 2.5K 
[ ]compos_1__2298_27.min1.thm12017-02-06 12:45 1.3K 
[ ]compos_1__2299_22.min1.thm12017-02-06 12:45 361  
[ ]compos_1__2299_22.min1.thm1.tptp2017-02-06 16:48 280  
[ ]compos_1__2301_21.min1.thm12017-02-06 12:45 868  
[ ]compos_1__2302_25.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__2303_27.min1.thm12017-02-06 12:45 1.7K 
[ ]compos_1__2305_14.min1.thm12017-02-06 12:45 2.3K 
[ ]compos_1__2314_41.min1.thm12017-02-06 12:45 925  
[ ]compos_1__2325_12.min1.thm12017-02-06 12:45 1.6K 
[ ]compos_1__2327_18.min1.thm12017-02-06 12:45 1.5K 
[ ]compos_1__2330_19.min1.thm12017-02-06 12:45 888  
[ ]compos_1__2339_63.min1.thm12017-02-06 12:45 1.1K 
[ ]compos_1__2341_14.min1.thm12017-02-06 12:45 449  
[ ]compos_1__2350_28.min1.thm12017-02-06 12:45 561  
[ ]compos_1__2370_42.min1.thm12017-02-06 12:45 949  
[ ]compos_1__2371_24.min1.thm12017-02-06 12:45 771  
[ ]compos_1__2379_22.min1.thm12017-02-06 12:45 737  
[ ]compos_1__2401_27.min1.thm12017-02-06 12:45 2.1K 
[ ]compos_1__2414_29.min1.thm12017-02-06 12:45 549  
[ ]compos_1__2426_17.min1.thm12017-02-06 12:45 948  
[ ]compos_1__2443_29.min1.thm12017-02-06 12:45 570  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80