A hybrid decoding of Reed–Muller codes. (February 2017)