\ Equation counts \ Total E G L N X C B \ 475 0 380 95 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 80 20 60 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2730 1050 1680 0 \ Minimize obj: - .287403606378025 b2 - .287403606378025 b3 - .287403606378025 b4 - .287403606378025 b5 - 9.46538180425961e-2 b6 - 9.46538180425961e-2 b7 - 9.46538180425961e-2 b8 - 9.46538180425961e-2 b9 - .584516458645496 b10 - .584516458645496 b11 - .584516458645496 b12 - .584516458645496 b13 - 1.29409755392315 b14 - 1.29409755392315 b15 - 1.29409755392315 b16 - 1.29409755392315 b17 - 2.08582176557546 b18 - 2.08582176557546 b19 - 2.08582176557546 b20 - 2.08582176557546 b21 - 2.08582176557546 b22 - 2.08582176557546 b23 - 2.08582176557546 b24 - 2.08582176557546 b25 - 2.08582176557546 b26 - 2.08582176557546 b27 - 2.08582176557546 b28 - 2.08582176557546 b29 - 2.08582176557546 b30 - 2.08582176557546 b31 - 2.08582176557546 b32 - 2.08582176557546 b33 - 2.08582176557546 b34 - 2.08582176557546 b35 - 2.08582176557546 b36 - 2.08582176557546 b37 - 2.08582176557546 b38 - 2.08582176557546 b39 - 2.08582176557546 b40 - 2.08582176557546 b41 - 2.08582176557546 b42 - 2.08582176557546 b43 - 2.08582176557546 b44 - 2.08582176557546 b45 - 2.08582176557546 b46 - 2.08582176557546 b47 - 2.08582176557546 b48 - 2.08582176557546 b49 - 2.08582176557546 b50 - 2.08582176557546 b51 - 2.08582176557546 b52 - 2.08582176557546 b53 - 2.08582176557546 b54 - 2.08582176557546 b55 - 2.08582176557546 b56 - 2.08582176557546 b57 - 2.08582176557546 b58 - 2.08582176557546 b59 - 2.08582176557546 b60 - 2.08582176557546 b61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 Subject To e2: - 1.436939228176 b2 - 1.436939228176 b4 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e3: - 1.436939228176 b3 - 1.436939228176 b5 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e4: - .887203867225 b2 - .887203867225 b6 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e5: - .887203867225 b3 - .887203867225 b7 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e6: - .887203867225 b2 - .887203867225 b8 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e7: - .887203867225 b3 - .887203867225 b9 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e8: - 2.118573403024 b2 - 2.118573403024 b10 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e9: - 2.118573403024 b3 - 2.118573403024 b11 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e10: - 2.118573403024 b2 - 2.118573403024 b12 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e11: - 2.118573403024 b3 - 2.118573403024 b13 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e12: - 4.509770398884 b2 - 4.509770398884 b14 + x62^2 - 2 x62 x74 + x63^2 - 2 x63 x75 + x74^2 + x75^2 >= -4.509770398884 e13: - 4.509770398884 b3 - 4.509770398884 b15 + x62^2 - 2 x62 x74 + x63^2 - 2 x63 x75 + x74^2 + x75^2 >= -4.509770398884 e14: - 4.509770398884 b2 - 4.509770398884 b16 + x62^2 - 2 x62 x76 + x63^2 - 2 x63 x77 + x76^2 + x77^2 >= -4.509770398884 e15: - 4.509770398884 b3 - 4.509770398884 b17 + x62^2 - 2 x62 x76 + x63^2 - 2 x63 x77 + x76^2 + x77^2 >= -4.509770398884 e16: - 6.408451746064 b2 - 6.408451746064 b18 + x62^2 - 2 x62 x78 + x63^2 - 2 x63 x79 + x78^2 + x79^2 >= -6.408451746064 e17: - 6.408451746064 b3 - 6.408451746064 b19 + x62^2 - 2 x62 x78 + x63^2 - 2 x63 x79 + x78^2 + x79^2 >= -6.408451746064 e18: - 6.408451746064 b2 - 6.408451746064 b20 + x62^2 - 2 x62 x80 + x63^2 - 2 x63 x81 + x80^2 + x81^2 >= -6.408451746064 e19: - 6.408451746064 b3 - 6.408451746064 b21 + x62^2 - 2 x62 x80 + x63^2 - 2 x63 x81 + x80^2 + x81^2 >= -6.408451746064 e20: - 1.436939228176 b2 - 1.436939228176 b4 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e21: - 1.436939228176 b3 - 1.436939228176 b5 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e22: - .887203867225 b4 - .887203867225 b6 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e23: - .887203867225 b5 - .887203867225 b7 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e24: - .887203867225 b4 - .887203867225 b8 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e25: - .887203867225 b5 - .887203867225 b9 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e26: - 2.118573403024 b4 - 2.118573403024 b10 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e27: - 2.118573403024 b5 - 2.118573403024 b11 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e28: - 2.118573403024 b4 - 2.118573403024 b12 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e29: - 2.118573403024 b5 - 2.118573403024 b13 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e30: - 4.509770398884 b4 - 4.509770398884 b14 + x64^2 - 2 x64 x74 + x65^2 - 2 x65 x75 + x74^2 + x75^2 >= -4.509770398884 e31: - 4.509770398884 b5 - 4.509770398884 b15 + x64^2 - 2 x64 x74 + x65^2 - 2 x65 x75 + x74^2 + x75^2 >= -4.509770398884 e32: - 4.509770398884 b4 - 4.509770398884 b16 + x64^2 - 2 x64 x76 + x65^2 - 2 x65 x77 + x76^2 + x77^2 >= -4.509770398884 e33: - 4.509770398884 b5 - 4.509770398884 b17 + x64^2 - 2 x64 x76 + x65^2 - 2 x65 x77 + x76^2 + x77^2 >= -4.509770398884 e34: - 6.408451746064 b4 - 6.408451746064 b18 + x64^2 - 2 x64 x78 + x65^2 - 2 x65 x79 + x78^2 + x79^2 >= -6.408451746064 e35: - 6.408451746064 b5 - 6.408451746064 b19 + x64^2 - 2 x64 x78 + x65^2 - 2 x65 x79 + x78^2 + x79^2 >= -6.408451746064 e36: - 6.408451746064 b4 - 6.408451746064 b20 + x64^2 - 2 x64 x80 + x65^2 - 2 x65 x81 + x80^2 + x81^2 >= -6.408451746064 e37: - 6.408451746064 b5 - 6.408451746064 b21 + x64^2 - 2 x64 x80 + x65^2 - 2 x65 x81 + x80^2 + x81^2 >= -6.408451746064 e38: - .887203867225 b2 - .887203867225 b6 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e39: - .887203867225 b3 - .887203867225 b7 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e40: - .887203867225 b4 - .887203867225 b6 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e41: - .887203867225 b5 - .887203867225 b7 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e42: - .469370231236 b6 - .469370231236 b8 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e43: - .469370231236 b7 - .469370231236 b9 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e44: - 1.436936830729 b6 - 1.436936830729 b10 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e45: - 1.436936830729 b7 - 1.436936830729 b11 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e46: - 1.436936830729 b6 - 1.436936830729 b12 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e47: - 1.436936830729 b7 - 1.436936830729 b13 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e48: - 3.484990776969 b6 - 3.484990776969 b14 + x66^2 - 2 x66 x74 + x67^2 - 2 x67 x75 + x74^2 + x75^2 >= -3.484990776969 e49: - 3.484990776969 b7 - 3.484990776969 b15 + x66^2 - 2 x66 x74 + x67^2 - 2 x67 x75 + x74^2 + x75^2 >= -3.484990776969 e50: - 3.484990776969 b6 - 3.484990776969 b16 + x66^2 - 2 x66 x76 + x67^2 - 2 x67 x77 + x76^2 + x77^2 >= -3.484990776969 e51: - 3.484990776969 b7 - 3.484990776969 b17 + x66^2 - 2 x66 x76 + x67^2 - 2 x67 x77 + x76^2 + x77^2 >= -3.484990776969 e52: - 5.174182750489 b6 - 5.174182750489 b18 + x66^2 - 2 x66 x78 + x67^2 - 2 x67 x79 + x78^2 + x79^2 >= -5.174182750489 e53: - 5.174182750489 b7 - 5.174182750489 b19 + x66^2 - 2 x66 x78 + x67^2 - 2 x67 x79 + x78^2 + x79^2 >= -5.174182750489 e54: - 5.174182750489 b6 - 5.174182750489 b20 + x66^2 - 2 x66 x80 + x67^2 - 2 x67 x81 + x80^2 + x81^2 >= -5.174182750489 e55: - 5.174182750489 b7 - 5.174182750489 b21 + x66^2 - 2 x66 x80 + x67^2 - 2 x67 x81 + x80^2 + x81^2 >= -5.174182750489 e56: - .887203867225 b2 - .887203867225 b8 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e57: - .887203867225 b3 - .887203867225 b9 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e58: - .887203867225 b4 - .887203867225 b8 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e59: - .887203867225 b5 - .887203867225 b9 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e60: - .469370231236 b6 - .469370231236 b8 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e61: - .469370231236 b7 - .469370231236 b9 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e62: - 1.436936830729 b8 - 1.436936830729 b10 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e63: - 1.436936830729 b9 - 1.436936830729 b11 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e64: - 1.436936830729 b8 - 1.436936830729 b12 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e65: - 1.436936830729 b9 - 1.436936830729 b13 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e66: - 3.484990776969 b8 - 3.484990776969 b14 + x68^2 - 2 x68 x74 + x69^2 - 2 x69 x75 + x74^2 + x75^2 >= -3.484990776969 e67: - 3.484990776969 b9 - 3.484990776969 b15 + x68^2 - 2 x68 x74 + x69^2 - 2 x69 x75 + x74^2 + x75^2 >= -3.484990776969 e68: - 3.484990776969 b8 - 3.484990776969 b16 + x68^2 - 2 x68 x76 + x69^2 - 2 x69 x77 + x76^2 + x77^2 >= -3.484990776969 e69: - 3.484990776969 b9 - 3.484990776969 b17 + x68^2 - 2 x68 x76 + x69^2 - 2 x69 x77 + x76^2 + x77^2 >= -3.484990776969 e70: - 5.174182750489 b8 - 5.174182750489 b18 + x68^2 - 2 x68 x78 + x69^2 - 2 x69 x79 + x78^2 + x79^2 >= -5.174182750489 e71: - 5.174182750489 b9 - 5.174182750489 b19 + x68^2 - 2 x68 x78 + x69^2 - 2 x69 x79 + x78^2 + x79^2 >= -5.174182750489 e72: - 5.174182750489 b8 - 5.174182750489 b20 + x68^2 - 2 x68 x80 + x69^2 - 2 x69 x81 + x80^2 + x81^2 >= -5.174182750489 e73: - 5.174182750489 b9 - 5.174182750489 b21 + x68^2 - 2 x68 x80 + x69^2 - 2 x69 x81 + x80^2 + x81^2 >= -5.174182750489 e74: - 2.118573403024 b2 - 2.118573403024 b10 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e75: - 2.118573403024 b3 - 2.118573403024 b11 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e76: - 2.118573403024 b4 - 2.118573403024 b10 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e77: - 2.118573403024 b5 - 2.118573403024 b11 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e78: - 1.436936830729 b6 - 1.436936830729 b10 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e79: - 1.436936830729 b7 - 1.436936830729 b11 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e80: - 1.436936830729 b8 - 1.436936830729 b10 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e81: - 1.436936830729 b9 - 1.436936830729 b11 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e82: - 2.9321082756 b10 - 2.9321082756 b12 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e83: - 2.9321082756 b11 - 2.9321082756 b13 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e84: - 5.6664469849 b10 - 5.6664469849 b14 + x70^2 - 2 x70 x74 + x71^2 - 2 x71 x75 + x74^2 + x75^2 >= -5.6664469849 e85: - 5.6664469849 b11 - 5.6664469849 b15 + x70^2 - 2 x70 x74 + x71^2 - 2 x71 x75 + x74^2 + x75^2 >= -5.6664469849 e86: - 5.6664469849 b10 - 5.6664469849 b16 + x70^2 - 2 x70 x76 + x71^2 - 2 x71 x77 + x76^2 + x77^2 >= -5.6664469849 e87: - 5.6664469849 b11 - 5.6664469849 b17 + x70^2 - 2 x70 x76 + x71^2 - 2 x71 x77 + x76^2 + x77^2 >= -5.6664469849 e88: - 7.77461689 b10 - 7.77461689 b18 + x70^2 - 2 x70 x78 + x71^2 - 2 x71 x79 + x78^2 + x79^2 >= -7.77461689 e89: - 7.77461689 b11 - 7.77461689 b19 + x70^2 - 2 x70 x78 + x71^2 - 2 x71 x79 + x78^2 + x79^2 >= -7.77461689 e90: - 7.77461689 b10 - 7.77461689 b20 + x70^2 - 2 x70 x80 + x71^2 - 2 x71 x81 + x80^2 + x81^2 >= -7.77461689 e91: - 7.77461689 b11 - 7.77461689 b21 + x70^2 - 2 x70 x80 + x71^2 - 2 x71 x81 + x80^2 + x81^2 >= -7.77461689 e92: - 2.118573403024 b2 - 2.118573403024 b12 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e93: - 2.118573403024 b3 - 2.118573403024 b13 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e94: - 2.118573403024 b4 - 2.118573403024 b12 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e95: - 2.118573403024 b5 - 2.118573403024 b13 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e96: - 1.436936830729 b6 - 1.436936830729 b12 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e97: - 1.436936830729 b7 - 1.436936830729 b13 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e98: - 1.436936830729 b8 - 1.436936830729 b12 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e99: - 1.436936830729 b9 - 1.436936830729 b13 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e100: - 2.9321082756 b10 - 2.9321082756 b12 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e101: - 2.9321082756 b11 - 2.9321082756 b13 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e102: - 5.6664469849 b12 - 5.6664469849 b14 + x72^2 - 2 x72 x74 + x73^2 - 2 x73 x75 + x74^2 + x75^2 >= -5.6664469849 e103: - 5.6664469849 b13 - 5.6664469849 b15 + x72^2 - 2 x72 x74 + x73^2 - 2 x73 x75 + x74^2 + x75^2 >= -5.6664469849 e104: - 5.6664469849 b12 - 5.6664469849 b16 + x72^2 - 2 x72 x76 + x73^2 - 2 x73 x77 + x76^2 + x77^2 >= -5.6664469849 e105: - 5.6664469849 b13 - 5.6664469849 b17 + x72^2 - 2 x72 x76 + x73^2 - 2 x73 x77 + x76^2 + x77^2 >= -5.6664469849 e106: - 7.77461689 b12 - 7.77461689 b18 + x72^2 - 2 x72 x78 + x73^2 - 2 x73 x79 + x78^2 + x79^2 >= -7.77461689 e107: - 7.77461689 b13 - 7.77461689 b19 + x72^2 - 2 x72 x78 + x73^2 - 2 x73 x79 + x78^2 + x79^2 >= -7.77461689 e108: - 7.77461689 b12 - 7.77461689 b20 + x72^2 - 2 x72 x80 + x73^2 - 2 x73 x81 + x80^2 + x81^2 >= -7.77461689 e109: - 7.77461689 b13 - 7.77461689 b21 + x72^2 - 2 x72 x80 + x73^2 - 2 x73 x81 + x80^2 + x81^2 >= -7.77461689 e110: - 4.509770398884 b2 - 4.509770398884 b14 + x62^2 - 2 x62 x74 + x63^2 - 2 x63 x75 + x74^2 + x75^2 >= -4.509770398884 e111: - 4.509770398884 b3 - 4.509770398884 b15 + x62^2 - 2 x62 x74 + x63^2 - 2 x63 x75 + x74^2 + x75^2 >= -4.509770398884 e112: - 4.509770398884 b4 - 4.509770398884 b14 + x64^2 - 2 x64 x74 + x65^2 - 2 x65 x75 + x74^2 + x75^2 >= -4.509770398884 e113: - 4.509770398884 b5 - 4.509770398884 b15 + x64^2 - 2 x64 x74 + x65^2 - 2 x65 x75 + x74^2 + x75^2 >= -4.509770398884 e114: - 3.484990776969 b6 - 3.484990776969 b14 + x66^2 - 2 x66 x74 + x67^2 - 2 x67 x75 + x74^2 + x75^2 >= -3.484990776969 e115: - 3.484990776969 b7 - 3.484990776969 b15 + x66^2 - 2 x66 x74 + x67^2 - 2 x67 x75 + x74^2 + x75^2 >= -3.484990776969 e116: - 3.484990776969 b8 - 3.484990776969 b14 + x68^2 - 2 x68 x74 + x69^2 - 2 x69 x75 + x74^2 + x75^2 >= -3.484990776969 e117: - 3.484990776969 b9 - 3.484990776969 b15 + x68^2 - 2 x68 x74 + x69^2 - 2 x69 x75 + x74^2 + x75^2 >= -3.484990776969 e118: - 5.6664469849 b10 - 5.6664469849 b14 + x70^2 - 2 x70 x74 + x71^2 - 2 x71 x75 + x74^2 + x75^2 >= -5.6664469849 e119: - 5.6664469849 b11 - 5.6664469849 b15 + x70^2 - 2 x70 x74 + x71^2 - 2 x71 x75 + x74^2 + x75^2 >= -5.6664469849 e120: - 5.6664469849 b12 - 5.6664469849 b14 + x72^2 - 2 x72 x74 + x73^2 - 2 x73 x75 + x74^2 + x75^2 >= -5.6664469849 e121: - 5.6664469849 b13 - 5.6664469849 b15 + x72^2 - 2 x72 x74 + x73^2 - 2 x73 x75 + x74^2 + x75^2 >= -5.6664469849 e122: - 9.2934741904 b14 - 9.2934741904 b16 + x74^2 - 2 x74 x76 + x75^2 - 2 x75 x77 + x76^2 + x77^2 >= -9.2934741904 e123: - 9.2934741904 b15 - 9.2934741904 b17 + x74^2 - 2 x74 x76 + x75^2 - 2 x75 x77 + x76^2 + x77^2 >= -9.2934741904 e124: - 11.9466318321 b14 - 11.9466318321 b18 + x74^2 - 2 x74 x78 + x75^2 - 2 x75 x79 + x78^2 + x79^2 >= -11.9466318321 e125: - 11.9466318321 b15 - 11.9466318321 b19 + x74^2 - 2 x74 x78 + x75^2 - 2 x75 x79 + x78^2 + x79^2 >= -11.9466318321 e126: - 11.9466318321 b14 - 11.9466318321 b20 + x74^2 - 2 x74 x80 + x75^2 - 2 x75 x81 + x80^2 + x81^2 >= -11.9466318321 e127: - 11.9466318321 b15 - 11.9466318321 b21 + x74^2 - 2 x74 x80 + x75^2 - 2 x75 x81 + x80^2 + x81^2 >= -11.9466318321 e128: - 4.509770398884 b2 - 4.509770398884 b16 + x62^2 - 2 x62 x76 + x63^2 - 2 x63 x77 + x76^2 + x77^2 >= -4.509770398884 e129: - 4.509770398884 b3 - 4.509770398884 b17 + x62^2 - 2 x62 x76 + x63^2 - 2 x63 x77 + x76^2 + x77^2 >= -4.509770398884 e130: - 4.509770398884 b4 - 4.509770398884 b16 + x64^2 - 2 x64 x76 + x65^2 - 2 x65 x77 + x76^2 + x77^2 >= -4.509770398884 e131: - 4.509770398884 b5 - 4.509770398884 b17 + x64^2 - 2 x64 x76 + x65^2 - 2 x65 x77 + x76^2 + x77^2 >= -4.509770398884 e132: - 3.484990776969 b6 - 3.484990776969 b16 + x66^2 - 2 x66 x76 + x67^2 - 2 x67 x77 + x76^2 + x77^2 >= -3.484990776969 e133: - 3.484990776969 b7 - 3.484990776969 b17 + x66^2 - 2 x66 x76 + x67^2 - 2 x67 x77 + x76^2 + x77^2 >= -3.484990776969 e134: - 3.484990776969 b8 - 3.484990776969 b16 + x68^2 - 2 x68 x76 + x69^2 - 2 x69 x77 + x76^2 + x77^2 >= -3.484990776969 e135: - 3.484990776969 b9 - 3.484990776969 b17 + x68^2 - 2 x68 x76 + x69^2 - 2 x69 x77 + x76^2 + x77^2 >= -3.484990776969 e136: - 5.6664469849 b10 - 5.6664469849 b16 + x70^2 - 2 x70 x76 + x71^2 - 2 x71 x77 + x76^2 + x77^2 >= -5.6664469849 e137: - 5.6664469849 b11 - 5.6664469849 b17 + x70^2 - 2 x70 x76 + x71^2 - 2 x71 x77 + x76^2 + x77^2 >= -5.6664469849 e138: - 5.6664469849 b12 - 5.6664469849 b16 + x72^2 - 2 x72 x76 + x73^2 - 2 x73 x77 + x76^2 + x77^2 >= -5.6664469849 e139: - 5.6664469849 b13 - 5.6664469849 b17 + x72^2 - 2 x72 x76 + x73^2 - 2 x73 x77 + x76^2 + x77^2 >= -5.6664469849 e140: - 9.2934741904 b14 - 9.2934741904 b16 + x74^2 - 2 x74 x76 + x75^2 - 2 x75 x77 + x76^2 + x77^2 >= -9.2934741904 e141: - 9.2934741904 b15 - 9.2934741904 b17 + x74^2 - 2 x74 x76 + x75^2 - 2 x75 x77 + x76^2 + x77^2 >= -9.2934741904 e142: - 11.9466318321 b16 - 11.9466318321 b18 + x76^2 - 2 x76 x78 + x77^2 - 2 x77 x79 + x78^2 + x79^2 >= -11.9466318321 e143: - 11.9466318321 b17 - 11.9466318321 b19 + x76^2 - 2 x76 x78 + x77^2 - 2 x77 x79 + x78^2 + x79^2 >= -11.9466318321 e144: - 11.9466318321 b16 - 11.9466318321 b20 + x76^2 - 2 x76 x80 + x77^2 - 2 x77 x81 + x80^2 + x81^2 >= -11.9466318321 e145: - 11.9466318321 b17 - 11.9466318321 b21 + x76^2 - 2 x76 x80 + x77^2 - 2 x77 x81 + x80^2 + x81^2 >= -11.9466318321 e146: - 6.408451746064 b2 - 6.408451746064 b18 + x62^2 - 2 x62 x78 + x63^2 - 2 x63 x79 + x78^2 + x79^2 >= -6.408451746064 e147: - 6.408451746064 b3 - 6.408451746064 b19 + x62^2 - 2 x62 x78 + x63^2 - 2 x63 x79 + x78^2 + x79^2 >= -6.408451746064 e148: - 6.408451746064 b4 - 6.408451746064 b18 + x64^2 - 2 x64 x78 + x65^2 - 2 x65 x79 + x78^2 + x79^2 >= -6.408451746064 e149: - 6.408451746064 b5 - 6.408451746064 b19 + x64^2 - 2 x64 x78 + x65^2 - 2 x65 x79 + x78^2 + x79^2 >= -6.408451746064 e150: - 5.174182750489 b6 - 5.174182750489 b18 + x66^2 - 2 x66 x78 + x67^2 - 2 x67 x79 + x78^2 + x79^2 >= -5.174182750489 e151: - 5.174182750489 b7 - 5.174182750489 b19 + x66^2 - 2 x66 x78 + x67^2 - 2 x67 x79 + x78^2 + x79^2 >= -5.174182750489 e152: - 5.174182750489 b8 - 5.174182750489 b18 + x68^2 - 2 x68 x78 + x69^2 - 2 x69 x79 + x78^2 + x79^2 >= -5.174182750489 e153: - 5.174182750489 b9 - 5.174182750489 b19 + x68^2 - 2 x68 x78 + x69^2 - 2 x69 x79 + x78^2 + x79^2 >= -5.174182750489 e154: - 7.77461689 b10 - 7.77461689 b18 + x70^2 - 2 x70 x78 + x71^2 - 2 x71 x79 + x78^2 + x79^2 >= -7.77461689 e155: - 7.77461689 b11 - 7.77461689 b19 + x70^2 - 2 x70 x78 + x71^2 - 2 x71 x79 + x78^2 + x79^2 >= -7.77461689 e156: - 7.77461689 b12 - 7.77461689 b18 + x72^2 - 2 x72 x78 + x73^2 - 2 x73 x79 + x78^2 + x79^2 >= -7.77461689 e157: - 7.77461689 b13 - 7.77461689 b19 + x72^2 - 2 x72 x78 + x73^2 - 2 x73 x79 + x78^2 + x79^2 >= -7.77461689 e158: - 11.9466318321 b14 - 11.9466318321 b18 + x74^2 - 2 x74 x78 + x75^2 - 2 x75 x79 + x78^2 + x79^2 >= -11.9466318321 e159: - 11.9466318321 b15 - 11.9466318321 b19 + x74^2 - 2 x74 x78 + x75^2 - 2 x75 x79 + x78^2 + x79^2 >= -11.9466318321 e160: - 11.9466318321 b16 - 11.9466318321 b18 + x76^2 - 2 x76 x78 + x77^2 - 2 x77 x79 + x78^2 + x79^2 >= -11.9466318321 e161: - 11.9466318321 b17 - 11.9466318321 b19 + x76^2 - 2 x76 x78 + x77^2 - 2 x77 x79 + x78^2 + x79^2 >= -11.9466318321 e162: - 14.9325053476 b18 - 14.9325053476 b20 + x78^2 - 2 x78 x80 + x79^2 - 2 x79 x81 + x80^2 + x81^2 >= -14.9325053476 e163: - 14.9325053476 b19 - 14.9325053476 b21 + x78^2 - 2 x78 x80 + x79^2 - 2 x79 x81 + x80^2 + x81^2 >= -14.9325053476 e164: - 6.408451746064 b2 - 6.408451746064 b20 + x62^2 - 2 x62 x80 + x63^2 - 2 x63 x81 + x80^2 + x81^2 >= -6.408451746064 e165: - 6.408451746064 b3 - 6.408451746064 b21 + x62^2 - 2 x62 x80 + x63^2 - 2 x63 x81 + x80^2 + x81^2 >= -6.408451746064 e166: - 6.408451746064 b4 - 6.408451746064 b20 + x64^2 - 2 x64 x80 + x65^2 - 2 x65 x81 + x80^2 + x81^2 >= -6.408451746064 e167: - 6.408451746064 b5 - 6.408451746064 b21 + x64^2 - 2 x64 x80 + x65^2 - 2 x65 x81 + x80^2 + x81^2 >= -6.408451746064 e168: - 5.174182750489 b6 - 5.174182750489 b20 + x66^2 - 2 x66 x80 + x67^2 - 2 x67 x81 + x80^2 + x81^2 >= -5.174182750489 e169: - 5.174182750489 b7 - 5.174182750489 b21 + x66^2 - 2 x66 x80 + x67^2 - 2 x67 x81 + x80^2 + x81^2 >= -5.174182750489 e170: - 5.174182750489 b8 - 5.174182750489 b20 + x68^2 - 2 x68 x80 + x69^2 - 2 x69 x81 + x80^2 + x81^2 >= -5.174182750489 e171: - 5.174182750489 b9 - 5.174182750489 b21 + x68^2 - 2 x68 x80 + x69^2 - 2 x69 x81 + x80^2 + x81^2 >= -5.174182750489 e172: - 7.77461689 b10 - 7.77461689 b20 + x70^2 - 2 x70 x80 + x71^2 - 2 x71 x81 + x80^2 + x81^2 >= -7.77461689 e173: - 7.77461689 b11 - 7.77461689 b21 + x70^2 - 2 x70 x80 + x71^2 - 2 x71 x81 + x80^2 + x81^2 >= -7.77461689 e174: - 7.77461689 b12 - 7.77461689 b20 + x72^2 - 2 x72 x80 + x73^2 - 2 x73 x81 + x80^2 + x81^2 >= -7.77461689 e175: - 7.77461689 b13 - 7.77461689 b21 + x72^2 - 2 x72 x80 + x73^2 - 2 x73 x81 + x80^2 + x81^2 >= -7.77461689 e176: - 11.9466318321 b14 - 11.9466318321 b20 + x74^2 - 2 x74 x80 + x75^2 - 2 x75 x81 + x80^2 + x81^2 >= -11.9466318321 e177: - 11.9466318321 b15 - 11.9466318321 b21 + x74^2 - 2 x74 x80 + x75^2 - 2 x75 x81 + x80^2 + x81^2 >= -11.9466318321 e178: - 11.9466318321 b16 - 11.9466318321 b20 + x76^2 - 2 x76 x80 + x77^2 - 2 x77 x81 + x80^2 + x81^2 >= -11.9466318321 e179: - 11.9466318321 b17 - 11.9466318321 b21 + x76^2 - 2 x76 x80 + x77^2 - 2 x77 x81 + x80^2 + x81^2 >= -11.9466318321 e180: - 14.9325053476 b18 - 14.9325053476 b20 + x78^2 - 2 x78 x80 + x79^2 - 2 x79 x81 + x80^2 + x81^2 >= -14.9325053476 e181: - 14.9325053476 b19 - 14.9325053476 b21 + x78^2 - 2 x78 x80 + x79^2 - 2 x79 x81 + x80^2 + x81^2 >= -14.9325053476 e182: - .469370231236 b34 - .469370231236 b42 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e183: - .469370231236 b34 - .469370231236 b42 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e184: - .469370231236 b35 - .469370231236 b43 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e185: - .469370231236 b35 - .469370231236 b43 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e186: - 1.436939228176 b22 - 1.436939228176 b28 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e187: - .887203867225 b22 - .887203867225 b36 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e188: - .887203867225 b22 - .887203867225 b44 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e189: - 1.436939228176 b22 - 1.436939228176 b28 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e190: - .887203867225 b28 - .887203867225 b36 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e191: - .887203867225 b28 - .887203867225 b44 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e192: - .887203867225 b22 - .887203867225 b36 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e193: - .887203867225 b28 - .887203867225 b36 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e194: - .469370231236 b36 - .469370231236 b44 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e195: - .887203867225 b22 - .887203867225 b44 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e196: - .887203867225 b28 - .887203867225 b44 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e197: - .469370231236 b36 - .469370231236 b44 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e198: - 1.436939228176 b23 - 1.436939228176 b29 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e199: - .887203867225 b23 - .887203867225 b37 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e200: - .887203867225 b23 - .887203867225 b45 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e201: - 1.436939228176 b23 - 1.436939228176 b29 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e202: - .887203867225 b29 - .887203867225 b37 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e203: - .887203867225 b29 - .887203867225 b45 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e204: - .887203867225 b23 - .887203867225 b37 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e205: - .887203867225 b29 - .887203867225 b37 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e206: - .469370231236 b37 - .469370231236 b45 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e207: - .887203867225 b23 - .887203867225 b45 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e208: - .887203867225 b29 - .887203867225 b45 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e209: - .469370231236 b37 - .469370231236 b45 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e210: - 1.436939228176 b24 - 1.436939228176 b30 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e211: - .887203867225 b24 - .887203867225 b38 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e212: - .887203867225 b24 - .887203867225 b46 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e213: - 2.118573403024 b24 - 2.118573403024 b50 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e214: - 2.118573403024 b24 - 2.118573403024 b54 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e215: - 1.436939228176 b24 - 1.436939228176 b30 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e216: - .887203867225 b30 - .887203867225 b38 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e217: - .887203867225 b30 - .887203867225 b46 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e218: - 2.118573403024 b30 - 2.118573403024 b50 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e219: - 2.118573403024 b30 - 2.118573403024 b54 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e220: - .887203867225 b24 - .887203867225 b38 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e221: - .887203867225 b30 - .887203867225 b38 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e222: - .469370231236 b38 - .469370231236 b46 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e223: - 1.436936830729 b38 - 1.436936830729 b50 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e224: - 1.436936830729 b38 - 1.436936830729 b54 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e225: - .887203867225 b24 - .887203867225 b46 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e226: - .887203867225 b30 - .887203867225 b46 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e227: - .469370231236 b38 - .469370231236 b46 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e228: - 1.436936830729 b46 - 1.436936830729 b50 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e229: - 1.436936830729 b46 - 1.436936830729 b54 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e230: - 2.118573403024 b24 - 2.118573403024 b50 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e231: - 2.118573403024 b30 - 2.118573403024 b50 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e232: - 1.436936830729 b38 - 1.436936830729 b50 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e233: - 1.436936830729 b46 - 1.436936830729 b50 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e234: - 2.9321082756 b50 - 2.9321082756 b54 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e235: - 2.118573403024 b24 - 2.118573403024 b54 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e236: - 2.118573403024 b30 - 2.118573403024 b54 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e237: - 1.436936830729 b38 - 1.436936830729 b54 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e238: - 1.436936830729 b46 - 1.436936830729 b54 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e239: - 2.9321082756 b50 - 2.9321082756 b54 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e240: - 1.436939228176 b25 - 1.436939228176 b31 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e241: - .887203867225 b25 - .887203867225 b39 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e242: - .887203867225 b25 - .887203867225 b47 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e243: - 2.118573403024 b25 - 2.118573403024 b51 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e244: - 2.118573403024 b25 - 2.118573403024 b55 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e245: - 1.436939228176 b25 - 1.436939228176 b31 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e246: - .887203867225 b31 - .887203867225 b39 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e247: - .887203867225 b31 - .887203867225 b47 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e248: - 2.118573403024 b31 - 2.118573403024 b51 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e249: - 2.118573403024 b31 - 2.118573403024 b55 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e250: - .887203867225 b25 - .887203867225 b39 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e251: - .887203867225 b31 - .887203867225 b39 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e252: - .469370231236 b39 - .469370231236 b47 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e253: - 1.436936830729 b39 - 1.436936830729 b51 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e254: - 1.436936830729 b39 - 1.436936830729 b55 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e255: - .887203867225 b25 - .887203867225 b47 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e256: - .887203867225 b31 - .887203867225 b47 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e257: - .469370231236 b39 - .469370231236 b47 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e258: - 1.436936830729 b47 - 1.436936830729 b51 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e259: - 1.436936830729 b47 - 1.436936830729 b55 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e260: - 2.118573403024 b25 - 2.118573403024 b51 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e261: - 2.118573403024 b31 - 2.118573403024 b51 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e262: - 1.436936830729 b39 - 1.436936830729 b51 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e263: - 1.436936830729 b47 - 1.436936830729 b51 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e264: - 2.9321082756 b51 - 2.9321082756 b55 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e265: - 2.118573403024 b25 - 2.118573403024 b55 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e266: - 2.118573403024 b31 - 2.118573403024 b55 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e267: - 1.436936830729 b39 - 1.436936830729 b55 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e268: - 1.436936830729 b47 - 1.436936830729 b55 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e269: - 2.9321082756 b51 - 2.9321082756 b55 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e270: - 1.436939228176 b26 - 1.436939228176 b32 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e271: - .887203867225 b26 - .887203867225 b40 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e272: - .887203867225 b26 - .887203867225 b48 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e273: - 2.118573403024 b26 - 2.118573403024 b52 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e274: - 2.118573403024 b26 - 2.118573403024 b56 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e275: - 4.509770398884 b26 - 4.509770398884 b58 + x62^2 - 2 x62 x74 + x63^2 - 2 x63 x75 + x74^2 + x75^2 >= -4.509770398884 e276: - 4.509770398884 b26 - 4.509770398884 b60 + x62^2 - 2 x62 x76 + x63^2 - 2 x63 x77 + x76^2 + x77^2 >= -4.509770398884 e277: - 1.436939228176 b26 - 1.436939228176 b32 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e278: - .887203867225 b32 - .887203867225 b40 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e279: - .887203867225 b32 - .887203867225 b48 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e280: - 2.118573403024 b32 - 2.118573403024 b52 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e281: - 2.118573403024 b32 - 2.118573403024 b56 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e282: - 4.509770398884 b32 - 4.509770398884 b58 + x64^2 - 2 x64 x74 + x65^2 - 2 x65 x75 + x74^2 + x75^2 >= -4.509770398884 e283: - 4.509770398884 b32 - 4.509770398884 b60 + x64^2 - 2 x64 x76 + x65^2 - 2 x65 x77 + x76^2 + x77^2 >= -4.509770398884 e284: - .887203867225 b26 - .887203867225 b40 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e285: - .887203867225 b32 - .887203867225 b40 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e286: - .469370231236 b40 - .469370231236 b48 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e287: - 1.436936830729 b40 - 1.436936830729 b52 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e288: - 1.436936830729 b40 - 1.436936830729 b56 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e289: - 3.484990776969 b40 - 3.484990776969 b58 + x66^2 - 2 x66 x74 + x67^2 - 2 x67 x75 + x74^2 + x75^2 >= -3.484990776969 e290: - 3.484990776969 b40 - 3.484990776969 b60 + x66^2 - 2 x66 x76 + x67^2 - 2 x67 x77 + x76^2 + x77^2 >= -3.484990776969 e291: - .887203867225 b26 - .887203867225 b48 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e292: - .887203867225 b32 - .887203867225 b48 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e293: - .469370231236 b40 - .469370231236 b48 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e294: - 1.436936830729 b48 - 1.436936830729 b52 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e295: - 1.436936830729 b48 - 1.436936830729 b56 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e296: - 3.484990776969 b48 - 3.484990776969 b58 + x68^2 - 2 x68 x74 + x69^2 - 2 x69 x75 + x74^2 + x75^2 >= -3.484990776969 e297: - 3.484990776969 b48 - 3.484990776969 b60 + x68^2 - 2 x68 x76 + x69^2 - 2 x69 x77 + x76^2 + x77^2 >= -3.484990776969 e298: - 2.118573403024 b26 - 2.118573403024 b52 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e299: - 2.118573403024 b32 - 2.118573403024 b52 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e300: - 1.436936830729 b40 - 1.436936830729 b52 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e301: - 1.436936830729 b48 - 1.436936830729 b52 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e302: - 2.9321082756 b52 - 2.9321082756 b56 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e303: - 5.6664469849 b52 - 5.6664469849 b58 + x70^2 - 2 x70 x74 + x71^2 - 2 x71 x75 + x74^2 + x75^2 >= -5.6664469849 e304: - 5.6664469849 b52 - 5.6664469849 b60 + x70^2 - 2 x70 x76 + x71^2 - 2 x71 x77 + x76^2 + x77^2 >= -5.6664469849 e305: - 2.118573403024 b26 - 2.118573403024 b56 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e306: - 2.118573403024 b32 - 2.118573403024 b56 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e307: - 1.436936830729 b40 - 1.436936830729 b56 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e308: - 1.436936830729 b48 - 1.436936830729 b56 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e309: - 2.9321082756 b52 - 2.9321082756 b56 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e310: - 5.6664469849 b56 - 5.6664469849 b58 + x72^2 - 2 x72 x74 + x73^2 - 2 x73 x75 + x74^2 + x75^2 >= -5.6664469849 e311: - 5.6664469849 b56 - 5.6664469849 b60 + x72^2 - 2 x72 x76 + x73^2 - 2 x73 x77 + x76^2 + x77^2 >= -5.6664469849 e312: - 4.509770398884 b26 - 4.509770398884 b58 + x62^2 - 2 x62 x74 + x63^2 - 2 x63 x75 + x74^2 + x75^2 >= -4.509770398884 e313: - 4.509770398884 b32 - 4.509770398884 b58 + x64^2 - 2 x64 x74 + x65^2 - 2 x65 x75 + x74^2 + x75^2 >= -4.509770398884 e314: - 3.484990776969 b40 - 3.484990776969 b58 + x66^2 - 2 x66 x74 + x67^2 - 2 x67 x75 + x74^2 + x75^2 >= -3.484990776969 e315: - 3.484990776969 b48 - 3.484990776969 b58 + x68^2 - 2 x68 x74 + x69^2 - 2 x69 x75 + x74^2 + x75^2 >= -3.484990776969 e316: - 5.6664469849 b52 - 5.6664469849 b58 + x70^2 - 2 x70 x74 + x71^2 - 2 x71 x75 + x74^2 + x75^2 >= -5.6664469849 e317: - 5.6664469849 b56 - 5.6664469849 b58 + x72^2 - 2 x72 x74 + x73^2 - 2 x73 x75 + x74^2 + x75^2 >= -5.6664469849 e318: - 9.2934741904 b58 - 9.2934741904 b60 + x74^2 - 2 x74 x76 + x75^2 - 2 x75 x77 + x76^2 + x77^2 >= -9.2934741904 e319: - 4.509770398884 b26 - 4.509770398884 b60 + x62^2 - 2 x62 x76 + x63^2 - 2 x63 x77 + x76^2 + x77^2 >= -4.509770398884 e320: - 4.509770398884 b32 - 4.509770398884 b60 + x64^2 - 2 x64 x76 + x65^2 - 2 x65 x77 + x76^2 + x77^2 >= -4.509770398884 e321: - 3.484990776969 b40 - 3.484990776969 b60 + x66^2 - 2 x66 x76 + x67^2 - 2 x67 x77 + x76^2 + x77^2 >= -3.484990776969 e322: - 3.484990776969 b48 - 3.484990776969 b60 + x68^2 - 2 x68 x76 + x69^2 - 2 x69 x77 + x76^2 + x77^2 >= -3.484990776969 e323: - 5.6664469849 b52 - 5.6664469849 b60 + x70^2 - 2 x70 x76 + x71^2 - 2 x71 x77 + x76^2 + x77^2 >= -5.6664469849 e324: - 5.6664469849 b56 - 5.6664469849 b60 + x72^2 - 2 x72 x76 + x73^2 - 2 x73 x77 + x76^2 + x77^2 >= -5.6664469849 e325: - 9.2934741904 b58 - 9.2934741904 b60 + x74^2 - 2 x74 x76 + x75^2 - 2 x75 x77 + x76^2 + x77^2 >= -9.2934741904 e326: - 1.436939228176 b27 - 1.436939228176 b33 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e327: - .887203867225 b27 - .887203867225 b41 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e328: - .887203867225 b27 - .887203867225 b49 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e329: - 2.118573403024 b27 - 2.118573403024 b53 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e330: - 2.118573403024 b27 - 2.118573403024 b57 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e331: - 4.509770398884 b27 - 4.509770398884 b59 + x62^2 - 2 x62 x74 + x63^2 - 2 x63 x75 + x74^2 + x75^2 >= -4.509770398884 e332: - 4.509770398884 b27 - 4.509770398884 b61 + x62^2 - 2 x62 x76 + x63^2 - 2 x63 x77 + x76^2 + x77^2 >= -4.509770398884 e333: - 1.436939228176 b27 - 1.436939228176 b33 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -1.436939228176 e334: - .887203867225 b33 - .887203867225 b41 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e335: - .887203867225 b33 - .887203867225 b49 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e336: - 2.118573403024 b33 - 2.118573403024 b53 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e337: - 2.118573403024 b33 - 2.118573403024 b57 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e338: - 4.509770398884 b33 - 4.509770398884 b59 + x64^2 - 2 x64 x74 + x65^2 - 2 x65 x75 + x74^2 + x75^2 >= -4.509770398884 e339: - 4.509770398884 b33 - 4.509770398884 b61 + x64^2 - 2 x64 x76 + x65^2 - 2 x65 x77 + x76^2 + x77^2 >= -4.509770398884 e340: - .887203867225 b27 - .887203867225 b41 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -.887203867225 e341: - .887203867225 b33 - .887203867225 b41 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -.887203867225 e342: - .469370231236 b41 - .469370231236 b49 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e343: - 1.436936830729 b41 - 1.436936830729 b53 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e344: - 1.436936830729 b41 - 1.436936830729 b57 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e345: - 3.484990776969 b41 - 3.484990776969 b59 + x66^2 - 2 x66 x74 + x67^2 - 2 x67 x75 + x74^2 + x75^2 >= -3.484990776969 e346: - 3.484990776969 b41 - 3.484990776969 b61 + x66^2 - 2 x66 x76 + x67^2 - 2 x67 x77 + x76^2 + x77^2 >= -3.484990776969 e347: - .887203867225 b27 - .887203867225 b49 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -.887203867225 e348: - .887203867225 b33 - .887203867225 b49 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -.887203867225 e349: - .469370231236 b41 - .469370231236 b49 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -.469370231236 e350: - 1.436936830729 b49 - 1.436936830729 b53 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e351: - 1.436936830729 b49 - 1.436936830729 b57 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e352: - 3.484990776969 b49 - 3.484990776969 b59 + x68^2 - 2 x68 x74 + x69^2 - 2 x69 x75 + x74^2 + x75^2 >= -3.484990776969 e353: - 3.484990776969 b49 - 3.484990776969 b61 + x68^2 - 2 x68 x76 + x69^2 - 2 x69 x77 + x76^2 + x77^2 >= -3.484990776969 e354: - 2.118573403024 b27 - 2.118573403024 b53 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -2.118573403024 e355: - 2.118573403024 b33 - 2.118573403024 b53 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -2.118573403024 e356: - 1.436936830729 b41 - 1.436936830729 b53 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -1.436936830729 e357: - 1.436936830729 b49 - 1.436936830729 b53 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -1.436936830729 e358: - 2.9321082756 b53 - 2.9321082756 b57 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e359: - 5.6664469849 b53 - 5.6664469849 b59 + x70^2 - 2 x70 x74 + x71^2 - 2 x71 x75 + x74^2 + x75^2 >= -5.6664469849 e360: - 5.6664469849 b53 - 5.6664469849 b61 + x70^2 - 2 x70 x76 + x71^2 - 2 x71 x77 + x76^2 + x77^2 >= -5.6664469849 e361: - 2.118573403024 b27 - 2.118573403024 b57 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 >= -2.118573403024 e362: - 2.118573403024 b33 - 2.118573403024 b57 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 >= -2.118573403024 e363: - 1.436936830729 b41 - 1.436936830729 b57 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 >= -1.436936830729 e364: - 1.436936830729 b49 - 1.436936830729 b57 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 >= -1.436936830729 e365: - 2.9321082756 b53 - 2.9321082756 b57 + x70^2 - 2 x70 x72 + x71^2 - 2 x71 x73 + x72^2 + x73^2 >= -2.9321082756 e366: - 5.6664469849 b57 - 5.6664469849 b59 + x72^2 - 2 x72 x74 + x73^2 - 2 x73 x75 + x74^2 + x75^2 >= -5.6664469849 e367: - 5.6664469849 b57 - 5.6664469849 b61 + x72^2 - 2 x72 x76 + x73^2 - 2 x73 x77 + x76^2 + x77^2 >= -5.6664469849 e368: - 4.509770398884 b27 - 4.509770398884 b59 + x62^2 - 2 x62 x74 + x63^2 - 2 x63 x75 + x74^2 + x75^2 >= -4.509770398884 e369: - 4.509770398884 b33 - 4.509770398884 b59 + x64^2 - 2 x64 x74 + x65^2 - 2 x65 x75 + x74^2 + x75^2 >= -4.509770398884 e370: - 3.484990776969 b41 - 3.484990776969 b59 + x66^2 - 2 x66 x74 + x67^2 - 2 x67 x75 + x74^2 + x75^2 >= -3.484990776969 e371: - 3.484990776969 b49 - 3.484990776969 b59 + x68^2 - 2 x68 x74 + x69^2 - 2 x69 x75 + x74^2 + x75^2 >= -3.484990776969 e372: - 5.6664469849 b53 - 5.6664469849 b59 + x70^2 - 2 x70 x74 + x71^2 - 2 x71 x75 + x74^2 + x75^2 >= -5.6664469849 e373: - 5.6664469849 b57 - 5.6664469849 b59 + x72^2 - 2 x72 x74 + x73^2 - 2 x73 x75 + x74^2 + x75^2 >= -5.6664469849 e374: - 9.2934741904 b59 - 9.2934741904 b61 + x74^2 - 2 x74 x76 + x75^2 - 2 x75 x77 + x76^2 + x77^2 >= -9.2934741904 e375: - 4.509770398884 b27 - 4.509770398884 b61 + x62^2 - 2 x62 x76 + x63^2 - 2 x63 x77 + x76^2 + x77^2 >= -4.509770398884 e376: - 4.509770398884 b33 - 4.509770398884 b61 + x64^2 - 2 x64 x76 + x65^2 - 2 x65 x77 + x76^2 + x77^2 >= -4.509770398884 e377: - 3.484990776969 b41 - 3.484990776969 b61 + x66^2 - 2 x66 x76 + x67^2 - 2 x67 x77 + x76^2 + x77^2 >= -3.484990776969 e378: - 3.484990776969 b49 - 3.484990776969 b61 + x68^2 - 2 x68 x76 + x69^2 - 2 x69 x77 + x76^2 + x77^2 >= -3.484990776969 e379: - 5.6664469849 b53 - 5.6664469849 b61 + x70^2 - 2 x70 x76 + x71^2 - 2 x71 x77 + x76^2 + x77^2 >= -5.6664469849 e380: - 5.6664469849 b57 - 5.6664469849 b61 + x72^2 - 2 x72 x76 + x73^2 - 2 x73 x77 + x76^2 + x77^2 >= -5.6664469849 e381: - 9.2934741904 b59 - 9.2934741904 b61 + x74^2 - 2 x74 x76 + x75^2 - 2 x75 x77 + x76^2 + x77^2 >= -9.2934741904 e382: 146.015866806048 b22 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 <= 146.035526210992 e383: 146.015866806048 b23 + x62^2 - 2 x62 x72 + x63^2 - 2 x63 x73 + x72^2 + x73^2 <= 146.035526210992 e384: 124.074660797768 b24 + x62^2 - 2 x62 x74 + x63^2 - 2 x63 x75 + x74^2 + x75^2 <= 124.688044241112 e385: 124.074660797768 b25 + x62^2 - 2 x62 x76 + x63^2 - 2 x63 x77 + x76^2 + x77^2 <= 124.688044241112 e386: 111.557223492128 b26 + x62^2 - 2 x62 x78 + x63^2 - 2 x63 x79 + x78^2 + x79^2 <= 112.885590384432 e387: 111.557223492128 b27 + x62^2 - 2 x62 x80 + x63^2 - 2 x63 x81 + x80^2 + x81^2 <= 112.885590384432 e388: 146.015866806048 b28 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 <= 146.035526210992 e389: 146.015866806048 b29 + x64^2 - 2 x64 x72 + x65^2 - 2 x65 x73 + x72^2 + x73^2 <= 146.035526210992 e390: 124.074660797768 b30 + x64^2 - 2 x64 x74 + x65^2 - 2 x65 x75 + x74^2 + x75^2 <= 124.688044241112 e391: 124.074660797768 b31 + x64^2 - 2 x64 x76 + x65^2 - 2 x65 x77 + x76^2 + x77^2 <= 124.688044241112 e392: 111.557223492128 b32 + x64^2 - 2 x64 x78 + x65^2 - 2 x65 x79 + x78^2 + x79^2 <= 112.885590384432 e393: 111.557223492128 b33 + x64^2 - 2 x64 x80 + x65^2 - 2 x65 x81 + x80^2 + x81^2 <= 112.885590384432 e394: 164.09780773445 b34 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 <= 164.128395645686 e395: 164.09780773445 b35 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 <= 164.128395645686 e396: 154.924953661458 b36 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 <= 155.082579335899 e397: 154.924953661458 b37 + x66^2 - 2 x66 x72 + x67^2 - 2 x67 x73 + x72^2 + x73^2 <= 155.082579335899 e398: 132.297461553938 b38 + x66^2 - 2 x66 x74 + x67^2 - 2 x67 x75 + x74^2 + x75^2 <= 133.379055313947 e399: 132.297461553938 b39 + x66^2 - 2 x66 x76 + x67^2 - 2 x67 x77 + x76^2 + x77^2 <= 133.379055313947 e400: 119.361045500978 b40 + x66^2 - 2 x66 x78 + x67^2 - 2 x67 x79 + x78^2 + x79^2 <= 121.347332654427 e401: 119.361045500978 b41 + x66^2 - 2 x66 x80 + x67^2 - 2 x67 x81 + x80^2 + x81^2 <= 121.347332654427 e402: 164.09780773445 b42 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 <= 164.128395645686 e403: 164.09780773445 b43 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 <= 164.128395645686 e404: 154.924953661458 b44 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 <= 155.082579335899 e405: 154.924953661458 b45 + x68^2 - 2 x68 x72 + x69^2 - 2 x69 x73 + x72^2 + x73^2 <= 155.082579335899 e406: 132.297461553938 b46 + x68^2 - 2 x68 x74 + x69^2 - 2 x69 x75 + x74^2 + x75^2 <= 133.379055313947 e407: 132.297461553938 b47 + x68^2 - 2 x68 x76 + x69^2 - 2 x69 x77 + x76^2 + x77^2 <= 133.379055313947 e408: 119.361045500978 b48 + x68^2 - 2 x68 x78 + x69^2 - 2 x69 x79 + x78^2 + x79^2 <= 121.347332654427 e409: 119.361045500978 b49 + x68^2 - 2 x68 x80 + x69^2 - 2 x69 x81 + x80^2 + x81^2 <= 121.347332654427 e410: 116.1156939698 b50 + x70^2 - 2 x70 x74 + x71^2 - 2 x71 x75 + x74^2 + x75^2 <= 116.3927698742 e411: 116.1156939698 b51 + x70^2 - 2 x70 x76 + x71^2 - 2 x71 x77 + x76^2 + x77^2 <= 116.3927698742 e412: 104.01723378 b52 + x70^2 - 2 x70 x78 + x71^2 - 2 x71 x79 + x78^2 + x79^2 <= 104.8195839276 e413: 104.01723378 b53 + x70^2 - 2 x70 x80 + x71^2 - 2 x71 x81 + x80^2 + x81^2 <= 104.8195839276 e414: 116.1156939698 b54 + x72^2 - 2 x72 x74 + x73^2 - 2 x73 x75 + x74^2 + x75^2 <= 116.3927698742 e415: 116.1156939698 b55 + x72^2 - 2 x72 x76 + x73^2 - 2 x73 x77 + x76^2 + x77^2 <= 116.3927698742 e416: 104.01723378 b56 + x72^2 - 2 x72 x78 + x73^2 - 2 x73 x79 + x78^2 + x79^2 <= 104.8195839276 e417: 104.01723378 b57 + x72^2 - 2 x72 x80 + x73^2 - 2 x73 x81 + x80^2 + x81^2 <= 104.8195839276 e418: 85.6376636642 b58 + x74^2 - 2 x74 x78 + x75^2 - 2 x75 x79 + x78^2 + x79^2 <= 85.6894881867 e419: 85.6376636642 b59 + x74^2 - 2 x74 x80 + x75^2 - 2 x75 x81 + x80^2 + x81^2 <= 85.6894881867 e420: 85.6376636642 b60 + x76^2 - 2 x76 x78 + x77^2 - 2 x77 x79 + x78^2 + x79^2 <= 85.6894881867 e421: 85.6376636642 b61 + x76^2 - 2 x76 x80 + x77^2 - 2 x77 x81 + x80^2 + x81^2 <= 85.6894881867 e422: b2 + b3 + b22 + b23 + b24 + b25 + b26 + b27 <= 1 e423: b4 + b5 + b28 + b29 + b30 + b31 + b32 + b33 <= 1 e424: b6 + b7 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 <= 1 e425: b8 + b9 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 <= 1 e426: b10 + b11 + b50 + b51 + b52 + b53 <= 1 e427: b12 + b13 + b54 + b55 + b56 + b57 <= 1 e428: b14 + b15 + b58 + b59 <= 1 e429: b16 + b17 + b60 + b61 <= 1 e430: b18 + b19 <= 1 e431: b20 + b21 <= 1 e432: - b10 - b11 + b22 <= 0 e433: - b12 - b13 + b23 <= 0 e434: - b14 - b15 + b24 <= 0 e435: - b16 - b17 + b25 <= 0 e436: - b18 - b19 + b26 <= 0 e437: - b20 - b21 + b27 <= 0 e438: - b10 - b11 + b28 <= 0 e439: - b12 - b13 + b29 <= 0 e440: - b14 - b15 + b30 <= 0 e441: - b16 - b17 + b31 <= 0 e442: - b18 - b19 + b32 <= 0 e443: - b20 - b21 + b33 <= 0 e444: - b2 - b3 + b34 <= 0 e445: - b4 - b5 + b35 <= 0 e446: - b10 - b11 + b36 <= 0 e447: - b12 - b13 + b37 <= 0 e448: - b14 - b15 + b38 <= 0 e449: - b16 - b17 + b39 <= 0 e450: - b18 - b19 + b40 <= 0 e451: - b20 - b21 + b41 <= 0 e452: - b2 - b3 + b42 <= 0 e453: - b4 - b5 + b43 <= 0 e454: - b10 - b11 + b44 <= 0 e455: - b12 - b13 + b45 <= 0 e456: - b14 - b15 + b46 <= 0 e457: - b16 - b17 + b47 <= 0 e458: - b18 - b19 + b48 <= 0 e459: - b20 - b21 + b49 <= 0 e460: - b14 - b15 + b50 <= 0 e461: - b16 - b17 + b51 <= 0 e462: - b18 - b19 + b52 <= 0 e463: - b20 - b21 + b53 <= 0 e464: - b14 - b15 + b54 <= 0 e465: - b16 - b17 + b55 <= 0 e466: - b18 - b19 + b56 <= 0 e467: - b20 - b21 + b57 <= 0 e468: - b18 - b19 + b58 <= 0 e469: - b20 - b21 + b59 <= 0 e470: - b18 - b19 + b60 <= 0 e471: - b20 - b21 + b61 <= 0 e472: x62 - x64 <= 0 e473: x66 - x68 <= 0 e474: x70 - x72 <= 0 e475: x74 - x76 <= 0 e476: x78 - x80 <= 0 Bounds .599362 <= x62 <= 9.400638 .599362 <= x63 <= 9.400638 .599362 <= x64 <= 9.400638 .599362 <= x65 <= 9.400638 .342553 <= x66 <= 9.657447 .342553 <= x67 <= 9.657447 .342553 <= x68 <= 9.657447 .342553 <= x69 <= 9.657447 .85617 <= x70 <= 9.14383 .85617 <= x71 <= 9.14383 .85617 <= x72 <= 9.14383 .85617 <= x73 <= 9.14383 1.52426 <= x74 <= 8.47574 1.52426 <= x75 <= 8.47574 1.52426 <= x76 <= 8.47574 1.52426 <= x77 <= 8.47574 1.93213 <= x78 <= 8.06787 1.93213 <= x79 <= 8.06787 1.93213 <= x80 <= 8.06787 1.93213 <= x81 <= 8.06787 Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 End