-
Notifications
You must be signed in to change notification settings - Fork 1
/
massey-prods-for-a-h0-h1.txt
143 lines (143 loc) · 6.24 KB
/
massey-prods-for-a-h0-h1.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
<(1, 1, [1]), h0, h1> = (3, 2, [1]) + []
<(16, 2, [1]), h0, h1> = (18, 3, [1]) + []
<(32, 2, [1]), h0, h1> = (34, 3, [1]) + []
<(64, 2, [1]), h0, h1> = (66, 3, [1]) + []
<(21, 3, [1]), h0, h1> = (23, 4, [1]) + []
<(79, 3, [1]), h0, h1> = (81, 4, [1]) + []
<(7, 4, [1]), h0, h1> = (9, 5, [1]) + []
<(9, 5, [1]), h0, h1> = (11, 6, [1]) + []
<(18, 5, [1]), h0, h1> = (20, 6, [1]) + []
<(21, 5, [1]), h0, h1> = (23, 6, [1]) + []
<(40, 6, [1, 0]), h0, h1> = (42, 7, [1]) + []
<(40, 6, [1, 1]), h0, h1> = (42, 7, [1]) + []
<(72, 6, [1]), h0, h1> = (74, 7, [1]) + []
<(84, 6, [1, 0]), h0, h1> = (86, 7, [1, 0]) + [
[1, 1]
]
<(83, 7, [1, 0]), h0, h1> = (85, 8, [1]) + []
<(83, 7, [1, 1]), h0, h1> = (85, 8, [1]) + []
<(15, 8, [1]), h0, h1> = (17, 9, [1]) + []
<(40, 8, [1]), h0, h1> = (42, 9, [1]) + []
<(58, 8, [1]), h0, h1> = (60, 9, [1, 0]) + []
<(82, 8, [1, 0]), h0, h1> = (84, 9, [1]) + []
<(82, 8, [1, 1]), h0, h1> = (84, 9, [1]) + []
<(85, 8, [1]), h0, h1> = (87, 9, [1]) + []
<(17, 9, [1]), h0, h1> = (19, 10, [1]) + []
<(26, 9, [1]), h0, h1> = (28, 10, [1]) + []
<(32, 9, [1]), h0, h1> = (34, 10, [1]) + []
<(35, 9, [1]), h0, h1> = (37, 10, [1]) + []
<(39, 9, [1]), h0, h1> = (41, 10, [1]) + []
<(42, 9, [1]), h0, h1> = (44, 10, [1]) + []
<(45, 9, [1]), h0, h1> = (47, 10, [1]) + []
<(28, 10, [1]), h0, h1> = (30, 11, [1]) + []
<(44, 10, [1]), h0, h1> = (46, 11, [1]) + []
<(47, 10, [1]), h0, h1> = (49, 11, [1]) + []
<(50, 10, [1]), h0, h1> = (52, 11, [1]) + []
<(80, 10, [1]), h0, h1> = (82, 11, [1]) + []
<(86, 10, [1, 1]), h0, h1> = (88, 11, [1]) + []
<(46, 11, [1]), h0, h1> = (48, 12, [1]) + []
<(49, 11, [1]), h0, h1> = (51, 12, [1]) + []
<(69, 11, [1, 0]), h0, h1> = (71, 12, [0, 1]) + []
<(69, 11, [0, 1]), h0, h1> = (71, 12, [1, 1]) + []
<(69, 11, [1, 1]), h0, h1> = (71, 12, [1, 0]) + []
<(75, 11, [1]), h0, h1> = (77, 12, [1, 0]) + []
<(85, 11, [0, 1]), h0, h1> = (87, 12, [1]) + []
<(85, 11, [1, 1]), h0, h1> = (87, 12, [1]) + []
<(23, 12, [1]), h0, h1> = (25, 13, [1]) + []
<(45, 12, [1]), h0, h1> = (47, 13, [1, 1]) + []
<(48, 12, [1]), h0, h1> = (50, 13, [1]) + []
<(51, 12, [1]), h0, h1> = (53, 13, [1, 0]) + []
<(57, 12, [1]), h0, h1> = (59, 13, [1]) + []
<(25, 13, [1]), h0, h1> = (27, 14, [1]) + []
<(34, 13, [1]), h0, h1> = (36, 14, [1]) + []
<(37, 13, [1]), h0, h1> = (39, 14, [1]) + []
<(40, 13, [1]), h0, h1> = (42, 14, [1]) + []
<(50, 13, [1]), h0, h1> = (52, 14, [1]) + []
<(56, 13, [0, 1]), h0, h1> = (58, 14, [1]) + []
<(56, 13, [1, 1]), h0, h1> = (58, 14, [1]) + []
<(69, 13, [1]), h0, h1> = (71, 14, [1, 0]) + []
<(78, 13, [0, 1]), h0, h1> = (80, 14, [0, 1]) + []
<(78, 13, [1, 1]), h0, h1> = (80, 14, [0, 1]) + []
<(55, 14, [1]), h0, h1> = (57, 15, [1]) + []
<(58, 14, [1]), h0, h1> = (60, 15, [1]) + []
<(77, 14, [1, 0]), h0, h1> = (79, 15, [1]) + []
<(82, 14, [1, 0]), h0, h1> = (84, 15, [1, 1]) + []
<(82, 14, [1, 1]), h0, h1> = (84, 15, [1, 1]) + []
<(57, 15, [1]), h0, h1> = (59, 16, [1]) + []
<(60, 15, [1]), h0, h1> = (62, 16, [1, 0]) + []
<(75, 15, [1]), h0, h1> = (77, 16, [0, 1]) + []
<(31, 16, [1]), h0, h1> = (33, 17, [1]) + []
<(56, 16, [1]), h0, h1> = (58, 17, [1]) + []
<(59, 16, [1]), h0, h1> = (61, 17, [1]) + []
<(65, 16, [1]), h0, h1> = (67, 17, [1]) + []
<(68, 16, [1]), h0, h1> = (70, 17, [1, 0]) + []
<(71, 16, [1]), h0, h1> = (73, 17, [1, 1]) + []
<(74, 16, [1]), h0, h1> = (76, 17, [0, 0, 1]) + []
<(77, 16, [0, 1]), h0, h1> = (79, 17, [0, 0, 1]) + []
<(80, 16, [0, 1]), h0, h1> = (82, 17, [1, 0, 1]) + []
<(33, 17, [1]), h0, h1> = (35, 18, [1]) + []
<(42, 17, [1]), h0, h1> = (44, 18, [1]) + []
<(48, 17, [1]), h0, h1> = (50, 18, [1]) + []
<(51, 17, [1]), h0, h1> = (53, 18, [1]) + []
<(55, 17, [1]), h0, h1> = (57, 18, [1]) + []
<(58, 17, [1]), h0, h1> = (60, 18, [1]) + []
<(64, 17, [1, 0]), h0, h1> = (66, 18, [1]) + []
<(64, 17, [1, 1]), h0, h1> = (66, 18, [1]) + []
<(67, 17, [1]), h0, h1> = (69, 18, [1, 0]) + []
<(73, 17, [1, 1]), h0, h1> = (75, 18, [0, 1]) + []
<(76, 17, [0, 0, 1]), h0, h1> = (78, 18, [0, 0, 1]) + [
[1, 0, 0]
]
<(77, 17, [0, 1]), h0, h1> = (79, 18, [1, 0]) + []
<(79, 17, [0, 0, 1]), h0, h1> = (81, 18, [1, 0]) + []
<(44, 18, [1]), h0, h1> = (46, 19, [1]) + []
<(60, 18, [1]), h0, h1> = (62, 19, [1, 1]) + []
<(66, 18, [1]), h0, h1> = (68, 19, [1]) + []
<(72, 18, [1, 0]), h0, h1> = (74, 19, [1]) + []
<(75, 18, [0, 1]), h0, h1> = (77, 19, [1, 0]) + []
<(78, 18, [0, 0, 1]), h0, h1> = (80, 19, [1]) + []
<(78, 18, [1, 0, 1]), h0, h1> = (80, 19, [1]) + []
<(65, 19, [1]), h0, h1> = (67, 20, [1]) + []
<(71, 19, [1]), h0, h1> = (73, 20, [1]) + []
<(73, 19, [1]), h0, h1> = (75, 20, [1]) + []
<(74, 19, [1]), h0, h1> = (76, 20, [1, 0]) + []
<(76, 19, [0, 1]), h0, h1> = (78, 20, [1]) + []
<(77, 19, [1, 0]), h0, h1> = (79, 20, [1]) + []
<(39, 20, [1]), h0, h1> = (41, 21, [1]) + []
<(64, 20, [1]), h0, h1> = (66, 21, [1]) + []
<(67, 20, [1]), h0, h1> = (69, 21, [1, 0]) + []
<(70, 20, [1, 0]), h0, h1> = (72, 21, [1, 1]) + [
[0, 1]
]
<(73, 20, [1]), h0, h1> = (75, 21, [1]) + []
<(75, 20, [1]), h0, h1> = (77, 21, [1]) + []
<(76, 20, [1, 0]), h0, h1> = (78, 21, [1]) + []
<(41, 21, [1]), h0, h1> = (43, 22, [1]) + []
<(50, 21, [1]), h0, h1> = (52, 22, [1]) + []
<(53, 21, [1]), h0, h1> = (55, 22, [1]) + []
<(56, 21, [1]), h0, h1> = (58, 22, [1]) + []
<(66, 21, [1]), h0, h1> = (68, 22, [1]) + []
<(69, 21, [1, 0]), h0, h1> = (71, 22, [1]) + []
<(72, 21, [1, 0]), h0, h1> = (74, 22, [1]) + []
<(72, 21, [1, 1]), h0, h1> = (74, 22, [1]) + []
<(75, 21, [1]), h0, h1> = (77, 22, [1]) + []
<(68, 22, [1]), h0, h1> = (70, 23, [1, 1]) + []
<(71, 22, [1]), h0, h1> = (73, 23, [1]) + []
<(74, 22, [1]), h0, h1> = (76, 23, [1]) + []
<(70, 23, [1, 1]), h0, h1> = (72, 24, [1]) + []
<(73, 23, [1]), h0, h1> = (75, 24, [1]) + []
<(47, 24, [1]), h0, h1> = (49, 25, [1]) + []
<(69, 24, [1, 0]), h0, h1> = (71, 25, [1]) + []
<(72, 24, [1]), h0, h1> = (74, 25, [1]) + []
<(49, 25, [1]), h0, h1> = (51, 26, [1]) + []
<(58, 25, [1]), h0, h1> = (60, 26, [1]) + []
<(64, 25, [1]), h0, h1> = (66, 26, [1]) + []
<(67, 25, [1]), h0, h1> = (69, 26, [1]) + []
<(71, 25, [1]), h0, h1> = (73, 26, [1]) + []
<(60, 26, [1]), h0, h1> = (62, 27, [1]) + []
<(55, 28, [1]), h0, h1> = (57, 29, [1]) + []
<(57, 29, [1]), h0, h1> = (59, 30, [1]) + []
<(63, 29, [0, 1]), h0, h1> = (65, 30, [1]) + []
<(66, 29, [1]), h0, h1> = (68, 30, [1]) + []
<(62, 30, [1]), h0, h1> = (64, 31, [1]) + []
<(63, 32, [1]), h0, h1> = (65, 33, [1]) + []