x86: Remove the secondary encoding for ctest.

There are two encodings for each opcode F6/F7 in ctest, but the second one
is never used, so remove it to reduce the size of opcode_tbl.h.

opcodes/ChangeLog:

        * i386-opc.tbl: Removed the secondary insn template for ctest.
        * i386-tbl.h: Regenerated.

2 files changed, 289 insertions, 570 deletions

diff --git a/opcodes/i386-opc.tbl b/opcodes/i386-opc.tbl
index e365f06..1d19935 100644
--- a/opcodes/i386-opc.tbl
+++ b/opcodes/i386-opc.tbl
@@ -361,7 +361,6 @@ test, 0xf60a/0, 0, W|Modrm|EVexMap4|Scc|No_sSuf, { Imm8|Imm16|Imm32|Imm32S, Reg8
 
 ctest<scc>, 0x840<scc:opc>, APX_F, D|W|C|CheckOperandSize|Modrm|EVexMap4|Scc|No_sSuf, { Reg8|Reg16|Reg32|Reg64, Reg8|Reg16|Reg32|Reg64|Unspecified|BaseIndex }
 ctest<scc>, 0xf60<scc:opc>/0, APX_F, W|Modrm|EVexMap4|Scc|No_sSuf, { Imm8|Imm16|Imm32|Imm32S, Reg8|Reg16|Reg32|Reg64|Unspecified|BaseIndex }
-ctest<scc>, 0xf60<scc:opc>/1, APX_F, W|Modrm|EVexMap4|Scc|No_sSuf, { Imm8|Imm16|Imm32|Imm32S, Reg8|Reg16|Reg32|Reg64|Unspecified|BaseIndex }
 
 <scc>
 
diff --git a/opcodes/i386-tbl.h b/opcodes/i386-tbl.h
index 60a1915..38ccd1d 100644
--- a/opcodes/i386-tbl.h
+++ b/opcodes/i386-tbl.h
@@ -2530,16 +2530,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctesto, 0xf600, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestno, 0x8401, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2560,16 +2550,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestno, 0xf601, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestb, 0x8402, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2590,16 +2570,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestb, 0xf602, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestc, 0x8402, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2620,16 +2590,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestc, 0xf602, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestnae, 0x8402, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2650,16 +2610,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestnae, 0xf602, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestnb, 0x8403, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2680,16 +2630,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestnb, 0xf603, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestnc, 0x8403, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2710,16 +2650,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestnc, 0xf603, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestae, 0x8403, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2740,16 +2670,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestae, 0xf603, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_cteste, 0x8404, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2770,16 +2690,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_cteste, 0xf604, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestz, 0x8404, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2800,16 +2710,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestz, 0xf604, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestne, 0x8405, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2830,16 +2730,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestne, 0xf605, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestnz, 0x8405, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2860,16 +2750,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestnz, 0xf605, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestbe, 0x8406, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2890,16 +2770,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestbe, 0xf606, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestna, 0x8406, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2920,16 +2790,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestna, 0xf606, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestnbe, 0x8407, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2950,16 +2810,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestnbe, 0xf607, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctesta, 0x8407, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -2980,16 +2830,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctesta, 0xf607, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctests, 0x8408, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3010,16 +2850,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctests, 0xf608, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestns, 0x8409, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3040,16 +2870,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestns, 0xf609, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestt, 0x840a, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3070,16 +2890,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestt, 0xf60a, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestf, 0x840b, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3100,16 +2910,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestf, 0xf60b, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestl, 0x840c, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3130,16 +2930,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestl, 0xf60c, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestnge, 0x840c, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3160,16 +2950,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestnge, 0xf60c, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestnl, 0x840d, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3190,16 +2970,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestnl, 0xf60d, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestge, 0x840d, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3220,16 +2990,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestge, 0xf60d, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestle, 0x840e, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3250,16 +3010,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestle, 0xf60e, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestng, 0x840e, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3280,16 +3030,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestng, 0xf60e, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestnle, 0x840f, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3310,16 +3050,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestnle, 0xf60f, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_ctestg, 0x840f, 2, SPACE_EVEXMAP4, None,
     { 1, 1, 0, 1, 0, 0, 0, 1, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
@@ -3340,16 +3070,6 @@ static const insn_template i386_optab[] =
 	  0, 0, 0, 0, 0, 0 } },
       { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
 	  0, 0, 0, 0, 1, 0 } } } },
-  { MN_ctestg, 0xf60f, 2, SPACE_EVEXMAP4, 1,
-    { 0, 1, 0, 1, 0, 0, 0, 0, 11, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
-      0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-      0, 0 },
-    { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0 } },
-    { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } },
-    { { { 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-	  0, 0, 0, 0, 0, 0 } },
-      { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0,
-	  0, 0, 0, 0, 1, 0 } } } },
   { MN_inc, 0x40 | (0 <<3), 1, SPACE_BASE, None,
     { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1,
@@ -45534,302 +45254,302 @@ static const i386_op_off_t i386_op_sets[] =
    164,  167,  170,  173,  176,  179,  182,  185,
    188,  191,  194,  197,  200,  203,  206,  209,
    212,  215,  218,  221,  224,  227,  230,  233,
-   236,  239,  242,  245,  248,  253,  256,  259,
-   262,  265,  268,  271,  274,  277,  280,  283,
-   286,  289,  292,  295,  298,  301,  304,  307,
-   310,  313,  316,  319,  322,  325,  328,  331,
-   334,  337,  341,  345,  348,  351,  352,  353,
-   354,  355,  357,  359,  360,  361,  362,  363,
-   364,  365,  366,  367,  368,  369,  370,  371,
-   373,  386,  390,  394,  398,  408,  418,  428,
-   438,  448,  458,  468,  478,  485,  492,  501,
-   504,  512,  515,  521,  523,  525,  527,  529,
-   530,  531,  532,  533,  534,  535,  536,  537,
-   538,  539,  540,  541,  542,  543,  544,  545,
-   546,  547,  548,  549,  550,  551,  552,  553,
-   554,  555,  556,  557,  558,  559,  560,  561,
-   562,  564,  566,  568,  570,  572,  575,  578,
-   581,  584,  587,  590,  593,  596,  599,  602,
-   605,  608,  611,  614,  617,  620,  623,  626,
-   629,  632,  635,  638,  641,  644,  647,  650,
-   653,  656,  659,  662,  663,  664,  665,  666,
-   667,  668,  669,  670,  671,  672,  673,  674,
-   675,  676,  677,  678,  679,  680,  681,  682,
-   683,  684,  685,  686,  687,  688,  689,  690,
-   691,  692,  694,  696,  698,  700,  703,  706,
-   708,  710,  713,  716,  719,  722,  724,  725,
-   726,  728,  730,  732,  734,  735,  736,  737,
-   738,  739,  740,  741,  742,  744,  746,  748,
-   750,  752,  754,  755,  757,  759,  761,  763,
-   765,  767,  769,  771,  773,  777,  779,  780,
-   781,  782,  785,  786,  790,  792,  793,  794,
-   795,  797,  801,  802,  806,  807,  808,  810,
-   812,  813,  814,  815,  816,  817,  818,  819,
-   820,  821,  822,  826,  827,  830,  834,  835,
-   841,  845,  846,  852,  856,  857,  860,  864,
-   865,  871,  875,  876,  882,  883,  884,  885,
+   236,  239,  242,  245,  248,  253,  255,  257,
+   259,  261,  263,  265,  267,  269,  271,  273,
+   275,  277,  279,  281,  283,  285,  287,  289,
+   291,  293,  295,  297,  299,  301,  303,  305,
+   307,  309,  313,  317,  320,  323,  324,  325,
+   326,  327,  329,  331,  332,  333,  334,  335,
+   336,  337,  338,  339,  340,  341,  342,  343,
+   345,  358,  362,  366,  370,  380,  390,  400,
+   410,  420,  430,  440,  450,  457,  464,  473,
+   476,  484,  487,  493,  495,  497,  499,  501,
+   502,  503,  504,  505,  506,  507,  508,  509,
+   510,  511,  512,  513,  514,  515,  516,  517,
+   518,  519,  520,  521,  522,  523,  524,  525,
+   526,  527,  528,  529,  530,  531,  532,  533,
+   534,  536,  538,  540,  542,  544,  547,  550,
+   553,  556,  559,  562,  565,  568,  571,  574,
+   577,  580,  583,  586,  589,  592,  595,  598,
+   601,  604,  607,  610,  613,  616,  619,  622,
+   625,  628,  631,  634,  635,  636,  637,  638,
+   639,  640,  641,  642,  643,  644,  645,  646,
+   647,  648,  649,  650,  651,  652,  653,  654,
+   655,  656,  657,  658,  659,  660,  661,  662,
+   663,  664,  666,  668,  670,  672,  675,  678,
+   680,  682,  685,  688,  691,  694,  696,  697,
+   698,  700,  702,  704,  706,  707,  708,  709,
+   710,  711,  712,  713,  714,  716,  718,  720,
+   722,  724,  726,  727,  729,  731,  733,  735,
+   737,  739,  741,  743,  745,  749,  751,  752,
+   753,  754,  757,  758,  762,  764,  765,  766,
+   767,  769,  773,  774,  778,  779,  780,  782,
+   784,  785,  786,  787,  788,  789,  790,  791,
+   792,  793,  794,  798,  799,  802,  806,  807,
+   813,  817,  818,  824,  828,  829,  832,  836,
+   837,  843,  847,  848,  854,  855,  856,  857,
+   858,  859,  860,  861,  862,  863,  864,  865,
+   866,  867,  868,  869,  870,  871,  872,  873,
+   874,  875,  876,  877,  880,  883,  884,  885,
    886,  887,  888,  889,  890,  891,  892,  893,
    894,  895,  896,  897,  898,  899,  900,  901,
-   902,  903,  904,  905,  908,  911,  912,  913,
-   914,  915,  916,  917,  918,  919,  920,  921,
-   922,  923,  924,  925,  926,  927,  928,  929,
-   930,  931,  932,  933,  934,  935,  936,  937,
-   938,  939,  940,  941,  942,  943,  944,  945,
-   946,  947,  948,  949,  950,  951,  952,  953,
-   954,  955,  956,  957,  958,  959,  960,  961,
-   962,  963,  964,  965,  966,  967,  968,  969,
-   970,  971,  972,  973,  974,  975,  976,  977,
-   978,  979,  980,  981,  982,  983,  984,  985,
-   986,  987,  988,  989,  990,  991,  992,  993,
-   994,  995,  996,  997,  998,  999, 1000, 1001,
-  1002, 1003, 1004, 1005, 1006, 1007, 1009, 1011,
-  1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019,
-  1020, 1021, 1023, 1025, 1027, 1029, 1031, 1033,
-  1035, 1037, 1039, 1041, 1043, 1045, 1047, 1049,
-  1051, 1053, 1055, 1057, 1059, 1061, 1063, 1065,
-  1067, 1069, 1071, 1073, 1075, 1077, 1079, 1081,
-  1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089,
-  1090, 1091, 1092, 1093, 1096, 1099, 1102, 1105,
-  1108, 1111, 1112, 1113, 1114, 1115, 1116, 1117,
-  1123, 1133, 1137, 1141, 1145, 1149, 1153, 1156,
-  1160, 1164, 1168, 1172, 1176, 1179, 1182, 1185,
-  1188, 1191, 1194, 1197, 1200, 1204, 1208, 1212,
-  1215, 1223, 1229, 1237, 1245, 1251, 1259, 1265,
-  1273, 1277, 1281, 1284, 1288, 1292, 1296, 1300,
-  1304, 1308, 1312, 1315, 1319, 1323, 1326, 1329,
-  1331, 1333, 1336, 1339, 1341, 1343, 1345, 1347,
-  1349, 1351, 1353, 1355, 1357, 1359, 1361, 1363,
-  1365, 1367, 1369, 1371, 1373, 1375, 1377, 1378,
-  1379, 1385, 1387, 1388, 1390, 1392, 1394, 1396,
-  1397, 1399, 1401, 1403, 1405, 1407, 1409, 1412,
-  1414, 1417, 1419, 1421, 1422, 1424, 1427, 1429,
-  1431, 1433, 1436, 1440, 1444, 1453, 1459, 1463,
-  1467, 1471, 1475, 1478, 1482, 1483, 1484, 1485,
-  1486, 1490, 1491, 1494, 1497, 1500, 1503, 1504,
-  1506, 1508, 1510, 1512, 1514, 1516, 1518, 1520,
-  1522, 1525, 1528, 1531, 1534, 1537, 1539, 1541,
-  1543, 1545, 1547, 1549, 1551, 1553, 1555, 1557,
-  1559, 1561, 1563, 1565, 1567, 1569, 1571, 1573,
-  1576, 1579, 1585, 1588, 1591, 1594, 1597, 1600,
-  1603, 1606, 1611, 1616, 1618, 1621, 1626, 1629,
-  1632, 1635, 1638, 1641, 1644, 1647, 1650, 1653,
-  1656, 1659, 1662, 1665, 1667, 1670, 1672, 1673,
-  1676, 1678, 1680, 1682, 1685, 1687, 1688, 1690,
-  1693, 1695, 1697, 1699, 1701, 1702, 1703, 1707,
-  1709, 1712, 1715, 1718, 1721, 1724, 1727, 1729,
-  1731, 1733, 1735, 1737, 1739, 1742, 1745, 1747,
-  1749, 1751, 1752, 1753, 1756, 1758, 1759, 1760,
-  1761, 1762, 1763, 1764, 1766, 1768, 1769, 1770,
-  1771, 1772, 1775, 1778, 1781, 1784, 1787, 1790,
-  1793, 1796, 1799, 1803, 1807, 1811, 1814, 1817,
-  1820, 1824, 1828, 1832, 1835, 1837, 1839, 1843,
-  1847, 1849, 1851, 1855, 1857, 1859, 1861, 1864,
-  1868, 1870, 1872, 1878, 1881, 1884, 1886, 1892,
-  1895, 1898, 1901, 1903, 1905, 1908, 1911, 1913,
-  1915, 1918, 1921, 1923, 1925, 1927, 1929, 1931,
-  1934, 1936, 1938, 1940, 1942, 1944, 1947, 1949,
-  1951, 1954, 1956, 1959, 1961, 1963, 1967, 1971,
-  1973, 1975, 1979, 1980, 1981, 1982, 1983, 1984,
-  1985, 1986, 1987, 1989, 1991, 1993, 1995, 1997,
-  1999, 2001, 2003, 2005, 2007, 2009, 2011, 2013,
-  2015, 2017, 2019, 2021, 2023, 2024, 2025, 2027,
-  2029, 2031, 2033, 2034, 2035, 2036, 2037, 2039,
-  2042, 2044, 2046, 2048, 2050, 2052, 2054, 2056,
-  2058, 2060, 2062, 2064, 2066, 2068, 2070, 2072,
-  2074, 2076, 2078, 2080, 2082, 2084, 2086, 2088,
-  2090, 2092, 2094, 2096, 2098, 2100, 2102, 2104,
-  2106, 2108, 2110, 2112, 2114, 2116, 2118, 2120,
-  2122, 2124, 2126, 2128, 2130, 2132, 2134, 2136,
-  2138, 2140, 2142, 2144, 2146, 2148, 2150, 2152,
-  2154, 2156, 2158, 2160, 2162, 2164, 2166, 2168,
-  2170, 2172, 2174, 2176, 2178, 2180, 2182, 2184,
-  2186, 2188, 2190, 2192, 2194, 2196, 2198, 2200,
-  2202, 2204, 2206, 2208, 2210, 2212, 2214, 2216,
-  2218, 2220, 2222, 2224, 2226, 2228, 2230, 2232,
-  2234, 2236, 2238, 2240, 2242, 2244, 2246, 2248,
-  2250, 2252, 2254, 2256, 2258, 2260, 2262, 2264,
-  2266, 2268, 2270, 2272, 2274, 2276, 2278, 2280,
-  2282, 2284, 2286, 2288, 2290, 2292, 2294, 2296,
-  2298, 2300, 2302, 2304, 2306, 2308, 2310, 2312,
-  2314, 2316, 2318, 2320, 2322, 2324, 2326, 2328,
-  2330, 2332, 2334, 2336, 2338, 2340, 2342, 2344,
-  2346, 2348, 2350, 2352, 2354, 2356, 2358, 2360,
-  2362, 2364, 2366, 2368, 2370, 2372, 2374, 2376,
-  2378, 2380, 2382, 2384, 2386, 2388, 2390, 2392,
-  2394, 2396, 2398, 2400, 2402, 2404, 2406, 2408,
-  2410, 2412, 2414, 2416, 2418, 2420, 2422, 2424,
-  2429, 2431, 2436, 2438, 2440, 2445, 2447, 2449,
-  2451, 2456, 2458, 2460, 2462, 2466, 2472, 2474,
-  2479, 2481, 2483, 2485, 2487, 2489, 2491, 2493,
-  2495, 2497, 2498, 2499, 2501, 2503, 2504, 2505,
-  2506, 2507, 2509, 2511, 2512, 2513, 2514, 2516,
-  2518, 2520, 2522, 2524, 2526, 2528, 2530, 2532,
-  2534, 2536, 2538, 2540, 2544, 2545, 2546, 2548,
-  2552, 2556, 2558, 2562, 2566, 2567, 2568, 2570,
-  2572, 2574, 2576, 2581, 2585, 2589, 2591, 2593,
-  2595, 2597, 2598, 2600, 2602, 2604, 2606, 2608,
-  2610, 2612, 2614, 2616, 2618, 2620, 2622, 2624,
-  2626, 2628, 2630, 2632, 2634, 2636, 2638, 2640,
-  2642, 2643, 2644, 2646, 2648, 2649, 2650, 2653,
-  2656, 2659, 2662, 2664, 2666, 2668, 2670, 2672,
-  2674, 2675, 2676, 2677, 2679, 2683, 2685, 2687,
-  2693, 2697, 2698, 2699, 2700, 2701, 2702, 2703,
-  2704, 2708, 2710, 2712, 2716, 2718, 2720, 2722,
-  2724, 2726, 2728, 2730, 2732, 2734, 2736, 2738,
-  2740, 2742, 2744, 2745, 2748, 2751, 2756, 2761,
-  2764, 2767, 2770, 2773, 2778, 2783, 2786, 2789,
-  2791, 2793, 2795, 2797, 2799, 2801, 2803, 2804,
-  2806, 2808, 2810, 2812, 2814, 2815, 2816, 2817,
-  2821, 2825, 2827, 2831, 2835, 2839, 2843, 2847,
-  2849, 2853, 2855, 2857, 2859, 2861, 2863, 2865,
-  2867, 2869, 2870, 2872, 2874, 2876, 2878, 2880,
-  2882, 2884, 2886, 2887, 2888, 2889, 2891, 2893,
-  2895, 2897, 2898, 2899, 2901, 2903, 2905, 2907,
-  2909, 2911, 2912, 2914, 2916, 2918, 2920, 2921,
-  2922, 2924, 2926, 2928, 2930, 2932, 2934, 2936,
-  2938, 2939, 2940, 2942, 2943, 2946, 2949, 2951,
-  2954, 2955, 2956, 2958, 2959, 2961, 2963, 2965,
-  2967, 2969, 2970, 2971, 2972, 2973, 2974, 2977,
-  2982, 2987, 2992, 2997, 3000, 3005, 3010, 3012,
-  3014, 3016, 3018, 3019, 3020, 3022, 3024, 3026,
-  3028, 3030, 3032, 3034, 3035, 3036, 3037, 3038,
-  3039, 3040, 3045, 3050, 3051, 3052, 3053, 3054,
-  3055, 3056, 3057, 3058, 3059, 3060, 3061, 3062,
-  3063, 3064, 3065, 3066, 3067, 3068, 3069, 3070,
-  3071, 3072, 3073, 3074, 3075, 3076, 3077, 3078,
-  3079, 3080, 3081, 3082, 3083, 3084, 3085, 3086,
-  3087, 3088, 3089, 3090, 3091, 3092, 3093, 3094,
-  3095, 3096, 3097, 3098, 3099, 3100, 3101, 3102,
-  3103, 3104, 3105, 3106, 3107, 3108, 3109, 3110,
-  3111, 3112, 3113, 3114, 3115, 3116, 3117, 3118,
-  3119, 3120, 3121, 3122, 3123, 3124, 3125, 3126,
-  3127, 3128, 3129, 3130, 3131, 3132, 3133, 3134,
-  3135, 3136, 3137, 3138, 3139, 3140, 3141, 3142,
-  3143, 3144, 3145, 3146, 3147, 3148, 3149, 3150,
-  3151, 3152, 3153, 3154, 3155, 3156, 3157, 3158,
-  3159, 3160, 3161, 3162, 3163, 3164, 3165, 3166,
-  3167, 3168, 3169, 3170, 3171, 3172, 3173, 3174,
-  3175, 3176, 3177, 3178, 3179, 3180, 3181, 3182,
-  3183, 3184, 3185, 3186, 3187, 3188, 3189, 3190,
-  3191, 3192, 3193, 3194, 3195, 3196, 3197, 3198,
-  3199, 3200, 3201, 3202, 3203, 3204, 3205, 3206,
-  3207, 3208, 3209, 3210, 3211, 3212, 3213, 3214,
-  3215, 3216, 3217, 3218, 3219, 3220, 3221, 3222,
-  3223, 3224, 3225, 3226, 3227, 3228, 3229, 3230,
-  3231, 3232, 3233, 3234, 3235, 3236, 3237, 3238,
-  3239, 3240, 3241, 3242, 3243, 3244, 3245, 3246,
-  3247, 3248, 3249, 3250, 3251, 3253, 3255, 3256,
-  3257, 3258, 3259, 3260, 3261, 3262, 3263, 3264,
+   902,  903,  904,  905,  906,  907,  908,  909,
+   910,  911,  912,  913,  914,  915,  916,  917,
+   918,  919,  920,  921,  922,  923,  924,  925,
+   926,  927,  928,  929,  930,  931,  932,  933,
+   934,  935,  936,  937,  938,  939,  940,  941,
+   942,  943,  944,  945,  946,  947,  948,  949,
+   950,  951,  952,  953,  954,  955,  956,  957,
+   958,  959,  960,  961,  962,  963,  964,  965,
+   966,  967,  968,  969,  970,  971,  972,  973,
+   974,  975,  976,  977,  978,  979,  981,  983,
+   984,  985,  986,  987,  988,  989,  990,  991,
+   992,  993,  995,  997,  999, 1001, 1003, 1005,
+  1007, 1009, 1011, 1013, 1015, 1017, 1019, 1021,
+  1023, 1025, 1027, 1029, 1031, 1033, 1035, 1037,
+  1039, 1041, 1043, 1045, 1047, 1049, 1051, 1053,
+  1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061,
+  1062, 1063, 1064, 1065, 1068, 1071, 1074, 1077,
+  1080, 1083, 1084, 1085, 1086, 1087, 1088, 1089,
+  1095, 1105, 1109, 1113, 1117, 1121, 1125, 1128,
+  1132, 1136, 1140, 1144, 1148, 1151, 1154, 1157,
+  1160, 1163, 1166, 1169, 1172, 1176, 1180, 1184,
+  1187, 1195, 1201, 1209, 1217, 1223, 1231, 1237,
+  1245, 1249, 1253, 1256, 1260, 1264, 1268, 1272,
+  1276, 1280, 1284, 1287, 1291, 1295, 1298, 1301,
+  1303, 1305, 1308, 1311, 1313, 1315, 1317, 1319,
+  1321, 1323, 1325, 1327, 1329, 1331, 1333, 1335,
+  1337, 1339, 1341, 1343, 1345, 1347, 1349, 1350,
+  1351, 1357, 1359, 1360, 1362, 1364, 1366, 1368,
+  1369, 1371, 1373, 1375, 1377, 1379, 1381, 1384,
+  1386, 1389, 1391, 1393, 1394, 1396, 1399, 1401,
+  1403, 1405, 1408, 1412, 1416, 1425, 1431, 1435,
+  1439, 1443, 1447, 1450, 1454, 1455, 1456, 1457,
+  1458, 1462, 1463, 1466, 1469, 1472, 1475, 1476,
+  1478, 1480, 1482, 1484, 1486, 1488, 1490, 1492,
+  1494, 1497, 1500, 1503, 1506, 1509, 1511, 1513,
+  1515, 1517, 1519, 1521, 1523, 1525, 1527, 1529,
+  1531, 1533, 1535, 1537, 1539, 1541, 1543, 1545,
+  1548, 1551, 1557, 1560, 1563, 1566, 1569, 1572,
+  1575, 1578, 1583, 1588, 1590, 1593, 1598, 1601,
+  1604, 1607, 1610, 1613, 1616, 1619, 1622, 1625,
+  1628, 1631, 1634, 1637, 1639, 1642, 1644, 1645,
+  1648, 1650, 1652, 1654, 1657, 1659, 1660, 1662,
+  1665, 1667, 1669, 1671, 1673, 1674, 1675, 1679,
+  1681, 1684, 1687, 1690, 1693, 1696, 1699, 1701,
+  1703, 1705, 1707, 1709, 1711, 1714, 1717, 1719,
+  1721, 1723, 1724, 1725, 1728, 1730, 1731, 1732,
+  1733, 1734, 1735, 1736, 1738, 1740, 1741, 1742,
+  1743, 1744, 1747, 1750, 1753, 1756, 1759, 1762,
+  1765, 1768, 1771, 1775, 1779, 1783, 1786, 1789,
+  1792, 1796, 1800, 1804, 1807, 1809, 1811, 1815,
+  1819, 1821, 1823, 1827, 1829, 1831, 1833, 1836,
+  1840, 1842, 1844, 1850, 1853, 1856, 1858, 1864,
+  1867, 1870, 1873, 1875, 1877, 1880, 1883, 1885,
+  1887, 1890, 1893, 1895, 1897, 1899, 1901, 1903,
+  1906, 1908, 1910, 1912, 1914, 1916, 1919, 1921,
+  1923, 1926, 1928, 1931, 1933, 1935, 1939, 1943,
+  1945, 1947, 1951, 1952, 1953, 1954, 1955, 1956,
+  1957, 1958, 1959, 1961, 1963, 1965, 1967, 1969,
+  1971, 1973, 1975, 1977, 1979, 1981, 1983, 1985,
+  1987, 1989, 1991, 1993, 1995, 1996, 1997, 1999,
+  2001, 2003, 2005, 2006, 2007, 2008, 2009, 2011,
+  2014, 2016, 2018, 2020, 2022, 2024, 2026, 2028,
+  2030, 2032, 2034, 2036, 2038, 2040, 2042, 2044,
+  2046, 2048, 2050, 2052, 2054, 2056, 2058, 2060,
+  2062, 2064, 2066, 2068, 2070, 2072, 2074, 2076,
+  2078, 2080, 2082, 2084, 2086, 2088, 2090, 2092,
+  2094, 2096, 2098, 2100, 2102, 2104, 2106, 2108,
+  2110, 2112, 2114, 2116, 2118, 2120, 2122, 2124,
+  2126, 2128, 2130, 2132, 2134, 2136, 2138, 2140,
+  2142, 2144, 2146, 2148, 2150, 2152, 2154, 2156,
+  2158, 2160, 2162, 2164, 2166, 2168, 2170, 2172,
+  2174, 2176, 2178, 2180, 2182, 2184, 2186, 2188,
+  2190, 2192, 2194, 2196, 2198, 2200, 2202, 2204,
+  2206, 2208, 2210, 2212, 2214, 2216, 2218, 2220,
+  2222, 2224, 2226, 2228, 2230, 2232, 2234, 2236,
+  2238, 2240, 2242, 2244, 2246, 2248, 2250, 2252,
+  2254, 2256, 2258, 2260, 2262, 2264, 2266, 2268,
+  2270, 2272, 2274, 2276, 2278, 2280, 2282, 2284,
+  2286, 2288, 2290, 2292, 2294, 2296, 2298, 2300,
+  2302, 2304, 2306, 2308, 2310, 2312, 2314, 2316,
+  2318, 2320, 2322, 2324, 2326, 2328, 2330, 2332,
+  2334, 2336, 2338, 2340, 2342, 2344, 2346, 2348,
+  2350, 2352, 2354, 2356, 2358, 2360, 2362, 2364,
+  2366, 2368, 2370, 2372, 2374, 2376, 2378, 2380,
+  2382, 2384, 2386, 2388, 2390, 2392, 2394, 2396,
+  2401, 2403, 2408, 2410, 2412, 2417, 2419, 2421,
+  2423, 2428, 2430, 2432, 2434, 2438, 2444, 2446,
+  2451, 2453, 2455, 2457, 2459, 2461, 2463, 2465,
+  2467, 2469, 2470, 2471, 2473, 2475, 2476, 2477,
+  2478, 2479, 2481, 2483, 2484, 2485, 2486, 2488,
+  2490, 2492, 2494, 2496, 2498, 2500, 2502, 2504,
+  2506, 2508, 2510, 2512, 2516, 2517, 2518, 2520,
+  2524, 2528, 2530, 2534, 2538, 2539, 2540, 2542,
+  2544, 2546, 2548, 2553, 2557, 2561, 2563, 2565,
+  2567, 2569, 2570, 2572, 2574, 2576, 2578, 2580,
+  2582, 2584, 2586, 2588, 2590, 2592, 2594, 2596,
+  2598, 2600, 2602, 2604, 2606, 2608, 2610, 2612,
+  2614, 2615, 2616, 2618, 2620, 2621, 2622, 2625,
+  2628, 2631, 2634, 2636, 2638, 2640, 2642, 2644,
+  2646, 2647, 2648, 2649, 2651, 2655, 2657, 2659,
+  2665, 2669, 2670, 2671, 2672, 2673, 2674, 2675,
+  2676, 2680, 2682, 2684, 2688, 2690, 2692, 2694,
+  2696, 2698, 2700, 2702, 2704, 2706, 2708, 2710,
+  2712, 2714, 2716, 2717, 2720, 2723, 2728, 2733,
+  2736, 2739, 2742, 2745, 2750, 2755, 2758, 2761,
+  2763, 2765, 2767, 2769, 2771, 2773, 2775, 2776,
+  2778, 2780, 2782, 2784, 2786, 2787, 2788, 2789,
+  2793, 2797, 2799, 2803, 2807, 2811, 2815, 2819,
+  2821, 2825, 2827, 2829, 2831, 2833, 2835, 2837,
+  2839, 2841, 2842, 2844, 2846, 2848, 2850, 2852,
+  2854, 2856, 2858, 2859, 2860, 2861, 2863, 2865,
+  2867, 2869, 2870, 2871, 2873, 2875, 2877, 2879,
+  2881, 2883, 2884, 2886, 2888, 2890, 2892, 2893,
+  2894, 2896, 2898, 2900, 2902, 2904, 2906, 2908,
+  2910, 2911, 2912, 2914, 2915, 2918, 2921, 2923,
+  2926, 2927, 2928, 2930, 2931, 2933, 2935, 2937,
+  2939, 2941, 2942, 2943, 2944, 2945, 2946, 2949,
+  2954, 2959, 2964, 2969, 2972, 2977, 2982, 2984,
+  2986, 2988, 2990, 2991, 2992, 2994, 2996, 2998,
+  3000, 3002, 3004, 3006, 3007, 3008, 3009, 3010,
+  3011, 3012, 3017, 3022, 3023, 3024, 3025, 3026,
+  3027, 3028, 3029, 3030, 3031, 3032, 3033, 3034,
+  3035, 3036, 3037, 3038, 3039, 3040, 3041, 3042,
+  3043, 3044, 3045, 3046, 3047, 3048, 3049, 3050,
+  3051, 3052, 3053, 3054, 3055, 3056, 3057, 3058,
+  3059, 3060, 3061, 3062, 3063, 3064, 3065, 3066,
+  3067, 3068, 3069, 3070, 3071, 3072, 3073, 3074,
+  3075, 3076, 3077, 3078, 3079, 3080, 3081, 3082,
+  3083, 3084, 3085, 3086, 3087, 3088, 3089, 3090,
+  3091, 3092, 3093, 3094, 3095, 3096, 3097, 3098,
+  3099, 3100, 3101, 3102, 3103, 3104, 3105, 3106,
+  3107, 3108, 3109, 3110, 3111, 3112, 3113, 3114,
+  3115, 3116, 3117, 3118, 3119, 3120, 3121, 3122,
+  3123, 3124, 3125, 3126, 3127, 3128, 3129, 3130,
+  3131, 3132, 3133, 3134, 3135, 3136, 3137, 3138,
+  3139, 3140, 3141, 3142, 3143, 3144, 3145, 3146,
+  3147, 3148, 3149, 3150, 3151, 3152, 3153, 3154,
+  3155, 3156, 3157, 3158, 3159, 3160, 3161, 3162,
+  3163, 3164, 3165, 3166, 3167, 3168, 3169, 3170,
+  3171, 3172, 3173, 3174, 3175, 3176, 3177, 3178,
+  3179, 3180, 3181, 3182, 3183, 3184, 3185, 3186,
+  3187, 3188, 3189, 3190, 3191, 3192, 3193, 3194,
+  3195, 3196, 3197, 3198, 3199, 3200, 3201, 3202,
+  3203, 3204, 3205, 3206, 3207, 3208, 3209, 3210,
+  3211, 3212, 3213, 3214, 3215, 3216, 3217, 3218,
+  3219, 3220, 3221, 3222, 3223, 3225, 3227, 3228,
+  3229, 3230, 3231, 3232, 3233, 3234, 3235, 3236,
+  3237, 3238, 3239, 3240, 3241, 3242, 3243, 3244,
+  3245, 3246, 3247, 3248, 3249, 3250, 3251, 3252,
+  3253, 3254, 3255, 3257, 3259, 3261, 3263, 3264,
   3265, 3266, 3267, 3268, 3269, 3270, 3271, 3272,
-  3273, 3274, 3275, 3276, 3277, 3278, 3279, 3280,
-  3281, 3282, 3283, 3285, 3287, 3289, 3291, 3292,
-  3293, 3294, 3295, 3296, 3297, 3298, 3299, 3300,
-  3301, 3302, 3303, 3304, 3306, 3307, 3308, 3309,
-  3311, 3312, 3313, 3314, 3315, 3316, 3317, 3318,
-  3319, 3320, 3321, 3322, 3323, 3324, 3325, 3326,
-  3327, 3328, 3329, 3330, 3331, 3332, 3333, 3334,
-  3335, 3336, 3337, 3338, 3339, 3340, 3341, 3342,
-  3343, 3344, 3345, 3346, 3347, 3348, 3349, 3350,
-  3351, 3352, 3354, 3356, 3357, 3358, 3360, 3361,
-  3363, 3365, 3366, 3367, 3369, 3371, 3373, 3375,
-  3376, 3377, 3378, 3379, 3380, 3381, 3382, 3383,
-  3384, 3385, 3386, 3387, 3388, 3389, 3390, 3391,
-  3394, 3397, 3398, 3399, 3400, 3401, 3402, 3403,
-  3405, 3407, 3409, 3410, 3411, 3412, 3413, 3414,
-  3415, 3417, 3418, 3419, 3420, 3421, 3422, 3423,
+  3273, 3274, 3275, 3276, 3278, 3279, 3280, 3281,
+  3283, 3284, 3285, 3286, 3287, 3288, 3289, 3290,
+  3291, 3292, 3293, 3294, 3295, 3296, 3297, 3298,
+  3299, 3300, 3301, 3302, 3303, 3304, 3305, 3306,
+  3307, 3308, 3309, 3310, 3311, 3312, 3313, 3314,
+  3315, 3316, 3317, 3318, 3319, 3320, 3321, 3322,
+  3323, 3324, 3326, 3328, 3329, 3330, 3332, 3333,
+  3335, 3337, 3338, 3339, 3341, 3343, 3345, 3347,
+  3348, 3349, 3350, 3351, 3352, 3353, 3354, 3355,
+  3356, 3357, 3358, 3359, 3360, 3361, 3362, 3363,
+  3366, 3369, 3370, 3371, 3372, 3373, 3374, 3375,
+  3377, 3379, 3381, 3382, 3383, 3384, 3385, 3386,
+  3387, 3389, 3390, 3391, 3392, 3393, 3394, 3395,
+  3396, 3397, 3398, 3399, 3400, 3401, 3402, 3403,
+  3404, 3405, 3406, 3407, 3408, 3409, 3412, 3415,
+  3416, 3417, 3418, 3419, 3420, 3421, 3422, 3423,
   3424, 3425, 3426, 3427, 3428, 3429, 3430, 3431,
-  3432, 3433, 3434, 3435, 3436, 3437, 3440, 3443,
-  3444, 3445, 3446, 3447, 3448, 3449, 3450, 3451,
-  3452, 3453, 3454, 3455, 3456, 3457, 3458, 3459,
-  3460, 3461, 3462, 3463, 3464, 3465, 3466, 3467,
-  3468, 3469, 3470, 3471, 3472, 3473, 3474, 3475,
-  3476, 3477, 3478, 3479, 3480, 3481, 3482, 3483,
-  3484, 3485, 3486, 3487, 3488, 3489, 3490, 3491,
-  3492, 3493, 3494, 3495, 3496, 3497, 3500, 3502,
-  3505, 3508, 3510, 3513, 3516, 3519, 3522, 3523,
-  3526, 3527, 3528, 3529, 3530, 3531, 3535, 3537,
-  3540, 3541, 3542, 3543, 3544, 3545, 3546, 3547,
-  3548, 3549, 3550, 3551, 3552, 3553, 3554, 3555,
-  3556, 3557, 3558, 3559, 3560, 3561, 3562, 3563,
-  3564, 3565, 3566, 3567, 3568, 3569, 3570, 3571,
-  3572, 3573, 3574, 3575, 3576, 3577, 3578, 3579,
-  3580, 3581, 3582, 3583, 3584, 3585, 3586, 3587,
-  3588, 3589, 3590, 3591, 3592, 3593, 3594, 3595,
-  3597, 3598, 3599, 3600, 3601, 3602, 3603, 3604,
-  3605, 3606, 3607, 3608, 3609, 3610, 3611, 3612,
-  3613, 3614, 3615, 3616, 3617, 3618, 3619, 3620,
-  3621, 3622, 3623, 3624, 3625, 3626, 3627, 3628,
-  3629, 3630, 3631, 3632, 3633, 3634, 3635, 3636,
-  3639, 3642, 3645, 3648, 3651, 3654, 3657, 3660,
-  3663, 3666, 3669, 3672, 3675, 3678, 3681, 3682,
-  3683, 3684, 3685, 3687, 3688, 3689, 3690, 3691,
-  3692, 3693, 3694, 3695, 3696, 3697, 3698, 3699,
-  3700, 3701, 3702, 3703, 3704, 3705, 3706, 3707,
-  3708, 3709, 3710, 3711, 3712, 3713, 3714, 3715,
-  3716, 3717, 3718, 3719, 3720, 3721, 3722, 3723,
-  3724, 3725, 3726, 3727, 3728, 3729, 3730, 3731,
+  3432, 3433, 3434, 3435, 3436, 3437, 3438, 3439,
+  3440, 3441, 3442, 3443, 3444, 3445, 3446, 3447,
+  3448, 3449, 3450, 3451, 3452, 3453, 3454, 3455,
+  3456, 3457, 3458, 3459, 3460, 3461, 3462, 3463,
+  3464, 3465, 3466, 3467, 3468, 3469, 3472, 3474,
+  3477, 3480, 3482, 3485, 3488, 3491, 3494, 3495,
+  3498, 3499, 3500, 3501, 3502, 3503, 3507, 3509,
+  3512, 3513, 3514, 3515, 3516, 3517, 3518, 3519,
+  3520, 3521, 3522, 3523, 3524, 3525, 3526, 3527,
+  3528, 3529, 3530, 3531, 3532, 3533, 3534, 3535,
+  3536, 3537, 3538, 3539, 3540, 3541, 3542, 3543,
+  3544, 3545, 3546, 3547, 3548, 3549, 3550, 3551,
+  3552, 3553, 3554, 3555, 3556, 3557, 3558, 3559,
+  3560, 3561, 3562, 3563, 3564, 3565, 3566, 3567,
+  3569, 3570, 3571, 3572, 3573, 3574, 3575, 3576,
+  3577, 3578, 3579, 3580, 3581, 3582, 3583, 3584,
+  3585, 3586, 3587, 3588, 3589, 3590, 3591, 3592,
+  3593, 3594, 3595, 3596, 3597, 3598, 3599, 3600,
+  3601, 3602, 3603, 3604, 3605, 3606, 3607, 3608,
+  3611, 3614, 3617, 3620, 3623, 3626, 3629, 3632,
+  3635, 3638, 3641, 3644, 3647, 3650, 3653, 3654,
+  3655, 3656, 3657, 3659, 3660, 3661, 3662, 3663,
+  3664, 3665, 3666, 3667, 3668, 3669, 3670, 3671,
+  3672, 3673, 3674, 3675, 3676, 3677, 3678, 3679,
+  3680, 3681, 3682, 3683, 3684, 3685, 3686, 3687,
+  3688, 3689, 3690, 3691, 3692, 3693, 3694, 3695,
+  3696, 3697, 3698, 3699, 3700, 3701, 3702, 3703,
+  3704, 3705, 3706, 3707, 3708, 3709, 3710, 3711,
+  3712, 3713, 3714, 3715, 3716, 3717, 3718, 3719,
+  3720, 3723, 3726, 3727, 3728, 3729, 3730, 3731,
   3732, 3733, 3734, 3735, 3736, 3737, 3738, 3739,
   3740, 3741, 3742, 3743, 3744, 3745, 3746, 3747,
-  3748, 3751, 3754, 3755, 3756, 3757, 3758, 3759,
-  3760, 3761, 3762, 3763, 3764, 3765, 3766, 3767,
-  3768, 3769, 3770, 3771, 3772, 3773, 3774, 3775,
-  3776, 3777, 3778, 3779, 3780, 3781, 3782, 3783,
-  3784, 3785, 3786, 3787, 3788, 3789, 3790, 3791,
-  3792, 3793, 3794, 3795, 3796, 3797, 3798, 3799,
-  3800, 3801, 3802, 3803, 3804, 3805, 3806, 3807,
-  3808, 3809, 3810, 3811, 3812, 3813, 3814, 3815,
-  3816, 3819, 3822, 3825, 3826, 3827, 3828, 3829,
-  3830, 3831, 3832, 3833, 3834, 3835, 3836, 3837,
-  3838, 3839, 3840, 3841, 3844, 3847, 3848, 3849,
-  3852, 3853, 3854, 3855, 3856, 3859, 3862, 3865,
-  3866, 3867, 3868, 3869, 3870, 3871, 3872, 3873,
-  3874, 3875, 3877, 3879, 3880, 3881, 3882, 3883,
-  3884, 3885, 3886, 3887, 3888, 3889, 3890, 3891,
-  3892, 3893, 3894, 3895, 3896, 3897, 3898, 3899,
-  3900, 3901, 3902, 3903, 3904, 3906, 3908, 3909,
-  3910, 3911, 3912, 3913, 3914, 3915, 3916, 3917,
+  3748, 3749, 3750, 3751, 3752, 3753, 3754, 3755,
+  3756, 3757, 3758, 3759, 3760, 3761, 3762, 3763,
+  3764, 3765, 3766, 3767, 3768, 3769, 3770, 3771,
+  3772, 3773, 3774, 3775, 3776, 3777, 3778, 3779,
+  3780, 3781, 3782, 3783, 3784, 3785, 3786, 3787,
+  3788, 3791, 3794, 3797, 3798, 3799, 3800, 3801,
+  3802, 3803, 3804, 3805, 3806, 3807, 3808, 3809,
+  3810, 3811, 3812, 3813, 3816, 3819, 3820, 3821,
+  3824, 3825, 3826, 3827, 3828, 3831, 3834, 3837,
+  3838, 3839, 3840, 3841, 3842, 3843, 3844, 3845,
+  3846, 3847, 3849, 3851, 3852, 3853, 3854, 3855,
+  3856, 3857, 3858, 3859, 3860, 3861, 3862, 3863,
+  3864, 3865, 3866, 3867, 3868, 3869, 3870, 3871,
+  3872, 3873, 3874, 3875, 3876, 3878, 3880, 3881,
+  3882, 3883, 3884, 3885, 3886, 3887, 3888, 3889,
+  3890, 3891, 3892, 3893, 3894, 3895, 3896, 3897,
+  3898, 3899, 3900, 3901, 3902, 3903, 3904, 3905,
+  3907, 3909, 3911, 3913, 3914, 3915, 3916, 3917,
   3918, 3919, 3920, 3921, 3922, 3923, 3924, 3925,
-  3926, 3927, 3928, 3929, 3930, 3931, 3932, 3933,
-  3935, 3937, 3939, 3941, 3942, 3943, 3944, 3945,
-  3946, 3947, 3948, 3949, 3950, 3951, 3952, 3953,
-  3954, 3955, 3956, 3958, 3959, 3961, 3964, 3966,
-  3967, 3968, 3970, 3972, 3973, 3974, 3975, 3976,
-  3977, 3978, 3980, 3982, 3984, 3986, 3987, 3988,
-  3989, 3990, 3991, 3992, 3993, 3994, 3995, 3997,
-  3999, 4000, 4002, 4004, 4005, 4010, 4012, 4014,
-  4015, 4016, 4017, 4018, 4019, 4020, 4021, 4023,
-  4025, 4026, 4027, 4028, 4030, 4033, 4036, 4039,
-  4041, 4042, 4043, 4044, 4045, 4046, 4047, 4048,
-  4049, 4050, 4051, 4052, 4053, 4054, 4055, 4056,
-  4057, 4058, 4059, 4060, 4061, 4062, 4063, 4064,
-  4065, 4066, 4067, 4068, 4069, 4070, 4071, 4072,
-  4073, 4074, 4075, 4076, 4077, 4078, 4079, 4080,
-  4081, 4082, 4083, 4084, 4085, 4086, 4087, 4088,
-  4089, 4090, 4091, 4092, 4093, 4094, 4095, 4096,
-  4097, 4098, 4099, 4100, 4101, 4102, 4103, 4104,
-  4105, 4106, 4107, 4108, 4109, 4110, 4111, 4112,
-  4113, 4114, 4115, 4116, 4117, 4118, 4119, 4120,
-  4121, 4122, 4123, 4124, 4125, 4126, 4127, 4128,
-  4129, 4130, 4131, 4132, 4133, 4134, 4135, 4136,
-  4137, 4138, 4139, 4140, 4141, 4142, 4143, 4144,
-  4145, 4146, 4147, 4148, 4149, 4150, 4151, 4152,
-  4153, 4154, 4155, 4156, 4157, 4158, 4159, 4160,
-  4161, 4162, 4163, 4164, 4165, 4166, 4167, 4168,
-  4169, 4170, 4171, 4172, 4173, 4174, 4175, 4176,
-  4177, 4178, 4179, 4180, 4181, 4182, 4183, 4186,
-  4187, 4188, 4191, 4192, 4193, 4195, 4196, 4197,
-  4198, 4200, 4201, 4202, 4203, 4205, 4206, 4207,
-  4208, 4211, 4212, 4213, 4214, 4215, 4218, 4221,
-  4224, 4227, 4230, 4231, 4232, 4233, 4234, 4236,
-  4238, 4239, 4240, 4241, 4244, 4247, 4250, 4253,
-  4256, 4257, 4258, 4259, 4261, 4262, 4263, 4264,
-  4266, 4267, 4268, 4269, 4270, 4271, 4272, 4273,
-  4274, 4275, 4276, 4277, 4278, 4279, 4280, 4281,
-  4282, 4283, 4284, 4285, 4286, 4287, 4288, 4289,
-  4290, 4291, 4292, 4293, 4294, 4295, 4296, 4297,
-  4298, 4299, 4300, 4301, 4302, 4303, 4304, 4305,
-  4307, 4309, 4311, 4313, 4315, 4316, 4317, 4320,
-  4323, 4324, 4325, 4326, 4327
+  3926, 3927, 3928, 3930, 3931, 3933, 3936, 3938,
+  3939, 3940, 3942, 3944, 3945, 3946, 3947, 3948,
+  3949, 3950, 3952, 3954, 3956, 3958, 3959, 3960,
+  3961, 3962, 3963, 3964, 3965, 3966, 3967, 3969,
+  3971, 3972, 3974, 3976, 3977, 3982, 3984, 3986,
+  3987, 3988, 3989, 3990, 3991, 3992, 3993, 3995,
+  3997, 3998, 3999, 4000, 4002, 4005, 4008, 4011,
+  4013, 4014, 4015, 4016, 4017, 4018, 4019, 4020,
+  4021, 4022, 4023, 4024, 4025, 4026, 4027, 4028,
+  4029, 4030, 4031, 4032, 4033, 4034, 4035, 4036,
+  4037, 4038, 4039, 4040, 4041, 4042, 4043, 4044,
+  4045, 4046, 4047, 4048, 4049, 4050, 4051, 4052,
+  4053, 4054, 4055, 4056, 4057, 4058, 4059, 4060,
+  4061, 4062, 4063, 4064, 4065, 4066, 4067, 4068,
+  4069, 4070, 4071, 4072, 4073, 4074, 4075, 4076,
+  4077, 4078, 4079, 4080, 4081, 4082, 4083, 4084,
+  4085, 4086, 4087, 4088, 4089, 4090, 4091, 4092,
+  4093, 4094, 4095, 4096, 4097, 4098, 4099, 4100,
+  4101, 4102, 4103, 4104, 4105, 4106, 4107, 4108,
+  4109, 4110, 4111, 4112, 4113, 4114, 4115, 4116,
+  4117, 4118, 4119, 4120, 4121, 4122, 4123, 4124,
+  4125, 4126, 4127, 4128, 4129, 4130, 4131, 4132,
+  4133, 4134, 4135, 4136, 4137, 4138, 4139, 4140,
+  4141, 4142, 4143, 4144, 4145, 4146, 4147, 4148,
+  4149, 4150, 4151, 4152, 4153, 4154, 4155, 4158,
+  4159, 4160, 4163, 4164, 4165, 4167, 4168, 4169,
+  4170, 4172, 4173, 4174, 4175, 4177, 4178, 4179,
+  4180, 4183, 4184, 4185, 4186, 4187, 4190, 4193,
+  4196, 4199, 4202, 4203, 4204, 4205, 4206, 4208,
+  4210, 4211, 4212, 4213, 4216, 4219, 4222, 4225,
+  4228, 4229, 4230, 4231, 4233, 4234, 4235, 4236,
+  4238, 4239, 4240, 4241, 4242, 4243, 4244, 4245,
+  4246, 4247, 4248, 4249, 4250, 4251, 4252, 4253,
+  4254, 4255, 4256, 4257, 4258, 4259, 4260, 4261,
+  4262, 4263, 4264, 4265, 4266, 4267, 4268, 4269,
+  4270, 4271, 4272, 4273, 4274, 4275, 4276, 4277,
+  4279, 4281, 4283, 4285, 4287, 4288, 4289, 4292,
+  4295, 4296, 4297, 4298, 4299
 };
 
 /* i386 mnemonics table.  */