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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]qc_lang2__41_24.min1.thm12017-02-06 12:44 677  
[ ]qc_lang2__42_17.min1.thm12017-02-06 12:44 824  
[ ]qc_lang2__58_42.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__68_23.min1.thm12017-02-06 12:44 931  
[ ]qc_lang2__69_37.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__70_17.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__76_27.min1.thm12017-02-06 12:44 869  
[ ]qc_lang2__77_17.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__84_19.min1.thm12017-02-06 12:44 2.1K 
[ ]qc_lang2__85_42.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__90_17.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang2__99_24.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__100_17.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__115_13.min1.thm12017-02-06 12:44 537  
[ ]qc_lang2__119_13.min1.thm12017-02-06 12:44 864  
[ ]qc_lang2__122_13.min1.thm12017-02-06 12:44 893  
[ ]qc_lang2__130_13.min1.thm12017-02-06 12:44 933  
[ ]qc_lang2__143_4.min1.thm12017-02-06 12:44 900  
[ ]qc_lang2__146_25.min1.thm12017-02-06 12:44 881  
[ ]qc_lang2__163_17.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__325_13.min1.thm12017-02-06 12:44 726  
[ ]qc_lang2__329_13.min1.thm12017-02-06 12:44 726  
[ ]qc_lang2__333_13.min1.thm12017-02-06 12:44 696  
[ ]qc_lang2__348_13.min1.thm12017-02-06 12:44 696  
[ ]qc_lang2__352_13.min1.thm12017-02-06 12:44 696  
[ ]qc_lang2__362_25.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__363_33.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__364_11.min1.thm12017-02-06 12:44 511  
[ ]qc_lang2__366_26.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__367_33.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__368_11.min1.thm12017-02-06 12:44 511  
[ ]qc_lang2__369_16.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__376_74.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__377_11.min1.thm12017-02-06 12:44 887  
[ ]qc_lang2__379_17.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__380_33.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__381_11.min1.thm12017-02-06 12:44 511  
[ ]qc_lang2__382_16.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__390_66.min1.thm12017-02-06 12:44 896  
[ ]qc_lang2__404_25.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__405_27.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__406_23.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__407_46.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__408_43.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__410_32.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__411_17.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__421_52.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__432_57.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__453_31.min1.thm12017-02-06 12:44 869  
[ ]qc_lang2__462_28.min1.thm12017-02-06 12:44 852  
[ ]qc_lang2__463_17.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__482_36.min1.thm12017-02-06 12:44 509  
[ ]qc_lang2__511_33.min1.thm12017-02-06 12:44 894  
[ ]qc_lang2__511_33.min1.thm1.tptp2017-02-06 16:47 839  
[ ]qc_lang2__531_56.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__534_24.min1.thm12017-02-06 12:44 686  
[ ]qc_lang2__536_27.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__549_26.min1.thm12017-02-06 12:44 688  
[ ]qc_lang2__551_27.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__555_58.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__568_16.min1.thm12017-02-06 12:44 938  
[ ]qc_lang2__572_61.min1.thm12017-02-06 12:44 639  
[ ]qc_lang2__579_29.min1.thm12017-02-06 12:44 884  
[ ]qc_lang2__581_27.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__583_28.min1.thm12017-02-06 12:44 690  
[ ]qc_lang2__598_17.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__610_28.min1.thm12017-02-06 12:44 690  
[ ]qc_lang2__617_56.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__631_17.min1.thm12017-02-06 12:44 920  
[ ]qc_lang2__639_37.min1.thm12017-02-06 12:44 808  
[ ]qc_lang2__640_17.min1.thm12017-02-06 12:44 961  
[ ]qc_lang2__648_65.min1.thm12017-02-06 12:44 675  
[ ]qc_lang2__649_17.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__657_45.min1.thm12017-02-06 12:44 675  
[ ]qc_lang2__678_39.min1.thm12017-02-06 12:44 906  
[ ]qc_lang2__680_50.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__693_15.min1.thm12017-02-06 12:44 228  
[ ]qc_lang2__700_14.min1.thm12017-02-06 12:44 751  
[ ]qc_lang2__704_38.min1.thm12017-02-06 12:44 2.1K 
[ ]qc_lang2__705_17.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang2__714_13.min1.thm12017-02-06 12:44 261  
[ ]qc_lang2__714_13.min1.thm1.tptp2017-02-06 16:47 175  
[ ]qc_lang2__715_19.min1.thm12017-02-06 12:44 710  
[ ]qc_lang2__716_27.min1.thm12017-02-06 12:44 777  
[ ]qc_lang2__722_14.min1.thm12017-02-06 12:44 805  
[ ]qc_lang2__723_16.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__724_15.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__725_34.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__726_16.min1.thm12017-02-06 12:44 279  
[ ]qc_lang2__734_31.min1.thm12017-02-06 12:44 715  
[ ]qc_lang2__736_22.min1.thm12017-02-06 12:44 306  
[ ]qc_lang2__769_37.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang2__770_19.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__773_15.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__774_20.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__776_17.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__777_9.min1.thm12017-02-06 12:44 659  
[ ]qc_lang2__779_35.min1.thm12017-02-06 12:44 453  
[ ]qc_lang2__780_28.min1.thm12017-02-06 12:44 2.2K 
[ ]qc_lang2__781_19.min1.thm12017-02-06 12:44 2.8K 
[ ]qc_lang2__796_15.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__797_20.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__799_16.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__800_35.min1.thm12017-02-06 12:44 453  
[ ]qc_lang2__801_25.min1.thm12017-02-06 12:44 2.2K 
[ ]qc_lang2__802_19.min1.thm12017-02-06 12:44 2.8K 
[ ]qc_lang2__817_25.min1.thm12017-02-06 12:44 727  
[ ]qc_lang2__825_10.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__826_20.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__828_16.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__829_25.min1.thm12017-02-06 12:44 728  
[ ]qc_lang2__837_35.min1.thm12017-02-06 12:44 453  
[ ]qc_lang2__838_50.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang2__843_23.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__844_19.min1.thm12017-02-06 12:44 2.4K 
[ ]qc_lang2__845_25.min1.thm12017-02-06 12:44 2.2K 
[ ]qc_lang2__849_22.min1.thm12017-02-06 12:44 2.2K 
[ ]qc_lang2__856_24.min1.thm12017-02-06 12:44 1.7K 
[ ]qc_lang2__857_25.min1.thm12017-02-06 12:44 2.3K 
[ ]qc_lang2__858_24.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__859_24.min1.thm12017-02-06 12:44 881  
[ ]qc_lang2__861_17.min1.thm12017-02-06 12:44 862  
[ ]qc_lang2__862_20.min1.thm12017-02-06 12:44 761  
[ ]qc_lang2__864_22.min1.thm12017-02-06 12:44 3.1K 
[ ]qc_lang2__872_18.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang2__877_23.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang2__878_24.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__879_19.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__881_70.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__887_19.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang2__891_22.min1.thm12017-02-06 12:44 3.0K 
[ ]qc_lang2__895_40.min1.thm12017-02-06 12:44 468  
[ ]qc_lang2__896_34.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang2__901_62.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang2__911_27.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__916_22.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__921_19.min1.thm12017-02-06 12:44 3.0K 
[ ]qc_lang2__923_20.min1.thm12017-02-06 12:44 848  
[ ]qc_lang2__936_34.min1.thm12017-02-06 12:44 799  
[ ]qc_lang2__939_41.min1.thm12017-02-06 12:44 803  
[ ]qc_lang2__940_41.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__941_21.min1.thm12017-02-06 12:44 735  
[ ]qc_lang2__943_19.min1.thm12017-02-06 12:44 414  
[ ]qc_lang2__943_19.min1.thm1.tptp2017-02-06 16:47 326  
[ ]qc_lang2__945_17.min1.thm12017-02-06 12:44 410  
[ ]qc_lang2__945_17.min1.thm1.tptp2017-02-06 16:47 322  
[ ]qc_lang2__956_37.min1.thm12017-02-06 12:44 795  
[ ]qc_lang2__958_22.min1.thm12017-02-06 12:44 847  
[ ]qc_lang2__959_32.min1.thm12017-02-06 12:44 795  
[ ]qc_lang2__981_65.min1.thm12017-02-06 12:44 646  
[ ]qc_lang2__981_65.min1.thm1.tptp2017-02-06 16:47 631  
[ ]qc_lang2__1008_53.min1.thm12017-02-06 12:44 1.7K 
[ ]qc_lang2__1009_31.min1.thm12017-02-06 12:44 937  
[ ]qc_lang2__1010_16.min1.thm12017-02-06 12:44 1.7K 
[ ]qc_lang2__1018_45.min1.thm12017-02-06 12:44 839  
[ ]qc_lang2__1033_42.min1.thm12017-02-06 12:44 559  
[ ]qc_lang2__1034_73.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1043_15.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1044_20.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1046_16.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1047_35.min1.thm12017-02-06 12:44 453  
[ ]qc_lang2__1048_50.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang2__1051_13.min1.thm12017-02-06 12:44 926  
[ ]qc_lang2__1052_23.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__1057_27.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1058_23.min1.thm12017-02-06 12:44 729  
[ ]qc_lang2__1060_19.min1.thm12017-02-06 12:44 719  
[ ]qc_lang2__1061_14.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang2__1066_19.min1.thm12017-02-06 12:44 2.4K 
[ ]qc_lang2__1071_15.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1074_69.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1076_28.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang2__1083_38.min1.thm12017-02-06 12:44 743  
[ ]qc_lang2__1084_17.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1088_72.min1.thm12017-02-06 12:44 671  
[ ]qc_lang2__1095_10.min1.thm12017-02-06 12:44 830  
[ ]qc_lang2__1097_36.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__1106_15.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1107_20.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1109_16.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1110_35.min1.thm12017-02-06 12:44 453  
[ ]qc_lang2__1111_23.min1.thm12017-02-06 12:44 2.2K 
[ ]qc_lang2__1112_19.min1.thm12017-02-06 12:44 2.8K 
[ ]qc_lang2__1116_50.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang2__1121_13.min1.thm12017-02-06 12:44 933  
[ ]qc_lang2__1122_25.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__1127_29.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1128_25.min1.thm12017-02-06 12:44 742  
[ ]qc_lang2__1130_21.min1.thm12017-02-06 12:44 728  
[ ]qc_lang2__1131_21.min1.thm12017-02-06 12:44 2.3K 
[ ]qc_lang2__1136_17.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1139_69.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1141_30.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang2__1151_74.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1153_17.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__1159_43.min1.thm12017-02-06 12:44 758  
[ ]qc_lang2__1170_15.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1171_20.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1173_16.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1174_35.min1.thm12017-02-06 12:44 453  
[ ]qc_lang2__1175_50.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang2__1178_13.min1.thm12017-02-06 12:44 929  
[ ]qc_lang2__1179_23.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__1184_27.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1185_23.min1.thm12017-02-06 12:44 729  
[ ]qc_lang2__1187_19.min1.thm12017-02-06 12:44 721  
[ ]qc_lang2__1188_14.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang2__1193_19.min1.thm12017-02-06 12:44 2.4K 
[ ]qc_lang2__1198_15.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1201_69.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1203_28.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang2__1210_39.min1.thm12017-02-06 12:44 942  
[ ]qc_lang2__1220_51.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__1222_42.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1226_38.min1.thm12017-02-06 12:44 743  
[ ]qc_lang2__1227_17.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1236_59.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__1238_48.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1242_74.min1.thm12017-02-06 12:44 930  
[ ]qc_lang2__1244_17.min1.thm12017-02-06 12:44 1.7K 
[ ]qc_lang2__1251_17.min1.thm12017-02-06 12:44 920  
[ ]qc_lang2__1258_57.min1.thm12017-02-06 12:44 806  
[ ]qc_lang2__1259_17.min1.thm12017-02-06 12:44 828  
[ ]qc_lang2__1268_58.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1269_17.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1276_54.min1.thm12017-02-06 12:44 806  
[ ]qc_lang2__1277_17.min1.thm12017-02-06 12:44 828  
[ ]qc_lang2__1288_46.min1.thm12017-02-06 12:44 853  
[ ]qc_lang2__1291_13.min1.thm12017-02-06 12:44 574  
[ ]qc_lang2__1306_13.min1.thm12017-02-06 12:44 638  
[ ]qc_lang2__1315_47.min1.thm12017-02-06 12:44 815  
[ ]qc_lang2__1316_39.min1.thm12017-02-06 12:44 878  
[ ]qc_lang2__1317_19.min1.thm12017-02-06 12:44 596  
[ ]qc_lang2__1319_51.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1320_52.min1.thm12017-02-06 12:44 787  
[ ]qc_lang2__1321_17.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1345_39.min1.thm12017-02-06 12:44 548  
[ ]qc_lang2__1348_18.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1365_46.min1.thm12017-02-06 12:44 830  
[ ]qc_lang2__1366_14.min1.thm12017-02-06 12:44 339  
[ ]qc_lang2__1378_28.min1.thm12017-02-06 12:44 736  
[ ]qc_lang2__1379_26.min1.thm12017-02-06 12:44 968  
[ ]qc_lang2__1380_17.min1.thm12017-02-06 12:44 834  
[ ]qc_lang2__1384_62.min1.thm12017-02-06 12:44 724  
[ ]qc_lang2__1384_62.min1.thm1.tptp2017-02-06 16:47 711  
[ ]qc_lang2__1395_34.min1.thm12017-02-06 12:44 782  
[ ]qc_lang2__1396_19.min1.thm12017-02-06 12:44 604  
[ ]qc_lang2__1397_19.min1.thm12017-02-06 12:44 442  
[ ]qc_lang2__1401_22.min1.thm12017-02-06 12:44 363  
[ ]qc_lang2__1401_22.min1.thm1.tptp2017-02-06 16:47 298  
[ ]qc_lang2__1402_17.min1.thm12017-02-06 12:44 852  
[ ]qc_lang2__1415_14.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1416_19.min1.thm12017-02-06 12:44 506  
[ ]qc_lang2__1420_17.min1.thm12017-02-06 12:44 427  
[ ]qc_lang2__1420_17.min1.thm1.tptp2017-02-06 16:47 362  
[ ]qc_lang2__1432_41.min1.thm12017-02-06 12:44 635  
[ ]qc_lang2__1433_19.min1.thm12017-02-06 12:44 466  
[ ]qc_lang2__1433_19.min1.thm1.tptp2017-02-06 16:47 412  
[ ]qc_lang2__1439_36.min1.thm12017-02-06 12:44 456  
[ ]qc_lang2__1439_36.min1.thm1.tptp2017-02-06 16:47 402  
[ ]qc_lang2__1440_41.min1.thm12017-02-06 12:44 692  
[ ]qc_lang2__1441_33.min1.thm12017-02-06 12:44 838  
[ ]qc_lang2__1442_17.min1.thm12017-02-06 12:44 871  
[ ]qc_lang2__1457_47.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1458_34.min1.thm12017-02-06 12:44 779  
[ ]qc_lang2__1459_33.min1.thm12017-02-06 12:44 856  
[ ]qc_lang2__1461_50.min1.thm12017-02-06 12:44 632  
[ ]qc_lang2__1462_19.min1.thm12017-02-06 12:44 604  
[ ]qc_lang2__1462_19.min1.thm1.tptp2017-02-06 16:47 542  
[ ]qc_lang2__1470_27.min1.thm12017-02-06 12:44 740  
[ ]qc_lang2__1471_44.min1.thm12017-02-06 12:44 905  
[ ]qc_lang2__1472_45.min1.thm12017-02-06 12:44 832  
[ ]qc_lang2__1473_38.min1.thm12017-02-06 12:44 844  
[ ]qc_lang2__1474_38.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1475_19.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1479_23.min1.thm12017-02-06 12:44 399  
[ ]qc_lang2__1479_23.min1.thm1.tptp2017-02-06 16:47 334  
[ ]qc_lang2__1480_19.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1482_17.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1497_47.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1498_58.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1499_54.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1500_50.min1.thm12017-02-06 12:44 586  
[ ]qc_lang2__1500_50.min1.thm1.tptp2017-02-06 16:47 524  
[ ]qc_lang2__1502_67.min1.thm12017-02-06 12:44 782  
[ ]qc_lang2__1504_19.min1.thm12017-02-06 12:44 754  
[ ]qc_lang2__1504_19.min1.thm1.tptp2017-02-06 16:47 692  
[ ]qc_lang2__1510_23.min1.thm12017-02-06 12:44 431  
[ ]qc_lang2__1510_23.min1.thm1.tptp2017-02-06 16:47 366  
[ ]qc_lang2__1511_19.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1517_27.min1.thm12017-02-06 12:44 740  
[ ]qc_lang2__1518_44.min1.thm12017-02-06 12:44 723  
[ ]qc_lang2__1519_45.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1520_38.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1521_38.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1522_19.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1528_28.min1.thm12017-02-06 12:44 740  
[ ]qc_lang2__1529_44.min1.thm12017-02-06 12:44 723  
[ ]qc_lang2__1530_45.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1531_38.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1532_38.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1533_19.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1536_18.min1.thm12017-02-06 12:44 550  
[ ]qc_lang2__1537_17.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__1553_34.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1554_33.min1.thm12017-02-06 12:44 856  
[ ]qc_lang2__1556_51.min1.thm12017-02-06 12:44 664  
[ ]qc_lang2__1557_19.min1.thm12017-02-06 12:44 636  
[ ]qc_lang2__1557_19.min1.thm1.tptp2017-02-06 16:47 574  
[ ]qc_lang2__1565_27.min1.thm12017-02-06 12:44 740  
[ ]qc_lang2__1566_45.min1.thm12017-02-06 12:44 760  
[ ]qc_lang2__1574_24.min1.thm12017-02-06 12:44 431  
[ ]qc_lang2__1574_24.min1.thm1.tptp2017-02-06 16:47 366  
[ ]qc_lang2__1577_17.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1584_74.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__1587_4.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1589_13.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1591_11.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1593_14.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1595_15.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1597_9.min1.thm12017-02-06 12:44 952  
[ ]qc_lang2__1598_76.min1.thm12017-02-06 12:44 920  
[ ]qc_lang2__1607_8.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__1609_18.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__1611_27.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1613_33.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__1615_39.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1617_39.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1619_27.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1621_27.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1623_28.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1625_23.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1627_24.min1.thm12017-02-06 12:44 1.2K 
[ ]qc_lang2__1629_23.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1637_13.min1.thm12017-02-06 12:44 1.4K 
[ ]qc_lang2__1639_40.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__1642_11.min1.thm12017-02-06 12:44 2.0K 
[ ]qc_lang2__1645_13.min1.thm12017-02-06 12:44 1.9K 
[ ]qc_lang2__1648_14.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang2__1648_14.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]qc_lang2__1651_13.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang2__1651_13.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]qc_lang2__1653_50.min1.thm12017-02-06 12:44 1.8K 
[ ]qc_lang2__1655_51.min1.thm12017-02-06 12:44 1.6K 
[ ]qc_lang2__1657_46.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__1666_19.min1.thm12017-02-06 12:44 827  
[ ]qc_lang2__1668_68.min1.thm12017-02-06 12:44 628  
[ ]qc_lang2__1674_54.min1.thm12017-02-06 12:44 835  
[ ]qc_lang2__1675_55.min1.thm12017-02-06 12:44 832  
[ ]qc_lang2__1676_48.min1.thm12017-02-06 12:44 844  
[ ]qc_lang2__1678_41.min1.thm12017-02-06 12:44 886  
[ ]qc_lang2__1679_41.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang2__1685_59.min1.thm12017-02-06 12:44 1.1K 
[ ]qc_lang2__1686_60.min1.thm12017-02-06 12:44 832  
[ ]qc_lang2__1687_53.min1.thm12017-02-06 12:44 844  
[ ]qc_lang2__1689_46.min1.thm12017-02-06 12:44 886  
[ ]qc_lang2__1690_46.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang2__1695_56.min1.thm12017-02-06 12:44 782  
[ ]qc_lang2__1698_6.min1.thm12017-02-06 12:44 1.5K 
[ ]qc_lang2__1701_50.min1.thm12017-02-06 12:44 829  
[ ]qc_lang2__1702_43.min1.thm12017-02-06 12:44 842  
[ ]qc_lang2__1704_38.min1.thm12017-02-06 12:44 884  
[ ]qc_lang2__1705_36.min1.thm12017-02-06 12:44 2.5K 
[ ]qc_lang2__1713_37.min1.thm12017-02-06 12:44 808  
[ ]qc_lang2__1714_17.min1.thm12017-02-06 12:44 1.0K 
[ ]qc_lang2__1722_66.min1.thm12017-02-06 12:44 675  
[ ]qc_lang2__1723_17.min1.thm12017-02-06 12:44 1.3K 
[ ]qc_lang2__1730_44.min1.thm12017-02-06 12:44 675  
[ ]qc_lang2__1742_56.min1.thm12017-02-06 12:44 916  
[ ]qc_lang2__1744_27.min1.thm12017-02-06 12:44 790  
[ ]qc_lang2__1745_25.min1.thm12017-02-06 12:44 739  
[ ]qc_lang2__1746_30.min1.thm12017-02-06 12:44 968  
[ ]qc_lang2__1747_17.min1.thm12017-02-06 12:44 769  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80