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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cohsp_1__63_27.min1.thm12017-02-06 12:46 544  
[ ]cohsp_1__64_20.min1.thm12017-02-06 12:46 372  
[ ]cohsp_1__64_20.min1.thm1.tptp2017-02-06 16:48 292  
[ ]cohsp_1__66_21.min1.thm12017-02-06 12:46 641  
[ ]cohsp_1__71_40.min1.thm12017-02-06 12:46 476  
[ ]cohsp_1__77_14.min1.thm12017-02-06 12:46 469  
[ ]cohsp_1__84_13.min1.thm12017-02-06 12:46 129  
[ ]cohsp_1__100_32.min1.thm12017-02-06 12:46 548  
[ ]cohsp_1__100_32.min1.thm1.tptp2017-02-06 16:48 507  
[ ]cohsp_1__115_42.min1.thm12017-02-06 12:46 281  
[ ]cohsp_1__115_42.min1.thm1.tptp2017-02-06 16:48 201  
[ ]cohsp_1__117_23.min1.thm12017-02-06 12:46 129  
[ ]cohsp_1__125_21.min1.thm12017-02-06 12:46 679  
[ ]cohsp_1__126_25.min1.thm12017-02-06 12:46 351  
[ ]cohsp_1__126_25.min1.thm1.tptp2017-02-06 16:48 286  
[ ]cohsp_1__128_20.min1.thm12017-02-06 12:46 745  
[ ]cohsp_1__131_19.min1.thm12017-02-06 12:46 672  
[ ]cohsp_1__139_25.min1.thm12017-02-06 12:46 473  
[ ]cohsp_1__140_26.min1.thm12017-02-06 12:46 771  
[ ]cohsp_1__155_21.min1.thm12017-02-06 12:46 506  
[ ]cohsp_1__156_41.min1.thm12017-02-06 12:46 702  
[ ]cohsp_1__157_19.min1.thm12017-02-06 12:46 432  
[ ]cohsp_1__161_37.min1.thm12017-02-06 12:46 618  
[ ]cohsp_1__162_17.min1.thm12017-02-06 12:46 536  
[ ]cohsp_1__169_24.min1.thm12017-02-06 12:46 345  
[ ]cohsp_1__169_24.min1.thm1.tptp2017-02-06 16:48 270  
[ ]cohsp_1__177_19.min1.thm12017-02-06 12:46 704  
[ ]cohsp_1__179_18.min1.thm12017-02-06 12:46 685  
[ ]cohsp_1__180_17.min1.thm12017-02-06 12:46 540  
[ ]cohsp_1__185_14.min1.thm12017-02-06 12:46 335  
[ ]cohsp_1__188_14.min1.thm12017-02-06 12:46 408  
[ ]cohsp_1__188_14.min1.thm1.tptp2017-02-06 16:48 331  
[ ]cohsp_1__190_11.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__199_14.min1.thm12017-02-06 12:46 238  
[ ]cohsp_1__200_19.min1.thm12017-02-06 12:46 838  
[ ]cohsp_1__201_38.min1.thm12017-02-06 12:46 900  
[ ]cohsp_1__206_18.min1.thm12017-02-06 12:46 486  
[ ]cohsp_1__209_18.min1.thm12017-02-06 12:46 851  
[ ]cohsp_1__210_19.min1.thm12017-02-06 12:46 922  
[ ]cohsp_1__217_20.min1.thm12017-02-06 12:46 231  
[ ]cohsp_1__218_14.min1.thm12017-02-06 12:46 938  
[ ]cohsp_1__228_37.min1.thm12017-02-06 12:46 210  
[ ]cohsp_1__234_25.min1.thm12017-02-06 12:46 321  
[ ]cohsp_1__234_25.min1.thm1.tptp2017-02-06 16:48 240  
[ ]cohsp_1__237_18.min1.thm12017-02-06 12:46 477  
[ ]cohsp_1__238_16.min1.thm12017-02-06 12:46 525  
[ ]cohsp_1__241_55.min1.thm12017-02-06 12:46 269  
[ ]cohsp_1__242_58.min1.thm12017-02-06 12:46 301  
[ ]cohsp_1__243_31.min1.thm12017-02-06 12:46 567  
[ ]cohsp_1__244_14.min1.thm12017-02-06 12:46 681  
[ ]cohsp_1__249_25.min1.thm12017-02-06 12:46 605  
[ ]cohsp_1__254_11.min1.thm12017-02-06 12:46 642  
[ ]cohsp_1__255_16.min1.thm12017-02-06 12:46 433  
[ ]cohsp_1__256_16.min1.thm12017-02-06 12:46 653  
[ ]cohsp_1__257_17.min1.thm12017-02-06 12:46 499  
[ ]cohsp_1__265_40.min1.thm12017-02-06 12:46 483  
[ ]cohsp_1__267_15.min1.thm12017-02-06 12:46 354  
[ ]cohsp_1__287_50.min1.thm12017-02-06 12:46 745  
[ ]cohsp_1__288_16.min1.thm12017-02-06 12:46 371  
[ ]cohsp_1__288_16.min1.thm1.tptp2017-02-06 16:48 298  
[ ]cohsp_1__297_73.min1.thm12017-02-06 12:46 892  
[ ]cohsp_1__298_16.min1.thm12017-02-06 12:46 386  
[ ]cohsp_1__298_16.min1.thm1.tptp2017-02-06 16:48 320  
[ ]cohsp_1__312_34.min1.thm12017-02-06 12:46 659  
[ ]cohsp_1__313_25.min1.thm12017-02-06 12:46 306  
[ ]cohsp_1__314_17.min1.thm12017-02-06 12:46 753  
[ ]cohsp_1__335_10.min1.thm12017-02-06 12:46 316  
[ ]cohsp_1__337_27.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__341_50.min1.thm12017-02-06 12:46 390  
[ ]cohsp_1__342_26.min1.thm12017-02-06 12:46 330  
[ ]cohsp_1__343_40.min1.thm12017-02-06 12:46 715  
[ ]cohsp_1__344_21.min1.thm12017-02-06 12:46 688  
[ ]cohsp_1__347_18.min1.thm12017-02-06 12:46 311  
[ ]cohsp_1__347_18.min1.thm1.tptp2017-02-06 16:48 228  
[ ]cohsp_1__349_10.min1.thm12017-02-06 12:46 550  
[ ]cohsp_1__350_15.min1.thm12017-02-06 12:46 271  
[ ]cohsp_1__364_20.min1.thm12017-02-06 12:46 424  
[ ]cohsp_1__364_20.min1.thm1.tptp2017-02-06 16:48 353  
[ ]cohsp_1__367_13.min1.thm12017-02-06 12:46 686  
[ ]cohsp_1__369_15.min1.thm12017-02-06 12:46 386  
[ ]cohsp_1__369_15.min1.thm1.tptp2017-02-06 16:48 336  
[ ]cohsp_1__371_13.min1.thm12017-02-06 12:46 387  
[ ]cohsp_1__371_13.min1.thm1.tptp2017-02-06 16:48 306  
[ ]cohsp_1__372_15.min1.thm12017-02-06 12:46 299  
[ ]cohsp_1__373_16.min1.thm12017-02-06 12:46 388  
[ ]cohsp_1__373_16.min1.thm1.tptp2017-02-06 16:48 307  
[ ]cohsp_1__374_17.min1.thm12017-02-06 12:46 575  
[ ]cohsp_1__396_10.min1.thm12017-02-06 12:46 346  
[ ]cohsp_1__399_13.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__400_32.min1.thm12017-02-06 12:46 445  
[ ]cohsp_1__400_32.min1.thm1.tptp2017-02-06 16:48 371  
[ ]cohsp_1__407_34.min1.thm12017-02-06 12:46 503  
[ ]cohsp_1__407_34.min1.thm1.tptp2017-02-06 16:48 441  
[ ]cohsp_1__408_49.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__410_23.min1.thm12017-02-06 12:46 501  
[ ]cohsp_1__410_23.min1.thm1.tptp2017-02-06 16:48 440  
[ ]cohsp_1__412_20.min1.thm12017-02-06 12:46 246  
[ ]cohsp_1__415_41.min1.thm12017-02-06 12:46 332  
[ ]cohsp_1__415_41.min1.thm1.tptp2017-02-06 16:48 260  
[ ]cohsp_1__417_10.min1.thm12017-02-06 12:46 793  
[ ]cohsp_1__418_16.min1.thm12017-02-06 12:46 271  
[ ]cohsp_1__430_25.min1.thm12017-02-06 12:46 531  
[ ]cohsp_1__431_34.min1.thm12017-02-06 12:46 572  
[ ]cohsp_1__435_45.min1.thm12017-02-06 12:46 762  
[ ]cohsp_1__436_16.min1.thm12017-02-06 12:46 267  
[ ]cohsp_1__441_56.min1.thm12017-02-06 12:46 453  
[ ]cohsp_1__442_39.min1.thm12017-02-06 12:46 486  
[ ]cohsp_1__443_34.min1.thm12017-02-06 12:46 464  
[ ]cohsp_1__444_28.min1.thm12017-02-06 12:46 408  
[ ]cohsp_1__445_13.min1.thm12017-02-06 12:46 341  
[ ]cohsp_1__455_16.min1.thm12017-02-06 12:46 436  
[ ]cohsp_1__455_16.min1.thm1.tptp2017-02-06 16:48 360  
[ ]cohsp_1__456_23.min1.thm12017-02-06 12:46 796  
[ ]cohsp_1__457_16.min1.thm12017-02-06 12:46 470  
[ ]cohsp_1__457_16.min1.thm1.tptp2017-02-06 16:48 412  
[ ]cohsp_1__469_40.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__470_19.min1.thm12017-02-06 12:46 670  
[ ]cohsp_1__472_16.min1.thm12017-02-06 12:46 470  
[ ]cohsp_1__472_16.min1.thm1.tptp2017-02-06 16:48 412  
[ ]cohsp_1__480_18.min1.thm12017-02-06 12:46 387  
[ ]cohsp_1__480_18.min1.thm1.tptp2017-02-06 16:48 309  
[ ]cohsp_1__492_16.min1.thm12017-02-06 12:46 575  
[ ]cohsp_1__492_16.min1.thm1.tptp2017-02-06 16:48 497  
[ ]cohsp_1__505_20.min1.thm12017-02-06 12:46 368  
[ ]cohsp_1__505_20.min1.thm1.tptp2017-02-06 16:48 288  
[ ]cohsp_1__506_22.min1.thm12017-02-06 12:46 572  
[ ]cohsp_1__507_23.min1.thm12017-02-06 12:46 438  
[ ]cohsp_1__507_23.min1.thm1.tptp2017-02-06 16:48 367  
[ ]cohsp_1__508_23.min1.thm12017-02-06 12:46 859  
[ ]cohsp_1__512_28.min1.thm12017-02-06 12:46 130  
[ ]cohsp_1__518_23.min1.thm12017-02-06 12:46 397  
[ ]cohsp_1__519_22.min1.thm12017-02-06 12:46 517  
[ ]cohsp_1__527_14.min1.thm12017-02-06 12:46 299  
[ ]cohsp_1__537_18.min1.thm12017-02-06 12:46 469  
[ ]cohsp_1__538_19.min1.thm12017-02-06 12:46 637  
[ ]cohsp_1__548_42.min1.thm12017-02-06 12:46 645  
[ ]cohsp_1__550_15.min1.thm12017-02-06 12:46 395  
[ ]cohsp_1__550_15.min1.thm1.tptp2017-02-06 16:48 314  
[ ]cohsp_1__564_20.min1.thm12017-02-06 12:46 485  
[ ]cohsp_1__565_21.min1.thm12017-02-06 12:46 653  
[ ]cohsp_1__567_16.min1.thm12017-02-06 12:46 565  
[ ]cohsp_1__592_43.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__594_25.min1.thm12017-02-06 12:46 696  
[ ]cohsp_1__595_12.min1.thm12017-02-06 12:46 533  
[ ]cohsp_1__598_16.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__599_18.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__600_32.min1.thm12017-02-06 12:46 921  
[ ]cohsp_1__601_30.min1.thm12017-02-06 12:46 2.5K 
[ ]cohsp_1__604_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__607_15.min1.thm12017-02-06 12:46 617  
[ ]cohsp_1__609_20.min1.thm12017-02-06 12:46 254  
[ ]cohsp_1__613_32.min1.thm12017-02-06 12:46 290  
[ ]cohsp_1__615_35.min1.thm12017-02-06 12:46 784  
[ ]cohsp_1__616_28.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__617_23.min1.thm12017-02-06 12:46 912  
[ ]cohsp_1__628_13.min1.thm12017-02-06 12:46 524  
[ ]cohsp_1__629_18.min1.thm12017-02-06 12:46 306  
[ ]cohsp_1__629_18.min1.thm1.tptp2017-02-06 16:48 223  
[ ]cohsp_1__630_16.min1.thm12017-02-06 12:46 542  
[ ]cohsp_1__636_36.min1.thm12017-02-06 12:46 210  
[ ]cohsp_1__637_18.min1.thm12017-02-06 12:46 395  
[ ]cohsp_1__661_18.min1.thm12017-02-06 12:46 282  
[ ]cohsp_1__662_19.min1.thm12017-02-06 12:46 623  
[ ]cohsp_1__674_50.min1.thm12017-02-06 12:46 630  
[ ]cohsp_1__675_24.min1.thm12017-02-06 12:46 910  
[ ]cohsp_1__686_18.min1.thm12017-02-06 12:46 640  
[ ]cohsp_1__696_15.min1.thm12017-02-06 12:46 532  
[ ]cohsp_1__703_14.min1.thm12017-02-06 12:46 611  
[ ]cohsp_1__719_9.min1.thm12017-02-06 12:46 632  
[ ]cohsp_1__722_9.min1.thm12017-02-06 12:46 632  
[ ]cohsp_1__740_27.min1.thm12017-02-06 12:46 317  
[ ]cohsp_1__741_30.min1.thm12017-02-06 12:46 370  
[ ]cohsp_1__744_19.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__752_21.min1.thm12017-02-06 12:46 393  
[ ]cohsp_1__752_21.min1.thm1.tptp2017-02-06 16:48 339  
[ ]cohsp_1__753_19.min1.thm12017-02-06 12:46 393  
[ ]cohsp_1__753_19.min1.thm1.tptp2017-02-06 16:48 339  
[ ]cohsp_1__754_17.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__795_46.min1.thm12017-02-06 12:46 640  
[ ]cohsp_1__800_27.min1.thm12017-02-06 12:46 537  
[ ]cohsp_1__801_31.min1.thm12017-02-06 12:46 529  
[ ]cohsp_1__802_21.min1.thm12017-02-06 12:46 939  
[ ]cohsp_1__804_13.min1.thm12017-02-06 12:46 392  
[ ]cohsp_1__804_13.min1.thm1.tptp2017-02-06 16:48 336  
[ ]cohsp_1__806_18.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__807_23.min1.thm12017-02-06 12:46 405  
[ ]cohsp_1__807_23.min1.thm1.tptp2017-02-06 16:48 329  
[ ]cohsp_1__808_13.min1.thm12017-02-06 12:46 367  
[ ]cohsp_1__808_13.min1.thm1.tptp2017-02-06 16:48 293  
[ ]cohsp_1__809_30.min1.thm12017-02-06 12:46 877  
[ ]cohsp_1__810_19.min1.thm12017-02-06 12:46 623  
[ ]cohsp_1__820_18.min1.thm12017-02-06 12:46 729  
[ ]cohsp_1__820_18.min1.thm1.tptp2017-02-06 16:48 660  
[ ]cohsp_1__835_23.min1.thm12017-02-06 12:46 306  
[ ]cohsp_1__836_15.min1.thm12017-02-06 12:46 463  
[ ]cohsp_1__836_15.min1.thm1.tptp2017-02-06 16:48 392  
[ ]cohsp_1__837_36.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__838_25.min1.thm12017-02-06 12:46 768  
[ ]cohsp_1__839_24.min1.thm12017-02-06 12:46 416  
[ ]cohsp_1__848_31.min1.thm12017-02-06 12:46 608  
[ ]cohsp_1__849_38.min1.thm12017-02-06 12:46 569  
[ ]cohsp_1__849_38.min1.thm1.tptp2017-02-06 16:48 524  
[ ]cohsp_1__850_17.min1.thm12017-02-06 12:46 907  
[ ]cohsp_1__858_41.min1.thm12017-02-06 12:46 483  
[ ]cohsp_1__860_17.min1.thm12017-02-06 12:46 784  
[ ]cohsp_1__866_23.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__871_63.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__872_22.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__873_23.min1.thm12017-02-06 12:46 355  
[ ]cohsp_1__873_23.min1.thm1.tptp2017-02-06 16:48 290  
[ ]cohsp_1__876_35.min1.thm12017-02-06 12:46 461  
[ ]cohsp_1__876_35.min1.thm1.tptp2017-02-06 16:48 383  
[ ]cohsp_1__877_24.min1.thm12017-02-06 12:46 238  
[ ]cohsp_1__878_21.min1.thm12017-02-06 12:46 942  
[ ]cohsp_1__883_22.min1.thm12017-02-06 12:46 484  
[ ]cohsp_1__883_22.min1.thm1.tptp2017-02-06 16:48 413  
[ ]cohsp_1__885_15.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__886_22.min1.thm12017-02-06 12:46 516  
[ ]cohsp_1__886_22.min1.thm1.tptp2017-02-06 16:48 445  
[ ]cohsp_1__887_19.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__900_15.min1.thm12017-02-06 12:46 695  
[ ]cohsp_1__931_14.min1.thm12017-02-06 12:46 332  
[ ]cohsp_1__933_14.min1.thm12017-02-06 12:46 367  
[ ]cohsp_1__935_14.min1.thm12017-02-06 12:46 338  
[ ]cohsp_1__944_16.min1.thm12017-02-06 12:46 624  
[ ]cohsp_1__945_19.min1.thm12017-02-06 12:46 670  
[ ]cohsp_1__955_16.min1.thm12017-02-06 12:46 624  
[ ]cohsp_1__956_19.min1.thm12017-02-06 12:46 722  
[ ]cohsp_1__962_14.min1.thm12017-02-06 12:46 338  
[ ]cohsp_1__972_15.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__980_15.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__992_17.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__993_16.min1.thm12017-02-06 12:46 355  
[ ]cohsp_1__993_16.min1.thm1.tptp2017-02-06 16:48 269  
[ ]cohsp_1__1000_14.min1.thm12017-02-06 12:46 418  
[ ]cohsp_1__1000_14.min1.thm1.tptp2017-02-06 16:48 349  
[ ]cohsp_1__1006_14.min1.thm12017-02-06 12:46 437  
[ ]cohsp_1__1006_14.min1.thm1.tptp2017-02-06 16:48 368  
[ ]cohsp_1__1013_32.min1.thm12017-02-06 12:46 391  
[ ]cohsp_1__1013_32.min1.thm1.tptp2017-02-06 16:48 316  
[ ]cohsp_1__1014_27.min1.thm12017-02-06 12:46 374  
[ ]cohsp_1__1014_27.min1.thm1.tptp2017-02-06 16:48 291  
[ ]cohsp_1__1017_18.min1.thm12017-02-06 12:46 338  
[ ]cohsp_1__1017_18.min1.thm1.tptp2017-02-06 16:48 260  
[ ]cohsp_1__1019_19.min1.thm12017-02-06 12:46 546  
[ ]cohsp_1__1020_13.min1.thm12017-02-06 12:46 267  
[ ]cohsp_1__1021_17.min1.thm12017-02-06 12:46 497  
[ ]cohsp_1__1034_60.min1.thm12017-02-06 12:46 721  
[ ]cohsp_1__1035_33.min1.thm12017-02-06 12:46 407  
[ ]cohsp_1__1036_24.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1037_17.min1.thm12017-02-06 12:46 2.1K 
[ ]cohsp_1__1050_52.min1.thm12017-02-06 12:46 732  
[ ]cohsp_1__1051_63.min1.thm12017-02-06 12:46 547  
[ ]cohsp_1__1056_65.min1.thm12017-02-06 12:46 130  
[ ]cohsp_1__1064_19.min1.thm12017-02-06 12:46 803  
[ ]cohsp_1__1065_58.min1.thm12017-02-06 12:46 549  
[ ]cohsp_1__1066_20.min1.thm12017-02-06 12:46 403  
[ ]cohsp_1__1066_20.min1.thm1.tptp2017-02-06 16:48 334  
[ ]cohsp_1__1069_21.min1.thm12017-02-06 12:46 409  
[ ]cohsp_1__1069_21.min1.thm1.tptp2017-02-06 16:48 345  
[ ]cohsp_1__1073_19.min1.thm12017-02-06 12:46 803  
[ ]cohsp_1__1074_58.min1.thm12017-02-06 12:46 549  
[ ]cohsp_1__1075_25.min1.thm12017-02-06 12:46 296  
[ ]cohsp_1__1077_31.min1.thm12017-02-06 12:46 524  
[ ]cohsp_1__1078_21.min1.thm12017-02-06 12:46 828  
[ ]cohsp_1__1088_17.min1.thm12017-02-06 12:46 429  
[ ]cohsp_1__1088_17.min1.thm1.tptp2017-02-06 16:48 374  
[ ]cohsp_1__1089_56.min1.thm12017-02-06 12:46 549  
[ ]cohsp_1__1090_23.min1.thm12017-02-06 12:46 804  
[ ]cohsp_1__1094_22.min1.thm12017-02-06 12:46 358  
[ ]cohsp_1__1094_22.min1.thm1.tptp2017-02-06 16:48 280  
[ ]cohsp_1__1095_33.min1.thm12017-02-06 12:46 826  
[ ]cohsp_1__1096_21.min1.thm12017-02-06 12:46 469  
[ ]cohsp_1__1096_21.min1.thm1.tptp2017-02-06 16:48 407  
[ ]cohsp_1__1102_56.min1.thm12017-02-06 12:46 541  
[ ]cohsp_1__1103_21.min1.thm12017-02-06 12:46 788  
[ ]cohsp_1__1105_24.min1.thm12017-02-06 12:46 653  
[ ]cohsp_1__1106_36.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1109_17.min1.thm12017-02-06 12:46 681  
[ ]cohsp_1__1113_15.min1.thm12017-02-06 12:46 664  
[ ]cohsp_1__1115_52.min1.thm12017-02-06 12:46 606  
[ ]cohsp_1__1116_44.min1.thm12017-02-06 12:46 742  
[ ]cohsp_1__1119_49.min1.thm12017-02-06 12:46 234  
[ ]cohsp_1__1124_21.min1.thm12017-02-06 12:46 211  
[ ]cohsp_1__1125_31.min1.thm12017-02-06 12:46 302  
[ ]cohsp_1__1125_31.min1.thm1.tptp2017-02-06 16:48 216  
[ ]cohsp_1__1132_36.min1.thm12017-02-06 12:46 368  
[ ]cohsp_1__1132_36.min1.thm1.tptp2017-02-06 16:48 282  
[ ]cohsp_1__1139_17.min1.thm12017-02-06 12:46 852  
[ ]cohsp_1__1142_15.min1.thm12017-02-06 12:46 708  
[ ]cohsp_1__1143_15.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1145_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1146_20.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1153_17.min1.thm12017-02-06 12:46 467  
[ ]cohsp_1__1153_17.min1.thm1.tptp2017-02-06 16:48 412  
[ ]cohsp_1__1154_54.min1.thm12017-02-06 12:46 662  
[ ]cohsp_1__1155_27.min1.thm12017-02-06 12:46 935  
[ ]cohsp_1__1156_19.min1.thm12017-02-06 12:46 970  
[ ]cohsp_1__1168_61.min1.thm12017-02-06 12:46 320  
[ ]cohsp_1__1171_47.min1.thm12017-02-06 12:46 361  
[ ]cohsp_1__1171_47.min1.thm1.tptp2017-02-06 16:48 273  
[ ]cohsp_1__1172_28.min1.thm12017-02-06 12:46 411  
[ ]cohsp_1__1172_28.min1.thm1.tptp2017-02-06 16:48 334  
[ ]cohsp_1__1173_26.min1.thm12017-02-06 12:46 864  
[ ]cohsp_1__1183_16.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1184_10.min1.thm12017-02-06 12:46 238  
[ ]cohsp_1__1185_53.min1.thm12017-02-06 12:46 867  
[ ]cohsp_1__1186_77.min1.thm12017-02-06 12:46 408  
[ ]cohsp_1__1186_77.min1.thm1.tptp2017-02-06 16:48 328  
[ ]cohsp_1__1189_30.min1.thm12017-02-06 12:46 318  
[ ]cohsp_1__1189_30.min1.thm1.tptp2017-02-06 16:48 237  
[ ]cohsp_1__1192_53.min1.thm12017-02-06 12:46 775  
[ ]cohsp_1__1193_18.min1.thm12017-02-06 12:46 522  
[ ]cohsp_1__1195_58.min1.thm12017-02-06 12:46 302  
[ ]cohsp_1__1196_55.min1.thm12017-02-06 12:46 270  
[ ]cohsp_1__1197_43.min1.thm12017-02-06 12:46 602  
[ ]cohsp_1__1198_12.min1.thm12017-02-06 12:46 314  
[ ]cohsp_1__1198_12.min1.thm1.tptp2017-02-06 16:48 225  
[ ]cohsp_1__1202_49.min1.thm12017-02-06 12:46 940  
[ ]cohsp_1__1203_41.min1.thm12017-02-06 12:46 354  
[ ]cohsp_1__1204_42.min1.thm12017-02-06 12:46 490  
[ ]cohsp_1__1206_50.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1208_39.min1.thm12017-02-06 12:46 899  
[ ]cohsp_1__1210_15.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1215_14.min1.thm12017-02-06 12:46 662  
[ ]cohsp_1__1216_18.min1.thm12017-02-06 12:46 591  
[ ]cohsp_1__1218_23.min1.thm12017-02-06 12:46 653  
[ ]cohsp_1__1219_20.min1.thm12017-02-06 12:46 495  
[ ]cohsp_1__1220_27.min1.thm12017-02-06 12:46 944  
[ ]cohsp_1__1221_42.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1222_35.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1224_23.min1.thm12017-02-06 12:46 857  
[ ]cohsp_1__1226_37.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__1227_19.min1.thm12017-02-06 12:46 692  
[ ]cohsp_1__1233_24.min1.thm12017-02-06 12:46 242  
[ ]cohsp_1__1234_31.min1.thm12017-02-06 12:46 403  
[ ]cohsp_1__1239_40.min1.thm12017-02-06 12:46 840  
[ ]cohsp_1__1239_40.min1.thm1.tptp2017-02-06 16:48 796  
[ ]cohsp_1__1240_59.min1.thm12017-02-06 12:46 507  
[ ]cohsp_1__1242_28.min1.thm12017-02-06 12:46 968  
[ ]cohsp_1__1246_19.min1.thm12017-02-06 12:46 367  
[ ]cohsp_1__1246_19.min1.thm1.tptp2017-02-06 16:48 293  
[ ]cohsp_1__1250_21.min1.thm12017-02-06 12:46 496  
[ ]cohsp_1__1250_21.min1.thm1.tptp2017-02-06 16:48 425  
[ ]cohsp_1__1251_17.min1.thm12017-02-06 12:46 466  
[ ]cohsp_1__1251_17.min1.thm1.tptp2017-02-06 16:48 395  
[ ]cohsp_1__1253_25.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1254_18.min1.thm12017-02-06 12:46 466  
[ ]cohsp_1__1254_18.min1.thm1.tptp2017-02-06 16:48 395  
[ ]cohsp_1__1255_18.min1.thm12017-02-06 12:46 274  
[ ]cohsp_1__1256_29.min1.thm12017-02-06 12:46 954  
[ ]cohsp_1__1257_37.min1.thm12017-02-06 12:46 756  
[ ]cohsp_1__1262_16.min1.thm12017-02-06 12:46 497  
[ ]cohsp_1__1262_16.min1.thm1.tptp2017-02-06 16:48 435  
[ ]cohsp_1__1263_23.min1.thm12017-02-06 12:46 497  
[ ]cohsp_1__1263_23.min1.thm1.tptp2017-02-06 16:48 426  
[ ]cohsp_1__1264_18.min1.thm12017-02-06 12:46 274  
[ ]cohsp_1__1265_29.min1.thm12017-02-06 12:46 957  
[ ]cohsp_1__1270_62.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__1271_14.min1.thm12017-02-06 12:46 547  
[ ]cohsp_1__1272_15.min1.thm12017-02-06 12:46 590  
[ ]cohsp_1__1273_18.min1.thm12017-02-06 12:46 640  
[ ]cohsp_1__1275_17.min1.thm12017-02-06 12:46 480  
[ ]cohsp_1__1276_13.min1.thm12017-02-06 12:46 246  
[ ]cohsp_1__1277_22.min1.thm12017-02-06 12:46 644  
[ ]cohsp_1__1278_27.min1.thm12017-02-06 12:46 957  
[ ]cohsp_1__1279_19.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1292_63.min1.thm12017-02-06 12:46 320  
[ ]cohsp_1__1294_28.min1.thm12017-02-06 12:46 348  
[ ]cohsp_1__1294_28.min1.thm1.tptp2017-02-06 16:48 279  
[ ]cohsp_1__1297_26.min1.thm12017-02-06 12:46 883  
[ ]cohsp_1__1307_13.min1.thm12017-02-06 12:46 246  
[ ]cohsp_1__1308_14.min1.thm12017-02-06 12:46 226  
[ ]cohsp_1__1309_23.min1.thm12017-02-06 12:46 634  
[ ]cohsp_1__1310_32.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1311_14.min1.thm12017-02-06 12:46 573  
[ ]cohsp_1__1312_41.min1.thm12017-02-06 12:46 547  
[ ]cohsp_1__1313_74.min1.thm12017-02-06 12:46 131  
[ ]cohsp_1__1314_18.min1.thm12017-02-06 12:46 714  
[ ]cohsp_1__1319_45.min1.thm12017-02-06 12:46 593  
[ ]cohsp_1__1320_20.min1.thm12017-02-06 12:46 540  
[ ]cohsp_1__1321_21.min1.thm12017-02-06 12:46 651  
[ ]cohsp_1__1326_45.min1.thm12017-02-06 12:46 593  
[ ]cohsp_1__1327_21.min1.thm12017-02-06 12:46 540  
[ ]cohsp_1__1329_24.min1.thm12017-02-06 12:46 403  
[ ]cohsp_1__1329_24.min1.thm1.tptp2017-02-06 16:48 339  
[ ]cohsp_1__1331_24.min1.thm12017-02-06 12:46 667  
[ ]cohsp_1__1332_38.min1.thm12017-02-06 12:46 379  
[ ]cohsp_1__1332_38.min1.thm1.tptp2017-02-06 16:48 301  
[ ]cohsp_1__1337_19.min1.thm12017-02-06 12:46 726  
[ ]cohsp_1__1338_28.min1.thm12017-02-06 12:46 379  
[ ]cohsp_1__1338_28.min1.thm1.tptp2017-02-06 16:48 301  
[ ]cohsp_1__1339_21.min1.thm12017-02-06 12:46 380  
[ ]cohsp_1__1339_21.min1.thm1.tptp2017-02-06 16:48 302  
[ ]cohsp_1__1342_24.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__1343_31.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1346_17.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__1350_15.min1.thm12017-02-06 12:46 664  
[ ]cohsp_1__1352_15.min1.thm12017-02-06 12:46 658  
[ ]cohsp_1__1353_23.min1.thm12017-02-06 12:46 131  
[ ]cohsp_1__1355_10.min1.thm12017-02-06 12:46 568  
[ ]cohsp_1__1356_32.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__1359_27.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1360_16.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1371_57.min1.thm12017-02-06 12:46 826  
[ ]cohsp_1__1371_57.min1.thm1.tptp2017-02-06 16:48 782  
[ ]cohsp_1__1372_29.min1.thm12017-02-06 12:46 130  
[ ]cohsp_1__1374_43.min1.thm12017-02-06 12:46 746  
[ ]cohsp_1__1377_18.min1.thm12017-02-06 12:46 487  
[ ]cohsp_1__1377_18.min1.thm1.tptp2017-02-06 16:48 410  
[ ]cohsp_1__1378_19.min1.thm12017-02-06 12:46 492  
[ ]cohsp_1__1395_15.min1.thm12017-02-06 12:46 421  
[ ]cohsp_1__1395_15.min1.thm1.tptp2017-02-06 16:48 366  
[ ]cohsp_1__1396_17.min1.thm12017-02-06 12:46 362  
[ ]cohsp_1__1396_17.min1.thm1.tptp2017-02-06 16:48 284  
[ ]cohsp_1__1397_22.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1399_21.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__1400_20.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1409_16.min1.thm12017-02-06 12:46 670  
[ ]cohsp_1__1410_21.min1.thm12017-02-06 12:46 357  
[ ]cohsp_1__1410_21.min1.thm1.tptp2017-02-06 16:48 279  
[ ]cohsp_1__1411_29.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1413_19.min1.thm12017-02-06 12:46 531  
[ ]cohsp_1__1413_19.min1.thm1.tptp2017-02-06 16:48 467  
[ ]cohsp_1__1439_21.min1.thm12017-02-06 12:46 590  
[ ]cohsp_1__1440_30.min1.thm12017-02-06 12:46 573  
[ ]cohsp_1__1443_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1451_32.min1.thm12017-02-06 12:46 744  
[ ]cohsp_1__1451_32.min1.thm1.tptp2017-02-06 16:48 727  
[ ]cohsp_1__1453_26.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1472_35.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1476_16.min1.thm12017-02-06 12:46 453  
[ ]cohsp_1__1476_16.min1.thm1.tptp2017-02-06 16:48 375  
[ ]cohsp_1__1489_9.min1.thm12017-02-06 12:46 805  
[ ]cohsp_1__1490_16.min1.thm12017-02-06 12:46 464  
[ ]cohsp_1__1490_16.min1.thm1.tptp2017-02-06 16:48 408  
[ ]cohsp_1__1503_13.min1.thm12017-02-06 12:46 478  
[ ]cohsp_1__1504_48.min1.thm12017-02-06 12:46 897  
[ ]cohsp_1__1522_20.min1.thm12017-02-06 12:46 716  
[ ]cohsp_1__1524_17.min1.thm12017-02-06 12:46 814  
[ ]cohsp_1__1525_13.min1.thm12017-02-06 12:46 730  
[ ]cohsp_1__1526_17.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__1538_31.min1.thm12017-02-06 12:46 2.0K 
[ ]cohsp_1__1539_24.min1.thm12017-02-06 12:46 595  
[ ]cohsp_1__1539_24.min1.thm1.tptp2017-02-06 16:48 524  
[ ]cohsp_1__1555_35.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__1556_55.min1.thm12017-02-06 12:46 631  
[ ]cohsp_1__1557_15.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1568_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1569_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1573_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1581_21.min1.thm12017-02-06 12:46 2.1K 
[ ]cohsp_1__1587_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1599_23.min1.thm12017-02-06 12:46 562  
[ ]cohsp_1__1599_23.min1.thm1.tptp2017-02-06 16:48 492  
[ ]cohsp_1__1609_27.min1.thm12017-02-06 12:46 696  
[ ]cohsp_1__1609_27.min1.thm1.tptp2017-02-06 16:48 626  
[ ]cohsp_1__1610_34.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__1611_15.min1.thm12017-02-06 12:46 1.8K 
[ ]cohsp_1__1640_14.min1.thm12017-02-06 12:46 588  
[ ]cohsp_1__1641_36.min1.thm12017-02-06 12:46 525  
[ ]cohsp_1__1642_19.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1648_20.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1652_20.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1653_50.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__1654_26.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1655_58.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__1656_19.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1657_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__1658_26.min1.thm12017-02-06 12:46 967  
[ ]cohsp_1__1660_19.min1.thm12017-02-06 12:46 721  
[ ]cohsp_1__1667_20.min1.thm12017-02-06 12:46 593  
[ ]cohsp_1__1670_18.min1.thm12017-02-06 12:46 954  
[ ]cohsp_1__1671_13.min1.thm12017-02-06 12:46 473  
[ ]cohsp_1__1672_19.min1.thm12017-02-06 12:46 771  
[ ]cohsp_1__1674_22.min1.thm12017-02-06 12:46 490  
[ ]cohsp_1__1674_22.min1.thm1.tptp2017-02-06 16:48 415  
[ ]cohsp_1__1676_17.min1.thm12017-02-06 12:46 626  
[ ]cohsp_1__1686_39.min1.thm12017-02-06 12:46 630  
[ ]cohsp_1__1687_21.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1689_28.min1.thm12017-02-06 12:46 854  
[ ]cohsp_1__1690_21.min1.thm12017-02-06 12:46 877  
[ ]cohsp_1__1691_19.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__1702_17.min1.thm12017-02-06 12:46 374  
[ ]cohsp_1__1702_17.min1.thm1.tptp2017-02-06 16:48 304  
[ ]cohsp_1__1704_20.min1.thm12017-02-06 12:46 661  
[ ]cohsp_1__1706_22.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1707_24.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__1712_48.min1.thm12017-02-06 12:46 1.7K 
[ ]cohsp_1__1713_22.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__1714_15.min1.thm12017-02-06 12:46 1.9K 
[ ]cohsp_1__1718_13.min1.thm12017-02-06 12:46 873  
[ ]cohsp_1__1719_19.min1.thm12017-02-06 12:46 1.7K 
[ ]cohsp_1__1721_16.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__1754_26.min1.thm12017-02-06 12:46 528  
[ ]cohsp_1__1756_15.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1765_19.min1.thm12017-02-06 12:46 614  
[ ]cohsp_1__1765_19.min1.thm1.tptp2017-02-06 16:48 537  
[ ]cohsp_1__1793_21.min1.thm12017-02-06 12:46 669  
[ ]cohsp_1__1804_32.min1.thm12017-02-06 12:46 956  
[ ]cohsp_1__1804_32.min1.thm1.tptp2017-02-06 16:48 957  
[ ]cohsp_1__1822_22.min1.thm12017-02-06 12:46 512  
[ ]cohsp_1__1824_29.min1.thm12017-02-06 12:46 838  
[ ]cohsp_1__1824_29.min1.thm1.tptp2017-02-06 16:48 780  
[ ]cohsp_1__1844_35.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1848_16.min1.thm12017-02-06 12:46 453  
[ ]cohsp_1__1848_16.min1.thm1.tptp2017-02-06 16:48 375  
[ ]cohsp_1__1861_16.min1.thm12017-02-06 12:46 570  
[ ]cohsp_1__1861_16.min1.thm1.tptp2017-02-06 16:48 523  
[ ]cohsp_1__1881_15.min1.thm12017-02-06 12:46 939  
[ ]cohsp_1__1882_15.min1.thm12017-02-06 12:46 533  
[ ]cohsp_1__1883_15.min1.thm12017-02-06 12:46 605  
[ ]cohsp_1__1884_17.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__1897_17.min1.thm12017-02-06 12:46 885  
[ ]cohsp_1__1898_13.min1.thm12017-02-06 12:46 899  
[ ]cohsp_1__1902_15.min1.thm12017-02-06 12:46 939  
[ ]cohsp_1__1903_15.min1.thm12017-02-06 12:46 531  
[ ]cohsp_1__1914_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1918_36.min1.thm12017-02-06 12:46 372  
[ ]cohsp_1__1918_36.min1.thm1.tptp2017-02-06 16:48 294  
[ ]cohsp_1__1919_14.min1.thm12017-02-06 12:46 423  
[ ]cohsp_1__1920_18.min1.thm12017-02-06 12:46 657  
[ ]cohsp_1__1926_30.min1.thm12017-02-06 12:46 1.8K 
[ ]cohsp_1__1927_14.min1.thm12017-02-06 12:46 330  
[ ]cohsp_1__1927_14.min1.thm1.tptp2017-02-06 16:48 250  
[ ]cohsp_1__1928_18.min1.thm12017-02-06 12:46 658  
[ ]cohsp_1__1931_17.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__1941_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1946_12.min1.thm12017-02-06 12:46 358  
[ ]cohsp_1__1946_12.min1.thm1.tptp2017-02-06 16:48 284  
[ ]cohsp_1__1948_15.min1.thm12017-02-06 12:46 705  
[ ]cohsp_1__1949_12.min1.thm12017-02-06 12:46 265  
[ ]cohsp_1__1951_15.min1.thm12017-02-06 12:46 612  
[ ]cohsp_1__1952_50.min1.thm12017-02-06 12:46 750  
[ ]cohsp_1__1953_9.min1.thm12017-02-06 12:46 461  
[ ]cohsp_1__1961_31.min1.thm12017-02-06 12:46 553  
[ ]cohsp_1__1961_31.min1.thm1.tptp2017-02-06 16:48 491  
[ ]cohsp_1__1964_12.min1.thm12017-02-06 12:46 332  
[ ]cohsp_1__1964_12.min1.thm1.tptp2017-02-06 16:48 252  
[ ]cohsp_1__1978_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__1986_34.min1.thm12017-02-06 12:46 737  
[ ]cohsp_1__1993_13.min1.thm12017-02-06 12:46 485  
[ ]cohsp_1__1994_18.min1.thm12017-02-06 12:46 570  
[ ]cohsp_1__1995_18.min1.thm12017-02-06 12:46 398  
[ ]cohsp_1__2000_15.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2002_17.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2011_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2012_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2016_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2028_23.min1.thm12017-02-06 12:46 562  
[ ]cohsp_1__2028_23.min1.thm1.tptp2017-02-06 16:48 492  
[ ]cohsp_1__2038_26.min1.thm12017-02-06 12:46 696  
[ ]cohsp_1__2038_26.min1.thm1.tptp2017-02-06 16:48 626  
[ ]cohsp_1__2039_34.min1.thm12017-02-06 12:46 1.8K 
[ ]cohsp_1__2040_15.min1.thm12017-02-06 12:46 2.0K 
[ ]cohsp_1__2068_41.min1.thm12017-02-06 12:46 525  
[ ]cohsp_1__2069_20.min1.thm12017-02-06 12:46 593  
[ ]cohsp_1__2072_17.min1.thm12017-02-06 12:46 954  
[ ]cohsp_1__2073_13.min1.thm12017-02-06 12:46 473  
[ ]cohsp_1__2074_19.min1.thm12017-02-06 12:46 771  
[ ]cohsp_1__2076_22.min1.thm12017-02-06 12:46 491  
[ ]cohsp_1__2076_22.min1.thm1.tptp2017-02-06 16:48 416  
[ ]cohsp_1__2078_17.min1.thm12017-02-06 12:46 626  
[ ]cohsp_1__2085_14.min1.thm12017-02-06 12:46 321  
[ ]cohsp_1__2085_14.min1.thm1.tptp2017-02-06 16:48 235  
[ ]cohsp_1__2086_22.min1.thm12017-02-06 12:46 874  
[ ]cohsp_1__2087_25.min1.thm12017-02-06 12:46 596  
[ ]cohsp_1__2090_18.min1.thm12017-02-06 12:46 956  
[ ]cohsp_1__2091_22.min1.thm12017-02-06 12:46 381  
[ ]cohsp_1__2091_22.min1.thm1.tptp2017-02-06 16:48 303  
[ ]cohsp_1__2093_19.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2094_23.min1.thm12017-02-06 12:46 1.7K 
[ ]cohsp_1__2096_19.min1.thm12017-02-06 12:46 544  
[ ]cohsp_1__2104_15.min1.thm12017-02-06 12:46 588  
[ ]cohsp_1__2105_36.min1.thm12017-02-06 12:46 525  
[ ]cohsp_1__2106_20.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2112_20.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2116_20.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2117_26.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2118_26.min1.thm12017-02-06 12:46 1.8K 
[ ]cohsp_1__2120_19.min1.thm12017-02-06 12:46 721  
[ ]cohsp_1__2128_39.min1.thm12017-02-06 12:46 630  
[ ]cohsp_1__2129_21.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2131_28.min1.thm12017-02-06 12:46 854  
[ ]cohsp_1__2132_21.min1.thm12017-02-06 12:46 877  
[ ]cohsp_1__2133_19.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__2144_17.min1.thm12017-02-06 12:46 374  
[ ]cohsp_1__2144_17.min1.thm1.tptp2017-02-06 16:48 304  
[ ]cohsp_1__2146_20.min1.thm12017-02-06 12:46 661  
[ ]cohsp_1__2148_22.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2155_45.min1.thm12017-02-06 12:46 606  
[ ]cohsp_1__2156_25.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__2159_22.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2160_17.min1.thm12017-02-06 12:46 956  
[ ]cohsp_1__2161_28.min1.thm12017-02-06 12:46 661  
[ ]cohsp_1__2162_21.min1.thm12017-02-06 12:46 1.9K 
[ ]cohsp_1__2163_23.min1.thm12017-02-06 12:46 589  
[ ]cohsp_1__2165_24.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__2170_33.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__2171_25.min1.thm12017-02-06 12:46 626  
[ ]cohsp_1__2174_18.min1.thm12017-02-06 12:46 954  
[ ]cohsp_1__2175_36.min1.thm12017-02-06 12:46 1.8K 
[ ]cohsp_1__2176_17.min1.thm12017-02-06 12:46 713  
[ ]cohsp_1__2177_45.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__2178_17.min1.thm12017-02-06 12:46 863  
[ ]cohsp_1__2179_25.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2181_16.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__2182_13.min1.thm12017-02-06 12:46 616  
[ ]cohsp_1__2185_16.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__2213_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2223_18.min1.thm12017-02-06 12:46 1.7K 
[ ]cohsp_1__2224_26.min1.thm12017-02-06 12:46 500  
[ ]cohsp_1__2232_19.min1.thm12017-02-06 12:46 614  
[ ]cohsp_1__2232_19.min1.thm1.tptp2017-02-06 16:48 537  
[ ]cohsp_1__2243_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2251_36.min1.thm12017-02-06 12:46 745  
[ ]cohsp_1__2259_15.min1.thm12017-02-06 12:46 576  
[ ]cohsp_1__2260_20.min1.thm12017-02-06 12:46 665  
[ ]cohsp_1__2261_20.min1.thm12017-02-06 12:46 416  
[ ]cohsp_1__2264_18.min1.thm12017-02-06 12:46 387  
[ ]cohsp_1__2269_15.min1.thm12017-02-06 12:46 1.9K 
[ ]cohsp_1__2271_17.min1.thm12017-02-06 12:46 960  
[ ]cohsp_1__2279_52.min1.thm12017-02-06 12:46 372  
[ ]cohsp_1__2279_52.min1.thm1.tptp2017-02-06 16:48 303  
[ ]cohsp_1__2281_28.min1.thm12017-02-06 12:46 644  
[ ]cohsp_1__2284_14.min1.thm12017-02-06 12:46 756  
[ ]cohsp_1__2297_35.min1.thm12017-02-06 12:46 879  
[ ]cohsp_1__2298_62.min1.thm12017-02-06 12:46 673  
[ ]cohsp_1__2306_21.min1.thm12017-02-06 12:46 608  
[ ]cohsp_1__2308_13.min1.thm12017-02-06 12:46 478  
[ ]cohsp_1__2309_22.min1.thm12017-02-06 12:46 608  
[ ]cohsp_1__2310_18.min1.thm12017-02-06 12:46 478  
[ ]cohsp_1__2311_25.min1.thm12017-02-06 12:46 394  
[ ]cohsp_1__2312_26.min1.thm12017-02-06 12:46 662  
[ ]cohsp_1__2319_44.min1.thm12017-02-06 12:46 769  
[ ]cohsp_1__2320_19.min1.thm12017-02-06 12:46 568  
[ ]cohsp_1__2325_21.min1.thm12017-02-06 12:46 639  
[ ]cohsp_1__2326_26.min1.thm12017-02-06 12:46 540  
[ ]cohsp_1__2342_23.min1.thm12017-02-06 12:46 650  
[ ]cohsp_1__2351_22.min1.thm12017-02-06 12:46 701  
[ ]cohsp_1__2352_19.min1.thm12017-02-06 12:46 488  
[ ]cohsp_1__2353_21.min1.thm12017-02-06 12:46 345  
[ ]cohsp_1__2353_21.min1.thm1.tptp2017-02-06 16:48 280  
[ ]cohsp_1__2357_22.min1.thm12017-02-06 12:46 456  
[ ]cohsp_1__2357_22.min1.thm1.tptp2017-02-06 16:48 378  
[ ]cohsp_1__2358_22.min1.thm12017-02-06 12:46 596  
[ ]cohsp_1__2363_40.min1.thm12017-02-06 12:46 395  
[ ]cohsp_1__2363_40.min1.thm1.tptp2017-02-06 16:48 315  
[ ]cohsp_1__2368_18.min1.thm12017-02-06 12:46 795  
[ ]cohsp_1__2391_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2392_23.min1.thm12017-02-06 12:46 2.5K 
[ ]cohsp_1__2393_26.min1.thm12017-02-06 12:46 500  
[ ]cohsp_1__2418_14.min1.thm12017-02-06 12:46 563  
[ ]cohsp_1__2422_14.min1.thm12017-02-06 12:46 563  
[ ]cohsp_1__2423_38.min1.thm12017-02-06 12:46 444  
[ ]cohsp_1__2423_38.min1.thm1.tptp2017-02-06 16:48 370  
[ ]cohsp_1__2424_66.min1.thm12017-02-06 12:46 870  
[ ]cohsp_1__2434_15.min1.thm12017-02-06 12:46 563  
[ ]cohsp_1__2438_15.min1.thm12017-02-06 12:46 563  
[ ]cohsp_1__2439_39.min1.thm12017-02-06 12:46 444  
[ ]cohsp_1__2439_39.min1.thm1.tptp2017-02-06 16:48 370  
[ ]cohsp_1__2440_66.min1.thm12017-02-06 12:46 870  
[ ]cohsp_1__2448_14.min1.thm12017-02-06 12:46 409  
[ ]cohsp_1__2448_14.min1.thm1.tptp2017-02-06 16:48 354  
[ ]cohsp_1__2449_14.min1.thm12017-02-06 12:46 263  
[ ]cohsp_1__2451_19.min1.thm12017-02-06 12:46 837  
[ ]cohsp_1__2458_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2459_23.min1.thm12017-02-06 12:46 1.8K 
[ ]cohsp_1__2460_26.min1.thm12017-02-06 12:46 502  
[ ]cohsp_1__2468_14.min1.thm12017-02-06 12:46 409  
[ ]cohsp_1__2468_14.min1.thm1.tptp2017-02-06 16:48 354  
[ ]cohsp_1__2469_14.min1.thm12017-02-06 12:46 263  
[ ]cohsp_1__2470_64.min1.thm12017-02-06 12:46 837  
[ ]cohsp_1__2471_19.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__2490_6.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__2490_6.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]cohsp_1__2501_18.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__2513_24.min1.thm12017-02-06 12:46 436  
[ ]cohsp_1__2513_24.min1.thm1.tptp2017-02-06 16:48 356  
[ ]cohsp_1__2519_61.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2521_67.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__2522_21.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2530_25.min1.thm12017-02-06 12:46 569  
[ ]cohsp_1__2530_25.min1.thm1.tptp2017-02-06 16:48 495  
[ ]cohsp_1__2531_72.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__2534_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__2551_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2554_25.min1.thm12017-02-06 12:46 636  
[ ]cohsp_1__2556_17.min1.thm12017-02-06 12:46 764  
[ ]cohsp_1__2570_26.min1.thm12017-02-06 12:46 463  
[ ]cohsp_1__2570_26.min1.thm1.tptp2017-02-06 16:48 408  
[ ]cohsp_1__2571_59.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2572_44.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2573_19.min1.thm12017-02-06 12:46 919  
[ ]cohsp_1__2579_21.min1.thm12017-02-06 12:46 563  
[ ]cohsp_1__2580_25.min1.thm12017-02-06 12:46 564  
[ ]cohsp_1__2581_21.min1.thm12017-02-06 12:46 475  
[ ]cohsp_1__2584_54.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__2585_17.min1.thm12017-02-06 12:46 697  
[ ]cohsp_1__2600_73.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__2602_60.min1.thm12017-02-06 12:46 624  
[ ]cohsp_1__2602_60.min1.thm1.tptp2017-02-06 16:48 574  
[ ]cohsp_1__2615_33.min1.thm12017-02-06 12:46 879  
[ ]cohsp_1__2617_36.min1.thm12017-02-06 12:46 879  
[ ]cohsp_1__2618_70.min1.thm12017-02-06 12:46 880  
[ ]cohsp_1__2628_43.min1.thm12017-02-06 12:46 754  
[ ]cohsp_1__2630_44.min1.thm12017-02-06 12:46 755  
[ ]cohsp_1__2631_43.min1.thm12017-02-06 12:46 754  
[ ]cohsp_1__2632_48.min1.thm12017-02-06 12:46 755  
[ ]cohsp_1__2635_26.min1.thm12017-02-06 12:46 904  
[ ]cohsp_1__2645_41.min1.thm12017-02-06 12:46 754  
[ ]cohsp_1__2647_42.min1.thm12017-02-06 12:46 755  
[ ]cohsp_1__2648_41.min1.thm12017-02-06 12:46 754  
[ ]cohsp_1__2654_36.min1.thm12017-02-06 12:46 670  
[ ]cohsp_1__2655_26.min1.thm12017-02-06 12:46 708  
[ ]cohsp_1__2658_29.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2671_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2679_17.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__2680_15.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__2685_15.min1.thm12017-02-06 12:46 350  
[ ]cohsp_1__2685_15.min1.thm1.tptp2017-02-06 16:48 272  
[ ]cohsp_1__2687_18.min1.thm12017-02-06 12:46 265  
[ ]cohsp_1__2688_18.min1.thm12017-02-06 12:46 909  
[ ]cohsp_1__2704_24.min1.thm12017-02-06 12:46 673  
[ ]cohsp_1__2710_15.min1.thm12017-02-06 12:46 438  
[ ]cohsp_1__2711_20.min1.thm12017-02-06 12:46 531  
[ ]cohsp_1__2712_20.min1.thm12017-02-06 12:46 416  
[ ]cohsp_1__2716_15.min1.thm12017-02-06 12:46 567  
[ ]cohsp_1__2718_13.min1.thm12017-02-06 12:46 414  
[ ]cohsp_1__2719_32.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__2722_18.min1.thm12017-02-06 12:46 489  
[ ]cohsp_1__2722_18.min1.thm1.tptp2017-02-06 16:48 412  
[ ]cohsp_1__2723_19.min1.thm12017-02-06 12:46 492  
[ ]cohsp_1__2740_32.min1.thm12017-02-06 12:46 664  
[ ]cohsp_1__2740_32.min1.thm1.tptp2017-02-06 16:48 639  
[ ]cohsp_1__2741_73.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__2758_18.min1.thm12017-02-06 12:46 908  
[ ]cohsp_1__2760_20.min1.thm12017-02-06 12:46 612  
[ ]cohsp_1__2761_19.min1.thm12017-02-06 12:46 928  
[ ]cohsp_1__2763_22.min1.thm12017-02-06 12:46 595  
[ ]cohsp_1__2764_17.min1.thm12017-02-06 12:46 285  
[ ]cohsp_1__2765_27.min1.thm12017-02-06 12:46 539  
[ ]cohsp_1__2781_12.min1.thm12017-02-06 12:46 486  
[ ]cohsp_1__2782_31.min1.thm12017-02-06 12:46 833  
[ ]cohsp_1__2796_47.min1.thm12017-02-06 12:46 766  
[ ]cohsp_1__2800_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2809_28.min1.thm12017-02-06 12:46 795  
[ ]cohsp_1__2810_17.min1.thm12017-02-06 12:46 972  
[ ]cohsp_1__2826_17.min1.thm12017-02-06 12:46 288  
[ ]cohsp_1__2827_19.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2830_22.min1.thm12017-02-06 12:46 522  
[ ]cohsp_1__2832_21.min1.thm12017-02-06 12:46 783  
[ ]cohsp_1__2834_16.min1.thm12017-02-06 12:46 485  
[ ]cohsp_1__2834_16.min1.thm1.tptp2017-02-06 16:48 407  
[ ]cohsp_1__2845_62.min1.thm12017-02-06 12:46 835  
[ ]cohsp_1__2846_16.min1.thm12017-02-06 12:46 429  
[ ]cohsp_1__2846_16.min1.thm1.tptp2017-02-06 16:48 369  
[ ]cohsp_1__2864_8.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__2864_8.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]cohsp_1__2876_18.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__2887_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__2890_46.min1.thm12017-02-06 12:46 376  
[ ]cohsp_1__2890_46.min1.thm1.tptp2017-02-06 16:48 298  
[ ]cohsp_1__2891_16.min1.thm12017-02-06 12:46 442  
[ ]cohsp_1__2892_20.min1.thm12017-02-06 12:46 692  
[ ]cohsp_1__2898_34.min1.thm12017-02-06 12:46 1.7K 
[ ]cohsp_1__2899_16.min1.thm12017-02-06 12:46 355  
[ ]cohsp_1__2899_16.min1.thm1.tptp2017-02-06 16:48 275  
[ ]cohsp_1__2900_20.min1.thm12017-02-06 12:46 693  
[ ]cohsp_1__2903_17.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__2918_23.min1.thm12017-02-06 12:46 332  
[ ]cohsp_1__2922_17.min1.thm12017-02-06 12:46 399  
[ ]cohsp_1__2975_41.min1.thm12017-02-06 12:46 524  
[ ]cohsp_1__2976_16.min1.thm12017-02-06 12:46 584  
[ ]cohsp_1__2979_13.min1.thm12017-02-06 12:46 951  
[ ]cohsp_1__2981_15.min1.thm12017-02-06 12:46 430  
[ ]cohsp_1__2982_21.min1.thm12017-02-06 12:46 799  
[ ]cohsp_1__2983_37.min1.thm12017-02-06 12:46 665  
[ ]cohsp_1__2989_14.min1.thm12017-02-06 12:46 330  
[ ]cohsp_1__2989_14.min1.thm1.tptp2017-02-06 16:48 244  
[ ]cohsp_1__2990_22.min1.thm12017-02-06 12:46 880  
[ ]cohsp_1__2991_21.min1.thm12017-02-06 12:46 587  
[ ]cohsp_1__2994_14.min1.thm12017-02-06 12:46 953  
[ ]cohsp_1__2995_18.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__2996_23.min1.thm12017-02-06 12:46 744  
[ ]cohsp_1__2997_19.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3005_15.min1.thm12017-02-06 12:46 598  
[ ]cohsp_1__3006_36.min1.thm12017-02-06 12:46 524  
[ ]cohsp_1__3007_16.min1.thm12017-02-06 12:46 852  
[ ]cohsp_1__3013_16.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3017_16.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3018_22.min1.thm12017-02-06 12:46 960  
[ ]cohsp_1__3019_26.min1.thm12017-02-06 12:46 890  
[ ]cohsp_1__3021_19.min1.thm12017-02-06 12:46 732  
[ ]cohsp_1__3029_39.min1.thm12017-02-06 12:46 633  
[ ]cohsp_1__3030_18.min1.thm12017-02-06 12:46 707  
[ ]cohsp_1__3031_19.min1.thm12017-02-06 12:46 917  
[ ]cohsp_1__3032_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3046_17.min1.thm12017-02-06 12:46 419  
[ ]cohsp_1__3046_17.min1.thm1.tptp2017-02-06 16:48 364  
[ ]cohsp_1__3047_18.min1.thm12017-02-06 12:46 364  
[ ]cohsp_1__3047_18.min1.thm1.tptp2017-02-06 16:48 286  
[ ]cohsp_1__3048_50.min1.thm12017-02-06 12:46 695  
[ ]cohsp_1__3049_33.min1.thm12017-02-06 12:46 1.7K 
[ ]cohsp_1__3050_17.min1.thm12017-02-06 12:46 278  
[ ]cohsp_1__3051_24.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3056_22.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3057_23.min1.thm12017-02-06 12:46 1.8K 
[ ]cohsp_1__3058_51.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3059_19.min1.thm12017-02-06 12:46 622  
[ ]cohsp_1__3061_16.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__3094_15.min1.thm12017-02-06 12:46 582  
[ ]cohsp_1__3094_15.min1.thm1.tptp2017-02-06 16:48 505  
[ ]cohsp_1__3103_58.min1.thm12017-02-06 12:46 386  
[ ]cohsp_1__3103_58.min1.thm1.tptp2017-02-06 16:48 317  
[ ]cohsp_1__3106_44.min1.thm12017-02-06 12:46 790  
[ ]cohsp_1__3120_36.min1.thm12017-02-06 12:46 657  
[ ]cohsp_1__3121_68.min1.thm12017-02-06 12:46 705  
[ ]cohsp_1__3130_21.min1.thm12017-02-06 12:46 621  
[ ]cohsp_1__3132_13.min1.thm12017-02-06 12:46 486  
[ ]cohsp_1__3133_22.min1.thm12017-02-06 12:46 621  
[ ]cohsp_1__3134_18.min1.thm12017-02-06 12:46 486  
[ ]cohsp_1__3135_25.min1.thm12017-02-06 12:46 404  
[ ]cohsp_1__3136_26.min1.thm12017-02-06 12:46 677  
[ ]cohsp_1__3143_44.min1.thm12017-02-06 12:46 876  
[ ]cohsp_1__3144_19.min1.thm12017-02-06 12:46 580  
[ ]cohsp_1__3158_46.min1.thm12017-02-06 12:46 626  
[ ]cohsp_1__3163_24.min1.thm12017-02-06 12:46 664  
[ ]cohsp_1__3165_17.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3177_27.min1.thm12017-02-06 12:46 720  
[ ]cohsp_1__3178_19.min1.thm12017-02-06 12:46 496  
[ ]cohsp_1__3179_21.min1.thm12017-02-06 12:46 352  
[ ]cohsp_1__3179_21.min1.thm1.tptp2017-02-06 16:48 287  
[ ]cohsp_1__3183_14.min1.thm12017-02-06 12:46 416  
[ ]cohsp_1__3184_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__3186_22.min1.thm12017-02-06 12:46 1.8K 
[ ]cohsp_1__3187_22.min1.thm12017-02-06 12:46 614  
[ ]cohsp_1__3192_40.min1.thm12017-02-06 12:46 405  
[ ]cohsp_1__3192_40.min1.thm1.tptp2017-02-06 16:48 325  
[ ]cohsp_1__3199_11.min1.thm12017-02-06 12:46 341  
[ ]cohsp_1__3199_11.min1.thm1.tptp2017-02-06 16:48 276  
[ ]cohsp_1__3201_14.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3203_23.min1.thm12017-02-06 12:46 817  
[ ]cohsp_1__3240_14.min1.thm12017-02-06 12:46 571  
[ ]cohsp_1__3244_14.min1.thm12017-02-06 12:46 571  
[ ]cohsp_1__3245_38.min1.thm12017-02-06 12:46 451  
[ ]cohsp_1__3245_38.min1.thm1.tptp2017-02-06 16:48 377  
[ ]cohsp_1__3246_69.min1.thm12017-02-06 12:46 898  
[ ]cohsp_1__3256_15.min1.thm12017-02-06 12:46 571  
[ ]cohsp_1__3260_15.min1.thm12017-02-06 12:46 571  
[ ]cohsp_1__3261_39.min1.thm12017-02-06 12:46 451  
[ ]cohsp_1__3261_39.min1.thm1.tptp2017-02-06 16:48 377  
[ ]cohsp_1__3262_69.min1.thm12017-02-06 12:46 898  
[ ]cohsp_1__3272_14.min1.thm12017-02-06 12:46 415  
[ ]cohsp_1__3272_14.min1.thm1.tptp2017-02-06 16:48 360  
[ ]cohsp_1__3273_14.min1.thm12017-02-06 12:46 267  
[ ]cohsp_1__3274_67.min1.thm12017-02-06 12:46 861  
[ ]cohsp_1__3275_19.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3288_24.min1.thm12017-02-06 12:46 449  
[ ]cohsp_1__3288_24.min1.thm1.tptp2017-02-06 16:48 369  
[ ]cohsp_1__3294_64.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3296_70.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3297_21.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3305_25.min1.thm12017-02-06 12:46 586  
[ ]cohsp_1__3305_25.min1.thm1.tptp2017-02-06 16:48 512  
[ ]cohsp_1__3306_75.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3310_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3325_25.min1.thm12017-02-06 12:46 473  
[ ]cohsp_1__3325_25.min1.thm1.tptp2017-02-06 16:48 418  
[ ]cohsp_1__3326_62.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3327_19.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3333_20.min1.thm12017-02-06 12:46 570  
[ ]cohsp_1__3334_18.min1.thm12017-02-06 12:46 570  
[ ]cohsp_1__3337_53.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3338_17.min1.thm12017-02-06 12:46 713  
[ ]cohsp_1__3353_37.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3354_28.min1.thm12017-02-06 12:46 645  
[ ]cohsp_1__3356_27.min1.thm12017-02-06 12:46 1.9K 
[ ]cohsp_1__3359_28.min1.thm12017-02-06 12:46 732  
[ ]cohsp_1__3361_27.min1.thm12017-02-06 12:46 1.9K 
[ ]cohsp_1__3364_31.min1.thm12017-02-06 12:46 329  
[ ]cohsp_1__3365_32.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__3366_17.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3367_39.min1.thm12017-02-06 12:46 946  
[ ]cohsp_1__3374_37.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3380_56.min1.thm12017-02-06 12:46 740  
[ ]cohsp_1__3387_30.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3391_32.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3395_46.min1.thm12017-02-06 12:46 859  
[ ]cohsp_1__3396_34.min1.thm12017-02-06 12:46 794  
[ ]cohsp_1__3397_36.min1.thm12017-02-06 12:46 290  
[ ]cohsp_1__3401_35.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3408_46.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3411_44.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3422_13.min1.thm12017-02-06 12:46 131  
[ ]cohsp_1__3432_14.min1.thm12017-02-06 12:46 867  
[ ]cohsp_1__3440_45.min1.thm12017-02-06 12:46 350  
[ ]cohsp_1__3440_45.min1.thm1.tptp2017-02-06 16:48 281  
[ ]cohsp_1__3444_27.min1.thm12017-02-06 12:46 923  
[ ]cohsp_1__3446_21.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3447_30.min1.thm12017-02-06 12:46 345  
[ ]cohsp_1__3447_30.min1.thm1.tptp2017-02-06 16:48 265  
[ ]cohsp_1__3453_63.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3456_52.min1.thm12017-02-06 12:46 693  
[ ]cohsp_1__3460_25.min1.thm12017-02-06 12:46 521  
[ ]cohsp_1__3460_25.min1.thm1.tptp2017-02-06 16:48 446  
[ ]cohsp_1__3462_27.min1.thm12017-02-06 12:46 471  
[ ]cohsp_1__3462_27.min1.thm1.tptp2017-02-06 16:48 396  
[ ]cohsp_1__3463_31.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__3465_24.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3473_31.min1.thm12017-02-06 12:46 574  
[ ]cohsp_1__3476_34.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3477_18.min1.thm12017-02-06 12:46 614  
[ ]cohsp_1__3479_41.min1.thm12017-02-06 12:46 429  
[ ]cohsp_1__3479_41.min1.thm1.tptp2017-02-06 16:48 351  
[ ]cohsp_1__3480_55.min1.thm12017-02-06 12:46 499  
[ ]cohsp_1__3483_15.min1.thm12017-02-06 12:46 327  
[ ]cohsp_1__3487_29.min1.thm12017-02-06 12:46 545  
[ ]cohsp_1__3491_51.min1.thm12017-02-06 12:46 437  
[ ]cohsp_1__3491_51.min1.thm1.tptp2017-02-06 16:48 357  
[ ]cohsp_1__3493_31.min1.thm12017-02-06 12:46 139  
[ ]cohsp_1__3501_19.min1.thm12017-02-06 12:46 747  
[ ]cohsp_1__3502_19.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3505_19.min1.thm12017-02-06 12:46 569  
[ ]cohsp_1__3506_19.min1.thm12017-02-06 12:46 745  
[ ]cohsp_1__3509_19.min1.thm12017-02-06 12:46 543  
[ ]cohsp_1__3510_30.min1.thm12017-02-06 12:46 635  
[ ]cohsp_1__3513_67.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3515_27.min1.thm12017-02-06 12:46 539  
[ ]cohsp_1__3515_27.min1.thm1.tptp2017-02-06 16:48 464  
[ ]cohsp_1__3516_29.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3518_25.min1.thm12017-02-06 12:46 881  
[ ]cohsp_1__3519_20.min1.thm12017-02-06 12:46 687  
[ ]cohsp_1__3520_30.min1.thm12017-02-06 12:46 885  
[ ]cohsp_1__3521_26.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__3522_25.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__3526_16.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3539_19.min1.thm12017-02-06 12:46 441  
[ ]cohsp_1__3539_19.min1.thm1.tptp2017-02-06 16:48 386  
[ ]cohsp_1__3540_19.min1.thm12017-02-06 12:46 641  
[ ]cohsp_1__3541_25.min1.thm12017-02-06 12:46 848  
[ ]cohsp_1__3546_21.min1.thm12017-02-06 12:46 366  
[ ]cohsp_1__3546_21.min1.thm1.tptp2017-02-06 16:48 288  
[ ]cohsp_1__3547_63.min1.thm12017-02-06 12:46 313  
[ ]cohsp_1__3549_17.min1.thm12017-02-06 12:46 475  
[ ]cohsp_1__3549_17.min1.thm1.tptp2017-02-06 16:48 413  
[ ]cohsp_1__3562_10.min1.thm12017-02-06 12:46 499  
[ ]cohsp_1__3576_24.min1.thm12017-02-06 12:46 223  
[ ]cohsp_1__3578_40.min1.thm12017-02-06 12:46 277  
[ ]cohsp_1__3586_19.min1.thm12017-02-06 12:46 479  
[ ]cohsp_1__3586_19.min1.thm1.tptp2017-02-06 16:48 417  
[ ]cohsp_1__3587_15.min1.thm12017-02-06 12:46 547  
[ ]cohsp_1__3588_18.min1.thm12017-02-06 12:46 424  
[ ]cohsp_1__3588_18.min1.thm1.tptp2017-02-06 16:48 370  
[ ]cohsp_1__3591_23.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3595_41.min1.thm12017-02-06 12:46 620  
[ ]cohsp_1__3596_23.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3608_65.min1.thm12017-02-06 12:46 715  
[ ]cohsp_1__3608_65.min1.thm1.tptp2017-02-06 16:48 654  
[ ]cohsp_1__3609_30.min1.thm12017-02-06 12:46 450  
[ ]cohsp_1__3609_30.min1.thm1.tptp2017-02-06 16:48 375  
[ ]cohsp_1__3610_53.min1.thm12017-02-06 12:46 716  
[ ]cohsp_1__3630_30.min1.thm12017-02-06 12:46 450  
[ ]cohsp_1__3630_30.min1.thm1.tptp2017-02-06 16:48 375  
[ ]cohsp_1__3637_23.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3638_28.min1.thm12017-02-06 12:46 797  
[ ]cohsp_1__3640_24.min1.thm12017-02-06 12:46 662  
[ ]cohsp_1__3641_17.min1.thm12017-02-06 12:46 398  
[ ]cohsp_1__3641_17.min1.thm1.tptp2017-02-06 16:48 348  
[ ]cohsp_1__3642_25.min1.thm12017-02-06 12:46 938  
[ ]cohsp_1__3644_12.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3645_17.min1.thm12017-02-06 12:46 312  
[ ]cohsp_1__3646_25.min1.thm12017-02-06 12:46 853  
[ ]cohsp_1__3647_17.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3648_23.min1.thm12017-02-06 12:46 413  
[ ]cohsp_1__3651_17.min1.thm12017-02-06 12:46 792  
[ ]cohsp_1__3658_28.min1.thm12017-02-06 12:46 454  
[ ]cohsp_1__3658_28.min1.thm1.tptp2017-02-06 16:48 375  
[ ]cohsp_1__3662_68.min1.thm12017-02-06 12:46 729  
[ ]cohsp_1__3668_19.min1.thm12017-02-06 12:46 466  
[ ]cohsp_1__3669_17.min1.thm12017-02-06 12:46 478  
[ ]cohsp_1__3670_22.min1.thm12017-02-06 12:46 635  
[ ]cohsp_1__3672_42.min1.thm12017-02-06 12:46 763  
[ ]cohsp_1__3673_19.min1.thm12017-02-06 12:46 466  
[ ]cohsp_1__3675_23.min1.thm12017-02-06 12:46 511  
[ ]cohsp_1__3676_18.min1.thm12017-02-06 12:46 268  
[ ]cohsp_1__3677_35.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__3679_17.min1.thm12017-02-06 12:46 958  
[ ]cohsp_1__3685_34.min1.thm12017-02-06 12:46 505  
[ ]cohsp_1__3686_12.min1.thm12017-02-06 12:46 235  
[ ]cohsp_1__3687_29.min1.thm12017-02-06 12:46 439  
[ ]cohsp_1__3688_21.min1.thm12017-02-06 12:46 648  
[ ]cohsp_1__3689_17.min1.thm12017-02-06 12:46 376  
[ ]cohsp_1__3689_17.min1.thm1.tptp2017-02-06 16:48 298  
[ ]cohsp_1__3701_34.min1.thm12017-02-06 12:46 748  
[ ]cohsp_1__3702_20.min1.thm12017-02-06 12:46 423  
[ ]cohsp_1__3703_23.min1.thm12017-02-06 12:46 527  
[ ]cohsp_1__3708_18.min1.thm12017-02-06 12:46 785  
[ ]cohsp_1__3711_29.min1.thm12017-02-06 12:46 485  
[ ]cohsp_1__3712_45.min1.thm12017-02-06 12:46 338  
[ ]cohsp_1__3718_14.min1.thm12017-02-06 12:46 316  
[ ]cohsp_1__3720_29.min1.thm12017-02-06 12:46 584  
[ ]cohsp_1__3724_15.min1.thm12017-02-06 12:46 433  
[ ]cohsp_1__3725_32.min1.thm12017-02-06 12:46 415  
[ ]cohsp_1__3728_17.min1.thm12017-02-06 12:46 622  
[ ]cohsp_1__3737_13.min1.thm12017-02-06 12:46 131  
[ ]cohsp_1__3744_20.min1.thm12017-02-06 12:46 574  
[ ]cohsp_1__3746_26.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3749_42.min1.thm12017-02-06 12:46 380  
[ ]cohsp_1__3750_60.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3752_60.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3754_74.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__3766_43.min1.thm12017-02-06 12:46 508  
[ ]cohsp_1__3766_43.min1.thm1.tptp2017-02-06 16:48 438  
[ ]cohsp_1__3767_25.min1.thm12017-02-06 12:46 469  
[ ]cohsp_1__3767_25.min1.thm1.tptp2017-02-06 16:48 408  
[ ]cohsp_1__3768_16.min1.thm12017-02-06 12:46 305  
[ ]cohsp_1__3769_43.min1.thm12017-02-06 12:46 508  
[ ]cohsp_1__3769_43.min1.thm1.tptp2017-02-06 16:48 438  
[ ]cohsp_1__3770_25.min1.thm12017-02-06 12:46 406  
[ ]cohsp_1__3771_16.min1.thm12017-02-06 12:46 398  
[ ]cohsp_1__3771_16.min1.thm1.tptp2017-02-06 16:48 325  
[ ]cohsp_1__3780_37.min1.thm12017-02-06 12:46 601  
[ ]cohsp_1__3781_42.min1.thm12017-02-06 12:46 572  
[ ]cohsp_1__3781_42.min1.thm1.tptp2017-02-06 16:48 510  
[ ]cohsp_1__3782_17.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3789_36.min1.thm12017-02-06 12:46 514  
[ ]cohsp_1__3789_36.min1.thm1.tptp2017-02-06 16:48 444  
[ ]cohsp_1__3800_36.min1.thm12017-02-06 12:46 514  
[ ]cohsp_1__3800_36.min1.thm1.tptp2017-02-06 16:48 444  
[ ]cohsp_1__3804_17.min1.thm12017-02-06 12:46 926  
[ ]cohsp_1__3818_31.min1.thm12017-02-06 12:46 622  
[ ]cohsp_1__3825_31.min1.thm12017-02-06 12:46 622  
[ ]cohsp_1__3835_49.min1.thm12017-02-06 12:46 759  
[ ]cohsp_1__3836_18.min1.thm12017-02-06 12:46 841  
[ ]cohsp_1__3837_17.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__3848_38.min1.thm12017-02-06 12:46 514  
[ ]cohsp_1__3848_38.min1.thm1.tptp2017-02-06 16:48 444  
[ ]cohsp_1__3856_22.min1.thm12017-02-06 12:46 1.7K 
[ ]cohsp_1__3857_41.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__3859_71.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3862_16.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__3869_20.min1.thm12017-02-06 12:46 853  
[ ]cohsp_1__3870_16.min1.thm12017-02-06 12:46 775  
[ ]cohsp_1__3874_34.min1.thm12017-02-06 12:46 769  
[ ]cohsp_1__3875_44.min1.thm12017-02-06 12:46 853  
[ ]cohsp_1__3876_21.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3881_34.min1.thm12017-02-06 12:46 769  
[ ]cohsp_1__3882_44.min1.thm12017-02-06 12:46 853  
[ ]cohsp_1__3883_21.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3886_32.min1.thm12017-02-06 12:46 423  
[ ]cohsp_1__3886_32.min1.thm1.tptp2017-02-06 16:48 349  
[ ]cohsp_1__3888_29.min1.thm12017-02-06 12:46 618  
[ ]cohsp_1__3889_32.min1.thm12017-02-06 12:46 423  
[ ]cohsp_1__3889_32.min1.thm1.tptp2017-02-06 16:48 349  
[ ]cohsp_1__3890_31.min1.thm12017-02-06 12:46 618  
[ ]cohsp_1__3891_17.min1.thm12017-02-06 12:46 770  
[ ]cohsp_1__3898_51.min1.thm12017-02-06 12:46 560  
[ ]cohsp_1__3898_51.min1.thm1.tptp2017-02-06 16:48 504  
[ ]cohsp_1__3899_49.min1.thm12017-02-06 12:46 560  
[ ]cohsp_1__3899_49.min1.thm1.tptp2017-02-06 16:48 504  
[ ]cohsp_1__3900_17.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3911_19.min1.thm12017-02-06 12:46 525  
[ ]cohsp_1__3912_55.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3913_46.min1.thm12017-02-06 12:46 666  
[ ]cohsp_1__3913_46.min1.thm1.tptp2017-02-06 16:48 598  
[ ]cohsp_1__3914_54.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3915_23.min1.thm12017-02-06 12:46 964  
[ ]cohsp_1__3916_34.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__3927_19.min1.thm12017-02-06 12:46 525  
[ ]cohsp_1__3929_22.min1.thm12017-02-06 12:46 753  
[ ]cohsp_1__3931_35.min1.thm12017-02-06 12:46 877  
[ ]cohsp_1__3932_17.min1.thm12017-02-06 12:46 662  
[ ]cohsp_1__3934_20.min1.thm12017-02-06 12:46 473  
[ ]cohsp_1__3934_20.min1.thm1.tptp2017-02-06 16:48 399  
[ ]cohsp_1__3935_46.min1.thm12017-02-06 12:46 666  
[ ]cohsp_1__3935_46.min1.thm1.tptp2017-02-06 16:48 598  
[ ]cohsp_1__3938_47.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__3939_30.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__3940_34.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__3948_13.min1.thm12017-02-06 12:46 131  
[ ]cohsp_1__3952_13.min1.thm12017-02-06 12:46 131  
[ ]cohsp_1__3968_25.min1.thm12017-02-06 12:46 683  
[ ]cohsp_1__3984_22.min1.thm12017-02-06 12:46 473  
[ ]cohsp_1__3984_22.min1.thm1.tptp2017-02-06 16:48 418  
[ ]cohsp_1__3987_38.min1.thm12017-02-06 12:46 851  
[ ]cohsp_1__3988_41.min1.thm12017-02-06 12:46 716  
[ ]cohsp_1__3989_19.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__3995_20.min1.thm12017-02-06 12:46 863  
[ ]cohsp_1__3996_14.min1.thm12017-02-06 12:46 805  
[ ]cohsp_1__4002_14.min1.thm12017-02-06 12:46 478  
[ ]cohsp_1__4002_14.min1.thm1.tptp2017-02-06 16:48 425  
[ ]cohsp_1__4003_36.min1.thm12017-02-06 12:46 338  
[ ]cohsp_1__4003_36.min1.thm1.tptp2017-02-06 16:48 260  
[ ]cohsp_1__4004_24.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4005_18.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4006_19.min1.thm12017-02-06 12:46 726  
[ ]cohsp_1__4013_15.min1.thm12017-02-06 12:46 478  
[ ]cohsp_1__4013_15.min1.thm1.tptp2017-02-06 16:48 425  
[ ]cohsp_1__4014_36.min1.thm12017-02-06 12:46 338  
[ ]cohsp_1__4014_36.min1.thm1.tptp2017-02-06 16:48 260  
[ ]cohsp_1__4015_25.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4016_18.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4017_19.min1.thm12017-02-06 12:46 726  
[ ]cohsp_1__4029_12.min1.thm12017-02-06 12:46 493  
[ ]cohsp_1__4030_29.min1.thm12017-02-06 12:46 910  
[ ]cohsp_1__4035_12.min1.thm12017-02-06 12:46 493  
[ ]cohsp_1__4036_29.min1.thm12017-02-06 12:46 910  
[ ]cohsp_1__4040_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4052_54.min1.thm12017-02-06 12:46 959  
[ ]cohsp_1__4055_39.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__4056_14.min1.thm12017-02-06 12:46 737  
[ ]cohsp_1__4070_22.min1.thm12017-02-06 12:46 473  
[ ]cohsp_1__4070_22.min1.thm1.tptp2017-02-06 16:48 418  
[ ]cohsp_1__4074_38.min1.thm12017-02-06 12:46 851  
[ ]cohsp_1__4075_41.min1.thm12017-02-06 12:46 716  
[ ]cohsp_1__4076_19.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4082_20.min1.thm12017-02-06 12:46 863  
[ ]cohsp_1__4083_14.min1.thm12017-02-06 12:46 805  
[ ]cohsp_1__4086_41.min1.thm12017-02-06 12:46 489  
[ ]cohsp_1__4089_14.min1.thm12017-02-06 12:46 478  
[ ]cohsp_1__4089_14.min1.thm1.tptp2017-02-06 16:48 425  
[ ]cohsp_1__4090_36.min1.thm12017-02-06 12:46 338  
[ ]cohsp_1__4090_36.min1.thm1.tptp2017-02-06 16:48 260  
[ ]cohsp_1__4091_27.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4092_18.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4093_19.min1.thm12017-02-06 12:46 704  
[ ]cohsp_1__4097_41.min1.thm12017-02-06 12:46 489  
[ ]cohsp_1__4100_15.min1.thm12017-02-06 12:46 478  
[ ]cohsp_1__4100_15.min1.thm1.tptp2017-02-06 16:48 425  
[ ]cohsp_1__4101_36.min1.thm12017-02-06 12:46 338  
[ ]cohsp_1__4101_36.min1.thm1.tptp2017-02-06 16:48 260  
[ ]cohsp_1__4102_28.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4103_18.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4104_19.min1.thm12017-02-06 12:46 704  
[ ]cohsp_1__4114_26.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4115_33.min1.thm12017-02-06 12:46 534  
[ ]cohsp_1__4124_28.min1.thm12017-02-06 12:46 732  
[ ]cohsp_1__4125_28.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4126_30.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4137_46.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4139_22.min1.thm12017-02-06 12:46 488  
[ ]cohsp_1__4139_22.min1.thm1.tptp2017-02-06 16:48 422  
[ ]cohsp_1__4143_46.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4145_23.min1.thm12017-02-06 12:46 490  
[ ]cohsp_1__4145_23.min1.thm1.tptp2017-02-06 16:48 424  
[ ]cohsp_1__4146_48.min1.thm12017-02-06 12:46 867  
[ ]cohsp_1__4147_53.min1.thm12017-02-06 12:46 793  
[ ]cohsp_1__4148_27.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4151_22.min1.thm12017-02-06 12:46 795  
[ ]cohsp_1__4161_24.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4162_20.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4167_20.min1.thm12017-02-06 12:46 620  
[ ]cohsp_1__4167_20.min1.thm1.tptp2017-02-06 16:48 567  
[ ]cohsp_1__4170_53.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4172_26.min1.thm12017-02-06 12:46 512  
[ ]cohsp_1__4172_26.min1.thm1.tptp2017-02-06 16:48 446  
[ ]cohsp_1__4173_26.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4174_31.min1.thm12017-02-06 12:46 728  
[ ]cohsp_1__4180_20.min1.thm12017-02-06 12:46 620  
[ ]cohsp_1__4180_20.min1.thm1.tptp2017-02-06 16:48 567  
[ ]cohsp_1__4183_53.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4185_26.min1.thm12017-02-06 12:46 512  
[ ]cohsp_1__4185_26.min1.thm1.tptp2017-02-06 16:48 446  
[ ]cohsp_1__4186_26.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4187_31.min1.thm12017-02-06 12:46 728  
[ ]cohsp_1__4194_15.min1.thm12017-02-06 12:46 439  
[ ]cohsp_1__4194_15.min1.thm1.tptp2017-02-06 16:48 384  
[ ]cohsp_1__4195_29.min1.thm12017-02-06 12:46 606  
[ ]cohsp_1__4198_17.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4200_23.min1.thm12017-02-06 12:46 470  
[ ]cohsp_1__4200_23.min1.thm1.tptp2017-02-06 16:48 392  
[ ]cohsp_1__4201_17.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4202_28.min1.thm12017-02-06 12:46 471  
[ ]cohsp_1__4202_28.min1.thm1.tptp2017-02-06 16:48 393  
[ ]cohsp_1__4203_48.min1.thm12017-02-06 12:46 913  
[ ]cohsp_1__4204_21.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__4211_46.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4213_22.min1.thm12017-02-06 12:46 488  
[ ]cohsp_1__4213_22.min1.thm1.tptp2017-02-06 16:48 422  
[ ]cohsp_1__4217_46.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4219_23.min1.thm12017-02-06 12:46 490  
[ ]cohsp_1__4219_23.min1.thm1.tptp2017-02-06 16:48 424  
[ ]cohsp_1__4220_48.min1.thm12017-02-06 12:46 867  
[ ]cohsp_1__4221_53.min1.thm12017-02-06 12:46 793  
[ ]cohsp_1__4222_27.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4224_26.min1.thm12017-02-06 12:46 795  
[ ]cohsp_1__4231_29.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4232_33.min1.thm12017-02-06 12:46 515  
[ ]cohsp_1__4242_28.min1.thm12017-02-06 12:46 732  
[ ]cohsp_1__4243_28.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4244_27.min1.thm12017-02-06 12:46 785  
[ ]cohsp_1__4259_46.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4261_22.min1.thm12017-02-06 12:46 488  
[ ]cohsp_1__4261_22.min1.thm1.tptp2017-02-06 16:48 422  
[ ]cohsp_1__4265_46.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4267_23.min1.thm12017-02-06 12:46 490  
[ ]cohsp_1__4267_23.min1.thm1.tptp2017-02-06 16:48 424  
[ ]cohsp_1__4268_48.min1.thm12017-02-06 12:46 867  
[ ]cohsp_1__4269_53.min1.thm12017-02-06 12:46 793  
[ ]cohsp_1__4270_41.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4271_27.min1.thm12017-02-06 12:46 652  
[ ]cohsp_1__4274_22.min1.thm12017-02-06 12:46 795  
[ ]cohsp_1__4282_24.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4283_20.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4288_20.min1.thm12017-02-06 12:46 620  
[ ]cohsp_1__4288_20.min1.thm1.tptp2017-02-06 16:48 567  
[ ]cohsp_1__4291_53.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4293_26.min1.thm12017-02-06 12:46 512  
[ ]cohsp_1__4293_26.min1.thm1.tptp2017-02-06 16:48 446  
[ ]cohsp_1__4294_26.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4295_31.min1.thm12017-02-06 12:46 728  
[ ]cohsp_1__4301_20.min1.thm12017-02-06 12:46 620  
[ ]cohsp_1__4301_20.min1.thm1.tptp2017-02-06 16:48 567  
[ ]cohsp_1__4304_53.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4306_26.min1.thm12017-02-06 12:46 512  
[ ]cohsp_1__4306_26.min1.thm1.tptp2017-02-06 16:48 446  
[ ]cohsp_1__4307_26.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4308_31.min1.thm12017-02-06 12:46 728  
[ ]cohsp_1__4315_15.min1.thm12017-02-06 12:46 439  
[ ]cohsp_1__4315_15.min1.thm1.tptp2017-02-06 16:48 384  
[ ]cohsp_1__4316_29.min1.thm12017-02-06 12:46 606  
[ ]cohsp_1__4320_17.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4322_23.min1.thm12017-02-06 12:46 471  
[ ]cohsp_1__4322_23.min1.thm1.tptp2017-02-06 16:48 393  
[ ]cohsp_1__4323_17.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4324_28.min1.thm12017-02-06 12:46 471  
[ ]cohsp_1__4324_28.min1.thm1.tptp2017-02-06 16:48 393  
[ ]cohsp_1__4325_48.min1.thm12017-02-06 12:46 913  
[ ]cohsp_1__4326_21.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__4330_52.min1.thm12017-02-06 12:46 421  
[ ]cohsp_1__4330_52.min1.thm1.tptp2017-02-06 16:48 341  
[ ]cohsp_1__4334_16.min1.thm12017-02-06 12:46 812  
[ ]cohsp_1__4337_49.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4339_22.min1.thm12017-02-06 12:46 488  
[ ]cohsp_1__4339_22.min1.thm1.tptp2017-02-06 16:48 422  
[ ]cohsp_1__4341_52.min1.thm12017-02-06 12:46 423  
[ ]cohsp_1__4341_52.min1.thm1.tptp2017-02-06 16:48 343  
[ ]cohsp_1__4345_16.min1.thm12017-02-06 12:46 813  
[ ]cohsp_1__4348_50.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4350_23.min1.thm12017-02-06 12:46 490  
[ ]cohsp_1__4350_23.min1.thm1.tptp2017-02-06 16:48 424  
[ ]cohsp_1__4351_48.min1.thm12017-02-06 12:46 870  
[ ]cohsp_1__4352_53.min1.thm12017-02-06 12:46 795  
[ ]cohsp_1__4360_46.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4362_22.min1.thm12017-02-06 12:46 488  
[ ]cohsp_1__4362_22.min1.thm1.tptp2017-02-06 16:48 422  
[ ]cohsp_1__4366_46.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4368_23.min1.thm12017-02-06 12:46 490  
[ ]cohsp_1__4368_23.min1.thm1.tptp2017-02-06 16:48 424  
[ ]cohsp_1__4369_48.min1.thm12017-02-06 12:46 867  
[ ]cohsp_1__4370_53.min1.thm12017-02-06 12:46 793  
[ ]cohsp_1__4371_41.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4372_27.min1.thm12017-02-06 12:46 652  
[ ]cohsp_1__4374_26.min1.thm12017-02-06 12:46 796  
[ ]cohsp_1__4389_43.min1.thm12017-02-06 12:46 809  
[ ]cohsp_1__4401_43.min1.thm12017-02-06 12:46 809  
[ ]cohsp_1__4411_31.min1.thm12017-02-06 12:46 786  
[ ]cohsp_1__4412_31.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4413_50.min1.thm12017-02-06 12:46 703  
[ ]cohsp_1__4414_46.min1.thm12017-02-06 12:46 898  
[ ]cohsp_1__4415_42.min1.thm12017-02-06 12:46 779  
[ ]cohsp_1__4417_34.min1.thm12017-02-06 12:46 643  
[ ]cohsp_1__4451_46.min1.thm12017-02-06 12:46 560  
[ ]cohsp_1__4451_46.min1.thm1.tptp2017-02-06 16:48 490  
[ ]cohsp_1__4452_32.min1.thm12017-02-06 12:46 755  
[ ]cohsp_1__4453_28.min1.thm12017-02-06 12:46 636  
[ ]cohsp_1__4454_23.min1.thm12017-02-06 12:46 402  
[ ]cohsp_1__4455_35.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4467_39.min1.thm12017-02-06 12:46 830  
[ ]cohsp_1__4470_24.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4474_21.min1.thm12017-02-06 12:46 800  
[ ]cohsp_1__4476_43.min1.thm12017-02-06 12:46 489  
[ ]cohsp_1__4478_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4481_36.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4484_39.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4486_31.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__4488_51.min1.thm12017-02-06 12:46 404  
[ ]cohsp_1__4488_51.min1.thm1.tptp2017-02-06 16:48 323  
[ ]cohsp_1__4490_52.min1.thm12017-02-06 12:46 367  
[ ]cohsp_1__4490_52.min1.thm1.tptp2017-02-06 16:48 287  
[ ]cohsp_1__4492_33.min1.thm12017-02-06 12:46 135  
[ ]cohsp_1__4497_21.min1.thm12017-02-06 12:46 258  
[ ]cohsp_1__4499_42.min1.thm12017-02-06 12:46 792  
[ ]cohsp_1__4501_22.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4502_38.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4503_28.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4504_24.min1.thm12017-02-06 12:46 698  
[ ]cohsp_1__4505_25.min1.thm12017-02-06 12:46 581  
[ ]cohsp_1__4508_44.min1.thm12017-02-06 12:46 618  
[ ]cohsp_1__4508_44.min1.thm1.tptp2017-02-06 16:48 546  
[ ]cohsp_1__4510_48.min1.thm12017-02-06 12:46 862  
[ ]cohsp_1__4512_43.min1.thm12017-02-06 12:46 489  
[ ]cohsp_1__4514_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4520_39.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4522_31.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__4524_51.min1.thm12017-02-06 12:46 404  
[ ]cohsp_1__4524_51.min1.thm1.tptp2017-02-06 16:48 323  
[ ]cohsp_1__4526_52.min1.thm12017-02-06 12:46 367  
[ ]cohsp_1__4526_52.min1.thm1.tptp2017-02-06 16:48 287  
[ ]cohsp_1__4528_33.min1.thm12017-02-06 12:46 135  
[ ]cohsp_1__4533_21.min1.thm12017-02-06 12:46 258  
[ ]cohsp_1__4535_42.min1.thm12017-02-06 12:46 792  
[ ]cohsp_1__4537_22.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4538_38.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4539_28.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4540_24.min1.thm12017-02-06 12:46 698  
[ ]cohsp_1__4541_25.min1.thm12017-02-06 12:46 581  
[ ]cohsp_1__4544_44.min1.thm12017-02-06 12:46 618  
[ ]cohsp_1__4544_44.min1.thm1.tptp2017-02-06 16:48 546  
[ ]cohsp_1__4546_48.min1.thm12017-02-06 12:46 864  
[ ]cohsp_1__4548_42.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4550_45.min1.thm12017-02-06 12:46 368  
[ ]cohsp_1__4550_45.min1.thm1.tptp2017-02-06 16:48 287  
[ ]cohsp_1__4552_34.min1.thm12017-02-06 12:46 454  
[ ]cohsp_1__4552_34.min1.thm1.tptp2017-02-06 16:48 379  
[ ]cohsp_1__4555_19.min1.thm12017-02-06 12:46 592  
[ ]cohsp_1__4556_34.min1.thm12017-02-06 12:46 454  
[ ]cohsp_1__4556_34.min1.thm1.tptp2017-02-06 16:48 379  
[ ]cohsp_1__4558_24.min1.thm12017-02-06 12:46 592  
[ ]cohsp_1__4561_35.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__4562_42.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4563_19.min1.thm12017-02-06 12:46 313  
[ ]cohsp_1__4564_30.min1.thm12017-02-06 12:46 787  
[ ]cohsp_1__4565_50.min1.thm12017-02-06 12:46 930  
[ ]cohsp_1__4567_19.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__4568_19.min1.thm12017-02-06 12:46 313  
[ ]cohsp_1__4569_30.min1.thm12017-02-06 12:46 787  
[ ]cohsp_1__4570_50.min1.thm12017-02-06 12:46 930  
[ ]cohsp_1__4571_24.min1.thm12017-02-06 12:46 1.4K 
[ ]cohsp_1__4588_35.min1.thm12017-02-06 12:46 825  
[ ]cohsp_1__4593_23.min1.thm12017-02-06 12:46 189  
[ ]cohsp_1__4595_50.min1.thm12017-02-06 12:46 379  
[ ]cohsp_1__4602_59.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4603_16.min1.thm12017-02-06 12:46 603  
[ ]cohsp_1__4603_16.min1.thm1.tptp2017-02-06 16:48 551  
[ ]cohsp_1__4606_22.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__4607_21.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__4611_22.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__4612_21.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__4615_25.min1.thm12017-02-06 12:46 782  
[ ]cohsp_1__4617_22.min1.thm12017-02-06 12:46 537  
[ ]cohsp_1__4618_25.min1.thm12017-02-06 12:46 782  
[ ]cohsp_1__4619_24.min1.thm12017-02-06 12:46 538  
[ ]cohsp_1__4620_35.min1.thm12017-02-06 12:46 731  
[ ]cohsp_1__4621_22.min1.thm12017-02-06 12:46 917  
[ ]cohsp_1__4630_13.min1.thm12017-02-06 12:46 131  
[ ]cohsp_1__4643_25.min1.thm12017-02-06 12:46 920  
[ ]cohsp_1__4647_24.min1.thm12017-02-06 12:46 714  
[ ]cohsp_1__4652_27.min1.thm12017-02-06 12:46 954  
[ ]cohsp_1__4653_17.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4662_27.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4663_16.min1.thm12017-02-06 12:46 432  
[ ]cohsp_1__4663_16.min1.thm1.tptp2017-02-06 16:48 352  
[ ]cohsp_1__4674_34.min1.thm12017-02-06 12:46 489  
[ ]cohsp_1__4674_34.min1.thm1.tptp2017-02-06 16:48 418  
[ ]cohsp_1__4675_40.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4680_20.min1.thm12017-02-06 12:46 972  
[ ]cohsp_1__4682_17.min1.thm12017-02-06 12:46 840  
[ ]cohsp_1__4697_28.min1.thm12017-02-06 12:46 545  
[ ]cohsp_1__4698_21.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4710_12.min1.thm12017-02-06 12:46 967  
[ ]cohsp_1__4714_12.min1.thm12017-02-06 12:46 967  
[ ]cohsp_1__4715_26.min1.thm12017-02-06 12:46 623  
[ ]cohsp_1__4716_34.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4717_29.min1.thm12017-02-06 12:46 668  
[ ]cohsp_1__4727_15.min1.thm12017-02-06 12:46 439  
[ ]cohsp_1__4727_15.min1.thm1.tptp2017-02-06 16:48 384  
[ ]cohsp_1__4728_26.min1.thm12017-02-06 12:46 606  
[ ]cohsp_1__4729_27.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4731_28.min1.thm12017-02-06 12:46 497  
[ ]cohsp_1__4731_28.min1.thm1.tptp2017-02-06 16:48 419  
[ ]cohsp_1__4732_34.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4734_34.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4735_22.min1.thm12017-02-06 12:46 1.2K 
[ ]cohsp_1__4736_33.min1.thm12017-02-06 12:46 497  
[ ]cohsp_1__4736_33.min1.thm1.tptp2017-02-06 16:48 419  
[ ]cohsp_1__4737_60.min1.thm12017-02-06 12:46 864  
[ ]cohsp_1__4738_21.min1.thm12017-02-06 12:46 1.3K 
[ ]cohsp_1__4745_12.min1.thm12017-02-06 12:46 965  
[ ]cohsp_1__4749_12.min1.thm12017-02-06 12:46 965  
[ ]cohsp_1__4750_26.min1.thm12017-02-06 12:46 623  
[ ]cohsp_1__4751_34.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4752_29.min1.thm12017-02-06 12:46 662  
[ ]cohsp_1__4770_21.min1.thm12017-02-06 12:46 473  
[ ]cohsp_1__4770_21.min1.thm1.tptp2017-02-06 16:48 418  
[ ]cohsp_1__4773_38.min1.thm12017-02-06 12:46 851  
[ ]cohsp_1__4774_47.min1.thm12017-02-06 12:46 543  
[ ]cohsp_1__4774_47.min1.thm1.tptp2017-02-06 16:48 475  
[ ]cohsp_1__4775_39.min1.thm12017-02-06 12:46 599  
[ ]cohsp_1__4776_19.min1.thm12017-02-06 12:46 929  
[ ]cohsp_1__4781_23.min1.thm12017-02-06 12:46 570  
[ ]cohsp_1__4784_15.min1.thm12017-02-06 12:46 407  
[ ]cohsp_1__4784_15.min1.thm1.tptp2017-02-06 16:48 352  
[ ]cohsp_1__4785_18.min1.thm12017-02-06 12:46 570  
[ ]cohsp_1__4788_15.min1.thm12017-02-06 12:46 407  
[ ]cohsp_1__4788_15.min1.thm1.tptp2017-02-06 16:48 352  
[ ]cohsp_1__4789_29.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4790_23.min1.thm12017-02-06 12:46 614  
[ ]cohsp_1__4791_17.min1.thm12017-02-06 12:46 729  
[ ]cohsp_1__4806_27.min1.thm12017-02-06 12:46 1.0K 
[ ]cohsp_1__4807_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cohsp_1__4809_76.min1.thm12017-02-06 12:46 736  
[ ]cohsp_1__4809_76.min1.thm1.tptp2017-02-06 16:48 680  
[ ]cohsp_1__4814_41.min1.thm12017-02-06 12:46 1.5K 
[ ]cohsp_1__4818_39.min1.thm12017-02-06 12:46 1.6K 
[ ]cohsp_1__4819_40.min1.thm12017-02-06 12:46 1.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80