Sharedwww / Tables / slopes_2-adic.mOpen in CoCalc
Author: William A. Stein
1/*********************************************************************
2This is a MAGMA-readable table of the 2-adic slopes of the Hecke
3operator 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
10William Stein, February 13, 2000
11***********************************************************************/
12
13
14oo := Infinity();
15
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,
344oo, 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