Abundant regex: Shorten pre-multiplication modulo; length-=17