graph-rewriting-trs-0.1: examples/peano.trs

1 → S0
2 → S1
3 → S2
4 → S3
5 → S4
6 → S5
7 → S6
8 → S7
9 → S8