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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_1__55_41.min1.thm12017-02-06 12:46 593  
[ ]fdiff_1__56_19.min1.thm12017-02-06 12:46 336  
[ ]fdiff_1__56_19.min1.thm1.tptp2017-02-06 16:47 276  
[ ]fdiff_1__61_31.min1.thm12017-02-06 12:46 423  
[ ]fdiff_1__62_16.min1.thm12017-02-06 12:46 255  
[ ]fdiff_1__81_17.min1.thm12017-02-06 12:46 2.9K 
[ ]fdiff_1__82_26.min1.thm12017-02-06 12:46 2.6K 
[ ]fdiff_1__83_24.min1.thm12017-02-06 12:46 539  
[ ]fdiff_1__85_21.min1.thm12017-02-06 12:46 736  
[ ]fdiff_1__87_25.min1.thm12017-02-06 12:46 947  
[ ]fdiff_1__88_19.min1.thm12017-02-06 12:46 339  
[ ]fdiff_1__88_19.min1.thm1.tptp2017-02-06 16:47 251  
[ ]fdiff_1__96_18.min1.thm12017-02-06 12:46 859  
[ ]fdiff_1__106_21.min1.thm12017-02-06 12:46 242  
[ ]fdiff_1__107_19.min1.thm12017-02-06 12:46 906  
[ ]fdiff_1__111_45.min1.thm12017-02-06 12:46 1.6K 
[ ]fdiff_1__123_55.min1.thm12017-02-06 12:46 1.5K 
[ ]fdiff_1__130_19.min1.thm12017-02-06 12:46 573  
[ ]fdiff_1__131_19.min1.thm12017-02-06 12:46 1.5K 
[ ]fdiff_1__136_25.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__137_19.min1.thm12017-02-06 12:46 396  
[ ]fdiff_1__147_16.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__171_47.min1.thm12017-02-06 12:46 603  
[ ]fdiff_1__171_47.min1.thm1.tptp2017-02-06 16:47 556  
[ ]fdiff_1__174_16.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__175_23.min1.thm12017-02-06 12:46 853  
[ ]fdiff_1__176_28.min1.thm12017-02-06 12:46 752  
[ ]fdiff_1__177_16.min1.thm12017-02-06 12:46 527  
[ ]fdiff_1__177_16.min1.thm1.tptp2017-02-06 16:47 464  
[ ]fdiff_1__195_32.min1.thm12017-02-06 12:46 810  
[ ]fdiff_1__199_23.min1.thm12017-02-06 12:46 520  
[ ]fdiff_1__199_23.min1.thm1.tptp2017-02-06 16:47 443  
[ ]fdiff_1__200_23.min1.thm12017-02-06 12:46 522  
[ ]fdiff_1__200_23.min1.thm1.tptp2017-02-06 16:47 445  
[ ]fdiff_1__201_18.min1.thm12017-02-06 12:46 1.6K 
[ ]fdiff_1__207_23.min1.thm12017-02-06 12:46 520  
[ ]fdiff_1__207_23.min1.thm1.tptp2017-02-06 16:47 443  
[ ]fdiff_1__208_23.min1.thm12017-02-06 12:46 522  
[ ]fdiff_1__208_23.min1.thm1.tptp2017-02-06 16:47 445  
[ ]fdiff_1__219_17.min1.thm12017-02-06 12:46 600  
[ ]fdiff_1__219_17.min1.thm1.tptp2017-02-06 16:47 547  
[ ]fdiff_1__222_29.min1.thm12017-02-06 12:46 2.3K 
[ ]fdiff_1__223_19.min1.thm12017-02-06 12:46 466  
[ ]fdiff_1__223_19.min1.thm1.tptp2017-02-06 16:47 389  
[ ]fdiff_1__224_14.min1.thm12017-02-06 12:46 1.3K 
[ ]fdiff_1__232_32.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__241_10.min1.thm12017-02-06 12:46 886  
[ ]fdiff_1__252_10.min1.thm12017-02-06 12:46 773  
[ ]fdiff_1__258_21.min1.thm12017-02-06 12:46 686  
[ ]fdiff_1__258_21.min1.thm1.tptp2017-02-06 16:47 613  
[ ]fdiff_1__265_10.min1.thm12017-02-06 12:46 886  
[ ]fdiff_1__275_10.min1.thm12017-02-06 12:46 886  
[ ]fdiff_1__283_17.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__283_17.min1.thm1.tptp2017-02-06 16:47 928  
[ ]fdiff_1__292_10.min1.thm12017-02-06 12:46 932  
[ ]fdiff_1__302_32.min1.thm12017-02-06 12:46 810  
[ ]fdiff_1__310_15.min1.thm12017-02-06 12:46 802  
[ ]fdiff_1__328_9.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__330_14.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__336_17.min1.thm12017-02-06 12:46 600  
[ ]fdiff_1__336_17.min1.thm1.tptp2017-02-06 16:47 547  
[ ]fdiff_1__339_17.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__339_17.min1.thm1.tptp2017-02-06 16:47 928  
[ ]fdiff_1__346_21.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__355_9.min1.thm12017-02-06 12:46 932  
[ ]fdiff_1__361_9.min1.thm12017-02-06 12:46 886  
[ ]fdiff_1__397_14.min1.thm12017-02-06 12:46 493  
[ ]fdiff_1__397_14.min1.thm1.tptp2017-02-06 16:47 416  
[ ]fdiff_1__398_9.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__428_26.min1.thm12017-02-06 12:46 634  
[ ]fdiff_1__431_26.min1.thm12017-02-06 12:46 778  
[ ]fdiff_1__437_19.min1.thm12017-02-06 12:46 3.9K 
[ ]fdiff_1__438_22.min1.thm12017-02-06 12:46 577  
[ ]fdiff_1__441_22.min1.thm12017-02-06 12:46 752  
[ ]fdiff_1__443_25.min1.thm12017-02-06 12:46 965  
[ ]fdiff_1__445_8.min1.thm12017-02-06 12:46 737  
[ ]fdiff_1__450_18.min1.thm12017-02-06 12:46 3.1K 
[ ]fdiff_1__451_25.min1.thm12017-02-06 12:46 4.0K 
[ ]fdiff_1__454_18.min1.thm12017-02-06 12:46 3.4K 
[ ]fdiff_1__459_14.min1.thm12017-02-06 12:46 570  
[ ]fdiff_1__460_14.min1.thm12017-02-06 12:46 567  
[ ]fdiff_1__466_39.min1.thm12017-02-06 12:46 877  
[ ]fdiff_1__467_57.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__472_20.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__472_20.min1.thm1.tptp2017-02-06 16:47 954  
[ ]fdiff_1__473_27.min1.thm12017-02-06 12:46 890  
[ ]fdiff_1__475_21.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__477_19.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__477_19.min1.thm1.tptp2017-02-06 16:47 954  
[ ]fdiff_1__478_26.min1.thm12017-02-06 12:46 890  
[ ]fdiff_1__480_20.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__481_17.min1.thm12017-02-06 12:46 392  
[ ]fdiff_1__482_49.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__483_52.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__483_52.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]fdiff_1__490_17.min1.thm12017-02-06 12:46 1.3K 
[ ]fdiff_1__497_12.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__500_12.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__528_19.min1.thm12017-02-06 12:46 702  
[ ]fdiff_1__541_22.min1.thm12017-02-06 12:46 706  
[ ]fdiff_1__545_39.min1.thm12017-02-06 12:46 890  
[ ]fdiff_1__551_28.min1.thm12017-02-06 12:46 892  
[ ]fdiff_1__559_46.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__566_19.min1.thm12017-02-06 12:46 284  
[ ]fdiff_1__571_15.min1.thm12017-02-06 12:46 793  
[ ]fdiff_1__572_30.min1.thm12017-02-06 12:46 441  
[ ]fdiff_1__578_15.min1.thm12017-02-06 12:46 771  
[ ]fdiff_1__579_15.min1.thm12017-02-06 12:46 414  
[ ]fdiff_1__581_16.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__582_24.min1.thm12017-02-06 12:46 864  
[ ]fdiff_1__587_16.min1.thm12017-02-06 12:46 492  
[ ]fdiff_1__592_36.min1.thm12017-02-06 12:46 1.3K 
[ ]fdiff_1__605_39.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__612_17.min1.thm12017-02-06 12:46 845  
[ ]fdiff_1__631_28.min1.thm12017-02-06 12:46 579  
[ ]fdiff_1__634_25.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__638_39.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__640_22.min1.thm12017-02-06 12:46 482  
[ ]fdiff_1__644_24.min1.thm12017-02-06 12:46 696  
[ ]fdiff_1__645_30.min1.thm12017-02-06 12:46 747  
[ ]fdiff_1__647_16.min1.thm12017-02-06 12:46 422  
[ ]fdiff_1__661_29.min1.thm12017-02-06 12:46 685  
[ ]fdiff_1__662_22.min1.thm12017-02-06 12:46 823  
[ ]fdiff_1__673_19.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__678_23.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__679_17.min1.thm12017-02-06 12:46 384  
[ ]fdiff_1__688_28.min1.thm12017-02-06 12:46 841  
[ ]fdiff_1__693_26.min1.thm12017-02-06 12:46 2.3K 
[ ]fdiff_1__702_23.min1.thm12017-02-06 12:46 1.5K 
[ ]fdiff_1__703_21.min1.thm12017-02-06 12:46 387  
[ ]fdiff_1__703_21.min1.thm1.tptp2017-02-06 16:47 322  
[ ]fdiff_1__710_14.min1.thm12017-02-06 12:46 805  
[ ]fdiff_1__711_18.min1.thm12017-02-06 12:46 468  
[ ]fdiff_1__716_36.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__717_19.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__729_33.min1.thm12017-02-06 12:46 444  
[ ]fdiff_1__733_15.min1.thm12017-02-06 12:46 782  
[ ]fdiff_1__738_34.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__739_16.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__743_32.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__745_10.min1.thm12017-02-06 12:46 1.8K 
[ ]fdiff_1__754_26.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__756_16.min1.thm12017-02-06 12:46 2.3K 
[ ]fdiff_1__777_15.min1.thm12017-02-06 12:46 605  
[ ]fdiff_1__778_18.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__784_26.min1.thm12017-02-06 12:46 759  
[ ]fdiff_1__792_18.min1.thm12017-02-06 12:46 448  
[ ]fdiff_1__793_18.min1.thm12017-02-06 12:46 803  
[ ]fdiff_1__794_19.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__798_18.min1.thm12017-02-06 12:46 380  
[ ]fdiff_1__798_18.min1.thm1.tptp2017-02-06 16:47 315  
[ ]fdiff_1__801_27.min1.thm12017-02-06 12:46 1.5K 
[ ]fdiff_1__803_32.min1.thm12017-02-06 12:46 1.8K 
[ ]fdiff_1__804_11.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__814_21.min1.thm12017-02-06 12:46 624  
[ ]fdiff_1__820_19.min1.thm12017-02-06 12:46 3.7K 
[ ]fdiff_1__822_29.min1.thm12017-02-06 12:46 2.3K 
[ ]fdiff_1__834_25.min1.thm12017-02-06 12:46 742  
[ ]fdiff_1__843_18.min1.thm12017-02-06 12:46 638  
[ ]fdiff_1__844_18.min1.thm12017-02-06 12:46 803  
[ ]fdiff_1__845_19.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__847_18.min1.thm12017-02-06 12:46 606  
[ ]fdiff_1__847_18.min1.thm1.tptp2017-02-06 16:47 553  
[ ]fdiff_1__865_70.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__865_70.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]fdiff_1__867_32.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__871_17.min1.thm12017-02-06 12:46 479  
[ ]fdiff_1__871_17.min1.thm1.tptp2017-02-06 16:47 402  
[ ]fdiff_1__872_10.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__888_18.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__900_18.min1.thm12017-02-06 12:46 740  
[ ]fdiff_1__901_19.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__908_19.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__918_21.min1.thm12017-02-06 12:46 734  
[ ]fdiff_1__924_18.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__924_18.min1.thm1.tptp2017-02-06 16:47 934  
[ ]fdiff_1__931_39.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__931_39.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]fdiff_1__947_60.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__970_35.min1.thm12017-02-06 12:46 2.1K 
[ ]fdiff_1__971_37.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__972_32.min1.thm12017-02-06 12:46 811  
[ ]fdiff_1__975_15.min1.thm12017-02-06 12:46 771  
[ ]fdiff_1__976_19.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__977_16.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__981_33.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__984_15.min1.thm12017-02-06 12:46 496  
[ ]fdiff_1__991_47.min1.thm12017-02-06 12:46 1.5K 
[ ]fdiff_1__1023_35.min1.thm12017-02-06 12:46 2.1K 
[ ]fdiff_1__1024_37.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__1025_32.min1.thm12017-02-06 12:46 811  
[ ]fdiff_1__1028_15.min1.thm12017-02-06 12:46 771  
[ ]fdiff_1__1029_19.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1030_16.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1034_33.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__1037_15.min1.thm12017-02-06 12:46 496  
[ ]fdiff_1__1043_49.min1.thm12017-02-06 12:46 1.5K 
[ ]fdiff_1__1044_58.min1.thm12017-02-06 12:46 1.6K 
[ ]fdiff_1__1067_38.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1068_40.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1069_18.min1.thm12017-02-06 12:46 600  
[ ]fdiff_1__1069_18.min1.thm1.tptp2017-02-06 16:47 547  
[ ]fdiff_1__1071_18.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1071_18.min1.thm1.tptp2017-02-06 16:47 929  
[ ]fdiff_1__1074_15.min1.thm12017-02-06 12:46 493  
[ ]fdiff_1__1080_37.min1.thm12017-02-06 12:46 871  
[ ]fdiff_1__1111_39.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__1112_39.min1.thm12017-02-06 12:46 2.1K 
[ ]fdiff_1__1113_19.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1113_19.min1.thm1.tptp2017-02-06 16:47 934  
[ ]fdiff_1__1114_39.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__1115_39.min1.thm12017-02-06 12:46 1.5K 
[ ]fdiff_1__1116_39.min1.thm12017-02-06 12:46 2.1K 
[ ]fdiff_1__1117_39.min1.thm12017-02-06 12:46 2.1K 
[ ]fdiff_1__1118_20.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1118_20.min1.thm1.tptp2017-02-06 16:47 934  
[ ]fdiff_1__1119_44.min1.thm12017-02-06 12:46 1.6K 
[ ]fdiff_1__1120_19.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1120_19.min1.thm1.tptp2017-02-06 16:47 929  
[ ]fdiff_1__1121_46.min1.thm12017-02-06 12:46 1.6K 
[ ]fdiff_1__1122_19.min1.thm12017-02-06 12:46 601  
[ ]fdiff_1__1122_19.min1.thm1.tptp2017-02-06 16:47 548  
[ ]fdiff_1__1123_44.min1.thm12017-02-06 12:46 1.6K 
[ ]fdiff_1__1124_19.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1124_19.min1.thm1.tptp2017-02-06 16:47 929  
[ ]fdiff_1__1125_39.min1.thm12017-02-06 12:46 2.1K 
[ ]fdiff_1__1126_39.min1.thm12017-02-06 12:46 2.1K 
[ ]fdiff_1__1127_37.min1.thm12017-02-06 12:46 2.1K 
[ ]fdiff_1__1130_15.min1.thm12017-02-06 12:46 771  
[ ]fdiff_1__1131_19.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1132_16.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1136_46.min1.thm12017-02-06 12:46 1.6K 
[ ]fdiff_1__1137_19.min1.thm12017-02-06 12:46 601  
[ ]fdiff_1__1137_19.min1.thm1.tptp2017-02-06 16:47 548  
[ ]fdiff_1__1138_39.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__1139_20.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1139_20.min1.thm1.tptp2017-02-06 16:47 934  
[ ]fdiff_1__1140_35.min1.thm12017-02-06 12:46 821  
[ ]fdiff_1__1146_60.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__1152_64.min1.thm12017-02-06 12:46 1.7K 
[ ]fdiff_1__1159_19.min1.thm12017-02-06 12:46 2.0K 
[ ]fdiff_1__1205_19.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__1210_23.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__1211_17.min1.thm12017-02-06 12:46 384  
[ ]fdiff_1__1220_28.min1.thm12017-02-06 12:46 841  
[ ]fdiff_1__1224_49.min1.thm12017-02-06 12:46 614  
[ ]fdiff_1__1225_26.min1.thm12017-02-06 12:46 1.7K 
[ ]fdiff_1__1242_14.min1.thm12017-02-06 12:46 805  
[ ]fdiff_1__1247_36.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__1248_20.min1.thm12017-02-06 12:46 533  
[ ]fdiff_1__1249_24.min1.thm12017-02-06 12:46 2.9K 
[ ]fdiff_1__1252_17.min1.thm12017-02-06 12:46 468  
[ ]fdiff_1__1261_15.min1.thm12017-02-06 12:46 795  
[ ]fdiff_1__1262_33.min1.thm12017-02-06 12:46 444  
[ ]fdiff_1__1266_15.min1.thm12017-02-06 12:46 782  
[ ]fdiff_1__1269_15.min1.thm12017-02-06 12:46 771  
[ ]fdiff_1__1270_19.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1275_19.min1.thm12017-02-06 12:46 743  
[ ]fdiff_1__1276_34.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1277_18.min1.thm12017-02-06 12:46 516  
[ ]fdiff_1__1278_22.min1.thm12017-02-06 12:46 2.9K 
[ ]fdiff_1__1281_32.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__1283_11.min1.thm12017-02-06 12:46 1.3K 
[ ]fdiff_1__1298_42.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__1309_35.min1.thm12017-02-06 12:46 1.3K 
[ ]fdiff_1__1311_14.min1.thm12017-02-06 12:46 664  
[ ]fdiff_1__1337_35.min1.thm12017-02-06 12:46 1.3K 
[ ]fdiff_1__1339_14.min1.thm12017-02-06 12:46 666  
[ ]fdiff_1__1353_42.min1.thm12017-02-06 12:46 949  
[ ]fdiff_1__1364_23.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1366_14.min1.thm12017-02-06 12:46 614  
[ ]fdiff_1__1394_14.min1.thm12017-02-06 12:46 822  
[ ]fdiff_1__1402_19.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__1407_23.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__1408_17.min1.thm12017-02-06 12:46 384  
[ ]fdiff_1__1417_28.min1.thm12017-02-06 12:46 841  
[ ]fdiff_1__1422_24.min1.thm12017-02-06 12:46 2.3K 
[ ]fdiff_1__1434_14.min1.thm12017-02-06 12:46 805  
[ ]fdiff_1__1435_18.min1.thm12017-02-06 12:46 468  
[ ]fdiff_1__1436_22.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__1442_30.min1.thm12017-02-06 12:46 725  
[ ]fdiff_1__1443_18.min1.thm12017-02-06 12:46 661  
[ ]fdiff_1__1455_14.min1.thm12017-02-06 12:46 795  
[ ]fdiff_1__1456_18.min1.thm12017-02-06 12:46 462  
[ ]fdiff_1__1457_22.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__1463_34.min1.thm12017-02-06 12:46 709  
[ ]fdiff_1__1464_16.min1.thm12017-02-06 12:46 650  
[ ]fdiff_1__1468_33.min1.thm12017-02-06 12:46 444  
[ ]fdiff_1__1469_32.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__1471_10.min1.thm12017-02-06 12:46 1.8K 
[ ]fdiff_1__1480_19.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__1485_23.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__1486_17.min1.thm12017-02-06 12:46 384  
[ ]fdiff_1__1495_28.min1.thm12017-02-06 12:46 841  
[ ]fdiff_1__1506_17.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__1508_17.min1.thm12017-02-06 12:46 825  
[ ]fdiff_1__1511_19.min1.thm12017-02-06 12:46 818  
[ ]fdiff_1__1519_14.min1.thm12017-02-06 12:46 805  
[ ]fdiff_1__1524_34.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__1525_29.min1.thm12017-02-06 12:46 741  
[ ]fdiff_1__1530_17.min1.thm12017-02-06 12:46 468  
[ ]fdiff_1__1539_14.min1.thm12017-02-06 12:46 795  
[ ]fdiff_1__1544_38.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__1545_25.min1.thm12017-02-06 12:46 724  
[ ]fdiff_1__1550_18.min1.thm12017-02-06 12:46 464  
[ ]fdiff_1__1551_33.min1.thm12017-02-06 12:46 444  
[ ]fdiff_1__1552_32.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__1554_12.min1.thm12017-02-06 12:46 535  
[ ]fdiff_1__1555_7.min1.thm12017-02-06 12:46 970  
[ ]fdiff_1__1571_22.min1.thm12017-02-06 12:46 760  
[ ]fdiff_1__1572_17.min1.thm12017-02-06 12:46 301  
[ ]fdiff_1__1572_17.min1.thm1.tptp2017-02-06 16:47 220  
[ ]fdiff_1__1573_55.min1.thm12017-02-06 12:46 921  
[ ]fdiff_1__1598_23.min1.thm12017-02-06 12:46 353  
[ ]fdiff_1__1598_23.min1.thm1.tptp2017-02-06 16:47 288  
[ ]fdiff_1__1603_13.min1.thm12017-02-06 12:46 345  
[ ]fdiff_1__1603_13.min1.thm1.tptp2017-02-06 16:47 280  
[ ]fdiff_1__1605_15.min1.thm12017-02-06 12:46 2.8K 
[ ]fdiff_1__1614_16.min1.thm12017-02-06 12:46 403  
[ ]fdiff_1__1618_27.min1.thm12017-02-06 12:46 2.4K 
[ ]fdiff_1__1620_35.min1.thm12017-02-06 12:46 632  
[ ]fdiff_1__1620_35.min1.thm1.tptp2017-02-06 16:47 544  
[ ]fdiff_1__1625_13.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__1629_20.min1.thm12017-02-06 12:46 905  
[ ]fdiff_1__1633_20.min1.thm12017-02-06 12:46 609  
[ ]fdiff_1__1685_15.min1.thm12017-02-06 12:46 562  
[ ]fdiff_1__1703_12.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__1717_36.min1.thm12017-02-06 12:46 843  
[ ]fdiff_1__1727_15.min1.thm12017-02-06 12:46 702  
[ ]fdiff_1__1728_21.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1732_37.min1.thm12017-02-06 12:46 1.3K 
[ ]fdiff_1__1737_14.min1.thm12017-02-06 12:46 794  
[ ]fdiff_1__1740_15.min1.thm12017-02-06 12:46 771  
[ ]fdiff_1__1741_14.min1.thm12017-02-06 12:46 415  
[ ]fdiff_1__1746_20.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1747_23.min1.thm12017-02-06 12:46 864  
[ ]fdiff_1__1759_11.min1.thm12017-02-06 12:46 737  
[ ]fdiff_1__1775_58.min1.thm12017-02-06 12:46 742  
[ ]fdiff_1__1777_50.min1.thm12017-02-06 12:46 800  
[ ]fdiff_1__1779_41.min1.thm12017-02-06 12:46 400  
[ ]fdiff_1__1780_19.min1.thm12017-02-06 12:46 1.4K 
[ ]fdiff_1__1785_23.min1.thm12017-02-06 12:46 1.1K 
[ ]fdiff_1__1786_17.min1.thm12017-02-06 12:46 384  
[ ]fdiff_1__1795_28.min1.thm12017-02-06 12:46 841  
[ ]fdiff_1__1800_24.min1.thm12017-02-06 12:46 2.3K 
[ ]fdiff_1__1802_17.min1.thm12017-02-06 12:46 1.7K 
[ ]fdiff_1__1810_17.min1.thm12017-02-06 12:46 822  
[ ]fdiff_1__1811_22.min1.thm12017-02-06 12:46 960  
[ ]fdiff_1__1817_30.min1.thm12017-02-06 12:46 854  
[ ]fdiff_1__1818_18.min1.thm12017-02-06 12:46 790  
[ ]fdiff_1__1825_30.min1.thm12017-02-06 12:46 647  
[ ]fdiff_1__1834_40.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1837_13.min1.thm12017-02-06 12:46 2.4K 
[ ]fdiff_1__1841_16.min1.thm12017-02-06 12:46 1.9K 
[ ]fdiff_1__1856_22.min1.thm12017-02-06 12:46 1.5K 
[ ]fdiff_1__1861_16.min1.thm12017-02-06 12:46 803  
[ ]fdiff_1__1868_31.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1869_12.min1.thm12017-02-06 12:46 495  
[ ]fdiff_1__1886_25.min1.thm12017-02-06 12:46 938  
[ ]fdiff_1__1887_53.min1.thm12017-02-06 12:46 1.0K 
[ ]fdiff_1__1888_50.min1.thm12017-02-06 12:46 1.2K 
[ ]fdiff_1__1905_15.min1.thm12017-02-06 12:46 421  
[ ]fdiff_1__1911_26.min1.thm12017-02-06 12:46 670  
[ ]fdiff_1__1912_17.min1.thm12017-02-06 12:46 662  
[ ]fdiff_1__1919_49.min1.thm12017-02-06 12:46 401  
[ ]fdiff_1__1920_52.min1.thm12017-02-06 12:46 951  
[ ]fdiff_1__1922_16.min1.thm12017-02-06 12:46 768  
[ ]fdiff_1__1923_22.min1.thm12017-02-06 12:46 1.6K 
[ ]fdiff_1__1925_19.min1.thm12017-02-06 12:46 796  
[ ]fdiff_1__1936_33.min1.thm12017-02-06 12:46 536  
[ ]fdiff_1__1936_33.min1.thm1.tptp2017-02-06 16:47 463  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80