==========================================
search in CONVERSION : 0 =>* 0 .

Solution 1 (state 0)
states: 1  rewrites: 0
empty substitution

No more solutions.
states: 1  rewrites: 0
Warning: no loop state.
Bye.
