s121 -> s125 s125 -> s124 s160 -> s122 s125 -> s125 + s160 s126 -> s127 s133 -> s132 s135 -> s161 s133 -> s131 s132 -> s134 s139 -> s132 s132 + s135 -> s152 s152 -> s132 + s161 s130 -> s129 s127 -> s127 + s128 s132 -> s130 s150 -> s133 s160 + s161 -> s135 s132 + s160 -> s139 s161 -> 5*s164 5*s159 -> s135 s164 + s167 -> s159 s127 -> s153 s128 -> s154 s160 -> 5*s167