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