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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]vectsp_5__54_6.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__60_56.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__61_18.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__63_37.min1.thm12017-02-06 12:46 499  
[ ]vectsp_5__63_37.min1.thm1.tptp2017-02-06 16:46 421  
[ ]vectsp_5__64_22.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__65_28.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__67_16.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__77_28.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__78_23.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__85_26.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__86_21.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__88_52.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__102_48.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__103_16.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__110_48.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__111_16.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__113_15.min1.thm12017-02-06 12:46 752  
[ ]vectsp_5__129_16.min1.thm12017-02-06 12:46 1.4K 
[ ]vectsp_5__131_17.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__132_28.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__133_34.min1.thm12017-02-06 12:46 664  
[ ]vectsp_5__134_73.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_5__136_52.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__138_28.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__139_16.min1.thm12017-02-06 12:46 1.4K 
[ ]vectsp_5__140_22.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__141_28.min1.thm12017-02-06 12:46 684  
[ ]vectsp_5__142_19.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__145_15.min1.thm12017-02-06 12:46 540  
[ ]vectsp_5__154_39.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__157_37.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__159_18.min1.thm12017-02-06 12:46 500  
[ ]vectsp_5__163_37.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__165_17.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__174_16.min1.thm12017-02-06 12:46 334  
[ ]vectsp_5__177_32.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__182_32.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__186_14.min1.thm12017-02-06 12:46 356  
[ ]vectsp_5__192_51.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__193_75.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__195_75.min1.thm12017-02-06 12:46 705  
[ ]vectsp_5__195_75.min1.thm1.tptp2017-02-06 16:46 647  
[ ]vectsp_5__197_17.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__205_40.min1.thm12017-02-06 12:46 342  
[ ]vectsp_5__205_40.min1.thm1.tptp2017-02-06 16:46 264  
[ ]vectsp_5__206_33.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__207_18.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__208_24.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_5__209_16.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__231_19.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__233_22.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__234_53.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__235_52.min1.thm12017-02-06 12:46 638  
[ ]vectsp_5__243_22.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_5__261_34.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__266_12.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__267_18.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__270_24.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_5__271_27.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__282_34.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__287_13.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__288_18.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__291_25.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_5__292_28.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__295_15.min1.thm12017-02-06 12:46 842  
[ ]vectsp_5__302_48.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__304_48.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__316_50.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__319_16.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__326_27.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__327_50.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__329_17.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__341_50.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__342_16.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__343_17.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__358_40.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__362_13.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__363_32.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__364_22.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__365_23.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__367_21.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__370_39.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__374_12.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__375_29.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__376_19.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__377_20.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__379_24.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__382_40.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__390_19.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__391_21.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__403_48.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__405_34.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__409_17.min1.thm12017-02-06 12:46 3.2K 
[ ]vectsp_5__422_61.min1.thm12017-02-06 12:46 298  
[ ]vectsp_5__433_26.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__434_26.min1.thm12017-02-06 12:46 562  
[ ]vectsp_5__434_26.min1.thm1.tptp2017-02-06 16:46 495  
[ ]vectsp_5__435_41.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__441_73.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__442_17.min1.thm12017-02-06 12:46 522  
[ ]vectsp_5__442_17.min1.thm1.tptp2017-02-06 16:46 442  
[ ]vectsp_5__448_49.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__450_49.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__460_74.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__461_33.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__476_45.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__478_6.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__481_16.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__492_18.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__493_30.min1.thm12017-02-06 12:46 495  
[ ]vectsp_5__493_30.min1.thm1.tptp2017-02-06 16:46 420  
[ ]vectsp_5__494_24.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__504_31.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__517_29.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__526_13.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__527_33.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__528_35.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__530_42.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__532_4.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__544_59.min1.thm12017-02-06 12:46 5.1K 
[ ]vectsp_5__560_17.min1.thm12017-02-06 12:46 712  
[ ]vectsp_5__560_17.min1.thm1.tptp2017-02-06 16:46 641  
[ ]vectsp_5__577_14.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__578_23.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__579_19.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__586_17.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_5__602_19.min1.thm12017-02-06 12:46 852  
[ ]vectsp_5__607_42.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__608_43.min1.thm12017-02-06 12:46 582  
[ ]vectsp_5__609_32.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__610_12.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__611_42.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__613_62.min1.thm12017-02-06 12:46 657  
[ ]vectsp_5__630_22.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__632_14.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__633_22.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__654_39.min1.thm12017-02-06 12:46 576  
[ ]vectsp_5__654_39.min1.thm1.tptp2017-02-06 16:46 514  
[ ]vectsp_5__659_12.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__660_15.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__661_29.min1.thm12017-02-06 12:46 516  
[ ]vectsp_5__661_29.min1.thm1.tptp2017-02-06 16:46 454  
[ ]vectsp_5__662_25.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__663_32.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__665_26.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__666_20.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__688_12.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__689_46.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__692_12.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__693_46.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__695_67.min1.thm12017-02-06 12:46 874  
[ ]vectsp_5__706_53.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__707_28.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__710_45.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__716_37.min1.thm12017-02-06 12:46 722  
[ ]vectsp_5__720_23.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__721_54.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__722_23.min1.thm12017-02-06 12:46 3.2K 
[ ]vectsp_5__724_20.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__760_50.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__765_24.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__776_30.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__791_26.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__792_20.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__812_21.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__815_19.min1.thm12017-02-06 12:46 432  
[ ]vectsp_5__815_19.min1.thm1.tptp2017-02-06 16:46 366  
[ ]vectsp_5__816_37.min1.thm12017-02-06 12:46 356  
[ ]vectsp_5__816_37.min1.thm1.tptp2017-02-06 16:46 278  
[ ]vectsp_5__817_35.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__818_40.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__819_28.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__820_21.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__823_19.min1.thm12017-02-06 12:46 434  
[ ]vectsp_5__823_19.min1.thm1.tptp2017-02-06 16:46 368  
[ ]vectsp_5__824_37.min1.thm12017-02-06 12:46 358  
[ ]vectsp_5__824_37.min1.thm1.tptp2017-02-06 16:46 280  
[ ]vectsp_5__825_35.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__827_43.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__828_30.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__830_32.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__832_28.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__836_43.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__837_30.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__839_32.min1.thm12017-02-06 12:46 3.3K 
[ ]vectsp_5__841_28.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__844_24.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__845_23.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__850_22.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__851_28.min1.thm12017-02-06 12:46 506  
[ ]vectsp_5__852_16.min1.thm12017-02-06 12:46 633  
[ ]vectsp_5__852_16.min1.thm1.tptp2017-02-06 16:46 561  
[ ]vectsp_5__856_22.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__857_28.min1.thm12017-02-06 12:46 506  
[ ]vectsp_5__858_16.min1.thm12017-02-06 12:46 633  
[ ]vectsp_5__858_16.min1.thm1.tptp2017-02-06 16:46 561  
[ ]vectsp_5__861_17.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_5__891_31.min1.thm12017-02-06 12:46 601  
[ ]vectsp_5__891_31.min1.thm1.tptp2017-02-06 16:46 542  
[ ]vectsp_5__892_31.min1.thm12017-02-06 12:46 137  
[ ]vectsp_5__894_22.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_5__898_20.min1.thm12017-02-06 12:46 659  
[ ]vectsp_5__901_16.min1.thm12017-02-06 12:46 629  
[ ]vectsp_5__909_31.min1.thm12017-02-06 12:46 642  
[ ]vectsp_5__910_21.min1.thm12017-02-06 12:46 947  
[ ]vectsp_5__912_10.min1.thm12017-02-06 12:46 769  
[ ]vectsp_5__913_20.min1.thm12017-02-06 12:46 444  
[ ]vectsp_5__917_42.min1.thm12017-02-06 12:46 441  
[ ]vectsp_5__917_42.min1.thm1.tptp2017-02-06 16:46 355  
[ ]vectsp_5__918_44.min1.thm12017-02-06 12:46 135  
[ ]vectsp_5__919_45.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__921_19.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_5__922_24.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_5__923_21.min1.thm12017-02-06 12:46 887  
[ ]vectsp_5__924_21.min1.thm12017-02-06 12:46 708  
[ ]vectsp_5__940_55.min1.thm12017-02-06 12:46 517  
[ ]vectsp_5__940_55.min1.thm1.tptp2017-02-06 16:46 454  
[ ]vectsp_5__941_23.min1.thm12017-02-06 12:46 517  
[ ]vectsp_5__941_23.min1.thm1.tptp2017-02-06 16:46 454  
[ ]vectsp_5__944_53.min1.thm12017-02-06 12:46 513  
[ ]vectsp_5__944_53.min1.thm1.tptp2017-02-06 16:46 450  
[ ]vectsp_5__945_22.min1.thm12017-02-06 12:46 513  
[ ]vectsp_5__945_22.min1.thm1.tptp2017-02-06 16:46 450  
[ ]vectsp_5__947_19.min1.thm12017-02-06 12:46 446  
[ ]vectsp_5__947_19.min1.thm1.tptp2017-02-06 16:46 394  
[ ]vectsp_5__959_16.min1.thm12017-02-06 12:46 405  
[ ]vectsp_5__959_16.min1.thm1.tptp2017-02-06 16:46 325  
[ ]vectsp_5__973_15.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__1002_44.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1004_71.min1.thm12017-02-06 12:46 749  
[ ]vectsp_5__1004_71.min1.thm1.tptp2017-02-06 16:46 700  
[ ]vectsp_5__1051_17.min1.thm12017-02-06 12:46 209  
[ ]vectsp_5__1070_30.min1.thm12017-02-06 12:46 1.4K 
[ ]vectsp_5__1071_51.min1.thm12017-02-06 12:46 143  
[ ]vectsp_5__1074_26.min1.thm12017-02-06 12:46 502  
[ ]vectsp_5__1074_26.min1.thm1.tptp2017-02-06 16:46 422  
[ ]vectsp_5__1085_26.min1.thm12017-02-06 12:46 515  
[ ]vectsp_5__1085_26.min1.thm1.tptp2017-02-06 16:46 460  
[ ]vectsp_5__1088_23.min1.thm12017-02-06 12:46 718  
[ ]vectsp_5__1091_38.min1.thm12017-02-06 12:46 832  
[ ]vectsp_5__1092_52.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1093_42.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_5__1095_45.min1.thm12017-02-06 12:46 602  
[ ]vectsp_5__1107_28.min1.thm12017-02-06 12:46 627  
[ ]vectsp_5__1110_26.min1.thm12017-02-06 12:46 726  
[ ]vectsp_5__1113_28.min1.thm12017-02-06 12:46 627  
[ ]vectsp_5__1116_26.min1.thm12017-02-06 12:46 728  
[ ]vectsp_5__1119_41.min1.thm12017-02-06 12:46 843  
[ ]vectsp_5__1122_41.min1.thm12017-02-06 12:46 844  
[ ]vectsp_5__1123_49.min1.thm12017-02-06 12:46 949  
[ ]vectsp_5__1125_28.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__1129_46.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_5__1130_64.min1.thm12017-02-06 12:46 3.7K 
[ ]vectsp_5__1133_29.min1.thm12017-02-06 12:46 3.4K 
[ ]vectsp_5__1134_29.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1137_49.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__1138_34.min1.thm12017-02-06 12:46 838  
[ ]vectsp_5__1139_33.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_5__1144_46.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_5__1145_64.min1.thm12017-02-06 12:46 3.7K 
[ ]vectsp_5__1148_29.min1.thm12017-02-06 12:46 3.4K 
[ ]vectsp_5__1149_29.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1152_49.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__1153_34.min1.thm12017-02-06 12:46 834  
[ ]vectsp_5__1154_33.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_5__1157_26.min1.thm12017-02-06 12:46 454  
[ ]vectsp_5__1163_26.min1.thm12017-02-06 12:46 619  
[ ]vectsp_5__1166_24.min1.thm12017-02-06 12:46 718  
[ ]vectsp_5__1169_39.min1.thm12017-02-06 12:46 832  
[ ]vectsp_5__1170_23.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1173_42.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__1174_28.min1.thm12017-02-06 12:46 705  
[ ]vectsp_5__1175_27.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_5__1178_24.min1.thm12017-02-06 12:46 626  
[ ]vectsp_5__1181_21.min1.thm12017-02-06 12:46 1.0K 
[ ]vectsp_5__1183_18.min1.thm12017-02-06 12:46 824  
[ ]vectsp_5__1184_25.min1.thm12017-02-06 12:46 3.4K 
[ ]vectsp_5__1186_33.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1194_23.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1195_23.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1196_28.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__1199_28.min1.thm12017-02-06 12:46 623  
[ ]vectsp_5__1202_26.min1.thm12017-02-06 12:46 726  
[ ]vectsp_5__1204_22.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__1207_41.min1.thm12017-02-06 12:46 843  
[ ]vectsp_5__1208_24.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1212_45.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1213_30.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1214_27.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1215_32.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__1220_51.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_5__1227_36.min1.thm12017-02-06 12:46 697  
[ ]vectsp_5__1227_36.min1.thm1.tptp2017-02-06 16:46 638  
[ ]vectsp_5__1232_37.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1233_41.min1.thm12017-02-06 12:46 918  
[ ]vectsp_5__1234_26.min1.thm12017-02-06 12:46 736  
[ ]vectsp_5__1235_27.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__1262_24.min1.thm12017-02-06 12:46 1.0K 
[ ]vectsp_5__1263_29.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1271_22.min1.thm12017-02-06 12:46 1.0K 
[ ]vectsp_5__1279_31.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__1283_18.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1287_49.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1288_35.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1290_41.min1.thm12017-02-06 12:46 624  
[ ]vectsp_5__1299_21.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1302_21.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1303_36.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_5__1304_22.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__1309_19.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1310_32.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__1311_20.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1314_29.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1323_24.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1325_19.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1327_25.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__1332_36.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1336_25.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1337_25.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1340_41.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1341_26.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1342_23.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1353_28.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__1364_44.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_5__1365_29.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1366_26.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1367_24.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1371_41.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1372_26.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1373_23.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1379_51.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_5__1380_31.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1383_15.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1384_20.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1388_18.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1398_38.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1400_35.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1401_21.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1411_38.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1412_17.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1420_36.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1421_17.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1429_31.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1430_37.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1431_17.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1438_33.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1439_25.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__1440_16.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_5__1446_70.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_5__1454_49.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_5__1455_17.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__1464_31.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1465_36.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1466_17.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1473_13.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__1474_17.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_5__1490_12.min1.thm12017-02-06 12:46 3.2K 
[ ]vectsp_5__1492_18.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1493_12.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_5__1495_18.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1504_21.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1508_16.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1514_21.min1.thm12017-02-06 12:46 3.3K 
[ ]vectsp_5__1521_14.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1523_32.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1524_14.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1525_36.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1528_14.min1.thm12017-02-06 12:46 548  
[ ]vectsp_5__1537_39.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1544_35.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1547_19.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1554_19.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1569_16.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1570_25.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1571_25.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1572_29.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1574_18.min1.thm12017-02-06 12:46 3.3K 
[ ]vectsp_5__1575_25.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__1576_25.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1577_29.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1578_23.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1579_23.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1584_25.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1586_17.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__1587_25.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1588_48.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1589_21.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1591_16.min1.thm12017-02-06 12:46 438  
[ ]vectsp_5__1596_26.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__1601_41.min1.thm12017-02-06 12:46 356  
[ ]vectsp_5__1601_41.min1.thm1.tptp2017-02-06 16:46 278  
[ ]vectsp_5__1603_15.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__1605_23.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_5__1606_16.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__1607_19.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1611_15.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1613_15.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1614_17.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1616_19.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1618_23.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__1620_24.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1622_51.min1.thm12017-02-06 12:46 657  
[ ]vectsp_5__1624_14.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__1626_18.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1627_14.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__1628_20.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1630_18.min1.thm12017-02-06 12:46 726  
[ ]vectsp_5__1631_33.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1632_20.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1633_33.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1651_43.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__1652_53.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__1653_15.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__1662_20.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1663_13.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1664_24.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1666_13.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1667_15.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_5__1668_24.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1670_18.min1.thm12017-02-06 12:46 3.4K 
[ ]vectsp_5__1672_22.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1673_18.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1674_11.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__1675_17.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_5__1685_65.min1.thm12017-02-06 12:46 3.3K 
[ ]vectsp_5__1695_42.min1.thm12017-02-06 12:46 791  
[ ]vectsp_5__1698_21.min1.thm12017-02-06 12:46 644  
[ ]vectsp_5__1698_21.min1.thm1.tptp2017-02-06 16:46 576  
[ ]vectsp_5__1699_20.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1701_42.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__1706_25.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1707_29.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1709_29.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_5__1711_12.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1713_20.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1714_12.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1715_22.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1716_21.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_5__1717_31.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_5__1718_19.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__1720_17.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1721_13.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1736_35.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__1740_21.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_5__1741_19.min1.thm12017-02-06 12:46 3.5K 
[ ]vectsp_5__1749_32.min1.thm12017-02-06 12:46 4.7K 
[ ]vectsp_5__1750_23.min1.thm12017-02-06 12:46 3.2K 
[ ]vectsp_5__1751_19.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_5__1761_30.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1762_35.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__1764_74.min1.thm12017-02-06 12:46 4.2K 
[ ]vectsp_5__1766_30.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1767_72.min1.thm12017-02-06 12:46 3.2K 
[ ]vectsp_5__1778_30.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1779_35.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__1781_74.min1.thm12017-02-06 12:46 4.2K 
[ ]vectsp_5__1783_30.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1784_72.min1.thm12017-02-06 12:46 3.2K 
[ ]vectsp_5__1799_31.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1800_17.min1.thm12017-02-06 12:46 3.4K 
[ ]vectsp_5__1809_31.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1810_17.min1.thm12017-02-06 12:46 3.7K 
[ ]vectsp_5__1819_31.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1820_17.min1.thm12017-02-06 12:46 3.7K 
[ ]vectsp_5__1829_31.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1830_17.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1839_31.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__1840_17.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_5__1860_16.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1862_16.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1865_20.min1.thm12017-02-06 12:46 690  
[ ]vectsp_5__1882_58.min1.thm12017-02-06 12:46 603  
[ ]vectsp_5__1884_15.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__1886_15.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__1887_27.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__1908_16.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1910_16.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_5__1913_20.min1.thm12017-02-06 12:46 690  
[ ]vectsp_5__1930_58.min1.thm12017-02-06 12:46 603  
[ ]vectsp_5__1932_15.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__1934_15.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__1935_28.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__2035_19.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__2059_13.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__2062_13.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_5__2075_48.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_5__2081_33.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__2085_30.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__2090_30.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__2100_26.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_5__2101_14.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__2101_14.min1.thm1.tptp2017-02-06 16:46 1.7K 
[ ]vectsp_5__2122_27.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__2146_15.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_5__2147_32.min1.thm12017-02-06 12:46 566  
[ ]vectsp_5__2147_32.min1.thm1.tptp2017-02-06 16:46 493  
[ ]vectsp_5__2148_32.min1.thm12017-02-06 12:46 566  
[ ]vectsp_5__2148_32.min1.thm1.tptp2017-02-06 16:46 493  
[ ]vectsp_5__2150_48.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__2152_36.min1.thm12017-02-06 12:46 343  
[ ]vectsp_5__2152_36.min1.thm1.tptp2017-02-06 16:46 257  
[ ]vectsp_5__2154_36.min1.thm12017-02-06 12:46 343  
[ ]vectsp_5__2154_36.min1.thm1.tptp2017-02-06 16:46 257  
[ ]vectsp_5__2161_14.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_5__2164_19.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_5__2169_34.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_5__2173_30.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_5__2177_16.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_5__2179_33.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_5__2199_17.min1.thm12017-02-06 12:46 1.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80