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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]vectsp_7__68_48.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__70_25.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__71_14.min1.thm12017-02-06 12:46 359  
[ ]vectsp_7__71_14.min1.thm1.tptp2017-02-06 16:46 277  
[ ]vectsp_7__85_74.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__92_20.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__93_19.min1.thm12017-02-06 12:46 730  
[ ]vectsp_7__95_49.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__104_17.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__105_16.min1.thm12017-02-06 12:46 807  
[ ]vectsp_7__106_21.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__110_19.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__111_19.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__113_25.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__114_49.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_7__116_13.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_7__128_23.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__129_16.min1.thm12017-02-06 12:46 739  
[ ]vectsp_7__139_15.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__149_26.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__150_19.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__155_24.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__159_16.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__162_18.min1.thm12017-02-06 12:46 306  
[ ]vectsp_7__166_22.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__169_40.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__175_14.min1.thm12017-02-06 12:46 294  
[ ]vectsp_7__181_20.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__183_17.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_7__197_21.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__203_76.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__208_31.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__209_25.min1.thm12017-02-06 12:46 795  
[ ]vectsp_7__217_33.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__219_31.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__222_57.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_7__230_37.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_7__232_21.min1.thm12017-02-06 12:46 3.3K 
[ ]vectsp_7__233_17.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__234_15.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_7__241_21.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_7__242_19.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_7__247_35.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_7__249_26.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__251_20.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_7__252_20.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__254_32.min1.thm12017-02-06 12:46 3.4K 
[ ]vectsp_7__256_16.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_7__264_38.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__277_38.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__278_28.min1.thm12017-02-06 12:46 4.2K 
[ ]vectsp_7__280_16.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__301_18.min1.thm12017-02-06 12:46 362  
[ ]vectsp_7__305_45.min1.thm12017-02-06 12:46 3.3K 
[ ]vectsp_7__306_45.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__307_45.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_7__308_41.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__309_34.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__310_38.min1.thm12017-02-06 12:46 3.6K 
[ ]vectsp_7__318_45.min1.thm12017-02-06 12:46 3.3K 
[ ]vectsp_7__319_45.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_7__320_45.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__321_40.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__322_34.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__323_38.min1.thm12017-02-06 12:46 3.4K 
[ ]vectsp_7__336_29.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__338_29.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_7__339_34.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_7__345_22.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__350_17.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__367_29.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__368_18.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__370_37.min1.thm12017-02-06 12:46 479  
[ ]vectsp_7__370_37.min1.thm1.tptp2017-02-06 16:46 401  
[ ]vectsp_7__371_58.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_7__381_22.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__383_22.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__384_60.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__386_20.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__391_16.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__392_56.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__393_23.min1.thm12017-02-06 12:46 2.7K 
[ ]vectsp_7__394_18.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__396_19.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_7__397_18.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__398_19.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__409_38.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_7__411_16.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__415_37.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__417_17.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_7__426_38.min1.thm12017-02-06 12:46 482  
[ ]vectsp_7__430_74.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__437_18.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__438_19.min1.thm12017-02-06 12:46 726  
[ ]vectsp_7__447_15.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__448_12.min1.thm12017-02-06 12:46 794  
[ ]vectsp_7__449_19.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__451_51.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__452_24.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__453_11.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_7__454_13.min1.thm12017-02-06 12:46 963  
[ ]vectsp_7__455_25.min1.thm12017-02-06 12:46 665  
[ ]vectsp_7__456_49.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_7__457_15.min1.thm12017-02-06 12:46 383  
[ ]vectsp_7__457_15.min1.thm1.tptp2017-02-06 16:46 301  
[ ]vectsp_7__458_17.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__473_30.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_7__475_34.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__476_21.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_7__477_21.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_7__480_19.min1.thm12017-02-06 12:46 1.6K 
[ ]vectsp_7__481_19.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__497_19.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_7__498_19.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__504_14.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__506_17.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__517_16.min1.thm12017-02-06 12:46 1.0K 
[ ]vectsp_7__522_27.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__523_29.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__525_21.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__527_39.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__539_15.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__552_17.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__553_46.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__554_17.min1.thm12017-02-06 12:46 396  
[ ]vectsp_7__554_17.min1.thm1.tptp2017-02-06 16:46 314  
[ ]vectsp_7__555_24.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__586_42.min1.thm12017-02-06 12:46 364  
[ ]vectsp_7__586_42.min1.thm1.tptp2017-02-06 16:46 286  
[ ]vectsp_7__587_30.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__590_36.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__592_38.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_7__594_38.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__600_37.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__601_29.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__607_76.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__616_33.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__620_13.min1.thm12017-02-06 12:46 759  
[ ]vectsp_7__621_27.min1.thm12017-02-06 12:46 528  
[ ]vectsp_7__622_51.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_7__627_42.min1.thm12017-02-06 12:46 364  
[ ]vectsp_7__627_42.min1.thm1.tptp2017-02-06 16:46 286  
[ ]vectsp_7__628_30.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__631_36.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__636_76.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__645_33.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__649_27.min1.thm12017-02-06 12:46 529  
[ ]vectsp_7__650_51.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_7__655_17.min1.thm12017-02-06 12:46 237  
[ ]vectsp_7__671_21.min1.thm12017-02-06 12:46 333  
[ ]vectsp_7__676_53.min1.thm12017-02-06 12:46 2.9K 
[ ]vectsp_7__688_27.min1.thm12017-02-06 12:46 1.0K 
[ ]vectsp_7__692_26.min1.thm12017-02-06 12:46 1.4K 
[ ]vectsp_7__693_25.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__696_22.min1.thm12017-02-06 12:46 738  
[ ]vectsp_7__699_18.min1.thm12017-02-06 12:46 726  
[ ]vectsp_7__703_42.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__746_15.min1.thm12017-02-06 12:46 427  
[ ]vectsp_7__746_15.min1.thm1.tptp2017-02-06 16:46 372  
[ ]vectsp_7__747_36.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__748_21.min1.thm12017-02-06 12:46 865  
[ ]vectsp_7__750_36.min1.thm12017-02-06 12:46 405  
[ ]vectsp_7__750_36.min1.thm1.tptp2017-02-06 16:46 327  
[ ]vectsp_7__761_46.min1.thm12017-02-06 12:46 715  
[ ]vectsp_7__768_19.min1.thm12017-02-06 12:46 698  
[ ]vectsp_7__769_26.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__772_17.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__773_38.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_7__774_60.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__778_18.min1.thm12017-02-06 12:46 590  
[ ]vectsp_7__779_29.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__781_20.min1.thm12017-02-06 12:46 908  
[ ]vectsp_7__787_18.min1.thm12017-02-06 12:46 1.0K 
[ ]vectsp_7__789_31.min1.thm12017-02-06 12:46 853  
[ ]vectsp_7__790_59.min1.thm12017-02-06 12:46 786  
[ ]vectsp_7__791_17.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__792_65.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__793_20.min1.thm12017-02-06 12:46 383  
[ ]vectsp_7__798_31.min1.thm12017-02-06 12:46 583  
[ ]vectsp_7__798_31.min1.thm1.tptp2017-02-06 16:46 502  
[ ]vectsp_7__799_37.min1.thm12017-02-06 12:46 520  
[ ]vectsp_7__800_33.min1.thm12017-02-06 12:46 528  
[ ]vectsp_7__802_16.min1.thm12017-02-06 12:46 954  
[ ]vectsp_7__803_26.min1.thm12017-02-06 12:46 876  
[ ]vectsp_7__804_26.min1.thm12017-02-06 12:46 521  
[ ]vectsp_7__804_26.min1.thm1.tptp2017-02-06 16:46 440  
[ ]vectsp_7__808_34.min1.thm12017-02-06 12:46 1.4K 
[ ]vectsp_7__816_61.min1.thm12017-02-06 12:46 637  
[ ]vectsp_7__816_61.min1.thm1.tptp2017-02-06 16:46 560  
[ ]vectsp_7__817_19.min1.thm12017-02-06 12:46 871  
[ ]vectsp_7__818_24.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__821_19.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_7__822_23.min1.thm12017-02-06 12:46 836  
[ ]vectsp_7__824_42.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__828_13.min1.thm12017-02-06 12:46 675  
[ ]vectsp_7__831_6.min1.thm12017-02-06 12:46 769  
[ ]vectsp_7__832_13.min1.thm12017-02-06 12:46 669  
[ ]vectsp_7__833_18.min1.thm12017-02-06 12:46 592  
[ ]vectsp_7__834_25.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__837_17.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__840_49.min1.thm12017-02-06 12:46 676  
[ ]vectsp_7__844_33.min1.thm12017-02-06 12:46 729  
[ ]vectsp_7__846_44.min1.thm12017-02-06 12:46 402  
[ ]vectsp_7__846_44.min1.thm1.tptp2017-02-06 16:46 314  
[ ]vectsp_7__856_15.min1.thm12017-02-06 12:46 317  
[ ]vectsp_7__870_10.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__876_29.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_7__882_35.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__886_21.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__887_22.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__890_25.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_7__892_55.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_7__899_10.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__903_24.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__904_29.min1.thm12017-02-06 12:46 823  
[ ]vectsp_7__911_60.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__912_23.min1.thm12017-02-06 12:46 862  
[ ]vectsp_7__913_25.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__915_57.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_7__916_31.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_7__921_21.min1.thm12017-02-06 12:46 229  
[ ]vectsp_7__932_31.min1.thm12017-02-06 12:46 1.4K 
[ ]vectsp_7__933_32.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__937_22.min1.thm12017-02-06 12:46 782  
[ ]vectsp_7__940_37.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_7__943_32.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__946_17.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_7__956_35.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__958_25.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__961_23.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__964_16.min1.thm12017-02-06 12:46 310  
[ ]vectsp_7__966_13.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__968_21.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__970_18.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__971_23.min1.thm12017-02-06 12:46 624  
[ ]vectsp_7__972_23.min1.thm12017-02-06 12:46 3.2K 
[ ]vectsp_7__998_15.min1.thm12017-02-06 12:46 427  
[ ]vectsp_7__998_15.min1.thm1.tptp2017-02-06 16:46 372  
[ ]vectsp_7__999_36.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__1000_21.min1.thm12017-02-06 12:46 865  
[ ]vectsp_7__1002_36.min1.thm12017-02-06 12:46 405  
[ ]vectsp_7__1002_36.min1.thm1.tptp2017-02-06 16:46 327  
[ ]vectsp_7__1013_46.min1.thm12017-02-06 12:46 715  
[ ]vectsp_7__1020_19.min1.thm12017-02-06 12:46 698  
[ ]vectsp_7__1021_26.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__1024_17.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__1025_38.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_7__1026_37.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__1030_18.min1.thm12017-02-06 12:46 590  
[ ]vectsp_7__1031_29.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__1033_20.min1.thm12017-02-06 12:46 908  
[ ]vectsp_7__1039_18.min1.thm12017-02-06 12:46 1.0K 
[ ]vectsp_7__1041_31.min1.thm12017-02-06 12:46 853  
[ ]vectsp_7__1042_36.min1.thm12017-02-06 12:46 786  
[ ]vectsp_7__1043_17.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__1044_47.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__1045_20.min1.thm12017-02-06 12:46 383  
[ ]vectsp_7__1050_31.min1.thm12017-02-06 12:46 583  
[ ]vectsp_7__1050_31.min1.thm1.tptp2017-02-06 16:46 502  
[ ]vectsp_7__1051_37.min1.thm12017-02-06 12:46 520  
[ ]vectsp_7__1052_33.min1.thm12017-02-06 12:46 528  
[ ]vectsp_7__1054_16.min1.thm12017-02-06 12:46 954  
[ ]vectsp_7__1055_26.min1.thm12017-02-06 12:46 876  
[ ]vectsp_7__1056_26.min1.thm12017-02-06 12:46 521  
[ ]vectsp_7__1056_26.min1.thm1.tptp2017-02-06 16:46 440  
[ ]vectsp_7__1060_34.min1.thm12017-02-06 12:46 1.4K 
[ ]vectsp_7__1068_38.min1.thm12017-02-06 12:46 637  
[ ]vectsp_7__1068_38.min1.thm1.tptp2017-02-06 16:46 560  
[ ]vectsp_7__1069_19.min1.thm12017-02-06 12:46 871  
[ ]vectsp_7__1070_24.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__1073_19.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_7__1074_23.min1.thm12017-02-06 12:46 836  
[ ]vectsp_7__1076_42.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__1085_15.min1.thm12017-02-06 12:46 501  
[ ]vectsp_7__1086_59.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__1087_21.min1.thm12017-02-06 12:46 964  
[ ]vectsp_7__1089_25.min1.thm12017-02-06 12:46 1.1K 
[ ]vectsp_7__1091_30.min1.thm12017-02-06 12:46 385  
[ ]vectsp_7__1092_17.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__1095_49.min1.thm12017-02-06 12:46 676  
[ ]vectsp_7__1099_33.min1.thm12017-02-06 12:46 730  
[ ]vectsp_7__1101_44.min1.thm12017-02-06 12:46 402  
[ ]vectsp_7__1101_44.min1.thm1.tptp2017-02-06 16:46 314  
[ ]vectsp_7__1112_19.min1.thm12017-02-06 12:46 1.9K 
[ ]vectsp_7__1118_44.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__1119_26.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__1120_27.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__1121_23.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_7__1123_53.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__1124_19.min1.thm12017-02-06 12:46 414  
[ ]vectsp_7__1124_19.min1.thm1.tptp2017-02-06 16:46 332  
[ ]vectsp_7__1125_25.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__1133_20.min1.thm12017-02-06 12:46 488  
[ ]vectsp_7__1140_15.min1.thm12017-02-06 12:46 317  
[ ]vectsp_7__1152_10.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__1158_29.min1.thm12017-02-06 12:46 1.2K 
[ ]vectsp_7__1164_35.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__1168_21.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__1169_22.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__1172_25.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_7__1174_55.min1.thm12017-02-06 12:46 1.8K 
[ ]vectsp_7__1179_10.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__1183_24.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__1184_29.min1.thm12017-02-06 12:46 823  
[ ]vectsp_7__1191_42.min1.thm12017-02-06 12:46 2.3K 
[ ]vectsp_7__1192_23.min1.thm12017-02-06 12:46 862  
[ ]vectsp_7__1193_25.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__1195_57.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_7__1196_31.min1.thm12017-02-06 12:46 2.6K 
[ ]vectsp_7__1201_21.min1.thm12017-02-06 12:46 229  
[ ]vectsp_7__1212_31.min1.thm12017-02-06 12:46 1.4K 
[ ]vectsp_7__1213_32.min1.thm12017-02-06 12:46 1.3K 
[ ]vectsp_7__1217_22.min1.thm12017-02-06 12:46 782  
[ ]vectsp_7__1220_37.min1.thm12017-02-06 12:46 3.1K 
[ ]vectsp_7__1223_32.min1.thm12017-02-06 12:46 2.4K 
[ ]vectsp_7__1226_17.min1.thm12017-02-06 12:46 1.7K 
[ ]vectsp_7__1236_35.min1.thm12017-02-06 12:46 2.8K 
[ ]vectsp_7__1238_25.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__1241_23.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__1244_16.min1.thm12017-02-06 12:46 310  
[ ]vectsp_7__1246_13.min1.thm12017-02-06 12:46 896  
[ ]vectsp_7__1247_23.min1.thm12017-02-06 12:46 1.5K 
[ ]vectsp_7__1249_21.min1.thm12017-02-06 12:46 3.2K 
[ ]vectsp_7__1250_13.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__1252_21.min1.thm12017-02-06 12:46 2.5K 
[ ]vectsp_7__1266_57.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_7__1267_16.min1.thm12017-02-06 12:46 872  
[ ]vectsp_7__1279_62.min1.thm12017-02-06 12:46 2.2K 
[ ]vectsp_7__1280_31.min1.thm12017-02-06 12:46 2.1K 
[ ]vectsp_7__1282_16.min1.thm12017-02-06 12:46 310  
[ ]vectsp_7__1282_16.min1.thm1.tptp2017-02-06 16:46 224  
[ ]vectsp_7__1293_45.min1.thm12017-02-06 12:46 2.0K 
[ ]vectsp_7__1294_31.min1.thm12017-02-06 12:46 3.0K 
[ ]vectsp_7__1296_16.min1.thm12017-02-06 12:46 310  
[ ]vectsp_7__1296_16.min1.thm1.tptp2017-02-06 16:46 224  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80