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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]convex2__42_25.min1.thm12017-02-06 12:45 305  
[ ]convex2__47_16.min1.thm12017-02-06 12:45 753  
[ ]convex2__47_16.min1.thm1.tptp2017-02-06 16:48 728  
[ ]convex2__80_16.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__82_17.min1.thm12017-02-06 12:45 1.8K 
[ ]convex2__87_38.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__90_20.min1.thm12017-02-06 12:45 938  
[ ]convex2__95_24.min1.thm12017-02-06 12:45 2.3K 
[ ]convex2__99_55.min1.thm12017-02-06 12:45 938  
[ ]convex2__139_16.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__141_17.min1.thm12017-02-06 12:45 1.8K 
[ ]convex2__146_38.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__149_19.min1.thm12017-02-06 12:45 944  
[ ]convex2__158_54.min1.thm12017-02-06 12:45 944  
[ ]convex2__198_16.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__200_17.min1.thm12017-02-06 12:45 1.8K 
[ ]convex2__205_38.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__208_20.min1.thm12017-02-06 12:45 938  
[ ]convex2__213_24.min1.thm12017-02-06 12:45 2.3K 
[ ]convex2__217_55.min1.thm12017-02-06 12:45 938  
[ ]convex2__257_16.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__259_17.min1.thm12017-02-06 12:45 1.8K 
[ ]convex2__264_38.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__267_19.min1.thm12017-02-06 12:45 944  
[ ]convex2__272_23.min1.thm12017-02-06 12:45 2.1K 
[ ]convex2__276_54.min1.thm12017-02-06 12:45 944  
[ ]convex2__304_67.min1.thm12017-02-06 12:45 710  
[ ]convex2__305_37.min1.thm12017-02-06 12:45 1.5K 
[ ]convex2__308_58.min1.thm12017-02-06 12:45 2.5K 
[ ]convex2__315_14.min1.thm12017-02-06 12:45 528  
[ ]convex2__319_15.min1.thm12017-02-06 12:45 247  
[ ]convex2__324_27.min1.thm12017-02-06 12:45 874  
[ ]convex2__325_17.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__330_23.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__334_27.min1.thm12017-02-06 12:45 872  
[ ]convex2__342_24.min1.thm12017-02-06 12:45 2.3K 
[ ]convex2__343_28.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__345_37.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__346_23.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__347_35.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__351_36.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__359_28.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__360_23.min1.thm12017-02-06 12:45 458  
[ ]convex2__361_25.min1.thm12017-02-06 12:45 3.4K 
[ ]convex2__363_33.min1.thm12017-02-06 12:45 1.6K 
[ ]convex2__372_19.min1.thm12017-02-06 12:45 615  
[ ]convex2__373_19.min1.thm12017-02-06 12:45 625  
[ ]convex2__377_31.min1.thm12017-02-06 12:45 2.6K 
[ ]convex2__378_25.min1.thm12017-02-06 12:45 862  
[ ]convex2__382_23.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__384_30.min1.thm12017-02-06 12:45 1.8K 
[ ]convex2__389_29.min1.thm12017-02-06 12:45 874  
[ ]convex2__393_30.min1.thm12017-02-06 12:45 1.6K 
[ ]convex2__395_24.min1.thm12017-02-06 12:45 802  
[ ]convex2__397_21.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__398_31.min1.thm12017-02-06 12:45 1.5K 
[ ]convex2__402_32.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__408_19.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__410_27.min1.thm12017-02-06 12:45 2.6K 
[ ]convex2__412_23.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__413_23.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__414_27.min1.thm12017-02-06 12:45 2.6K 
[ ]convex2__419_44.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__420_27.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__423_33.min1.thm12017-02-06 12:45 1.6K 
[ ]convex2__425_68.min1.thm12017-02-06 12:45 2.9K 
[ ]convex2__441_29.min1.thm12017-02-06 12:45 2.6K 
[ ]convex2__442_30.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__444_49.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__445_29.min1.thm12017-02-06 12:45 2.7K 
[ ]convex2__447_25.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__448_30.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__450_29.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__451_28.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__452_26.min1.thm12017-02-06 12:45 701  
[ ]convex2__482_24.min1.thm12017-02-06 12:45 916  
[ ]convex2__484_21.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__489_32.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__495_27.min1.thm12017-02-06 12:45 2.6K 
[ ]convex2__512_28.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__513_23.min1.thm12017-02-06 12:45 458  
[ ]convex2__543_16.min1.thm12017-02-06 12:45 794  
[ ]convex2__545_14.min1.thm12017-02-06 12:45 3.1K 
[ ]convex2__550_23.min1.thm12017-02-06 12:45 955  
[ ]convex2__552_27.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__555_37.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__557_27.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__558_22.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__560_23.min1.thm12017-02-06 12:45 461  
[ ]convex2__567_18.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__569_18.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__571_20.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__575_17.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__576_25.min1.thm12017-02-06 12:45 909  
[ ]convex2__588_16.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__593_49.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__594_28.min1.thm12017-02-06 12:45 1.5K 
[ ]convex2__617_13.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__618_29.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__620_13.min1.thm12017-02-06 12:45 189  
[ ]convex2__625_45.min1.thm12017-02-06 12:45 459  
[ ]convex2__625_45.min1.thm1.tptp2017-02-06 16:48 373  
[ ]convex2__628_20.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__641_24.min1.thm12017-02-06 12:45 952  
[ ]convex2__653_22.min1.thm12017-02-06 12:45 916  
[ ]convex2__658_50.min1.thm12017-02-06 12:45 2.5K 
[ ]convex2__668_25.min1.thm12017-02-06 12:45 743  
[ ]convex2__673_35.min1.thm12017-02-06 12:45 2.2K 
[ ]convex2__681_16.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__682_48.min1.thm12017-02-06 12:45 1.6K 
[ ]convex2__697_28.min1.thm12017-02-06 12:45 1.6K 
[ ]convex2__699_20.min1.thm12017-02-06 12:45 711  
[ ]convex2__700_28.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__704_26.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__705_27.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__708_54.min1.thm12017-02-06 12:45 1.6K 
[ ]convex2__711_54.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__713_55.min1.thm12017-02-06 12:45 2.5K 
[ ]convex2__715_33.min1.thm12017-02-06 12:45 741  
[ ]convex2__716_31.min1.thm12017-02-06 12:45 1.6K 
[ ]convex2__721_20.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__727_14.min1.thm12017-02-06 12:45 510  
[ ]convex2__747_55.min1.thm12017-02-06 12:45 421  
[ ]convex2__765_14.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__766_41.min1.thm12017-02-06 12:45 1.5K 
[ ]convex2__772_50.min1.thm12017-02-06 12:45 1.6K 
[ ]convex2__774_47.min1.thm12017-02-06 12:45 2.4K 
[ ]convex2__775_28.min1.thm12017-02-06 12:45 694  
[ ]convex2__784_14.min1.thm12017-02-06 12:45 695  
[ ]convex2__785_23.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__787_21.min1.thm12017-02-06 12:45 3.8K 
[ ]convex2__789_20.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__793_14.min1.thm12017-02-06 12:45 248  
[ ]convex2__808_13.min1.thm12017-02-06 12:45 379  
[ ]convex2__808_13.min1.thm1.tptp2017-02-06 16:48 302  
[ ]convex2__809_33.min1.thm12017-02-06 12:45 522  
[ ]convex2__811_14.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__812_13.min1.thm12017-02-06 12:45 944  
[ ]convex2__813_49.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__819_50.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__821_47.min1.thm12017-02-06 12:45 2.2K 
[ ]convex2__822_28.min1.thm12017-02-06 12:45 755  
[ ]convex2__831_14.min1.thm12017-02-06 12:45 699  
[ ]convex2__832_23.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__834_21.min1.thm12017-02-06 12:45 3.8K 
[ ]convex2__836_20.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__837_21.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__840_14.min1.thm12017-02-06 12:45 254  
[ ]convex2__854_39.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__866_29.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__868_14.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__869_29.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__870_19.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__874_35.min1.thm12017-02-06 12:45 695  
[ ]convex2__874_35.min1.thm1.tptp2017-02-06 16:48 631  
[ ]convex2__883_29.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__885_19.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__886_29.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__887_23.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__890_9.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__893_38.min1.thm12017-02-06 12:45 695  
[ ]convex2__893_38.min1.thm1.tptp2017-02-06 16:48 631  
[ ]convex2__894_17.min1.thm12017-02-06 12:45 881  
[ ]convex2__902_45.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__903_52.min1.thm12017-02-06 12:45 1.5K 
[ ]convex2__909_23.min1.thm12017-02-06 12:45 1.5K 
[ ]convex2__911_29.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__912_18.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__913_34.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__914_19.min1.thm12017-02-06 12:45 737  
[ ]convex2__923_34.min1.thm12017-02-06 12:45 740  
[ ]convex2__925_18.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__926_29.min1.thm12017-02-06 12:45 647  
[ ]convex2__927_23.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__928_19.min1.thm12017-02-06 12:45 1.5K 
[ ]convex2__931_17.min1.thm12017-02-06 12:45 923  
[ ]convex2__935_75.min1.thm12017-02-06 12:45 758  
[ ]convex2__935_75.min1.thm1.tptp2017-02-06 16:48 699  
[ ]convex2__946_39.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__948_36.min1.thm12017-02-06 12:45 2.4K 
[ ]convex2__949_36.min1.thm12017-02-06 12:45 2.4K 
[ ]convex2__964_23.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__969_21.min1.thm12017-02-06 12:45 298  
[ ]convex2__975_28.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__999_26.min1.thm12017-02-06 12:45 598  
[ ]convex2__1003_30.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1004_29.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1011_22.min1.thm12017-02-06 12:45 586  
[ ]convex2__1013_23.min1.thm12017-02-06 12:45 656  
[ ]convex2__1013_23.min1.thm1.tptp2017-02-06 16:48 570  
[ ]convex2__1021_23.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1026_21.min1.thm12017-02-06 12:45 298  
[ ]convex2__1032_28.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1056_26.min1.thm12017-02-06 12:45 598  
[ ]convex2__1060_30.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1061_29.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1068_22.min1.thm12017-02-06 12:45 586  
[ ]convex2__1070_23.min1.thm12017-02-06 12:45 656  
[ ]convex2__1070_23.min1.thm1.tptp2017-02-06 16:48 570  
[ ]convex2__1073_16.min1.thm12017-02-06 12:45 558  
[ ]convex2__1079_17.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1092_14.min1.thm12017-02-06 12:45 856  
[ ]convex2__1098_36.min1.thm12017-02-06 12:45 881  
[ ]convex2__1099_22.min1.thm12017-02-06 12:45 822  
[ ]convex2__1100_35.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1101_17.min1.thm12017-02-06 12:45 954  
[ ]convex2__1122_15.min1.thm12017-02-06 12:45 222  
[ ]convex2__1125_20.min1.thm12017-02-06 12:45 377  
[ ]convex2__1129_20.min1.thm12017-02-06 12:45 380  
[ ]convex2__1132_16.min1.thm12017-02-06 12:45 288  
[ ]convex2__1143_15.min1.thm12017-02-06 12:45 588  
[ ]convex2__1144_35.min1.thm12017-02-06 12:45 661  
[ ]convex2__1146_15.min1.thm12017-02-06 12:45 222  
[ ]convex2__1149_23.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1150_18.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1151_23.min1.thm12017-02-06 12:45 839  
[ ]convex2__1155_24.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1156_23.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1159_16.min1.thm12017-02-06 12:45 236  
[ ]convex2__1161_24.min1.thm12017-02-06 12:45 385  
[ ]convex2__1161_24.min1.thm1.tptp2017-02-06 16:48 321  
[ ]convex2__1167_58.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1175_16.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1179_24.min1.thm12017-02-06 12:45 423  
[ ]convex2__1179_24.min1.thm1.tptp2017-02-06 16:48 359  
[ ]convex2__1186_37.min1.thm12017-02-06 12:45 546  
[ ]convex2__1190_26.min1.thm12017-02-06 12:45 423  
[ ]convex2__1190_26.min1.thm1.tptp2017-02-06 16:48 359  
[ ]convex2__1191_17.min1.thm12017-02-06 12:45 538  
[ ]convex2__1204_34.min1.thm12017-02-06 12:45 2.1K 
[ ]convex2__1221_21.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1234_29.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__1238_29.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__1242_29.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__1243_38.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1251_26.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__1255_27.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1260_73.min1.thm12017-02-06 12:45 719  
[ ]convex2__1275_16.min1.thm12017-02-06 12:45 758  
[ ]convex2__1276_37.min1.thm12017-02-06 12:45 643  
[ ]convex2__1277_24.min1.thm12017-02-06 12:45 954  
[ ]convex2__1278_22.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1279_23.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1281_22.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1282_33.min1.thm12017-02-06 12:45 647  
[ ]convex2__1283_49.min1.thm12017-02-06 12:45 646  
[ ]convex2__1284_21.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1285_27.min1.thm12017-02-06 12:45 873  
[ ]convex2__1286_19.min1.thm12017-02-06 12:45 902  
[ ]convex2__1288_46.min1.thm12017-02-06 12:45 617  
[ ]convex2__1303_17.min1.thm12017-02-06 12:45 758  
[ ]convex2__1304_37.min1.thm12017-02-06 12:45 643  
[ ]convex2__1305_25.min1.thm12017-02-06 12:45 954  
[ ]convex2__1306_22.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1307_23.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1309_22.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1310_33.min1.thm12017-02-06 12:45 647  
[ ]convex2__1311_49.min1.thm12017-02-06 12:45 646  
[ ]convex2__1312_21.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1313_28.min1.thm12017-02-06 12:45 873  
[ ]convex2__1314_19.min1.thm12017-02-06 12:45 902  
[ ]convex2__1316_47.min1.thm12017-02-06 12:45 617  
[ ]convex2__1331_31.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1333_22.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1334_27.min1.thm12017-02-06 12:45 962  
[ ]convex2__1342_22.min1.thm12017-02-06 12:45 892  
[ ]convex2__1343_26.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1345_22.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1347_25.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1351_16.min1.thm12017-02-06 12:45 586  
[ ]convex2__1357_39.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1364_38.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__1370_19.min1.thm12017-02-06 12:45 946  
[ ]convex2__1370_19.min1.thm1.tptp2017-02-06 16:48 864  
[ ]convex2__1380_29.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1381_26.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1382_28.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1389_24.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1390_26.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1392_19.min1.thm12017-02-06 12:45 796  
[ ]convex2__1392_19.min1.thm1.tptp2017-02-06 16:48 720  
[ ]convex2__1408_17.min1.thm12017-02-06 12:45 758  
[ ]convex2__1409_37.min1.thm12017-02-06 12:45 643  
[ ]convex2__1410_25.min1.thm12017-02-06 12:45 954  
[ ]convex2__1411_22.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1412_23.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1414_22.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1415_33.min1.thm12017-02-06 12:45 647  
[ ]convex2__1416_49.min1.thm12017-02-06 12:45 646  
[ ]convex2__1417_21.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1418_28.min1.thm12017-02-06 12:45 873  
[ ]convex2__1419_19.min1.thm12017-02-06 12:45 902  
[ ]convex2__1421_47.min1.thm12017-02-06 12:45 617  
[ ]convex2__1422_29.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1423_25.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__1434_16.min1.thm12017-02-06 12:45 758  
[ ]convex2__1435_37.min1.thm12017-02-06 12:45 643  
[ ]convex2__1436_24.min1.thm12017-02-06 12:45 954  
[ ]convex2__1437_22.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1438_23.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1440_22.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1441_33.min1.thm12017-02-06 12:45 647  
[ ]convex2__1442_49.min1.thm12017-02-06 12:45 646  
[ ]convex2__1443_21.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1444_27.min1.thm12017-02-06 12:45 873  
[ ]convex2__1445_19.min1.thm12017-02-06 12:45 902  
[ ]convex2__1447_46.min1.thm12017-02-06 12:45 617  
[ ]convex2__1452_73.min1.thm12017-02-06 12:45 724  
[ ]convex2__1455_57.min1.thm12017-02-06 12:45 1.6K 
[ ]convex2__1456_50.min1.thm12017-02-06 12:45 1.8K 
[ ]convex2__1457_39.min1.thm12017-02-06 12:45 2.6K 
[ ]convex2__1458_34.min1.thm12017-02-06 12:45 2.2K 
[ ]convex2__1459_30.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1468_29.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1469_26.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1470_28.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1477_24.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1478_26.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1480_19.min1.thm12017-02-06 12:45 814  
[ ]convex2__1480_19.min1.thm1.tptp2017-02-06 16:48 738  
[ ]convex2__1483_58.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1486_24.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1489_30.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1493_58.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1505_26.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__1524_51.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1526_35.min1.thm12017-02-06 12:45 1.8K 
[ ]convex2__1527_31.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1529_36.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__1533_35.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1535_26.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1537_34.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1541_33.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1543_32.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1544_35.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__1549_36.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1550_29.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1553_27.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__1554_46.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__1555_31.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1556_32.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1557_51.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1558_29.min1.thm12017-02-06 12:45 3.1K 
[ ]convex2__1565_36.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1566_35.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__1569_27.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1573_29.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1581_49.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1582_53.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1585_51.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1587_35.min1.thm12017-02-06 12:45 1.8K 
[ ]convex2__1588_31.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1590_36.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__1593_33.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1598_36.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1601_27.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__1602_46.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__1603_31.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1604_32.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1605_51.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1608_36.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1611_27.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__1612_46.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__1613_31.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1614_32.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1615_51.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1619_29.min1.thm12017-02-06 12:45 2.1K 
[ ]convex2__1622_20.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__1631_31.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1633_22.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1635_25.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1639_33.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1642_47.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1644_31.min1.thm12017-02-06 12:45 1.8K 
[ ]convex2__1645_27.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1647_28.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1648_27.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1653_32.min1.thm12017-02-06 12:45 1.1K 
[ ]convex2__1656_23.min1.thm12017-02-06 12:45 1.9K 
[ ]convex2__1657_42.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__1658_27.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1659_28.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1660_47.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1664_16.min1.thm12017-02-06 12:45 2.0K 
[ ]convex2__1682_31.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1684_22.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1685_28.min1.thm12017-02-06 12:45 969  
[ ]convex2__1693_23.min1.thm12017-02-06 12:45 896  
[ ]convex2__1694_26.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1696_22.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1698_25.min1.thm12017-02-06 12:45 1.0K 
[ ]convex2__1702_16.min1.thm12017-02-06 12:45 592  
[ ]convex2__1708_40.min1.thm12017-02-06 12:45 1.2K 
[ ]convex2__1715_38.min1.thm12017-02-06 12:45 1.7K 
[ ]convex2__1721_19.min1.thm12017-02-06 12:45 954  
[ ]convex2__1721_19.min1.thm1.tptp2017-02-06 16:48 872  
[ ]convex2__1726_29.min1.thm12017-02-06 12:45 1.4K 
[ ]convex2__1729_30.min1.thm12017-02-06 12:45 1.3K 
[ ]convex2__1759_76.min1.thm12017-02-06 12:45 2.2K 
[ ]convex2__1788_20.min1.thm12017-02-06 12:45 876  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80