Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/ndiff_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff_5__80_18.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__102_13.min1.thm12017-02-06 12:44 616  
[ ]ndiff_5__103_41.min1.thm12017-02-06 12:44 664  
[ ]ndiff_5__109_22.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__116_20.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__118_6.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__124_43.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__128_21.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__156_24.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__159_25.min1.thm12017-02-06 12:44 753  
[ ]ndiff_5__160_18.min1.thm12017-02-06 12:44 821  
[ ]ndiff_5__188_16.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__196_17.min1.thm12017-02-06 12:44 431  
[ ]ndiff_5__197_13.min1.thm12017-02-06 12:44 187  
[ ]ndiff_5__202_18.min1.thm12017-02-06 12:44 496  
[ ]ndiff_5__204_35.min1.thm12017-02-06 12:44 2.6K 
[ ]ndiff_5__207_28.min1.thm12017-02-06 12:44 694  
[ ]ndiff_5__209_38.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_5__212_18.min1.thm12017-02-06 12:44 721  
[ ]ndiff_5__212_18.min1.thm1.tptp2017-02-06 16:47 651  
[ ]ndiff_5__225_30.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__226_17.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__227_16.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__228_18.min1.thm12017-02-06 12:44 876  
[ ]ndiff_5__236_14.min1.thm12017-02-06 12:44 906  
[ ]ndiff_5__239_35.min1.thm12017-02-06 12:44 951  
[ ]ndiff_5__242_20.min1.thm12017-02-06 12:44 633  
[ ]ndiff_5__243_19.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__244_36.min1.thm12017-02-06 12:44 881  
[ ]ndiff_5__278_33.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__279_17.min1.thm12017-02-06 12:44 2.5K 
[ ]ndiff_5__280_31.min1.thm12017-02-06 12:44 955  
[ ]ndiff_5__282_17.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__289_14.min1.thm12017-02-06 12:44 906  
[ ]ndiff_5__302_32.min1.thm12017-02-06 12:44 715  
[ ]ndiff_5__303_30.min1.thm12017-02-06 12:44 692  
[ ]ndiff_5__304_19.min1.thm12017-02-06 12:44 524  
[ ]ndiff_5__304_19.min1.thm1.tptp2017-02-06 16:47 447  
[ ]ndiff_5__316_59.min1.thm12017-02-06 12:44 3.5K 
[ ]ndiff_5__318_41.min1.thm12017-02-06 12:44 2.2K 
[ ]ndiff_5__321_20.min1.thm12017-02-06 12:44 501  
[ ]ndiff_5__322_19.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__387_73.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_5__395_37.min1.thm12017-02-06 12:44 689  
[ ]ndiff_5__396_44.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__399_23.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__403_36.min1.thm12017-02-06 12:44 2.2K 
[ ]ndiff_5__405_28.min1.thm12017-02-06 12:44 679  
[ ]ndiff_5__405_28.min1.thm1.tptp2017-02-06 16:47 602  
[ ]ndiff_5__411_27.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__413_19.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__416_15.min1.thm12017-02-06 12:44 689  
[ ]ndiff_5__421_30.min1.thm12017-02-06 12:44 706  
[ ]ndiff_5__422_15.min1.thm12017-02-06 12:44 734  
[ ]ndiff_5__432_15.min1.thm12017-02-06 12:44 734  
[ ]ndiff_5__435_18.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__437_15.min1.thm12017-02-06 12:44 488  
[ ]ndiff_5__438_19.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__439_21.min1.thm12017-02-06 12:44 886  
[ ]ndiff_5__441_21.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__448_19.min1.thm12017-02-06 12:44 2.5K 
[ ]ndiff_5__449_33.min1.thm12017-02-06 12:44 960  
[ ]ndiff_5__465_56.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_5__514_16.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__515_19.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_5__533_34.min1.thm12017-02-06 12:44 917  
[ ]ndiff_5__534_25.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__540_28.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__542_18.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__548_54.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__550_24.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__577_24.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__578_18.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__582_59.min1.thm12017-02-06 12:44 597  
[ ]ndiff_5__595_23.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__596_28.min1.thm12017-02-06 12:44 935  
[ ]ndiff_5__606_23.min1.thm12017-02-06 12:44 917  
[ ]ndiff_5__606_23.min1.thm1.tptp2017-02-06 16:47 842  
[ ]ndiff_5__612_23.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__613_33.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__614_24.min1.thm12017-02-06 12:44 842  
[ ]ndiff_5__624_36.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__625_24.min1.thm12017-02-06 12:44 551  
[ ]ndiff_5__625_24.min1.thm1.tptp2017-02-06 16:47 476  
[ ]ndiff_5__626_22.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_5__627_18.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__635_21.min1.thm12017-02-06 12:44 913  
[ ]ndiff_5__635_21.min1.thm1.tptp2017-02-06 16:47 838  
[ ]ndiff_5__654_24.min1.thm12017-02-06 12:44 739  
[ ]ndiff_5__659_13.min1.thm12017-02-06 12:44 356  
[ ]ndiff_5__661_14.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__662_17.min1.thm12017-02-06 12:44 576  
[ ]ndiff_5__663_31.min1.thm12017-02-06 12:44 836  
[ ]ndiff_5__666_13.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__667_15.min1.thm12017-02-06 12:44 930  
[ ]ndiff_5__672_18.min1.thm12017-02-06 12:44 739  
[ ]ndiff_5__687_18.min1.thm12017-02-06 12:44 935  
[ ]ndiff_5__688_10.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__689_17.min1.thm12017-02-06 12:44 3.1K 
[ ]ndiff_5__697_16.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__705_47.min1.thm12017-02-06 12:44 604  
[ ]ndiff_5__705_47.min1.thm1.tptp2017-02-06 16:47 529  
[ ]ndiff_5__712_27.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__723_36.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__724_31.min1.thm12017-02-06 12:44 783  
[ ]ndiff_5__724_31.min1.thm1.tptp2017-02-06 16:47 713  
[ ]ndiff_5__725_15.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__726_18.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__727_26.min1.thm12017-02-06 12:44 659  
[ ]ndiff_5__745_24.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__746_28.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__747_24.min1.thm12017-02-06 12:44 842  
[ ]ndiff_5__749_23.min1.thm12017-02-06 12:44 913  
[ ]ndiff_5__749_23.min1.thm1.tptp2017-02-06 16:47 838  
[ ]ndiff_5__752_48.min1.thm12017-02-06 12:44 421  
[ ]ndiff_5__752_48.min1.thm1.tptp2017-02-06 16:47 335  
[ ]ndiff_5__753_41.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__758_52.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__771_38.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__790_48.min1.thm12017-02-06 12:44 851  
[ ]ndiff_5__791_42.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__793_40.min1.thm12017-02-06 12:44 917  
[ ]ndiff_5__793_40.min1.thm1.tptp2017-02-06 16:47 842  
[ ]ndiff_5__798_54.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__812_41.min1.thm12017-02-06 12:44 915  
[ ]ndiff_5__812_41.min1.thm1.tptp2017-02-06 16:47 840  
[ ]ndiff_5__813_39.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__827_24.min1.thm12017-02-06 12:44 722  
[ ]ndiff_5__829_49.min1.thm12017-02-06 12:44 913  
[ ]ndiff_5__829_49.min1.thm1.tptp2017-02-06 16:47 838  
[ ]ndiff_5__834_42.min1.thm12017-02-06 12:44 843  
[ ]ndiff_5__858_18.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__865_17.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__867_25.min1.thm12017-02-06 12:44 740  
[ ]ndiff_5__867_25.min1.thm1.tptp2017-02-06 16:47 663  
[ ]ndiff_5__884_47.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__899_26.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__961_13.min1.thm12017-02-06 12:44 620  
[ ]ndiff_5__962_33.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_5__967_22.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__974_20.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__976_6.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__982_41.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__986_19.min1.thm12017-02-06 12:44 845  
[ ]ndiff_5__987_18.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1016_22.min1.thm12017-02-06 12:44 850  
[ ]ndiff_5__1017_21.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1020_24.min1.thm12017-02-06 12:44 769  
[ ]ndiff_5__1021_18.min1.thm12017-02-06 12:44 832  
[ ]ndiff_5__1067_12.min1.thm12017-02-06 12:44 620  
[ ]ndiff_5__1068_33.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_5__1073_22.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__1080_20.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__1082_6.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1088_39.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__1106_18.min1.thm12017-02-06 12:44 403  
[ ]ndiff_5__1116_24.min1.thm12017-02-06 12:44 769  
[ ]ndiff_5__1117_18.min1.thm12017-02-06 12:44 832  
[ ]ndiff_5__1124_46.min1.thm12017-02-06 12:44 3.0K 
[ ]ndiff_5__1168_20.min1.thm12017-02-06 12:44 869  
[ ]ndiff_5__1175_39.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__1176_17.min1.thm12017-02-06 12:44 736  
[ ]ndiff_5__1177_23.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__1185_17.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1190_14.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1193_13.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__1195_15.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__1196_20.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__1198_32.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1217_20.min1.thm12017-02-06 12:44 2.7K 
[ ]ndiff_5__1224_38.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__1225_15.min1.thm12017-02-06 12:44 310  
[ ]ndiff_5__1236_39.min1.thm12017-02-06 12:44 395  
[ ]ndiff_5__1240_14.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__1241_18.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1246_34.min1.thm12017-02-06 12:44 486  
[ ]ndiff_5__1251_16.min1.thm12017-02-06 12:44 954  
[ ]ndiff_5__1264_43.min1.thm12017-02-06 12:44 828  
[ ]ndiff_5__1267_15.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__1279_22.min1.thm12017-02-06 12:44 947  
[ ]ndiff_5__1286_14.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1289_23.min1.thm12017-02-06 12:44 735  
[ ]ndiff_5__1325_31.min1.thm12017-02-06 12:44 403  
[ ]ndiff_5__1332_64.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1332_64.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]ndiff_5__1334_60.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__1358_24.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__1369_28.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__1396_18.min1.thm12017-02-06 12:44 816  
[ ]ndiff_5__1399_22.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__1399_22.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]ndiff_5__1409_58.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__1413_13.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__1414_21.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__1424_45.min1.thm12017-02-06 12:44 2.6K 
[ ]ndiff_5__1435_42.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__1445_43.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1451_41.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__1456_41.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__1456_41.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]ndiff_5__1470_16.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__1480_20.min1.thm12017-02-06 12:44 617  
[ ]ndiff_5__1480_20.min1.thm1.tptp2017-02-06 16:47 540  
[ ]ndiff_5__1481_18.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1482_28.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_5__1486_20.min1.thm12017-02-06 12:44 505  
[ ]ndiff_5__1486_20.min1.thm1.tptp2017-02-06 16:47 428  
[ ]ndiff_5__1487_28.min1.thm12017-02-06 12:44 2.7K 
[ ]ndiff_5__1535_17.min1.thm12017-02-06 12:44 4.3K 
[ ]ndiff_5__1541_30.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__1574_20.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__1580_26.min1.thm12017-02-06 12:44 387  
[ ]ndiff_5__1581_21.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__1582_31.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__1586_25.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1615_21.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__1624_21.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1642_23.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__1643_30.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__1653_39.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1674_54.min1.thm12017-02-06 12:44 2.5K 
[ ]ndiff_5__1677_19.min1.thm12017-02-06 12:44 940  
[ ]ndiff_5__1684_49.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__1697_38.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__1708_30.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1711_28.min1.thm12017-02-06 12:44 674  
[ ]ndiff_5__1711_28.min1.thm1.tptp2017-02-06 16:47 597  
[ ]ndiff_5__1715_42.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1717_30.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1720_25.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__1721_19.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1723_44.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1725_19.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__1759_31.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__1764_17.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1775_29.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__1784_34.min1.thm12017-02-06 12:44 2.6K 
[ ]ndiff_5__1793_23.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1794_16.min1.thm12017-02-06 12:44 384  
[ ]ndiff_5__1814_18.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1817_29.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__1817_29.min1.thm1.tptp2017-02-06 16:47 939  
[ ]ndiff_5__1822_30.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_5__1825_22.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__1835_19.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__1849_27.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1850_39.min1.thm12017-02-06 12:44 3.1K 
[ ]ndiff_5__1859_59.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__1867_32.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1868_49.min1.thm12017-02-06 12:44 607  
[ ]ndiff_5__1868_49.min1.thm1.tptp2017-02-06 16:47 534  
[ ]ndiff_5__1870_35.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__1874_18.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__1877_30.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__1879_22.min1.thm12017-02-06 12:44 3.5K 
[ ]ndiff_5__1880_16.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__1881_18.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__1900_44.min1.thm12017-02-06 12:44 917  
[ ]ndiff_5__1900_44.min1.thm1.tptp2017-02-06 16:47 842  
[ ]ndiff_5__1912_49.min1.thm12017-02-06 12:44 917  
[ ]ndiff_5__1912_49.min1.thm1.tptp2017-02-06 16:47 842  
[ ]ndiff_5__1930_52.min1.thm12017-02-06 12:44 666  
[ ]ndiff_5__1939_16.min1.thm12017-02-06 12:44 424  
[ ]ndiff_5__1953_23.min1.thm12017-02-06 12:44 760  
[ ]ndiff_5__1953_23.min1.thm1.tptp2017-02-06 16:47 683  
[ ]ndiff_5__1954_22.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__1964_16.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__2016_38.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__2017_23.min1.thm12017-02-06 12:44 869  
[ ]ndiff_5__2021_50.min1.thm12017-02-06 12:44 600  
[ ]ndiff_5__2021_50.min1.thm1.tptp2017-02-06 16:47 525  
[ ]ndiff_5__2028_31.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__2039_16.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__2041_26.min1.thm12017-02-06 12:44 742  
[ ]ndiff_5__2049_13.min1.thm12017-02-06 12:44 198  
[ ]ndiff_5__2068_48.min1.thm12017-02-06 12:44 2.8K 
[ ]ndiff_5__2069_34.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__2072_30.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_5__2098_50.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__2099_24.min1.thm12017-02-06 12:44 751  
[ ]ndiff_5__2100_64.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__2126_26.min1.thm12017-02-06 12:44 686  
[ ]ndiff_5__2142_13.min1.thm12017-02-06 12:44 240  
[ ]ndiff_5__2144_16.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__2152_11.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__2171_13.min1.thm12017-02-06 12:44 240  
[ ]ndiff_5__2173_16.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__2181_11.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__2216_58.min1.thm12017-02-06 12:44 2.5K 
[ ]ndiff_5__2255_26.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__2276_31.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__2292_38.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__2319_43.min1.thm12017-02-06 12:44 605  
[ ]ndiff_5__2336_31.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__2347_38.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__2363_38.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__2380_36.min1.thm12017-02-06 12:44 4.7K 
[ ]ndiff_5__2394_15.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__2421_31.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__2424_23.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__2426_16.min1.thm12017-02-06 12:44 491  
[ ]ndiff_5__2426_16.min1.thm1.tptp2017-02-06 16:47 427  
[ ]ndiff_5__2430_21.min1.thm12017-02-06 12:44 575  
[ ]ndiff_5__2433_17.min1.thm12017-02-06 12:44 929  
[ ]ndiff_5__2434_28.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__2435_35.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__2449_29.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__2450_22.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__2501_46.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__2506_47.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__2550_47.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__2555_47.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__2602_29.min1.thm12017-02-06 12:44 3.5K 
[ ]ndiff_5__2603_45.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__2612_19.min1.thm12017-02-06 12:44 2.6K 
[ ]ndiff_5__2612_19.min1.thm1.tptp2017-02-06 16:47 2.5K 
[ ]ndiff_5__2673_50.min1.thm12017-02-06 12:44 2.7K 
[ ]ndiff_5__2686_50.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__2697_50.min1.thm12017-02-06 12:44 604  
[ ]ndiff_5__2697_50.min1.thm1.tptp2017-02-06 16:47 529  
[ ]ndiff_5__2700_25.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__2732_26.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__2756_30.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__2770_37.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__2798_44.min1.thm12017-02-06 12:44 605  
[ ]ndiff_5__2815_30.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__2828_37.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__2848_37.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__2885_64.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__2897_26.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__2917_13.min1.thm12017-02-06 12:44 198  
[ ]ndiff_5__2919_36.min1.thm12017-02-06 12:44 405  
[ ]ndiff_5__2919_36.min1.thm1.tptp2017-02-06 16:47 319  
[ ]ndiff_5__2939_51.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__2940_49.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__2941_49.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__2962_13.min1.thm12017-02-06 12:44 198  
[ ]ndiff_5__2964_36.min1.thm12017-02-06 12:44 405  
[ ]ndiff_5__2964_36.min1.thm1.tptp2017-02-06 16:47 319  
[ ]ndiff_5__2984_51.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__2985_49.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__2986_49.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__3018_13.min1.thm12017-02-06 12:44 198  
[ ]ndiff_5__3038_49.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__3070_46.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__3083_51.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__3093_52.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__3101_38.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__3130_19.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__3130_19.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]ndiff_5__3173_13.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__3173_13.min1.thm1.tptp2017-02-06 16:47 941  
[ ]ndiff_5__3174_23.min1.thm12017-02-06 12:44 2.2K 
[ ]ndiff_5__3187_25.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__3189_52.min1.thm12017-02-06 12:44 602  
[ ]ndiff_5__3189_52.min1.thm1.tptp2017-02-06 16:47 527  
[ ]ndiff_5__3254_41.min1.thm12017-02-06 12:44 877  
[ ]ndiff_5__3265_57.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__3268_41.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__3307_55.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__3366_40.min1.thm12017-02-06 12:44 869  
[ ]ndiff_5__3368_12.min1.thm12017-02-06 12:44 803  
[ ]ndiff_5__3369_16.min1.thm12017-02-06 12:44 902  
[ ]ndiff_5__3379_41.min1.thm12017-02-06 12:44 690  
[ ]ndiff_5__3391_13.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__3409_41.min1.thm12017-02-06 12:44 877  
[ ]ndiff_5__3411_13.min1.thm12017-02-06 12:44 971  
[ ]ndiff_5__3412_17.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__3421_19.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__3422_49.min1.thm12017-02-06 12:44 852  
[ ]ndiff_5__3432_41.min1.thm12017-02-06 12:44 877  
[ ]ndiff_5__3433_52.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__3434_13.min1.thm12017-02-06 12:44 637  
[ ]ndiff_5__3435_17.min1.thm12017-02-06 12:44 738  
[ ]ndiff_5__3444_21.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__3445_32.min1.thm12017-02-06 12:44 518  
[ ]ndiff_5__3452_43.min1.thm12017-02-06 12:44 504  
[ ]ndiff_5__3455_40.min1.thm12017-02-06 12:44 504  
[ ]ndiff_5__3461_18.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__3473_31.min1.thm12017-02-06 12:44 946  
[ ]ndiff_5__3473_31.min1.thm1.tptp2017-02-06 16:47 871  
[ ]ndiff_5__3485_56.min1.thm12017-02-06 12:44 496  
[ ]ndiff_5__3491_46.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__3493_37.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_5__3496_33.min1.thm12017-02-06 12:44 2.6K 
[ ]ndiff_5__3522_12.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_5__3524_19.min1.thm12017-02-06 12:44 3.3K 
[ ]ndiff_5__3531_19.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__3532_18.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__3533_39.min1.thm12017-02-06 12:44 251  
[ ]ndiff_5__3534_28.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_5__3535_32.min1.thm12017-02-06 12:44 3.5K 
[ ]ndiff_5__3537_35.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__3547_16.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__3549_24.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__3550_27.min1.thm12017-02-06 12:44 885  
[ ]ndiff_5__3551_32.min1.thm12017-02-06 12:44 3.9K 
[ ]ndiff_5__3552_46.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_5__3556_40.min1.thm12017-02-06 12:44 2.7K 
[ ]ndiff_5__3559_17.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__3584_52.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__3587_41.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__3590_41.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__3592_76.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__3595_37.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__3603_50.min1.thm12017-02-06 12:44 693  
[ ]ndiff_5__3605_25.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__3616_13.min1.thm12017-02-06 12:44 220  
[ ]ndiff_5__3626_24.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__3654_49.min1.thm12017-02-06 12:44 600  
[ ]ndiff_5__3654_49.min1.thm1.tptp2017-02-06 16:47 525  
[ ]ndiff_5__3655_64.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__3656_52.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__3660_16.min1.thm12017-02-06 12:44 563  
[ ]ndiff_5__3663_16.min1.thm12017-02-06 12:44 569  
[ ]ndiff_5__3673_19.min1.thm12017-02-06 12:44 730  
[ ]ndiff_5__3673_19.min1.thm1.tptp2017-02-06 16:47 653  
[ ]ndiff_5__3683_50.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__3693_17.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__3694_31.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__3704_17.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__3705_36.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__3710_37.min1.thm12017-02-06 12:44 246  
[ ]ndiff_5__3711_14.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__3713_43.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__3720_31.min1.thm12017-02-06 12:44 3.0K 
[ ]ndiff_5__3723_24.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__3724_28.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__3726_19.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__3727_22.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__3729_37.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__3736_17.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__3737_22.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__3738_17.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_5__3740_15.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__3741_25.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__3744_15.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__3746_19.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__3747_34.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__3748_52.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__3753_44.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__3772_25.min1.thm12017-02-06 12:44 684  
[ ]ndiff_5__3776_13.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__3778_36.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__3793_24.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__3793_49.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__3799_28.min1.thm12017-02-06 12:44 944  
[ ]ndiff_5__3799_28.min1.thm1.tptp2017-02-06 16:47 869  
[ ]ndiff_5__3801_13.min1.thm12017-02-06 12:44 198  
[ ]ndiff_5__3830_46.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__3831_21.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__3838_49.min1.thm12017-02-06 12:44 829  
[ ]ndiff_5__3848_14.min1.thm12017-02-06 12:44 204  
[ ]ndiff_5__3851_26.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__3874_52.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__3877_51.min1.thm12017-02-06 12:44 600  
[ ]ndiff_5__3877_51.min1.thm1.tptp2017-02-06 16:47 525  
[ ]ndiff_5__3902_22.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__3952_43.min1.thm12017-02-06 12:44 2.8K 
[ ]ndiff_5__3960_41.min1.thm12017-02-06 12:44 2.7K 
[ ]ndiff_5__4025_78.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__4026_78.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__4027_78.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__4049_47.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4055_13.min1.thm12017-02-06 12:44 198  
[ ]ndiff_5__4065_60.min1.thm12017-02-06 12:44 2.9K 
[ ]ndiff_5__4078_63.min1.thm12017-02-06 12:44 3.0K 
[ ]ndiff_5__4111_41.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__4126_46.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__4127_46.min1.thm12017-02-06 12:44 3.1K 
[ ]ndiff_5__4130_14.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__4131_33.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4134_13.min1.thm12017-02-06 12:44 248  
[ ]ndiff_5__4139_21.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__4140_23.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__4194_35.min1.thm12017-02-06 12:44 3.8K 
[ ]ndiff_5__4237_20.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4239_20.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__4240_16.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__4241_42.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4245_18.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__4246_49.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4247_20.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4250_29.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__4251_48.min1.thm12017-02-06 12:44 854  
[ ]ndiff_5__4253_60.min1.thm12017-02-06 12:44 866  
[ ]ndiff_5__4254_56.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__4271_55.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4273_59.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4274_38.min1.thm12017-02-06 12:44 811  
[ ]ndiff_5__4279_23.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4280_44.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4283_48.min1.thm12017-02-06 12:44 693  
[ ]ndiff_5__4287_52.min1.thm12017-02-06 12:44 603  
[ ]ndiff_5__4287_52.min1.thm1.tptp2017-02-06 16:47 528  
[ ]ndiff_5__4288_13.min1.thm12017-02-06 12:44 360  
[ ]ndiff_5__4290_42.min1.thm12017-02-06 12:44 3.2K 
[ ]ndiff_5__4310_40.min1.thm12017-02-06 12:44 3.1K 
[ ]ndiff_5__4315_14.min1.thm12017-02-06 12:44 316  
[ ]ndiff_5__4317_18.min1.thm12017-02-06 12:44 506  
[ ]ndiff_5__4318_31.min1.thm12017-02-06 12:44 921  
[ ]ndiff_5__4320_20.min1.thm12017-02-06 12:44 3.4K 
[ ]ndiff_5__4328_27.min1.thm12017-02-06 12:44 2.7K 
[ ]ndiff_5__4330_32.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_5__4385_47.min1.thm12017-02-06 12:44 692  
[ ]ndiff_5__4387_20.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4399_55.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4400_59.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4401_20.min1.thm12017-02-06 12:44 3.2K 
[ ]ndiff_5__4402_16.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__4403_39.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4404_29.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__4405_49.min1.thm12017-02-06 12:44 854  
[ ]ndiff_5__4414_18.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__4415_47.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4423_58.min1.thm12017-02-06 12:44 6.7K 
[ ]ndiff_5__4424_40.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_5__4455_20.min1.thm12017-02-06 12:44 869  
[ ]ndiff_5__4456_64.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__4457_52.min1.thm12017-02-06 12:44 691  
[ ]ndiff_5__4490_35.min1.thm12017-02-06 12:44 670  
[ ]ndiff_5__4494_12.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4496_40.min1.thm12017-02-06 12:44 805  
[ ]ndiff_5__4496_40.min1.thm1.tptp2017-02-06 16:47 728  
[ ]ndiff_5__4497_16.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__4498_17.min1.thm12017-02-06 12:44 617  
[ ]ndiff_5__4521_43.min1.thm12017-02-06 12:44 877  
[ ]ndiff_5__4522_42.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__4536_43.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__4550_17.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_5__4553_74.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4554_28.min1.thm12017-02-06 12:44 803  
[ ]ndiff_5__4555_37.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__4558_25.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__4560_37.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4562_27.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4577_27.min1.thm12017-02-06 12:44 800  
[ ]ndiff_5__4583_21.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4595_21.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4612_49.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4613_57.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4627_24.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4628_33.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_5__4629_29.min1.thm12017-02-06 12:44 342  
[ ]ndiff_5__4630_13.min1.thm12017-02-06 12:44 911  
[ ]ndiff_5__4631_29.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_5__4632_19.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__4633_21.min1.thm12017-02-06 12:44 2.5K 
[ ]ndiff_5__4636_51.min1.thm12017-02-06 12:44 2.8K 
[ ]ndiff_5__4648_19.min1.thm12017-02-06 12:44 3.0K 
[ ]ndiff_5__4649_20.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4650_39.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4659_19.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4661_45.min1.thm12017-02-06 12:44 3.4K 
[ ]ndiff_5__4662_23.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__4667_50.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__4675_51.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__4684_17.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4685_26.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__4687_31.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_5__4688_17.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__4689_35.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_5__4705_29.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4707_30.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__4710_21.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__4720_42.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__4727_19.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4728_37.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__4730_44.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_5__4736_20.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4738_31.min1.thm12017-02-06 12:44 876  
[ ]ndiff_5__4748_15.min1.thm12017-02-06 12:44 916  
[ ]ndiff_5__4762_19.min1.thm12017-02-06 12:44 2.6K 
[ ]ndiff_5__4763_25.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__4768_33.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_5__4795_20.min1.thm12017-02-06 12:44 869  
[ ]ndiff_5__4801_15.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__4802_42.min1.thm12017-02-06 12:44 968  
[ ]ndiff_5__4809_13.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4811_41.min1.thm12017-02-06 12:44 707  
[ ]ndiff_5__4811_41.min1.thm1.tptp2017-02-06 16:47 630  
[ ]ndiff_5__4812_17.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__4831_41.min1.thm12017-02-06 12:44 885  
[ ]ndiff_5__4833_23.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__4838_37.min1.thm12017-02-06 12:44 259  
[ ]ndiff_5__4863_41.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4869_41.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4878_27.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__4888_20.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4889_21.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__4890_34.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__4893_46.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_5__4898_23.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_5__4902_31.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__4903_29.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__4904_17.min1.thm12017-02-06 12:44 800  
[ ]ndiff_5__4905_25.min1.thm12017-02-06 12:44 938  
[ ]ndiff_5__4907_22.min1.thm12017-02-06 12:44 449  
[ ]ndiff_5__4907_22.min1.thm1.tptp2017-02-06 16:47 385  
[ ]ndiff_5__4910_16.min1.thm12017-02-06 12:44 628  
[ ]ndiff_5__4911_21.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_5__4912_18.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__4913_27.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__4915_23.min1.thm12017-02-06 12:44 449  
[ ]ndiff_5__4915_23.min1.thm1.tptp2017-02-06 16:47 385  
[ ]ndiff_5__4916_22.min1.thm12017-02-06 12:44 512  
[ ]ndiff_5__4918_29.min1.thm12017-02-06 12:44 3.0K 
[ ]ndiff_5__4923_20.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_5__4926_44.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_5__4927_21.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_5__4933_37.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_5__4935_22.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_5__4936_29.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_5__4962_24.min1.thm12017-02-06 12:44 3.4K 
[ ]ndiff_5__4983_37.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_5__4992_45.min1.thm12017-02-06 12:44 788  
[ ]ndiff_5__5008_16.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_5__5011_39.min1.thm12017-02-06 12:44 1.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80