HT FT Fixed Match

Proofs archive

fixed match

Histats