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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]grcat_1__51_61.min1.thm12017-02-06 12:46 1.3K 
[ ]grcat_1__52_17.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__60_29.min1.thm12017-02-06 12:46 367  
[ ]grcat_1__61_27.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__62_15.min1.thm12017-02-06 12:46 260  
[ ]grcat_1__63_22.min1.thm12017-02-06 12:46 664  
[ ]grcat_1__64_13.min1.thm12017-02-06 12:46 208  
[ ]grcat_1__72_14.min1.thm12017-02-06 12:46 570  
[ ]grcat_1__73_22.min1.thm12017-02-06 12:46 642  
[ ]grcat_1__74_30.min1.thm12017-02-06 12:46 908  
[ ]grcat_1__75_23.min1.thm12017-02-06 12:46 647  
[ ]grcat_1__76_32.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__77_20.min1.thm12017-02-06 12:46 759  
[ ]grcat_1__78_24.min1.thm12017-02-06 12:46 834  
[ ]grcat_1__79_21.min1.thm12017-02-06 12:46 823  
[ ]grcat_1__80_17.min1.thm12017-02-06 12:46 687  
[ ]grcat_1__94_13.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__150_16.min1.thm12017-02-06 12:46 786  
[ ]grcat_1__170_11.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__183_13.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__184_22.min1.thm12017-02-06 12:46 1.8K 
[ ]grcat_1__186_16.min1.thm12017-02-06 12:46 397  
[ ]grcat_1__186_16.min1.thm1.tptp2017-02-06 16:47 315  
[ ]grcat_1__200_19.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__210_14.min1.thm12017-02-06 12:46 706  
[ ]grcat_1__228_23.min1.thm12017-02-06 12:46 1.9K 
[ ]grcat_1__229_19.min1.thm12017-02-06 12:46 3.8K 
[ ]grcat_1__240_13.min1.thm12017-02-06 12:46 2.2K 
[ ]grcat_1__257_11.min1.thm12017-02-06 12:46 605  
[ ]grcat_1__257_11.min1.thm1.tptp2017-02-06 16:47 526  
[ ]grcat_1__260_11.min1.thm12017-02-06 12:46 605  
[ ]grcat_1__260_11.min1.thm1.tptp2017-02-06 16:47 526  
[ ]grcat_1__267_11.min1.thm12017-02-06 12:46 938  
[ ]grcat_1__302_35.min1.thm12017-02-06 12:46 964  
[ ]grcat_1__303_16.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__315_23.min1.thm12017-02-06 12:46 1.7K 
[ ]grcat_1__316_17.min1.thm12017-02-06 12:46 687  
[ ]grcat_1__326_19.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__348_40.min1.thm12017-02-06 12:46 2.0K 
[ ]grcat_1__349_16.min1.thm12017-02-06 12:46 950  
[ ]grcat_1__361_46.min1.thm12017-02-06 12:46 556  
[ ]grcat_1__362_33.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__363_14.min1.thm12017-02-06 12:46 511  
[ ]grcat_1__383_30.min1.thm12017-02-06 12:46 2.1K 
[ ]grcat_1__384_19.min1.thm12017-02-06 12:46 2.1K 
[ ]grcat_1__422_28.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__422_36.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__423_28.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__423_36.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__424_56.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__426_16.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__436_18.min1.thm12017-02-06 12:46 1.8K 
[ ]grcat_1__438_16.min1.thm12017-02-06 12:46 298  
[ ]grcat_1__446_25.min1.thm12017-02-06 12:46 618  
[ ]grcat_1__447_17.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__458_41.min1.thm12017-02-06 12:46 268  
[ ]grcat_1__462_16.min1.thm12017-02-06 12:46 636  
[ ]grcat_1__473_29.min1.thm12017-02-06 12:46 737  
[ ]grcat_1__473_29.min1.thm1.tptp2017-02-06 16:47 684  
[ ]grcat_1__475_30.min1.thm12017-02-06 12:46 737  
[ ]grcat_1__475_30.min1.thm1.tptp2017-02-06 16:47 684  
[ ]grcat_1__476_19.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__477_16.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__478_17.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__495_31.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__498_21.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__501_21.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__502_24.min1.thm12017-02-06 12:46 2.8K 
[ ]grcat_1__506_18.min1.thm12017-02-06 12:46 2.9K 
[ ]grcat_1__511_32.min1.thm12017-02-06 12:46 741  
[ ]grcat_1__511_32.min1.thm1.tptp2017-02-06 16:47 688  
[ ]grcat_1__512_48.min1.thm12017-02-06 12:46 292  
[ ]grcat_1__514_31.min1.thm12017-02-06 12:46 741  
[ ]grcat_1__514_31.min1.thm1.tptp2017-02-06 16:47 688  
[ ]grcat_1__515_19.min1.thm12017-02-06 12:46 1.3K 
[ ]grcat_1__516_48.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__519_21.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__520_47.min1.thm12017-02-06 12:46 293  
[ ]grcat_1__532_21.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__545_18.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__548_18.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__549_16.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__550_16.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__553_17.min1.thm12017-02-06 12:46 2.3K 
[ ]grcat_1__559_14.min1.thm12017-02-06 12:46 1.9K 
[ ]grcat_1__571_16.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__572_16.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__585_50.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__586_50.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__627_14.min1.thm12017-02-06 12:46 799  
[ ]grcat_1__638_48.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__639_43.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__640_48.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__658_43.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__660_38.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__669_43.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__671_38.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__692_56.min1.thm12017-02-06 12:46 1.3K 
[ ]grcat_1__706_14.min1.thm12017-02-06 12:46 637  
[ ]grcat_1__715_27.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__716_16.min1.thm12017-02-06 12:46 695  
[ ]grcat_1__735_69.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__737_19.min1.thm12017-02-06 12:46 573  
[ ]grcat_1__748_14.min1.thm12017-02-06 12:46 516  
[ ]grcat_1__757_32.min1.thm12017-02-06 12:46 956  
[ ]grcat_1__758_16.min1.thm12017-02-06 12:46 552  
[ ]grcat_1__766_64.min1.thm12017-02-06 12:46 433  
[ ]grcat_1__766_64.min1.thm1.tptp2017-02-06 16:47 377  
[ ]grcat_1__767_17.min1.thm12017-02-06 12:46 529  
[ ]grcat_1__779_18.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__788_32.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__794_66.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__795_53.min1.thm12017-02-06 12:46 500  
[ ]grcat_1__796_66.min1.thm12017-02-06 12:46 666  
[ ]grcat_1__805_65.min1.thm12017-02-06 12:46 611  
[ ]grcat_1__806_17.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__817_15.min1.thm12017-02-06 12:46 480  
[ ]grcat_1__817_15.min1.thm1.tptp2017-02-06 16:47 412  
[ ]grcat_1__830_19.min1.thm12017-02-06 12:46 666  
[ ]grcat_1__830_19.min1.thm1.tptp2017-02-06 16:47 595  
[ ]grcat_1__837_11.min1.thm12017-02-06 12:46 810  
[ ]grcat_1__845_26.min1.thm12017-02-06 12:46 600  
[ ]grcat_1__846_16.min1.thm12017-02-06 12:46 571  
[ ]grcat_1__854_14.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__867_36.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__868_38.min1.thm12017-02-06 12:46 416  
[ ]grcat_1__868_38.min1.thm1.tptp2017-02-06 16:47 336  
[ ]grcat_1__874_19.min1.thm12017-02-06 12:46 1.3K 
[ ]grcat_1__878_62.min1.thm12017-02-06 12:46 542  
[ ]grcat_1__882_49.min1.thm12017-02-06 12:46 362  
[ ]grcat_1__883_32.min1.thm12017-02-06 12:46 1.3K 
[ ]grcat_1__885_49.min1.thm12017-02-06 12:46 2.1K 
[ ]grcat_1__886_40.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__887_35.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__888_21.min1.thm12017-02-06 12:46 3.0K 
[ ]grcat_1__892_18.min1.thm12017-02-06 12:46 588  
[ ]grcat_1__904_43.min1.thm12017-02-06 12:46 460  
[ ]grcat_1__904_43.min1.thm1.tptp2017-02-06 16:47 383  
[ ]grcat_1__905_23.min1.thm12017-02-06 12:46 460  
[ ]grcat_1__905_23.min1.thm1.tptp2017-02-06 16:47 383  
[ ]grcat_1__910_43.min1.thm12017-02-06 12:46 460  
[ ]grcat_1__910_43.min1.thm1.tptp2017-02-06 16:47 383  
[ ]grcat_1__911_23.min1.thm12017-02-06 12:46 460  
[ ]grcat_1__911_23.min1.thm1.tptp2017-02-06 16:47 383  
[ ]grcat_1__914_19.min1.thm12017-02-06 12:46 368  
[ ]grcat_1__914_19.min1.thm1.tptp2017-02-06 16:47 308  
[ ]grcat_1__922_14.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__933_16.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__957_43.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__962_16.min1.thm12017-02-06 12:46 690  
[ ]grcat_1__966_43.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__971_17.min1.thm12017-02-06 12:46 698  
[ ]grcat_1__980_41.min1.thm12017-02-06 12:46 648  
[ ]grcat_1__981_61.min1.thm12017-02-06 12:46 2.8K 
[ ]grcat_1__982_39.min1.thm12017-02-06 12:46 438  
[ ]grcat_1__984_16.min1.thm12017-02-06 12:46 278  
[ ]grcat_1__984_16.min1.thm1.tptp2017-02-06 16:47 199  
[ ]grcat_1__985_50.min1.thm12017-02-06 12:46 369  
[ ]grcat_1__989_24.min1.thm12017-02-06 12:46 603  
[ ]grcat_1__991_16.min1.thm12017-02-06 12:46 2.2K 
[ ]grcat_1__1002_63.min1.thm12017-02-06 12:46 285  
[ ]grcat_1__1007_18.min1.thm12017-02-06 12:46 358  
[ ]grcat_1__1014_16.min1.thm12017-02-06 12:46 786  
[ ]grcat_1__1021_46.min1.thm12017-02-06 12:46 409  
[ ]grcat_1__1021_46.min1.thm1.tptp2017-02-06 16:47 344  
[ ]grcat_1__1022_17.min1.thm12017-02-06 12:46 615  
[ ]grcat_1__1028_14.min1.thm12017-02-06 12:46 575  
[ ]grcat_1__1037_13.min1.thm12017-02-06 12:46 754  
[ ]grcat_1__1040_13.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1041_14.min1.thm12017-02-06 12:46 622  
[ ]grcat_1__1049_17.min1.thm12017-02-06 12:46 793  
[ ]grcat_1__1078_17.min1.thm12017-02-06 12:46 536  
[ ]grcat_1__1080_26.min1.thm12017-02-06 12:46 720  
[ ]grcat_1__1082_22.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__1090_14.min1.thm12017-02-06 12:46 824  
[ ]grcat_1__1091_17.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__1092_23.min1.thm12017-02-06 12:46 680  
[ ]grcat_1__1098_77.min1.thm12017-02-06 12:46 632  
[ ]grcat_1__1098_77.min1.thm1.tptp2017-02-06 16:47 579  
[ ]grcat_1__1100_37.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1102_53.min1.thm12017-02-06 12:46 524  
[ ]grcat_1__1104_18.min1.thm12017-02-06 12:46 625  
[ ]grcat_1__1104_18.min1.thm1.tptp2017-02-06 16:47 581  
[ ]grcat_1__1116_24.min1.thm12017-02-06 12:46 598  
[ ]grcat_1__1117_34.min1.thm12017-02-06 12:46 742  
[ ]grcat_1__1117_34.min1.thm1.tptp2017-02-06 16:47 689  
[ ]grcat_1__1119_19.min1.thm12017-02-06 12:46 368  
[ ]grcat_1__1119_19.min1.thm1.tptp2017-02-06 16:47 308  
[ ]grcat_1__1134_34.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__1135_43.min1.thm12017-02-06 12:46 321  
[ ]grcat_1__1136_18.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__1137_16.min1.thm12017-02-06 12:46 500  
[ ]grcat_1__1143_34.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__1144_43.min1.thm12017-02-06 12:46 321  
[ ]grcat_1__1145_18.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__1146_16.min1.thm12017-02-06 12:46 500  
[ ]grcat_1__1157_47.min1.thm12017-02-06 12:46 789  
[ ]grcat_1__1159_16.min1.thm12017-02-06 12:46 463  
[ ]grcat_1__1159_16.min1.thm1.tptp2017-02-06 16:47 377  
[ ]grcat_1__1175_18.min1.thm12017-02-06 12:46 482  
[ ]grcat_1__1184_22.min1.thm12017-02-06 12:46 570  
[ ]grcat_1__1184_22.min1.thm1.tptp2017-02-06 16:47 493  
[ ]grcat_1__1185_26.min1.thm12017-02-06 12:46 798  
[ ]grcat_1__1199_18.min1.thm12017-02-06 12:46 482  
[ ]grcat_1__1208_22.min1.thm12017-02-06 12:46 570  
[ ]grcat_1__1208_22.min1.thm1.tptp2017-02-06 16:47 493  
[ ]grcat_1__1209_26.min1.thm12017-02-06 12:46 798  
[ ]grcat_1__1228_36.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__1230_37.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__1231_19.min1.thm12017-02-06 12:46 1.9K 
[ ]grcat_1__1232_16.min1.thm12017-02-06 12:46 1.9K 
[ ]grcat_1__1233_17.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__1246_43.min1.thm12017-02-06 12:46 268  
[ ]grcat_1__1247_43.min1.thm12017-02-06 12:46 268  
[ ]grcat_1__1263_61.min1.thm12017-02-06 12:46 689  
[ ]grcat_1__1263_61.min1.thm1.tptp2017-02-06 16:47 650  
[ ]grcat_1__1269_18.min1.thm12017-02-06 12:46 1.3K 
[ ]grcat_1__1281_24.min1.thm12017-02-06 12:46 827  
[ ]grcat_1__1287_18.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1288_15.min1.thm12017-02-06 12:46 910  
[ ]grcat_1__1292_24.min1.thm12017-02-06 12:46 441  
[ ]grcat_1__1292_24.min1.thm1.tptp2017-02-06 16:47 377  
[ ]grcat_1__1298_44.min1.thm12017-02-06 12:46 1.9K 
[ ]grcat_1__1299_23.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1300_21.min1.thm12017-02-06 12:46 1.8K 
[ ]grcat_1__1306_26.min1.thm12017-02-06 12:46 829  
[ ]grcat_1__1308_18.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__1309_15.min1.thm12017-02-06 12:46 910  
[ ]grcat_1__1312_28.min1.thm12017-02-06 12:46 442  
[ ]grcat_1__1312_28.min1.thm1.tptp2017-02-06 16:47 378  
[ ]grcat_1__1313_27.min1.thm12017-02-06 12:46 502  
[ ]grcat_1__1334_11.min1.thm12017-02-06 12:46 552  
[ ]grcat_1__1334_11.min1.thm1.tptp2017-02-06 16:47 473  
[ ]grcat_1__1368_13.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1401_40.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1403_17.min1.thm12017-02-06 12:46 1.9K 
[ ]grcat_1__1422_47.min1.thm12017-02-06 12:46 2.0K 
[ ]grcat_1__1436_15.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1440_55.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1441_57.min1.thm12017-02-06 12:46 663  
[ ]grcat_1__1441_57.min1.thm1.tptp2017-02-06 16:47 591  
[ ]grcat_1__1443_43.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__1449_22.min1.thm12017-02-06 12:46 507  
[ ]grcat_1__1479_41.min1.thm12017-02-06 12:46 1.7K 
[ ]grcat_1__1480_46.min1.thm12017-02-06 12:46 1.3K 
[ ]grcat_1__1482_19.min1.thm12017-02-06 12:46 3.1K 
[ ]grcat_1__1483_19.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1484_17.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__1484_40.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__1487_25.min1.thm12017-02-06 12:46 456  
[ ]grcat_1__1487_25.min1.thm1.tptp2017-02-06 16:47 374  
[ ]grcat_1__1489_15.min1.thm12017-02-06 12:46 374  
[ ]grcat_1__1489_15.min1.thm1.tptp2017-02-06 16:47 292  
[ ]grcat_1__1490_43.min1.thm12017-02-06 12:46 701  
[ ]grcat_1__1490_43.min1.thm1.tptp2017-02-06 16:47 615  
[ ]grcat_1__1494_52.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__1496_19.min1.thm12017-02-06 12:46 1.8K 
[ ]grcat_1__1499_15.min1.thm12017-02-06 12:46 527  
[ ]grcat_1__1509_41.min1.thm12017-02-06 12:46 1.7K 
[ ]grcat_1__1510_46.min1.thm12017-02-06 12:46 1.3K 
[ ]grcat_1__1512_19.min1.thm12017-02-06 12:46 3.1K 
[ ]grcat_1__1513_19.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1514_17.min1.thm12017-02-06 12:46 1.2K 
[ ]grcat_1__1514_40.min1.thm12017-02-06 12:46 1.1K 
[ ]grcat_1__1517_25.min1.thm12017-02-06 12:46 456  
[ ]grcat_1__1517_25.min1.thm1.tptp2017-02-06 16:47 374  
[ ]grcat_1__1519_15.min1.thm12017-02-06 12:46 374  
[ ]grcat_1__1519_15.min1.thm1.tptp2017-02-06 16:47 292  
[ ]grcat_1__1520_43.min1.thm12017-02-06 12:46 701  
[ ]grcat_1__1520_43.min1.thm1.tptp2017-02-06 16:47 615  
[ ]grcat_1__1524_52.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__1526_19.min1.thm12017-02-06 12:46 1.8K 
[ ]grcat_1__1529_15.min1.thm12017-02-06 12:46 527  
[ ]grcat_1__1564_14.min1.thm12017-02-06 12:46 722  
[ ]grcat_1__1570_42.min1.thm12017-02-06 12:46 1.5K 
[ ]grcat_1__1575_44.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1594_74.min1.thm12017-02-06 12:46 852  
[ ]grcat_1__1595_19.min1.thm12017-02-06 12:46 1.3K 
[ ]grcat_1__1597_19.min1.thm12017-02-06 12:46 562  
[ ]grcat_1__1605_14.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__1611_14.min1.thm12017-02-06 12:46 575  
[ ]grcat_1__1645_22.min1.thm12017-02-06 12:46 895  
[ ]grcat_1__1648_19.min1.thm12017-02-06 12:46 568  
[ ]grcat_1__1662_16.min1.thm12017-02-06 12:46 1.6K 
[ ]grcat_1__1663_39.min1.thm12017-02-06 12:46 341  
[ ]grcat_1__1663_39.min1.thm1.tptp2017-02-06 16:47 261  
[ ]grcat_1__1668_22.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1671_16.min1.thm12017-02-06 12:46 668  
[ ]grcat_1__1695_14.min1.thm12017-02-06 12:46 1.7K 
[ ]grcat_1__1704_27.min1.thm12017-02-06 12:46 366  
[ ]grcat_1__1704_27.min1.thm1.tptp2017-02-06 16:47 288  
[ ]grcat_1__1708_31.min1.thm12017-02-06 12:46 1.0K 
[ ]grcat_1__1709_52.min1.thm12017-02-06 12:46 2.7K 
[ ]grcat_1__1722_41.min1.thm12017-02-06 12:46 1.4K 
[ ]grcat_1__1727_43.min1.thm12017-02-06 12:46 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80