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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]compl_sp__72_28.min1.thm12017-02-06 12:45 562  
[ ]compl_sp__73_33.min1.thm12017-02-06 12:45 358  
[ ]compl_sp__73_33.min1.thm1.tptp2017-02-06 16:48 280  
[ ]compl_sp__74_35.min1.thm12017-02-06 12:45 781  
[ ]compl_sp__80_13.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__81_13.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__82_29.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__86_42.min1.thm12017-02-06 12:45 932  
[ ]compl_sp__87_16.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__91_19.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__108_43.min1.thm12017-02-06 12:45 792  
[ ]compl_sp__110_17.min1.thm12017-02-06 12:45 2.8K 
[ ]compl_sp__116_15.min1.thm12017-02-06 12:45 384  
[ ]compl_sp__117_19.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__126_33.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__127_18.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__143_21.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__164_21.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__174_21.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__197_21.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__216_26.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__217_25.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__232_20.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__234_22.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__249_18.min1.thm12017-02-06 12:45 825  
[ ]compl_sp__252_24.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__257_19.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__259_19.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__263_28.min1.thm12017-02-06 12:45 870  
[ ]compl_sp__289_70.min1.thm12017-02-06 12:45 407  
[ ]compl_sp__289_70.min1.thm1.tptp2017-02-06 16:48 330  
[ ]compl_sp__292_19.min1.thm12017-02-06 12:45 614  
[ ]compl_sp__300_13.min1.thm12017-02-06 12:45 870  
[ ]compl_sp__301_32.min1.thm12017-02-06 12:45 518  
[ ]compl_sp__302_24.min1.thm12017-02-06 12:45 705  
[ ]compl_sp__303_19.min1.thm12017-02-06 12:45 758  
[ ]compl_sp__312_32.min1.thm12017-02-06 12:45 552  
[ ]compl_sp__313_24.min1.thm12017-02-06 12:45 870  
[ ]compl_sp__314_16.min1.thm12017-02-06 12:45 867  
[ ]compl_sp__319_16.min1.thm12017-02-06 12:45 810  
[ ]compl_sp__320_28.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__321_16.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__336_34.min1.thm12017-02-06 12:45 594  
[ ]compl_sp__343_19.min1.thm12017-02-06 12:45 659  
[ ]compl_sp__348_22.min1.thm12017-02-06 12:45 643  
[ ]compl_sp__349_35.min1.thm12017-02-06 12:45 805  
[ ]compl_sp__351_19.min1.thm12017-02-06 12:45 779  
[ ]compl_sp__355_20.min1.thm12017-02-06 12:45 801  
[ ]compl_sp__356_17.min1.thm12017-02-06 12:45 639  
[ ]compl_sp__377_15.min1.thm12017-02-06 12:45 380  
[ ]compl_sp__378_26.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__382_15.min1.thm12017-02-06 12:45 380  
[ ]compl_sp__383_24.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__385_34.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__387_52.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__388_17.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__397_30.min1.thm12017-02-06 12:45 927  
[ ]compl_sp__398_16.min1.thm12017-02-06 12:45 774  
[ ]compl_sp__398_16.min1.thm1.tptp2017-02-06 16:48 708  
[ ]compl_sp__404_30.min1.thm12017-02-06 12:45 927  
[ ]compl_sp__405_16.min1.thm12017-02-06 12:45 774  
[ ]compl_sp__405_16.min1.thm1.tptp2017-02-06 16:48 708  
[ ]compl_sp__415_30.min1.thm12017-02-06 12:45 961  
[ ]compl_sp__416_16.min1.thm12017-02-06 12:45 921  
[ ]compl_sp__422_30.min1.thm12017-02-06 12:45 961  
[ ]compl_sp__423_16.min1.thm12017-02-06 12:45 921  
[ ]compl_sp__444_28.min1.thm12017-02-06 12:45 661  
[ ]compl_sp__445_33.min1.thm12017-02-06 12:45 364  
[ ]compl_sp__445_33.min1.thm1.tptp2017-02-06 16:48 286  
[ ]compl_sp__451_43.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__453_20.min1.thm12017-02-06 12:45 891  
[ ]compl_sp__458_17.min1.thm12017-02-06 12:45 396  
[ ]compl_sp__461_32.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__462_26.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__466_17.min1.thm12017-02-06 12:45 396  
[ ]compl_sp__469_19.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__475_28.min1.thm12017-02-06 12:45 661  
[ ]compl_sp__476_33.min1.thm12017-02-06 12:45 364  
[ ]compl_sp__476_33.min1.thm1.tptp2017-02-06 16:48 286  
[ ]compl_sp__482_43.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__484_20.min1.thm12017-02-06 12:45 891  
[ ]compl_sp__489_17.min1.thm12017-02-06 12:45 396  
[ ]compl_sp__492_37.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__493_24.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__494_28.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__498_17.min1.thm12017-02-06 12:45 396  
[ ]compl_sp__499_21.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__502_19.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__519_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__527_19.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__535_20.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__541_19.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__558_11.min1.thm12017-02-06 12:45 189  
[ ]compl_sp__582_20.min1.thm12017-02-06 12:45 869  
[ ]compl_sp__587_17.min1.thm12017-02-06 12:45 481  
[ ]compl_sp__587_17.min1.thm1.tptp2017-02-06 16:48 427  
[ ]compl_sp__588_20.min1.thm12017-02-06 12:45 869  
[ ]compl_sp__593_17.min1.thm12017-02-06 12:45 481  
[ ]compl_sp__593_17.min1.thm1.tptp2017-02-06 16:48 427  
[ ]compl_sp__606_16.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__610_21.min1.thm12017-02-06 12:45 947  
[ ]compl_sp__620_18.min1.thm12017-02-06 12:45 886  
[ ]compl_sp__621_29.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__625_14.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__626_14.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__632_19.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__654_42.min1.thm12017-02-06 12:45 780  
[ ]compl_sp__663_36.min1.thm12017-02-06 12:45 505  
[ ]compl_sp__663_36.min1.thm1.tptp2017-02-06 16:48 427  
[ ]compl_sp__672_41.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__676_15.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__682_15.min1.thm12017-02-06 12:45 380  
[ ]compl_sp__686_26.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__688_59.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__706_14.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__719_17.min1.thm12017-02-06 12:45 388  
[ ]compl_sp__730_20.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__731_23.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__734_29.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__737_6.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__744_31.min1.thm12017-02-06 12:45 399  
[ ]compl_sp__746_13.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__777_20.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__778_23.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__783_33.min1.thm12017-02-06 12:45 3.0K 
[ ]compl_sp__787_25.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__791_13.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__795_34.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__796_26.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__797_26.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__801_13.min1.thm12017-02-06 12:45 373  
[ ]compl_sp__824_18.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__827_25.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__829_25.min1.thm12017-02-06 12:45 381  
[ ]compl_sp__829_25.min1.thm1.tptp2017-02-06 16:48 304  
[ ]compl_sp__830_21.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__831_21.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__837_17.min1.thm12017-02-06 12:45 388  
[ ]compl_sp__838_25.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__841_27.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__843_40.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__858_17.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__869_22.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__887_27.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__888_24.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__890_19.min1.thm12017-02-06 12:45 390  
[ ]compl_sp__890_19.min1.thm1.tptp2017-02-06 16:48 313  
[ ]compl_sp__891_26.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__892_31.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__903_20.min1.thm12017-02-06 12:45 722  
[ ]compl_sp__905_16.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__910_17.min1.thm12017-02-06 12:45 784  
[ ]compl_sp__914_22.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__939_40.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__940_18.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__945_44.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__946_17.min1.thm12017-02-06 12:45 380  
[ ]compl_sp__947_16.min1.thm12017-02-06 12:45 892  
[ ]compl_sp__948_19.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__950_16.min1.thm12017-02-06 12:45 591  
[ ]compl_sp__951_15.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__957_21.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__958_46.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__959_16.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__960_15.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__964_23.min1.thm12017-02-06 12:45 693  
[ ]compl_sp__966_14.min1.thm12017-02-06 12:45 889  
[ ]compl_sp__967_15.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__968_17.min1.thm12017-02-06 12:45 525  
[ ]compl_sp__989_12.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__990_26.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__991_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1000_12.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1001_24.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__1002_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1024_16.min1.thm12017-02-06 12:45 861  
[ ]compl_sp__1025_22.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__1026_19.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1034_41.min1.thm12017-02-06 12:45 780  
[ ]compl_sp__1037_47.min1.thm12017-02-06 12:45 702  
[ ]compl_sp__1055_15.min1.thm12017-02-06 12:45 2.9K 
[ ]compl_sp__1060_30.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__1076_14.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__1077_22.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__1080_18.min1.thm12017-02-06 12:45 928  
[ ]compl_sp__1083_19.min1.thm12017-02-06 12:45 700  
[ ]compl_sp__1092_43.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__1097_25.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1100_19.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1108_15.min1.thm12017-02-06 12:45 423  
[ ]compl_sp__1108_15.min1.thm1.tptp2017-02-06 16:48 342  
[ ]compl_sp__1109_47.min1.thm12017-02-06 12:45 702  
[ ]compl_sp__1110_19.min1.thm12017-02-06 12:45 469  
[ ]compl_sp__1113_15.min1.thm12017-02-06 12:45 380  
[ ]compl_sp__1114_19.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1122_16.min1.thm12017-02-06 12:45 380  
[ ]compl_sp__1123_15.min1.thm12017-02-06 12:45 423  
[ ]compl_sp__1123_15.min1.thm1.tptp2017-02-06 16:48 342  
[ ]compl_sp__1124_47.min1.thm12017-02-06 12:45 702  
[ ]compl_sp__1126_19.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1129_13.min1.thm12017-02-06 12:45 373  
[ ]compl_sp__1130_17.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1145_29.min1.thm12017-02-06 12:45 774  
[ ]compl_sp__1156_50.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1165_43.min1.thm12017-02-06 12:45 788  
[ ]compl_sp__1171_20.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__1181_14.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1182_39.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__1183_17.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__1196_65.min1.thm12017-02-06 12:45 618  
[ ]compl_sp__1196_65.min1.thm1.tptp2017-02-06 16:48 540  
[ ]compl_sp__1197_24.min1.thm12017-02-06 12:45 846  
[ ]compl_sp__1200_73.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__1208_19.min1.thm12017-02-06 12:45 905  
[ ]compl_sp__1212_23.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__1216_19.min1.thm12017-02-06 12:45 522  
[ ]compl_sp__1216_19.min1.thm1.tptp2017-02-06 16:48 445  
[ ]compl_sp__1226_23.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__1228_21.min1.thm12017-02-06 12:45 464  
[ ]compl_sp__1229_34.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__1235_40.min1.thm12017-02-06 12:45 556  
[ ]compl_sp__1241_45.min1.thm12017-02-06 12:45 796  
[ ]compl_sp__1251_45.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__1261_18.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__1262_26.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__1269_22.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1272_27.min1.thm12017-02-06 12:45 941  
[ ]compl_sp__1283_33.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__1291_40.min1.thm12017-02-06 12:45 957  
[ ]compl_sp__1292_19.min1.thm12017-02-06 12:45 396  
[ ]compl_sp__1294_21.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__1295_25.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1298_22.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__1303_19.min1.thm12017-02-06 12:45 396  
[ ]compl_sp__1305_25.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__1306_26.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__1310_8.min1.thm12017-02-06 12:45 2.7K 
[ ]compl_sp__1322_24.min1.thm12017-02-06 12:45 870  
[ ]compl_sp__1336_25.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__1338_21.min1.thm12017-02-06 12:45 547  
[ ]compl_sp__1339_35.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__1343_29.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1344_28.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__1349_20.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__1354_29.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__1358_43.min1.thm12017-02-06 12:45 3.0K 
[ ]compl_sp__1359_33.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1362_18.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1365_12.min1.thm12017-02-06 12:45 394  
[ ]compl_sp__1365_12.min1.thm1.tptp2017-02-06 16:48 325  
[ ]compl_sp__1379_18.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__1380_27.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__1381_28.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__1391_23.min1.thm12017-02-06 12:45 907  
[ ]compl_sp__1392_21.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__1396_19.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1399_20.min1.thm12017-02-06 12:45 423  
[ ]compl_sp__1399_20.min1.thm1.tptp2017-02-06 16:48 346  
[ ]compl_sp__1402_18.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__1403_23.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__1421_11.min1.thm12017-02-06 12:45 279  
[ ]compl_sp__1424_16.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__1429_14.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1430_37.min1.thm12017-02-06 12:45 554  
[ ]compl_sp__1440_25.min1.thm12017-02-06 12:45 3.2K 
[ ]compl_sp__1455_11.min1.thm12017-02-06 12:45 279  
[ ]compl_sp__1458_25.min1.thm12017-02-06 12:45 3.2K 
[ ]compl_sp__1459_19.min1.thm12017-02-06 12:45 3.4K 
[ ]compl_sp__1481_23.min1.thm12017-02-06 12:45 412  
[ ]compl_sp__1481_23.min1.thm1.tptp2017-02-06 16:48 333  
[ ]compl_sp__1482_50.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__1551_45.min1.thm12017-02-06 12:45 796  
[ ]compl_sp__1553_37.min1.thm12017-02-06 12:45 905  
[ ]compl_sp__1554_58.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__1555_20.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__1562_45.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__1564_47.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__1571_18.min1.thm12017-02-06 12:45 477  
[ ]compl_sp__1571_18.min1.thm1.tptp2017-02-06 16:48 423  
[ ]compl_sp__1575_42.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1582_19.min1.thm12017-02-06 12:45 396  
[ ]compl_sp__1586_23.min1.thm12017-02-06 12:45 969  
[ ]compl_sp__1587_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1591_30.min1.thm12017-02-06 12:45 2.7K 
[ ]compl_sp__1596_40.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1599_19.min1.thm12017-02-06 12:45 396  
[ ]compl_sp__1600_23.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__1604_8.min1.thm12017-02-06 12:45 3.9K 
[ ]compl_sp__1606_37.min1.thm12017-02-06 12:45 966  
[ ]compl_sp__1618_20.min1.thm12017-02-06 12:45 2.7K 
[ ]compl_sp__1621_32.min1.thm12017-02-06 12:45 3.4K 
[ ]compl_sp__1627_33.min1.thm12017-02-06 12:45 2.9K 
[ ]compl_sp__1634_52.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1642_24.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__1649_20.min1.thm12017-02-06 12:45 2.9K 
[ ]compl_sp__1652_27.min1.thm12017-02-06 12:45 3.4K 
[ ]compl_sp__1656_21.min1.thm12017-02-06 12:45 540  
[ ]compl_sp__1656_21.min1.thm1.tptp2017-02-06 16:48 463  
[ ]compl_sp__1665_33.min1.thm12017-02-06 12:45 2.7K 
[ ]compl_sp__1667_20.min1.thm12017-02-06 12:45 463  
[ ]compl_sp__1667_20.min1.thm1.tptp2017-02-06 16:48 386  
[ ]compl_sp__1673_28.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1674_27.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__1680_22.min1.thm12017-02-06 12:45 2.9K 
[ ]compl_sp__1683_28.min1.thm12017-02-06 12:45 3.2K 
[ ]compl_sp__1684_23.min1.thm12017-02-06 12:45 540  
[ ]compl_sp__1684_23.min1.thm1.tptp2017-02-06 16:48 463  
[ ]compl_sp__1693_18.min1.thm12017-02-06 12:45 781  
[ ]compl_sp__1694_19.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__1700_37.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__1703_24.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__1706_31.min1.thm12017-02-06 12:45 3.0K 
[ ]compl_sp__1709_28.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__1744_16.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__1764_14.min1.thm12017-02-06 12:45 393  
[ ]compl_sp__1764_14.min1.thm1.tptp2017-02-06 16:48 324  
[ ]compl_sp__1765_43.min1.thm12017-02-06 12:45 838  
[ ]compl_sp__1766_17.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__1768_34.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1769_33.min1.thm12017-02-06 12:45 521  
[ ]compl_sp__1770_28.min1.thm12017-02-06 12:45 733  
[ ]compl_sp__1774_20.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__1775_32.min1.thm12017-02-06 12:45 777  
[ ]compl_sp__1780_39.min1.thm12017-02-06 12:45 725  
[ ]compl_sp__1781_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1782_23.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__1783_18.min1.thm12017-02-06 12:45 670  
[ ]compl_sp__1785_15.min1.thm12017-02-06 12:45 808  
[ ]compl_sp__1787_28.min1.thm12017-02-06 12:45 591  
[ ]compl_sp__1788_40.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__1789_29.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1790_14.min1.thm12017-02-06 12:45 855  
[ ]compl_sp__1800_34.min1.thm12017-02-06 12:45 509  
[ ]compl_sp__1801_12.min1.thm12017-02-06 12:45 798  
[ ]compl_sp__1803_27.min1.thm12017-02-06 12:45 577  
[ ]compl_sp__1804_31.min1.thm12017-02-06 12:45 721  
[ ]compl_sp__1805_36.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__1806_27.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__1807_12.min1.thm12017-02-06 12:45 853  
[ ]compl_sp__1808_39.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1813_20.min1.thm12017-02-06 12:45 653  
[ ]compl_sp__1820_37.min1.thm12017-02-06 12:45 516  
[ ]compl_sp__1821_16.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__1822_21.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1823_16.min1.thm12017-02-06 12:45 648  
[ ]compl_sp__1825_26.min1.thm12017-02-06 12:45 824  
[ ]compl_sp__1826_15.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__1827_17.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1843_47.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__1844_16.min1.thm12017-02-06 12:45 952  
[ ]compl_sp__1846_24.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1850_40.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__1854_21.min1.thm12017-02-06 12:45 944  
[ ]compl_sp__1855_23.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1856_25.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__1858_21.min1.thm12017-02-06 12:45 538  
[ ]compl_sp__1861_18.min1.thm12017-02-06 12:45 954  
[ ]compl_sp__1862_25.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__1875_23.min1.thm12017-02-06 12:45 334  
[ ]compl_sp__1875_23.min1.thm1.tptp2017-02-06 16:48 253  
[ ]compl_sp__1877_18.min1.thm12017-02-06 12:45 549  
[ ]compl_sp__1880_36.min1.thm12017-02-06 12:45 564  
[ ]compl_sp__1884_20.min1.thm12017-02-06 12:45 589  
[ ]compl_sp__1885_43.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__1892_21.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__1894_22.min1.thm12017-02-06 12:45 488  
[ ]compl_sp__1900_18.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__1901_43.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__1903_21.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__1905_28.min1.thm12017-02-06 12:45 969  
[ ]compl_sp__1908_25.min1.thm12017-02-06 12:45 896  
[ ]compl_sp__1913_22.min1.thm12017-02-06 12:45 527  
[ ]compl_sp__1914_36.min1.thm12017-02-06 12:45 909  
[ ]compl_sp__1917_20.min1.thm12017-02-06 12:45 366  
[ ]compl_sp__1917_20.min1.thm1.tptp2017-02-06 16:48 277  
[ ]compl_sp__1919_17.min1.thm12017-02-06 12:45 802  
[ ]compl_sp__1940_42.min1.thm12017-02-06 12:45 780  
[ ]compl_sp__1949_44.min1.thm12017-02-06 12:45 587  
[ ]compl_sp__1957_18.min1.thm12017-02-06 12:45 863  
[ ]compl_sp__1958_24.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__1959_21.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1968_42.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__1969_23.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__1977_16.min1.thm12017-02-06 12:45 862  
[ ]compl_sp__1982_40.min1.thm12017-02-06 12:45 920  
[ ]compl_sp__1987_59.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__2007_13.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__2010_33.min1.thm12017-02-06 12:45 823  
[ ]compl_sp__2016_17.min1.thm12017-02-06 12:45 861  
[ ]compl_sp__2017_65.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__2018_46.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__2022_33.min1.thm12017-02-06 12:45 670  
[ ]compl_sp__2023_44.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__2027_19.min1.thm12017-02-06 12:45 458  
[ ]compl_sp__2028_33.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__2029_30.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__2045_38.min1.thm12017-02-06 12:45 485  
[ ]compl_sp__2045_38.min1.thm1.tptp2017-02-06 16:48 407  
[ ]compl_sp__2047_43.min1.thm12017-02-06 12:45 794  
[ ]compl_sp__2058_36.min1.thm12017-02-06 12:45 885  
[ ]compl_sp__2061_15.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2065_17.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__2071_17.min1.thm12017-02-06 12:45 763  
[ ]compl_sp__2075_13.min1.thm12017-02-06 12:45 373  
[ ]compl_sp__2078_14.min1.thm12017-02-06 12:45 884  
[ ]compl_sp__2078_14.min1.thm1.tptp2017-02-06 16:48 823  
[ ]compl_sp__2092_22.min1.thm12017-02-06 12:45 524  
[ ]compl_sp__2092_22.min1.thm1.tptp2017-02-06 16:48 455  
[ ]compl_sp__2093_14.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__2094_37.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__2098_24.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2099_29.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__2101_24.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2120_17.min1.thm12017-02-06 12:45 946  
[ ]compl_sp__2121_38.min1.thm12017-02-06 12:45 613  
[ ]compl_sp__2122_17.min1.thm12017-02-06 12:45 594  
[ ]compl_sp__2142_36.min1.thm12017-02-06 12:45 490  
[ ]compl_sp__2145_19.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__2159_21.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2168_15.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2169_15.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__2170_23.min1.thm12017-02-06 12:45 838  
[ ]compl_sp__2171_21.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2173_19.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__2178_45.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2179_23.min1.thm12017-02-06 12:45 849  
[ ]compl_sp__2182_19.min1.thm12017-02-06 12:45 776  
[ ]compl_sp__2198_16.min1.thm12017-02-06 12:45 727  
[ ]compl_sp__2202_24.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__2213_43.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2214_21.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__2216_16.min1.thm12017-02-06 12:45 469  
[ ]compl_sp__2216_16.min1.thm1.tptp2017-02-06 16:48 404  
[ ]compl_sp__2217_21.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__2219_23.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2225_8.min1.thm12017-02-06 12:45 450  
[ ]compl_sp__2226_15.min1.thm12017-02-06 12:45 380  
[ ]compl_sp__2228_21.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2241_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2247_42.min1.thm12017-02-06 12:45 780  
[ ]compl_sp__2248_16.min1.thm12017-02-06 12:45 938  
[ ]compl_sp__2249_29.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__2251_16.min1.thm12017-02-06 12:45 475  
[ ]compl_sp__2251_16.min1.thm1.tptp2017-02-06 16:48 398  
[ ]compl_sp__2257_38.min1.thm12017-02-06 12:45 848  
[ ]compl_sp__2260_15.min1.thm12017-02-06 12:45 380  
[ ]compl_sp__2261_23.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2263_14.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__2264_28.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__2267_20.min1.thm12017-02-06 12:45 365  
[ ]compl_sp__2267_20.min1.thm1.tptp2017-02-06 16:48 288  
[ ]compl_sp__2268_31.min1.thm12017-02-06 12:45 845  
[ ]compl_sp__2281_18.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__2283_34.min1.thm12017-02-06 12:45 475  
[ ]compl_sp__2283_34.min1.thm1.tptp2017-02-06 16:48 397  
[ ]compl_sp__2286_13.min1.thm12017-02-06 12:45 868  
[ ]compl_sp__2287_26.min1.thm12017-02-06 12:45 771  
[ ]compl_sp__2290_20.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__2298_13.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__2299_35.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__2300_11.min1.thm12017-02-06 12:45 225  
[ ]compl_sp__2303_19.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__2304_20.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__2306_24.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__2314_15.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__2315_27.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__2332_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2338_42.min1.thm12017-02-06 12:45 780  
[ ]compl_sp__2339_16.min1.thm12017-02-06 12:45 938  
[ ]compl_sp__2340_29.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__2342_16.min1.thm12017-02-06 12:45 475  
[ ]compl_sp__2342_16.min1.thm1.tptp2017-02-06 16:48 398  
[ ]compl_sp__2348_38.min1.thm12017-02-06 12:45 848  
[ ]compl_sp__2358_20.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__2369_17.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2372_19.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2375_14.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__2376_39.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__2384_19.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__2389_16.min1.thm12017-02-06 12:45 892  
[ ]compl_sp__2391_19.min1.thm12017-02-06 12:45 704  
[ ]compl_sp__2398_36.min1.thm12017-02-06 12:45 490  
[ ]compl_sp__2405_15.min1.thm12017-02-06 12:45 380  
[ ]compl_sp__2406_23.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2411_48.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2412_23.min1.thm12017-02-06 12:45 833  
[ ]compl_sp__2415_19.min1.thm12017-02-06 12:45 779  
[ ]compl_sp__2427_68.min1.thm12017-02-06 12:45 670  
[ ]compl_sp__2427_68.min1.thm1.tptp2017-02-06 16:48 625  
[ ]compl_sp__2432_51.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2448_48.min1.thm12017-02-06 12:45 705  
[ ]compl_sp__2449_19.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2451_16.min1.thm12017-02-06 12:45 839  
[ ]compl_sp__2451_16.min1.thm1.tptp2017-02-06 16:48 820  
[ ]compl_sp__2464_54.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__2469_74.min1.thm12017-02-06 12:45 444  
[ ]compl_sp__2470_17.min1.thm12017-02-06 12:45 755  
[ ]compl_sp__2487_24.min1.thm12017-02-06 12:45 257  
[ ]compl_sp__2488_32.min1.thm12017-02-06 12:45 421  
[ ]compl_sp__2488_32.min1.thm1.tptp2017-02-06 16:48 347  
[ ]compl_sp__2489_52.min1.thm12017-02-06 12:45 676  
[ ]compl_sp__2490_52.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__2502_43.min1.thm12017-02-06 12:45 648  
[ ]compl_sp__2503_39.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2504_13.min1.thm12017-02-06 12:45 510  
[ ]compl_sp__2508_20.min1.thm12017-02-06 12:45 3.1K 
[ ]compl_sp__2513_20.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__2520_26.min1.thm12017-02-06 12:45 574  
[ ]compl_sp__2521_35.min1.thm12017-02-06 12:45 673  
[ ]compl_sp__2523_26.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2530_39.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__2532_22.min1.thm12017-02-06 12:45 574  
[ ]compl_sp__2534_27.min1.thm12017-02-06 12:45 662  
[ ]compl_sp__2553_26.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2554_21.min1.thm12017-02-06 12:45 2.7K 
[ ]compl_sp__2555_36.min1.thm12017-02-06 12:45 2.7K 
[ ]compl_sp__2557_39.min1.thm12017-02-06 12:45 831  
[ ]compl_sp__2558_13.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__2561_18.min1.thm12017-02-06 12:45 3.2K 
[ ]compl_sp__2562_35.min1.thm12017-02-06 12:45 3.1K 
[ ]compl_sp__2565_29.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__2567_13.min1.thm12017-02-06 12:45 778  
[ ]compl_sp__2574_30.min1.thm12017-02-06 12:45 953  
[ ]compl_sp__2575_17.min1.thm12017-02-06 12:45 839  
[ ]compl_sp__2583_36.min1.thm12017-02-06 12:45 421  
[ ]compl_sp__2584_36.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__2600_14.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2601_38.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__2602_13.min1.thm12017-02-06 12:45 507  
[ ]compl_sp__2610_33.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__2615_19.min1.thm12017-02-06 12:45 792  
[ ]compl_sp__2618_27.min1.thm12017-02-06 12:45 944  
[ ]compl_sp__2636_17.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__2637_24.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__2641_23.min1.thm12017-02-06 12:45 424  
[ ]compl_sp__2641_23.min1.thm1.tptp2017-02-06 16:48 338  
[ ]compl_sp__2644_20.min1.thm12017-02-06 12:45 927  
[ ]compl_sp__2650_17.min1.thm12017-02-06 12:45 557  
[ ]compl_sp__2652_23.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__2657_18.min1.thm12017-02-06 12:45 2.9K 
[ ]compl_sp__2658_17.min1.thm12017-02-06 12:45 558  
[ ]compl_sp__2661_21.min1.thm12017-02-06 12:45 635  
[ ]compl_sp__2667_25.min1.thm12017-02-06 12:45 576  
[ ]compl_sp__2668_34.min1.thm12017-02-06 12:45 675  
[ ]compl_sp__2671_19.min1.thm12017-02-06 12:45 672  
[ ]compl_sp__2674_11.min1.thm12017-02-06 12:45 233  
[ ]compl_sp__2678_18.min1.thm12017-02-06 12:45 509  
[ ]compl_sp__2684_18.min1.thm12017-02-06 12:45 929  
[ ]compl_sp__2686_21.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__2692_18.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__2714_18.min1.thm12017-02-06 12:45 817  
[ ]compl_sp__2715_19.min1.thm12017-02-06 12:45 632  
[ ]compl_sp__2717_52.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__2717_52.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]compl_sp__2724_4.min1.thm12017-02-06 12:45 771  
[ ]compl_sp__2728_17.min1.thm12017-02-06 12:45 871  
[ ]compl_sp__2728_17.min1.thm1.tptp2017-02-06 16:48 854  
[ ]compl_sp__2748_12.min1.thm12017-02-06 12:45 930  
[ ]compl_sp__2761_15.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__2762_36.min1.thm12017-02-06 12:45 530  
[ ]compl_sp__2764_20.min1.thm12017-02-06 12:45 917  
[ ]compl_sp__2773_45.min1.thm12017-02-06 12:45 654  
[ ]compl_sp__2774_18.min1.thm12017-02-06 12:45 480  
[ ]compl_sp__2774_18.min1.thm1.tptp2017-02-06 16:48 403  
[ ]compl_sp__2776_27.min1.thm12017-02-06 12:45 923  
[ ]compl_sp__2777_26.min1.thm12017-02-06 12:45 769  
[ ]compl_sp__2779_23.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__2781_26.min1.thm12017-02-06 12:45 907  
[ ]compl_sp__2782_28.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__2793_40.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__2794_21.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__2796_14.min1.thm12017-02-06 12:45 900  
[ ]compl_sp__2797_34.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__2798_19.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__2817_48.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__2818_16.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__2820_42.min1.thm12017-02-06 12:45 580  
[ ]compl_sp__2826_37.min1.thm12017-02-06 12:45 356  
[ ]compl_sp__2826_37.min1.thm1.tptp2017-02-06 16:48 278  
[ ]compl_sp__2829_17.min1.thm12017-02-06 12:45 619  
[ ]compl_sp__2829_17.min1.thm1.tptp2017-02-06 16:48 552  
[ ]compl_sp__2830_17.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__2831_19.min1.thm12017-02-06 12:45 922  
[ ]compl_sp__2837_14.min1.thm12017-02-06 12:45 424  
[ ]compl_sp__2850_12.min1.thm12017-02-06 12:45 918  
[ ]compl_sp__2857_20.min1.thm12017-02-06 12:45 838  
[ ]compl_sp__2858_27.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__2861_11.min1.thm12017-02-06 12:45 500  
[ ]compl_sp__2868_16.min1.thm12017-02-06 12:45 415  
[ ]compl_sp__2868_16.min1.thm1.tptp2017-02-06 16:48 338  
[ ]compl_sp__2872_18.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__2875_15.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2881_16.min1.thm12017-02-06 12:45 391  
[ ]compl_sp__2881_16.min1.thm1.tptp2017-02-06 16:48 310  
[ ]compl_sp__2887_21.min1.thm12017-02-06 12:45 530  
[ ]compl_sp__2895_15.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__2898_15.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__2907_21.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__2932_45.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__2933_23.min1.thm12017-02-06 12:45 872  
[ ]compl_sp__2940_36.min1.thm12017-02-06 12:45 516  
[ ]compl_sp__2966_41.min1.thm12017-02-06 12:45 780  
[ ]compl_sp__2967_16.min1.thm12017-02-06 12:45 2.9K 
[ ]compl_sp__2974_18.min1.thm12017-02-06 12:45 2.8K 
[ ]compl_sp__2979_16.min1.thm12017-02-06 12:45 911  
[ ]compl_sp__2991_27.min1.thm12017-02-06 12:45 391  
[ ]compl_sp__2994_15.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__2996_42.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__2997_44.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__2998_34.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__3007_20.min1.thm12017-02-06 12:45 2.7K 
[ ]compl_sp__3028_28.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__3031_18.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__3035_13.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__3042_17.min1.thm12017-02-06 12:45 1.9K 
[ ]compl_sp__3047_43.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__3048_19.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__3049_29.min1.thm12017-02-06 12:45 706  
[ ]compl_sp__3051_24.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__3053_23.min1.thm12017-02-06 12:45 464  
[ ]compl_sp__3053_23.min1.thm1.tptp2017-02-06 16:48 383  
[ ]compl_sp__3055_28.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__3057_17.min1.thm12017-02-06 12:45 691  
[ ]compl_sp__3068_21.min1.thm12017-02-06 12:45 713  
[ ]compl_sp__3069_22.min1.thm12017-02-06 12:45 326  
[ ]compl_sp__3069_22.min1.thm1.tptp2017-02-06 16:48 245  
[ ]compl_sp__3080_38.min1.thm12017-02-06 12:45 608  
[ ]compl_sp__3081_13.min1.thm12017-02-06 12:45 275  
[ ]compl_sp__3086_12.min1.thm12017-02-06 12:45 308  
[ ]compl_sp__3087_36.min1.thm12017-02-06 12:45 532  
[ ]compl_sp__3089_20.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__3094_20.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__3100_15.min1.thm12017-02-06 12:45 880  
[ ]compl_sp__3108_13.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__3109_34.min1.thm12017-02-06 12:45 732  
[ ]compl_sp__3110_65.min1.thm12017-02-06 12:45 273  
[ ]compl_sp__3111_41.min1.thm12017-02-06 12:45 2.1K 
[ ]compl_sp__3118_37.min1.thm12017-02-06 12:45 356  
[ ]compl_sp__3118_37.min1.thm1.tptp2017-02-06 16:48 278  
[ ]compl_sp__3122_16.min1.thm12017-02-06 12:45 929  
[ ]compl_sp__3127_20.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__3128_41.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__3129_15.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__3133_24.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__3134_28.min1.thm12017-02-06 12:45 927  
[ ]compl_sp__3135_25.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__3137_28.min1.thm12017-02-06 12:45 438  
[ ]compl_sp__3137_28.min1.thm1.tptp2017-02-06 16:48 357  
[ ]compl_sp__3149_53.min1.thm12017-02-06 12:45 609  
[ ]compl_sp__3155_25.min1.thm12017-02-06 12:45 624  
[ ]compl_sp__3156_31.min1.thm12017-02-06 12:45 642  
[ ]compl_sp__3160_21.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3163_11.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__3164_17.min1.thm12017-02-06 12:45 737  
[ ]compl_sp__3179_27.min1.thm12017-02-06 12:45 683  
[ ]compl_sp__3180_26.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__3182_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__3189_13.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__3191_15.min1.thm12017-02-06 12:45 595  
[ ]compl_sp__3192_19.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__3197_14.min1.thm12017-02-06 12:45 377  
[ ]compl_sp__3198_28.min1.thm12017-02-06 12:45 543  
[ ]compl_sp__3198_28.min1.thm1.tptp2017-02-06 16:48 474  
[ ]compl_sp__3199_17.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__3207_32.min1.thm12017-02-06 12:45 484  
[ ]compl_sp__3209_13.min1.thm12017-02-06 12:45 660  
[ ]compl_sp__3215_17.min1.thm12017-02-06 12:45 399  
[ ]compl_sp__3215_17.min1.thm1.tptp2017-02-06 16:48 334  
[ ]compl_sp__3227_67.min1.thm12017-02-06 12:45 775  
[ ]compl_sp__3232_29.min1.thm12017-02-06 12:45 774  
[ ]compl_sp__3247_38.min1.thm12017-02-06 12:45 470  
[ ]compl_sp__3250_18.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__3254_22.min1.thm12017-02-06 12:45 2.8K 
[ ]compl_sp__3258_21.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__3264_24.min1.thm12017-02-06 12:45 577  
[ ]compl_sp__3269_48.min1.thm12017-02-06 12:45 837  
[ ]compl_sp__3271_20.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3273_35.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__3280_22.min1.thm12017-02-06 12:45 820  
[ ]compl_sp__3281_19.min1.thm12017-02-06 12:45 840  
[ ]compl_sp__3282_22.min1.thm12017-02-06 12:45 591  
[ ]compl_sp__3284_23.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__3285_24.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__3299_37.min1.thm12017-02-06 12:45 872  
[ ]compl_sp__3300_35.min1.thm12017-02-06 12:45 619  
[ ]compl_sp__3304_46.min1.thm12017-02-06 12:45 703  
[ ]compl_sp__3306_28.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__3307_21.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__3311_26.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__3313_23.min1.thm12017-02-06 12:45 821  
[ ]compl_sp__3314_18.min1.thm12017-02-06 12:45 790  
[ ]compl_sp__3316_31.min1.thm12017-02-06 12:45 3.4K 
[ ]compl_sp__3322_39.min1.thm12017-02-06 12:45 929  
[ ]compl_sp__3325_17.min1.thm12017-02-06 12:45 388  
[ ]compl_sp__3331_43.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__3337_17.min1.thm12017-02-06 12:45 388  
[ ]compl_sp__3341_6.min1.thm12017-02-06 12:45 2.8K 
[ ]compl_sp__3352_24.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__3364_28.min1.thm12017-02-06 12:45 2.7K 
[ ]compl_sp__3365_23.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__3372_21.min1.thm12017-02-06 12:45 485  
[ ]compl_sp__3372_21.min1.thm1.tptp2017-02-06 16:48 408  
[ ]compl_sp__3373_51.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__3376_24.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__3386_31.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3388_19.min1.thm12017-02-06 12:45 401  
[ ]compl_sp__3388_19.min1.thm1.tptp2017-02-06 16:48 324  
[ ]compl_sp__3398_15.min1.thm12017-02-06 12:45 774  
[ ]compl_sp__3404_19.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__3406_23.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__3409_21.min1.thm12017-02-06 12:45 788  
[ ]compl_sp__3416_23.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__3418_23.min1.thm12017-02-06 12:45 881  
[ ]compl_sp__3419_22.min1.thm12017-02-06 12:45 890  
[ ]compl_sp__3422_50.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__3429_16.min1.thm12017-02-06 12:45 475  
[ ]compl_sp__3429_16.min1.thm1.tptp2017-02-06 16:48 421  
[ ]compl_sp__3434_24.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3435_23.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__3436_19.min1.thm12017-02-06 12:45 909  
[ ]compl_sp__3436_19.min1.thm1.tptp2017-02-06 16:48 832  
[ ]compl_sp__3445_28.min1.thm12017-02-06 12:45 2.4K 
[ ]compl_sp__3458_17.min1.thm12017-02-06 12:45 673  
[ ]compl_sp__3474_16.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__3481_36.min1.thm12017-02-06 12:45 544  
[ ]compl_sp__3483_20.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__3487_21.min1.thm12017-02-06 12:45 586  
[ ]compl_sp__3488_18.min1.thm12017-02-06 12:45 609  
[ ]compl_sp__3494_14.min1.thm12017-02-06 12:45 454  
[ ]compl_sp__3501_18.min1.thm12017-02-06 12:45 665  
[ ]compl_sp__3504_39.min1.thm12017-02-06 12:45 828  
[ ]compl_sp__3505_45.min1.thm12017-02-06 12:45 833  
[ ]compl_sp__3506_19.min1.thm12017-02-06 12:45 895  
[ ]compl_sp__3510_24.min1.thm12017-02-06 12:45 594  
[ ]compl_sp__3511_19.min1.thm12017-02-06 12:45 764  
[ ]compl_sp__3544_17.min1.thm12017-02-06 12:45 229  
[ ]compl_sp__3548_24.min1.thm12017-02-06 12:45 437  
[ ]compl_sp__3555_19.min1.thm12017-02-06 12:45 738  
[ ]compl_sp__3556_19.min1.thm12017-02-06 12:45 738  
[ ]compl_sp__3563_24.min1.thm12017-02-06 12:45 437  
[ ]compl_sp__3570_19.min1.thm12017-02-06 12:45 738  
[ ]compl_sp__3571_19.min1.thm12017-02-06 12:45 738  
[ ]compl_sp__3604_36.min1.thm12017-02-06 12:45 471  
[ ]compl_sp__3604_36.min1.thm1.tptp2017-02-06 16:48 383  
[ ]compl_sp__3605_21.min1.thm12017-02-06 12:45 226  
[ ]compl_sp__3609_29.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__3625_14.min1.thm12017-02-06 12:45 308  
[ ]compl_sp__3625_14.min1.thm1.tptp2017-02-06 16:48 231  
[ ]compl_sp__3636_17.min1.thm12017-02-06 12:45 211  
[ ]compl_sp__3652_25.min1.thm12017-02-06 12:45 324  
[ ]compl_sp__3654_19.min1.thm12017-02-06 12:45 502  
[ ]compl_sp__3663_17.min1.thm12017-02-06 12:45 460  
[ ]compl_sp__3666_35.min1.thm12017-02-06 12:45 388  
[ ]compl_sp__3673_18.min1.thm12017-02-06 12:45 336  
[ ]compl_sp__3673_18.min1.thm1.tptp2017-02-06 16:48 257  
[ ]compl_sp__3684_18.min1.thm12017-02-06 12:45 336  
[ ]compl_sp__3684_18.min1.thm1.tptp2017-02-06 16:48 257  
[ ]compl_sp__3700_33.min1.thm12017-02-06 12:45 440  
[ ]compl_sp__3702_19.min1.thm12017-02-06 12:45 631  
[ ]compl_sp__3711_17.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__3722_24.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3723_49.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__3729_18.min1.thm12017-02-06 12:45 336  
[ ]compl_sp__3729_18.min1.thm1.tptp2017-02-06 16:48 257  
[ ]compl_sp__3732_24.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3741_18.min1.thm12017-02-06 12:45 336  
[ ]compl_sp__3741_18.min1.thm1.tptp2017-02-06 16:48 257  
[ ]compl_sp__3744_24.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3751_24.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3752_49.min1.thm12017-02-06 12:45 2.0K 
[ ]compl_sp__3758_18.min1.thm12017-02-06 12:45 336  
[ ]compl_sp__3758_18.min1.thm1.tptp2017-02-06 16:48 257  
[ ]compl_sp__3761_24.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3770_18.min1.thm12017-02-06 12:45 336  
[ ]compl_sp__3770_18.min1.thm1.tptp2017-02-06 16:48 257  
[ ]compl_sp__3773_24.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3788_42.min1.thm12017-02-06 12:45 626  
[ ]compl_sp__3799_15.min1.thm12017-02-06 12:45 442  
[ ]compl_sp__3802_17.min1.thm12017-02-06 12:45 278  
[ ]compl_sp__3807_16.min1.thm12017-02-06 12:45 334  
[ ]compl_sp__3807_16.min1.thm1.tptp2017-02-06 16:48 255  
[ ]compl_sp__3810_22.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3812_20.min1.thm12017-02-06 12:45 684  
[ ]compl_sp__3817_16.min1.thm12017-02-06 12:45 334  
[ ]compl_sp__3817_16.min1.thm1.tptp2017-02-06 16:48 255  
[ ]compl_sp__3820_22.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3822_20.min1.thm12017-02-06 12:45 684  
[ ]compl_sp__3829_20.min1.thm12017-02-06 12:45 684  
[ ]compl_sp__3832_13.min1.thm12017-02-06 12:45 232  
[ ]compl_sp__3834_17.min1.thm12017-02-06 12:45 611  
[ ]compl_sp__3875_15.min1.thm12017-02-06 12:45 588  
[ ]compl_sp__3883_45.min1.thm12017-02-06 12:45 314  
[ ]compl_sp__3883_45.min1.thm1.tptp2017-02-06 16:48 226  
[ ]compl_sp__3884_30.min1.thm12017-02-06 12:45 351  
[ ]compl_sp__3884_30.min1.thm1.tptp2017-02-06 16:48 265  
[ ]compl_sp__3894_20.min1.thm12017-02-06 12:45 966  
[ ]compl_sp__3897_34.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__3902_36.min1.thm12017-02-06 12:45 949  
[ ]compl_sp__3903_36.min1.thm12017-02-06 12:45 949  
[ ]compl_sp__3909_26.min1.thm12017-02-06 12:45 797  
[ ]compl_sp__3913_27.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__3934_17.min1.thm12017-02-06 12:45 672  
[ ]compl_sp__3941_43.min1.thm12017-02-06 12:45 4.1K 
[ ]compl_sp__3968_26.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__3972_26.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__3990_36.min1.thm12017-02-06 12:45 3.1K 
[ ]compl_sp__4008_15.min1.thm12017-02-06 12:45 209  
[ ]compl_sp__4012_20.min1.thm12017-02-06 12:45 2.3K 
[ ]compl_sp__4018_24.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__4019_24.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__4024_13.min1.thm12017-02-06 12:45 232  
[ ]compl_sp__4035_14.min1.thm12017-02-06 12:45 803  
[ ]compl_sp__4043_14.min1.thm12017-02-06 12:45 803  
[ ]compl_sp__4051_14.min1.thm12017-02-06 12:45 865  
[ ]compl_sp__4059_14.min1.thm12017-02-06 12:45 896  
[ ]compl_sp__4070_14.min1.thm12017-02-06 12:45 308  
[ ]compl_sp__4070_14.min1.thm1.tptp2017-02-06 16:48 231  
[ ]compl_sp__4082_41.min1.thm12017-02-06 12:45 780  
[ ]compl_sp__4083_13.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__4108_13.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__4112_21.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4113_21.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4120_21.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4121_24.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__4122_14.min1.thm12017-02-06 12:45 332  
[ ]compl_sp__4122_14.min1.thm1.tptp2017-02-06 16:48 253  
[ ]compl_sp__4123_22.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4130_22.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4131_24.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__4132_14.min1.thm12017-02-06 12:45 332  
[ ]compl_sp__4132_14.min1.thm1.tptp2017-02-06 16:48 253  
[ ]compl_sp__4133_21.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4140_22.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4141_22.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4146_26.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__4157_60.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__4161_11.min1.thm12017-02-06 12:45 698  
[ ]compl_sp__4164_22.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__4166_19.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__4170_22.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__4173_22.min1.thm12017-02-06 12:45 1.7K 
[ ]compl_sp__4178_25.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4180_19.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__4184_25.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4188_21.min1.thm12017-02-06 12:45 905  
[ ]compl_sp__4206_11.min1.thm12017-02-06 12:45 826  
[ ]compl_sp__4209_16.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__4215_44.min1.thm12017-02-06 12:45 856  
[ ]compl_sp__4221_25.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__4235_20.min1.thm12017-02-06 12:45 392  
[ ]compl_sp__4236_24.min1.thm12017-02-06 12:45 850  
[ ]compl_sp__4237_22.min1.thm12017-02-06 12:45 846  
[ ]compl_sp__4238_19.min1.thm12017-02-06 12:45 211  
[ ]compl_sp__4246_19.min1.thm12017-02-06 12:45 398  
[ ]compl_sp__4247_15.min1.thm12017-02-06 12:45 1.6K 
[ ]compl_sp__4250_21.min1.thm12017-02-06 12:45 839  
[ ]compl_sp__4273_41.min1.thm12017-02-06 12:45 780  
[ ]compl_sp__4278_18.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__4294_19.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__4296_20.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__4297_13.min1.thm12017-02-06 12:45 207  
[ ]compl_sp__4306_26.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__4311_25.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__4319_19.min1.thm12017-02-06 12:45 842  
[ ]compl_sp__4328_20.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__4329_15.min1.thm12017-02-06 12:45 207  
[ ]compl_sp__4341_47.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__4342_37.min1.thm12017-02-06 12:45 928  
[ ]compl_sp__4352_44.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__4369_21.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__4375_16.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__4377_30.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__4381_39.min1.thm12017-02-06 12:45 932  
[ ]compl_sp__4389_45.min1.thm12017-02-06 12:45 2.6K 
[ ]compl_sp__4412_16.min1.thm12017-02-06 12:45 388  
[ ]compl_sp__4415_23.min1.thm12017-02-06 12:45 768  
[ ]compl_sp__4418_22.min1.thm12017-02-06 12:45 527  
[ ]compl_sp__4418_22.min1.thm1.tptp2017-02-06 16:48 458  
[ ]compl_sp__4420_11.min1.thm12017-02-06 12:45 909  
[ ]compl_sp__4425_22.min1.thm12017-02-06 12:45 1.0K 
[ ]compl_sp__4427_19.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__4439_24.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__4450_19.min1.thm12017-02-06 12:45 444  
[ ]compl_sp__4450_19.min1.thm1.tptp2017-02-06 16:48 367  
[ ]compl_sp__4451_21.min1.thm12017-02-06 12:45 661  
[ ]compl_sp__4452_22.min1.thm12017-02-06 12:45 332  
[ ]compl_sp__4453_21.min1.thm12017-02-06 12:45 661  
[ ]compl_sp__4454_18.min1.thm12017-02-06 12:45 444  
[ ]compl_sp__4454_18.min1.thm1.tptp2017-02-06 16:48 367  
[ ]compl_sp__4455_21.min1.thm12017-02-06 12:45 713  
[ ]compl_sp__4457_20.min1.thm12017-02-06 12:45 1.2K 
[ ]compl_sp__4459_39.min1.thm12017-02-06 12:45 1.1K 
[ ]compl_sp__4462_16.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__4464_21.min1.thm12017-02-06 12:45 1.8K 
[ ]compl_sp__4471_13.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__4482_26.min1.thm12017-02-06 12:45 391  
[ ]compl_sp__4482_26.min1.thm1.tptp2017-02-06 16:48 306  
[ ]compl_sp__4484_24.min1.thm12017-02-06 12:45 1.3K 
[ ]compl_sp__4498_14.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__4502_14.min1.thm12017-02-06 12:45 1.5K 
[ ]compl_sp__4511_52.min1.thm12017-02-06 12:45 1.4K 
[ ]compl_sp__4525_26.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__4535_21.min1.thm12017-02-06 12:45 2.5K 
[ ]compl_sp__4538_17.min1.thm12017-02-06 12:45 216  
[ ]compl_sp__4544_71.min1.thm12017-02-06 12:45 2.2K 
[ ]compl_sp__4557_53.min1.thm12017-02-06 12:45 870  
[ ]compl_sp__4561_20.min1.thm12017-02-06 12:45 621  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80