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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coh_sp__61_15.min1.thm12017-02-06 12:46 410  
[ ]coh_sp__62_21.min1.thm12017-02-06 12:46 797  
[ ]coh_sp__71_20.min1.thm12017-02-06 12:46 473  
[ ]coh_sp__74_25.min1.thm12017-02-06 12:46 497  
[ ]coh_sp__78_30.min1.thm12017-02-06 12:46 322  
[ ]coh_sp__78_30.min1.thm1.tptp2017-02-06 16:48 243  
[ ]coh_sp__79_25.min1.thm12017-02-06 12:46 444  
[ ]coh_sp__82_18.min1.thm12017-02-06 12:46 278  
[ ]coh_sp__84_15.min1.thm12017-02-06 12:46 300  
[ ]coh_sp__84_15.min1.thm1.tptp2017-02-06 16:48 215  
[ ]coh_sp__97_61.min1.thm12017-02-06 12:46 462  
[ ]coh_sp__98_17.min1.thm12017-02-06 12:46 838  
[ ]coh_sp__111_35.min1.thm12017-02-06 12:46 561  
[ ]coh_sp__112_24.min1.thm12017-02-06 12:46 385  
[ ]coh_sp__112_24.min1.thm1.tptp2017-02-06 16:48 321  
[ ]coh_sp__113_16.min1.thm12017-02-06 12:46 603  
[ ]coh_sp__119_18.min1.thm12017-02-06 12:46 641  
[ ]coh_sp__120_16.min1.thm12017-02-06 12:46 581  
[ ]coh_sp__126_28.min1.thm12017-02-06 12:46 580  
[ ]coh_sp__134_13.min1.thm12017-02-06 12:46 389  
[ ]coh_sp__134_13.min1.thm1.tptp2017-02-06 16:48 334  
[ ]coh_sp__135_13.min1.thm12017-02-06 12:46 326  
[ ]coh_sp__135_13.min1.thm1.tptp2017-02-06 16:48 248  
[ ]coh_sp__136_17.min1.thm12017-02-06 12:46 552  
[ ]coh_sp__152_20.min1.thm12017-02-06 12:46 757  
[ ]coh_sp__154_64.min1.thm12017-02-06 12:46 361  
[ ]coh_sp__164_41.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__165_21.min1.thm12017-02-06 12:46 908  
[ ]coh_sp__169_34.min1.thm12017-02-06 12:46 528  
[ ]coh_sp__169_34.min1.thm1.tptp2017-02-06 16:48 466  
[ ]coh_sp__170_19.min1.thm12017-02-06 12:46 938  
[ ]coh_sp__191_19.min1.thm12017-02-06 12:46 434  
[ ]coh_sp__191_19.min1.thm1.tptp2017-02-06 16:48 363  
[ ]coh_sp__192_21.min1.thm12017-02-06 12:46 606  
[ ]coh_sp__194_30.min1.thm12017-02-06 12:46 368  
[ ]coh_sp__208_20.min1.thm12017-02-06 12:46 762  
[ ]coh_sp__213_17.min1.thm12017-02-06 12:46 424  
[ ]coh_sp__213_17.min1.thm1.tptp2017-02-06 16:48 353  
[ ]coh_sp__214_22.min1.thm12017-02-06 12:46 596  
[ ]coh_sp__215_19.min1.thm12017-02-06 12:46 510  
[ ]coh_sp__230_22.min1.thm12017-02-06 12:46 418  
[ ]coh_sp__230_22.min1.thm1.tptp2017-02-06 16:48 347  
[ ]coh_sp__231_19.min1.thm12017-02-06 12:46 592  
[ ]coh_sp__233_44.min1.thm12017-02-06 12:46 183  
[ ]coh_sp__246_14.min1.thm12017-02-06 12:46 376  
[ ]coh_sp__246_14.min1.thm1.tptp2017-02-06 16:48 313  
[ ]coh_sp__249_15.min1.thm12017-02-06 12:46 376  
[ ]coh_sp__249_15.min1.thm1.tptp2017-02-06 16:48 313  
[ ]coh_sp__250_17.min1.thm12017-02-06 12:46 471  
[ ]coh_sp__251_19.min1.thm12017-02-06 12:46 532  
[ ]coh_sp__261_15.min1.thm12017-02-06 12:46 405  
[ ]coh_sp__261_15.min1.thm1.tptp2017-02-06 16:48 350  
[ ]coh_sp__262_33.min1.thm12017-02-06 12:46 384  
[ ]coh_sp__262_33.min1.thm1.tptp2017-02-06 16:48 321  
[ ]coh_sp__263_21.min1.thm12017-02-06 12:46 437  
[ ]coh_sp__268_16.min1.thm12017-02-06 12:46 362  
[ ]coh_sp__268_16.min1.thm1.tptp2017-02-06 16:48 290  
[ ]coh_sp__269_15.min1.thm12017-02-06 12:46 267  
[ ]coh_sp__270_19.min1.thm12017-02-06 12:46 467  
[ ]coh_sp__278_15.min1.thm12017-02-06 12:46 376  
[ ]coh_sp__278_15.min1.thm1.tptp2017-02-06 16:48 313  
[ ]coh_sp__279_17.min1.thm12017-02-06 12:46 400  
[ ]coh_sp__279_17.min1.thm1.tptp2017-02-06 16:48 326  
[ ]coh_sp__280_19.min1.thm12017-02-06 12:46 398  
[ ]coh_sp__282_17.min1.thm12017-02-06 12:46 742  
[ ]coh_sp__294_22.min1.thm12017-02-06 12:46 774  
[ ]coh_sp__302_27.min1.thm12017-02-06 12:46 574  
[ ]coh_sp__305_17.min1.thm12017-02-06 12:46 700  
[ ]coh_sp__315_20.min1.thm12017-02-06 12:46 401  
[ ]coh_sp__315_20.min1.thm1.tptp2017-02-06 16:48 327  
[ ]coh_sp__317_15.min1.thm12017-02-06 12:46 333  
[ ]coh_sp__317_15.min1.thm1.tptp2017-02-06 16:48 250  
[ ]coh_sp__318_13.min1.thm12017-02-06 12:46 264  
[ ]coh_sp__319_17.min1.thm12017-02-06 12:46 462  
[ ]coh_sp__331_60.min1.thm12017-02-06 12:46 911  
[ ]coh_sp__332_19.min1.thm12017-02-06 12:46 841  
[ ]coh_sp__336_58.min1.thm12017-02-06 12:46 901  
[ ]coh_sp__337_17.min1.thm12017-02-06 12:46 831  
[ ]coh_sp__345_27.min1.thm12017-02-06 12:46 341  
[ ]coh_sp__345_27.min1.thm1.tptp2017-02-06 16:48 261  
[ ]coh_sp__348_17.min1.thm12017-02-06 12:46 828  
[ ]coh_sp__354_54.min1.thm12017-02-06 12:46 742  
[ ]coh_sp__363_36.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__368_23.min1.thm12017-02-06 12:46 545  
[ ]coh_sp__370_21.min1.thm12017-02-06 12:46 778  
[ ]coh_sp__373_39.min1.thm12017-02-06 12:46 782  
[ ]coh_sp__374_23.min1.thm12017-02-06 12:46 728  
[ ]coh_sp__403_18.min1.thm12017-02-06 12:46 439  
[ ]coh_sp__403_18.min1.thm1.tptp2017-02-06 16:48 384  
[ ]coh_sp__406_18.min1.thm12017-02-06 12:46 439  
[ ]coh_sp__406_18.min1.thm1.tptp2017-02-06 16:48 384  
[ ]coh_sp__407_24.min1.thm12017-02-06 12:46 449  
[ ]coh_sp__407_24.min1.thm1.tptp2017-02-06 16:48 387  
[ ]coh_sp__408_24.min1.thm12017-02-06 12:46 543  
[ ]coh_sp__409_24.min1.thm12017-02-06 12:46 570  
[ ]coh_sp__410_27.min1.thm12017-02-06 12:46 906  
[ ]coh_sp__415_27.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__416_20.min1.thm12017-02-06 12:46 525  
[ ]coh_sp__418_26.min1.thm12017-02-06 12:46 407  
[ ]coh_sp__418_26.min1.thm1.tptp2017-02-06 16:48 343  
[ ]coh_sp__419_21.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__427_20.min1.thm12017-02-06 12:46 484  
[ ]coh_sp__427_20.min1.thm1.tptp2017-02-06 16:48 421  
[ ]coh_sp__429_15.min1.thm12017-02-06 12:46 708  
[ ]coh_sp__430_52.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__431_21.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__433_24.min1.thm12017-02-06 12:46 467  
[ ]coh_sp__437_70.min1.thm12017-02-06 12:46 683  
[ ]coh_sp__441_19.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__453_57.min1.thm12017-02-06 12:46 608  
[ ]coh_sp__454_21.min1.thm12017-02-06 12:46 695  
[ ]coh_sp__458_55.min1.thm12017-02-06 12:46 598  
[ ]coh_sp__459_19.min1.thm12017-02-06 12:46 685  
[ ]coh_sp__475_32.min1.thm12017-02-06 12:46 377  
[ ]coh_sp__476_21.min1.thm12017-02-06 12:46 1.4K 
[ ]coh_sp__481_22.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__488_23.min1.thm12017-02-06 12:46 412  
[ ]coh_sp__488_23.min1.thm1.tptp2017-02-06 16:48 358  
[ ]coh_sp__489_23.min1.thm12017-02-06 12:46 412  
[ ]coh_sp__489_23.min1.thm1.tptp2017-02-06 16:48 358  
[ ]coh_sp__490_21.min1.thm12017-02-06 12:46 1.4K 
[ ]coh_sp__506_19.min1.thm12017-02-06 12:46 841  
[ ]coh_sp__510_58.min1.thm12017-02-06 12:46 820  
[ ]coh_sp__520_55.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__524_53.min1.thm12017-02-06 12:46 892  
[ ]coh_sp__535_28.min1.thm12017-02-06 12:46 700  
[ ]coh_sp__536_19.min1.thm12017-02-06 12:46 718  
[ ]coh_sp__540_26.min1.thm12017-02-06 12:46 710  
[ ]coh_sp__541_17.min1.thm12017-02-06 12:46 692  
[ ]coh_sp__551_11.min1.thm12017-02-06 12:46 129  
[ ]coh_sp__559_47.min1.thm12017-02-06 12:46 381  
[ ]coh_sp__559_47.min1.thm1.tptp2017-02-06 16:48 301  
[ ]coh_sp__561_27.min1.thm12017-02-06 12:46 431  
[ ]coh_sp__561_27.min1.thm1.tptp2017-02-06 16:48 350  
[ ]coh_sp__562_15.min1.thm12017-02-06 12:46 842  
[ ]coh_sp__563_16.min1.thm12017-02-06 12:46 398  
[ ]coh_sp__573_67.min1.thm12017-02-06 12:46 500  
[ ]coh_sp__574_67.min1.thm12017-02-06 12:46 557  
[ ]coh_sp__574_67.min1.thm1.tptp2017-02-06 16:48 495  
[ ]coh_sp__575_16.min1.thm12017-02-06 12:46 398  
[ ]coh_sp__584_34.min1.thm12017-02-06 12:46 443  
[ ]coh_sp__584_34.min1.thm1.tptp2017-02-06 16:48 369  
[ ]coh_sp__585_26.min1.thm12017-02-06 12:46 316  
[ ]coh_sp__587_17.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__596_11.min1.thm12017-02-06 12:46 129  
[ ]coh_sp__604_47.min1.thm12017-02-06 12:46 381  
[ ]coh_sp__604_47.min1.thm1.tptp2017-02-06 16:48 301  
[ ]coh_sp__605_27.min1.thm12017-02-06 12:46 431  
[ ]coh_sp__605_27.min1.thm1.tptp2017-02-06 16:48 350  
[ ]coh_sp__606_70.min1.thm12017-02-06 12:46 842  
[ ]coh_sp__607_42.min1.thm12017-02-06 12:46 415  
[ ]coh_sp__610_73.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__612_52.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__618_15.min1.thm12017-02-06 12:46 521  
[ ]coh_sp__619_66.min1.thm12017-02-06 12:46 586  
[ ]coh_sp__619_66.min1.thm1.tptp2017-02-06 16:48 536  
[ ]coh_sp__620_28.min1.thm12017-02-06 12:46 739  
[ ]coh_sp__622_19.min1.thm12017-02-06 12:46 667  
[ ]coh_sp__640_13.min1.thm12017-02-06 12:46 488  
[ ]coh_sp__642_33.min1.thm12017-02-06 12:46 570  
[ ]coh_sp__642_33.min1.thm1.tptp2017-02-06 16:48 520  
[ ]coh_sp__644_18.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__648_31.min1.thm12017-02-06 12:46 599  
[ ]coh_sp__649_32.min1.thm12017-02-06 12:46 732  
[ ]coh_sp__649_32.min1.thm1.tptp2017-02-06 16:48 681  
[ ]coh_sp__650_17.min1.thm12017-02-06 12:46 625  
[ ]coh_sp__660_11.min1.thm12017-02-06 12:46 129  
[ ]coh_sp__672_49.min1.thm12017-02-06 12:46 383  
[ ]coh_sp__672_49.min1.thm1.tptp2017-02-06 16:48 303  
[ ]coh_sp__673_29.min1.thm12017-02-06 12:46 443  
[ ]coh_sp__673_29.min1.thm1.tptp2017-02-06 16:48 362  
[ ]coh_sp__674_75.min1.thm12017-02-06 12:46 858  
[ ]coh_sp__675_44.min1.thm12017-02-06 12:46 423  
[ ]coh_sp__678_39.min1.thm12017-02-06 12:46 216  
[ ]coh_sp__679_45.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__684_28.min1.thm12017-02-06 12:46 673  
[ ]coh_sp__686_18.min1.thm12017-02-06 12:46 585  
[ ]coh_sp__687_23.min1.thm12017-02-06 12:46 673  
[ ]coh_sp__688_31.min1.thm12017-02-06 12:46 899  
[ ]coh_sp__692_16.min1.thm12017-02-06 12:46 389  
[ ]coh_sp__704_67.min1.thm12017-02-06 12:46 484  
[ ]coh_sp__721_51.min1.thm12017-02-06 12:46 516  
[ ]coh_sp__721_51.min1.thm1.tptp2017-02-06 16:48 450  
[ ]coh_sp__734_22.min1.thm12017-02-06 12:46 405  
[ ]coh_sp__734_22.min1.thm1.tptp2017-02-06 16:48 335  
[ ]coh_sp__735_19.min1.thm12017-02-06 12:46 1.5K 
[ ]coh_sp__750_44.min1.thm12017-02-06 12:46 514  
[ ]coh_sp__750_44.min1.thm1.tptp2017-02-06 16:48 446  
[ ]coh_sp__751_19.min1.thm12017-02-06 12:46 933  
[ ]coh_sp__762_44.min1.thm12017-02-06 12:46 676  
[ ]coh_sp__763_19.min1.thm12017-02-06 12:46 933  
[ ]coh_sp__775_25.min1.thm12017-02-06 12:46 410  
[ ]coh_sp__775_25.min1.thm1.tptp2017-02-06 16:48 340  
[ ]coh_sp__776_29.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__777_17.min1.thm12017-02-06 12:46 951  
[ ]coh_sp__782_28.min1.thm12017-02-06 12:46 681  
[ ]coh_sp__783_17.min1.thm12017-02-06 12:46 957  
[ ]coh_sp__797_26.min1.thm12017-02-06 12:46 559  
[ ]coh_sp__799_27.min1.thm12017-02-06 12:46 483  
[ ]coh_sp__800_21.min1.thm12017-02-06 12:46 559  
[ ]coh_sp__801_29.min1.thm12017-02-06 12:46 809  
[ ]coh_sp__812_27.min1.thm12017-02-06 12:46 647  
[ ]coh_sp__813_17.min1.thm12017-02-06 12:46 490  
[ ]coh_sp__826_30.min1.thm12017-02-06 12:46 681  
[ ]coh_sp__828_17.min1.thm12017-02-06 12:46 822  
[ ]coh_sp__829_27.min1.thm12017-02-06 12:46 865  
[ ]coh_sp__831_18.min1.thm12017-02-06 12:46 1.7K 
[ ]coh_sp__834_17.min1.thm12017-02-06 12:46 802  
[ ]coh_sp__846_46.min1.thm12017-02-06 12:46 896  
[ ]coh_sp__846_46.min1.thm1.tptp2017-02-06 16:48 842  
[ ]coh_sp__847_46.min1.thm12017-02-06 12:46 896  
[ ]coh_sp__847_46.min1.thm1.tptp2017-02-06 16:48 842  
[ ]coh_sp__848_52.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__853_31.min1.thm12017-02-06 12:46 728  
[ ]coh_sp__856_26.min1.thm12017-02-06 12:46 815  
[ ]coh_sp__859_34.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__860_53.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__864_52.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__877_45.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__887_26.min1.thm12017-02-06 12:46 851  
[ ]coh_sp__891_26.min1.thm12017-02-06 12:46 851  
[ ]coh_sp__893_31.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__894_24.min1.thm12017-02-06 12:46 851  
[ ]coh_sp__897_24.min1.thm12017-02-06 12:46 852  
[ ]coh_sp__910_59.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__918_45.min1.thm12017-02-06 12:46 798  
[ ]coh_sp__919_49.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__921_29.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__922_42.min1.thm12017-02-06 12:46 892  
[ ]coh_sp__922_42.min1.thm1.tptp2017-02-06 16:48 838  
[ ]coh_sp__924_28.min1.thm12017-02-06 12:46 1.7K 
[ ]coh_sp__925_21.min1.thm12017-02-06 12:46 656  
[ ]coh_sp__928_45.min1.thm12017-02-06 12:46 1.4K 
[ ]coh_sp__930_45.min1.thm12017-02-06 12:46 799  
[ ]coh_sp__931_21.min1.thm12017-02-06 12:46 657  
[ ]coh_sp__933_25.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__956_26.min1.thm12017-02-06 12:46 568  
[ ]coh_sp__956_26.min1.thm1.tptp2017-02-06 16:48 491  
[ ]coh_sp__957_18.min1.thm12017-02-06 12:46 568  
[ ]coh_sp__957_18.min1.thm1.tptp2017-02-06 16:48 491  
[ ]coh_sp__977_26.min1.thm12017-02-06 12:46 568  
[ ]coh_sp__977_26.min1.thm1.tptp2017-02-06 16:48 491  
[ ]coh_sp__978_18.min1.thm12017-02-06 12:46 568  
[ ]coh_sp__978_18.min1.thm1.tptp2017-02-06 16:48 491  
[ ]coh_sp__995_59.min1.thm12017-02-06 12:46 474  
[ ]coh_sp__995_59.min1.thm1.tptp2017-02-06 16:48 396  
[ ]coh_sp__999_19.min1.thm12017-02-06 12:46 865  
[ ]coh_sp__1000_21.min1.thm12017-02-06 12:46 942  
[ ]coh_sp__1007_59.min1.thm12017-02-06 12:46 474  
[ ]coh_sp__1007_59.min1.thm1.tptp2017-02-06 16:48 396  
[ ]coh_sp__1009_20.min1.thm12017-02-06 12:46 865  
[ ]coh_sp__1010_18.min1.thm12017-02-06 12:46 821  
[ ]coh_sp__1025_44.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1026_20.min1.thm12017-02-06 12:46 703  
[ ]coh_sp__1029_25.min1.thm12017-02-06 12:46 559  
[ ]coh_sp__1035_30.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__1036_16.min1.thm12017-02-06 12:46 1.4K 
[ ]coh_sp__1053_26.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__1059_24.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__1067_24.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1108_34.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1111_34.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1122_34.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1125_34.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1152_42.min1.thm12017-02-06 12:46 509  
[ ]coh_sp__1152_42.min1.thm1.tptp2017-02-06 16:48 443  
[ ]coh_sp__1153_42.min1.thm12017-02-06 12:46 509  
[ ]coh_sp__1153_42.min1.thm1.tptp2017-02-06 16:48 443  
[ ]coh_sp__1155_22.min1.thm12017-02-06 12:46 710  
[ ]coh_sp__1175_17.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1177_17.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1177_37.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__1178_37.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__1180_27.min1.thm12017-02-06 12:46 604  
[ ]coh_sp__1184_14.min1.thm12017-02-06 12:46 644  
[ ]coh_sp__1191_17.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1193_17.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1193_37.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__1194_37.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__1196_27.min1.thm12017-02-06 12:46 604  
[ ]coh_sp__1200_14.min1.thm12017-02-06 12:46 644  
[ ]coh_sp__1210_42.min1.thm12017-02-06 12:46 509  
[ ]coh_sp__1210_42.min1.thm1.tptp2017-02-06 16:48 443  
[ ]coh_sp__1211_42.min1.thm12017-02-06 12:46 509  
[ ]coh_sp__1211_42.min1.thm1.tptp2017-02-06 16:48 443  
[ ]coh_sp__1213_44.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__1215_17.min1.thm12017-02-06 12:46 1.8K 
[ ]coh_sp__1234_46.min1.thm12017-02-06 12:46 654  
[ ]coh_sp__1236_19.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1248_35.min1.thm12017-02-06 12:46 634  
[ ]coh_sp__1248_35.min1.thm1.tptp2017-02-06 16:48 557  
[ ]coh_sp__1249_23.min1.thm12017-02-06 12:46 634  
[ ]coh_sp__1249_23.min1.thm1.tptp2017-02-06 16:48 557  
[ ]coh_sp__1253_35.min1.thm12017-02-06 12:46 634  
[ ]coh_sp__1253_35.min1.thm1.tptp2017-02-06 16:48 557  
[ ]coh_sp__1254_23.min1.thm12017-02-06 12:46 634  
[ ]coh_sp__1254_23.min1.thm1.tptp2017-02-06 16:48 557  
[ ]coh_sp__1256_32.min1.thm12017-02-06 12:46 505  
[ ]coh_sp__1256_32.min1.thm1.tptp2017-02-06 16:48 417  
[ ]coh_sp__1258_19.min1.thm12017-02-06 12:46 362  
[ ]coh_sp__1258_19.min1.thm1.tptp2017-02-06 16:48 302  
[ ]coh_sp__1268_19.min1.thm12017-02-06 12:46 580  
[ ]coh_sp__1268_19.min1.thm1.tptp2017-02-06 16:48 522  
[ ]coh_sp__1269_16.min1.thm12017-02-06 12:46 343  
[ ]coh_sp__1269_16.min1.thm1.tptp2017-02-06 16:48 263  
[ ]coh_sp__1278_11.min1.thm12017-02-06 12:46 129  
[ ]coh_sp__1287_14.min1.thm12017-02-06 12:46 223  
[ ]coh_sp__1289_18.min1.thm12017-02-06 12:46 496  
[ ]coh_sp__1290_22.min1.thm12017-02-06 12:46 559  
[ ]coh_sp__1290_22.min1.thm1.tptp2017-02-06 16:48 494  
[ ]coh_sp__1291_19.min1.thm12017-02-06 12:46 814  
[ ]coh_sp__1304_13.min1.thm12017-02-06 12:46 491  
[ ]coh_sp__1306_19.min1.thm12017-02-06 12:46 437  
[ ]coh_sp__1306_19.min1.thm1.tptp2017-02-06 16:48 377  
[ ]coh_sp__1308_18.min1.thm12017-02-06 12:46 879  
[ ]coh_sp__1313_32.min1.thm12017-02-06 12:46 337  
[ ]coh_sp__1313_32.min1.thm1.tptp2017-02-06 16:48 259  
[ ]coh_sp__1314_17.min1.thm12017-02-06 12:46 418  
[ ]coh_sp__1314_17.min1.thm1.tptp2017-02-06 16:48 349  
[ ]coh_sp__1315_18.min1.thm12017-02-06 12:46 637  
[ ]coh_sp__1316_17.min1.thm12017-02-06 12:46 556  
[ ]coh_sp__1320_24.min1.thm12017-02-06 12:46 673  
[ ]coh_sp__1326_12.min1.thm12017-02-06 12:46 219  
[ ]coh_sp__1328_18.min1.thm12017-02-06 12:46 488  
[ ]coh_sp__1329_20.min1.thm12017-02-06 12:46 555  
[ ]coh_sp__1329_20.min1.thm1.tptp2017-02-06 16:48 490  
[ ]coh_sp__1330_17.min1.thm12017-02-06 12:46 548  
[ ]coh_sp__1339_17.min1.thm12017-02-06 12:46 492  
[ ]coh_sp__1340_24.min1.thm12017-02-06 12:46 692  
[ ]coh_sp__1341_17.min1.thm12017-02-06 12:46 580  
[ ]coh_sp__1350_17.min1.thm12017-02-06 12:46 492  
[ ]coh_sp__1351_21.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1352_17.min1.thm12017-02-06 12:46 582  
[ ]coh_sp__1356_35.min1.thm12017-02-06 12:46 411  
[ ]coh_sp__1359_32.min1.thm12017-02-06 12:46 413  
[ ]coh_sp__1366_11.min1.thm12017-02-06 12:46 129  
[ ]coh_sp__1377_41.min1.thm12017-02-06 12:46 337  
[ ]coh_sp__1377_41.min1.thm1.tptp2017-02-06 16:48 268  
[ ]coh_sp__1378_60.min1.thm12017-02-06 12:46 405  
[ ]coh_sp__1380_21.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__1382_16.min1.thm12017-02-06 12:46 392  
[ ]coh_sp__1391_40.min1.thm12017-02-06 12:46 419  
[ ]coh_sp__1392_17.min1.thm12017-02-06 12:46 1.7K 
[ ]coh_sp__1400_37.min1.thm12017-02-06 12:46 434  
[ ]coh_sp__1409_40.min1.thm12017-02-06 12:46 432  
[ ]coh_sp__1414_23.min1.thm12017-02-06 12:46 549  
[ ]coh_sp__1417_26.min1.thm12017-02-06 12:46 547  
[ ]coh_sp__1425_24.min1.thm12017-02-06 12:46 492  
[ ]coh_sp__1428_36.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1429_15.min1.thm12017-02-06 12:46 376  
[ ]coh_sp__1429_15.min1.thm1.tptp2017-02-06 16:48 306  
[ ]coh_sp__1430_19.min1.thm12017-02-06 12:46 805  
[ ]coh_sp__1436_24.min1.thm12017-02-06 12:46 492  
[ ]coh_sp__1440_23.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1441_29.min1.thm12017-02-06 12:46 531  
[ ]coh_sp__1442_19.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1451_11.min1.thm12017-02-06 12:46 129  
[ ]coh_sp__1461_58.min1.thm12017-02-06 12:46 926  
[ ]coh_sp__1462_27.min1.thm12017-02-06 12:46 415  
[ ]coh_sp__1462_27.min1.thm1.tptp2017-02-06 16:48 345  
[ ]coh_sp__1464_31.min1.thm12017-02-06 12:46 1.9K 
[ ]coh_sp__1465_23.min1.thm12017-02-06 12:46 574  
[ ]coh_sp__1465_23.min1.thm1.tptp2017-02-06 16:48 508  
[ ]coh_sp__1472_15.min1.thm12017-02-06 12:46 521  
[ ]coh_sp__1473_58.min1.thm12017-02-06 12:46 628  
[ ]coh_sp__1473_58.min1.thm1.tptp2017-02-06 16:48 578  
[ ]coh_sp__1474_28.min1.thm12017-02-06 12:46 771  
[ ]coh_sp__1476_19.min1.thm12017-02-06 12:46 671  
[ ]coh_sp__1494_13.min1.thm12017-02-06 12:46 491  
[ ]coh_sp__1496_25.min1.thm12017-02-06 12:46 612  
[ ]coh_sp__1496_25.min1.thm1.tptp2017-02-06 16:48 562  
[ ]coh_sp__1498_18.min1.thm12017-02-06 12:46 1.4K 
[ ]coh_sp__1502_23.min1.thm12017-02-06 12:46 641  
[ ]coh_sp__1503_24.min1.thm12017-02-06 12:46 852  
[ ]coh_sp__1503_24.min1.thm1.tptp2017-02-06 16:48 801  
[ ]coh_sp__1504_17.min1.thm12017-02-06 12:46 688  
[ ]coh_sp__1513_11.min1.thm12017-02-06 12:46 129  
[ ]coh_sp__1527_42.min1.thm12017-02-06 12:46 928  
[ ]coh_sp__1528_28.min1.thm12017-02-06 12:46 246  
[ ]coh_sp__1529_50.min1.thm12017-02-06 12:46 2.2K 
[ ]coh_sp__1530_52.min1.thm12017-02-06 12:46 2.1K 
[ ]coh_sp__1533_16.min1.thm12017-02-06 12:46 392  
[ ]coh_sp__1544_56.min1.thm12017-02-06 12:46 489  
[ ]coh_sp__1560_55.min1.thm12017-02-06 12:46 805  
[ ]coh_sp__1573_20.min1.thm12017-02-06 12:46 405  
[ ]coh_sp__1573_20.min1.thm1.tptp2017-02-06 16:48 335  
[ ]coh_sp__1574_19.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1590_44.min1.thm12017-02-06 12:46 514  
[ ]coh_sp__1590_44.min1.thm1.tptp2017-02-06 16:48 446  
[ ]coh_sp__1591_19.min1.thm12017-02-06 12:46 935  
[ ]coh_sp__1602_44.min1.thm12017-02-06 12:46 676  
[ ]coh_sp__1603_19.min1.thm12017-02-06 12:46 935  
[ ]coh_sp__1615_25.min1.thm12017-02-06 12:46 410  
[ ]coh_sp__1615_25.min1.thm1.tptp2017-02-06 16:48 340  
[ ]coh_sp__1616_29.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1617_17.min1.thm12017-02-06 12:46 955  
[ ]coh_sp__1622_28.min1.thm12017-02-06 12:46 687  
[ ]coh_sp__1623_17.min1.thm12017-02-06 12:46 967  
[ ]coh_sp__1639_23.min1.thm12017-02-06 12:46 513  
[ ]coh_sp__1641_31.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1655_30.min1.thm12017-02-06 12:46 687  
[ ]coh_sp__1657_17.min1.thm12017-02-06 12:46 827  
[ ]coh_sp__1658_27.min1.thm12017-02-06 12:46 870  
[ ]coh_sp__1664_17.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1676_42.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1676_42.min1.thm1.tptp2017-02-06 16:48 938  
[ ]coh_sp__1677_42.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1677_42.min1.thm1.tptp2017-02-06 16:48 938  
[ ]coh_sp__1678_48.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__1689_38.min1.thm12017-02-06 12:46 1.4K 
[ ]coh_sp__1694_48.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__1706_45.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1716_26.min1.thm12017-02-06 12:46 869  
[ ]coh_sp__1720_26.min1.thm12017-02-06 12:46 869  
[ ]coh_sp__1722_31.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__1723_24.min1.thm12017-02-06 12:46 869  
[ ]coh_sp__1726_24.min1.thm12017-02-06 12:46 870  
[ ]coh_sp__1739_55.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1747_43.min1.thm12017-02-06 12:46 835  
[ ]coh_sp__1748_45.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__1750_27.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1751_38.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__1751_38.min1.thm1.tptp2017-02-06 16:48 934  
[ ]coh_sp__1753_26.min1.thm12017-02-06 12:46 1.8K 
[ ]coh_sp__1754_21.min1.thm12017-02-06 12:46 675  
[ ]coh_sp__1757_45.min1.thm12017-02-06 12:46 1.4K 
[ ]coh_sp__1759_43.min1.thm12017-02-06 12:46 836  
[ ]coh_sp__1760_21.min1.thm12017-02-06 12:46 676  
[ ]coh_sp__1762_25.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__1785_26.min1.thm12017-02-06 12:46 576  
[ ]coh_sp__1785_26.min1.thm1.tptp2017-02-06 16:48 499  
[ ]coh_sp__1786_18.min1.thm12017-02-06 12:46 576  
[ ]coh_sp__1786_18.min1.thm1.tptp2017-02-06 16:48 499  
[ ]coh_sp__1806_26.min1.thm12017-02-06 12:46 576  
[ ]coh_sp__1806_26.min1.thm1.tptp2017-02-06 16:48 499  
[ ]coh_sp__1807_18.min1.thm12017-02-06 12:46 576  
[ ]coh_sp__1807_18.min1.thm1.tptp2017-02-06 16:48 499  
[ ]coh_sp__1825_59.min1.thm12017-02-06 12:46 478  
[ ]coh_sp__1825_59.min1.thm1.tptp2017-02-06 16:48 400  
[ ]coh_sp__1829_19.min1.thm12017-02-06 12:46 873  
[ ]coh_sp__1830_21.min1.thm12017-02-06 12:46 950  
[ ]coh_sp__1837_59.min1.thm12017-02-06 12:46 478  
[ ]coh_sp__1837_59.min1.thm1.tptp2017-02-06 16:48 400  
[ ]coh_sp__1839_20.min1.thm12017-02-06 12:46 873  
[ ]coh_sp__1840_18.min1.thm12017-02-06 12:46 832  
[ ]coh_sp__1855_44.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1856_20.min1.thm12017-02-06 12:46 712  
[ ]coh_sp__1859_25.min1.thm12017-02-06 12:46 567  
[ ]coh_sp__1865_30.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__1866_16.min1.thm12017-02-06 12:46 1.4K 
[ ]coh_sp__1883_26.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__1889_24.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__1897_24.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__1923_34.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1934_34.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1937_34.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1947_34.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1950_34.min1.thm12017-02-06 12:46 1.6K 
[ ]coh_sp__1976_42.min1.thm12017-02-06 12:46 522  
[ ]coh_sp__1976_42.min1.thm1.tptp2017-02-06 16:48 456  
[ ]coh_sp__1977_42.min1.thm12017-02-06 12:46 522  
[ ]coh_sp__1977_42.min1.thm1.tptp2017-02-06 16:48 456  
[ ]coh_sp__1979_22.min1.thm12017-02-06 12:46 713  
[ ]coh_sp__1999_17.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__2001_17.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__2001_37.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__2002_37.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__2004_27.min1.thm12017-02-06 12:46 619  
[ ]coh_sp__2008_14.min1.thm12017-02-06 12:46 655  
[ ]coh_sp__2015_17.min1.thm12017-02-06 12:46 1.0K 
[ ]coh_sp__2017_17.min1.thm12017-02-06 12:46 1.1K 
[ ]coh_sp__2017_37.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__2018_37.min1.thm12017-02-06 12:46 1.2K 
[ ]coh_sp__2020_27.min1.thm12017-02-06 12:46 619  
[ ]coh_sp__2024_14.min1.thm12017-02-06 12:46 655  
[ ]coh_sp__2035_42.min1.thm12017-02-06 12:46 522  
[ ]coh_sp__2035_42.min1.thm1.tptp2017-02-06 16:48 456  
[ ]coh_sp__2036_42.min1.thm12017-02-06 12:46 522  
[ ]coh_sp__2036_42.min1.thm1.tptp2017-02-06 16:48 456  
[ ]coh_sp__2038_44.min1.thm12017-02-06 12:46 1.3K 
[ ]coh_sp__2040_17.min1.thm12017-02-06 12:46 1.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80