definitions: [Z13] Convert Z2K2 to canonical form
Change-Id: I1b4cc6e34372943b33ac14e03ec950baa44a9fef