Lines Matching refs:X5
3789 {Y4, X4, Y5, X5, }, // 1
3790 {Y3, X4, Y4, X5, }, // 2
3794 {Z0^X4^Y4, X4, Y5, X5, }, // 6
3795 {Z0^Y3^X4, X4, Y4, X5, }, // 7
3799 {Z1^Y4^X5, Z0^X4^Y5, Y5, X5, }, // 11
3800 {Z1^Y3^X5, Z0^X4^Y4, Y4, X5, }, // 12
3804 {Z2^Y4^X6, Z1^X4^Y6, Z0^X5^Y5, X5, }, // 16
3805 {Z2^Y3^X6, Z1^X4^Y5, Z0^Y4^X5, X5, }, // 17
3806 {Z2^Y3^X5, Z1^X3^Y5, Z0^X4^Y4, X4, }, // 18
3807 {Y2^Z2^X5, Z1^X3^Y4, Z0^Y3^X4, X4, }, // 19
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
3811 {Y3^Z3^X6, Z2^X3^Y6, Z1^Y4^X5, Z0^X4^Y5, }, // 23
3812 {Y2^Z3^X6, Z2^X3^Y5, Z1^Y3^X5, Z0^X4^Y4, }, // 24
3813 {Y2^Z3^X5, X2^Z2^Y5, Z1^Y3^X4, Z0^X3^Y4, }, // 25
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
3818 {Y2^Z4^X6, X2^Z3^Y6, Z2^Y3^X5, Z1^X3^Y5, }, // 30
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
3824 {X4^Y4, X4, Y5, X5, }, // 36
3825 {Y3^X4, X4, Y4, X5, }, // 37
3829 {Y4^X5, X4^Y5, Y5, X5, }, // 41
3830 {Y3^X5, X4^Y4, Y4, X5, }, // 42
3834 {Y4^X6, X4^Y6, X5^Y5, X5, }, // 46
3835 {Y3^X6, X4^Y5, Y4^X5, X5, }, // 47
3836 {Y3^X5, X3^Y5, X4^Y4, X4, }, // 48
3837 {Y2^X5, X3^Y4, Y3^X4, X4, }, // 49
3839 {Y4^X7, X4^Y7, Y5^X6, X5^Y6, }, // 51
3840 {Y3^X7, X4^Y6, Y4^X6, X5^Y5, }, // 52
3841 {Y3^X6, X3^Y6, Y4^X5, X4^Y5, }, // 53
3842 {Y2^X6, X3^Y5, Y3^X5, X4^Y4, }, // 54
3843 {Y2^X5, X2^Y5, Y3^X4, X3^Y4, }, // 55
3844 {Y4, X4, Y5^X7, X5^Y7, }, // 56
3845 {Y3, X4, Y4^X7, X5^Y6, }, // 57
3848 {Y2, X2, Y3^X5, X3^Y5, }, // 60
3849 {Z0^X3^Y3, X4, Y5, X5, }, // 61
3850 {Z0^X3^Y3, X4, Y4, X5, }, // 62
3853 {Z1^X3^Y3, Z0^X4^Y4, Y5, X5, }, // 65
3854 {Z1^X3^Y3, Z0^X4^Y4, Y4, X5, }, // 66
3858 {Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, X5, }, // 70
3859 {Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, X4, }, // 71
3860 {Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, X3, }, // 72
3861 {Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, X2, }, // 73
3862 {X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, }, // 74
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
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
3874 {Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, Y4, }, // 86
3875 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X6, Y2^X5^Y6, }, // 87
3876 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X7, Y2^X5^Y7, }, // 88
3877 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X8, Y2^X5^Y8, }, // 89
3881 {Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, Y2, }, // 93
3882 {Z1^X3^Y3, Z0^X4^Y4, Y2^X5^Y5, X2, }, // 94
3883 {Z2^X3^Y3, Z1^X4^Y4, Y2^Y5^X6, Z0^X5^Y6, }, // 95
3884 {Z1^X3^Y3, Z0^X4^Y4, Y2^Y5^X6, X1^X5^Y6, }, // 96
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
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
3891 {Z1^X3^Y3, Z0^X4^Y4, Y2^X5^Y5, Y3, }, // 103
3892 {Z1^X3^Y3, Z0^X4^Y4, Y0^X5^Y5, Y2, }, // 104
3893 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X6, Z3^X5^Y6, }, // 105
3894 {Z1^X3^Y3, Z0^X4^Y4, Y0^Y5^X6, X1^X5^Y6, }, // 106
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
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
3901 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X6, S0^X5^Y6, }, // 113
3902 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X7, S0^X5^Y7, }, // 114
3903 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X8, S0^X5^Y8, }, // 115
3904 {Z1^X3^Y3, Z0^X4^Y4, S1^X5^Y5, X2, }, // 116
3905 {Z2^X3^Y3, Z1^X4^Y4, S1^Y5^X6, Z0^X5^Y6, }, // 117
3906 {Z1^X3^Y3, Z0^X4^Y4, S1^Y5^X6, S0^X5^Y6, }, // 118
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
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
3911 {Z1^X3^Y3, Z0^X4^Y4, S2^X5^Y5, Y2, }, // 123
3912 {Z1^X3^Y3, Z0^X4^Y4, S2^X5^Y5, X2, }, // 124
3913 {Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X6, S2^X5^Y6, }, // 125
3914 {Z1^X3^Y3, Z0^X4^Y4, S2^Y5^X6, S1^X5^Y6, }, // 126
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
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
3934 {Y2^X5^Z5, X3^Y4^Z4, Y3^Z3^X4, Y3, }, // 146
3939 {Y2^X6^Z6, X3^Y5^Z5, Z3^Y4^X5, Y3^X4^Z4, }, // 151
3940 {Y2^X5^Z6, X2^Y5^Z5, Z3^X4^Y4, X3^Y3^Z4, }, // 152
3941 {Y2^X5^Z5, X2^Z4^Y5, Z2^X4^Y4, X3^Y3^Z3, }, // 153
3942 {Y1^X5^Z5, X2^Y4^Z4, Z2^Y3^X4, Y2^X3^Z3, }, // 154
3944 {Y2^X7^Z7, X3^Y6^Z6, Z3^Y5^X6, Y3^X5^Z5, }, // 156
3945 {Y2^X6^Z7, X2^Y6^Z6, Z3^X5^Y5, Y3^X4^Z5, }, // 157
3946 {Y2^X6^Z6, X2^Z5^Y6, Z2^X5^Y5, Y3^X4^Z4, }, // 158
3947 {Y1^X6^Z6, X2^Y5^Z5, Z2^Y4^X5, Y2^X4^Z4, }, // 159
3948 {Y1^X5^Z6, X1^Y5^Z5, Z2^X4^Y4, Y2^X3^Z4, }, // 160
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
3953 {Y1^X6^Z7, X1^Y6^Z6, Z2^X5^Y5, Y2^X4^Z5, }, // 165
3954 {Y2^X5, X3^Y4^Z4, Y3^Z3^X4, Y3, }, // 166
3959 {Y2, X3, Z3^Y4^X5, Y3^X4^Z4, }, // 171
3964 {Y2, X3, Z3, Y3^X5, }, // 176
3978 {X3^Y3, X4^Y4, X5^Y5, Z3, }, // 190
3979 {X3^Y3, X4^Y4, Z3^X5^Y5, Y2, }, // 191
3980 {X3^Y3, X4^Y4, Z2^X5^Y5, Y2, }, // 192
3981 {X3^Y3, X4^Y4, Z2^X5^Y5, Y1, }, // 193
3982 {X3^Y3, X1^X4^Y4, Z2^X5^Y5, Y1, }, // 194
3983 {X3^Y3, X4^Y4, Y2^Y5^X6, X5^Y6, }, // 195
3984 {X3^Y3, X4^Y4, Z3^Y5^X6, Y2^X5^Y6, }, // 196
3985 {X3^Y3, X4^Y4, Z2^Y5^X6, Y2^X5^Y6, }, // 197
3986 {X3^Y3, X4^Y4, Z2^Y5^X6, Y1^X5^Y6, }, // 198
3987 {X3^Y3, X1^X4^Y4, Z2^Y5^X6, Y1^X5^Y6, }, // 199
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
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
3998 {Y4^X5, Z0^X4^Y5, Y5, X5, }, // 210
3999 {Y3^X5, Z0^X4^Y4, Y4, X5, }, // 211
4003 {Y4^X6, X4^Y6, Z0^X5^Y5, X5, }, // 215
4004 {Y3^X6, X4^Y5, Z0^Y4^X5, X5, }, // 216
4005 {Y3^X5, X3^Y5, Z0^X4^Y4, X4, }, // 217
4006 {Y2^X5, X3^Y4, Z0^Y3^X4, X4, }, // 218
4008 {Y4^X6, Z1^X4^Y6, Z0^X5^Y5, X5, }, // 220
4009 {Y3^X6, Z1^X4^Y5, Z0^Y4^X5, X5, }, // 221
4010 {Y3^X5, Z1^X3^Y5, Z0^X4^Y4, X4, }, // 222
4011 {Y2^X5, Z1^X3^Y4, Z0^Y3^X4, X4, }, // 223
4013 {Y4^X7, X4^Y7, Z1^Y5^X6, Z0^X5^Y6, }, // 225
4014 {Y3^X7, X4^Y6, Z1^Y4^X6, Z0^X5^Y5, }, // 226
4015 {Y3^X6, X3^Y6, Z1^Y4^X5, Z0^X4^Y5, }, // 227
4016 {Y2^X6, X3^Y5, Z1^Y3^X5, Z0^X4^Y4, }, // 228
4017 {Y2^X5, X2^Y5, Z1^Y3^X4, Z0^X3^Y4, }, // 229
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
4020 {Y3^X6, Z2^X3^Y6, Z1^Y4^X5, Z0^X4^Y5, }, // 232
4021 {Y2^X6, Z2^X3^Y5, Z1^Y3^X5, Z0^X4^Y4, }, // 233
4022 {Y2^X5, X2^Z2^Y5, Z1^Y3^X4, Z0^X3^Y4, }, // 234
4023 {Y4^X7, X4^Y7, Z2^Y5^X6, Z1^X5^Y6, }, // 235
4024 {Y3^X7, X4^Y6, Z2^Y4^X6, Z1^X5^Y5, }, // 236
4025 {Y3^X6, X3^Y6, Z2^Y4^X5, Z1^X4^Y5, }, // 237
4026 {Y2^X6, X3^Y5, Z2^Y3^X5, Z1^X4^Y4, }, // 238
4027 {Y2^X5, X2^Y5, Z2^Y3^X4, Z1^X3^Y4, }, // 239
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
4030 {Y3^X6, X3^Z3^Y6, Z2^Y4^X5, Z1^X4^Y5, }, // 242
4031 {Y2^X6, X3^Z3^Y5, Z2^Y3^X5, Z1^X4^Y4, }, // 243
4032 {Y2^X5, X2^Z3^Y5, Z2^Y3^X4, Z1^X3^Y4, }, // 244
4033 {Y4^X7, X4^Y7, Z3^Y5^X6, Z2^X5^Y6, }, // 245
4034 {Y3^X7, X4^Y6, Z3^Y4^X6, Z2^X5^Y5, }, // 246
4035 {Y3^X6, X3^Y6, Z3^Y4^X5, Z2^X4^Y5, }, // 247
4036 {Y2^X6, X3^Y5, Y3^Z3^X5, Z2^X4^Y4, }, // 248
4037 {Y2^X5, X2^Y5, Y3^Z3^X4, Z2^X3^Y4, }, // 249
4038 {Y4^X8, X4^Y8, Z2^Y5^X7, Z1^X5^Y7, }, // 250
4039 {Y3^X8, X4^Y7, Z2^Y4^X7, Z1^X5^Y6, }, // 251
4042 {Y2^X6, X2^Y6, Z2^Y3^X5, Z1^X3^Y5, }, // 254
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
4047 {Y2^X6, X2^Z3^Y6, Z2^Y3^X5, Z1^X3^Y5, }, // 259
4048 {Y4^X9, X4^Y9, Z3^Y5^X8, Z2^X5^Y8, }, // 260
4049 {Y3^X9, X4^Y8, Z3^Y4^X8, Z2^X5^Y7, }, // 261
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
4058 {X4, Y4, X5^Y8, Y5^X8, }, // 270
4059 {Y3, X4, Y4^X8, X5^Y7, }, // 271
4063 {Z0^X4^Y4, Y4, X5, X6^Y8, }, // 275
4064 {Z0^X4^Y4, Y3, Y4, X5^Y8, }, // 276
4065 {Z0^X4^Y4, X3, Y3, X5^Y7, }, // 277
4068 {Y4^X5^Y5, Z0^X4^Y4, X5, Y5, }, // 280
4069 {Y4^X5^Y5, Z0^X4^Y4, Y3, X5, }, // 281
4070 {Y4^X5^Y5, Z0^X4^Y4, X3, Y3, }, // 282
4071 {Y4^X5^Y5, Z0^X4^Y4, Y2, X3, }, // 283
4072 {Y4^X5^Y5, Z0^X4^Y4, X2, Y2, }, // 284
4073 {Y4^X5^Y5, Z0^X4^Y4, X5^Y5, Y5, }, // 285
4074 {Y4^X5^Y5, Z0^X4^Y4, X5^Y5, Y3, }, // 286
4075 {Y4^X5^Y5, Z0^X4^Y4, X5^Y5, X3, }, // 287
4076 {Y4^X5^Y5, Z0^X4^Y4, X5^Y5, Y2, }, // 288
4077 {Y4^X5^Y5, Z0^X4^Y4, X5^Y5, X2, }, // 289
4078 {Y4^X6^Y6, Z1^X4^Y4, X5, X6, }, // 290
4079 {Y4^X6^Y6, Z1^X4^Y4, Y3, X5, }, // 291
4083 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5, }, // 295
4084 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, Y3, }, // 296
4085 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X3, }, // 297
4086 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, Y2, }, // 298
4087 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X2, }, // 299
4088 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^Y6, }, // 300
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
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
4105 {Y4^X5^Y5, Z0^X4^Y4, X2, X3, }, // 317
4106 {Y4^X9^Y9, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, }, // 318
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
4117 {Y4^X5^Y5, Y0^X4^Y4, X2, X3, }, // 329
4118 {Y4^X5^Y5, Z0^X4^Y4, X2^X5^Y5, Y2, }, // 330
4119 {Y4^X5^Y5, Z0^X4^Y4, Y1^X5^Y5, X2, }, // 331
4122 {Y4^X6^Y6, Z0^X4^Y4, Y0^X5^Y5, X2, }, // 334
4123 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X2^X5^Y5, }, // 335
4124 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, Y1^X5^Y5, }, // 336
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
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
4135 {X4, Y4, X5^Y10, Y5^X10, }, // 347
4136 {Y3, X4, Y4^X10, X5^Y9, }, // 348
4140 {Z0^X4^Y4, Y4, X5, Y5^X10, }, // 352
4141 {Z0^X4^Y4, Y3, Y4, X5^Y9, }, // 353
4150 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X2^X5^Y6, }, // 362
4151 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, Y1^X5^Y6, }, // 363
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
4155 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, Y1^X5^Y8, }, // 367
4156 {Z0^X4^Y4, X3, Y3, X5^Y8, }, // 368
4157 {Y4^X6^Y6, Z0^X4^Y4, Y1^X5^Y5, X2, }, // 369
4158 {Y4^X6^Y6, Z0^X4^Y4, Y1^X5^Y5, X1^X5^Y6, }, // 370
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
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
4167 {Y4^X5^Y5, Z0^X4^Y4, Y2^X5^Y5, X2, }, // 379
4168 {Y4^X5^Y5, Y0^X4^Y4, X1^X5^Y5, X2, }, // 380
4169 {Y4^X6^Y6, Z0^X4^Y4, Y1^X5^Y5, X3, }, // 381
4170 {Y4^X6^Y6, Y0^X4^Y4, Y1^X5^Y5, X3, }, // 382
4171 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, Y2^X5^Y6, }, // 383
4172 {Y4^X6^Y6, Z0^X4^Y4, Y1^X5^Y5, X2^X5^Y6, }, // 384
4173 {Y4^X6^Y6, Y0^X4^Y4, Y1^X5^Y5, Y2^X5^Y6, }, // 385
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
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
4182 {Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6, Y5, }, // 394
4183 {Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6, Y3, }, // 395
4184 {Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6, X3, }, // 396
4185 {Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6, Y2, }, // 397
4186 {Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6, X2, }, // 398
4187 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^X7^Y7, }, // 399
4191 {X4, Y4, Y5^X8, X5^Y8, }, // 403
4192 {Z0^X4^Y4, Y4, X5, Y5^X9, }, // 404
4195 {X4, Y4, Y5^X8, S0^X5^Y8, }, // 407
4196 {Y3, X4, Y4^X8, S0^X5^Y7, }, // 408
4201 {Y4^X5^Y5, S2^X4^Y4, X2, Y2, }, // 413
4202 {Y4^X5^Y5, Z0^X4^Y4, X3^X6^Y6, X2, }, // 414
4203 {Y4^X6^Y6, Z1^X4^Y4, X5, Y6, }, // 415
4206 {Y4^X6^Y6, Z0^X4^Y4, S2^X5^Y5, X2, }, // 418
4207 {Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X3^X7^Y7, }, // 419
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
4212 {X4, Y4, Y5^X10, X5^Y10, }, // 424
4213 {Y4^X5^Y5, Z0^X4^Y4, S0^X6^Y6, X2, }, // 425
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
4217 {Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, S0^X5^Y8, }, // 429
4218 {Y4^X5^Y5, Z0^X4^Y4, S1^X6^Y6, X2, }, // 430
4219 {Y4^X6^Y6, Z0^X4^Y4, S1^X5^Y5, X2, }, // 431
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
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
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
4230 {Y4^X5^Y5, Z0^X4^Y4, S2^X6^Y6, X3, }, // 442
4231 {Y4^X5^Y5, Z0^X4^Y4, S2^X6^Y6, Y2, }, // 443
4232 {Y4^X5^Y5, S2^X4^Y4, S1^X6^Y6, X2, }, // 444
4233 {Y4^X6^Y6, Z0^X4^Y4, S2^X5^Y5, Y2, }, // 445
4234 {Y4^X6^Y6, S2^X4^Y4, S1^X5^Y5, X2, }, // 446
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
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
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
4251 {Y4^X5^Y5, X4^Y4, Y2, Z3, }, // 463
4252 {Y4^X5^Y5, X4^Y4, Y2, Z2, }, // 464
4253 {Z3^Y4^X5^Y5, X4^Y4, Y1, Z2, }, // 465
4254 {Z3^Y4^X5^Y5, Y1^X4^Y4, X1, Z2, }, // 466
4255 {Y4^X5^Y5, X4^Y4, Z3^X5, Y2, }, // 467
4256 {Y4^X5^Y5, X4^Y4, Z2^X5, Y2, }, // 468
4257 {Z3^Y4^X5^Y5, X4^Y4, Z2^X5, Y1, }, // 469
4258 {Z3^Y4^X5^Y5, Y1^X4^Y4, Z2^X5, X1, }, // 470
4264 {Y4^X6^Y6, X4^Y4, X5^Y5, Y2, }, // 476
4265 {Y4^X6^Y6, X4^Y4, Y2^X5^Y5, Z3, }, // 477
4266 {Y4^X6^Y6, X4^Y4, Y2^X5^Y5, Z2, }, // 478
4267 {Z3^Y4^X6^Y6, X4^Y4, Y1^X5^Y5, Z2, }, // 479
4268 {Z3^Y4^X6^Y6, Y1^X4^Y4, X1^X5^Y5, Z2, }, // 480
4269 {Y4^X6^Y6, X4^Y4, X5^Y5, Z3^X6, }, // 481
4270 {Y4^X6^Y6, X4^Y4, Y2^X5^Y5, Z3^X6, }, // 482
4271 {Y4^X6^Y6, X4^Y4, Y2^X5^Y5, Z2^X6, }, // 483
4272 {Z3^Y4^X6^Y6, X4^Y4, Y1^X5^Y5, Z2^X6, }, // 484
4273 {Z3^Y4^X6^Y6, Y1^X4^Y4, X1^X5^Y5, Z2^X6, }, // 485
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
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
4298 {Y3^X5^Y5, Z0^X4^Y4, Y2, X3, }, // 510
4299 {Y3^X5^Y5, X2^X4^Y4, Y2, X3, }, // 511
4307 {Y5, X5, Y6, X6, }, // 3
4308 {Y4, X5, Y5, X6, }, // 4
4309 {Y4, X4, Y5, X5, }, // 5
4312 {Z0^X5^Y5, X5, Y6, X6, }, // 8
4313 {Z0^Y4^X5, X5, Y5, X6, }, // 9
4314 {Z0^X4^Y4, X4, Y5, X5, }, // 10
4317 {Z1^Y5^X6, Z0^X5^Y6, Y6, X6, }, // 13
4318 {Z1^Y4^X6, Z0^X5^Y5, Y5, X6, }, // 14
4319 {Z1^Y4^X5, Z0^X4^Y5, Y5, X5, }, // 15
4322 {X5^Y5, X5, Y6, X6, }, // 18
4323 {Y4^X5, X5, Y5, X6, }, // 19
4324 {X4^Y4, X4, Y5, X5, }, // 20
4327 {Y5^X6, X5^Y6, Y6, X6, }, // 23
4328 {Y4^X6, X5^Y5, Y5, X6, }, // 24
4329 {Y4^X5, X4^Y5, Y5, X5, }, // 25
4330 {Y3, X4, Y5, X5, }, // 26
4331 {Y4, X5, Y6, X6, }, // 27
4333 {Y2, X3, Y4, X5, }, // 29
4346 {X5, Y6, X6, Y7, }, // 42
4347 {Y5, X5, Y6, Y2^Y7, }, // 43
4348 {X4, Y5, X5, Y2^Y6, }, // 44
4351 {Y4, X5, Y6, Y2^Y7, }, // 47
4352 {X3, Y4, X5, Y2^Y6, }, // 48
4366 {X5, Y5, X6, Y2^Y6, }, // 62
4367 {Y5, X5, Y2^Y6, X2^Y7, }, // 63
4368 {Y4, X5, Y1^Y5, X2^Y6, }, // 64
4370 {Y5, X5, X2^Y6, Y2^Y7, }, // 66
4371 {Y4, X5, X2^Y5, Y1^Y6, }, // 67
4375 {Y4, X5, X2^Y6, Y2^Y7, }, // 71
4405 {Y5, X5, Y6, S0^Y7, }, // 101
4406 {Y4, X5, Y5, S0^Y6, }, // 102
4409 {Y4, X5, Y6, S0^Y7, }, // 105
4424 {Y5, X5, S0^Y6, S1^Y7, }, // 120
4425 {Y4, X5, S0^Y5, S1^Y6, }, // 121
4428 {Y4, X5, S0^Y6, S1^Y7, }, // 124
4452 {X4, Z4, Y4, X5, }, // 148
4457 {X4^Y4^Z4, Z4, Y4, X5, }, // 153
4462 {X4^Y5^Z5, Y4^Z4^X5, Y4, X5, }, // 158
4467 {X4, Y4^Z4^X5, Y4, X5, }, // 163
4474 {X3, Z4, Y4, X5, }, // 170
4489 {X5^Y6, Y5^X6, 0, 0, }, // 185
4490 {Y4^X6, X5^Y5, 0, 0, }, // 186
4491 {X4^Y5, Y4^X5, 0, 0, }, // 187
4495 {Y4^X7, X5^Y6, Y5^X6, 0, }, // 191
4496 {Y3^X7, X5^Y5, Y4^X6, 0, }, // 192
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
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
4511 {X3^Y7, Y3^X6, X5^Y6, Z0^X5^Y5, }, // 207
4513 {X5, X6^Y9, Y6^X9, X7^Y8, }, // 209
4514 {Y3, X5^Y9, X6^Y8, Y6^X8, }, // 210
4515 {X3, Y3^X8, X5^Y8, X6^Y7, }, // 211
4516 {Y2, X3^Y8, Y3^X7, X5^Y7, }, // 212
4559 {X5^Y7, X6^Y6, 0, 0, }, // 255
4560 {Y5^X6, Y2^X5^Y6, 0, 0, }, // 256
4561 {Y4^X6, X2^X5^Y5, 0, 0, }, // 257
4562 {Y4^X5, Y1^X4^Y5, 0, 0, }, // 258
4563 {X5^Y7, Y5^X7, Y2^X6^Y6, 0, }, // 259
4564 {X5^Y6, Y4^X7, X2^Y5^X6, 0, }, // 260
4565 {X3^Y6, Y4^X6, Y1^X5^Y5, 0, }, // 261
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
4575 {Y3^X6, X3^Y7, Y1^X5^Y6, Z0^X5^Y5, }, // 271
4576 {Y3, X5, X6^Y10, Y7^X9, }, // 272
4577 {X3, Y3, X5^Y10, X6^Y9, }, // 273
4578 {Y2, X3, Y3^X8, X5^Y9, }, // 274
4595 {X5^Y6, Y2^Y5^X6, 0, 0, }, // 291
4596 {X2^X5^Y6, Y2^Y5^X6, 0, 0, }, // 292
4597 {X2^X5^Y5, Y1^Y4^X6, 0, 0, }, // 293
4598 {X1^X4^Y5, Y1^Y4^X5, 0, 0, }, // 294
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
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
4614 {Y3, X5^Y9, X6^Y8, X2^Y6^X8, }, // 310
4615 {X3, Y3^X8, X5^Y8, X2^Y6^X7, }, // 311
4633 {Y1^Y4^X6, X2^X5^Y5, 0, 0, }, // 329
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
4641 {X3, Y3^X8, X5^Y7, X1^X6^Y6, }, // 337
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
4646 {Y3, X5^Y9, Y1^X6^Y8, X2^Y6^X8, }, // 342
4648 {X3, Y3^X8, Y1^X5^Y8, Y2^X6^Y7, }, // 344
4649 {X3, Y3, X5^Y10, Y1^X6^Y9, }, // 345
4650 {Y2, X3, Y3^X8, X5^Y8, }, // 346
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
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
4682 {Y2, X3^Y7, Y3^X6, X5^Y6, }, // 378
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
4692 {Y2, Y3^X6, X3^Y6, Z0^X5^Y6, }, // 388
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
4727 {Y2, Y3^X6, X3^Y7, Y1^X5^Y6, }, // 423
4728 {X3, Y3^X7, X5^Y7, X2^X6^Y6, }, // 424
4729 {Y3, X5, X6^Y8, X7^Y7, }, // 425
4730 {X3, Y3, X5^Y8, X6^Y7, }, // 426
4731 {X3, Y3, X5^Y8, Y2^X6^Y7, }, // 427
4732 {Y2, X3, Y3^X6, X5^Y6, }, // 428
4733 {X2, Y2, Y3^X5, X3^Y6, }, // 429
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
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
4756 {X5^Y7, Y4^X8, X2^Y5^X7, Y1^X6^Y6, }, // 452
4757 {X3^Y7, Y4^X7, X1^Y5^X6, Y1^X5^Y6, }, // 453
4761 {Y2, Y3^X6, X3^Y6, X1^X5^Y5, }, // 457
4762 {Y3, X5^Y8, X6^Y7, Y2^Y6^X7, }, // 458
4763 {Y3, X5^Y8, X2^X6^Y7, Y2^Y6^X7, }, // 459
4765 {X3, Y3^X7, Y2^X6^Y6, X1^X5^Y7, }, // 461
4769 {X2, X3, Y3^X6, Y2^X5^Y6, }, // 465
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
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
4787 {X3, Y3^X6, Y1^X4^Y6, Y2^X5^Y5, }, // 483
4788 {Y3, X1^X5^Y8, Y2^Y6^X7, X2^X6^Y7, }, // 484
4789 {Y3, X1^X5^Y8, X2^X6^Y7, Y2^Y6^X7, }, // 485
4790 {X3, Y3, Y1^X5^Y7, X2^X6^Y6, }, // 486
4791 {X3, Y3, X1^X5^Y7, Y2^X6^Y6, }, // 487
4792 {X3, Y3, X1^X5^Y7, X2^X6^Y6, }, // 488
4793 {Y3, X2^Y6^X7, Y1^X6^Y7, Y2^X5^Y6, }, // 489
4822 {Y5^X6, S0^X5^Y6, 0, 0, }, // 518
4823 {Y4^X6, S0^X5^Y5, 0, 0, }, // 519
4824 {Y4^X5, S0^X4^Y5, 0, 0, }, // 520
4827 {X5^Y7, Y5^X7, S0^X6^Y6, 0, }, // 523
4828 {X5^Y6, Y4^X7, S0^Y5^X6, 0, }, // 524
4829 {X3^Y6, Y4^X6, S0^X5^Y5, 0, }, // 525
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
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
4842 {Y3^X6, X3^Y7, S0^X5^Y6, Z0^X5^Y5, }, // 538
4862 {S0^X5^Y6, S1^Y5^X6, 0, 0, }, // 558
4863 {S0^Y4^X6, S1^X5^Y5, 0, 0, }, // 559
4864 {S0^X4^Y5, S1^Y4^X5, 0, 0, }, // 560
4868 {Y4^X7, S0^X5^Y6, S1^Y5^X6, 0, }, // 564
4869 {Y3^X7, S0^X5^Y5, S1^Y4^X6, 0, }, // 565
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
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
4884 {Y3^X6, X3^Y7, S0^X5^Y6, S1^X5^Y5, }, // 580
4886 {X5, X6^Y9, Y6^X9, S0^X7^Y8, }, // 582
4887 {Y3, X5^Y9, X6^Y8, S0^Y6^X8, }, // 583
4888 {X3, Y3^X8, X5^Y8, S0^X6^Y7, }, // 584
4916 {S1^Y5^X6, S2^X5^Y6, 0, 0, }, // 612
4917 {S1^Y4^X6, S2^X5^Y5, 0, 0, }, // 613
4918 {S1^Y4^X5, S2^X4^Y5, 0, 0, }, // 614
4921 {S0^X5^Y7, S1^Y5^X7, S2^X6^Y6, 0, }, // 617
4922 {S0^X5^Y6, S1^Y4^X7, S2^Y5^X6, 0, }, // 618
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
4927 {Y3^X6, X3^Y7, S0^X4^Y6, S1^X5^Y5, }, // 623
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
4938 {Y3, X5^Y9, S0^X6^Y8, S1^Y6^X8, }, // 634
4939 {Y2, Y3^X7, X3^Y8, S0^X5^Y7, }, // 635
4944 {X2, Y2, Y3^X8, S0^X5^Y8, }, // 640
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
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
4999 {Y2, Y3^X6, X3^Y6, X5^Y5, }, // 695
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
5003 {Y2, Y3^X6, X3^Y7, S0^X5^Y6, }, // 699
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
5012 {Y2, Y3^X6, X3^Y6, S0^X5^Y6, }, // 708
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
5045 {Y2, Y3^X6, X3^Y6, S0^X5^Y5, }, // 741
5046 {X5, X6^Y8, S0^Y6^X8, S1^X7^Y7, }, // 742
5047 {Y3, X5^Y8, S0^X6^Y7, S1^Y6^X7, }, // 743
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
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
5079 {Y3, Y5^X7, S0^X5^Y7, S1^X6^Y6, }, // 775
5080 {X3, Y3^X7, S0^X5^Y6, S1^Y5^X6, }, // 776
5081 {Y2, Y3^X5, X3^Y6, S0^X4^Y5, }, // 777
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
5087 {X3, Y3, S0^X5^Y7, S1^X6^Y6, }, // 783
5088 {Y2, X3, Y3^X6, S0^X5^Y6, }, // 784
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
5107 {Y3, X3, Z4, X5, }, // 803
5111 {Z3, X3, Z4, X5^Y5, }, // 807
5112 {X2, Z4, X3, Y2^X5^Y5, }, // 808
5113 {X2, Z3, X3, Y2^X5^Y5, }, // 809
5114 {X2, Y3, X3, Y1^X5^Y5, }, // 810
5115 {X2, Y3, X3, X1^X5^Y5, }, // 811
5118 {Z3, X3, Z4, X5^Y6, }, // 814
5119 {X2, Z4, X3, Z3^X5^Y6, }, // 815
5120 {X2, Z3, X3, Z2^X5^Y6, }, // 816
5121 {X2, Y3, X3, Z2^X5^Y6, }, // 817
5164 {X5^Y6, 0, 0, 0, }, // 14
5165 {Z0^X5^Y6, 0, 0, 0, }, // 15
5201 {X5^Y8, Y1^X6^Y7, 0, 0, }, // 51
5254 {Y0^X5^Y7, X1^X6^Y6, 0, 0, }, // 104
5255 {Z1^X5^Y6, 0, 0, 0, }, // 105
5256 {Y1^X5^Y6, 0, 0, 0, }, // 106
5366 {Z2^X5^Y6, 0, 0, 0, }, // 216
5367 {S1^X5^Y6, 0, 0, 0, }, // 217
5855 …{0, X4, Y4, X5, Y5, X6, Y6, …
5856 …{0, Y3, X4, Y4, X5, Y5, X6, …
5857 …{0, X3, Y3, X4, Y4, X5, Y5, …
5858 …{0, Y2, X3, Y3, X4, Y4, X5, …
5859 …Y2, X3, Y3, X4, Y4, X5, Y5, …
5860 …{0, X3^Y3, X4, X5, Y5, X6, Y6, …
5861 …{0, X3^Y3, X4, Y4, X5, Y5, X6, …
5862 …{0, X3^Y3, X4^Y4, X5, Y5, X6, Y6, …
5863 …{0, X4, X5, Y5, X6, Y6, X7, …
5864 …{0, Y4, X4, X5, Y5, X6, Y6, …
5865 …{0, X3, Y4, X4, X5, Y5, X6, …
5866 …{0, Y2, X3, Y4, X4, X5, Y5, …
5867 …{0, X2, Y2, X3, Y4, X4, X5, …
5868 …{0, X5, Y5, X6, Y6, X7, Y7, …
5869 …{0, Y4, X5, Y5, X6, Y6, X7, …
5870 …{0, X3, Y4, X5, Y5, X6, Y6, …
5871 …{0, Y2, X3, Y4, X5, Y5, X6, …
5872 …{0, X2, Y2, X3, Y4, X5, Y5, …
5873 … Y8, X9, Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, Y9, …
5874 … X8, Y8, Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, X9, …
5875 … Y7, X8, Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, Y8, …
5876 … X7, Y7, Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, X8, …
5877 … Y6, X7, Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, Y7, …
5878 … Y9, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5879 … X9, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5880 … Y8, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5881 … X8, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5882 … Y7, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5883 … X10, X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5884 … Y9, X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5885 … X9, X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5886 … Y8, X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5887 … X8, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X7, Z0^X5^Y7, Y2^X6^Y6, …
5888 …, Y10, X3^Y3^Z5, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5889 … X10, X3^Y3^Z5, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5890 … Y9, X3^Y3^Z5, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5891 … X9, X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, Y2^Y6^X7, …
5892 … Y2, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X8, Z0^X5^Y8, Y2^Y6^X7, …
5893 …{0, Y4, X5, Y5, X6, Y6, X7, …
5894 …{0, Y3, Y4, X5, Y5, X6, Y6, …
5895 …{0, X3, Y3, Y4, X5, Y5, X6, …
5896 …{0, Y2, X3, Y3, Y4, X5, Y5, …
5897 …{0, X2, Y2, X3, Y3, Y4, X5, …
5898 …, X5, Y5, X6, Y6, X7, Y7, …
5899 … Y3, X5, Y5, X6, Y6, X7, Y7…
5900 …3, Y3, X5, Y5, X6, Y6, X7, …
5901 … X3, Y3, X5, Y5, X6, Y6, X7…
5902 …2, X3, Y3, X5, Y5, X6, Y6, …
5903 …7, X8, Y8, X9, Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6,…
5904 …7, Y7, X8, Y8, Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6,…
5905 …6, X7, Y7, X8, Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6,…
5906 …6, Y6, X7, Y7, Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6,…
5907 …5, X6, Y6, X7, Y4^X5^Y5, Z0^X4^Y4, X5^X6^Y6,…
5908 …X5, X6, Y6, X7, Y7, X8, Y8, …
5909 … X5, X6, Y6, X7, Y7, X8, …
5910 …Y3, X5, X6, Y6, X7, Y7, X8, …
5911 … Y3, X5, X6, Y6, X7, Y7, …
5912 …X3, Y3, X5, X6, Y6, X7, Y4^X6^Y6…
5913 …X5, X6, Y6, X7, Y7, X8, Y8, …
5914 … X5, X6, Y6, X7, Y7, X8, Y8…
5915 …3, X5, X6, Y6, X7, Y7, X8, …
5916 … Y3, X5, X6, Y6, X7, Y7, Y4…
5917 …3, Y3, X5, X6, Y6, X7, Y4^X6^Y6,…
5918 … X9, Y9, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^X7^Y7, 0,…
5919 … Y8, X9, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^X7^Y7, 0,…
5920 … X8, Y8, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^X7^Y7, 0,…
5921 … Y7, X8, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^X7^Y7, 0,…
5922 … X7, Y7, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^X7^Y7, 0,…
5923 …X9, Y9, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, X5^Y6, 0, …
5924 …Y8, X9, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, X5^Y6, 0, …
5925 …X8, Y8, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, X5^Y6, 0, …
5926 …Y7, X8, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, X5^Y6, 0, …
5927 …X7, Y7, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, X5^Y6, 0, …
5928 … Y9, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5929 … X9, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5930 … Y8, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5931 … X8, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5932 … Y7, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
5933 … X10, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, X6^X8^Y8, …
5934 … Y9, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, X6^X8^Y8, …
5935 … X9, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, X6^X8^Y8, …
5936 … Y8, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, X6^X8^Y8, …
5937 … X8, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, X3^X8^Y8, …
5938 … X10, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, X6^Y6, …
5939 … Y9, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, X6^Y6, …
5940 … X9, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, X6^Y6, …
5941 … Y8, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, X6^Y6, …
5942 … X8, Y4^X8^Y8, Z2^X4^Y4, Z1^Y5^X7, Z0^X5^Y7, X6^Y6, …
5943 … X10, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5944 … Y9, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5945 … X9, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5946 … Y8, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5947 … X8, Y4^X8^Y8, Z2^X4^Y4, Z1^Y5^X7, Z0^X5^Y7, Y2^X6^Y6, …
5948 …, Y10, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5949 … X10, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5950 … Y9, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5951 … X9, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5952 … Y8, Y4^X8^Y8, Z2^X4^Y4, Z1^Y5^X7, Z0^X5^Y7, Y2^X6^Y6, …
5953 …, Y10, Y4^X9^Y9, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5954 … X10, Y4^X9^Y9, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5955 … Y9, Y4^X9^Y9, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5956 … X9, Y4^X9^Y9, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, Y2^Y6^X7, …
5957 … Y2, Y4^X9^Y9, Z2^X4^Y4, Z1^Y5^X8, Z0^X5^Y8, Y2^Y6^X7, …
5958 …, Y10, Y4^X9^Y9, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5959 … X10, Y4^X9^Y9, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5960 … Y9, Y4^X9^Y9, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5961 … X9, Y4^X9^Y9, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, Y2^Y6^X7, …
5962 … Y2, Y4^X9^Y9, Z2^X4^Y4, Z1^Y5^X8, Z0^X5^Y8, Y2^Y6^X7, …
5967 …0, X3, Y3, X4, Y4, X5, Y5, …
5968 …{0, 0, 0, X3, Y4, X4, X5, …
5969 …{0, 0, 0, X3, Y4, X5, Y5, …
5970 … Y6, X7, Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, Y7, …
5971 … Y7, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, X8, …
5972 …X7, Y7, Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, X8, …
5973 … X8, X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
5974 … X8, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X7, Z0^X5^Y7, X6^Y6, …
5975 …Y7, X8, Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, X6^Y6, …
5976 … Y8, X3^Y3^Z5, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
5977 … Y8, X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, Z0^Y6^X7, …
5978 … Y8, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X8, Z0^X5^Y8, Y6^X7, …
5979 …X8, Y8, Z2^X3^Y3, Z1^X4^Y4, Z0^Y5^X8, X5^Y8, Y6^X7, …
5980 …{0, 0, 0, X3, Y3, Y4, X5, …
5981 …, X3, Y3, X5, Y5, X6, Y6, …
5982 …5, X6, Y6, X7, Y4^X5^Y5, Z0^X4^Y4, X5^Y5, …
5983 … X5, X6, Y6, X7, Y4^X6^Y6, Z1^X4^Y4, …
5984 …3, Y3, X5, X6, Y6, X7, Y4^X6^Y6,…
5985 … X7, Y7, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^Y6, X8…
5986 …3, Y3, Y4, X5, X6, Y6, Z1^X4^Y4,…
5987 …Z1^X4^Y4, Z0^Y5^X6, X8, Y8, X9, X5^Y6, 0, …
5988 …X7, Y7, Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, X8, …
5989 …Y7, X8, Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, X6^Y6, …
5990 …X6, Y6, X7, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, Y7, …
5991 …Y7, X8, Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, Y8, …
5992 …Y7, X8, Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, X6^Y6, …
5993 …X8, Y8, Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, X6^Y6, …
5994 …X6, X7, Y7, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, X6^Y6, …
5995 …X8, Y8, Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, X5^Y8, Y6^X7, …
5996 …X8, Y8, Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, X5^Y8, Y6^X7, …
6001 …{X3, Y3, X4, Y4, X5, Y5, X6, …
6002 …{X3, Y4, X4, X5, Y5, X6, Y6, …
6003 …{X3, Y4, X5, Y5, X6, Y6, X7, …
6004 … X8, Y8, Z2^X3^Y3, Z1^X4^Y4, Z0^X5^Y5, X9, …
6005 … X9, X3^Y3^Z3, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
6006 … Y9, X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
6007 … X10, X3^Y3^Z5, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
6008 … X10, X3^Y3^Z4, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, Y6^X7, …
6009 …{X3, Y3, Y4, X5, Y5, X6, Y6, …
6010 … Y3, X5, Y5, X6, Y6, X7, Y7…
6011 …7, Y7, X8, Y8, Y4^X5^Y5, Z0^X4^Y4, X5^Y5, …
6012 … X5, X6, Y6, X7, Y7, X8, …
6013 … X5, X6, Y6, X7, Y7, X8, Y8…
6014 … Y8, X9, Y4^X6^Y6, Z1^X4^Y4, Z0^X5^Y5, X5^Y6, 0,…
6015 … Y4, X5, X6, Y6, X7, Y7, X8…
6016 …Y8, X9, Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, 0, …
6017 …Y8, X9, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, X5^Y6, 0, …
6018 … X9, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, 0, …
6019 …X9, Y9, Y4^X7^Y7, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, X6^Y6, …
6020 … Y9, Y4^X7^Y7, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, X6^Y6, …
6021 …Y7, X8, Y8, Z1^X4^Y4, Z0^Y5^X6, X5^Y6, X9, …
6022 … X8, Y8, Z2^X4^Y4, Z1^Y5^X6, Z0^X5^Y6, X9, …
6023 …X9, Y9, Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, X6^Y6, …
6024 … Y9, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, X6^Y6, …
6025 … Y9, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
6026 …Y9, X10, Y4^X8^Y8, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, X6^Y6, …
6027 … X10, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
6028 …X8, Y8, X9, Z1^X4^Y4, Z0^Y5^X7, X5^Y7, X6^Y6, …
6029 … Y8, X9, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
6030 …Y9, X10, Y4^X9^Y9, Z1^X4^Y4, Z0^Y5^X8, X5^Y8, Y6^X7, …
6031 … X10, Y4^X9^Y9, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
6032 … X10, Y4^X9^Y9, X4^Y4^Z4, Z3^Y5^X8, Z2^X5^Y8, Z1^Y6^X7, …
6033 … X10, Y4^X8^Y8, Z3^X4^Y4, Z2^Y5^X7, Z1^X5^Y7, Z0^X6^Y6, …
6034 … X10, Y4^X9^Y9, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, Y6^X7, …
6035 … X10, Y4^X9^Y9, Z3^X4^Y4, Z2^Y5^X8, Z1^X5^Y8, Y6^X7, …