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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aff_4__31_55.min1.thm12017-02-06 12:46 406  
[ ]aff_4__39_15.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__40_21.min1.thm12017-02-06 12:46 896  
[ ]aff_4__41_21.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__44_19.min1.thm12017-02-06 12:46 2.4K 
[ ]aff_4__45_16.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__47_18.min1.thm12017-02-06 12:46 897  
[ ]aff_4__48_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__49_17.min1.thm12017-02-06 12:46 555  
[ ]aff_4__58_31.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__59_17.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__68_13.min1.thm12017-02-06 12:46 963  
[ ]aff_4__69_19.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__70_17.min1.thm12017-02-06 12:46 903  
[ ]aff_4__80_26.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__81_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__82_17.min1.thm12017-02-06 12:46 903  
[ ]aff_4__91_24.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__92_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__99_33.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__100_25.min1.thm12017-02-06 12:46 931  
[ ]aff_4__101_17.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__113_20.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__114_18.min1.thm12017-02-06 12:46 966  
[ ]aff_4__115_18.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__116_18.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__117_17.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__127_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__133_19.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__134_19.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__135_21.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__136_21.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__137_19.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__138_19.min1.thm12017-02-06 12:46 520  
[ ]aff_4__140_17.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__167_10.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__170_30.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__171_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__192_34.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__200_10.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__203_17.min1.thm12017-02-06 12:46 705  
[ ]aff_4__204_28.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__205_17.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__218_16.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__219_20.min1.thm12017-02-06 12:46 920  
[ ]aff_4__221_17.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__224_20.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__225_16.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__232_14.min1.thm12017-02-06 12:46 704  
[ ]aff_4__233_60.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__234_14.min1.thm12017-02-06 12:46 473  
[ ]aff_4__244_11.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__246_20.min1.thm12017-02-06 12:46 815  
[ ]aff_4__247_15.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__248_14.min1.thm12017-02-06 12:46 356  
[ ]aff_4__248_14.min1.thm1.tptp2017-02-06 16:48 273  
[ ]aff_4__261_50.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__262_34.min1.thm12017-02-06 12:46 892  
[ ]aff_4__264_19.min1.thm12017-02-06 12:46 572  
[ ]aff_4__280_48.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__281_35.min1.thm12017-02-06 12:46 474  
[ ]aff_4__283_14.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__293_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__294_46.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__307_40.min1.thm12017-02-06 12:46 463  
[ ]aff_4__308_15.min1.thm12017-02-06 12:46 777  
[ ]aff_4__309_28.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__311_17.min1.thm12017-02-06 12:46 425  
[ ]aff_4__311_17.min1.thm1.tptp2017-02-06 16:48 361  
[ ]aff_4__321_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__327_29.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__330_13.min1.thm12017-02-06 12:46 420  
[ ]aff_4__331_15.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__332_20.min1.thm12017-02-06 12:46 946  
[ ]aff_4__333_19.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__336_13.min1.thm12017-02-06 12:46 425  
[ ]aff_4__336_13.min1.thm1.tptp2017-02-06 16:48 361  
[ ]aff_4__337_20.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__338_16.min1.thm12017-02-06 12:46 816  
[ ]aff_4__339_17.min1.thm12017-02-06 12:46 476  
[ ]aff_4__353_31.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__356_15.min1.thm12017-02-06 12:46 428  
[ ]aff_4__357_17.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__358_30.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__364_31.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__367_15.min1.thm12017-02-06 12:46 428  
[ ]aff_4__368_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__369_30.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__371_48.min1.thm12017-02-06 12:46 646  
[ ]aff_4__371_48.min1.thm1.tptp2017-02-06 16:48 558  
[ ]aff_4__373_17.min1.thm12017-02-06 12:46 476  
[ ]aff_4__373_17.min1.thm1.tptp2017-02-06 16:48 416  
[ ]aff_4__400_13.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__401_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__404_19.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__406_14.min1.thm12017-02-06 12:46 718  
[ ]aff_4__407_14.min1.thm12017-02-06 12:46 719  
[ ]aff_4__408_13.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__409_14.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__411_12.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__413_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__418_18.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__421_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__422_18.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__423_24.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__424_22.min1.thm12017-02-06 12:46 932  
[ ]aff_4__426_14.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__427_13.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__428_36.min1.thm12017-02-06 12:46 464  
[ ]aff_4__430_17.min1.thm12017-02-06 12:46 2.3K 
[ ]aff_4__451_13.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__452_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__453_13.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__454_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__460_19.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__462_14.min1.thm12017-02-06 12:46 722  
[ ]aff_4__463_14.min1.thm12017-02-06 12:46 724  
[ ]aff_4__464_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__465_21.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__467_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__469_12.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__471_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__476_20.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__479_20.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__480_20.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__481_26.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__482_24.min1.thm12017-02-06 12:46 944  
[ ]aff_4__484_15.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__485_15.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__486_38.min1.thm12017-02-06 12:46 476  
[ ]aff_4__488_19.min1.thm12017-02-06 12:46 2.3K 
[ ]aff_4__490_17.min1.thm12017-02-06 12:46 736  
[ ]aff_4__500_30.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__503_40.min1.thm12017-02-06 12:46 463  
[ ]aff_4__504_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__507_13.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__508_15.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__509_18.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__510_20.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__511_28.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__513_17.min1.thm12017-02-06 12:46 425  
[ ]aff_4__513_17.min1.thm1.tptp2017-02-06 16:48 361  
[ ]aff_4__532_42.min1.thm12017-02-06 12:46 463  
[ ]aff_4__535_15.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__538_14.min1.thm12017-02-06 12:46 907  
[ ]aff_4__541_14.min1.thm12017-02-06 12:46 907  
[ ]aff_4__544_15.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__545_16.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__547_15.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__548_16.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__550_15.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__551_14.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__558_15.min1.thm12017-02-06 12:46 946  
[ ]aff_4__563_18.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__565_24.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__566_24.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__569_27.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__572_27.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__573_29.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__575_22.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__576_24.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__577_36.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__582_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__583_35.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__584_36.min1.thm12017-02-06 12:46 812  
[ ]aff_4__586_34.min1.thm12017-02-06 12:46 506  
[ ]aff_4__586_34.min1.thm1.tptp2017-02-06 16:48 420  
[ ]aff_4__592_18.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__594_24.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__595_24.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__598_27.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__601_27.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__602_29.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__604_22.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__605_24.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__606_36.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__611_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__612_35.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__613_36.min1.thm12017-02-06 12:46 812  
[ ]aff_4__615_34.min1.thm12017-02-06 12:46 506  
[ ]aff_4__615_34.min1.thm1.tptp2017-02-06 16:48 420  
[ ]aff_4__617_32.min1.thm12017-02-06 12:46 558  
[ ]aff_4__625_18.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__631_27.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__632_23.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__633_30.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__634_30.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__636_22.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__637_24.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__638_36.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__640_34.min1.thm12017-02-06 12:46 518  
[ ]aff_4__645_21.min1.thm12017-02-06 12:46 783  
[ ]aff_4__646_34.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__648_32.min1.thm12017-02-06 12:46 484  
[ ]aff_4__648_32.min1.thm1.tptp2017-02-06 16:48 398  
[ ]aff_4__653_30.min1.thm12017-02-06 12:46 833  
[ ]aff_4__655_23.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__658_19.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__659_29.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__660_30.min1.thm12017-02-06 12:46 800  
[ ]aff_4__662_28.min1.thm12017-02-06 12:46 483  
[ ]aff_4__662_28.min1.thm1.tptp2017-02-06 16:48 397  
[ ]aff_4__664_17.min1.thm12017-02-06 12:46 426  
[ ]aff_4__664_17.min1.thm1.tptp2017-02-06 16:48 362  
[ ]aff_4__675_22.min1.thm12017-02-06 12:46 789  
[ ]aff_4__678_17.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__691_29.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__694_13.min1.thm12017-02-06 12:46 420  
[ ]aff_4__697_13.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__700_14.min1.thm12017-02-06 12:46 914  
[ ]aff_4__701_15.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__703_14.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__704_15.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__705_18.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__706_20.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__707_28.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__709_17.min1.thm12017-02-06 12:46 497  
[ ]aff_4__709_17.min1.thm1.tptp2017-02-06 16:48 433  
[ ]aff_4__722_31.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__726_11.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__729_15.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__730_14.min1.thm12017-02-06 12:46 928  
[ ]aff_4__732_24.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__735_15.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__740_14.min1.thm12017-02-06 12:46 907  
[ ]aff_4__741_16.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__743_14.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__745_21.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__747_14.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__748_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__751_14.min1.thm12017-02-06 12:46 928  
[ ]aff_4__752_26.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__753_34.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__754_17.min1.thm12017-02-06 12:46 586  
[ ]aff_4__769_11.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__772_14.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__775_14.min1.thm12017-02-06 12:46 906  
[ ]aff_4__776_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__778_14.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__781_15.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__784_14.min1.thm12017-02-06 12:46 906  
[ ]aff_4__785_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__787_14.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__788_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__792_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__793_13.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__794_19.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__795_36.min1.thm12017-02-06 12:46 450  
[ ]aff_4__797_11.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__814_21.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__817_27.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__818_45.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__819_16.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__823_27.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__824_19.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__826_17.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__839_22.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__844_21.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__845_23.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__850_22.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__851_23.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__855_16.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__858_16.min1.thm12017-02-06 12:46 872  
[ ]aff_4__861_21.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__864_19.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__865_23.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__867_24.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__871_28.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__872_28.min1.thm12017-02-06 12:46 964  
[ ]aff_4__873_27.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__874_22.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__877_17.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__878_22.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__879_20.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__882_19.min1.thm12017-02-06 12:46 327  
[ ]aff_4__882_19.min1.thm1.tptp2017-02-06 16:48 239  
[ ]aff_4__886_18.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__887_19.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__889_17.min1.thm12017-02-06 12:46 401  
[ ]aff_4__889_17.min1.thm1.tptp2017-02-06 16:48 312  
[ ]aff_4__905_13.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__906_13.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__907_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__913_18.min1.thm12017-02-06 12:46 538  
[ ]aff_4__913_18.min1.thm1.tptp2017-02-06 16:48 472  
[ ]aff_4__914_39.min1.thm12017-02-06 12:46 651  
[ ]aff_4__915_14.min1.thm12017-02-06 12:46 747  
[ ]aff_4__916_14.min1.thm12017-02-06 12:46 654  
[ ]aff_4__924_45.min1.thm12017-02-06 12:46 477  
[ ]aff_4__926_20.min1.thm12017-02-06 12:46 754  
[ ]aff_4__927_20.min1.thm12017-02-06 12:46 760  
[ ]aff_4__931_28.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__932_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__938_29.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__939_26.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__940_27.min1.thm12017-02-06 12:46 925  
[ ]aff_4__944_26.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__945_27.min1.thm12017-02-06 12:46 925  
[ ]aff_4__947_25.min1.thm12017-02-06 12:46 677  
[ ]aff_4__949_23.min1.thm12017-02-06 12:46 775  
[ ]aff_4__955_45.min1.thm12017-02-06 12:46 477  
[ ]aff_4__957_20.min1.thm12017-02-06 12:46 754  
[ ]aff_4__958_20.min1.thm12017-02-06 12:46 760  
[ ]aff_4__962_28.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__963_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__969_29.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__970_26.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__971_27.min1.thm12017-02-06 12:46 925  
[ ]aff_4__975_26.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__976_27.min1.thm12017-02-06 12:46 925  
[ ]aff_4__978_25.min1.thm12017-02-06 12:46 677  
[ ]aff_4__980_23.min1.thm12017-02-06 12:46 868  
[ ]aff_4__982_21.min1.thm12017-02-06 12:46 448  
[ ]aff_4__982_21.min1.thm1.tptp2017-02-06 16:48 360  
[ ]aff_4__986_11.min1.thm12017-02-06 12:46 806  
[ ]aff_4__987_17.min1.thm12017-02-06 12:46 711  
[ ]aff_4__1003_9.min1.thm12017-02-06 12:46 766  
[ ]aff_4__1005_27.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1006_18.min1.thm12017-02-06 12:46 714  
[ ]aff_4__1007_30.min1.thm12017-02-06 12:46 883  
[ ]aff_4__1036_12.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1043_14.min1.thm12017-02-06 12:46 864  
[ ]aff_4__1044_18.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1047_27.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1048_21.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__1052_27.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1053_21.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__1055_19.min1.thm12017-02-06 12:46 393  
[ ]aff_4__1060_10.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1063_22.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1064_25.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1065_19.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__1067_17.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1076_14.min1.thm12017-02-06 12:46 907  
[ ]aff_4__1077_15.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1085_16.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1086_17.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1097_20.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1098_17.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1110_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1112_13.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1113_22.min1.thm12017-02-06 12:46 789  
[ ]aff_4__1114_20.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1115_16.min1.thm12017-02-06 12:46 2.6K 
[ ]aff_4__1116_17.min1.thm12017-02-06 12:46 858  
[ ]aff_4__1127_13.min1.thm12017-02-06 12:46 874  
[ ]aff_4__1128_20.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1130_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1138_29.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1140_17.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1141_24.min1.thm12017-02-06 12:46 788  
[ ]aff_4__1143_19.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1144_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1146_21.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1147_13.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1148_17.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1156_11.min1.thm12017-02-06 12:46 872  
[ ]aff_4__1157_17.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1166_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1167_18.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1169_15.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1170_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1172_15.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1173_13.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1175_17.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__1176_13.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1177_17.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1202_19.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1206_11.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1208_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1209_14.min1.thm12017-02-06 12:46 895  
[ ]aff_4__1211_14.min1.thm12017-02-06 12:46 404  
[ ]aff_4__1212_23.min1.thm12017-02-06 12:46 807  
[ ]aff_4__1213_31.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1215_14.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__1216_18.min1.thm12017-02-06 12:46 480  
[ ]aff_4__1225_19.min1.thm12017-02-06 12:46 828  
[ ]aff_4__1226_22.min1.thm12017-02-06 12:46 829  
[ ]aff_4__1227_19.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1229_17.min1.thm12017-02-06 12:46 592  
[ ]aff_4__1240_21.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1244_11.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1248_13.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1250_23.min1.thm12017-02-06 12:46 817  
[ ]aff_4__1251_26.min1.thm12017-02-06 12:46 950  
[ ]aff_4__1252_23.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1253_25.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__1254_17.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1255_23.min1.thm12017-02-06 12:46 789  
[ ]aff_4__1259_18.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1270_20.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1275_27.min1.thm12017-02-06 12:46 434  
[ ]aff_4__1276_16.min1.thm12017-02-06 12:46 706  
[ ]aff_4__1277_15.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1278_26.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1280_17.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1292_20.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1296_13.min1.thm12017-02-06 12:46 452  
[ ]aff_4__1297_20.min1.thm12017-02-06 12:46 615  
[ ]aff_4__1310_9.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1313_17.min1.thm12017-02-06 12:46 701  
[ ]aff_4__1316_22.min1.thm12017-02-06 12:46 835  
[ ]aff_4__1318_13.min1.thm12017-02-06 12:46 828  
[ ]aff_4__1321_22.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1322_28.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1323_19.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1329_23.min1.thm12017-02-06 12:46 829  
[ ]aff_4__1331_13.min1.thm12017-02-06 12:46 828  
[ ]aff_4__1333_14.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__1335_22.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1336_28.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1337_19.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__1339_17.min1.thm12017-02-06 12:46 716  
[ ]aff_4__1339_17.min1.thm1.tptp2017-02-06 16:48 660  
[ ]aff_4__1347_22.min1.thm12017-02-06 12:46 827  
[ ]aff_4__1348_47.min1.thm12017-02-06 12:46 944  
[ ]aff_4__1349_17.min1.thm12017-02-06 12:46 961  
[ ]aff_4__1363_13.min1.thm12017-02-06 12:46 856  
[ ]aff_4__1364_49.min1.thm12017-02-06 12:46 944  
[ ]aff_4__1365_16.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1366_17.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1374_25.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1378_9.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1379_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1381_49.min1.thm12017-02-06 12:46 944  
[ ]aff_4__1382_10.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1383_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1400_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1401_23.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1403_21.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1409_11.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1410_24.min1.thm12017-02-06 12:46 796  
[ ]aff_4__1412_20.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1413_17.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1414_19.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1416_17.min1.thm12017-02-06 12:46 484  
[ ]aff_4__1416_17.min1.thm1.tptp2017-02-06 16:48 396  
[ ]aff_4__1436_12.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1437_22.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1439_17.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1440_17.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1441_23.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__1443_21.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1450_20.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1454_18.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1455_28.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1457_17.min1.thm12017-02-06 12:46 859  
[ ]aff_4__1457_17.min1.thm1.tptp2017-02-06 16:48 810  
[ ]aff_4__1466_11.min1.thm12017-02-06 12:46 872  
[ ]aff_4__1467_17.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1482_23.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1483_22.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1484_10.min1.thm12017-02-06 12:46 889  
[ ]aff_4__1485_13.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1486_17.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1501_61.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1502_17.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1518_23.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1519_56.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1520_16.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1521_17.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1534_63.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1535_19.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1537_17.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1545_52.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1546_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1561_22.min1.thm12017-02-06 12:46 811  
[ ]aff_4__1562_22.min1.thm12017-02-06 12:46 811  
[ ]aff_4__1566_11.min1.thm12017-02-06 12:46 921  
[ ]aff_4__1568_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1569_12.min1.thm12017-02-06 12:46 921  
[ ]aff_4__1571_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1572_22.min1.thm12017-02-06 12:46 488  
[ ]aff_4__1574_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1575_22.min1.thm12017-02-06 12:46 489  
[ ]aff_4__1576_18.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1580_16.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1582_19.min1.thm12017-02-06 12:46 952  
[ ]aff_4__1583_16.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1584_22.min1.thm12017-02-06 12:46 952  
[ ]aff_4__1585_19.min1.thm12017-02-06 12:46 646  
[ ]aff_4__1616_13.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1617_12.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1619_12.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1622_24.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1626_24.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1627_12.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1632_13.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__1640_30.min1.thm12017-02-06 12:46 793  
[ ]aff_4__1641_16.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1642_16.min1.thm12017-02-06 12:46 718  
[ ]aff_4__1643_35.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1644_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1646_26.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1647_17.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1651_18.min1.thm12017-02-06 12:46 719  
[ ]aff_4__1652_20.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1655_21.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1656_16.min1.thm12017-02-06 12:46 719  
[ ]aff_4__1657_18.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1660_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1661_16.min1.thm12017-02-06 12:46 719  
[ ]aff_4__1662_35.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1664_16.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1666_16.min1.thm12017-02-06 12:46 719  
[ ]aff_4__1667_25.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1669_16.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1670_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1671_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1672_23.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1673_22.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1675_15.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1676_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1677_21.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1679_19.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1680_18.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__1681_22.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__1682_22.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__1684_15.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1685_16.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1686_18.min1.thm12017-02-06 12:46 719  
[ ]aff_4__1687_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1688_31.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1690_17.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1691_17.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1695_27.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__1696_22.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1698_18.min1.thm12017-02-06 12:46 2.6K 
[ ]aff_4__1699_22.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1700_22.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1703_18.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__1706_24.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__1716_21.min1.thm12017-02-06 12:46 797  
[ ]aff_4__1718_19.min1.thm12017-02-06 12:46 478  
[ ]aff_4__1718_19.min1.thm1.tptp2017-02-06 16:48 392  
[ ]aff_4__1724_19.min1.thm12017-02-06 12:46 919  
[ ]aff_4__1726_17.min1.thm12017-02-06 12:46 475  
[ ]aff_4__1726_17.min1.thm1.tptp2017-02-06 16:48 389  
[ ]aff_4__1759_24.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1761_18.min1.thm12017-02-06 12:46 921  
[ ]aff_4__1762_17.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1765_20.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1767_14.min1.thm12017-02-06 12:46 725  
[ ]aff_4__1769_18.min1.thm12017-02-06 12:46 812  
[ ]aff_4__1770_12.min1.thm12017-02-06 12:46 791  
[ ]aff_4__1772_32.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1774_15.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1781_33.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1784_13.min1.thm12017-02-06 12:46 871  
[ ]aff_4__1788_33.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1794_20.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1798_33.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1807_19.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1843_13.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1844_14.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1847_24.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1851_24.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1852_12.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1854_12.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1855_12.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1863_29.min1.thm12017-02-06 12:46 791  
[ ]aff_4__1864_15.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1865_15.min1.thm12017-02-06 12:46 716  
[ ]aff_4__1866_34.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1867_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1869_25.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1870_15.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1874_17.min1.thm12017-02-06 12:46 717  
[ ]aff_4__1875_18.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1878_20.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1879_15.min1.thm12017-02-06 12:46 717  
[ ]aff_4__1880_16.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1883_18.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1884_15.min1.thm12017-02-06 12:46 717  
[ ]aff_4__1885_34.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1887_15.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1889_15.min1.thm12017-02-06 12:46 717  
[ ]aff_4__1890_24.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1892_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1893_14.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1894_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1895_21.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1896_20.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1898_14.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1899_14.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1900_19.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1902_18.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__1903_16.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__1904_20.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__1905_20.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__1907_14.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1908_15.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1909_17.min1.thm12017-02-06 12:46 717  
[ ]aff_4__1910_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1911_29.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__1913_16.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__1914_16.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__1918_25.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__1919_20.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__1921_16.min1.thm12017-02-06 12:46 2.6K 
[ ]aff_4__1922_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1923_20.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__1926_17.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__1929_22.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__1937_24.min1.thm12017-02-06 12:46 2.3K 
[ ]aff_4__1938_19.min1.thm12017-02-06 12:46 793  
[ ]aff_4__1940_17.min1.thm12017-02-06 12:46 475  
[ ]aff_4__1940_17.min1.thm1.tptp2017-02-06 16:48 389  
[ ]aff_4__1968_24.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1970_18.min1.thm12017-02-06 12:46 921  
[ ]aff_4__1972_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1974_18.min1.thm12017-02-06 12:46 811  
[ ]aff_4__1975_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__1983_23.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__1984_23.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__1985_25.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1986_25.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1987_23.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__1988_23.min1.thm12017-02-06 12:46 647  
[ ]aff_4__1994_23.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__1995_28.min1.thm12017-02-06 12:46 858  
[ ]aff_4__1997_21.min1.thm12017-02-06 12:46 823  
[ ]aff_4__1997_21.min1.thm1.tptp2017-02-06 16:48 770  
[ ]aff_4__2001_17.min1.thm12017-02-06 12:46 528  
[ ]aff_4__2002_23.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__2009_33.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2012_13.min1.thm12017-02-06 12:46 870  
[ ]aff_4__2016_33.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2020_21.min1.thm12017-02-06 12:46 2.9K 
[ ]aff_4__2021_20.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2025_33.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2028_26.min1.thm12017-02-06 12:46 2.9K 
[ ]aff_4__2031_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2033_17.min1.thm12017-02-06 12:46 2.5K 
[ ]aff_4__2056_22.min1.thm12017-02-06 12:46 827  
[ ]aff_4__2059_13.min1.thm12017-02-06 12:46 905  
[ ]aff_4__2060_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2064_23.min1.thm12017-02-06 12:46 828  
[ ]aff_4__2067_14.min1.thm12017-02-06 12:46 907  
[ ]aff_4__2071_18.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2072_18.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2073_18.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2076_20.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2079_15.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2080_20.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__2081_17.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2082_17.min1.thm12017-02-06 12:46 612  
[ ]aff_4__2097_11.min1.thm12017-02-06 12:46 766  
[ ]aff_4__2099_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2101_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2102_9.min1.thm12017-02-06 12:46 767  
[ ]aff_4__2103_17.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2105_15.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__2106_14.min1.thm12017-02-06 12:46 715  
[ ]aff_4__2107_24.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2108_14.min1.thm12017-02-06 12:46 715  
[ ]aff_4__2109_13.min1.thm12017-02-06 12:46 767  
[ ]aff_4__2111_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2113_24.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2114_23.min1.thm12017-02-06 12:46 790  
[ ]aff_4__2115_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2119_19.min1.thm12017-02-06 12:46 2.3K 
[ ]aff_4__2120_18.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__2121_18.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2124_12.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__2128_13.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2131_13.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2133_17.min1.thm12017-02-06 12:46 612  
[ ]aff_4__2149_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2155_16.min1.thm12017-02-06 12:46 718  
[ ]aff_4__2159_24.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2160_13.min1.thm12017-02-06 12:46 770  
[ ]aff_4__2162_16.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2163_18.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2167_25.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2168_16.min1.thm12017-02-06 12:46 719  
[ ]aff_4__2169_18.min1.thm12017-02-06 12:46 719  
[ ]aff_4__2171_15.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2172_18.min1.thm12017-02-06 12:46 719  
[ ]aff_4__2176_24.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__2180_24.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2181_16.min1.thm12017-02-06 12:46 719  
[ ]aff_4__2182_15.min1.thm12017-02-06 12:46 719  
[ ]aff_4__2183_13.min1.thm12017-02-06 12:46 771  
[ ]aff_4__2184_15.min1.thm12017-02-06 12:46 719  
[ ]aff_4__2185_16.min1.thm12017-02-06 12:46 719  
[ ]aff_4__2186_25.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2190_20.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__2197_17.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2201_29.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2202_24.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2205_17.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2208_23.min1.thm12017-02-06 12:46 2.3K 
[ ]aff_4__2209_26.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2212_23.min1.thm12017-02-06 12:46 648  
[ ]aff_4__2214_16.min1.thm12017-02-06 12:46 808  
[ ]aff_4__2232_17.min1.thm12017-02-06 12:46 738  
[ ]aff_4__2236_29.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2237_24.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2240_21.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__2243_23.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2244_15.min1.thm12017-02-06 12:46 2.5K 
[ ]aff_4__2246_35.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2247_23.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2251_23.min1.thm12017-02-06 12:46 650  
[ ]aff_4__2253_15.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2256_19.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__2258_17.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2278_23.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2282_20.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2285_22.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2288_14.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__2289_23.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2290_23.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2293_14.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__2300_17.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2301_17.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2304_22.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2305_24.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2306_25.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__2314_17.min1.thm12017-02-06 12:46 879  
[ ]aff_4__2316_27.min1.thm12017-02-06 12:46 832  
[ ]aff_4__2321_21.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2324_18.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2325_18.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__2329_18.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2332_15.min1.thm12017-02-06 12:46 960  
[ ]aff_4__2336_24.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2340_15.min1.thm12017-02-06 12:46 822  
[ ]aff_4__2343_18.min1.thm12017-02-06 12:46 879  
[ ]aff_4__2347_23.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2349_30.min1.thm12017-02-06 12:46 856  
[ ]aff_4__2354_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2355_26.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__2356_26.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__2357_24.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2360_32.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2361_24.min1.thm12017-02-06 12:46 3.1K 
[ ]aff_4__2362_23.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__2364_20.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__2365_18.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__2366_23.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2367_25.min1.thm12017-02-06 12:46 2.3K 
[ ]aff_4__2371_22.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2372_24.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2373_25.min1.thm12017-02-06 12:46 1.9K 
[ ]aff_4__2375_23.min1.thm12017-02-06 12:46 792  
[ ]aff_4__2377_21.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2384_23.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2391_21.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2393_23.min1.thm12017-02-06 12:46 901  
[ ]aff_4__2394_12.min1.thm12017-02-06 12:46 790  
[ ]aff_4__2396_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2398_14.min1.thm12017-02-06 12:46 796  
[ ]aff_4__2399_12.min1.thm12017-02-06 12:46 790  
[ ]aff_4__2401_23.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2402_14.min1.thm12017-02-06 12:46 799  
[ ]aff_4__2406_17.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2409_23.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2410_13.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2413_25.min1.thm12017-02-06 12:46 3.1K 
[ ]aff_4__2424_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2425_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2430_11.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2435_20.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2436_15.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2437_12.min1.thm12017-02-06 12:46 940  
[ ]aff_4__2438_21.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2440_17.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2447_74.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2449_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2466_18.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2476_62.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2477_14.min1.thm12017-02-06 12:46 581  
[ ]aff_4__2488_36.min1.thm12017-02-06 12:46 928  
[ ]aff_4__2495_35.min1.thm12017-02-06 12:46 2.2K 
[ ]aff_4__2496_24.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2497_21.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2499_17.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2512_24.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2513_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2527_10.min1.thm12017-02-06 12:46 362  
[ ]aff_4__2531_20.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2533_12.min1.thm12017-02-06 12:46 768  
[ ]aff_4__2535_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2536_12.min1.thm12017-02-06 12:46 768  
[ ]aff_4__2538_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2543_14.min1.thm12017-02-06 12:46 846  
[ ]aff_4__2544_22.min1.thm12017-02-06 12:46 791  
[ ]aff_4__2547_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2548_27.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__2550_14.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2551_14.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2552_27.min1.thm12017-02-06 12:46 2.1K 
[ ]aff_4__2553_16.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2559_16.min1.thm12017-02-06 12:46 887  
[ ]aff_4__2559_16.min1.thm1.tptp2017-02-06 16:48 905  
[ ]aff_4__2576_14.min1.thm12017-02-06 12:46 740  
[ ]aff_4__2577_23.min1.thm12017-02-06 12:46 686  
[ ]aff_4__2579_12.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2580_14.min1.thm12017-02-06 12:46 647  
[ ]aff_4__2582_12.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2584_23.min1.thm12017-02-06 12:46 686  
[ ]aff_4__2585_23.min1.thm12017-02-06 12:46 686  
[ ]aff_4__2587_23.min1.thm12017-02-06 12:46 704  
[ ]aff_4__2592_23.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2594_14.min1.thm12017-02-06 12:46 1.4K 
[ ]aff_4__2595_13.min1.thm12017-02-06 12:46 520  
[ ]aff_4__2597_14.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2598_14.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__2599_40.min1.thm12017-02-06 12:46 3.0K 
[ ]aff_4__2604_17.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2624_23.min1.thm12017-02-06 12:46 686  
[ ]aff_4__2626_23.min1.thm12017-02-06 12:46 686  
[ ]aff_4__2627_23.min1.thm12017-02-06 12:46 686  
[ ]aff_4__2628_14.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2630_23.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2631_23.min1.thm12017-02-06 12:46 686  
[ ]aff_4__2632_9.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2634_23.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2636_17.min1.thm12017-02-06 12:46 2.6K 
[ ]aff_4__2649_20.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2651_11.min1.thm12017-02-06 12:46 766  
[ ]aff_4__2653_13.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2655_11.min1.thm12017-02-06 12:46 766  
[ ]aff_4__2657_22.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2659_24.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2660_23.min1.thm12017-02-06 12:46 790  
[ ]aff_4__2661_14.min1.thm12017-02-06 12:46 715  
[ ]aff_4__2662_14.min1.thm12017-02-06 12:46 715  
[ ]aff_4__2666_18.min1.thm12017-02-06 12:46 1.6K 
[ ]aff_4__2669_23.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2671_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2672_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2673_15.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2674_31.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2679_11.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2681_17.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2690_14.min1.thm12017-02-06 12:46 960  
[ ]aff_4__2700_17.min1.thm12017-02-06 12:46 1.5K 
[ ]aff_4__2701_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2713_15.min1.thm12017-02-06 12:46 628  
[ ]aff_4__2714_20.min1.thm12017-02-06 12:46 1.0K 
[ ]aff_4__2716_17.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2725_15.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2726_25.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2727_25.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2729_23.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2730_19.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2731_29.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2732_28.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2733_22.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2734_26.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__2735_17.min1.thm12017-02-06 12:46 2.0K 
[ ]aff_4__2745_29.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2748_23.min1.thm12017-02-06 12:46 1.2K 
[ ]aff_4__2749_32.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2750_17.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2760_25.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2761_26.min1.thm12017-02-06 12:46 1.3K 
[ ]aff_4__2762_25.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2763_15.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2765_17.min1.thm12017-02-06 12:46 1.7K 
[ ]aff_4__2766_15.min1.thm12017-02-06 12:46 1.1K 
[ ]aff_4__2767_22.min1.thm12017-02-06 12:46 1.8K 
[ ]aff_4__2768_17.min1.thm12017-02-06 12:46 1.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80