Index of /~mptp/1147/MPTP2/ilp0/jordan5a
Name
Last modified
Size
Description
Parent Directory
-
jordan5a__2192_17.min1.thm1
2017-02-06 12:45
2.2K
jordan5a__2191_16.min1.thm1
2017-02-06 12:45
679
jordan5a__2190_38.min1.thm1.tptp
2017-02-06 16:47
256
jordan5a__2190_38.min1.thm1
2017-02-06 12:45
342
jordan5a__2184_19.min1.thm1
2017-02-06 12:45
2.2K
jordan5a__2183_18.min1.thm1
2017-02-06 12:45
701
jordan5a__2182_41.min1.thm1.tptp
2017-02-06 16:47
264
jordan5a__2182_41.min1.thm1
2017-02-06 12:45
350
jordan5a__2155_18.min1.thm1
2017-02-06 12:45
694
jordan5a__2149_18.min1.thm1
2017-02-06 12:45
738
jordan5a__2146_25.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__2140_31.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__2137_31.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__2122_21.min1.thm1
2017-02-06 12:45
319
jordan5a__2119_24.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__2118_24.min1.thm1
2017-02-06 12:45
1.7K
jordan5a__2117_35.min1.thm1
2017-02-06 12:45
439
jordan5a__2105_25.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__2099_31.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__2096_31.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__2083_26.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__2080_21.min1.thm1
2017-02-06 12:45
319
jordan5a__2077_24.min1.thm1
2017-02-06 12:45
1.7K
jordan5a__2076_35.min1.thm1
2017-02-06 12:45
439
jordan5a__2064_25.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__2063_25.min1.thm1
2017-02-06 12:45
937
jordan5a__2062_34.min1.thm1
2017-02-06 12:45
688
jordan5a__2059_20.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__2057_31.min1.thm1
2017-02-06 12:45
1.7K
jordan5a__2055_23.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__2054_15.min1.thm1
2017-02-06 12:45
849
jordan5a__2045_35.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__2044_23.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__2039_21.min1.thm1
2017-02-06 12:45
732
jordan5a__2038_30.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__2035_16.min1.thm1
2017-02-06 12:45
617
jordan5a__2032_40.min1.thm1
2017-02-06 12:45
491
jordan5a__2023_14.min1.thm1
2017-02-06 12:45
714
jordan5a__2018_17.min1.thm1
2017-02-06 12:45
502
jordan5a__2017_25.min1.thm1
2017-02-06 12:45
489
jordan5a__2012_26.min1.thm1
2017-02-06 12:45
971
jordan5a__2011_47.min1.thm1
2017-02-06 12:45
574
jordan5a__2010_15.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__2009_16.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__2008_20.min1.thm1
2017-02-06 12:45
795
jordan5a__2007_44.min1.thm1
2017-02-06 12:45
943
jordan5a__2005_15.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__2004_48.min1.thm1
2017-02-06 12:45
584
jordan5a__2003_52.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__2002_10.min1.thm1
2017-02-06 12:45
647
jordan5a__1998_18.min1.thm1.tptp
2017-02-06 16:47
248
jordan5a__1998_18.min1.thm1
2017-02-06 12:45
334
jordan5a__1997_18.min1.thm1
2017-02-06 12:45
554
jordan5a__1996_53.min1.thm1
2017-02-06 12:45
515
jordan5a__1993_13.min1.thm1
2017-02-06 12:45
191
jordan5a__1980_14.min1.thm1
2017-02-06 12:45
473
jordan5a__1972_19.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1969_37.min1.thm1
2017-02-06 12:45
514
jordan5a__1968_40.min1.thm1.tptp
2017-02-06 16:47
296
jordan5a__1968_40.min1.thm1
2017-02-06 12:45
382
jordan5a__1957_21.min1.thm1
2017-02-06 12:45
913
jordan5a__1956_33.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1955_23.min1.thm1
2017-02-06 12:45
565
jordan5a__1953_43.min1.thm1.tptp
2017-02-06 16:47
272
jordan5a__1953_43.min1.thm1
2017-02-06 12:45
358
jordan5a__1935_14.min1.thm1
2017-02-06 12:45
478
jordan5a__1934_23.min1.thm1
2017-02-06 12:45
635
jordan5a__1932_35.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1927_22.min1.thm1
2017-02-06 12:45
639
jordan5a__1926_22.min1.thm1
2017-02-06 12:45
482
jordan5a__1914_78.min1.thm1
2017-02-06 12:45
457
jordan5a__1910_15.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1908_47.min1.thm1
2017-02-06 12:45
711
jordan5a__1893_25.min1.thm1
2017-02-06 12:45
855
jordan5a__1892_23.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__1884_17.min1.thm1
2017-02-06 12:45
2.2K
jordan5a__1883_16.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1870_17.min1.thm1
2017-02-06 12:45
521
jordan5a__1868_24.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1867_22.min1.thm1
2017-02-06 12:45
716
jordan5a__1862_31.min1.thm1.tptp
2017-02-06 16:47
540
jordan5a__1862_31.min1.thm1
2017-02-06 12:45
615
jordan5a__1860_32.min1.thm1
2017-02-06 12:45
497
jordan5a__1852_27.min1.thm1
2017-02-06 12:45
867
jordan5a__1846_29.min1.thm1
2017-02-06 12:45
2.5K
jordan5a__1844_35.min1.thm1
2017-02-06 12:45
2.2K
jordan5a__1838_69.min1.thm1
2017-02-06 12:45
748
jordan5a__1837_26.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__1834_18.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1833_43.min1.thm1
2017-02-06 12:45
340
jordan5a__1832_15.min1.thm1.tptp
2017-02-06 16:47
336
jordan5a__1832_15.min1.thm1
2017-02-06 12:45
413
jordan5a__1829_62.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1826_28.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1821_53.min1.thm1
2017-02-06 12:45
969
jordan5a__1820_17.min1.thm1
2017-02-06 12:45
635
jordan5a__1796_29.min1.thm1
2017-02-06 12:45
2.5K
jordan5a__1792_23.min1.thm1
2017-02-06 12:45
855
jordan5a__1791_23.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__1790_17.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1783_17.min1.thm1
2017-02-06 12:45
2.2K
jordan5a__1782_16.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1779_37.min1.thm1
2017-02-06 12:45
701
jordan5a__1778_14.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__1768_17.min1.thm1
2017-02-06 12:45
521
jordan5a__1766_24.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1765_22.min1.thm1
2017-02-06 12:45
716
jordan5a__1760_31.min1.thm1.tptp
2017-02-06 16:47
540
jordan5a__1760_31.min1.thm1
2017-02-06 12:45
615
jordan5a__1758_32.min1.thm1
2017-02-06 12:45
497
jordan5a__1750_27.min1.thm1
2017-02-06 12:45
867
jordan5a__1749_35.min1.thm1
2017-02-06 12:45
2.2K
jordan5a__1743_69.min1.thm1
2017-02-06 12:45
748
jordan5a__1742_26.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__1739_18.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1738_43.min1.thm1
2017-02-06 12:45
340
jordan5a__1737_15.min1.thm1.tptp
2017-02-06 16:47
336
jordan5a__1737_15.min1.thm1
2017-02-06 12:45
413
jordan5a__1734_62.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1731_28.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1726_53.min1.thm1
2017-02-06 12:45
969
jordan5a__1725_17.min1.thm1
2017-02-06 12:45
635
jordan5a__1710_17.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1707_61.min1.thm1
2017-02-06 12:45
842
jordan5a__1702_22.min1.thm1
2017-02-06 12:45
921
jordan5a__1698_23.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1695_15.min1.thm1
2017-02-06 12:45
205
jordan5a__1688_22.min1.thm1
2017-02-06 12:45
922
jordan5a__1684_23.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1681_15.min1.thm1
2017-02-06 12:45
205
jordan5a__1677_9.min1.thm1
2017-02-06 12:45
2.7K
jordan5a__1671_20.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__1670_12.min1.thm1
2017-02-06 12:45
754
jordan5a__1666_51.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1654_21.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1652_60.min1.thm1
2017-02-06 12:45
842
jordan5a__1638_25.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1637_53.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__1625_36.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1619_20.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1617_55.min1.thm1
2017-02-06 12:45
839
jordan5a__1615_11.min1.thm1
2017-02-06 12:45
754
jordan5a__1611_61.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1604_62.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1602_28.min1.thm1
2017-02-06 12:45
1.7K
jordan5a__1601_22.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1599_58.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1598_20.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1596_58.min1.thm1
2017-02-06 12:45
825
jordan5a__1595_11.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1594_20.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1591_58.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1590_20.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1588_58.min1.thm1
2017-02-06 12:45
825
jordan5a__1587_11.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1564_11.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1562_16.min1.thm1
2017-02-06 12:45
331
jordan5a__1561_55.min1.thm1
2017-02-06 12:45
706
jordan5a__1560_56.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1555_26.min1.thm1
2017-02-06 12:45
903
jordan5a__1552_16.min1.thm1
2017-02-06 12:45
331
jordan5a__1551_55.min1.thm1
2017-02-06 12:45
706
jordan5a__1550_56.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1545_26.min1.thm1
2017-02-06 12:45
903
jordan5a__1542_16.min1.thm1
2017-02-06 12:45
331
jordan5a__1541_55.min1.thm1
2017-02-06 12:45
706
jordan5a__1540_56.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1534_16.min1.thm1
2017-02-06 12:45
331
jordan5a__1533_55.min1.thm1
2017-02-06 12:45
706
jordan5a__1532_56.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1524_13.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1518_55.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1516_14.min1.thm1
2017-02-06 12:45
383
jordan5a__1512_13.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1506_51.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1504_14.min1.thm1
2017-02-06 12:45
383
jordan5a__1484_19.min1.thm1
2017-02-06 12:45
471
jordan5a__1480_68.min1.thm1
2017-02-06 12:45
969
jordan5a__1479_29.min1.thm1
2017-02-06 12:45
493
jordan5a__1472_78.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1469_21.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1463_21.min1.thm1
2017-02-06 12:45
857
jordan5a__1460_13.min1.thm1
2017-02-06 12:45
207
jordan5a__1459_51.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__1454_52.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1453_34.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__1447_25.min1.thm1
2017-02-06 12:45
826
jordan5a__1446_21.min1.thm1
2017-02-06 12:45
891
jordan5a__1438_6.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1432_34.min1.thm1
2017-02-06 12:45
412
jordan5a__1429_59.min1.thm1
2017-02-06 12:45
616
jordan5a__1427_49.min1.thm1.tptp
2017-02-06 16:47
390
jordan5a__1427_49.min1.thm1
2017-02-06 12:45
469
jordan5a__1426_30.min1.thm1
2017-02-06 12:45
580
jordan5a__1424_34.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1422_16.min1.thm1
2017-02-06 12:45
669
jordan5a__1421_28.min1.thm1
2017-02-06 12:45
491
jordan5a__1419_6.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1387_19.min1.thm1
2017-02-06 12:45
471
jordan5a__1383_68.min1.thm1
2017-02-06 12:45
969
jordan5a__1382_29.min1.thm1
2017-02-06 12:45
493
jordan5a__1375_78.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1372_21.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1366_21.min1.thm1
2017-02-06 12:45
857
jordan5a__1363_13.min1.thm1
2017-02-06 12:45
207
jordan5a__1362_51.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__1357_52.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1356_34.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__1350_25.min1.thm1
2017-02-06 12:45
826
jordan5a__1349_21.min1.thm1
2017-02-06 12:45
826
jordan5a__1341_6.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1335_34.min1.thm1
2017-02-06 12:45
412
jordan5a__1332_59.min1.thm1
2017-02-06 12:45
616
jordan5a__1330_49.min1.thm1.tptp
2017-02-06 16:47
390
jordan5a__1330_49.min1.thm1
2017-02-06 12:45
469
jordan5a__1329_30.min1.thm1
2017-02-06 12:45
580
jordan5a__1327_34.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1325_16.min1.thm1
2017-02-06 12:45
669
jordan5a__1324_28.min1.thm1
2017-02-06 12:45
491
jordan5a__1322_6.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1284_53.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1281_53.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1265_43.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__1261_59.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__1234_68.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1204_18.min1.thm1
2017-02-06 12:45
384
jordan5a__1198_59.min1.thm1
2017-02-06 12:45
2.8K
jordan5a__1197_20.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1193_50.min1.thm1
2017-02-06 12:45
751
jordan5a__1186_16.min1.thm1
2017-02-06 12:45
818
jordan5a__1183_19.min1.thm1
2017-02-06 12:45
591
jordan5a__1181_40.min1.thm1
2017-02-06 12:45
668
jordan5a__1180_45.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1179_49.min1.thm1
2017-02-06 12:45
611
jordan5a__1175_58.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1163_19.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1159_58.min1.thm1
2017-02-06 12:45
527
jordan5a__1158_40.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1155_50.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__1144_18.min1.thm1
2017-02-06 12:45
384
jordan5a__1138_59.min1.thm1
2017-02-06 12:45
2.8K
jordan5a__1137_20.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1133_50.min1.thm1
2017-02-06 12:45
751
jordan5a__1126_16.min1.thm1
2017-02-06 12:45
818
jordan5a__1123_19.min1.thm1
2017-02-06 12:45
591
jordan5a__1121_40.min1.thm1
2017-02-06 12:45
668
jordan5a__1120_45.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1119_49.min1.thm1
2017-02-06 12:45
611
jordan5a__1115_58.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1106_25.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1105_42.min1.thm1
2017-02-06 12:45
2.2K
jordan5a__1104_58.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1103_19.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__1097_74.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__1096_63.min1.thm1
2017-02-06 12:45
2.5K
jordan5a__1095_53.min1.thm1
2017-02-06 12:45
527
jordan5a__1093_40.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1091_50.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__1083_11.min1.thm1
2017-02-06 12:45
277
jordan5a__1080_31.min1.thm1
2017-02-06 12:45
579
jordan5a__1079_25.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1077_60.min1.thm1
2017-02-06 12:45
302
jordan5a__1054_17.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__1051_17.min1.thm1
2017-02-06 12:45
949
jordan5a__1048_13.min1.thm1
2017-02-06 12:45
523
jordan5a__1047_15.min1.thm1
2017-02-06 12:45
929
jordan5a__1042_34.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__1040_8.min1.thm1
2017-02-06 12:45
584
jordan5a__1027_18.min1.thm1
2017-02-06 12:45
354
jordan5a__1022_22.min1.thm1
2017-02-06 12:45
493
jordan5a__1020_24.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__1019_54.min1.thm1
2017-02-06 12:45
596
jordan5a__1018_67.min1.thm1.tptp
2017-02-06 16:47
433
jordan5a__1018_67.min1.thm1
2017-02-06 12:45
519
jordan5a__1017_54.min1.thm1
2017-02-06 12:45
611
jordan5a__1016_48.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__1006_23.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__1004_70.min1.thm1.tptp
2017-02-06 16:47
430
jordan5a__1004_70.min1.thm1
2017-02-06 12:45
516
jordan5a__1003_54.min1.thm1
2017-02-06 12:45
611
jordan5a__1002_48.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__999_73.min1.thm1
2017-02-06 12:45
626
jordan5a__998_61.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__997_22.min1.thm1
2017-02-06 12:45
545
jordan5a__995_25.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__992_54.min1.thm1
2017-02-06 12:45
869
jordan5a__973_18.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__956_20.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__950_19.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__946_34.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__943_8.min1.thm1
2017-02-06 12:45
583
jordan5a__939_63.min1.thm1
2017-02-06 12:45
2.1K
jordan5a__912_17.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__911_52.min1.thm1
2017-02-06 12:45
741
jordan5a__908_25.min1.thm1
2017-02-06 12:45
374
jordan5a__907_52.min1.thm1
2017-02-06 12:45
702
jordan5a__906_54.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__903_59.min1.thm1
2017-02-06 12:45
578
jordan5a__900_16.min1.thm1
2017-02-06 12:45
383
jordan5a__891_19.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__890_25.min1.thm1
2017-02-06 12:45
640
jordan5a__883_67.min1.thm1
2017-02-06 12:45
909
jordan5a__881_16.min1.thm1
2017-02-06 12:45
834
jordan5a__880_29.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__877_37.min1.thm1
2017-02-06 12:45
743
jordan5a__863_53.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__862_40.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__861_64.min1.thm1
2017-02-06 12:45
2.1K
jordan5a__859_19.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__849_27.min1.thm1
2017-02-06 12:45
391
jordan5a__845_13.min1.thm1
2017-02-06 12:45
913
jordan5a__843_36.min1.thm1
2017-02-06 12:45
519
jordan5a__821_49.min1.thm1
2017-02-06 12:45
852
jordan5a__819_28.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__818_29.min1.thm1
2017-02-06 12:45
666
jordan5a__813_16.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__812_19.min1.thm1
2017-02-06 12:45
2.2K
jordan5a__810_14.min1.thm1
2017-02-06 12:45
775
jordan5a__799_52.min1.thm1
2017-02-06 12:45
852
jordan5a__797_28.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__796_29.min1.thm1
2017-02-06 12:45
666
jordan5a__788_14.min1.thm1
2017-02-06 12:45
775
jordan5a__779_14.min1.thm1
2017-02-06 12:45
334
jordan5a__767_17.min1.thm1
2017-02-06 12:45
852
jordan5a__765_16.min1.thm1.tptp
2017-02-06 16:47
306
jordan5a__765_16.min1.thm1
2017-02-06 12:45
378
jordan5a__758_25.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__757_61.min1.thm1
2017-02-06 12:45
906
jordan5a__750_24.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__749_18.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__732_27.min1.thm1.tptp
2017-02-06 16:47
383
jordan5a__732_27.min1.thm1
2017-02-06 12:45
471
jordan5a__728_27.min1.thm1
2017-02-06 12:45
2.5K
jordan5a__725_22.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__713_25.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__712_61.min1.thm1
2017-02-06 12:45
906
jordan5a__704_22.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__703_18.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__686_27.min1.thm1.tptp
2017-02-06 16:47
383
jordan5a__686_27.min1.thm1
2017-02-06 12:45
471
jordan5a__682_27.min1.thm1
2017-02-06 12:45
2.4K
jordan5a__679_22.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__673_15.min1.thm1
2017-02-06 12:45
321
jordan5a__666_47.min1.thm1
2017-02-06 12:45
908
jordan5a__664_55.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__662_59.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__661_67.min1.thm1
2017-02-06 12:45
546
jordan5a__660_13.min1.thm1
2017-02-06 12:45
392
jordan5a__659_27.min1.thm1
2017-02-06 12:45
391
jordan5a__653_64.min1.thm1
2017-02-06 12:45
2.0K
jordan5a__638_17.min1.thm1
2017-02-06 12:45
860
jordan5a__632_27.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__630_20.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__628_34.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__621_19.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__614_46.min1.thm1.tptp
2017-02-06 16:47
461
jordan5a__614_46.min1.thm1
2017-02-06 12:45
549
jordan5a__612_17.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__604_52.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__580_47.min1.thm1.tptp
2017-02-06 16:47
538
jordan5a__580_47.min1.thm1
2017-02-06 12:45
624
jordan5a__579_17.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__567_40.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__556_17.min1.thm1
2017-02-06 12:45
662
jordan5a__554_19.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__553_28.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__552_39.min1.thm1.tptp
2017-02-06 16:47
238
jordan5a__552_39.min1.thm1
2017-02-06 12:45
324
jordan5a__551_28.min1.thm1
2017-02-06 12:45
391
jordan5a__536_17.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__532_13.min1.thm1
2017-02-06 12:45
516
jordan5a__531_14.min1.thm1
2017-02-06 12:45
920
jordan5a__529_22.min1.thm1
2017-02-06 12:45
548
jordan5a__528_42.min1.thm1
2017-02-06 12:45
563
jordan5a__527_31.min1.thm1
2017-02-06 12:45
605
jordan5a__526_42.min1.thm1.tptp
2017-02-06 16:47
265
jordan5a__526_42.min1.thm1
2017-02-06 12:45
351
jordan5a__525_13.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__517_23.min1.thm1
2017-02-06 12:45
829
jordan5a__516_56.min1.thm1
2017-02-06 12:45
511
jordan5a__515_38.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__514_48.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__513_43.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__511_39.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__495_12.min1.thm1.tptp
2017-02-06 16:47
441
jordan5a__495_12.min1.thm1
2017-02-06 12:45
496
jordan5a__486_17.min1.thm1
2017-02-06 12:45
852
jordan5a__484_16.min1.thm1.tptp
2017-02-06 16:47
304
jordan5a__484_16.min1.thm1
2017-02-06 12:45
376
jordan5a__482_20.min1.thm1
2017-02-06 12:45
504
jordan5a__480_53.min1.thm1
2017-02-06 12:45
1.9K
jordan5a__478_23.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__476_25.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__475_31.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__473_57.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__472_38.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__471_23.min1.thm1
2017-02-06 12:45
886
jordan5a__458_38.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__457_26.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__456_56.min1.thm1
2017-02-06 12:45
487
jordan5a__454_68.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__453_31.min1.thm1
2017-02-06 12:45
271
jordan5a__452_40.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__443_55.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__437_47.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__436_27.min1.thm1
2017-02-06 12:45
391
jordan5a__422_14.min1.thm1.tptp
2017-02-06 16:47
235
jordan5a__422_14.min1.thm1
2017-02-06 12:45
321
jordan5a__419_19.min1.thm1
2017-02-06 12:45
678
jordan5a__418_25.min1.thm1
2017-02-06 12:45
532
jordan5a__413_53.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__412_34.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__411_19.min1.thm1
2017-02-06 12:45
842
jordan5a__398_34.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__396_56.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__395_27.min1.thm1
2017-02-06 12:45
251
jordan5a__394_52.min1.thm1
2017-02-06 12:45
449
jordan5a__393_36.min1.thm1
2017-02-06 12:45
733
jordan5a__389_47.min1.thm1.tptp
2017-02-06 16:47
258
jordan5a__389_47.min1.thm1
2017-02-06 12:45
344
jordan5a__386_27.min1.thm1
2017-02-06 12:45
387
jordan5a__382_13.min1.thm1
2017-02-06 12:45
833
jordan5a__379_31.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__372_44.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__363_23.min1.thm1
2017-02-06 12:45
2.3K
jordan5a__352_16.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__350_71.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__341_14.min1.thm1.tptp
2017-02-06 16:47
250
jordan5a__341_14.min1.thm1
2017-02-06 12:45
331
jordan5a__334_27.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__317_11.min1.thm1
2017-02-06 12:45
192
jordan5a__308_12.min1.thm1
2017-02-06 12:45
814
jordan5a__306_29.min1.thm1
2017-02-06 12:45
2.0K
jordan5a__305_32.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__304_17.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__303_12.min1.thm1
2017-02-06 12:45
862
jordan5a__302_27.min1.thm1
2017-02-06 12:45
1.3K
jordan5a__301_21.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__300_34.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__299_17.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__294_19.min1.thm1
2017-02-06 12:45
1.7K
jordan5a__293_24.min1.thm1
2017-02-06 12:45
2.8K
jordan5a__292_23.min1.thm1
2017-02-06 12:45
2.6K
jordan5a__290_55.min1.thm1
2017-02-06 12:45
532
jordan5a__280_70.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__275_19.min1.thm1
2017-02-06 12:45
786
jordan5a__259_38.min1.thm1
2017-02-06 12:45
2.4K
jordan5a__250_50.min1.thm1
2017-02-06 12:45
521
jordan5a__249_54.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__245_21.min1.thm1
2017-02-06 12:45
1.6K
jordan5a__235_27.min1.thm1
2017-02-06 12:45
1.2K
jordan5a__229_32.min1.thm1
2017-02-06 12:45
2.5K
jordan5a__228_34.min1.thm1
2017-02-06 12:45
2.2K
jordan5a__220_50.min1.thm1
2017-02-06 12:45
517
jordan5a__215_47.min1.thm1
2017-02-06 12:45
968
jordan5a__209_51.min1.thm1
2017-02-06 12:45
620
jordan5a__208_51.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__204_9.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__200_38.min1.thm1
2017-02-06 12:45
388
jordan5a__189_32.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__187_64.min1.thm1
2017-02-06 12:45
1.4K
jordan5a__185_53.min1.thm1
2017-02-06 12:45
871
jordan5a__176_31.min1.thm1
2017-02-06 12:45
1.9K
jordan5a__175_11.min1.thm1.tptp
2017-02-06 16:47
422
jordan5a__175_11.min1.thm1
2017-02-06 12:45
485
jordan5a__171_50.min1.thm1
2017-02-06 12:45
2.5K
jordan5a__170_32.min1.thm1
2017-02-06 12:45
1.9K
jordan5a__169_11.min1.thm1.tptp
2017-02-06 16:47
420
jordan5a__169_11.min1.thm1
2017-02-06 12:45
483
jordan5a__165_50.min1.thm1
2017-02-06 12:45
2.5K
jordan5a__150_26.min1.thm1
2017-02-06 12:45
1.1K
jordan5a__149_19.min1.thm1.tptp
2017-02-06 16:47
420
jordan5a__149_19.min1.thm1
2017-02-06 12:45
483
jordan5a__145_14.min1.thm1
2017-02-06 12:45
588
jordan5a__133_15.min1.thm1
2017-02-06 12:45
628
jordan5a__131_33.min1.thm1
2017-02-06 12:45
1.0K
jordan5a__121_55.min1.thm1
2017-02-06 12:45
663
jordan5a__79_50.min1.thm1
2017-02-06 12:45
617
jordan5a__71_16.min1.thm1
2017-02-06 12:45
1.5K
jordan5a__67_19.min1.thm1
2017-02-06 12:45
1.8K
jordan5a__66_38.min1.thm1
2017-02-06 12:45
2.7K
jordan5a__65_54.min1.thm1
2017-02-06 12:45
2.7K
jordan5a__64_60.min1.thm1
2017-02-06 12:45
488
jordan5a__61_11.min1.thm1
2017-02-06 12:45
867
jordan5a__60_12.min1.thm1
2017-02-06 12:45
2.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80