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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bor_cant__55_14.min1.thm12017-02-06 12:45 704  
[ ]bor_cant__74_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__76_18.min1.thm12017-02-06 12:45 1.5K 
[ ]bor_cant__84_29.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__88_20.min1.thm12017-02-06 12:45 606  
[ ]bor_cant__106_17.min1.thm12017-02-06 12:45 1.5K 
[ ]bor_cant__114_28.min1.thm12017-02-06 12:45 2.8K 
[ ]bor_cant__129_36.min1.thm12017-02-06 12:45 2.6K 
[ ]bor_cant__144_26.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__145_13.min1.thm12017-02-06 12:45 2.0K 
[ ]bor_cant__157_64.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__158_40.min1.thm12017-02-06 12:45 700  
[ ]bor_cant__174_10.min1.thm12017-02-06 12:45 1.5K 
[ ]bor_cant__189_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bor_cant__191_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bor_cant__219_46.min1.thm12017-02-06 12:45 887  
[ ]bor_cant__223_27.min1.thm12017-02-06 12:45 405  
[ ]bor_cant__223_27.min1.thm1.tptp2017-02-06 16:48 330  
[ ]bor_cant__224_46.min1.thm12017-02-06 12:45 900  
[ ]bor_cant__231_18.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__234_18.min1.thm12017-02-06 12:45 2.2K 
[ ]bor_cant__240_15.min1.thm12017-02-06 12:45 228  
[ ]bor_cant__268_19.min1.thm12017-02-06 12:45 230  
[ ]bor_cant__271_15.min1.thm12017-02-06 12:45 1.1K 
[ ]bor_cant__279_22.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__281_28.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__285_46.min1.thm12017-02-06 12:45 1.3K 
[ ]bor_cant__286_36.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__291_29.min1.thm12017-02-06 12:45 1.1K 
[ ]bor_cant__293_46.min1.thm12017-02-06 12:45 2.7K 
[ ]bor_cant__294_49.min1.thm12017-02-06 12:45 2.6K 
[ ]bor_cant__295_28.min1.thm12017-02-06 12:45 4.2K 
[ ]bor_cant__364_31.min1.thm12017-02-06 12:45 957  
[ ]bor_cant__371_20.min1.thm12017-02-06 12:45 884  
[ ]bor_cant__371_20.min1.thm1.tptp2017-02-06 16:48 803  
[ ]bor_cant__377_55.min1.thm12017-02-06 12:45 882  
[ ]bor_cant__377_55.min1.thm1.tptp2017-02-06 16:48 801  
[ ]bor_cant__381_37.min1.thm12017-02-06 12:45 564  
[ ]bor_cant__392_22.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__395_23.min1.thm12017-02-06 12:45 3.0K 
[ ]bor_cant__413_15.min1.thm12017-02-06 12:45 384  
[ ]bor_cant__423_32.min1.thm12017-02-06 12:45 2.2K 
[ ]bor_cant__455_13.min1.thm12017-02-06 12:45 934  
[ ]bor_cant__455_13.min1.thm1.tptp2017-02-06 16:48 857  
[ ]bor_cant__521_33.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__537_7.min1.thm12017-02-06 12:45 2.6K 
[ ]bor_cant__552_13.min1.thm12017-02-06 12:45 900  
[ ]bor_cant__552_13.min1.thm1.tptp2017-02-06 16:48 819  
[ ]bor_cant__573_54.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__574_16.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__588_18.min1.thm12017-02-06 12:45 511  
[ ]bor_cant__597_25.min1.thm12017-02-06 12:45 787  
[ ]bor_cant__598_15.min1.thm12017-02-06 12:45 1.7K 
[ ]bor_cant__610_16.min1.thm12017-02-06 12:45 710  
[ ]bor_cant__619_47.min1.thm12017-02-06 12:45 911  
[ ]bor_cant__620_17.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__642_58.min1.thm12017-02-06 12:45 1.1K 
[ ]bor_cant__643_16.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__660_12.min1.thm12017-02-06 12:45 562  
[ ]bor_cant__663_7.min1.thm12017-02-06 12:45 2.2K 
[ ]bor_cant__667_37.min1.thm12017-02-06 12:45 2.0K 
[ ]bor_cant__669_38.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__675_25.min1.thm12017-02-06 12:45 2.6K 
[ ]bor_cant__689_25.min1.thm12017-02-06 12:45 2.6K 
[ ]bor_cant__696_7.min1.thm12017-02-06 12:45 2.2K 
[ ]bor_cant__710_12.min1.thm12017-02-06 12:45 690  
[ ]bor_cant__715_6.min1.thm12017-02-06 12:45 3.2K 
[ ]bor_cant__752_7.min1.thm12017-02-06 12:45 3.3K 
[ ]bor_cant__768_36.min1.thm12017-02-06 12:45 1.7K 
[ ]bor_cant__769_36.min1.thm12017-02-06 12:45 1.7K 
[ ]bor_cant__835_16.min1.thm12017-02-06 12:45 241  
[ ]bor_cant__839_22.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__847_23.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__860_22.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__886_37.min1.thm12017-02-06 12:45 2.0K 
[ ]bor_cant__889_12.min1.thm12017-02-06 12:45 740  
[ ]bor_cant__899_55.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__901_15.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__928_15.min1.thm12017-02-06 12:45 3.0K 
[ ]bor_cant__929_18.min1.thm12017-02-06 12:45 2.3K 
[ ]bor_cant__949_13.min1.thm12017-02-06 12:45 1.7K 
[ ]bor_cant__950_15.min1.thm12017-02-06 12:45 2.3K 
[ ]bor_cant__952_30.min1.thm12017-02-06 12:45 1.7K 
[ ]bor_cant__955_55.min1.thm12017-02-06 12:45 366  
[ ]bor_cant__975_39.min1.thm12017-02-06 12:45 741  
[ ]bor_cant__975_39.min1.thm1.tptp2017-02-06 16:48 658  
[ ]bor_cant__989_46.min1.thm12017-02-06 12:45 969  
[ ]bor_cant__996_29.min1.thm12017-02-06 12:45 932  
[ ]bor_cant__999_46.min1.thm12017-02-06 12:45 450  
[ ]bor_cant__1008_46.min1.thm12017-02-06 12:45 961  
[ ]bor_cant__1017_46.min1.thm12017-02-06 12:45 446  
[ ]bor_cant__1025_7.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__1034_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__1035_20.min1.thm12017-02-06 12:45 3.3K 
[ ]bor_cant__1049_41.min1.thm12017-02-06 12:45 2.3K 
[ ]bor_cant__1053_29.min1.thm12017-02-06 12:45 2.5K 
[ ]bor_cant__1056_35.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__1059_41.min1.thm12017-02-06 12:45 947  
[ ]bor_cant__1065_16.min1.thm12017-02-06 12:45 335  
[ ]bor_cant__1067_15.min1.thm12017-02-06 12:45 488  
[ ]bor_cant__1077_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__1078_20.min1.thm12017-02-06 12:45 3.3K 
[ ]bor_cant__1091_37.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__1107_29.min1.thm12017-02-06 12:45 3.3K 
[ ]bor_cant__1108_22.min1.thm12017-02-06 12:45 3.1K 
[ ]bor_cant__1119_15.min1.thm12017-02-06 12:45 676  
[ ]bor_cant__1225_13.min1.thm12017-02-06 12:45 958  
[ ]bor_cant__1225_13.min1.thm1.tptp2017-02-06 16:48 881  
[ ]bor_cant__1314_15.min1.thm12017-02-06 12:45 2.8K 
[ ]bor_cant__1367_53.min1.thm12017-02-06 12:45 264  
[ ]bor_cant__1368_56.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__1369_54.min1.thm12017-02-06 12:45 292  
[ ]bor_cant__1375_31.min1.thm12017-02-06 12:45 3.7K 
[ ]bor_cant__1376_17.min1.thm12017-02-06 12:45 3.5K 
[ ]bor_cant__1444_38.min1.thm12017-02-06 12:45 969  
[ ]bor_cant__1459_42.min1.thm12017-02-06 12:45 961  
[ ]bor_cant__1574_45.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__1585_31.min1.thm12017-02-06 12:45 885  
[ ]bor_cant__1614_25.min1.thm12017-02-06 12:45 2.8K 
[ ]bor_cant__1615_44.min1.thm12017-02-06 12:45 969  
[ ]bor_cant__1637_67.min1.thm12017-02-06 12:45 891  
[ ]bor_cant__1638_26.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__1647_68.min1.thm12017-02-06 12:45 877  
[ ]bor_cant__1648_27.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__1678_44.min1.thm12017-02-06 12:45 969  
[ ]bor_cant__1683_45.min1.thm12017-02-06 12:45 3.3K 
[ ]bor_cant__1707_40.min1.thm12017-02-06 12:45 1.2K 
[ ]bor_cant__1708_26.min1.thm12017-02-06 12:45 1.3K 
[ ]bor_cant__1719_40.min1.thm12017-02-06 12:45 1.2K 
[ ]bor_cant__1720_27.min1.thm12017-02-06 12:45 1.3K 
[ ]bor_cant__1789_19.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__1789_19.min1.thm1.tptp2017-02-06 16:48 1.3K 
[ ]bor_cant__1805_14.min1.thm12017-02-06 12:45 2.2K 
[ ]bor_cant__1877_19.min1.thm12017-02-06 12:45 2.3K 
[ ]bor_cant__1891_15.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__1891_15.min1.thm1.tptp2017-02-06 16:48 1.5K 
[ ]bor_cant__1902_32.min1.thm12017-02-06 12:45 3.5K 
[ ]bor_cant__1925_17.min1.thm12017-02-06 12:45 2.9K 
[ ]bor_cant__1926_18.min1.thm12017-02-06 12:45 849  
[ ]bor_cant__1934_45.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__1952_14.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__1959_23.min1.thm12017-02-06 12:45 2.9K 
[ ]bor_cant__2005_17.min1.thm12017-02-06 12:45 1.5K 
[ ]bor_cant__2013_33.min1.thm12017-02-06 12:45 877  
[ ]bor_cant__2026_13.min1.thm12017-02-06 12:45 1.7K 
[ ]bor_cant__2027_20.min1.thm12017-02-06 12:45 2.3K 
[ ]bor_cant__2029_35.min1.thm12017-02-06 12:45 1.7K 
[ ]bor_cant__2049_40.min1.thm12017-02-06 12:45 945  
[ ]bor_cant__2062_51.min1.thm12017-02-06 12:45 732  
[ ]bor_cant__2068_30.min1.thm12017-02-06 12:45 628  
[ ]bor_cant__2069_40.min1.thm12017-02-06 12:45 937  
[ ]bor_cant__2115_18.min1.thm12017-02-06 12:45 816  
[ ]bor_cant__2115_18.min1.thm1.tptp2017-02-06 16:48 772  
[ ]bor_cant__2122_31.min1.thm12017-02-06 12:45 586  
[ ]bor_cant__2124_24.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__2125_17.min1.thm12017-02-06 12:45 2.8K 
[ ]bor_cant__2141_21.min1.thm12017-02-06 12:45 451  
[ ]bor_cant__2141_21.min1.thm1.tptp2017-02-06 16:48 390  
[ ]bor_cant__2143_27.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__2143_27.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]bor_cant__2147_21.min1.thm12017-02-06 12:45 314  
[ ]bor_cant__2148_45.min1.thm12017-02-06 12:45 969  
[ ]bor_cant__2149_39.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__2149_39.min1.thm1.tptp2017-02-06 16:48 958  
[ ]bor_cant__2166_25.min1.thm12017-02-06 12:45 676  
[ ]bor_cant__2166_25.min1.thm1.tptp2017-02-06 16:48 599  
[ ]bor_cant__2167_20.min1.thm12017-02-06 12:45 903  
[ ]bor_cant__2170_51.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__2232_25.min1.thm12017-02-06 12:45 816  
[ ]bor_cant__2232_25.min1.thm1.tptp2017-02-06 16:48 772  
[ ]bor_cant__2239_42.min1.thm12017-02-06 12:45 586  
[ ]bor_cant__2241_28.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__2259_21.min1.thm12017-02-06 12:45 451  
[ ]bor_cant__2259_21.min1.thm1.tptp2017-02-06 16:48 390  
[ ]bor_cant__2261_27.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__2261_27.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]bor_cant__2265_21.min1.thm12017-02-06 12:45 314  
[ ]bor_cant__2266_45.min1.thm12017-02-06 12:45 969  
[ ]bor_cant__2267_46.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__2267_46.min1.thm1.tptp2017-02-06 16:48 958  
[ ]bor_cant__2285_32.min1.thm12017-02-06 12:45 676  
[ ]bor_cant__2285_32.min1.thm1.tptp2017-02-06 16:48 599  
[ ]bor_cant__2286_20.min1.thm12017-02-06 12:45 903  
[ ]bor_cant__2288_51.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__2350_36.min1.thm12017-02-06 12:45 750  
[ ]bor_cant__2435_56.min1.thm12017-02-06 12:45 1.2K 
[ ]bor_cant__2436_56.min1.thm12017-02-06 12:45 291  
[ ]bor_cant__2437_13.min1.thm12017-02-06 12:45 2.0K 
[ ]bor_cant__2443_7.min1.thm12017-02-06 12:45 3.6K 
[ ]bor_cant__2490_13.min1.thm12017-02-06 12:45 962  
[ ]bor_cant__2490_13.min1.thm1.tptp2017-02-06 16:48 885  
[ ]bor_cant__2508_10.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__2518_21.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__2531_23.min1.thm12017-02-06 12:45 2.1K 
[ ]bor_cant__2568_18.min1.thm12017-02-06 12:45 729  
[ ]bor_cant__2578_30.min1.thm12017-02-06 12:45 720  
[ ]bor_cant__2578_30.min1.thm1.tptp2017-02-06 16:48 643  
[ ]bor_cant__2579_19.min1.thm12017-02-06 12:45 2.1K 
[ ]bor_cant__2720_34.min1.thm12017-02-06 12:45 604  
[ ]bor_cant__2720_34.min1.thm1.tptp2017-02-06 16:48 523  
[ ]bor_cant__2729_52.min1.thm12017-02-06 12:45 953  
[ ]bor_cant__2729_52.min1.thm1.tptp2017-02-06 16:48 872  
[ ]bor_cant__2738_29.min1.thm12017-02-06 12:45 1.2K 
[ ]bor_cant__2748_38.min1.thm12017-02-06 12:45 851  
[ ]bor_cant__2748_38.min1.thm1.tptp2017-02-06 16:48 770  
[ ]bor_cant__2783_63.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__2783_63.min1.thm1.tptp2017-02-06 16:48 917  
[ ]bor_cant__2785_58.min1.thm12017-02-06 12:45 890  
[ ]bor_cant__2785_58.min1.thm1.tptp2017-02-06 16:48 809  
[ ]bor_cant__2790_18.min1.thm12017-02-06 12:45 646  
[ ]bor_cant__2822_65.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__2822_65.min1.thm1.tptp2017-02-06 16:48 1.3K 
[ ]bor_cant__2825_42.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__2861_54.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__2862_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__2891_16.min1.thm12017-02-06 12:45 2.2K 
[ ]bor_cant__2891_16.min1.thm1.tptp2017-02-06 16:48 2.1K 
[ ]bor_cant__2916_16.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__2955_58.min1.thm12017-02-06 12:45 910  
[ ]bor_cant__2955_58.min1.thm1.tptp2017-02-06 16:48 833  
[ ]bor_cant__2968_19.min1.thm12017-02-06 12:45 724  
[ ]bor_cant__2980_43.min1.thm12017-02-06 12:45 1.3K 
[ ]bor_cant__3023_26.min1.thm12017-02-06 12:45 588  
[ ]bor_cant__3025_69.min1.thm12017-02-06 12:45 586  
[ ]bor_cant__3025_69.min1.thm1.tptp2017-02-06 16:48 505  
[ ]bor_cant__3028_60.min1.thm12017-02-06 12:45 619  
[ ]bor_cant__3028_60.min1.thm1.tptp2017-02-06 16:48 538  
[ ]bor_cant__3031_69.min1.thm12017-02-06 12:45 532  
[ ]bor_cant__3032_57.min1.thm12017-02-06 12:45 1.5K 
[ ]bor_cant__3033_44.min1.thm12017-02-06 12:45 929  
[ ]bor_cant__3035_23.min1.thm12017-02-06 12:45 971  
[ ]bor_cant__3056_12.min1.thm12017-02-06 12:45 1.7K 
[ ]bor_cant__3058_23.min1.thm12017-02-06 12:45 532  
[ ]bor_cant__3065_24.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__3068_61.min1.thm12017-02-06 12:45 600  
[ ]bor_cant__3078_76.min1.thm12017-02-06 12:45 540  
[ ]bor_cant__3087_56.min1.thm12017-02-06 12:45 663  
[ ]bor_cant__3087_56.min1.thm1.tptp2017-02-06 16:48 596  
[ ]bor_cant__3123_16.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__3124_49.min1.thm12017-02-06 12:45 945  
[ ]bor_cant__3130_63.min1.thm12017-02-06 12:45 668  
[ ]bor_cant__3130_63.min1.thm1.tptp2017-02-06 16:48 609  
[ ]bor_cant__3135_63.min1.thm12017-02-06 12:45 598  
[ ]bor_cant__3166_16.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__3167_49.min1.thm12017-02-06 12:45 945  
[ ]bor_cant__3173_28.min1.thm12017-02-06 12:45 655  
[ ]bor_cant__3176_67.min1.thm12017-02-06 12:45 650  
[ ]bor_cant__3176_67.min1.thm1.tptp2017-02-06 16:48 589  
[ ]bor_cant__3182_66.min1.thm12017-02-06 12:45 580  
[ ]bor_cant__3189_29.min1.thm12017-02-06 12:45 637  
[ ]bor_cant__3190_28.min1.thm12017-02-06 12:45 896  
[ ]bor_cant__3226_69.min1.thm12017-02-06 12:45 570  
[ ]bor_cant__3228_71.min1.thm12017-02-06 12:45 578  
[ ]bor_cant__3228_71.min1.thm1.tptp2017-02-06 16:48 497  
[ ]bor_cant__3230_13.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__3231_62.min1.thm12017-02-06 12:45 613  
[ ]bor_cant__3231_62.min1.thm1.tptp2017-02-06 16:48 532  
[ ]bor_cant__3235_69.min1.thm12017-02-06 12:45 518  
[ ]bor_cant__3236_57.min1.thm12017-02-06 12:45 1.5K 
[ ]bor_cant__3237_44.min1.thm12017-02-06 12:45 937  
[ ]bor_cant__3239_21.min1.thm12017-02-06 12:45 947  
[ ]bor_cant__3254_49.min1.thm12017-02-06 12:45 661  
[ ]bor_cant__3254_49.min1.thm1.tptp2017-02-06 16:48 594  
[ ]bor_cant__3257_14.min1.thm12017-02-06 12:45 596  
[ ]bor_cant__3257_14.min1.thm1.tptp2017-02-06 16:48 515  
[ ]bor_cant__3266_64.min1.thm12017-02-06 12:45 635  
[ ]bor_cant__3266_64.min1.thm1.tptp2017-02-06 16:48 568  
[ ]bor_cant__3268_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__3318_55.min1.thm12017-02-06 12:45 588  
[ ]bor_cant__3319_49.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__3321_17.min1.thm12017-02-06 12:45 642  
[ ]bor_cant__3321_17.min1.thm1.tptp2017-02-06 16:48 575  
[ ]bor_cant__3326_52.min1.thm12017-02-06 12:45 566  
[ ]bor_cant__3331_57.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__3332_38.min1.thm12017-02-06 12:45 945  
[ ]bor_cant__3333_22.min1.thm12017-02-06 12:45 581  
[ ]bor_cant__3333_22.min1.thm1.tptp2017-02-06 16:48 500  
[ ]bor_cant__3334_17.min1.thm12017-02-06 12:45 625  
[ ]bor_cant__3336_13.min1.thm12017-02-06 12:45 650  
[ ]bor_cant__3336_13.min1.thm1.tptp2017-02-06 16:48 591  
[ ]bor_cant__3365_29.min1.thm12017-02-06 12:45 482  
[ ]bor_cant__3365_29.min1.thm1.tptp2017-02-06 16:48 396  
[ ]bor_cant__3369_39.min1.thm12017-02-06 12:45 664  
[ ]bor_cant__3378_19.min1.thm12017-02-06 12:45 478  
[ ]bor_cant__3378_19.min1.thm1.tptp2017-02-06 16:48 392  
[ ]bor_cant__3415_46.min1.thm12017-02-06 12:45 2.3K 
[ ]bor_cant__3418_21.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__3426_21.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__3511_48.min1.thm12017-02-06 12:45 909  
[ ]bor_cant__3531_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bor_cant__3538_26.min1.thm12017-02-06 12:45 1.5K 
[ ]bor_cant__3540_51.min1.thm12017-02-06 12:45 2.2K 
[ ]bor_cant__3575_25.min1.thm12017-02-06 12:45 945  
[ ]bor_cant__3580_39.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__3586_24.min1.thm12017-02-06 12:45 701  
[ ]bor_cant__3586_24.min1.thm1.tptp2017-02-06 16:48 620  
[ ]bor_cant__3593_23.min1.thm12017-02-06 12:45 261  
[ ]bor_cant__3595_37.min1.thm12017-02-06 12:45 3.6K 
[ ]bor_cant__3602_25.min1.thm12017-02-06 12:45 1.9K 
[ ]bor_cant__3603_29.min1.thm12017-02-06 12:45 2.8K 
[ ]bor_cant__3641_12.min1.thm12017-02-06 12:45 207  
[ ]bor_cant__3645_39.min1.thm12017-02-06 12:45 2.9K 
[ ]bor_cant__3646_60.min1.thm12017-02-06 12:45 342  
[ ]bor_cant__3667_60.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__3668_46.min1.thm12017-02-06 12:45 1.0K 
[ ]bor_cant__3739_50.min1.thm12017-02-06 12:45 1.7K 
[ ]bor_cant__3739_50.min1.thm1.tptp2017-02-06 16:48 1.6K 
[ ]bor_cant__3740_25.min1.thm12017-02-06 12:45 1.8K 
[ ]bor_cant__3755_37.min1.thm12017-02-06 12:45 1.6K 
[ ]bor_cant__3757_22.min1.thm12017-02-06 12:45 2.5K 
[ ]bor_cant__3758_26.min1.thm12017-02-06 12:45 2.3K 
[ ]bor_cant__3760_22.min1.thm12017-02-06 12:45 1.5K 
[ ]bor_cant__3760_22.min1.thm1.tptp2017-02-06 16:48 1.5K 
[ ]bor_cant__3768_55.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__3774_47.min1.thm12017-02-06 12:45 3.5K 
[ ]bor_cant__3777_21.min1.thm12017-02-06 12:45 898  
[ ]bor_cant__3812_45.min1.thm12017-02-06 12:45 871  
[ ]bor_cant__3819_20.min1.thm12017-02-06 12:45 794  
[ ]bor_cant__3861_44.min1.thm12017-02-06 12:45 885  
[ ]bor_cant__3894_25.min1.thm12017-02-06 12:45 802  
[ ]bor_cant__3897_26.min1.thm12017-02-06 12:45 836  
[ ]bor_cant__3906_21.min1.thm12017-02-06 12:45 2.0K 
[ ]bor_cant__3908_16.min1.thm12017-02-06 12:45 2.5K 
[ ]bor_cant__3930_16.min1.thm12017-02-06 12:45 2.0K 
[ ]bor_cant__3940_10.min1.thm12017-02-06 12:45 335  
[ ]bor_cant__3942_18.min1.thm12017-02-06 12:45 2.1K 
[ ]bor_cant__3945_18.min1.thm12017-02-06 12:45 2.0K 
[ ]bor_cant__4010_6.min1.thm12017-02-06 12:45 1.3K 
[ ]bor_cant__4010_6.min1.thm1.tptp2017-02-06 16:48 1.3K 
[ ]bor_cant__4044_12.min1.thm12017-02-06 12:45 1.4K 
[ ]bor_cant__4051_13.min1.thm12017-02-06 12:45 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80