# 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;

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)) = 0;

solve;
display x1, x10, x11, x12, x13, x14, x15, x16, 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, x9;