-
Notifications
You must be signed in to change notification settings - Fork 11
/
Copy pathdepend.js
288 lines (287 loc) · 21.4 KB
/
depend.js
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
279
280
281
282
283
284
285
286
287
288
var depends = [
{ data: { id: "cluster_ssreflect", name: "ssreflect" } },
{ data: { id: "cluster_ssreflect_plus", name: "+", parent: "cluster_ssreflect" } },
{ data: { id: "choice", name: "choice", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "finfun", name: "finfun", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "prime", name: "prime", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "generic_quotient", name: "generic_quotient", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "ssrAC", name: "ssrAC", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "order", name: "order", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "seq", name: "seq", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "finset", name: "finset", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "ssrmatching", name: "ssrmatching", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "path", name: "path", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "tuple", name: "tuple", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "bigop", name: "bigop", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "fingraph", name: "fingraph", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "ssrnotations", name: "ssrnotations", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "all_ssreflect", name: "all_ssreflect", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "binomial", name: "binomial", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "ssreflect", name: "ssreflect", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "eqtype", name: "eqtype", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "ssrnat", name: "ssrnat", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "div", name: "div", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "fintype", name: "fintype", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "ssrbool", name: "ssrbool", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "ssrfun", name: "ssrfun", parent: "cluster_ssreflect", released: "no" } },
{ data: { id: "cluster_character", name: "character" } },
{ data: { id: "cluster_character_plus", name: "+", parent: "cluster_character" } },
{ data: { id: "vcharacter", name: "vcharacter", parent: "cluster_character", released: "no" } },
{ data: { id: "integral_char", name: "integral_char", parent: "cluster_character", released: "no" } },
{ data: { id: "inertia", name: "inertia", parent: "cluster_character", released: "no" } },
{ data: { id: "all_character", name: "all_character", parent: "cluster_character", released: "no" } },
{ data: { id: "mxabelem", name: "mxabelem", parent: "cluster_character", released: "no" } },
{ data: { id: "mxrepresentation", name: "mxrepresentation", parent: "cluster_character", released: "no" } },
{ data: { id: "character", name: "character", parent: "cluster_character", released: "no" } },
{ data: { id: "classfun", name: "classfun", parent: "cluster_character", released: "no" } },
{ data: { id: "cluster_solvable", name: "solvable" } },
{ data: { id: "cluster_solvable_plus", name: "+", parent: "cluster_solvable" } },
{ data: { id: "extraspecial", name: "extraspecial", parent: "cluster_solvable", released: "no" } },
{ data: { id: "extremal", name: "extremal", parent: "cluster_solvable", released: "no" } },
{ data: { id: "hall", name: "hall", parent: "cluster_solvable", released: "no" } },
{ data: { id: "frobenius", name: "frobenius", parent: "cluster_solvable", released: "no" } },
{ data: { id: "all_solvable", name: "all_solvable", parent: "cluster_solvable", released: "no" } },
{ data: { id: "gseries", name: "gseries", parent: "cluster_solvable", released: "no" } },
{ data: { id: "cyclic", name: "cyclic", parent: "cluster_solvable", released: "no" } },
{ data: { id: "finmodule", name: "finmodule", parent: "cluster_solvable", released: "no" } },
{ data: { id: "maximal", name: "maximal", parent: "cluster_solvable", released: "no" } },
{ data: { id: "abelian", name: "abelian", parent: "cluster_solvable", released: "no" } },
{ data: { id: "burnside_app", name: "burnside_app", parent: "cluster_solvable", released: "no" } },
{ data: { id: "jordanholder", name: "jordanholder", parent: "cluster_solvable", released: "no" } },
{ data: { id: "sylow", name: "sylow", parent: "cluster_solvable", released: "no" } },
{ data: { id: "nilpotent", name: "nilpotent", parent: "cluster_solvable", released: "no" } },
{ data: { id: "commutator", name: "commutator", parent: "cluster_solvable", released: "no" } },
{ data: { id: "center", name: "center", parent: "cluster_solvable", released: "no" } },
{ data: { id: "pgroup", name: "pgroup", parent: "cluster_solvable", released: "no" } },
{ data: { id: "primitive_action", name: "primitive_action", parent: "cluster_solvable", released: "no" } },
{ data: { id: "gfunctor", name: "gfunctor", parent: "cluster_solvable", released: "no" } },
{ data: { id: "alt", name: "alt", parent: "cluster_solvable", released: "no" } },
{ data: { id: "cluster_field", name: "field" } },
{ data: { id: "cluster_field_plus", name: "+", parent: "cluster_field" } },
{ data: { id: "all_field", name: "all_field", parent: "cluster_field", released: "no" } },
{ data: { id: "algnum", name: "algnum", parent: "cluster_field", released: "no" } },
{ data: { id: "closed_field", name: "closed_field", parent: "cluster_field", released: "no" } },
{ data: { id: "galois", name: "galois", parent: "cluster_field", released: "no" } },
{ data: { id: "cyclotomic", name: "cyclotomic", parent: "cluster_field", released: "no" } },
{ data: { id: "algC", name: "algC", parent: "cluster_field", released: "no" } },
{ data: { id: "separable", name: "separable", parent: "cluster_field", released: "no" } },
{ data: { id: "algebraics_fundamentals", name: "algebraics_fundamentals", parent: "cluster_field", released: "no" } },
{ data: { id: "falgebra", name: "falgebra", parent: "cluster_field", released: "no" } },
{ data: { id: "qfpoly", name: "qfpoly", parent: "cluster_field", released: "no" } },
{ data: { id: "finfield", name: "finfield", parent: "cluster_field", released: "no" } },
{ data: { id: "fieldext", name: "fieldext", parent: "cluster_field", released: "no" } },
{ data: { id: "cluster_fingroup", name: "fingroup" } },
{ data: { id: "cluster_fingroup_plus", name: "+", parent: "cluster_fingroup" } },
{ data: { id: "gproduct", name: "gproduct", parent: "cluster_fingroup", released: "no" } },
{ data: { id: "action", name: "action", parent: "cluster_fingroup", released: "no" } },
{ data: { id: "all_fingroup", name: "all_fingroup", parent: "cluster_fingroup", released: "no" } },
{ data: { id: "fingroup", name: "fingroup", parent: "cluster_fingroup", released: "no" } },
{ data: { id: "quotient", name: "quotient", parent: "cluster_fingroup", released: "no" } },
{ data: { id: "presentation", name: "presentation", parent: "cluster_fingroup", released: "no" } },
{ data: { id: "morphism", name: "morphism", parent: "cluster_fingroup", released: "no" } },
{ data: { id: "perm", name: "perm", parent: "cluster_fingroup", released: "no" } },
{ data: { id: "automorphism", name: "automorphism", parent: "cluster_fingroup", released: "no" } },
{ data: { id: "cluster_all", name: "all" } },
{ data: { id: "cluster_all_plus", name: "+", parent: "cluster_all" } },
{ data: { id: "all", name: "all", parent: "cluster_all", released: "no" } },
{ data: { id: "cluster_algebra", name: "algebra" } },
{ data: { id: "cluster_algebra_plus", name: "+", parent: "cluster_algebra" } },
{ data: { id: "polyXY", name: "polyXY", parent: "cluster_algebra", released: "no" } },
{ data: { id: "poly", name: "poly", parent: "cluster_algebra", released: "no" } },
{ data: { id: "all_algebra", name: "all_algebra", parent: "cluster_algebra", released: "no" } },
{ data: { id: "vector", name: "vector", parent: "cluster_algebra", released: "no" } },
{ data: { id: "interval", name: "interval", parent: "cluster_algebra", released: "no" } },
{ data: { id: "intdiv", name: "intdiv", parent: "cluster_algebra", released: "no" } },
{ data: { id: "countalg", name: "countalg", parent: "cluster_algebra", released: "no" } },
{ data: { id: "ssrint", name: "ssrint", parent: "cluster_algebra", released: "no" } },
{ data: { id: "fraction", name: "fraction", parent: "cluster_algebra", released: "no" } },
{ data: { id: "mxpoly", name: "mxpoly", parent: "cluster_algebra", released: "no" } },
{ data: { id: "ssralg", name: "ssralg", parent: "cluster_algebra", released: "no" } },
{ data: { id: "polydiv", name: "polydiv", parent: "cluster_algebra", released: "no" } },
{ data: { id: "sesquilinear", name: "sesquilinear", parent: "cluster_algebra", released: "no" } },
{ data: { id: "qpoly", name: "qpoly", parent: "cluster_algebra", released: "no" } },
{ data: { id: "finalg", name: "finalg", parent: "cluster_algebra", released: "no" } },
{ data: { id: "archimedean", name: "archimedean", parent: "cluster_algebra", released: "no" } },
{ data: { id: "mxalgebra", name: "mxalgebra", parent: "cluster_algebra", released: "no" } },
{ data: { id: "ring_quotient", name: "ring_quotient", parent: "cluster_algebra", released: "no" } },
{ data: { id: "mxred", name: "mxred", parent: "cluster_algebra", released: "no" } },
{ data: { id: "ssrnum", name: "ssrnum", parent: "cluster_algebra", released: "no" } },
{ data: { id: "spectral", name: "spectral", parent: "cluster_algebra", released: "no" } },
{ data: { id: "zmodp", name: "zmodp", parent: "cluster_algebra", released: "no" } },
{ data: { id: "rat", name: "rat", parent: "cluster_algebra", released: "no" } },
{ data: { id: "matrix", name: "matrix", parent: "cluster_algebra", released: "no" } },
{ data: { id: "edge0", source: "all_algebra", target: "ring_quotient" } },
{ data: { id: "edge1", source: "closed_field", target: "ring_quotient" } },
{ data: { id: "edge2", source: "ring_quotient", target: "generic_quotient" } },
{ data: { id: "edge3", source: "all_ssreflect", target: "generic_quotient" } },
{ data: { id: "edge4", source: "fraction", target: "generic_quotient" } },
{ data: { id: "edge5", source: "fieldext", target: "generic_quotient" } },
{ data: { id: "edge6", source: "finfield", target: "cyclotomic" } },
{ data: { id: "edge7", source: "algnum", target: "cyclotomic" } },
{ data: { id: "edge8", source: "choice", target: "seq" } },
{ data: { id: "edge9", source: "path", target: "seq" } },
{ data: { id: "edge10", source: "div", target: "seq" } },
{ data: { id: "edge11", source: "all_character", target: "inertia" } },
{ data: { id: "edge12", source: "order", target: "finset" } },
{ data: { id: "edge13", source: "fingroup", target: "finset" } },
{ data: { id: "edge14", source: "binomial", target: "finset" } },
{ data: { id: "edge15", source: "fieldext", target: "falgebra" } },
{ data: { id: "edge16", source: "archimedean", target: "ssrint" } },
{ data: { id: "edge17", source: "sylow", target: "nilpotent" } },
{ data: { id: "edge18", source: "all_character", target: "vcharacter" } },
{ data: { id: "edge19", source: "mxrepresentation", target: "mxpoly" } },
{ data: { id: "edge20", source: "closed_field", target: "mxpoly" } },
{ data: { id: "edge21", source: "fieldext", target: "mxpoly" } },
{ data: { id: "edge22", source: "polyXY", target: "mxpoly" } },
{ data: { id: "edge23", source: "mxred", target: "mxpoly" } },
{ data: { id: "edge24", source: "qpoly", target: "mxpoly" } },
{ data: { id: "edge25", source: "finset", target: "bigop" } },
{ data: { id: "edge26", source: "prime", target: "bigop" } },
{ data: { id: "edge27", source: "ssrAC", target: "bigop" } },
{ data: { id: "edge28", source: "all_ssreflect", target: "fingraph" } },
{ data: { id: "edge29", source: "zmodp", target: "finalg" } },
{ data: { id: "edge30", source: "all", target: "all_character" } },
{ data: { id: "edge31", source: "extremal", target: "presentation" } },
{ data: { id: "edge32", source: "all_fingroup", target: "presentation" } },
{ data: { id: "edge33", source: "character", target: "mxrepresentation" } },
{ data: { id: "edge34", source: "mxabelem", target: "mxrepresentation" } },
{ data: { id: "edge35", source: "fintype", target: "choice" } },
{ data: { id: "edge36", source: "all_solvable", target: "extraspecial" } },
{ data: { id: "edge37", source: "falgebra", target: "poly" } },
{ data: { id: "edge38", source: "polydiv", target: "poly" } },
{ data: { id: "edge39", source: "cyclic", target: "poly" } },
{ data: { id: "edge40", source: "ssrnum", target: "poly" } },
{ data: { id: "edge41", source: "all", target: "all_algebra" } },
{ data: { id: "edge42", source: "all_algebra", target: "interval" } },
{ data: { id: "edge43", source: "all_ssreflect", target: "order" } },
{ data: { id: "edge44", source: "ssrnum", target: "order" } },
{ data: { id: "edge45", source: "matrix", target: "order" } },
{ data: { id: "edge46", source: "inertia", target: "character" } },
{ data: { id: "edge47", source: "integral_char", target: "character" } },
{ data: { id: "edge48", source: "fintype", target: "path" } },
{ data: { id: "edge49", source: "maximal", target: "finmodule" } },
{ data: { id: "edge50", source: "mxpoly", target: "polydiv" } },
{ data: { id: "edge51", source: "fraction", target: "polydiv" } },
{ data: { id: "edge52", source: "intdiv", target: "polydiv" } },
{ data: { id: "edge53", source: "alt", target: "sylow" } },
{ data: { id: "edge54", source: "algebraics_fundamentals", target: "sylow" } },
{ data: { id: "edge55", source: "abelian", target: "sylow" } },
{ data: { id: "edge56", source: "eqtype", target: "ssrbool" } },
{ data: { id: "edge57", source: "cyclic", target: "zmodp" } },
{ data: { id: "edge58", source: "matrix", target: "zmodp" } },
{ data: { id: "edge59", source: "quotient", target: "automorphism" } },
{ data: { id: "edge60", source: "all", target: "all_field" } },
{ data: { id: "edge61", source: "qfpoly", target: "finfield" } },
{ data: { id: "edge62", source: "all", target: "all_solvable" } },
{ data: { id: "edge63", source: "algebraics_fundamentals", target: "galois" } },
{ data: { id: "edge64", source: "mxrepresentation", target: "commutator" } },
{ data: { id: "edge65", source: "finmodule", target: "commutator" } },
{ data: { id: "edge66", source: "gseries", target: "commutator" } },
{ data: { id: "edge67", source: "falgebra", target: "vector" } },
{ data: { id: "edge68", source: "sesquilinear", target: "vector" } },
{ data: { id: "edge69", source: "qpoly", target: "vector" } },
{ data: { id: "edge70", source: "intdiv", target: "vector" } },
{ data: { id: "edge71", source: "ring_quotient", target: "ssralg" } },
{ data: { id: "edge72", source: "countalg", target: "ssralg" } },
{ data: { id: "edge73", source: "all_solvable", target: "jordanholder" } },
{ data: { id: "edge74", source: "frobenius", target: "hall" } },
{ data: { id: "edge75", source: "vcharacter", target: "integral_char" } },
{ data: { id: "edge76", source: "all_field", target: "algnum" } },
{ data: { id: "edge77", source: "classfun", target: "algnum" } },
{ data: { id: "edge78", source: "all_solvable", target: "burnside_app" } },
{ data: { id: "edge79", source: "all_solvable", target: "alt" } },
{ data: { id: "edge80", source: "ssrnat", target: "eqtype" } },
{ data: { id: "edge81", source: "spectral", target: "sesquilinear" } },
{ data: { id: "edge82", source: "all", target: "all_ssreflect" } },
{ data: { id: "edge83", source: "all_algebra", target: "fraction" } },
{ data: { id: "edge84", source: "algC", target: "algebraics_fundamentals" } },
{ data: { id: "edge85", source: "presentation", target: "morphism" } },
{ data: { id: "edge86", source: "perm", target: "morphism" } },
{ data: { id: "edge87", source: "algebraics_fundamentals", target: "closed_field" } },
{ data: { id: "edge88", source: "finmodule", target: "cyclic" } },
{ data: { id: "edge89", source: "center", target: "cyclic" } },
{ data: { id: "edge90", source: "pgroup", target: "cyclic" } },
{ data: { id: "edge91", source: "separable", target: "cyclic" } },
{ data: { id: "edge92", source: "rat", target: "archimedean" } },
{ data: { id: "edge93", source: "separable", target: "fieldext" } },
{ data: { id: "edge94", source: "all_character", target: "mxabelem" } },
{ data: { id: "edge95", source: "mxpoly", target: "mxalgebra" } },
{ data: { id: "edge96", source: "vector", target: "mxalgebra" } },
{ data: { id: "edge97", source: "generic_quotient", target: "fintype" } },
{ data: { id: "edge98", source: "fingraph", target: "fintype" } },
{ data: { id: "edge99", source: "tuple", target: "fintype" } },
{ data: { id: "edge100", source: "inertia", target: "frobenius" } },
{ data: { id: "edge101", source: "vcharacter", target: "frobenius" } },
{ data: { id: "edge102", source: "all_solvable", target: "frobenius" } },
{ data: { id: "edge103", source: "ssrint", target: "ssrnum" } },
{ data: { id: "edge104", source: "interval", target: "ssrnum" } },
{ data: { id: "edge105", source: "sesquilinear", target: "ssrnum" } },
{ data: { id: "edge106", source: "fintype", target: "div" } },
{ data: { id: "edge107", source: "burnside_app", target: "primitive_action" } },
{ data: { id: "edge108", source: "alt", target: "primitive_action" } },
{ data: { id: "edge109", source: "mxrepresentation", target: "center" } },
{ data: { id: "edge110", source: "gseries", target: "center" } },
{ data: { id: "edge111", source: "ssrfun", target: "ssreflect" } },
{ data: { id: "edge112", source: "all_algebra", target: "polyXY" } },
{ data: { id: "edge113", source: "separable", target: "polyXY" } },
{ data: { id: "edge114", source: "cyclic", target: "gproduct" } },
{ data: { id: "edge115", source: "all_fingroup", target: "gproduct" } },
{ data: { id: "edge116", source: "gfunctor", target: "gproduct" } },
{ data: { id: "edge117", source: "extraspecial", target: "extremal" } },
{ data: { id: "edge118", source: "order", target: "prime" } },
{ data: { id: "edge119", source: "fingroup", target: "prime" } },
{ data: { id: "edge120", source: "binomial", target: "prime" } },
{ data: { id: "edge121", source: "mxrepresentation", target: "pgroup" } },
{ data: { id: "edge122", source: "sylow", target: "pgroup" } },
{ data: { id: "edge123", source: "finfun", target: "tuple" } },
{ data: { id: "edge124", source: "character", target: "abelian" } },
{ data: { id: "edge125", source: "finfield", target: "abelian" } },
{ data: { id: "edge126", source: "maximal", target: "abelian" } },
{ data: { id: "edge127", source: "mxalgebra", target: "matrix" } },
{ data: { id: "edge128", source: "extremal", target: "matrix" } },
{ data: { id: "edge129", source: "galois", target: "separable" } },
{ data: { id: "edge130", source: "character", target: "classfun" } },
{ data: { id: "edge131", source: "ssrbool", target: "ssrfun" } },
{ data: { id: "edge132", source: "finalg", target: "countalg" } },
{ data: { id: "edge133", source: "poly", target: "countalg" } },
{ data: { id: "edge134", source: "all_field", target: "qfpoly" } },
{ data: { id: "edge135", source: "nilpotent", target: "gseries" } },
{ data: { id: "edge136", source: "jordanholder", target: "gseries" } },
{ data: { id: "edge137", source: "primitive_action", target: "gseries" } },
{ data: { id: "edge138", source: "spectral", target: "mxred" } },
{ data: { id: "edge139", source: "finalg", target: "action" } },
{ data: { id: "edge140", source: "gproduct", target: "action" } },
{ data: { id: "edge141", source: "intdiv", target: "rat" } },
{ data: { id: "edge142", source: "all_algebra", target: "qpoly" } },
{ data: { id: "edge143", source: "qfpoly", target: "qpoly" } },
{ data: { id: "edge144", source: "morphism", target: "fingroup" } },
{ data: { id: "edge145", source: "ssrnum", target: "fingroup" } },
{ data: { id: "edge146", source: "hall", target: "maximal" } },
{ data: { id: "edge147", source: "mxabelem", target: "maximal" } },
{ data: { id: "edge148", source: "extremal", target: "maximal" } },
{ data: { id: "edge149", source: "all", target: "all_fingroup" } },
{ data: { id: "edge150", source: "automorphism", target: "perm" } },
{ data: { id: "edge151", source: "all_ssreflect", target: "ssrAC" } },
{ data: { id: "edge152", source: "fraction", target: "ssrAC" } },
{ data: { id: "edge153", source: "ssrnum", target: "ssrAC" } },
{ data: { id: "edge154", source: "cyclotomic", target: "algC" } },
{ data: { id: "edge155", source: "action", target: "quotient" } },
{ data: { id: "edge156", source: "bigop", target: "finfun" } },
{ data: { id: "edge157", source: "all_algebra", target: "intdiv" } },
{ data: { id: "edge158", source: "algebraics_fundamentals", target: "intdiv" } },
{ data: { id: "edge159", source: "ssralg", target: "binomial" } },
{ data: { id: "edge160", source: "all_ssreflect", target: "binomial" } },
{ data: { id: "edge161", source: "perm", target: "binomial" } },
{ data: { id: "edge162", source: "ssrfun", target: "ssrnotations" } },
{ data: { id: "edge163", source: "all_algebra", target: "spectral" } },
{ data: { id: "edge164", source: "commutator", target: "gfunctor" } },
{ data: { id: "edge165", source: "center", target: "gfunctor" } },
{ data: { id: "edge166", source: "pgroup", target: "gfunctor" } },
{ data: { id: "edge167", source: "seq", target: "ssrnat" } },
{ data: { id: "edge168", source: "cluster_fingroup", target: "cluster_ssreflect" } },
{ data: { id: "edge169", source: "cluster_all", target: "cluster_character" } },
{ data: { id: "edge170", source: "cluster_field", target: "cluster_solvable" } },
{ data: { id: "edge171", source: "cluster_character", target: "cluster_field" } },
{ data: { id: "edge172", source: "cluster_algebra", target: "cluster_fingroup" } },
{ data: { id: "edge173", source: "cluster_solvable", target: "cluster_algebra" } },
];