**CTCTrophy**\\
\\
BestWitnessesAheadToDate 	INTEGER\\