branch for universe

[helm.git] / matita / contribs / assembly / freescale / freescale_ocaml / matita_freescale_table_RS08.ml

diff --git a/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_table_RS08.ml b/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_table_RS08.ml
new file mode 100644 (file)
index 0000000..6a47f09
--- /dev/null
+++ b/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_table_RS08.ml
@@ -0,0 +1,124 @@
+let opcode_table_RS08_1 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADC)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADC)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_2 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X0)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X1)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X2)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X3)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X4)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X5)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X6)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X7)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X8)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X9)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XA)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XB)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XC)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XD)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XE)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ADD)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XF)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X6,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))))))))))))))))))))))))))))))))))
+;;
+
+let opcode_table_RS08_3 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.AND)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.AND)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_4 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ASL)),Matita_freescale_opcode.MODE_INHA,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Nil)))
+;;
+
+let opcode_table_RS08_5 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRA)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCC)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCS)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BNE)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BEQ)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))))))))
+;;
+
+let opcode_table_RS08_6 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BSETn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O0)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCLRn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O0)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BSETn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O1)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCLRn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O1)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BSETn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O2)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCLRn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O2)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BSETn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O3)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCLRn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O3)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BSETn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O4)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCLRn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O4)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BSETn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O5)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCLRn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O5)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BSETn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O6)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCLRn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O6)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BSETn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O7)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BCLRn)),(Matita_freescale_opcode.MODE_DIRn(Matita_freescale_aux_bases.O7)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X1,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Nil)))))))))))))))))))))))))))))))))
+;;
+
+let opcode_table_RS08_7 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRSETn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O0)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRCLRn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O0)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRSETn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O1)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRCLRn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O1)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRSETn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O2)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRCLRn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O2)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRSETn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O3)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRCLRn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O3)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRSETn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O4)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRCLRn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O4)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRSETn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O5)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRCLRn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O5)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRSETn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O6)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRCLRn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O6)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRSETn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O7)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BRCLRn)),(Matita_freescale_opcode.MODE_DIRn_and_IMM1(Matita_freescale_aux_bases.O7)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Nil)))))))))))))))))))))))))))))))))
+;;
+
+let opcode_table_RS08_8 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLC)),Matita_freescale_opcode.MODE_INH,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SEC)),Matita_freescale_opcode.MODE_INH,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SLA)),Matita_freescale_opcode.MODE_INH,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SHA)),Matita_freescale_opcode.MODE_INH,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.NOP)),Matita_freescale_opcode.MODE_INH,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STOP)),Matita_freescale_opcode.MODE_INH,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.WAIT)),Matita_freescale_opcode.MODE_INH,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.RTS)),Matita_freescale_opcode.MODE_INH,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BGND)),Matita_freescale_opcode.MODE_INH,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Nil)))))))))))))))))))
+;;
+
+let opcode_table_RS08_9 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CBEQA)),Matita_freescale_opcode.MODE_DIR1_and_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CBEQA)),Matita_freescale_opcode.MODE_IMM1_and_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_10 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),Matita_freescale_opcode.MODE_INHA,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T00)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T01)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T02)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T03)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T04)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T05)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T06)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T07)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T08)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T09)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0A)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0B)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0C)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0D)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0E)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0F)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X8,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T10)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T11)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T12)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T13)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T14)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T15)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T16)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T17)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T18)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T19)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1A)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1B)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1C)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1D)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1E)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CLR)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1F)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X9,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Nil)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+;;
+
+let opcode_table_RS08_11 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CMP)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.CMP)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_12 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.COM)),Matita_freescale_opcode.MODE_INHA,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Nil)))
+;;
+
+let opcode_table_RS08_13 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DBNZ)),Matita_freescale_opcode.MODE_DIR1_and_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X7)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DBNZ)),Matita_freescale_opcode.MODE_INHA_and_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_14 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),Matita_freescale_opcode.MODE_INHA,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X0)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X1)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X2)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X3)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X4)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X5)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X6)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X7)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X8)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X9)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XA)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XB)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XC)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XD)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XE)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.DEC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XF)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X5,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Nil)))))))))))))))))))))))))))))))))))))
+;;
+
+let opcode_table_RS08_15 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.EOR)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.EOR)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_16 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),Matita_freescale_opcode.MODE_INHA,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X0)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X1)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X2)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X3)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X4)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X5)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X6)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X7)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X8)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X9)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XA)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XB)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XC)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XD)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XE)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.INC)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XF)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X2,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Nil)))))))))))))))))))))))))))))))))))))
+;;
+
+let opcode_table_RS08_17 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.JMP)),Matita_freescale_opcode.MODE_IMM2,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Nil)))
+;;
+
+let opcode_table_RS08_18 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.BSR)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.JSR)),Matita_freescale_opcode.MODE_IMM2,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_19 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T00)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T01)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T02)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T03)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T04)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T05)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T06)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T07)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T08)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T09)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0A)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0B)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0C)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0D)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0E)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0F)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XC,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T10)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T11)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T12)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T13)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T14)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T15)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T16)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T17)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T18)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T19)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1A)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1B)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1C)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1D)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1E)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LDA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1F)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XD,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+;;
+
+let opcode_table_RS08_20 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.LSR)),Matita_freescale_opcode.MODE_INHA,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Nil)))
+;;
+
+let opcode_table_RS08_21 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.MOV)),Matita_freescale_opcode.MODE_IMM1_to_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X4)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.MOV)),Matita_freescale_opcode.MODE_DIR1_to_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X5)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_22 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ORA)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ORA)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_23 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ROL)),Matita_freescale_opcode.MODE_INHA,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Nil)))
+;;
+
+let opcode_table_RS08_24 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.ROR)),Matita_freescale_opcode.MODE_INHA,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X1)))),(Matita_list_list.Nil)))
+;;
+
+let opcode_table_RS08_25 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SBC)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SBC)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))
+;;
+
+let opcode_table_RS08_26 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T00)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T01)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T02)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T03)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T04)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T05)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T06)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T07)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T08)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T09)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0A)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0B)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0C)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0D)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0E)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T0F)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XE,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T10)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T11)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T12)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T13)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T14)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T15)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T16)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T17)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T18)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T19)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1A)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1B)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1C)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1D)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1E)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.STA)),(Matita_freescale_opcode.MODE_SRT(Matita_freescale_aux_bases.T1F)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XF,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Nil)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+;;
+
+let opcode_table_RS08_27 =
+(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),Matita_freescale_opcode.MODE_IMM1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X2)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),Matita_freescale_opcode.MODE_DIR1,(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X0)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X0)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X1)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X1)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X2)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X2)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X3)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X3)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X4)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X4)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X5)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X5)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X6)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X6)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X7)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X7)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X8)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X8)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.X9)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.X9)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XA)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.XA)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XB)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.XB)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XC)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.XC)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XD)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.XD)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XE)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.XE)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Cons((Matita_freescale_extra.QuadrupleT((Matita_freescale_opcode.AnyOP(Matita_freescale_opcode.SUB)),(Matita_freescale_opcode.MODE_TNY(Matita_freescale_exadecim.XF)),(Matita_freescale_opcode.Byte((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X7,Matita_freescale_exadecim.XF)))),(Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X0,Matita_freescale_exadecim.X3)))),(Matita_list_list.Nil)))))))))))))))))))))))))))))))))))))
+;;
+
+let opcode_table_RS08 =
+(Matita_list_list.append opcode_table_RS08_1 (Matita_list_list.append opcode_table_RS08_2 (Matita_list_list.append opcode_table_RS08_3 (Matita_list_list.append opcode_table_RS08_4 (Matita_list_list.append opcode_table_RS08_5 (Matita_list_list.append opcode_table_RS08_6 (Matita_list_list.append opcode_table_RS08_7 (Matita_list_list.append opcode_table_RS08_8 (Matita_list_list.append opcode_table_RS08_9 (Matita_list_list.append opcode_table_RS08_10 (Matita_list_list.append opcode_table_RS08_11 (Matita_list_list.append opcode_table_RS08_12 (Matita_list_list.append opcode_table_RS08_13 (Matita_list_list.append opcode_table_RS08_14 (Matita_list_list.append opcode_table_RS08_15 (Matita_list_list.append opcode_table_RS08_16 (Matita_list_list.append opcode_table_RS08_17 (Matita_list_list.append opcode_table_RS08_18 (Matita_list_list.append opcode_table_RS08_19 (Matita_list_list.append opcode_table_RS08_20 (Matita_list_list.append opcode_table_RS08_21 (Matita_list_list.append opcode_table_RS08_22 (Matita_list_list.append opcode_table_RS08_23 (Matita_list_list.append opcode_table_RS08_24 (Matita_list_list.append opcode_table_RS08_25 (Matita_list_list.append opcode_table_RS08_26 opcode_table_RS08_27))))))))))))))))))))))))))
+;;
+
+let rS08_not_impl_byte =
+(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X2)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.X3)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X3,Matita_freescale_exadecim.XD)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X0)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.X7)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.X4,Matita_freescale_exadecim.XD)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X3)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X5)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XA,Matita_freescale_exadecim.X7)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X3)),(Matita_list_list.Cons((Matita_freescale_byte8.Mk_byte8(Matita_freescale_exadecim.XB,Matita_freescale_exadecim.X5)),(Matita_list_list.Nil)))))))))))))))))))))))
+;;
+
+let rS08_not_impl_pseudo =
+(Matita_list_list.Cons(Matita_freescale_opcode.AIS,(Matita_list_list.Cons(Matita_freescale_opcode.AIX,(Matita_list_list.Cons(Matita_freescale_opcode.ASR,(Matita_list_list.Cons(Matita_freescale_opcode.BGE,(Matita_list_list.Cons(Matita_freescale_opcode.BGT,(Matita_list_list.Cons(Matita_freescale_opcode.BHCC,(Matita_list_list.Cons(Matita_freescale_opcode.BHCS,(Matita_list_list.Cons(Matita_freescale_opcode.BHI,(Matita_list_list.Cons(Matita_freescale_opcode.BIH,(Matita_list_list.Cons(Matita_freescale_opcode.BIL,(Matita_list_list.Cons(Matita_freescale_opcode.BIT,(Matita_list_list.Cons(Matita_freescale_opcode.BLE,(Matita_list_list.Cons(Matita_freescale_opcode.BLS,(Matita_list_list.Cons(Matita_freescale_opcode.BLT,(Matita_list_list.Cons(Matita_freescale_opcode.BMC,(Matita_list_list.Cons(Matita_freescale_opcode.BMI,(Matita_list_list.Cons(Matita_freescale_opcode.BMS,(Matita_list_list.Cons(Matita_freescale_opcode.BPL,(Matita_list_list.Cons(Matita_freescale_opcode.BRN,(Matita_list_list.Cons(Matita_freescale_opcode.CBEQX,(Matita_list_list.Cons(Matita_freescale_opcode.CLI,(Matita_list_list.Cons(Matita_freescale_opcode.CPHX,(Matita_list_list.Cons(Matita_freescale_opcode.CPX,(Matita_list_list.Cons(Matita_freescale_opcode.DAA,(Matita_list_list.Cons(Matita_freescale_opcode.DIV,(Matita_list_list.Cons(Matita_freescale_opcode.LDHX,(Matita_list_list.Cons(Matita_freescale_opcode.LDX,(Matita_list_list.Cons(Matita_freescale_opcode.MUL,(Matita_list_list.Cons(Matita_freescale_opcode.NEG,(Matita_list_list.Cons(Matita_freescale_opcode.NSA,(Matita_list_list.Cons(Matita_freescale_opcode.PSHA,(Matita_list_list.Cons(Matita_freescale_opcode.PSHH,(Matita_list_list.Cons(Matita_freescale_opcode.PSHX,(Matita_list_list.Cons(Matita_freescale_opcode.PULA,(Matita_list_list.Cons(Matita_freescale_opcode.PULH,(Matita_list_list.Cons(Matita_freescale_opcode.PULX,(Matita_list_list.Cons(Matita_freescale_opcode.RSP,(Matita_list_list.Cons(Matita_freescale_opcode.RTI,(Matita_list_list.Cons(Matita_freescale_opcode.SEI,(Matita_list_list.Cons(Matita_freescale_opcode.STHX,(Matita_list_list.Cons(Matita_freescale_opcode.STX,(Matita_list_list.Cons(Matita_freescale_opcode.SWI,(Matita_list_list.Cons(Matita_freescale_opcode.TAP,(Matita_list_list.Cons(Matita_freescale_opcode.TAX,(Matita_list_list.Cons(Matita_freescale_opcode.TPA,(Matita_list_list.Cons(Matita_freescale_opcode.TST,(Matita_list_list.Cons(Matita_freescale_opcode.TSX,(Matita_list_list.Cons(Matita_freescale_opcode.TXA,(Matita_list_list.Cons(Matita_freescale_opcode.TXS,(Matita_list_list.Nil)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+;;
+
+let rS08_not_impl_mode =
+(Matita_list_list.Cons(Matita_freescale_opcode.MODE_INHX,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_INHH,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_INHX0ADD,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_INHX1ADD,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_INHX2ADD,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_IMM1EXT,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_DIR2,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_IX0,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_IX1,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_IX2,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_SP1,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_SP2,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_IX0p_to_DIR1,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_DIR1_to_IX0p,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_INHX_and_IMM1,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_IX0_and_IMM1,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_IX0p_and_IMM1,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_IX1_and_IMM1,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_IX1p_and_IMM1,(Matita_list_list.Cons(Matita_freescale_opcode.MODE_SP1_and_IMM1,(Matita_list_list.Nil)))))))))))))))))))))))))))))))))))))))))
+;;
+