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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]partit1__52_9.min1.thm12017-02-06 12:46 872  
[ ]partit1__53_12.min1.thm12017-02-06 12:46 471  
[ ]partit1__54_17.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__70_53.min1.thm12017-02-06 12:46 475  
[ ]partit1__70_53.min1.thm1.tptp2017-02-06 16:47 420  
[ ]partit1__71_19.min1.thm12017-02-06 12:46 862  
[ ]partit1__79_15.min1.thm12017-02-06 12:46 403  
[ ]partit1__79_15.min1.thm1.tptp2017-02-06 16:47 348  
[ ]partit1__80_17.min1.thm12017-02-06 12:46 476  
[ ]partit1__81_24.min1.thm12017-02-06 12:46 591  
[ ]partit1__82_19.min1.thm12017-02-06 12:46 526  
[ ]partit1__84_17.min1.thm12017-02-06 12:46 551  
[ ]partit1__99_13.min1.thm12017-02-06 12:46 464  
[ ]partit1__102_13.min1.thm12017-02-06 12:46 464  
[ ]partit1__103_7.min1.thm12017-02-06 12:46 830  
[ ]partit1__104_17.min1.thm12017-02-06 12:46 519  
[ ]partit1__112_28.min1.thm12017-02-06 12:46 698  
[ ]partit1__113_17.min1.thm12017-02-06 12:46 348  
[ ]partit1__113_17.min1.thm1.tptp2017-02-06 16:47 278  
[ ]partit1__127_17.min1.thm12017-02-06 12:46 880  
[ ]partit1__129_13.min1.thm12017-02-06 12:46 481  
[ ]partit1__130_16.min1.thm12017-02-06 12:46 672  
[ ]partit1__133_14.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__136_13.min1.thm12017-02-06 12:46 472  
[ ]partit1__138_19.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__140_17.min1.thm12017-02-06 12:46 425  
[ ]partit1__140_17.min1.thm1.tptp2017-02-06 16:47 371  
[ ]partit1__169_19.min1.thm12017-02-06 12:46 670  
[ ]partit1__170_28.min1.thm12017-02-06 12:46 597  
[ ]partit1__178_25.min1.thm12017-02-06 12:46 472  
[ ]partit1__179_15.min1.thm12017-02-06 12:46 925  
[ ]partit1__183_59.min1.thm12017-02-06 12:46 752  
[ ]partit1__184_18.min1.thm12017-02-06 12:46 337  
[ ]partit1__186_20.min1.thm12017-02-06 12:46 453  
[ ]partit1__186_20.min1.thm1.tptp2017-02-06 16:47 389  
[ ]partit1__193_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__196_17.min1.thm12017-02-06 12:46 480  
[ ]partit1__198_18.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__199_21.min1.thm12017-02-06 12:46 559  
[ ]partit1__201_26.min1.thm12017-02-06 12:46 479  
[ ]partit1__201_26.min1.thm1.tptp2017-02-06 16:47 415  
[ ]partit1__207_16.min1.thm12017-02-06 12:46 501  
[ ]partit1__207_16.min1.thm1.tptp2017-02-06 16:47 446  
[ ]partit1__208_57.min1.thm12017-02-06 12:46 752  
[ ]partit1__209_21.min1.thm12017-02-06 12:46 915  
[ ]partit1__211_22.min1.thm12017-02-06 12:46 480  
[ ]partit1__211_22.min1.thm1.tptp2017-02-06 16:47 416  
[ ]partit1__212_21.min1.thm12017-02-06 12:46 559  
[ ]partit1__213_19.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__215_14.min1.thm12017-02-06 12:46 312  
[ ]partit1__222_32.min1.thm12017-02-06 12:46 371  
[ ]partit1__222_32.min1.thm1.tptp2017-02-06 16:47 296  
[ ]partit1__223_20.min1.thm12017-02-06 12:46 238  
[ ]partit1__230_15.min1.thm12017-02-06 12:46 337  
[ ]partit1__230_15.min1.thm1.tptp2017-02-06 16:47 272  
[ ]partit1__231_17.min1.thm12017-02-06 12:46 458  
[ ]partit1__234_19.min1.thm12017-02-06 12:46 463  
[ ]partit1__242_17.min1.thm12017-02-06 12:46 888  
[ ]partit1__244_10.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__247_15.min1.thm12017-02-06 12:46 523  
[ ]partit1__248_9.min1.thm12017-02-06 12:46 337  
[ ]partit1__248_9.min1.thm1.tptp2017-02-06 16:47 272  
[ ]partit1__249_19.min1.thm12017-02-06 12:46 830  
[ ]partit1__251_22.min1.thm12017-02-06 12:46 453  
[ ]partit1__251_22.min1.thm1.tptp2017-02-06 16:47 399  
[ ]partit1__252_12.min1.thm12017-02-06 12:46 267  
[ ]partit1__253_17.min1.thm12017-02-06 12:46 756  
[ ]partit1__262_11.min1.thm12017-02-06 12:46 186  
[ ]partit1__265_23.min1.thm12017-02-06 12:46 541  
[ ]partit1__266_19.min1.thm12017-02-06 12:46 695  
[ ]partit1__270_58.min1.thm12017-02-06 12:46 464  
[ ]partit1__279_37.min1.thm12017-02-06 12:46 395  
[ ]partit1__279_37.min1.thm1.tptp2017-02-06 16:47 314  
[ ]partit1__280_21.min1.thm12017-02-06 12:46 640  
[ ]partit1__290_15.min1.thm12017-02-06 12:46 628  
[ ]partit1__291_14.min1.thm12017-02-06 12:46 592  
[ ]partit1__291_14.min1.thm1.tptp2017-02-06 16:47 519  
[ ]partit1__292_21.min1.thm12017-02-06 12:46 876  
[ ]partit1__293_18.min1.thm12017-02-06 12:46 635  
[ ]partit1__296_6.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__301_43.min1.thm12017-02-06 12:46 418  
[ ]partit1__301_43.min1.thm1.tptp2017-02-06 16:47 335  
[ ]partit1__309_14.min1.thm12017-02-06 12:46 376  
[ ]partit1__311_22.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__312_14.min1.thm12017-02-06 12:46 725  
[ ]partit1__313_21.min1.thm12017-02-06 12:46 965  
[ ]partit1__318_15.min1.thm12017-02-06 12:46 376  
[ ]partit1__321_26.min1.thm12017-02-06 12:46 432  
[ ]partit1__322_37.min1.thm12017-02-06 12:46 652  
[ ]partit1__324_20.min1.thm12017-02-06 12:46 759  
[ ]partit1__330_24.min1.thm12017-02-06 12:46 1.9K 
[ ]partit1__331_20.min1.thm12017-02-06 12:46 1.9K 
[ ]partit1__333_50.min1.thm12017-02-06 12:46 2.2K 
[ ]partit1__334_23.min1.thm12017-02-06 12:46 2.9K 
[ ]partit1__336_33.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__337_21.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__344_25.min1.thm12017-02-06 12:46 676  
[ ]partit1__345_37.min1.thm12017-02-06 12:46 652  
[ ]partit1__346_39.min1.thm12017-02-06 12:46 247  
[ ]partit1__349_15.min1.thm12017-02-06 12:46 376  
[ ]partit1__356_24.min1.thm12017-02-06 12:46 1.9K 
[ ]partit1__357_20.min1.thm12017-02-06 12:46 2.0K 
[ ]partit1__358_22.min1.thm12017-02-06 12:46 2.3K 
[ ]partit1__359_28.min1.thm12017-02-06 12:46 2.0K 
[ ]partit1__360_50.min1.thm12017-02-06 12:46 1.9K 
[ ]partit1__363_21.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__365_28.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__366_21.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__374_15.min1.thm12017-02-06 12:46 376  
[ ]partit1__378_15.min1.thm12017-02-06 12:46 777  
[ ]partit1__379_20.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__386_24.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__387_22.min1.thm12017-02-06 12:46 741  
[ ]partit1__388_23.min1.thm12017-02-06 12:46 659  
[ ]partit1__390_21.min1.thm12017-02-06 12:46 835  
[ ]partit1__391_21.min1.thm12017-02-06 12:46 678  
[ ]partit1__393_35.min1.thm12017-02-06 12:46 581  
[ ]partit1__409_19.min1.thm12017-02-06 12:46 616  
[ ]partit1__412_19.min1.thm12017-02-06 12:46 616  
[ ]partit1__418_20.min1.thm12017-02-06 12:46 650  
[ ]partit1__419_15.min1.thm12017-02-06 12:46 743  
[ ]partit1__422_14.min1.thm12017-02-06 12:46 471  
[ ]partit1__425_14.min1.thm12017-02-06 12:46 472  
[ ]partit1__426_15.min1.thm12017-02-06 12:46 870  
[ ]partit1__427_15.min1.thm12017-02-06 12:46 870  
[ ]partit1__428_13.min1.thm12017-02-06 12:46 514  
[ ]partit1__430_20.min1.thm12017-02-06 12:46 555  
[ ]partit1__431_19.min1.thm12017-02-06 12:46 521  
[ ]partit1__439_21.min1.thm12017-02-06 12:46 465  
[ ]partit1__439_21.min1.thm1.tptp2017-02-06 16:47 410  
[ ]partit1__440_14.min1.thm12017-02-06 12:46 408  
[ ]partit1__440_14.min1.thm1.tptp2017-02-06 16:47 346  
[ ]partit1__441_14.min1.thm12017-02-06 12:46 501  
[ ]partit1__442_15.min1.thm12017-02-06 12:46 525  
[ ]partit1__443_11.min1.thm12017-02-06 12:46 526  
[ ]partit1__444_19.min1.thm12017-02-06 12:46 727  
[ ]partit1__446_38.min1.thm12017-02-06 12:46 635  
[ ]partit1__447_20.min1.thm12017-02-06 12:46 457  
[ ]partit1__448_29.min1.thm12017-02-06 12:46 412  
[ ]partit1__448_29.min1.thm1.tptp2017-02-06 16:47 336  
[ ]partit1__449_25.min1.thm12017-02-06 12:46 496  
[ ]partit1__449_25.min1.thm1.tptp2017-02-06 16:47 425  
[ ]partit1__450_25.min1.thm12017-02-06 12:46 527  
[ ]partit1__454_39.min1.thm12017-02-06 12:46 449  
[ ]partit1__454_39.min1.thm1.tptp2017-02-06 16:47 395  
[ ]partit1__457_17.min1.thm12017-02-06 12:46 880  
[ ]partit1__470_16.min1.thm12017-02-06 12:46 616  
[ ]partit1__472_19.min1.thm12017-02-06 12:46 677  
[ ]partit1__473_35.min1.thm12017-02-06 12:46 926  
[ ]partit1__474_33.min1.thm12017-02-06 12:46 343  
[ ]partit1__474_33.min1.thm1.tptp2017-02-06 16:47 265  
[ ]partit1__477_16.min1.thm12017-02-06 12:46 698  
[ ]partit1__480_17.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__488_19.min1.thm12017-02-06 12:46 677  
[ ]partit1__490_28.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__491_62.min1.thm12017-02-06 12:46 562  
[ ]partit1__496_37.min1.thm12017-02-06 12:46 295  
[ ]partit1__497_7.min1.thm12017-02-06 12:46 231  
[ ]partit1__498_19.min1.thm12017-02-06 12:46 1.6K 
[ ]partit1__504_57.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__505_16.min1.thm12017-02-06 12:46 398  
[ ]partit1__507_24.min1.thm12017-02-06 12:46 948  
[ ]partit1__508_29.min1.thm12017-02-06 12:46 931  
[ ]partit1__515_30.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__516_16.min1.thm12017-02-06 12:46 414  
[ ]partit1__518_50.min1.thm12017-02-06 12:46 919  
[ ]partit1__524_30.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__525_16.min1.thm12017-02-06 12:46 414  
[ ]partit1__527_50.min1.thm12017-02-06 12:46 919  
[ ]partit1__539_20.min1.thm12017-02-06 12:46 624  
[ ]partit1__540_14.min1.thm12017-02-06 12:46 835  
[ ]partit1__541_13.min1.thm12017-02-06 12:46 220  
[ ]partit1__544_21.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__549_25.min1.thm12017-02-06 12:46 822  
[ ]partit1__550_23.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__552_21.min1.thm12017-02-06 12:46 490  
[ ]partit1__556_36.min1.thm12017-02-06 12:46 946  
[ ]partit1__557_15.min1.thm12017-02-06 12:46 535  
[ ]partit1__558_21.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__559_16.min1.thm12017-02-06 12:46 556  
[ ]partit1__560_26.min1.thm12017-02-06 12:46 820  
[ ]partit1__561_11.min1.thm12017-02-06 12:46 570  
[ ]partit1__563_59.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__564_22.min1.thm12017-02-06 12:46 1.6K 
[ ]partit1__569_25.min1.thm12017-02-06 12:46 822  
[ ]partit1__570_23.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__572_37.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__573_33.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__574_27.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__576_17.min1.thm12017-02-06 12:46 379  
[ ]partit1__577_15.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__578_13.min1.thm12017-02-06 12:46 430  
[ ]partit1__592_18.min1.thm12017-02-06 12:46 780  
[ ]partit1__594_25.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__595_16.min1.thm12017-02-06 12:46 1.6K 
[ ]partit1__611_48.min1.thm12017-02-06 12:46 390  
[ ]partit1__613_19.min1.thm12017-02-06 12:46 776  
[ ]partit1__622_39.min1.thm12017-02-06 12:46 340  
[ ]partit1__623_34.min1.thm12017-02-06 12:46 484  
[ ]partit1__623_34.min1.thm1.tptp2017-02-06 16:47 403  
[ ]partit1__625_19.min1.thm12017-02-06 12:46 368  
[ ]partit1__625_19.min1.thm1.tptp2017-02-06 16:47 308  
[ ]partit1__634_13.min1.thm12017-02-06 12:46 190  
[ ]partit1__637_21.min1.thm12017-02-06 12:46 609  
[ ]partit1__641_40.min1.thm12017-02-06 12:46 297  
[ ]partit1__641_40.min1.thm1.tptp2017-02-06 16:47 217  
[ ]partit1__642_56.min1.thm12017-02-06 12:46 529  
[ ]partit1__649_19.min1.thm12017-02-06 12:46 385  
[ ]partit1__649_19.min1.thm1.tptp2017-02-06 16:47 320  
[ ]partit1__650_21.min1.thm12017-02-06 12:46 514  
[ ]partit1__653_23.min1.thm12017-02-06 12:46 551  
[ ]partit1__656_21.min1.thm12017-02-06 12:46 918  
[ ]partit1__672_11.min1.thm12017-02-06 12:46 225  
[ ]partit1__673_53.min1.thm12017-02-06 12:46 708  
[ ]partit1__679_61.min1.thm12017-02-06 12:46 527  
[ ]partit1__679_61.min1.thm1.tptp2017-02-06 16:47 485  
[ ]partit1__680_17.min1.thm12017-02-06 12:46 918  
[ ]partit1__681_18.min1.thm12017-02-06 12:46 609  
[ ]partit1__684_59.min1.thm12017-02-06 12:46 642  
[ ]partit1__686_47.min1.thm12017-02-06 12:46 507  
[ ]partit1__686_47.min1.thm1.tptp2017-02-06 16:47 432  
[ ]partit1__687_34.min1.thm12017-02-06 12:46 818  
[ ]partit1__688_43.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__689_32.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__690_13.min1.thm12017-02-06 12:46 782  
[ ]partit1__697_26.min1.thm12017-02-06 12:46 880  
[ ]partit1__698_32.min1.thm12017-02-06 12:46 917  
[ ]partit1__705_54.min1.thm12017-02-06 12:46 623  
[ ]partit1__705_54.min1.thm1.tptp2017-02-06 16:47 556  
[ ]partit1__706_37.min1.thm12017-02-06 12:46 623  
[ ]partit1__706_37.min1.thm1.tptp2017-02-06 16:47 556  
[ ]partit1__707_22.min1.thm12017-02-06 12:46 730  
[ ]partit1__711_36.min1.thm12017-02-06 12:46 925  
[ ]partit1__714_20.min1.thm12017-02-06 12:46 535  
[ ]partit1__714_20.min1.thm1.tptp2017-02-06 16:47 493  
[ ]partit1__717_21.min1.thm12017-02-06 12:46 529  
[ ]partit1__717_21.min1.thm1.tptp2017-02-06 16:47 487  
[ ]partit1__718_48.min1.thm12017-02-06 12:46 351  
[ ]partit1__721_64.min1.thm12017-02-06 12:46 888  
[ ]partit1__723_50.min1.thm12017-02-06 12:46 653  
[ ]partit1__723_50.min1.thm1.tptp2017-02-06 16:47 589  
[ ]partit1__724_39.min1.thm12017-02-06 12:46 653  
[ ]partit1__724_39.min1.thm1.tptp2017-02-06 16:47 589  
[ ]partit1__725_23.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__727_21.min1.thm12017-02-06 12:46 794  
[ ]partit1__731_15.min1.thm12017-02-06 12:46 453  
[ ]partit1__745_18.min1.thm12017-02-06 12:46 970  
[ ]partit1__747_18.min1.thm12017-02-06 12:46 464  
[ ]partit1__749_45.min1.thm12017-02-06 12:46 559  
[ ]partit1__749_45.min1.thm1.tptp2017-02-06 16:47 505  
[ ]partit1__756_19.min1.thm12017-02-06 12:46 888  
[ ]partit1__758_20.min1.thm12017-02-06 12:46 442  
[ ]partit1__759_28.min1.thm12017-02-06 12:46 549  
[ ]partit1__760_40.min1.thm12017-02-06 12:46 820  
[ ]partit1__761_16.min1.thm12017-02-06 12:46 570  
[ ]partit1__763_42.min1.thm12017-02-06 12:46 559  
[ ]partit1__763_42.min1.thm1.tptp2017-02-06 16:47 505  
[ ]partit1__764_17.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__774_19.min1.thm12017-02-06 12:46 764  
[ ]partit1__784_19.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__788_20.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__792_23.min1.thm12017-02-06 12:46 297  
[ ]partit1__793_20.min1.thm12017-02-06 12:46 697  
[ ]partit1__794_33.min1.thm12017-02-06 12:46 621  
[ ]partit1__795_21.min1.thm12017-02-06 12:46 935  
[ ]partit1__796_16.min1.thm12017-02-06 12:46 602  
[ ]partit1__797_17.min1.thm12017-02-06 12:46 510  
[ ]partit1__798_23.min1.thm12017-02-06 12:46 339  
[ ]partit1__798_23.min1.thm1.tptp2017-02-06 16:47 271  
[ ]partit1__799_41.min1.thm12017-02-06 12:46 658  
[ ]partit1__800_37.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__802_18.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__804_38.min1.thm12017-02-06 12:46 599  
[ ]partit1__804_38.min1.thm1.tptp2017-02-06 16:47 545  
[ ]partit1__814_20.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__818_21.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__819_26.min1.thm12017-02-06 12:46 626  
[ ]partit1__822_23.min1.thm12017-02-06 12:46 297  
[ ]partit1__823_33.min1.thm12017-02-06 12:46 621  
[ ]partit1__824_21.min1.thm12017-02-06 12:46 935  
[ ]partit1__825_17.min1.thm12017-02-06 12:46 732  
[ ]partit1__826_23.min1.thm12017-02-06 12:46 339  
[ ]partit1__826_23.min1.thm1.tptp2017-02-06 16:47 271  
[ ]partit1__827_41.min1.thm12017-02-06 12:46 658  
[ ]partit1__828_37.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__830_18.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__832_34.min1.thm12017-02-06 12:46 599  
[ ]partit1__832_34.min1.thm1.tptp2017-02-06 16:47 545  
[ ]partit1__833_17.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__846_19.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__848_18.min1.thm12017-02-06 12:46 464  
[ ]partit1__850_28.min1.thm12017-02-06 12:46 515  
[ ]partit1__850_28.min1.thm1.tptp2017-02-06 16:47 461  
[ ]partit1__861_19.min1.thm12017-02-06 12:46 681  
[ ]partit1__863_30.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__874_39.min1.thm12017-02-06 12:46 803  
[ ]partit1__875_60.min1.thm12017-02-06 12:46 648  
[ ]partit1__876_26.min1.thm12017-02-06 12:46 763  
[ ]partit1__877_23.min1.thm12017-02-06 12:46 739  
[ ]partit1__880_67.min1.thm12017-02-06 12:46 498  
[ ]partit1__881_21.min1.thm12017-02-06 12:46 703  
[ ]partit1__881_21.min1.thm1.tptp2017-02-06 16:47 630  
[ ]partit1__890_29.min1.thm12017-02-06 12:46 882  
[ ]partit1__891_11.min1.thm12017-02-06 12:46 434  
[ ]partit1__891_11.min1.thm1.tptp2017-02-06 16:47 353  
[ ]partit1__892_21.min1.thm12017-02-06 12:46 499  
[ ]partit1__900_14.min1.thm12017-02-06 12:46 433  
[ ]partit1__900_14.min1.thm1.tptp2017-02-06 16:47 378  
[ ]partit1__901_26.min1.thm12017-02-06 12:46 434  
[ ]partit1__901_26.min1.thm1.tptp2017-02-06 16:47 353  
[ ]partit1__902_36.min1.thm12017-02-06 12:46 795  
[ ]partit1__903_57.min1.thm12017-02-06 12:46 640  
[ ]partit1__904_16.min1.thm12017-02-06 12:46 821  
[ ]partit1__905_21.min1.thm12017-02-06 12:46 723  
[ ]partit1__907_24.min1.thm12017-02-06 12:46 443  
[ ]partit1__913_35.min1.thm12017-02-06 12:46 434  
[ ]partit1__913_35.min1.thm1.tptp2017-02-06 16:47 353  
[ ]partit1__914_40.min1.thm12017-02-06 12:46 795  
[ ]partit1__915_35.min1.thm12017-02-06 12:46 795  
[ ]partit1__919_21.min1.thm12017-02-06 12:46 640  
[ ]partit1__921_17.min1.thm12017-02-06 12:46 390  
[ ]partit1__922_15.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__923_19.min1.thm12017-02-06 12:46 375  
[ ]partit1__923_19.min1.thm1.tptp2017-02-06 16:47 297  
[ ]partit1__924_20.min1.thm12017-02-06 12:46 759  
[ ]partit1__927_35.min1.thm12017-02-06 12:46 436  
[ ]partit1__927_35.min1.thm1.tptp2017-02-06 16:47 355  
[ ]partit1__929_64.min1.thm12017-02-06 12:46 862  
[ ]partit1__934_67.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__936_18.min1.thm12017-02-06 12:46 546  
[ ]partit1__937_26.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__942_25.min1.thm12017-02-06 12:46 794  
[ ]partit1__944_18.min1.thm12017-02-06 12:46 639  
[ ]partit1__945_26.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__950_25.min1.thm12017-02-06 12:46 887  
[ ]partit1__952_20.min1.thm12017-02-06 12:46 446  
[ ]partit1__954_18.min1.thm12017-02-06 12:46 379  
[ ]partit1__960_31.min1.thm12017-02-06 12:46 434  
[ ]partit1__960_31.min1.thm1.tptp2017-02-06 16:47 353  
[ ]partit1__961_36.min1.thm12017-02-06 12:46 795  
[ ]partit1__962_57.min1.thm12017-02-06 12:46 640  
[ ]partit1__963_16.min1.thm12017-02-06 12:46 821  
[ ]partit1__964_18.min1.thm12017-02-06 12:46 609  
[ ]partit1__966_43.min1.thm12017-02-06 12:46 467  
[ ]partit1__967_25.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__968_19.min1.thm12017-02-06 12:46 764  
[ ]partit1__977_38.min1.thm12017-02-06 12:46 400  
[ ]partit1__978_34.min1.thm12017-02-06 12:46 544  
[ ]partit1__978_34.min1.thm1.tptp2017-02-06 16:47 463  
[ ]partit1__980_19.min1.thm12017-02-06 12:46 368  
[ ]partit1__980_19.min1.thm1.tptp2017-02-06 16:47 308  
[ ]partit1__990_64.min1.thm12017-02-06 12:46 892  
[ ]partit1__993_43.min1.thm12017-02-06 12:46 926  
[ ]partit1__994_36.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1001_64.min1.thm12017-02-06 12:46 892  
[ ]partit1__1004_43.min1.thm12017-02-06 12:46 926  
[ ]partit1__1005_36.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1013_41.min1.thm12017-02-06 12:46 422  
[ ]partit1__1014_51.min1.thm12017-02-06 12:46 632  
[ ]partit1__1014_51.min1.thm1.tptp2017-02-06 16:47 551  
[ ]partit1__1016_21.min1.thm12017-02-06 12:46 667  
[ ]partit1__1018_16.min1.thm12017-02-06 12:46 586  
[ ]partit1__1032_19.min1.thm12017-02-06 12:46 902  
[ ]partit1__1034_15.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1035_28.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1038_24.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1039_27.min1.thm12017-02-06 12:46 924  
[ ]partit1__1040_37.min1.thm12017-02-06 12:46 801  
[ ]partit1__1043_19.min1.thm12017-02-06 12:46 641  
[ ]partit1__1048_16.min1.thm12017-02-06 12:46 532  
[ ]partit1__1049_19.min1.thm12017-02-06 12:46 807  
[ ]partit1__1050_30.min1.thm12017-02-06 12:46 385  
[ ]partit1__1050_30.min1.thm1.tptp2017-02-06 16:47 308  
[ ]partit1__1051_14.min1.thm12017-02-06 12:46 906  
[ ]partit1__1054_21.min1.thm12017-02-06 12:46 632  
[ ]partit1__1056_19.min1.thm12017-02-06 12:46 531  
[ ]partit1__1056_19.min1.thm1.tptp2017-02-06 16:47 477  
[ ]partit1__1064_24.min1.thm12017-02-06 12:46 498  
[ ]partit1__1070_33.min1.thm12017-02-06 12:46 823  
[ ]partit1__1071_35.min1.thm12017-02-06 12:46 702  
[ ]partit1__1074_18.min1.thm12017-02-06 12:46 624  
[ ]partit1__1075_14.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1077_10.min1.thm12017-02-06 12:46 486  
[ ]partit1__1078_15.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1079_22.min1.thm12017-02-06 12:46 801  
[ ]partit1__1082_14.min1.thm12017-02-06 12:46 779  
[ ]partit1__1087_15.min1.thm12017-02-06 12:46 721  
[ ]partit1__1088_17.min1.thm12017-02-06 12:46 650  
[ ]partit1__1089_28.min1.thm12017-02-06 12:46 373  
[ ]partit1__1089_28.min1.thm1.tptp2017-02-06 16:47 296  
[ ]partit1__1090_12.min1.thm12017-02-06 12:46 883  
[ ]partit1__1093_19.min1.thm12017-02-06 12:46 419  
[ ]partit1__1094_30.min1.thm12017-02-06 12:46 656  
[ ]partit1__1095_14.min1.thm12017-02-06 12:46 852  
[ ]partit1__1096_19.min1.thm12017-02-06 12:46 408  
[ ]partit1__1098_26.min1.thm12017-02-06 12:46 515  
[ ]partit1__1098_26.min1.thm1.tptp2017-02-06 16:47 461  
[ ]partit1__1099_17.min1.thm12017-02-06 12:46 877  
[ ]partit1__1114_14.min1.thm12017-02-06 12:46 473  
[ ]partit1__1116_17.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1121_66.min1.thm12017-02-06 12:46 870  
[ ]partit1__1136_19.min1.thm12017-02-06 12:46 681  
[ ]partit1__1145_45.min1.thm12017-02-06 12:46 837  
[ ]partit1__1148_13.min1.thm12017-02-06 12:46 415  
[ ]partit1__1148_13.min1.thm1.tptp2017-02-06 16:47 349  
[ ]partit1__1149_40.min1.thm12017-02-06 12:46 587  
[ ]partit1__1151_20.min1.thm12017-02-06 12:46 572  
[ ]partit1__1153_34.min1.thm12017-02-06 12:46 381  
[ ]partit1__1163_24.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1164_21.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1170_18.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1182_57.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1183_19.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1194_44.min1.thm12017-02-06 12:46 364  
[ ]partit1__1194_44.min1.thm1.tptp2017-02-06 16:47 295  
[ ]partit1__1196_15.min1.thm12017-02-06 12:46 410  
[ ]partit1__1196_15.min1.thm1.tptp2017-02-06 16:47 335  
[ ]partit1__1218_69.min1.thm12017-02-06 12:46 923  
[ ]partit1__1220_18.min1.thm12017-02-06 12:46 564  
[ ]partit1__1222_19.min1.thm12017-02-06 12:46 942  
[ ]partit1__1240_26.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1241_30.min1.thm12017-02-06 12:46 491  
[ ]partit1__1244_31.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1253_17.min1.thm12017-02-06 12:46 888  
[ ]partit1__1273_58.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1278_15.min1.thm12017-02-06 12:46 551  
[ ]partit1__1279_21.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1287_21.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1289_12.min1.thm12017-02-06 12:46 541  
[ ]partit1__1290_19.min1.thm12017-02-06 12:46 508  
[ ]partit1__1292_17.min1.thm12017-02-06 12:46 431  
[ ]partit1__1292_17.min1.thm1.tptp2017-02-06 16:47 377  
[ ]partit1__1314_20.min1.thm12017-02-06 12:46 616  
[ ]partit1__1317_21.min1.thm12017-02-06 12:46 617  
[ ]partit1__1318_20.min1.thm12017-02-06 12:46 678  
[ ]partit1__1320_28.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1322_28.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1326_9.min1.thm12017-02-06 12:46 500  
[ ]partit1__1336_28.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1337_18.min1.thm12017-02-06 12:46 2.0K 
[ ]partit1__1346_26.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1354_28.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1355_25.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__1358_20.min1.thm12017-02-06 12:46 405  
[ ]partit1__1358_20.min1.thm1.tptp2017-02-06 16:47 324  
[ ]partit1__1362_20.min1.thm12017-02-06 12:46 1.6K 
[ ]partit1__1363_28.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1364_21.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1365_25.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1369_25.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__1372_18.min1.thm12017-02-06 12:46 338  
[ ]partit1__1398_8.min1.thm12017-02-06 12:46 586  
[ ]partit1__1408_28.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1409_31.min1.thm12017-02-06 12:46 2.1K 
[ ]partit1__1410_18.min1.thm12017-02-06 12:46 2.0K 
[ ]partit1__1415_58.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__1416_41.min1.thm12017-02-06 12:46 356  
[ ]partit1__1416_41.min1.thm1.tptp2017-02-06 16:47 278  
[ ]partit1__1418_24.min1.thm12017-02-06 12:46 2.5K 
[ ]partit1__1419_51.min1.thm12017-02-06 12:46 917  
[ ]partit1__1420_23.min1.thm12017-02-06 12:46 2.6K 
[ ]partit1__1421_55.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1422_56.min1.thm12017-02-06 12:46 806  
[ ]partit1__1423_22.min1.thm12017-02-06 12:46 1.6K 
[ ]partit1__1424_38.min1.thm12017-02-06 12:46 2.0K 
[ ]partit1__1431_18.min1.thm12017-02-06 12:46 2.4K 
[ ]partit1__1432_22.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__1433_39.min1.thm12017-02-06 12:46 785  
[ ]partit1__1441_24.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1442_35.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__1443_25.min1.thm12017-02-06 12:46 2.2K 
[ ]partit1__1446_18.min1.thm12017-02-06 12:46 608  
[ ]partit1__1446_18.min1.thm1.tptp2017-02-06 16:47 528  
[ ]partit1__1457_36.min1.thm12017-02-06 12:46 575  
[ ]partit1__1458_36.min1.thm12017-02-06 12:46 739  
[ ]partit1__1459_19.min1.thm12017-02-06 12:46 677  
[ ]partit1__1460_19.min1.thm12017-02-06 12:46 677  
[ ]partit1__1469_29.min1.thm12017-02-06 12:46 900  
[ ]partit1__1470_40.min1.thm12017-02-06 12:46 779  
[ ]partit1__1471_35.min1.thm12017-02-06 12:46 779  
[ ]partit1__1474_21.min1.thm12017-02-06 12:46 624  
[ ]partit1__1477_15.min1.thm12017-02-06 12:46 483  
[ ]partit1__1481_60.min1.thm12017-02-06 12:46 131  
[ ]partit1__1482_33.min1.thm12017-02-06 12:46 131  
[ ]partit1__1484_53.min1.thm12017-02-06 12:46 131  
[ ]partit1__1485_40.min1.thm12017-02-06 12:46 462  
[ ]partit1__1486_44.min1.thm12017-02-06 12:46 471  
[ ]partit1__1487_14.min1.thm12017-02-06 12:46 969  
[ ]partit1__1488_27.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__1491_66.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1495_16.min1.thm12017-02-06 12:46 355  
[ ]partit1__1495_16.min1.thm1.tptp2017-02-06 16:47 274  
[ ]partit1__1498_16.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1499_18.min1.thm12017-02-06 12:46 689  
[ ]partit1__1509_18.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1511_40.min1.thm12017-02-06 12:46 874  
[ ]partit1__1518_16.min1.thm12017-02-06 12:46 492  
[ ]partit1__1525_16.min1.thm12017-02-06 12:46 2.1K 
[ ]partit1__1526_17.min1.thm12017-02-06 12:46 629  
[ ]partit1__1528_21.min1.thm12017-02-06 12:46 483  
[ ]partit1__1536_17.min1.thm12017-02-06 12:46 421  
[ ]partit1__1536_17.min1.thm1.tptp2017-02-06 16:47 366  
[ ]partit1__1538_29.min1.thm12017-02-06 12:46 908  
[ ]partit1__1541_19.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1544_17.min1.thm12017-02-06 12:46 1.7K 
[ ]partit1__1554_63.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1555_38.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1556_48.min1.thm12017-02-06 12:46 839  
[ ]partit1__1557_32.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1561_29.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__1562_15.min1.thm12017-02-06 12:46 378  
[ ]partit1__1562_15.min1.thm1.tptp2017-02-06 16:47 301  
[ ]partit1__1564_27.min1.thm12017-02-06 12:46 473  
[ ]partit1__1564_27.min1.thm1.tptp2017-02-06 16:47 419  
[ ]partit1__1565_24.min1.thm12017-02-06 12:46 481  
[ ]partit1__1565_24.min1.thm1.tptp2017-02-06 16:47 419  
[ ]partit1__1571_23.min1.thm12017-02-06 12:46 2.3K 
[ ]partit1__1575_44.min1.thm12017-02-06 12:46 2.2K 
[ ]partit1__1586_30.min1.thm12017-02-06 12:46 2.3K 
[ ]partit1__1587_23.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__1601_27.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1605_27.min1.thm12017-02-06 12:46 2.6K 
[ ]partit1__1608_20.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__1611_21.min1.thm12017-02-06 12:46 555  
[ ]partit1__1613_26.min1.thm12017-02-06 12:46 440  
[ ]partit1__1619_46.min1.thm12017-02-06 12:46 908  
[ ]partit1__1620_18.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1622_40.min1.thm12017-02-06 12:46 873  
[ ]partit1__1625_23.min1.thm12017-02-06 12:46 458  
[ ]partit1__1627_24.min1.thm12017-02-06 12:46 438  
[ ]partit1__1628_21.min1.thm12017-02-06 12:46 520  
[ ]partit1__1631_17.min1.thm12017-02-06 12:46 943  
[ ]partit1__1633_29.min1.thm12017-02-06 12:46 908  
[ ]partit1__1636_19.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1646_63.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1647_38.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1648_48.min1.thm12017-02-06 12:46 839  
[ ]partit1__1649_31.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1653_28.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__1654_14.min1.thm12017-02-06 12:46 379  
[ ]partit1__1654_14.min1.thm1.tptp2017-02-06 16:47 302  
[ ]partit1__1656_26.min1.thm12017-02-06 12:46 473  
[ ]partit1__1656_26.min1.thm1.tptp2017-02-06 16:47 419  
[ ]partit1__1657_23.min1.thm12017-02-06 12:46 481  
[ ]partit1__1657_23.min1.thm1.tptp2017-02-06 16:47 419  
[ ]partit1__1663_22.min1.thm12017-02-06 12:46 2.3K 
[ ]partit1__1667_43.min1.thm12017-02-06 12:46 2.2K 
[ ]partit1__1678_29.min1.thm12017-02-06 12:46 2.3K 
[ ]partit1__1679_23.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__1693_27.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1697_27.min1.thm12017-02-06 12:46 2.6K 
[ ]partit1__1700_20.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__1711_23.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1712_25.min1.thm12017-02-06 12:46 497  
[ ]partit1__1712_25.min1.thm1.tptp2017-02-06 16:47 435  
[ ]partit1__1713_23.min1.thm12017-02-06 12:46 900  
[ ]partit1__1717_16.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1720_16.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1722_27.min1.thm12017-02-06 12:46 904  
[ ]partit1__1725_18.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1735_61.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1736_40.min1.thm12017-02-06 12:46 462  
[ ]partit1__1737_46.min1.thm12017-02-06 12:46 831  
[ ]partit1__1738_31.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1741_29.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__1742_14.min1.thm12017-02-06 12:46 371  
[ ]partit1__1742_14.min1.thm1.tptp2017-02-06 16:47 294  
[ ]partit1__1744_27.min1.thm12017-02-06 12:46 465  
[ ]partit1__1744_27.min1.thm1.tptp2017-02-06 16:47 411  
[ ]partit1__1745_24.min1.thm12017-02-06 12:46 470  
[ ]partit1__1745_24.min1.thm1.tptp2017-02-06 16:47 408  
[ ]partit1__1751_20.min1.thm12017-02-06 12:46 2.2K 
[ ]partit1__1764_27.min1.thm12017-02-06 12:46 2.2K 
[ ]partit1__1765_21.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__1779_25.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1783_25.min1.thm12017-02-06 12:46 2.6K 
[ ]partit1__1786_18.min1.thm12017-02-06 12:46 1.7K 
[ ]partit1__1789_14.min1.thm12017-02-06 12:46 764  
[ ]partit1__1801_22.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1802_16.min1.thm12017-02-06 12:46 428  
[ ]partit1__1802_16.min1.thm1.tptp2017-02-06 16:47 366  
[ ]partit1__1803_16.min1.thm12017-02-06 12:46 521  
[ ]partit1__1804_30.min1.thm12017-02-06 12:46 133  
[ ]partit1__1805_34.min1.thm12017-02-06 12:46 133  
[ ]partit1__1809_61.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__1813_16.min1.thm12017-02-06 12:46 737  
[ ]partit1__1820_49.min1.thm12017-02-06 12:46 1.4K 
[ ]partit1__1823_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1829_25.min1.thm12017-02-06 12:46 554  
[ ]partit1__1830_40.min1.thm12017-02-06 12:46 589  
[ ]partit1__1838_25.min1.thm12017-02-06 12:46 554  
[ ]partit1__1839_40.min1.thm12017-02-06 12:46 589  
[ ]partit1__1843_16.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__1843_16.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]partit1__1847_17.min1.thm12017-02-06 12:46 881  
[ ]partit1__1854_24.min1.thm12017-02-06 12:46 575  
[ ]partit1__1855_24.min1.thm12017-02-06 12:46 739  
[ ]partit1__1865_43.min1.thm12017-02-06 12:46 573  
[ ]partit1__1866_43.min1.thm12017-02-06 12:46 573  
[ ]partit1__1869_46.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1878_15.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1882_15.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1883_20.min1.thm12017-02-06 12:46 859  
[ ]partit1__1885_15.min1.thm12017-02-06 12:46 473  
[ ]partit1__1885_15.min1.thm1.tptp2017-02-06 16:47 407  
[ ]partit1__1886_32.min1.thm12017-02-06 12:46 868  
[ ]partit1__1887_17.min1.thm12017-02-06 12:46 498  
[ ]partit1__1888_44.min1.thm12017-02-06 12:46 658  
[ ]partit1__1889_25.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1900_30.min1.thm12017-02-06 12:46 795  
[ ]partit1__1901_17.min1.thm12017-02-06 12:46 651  
[ ]partit1__1909_60.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1910_45.min1.thm12017-02-06 12:46 875  
[ ]partit1__1912_38.min1.thm12017-02-06 12:46 875  
[ ]partit1__1913_35.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1914_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1923_49.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1933_52.min1.thm12017-02-06 12:46 1.5K 
[ ]partit1__1943_51.min1.thm12017-02-06 12:46 912  
[ ]partit1__1944_45.min1.thm12017-02-06 12:46 735  
[ ]partit1__1945_33.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__1947_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__1956_51.min1.thm12017-02-06 12:46 912  
[ ]partit1__1957_40.min1.thm12017-02-06 12:46 735  
[ ]partit1__1959_17.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__1974_48.min1.thm12017-02-06 12:46 493  
[ ]partit1__1980_17.min1.thm12017-02-06 12:46 353  
[ ]partit1__1980_17.min1.thm1.tptp2017-02-06 16:47 288  
[ ]partit1__1981_19.min1.thm12017-02-06 12:46 474  
[ ]partit1__1984_21.min1.thm12017-02-06 12:46 499  
[ ]partit1__1999_57.min1.thm12017-02-06 12:46 953  
[ ]partit1__2001_9.min1.thm12017-02-06 12:46 506  
[ ]partit1__2002_34.min1.thm12017-02-06 12:46 251  
[ ]partit1__2003_38.min1.thm12017-02-06 12:46 620  
[ ]partit1__2004_7.min1.thm12017-02-06 12:46 390  
[ ]partit1__2005_16.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__2011_53.min1.thm12017-02-06 12:46 610  
[ ]partit1__2012_60.min1.thm12017-02-06 12:46 642  
[ ]partit1__2013_19.min1.thm12017-02-06 12:46 953  
[ ]partit1__2015_17.min1.thm12017-02-06 12:46 551  
[ ]partit1__2027_15.min1.thm12017-02-06 12:46 640  
[ ]partit1__2028_12.min1.thm12017-02-06 12:46 888  
[ ]partit1__2030_13.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__2031_19.min1.thm12017-02-06 12:46 769  
[ ]partit1__2034_17.min1.thm12017-02-06 12:46 943  
[ ]partit1__2035_10.min1.thm12017-02-06 12:46 579  
[ ]partit1__2036_19.min1.thm12017-02-06 12:46 373  
[ ]partit1__2036_19.min1.thm1.tptp2017-02-06 16:47 292  
[ ]partit1__2043_62.min1.thm12017-02-06 12:46 953  
[ ]partit1__2045_9.min1.thm12017-02-06 12:46 506  
[ ]partit1__2046_12.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__2048_11.min1.thm12017-02-06 12:46 581  
[ ]partit1__2049_14.min1.thm12017-02-06 12:46 1.1K 
[ ]partit1__2050_16.min1.thm12017-02-06 12:46 679  
[ ]partit1__2053_15.min1.thm12017-02-06 12:46 841  
[ ]partit1__2058_21.min1.thm12017-02-06 12:46 606  
[ ]partit1__2060_19.min1.thm12017-02-06 12:46 351  
[ ]partit1__2060_19.min1.thm1.tptp2017-02-06 16:47 270  
[ ]partit1__2062_17.min1.thm12017-02-06 12:46 736  
[ ]partit1__2073_17.min1.thm12017-02-06 12:46 421  
[ ]partit1__2074_21.min1.thm12017-02-06 12:46 636  
[ ]partit1__2077_17.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__2083_20.min1.thm12017-02-06 12:46 763  
[ ]partit1__2090_24.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__2093_12.min1.thm12017-02-06 12:46 677  
[ ]partit1__2094_15.min1.thm12017-02-06 12:46 492  
[ ]partit1__2095_19.min1.thm12017-02-06 12:46 870  
[ ]partit1__2102_19.min1.thm12017-02-06 12:46 599  
[ ]partit1__2103_12.min1.thm12017-02-06 12:46 590  
[ ]partit1__2104_42.min1.thm12017-02-06 12:46 908  
[ ]partit1__2107_17.min1.thm12017-02-06 12:46 702  
[ ]partit1__2113_24.min1.thm12017-02-06 12:46 441  
[ ]partit1__2114_14.min1.thm12017-02-06 12:46 262  
[ ]partit1__2115_30.min1.thm12017-02-06 12:46 927  
[ ]partit1__2116_17.min1.thm12017-02-06 12:46 828  
[ ]partit1__2124_51.min1.thm12017-02-06 12:46 771  
[ ]partit1__2125_24.min1.thm12017-02-06 12:46 439  
[ ]partit1__2127_46.min1.thm12017-02-06 12:46 2.2K 
[ ]partit1__2128_35.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__2129_27.min1.thm12017-02-06 12:46 759  
[ ]partit1__2130_32.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__2131_71.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__2141_24.min1.thm12017-02-06 12:46 533  
[ ]partit1__2145_46.min1.thm12017-02-06 12:46 1.3K 
[ ]partit1__2146_16.min1.thm12017-02-06 12:46 551  
[ ]partit1__2147_33.min1.thm12017-02-06 12:46 792  
[ ]partit1__2153_17.min1.thm12017-02-06 12:46 535  
[ ]partit1__2153_17.min1.thm1.tptp2017-02-06 16:47 473  
[ ]partit1__2156_23.min1.thm12017-02-06 12:46 1.2K 
[ ]partit1__2160_20.min1.thm12017-02-06 12:46 310  
[ ]partit1__2163_16.min1.thm12017-02-06 12:46 499  
[ ]partit1__2165_38.min1.thm12017-02-06 12:46 553  
[ ]partit1__2165_38.min1.thm1.tptp2017-02-06 16:47 489  
[ ]partit1__2166_30.min1.thm12017-02-06 12:46 424  
[ ]partit1__2166_30.min1.thm1.tptp2017-02-06 16:47 350  
[ ]partit1__2167_34.min1.thm12017-02-06 12:46 668  
[ ]partit1__2168_32.min1.thm12017-02-06 12:46 1.8K 
[ ]partit1__2169_16.min1.thm12017-02-06 12:46 552  
[ ]partit1__2170_29.min1.thm12017-02-06 12:46 893  
[ ]partit1__2171_29.min1.thm12017-02-06 12:46 1.0K 
[ ]partit1__2172_46.min1.thm12017-02-06 12:46 836  
[ ]partit1__2173_25.min1.thm12017-02-06 12:46 1.9K 
[ ]partit1__2175_20.min1.thm12017-02-06 12:46 535  
[ ]partit1__2176_32.min1.thm12017-02-06 12:46 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80