s65 -> s47
s47 -> s65
s51 -> s50
s50 -> s51
s66 -> s48
s48 -> s66
s57 -> s56
s137 -> s60 + s61
s161 -> s166 + s46
s161 -> s56 + s61
s137 -> s166 + s46
s137 -> s161
s55 -> s67
s67 -> s63
s63 -> s67
s166 + s67 -> s149
s149 -> s166 + s67
s149 -> s166 + s94
s166 + s63 -> s153
s153 -> s166 + s63
s153 -> s166 + s94
s153 -> s149
s67 -> s94
s153 -> s63
s149 -> s61 + s67
s63 -> s94
s71 -> s70
s70 -> s71
s73 -> s72
s72 -> s74
s76 -> s75
s75 -> s77
s78 -> s81
s79 -> s80
s80 -> s79
s60 -> s46
s56 -> s46
s161 -> s137
s149 -> s153
s82 -> s83
s83 -> s82
s85 -> s84
s84 -> s88
s81 -> s93
s166 + s56 -> s161
s161 -> s166 + s56
s60 -> s56
s56 -> s60
s166 + s60 -> s137
s137 -> s166 + s60
s166 -> s61
s52 -> s166
s89 -> s90
s91 -> s92
s90 -> s91