# automata.d/testdata file densitytest
Format 2.2   
#Surface group with relation a*c*A*C*b*d*B*D.
	# First word difference machine.
fsa {
	states 33
	symbols 81
	bfs
	variables 2
	base-alphabet {1 = a 2 = A 3 = b 4 = B 5 = c 6 = C 7 = d 8 = D 9 = $  }
	alphabet {1 = (a,a) 2 = (a,A) 3 = (a,b) 4 = (a,B) 5 = (a,c) 
6 = (a,C) 7 = (a,d) 8 = (a,D) 9 = (a,$) 10 = (A,a) 
11 = (A,A) 12 = (A,b) 13 = (A,B) 14 = (A,c) 15 = (A,C) 
16 = (A,d) 17 = (A,D) 18 = (A,$) 19 = (b,a) 20 = (b,A) 
21 = (b,b) 22 = (b,B) 23 = (b,c) 24 = (b,C) 25 = (b,d) 
26 = (b,D) 27 = (b,$) 28 = (B,a) 29 = (B,A) 30 = (B,b) 
31 = (B,B) 32 = (B,c) 33 = (B,C) 34 = (B,d) 35 = (B,D) 
36 = (B,$) 37 = (c,a) 38 = (c,A) 39 = (c,b) 40 = (c,B) 
41 = (c,c) 42 = (c,C) 43 = (c,d) 44 = (c,D) 45 = (c,$) 
46 = (C,a) 47 = (C,A) 48 = (C,b) 49 = (C,B) 50 = (C,c) 
51 = (C,C) 52 = (C,d) 53 = (C,D) 54 = (C,$) 55 = (d,a) 
56 = (d,A) 57 = (d,b) 58 = (d,B) 59 = (d,c) 60 = (d,C) 
61 = (d,d) 62 = (d,D) 63 = (d,$) 64 = (D,a) 65 = (D,A) 
66 = (D,b) 67 = (D,B) 68 = (D,c) 69 = (D,C) 70 = (D,d) 
71 = (D,D) 72 = (D,$) 73 = ($,a) 74 = ($,A) 75 = ($,b) 
76 = ($,B) 77 = ($,c) 78 = ($,C) 79 = ($,d) 80 = ($,D) 
81 = ($,$)  }
	start { 1 }

%
ctable
   1  N	 7 > 2, 9 > 3, 15 > 4, 18 > 5, 23 > 6, 27 > 7, 35 > 8, 36 > 9,
         	 38 > 10, 39 > 11, 45 > 12, 46 > 13, 47 > 14, 54 > 15, 55 > 16, 58 > 17,
         	 63 > 18, 66 > 19, 67 > 20, 72 > 21;
   2  N	 17 > 1, 39 > 22;
   3  N	 18 > 1;
   4  N	 5 > 1, 9 > 12, 47 > 23;
   5  N	 9 > 1;
   6  N	 33 > 1, 36 > 15, 55 > 24;
   7  N	 36 > 1;
   8  N	 25 > 1, 27 > 18, 67 > 25;
   9  N	 27 > 1;
  10  N	 16 > 26;
  11  N	 7 > 22, 54 > 9;
  12  N	 54 > 1;
  13  N	 24 > 27;
  14  N	 15 > 25, 45 > 3;
  15  N	 45 > 1;
  16  N	 23 > 24, 72 > 5;
  17  N	 32 > 28;
  18  N	 72 > 1;
  19  N	 8 > 29;
  20  N	 35 > 23, 63 > 7;
  21  N	 63 > 1;
  22  N	 17 > 11, 49 > 2;
  23  N	 25 > 20, 37 > 4;
  24  N	 33 > 16, 65 > 6;
  25  N	 5 > 14, 57 > 8;
  26  N	 48 > 30;
  27  N	 56 > 31;
  28  N	 64 > 32;
  29  N	 40 > 33;
  30  N	 26 > 1;
  31  N	 34 > 1, 36 > 18;
  32  N	 6 > 1;
  33  N	 14 > 1;
}
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 }
	# Set of word differences, together with inverses.
fsa {
	states 26
	symbols 9
	bfs
	min
	variables 1
	alphabet {1 = a 2 = A 3 = b 4 = B 5 = c 6 = C 7 = d 8 = D 9 = $  }
	start { 1 }

%
atable
   1  N	   2   3   4   5   6   7   8   9  10;
   2  N	   2   0   4   5   6   7   8   9  10;
   3  N	   0   3   4   5   6   7   8   9  10;
   4  N	   2   3   4   0   6   7   8   9  10;
   5  N	   2   3   0   5   6   7   8   9  10;
   6  N	  11  12   4   5   6   0   8   9  10;
   7  N	   2  13  14   5   0   7   8   9  10;
   8  N	   2   3  15  16   6   7   8   0  10;
   9  N	  17   3   4  18   6   7   0   9  10;
  10  A	   0   0   0   0   0   0   0   0  10;
  11  N	   2   0   4   5   6  19   8   9  10;
  12  N	   0   3   4   5   6  20   8   9  10;
  13  N	   0   3   4   5   6   7  21   9  10;
  14  N	   2   3   4   0   6   7  22   9  10;
  15  N	   2   3   4   0   6   7   8  23  10;
  16  N	   2   3   0   5   6   7   8  24  10;
  17  N	   2   0   4   5  25   7   8   9  10;
  18  N	   2   3   0   5  26   7   8   9  10;
  19  N	   2   0  14   5   0   7   8   9  10;
  20  N	   2  13   0   5   0   7   8   9  10;
  21  N	   2   3   0  16   6   7   8   0  10;
  22  N	   2   3  15   0   6   7   8   0  10;
  23  N	  17   3   4   0   6   7   0   9  10;
  24  N	   0   3   4  18   6   7   0   9  10;
  25  N	  11   0   4   5   6   0   8   9  10;
  26  N	   0  12   4   5   6   0   8   9  10;
}
	# 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 }

parameters {
length 4
}
