SMHA* pseudocode for report