Lines Matching refs:X7
3809 {Z3^Y4^X7, Z2^X4^Y7, Z1^Y5^X6, Z0^X5^Y6, }, // 21
3810 {Y3^Z3^X7, Z2^X4^Y6, Z1^Y4^X6, Z0^X5^Y5, }, // 22
3814 {Y4^Z4^X8, Z3^X4^Y8, Z2^Y5^X7, Z1^X5^Y7, }, // 26
3815 {Y3^Z4^X8, Z3^X4^Y7, Z2^Y4^X7, Z1^X5^Y6, }, // 27
3816 {Y3^Z4^X7, X3^Z3^Y7, Z2^Y4^X6, Z1^X4^Y6, }, // 28
3817 {Y2^Z4^X7, X3^Z3^Y6, Z2^Y3^X6, Z1^X4^Y5, }, // 29
3821 {Y3^Z5^X8, X3^Z4^Y8, Z3^Y4^X7, Z2^X4^Y7, }, // 33
3822 {Y2^Z5^X8, X3^Z4^Y7, Y3^Z3^X7, Z2^X4^Y6, }, // 34
3823 {Y2^Z5^X7, X2^Z4^Y7, Y3^Z3^X6, Z2^X3^Y6, }, // 35
3839 {Y4^X7, X4^Y7, Y5^X6, X5^Y6, }, // 51
3840 {Y3^X7, X4^Y6, Y4^X6, X5^Y5, }, // 52
3844 {Y4, X4, Y5^X7, X5^Y7, }, // 56
3845 {Y3, X4, Y4^X7, X5^Y6, }, // 57
3863 {X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, }, // 75
3864 {X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X7, Z0^X5^Y7, }, // 76
3876 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X7, Y2^X5^Y7, }, // 88
3885 {Z2^X3^Y3, Z1^X4^Y4, Y2^Y5^X7, Z0^X5^Y7, }, // 97
3886 {Z1^X3^Y3, Z0^X4^Y4, Y2^Y5^X7, X1^X5^Y7, }, // 98
3895 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X7, Z4^X5^Y7, }, // 107
3896 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X7, Z3^X5^Y7, }, // 108
3897 {Z1^X3^Y3, Z0^X4^Y4, Y0^Y5^X7, X1^X5^Y7, }, // 109
3902 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X7, S0^X5^Y7, }, // 114
3907 {Z2^X3^Y3, Z1^X4^Y4, S1^Y5^X7, Z0^X5^Y7, }, // 119
3908 {Z1^X3^Y3, Z0^X4^Y4, S1^Y5^X7, S0^X5^Y7, }, // 120
3915 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X7, S2^X5^Y7, }, // 127
3916 {Z1^X3^Y3, Z0^X4^Y4, S2^Y5^X7, S1^X5^Y7, }, // 128
3944 {Y2^X7^Z7, X3^Y6^Z6, Z3^Y5^X6, Y3^X5^Z5, }, // 156
3949 {Y2^X8^Z8, X3^Y7^Z7, Z3^Y6^X7, Y3^X6^Z6, }, // 161
3950 {Y2^X7^Z8, X2^Y7^Z7, Z3^X6^Y6, Y3^X5^Z6, }, // 162
3951 {Y2^X7^Z7, X2^Z6^Y7, Z2^X6^Y6, Y3^X5^Z5, }, // 163
3952 {Y1^X7^Z7, X2^Y6^Z6, Z2^Y5^X6, Y2^X5^Z5, }, // 164
3988 {X3^Y3, X4^Y4, Y2^Y5^X7, X5^Y7, }, // 200
3989 {X3^Y3, X4^Y4, Z3^Y5^X7, Y2^X5^Y7, }, // 201
3990 {X3^Y3, X4^Y4, Z2^Y5^X7, Y2^X5^Y7, }, // 202
3991 {X3^Y3, X4^Y4, Z2^Y5^X7, Y1^X5^Y7, }, // 203
3992 {X3^Y3, X1^X4^Y4, Z2^Y5^X7, Y1^X5^Y7, }, // 204
4013 {Y4^X7, X4^Y7, Z1^Y5^X6, Z0^X5^Y6, }, // 225
4014 {Y3^X7, X4^Y6, Z1^Y4^X6, Z0^X5^Y5, }, // 226
4018 {Y4^X7, Z2^X4^Y7, Z1^Y5^X6, Z0^X5^Y6, }, // 230
4019 {Y3^X7, Z2^X4^Y6, Z1^Y4^X6, Z0^X5^Y5, }, // 231
4023 {Y4^X7, X4^Y7, Z2^Y5^X6, Z1^X5^Y6, }, // 235
4024 {Y3^X7, X4^Y6, Z2^Y4^X6, Z1^X5^Y5, }, // 236
4028 {Y4^X7, Z3^X4^Y7, Z2^Y5^X6, Z1^X5^Y6, }, // 240
4029 {Y3^X7, Z3^X4^Y6, Z2^Y4^X6, Z1^X5^Y5, }, // 241
4033 {Y4^X7, X4^Y7, Z3^Y5^X6, Z2^X5^Y6, }, // 245
4034 {Y3^X7, X4^Y6, Z3^Y4^X6, Z2^X5^Y5, }, // 246
4038 {Y4^X8, X4^Y8, Z2^Y5^X7, Z1^X5^Y7, }, // 250
4039 {Y3^X8, X4^Y7, Z2^Y4^X7, Z1^X5^Y6, }, // 251
4040 {Y3^X7, X3^Y7, Z2^Y4^X6, Z1^X4^Y6, }, // 252
4041 {Y2^X7, X3^Y6, Z2^Y3^X6, Z1^X4^Y5, }, // 253
4043 {Y4^X8, Z3^X4^Y8, Z2^Y5^X7, Z1^X5^Y7, }, // 255
4044 {Y3^X8, Z3^X4^Y7, Z2^Y4^X7, Z1^X5^Y6, }, // 256
4045 {Y3^X7, X3^Z3^Y7, Z2^Y4^X6, Z1^X4^Y6, }, // 257
4046 {Y2^X7, X3^Z3^Y6, Z2^Y3^X6, Z1^X4^Y5, }, // 258
4050 {Y3^X8, X3^Y8, Z3^Y4^X7, Z2^X4^Y7, }, // 262
4051 {Y2^X8, X3^Y7, Y3^Z3^X7, Z2^X4^Y6, }, // 263
4052 {Y2^X7, X2^Y7, Y3^Z3^X6, Z2^X3^Y6, }, // 264
4055 {Y3^X8, X3^Z4^Y8, Z3^Y4^X7, Z2^X4^Y7, }, // 267
4056 {Y2^X8, X3^Z4^Y7, Y3^Z3^X7, Z2^X4^Y6, }, // 268
4057 {Y2^X7, X2^Z4^Y7, Y3^Z3^X6, Z2^X3^Y6, }, // 269
4060 {X3, Y3, X4^Y7, Y4^X7, }, // 272
4061 {Y2, X3, Y3^X7, X4^Y6, }, // 273
4089 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X6, }, // 301
4090 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, Y3, }, // 302
4091 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X3, }, // 303
4092 {Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Y2, }, // 304
4093 {Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, X2, }, // 305
4094 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, }, // 306
4095 {Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, }, // 307
4096 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, }, // 308
4097 {Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, }, // 309
4100 {Y3, X4, Y4^X8, Y5^X7, }, // 312
4101 {X3, Y3, Y4^X7, X4^Y7, }, // 313
4104 {Z0^X4^Y4, X2, Y2, Y3^X7, }, // 316
4110 {Y4^X7^Y7, Z1^X4^Y4, Y1^Y5^X6, X2, }, // 322
4111 {Y4^X8^Y8, Z2^X4^Y4, Z1^Y5^X7, Z0^X5^Y7, }, // 323
4113 {X3, Y3, Y4^X7, Y1^X4^Y7, }, // 325
4114 {Y2, X3, Y3^X7, X1^X4^Y6, }, // 326
4125 {Y4^X7^Y7, Z0^X4^Y4, Y1^Y5^X6, X3, }, // 337
4126 {Y4^X7^Y7, Z0^X4^Y4, Y0^Y5^X6, X3, }, // 338
4127 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, Z2^X5^Y6, }, // 339
4128 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, Y0^X5^Y6, }, // 340
4129 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, Z2^X5^Y7, }, // 341
4130 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, Y0^X5^Y7, }, // 342
4131 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, Z3^X5^Y7, }, // 343
4152 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X2, }, // 364
4153 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, Y1^X5^Y6, }, // 365
4154 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, Y1^X5^Y7, }, // 366
4159 {Y4^X7^Y7, Z1^X4^Y4, Y1^Y5^X6, X3, }, // 371
4160 {Y4^X7^Y7, Z1^X4^Y4, Y1^Y5^X6, Z0^X5^Y6, }, // 372
4161 {Y4^X7^Y7, Z0^X4^Y4, Y1^Y5^X6, X1^X5^Y6, }, // 373
4162 {Y4^X8^Y8, Z1^X4^Y4, Y1^Y5^X7, Z0^X5^Y7, }, // 374
4163 {Y4^X8^Y8, Z0^X4^Y4, Y1^Y5^X7, X1^X5^Y7, }, // 375
4174 {Y4^X7^Y7, Y0^X4^Y4, Y1^Y5^X6, X3, }, // 386
4175 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, Y2^X5^Y6, }, // 387
4176 {Y4^X7^Y7, Y0^X4^Y4, Y1^Y5^X6, X1^X5^Y6, }, // 388
4177 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, Y2^X5^Y7, }, // 389
4178 {Y4^X8^Y8, Y0^X4^Y4, Y1^Y5^X7, X1^X5^Y7, }, // 390
4179 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, X2^X5^Y7, }, // 391
4187 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^X7^Y7, }, // 399
4188 {Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, X6, }, // 400
4189 {Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Y3, }, // 401
4190 {Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, X3, }, // 402
4194 {Y4^X7^Y7, Z1^X4^Y4, S1^Y5^X6, X2, }, // 406
4197 {X3, Y3, Y4^X7, S0^X4^Y7, }, // 409
4198 {Y2, X3, Y3^X7, S0^X4^Y6, }, // 410
4207 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X3^X7^Y7, }, // 419
4208 {Y4^X7^Y7, Z0^X4^Y4, S2^Y5^X6, Y2, }, // 420
4209 {Y4^X7^Y7, Z0^X4^Y4, S2^Y5^X6, X2, }, // 421
4210 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, S2^X5^Y6, }, // 422
4211 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, S2^X5^Y7, }, // 423
4214 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, S0^X7^Y7, }, // 426
4215 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, S0^X5^Y6, }, // 427
4216 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, S0^X5^Y7, }, // 428
4220 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, S1^X7^Y7, }, // 432
4221 {Y4^X6^Y6, Z0^X4^Y4, S1^X5^Y5, S0^X7^Y7, }, // 433
4222 {Y4^X7^Y7, Z1^X4^Y4, S1^Y5^X6, Y2, }, // 434
4223 {Y4^X7^Y7, Z0^X4^Y4, S1^Y5^X6, X2, }, // 435
4224 {Y4^X7^Y7, Z1^X4^Y4, S1^Y5^X6, Z0^X5^Y6, }, // 436
4225 {Y4^X7^Y7, Z0^X4^Y4, S1^Y5^X6, S0^X5^Y6, }, // 437
4226 {Y4^X8^Y8, Z1^X4^Y4, S1^Y5^X7, Z0^X5^Y7, }, // 438
4227 {Y4^X8^Y8, Z0^X4^Y4, S1^Y5^X7, S0^X5^Y7, }, // 439
4235 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, S2^X7^Y7, }, // 447
4236 {Y4^X6^Y6, Z0^X4^Y4, S2^X5^Y5, S1^X7^Y7, }, // 448
4237 {Y4^X6^Y6, S2^X4^Y4, S1^X5^Y5, S0^X7^Y7, }, // 449
4238 {Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, Y6, }, // 450
4239 {Y4^X7^Y7, S2^X4^Y4, S1^Y5^X6, X2, }, // 451
4240 {Y4^X7^Y7, Z0^X4^Y4, S2^Y5^X6, S1^X5^Y6, }, // 452
4241 {Y4^X7^Y7, S2^X4^Y4, S1^Y5^X6, S0^X5^Y6, }, // 453
4242 {Y4^X8^Y8, Z0^X4^Y4, S2^Y5^X7, S1^X5^Y7, }, // 454
4243 {Y4^X8^Y8, S2^X4^Y4, S1^Y5^X7, S0^X5^Y7, }, // 455
4274 {Y4^X7^Y7, X4^Y4, Y2^Y5^X6, Y3, }, // 486
4275 {Z3^Y4^X7^Y7, X4^Y4, Y1^Y5^X6, Y2, }, // 487
4276 {Z3^Y4^X7^Y7, Y1^X4^Y4, X1^Y5^X6, Y2, }, // 488
4277 {Y4^X7^Y7, X4^Y4, Y2^Y5^X6, X5^Y6, }, // 489
4278 {Y4^X7^Y7, X4^Y4, Y2^Y5^X6, Z3^X5^Y6, }, // 490
4279 {Y4^X7^Y7, X4^Y4, Y2^Y5^X6, Z2^X5^Y6, }, // 491
4280 {Z3^Y4^X7^Y7, X4^Y4, Y1^Y5^X6, Z2^X5^Y6, }, // 492
4281 {Z3^Y4^X7^Y7, Y1^X4^Y4, X1^Y5^X6, Z2^X5^Y6, }, // 493
4282 {Y4^X7^Y7, X4^Y4, Y2^Y5^X6, Y3^X5^Y6, }, // 494
4283 {Z3^Y4^X7^Y7, X4^Y4, Y1^Y5^X6, Y2^X5^Y6, }, // 495
4284 {Z3^Y4^X7^Y7, Y1^X4^Y4, X1^Y5^X6, Y2^X5^Y6, }, // 496
4285 {Y4^X8^Y8, X4^Y4, Y2^Y5^X7, X5^Y7, }, // 497
4286 {Y4^X8^Y8, X4^Y4, Y2^Y5^X7, Z3^X5^Y7, }, // 498
4287 {Y4^X8^Y8, X4^Y4, Y2^Y5^X7, Z2^X5^Y7, }, // 499
4288 {Z3^Y4^X8^Y8, X4^Y4, Y1^Y5^X7, Z2^X5^Y7, }, // 500
4289 {Z3^Y4^X8^Y8, Y1^X4^Y4, X1^Y5^X7, Z2^X5^Y7, }, // 501
4290 {Y4^X8^Y8, X4^Y4, Y2^Y5^X7, Y3^X5^Y7, }, // 502
4291 {Z3^Y4^X8^Y8, X4^Y4, Y1^Y5^X7, Y2^X5^Y7, }, // 503
4292 {Z3^Y4^X8^Y8, Y1^X4^Y4, X1^Y5^X7, Y2^X5^Y7, }, // 504
4305 {Y6, X6, Y7, X7, }, // 1
4306 {Y5, X6, Y6, X7, }, // 2
4310 {Z0^X6^Y6, X6, Y7, X7, }, // 6
4311 {Z0^Y5^X6, X6, Y6, X7, }, // 7
4315 {Z1^Y6^X7, Z0^X6^Y7, Y7, X7, }, // 11
4316 {Z1^Y5^X7, Z0^X6^Y6, Y6, X7, }, // 12
4320 {X6^Y6, X6, Y7, X7, }, // 16
4321 {Y5^X6, X6, Y6, X7, }, // 17
4325 {Y6^X7, X6^Y7, Y7, X7, }, // 21
4326 {Y5^X7, X6^Y6, Y6, X7, }, // 22
4334 {Y4, X6, Y6, X7, }, // 30
4338 {Z0^X6^Y6, X4, Y6, X7, }, // 34
4342 {Z1^Y6^X7, Z0^X6^Y7, Y4, X7, }, // 38
4343 {Z1^Y6^X7, Z0^X6^Y7, Y3, X4, }, // 39
4344 {Y2^Y6^X7, Z0^X6^Y7, Y3, X4, }, // 40
4345 {Y2^Y6^X7, X2^X6^Y7, Y3, X4, }, // 41
4362 {Z0^Y6^X7, Z5^X6^Y7, Y4, Y7, }, // 58
4363 {Z0^Y6^X7, Z5^X6^Y7, Y3, X4, }, // 59
4364 {Z0^Y6^X7, Y2^X6^Y7, X3, Y4, }, // 60
4365 {X2^Y6^X7, Y1^X6^Y7, X3, Y4, }, // 61
4384 {Z5^Y6^X7, Z4^X6^Y7, Y3, X4, }, // 80
4385 {Y2^Y6^X7, Z4^X6^Y7, Y3, X4, }, // 81
4386 {Y1^Y6^X7, X2^X6^Y7, Y3, X4, }, // 82
4401 {Z3^Y6^X7, Y2^X6^Y7, X3, Y4, }, // 97
4402 {Y2^Y6^X7, X2^X6^Y7, X3, Y1^Y7, }, // 98
4418 {Z0^Y6^X7, Z5^X6^Y7, Y7, S0^Y8, }, // 114
4419 {Z0^Y6^X7, Z5^X6^Y7, Y4, S0^Y7, }, // 115
4420 {Z0^Y6^X7, S0^X6^Y7, Y3, X4, }, // 116
4421 {S0^Y6^X7, Y2^X6^Y7, X3, Y4, }, // 117
4435 {Z5^Y6^X7, Z4^X6^Y7, S0^Y7, S1^Y8, }, // 131
4436 {S1^Y6^X7, Z4^X6^Y7, Y4, S0^Y7, }, // 132
4437 {S1^Y6^X7, S0^X6^Y7, Y3, X4, }, // 133
4449 {Z3^Y6^X7, S2^X6^Y7, S0^Y7, S1^Y8, }, // 145
4450 {S2^Y6^X7, S1^X6^Y7, Y4, S0^Y7, }, // 146
4451 {S0^Y6^X7, X2^X6^Y7, Y2, X3, }, // 147
4483 {Z3^Y6^X7, Z4^X6^Y7, Y3, X4, }, // 179
4484 {X2^Y6^X7, Z4^X6^Y7, Y3, X4, }, // 180
4485 {X2^Y6^X7, Z3^X6^Y7, Y3, X4, }, // 181
4486 {X2^Y6^X7, Z3^X6^Y7, Y2, X3, }, // 182
4487 {X6^Y7, Y6^X7, 0, 0, }, // 183
4488 {Y5^X7, X6^Y6, 0, 0, }, // 184
4492 {Y5^X9, X7^Y7, Y6^X8, 0, }, // 188
4493 {Y5^X8, X6^Y7, Y6^X7, 0, }, // 189
4494 {Y4^X8, X6^Y6, Y5^X7, 0, }, // 190
4495 {Y4^X7, X5^Y6, Y5^X6, 0, }, // 191
4496 {Y3^X7, X5^Y5, Y4^X6, 0, }, // 192
4497 {X6^Y9, Y6^X9, X7^Y8, Y7^X8, }, // 193
4498 {X6^Y8, Y5^X9, X7^Y7, Y6^X8, }, // 194
4499 {X5^Y8, Y5^X8, X6^Y7, Y6^X7, }, // 195
4500 {Y3^X8, X5^Y7, X6^Y6, Y5^X7, }, // 196
4501 {Y3^X7, X3^Y7, X5^Y6, Y5^X6, }, // 197
4502 {X6, X7^Y9, Y6^X10, X8^Y8, }, // 198
4503 {Y5, X6^Y9, Y6^X9, X7^Y8, }, // 199
4504 {Y3, X6^Y8, Y5^X9, X7^Y7, }, // 200
4507 {Y6^X9, X7^Y8, Y7^X8, Z0^X5^Y5, }, // 203
4508 {X6^Y8, Y6^X8, X7^Y7, Z0^X5^Y5, }, // 204
4509 {X5^Y8, X6^Y7, Y6^X7, Z0^X5^Y5, }, // 205
4510 {Y3^X7, X5^Y7, X6^Y6, Z0^X5^Y5, }, // 206
4512 {X6, Y6^X10, X7^Y9, Y7^X9, }, // 208
4513 {X5, X6^Y9, Y6^X9, X7^Y8, }, // 209
4516 {Y2, X3^Y8, Y3^X7, X5^Y7, }, // 212
4517 {X6, Y6, X7^Y10, Y7^X10, }, // 213
4518 {Y3, X6, Y6^X10, X7^Y9, }, // 214
4522 {Y6, X7^Y9, X8^Y8, Y7^X9, }, // 218
4523 {X6, Y6^X9, X7^Y8, Y7^X8, }, // 219
4524 {Y3, X6^Y8, X7^Y7, Y6^X8, }, // 220
4525 {X3, Y3^X8, X6^Y7, Y6^X7, }, // 221
4526 {Y2, X3^Y7, Y3^X7, X6^Y6, }, // 222
4527 {Y3, X6, X7^Y9, Y6^X10, }, // 223
4529 {X6^Y6, Y6, X7, X8^Y10, }, // 225
4530 {X6^Y6, Y3, Y6, X7^Y10, }, // 226
4531 {X6^Y6, X3, Y3, X7^Y9, }, // 227
4534 {X6, X7, Y7^X10, X8^Y9, }, // 230
4535 {Y3, X6, X7^Y9, Y7^X9, }, // 231
4536 {X3, Y3, X6^Y9, X7^Y8, }, // 232
4538 {X2, Y2, X3^Y8, Y3^X7, }, // 234
4539 {X6^Y6, X6, X7, Y7^X11, }, // 235
4540 {X6^Y6, Y3, X6, X7^Y10, }, // 236
4544 {X6^Y6, X6^Y8, X7, Y7, }, // 240
4545 {X6^Y6, X6^Y8, Y3, X7, }, // 241
4549 {Y6^X7, X7, Y7, X8^Y10, }, // 245
4550 {Y6^X7, Y3, X7, Y7^X10, }, // 246
4551 {Y6^X7, X3, Y3, X7^Y9, }, // 247
4552 {Z1^Y6^X7, Y2, X3, Y3^X9, }, // 248
4553 {Z1^Y6^X7, X2, Y2, X3^Y8, }, // 249
4554 {Y6^X7, X6^Y7, X7, Y7, }, // 250
4555 {Y6^X7, X6^Y7, Y3, X7, }, // 251
4556 {Y6^X7, X6^Y7, X3, Y3, }, // 252
4557 {Z1^Y6^X7, Z0^X6^Y7, Y2, X3, }, // 253
4558 {Z1^Y6^X7, Z0^X6^Y7, X2, Y2, }, // 254
4563 {X5^Y7, Y5^X7, Y2^X6^Y6, 0, }, // 259
4564 {X5^Y6, Y4^X7, X2^Y5^X6, 0, }, // 260
4566 {Y5^X9, Y6^X8, X6^Y8, X7^Y7, }, // 262
4567 {Y5^X8, X5^Y8, Y6^X7, Y2^X6^Y7, }, // 263
4568 {Y3^X8, X5^Y7, Y5^X7, Y2^X6^Y6, }, // 264
4569 {Y3^X7, X3^Y7, Y5^X6, Y1^X5^Y6, }, // 265
4570 {Y3, X5^Y9, X6^Y8, X7^Y7, }, // 266
4571 {Y2, Y3^X7, X3^Y8, X5^Y7, }, // 267
4572 {Y6^X8, X6^Y8, X7^Y7, Z0^X5^Y5, }, // 268
4573 {X5^Y8, Y6^X7, Y2^X6^Y7, Z0^X5^Y5, }, // 269
4574 {Y3^X7, X5^Y7, X2^X6^Y6, Z0^X5^Y5, }, // 270
4579 {X2, Y2, Y3^X7, X3^Y9, }, // 275
4580 {Y3, X6^Y8, Y6^X8, Y2^X7^Y7, }, // 276
4581 {X3, Y3^X8, X6^Y7, X2^Y6^X7, }, // 277
4582 {Y2, Y3^X7, X3^Y7, Y1^X6^Y6, }, // 278
4588 {Y3, X6, Y7^X9, X7^Y9, }, // 284
4590 {X2, Y2, Y3^X7, X3^Y8, }, // 286
4591 {Z0^Y6^X7, Y2, X3, Y3^X9, }, // 287
4592 {Z0^Y6^X7, X2, Y2, Y3^X8, }, // 288
4593 {Z0^Y6^X7, Z4^X6^Y7, X2, X3, }, // 289
4594 {Z0^Y6^X7, Z4^X6^Y7, X2, Y2, }, // 290
4599 {Y4^X8, X2^X6^Y6, Y2^Y5^X7, 0, }, // 295
4600 {Y4^X7, Y2^Y5^X6, Y1^X5^Y6, 0, }, // 296
4601 {Y3^X7, X1^X5^Y5, Y1^Y4^X6, 0, }, // 297
4602 {X5^Y8, X6^Y7, Y5^X8, Y2^Y6^X7, }, // 298
4603 {X5^Y8, Y5^X8, X2^Y6^X7, Y2^X6^Y7, }, // 299
4604 {Y3^X8, X5^Y7, X2^Y5^X7, Y1^X6^Y6, }, // 300
4605 {Y3^X7, X3^Y7, X1^Y5^X6, Y1^X5^Y6, }, // 301
4607 {Y3, X6^Y8, Y5^X9, X2^X7^Y7, }, // 303
4608 {X3, Y3^X9, Y5^X8, Y2^Y6^X7, }, // 304
4610 {X5^Y8, X6^Y7, Y2^Y6^X7, Z0^X5^Y5, }, // 306
4611 {X5^Y8, X2^X6^Y7, Y2^Y6^X7, Z0^X5^Y5, }, // 307
4612 {Y3^X8, Y2^Y5^X7, Y1^X6^Y6, Z0^X5^Y5, }, // 308
4613 {Y3^X7, Y2^X6^Y6, X1^X5^Y7, Y1^X5^Y5, }, // 309
4615 {X3, Y3^X8, X5^Y8, X2^Y6^X7, }, // 311
4616 {Y2, Y3^X8, X3^Y7, X1^Y5^X7, }, // 312
4617 {Y3, X6^Y8, X2^X7^Y7, Y2^Y6^X8, }, // 313
4618 {X3, Y3^X8, Y2^Y6^X7, Y1^X6^Y7, }, // 314
4619 {X3, Y3^X8, Y2^Y6^X7, X1^X6^Y7, }, // 315
4622 {X3, Y3, X6^Y9, X2^X7^Y8, }, // 318
4624 {X2, X3, Y3^X8, Y2^X7^Y7, }, // 320
4629 {Z4^Y6^X7, X2, X3, Y3^X9, }, // 325
4630 {Y1^Y6^X7, X2, X3, Y3^X9, }, // 326
4631 {Z4^Y6^X7, Z3^X6^Y7, Y2, X3, }, // 327
4632 {Z4^Y6^X7, Z3^X6^Y7, X2, Y2, }, // 328
4634 {Y1^X5^Y7, X2^X6^Y6, Y2^Y5^X7, 0, }, // 330
4635 {X1^X5^Y6, Y1^Y4^X7, X2^Y5^X6, 0, }, // 331
4636 {Y5^X8, Y1^X5^Y8, X2^X6^Y7, Y2^Y6^X7, }, // 332
4637 {Y3^X8, Y1^X5^Y7, X1^Y5^X7, Y2^X6^Y6, }, // 333
4638 {Y3^X7, Y1^X4^Y7, Y2^X5^Y6, X1^Y5^X6, }, // 334
4639 {Y3, X5^Y9, X6^Y8, X2^X7^Y7, }, // 335
4640 {Y3, X5^Y9, Y1^X6^Y8, X2^X7^Y7, }, // 336
4642 {Y2, Y3^X7, X3^Y7, Y0^X5^Y6, }, // 338
4643 {Y1^X5^Y8, X2^X6^Y7, Y2^Y6^X7, Z0^X5^Y5, }, // 339
4644 {X1^X5^Y8, Y2^Y6^X7, X2^X6^Y7, Y1^X5^Y5, }, // 340
4645 {X1^X5^Y8, X2^X6^Y7, Y2^Y6^X7, Y1^X5^Y5, }, // 341
4651 {Y3, Y1^X6^Y8, X2^X7^Y7, Y2^Y6^X8, }, // 347
4652 {Y3, X1^X6^Y8, Y2^Y6^X8, X2^X7^Y7, }, // 348
4653 {Y3, X1^X6^Y8, X2^X7^Y7, Y2^Y6^X8, }, // 349
4658 {X3, Y3, Y1^X6^Y9, X2^X7^Y8, }, // 354
4660 {X3, Y3, X1^X6^Y9, X2^X7^Y8, }, // 356
4665 {Y6^X7, X3, Y3, Y1^X7^Y9, }, // 361
4666 {Y1^Y6^X7, X3, Y3, X1^X7^Y9, }, // 362
4667 {Y0^Y6^X7, X3, Y3, X1^X7^Y9, }, // 363
4668 {Z3^Y6^X7, Z2^X6^Y7, X2, X3, }, // 364
4669 {Z2^Y6^X7, Y0^X6^Y7, X2, X3, }, // 365
4670 {Y5^X9, X6^Y8, Y6^X8, X7^Y7, }, // 366
4671 {Y4^X8, X5^Y7, Y5^X7, X6^Y6, }, // 367
4672 {X4^Y7, Y4^X7, X5^Y6, Y5^X6, }, // 368
4673 {X5^Y7, Y4^X8, X6^Y6, Y5^X7, }, // 369
4674 {X3^Y7, Y4^X7, X5^Y6, Y5^X6, }, // 370
4675 {Y5, X6^Y8, X7^Y7, Y6^X8, }, // 371
4676 {Y3, Y5^X8, X6^Y7, Y6^X7, }, // 372
4677 {X3, Y3^X8, X6^Y6, Y5^X7, }, // 373
4678 {Y2, Y3^X7, X3^Y6, Y5^X6, }, // 374
4679 {X5, X6^Y8, Y6^X8, X7^Y7, }, // 375
4680 {Y3, X5^Y8, X6^Y7, Y6^X7, }, // 376
4681 {X3, Y3^X7, X5^Y7, X6^Y6, }, // 377
4683 {X6, Y6, X7^Y8, Y7^X8, }, // 379
4684 {Y3, X6, Y6^X8, X7^Y7, }, // 380
4685 {X3, Y3, X6^Y7, Y6^X7, }, // 381
4686 {Y2, X3, Y3^X7, X6^Y6, }, // 382
4688 {Y6, X7^Y8, Y7^X8, X5^Y6, }, // 384
4689 {X6, X7^Y7, Y6^X8, X5^Y6, }, // 385
4690 {Y3, X6^Y7, Y6^X7, X5^Y6, }, // 386
4691 {X3, Y3^X7, X6^Y6, Z0^X5^Y6, }, // 387
4693 {Y3, X6, X7^Y7, Y6^X8, }, // 389
4695 {X6^Y6, Y6, X7, Y7^X8, }, // 391
4696 {X6^Y6, Y3, Y6, X7^Y7, }, // 392
4697 {X6^Y6, X3, Y3, Y6^X7, }, // 393
4698 {X6^Y6, Y2, X3, Y3^X7, }, // 394
4700 {X6, X7, Y7^X8, X6^Y6, }, // 396
4701 {Y3, X6, X7^Y7, X6^Y6, }, // 397
4703 {Y2, X3, Y3^X7, Z0^X6^Y6, }, // 399
4705 {X6^Y6, X6, X7, Y7^X8, }, // 401
4706 {X6^Y6, Y3, X6, X7^Y7, }, // 402
4708 {Z0^X6^Y6, Y2, X3, Y3^X7, }, // 404
4712 {Y6^X7, X7, Y7, X6^Y7, }, // 408
4713 {Y6^X7, Y3, X7, X6^Y7, }, // 409
4714 {Y6^X7, X3, Y3, X6^Y7, }, // 410
4715 {Y2^Y6^X7, X3, Y3, Z0^X6^Y7, }, // 411
4716 {Y2^Y6^X7, X3, Y3, X2^X6^Y7, }, // 412
4717 {Y2^Y6^X7, Z0^X6^Y7, X3, Y3, }, // 413
4718 {Y2^Y6^X7, X2^X6^Y7, X3, Y3, }, // 414
4719 {X5^Y9, Y6^X8, X6^Y8, X7^Y7, }, // 415
4720 {Y4^X8, X5^Y7, Y5^X7, X2^X6^Y6, }, // 416
4721 {Y4^X7, X4^Y7, Y5^X6, Y1^X5^Y6, }, // 417
4722 {Y4^X8, X5^Y7, Y5^X7, Y2^X6^Y6, }, // 418
4723 {Y4^X7, X3^Y7, Y5^X6, Y1^X5^Y6, }, // 419
4724 {X5, Y6^X8, X6^Y8, X7^Y7, }, // 420
4725 {Y3, X5^Y8, Y6^X7, Y2^X6^Y7, }, // 421
4726 {X3, Y3^X7, X5^Y7, Y2^X6^Y6, }, // 422
4728 {X3, Y3^X7, X5^Y7, X2^X6^Y6, }, // 424
4729 {Y3, X5, X6^Y8, X7^Y7, }, // 425
4734 {X6, Y6^X8, X7^Y7, X5^Y6, }, // 430
4735 {Y3, Y6^X7, Y2^X6^Y7, X5^Y6, }, // 431
4736 {X3, Y3^X7, Y2^X6^Y6, Z0^X5^Y6, }, // 432
4737 {X3, Y3^X7, Y2^X6^Y6, Y1^X5^Y6, }, // 433
4738 {X3, Y3, Y6^X7, Y2^X6^Y7, }, // 434
4739 {X2, X3, Y3^X7, Y2^X6^Y6, }, // 435
4747 {Y6^X7, Y3, Y7, X6^Y7, }, // 443
4748 {Y6^X7, X3, Y3, Y2^X6^Y7, }, // 444
4749 {Y6^X7, X6^Y7, Y3, Y7, }, // 445
4750 {Y6^X7, Y2^X6^Y7, X3, Y3, }, // 446
4751 {X5^Y8, Y5^X8, X6^Y7, Y2^Y6^X7, }, // 447
4752 {X5^Y8, Y5^X8, X2^X6^Y7, Y2^Y6^X7, }, // 448
4753 {Y4^X8, X5^Y7, X2^X6^Y6, Y1^Y5^X7, }, // 449
4754 {X4^Y7, Y4^X7, X1^X5^Y6, Y1^Y5^X6, }, // 450
4755 {Y4^X9, X6^Y7, Y5^X8, Y2^Y6^X7, }, // 451
4756 {X5^Y7, Y4^X8, X2^Y5^X7, Y1^X6^Y6, }, // 452
4757 {X3^Y7, Y4^X7, X1^Y5^X6, Y1^X5^Y6, }, // 453
4758 {Y3, X6^Y7, Y5^X8, Y2^Y6^X7, }, // 454
4759 {Y3, Y5^X8, X2^Y6^X7, Y2^X6^Y7, }, // 455
4760 {X3, Y3^X8, X2^Y5^X7, Y1^X6^Y6, }, // 456
4762 {Y3, X5^Y8, X6^Y7, Y2^Y6^X7, }, // 458
4763 {Y3, X5^Y8, X2^X6^Y7, Y2^Y6^X7, }, // 459
4764 {X3, Y3^X8, Y2^Y5^X7, Y1^X6^Y6, }, // 460
4765 {X3, Y3^X7, Y2^X6^Y6, X1^X5^Y7, }, // 461
4766 {X3, Y3, X6^Y7, Y2^Y6^X7, }, // 462
4767 {X3, Y3, X2^X6^Y7, Y2^Y6^X7, }, // 463
4768 {X2, X3, Y3^X7, Y2^Y5^X6, }, // 464
4770 {Y3, X6^Y7, Y2^Y6^X7, X5^Y6, }, // 466
4771 {Y3, X2^Y6^X7, Y2^X6^Y7, X5^Y6, }, // 467
4772 {Y3, X2^Y6^X7, Y2^X6^Y7, Z0^X5^Y6, }, // 468
4773 {Y3, X2^Y6^X7, Y2^X6^Y7, X1^X5^Y6, }, // 469
4774 {X3, Y3, X2^Y6^X7, Y2^X6^Y7, }, // 470
4775 {X6^Y6, X3, Y3, Y2^Y6^X7, }, // 471
4777 {X3, Y3, Y2^Y6^X7, X6^Y6, }, // 473
4778 {Y2^Y6^X7, X3, Y3, X6^Y7, }, // 474
4779 {Y2^Y6^X7, X6^Y7, X3, Y3, }, // 475
4780 {Y4^X8, X1^X5^Y7, Y1^Y5^X7, X2^X6^Y6, }, // 476
4781 {Y4^X7, Y0^X4^Y7, X1^X5^Y6, Y1^Y5^X6, }, // 477
4782 {Y4^X8, Y1^X5^Y7, X1^Y5^X7, Y2^X6^Y6, }, // 478
4783 {Y3^X7, Y0^X4^Y6, X1^Y4^X6, Y1^X5^Y5, }, // 479
4784 {Y3, X5^Y8, X2^Y6^X7, Y2^X6^Y7, }, // 480
4785 {Y3, Y1^X5^Y8, X2^X6^Y7, Y2^Y6^X7, }, // 481
4786 {X3, Y3^X7, Y1^X5^Y6, X1^Y5^X6, }, // 482
4788 {Y3, X1^X5^Y8, Y2^Y6^X7, X2^X6^Y7, }, // 484
4789 {Y3, X1^X5^Y8, X2^X6^Y7, Y2^Y6^X7, }, // 485
4793 {Y3, X2^Y6^X7, Y1^X6^Y7, Y2^X5^Y6, }, // 489
4794 {X3, Y3, X2^Y6^X7, Y1^X6^Y7, }, // 490
4800 {Y2^Y6^X7, X3, Y3, Y1^X6^Y7, }, // 496
4801 {X6^X8^Y8, Y6, X7, X8^Y10, }, // 497
4802 {X6^X8^Y8, Y3, Y6, X7^Y10, }, // 498
4803 {X6^X8^Y8, X3, Y3, X7^Y9, }, // 499
4806 {Z0^X6^Y6, X6, X7, Y7^X11, }, // 502
4807 {Z0^X6^Y6, Y3, X6, X7^Y10, }, // 503
4809 {Z0^X6^Y6, X6^X9^Y9, X7, Y7, }, // 505
4810 {Z0^X6^Y6, X6^X9^Y9, Y3, X7, }, // 506
4814 {Z1^Y6^X7, X7, Y7, X8^Y10, }, // 510
4815 {Z1^Y6^X7, Y3, X7, Y7^X10, }, // 511
4816 {Z1^Y6^X7, X3, Y3, X7^Y9, }, // 512
4817 {Z1^Y6^X7, Z0^X6^Y7, X7, Y7, }, // 513
4818 {Z1^Y6^X7, Z0^X6^Y7, Y3, X7, }, // 514
4819 {Z1^Y6^X7, Z0^X6^Y7, X3, Y3, }, // 515
4820 {Y6^X7, S0^X6^Y7, 0, 0, }, // 516
4821 {Y5^X7, S0^X6^Y6, 0, 0, }, // 517
4825 {X6^Y8, Y6^X8, S0^X7^Y7, 0, }, // 521
4826 {X6^Y7, Y5^X8, S0^Y6^X7, 0, }, // 522
4827 {X5^Y7, Y5^X7, S0^X6^Y6, 0, }, // 523
4828 {X5^Y6, Y4^X7, S0^Y5^X6, 0, }, // 524
4830 {Y6^X9, X6^Y9, Y7^X8, S0^X7^Y8, }, // 526
4831 {Y5^X9, X6^Y8, Y6^X8, S0^X7^Y7, }, // 527
4832 {Y5^X8, X5^Y8, Y6^X7, S0^X6^Y7, }, // 528
4833 {Y3^X8, X5^Y7, Y5^X7, S0^X6^Y6, }, // 529
4834 {Y3^X7, X3^Y7, Y5^X6, S0^X5^Y6, }, // 530
4835 {Y5, X6^Y9, X7^Y8, Y6^X9, }, // 531
4837 {Y2, Y3^X8, X3^Y7, Y5^X7, }, // 533
4838 {Y6^X9, Y7^X8, S0^X7^Y8, Z0^X5^Y5, }, // 534
4839 {X6^Y8, Y6^X8, S0^X7^Y7, Z0^X5^Y5, }, // 535
4840 {X5^Y8, Y6^X7, S0^X6^Y7, Z0^X5^Y5, }, // 536
4841 {Y3^X7, X5^Y7, S0^X6^Y6, Z0^X5^Y5, }, // 537
4843 {X6, Y6, Y7^X10, X7^Y10, }, // 539
4844 {Y6, X7^Y9, Y7^X9, S0^X8^Y8, }, // 540
4845 {X6, X7^Y8, Y6^X9, S0^Y7^X8, }, // 541
4846 {Y3, X6^Y8, Y6^X8, S0^X7^Y7, }, // 542
4847 {X3, Y3^X8, X6^Y7, S0^Y6^X7, }, // 543
4848 {Y2, Y3^X7, X3^Y7, S0^X6^Y6, }, // 544
4849 {X6^X8^Y8, Y6, X7, Y7^X11, }, // 545
4852 {X6, X7, Y7^X10, Y8^X9, }, // 548
4853 {Z0^Y6^X7, X7, Y7, X8^Y10, }, // 549
4854 {Z0^Y6^X7, Y3, X7, X8^Y9, }, // 550
4855 {Z0^Y6^X7, X3, Y3, X7^Y9, }, // 551
4856 {Z0^Y6^X7, Z4^X6^Y7, X7, Y7, }, // 552
4857 {Z0^Y6^X7, Z4^X6^Y7, Y3, X7, }, // 553
4858 {Z0^Y6^X7, Z4^X6^Y7, X3, Y3, }, // 554
4859 {Z0^Y6^X7, Z4^X6^Y7, Y2, X3, }, // 555
4860 {S0^X6^Y7, S1^Y6^X7, 0, 0, }, // 556
4861 {S0^Y5^X7, S1^X6^Y6, 0, 0, }, // 557
4865 {Y5^X9, S0^X7^Y7, S1^Y6^X8, 0, }, // 561
4866 {Y5^X8, S0^X6^Y7, S1^Y6^X7, 0, }, // 562
4867 {Y4^X8, S0^X6^Y6, S1^Y5^X7, 0, }, // 563
4868 {Y4^X7, S0^X5^Y6, S1^Y5^X6, 0, }, // 564
4869 {Y3^X7, S0^X5^Y5, S1^Y4^X6, 0, }, // 565
4870 {X6^Y9, Y6^X9, S0^X7^Y8, S1^Y7^X8, }, // 566
4871 {X6^Y8, Y5^X9, S0^X7^Y7, S1^Y6^X8, }, // 567
4872 {X5^Y8, Y5^X8, S0^X6^Y7, S1^Y6^X7, }, // 568
4873 {Y3^X8, X5^Y7, S0^X6^Y6, S1^Y5^X7, }, // 569
4874 {Y3^X7, X3^Y7, S0^X5^Y6, S1^Y5^X6, }, // 570
4875 {X6, X7^Y9, Y6^X10, S0^X8^Y8, }, // 571
4876 {Y5, X6^Y9, Y6^X9, S0^X7^Y8, }, // 572
4877 {Y3, X6^Y8, Y5^X9, S0^X7^Y7, }, // 573
4880 {Y6^X9, S0^X7^Y8, S1^Y7^X8, Z0^X5^Y5, }, // 576
4881 {X6^Y8, S0^Y6^X8, S1^X7^Y7, Z0^X5^Y5, }, // 577
4882 {X5^Y8, S0^X6^Y7, S1^Y6^X7, Z0^X5^Y5, }, // 578
4883 {Y3^X8, S0^X6^Y6, S1^Y5^X7, Z0^X5^Y5, }, // 579
4885 {X6, Y6^X10, X7^Y9, S0^Y7^X9, }, // 581
4886 {X5, X6^Y9, Y6^X9, S0^X7^Y8, }, // 582
4890 {Y6, X7^Y9, S0^X8^Y8, S1^Y7^X9, }, // 586
4891 {X6, Y6^X9, S0^X7^Y8, S1^Y7^X8, }, // 587
4892 {Y3, X6^Y8, S0^X7^Y7, S1^Y6^X8, }, // 588
4893 {X3, Y3^X8, S0^X6^Y7, S1^Y6^X7, }, // 589
4894 {X6, X7, Y7^X10, S0^X8^Y9, }, // 590
4895 {Y3, X6, X7^Y9, S0^Y7^X9, }, // 591
4896 {X3, Y3, X6^Y9, S0^X7^Y8, }, // 592
4897 {Y2, X3, Y3^X9, S0^X7^Y7, }, // 593
4898 {Z3^X6^Y6, X6, X7, Y7^X11, }, // 594
4899 {Z3^X6^Y6, Y3, X6, X7^Y10, }, // 595
4901 {Z3^X6^Y6, X6^X9^Y9, X7, Y7, }, // 597
4902 {Z3^X6^Y6, X6^X9^Y9, Y3, X7, }, // 598
4906 {Z4^Y6^X7, X7, Y7, X8^Y10, }, // 602
4907 {Z4^Y6^X7, Y3, X7, Y7^X10, }, // 603
4908 {Z4^Y6^X7, X3, Y3, X7^Y9, }, // 604
4909 {Z4^Y6^X7, Y2, X3, Y3^X9, }, // 605
4910 {S1^Y6^X7, X2, Y2, Y3^X8, }, // 606
4911 {Z4^Y6^X7, Z3^X6^Y7, X7, Y7, }, // 607
4912 {Z4^Y6^X7, Z3^X6^Y7, Y3, X7, }, // 608
4913 {Z4^Y6^X7, Z3^X6^Y7, X3, Y3, }, // 609
4914 {S1^Y6^X7, S2^X6^Y7, 0, 0, }, // 610
4915 {S1^Y5^X7, S2^X6^Y6, 0, 0, }, // 611
4919 {S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, 0, }, // 615
4920 {S0^X6^Y7, S1^Y5^X8, S2^Y6^X7, 0, }, // 616
4921 {S0^X5^Y7, S1^Y5^X7, S2^X6^Y6, 0, }, // 617
4922 {S0^X5^Y6, S1^Y4^X7, S2^Y5^X6, 0, }, // 618
4923 {Y6^X9, S0^X6^Y9, S1^Y7^X8, S2^X7^Y8, }, // 619
4924 {Y5^X9, S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, }, // 620
4925 {Y5^X8, S0^X5^Y8, S1^Y6^X7, S2^X6^Y7, }, // 621
4926 {Y3^X8, S0^X5^Y7, S1^Y5^X7, S2^X6^Y6, }, // 622
4928 {X6, Y6^X10, S0^X7^Y9, S1^Y7^X9, }, // 624
4929 {Y5, X6^Y9, S0^X7^Y8, S1^Y6^X9, }, // 625
4932 {Y2, Y3^X8, S0^X5^Y7, S1^Y5^X7, }, // 628
4933 {S0^X6^Y9, S1^Y7^X8, S2^X7^Y8, Z0^X5^Y5, }, // 629
4934 {S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, Z0^X5^Y5, }, // 630
4935 {S0^X5^Y8, S1^Y6^X7, S2^X6^Y7, Z0^X5^Y5, }, // 631
4936 {Y3^X7, S0^X5^Y7, S1^X6^Y6, S2^X5^Y5, }, // 632
4937 {X5, X6^Y9, S0^Y6^X9, S1^X7^Y8, }, // 633
4939 {Y2, Y3^X7, X3^Y8, S0^X5^Y7, }, // 635
4940 {X6, Y6, Y7^X10, S0^X7^Y10, }, // 636
4941 {Y3, X6, Y6^X10, S0^X7^Y9, }, // 637
4945 {Y6, S0^X7^Y9, S1^Y7^X9, S2^X8^Y8, }, // 641
4946 {X6, S0^X7^Y8, S1^Y6^X9, S2^Y7^X8, }, // 642
4947 {Y3, S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, }, // 643
4949 {X6, Y7, S0^X7^Y10, S1^Y8^X9, }, // 645
4950 {Y3, X6, S0^X7^Y9, S1^Y7^X9, }, // 646
4953 {Z2^X6^Y6, X6, X7, Y7^X11, }, // 649
4954 {Z2^X6^Y6, Y3, X6, X7^Y10, }, // 650
4958 {Z2^X6^Y6, X6^X9^Y9, X7, Y7, }, // 654
4959 {Z2^X6^Y6, X6^X9^Y9, Y3, X7, }, // 655
4963 {Z3^Y6^X7, X7, Y7, S0^X8^Y10, }, // 659
4964 {Z3^Y6^X7, Y3, X7, S0^X8^Y9, }, // 660
4965 {Z3^Y6^X7, X3, Y3, S0^X7^Y9, }, // 661
4966 {S2^Y6^X7, Y2, X3, Y3^X9, }, // 662
4967 {S2^Y6^X7, X2, Y2, Y3^X8, }, // 663
4968 {Z3^Y6^X7, Z2^X6^Y7, X7, Y7, }, // 664
4969 {Z3^Y6^X7, Z2^X6^Y7, Y3, X7, }, // 665
4970 {Z3^Y6^X7, Z2^X6^Y7, X3, Y3, }, // 666
4971 {Z3^Y6^X7, Z2^X6^Y7, Y2, X3, }, // 667
4972 {Z2^Y6^X7, S2^X6^Y7, X2, Y2, }, // 668
4973 {Y6, X7^Y8, Y7^X8, Z0^X5^Y6, }, // 669
4974 {X6, X7^Y7, Y6^X8, Z0^X5^Y6, }, // 670
4975 {Y3, X6^Y7, Y6^X7, Z0^X5^Y6, }, // 671
4976 {X6^X8^Y8, Y6, X7, Y7^X8, }, // 672
4977 {X6^X8^Y8, Y3, Y6, X7^Y7, }, // 673
4978 {X6^X8^Y8, X3, Y3, Y6^X7, }, // 674
4979 {X6^X8^Y8, Y2, X3, Y3^X7, }, // 675
4981 {X6, X7, Y7^X8, Z0^X6^Y6, }, // 677
4982 {Y3, X6, X7^Y7, Z0^X6^Y6, }, // 678
4984 {Z0^X6^Y6, X6, X7, Y7^X8, }, // 680
4985 {Z0^X6^Y6, Y3, X6, X7^Y7, }, // 681
4989 {Z1^Y6^X7, X7, Y7, Z0^X6^Y7, }, // 685
4990 {Z1^Y6^X7, Y3, X7, Z0^X6^Y7, }, // 686
4991 {Z1^Y6^X7, X3, Y3, Z0^X6^Y7, }, // 687
4992 {Y4^X8, X5^Y7, Y5^X7, S0^X6^Y6, }, // 688
4993 {Y4^X7, X4^Y7, Y5^X6, S0^X5^Y6, }, // 689
4994 {Y4^X7, X3^Y7, Y5^X6, S0^X5^Y6, }, // 690
4995 {X6, Y6^X9, Y7^X8, S0^X7^Y8, }, // 691
4996 {Y5, X6^Y8, Y6^X8, S0^X7^Y7, }, // 692
4997 {Y3, Y5^X8, Y6^X7, S0^X6^Y7, }, // 693
4998 {X3, Y3^X8, Y5^X7, S0^X6^Y6, }, // 694
5000 {X5, X6^Y8, Y6^X8, S0^X7^Y7, }, // 696
5001 {Y3, X5^Y8, Y6^X7, S0^X6^Y7, }, // 697
5002 {X3, Y3^X7, X5^Y7, S0^X6^Y6, }, // 698
5004 {X6, Y6, Y7^X8, S0^X7^Y8, }, // 700
5005 {Y3, X6, Y6^X8, S0^X7^Y7, }, // 701
5006 {X3, Y3, Y6^X7, S0^X6^Y7, }, // 702
5007 {Y2, X3, Y3^X7, S0^X6^Y6, }, // 703
5008 {Y6, Y7^X8, S0^X7^Y8, Z0^X5^Y6, }, // 704
5009 {X6, Y6^X8, S0^X7^Y7, Z0^X5^Y6, }, // 705
5010 {Y3, Y6^X7, S0^X6^Y7, Z0^X5^Y6, }, // 706
5011 {X3, Y3^X7, S0^X6^Y6, Z0^X5^Y6, }, // 707
5013 {X6^X8^Y8, Y6, Y7, S0^X7^Y8, }, // 709
5014 {X6^X8^Y8, Y3, Y6, S0^X7^Y7, }, // 710
5017 {X6, Y7, S0^X7^Y8, Z0^X6^Y6, }, // 713
5018 {Y3, X6, S0^X7^Y7, Z0^X6^Y6, }, // 714
5021 {Z0^X6^Y6, X6, Y7, S0^X7^Y8, }, // 717
5022 {Z0^X6^Y6, Y3, X6, S0^X7^Y7, }, // 718
5025 {Z0^X6^Y6, X6^X9^Y9, Y7, S0^X7, }, // 721
5026 {Z0^X6^Y6, X6^X9^Y9, Y3, S0^X7, }, // 722
5029 {Z0^Y6^X7, Y7, S0^X7, Z4^X6^Y7, }, // 725
5030 {Z0^Y6^X7, Y3, S0^X7, Z4^X6^Y7, }, // 726
5031 {Z0^Y6^X7, X3, Y3, S0^X6^Y7, }, // 727
5032 {S0^Y6^X7, X3, Y3, Y2^X6^Y7, }, // 728
5033 {Z0^Y6^X7, Z4^X6^Y7, Y7, S0^X7, }, // 729
5034 {Z0^Y6^X7, Z4^X6^Y7, Y3, S0^X7, }, // 730
5035 {Z0^Y6^X7, S0^X6^Y7, X3, Y3, }, // 731
5036 {S0^Y6^X7, Y2^X6^Y7, X3, Y3, }, // 732
5037 {Y5^X9, X6^Y8, S0^Y6^X8, S1^X7^Y7, }, // 733
5038 {Y4^X8, X5^Y7, S0^Y5^X7, S1^X6^Y6, }, // 734
5039 {X4^Y7, Y4^X7, S0^X5^Y6, S1^Y5^X6, }, // 735
5040 {X5^Y7, Y4^X8, S0^X6^Y6, S1^Y5^X7, }, // 736
5041 {X3^Y7, Y4^X7, S0^X5^Y6, S1^Y5^X6, }, // 737
5042 {Y5, X6^Y8, S0^X7^Y7, S1^Y6^X8, }, // 738
5043 {Y3, Y5^X8, S0^X6^Y7, S1^Y6^X7, }, // 739
5044 {X3, Y3^X8, S0^X6^Y6, S1^Y5^X7, }, // 740
5046 {X5, X6^Y8, S0^Y6^X8, S1^X7^Y7, }, // 742
5047 {Y3, X5^Y8, S0^X6^Y7, S1^Y6^X7, }, // 743
5048 {X6, Y6, S0^X7^Y8, S1^Y7^X8, }, // 744
5049 {Y3, X6, S0^Y6^X8, S1^X7^Y7, }, // 745
5050 {X3, Y3, S0^X6^Y7, S1^Y6^X7, }, // 746
5051 {Y2, X3, Y3^X7, S0^Y5^X6, }, // 747
5052 {Y6, S0^X7^Y8, S1^Y7^X8, Z0^X5^Y6, }, // 748
5053 {X6, S0^X7^Y7, S1^Y6^X8, Z0^X5^Y6, }, // 749
5054 {Y3, S0^X6^Y7, S1^Y6^X7, Z0^X5^Y6, }, // 750
5055 {Y3, X6, S0^X7^Y7, S1^Y6^X8, }, // 751
5056 {X6^X8^Y8, Y6, S0^X7, S1^Y7^X8, }, // 752
5057 {X6^X8^Y8, Y3, S0^X7, S1^Y6^X8, }, // 753
5059 {X6, S0^X7, S1^Y7^X8, Z3^X6^Y6, }, // 755
5060 {Y3, S0^X7, S1^Y6^X8, Z3^X6^Y6, }, // 756
5062 {Z3^X6^Y6, X6, S0^X7, S1^Y7^X8, }, // 758
5063 {Z3^X6^Y6, Y3, S0^X7, S1^Y6^X8, }, // 759
5065 {Z3^X6^Y6, X6^X9^Y9, S0^X7, S1^Y7, }, // 761
5066 {Z3^X6^Y6, S1^X9^Y9, Y3, S0^X7, }, // 762
5068 {Z4^Y6^X7, S0^X7, S1^Y7, Z3^X6^Y7, }, // 764
5069 {S1^Y6^X7, Y3, S0^X7, Z3^X6^Y7, }, // 765
5070 {S1^Y6^X7, X3, Y3, S0^X6^Y7, }, // 766
5071 {Z4^Y6^X7, Z3^X6^Y7, S0^X7, S1^Y7, }, // 767
5072 {S1^Y6^X7, Z3^X6^Y7, Y3, S0^X7, }, // 768
5073 {S1^Y6^X7, S0^X6^Y7, X3, Y3, }, // 769
5074 {Y4^X8, S0^X5^Y7, S1^Y5^X7, S2^X6^Y6, }, // 770
5075 {Y4^X7, S0^X4^Y7, S1^Y5^X6, S2^X5^Y6, }, // 771
5076 {Y3^X7, S0^X4^Y6, S1^Y4^X6, S2^X5^Y5, }, // 772
5077 {Y6, S0^X6^Y9, S1^Y7^X8, S2^X7^Y8, }, // 773
5078 {Y5, S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, }, // 774
5079 {Y3, Y5^X7, S0^X5^Y7, S1^X6^Y6, }, // 775
5080 {X3, Y3^X7, S0^X5^Y6, S1^Y5^X6, }, // 776
5082 {X5, S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, }, // 778
5083 {Y3, S0^X5^Y8, S1^Y6^X7, S2^X6^Y7, }, // 779
5084 {X3, Y3^X7, S0^X5^Y7, S1^X6^Y6, }, // 780
5085 {Y6, S0^X6, S1^Y7^X8, S2^X7^Y8, }, // 781
5086 {Y3, S0^X6, S1^Y6^X8, S2^X7^Y7, }, // 782
5089 {S0^X6, S1^Y7^X8, S2^X7^Y8, Z2^X5^Y6, }, // 785
5090 {S0^X6, S1^Y6^X8, S2^X7^Y7, Z2^X5^Y6, }, // 786
5091 {Y3, S0^X6^Y7, S1^Y6^X7, S2^X5^Y6, }, // 787
5092 {X3, Y3^X7, S0^X6^Y6, S1^X5^Y6, }, // 788
5093 {S2^X8^Y8, Y6, S0^X6, S1^X7^Y7, }, // 789
5094 {S2^X8^Y8, Y3, S0^X6, S1^Y6^X7, }, // 790
5095 {S0^X6, S1^Y7, S2^X7^Y8, Z2^X6^Y6, }, // 791
5096 {Y3, S0^X6, S1^X7^Y7, S2^X6^Y6, }, // 792
5097 {Z2^X6^Y6, S0^X6, S1^Y7, S2^X7^Y8, }, // 793
5098 {S2^X6^Y6, Y3, S0^X6, S1^X7^Y7, }, // 794
5101 {Z2^Y6^X7, S0^X7, S1^Y7, S2^X6^Y7, }, // 797
5102 {S2^Y6^X7, Y3, S0^X7, S1^X6^Y7, }, // 798
5103 {Z2^Y6^X7, S2^X6^Y7, S0^X7, S1^Y7, }, // 799
5104 {S2^Y6^X7, S1^X6^Y7, Y3, S0^X7, }, // 800
5122 {Z3^X7, Y3, X3, Z4, }, // 818
5123 {Z3^X7, X2, Z4, X3, }, // 819
5124 {Z2^X7, X2, Z3, X3, }, // 820
5125 {Z2^X7, X2, Y3, X3, }, // 821
5138 {Y3^Y6^X7, X3, Z4, Z3^X6^Y7, }, // 834
5139 {Y3^Y6^X7, Z4, X3, X2^X6^Y7, }, // 835
5140 {Y3^Y6^X7, Z3, X3, X2^X6^Y7, }, // 836
5141 {Y2^Y6^X7, Y3, X3, X2^X6^Y7, }, // 837
5142 {Y3^Y6^X7, Z3^X6^Y7, X3, Z4, }, // 838
5143 {Y3^Y6^X7, X2^X6^Y7, Z4, X3, }, // 839
5144 {Y3^Y6^X7, X2^X6^Y7, Z3, X3, }, // 840
5145 {Y2^Y6^X7, X2^X6^Y7, Y3, X3, }, // 841
5154 {Y6^X7, 0, 0, 0, }, // 4
5155 {Y5^X7, 0, 0, 0, }, // 5
5157 {X7^Y7, 0, 0, 0, }, // 7
5161 {X7^Y8, Y7^X8, 0, 0, }, // 11
5162 {Y6^X8, X7^Y7, 0, 0, }, // 12
5163 {X6^Y7, Y6^X7, 0, 0, }, // 13
5167 {X7^Y7, Y6^X8, 0, 0, }, // 17
5171 {Y6^X9, X7^Y8, Y7^X8, 0, }, // 21
5172 {Y3^X9, X7^Y7, Y6^X8, 0, }, // 22
5176 {X7^Y7, Z0^X6^Y6, 0, 0, }, // 26
5179 {X7^Y9, Y7^X9, X8^Y8, 0, }, // 29
5180 {X6^Y9, X7^Y8, Y7^X8, 0, }, // 30
5181 {Y3^X8, X6^Y8, X7^Y7, 0, }, // 31
5184 {X7^Y10, Y7^X10, X8^Y9, Y8^X9, }, // 34
5185 {Y3^X10, X7^Y9, Y7^X9, X8^Y8, }, // 35
5186 {X3^Y9, Y3^X9, X7^Y8, Y7^X8, }, // 36
5190 {X7^Y8, Y7^X8, Z0^X6^Y7, 0, }, // 40
5191 {Y3^X8, X7^Y7, Z0^X6^Y7, 0, }, // 41
5193 {Y3^X10, X7^Y9, X8^Y8, Y7^X9, }, // 43
5194 {Y3^X9, X3^Y9, X7^Y8, Y7^X8, }, // 44
5195 {Y2^X7^Y7, 0, 0, 0, }, // 45
5196 {X2^Y6^X7, 0, 0, 0, }, // 46
5198 {X7^Y9, X8^Y8, 0, 0, }, // 48
5199 {Y7^X8, Y2^X7^Y8, 0, 0, }, // 49
5200 {X6^Y8, X2^X7^Y7, 0, 0, }, // 50
5202 {Y6^X8, Y2^X7^Y7, 0, 0, }, // 52
5203 {Y6^X7, Y1^X6^Y7, 0, 0, }, // 53
5204 {X7^Y9, X8^Y8, Y7^X9, 0, }, // 54
5205 {X7^Y9, Y7^X9, Y2^X8^Y8, 0, }, // 55
5206 {X6^Y9, X7^Y8, X2^Y7^X8, 0, }, // 56
5207 {X3^Y9, X6^Y8, Y1^X7^Y7, 0, }, // 57
5208 {Y2^X7^Y8, X6^Y6, 0, 0, }, // 58
5209 {X2^X7^Y7, Z0^X6^Y6, 0, 0, }, // 59
5211 {Y3^X8, X6^Y8, Y1^X7^Y7, 0, }, // 61
5213 {Y7^X10, X7^Y10, Y8^X9, Y2^X8^Y9, }, // 63
5214 {Y3^X10, X7^Y9, Y7^X9, X2^X8^Y8, }, // 64
5215 {Y3^X9, X3^Y9, Y7^X8, Y1^X7^Y8, }, // 65
5217 {X7^Y8, X2^Y7^X8, Z4^X6^Y7, 0, }, // 67
5218 {X3^Y8, Y1^X7^Y7, Z4^X6^Y7, 0, }, // 68
5219 {Y3^X10, X7^Y9, Y7^X9, Y2^X8^Y8, }, // 69
5222 {Y1^Y5^X7, 0, 0, 0, }, // 72
5223 {X7^Y8, Y2^Y7^X8, 0, 0, }, // 73
5224 {X2^X7^Y8, Y2^Y7^X8, 0, 0, }, // 74
5225 {X2^X7^Y7, Y1^Y6^X8, 0, 0, }, // 75
5226 {X1^X6^Y7, Y1^Y6^X7, 0, 0, }, // 76
5228 {X2^Y7^X8, Y2^X7^Y8, 0, 0, }, // 78
5229 {X2^Y6^X8, Y1^X7^Y7, 0, 0, }, // 79
5230 {X1^Y6^X7, Y1^X6^Y7, 0, 0, }, // 80
5232 {Y6^X9, Y2^Y7^X8, Y1^X7^Y8, 0, }, // 82
5233 {Y3^X9, X1^X7^Y7, Y1^Y6^X8, 0, }, // 83
5235 {Y1^X7^Y7, Z3^X6^Y6, 0, 0, }, // 85
5237 {X7^Y9, X2^Y7^X9, Y2^X8^Y8, 0, }, // 87
5238 {X6^Y9, X2^Y7^X8, Y1^X7^Y8, 0, }, // 88
5239 {X3^Y8, X1^Y6^X8, Y1^X7^Y7, 0, }, // 89
5240 {X7^Y10, Y7^X10, X8^Y9, Y2^Y8^X9, }, // 90
5241 {X7^Y10, Y7^X10, X2^X8^Y9, Y2^Y8^X9, }, // 91
5242 {Y3^X10, X7^Y9, X2^X8^Y8, Y1^Y7^X9, }, // 92
5243 {X3^Y9, Y3^X9, X1^X7^Y8, Y1^Y7^X8, }, // 93
5245 {Y2^Y7^X8, Y1^X7^Y8, Z3^X6^Y7, 0, }, // 95
5246 {Y2^Y7^X8, X1^X7^Y8, Z3^X6^Y7, 0, }, // 96
5247 {X7^Y10, X8^Y9, Y7^X10, Y2^Y8^X9, }, // 97
5248 {X7^Y10, Y7^X10, X2^Y8^X9, Y2^X8^Y9, }, // 98
5249 {Y3^X10, X7^Y9, X2^Y7^X9, Y1^X8^Y8, }, // 99
5250 {Y3^X9, X3^Y9, X1^Y7^X8, Y1^X7^Y8, }, // 100
5252 {Y2^Y6^X7, 0, 0, 0, }, // 102
5253 {X1^Y6^X7, 0, 0, 0, }, // 103
5257 {X1^Y6^X8, Y2^X7^Y7, 0, 0, }, // 107
5258 {Y2^X7^Y7, X1^Y6^X8, 0, 0, }, // 108
5259 {X7^Y9, X2^X8^Y8, Y2^Y7^X9, 0, }, // 109
5260 {Y1^X7^Y9, X2^X8^Y8, Y2^Y7^X9, 0, }, // 110
5261 {X6^Y8, X1^X7^Y7, Y1^Y6^X8, 0, }, // 111
5262 {X3^Y8, Y0^X6^Y7, X1^Y6^X7, 0, }, // 112
5263 {X2^X7^Y8, Y1^X6^Y6, 0, 0, }, // 113
5265 {Y1^X7^Y9, X2^Y7^X9, Y2^X8^Y8, 0, }, // 115
5266 {Y1^X7^Y8, X1^Y6^X9, Y2^Y7^X8, 0, }, // 116
5267 {Y1^X6^Y9, Y2^X7^Y8, X1^Y7^X8, 0, }, // 117
5268 {Y7^X10, Y1^X7^Y10, X2^X8^Y9, Y2^Y8^X9, }, // 118
5269 {Y3^X10, X1^X7^Y9, Y1^Y7^X9, X2^X8^Y8, }, // 119
5270 {Y3^X8, X3^Y9, Y0^X6^Y8, X1^X7^Y7, }, // 120
5273 {Y3^X10, Y1^X7^Y9, X1^Y7^X9, Y2^X8^Y8, }, // 123
5274 {Y3^X10, Y1^X7^Y9, Y2^X8^Y8, X1^Y7^X9, }, // 124
5283 {S0^X7^Y7, 0, 0, 0, }, // 133
5284 {S0^Y6^X7, 0, 0, 0, }, // 134
5288 {Y7^X8, S0^X7^Y8, 0, 0, }, // 138
5289 {Y6^X8, S0^X7^Y7, 0, 0, }, // 139
5290 {Y6^X7, S0^X6^Y7, 0, 0, }, // 140
5293 {X7^Y9, Y7^X9, S0^X8^Y8, 0, }, // 143
5294 {X7^Y8, Y6^X9, S0^Y7^X8, 0, }, // 144
5295 {X3^Y8, Y6^X8, S0^X7^Y7, 0, }, // 145
5298 {S0^X7^Y8, Z0^X6^Y6, 0, 0, }, // 148
5299 {S0^X7^Y7, Z0^X6^Y6, 0, 0, }, // 149
5302 {X6^Y9, X7^Y8, S0^Y7^X8, 0, }, // 152
5303 {Y3^X8, X6^Y8, S0^X7^Y7, 0, }, // 153
5306 {Y7^X10, X7^Y10, Y8^X9, S0^X8^Y9, }, // 156
5307 {Y3^X10, X7^Y9, Y7^X9, S0^X8^Y8, }, // 157
5308 {Y3^X9, X3^Y9, Y7^X8, S0^X7^Y8, }, // 158
5312 {X7^Y8, S0^Y7^X8, Z4^X6^Y7, 0, }, // 162
5313 {X3^Y8, S0^X7^Y7, Z4^X6^Y7, 0, }, // 163
5317 {S1^Y6^X7, 0, 0, 0, }, // 167
5318 {S1^Y5^X7, 0, 0, 0, }, // 168
5320 {S1^X7^Y7, 0, 0, 0, }, // 170
5323 {S0^X7^Y8, S1^Y7^X8, 0, 0, }, // 173
5324 {S0^Y6^X8, S1^X7^Y7, 0, 0, }, // 174
5325 {S0^X6^Y7, S1^Y6^X7, 0, 0, }, // 175
5327 {S0^X7^Y7, S1^Y6^X8, 0, 0, }, // 177
5331 {Y6^X9, S0^X7^Y8, S1^Y7^X8, 0, }, // 181
5332 {Y3^X9, S0^X7^Y7, S1^Y6^X8, 0, }, // 182
5339 {X7^Y9, S0^Y7^X9, S1^X8^Y8, 0, }, // 189
5340 {X6^Y9, S0^X7^Y8, S1^Y7^X8, 0, }, // 190
5341 {X3^Y8, S0^X7^Y7, S1^Y6^X8, 0, }, // 191
5344 {X7^Y10, Y7^X10, S0^X8^Y9, S1^Y8^X9, }, // 194
5345 {Y3^X10, X7^Y9, S0^Y7^X9, S1^X8^Y8, }, // 195
5346 {X3^Y9, Y3^X9, S0^X7^Y8, S1^Y7^X8, }, // 196
5350 {S0^X7^Y8, S1^Y7^X8, Z3^X6^Y7, 0, }, // 200
5351 {X3^Y8, S0^X7^Y7, Z3^X6^Y7, 0, }, // 201
5353 {Y3^X10, X7^Y9, S0^X8^Y8, S1^Y7^X9, }, // 203
5354 {Y3^X9, X3^Y9, S0^X7^Y8, S1^Y7^X8, }, // 204
5357 {S2^X7^Y7, 0, 0, 0, }, // 207
5358 {S2^Y6^X7, 0, 0, 0, }, // 208
5363 {S1^Y7^X8, S2^X7^Y8, 0, 0, }, // 213
5364 {S1^Y6^X8, S2^X7^Y7, 0, 0, }, // 214
5365 {S1^Y6^X7, S2^X6^Y7, 0, 0, }, // 215
5370 {S0^X7^Y9, S1^Y7^X9, S2^X8^Y8, 0, }, // 220
5371 {S0^X7^Y8, S1^Y6^X9, S2^Y7^X8, 0, }, // 221
5372 {S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, 0, }, // 222
5375 {S2^X7^Y8, Z2^X6^Y6, 0, 0, }, // 225
5376 {S1^X7^Y7, S2^X6^Y6, 0, 0, }, // 226
5378 {X3^Y9, S0^X6^Y8, S1^X7^Y7, 0, }, // 228
5381 {Y7^X10, S0^X7^Y10, S1^Y8^X9, S2^X8^Y9, }, // 231
5382 {Y3^X10, S0^X7^Y9, S1^Y7^X9, S2^X8^Y8, }, // 232
5383 {Y3^X9, S0^X6^Y9, S1^Y7^X8, S2^X7^Y8, }, // 233
5387 {S0^X7^Y8, S1^Y7^X8, Z2^X6^Y7, 0, }, // 237
5388 {X3^Y8, S0^X7^Y7, S1^X6^Y7, 0, }, // 238
5855 …Y4, X5, Y5, X6, Y6, X7, Y7, …
5856 …Y4, X5, Y5, X6, Y6, X7, Y7, …
5857 …Y4, X5, Y5, X6, Y6, X7, Y7, …
5858 …Y4, X5, Y5, X6, Y6, X7, Y7, …
5859 …Y4, X5, Y5, X6, Y6, X7, Y7, …
5860 …X4, X5, Y5, X6, Y6, X7, Y7, …
5861 …Y4, X5, Y5, X6, Y6, X7, Y7, …
5862 …X4^Y4, X5, Y5, X6, Y6, X7, Y7, …
5863 …{0, X4, X5, Y5, X6, Y6, X7, …
5864 …X4, X5, Y5, X6, Y6, X7, Y7, …
5865 …X4, X5, Y5, X6, Y6, X7, Z0^X3^Y3…
5866 …X5, Y5, X6, Y6, Z0^X3^Y3, X7, Y7, …
5867 …X5, Y5, X6, Z0^X3^Y3, Y6, X7, Y7, …
5868 …{0, X5, Y5, X6, Y6, X7, Y7, …
5869 …{0, Y4, X5, Y5, X6, Y6, X7, …
5870 …Y4, X5, Y5, X6, Y6, X7, Y7, …
5871 …Y4, X5, Y5, X6, Y6, X7, Z1^X3^Y3…
5872 …Y5, X6, Y6, Z1^X3^Y3, Z0^X4^Y4, X7, Y7, …
5873 …{0, Y5, X6, Y6, X7, Y7, X8, …
5874 …{0, Y4, Y5, X6, Y6, X7, Y7, …
5875 …{0, X3, Y4, Y5, X6, Y6, X7, …
5876 …X3, Y4, Y5, X6, Y6, X7, Y7, …
5877 …X3, Y4, Y5, X6, Y6, X7, Z2^X3^Y3…
5878 …{0, X6, Y6, X7, Y7, X8, Y8, …
5879 …{0, Y4, X6, Y6, X7, Y7, X8, …
5880 …{0, X3, Y4, X6, Y6, X7, Y7, …
5881 …{0, Y2, X3, Y4, X6, Y6, X7, …
5882 …Y2, X3, Y4, X6, Y6, X7, Y7, …
5883 … X7, Y7, X8, Y8, X9, Y9, X10…
5884 … X7, Y7, X8, Y8, X9, Y9, …
5885 … Y6, X7, Y7, X8, Y8, X9, X3^…
5886 … Y6, X7, Y7, X8, Y8, X3^Y3^Z4, …
5887 … Y6, X7, Y7, Y2, X8, X3^Y3^Z3, …
5888 …X7, Y7, X8, Y8, X9, Y9, X10, …
5889 …X7, Y7, X8, Y8, X9, Y9, X10, …
5890 …X7, Y7, X8, Y8, X9, Y9, X3^Y3^Z5…
5891 …X7, Y7, X8, Y8, Y2, X9, X3^Y3^Z4…
5892 …X7, Y7, X8, Y8, X2, Y2, X3^Y3^Z3…
5893 …{0, Y4, X5, Y5, X6, Y6, X7, …
5894 …Y4, X5, Y5, X6, Y6, X7, Y7, …
5895 …Y4, X5, Y5, X6, Y6, X7, Z0^X4^Y4…
5896 …X5, Y5, X6, Y6, Z0^X4^Y4, X7, Y7, …
5897 …X5, Y5, X6, Z0^X4^Y4, Y6, X7, Y7, …
5898 …{0, X5, Y5, X6, Y6, X7, Y7, …
5899 …{0, Y3, X5, Y5, X6, Y6, X7, …
5900 …Y3, X5, Y5, X6, Y6, X7, Y7, …
5901 …Y3, X5, Y5, X6, Y6, X7, Y4^X5^Y5…
5902 …Y5, X6, Y6, Y4^X5^Y5, Z0^X4^Y4, X7, Y7, …
5903 …{0, Y5, X6, Y6, X7, Y7, X8, …
5904 …{0, Y3, Y5, X6, Y6, X7, Y7, …
5905 …{0, X3, Y3, Y5, X6, Y6, X7, …
5906 …X3, Y3, Y5, X6, Y6, X7, Y7, …
5907 …X3, Y3, Y5, X6, Y6, X7, Y4^X5^Y5…
5908 …{0, X5, X6, Y6, X7, Y7, X8, …
5909 …{0, Y3, X5, X6, Y6, X7, Y7, …
5910 …{0, X3, Y3, X5, X6, Y6, X7, …
5911 …X3, Y3, X5, X6, Y6, X7, Y7, …
5912 …X3, Y3, X5, X6, Y6, X7, Y4^X6^Y6…
5913 …{0, X5, X6, Y6, X7, Y7, X8, …
5914 …{0, Y3, X5, X6, Y6, X7, Y7, …
5915 …{0, X3, Y3, X5, X6, Y6, X7, …
5916 …X3, Y3, X5, X6, Y6, X7, Y7, …
5917 …X3, Y3, X5, X6, Y6, X7, Y4^X6^Y6…
5918 … X7, Y7, X8, Y8, X9, Y9, Y4…
5919 …6, X7, Y7, X8, Y8, X9, Y4^X6^Y6,…
5920 … Y6, X7, Y7, X8, Y8, Y4^X6^Y6, Z1…
5921 …6, Y6, X7, Y7, X8, Y4^X6^Y6, Z1^X4^Y4,…
5922 … X6, Y6, X7, Y7, Y4^X6^Y6, Z1^X4^Y4, Z0…
5923 …6, Y6, X7, Y7, X8, Y8, X9, …
5924 … X6, Y6, X7, Y7, X8, Y8, X9…
5925 …3, X6, Y6, X7, Y7, X8, Y8, …
5926 … Y3, X6, Y6, X7, Y7, X8, Y4…
5927 …3, Y3, X6, Y6, X7, Y7, Y4^X7^Y7,…
5928 …6, Y6, X7, Y7, X8, Y8, X9, …
5929 … X6, Y6, X7, Y7, X8, Y8, X9…
5930 …3, X6, Y6, X7, Y7, X8, Y8, …
5931 … Y3, X6, Y6, X7, Y7, X8, Y4…
5932 …3, Y3, X6, Y6, X7, Y7, Y4^X7^Y7,…
5933 … Y6, X7, Y7, X8, Y8, X9, Y9…
5934 …3, Y6, X7, Y7, X8, Y8, X9, …
5935 … Y3, Y6, X7, Y7, X8, Y8, X9…
5936 …3, Y3, Y6, X7, Y7, X8, Y8, …
5937 … Y3, X6, Y6, X7, Y7, X8, Y4…
5938 … X7, Y7, X8, Y8, X9, Y9, X10…
5939 … X7, Y7, X8, Y8, X9, Y9, …
5940 … X6, X7, Y7, X8, Y8, X9, Y4^…
5941 … X6, X7, Y7, X8, Y8, Y4^X8^Y8, …
5942 … X6, X7, Y7, Y2, X8, Y4^X8^Y8, …
5943 … X7, Y7, X8, Y8, X9, Y9, X10…
5944 … X7, Y7, X8, Y8, X9, Y9, …
5945 … X6, X7, Y7, X8, Y8, X9, Y4^…
5946 … X6, X7, Y7, X8, Y8, Y4^X8^Y8, …
5947 … X6, X7, Y7, Y2, X8, Y4^X8^Y8, …
5948 …X7, Y7, X8, Y8, X9, Y9, X10, …
5949 … X7, Y7, X8, Y8, X9, Y9, X10…
5950 … X7, Y7, X8, Y8, X9, Y9, …
5951 … X6, X7, Y7, X8, Y8, X9, Y4^…
5952 … X6, X7, Y7, X8, Y2, Y8, Y4^…
5953 …X7, Y7, X8, Y8, X9, Y9, X10, …
5954 …X7, Y7, X8, Y8, X9, Y9, X10, …
5955 …X7, Y7, X8, Y8, X9, Y9, Y4^X9^Y9…
5956 …X7, Y7, X8, Y8, Y2, X9, Y4^X9^Y9…
5957 …X7, Y7, X8, Y8, X2, Y2, Y4^X9^Y9…
5958 …X7, Y7, X8, Y8, X9, Y9, X10, …
5959 …X7, Y7, X8, Y8, X9, Y9, X10, …
5960 …X7, Y7, X8, Y8, X9, Y9, Y4^X9^Y9…
5961 …X7, Y7, X8, Y8, Y2, X9, Y4^X9^Y9…
5962 …X7, Y7, X8, Y8, X2, Y2, Y4^X9^Y9…
5967 …Y4, X5, Y5, X6, Y6, X7, Y7, …
5968 …X5, Y5, X6, Z0^X3^Y3, Y6, X7, Y7, …
5969 …Y5, X6, Y6, Z1^X3^Y3, Z0^X4^Y4, X7, Y7, …
5970 …X3, Y4, Y5, X6, Y6, X7, Z2^X3^Y3…
5971 …0, X3, Y4, X6, Y6, X7, Y7, …
5972 …0, X3, Y4, X6, Y6, X7, Y7, …
5973 … Y4, Y6, X7, Y7, X8, X3^Y3^Z4, Z3^…
5974 … Y4, Y6, X7, Y7, X8, X3^Y3^Z3, Z2^…
5975 … Y4, Y6, X7, Y7, X8, Z2^X3^Y3, Z1^…
5976 … X7, Y7, X8, Y8, X3^Y3^Z5, X4^Y4^Z4, …
5977 … X7, Y7, X8, Y8, X3^Y3^Z4, Z3^X4^Y4, …
5978 …4, X7, Y7, X8, Y8, X3^Y3^Z3, Z2^X4^Y4,…
5979 …4, X7, Y7, X8, Y8, Z2^X3^Y3, Z1^X4^Y4,…
5980 …X5, Y5, X6, Z0^X4^Y4, Y6, X7, Y7, …
5981 …Y5, X6, Y6, Y4^X5^Y5, Z0^X4^Y4, X7, Y7, …
5982 …X3, Y3, Y5, X6, Y6, X7, Y4^X5^Y5…
5983 …X3, Y3, X5, X6, Y6, X7, Y4^X6^Y6…
5984 …X3, Y3, X5, X6, Y6, X7, Y4^X6^Y6…
5985 …0, X3, Y3, X6, Y6, X7, Y7, …
5986 …X5, X6, Y6, Z1^X4^Y4, Z0^X5^Y5, X7, Y7, …
5987 …3, Y3, X6, Y6, X7, Y7, Y4^X7^Y7,…
5988 …3, Y3, X6, Y6, X7, Y7, Y4^X7^Y7,…
5989 … X3, Y3, Y6, X7, Y7, X8, Y4…
5990 …X3, Y3, Y4, X6, Y6, X7, Z1^X4^Y4…
5991 … Y3, X6, X7, Y7, X8, Y4^X8^Y8, Z1^…
5992 … Y3, X6, X7, Y7, X8, Y4^X8^Y8, Z1^…
5993 … Y3, X7, Y7, X8, Y8, Y4^X8^Y8, …
5994 … Y3, Y4, X6, X7, Y7, Z1^X4^Y4, Z0^…
5995 …3, X7, Y7, X8, Y8, Y4^X9^Y9, Z1^X4^Y4,…
5996 …3, X7, Y7, X8, Y8, Y4^X9^Y9, Z1^X4^Y4,…
6001 …Y4, X5, Y5, X6, Y6, X7, Y7, …
6002 …X4, X5, Y5, X6, Y6, X7, Y7, …
6003 …{X3, Y4, X5, Y5, X6, Y6, X7, …
6004 …{X3, Y4, Y5, X6, Y6, X7, Y7, …
6005 …{X3, Y4, X6, Y6, X7, Y7, X8, …
6006 … X7, Y7, X8, Y8, X9, Y9, …
6007 …X7, Y7, X8, Y8, X9, Y9, X10, …
6008 …X7, Y7, X8, Y8, X9, Y9, X10, …
6009 …Y4, X5, Y5, X6, Y6, X7, Y7, …
6010 …{X3, Y3, X5, Y5, X6, Y6, X7, …
6011 …{X3, Y3, Y5, X6, Y6, X7, Y7, …
6012 …{X3, Y3, X5, X6, Y6, X7, Y7, …
6013 …{X3, Y3, X5, X6, Y6, X7, Y7, …
6014 …{X3, Y3, X6, Y6, X7, Y7, X8, …
6015 …{X3, Y3, Y4, X5, X6, Y6, X7, …
6016 … X6, Y6, X7, Y7, X8, Y8, X9…
6017 … X6, Y6, X7, Y7, X8, Y8, X9…
6018 … X6, Y6, X7, Y7, X8, Y8, X9…
6019 …3, Y6, X7, Y7, X8, Y8, X9, …
6020 …3, Y6, X7, Y7, X8, Y8, X9, …
6021 …{X3, Y3, Y4, X6, Y6, X7, Y7, …
6022 …{X3, Y3, Y4, X6, Y6, X7, Y7, …
6023 … X7, Y7, X8, Y8, X9, Y9, …
6024 … X7, Y7, X8, Y8, X9, Y9, …
6025 … X7, Y7, X8, Y8, X9, Y9, …
6026 … X7, Y7, X8, Y8, X9, Y9, X10…
6027 … X7, Y7, X8, Y8, X9, Y9, X10…
6028 … X6, X7, Y7, X8, Y8, X9, …
6029 … X6, X7, Y7, X8, Y8, X9, …
6030 …X7, Y7, X8, Y8, X9, Y9, X10, …
6031 …X7, Y7, X8, Y8, X9, Y9, X10, …
6032 …X7, Y7, X8, Y8, X9, Y9, X10, …
6033 … X7, Y7, X8, X9, Y9, X10, …
6034 …X7, Y7, X8, Y8, X9, Y9, X10, …
6035 …X7, Y7, X8, Y8, X9, Y9, X10, …