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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_1__50_18.min1.thm12017-02-06 12:44 867  
[ ]valued_1__52_14.min1.thm12017-02-06 12:44 359  
[ ]valued_1__52_14.min1.thm1.tptp2017-02-06 16:46 271  
[ ]valued_1__61_20.min1.thm12017-02-06 12:44 573  
[ ]valued_1__63_20.min1.thm12017-02-06 12:44 573  
[ ]valued_1__66_13.min1.thm12017-02-06 12:44 543  
[ ]valued_1__70_20.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__75_20.min1.thm12017-02-06 12:44 880  
[ ]valued_1__78_14.min1.thm12017-02-06 12:44 359  
[ ]valued_1__78_14.min1.thm1.tptp2017-02-06 16:46 271  
[ ]valued_1__86_15.min1.thm12017-02-06 12:44 665  
[ ]valued_1__96_34.min1.thm12017-02-06 12:44 462  
[ ]valued_1__97_16.min1.thm12017-02-06 12:44 470  
[ ]valued_1__113_16.min1.thm12017-02-06 12:44 729  
[ ]valued_1__126_25.min1.thm12017-02-06 12:44 591  
[ ]valued_1__126_25.min1.thm1.tptp2017-02-06 16:46 514  
[ ]valued_1__127_17.min1.thm12017-02-06 12:44 865  
[ ]valued_1__129_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__131_15.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__141_35.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__153_35.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__154_16.min1.thm12017-02-06 12:44 902  
[ ]valued_1__167_20.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__168_30.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__169_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__182_20.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__183_30.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__184_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__195_35.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__196_16.min1.thm12017-02-06 12:44 925  
[ ]valued_1__208_62.min1.thm12017-02-06 12:44 2.6K 
[ ]valued_1__275_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__277_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__278_19.min1.thm12017-02-06 12:44 970  
[ ]valued_1__290_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__292_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__293_19.min1.thm12017-02-06 12:44 970  
[ ]valued_1__305_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__307_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__308_19.min1.thm12017-02-06 12:44 970  
[ ]valued_1__320_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__322_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__323_19.min1.thm12017-02-06 12:44 970  
[ ]valued_1__335_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__337_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__338_19.min1.thm12017-02-06 12:44 970  
[ ]valued_1__352_11.min1.thm12017-02-06 12:44 191  
[ ]valued_1__359_20.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__360_20.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__371_19.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__388_16.min1.thm12017-02-06 12:44 585  
[ ]valued_1__401_25.min1.thm12017-02-06 12:44 557  
[ ]valued_1__401_25.min1.thm1.tptp2017-02-06 16:46 480  
[ ]valued_1__402_17.min1.thm12017-02-06 12:44 755  
[ ]valued_1__404_19.min1.thm12017-02-06 12:44 968  
[ ]valued_1__420_29.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__432_29.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__433_16.min1.thm12017-02-06 12:44 829  
[ ]valued_1__446_18.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__447_24.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__448_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__461_18.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__462_24.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__463_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__474_29.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__475_16.min1.thm12017-02-06 12:44 833  
[ ]valued_1__487_47.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__488_19.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__553_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__554_19.min1.thm12017-02-06 12:44 938  
[ ]valued_1__567_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__568_19.min1.thm12017-02-06 12:44 938  
[ ]valued_1__581_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__582_19.min1.thm12017-02-06 12:44 940  
[ ]valued_1__595_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__596_19.min1.thm12017-02-06 12:44 940  
[ ]valued_1__609_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__610_19.min1.thm12017-02-06 12:44 940  
[ ]valued_1__632_24.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__633_19.min1.thm12017-02-06 12:44 956  
[ ]valued_1__643_11.min1.thm12017-02-06 12:44 755  
[ ]valued_1__651_22.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__658_11.min1.thm12017-02-06 12:44 837  
[ ]valued_1__664_11.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__688_19.min1.thm12017-02-06 12:44 2.0K 
[ ]valued_1__737_11.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_1__746_11.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__755_11.min1.thm12017-02-06 12:44 2.1K 
[ ]valued_1__764_11.min1.thm12017-02-06 12:44 2.0K 
[ ]valued_1__782_11.min1.thm12017-02-06 12:44 886  
[ ]valued_1__799_16.min1.thm12017-02-06 12:44 741  
[ ]valued_1__812_25.min1.thm12017-02-06 12:44 606  
[ ]valued_1__812_25.min1.thm1.tptp2017-02-06 16:46 529  
[ ]valued_1__813_17.min1.thm12017-02-06 12:44 888  
[ ]valued_1__815_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__817_15.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__826_39.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__827_11.min1.thm12017-02-06 12:44 305  
[ ]valued_1__830_19.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__834_46.min1.thm12017-02-06 12:44 669  
[ ]valued_1__835_32.min1.thm12017-02-06 12:44 955  
[ ]valued_1__836_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__847_37.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__859_37.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__860_16.min1.thm12017-02-06 12:44 924  
[ ]valued_1__873_22.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__874_32.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__875_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__888_22.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__889_32.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__890_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__901_37.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__902_16.min1.thm12017-02-06 12:44 927  
[ ]valued_1__914_66.min1.thm12017-02-06 12:44 2.6K 
[ ]valued_1__984_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__986_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__987_19.min1.thm12017-02-06 12:44 972  
[ ]valued_1__999_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1001_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__1002_19.min1.thm12017-02-06 12:44 972  
[ ]valued_1__1014_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1016_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__1017_19.min1.thm12017-02-06 12:44 972  
[ ]valued_1__1029_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1031_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__1032_19.min1.thm12017-02-06 12:44 972  
[ ]valued_1__1044_30.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1046_10.min1.thm12017-02-06 12:44 265  
[ ]valued_1__1047_19.min1.thm12017-02-06 12:44 972  
[ ]valued_1__1057_19.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1074_16.min1.thm12017-02-06 12:44 585  
[ ]valued_1__1087_25.min1.thm12017-02-06 12:44 557  
[ ]valued_1__1087_25.min1.thm1.tptp2017-02-06 16:46 480  
[ ]valued_1__1088_17.min1.thm12017-02-06 12:44 755  
[ ]valued_1__1090_19.min1.thm12017-02-06 12:44 968  
[ ]valued_1__1105_26.min1.thm12017-02-06 12:44 889  
[ ]valued_1__1106_11.min1.thm12017-02-06 12:44 245  
[ ]valued_1__1109_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1113_28.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1114_19.min1.thm12017-02-06 12:44 775  
[ ]valued_1__1125_31.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1137_31.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1138_16.min1.thm12017-02-06 12:44 831  
[ ]valued_1__1151_20.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1152_26.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__1153_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1166_20.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1167_26.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__1168_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1179_31.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__1180_16.min1.thm12017-02-06 12:44 835  
[ ]valued_1__1192_51.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__1193_19.min1.thm12017-02-06 12:44 2.0K 
[ ]valued_1__1258_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__1259_19.min1.thm12017-02-06 12:44 940  
[ ]valued_1__1272_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__1273_19.min1.thm12017-02-06 12:44 940  
[ ]valued_1__1286_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__1287_19.min1.thm12017-02-06 12:44 940  
[ ]valued_1__1300_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__1301_19.min1.thm12017-02-06 12:44 940  
[ ]valued_1__1314_13.min1.thm12017-02-06 12:44 784  
[ ]valued_1__1315_19.min1.thm12017-02-06 12:44 940  
[ ]valued_1__1329_21.min1.thm12017-02-06 12:44 606  
[ ]valued_1__1329_21.min1.thm1.tptp2017-02-06 16:46 529  
[ ]valued_1__1338_26.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1339_19.min1.thm12017-02-06 12:44 961  
[ ]valued_1__1349_11.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1355_34.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__1356_17.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__1359_47.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__1360_23.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_1__1361_20.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__1362_24.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1374_11.min1.thm12017-02-06 12:44 245  
[ ]valued_1__1378_15.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__1382_45.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1383_18.min1.thm12017-02-06 12:44 743  
[ ]valued_1__1399_23.min1.thm12017-02-06 12:44 570  
[ ]valued_1__1399_23.min1.thm1.tptp2017-02-06 16:46 506  
[ ]valued_1__1400_13.min1.thm12017-02-06 12:44 566  
[ ]valued_1__1406_11.min1.thm12017-02-06 12:44 477  
[ ]valued_1__1406_11.min1.thm1.tptp2017-02-06 16:46 404  
[ ]valued_1__1412_11.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1418_11.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__1424_11.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__1480_11.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__1488_11.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1496_11.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1504_11.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1510_11.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1531_26.min1.thm12017-02-06 12:44 597  
[ ]valued_1__1531_26.min1.thm1.tptp2017-02-06 16:46 522  
[ ]valued_1__1532_18.min1.thm12017-02-06 12:44 702  
[ ]valued_1__1534_19.min1.thm12017-02-06 12:44 755  
[ ]valued_1__1547_25.min1.thm12017-02-06 12:44 537  
[ ]valued_1__1547_25.min1.thm1.tptp2017-02-06 16:46 460  
[ ]valued_1__1548_17.min1.thm12017-02-06 12:44 741  
[ ]valued_1__1550_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1558_25.min1.thm12017-02-06 12:44 302  
[ ]valued_1__1562_22.min1.thm12017-02-06 12:44 637  
[ ]valued_1__1563_18.min1.thm12017-02-06 12:44 667  
[ ]valued_1__1574_23.min1.thm12017-02-06 12:44 804  
[ ]valued_1__1575_11.min1.thm12017-02-06 12:44 250  
[ ]valued_1__1578_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1583_18.min1.thm12017-02-06 12:44 753  
[ ]valued_1__1594_25.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1595_16.min1.thm12017-02-06 12:44 736  
[ ]valued_1__1608_17.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1609_20.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1610_19.min1.thm12017-02-06 12:44 912  
[ ]valued_1__1621_45.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_1__1622_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__1658_13.min1.thm12017-02-06 12:44 799  
[ ]valued_1__1659_19.min1.thm12017-02-06 12:44 920  
[ ]valued_1__1671_13.min1.thm12017-02-06 12:44 799  
[ ]valued_1__1672_19.min1.thm12017-02-06 12:44 920  
[ ]valued_1__1684_13.min1.thm12017-02-06 12:44 799  
[ ]valued_1__1685_19.min1.thm12017-02-06 12:44 920  
[ ]valued_1__1694_23.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1695_19.min1.thm12017-02-06 12:44 843  
[ ]valued_1__1705_11.min1.thm12017-02-06 12:44 626  
[ ]valued_1__1705_11.min1.thm1.tptp2017-02-06 16:46 556  
[ ]valued_1__1715_12.min1.thm12017-02-06 12:44 304  
[ ]valued_1__1717_11.min1.thm12017-02-06 12:44 250  
[ ]valued_1__1720_19.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__1724_43.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__1725_19.min1.thm12017-02-06 12:44 753  
[ ]valued_1__1732_11.min1.thm12017-02-06 12:44 673  
[ ]valued_1__1738_11.min1.thm12017-02-06 12:44 778  
[ ]valued_1__1744_11.min1.thm12017-02-06 12:44 943  
[ ]valued_1__1750_11.min1.thm12017-02-06 12:44 943  
[ ]valued_1__1756_11.min1.thm12017-02-06 12:44 883  
[ ]valued_1__1766_47.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_1__1767_19.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__1778_44.min1.thm12017-02-06 12:44 2.4K 
[ ]valued_1__1832_11.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1840_11.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1848_11.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__1856_11.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__1862_11.min1.thm12017-02-06 12:44 741  
[ ]valued_1__1871_11.min1.thm12017-02-06 12:44 959  
[ ]valued_1__1877_11.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1883_11.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__1889_11.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_1__1895_11.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_1__1903_41.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__1915_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1926_29.min1.thm12017-02-06 12:44 340  
[ ]valued_1__1930_28.min1.thm12017-02-06 12:44 565  
[ ]valued_1__1930_28.min1.thm1.tptp2017-02-06 16:46 488  
[ ]valued_1__1931_22.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__1943_62.min1.thm12017-02-06 12:44 2.2K 
[ ]valued_1__1998_22.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2000_8.min1.thm12017-02-06 12:44 265  
[ ]valued_1__2012_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2025_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2038_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2051_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2065_11.min1.thm12017-02-06 12:44 194  
[ ]valued_1__2073_20.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__2074_20.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__2091_11.min1.thm12017-02-06 12:44 967  
[ ]valued_1__2099_44.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__2100_26.min1.thm12017-02-06 12:44 892  
[ ]valued_1__2109_38.min1.thm12017-02-06 12:44 742  
[ ]valued_1__2110_11.min1.thm12017-02-06 12:44 312  
[ ]valued_1__2114_23.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2118_46.min1.thm12017-02-06 12:44 683  
[ ]valued_1__2120_27.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2121_30.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__2129_11.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2135_11.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__2141_11.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_1__2152_64.min1.thm12017-02-06 12:44 2.3K 
[ ]valued_1__2194_21.min1.thm12017-02-06 12:44 949  
[ ]valued_1__2195_16.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2196_8.min1.thm12017-02-06 12:44 265  
[ ]valued_1__2208_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2221_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2234_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2241_11.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__2262_29.min1.thm12017-02-06 12:44 599  
[ ]valued_1__2262_29.min1.thm1.tptp2017-02-06 16:46 524  
[ ]valued_1__2263_18.min1.thm12017-02-06 12:44 795  
[ ]valued_1__2265_19.min1.thm12017-02-06 12:44 757  
[ ]valued_1__2278_25.min1.thm12017-02-06 12:44 539  
[ ]valued_1__2278_25.min1.thm1.tptp2017-02-06 16:46 462  
[ ]valued_1__2279_17.min1.thm12017-02-06 12:44 743  
[ ]valued_1__2281_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2290_22.min1.thm12017-02-06 12:44 196  
[ ]valued_1__2294_30.min1.thm12017-02-06 12:44 939  
[ ]valued_1__2295_19.min1.thm12017-02-06 12:44 565  
[ ]valued_1__2295_19.min1.thm1.tptp2017-02-06 16:46 488  
[ ]valued_1__2310_24.min1.thm12017-02-06 12:44 806  
[ ]valued_1__2311_11.min1.thm12017-02-06 12:44 250  
[ ]valued_1__2314_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2318_47.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2319_19.min1.thm12017-02-06 12:44 755  
[ ]valued_1__2332_20.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2333_24.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__2334_19.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__2344_23.min1.thm12017-02-06 12:44 709  
[ ]valued_1__2345_19.min1.thm12017-02-06 12:44 2.1K 
[ ]valued_1__2356_44.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_1__2357_19.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__2368_18.min1.thm12017-02-06 12:44 636  
[ ]valued_1__2369_16.min1.thm12017-02-06 12:44 880  
[ ]valued_1__2392_18.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2393_16.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_1__2416_18.min1.thm12017-02-06 12:44 928  
[ ]valued_1__2417_16.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_1__2429_13.min1.thm12017-02-06 12:44 799  
[ ]valued_1__2430_19.min1.thm12017-02-06 12:44 920  
[ ]valued_1__2442_13.min1.thm12017-02-06 12:44 799  
[ ]valued_1__2443_19.min1.thm12017-02-06 12:44 920  
[ ]valued_1__2455_13.min1.thm12017-02-06 12:44 799  
[ ]valued_1__2456_19.min1.thm12017-02-06 12:44 920  
[ ]valued_1__2465_24.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2466_19.min1.thm12017-02-06 12:44 843  
[ ]valued_1__2472_27.min1.thm12017-02-06 12:44 717  
[ ]valued_1__2496_16.min1.thm12017-02-06 12:44 812  
[ ]valued_1__2498_20.min1.thm12017-02-06 12:44 529  
[ ]valued_1__2498_20.min1.thm1.tptp2017-02-06 16:46 454  
[ ]valued_1__2504_38.min1.thm12017-02-06 12:44 334  
[ ]valued_1__2507_17.min1.thm12017-02-06 12:44 847  
[ ]valued_1__2508_45.min1.thm12017-02-06 12:44 774  
[ ]valued_1__2508_45.min1.thm1.tptp2017-02-06 16:46 715  
[ ]valued_1__2524_25.min1.thm12017-02-06 12:44 747  
[ ]valued_1__2525_19.min1.thm12017-02-06 12:44 747  
[ ]valued_1__2527_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2536_42.min1.thm12017-02-06 12:44 900  
[ ]valued_1__2541_42.min1.thm12017-02-06 12:44 972  
[ ]valued_1__2542_18.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2544_16.min1.thm12017-02-06 12:44 308  
[ ]valued_1__2557_21.min1.thm12017-02-06 12:44 720  
[ ]valued_1__2567_39.min1.thm12017-02-06 12:44 597  
[ ]valued_1__2567_39.min1.thm1.tptp2017-02-06 16:46 533  
[ ]valued_1__2574_46.min1.thm12017-02-06 12:44 414  
[ ]valued_1__2576_16.min1.thm12017-02-06 12:44 845  
[ ]valued_1__2578_24.min1.thm12017-02-06 12:44 414  
[ ]valued_1__2608_12.min1.thm12017-02-06 12:44 941  
[ ]valued_1__2611_19.min1.thm12017-02-06 12:44 804  
[ ]valued_1__2613_21.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2618_28.min1.thm12017-02-06 12:44 953  
[ ]valued_1__2631_24.min1.thm12017-02-06 12:44 553  
[ ]valued_1__2641_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2644_21.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2652_26.min1.thm12017-02-06 12:44 873  
[ ]valued_1__2665_19.min1.thm12017-02-06 12:44 832  
[ ]valued_1__2679_13.min1.thm12017-02-06 12:44 256  
[ ]valued_1__2685_24.min1.thm12017-02-06 12:44 752  
[ ]valued_1__2689_28.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2691_19.min1.thm12017-02-06 12:44 572  
[ ]valued_1__2696_24.min1.thm12017-02-06 12:44 758  
[ ]valued_1__2708_28.min1.thm12017-02-06 12:44 675  
[ ]valued_1__2708_28.min1.thm1.tptp2017-02-06 16:46 625  
[ ]valued_1__2715_24.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2716_31.min1.thm12017-02-06 12:44 523  
[ ]valued_1__2716_31.min1.thm1.tptp2017-02-06 16:46 461  
[ ]valued_1__2720_33.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2736_43.min1.thm12017-02-06 12:44 869  
[ ]valued_1__2738_14.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__2755_14.min1.thm12017-02-06 12:44 788  
[ ]valued_1__2757_17.min1.thm12017-02-06 12:44 843  
[ ]valued_1__2767_33.min1.thm12017-02-06 12:44 550  
[ ]valued_1__2772_14.min1.thm12017-02-06 12:44 600  
[ ]valued_1__2773_35.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2784_19.min1.thm12017-02-06 12:44 402  
[ ]valued_1__2784_19.min1.thm1.tptp2017-02-06 16:46 325  
[ ]valued_1__2788_19.min1.thm12017-02-06 12:44 963  
[ ]valued_1__2805_16.min1.thm12017-02-06 12:44 742  
[ ]valued_1__2806_31.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2813_37.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__2820_20.min1.thm12017-02-06 12:44 595  
[ ]valued_1__2821_32.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2826_8.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2828_21.min1.thm12017-02-06 12:44 844  
[ ]valued_1__2829_16.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2840_16.min1.thm12017-02-06 12:44 742  
[ ]valued_1__2841_31.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2848_37.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__2855_20.min1.thm12017-02-06 12:44 595  
[ ]valued_1__2856_32.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2861_9.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2863_21.min1.thm12017-02-06 12:44 844  
[ ]valued_1__2864_16.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__2875_16.min1.thm12017-02-06 12:44 742  
[ ]valued_1__2876_31.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2883_37.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__2891_27.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__2892_23.min1.thm12017-02-06 12:44 558  
[ ]valued_1__2892_23.min1.thm1.tptp2017-02-06 16:46 477  
[ ]valued_1__2899_22.min1.thm12017-02-06 12:44 833  
[ ]valued_1__2911_16.min1.thm12017-02-06 12:44 742  
[ ]valued_1__2912_31.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__2919_37.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__2927_27.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__2928_23.min1.thm12017-02-06 12:44 558  
[ ]valued_1__2928_23.min1.thm1.tptp2017-02-06 16:46 477  
[ ]valued_1__2933_9.min1.thm12017-02-06 12:44 2.3K 
[ ]valued_1__2935_22.min1.thm12017-02-06 12:44 833  
[ ]valued_1__2953_16.min1.thm12017-02-06 12:44 544  
[ ]valued_1__2953_16.min1.thm1.tptp2017-02-06 16:46 477  
[ ]valued_1__2957_13.min1.thm12017-02-06 12:44 224  
[ ]valued_1__2960_46.min1.thm12017-02-06 12:44 817  
[ ]valued_1__2962_33.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__2964_20.min1.thm12017-02-06 12:44 846  
[ ]valued_1__2965_20.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__2971_19.min1.thm12017-02-06 12:44 540  
[ ]valued_1__2991_15.min1.thm12017-02-06 12:44 628  
[ ]valued_1__2992_41.min1.thm12017-02-06 12:44 909  
[ ]valued_1__2993_60.min1.thm12017-02-06 12:44 735  
[ ]valued_1__2994_12.min1.thm12017-02-06 12:44 944  
[ ]valued_1__2996_19.min1.thm12017-02-06 12:44 440  
[ ]valued_1__2996_19.min1.thm1.tptp2017-02-06 16:46 359  
[ ]valued_1__2997_19.min1.thm12017-02-06 12:44 478  
[ ]valued_1__2999_41.min1.thm12017-02-06 12:44 791  
[ ]valued_1__3003_37.min1.thm12017-02-06 12:44 885  
[ ]valued_1__3005_16.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_1__3007_49.min1.thm12017-02-06 12:44 605  
[ ]valued_1__3007_49.min1.thm1.tptp2017-02-06 16:46 517  
[ ]valued_1__3009_20.min1.thm12017-02-06 12:44 742  
[ ]valued_1__3010_37.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3015_13.min1.thm12017-02-06 12:44 202  
[ ]valued_1__3022_32.min1.thm12017-02-06 12:44 2.1K 
[ ]valued_1__3023_51.min1.thm12017-02-06 12:44 2.0K 
[ ]valued_1__3024_47.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__3049_39.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3051_15.min1.thm12017-02-06 12:44 335  
[ ]valued_1__3064_18.min1.thm12017-02-06 12:44 689  
[ ]valued_1__3067_19.min1.thm12017-02-06 12:44 689  
[ ]valued_1__3070_23.min1.thm12017-02-06 12:44 300  
[ ]valued_1__3078_15.min1.thm12017-02-06 12:44 608  
[ ]valued_1__3081_18.min1.thm12017-02-06 12:44 689  
[ ]valued_1__3088_18.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3091_18.min1.thm12017-02-06 12:44 676  
[ ]valued_1__3092_16.min1.thm12017-02-06 12:44 2.5K 
[ ]valued_1__3106_43.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3107_55.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3109_48.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3115_49.min1.thm12017-02-06 12:44 865  
[ ]valued_1__3116_16.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__3119_43.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3125_55.min1.thm12017-02-06 12:44 350  
[ ]valued_1__3145_22.min1.thm12017-02-06 12:44 678  
[ ]valued_1__3146_21.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3156_14.min1.thm12017-02-06 12:44 720  
[ ]valued_1__3168_56.min1.thm12017-02-06 12:44 822  
[ ]valued_1__3169_22.min1.thm12017-02-06 12:44 553  
[ ]valued_1__3171_26.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__3185_17.min1.thm12017-02-06 12:44 862  
[ ]valued_1__3186_37.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__3188_9.min1.thm12017-02-06 12:44 822  
[ ]valued_1__3189_37.min1.thm12017-02-06 12:44 885  
[ ]valued_1__3190_30.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__3191_16.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_1__3212_18.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3213_24.min1.thm12017-02-06 12:44 788  
[ ]valued_1__3214_14.min1.thm12017-02-06 12:44 813  
[ ]valued_1__3221_10.min1.thm12017-02-06 12:44 514  
[ ]valued_1__3228_13.min1.thm12017-02-06 12:44 2.1K 
[ ]valued_1__3235_11.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__3246_23.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__3254_54.min1.thm12017-02-06 12:44 2.2K 
[ ]valued_1__3260_14.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_1__3265_24.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_1__3274_29.min1.thm12017-02-06 12:44 2.1K 
[ ]valued_1__3281_55.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3282_55.min1.thm12017-02-06 12:44 428  
[ ]valued_1__3282_55.min1.thm1.tptp2017-02-06 16:46 354  
[ ]valued_1__3283_39.min1.thm12017-02-06 12:44 600  
[ ]valued_1__3285_26.min1.thm12017-02-06 12:44 762  
[ ]valued_1__3291_21.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__3292_21.min1.thm12017-02-06 12:44 678  
[ ]valued_1__3294_16.min1.thm12017-02-06 12:44 736  
[ ]valued_1__3296_28.min1.thm12017-02-06 12:44 485  
[ ]valued_1__3303_29.min1.thm12017-02-06 12:44 483  
[ ]valued_1__3317_23.min1.thm12017-02-06 12:44 606  
[ ]valued_1__3317_23.min1.thm1.tptp2017-02-06 16:46 527  
[ ]valued_1__3319_27.min1.thm12017-02-06 12:44 426  
[ ]valued_1__3319_27.min1.thm1.tptp2017-02-06 16:46 348  
[ ]valued_1__3320_45.min1.thm12017-02-06 12:44 877  
[ ]valued_1__3329_14.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__3338_25.min1.thm12017-02-06 12:44 705  
[ ]valued_1__3340_35.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3343_24.min1.thm12017-02-06 12:44 345  
[ ]valued_1__3343_24.min1.thm1.tptp2017-02-06 16:46 268  
[ ]valued_1__3344_34.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__3345_42.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__3346_46.min1.thm12017-02-06 12:44 641  
[ ]valued_1__3360_46.min1.thm12017-02-06 12:44 687  
[ ]valued_1__3362_38.min1.thm12017-02-06 12:44 764  
[ ]valued_1__3363_25.min1.thm12017-02-06 12:44 608  
[ ]valued_1__3363_25.min1.thm1.tptp2017-02-06 16:46 529  
[ ]valued_1__3364_19.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__3367_4.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__3368_49.min1.thm12017-02-06 12:44 537  
[ ]valued_1__3369_20.min1.thm12017-02-06 12:44 744  
[ ]valued_1__3379_22.min1.thm12017-02-06 12:44 855  
[ ]valued_1__3384_23.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3385_23.min1.thm12017-02-06 12:44 728  
[ ]valued_1__3390_24.min1.thm12017-02-06 12:44 729  
[ ]valued_1__3391_24.min1.thm12017-02-06 12:44 728  
[ ]valued_1__3396_25.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3397_25.min1.thm12017-02-06 12:44 728  
[ ]valued_1__3406_14.min1.thm12017-02-06 12:44 374  
[ ]valued_1__3416_16.min1.thm12017-02-06 12:44 542  
[ ]valued_1__3416_16.min1.thm1.tptp2017-02-06 16:46 476  
[ ]valued_1__3417_18.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__3422_23.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__3423_16.min1.thm12017-02-06 12:44 542  
[ ]valued_1__3423_16.min1.thm1.tptp2017-02-06 16:46 476  
[ ]valued_1__3424_18.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__3429_24.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3430_16.min1.thm12017-02-06 12:44 542  
[ ]valued_1__3430_16.min1.thm1.tptp2017-02-06 16:46 476  
[ ]valued_1__3431_18.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__3436_25.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__3437_16.min1.thm12017-02-06 12:44 542  
[ ]valued_1__3437_16.min1.thm1.tptp2017-02-06 16:46 476  
[ ]valued_1__3438_18.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_1__3448_24.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3449_24.min1.thm12017-02-06 12:44 760  
[ ]valued_1__3452_10.min1.thm12017-02-06 12:44 939  
[ ]valued_1__3456_26.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_1__3457_26.min1.thm12017-02-06 12:44 762  
[ ]valued_1__3467_24.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__3468_16.min1.thm12017-02-06 12:44 542  
[ ]valued_1__3468_16.min1.thm1.tptp2017-02-06 16:46 476  
[ ]valued_1__3469_18.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__3472_10.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3476_26.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__3477_16.min1.thm12017-02-06 12:44 542  
[ ]valued_1__3477_16.min1.thm1.tptp2017-02-06 16:46 476  
[ ]valued_1__3478_18.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_1__3488_38.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__3490_30.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3491_28.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3498_38.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__3500_30.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3501_28.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_1__3504_10.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_1__3513_30.min1.thm12017-02-06 12:44 834  
[ ]valued_1__3514_18.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__3522_30.min1.thm12017-02-06 12:44 834  
[ ]valued_1__3523_18.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_1__3526_10.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_1__3544_48.min1.thm12017-02-06 12:44 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80