1.55/0.68	YES
1.55/0.69	
1.55/0.69	
1.55/0.69	The system was filtered by the following matrix interpretation
1.55/0.69	of type E_J with J = {1,...,2} and dimension 6:
1.55/0.69	
1.55/0.69	b is interpreted by
1.55/0.69	 /           \
1.55/0.69	| 1 0 1 0 0 0 |
1.55/0.69	| 0 1 0 0 0 0 |
1.55/0.69	| 0 0 1 0 1 0 |
1.55/0.69	| 0 0 0 0 0 0 |
1.55/0.69	| 0 0 0 0 0 2 |
1.55/0.69	| 0 1 0 0 1 0 |
1.55/0.69	 \           /
1.55/0.69	a is interpreted by
1.55/0.69	 /           \
1.55/0.69	| 1 0 0 0 0 0 |
1.55/0.69	| 0 1 0 0 0 0 |
1.55/0.69	| 0 0 0 1 0 0 |
1.55/0.69	| 0 0 0 0 1 0 |
1.55/0.69	| 0 0 0 0 0 0 |
1.55/0.69	| 0 0 0 0 0 0 |
1.55/0.69	 \           /
1.55/0.69	
1.55/0.69	Remains to prove termination of the 0-rule system
1.55/0.69	{ }
1.55/0.69	
1.55/0.69	
1.55/0.69	The system is trivially terminating.
1.83/0.73	EOF