#KJ-137 Migrate tex file for new instance to an older version of k.sty. Migrated to K version of May 9, SHA bcbfff724c1271995def1c48503126b2e2fcf48a
Correction to the custom reduce rules.