Sharedwww / tables / slopes_2-adic.mOpen in CoCalc
Author: William A. Stein
1
/*********************************************************************
2
This is a MAGMA-readable table of the 2-adic slopes of the Hecke
3
operator T_2 acting on Gamma_0(N). The syntax is:
4
<N,
5
[
6
<k, [* slopes of T_2 on S_k(Gamma_0(N)) *]
7
...
8
]>
9
10
William Stein, February 13, 2000
11
***********************************************************************/
12
13
14
oo := Infinity();
15
16
slopes_2adic :=
17
[*
18
19
<1,
20
[
21
<2, [**]>,
22
<4, [* 0 *]>,
23
<6, [* 0 *]>,
24
<8, [* 0 *]>,
25
<10, [* 0 *]>,
26
<12, [* 3, 0 *]>,
27
<14, [* 0 *]>,
28
<16, [* 3, 0 *]>,
29
<18, [* 4, 0 *]>,
30
<20, [* 3, 0 *]>,
31
<22, [* 5, 0 *]>,
32
<24, [* 7, 3, 0 *]>,
33
<26, [* 4, 0 *]>,
34
<28, [* 8, 3, 0 *]>,
35
<30, [* 6, 6, 0 *]>,
36
<32, [* 7, 3, 0 *]>,
37
<34, [* 8, 4, 0 *]>,
38
<36, [* 9, 9, 3, 0 *]>,
39
<38, [* 8, 5, 0 *]>,
40
<40, [* 11, 7, 3, 0 *]>,
41
<42, [* 12, 9, 4, 0 *]>,
42
<44, [* 11, 8, 3, 0 *]>,
43
<46, [* 13, 6, 6, 0 *]>,
44
<48, [* 15, 12, 7, 3, 0 *]>,
45
<50, [* 13, 8, 4, 0 *]>,
46
<52, [* 16, 9, 9, 3 *]>,
47
<54, [* 16, 11, 9, 5 *]>,
48
<56, [* 16, 11, 7, 3 *]>,
49
<58, [* 14, 12, 10, 4 *]>,
50
<60, [* 19, 14, 12, 8, 3 *]>,
51
<62, [* 14, 14, 6, 6 *]>,
52
<64, [* 17, 15, 13, 7, 3 *]>,
53
<66, [* 18, 16, 14, 8, 4 *]>,
54
<68, [* 17, 17, 9, 9, 3 *]>,
55
<70, [* 19, 17, 13, 8, 5 *]>,
56
<72, [* 21, 19, 17, 11, 7, 3 *]>,
57
<74, [* 20, 16, 12, 9, 4 *]>,
58
<76, [* 22, 20, 16, 11, 8, 3 *]>,
59
<78, [* 22, 22, 16, 13, 6, 6 *]>,
60
<80, [* 23, 19, 15, 12, 7, 3 *]>,
61
<82, [* 24, 20, 17, 13, 8, 4 *]>,
62
<84, [* 25, 25, 19, 16, 9, 9, 3 *]>,
63
<86, [* 24, 21, 16, 10, 10, 5 *]>,
64
<88, [* 27, 23, 20, 16, 11, 7, 3 *]>,
65
<90, [* 28, 25, 21, 13, 12, 11, 4 *]>,
66
<92, [* 27, 24, 19, 13, 13, 8, 3 *]>,
67
<94, [* 29, 23, 23, 14, 14, 6, 6 *]>,
68
<96, [* 31, 28, 24, 16, 15, 14, 7, 3 *]>,
69
<98, [* 29, 25, 17, 16, 15, 8, 4 *]>,
70
<100, [* 32, 26, 26, 17, 17, 9, 9, 3 *]>,
71
<102, [* 32, 29, 22, 18, 18, 14, 8, 5 *]>,
72
<104, [* 32, 28, 20, 19, 18, 11, 7, 3 *]>,
73
<106, [* 32, 29, 23, 20, 17, 12, 9, 4 *]>,
74
<108, [* 35, 32, 25, 21, 21, 17, 11, 8, 3 *]>,
75
<110, [* 32, 27, 22, 22, 17, 13, 6, 6 *]>,
76
<112, [* 35, 32, 26, 23, 20, 15, 12, 7, 3 *]>,
77
<114, [* 36, 30, 27, 24, 21, 18, 13, 8, 4 *]>,
78
<116, [* 35, 30, 25, 25, 20, 16, 9, 9, 3 *]>,
79
<118, [* 37, 30, 27, 25, 22, 16, 11, 9, 5 *]>,
80
<120, [* 39, 33, 30, 27, 24, 21, 16, 11, 7, 3 *]>,
81
<122, [* 34, 30, 28, 26, 22, 14, 12, 10, 4 *]>,
82
<124, [* 40, 33, 30, 28, 25, 19, 14, 12, 8, 3 *]>,
83
<126, [* 36, 36, 30, 30, 24, 24, 14, 14, 6, 6 *]>,
84
<128, [* 37, 33, 31, 29, 25, 17, 15, 13, 7, 3 *]>,
85
<130, [* 38, 34, 32, 30, 26, 18, 16, 14, 8, 4 *]>,
86
<132, [* 39, 39, 33, 33, 27, 27, 17, 17, 9, 9, 3 *]>,
87
<134, [* 38, 35, 33, 30, 24, 19, 17, 13, 8, 5 *]>,
88
<136, [* 41, 37, 35, 33, 29, 21, 19, 17, 11, 7, 3 *]>,
89
<138, [* 42, 39, 36, 33, 30, 25, 20, 16, 12, 9, 4 *]>,
90
<140, [* 41, 38, 36, 33, 27, 22, 20, 16, 11, 8, 3 *]>,
91
<142, [* 43, 38, 38, 33, 29, 22, 22, 16, 13, 6, 6 *]>,
92
<144, [* 45, 42, 39, 36, 33, 28, 23, 19, 15, 12, 7, 3 *]>,
93
<146, [* 43, 40, 37, 32, 29, 24, 20, 17, 13, 8, 4 *]>,
94
<148, [* 46, 41, 41, 36, 32, 25, 25, 19, 16, 9, 9, 3 *]>,
95
<150, [* 46, 42, 42, 38, 32, 29, 24, 21, 16, 10, 10, 5 *]>
96
]>,
97
98
99
100
<2,[
101
<2, [**]>,
102
<4, [**]>,
103
<6, [**]>,
104
<8, [* 3 *]>,
105
<10, [* 4 *]>,
106
<12, [* 8, 3 *]>,
107
<14, [* 6, 6 *]>,
108
<16, [* 12, 7, 3 *]>,
109
<18, [* 13, 8, 4 *]>,
110
<20, [* 16, 9, 9, 3 *]>,
111
<22, [* 16, 10, 10, 5 *]>,
112
<24, [* 20, 16, 11, 7, 3 *]>,
113
<26, [* 21, 12, 12, 12, 4 *]>,
114
<28, [* 24, 19, 13, 13, 8, 3 *]>,
115
<30, [* 23, 23, 14, 14, 6, 6 *]>,
116
<32, [* 28, 24, 15, 15, 15, 7, 3 *]>,
117
<34, [* 29, 25, 16, 16, 16, 8, 4 *]>,
118
<36, [* 32, 26, 26, 17, 17, 9, 9, 3 *]>,
119
<38, [* 32, 29, 18, 18, 18, 18, 8, 5 *]>,
120
<40, [* 36, 32, 28, 19, 19, 19, 11, 7, 3 *]>,
121
<42, [* 37, 32, 29, 20, 20, 20, 12, 9, 4 *]>,
122
<44, [* 40, 35, 32, 21, 21, 21, 21, 11, 8, 3 *]>,
123
<46, [* 39, 39, 32, 22, 22, 22, 22, 13, 6, 6 *]>,
124
<48, [* 44, 40, 35, 32, 23, 23, 23, 15, 12, 7, 3 *]>,
125
<50, [* 45, 41, 36, 24, 24, 24, 24, 24, 13, 8, 4 *]>,
126
<52, [* 48, 42, 42, 35, 25, 25, 25, 25, 16, 9, 9, 3 *]>,
127
<54, [* 48, 44, 42, 37, 26, 26, 26, 26, 16, 11, 9, 5 *]>,
128
<56, [* 52, 48, 44, 39, 27, 27, 27, 27, 27, 16, 11, 7, 3 *]>,
129
<58, [* 53, 47, 45, 43, 28, 28, 28, 28, 28, 14, 12, 10, 4 *]>,
130
<60, [* 56, 51, 47, 45, 40, 29, 29, 29, 29, 19, 14, 12, 8, 3 *]>,
131
<62, [* 55, 55, 47, 47, 30, 30, 30, 30, 30, 30, 14, 14, 6, 6 *]>,
132
<64, [* 60, 56, 50, 48, 46, 31, 31, 31, 31, 31, 17, 15, 13, 7, 3 *]>,
133
<66, [* 61, 57, 51, 49, 47, 32, 32, 32, 32, 32, 18, 16, 14, 8, 4 *]>,
134
<68, [* 64, 58, 58, 50, 50, 33, 33, 33, 33, 33, 33, 17, 17, 9, 9, 3 *]>,
135
<70, [* 64, 61, 56, 52, 50, 34, 34, 34, 34, 34, 34, 19, 17, 13, 8, 5 *]>,
136
<72, [* 68, 64, 60, 54, 52, 50, 35, 35, 35, 35, 35, 21, 19, 17, 11, 7, 3 *]>,
137
<74, [* 69, 64, 61, 57, 53, 36, 36, 36, 36, 36, 36, 36, 20, 16, 12, 9, 4 *]>,
138
<76, [* 72, 67, 64, 59, 55, 53, 37, 37, 37, 37, 37, 37, 22, 20, 16, 11, 8, 3 *]>,
139
<78, [* 71, 71, 64, 61, 55, 55, 38, 38, 38, 38, 38, 38, 22, 22, 16, 13, 6, 6 *]>,
140
<80, [* 76, 72, 67, 64, 60, 56, 39, 39, 39, 39, 39, 39, 39, 23, 19, 15, 12, 7, 3 *]>,
141
<82, [* 77, 73, 68, 64, 61, 57, 40, 40, 40, 40, 40, 40, 40, 24, 20, 17, 13, 8, 4 *]>,
142
<84, [* 80, 74, 74, 67, 64, 58, 58, 41, 41, 41, 41, 41, 41, 25, 25, 19, 16, 9, 9, 3 *]>,
143
<86, [* 80, 75, 75, 69, 64, 61, 42, 42, 42, 42, 42, 42, 42, 42, 24, 21, 16, 10, 10, 5 *]>,
144
<88, [* 84, 80, 76, 71, 67, 64, 60, 43, 43, 43, 43, 43, 43, 43, 27, 23, 20, 16, 11, 7, 3 *]>,
145
<90, [* 85, 78, 77, 76, 68, 64, 61, 44, 44, 44, 44, 44, 44, 44, 28, 25, 21, 13, 12, 11, 4 *]>,
146
<92, [* 88, 83, 78, 78, 72, 67, 64, 45, 45, 45, 45, 45, 45, 45, 45, 27, 24, 19, 13, 13, 8, 3 *]>,
147
<94, [* 87, 87, 79, 79, 70, 70, 64, 46, 46, 46, 46, 46, 46, 46, 46, 29, 23, 23, 14, 14, 6, 6 *]>,
148
<96, [* 92, 88, 81, 80, 79, 71, 67, 64, 47, 47, 47, 47, 47, 47, 47, 31, 28, 24, 16, 15, 14, 7, 3 *]>,
149
<98, [* 93, 89, 82, 81, 80, 72, 68, 48, 48, 48, 48, 48, 48, 48, 48, 48, 29, 25, 17, 16, 15, 8, 4 *]>,
150
<100, [* 96, 90, 90, 82, 82, 73, 73, 67, 49, 49, 49, 49, 49, 49, 49, 49, 32, 26, 26, 17, 17, 9, 9, 3 *]>
151
]>,
152
153
154
155
<3,
156
[
157
<2, [**]>,
158
<4, [**]>,
159
<6, [* 1 *]>,
160
<8, [* 1 *]>,
161
<10, [* 2, 1 *]>,
162
<12, [* 3, 3, 1 *]>,
163
<14, [* 4, 2, 1 *]>,
164
<16, [* 3, 3, 3, 1 *]>,
165
<18, [* 4, 4, 4, 2, 1*]>,
166
<20, [* 5, 4, 3, 3, 1 *]>,
167
<22, [* 6, 5, 5, 4, 2, 1 *]>,
168
<24, [* 7, 7, 6,3, 3, 3, 1 *]>,
169
<26, [* 8, 7, 4, 4, 4, 2, 1 *]>,
170
<28, [* 8, 8, 5, 5, 5, 3, 3, 1*]>,
171
<30, [* 9, 6, 6, 6, 6, 6, 4, 2, 1 *]>,
172
<32, [* 7, 7, 7, 7, 7, 3, 3, 3, 1*]>,
173
<34, [* 8, 8, 8, 8, 8, 4, 4, 4, 2, 1 *]>,
174
<36, [* 9, 9, 9, 9, 9, 7, 5, 4,3, 3, 1 *]>,
175
<38, [* 10, 10, 10, 8, 8, 6, 5, 5, 4, 2, 1 *]>,
176
<40, [* 11, 11, 11,9, 8, 7, 7, 6, 3, 3, 3, 1 *]>,
177
<42, [* 12, 12, 12, 10, 9, 9, 8, 7, 4, 4, 4, 2, 1*]>,
178
<44, [* 13, 12, 11, 11, 10, 8, 8, 5, 5, 5, 3, 3, 1 *]>,
179
<46, [* 14, 13, 13,12, 11, 9, 6, 6, 6, 6, 6, 4, 2, 1 *]>,
180
<48, [* 15, 15, 14, 12, 12, 12, 7, 7, 7,7, 7, 3, 3, 3, 1 *]>,
181
<50, [* 16, 15, 13, 13, 13, 8, 8, 8, 8, 8, 4, 4, 4, 2, 1*]>
182
]>,
183
184
185
<4,[
186
<2, [**]>,
187
<4, [**]>,
188
<6, [* oo *]>,
189
<8, [* oo, 3 *]>,
190
<10, [* oo, oo, 4 *]>,
191
<12, [* oo, oo, 8, 3 *]>,
192
<14, [* oo, oo, oo, 6, 6 *]>,
193
<16, [* oo, oo, oo, 12, 7, 3 *]>,
194
<18, [* oo, oo, oo, oo, 13, 8, 4 *]>,
195
<20, [* oo, oo, oo, oo, 16, 9, 9, 3 *]>,
196
<22, [* oo, oo, oo, oo, oo, 16, 10, 10, 5 *]>,
197
<24, [* oo, oo, oo, oo, oo, 20, 16, 11, 7, 3 *]>,
198
<26, [* oo, oo, oo, oo, oo, oo, 21, 12, 12, 12, 4 *]>,
199
<28, [* oo, oo, oo, oo, oo, oo, 24, 19, 13, 13, 8, 3 *]>,
200
<30, [* oo, oo, oo, oo, oo, oo, oo, 23, 23, 14, 14, 6, 6 *]>,
201
<32, [* oo, oo, oo, oo, oo, oo, oo, 28, 24, 15, 15, 15, 7, 3 *]>,
202
<34, [* oo, oo, oo, oo, oo, oo, oo, oo, 29, 25, 16, 16, 16, 8, 4 *]>,
203
<36, [* oo, oo, oo, oo, oo, oo, oo, oo, 32, 26, 26, 17, 17, 9, 9, 3 *]>,
204
<38, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, 32, 29, 18, 18, 18, 18, 8, 5 *]>,
205
<40, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, 36, 32, 28, 19, 19, 19, 11, 7, 3 *]>,
206
<42, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 37, 32, 29, 20, 20, 20, 12, 9, 4 *]>,
207
<44, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 40, 35, 32, 21, 21, 21, 21, 11, 8, 3 *]>,
208
<46, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 39, 39, 32, 22, 22, 22, 22, 13, 6, 6 *]>,
209
<48, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 44, 40, 35, 32, 23, 23, 23, 15, 12, 7, 3 *]>,
210
<50, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 45, 41, 36, 24, 24, 24, 24, 24, 13, 8, 4 *]>,
211
<52, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 48, 42, 42, 35, 25, 25, 25, 25, 16, 9, 9, 3 *]>,
212
<54, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 48, 44, 42, 37, 26, 26, 26, 26, 16, 11, 9, 5 *]>,
213
<56, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 52, 48, 44, 39, 27, 27, 27, 27, 27, 16, 11, 7, 3 *]>,
214
<58, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 53, 47, 45, 43, 28, 28, 28, 28, 28, 14, 12, 10, 4 *]>,
215
<60, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 56, 51, 47, 45, 40, 29, 29, 29, 29, 19, 14, 12, 8, 3 *]>,
216
<62, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 55, 55, 47, 47, 30, 30, 30, 30, 30, 30, 14, 14, 6, 6 *]>,
217
<64, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 60, 56, 50, 48, 46, 31, 31, 31, 31, 31, 17, 15, 13, 7, 3 *]>,
218
<66, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 61, 57, 51, 49, 47, 32, 32, 32, 32, 32, 18, 16, 14, 8, 4 *]>,
219
<68, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 64, 58, 58, 50, 50, 33, 33, 33, 33, 33, 33, 17, 17, 9, 9, 3 *]>,
220
<70, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 64, 61, 56, 52, 50, 34, 34, 34, 34, 34, 34, 19, 17, 13, 8, 5 *]>,
221
<72, [* oo, oo, oo, oo, oo, oo, oo, oo,oo, oo, oo, oo, oo, oo, oo, oo, oo, 68, 64, 60, 54, 52, 50, 35, 35, 35, 35, 35, 21, 19,17, 11, 7, 3 *]>,
222
<74, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 69, 64, 61, 57, 53, 36, 36, 36, 36, 36, 36, 36, 20, 16, 12, 9, 4 *]>,
223
<76, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 72, 67, 64, 59, 55, 53, 37, 37, 37, 37, 37, 37, 22, 20, 16, 11, 8, 3 *]>,
224
<78, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 71, 71, 64, 61, 55, 55, 38, 38, 38, 38, 38, 38, 22, 22, 16, 13, 6, 6 *]>,
225
<80, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 76, 72, 67, 64, 60, 56, 39, 39, 39, 39, 39, 39, 39, 23, 19, 15, 12, 7, 3 *]>,
226
<82, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 77, 73, 68, 64, 61, 57, 40, 40, 40, 40, 40, 40, 40, 24, 20, 17, 13, 8, 4 *]>,
227
<84, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 80, 74, 74, 67, 64, 58, 58, 41, 41, 41, 41, 41, 41, 25, 25, 19, 16, 9, 9, 3 *]>,
228
<86, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 80, 75, 75, 69, 64, 61, 42, 42, 42, 42, 42, 42, 42, 42, 24, 21, 16, 10, 10, 5 *]>,
229
<88, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 84, 80, 76, 71, 67, 64, 60, 43, 43, 43, 43, 43, 43, 43, 27, 23, 20, 16, 11, 7, 3 *]>,
230
<90, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 85, 78, 77, 76, 68, 64, 61, 44, 44, 44, 44, 44, 44, 44, 28, 25, 21, 13, 12, 11, 4 *]>,
231
<92, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 88, 83, 78, 78, 72, 67, 64, 45, 45, 45, 45, 45, 45, 45, 45, 27, 24, 19, 13, 13, 8, 3 *]>,
232
<94, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 87, 87, 79, 79, 70, 70, 64, 46, 46, 46, 46, 46, 46, 46, 46, 29, 23, 23, 14, 14, 6, 6 *]>,
233
<96, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 92, 88, 81, 80, 79, 71, 67, 64, 47, 47, 47, 47, 47, 47, 47, 31, 28, 24, 16, 15, 14, 7, 3 *]>,
234
<98, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 93, 89, 82, 81, 80, 72, 68, 48, 48, 48, 48, 48, 48, 48, 48, 48, 29, 25, 17, 16, 15, 8, 4 *]>,
235
<100, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 96, 90, 90, 82, 82, 73, 73, 67, 49, 49, 49, 49, 49, 49, 49, 49, 32, 26, 26, 17, 17, 9, 9, 3 *]>
236
]>,
237
238
239
240
<5,
241
[ <2, [**]>,
242
<4, [* 2 *]>,
243
<6, [* 1 *]>,
244
<8, [* 3/2, 3/2, 1 *]>,
245
<10, [* 3, 2, 1 *]>,
246
<12, [* 3, 3, 3/2, 3/2, 1 *]>,
247
<14, [* 4, 2, 2, 2, 1 *]>,
248
<16, [* 6, 3, 3, 3, 3/2, 3/2, 1 *]>,
249
<18, [* 4, 4, 4, 5/2, 5/2, 2, 1 *]>,
250
<20, [* 5, 5, 5, 4, 3, 3, 3/2, 3/2, 1 *]>,
251
<22, [* 7, 6, 5, 5, 4, 2, 2, 2, 1 *]>,
252
<24, [* 7, 7, 6, 11/2, 11/2, 3, 3, 3, 3/2, 3/2, 1 *]>,
253
<26, [* 8, 7, 6, 5, 4, 4, 4, 3, 3, 2, 1 *]>,
254
<28, [* 10, 8, 8, 5, 5, 5, 5, 5, 3, 3, 3/2, 3/2, 1 *]>,
255
<30, [* 9, 6, 6, 6, 6, 6, 6, 6, 4, 2, 2, 2, 1 *]>,
256
<32, [* 9, 8, 7, 7, 7, 7, 7, 6, 6, 3, 3, 3, 3/2, 3/2, 1*]>,
257
<34, [* 9, 8, 8, 8, 8, 8, 7, 7, 4, 4, 4, 5/2, 5/2, 2, 1 *]>,
258
<36, [* 9, 9, 9, 9, 9, 9, 9, 7, 5, 5, 5, 4, 3, 3, 3/2, 3/2, 1 *]>,
259
<38, [* 10, 10, 10, 10, 10, 8, 8, 13/2, 13/2, 6, 5, 5, 4, 2, 2, 2, 1 *]>,
260
<40, [* 12, 11, 11, 11, 10, 10, 9, 8, 7, 7, 6, 11/2, 11/2, 3, 3, 3, 3/2, 3/2, 1 *]>,
261
<42, [* 12, 12, 12, 21/2, 21/2, 10, 9, 9, 8, 7, 6, 4, 4, 4, 4, 4, 3, 2, 1 *]>,
262
<44, [* 13, 13, 13, 12, 11, 11, 10, 19/2, 19/2, 8, 8, 5, 5, 5, 5, 5, 3, 3, 3/2, 3/2, 1 *]>,
263
<46, [* 15, 14, 13, 13, 12, 11, 11, 11, 9, 6, 6, 6, 6, 6, 6, 6, 4, 2, 2, 2, 1 *]>,
264
<48, [* 15, 15, 14, 27/2, 27/2, 12, 12, 12, 9, 7, 7, 7, 7, 7, 7, 7, 6, 3, 3, 3, 3/2, 3/2, 1 *]>,
265
<50, [* 16, 15, 29/2, 29/2, 13, 13, 13, 8, 8, 8, 8, 8, 8, 8, 8, 8, 4, 4, 4, 5/2, 5/2, 2, 1 *]>
266
]>,
267
268
269
270
<6, [
271
<2, [**]>,
272
<4, [* 1 *]>,
273
<6, [* 4, 2, 1 *]>,
274
<8, [* 6, 3, 3, 3, 1 *]>,
275
<10, [* 8, 7, 4, 4, 4, 2, 1 *]>,
276
<12, [* 10, 8, 8, 5, 5, 5, 3, 3, 1*]>,
277
<14, [* 12, 11, 9, 6, 6, 6, 6, 6, 4, 2, 1 *]>,
278
<16, [* 14, 12, 12, 12, 7, 7, 7, 7, 7, 3, 3, 3, 1 *]>,
279
<18, [* 16, 15, 13, 13, 13, 8, 8, 8, 8, 8, 4, 4, 4, 2, 1 *]>,
280
<20, [* 18, 16, 16, 15, 14, 9, 9, 9, 9, 9, 9, 9, 5, 4, 3, 3, 1 *]>,
281
<22, [* 20, 19, 17, 16, 16, 15, 10, 10, 10,10, 10, 10, 10, 6, 5, 5, 4, 2, 1 *]>,
282
<24, [* 22, 20, 20, 20, 17, 16, 16, 11, 11, 11, 11, 11, 11, 11, 7, 7, 6, 3, 3, 3, 1 *]>,
283
<26, [* 24, 23, 21, 21, 21, 18, 17, 12, 12, 12, 12, 12, 12, 12, 12, 12, 8, 7, 4, 4, 4, 2, 1 *]>,
284
<28, [* 26, 24, 24, 22, 22, 22, 19, 19, 13, 13, 13, 13, 13, 13, 13, 13, 13, 8, 8, 5, 5, 5, 3, 3, 1 *]>,
285
<30, [* 28, 27, 25, 23, 23, 23, 23, 23, 20, 14, 14, 14, 14, 14, 14, 14, 14, 14, 9, 6, 6, 6, 6, 6, 4, 2, 1 *]>,
286
<32, [* 30, 28, 28, 28, 24, 24, 24, 24, 24, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 7, 7, 7, 7, 7, 3, 3, 3, 1 *]>,
287
<34, [* 32, 31, 29, 29, 29, 25, 25, 25, 25, 25, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 8, 8, 8, 8, 8, 4, 4, 4, 2, 1 *]>,
288
<36, [* 34, 32, 32, 31, 30, 28, 26, 26, 26, 26, 26, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 9, 9, 9, 9, 9, 7, 5, 4, 3, 3, 1 *]>,
289
<38, [* 36, 35, 33, 32, 32, 31, 29, 29, 27, 27, 27, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 10, 10, 10, 8, 8, 6, 5, 5, 4, 2, 1 *]>,
290
<40, [* 38, 36, 36, 36, 33, 32, 32, 31, 30, 28, 28, 28, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 11, 11, 11, 9, 8, 7, 7, 6, 3, 3, 3, 1 *]>,
291
<42, [* 40, 39, 37, 37, 37, 34, 33, 32, 32, 31, 29, 29, 29, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 12, 12, 12, 10, 9, 9, 8, 7, 4, 4, 4, 2, 1 *]>,<44, [* 42, 40, 40, 38, 38, 38, 35, 35, 33, 32, 32, 31, 30, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 13, 12, 11, 11, 10, 8, 8, 5, 5, 5, 3, 3, 1 *]>,
292
<46, [* 44, 43, 41, 39, 39, 39, 39, 39, 36, 34, 33, 32, 32, 31, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 14, 13, 13, 12, 11, 9, 6, 6, 6, 6, 6, 4, 2, 1 *]>,
293
<48, [* 46, 44, 44, 44, 40, 40, 40, 40, 40, 35, 35, 35, 33, 32, 32, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 15, 15, 14, 12, 12, 12, 7, 7, 7, 7, 7, 3, 3, 3, 1 *]>,
294
<50, [* 48, 47, 45, 45, 45, 41, 41, 41, 41, 41, 36, 36, 36, 34, 33, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 16, 15, 13, 13, 13, 8, 8, 8, 8, 8, 4, 4, 4, 2, 1 *]>
295
]>,
296
297
<7,[
298
<2, [**]>,
299
<4, [* 0 *]>,
300
<6, [* 1, 1, 0 *]>,
301
<8, [* 1, 1, 0 *]>,
302
<10, [* 2, 2, 1, 1, 0 *]>,
303
<12, [* 3, 3, 3, 3, 1, 1, 0 *]>,
304
<14, [* 4, 4, 2, 2, 1, 1, 0 *]>,
305
<16, [* 3, 3, 3, 3, 3, 3, 1, 1, 0 *]>,
306
<18, [* 4, 4, 4, 4, 4, 4, 2, 2, 1, 1, 0 *]>,
307
<20, [* 5, 5, 4, 4, 3, 3, 3, 3, 1, 1, 0 *]>,
308
<22, [* 6, 6, 5, 5, 5, 5, 4, 4, 2, 2, 1, 1, 0 *]>,
309
<24, [* 7, 7, 7, 7, 6, 6, 3, 3, 3, 3, 3, 3, 1, 1, 0 *]>,
310
<26, [* 8, 8, 7, 7, 4, 4, 4, 4, 4, 4, 2, 2, 1, 1, 0 *]>,
311
<28, [* 8, 8, 8, 8, 5, 5, 5, 5, 5, 5, 3, 3, 3, 3, 1, 1, 0 *]>,
312
<30, [* 9, 9, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 4, 4, 2, 2, 1, 1, 0 *]>,
313
<32, [* 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 3, 3, 3, 3, 3, 3, 1, 1, 0 *]>,
314
<34, [* 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 4, 4, 4, 4, 4, 4, 2, 2, 1, 1, 0 *]>,
315
<36, [* 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 7, 7, 5, 5, 4, 4, 3, 3, 3, 3, 1, 1, 0 *]>,
316
<38, [* 10, 10, 10, 10, 10, 10, 8, 8, 8, 8, 6, 6, 5, 5, 5, 5, 4, 4, 2, 2, 1, 1, 0 *]>,
317
<40, [* 11, 11, 11, 11, 11, 11, 9, 9, 8, 8, 7, 7, 7, 7, 6, 6, 3, 3, 3, 3, 3, 3, 1, 1, 0 *]>,
318
<42, [* 12, 12, 12, 12, 12, 12, 10, 10, 9, 9, 9, 9, 8, 8, 7, 7, 4, 4, 4, 4, 4, 4, 2, 2, 1, 1, 0 *]>,
319
<44, [* 13, 13, 12, 12, 11, 11, 11, 11, 10, 10, 8, 8, 8, 8, 5, 5, 5, 5, 5, 5, 3, 3, 3, 3, 1, 1, 0 *]>,
320
<46, [* 14, 14, 13, 13, 13, 13, 12, 12, 11, 11, 9, 9, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 4, 4, 2, 2, 1, 1, 0 *]>,
321
<48, [* 15, 15, 15, 15, 14, 14, 12, 12, 12, 12, 12, 12, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 3, 3, 3, 3, 3, 3, 1, 1, 0 *]>,
322
<50, [* 16, 16, 15, 15, 13, 13, 13, 13, 13, 13, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 4, 4, 4, 4, 4, 4, 2, 2, 1, 1, 0 *]>
323
]>,
324
325
326
327
<8,[
328
<2, [* *]>,
329
<4, [* oo *]>,
330
<6, [* oo, oo, oo *]>,
331
<8, [* oo, oo, oo, oo, 3 *]>,
332
<10, [* oo, oo, oo, oo, oo, oo, 4 *]>,
333
<12, [* oo, oo, oo, oo, oo, oo, oo, 8, 3 *]>,
334
<14, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, 6, 6 *]>,
335
<16, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 12, 7, 3 *]>,
336
<18, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 13, 8, 4 *]>,
337
<20, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 16, 9, 9, 3 *]>,
338
<22, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 16, 10, 10, 5 *]>,
339
<24, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 20, 16, 11, 7, 3 *]>,
340
<26, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 21, 12, 12, 12, 4 *]>,
341
<28, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 24, 19, 13, 13, 8, 3 *]>,
342
<30, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 23, 23, 14, 14, 6, 6 *]>,
343
<32, [* oo, oo, oo, oo, oo, oo,
344
oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 28, 24, 15, 15, 15, 7, 3 *]>,
345
<34, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 29, 25, 16, 16, 16, 8, 4 *]>,
346
<36, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 32, 26, 26, 17, 17, 9, 9, 3 *]>,
347
<38, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 32, 29, 18, 18, 18, 18, 8, 5 *]>,
348
<40, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 36, 32, 28, 19, 19, 19, 11, 7, 3 *]>,
349
<42, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 37, 32, 29, 20, 20, 20, 12, 9, 4 *]>,
350
<44, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 40, 35, 32, 21, 21, 21, 21, 11, 8, 3 *]>,
351
<46, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 39, 39, 32, 22, 22, 22, 22, 13, 6, 6 *]>,
352
<48, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 44, 40, 35, 32, 23, 23, 23, 15, 12, 7, 3 *]>,
353
<50, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 45, 41, 36, 24, 24, 24, 24, 24, 13, 8, 4 *]>
354
]>,
355
356
<16,
357
[
358
<2, [**]>,
359
<4, [* oo, oo, oo *]>,
360
<6, [* oo, oo, oo, oo, oo, oo, oo *]>,
361
<8, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 3 *]>,
362
<10, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 4 *]>,
363
<12, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 8, 3 *]>,
364
<14, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 6, 6 *]>,
365
<16, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 12, 7, 3 *]>,
366
<18, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 13, 8, 4 *]>,
367
<20, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 16, 9, 9, 3 *]>,
368
<22, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 16, 10, 10, 5 *]>,
369
<24, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 20, 16, 11, 7, 3 *]>,
370
<26, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 21, 12, 12, 12, 4 *]>,
371
<28, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 24, 19, 13, 13, 8, 3 *]>,
372
<30, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 23, 23, 14, 14, 6, 6
373
*]>,
374
<32, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 28, 24, 15, 15, 15, 7, 3 *]>,
375
<34, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 29, 25, 16, 16, 16, 8, 4 *]>,
376
<36, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 32, 26, 26, 17, 17, 9, 9, 3 *]>,
377
<38, [* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 32, 29, 18, 18, 18, 18, 8, 5 *]>,
378
<40,
379
[* oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, oo, 36, 32, 28, 19, 19, 19, 11, 7, 3 *]>
380
]>
381
382
*];
383
384
385