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