1/* Automagically generated by superops, do not edit!  */
2  enum
3    {
4      MIN_HASH_VALUE = 50,
5      MAX_HASH_VALUE = 336
6    };
7
8  static const unsigned short asso_values[] =
9    {
10       44, 101,  68,  85,  71, 116, 117, 337, 111, 337,
11      337, 337, 337,  69,   5, 337,  88, 123,  19,  99,
12      337, 337,  50,  65,  87, 337, 337, 337,  93, 123,
13        7, 337, 123,  45, 108,  48, 104,  88,  94,   2,
14        3, 104, 337, 337,  91,  63,  64,  59,   4,  17,
15       86,  52, 337, 337,  89,  81, 121, 337, 337, 337,
16      337, 337, 337, 337,  23,  19,  92, 120,  25,  39,
17       60, 337, 337, 337, 337,   3, 337,  16, 337, 101,
18      337,   5, 337, 337,  86, 337, 337, 337, 337, 337,
19      337,  30, 337, 337, 337, 337,  17, 337, 337, 337,
20      112, 337,  34, 337, 337, 337, 337, 337, 337, 337,
21      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
22      337,   4, 337, 337, 337, 337, 337, 337, 337, 337,
23       62,  69, 337, 337, 337, 337, 337, 337, 337, 337,
24      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
25      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
26      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
27      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
28      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
29      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
30      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
31      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
32      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
33      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
34      337, 337, 337, 337, 337, 337, 337, 337, 337, 337,
35      337, 337, 337, 337, 337, 337
36    };
37  static const struct superop_with_fixed_arg_2_type keylist[] =
38    {
39      {{ 39, 48, 0}, 120},
40      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
41      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
42      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
43      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
44      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
45      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
46      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
47      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
48      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
49      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
50      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
51      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
52      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
53      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
54      {{}, -1 }, {{}, -1 }, {{}, -1 },
55      {{ 46, 30, 49}, 117},
56      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
57      {{}, -1 }, {{}, -1 }, {{}, -1 },
58      {{ 39, 51, 0}, 248},
59      {{ 68, 91, 0}, 234},
60      {{ 121, 51, 0}, 214},
61      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
62      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
63      {{ 35, 18, 0}, 206},
64      {{}, -1 }, {{}, -1 }, {{}, -1 },
65      {{ 44, 30, 96}, 122},
66      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
67      {{}, -1 }, {{}, -1 }, {{}, -1 },
68      {{ 46, 49, 0}, 70},
69      {{}, -1 }, {{}, -1 }, {{}, -1 },
70      {{ 102, 30, 37}, 215},
71      {{ 67, 30, 40}, 155},
72      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
73      {{ 69, 51, 0}, 252},
74      {{ 54, 75, 0}, 185},
75      {{ 54, 48, 0}, 68},
76      {{ 39, 66, 0}, 80},
77      {{}, -1 },
78      {{ 44, 14, 0}, 159},
79      {{}, -1 }, {{}, -1 }, {{}, -1 },
80      {{ 35, 51, 0}, 124},
81      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
82      {{ 70, 64, 2}, 187},
83      {{ 36, 48, 0}, 78},
84      {{}, -1 },
85      {{ 70, 64, 4}, 212},
86      {{ 46, 64, 2}, 137},
87      {{ 68, 91, 1}, 245},
88      {{}, -1 },
89      {{ 46, 64, 4}, 204},
90      {{ 45, 51, 0}, 75},
91      {{ 46, 51, 0}, 128},
92      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
93      {{ 46, 30, 38}, 110},
94      {{}, -1 }, {{}, -1 },
95      {{ 70, 64, 3}, 178},
96      {{}, -1 }, {{}, -1 }, {{}, -1 },
97      {{ 46, 64, 3}, 144},
98      {{ 54, 77, 2}, 255},
99      {{ 68, 35, 1}, 228},
100      {{ 46, 30, 36}, 92},
101      {{ 69, 28, 0}, 158},
102      {{ 46, 131, 0}, 239},
103      {{}, -1 },
104      {{ 44, 0}, 81},
105      {{}, -1 },
106      {{ 54, 35, 0}, 109},
107      {{}, -1 }, {{}, -1 },
108      {{ 70, 64, 1}, 236},
109      {{ 35, 28, 0}, 140},
110      {{ 32, 18, 0}, 104},
111      {{ 44, 51, 0}, 189},
112      {{ 46, 64, 1}, 94},
113      {{ 67, 30, 130}, 218},
114      {{ 68, 56, 0}, 95},
115      {{}, -1 },
116      {{ 68, 32, 0}, 126},
117      {{ 45, 50, 0}, 226},
118      {{ 55, 33, 2}, 152},
119      {{ 46, 24, 0}, 235},
120      {{}, -1 },
121      {{ 54, 46, 0}, 179},
122      {{}, -1 },
123      {{ 70, 64, 5}, 210},
124      {{ 70, 64, 6}, 225},
125      {{}, -1 },
126      {{ 44, 30, 41}, 198},
127      {{ 44, 2, 0}, 150},
128      {{ 44, 13, 0}, 182},
129      {{ 54, 35, 2}, 149},
130      {{ 54, 77, 1}, 181},
131      {{ 67, 65, 2}, 223},
132      {{ 54, 35, 4}, 193},
133      {{}, -1 }, {{}, -1 },
134      {{ 32, 0}, 133},
135      {{}, -1 },
136      {{ 67, 30, 84}, 176},
137      {{}, -1 }, {{}, -1 },
138      {{ 68, 32, 2}, 224},
139      {{ 32, 22, 0}, 142},
140      {{ 55, 28, 0}, 65},
141      {{ 32, 51, 0}, 91},
142      {{ 44, 3, 0}, 141},
143      {{ 44, 30, 32}, 103},
144      {{ 54, 35, 3}, 163},
145      {{ 44, 16, 0}, 111},
146      {{ 67, 65, 3}, 249},
147      {{ 46, 6, 0}, 99},
148      {{ 32, 47, 0}, 209},
149      {{ 55, 33, 1}, 77},
150      {{ 67, 46, 0}, 127},
151      {{ 32, 81, 1}, 108},
152      {{}, -1 },
153      {{ 46, 17, 0}, 151},
154      {{ 32, 23, 0}, 188},
155      {{ 68, 32, 3}, 237},
156      {{}, -1 },
157      {{ 54, 33, 1}, 139},
158      {{ 44, 1, 0}, 100},
159      {{}, -1 },
160      {{ 54, 35, 1}, 112},
161      {{}, -1 },
162      {{ 67, 65, 1}, 195},
163      {{ 54, 34, 0}, 82},
164      {{ 55, 28, 2}, 71},
165      {{ 102, 34, 1}, 242},
166      {{}, -1 },
167      {{ 55, 28, 4}, 199},
168      {{ 44, 8, 0}, 148},
169      {{}, -1 },
170      {{ 55, 29, 0}, 231},
171      {{ 68, 32, 1}, 125},
172      {{}, -1 },
173      {{ 44, 5, 0}, 227},
174      {{ 44, 6, 0}, 87},
175      {{ 54, 35, 5}, 186},
176      {{ 54, 56, 0}, 67},
177      {{ 32, 16, 0}, 115},
178      {{ 54, 32, 0}, 69},
179      {{ 67, 28, 0}, 90},
180      {{ 44, 17, 0}, 253},
181      {{ 55, 28, 3}, 88},
182      {{}, -1 }, {{}, -1 }, {{}, -1 },
183      {{ 67, 19, 0}, 216},
184      {{}, -1 },
185      {{ 54, 34, 2}, 177},
186      {{ 32, 19, 0}, 254},
187      {{}, -1 },
188      {{ 32, 1, 0}, 143},
189      {{}, -1 },
190      {{ 55, 37, 1}, 121},
191      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
192      {{ 55, 28, 1}, 64},
193      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
194      {{ 54, 32, 2}, 106},
195      {{}, -1 },
196      {{ 54, 34, 3}, 229},
197      {{ 54, 32, 4}, 241},
198      {{ 32, 6, 0}, 169},
199      {{ 44, 28, 1}, 205},
200      {{}, -1 },
201      {{ 67, 32, 0}, 162},
202      {{}, -1 }, {{}, -1 },
203      {{ 32, 17, 0}, 131},
204      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
205      {{ 79, 28, 1}, 233},
206      {{}, -1 },
207      {{ 54, 32, 3}, 138},
208      {{ 54, 34, 1}, 132},
209      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
210      {{ 55, 29, 1}, 211},
211      {{}, -1 },
212      {{ 67, 84, 1}, 153},
213      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
214      {{ 54, 32, 1}, 85},
215      {{ 32, 32, 2}, 200},
216      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
217      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
218      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
219      {{ 32, 32, 3}, 156},
220      {{}, -1 }, {{}, -1 }, {{}, -1 }, {{}, -1 },
221      {{ 32, 100, 1}, 191}
222    };
223
224