Index of /~mptp/1147/MPTP2/ilp0/tsp_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]tsp_2__64_20.min1.thm12017-02-06 12:44 494  
[   ]tsp_2__67_29.min1.thm12017-02-06 12:44 370  
[   ]tsp_2__67_29.min1.thm1.tptp2017-02-06 16:46 284  
[   ]tsp_2__68_36.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__69_28.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__70_37.min1.thm12017-02-06 12:44 2.2K 
[   ]tsp_2__71_41.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__75_31.min1.thm12017-02-06 12:44 797  
[   ]tsp_2__82_16.min1.thm12017-02-06 12:44 494  
[   ]tsp_2__85_29.min1.thm12017-02-06 12:44 370  
[   ]tsp_2__85_29.min1.thm1.tptp2017-02-06 16:46 284  
[   ]tsp_2__86_28.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__87_37.min1.thm12017-02-06 12:44 2.2K 
[   ]tsp_2__88_41.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__89_36.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__93_31.min1.thm12017-02-06 12:44 797  
[   ]tsp_2__96_21.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__108_39.min1.thm12017-02-06 12:44 918  
[   ]tsp_2__110_20.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__117_30.min1.thm12017-02-06 12:44 580  
[   ]tsp_2__120_29.min1.thm12017-02-06 12:44 370  
[   ]tsp_2__120_29.min1.thm1.tptp2017-02-06 16:46 284  
[   ]tsp_2__121_33.min1.thm12017-02-06 12:44 796  
[   ]tsp_2__122_36.min1.thm12017-02-06 12:44 962  
[   ]tsp_2__123_27.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__125_35.min1.thm12017-02-06 12:44 798  
[   ]tsp_2__127_33.min1.thm12017-02-06 12:44 966  
[   ]tsp_2__131_28.min1.thm12017-02-06 12:44 292  
[   ]tsp_2__134_67.min1.thm12017-02-06 12:44 668  
[   ]tsp_2__142_26.min1.thm12017-02-06 12:44 580  
[   ]tsp_2__145_29.min1.thm12017-02-06 12:44 370  
[   ]tsp_2__145_29.min1.thm1.tptp2017-02-06 16:46 284  
[   ]tsp_2__147_35.min1.thm12017-02-06 12:44 798  
[   ]tsp_2__149_33.min1.thm12017-02-06 12:44 966  
[   ]tsp_2__153_28.min1.thm12017-02-06 12:44 292  
[   ]tsp_2__154_33.min1.thm12017-02-06 12:44 796  
[   ]tsp_2__155_36.min1.thm12017-02-06 12:44 962  
[   ]tsp_2__156_27.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__159_67.min1.thm12017-02-06 12:44 668  
[   ]tsp_2__164_58.min1.thm12017-02-06 12:44 830  
[   ]tsp_2__188_27.min1.thm12017-02-06 12:44 788  
[   ]tsp_2__189_30.min1.thm12017-02-06 12:44 946  
[   ]tsp_2__190_35.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__193_15.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__194_35.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__195_15.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__197_39.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__198_25.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__208_31.min1.thm12017-02-06 12:44 669  
[   ]tsp_2__209_31.min1.thm12017-02-06 12:44 669  
[   ]tsp_2__237_40.min1.thm12017-02-06 12:44 787  
[   ]tsp_2__238_20.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__248_21.min1.thm12017-02-06 12:44 913  
[   ]tsp_2__249_20.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__250_20.min1.thm12017-02-06 12:44 776  
[   ]tsp_2__251_37.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__253_19.min1.thm12017-02-06 12:44 899  
[   ]tsp_2__279_39.min1.thm12017-02-06 12:44 786  
[   ]tsp_2__282_15.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__284_19.min1.thm12017-02-06 12:44 952  
[   ]tsp_2__286_14.min1.thm12017-02-06 12:44 609  
[   ]tsp_2__287_19.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__288_17.min1.thm12017-02-06 12:44 772  
[   ]tsp_2__304_17.min1.thm12017-02-06 12:44 678  
[   ]tsp_2__310_31.min1.thm12017-02-06 12:44 438  
[   ]tsp_2__310_31.min1.thm1.tptp2017-02-06 16:46 372  
[   ]tsp_2__311_37.min1.thm12017-02-06 12:44 356  
[   ]tsp_2__311_37.min1.thm1.tptp2017-02-06 16:46 278  
[   ]tsp_2__318_31.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__320_24.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__326_45.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__328_35.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__329_27.min1.thm12017-02-06 12:44 916  
[   ]tsp_2__330_52.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__331_50.min1.thm12017-02-06 12:44 966  
[   ]tsp_2__335_35.min1.thm12017-02-06 12:44 413  
[   ]tsp_2__336_29.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__341_35.min1.thm12017-02-06 12:44 895  
[   ]tsp_2__344_35.min1.thm12017-02-06 12:44 560  
[   ]tsp_2__347_53.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__349_45.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__350_35.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__354_37.min1.thm12017-02-06 12:44 598  
[   ]tsp_2__354_37.min1.thm1.tptp2017-02-06 16:46 525  
[   ]tsp_2__355_29.min1.thm12017-02-06 12:44 2.3K 
[   ]tsp_2__358_22.min1.thm12017-02-06 12:44 668  
[   ]tsp_2__362_27.min1.thm12017-02-06 12:44 550  
[   ]tsp_2__363_19.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__364_17.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__365_21.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__366_22.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__369_21.min1.thm12017-02-06 12:44 864  
[   ]tsp_2__387_21.min1.thm12017-02-06 12:44 380  
[   ]tsp_2__387_21.min1.thm1.tptp2017-02-06 16:46 314  
[   ]tsp_2__388_32.min1.thm12017-02-06 12:44 778  
[   ]tsp_2__389_37.min1.thm12017-02-06 12:44 496  
[   ]tsp_2__394_60.min1.thm12017-02-06 12:44 465  
[   ]tsp_2__394_60.min1.thm1.tptp2017-02-06 16:46 410  
[   ]tsp_2__397_17.min1.thm12017-02-06 12:44 841  
[   ]tsp_2__398_47.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__400_34.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__401_36.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__402_38.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__405_21.min1.thm12017-02-06 12:44 395  
[   ]tsp_2__407_19.min1.thm12017-02-06 12:44 841  
[   ]tsp_2__419_28.min1.thm12017-02-06 12:44 823  
[   ]tsp_2__421_35.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__422_35.min1.thm12017-02-06 12:44 664  
[   ]tsp_2__423_33.min1.thm12017-02-06 12:44 796  
[   ]tsp_2__424_17.min1.thm12017-02-06 12:44 616  
[   ]tsp_2__434_22.min1.thm12017-02-06 12:44 851  
[   ]tsp_2__436_30.min1.thm12017-02-06 12:44 717  
[   ]tsp_2__437_17.min1.thm12017-02-06 12:44 441  
[   ]tsp_2__444_28.min1.thm12017-02-06 12:44 540  
[   ]tsp_2__445_31.min1.thm12017-02-06 12:44 324  
[   ]tsp_2__445_31.min1.thm1.tptp2017-02-06 16:46 246  
[   ]tsp_2__449_38.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__451_17.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__464_55.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__466_42.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__467_32.min1.thm12017-02-06 12:44 714  
[   ]tsp_2__468_17.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__481_55.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__483_42.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__484_32.min1.thm12017-02-06 12:44 714  
[   ]tsp_2__485_17.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__490_37.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__494_39.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__511_17.min1.thm12017-02-06 12:44 691  
[   ]tsp_2__513_27.min1.thm12017-02-06 12:44 674  
[   ]tsp_2__514_30.min1.thm12017-02-06 12:44 786  
[   ]tsp_2__519_58.min1.thm12017-02-06 12:44 465  
[   ]tsp_2__519_58.min1.thm1.tptp2017-02-06 16:46 410  
[   ]tsp_2__522_15.min1.thm12017-02-06 12:44 847  
[   ]tsp_2__523_34.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__524_36.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__525_21.min1.thm12017-02-06 12:44 708  
[   ]tsp_2__532_25.min1.thm12017-02-06 12:44 559  
[   ]tsp_2__534_41.min1.thm12017-02-06 12:44 354  
[   ]tsp_2__534_41.min1.thm1.tptp2017-02-06 16:46 276  
[   ]tsp_2__537_31.min1.thm12017-02-06 12:44 722  
[   ]tsp_2__537_31.min1.thm1.tptp2017-02-06 16:46 659  
[   ]tsp_2__538_27.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__539_30.min1.thm12017-02-06 12:44 962  
[   ]tsp_2__540_46.min1.thm12017-02-06 12:44 1.7K 
[   ]tsp_2__541_43.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__543_35.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__544_27.min1.thm12017-02-06 12:44 801  
[   ]tsp_2__545_30.min1.thm12017-02-06 12:44 964  
[   ]tsp_2__546_31.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__548_43.min1.thm12017-02-06 12:44 433  
[   ]tsp_2__548_43.min1.thm1.tptp2017-02-06 16:46 369  
[   ]tsp_2__550_38.min1.thm12017-02-06 12:44 875  
[   ]tsp_2__554_65.min1.thm12017-02-06 12:44 722  
[   ]tsp_2__554_65.min1.thm1.tptp2017-02-06 16:46 659  
[   ]tsp_2__555_27.min1.thm12017-02-06 12:44 800  
[   ]tsp_2__557_25.min1.thm12017-02-06 12:44 962  
[   ]tsp_2__559_35.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__560_21.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__562_20.min1.thm12017-02-06 12:44 916  
[   ]tsp_2__563_19.min1.thm12017-02-06 12:44 756  
[   ]tsp_2__577_58.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__578_36.min1.thm12017-02-06 12:44 934  
[   ]tsp_2__580_44.min1.thm12017-02-06 12:44 564  
[   ]tsp_2__584_22.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__586_27.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__587_21.min1.thm12017-02-06 12:44 553  
[   ]tsp_2__588_20.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__590_18.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__591_36.min1.thm12017-02-06 12:44 309  
[   ]tsp_2__598_10.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__600_25.min1.thm12017-02-06 12:44 780  
[   ]tsp_2__601_19.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__611_19.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__613_20.min1.thm12017-02-06 12:44 661  
[   ]tsp_2__613_20.min1.thm1.tptp2017-02-06 16:46 597  
[   ]tsp_2__620_14.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__625_32.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__631_33.min1.thm12017-02-06 12:44 952  
[   ]tsp_2__632_48.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__633_46.min1.thm12017-02-06 12:44 948  
[   ]tsp_2__634_46.min1.thm12017-02-06 12:44 749  
[   ]tsp_2__635_47.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__642_64.min1.thm12017-02-06 12:44 473  
[   ]tsp_2__642_64.min1.thm1.tptp2017-02-06 16:46 418  
[   ]tsp_2__645_21.min1.thm12017-02-06 12:44 873  
[   ]tsp_2__647_26.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__648_40.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__649_43.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__651_22.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__656_26.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__658_59.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__660_25.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__667_33.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__669_42.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__672_53.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__674_45.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__675_37.min1.thm12017-02-06 12:44 802  
[   ]tsp_2__676_40.min1.thm12017-02-06 12:44 970  
[   ]tsp_2__685_44.min1.thm12017-02-06 12:44 598  
[   ]tsp_2__688_23.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__689_33.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__690_41.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__691_31.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__695_25.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__696_27.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__697_31.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__699_33.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__700_23.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__701_43.min1.thm12017-02-06 12:44 2.0K 
[   ]tsp_2__702_43.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__704_22.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__707_18.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__717_18.min1.thm12017-02-06 12:44 834  
[   ]tsp_2__720_23.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__722_16.min1.thm12017-02-06 12:44 222  
[   ]tsp_2__748_6.min1.thm12017-02-06 12:44 381  
[   ]tsp_2__748_6.min1.thm1.tptp2017-02-06 16:46 308  
[   ]tsp_2__749_30.min1.thm12017-02-06 12:44 686  
[   ]tsp_2__751_16.min1.thm12017-02-06 12:44 736  
[   ]tsp_2__757_18.min1.thm12017-02-06 12:44 817  
[   ]tsp_2__758_40.min1.thm12017-02-06 12:44 805  
[   ]tsp_2__767_54.min1.thm12017-02-06 12:44 570  
[   ]tsp_2__769_28.min1.thm12017-02-06 12:44 846  
[   ]tsp_2__770_20.min1.thm12017-02-06 12:44 675  
[   ]tsp_2__771_19.min1.thm12017-02-06 12:44 857  
[   ]tsp_2__774_11.min1.thm12017-02-06 12:44 499  
[   ]tsp_2__774_11.min1.thm1.tptp2017-02-06 16:46 449  
[   ]tsp_2__786_54.min1.thm12017-02-06 12:44 561  
[   ]tsp_2__793_25.min1.thm12017-02-06 12:44 858  
[   ]tsp_2__794_22.min1.thm12017-02-06 12:44 707  
[   ]tsp_2__795_24.min1.thm12017-02-06 12:44 869  
[   ]tsp_2__800_58.min1.thm12017-02-06 12:44 633  
[   ]tsp_2__803_17.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__804_19.min1.thm12017-02-06 12:44 897  
[   ]tsp_2__805_21.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__806_23.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__811_15.min1.thm12017-02-06 12:44 865  
[   ]tsp_2__821_18.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__824_29.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__825_20.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__827_28.min1.thm12017-02-06 12:44 883  
[   ]tsp_2__828_19.min1.thm12017-02-06 12:44 854  
[   ]tsp_2__843_29.min1.thm12017-02-06 12:44 706  
[   ]tsp_2__845_16.min1.thm12017-02-06 12:44 923  
[   ]tsp_2__854_54.min1.thm12017-02-06 12:44 563  
[   ]tsp_2__856_28.min1.thm12017-02-06 12:44 839  
[   ]tsp_2__857_22.min1.thm12017-02-06 12:44 643  
[   ]tsp_2__858_19.min1.thm12017-02-06 12:44 858  
[   ]tsp_2__861_11.min1.thm12017-02-06 12:44 492  
[   ]tsp_2__861_11.min1.thm1.tptp2017-02-06 16:46 433  
[   ]tsp_2__866_54.min1.thm12017-02-06 12:44 563  
[   ]tsp_2__869_16.min1.thm12017-02-06 12:44 866  
[   ]tsp_2__871_28.min1.thm12017-02-06 12:44 839  
[   ]tsp_2__872_27.min1.thm12017-02-06 12:44 797  
[   ]tsp_2__873_19.min1.thm12017-02-06 12:44 855  
[   ]tsp_2__876_11.min1.thm12017-02-06 12:44 540  
[   ]tsp_2__876_11.min1.thm1.tptp2017-02-06 16:46 485  
[   ]tsp_2__878_11.min1.thm12017-02-06 12:44 540  
[   ]tsp_2__878_11.min1.thm1.tptp2017-02-06 16:46 485  
[   ]tsp_2__883_54.min1.thm12017-02-06 12:44 563  
[   ]tsp_2__886_18.min1.thm12017-02-06 12:44 870  
[   ]tsp_2__888_28.min1.thm12017-02-06 12:44 839  
[   ]tsp_2__889_27.min1.thm12017-02-06 12:44 797  
[   ]tsp_2__890_19.min1.thm12017-02-06 12:44 855  
[   ]tsp_2__893_11.min1.thm12017-02-06 12:44 544  
[   ]tsp_2__893_11.min1.thm1.tptp2017-02-06 16:46 489  
[   ]tsp_2__895_11.min1.thm12017-02-06 12:44 544  
[   ]tsp_2__895_11.min1.thm1.tptp2017-02-06 16:46 489  
[   ]tsp_2__903_52.min1.thm12017-02-06 12:44 606  
[   ]tsp_2__904_13.min1.thm12017-02-06 12:44 809  
[   ]tsp_2__907_23.min1.thm12017-02-06 12:44 777  
[   ]tsp_2__908_19.min1.thm12017-02-06 12:44 672  
[   ]tsp_2__911_28.min1.thm12017-02-06 12:44 888  
[   ]tsp_2__913_16.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__922_23.min1.thm12017-02-06 12:44 491  
[   ]tsp_2__922_23.min1.thm1.tptp2017-02-06 16:46 426  
[   ]tsp_2__923_21.min1.thm12017-02-06 12:44 688  
[   ]tsp_2__926_28.min1.thm12017-02-06 12:44 920  
[   ]tsp_2__928_18.min1.thm12017-02-06 12:44 452  
[   ]tsp_2__928_18.min1.thm1.tptp2017-02-06 16:46 362  
[   ]tsp_2__944_52.min1.thm12017-02-06 12:44 585  
[   ]tsp_2__947_23.min1.thm12017-02-06 12:44 767  
[   ]tsp_2__954_32.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__955_18.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__960_17.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__970_52.min1.thm12017-02-06 12:44 585  
[   ]tsp_2__974_45.min1.thm12017-02-06 12:44 805  
[   ]tsp_2__975_33.min1.thm12017-02-06 12:44 363  
[   ]tsp_2__975_33.min1.thm1.tptp2017-02-06 16:46 277  
[   ]tsp_2__978_28.min1.thm12017-02-06 12:44 644  
[   ]tsp_2__981_15.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__989_8.min1.thm12017-02-06 12:44 419  
[   ]tsp_2__990_37.min1.thm12017-02-06 12:44 545  
[   ]tsp_2__991_23.min1.thm12017-02-06 12:44 748  
[   ]tsp_2__992_23.min1.thm12017-02-06 12:44 768  
[   ]tsp_2__998_39.min1.thm12017-02-06 12:44 463  
[   ]tsp_2__1001_29.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1002_26.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1003_15.min1.thm12017-02-06 12:44 932  
[   ]tsp_2__1004_30.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1005_28.min1.thm12017-02-06 12:44 874  
[   ]tsp_2__1006_20.min1.thm12017-02-06 12:44 598  
[   ]tsp_2__1007_18.min1.thm12017-02-06 12:44 882  
[   ]tsp_2__1008_18.min1.thm12017-02-06 12:44 927  
[   ]tsp_2__1009_20.min1.thm12017-02-06 12:44 869  
[   ]tsp_2__1010_40.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__1012_34.min1.thm12017-02-06 12:44 922  
[   ]tsp_2__1013_23.min1.thm12017-02-06 12:44 931  
[   ]tsp_2__1014_37.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1015_30.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__1016_28.min1.thm12017-02-06 12:44 932  
[   ]tsp_2__1017_19.min1.thm12017-02-06 12:44 959  
[   ]tsp_2__1020_24.min1.thm12017-02-06 12:44 401  
[   ]tsp_2__1020_24.min1.thm1.tptp2017-02-06 16:46 337  
[   ]tsp_2__1021_24.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1022_17.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1031_52.min1.thm12017-02-06 12:44 564  
[   ]tsp_2__1035_23.min1.thm12017-02-06 12:44 767  
[   ]tsp_2__1042_34.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1043_18.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__1048_17.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__1057_52.min1.thm12017-02-06 12:44 564  
[   ]tsp_2__1063_36.min1.thm12017-02-06 12:44 805  
[   ]tsp_2__1066_28.min1.thm12017-02-06 12:44 644  
[   ]tsp_2__1069_15.min1.thm12017-02-06 12:44 963  
[   ]tsp_2__1077_8.min1.thm12017-02-06 12:44 419  
[   ]tsp_2__1078_37.min1.thm12017-02-06 12:44 545  
[   ]tsp_2__1079_23.min1.thm12017-02-06 12:44 748  
[   ]tsp_2__1080_23.min1.thm12017-02-06 12:44 768  
[   ]tsp_2__1086_39.min1.thm12017-02-06 12:44 463  
[   ]tsp_2__1089_29.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1090_26.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1091_15.min1.thm12017-02-06 12:44 932  
[   ]tsp_2__1092_30.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1093_28.min1.thm12017-02-06 12:44 874  
[   ]tsp_2__1094_20.min1.thm12017-02-06 12:44 598  
[   ]tsp_2__1095_18.min1.thm12017-02-06 12:44 882  
[   ]tsp_2__1096_18.min1.thm12017-02-06 12:44 927  
[   ]tsp_2__1097_20.min1.thm12017-02-06 12:44 869  
[   ]tsp_2__1098_40.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__1100_34.min1.thm12017-02-06 12:44 922  
[   ]tsp_2__1101_23.min1.thm12017-02-06 12:44 931  
[   ]tsp_2__1102_37.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1103_30.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__1104_28.min1.thm12017-02-06 12:44 932  
[   ]tsp_2__1105_19.min1.thm12017-02-06 12:44 959  
[   ]tsp_2__1108_24.min1.thm12017-02-06 12:44 401  
[   ]tsp_2__1108_24.min1.thm1.tptp2017-02-06 16:46 337  
[   ]tsp_2__1109_26.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1110_17.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1129_33.min1.thm12017-02-06 12:44 283  
[   ]tsp_2__1132_23.min1.thm12017-02-06 12:44 854  
[   ]tsp_2__1134_15.min1.thm12017-02-06 12:44 679  
[   ]tsp_2__1138_38.min1.thm12017-02-06 12:44 653  
[   ]tsp_2__1144_41.min1.thm12017-02-06 12:44 857  
[   ]tsp_2__1145_17.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1146_27.min1.thm12017-02-06 12:44 370  
[   ]tsp_2__1146_27.min1.thm1.tptp2017-02-06 16:46 292  
[   ]tsp_2__1147_46.min1.thm12017-02-06 12:44 696  
[   ]tsp_2__1148_25.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1150_31.min1.thm12017-02-06 12:44 443  
[   ]tsp_2__1150_31.min1.thm1.tptp2017-02-06 16:46 365  
[   ]tsp_2__1152_35.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1153_30.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1155_34.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1156_27.min1.thm12017-02-06 12:44 791  
[   ]tsp_2__1157_17.min1.thm12017-02-06 12:44 824  
[   ]tsp_2__1158_30.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1159_27.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1162_23.min1.thm12017-02-06 12:44 660  
[   ]tsp_2__1164_66.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1166_29.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1172_12.min1.thm12017-02-06 12:44 847  
[   ]tsp_2__1177_46.min1.thm12017-02-06 12:44 912  
[   ]tsp_2__1178_35.min1.thm12017-02-06 12:44 730  
[   ]tsp_2__1178_35.min1.thm1.tptp2017-02-06 16:46 653  
[   ]tsp_2__1179_33.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1180_36.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__1182_26.min1.thm12017-02-06 12:44 2.1K 
[   ]tsp_2__1184_24.min1.thm12017-02-06 12:44 529  
[   ]tsp_2__1184_24.min1.thm1.tptp2017-02-06 16:46 465  
[   ]tsp_2__1187_23.min1.thm12017-02-06 12:44 662  
[   ]tsp_2__1189_19.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1191_17.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__1199_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1202_21.min1.thm12017-02-06 12:44 798  
[   ]tsp_2__1204_15.min1.thm12017-02-06 12:44 679  
[   ]tsp_2__1205_25.min1.thm12017-02-06 12:44 360  
[   ]tsp_2__1205_25.min1.thm1.tptp2017-02-06 16:46 282  
[   ]tsp_2__1209_39.min1.thm12017-02-06 12:44 1.7K 
[   ]tsp_2__1210_23.min1.thm12017-02-06 12:44 615  
[   ]tsp_2__1211_29.min1.thm12017-02-06 12:44 2.3K 
[   ]tsp_2__1212_19.min1.thm12017-02-06 12:44 2.7K 
[   ]tsp_2__1224_33.min1.thm12017-02-06 12:44 283  
[   ]tsp_2__1227_26.min1.thm12017-02-06 12:44 854  
[   ]tsp_2__1229_15.min1.thm12017-02-06 12:44 679  
[   ]tsp_2__1237_29.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1238_31.min1.thm12017-02-06 12:44 710  
[   ]tsp_2__1238_31.min1.thm1.tptp2017-02-06 16:46 633  
[   ]tsp_2__1241_17.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1249_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1252_21.min1.thm12017-02-06 12:44 798  
[   ]tsp_2__1254_15.min1.thm12017-02-06 12:44 679  
[   ]tsp_2__1255_25.min1.thm12017-02-06 12:44 360  
[   ]tsp_2__1255_25.min1.thm1.tptp2017-02-06 16:46 282  
[   ]tsp_2__1259_39.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1260_23.min1.thm12017-02-06 12:44 615  
[   ]tsp_2__1261_29.min1.thm12017-02-06 12:44 2.4K 
[   ]tsp_2__1262_19.min1.thm12017-02-06 12:44 3.1K 
[   ]tsp_2__1270_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1272_23.min1.thm12017-02-06 12:44 798  
[   ]tsp_2__1278_29.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1279_34.min1.thm12017-02-06 12:44 397  
[   ]tsp_2__1281_18.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1293_70.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1294_17.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1304_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1306_15.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1309_17.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1311_18.min1.thm12017-02-06 12:44 2.2K 
[   ]tsp_2__1312_23.min1.thm12017-02-06 12:44 798  
[   ]tsp_2__1318_22.min1.thm12017-02-06 12:44 778  
[   ]tsp_2__1318_22.min1.thm1.tptp2017-02-06 16:46 712  
[   ]tsp_2__1319_33.min1.thm12017-02-06 12:44 966  
[   ]tsp_2__1322_30.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1323_26.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1324_26.min1.thm12017-02-06 12:44 2.3K 
[   ]tsp_2__1326_28.min1.thm12017-02-06 12:44 820  
[   ]tsp_2__1328_22.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1329_38.min1.thm12017-02-06 12:44 398  
[   ]tsp_2__1330_25.min1.thm12017-02-06 12:44 781  
[   ]tsp_2__1332_24.min1.thm12017-02-06 12:44 932  
[   ]tsp_2__1333_24.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__1334_14.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1337_29.min1.thm12017-02-06 12:44 2.4K 
[   ]tsp_2__1338_23.min1.thm12017-02-06 12:44 931  
[   ]tsp_2__1339_37.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1342_27.min1.thm12017-02-06 12:44 2.3K 
[   ]tsp_2__1343_24.min1.thm12017-02-06 12:44 2.4K 
[   ]tsp_2__1344_26.min1.thm12017-02-06 12:44 2.1K 
[   ]tsp_2__1345_29.min1.thm12017-02-06 12:44 2.7K 
[   ]tsp_2__1346_17.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1357_33.min1.thm12017-02-06 12:44 283  
[   ]tsp_2__1361_23.min1.thm12017-02-06 12:44 854  
[   ]tsp_2__1364_29.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1365_25.min1.thm12017-02-06 12:44 770  
[   ]tsp_2__1366_13.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__1367_39.min1.thm12017-02-06 12:44 610  
[   ]tsp_2__1368_22.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1370_22.min1.thm12017-02-06 12:44 2.3K 
[   ]tsp_2__1371_23.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1372_26.min1.thm12017-02-06 12:44 916  
[   ]tsp_2__1374_32.min1.thm12017-02-06 12:44 968  
[   ]tsp_2__1375_36.min1.thm12017-02-06 12:44 387  
[   ]tsp_2__1376_25.min1.thm12017-02-06 12:44 771  
[   ]tsp_2__1377_26.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1378_26.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1379_24.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1380_34.min1.thm12017-02-06 12:44 2.9K 
[   ]tsp_2__1381_26.min1.thm12017-02-06 12:44 807  
[   ]tsp_2__1382_24.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1388_23.min1.thm12017-02-06 12:44 650  
[   ]tsp_2__1391_21.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__1392_23.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1394_25.min1.thm12017-02-06 12:44 761  
[   ]tsp_2__1397_13.min1.thm12017-02-06 12:44 680  
[   ]tsp_2__1398_17.min1.thm12017-02-06 12:44 2.8K 
[   ]tsp_2__1408_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1415_22.min1.thm12017-02-06 12:44 638  
[   ]tsp_2__1415_22.min1.thm1.tptp2017-02-06 16:46 572  
[   ]tsp_2__1416_31.min1.thm12017-02-06 12:44 808  
[   ]tsp_2__1417_32.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1418_25.min1.thm12017-02-06 12:44 771  
[   ]tsp_2__1419_25.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1420_26.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1421_24.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1423_26.min1.thm12017-02-06 12:44 807  
[   ]tsp_2__1424_24.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1427_23.min1.thm12017-02-06 12:44 361  
[   ]tsp_2__1427_23.min1.thm1.tptp2017-02-06 16:46 283  
[   ]tsp_2__1428_42.min1.thm12017-02-06 12:44 1.7K 
[   ]tsp_2__1429_22.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1431_22.min1.thm12017-02-06 12:44 2.3K 
[   ]tsp_2__1432_26.min1.thm12017-02-06 12:44 771  
[   ]tsp_2__1436_23.min1.thm12017-02-06 12:44 651  
[   ]tsp_2__1439_21.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__1440_23.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1442_25.min1.thm12017-02-06 12:44 761  
[   ]tsp_2__1445_21.min1.thm12017-02-06 12:44 799  
[   ]tsp_2__1447_16.min1.thm12017-02-06 12:44 681  
[   ]tsp_2__1448_12.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1449_32.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1450_21.min1.thm12017-02-06 12:44 2.9K 
[   ]tsp_2__1451_20.min1.thm12017-02-06 12:44 2.1K 
[   ]tsp_2__1462_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1471_27.min1.thm12017-02-06 12:44 642  
[   ]tsp_2__1471_27.min1.thm1.tptp2017-02-06 16:46 576  
[   ]tsp_2__1472_33.min1.thm12017-02-06 12:44 940  
[   ]tsp_2__1473_17.min1.thm12017-02-06 12:44 2.0K 
[   ]tsp_2__1474_24.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1475_23.min1.thm12017-02-06 12:44 2.2K 
[   ]tsp_2__1476_34.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1477_30.min1.thm12017-02-06 12:44 2.1K 
[   ]tsp_2__1478_28.min1.thm12017-02-06 12:44 924  
[   ]tsp_2__1480_32.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1481_25.min1.thm12017-02-06 12:44 781  
[   ]tsp_2__1484_26.min1.thm12017-02-06 12:44 1.7K 
[   ]tsp_2__1485_17.min1.thm12017-02-06 12:44 788  
[   ]tsp_2__1495_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1504_39.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1505_15.min1.thm12017-02-06 12:44 2.0K 
[   ]tsp_2__1506_44.min1.thm12017-02-06 12:44 673  
[   ]tsp_2__1509_29.min1.thm12017-02-06 12:44 431  
[   ]tsp_2__1509_29.min1.thm1.tptp2017-02-06 16:46 353  
[   ]tsp_2__1510_29.min1.thm12017-02-06 12:44 2.7K 
[   ]tsp_2__1511_33.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__1512_28.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1514_32.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1515_25.min1.thm12017-02-06 12:44 781  
[   ]tsp_2__1516_28.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1517_25.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1521_21.min1.thm12017-02-06 12:44 798  
[   ]tsp_2__1523_15.min1.thm12017-02-06 12:44 679  
[   ]tsp_2__1529_11.min1.thm12017-02-06 12:44 831  
[   ]tsp_2__1534_44.min1.thm12017-02-06 12:44 892  
[   ]tsp_2__1535_33.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1536_31.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1537_34.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__1539_24.min1.thm12017-02-06 12:44 2.1K 
[   ]tsp_2__1541_22.min1.thm12017-02-06 12:44 517  
[   ]tsp_2__1541_22.min1.thm1.tptp2017-02-06 16:46 453  
[   ]tsp_2__1544_23.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1546_17.min1.thm12017-02-06 12:44 817  
[   ]tsp_2__1555_14.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1558_64.min1.thm12017-02-06 12:44 925  
[   ]tsp_2__1567_41.min1.thm12017-02-06 12:44 354  
[   ]tsp_2__1567_41.min1.thm1.tptp2017-02-06 16:46 276  
[   ]tsp_2__1568_34.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1569_34.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1583_49.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1584_17.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1594_49.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1595_17.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1605_49.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1619_54.min1.thm12017-02-06 12:44 599  
[   ]tsp_2__1627_53.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1629_21.min1.thm12017-02-06 12:44 2.6K 
[   ]tsp_2__1633_62.min1.thm12017-02-06 12:44 938  
[   ]tsp_2__1635_39.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__1647_54.min1.thm12017-02-06 12:44 599  
[   ]tsp_2__1655_33.min1.thm12017-02-06 12:44 2.6K 
[   ]tsp_2__1656_34.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__1657_21.min1.thm12017-02-06 12:44 1.9K 
[   ]tsp_2__1661_39.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__1670_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1672_10.min1.thm12017-02-06 12:44 2.1K 
[   ]tsp_2__1673_39.min1.thm12017-02-06 12:44 727  
[   ]tsp_2__1674_25.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__1675_27.min1.thm12017-02-06 12:44 2.1K 
[   ]tsp_2__1676_17.min1.thm12017-02-06 12:44 1.7K 
[   ]tsp_2__1685_19.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__1686_28.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1687_28.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1688_28.min1.thm12017-02-06 12:44 2.8K 
[   ]tsp_2__1690_17.min1.thm12017-02-06 12:44 4.5K 
[   ]tsp_2__1710_37.min1.thm12017-02-06 12:44 307  
[   ]tsp_2__1714_25.min1.thm12017-02-06 12:44 908  
[   ]tsp_2__1716_17.min1.thm12017-02-06 12:44 715  
[   ]tsp_2__1722_43.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1723_17.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1725_33.min1.thm12017-02-06 12:44 1.2K 
[   ]tsp_2__1726_27.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1731_60.min1.thm12017-02-06 12:44 485  
[   ]tsp_2__1731_60.min1.thm1.tptp2017-02-06 16:46 430  
[   ]tsp_2__1734_17.min1.thm12017-02-06 12:44 880  
[   ]tsp_2__1735_36.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__1746_44.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1751_37.min1.thm12017-02-06 12:44 362  
[   ]tsp_2__1751_37.min1.thm1.tptp2017-02-06 16:46 284  
[   ]tsp_2__1752_19.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1753_44.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1754_42.min1.thm12017-02-06 12:44 969  
[   ]tsp_2__1757_33.min1.thm12017-02-06 12:44 3.7K 
[   ]tsp_2__1758_23.min1.thm12017-02-06 12:44 1.6K 
[   ]tsp_2__1761_21.min1.thm12017-02-06 12:44 912  
[   ]tsp_2__1766_20.min1.thm12017-02-06 12:44 1.8K 
[   ]tsp_2__1774_37.min1.thm12017-02-06 12:44 2.2K 
[   ]tsp_2__1775_40.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__1776_21.min1.thm12017-02-06 12:44 2.9K 
[   ]tsp_2__1787_62.min1.thm12017-02-06 12:44 921  
[   ]tsp_2__1789_23.min1.thm12017-02-06 12:44 391  
[   ]tsp_2__1789_23.min1.thm1.tptp2017-02-06 16:46 312  
[   ]tsp_2__1790_45.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__1793_23.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1796_17.min1.thm12017-02-06 12:44 1.5K 
[   ]tsp_2__1805_35.min1.thm12017-02-06 12:44 1.1K 
[   ]tsp_2__1806_37.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1814_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1818_43.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1822_14.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1830_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1836_50.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1837_50.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__1842_14.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1850_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1856_50.min1.thm12017-02-06 12:44 1.3K 
[   ]tsp_2__1857_50.min1.thm12017-02-06 12:44 1.4K 
[   ]tsp_2__1862_14.min1.thm12017-02-06 12:44 1.0K 
[   ]tsp_2__1870_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1874_25.min1.thm12017-02-06 12:44 640  
[   ]tsp_2__1875_20.min1.thm12017-02-06 12:44 2.0K 
[   ]tsp_2__1884_52.min1.thm12017-02-06 12:44 595  
[   ]tsp_2__1888_25.min1.thm12017-02-06 12:44 640  
[   ]tsp_2__1889_20.min1.thm12017-02-06 12:44 2.0K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80