-
Notifications
You must be signed in to change notification settings - Fork 22
/
mqkeeloq.txt
256 lines (256 loc) · 16.2 KB
/
mqkeeloq.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
L_0_0 + 0
L_0_1 + 0
L_0_2 + 0
L_0_3 + 0
L_0_4 + 1
L_0_5 + 1
L_0_6 + 0
L_0_7 + 1
L_0_8 + 1
L_0_9 + 1
L_0_10 + 1
L_0_11 + 0
L_0_12 + 0
L_0_13 + 0
L_0_14 + 0
L_0_15 + 1
L_0_16 + 1
L_0_17 + 0
L_0_18 + 1
L_0_19 + 1
L_0_20 + 1
L_0_21 + 1
L_0_22 + 0
L_0_23 + 0
L_0_24 + 1
L_0_25 + 1
L_0_26 + 1
L_0_27 + 0
L_0_28 + 0
L_0_29 + 0
L_0_30 + 1
L_0_31 + 0
L_0_32 + k_0 + L_0_0 + L_0_16 + L_0_9 + L_0_1 + L_0_31*L_0_20 + b_0_32 + L_0_26*L_0_20 + L_0_26*L_0_1 + L_0_20*L_0_9 + L_0_9*L_0_1 + b_0_32*L_0_9 + b_0_32*L_0_20 + a_0_32*L_0_9 + a_0_32*L_0_20
a_0_32 + L_0_31*L_0_26
b_0_32 + L_0_31*L_0_1
L_0_33 + k_1 + L_0_1 + L_0_17 + L_0_10 + L_0_2 + L_0_32*L_0_21 + b_0_33 + L_0_27*L_0_21 + L_0_27*L_0_2 + L_0_21*L_0_10 + L_0_10*L_0_2 + b_0_33*L_0_10 + b_0_33*L_0_21 + a_0_33*L_0_10 + a_0_33*L_0_21
a_0_33 + L_0_32*L_0_27
b_0_33 + L_0_32*L_0_2
L_0_34 + k_2 + L_0_2 + L_0_18 + L_0_11 + L_0_3 + L_0_33*L_0_22 + b_0_34 + L_0_28*L_0_22 + L_0_28*L_0_3 + L_0_22*L_0_11 + L_0_11*L_0_3 + b_0_34*L_0_11 + b_0_34*L_0_22 + a_0_34*L_0_11 + a_0_34*L_0_22
a_0_34 + L_0_33*L_0_28
b_0_34 + L_0_33*L_0_3
L_0_35 + k_3 + L_0_3 + L_0_19 + L_0_12 + L_0_4 + L_0_34*L_0_23 + b_0_35 + L_0_29*L_0_23 + L_0_29*L_0_4 + L_0_23*L_0_12 + L_0_12*L_0_4 + b_0_35*L_0_12 + b_0_35*L_0_23 + a_0_35*L_0_12 + a_0_35*L_0_23
a_0_35 + L_0_34*L_0_29
b_0_35 + L_0_34*L_0_4
L_0_36 + k_4 + L_0_4 + L_0_20 + L_0_13 + L_0_5 + L_0_35*L_0_24 + b_0_36 + L_0_30*L_0_24 + L_0_30*L_0_5 + L_0_24*L_0_13 + L_0_13*L_0_5 + b_0_36*L_0_13 + b_0_36*L_0_24 + a_0_36*L_0_13 + a_0_36*L_0_24
a_0_36 + L_0_35*L_0_30
b_0_36 + L_0_35*L_0_5
L_0_37 + k_5 + L_0_5 + L_0_21 + L_0_14 + L_0_6 + L_0_36*L_0_25 + b_0_37 + L_0_31*L_0_25 + L_0_31*L_0_6 + L_0_25*L_0_14 + L_0_14*L_0_6 + b_0_37*L_0_14 + b_0_37*L_0_25 + a_0_37*L_0_14 + a_0_37*L_0_25
a_0_37 + L_0_36*L_0_31
b_0_37 + L_0_36*L_0_6
L_0_38 + k_6 + L_0_6 + L_0_22 + L_0_15 + L_0_7 + L_0_37*L_0_26 + b_0_38 + L_0_32*L_0_26 + L_0_32*L_0_7 + L_0_26*L_0_15 + L_0_15*L_0_7 + b_0_38*L_0_15 + b_0_38*L_0_26 + a_0_38*L_0_15 + a_0_38*L_0_26
a_0_38 + L_0_37*L_0_32
b_0_38 + L_0_37*L_0_7
L_0_39 + k_7 + L_0_7 + L_0_23 + L_0_16 + L_0_8 + L_0_38*L_0_27 + b_0_39 + L_0_33*L_0_27 + L_0_33*L_0_8 + L_0_27*L_0_16 + L_0_16*L_0_8 + b_0_39*L_0_16 + b_0_39*L_0_27 + a_0_39*L_0_16 + a_0_39*L_0_27
a_0_39 + L_0_38*L_0_33
b_0_39 + L_0_38*L_0_8
L_0_40 + k_8 + L_0_8 + L_0_24 + L_0_17 + L_0_9 + L_0_39*L_0_28 + b_0_40 + L_0_34*L_0_28 + L_0_34*L_0_9 + L_0_28*L_0_17 + L_0_17*L_0_9 + b_0_40*L_0_17 + b_0_40*L_0_28 + a_0_40*L_0_17 + a_0_40*L_0_28
a_0_40 + L_0_39*L_0_34
b_0_40 + L_0_39*L_0_9
L_0_41 + k_9 + L_0_9 + L_0_25 + L_0_18 + L_0_10 + L_0_40*L_0_29 + b_0_41 + L_0_35*L_0_29 + L_0_35*L_0_10 + L_0_29*L_0_18 + L_0_18*L_0_10 + b_0_41*L_0_18 + b_0_41*L_0_29 + a_0_41*L_0_18 + a_0_41*L_0_29
a_0_41 + L_0_40*L_0_35
b_0_41 + L_0_40*L_0_10
L_0_42 + k_10 + L_0_10 + L_0_26 + L_0_19 + L_0_11 + L_0_41*L_0_30 + b_0_42 + L_0_36*L_0_30 + L_0_36*L_0_11 + L_0_30*L_0_19 + L_0_19*L_0_11 + b_0_42*L_0_19 + b_0_42*L_0_30 + a_0_42*L_0_19 + a_0_42*L_0_30
a_0_42 + L_0_41*L_0_36
b_0_42 + L_0_41*L_0_11
L_0_43 + k_11 + L_0_11 + L_0_27 + L_0_20 + L_0_12 + L_0_42*L_0_31 + b_0_43 + L_0_37*L_0_31 + L_0_37*L_0_12 + L_0_31*L_0_20 + L_0_20*L_0_12 + b_0_43*L_0_20 + b_0_43*L_0_31 + a_0_43*L_0_20 + a_0_43*L_0_31
a_0_43 + L_0_42*L_0_37
b_0_43 + L_0_42*L_0_12
L_0_44 + k_12 + L_0_12 + L_0_28 + L_0_21 + L_0_13 + L_0_43*L_0_32 + b_0_44 + L_0_38*L_0_32 + L_0_38*L_0_13 + L_0_32*L_0_21 + L_0_21*L_0_13 + b_0_44*L_0_21 + b_0_44*L_0_32 + a_0_44*L_0_21 + a_0_44*L_0_32
a_0_44 + L_0_43*L_0_38
b_0_44 + L_0_43*L_0_13
L_0_45 + k_13 + L_0_13 + L_0_29 + L_0_22 + L_0_14 + L_0_44*L_0_33 + b_0_45 + L_0_39*L_0_33 + L_0_39*L_0_14 + L_0_33*L_0_22 + L_0_22*L_0_14 + b_0_45*L_0_22 + b_0_45*L_0_33 + a_0_45*L_0_22 + a_0_45*L_0_33
a_0_45 + L_0_44*L_0_39
b_0_45 + L_0_44*L_0_14
L_0_46 + k_14 + L_0_14 + L_0_30 + L_0_23 + L_0_15 + L_0_45*L_0_34 + b_0_46 + L_0_40*L_0_34 + L_0_40*L_0_15 + L_0_34*L_0_23 + L_0_23*L_0_15 + b_0_46*L_0_23 + b_0_46*L_0_34 + a_0_46*L_0_23 + a_0_46*L_0_34
a_0_46 + L_0_45*L_0_40
b_0_46 + L_0_45*L_0_15
L_0_47 + k_15 + L_0_15 + L_0_31 + L_0_24 + L_0_16 + L_0_46*L_0_35 + b_0_47 + L_0_41*L_0_35 + L_0_41*L_0_16 + L_0_35*L_0_24 + L_0_24*L_0_16 + b_0_47*L_0_24 + b_0_47*L_0_35 + a_0_47*L_0_24 + a_0_47*L_0_35
a_0_47 + L_0_46*L_0_41
b_0_47 + L_0_46*L_0_16
L_0_48 + k_16 + L_0_16 + L_0_32 + L_0_25 + L_0_17 + L_0_47*L_0_36 + b_0_48 + L_0_42*L_0_36 + L_0_42*L_0_17 + L_0_36*L_0_25 + L_0_25*L_0_17 + b_0_48*L_0_25 + b_0_48*L_0_36 + a_0_48*L_0_25 + a_0_48*L_0_36
a_0_48 + L_0_47*L_0_42
b_0_48 + L_0_47*L_0_17
L_0_49 + k_17 + L_0_17 + L_0_33 + L_0_26 + L_0_18 + L_0_48*L_0_37 + b_0_49 + L_0_43*L_0_37 + L_0_43*L_0_18 + L_0_37*L_0_26 + L_0_26*L_0_18 + b_0_49*L_0_26 + b_0_49*L_0_37 + a_0_49*L_0_26 + a_0_49*L_0_37
a_0_49 + L_0_48*L_0_43
b_0_49 + L_0_48*L_0_18
L_0_50 + k_18 + L_0_18 + L_0_34 + L_0_27 + L_0_19 + L_0_49*L_0_38 + b_0_50 + L_0_44*L_0_38 + L_0_44*L_0_19 + L_0_38*L_0_27 + L_0_27*L_0_19 + b_0_50*L_0_27 + b_0_50*L_0_38 + a_0_50*L_0_27 + a_0_50*L_0_38
a_0_50 + L_0_49*L_0_44
b_0_50 + L_0_49*L_0_19
L_0_51 + k_19 + L_0_19 + L_0_35 + L_0_28 + L_0_20 + L_0_50*L_0_39 + b_0_51 + L_0_45*L_0_39 + L_0_45*L_0_20 + L_0_39*L_0_28 + L_0_28*L_0_20 + b_0_51*L_0_28 + b_0_51*L_0_39 + a_0_51*L_0_28 + a_0_51*L_0_39
a_0_51 + L_0_50*L_0_45
b_0_51 + L_0_50*L_0_20
L_0_52 + k_20 + L_0_20 + L_0_36 + L_0_29 + L_0_21 + L_0_51*L_0_40 + b_0_52 + L_0_46*L_0_40 + L_0_46*L_0_21 + L_0_40*L_0_29 + L_0_29*L_0_21 + b_0_52*L_0_29 + b_0_52*L_0_40 + a_0_52*L_0_29 + a_0_52*L_0_40
a_0_52 + L_0_51*L_0_46
b_0_52 + L_0_51*L_0_21
L_0_53 + k_21 + L_0_21 + L_0_37 + L_0_30 + L_0_22 + L_0_52*L_0_41 + b_0_53 + L_0_47*L_0_41 + L_0_47*L_0_22 + L_0_41*L_0_30 + L_0_30*L_0_22 + b_0_53*L_0_30 + b_0_53*L_0_41 + a_0_53*L_0_30 + a_0_53*L_0_41
a_0_53 + L_0_52*L_0_47
b_0_53 + L_0_52*L_0_22
L_0_54 + k_22 + L_0_22 + L_0_38 + L_0_31 + L_0_23 + L_0_53*L_0_42 + b_0_54 + L_0_48*L_0_42 + L_0_48*L_0_23 + L_0_42*L_0_31 + L_0_31*L_0_23 + b_0_54*L_0_31 + b_0_54*L_0_42 + a_0_54*L_0_31 + a_0_54*L_0_42
a_0_54 + L_0_53*L_0_48
b_0_54 + L_0_53*L_0_23
L_0_55 + k_23 + L_0_23 + L_0_39 + L_0_32 + L_0_24 + L_0_54*L_0_43 + b_0_55 + L_0_49*L_0_43 + L_0_49*L_0_24 + L_0_43*L_0_32 + L_0_32*L_0_24 + b_0_55*L_0_32 + b_0_55*L_0_43 + a_0_55*L_0_32 + a_0_55*L_0_43
a_0_55 + L_0_54*L_0_49
b_0_55 + L_0_54*L_0_24
L_0_56 + k_24 + L_0_24 + L_0_40 + L_0_33 + L_0_25 + L_0_55*L_0_44 + b_0_56 + L_0_50*L_0_44 + L_0_50*L_0_25 + L_0_44*L_0_33 + L_0_33*L_0_25 + b_0_56*L_0_33 + b_0_56*L_0_44 + a_0_56*L_0_33 + a_0_56*L_0_44
a_0_56 + L_0_55*L_0_50
b_0_56 + L_0_55*L_0_25
L_0_57 + k_25 + L_0_25 + L_0_41 + L_0_34 + L_0_26 + L_0_56*L_0_45 + b_0_57 + L_0_51*L_0_45 + L_0_51*L_0_26 + L_0_45*L_0_34 + L_0_34*L_0_26 + b_0_57*L_0_34 + b_0_57*L_0_45 + a_0_57*L_0_34 + a_0_57*L_0_45
a_0_57 + L_0_56*L_0_51
b_0_57 + L_0_56*L_0_26
L_0_58 + k_26 + L_0_26 + L_0_42 + L_0_35 + L_0_27 + L_0_57*L_0_46 + b_0_58 + L_0_52*L_0_46 + L_0_52*L_0_27 + L_0_46*L_0_35 + L_0_35*L_0_27 + b_0_58*L_0_35 + b_0_58*L_0_46 + a_0_58*L_0_35 + a_0_58*L_0_46
a_0_58 + L_0_57*L_0_52
b_0_58 + L_0_57*L_0_27
L_0_59 + k_27 + L_0_27 + L_0_43 + L_0_36 + L_0_28 + L_0_58*L_0_47 + b_0_59 + L_0_53*L_0_47 + L_0_53*L_0_28 + L_0_47*L_0_36 + L_0_36*L_0_28 + b_0_59*L_0_36 + b_0_59*L_0_47 + a_0_59*L_0_36 + a_0_59*L_0_47
a_0_59 + L_0_58*L_0_53
b_0_59 + L_0_58*L_0_28
L_0_60 + k_28 + L_0_28 + L_0_44 + L_0_37 + L_0_29 + L_0_59*L_0_48 + b_0_60 + L_0_54*L_0_48 + L_0_54*L_0_29 + L_0_48*L_0_37 + L_0_37*L_0_29 + b_0_60*L_0_37 + b_0_60*L_0_48 + a_0_60*L_0_37 + a_0_60*L_0_48
a_0_60 + L_0_59*L_0_54
b_0_60 + L_0_59*L_0_29
L_0_61 + k_29 + L_0_29 + L_0_45 + L_0_38 + L_0_30 + L_0_60*L_0_49 + b_0_61 + L_0_55*L_0_49 + L_0_55*L_0_30 + L_0_49*L_0_38 + L_0_38*L_0_30 + b_0_61*L_0_38 + b_0_61*L_0_49 + a_0_61*L_0_38 + a_0_61*L_0_49
a_0_61 + L_0_60*L_0_55
b_0_61 + L_0_60*L_0_30
L_0_62 + k_30 + L_0_30 + L_0_46 + L_0_39 + L_0_31 + L_0_61*L_0_50 + b_0_62 + L_0_56*L_0_50 + L_0_56*L_0_31 + L_0_50*L_0_39 + L_0_39*L_0_31 + b_0_62*L_0_39 + b_0_62*L_0_50 + a_0_62*L_0_39 + a_0_62*L_0_50
a_0_62 + L_0_61*L_0_56
b_0_62 + L_0_61*L_0_31
L_0_63 + k_31 + L_0_31 + L_0_47 + L_0_40 + L_0_32 + L_0_62*L_0_51 + b_0_63 + L_0_57*L_0_51 + L_0_57*L_0_32 + L_0_51*L_0_40 + L_0_40*L_0_32 + b_0_63*L_0_40 + b_0_63*L_0_51 + a_0_63*L_0_40 + a_0_63*L_0_51
a_0_63 + L_0_62*L_0_57
b_0_63 + L_0_62*L_0_32
L_0_64 + k_32 + L_0_32 + L_0_48 + L_0_41 + L_0_33 + L_0_63*L_0_52 + b_0_64 + L_0_58*L_0_52 + L_0_58*L_0_33 + L_0_52*L_0_41 + L_0_41*L_0_33 + b_0_64*L_0_41 + b_0_64*L_0_52 + a_0_64*L_0_41 + a_0_64*L_0_52
a_0_64 + L_0_63*L_0_58
b_0_64 + L_0_63*L_0_33
L_0_65 + k_33 + L_0_33 + L_0_49 + L_0_42 + L_0_34 + L_0_64*L_0_53 + b_0_65 + L_0_59*L_0_53 + L_0_59*L_0_34 + L_0_53*L_0_42 + L_0_42*L_0_34 + b_0_65*L_0_42 + b_0_65*L_0_53 + a_0_65*L_0_42 + a_0_65*L_0_53
a_0_65 + L_0_64*L_0_59
b_0_65 + L_0_64*L_0_34
L_0_66 + k_34 + L_0_34 + L_0_50 + L_0_43 + L_0_35 + L_0_65*L_0_54 + b_0_66 + L_0_60*L_0_54 + L_0_60*L_0_35 + L_0_54*L_0_43 + L_0_43*L_0_35 + b_0_66*L_0_43 + b_0_66*L_0_54 + a_0_66*L_0_43 + a_0_66*L_0_54
a_0_66 + L_0_65*L_0_60
b_0_66 + L_0_65*L_0_35
L_0_67 + k_35 + L_0_35 + L_0_51 + L_0_44 + L_0_36 + L_0_66*L_0_55 + b_0_67 + L_0_61*L_0_55 + L_0_61*L_0_36 + L_0_55*L_0_44 + L_0_44*L_0_36 + b_0_67*L_0_44 + b_0_67*L_0_55 + a_0_67*L_0_44 + a_0_67*L_0_55
a_0_67 + L_0_66*L_0_61
b_0_67 + L_0_66*L_0_36
L_0_68 + k_36 + L_0_36 + L_0_52 + L_0_45 + L_0_37 + L_0_67*L_0_56 + b_0_68 + L_0_62*L_0_56 + L_0_62*L_0_37 + L_0_56*L_0_45 + L_0_45*L_0_37 + b_0_68*L_0_45 + b_0_68*L_0_56 + a_0_68*L_0_45 + a_0_68*L_0_56
a_0_68 + L_0_67*L_0_62
b_0_68 + L_0_67*L_0_37
L_0_69 + k_37 + L_0_37 + L_0_53 + L_0_46 + L_0_38 + L_0_68*L_0_57 + b_0_69 + L_0_63*L_0_57 + L_0_63*L_0_38 + L_0_57*L_0_46 + L_0_46*L_0_38 + b_0_69*L_0_46 + b_0_69*L_0_57 + a_0_69*L_0_46 + a_0_69*L_0_57
a_0_69 + L_0_68*L_0_63
b_0_69 + L_0_68*L_0_38
L_0_70 + k_38 + L_0_38 + L_0_54 + L_0_47 + L_0_39 + L_0_69*L_0_58 + b_0_70 + L_0_64*L_0_58 + L_0_64*L_0_39 + L_0_58*L_0_47 + L_0_47*L_0_39 + b_0_70*L_0_47 + b_0_70*L_0_58 + a_0_70*L_0_47 + a_0_70*L_0_58
a_0_70 + L_0_69*L_0_64
b_0_70 + L_0_69*L_0_39
L_0_71 + k_39 + L_0_39 + L_0_55 + L_0_48 + L_0_40 + L_0_70*L_0_59 + b_0_71 + L_0_65*L_0_59 + L_0_65*L_0_40 + L_0_59*L_0_48 + L_0_48*L_0_40 + b_0_71*L_0_48 + b_0_71*L_0_59 + a_0_71*L_0_48 + a_0_71*L_0_59
a_0_71 + L_0_70*L_0_65
b_0_71 + L_0_70*L_0_40
L_0_72 + k_40 + L_0_40 + L_0_56 + L_0_49 + L_0_41 + L_0_71*L_0_60 + b_0_72 + L_0_66*L_0_60 + L_0_66*L_0_41 + L_0_60*L_0_49 + L_0_49*L_0_41 + b_0_72*L_0_49 + b_0_72*L_0_60 + a_0_72*L_0_49 + a_0_72*L_0_60
a_0_72 + L_0_71*L_0_66
b_0_72 + L_0_71*L_0_41
L_0_73 + k_41 + L_0_41 + L_0_57 + L_0_50 + L_0_42 + L_0_72*L_0_61 + b_0_73 + L_0_67*L_0_61 + L_0_67*L_0_42 + L_0_61*L_0_50 + L_0_50*L_0_42 + b_0_73*L_0_50 + b_0_73*L_0_61 + a_0_73*L_0_50 + a_0_73*L_0_61
a_0_73 + L_0_72*L_0_67
b_0_73 + L_0_72*L_0_42
L_0_74 + k_42 + L_0_42 + L_0_58 + L_0_51 + L_0_43 + L_0_73*L_0_62 + b_0_74 + L_0_68*L_0_62 + L_0_68*L_0_43 + L_0_62*L_0_51 + L_0_51*L_0_43 + b_0_74*L_0_51 + b_0_74*L_0_62 + a_0_74*L_0_51 + a_0_74*L_0_62
a_0_74 + L_0_73*L_0_68
b_0_74 + L_0_73*L_0_43
L_0_75 + k_43 + L_0_43 + L_0_59 + L_0_52 + L_0_44 + L_0_74*L_0_63 + b_0_75 + L_0_69*L_0_63 + L_0_69*L_0_44 + L_0_63*L_0_52 + L_0_52*L_0_44 + b_0_75*L_0_52 + b_0_75*L_0_63 + a_0_75*L_0_52 + a_0_75*L_0_63
a_0_75 + L_0_74*L_0_69
b_0_75 + L_0_74*L_0_44
L_0_76 + k_44 + L_0_44 + L_0_60 + L_0_53 + L_0_45 + L_0_75*L_0_64 + b_0_76 + L_0_70*L_0_64 + L_0_70*L_0_45 + L_0_64*L_0_53 + L_0_53*L_0_45 + b_0_76*L_0_53 + b_0_76*L_0_64 + a_0_76*L_0_53 + a_0_76*L_0_64
a_0_76 + L_0_75*L_0_70
b_0_76 + L_0_75*L_0_45
L_0_77 + k_45 + L_0_45 + L_0_61 + L_0_54 + L_0_46 + L_0_76*L_0_65 + b_0_77 + L_0_71*L_0_65 + L_0_71*L_0_46 + L_0_65*L_0_54 + L_0_54*L_0_46 + b_0_77*L_0_54 + b_0_77*L_0_65 + a_0_77*L_0_54 + a_0_77*L_0_65
a_0_77 + L_0_76*L_0_71
b_0_77 + L_0_76*L_0_46
L_0_78 + k_46 + L_0_46 + L_0_62 + L_0_55 + L_0_47 + L_0_77*L_0_66 + b_0_78 + L_0_72*L_0_66 + L_0_72*L_0_47 + L_0_66*L_0_55 + L_0_55*L_0_47 + b_0_78*L_0_55 + b_0_78*L_0_66 + a_0_78*L_0_55 + a_0_78*L_0_66
a_0_78 + L_0_77*L_0_72
b_0_78 + L_0_77*L_0_47
L_0_79 + k_47 + L_0_47 + L_0_63 + L_0_56 + L_0_48 + L_0_78*L_0_67 + b_0_79 + L_0_73*L_0_67 + L_0_73*L_0_48 + L_0_67*L_0_56 + L_0_56*L_0_48 + b_0_79*L_0_56 + b_0_79*L_0_67 + a_0_79*L_0_56 + a_0_79*L_0_67
a_0_79 + L_0_78*L_0_73
b_0_79 + L_0_78*L_0_48
L_0_80 + k_48 + L_0_48 + L_0_64 + L_0_57 + L_0_49 + L_0_79*L_0_68 + b_0_80 + L_0_74*L_0_68 + L_0_74*L_0_49 + L_0_68*L_0_57 + L_0_57*L_0_49 + b_0_80*L_0_57 + b_0_80*L_0_68 + a_0_80*L_0_57 + a_0_80*L_0_68
a_0_80 + L_0_79*L_0_74
b_0_80 + L_0_79*L_0_49
L_0_81 + k_49 + L_0_49 + L_0_65 + L_0_58 + L_0_50 + L_0_80*L_0_69 + b_0_81 + L_0_75*L_0_69 + L_0_75*L_0_50 + L_0_69*L_0_58 + L_0_58*L_0_50 + b_0_81*L_0_58 + b_0_81*L_0_69 + a_0_81*L_0_58 + a_0_81*L_0_69
a_0_81 + L_0_80*L_0_75
b_0_81 + L_0_80*L_0_50
L_0_82 + k_50 + L_0_50 + L_0_66 + L_0_59 + L_0_51 + L_0_81*L_0_70 + b_0_82 + L_0_76*L_0_70 + L_0_76*L_0_51 + L_0_70*L_0_59 + L_0_59*L_0_51 + b_0_82*L_0_59 + b_0_82*L_0_70 + a_0_82*L_0_59 + a_0_82*L_0_70
a_0_82 + L_0_81*L_0_76
b_0_82 + L_0_81*L_0_51
L_0_83 + k_51 + L_0_51 + L_0_67 + L_0_60 + L_0_52 + L_0_82*L_0_71 + b_0_83 + L_0_77*L_0_71 + L_0_77*L_0_52 + L_0_71*L_0_60 + L_0_60*L_0_52 + b_0_83*L_0_60 + b_0_83*L_0_71 + a_0_83*L_0_60 + a_0_83*L_0_71
a_0_83 + L_0_82*L_0_77
b_0_83 + L_0_82*L_0_52
L_0_84 + k_52 + L_0_52 + L_0_68 + L_0_61 + L_0_53 + L_0_83*L_0_72 + b_0_84 + L_0_78*L_0_72 + L_0_78*L_0_53 + L_0_72*L_0_61 + L_0_61*L_0_53 + b_0_84*L_0_61 + b_0_84*L_0_72 + a_0_84*L_0_61 + a_0_84*L_0_72
a_0_84 + L_0_83*L_0_78
b_0_84 + L_0_83*L_0_53
L_0_85 + k_53 + L_0_53 + L_0_69 + L_0_62 + L_0_54 + L_0_84*L_0_73 + b_0_85 + L_0_79*L_0_73 + L_0_79*L_0_54 + L_0_73*L_0_62 + L_0_62*L_0_54 + b_0_85*L_0_62 + b_0_85*L_0_73 + a_0_85*L_0_62 + a_0_85*L_0_73
a_0_85 + L_0_84*L_0_79
b_0_85 + L_0_84*L_0_54
L_0_86 + k_54 + L_0_54 + L_0_70 + L_0_63 + L_0_55 + L_0_85*L_0_74 + b_0_86 + L_0_80*L_0_74 + L_0_80*L_0_55 + L_0_74*L_0_63 + L_0_63*L_0_55 + b_0_86*L_0_63 + b_0_86*L_0_74 + a_0_86*L_0_63 + a_0_86*L_0_74
a_0_86 + L_0_85*L_0_80
b_0_86 + L_0_85*L_0_55
L_0_87 + k_55 + L_0_55 + L_0_71 + L_0_64 + L_0_56 + L_0_86*L_0_75 + b_0_87 + L_0_81*L_0_75 + L_0_81*L_0_56 + L_0_75*L_0_64 + L_0_64*L_0_56 + b_0_87*L_0_64 + b_0_87*L_0_75 + a_0_87*L_0_64 + a_0_87*L_0_75
a_0_87 + L_0_86*L_0_81
b_0_87 + L_0_86*L_0_56
L_0_88 + k_56 + L_0_56 + L_0_72 + L_0_65 + L_0_57 + L_0_87*L_0_76 + b_0_88 + L_0_82*L_0_76 + L_0_82*L_0_57 + L_0_76*L_0_65 + L_0_65*L_0_57 + b_0_88*L_0_65 + b_0_88*L_0_76 + a_0_88*L_0_65 + a_0_88*L_0_76
a_0_88 + L_0_87*L_0_82
b_0_88 + L_0_87*L_0_57
L_0_89 + k_57 + L_0_57 + L_0_73 + L_0_66 + L_0_58 + L_0_88*L_0_77 + b_0_89 + L_0_83*L_0_77 + L_0_83*L_0_58 + L_0_77*L_0_66 + L_0_66*L_0_58 + b_0_89*L_0_66 + b_0_89*L_0_77 + a_0_89*L_0_66 + a_0_89*L_0_77
a_0_89 + L_0_88*L_0_83
b_0_89 + L_0_88*L_0_58
L_0_90 + k_58 + L_0_58 + L_0_74 + L_0_67 + L_0_59 + L_0_89*L_0_78 + b_0_90 + L_0_84*L_0_78 + L_0_84*L_0_59 + L_0_78*L_0_67 + L_0_67*L_0_59 + b_0_90*L_0_67 + b_0_90*L_0_78 + a_0_90*L_0_67 + a_0_90*L_0_78
a_0_90 + L_0_89*L_0_84
b_0_90 + L_0_89*L_0_59
L_0_91 + k_59 + L_0_59 + L_0_75 + L_0_68 + L_0_60 + L_0_90*L_0_79 + b_0_91 + L_0_85*L_0_79 + L_0_85*L_0_60 + L_0_79*L_0_68 + L_0_68*L_0_60 + b_0_91*L_0_68 + b_0_91*L_0_79 + a_0_91*L_0_68 + a_0_91*L_0_79
a_0_91 + L_0_90*L_0_85
b_0_91 + L_0_90*L_0_60
L_0_92 + k_60 + L_0_60 + L_0_76 + L_0_69 + L_0_61 + L_0_91*L_0_80 + b_0_92 + L_0_86*L_0_80 + L_0_86*L_0_61 + L_0_80*L_0_69 + L_0_69*L_0_61 + b_0_92*L_0_69 + b_0_92*L_0_80 + a_0_92*L_0_69 + a_0_92*L_0_80
a_0_92 + L_0_91*L_0_86
b_0_92 + L_0_91*L_0_61
L_0_93 + k_61 + L_0_61 + L_0_77 + L_0_70 + L_0_62 + L_0_92*L_0_81 + b_0_93 + L_0_87*L_0_81 + L_0_87*L_0_62 + L_0_81*L_0_70 + L_0_70*L_0_62 + b_0_93*L_0_70 + b_0_93*L_0_81 + a_0_93*L_0_70 + a_0_93*L_0_81
a_0_93 + L_0_92*L_0_87
b_0_93 + L_0_92*L_0_62
L_0_94 + k_62 + L_0_62 + L_0_78 + L_0_71 + L_0_63 + L_0_93*L_0_82 + b_0_94 + L_0_88*L_0_82 + L_0_88*L_0_63 + L_0_82*L_0_71 + L_0_71*L_0_63 + b_0_94*L_0_71 + b_0_94*L_0_82 + a_0_94*L_0_71 + a_0_94*L_0_82
a_0_94 + L_0_93*L_0_88
b_0_94 + L_0_93*L_0_63
L_0_95 + k_63 + L_0_63 + L_0_79 + L_0_72 + L_0_64 + L_0_94*L_0_83 + b_0_95 + L_0_89*L_0_83 + L_0_89*L_0_64 + L_0_83*L_0_72 + L_0_72*L_0_64 + b_0_95*L_0_72 + b_0_95*L_0_83 + a_0_95*L_0_72 + a_0_95*L_0_83
a_0_95 + L_0_94*L_0_89
b_0_95 + L_0_94*L_0_64
L_0_64 + 0
L_0_65 + 0
L_0_66 + 1
L_0_67 + 1
L_0_68 + 1
L_0_69 + 0
L_0_70 + 0
L_0_71 + 1
L_0_72 + 1
L_0_73 + 1
L_0_74 + 0
L_0_75 + 0
L_0_76 + 1
L_0_77 + 0
L_0_78 + 1
L_0_79 + 0
L_0_80 + 0
L_0_81 + 1
L_0_82 + 1
L_0_83 + 0
L_0_84 + 0
L_0_85 + 1
L_0_86 + 0
L_0_87 + 0
L_0_88 + 0
L_0_89 + 1
L_0_90 + 1
L_0_91 + 1
L_0_92 + 0
L_0_93 + 0
L_0_94 + 0
L_0_95 + 1