x1 = s121
x2 = s122
x3 = s124
x4 = s125
x5 = s126
x6 = s127
x7 = s128
x8 = s129
x9 = s130
x10 = s131
x11 = s132
x12 = s133
x13 = s134
x14 = s135
x15 = s139
x16 = s150
x17 = s152
x18 = s153
x19 = s154
x20 = s159
x21 = s160
x22 = s161
x23 = s164
x24 = s167