base A rule A FFFFFFFFF[B]A rule B FFFFFF[-D]C[+] rule C FFFFFF[+D]B[-] rule D FFFFF[+J]E[]M rule E FFFFF[-J]D[]M rule J FFF[-K]K[]M rule K FFF[+J]J[]M rule M