Lines Matching refs:X8
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
3819 {Y4^Z5^X9, X4^Z4^Y9, Z3^Y5^X8, Z2^X5^Y8, }, // 31
3820 {Y3^Z5^X9, X4^Z4^Y8, Z3^Y4^X8, Z2^X5^Y7, }, // 32
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
3865 {X3^Y3^Z5, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, }, // 77
3866 {X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, }, // 78
3867 {X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X8, Z0^X5^Y8, }, // 79
3877 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X8, Y2^X5^Y8, }, // 89
3887 {Z2^X3^Y3, Z1^X4^Y4, Y2^Y5^X8, Z0^X5^Y8, }, // 99
3888 {Z1^X3^Y3, Z0^X4^Y4, Y2^Y5^X8, X1^X5^Y8, }, // 100
3898 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X8, Z4^X5^Y8, }, // 110
3899 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X8, Z3^X5^Y8, }, // 111
3900 {Z1^X3^Y3, Z0^X4^Y4, Y0^Y5^X8, X1^X5^Y8, }, // 112
3903 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X8, S0^X5^Y8, }, // 115
3909 {Z2^X3^Y3, Z1^X4^Y4, S1^Y5^X8, Z0^X5^Y8, }, // 121
3910 {Z1^X3^Y3, Z0^X4^Y4, S1^Y5^X8, S0^X5^Y8, }, // 122
3917 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X8, S2^X5^Y8, }, // 129
3918 {Z1^X3^Y3, Z0^X4^Y4, S2^Y5^X8, S1^X5^Y8, }, // 130
3949 {Y2^X8^Z8, X3^Y7^Z7, Z3^Y6^X7, Y3^X6^Z6, }, // 161
3993 {X3^Y3, X4^Y4, Y2^Y5^X8, X5^Y8, }, // 205
3994 {X3^Y3, X4^Y4, Z3^Y5^X8, Y2^X5^Y8, }, // 206
3995 {X3^Y3, X4^Y4, Z2^Y5^X8, Y2^X5^Y8, }, // 207
3996 {X3^Y3, X4^Y4, Z2^Y5^X8, Y1^X5^Y8, }, // 208
3997 {X3^Y3, X1^X4^Y4, Z2^Y5^X8, Y1^X5^Y8, }, // 209
4038 {Y4^X8, X4^Y8, Z2^Y5^X7, Z1^X5^Y7, }, // 250
4039 {Y3^X8, X4^Y7, Z2^Y4^X7, Z1^X5^Y6, }, // 251
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
4048 {Y4^X9, X4^Y9, Z3^Y5^X8, Z2^X5^Y8, }, // 260
4049 {Y3^X9, X4^Y8, Z3^Y4^X8, Z2^X5^Y7, }, // 261
4050 {Y3^X8, X3^Y8, Z3^Y4^X7, Z2^X4^Y7, }, // 262
4051 {Y2^X8, X3^Y7, Y3^Z3^X7, Z2^X4^Y6, }, // 263
4053 {Y4^X9, X4^Z4^Y9, Z3^Y5^X8, Z2^X5^Y8, }, // 265
4054 {Y3^X9, X4^Z4^Y8, Z3^Y4^X8, Z2^X5^Y7, }, // 266
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
4058 {X4, Y4, X5^Y8, Y5^X8, }, // 270
4059 {Y3, X4, Y4^X8, X5^Y7, }, // 271
4066 {Z0^X4^Y4, Y2, X3, Y3^X8, }, // 278
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
4098 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, X5^Y8, }, // 310
4099 {Y4^X9^Y9, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, }, // 311
4100 {Y3, X4, Y4^X8, Y5^X7, }, // 312
4103 {Z0^X4^Y4, X3, Y3, Y4^X8, }, // 315
4106 {Y4^X9^Y9, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, }, // 318
4107 {Z0^X4^Y4, X2, X3, Y3^X8, }, // 319
4111 {Y4^X8^Y8, Z2^X4^Y4, Z1^Y5^X7, Z0^X5^Y7, }, // 323
4112 {Y4^X9^Y9, Z2^X4^Y4, Z1^Y5^X8, Z0^X5^Y8, }, // 324
4116 {Y0^X4^Y4, Y2, X3, Y3^X8, }, // 328
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
4132 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, Z3^X5^Y8, }, // 344
4133 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, Z2^X5^Y8, }, // 345
4134 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, Z4^X5^Y8, }, // 346
4139 {X2, Y2, X3^Y8, Y3^X8, }, // 351
4144 {Z0^X4^Y4, X2, Y2, Y3^X8, }, // 356
4147 {X2, Y2, Y3^X8, X3^Y8, }, // 359
4154 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, Y1^X5^Y7, }, // 366
4155 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, Y1^X5^Y8, }, // 367
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
4164 {Y4^X9^Y9, Z1^X4^Y4, Y1^Y5^X8, Z0^X5^Y8, }, // 376
4165 {Y4^X9^Y9, Z0^X4^Y4, Y1^Y5^X8, X1^X5^Y8, }, // 377
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
4180 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, X2^X5^Y8, }, // 392
4181 {Y4^X9^Y9, Y0^X4^Y4, Y1^Y5^X8, X1^X5^Y8, }, // 393
4191 {X4, Y4, Y5^X8, X5^Y8, }, // 403
4195 {X4, Y4, Y5^X8, S0^X5^Y8, }, // 407
4196 {Y3, X4, Y4^X8, S0^X5^Y7, }, // 408
4211 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, S2^X5^Y7, }, // 423
4216 {Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, S0^X5^Y7, }, // 428
4217 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, S0^X5^Y8, }, // 429
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
4228 {Y4^X9^Y9, Z1^X4^Y4, S1^Y5^X8, Z0^X5^Y8, }, // 440
4229 {Y4^X9^Y9, Z0^X4^Y4, S1^Y5^X8, S0^X5^Y8, }, // 441
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
4244 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, S2^X5^Y8, }, // 456
4245 {Y4^X9^Y9, Z0^X4^Y4, S2^Y5^X8, S1^X5^Y8, }, // 457
4246 {Y4^X9^Y9, S2^X4^Y4, S1^Y5^X8, S0^X5^Y8, }, // 458
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
4293 {Y4^X9^Y9, X4^Y4, Y2^Y5^X8, X5^Y8, }, // 505
4294 {Y4^X9^Y9, X4^Y4, Y2^Y5^X8, Z3^X5^Y8, }, // 506
4295 {Y4^X9^Y9, X4^Y4, Y2^Y5^X8, Z2^X5^Y8, }, // 507
4296 {Z3^Y4^X9^Y9, X4^Y4, Y1^Y5^X8, Z2^X5^Y8, }, // 508
4297 {Z3^Y4^X9^Y9, Y1^X4^Y4, X1^Y5^X8, Z2^X5^Y8, }, // 509
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
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
4502 {X6, X7^Y9, Y6^X10, X8^Y8, }, // 198
4505 {X3, Y3^X9, Y5^X8, X6^Y7, }, // 201
4506 {Y2, X3^Y7, Y3^X8, X6^Y6, }, // 202
4507 {Y6^X9, X7^Y8, Y7^X8, Z0^X5^Y5, }, // 203
4508 {X6^Y8, Y6^X8, X7^Y7, Z0^X5^Y5, }, // 204
4514 {Y3, X5^Y9, X6^Y8, Y6^X8, }, // 210
4515 {X3, Y3^X8, X5^Y8, X6^Y7, }, // 211
4521 {X2, Y2, X3^Y8, Y3^X8, }, // 217
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
4528 {X2, Y2, Y3^X8, X3^Y8, }, // 224
4529 {X6^Y6, Y6, X7, X8^Y10, }, // 225
4534 {X6, X7, Y7^X10, X8^Y9, }, // 230
4537 {Y2, X3, Y3^X8, X6^Y8, }, // 233
4549 {Y6^X7, X7, Y7, X8^Y10, }, // 245
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
4572 {Y6^X8, X6^Y8, X7^Y7, Z0^X5^Y5, }, // 268
4578 {Y2, X3, Y3^X8, X5^Y9, }, // 274
4580 {Y3, X6^Y8, Y6^X8, Y2^X7^Y7, }, // 276
4581 {X3, Y3^X8, X6^Y7, X2^Y6^X7, }, // 277
4587 {X6^Y6, X2, Y2, Y3^X8, }, // 283
4589 {X3, Y3, X6^Y9, Y7^X8, }, // 285
4592 {Z0^Y6^X7, X2, Y2, Y3^X8, }, // 288
4599 {Y4^X8, X2^X6^Y6, Y2^Y5^X7, 0, }, // 295
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
4606 {Y3, Y5^X9, X6^Y8, Y6^X8, }, // 302
4608 {X3, Y3^X9, Y5^X8, Y2^Y6^X7, }, // 304
4609 {Y2, X3^Y7, Y3^X8, X1^X6^Y6, }, // 305
4612 {Y3^X8, Y2^Y5^X7, Y1^X6^Y6, Z0^X5^Y5, }, // 308
4614 {Y3, X5^Y9, X6^Y8, X2^Y6^X8, }, // 310
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
4623 {X2, X3, Y3^X9, Y2^Y6^X8, }, // 319
4624 {X2, X3, Y3^X8, Y2^X7^Y7, }, // 320
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
4641 {X3, Y3^X8, X5^Y7, X1^X6^Y6, }, // 337
4646 {Y3, X5^Y9, Y1^X6^Y8, X2^Y6^X8, }, // 342
4647 {X3, Y3^X9, Y1^X6^Y7, X1^Y5^X8, }, // 343
4648 {X3, Y3^X8, Y1^X5^Y8, Y2^X6^Y7, }, // 344
4650 {Y2, X3, Y3^X8, X5^Y8, }, // 346
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
4657 {Y1^X6^Y6, X2, Y2, Y3^X8, }, // 353
4659 {X3, Y3, X1^X6^Y9, Y2^Y7^X8, }, // 355
4670 {Y5^X9, X6^Y8, Y6^X8, X7^Y7, }, // 366
4671 {Y4^X8, X5^Y7, Y5^X7, X6^Y6, }, // 367
4673 {X5^Y7, Y4^X8, X6^Y6, Y5^X7, }, // 369
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
4679 {X5, X6^Y8, Y6^X8, X7^Y7, }, // 375
4683 {X6, Y6, X7^Y8, Y7^X8, }, // 379
4684 {Y3, X6, Y6^X8, X7^Y7, }, // 380
4688 {Y6, X7^Y8, Y7^X8, X5^Y6, }, // 384
4689 {X6, X7^Y7, Y6^X8, X5^Y6, }, // 385
4693 {Y3, X6, X7^Y7, Y6^X8, }, // 389
4695 {X6^Y6, Y6, X7, Y7^X8, }, // 391
4700 {X6, X7, Y7^X8, X6^Y6, }, // 396
4705 {X6^Y6, X6, X7, Y7^X8, }, // 401
4719 {X5^Y9, Y6^X8, X6^Y8, X7^Y7, }, // 415
4720 {Y4^X8, X5^Y7, Y5^X7, X2^X6^Y6, }, // 416
4722 {Y4^X8, X5^Y7, Y5^X7, Y2^X6^Y6, }, // 418
4724 {X5, Y6^X8, X6^Y8, X7^Y7, }, // 420
4734 {X6, Y6^X8, X7^Y7, X5^Y6, }, // 430
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
4755 {Y4^X9, X6^Y7, Y5^X8, Y2^Y6^X7, }, // 451
4756 {X5^Y7, Y4^X8, X2^Y5^X7, Y1^X6^Y6, }, // 452
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
4764 {X3, Y3^X8, Y2^Y5^X7, Y1^X6^Y6, }, // 460
4780 {Y4^X8, X1^X5^Y7, Y1^Y5^X7, X2^X6^Y6, }, // 476
4782 {Y4^X8, Y1^X5^Y7, X1^Y5^X7, Y2^X6^Y6, }, // 478
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
4804 {X6^X8^Y8, Y2, X3, Y3^X10, }, // 500
4805 {X6^X8^Y8, X2, Y2, X3^Y8, }, // 501
4814 {Z1^Y6^X7, X7, Y7, X8^Y10, }, // 510
4825 {X6^Y8, Y6^X8, S0^X7^Y7, 0, }, // 521
4826 {X6^Y7, Y5^X8, S0^Y6^X7, 0, }, // 522
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
4836 {X3, Y3^X9, X6^Y7, Y5^X8, }, // 532
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
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
4849 {X6^X8^Y8, Y6, X7, Y7^X11, }, // 545
4850 {X6^X8^Y8, X3, Y3, Y6^X10, }, // 546
4851 {X6^X8^Y8, X2, Y2, Y3^X9, }, // 547
4853 {Z0^Y6^X7, X7, Y7, X8^Y10, }, // 549
4854 {Z0^Y6^X7, Y3, X7, X8^Y9, }, // 550
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
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
4875 {X6, X7^Y9, Y6^X10, S0^X8^Y8, }, // 571
4878 {X3, Y3^X9, Y5^X8, S0^X6^Y7, }, // 574
4879 {Y2, X3^Y7, Y3^X8, S0^X6^Y6, }, // 575
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
4883 {Y3^X8, S0^X6^Y6, S1^Y5^X7, Z0^X5^Y5, }, // 579
4887 {Y3, X5^Y9, X6^Y8, S0^Y6^X8, }, // 583
4888 {X3, Y3^X8, X5^Y8, S0^X6^Y7, }, // 584
4889 {Y2, Y3^X8, X3^Y7, S0^X6^Y6, }, // 585
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
4906 {Z4^Y6^X7, X7, Y7, X8^Y10, }, // 602
4910 {S1^Y6^X7, X2, Y2, Y3^X8, }, // 606
4919 {S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, 0, }, // 615
4920 {S0^X6^Y7, S1^Y5^X8, S2^Y6^X7, 0, }, // 616
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
4930 {Y3, Y5^X9, S0^X6^Y8, S1^Y6^X8, }, // 626
4931 {X3, Y3^X9, S0^X6^Y7, S1^Y5^X8, }, // 627
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
4938 {Y3, X5^Y9, S0^X6^Y8, S1^Y6^X8, }, // 634
4944 {X2, Y2, Y3^X8, S0^X5^Y8, }, // 640
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
4948 {X3^X8^Y8, X2, Y2, Y3^X9, }, // 644
4951 {X3, Y3, S0^X6^Y9, S1^Y7^X8, }, // 647
4952 {Y2, X3, Y3^X8, S0^X6^Y8, }, // 648
4957 {S2^X6^Y6, X2, Y2, Y3^X8, }, // 653
4963 {Z3^Y6^X7, X7, Y7, S0^X8^Y10, }, // 659
4964 {Z3^Y6^X7, Y3, X7, S0^X8^Y9, }, // 660
4967 {S2^Y6^X7, X2, Y2, Y3^X8, }, // 663
4973 {Y6, X7^Y8, Y7^X8, Z0^X5^Y6, }, // 669
4974 {X6, X7^Y7, Y6^X8, Z0^X5^Y6, }, // 670
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
4980 {X3^X8^Y8, X2, Y2, Y3^X6, }, // 676
4981 {X6, X7, Y7^X8, Z0^X6^Y6, }, // 677
4984 {Z0^X6^Y6, X6, X7, Y7^X8, }, // 680
4992 {Y4^X8, X5^Y7, Y5^X7, S0^X6^Y6, }, // 688
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
5004 {X6, Y6, Y7^X8, S0^X7^Y8, }, // 700
5005 {Y3, X6, Y6^X8, S0^X7^Y7, }, // 701
5008 {Y6, Y7^X8, S0^X7^Y8, Z0^X5^Y6, }, // 704
5009 {X6, Y6^X8, S0^X7^Y7, Z0^X5^Y6, }, // 705
5013 {X6^X8^Y8, Y6, Y7, S0^X7^Y8, }, // 709
5014 {X6^X8^Y8, Y3, Y6, S0^X7^Y7, }, // 710
5015 {S0^X8^Y8, X3, Y3, X6^Y6, }, // 711
5016 {S0^X8^Y8, Y2, X3, Y3^X6, }, // 712
5037 {Y5^X9, X6^Y8, S0^Y6^X8, S1^X7^Y7, }, // 733
5038 {Y4^X8, X5^Y7, S0^Y5^X7, S1^X6^Y6, }, // 734
5040 {X5^Y7, Y4^X8, S0^X6^Y6, S1^Y5^X7, }, // 736
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
5048 {X6, Y6, S0^X7^Y8, S1^Y7^X8, }, // 744
5049 {Y3, X6, S0^Y6^X8, S1^X7^Y7, }, // 745
5052 {Y6, S0^X7^Y8, S1^Y7^X8, Z0^X5^Y6, }, // 748
5053 {X6, S0^X7^Y7, S1^Y6^X8, Z0^X5^Y6, }, // 749
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
5058 {S1^X8^Y8, X3, Y3, S0^X6^Y6, }, // 754
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
5074 {Y4^X8, S0^X5^Y7, S1^Y5^X7, S2^X6^Y6, }, // 770
5077 {Y6, S0^X6^Y9, S1^Y7^X8, S2^X7^Y8, }, // 773
5078 {Y5, S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, }, // 774
5082 {X5, S0^X6^Y8, S1^Y6^X8, S2^X7^Y7, }, // 778
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
5093 {S2^X8^Y8, Y6, S0^X6, S1^X7^Y7, }, // 789
5094 {S2^X8^Y8, Y3, S0^X6, S1^Y6^X7, }, // 790
5134 {Y3^X6^Y6, Z3^X8, X3, Z4, }, // 830
5135 {X2^X6^Y6, Z3^X8, Z4, X3, }, // 831
5136 {X2^X6^Y6, Z2^X8, Z3, X3, }, // 832
5137 {X2^X6^Y6, Z2^X8, Y3, X3, }, // 833
5152 {Y7^X8, 0, 0, 0, }, // 2
5153 {Y6^X8, 0, 0, 0, }, // 3
5156 {X8^Y8, 0, 0, 0, }, // 6
5159 {X8^Y9, Y8^X9, 0, 0, }, // 9
5160 {Y7^X9, X8^Y8, 0, 0, }, // 10
5161 {X7^Y8, Y7^X8, 0, 0, }, // 11
5162 {Y6^X8, X7^Y7, 0, 0, }, // 12
5166 {X8^Y8, Y7^X9, 0, 0, }, // 16
5167 {X7^Y7, Y6^X8, 0, 0, }, // 17
5169 {Y7^X10, X8^Y9, Y8^X9, 0, }, // 19
5170 {Y6^X10, X8^Y8, Y7^X9, 0, }, // 20
5171 {Y6^X9, X7^Y8, Y7^X8, 0, }, // 21
5172 {Y3^X9, X7^Y7, Y6^X8, 0, }, // 22
5174 {X8^Y8, X6^Y6, 0, 0, }, // 24
5175 {Y7^X8, X6^Y6, 0, 0, }, // 25
5178 {X8^Y10, Y8^X10, X9^Y9, 0, }, // 28
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
5182 {X8^Y11, Y8^X11, X9^Y10, Y9^X10, }, // 32
5183 {Y7^X11, X8^Y10, Y8^X10, X9^Y9, }, // 33
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
5188 {X8^Y9, Y8^X9, X6^Y7, 0, }, // 38
5189 {X8^Y8, Y7^X9, X6^Y7, 0, }, // 39
5190 {X7^Y8, Y7^X8, Z0^X6^Y7, 0, }, // 40
5191 {Y3^X8, X7^Y7, Z0^X6^Y7, 0, }, // 41
5192 {X8^Y10, Y7^X11, X9^Y9, Y8^X10, }, // 42
5193 {Y3^X10, X7^Y9, X8^Y8, Y7^X9, }, // 43
5194 {Y3^X9, X3^Y9, X7^Y8, Y7^X8, }, // 44
5198 {X7^Y9, X8^Y8, 0, 0, }, // 48
5199 {Y7^X8, Y2^X7^Y8, 0, 0, }, // 49
5202 {Y6^X8, Y2^X7^Y7, 0, 0, }, // 52
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
5211 {Y3^X8, X6^Y8, Y1^X7^Y7, 0, }, // 61
5212 {Y7^X11, Y8^X10, X8^Y10, X9^Y9, }, // 62
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
5216 {Y7^X9, Y2^X8^Y8, X6^Y7, 0, }, // 66
5217 {X7^Y8, X2^Y7^X8, Z4^X6^Y7, 0, }, // 67
5219 {Y3^X10, X7^Y9, Y7^X9, Y2^X8^Y8, }, // 69
5220 {Y2^Y6^X8, 0, 0, 0, }, // 70
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
5227 {Y6^X9, Y2^Y7^X8, 0, 0, }, // 77
5228 {X2^Y7^X8, Y2^X7^Y8, 0, 0, }, // 78
5229 {X2^Y6^X8, Y1^X7^Y7, 0, 0, }, // 79
5231 {Y6^X10, X2^X8^Y8, Y2^Y7^X9, 0, }, // 81
5232 {Y6^X9, Y2^Y7^X8, Y1^X7^Y8, 0, }, // 82
5233 {Y3^X9, X1^X7^Y7, Y1^Y6^X8, 0, }, // 83
5234 {Y2^Y7^X8, X6^Y6, 0, 0, }, // 84
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
5244 {X2^X8^Y8, Y2^Y7^X9, X6^Y7, 0, }, // 94
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
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
5264 {Y2^Y7^X8, Y1^X6^Y6, 0, 0, }, // 114
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
5271 {Y2^Y7^X9, X2^X8^Y8, Z2^X6^Y7, 0, }, // 121
5272 {X2^X8^Y8, Y2^Y7^X9, Y1^X6^Y7, 0, }, // 122
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
5276 {X8^Y8, Z0^X6^Y6, 0, 0, }, // 126
5277 {Y7^X8, Z0^X6^Y6, 0, 0, }, // 127
5279 {X8^Y9, Y8^X9, Z0^X6^Y7, 0, }, // 129
5280 {X8^Y8, Y7^X9, Z0^X6^Y7, 0, }, // 130
5281 {S0^X8^Y8, 0, 0, 0, }, // 131
5282 {S0^Y7^X8, 0, 0, 0, }, // 132
5286 {Y8^X9, S0^X8^Y9, 0, 0, }, // 136
5287 {Y7^X9, S0^X8^Y8, 0, 0, }, // 137
5288 {Y7^X8, S0^X7^Y8, 0, 0, }, // 138
5289 {Y6^X8, S0^X7^Y7, 0, 0, }, // 139
5291 {X8^Y10, Y8^X10, S0^X9^Y9, 0, }, // 141
5292 {X8^Y9, Y7^X10, S0^Y8^X9, 0, }, // 142
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
5296 {S0^X8^Y9, Z0^X6^Y6, 0, 0, }, // 146
5297 {S0^X8^Y8, Z0^X6^Y6, 0, 0, }, // 147
5301 {Y7^X10, X8^Y9, S0^Y8^X9, 0, }, // 151
5302 {X6^Y9, X7^Y8, S0^Y7^X8, 0, }, // 152
5303 {Y3^X8, X6^Y8, S0^X7^Y7, 0, }, // 153
5304 {Y8^X11, X8^Y11, Y9^X10, S0^X9^Y10, }, // 154
5305 {Y7^X11, X8^Y10, Y8^X10, S0^X9^Y9, }, // 155
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
5311 {Y7^X9, S0^X8^Y8, Z4^X6^Y7, 0, }, // 161
5312 {X7^Y8, S0^Y7^X8, Z4^X6^Y7, 0, }, // 162
5315 {S1^Y7^X8, 0, 0, 0, }, // 165
5316 {S1^Y6^X8, 0, 0, 0, }, // 166
5319 {S1^X8^Y8, 0, 0, 0, }, // 169
5321 {S0^X8^Y9, S1^Y8^X9, 0, 0, }, // 171
5322 {S0^Y7^X9, S1^X8^Y8, 0, 0, }, // 172
5323 {S0^X7^Y8, S1^Y7^X8, 0, 0, }, // 173
5324 {S0^Y6^X8, S1^X7^Y7, 0, 0, }, // 174
5326 {S0^X8^Y8, S1^Y7^X9, 0, 0, }, // 176
5327 {S0^X7^Y7, S1^Y6^X8, 0, 0, }, // 177
5329 {Y7^X10, S0^X8^Y9, S1^Y8^X9, 0, }, // 179
5330 {Y6^X10, S0^X8^Y8, S1^Y7^X9, 0, }, // 180
5331 {Y6^X9, S0^X7^Y8, S1^Y7^X8, 0, }, // 181
5332 {Y3^X9, S0^X7^Y7, S1^Y6^X8, 0, }, // 182
5334 {S1^X8^Y8, Z3^X6^Y6, 0, 0, }, // 184
5335 {S1^Y7^X8, Z3^X6^Y6, 0, 0, }, // 185
5336 {S1^Y6^X8, Z3^X6^Y6, 0, 0, }, // 186
5338 {X8^Y10, S0^Y8^X10, S1^X9^Y9, 0, }, // 188
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
5342 {X8^Y11, Y8^X11, S0^X9^Y10, S1^Y9^X10, }, // 192
5343 {Y7^X11, X8^Y10, S0^Y8^X10, S1^X9^Y9, }, // 193
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
5348 {S0^X8^Y9, S1^Y8^X9, Z3^X6^Y7, 0, }, // 198
5349 {S0^X8^Y8, S1^Y7^X9, Z3^X6^Y7, 0, }, // 199
5350 {S0^X7^Y8, S1^Y7^X8, Z3^X6^Y7, 0, }, // 200
5352 {X8^Y10, Y7^X11, S0^X9^Y9, S1^Y8^X10, }, // 202
5353 {Y3^X10, X7^Y9, S0^X8^Y8, S1^Y7^X9, }, // 203
5354 {Y3^X9, X3^Y9, S0^X7^Y8, S1^Y7^X8, }, // 204
5355 {S2^X8^Y8, 0, 0, 0, }, // 205
5356 {S2^Y7^X8, 0, 0, 0, }, // 206
5361 {S1^Y8^X9, S2^X8^Y9, 0, 0, }, // 211
5362 {S1^Y7^X9, S2^X8^Y8, 0, 0, }, // 212
5363 {S1^Y7^X8, S2^X7^Y8, 0, 0, }, // 213
5364 {S1^Y6^X8, S2^X7^Y7, 0, 0, }, // 214
5368 {S0^X8^Y10, S1^Y8^X10, S2^X9^Y9, 0, }, // 218
5369 {S0^X8^Y9, S1^Y7^X10, S2^Y8^X9, 0, }, // 219
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
5373 {S2^X8^Y9, Z2^X6^Y6, 0, 0, }, // 223
5374 {S2^X8^Y8, Z2^X6^Y6, 0, 0, }, // 224
5377 {S0^Y7^X10, S1^X8^Y9, S2^Y8^X9, 0, }, // 227
5379 {Y8^X11, S0^X8^Y11, S1^Y9^X10, S2^X9^Y10, }, // 229
5380 {Y7^X11, S0^X8^Y10, S1^Y8^X10, S2^X9^Y9, }, // 230
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
5386 {S1^Y7^X9, S2^X8^Y8, Z2^X6^Y7, 0, }, // 236
5387 {S0^X7^Y8, S1^Y7^X8, Z2^X6^Y7, 0, }, // 237
5855 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5856 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5857 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5858 …Y5, X6, Y6, X7, Y7, X8, 0, …
5860 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5861 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5862 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5863 …Y5, X6, Y6, X7, Y7, X8, Z0^X3^Y3…
5864 …X6, Y6, X7, Y7, Z0^X3^Y3, X8, Y8, …
5865 …X6, Y6, X7, Z0^X3^Y3, Y7, X8, Y8, …
5866 …X6, Y6, Z0^X3^Y3, X7, Y7, X8, 0, …
5868 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5869 …Y5, X6, Y6, X7, Y7, X8, Z1^X3^Y3…
5870 …Y6, X7, Y7, Z1^X3^Y3, Z0^X4^Y4, X8, Y8, …
5871 …Y6, X7, Z1^X3^Y3, Z0^X4^Y4, Y7, X8, 0, …
5873 …{0, Y5, X6, Y6, X7, Y7, X8, …
5874 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5875 …Y5, X6, Y6, X7, Y7, X8, Z2^X3^Y3…
5876 …X7, Y7, Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, X8, 0, …
5878 …{0, X6, Y6, X7, Y7, X8, Y8, …
5879 …{0, Y4, X6, Y6, X7, Y7, X8, …
5880 …Y4, X6, Y6, X7, Y7, X8, Y8, …
5881 …Y4, X6, Y6, X7, Y7, X8, X3^Y3^Z3…
5883 …{0, Y6, X7, Y7, X8, Y8, X9, …
5884 …{0, Y4, Y6, X7, Y7, X8, Y8, …
5885 …{0, X3, Y4, Y6, X7, Y7, X8, …
5886 …X3, Y4, Y6, X7, Y7, X8, Y8, …
5887 …Y4, Y6, X7, Y7, Y2, X8, X3^Y3^Z3…
5888 … X8, Y8, X9, Y9, X10, Y10, …
5889 … Y7, X8, Y8, X9, Y9, X10, X3^…
5890 … Y7, X8, Y8, X9, Y9, X3^Y3^Z5, …
5891 … Y7, X8, Y8, Y2, X9, X3^Y3^Z4, …
5892 … Y7, X8, Y8, X2, Y2, X3^Y3^Z3, …
5893 …Y5, X6, Y6, X7, Y7, X8, Z0^X4^Y4…
5894 …X6, Y6, X7, Y7, Z0^X4^Y4, X8, Y8, …
5895 …X6, Y6, X7, Z0^X4^Y4, Y7, X8, Y8, …
5896 …X6, Y6, Z0^X4^Y4, X7, Y7, X8, 0, …
5898 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5899 …Y5, X6, Y6, X7, Y7, X8, Y4^X5^Y5…
5900 …Y6, X7, Y7, Y4^X5^Y5, Z0^X4^Y4, X8, Y8, …
5901 …Y6, X7, Y4^X5^Y5, Z0^X4^Y4, Y7, X8, 0, …
5903 …{0, Y5, X6, Y6, X7, Y7, X8, …
5904 …Y5, X6, Y6, X7, Y7, X8, Y8, …
5905 …Y5, X6, Y6, X7, Y7, X8, Y4^X5^Y5…
5906 …X7, Y7, Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6, X8, 0, …
5908 …{0, X5, X6, Y6, X7, Y7, X8, …
5909 …X5, X6, Y6, X7, Y7, X8, Y8, …
5910 …X5, X6, Y6, X7, Y7, X8, Y4^X6^Y6…
5911 …X7, Y7, Y4^X6^Y6, Z1^X4^Y4, X5^Y5, X8, 0, …
5913 …{0, X5, X6, Y6, X7, Y7, X8, …
5914 …X5, X6, Y6, X7, Y7, X8, Y8, …
5915 …X5, X6, Y6, X7, Y7, X8, Y4^X6^Y6…
5916 …X7, Y7, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X8, 0, …
5918 …{0, X6, Y6, X7, Y7, X8, Y8, …
5919 …{0, Y3, X6, Y6, X7, Y7, X8, …
5920 …Y3, X6, Y6, X7, Y7, X8, Y8, …
5921 …Y3, X6, Y6, X7, Y7, X8, Y4^X6^Y6…
5923 …{0, X6, Y6, X7, Y7, X8, Y8, …
5924 …{0, Y3, X6, Y6, X7, Y7, X8, …
5925 …Y3, X6, Y6, X7, Y7, X8, Y8, …
5926 …Y3, X6, Y6, X7, Y7, X8, Y4^X7^Y7…
5928 …{0, X6, Y6, X7, Y7, X8, Y8, …
5929 …{0, Y3, X6, Y6, X7, Y7, X8, …
5930 …Y3, X6, Y6, X7, Y7, X8, Y8, …
5931 …Y3, X6, Y6, X7, Y7, X8, Y4^X7^Y7…
5933 … X8, Y8, X9, Y9, X10, Y4^X7^Y7, Z2…
5934 …7, X8, Y8, X9, Y9, Y4^X7^Y7, Z2^X4^Y4,…
5935 … Y7, X8, Y8, X9, Y4^X7^Y7, Z2^X4^Y4, Z1…
5936 …7, Y7, X8, Y8, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6,…
5937 … X7, Y7, X8, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0…
5938 … X7, Y7, X8, Y8, X9, Y9, X1…
5939 …6, X7, Y7, X8, Y8, X9, Y9, …
5940 … X6, X7, Y7, X8, Y8, X9, Y4…
5941 …3, X6, X7, Y7, X8, Y8, Y4^X8^Y8,…
5942 … X6, X7, Y7, Y2, X8, Y4^X8^Y8, Z2…
5943 … X7, Y7, X8, Y8, X9, Y9, X1…
5944 …6, X7, Y7, X8, Y8, X9, Y9, …
5945 … X6, X7, Y7, X8, Y8, X9, Y4…
5946 …3, X6, X7, Y7, X8, Y8, Y4^X8^Y8,…
5947 … X6, X7, Y7, Y2, X8, Y4^X8^Y8, Z2…
5948 …7, Y7, X8, Y8, X9, Y9, X10, …
5949 … X7, Y7, X8, Y8, X9, Y9, X1…
5950 …3, X7, Y7, X8, Y8, X9, Y9, …
5951 … X6, X7, Y7, X8, Y8, X9, Y4…
5952 … X6, X7, Y7, X8, Y2, Y8, Y4…
5953 … X8, Y8, X9, Y9, X10, Y10, …
5954 … Y7, X8, Y8, X9, Y9, X10, Y4^…
5955 … Y7, X8, Y8, X9, Y9, Y4^X9^Y9, …
5956 … Y7, X8, Y8, Y2, X9, Y4^X9^Y9, …
5957 … Y7, X8, Y8, X2, Y2, Y4^X9^Y9, …
5958 … X8, Y8, X9, Y9, X10, Y10, …
5959 … Y7, X8, Y8, X9, Y9, X10, Y4^…
5960 … Y7, X8, Y8, X9, Y9, Y4^X9^Y9, …
5961 … Y7, X8, Y8, Y2, X9, Y4^X9^Y9, …
5962 … Y7, X8, Y8, X2, Y2, Y4^X9^Y9, …
5969 …Y6, Z1^X3^Y3, Z0^X4^Y4, X7, Y7, X8, 0, …
5970 …X7, Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, Y7, X8, Y8, …
5971 …Y7, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, X8, Y8, …
5972 …Y7, Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, X8, Y8, …
5973 …X3, Y4, Y6, X7, Y7, X8, X3^Y3^Z4…
5974 …X3, Y4, Y6, X7, Y7, X8, X3^Y3^Z3…
5975 …X3, Y4, Y6, X7, Y7, X8, Z2^X3^Y3…
5976 … X7, Y7, X8, Y8, X3^Y3^Z5, X4^Y4^Z4, …
5977 … X7, Y7, X8, Y8, X3^Y3^Z4, Z3^X4^Y4, …
5978 … X7, Y7, X8, Y8, X3^Y3^Z3, Z2^X4^Y4, …
5979 … X7, Y7, X8, Y8, Z2^X3^Y3, Z1^X4^Y4, …
5981 …Y6, Y4^X5^Y5, Z0^X4^Y4, X7, Y7, X8, 0, …
5982 …X7, Y4^X5^Y5, Z0^X4^Y4, X5^Y5, Y7, X8, Y8, …
5983 …Y6, X7, Y4^X6^Y6, Z1^X4^Y4, Y7, X8, Y8, …
5984 …X7, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, Y7, X8, Y8, …
5985 …Y7, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^Y6, X8, Y8, …
5986 …Y6, Z1^X4^Y4, Z0^X5^Y5, X7, Y7, X8, 0, …
5987 …X7, Y7, Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X8, Y8, …
5988 …Y7, Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, X8, Y8, …
5989 …X3, Y3, Y6, X7, Y7, X8, Y4^X7^Y7…
5990 …X7, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, Y7, X8, Y8, …
5991 … Y3, X6, X7, Y7, X8, Y4^X8^Y8, Z1…
5992 … Y3, X6, X7, Y7, X8, Y4^X8^Y8, Z1…
5993 …3, Y3, X7, Y7, X8, Y8, Y4^X8^Y8,…
5994 …Y7, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, X6^Y6, X8, Y8, …
5995 … X7, Y7, X8, Y8, Y4^X9^Y9, Z1^X4^Y4, …
5996 … X7, Y7, X8, Y8, Y4^X9^Y9, Z1^X4^Y4, …
6001 …Y5, X6, Y6, X7, Y7, X8, Y8, …
6002 …X6, Y6, X7, Y7, Z0^X3^Y3, X8, Y8, …
6003 …Y5, X6, Y6, X7, Y7, X8, Z1^X3^Y3…
6004 …Y5, X6, Y6, X7, Y7, X8, Y8, …
6005 …{X3, Y4, X6, Y6, X7, Y7, X8, …
6006 …{X3, Y4, Y6, X7, Y7, X8, Y8, …
6007 … Y7, X8, Y8, X9, Y9, X10, X3^…
6008 … Y7, X8, Y8, X9, Y9, X10, X3^…
6009 …X6, Y6, X7, Y7, Z0^X4^Y4, X8, Y8, …
6010 …Y5, X6, Y6, X7, Y7, X8, Y4^X5^Y5…
6011 …Y5, X6, Y6, X7, Y7, X8, Y8, …
6012 …X5, X6, Y6, X7, Y7, X8, Y8, …
6013 …X5, X6, Y6, X7, Y7, X8, Y8, …
6014 …{X3, Y3, X6, Y6, X7, Y7, X8, …
6015 …X5, X6, Y6, X7, Y7, X8, Z1^X4^Y4…
6016 …{X3, Y3, X6, Y6, X7, Y7, X8, …
6017 …{X3, Y3, X6, Y6, X7, Y7, X8, …
6018 …{X3, Y3, X6, Y6, X7, Y7, X8, …
6019 …{X3, Y3, Y6, X7, Y7, X8, Y8, …
6020 …{X3, Y3, Y6, X7, Y7, X8, Y8, …
6021 …Y4, X6, Y6, X7, Y7, X8, Y8, …
6022 …Y4, X6, Y6, X7, Y7, X8, Y8, …
6023 …6, X7, Y7, X8, Y8, X9, Y9, …
6024 …6, X7, Y7, X8, Y8, X9, Y9, …
6025 …6, X7, Y7, X8, Y8, X9, Y9, …
6026 … X7, Y7, X8, Y8, X9, Y9, X1…
6027 … X7, Y7, X8, Y8, X9, Y9, X1…
6028 …{X3, Y3, Y4, X6, X7, Y7, X8, …
6029 …{X3, Y3, Y4, X6, X7, Y7, X8, …
6030 … Y7, X8, Y8, X9, Y9, X10, Y4^…
6031 … Y7, X8, Y8, X9, Y9, X10, Y4^…
6032 … Y7, X8, Y8, X9, Y9, X10, Y4^…
6033 …6, X7, Y7, X8, X9, Y9, X10, …
6034 … Y7, X8, Y8, X9, Y9, X10, Y4^…
6035 … Y7, X8, Y8, X9, Y9, X10, Y4^…