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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]qc_lang4__46_11.min1.thm12017-02-06 12:44 192  
[ ]qc_lang4__53_39.min1.thm12017-02-06 12:44 784  
[ ]qc_lang4__66_39.min1.thm12017-02-06 12:44 780  
[ ]qc_lang4__69_14.min1.thm12017-02-06 12:44 214  
[ ]qc_lang4__81_11.min1.thm12017-02-06 12:44 2.1K 
[ ]qc_lang4__82_16.min1.thm12017-02-06 12:44 1.7K 
[ ]qc_lang4__92_57.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__93_38.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__94_14.min1.thm12017-02-06 12:44 815  
[ ]qc_lang4__98_66.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__100_17.min1.thm12017-02-06 12:44 430  
[ ]qc_lang4__101_33.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__102_19.min1.thm12017-02-06 12:44 867  
[ ]qc_lang4__107_27.min1.thm12017-02-06 12:44 921  
[ ]qc_lang4__108_43.min1.thm12017-02-06 12:44 969  
[ ]qc_lang4__111_8.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__113_17.min1.thm12017-02-06 12:44 430  
[ ]qc_lang4__114_30.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__115_19.min1.thm12017-02-06 12:44 867  
[ ]qc_lang4__124_33.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__130_18.min1.thm12017-02-06 12:44 369  
[ ]qc_lang4__130_18.min1.thm1.tptp2017-02-06 16:47 315  
[ ]qc_lang4__133_23.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__137_23.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__140_16.min1.thm12017-02-06 12:44 278  
[ ]qc_lang4__145_28.min1.thm12017-02-06 12:44 921  
[ ]qc_lang4__146_43.min1.thm12017-02-06 12:44 969  
[ ]qc_lang4__149_8.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__151_17.min1.thm12017-02-06 12:44 430  
[ ]qc_lang4__152_30.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__153_19.min1.thm12017-02-06 12:44 867  
[ ]qc_lang4__167_57.min1.thm12017-02-06 12:44 879  
[ ]qc_lang4__168_52.min1.thm12017-02-06 12:44 641  
[ ]qc_lang4__170_43.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__172_16.min1.thm12017-02-06 12:44 834  
[ ]qc_lang4__184_35.min1.thm12017-02-06 12:44 728  
[ ]qc_lang4__188_22.min1.thm12017-02-06 12:44 560  
[ ]qc_lang4__189_18.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__194_28.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__196_13.min1.thm12017-02-06 12:44 331  
[ ]qc_lang4__198_28.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__199_23.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__211_37.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__215_22.min1.thm12017-02-06 12:44 917  
[ ]qc_lang4__218_25.min1.thm12017-02-06 12:44 286  
[ ]qc_lang4__219_27.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__223_27.min1.thm12017-02-06 12:44 1.7K 
[ ]qc_lang4__227_20.min1.thm12017-02-06 12:44 534  
[ ]qc_lang4__232_31.min1.thm12017-02-06 12:44 929  
[ ]qc_lang4__233_48.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__235_67.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__238_13.min1.thm12017-02-06 12:44 331  
[ ]qc_lang4__239_29.min1.thm12017-02-06 12:44 825  
[ ]qc_lang4__241_25.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__242_23.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__245_19.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__274_57.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__275_64.min1.thm12017-02-06 12:44 1.7K 
[ ]qc_lang4__276_26.min1.thm12017-02-06 12:44 828  
[ ]qc_lang4__281_58.min1.thm12017-02-06 12:44 616  
[ ]qc_lang4__281_58.min1.thm1.tptp2017-02-06 16:47 528  
[ ]qc_lang4__283_18.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang4__310_49.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__311_61.min1.thm12017-02-06 12:44 2.2K 
[ ]qc_lang4__312_27.min1.thm12017-02-06 12:44 636  
[ ]qc_lang4__312_27.min1.thm1.tptp2017-02-06 16:47 559  
[ ]qc_lang4__315_32.min1.thm12017-02-06 12:44 2.1K 
[ ]qc_lang4__316_34.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__317_33.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__325_14.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__328_59.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__330_25.min1.thm12017-02-06 12:44 453  
[ ]qc_lang4__330_25.min1.thm1.tptp2017-02-06 16:47 389  
[ ]qc_lang4__331_57.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__332_21.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__338_19.min1.thm12017-02-06 12:44 388  
[ ]qc_lang4__338_19.min1.thm1.tptp2017-02-06 16:47 318  
[ ]qc_lang4__347_71.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__349_17.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__360_16.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__365_35.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__368_77.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__382_35.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__385_73.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__391_40.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang4__395_5.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__401_17.min1.thm12017-02-06 12:44 796  
[ ]qc_lang4__401_17.min1.thm1.tptp2017-02-06 16:47 719  
[ ]qc_lang4__413_37.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__415_12.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__440_20.min1.thm12017-02-06 12:44 851  
[ ]qc_lang4__446_15.min1.thm12017-02-06 12:44 445  
[ ]qc_lang4__447_12.min1.thm12017-02-06 12:44 406  
[ ]qc_lang4__449_16.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__450_24.min1.thm12017-02-06 12:44 786  
[ ]qc_lang4__452_16.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__453_28.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__456_37.min1.thm12017-02-06 12:44 2.3K 
[ ]qc_lang4__457_13.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__459_18.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__460_12.min1.thm12017-02-06 12:44 823  
[ ]qc_lang4__461_19.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__465_13.min1.thm12017-02-06 12:44 448  
[ ]qc_lang4__467_33.min1.thm12017-02-06 12:44 595  
[ ]qc_lang4__468_20.min1.thm12017-02-06 12:44 851  
[ ]qc_lang4__469_19.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__472_17.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang4__485_37.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__486_35.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__496_45.min1.thm12017-02-06 12:44 554  
[ ]qc_lang4__499_29.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__502_35.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__503_21.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__508_20.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__511_70.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang4__514_68.min1.thm12017-02-06 12:44 456  
[ ]qc_lang4__516_17.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__527_37.min1.thm12017-02-06 12:44 959  
[ ]qc_lang4__529_9.min1.thm12017-02-06 12:44 294  
[ ]qc_lang4__530_27.min1.thm12017-02-06 12:44 849  
[ ]qc_lang4__531_19.min1.thm12017-02-06 12:44 852  
[ ]qc_lang4__537_48.min1.thm12017-02-06 12:44 744  
[ ]qc_lang4__538_19.min1.thm12017-02-06 12:44 741  
[ ]qc_lang4__560_39.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang4__562_13.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__571_20.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__573_17.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__574_38.min1.thm12017-02-06 12:44 460  
[ ]qc_lang4__575_30.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__577_17.min1.thm12017-02-06 12:44 498  
[ ]qc_lang4__584_70.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__586_35.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__605_26.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__609_78.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__635_41.min1.thm12017-02-06 12:44 574  
[ ]qc_lang4__636_18.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__646_70.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__655_19.min1.thm12017-02-06 12:44 897  
[ ]qc_lang4__657_12.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__665_43.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang4__674_19.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang4__677_19.min1.thm12017-02-06 12:44 895  
[ ]qc_lang4__690_26.min1.thm12017-02-06 12:44 336  
[ ]qc_lang4__690_26.min1.thm1.tptp2017-02-06 16:47 262  
[ ]qc_lang4__697_68.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__701_35.min1.thm12017-02-06 12:44 713  
[ ]qc_lang4__702_16.min1.thm12017-02-06 12:44 927  
[ ]qc_lang4__703_23.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__705_18.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__714_31.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__716_18.min1.thm12017-02-06 12:44 518  
[ ]qc_lang4__720_15.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__721_45.min1.thm12017-02-06 12:44 242  
[ ]qc_lang4__722_21.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__737_28.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__740_35.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__741_18.min1.thm12017-02-06 12:44 962  
[ ]qc_lang4__747_40.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__784_29.min1.thm12017-02-06 12:44 336  
[ ]qc_lang4__784_29.min1.thm1.tptp2017-02-06 16:47 262  
[ ]qc_lang4__788_17.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang4__795_66.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__798_26.min1.thm12017-02-06 12:44 299  
[ ]qc_lang4__798_26.min1.thm1.tptp2017-02-06 16:47 216  
[ ]qc_lang4__800_38.min1.thm12017-02-06 12:44 648  
[ ]qc_lang4__805_53.min1.thm12017-02-06 12:44 454  
[ ]qc_lang4__819_14.min1.thm12017-02-06 12:44 482  
[ ]qc_lang4__822_38.min1.thm12017-02-06 12:44 412  
[ ]qc_lang4__827_38.min1.thm12017-02-06 12:44 412  
[ ]qc_lang4__844_35.min1.thm12017-02-06 12:44 200  
[ ]qc_lang4__856_70.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__864_40.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__867_51.min1.thm12017-02-06 12:44 876  
[ ]qc_lang4__873_40.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__874_20.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__876_21.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__887_43.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__888_46.min1.thm12017-02-06 12:44 513  
[ ]qc_lang4__890_59.min1.thm12017-02-06 12:44 532  
[ ]qc_lang4__892_23.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__895_19.min1.thm12017-02-06 12:44 805  
[ ]qc_lang4__895_19.min1.thm1.tptp2017-02-06 16:47 750  
[ ]qc_lang4__910_41.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__911_71.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__912_39.min1.thm12017-02-06 12:44 827  
[ ]qc_lang4__913_21.min1.thm12017-02-06 12:44 827  
[ ]qc_lang4__919_41.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__920_71.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__921_39.min1.thm12017-02-06 12:44 827  
[ ]qc_lang4__922_21.min1.thm12017-02-06 12:44 827  
[ ]qc_lang4__938_6.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__939_70.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__940_38.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__941_16.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__949_58.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__950_19.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__959_43.min1.thm12017-02-06 12:44 770  
[ ]qc_lang4__961_32.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__965_4.min1.thm12017-02-06 12:44 434  
[ ]qc_lang4__968_50.min1.thm12017-02-06 12:44 460  
[ ]qc_lang4__971_53.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__973_17.min1.thm12017-02-06 12:44 766  
[ ]qc_lang4__994_16.min1.thm12017-02-06 12:44 1.7K 
[ ]qc_lang4__1017_73.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__1019_64.min1.thm12017-02-06 12:44 3.0K 
[ ]qc_lang4__1027_29.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang4__1033_19.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1033_19.min1.thm1.tptp2017-02-06 16:47 927  
[ ]qc_lang4__1039_19.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1039_19.min1.thm1.tptp2017-02-06 16:47 922  
[ ]qc_lang4__1057_31.min1.thm12017-02-06 12:44 766  
[ ]qc_lang4__1057_31.min1.thm1.tptp2017-02-06 16:47 713  
[ ]qc_lang4__1058_20.min1.thm12017-02-06 12:44 517  
[ ]qc_lang4__1058_20.min1.thm1.tptp2017-02-06 16:47 428  
[ ]qc_lang4__1059_49.min1.thm12017-02-06 12:44 2.6K 
[ ]qc_lang4__1064_16.min1.thm12017-02-06 12:44 1.7K 
[ ]qc_lang4__1080_41.min1.thm12017-02-06 12:44 2.3K 
[ ]qc_lang4__1083_43.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1092_45.min1.thm12017-02-06 12:44 905  
[ ]qc_lang4__1093_15.min1.thm12017-02-06 12:44 602  
[ ]qc_lang4__1109_64.min1.thm12017-02-06 12:44 3.0K 
[ ]qc_lang4__1110_16.min1.thm12017-02-06 12:44 681  
[ ]qc_lang4__1114_49.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1117_19.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1122_47.min1.thm12017-02-06 12:44 2.1K 
[ ]qc_lang4__1128_19.min1.thm12017-02-06 12:44 778  
[ ]qc_lang4__1133_47.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__1150_41.min1.thm12017-02-06 12:44 2.3K 
[ ]qc_lang4__1153_43.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1175_17.min1.thm12017-02-06 12:44 254  
[ ]qc_lang4__1185_21.min1.thm12017-02-06 12:44 627  
[ ]qc_lang4__1186_32.min1.thm12017-02-06 12:44 865  
[ ]qc_lang4__1187_24.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1188_48.min1.thm12017-02-06 12:44 578  
[ ]qc_lang4__1189_43.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang4__1193_38.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1196_11.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1199_41.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__1200_21.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__1206_25.min1.thm12017-02-06 12:44 593  
[ ]qc_lang4__1208_22.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1212_27.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1218_27.min1.thm12017-02-06 12:44 2.2K 
[ ]qc_lang4__1223_27.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1226_20.min1.thm12017-02-06 12:44 840  
[ ]qc_lang4__1239_14.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang4__1243_19.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__1280_68.min1.thm12017-02-06 12:44 721  
[ ]qc_lang4__1283_41.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1285_21.min1.thm12017-02-06 12:44 417  
[ ]qc_lang4__1285_21.min1.thm1.tptp2017-02-06 16:47 335  
[ ]qc_lang4__1286_56.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1287_43.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1288_21.min1.thm12017-02-06 12:44 631  
[ ]qc_lang4__1289_17.min1.thm12017-02-06 12:44 255  
[ ]qc_lang4__1290_32.min1.thm12017-02-06 12:44 869  
[ ]qc_lang4__1291_24.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1292_48.min1.thm12017-02-06 12:44 581  
[ ]qc_lang4__1294_14.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1297_68.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang4__1300_38.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1301_55.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1305_69.min1.thm12017-02-06 12:44 726  
[ ]qc_lang4__1308_40.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__1309_64.min1.thm12017-02-06 12:44 486  
[ ]qc_lang4__1314_25.min1.thm12017-02-06 12:44 593  
[ ]qc_lang4__1316_22.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1320_27.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__1331_27.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__1334_20.min1.thm12017-02-06 12:44 844  
[ ]qc_lang4__1346_14.min1.thm12017-02-06 12:44 858  
[ ]qc_lang4__1347_70.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1351_69.min1.thm12017-02-06 12:44 703  
[ ]qc_lang4__1352_63.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang4__1354_19.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1382_50.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1397_36.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__1398_52.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1406_37.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__1407_57.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1408_53.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1412_41.min1.thm12017-02-06 12:44 742  
[ ]qc_lang4__1415_36.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__1417_71.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1419_36.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1420_52.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1422_10.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1423_52.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1428_16.min1.thm12017-02-06 12:44 747  
[ ]qc_lang4__1433_35.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__1434_64.min1.thm12017-02-06 12:44 787  
[ ]qc_lang4__1440_51.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1446_48.min1.thm12017-02-06 12:44 902  
[ ]qc_lang4__1455_42.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1456_64.min1.thm12017-02-06 12:44 929  
[ ]qc_lang4__1459_52.min1.thm12017-02-06 12:44 574  
[ ]qc_lang4__1464_38.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1465_56.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1467_14.min1.thm12017-02-06 12:44 574  
[ ]qc_lang4__1481_6.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1482_70.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1483_59.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1494_74.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1495_19.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1515_14.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1518_15.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1520_14.min1.thm12017-02-06 12:44 482  
[ ]qc_lang4__1537_11.min1.thm12017-02-06 12:44 553  
[ ]qc_lang4__1550_27.min1.thm12017-02-06 12:44 788  
[ ]qc_lang4__1551_43.min1.thm12017-02-06 12:44 937  
[ ]qc_lang4__1553_36.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1554_16.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__1566_69.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1579_27.min1.thm12017-02-06 12:44 788  
[ ]qc_lang4__1580_19.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang4__1587_35.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1588_17.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang4__1605_59.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1606_11.min1.thm12017-02-06 12:44 161  
[ ]qc_lang4__1607_19.min1.thm12017-02-06 12:44 968  
[ ]qc_lang4__1614_30.min1.thm12017-02-06 12:44 842  
[ ]qc_lang4__1615_19.min1.thm12017-02-06 12:44 804  
[ ]qc_lang4__1627_37.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1629_52.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1633_74.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__1636_37.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1637_17.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1648_37.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1650_52.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1654_4.min1.thm12017-02-06 12:44 935  
[ ]qc_lang4__1655_51.min1.thm12017-02-06 12:44 765  
[ ]qc_lang4__1682_39.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang4__1683_57.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang4__1703_39.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1704_65.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1705_16.min1.thm12017-02-06 12:44 390  
[ ]qc_lang4__1705_16.min1.thm1.tptp2017-02-06 16:47 308  
[ ]qc_lang4__1720_47.min1.thm12017-02-06 12:44 850  
[ ]qc_lang4__1733_72.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang4__1745_10.min1.thm12017-02-06 12:44 613  
[ ]qc_lang4__1746_39.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang4__1748_38.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang4__1749_57.min1.thm12017-02-06 12:44 2.2K 
[ ]qc_lang4__1752_13.min1.thm12017-02-06 12:44 544  
[ ]qc_lang4__1756_14.min1.thm12017-02-06 12:44 480  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80