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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfunct_4__48_14.min1.thm12017-02-06 12:46 561  
[ ]rfunct_4__51_19.min1.thm12017-02-06 12:46 627  
[ ]rfunct_4__55_19.min1.thm12017-02-06 12:46 757  
[ ]rfunct_4__67_13.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__68_20.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__73_13.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__79_13.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_4__81_18.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_4__85_15.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_4__86_15.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_4__88_21.min1.thm12017-02-06 12:46 863  
[ ]rfunct_4__89_31.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__90_27.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__93_26.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__94_27.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__106_26.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__110_21.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__117_16.min1.thm12017-02-06 12:46 908  
[ ]rfunct_4__132_51.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_4__136_13.min1.thm12017-02-06 12:46 575  
[ ]rfunct_4__152_21.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_4__153_22.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__155_14.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_4__156_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__159_14.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__160_23.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_4__181_33.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_4__214_20.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__217_22.min1.thm12017-02-06 12:46 3.4K 
[ ]rfunct_4__226_21.min1.thm12017-02-06 12:46 220  
[ ]rfunct_4__236_22.min1.thm12017-02-06 12:46 866  
[ ]rfunct_4__239_18.min1.thm12017-02-06 12:46 854  
[ ]rfunct_4__243_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__262_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__267_13.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_4__275_45.min1.thm12017-02-06 12:46 937  
[ ]rfunct_4__277_24.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_4__278_45.min1.thm12017-02-06 12:46 937  
[ ]rfunct_4__279_20.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_4__282_24.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_4__283_15.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_4__285_29.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_4__292_26.min1.thm12017-02-06 12:46 316  
[ ]rfunct_4__330_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__333_24.min1.thm12017-02-06 12:46 3.4K 
[ ]rfunct_4__342_22.min1.thm12017-02-06 12:46 925  
[ ]rfunct_4__343_24.min1.thm12017-02-06 12:46 823  
[ ]rfunct_4__351_24.min1.thm12017-02-06 12:46 852  
[ ]rfunct_4__353_31.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__355_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__358_30.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_4__359_26.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__361_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__362_34.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_4__368_24.min1.thm12017-02-06 12:46 852  
[ ]rfunct_4__370_31.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__372_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__375_32.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_4__376_26.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__378_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__379_30.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_4__384_20.min1.thm12017-02-06 12:46 890  
[ ]rfunct_4__403_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_4__405_24.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_4__406_44.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__412_31.min1.thm12017-02-06 12:46 3.0K 
[ ]rfunct_4__451_24.min1.thm12017-02-06 12:46 354  
[ ]rfunct_4__455_24.min1.thm12017-02-06 12:46 936  
[ ]rfunct_4__457_28.min1.thm12017-02-06 12:46 875  
[ ]rfunct_4__461_28.min1.thm12017-02-06 12:46 870  
[ ]rfunct_4__463_35.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__465_26.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__468_34.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_4__469_30.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__471_26.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__472_38.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_4__478_28.min1.thm12017-02-06 12:46 870  
[ ]rfunct_4__480_35.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__482_26.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__485_36.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_4__486_30.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__488_26.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__489_34.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_4__493_26.min1.thm12017-02-06 12:46 936  
[ ]rfunct_4__496_22.min1.thm12017-02-06 12:46 924  
[ ]rfunct_4__498_20.min1.thm12017-02-06 12:46 920  
[ ]rfunct_4__518_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_4__520_42.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_4__521_44.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__527_31.min1.thm12017-02-06 12:46 3.0K 
[ ]rfunct_4__541_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__543_17.min1.thm12017-02-06 12:46 447  
[ ]rfunct_4__555_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__579_22.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_4__586_23.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_4__600_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_4__610_20.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__612_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__655_17.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__656_16.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__658_23.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__669_33.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__670_29.min1.thm12017-02-06 12:46 488  
[ ]rfunct_4__670_29.min1.thm1.tptp2017-02-06 16:47 417  
[ ]rfunct_4__708_33.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_4__709_29.min1.thm12017-02-06 12:46 488  
[ ]rfunct_4__709_29.min1.thm1.tptp2017-02-06 16:47 417  
[ ]rfunct_4__750_16.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__754_70.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__756_21.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__760_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__761_38.min1.thm12017-02-06 12:46 910  
[ ]rfunct_4__766_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__767_38.min1.thm12017-02-06 12:46 910  
[ ]rfunct_4__771_14.min1.thm12017-02-06 12:46 578  
[ ]rfunct_4__800_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__803_24.min1.thm12017-02-06 12:46 3.4K 
[ ]rfunct_4__812_22.min1.thm12017-02-06 12:46 932  
[ ]rfunct_4__814_26.min1.thm12017-02-06 12:46 836  
[ ]rfunct_4__822_26.min1.thm12017-02-06 12:46 866  
[ ]rfunct_4__825_38.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__827_36.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__833_38.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__834_41.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__858_26.min1.thm12017-02-06 12:46 866  
[ ]rfunct_4__861_38.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__863_36.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__869_38.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__870_41.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__892_24.min1.thm12017-02-06 12:46 926  
[ ]rfunct_4__895_20.min1.thm12017-02-06 12:46 914  
[ ]rfunct_4__915_28.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__917_16.min1.thm12017-02-06 12:46 822  
[ ]rfunct_4__918_44.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__925_26.min1.thm12017-02-06 12:46 3.0K 
[ ]rfunct_4__930_24.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_4__970_16.min1.thm12017-02-06 12:46 867  
[ ]rfunct_4__979_22.min1.thm12017-02-06 12:46 867  
[ ]rfunct_4__983_22.min1.thm12017-02-06 12:46 854  
[ ]rfunct_4__986_34.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__988_32.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__994_34.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__995_37.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1019_22.min1.thm12017-02-06 12:46 854  
[ ]rfunct_4__1022_34.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__1024_32.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1030_34.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1031_37.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1053_20.min1.thm12017-02-06 12:46 920  
[ ]rfunct_4__1074_28.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__1075_44.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1082_26.min1.thm12017-02-06 12:46 3.0K 
[ ]rfunct_4__1083_42.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_4__1086_16.min1.thm12017-02-06 12:46 823  
[ ]rfunct_4__1092_51.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_4__1094_37.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_4__1153_31.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1155_41.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_4__1176_30.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1178_21.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_4__1179_26.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_4__1181_21.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1182_23.min1.thm12017-02-06 12:46 914  
[ ]rfunct_4__1183_28.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_4__1184_34.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_4__1192_66.min1.thm12017-02-06 12:46 748  
[ ]rfunct_4__1194_21.min1.thm12017-02-06 12:46 239  
[ ]rfunct_4__1200_40.min1.thm12017-02-06 12:46 897  
[ ]rfunct_4__1201_40.min1.thm12017-02-06 12:46 854  
[ ]rfunct_4__1204_35.min1.thm12017-02-06 12:46 854  
[ ]rfunct_4__1223_34.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1224_35.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_4__1226_25.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1228_27.min1.thm12017-02-06 12:46 920  
[ ]rfunct_4__1229_32.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_4__1230_38.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_4__1234_30.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1237_46.min1.thm12017-02-06 12:46 4.1K 
[ ]rfunct_4__1238_34.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1239_35.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1242_34.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1243_35.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1245_31.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_4__1256_45.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_4__1263_23.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_4__1278_22.min1.thm12017-02-06 12:46 712  
[ ]rfunct_4__1282_13.min1.thm12017-02-06 12:46 957  
[ ]rfunct_4__1290_21.min1.thm12017-02-06 12:46 960  
[ ]rfunct_4__1311_24.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_4__1314_28.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1315_21.min1.thm12017-02-06 12:46 801  
[ ]rfunct_4__1319_22.min1.thm12017-02-06 12:46 606  
[ ]rfunct_4__1322_27.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1323_27.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_4__1327_39.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_4__1328_27.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_4__1331_20.min1.thm12017-02-06 12:46 584  
[ ]rfunct_4__1333_22.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1337_24.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1338_18.min1.thm12017-02-06 12:46 687  
[ ]rfunct_4__1339_19.min1.thm12017-02-06 12:46 668  
[ ]rfunct_4__1344_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1348_52.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_4__1349_18.min1.thm12017-02-06 12:46 687  
[ ]rfunct_4__1350_19.min1.thm12017-02-06 12:46 720  
[ ]rfunct_4__1354_26.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1375_13.min1.thm12017-02-06 12:46 568  
[ ]rfunct_4__1377_13.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_4__1385_14.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_4__1390_20.min1.thm12017-02-06 12:46 811  
[ ]rfunct_4__1394_24.min1.thm12017-02-06 12:46 817  
[ ]rfunct_4__1424_24.min1.thm12017-02-06 12:46 817  
[ ]rfunct_4__1435_52.min1.thm12017-02-06 12:46 830  
[ ]rfunct_4__1438_18.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_4__1440_16.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_4__1446_51.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_4__1450_27.min1.thm12017-02-06 12:46 391  
[ ]rfunct_4__1451_43.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_4__1456_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__1457_43.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_4__1469_38.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_4__1479_38.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_4__1484_16.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_4__1488_65.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_4__1498_27.min1.thm12017-02-06 12:46 391  
[ ]rfunct_4__1514_35.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1520_22.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1521_35.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__1526_22.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1528_23.min1.thm12017-02-06 12:46 235  
[ ]rfunct_4__1532_43.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_4__1534_27.min1.thm12017-02-06 12:46 877  
[ ]rfunct_4__1542_44.min1.thm12017-02-06 12:46 4.1K 
[ ]rfunct_4__1547_35.min1.thm12017-02-06 12:46 4.0K 
[ ]rfunct_4__1550_28.min1.thm12017-02-06 12:46 506  
[ ]rfunct_4__1557_24.min1.thm12017-02-06 12:46 496  
[ ]rfunct_4__1564_28.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__1567_33.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1571_33.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1574_26.min1.thm12017-02-06 12:46 444  
[ ]rfunct_4__1580_31.min1.thm12017-02-06 12:46 4.2K 
[ ]rfunct_4__1584_31.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_4__1584_31.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]rfunct_4__1587_24.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_4__1598_44.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_4__1607_22.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1608_33.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1612_22.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1613_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__1614_33.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1617_22.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1619_23.min1.thm12017-02-06 12:46 235  
[ ]rfunct_4__1622_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__1629_24.min1.thm12017-02-06 12:46 496  
[ ]rfunct_4__1634_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_4__1637_31.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1641_31.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1644_24.min1.thm12017-02-06 12:46 440  
[ ]rfunct_4__1649_18.min1.thm12017-02-06 12:46 810  
[ ]rfunct_4__1651_16.min1.thm12017-02-06 12:46 880  
[ ]rfunct_4__1651_16.min1.thm1.tptp2017-02-06 16:47 824  
[ ]rfunct_4__1739_23.min1.thm12017-02-06 12:46 399  
[ ]rfunct_4__1745_26.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1750_21.min1.thm12017-02-06 12:46 867  
[ ]rfunct_4__1750_21.min1.thm1.tptp2017-02-06 16:47 795  
[ ]rfunct_4__1762_23.min1.thm12017-02-06 12:46 399  
[ ]rfunct_4__1768_26.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1769_34.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_4__1772_21.min1.thm12017-02-06 12:46 867  
[ ]rfunct_4__1772_21.min1.thm1.tptp2017-02-06 16:47 795  
[ ]rfunct_4__1787_18.min1.thm12017-02-06 12:46 399  
[ ]rfunct_4__1800_20.min1.thm12017-02-06 12:46 407  
[ ]rfunct_4__1801_18.min1.thm12017-02-06 12:46 777  
[ ]rfunct_4__1802_28.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1804_21.min1.thm12017-02-06 12:46 916  
[ ]rfunct_4__1805_18.min1.thm12017-02-06 12:46 647  
[ ]rfunct_4__1806_28.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_4__1808_21.min1.thm12017-02-06 12:46 916  
[ ]rfunct_4__1814_21.min1.thm12017-02-06 12:46 397  
[ ]rfunct_4__1821_47.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_4__1829_23.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_4__1835_19.min1.thm12017-02-06 12:46 247  
[ ]rfunct_4__1838_27.min1.thm12017-02-06 12:46 886  
[ ]rfunct_4__1842_27.min1.thm12017-02-06 12:46 889  
[ ]rfunct_4__1845_20.min1.thm12017-02-06 12:46 328  
[ ]rfunct_4__1847_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1847_21.min1.thm1.tptp2017-02-06 16:47 933  
[ ]rfunct_4__1851_17.min1.thm12017-02-06 12:46 607  
[ ]rfunct_4__1851_17.min1.thm1.tptp2017-02-06 16:47 531  
[ ]rfunct_4__1870_23.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_4__1872_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__1879_23.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_4__1881_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__1894_24.min1.thm12017-02-06 12:46 699  
[ ]rfunct_4__1897_19.min1.thm12017-02-06 12:46 399  
[ ]rfunct_4__1898_16.min1.thm12017-02-06 12:46 919  
[ ]rfunct_4__1900_11.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_4__1901_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__1905_17.min1.thm12017-02-06 12:46 712  
[ ]rfunct_4__1905_17.min1.thm1.tptp2017-02-06 16:47 636  
[ ]rfunct_4__1924_16.min1.thm12017-02-06 12:46 857  
[ ]rfunct_4__1937_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1957_17.min1.thm12017-02-06 12:46 219  
[ ]rfunct_4__1967_18.min1.thm12017-02-06 12:46 718  
[ ]rfunct_4__1971_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_4__1993_16.min1.thm12017-02-06 12:46 857  
[ ]rfunct_4__1995_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__2002_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_4__2011_32.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_4__2015_18.min1.thm12017-02-06 12:46 724  
[ ]rfunct_4__2019_15.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_4__2043_17.min1.thm12017-02-06 12:46 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80