dfa(2,[[r_rule(q0,0,q0)],[r_rule(q0,1,q1)],[r_rule(q1,0,q0)],[r_rule(q1,1,q0)],[acceptor(q1)]]).
dfa(2,[[r_rule(q0,0,q0)],[r_rule(q0,1,q1)],[r_rule(q1,0,q1)],[r_rule(q1,1,q0)],[acceptor(q0)]]).
dfa(2,[[r_rule(q0,0,q0)],[r_rule(q0,1,q1)],[r_rule(q1,0,q1)],[r_rule(q1,1,q0)],[acceptor(q1)]]).
dfa(2,[[r_rule(q0,0,q1)],[r_rule(q0,1,q0)],[r_rule(q1,0,q0)],[r_rule(q1,1,q0)],[acceptor(q0)]]).
dfa(2,[[r_rule(q0,0,q1)],[r_rule(q0,1,q0)],[r_rule(q1,0,q0)],[r_rule(q1,1,q0)],[acceptor(q1)]]).
dfa(2,[[r_rule(q0,0,q1)],[r_rule(q0,1,q0)],[r_rule(q1,0,q0)],[r_rule(q1,1,q1)],[acceptor(q0)]]).
dfa(2,[[r_rule(q0,0,q1)],[r_rule(q0,1,q0)],[r_rule(q1,0,q0)],[r_rule(q1,1,q1)],[acceptor(q1)]]).
dfa(2,[[r_rule(q0,0,q1)],[r_rule(q0,1,q1)],[r_rule(q1,0,q0)],[r_rule(q1,1,q0)],[acceptor(q0)]]).
dfa(2,[[r_rule(q0,0,q1)],[r_rule(q0,1,q1)],[r_rule(q1,0,q0)],[r_rule(q1,1,q1)],[acceptor(q1)]]).
dfa(2,[[r_rule(q0,0,q1)],[r_rule(q0,1,q1)],[r_rule(q1,0,q1)],[r_rule(q1,1,q0)],[acceptor(q1)]]).
dfa(3,[[r_rule(q0,0,q0)],[r_rule(q0,1,q1)],[r_rule(q1,0,q2)],[r_rule(q1,1,q1)],[r_rule(q2,0,q1)],[r_rule(q2,1,q0)],[acceptor(q2)]]).
dfa(3,[[r_rule(q0,0,q1)],[r_rule(q0,1,q0)],[r_rule(q1,0,q0)],[r_rule(q1,1,q2)],[r_rule(q2,0,q1)],[r_rule(q2,1,q2)],[acceptor(q1)]]).
dfa(3,[[r_rule(q0,0,q1)],[r_rule(q0,1,q0)],[r_rule(q1,0,q1)],[r_rule(q1,1,q2)],[r_rule(q2,0,q2)],[r_rule(q2,1,q0)],[acceptor(q0)]]).
dfa(3,[[r_rule(q0,0,q1)],[r_rule(q0,1,q1)],[r_rule(q1,0,q2)],[r_rule(q1,1,q0)],[r_rule(q2,0,q1)],[r_rule(q2,1,q1)],[acceptor(q2)]]).
dfa(3,[[r_rule(q0,0,q1)],[r_rule(q0,1,q2)],[r_rule(q1,0,q1)],[r_rule(q1,1,q2)],[r_rule(q2,0,q0)],[r_rule(q2,1,q1)],[acceptor(q1)]]).
dfa(3,[[r_rule(q0,0,q1)],[r_rule(q0,1,q2)],[r_rule(q1,0,q2)],[r_rule(q1,1,q0)],[r_rule(q2,0,q0)],[r_rule(q2,1,q0)],[acceptor(q1)]]).
dfa(3,[[r_rule(q0,0,q2)],[r_rule(q0,1,q0)],[r_rule(q1,0,q1)],[r_rule(q1,1,q2)],[r_rule(q2,0,q1)],[r_rule(q2,1,q2)],[acceptor(q2)]]).
dfa(3,[[r_rule(q0,0,q2)],[r_rule(q0,1,q0)],[r_rule(q1,0,q2)],[r_rule(q1,1,q0)],[r_rule(q2,0,q0)],[r_rule(q2,1,q1)],[acceptor(q0)]]).
dfa(3,[[r_rule(q0,0,q2)],[r_rule(q0,1,q0)],[r_rule(q1,0,q2)],[r_rule(q1,1,q0)],[r_rule(q2,0,q0)],[r_rule(q2,1,q1)],[acceptor(q1)]]).
dfa(3,[[r_rule(q0,0,q2)],[r_rule(q0,1,q1)],[r_rule(q1,0,q2)],[r_rule(q1,1,q1)],[r_rule(q2,0,q0)],[r_rule(q2,1,q1)],[acceptor(q0)]]).
dfa(4,[[r_rule(q0,0,q0)],[r_rule(q0,1,q1)],[r_rule(q1,0,q3)],[r_rule(q1,1,q0)],[r_rule(q2,0,q2)],[r_rule(q2,1,q3)],[r_rule(q3,0,q2)],[r_rule(q3,1,q0)],[acceptor(q3)]]).
dfa(4,[[r_rule(q0,0,q1)],[r_rule(q0,1,q0)],[r_rule(q1,0,q2)],[r_rule(q1,1,q1)],[r_rule(q2,0,q2)],[r_rule(q2,1,q3)],[r_rule(q3,0,q2)],[r_rule(q3,1,q1)],[acceptor(q1)]]).
dfa(4,[[r_rule(q0,0,q1)],[r_rule(q0,1,q0)],[r_rule(q1,0,q3)],[r_rule(q1,1,q2)],[r_rule(q2,0,q2)],[r_rule(q2,1,q1)],[r_rule(q3,0,q0)],[r_rule(q3,1,q2)],[acceptor(q2)]]).
dfa(4,[[r_rule(q0,0,q1)],[r_rule(q0,1,q3)],[r_rule(q1,0,q1)],[r_rule(q1,1,q3)],[r_rule(q2,0,q0)],[r_rule(q2,1,q1)],[r_rule(q3,0,q2)],[r_rule(q3,1,q1)],[acceptor(q0)]]).
dfa(4,[[r_rule(q0,0,q2)],[r_rule(q0,1,q0)],[r_rule(q1,0,q2)],[r_rule(q1,1,q3)],[r_rule(q2,0,q1)],[r_rule(q2,1,q3)],[r_rule(q3,0,q1)],[r_rule(q3,1,q3)],[acceptor(q1)]]).
dfa(4,[[r_rule(q0,0,q2)],[r_rule(q0,1,q2)],[r_rule(q1,0,q2)],[r_rule(q1,1,q3)],[r_rule(q2,0,q0)],[r_rule(q2,1,q1)],[r_rule(q3,0,q1)],[r_rule(q3,1,q0)],[acceptor(q3)]]).
dfa(4,[[r_rule(q0,0,q2)],[r_rule(q0,1,q3)],[r_rule(q1,0,q2)],[r_rule(q1,1,q1)],[r_rule(q2,0,q2)],[r_rule(q2,1,q3)],[r_rule(q3,0,q0)],[r_rule(q3,1,q1)],[acceptor(q3)]]).
dfa(4,[[r_rule(q0,0,q3)],[r_rule(q0,1,q0)],[r_rule(q1,0,q2)],[r_rule(q1,1,q3)],[r_rule(q2,0,q1)],[r_rule(q2,1,q2)],[r_rule(q3,0,q2)],[r_rule(q3,1,q0)],[acceptor(q0)]]).
dfa(4,[[r_rule(q0,0,q3)],[r_rule(q0,1,q0)],[r_rule(q1,0,q3)],[r_rule(q1,1,q2)],[r_rule(q2,0,q2)],[r_rule(q2,1,q3)],[r_rule(q3,0,q0)],[r_rule(q3,1,q1)],[acceptor(q2)]]).
dfa(4,[[r_rule(q0,0,q3)],[r_rule(q0,1,q2)],[r_rule(q1,0,q3)],[r_rule(q1,1,q0)],[r_rule(q2,0,q1)],[r_rule(q2,1,q0)],[r_rule(q3,0,q1)],[r_rule(q3,1,q3)],[acceptor(q3)]]).
