Index of /~mptp/1147/MPTP2/ilp0/complex1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]complex1__39_24.min1.thm12017-02-06 12:45 670  
[   ]complex1__40_14.min1.thm12017-02-06 12:45 1.8K 
[   ]complex1__45_20.min1.thm12017-02-06 12:45 670  
[   ]complex1__46_14.min1.thm12017-02-06 12:45 2.2K 
[   ]complex1__60_52.min1.thm12017-02-06 12:45 195  
[   ]complex1__61_19.min1.thm12017-02-06 12:45 306  
[   ]complex1__61_19.min1.thm1.tptp2017-02-06 16:48 225  
[   ]complex1__66_51.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__68_15.min1.thm12017-02-06 12:45 319  
[   ]complex1__70_12.min1.thm12017-02-06 12:45 616  
[   ]complex1__71_13.min1.thm12017-02-06 12:45 130  
[   ]complex1__78_52.min1.thm12017-02-06 12:45 191  
[   ]complex1__79_19.min1.thm12017-02-06 12:45 306  
[   ]complex1__79_19.min1.thm1.tptp2017-02-06 16:48 225  
[   ]complex1__84_51.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__86_15.min1.thm12017-02-06 12:45 309  
[   ]complex1__88_12.min1.thm12017-02-06 12:45 598  
[   ]complex1__89_13.min1.thm12017-02-06 12:45 130  
[   ]complex1__97_13.min1.thm12017-02-06 12:45 210  
[   ]complex1__100_21.min1.thm12017-02-06 12:45 869  
[   ]complex1__106_19.min1.thm12017-02-06 12:45 793  
[   ]complex1__107_15.min1.thm12017-02-06 12:45 395  
[   ]complex1__108_25.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__109_21.min1.thm12017-02-06 12:45 623  
[   ]complex1__115_13.min1.thm12017-02-06 12:45 210  
[   ]complex1__118_21.min1.thm12017-02-06 12:45 875  
[   ]complex1__124_19.min1.thm12017-02-06 12:45 791  
[   ]complex1__125_15.min1.thm12017-02-06 12:45 413  
[   ]complex1__126_25.min1.thm12017-02-06 12:45 907  
[   ]complex1__127_21.min1.thm12017-02-06 12:45 613  
[   ]complex1__135_14.min1.thm12017-02-06 12:45 478  
[   ]complex1__137_14.min1.thm12017-02-06 12:45 478  
[   ]complex1__145_20.min1.thm12017-02-06 12:45 412  
[   ]complex1__146_56.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__148_18.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__156_45.min1.thm12017-02-06 12:45 350  
[   ]complex1__156_45.min1.thm1.tptp2017-02-06 16:48 262  
[   ]complex1__159_13.min1.thm12017-02-06 12:45 186  
[   ]complex1__162_25.min1.thm12017-02-06 12:45 621  
[   ]complex1__163_21.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__168_34.min1.thm12017-02-06 12:45 809  
[   ]complex1__169_59.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__170_40.min1.thm12017-02-06 12:45 1.5K 
[   ]complex1__171_21.min1.thm12017-02-06 12:45 1.5K 
[   ]complex1__174_11.min1.thm12017-02-06 12:45 184  
[   ]complex1__177_23.min1.thm12017-02-06 12:45 617  
[   ]complex1__178_19.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__183_32.min1.thm12017-02-06 12:45 805  
[   ]complex1__184_57.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__185_38.min1.thm12017-02-06 12:45 1.3K 
[   ]complex1__186_19.min1.thm12017-02-06 12:45 1.5K 
[   ]complex1__194_19.min1.thm12017-02-06 12:45 302  
[   ]complex1__194_19.min1.thm1.tptp2017-02-06 16:48 221  
[   ]complex1__195_11.min1.thm12017-02-06 12:45 206  
[   ]complex1__198_20.min1.thm12017-02-06 12:45 731  
[   ]complex1__199_34.min1.thm12017-02-06 12:45 780  
[   ]complex1__200_13.min1.thm12017-02-06 12:45 734  
[   ]complex1__205_58.min1.thm12017-02-06 12:45 882  
[   ]complex1__208_51.min1.thm12017-02-06 12:45 1.7K 
[   ]complex1__211_70.min1.thm12017-02-06 12:45 520  
[   ]complex1__213_17.min1.thm12017-02-06 12:45 635  
[   ]complex1__215_13.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__216_58.min1.thm12017-02-06 12:45 885  
[   ]complex1__218_15.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__219_15.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__220_19.min1.thm12017-02-06 12:45 964  
[   ]complex1__228_31.min1.thm12017-02-06 12:45 517  
[   ]complex1__229_12.min1.thm12017-02-06 12:45 371  
[   ]complex1__229_12.min1.thm1.tptp2017-02-06 16:48 294  
[   ]complex1__237_18.min1.thm12017-02-06 12:45 563  
[   ]complex1__246_16.min1.thm12017-02-06 12:45 489  
[   ]complex1__253_16.min1.thm12017-02-06 12:45 552  
[   ]complex1__255_14.min1.thm12017-02-06 12:45 374  
[   ]complex1__269_35.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__272_17.min1.thm12017-02-06 12:45 819  
[   ]complex1__289_16.min1.thm12017-02-06 12:45 303  
[   ]complex1__289_16.min1.thm1.tptp2017-02-06 16:48 222  
[   ]complex1__292_33.min1.thm12017-02-06 12:45 747  
[   ]complex1__295_17.min1.thm12017-02-06 12:45 684  
[   ]complex1__305_34.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__306_20.min1.thm12017-02-06 12:45 938  
[   ]complex1__308_19.min1.thm12017-02-06 12:45 482  
[   ]complex1__309_20.min1.thm12017-02-06 12:45 948  
[   ]complex1__310_17.min1.thm12017-02-06 12:45 1.5K 
[   ]complex1__316_19.min1.thm12017-02-06 12:45 523  
[   ]complex1__317_23.min1.thm12017-02-06 12:45 890  
[   ]complex1__331_11.min1.thm12017-02-06 12:45 631  
[   ]complex1__333_19.min1.thm12017-02-06 12:45 686  
[   ]complex1__334_13.min1.thm12017-02-06 12:45 631  
[   ]complex1__335_22.min1.thm12017-02-06 12:45 537  
[   ]complex1__337_31.min1.thm12017-02-06 12:45 846  
[   ]complex1__338_20.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__339_46.min1.thm12017-02-06 12:45 1.3K 
[   ]complex1__340_33.min1.thm12017-02-06 12:45 662  
[   ]complex1__341_15.min1.thm12017-02-06 12:45 1.9K 
[   ]complex1__350_36.min1.thm12017-02-06 12:45 906  
[   ]complex1__351_28.min1.thm12017-02-06 12:45 845  
[   ]complex1__352_25.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__353_21.min1.thm12017-02-06 12:45 934  
[   ]complex1__362_36.min1.thm12017-02-06 12:45 906  
[   ]complex1__363_28.min1.thm12017-02-06 12:45 845  
[   ]complex1__364_25.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__365_21.min1.thm12017-02-06 12:45 934  
[   ]complex1__377_28.min1.thm12017-02-06 12:45 845  
[   ]complex1__378_28.min1.thm12017-02-06 12:45 845  
[   ]complex1__382_27.min1.thm12017-02-06 12:45 735  
[   ]complex1__384_35.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__396_28.min1.thm12017-02-06 12:45 845  
[   ]complex1__397_28.min1.thm12017-02-06 12:45 845  
[   ]complex1__400_26.min1.thm12017-02-06 12:45 893  
[   ]complex1__401_35.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__407_50.min1.thm12017-02-06 12:45 591  
[   ]complex1__409_15.min1.thm12017-02-06 12:45 750  
[   ]complex1__411_15.min1.thm12017-02-06 12:45 750  
[   ]complex1__419_50.min1.thm12017-02-06 12:45 591  
[   ]complex1__420_43.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__421_15.min1.thm12017-02-06 12:45 1.3K 
[   ]complex1__422_41.min1.thm12017-02-06 12:45 1.9K 
[   ]complex1__423_15.min1.thm12017-02-06 12:45 884  
[   ]complex1__431_7.min1.thm12017-02-06 12:45 913  
[   ]complex1__432_17.min1.thm12017-02-06 12:45 2.4K 
[   ]complex1__437_51.min1.thm12017-02-06 12:45 645  
[   ]complex1__438_17.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__444_56.min1.thm12017-02-06 12:45 939  
[   ]complex1__445_33.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__453_11.min1.thm12017-02-06 12:45 2.4K 
[   ]complex1__459_41.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__460_24.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__461_11.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__462_39.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__463_18.min1.thm12017-02-06 12:45 464  
[   ]complex1__463_18.min1.thm1.tptp2017-02-06 16:48 387  
[   ]complex1__464_11.min1.thm12017-02-06 12:45 1.5K 
[   ]complex1__465_17.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__473_14.min1.thm12017-02-06 12:45 697  
[   ]complex1__476_51.min1.thm12017-02-06 12:45 753  
[   ]complex1__484_51.min1.thm12017-02-06 12:45 645  
[   ]complex1__485_17.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__493_14.min1.thm12017-02-06 12:45 697  
[   ]complex1__497_12.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__507_7.min1.thm12017-02-06 12:45 913  
[   ]complex1__508_17.min1.thm12017-02-06 12:45 2.4K 
[   ]complex1__514_16.min1.thm12017-02-06 12:45 303  
[   ]complex1__514_16.min1.thm1.tptp2017-02-06 16:48 222  
[   ]complex1__515_56.min1.thm12017-02-06 12:45 913  
[   ]complex1__516_31.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__523_16.min1.thm12017-02-06 12:45 303  
[   ]complex1__523_16.min1.thm1.tptp2017-02-06 16:48 222  
[   ]complex1__525_9.min1.thm12017-02-06 12:45 2.3K 
[   ]complex1__531_27.min1.thm12017-02-06 12:45 489  
[   ]complex1__532_24.min1.thm12017-02-06 12:45 553  
[   ]complex1__533_17.min1.thm12017-02-06 12:45 929  
[   ]complex1__539_23.min1.thm12017-02-06 12:45 375  
[   ]complex1__539_23.min1.thm1.tptp2017-02-06 16:48 298  
[   ]complex1__549_51.min1.thm12017-02-06 12:45 801  
[   ]complex1__550_23.min1.thm12017-02-06 12:45 2.2K 
[   ]complex1__551_51.min1.thm12017-02-06 12:45 801  
[   ]complex1__552_11.min1.thm12017-02-06 12:45 1.9K 
[   ]complex1__561_51.min1.thm12017-02-06 12:45 801  
[   ]complex1__563_51.min1.thm12017-02-06 12:45 801  
[   ]complex1__564_11.min1.thm12017-02-06 12:45 1.7K 
[   ]complex1__571_43.min1.thm12017-02-06 12:45 736  
[   ]complex1__571_43.min1.thm1.tptp2017-02-06 16:48 672  
[   ]complex1__580_14.min1.thm12017-02-06 12:45 580  
[   ]complex1__584_48.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__595_17.min1.thm12017-02-06 12:45 306  
[   ]complex1__595_17.min1.thm1.tptp2017-02-06 16:48 225  
[   ]complex1__596_32.min1.thm12017-02-06 12:45 705  
[   ]complex1__597_17.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__601_15.min1.thm12017-02-06 12:45 771  
[   ]complex1__608_14.min1.thm12017-02-06 12:45 697  
[   ]complex1__611_31.min1.thm12017-02-06 12:45 525  
[   ]complex1__612_22.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__612_55.min1.thm12017-02-06 12:45 922  
[   ]complex1__614_16.min1.thm12017-02-06 12:45 652  
[   ]complex1__621_36.min1.thm12017-02-06 12:45 411  
[   ]complex1__622_66.min1.thm12017-02-06 12:45 959  
[   ]complex1__624_63.min1.thm12017-02-06 12:45 959  
[   ]complex1__634_14.min1.thm12017-02-06 12:45 580  
[   ]complex1__639_13.min1.thm12017-02-06 12:45 191  
[   ]complex1__647_31.min1.thm12017-02-06 12:45 621  
[   ]complex1__670_15.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__673_15.min1.thm12017-02-06 12:45 1.5K 
[   ]complex1__682_17.min1.thm12017-02-06 12:45 306  
[   ]complex1__682_17.min1.thm1.tptp2017-02-06 16:48 225  
[   ]complex1__690_13.min1.thm12017-02-06 12:45 861  
[   ]complex1__698_40.min1.thm12017-02-06 12:45 686  
[   ]complex1__698_40.min1.thm1.tptp2017-02-06 16:48 615  
[   ]complex1__699_44.min1.thm12017-02-06 12:45 2.7K 
[   ]complex1__700_16.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__701_17.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__702_44.min1.thm12017-02-06 12:45 697  
[   ]complex1__702_44.min1.thm1.tptp2017-02-06 16:48 626  
[   ]complex1__712_40.min1.thm12017-02-06 12:45 686  
[   ]complex1__712_40.min1.thm1.tptp2017-02-06 16:48 615  
[   ]complex1__714_44.min1.thm12017-02-06 12:45 697  
[   ]complex1__714_44.min1.thm1.tptp2017-02-06 16:48 626  
[   ]complex1__716_21.min1.thm12017-02-06 12:45 1.7K 
[   ]complex1__717_19.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__726_14.min1.thm12017-02-06 12:45 593  
[   ]complex1__729_45.min1.thm12017-02-06 12:45 497  
[   ]complex1__735_25.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__755_16.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__778_35.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__779_38.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__780_26.min1.thm12017-02-06 12:45 682  
[   ]complex1__781_25.min1.thm12017-02-06 12:45 1.7K 
[   ]complex1__782_16.min1.thm12017-02-06 12:45 933  
[   ]complex1__792_35.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__793_39.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__794_28.min1.thm12017-02-06 12:45 726  
[   ]complex1__797_16.min1.thm12017-02-06 12:45 944  
[   ]complex1__804_13.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__810_42.min1.thm12017-02-06 12:45 1.3K 
[   ]complex1__811_33.min1.thm12017-02-06 12:45 872  
[   ]complex1__819_14.min1.thm12017-02-06 12:45 490  
[   ]complex1__826_17.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__830_12.min1.thm12017-02-06 12:45 956  
[   ]complex1__837_36.min1.thm12017-02-06 12:45 1.9K 
[   ]complex1__841_14.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__844_17.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__849_40.min1.thm12017-02-06 12:45 656  
[   ]complex1__850_23.min1.thm12017-02-06 12:45 613  
[   ]complex1__851_27.min1.thm12017-02-06 12:45 502  
[   ]complex1__851_27.min1.thm1.tptp2017-02-06 16:48 431  
[   ]complex1__852_31.min1.thm12017-02-06 12:45 530  
[   ]complex1__852_31.min1.thm1.tptp2017-02-06 16:48 459  
[   ]complex1__853_25.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__854_41.min1.thm12017-02-06 12:45 667  
[   ]complex1__855_28.min1.thm12017-02-06 12:45 860  
[   ]complex1__857_28.min1.thm12017-02-06 12:45 535  
[   ]complex1__857_28.min1.thm1.tptp2017-02-06 16:48 464  
[   ]complex1__858_31.min1.thm12017-02-06 12:45 541  
[   ]complex1__858_31.min1.thm1.tptp2017-02-06 16:48 470  
[   ]complex1__859_26.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__865_29.min1.thm12017-02-06 12:45 534  
[   ]complex1__866_16.min1.thm12017-02-06 12:45 441  
[   ]complex1__866_16.min1.thm1.tptp2017-02-06 16:48 370  
[   ]complex1__867_20.min1.thm12017-02-06 12:45 444  
[   ]complex1__867_20.min1.thm1.tptp2017-02-06 16:48 373  
[   ]complex1__868_19.min1.thm12017-02-06 12:45 763  
[   ]complex1__869_30.min1.thm12017-02-06 12:45 545  
[   ]complex1__870_17.min1.thm12017-02-06 12:45 463  
[   ]complex1__870_17.min1.thm1.tptp2017-02-06 16:48 392  
[   ]complex1__871_20.min1.thm12017-02-06 12:45 455  
[   ]complex1__871_20.min1.thm1.tptp2017-02-06 16:48 384  
[   ]complex1__872_19.min1.thm12017-02-06 12:45 763  
[   ]complex1__878_33.min1.thm12017-02-06 12:45 515  
[   ]complex1__878_54.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__879_24.min1.thm12017-02-06 12:45 479  
[   ]complex1__879_24.min1.thm1.tptp2017-02-06 16:48 402  
[   ]complex1__886_42.min1.thm12017-02-06 12:45 559  
[   ]complex1__887_44.min1.thm12017-02-06 12:45 581  
[   ]complex1__888_35.min1.thm12017-02-06 12:45 656  
[   ]complex1__891_23.min1.thm12017-02-06 12:45 1.8K 
[   ]complex1__892_36.min1.thm12017-02-06 12:45 667  
[   ]complex1__901_41.min1.thm12017-02-06 12:45 505  
[   ]complex1__901_41.min1.thm1.tptp2017-02-06 16:48 436  
[   ]complex1__902_27.min1.thm12017-02-06 12:45 534  
[   ]complex1__905_28.min1.thm12017-02-06 12:45 545  
[   ]complex1__914_32.min1.thm12017-02-06 12:45 648  
[   ]complex1__915_22.min1.thm12017-02-06 12:45 659  
[   ]complex1__916_22.min1.thm12017-02-06 12:45 479  
[   ]complex1__916_22.min1.thm1.tptp2017-02-06 16:48 402  
[   ]complex1__923_39.min1.thm12017-02-06 12:45 505  
[   ]complex1__923_39.min1.thm1.tptp2017-02-06 16:48 436  
[   ]complex1__924_17.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__930_19.min1.thm12017-02-06 12:45 306  
[   ]complex1__930_19.min1.thm1.tptp2017-02-06 16:48 225  
[   ]complex1__933_37.min1.thm12017-02-06 12:45 762  
[   ]complex1__939_57.min1.thm12017-02-06 12:45 968  
[   ]complex1__940_39.min1.thm12017-02-06 12:45 690  
[   ]complex1__940_39.min1.thm1.tptp2017-02-06 16:48 619  
[   ]complex1__941_36.min1.thm12017-02-06 12:45 673  
[   ]complex1__941_36.min1.thm1.tptp2017-02-06 16:48 602  
[   ]complex1__943_57.min1.thm12017-02-06 12:45 968  
[   ]complex1__944_40.min1.thm12017-02-06 12:45 701  
[   ]complex1__944_40.min1.thm1.tptp2017-02-06 16:48 630  
[   ]complex1__952_39.min1.thm12017-02-06 12:45 766  
[   ]complex1__953_21.min1.thm12017-02-06 12:45 502  
[   ]complex1__953_21.min1.thm1.tptp2017-02-06 16:48 431  
[   ]complex1__955_41.min1.thm12017-02-06 12:45 766  
[   ]complex1__956_22.min1.thm12017-02-06 12:45 513  
[   ]complex1__956_22.min1.thm1.tptp2017-02-06 16:48 442  
[   ]complex1__963_39.min1.thm12017-02-06 12:45 767  
[   ]complex1__964_21.min1.thm12017-02-06 12:45 502  
[   ]complex1__964_21.min1.thm1.tptp2017-02-06 16:48 431  
[   ]complex1__966_39.min1.thm12017-02-06 12:45 767  
[   ]complex1__967_22.min1.thm12017-02-06 12:45 513  
[   ]complex1__967_22.min1.thm1.tptp2017-02-06 16:48 442  
[   ]complex1__975_11.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__984_36.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__987_16.min1.thm12017-02-06 12:45 1.8K 
[   ]complex1__988_20.min1.thm12017-02-06 12:45 1.8K 
[   ]complex1__989_38.min1.thm12017-02-06 12:45 2.0K 
[   ]complex1__1002_16.min1.thm12017-02-06 12:45 303  
[   ]complex1__1002_16.min1.thm1.tptp2017-02-06 16:48 222  
[   ]complex1__1004_15.min1.thm12017-02-06 12:45 797  
[   ]complex1__1006_19.min1.thm12017-02-06 12:45 880  
[   ]complex1__1008_9.min1.thm12017-02-06 12:45 801  
[   ]complex1__1013_14.min1.thm12017-02-06 12:45 2.5K 
[   ]complex1__1017_11.min1.thm12017-02-06 12:45 599  
[   ]complex1__1031_25.min1.thm12017-02-06 12:45 609  
[   ]complex1__1038_31.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__1044_12.min1.thm12017-02-06 12:45 912  
[   ]complex1__1047_22.min1.thm12017-02-06 12:45 1.5K 
[   ]complex1__1050_15.min1.thm12017-02-06 12:45 1.7K 
[   ]complex1__1053_16.min1.thm12017-02-06 12:45 2.1K 
[   ]complex1__1057_47.min1.thm12017-02-06 12:45 876  
[   ]complex1__1058_38.min1.thm12017-02-06 12:45 621  
[   ]complex1__1058_38.min1.thm1.tptp2017-02-06 16:48 550  
[   ]complex1__1065_21.min1.thm12017-02-06 12:45 1.3K 
[   ]complex1__1066_17.min1.thm12017-02-06 12:45 522  
[   ]complex1__1071_11.min1.thm12017-02-06 12:45 213  
[   ]complex1__1074_24.min1.thm12017-02-06 12:45 442  
[   ]complex1__1075_19.min1.thm12017-02-06 12:45 539  
[   ]complex1__1079_22.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__1080_19.min1.thm12017-02-06 12:45 969  
[   ]complex1__1091_19.min1.thm12017-02-06 12:45 294  
[   ]complex1__1097_37.min1.thm12017-02-06 12:45 591  
[   ]complex1__1097_37.min1.thm1.tptp2017-02-06 16:48 520  
[   ]complex1__1106_22.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__1107_16.min1.thm12017-02-06 12:45 1.5K 
[   ]complex1__1109_17.min1.thm12017-02-06 12:45 2.5K 
[   ]complex1__1115_16.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__1117_42.min1.thm12017-02-06 12:45 1.8K 
[   ]complex1__1118_16.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__1122_21.min1.thm12017-02-06 12:45 588  
[   ]complex1__1123_17.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__1129_16.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__1131_42.min1.thm12017-02-06 12:45 2.1K 
[   ]complex1__1132_16.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__1136_21.min1.thm12017-02-06 12:45 588  
[   ]complex1__1137_17.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__1144_36.min1.thm12017-02-06 12:45 639  
[   ]complex1__1148_54.min1.thm12017-02-06 12:45 2.4K 
[   ]complex1__1151_35.min1.thm12017-02-06 12:45 1.7K 
[   ]complex1__1153_42.min1.thm12017-02-06 12:45 2.5K 
[   ]complex1__1156_39.min1.thm12017-02-06 12:45 1.8K 
[   ]complex1__1157_23.min1.thm12017-02-06 12:45 1.9K 
[   ]complex1__1170_33.min1.thm12017-02-06 12:45 639  
[   ]complex1__1178_46.min1.thm12017-02-06 12:45 1.4K 
[   ]complex1__1179_37.min1.thm12017-02-06 12:45 1.8K 
[   ]complex1__1188_29.min1.thm12017-02-06 12:45 513  
[   ]complex1__1189_41.min1.thm12017-02-06 12:45 830  
[   ]complex1__1190_17.min1.thm12017-02-06 12:45 622  
[   ]complex1__1197_40.min1.thm12017-02-06 12:45 801  
[   ]complex1__1198_17.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__1205_40.min1.thm12017-02-06 12:45 801  
[   ]complex1__1206_17.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__1212_35.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__1212_53.min1.thm12017-02-06 12:45 599  
[   ]complex1__1221_20.min1.thm12017-02-06 12:45 946  
[   ]complex1__1233_28.min1.thm12017-02-06 12:45 596  
[   ]complex1__1234_16.min1.thm12017-02-06 12:45 1.3K 
[   ]complex1__1243_17.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__1256_21.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__1257_25.min1.thm12017-02-06 12:45 691  
[   ]complex1__1258_21.min1.thm12017-02-06 12:45 2.1K 
[   ]complex1__1260_19.min1.thm12017-02-06 12:45 2.0K 
[   ]complex1__1267_18.min1.thm12017-02-06 12:45 687  
[   ]complex1__1268_36.min1.thm12017-02-06 12:45 1.4K 
[   ]complex1__1269_19.min1.thm12017-02-06 12:45 572  
[   ]complex1__1277_35.min1.thm12017-02-06 12:45 567  
[   ]complex1__1280_42.min1.thm12017-02-06 12:45 1.5K 
[   ]complex1__1281_35.min1.thm12017-02-06 12:45 567  
[   ]complex1__1282_17.min1.thm12017-02-06 12:45 1.7K 
[   ]complex1__1290_40.min1.thm12017-02-06 12:45 827  
[   ]complex1__1292_38.min1.thm12017-02-06 12:45 827  
[   ]complex1__1301_11.min1.thm12017-02-06 12:45 187  
[   ]complex1__1305_16.min1.thm12017-02-06 12:45 520  
[   ]complex1__1314_18.min1.thm12017-02-06 12:45 952  
[   ]complex1__1318_21.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__1318_34.min1.thm12017-02-06 12:45 660  
[   ]complex1__1326_24.min1.thm12017-02-06 12:45 469  
[   ]complex1__1326_24.min1.thm1.tptp2017-02-06 16:48 392  
[   ]complex1__1327_20.min1.thm12017-02-06 12:45 655  
[   ]complex1__1328_19.min1.thm12017-02-06 12:45 648  
[   ]complex1__1342_31.min1.thm12017-02-06 12:45 478  
[   ]complex1__1342_31.min1.thm1.tptp2017-02-06 16:48 408  
[   ]complex1__1343_23.min1.thm12017-02-06 12:45 449  
[   ]complex1__1343_23.min1.thm1.tptp2017-02-06 16:48 372  
[   ]complex1__1344_19.min1.thm12017-02-06 12:45 696  
[   ]complex1__1350_30.min1.thm12017-02-06 12:45 324  
[   ]complex1__1355_17.min1.thm12017-02-06 12:45 211  
[   ]complex1__1356_17.min1.thm12017-02-06 12:45 1.2K 
[   ]complex1__1360_21.min1.thm12017-02-06 12:45 290  
[   ]complex1__1365_11.min1.thm12017-02-06 12:45 546  
[   ]complex1__1368_28.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__1368_44.min1.thm12017-02-06 12:45 670  
[   ]complex1__1369_17.min1.thm12017-02-06 12:45 860  
[   ]complex1__1382_11.min1.thm12017-02-06 12:45 546  
[   ]complex1__1391_17.min1.thm12017-02-06 12:45 548  
[   ]complex1__1394_29.min1.thm12017-02-06 12:45 818  
[   ]complex1__1401_28.min1.thm12017-02-06 12:45 403  
[   ]complex1__1401_28.min1.thm1.tptp2017-02-06 16:48 334  
[   ]complex1__1406_29.min1.thm12017-02-06 12:45 356  
[   ]complex1__1425_17.min1.thm12017-02-06 12:45 1.0K 
[   ]complex1__1434_27.min1.thm12017-02-06 12:45 1.1K 
[   ]complex1__1435_20.min1.thm12017-02-06 12:45 684  
[   ]complex1__1437_32.min1.thm12017-02-06 12:45 2.4K 
[   ]complex1__1442_17.min1.thm12017-02-06 12:45 2.7K 
[   ]complex1__1445_58.min1.thm12017-02-06 12:45 2.0K 
[   ]complex1__1452_29.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__1453_35.min1.thm12017-02-06 12:45 1.6K 
[   ]complex1__1454_17.min1.thm12017-02-06 12:45 869  
[   ]complex1__1458_28.min1.thm12017-02-06 12:45 729  

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80