S1 + S2 -> S3
S3 -> S1 + S2
S3 -> S1 + S5
S4 + S5 -> S6
S6 -> S4 + S5
S6 -> S2 + S4