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