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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmp_gcd__57_17.min1.thm12017-02-06 12:45 1.2K 
[ ]scmp_gcd__58_39.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__59_18.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__60_19.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__73_14.min1.thm12017-02-06 12:45 390  
[ ]scmp_gcd__73_14.min1.thm1.tptp2017-02-06 16:47 308  
[ ]scmp_gcd__74_13.min1.thm12017-02-06 12:45 204  
[ ]scmp_gcd__75_12.min1.thm12017-02-06 12:45 460  
[ ]scmp_gcd__77_8.min1.thm12017-02-06 12:45 154  
[ ]scmp_gcd__78_9.min1.thm12017-02-06 12:45 154  
[ ]scmp_gcd__86_11.min1.thm12017-02-06 12:45 666  
[ ]scmp_gcd__90_11.min1.thm12017-02-06 12:45 655  
[ ]scmp_gcd__94_15.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__99_46.min1.thm12017-02-06 12:45 933  
[ ]scmp_gcd__101_17.min1.thm12017-02-06 12:45 672  
[ ]scmp_gcd__107_51.min1.thm12017-02-06 12:45 675  
[ ]scmp_gcd__109_23.min1.thm12017-02-06 12:45 722  
[ ]scmp_gcd__110_12.min1.thm12017-02-06 12:45 632  
[ ]scmp_gcd__111_7.min1.thm12017-02-06 12:45 641  
[ ]scmp_gcd__117_23.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__118_48.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__119_29.min1.thm12017-02-06 12:45 328  
[ ]scmp_gcd__120_37.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__122_10.min1.thm12017-02-06 12:45 699  
[ ]scmp_gcd__123_30.min1.thm12017-02-06 12:45 891  
[ ]scmp_gcd__124_33.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__125_17.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__131_29.min1.thm12017-02-06 12:45 935  
[ ]scmp_gcd__133_10.min1.thm12017-02-06 12:45 940  
[ ]scmp_gcd__172_16.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__173_7.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__179_8.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__186_8.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__209_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__262_23.min1.thm12017-02-06 12:45 1.2K 
[ ]scmp_gcd__263_42.min1.thm12017-02-06 12:45 2.9K 
[ ]scmp_gcd__339_14.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__340_24.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__344_24.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__348_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__351_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__355_26.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__361_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__364_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__367_33.min1.thm12017-02-06 12:45 3.0K 
[ ]scmp_gcd__375_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__378_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__383_4.min1.thm12017-02-06 12:45 923  
[ ]scmp_gcd__393_9.min1.thm12017-02-06 12:45 932  
[ ]scmp_gcd__406_11.min1.thm12017-02-06 12:45 871  
[ ]scmp_gcd__407_17.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__414_11.min1.thm12017-02-06 12:45 871  
[ ]scmp_gcd__415_17.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__442_24.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__445_24.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__449_16.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__453_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__460_15.min1.thm12017-02-06 12:45 749  
[ ]scmp_gcd__463_15.min1.thm12017-02-06 12:45 749  
[ ]scmp_gcd__467_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__471_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__474_33.min1.thm12017-02-06 12:45 2.9K 
[ ]scmp_gcd__475_48.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__482_11.min1.thm12017-02-06 12:45 958  
[ ]scmp_gcd__491_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__495_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__499_48.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__501_43.min1.thm12017-02-06 12:45 896  
[ ]scmp_gcd__502_48.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__503_45.min1.thm12017-02-06 12:45 896  
[ ]scmp_gcd__506_43.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__507_40.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__513_51.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__515_53.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__521_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__525_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__529_48.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__536_17.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__542_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__546_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__548_33.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__550_4.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__563_34.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__567_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__571_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__574_33.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__575_48.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__591_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__592_13.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__596_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__597_36.min1.thm12017-02-06 12:45 926  
[ ]scmp_gcd__599_33.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__603_49.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__605_44.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__635_24.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__638_24.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__642_16.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__646_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__653_43.min1.thm12017-02-06 12:45 3.5K 
[ ]scmp_gcd__656_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__659_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__661_33.min1.thm12017-02-06 12:45 2.9K 
[ ]scmp_gcd__662_48.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__666_14.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__671_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__674_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__677_48.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__679_43.min1.thm12017-02-06 12:45 896  
[ ]scmp_gcd__680_48.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__681_45.min1.thm12017-02-06 12:45 896  
[ ]scmp_gcd__684_43.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__685_40.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__688_14.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__690_48.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__691_14.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__692_50.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__699_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__702_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__707_48.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__711_14.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__716_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__719_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__723_33.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__725_4.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__729_14.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__735_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__738_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__742_33.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__743_48.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__750_14.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__792_24.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__795_26.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__799_18.min1.thm12017-02-06 12:45 1.2K 
[ ]scmp_gcd__802_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__804_13.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__806_17.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__808_17.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__809_28.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__810_18.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__839_39.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__840_18.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__852_14.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__854_16.min1.thm12017-02-06 12:45 311  
[ ]scmp_gcd__867_19.min1.thm12017-02-06 12:45 247  
[ ]scmp_gcd__869_18.min1.thm12017-02-06 12:45 965  
[ ]scmp_gcd__890_24.min1.thm12017-02-06 12:45 3.5K 
[ ]scmp_gcd__892_31.min1.thm12017-02-06 12:45 3.2K 
[ ]scmp_gcd__893_45.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__895_37.min1.thm12017-02-06 12:45 3.9K 
[ ]scmp_gcd__896_51.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__897_35.min1.thm12017-02-06 12:45 883  
[ ]scmp_gcd__898_19.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__899_26.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__902_30.min1.thm12017-02-06 12:45 3.4K 
[ ]scmp_gcd__903_18.min1.thm12017-02-06 12:45 965  
[ ]scmp_gcd__905_18.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__913_23.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__916_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__917_45.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__923_32.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__931_23.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__934_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__939_23.min1.thm12017-02-06 12:45 637  
[ ]scmp_gcd__939_23.min1.thm1.tptp2017-02-06 16:47 555  
[ ]scmp_gcd__940_56.min1.thm12017-02-06 12:45 932  
[ ]scmp_gcd__945_34.min1.thm12017-02-06 12:45 2.5K 
[ ]scmp_gcd__958_42.min1.thm12017-02-06 12:45 3.4K 
[ ]scmp_gcd__959_30.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__960_24.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__981_54.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__1006_11.min1.thm12017-02-06 12:45 507  
[ ]scmp_gcd__1013_37.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__1015_12.min1.thm12017-02-06 12:45 287  
[ ]scmp_gcd__1029_15.min1.thm12017-02-06 12:45 949  
[ ]scmp_gcd__1038_16.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1048_21.min1.thm12017-02-06 12:45 3.5K 
[ ]scmp_gcd__1049_51.min1.thm12017-02-06 12:45 3.2K 
[ ]scmp_gcd__1050_42.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1053_16.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1054_22.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__1057_26.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__1058_14.min1.thm12017-02-06 12:45 949  
[ ]scmp_gcd__1060_15.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1068_19.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__1071_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1072_42.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1077_28.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__1084_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__1087_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1091_22.min1.thm12017-02-06 12:45 601  
[ ]scmp_gcd__1091_22.min1.thm1.tptp2017-02-06 16:47 519  
[ ]scmp_gcd__1092_52.min1.thm12017-02-06 12:45 892  
[ ]scmp_gcd__1098_30.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__1099_21.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1110_38.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__1111_26.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1112_20.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__1140_17.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1141_17.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1142_17.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1143_30.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1144_32.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1145_44.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1146_10.min1.thm12017-02-06 12:45 2.6K 
[ ]scmp_gcd__1147_37.min1.thm12017-02-06 12:45 866  
[ ]scmp_gcd__1149_30.min1.thm12017-02-06 12:45 2.8K 
[ ]scmp_gcd__1161_4.min1.thm12017-02-06 12:45 1.2K 
[ ]scmp_gcd__1170_14.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__1176_16.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__1178_30.min1.thm12017-02-06 12:45 491  
[ ]scmp_gcd__1179_11.min1.thm12017-02-06 12:45 2.6K 
[ ]scmp_gcd__1180_41.min1.thm12017-02-06 12:45 3.7K 
[ ]scmp_gcd__1181_25.min1.thm12017-02-06 12:45 2.9K 
[ ]scmp_gcd__1228_37.min1.thm12017-02-06 12:45 699  
[ ]scmp_gcd__1229_37.min1.thm12017-02-06 12:45 699  
[ ]scmp_gcd__1282_14.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__1285_26.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__1287_29.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__1290_26.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__1294_16.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1297_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1305_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__1308_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1311_35.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__1314_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1317_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1320_35.min1.thm12017-02-06 12:45 2.9K 
[ ]scmp_gcd__1321_50.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__1327_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1330_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1333_35.min1.thm12017-02-06 12:45 2.9K 
[ ]scmp_gcd__1336_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1339_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1343_50.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__1345_45.min1.thm12017-02-06 12:45 896  
[ ]scmp_gcd__1346_50.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__1347_47.min1.thm12017-02-06 12:45 896  
[ ]scmp_gcd__1350_45.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__1351_42.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__1356_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1359_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1365_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1368_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1372_50.min1.thm12017-02-06 12:45 806  
[ ]scmp_gcd__1378_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1381_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1387_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1390_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1393_35.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__1395_4.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1400_16.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1403_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1406_35.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__1409_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1412_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1415_35.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__1418_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1421_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1423_35.min1.thm12017-02-06 12:45 3.1K 
[ ]scmp_gcd__1428_28.min1.thm12017-02-06 12:45 3.4K 
[ ]scmp_gcd__1434_13.min1.thm12017-02-06 12:45 398  
[ ]scmp_gcd__1438_41.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1443_6.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1445_6.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1451_42.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1453_30.min1.thm12017-02-06 12:45 921  
[ ]scmp_gcd__1465_13.min1.thm12017-02-06 12:45 901  
[ ]scmp_gcd__1466_13.min1.thm12017-02-06 12:45 901  
[ ]scmp_gcd__1467_13.min1.thm12017-02-06 12:45 676  
[ ]scmp_gcd__1471_30.min1.thm12017-02-06 12:45 921  
[ ]scmp_gcd__1478_15.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__1479_15.min1.thm12017-02-06 12:45 2.7K 
[ ]scmp_gcd__1485_2.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__1487_2.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__1497_2.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__1499_2.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__1507_13.min1.thm12017-02-06 12:45 398  
[ ]scmp_gcd__1511_41.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1515_6.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__1517_6.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1523_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1525_30.min1.thm12017-02-06 12:45 921  
[ ]scmp_gcd__1533_57.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__1534_44.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__1535_13.min1.thm12017-02-06 12:45 444  
[ ]scmp_gcd__1539_48.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1543_6.min1.thm12017-02-06 12:45 4.0K 
[ ]scmp_gcd__1545_6.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__1551_49.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1553_30.min1.thm12017-02-06 12:45 921  
[ ]scmp_gcd__1561_57.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__1562_44.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__1563_13.min1.thm12017-02-06 12:45 398  
[ ]scmp_gcd__1567_42.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1573_8.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__1579_42.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1581_30.min1.thm12017-02-06 12:45 921  
[ ]scmp_gcd__1589_13.min1.thm12017-02-06 12:45 412  
[ ]scmp_gcd__1593_45.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1600_46.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1602_30.min1.thm12017-02-06 12:45 921  
[ ]scmp_gcd__1611_16.min1.thm12017-02-06 12:45 871  
[ ]scmp_gcd__1614_41.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__1615_31.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__1616_38.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__1617_30.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__1621_52.min1.thm12017-02-06 12:45 733  
[ ]scmp_gcd__1622_51.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1626_52.min1.thm12017-02-06 12:45 733  
[ ]scmp_gcd__1627_51.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1631_52.min1.thm12017-02-06 12:45 733  
[ ]scmp_gcd__1632_51.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1636_52.min1.thm12017-02-06 12:45 733  
[ ]scmp_gcd__1637_51.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1641_52.min1.thm12017-02-06 12:45 733  
[ ]scmp_gcd__1642_51.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1646_52.min1.thm12017-02-06 12:45 735  
[ ]scmp_gcd__1647_51.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1655_51.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1723_28.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__1727_28.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__1729_29.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__1731_28.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__1734_18.min1.thm12017-02-06 12:45 1.2K 
[ ]scmp_gcd__1736_18.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1740_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1744_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1754_18.min1.thm12017-02-06 12:45 679  
[ ]scmp_gcd__1757_43.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__1758_33.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__1759_39.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__1760_32.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__1765_2.min1.thm12017-02-06 12:45 750  
[ ]scmp_gcd__1800_39.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1801_18.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__1820_14.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__1822_16.min1.thm12017-02-06 12:45 311  
[ ]scmp_gcd__1863_39.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1865_39.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__1870_17.min1.thm12017-02-06 12:45 965  
[ ]scmp_gcd__1876_16.min1.thm12017-02-06 12:45 903  
[ ]scmp_gcd__1878_36.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__1889_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmp_gcd__1892_17.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__1911_24.min1.thm12017-02-06 12:45 3.5K 
[ ]scmp_gcd__1913_32.min1.thm12017-02-06 12:45 3.2K 
[ ]scmp_gcd__1914_49.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1917_18.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1918_25.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1921_29.min1.thm12017-02-06 12:45 3.4K 
[ ]scmp_gcd__1922_17.min1.thm12017-02-06 12:45 965  
[ ]scmp_gcd__1924_17.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__1926_29.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1933_34.min1.thm12017-02-06 12:45 3.2K 
[ ]scmp_gcd__1934_49.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1938_29.min1.thm12017-02-06 12:45 3.4K 
[ ]scmp_gcd__1946_23.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__1949_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1950_49.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1951_47.min1.thm12017-02-06 12:45 3.6K 
[ ]scmp_gcd__1955_31.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__1960_23.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__1963_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1964_49.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__1968_31.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__1972_23.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__1975_23.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__1981_27.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1983_58.min1.thm12017-02-06 12:45 932  
[ ]scmp_gcd__1987_27.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__1988_58.min1.thm12017-02-06 12:45 932  
[ ]scmp_gcd__2001_43.min1.thm12017-02-06 12:45 3.4K 
[ ]scmp_gcd__2002_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__2003_22.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__2011_43.min1.thm12017-02-06 12:45 3.4K 
[ ]scmp_gcd__2012_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__2013_23.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2028_25.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__2032_23.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2034_49.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__2037_49.min1.thm12017-02-06 12:45 554  
[ ]scmp_gcd__2037_49.min1.thm1.tptp2017-02-06 16:47 470  
[ ]scmp_gcd__2048_23.min1.thm12017-02-06 12:45 234  
[ ]scmp_gcd__2051_12.min1.thm12017-02-06 12:45 931  
[ ]scmp_gcd__2057_40.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__2062_53.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2063_54.min1.thm12017-02-06 12:45 2.5K 
[ ]scmp_gcd__2065_23.min1.thm12017-02-06 12:45 506  
[ ]scmp_gcd__2071_42.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__2081_18.min1.thm12017-02-06 12:45 2.7K 
[ ]scmp_gcd__2095_23.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2096_48.min1.thm12017-02-06 12:45 520  
[ ]scmp_gcd__2100_40.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2104_39.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2110_9.min1.thm12017-02-06 12:45 919  
[ ]scmp_gcd__2112_4.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__2117_9.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2119_4.min1.thm12017-02-06 12:45 837  
[ ]scmp_gcd__2119_4.min1.thm1.tptp2017-02-06 16:47 755  
[ ]scmp_gcd__2141_56.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__2164_15.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__2165_28.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__2167_26.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2169_16.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__2170_29.min1.thm12017-02-06 12:45 3.3K 
[ ]scmp_gcd__2172_26.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2176_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2180_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2182_35.min1.thm12017-02-06 12:45 3.0K 
[ ]scmp_gcd__2185_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2189_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2194_35.min1.thm12017-02-06 12:45 3.0K 
[ ]scmp_gcd__2197_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__2201_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2206_35.min1.thm12017-02-06 12:45 2.9K 
[ ]scmp_gcd__2210_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__2214_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2219_35.min1.thm12017-02-06 12:45 2.9K 
[ ]scmp_gcd__2223_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2227_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2233_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2237_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2239_35.min1.thm12017-02-06 12:45 3.0K 
[ ]scmp_gcd__2244_13.min1.thm12017-02-06 12:45 198  
[ ]scmp_gcd__2247_34.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__2248_30.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__2253_30.min1.thm12017-02-06 12:45 2.6K 
[ ]scmp_gcd__2260_13.min1.thm12017-02-06 12:45 198  
[ ]scmp_gcd__2269_30.min1.thm12017-02-06 12:45 921  
[ ]scmp_gcd__2277_13.min1.thm12017-02-06 12:45 412  
[ ]scmp_gcd__2287_30.min1.thm12017-02-06 12:45 921  
[ ]scmp_gcd__2291_14.min1.thm12017-02-06 12:45 710  
[ ]scmp_gcd__2294_39.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2295_29.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__2296_36.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2297_28.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__2301_50.min1.thm12017-02-06 12:45 730  
[ ]scmp_gcd__2302_18.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2306_50.min1.thm12017-02-06 12:45 720  
[ ]scmp_gcd__2307_18.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2311_50.min1.thm12017-02-06 12:45 720  
[ ]scmp_gcd__2312_18.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2323_28.min1.thm12017-02-06 12:45 895  
[ ]scmp_gcd__2342_22.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2343_43.min1.thm12017-02-06 12:45 882  
[ ]scmp_gcd__2345_11.min1.thm12017-02-06 12:45 414  
[ ]scmp_gcd__2345_11.min1.thm1.tptp2017-02-06 16:47 328  
[ ]scmp_gcd__2347_37.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__2348_43.min1.thm12017-02-06 12:45 568  
[ ]scmp_gcd__2349_50.min1.thm12017-02-06 12:45 1.2K 
[ ]scmp_gcd__2350_47.min1.thm12017-02-06 12:45 450  
[ ]scmp_gcd__2350_47.min1.thm1.tptp2017-02-06 16:47 372  
[ ]scmp_gcd__2351_34.min1.thm12017-02-06 12:45 570  
[ ]scmp_gcd__2353_21.min1.thm12017-02-06 12:45 2.0K 
[ ]scmp_gcd__2354_18.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__2356_15.min1.thm12017-02-06 12:45 276  
[ ]scmp_gcd__2357_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2359_15.min1.thm12017-02-06 12:45 278  
[ ]scmp_gcd__2366_21.min1.thm12017-02-06 12:45 1.4K 
[ ]scmp_gcd__2367_47.min1.thm12017-02-06 12:45 2.3K 
[ ]scmp_gcd__2368_29.min1.thm12017-02-06 12:45 2.7K 
[ ]scmp_gcd__2369_28.min1.thm12017-02-06 12:45 308  
[ ]scmp_gcd__2371_15.min1.thm12017-02-06 12:45 493  
[ ]scmp_gcd__2372_25.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2373_12.min1.thm12017-02-06 12:45 221  
[ ]scmp_gcd__2375_24.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2376_12.min1.thm12017-02-06 12:45 223  
[ ]scmp_gcd__2377_13.min1.thm12017-02-06 12:45 474  
[ ]scmp_gcd__2377_13.min1.thm1.tptp2017-02-06 16:47 414  
[ ]scmp_gcd__2385_27.min1.thm12017-02-06 12:45 306  
[ ]scmp_gcd__2387_32.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2389_23.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2390_16.min1.thm12017-02-06 12:45 277  
[ ]scmp_gcd__2391_27.min1.thm12017-02-06 12:45 308  
[ ]scmp_gcd__2393_32.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2395_23.min1.thm12017-02-06 12:45 2.1K 
[ ]scmp_gcd__2396_16.min1.thm12017-02-06 12:45 277  
[ ]scmp_gcd__2397_14.min1.thm12017-02-06 12:45 936  
[ ]scmp_gcd__2398_14.min1.thm12017-02-06 12:45 937  
[ ]scmp_gcd__2399_14.min1.thm12017-02-06 12:45 944  
[ ]scmp_gcd__2400_14.min1.thm12017-02-06 12:45 945  
[ ]scmp_gcd__2402_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2403_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2404_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2405_31.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__2406_33.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__2407_35.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__2408_44.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2409_12.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2410_37.min1.thm12017-02-06 12:45 867  
[ ]scmp_gcd__2411_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2412_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2413_18.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2414_31.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__2415_33.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__2416_35.min1.thm12017-02-06 12:45 1.9K 
[ ]scmp_gcd__2417_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2418_31.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__2436_35.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__2437_13.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__2440_35.min1.thm12017-02-06 12:45 1.5K 
[ ]scmp_gcd__2441_13.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__2450_18.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__2454_13.min1.thm12017-02-06 12:45 219  
[ ]scmp_gcd__2455_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2462_15.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__2466_13.min1.thm12017-02-06 12:45 220  
[ ]scmp_gcd__2467_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmp_gcd__2471_28.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__2474_28.min1.thm12017-02-06 12:45 2.4K 
[ ]scmp_gcd__2482_22.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2483_20.min1.thm12017-02-06 12:45 1.2K 
[ ]scmp_gcd__2485_20.min1.thm12017-02-06 12:45 250  
[ ]scmp_gcd__2488_34.min1.thm12017-02-06 12:45 420  
[ ]scmp_gcd__2488_34.min1.thm1.tptp2017-02-06 16:47 332  
[ ]scmp_gcd__2494_15.min1.thm12017-02-06 12:45 1.2K 
[ ]scmp_gcd__2505_17.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2506_42.min1.thm12017-02-06 12:45 480  
[ ]scmp_gcd__2510_34.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__2514_33.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__2518_33.min1.thm12017-02-06 12:45 2.2K 
[ ]scmp_gcd__2524_42.min1.thm12017-02-06 12:45 480  
[ ]scmp_gcd__2546_38.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__2547_50.min1.thm12017-02-06 12:45 1.7K 
[ ]scmp_gcd__2548_25.min1.thm12017-02-06 12:45 246  
[ ]scmp_gcd__2549_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmp_gcd__2554_53.min1.thm12017-02-06 12:45 2.8K 
[ ]scmp_gcd__2555_29.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2555_29.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]scmp_gcd__2556_35.min1.thm12017-02-06 12:45 2.8K 
[ ]scmp_gcd__2557_45.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2557_45.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]scmp_gcd__2558_45.min1.thm12017-02-06 12:45 1.1K 
[ ]scmp_gcd__2558_45.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]scmp_gcd__2559_51.min1.thm12017-02-06 12:45 2.5K 
[ ]scmp_gcd__2560_32.min1.thm12017-02-06 12:45 2.5K 
[ ]scmp_gcd__2563_19.min1.thm12017-02-06 12:45 1.0K 
[ ]scmp_gcd__2563_19.min1.thm1.tptp2017-02-06 16:47 966  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80