# automata.d/testdata file enumeratetest
Format 2.2   
#Surface group with relation a*c*A*C*b*d*B*D. Contains eos symbol.
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 {
linear
maxlength 5
}
