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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__58_57.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__60_43.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__63_24.min1.thm12017-02-06 12:44 2.5K 
[ ]scpqsort__98_42.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__99_27.min1.thm12017-02-06 12:44 2.4K 
[ ]scpqsort__108_39.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__110_35.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__111_19.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__138_16.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__142_16.min1.thm12017-02-06 12:44 828  
[ ]scpqsort__143_21.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__145_24.min1.thm12017-02-06 12:44 732  
[ ]scpqsort__146_30.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__155_40.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__156_37.min1.thm12017-02-06 12:44 711  
[ ]scpqsort__164_28.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__171_22.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__173_7.min1.thm12017-02-06 12:44 3.7K 
[ ]scpqsort__178_10.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__183_30.min1.thm12017-02-06 12:44 476  
[ ]scpqsort__188_11.min1.thm12017-02-06 12:44 480  
[ ]scpqsort__189_11.min1.thm12017-02-06 12:44 480  
[ ]scpqsort__220_40.min1.thm12017-02-06 12:44 720  
[ ]scpqsort__226_23.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__230_35.min1.thm12017-02-06 12:44 861  
[ ]scpqsort__240_15.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__241_20.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__247_27.min1.thm12017-02-06 12:44 278  
[ ]scpqsort__265_14.min1.thm12017-02-06 12:44 589  
[ ]scpqsort__266_7.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__290_44.min1.thm12017-02-06 12:44 703  
[ ]scpqsort__290_44.min1.thm1.tptp2017-02-06 16:47 651  
[ ]scpqsort__304_17.min1.thm12017-02-06 12:44 269  
[ ]scpqsort__306_16.min1.thm12017-02-06 12:44 615  
[ ]scpqsort__307_17.min1.thm12017-02-06 12:44 269  
[ ]scpqsort__309_20.min1.thm12017-02-06 12:44 823  
[ ]scpqsort__319_9.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__321_9.min1.thm12017-02-06 12:44 899  
[ ]scpqsort__327_9.min1.thm12017-02-06 12:44 488  
[ ]scpqsort__327_9.min1.thm1.tptp2017-02-06 16:47 423  
[ ]scpqsort__329_16.min1.thm12017-02-06 12:44 398  
[ ]scpqsort__329_16.min1.thm1.tptp2017-02-06 16:47 333  
[ ]scpqsort__357_73.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__360_11.min1.thm12017-02-06 12:44 868  
[ ]scpqsort__360_11.min1.thm1.tptp2017-02-06 16:47 791  
[ ]scpqsort__379_17.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__380_13.min1.thm12017-02-06 12:44 326  
[ ]scpqsort__400_74.min1.thm12017-02-06 12:44 562  
[ ]scpqsort__406_14.min1.thm12017-02-06 12:44 780  
[ ]scpqsort__439_73.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__460_17.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__461_17.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__462_24.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__463_20.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__469_17.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__470_13.min1.thm12017-02-06 12:44 335  
[ ]scpqsort__482_28.min1.thm12017-02-06 12:44 3.5K 
[ ]scpqsort__492_12.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__495_74.min1.thm12017-02-06 12:44 585  
[ ]scpqsort__500_14.min1.thm12017-02-06 12:44 806  
[ ]scpqsort__526_16.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__529_22.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__535_17.min1.thm12017-02-06 12:44 211  
[ ]scpqsort__538_26.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__542_21.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__543_29.min1.thm12017-02-06 12:44 816  
[ ]scpqsort__548_20.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__552_23.min1.thm12017-02-06 12:44 739  
[ ]scpqsort__553_23.min1.thm12017-02-06 12:44 735  
[ ]scpqsort__554_29.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__558_21.min1.thm12017-02-06 12:44 215  
[ ]scpqsort__561_30.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__565_25.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__566_33.min1.thm12017-02-06 12:44 828  
[ ]scpqsort__571_26.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__623_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__707_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__737_43.min1.thm12017-02-06 12:44 900  
[ ]scpqsort__741_20.min1.thm12017-02-06 12:44 260  
[ ]scpqsort__747_41.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__750_32.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__758_44.min1.thm12017-02-06 12:44 970  
[ ]scpqsort__786_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__797_15.min1.thm12017-02-06 12:44 291  
[ ]scpqsort__828_20.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__829_52.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__831_27.min1.thm12017-02-06 12:44 2.2K 
[ ]scpqsort__832_25.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__879_18.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__881_19.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__889_18.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__895_31.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__898_19.min1.thm12017-02-06 12:44 2.4K 
[ ]scpqsort__908_32.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__930_45.min1.thm12017-02-06 12:44 2.7K 
[ ]scpqsort__931_66.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__932_19.min1.thm12017-02-06 12:44 284  
[ ]scpqsort__933_41.min1.thm12017-02-06 12:44 298  
[ ]scpqsort__934_40.min1.thm12017-02-06 12:44 368  
[ ]scpqsort__939_52.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__946_52.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__955_50.min1.thm12017-02-06 12:44 2.9K 
[ ]scpqsort__960_22.min1.thm12017-02-06 12:44 3.1K 
[ ]scpqsort__960_22.min1.thm1.tptp2017-02-06 16:47 3.0K 
[ ]scpqsort__961_19.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__967_18.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__969_19.min1.thm12017-02-06 12:44 289  
[ ]scpqsort__972_43.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__976_43.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__984_17.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__985_17.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__987_21.min1.thm12017-02-06 12:44 291  
[ ]scpqsort__990_43.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__994_43.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__997_28.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__1000_32.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__1005_18.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__1007_18.min1.thm12017-02-06 12:44 2.4K 
[ ]scpqsort__1012_37.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__1042_47.min1.thm12017-02-06 12:44 4.3K 
[ ]scpqsort__1043_66.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__1044_20.min1.thm12017-02-06 12:44 284  
[ ]scpqsort__1045_41.min1.thm12017-02-06 12:44 300  
[ ]scpqsort__1046_40.min1.thm12017-02-06 12:44 336  
[ ]scpqsort__1051_53.min1.thm12017-02-06 12:44 2.4K 
[ ]scpqsort__1058_52.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__1066_46.min1.thm12017-02-06 12:44 4.2K 
[ ]scpqsort__1069_52.min1.thm12017-02-06 12:44 5.0K 
[ ]scpqsort__1069_52.min1.thm1.tptp2017-02-06 16:47 5.0K 
[ ]scpqsort__1070_49.min1.thm12017-02-06 12:44 2.2K 
[ ]scpqsort__1078_21.min1.thm12017-02-06 12:44 260  
[ ]scpqsort__1081_43.min1.thm12017-02-06 12:44 2.4K 
[ ]scpqsort__1085_43.min1.thm12017-02-06 12:44 3.5K 
[ ]scpqsort__1090_27.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__1098_19.min1.thm12017-02-06 12:44 3.4K 
[ ]scpqsort__1100_21.min1.thm12017-02-06 12:44 292  
[ ]scpqsort__1103_43.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__1107_43.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__1110_28.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__1125_17.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__1128_27.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__1129_31.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1131_32.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__1133_16.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__1141_17.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1142_20.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__1144_17.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__1146_21.min1.thm12017-02-06 12:44 260  
[ ]scpqsort__1149_43.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__1153_43.min1.thm12017-02-06 12:44 2.2K 
[ ]scpqsort__1164_22.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__1167_19.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__1178_21.min1.thm12017-02-06 12:44 292  
[ ]scpqsort__1181_43.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__1185_43.min1.thm12017-02-06 12:44 2.9K 
[ ]scpqsort__1203_34.min1.thm12017-02-06 12:44 3.9K 
[ ]scpqsort__1203_34.min1.thm1.tptp2017-02-06 16:47 3.8K 
[ ]scpqsort__1204_41.min1.thm12017-02-06 12:44 2.7K 
[ ]scpqsort__1204_41.min1.thm1.tptp2017-02-06 16:47 2.6K 
[ ]scpqsort__1205_24.min1.thm12017-02-06 12:44 285  
[ ]scpqsort__1211_37.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1219_46.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__1220_47.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__1226_17.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__1227_19.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__1228_19.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__1230_21.min1.thm12017-02-06 12:44 260  
[ ]scpqsort__1233_42.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__1237_42.min1.thm12017-02-06 12:44 2.2K 
[ ]scpqsort__1248_20.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__1250_22.min1.thm12017-02-06 12:44 866  
[ ]scpqsort__1251_20.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__1252_27.min1.thm12017-02-06 12:44 866  
[ ]scpqsort__1268_24.min1.thm12017-02-06 12:44 652  
[ ]scpqsort__1271_26.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__1276_28.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__1282_24.min1.thm12017-02-06 12:44 652  
[ ]scpqsort__1285_29.min1.thm12017-02-06 12:44 2.2K 
[ ]scpqsort__1289_26.min1.thm12017-02-06 12:44 567  
[ ]scpqsort__1293_21.min1.thm12017-02-06 12:44 292  
[ ]scpqsort__1296_42.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__1300_42.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__1305_24.min1.thm12017-02-06 12:44 652  
[ ]scpqsort__1308_26.min1.thm12017-02-06 12:44 540  
[ ]scpqsort__1312_29.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__1316_21.min1.thm12017-02-06 12:44 260  
[ ]scpqsort__1319_42.min1.thm12017-02-06 12:44 2.4K 
[ ]scpqsort__1323_42.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__1332_22.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1342_33.min1.thm12017-02-06 12:44 2.8K 
[ ]scpqsort__1347_22.min1.thm12017-02-06 12:44 2.7K 
[ ]scpqsort__1347_22.min1.thm1.tptp2017-02-06 16:47 2.6K 
[ ]scpqsort__1372_13.min1.thm12017-02-06 12:44 255  
[ ]scpqsort__1399_25.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__1402_22.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__1407_32.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__1425_41.min1.thm12017-02-06 12:44 873  
[ ]scpqsort__1430_15.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__1431_15.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__1434_13.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__1628_40.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__1692_25.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__1693_19.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__1694_8.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1733_13.min1.thm12017-02-06 12:44 258  
[ ]scpqsort__1734_35.min1.thm12017-02-06 12:44 925  
[ ]scpqsort__1738_35.min1.thm12017-02-06 12:44 968  
[ ]scpqsort__1743_38.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1747_36.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__1758_36.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__1759_33.min1.thm12017-02-06 12:44 926  
[ ]scpqsort__1777_17.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1778_36.min1.thm12017-02-06 12:44 4.2K 
[ ]scpqsort__1779_18.min1.thm12017-02-06 12:44 248  
[ ]scpqsort__1786_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1789_21.min1.thm12017-02-06 12:44 771  
[ ]scpqsort__1796_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1799_21.min1.thm12017-02-06 12:44 895  
[ ]scpqsort__1806_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__1809_21.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__1834_36.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__1845_35.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__1848_20.min1.thm12017-02-06 12:44 875  
[ ]scpqsort__1851_30.min1.thm12017-02-06 12:44 2.6K 
[ ]scpqsort__1859_13.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__1882_16.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__1889_25.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__1917_16.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__1918_16.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__1928_25.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__1939_6.min1.thm12017-02-06 12:44 4.0K 
[ ]scpqsort__1956_36.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__2066_15.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__2068_14.min1.thm12017-02-06 12:44 2.2K 
[ ]scpqsort__2074_23.min1.thm12017-02-06 12:44 941  
[ ]scpqsort__2099_19.min1.thm12017-02-06 12:44 431  
[ ]scpqsort__2129_36.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__2133_15.min1.thm12017-02-06 12:44 527  
[ ]scpqsort__2177_49.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__2188_19.min1.thm12017-02-06 12:44 297  
[ ]scpqsort__2219_35.min1.thm12017-02-06 12:44 2.7K 
[ ]scpqsort__2220_38.min1.thm12017-02-06 12:44 3.1K 
[ ]scpqsort__2221_35.min1.thm12017-02-06 12:44 4.6K 
[ ]scpqsort__2222_38.min1.thm12017-02-06 12:44 3.1K 
[ ]scpqsort__2223_38.min1.thm12017-02-06 12:44 3.1K 
[ ]scpqsort__2228_53.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__2233_49.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__2235_36.min1.thm12017-02-06 12:44 4.9K 
[ ]scpqsort__2237_26.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__2261_14.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__2263_13.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__2269_22.min1.thm12017-02-06 12:44 933  
[ ]scpqsort__2296_17.min1.thm12017-02-06 12:44 417  
[ ]scpqsort__2330_31.min1.thm12017-02-06 12:44 2.6K 
[ ]scpqsort__2332_35.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__2335_35.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__2337_35.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__2342_49.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__2346_45.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__2348_15.min1.thm12017-02-06 12:44 429  
[ ]scpqsort__2354_26.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__2360_22.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__2361_24.min1.thm12017-02-06 12:44 2.6K 
[ ]scpqsort__2366_44.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__2371_36.min1.thm12017-02-06 12:44 5.5K 
[ ]scpqsort__2373_26.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__2377_44.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__2398_21.min1.thm12017-02-06 12:44 925  
[ ]scpqsort__2427_15.min1.thm12017-02-06 12:44 403  
[ ]scpqsort__2456_8.min1.thm12017-02-06 12:44 801  
[ ]scpqsort__2465_19.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__2466_8.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__2472_8.min1.thm12017-02-06 12:44 801  
[ ]scpqsort__2503_13.min1.thm12017-02-06 12:44 258  
[ ]scpqsort__2504_35.min1.thm12017-02-06 12:44 925  
[ ]scpqsort__2508_36.min1.thm12017-02-06 12:44 968  
[ ]scpqsort__2513_38.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__2517_36.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__2528_36.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__2552_36.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__2553_33.min1.thm12017-02-06 12:44 926  
[ ]scpqsort__2580_35.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__2584_17.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__2585_36.min1.thm12017-02-06 12:44 4.1K 
[ ]scpqsort__2586_18.min1.thm12017-02-06 12:44 248  
[ ]scpqsort__2593_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__2596_21.min1.thm12017-02-06 12:44 771  
[ ]scpqsort__2603_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__2606_21.min1.thm12017-02-06 12:44 895  
[ ]scpqsort__2613_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__2616_21.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__2620_20.min1.thm12017-02-06 12:44 875  
[ ]scpqsort__2623_30.min1.thm12017-02-06 12:44 2.6K 
[ ]scpqsort__2631_13.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__2654_16.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__2662_25.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__2687_16.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__2688_16.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__2698_25.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__2704_45.min1.thm12017-02-06 12:44 4.0K 
[ ]scpqsort__2718_36.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__2830_23.min1.thm12017-02-06 12:44 941  
[ ]scpqsort__2840_15.min1.thm12017-02-06 12:44 321  
[ ]scpqsort__2849_19.min1.thm12017-02-06 12:44 431  
[ ]scpqsort__2872_13.min1.thm12017-02-06 12:44 310  
[ ]scpqsort__2876_36.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__2883_15.min1.thm12017-02-06 12:44 415  
[ ]scpqsort__2886_28.min1.thm12017-02-06 12:44 4.2K 
[ ]scpqsort__2925_49.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__2930_25.min1.thm12017-02-06 12:44 506  
[ ]scpqsort__2938_19.min1.thm12017-02-06 12:44 297  
[ ]scpqsort__2941_52.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__2943_41.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__2968_35.min1.thm12017-02-06 12:44 2.6K 
[ ]scpqsort__2969_38.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__2970_35.min1.thm12017-02-06 12:44 4.5K 
[ ]scpqsort__2971_38.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__2972_38.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__2977_53.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__2981_49.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__2984_36.min1.thm12017-02-06 12:44 4.7K 
[ ]scpqsort__2985_37.min1.thm12017-02-06 12:44 4.7K 
[ ]scpqsort__2987_26.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__2989_65.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__2989_65.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]scpqsort__2990_47.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__3011_22.min1.thm12017-02-06 12:44 933  
[ ]scpqsort__3020_13.min1.thm12017-02-06 12:44 309  
[ ]scpqsort__3021_36.min1.thm12017-02-06 12:44 257  
[ ]scpqsort__3030_17.min1.thm12017-02-06 12:44 417  
[ ]scpqsort__3052_13.min1.thm12017-02-06 12:44 298  
[ ]scpqsort__3066_31.min1.thm12017-02-06 12:44 2.6K 
[ ]scpqsort__3068_35.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__3071_35.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__3073_35.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__3078_49.min1.thm12017-02-06 12:44 3.2K 
[ ]scpqsort__3082_44.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__3083_45.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__3085_15.min1.thm12017-02-06 12:44 403  
[ ]scpqsort__3092_22.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3093_26.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__3100_24.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3102_39.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__3105_33.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3111_36.min1.thm12017-02-06 12:44 5.3K 
[ ]scpqsort__3112_37.min1.thm12017-02-06 12:44 4.6K 
[ ]scpqsort__3114_26.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__3116_75.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3116_75.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]scpqsort__3118_40.min1.thm12017-02-06 12:44 3.2K 
[ ]scpqsort__3140_21.min1.thm12017-02-06 12:44 925  
[ ]scpqsort__3149_12.min1.thm12017-02-06 12:44 297  
[ ]scpqsort__3160_15.min1.thm12017-02-06 12:44 403  
[ ]scpqsort__3193_8.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__3199_8.min1.thm12017-02-06 12:44 808  
[ ]scpqsort__3214_8.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3240_13.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3250_13.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__3252_35.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__3255_16.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3259_38.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3263_24.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__3264_12.min1.thm12017-02-06 12:44 2.9K 
[ ]scpqsort__3269_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3275_38.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3276_16.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__3279_24.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__3282_13.min1.thm12017-02-06 12:44 753  
[ ]scpqsort__3294_15.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__3297_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3298_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3302_36.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__3307_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3314_36.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3317_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3318_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3339_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3340_34.min1.thm12017-02-06 12:44 926  
[ ]scpqsort__3341_15.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__3354_15.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__3357_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3362_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3365_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3404_36.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__3422_12.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3424_21.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__3434_21.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__3444_21.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__3452_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3455_21.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__3463_12.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3468_21.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__3476_12.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3481_21.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3490_21.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__3520_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__3536_15.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3559_15.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3569_11.min1.thm12017-02-06 12:44 213  
[ ]scpqsort__3580_35.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__3587_12.min1.thm12017-02-06 12:44 2.6K 
[ ]scpqsort__3587_12.min1.thm1.tptp2017-02-06 16:47 2.5K 
[ ]scpqsort__3590_12.min1.thm12017-02-06 12:44 2.6K 
[ ]scpqsort__3590_12.min1.thm1.tptp2017-02-06 16:47 2.5K 
[ ]scpqsort__3592_36.min1.thm12017-02-06 12:44 2.9K 
[ ]scpqsort__3622_25.min1.thm12017-02-06 12:44 3.4K 
[ ]scpqsort__3622_25.min1.thm1.tptp2017-02-06 16:47 3.3K 
[ ]scpqsort__3623_23.min1.thm12017-02-06 12:44 4.7K 
[ ]scpqsort__3627_12.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__3650_15.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__3669_15.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__3692_15.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3730_14.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__3731_17.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__3733_18.min1.thm12017-02-06 12:44 2.5K 
[ ]scpqsort__3736_15.min1.thm12017-02-06 12:44 2.4K 
[ ]scpqsort__3803_27.min1.thm12017-02-06 12:44 2.8K 
[ ]scpqsort__3814_20.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__3817_19.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__3818_23.min1.thm12017-02-06 12:44 2.2K 
[ ]scpqsort__3820_19.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__3845_19.min1.thm12017-02-06 12:44 279  
[ ]scpqsort__3857_24.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__3863_19.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__3869_19.min1.thm12017-02-06 12:44 2.2K 
[ ]scpqsort__3871_19.min1.thm12017-02-06 12:44 279  
[ ]scpqsort__3880_24.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__3892_39.min1.thm12017-02-06 12:44 2.9K 
[ ]scpqsort__3911_29.min1.thm12017-02-06 12:44 3.4K 
[ ]scpqsort__3911_29.min1.thm1.tptp2017-02-06 16:47 3.3K 
[ ]scpqsort__3912_27.min1.thm12017-02-06 12:44 4.7K 
[ ]scpqsort__3938_18.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__3959_19.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__3961_19.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__3983_11.min1.thm12017-02-06 12:44 229  
[ ]scpqsort__3986_19.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__3991_19.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__4006_14.min1.thm12017-02-06 12:44 570  
[ ]scpqsort__4009_19.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__4061_14.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__4064_21.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__4067_43.min1.thm12017-02-06 12:44 889  
[ ]scpqsort__4071_15.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__4073_21.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__4074_15.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__4075_15.min1.thm12017-02-06 12:44 411  
[ ]scpqsort__4079_30.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__4085_22.min1.thm12017-02-06 12:44 449  
[ ]scpqsort__4107_18.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__4110_18.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__4126_21.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__4160_14.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__4168_15.min1.thm12017-02-06 12:44 307  
[ ]scpqsort__4171_39.min1.thm12017-02-06 12:44 820  
[ ]scpqsort__4176_22.min1.thm12017-02-06 12:44 345  
[ ]scpqsort__4179_43.min1.thm12017-02-06 12:44 619  
[ ]scpqsort__4179_43.min1.thm1.tptp2017-02-06 16:47 539  
[ ]scpqsort__4183_43.min1.thm12017-02-06 12:44 619  
[ ]scpqsort__4183_43.min1.thm1.tptp2017-02-06 16:47 539  
[ ]scpqsort__4199_18.min1.thm12017-02-06 12:44 384  
[ ]scpqsort__4202_22.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__4203_39.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__4207_22.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__4208_39.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__4277_16.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__4279_15.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__4307_37.min1.thm12017-02-06 12:44 943  
[ ]scpqsort__4318_23.min1.thm12017-02-06 12:44 636  
[ ]scpqsort__4318_23.min1.thm1.tptp2017-02-06 16:47 554  
[ ]scpqsort__4347_36.min1.thm12017-02-06 12:44 3.8K 
[ ]scpqsort__4355_35.min1.thm12017-02-06 12:44 942  
[ ]scpqsort__4376_15.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__4403_24.min1.thm12017-02-06 12:44 10K 
[ ]scpqsort__4426_24.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__4454_25.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__4457_47.min1.thm12017-02-06 12:44 905  
[ ]scpqsort__4461_19.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__4462_19.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__4486_46.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__4496_21.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__4524_21.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__4532_31.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__4556_24.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__4558_23.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__4561_22.min1.thm12017-02-06 12:44 548  
[ ]scpqsort__4580_26.min1.thm12017-02-06 12:44 3.4K 
[ ]scpqsort__4602_25.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__4639_24.min1.thm12017-02-06 12:44 10K 
[ ]scpqsort__4735_35.min1.thm12017-02-06 12:44 935  
[ ]scpqsort__4746_21.min1.thm12017-02-06 12:44 614  
[ ]scpqsort__4746_21.min1.thm1.tptp2017-02-06 16:47 532  
[ ]scpqsort__4761_35.min1.thm12017-02-06 12:44 934  
[ ]scpqsort__4767_36.min1.thm12017-02-06 12:44 3.8K 
[ ]scpqsort__4788_20.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__4825_20.min1.thm12017-02-06 12:44 10K 
[ ]scpqsort__4856_19.min1.thm12017-02-06 12:44 7.1K 
[ ]scpqsort__4883_16.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__4885_14.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__4886_33.min1.thm12017-02-06 12:44 926  
[ ]scpqsort__4898_20.min1.thm12017-02-06 12:44 592  
[ ]scpqsort__4898_20.min1.thm1.tptp2017-02-06 16:47 510  
[ ]scpqsort__4934_13.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__4936_35.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__4939_24.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__4940_13.min1.thm12017-02-06 12:44 2.5K 
[ ]scpqsort__4941_15.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__4944_15.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__4949_35.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__4953_35.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__4958_18.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__4963_29.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__4976_36.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__4997_17.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__4999_21.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__5006_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5009_21.min1.thm12017-02-06 12:44 833  
[ ]scpqsort__5016_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5019_21.min1.thm12017-02-06 12:44 955  
[ ]scpqsort__5026_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5029_21.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__5048_17.min1.thm12017-02-06 12:44 4.0K 
[ ]scpqsort__5050_20.min1.thm12017-02-06 12:44 4.0K 
[ ]scpqsort__5053_17.min1.thm12017-02-06 12:44 4.0K 
[ ]scpqsort__5056_13.min1.thm12017-02-06 12:44 3.9K 
[ ]scpqsort__5115_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5133_19.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__5135_15.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5137_14.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5138_14.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5139_18.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__5196_32.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5222_35.min1.thm12017-02-06 12:44 4.3K 
[ ]scpqsort__5231_22.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__5234_41.min1.thm12017-02-06 12:44 873  
[ ]scpqsort__5238_14.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5239_24.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5242_14.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5243_34.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5257_24.min1.thm12017-02-06 12:44 8.2K 
[ ]scpqsort__5262_37.min1.thm12017-02-06 12:44 4.8K 
[ ]scpqsort__5270_14.min1.thm12017-02-06 12:44 5.2K 
[ ]scpqsort__5281_37.min1.thm12017-02-06 12:44 5.0K 
[ ]scpqsort__5282_14.min1.thm12017-02-06 12:44 5.2K 
[ ]scpqsort__5283_14.min1.thm12017-02-06 12:44 5.2K 
[ ]scpqsort__5297_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5329_20.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__5345_14.min1.thm12017-02-06 12:44 5.2K 
[ ]scpqsort__5350_25.min1.thm12017-02-06 12:44 8.5K 
[ ]scpqsort__5353_13.min1.thm12017-02-06 12:44 202  
[ ]scpqsort__5356_40.min1.thm12017-02-06 12:44 4.1K 
[ ]scpqsort__5356_40.min1.thm1.tptp2017-02-06 16:47 4.0K 
[ ]scpqsort__5368_40.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5384_13.min1.thm12017-02-06 12:44 206  
[ ]scpqsort__5394_20.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5417_15.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5419_18.min1.thm12017-02-06 12:44 492  
[ ]scpqsort__5438_18.min1.thm12017-02-06 12:44 492  
[ ]scpqsort__5471_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5487_15.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5492_19.min1.thm12017-02-06 12:44 4.6K 
[ ]scpqsort__5494_26.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__5502_8.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5505_19.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__5507_14.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__5526_15.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__5528_36.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__5531_36.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__5532_18.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__5535_16.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__5540_25.min1.thm12017-02-06 12:44 2.5K 
[ ]scpqsort__5544_22.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__5558_23.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__5591_14.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5593_17.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__5600_14.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5602_18.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__5609_23.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__5621_17.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5633_17.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5651_18.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5657_17.min1.thm12017-02-06 12:44 2.5K 
[ ]scpqsort__5669_17.min1.thm12017-02-06 12:44 2.9K 
[ ]scpqsort__5687_36.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__5690_17.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__5699_19.min1.thm12017-02-06 12:44 3.8K 
[ ]scpqsort__5714_25.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__5715_15.min1.thm12017-02-06 12:44 3.0K 
[ ]scpqsort__5717_28.min1.thm12017-02-06 12:44 4.0K 
[ ]scpqsort__5720_25.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__5721_15.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__5738_19.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__5739_19.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__5740_19.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__5745_14.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5746_38.min1.thm12017-02-06 12:44 3.4K 
[ ]scpqsort__5747_24.min1.thm12017-02-06 12:44 3.4K 
[ ]scpqsort__5748_24.min1.thm12017-02-06 12:44 2.9K 
[ ]scpqsort__5749_24.min1.thm12017-02-06 12:44 2.5K 
[ ]scpqsort__5750_24.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5751_23.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5782_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5804_20.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__5810_21.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__5812_19.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5814_18.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__5815_18.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5842_31.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5883_18.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__5884_16.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5885_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5887_16.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5892_23.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5895_43.min1.thm12017-02-06 12:44 881  
[ ]scpqsort__5899_15.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5900_26.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__5902_18.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__5903_15.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__5904_24.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5906_18.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__5913_18.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__5915_15.min1.thm12017-02-06 12:44 2.7K 
[ ]scpqsort__5916_18.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__5919_17.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__5921_19.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__5929_13.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__5944_18.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__5945_21.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__5946_23.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__5949_21.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__5950_20.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__5952_17.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__5973_16.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__5975_16.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__5985_15.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__6000_16.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__6002_15.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__6006_42.min1.thm12017-02-06 12:44 6.5K 
[ ]scpqsort__6013_20.min1.thm12017-02-06 12:44 686  
[ ]scpqsort__6019_20.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__6025_25.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__6026_28.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6028_24.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__6034_14.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__6035_14.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__6061_16.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__6063_37.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__6066_37.min1.thm12017-02-06 12:44 1.1K 
[ ]scpqsort__6067_18.min1.thm12017-02-06 12:44 1.0K 
[ ]scpqsort__6070_16.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__6071_18.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__6074_22.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__6088_23.min1.thm12017-02-06 12:44 1.6K 
[ ]scpqsort__6091_20.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__6106_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__6119_36.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__6122_37.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__6146_31.min1.thm12017-02-06 12:44 4.0K 
[ ]scpqsort__6147_44.min1.thm12017-02-06 12:44 3.7K 
[ ]scpqsort__6156_21.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__6158_18.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__6160_17.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__6161_17.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__6170_20.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6171_21.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6173_18.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__6175_17.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6176_17.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6200_26.min1.thm12017-02-06 12:44 2.9K 
[ ]scpqsort__6248_22.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__6260_18.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__6261_18.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__6267_19.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6273_21.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6274_23.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__6276_17.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6288_36.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__6410_21.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__6411_23.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__6413_17.min1.thm12017-02-06 12:44 2.1K 
[ ]scpqsort__6429_31.min1.thm12017-02-06 12:44 411  
[ ]scpqsort__6429_31.min1.thm1.tptp2017-02-06 16:47 323  
[ ]scpqsort__6463_20.min1.thm12017-02-06 12:44 700  
[ ]scpqsort__6466_23.min1.thm12017-02-06 12:44 373  
[ ]scpqsort__6470_25.min1.thm12017-02-06 12:44 1.7K 
[ ]scpqsort__6471_25.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__6472_28.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6475_20.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__6477_14.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__6486_33.min1.thm12017-02-06 12:44 1.5K 
[ ]scpqsort__6487_20.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__6493_16.min1.thm12017-02-06 12:44 2.4K 
[ ]scpqsort__6504_17.min1.thm12017-02-06 12:44 2.4K 
[ ]scpqsort__6505_17.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__6514_20.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__6526_14.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__6529_23.min1.thm12017-02-06 12:44 767  
[ ]scpqsort__6536_18.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6539_23.min1.thm12017-02-06 12:44 851  
[ ]scpqsort__6541_20.min1.thm12017-02-06 12:44 2.2K 
[ ]scpqsort__6548_23.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__6551_20.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6557_19.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6559_18.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__6569_23.min1.thm12017-02-06 12:44 813  
[ ]scpqsort__6586_36.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__6587_13.min1.thm12017-02-06 12:44 1.4K 
[ ]scpqsort__6590_18.min1.thm12017-02-06 12:44 3.3K 
[ ]scpqsort__6596_15.min1.thm12017-02-06 12:44 2.3K 
[ ]scpqsort__6664_18.min1.thm12017-02-06 12:44 448  
[ ]scpqsort__6667_27.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__6694_15.min1.thm12017-02-06 12:44 784  
[ ]scpqsort__6738_19.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__6739_16.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6741_18.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6742_17.min1.thm12017-02-06 12:44 2.0K 
[ ]scpqsort__6772_62.min1.thm12017-02-06 12:44 2.6K 
[ ]scpqsort__6776_20.min1.thm12017-02-06 12:44 1.9K 
[ ]scpqsort__6798_23.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6799_24.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6812_24.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6813_23.min1.thm12017-02-06 12:44 1.8K 
[ ]scpqsort__6828_15.min1.thm12017-02-06 12:44 784  
[ ]scpqsort__6831_25.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__6834_47.min1.thm12017-02-06 12:44 909  
[ ]scpqsort__6838_19.min1.thm12017-02-06 12:44 1.2K 
[ ]scpqsort__6839_19.min1.thm12017-02-06 12:44 1.3K 
[ ]scpqsort__6884_34.min1.thm12017-02-06 12:44 846  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80