% Start 0
% Final { 1 }
% States { 0 1 }
% Alphabet { }
% Transitions {
%  (0  1)
% }
2
% Start 6
% Final { 7 }
% States { 2 3 4 5 6 7 }
% Alphabet { a }
% Transitions {
%  (2 a 3)
%  (3  7)
%  (4  5)
%  (5  7)
%  (6  2)
%  (6  4)
% }
6