0.00/0.42	NO
0.00/0.43	
0.00/0.43	
0.00/0.43	The system was reversed.
0.00/0.43	
0.00/0.43	Remains to prove termination of the 2-rule system
0.00/0.43	{ 0 0 0 0 -> 1 0 1 0 ,
0.00/0.43	  1 0 0 1 -> 0 0 1 0 }
0.00/0.43	
0.00/0.43	
0.00/0.43	Loop of length 27 starting with a string of length 15 using right expansion
0.00/0.43	and the encoding {0=a, 1=b}:
0.00/0.43	
0.00/0.43	.aaaa.ababbababaa
0.00/0.43		rule aaaa -> baba at position 0
0.00/0.43	.baba.ababbababaa
0.00/0.43		rule baab -> aaba at position 2
0.00/0.43	.baaaba.abbababaa
0.00/0.43		rule baab -> aaba at position 4
0.00/0.43	.baaaaaba.bababaa
0.00/0.43		rule aaaa -> baba at position 1
0.00/0.43	.bbabaaba.bababaa
0.00/0.43		rule baab -> aaba at position 3
0.00/0.43	.bbaaabaa.bababaa
0.00/0.43		rule baab -> aaba at position 5
0.00/0.43	.bbaaaaaba.ababaa
0.00/0.43		rule aaaa -> baba at position 2
0.00/0.43	.bbbabaaba.ababaa
0.00/0.43		rule baab -> aaba at position 7
0.00/0.43	.bbbabaaaaba.abaa
0.00/0.43		rule baab -> aaba at position 9
0.00/0.43	.bbbabaaaaaaba.aa
0.00/0.43		rule aaaa -> baba at position 7
0.00/0.43	.bbbabaabababa.aa
0.00/0.43		rule baab -> aaba at position 4
0.00/0.43	.bbbaaabaababa.aa
0.00/0.43		rule baab -> aaba at position 6
0.00/0.43	.bbbaaaaabaaba.aa
0.00/0.43		rule baab -> aaba at position 8
0.00/0.43	.bbbaaaaaaabaa.aa
0.00/0.43		rule aaaa -> baba at position 5
0.00/0.43	.bbbaababaabaa.aa
0.00/0.43		rule baab -> aaba at position 2
0.00/0.43	.bbaabaabaabaa.aa
0.00/0.43		rule baab -> aaba at position 1
0.00/0.43	.baabaaabaabaa.aa
0.00/0.43		rule baab -> aaba at position 0
0.00/0.43	.aabaaaabaabaa.aa
0.00/0.43		rule baab -> aaba at position 7
0.00/0.43	.aabaaaaaabaaa.aa
0.00/0.43		rule aaaa -> baba at position 5
0.00/0.43	.aabaabababaaa.aa
0.00/0.43		rule baab -> aaba at position 2
0.00/0.43	.aaaabaababaaa.aa
0.00/0.43		rule baab -> aaba at position 4
0.00/0.43	.aaaaaabaabaaa.aa
0.00/0.43		rule baab -> aaba at position 6
0.00/0.43	.aaaaaaaabaaaa.aa
0.00/0.43		rule aaaa -> baba at position 11
0.00/0.43	.aaaaaaaabaababa.
0.00/0.43		rule baab -> aaba at position 8
0.00/0.43	.aaaaaaaaaabaaba.
0.00/0.43		rule aaaa -> baba at position 5
0.00/0.43	.aaaaababaabaaba.
0.00/0.43		rule baab -> aaba at position 10
0.00/0.43	.aaaaababaaaabaa.
0.00/0.43		rule aaaa -> baba at position 8
0.00/0.43	.aaaaababbababaa.
0.00/0.46	EOF