0.00/0.55	NO
0.00/0.56	
0.00/0.56	
0.00/0.56	The system was reversed.
0.00/0.56	
0.00/0.56	Remains to prove termination of the 2-rule system
0.00/0.56	{ a a a -> b a ,
0.00/0.56	  c b -> a a a c c }
0.00/0.56	
0.00/0.56	
0.00/0.56	Loop of length 16 starting with a string of length 5 using right expansion
0.00/0.56	and the encoding {a=a, b=b, c=c}:
0.00/0.56	
0.00/0.56	.cb.bbb
0.00/0.56		rule cb -> aaacc at position 0
0.00/0.56	.aaacc.bbb
0.00/0.56		rule cb -> aaacc at position 4
0.00/0.56	.aaacaaacc.bb
0.00/0.56		rule aaa -> ba at position 4
0.00/0.56	.aaacbacc.bb
0.00/0.56		rule cb -> aaacc at position 7
0.00/0.56	.aaacbacaaacc.b
0.00/0.56		rule aaa -> ba at position 7
0.00/0.56	.aaacbacbacc.b
0.00/0.56		rule cb -> aaacc at position 6
0.00/0.56	.aaacbaaaaccacc.b
0.00/0.56		rule aaa -> ba at position 5
0.00/0.56	.aaacbbaaccacc.b
0.00/0.56		rule cb -> aaacc at position 12
0.00/0.56	.aaacbbaaccacaaacc.
0.00/0.56		rule aaa -> ba at position 12
0.00/0.56	.aaacbbaaccacbacc.
0.00/0.56		rule cb -> aaacc at position 11
0.00/0.56	.aaacbbaaccaaaaccacc.
0.00/0.56		rule aaa -> ba at position 10
0.00/0.56	.aaacbbaaccbaaccacc.
0.00/0.56		rule cb -> aaacc at position 9
0.00/0.56	.aaacbbaacaaaccaaccacc.
0.00/0.56		rule aaa -> ba at position 9
0.00/0.56	.aaacbbaacbaccaaccacc.
0.00/0.56		rule cb -> aaacc at position 8
0.00/0.56	.aaacbbaaaaaccaccaaccacc.
0.00/0.56		rule aaa -> ba at position 6
0.00/0.56	.aaacbbbaaaccaccaaccacc.
0.00/0.56		rule aaa -> ba at position 7
0.00/0.56	.aaacbbbbaccaccaaccacc.
1.51/0.59	EOF