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
|
Format 2.2
fsa {
states 51
symbols 13
bfs
min
variables 1
alphabet {1 = a 2 = A 3 = b 4 = B 5 = c 6 = C 7 = d 8 = D 9 = e 10 = E
11 = f 12 = F 13 = $ }
start { 1 }
%
atable
1 N 2 3 4 5 6 7 8 9 10 11 12 13 14;
2 N 3 0 4 5 6 7 8 9 10 11 12 13 14;
3 N 0 0 4 5 6 7 8 9 10 11 12 13 14;
4 N 0 3 5 0 6 7 8 9 10 11 12 13 14;
5 N 0 3 0 0 6 7 8 9 10 11 12 13 14;
6 N 15 3 0 16 17 0 0 0 10 11 12 13 14;
7 N 18 19 0 5 0 0 8 9 10 11 12 13 14;
8 N 2 3 20 16 17 0 21 0 10 11 12 13 14;
9 N 2 22 20 16 23 0 0 0 0 0 12 13 14;
10 N 3 0 4 5 24 25 0 9 26 0 12 13 14;
11 N 27 0 4 28 24 25 0 29 0 0 0 0 14;
12 N 0 0 5 0 6 7 30 9 0 11 31 0 14;
13 N 32 33 16 0 6 34 0 0 0 11 0 0 14;
14 A 0 0 0 0 0 0 0 0 0 0 0 0 14;
15 N 3 0 4 5 24 35 36 9 26 0 12 13 14;
16 N 0 3 0 0 6 37 21 0 10 11 12 13 14;
17 N 18 19 0 16 0 0 0 0 10 11 12 13 14;
18 N 19 0 38 5 0 35 36 9 26 0 12 13 14;
19 N 0 0 38 5 0 7 8 9 10 11 12 13 14;
20 N 0 3 16 0 6 37 39 0 40 11 0 13 14;
21 N 2 3 20 16 17 0 0 0 10 11 12 13 14;
22 N 0 0 0 0 6 7 8 9 10 11 12 13 14;
23 N 18 41 0 16 0 0 0 0 26 0 12 13 14;
24 N 15 42 0 16 23 0 0 0 26 0 12 13 14;
25 N 43 0 0 5 0 0 36 9 26 0 12 13 14;
26 N 3 0 4 5 24 25 0 9 0 0 12 13 14;
27 N 0 0 4 44 6 7 8 9 45 11 31 0 14;
28 N 0 19 0 0 0 0 8 9 10 11 12 13 14;
29 N 2 22 20 46 23 0 0 0 0 0 0 13 14;
30 N 47 3 48 0 17 0 21 0 10 11 12 13 14;
31 N 0 0 5 0 6 7 49 29 0 11 0 0 14;
32 N 27 0 4 44 6 7 30 9 0 11 31 0 14;
33 N 0 0 5 0 6 7 8 9 45 11 31 0 14;
34 N 0 0 0 5 0 0 8 9 10 11 12 13 14;
35 N 18 41 0 5 0 0 36 9 26 0 12 13 14;
36 N 15 3 0 16 17 0 21 0 10 11 12 13 14;
37 N 0 19 0 5 0 0 8 9 10 11 12 13 14;
38 N 0 27 5 0 6 7 8 9 45 11 31 0 14;
39 N 2 3 20 46 17 0 0 0 40 11 0 13 14;
40 N 3 0 50 5 23 0 0 9 26 0 12 13 14;
41 N 0 0 0 5 0 7 8 9 10 11 12 13 14;
42 N 0 0 0 5 6 7 8 9 10 11 12 13 14;
43 N 0 0 38 5 0 35 36 9 26 0 12 13 14;
44 N 0 19 0 0 0 7 8 9 10 11 12 13 14;
45 N 19 0 38 5 0 25 0 9 26 0 12 13 14;
46 N 0 3 0 0 17 0 21 0 10 11 12 13 14;
47 N 3 0 4 5 6 7 30 9 0 11 12 13 14;
48 N 0 3 0 0 6 37 39 0 40 11 0 13 14;
49 N 47 3 48 0 17 0 39 0 40 11 0 13 14;
50 N 0 3 5 0 6 7 51 29 40 11 0 13 14;
51 N 2 3 20 46 17 0 39 0 40 11 0 13 14;
}
# Symbols used for inverses of generators
inverses {
inv(a)=A inv(A)=a inv(b)=B inv(B)=b inv(c)=C inv(C)=c inv(d)=D inv(D)=d inv(e)=E inv(E)=e inv(f)=F inv(F)=f }
|
