/* this file generated on Thu Oct 24 11:42:35 GMT 1996  */

static char pseudo_code [ ] = { 
	   0,	  37,	  57,	  42,	  59,	  39,	   0,	  65,	  38,
	  63,	  61,	  59,	  56,	  58,	   2,	   0,	  12,	   0,
	  12,	   0,	   0,	   0,	  12,	   0,	  65,	   0,	   5,
	   0,	   0,	   0,	  37,	  57,	  42,	  59,	   0,	  38,
	  63,	  61,	  59,	  56,	  58,	   7,	   0,	  11,	  57,
	  42,	  59,	   0,	  12,	   0,	   5,	   0,	  40,	  65,
	   0,	  12,	   5,	   0,	   0,	   0,	  38,	  63,	  61,
	  59,	  56,	  58,	   0,	  12,	   0,	   5,	   0,	  65,
	   0,	  12,	   5,	   0,	   0,	   0,	  38,	  63,	  61,
	  59,	  40,	   0,	  45,	  63,	  61,	  59,	  51,	   3,
	  58,	   0,	  56,	   3,	  58,	   0,	  12,	   5,	  45,
	   0,	   5,	  45,	   0,	   0,	   0,	  37,	  57,	  42,
	  60,	   0,	   5,	   0,	  38,	  63,	  61,	  59,	  40,
	   0,	  45,	  63,	  61,	  59,	  51,	   7,	  58,	   0,
	  56,	   7,	  58,	   0,	  12,	   5,	  45,	   0,	   5,
	  45,	   0,	   0,	   0,	  37,	  57,	  42,	  60,	   0,
	   5,	   0,	  12,	  45,	   0,	  45,	   0,	  38,	   0,
	  45,	   0,	   0,	   0,	  11,	  57,	  42,	  60,	   0,
	   0,	   0,	  71,	  45,	  65,	   0,	  38,	   5,	  45,
	   0,	   5,	  45,	   0,	  70,	  45,	  66,	  39,	   0,
	  15,	  42,	   0,	   0,	   0,	  14,	  42,	  60,	   0,
	  39,	  70,	   0,	  11,	  57,	  42,	  49,	  59,	   0,
	  37,	  57,	  42,	  49,	  59,	  39,	   0,	  71,	  65,
	  48,	   0,	  38,	   5,	  48,	   0,	  48,	  70,	  66,
	  39,	   0,	   5,	  48,	   0,	  13,	  67,	  42,	  49,
	  59,	   0,	   0,	  67,	  42,	  49,	  59,	   0,	   0,
	  67,	  42,	  49,	  59,	   0,	  13,	  67,	  42,	  49,
	  59,	   0,	  48,	  70,	  39,	   0,	  16,	  41,	  44,
	   0,	  19,	  44,	   0,	  26,	  41,	  53,	   0,	  28,
	  53,	   0,	  25,	  50,	  51,	  43,	   9,	   0,	  25,
	  50,	  43,	   0,	  24,	  50,	  43,	   0,	  62,	  32,
	  41,	  50,	   9,	   4,	   0,	  62,	  51,	  36,	  50,
	   9,	   4,	   0,	  62,	  36,	  50,	   4,	   0,	  62,
	  34,	  50,	   4,	   0,	  51,	  50,	   1,	   0,	  34,
	  50,	   1,	   0,	  51,	  50,	  29,	   0,	  33,	  50,
	  29,	   0,	  64,	  50,	  51,	  20,	   1,	   0,	  64,
	  50,	  20,	   1,	   0,	  64,	  50,	  22,	   1,	   0,
	  31,	  41,	   0,	  56,	   0,	  31,	  41,	  60,	   0,
	  16,	  41,	  44,	   0,	  19,	  44,	   0,	  23,	  43,
	  41,	   0,	  25,	  43,	   0,	  31,	  41,	  35,	   0,
	  35,	   0,	  31,	  41,	  35,	   0,	  35,	   0,	  30,
	  51,	  50,	  55,	   9,	   0,	  30,	  50,	  55,	   0,
	  27,	  50,	  55,	   0,	  27,	  50,	  10,	  54,	   0,
	  30,	  51,	  50,	  10,	  54,	   9,	   0,	  30,	  50,
	  10,	  54,	   0,	  51,	  50,	   1,	   0,	  27,	  50,
	   1,	   0,	  51,	  50,	  29,	   0,	  27,	  50,	  29,
	   0,	  64,	  50,	  51,	  20,	   1,	   0,	  64,	  50,
	  20,	   1,	   0,	  64,	  50,	  27,	  20,	   1,	   0,
	  26,	  41,	   0,	  56,	   0,	  26,	  41,	  60,	   0,
	  54,	   0,	  54,	   0,	  16,	  41,	  44,	   0,	  19,
	  44,	   0,	  26,	  41,	  52,	   0,	  28,	  52,	   0,
	  50,	  51,	   9,	   0,	  33,	  50,	   0,	  62,	  32,
	  41,	  50,	   9,	  47,	   4,	   0,	  62,	  36,	  50,
	  47,	   4,	   0,	  62,	  34,	  50,	  47,	   4,	   0,
	  51,	  50,	   1,	   0,	  34,	  50,	   1,	   0,	  51,
	  50,	  29,	   0,	  33,	  50,	  29,	   0,	  64,	  50,
	  51,	  20,	   1,	   0,	  64,	  50,	  20,	   1,	   0,
	  64,	  50,	  22,	   1,	   0,	  31,	  41,	   0,	  23,
	  41,	  43,	  60,	   0,	  56,	   0,	  31,	  41,	  43,
	  60,	   0,	  28,	  53,	   0,	  25,	  50,	  64,	  46,
	  20,	  43,	   1,	   0,	  25,	  50,	  43,	   0,	  24,
	  50,	  43,	   0,	  62,	  50,	  64,	  18,	  41,	   1,
	   4,	   0,	  62,	  35,	  50,	   4,	   0,	  62,	  33,
	  50,	   4,	   0,	  50,	  64,	  46,	  20,	   1,	   0,
	  50,	   1,	   0,	  33,	  50,	   1,	   0,	  50,	  64,
	  46,	  29,	   0,	  50,	  29,	   0,	  33,	  50,	  29,
	   0,	  31,	  41,	  60,	   0,	  25,	  43,	   0,	  35,
	   0,	  35,	   0,	  30,	  50,	  64,	  46,	  54,	   1,
	  20,	   0,	  30,	  50,	  54,	   0,	  27,	  50,	  54,
	   0,	  30,	  50,	  64,	  54,	  46,	   1,	  20,	   0,
	  30,	  50,	  54,	   0,	  27,	  50,	  54,	   0,	  50,
	  64,	  46,	  20,	   1,	   0,	  50,	   1,	   0,	  27,
	  50,	   1,	   0,	  50,	  64,	  46,	  29,	   0,	  50,
	  29,	   0,	  27,	  50,	  29,	   0,	  26,	  41,	  60,
	   0,	  28,	  52,	   0,	  50,	   0,	  33,	  50,	   0,
	  62,	  50,	  64,	  18,	  41,	  47,	   1,	   4,	   0,
	  62,	  35,	  47,	  50,	   4,	   0,	  62,	  33,	  47,
	  50,	   4,	   0,	  50,	  64,	  46,	  20,	   1,	   0,
	  50,	   1,	   0,	  33,	  50,	   1,	   0,	  50,	  64,
	  46,	  29,	   0,	  50,	  29,	   0,	  33,	  50,	  29,
	   0,	  23,	  41,	  60,	  0
};

static short int pseudo_code_idx [ ] ={
	   0,	   1,	   7,	  16,	  18,	  20,	  22,	  24,	  26,
	  28,	  30,	  35,	  43,	  48,	  50,	  52,	  55,	  58,
	  60,	  67,	  69,	  71,	  73,	  76,	  78,	  84,	  92,
	  96,	 100,	 103,	 105,	 110,	 112,	 118,	 126,	 130,
	 134,	 137,	 139,	 144,	 146,	 149,	 151,	 153,	 155,
	 157,	 162,	 164,	 168,	 172,	 175,	 180,	 183,	 185,
	 189,	 192,	 198,	 205,	 209,	 213,	 218,	 221,	 227,
	 233,	 239,	 245,	 249,	 253,	 256,	 260,	 263,	 269,
	 273,	 277,	 284,	 291,	 296,	 301,	 305,	 309,	 313,
	 317,	 323,	 328,	 333,	 336,	 338,	 342,	 346,	 349,
	 353,	 356,	 360,	 362,	 366,	 368,	 374,	 378,	 382,
	 387,	 394,	 399,	 403,	 407,	 411,	 415,	 421,	 426,
	 432,	 435,	 437,	 441,	 443,	 445,	 449,	 452,	 456,
	 459,	 463,	 466,	 474,	 480,	 486,	 490,	 494,	 498,
	 502,	 508,	 513,	 518,	 521,	 526,	 528,	 533,	 536,
	 544,	 548,	 552,	 560,	 565,	 570,	 576,	 579,	 583,
	 588,	 591,	 595,	 599,	 602,	 604,	 606,	 614,	 618,
	 622,	 630,	 634,	 638,	 644,	 647,	 651,	 656,	 659,
	 663,	 667,	 670,	 672,	 675,	 684,	 690,	 696,	 702,
	 705,	 709,	 714,	 717,	 721,	  0
};

#define NOP        	   0 
#define ADM1       	   1 
#define ADM2       	   2 
#define ADM3       	   3 
#define ADM4       	   4 
#define ADM5       	   5 
#define CONN2      	   6 
#define CONN3      	   7 
#define CONN4      	   8 
#define CONN5      	   9 
#define RESWAIT1   	  10 
#define RESWAIT2   	  11 
#define RESWAIT3   	  12 
#define RESWAIT4   	  13 
#define RESWAIT5   	  14 
#define RESWAIT6   	  15 
#define RESWAIT7   	  16 
#define RESWAIT8   	  17 
#define RESCHK1    	  18 
#define RESCHK2    	  19 
#define RESCHK3    	  20 
#define RESCHK4    	  21 
#define RESCHK5    	  22 
#define RESCHK6    	  23 
#define SETUP1     	  24 
#define SETUP2     	  25 
#define SETUP3     	  26 
#define SETUP4     	  27 
#define SETUP5     	  28 
#define SETUP6     	  29 
#define SETUP7     	  30 
#define SETUP8     	  31 
#define RESET1     	  32 
#define RESET2     	  33 
#define RESET3     	  34 
#define RESET4     	  35 
#define RESET5     	  36 
#define RESET6     	  37 
#define RESET7     	  38 
#define RESET8     	  39 
#define D_CONN1    	  40 
#define D_CONN2    	  41 
#define D_CONN3    	  42 
#define D_CONN4    	  43 
#define D_CONN5    	  44 
#define D_CONN6    	  45 
#define D_CONN7    	  46 
#define ERR1       	  47 
#define ERR2       	  48 
#define ERR3       	  49 
#define ERR4       	  50 
#define ERR5       	  51 
#define ERR6       	  52 
#define ERR7       	  53 
#define ERR8       	  54 
#define SH1        	  55 
#define SH2        	  56 
#define SH3        	  57 
#define SH4        	  58 
#define SH5        	  59 
#define SH6        	  60 
#define SH7        	  61 
#define SH8        	  62 
#define SH9        	  63 
#define SH10       	  64 
#define SH11       	  65 
#define NORMAL1    	  66 
#define NORMAL2    	  67 
#define NORMAL3    	  68 
#define NORMAL4    	  69 
#define NORMAL5    	  70 
#define NORMAL6    	  71 
#define NORMAL7    	  72 
#define NORMAL8A   	  73 
#define NORMAL8B   	  74 
#define NORMAL9    	  75 
#define NORMAL10   	  76 
#define NORMAL11   	  77 
#define NORMAL12   	  78 
#define NORMAL13   	  79 
#define NORMAL14   	  80 
#define NORMAL15   	  81 
#define NORMAL16   	  82 
#define NORMAL17   	  83 
#define NORMAL18   	  84 
#define NORMAL19   	  85 
#define NORMAL20   	  86 
#define BUSY1      	  87 
#define BUSY2      	  88 
#define BUSY3      	  89 
#define BUSY4      	  90 
#define BUSY5      	  91 
#define BUSY6      	  92 
#define BUSY7      	  93 
#define BUSY8      	  94 
#define BUSY9      	  95 
#define BUSY10     	  96 
#define BUSY11     	  97 
#define BUSY12     	  98 
#define BUSY13     	  99 
#define BUSY14     	 100 
#define BUSY15     	 101 
#define BUSY16     	 102 
#define BUSY17     	 103 
#define BUSY18     	 104 
#define BUSY19     	 105 
#define BUSY20     	 106 
#define BUSY21     	 107 
#define BUSY22     	 108 
#define BUSY23     	 109 
#define BUSY24     	 110 
#define BUSY25     	 111 
#define BUSY26     	 112 
#define REJECT1    	 113 
#define REJECT2    	 114 
#define REJECT3    	 115 
#define REJECT4    	 116 
#define REJECT5    	 117 
#define REJECT6    	 118 
#define REJECT7    	 119 
#define REJECT8    	 120 
#define REJECT9    	 121 
#define REJECT10   	 122 
#define REJECT11   	 123 
#define REJECT12   	 124 
#define REJECT13   	 125 
#define REJECT14   	 126 
#define REJECT15   	 127 
#define REJECT16   	 128 
#define REJECT17   	 129 
#define REJECT18   	 130 
#define REJECT19   	 131 
#define REJECT20   	 132 
#define AWAIT1     	 133 
#define AWAIT2     	 134 
#define AWAIT3     	 135 
#define AWAIT4     	 136 
#define AWAIT5     	 137 
#define AWAIT6     	 138 
#define AWAIT7     	 139 
#define AWAIT8     	 140 
#define AWAIT9     	 141 
#define AWAIT10    	 142 
#define AWAIT11    	 143 
#define AWAIT12    	 144 
#define AWAIT13    	 145 
#define AWAIT14    	 146 
#define AWAIT_BUSY1 	 147 
#define AWAIT_BUSY2 	 148 
#define AWAIT_BUSY3 	 149 
#define AWAIT_BUSY4 	 150 
#define AWAIT_BUSY5 	 151 
#define AWAIT_BUSY6 	 152 
#define AWAIT_BUSY7 	 153 
#define AWAIT_BUSY8 	 154 
#define AWAIT_BUSY9 	 155 
#define AWAIT_BUSY10 	 156 
#define AWAIT_BUSY11 	 157 
#define AWAIT_BUSY12 	 158 
#define AWAIT_BUSY13 	 159 
#define AWAIT_BUSY14 	 160 
#define AWAIT_BUSY15 	 161 
#define AWAIT_BUSY16 	 162 
#define AWAIT_REJECT1 	 163 
#define AWAIT_REJECT2 	 164 
#define AWAIT_REJECT3 	 165 
#define AWAIT_REJECT4 	 166 
#define AWAIT_REJECT5 	 167 
#define AWAIT_REJECT6 	 168 
#define AWAIT_REJECT7 	 169 
#define AWAIT_REJECT8 	 170 
#define AWAIT_REJECT9 	 171 
#define AWAIT_REJECT10 	 172 
#define AWAIT_REJECT11 	 173 
#define AWAIT_REJECT12 	 174 
#define AWAIT_REJECT13 	 175