P0 -> P1 T0 -> T1 P1 -> P0 T1 -> T0 P1 -> P2 T1 -> T2 P2 -> P1 T2 -> T1 P0 -> 0 T0 -> 0 P1 -> 0 T1 -> 0 P2 -> 0 T2 -> 0 P2 + T2 -> CC CC -> P2 + T2 CC -> Cn Cn -> CC CC -> 0 Cn -> 0 0 -> Mp 0 -> Mt 0 -> P0 0 -> T0 Mp -> 0 Mt -> 0