+
+ | ut00 ⇒ match u2 with [ ut00 ⇒ true | _ ⇒ false ]
+ | ut01 ⇒ match u2 with [ ut01 ⇒ true | _ ⇒ false ]
+ | ut02 ⇒ match u2 with [ ut02 ⇒ true | _ ⇒ false ]
+ | ut03 ⇒ match u2 with [ ut03 ⇒ true | _ ⇒ false ]
+ | ut04 ⇒ match u2 with [ ut04 ⇒ true | _ ⇒ false ]
+ | ut05 ⇒ match u2 with [ ut05 ⇒ true | _ ⇒ false ]
+ | ut06 ⇒ match u2 with [ ut06 ⇒ true | _ ⇒ false ]
+ | ut07 ⇒ match u2 with [ ut07 ⇒ true | _ ⇒ false ]
+ | ut08 ⇒ match u2 with [ ut08 ⇒ true | _ ⇒ false ]
+ | ut09 ⇒ match u2 with [ ut09 ⇒ true | _ ⇒ false ]
+ | ut0A ⇒ match u2 with [ ut0A ⇒ true | _ ⇒ false ]
+ | ut0B ⇒ match u2 with [ ut0B ⇒ true | _ ⇒ false ]
+ | ut0C ⇒ match u2 with [ ut0C ⇒ true | _ ⇒ false ]
+ | ut0D ⇒ match u2 with [ ut0D ⇒ true | _ ⇒ false ]
+ | ut0E ⇒ match u2 with [ ut0E ⇒ true | _ ⇒ false ]
+ | ut0F ⇒ match u2 with [ ut0F ⇒ true | _ ⇒ false ]
+ | ut10 ⇒ match u2 with [ ut10 ⇒ true | _ ⇒ false ]
+ | ut11 ⇒ match u2 with [ ut11 ⇒ true | _ ⇒ false ]
+ | ut12 ⇒ match u2 with [ ut12 ⇒ true | _ ⇒ false ]
+ | ut13 ⇒ match u2 with [ ut13 ⇒ true | _ ⇒ false ]
+ | ut14 ⇒ match u2 with [ ut14 ⇒ true | _ ⇒ false ]
+ | ut15 ⇒ match u2 with [ ut15 ⇒ true | _ ⇒ false ]
+ | ut16 ⇒ match u2 with [ ut16 ⇒ true | _ ⇒ false ]
+ | ut17 ⇒ match u2 with [ ut17 ⇒ true | _ ⇒ false ]
+ | ut18 ⇒ match u2 with [ ut18 ⇒ true | _ ⇒ false ]
+ | ut19 ⇒ match u2 with [ ut19 ⇒ true | _ ⇒ false ]
+ | ut1A ⇒ match u2 with [ ut1A ⇒ true | _ ⇒ false ]
+ | ut1B ⇒ match u2 with [ ut1B ⇒ true | _ ⇒ false ]
+ | ut1C ⇒ match u2 with [ ut1C ⇒ true | _ ⇒ false ]
+ | ut1D ⇒ match u2 with [ ut1D ⇒ true | _ ⇒ false ]
+ | ut1E ⇒ match u2 with [ ut1E ⇒ true | _ ⇒ false ]
+ | ut1F ⇒ match u2 with [ ut1F ⇒ true | _ ⇒ false ]
+
+ | uch_0 ⇒ match u2 with [ uch_0 ⇒ true | _ ⇒ false ]
+ | uch_1 ⇒ match u2 with [ uch_1 ⇒ true | _ ⇒ false ]
+ | uch_2 ⇒ match u2 with [ uch_2 ⇒ true | _ ⇒ false ]
+ | uch_3 ⇒ match u2 with [ uch_3 ⇒ true | _ ⇒ false ]
+ | uch_4 ⇒ match u2 with [ uch_4 ⇒ true | _ ⇒ false ]
+ | uch_5 ⇒ match u2 with [ uch_5 ⇒ true | _ ⇒ false ]
+ | uch_6 ⇒ match u2 with [ uch_6 ⇒ true | _ ⇒ false ]
+ | uch_7 ⇒ match u2 with [ uch_7 ⇒ true | _ ⇒ false ]
+ | uch_8 ⇒ match u2 with [ uch_8 ⇒ true | _ ⇒ false ]
+ | uch_9 ⇒ match u2 with [ uch_9 ⇒ true | _ ⇒ false ]
+ | uch__ ⇒ match u2 with [ uch__ ⇒ true | _ ⇒ false ]
+ | uch_A ⇒ match u2 with [ uch_A ⇒ true | _ ⇒ false ]
+ | uch_B ⇒ match u2 with [ uch_B ⇒ true | _ ⇒ false ]
+ | uch_C ⇒ match u2 with [ uch_C ⇒ true | _ ⇒ false ]
+ | uch_D ⇒ match u2 with [ uch_D ⇒ true | _ ⇒ false ]
+ | uch_E ⇒ match u2 with [ uch_E ⇒ true | _ ⇒ false ]
+ | uch_F ⇒ match u2 with [ uch_F ⇒ true | _ ⇒ false ]
+ | uch_G ⇒ match u2 with [ uch_G ⇒ true | _ ⇒ false ]
+ | uch_H ⇒ match u2 with [ uch_H ⇒ true | _ ⇒ false ]
+ | uch_I ⇒ match u2 with [ uch_I ⇒ true | _ ⇒ false ]
+ | uch_J ⇒ match u2 with [ uch_J ⇒ true | _ ⇒ false ]
+ | uch_K ⇒ match u2 with [ uch_K ⇒ true | _ ⇒ false ]
+ | uch_L ⇒ match u2 with [ uch_L ⇒ true | _ ⇒ false ]
+ | uch_M ⇒ match u2 with [ uch_M ⇒ true | _ ⇒ false ]
+ | uch_N ⇒ match u2 with [ uch_N ⇒ true | _ ⇒ false ]
+ | uch_O ⇒ match u2 with [ uch_O ⇒ true | _ ⇒ false ]
+ | uch_P ⇒ match u2 with [ uch_P ⇒ true | _ ⇒ false ]
+ | uch_Q ⇒ match u2 with [ uch_Q ⇒ true | _ ⇒ false ]
+ | uch_R ⇒ match u2 with [ uch_R ⇒ true | _ ⇒ false ]
+ | uch_S ⇒ match u2 with [ uch_S ⇒ true | _ ⇒ false ]
+ | uch_T ⇒ match u2 with [ uch_T ⇒ true | _ ⇒ false ]
+ | uch_U ⇒ match u2 with [ uch_U ⇒ true | _ ⇒ false ]
+ | uch_V ⇒ match u2 with [ uch_V ⇒ true | _ ⇒ false ]
+ | uch_W ⇒ match u2 with [ uch_W ⇒ true | _ ⇒ false ]
+ | uch_X ⇒ match u2 with [ uch_X ⇒ true | _ ⇒ false ]
+ | uch_Y ⇒ match u2 with [ uch_Y ⇒ true | _ ⇒ false ]
+ | uch_Z ⇒ match u2 with [ uch_Z ⇒ true | _ ⇒ false ]
+ | uch_a ⇒ match u2 with [ uch_a ⇒ true | _ ⇒ false ]
+ | uch_b ⇒ match u2 with [ uch_b ⇒ true | _ ⇒ false ]
+ | uch_c ⇒ match u2 with [ uch_c ⇒ true | _ ⇒ false ]
+ | uch_d ⇒ match u2 with [ uch_d ⇒ true | _ ⇒ false ]
+ | uch_e ⇒ match u2 with [ uch_e ⇒ true | _ ⇒ false ]
+ | uch_f ⇒ match u2 with [ uch_f ⇒ true | _ ⇒ false ]
+ | uch_g ⇒ match u2 with [ uch_g ⇒ true | _ ⇒ false ]
+ | uch_h ⇒ match u2 with [ uch_h ⇒ true | _ ⇒ false ]
+ | uch_i ⇒ match u2 with [ uch_i ⇒ true | _ ⇒ false ]
+ | uch_j ⇒ match u2 with [ uch_j ⇒ true | _ ⇒ false ]
+ | uch_k ⇒ match u2 with [ uch_k ⇒ true | _ ⇒ false ]
+ | uch_l ⇒ match u2 with [ uch_l ⇒ true | _ ⇒ false ]
+ | uch_m ⇒ match u2 with [ uch_m ⇒ true | _ ⇒ false ]
+ | uch_n ⇒ match u2 with [ uch_n ⇒ true | _ ⇒ false ]
+ | uch_o ⇒ match u2 with [ uch_o ⇒ true | _ ⇒ false ]
+ | uch_p ⇒ match u2 with [ uch_p ⇒ true | _ ⇒ false ]
+ | uch_q ⇒ match u2 with [ uch_q ⇒ true | _ ⇒ false ]
+ | uch_r ⇒ match u2 with [ uch_r ⇒ true | _ ⇒ false ]
+ | uch_s ⇒ match u2 with [ uch_s ⇒ true | _ ⇒ false ]
+ | uch_t ⇒ match u2 with [ uch_t ⇒ true | _ ⇒ false ]
+ | uch_u ⇒ match u2 with [ uch_u ⇒ true | _ ⇒ false ]
+ | uch_v ⇒ match u2 with [ uch_v ⇒ true | _ ⇒ false ]
+ | uch_w ⇒ match u2 with [ uch_w ⇒ true | _ ⇒ false ]
+ | uch_x ⇒ match u2 with [ uch_x ⇒ true | _ ⇒ false ]
+ | uch_y ⇒ match u2 with [ uch_y ⇒ true | _ ⇒ false ]
+ | uch_z ⇒ match u2 with [ uch_z ⇒ true | _ ⇒ false ]
+
+ | ADC ⇒ match u2 with [ ADC ⇒ true | _ ⇒ false ]
+ | ADD ⇒ match u2 with [ ADD ⇒ true | _ ⇒ false ]
+ | AIS ⇒ match u2 with [ AIS ⇒ true | _ ⇒ false ]
+ | AIX ⇒ match u2 with [ AIX ⇒ true | _ ⇒ false ]
+ | AND ⇒ match u2 with [ AND ⇒ true | _ ⇒ false ]
+ | ASL ⇒ match u2 with [ ASL ⇒ true | _ ⇒ false ]
+ | ASR ⇒ match u2 with [ ASR ⇒ true | _ ⇒ false ]
+ | BCC ⇒ match u2 with [ BCC ⇒ true | _ ⇒ false ]
+ | BCLRn ⇒ match u2 with [ BCLRn ⇒ true | _ ⇒ false ]
+ | BCS ⇒ match u2 with [ BCS ⇒ true | _ ⇒ false ]
+ | BEQ ⇒ match u2 with [ BEQ ⇒ true | _ ⇒ false ]
+ | BGE ⇒ match u2 with [ BGE ⇒ true | _ ⇒ false ]
+ | BGND ⇒ match u2 with [ BGND ⇒ true | _ ⇒ false ]
+ | BGT ⇒ match u2 with [ BGT ⇒ true | _ ⇒ false ]
+ | BHCC ⇒ match u2 with [ BHCC ⇒ true | _ ⇒ false ]
+ | BHCS ⇒ match u2 with [ BHCS ⇒ true | _ ⇒ false ]
+ | BHI ⇒ match u2 with [ BHI ⇒ true | _ ⇒ false ]
+ | BIH ⇒ match u2 with [ BIH ⇒ true | _ ⇒ false ]
+ | BIL ⇒ match u2 with [ BIL ⇒ true | _ ⇒ false ]
+ | BIT ⇒ match u2 with [ BIT ⇒ true | _ ⇒ false ]
+ | BLE ⇒ match u2 with [ BLE ⇒ true | _ ⇒ false ]
+ | BLS ⇒ match u2 with [ BLS ⇒ true | _ ⇒ false ]
+ | BLT ⇒ match u2 with [ BLT ⇒ true | _ ⇒ false ]
+ | BMC ⇒ match u2 with [ BMC ⇒ true | _ ⇒ false ]
+ | BMI ⇒ match u2 with [ BMI ⇒ true | _ ⇒ false ]
+ | BMS ⇒ match u2 with [ BMS ⇒ true | _ ⇒ false ]
+ | BNE ⇒ match u2 with [ BNE ⇒ true | _ ⇒ false ]
+ | BPL ⇒ match u2 with [ BPL ⇒ true | _ ⇒ false ]
+ | BRA ⇒ match u2 with [ BRA ⇒ true | _ ⇒ false ]
+ | BRCLRn ⇒ match u2 with [ BRCLRn ⇒ true | _ ⇒ false ]
+ | BRN ⇒ match u2 with [ BRN ⇒ true | _ ⇒ false ]
+ | BRSETn ⇒ match u2 with [ BRSETn ⇒ true | _ ⇒ false ]
+ | BSETn ⇒ match u2 with [ BSETn ⇒ true | _ ⇒ false ]
+ | BSR ⇒ match u2 with [ BSR ⇒ true | _ ⇒ false ]
+ | CBEQA ⇒ match u2 with [ CBEQA ⇒ true | _ ⇒ false ]
+ | CBEQX ⇒ match u2 with [ CBEQX ⇒ true | _ ⇒ false ]
+ | CLC ⇒ match u2 with [ CLC ⇒ true | _ ⇒ false ]
+ | CLI ⇒ match u2 with [ CLI ⇒ true | _ ⇒ false ]
+ | CLR ⇒ match u2 with [ CLR ⇒ true | _ ⇒ false ]
+ | CMP ⇒ match u2 with [ CMP ⇒ true | _ ⇒ false ]
+ | COM ⇒ match u2 with [ COM ⇒ true | _ ⇒ false ]
+ | CPHX ⇒ match u2 with [ CPHX ⇒ true | _ ⇒ false ]
+ | CPX ⇒ match u2 with [ CPX ⇒ true | _ ⇒ false ]
+ | DAA ⇒ match u2 with [ DAA ⇒ true | _ ⇒ false ]
+ | DBNZ ⇒ match u2 with [ DBNZ ⇒ true | _ ⇒ false ]
+ | DEC ⇒ match u2 with [ DEC ⇒ true | _ ⇒ false ]
+ | DIV ⇒ match u2 with [ DIV ⇒ true | _ ⇒ false ]
+ | EOR ⇒ match u2 with [ EOR ⇒ true | _ ⇒ false ]
+ | INC ⇒ match u2 with [ INC ⇒ true | _ ⇒ false ]
+ | JMP ⇒ match u2 with [ JMP ⇒ true | _ ⇒ false ]
+ | JSR ⇒ match u2 with [ JSR ⇒ true | _ ⇒ false ]
+ | LDA ⇒ match u2 with [ LDA ⇒ true | _ ⇒ false ]
+ | LDHX ⇒ match u2 with [ LDHX ⇒ true | _ ⇒ false ]
+ | LDX ⇒ match u2 with [ LDX ⇒ true | _ ⇒ false ]
+ | LSR ⇒ match u2 with [ LSR ⇒ true | _ ⇒ false ]
+ | MOV ⇒ match u2 with [ MOV ⇒ true | _ ⇒ false ]
+ | MUL ⇒ match u2 with [ MUL ⇒ true | _ ⇒ false ]
+ | NEG ⇒ match u2 with [ NEG ⇒ true | _ ⇒ false ]
+ | NOP ⇒ match u2 with [ NOP ⇒ true | _ ⇒ false ]
+ | NSA ⇒ match u2 with [ NSA ⇒ true | _ ⇒ false ]
+ | ORA ⇒ match u2 with [ ORA ⇒ true | _ ⇒ false ]
+ | PSHA ⇒ match u2 with [ PSHA ⇒ true | _ ⇒ false ]
+ | PSHH ⇒ match u2 with [ PSHH ⇒ true | _ ⇒ false ]
+ | PSHX ⇒ match u2 with [ PSHX ⇒ true | _ ⇒ false ]
+ | PULA ⇒ match u2 with [ PULA ⇒ true | _ ⇒ false ]
+ | PULH ⇒ match u2 with [ PULH ⇒ true | _ ⇒ false ]
+ | PULX ⇒ match u2 with [ PULX ⇒ true | _ ⇒ false ]
+ | ROL ⇒ match u2 with [ ROL ⇒ true | _ ⇒ false ]
+ | ROR ⇒ match u2 with [ ROR ⇒ true | _ ⇒ false ]
+ | RSP ⇒ match u2 with [ RSP ⇒ true | _ ⇒ false ]
+ | RTI ⇒ match u2 with [ RTI ⇒ true | _ ⇒ false ]
+ | RTS ⇒ match u2 with [ RTS ⇒ true | _ ⇒ false ]
+ | SBC ⇒ match u2 with [ SBC ⇒ true | _ ⇒ false ]
+ | SEC ⇒ match u2 with [ SEC ⇒ true | _ ⇒ false ]
+ | SEI ⇒ match u2 with [ SEI ⇒ true | _ ⇒ false ]
+ | SHA ⇒ match u2 with [ SHA ⇒ true | _ ⇒ false ]
+ | SLA ⇒ match u2 with [ SLA ⇒ true | _ ⇒ false ]
+ | STA ⇒ match u2 with [ STA ⇒ true | _ ⇒ false ]
+ | STHX ⇒ match u2 with [ STHX ⇒ true | _ ⇒ false ]
+ | STOP ⇒ match u2 with [ STOP ⇒ true | _ ⇒ false ]
+ | STX ⇒ match u2 with [ STX ⇒ true | _ ⇒ false ]
+ | SUB ⇒ match u2 with [ SUB ⇒ true | _ ⇒ false ]
+ | SWI ⇒ match u2 with [ SWI ⇒ true | _ ⇒ false ]
+ | TAP ⇒ match u2 with [ TAP ⇒ true | _ ⇒ false ]
+ | TAX ⇒ match u2 with [ TAX ⇒ true | _ ⇒ false ]
+ | TPA ⇒ match u2 with [ TPA ⇒ true | _ ⇒ false ]
+ | TST ⇒ match u2 with [ TST ⇒ true | _ ⇒ false ]
+ | TSX ⇒ match u2 with [ TSX ⇒ true | _ ⇒ false ]
+ | TXA ⇒ match u2 with [ TXA ⇒ true | _ ⇒ false ]
+ | TXS ⇒ match u2 with [ TXS ⇒ true | _ ⇒ false ]
+ | WAIT ⇒ match u2 with [ WAIT ⇒ true | _ ⇒ false ]
+