[Termtools] (RULES 0 0 1 -> 1 0 1 0 0 , 1 1 -> )

[Johannes Waldmann]

Dear all, here's a new small SRS termination challenge:

(RULES 0 0 1 -> 1 0 1 0 0 , 1 1  -> )

None of the recent provers seems to be able to do this, and I am not 
sure about termination myself.

This is also a gentle reminder that new suggestions for termination problems
to be included with TPDB are always welcome.

Best regards, Johannes Waldmann.