/* generated by defining BURG_FORMAT in engine/main.c, running
     gforth --debug -e bye
   stripping away the superfluous stuff, deleting the superinsts, and
   adding the start and the end of gforth9.burg
   Note: the leaf terminal is always s0
*/
%start S0
%term op0 = 1
%term op1 = 2
%term op2 = 3
%term op3 = 4
%term op4 = 5
%term op5 = 6
%term op6 = 7
%term op7 = 8
%term op8 = 9
%term op9 = 10
%term op10 = 11
%term op11 = 12
%term op12 = 13
%term op13 = 14
%term op14 = 15
%term op15 = 16
%term op16 = 17
%term op17 = 18
%term op18 = 19
%term op19 = 20
%term op20 = 21
%term op21 = 22
%term op22 = 23
%term op23 = 24
%term op24 = 25
%term op25 = 26
%term op26 = 27
%term op27 = 28
%term op28 = 29
%term op29 = 30
%term op30 = 31
%term op31 = 32
%term op32 = 33
%term op33 = 34
%term op34 = 35
%term op35 = 36
%term op36 = 37
%term op37 = 38
%term op38 = 39
%term op39 = 40
%term op40 = 41
%term op41 = 42
%term op42 = 43
%term op43 = 44
%term op44 = 45
%term op45 = 46
%term op46 = 47
%term op47 = 48
%term op48 = 49
%term op49 = 50
%term op50 = 51
%term op51 = 52
%term op52 = 53
%term op53 = 54
%term op54 = 55
%term op55 = 56
%term op56 = 57
%term op57 = 58
%term op58 = 59
%term op59 = 60
%term op60 = 61
%term op61 = 62
%term op62 = 63
%term op63 = 64
%term op64 = 65
%term op65 = 66
%term op66 = 67
%term op67 = 68
%term op68 = 69
%term op69 = 70
%term op70 = 71
%term op71 = 72
%term op72 = 73
%term op73 = 74
%term op74 = 75
%term op75 = 76
%term op76 = 77
%term op77 = 78
%term op78 = 79
%term op79 = 80
%term op80 = 81
%term op81 = 82
%term op82 = 83
%term op83 = 84
%term op84 = 85
%term op85 = 86
%term op86 = 87
%term op87 = 88
%term op88 = 89
%term op89 = 90
%term op90 = 91
%term op91 = 92
%term op92 = 93
%term op93 = 94
%term op94 = 95
%term op95 = 96
%term op96 = 97
%term op97 = 98
%term op98 = 99
%term op99 = 100
%term op100 = 101
%term op101 = 102
%term op102 = 103
%term op103 = 104
%term op104 = 105
%term op105 = 106
%term op106 = 107
%term op107 = 108
%term op108 = 109
%term op109 = 110
%term op110 = 111
%term op111 = 112
%term op112 = 113
%term op113 = 114
%term op114 = 115
%term op115 = 116
%term op116 = 117
%term op117 = 118
%term op118 = 119
%term op119 = 120
%term op120 = 121
%term op121 = 122
%term op122 = 123
%term op123 = 124
%term op124 = 125
%term op125 = 126
%term op126 = 127
%term op127 = 128
%term op128 = 129
%term op129 = 130
%term op130 = 131
%term op131 = 132
%term op132 = 133
%term op133 = 134
%term op134 = 135
%term op135 = 136
%term op136 = 137
%term op137 = 138
%term op138 = 139
%term op139 = 140
%term op140 = 141
%term op141 = 142
%term op142 = 143
%term op143 = 144
%term op144 = 145
%term op145 = 146
%term op146 = 147
%term op147 = 148
%term op148 = 149
%term op149 = 150
%term op150 = 151
%term op151 = 152
%term op152 = 153
%term op153 = 154
%term op154 = 155
%term op155 = 156
%term op156 = 157
%term op157 = 158
%term op158 = 159
%term op159 = 160
%term op160 = 161
%term op161 = 162
%term op162 = 163
%term op163 = 164
%term op164 = 165
%term op165 = 166
%term op166 = 167
%term op167 = 168
%term op168 = 169
%term op169 = 170
%term op170 = 171
%term op171 = 172
%term op172 = 173
%term op173 = 174
%term op174 = 175
%term op175 = 176
%term op176 = 177
%term op177 = 178
%term op178 = 179
%term op179 = 180
%term op180 = 181
%term op181 = 182
%term op182 = 183
%term op183 = 184
%term op184 = 185
%term op185 = 186
%term op186 = 187
%term op187 = 188
%term op188 = 189
%term op189 = 190
%term op190 = 191
%term op191 = 192
%term op192 = 193
%term op193 = 194
%term op194 = 195
%term op195 = 196
%term op196 = 197
%term op197 = 198
%term op198 = 199
%term op199 = 200
%term op200 = 201
%term op201 = 202
%term op202 = 203
%term op203 = 204
%term op204 = 205
%term op205 = 206
%term op206 = 207
%term op207 = 208
%term op208 = 209
%term op209 = 210
%term op210 = 211
%term op211 = 212
%term op212 = 213
%term op213 = 214
%term op214 = 215
%term op215 = 216
%term op216 = 217
%term op217 = 218
%term op218 = 219
%term op219 = 220
%term op220 = 221
%term op221 = 222
%term op222 = 223
%term op223 = 224
%term op224 = 225
%term op225 = 226
%term op226 = 227
%term op227 = 228
%term op228 = 229
%term op229 = 230
%term op230 = 231
%term op231 = 232
%term op232 = 233
%term op233 = 234
%term op234 = 235
%term op235 = 236
%term op236 = 237
%term op237 = 238
%term op238 = 239
%term op239 = 240
%term op240 = 241
%term op241 = 242
%term op242 = 243
%term op243 = 244
%term op244 = 245
%term op245 = 246
%term op246 = 247
%term op247 = 248
%term op248 = 249
%term op249 = 250
%term op250 = 251
%term op251 = 252
%term op252 = 253
%term op253 = 254
%term op254 = 255
%term op255 = 256
%term op256 = 257
%term op257 = 258
%term op258 = 259
%term op259 = 260
%term op260 = 261
%term op261 = 262
%term op262 = 263
%term op263 = 264
%term op264 = 265
%term op265 = 266
%term op266 = 267
%term op267 = 268
%term op268 = 269
%term op269 = 270
%term op270 = 271
%term op271 = 272
%term op272 = 273
%term op273 = 274
%term op274 = 275
%term op275 = 276
%term op276 = 277
%term op277 = 278
%term op278 = 279
%term op279 = 280
%term op280 = 281
%term op281 = 282
%term op282 = 283
%term op283 = 284
%term op284 = 285
%term op285 = 286
%term op286 = 287
%term op287 = 288
%term op288 = 289
%term op289 = 290
%term op290 = 291
%term op291 = 292
%term op292 = 293
%term op293 = 294
%term op294 = 295
%term op295 = 296
%term op296 = 297
%term op297 = 298
%term op298 = 299
%term op299 = 300
%term op300 = 301
%term op301 = 302
%term op302 = 303
%term op303 = 304
%term op304 = 305
%term op305 = 306
%term op306 = 307
%term op307 = 308
%term op308 = 309
%term op309 = 310
%term op310 = 311
%term op311 = 312
%term op312 = 313
%term op313 = 314
%term op314 = 315
%term op315 = 316
%term op316 = 317
%term op317 = 318
%term op318 = 319
%term op319 = 320
%term op320 = 321
%term op321 = 322
%term op322 = 323
%term op323 = 324
%term op324 = 325
%term op325 = 326
%term op326 = 327
%term op327 = 328
%term op328 = 329
%term op329 = 330
%term op330 = 331
%term op331 = 332
%term op332 = 333
%term op333 = 334
%term op334 = 335
%term op335 = 336
%term op336 = 337
%term op337 = 338
%term op338 = 339
%term op339 = 340
%term op340 = 341
%term op341 = 342
%term op342 = 343
%term op343 = 344
%term op344 = 345
%term op345 = 346
%term op346 = 347
%term op347 = 348
%term op348 = 349
%term op349 = 350
%term op350 = 351
%term op351 = 352
%term op352 = 353
%term op353 = 354
%term op354 = 355
%term op355 = 356
%term op356 = 357
%term op357 = 358
%term op358 = 359
%term op359 = 360
%term s0 = 400
%term s1 = 401
%term s2 = 402
%term s3 = 403
%term s4 = 404
%term s5 = 405
%term s6 = 406
%term s7 = 407
%term s8 = 408
%%
S0: op0(S0) = 1 (12);
S0: op1(S0) = 2 (16);
S0: op2(S0) = 3 (16);
S0: op3(S0) = 4 (20);
S0: op4(S0) = 5 (8);
S0: op5(S0) = 6 (12);
S0: op6(S0) = 7 (16);
S0: op7(S0) = 8 (24);
S0: op8(S0) = 9 (4);
S0: S0 = 10 (4);
S0: op10(S0) = 11 (16);
S0: op11(S0) = 12 (16);
S0: op12(S0) = 13 (12);
S0: op13(S0) = 14 (12);
S0: op14(S0) = 15 (8);
S0: op15(S0) = 16 (16);
S0: op16(S0) = 17 (32);
S0: op17(S0) = 18 (24);
S0: op18(S0) = 19 (8);
S0: op19(S0) = 20 (48);
S0: op20(S0) = 21 (60);
S0: op21(S0) = 22 (40);
S0: op22(S0) = 23 (36);
S0: op23(S0) = 24 (56);
S0: op24(S0) = 25 (72);
S0: op25(S0) = 26 (60);
S0: op26(S0) = 27 (76);
S0: op27(S0) = 28 (96);
S0: op28(S0) = 29 (112);
S0: op29(S0) = 30 (84);
S0: op30(S0) = 31 (100);
S0: op31(S0) = 32 (104);
S0: op32(S0) = 33 (120);
S0: op33(S0) = 34 (32);
S0: op34(S0) = 35 (32);
S0: op35(S0) = 36 (52);
S0: op36(S0) = 37 (52);
S0: op37(S0) = 38 (52);
S0: op38(S0) = 39 (52);
S0: op39(S0) = 40 (52);
S0: op40(S0) = 41 (16);
S0: op41(S0) = 42 (16);
S0: op42(S0) = 43 (16);
S0: op43(S0) = 44 (16);
S0: op44(S0) = 45 (28);
S0: op45(S0) = 46 (28);
S0: op46(S0) = 47 (28);
S0: op47(S0) = 48 (28);
S0: op48(S0) = 49 (36);
S0: op49(S0) = 50 (24);
S0: op50(S0) = 51 (36);
S0: op51(S0) = 52 (32);
S0: op52(S0) = 53 (24);
S0: op53(S0) = 54 (16);
S0: op54(S0) = 55 (12);
S0: op55(S0) = 56 (32);
S0: op56(S0) = 57 (16);
S0: op57(S0) = 58 (8);
S0: op58(S0) = 59 (8);
S0: op59(S0) = 60 (8);
S0: op60(S0) = 61 (32);
S0: op61(S0) = 62 (32);
S0: op62(S0) = 63 (16);
S0: op63(S0) = 64 (16);
S0: op64(S0) = 65 (52);
S0: op65(S0) = 66 (52);
S0: op66(S0) = 67 (56);
S0: op67(S0) = 68 (44);
S0: op68(S0) = 69 (40);
S0: op69(S0) = 70 (8);
S0: op70(S0) = 71 (8);
S0: op71(S0) = 72 (60);
S0: op72(S0) = 73 (60);
S0: op73(S0) = 74 (24);
S0: op74(S0) = 75 (24);
S0: op75(S0) = 76 (60);
S0: op76(S0) = 77 (64);
S0: op77(S0) = 78 (88);
S0: op78(S0) = 79 (88);
S0: op79(S0) = 80 (48);
S0: op80(S0) = 81 (40);
S0: op81(S0) = 82 (52);
S0: op82(S0) = 83 (16);
S0: op83(S0) = 84 (16);
S0: op84(S0) = 85 (16);
S0: op85(S0) = 86 (8);
S0: op86(S0) = 87 (16);
S0: op87(S0) = 88 (16);
S0: op88(S0) = 89 (12);
S0: op89(S0) = 90 (16);
S0: op90(S0) = 91 (12);
S0: op91(S0) = 92 (20);
S0: op92(S0) = 93 (20);
S0: op93(S0) = 94 (16);
S0: op94(S0) = 95 (24);
S0: op95(S0) = 96 (28);
S0: op96(S0) = 97 (28);
S0: op97(S0) = 98 (28);
S0: op98(S0) = 99 (32);
S0: op99(S0) = 100 (32);
S0: op100(S0) = 101 (24);
S0: op101(S0) = 102 (28);
S0: op102(S0) = 103 (20);
S0: op103(S0) = 104 (20);
S0: op104(S0) = 105 (24);
S0: op105(S0) = 106 (24);
S0: op106(S0) = 107 (88);
S0: op107(S0) = 108 (88);
S0: op108(S0) = 109 (80);
S0: op109(S0) = 110 (92);
S0: op110(S0) = 111 (80);
S0: op111(S0) = 112 (92);
S0: op112(S0) = 113 (44);
S0: op113(S0) = 114 (48);
S0: op114(S0) = 115 (28);
S0: op115(S0) = 116 (56);
S0: op116(S0) = 117 (60);
S0: op117(S0) = 118 (32);
S0: op118(S0) = 119 (88);
S0: op119(S0) = 120 (76);
S0: op120(S0) = 121 (96);
S0: op121(S0) = 122 (84);
S0: op122(S0) = 123 (84);
S0: op123(S0) = 124 (84);
S0: op124(S0) = 125 (32);
S0: op125(S0) = 126 (24);
S0: op126(S0) = 127 (32);
S0: op127(S0) = 128 (20);
S0: op128(S0) = 129 (16);
S0: op129(S0) = 130 (16);
S0: op130(S0) = 131 (16);
S0: op131(S0) = 132 (36);
S0: op132(S0) = 133 (36);
S0: op133(S0) = 134 (16);
S0: op134(S0) = 135 (24);
S0: op135(S0) = 136 (8);
S0: op136(S0) = 137 (48);
S0: op137(S0) = 138 (48);
S0: op138(S0) = 139 (80);
S0: op139(S0) = 140 (8);
S0: op140(S0) = 141 (20);
S0: op141(S0) = 142 (8);
S0: op142(S0) = 143 (16);
S0: op143(S0) = 144 (12);
S0: op144(S0) = 145 (24);
S0: op145(S0) = 146 (24);
S0: op146(S0) = 147 (8);
S0: op147(S0) = 148 (20);
S0: op148(S0) = 149 (28);
S0: op149(S0) = 150 (16);
S0: op150(S0) = 151 (8);
S0: op151(S0) = 152 (20);
S0: op152(S0) = 153 (28);
S0: op153(S0) = 154 (32);
S0: op154(S0) = 155 (48);
S0: op155(S0) = 156 (20);
S0: op156(S0) = 157 (40);
S0: op157(S0) = 158 (8);
S0: op158(S0) = 159 (24);
S0: op159(S0) = 160 (16);
S0: op160(S0) = 161 (32);
S0: op161(S0) = 162 (8);
S0: op162(S0) = 163 (16);
S0: op163(S0) = 164 (32);
S0: op164(S0) = 165 (24);
S0: op165(S0) = 166 (8);
S0: op166(S0) = 167 (8);
S0: op167(S0) = 168 (8);
S0: op168(S0) = 169 (4);
S0: op169(S0) = 170 (24);
S0: op170(S0) = 171 (32);
S0: op171(S0) = 172 (32);
S0: op172(S0) = 173 (32);
S0: op173(S0) = 174 (32);
S0: op174(S0) = 175 (36);
S0: op175(S0) = 176 (12);
S0: op176(S0) = 177 (12);
S0: op177(S0) = 178 (16);
S0: op178(S0) = 179 (28);
S0: op179(S0) = 180 (36);
S0: op180(S0) = 181 (20);
S0: op181(S0) = 182 (20);
S0: op182(S0) = 183 (20);
S0: op183(S0) = 184 (36);
S0: op184(S0) = 185 (16);
S0: op185(S0) = 186 (24);
S0: op186(S0) = 187 (8);
S0: op187(S0) = 188 (84);
S0: op188(S0) = 189 (60);
S0: op189(S0) = 190 (84);
S0: op190(S0) = 191 (52);
S0: op191(S0) = 192 (84);
S0: op192(S0) = 193 (16);
S0: op193(S0) = 194 (68);
S0: op194(S0) = 195 (16);
S0: op195(S0) = 196 (80);
S0: op196(S0) = 197 (32);
S0: op197(S0) = 198 (32);
S0: op198(S0) = 199 (64);
S0: op199(S0) = 200 (40);
S0: op200(S0) = 201 (64);
S0: op201(S0) = 202 (64);
S0: op202(S0) = 203 (60);
S0: op203(S0) = 204 (36);
S0: op204(S0) = 205 (72);
S0: op205(S0) = 206 (88);
S0: op206(S0) = 207 (68);
S0: op207(S0) = 208 (88);
S0: op208(S0) = 209 (92);
S0: op209(S0) = 210 (60);
S0: op210(S0) = 211 (84);
S0: op211(S0) = 212 (60);
S0: op212(S0) = 213 (40);
S0: op213(S0) = 214 (36);
S0: op214(S0) = 215 (16);
S0: op215(S0) = 216 (64);
S0: op216(S0) = 217 (116);
S0: op217(S0) = 218 (40);
S0: op218(S0) = 219 (72);
S0: op219(S0) = 220 (60);
S0: op220(S0) = 221 (52);
S0: op221(S0) = 222 (32);
S0: op222(S0) = 223 (44);
S0: op223(S0) = 224 (68);
S0: op224(S0) = 225 (44);
S0: op225(S0) = 226 (48);
S0: op226(S0) = 227 (44);
S0: op227(S0) = 228 (44);
S0: op228(S0) = 229 (48);
S0: op229(S0) = 230 (48);
S0: op230(S0) = 231 (48);
S0: op231(S0) = 232 (52);
S0: op232(S0) = 233 (48);
S0: op233(S0) = 234 (48);
S0: op234(S0) = 235 (52);
S0: op235(S0) = 236 (52);
S0: op236(S0) = 237 (60);
S0: op237(S0) = 238 (64);
S0: op238(S0) = 239 (48);
S0: op239(S0) = 240 (40);
S0: op240(S0) = 241 (28);
S0: op241(S0) = 242 (40);
S0: op242(S0) = 243 (40);
S0: op243(S0) = 244 (28);
S0: op244(S0) = 245 (40);
S0: op245(S0) = 246 (28);
S0: op246(S0) = 247 (24);
S0: op247(S0) = 248 (24);
S0: op248(S0) = 249 (24);
S0: op249(S0) = 250 (24);
S0: op250(S0) = 251 (32);
S0: op251(S0) = 252 (44);
S0: op252(S0) = 253 (44);
S0: op253(S0) = 254 (72);
S0: op254(S0) = 255 (8);
S0: op255(S0) = 256 (8);
S0: op256(S0) = 257 (16);
S0: op257(S0) = 258 (20);
S0: op258(S0) = 259 (20);
S0: op259(S0) = 260 (28);
S0: op260(S0) = 261 (36);
S0: op261(S0) = 262 (16);
S0: op262(S0) = 263 (36);
S0: op263(S0) = 264 (8);
S0: op264(S0) = 265 (8);
S0: op265(S0) = 266 (16);
S0: op266(S0) = 267 (16);
S0: op267(S0) = 268 (40);
S0: op268(S0) = 269 (36);
S0: op269(S0) = 270 (280);
S0: op270(S0) = 271 (80);
S0: op271(S0) = 272 (8);
S0: op272(S0) = 273 (16);
S0: op273(S0) = 274 (16);
S0: op274(S0) = 275 (16);
S0: op275(S0) = 276 (32);
S0: op276(S0) = 277 (16);
S0: op277(S0) = 278 (16);
S0: op278(S0) = 279 (16);
S0: op279(S0) = 280 (16);
S0: op280(S0) = 281 (16);
S0: op281(S0) = 282 (16);
S0: op282(S0) = 283 (16);
S0: op283(S0) = 284 (16);
S0: op284(S0) = 285 (48);
S0: op285(S0) = 286 (16);
S0: op286(S0) = 287 (16);
S0: op287(S0) = 288 (16);
S0: op288(S0) = 289 (16);
S0: op289(S0) = 290 (16);
S0: op290(S0) = 291 (16);
S0: op291(S0) = 292 (16);
S0: op292(S0) = 293 (16);
S0: op293(S0) = 294 (8);
S0: op294(S0) = 295 (8);
S0: op295(S0) = 296 (12);
S0: op296(S0) = 297 (12);
S0: op297(S0) = 298 (60);
S0: op298(S0) = 299 (52);
S0: op299(S0) = 300 (28);
S0: op300(S0) = 301 (20);
S0: op301(S0) = 302 (20);
S0: op302(S0) = 303 (20);
S0: op303(S0) = 304 (20);
S0: op304(S0) = 305 (40);
S0: op305(S0) = 306 (32);
S0: op306(S0) = 307 (32);
S0: op307(S0) = 308 (28);
S0: op308(S0) = 309 (20);
S0: op309(S0) = 310 (16);
S0: op310(S0) = 311 (16);
S0: op311(S0) = 312 (16);
S0: op312(S0) = 313 (16);
S0: op313(S0) = 314 (32);
S0: op314(S0) = 315 (36);
S0: op315(S0) = 316 (48);
S0: op316(S0) = 317 (40);
S0: op317(S0) = 318 (44);
S0: op318(S0) = 319 (60);
S0: op319(S0) = 320 (8);
S0: op320(S0) = 321 (8);
S0: op321(S0) = 322 (16);
S0: op322(S0) = 323 (8);
S0: op323(S0) = 324 (8);
S0: op324(S0) = 325 (16);
S0: op325(S0) = 326 (20);
S0: op326(S0) = 327 (20);
S0: op327(S0) = 328 (40);
S0: op328(S0) = 329 (112);
S0: op329(S0) = 330 (40);
S0: op330(S0) = 331 (24);
S0: op331(S0) = 332 (44);
S0: op332(S0) = 333 (40);
S0: op333(S0) = 334 (40);
S0: op334(S0) = 335 (48);
S0: op335(S0) = 336 (48);
S0: op336(S0) = 337 (40);
S0: op337(S0) = 338 (52);
S0: op338(S0) = 339 (52);
S0: op339(S0) = 340 (8);
S0: op340(S0) = 341 (20);
S0: op341(S0) = 342 (44);
S0: op342(S0) = 343 (32);
S0: op343(S0) = 344 (20);
S0: op344(S0) = 345 (20);
S0: op345(S0) = 346 (24);
S0: op346(S0) = 347 (20);
S0: op347(S0) = 348 (16);
S0: op348(S0) = 349 (36);
S0: op349(S0) = 350 (16);
S0: op350(S0) = 351 (16);
S0: op351(S0) = 352 (4);
S0: op352(S0) = 353 (32);
S0: op353(S0) = 354 (20);
S0: op354(S0) = 355 (12);
S1: op52(S0) = 368 (12);
S0: op52(S2) = 369 (12);
S2: op52(S3) = 370 (12);
S3: op52(S4) = 371 (12);
S4: op52(S5) = 372 (12);
S5: op52(S6) = 373 (12);
S6: op52(S7) = 374 (12);
S7: op52(S8) = 375 (12);
S8: op52(S8) = 376 (48);
S2: op157(S2) = 377 (8);
S3: op157(S3) = 378 (8);
S4: op157(S4) = 379 (8);
S5: op157(S5) = 380 (8);
S6: op157(S6) = 381 (8);
S7: op157(S7) = 382 (8);
S8: op157(S8) = 383 (8);
S2: op19(S0) = 384 (36);
S3: op19(S0) = 385 (48);
S4: op19(S0) = 386 (52);
S5: op19(S0) = 387 (56);
S6: op19(S0) = 388 (60);
S7: op19(S0) = 389 (64);
S8: op19(S0) = 390 (72);
S1: op158(S0) = 391 (12);
S0: op158(S2) = 392 (12);
S2: op158(S3) = 393 (12);
S3: op158(S4) = 394 (12);
S4: op158(S5) = 395 (12);
S5: op158(S6) = 396 (12);
S6: op158(S7) = 397 (12);
S7: op158(S8) = 398 (12);
S8: op158(S8) = 399 (48);
S2: op142(S2) = 400 (16);
S3: op142(S3) = 401 (16);
S4: op142(S4) = 402 (16);
S5: op142(S5) = 403 (16);
S6: op142(S6) = 404 (16);
S7: op142(S7) = 405 (16);
S8: op142(S8) = 406 (16);
S1: op142(S2) = 407 (24);
S0: op142(S2) = 408 (16);
S2: op142(S3) = 409 (16);
S3: op142(S2) = 410 (16);
S2: op161(S2) = 411 (8);
S3: op161(S3) = 412 (8);
S4: op161(S4) = 413 (8);
S5: op161(S5) = 414 (8);
S6: op161(S6) = 415 (8);
S7: op161(S7) = 416 (8);
S8: op161(S8) = 417 (8);
S2: op94(S0) = 418 (16);
S3: op94(S2) = 419 (16);
S4: op94(S3) = 420 (16);
S5: op94(S4) = 421 (16);
S6: op94(S5) = 422 (16);
S7: op94(S6) = 423 (16);
S8: op94(S7) = 424 (16);
S2: op88(S2) = 425 (12);
S3: op88(S3) = 426 (12);
S4: op88(S4) = 427 (12);
S5: op88(S5) = 428 (12);
S6: op88(S6) = 429 (12);
S7: op88(S7) = 430 (12);
S8: op88(S8) = 431 (12);
S0: op143(S2) = 432 (8);
S2: op143(S3) = 433 (8);
S3: op143(S4) = 434 (8);
S4: op143(S5) = 435 (8);
S5: op143(S6) = 436 (8);
S6: op143(S7) = 437 (8);
S7: op143(S8) = 438 (8);
S8: op143(S8) = 439 (40);
S1: op143(S0) = 440 (8);
S2: op53(S0) = 441 (8);
S3: op53(S2) = 442 (8);
S4: op53(S3) = 443 (8);
S5: op53(S4) = 444 (8);
S6: op53(S5) = 445 (8);
S7: op53(S6) = 446 (8);
S8: op53(S7) = 447 (8);
S1: op40(S0) = 448 (8);
S0: op40(S2) = 449 (8);
S2: op40(S3) = 450 (8);
S3: op40(S4) = 451 (8);
S4: op40(S5) = 452 (8);
S5: op40(S6) = 453 (8);
S6: op40(S7) = 454 (8);
S7: op40(S8) = 455 (8);
S8: op40(S8) = 456 (44);
S2: op160(S1) = 457 (16);
S3: op160(S0) = 458 (16);
S4: op160(S2) = 459 (16);
S5: op160(S3) = 460 (16);
S6: op160(S4) = 461 (16);
S7: op160(S5) = 462 (16);
S8: op160(S6) = 463 (16);
S2: op82(S0) = 464 (8);
S3: op82(S2) = 465 (8);
S4: op82(S3) = 466 (8);
S5: op82(S4) = 467 (8);
S6: op82(S5) = 468 (8);
S7: op82(S6) = 469 (8);
S8: op82(S7) = 470 (8);
S1: op125(S0) = 471 (12);
S0: op125(S2) = 472 (12);
S2: op125(S3) = 473 (12);
S3: op125(S4) = 474 (12);
S4: op125(S5) = 475 (12);
S5: op125(S6) = 476 (12);
S6: op125(S7) = 477 (12);
S7: op125(S8) = 478 (12);
S8: op125(S8) = 479 (48);
S2: op140(S3) = 480 (8);
S3: op140(S4) = 481 (8);
S4: op140(S5) = 482 (8);
S5: op140(S6) = 483 (8);
S6: op140(S7) = 484 (8);
S7: op140(S8) = 485 (8);
S8: op140(S8) = 486 (44);
S1: op140(S0) = 487 (8);
S0: op140(S2) = 488 (8);
S2: op140(S0) = 489 (16);
S3: op140(S2) = 490 (20);
S2: op57(S2) = 491 (8);
S3: op57(S3) = 492 (8);
S4: op57(S4) = 493 (8);
S5: op57(S5) = 494 (8);
S6: op57(S6) = 495 (8);
S7: op57(S7) = 496 (8);
S8: op57(S8) = 497 (8);
S2: op166(S2) = 498 (8);
S3: op166(S3) = 499 (8);
S4: op166(S4) = 500 (8);
S5: op166(S5) = 501 (8);
S6: op166(S6) = 502 (8);
S7: op166(S7) = 503 (8);
S8: op166(S8) = 504 (8);
S3: op144(S3) = 505 (20);
S4: op144(S4) = 506 (20);
S5: op144(S5) = 507 (20);
S6: op144(S6) = 508 (20);
S7: op144(S7) = 509 (20);
S8: op144(S8) = 510 (20);
S3: op144(S0) = 511 (16);
S2: op144(S3) = 512 (16);
S0: op144(S3) = 513 (32);
S1: op144(S3) = 514 (32);
S4: op144(S2) = 515 (20);
S5: op144(S3) = 516 (24);
S2: op159(S1) = 517 (8);
S3: op159(S0) = 518 (8);
S4: op159(S2) = 519 (8);
S5: op159(S3) = 520 (8);
S6: op159(S4) = 521 (8);
S7: op159(S5) = 522 (8);
S8: op159(S6) = 523 (8);
S2: op151(S4) = 524 (12);
S3: op151(S5) = 525 (12);
S4: op151(S6) = 526 (12);
S5: op151(S7) = 527 (12);
S6: op151(S8) = 528 (12);
S7: op151(S8) = 529 (44);
S8: op151(S8) = 530 (40);
S1: op151(S0) = 531 (24);
S1: op151(S2) = 532 (12);
S0: op151(S3) = 533 (12);
S2: op151(S2) = 534 (16);
S3: op151(S0) = 535 (28);
S4: op151(S4) = 536 (24);
S4: op151(S2) = 537 (32);
S2: op95(S0) = 538 (20);
S3: op95(S2) = 539 (20);
S4: op95(S3) = 540 (20);
S5: op95(S4) = 541 (20);
S6: op95(S5) = 542 (20);
S7: op95(S6) = 543 (20);
S8: op95(S7) = 544 (20);
S2: op162(S1) = 545 (8);
S3: op162(S0) = 546 (8);
S4: op162(S2) = 547 (8);
S5: op162(S3) = 548 (8);
S6: op162(S4) = 549 (8);
S7: op162(S5) = 550 (8);
S8: op162(S6) = 551 (8);
S2: op54(S2) = 552 (12);
S3: op54(S3) = 553 (12);
S4: op54(S4) = 554 (12);
S5: op54(S5) = 555 (12);
S6: op54(S6) = 556 (12);
S7: op54(S7) = 557 (12);
S8: op54(S8) = 558 (12);
S0: op141(S1) = 559 (4);
S2: op141(S0) = 560 (4);
S3: op141(S2) = 561 (4);
S4: op141(S3) = 562 (4);
S5: op141(S4) = 563 (4);
S6: op141(S5) = 564 (4);
S7: op141(S6) = 565 (4);
S8: op141(S7) = 566 (4);
S1: op141(S1) = 567 (8);
S2: op87(S0) = 568 (8);
S3: op87(S2) = 569 (8);
S4: op87(S3) = 570 (8);
S5: op87(S4) = 571 (8);
S6: op87(S5) = 572 (8);
S7: op87(S6) = 573 (8);
S8: op87(S7) = 574 (8);
S2: op66(S2) = 575 (48);
S3: op66(S3) = 576 (48);
S4: op66(S4) = 577 (48);
S5: op66(S5) = 578 (48);
S6: op66(S6) = 579 (48);
S7: op66(S7) = 580 (48);
S8: op66(S8) = 581 (48);
S0: op133(S1) = 582 (8);
S2: op133(S0) = 583 (8);
S3: op133(S2) = 584 (8);
S4: op133(S3) = 585 (8);
S5: op133(S4) = 586 (8);
S6: op133(S5) = 587 (8);
S7: op133(S6) = 588 (8);
S8: op133(S7) = 589 (8);
S1: op134(S0) = 590 (16);
S0: op134(S2) = 591 (16);
S2: op134(S3) = 592 (16);
S3: op134(S4) = 593 (16);
S4: op134(S5) = 594 (16);
S5: op134(S6) = 595 (16);
S6: op134(S7) = 596 (16);
S7: op134(S8) = 597 (16);
S8: op134(S8) = 598 (52);
S2: op165(S2) = 599 (8);
S3: op165(S3) = 600 (8);
S4: op165(S4) = 601 (8);
S5: op165(S5) = 602 (8);
S6: op165(S6) = 603 (8);
S7: op165(S7) = 604 (8);
S8: op165(S8) = 605 (8);
S1: op308(S1) = 606 (20);
S2: op308(S2) = 607 (20);
S3: op308(S3) = 608 (20);
S4: op308(S4) = 609 (20);
S5: op308(S5) = 610 (20);
S6: op308(S6) = 611 (20);
S7: op308(S7) = 612 (20);
S8: op308(S8) = 613 (20);
S2: op56(S0) = 614 (8);
S3: op56(S2) = 615 (8);
S4: op56(S3) = 616 (8);
S5: op56(S4) = 617 (8);
S6: op56(S5) = 618 (8);
S7: op56(S6) = 619 (8);
S8: op56(S7) = 620 (8);
S1: op14(S1) = 621 (8);
S2: op14(S2) = 622 (8);
S3: op14(S3) = 623 (8);
S4: op14(S4) = 624 (8);
S5: op14(S5) = 625 (8);
S6: op14(S6) = 626 (8);
S7: op14(S7) = 627 (8);
S8: op14(S8) = 628 (8);
S1: op310(S1) = 629 (16);
S2: op310(S2) = 630 (16);
S3: op310(S3) = 631 (16);
S4: op310(S4) = 632 (16);
S5: op310(S5) = 633 (16);
S6: op310(S6) = 634 (16);
S7: op310(S7) = 635 (16);
S8: op310(S8) = 636 (16);
S2: op99(S0) = 637 (24);
S3: op99(S2) = 638 (24);
S4: op99(S3) = 639 (24);
S5: op99(S4) = 640 (24);
S6: op99(S5) = 641 (24);
S7: op99(S6) = 642 (24);
S8: op99(S7) = 643 (24);
S2: op147(S3) = 644 (20);
S3: op147(S4) = 645 (20);
S4: op147(S5) = 646 (20);
S5: op147(S6) = 647 (20);
S6: op147(S7) = 648 (20);
S7: op147(S8) = 649 (20);
S8: op147(S8) = 650 (36);
S2: op147(S2) = 651 (12);
S3: op147(S3) = 652 (16);
S3: op51(S2) = 653 (12);
S4: op51(S3) = 654 (12);
S5: op51(S4) = 655 (12);
S6: op51(S5) = 656 (12);
S7: op51(S6) = 657 (12);
S8: op51(S7) = 658 (12);
S2: op167(S2) = 659 (8);
S3: op167(S3) = 660 (8);
S4: op167(S4) = 661 (8);
S5: op167(S5) = 662 (8);
S6: op167(S6) = 663 (8);
S7: op167(S7) = 664 (8);
S8: op167(S8) = 665 (8);
S2: op148(S0) = 666 (28);
S3: op148(S0) = 667 (36);
S4: op148(S0) = 668 (44);
S5: op148(S0) = 669 (48);
S6: op148(S0) = 670 (52);
S7: op148(S0) = 671 (56);
S8: op148(S0) = 672 (60);
S1: op300(S0) = 673 (12);
S0: op300(S2) = 674 (12);
S2: op300(S3) = 675 (12);
S3: op300(S4) = 676 (12);
S4: op300(S5) = 677 (12);
S5: op300(S6) = 678 (12);
S6: op300(S7) = 679 (12);
S7: op300(S8) = 680 (12);
S8: op300(S8) = 681 (48);
S2: op61(S0) = 682 (24);
S3: op61(S2) = 683 (24);
S4: op61(S3) = 684 (24);
S5: op61(S4) = 685 (24);
S6: op61(S5) = 686 (24);
S7: op61(S6) = 687 (24);
S8: op61(S7) = 688 (24);
S2: op37(S0) = 689 (48);
S3: op37(S0) = 690 (36);
S4: op37(S0) = 691 (48);
S5: op37(S0) = 692 (52);
S6: op37(S0) = 693 (56);
S7: op37(S0) = 694 (60);
S8: op37(S0) = 695 (64);
S2: op136(S1) = 696 (36);
S3: op136(S0) = 697 (36);
S4: op136(S2) = 698 (36);
S5: op136(S3) = 699 (36);
S6: op136(S4) = 700 (36);
S7: op136(S5) = 701 (36);
S8: op136(S6) = 702 (36);
S1: op137(S2) = 703 (32);
S0: op137(S3) = 704 (32);
S2: op137(S4) = 705 (32);
S3: op137(S5) = 706 (32);
S4: op137(S6) = 707 (32);
S5: op137(S7) = 708 (32);
S6: op137(S8) = 709 (32);
S7: op137(S8) = 710 (64);
S8: op137(S8) = 711 (76);
S1: op138(S2) = 712 (52);
S0: op138(S3) = 713 (52);
S2: op138(S4) = 714 (52);
S3: op138(S5) = 715 (52);
S4: op138(S6) = 716 (52);
S5: op138(S7) = 717 (52);
S6: op138(S8) = 718 (52);
S7: op138(S8) = 719 (84);
S8: op138(S8) = 720 (100);
S0: op164(S2) = 721 (16);
S2: op164(S3) = 722 (16);
S3: op164(S4) = 723 (16);
S4: op164(S5) = 724 (16);
S5: op164(S6) = 725 (16);
S6: op164(S7) = 726 (16);
S7: op164(S8) = 727 (16);
S8: op164(S8) = 728 (44);
S2: op146(S0) = 729 (8);
S3: op146(S2) = 730 (8);
S4: op146(S3) = 731 (8);
S5: op146(S4) = 732 (8);
S6: op146(S5) = 733 (8);
S7: op146(S6) = 734 (8);
S8: op146(S7) = 735 (8);
S1: op146(S0) = 736 (16);
S2: op146(S2) = 737 (8);
S3: op124(S0) = 738 (20);
S4: op124(S2) = 739 (20);
S5: op124(S3) = 740 (20);
S6: op124(S4) = 741 (20);
S7: op124(S5) = 742 (20);
S8: op124(S6) = 743 (20);
S2: op59(S2) = 744 (8);
S3: op59(S3) = 745 (8);
S4: op59(S4) = 746 (8);
S5: op59(S5) = 747 (8);
S6: op59(S6) = 748 (8);
S7: op59(S7) = 749 (8);
S8: op59(S8) = 750 (8);
S2: op11(S0) = 751 (8);
S3: op11(S0) = 752 (20);
S4: op11(S0) = 753 (24);
S5: op11(S0) = 754 (32);
S6: op11(S0) = 755 (32);
S7: op11(S0) = 756 (36);
S8: op11(S0) = 757 (48);
S1: op309(S1) = 758 (16);
S2: op309(S2) = 759 (16);
S3: op309(S3) = 760 (16);
S4: op309(S4) = 761 (16);
S5: op309(S5) = 762 (16);
S6: op309(S6) = 763 (16);
S7: op309(S7) = 764 (16);
S8: op309(S8) = 765 (16);
S2: op12(S0) = 766 (8);
S3: op12(S0) = 767 (20);
S4: op12(S0) = 768 (24);
S5: op12(S0) = 769 (36);
S6: op12(S0) = 770 (36);
S7: op12(S0) = 771 (36);
S8: op12(S0) = 772 (40);
S2: op84(S0) = 773 (8);
S3: op84(S2) = 774 (8);
S4: op84(S3) = 775 (8);
S5: op84(S4) = 776 (8);
S6: op84(S5) = 777 (8);
S7: op84(S6) = 778 (8);
S8: op84(S7) = 779 (8);
S1: op299(S0) = 780 (16);
S0: op299(S2) = 781 (16);
S2: op299(S3) = 782 (16);
S3: op299(S4) = 783 (16);
S4: op299(S5) = 784 (16);
S5: op299(S6) = 785 (16);
S6: op299(S7) = 786 (16);
S7: op299(S8) = 787 (16);
S8: op299(S8) = 788 (52);
S2: op103(S0) = 789 (12);
S3: op103(S2) = 790 (12);
S4: op103(S3) = 791 (12);
S5: op103(S4) = 792 (12);
S6: op103(S5) = 793 (12);
S7: op103(S6) = 794 (12);
S8: op103(S7) = 795 (12);
S3: op145(S3) = 796 (24);
S4: op145(S4) = 797 (24);
S5: op145(S5) = 798 (24);
S6: op145(S6) = 799 (24);
S7: op145(S7) = 800 (24);
S8: op145(S8) = 801 (24);
S3: op145(S2) = 802 (12);
S0: op145(S3) = 803 (24);
S4: op145(S3) = 804 (16);
S2: op145(S4) = 805 (24);
S3: op145(S5) = 806 (32);
S2: op150(S1) = 807 (4);
S3: op150(S0) = 808 (4);
S4: op150(S2) = 809 (4);
S5: op150(S3) = 810 (4);
S6: op150(S4) = 811 (4);
S7: op150(S5) = 812 (4);
S8: op150(S6) = 813 (4);
S1: op150(S1) = 814 (8);
S0: op150(S1) = 815 (8);
S2: op83(S0) = 816 (8);
S3: op83(S2) = 817 (8);
S4: op83(S3) = 818 (8);
S5: op83(S4) = 819 (8);
S6: op83(S5) = 820 (8);
S7: op83(S6) = 821 (8);
S8: op83(S7) = 822 (8);
S1: op302(S0) = 823 (12);
S0: op302(S2) = 824 (12);
S2: op302(S3) = 825 (12);
S3: op302(S4) = 826 (12);
S4: op302(S5) = 827 (12);
S5: op302(S6) = 828 (12);
S6: op302(S7) = 829 (12);
S7: op302(S8) = 830 (12);
S8: op302(S8) = 831 (48);
S2: op27(S0) = 832 (76);
S3: op27(S0) = 833 (88);
S4: op27(S0) = 834 (92);
S5: op27(S0) = 835 (100);
S6: op27(S0) = 836 (100);
S7: op27(S0) = 837 (104);
S8: op27(S0) = 838 (116);
S2: op58(S2) = 839 (8);
S3: op58(S3) = 840 (8);
S4: op58(S4) = 841 (8);
S5: op58(S5) = 842 (8);
S6: op58(S6) = 843 (8);
S7: op58(S7) = 844 (8);
S8: op58(S8) = 845 (8);
S1: op135(S1) = 846 (8);
S2: op135(S2) = 847 (8);
S3: op135(S3) = 848 (8);
S4: op135(S4) = 849 (8);
S5: op135(S5) = 850 (8);
S6: op135(S6) = 851 (8);
S7: op135(S7) = 852 (8);
S8: op135(S8) = 853 (8);
S2: op35(S0) = 854 (48);
S3: op35(S0) = 855 (36);
S4: op35(S0) = 856 (48);
S5: op35(S0) = 857 (52);
S6: op35(S0) = 858 (56);
S7: op35(S0) = 859 (60);
S8: op35(S0) = 860 (64);
S2: op60(S0) = 861 (24);
S3: op60(S2) = 862 (24);
S4: op60(S3) = 863 (24);
S5: op60(S4) = 864 (24);
S6: op60(S5) = 865 (24);
S7: op60(S6) = 866 (24);
S8: op60(S7) = 867 (24);
S2: op69(S2) = 868 (8);
S3: op69(S3) = 869 (8);
S4: op69(S4) = 870 (8);
S5: op69(S5) = 871 (8);
S6: op69(S6) = 872 (8);
S7: op69(S7) = 873 (8);
S8: op69(S8) = 874 (8);
S3: op163(S1) = 875 (12);
S4: op163(S0) = 876 (12);
S5: op163(S2) = 877 (12);
S6: op163(S3) = 878 (12);
S7: op163(S4) = 879 (12);
S8: op163(S5) = 880 (12);
S2: op34(S0) = 881 (32);
S3: op34(S0) = 882 (16);
S4: op34(S0) = 883 (28);
S5: op34(S0) = 884 (32);
S6: op34(S0) = 885 (36);
S7: op34(S0) = 886 (40);
S8: op34(S0) = 887 (44);
S2: op102(S0) = 888 (12);
S3: op102(S2) = 889 (12);
S4: op102(S3) = 890 (12);
S5: op102(S4) = 891 (12);
S6: op102(S5) = 892 (12);
S7: op102(S6) = 893 (12);
S8: op102(S7) = 894 (12);
S0: op169(S2) = 895 (12);
S2: op169(S3) = 896 (12);
S3: op169(S4) = 897 (12);
S4: op169(S5) = 898 (12);
S5: op169(S6) = 899 (12);
S6: op169(S7) = 900 (12);
S7: op169(S8) = 901 (12);
S8: op169(S8) = 902 (44);
S2: op90(S2) = 903 (12);
S3: op90(S3) = 904 (12);
S4: op90(S4) = 905 (12);
S5: op90(S5) = 906 (12);
S6: op90(S6) = 907 (12);
S7: op90(S7) = 908 (12);
S8: op90(S8) = 909 (12);
S2: op96(S0) = 910 (20);
S3: op96(S2) = 911 (20);
S4: op96(S3) = 912 (20);
S5: op96(S4) = 913 (20);
S6: op96(S5) = 914 (20);
S7: op96(S6) = 915 (20);
S8: op96(S7) = 916 (20);
S1: op301(S0) = 917 (12);
S0: op301(S2) = 918 (12);
S2: op301(S3) = 919 (12);
S3: op301(S4) = 920 (12);
S4: op301(S5) = 921 (12);
S5: op301(S6) = 922 (12);
S6: op301(S7) = 923 (12);
S7: op301(S8) = 924 (12);
S8: op301(S8) = 925 (48);
S2: op105(S0) = 926 (16);
S3: op105(S2) = 927 (16);
S4: op105(S3) = 928 (16);
S5: op105(S4) = 929 (16);
S6: op105(S5) = 930 (16);
S7: op105(S6) = 931 (16);
S8: op105(S7) = 932 (16);
S2: op36(S0) = 933 (48);
S3: op36(S0) = 934 (36);
S4: op36(S0) = 935 (48);
S5: op36(S0) = 936 (52);
S6: op36(S0) = 937 (56);
S7: op36(S0) = 938 (60);
S8: op36(S0) = 939 (64);
S2: op74(S2) = 940 (20);
S3: op74(S3) = 941 (20);
S4: op74(S4) = 942 (20);
S5: op74(S5) = 943 (20);
S6: op74(S6) = 944 (20);
S7: op74(S7) = 945 (20);
S8: op74(S8) = 946 (20);
S4: op77(S2) = 947 (52);
S5: op77(S3) = 948 (52);
S6: op77(S4) = 949 (52);
S7: op77(S5) = 950 (52);
S8: op77(S6) = 951 (52);
S2: op63(S0) = 952 (8);
S3: op63(S2) = 953 (8);
S4: op63(S3) = 954 (8);
S5: op63(S4) = 955 (8);
S6: op63(S5) = 956 (8);
S7: op63(S6) = 957 (8);
S8: op63(S7) = 958 (8);
S2: op89(S2) = 959 (16);
S3: op89(S3) = 960 (16);
S4: op89(S4) = 961 (16);
S5: op89(S5) = 962 (16);
S6: op89(S6) = 963 (16);
S7: op89(S7) = 964 (16);
S8: op89(S8) = 965 (16);
S2: op175(S2) = 966 (12);
S3: op175(S3) = 967 (12);
S4: op175(S4) = 968 (12);
S5: op175(S5) = 969 (12);
S6: op175(S6) = 970 (12);
S7: op175(S7) = 971 (12);
S8: op175(S8) = 972 (12);
S2: op104(S0) = 973 (16);
S3: op104(S2) = 974 (16);
S4: op104(S3) = 975 (16);
S5: op104(S4) = 976 (16);
S6: op104(S5) = 977 (16);
S7: op104(S6) = 978 (16);
S8: op104(S7) = 979 (16);
S1: op41(S0) = 980 (8);
S0: op41(S2) = 981 (8);
S2: op41(S3) = 982 (8);
S3: op41(S4) = 983 (8);
S4: op41(S5) = 984 (8);
S5: op41(S6) = 985 (8);
S6: op41(S7) = 986 (8);
S7: op41(S8) = 987 (8);
S8: op41(S8) = 988 (44);
S2: op97(S0) = 989 (20);
S3: op97(S2) = 990 (20);
S4: op97(S3) = 991 (20);
S5: op97(S4) = 992 (20);
S6: op97(S5) = 993 (20);
S7: op97(S6) = 994 (20);
S8: op97(S7) = 995 (20);
S4: op153(S4) = 996 (28);
S5: op153(S5) = 997 (28);
S6: op153(S6) = 998 (28);
S7: op153(S7) = 999 (28);
S8: op153(S8) = 1000 (28);
S1: op153(S3) = 1001 (44);
S0: op153(S3) = 1002 (36);
S2: op153(S4) = 1003 (24);
S4: op153(S2) = 1004 (16);
S1: op307(S0) = 1005 (16);
S0: op307(S2) = 1006 (16);
S2: op307(S3) = 1007 (16);
S3: op307(S4) = 1008 (16);
S4: op307(S5) = 1009 (16);
S5: op307(S6) = 1010 (16);
S6: op307(S7) = 1011 (16);
S7: op307(S8) = 1012 (16);
S8: op307(S8) = 1013 (52);
S2: op98(S0) = 1014 (24);
S3: op98(S2) = 1015 (24);
S4: op98(S3) = 1016 (24);
S5: op98(S4) = 1017 (24);
S6: op98(S5) = 1018 (24);
S7: op98(S6) = 1019 (24);
S8: op98(S7) = 1020 (24);
S2: op85(S2) = 1021 (8);
S3: op85(S3) = 1022 (8);
S4: op85(S4) = 1023 (8);
S5: op85(S5) = 1024 (8);
S6: op85(S6) = 1025 (8);
S7: op85(S7) = 1026 (8);
S8: op85(S8) = 1027 (8);
S2: op38(S0) = 1028 (48);
S3: op38(S0) = 1029 (36);
S4: op38(S0) = 1030 (48);
S5: op38(S0) = 1031 (52);
S6: op38(S0) = 1032 (56);
S7: op38(S0) = 1033 (60);
S8: op38(S0) = 1034 (64);
S4: op152(S6) = 1035 (12);
S5: op152(S7) = 1036 (12);
S6: op152(S8) = 1037 (12);
S7: op152(S8) = 1038 (44);
S8: op152(S8) = 1039 (48);
S1: op152(S2) = 1040 (12);
S0: op152(S3) = 1041 (12);
S2: op152(S4) = 1042 (12);
S3: op152(S5) = 1043 (12);
S4: op152(S2) = 1044 (24);
S5: op152(S3) = 1045 (28);
S6: op152(S4) = 1046 (32);
S3: op55(S2) = 1047 (8);
S4: op55(S3) = 1048 (8);
S5: op55(S4) = 1049 (8);
S6: op55(S5) = 1050 (8);
S7: op55(S6) = 1051 (8);
S8: op55(S7) = 1052 (8);
S2: op79(S2) = 1053 (36);
S3: op79(S3) = 1054 (36);
S4: op79(S4) = 1055 (36);
S5: op79(S5) = 1056 (36);
S6: op79(S6) = 1057 (36);
S7: op79(S7) = 1058 (36);
S8: op79(S8) = 1059 (36);
S2: op101(S0) = 1060 (20);
S3: op101(S2) = 1061 (20);
S4: op101(S3) = 1062 (20);
S5: op101(S4) = 1063 (20);
S6: op101(S5) = 1064 (20);
S7: op101(S6) = 1065 (20);
S8: op101(S7) = 1066 (20);
S2: op91(S2) = 1067 (20);
S3: op91(S3) = 1068 (20);
S4: op91(S4) = 1069 (20);
S5: op91(S5) = 1070 (20);
S6: op91(S6) = 1071 (20);
S7: op91(S7) = 1072 (20);
S8: op91(S8) = 1073 (20);
S1: op42(S0) = 1074 (8);
S0: op42(S2) = 1075 (8);
S2: op42(S3) = 1076 (8);
S3: op42(S4) = 1077 (8);
S4: op42(S5) = 1078 (8);
S5: op42(S6) = 1079 (8);
S6: op42(S7) = 1080 (8);
S7: op42(S8) = 1081 (8);
S8: op42(S8) = 1082 (44);
S2: op263(S2) = 1083 (8);
S3: op263(S3) = 1084 (8);
S4: op263(S4) = 1085 (8);
S5: op263(S5) = 1086 (8);
S6: op263(S6) = 1087 (8);
S7: op263(S7) = 1088 (8);
S8: op263(S8) = 1089 (8);
S1: op139(S1) = 1090 (8);
S2: op139(S2) = 1091 (8);
S3: op139(S3) = 1092 (8);
S4: op139(S4) = 1093 (8);
S5: op139(S5) = 1094 (8);
S6: op139(S6) = 1095 (8);
S7: op139(S7) = 1096 (8);
S8: op139(S8) = 1097 (8);
S0: op313(S1) = 1098 (16);
S2: op313(S0) = 1099 (16);
S3: op313(S2) = 1100 (16);
S4: op313(S3) = 1101 (16);
S5: op313(S4) = 1102 (16);
S6: op313(S5) = 1103 (16);
S7: op313(S6) = 1104 (16);
S8: op313(S7) = 1105 (16);
S2: op64(S0) = 1106 (40);
S3: op64(S2) = 1107 (40);
S4: op64(S3) = 1108 (40);
S5: op64(S4) = 1109 (40);
S6: op64(S5) = 1110 (40);
S7: op64(S6) = 1111 (40);
S8: op64(S7) = 1112 (40);
S2: op70(S2) = 1113 (8);
S3: op70(S3) = 1114 (8);
S4: op70(S4) = 1115 (8);
S5: op70(S5) = 1116 (8);
S6: op70(S6) = 1117 (8);
S7: op70(S7) = 1118 (8);
S8: op70(S8) = 1119 (8);
S0: S1 = 1120 (8);
S2: S1 = 1121 (12);
S3: S1 = 1122 (16);
S4: S1 = 1123 (20);
S5: S1 = 1124 (24);
S6: S1 = 1125 (28);
S7: S1 = 1126 (32);
S8: S1 = 1127 (36);
S1: S0 = 1128 (4);
S2: S0 = 1129 (12);
S3: S0 = 1130 (16);
S4: S0 = 1131 (20);
S5: S0 = 1132 (24);
S6: S0 = 1133 (28);
S7: S0 = 1134 (32);
S8: S0 = 1135 (36);
S1: S2 = 1136 (12);
S0: S2 = 1137 (8);
S3: S2 = 1138 (16);
S4: S2 = 1139 (20);
S5: S2 = 1140 (24);
S6: S2 = 1141 (28);
S7: S2 = 1142 (32);
S8: S2 = 1143 (36);
S1: S3 = 1144 (16);
S0: S3 = 1145 (16);
S2: S3 = 1146 (12);
S4: S3 = 1147 (20);
S5: S3 = 1148 (24);
S6: S3 = 1149 (28);
S7: S3 = 1150 (32);
S8: S3 = 1151 (36);
S1: S4 = 1152 (20);
S0: S4 = 1153 (20);
S2: S4 = 1154 (20);
S3: S4 = 1155 (16);
S5: S4 = 1156 (24);
S6: S4 = 1157 (28);
S7: S4 = 1158 (32);
S8: S4 = 1159 (36);
S1: S5 = 1160 (24);
S0: S5 = 1161 (24);
S2: S5 = 1162 (24);
S3: S5 = 1163 (24);
S4: S5 = 1164 (20);
S6: S5 = 1165 (28);
S7: S5 = 1166 (32);
S8: S5 = 1167 (36);
S1: S6 = 1168 (28);
S0: S6 = 1169 (28);
S2: S6 = 1170 (28);
S3: S6 = 1171 (28);
S4: S6 = 1172 (28);
S5: S6 = 1173 (24);
S7: S6 = 1174 (32);
S8: S6 = 1175 (36);
S1: S7 = 1176 (32);
S0: S7 = 1177 (32);
S2: S7 = 1178 (32);
S3: S7 = 1179 (32);
S4: S7 = 1180 (32);
S5: S7 = 1181 (32);
S6: S7 = 1182 (28);
S8: S7 = 1183 (36);
S1: S8 = 1184 (36);
S0: S8 = 1185 (36);
S2: S8 = 1186 (36);
S3: S8 = 1187 (36);
S4: S8 = 1188 (36);
S5: S8 = 1189 (36);
S6: S8 = 1190 (36);
S7: S8 = 1191 (32);
S0: s0 = 1200;
S1: s1 = 1201;
S2: s2 = 1202;
S3: s3 = 1203;
S4: s4 = 1204;
S5: s5 = 1205;
S6: s6 = 1206;
S7: s7 = 1207;
S8: s8 = 1208;
%%