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