cfg(1,0,[rule0(s),ruleR(s1,s,b),ruleL(s,a,s1)]).
cfg(3,0,[ruleL(s,b,s1),ruleR(s1,s2,b),ruleR(s2,s,b),ruleR(s2,s3,b),ruleL(s3,a,s3),rule0(s3)]).
cfg(4,0,[rule0(s),rule0(s(3)),rule0(s(4)),ruleL(s,a s1),ruleR(s1,s a),ruleL(s,b s2),ruleR(s2,s,b),ruleL(s,a s3), ruleL(s,b,s4)]). %Palindromes example: 4 nt and 9 rules

/*%Regular Grammar[ruleL(s,a,s1),ruleL(s1,a,s1),ruleL(s1,b,s1),ruleL(s1,a,s3),ruleL(s3,b,s2),ruleL(s2,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,a,s2),ruleL(s2,a,s3),ruleL(s3,b,s),ruleL(s,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,a,s),ruleL(s,b,s),ruleL(s,a,s),ruleL(s,b,s1),ruleL(s1,a,s1),ruleL(s1,a,s1),rule0(s1)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1232 bytes
cfg(3,9,[rule0(s2),ruleR(s1,s2,b),ruleL(s1,a,s1),ruleL(s1,b,s1),ruleL(s2,b,s1),ruleL(s1,a,s2),ruleL(s,a,s1),start(s)]).
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s3),ruleL(s3,b,s3),ruleL(s3,b,s1),ruleL(s1,a,s3),rule0(s3)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s2),ruleL(s2,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,b,s2),ruleL(s2,b,s3),ruleL(s3,a,s1),ruleL(s1,a,s2),ruleL(s2,a,s2),ruleL(s2,a,s),ruleL(s,b,s2),ruleL(s2,a,s),ruleL(s,a,s1),rule0(s1)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1872 bytes
cfg(4,9,[rule0(s1),ruleR(s2,s1,a),ruleL(s,a,s2),ruleL(s2,a,s),ruleL(s1,b,s2),ruleL(s3,a,s1),ruleL(s1,b,s3),ruleL(s,b,s1),ruleL(s3,b,s),ruleL(s1,a,s3),ruleL(s,b,s3),start(s)]).
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,a,s),ruleL(s,a,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,a,s2),ruleL(s2,a,s1),ruleL(s1,b,s),ruleL(s,a,s2),ruleL(s2,b,s),ruleL(s,b,s1),ruleL(s1,b,s1),ruleL(s1,a,s1),ruleL(s1,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,b,s),ruleL(s,a,s2),ruleL(s2,b,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s),ruleL(s,a,s1),ruleL(s1,a,s2),rule0(s2)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s2),ruleL(s2,a,s2),ruleL(s2,a,s2),rule0(s2)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,a,s),ruleL(s,a,s),ruleL(s,b,s3),ruleL(s3,a,s3),ruleL(s3,b,s2),rule0(s2)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 3040 bytes
cfg(2,9,[rule0(s),ruleR(s2,s,b),ruleL(s,a,s2),ruleL(s2,b,s),ruleL(s,a,s),ruleL(s2,a,s2),ruleL(s,b,s2),ruleL(s,b,s),start(s)]).
%Regular Grammar[ruleL(s,b,s),ruleL(s,b,s),ruleL(s,a,s3),ruleL(s3,b,s2),ruleL(s2,b,s2),ruleL(s2,b,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,a,s2),ruleL(s2,a,s1),ruleL(s1,b,s1),ruleL(s1,a,s3),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 848 bytes
cfg(2,8,[rule0(s2),ruleR(s2,s2,b),ruleL(s2,a,s2),ruleL(s,b,s2),start(s)]).
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2016 bytes
cfg(4,8,[rule0(s1),ruleR(s1,s1,b),ruleL(s3,b,s1),ruleL(s3,b,s3),ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s1,b,s3),ruleL(s3,a,s1),ruleL(s2,a,s),ruleL(s1,a,s2),ruleL(s,b,s3),start(s)]).
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 848 bytes
cfg(3,8,[rule0(s1),ruleR(s3,s1,b),ruleL(s1,a,s3),ruleL(s,a,s1),start(s)]).
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 992 bytes
cfg(3,7,[rule0(s),ruleR(s2,s,a),ruleL(s,a,s2),ruleL(s1,b,s),ruleL(s,a,s1),start(s)]).
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s1),ruleL(s1,b,s3),ruleL(s3,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s2),ruleL(s2,a,s2),ruleL(s2,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,b,s1),ruleL(s1,a,s3),ruleL(s3,a,s3),ruleL(s3,b,s),ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s,b,s3),ruleL(s3,b,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,a,s),ruleL(s,a,s2),rule0(s2)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1488 bytes
cfg(3,6,[rule0(s1),ruleR(s2,s1,a),ruleL(s1,b,s2),ruleL(s2,b,s1),ruleL(s1,a,s2),ruleL(s1,a,s1),ruleL(s,b,s2),start(s)]).
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,a,s),ruleL(s,b,s1),ruleL(s1,b,s2),rule0(s2)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s3),ruleL(s3,b,s2),rule0(s2)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1616 bytes
cfg(4,7,[rule0(s3),ruleR(s1,s3,b),ruleL(s3,b,s1),ruleL(s2,a,s3),ruleL(s1,a,s2),ruleL(s2,b,s1),ruleL(s2,a,s2),ruleL(s3,a,s2),ruleL(s2,b,s3),ruleL(s,a,s2),start(s)]).
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1120 bytes
cfg(4,6,[rule0(s2),ruleR(s3,s2,b),ruleL(s2,b,s3),ruleL(s,b,s2),ruleL(s1,b,s),ruleL(s,a,s1),start(s)]).
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s),ruleL(s,a,s3),rule0(s3)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s3),ruleL(s3,b,s2),ruleL(s2,a,s),ruleL(s,a,s1),ruleL(s1,b,s),ruleL(s,a,s3),ruleL(s3,a,s2),ruleL(s2,a,s3),ruleL(s3,b,s),ruleL(s,a,s1),ruleL(s1,a,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,b,s3),ruleL(s3,a,s1),ruleL(s1,b,s3),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1360 bytes
cfg(4,5,[rule0(s1),ruleR(s3,s1,a),ruleL(s2,a,s3),ruleL(s,b,s2),ruleL(s1,a,s),ruleL(s3,a,s1),ruleL(s2,b,s3),start(s)]).
%Regular Grammar[ruleL(s,a,s),ruleL(s,a,s1),ruleL(s1,b,s1),ruleR(s1,s2,a),rule0(s2)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s3),ruleL(s3,b,s2),ruleL(s2,b,s),ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s,b,s),ruleL(s,a,s2),ruleL(s2,a,s3),ruleL(s3,a,s1),ruleL(s1,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,b,s),ruleL(s,a,s2),ruleL(s2,b,s1),ruleL(s1,b,s1),ruleL(s1,a,s2),ruleL(s2,b,s),ruleL(s,a,s),ruleL(s,a,s3),ruleL(s3,b,s),ruleL(s,b,s1),ruleL(s1,b,s1),ruleL(s1,b,s1),ruleL(s1,a,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,a,s1),ruleL(s1,b,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,a,s3),ruleL(s3,b,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s1),ruleL(s1,a,s2),ruleL(s2,a,s),ruleL(s,a,s3),ruleL(s3,b,s2),ruleL(s2,a,s1),ruleL(s1,a,s3),ruleL(s3,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s),ruleL(s,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,a,s2),ruleL(s2,a,s1),ruleL(s1,b,s2),ruleL(s2,b,s2),rule0(s2)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s),ruleL(s,b,s),ruleL(s,a,s2),ruleL(s2,b,s2),ruleL(s2,b,s1),ruleL(s1,a,s1),ruleL(s1,a,s),ruleL(s,a,s1),ruleL(s1,a,s3),ruleR(s3,s3,b),rule0(s3)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,a,s3),ruleL(s3,b,s1),ruleL(s1,a,s1),ruleL(s1,a,s3),ruleL(s3,a,s),ruleL(s,b,s),ruleL(s,b,s1),ruleL(s1,a,s1),ruleL(s1,b,s),ruleL(s,a,s),ruleL(s,b,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,a,s3),ruleL(s3,a,s3),ruleL(s3,a,s2),rule0(s2)]
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,b,s1),ruleL(s1,a,s1),ruleL(s1,a,s3),ruleL(s3,a,s3),ruleL(s3,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,a,s3),ruleR(s3,s3,a),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1488 bytes
cfg(3,5,[rule0(s1),ruleR(s,s1,a),ruleL(s2,a,s),ruleL(s,a,s2),ruleL(s,b,s),ruleL(s1,b,s),ruleL(s2,b,s1),ruleL(s,b,s2),ruleL(s,a,s),start(s)]).
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,a,s3),ruleL(s3,b,s),ruleL(s,b,s1),ruleL(s1,b,s2),ruleL(s2,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s),ruleL(s,b,s2),ruleL(s2,a,s3),ruleL(s3,a,s1),ruleL(s1,a,s),ruleL(s,a,s3),ruleL(s3,a,s1),ruleL(s1,b,s2),ruleL(s2,a,s1),ruleL(s1,b,s3),ruleL(s3,a,s2),ruleL(s2,a,s),ruleL(s,a,s2),ruleL(s2,a,s),ruleL(s,b,s3),ruleL(s3,b,s3),ruleL(s3,a,s3),ruleL(s3,a,s2),ruleL(s2,b,s2),rule0(s2)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,b,s),ruleL(s,b,s2),ruleL(s2,b,s3),ruleL(s3,b,s2),rule0(s2)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,b,s2),ruleL(s2,a,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,a,s),ruleL(s,a,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s1),ruleL(s1,a,s),ruleL(s,b,s1),ruleL(s1,a,s3),ruleL(s3,a,s1),ruleL(s1,a,s2),ruleL(s2,b,s2),ruleL(s2,a,s),ruleL(s,b,s3),ruleL(s3,b,s),ruleL(s,b,s1),ruleL(s1,b,s2),ruleL(s2,b,s2),ruleL(s2,b,s2),ruleL(s2,b,s2),ruleL(s2,a,s2),ruleL(s2,a,s3),ruleL(s3,b,s3),ruleL(s3,a,s),ruleL(s,a,s),ruleL(s,b,s1),ruleL(s1,a,s2),ruleL(s2,a,s1),ruleL(s1,a,s),ruleL(s,b,s1),ruleL(s1,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s),ruleL(s,a,s),ruleL(s,a,s2),ruleL(s2,b,s),ruleR(s,s3,a),rule0(s3)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s),ruleL(s,b,s),ruleL(s,b,s3),ruleL(s3,b,s),ruleL(s,b,s3),ruleL(s3,b,s1),ruleL(s1,a,s1),ruleL(s1,a,s1),ruleL(s1,a,s1),ruleL(s1,a,s1),ruleL(s1,a,s2),ruleL(s2,b,s2),ruleL(s2,b,s3),ruleL(s3,a,s),ruleL(s,b,s3),ruleL(s3,a,s3),ruleL(s3,b,s3),ruleL(s3,b,s),ruleL(s,b,s1),ruleL(s1,a,s2),ruleL(s2,a,s2),ruleL(s2,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s3),ruleL(s3,b,s1),ruleL(s1,a,s),rule0(s)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2000 bytes
cfg(4,4,[rule0(s1),ruleR(s2,s1,a),ruleL(s1,b,s2),ruleL(s3,a,s1),ruleL(s3,b,s3),ruleL(s3,a,s3),ruleL(s1,a,s3),ruleL(s,b,s1),ruleL(s,a,s),ruleL(s3,b,s),ruleL(s,b,s3),start(s)]).
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s,a,s2),ruleL(s2,b,s1),ruleL(s1,a,s1),ruleL(s1,a,s2),ruleL(s2,b,s1),ruleL(s1,a,s1),ruleL(s1,b,s1),ruleL(s1,b,s2),ruleL(s2,b,s1),ruleL(s1,b,s1),ruleL(s1,b,s1),ruleL(s1,b,s1),ruleL(s1,b,s3),ruleL(s3,b,s3),ruleL(s3,b,s1),ruleL(s1,a,s3),ruleL(s3,a,s),rule0(s)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1616 bytes
cfg(3,4,[rule0(s2),ruleR(s1,s2,a),ruleL(s,a,s1),ruleL(s,b,s),ruleL(s,a,s),ruleL(s2,b,s),ruleL(s,b,s2),start(s)]).
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s),ruleL(s,b,s3),ruleL(s3,a,s1),ruleL(s1,a,s2),ruleL(s2,a,s1),ruleL(s1,a,s),ruleL(s,b,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s,b,s1),ruleL(s1,b,s),ruleL(s,a,s3),ruleL(s3,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s),ruleL(s,a,s),ruleL(s,b,s),ruleL(s,a,s3),ruleL(s3,b,s3),ruleL(s3,b,s3),ruleL(s3,a,s2),rule0(s2)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s2),ruleL(s2,a,s1),rule0(s1)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2128 bytes
cfg(3,3,[rule0(s3),ruleR(s3,s3,b),ruleL(s1,b,s3),ruleL(s,a,s1),ruleL(s1,b,s),ruleL(s,b,s1),ruleL(s3,b,s3),ruleL(s1,b,s1),ruleL(s3,b,s1),ruleL(s3,a,s3),ruleL(s,a,s3),start(s)]).
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,a,s),ruleL(s,b,s1),ruleL(s1,a,s),ruleL(s,a,s2),ruleL(s2,b,s1),ruleL(s1,a,s2),ruleL(s2,a,s3),ruleL(s3,a,s1),ruleL(s1,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s),ruleL(s,b,s3),ruleL(s3,b,s3),ruleL(s3,b,s2),ruleL(s2,b,s3),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1872 bytes
cfg(4,3,[rule0(s1),ruleR(s2,s1,a),ruleL(s2,a,s2),ruleL(s1,a,s2),ruleL(s1,a,s1),ruleL(s,a,s1),ruleL(s1,a,s),ruleL(s3,b,s1),ruleL(s1,b,s3),ruleL(s,b,s1),start(s)]).
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1376 bytes
cfg(3,2,[rule0(s3),ruleR(s3,s3,a),ruleL(s,a,s3),ruleL(s3,b,s),ruleL(s1,a,s3),ruleL(s,b,s1),ruleL(s,b,s3),start(s)]).
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1632 bytes
cfg(4,2,[rule0(s3),ruleR(s2,s3,b),ruleL(s1,b,s2),ruleL(s3,b,s1),ruleL(s,b,s3),ruleL(s,b,s),ruleL(s1,a,s),ruleL(s2,a,s1),ruleL(s1,a,s2),ruleL(s,a,s1),start(s)]).
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,a,s1),ruleL(s1,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,b,s3),ruleL(s3,a,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,b,s2),ruleL(s2,a,s),ruleL(s,a,s2),ruleL(s2,b,s1),rule0(s1)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 976 bytes
cfg(3,1,[rule0(s1),ruleR(s2,s1,a),ruleL(s1,b,s2),ruleL(s1,a,s1),ruleL(s,a,s1),start(s)]).
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1888 bytes
cfg(2,7,[rule0(s1),ruleR(s1,s1,a),ruleL(s,b,s1),ruleL(s1,b,s),ruleL(s1,b,s1),ruleL(s1,a,s1),ruleL(s,a,s1),start(s)]).
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,a,s1),ruleL(s1,a,s3),ruleL(s3,b,s),ruleL(s,a,s1),ruleR(s1,s2,b),rule0(s2)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1632 bytes
cfg(3,0,[rule0(s3),ruleR(s2,s3,a),ruleL(s,a,s2),ruleL(s3,a,s),ruleL(s,b,s3),ruleL(s,b,s),start(s)]).
%Regular Grammar[ruleL(s,a,s),ruleL(s,b,s),ruleL(s,b,s2),rule0(s2)]
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,a,s1),ruleL(s1,a,s3),ruleL(s3,a,s),rule0(s)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2528 bytes
cfg(4,1,[rule0(s3),ruleR(s1,s3,b),ruleL(s3,a,s1),ruleL(s,a,s3),ruleL(s,a,s),ruleL(s1,a,s),ruleL(s,a,s1),ruleL(s2,a,s1),ruleL(s1,b,s2),ruleL(s1,a,s1),ruleL(s1,b,s1),ruleL(s3,b,s1),ruleL(s2,b,s3),ruleL(s1,a,s2),start(s)]).
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s2),ruleL(s2,a,s1),ruleL(s1,b,s2),ruleL(s2,a,s1),ruleL(s1,b,s3),ruleL(s3,a,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,b,s),ruleL(s,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s1),ruleL(s1,a,s3),ruleL(s3,b,s3),ruleL(s3,a,s),ruleL(s,a,s2),ruleL(s2,b,s2),ruleL(s2,b,s1),ruleL(s1,a,s),rule0(s)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2512 bytes
cfg(4,0,[rule0(s),ruleR(s1,s,a),ruleL(s2,a,s1),ruleL(s,b,s2),ruleL(s,a,s),ruleL(s,b,s),ruleL(s1,a,s),ruleL(s3,a,s1),ruleL(s2,a,s3),ruleL(s1,b,s),ruleL(s3,b,s1),ruleL(s1,a,s3),ruleL(s2,b,s1),ruleL(s,a,s2),start(s)]).
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,b,s1),ruleL(s1,b,s),ruleL(s,b,s2),ruleL(s2,a,s2),ruleL(s2,a,s),ruleL(s,a,s),ruleL(s,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s2),ruleL(s2,b,s3),ruleL(s3,a,s3),rule0(s3)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s1),ruleL(s1,a,s),ruleL(s,a,s1),ruleL(s1,a,s1),ruleL(s1,b,s3),ruleL(s3,b,s),rule0(s)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2256 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 992 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1888 bytes
%Regular Grammar[ruleL(s,a,s),ruleL(s,a,s1),ruleL(s1,a,s),ruleL(s,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s,b,s2),ruleL(s2,a,s1),ruleL(s1,a,s3),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1488 bytes
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s,b,s2),ruleL(s2,a,s2),ruleL(s2,b,s3),ruleL(s3,a,s),ruleL(s,b,s2),ruleL(s2,b,s2),ruleL(s2,b,s),ruleL(s,a,s3),ruleL(s3,b,s2),ruleL(s2,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s1),ruleL(s1,a,s3),ruleL(s3,a,s),ruleL(s,a,s2),ruleL(s2,a,s),ruleL(s,a,s3),ruleL(s3,a,s1),ruleL(s1,b,s2),ruleL(s2,b,s1),ruleL(s1,b,s1),ruleL(s1,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s3),ruleL(s3,b,s3),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1360 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 864 bytes
cfg(2,6,[rule0(s2),ruleR(s2,s2,b),ruleL(s2,b,s2),ruleL(s,a,s2),start(s)]).
%Regular Grammar[ruleL(s,a,s),ruleL(s,a,s2),ruleL(s2,a,s2),ruleL(s2,b,s1),ruleL(s1,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,a,s3),ruleL(s3,b,s3),ruleL(s3,a,s),ruleL(s,b,s2),ruleL(s2,b,s1),ruleL(s1,a,s2),ruleL(s2,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,b,s3),ruleL(s3,b,s2),ruleL(s2,b,s),ruleL(s,b,s1),ruleL(s1,b,s2),rule0(s2)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,a,s3),ruleL(s3,b,s),ruleL(s,b,s3),ruleL(s3,b,s),ruleL(s,b,s1),ruleL(s1,b,s1),ruleL(s1,a,s1),ruleL(s1,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s1),ruleL(s1,b,s2),ruleL(s2,b,s2),ruleL(s2,b,s2),ruleL(s2,a,s),ruleL(s,b,s1),ruleL(s1,b,s2),ruleL(s2,a,s),ruleL(s,a,s2),ruleL(s2,a,s2),rule0(s2)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1488 bytes
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,a,s3),ruleL(s3,b,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s2),rule0(s2)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 3936 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1376 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2528 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2272 bytes
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s),ruleL(s,a,s2),ruleL(s2,b,s),ruleR(s,s1,b),rule0(s1)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s),ruleL(s,a,s1),ruleL(s1,b,s),ruleL(s,b,s),ruleL(s,a,s1),ruleL(s1,a,s1),ruleL(s1,b,s1),ruleL(s1,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,b,s2),ruleL(s2,a,s1),ruleL(s1,a,s3),ruleL(s3,b,s2),ruleL(s2,b,s3),ruleL(s3,b,s3),ruleL(s3,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,b,s3),ruleL(s3,a,s),ruleL(s,b,s),ruleL(s,b,s3),ruleL(s3,a,s1),ruleL(s1,b,s1),ruleL(s1,a,s2),ruleR(s2,s2,b),rule0(s2)]
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,b,s1),ruleL(s1,a,s),ruleL(s,b,s3),ruleL(s3,a,s3),ruleL(s3,a,s3),ruleL(s3,b,s),ruleL(s,b,s2),ruleL(s2,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s),ruleL(s,b,s1),ruleL(s1,b,s2),ruleL(s2,a,s1),ruleL(s1,b,s2),ruleL(s2,b,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s),ruleL(s,b,s1),ruleL(s1,b,s1),ruleL(s1,b,s),ruleL(s,a,s),ruleL(s,b,s3),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 976 bytes
cfg(2,5,[rule0(s2),ruleR(s,s2,b),ruleL(s,a,s),ruleL(s2,a,s),ruleL(s,a,s2),start(s)]).
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,a,s2),ruleL(s2,a,s3),ruleL(s3,b,s1),ruleL(s1,b,s3),ruleL(s3,a,s3),ruleL(s3,a,s2),ruleL(s2,b,s3),ruleL(s3,a,s3),ruleL(s3,b,s3),ruleL(s3,a,s1),ruleL(s1,b,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,b,s),ruleL(s,a,s2),ruleL(s2,b,s2),ruleL(s2,b,s3),ruleL(s3,a,s1),ruleL(s1,b,s1),ruleL(s1,b,s1),rule0(s1)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2000 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 992 bytes
cfg(2,4,[rule0(s2),ruleR(s2,s2,a),ruleL(s2,b,s2),ruleL(s,a,s2),start(s)]).
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1376 bytes
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,a,s),ruleL(s,b,s3),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 864 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 992 bytes
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,b,s2),ruleL(s2,a,s1),ruleL(s1,a,s1),rule0(s1)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1104 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1248 bytes
cfg(2,3,[rule0(s1),ruleR(s1,s1,a),ruleL(s,a,s1),ruleL(s1,b,s),ruleL(s1,a,s1),ruleL(s,b,s1),ruleL(s,b,s),start(s)]).
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,a,s2),ruleL(s2,a,s),ruleL(s,a,s3),ruleR(s3,s3,a),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1744 bytes
cfg(2,2,[rule0(s1),ruleR(s,s1,a),ruleL(s1,a,s),ruleL(s1,b,s1),ruleL(s,a,s1),ruleL(s,a,s),ruleL(s1,b,s),start(s)]).
%Regular Grammar[ruleL(s,a,s),ruleL(s,b,s3),ruleL(s3,b,s1),ruleL(s1,a,s3),rule0(s3)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s1),ruleL(s1,a,s1),ruleL(s1,a,s2),ruleL(s2,a,s3),rule0(s3)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,b,s2),ruleL(s2,a,s2),rule0(s2)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s1),ruleL(s1,b,s1),ruleL(s1,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s2),ruleL(s2,a,s2),ruleL(s2,a,s),ruleL(s,a,s),rule0(s)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1360 bytes
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,b,s2),ruleL(s2,a,s1),ruleL(s1,a,s3),ruleL(s3,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s1),ruleL(s1,a,s1),ruleL(s1,a,s),ruleL(s,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s3),ruleL(s3,a,s),ruleL(s,a,s3),ruleL(s3,b,s1),ruleL(s1,b,s2),rule0(s2)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1488 bytes
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,b,s3),ruleL(s3,a,s1),ruleL(s1,a,s3),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2272 bytes
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,b,s3),ruleL(s3,a,s1),ruleL(s1,b,s1),ruleL(s1,b,s1),ruleL(s1,a,s2),ruleL(s2,b,s3),ruleL(s3,a,s2),ruleL(s2,a,s2),rule0(s2)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s),ruleL(s,a,s),ruleL(s,b,s1),ruleL(s1,a,s),ruleL(s,b,s1),ruleL(s1,a,s3),ruleL(s3,a,s2),ruleL(s2,b,s),ruleL(s,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,b,s2),ruleL(s2,b,s),ruleL(s,a,s3),ruleR(s3,s3,b),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 2128 bytes
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,a,s),ruleL(s,b,s3),ruleL(s3,a,s2),rule0(s2)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s1),ruleL(s1,b,s),ruleL(s,b,s2),ruleL(s2,a,s2),ruleL(s2,b,s),ruleL(s,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,b,s1),ruleL(s1,b,s1),ruleL(s1,b,s2),ruleL(s2,a,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s1),ruleL(s1,b,s),ruleL(s,a,s3),ruleL(s3,a,s1),ruleL(s1,a,s1),ruleL(s1,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,a,s1),ruleL(s1,b,s3),ruleL(s3,b,s1),ruleL(s1,b,s),ruleL(s,a,s2),ruleL(s2,a,s1),ruleL(s1,a,s2),ruleL(s2,a,s3),ruleL(s3,a,s),ruleL(s,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s3),ruleL(s3,b,s3),ruleL(s3,b,s2),ruleL(s2,a,s1),ruleL(s1,a,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s),ruleL(s,a,s),ruleL(s,b,s2),rule0(s2)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,b,s1),ruleL(s1,a,s2),ruleL(s2,b,s2),ruleL(s2,a,s),ruleR(s,s3,a),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1104 bytes
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,a,s3),ruleL(s3,a,s2),ruleL(s2,b,s2),ruleL(s2,a,s),ruleL(s,b,s2),ruleL(s2,b,s3),ruleL(s3,a,s3),ruleL(s3,a,s),ruleL(s,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,b,s3),ruleL(s3,a,s1),ruleL(s1,a,s1),ruleL(s1,b,s2),ruleL(s2,b,s),ruleL(s,a,s2),ruleL(s2,a,s),ruleL(s,a,s),ruleL(s,b,s2),ruleL(s2,b,s2),ruleL(s2,a,s2),ruleL(s2,a,s2),ruleL(s2,a,s2),ruleL(s2,b,s),ruleL(s,a,s3),ruleL(s3,b,s1),ruleL(s1,b,s2),ruleL(s2,a,s3),ruleL(s3,a,s2),ruleL(s2,a,s2),ruleL(s2,b,s1),ruleL(s1,a,s),ruleL(s,b,s1),ruleL(s1,b,s),ruleL(s,a,s1),ruleL(s1,a,s2),ruleL(s2,b,s2),ruleL(s2,a,s2),ruleL(s2,b,s2),ruleL(s2,a,s),ruleL(s,b,s3),ruleL(s3,a,s3),ruleL(s3,a,s),ruleL(s,a,s2),ruleL(s2,a,s),ruleL(s,b,s3),ruleL(s3,b,s3),ruleL(s3,b,s1),rule0(s1)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1616 bytes
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s2),ruleL(s2,a,s),ruleL(s,a,s2),ruleL(s2,a,s2),ruleL(s2,a,s),ruleL(s,b,s3),ruleL(s3,b,s2),ruleL(s2,b,s),ruleL(s,a,s),ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s,b,s3),ruleL(s3,a,s2),ruleL(s2,b,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s),ruleL(s,a,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s),ruleL(s,a,s2),ruleL(s2,b,s3),ruleL(s3,b,s),ruleL(s,a,s1),ruleL(s1,a,s),ruleL(s,b,s1),ruleL(s1,a,s),ruleL(s,b,s3),ruleL(s3,b,s2),ruleL(s2,b,s2),ruleL(s2,b,s1),ruleL(s1,a,s1),ruleL(s1,a,s),rule0(s)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1232 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1104 bytes
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,a,s),ruleL(s,b,s2),ruleL(s2,b,s),ruleL(s,a,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,b,s),ruleL(s,b,s),ruleL(s,a,s1),ruleL(s1,a,s1),rule0(s1)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 848 bytes
cfg(2,1,[rule0(s1),ruleR(s1,s1,a),ruleL(s1,b,s1),ruleL(s,b,s1),start(s)]).
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 976 bytes
%Regular Grammar[ruleL(s,a,s),ruleL(s,b,s),ruleL(s,b,s3),ruleL(s3,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,a,s2),ruleL(s2,a,s),ruleL(s,a,s3),ruleR(s3,s3,b),rule0(s3)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1488 bytes
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 3936 bytes
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,b,s),ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s,a,s1),ruleL(s1,b,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,a,s2),ruleL(s2,a,s1),ruleL(s1,b,s2),ruleL(s2,a,s),ruleL(s,b,s1),ruleL(s1,a,s3),rule0(s3)]
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,b,s),ruleL(s,a,s1),ruleL(s1,a,s2),ruleL(s2,a,s3),ruleL(s3,a,s),ruleL(s,b,s3),ruleL(s3,b,s),ruleL(s,a,s2),ruleL(s2,a,s3),ruleL(s3,a,s1),ruleL(s1,b,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s1),ruleL(s1,b,s2),ruleL(s2,a,s1),ruleL(s1,b,s1),ruleL(s1,b,s3),ruleL(s3,a,s2),ruleL(s2,a,s1),rule0(s1)]
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,b,s2),ruleL(s2,b,s2),ruleL(s2,a,s),ruleL(s,b,s3),ruleL(s3,b,s2),rule0(s2)]
%Regular Grammar[ruleL(s,a,s3),ruleL(s3,b,s2),ruleL(s2,b,s3),ruleL(s3,a,s1),ruleL(s1,a,s2),ruleL(s2,a,s),rule0(s)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 1872 bytes
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,a,s3),ruleL(s3,a,s2),ruleL(s2,b,s1),ruleL(s1,a,s3),ruleL(s3,a,s),ruleL(s,a,s2),ruleL(s2,b,s2),ruleL(s2,b,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s1),ruleL(s1,b,s3),ruleL(s3,b,s),rule0(s)]
%Regular Grammar[ruleL(s,a,s2),ruleL(s2,b,s1),ruleL(s1,a,s2),ruleL(s2,a,s),rule0(s)]
%Regular Grammar[ruleL(s,b,s3),ruleL(s3,b,s3),ruleL(s3,b,s),ruleL(s,a,s2),ruleL(s2,b,s3),rule0(s3)]
%Regular Grammar[ruleL(s,b,s2),ruleL(s2,a,s3),ruleL(s3,a,s1),ruleR(s1,s1,b),rule0(s1)]
%Regular Grammar[ruleL(s,a,s),ruleL(s,a,s3),ruleL(s3,a,s),ruleL(s,b,s1),rule0(s1)]
 % consulting /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl...
 % consulted /vol/comp-bio/dianhuan/newMachine/PhD/myCode/HotLog/rewrite_clause.pl in module user, 0 msec 976 bytes
cfg(2,0,[rule0(s1),ruleR(s1,s1,a),ruleL(s,b,s1),ruleL(s1,a,s),ruleL(s,a,s1),start(s)]).
*/