%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 1136 bytes
cfg(2,9,[rule0(s2),ruleR(s1,s2,b),ruleL(s1,a,s1),ruleL(s1,b,s1),ruleL(s2,b,s1),ruleL(s1,a,s2)]).
%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 1792 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)]).
%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 2960 bytes
cfg(2,8,[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)]).
%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 752 bytes
cfg(2,7,[rule0(s2),ruleR(s2,s2,b),ruleL(s2,a,s2),ruleL(s,b,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 1936 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)]).
 % 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 752 bytes
cfg(3,9,[rule0(s1),ruleR(s3,s1,b),ruleL(s1,a,s3),ruleL(s,a,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 896 bytes
cfg(3,8,[rule0(s),ruleR(s2,s,a),ruleL(s,a,s2),ruleL(s1,b,s),ruleL(s,a,s1)]).
%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 1408 bytes
cfg(2,6,[rule0(s1),ruleR(s2,s1,a),ruleL(s1,b,s2),ruleL(s2,b,s1),ruleL(s1,a,s2),ruleL(s1,a,s1)]).
%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 1520 bytes
cfg(3,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)]).
 % 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 1040 bytes
cfg(4,7,[rule0(s2),ruleR(s3,s2,b),ruleL(s2,b,s3),ruleL(s,b,s2),ruleL(s1,b,s),ruleL(s,a,s1)]).
%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 1216 bytes
cfg(4,6,[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)]).
%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 1408 bytes
cfg(3,6,[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)]).
%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 1920 bytes
cfg(4,5,[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)]).
%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 1536 bytes
cfg(3,5,[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)]).
%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 2048 bytes
%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 1792 bytes
cfg(4,4,[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)]).
 % 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 1296 bytes
cfg(3,4,[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)]).
 % 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 1552 bytes
cfg(4,3,[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)]).
%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 896 bytes
cfg(2,5,[rule0(s1),ruleR(s2,s1,a),ruleL(s1,b,s2),ruleL(s1,a,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 1808 bytes
%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 1392 bytes
cfg(3,3,[rule0(s3),ruleR(s2,s3,a),ruleL(s,a,s2),ruleL(s3,a,s),ruleL(s,b,s3),ruleL(s,b,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 2384 bytes
cfg(4,2,[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)]).
%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 2368 bytes
cfg(4,1,[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)]).
%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 2176 bytes
cfg(4,0,[rule0(s1),ruleR(s1,s1,b),ruleL(s3,b,s1),ruleL(s1,b,s3),ruleL(s1,a,s1),ruleL(s,a,s1),ruleL(s,a,s),ruleL(s2,b,s),ruleL(s3,b,s2),ruleL(s3,a,s3),ruleL(s2,a,s3),ruleL(s1,b,s2),ruleL(s2,a,s1),ruleL(s,b,s2),ruleL(s,b,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 896 bytes
cfg(2,4,[rule0(s3),ruleR(s1,s3,a),ruleL(s3,a,s1),ruleL(s3,a,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 1808 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 1408 bytes
cfg(3,2,[rule0(s1),ruleR(s1,s1,b),ruleL(s,b,s1),ruleL(s2,b,s),ruleL(s1,a,s2),ruleL(s1,a,s1),ruleL(s,a,s1),ruleL(s,b,s)]).
%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 1280 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 768 bytes
cfg(2,3,[rule0(s2),ruleR(s2,s2,b),ruleL(s2,b,s2),ruleL(s,a,s2)]).
%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 1408 bytes
cfg(3,1,[rule0(s1),ruleR(s1,s1,a),ruleL(s2,a,s1),ruleL(s1,b,s2),ruleL(s1,a,s1),ruleL(s,b,s1),ruleL(s2,a,s),ruleL(s1,a,s2),ruleL(s,a,s1)]).
%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 3792 bytes
cfg(3,0,[rule0(s2),ruleR(s1,s2,a),ruleL(s2,a,s),ruleL(s2,b,s2),ruleL(s,b,s2),ruleL(s,b,s),ruleL(s1,b,s),ruleL(s,a,s1),ruleL(s2,b,s),ruleL(s,a,s2),ruleL(s,a,s),ruleL(s,b,s1),ruleL(s1,a,s),ruleL(s1,b,s1),ruleL(s2,b,s1),ruleL(s1,a,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 1280 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 2448 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 2192 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 896 bytes
cfg(2,2,[rule0(s2),ruleR(s,s2,b),ruleL(s,a,s),ruleL(s2,a,s),ruleL(s,a,s2)]).
%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 1920 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 880 bytes
cfg(2,1,[rule0(s2),ruleR(s2,s2,a),ruleL(s2,b,s2),ruleL(s,a,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 1280 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 784 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 896 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 1008 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 1168 bytes
cfg(2,0,[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)]).