x1 = s1
x2 = s2
x3 = s3
x4 = s4
x5 = s5
x6 = s6
x7 = s7
x8 = s8
x9 = s9
x10 = s10
x11 = s11
x12 = s12
x13 = s13
x14 = s14
x15 = s15
x16 = s16
x17 = s17
x18 = s18
x19 = s27
x20 = s28
x21 = s19
x22 = s20
x23 = s21
x24 = s22
x25 = s23
x26 = s24
x27 = s25
x28 = s26
x29 = s29
x30 = s30
x31 = s31
x32 = s32
x33 = s33
x34 = s34
x35 = s35
x36 = s36
x37 = s37
x38 = s38
x39 = s39
x40 = s40
x41 = s41
x42 = s42
x43 = s43
x44 = s44
x45 = s45
x46 = s46
x47 = s47
x48 = s48
x49 = s49
x50 = s50
x51 = s51
x52 = s52
x53 = s53
x54 = s54
x55 = s55
x56 = s56
x57 = s57