# Domains var x1 >= -1.0e8, <= 1.0e8; var x2 >= -1.0e8, <= 1.0e8; var x3 >= -1.0e8, <= 1.0e8; var x4 >= -1.0e8, <= 1.0e8; var x5 >= -1.0e8, <= 1.0e8; var x6 >= -1.0e8, <= 1.0e8; var x7 >= -1.0e8, <= 1.0e8; var x8 >= -1.0e8, <= 1.0e8; var x9 >= -1.0e8, <= 1.0e8; var x10 >= -1.0e8, <= 1.0e8; var x11 >= -1.0e8, <= 1.0e8; var x12 >= -1.0e8, <= 1.0e8; var x13 >= -1.0e8, <= 1.0e8; var x14 >= -1.0e8, <= 1.0e8; var x15 >= -1.0e8, <= 1.0e8; var x16 >= -1.0e8, <= 1.0e8; var x17 >= -1.0e8, <= 1.0e8; var x18 >= -1.0e8, <= 1.0e8; var x19 >= -1.0e8, <= 1.0e8; var x20 >= -1.0e8, <= 1.0e8; var x21 >= -1.0e8, <= 1.0e8; var x22 >= -1.0e8, <= 1.0e8; var x23 >= -1.0e8, <= 1.0e8; var x24 >= -1.0e8, <= 1.0e8; var x25 >= -1.0e8, <= 1.0e8; var x26 >= -1.0e8, <= 1.0e8; var x27 >= -1.0e8, <= 1.0e8; var x28 >= -1.0e8, <= 1.0e8; var x29 >= -1.0e8, <= 1.0e8; var x30 >= -1.0e8, <= 1.0e8; var x31 >= -1.0e8, <= 1.0e8; var x32 >= -1.0e8, <= 1.0e8; var x33 >= -1.0e8, <= 1.0e8; var x34 >= -1.0e8, <= 1.0e8; var x35 >= -1.0e8, <= 1.0e8; var x36 >= -1.0e8, <= 1.0e8; var x37 >= -1.0e8, <= 1.0e8; var x38 >= -1.0e8, <= 1.0e8; var x39 >= -1.0e8, <= 1.0e8; var x40 >= -1.0e8, <= 1.0e8; var x41 >= -1.0e8, <= 1.0e8; var x42 >= -1.0e8, <= 1.0e8; var x43 >= -1.0e8, <= 1.0e8; var x44 >= -1.0e8, <= 1.0e8; var x45 >= -1.0e8, <= 1.0e8; var x46 >= -1.0e8, <= 1.0e8; var x47 >= -1.0e8, <= 1.0e8; var x48 >= -1.0e8, <= 1.0e8; var x49 >= -1.0e8, <= 1.0e8; var x50 >= -1.0e8, <= 1.0e8; var x51 >= -1.0e8, <= 1.0e8; var x52 >= -1.0e8, <= 1.0e8; var x53 >= -1.0e8, <= 1.0e8; var x54 >= -1.0e8, <= 1.0e8; var x55 >= -1.0e8, <= 1.0e8; var x56 >= -1.0e8, <= 1.0e8; var x57 >= -1.0e8, <= 1.0e8; var x58 >= -1.0e8, <= 1.0e8; var x59 >= -1.0e8, <= 1.0e8; var x60 >= -1.0e8, <= 1.0e8; var x61 >= -1.0e8, <= 1.0e8; var x62 >= -1.0e8, <= 1.0e8; var x63 >= -1.0e8, <= 1.0e8; var x64 >= -1.0e8, <= 1.0e8; var x65 >= -1.0e8, <= 1.0e8; var x66 >= -1.0e8, <= 1.0e8; var x67 >= -1.0e8, <= 1.0e8; var x68 >= -1.0e8, <= 1.0e8; var x69 >= -1.0e8, <= 1.0e8; var x70 >= -1.0e8, <= 1.0e8; var x71 >= -1.0e8, <= 1.0e8; var x72 >= -1.0e8, <= 1.0e8; var x73 >= -1.0e8, <= 1.0e8; var x74 >= -1.0e8, <= 1.0e8; var x75 >= -1.0e8, <= 1.0e8; var x76 >= -1.0e8, <= 1.0e8; var x77 >= -1.0e8, <= 1.0e8; var x78 >= -1.0e8, <= 1.0e8; var x79 >= -1.0e8, <= 1.0e8; var x80 >= -1.0e8, <= 1.0e8; var x81 >= -1.0e8, <= 1.0e8; var x82 >= -1.0e8, <= 1.0e8; var x83 >= -1.0e8, <= 1.0e8; var x84 >= -1.0e8, <= 1.0e8; var x85 >= -1.0e8, <= 1.0e8; var x86 >= -1.0e8, <= 1.0e8; var x87 >= -1.0e8, <= 1.0e8; var x88 >= -1.0e8, <= 1.0e8; var x89 >= -1.0e8, <= 1.0e8; var x90 >= -1.0e8, <= 1.0e8; var x91 >= -1.0e8, <= 1.0e8; var x92 >= -1.0e8, <= 1.0e8; var x93 >= -1.0e8, <= 1.0e8; var x94 >= -1.0e8, <= 1.0e8; var x95 >= -1.0e8, <= 1.0e8; var x96 >= -1.0e8, <= 1.0e8; var x97 >= -1.0e8, <= 1.0e8; var x98 >= -1.0e8, <= 1.0e8; var x99 >= -1.0e8, <= 1.0e8; var x100 >= -1.0e8, <= 1.0e8; var x101 >= -1.0e8, <= 1.0e8; var x102 >= -1.0e8, <= 1.0e8; var x103 >= -1.0e8, <= 1.0e8; var x104 >= -1.0e8, <= 1.0e8; var x105 >= -1.0e8, <= 1.0e8; var x106 >= -1.0e8, <= 1.0e8; var x107 >= -1.0e8, <= 1.0e8; var x108 >= -1.0e8, <= 1.0e8; var x109 >= -1.0e8, <= 1.0e8; var x110 >= -1.0e8, <= 1.0e8; var x111 >= -1.0e8, <= 1.0e8; var x112 >= -1.0e8, <= 1.0e8; var x113 >= -1.0e8, <= 1.0e8; var x114 >= -1.0e8, <= 1.0e8; var x115 >= -1.0e8, <= 1.0e8; var x116 >= -1.0e8, <= 1.0e8; var x117 >= -1.0e8, <= 1.0e8; var x118 >= -1.0e8, <= 1.0e8; var x119 >= -1.0e8, <= 1.0e8; var x120 >= -1.0e8, <= 1.0e8; var x121 >= -1.0e8, <= 1.0e8; var x122 >= -1.0e8, <= 1.0e8; var x123 >= -1.0e8, <= 1.0e8; var x124 >= -1.0e8, <= 1.0e8; var x125 >= -1.0e8, <= 1.0e8; var x126 >= -1.0e8, <= 1.0e8; var x127 >= -1.0e8, <= 1.0e8; var x128 >= -1.0e8, <= 1.0e8; var x129 >= -1.0e8, <= 1.0e8; var x130 >= -1.0e8, <= 1.0e8; var x131 >= -1.0e8, <= 1.0e8; var x132 >= -1.0e8, <= 1.0e8; var x133 >= -1.0e8, <= 1.0e8; var x134 >= -1.0e8, <= 1.0e8; var x135 >= -1.0e8, <= 1.0e8; var x136 >= -1.0e8, <= 1.0e8; var x137 >= -1.0e8, <= 1.0e8; var x138 >= -1.0e8, <= 1.0e8; var x139 >= -1.0e8, <= 1.0e8; var x140 >= -1.0e8, <= 1.0e8; var x141 >= -1.0e8, <= 1.0e8; var x142 >= -1.0e8, <= 1.0e8; var x143 >= -1.0e8, <= 1.0e8; var x144 >= -1.0e8, <= 1.0e8; var x145 >= -1.0e8, <= 1.0e8; var x146 >= -1.0e8, <= 1.0e8; var x147 >= -1.0e8, <= 1.0e8; var x148 >= -1.0e8, <= 1.0e8; var x149 >= -1.0e8, <= 1.0e8; var x150 >= -1.0e8, <= 1.0e8; var x151 >= -1.0e8, <= 1.0e8; var x152 >= -1.0e8, <= 1.0e8; var x153 >= -1.0e8, <= 1.0e8; var x154 >= -1.0e8, <= 1.0e8; var x155 >= -1.0e8, <= 1.0e8; var x156 >= -1.0e8, <= 1.0e8; var x157 >= -1.0e8, <= 1.0e8; var x158 >= -1.0e8, <= 1.0e8; var x159 >= -1.0e8, <= 1.0e8; var x160 >= -1.0e8, <= 1.0e8; subject to cons1 : x1*(2+5*x1^2) + 1 - (x1*(1+x1) + x2*(1+x2)) = 0; cons2 : x2*(2+5*x2^2) + 1 - (x1*(1+x1) + x3*(1+x3)) = 0; cons3 : x3*(2+5*x3^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x4*(1+x4)) = 0; cons4 : x4*(2+5*x4^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x3*(1+x3) + x5*(1+x5)) = 0; cons5 : x5*(2+5*x5^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x3*(1+x3) + x4*(1+x4) + x6*(1+x6)) = 0; cons6 : x6*(2+5*x6^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x3*(1+x3) + x4*(1+x4) + x5*(1+x5) + x7*(1+x7)) = 0; cons7 : x7*(2+5*x7^2) + 1 - (x2*(1+x2) + x3*(1+x3) + x4*(1+x4) + x5*(1+x5) + x6*(1+x6) + x8*(1+x8)) = 0; cons8 : x8*(2+5*x8^2) + 1 - (x3*(1+x3) + x4*(1+x4) + x5*(1+x5) + x6*(1+x6) + x7*(1+x7) + x9*(1+x9)) = 0; cons9 : x9*(2+5*x9^2) + 1 - (x4*(1+x4) + x5*(1+x5) + x6*(1+x6) + x7*(1+x7) + x8*(1+x8) + x10*(1+x10)) = 0; cons10 : x10*(2+5*x10^2) + 1 - (x5*(1+x5) + x6*(1+x6) + x7*(1+x7) + x8*(1+x8) + x9*(1+x9) + x11*(1+x11)) = 0; cons11 : x11*(2+5*x11^2) + 1 - (x6*(1+x6) + x7*(1+x7) + x8*(1+x8) + x9*(1+x9) + x10*(1+x10) + x12*(1+x12)) = 0; cons12 : x12*(2+5*x12^2) + 1 - (x7*(1+x7) + x8*(1+x8) + x9*(1+x9) + x10*(1+x10) + x11*(1+x11) + x13*(1+x13)) = 0; cons13 : x13*(2+5*x13^2) + 1 - (x8*(1+x8) + x9*(1+x9) + x10*(1+x10) + x11*(1+x11) + x12*(1+x12) + x14*(1+x14)) = 0; cons14 : x14*(2+5*x14^2) + 1 - (x9*(1+x9) + x10*(1+x10) + x11*(1+x11) + x12*(1+x12) + x13*(1+x13) + x15*(1+x15)) = 0; cons15 : x15*(2+5*x15^2) + 1 - (x10*(1+x10) + x11*(1+x11) + x12*(1+x12) + x13*(1+x13) + x14*(1+x14) + x16*(1+x16)) = 0; cons16 : x16*(2+5*x16^2) + 1 - (x11*(1+x11) + x12*(1+x12) + x13*(1+x13) + x14*(1+x14) + x15*(1+x15) + x17*(1+x17)) = 0; cons17 : x17*(2+5*x17^2) + 1 - (x12*(1+x12) + x13*(1+x13) + x14*(1+x14) + x15*(1+x15) + x16*(1+x16) + x18*(1+x18)) = 0; cons18 : x18*(2+5*x18^2) + 1 - (x13*(1+x13) + x14*(1+x14) + x15*(1+x15) + x16*(1+x16) + x17*(1+x17) + x19*(1+x19)) = 0; cons19 : x19*(2+5*x19^2) + 1 - (x14*(1+x14) + x15*(1+x15) + x16*(1+x16) + x17*(1+x17) + x18*(1+x18) + x20*(1+x20)) = 0; cons20 : x20*(2+5*x20^2) + 1 - (x15*(1+x15) + x16*(1+x16) + x17*(1+x17) + x18*(1+x18) + x19*(1+x19) + x21*(1+x21)) = 0; cons21 : x21*(2+5*x21^2) + 1 - (x16*(1+x16) + x17*(1+x17) + x18*(1+x18) + x19*(1+x19) + x20*(1+x20) + x22*(1+x22)) = 0; cons22 : x22*(2+5*x22^2) + 1 - (x17*(1+x17) + x18*(1+x18) + x19*(1+x19) + x20*(1+x20) + x21*(1+x21) + x23*(1+x23)) = 0; cons23 : x23*(2+5*x23^2) + 1 - (x18*(1+x18) + x19*(1+x19) + x20*(1+x20) + x21*(1+x21) + x22*(1+x22) + x24*(1+x24)) = 0; cons24 : x24*(2+5*x24^2) + 1 - (x19*(1+x19) + x20*(1+x20) + x21*(1+x21) + x22*(1+x22) + x23*(1+x23) + x25*(1+x25)) = 0; cons25 : x25*(2+5*x25^2) + 1 - (x20*(1+x20) + x21*(1+x21) + x22*(1+x22) + x23*(1+x23) + x24*(1+x24) + x26*(1+x26)) = 0; cons26 : x26*(2+5*x26^2) + 1 - (x21*(1+x21) + x22*(1+x22) + x23*(1+x23) + x24*(1+x24) + x25*(1+x25) + x27*(1+x27)) = 0; cons27 : x27*(2+5*x27^2) + 1 - (x22*(1+x22) + x23*(1+x23) + x24*(1+x24) + x25*(1+x25) + x26*(1+x26) + x28*(1+x28)) = 0; cons28 : x28*(2+5*x28^2) + 1 - (x23*(1+x23) + x24*(1+x24) + x25*(1+x25) + x26*(1+x26) + x27*(1+x27) + x29*(1+x29)) = 0; cons29 : x29*(2+5*x29^2) + 1 - (x24*(1+x24) + x25*(1+x25) + x26*(1+x26) + x27*(1+x27) + x28*(1+x28) + x30*(1+x30)) = 0; cons30 : x30*(2+5*x30^2) + 1 - (x25*(1+x25) + x26*(1+x26) + x27*(1+x27) + x28*(1+x28) + x29*(1+x29) + x31*(1+x31)) = 0; cons31 : x31*(2+5*x31^2) + 1 - (x26*(1+x26) + x27*(1+x27) + x28*(1+x28) + x29*(1+x29) + x30*(1+x30) + x32*(1+x32)) = 0; cons32 : x32*(2+5*x32^2) + 1 - (x27*(1+x27) + x28*(1+x28) + x29*(1+x29) + x30*(1+x30) + x31*(1+x31) + x33*(1+x33)) = 0; cons33 : x33*(2+5*x33^2) + 1 - (x28*(1+x28) + x29*(1+x29) + x30*(1+x30) + x31*(1+x31) + x32*(1+x32) + x34*(1+x34)) = 0; cons34 : x34*(2+5*x34^2) + 1 - (x29*(1+x29) + x30*(1+x30) + x31*(1+x31) + x32*(1+x32) + x33*(1+x33) + x35*(1+x35)) = 0; cons35 : x35*(2+5*x35^2) + 1 - (x30*(1+x30) + x31*(1+x31) + x32*(1+x32) + x33*(1+x33) + x34*(1+x34) + x36*(1+x36)) = 0; cons36 : x36*(2+5*x36^2) + 1 - (x31*(1+x31) + x32*(1+x32) + x33*(1+x33) + x34*(1+x34) + x35*(1+x35) + x37*(1+x37)) = 0; cons37 : x37*(2+5*x37^2) + 1 - (x32*(1+x32) + x33*(1+x33) + x34*(1+x34) + x35*(1+x35) + x36*(1+x36) + x38*(1+x38)) = 0; cons38 : x38*(2+5*x38^2) + 1 - (x33*(1+x33) + x34*(1+x34) + x35*(1+x35) + x36*(1+x36) + x37*(1+x37) + x39*(1+x39)) = 0; cons39 : x39*(2+5*x39^2) + 1 - (x34*(1+x34) + x35*(1+x35) + x36*(1+x36) + x37*(1+x37) + x38*(1+x38) + x40*(1+x40)) = 0; cons40 : x40*(2+5*x40^2) + 1 - (x35*(1+x35) + x36*(1+x36) + x37*(1+x37) + x38*(1+x38) + x39*(1+x39) + x41*(1+x41)) = 0; cons41 : x41*(2+5*x41^2) + 1 - (x36*(1+x36) + x37*(1+x37) + x38*(1+x38) + x39*(1+x39) + x40*(1+x40) + x42*(1+x42)) = 0; cons42 : x42*(2+5*x42^2) + 1 - (x37*(1+x37) + x38*(1+x38) + x39*(1+x39) + x40*(1+x40) + x41*(1+x41) + x43*(1+x43)) = 0; cons43 : x43*(2+5*x43^2) + 1 - (x38*(1+x38) + x39*(1+x39) + x40*(1+x40) + x41*(1+x41) + x42*(1+x42) + x44*(1+x44)) = 0; cons44 : x44*(2+5*x44^2) + 1 - (x39*(1+x39) + x40*(1+x40) + x41*(1+x41) + x42*(1+x42) + x43*(1+x43) + x45*(1+x45)) = 0; cons45 : x45*(2+5*x45^2) + 1 - (x40*(1+x40) + x41*(1+x41) + x42*(1+x42) + x43*(1+x43) + x44*(1+x44) + x46*(1+x46)) = 0; cons46 : x46*(2+5*x46^2) + 1 - (x41*(1+x41) + x42*(1+x42) + x43*(1+x43) + x44*(1+x44) + x45*(1+x45) + x47*(1+x47)) = 0; cons47 : x47*(2+5*x47^2) + 1 - (x42*(1+x42) + x43*(1+x43) + x44*(1+x44) + x45*(1+x45) + x46*(1+x46) + x48*(1+x48)) = 0; cons48 : x48*(2+5*x48^2) + 1 - (x43*(1+x43) + x44*(1+x44) + x45*(1+x45) + x46*(1+x46) + x47*(1+x47) + x49*(1+x49)) = 0; cons49 : x49*(2+5*x49^2) + 1 - (x44*(1+x44) + x45*(1+x45) + x46*(1+x46) + x47*(1+x47) + x48*(1+x48) + x50*(1+x50)) = 0; cons50 : x50*(2+5*x50^2) + 1 - (x45*(1+x45) + x46*(1+x46) + x47*(1+x47) + x48*(1+x48) + x49*(1+x49) + x51*(1+x51)) = 0; cons51 : x51*(2+5*x51^2) + 1 - (x46*(1+x46) + x47*(1+x47) + x48*(1+x48) + x49*(1+x49) + x50*(1+x50) + x52*(1+x52)) = 0; cons52 : x52*(2+5*x52^2) + 1 - (x47*(1+x47) + x48*(1+x48) + x49*(1+x49) + x50*(1+x50) + x51*(1+x51) + x53*(1+x53)) = 0; cons53 : x53*(2+5*x53^2) + 1 - (x48*(1+x48) + x49*(1+x49) + x50*(1+x50) + x51*(1+x51) + x52*(1+x52) + x54*(1+x54)) = 0; cons54 : x54*(2+5*x54^2) + 1 - (x49*(1+x49) + x50*(1+x50) + x51*(1+x51) + x52*(1+x52) + x53*(1+x53) + x55*(1+x55)) = 0; cons55 : x55*(2+5*x55^2) + 1 - (x50*(1+x50) + x51*(1+x51) + x52*(1+x52) + x53*(1+x53) + x54*(1+x54) + x56*(1+x56)) = 0; cons56 : x56*(2+5*x56^2) + 1 - (x51*(1+x51) + x52*(1+x52) + x53*(1+x53) + x54*(1+x54) + x55*(1+x55) + x57*(1+x57)) = 0; cons57 : x57*(2+5*x57^2) + 1 - (x52*(1+x52) + x53*(1+x53) + x54*(1+x54) + x55*(1+x55) + x56*(1+x56) + x58*(1+x58)) = 0; cons58 : x58*(2+5*x58^2) + 1 - (x53*(1+x53) + x54*(1+x54) + x55*(1+x55) + x56*(1+x56) + x57*(1+x57) + x59*(1+x59)) = 0; cons59 : x59*(2+5*x59^2) + 1 - (x54*(1+x54) + x55*(1+x55) + x56*(1+x56) + x57*(1+x57) + x58*(1+x58) + x60*(1+x60)) = 0; cons60 : x60*(2+5*x60^2) + 1 - (x55*(1+x55) + x56*(1+x56) + x57*(1+x57) + x58*(1+x58) + x59*(1+x59) + x61*(1+x61)) = 0; cons61 : x61*(2+5*x61^2) + 1 - (x56*(1+x56) + x57*(1+x57) + x58*(1+x58) + x59*(1+x59) + x60*(1+x60) + x62*(1+x62)) = 0; cons62 : x62*(2+5*x62^2) + 1 - (x57*(1+x57) + x58*(1+x58) + x59*(1+x59) + x60*(1+x60) + x61*(1+x61) + x63*(1+x63)) = 0; cons63 : x63*(2+5*x63^2) + 1 - (x58*(1+x58) + x59*(1+x59) + x60*(1+x60) + x61*(1+x61) + x62*(1+x62) + x64*(1+x64)) = 0; cons64 : x64*(2+5*x64^2) + 1 - (x59*(1+x59) + x60*(1+x60) + x61*(1+x61) + x62*(1+x62) + x63*(1+x63) + x65*(1+x65)) = 0; cons65 : x65*(2+5*x65^2) + 1 - (x60*(1+x60) + x61*(1+x61) + x62*(1+x62) + x63*(1+x63) + x64*(1+x64) + x66*(1+x66)) = 0; cons66 : x66*(2+5*x66^2) + 1 - (x61*(1+x61) + x62*(1+x62) + x63*(1+x63) + x64*(1+x64) + x65*(1+x65) + x67*(1+x67)) = 0; cons67 : x67*(2+5*x67^2) + 1 - (x62*(1+x62) + x63*(1+x63) + x64*(1+x64) + x65*(1+x65) + x66*(1+x66) + x68*(1+x68)) = 0; cons68 : x68*(2+5*x68^2) + 1 - (x63*(1+x63) + x64*(1+x64) + x65*(1+x65) + x66*(1+x66) + x67*(1+x67) + x69*(1+x69)) = 0; cons69 : x69*(2+5*x69^2) + 1 - (x64*(1+x64) + x65*(1+x65) + x66*(1+x66) + x67*(1+x67) + x68*(1+x68) + x70*(1+x70)) = 0; cons70 : x70*(2+5*x70^2) + 1 - (x65*(1+x65) + x66*(1+x66) + x67*(1+x67) + x68*(1+x68) + x69*(1+x69) + x71*(1+x71)) = 0; cons71 : x71*(2+5*x71^2) + 1 - (x66*(1+x66) + x67*(1+x67) + x68*(1+x68) + x69*(1+x69) + x70*(1+x70) + x72*(1+x72)) = 0; cons72 : x72*(2+5*x72^2) + 1 - (x67*(1+x67) + x68*(1+x68) + x69*(1+x69) + x70*(1+x70) + x71*(1+x71) + x73*(1+x73)) = 0; cons73 : x73*(2+5*x73^2) + 1 - (x68*(1+x68) + x69*(1+x69) + x70*(1+x70) + x71*(1+x71) + x72*(1+x72) + x74*(1+x74)) = 0; cons74 : x74*(2+5*x74^2) + 1 - (x69*(1+x69) + x70*(1+x70) + x71*(1+x71) + x72*(1+x72) + x73*(1+x73) + x75*(1+x75)) = 0; cons75 : x75*(2+5*x75^2) + 1 - (x70*(1+x70) + x71*(1+x71) + x72*(1+x72) + x73*(1+x73) + x74*(1+x74) + x76*(1+x76)) = 0; cons76 : x76*(2+5*x76^2) + 1 - (x71*(1+x71) + x72*(1+x72) + x73*(1+x73) + x74*(1+x74) + x75*(1+x75) + x77*(1+x77)) = 0; cons77 : x77*(2+5*x77^2) + 1 - (x72*(1+x72) + x73*(1+x73) + x74*(1+x74) + x75*(1+x75) + x76*(1+x76) + x78*(1+x78)) = 0; cons78 : x78*(2+5*x78^2) + 1 - (x73*(1+x73) + x74*(1+x74) + x75*(1+x75) + x76*(1+x76) + x77*(1+x77) + x79*(1+x79)) = 0; cons79 : x79*(2+5*x79^2) + 1 - (x74*(1+x74) + x75*(1+x75) + x76*(1+x76) + x77*(1+x77) + x78*(1+x78) + x80*(1+x80)) = 0; cons80 : x80*(2+5*x80^2) + 1 - (x75*(1+x75) + x76*(1+x76) + x77*(1+x77) + x78*(1+x78) + x79*(1+x79) + x81*(1+x81)) = 0; cons81 : x81*(2+5*x81^2) + 1 - (x76*(1+x76) + x77*(1+x77) + x78*(1+x78) + x79*(1+x79) + x80*(1+x80) + x82*(1+x82)) = 0; cons82 : x82*(2+5*x82^2) + 1 - (x77*(1+x77) + x78*(1+x78) + x79*(1+x79) + x80*(1+x80) + x81*(1+x81) + x83*(1+x83)) = 0; cons83 : x83*(2+5*x83^2) + 1 - (x78*(1+x78) + x79*(1+x79) + x80*(1+x80) + x81*(1+x81) + x82*(1+x82) + x84*(1+x84)) = 0; cons84 : x84*(2+5*x84^2) + 1 - (x79*(1+x79) + x80*(1+x80) + x81*(1+x81) + x82*(1+x82) + x83*(1+x83) + x85*(1+x85)) = 0; cons85 : x85*(2+5*x85^2) + 1 - (x80*(1+x80) + x81*(1+x81) + x82*(1+x82) + x83*(1+x83) + x84*(1+x84) + x86*(1+x86)) = 0; cons86 : x86*(2+5*x86^2) + 1 - (x81*(1+x81) + x82*(1+x82) + x83*(1+x83) + x84*(1+x84) + x85*(1+x85) + x87*(1+x87)) = 0; cons87 : x87*(2+5*x87^2) + 1 - (x82*(1+x82) + x83*(1+x83) + x84*(1+x84) + x85*(1+x85) + x86*(1+x86) + x88*(1+x88)) = 0; cons88 : x88*(2+5*x88^2) + 1 - (x83*(1+x83) + x84*(1+x84) + x85*(1+x85) + x86*(1+x86) + x87*(1+x87) + x89*(1+x89)) = 0; cons89 : x89*(2+5*x89^2) + 1 - (x84*(1+x84) + x85*(1+x85) + x86*(1+x86) + x87*(1+x87) + x88*(1+x88) + x90*(1+x90)) = 0; cons90 : x90*(2+5*x90^2) + 1 - (x85*(1+x85) + x86*(1+x86) + x87*(1+x87) + x88*(1+x88) + x89*(1+x89) + x91*(1+x91)) = 0; cons91 : x91*(2+5*x91^2) + 1 - (x86*(1+x86) + x87*(1+x87) + x88*(1+x88) + x89*(1+x89) + x90*(1+x90) + x92*(1+x92)) = 0; cons92 : x92*(2+5*x92^2) + 1 - (x87*(1+x87) + x88*(1+x88) + x89*(1+x89) + x90*(1+x90) + x91*(1+x91) + x93*(1+x93)) = 0; cons93 : x93*(2+5*x93^2) + 1 - (x88*(1+x88) + x89*(1+x89) + x90*(1+x90) + x91*(1+x91) + x92*(1+x92) + x94*(1+x94)) = 0; cons94 : x94*(2+5*x94^2) + 1 - (x89*(1+x89) + x90*(1+x90) + x91*(1+x91) + x92*(1+x92) + x93*(1+x93) + x95*(1+x95)) = 0; cons95 : x95*(2+5*x95^2) + 1 - (x90*(1+x90) + x91*(1+x91) + x92*(1+x92) + x93*(1+x93) + x94*(1+x94) + x96*(1+x96)) = 0; cons96 : x96*(2+5*x96^2) + 1 - (x91*(1+x91) + x92*(1+x92) + x93*(1+x93) + x94*(1+x94) + x95*(1+x95) + x97*(1+x97)) = 0; cons97 : x97*(2+5*x97^2) + 1 - (x92*(1+x92) + x93*(1+x93) + x94*(1+x94) + x95*(1+x95) + x96*(1+x96) + x98*(1+x98)) = 0; cons98 : x98*(2+5*x98^2) + 1 - (x93*(1+x93) + x94*(1+x94) + x95*(1+x95) + x96*(1+x96) + x97*(1+x97) + x99*(1+x99)) = 0; cons99 : x99*(2+5*x99^2) + 1 - (x94*(1+x94) + x95*(1+x95) + x96*(1+x96) + x97*(1+x97) + x98*(1+x98) + x100*(1+x100)) = 0; cons100 : x100*(2+5*x100^2) + 1 - (x95*(1+x95) + x96*(1+x96) + x97*(1+x97) + x98*(1+x98) + x99*(1+x99) + x101*(1+x101)) = 0; cons101 : x101*(2+5*x101^2) + 1 - (x96*(1+x96) + x97*(1+x97) + x98*(1+x98) + x99*(1+x99) + x100*(1+x100) + x102*(1+x102)) = 0; cons102 : x102*(2+5*x102^2) + 1 - (x97*(1+x97) + x98*(1+x98) + x99*(1+x99) + x100*(1+x100) + x101*(1+x101) + x103*(1+x103)) = 0; cons103 : x103*(2+5*x103^2) + 1 - (x98*(1+x98) + x99*(1+x99) + x100*(1+x100) + x101*(1+x101) + x102*(1+x102) + x104*(1+x104)) = 0; cons104 : x104*(2+5*x104^2) + 1 - (x99*(1+x99) + x100*(1+x100) + x101*(1+x101) + x102*(1+x102) + x103*(1+x103) + x105*(1+x105)) = 0; cons105 : x105*(2+5*x105^2) + 1 - (x100*(1+x100) + x101*(1+x101) + x102*(1+x102) + x103*(1+x103) + x104*(1+x104) + x106*(1+x106)) = 0; cons106 : x106*(2+5*x106^2) + 1 - (x101*(1+x101) + x102*(1+x102) + x103*(1+x103) + x104*(1+x104) + x105*(1+x105) + x107*(1+x107)) = 0; cons107 : x107*(2+5*x107^2) + 1 - (x102*(1+x102) + x103*(1+x103) + x104*(1+x104) + x105*(1+x105) + x106*(1+x106) + x108*(1+x108)) = 0; cons108 : x108*(2+5*x108^2) + 1 - (x103*(1+x103) + x104*(1+x104) + x105*(1+x105) + x106*(1+x106) + x107*(1+x107) + x109*(1+x109)) = 0; cons109 : x109*(2+5*x109^2) + 1 - (x104*(1+x104) + x105*(1+x105) + x106*(1+x106) + x107*(1+x107) + x108*(1+x108) + x110*(1+x110)) = 0; cons110 : x110*(2+5*x110^2) + 1 - (x105*(1+x105) + x106*(1+x106) + x107*(1+x107) + x108*(1+x108) + x109*(1+x109) + x111*(1+x111)) = 0; cons111 : x111*(2+5*x111^2) + 1 - (x106*(1+x106) + x107*(1+x107) + x108*(1+x108) + x109*(1+x109) + x110*(1+x110) + x112*(1+x112)) = 0; cons112 : x112*(2+5*x112^2) + 1 - (x107*(1+x107) + x108*(1+x108) + x109*(1+x109) + x110*(1+x110) + x111*(1+x111) + x113*(1+x113)) = 0; cons113 : x113*(2+5*x113^2) + 1 - (x108*(1+x108) + x109*(1+x109) + x110*(1+x110) + x111*(1+x111) + x112*(1+x112) + x114*(1+x114)) = 0; cons114 : x114*(2+5*x114^2) + 1 - (x109*(1+x109) + x110*(1+x110) + x111*(1+x111) + x112*(1+x112) + x113*(1+x113) + x115*(1+x115)) = 0; cons115 : x115*(2+5*x115^2) + 1 - (x110*(1+x110) + x111*(1+x111) + x112*(1+x112) + x113*(1+x113) + x114*(1+x114) + x116*(1+x116)) = 0; cons116 : x116*(2+5*x116^2) + 1 - (x111*(1+x111) + x112*(1+x112) + x113*(1+x113) + x114*(1+x114) + x115*(1+x115) + x117*(1+x117)) = 0; cons117 : x117*(2+5*x117^2) + 1 - (x112*(1+x112) + x113*(1+x113) + x114*(1+x114) + x115*(1+x115) + x116*(1+x116) + x118*(1+x118)) = 0; cons118 : x118*(2+5*x118^2) + 1 - (x113*(1+x113) + x114*(1+x114) + x115*(1+x115) + x116*(1+x116) + x117*(1+x117) + x119*(1+x119)) = 0; cons119 : x119*(2+5*x119^2) + 1 - (x114*(1+x114) + x115*(1+x115) + x116*(1+x116) + x117*(1+x117) + x118*(1+x118) + x120*(1+x120)) = 0; cons120 : x120*(2+5*x120^2) + 1 - (x115*(1+x115) + x116*(1+x116) + x117*(1+x117) + x118*(1+x118) + x119*(1+x119) + x121*(1+x121)) = 0; cons121 : x121*(2+5*x121^2) + 1 - (x116*(1+x116) + x117*(1+x117) + x118*(1+x118) + x119*(1+x119) + x120*(1+x120) + x122*(1+x122)) = 0; cons122 : x122*(2+5*x122^2) + 1 - (x117*(1+x117) + x118*(1+x118) + x119*(1+x119) + x120*(1+x120) + x121*(1+x121) + x123*(1+x123)) = 0; cons123 : x123*(2+5*x123^2) + 1 - (x118*(1+x118) + x119*(1+x119) + x120*(1+x120) + x121*(1+x121) + x122*(1+x122) + x124*(1+x124)) = 0; cons124 : x124*(2+5*x124^2) + 1 - (x119*(1+x119) + x120*(1+x120) + x121*(1+x121) + x122*(1+x122) + x123*(1+x123) + x125*(1+x125)) = 0; cons125 : x125*(2+5*x125^2) + 1 - (x120*(1+x120) + x121*(1+x121) + x122*(1+x122) + x123*(1+x123) + x124*(1+x124) + x126*(1+x126)) = 0; cons126 : x126*(2+5*x126^2) + 1 - (x121*(1+x121) + x122*(1+x122) + x123*(1+x123) + x124*(1+x124) + x125*(1+x125) + x127*(1+x127)) = 0; cons127 : x127*(2+5*x127^2) + 1 - (x122*(1+x122) + x123*(1+x123) + x124*(1+x124) + x125*(1+x125) + x126*(1+x126) + x128*(1+x128)) = 0; cons128 : x128*(2+5*x128^2) + 1 - (x123*(1+x123) + x124*(1+x124) + x125*(1+x125) + x126*(1+x126) + x127*(1+x127) + x129*(1+x129)) = 0; cons129 : x129*(2+5*x129^2) + 1 - (x124*(1+x124) + x125*(1+x125) + x126*(1+x126) + x127*(1+x127) + x128*(1+x128) + x130*(1+x130)) = 0; cons130 : x130*(2+5*x130^2) + 1 - (x125*(1+x125) + x126*(1+x126) + x127*(1+x127) + x128*(1+x128) + x129*(1+x129) + x131*(1+x131)) = 0; cons131 : x131*(2+5*x131^2) + 1 - (x126*(1+x126) + x127*(1+x127) + x128*(1+x128) + x129*(1+x129) + x130*(1+x130) + x132*(1+x132)) = 0; cons132 : x132*(2+5*x132^2) + 1 - (x127*(1+x127) + x128*(1+x128) + x129*(1+x129) + x130*(1+x130) + x131*(1+x131) + x133*(1+x133)) = 0; cons133 : x133*(2+5*x133^2) + 1 - (x128*(1+x128) + x129*(1+x129) + x130*(1+x130) + x131*(1+x131) + x132*(1+x132) + x134*(1+x134)) = 0; cons134 : x134*(2+5*x134^2) + 1 - (x129*(1+x129) + x130*(1+x130) + x131*(1+x131) + x132*(1+x132) + x133*(1+x133) + x135*(1+x135)) = 0; cons135 : x135*(2+5*x135^2) + 1 - (x130*(1+x130) + x131*(1+x131) + x132*(1+x132) + x133*(1+x133) + x134*(1+x134) + x136*(1+x136)) = 0; cons136 : x136*(2+5*x136^2) + 1 - (x131*(1+x131) + x132*(1+x132) + x133*(1+x133) + x134*(1+x134) + x135*(1+x135) + x137*(1+x137)) = 0; cons137 : x137*(2+5*x137^2) + 1 - (x132*(1+x132) + x133*(1+x133) + x134*(1+x134) + x135*(1+x135) + x136*(1+x136) + x138*(1+x138)) = 0; cons138 : x138*(2+5*x138^2) + 1 - (x133*(1+x133) + x134*(1+x134) + x135*(1+x135) + x136*(1+x136) + x137*(1+x137) + x139*(1+x139)) = 0; cons139 : x139*(2+5*x139^2) + 1 - (x134*(1+x134) + x135*(1+x135) + x136*(1+x136) + x137*(1+x137) + x138*(1+x138) + x140*(1+x140)) = 0; cons140 : x140*(2+5*x140^2) + 1 - (x135*(1+x135) + x136*(1+x136) + x137*(1+x137) + x138*(1+x138) + x139*(1+x139) + x141*(1+x141)) = 0; cons141 : x141*(2+5*x141^2) + 1 - (x136*(1+x136) + x137*(1+x137) + x138*(1+x138) + x139*(1+x139) + x140*(1+x140) + x142*(1+x142)) = 0; cons142 : x142*(2+5*x142^2) + 1 - (x137*(1+x137) + x138*(1+x138) + x139*(1+x139) + x140*(1+x140) + x141*(1+x141) + x143*(1+x143)) = 0; cons143 : x143*(2+5*x143^2) + 1 - (x138*(1+x138) + x139*(1+x139) + x140*(1+x140) + x141*(1+x141) + x142*(1+x142) + x144*(1+x144)) = 0; cons144 : x144*(2+5*x144^2) + 1 - (x139*(1+x139) + x140*(1+x140) + x141*(1+x141) + x142*(1+x142) + x143*(1+x143) + x145*(1+x145)) = 0; cons145 : x145*(2+5*x145^2) + 1 - (x140*(1+x140) + x141*(1+x141) + x142*(1+x142) + x143*(1+x143) + x144*(1+x144) + x146*(1+x146)) = 0; cons146 : x146*(2+5*x146^2) + 1 - (x141*(1+x141) + x142*(1+x142) + x143*(1+x143) + x144*(1+x144) + x145*(1+x145) + x147*(1+x147)) = 0; cons147 : x147*(2+5*x147^2) + 1 - (x142*(1+x142) + x143*(1+x143) + x144*(1+x144) + x145*(1+x145) + x146*(1+x146) + x148*(1+x148)) = 0; cons148 : x148*(2+5*x148^2) + 1 - (x143*(1+x143) + x144*(1+x144) + x145*(1+x145) + x146*(1+x146) + x147*(1+x147) + x149*(1+x149)) = 0; cons149 : x149*(2+5*x149^2) + 1 - (x144*(1+x144) + x145*(1+x145) + x146*(1+x146) + x147*(1+x147) + x148*(1+x148) + x150*(1+x150)) = 0; cons150 : x150*(2+5*x150^2) + 1 - (x145*(1+x145) + x146*(1+x146) + x147*(1+x147) + x148*(1+x148) + x149*(1+x149) + x151*(1+x151)) = 0; cons151 : x151*(2+5*x151^2) + 1 - (x146*(1+x146) + x147*(1+x147) + x148*(1+x148) + x149*(1+x149) + x150*(1+x150) + x152*(1+x152)) = 0; cons152 : x152*(2+5*x152^2) + 1 - (x147*(1+x147) + x148*(1+x148) + x149*(1+x149) + x150*(1+x150) + x151*(1+x151) + x153*(1+x153)) = 0; cons153 : x153*(2+5*x153^2) + 1 - (x148*(1+x148) + x149*(1+x149) + x150*(1+x150) + x151*(1+x151) + x152*(1+x152) + x154*(1+x154)) = 0; cons154 : x154*(2+5*x154^2) + 1 - (x149*(1+x149) + x150*(1+x150) + x151*(1+x151) + x152*(1+x152) + x153*(1+x153) + x155*(1+x155)) = 0; cons155 : x155*(2+5*x155^2) + 1 - (x150*(1+x150) + x151*(1+x151) + x152*(1+x152) + x153*(1+x153) + x154*(1+x154) + x156*(1+x156)) = 0; cons156 : x156*(2+5*x156^2) + 1 - (x151*(1+x151) + x152*(1+x152) + x153*(1+x153) + x154*(1+x154) + x155*(1+x155) + x157*(1+x157)) = 0; cons157 : x157*(2+5*x157^2) + 1 - (x152*(1+x152) + x153*(1+x153) + x154*(1+x154) + x155*(1+x155) + x156*(1+x156) + x158*(1+x158)) = 0; cons158 : x158*(2+5*x158^2) + 1 - (x153*(1+x153) + x154*(1+x154) + x155*(1+x155) + x156*(1+x156) + x157*(1+x157) + x159*(1+x159)) = 0; cons159 : x159*(2+5*x159^2) + 1 - (x154*(1+x154) + x155*(1+x155) + x156*(1+x156) + x157*(1+x157) + x158*(1+x158) + x160*(1+x160)) = 0; cons160 : x160*(2+5*x160^2) + 1 - (x155*(1+x155) + x156*(1+x156) + x157*(1+x157) + x158*(1+x158) + x159*(1+x159)) = 0; solve; display x1, x10, x100, x101, x102, x103, x104, x105, x106, x107, x108, x109, x11, x110, x111, x112, x113, x114, x115, x116, x117, x118, x119, x12, x120, x121, x122, x123, x124, x125, x126, x127, x128, x129, x13, x130, x131, x132, x133, x134, x135, x136, x137, x138, x139, x14, x140, x141, x142, x143, x144, x145, x146, x147, x148, x149, x15, x150, x151, x152, x153, x154, x155, x156, x157, x158, x159, x16, x160, x17, x18, x19, x2, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x3, x30, x31, x32, x33, x34, x35, x36, x37, x38, x39, x4, x40, x41, x42, x43, x44, x45, x46, x47, x48, x49, x5, x50, x51, x52, x53, x54, x55, x56, x57, x58, x59, x6, x60, x61, x62, x63, x64, x65, x66, x67, x68, x69, x7, x70, x71, x72, x73, x74, x75, x76, x77, x78, x79, x8, x80, x81, x82, x83, x84, x85, x86, x87, x88, x89, x9, x90, x91, x92, x93, x94, x95, x96, x97, x98, x99;