/
optimal_quantum_circuits.hpp
198 lines (182 loc) · 89.9 KB
/
optimal_quantum_circuits.hpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
/* CirKit: A circuit toolkit
* Copyright (C) 2009-2015 University of Bremen
* Copyright (C) 2015-2017 EPFL
*
* Permission is hereby granted, free of charge, to any person
* obtaining a copy of this software and associated documentation
* files (the "Software"), to deal in the Software without
* restriction, including without limitation the rights to use,
* copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the
* Software is furnished to do so, subject to the following
* conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
* OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
* HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
* WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
* OTHER DEALINGS IN THE SOFTWARE.
*/
/**
* @file optimal_quantum_circuits.hpp
*
* @brief Some databases of quantum circuits
*
* @author Mathias Soeken
* @since 2.3
*/
#ifndef OPTIMAL_QUANTUM_CIRCUITS_HPP
#define OPTIMAL_QUANTUM_CIRCUITS_HPP
#include <cstdint>
#include <string>
#include <unordered_map>
#include <vector>
namespace cirkit
{
namespace optimal_quantum_circuits
{
/* affine classification (n = 2, 3, 4) in order of class function value */
/* synthesized by Matthew Amy using Tpar */
const std::vector<std::vector<std::string>> affine_classification = {
{"",
"t1 c, H c, Z[4] a, Z[4] b, Z[4] c, t2 b a, t2 c b, t2 a c, Z+[4] b, t2 a b, Z+[4] a, Z+[4] a, Z[4] c, t2 c b, t2 a c, t2 b a, H c",
"t2 -a c"
},
{"",
"H e,H d,t1 a,t1 b,t1 c,Z[4] e,t2 a b,t2 b e,t2 e a,Z+[4] a,Z[4] e,t2 b a,Z+[4] a,t2 b e,t2 e a,t2 a b,H e,Z[4] e,Z[4] c,Z[4] d,t2 e c,t2 c d,t2 d e,Z+[4] e,Z+[4] c,Z[4] d,t2 c e,Z+[4] e,t2 c d,t2 d e,t2 e c,H e,Z[2] a,Z[2] b,Z[4] e,t2 a b,t2 b e,t2 e a,Z+[4] a,Z+[2] b,Z[4] e,t2 b a,Z+[4] a,t2 b e,t2 e a,t2 a b,t1 a,t1 b,t1 c,H d,H e",
"H d,t1 a,t1 b,Z[4] a,Z[4] b,Z[4] d,t2 a b,t2 b d,t2 d a,Z+[4] a,Z+[4] b,Z[4] d,t2 b a,Z+[4] a,t2 b d,t2 d a,t2 a b,t1 a,t1 b,H d",
"H e,H d,t1 a,t1 c,t2 a c,t2 c d,t2 d a,Z+[4] c,Z[4] d,t2 c a,Z+[4] a,t2 c d,t2 d a,t2 a c,t1 c,t1 b,Z[4] e,t2 a b,t2 b e,t2 e a,Z+[4] a,Z[4] e,t2 b a,Z+[4] a,t2 b e,t2 e a,t2 a b,H e,Z[4] e,Z[2] d,t2 e c,t2 c d,t2 d e,Z+[4] c,Z[4] d,t2 c e,Z+[4] e,t2 c d,t2 d e,t2 e c,H e,Z[2] a,Z[4] a,Z[2] b,Z[4] e,t2 a b,t2 b e,t2 e a,Z+[4] a,Z+[2] b,Z[4] e,t2 b a,Z+[4] a,t2 b e,t2 e a,t2 a b,t1 a,t1 b,H d,H e",
"t1 a,t2 a d,t1 a",
"H d,t1 b,t1 c,t2 b c,t2 c d,t2 d b,Z+[4] c,Z[4] d,t2 c b,t2 c d,t2 d b,t2 b c,t1 a,Z[2] c,t2 a c,t2 c d,t2 d a,Z+[2] a,Z+[4] c,Z[4] d,t2 c a,t2 c d,t2 d a,t2 a c,t1 c,Z[2] a,Z[2] b,Z[2] d,Z[4] d,t2 a b,t2 b d,t2 d a,Z+[2] a,Z+[4] b,Z[4] d,t2 b a,Z+[2] a,t2 b d,t2 d a,t2 a b,t1 a,t1 b,H d"
},
{"",
"t1 a,H f,Z[4] f,Z+[4] a,t2 a f,t2 f b,t2 f a,Z[4] f,Z[4] a,Z[4] b,t2 a f,t2 b a,t2 f b,t2 f a,t1 a,t1 d,H b,H e,t2 b a,t2 e b,t2 a b,t2 a e,t1 b,t1 a,t1 e,Z[4] b,Z[4] a,Z+[4] e,t2 a b,t2 e b,t2 a e,t2 b a,t2 e a,t2 c d,Z+[2] a,Z c,Z+[2] f,Z+[2] b,Z d,t2 e a,t2 d c,Z[2] a,Z e,Z c,t1 b,H b,t2 d c,t2 b c,t2 b d,t1 d,Z[4] c,Z[4] b,Z[4] d,t2 b c,t2 d c,t2 b d,t2 c d,t2 c b,Z[4] c,t2 d c,H d,t2 e d,t2 a e,t2 e a,t2 d a,t2 d e,Z[4] a,Z+[4] d,Z+[4] e,t2 d a,t2 e a,t2 e d,t2 a d,t2 a e,Z[4] a,t2 e a,t2 d a,H d,t2 c b,t2 d b,t2 d c,t1 c,Z[4] b,Z[4] d,Z[4] c,t2 d b,t2 c b,t2 d c,t2 b c,t2 b d,Z[4] b,t2 c b,t1 f,H c,H a,t2 c f,t2 a c,t2 a e,t2 c e,t1 f,Z[4] a,Z+[4] c,Z+[4] e,Z[4] f,t2 f a,t2 f c,t2 c e,t2 a f,t2 a e,Z[4] c,Z+[4] a,t2 f c,t2 f a,t2 c a,Z[2] a,H f,t2 e a,t2 f a,t2 a e,Z+[4] e,Z[4] a,t2 a e,t2 f a,t2 e a,t2 f e,Z[2] f,Z+[2] e,t2 e f,t2 f e,H a,t2 b d,t2 a d,t2 a b,t1 b,Z[4] d,Z[4] a,Z[4] b,t2 a d,t2 b d,t2 a b,t2 d b,t2 d a,Z[4] d,t2 b d,H b,t2 f b,t2 e f,t2 f e,t2 b e,t2 b f,Z[4] e,Z+[4] b,Z+[4] f,t2 b e,t2 f e,t2 b f,t2 e f,t2 e b,Z[4] e,t2 b e,t2 f e,H e,H f,t2 d a,t2 f a,t2 f d,t1 d,Z[4] a,Z[4] f,Z[4] d,t2 f a,t2 d a,t2 f d,t2 a d,t2 a f,Z[4] a,t2 d a,H d,t2 c a,t2 a c,t2 c a,t2 f d,t2 d f,t2 f b,t2 b f,t2 f b",
"H f,H e,t2 b a,t2 f a,t2 a b,Z[4] f,Z[4] a,Z[4] b,Z+[4] c,t2 a f,t2 b f,t2 e c,t2 a b,t2 f b,t2 f a,Z[4] e,Z[4] f,Z[4] c,t2 c e,t2 b f,t2 e c,t1 e,H b,t2 b e,t2 b c,t1 e,Z[4] b,Z+[4] c,Z[4] e,t2 c b,t2 e b,t2 e c,t2 b c,t2 b e,Z+[4] b,t2 e b,t2 c b,t1 a,H c,t2 c a,t2 a f,t1 f,Z[4] c,Z[4] a,Z[4] f,t2 a c,t2 f c,t2 a f,t2 c f,t2 c a,Z[4] c,t2 f c,H e,H f,Z+[2] c,t2 a c,Z+[2] c,Z+[2] a,t2 c a,t2 a c,t2 c b,t2 b c,t2 c b,t2 b a,t2 a b,t2 b a",
"H e,H f,t2 f b,t2 f e,t2 e f,t2 b e,t1 d,t1 f,t1 b,t1 e,Z+[2] a,Z+[4] a,Z[2] d,Z[4] d,Z[4] f,Z[4] b,Z[4] e,t2 d a,t2 f a,t2 b a,t2 e a,t2 f d,t2 e b,t2 d f,t2 d e,t2 d b,t2 a e,Z+[2] d,Z+[4] d,Z[4] a,Z[4] b,Z[4] e,t2 e a,t2 e b,t2 a e,t1 f,H e,t2 e f,t2 e d,t1 f,Z[4] e,Z+[4] d,Z[4] f,t2 d e,t2 f e,t2 f d,t2 e d,t2 e f,Z+[4] e,t2 f e,t2 d e,t1 e,H d,t2 c e,t1 e,Z[2] d,Z b,Z a,Z c,Z e,t2 b d,t2 a d,t2 c e,t2 d a,t2 d b,Z[2] d,Z[2] b,Z[2] a,t2 b d,t2 a b,t2 d a,t2 d b,t1 b,H a,t2 f b,t2 a b,t2 b f,t1 f,t1 b,Z[4] f,Z+[4] b,t2 a f,t2 a b,t2 f b,t2 a b,Z[2] a,Z+[2] b,t2 b a,t2 a b,t1 f,t1 c,H f,t2 e f,t2 e c,t2 f e,t2 f c,t1 c,Z[4] e,Z+[4] f,Z[4] c,t2 f e,t2 c e,t2 c f,t2 e f,t2 e c,Z+[4] e,t2 c e,t2 f e,t1 e,H f,t2 a f,t2 b a,t2 a b,t2 f b,t2 f a,Z[4] b,Z+[4] f,Z+[4] a,t2 f b,t2 a b,t2 f a,t2 b a,t2 b f,Z[4] b,t2 f b,t2 a b,H a,t2 c a,t2 c e,t2 a c,t2 a e,t1 e,Z[4] c,Z+[4] a,Z[4] e,t2 a c,t2 e c,t2 e a,t2 c a,t2 c e,Z+[4] c,t2 e c,t2 a c,t1 d,H a,H f,t2 a d,t2 f a,t2 f b,t2 a b,t1 d,Z[4] f,Z+[4] a,Z+[4] b,Z[4] d,t2 d f,t2 d a,t2 a b,t2 f d,t2 f b,Z[4] a,Z+[4] f,t2 d a,t2 d f,t2 a f,Z[2] f,t1 c,H d,t2 b f,t2 d f,t2 f b,Z+[4] b,Z[4] f,t2 f b,t2 d f,t2 b f,t2 d b,Z[2] d,Z+[2] b,t2 b d,t2 d b,H f,t2 e f,t2 e c,t2 f e,t2 f c,t1 c,Z[4] e,Z+[4] f,Z[4] c,t2 f e,t2 c e,t2 c f,t2 e f,t2 e c,Z+[4] e,t2 c e,t2 f e,t1 e,H f,t2 d f,t2 b d,t2 d b,t2 f b,t2 f d,Z[4] b,Z+[4] f,Z+[4] d,t2 f b,t2 d b,t2 f d,t2 b d,t2 b f,Z[4] b,t2 f b,t2 d b,H b,H d,t2 c d,t2 c e,t2 d c,t2 d e,t1 e,Z[4] c,Z+[4] d,Z[4] e,t2 d c,t2 e c,t2 e d,t2 c d,t2 c e,Z+[4] c,t2 e c,t2 d c,H d,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t2 e d,t2 d e,t2 e b,t2 b e,t2 e b",
"H e,t2 b a,t2 b e,t2 a e,t2 a b,Z+[4] a,Z+[4] b,Z[4] e,t2 b a,t2 e a,t2 e b,t2 a e,Z[4] b,Z[4] a,Z+[4] e,t2 e b,t2 b e,t2 b a,Z[4] b,t2 e b,H e",
"H f,H e,t2 c a,t2 f a,Z[4] f,Z[4] a,Z+[2] c,Z+[4] c,t2 c f,t2 c a,t2 e c,Z[2] e,Z[4] e,Z[4] a,Z[4] f,Z[4] c,t2 a e,t2 f e,t2 c e,t2 f a,t2 a c,t2 a f,t2 e c,t2 e f,t2 e a,t1 d,H f,t2 f d,t2 f c,t1 d,Z[4] f,Z+[4] c,Z[4] d,t2 c f,t2 d f,t2 d c,t2 f c,t2 f d,Z+[4] f,t2 d f,t2 c f,t2 d f,Z[2] f,Z+[2] b,t2 d f,t1 e,H c,t2 c e,t2 a b,t2 c a,t2 e b,t1 b,t1 a,Z[4] e,Z[4] b,Z[4] a,t2 b e,t2 a e,t2 c a,t2 e b,Z[4] e,t2 c e,t2 a b,t2 a e,t2 b a,t2 b e,Z+[2] b,Z[2] c,Z+[2] e,Z a,Z+[2] f,t2 a b,t2 a c,t2 a e,t2 c a,Z[2] c,t2 a c,t1 b,t1 f,H a,t2 a b,t2 a f,t2 f d,t1 f,t1 d,t1 b,Z[4] f,Z+[4] d,Z[4] b,t2 d f,t2 b f,t2 b d,t2 a d,t2 f b,t2 f d,Z+[4] f,t2 b f,t2 a f,t2 a b,Z[2] a,Z+[2] b,t2 b a,t2 a b,t1 c,H b,t2 b c,t2 c e,t1 e,Z[4] b,Z[4] c,Z[4] e,t2 c b,t2 e b,t2 c e,t2 b e,t2 b c,Z[4] b,t2 e b,H a,H e,t2 e a,t2 a e,t2 e a,t2 a c,t2 c a,t2 a c,t2 c f,t2 f c,t2 c f",
"t1 a,H e,t2 e a,t2 e f,t2 b f,t2 a f,t1 b,t1 f,Z+[2] e,Z+[4] e,Z[4] a,Z[4] b,Z+[2] f,Z+[4] f,t2 b a,t2 a f,t2 e f,Z[4] a,t2 e a,t1 a,H f,t2 f a,t2 f b,t1 a,Z[4] f,Z+[4] b,Z[4] a,t2 b f,t2 a f,t2 a b,t2 f b,t2 f a,Z+[4] f,t2 a f,t2 b f,H b,t2 e a,t2 b a,t2 a e,Z+[4] e,Z[4] a,t2 b e,t2 b a,t2 e a,t2 b a,Z[2] b,Z+[2] a,Z d,t2 a b,t2 b a,H e,t2 c d,t2 e d,t2 e c,t1 c,Z[4] d,Z[4] e,Z[4] c,t2 e d,t2 c d,t2 e c,t2 d c,t2 d e,Z[4] d,t2 c d,t2 d e,Z e,Z d,H c,t2 b c,t2 a b,t2 b a,t2 c a,t2 c b,Z[4] a,Z+[4] c,Z+[4] b,t2 c a,t2 b a,t2 c b,t2 a b,t2 a c,Z[4] a,t2 c a,t2 b a,H b,t2 b e,t2 b d,t1 d,Z[4] e,Z[4] b,Z[4] d,t2 b e,t2 d e,t2 b d,t2 e d,t2 e b,Z[4] e,t2 d e,t1 f,H d,H c,t2 d f,t2 c d,t2 c a,t2 d a,t1 f,Z[4] c,Z+[4] d,Z+[4] a,Z[4] f,t2 f c,t2 f d,t2 d a,t2 c f,t2 c a,Z[4] d,Z+[4] c,t2 f d,t2 f c,t2 d c,Z[2] c,H f,t2 a c,t2 f c,t2 c a,Z+[4] a,Z[4] c,t2 c a,t2 f c,t2 a c,t2 f a,Z[2] f,Z+[2] a,t2 a f,t2 f a,H c,t2 e b,t2 c b,t2 c e,t1 e,Z[4] b,Z[4] c,Z[4] e,t2 c b,t2 e b,t2 c e,t2 b e,t2 b c,Z[4] b,t2 e b,H e,t2 f e,t2 a f,t2 f a,t2 e a,t2 e f,Z[4] a,Z+[4] e,Z+[4] f,t2 e a,t2 f a,t2 e f,t2 a f,t2 a e,Z[4] a,t2 e a,t2 f a,H a,H f,t2 b c,t2 f c,t2 f b,t1 b,Z[4] c,Z[4] f,Z[4] b,t2 f c,t2 b c,t2 f b,t2 c b,t2 c f,Z[4] c,t2 b c,H b,t2 d f,t2 f d,t2 d f,t2 f e,t2 e f,t2 f e,t2 e a,t2 a e,t2 e a",
"H f,H e,t2 c a,t2 c b,t2 f b,t2 a c,t2 a b,Z+[4] a,Z[4] f,Z[4] b,Z+[2] c,Z+[4] c,t2 e a,t2 c f,t2 c b,t2 e c,Z[4] a,Z[4] c,Z[4] f,Z[4] b,t2 c a,t2 f c,t2 b c,t2 e c,t2 b f,t2 c b,Z[2] e,Z+[2] f,Z+[2] c,t2 c f,H b,t2 b a,t2 b e,Z[4] b,Z+[4] a,Z+[4] e,t2 a b,t2 e b,t2 a e,t2 b e,t2 b a,Z[4] b,t2 a b,t2 e b,t1 f,H e,t2 e f,t2 f c,t1 c,Z[4] e,Z[4] f,Z[4] c,t2 f e,t2 c e,t2 f c,t2 e c,t2 e f,Z[4] e,t2 c e,H a,H c,t2 c b,t2 b c,t2 c b,t2 b e,t2 e b,t2 b e,t2 e a,t2 a e,t2 e a,t2 a f,t2 f a,t2 a f",
"t2 a e,t1 a,t1 e,H f,t2 b a,t2 f b,t2 f e,t2 b e,t2 a e,t1 a,Z[4] f,Z+[4] b,Z[4] a,t2 a f,t2 a b,t2 f a,Z[4] b,Z+[4] f,t2 a b,t2 a f,t2 b f,t2 b e,t1 e,H a,H e,t2 a f,t2 e a,t2 f a,t2 f e,Z+[4] a,Z+[4] f,Z[4] e,t2 f a,t2 e a,t2 f e,t2 a f,t2 d c,t2 e f,Z[2] a,Z+[2] f,Z d,Z c,Z+[2] b,t2 e f,t2 c d,t2 d c,Z[2] f,Z e,Z d,H a,t2 c a,t2 c d,t2 a c,t2 a d,Z[4] c,Z+[4] a,Z+[4] d,t2 a c,t2 d c,t2 d a,t2 c a,t2 c d,Z[4] c,t2 d c,t2 a c,H a,t2 e a,t2 f e,t2 e f,t2 a f,t2 a e,Z[4] f,Z+[4] a,Z+[4] e,t2 a f,t2 e f,t2 e a,t2 f a,t2 f e,Z[4] f,t2 e f,t2 a f,H a,t2 d a,t2 d c,t2 a d,t2 a c,Z[4] d,Z+[4] a,Z+[4] c,t2 a d,t2 c d,t2 c a,t2 d a,t2 d c,Z[4] d,t2 c d,t2 a d,t1 b,H a,H f,t2 a b,t2 f a,t2 f e,t2 a e,t1 b,Z[4] f,Z+[4] a,Z+[4] e,Z[4] b,t2 b f,t2 b a,t2 a e,t2 f b,t2 f e,Z[4] a,Z+[4] f,t2 b a,t2 b f,t2 a f,Z[2] f,H b,t2 e f,t2 b f,t2 f e,Z+[4] e,Z[4] f,t2 f e,t2 b f,t2 e f,t2 b e,Z[2] b,Z+[2] e,t2 e b,t2 b e,H f,t2 c f,t2 c d,t2 f c,t2 f d,Z[4] c,Z+[4] f,Z+[4] d,t2 f c,t2 d c,t2 d f,t2 c f,t2 c d,Z[4] c,t2 d c,t2 f c,H f,t2 b f,t2 e b,t2 b e,t2 f e,t2 f b,Z[4] e,Z+[4] f,Z+[4] b,t2 f e,t2 b e,t2 f b,t2 e b,t2 e f,Z[4] e,t2 f e,t2 b e,H e,H b,t2 d b,t2 d c,t2 b d,t2 b c,Z[4] d,Z+[4] b,Z+[4] c,t2 b d,t2 c d,t2 c b,t2 d b,t2 d c,Z[4] d,t2 c d,t2 b d,H b,t2 d c,t2 c d,t2 d c",
"t1 a,t2 a e,t1 a",
"t1 c,H e,H f,t2 f b,t2 f e,t2 e f,t2 b e,t1 a,t1 d,t1 f,t1 b,t1 e,Z+[2] a,Z+[4] a,Z+[4] d,Z+[2] f,Z+[4] f,Z[4] b,Z[4] e,t2 d a,t2 f a,t2 e a,t2 f d,t2 b d,t2 e d,t2 b f,t2 e f,t2 e b,t2 b e,t2 d f,t2 d b,t2 d c,Z[4] b,Z[4] d,Z[4] e,Z[4] c,t2 c d,t2 c e,t2 d c,t1 f,H c,t2 c f,t2 c b,t1 f,Z[4] c,Z+[4] b,Z[4] f,t2 b c,t2 f c,t2 f b,t2 c b,t2 c f,Z+[4] c,t2 f c,t2 b c,t1 e,H b,t2 b e,t2 b d,t1 d,Z[4] b,Z[4] e,Z[4] d,t2 e b,t2 d b,t2 e d,t2 b d,t2 b e,Z[4] b,t2 d b,t1 c,H d,t2 d c,t2 d f,t1 c,Z[4] d,Z+[4] f,Z[4] c,t2 f d,t2 c d,t2 c f,t2 d f,t2 d c,Z+[4] d,t2 c d,t2 f d,t1 a,H f,t2 f a,t2 f e,t1 e,Z[4] f,Z[4] a,Z[4] e,t2 a f,t2 e f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 e f,t1 d,H e,t2 e d,t2 e c,t1 d,Z[4] e,Z+[4] c,Z[4] d,t2 c e,t2 d e,t2 d c,t2 e c,t2 e d,Z+[4] e,t2 d e,t2 c e,t1 f,H c,t2 c f,t2 c a,t1 a,Z[4] c,Z[4] f,Z[4] a,t2 f c,t2 a c,t2 f a,t2 c a,t2 c f,Z[4] c,t2 a c,t1 f,t1 e,H a,t2 a e,t2 a d,t1 e,Z[4] a,Z+[4] d,Z[4] e,t2 d a,t2 e a,t2 e d,t2 a d,t2 a e,Z+[4] a,t2 e a,t2 d a,t1 c,t1 a,H d,t2 d c,t2 d b,t1 b,Z[4] d,Z[4] c,Z[4] b,t2 c d,t2 b d,t2 c b,t2 d b,t2 d c,Z[4] d,t2 b d,H b,t2 b a,t2 b e,t1 a,Z[4] b,Z+[4] e,Z[4] a,t2 e b,t2 a b,t2 a e,t2 b e,t2 b a,Z+[4] b,t2 a b,t2 e b,t1 b,H e,t2 e f,t2 e b,t2 f b,t1 d,t1 c,t1 e,t1 f,t1 b,Z+[2] d,Z[2] c,Z[2] e,Z[2] f,Z b,t2 e d,t2 f d,t2 e c,t2 f e,t2 f b,t2 e b,t2 c b,t2 c f,t2 c e,t2 d b,Z+[2] d,Z[2] c,Z[2] e,Z[2] f,t2 c d,t2 e d,t2 f d,t2 e c,t2 f c,t2 f e,t2 c e,t1 c,H e,t2 a c,t2 e c,t2 c a,t1 a,t1 c,Z[4] a,Z+[4] c,t2 e a,t2 e c,t2 a c,t2 e c,Z[2] e,Z+[2] c,t2 c e,t2 e c,t1 a,t1 d,H a,t2 b a,t2 b d,t2 a b,t2 a d,t1 d,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 d b,t2 a b,t1 b,H a,t2 e a,t2 c e,t2 e c,t2 a c,t2 a e,Z[4] c,Z+[4] a,Z+[4] e,t2 a c,t2 e c,t2 a e,t2 c e,t2 c a,Z[4] c,t2 a c,t2 e c,H e,t2 d e,t2 d b,t2 e d,t2 e b,t1 b,Z[4] d,Z+[4] e,Z[4] b,t2 e d,t2 b d,t2 b e,t2 d e,t2 d b,Z+[4] d,t2 b d,t2 e d,t1 f,H e,H a,t2 e f,t2 a e,t2 a c,t2 e c,t1 f,Z[4] a,Z+[4] e,Z+[4] c,Z[4] f,t2 f a,t2 f e,t2 e c,t2 a f,t2 a c,Z[4] e,Z+[4] a,t2 f e,t2 f a,t2 e a,Z[2] a,t1 d,H f,t2 c a,t2 f a,t2 a c,Z+[4] c,Z[4] a,t2 a c,t2 f a,t2 c a,t2 f c,Z[2] f,Z+[2] c,t2 c f,t2 f c,H a,t2 b a,t2 b d,t2 a b,t2 a d,t1 d,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 d b,t2 a b,t1 b,H a,t2 f a,t2 c f,t2 f c,t2 a c,t2 a f,Z[4] c,Z+[4] a,Z+[4] f,t2 a c,t2 f c,t2 a f,t2 c f,t2 c a,Z[4] c,t2 a c,t2 f c,H c,H f,t2 d f,t2 d b,t2 f d,t2 f b,t1 b,Z[4] d,Z+[4] f,Z[4] b,t2 f d,t2 b d,t2 b f,t2 d f,t2 d b,Z+[4] d,t2 b d,t2 f d,H f,t1 f,H e,Z[2] e,H e,Z[2] e,H e,Z[2] e,t2 e c,t2 c e,t2 e c,t2 c d,t2 d c,t2 c d,t2 d b,t2 b d,t2 d b,t2 b f,t2 f b,t2 b f,t2 f a,t2 a f,t2 f a",
"H f,H e,t2 b a,t2 f c,t2 b e,t2 a e,Z[4] f,Z+[4] a,Z+[2] b,Z+[4] b,Z[4] c,Z[4] e,t2 b f,t2 b a,t2 e a,t2 e b,t2 e c,t2 b c,t2 a e,Z[4] c,Z[2] a,Z[4] a,Z[4] b,Z[4] f,Z+[2] e,Z+[4] e,t2 f c,t2 b a,t2 e a,t2 e b,t2 a b,t2 a f,t1 a,t1 d,H f,t2 b a,t2 f d,t2 f b,t1 d,t1 a,Z[4] f,Z+[4] b,Z[4] d,Z[4] a,t2 b f,t2 d f,t2 d b,t2 a d,t2 d a,t2 f b,t2 f a,t2 f d,Z+[4] f,t2 a f,t2 b f,t2 c e,t2 c d,t2 f a,Z+[2] d,Z+[2] e,Z c,Z+[2] f,Z[2] a,t2 c d,t2 c e,t2 f a,t1 d,t1 f,H b,t2 b e,t2 c d,t2 b d,t2 d c,t1 e,t1 c,Z[4] d,Z[4] e,Z[4] c,t2 e d,t2 c d,t2 b c,t2 d e,Z[4] d,t2 b d,t2 b e,Z[2] b,Z[2] e,t2 e b,t2 b e,H e,t2 e f,t2 e a,t1 f,Z[4] e,Z+[4] a,Z[4] f,t2 a e,t2 f e,t2 f a,t2 e a,t2 e f,Z+[4] e,t2 f e,t2 a e,t1 d,H a,t2 a d,t2 d b,t1 b,Z[4] a,Z[4] d,Z[4] b,t2 d a,t2 b a,t2 d b,t2 a b,t2 a d,Z[4] a,t2 b a,H f,H b,t2 b c,t2 c b,t2 b c,t2 c a,t2 a c,t2 c a,t2 a d,t2 d a,t2 a d,t2 d e,t2 e d,t2 d e,t2 e f,t2 f e,t2 e f",
"H e,t2 c b,t2 f e,t2 e f,t2 c e,t2 a c,t2 a b,t2 a f,t1 b,t1 c,t1 e,Z+[4] a,Z[4] f,Z+[4] b,Z+[4] c,Z[4] e,t2 c a,t2 c f,t2 c b,t2 c e,t2 f e,t2 a e,t2 a f,t2 d a,t2 d e,t2 a d,Z+[2] f,Z d,Z a,Z b,Z e,t2 a e,t2 d e,t2 d a,t1 c,H e,t2 e c,t2 e b,t2 e f,t2 b f,t1 b,t1 f,Z[4] e,Z[4] c,Z[4] b,Z[4] f,t2 c e,t2 b e,t2 c b,t2 c f,t2 e b,t2 e f,t2 e c,Z[4] e,t2 b e,t1 c,H b,t2 b d,t2 b f,Z[4] b,Z+[4] f,Z+[4] d,t2 f b,t2 d b,t2 d f,t2 b f,t2 b d,Z[4] b,t2 d b,t2 f b,H f,t2 f c,t1 c,Z[2] f,Z[2] c,t2 c f,t2 f c,t1 f,H c,t2 d f,t2 c f,t2 f d,t1 d,t1 f,Z[4] d,Z+[4] f,t2 c d,t2 c f,t2 d f,t2 c f,Z[2] c,Z+[2] f,t2 f c,t2 c f,t1 d,H d,t2 b a,t2 d a,t2 d b,t1 b,Z[4] a,Z[4] d,Z[4] b,t2 d a,t2 b a,t2 d b,t2 a b,t2 a d,Z[4] a,t2 b a,H b,t2 c b,t2 f c,t2 c f,t2 b f,t2 b c,Z[4] f,Z+[4] b,Z+[4] c,t2 b f,t2 c f,t2 b c,t2 f c,t2 f b,Z[4] f,t2 b f,t2 c f,H c,t2 a d,t2 c d,t2 c a,t1 a,Z[4] d,Z[4] c,Z[4] a,t2 c d,t2 a d,t2 c a,t2 d a,t2 d c,Z[4] d,t2 a d,H a,H b,t2 a e,t2 b a,t2 b f,t2 a f,Z[4] b,Z+[4] a,Z+[4] e,Z+[4] f,t2 e b,t2 e a,t2 a f,t2 b e,t2 b f,Z+[4] a,Z[4] b,t2 e a,t2 e b,t2 a b,Z[2] b,H e,t2 f b,t2 e b,t2 b f,Z+[4] f,Z[4] b,t2 b f,t2 e b,t2 f b,t2 e f,Z[2] e,Z+[2] f,t2 f e,t2 e f,H b,t2 d c,t2 b c,t2 b d,t1 d,Z[4] c,Z[4] b,Z[4] d,t2 b c,t2 d c,t2 b d,t2 c d,t2 c b,Z[4] c,t2 d c,H d,t2 e d,t2 f e,t2 e f,t2 d f,t2 d e,Z[4] f,Z+[4] d,Z+[4] e,t2 d f,t2 e f,t2 d e,t2 f e,t2 f d,Z[4] f,t2 d f,t2 e f,H f,H e,t2 c b,t2 e b,t2 e c,t1 c,Z[4] b,Z[4] e,Z[4] c,t2 e b,t2 c b,t2 e c,t2 b c,t2 b e,Z[4] b,t2 c b,H c,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t2 b c,t2 c b,t2 e f,t2 f e,t2 e f,t2 f d,t2 d f,t2 f d",
"t2 a e,t1 a,t1 e,H f,t2 b a,t2 f b,t2 f e,t2 b e,t2 a e,t1 a,Z[4] f,Z+[4] b,Z[4] a,t2 a f,t2 a b,t2 f a,Z[4] b,Z+[4] f,t2 a b,t2 a f,t2 b f,t2 b e,t1 e,H a,H e,t2 a f,t2 e a,t2 f a,t2 f e,Z+[4] a,Z+[4] f,Z[4] e,t2 f a,t2 e a,t2 f e,t2 a f,t2 e f,t2 f e,Z[2] a,Z[2] e,Z+[2] f,t2 f e,t2 e f,H a,t2 d a,t2 d c,t2 a d,t2 a c,Z[4] d,Z+[4] a,Z+[4] c,t2 a d,t2 c d,t2 c a,t2 d a,t2 d c,Z[4] d,t2 c d,t2 a d,H a,t2 e a,t2 f e,t2 e f,t2 a f,t2 a e,Z[4] f,Z+[4] a,Z+[4] e,t2 a f,t2 e f,t2 e a,t2 f a,t2 f e,Z[4] f,t2 e f,t2 a f,H a,t2 c a,t2 c d,t2 a c,t2 a d,Z[4] c,Z+[4] a,Z+[4] d,t2 a c,t2 d c,t2 d a,t2 c a,t2 c d,Z[4] c,t2 d c,t2 a c,t1 b,H a,H f,t2 a b,t2 f a,t2 f e,t2 a e,t1 b,Z[4] f,Z+[4] a,Z+[4] e,Z[4] b,t2 b f,t2 b a,t2 a e,t2 f b,t2 f e,Z[4] a,Z+[4] f,t2 b a,t2 b f,t2 a f,Z[2] f,H b,t2 e f,t2 b f,t2 f e,Z+[4] e,Z[4] f,t2 f e,t2 b f,t2 e f,t2 b e,Z[2] b,Z+[2] e,t2 e b,t2 b e,H f,t2 d f,t2 d c,t2 f d,t2 f c,Z[4] d,Z+[4] f,Z+[4] c,t2 f d,t2 c d,t2 c f,t2 d f,t2 d c,Z[4] d,t2 c d,t2 f d,H f,t2 b f,t2 e b,t2 b e,t2 f e,t2 f b,Z[4] e,Z+[4] f,Z+[4] b,t2 f e,t2 b e,t2 f b,t2 e b,t2 e f,Z[4] e,t2 f e,t2 b e,H b,t2 c b,t2 c d,t2 b c,t2 b d,Z[4] c,Z+[4] b,Z+[4] d,t2 b c,t2 d c,t2 d b,t2 c b,t2 c d,Z[4] c,t2 d c,t2 b c,H b,t1 b,H f,t2 f a,t2 f b,t2 f e,t2 b e,t2 a b,t1 b,t1 e,Z[4] f,Z+[4] a,Z[4] b,Z[4] e,t2 b f,t2 b a,t2 e b,t2 b e,t2 a b,t2 f e,t2 f b,Z[4] a,Z+[4] f,t2 f a,t2 e f,t2 a f,Z+[2] f,t1 f,H e,t2 b f,t2 e f,t2 f b,t1 b,t1 f,Z[4] b,Z+[4] f,t2 f b,t2 e f,t2 b f,t2 e b,Z[2] e,Z+[2] b,t2 b e,t2 e b,t1 f,H f,t2 c d,t2 f d,t2 f c,t1 c,Z[4] d,Z[4] f,Z[4] c,t2 f d,t2 c d,t2 f c,t2 d c,t2 d f,Z[4] d,t2 c d,H c,t2 e c,t2 b e,t2 e b,t2 c b,t2 c e,Z[4] b,Z+[4] c,Z+[4] e,t2 c b,t2 e b,t2 c e,t2 b e,t2 b c,Z[4] b,t2 c b,t2 e b,H e,t2 d f,t2 e f,t2 e d,t1 d,Z[4] f,Z[4] e,Z[4] d,t2 e f,t2 d f,t2 e d,t2 f d,t2 f e,Z[4] f,t2 d f,H d,H c,t2 d a,t2 c d,t2 c b,t2 d b,Z[4] c,Z+[4] d,Z+[4] a,Z+[4] b,t2 a c,t2 a d,t2 d b,t2 c a,t2 c b,Z+[4] d,Z[4] c,t2 a d,t2 a c,t2 d c,Z[2] c,H a,t2 b c,t2 a c,t2 c b,Z+[4] b,Z[4] c,t2 c b,t2 a c,t2 b c,t2 a b,Z[2] a,Z+[2] b,t2 b a,t2 a b,H c,t2 f e,t2 c e,t2 c f,t1 f,Z[4] e,Z[4] c,Z[4] f,t2 c e,t2 f e,t2 c f,t2 e f,t2 e c,Z[4] e,t2 f e,H f,t2 a f,t2 b a,t2 a b,t2 f b,t2 f a,Z[4] b,Z+[4] f,Z+[4] a,t2 f b,t2 a b,t2 f a,t2 b a,t2 b f,Z[4] b,t2 f b,t2 a b,H b,H a,t2 e c,t2 a c,t2 a e,t1 e,Z[4] c,Z[4] a,Z[4] e,t2 a c,t2 e c,t2 a e,t2 c e,t2 c a,Z[4] c,t2 e c,H e,t2 d a,t2 a d,t2 d a,t2 b e,t2 e b",
"H e,t2 c a,t2 c b,t2 a e,Z+[4] b,Z+[4] a,Z[4] e,t2 a b,t2 e b,t2 e a,t2 b e,Z[2] a,Z[4] a,Z[4] b,Z+[4] e,t2 e a,t2 e b,t2 c b,t2 a e,t2 a b,Z[4] a,t2 b a,t2 e a,t2 e b,t2 b e,Z+[2] e,Z+[2] c,Z[2] b,Z+[2] a,t2 c e,t2 b e,t2 a c,t2 a b,t2 c a,t2 c b,t2 e a,t2 e b,t2 e c,Z[2] e,Z[2] c,t2 a e,t2 a c,H a,t2 c e,t2 e c,t2 c e,t2 e a,t2 a e,t2 e a",
"H e,t2 d a,t2 c b,t2 c e,t2 b e,t2 b c,t2 a d,Z+[4] b,Z+[4] a,Z+[4] c,Z[4] e,Z+[4] d,t2 c b,t2 e b,t2 c a,t2 e a,t2 e d,t2 c d,t2 a d,t2 b c,t2 b e,Z[4] b,Z[4] a,Z+[4] e,Z[4] c,Z+[4] d,t2 c b,t2 d a,t2 c e,t2 d e,t2 d c,t2 e d,t2 e c,Z[4] a,Z[4] e,t2 d a,t2 d e,Z[2] d,H d,t2 e d,t2 d e,t2 e d",
"H e,t2 c f,t2 b c,t1 c,t1 f,t1 a,Z+[4] e,Z+[4] b,Z[4] c,Z+[2] f,Z+[4] f,Z[4] a,t2 b e,t2 a c,t2 a f,t2 c f,t2 c a,t2 b f,t2 e b,t2 e a,Z[4] e,Z[4] a,t2 a e,t2 b a,t1 c,H f,t2 f c,t2 f e,t1 c,Z[4] f,Z+[4] e,Z[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z+[4] f,t2 c f,t2 e f,H e,t2 b c,t2 e c,t2 c b,Z+[4] b,Z[4] c,t2 e b,t2 e c,t2 b c,t2 e c,Z[2] e,Z+[2] c,Z[2] f,t2 c e,t2 e c,H b,t2 a d,t2 b d,t2 b a,t1 a,Z[4] d,Z[4] b,Z[4] a,t2 b d,t2 a d,t2 b a,t2 d a,t2 d b,Z[4] d,t2 a d,t2 b d,t2 b e,Z d,Z f,Z[2] b,Z[2] e,t2 b d,t2 b e,H a,t2 e a,t2 c e,t2 e c,t2 a c,t2 a e,Z[4] c,Z+[4] a,Z+[4] e,t2 a c,t2 e c,t2 a e,t2 c e,t2 c a,Z[4] c,t2 a c,t2 e c,H e,t2 d b,t2 e b,t2 e d,t1 d,Z[4] b,Z[4] e,Z[4] d,t2 e b,t2 d b,t2 e d,t2 b d,t2 b e,Z[4] b,t2 d b,t1 f,H d,H a,t2 d f,t2 a d,t2 a c,t2 d c,t1 f,Z[4] a,Z+[4] d,Z+[4] c,Z[4] f,t2 f a,t2 f d,t2 d c,t2 a f,t2 a c,Z[4] d,Z+[4] a,t2 f d,t2 f a,t2 d a,Z[2] a,H f,t2 f a,t2 f c,Z[2] f,Z[4] f,Z+[4] a,Z+[2] c,Z+[4] c,t2 a f,t2 c f,t2 c a,t2 e a,t2 e c,t2 a e,t2 f e,t2 f a,Z[4] f,Z[4] a,Z+[4] c,t2 a f,t2 c f,t2 e f,t2 e a,t2 e c,t2 a c,H f,t2 b a,t2 f a,t2 f b,t1 b,Z[4] a,Z[4] f,Z[4] b,t2 f a,t2 b a,t2 f b,t2 a b,t2 a f,Z[4] a,t2 b a,H b,t2 c b,t2 e c,t2 c e,t2 b e,t2 b c,Z[4] e,Z+[4] b,Z+[4] c,t2 b e,t2 c e,t2 b c,t2 e c,t2 e b,Z[4] e,t2 b e,t2 c e,H c,t2 a f,t2 c f,t2 c a,t1 a,Z[4] f,Z[4] c,Z[4] a,t2 c f,t2 a f,t2 c a,t2 f a,t2 f c,Z[4] f,t2 a f,H a,H b,t2 b d,t2 b f,t1 d,Z[4] b,Z+[4] f,Z[4] d,t2 f b,t2 d b,t2 d f,t2 b f,t2 b d,Z+[4] b,t2 d b,t2 f b,H f,t2 f c,t2 f e,t1 c,Z[4] f,Z+[4] e,Z[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z+[4] f,t2 c f,t2 e f,t1 b,H c,H e,t2 e b,t2 e d,t1 b,Z[4] e,Z+[4] d,Z[4] b,t2 d e,t2 b e,t2 b d,t2 e d,t2 e b,Z+[4] e,t2 b e,t2 d e,t1 f,H d,t2 e c,t2 c e,t2 e c,t2 c b,t2 b c,t2 c b,t2 b a,t2 a b,t2 b a,t2 d f,t2 f d",
"H f,H e,t2 b a,t2 f a,t2 c b,t2 b c,Z+[4] b,Z[4] f,Z[4] a,Z+[4] c,Z+[4] d,t2 e b,t2 c f,t2 c a,t2 e c,t2 e d,Z[2] e,Z[4] e,Z[4] b,Z[4] c,Z[4] a,Z[4] f,Z[4] d,t2 c e,t2 a e,t2 f e,t2 c b,t2 a c,t2 f c,t2 d c,t2 f a,t2 a f,t2 c d,t2 e d,t2 e f,t2 e c,t2 e a,H f,t2 f b,t2 f d,Z[4] f,Z+[4] b,Z+[4] d,t2 b f,t2 d f,t2 b d,t2 f d,t2 f b,Z[4] f,t2 b f,t2 d f,H d,Z[2] d,Z e,t2 e d,t2 d e,Z[2] d,t2 e d,t1 c,H e,t2 e c,t2 e b,t1 c,Z[4] e,Z+[4] b,Z[4] c,t2 b e,t2 c e,t2 c b,t2 e b,t2 e c,Z+[4] e,t2 c e,t2 b e,t1 d,H b,t2 b d,t2 b a,t1 d,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 d b,t2 a b,H a,H c,t2 a b,t2 b a,t2 a b,t2 b d,t2 d b,t2 b d,t2 d e,t2 e d,t2 d e,t2 e c,t2 c e,t2 e c,t2 c f,t2 f c,t2 c f"
}
};
const std::vector<std::vector<unsigned>> affine_classification_tcount = {
{0, 7, 0},
{0, 15, 7, 16, 0, 7},
{0, 40, 15, 47, 7, 23, 43, 16, 40, 0, 79, 27, 48, 140, 7, 12, 61, 23}
};
const std::vector<std::unordered_map<uint64_t, unsigned>> affine_classification_index = {
{{0x0, 0}, {0x1, 1}, {0x3, 2}},
{{0x00, 0}, {0x01, 1}, {0x03, 2}, {0x07, 3}, {0x0f, 4}, {0x17, 5}},
{{0x0000, 0},{0x0001, 1},{0x0003, 2},{0x0007, 3},{0x000f, 4},{0x0017, 5},{0x001f, 6},{0x003f, 7},{0x007f, 8},{0x00ff, 9},{0x0117, 10},{0x011f, 11},{0x013f, 12},{0x017f, 13},{0x033f, 14},{0x0356, 15},{0x0357, 16},{0x035f, 17}}
};
/* affine classification (n = 2, 3, 4) in order of class function value */
/* synthesized by Matthew Amy using Tpar */
const std::vector<std::vector<std::string>> spectral_classification = {
{"",
"H c,Z[4] a,Z[4] b,Z[4] c,t2 b a,t2 c b,t2 a c,Z+[4] b,t2 a b,Z+[4] a,Z+[4] b,Z[4] c,t2 c b,t2 a c,t2 b a,H c"
},
{"",
"H e,t2 b a,t2 e a,t2 e b,t2 e d,t2 b d,t2 a d,Z[4] e,Z+[4] b,Z[4] a,Z+[4] d,t2 b e,t2 a b,t2 a d,t2 b a,t2 e d,t2 e a,t2 b a,H a,H d,t2 a c,t2 a d,Z+[4] d,Z+[4] c,Z[4] a,t2 c d,t2 a d,t2 d c,Z[4] d,t2 a d,H a,t2 e b,t2 a b,t2 a e,Z[4] a,Z+[4] e,Z[4] b,t2 e a,t2 b a,t2 b e,t2 a e,t2 a b,Z+[4] a,t2 e a,t2 a e,H e,t2 e d,t2 d c,Z+[4] e,Z[4] c,Z+[4] d,t2 c e,t2 d e,t2 d c,t2 e c,t2 e d,Z[4] e,t2 c e,H e,t2 d e,t2 e d,t2 d e,t2 e c,t2 c e,t2 e c",
"H d,t2 a d,Z[4] a,Z[4] b,Z+[4] d,t2 d a,t2 b d,t2 a d,t2 a b,Z[4] a,Z+[4] b,Z+[4] d,t2 d a,t2 d b,t2 a d,t2 a b,Z[4] a,t2 b a,t2 d a,H d"
},
{"",
"H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 c a,t2 c e,t2 b c,t2 a b,Z[4] a,Z+[4] b,Z[4] c,Z+[4] e,t2 b a,t2 c b,t2 c e,t2 a e,t2 a c,H c,t2 c f,Z[4] c,Z+[4] f,t2 f c,H f,H e,t2 f d,t2 f e,Z+[4] e,Z+[4] d,Z[4] f,t2 d e,t2 f e,t2 e d,Z[4] e,t2 f e,t2 d e,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 a b,t2 c b,t2 c a,Z[4] c,Z+[4] a,Z[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z+[4] c,t2 a c,H a,t2 a f,Z[4] a,Z+[4] f,t2 f a,H f,t2 f e,t2 e d,Z+[4] f,Z[4] e,Z+[4] d,t2 e f,t2 d f,t2 d e,t2 f e,t2 f d,Z[4] f,t2 e f,H f,t2 c a,t2 a c,t2 c a,t2 f e,t2 e f,t2 f e",
"H d,t2 b a,t2 d a,t2 d b,t2 e d,t2 d e,t2 b d,t2 a d,Z[4] e,Z+[4] b,Z[4] a,Z+[4] d,t2 b e,t2 a b,t2 a d,t2 b a,t2 e d,t2 e a,t2 b a,H a,H d,t2 a c,t2 d a,t2 a d,Z+[4] a,Z+[4] c,Z[4] d,t2 c a,t2 d a,t2 a c,Z[4] a,t2 d a,t2 c a,H d,t2 e b,t2 d b,t2 d e,Z[4] d,Z+[4] e,Z[4] b,t2 e d,t2 b d,t2 b e,t2 d e,t2 d b,Z+[4] d,t2 e d,t2 d e,H e,t2 e a,t2 c a,t2 a c,Z+[4] e,Z[4] c,Z+[4] a,t2 c e,t2 a e,t2 a c,t2 e c,t2 e a,Z[4] e,t2 c e,H e,t2 d c,t2 c d,t2 d c,t2 c a,t2 a c,t2 c a",
"H e,t2 b f,t2 a f,Z[4] a,Z[4] b,Z[4] e,Z+[4] f,t2 e a,t2 e b,t2 b f,t2 b e,t2 a f,t2 a e,Z+[4] b,Z+[4] a,Z[4] e,t2 e b,t2 e a,t2 a e,t2 b e,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 c b,t2 a c,t2 b a,Z[4] b,Z+[4] a,Z[4] c,t2 a b,t2 c b,t2 c a,t2 b c,Z+[4] b,H b,t2 b f,Z[4] b,Z+[4] f,t2 f b,H f,t2 e d,t2 f d,t2 f e,t2 e f,t2 d f,Z+[4] e,Z[4] d,Z+[4] f,t2 d e,t2 f e,t2 f d,t2 e f,Z[4] e,H e,t2 e b,Z[4] e,Z+[4] b,t2 b e,H b,t2 c a,t2 b a,t2 b c,Z[4] b,Z+[4] c,Z[4] a,t2 c b,t2 a b,t2 a c,t2 b c,t2 b a,Z+[4] b,t2 c b,H c,t2 c e,Z[4] c,Z+[4] e,t2 e c,H e,t2 e f,t2 f d,Z+[4] e,Z[4] f,Z+[4] d,t2 f e,t2 d e,t2 d f,t2 e f,t2 e d,Z[4] e,t2 f e,H e,t2 b a,t2 a b,t2 b a",
"H e,t2 a e,Z[4] a,Z[4] b,Z+[4] e,t2 e a,t2 b e,t2 a e,t2 a b,Z[4] a,Z+[4] b,Z+[4] e,t2 e a,t2 e b,t2 a e,t2 a b,Z[4] a,t2 b a,t2 e a,H e",
"H d,t2 b a,t2 d a,t2 d b,t2 d e,t2 b d,t2 a d,Z[4] e,Z+[4] b,Z[4] a,Z+[4] d,Z[4] c,t2 b e,t2 a e,t2 d e,t2 a b,t2 d b,t2 d a,t2 b d,t2 d b,H b,H e,t2 b c,t2 e b,t2 b e,Z+[4] b,Z+[4] c,Z[4] e,t2 c b,t2 e b,t2 b e,t2 b c,Z[4] b,Z[4] c,Z+[4] e,t2 e b,t2 e c,t2 c e,H b,t2 a d,t2 b d,t2 b a,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 a b,t2 b a,H a,H e,t2 b d,t2 d b,t2 b d,t2 d a,t2 a d,t2 d a",
"H e,H f,t2 e a,t2 f d,t1 d,Z+[4] a,Z[4] f,Z+[4] c,Z[4] d,t2 e a,t2 d f,t2 f d,t2 f c,t2 f d,t1 d,H d,t2 b d,t2 a d,t1 f,t1 c,Z[4] a,Z[4] b,Z+[4] d,Z[4] f,Z[4] c,Z[4] e,t2 b a,t2 f b,t2 c b,t2 e b,t2 f d,t2 c d,t2 e d,t2 c f,t2 e f,t2 c e,t2 f c,t2 b d,t2 a f,Z+[4] b,Z+[4] a,Z[4] f,Z[4] d,Z+[4] c,Z+[4] e,t2 f b,t2 d b,t2 d a,t2 d f,t2 e f,t2 e c,t2 f e,t2 f c,t2 a e,t2 a c,t2 a f,t2 b d,Z[4] a,Z+[4] b,t2 b a,t1 f,H b,t2 b f,t1 f,Z[4] b,Z[4] f,t2 f b,t1 b,t1 c,t1 f,H f,t2 e c,t2 f c,t2 f e,t1 c,Z+[4] e,Z[4] f,Z+[4] c,t2 f e,t2 c e,t2 e c,Z[4] e,t2 f e,H f,t2 f b,t1 b,Z[4] f,Z[4] b,t2 b f,t1 f,t1 b,H b,t2 a d,t2 b d,t2 b a,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 a b,H a,t2 a f,t1 f,Z[4] a,Z[4] f,t2 f a,t1 e,t1 f,H f,t2 f e,t2 f c,t1 e,Z+[4] f,Z[4] c,Z+[4] e,t2 c f,t2 e f,t2 e c,t2 f c,t2 f e,Z[4] f,t2 e f,t2 c f,Z[2] e,H e,t1 b,Z b,t1 d,Z d,t2 b d,t2 d b,t2 b d,t2 d f,t2 f d,t2 d f,t2 f c,t2 c f,t2 f c,t2 c a,t2 a c,t2 c a",
"H e,t2 a e,Z[4] a,Z[4] b,Z+[4] e,Z[4] c,Z[4] d,t2 b a,t2 e a,t2 e b,t2 d c,t2 e d,t2 b d,t2 a d,t2 a e,Z+[4] a,Z+[4] e,Z[4] b,Z+[4] d,Z+[4] c,t2 b a,t2 b e,t2 c e,t2 c b,t2 c d,t2 e c,t2 e b,t2 a b,Z+[4] d,Z[4] e,t2 c d,t2 c e,Z[2] c,H c,t2 e d,t2 d e,t2 e c,t2 c e,t2 e c"
},
{"",
"H f,t2 f e,t2 g f,t2 f g,t2 e f,Z+[4] g,Z[4] e,Z+[4] f,t2 e g,t2 g f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 f c,t2 c f,t2 f c,H f,t2 f a,t2 b f,t2 a b,Z[4] a,Z+[4] b,Z[4] f,t2 b a,t2 f a,t2 f b,t2 a f,Z+[4] a,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t2 h d,H c,t2 c h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 c d,t2 c h,t2 h d,t2 c h,H h,t2 h e,t2 h g,Z+[4] h,Z[4] g,Z+[4] e,t2 g h,t2 e h,t2 e g,t2 h g,t2 h e,Z[4] h,t2 g h,H h,H g,t2 g d,Z[4] g,Z+[4] d,t2 d g,t2 g d,t2 d c,t2 c d,H d,t2 d a,Z[4] d,Z+[4] a,t2 a d,t2 d a,t2 a d,t2 c g,t2 d a,H d,t2 f b,t2 d b,t2 d f,Z[4] d,Z+[4] f,Z[4] b,t2 f d,t2 b d,t2 b f,t2 d f,t2 d b,Z+[4] d,t2 f d,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,t2 g c,H a,t2 g a,t2 c a,t2 c g,t2 a g,t2 a c,Z[4] c,Z+[4] a,t2 g c,t2 g a,t2 a c,t2 g a,H a,H d,Z[2] d,H d,Z[2] d,H d,Z[2] d,t2 d c,t2 c d,t2 d c,t2 c f,t2 f c,t2 c f,t2 f h,t2 h f,t2 f h,t2 h a,t2 a h,t2 h a",
"H e,t2 e c,Z[4] e,Z+[4] c,t2 c e,H c,t2 c a,t2 b c,t2 a b,Z[4] a,Z+[4] b,Z[4] c,t2 b a,t2 c a,t2 c b,t2 a c,Z+[4] a,H a,t2 a e,Z[4] a,Z+[4] e,t2 e a,H e,H f,t2 e d,t2 f e,t2 e f,Z+[4] e,Z+[4] d,Z[4] f,t2 d e,t2 f e,t2 e d,Z[4] e,t2 f e,t2 d e,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,H a,t2 c b,t2 a b,t2 a c,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z+[4] a,t2 c a,H c,t2 c f,Z[4] c,Z+[4] f,t2 f c,H f,t2 f e,t2 e d,Z+[4] f,Z[4] e,Z+[4] d,t2 e f,t2 d f,t2 d e,t2 f e,t2 f d,Z[4] f,t2 e f,H f",
"H b,t2 d b,t2 b d,Z[4] d,Z+[4] b,Z[4] e,t2 b d,t2 d b,t2 b d,t2 d b,H d,t2 d a,t2 a c,Z[4] a,Z+[4] c,t2 d a,t2 d c,t2 a c,H d,t2 b d,t2 d b,Z[4] b,Z+[4] d,t2 d b,t2 c g,t1 c,H d,H f,t2 d c,t2 e c,t2 e d,t2 f d,t2 h d,t2 g e,t2 g f,t2 h g,t2 e f,t2 e g,t2 d h,t2 d g,t2 c f,t2 c g,t2 c d,t2 c e,t1 f,t1 c,t1 e,t1 d,t1 g,Z+[4] f,Z[4] h,Z+[4] c,Z[4] e,Z+[4] d,Z+[4] g,t2 c f,t2 g f,t2 c h,t2 g h,t2 g d,t2 c e,t2 h d,t2 h e,t2 h g,t2 h c,t2 f e,t2 f g,t2 f c,t2 g f,t2 g h,t2 f h,H c,t2 c b,t2 h f,Z[4] c,Z+[4] b,t2 b c,t2 g f,t2 f g,t2 h g,t2 h f,H b,t2 b a,t2 f h,t2 f g,t2 a f,Z+[4] a,Z[4] f,t2 b a,t2 h f,t2 b f,t2 a f,t2 g h,t2 f h,t1 f,H b,t2 c b,t2 h f,t2 f h,t2 b c,t1 f,Z[4] c,Z+[4] b,t2 b c,H b,t2 h f,t2 b f,t2 b g,t2 b h,t1 g,Z+[4] f,Z+[4] b,Z[4] h,Z+[4] g,t2 g f,t2 h b,t2 g h,t2 b h,t2 f g,t2 f b,t1 c,H d,t2 d c,t1 c,Z[4] d,Z[4] c,t2 c d,t2 d c,t2 c d,H h,t1 f,Z[2] h,t2 b f,t2 f b,t1 e,t1 h,H h,t2 g a,t2 h a,t2 g e,t2 h g,t2 a e,t1 e,Z+[4] h,Z[4] a,Z[4] g,Z+[4] e,t2 g h,t2 g a,t2 g e,t2 a e,t2 h e,t2 h g,t2 h a,H g,Z[2] g,t2 d c,t1 g,t1 f,H g,t2 c g,t2 d g,t2 c d,t2 b f,t2 g d,t2 g c,t1 f,Z[4] g,Z+[4] c,t2 c g,t2 d c,t2 g c,t2 d c,t2 g c,t2 g d,t2 b f,H c,t2 b c,t2 b f,t2 c f,t2 c b,t1 b,Z[4] c,Z+[4] b,t2 f c,t2 f b,t2 c b,Z+[2] f,t2 b c,t2 b e,t2 c e,H e,H f,t2 d g,t2 f d,t1 f,Z+[4] d,Z+[4] f,t2 f d,t2 d g,H g,Z[2] g,t1 g,H g,t2 g b,t2 a g,t2 g a,t2 g h,Z[4] h,Z+[4] a,Z+[4] b,Z+[4] g,t2 g h,t2 b a,t2 g b,t2 b g,t2 a g,t2 a b,t2 h b,t2 g b,t2 h a,t2 b g,H b,Z[2] b,t1 b,H b,t2 b d,t1 d,Z[4] b,Z[4] d,t2 d b,t2 b d,t2 d b,t2 b d,t2 b f,t1 h,t1 b,H b,H h,Z[2] h,H h,Z[2] h,H h,Z+[2] h,t2 f c,t2 a f,t2 d f,t2 g b,t1 a,t1 e,t1 d,t2 b h,t2 h b,t2 b g,t2 g b,t2 b g,t2 g d,t2 d g,t2 g d,t2 d a,t2 a d,t2 d a,t2 f e,t2 e f,t2 f e,t2 e c,t2 c e,t2 e c",
"H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 b d,t2 d b,H b,H f,t2 b c,t2 f b,t2 b f,Z+[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 b c,Z[4] b,t2 f b,t2 c b,H f,t2 a d,t2 f d,t2 f a,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 a f,t2 f a,H a,t2 a b,t2 c b,t2 b c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z[4] a,t2 c a,H a,t2 f a,t2 a f,t2 f a,t2 d c,t2 c d,t2 d c,t2 c b,t2 b c,t2 c b",
"t2 d e,H d,t2 e c,t2 c e,Z[4] e,Z[4] d,Z+[4] c,t2 d e,t2 c e,t2 c d,t2 e c,Z+[4] e,Z+[4] c,Z[4] d,t2 d e,t2 d c,t2 c d,t2 e d,H d,Z[2] c,H e,t2 b a,t2 e a,t2 e b,Z[4] e,Z+[4] b,Z[4] a,t2 b e,t2 a e,t2 a b,t2 e b,t2 e a,Z+[4] e,t2 e b,H e,H f,t2 d e,t2 f d,t2 d f,t2 e d,t2 e f,Z+[4] d,Z+[4] e,Z[4] f,t2 e d,t2 f d,t2 d e,Z[4] d,t2 f d,t2 e d,H f,t2 f a,t2 a b,Z[4] f,Z+[4] a,Z[4] b,t2 a f,t2 b f,t2 b a,t2 f a,t2 f b,Z+[4] f,t2 f a,H f,t2 d f,t2 d c,t2 d e,t2 e d,t2 f c,t2 f e,t2 f d,Z[4] f,Z+[4] d,Z[4] e,Z+[4] c,t2 d f,t2 e f,t2 c f,t2 e d,t2 c e,t2 f c,t2 f e,H e,H d,t2 d c,t2 f d,t2 d f,Z[4] f,Z+[4] d,Z+[4] c,t2 d f,t2 c f,t2 d c,t2 f c,t2 f d,Z[4] f,t2 d f,t2 c f,H c,t2 c f,t2 a e,t2 e a,t2 a e,t2 e f,t2 f e,t2 e f,t2 f a,t2 a f,t2 f a,t2 d c,t2 c d,t2 d c",
"H d,t2 g d,t2 g e,t2 h e,t2 e h,t2 d h,t2 d g,t2 d e,t2 c e,t2 c d,Z[4] g,Z+[4] h,Z[4] c,Z+[4] d,Z[4] e,t2 h g,t2 c e,t2 c d,t2 h e,t2 h d,t2 g d,t2 g h,Z[2] g,Z b,H h,H f,t2 f g,t1 f,Z+[4] g,Z+[4] f,t2 f g,t2 g f,t1 e,t1 h,H e,t2 e h,t1 h,Z[4] e,Z[4] h,t2 h e,t1 b,t1 c,H d,t2 d c,t1 c,Z[4] d,Z[4] c,t2 c d,t1 c,H c,t2 c a,t2 a b,t1 b,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 a b,Z+[4] a,t2 c a,H c,t2 c d,Z[4] d,Z+[4] c,t2 c d,H c,t2 e h,t2 c e,t1 c,t1 h,Z[4] c,Z[4] e,t2 e c,t2 e h,t2 c h,t2 c e,t1 e,t1 g,H e,t2 f e,t2 f g,t2 e g,t2 e f,t1 g,Z+[4] f,Z[4] e,Z+[4] g,t2 e f,t2 g f,t2 g e,t2 f e,t2 f g,Z[4] f,t2 g f,t2 e f,H e,t2 e c,t2 e h,t2 c h,Z[4] e,Z+[4] c,t2 c e,t2 e c,t2 h c,t2 e c,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t1 a,H d,t2 d a,t2 d b,t1 a,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 b a,t2 d a,t2 d b,Z+[4] d,t2 b d,t2 a d,H a,t2 a h,Z[4] a,Z+[4] h,t2 h a,t2 a h,t2 h a,t2 a h,H a,t2 e a,t2 e c,t2 a e,t1 c,Z[4] e,Z+[4] a,t2 a e,t2 e a,t2 a e,t2 e c,t2 e a,t1 b,H e,H h,t2 h b,t2 h d,t1 b,Z[4] h,Z[4] d,Z[4] b,t2 d h,t2 b h,t2 d b,t2 h b,t2 h d,Z[4] h,t2 d h,t2 b h,t2 d h,t2 h b,t1 b,H b,t2 g a,t2 b g,t2 b a,t1 a,Z+[4] g,Z[4] b,Z+[4] a,t2 b g,t2 a g,t2 g a,Z[4] g,t2 b g,t2 g c,t1 h,H b,t2 d h,t2 b h,t2 h d,t1 h,t1 d,Z[4] b,Z[4] h,Z+[4] d,t2 h b,t2 d b,t2 h d,t2 b d,t2 b h,Z+[4] b,t2 d b,t2 b h,t2 h d,t1 d,t1 g,H d,t2 d a,t2 d f,t2 c d,t2 c g,t2 a c,t1 d,t1 a,Z[4] c,Z[4] f,Z+[4] d,Z[4] a,t2 f c,t2 d c,t2 a c,t2 d f,t2 a d,t2 d a,t2 f a,t2 c a,t2 c f,Z+[2] a,t2 f g,H d,t1 a,H f,t2 f c,t2 f a,t1 a,Z[4] f,Z+[4] c,Z[4] a,t2 c f,t2 a f,t2 c a,t2 f a,t2 f c,Z+[4] f,t2 c f,t2 a f,H a,H h,Z[2] h,H h,Z[2] h,H h,Z+[2] h,t1 h,H h,Z[2] h,H h,Z[2] h,H h,Z[2] h,Z b,t2 h e,t2 e h,t2 h e,t2 e f,t2 f e,t2 e f,t2 f d,t2 d f,t2 f d,t2 d a,t2 a d,t2 d a",
"H f,t2 f e,t2 g f,t2 f g,t2 e f,Z+[4] g,Z[4] e,Z+[4] f,t2 e g,t2 g f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,t1 c,H f,t2 f c,t1 c,Z[4] f,Z[4] c,t2 c f,t2 f c,t2 c f,t2 f c,t1 f,H f,t2 f a,t2 b f,t2 a b,Z[4] a,Z+[4] b,Z[4] f,t2 b a,t2 f a,t2 f b,t2 a f,Z+[4] a,t1 c,H a,t2 a c,t1 c,Z[4] a,Z[4] c,t2 c a,t2 h d,t1 c,H c,t2 c h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 c d,t2 c h,t2 h d,t2 c h,H h,t2 h e,t2 h g,Z+[4] h,Z[4] g,Z+[4] e,t2 g h,t2 e h,t2 e g,t2 h g,t2 h e,Z[4] h,t2 g h,H g,t2 g d,Z[4] g,Z+[4] d,t2 d g,t2 g d,t2 c d,t1 a,H c,t2 c a,t1 a,Z[4] c,Z[4] a,t2 a c,t2 c a,t2 a c,t2 d g,t2 c a,t1 c,H c,t2 f b,t2 c b,t2 c f,Z[4] c,Z+[4] f,Z[4] b,t2 f c,t2 b c,t2 b f,t2 c f,t2 c b,Z+[4] c,t2 f c,t1 a,H f,t2 f a,t1 a,Z[4] f,Z[4] a,t2 a f,t2 g d,t1 a,H a,t2 g a,t2 d a,t2 d g,t2 a g,t2 a d,Z[4] d,Z+[4] a,t2 g d,t2 g a,t2 a d,t2 g a,H a,H d,t2 b c,t2 d c,t2 d b,Z[4] d,Z+[4] b,Z[4] c,t2 b d,t2 c d,t2 c b,t2 d b,t2 d c,Z+[4] d,t2 d b,H d,t2 f d,t2 h d,t2 d f,t2 d h,Z+[4] f,Z[4] d,Z+[4] h,t2 d f,t2 h f,t2 h d,t2 f h,Z[4] f,H f,t2 f c,t2 c b,Z[4] f,Z+[4] c,Z[4] b,t2 c f,t2 b f,t2 b c,t2 f c,t2 f b,Z+[4] f,t2 f c,H f,t2 d h,t2 h d,t2 f h,t2 f d,Z+[4] f,Z[4] d,Z+[4] h,t2 d f,t2 h f,t2 h d,t2 f d,t2 f h,Z[4] f,t2 d f,H f,H c,Z[2] c,Z b,Z h,H c,Z[2] c,H c,Z[2] c,t1 b,t1 h,t2 c h,t2 h c,t2 c h,t2 h a,t2 a h,t2 h a",
"H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 b d,t2 d b,H b,H f,t2 b c,t2 f b,t2 b f,Z+[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 b c,Z[4] b,t2 f b,t2 c b,H f,t2 a d,t2 f d,t2 f a,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 a f,t2 f a,H a,t2 a b,t2 c b,t2 b c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z[4] a,t2 c a,H d,t2 d f,t2 c f,t2 c d,t2 d c,Z[4] c,Z+[4] d,Z[4] f,t2 d c,t2 f c,t2 f d,t2 c d,t2 c f,Z+[4] c,t2 d c,t2 c d,H d,t2 e d,t2 a d,t2 d e,t2 d a,Z+[4] e,Z[4] d,Z+[4] a,t2 d e,t2 a e,t2 a d,t2 e a,Z[4] e,H e,t2 e c,t2 f c,t2 f e,t2 e f,Z[4] f,Z+[4] e,Z[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z+[4] f,t2 e f,t2 f e,H e,t2 a e,t2 e a,t2 e d,Z+[4] a,Z[4] e,Z+[4] d,t2 e a,t2 d a,t2 d e,t2 a e,t2 a d,Z[4] a,t2 e a,H a,t2 f a,t2 a f,t2 f a,t2 e d,t2 d e,t2 e d,t2 d c,t2 c d,t2 d c,t2 c b,t2 b c,t2 c b",
"H d,t2 a b,Z[4] a,Z[4] d,Z+[4] b,t2 d a,t2 b a,t2 b d,t2 a b,Z+[4] a,Z+[4] b,Z[4] d,t2 d a,t2 d b,t2 b d,t2 a d,H d,H c,t2 b a,t2 c a,t2 c b,Z[4] c,Z+[4] b,Z[4] a,t2 b c,t2 a c,t2 a b,t2 c b,t2 c a,Z+[4] c,t2 c b,H c,H f,t2 d c,t2 d f,t2 c f,t2 c d,Z+[4] f,Z+[4] c,Z[4] d,t2 c f,t2 d f,t2 f c,Z[4] f,t2 d f,t2 c f,H d,t2 d a,t2 a b,Z[4] d,Z+[4] a,Z[4] b,t2 a d,t2 b d,t2 b a,t2 d a,t2 d b,Z+[4] d,t2 d a,H d,t2 f c,t2 d c,t2 d f,Z+[4] d,Z[4] f,Z+[4] c,t2 f d,t2 c d,t2 c f,t2 d f,t2 d c,Z[4] d,t2 f d,Z[2] b,H a,t2 a c,t2 c f,Z[4] a,Z+[4] c,Z[4] f,t2 c a,t2 f a,t2 f c,t2 a c,t2 a f,Z+[4] a,t2 a c,H a,t2 e a,t2 d a,t2 a e,t2 a d,Z+[4] e,Z[4] a,Z+[4] d,t2 a e,t2 d e,t2 d a,t2 e d,Z[4] e,H e,t2 e c,t2 f c,t2 f e,t2 e f,Z[4] f,Z+[4] e,Z[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z+[4] f,t2 e f,t2 f e,H e,t2 a e,t2 d e,t2 a b,t2 d b,t2 e a,t2 e b,t2 e d,Z[4] a,Z+[4] e,Z[4] d,Z+[4] b,t2 e a,t2 d a,t2 b a,t2 d e,t2 b d,t2 a b,t2 a d,H d,H c,t2 c b,t2 c a,Z[4] c,Z+[4] a,Z+[4] b,t2 a c,t2 b c,t2 a b,t2 c b,t2 c a,Z[4] c,t2 a c,t2 b c,H b,t2 a c,t2 c a,t2 a c,t2 c f,t2 f c,t2 c f,t2 f d,t2 d f,t2 f d,t2 d b,t2 b d,t2 d b,t2 b a,t2 a b,t2 b a",
"H e,t2 e c,Z[4] e,Z+[4] c,t2 c e,t1 d,H c,t2 c a,t2 b c,t2 a b,Z[4] a,Z+[4] b,Z[4] c,t2 b a,t2 c a,t2 c b,t2 a c,Z+[4] a,H a,t2 a e,Z[4] a,Z+[4] e,t2 e a,H e,H f,t2 e d,t2 e f,t1 d,Z+[4] f,Z[4] e,Z[4] d,t2 e f,t2 d f,t2 f d,Z+[4] f,t2 e f,t2 d f,H e,t2 e a,Z[4] e,Z+[4] a,t2 a e,t1 f,H a,t2 c b,t2 a b,t2 a c,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z+[4] a,t2 c a,H c,t2 c e,Z[4] c,Z+[4] e,t2 e c,H e,t2 e f,t2 d e,t2 e d,t1 f,Z+[4] d,Z[4] e,Z+[4] f,t2 e d,t2 f d,t2 f e,t2 d e,t2 d f,Z[4] d,t2 f d,t2 e d,H a,t2 d c,t2 a c,t2 a d,Z[4] a,Z+[4] d,Z[4] c,t2 d a,t2 c a,t2 c d,t2 a d,t2 a c,Z+[4] a,t2 a d,H a,t2 f a,t2 f e,t2 e f,t2 a e,t2 a f,Z+[4] a,Z[4] f,Z+[4] e,t2 f a,t2 e a,t2 e f,t2 a e,Z[4] a,H a,t2 c d,t2 a d,t2 a c,Z[4] a,Z+[4] c,Z[4] d,t2 c a,t2 d a,t2 d c,t2 a c,t2 a d,Z+[4] a,t2 a c,H a,t2 f e,t2 e f,t2 a e,t2 a f,Z+[4] a,Z[4] f,Z+[4] e,t2 f a,t2 e a,t2 e f,t2 a f,t2 a e,Z[4] a,t2 f a,H a,t2 f a,t2 a f,t2 f a",
"H e,t2 e c,t2 c e,t2 b e,Z[4] e,Z[4] b,Z+[4] c,t2 b e,t2 c e,t2 e c,Z[4] e,Z+[4] c,t2 c b,t2 e c,t2 c e,t1 d,H c,t2 c a,t2 b c,t2 a b,Z[4] a,Z+[4] b,Z[4] c,t2 b a,t2 c a,t2 c b,t2 a c,Z+[4] a,H a,t2 a e,Z[4] a,Z+[4] e,t2 e a,H e,H f,t2 e f,t2 e d,t1 d,Z+[4] f,Z[4] e,Z[4] d,t2 e f,t2 f a,t2 f d,Z+[2] f,Z+[4] f,Z+[4] d,Z[4] a,t2 a f,t2 a d,t2 e d,t2 f a,t2 f d,t2 f c,t2 a c,t2 a f,t2 a d,t2 f d,t2 c d,t2 c f,H e,t2 f c,t2 d f,t2 e d,t2 f d,t2 c d,Z[4] e,Z+[4] d,t2 d e,t2 e d,t2 d e,t2 d c,t2 c f,t2 e d,t2 e f,t2 e c,H e,t2 a b,t2 e b,t2 e a,Z[4] e,Z+[4] a,Z[4] b,t2 a e,t2 b e,t2 b a,t2 e a,t2 e b,Z+[4] e,t2 a e,H a,t2 d a,t2 d c,t2 d f,t2 c f,t2 a d,Z[4] d,Z+[4] a,t2 a d,t2 c d,t2 c a,t2 d a,t2 c d,t2 c f,t2 d a,t2 d f,t2 d c,t1 d,t1 f,H a,t2 c d,t2 a c,t2 a f,t1 f,Z+[4] a,Z[4] c,Z+[4] f,t2 c a,t2 f a,t2 f c,t2 a c,t2 a f,Z[4] a,t2 c a,t2 a d,t2 d a,t2 f a,t2 f d,H a,t1 d,Z e,t1 e,t1 f,H e,Z[2] e,H e,Z[2] e,H e,Z[2] e,Z b,t2 e c,t2 c e,t2 e c,t2 c f,t2 f c,t2 c f,t2 f a,t2 a f,t2 f a",
"H e,t2 e b,t2 h e,t2 h g,t2 e g,t2 e h,t2 b g,t2 a e,t2 a g,Z[4] a,Z[4] h,Z+[4] b,Z+[4] g,Z+[4] e,t2 b a,t2 b h,t2 b g,t2 h e,t2 h g,t2 h b,t2 a e,t2 a g,Z[4] a,t2 h a,t2 b a,H b,H d,t2 d a,t2 h a,t2 h g,t2 d h,t2 a g,Z[4] d,Z+[4] h,Z[4] a,Z+[4] g,t2 h d,t2 a h,t2 a g,t2 h a,t2 d g,t2 d a,t2 a h,t2 h a,H h,H f,t2 f h,t2 f c,t2 f e,t2 c f,t2 h e,t2 h c,t2 h f,Z+[4] h,Z[4] f,Z+[4] c,Z[4] e,t2 f h,t2 c f,t2 c e,t2 h e,t2 h c,H c,t2 d c,t2 a c,t2 d e,t2 a d,t2 c d,t2 c a,t2 c e,Z[4] d,Z+[4] a,Z[4] c,Z+[4] e,t2 a d,t2 c a,t2 c e,t2 a c,t2 d e,t2 d c,t2 a c,H c,t2 c b,t2 f e,t2 f h,t2 c h,t2 h f,t2 b e,Z[4] f,Z+[4] h,Z+[4] b,Z[4] e,t2 c f,t2 c h,t2 c b,t2 c e,t2 b e,t2 h e,t2 f e,t2 f h,H e,t2 e c,Z[4] e,Z+[4] c,t2 c e,H g,t2 g f,Z[4] g,Z+[4] f,t2 f g,t2 g f,t2 f g,t2 g f,H g,t2 g d,t2 a d,t2 a g,t2 d a,Z[4] g,Z+[4] d,Z[4] a,t2 d g,t2 a g,t2 a d,t2 g a,Z+[4] g,H g,t2 g f,Z[4] g,Z+[4] f,t2 f g,H f,t2 e c,t2 f c,t2 c e,Z[4] e,Z+[4] c,t2 c e,H c,t2 c b,t2 h b,t2 b h,Z+[4] c,Z[4] h,Z+[4] b,t2 h c,t2 b c,t2 b h,t2 c h,t2 c b,Z[4] c,t2 h c,H h,t2 h e,Z[4] h,Z+[4] e,t2 e h,t2 h e,t2 f e,H f,t2 g f,t2 f g,Z[4] g,Z+[4] f,t2 f g,t2 h e,H f,t2 a d,t2 f d,t2 f a,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 a f,H a,t2 a g,Z[4] a,Z+[4] g,t2 g a,H g,t2 h g,t2 e g,t2 h e,t2 g e,t2 g h,Z[4] h,Z+[4] g,t2 g h,H g,Z[2] d,H f,t2 f h,Z[4] f,Z+[4] h,t2 h f,t1 d,H h,t2 h d,t2 h a,t1 d,Z[4] a,Z+[4] h,Z+[4] d,t2 h a,t2 d a,t2 a d,Z[4] a,t2 d a,t2 h a,H h,t2 h f,Z[4] h,Z+[4] f,t2 f h,t2 h f,t2 f h,t2 h f,t1 b,H h,t2 c h,t2 h b,t2 h c,t1 b,Z+[4] h,Z[4] c,Z+[4] b,t2 c h,t2 b h,t2 h b,Z[4] h,t2 c h,H c,t2 c f,Z[4] c,Z+[4] f,t2 f c,t2 c f,t2 f c,t2 c f,t1 a,H c,t2 c d,t2 d a,t1 a,Z[4] c,Z+[4] d,Z+[4] a,t2 d c,t2 a c,t2 a d,t2 c d,t2 c a,Z[4] c,t2 d c,H d,t2 d f,Z[4] d,Z+[4] f,t2 f d,t2 d f,t2 f d,t2 d f,t1 c,H d,t2 b d,t2 b c,t2 d h,t2 d b,t2 d c,t1 c,t1 b,t1 h,Z[4] d,Z+[4] c,Z+[4] b,Z[4] h,t2 c d,t2 b d,t2 h d,t2 b c,t2 h b,t2 b h,t2 c h,t2 d h,t2 d c,H b,H c,t2 c d,t2 c h,Z[4] c,Z+[4] d,Z+[4] h,t2 d c,t2 h c,t2 d h,t2 c h,t2 c d,Z[4] c,t2 d c,t2 h c,H h,H d,Z[2] d,H d,Z[2] d,H d,Z[2] d,t2 h e,t2 e h,t2 h e,t2 d f,t2 f d,t2 d f,t2 f b,t2 b f,t2 f b,t2 b c,t2 c b,t2 b c,t2 c a,t2 a c,t2 c a,t2 h g,t2 g h,t2 h g",
"H a,t2 g d,t2 d g,t2 b g,t2 a d,t2 a g,t2 a b,Z[4] a,Z+[4] b,Z[4] g,Z+[4] d,t2 b a,t2 g b,t2 g d,t2 b g,t2 a d,t2 a g,t2 g b,t2 b g,H b,H f,t2 e b,t2 f b,t2 e d,t2 f d,t2 b e,t2 b d,t2 b f,Z+[4] e,Z[4] b,Z+[4] f,Z[4] d,t2 b e,t2 f b,t2 f d,t2 e d,t2 e f,H f,t2 f a,t2 f d,t2 g d,t2 a g,Z[4] f,Z+[4] a,Z[4] g,Z+[4] d,t2 a f,t2 g a,t2 g d,t2 a g,t2 f d,t2 f g,t2 a g,H g,t2 b d,t2 e b,t2 g d,t2 g b,t2 g e,Z[4] g,Z[4] e,Z+[4] b,Z[4] d,t2 e g,t2 b e,t2 b d,t2 e b,t2 g d,t2 g b,H h,t2 h a,Z[4] h,Z+[4] a,t2 a h,t2 h a,t2 a h,t1 c,H d,t2 d c,t1 c,Z[4] d,Z[4] c,t2 c d,t2 d c,t2 c d,t2 d c,t1 d,H d,t2 f d,t2 f b,t2 b f,t2 d f,t2 d b,Z[4] b,Z+[4] f,Z[4] d,t2 f b,t2 d b,t2 d f,t2 b d,Z+[4] b,t1 c,H b,t2 b c,t1 c,Z[4] b,Z[4] c,t2 c b,t2 h a,t1 c,H c,t2 c h,t2 h a,Z[4] h,Z+[4] a,t2 c h,t2 c a,t2 a h,t2 c a,H a,t2 a g,t2 g e,Z+[4] a,Z[4] g,Z+[4] e,t2 g a,t2 e a,t2 e g,t2 a g,t2 a e,Z[4] a,t2 g a,H g,t2 h g,t2 g h,Z[4] h,Z+[4] g,t2 g h,t2 h g,t2 g c,t2 c g,H g,t2 g b,t1 g,Z[4] b,Z[4] g,t2 g b,t2 h c,t1 g,H g,t2 g d,t2 f d,t2 d f,Z[4] g,Z+[4] f,Z[4] d,t2 f g,t2 d g,t2 d f,t2 g f,t2 g d,Z+[4] g,t2 f g,H f,t2 f b,t1 f,Z[4] b,Z[4] f,t2 f b,t1 f,H f,t2 f h,t2 c h,t2 c f,t2 f c,Z[4] f,Z+[4] h,t2 h f,H h,H f,t2 f b,t2 f g,Z[4] f,Z+[4] b,Z+[4] g,t2 b f,t2 g f,t2 b g,t2 f g,t2 f b,Z[4] f,t2 b f,t2 g f,t2 b f,t2 f b,Z+[2] b,Z+[2] f,Z d,t2 f b,t2 b f,H g,t2 g e,t2 a g,t2 g a,Z[4] a,Z+[4] e,Z+[4] g,t2 e a,t2 g a,t2 e g,t2 a g,t2 a e,Z[4] a,t2 e a,t2 g a,H e,H g,t2 g b,t2 g f,Z[4] g,Z+[4] f,Z+[4] b,t2 f g,t2 b g,t2 f b,t2 g b,t2 g f,Z[4] g,t2 f g,t2 b g,H b,H f,Z[2] f,H f,Z[2] f,H f,Z[2] f,t2 f e,t2 e f,t2 f e,t2 e a,t2 a e,t2 e a,t2 b d,t2 d b,t2 c g,t2 g c",
"H f,t2 f e,t2 g f,t2 f g,t2 e f,Z+[4] g,Z[4] e,Z+[4] f,t2 e g,t2 g f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 f c,t2 c f,t2 f c,t1 a,H f,t2 b a,t2 f a,t2 a b,t1 a,t1 b,Z+[4] f,Z+[4] a,Z[4] b,t2 a f,t2 b f,t2 a b,t2 f b,t2 f a,Z[4] f,t2 b f,t2 f a,t1 f,H b,t2 c b,t2 b c,Z[4] c,Z+[4] b,t2 b c,t2 h d,H b,t2 b h,t2 h d,Z[4] h,Z+[4] d,t2 b h,t2 b d,t2 d h,t2 b d,H d,t2 d e,t2 d g,Z+[4] d,Z[4] g,Z+[4] e,t2 g d,t2 e d,t2 e g,t2 d g,t2 d e,Z[4] d,t2 g d,H g,t2 g h,Z[4] g,Z+[4] h,t2 h g,t2 g h,t2 b h,H b,t2 b c,Z[4] b,Z+[4] c,t2 c b,t2 b c,t2 c b,t2 h g,t2 b c,t1 a,H b,t2 b f,t2 b a,t1 f,t1 a,Z[4] b,Z[4] f,Z+[4] a,t2 f b,t2 a b,t2 a f,t2 b f,t2 b a,Z+[4] b,t2 a b,t2 f b,t2 a b,t1 b,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 g h,H c,t2 g c,t2 h c,t2 h g,t2 c g,t2 c h,Z[4] h,Z+[4] c,t2 g h,t2 g c,t2 c h,t2 g c,H c,H b,t2 e b,t2 b e,t2 b h,Z[4] e,Z+[4] b,Z[4] h,t2 b e,t2 h e,t2 h b,t2 e b,t2 e h,Z+[4] e,t2 e b,H e,t2 e f,t2 d f,t2 d e,t2 f d,Z+[4] e,Z[4] f,Z+[4] d,t2 f e,t2 d e,t2 d f,t2 e d,Z[4] e,H e,t2 h e,t2 e h,t2 e b,Z[4] h,Z+[4] e,Z[4] b,t2 e h,t2 b h,t2 b e,t2 h e,t2 h b,Z+[4] h,t2 h e,H h,t2 h d,t2 d f,Z+[4] h,Z[4] d,Z+[4] f,t2 d h,t2 f h,t2 f d,t2 h d,t2 h f,Z[4] h,t2 d h,t1 a,H e,t2 e a,t2 e d,t1 a,Z[4] e,Z[4] d,Z[4] a,t2 d e,t2 a e,t2 a d,t2 e d,t2 e a,Z[4] e,t2 a e,t2 d e,t2 a e,t2 d e,t2 d a,t2 e a,t2 e d,t1 f,t1 e,t1 a,H e,t2 h f,t2 e f,t2 e h,t1 f,Z+[4] h,Z[4] e,Z+[4] f,t2 e h,t2 f h,t2 h f,Z[4] h,t2 e h,t1 d,H e,t2 e a,t2 e d,t1 e,Z[4] a,Z[4] d,Z[4] e,t2 d a,t2 e a,t2 e d,t2 a d,t2 a e,Z[4] a,t2 d a,t2 a d,t2 a e,t1 h,t1 e,t1 d,H d,t2 d f,t2 d h,t1 h,Z+[4] d,Z[4] f,Z+[4] h,t2 f d,t2 h d,t2 h f,t2 d f,t2 d h,Z[4] d,t2 h d,t2 f d,t1 a,H h,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t1 a,Z a,Z e,t2 e b,t2 b e,t2 e b,t2 d f,t2 f d,t2 d f,t2 f h,t2 h f,t2 f h,t2 h c,t2 c h,t2 h c",
"H f,t2 f h,t2 b g,t2 b h,t2 a f,t2 a g,Z[4] a,Z[4] b,Z+[4] h,Z+[4] g,Z+[4] f,Z+[4] e,t2 f a,t2 e a,t2 f b,t2 f h,t2 e h,t2 e g,t2 b h,t2 b g,t2 b f,t2 a h,t2 a g,t2 a e,Z[4] b,Z[4] a,t2 f b,t2 e b,t2 e a,t2 d f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H g,t2 g c,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 g c,H g,t2 g b,t2 f b,t2 f g,t2 b f,Z[4] f,Z+[4] b,Z[4] g,t2 b f,t2 g f,t2 g b,t2 f g,Z+[4] f,H f,t2 c f,t2 f c,Z[4] c,Z+[4] f,t2 f c,t2 h d,H f,t2 f h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 f d,t2 f h,t2 h d,t2 f h,H h,t2 h a,t2 a e,Z+[4] h,Z[4] a,Z+[4] e,t2 a h,t2 e h,t2 e a,t2 h a,t2 h e,Z[4] h,t2 a h,H a,t2 a d,Z[4] a,Z+[4] d,t2 d a,t2 a d,t2 d f,t2 f d,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t2 d c,t2 c d,t2 d c,H d,t2 g d,t2 d g,t2 d b,Z[4] g,Z+[4] d,Z[4] b,t2 d g,t2 b g,t2 b d,t2 g d,t2 g b,Z+[4] g,t2 d g,H d,t2 c d,t2 d c,Z[4] c,Z+[4] d,t2 d c,t2 a f,H d,t2 d a,t2 f a,t2 f d,t2 d f,Z[4] d,Z+[4] a,t2 a d,H a,H d,t2 d g,t2 b g,t2 b d,t2 d b,Z[4] b,Z+[4] d,Z[4] g,t2 d b,t2 g b,t2 g d,t2 b d,t2 b g,Z+[4] b,t2 d b,t2 b d,H d,t2 d c,t2 h d,t2 c h,Z+[4] d,Z[4] h,Z+[4] c,t2 h d,t2 c d,t2 c h,t2 d c,Z[4] d,H d,t2 d g,t2 g b,Z[4] d,Z+[4] g,Z[4] b,t2 g d,t2 b d,t2 b g,t2 d g,t2 d b,Z+[4] d,t2 d g,H d,t2 c d,t2 d c,t2 d h,Z+[4] c,Z[4] d,Z+[4] h,t2 d c,t2 h c,t2 h d,t2 c d,t2 c h,Z[4] c,t2 d c,H c,t2 d b,H g,Z[2] g,H g,Z[2] g,H g,Z[2] g,t2 d e,t2 e d,t2 d e,t2 g f,t2 f g,t2 g f,t2 f c,t2 c f,t2 f c,t2 c h,t2 h c,t2 c h,t2 h a,t2 a h,t2 h a,t2 e d,t2 d e,t2 e d",
"H f,t2 f b,t2 g f,t2 f g,t2 e g,t2 b h,t2 a h,t2 a f,Z[4] g,Z+[4] e,Z+[4] b,Z+[4] a,Z[4] f,Z+[4] h,t2 e g,t2 b g,t2 a h,t2 a f,t2 b h,t2 b f,t2 g f,t2 g b,t2 a h,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 c a,t2 c g,Z[4] g,Z+[4] c,Z[4] a,t2 c g,t2 a g,t2 g a,Z+[4] g,t2 a g,t2 c g,H c,t2 c f,Z[4] c,Z+[4] f,t2 f c,H f,t2 f h,t2 d h,t2 d f,t2 f d,Z[4] f,Z+[4] h,t2 h f,H h,t2 h b,t2 e b,t2 h e,Z+[4] h,Z[4] e,Z+[4] b,t2 e h,t2 b h,t2 b e,t2 h e,t2 h b,Z[4] h,t2 e h,H e,t2 f e,t2 e f,Z[4] f,Z+[4] e,t2 e f,t2 f e,t2 d e,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t2 e f,H c,t2 c a,t2 a g,Z[4] c,Z+[4] a,Z[4] g,t2 a c,t2 g c,t2 g a,t2 c a,t2 c g,Z+[4] c,t2 a c,H a,t2 a d,Z[4] a,Z+[4] d,t2 d a,t2 a d,t2 d a,t2 f e,t2 a d,H a,t2 f a,t2 a f,t2 a e,Z[4] a,Z+[4] e,t2 f a,t2 f e,t2 e a,t2 f e,H e,H h,Z[2] g,t1 c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,t2 h f,t2 f h,t2 h f,t2 c d,t2 d c,t2 c d,t2 d a,t2 a d,t2 d a,t2 g h,t2 h g,t2 g h,t2 h e,t2 e h,t2 h e,t2 e b,t2 b e,t2 e b",
"H f,t2 a f,Z[4] a,Z[4] b,Z+[4] f,t2 f a,t2 b f,t2 a f,t2 a b,Z[4] a,Z+[4] b,Z+[4] f,t2 f a,t2 f b,t2 a f,t2 a b,Z[4] a,t2 b a,t2 f a,H f",
"H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 b d,t2 d b,H b,H f,t2 b c,t2 f b,t2 b f,Z+[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 b c,Z[4] b,t2 f b,t2 c b,H f,t2 a d,t2 f d,t2 f a,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 a f,t2 f a,H a,t2 a b,t2 c b,t2 b c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z[4] a,t2 c a,t1 f,H d,t2 d f,t2 c f,t2 c d,t2 d c,t1 f,Z[4] c,Z+[4] d,Z+[4] f,t2 d c,t2 f c,t2 f d,t2 c d,t2 c f,Z[4] c,t2 d c,t2 c d,t1 d,H d,t2 e d,t2 a d,t2 d e,t2 d a,Z+[4] e,Z[4] d,Z+[4] a,t2 d e,t2 a e,t2 a d,t2 e a,Z[4] e,t1 c,H e,t2 e c,t2 f c,t2 f e,t2 e f,t1 c,Z[4] f,Z+[4] e,Z+[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z[4] f,t2 e f,t2 f e,t1 e,H e,t2 a e,t2 e a,t2 e d,Z+[4] a,Z[4] e,Z+[4] d,t2 e a,t2 d a,t2 d e,t2 a e,t2 a d,Z[4] a,t2 e a,H a,t2 f a,t2 a f,t2 f a,t2 e d,t2 d e,t2 e d,t2 d c,t2 c d,t2 d c,t2 c b,t2 b c,t2 c b",
"H d,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z+[4] a,Z[4] c,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z[4] d,t2 a d,t2 b d,H b,H f,t2 c b,t2 b c,Z[4] c,Z[4] f,Z+[4] b,t2 f c,t2 b f,t2 c b,Z+[4] c,Z+[4] b,Z[4] f,t2 f c,t2 f b,t2 b f,t2 c f,H f,H b,t2 b a,t2 d b,t2 b d,Z[4] d,Z+[4] a,Z+[4] b,t2 a d,t2 b d,t2 b a,t2 d a,t2 d b,Z[4] d,t2 b d,t2 a d,H a,Z[2] b,t2 d b,Z+[2] b,Z[2] d,t2 b d,t2 d b,t2 b d,t2 d b,t2 b d,t2 d a,t2 a d,t2 d a",
"H c,t2 d c,t2 c d,t2 a d,Z+[4] a,Z[4] d,Z+[4] c,Z[4] b,t2 d a,t2 b a,t2 b d,t2 b c,t2 a b,t2 a c,Z+[4] d,Z+[4] a,t2 a d,t2 b a,t2 a d,Z[2] b,Z[2] d,t2 c b,t1 a,H b,t2 b a,t2 a d,t1 d,Z+[4] a,Z+[4] b,Z+[4] d,t2 b a,t2 d a,t2 d b,t2 b d,Z+[4] a,t2 d a,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t1 a,H c,H f,t2 e c,t2 f c,t2 f e,t2 c e,t2 c f,Z+[4] c,Z[4] f,Z+[4] e,t2 f c,t2 e c,t2 e f,t2 c e,Z[4] c,t2 e c,t2 c f,t2 e c,t2 f c,H f,t2 f d,Z[4] f,Z+[4] d,t2 d f,H d,t2 d a,t2 a b,t1 b,Z[4] d,Z[4] a,Z[4] b,t2 a d,t2 b d,t2 a b,t2 d b,t2 d a,Z[4] d,t2 b d,H b,t2 f b,t2 b f,Z[4] f,Z+[4] b,t2 b f,t1 a,H b,t2 b e,t2 c b,t2 b c,t1 e,t1 b,Z[4] e,Z+[4] b,Z[4] c,t2 b e,t2 c e,t2 c b,Z+[4] e,t2 c e,t2 e b,t2 b c,t1 c,H b,t2 b c,t1 c,Z[4] b,Z[4] c,t2 c b,t1 b,t1 c,H c,t2 c a,t2 c d,t1 d,Z+[4] a,Z+[4] c,Z+[4] d,t2 c a,t2 d a,t2 d c,t2 c d,Z+[4] a,t2 d a,H d,t2 d b,t1 b,Z[4] d,Z[4] b,t2 b d,t1 b,t1 f,H b,t2 e b,t2 b f,t2 b e,t1 f,Z+[4] b,Z[4] e,Z+[4] f,t2 e b,t2 f b,t2 b f,Z[4] b,t2 e b,t1 d,H e,t2 e d,t1 d,Z[4] e,Z[4] d,t2 d e,t2 e d,t2 d e,t2 e d,t1 c,t1 e,H e,t2 e c,t2 e a,t1 a,Z[4] e,Z[4] c,Z[4] a,t2 c e,t2 a e,t2 c a,t2 e a,t2 e c,Z[4] e,t2 a e,t1 d,t1 e,H a,t2 a d,t1 d,Z[4] a,Z[4] d,t2 d a,t1 d,t1 b,H d,t2 d b,t2 d f,t1 b,Z+[4] d,Z[4] f,Z+[4] b,t2 f d,t2 b d,t2 b f,t2 d f,t2 d b,Z[4] d,t2 b d,t2 f d,H e,t2 e d,t2 d a,t1 d,Z[4] e,Z+[4] a,Z+[4] d,t2 a e,t2 d e,t2 d a,t2 e a,t2 e d,Z[4] e,t2 a e,t2 e a,t1 c,t1 a,H a,t2 b f,t2 a f,t2 a b,t2 b a,t2 f a,Z+[4] b,Z[4] f,Z+[4] a,t2 f b,t2 a b,t2 a f,t2 b a,Z[4] b,t1 e,H b,t2 b e,t2 d e,t2 b d,t1 e,Z[4] b,Z+[4] d,Z+[4] e,t2 d b,t2 e b,t2 e d,t2 b d,t2 b e,Z[4] b,t2 b d,t1 b,H b,t2 a f,t2 b f,t2 b a,t2 b c,t2 a b,t2 f b,t1 c,Z[4] a,Z+[4] f,Z[4] b,Z[4] c,t2 f a,t2 b a,t2 c a,t2 b f,t2 c b,t2 a c,t2 a b,Z+[2] c,H b,t1 c,H d,t2 d c,t2 d a,t1 a,t1 c,Z[4] d,Z[4] a,Z+[4] c,t2 a d,t2 c d,t2 a c,t2 d c,t2 d a,Z+[4] d,t2 a d,t2 c d,t2 d a,H c,t1 a,Z a,t1 d,Z d,t2 d e,t2 e d,t2 d e,t2 e f,t2 f e,t2 e f,t2 f b,t2 b f,t2 f b",
"H a,t2 b c,Z[4] b,Z[4] a,Z+[4] c,t2 a b,t2 c b,t2 c a,t2 b c,Z+[4] b,Z+[4] c,Z[4] a,t2 a b,t2 a c,t2 c a,t2 b a,Z[2] c,H a,H b,t2 b a,t2 d a,t2 d b,t2 b d,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 d b,H d,H f,t2 e d,t2 f e,t2 e f,t2 d e,t2 d f,Z+[4] e,Z+[4] d,Z[4] f,t2 d e,t2 f e,t2 e d,Z[4] e,t2 f e,t2 d e,H f,t2 f a,t2 a b,Z[4] f,Z+[4] a,Z[4] b,t2 a f,t2 b f,t2 b a,t2 f a,t2 f b,Z+[4] f,t2 a f,t2 f a,H a,t2 e a,t2 e c,t2 d e,t2 a c,t2 a e,t2 a d,Z[4] a,Z+[4] d,Z[4] e,Z+[4] c,t2 d a,t2 e a,t2 c a,t2 e d,t2 c e,t2 a c,t2 a e,H b,t2 b c,t2 c f,t1 c,Z[4] b,Z+[4] f,Z+[4] c,t2 f b,t2 c b,t2 c f,t2 b f,t2 b c,Z[4] b,t2 b f,t1 b,H b,t2 b a,t2 e a,t2 e b,t2 a e,Z+[4] b,Z[4] a,Z+[4] e,t2 a b,t2 e b,t2 e a,t2 b e,Z[4] b,H b,t2 c b,t2 f c,t2 b c,t2 b f,t1 b,Z[4] c,Z+[4] f,Z+[4] b,t2 f c,t2 b c,t2 b f,t2 c f,t2 c b,Z[4] c,t2 f c,t2 c f,t1 f,H f,t2 f e,t2 e a,Z+[4] f,Z[4] e,Z+[4] a,t2 e f,t2 a f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 e f,H f,H c,t2 c a,t2 b c,t2 c b,Z[4] b,Z+[4] a,Z+[4] c,t2 a b,t2 c b,t2 a c,t2 b c,t2 b a,Z[4] b,t2 a b,t2 c b,H c,t2 c d,t2 d c,t2 c d,t2 d e,t2 e d,t2 d e,t2 e c,t2 c e,t2 e c,t2 c b,t2 b c,t2 c b,t2 b a,t2 a b,t2 b a",
"t1 c,H e,t2 b a,t2 e c,t1 c,Z[4] e,Z+[4] a,Z[4] c,t2 c e,t2 b a,t1 e,t1 c,H c,t2 c a,t2 a c,Z[4] a,Z[4] c,Z[4] b,t2 b a,t2 c b,t2 a b,t2 a c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b c,H b,t2 b e,t1 e,Z[4] b,Z[4] e,t2 e b,t1 b,t1 d,t1 e,H e,H f,t2 c a,t2 f a,t2 e d,t2 e f,t1 d,Z+[4] f,Z[4] e,Z[4] a,Z[4] d,t2 e f,t2 c a,t2 f d,t2 f c,Z[4] f,Z+[4] c,Z+[4] a,Z+[4] d,t2 a f,t2 a c,t2 d a,t2 e a,t2 e d,t2 a d,t2 f d,t2 f a,t2 f c,H e,t2 e b,t1 b,Z[4] e,Z[4] b,t2 b e,t1 e,t1 b,H b,t2 c f,t2 b f,t2 b c,Z[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 f c,t2 b c,t2 b f,Z+[4] b,t2 c b,H c,t2 c e,t1 e,Z[4] c,Z[4] e,t2 e c,t1 a,t1 e,H e,t2 e a,t2 d e,t2 e d,t1 a,Z+[4] d,Z[4] e,Z+[4] a,t2 e d,t2 a d,t2 a e,t2 d e,t2 d a,Z[4] d,t2 a d,t2 e d,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,t2 c d,t2 d c,t2 c d,t1 b,H c,t2 c b,t2 c f,t1 b,Z[4] f,Z+[4] c,Z+[4] b,t2 c f,t2 b f,t2 f b,Z[4] f,t2 b f,t2 c f,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,t2 c d,t2 d c,t2 c d,H c,t2 e c,t2 a e,t2 c a,t2 c e,Z+[4] e,Z[4] a,Z+[4] c,t2 a e,t2 c e,t2 c a,t2 e c,Z[4] e,H e,t2 e d,Z[4] e,Z+[4] d,t2 d e,t2 e d,t2 d e,t2 e d,t1 f,H e,t2 b f,t2 e f,t2 e b,t1 f,Z[4] e,Z+[4] b,Z+[4] f,t2 b e,t2 f e,t2 f b,t2 e b,t2 e f,Z[4] e,t2 b e,H b,t2 b d,Z[4] b,Z+[4] d,t2 d b,t2 b d,t2 d b,t2 b d,H b,t2 c b,t2 a b,t2 a c,t2 b a,t2 b c,Z+[4] c,Z[4] a,Z+[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z[4] c,t2 a c,H c,t1 e,Z e,t1 f,Z f,t2 e b,t2 b e,t2 e b,t2 b f,t2 f b,t2 b f,t2 f c,t2 c f,t2 f c,t2 c a,t2 a c,t2 c a",
"t1 c,H e,t2 b a,t2 e c,t1 c,Z[4] e,Z+[4] a,Z[4] c,t2 c e,t2 b a,t1 e,t1 c,H c,t2 c a,t2 a c,Z[4] a,Z[4] c,Z[4] b,t2 b a,t2 c b,t2 a b,t2 a c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b c,H b,t2 b e,t1 e,Z[4] b,Z[4] e,t2 e b,t1 b,t1 d,t1 e,H e,H f,t2 c a,t2 f a,t2 e d,t2 e f,t1 d,Z+[4] f,Z[4] e,Z[4] a,Z[4] d,t2 e f,t2 c a,t2 f d,t2 f c,Z[4] f,Z+[4] c,Z+[4] a,Z+[4] d,t2 a f,t2 a c,t2 d a,t2 e a,t2 e d,t2 a d,t2 f d,t2 f a,t2 f c,H e,t2 e b,t1 b,Z[4] e,Z[4] b,t2 b e,t1 e,t1 b,H b,t2 c f,t2 b f,t2 b c,Z[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 f c,t2 b c,t2 b f,Z+[4] b,t2 c b,H c,t2 c e,t1 e,Z[4] c,Z[4] e,t2 e c,t1 a,t1 e,H e,t2 e a,t2 d e,t2 e d,t1 a,Z+[4] d,Z[4] e,Z+[4] a,t2 e d,t2 a d,t2 a e,t2 d e,t2 d a,Z[4] d,t2 a d,t2 e d,H f,t2 d f,t2 f d,Z[4] d,Z+[4] f,t2 f d,t2 d f,t2 f d,t2 d f,t1 b,H d,t2 d b,t2 d c,t1 b,Z[4] c,Z+[4] d,Z+[4] b,t2 d c,t2 b c,t2 c b,Z[4] c,t2 b c,t2 d c,H d,t2 f d,t2 d f,Z[4] f,Z+[4] d,t2 d f,t2 f d,t2 d f,t2 f d,H f,t2 e f,t2 a f,t2 f e,t2 f a,Z+[4] e,Z[4] f,Z+[4] a,t2 f e,t2 a e,t2 a f,t2 e a,Z[4] e,H e,t2 d e,t2 e d,Z[4] d,Z+[4] e,t2 e d,t2 d e,t2 e d,t2 d e,t1 c,H d,t2 d c,t2 b c,t2 b d,t2 d b,t1 c,Z[4] b,Z+[4] d,Z+[4] c,t2 d b,t2 c b,t2 c d,t2 b d,t2 b c,Z[4] b,t2 d b,H d,t2 e d,t2 d e,Z[4] e,Z+[4] d,t2 d e,t2 e d,t2 d e,t2 e d,H e,t2 a e,t2 e a,t2 e f,Z+[4] a,Z[4] e,Z+[4] f,t2 e a,t2 f a,t2 f e,t2 a e,t2 a f,Z[4] a,t2 e a,H a,t1 b,Z b,t1 e,Z e,t2 b e,t2 e b,t2 b e,t2 e f,t2 f e,t2 e f,t2 f a,t2 a f,t2 f a",
"H e,t2 e c,Z[4] e,Z+[4] c,Z[4] d,t2 c e,t2 e c,t2 c e,t2 e c,H e,t2 e a,t2 b e,t2 a b,Z[4] a,Z+[4] b,Z[4] e,t2 b a,t2 e a,t2 e b,t2 a e,Z+[4] a,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,H c,H f,t2 c d,t2 c f,Z+[4] f,Z+[4] d,Z[4] c,t2 d f,t2 c f,t2 f c,t2 f d,Z[4] f,Z[4] d,Z+[4] c,t2 c f,t2 c d,t2 d c,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,t2 f a,t2 a f,t2 f a,H f,t2 e b,t2 f b,t2 f e,Z[4] f,Z+[4] e,Z[4] b,t2 e f,t2 b f,t2 b e,t2 f e,t2 f b,Z+[4] f,t2 e f,H e,t2 e a,Z[4] e,Z+[4] a,t2 a e,H a,H c,t2 f c,t2 c f,t2 f c,t2 c e,t2 e c,t2 c e,t2 e a,t2 a e,t2 e a",
"H f,t2 f e,t2 g f,t2 f g,t2 e f,Z+[4] g,Z[4] e,Z+[4] f,t2 e g,t2 g f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 f c,t2 c f,t2 f c,H f,t2 f a,t2 b f,t2 a b,Z[4] a,Z+[4] b,Z[4] f,t2 b a,t2 f a,t2 f b,t2 a f,Z+[4] a,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t2 h d,H c,t2 c h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 c d,t2 c h,t2 h d,t2 c h,H h,t2 h e,t2 h g,Z+[4] h,Z[4] g,Z+[4] e,t2 g h,t2 e h,t2 e g,t2 h g,t2 h e,Z[4] h,t2 g h,H g,t2 g d,Z[4] g,Z+[4] d,t2 d g,t2 g d,t2 c d,H c,t2 c a,Z[4] c,Z+[4] a,t2 a c,t2 c a,t2 a c,t2 d g,t2 c a,H c,t2 f b,t2 c b,t2 c f,Z[4] c,Z+[4] f,Z[4] b,t2 f c,t2 b c,t2 b f,t2 c f,t2 c b,Z+[4] c,t2 f c,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,t2 g d,H a,t2 g a,t2 d a,t2 d g,t2 a g,t2 a d,Z[4] d,Z+[4] a,t2 g d,t2 g a,t2 a d,t2 g a,H a,H c,t2 f b,t2 c b,t2 c f,Z[4] c,Z+[4] f,Z[4] b,t2 f c,t2 b c,t2 b f,t2 c f,t2 c b,Z+[4] c,t2 c f,H c,t2 h c,t2 h d,t2 d h,t2 c d,t2 c h,Z+[4] c,Z[4] h,Z+[4] d,t2 h c,t2 d c,t2 d h,t2 c d,Z[4] c,H c,t2 b f,t2 c f,t2 c b,Z[4] c,Z+[4] b,Z[4] f,t2 b c,t2 f c,t2 f b,t2 c b,t2 c f,Z+[4] c,t2 c b,H c,t2 d h,t2 c h,t2 c d,Z+[4] c,Z[4] d,Z+[4] h,t2 d c,t2 h c,t2 h d,t2 c d,t2 c h,Z[4] c,t2 d c,H b,t2 f b,t2 b f,t2 b d,Z[4] f,Z+[4] b,Z[4] d,t2 b f,t2 d f,t2 d b,t2 f b,t2 f d,Z+[4] f,t2 b f,t2 f b,H b,t2 b c,t2 e b,t2 c e,Z+[4] c,Z[4] e,Z+[4] b,t2 e c,t2 b c,t2 b e,t2 c b,Z[4] c,H c,t2 c f,t2 d f,t2 c d,Z[4] c,Z+[4] d,Z[4] f,t2 d c,t2 f c,t2 f d,t2 c d,t2 c f,Z+[4] c,t2 c d,H c,t2 c b,t2 b e,Z[2] c,Z[4] c,Z[4] b,Z+[4] e,t2 b c,t2 e c,t2 e b,t2 c b,t2 c e,Z[4] c,t2 b c,t2 e h,t2 h e,t1 f,H e,t2 e f,t1 f,Z[4] e,Z[4] f,t2 f e,t2 e f,t2 f e,t2 e f,t1 e,H e,t2 b e,t2 d b,t2 e b,t2 e d,Z[4] b,Z+[4] d,Z[4] e,t2 d b,t2 e b,t2 e d,t2 b e,Z+[4] b,t1 f,H b,t2 b f,t1 f,Z[4] b,Z[4] f,t2 f b,t2 b f,t2 f b,t2 b f,t1 b,H b,t2 b c,t2 h b,t2 c h,Z+[4] c,Z[4] h,Z+[4] b,t2 h c,t2 b c,t2 b h,t2 c b,Z[4] c,H c,t2 c f,t1 c,Z[4] f,Z[4] c,t2 c f,t1 f,t1 c,H c,t2 d e,t2 c e,t2 e d,Z[4] c,Z+[4] d,Z[4] e,t2 d c,t2 e c,t2 e d,t2 c d,t2 c e,Z+[4] c,t2 d c,H d,t2 d f,t1 f,Z[4] d,Z[4] f,t2 f d,t2 d f,t2 f d,t2 d f,t1 d,H d,t2 d h,t2 b h,t2 b d,t2 d b,Z+[4] b,Z[4] d,Z+[4] h,t2 d b,t2 h b,t2 h d,t2 b d,t2 b h,Z[4] b,t2 d b,H b,t2 d h,H c,t1 f,Z[2] c,Z f,H c,Z[2] c,H c,Z[2] c,t1 e,t1 f,t2 c f,t2 f c,t2 c f,t2 f b,t2 b f,t2 f b,t2 b e,t2 e b,t2 b e,t2 e h,t2 h e,t2 e h,t2 h a,t2 a h,t2 h a",
"t2 e a,t2 e c,t2 e d,H f,t2 f e,t2 f g,t2 e g,Z+[4] a,Z[4] f,Z[4] e,Z+[4] g,t2 e f,t2 f g,t2 f e,t2 f a,t2 f g,t2 a g,t1 d,H h,t2 h d,t1 d,Z[4] h,Z[4] d,t2 d h,t2 h d,t2 d h,H g,t2 g c,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 g c,H g,t2 g a,t2 g b,Z[4] b,Z+[4] g,Z[4] a,t2 g b,t2 a b,t2 b a,Z+[4] b,t2 a b,t2 g b,H g,t2 c g,t2 g c,Z[4] c,Z+[4] g,t2 g c,t2 h d,H g,t2 g d,t1 d,Z[4] d,Z[4] g,t2 h g,t2 d g,t2 d h,t1 h,H h,t2 h f,t2 h e,Z+[4] h,Z[4] e,Z[4] f,t2 e h,t2 f h,t2 f e,t2 h e,t2 h f,Z+[4] h,t2 f h,t2 e h,H e,t2 g e,t2 e g,t1 e,Z[4] g,Z[4] e,t2 e g,t2 d e,t2 g e,t2 d e,t2 g d,H g,t2 g c,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 g c,H g,t2 g a,t2 a b,Z[4] g,Z+[4] a,Z[4] b,t2 a g,t2 b g,t2 b a,t2 g a,t2 g b,Z+[4] g,t2 a g,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t1 g,t1 d,H c,t2 c d,t1 d,Z[4] d,Z[4] c,t2 c e,t2 d c,t1 d,H d,H b,t2 b a,t2 a g,t1 g,Z[4] b,Z+[4] a,Z+[4] g,t2 a b,t2 g b,t2 g a,t2 b a,t2 b g,Z[4] b,t2 a b,t2 b a,t1 a,H a,t2 c f,t2 f c,t2 a c,t2 a f,Z+[4] c,Z[4] a,Z[4] f,t2 a c,t2 f c,t2 c f,Z+[4] c,t2 a c,t1 b,H a,t2 a b,t2 g b,t2 g a,t2 a g,t1 b,Z[4] g,Z+[4] a,Z+[4] b,t2 a g,t2 b g,t2 b a,t2 g a,t2 g b,Z[4] g,t2 g a,t1 g,t1 c,H g,t2 f g,t2 f a,t2 g f,t2 g a,t1 f,t1 g,Z[4] f,Z+[4] g,Z[4] a,t2 g f,t2 a f,t2 f g,Z+[4] f,t2 a f,t2 h g,t2 h b,t2 h c,t2 a h,t2 h a,t2 c h,t2 b h,t1 b,t1 g,H h,t2 h b,t2 h g,t1 g,t1 b,Z[4] h,Z[4] g,Z[4] b,t2 g h,t2 b h,t2 g b,t2 h b,t2 h g,Z[4] h,t2 g h,t2 h b,t1 h,H h,t2 f h,t2 h c,t2 h f,Z+[4] h,Z[4] f,Z[4] c,t2 f h,t2 c h,t2 h c,Z+[4] h,t2 f h,t1 b,t1 g,H f,t2 f g,t2 f b,t1 b,t1 g,Z[4] f,Z[4] b,Z[4] g,t2 b f,t2 g f,t2 b g,t2 f g,t2 f b,Z[4] f,t2 b f,t2 f g,t1 f,H f,t2 f h,t2 f c,Z+[4] f,Z[4] c,Z[4] h,t2 c f,t2 h f,t2 h c,t2 f c,t2 f h,Z+[4] f,t2 h f,t2 c f,H h,H g,Z[2] g,H g,Z[2] g,H g,t1 f,Z[2] g,t2 g e,t2 e g,t2 g e,t2 e a,t2 a e,t2 e a,t2 b c,t2 c b,t2 h f,t2 f h,t2 h d,t2 d h,t2 h d",
"H d,t2 g c,t2 h g,t2 g h,t2 d h,t2 c h,t2 c g,t2 a g,Z[4] d,Z+[4] h,Z[4] a,Z+[2] c,Z+[4] c,Z+[4] g,t2 h d,t2 a g,t2 d g,t2 d c,H h,t2 h a,t2 a b,Z[4] a,Z+[4] b,t2 h a,t2 h b,t2 a b,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 b c,H d,H f,t2 f a,t2 d b,t2 f e,t2 d e,t2 d f,t2 f d,t2 h d,t2 b c,t2 a h,t1 b,Z+[4] f,Z[4] b,Z+[4] d,Z+[4] a,Z[4] h,Z[4] e,Z+[4] c,t2 d f,t2 a f,t2 h f,t2 c f,t2 c b,t2 a d,t2 h d,t2 e d,t2 c d,t2 h a,t2 e h,t2 c h,t2 c e,t2 a h,t2 d h,t2 d e,t2 f b,t2 f c,t2 f d,t2 d b,t1 b,H c,t2 c a,t2 d b,t1 b,Z[4] c,Z+[4] a,t2 a c,t2 d b,t1 b,H a,t2 h a,t2 h f,t2 d b,t2 a h,t2 a d,t2 a f,t1 b,Z[4] h,Z+[4] a,Z+[4] f,Z+[4] d,t2 a h,t2 f a,t2 d f,t2 f d,t2 a d,t2 a f,t2 h d,t2 h a,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t2 d c,t2 c d,t2 d c,H d,t2 e d,t2 a d,t2 a e,t2 e f,t2 d f,t2 d e,t2 d a,t1 e,t1 a,t1 d,Z[4] e,Z+[4] a,Z[4] f,Z+[4] d,t2 f e,t2 d a,t2 d f,t2 f d,t2 a f,t2 e f,t2 e a,t2 e g,t2 e d,t2 a g,t1 c,t1 d,H e,t2 e c,t2 g d,t2 a g,t2 d g,t1 c,Z[4] e,Z[4] c,t2 c e,t2 e c,t2 c e,t2 e c,t1 e,t1 g,H e,t2 e h,t2 d h,t2 a g,t2 d g,t2 e a,t2 h d,t1 e,Z[4] d,Z+[4] h,Z[4] a,Z[4] e,t2 a d,t2 e h,t2 g h,t2 e a,t2 a e,t2 d h,t2 a d,t2 h d,t2 g d,t2 h a,t2 g a,t2 g h,t2 h g,t2 a e,t1 g,H e,t2 e c,t2 h g,t1 g,Z[4] c,Z+[4] e,t2 e c,t2 h g,t1 g,H e,t2 e f,t2 e h,t2 e g,t2 h e,t2 f e,t1 g,Z+[4] f,Z+[4] g,Z[4] e,Z+[4] h,t2 e f,t2 h g,t2 h e,t2 f h,t2 f g,H h,t2 h c,Z[4] h,Z+[4] c,t2 c h,t2 h c,t2 c h,t2 h c,H h,t2 h d,t2 a d,t2 a g,t2 h g,t2 d a,t1 a,Z[4] h,Z+[4] g,Z[4] d,Z[4] a,t2 g h,t2 d g,t2 a d,t2 f a,t2 d a,t2 g a,t2 h a,t2 h d,t2 f d,t1 c,H a,t2 a c,t1 c,Z+[4] c,Z+[4] a,t2 a c,t1 d,H a,t2 a d,t2 a e,t1 d,Z+[4] d,Z+[4] e,t2 a d,t2 a e,t2 e d,t2 a d,Z+[2] a,Z h,Z+[2] d,t2 d a,t2 e a,t2 e d,t2 a e,t2 a d,t1 f,t1 e,H b,t2 b f,t2 a e,t1 f,t1 e,Z[4] b,Z[4] f,t2 f b,t2 a e,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t1 g,H c,t2 c h,t2 c g,t1 g,Z[4] h,Z+[4] c,Z+[4] g,t2 c h,t2 g h,t2 h g,Z[4] h,t2 g h,t2 c h,H c,t2 c a,Z[4] c,Z+[4] a,t2 a c,H a,t2 a f,t2 a b,t1 a,t1 b,Z+[4] a,Z[4] b,t2 b a,t1 b,t1 e,H b,t2 b d,t2 d e,t1 e,Z+[4] b,Z[4] d,Z[4] e,t2 d b,t2 e b,t2 e d,t2 b d,t2 b e,Z+[4] b,t2 d b,t1 b,H b,H d,t2 d a,Z[4] d,Z+[4] a,t2 a d,t2 d a,t2 f a,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 f c,t2 c f,t2 d a,t2 f c,t1 h,H f,t2 g f,t2 f g,t2 f h,t1 h,Z[4] g,Z+[4] f,Z+[4] h,t2 f g,t2 h g,t2 h f,t2 g f,t2 g h,Z[4] g,t2 f g,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 a d,t2 c a,t1 d,Z+[4] a,Z[4] c,t2 a c,t2 a d,H a,H g,Z[2] g,H g,Z[2] g,H g,Z[2] g,t1 c,t1 g,Z g,Z h,Z f,t2 g c,t2 c g,t2 g c,t2 c f,t2 f c,t2 c f,t2 f b,t2 b f,t2 f b,t2 b h,t2 h b,t2 b h,t2 h a,t2 a h,t2 h a",
"H b,t2 d b,t2 b d,Z[4] d,Z+[4] b,Z+[4] e,Z[4] a,t2 b d,t1 a,H b,t2 b a,t2 b c,t2 g b,t2 b g,t2 c b,t2 a b,t1 a,t1 b,Z[4] c,Z+[4] g,Z+[4] a,Z[4] b,t2 g c,t2 a g,t2 a b,t2 g a,t2 c b,H a,t2 a d,Z[4] a,Z+[4] d,t2 d a,t2 a d,t2 d a,t2 a d,t1 g,H a,H f,t2 e a,t2 f a,t2 f g,t2 f e,t2 h e,t2 h b,t2 f b,t2 e b,t2 e h,t2 a b,t2 a h,t2 a f,t1 g,Z+[4] b,Z[4] a,Z+[4] f,Z[4] h,Z[4] e,Z+[4] g,t2 a b,t2 f b,t2 h b,t2 f a,t2 h f,t2 f e,t2 a e,t2 a g,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,t2 h d,H h,t2 b g,t2 g b,t2 c b,t2 h g,t2 h c,t2 h b,t1 c,t1 g,Z[4] h,Z+[4] b,Z+[4] c,Z[4] g,t2 b h,t2 c b,t2 c g,t2 b c,t2 h g,t2 h c,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,t1 b,H d,t2 d b,t2 f a,t2 d a,t2 f g,t2 d g,t2 d f,t2 a g,t2 b g,t1 b,t1 g,Z[4] f,Z+[4] a,Z+[4] b,Z[4] g,t2 d f,t2 d a,t2 d b,t2 d g,t2 b g,t2 a g,t2 f g,t2 f a,H e,t2 e c,Z[4] e,Z+[4] c,t2 c e,t2 e c,t2 c e,H g,t2 h g,t2 g h,Z[4] h,Z+[4] g,t2 g h,t2 e c,t1 d,H g,t2 g b,t2 b d,t1 d,Z[4] b,Z+[4] g,Z[4] d,t2 g b,t2 d b,t2 b d,Z+[4] b,t2 g b,H g,t2 g h,Z[4] g,Z+[4] h,t2 h g,t2 g h,t2 h g,t2 g h,H g,t2 e g,t2 c g,t2 c e,t2 g e,t2 g c,Z[4] c,Z+[4] g,t2 e c,t2 e g,t2 g c,t2 e g,H g,t2 f g,t2 a g,t2 a f,t2 g f,t2 g a,Z+[4] f,Z[4] a,Z+[4] g,t2 a f,t2 g f,t2 g a,t2 f a,t2 f g,Z[4] f,t2 a f,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t2 a c,t2 e c,H e,t2 e h,Z[4] e,Z+[4] h,t2 h e,t2 e h,t2 h e,t2 c a,t2 e h,t1 b,H e,t2 e b,t2 e d,t1 b,Z[4] e,Z+[4] d,Z[4] b,t2 d e,t2 b e,t2 d b,t2 e b,t2 e d,Z+[4] e,t2 d e,t2 b e,H b,t2 b h,Z[4] b,Z+[4] h,t2 h b,t2 a c,H h,t2 h a,t2 c a,t2 a c,Z[4] c,Z+[4] a,t2 h c,t2 h a,t2 a c,t2 h a,H a,t1 b,H g,t2 g b,t1 b,Z[4] g,Z[4] b,t2 b g,t2 g b,t2 b g,t2 g b,t1 g,H g,t2 e g,t2 g d,t2 g e,t1 d,Z[4] g,Z[4] e,Z[4] d,t2 e g,t2 d g,t2 g d,Z[4] g,t2 e g,t2 g d,t2 e g,t2 g e,t1 g,t1 b,H g,t2 g b,t1 b,Z[4] g,Z[4] b,t2 b g,t1 e,t1 c,t1 b,H b,t2 f c,t2 b c,t2 b f,t1 c,Z+[4] f,Z[4] b,Z+[4] c,t2 b f,t2 c f,t2 f c,Z[4] f,t2 b f,t1 g,H b,t2 b g,t1 g,Z[4] b,Z[4] g,t2 g b,t2 b g,t2 g b,t2 b g,t1 b,H b,t2 b e,t2 e d,t1 d,Z[4] b,Z[4] e,Z[4] d,t2 e b,t2 d b,t2 e d,t2 b d,t2 b e,Z[4] b,t2 d b,t1 g,H d,t2 d g,t1 g,Z[4] d,Z[4] g,t2 g d,t1 g,t1 f,H g,t2 g c,t2 g f,t1 f,Z+[4] g,Z[4] c,Z+[4] f,t2 c g,t2 f g,t2 f c,t2 g c,t2 g f,Z[4] g,t2 f g,t2 c g,t1 b,H f,H b,Z[2] b,Z e,Z d,H b,Z[2] b,H b,Z[2] b,t1 d,t2 b e,t2 e b,t2 b e,t2 e c,t2 c e,t2 e c,t2 c d,t2 d c,t2 c d,t2 d g,t2 g d,t2 d g,t2 g h,t2 h g,t2 g h,t2 h a,t2 a h,t2 h a",
"t1 e,H f,t2 f e,t2 f g,t2 e f,t1 e,t1 f,Z+[4] e,Z[4] f,Z+[2] b,Z+[4] b,Z+[4] g,t2 f e,t2 e g,t2 b g,t1 d,H h,t2 h d,t1 d,t1 g,Z[4] h,Z[4] d,t2 d h,t2 h d,t2 d h,t1 c,H g,t2 g c,t1 c,Z[4] g,Z[4] c,t2 c g,t2 g c,t2 c g,t2 g c,t1 g,H g,t2 g a,t2 a b,Z[4] a,Z+[4] g,Z+[4] b,t2 g a,t2 b a,t2 a b,Z[4] a,t2 g a,H g,t2 g c,t1 g,Z[4] c,Z[4] g,t2 g c,t2 h d,t1 g,H g,t2 g d,t1 d,Z[4] d,Z[4] g,t2 h g,t2 d g,t2 d h,t1 f,t1 h,H h,t2 h e,t2 h f,t1 f,Z+[4] h,Z[4] e,Z+[4] f,t2 e h,t2 f h,t2 f e,t2 h e,t2 h f,Z[4] h,t2 f h,t2 e h,H e,t2 g e,t2 e g,t1 e,Z[4] g,Z[4] e,t2 e g,t2 d e,t2 g e,t2 d e,t2 g d,t1 c,H g,t2 g c,t1 c,Z[4] g,Z[4] c,t2 c g,t2 g c,t2 c g,t2 g c,t1 g,H g,t2 g a,t2 g b,Z[4] g,Z+[4] b,Z+[4] a,t2 b g,t2 a g,t2 b a,t2 g a,t2 g b,Z[4] g,t2 b g,t2 a g,t1 c,H a,t2 a c,t1 c,Z[4] a,Z[4] c,t2 c a,t1 c,t1 d,H c,t2 c d,t1 d,Z[4] d,Z[4] c,t2 c e,t2 d c,t1 d,H d,H g,t2 c g,t2 g c,Z[4] c,Z+[4] g,t2 g c,t2 c g,t2 g c,t2 c g,H c,t2 c a,t2 a b,Z[4] c,Z+[4] a,Z[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z+[4] c,t2 a c,t2 c a,H a,t2 a g,Z[4] a,Z+[4] g,t2 g a,t2 a g,t2 g a,t2 a g,H a,t2 h a,t2 f h,t2 a f,t2 a h,Z+[4] h,Z[4] f,Z+[4] a,t2 f h,t2 a h,t2 a f,t2 h a,Z[4] h,H h,t2 h g,Z[4] h,Z+[4] g,t2 g h,t2 h g,t2 g h,t2 h g,H h,t2 b c,t2 h c,t2 h b,Z[4] h,Z+[4] b,Z[4] c,t2 b h,t2 c h,t2 c b,t2 h b,t2 h c,Z+[4] h,t2 b h,H b,t2 g b,t2 b g,Z[4] g,Z+[4] b,t2 b g,t2 g b,t2 b g,t2 g b,H g,t2 f g,t2 a g,t2 f h,t2 a h,t2 f a,t2 g a,t2 g f,t2 g h,Z[4] f,Z+[4] g,Z[4] h,t2 g f,t2 h f,t2 h g,t2 a g,t2 f h,t2 f g,Z+[4] f,t2 h f,t2 a f,H h,H a,Z[2] a,Z c,H a,Z[2] a,H a,Z[2] a,t1 c,t1 a,Z a,Z f,t2 f h,t2 h f,t2 f h,t2 h d,t2 d h,t2 h d,t2 d b,t2 b d,t2 d b,t2 g e,t2 e g,t2 g e",
"H c,t2 d c,t2 c d,Z[4] d,Z[4] a,Z+[4] e,Z+[4] c,t2 c d,t2 d c,Z[2] d,t2 d g,H c,H f,t2 c a,t2 g c,t2 f d,t2 g d,t2 f e,t2 f g,t2 c g,t2 c d,t2 a f,t2 a d,t1 c,t1 g,Z[4] c,Z+[4] g,Z+[4] a,Z+[4] d,Z[4] f,Z[4] e,t2 d c,t2 f c,t2 a g,t2 d g,t2 f a,t2 e a,t2 f d,t2 e f,t2 d f,t2 a f,t2 a e,H h,t2 h g,Z[4] h,Z+[4] g,t2 g h,t2 h g,t2 h c,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,t2 c d,t2 d c,t2 c d,H c,t2 c b,t2 f b,t2 b f,Z+[4] c,Z[4] b,Z[4] f,t2 b c,t2 f c,t2 b f,t2 c f,t2 c b,Z+[4] c,t2 f c,t2 b c,t1 c,H f,t2 f d,Z[4] f,Z+[4] d,t2 d f,t1 h,H d,t2 d h,t1 h,Z[4] d,Z[4] h,t2 h d,t2 d h,t2 g d,t2 h d,t2 h g,t2 g h,t2 d h,t2 d g,t1 g,t1 h,H h,t2 h a,t2 d g,t2 a e,t1 g,Z+[4] h,Z[4] a,Z+[4] e,t2 a h,t2 e h,t2 e a,t2 h a,t2 h e,Z[4] h,t2 a h,t2 d g,H h,H a,t2 a g,t1 g,Z[4] a,Z[4] g,t2 g a,t2 d g,t2 a g,t2 d a,t2 d g,t2 a g,H a,t2 a f,Z[4] a,Z+[4] f,t2 f a,t1 d,H f,t2 f b,t2 f c,t1 c,Z[4] f,Z[4] c,Z[4] b,t2 c f,t2 b f,t2 c b,t2 f b,t2 f c,Z[4] f,t2 c f,t2 b f,t2 c f,t2 f c,H b,t2 b a,Z[4] b,Z+[4] a,t2 a b,t2 b a,t2 a b,t2 b a,H b,t2 b d,t1 d,Z[4] b,Z[4] d,t2 d b,t2 b d,t2 d g,t2 b d,t1 d,H d,H a,t2 a c,t2 a b,t1 a,Z+[4] c,Z+[4] b,Z+[4] a,t2 b c,t2 a c,t2 a b,t2 b a,Z+[4] c,t2 f c,t2 b c,t2 a c,t2 b f,t2 a b,t2 b a,t2 c f,t1 b,H b,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,Z f,t1 b,Z b,t2 c b,t2 b c,t2 c b,t2 b f,t2 f b,t2 b f,t2 f h,t2 h f,t2 f h,t2 h d,t2 d h,t2 h d,t2 d a,t2 a d,t2 d a",
"H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 d b,H d,H f,t2 c d,t2 c f,t2 d f,t2 d c,Z+[4] f,Z+[4] d,Z[4] c,t2 d f,t2 c f,t2 f d,Z[4] f,Z[4] d,t2 d f,t2 c f,H c,t2 c a,t2 a b,Z[4] c,Z+[4] a,Z[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z+[4] c,t2 c a,H c,t2 f c,t2 c f,t2 c d,Z[4] c,Z+[4] d,t2 f c,t2 f d,t2 c d,H b,t2 e b,t2 a e,t2 e a,t2 b a,t2 b e,Z[4] a,Z+[4] b,Z+[4] e,t2 b a,t2 e a,t2 e b,t2 a b,t2 a e,Z[4] a,t2 e a,t2 b a,Z[2] a,Z[2] e,t2 e a,Z+[2] a,t2 e a,H b,t2 b f,t2 b d,Z[4] b,Z+[4] d,Z+[4] f,t2 d b,t2 f b,t2 d f,t2 b f,t2 b d,Z[4] b,t2 d b,t2 f b,H b,H f,t2 f a,t2 f e,Z[4] f,Z+[4] e,Z+[4] a,t2 e f,t2 a f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 a f,t2 e f,H e,t2 f e,t2 e f,t2 f e,t2 e a,t2 a e,t2 e a,t2 f b,t2 b f,t2 f b",
"H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,Z[4] e,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 d b,H d,H f,t2 c d,t2 c f,t2 d f,t2 d c,Z+[4] f,Z+[4] d,Z[4] c,t2 d f,t2 c f,t2 d e,t2 f e,t2 f d,Z[4] f,Z[4] d,Z+[4] e,t2 d f,t2 c f,t2 e d,t2 d e,H c,t2 c a,t2 a b,Z[4] c,Z+[4] a,Z[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z+[4] c,t2 c a,H c,t2 f c,t2 d f,t2 f d,t2 c d,t2 c f,t2 c e,Z[4] c,Z+[4] e,Z+[4] f,t2 e c,t2 f c,t2 f e,t2 d e,t2 c f,t2 c e,Z[4] c,t2 f c,t2 d c,H f,t2 a f,t2 f a,t2 a f,t2 f a,t2 a f,t2 f a,t2 e c,t2 c e,t2 e c",
"H a,Z[4] a,Z+[4] b,Z[4] d,t2 b a,t2 d b,t2 a b,t2 a d,Z[4] a,Z+[4] d,Z+[4] b,t2 d a,t2 b d,t2 a b,t2 a d,Z+[2] c,Z[2] d,H b,t1 b,H a,t2 c b,t2 a b,t2 a c,t1 b,Z[4] a,Z+[4] c,Z+[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z[4] a,t2 c a,t2 a c,t1 c,t1 e,H c,H f,t2 f c,t2 f e,t2 c e,t2 c f,t1 e,Z+[4] c,Z[4] f,Z[4] e,t2 f c,t2 c e,Z[4] c,Z+[4] e,t2 e c,t2 f c,t2 f e,t2 c e,t1 a,H f,t2 b a,t2 f a,t2 f b,t1 a,Z[4] f,Z+[4] b,Z+[4] a,t2 b f,t2 a f,t2 a b,t2 f b,t2 f a,Z[4] f,t2 b f,t2 f b,t1 b,H b,t2 e d,t2 e c,t2 d c,t2 d e,t2 b c,t2 b d,t2 b e,Z+[2] c,Z+[4] c,Z+[4] b,Z[4] e,Z+[4] d,t2 e c,t2 e b,t2 d e,t2 e d,t2 b d,t2 c b,t2 e b,t2 d b,Z[2] b,t2 e b,t2 b d,H f,t2 f b,t2 f d,t1 d,t1 b,Z[4] f,Z[4] d,Z+[4] b,t2 d f,t2 b f,t2 b d,t2 f d,t2 f b,Z+[4] f,t2 b f,t2 d f,t2 b f,H d,t1 a,H f,t2 f a,t2 d f,t2 f d,t1 a,Z[4] d,Z+[4] f,Z[4] a,t2 f d,t2 a d,t2 a f,t2 d f,t2 d a,Z+[4] d,t2 a d,t2 f d,t2 a d,Z[2] a,Z[2] d,t2 a d,H f,t2 f b,t2 b e,Z+[4] b,Z[4] e,Z+[4] f,t2 e b,t2 f b,t2 b e,Z[4] b,t2 f b,t1 d,H f,t2 f a,t2 f d,t1 d,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 d f,t2 a f,H a,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,H a,t2 d e,t2 a e,t2 a d,t2 d a,t2 e a,Z[4] d,Z+[4] e,Z[4] a,t2 e d,t2 a d,t2 a e,t2 d a,Z+[4] d,H d,t2 d f,Z[4] d,Z+[4] f,t2 f d,H f,t2 f c,t2 b f,t2 c b,t1 b,t1 c,Z[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 b f,t2 b c,Z+[4] b,t2 c b,t1 b,H b,t2 b d,Z[4] b,Z+[4] d,t2 d b,H d,t2 d e,t2 a e,t2 a d,t2 d a,Z[4] a,Z+[4] d,Z[4] e,t2 d a,t2 e a,t2 e d,t2 a d,t2 a e,Z+[4] a,t2 d a,H d,t2 d b,Z[4] d,Z+[4] b,t2 b d,H b,t2 f c,t2 b c,t2 c f,Z+[4] f,Z[4] c,Z[4] b,t2 c f,t2 b f,t2 f c,Z+[4] f,t2 b f,t2 c b,H f,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t2 e c,t2 c e,t2 e c,t2 c b,t2 b c,t2 c b",
"t2 a d,t2 a c,H e,t2 d c,t2 c d,t2 a b,Z[4] a,Z[4] e,Z+[4] b,Z+[4] c,Z+[4] d,t2 e a,t2 b a,t2 b e,t2 d c,t2 e c,t2 e d,t2 a c,t2 a d,t2 a b,Z+[4] a,Z+[4] b,Z[4] e,t2 e a,t2 e b,t2 b e,t2 a e,t2 a d,t2 a c,H e,H a,t2 d c,t2 c d,t2 a c,t2 a d,Z[4] a,Z+[4] d,Z[4] c,t2 d a,t2 c a,t2 d c,t2 a c,t2 a d,Z+[4] a,t2 d a,t2 c a,t2 d a,t2 c a,t2 c d,t2 a c,t2 a d,H a,H f,t2 f a,t2 f e,t2 d c,t2 a f,t2 a e,Z+[4] a,Z+[4] e,Z[4] f,t2 e a,t2 f a,t2 e c,t2 a c,t2 a e,Z[4] a,Z[4] e,Z[4] c,t2 e a,t2 f a,t2 c e,t2 e c,t2 e d,t2 d e,H f,t2 e d,t2 f d,t2 f e,Z[4] f,Z+[4] e,Z[4] d,t2 e f,t2 d f,t2 e d,t2 f d,t2 f e,Z+[4] f,t2 d f,t2 f d,t2 f e,H d,t2 d a,t2 d f,t2 d e,t2 f e,t2 c f,t2 a c,Z[4] d,Z[4] a,Z+[4] c,Z+[4] f,t2 a d,t2 c d,t2 c a,t2 b a,t2 b f,t2 e f,t2 f e,t2 f b,t2 a f,t2 a e,t2 d c,t2 d a,Z[4] d,Z+[4] a,Z[2] e,Z[4] e,Z[4] f,Z+[4] b,t2 e d,t2 f d,t2 b d,t2 e a,t2 f e,t2 b f,t2 f b,t2 e b,t2 d b,t2 d a,H c,t2 c a,t2 c b,Z[4] c,Z+[4] a,Z+[4] b,t2 a c,t2 b c,t2 a b,t2 c b,t2 c a,Z[4] c,t2 a c,t2 b c,t2 e d,t2 d e,H b,t2 a e,t2 a d,H d,t2 d a,t2 d e,Z[4] d,Z+[4] e,Z+[4] a,t2 e d,t2 a d,t2 e a,t2 d a,t2 d e,Z[4] d,t2 e d,t2 a d,H a,t1 b,H e,t2 e b,t2 e c,t1 b,Z[4] e,Z+[4] c,Z[4] b,t2 c e,t2 b e,t2 c b,t2 e b,t2 e c,Z+[4] e,t2 c e,t2 e b,H e,t2 e a,t2 f a,t2 f e,t2 a f,Z+[4] e,Z[4] a,Z+[4] f,t2 a e,t2 f e,t2 f a,t2 e f,Z[4] e,t1 c,H e,t2 b e,t2 b c,t2 e b,t2 e c,t1 c,Z[4] b,Z+[4] e,Z[4] c,t2 e b,t2 c b,t2 e c,t2 b c,t2 b e,Z+[4] b,t2 e b,t2 c b,t2 b c,H c,t2 c f,t2 a c,t2 d a,t2 a d,t2 c a,t2 f d,Z[4] f,Z+[4] d,Z[4] c,Z+[4] a,t2 d f,t2 c f,t2 a f,t2 c d,t2 a c,t2 f a,t2 f c,H c,H d,t2 d f,t2 a d,t2 d a,Z[4] a,Z+[4] f,Z+[4] d,t2 f a,t2 d a,t2 f d,t2 a d,t2 a f,Z[4] a,t2 f a,t2 d a,H d,Z[2] b,t2 f b,t2 b f,t2 f b,t2 b f,t2 f b,t2 b f,t2 f c,t2 c f,t2 f c,t2 c a,t2 a c,t2 c a",
"H d,Z[4] a,Z[4] b,Z[4] d,t2 b a,t2 c d,Z+[4] d,Z+[4] a,Z[4] c,t2 b a,H d,t2 d a,t2 b d,t2 a b,Z[4] a,Z+[4] b,Z[4] d,t2 b a,t2 d a,t2 d b,t2 a d,Z+[4] a,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t2 a c,t2 c a,t2 a c,H a,H f,t2 a f,t2 a e,Z+[4] f,Z+[4] e,Z[4] a,t2 e f,t2 a f,t2 d e,t2 c d,t2 d c,t2 b c,t2 e d,t2 e b,t2 e c,t2 f d,t2 f b,t2 f c,t2 f e,Z[4] f,Z+[4] e,Z+[4] c,Z[4] b,Z+[4] d,t2 e f,t2 c f,t2 b f,t2 a f,t2 c e,t2 b e,t2 d e,t2 b c,t2 d b,t2 c b,t2 e d,t2 e b,H a,t2 a e,Z[4] a,Z+[4] e,t2 e a,t2 a e,t2 e a,t2 a e,H a,t2 a c,t2 c b,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z+[4] a,t2 c a,H c,t2 c e,Z[4] c,Z+[4] e,t2 e c,H e,t2 e c,t2 e f,t2 f d,Z[4] f,Z+[4] d,Z+[4] c,t2 d f,t2 c f,t2 c d,t2 e d,t2 f c,t2 f d,Z[4] f,t2 c f,t2 e f,Z[2] c,H c,t2 a c,t2 c a,t2 a c,t2 c f,t2 f c,t2 c f,t2 f a,t2 a f,t2 f a,t2 e d,t2 d e,t2 e d",
"H e,t2 d b,t2 b d,Z[4] d,Z[4] e,Z+[4] b,t2 e d,t2 b d,t2 b e,t2 d b,Z+[4] d,Z+[4] b,Z[4] e,t2 e d,t2 e b,t2 b e,t2 d e,H e,Z[2] b,Z a,t1 b,H c,t2 c b,t1 b,Z[4] c,Z[4] b,Z+[4] e,t2 b c,t2 c b,t2 b c,t2 c b,t1 a,t1 c,H c,t2 c a,t2 d c,t2 c d,t1 a,Z[4] c,Z+[4] d,Z+[4] a,t2 d c,t2 a c,t2 c a,Z[4] c,t2 a c,t2 d c,t1 b,H d,t2 d b,t1 b,Z[4] d,Z[4] b,t2 b d,t2 d b,t2 b d,t2 d b,t1 d,H d,H f,t2 f e,t2 e f,t2 d f,t2 d e,Z+[4] e,Z[4] f,Z+[4] d,t2 f e,t2 d f,t2 e f,t2 e d,Z[4] e,Z[4] d,Z+[4] f,t2 f e,t2 f d,t2 e f,t2 e d,t2 d e,t2 e d,t1 b,H e,t2 e b,t1 b,Z[4] e,Z[4] b,t2 b e,t2 e b,t2 b e,t2 e b,t1 e,t1 c,H e,t2 e a,t2 a c,t1 c,Z[4] e,Z+[4] a,Z+[4] c,t2 a e,t2 c e,t2 c a,t2 e a,t2 e c,Z[4] e,t2 a e,t1 b,H a,t2 a b,t1 b,Z[4] a,Z[4] b,t2 b a,t2 a b,t2 b a,t2 a b,t1 a,H a,t2 a d,t2 a f,t1 a,t1 f,Z[4] a,Z+[4] f,Z[4] d,t2 f a,t2 d a,t2 a f,Z+[4] a,t2 d a,t2 f d,H c,t2 c e,t2 d f,t2 c d,t1 c,Z[4] d,Z+[4] e,Z[4] c,t2 e d,t2 c d,t2 f c,t2 e c,t2 d c,t2 d e,Z+[4] d,t2 e d,t2 f d,t2 f e,t2 e f,t2 d c,t1 e,H d,t2 d a,t2 f e,t2 f d,t2 a f,Z+[4] a,Z[4] f,Z+[4] d,t2 f a,t2 d a,t2 d f,t2 a d,Z[4] a,t2 d e,H a,t2 a d,t2 c a,t2 a c,t1 d,Z[4] c,Z+[4] a,Z[4] d,t2 a c,t2 d c,t2 a d,t2 c d,t2 c a,Z+[4] c,t2 a c,t2 d c,t2 a e,t2 c d,H d,t2 d a,t2 d e,t2 a d,t2 a f,t1 d,Z[2] a,Z+[2] f,t2 e a,t2 e f,t2 a d,t2 a f,H f,H a,t2 e b,Z+[2] e,Z+[4] e,Z[4] a,Z+[4] b,t2 a e,t2 b e,t2 b a,t2 e b,Z+[4] e,Z+[4] b,Z[4] a,t2 a e,t2 a b,t2 b a,t2 e a,H a,t1 c,t1 e,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,t2 c d,t2 d c,t2 c d,t2 d b,t2 b d,t2 d b,t2 b e,t2 e b,t2 b e,t2 e a,t2 a e,t2 e a",
"H c,t2 b c,Z[4] a,Z[2] b,Z[4] b,Z+[4] c,t2 b a,t2 c a,t2 c b,t2 a c,Z+[4] a,Z[4] b,Z+[4] c,t2 b a,t2 c a,t2 c b,t2 b c,Z[4] b,t2 a b,t2 c b,H c,H b,t2 d c,t2 b c,t2 b d,Z[4] b,Z+[4] d,Z[4] c,t2 d b,t2 c b,t2 c d,t2 b d,t2 b c,Z+[4] b,t2 d b,t2 b d,H d,H f,t2 e d,t2 e f,t2 d f,t2 d e,Z+[4] f,Z+[4] d,Z[4] e,t2 d f,t2 e f,t2 d a,t2 f a,t2 f d,Z[4] f,Z[4] d,Z+[4] a,t2 d f,t2 e f,t2 a d,t2 d a,H e,t2 c b,t2 e b,t2 e c,Z[4] e,Z+[4] c,Z[4] b,t2 c e,t2 b e,t2 b c,t2 e c,t2 e b,Z+[4] e,t2 c e,t2 e c,H c,t2 f a,t2 c a,t2 d f,t2 c d,t2 f d,t2 a f,Z[4] c,Z[4] d,Z+[4] a,Z[4] f,t2 d c,t2 a c,t2 f c,t2 a d,t2 f a,t2 d f,t2 c f,t2 c a,t2 f c,Z+[2] c,t2 f c,H d,H e,t2 f e,t2 c f,t2 f c,t2 e f,t2 e c,Z[4] c,Z+[4] f,Z+[4] e,t2 f c,t2 e c,t2 f e,t2 c e,t2 c f,Z[4] c,t2 f c,t2 e c,H e,t2 f b,t2 b f,t2 f b,t2 b c,t2 c b,t2 b c,t2 c e,t2 e c,t2 c e,t2 e a,t2 a e,t2 e a,t2 f d,t2 d f,t2 f d",
"H d,t2 c b,t2 d c,Z[4] d,Z+[4] c,Z+[4] b,t2 c d,t2 b d,t2 b c,t2 d c,t2 d b,t2 b c,H c,t2 d c,Z[4] c,Z[4] d,Z[4] b,t2 d c,t2 a d,t2 c d,t2 c a,Z+[4] c,Z+[4] a,Z[4] d,t2 a c,t2 d a,t2 a d,t2 c d,H d,t2 d b,Z[4] d,Z+[4] b,t2 b d,t1 c,H b,H f,t2 d a,t2 f a,t2 e b,t2 f e,t2 e f,t2 b f,t2 b e,Z+[4] e,Z+[4] b,Z[4] f,Z[4] a,t2 b e,t2 f e,t2 d a,t2 b d,t2 e d,t2 e b,Z[4] e,Z[4] b,Z+[4] d,Z+[4] a,t2 b e,t2 f e,t2 a b,t2 a d,t2 b a,t2 b d,H f,t2 f d,Z[4] f,Z+[4] d,t2 d f,H d,t2 b c,t2 d c,t2 d b,t1 c,Z[4] d,Z+[4] b,Z+[4] c,t2 b d,t2 c d,t2 c b,t2 d b,t2 d c,Z[4] d,t2 b d,H b,t2 b f,Z[4] b,Z+[4] f,t2 f b,H f,t2 e a,t2 f a,t2 f e,Z+[4] f,Z[4] e,Z+[4] a,t2 e f,t2 a f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 e f,t1 b,H c,t2 c d,t2 c b,t1 b,Z[4] c,Z+[4] d,Z[4] b,t2 d c,t2 b c,t2 d b,t2 c b,t2 c d,Z+[4] c,t2 d c,t2 b c,t2 c b,H b,t2 e b,t2 f b,t2 b e,t2 b f,Z+[4] e,Z[4] b,Z+[4] f,t2 b e,t2 f e,t2 f b,t2 e f,Z[4] e,t1 d,H e,t2 e c,t2 e d,t1 d,Z[4] e,Z+[4] c,Z[4] d,t2 c e,t2 d e,t2 c d,t2 e d,t2 e c,Z+[4] e,t2 c e,t2 d e,t2 e d,H d,t2 f d,t2 d f,t2 d b,Z+[4] f,Z[4] d,Z+[4] b,t2 d f,t2 b f,t2 b d,t2 f d,t2 f b,Z[4] f,t2 d f,H f,t2 e a,t2 a e,t2 e a,t2 d b,t2 b d,t2 d b",
"H f,t2 d c,t2 f d,t2 b f,Z+[2] a,Z+[4] a,Z+[2] b,Z+[4] b,Z+[4] d,Z+[4] c,Z+[4] f,t2 b a,t2 f a,t2 c d,t2 f d,t2 d c,t2 b c,t2 b d,t2 a b,t2 a f,Z+[4] a,Z+[4] f,Z[4] b,Z[4] d,Z[4] c,t2 f a,t2 b a,t2 f b,t2 a f,Z[2] b,H e,t2 c b,t2 d c,t2 e c,t2 e d,t2 c d,t2 b d,t1 b,t1 c,t1 d,Z[4] e,Z+[4] b,Z[4] c,Z+[4] d,t2 b e,t2 c e,t2 d e,t2 d b,t2 b c,t2 e c,t2 e d,t2 b e,t2 c e,t2 e c,t1 e,H e,t2 e a,t2 f e,t2 a f,Z[4] a,Z+[4] f,Z[4] e,t2 f a,t2 e a,t2 e f,t2 a e,Z+[4] a,t1 c,H a,t2 a c,t1 c,Z[4] a,Z[4] c,t2 c a,t2 a c,t2 c a,t2 a c,t1 a,H a,t2 d b,t2 a b,t2 a d,Z+[4] d,Z[4] a,Z[4] b,t2 a d,t2 b d,t2 d b,Z+[4] d,t2 a d,t1 c,H a,t2 a c,t1 c,Z[4] a,Z[4] c,t2 c a,t1 c,t1 a,H c,t2 f e,t2 e f,t2 c e,t2 c f,Z[4] c,Z+[4] f,Z[4] e,t2 f c,t2 e c,t2 e f,t2 c f,t2 c e,Z+[4] c,t2 f c,H f,t2 f a,t1 a,Z[4] f,Z[4] a,t2 a f,t1 a,H a,t2 a b,t2 a d,Z+[4] a,Z[4] b,Z[4] d,t2 b a,t2 d a,t2 d b,t2 a b,t2 a d,Z+[4] a,t2 d a,t2 b a,H d,t1 c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,t2 c f,t2 f c,t2 c f,t2 f d,t2 d f,t2 f d,t2 d a,t2 a d,t2 d a,t2 b e,t2 e b",
"H a,t2 g a,t2 c b,t2 g b,t2 g c,t2 c g,t2 b g,t2 a g,t2 a b,t2 a c,Z[4] a,Z+[4] c,Z[4] b,Z+[4] g,Z[4] e,t2 c a,t2 b a,t2 g a,t2 b c,t2 g c,t2 g b,t2 c g,t2 g c,H c,H f,t2 f a,t2 c a,t2 c d,t2 f e,t2 d f,Z+[4] a,Z[4] f,Z+[4] d,Z[4] c,Z[4] e,t2 f a,t2 d a,t2 c a,t2 d f,t2 e f,t2 c d,t2 f e,H c,t2 c b,t2 a c,t2 c a,t2 g c,t2 b g,Z[4] a,Z+[4] b,Z[4] g,Z+[4] c,t2 b a,t2 g b,t2 g c,t2 b g,t2 a c,t2 a g,t2 g b,t2 b g,H b,t2 b d,t2 d e,Z[4] d,Z+[4] e,t2 b d,t2 b e,t2 d e,H g,t2 f g,t2 a f,t2 c a,t2 a c,t2 f c,t2 g c,t2 g f,t2 g a,Z[4] c,Z+[4] f,Z+[4] g,Z[4] a,t2 f c,t2 g f,t2 g a,t2 f g,t2 c a,t2 c g,Z[2] c,Z+[2] f,t2 f c,t2 c f,H g,t2 g b,t2 e a,t2 g e,t2 b a,Z[4] g,Z+[4] e,Z+[4] b,Z[4] a,t2 e g,t2 b e,t2 b a,t2 e b,t2 g a,t2 g b,t2 g e,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H a,t2 f a,t2 a f,Z[4] f,Z+[4] a,t2 a f,t2 h d,t1 e,H a,t2 a b,t2 a e,t1 e,Z[4] b,Z+[4] a,Z+[4] e,t2 a b,t2 e b,t2 b e,Z[4] b,t2 e b,t2 a b,H a,t2 a f,Z[4] a,Z+[4] f,t2 f a,t2 a f,t2 f a,t2 a f,H a,t2 a h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 a d,t2 a h,t2 h d,t2 a h,H h,t2 g c,t2 h c,t2 c g,Z+[4] h,Z[4] g,Z+[4] c,t2 g h,t2 c h,t2 c g,t2 h g,t2 h c,Z[4] h,t2 g h,H h,H g,t2 g d,Z[4] g,Z+[4] d,t2 d g,t2 g d,t2 d a,t2 a d,H d,t2 f d,t2 d f,Z[4] f,Z+[4] d,t2 d f,t2 g a,t1 b,H d,t2 e b,t2 d b,t2 d e,t1 b,Z[4] d,Z+[4] e,Z+[4] b,t2 e d,t2 b d,t2 b e,t2 d e,t2 d b,Z[4] d,t2 e d,H e,t2 e f,Z[4] e,Z+[4] f,t2 f e,t2 e f,t2 f e,t2 e f,H e,t2 g e,t2 a e,t2 g a,t2 e a,t2 e g,Z[4] g,Z+[4] e,t2 e g,H e,H b,t2 b c,t2 b f,Z[4] b,Z+[4] f,Z+[4] c,t2 f b,t2 c b,t2 f c,t2 b c,t2 b f,Z[4] b,t2 f b,t2 c b,H c,H d,Z[2] d,H d,Z[2] d,H d,Z[2] d,t2 c b,t2 b c,t2 c b,t2 d g,t2 g d,t2 d g,t2 g a,t2 a g,t2 g a,t2 f h,t2 h f,t2 f h,t2 h e,t2 e h,t2 h e",
"t2 c e,t2 b e,H c,t2 e b,t2 h c,t2 e d,t2 h e,t2 h g,t2 e h,t2 e g,t2 d g,t2 c e,Z[4] g,Z[2] h,Z[4] h,Z[4] c,Z+[4] e,Z+[4] d,Z[4] a,t2 h g,t2 d g,t2 e h,t2 d h,t2 d c,t2 d e,t2 h c,t2 h d,Z+[4] e,Z[4] h,t2 h e,t2 b e,t2 b h,t2 d h,t2 e h,t2 b e,t2 h e,t2 h b,t2 e h,t2 e b,H d,t2 a b,t2 a e,t1 e,H f,t2 d a,t2 d e,t2 h e,t2 d c,t2 f c,t2 f b,t2 h b,t2 f g,t2 b h,t2 d h,t2 d b,t2 d f,t2 a e,t2 a h,t2 a f,Z[4] d,Z[4] g,Z+[4] c,Z+[4] a,Z+[4] f,Z[4] b,Z+[4] h,t2 a d,t2 f g,t2 a c,t2 f c,t2 h b,t2 b h,t2 f h,t2 a h,t2 a b,t2 d g,t2 d f,t2 d a,t2 d h,t2 b d,t2 h d,t2 e d,t2 h b,t2 e h,t2 a h,t2 a e,t2 f a,t2 a f,t2 h f,t2 h e,t2 h a,t2 b f,t2 d e,t1 d,t1 f,H g,t2 g d,t2 h g,t2 e g,t2 b f,t2 a f,t2 h e,t2 h a,t2 g e,t2 d g,t1 d,t1 f,Z[4] e,Z[4] d,t2 d e,t2 e d,t2 d e,t2 d f,t2 a f,t2 g f,t2 g a,t2 h a,t2 h g,t2 b f,t2 e f,t2 e d,H c,t2 g h,t2 b f,t2 a f,t2 g f,t2 g a,t2 h f,t2 e f,t2 c g,t1 f,Z[4] c,Z+[4] g,t2 g c,t2 h c,t2 h g,t2 c g,t2 g h,t2 g a,t2 d f,t2 a f,t2 h f,t2 h g,t2 h a,t2 c f,t2 c g,t2 c d,t2 c a,t2 c h,t2 b f,H h,t2 a g,t2 c d,t2 a c,t2 b a,t2 e a,t2 e f,t2 b f,t2 a f,t2 h f,t2 h b,t2 c f,t1 f,t1 h,Z+[4] b,Z+[4] f,Z[4] h,t2 f b,t2 h b,t2 f h,t2 b h,t2 b f,Z[4] b,t2 h b,t2 b e,t2 d e,t2 b f,t2 c b,t2 g b,t2 g c,t2 d a,t2 g a,t2 c d,t2 b a,t2 b d,t2 b c,t2 b g,t2 f a,t2 e a,t2 e d,t1 d,t1 a,H h,t2 h b,t2 g a,t2 f a,t2 h g,t2 h c,t2 e d,t2 e a,t2 b g,t2 b c,t1 a,Z[4] h,Z+[4] b,t2 b h,t2 h b,t2 h e,t2 d e,t2 d a,t2 g a,t2 h a,t2 h b,t2 h c,t2 h g,t2 f a,t2 e a,t1 c,H b,t2 e d,t2 e a,t2 g e,t2 f e,t2 h g,t2 h c,t2 b a,t2 b d,t1 b,Z[4] b,Z[4] d,t2 a b,t2 a d,t2 a b,t2 a e,t2 a d,t2 g e,t2 c d,t2 h d,t2 h c,t2 h g,t2 f e,t2 b e,t2 b d,t1 b,H b,t2 c g,t2 e c,t2 e d,t2 c d,t2 g d,t2 g c,t2 f c,t2 h g,t2 b e,t2 b d,Z+[4] b,Z[4] d,Z[4] e,t2 d b,t2 e b,t2 e d,t2 g e,t2 b d,t2 b e,Z+[4] b,t2 f b,t2 d b,t2 f b,t2 g b,t2 c b,t2 e f,t2 h f,t2 c g,t2 g c,t2 e c,t2 e g,t2 e h,t2 f g,t2 b g,t2 b f,H d,t2 c g,t2 g c,t2 h c,t2 d c,t2 f g,t2 f h,t2 e h,t2 b f,t1 c,t1 g,Z[4] d,Z[4] c,t2 c d,t2 e c,t2 d c,t2 e f,t2 a e,t2 c e,t2 c a,t2 a c,t2 h g,t2 e a,t2 d g,t2 d a,t2 d e,t2 d h,t2 b f,t1 f,H c,t2 d c,t2 h g,t2 d h,t2 d e,t2 c d,t2 b f,t1 f,t1 e,Z[4] d,Z+[4] c,t2 c d,t2 d c,t2 d f,t2 h f,t2 c d,t2 c e,t2 c h,t2 h g,t2 h a,t2 d g,t2 d e,t2 d a,t2 d h,t2 d c,t2 f a,t2 f h,t2 b a,t2 b h,t2 b f,t1 b,t1 a,t1 e,H d,t2 d b,t2 h a,t2 f g,t2 d h,t2 c f,t2 c e,t1 h,t1 b,t1 e,t1 g,Z[4] d,Z[4] h,Z+[4] b,t2 h d,t2 b d,t2 h b,t2 d b,t2 d h,Z+[4] d,t2 c d,t2 b d,t2 d h,t2 c h,t2 f h,t2 c d,t2 f d,t2 f g,t2 c g,t2 c e,t2 c f,t2 h a,t2 h f,t1 a,H b,t2 b c,t2 b f,t2 e b,t2 g e,t2 e g,t2 b e,t2 b g,t2 f e,t2 c f,t2 c b,t2 h a,t2 h e,t2 h f,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 c b,t2 c f,t2 f e,t2 b a,t2 g e,t2 g a,t2 g b,t2 g c,t2 g f,t1 f,H g,t2 b f,t2 b c,t2 a b,t2 e a,t2 a e,t2 b e,t2 b a,t2 f a,t2 f c,t2 g e,t2 g b,t1 g,t1 a,Z+[4] b,Z+[4] g,t2 g b,t2 f g,t2 e g,t2 g h,t2 f g,t2 b g,t2 e g,t2 b f,t2 e f,t2 b c,t2 b a,t2 c a,t2 f a,t2 f c,t2 g a,t2 g c,t2 g f,t2 h c,t1 d,H g,H c,t2 f d,t2 c d,t2 a f,t2 c a,t2 f a,t1 d,Z[4] c,Z+[4] a,Z+[4] d,t2 a c,t2 d c,t2 d a,t2 c a,t2 c d,Z[4] c,t2 d f,t2 c a,t1 b,t1 c,H c,t2 c b,t2 f b,t2 f d,t2 f c,t2 c f,t1 b,Z+[4] c,Z[4] f,Z+[4] b,t2 f c,t2 b c,t2 d b,t2 c b,Z[4] c,t2 f c,t1 h,H f,t2 f b,t2 b a,t1 b,Z[4] f,Z+[4] a,Z+[4] b,t2 a f,t2 b f,t2 b a,t2 f a,t2 f b,Z[4] f,t2 d b,t2 b d,t2 f a,t1 f,H f,t2 f b,t2 a h,t2 c a,t2 c d,t2 a c,t2 a d,t2 f c,t2 f d,t2 f a,t2 b d,t2 b h,t1 f,Z+[4] c,Z[4] b,Z+[4] h,Z[4] f,Z[4] a,t2 b c,t2 a c,t2 f b,t2 a b,t2 f h,t2 a h,t2 a f,t2 f a,t2 b a,t2 b f,t2 c a,t2 c f,t2 c b,t2 c h,Z+[4] c,t2 f c,t2 a c,t2 b h,t2 a h,t2 a b,t2 d c,t2 a f,t2 c d,t2 b f,t2 h b,t1 b,H c,t2 c h,t2 f b,t2 c b,t2 b f,t2 h b,t1 f,t1 b,Z[4] c,Z+[4] h,Z[4] f,t2 h c,t2 f c,t2 f h,t2 c h,t2 c f,Z+[4] c,t2 h c,t2 c b,t2 f c,H h,t2 b h,t2 c f,t2 c b,t2 f c,t2 h b,t2 h c,t2 h d,t1 h,t1 d,t1 c,t1 f,Z+[4] h,Z[4] d,Z[4] c,t2 d h,t2 c h,t2 b c,t2 h d,Z+[4] h,t2 c h,t2 b h,t2 c d,t2 b d,t2 c f,t2 b c,t2 d c,t1 d,H h,t2 c d,Z[2] c,t2 a f,t2 f a,t2 c d,H f,Z[2] f,H f,Z[2] f,H f,Z[2] f,t1 d,H f,Z[2] f,H f,Z[2] f,H f,Z[2] f,t1 a,Z a,t1 b,Z b,t2 f h,t2 h f,t2 f h,t2 h g,t2 g h,t2 h g,t2 g e,t2 e g,t2 g e,t2 e d,t2 d e,t2 e d,t2 d c,t2 c d,t2 d c,t2 c b,t2 b c,t2 c b,t2 b a,t2 a b,t2 b a",
"H b,t2 c b,t2 g b,t2 c g,t2 b g,Z[4] g,Z+[4] e,Z+[4] c,Z+[4] b,t2 c b,t2 g b,t2 g a,t2 c b,t2 a g,H a,H f,t2 c a,t2 f a,t2 d c,t2 f b,t2 f d,t2 f e,t2 c d,t2 c f,t2 a d,t2 a f,t2 a c,Z+[4] a,Z[4] c,Z+[4] f,Z[4] d,Z[4] e,Z[4] b,t2 c a,t2 f a,t2 d a,t2 f c,t2 e c,t2 d f,t2 e b,t2 c b,t2 c e,t1 b,H d,t2 d b,t2 g b,t2 d g,t2 d a,t1 b,Z[4] d,Z+[4] g,Z[4] a,Z[4] b,t2 g d,t2 a g,t2 a b,t2 g a,t2 d b,t2 d a,t2 d g,t2 d a,H a,t2 a f,t2 e a,t2 b e,t2 e g,t2 e b,t2 a g,t2 a e,t2 f b,t1 e,Z[4] f,Z+[4] b,Z+[4] e,Z+[4] a,t2 g f,t2 g b,t2 g e,t2 g a,t2 e a,t2 b a,t2 f a,t2 f b,H h,t2 h f,Z[4] h,Z+[4] f,t2 f h,t1 a,H a,t2 e a,t2 a e,Z[4] e,Z+[4] a,t2 a e,t2 e a,t2 a e,t2 e a,H e,t2 e d,t2 e g,t2 g e,t2 d e,Z+[4] d,Z[4] e,Z[4] g,t2 e d,t2 g d,t2 g e,t2 d g,Z+[4] d,t2 d e,t2 d g,t2 g d,t2 e g,t1 g,H e,t2 a e,t2 e a,Z[4] a,Z+[4] e,t2 e a,H e,t2 e h,t2 f h,t2 f e,t2 e f,Z[4] e,Z+[4] h,t2 h e,H h,t2 h c,t2 c b,Z+[4] h,Z[4] c,Z+[4] b,t2 c h,t2 b h,t2 b c,t2 h c,t2 h b,Z[4] h,t2 c h,H c,t2 e c,t2 c e,Z[4] e,Z+[4] c,t2 c e,t2 e c,t2 c f,t2 f c,H c,t2 c a,Z[4] c,Z+[4] a,t2 a c,t2 e f,t1 d,H a,t2 a d,t2 a g,t1 d,Z[4] g,Z[4] d,Z[4] a,t2 d g,t2 a g,t2 a d,t2 g d,t2 g a,Z[4] g,t2 a g,t2 d g,t2 a g,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t1 g,H c,t2 f c,t2 c f,t2 c e,Z[4] c,Z+[4] e,t2 e c,H e,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,H d,t2 a d,t2 a g,t2 g a,t2 d g,t2 d a,t1 a,t1 g,Z[4] d,Z[4] a,Z[4] g,t2 a d,t2 g d,t2 g a,t2 d g,Z[4] d,t2 a g,t2 a d,t2 g a,t2 g d,t1 d,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,H c,t2 b c,t2 h c,t2 c h,t2 c b,Z+[4] c,Z[4] h,Z[4] b,t2 h c,t2 b c,t2 c b,t2 c h,Z+[4] c,t2 c h,t2 h c,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t1 g,H d,t2 d g,t2 d a,t1 a,t1 g,Z[4] d,Z[4] a,Z[4] g,t2 a d,t2 g d,t2 a g,t2 d g,t2 d a,Z[4] d,t2 g d,t2 d a,t2 a d,t1 d,H g,t2 g h,t2 a d,t1 d,Z[4] g,Z+[4] h,t2 h g,t2 a d,t1 d,H h,t2 h b,t2 c h,t2 h c,t2 a d,t1 d,Z+[4] c,Z[4] b,Z[4] h,t2 b c,t2 h c,t2 h b,t2 c b,t2 c h,Z+[4] c,t2 h c,t2 b c,t2 a d,H h,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t1 c,t1 a,Z a,t2 b d,t2 d b,t2 g f,t2 f g,t2 g f,t2 f h,t2 h f,t2 f h,t2 h e,t2 e h,t2 h e,t2 e c,t2 c e,t2 e c",
"H f,t2 f b,t2 f e,t2 f h,t2 e f,t2 d g,t2 c g,Z[4] h,Z+[4] f,Z[4] c,Z[4] d,Z+[4] g,Z[4] e,Z+[4] b,Z+[4] a,t2 f h,t2 e h,t2 d f,t2 g f,t2 e f,t2 g c,t2 a c,t2 g d,t2 a d,t2 a e,t2 a b,t2 d a,t2 d e,t2 f g,t2 f a,t2 f e,t2 f d,t2 f c,Z+[4] g,Z+[4] f,Z[4] c,Z[4] d,Z+[4] b,t2 c g,t2 d g,t2 a g,t2 a f,t2 d c,t2 a d,t2 a b,t2 d b,t2 g f,t2 g c,H h,t2 h c,Z[4] h,Z+[4] c,t2 c h,t2 d f,t1 f,H f,t2 f g,Z[4] f,Z+[4] g,t2 g f,t2 f g,t2 g f,t2 f g,H f,t2 f b,t2 f d,Z[4] b,Z+[4] f,Z[4] d,t2 f b,t2 d b,t2 b d,Z+[4] b,t2 d b,t2 f b,H f,t2 f g,Z[4] f,Z+[4] g,t2 g f,t2 f g,t2 g f,t2 f g,H f,t2 f h,t2 c h,t2 c f,t2 f c,Z[4] f,Z+[4] h,t2 h f,H h,t2 e a,t2 h a,t2 h e,Z+[4] h,Z[4] e,Z+[4] a,t2 e h,t2 a h,t2 a e,t2 h e,t2 h a,Z[4] h,t2 e h,H e,t2 e f,Z[4] e,Z+[4] f,t2 f e,t2 e f,t2 c f,H c,t2 g c,t2 c g,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 g c,H g,t2 g b,t2 d b,t2 d g,t2 g d,Z[4] d,Z+[4] g,Z[4] b,t2 g d,t2 b d,t2 b g,t2 d g,t2 d b,Z+[4] d,t2 g d,H g,t2 c g,t2 g c,Z[4] c,Z+[4] g,t2 g c,t2 e f,H g,t2 f e,t2 g e,t2 g f,Z[4] f,Z+[4] e,t2 e f,t1 d,H e,H h,Z[2] b,H d,Z[2] d,H d,Z[2] d,H d,Z[2] d,t2 h g,t2 g h,t2 h g,t2 d f,t2 f d,t2 d f,t2 f g,t2 g f,t2 f g,t2 g h,t2 h g,t2 g h,t2 h e,t2 e h,t2 h e,t2 e a,t2 a e,t2 e a",
"H f,t2 d c,t2 f d,t2 b f,Z[4] a,Z[4] b,Z+[4] d,Z+[4] c,Z+[4] f,t2 b a,t2 f a,t2 c d,t2 f d,t2 d c,t2 b c,t2 b d,t2 a b,t2 a f,Z+[4] a,Z+[4] f,Z[4] b,Z[4] d,Z[4] c,t2 f a,t2 b a,t2 b f,t2 d f,t2 c f,t2 d b,t2 c b,t2 c d,t2 f d,t2 f b,t2 f c,t2 a b,Z+[4] c,Z[4] f,t2 d c,t2 d f,t2 c f,Z[2] d,H d,t2 f d,t2 d f,t2 f d",
"H b,t2 b a,t2 d b,t2 b d,Z[4] d,Z+[4] b,Z+[4] a,Z[4] e,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z[4] d,t2 a d,t2 b d,Z[2] d,Z[2] a,t2 a d,Z+[2] d,t2 a d,H b,H f,t2 e b,t2 b e,Z[4] e,Z[4] f,Z+[4] b,t2 f e,t2 b f,t2 e b,Z+[4] e,Z+[4] b,Z[4] f,t2 f e,t2 f b,t2 b f,t2 e f,H b,t2 b a,t2 c b,t2 b c,t2 a d,Z+[4] a,Z[4] d,Z+[4] b,t2 d a,t2 b a,t2 b d,t2 c d,t2 c b,t2 a d,Z[4] a,t2 b a,Z[2] c,Z+[2] a,t2 a c,t1 e,H a,t2 f e,t2 a f,t2 a e,t1 e,Z+[4] f,Z[4] a,Z+[4] e,t2 a f,t2 e f,t2 f e,Z[4] f,t2 a f,H a,t2 a c,t2 b c,t2 b a,t2 a b,Z[4] b,Z+[4] a,Z[4] c,t2 a b,t2 c b,t2 c a,t2 b a,t2 b c,Z+[4] b,t2 b a,t1 f,H b,t2 e b,t2 e f,t2 b e,t2 b f,t1 f,Z+[4] e,Z[4] b,Z+[4] f,t2 b e,t2 f e,t2 f b,t2 e b,t2 e f,Z[4] e,t2 f e,t2 b e,H a,t2 a c,t2 c b,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z+[4] a,t2 a c,H a,t2 d a,t2 f d,t2 a d,t2 a f,Z+[4] d,Z[4] f,Z+[4] a,t2 f d,t2 a d,t2 a f,t2 d a,Z[4] d,H d,t2 b c,t2 d c,t2 d b,Z[4] d,Z+[4] b,Z[4] c,t2 b d,t2 c d,t2 c b,t2 d b,t2 d c,Z+[4] d,t2 d b,H d,t2 a d,t2 f d,t2 f a,t2 d f,t2 d a,Z+[4] a,Z[4] f,Z+[4] d,t2 f a,t2 d a,t2 d f,t2 a f,t2 a d,Z[4] a,t2 f a,H a,t2 f c,t2 c f,t2 f c,t2 c f,t2 f c,t2 c f,t2 f a,t2 a f,t2 f a",
"H d,t2 d b,t2 e b,t2 d c,t2 e d,t2 d e,Z+[4] d,Z[4] b,Z+[4] c,Z+[4] a,t2 b d,t2 c d,t2 c b,t2 e b,t2 e c,t2 d b,Z[4] d,t2 c d,t2 e d,Z d,Z[2] b,Z[2] e,t2 e d,t2 e b,t2 c e,t2 d e,t2 d b,Z+[2] d,Z+[2] b,Z[2] c,Z+[2] e,t2 c d,t2 e d,t2 c b,t2 e b,t2 c e,H d,t1 a,H f,t2 d a,t1 a,Z[4] d,Z[4] f,Z[4] a,t2 f d,t2 a f,t2 d a,Z+[4] d,Z[4] a,Z+[4] f,t2 f d,t2 f a,t2 a f,t2 d f,H f,H a,t2 a c,t2 a e,Z[4] a,Z+[4] e,Z+[4] c,t2 e a,t2 c a,t2 e c,t2 a c,t2 a e,Z[4] a,t2 e a,t2 c a,H c,t2 c f,H c,t2 c a,t2 c b,Z[4] c,Z+[4] b,Z+[4] a,t2 b c,t2 a c,t2 a b,t2 c b,t2 c a,Z[4] c,t2 a c,t2 b c,H b,t2 d a,t2 a d,t2 d a,t2 c e,t2 e c,t2 c e,t2 e d,t2 d e,t2 e d,t2 d b,t2 b d,t2 d b",
"H d,Z+[4] b,Z+[2] a,Z+[4] a,Z[4] c,Z+[4] d,t2 d b,t2 e b,t2 d c,t2 e c,t2 e d,t2 b e,t2 b c,Z[4] d,Z+[4] b,Z+[4] c,Z[4] e,t2 b d,t2 e b,t2 d e,t2 d c,t2 b d,Z[2] b,Z+[2] d,t2 d b,t2 e d,t2 d e,t2 b e,t2 b d,H d,H f,t2 d a,t2 f d,t2 d f,Z[4] f,Z+[4] d,Z+[4] a,t2 d f,t2 a f,t2 a d,t2 c a,t2 c b,t2 b c,t2 a c,t2 a b,t2 f c,t2 f b,t2 f a,Z+[4] d,Z[4] f,Z+[4] a,Z+[4] b,Z[4] c,t2 a d,t2 b d,t2 c d,t2 a f,t2 b f,t2 c f,t2 c a,t2 c b,t2 b c,t2 a c,t2 d f,Z[2] c,H f,t2 f a,t2 f e,Z[4] f,Z+[4] a,Z+[4] e,t2 a f,t2 e f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 a f,t2 e f,H e,t1 b,H a,t2 a b,t1 b,Z[4] a,Z[4] b,t2 b a,t1 a,t1 b,H b,t2 d b,t2 f b,t2 b f,t2 b d,Z[4] f,Z+[4] b,Z[4] d,t2 b f,t2 d f,t2 d b,t2 f d,Z+[4] f,H f,t2 f a,t1 a,Z[4] f,Z[4] a,t2 a f,t1 a,t1 e,H a,t2 c a,t2 a e,t2 a c,t1 e,Z+[4] a,Z[4] c,Z+[4] e,t2 c a,t2 e a,t2 a e,Z[4] a,t2 c a,t1 f,H c,t2 c f,t1 f,Z[4] c,Z[4] f,t2 f c,t2 c f,t2 f c,t2 c f,t1 c,H c,t2 c d,t2 d b,Z[4] c,Z+[4] d,Z[4] b,t2 d c,t2 b c,t2 b d,t2 c d,t2 c b,Z+[4] c,t2 d c,t1 f,H d,t2 d f,t1 f,Z[4] d,Z[4] f,t2 f d,t2 d f,t2 f d,t2 d f,t1 d,t1 a,H d,t2 d a,t2 d e,t1 a,Z+[4] d,Z[4] e,Z+[4] a,t2 e d,t2 a d,t2 e a,t2 d a,t2 d e,Z[4] d,t2 e d,t2 a d,H d,t1 b,t2 f c,t2 c f,t2 f d,t2 d f,t2 f d,t2 d e,t2 e d,t2 d e,t2 e a,t2 a e,t2 e a"
}
};
const std::vector<std::vector<unsigned>> spectral_classification_tcount = {
{0, 7},
{0, 16, 7},
{0, 24, 16, 31, 7, 15, 36, 12},
{0, 31, 24, 41, 16, 26, 55, 47, 32, 42, 40, 29, 78, 56, 63, 52, 34, 7, 32, 15, 72, 42, 55, 55, 23, 87, 64, 78, 80, 56, 42, 27, 19, 63, 59, 32, 51, 29, 47, 36, 56, 69, 70, 41, 12, 43, 19, 44}
};
const std::vector<std::vector<unsigned>> spectral_classification_representative = {
{0x0, 0x8},
{0x00, 0x80, 0x88},
{0x0000, 0x8000, 0x8080, 0x0888, 0x8888, 0x7080, 0x7880, 0x7888},
{0x00000000, 0x80000000, 0x80008000, 0x0a000010, 0x80808080, 0x88800800, 0x80088820, 0x88808080, 0x2a808080, 0x70080088, 0xf0800080, 0xc0c8c0c8, 0xf780b880, 0x9ba00000, 0xe8080808, 0x8808a808, 0xc8888888, 0x88888888, 0xd5808080, 0x70807080, 0xe1808880, 0xea808080, 0xcc808880, 0xd8808880, 0x7f008000, 0xe0a8c800, 0x4e144404, 0xe8a08880, 0xf8808880, 0xe2222220, 0xa038a028, 0xe6804c80, 0x7f808080, 0x0231da51, 0xa002bc88, 0xf8087888, 0xeca08088, 0xf0888888, 0x8a80cac0, 0x78807880, 0xf8284888, 0xfca08880, 0xdac08a80, 0x38887888, 0x78887888, 0xa6cc60a0, 0x62c8ea40, 0x6ac8e240}
};
const std::vector<std::unordered_map<uint64_t, unsigned>> spectral_classification_index = {
{{0x0, 0}, {0x8, 1}},
{{0x00, 0}, {0x80, 1}, {0x88, 2}},
{{0x0000, 0}, {0x8000, 1}, {0x8080, 2}, {0x0888, 3}, {0x8888, 4}, {0x7080, 5}, {0x7880, 6}, {0x7888, 7}},
{{0x00000000, 0}, {0x80000000, 1}, {0x80008000, 2}, {0x0a000010, 3}, {0x80808080, 4}, {0x88800800, 5}, {0x80088820, 6}, {0x88808080, 7}, {0x2a808080, 8}, {0x70080088, 9}, {0xf0800080, 10}, {0xc0c8c0c8, 11}, {0xf780b880, 12}, {0x9ba00000, 13}, {0xe8080808, 14}, {0x8808a808, 15}, {0xc8888888, 16}, {0x88888888, 17}, {0xd5808080, 18}, {0x70807080, 19}, {0xe1808880, 20}, {0xea808080, 21}, {0xcc808880, 22}, {0xd8808880, 23}, {0x7f008000, 24}, {0xe0a8c800, 25}, {0x4e144404, 26}, {0xe8a08880, 27}, {0xf8808880, 28}, {0xe2222220, 29}, {0xa038a028, 30}, {0xe6804c80, 31}, {0x7f808080, 32}, {0x0231da51, 33}, {0xa002bc88, 34}, {0xf8087888, 35}, {0xeca08088, 36}, {0xf0888888, 37}, {0x8a80cac0, 38}, {0x78807880, 39}, {0xf8284888, 40}, {0xfca08880, 41}, {0xdac08a80, 42}, {0x38887888, 43}, {0x78887888, 44}, {0xa6cc60a0, 45}, {0x62c8ea40, 46}, {0x6ac8e240, 47}}
};
}
}
#endif
// Local Variables:
// c-basic-offset: 2
// eval: (c-set-offset 'substatement-open 0)
// eval: (c-set-offset 'innamespace 0)
// End: