ATS25 max-Decoder