x1 = s2
x2 = s4
x3 = s7
x4 = s15
x5 = s19
x6 = s21
x7 = s22
x8 = s23
x9 = s25
x10 = s27
x11 = s26
x12 = s28
x13 = s32
x14 = s29
x15 = s24
x16 = s35
x17 = s37
x18 = s38
x19 = s39
x20 = s40
x21 = s1
x22 = s18
x23 = s41
x24 = s42
x25 = s48
x26 = s53
x27 = s60
x28 = s63
x29 = s64
x30 = s65
x31 = s67
x32 = s75
x33 = s76
x34 = s77
x35 = s81
x36 = s82