rewrite spec for 9-trit ISA