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