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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valuat_1__46_11.min1.thm12017-02-06 12:44 130  
[ ]valuat_1__52_11.min1.thm12017-02-06 12:44 648  
[ ]valuat_1__62_18.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__73_32.min1.thm12017-02-06 12:44 725  
[ ]valuat_1__74_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__98_23.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__99_73.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__116_31.min1.thm12017-02-06 12:44 834  
[ ]valuat_1__116_31.min1.thm1.tptp2017-02-06 16:46 757  
[ ]valuat_1__117_21.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__136_33.min1.thm12017-02-06 12:44 668  
[ ]valuat_1__136_33.min1.thm1.tptp2017-02-06 16:46 611  
[ ]valuat_1__145_27.min1.thm12017-02-06 12:44 668  
[ ]valuat_1__145_27.min1.thm1.tptp2017-02-06 16:46 611  
[ ]valuat_1__164_32.min1.thm12017-02-06 12:44 671  
[ ]valuat_1__164_32.min1.thm1.tptp2017-02-06 16:46 613  
[ ]valuat_1__170_21.min1.thm12017-02-06 12:44 2.7K 
[ ]valuat_1__175_69.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__180_32.min1.thm12017-02-06 12:44 671  
[ ]valuat_1__180_32.min1.thm1.tptp2017-02-06 16:46 613  
[ ]valuat_1__202_38.min1.thm12017-02-06 12:44 2.2K 
[ ]valuat_1__204_22.min1.thm12017-02-06 12:44 500  
[ ]valuat_1__204_22.min1.thm1.tptp2017-02-06 16:46 429  
[ ]valuat_1__205_17.min1.thm12017-02-06 12:44 937  
[ ]valuat_1__207_27.min1.thm12017-02-06 12:44 801  
[ ]valuat_1__208_30.min1.thm12017-02-06 12:44 2.1K 
[ ]valuat_1__209_17.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__210_36.min1.thm12017-02-06 12:44 795  
[ ]valuat_1__211_19.min1.thm12017-02-06 12:44 2.0K 
[ ]valuat_1__216_17.min1.thm12017-02-06 12:44 937  
[ ]valuat_1__219_22.min1.thm12017-02-06 12:44 801  
[ ]valuat_1__226_24.min1.thm12017-02-06 12:44 2.3K 
[ ]valuat_1__231_21.min1.thm12017-02-06 12:44 2.7K 
[ ]valuat_1__242_28.min1.thm12017-02-06 12:44 1.7K 
[ ]valuat_1__243_30.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__244_23.min1.thm12017-02-06 12:44 872  
[ ]valuat_1__249_20.min1.thm12017-02-06 12:44 1.7K 
[ ]valuat_1__256_45.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__258_21.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__280_49.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__285_24.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__286_73.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__305_15.min1.thm12017-02-06 12:44 391  
[ ]valuat_1__308_27.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__309_23.min1.thm12017-02-06 12:44 1.8K 
[ ]valuat_1__313_28.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__314_23.min1.thm12017-02-06 12:44 1.8K 
[ ]valuat_1__343_39.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__346_18.min1.thm12017-02-06 12:44 2.4K 
[ ]valuat_1__392_37.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__393_54.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__400_23.min1.thm12017-02-06 12:44 840  
[ ]valuat_1__400_23.min1.thm1.tptp2017-02-06 16:46 766  
[ ]valuat_1__403_28.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__403_28.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]valuat_1__433_18.min1.thm12017-02-06 12:44 850  
[ ]valuat_1__433_18.min1.thm1.tptp2017-02-06 16:46 776  
[ ]valuat_1__436_26.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__436_26.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]valuat_1__456_18.min1.thm12017-02-06 12:44 850  
[ ]valuat_1__456_18.min1.thm1.tptp2017-02-06 16:46 776  
[ ]valuat_1__459_26.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__459_26.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]valuat_1__508_17.min1.thm12017-02-06 12:44 504  
[ ]valuat_1__516_17.min1.thm12017-02-06 12:44 840  
[ ]valuat_1__516_17.min1.thm1.tptp2017-02-06 16:46 766  
[ ]valuat_1__519_22.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__519_22.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]valuat_1__530_37.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__532_49.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__546_22.min1.thm12017-02-06 12:44 834  
[ ]valuat_1__546_22.min1.thm1.tptp2017-02-06 16:46 760  
[ ]valuat_1__549_26.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__549_26.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]valuat_1__555_40.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__566_35.min1.thm12017-02-06 12:44 2.3K 
[ ]valuat_1__572_38.min1.thm12017-02-06 12:44 2.5K 
[ ]valuat_1__608_17.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__608_17.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]valuat_1__627_17.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__627_17.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]valuat_1__641_48.min1.thm12017-02-06 12:44 1.7K 
[ ]valuat_1__651_46.min1.thm12017-02-06 12:44 1.7K 
[ ]valuat_1__658_39.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__662_10.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__672_21.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__673_17.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__696_17.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__696_17.min1.thm1.tptp2017-02-06 16:46 1.3K 
[ ]valuat_1__704_35.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__706_38.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__709_27.min1.thm12017-02-06 12:44 1.9K 
[ ]valuat_1__713_37.min1.thm12017-02-06 12:44 1.9K 
[ ]valuat_1__717_25.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__719_17.min1.thm12017-02-06 12:44 852  
[ ]valuat_1__719_17.min1.thm1.tptp2017-02-06 16:46 765  
[ ]valuat_1__727_53.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__728_49.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__739_32.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__741_17.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__741_17.min1.thm1.tptp2017-02-06 16:46 1.1K 
[ ]valuat_1__757_17.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__757_17.min1.thm1.tptp2017-02-06 16:46 1.2K 
[ ]valuat_1__766_42.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__773_17.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__781_64.min1.thm12017-02-06 12:44 2.1K 
[ ]valuat_1__782_38.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__821_53.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__827_26.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__840_17.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__840_17.min1.thm1.tptp2017-02-06 16:46 1.6K 
[ ]valuat_1__848_57.min1.thm12017-02-06 12:44 1.7K 
[ ]valuat_1__849_38.min1.thm12017-02-06 12:44 2.0K 
[ ]valuat_1__852_59.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__854_17.min1.thm12017-02-06 12:44 1.7K 
[ ]valuat_1__862_33.min1.thm12017-02-06 12:44 383  
[ ]valuat_1__863_17.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__877_14.min1.thm12017-02-06 12:44 851  
[ ]valuat_1__880_34.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__881_48.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__884_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__889_21.min1.thm12017-02-06 12:44 749  
[ ]valuat_1__890_40.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__893_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__897_27.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__901_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__905_27.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__909_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__926_62.min1.thm12017-02-06 12:44 2.5K 
[ ]valuat_1__930_48.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__931_56.min1.thm12017-02-06 12:44 1.7K 
[ ]valuat_1__939_25.min1.thm12017-02-06 12:44 755  
[ ]valuat_1__939_25.min1.thm1.tptp2017-02-06 16:46 685  
[ ]valuat_1__941_35.min1.thm12017-02-06 12:44 624  
[ ]valuat_1__942_36.min1.thm12017-02-06 12:44 2.2K 
[ ]valuat_1__944_14.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__944_14.min1.thm1.tptp2017-02-06 16:46 1.1K 
[ ]valuat_1__972_38.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__973_23.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__976_39.min1.thm12017-02-06 12:44 729  
[ ]valuat_1__992_35.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__993_31.min1.thm12017-02-06 12:44 1.9K 
[ ]valuat_1__994_34.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__995_66.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__996_23.min1.thm12017-02-06 12:44 412  
[ ]valuat_1__999_57.min1.thm12017-02-06 12:44 141  
[ ]valuat_1__1002_18.min1.thm12017-02-06 12:44 891  
[ ]valuat_1__1008_24.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1028_35.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1029_31.min1.thm12017-02-06 12:44 1.9K 
[ ]valuat_1__1030_34.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1031_66.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1034_57.min1.thm12017-02-06 12:44 141  
[ ]valuat_1__1037_18.min1.thm12017-02-06 12:44 891  
[ ]valuat_1__1044_24.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1075_45.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__1078_45.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1079_25.min1.thm12017-02-06 12:44 1.9K 
[ ]valuat_1__1084_44.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__1087_44.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1088_25.min1.thm12017-02-06 12:44 1.9K 
[ ]valuat_1__1101_66.min1.thm12017-02-06 12:44 2.5K 
[ ]valuat_1__1136_58.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1148_46.min1.thm12017-02-06 12:44 2.1K 
[ ]valuat_1__1174_35.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1175_27.min1.thm12017-02-06 12:44 903  
[ ]valuat_1__1176_28.min1.thm12017-02-06 12:44 915  
[ ]valuat_1__1178_29.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1181_52.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1181_52.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]valuat_1__1187_41.min1.thm12017-02-06 12:44 640  
[ ]valuat_1__1187_41.min1.thm1.tptp2017-02-06 16:46 558  
[ ]valuat_1__1194_23.min1.thm12017-02-06 12:44 468  
[ ]valuat_1__1195_32.min1.thm12017-02-06 12:44 911  
[ ]valuat_1__1196_25.min1.thm12017-02-06 12:44 901  
[ ]valuat_1__1198_50.min1.thm12017-02-06 12:44 826  
[ ]valuat_1__1198_50.min1.thm1.tptp2017-02-06 16:46 766  
[ ]valuat_1__1225_37.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__1226_29.min1.thm12017-02-06 12:44 917  
[ ]valuat_1__1227_30.min1.thm12017-02-06 12:44 935  
[ ]valuat_1__1229_31.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1229_31.min1.thm1.tptp2017-02-06 16:46 1.1K 
[ ]valuat_1__1237_22.min1.thm12017-02-06 12:44 363  
[ ]valuat_1__1237_22.min1.thm1.tptp2017-02-06 16:46 298  
[ ]valuat_1__1243_34.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1244_28.min1.thm12017-02-06 12:44 931  
[ ]valuat_1__1272_26.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1274_21.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1276_14.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1289_22.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__1290_21.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1300_21.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1302_17.min1.thm12017-02-06 12:44 1.9K 
[ ]valuat_1__1302_17.min1.thm1.tptp2017-02-06 16:46 1.9K 
[ ]valuat_1__1326_18.min1.thm12017-02-06 12:44 920  
[ ]valuat_1__1334_40.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__1338_40.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__1354_21.min1.thm12017-02-06 12:44 404  
[ ]valuat_1__1355_23.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1370_40.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1370_40.min1.thm1.tptp2017-02-06 16:46 1.2K 
[ ]valuat_1__1396_22.min1.thm12017-02-06 12:44 672  
[ ]valuat_1__1397_21.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1413_46.min1.thm12017-02-06 12:44 966  
[ ]valuat_1__1417_45.min1.thm12017-02-06 12:44 966  
[ ]valuat_1__1428_46.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1436_45.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1461_12.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__1466_12.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__1499_62.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1513_23.min1.thm12017-02-06 12:44 804  
[ ]valuat_1__1514_24.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1527_59.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__1530_36.min1.thm12017-02-06 12:44 2.5K 
[ ]valuat_1__1534_61.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1539_18.min1.thm12017-02-06 12:44 2.4K 
[ ]valuat_1__1541_18.min1.thm12017-02-06 12:44 2.4K 
[ ]valuat_1__1542_38.min1.thm12017-02-06 12:44 2.6K 
[ ]valuat_1__1553_42.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__1568_42.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__1570_31.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__1579_33.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1580_27.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__1582_25.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__1582_25.min1.thm1.tptp2017-02-06 16:46 1.3K 
[ ]valuat_1__1587_31.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1588_25.min1.thm12017-02-06 12:44 1.6K 
[ ]valuat_1__1590_23.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__1590_23.min1.thm1.tptp2017-02-06 16:46 1.3K 
[ ]valuat_1__1617_54.min1.thm12017-02-06 12:44 678  
[ ]valuat_1__1618_55.min1.thm12017-02-06 12:44 775  
[ ]valuat_1__1631_40.min1.thm12017-02-06 12:44 2.6K 
[ ]valuat_1__1634_25.min1.thm12017-02-06 12:44 1.8K 
[ ]valuat_1__1636_62.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__1641_21.min1.thm12017-02-06 12:44 922  
[ ]valuat_1__1642_19.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__1650_34.min1.thm12017-02-06 12:44 2.1K 
[ ]valuat_1__1656_25.min1.thm12017-02-06 12:44 740  
[ ]valuat_1__1666_21.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__1679_60.min1.thm12017-02-06 12:44 860  
[ ]valuat_1__1683_37.min1.thm12017-02-06 12:44 2.2K 
[ ]valuat_1__1684_21.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1695_20.min1.thm12017-02-06 12:44 836  
[ ]valuat_1__1700_58.min1.thm12017-02-06 12:44 1.9K 
[ ]valuat_1__1703_57.min1.thm12017-02-06 12:44 2.8K 
[ ]valuat_1__1705_32.min1.thm12017-02-06 12:44 415  
[ ]valuat_1__1705_32.min1.thm1.tptp2017-02-06 16:46 350  
[ ]valuat_1__1706_25.min1.thm12017-02-06 12:44 2.0K 
[ ]valuat_1__1712_12.min1.thm12017-02-06 12:44 2.4K 
[ ]valuat_1__1714_12.min1.thm12017-02-06 12:44 2.1K 
[ ]valuat_1__1715_25.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__1722_14.min1.thm12017-02-06 12:44 752  
[ ]valuat_1__1722_14.min1.thm1.tptp2017-02-06 16:46 675  
[ ]valuat_1__1730_17.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1743_61.min1.thm12017-02-06 12:44 2.6K 
[ ]valuat_1__1744_74.min1.thm12017-02-06 12:44 2.9K 
[ ]valuat_1__1745_72.min1.thm12017-02-06 12:44 2.7K 
[ ]valuat_1__1765_67.min1.thm12017-02-06 12:44 2.6K 
[ ]valuat_1__1767_9.min1.thm12017-02-06 12:44 2.8K 
[ ]valuat_1__1771_36.min1.thm12017-02-06 12:44 1.4K 
[ ]valuat_1__1775_13.min1.thm12017-02-06 12:44 2.9K 
[ ]valuat_1__1777_46.min1.thm12017-02-06 12:44 742  
[ ]valuat_1__1787_70.min1.thm12017-02-06 12:44 2.7K 
[ ]valuat_1__1789_9.min1.thm12017-02-06 12:44 3.0K 
[ ]valuat_1__1791_26.min1.thm12017-02-06 12:44 2.6K 
[ ]valuat_1__1792_54.min1.thm12017-02-06 12:44 2.5K 
[ ]valuat_1__1801_49.min1.thm12017-02-06 12:44 1.7K 
[ ]valuat_1__1814_34.min1.thm12017-02-06 12:44 3.3K 
[ ]valuat_1__1816_50.min1.thm12017-02-06 12:44 3.5K 
[ ]valuat_1__1821_71.min1.thm12017-02-06 12:44 2.9K 
[ ]valuat_1__1822_75.min1.thm12017-02-06 12:44 2.9K 
[ ]valuat_1__1826_75.min1.thm12017-02-06 12:44 2.8K 
[ ]valuat_1__1828_75.min1.thm12017-02-06 12:44 2.9K 
[ ]valuat_1__1830_74.min1.thm12017-02-06 12:44 2.7K 
[ ]valuat_1__1871_16.min1.thm12017-02-06 12:44 830  
[ ]valuat_1__1878_16.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1885_16.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__1892_16.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1899_16.min1.thm12017-02-06 12:44 1.7K 
[ ]valuat_1__1910_21.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__1912_17.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1919_16.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1937_22.min1.thm12017-02-06 12:44 703  
[ ]valuat_1__1937_22.min1.thm1.tptp2017-02-06 16:46 622  
[ ]valuat_1__1938_23.min1.thm12017-02-06 12:44 1.5K 
[ ]valuat_1__1963_18.min1.thm12017-02-06 12:44 929  
[ ]valuat_1__1963_18.min1.thm1.tptp2017-02-06 16:46 858  
[ ]valuat_1__1966_17.min1.thm12017-02-06 12:44 1.1K 
[ ]valuat_1__1968_28.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1969_38.min1.thm12017-02-06 12:44 1.2K 
[ ]valuat_1__1974_28.min1.thm12017-02-06 12:44 777  
[ ]valuat_1__1974_28.min1.thm1.tptp2017-02-06 16:46 700  
[ ]valuat_1__1975_23.min1.thm12017-02-06 12:44 1.3K 
[ ]valuat_1__1977_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valuat_1__1979_17.min1.thm12017-02-06 12:44 680  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80