forked from jassch/AdamsSSMasseyProductCalculator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
massey-prods-a-h1-h0-32-102-v1.txt
278 lines (278 loc) · 10.5 KB
/
massey-prods-a-h1-h0-32-102-v1.txt
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
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
Loading and extending resolution...
Loading and computing multiplications...
Computing kernels for multiplication by h1 = (1, 1, [1])...
Computing massey products <-,(1, 1, [1]),(0, 1, [1])>...
Massey products <-,(1, 1, [1]),(0, 1, [1])> computed through degree (70, 32) out of (70, 32)
<(0, 1, [1]), h1, h0> = (2, 2, [1]) + []
<(15, 2, [1]), h1, h0> = (17, 3, [1]) + []
<(31, 2, [1]), h1, h0> = (33, 3, [1]) + []
<(63, 2, [1]), h1, h0> = (65, 3, [1, 0]) + []
<(78, 3, [1]), h1, h0> = (80, 4, [0, 1]) + []
<(9, 4, [1]), h1, h0> = (11, 5, [1]) + []
<(85, 4, [1]), h1, h0> = (87, 5, [1]) + []
<(94, 4, [1]), h1, h0> = (96, 5, [1]) + []
<(24, 5, [1]), h1, h0> = (26, 6, [1]) + []
<(40, 5, [1, 0]), h1, h0> = (42, 6, [1]) + []
<(40, 5, [1, 1]), h1, h0> = (42, 6, [1]) + []
<(72, 5, [1]), h1, h0> = (74, 6, [1, 0]) + []
<(84, 5, [1]), h1, h0> = (86, 6, [0, 1]) + []
<(92, 5, [1]), h1, h0> = (94, 6, [1, 0]) + []
<(58, 6, [1]), h1, h0> = (60, 7, [1]) + []
<(71, 6, [1, 0]), h1, h0> = (73, 7, [1, 0, 1]) + []
<(71, 6, [0, 1]), h1, h0> = (73, 7, [1, 0, 0]) + []
<(71, 6, [1, 1]), h1, h0> = (73, 7, [0, 1, 1]) + []
<(87, 6, [1]), h1, h0> = (89, 7, [1]) + []
<(23, 7, [1]), h1, h0> = (25, 8, [1]) + []
<(26, 7, [1]), h1, h0> = (28, 8, [1]) + []
<(32, 7, [1]), h1, h0> = (34, 8, [1]) + []
<(70, 7, [0, 1]), h1, h0> = (72, 8, [0, 1]) + []
<(70, 7, [1, 1]), h1, h0> = (72, 8, [0, 1]) + []
<(86, 7, [0, 1]), h1, h0> = (88, 8, [1, 0]) + []
<(86, 7, [1, 1]), h1, h0> = (88, 8, [1, 0]) + []
<(93, 7, [1]), h1, h0> = (95, 8, [1, 1]) + [
[1, 0]
]
<(17, 8, [1]), h1, h0> = (19, 9, [1]) + []
<(54, 8, [1]), h1, h0> = (56, 9, [1]) + []
<(82, 8, [1, 0]), h1, h0> = (84, 9, [1]) + []
<(82, 8, [0, 1]), h1, h0> = (84, 9, [1]) + []
<(86, 8, [1]), h1, h0> = (88, 9, [1, 1]) + [
[1, 0]
]
<(89, 8, [1]), h1, h0> = (91, 9, [0, 1]) + [
[1, 1]
]
<(92, 8, [1, 0]), h1, h0> = (94, 9, [0, 1, 1]) + [
[1, 0, 0]
]
<(92, 8, [1, 1]), h1, h0> = (94, 9, [1, 1, 1]) + [
[1, 0, 0]
]
<(42, 9, [1]), h1, h0> = (44, 10, [1]) + []
<(45, 9, [1]), h1, h0> = (47, 10, [1]) + []
<(80, 9, [1, 0]), h1, h0> = (82, 10, [1]) + []
<(80, 9, [1, 1]), h1, h0> = (82, 10, [1]) + []
<(91, 9, [1, 1]), h1, h0> = (93, 10, [0, 1, 0]) + [
[1, 0, 0]
]
<(41, 10, [1]), h1, h0> = (43, 11, [1]) + []
<(44, 10, [1]), h1, h0> = (46, 11, [1]) + []
<(47, 10, [1]), h1, h0> = (49, 11, [1]) + []
<(50, 10, [1]), h1, h0> = (52, 11, [1]) + []
<(81, 10, [0, 1]), h1, h0> = (83, 11, [1]) + []
<(81, 10, [1, 1]), h1, h0> = (83, 11, [1]) + []
<(85, 10, [1]), h1, h0> = (87, 11, [1]) + []
<(87, 10, [1]), h1, h0> = (89, 11, [1]) + []
<(34, 11, [1]), h1, h0> = (36, 12, [1]) + []
<(37, 11, [1]), h1, h0> = (39, 12, [1]) + []
<(40, 11, [1]), h1, h0> = (42, 12, [1]) + []
<(43, 11, [1]), h1, h0> = (45, 12, [1]) + []
<(46, 11, [1]), h1, h0> = (48, 12, [1]) + []
<(49, 11, [1]), h1, h0> = (51, 12, [1]) + []
<(79, 11, [1]), h1, h0> = (81, 12, [1]) + []
<(86, 11, [0, 1]), h1, h0> = (88, 12, [1, 0, 0]) + [
[1, 0, 1]
]
<(86, 11, [1, 1]), h1, h0> = (88, 12, [0, 1, 1]) + [
[1, 0, 1]
]
<(25, 12, [1]), h1, h0> = (27, 13, [1]) + []
<(45, 12, [1]), h1, h0> = (47, 13, [1, 0]) + []
<(48, 12, [1]), h1, h0> = (50, 13, [1]) + []
<(50, 13, [1]), h1, h0> = (52, 14, [1]) + []
<(56, 13, [0, 1]), h1, h0> = (58, 14, [1]) + []
<(56, 13, [1, 1]), h1, h0> = (58, 14, [1]) + []
<(65, 13, [1, 0]), h1, h0> = (67, 14, [0, 1]) + []
<(65, 13, [0, 1]), h1, h0> = (67, 14, [1, 0]) + []
<(65, 13, [1, 1]), h1, h0> = (67, 14, [1, 1]) + []
<(68, 13, [0, 1]), h1, h0> = (70, 14, [1, 1, 0]) + []
<(68, 13, [1, 1]), h1, h0> = (70, 14, [1, 1, 0]) + []
<(71, 13, [0, 1, 0]), h1, h0> = (73, 14, [1]) + []
<(71, 13, [1, 1, 0]), h1, h0> = (73, 14, [1]) + []
<(71, 13, [0, 1, 1]), h1, h0> = (73, 14, [1]) + []
<(71, 13, [1, 1, 1]), h1, h0> = (73, 14, [1]) + []
<(74, 13, [1]), h1, h0> = (76, 14, [1, 1]) + []
<(77, 13, [0, 1]), h1, h0> = (79, 14, [1]) + []
<(77, 13, [1, 1]), h1, h0> = (79, 14, [1]) + []
<(80, 13, [1]), h1, h0> = (82, 14, [1, 1]) + []
<(88, 13, [0, 1]), h1, h0> = (90, 14, [1, 0]) + [
[0, 1]
]
<(88, 13, [1, 1]), h1, h0> = (90, 14, [1, 0]) + [
[0, 1]
]
<(49, 14, [1]), h1, h0> = (51, 15, [1]) + []
<(55, 14, [1]), h1, h0> = (57, 15, [1]) + []
<(82, 14, [1, 0]), h1, h0> = (84, 15, [0, 1]) + []
<(82, 14, [1, 1]), h1, h0> = (84, 15, [0, 1]) + []
<(85, 14, [0, 1]), h1, h0> = (87, 15, [0, 1]) + []
<(85, 14, [1, 1]), h1, h0> = (87, 15, [0, 1]) + []
<(39, 15, [1]), h1, h0> = (41, 16, [1]) + []
<(42, 15, [1]), h1, h0> = (44, 16, [1]) + []
<(48, 15, [1]), h1, h0> = (50, 16, [1]) + []
<(54, 15, [1, 0]), h1, h0> = (56, 16, [1]) + []
<(54, 15, [1, 1]), h1, h0> = (56, 16, [1]) + []
<(57, 15, [1]), h1, h0> = (59, 16, [1]) + []
<(75, 15, [1]), h1, h0> = (77, 16, [0, 1]) + []
<(81, 15, [1, 1]), h1, h0> = (83, 16, [0, 1]) + [
[1, 0]
]
<(83, 15, [1]), h1, h0> = (85, 16, [0, 0, 1]) + [
[1, 1, 0]
]
<(84, 15, [0, 1]), h1, h0> = (86, 16, [0, 1, 1]) + [
[0, 1, 0]
]
<(87, 15, [0, 1]), h1, h0> = (89, 16, [1]) + []
<(87, 15, [1, 1]), h1, h0> = (89, 16, [1]) + []
<(33, 16, [1]), h1, h0> = (35, 17, [1]) + []
<(56, 16, [1]), h1, h0> = (58, 17, [1]) + []
<(59, 16, [1]), h1, h0> = (61, 17, [1]) + []
<(74, 16, [1]), h1, h0> = (76, 17, [0, 0, 1]) + [
[0, 1, 0]
]
<(77, 16, [1, 0]), h1, h0> = (79, 17, [1, 1, 0]) + [
[1, 0, 0]
]
<(77, 16, [0, 1]), h1, h0> = (79, 17, [1, 0, 1]) + [
[1, 0, 0]
]
<(80, 16, [1, 0]), h1, h0> = (82, 17, [1, 1, 0]) + [
[1, 0, 0]
]
<(80, 16, [0, 1]), h1, h0> = (82, 17, [1, 0, 1]) + [
[1, 0, 0]
]
<(83, 16, [0, 1]), h1, h0> = (85, 17, [1, 1, 0]) + [
[1, 0, 0]
]
<(83, 16, [1, 1]), h1, h0> = (85, 17, [1, 1, 0]) + [
[1, 0, 0]
]
<(86, 16, [1, 0, 0]), h1, h0> = (88, 17, [1]) + []
<(86, 16, [1, 1, 0]), h1, h0> = (88, 17, [1]) + []
<(86, 16, [0, 0, 1]), h1, h0> = (88, 17, [1]) + []
<(86, 16, [0, 1, 1]), h1, h0> = (88, 17, [1]) + []
<(58, 17, [1]), h1, h0> = (60, 18, [1]) + []
<(64, 17, [1, 0]), h1, h0> = (66, 18, [1]) + []
<(64, 17, [1, 1]), h1, h0> = (66, 18, [1]) + []
<(67, 17, [1]), h1, h0> = (69, 18, [1, 0]) + []
<(70, 17, [1, 0]), h1, h0> = (72, 18, [1, 0]) + []
<(70, 17, [0, 1]), h1, h0> = (72, 18, [0, 1]) + []
<(70, 17, [1, 1]), h1, h0> = (72, 18, [1, 1]) + []
<(73, 17, [1, 0]), h1, h0> = (75, 18, [1, 0]) + []
<(73, 17, [0, 1]), h1, h0> = (75, 18, [1, 1]) + []
<(76, 17, [1, 0, 0]), h1, h0> = (78, 18, [1, 1, 0]) + []
<(76, 17, [0, 1, 0]), h1, h0> = (78, 18, [1, 0, 0]) + []
<(76, 17, [1, 1, 0]), h1, h0> = (78, 18, [0, 0, 1]) + []
<(76, 17, [0, 0, 1]), h1, h0> = (78, 18, [0, 0, 1]) + []
<(76, 17, [1, 0, 1]), h1, h0> = (78, 18, [1, 1, 1]) + []
<(76, 17, [0, 1, 1]), h1, h0> = (78, 18, [1, 0, 1]) + []
<(79, 17, [0, 1, 0]), h1, h0> = (81, 18, [1, 1]) + []
<(79, 17, [1, 1, 0]), h1, h0> = (81, 18, [1, 1]) + []
<(79, 17, [0, 0, 1]), h1, h0> = (81, 18, [1, 0]) + []
<(79, 17, [1, 0, 1]), h1, h0> = (81, 18, [1, 0]) + []
<(82, 17, [0, 1, 0]), h1, h0> = (84, 18, [1, 0, 1]) + [
[1, 0, 0]
]
<(82, 17, [1, 1, 0]), h1, h0> = (84, 18, [0, 1, 1]) + [
[1, 0, 0]
]
<(82, 17, [0, 0, 1]), h1, h0> = (84, 18, [1, 1, 0]) + [
[1, 0, 0]
]
<(82, 17, [1, 0, 1]), h1, h0> = (84, 18, [0, 0, 1]) + [
[1, 0, 0]
]
<(85, 17, [0, 1, 0]), h1, h0> = (87, 18, [1, 0]) + []
<(85, 17, [1, 1, 0]), h1, h0> = (87, 18, [1, 0]) + []
<(85, 17, [0, 0, 1]), h1, h0> = (87, 18, [1, 1]) + []
<(85, 17, [1, 0, 1]), h1, h0> = (87, 18, [1, 1]) + []
<(57, 18, [1]), h1, h0> = (59, 19, [1]) + []
<(63, 18, [0, 1]), h1, h0> = (65, 19, [1]) + []
<(63, 18, [1, 1]), h1, h0> = (65, 19, [1]) + []
<(66, 18, [1]), h1, h0> = (68, 19, [1]) + []
<(72, 18, [1, 0]), h1, h0> = (74, 19, [1]) + []
<(75, 18, [0, 1]), h1, h0> = (77, 19, [1, 1]) + [
[0, 1]
]
<(78, 18, [0, 0, 1]), h1, h0> = (80, 19, [1]) + []
<(81, 18, [1, 0]), h1, h0> = (83, 19, [1, 1]) + [
[1, 0]
]
<(84, 18, [0, 1, 0]), h1, h0> = (86, 19, [1]) + []
<(84, 18, [1, 1, 0]), h1, h0> = (86, 19, [1]) + []
<(50, 19, [1]), h1, h0> = (52, 20, [1]) + []
<(53, 19, [1]), h1, h0> = (55, 20, [1]) + []
<(56, 19, [1]), h1, h0> = (58, 20, [1]) + []
<(59, 19, [1]), h1, h0> = (61, 20, [1]) + []
<(65, 19, [1]), h1, h0> = (67, 20, [1]) + []
<(71, 19, [1]), h1, h0> = (73, 20, [1]) + []
<(74, 19, [1]), h1, h0> = (76, 20, [1, 0]) + [
[0, 1]
]
<(77, 19, [1, 0]), h1, h0> = (79, 20, [1]) + []
<(77, 19, [1, 1]), h1, h0> = (79, 20, [1]) + []
<(80, 19, [1]), h1, h0> = (82, 20, [1]) + []
<(83, 19, [0, 1]), h1, h0> = (85, 20, [1]) + []
<(83, 19, [1, 1]), h1, h0> = (85, 20, [1]) + []
<(41, 20, [1]), h1, h0> = (43, 21, [1]) + []
<(64, 20, [1]), h1, h0> = (66, 21, [1]) + []
<(70, 20, [1, 0]), h1, h0> = (72, 21, [1, 0]) + [
[0, 1]
]
<(70, 20, [0, 1]), h1, h0> = (72, 21, [1, 1]) + [
[0, 1]
]
<(73, 20, [1]), h1, h0> = (75, 21, [1]) + []
<(76, 20, [1, 0]), h1, h0> = (78, 21, [1]) + []
<(76, 20, [1, 1]), h1, h0> = (78, 21, [1]) + []
<(79, 20, [1]), h1, h0> = (81, 21, [1, 0]) + []
<(82, 20, [1]), h1, h0> = (84, 21, [1, 0]) + []
<(66, 21, [1]), h1, h0> = (68, 22, [1]) + []
<(69, 21, [1, 0]), h1, h0> = (71, 22, [1]) + []
<(69, 21, [1, 1]), h1, h0> = (71, 22, [1]) + []
<(72, 21, [1, 0]), h1, h0> = (74, 22, [1]) + []
<(72, 21, [1, 1]), h1, h0> = (74, 22, [1]) + []
<(75, 21, [1]), h1, h0> = (77, 22, [1]) + []
<(78, 21, [1]), h1, h0> = (80, 22, [1, 0]) + []
<(81, 21, [1, 0]), h1, h0> = (83, 22, [1, 0]) + []
<(81, 21, [0, 1]), h1, h0> = (83, 22, [0, 1]) + []
<(81, 21, [1, 1]), h1, h0> = (83, 22, [1, 1]) + []
<(65, 22, [1]), h1, h0> = (67, 23, [1]) + []
<(68, 22, [1]), h1, h0> = (70, 23, [1, 1]) + [
[0, 1]
]
<(71, 22, [1]), h1, h0> = (73, 23, [1]) + []
<(74, 22, [1]), h1, h0> = (76, 23, [1]) + []
<(77, 22, [1]), h1, h0> = (79, 23, [1]) + []
<(80, 22, [1, 0]), h1, h0> = (82, 23, [1]) + []
<(55, 23, [1]), h1, h0> = (57, 24, [1]) + []
<(58, 23, [1]), h1, h0> = (60, 24, [1]) + []
<(64, 23, [1]), h1, h0> = (66, 24, [1]) + []
<(67, 23, [1]), h1, h0> = (69, 24, [1, 0]) + [
[0, 1]
]
<(70, 23, [1, 0]), h1, h0> = (72, 24, [1]) + []
<(70, 23, [1, 1]), h1, h0> = (72, 24, [1]) + []
<(73, 23, [1]), h1, h0> = (75, 24, [1]) + []
<(76, 23, [1]), h1, h0> = (78, 24, [1]) + []
<(79, 23, [1]), h1, h0> = (81, 24, [1]) + []
<(49, 24, [1]), h1, h0> = (51, 25, [1]) + []
<(72, 24, [1]), h1, h0> = (74, 25, [1]) + []
<(75, 24, [1]), h1, h0> = (77, 25, [1]) + []
<(78, 24, [1]), h1, h0> = (80, 25, [1, 0]) + [
[0, 1]
]
<(74, 25, [1]), h1, h0> = (76, 26, [1]) + []
<(77, 25, [1]), h1, h0> = (79, 26, [1]) + []
<(73, 26, [1]), h1, h0> = (75, 27, [1]) + []
<(76, 26, [1]), h1, h0> = (78, 27, [1]) + []
<(66, 27, [1]), h1, h0> = (68, 28, [1]) + []
<(69, 27, [1]), h1, h0> = (71, 28, [1]) + []
<(72, 27, [1]), h1, h0> = (74, 28, [1]) + []
<(75, 27, [1]), h1, h0> = (77, 28, [1]) + []
<(57, 28, [1]), h1, h0> = (59, 29, [1]) + []
<(62, 29, [1]), h1, h0> = (64, 30, [1]) + []
<(71, 31, [1]), h1, h0> = (73, 32, [1]) + []
<(65, 32, [1]), h1, h0> = (67, 33, [1]) + []