-
Notifications
You must be signed in to change notification settings - Fork 26
/
GroupURLs.js
77 lines (74 loc) · 1.89 KB
/
GroupURLs.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
// @flow
export default
class GroupURLs {
/*::
static urls: Array<string>;
*/
}
GroupURLs.urls = [
"./groups/Trivial.group",
"./groups/Z_2.group",
"./groups/Z_3.group",
"./groups/V_4.group",
"./groups/Z_4.group",
"./groups/Z_5.group",
"./groups/S_3.group",
"./groups/Z_6.group",
"./groups/Z_7.group",
"./groups/D_4.group",
"./groups/Q_4.group",
"./groups/Z_2 x Z_2 x Z_2.group",
"./groups/Z_2 x Z_4.group",
"./groups/Z_8.group",
"./groups/Z_3 x Z_3.group",
"./groups/Z_9.group",
"./groups/D_5.group",
"./groups/Z_10.group",
"./groups/Z_11.group",
"./groups/A_4.group",
"./groups/D_6.group",
"./groups/Z_12.group",
"./groups/Z_2 x Z_6.group",
"./groups/Z_3 sdp Z_4.group",
"./groups/Z_13.group",
"./groups/D_7.group",
"./groups/Z_14.group",
"./groups/Z_15.group",
"./groups/D_4 x Z_2.group",
"./groups/D_8.group",
"./groups/G_4,4.group",
"./groups/Modular_16.group",
"./groups/Q_4 x Z_2.group",
"./groups/Q_8.group",
"./groups/Quasihedral_16.group",
"./groups/Unnamed1_16.group",
"./groups/Unnamed2_16.group",
"./groups/Z_16.group",
"./groups/Z_2 x Z_2 x Z_2 x Z_2.group",
"./groups/Z_2 x Z_4 x Z_2.group",
"./groups/Z_2 x Z_8.group",
"./groups/Z_4 x Z_4.group",
"./groups/Z_17.group",
"./groups/D_9.group",
"./groups/S_3 x Z_3.group",
"./groups/Z_18.group",
"./groups/Z_3 x Z_3 sdp Z_2.group",
"./groups/Z_3 x Z_6.group",
"./groups/Z_19.group",
"./groups/D_10.group",
"./groups/Fr_20.group",
"./groups/Z_2 x Z_10.group",
"./groups/Z_20.group",
"./groups/Z_4 sdp Z_5.group",
"./groups/Twenty-one.group",
"./groups/S_3 x Z_4.group",
"./groups/S_4.group",
"./groups/Z_2 x Z_2 x Z_2 x Z_3.group",
"./groups/A_5.group",
"./groups/Z_2 x Z_3 x Z_3 x Z_4.group",
/*
"./groups/168.group",
"./groups/Tesseract.group",
*/
];
var urls = GroupURLs.urls;