0.00/0.32	NO
0.00/0.32	
0.00/0.32	
0.00/0.32	The system was reversed.
0.00/0.32	
0.00/0.32	Remains to prove termination of the 2-rule system
0.00/0.32	{ 0 0 0 0 -> 1 1 1 0 ,
0.00/0.32	  1 0 1 1 -> 0 1 1 0 }
0.00/0.32	
0.00/0.32	
0.00/0.32	Loop of length 20 starting with a string of length 13 using right expansion
0.00/0.32	and the encoding {0=a, 1=b}:
0.00/0.32	
0.00/0.32	.aaaa.bbaabbbba
0.00/0.32		rule aaaa -> bbba at position 0
0.00/0.32	.bbba.bbaabbbba
0.00/0.32		rule babb -> abba at position 2
0.00/0.32	.bbabba.aabbbba
0.00/0.32		rule babb -> abba at position 1
0.00/0.32	.babbaa.aabbbba
0.00/0.32		rule babb -> abba at position 0
0.00/0.32	.abbaaa.aabbbba
0.00/0.32		rule aaaa -> bbba at position 4
0.00/0.32	.abbabbba.bbbba
0.00/0.32		rule babb -> abba at position 2
0.00/0.32	.ababbaba.bbbba
0.00/0.32		rule babb -> abba at position 1
0.00/0.32	.aabbaaba.bbbba
0.00/0.32		rule babb -> abba at position 6
0.00/0.32	.aabbaaabba.bba
0.00/0.32		rule babb -> abba at position 8
0.00/0.32	.aabbaaababba.a
0.00/0.32		rule babb -> abba at position 7
0.00/0.32	.aabbaaaabbaa.a
0.00/0.32		rule aaaa -> bbba at position 4
0.00/0.32	.aabbbbbabbaa.a
0.00/0.32		rule babb -> abba at position 6
0.00/0.32	.aabbbbabbaaa.a
0.00/0.32		rule babb -> abba at position 5
0.00/0.32	.aabbbabbaaaa.a
0.00/0.32		rule babb -> abba at position 4
0.00/0.32	.aabbabbaaaaa.a
0.00/0.32		rule babb -> abba at position 3
0.00/0.32	.aababbaaaaaa.a
0.00/0.32		rule babb -> abba at position 2
0.00/0.32	.aaabbaaaaaaa.a
0.00/0.32		rule aaaa -> bbba at position 6
0.00/0.32	.aaabbabbbaaa.a
0.00/0.32		rule babb -> abba at position 4
0.00/0.32	.aaababbabaaa.a
0.00/0.32		rule babb -> abba at position 3
0.00/0.32	.aaaabbaabaaa.a
0.00/0.32		rule aaaa -> bbba at position 9
0.00/0.32	.aaaabbaabbbba.
0.00/0.36	EOF