\ Equation counts \ Total E G L N X C B \ 385 0 290 95 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 70 20 50 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2130 810 1320 0 \ Minimize obj: - .287403606378025 b2 - .287403606378025 b3 - 9.46538180425961e-2 b4 - 9.46538180425961e-2 b5 - .584516458645496 b6 - .584516458645496 b7 - 1.29409755392315 b8 - 1.29409755392315 b9 - 2.08582176557546 b10 - 2.08582176557546 b11 - 2.08582176557546 b12 - 2.08582176557546 b13 - 2.08582176557546 b14 - 2.08582176557546 b15 - 2.08582176557546 b16 - 2.08582176557546 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 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 Subject To e2: - 1.436939228176 b2 - 1.436939228176 b3 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e3: - .887203867225 b2 - .887203867225 b4 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e4: - .887203867225 b2 - .887203867225 b5 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e5: - 2.118573403024 b2 - 2.118573403024 b6 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e6: - 2.118573403024 b2 - 2.118573403024 b7 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e7: - 4.509770398884 b2 - 4.509770398884 b8 + x52^2 - 2 x52 x64 + x53^2 - 2 x53 x65 + x64^2 + x65^2 >= -4.509770398884 e8: - 4.509770398884 b2 - 4.509770398884 b9 + x52^2 - 2 x52 x66 + x53^2 - 2 x53 x67 + x66^2 + x67^2 >= -4.509770398884 e9: - 6.408451746064 b2 - 6.408451746064 b10 + x52^2 - 2 x52 x68 + x53^2 - 2 x53 x69 + x68^2 + x69^2 >= -6.408451746064 e10: - 6.408451746064 b2 - 6.408451746064 b11 + x52^2 - 2 x52 x70 + x53^2 - 2 x53 x71 + x70^2 + x71^2 >= -6.408451746064 e11: - 1.436939228176 b2 - 1.436939228176 b3 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e12: - .887203867225 b3 - .887203867225 b4 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e13: - .887203867225 b3 - .887203867225 b5 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e14: - 2.118573403024 b3 - 2.118573403024 b6 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e15: - 2.118573403024 b3 - 2.118573403024 b7 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e16: - 4.509770398884 b3 - 4.509770398884 b8 + x54^2 - 2 x54 x64 + x55^2 - 2 x55 x65 + x64^2 + x65^2 >= -4.509770398884 e17: - 4.509770398884 b3 - 4.509770398884 b9 + x54^2 - 2 x54 x66 + x55^2 - 2 x55 x67 + x66^2 + x67^2 >= -4.509770398884 e18: - 6.408451746064 b3 - 6.408451746064 b10 + x54^2 - 2 x54 x68 + x55^2 - 2 x55 x69 + x68^2 + x69^2 >= -6.408451746064 e19: - 6.408451746064 b3 - 6.408451746064 b11 + x54^2 - 2 x54 x70 + x55^2 - 2 x55 x71 + x70^2 + x71^2 >= -6.408451746064 e20: - .887203867225 b2 - .887203867225 b4 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e21: - .887203867225 b3 - .887203867225 b4 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e22: - .469370231236 b4 - .469370231236 b5 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e23: - 1.436936830729 b4 - 1.436936830729 b6 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e24: - 1.436936830729 b4 - 1.436936830729 b7 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e25: - 3.484990776969 b4 - 3.484990776969 b8 + x56^2 - 2 x56 x64 + x57^2 - 2 x57 x65 + x64^2 + x65^2 >= -3.484990776969 e26: - 3.484990776969 b4 - 3.484990776969 b9 + x56^2 - 2 x56 x66 + x57^2 - 2 x57 x67 + x66^2 + x67^2 >= -3.484990776969 e27: - 5.174182750489 b4 - 5.174182750489 b10 + x56^2 - 2 x56 x68 + x57^2 - 2 x57 x69 + x68^2 + x69^2 >= -5.174182750489 e28: - 5.174182750489 b4 - 5.174182750489 b11 + x56^2 - 2 x56 x70 + x57^2 - 2 x57 x71 + x70^2 + x71^2 >= -5.174182750489 e29: - .887203867225 b2 - .887203867225 b5 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e30: - .887203867225 b3 - .887203867225 b5 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e31: - .469370231236 b4 - .469370231236 b5 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e32: - 1.436936830729 b5 - 1.436936830729 b6 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e33: - 1.436936830729 b5 - 1.436936830729 b7 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e34: - 3.484990776969 b5 - 3.484990776969 b8 + x58^2 - 2 x58 x64 + x59^2 - 2 x59 x65 + x64^2 + x65^2 >= -3.484990776969 e35: - 3.484990776969 b5 - 3.484990776969 b9 + x58^2 - 2 x58 x66 + x59^2 - 2 x59 x67 + x66^2 + x67^2 >= -3.484990776969 e36: - 5.174182750489 b5 - 5.174182750489 b10 + x58^2 - 2 x58 x68 + x59^2 - 2 x59 x69 + x68^2 + x69^2 >= -5.174182750489 e37: - 5.174182750489 b5 - 5.174182750489 b11 + x58^2 - 2 x58 x70 + x59^2 - 2 x59 x71 + x70^2 + x71^2 >= -5.174182750489 e38: - 2.118573403024 b2 - 2.118573403024 b6 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e39: - 2.118573403024 b3 - 2.118573403024 b6 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e40: - 1.436936830729 b4 - 1.436936830729 b6 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e41: - 1.436936830729 b5 - 1.436936830729 b6 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e42: - 2.9321082756 b6 - 2.9321082756 b7 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e43: - 5.6664469849 b6 - 5.6664469849 b8 + x60^2 - 2 x60 x64 + x61^2 - 2 x61 x65 + x64^2 + x65^2 >= -5.6664469849 e44: - 5.6664469849 b6 - 5.6664469849 b9 + x60^2 - 2 x60 x66 + x61^2 - 2 x61 x67 + x66^2 + x67^2 >= -5.6664469849 e45: - 7.77461689 b6 - 7.77461689 b10 + x60^2 - 2 x60 x68 + x61^2 - 2 x61 x69 + x68^2 + x69^2 >= -7.77461689 e46: - 7.77461689 b6 - 7.77461689 b11 + x60^2 - 2 x60 x70 + x61^2 - 2 x61 x71 + x70^2 + x71^2 >= -7.77461689 e47: - 2.118573403024 b2 - 2.118573403024 b7 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e48: - 2.118573403024 b3 - 2.118573403024 b7 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e49: - 1.436936830729 b4 - 1.436936830729 b7 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e50: - 1.436936830729 b5 - 1.436936830729 b7 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e51: - 2.9321082756 b6 - 2.9321082756 b7 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e52: - 5.6664469849 b7 - 5.6664469849 b8 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -5.6664469849 e53: - 5.6664469849 b7 - 5.6664469849 b9 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -5.6664469849 e54: - 7.77461689 b7 - 7.77461689 b10 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -7.77461689 e55: - 7.77461689 b7 - 7.77461689 b11 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -7.77461689 e56: - 4.509770398884 b2 - 4.509770398884 b8 + x52^2 - 2 x52 x64 + x53^2 - 2 x53 x65 + x64^2 + x65^2 >= -4.509770398884 e57: - 4.509770398884 b3 - 4.509770398884 b8 + x54^2 - 2 x54 x64 + x55^2 - 2 x55 x65 + x64^2 + x65^2 >= -4.509770398884 e58: - 3.484990776969 b4 - 3.484990776969 b8 + x56^2 - 2 x56 x64 + x57^2 - 2 x57 x65 + x64^2 + x65^2 >= -3.484990776969 e59: - 3.484990776969 b5 - 3.484990776969 b8 + x58^2 - 2 x58 x64 + x59^2 - 2 x59 x65 + x64^2 + x65^2 >= -3.484990776969 e60: - 5.6664469849 b6 - 5.6664469849 b8 + x60^2 - 2 x60 x64 + x61^2 - 2 x61 x65 + x64^2 + x65^2 >= -5.6664469849 e61: - 5.6664469849 b7 - 5.6664469849 b8 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -5.6664469849 e62: - 9.2934741904 b8 - 9.2934741904 b9 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -9.2934741904 e63: - 11.9466318321 b8 - 11.9466318321 b10 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -11.9466318321 e64: - 11.9466318321 b8 - 11.9466318321 b11 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -11.9466318321 e65: - 4.509770398884 b2 - 4.509770398884 b9 + x52^2 - 2 x52 x66 + x53^2 - 2 x53 x67 + x66^2 + x67^2 >= -4.509770398884 e66: - 4.509770398884 b3 - 4.509770398884 b9 + x54^2 - 2 x54 x66 + x55^2 - 2 x55 x67 + x66^2 + x67^2 >= -4.509770398884 e67: - 3.484990776969 b4 - 3.484990776969 b9 + x56^2 - 2 x56 x66 + x57^2 - 2 x57 x67 + x66^2 + x67^2 >= -3.484990776969 e68: - 3.484990776969 b5 - 3.484990776969 b9 + x58^2 - 2 x58 x66 + x59^2 - 2 x59 x67 + x66^2 + x67^2 >= -3.484990776969 e69: - 5.6664469849 b6 - 5.6664469849 b9 + x60^2 - 2 x60 x66 + x61^2 - 2 x61 x67 + x66^2 + x67^2 >= -5.6664469849 e70: - 5.6664469849 b7 - 5.6664469849 b9 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -5.6664469849 e71: - 9.2934741904 b8 - 9.2934741904 b9 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -9.2934741904 e72: - 11.9466318321 b9 - 11.9466318321 b10 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -11.9466318321 e73: - 11.9466318321 b9 - 11.9466318321 b11 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -11.9466318321 e74: - 6.408451746064 b2 - 6.408451746064 b10 + x52^2 - 2 x52 x68 + x53^2 - 2 x53 x69 + x68^2 + x69^2 >= -6.408451746064 e75: - 6.408451746064 b3 - 6.408451746064 b10 + x54^2 - 2 x54 x68 + x55^2 - 2 x55 x69 + x68^2 + x69^2 >= -6.408451746064 e76: - 5.174182750489 b4 - 5.174182750489 b10 + x56^2 - 2 x56 x68 + x57^2 - 2 x57 x69 + x68^2 + x69^2 >= -5.174182750489 e77: - 5.174182750489 b5 - 5.174182750489 b10 + x58^2 - 2 x58 x68 + x59^2 - 2 x59 x69 + x68^2 + x69^2 >= -5.174182750489 e78: - 7.77461689 b6 - 7.77461689 b10 + x60^2 - 2 x60 x68 + x61^2 - 2 x61 x69 + x68^2 + x69^2 >= -7.77461689 e79: - 7.77461689 b7 - 7.77461689 b10 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 >= -7.77461689 e80: - 11.9466318321 b8 - 11.9466318321 b10 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 >= -11.9466318321 e81: - 11.9466318321 b9 - 11.9466318321 b10 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 >= -11.9466318321 e82: - 14.9325053476 b10 - 14.9325053476 b11 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -14.9325053476 e83: - 6.408451746064 b2 - 6.408451746064 b11 + x52^2 - 2 x52 x70 + x53^2 - 2 x53 x71 + x70^2 + x71^2 >= -6.408451746064 e84: - 6.408451746064 b3 - 6.408451746064 b11 + x54^2 - 2 x54 x70 + x55^2 - 2 x55 x71 + x70^2 + x71^2 >= -6.408451746064 e85: - 5.174182750489 b4 - 5.174182750489 b11 + x56^2 - 2 x56 x70 + x57^2 - 2 x57 x71 + x70^2 + x71^2 >= -5.174182750489 e86: - 5.174182750489 b5 - 5.174182750489 b11 + x58^2 - 2 x58 x70 + x59^2 - 2 x59 x71 + x70^2 + x71^2 >= -5.174182750489 e87: - 7.77461689 b6 - 7.77461689 b11 + x60^2 - 2 x60 x70 + x61^2 - 2 x61 x71 + x70^2 + x71^2 >= -7.77461689 e88: - 7.77461689 b7 - 7.77461689 b11 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 >= -7.77461689 e89: - 11.9466318321 b8 - 11.9466318321 b11 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 >= -11.9466318321 e90: - 11.9466318321 b9 - 11.9466318321 b11 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 >= -11.9466318321 e91: - 14.9325053476 b10 - 14.9325053476 b11 + x68^2 - 2 x68 x70 + x69^2 - 2 x69 x71 + x70^2 + x71^2 >= -14.9325053476 e92: - .469370231236 b24 - .469370231236 b32 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e93: - .469370231236 b24 - .469370231236 b32 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e94: - .469370231236 b25 - .469370231236 b33 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e95: - .469370231236 b25 - .469370231236 b33 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e96: - 1.436939228176 b12 - 1.436939228176 b18 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e97: - .887203867225 b12 - .887203867225 b26 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e98: - .887203867225 b12 - .887203867225 b34 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e99: - 1.436939228176 b12 - 1.436939228176 b18 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e100: - .887203867225 b18 - .887203867225 b26 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e101: - .887203867225 b18 - .887203867225 b34 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e102: - .887203867225 b12 - .887203867225 b26 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e103: - .887203867225 b18 - .887203867225 b26 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e104: - .469370231236 b26 - .469370231236 b34 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e105: - .887203867225 b12 - .887203867225 b34 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e106: - .887203867225 b18 - .887203867225 b34 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e107: - .469370231236 b26 - .469370231236 b34 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e108: - 1.436939228176 b13 - 1.436939228176 b19 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e109: - .887203867225 b13 - .887203867225 b27 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e110: - .887203867225 b13 - .887203867225 b35 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e111: - 1.436939228176 b13 - 1.436939228176 b19 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e112: - .887203867225 b19 - .887203867225 b27 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e113: - .887203867225 b19 - .887203867225 b35 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e114: - .887203867225 b13 - .887203867225 b27 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e115: - .887203867225 b19 - .887203867225 b27 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e116: - .469370231236 b27 - .469370231236 b35 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e117: - .887203867225 b13 - .887203867225 b35 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e118: - .887203867225 b19 - .887203867225 b35 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e119: - .469370231236 b27 - .469370231236 b35 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e120: - 1.436939228176 b14 - 1.436939228176 b20 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e121: - .887203867225 b14 - .887203867225 b28 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e122: - .887203867225 b14 - .887203867225 b36 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e123: - 2.118573403024 b14 - 2.118573403024 b40 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e124: - 2.118573403024 b14 - 2.118573403024 b44 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e125: - 1.436939228176 b14 - 1.436939228176 b20 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e126: - .887203867225 b20 - .887203867225 b28 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e127: - .887203867225 b20 - .887203867225 b36 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e128: - 2.118573403024 b20 - 2.118573403024 b40 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e129: - 2.118573403024 b20 - 2.118573403024 b44 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e130: - .887203867225 b14 - .887203867225 b28 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e131: - .887203867225 b20 - .887203867225 b28 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e132: - .469370231236 b28 - .469370231236 b36 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e133: - 1.436936830729 b28 - 1.436936830729 b40 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e134: - 1.436936830729 b28 - 1.436936830729 b44 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e135: - .887203867225 b14 - .887203867225 b36 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e136: - .887203867225 b20 - .887203867225 b36 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e137: - .469370231236 b28 - .469370231236 b36 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e138: - 1.436936830729 b36 - 1.436936830729 b40 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e139: - 1.436936830729 b36 - 1.436936830729 b44 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e140: - 2.118573403024 b14 - 2.118573403024 b40 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e141: - 2.118573403024 b20 - 2.118573403024 b40 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e142: - 1.436936830729 b28 - 1.436936830729 b40 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e143: - 1.436936830729 b36 - 1.436936830729 b40 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e144: - 2.9321082756 b40 - 2.9321082756 b44 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e145: - 2.118573403024 b14 - 2.118573403024 b44 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e146: - 2.118573403024 b20 - 2.118573403024 b44 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e147: - 1.436936830729 b28 - 1.436936830729 b44 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e148: - 1.436936830729 b36 - 1.436936830729 b44 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e149: - 2.9321082756 b40 - 2.9321082756 b44 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e150: - 1.436939228176 b15 - 1.436939228176 b21 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e151: - .887203867225 b15 - .887203867225 b29 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e152: - .887203867225 b15 - .887203867225 b37 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e153: - 2.118573403024 b15 - 2.118573403024 b41 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e154: - 2.118573403024 b15 - 2.118573403024 b45 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e155: - 1.436939228176 b15 - 1.436939228176 b21 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e156: - .887203867225 b21 - .887203867225 b29 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e157: - .887203867225 b21 - .887203867225 b37 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e158: - 2.118573403024 b21 - 2.118573403024 b41 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e159: - 2.118573403024 b21 - 2.118573403024 b45 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e160: - .887203867225 b15 - .887203867225 b29 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e161: - .887203867225 b21 - .887203867225 b29 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e162: - .469370231236 b29 - .469370231236 b37 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e163: - 1.436936830729 b29 - 1.436936830729 b41 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e164: - 1.436936830729 b29 - 1.436936830729 b45 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e165: - .887203867225 b15 - .887203867225 b37 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e166: - .887203867225 b21 - .887203867225 b37 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e167: - .469370231236 b29 - .469370231236 b37 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e168: - 1.436936830729 b37 - 1.436936830729 b41 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e169: - 1.436936830729 b37 - 1.436936830729 b45 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e170: - 2.118573403024 b15 - 2.118573403024 b41 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e171: - 2.118573403024 b21 - 2.118573403024 b41 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e172: - 1.436936830729 b29 - 1.436936830729 b41 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e173: - 1.436936830729 b37 - 1.436936830729 b41 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e174: - 2.9321082756 b41 - 2.9321082756 b45 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e175: - 2.118573403024 b15 - 2.118573403024 b45 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e176: - 2.118573403024 b21 - 2.118573403024 b45 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e177: - 1.436936830729 b29 - 1.436936830729 b45 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e178: - 1.436936830729 b37 - 1.436936830729 b45 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e179: - 2.9321082756 b41 - 2.9321082756 b45 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e180: - 1.436939228176 b16 - 1.436939228176 b22 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e181: - .887203867225 b16 - .887203867225 b30 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e182: - .887203867225 b16 - .887203867225 b38 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e183: - 2.118573403024 b16 - 2.118573403024 b42 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e184: - 2.118573403024 b16 - 2.118573403024 b46 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e185: - 4.509770398884 b16 - 4.509770398884 b48 + x52^2 - 2 x52 x64 + x53^2 - 2 x53 x65 + x64^2 + x65^2 >= -4.509770398884 e186: - 4.509770398884 b16 - 4.509770398884 b50 + x52^2 - 2 x52 x66 + x53^2 - 2 x53 x67 + x66^2 + x67^2 >= -4.509770398884 e187: - 1.436939228176 b16 - 1.436939228176 b22 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e188: - .887203867225 b22 - .887203867225 b30 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e189: - .887203867225 b22 - .887203867225 b38 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e190: - 2.118573403024 b22 - 2.118573403024 b42 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e191: - 2.118573403024 b22 - 2.118573403024 b46 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e192: - 4.509770398884 b22 - 4.509770398884 b48 + x54^2 - 2 x54 x64 + x55^2 - 2 x55 x65 + x64^2 + x65^2 >= -4.509770398884 e193: - 4.509770398884 b22 - 4.509770398884 b50 + x54^2 - 2 x54 x66 + x55^2 - 2 x55 x67 + x66^2 + x67^2 >= -4.509770398884 e194: - .887203867225 b16 - .887203867225 b30 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e195: - .887203867225 b22 - .887203867225 b30 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e196: - .469370231236 b30 - .469370231236 b38 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e197: - 1.436936830729 b30 - 1.436936830729 b42 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e198: - 1.436936830729 b30 - 1.436936830729 b46 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e199: - 3.484990776969 b30 - 3.484990776969 b48 + x56^2 - 2 x56 x64 + x57^2 - 2 x57 x65 + x64^2 + x65^2 >= -3.484990776969 e200: - 3.484990776969 b30 - 3.484990776969 b50 + x56^2 - 2 x56 x66 + x57^2 - 2 x57 x67 + x66^2 + x67^2 >= -3.484990776969 e201: - .887203867225 b16 - .887203867225 b38 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e202: - .887203867225 b22 - .887203867225 b38 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e203: - .469370231236 b30 - .469370231236 b38 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e204: - 1.436936830729 b38 - 1.436936830729 b42 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e205: - 1.436936830729 b38 - 1.436936830729 b46 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e206: - 3.484990776969 b38 - 3.484990776969 b48 + x58^2 - 2 x58 x64 + x59^2 - 2 x59 x65 + x64^2 + x65^2 >= -3.484990776969 e207: - 3.484990776969 b38 - 3.484990776969 b50 + x58^2 - 2 x58 x66 + x59^2 - 2 x59 x67 + x66^2 + x67^2 >= -3.484990776969 e208: - 2.118573403024 b16 - 2.118573403024 b42 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e209: - 2.118573403024 b22 - 2.118573403024 b42 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e210: - 1.436936830729 b30 - 1.436936830729 b42 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e211: - 1.436936830729 b38 - 1.436936830729 b42 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e212: - 2.9321082756 b42 - 2.9321082756 b46 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e213: - 5.6664469849 b42 - 5.6664469849 b48 + x60^2 - 2 x60 x64 + x61^2 - 2 x61 x65 + x64^2 + x65^2 >= -5.6664469849 e214: - 5.6664469849 b42 - 5.6664469849 b50 + x60^2 - 2 x60 x66 + x61^2 - 2 x61 x67 + x66^2 + x67^2 >= -5.6664469849 e215: - 2.118573403024 b16 - 2.118573403024 b46 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e216: - 2.118573403024 b22 - 2.118573403024 b46 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e217: - 1.436936830729 b30 - 1.436936830729 b46 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e218: - 1.436936830729 b38 - 1.436936830729 b46 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e219: - 2.9321082756 b42 - 2.9321082756 b46 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e220: - 5.6664469849 b46 - 5.6664469849 b48 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -5.6664469849 e221: - 5.6664469849 b46 - 5.6664469849 b50 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -5.6664469849 e222: - 4.509770398884 b16 - 4.509770398884 b48 + x52^2 - 2 x52 x64 + x53^2 - 2 x53 x65 + x64^2 + x65^2 >= -4.509770398884 e223: - 4.509770398884 b22 - 4.509770398884 b48 + x54^2 - 2 x54 x64 + x55^2 - 2 x55 x65 + x64^2 + x65^2 >= -4.509770398884 e224: - 3.484990776969 b30 - 3.484990776969 b48 + x56^2 - 2 x56 x64 + x57^2 - 2 x57 x65 + x64^2 + x65^2 >= -3.484990776969 e225: - 3.484990776969 b38 - 3.484990776969 b48 + x58^2 - 2 x58 x64 + x59^2 - 2 x59 x65 + x64^2 + x65^2 >= -3.484990776969 e226: - 5.6664469849 b42 - 5.6664469849 b48 + x60^2 - 2 x60 x64 + x61^2 - 2 x61 x65 + x64^2 + x65^2 >= -5.6664469849 e227: - 5.6664469849 b46 - 5.6664469849 b48 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -5.6664469849 e228: - 9.2934741904 b48 - 9.2934741904 b50 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -9.2934741904 e229: - 4.509770398884 b16 - 4.509770398884 b50 + x52^2 - 2 x52 x66 + x53^2 - 2 x53 x67 + x66^2 + x67^2 >= -4.509770398884 e230: - 4.509770398884 b22 - 4.509770398884 b50 + x54^2 - 2 x54 x66 + x55^2 - 2 x55 x67 + x66^2 + x67^2 >= -4.509770398884 e231: - 3.484990776969 b30 - 3.484990776969 b50 + x56^2 - 2 x56 x66 + x57^2 - 2 x57 x67 + x66^2 + x67^2 >= -3.484990776969 e232: - 3.484990776969 b38 - 3.484990776969 b50 + x58^2 - 2 x58 x66 + x59^2 - 2 x59 x67 + x66^2 + x67^2 >= -3.484990776969 e233: - 5.6664469849 b42 - 5.6664469849 b50 + x60^2 - 2 x60 x66 + x61^2 - 2 x61 x67 + x66^2 + x67^2 >= -5.6664469849 e234: - 5.6664469849 b46 - 5.6664469849 b50 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -5.6664469849 e235: - 9.2934741904 b48 - 9.2934741904 b50 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -9.2934741904 e236: - 1.436939228176 b17 - 1.436939228176 b23 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e237: - .887203867225 b17 - .887203867225 b31 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e238: - .887203867225 b17 - .887203867225 b39 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e239: - 2.118573403024 b17 - 2.118573403024 b43 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e240: - 2.118573403024 b17 - 2.118573403024 b47 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e241: - 4.509770398884 b17 - 4.509770398884 b49 + x52^2 - 2 x52 x64 + x53^2 - 2 x53 x65 + x64^2 + x65^2 >= -4.509770398884 e242: - 4.509770398884 b17 - 4.509770398884 b51 + x52^2 - 2 x52 x66 + x53^2 - 2 x53 x67 + x66^2 + x67^2 >= -4.509770398884 e243: - 1.436939228176 b17 - 1.436939228176 b23 + x52^2 - 2 x52 x54 + x53^2 - 2 x53 x55 + x54^2 + x55^2 >= -1.436939228176 e244: - .887203867225 b23 - .887203867225 b31 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e245: - .887203867225 b23 - .887203867225 b39 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e246: - 2.118573403024 b23 - 2.118573403024 b43 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e247: - 2.118573403024 b23 - 2.118573403024 b47 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e248: - 4.509770398884 b23 - 4.509770398884 b49 + x54^2 - 2 x54 x64 + x55^2 - 2 x55 x65 + x64^2 + x65^2 >= -4.509770398884 e249: - 4.509770398884 b23 - 4.509770398884 b51 + x54^2 - 2 x54 x66 + x55^2 - 2 x55 x67 + x66^2 + x67^2 >= -4.509770398884 e250: - .887203867225 b17 - .887203867225 b31 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 >= -.887203867225 e251: - .887203867225 b23 - .887203867225 b31 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 >= -.887203867225 e252: - .469370231236 b31 - .469370231236 b39 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e253: - 1.436936830729 b31 - 1.436936830729 b43 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e254: - 1.436936830729 b31 - 1.436936830729 b47 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e255: - 3.484990776969 b31 - 3.484990776969 b49 + x56^2 - 2 x56 x64 + x57^2 - 2 x57 x65 + x64^2 + x65^2 >= -3.484990776969 e256: - 3.484990776969 b31 - 3.484990776969 b51 + x56^2 - 2 x56 x66 + x57^2 - 2 x57 x67 + x66^2 + x67^2 >= -3.484990776969 e257: - .887203867225 b17 - .887203867225 b39 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 >= -.887203867225 e258: - .887203867225 b23 - .887203867225 b39 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 >= -.887203867225 e259: - .469370231236 b31 - .469370231236 b39 + x56^2 - 2 x56 x58 + x57^2 - 2 x57 x59 + x58^2 + x59^2 >= -.469370231236 e260: - 1.436936830729 b39 - 1.436936830729 b43 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e261: - 1.436936830729 b39 - 1.436936830729 b47 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e262: - 3.484990776969 b39 - 3.484990776969 b49 + x58^2 - 2 x58 x64 + x59^2 - 2 x59 x65 + x64^2 + x65^2 >= -3.484990776969 e263: - 3.484990776969 b39 - 3.484990776969 b51 + x58^2 - 2 x58 x66 + x59^2 - 2 x59 x67 + x66^2 + x67^2 >= -3.484990776969 e264: - 2.118573403024 b17 - 2.118573403024 b43 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 >= -2.118573403024 e265: - 2.118573403024 b23 - 2.118573403024 b43 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 >= -2.118573403024 e266: - 1.436936830729 b31 - 1.436936830729 b43 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 >= -1.436936830729 e267: - 1.436936830729 b39 - 1.436936830729 b43 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 >= -1.436936830729 e268: - 2.9321082756 b43 - 2.9321082756 b47 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e269: - 5.6664469849 b43 - 5.6664469849 b49 + x60^2 - 2 x60 x64 + x61^2 - 2 x61 x65 + x64^2 + x65^2 >= -5.6664469849 e270: - 5.6664469849 b43 - 5.6664469849 b51 + x60^2 - 2 x60 x66 + x61^2 - 2 x61 x67 + x66^2 + x67^2 >= -5.6664469849 e271: - 2.118573403024 b17 - 2.118573403024 b47 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 >= -2.118573403024 e272: - 2.118573403024 b23 - 2.118573403024 b47 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 >= -2.118573403024 e273: - 1.436936830729 b31 - 1.436936830729 b47 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 >= -1.436936830729 e274: - 1.436936830729 b39 - 1.436936830729 b47 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 >= -1.436936830729 e275: - 2.9321082756 b43 - 2.9321082756 b47 + x60^2 - 2 x60 x62 + x61^2 - 2 x61 x63 + x62^2 + x63^2 >= -2.9321082756 e276: - 5.6664469849 b47 - 5.6664469849 b49 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -5.6664469849 e277: - 5.6664469849 b47 - 5.6664469849 b51 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -5.6664469849 e278: - 4.509770398884 b17 - 4.509770398884 b49 + x52^2 - 2 x52 x64 + x53^2 - 2 x53 x65 + x64^2 + x65^2 >= -4.509770398884 e279: - 4.509770398884 b23 - 4.509770398884 b49 + x54^2 - 2 x54 x64 + x55^2 - 2 x55 x65 + x64^2 + x65^2 >= -4.509770398884 e280: - 3.484990776969 b31 - 3.484990776969 b49 + x56^2 - 2 x56 x64 + x57^2 - 2 x57 x65 + x64^2 + x65^2 >= -3.484990776969 e281: - 3.484990776969 b39 - 3.484990776969 b49 + x58^2 - 2 x58 x64 + x59^2 - 2 x59 x65 + x64^2 + x65^2 >= -3.484990776969 e282: - 5.6664469849 b43 - 5.6664469849 b49 + x60^2 - 2 x60 x64 + x61^2 - 2 x61 x65 + x64^2 + x65^2 >= -5.6664469849 e283: - 5.6664469849 b47 - 5.6664469849 b49 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 >= -5.6664469849 e284: - 9.2934741904 b49 - 9.2934741904 b51 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -9.2934741904 e285: - 4.509770398884 b17 - 4.509770398884 b51 + x52^2 - 2 x52 x66 + x53^2 - 2 x53 x67 + x66^2 + x67^2 >= -4.509770398884 e286: - 4.509770398884 b23 - 4.509770398884 b51 + x54^2 - 2 x54 x66 + x55^2 - 2 x55 x67 + x66^2 + x67^2 >= -4.509770398884 e287: - 3.484990776969 b31 - 3.484990776969 b51 + x56^2 - 2 x56 x66 + x57^2 - 2 x57 x67 + x66^2 + x67^2 >= -3.484990776969 e288: - 3.484990776969 b39 - 3.484990776969 b51 + x58^2 - 2 x58 x66 + x59^2 - 2 x59 x67 + x66^2 + x67^2 >= -3.484990776969 e289: - 5.6664469849 b43 - 5.6664469849 b51 + x60^2 - 2 x60 x66 + x61^2 - 2 x61 x67 + x66^2 + x67^2 >= -5.6664469849 e290: - 5.6664469849 b47 - 5.6664469849 b51 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 >= -5.6664469849 e291: - 9.2934741904 b49 - 9.2934741904 b51 + x64^2 - 2 x64 x66 + x65^2 - 2 x65 x67 + x66^2 + x67^2 >= -9.2934741904 e292: 146.015866806048 b12 + x52^2 - 2 x52 x60 + x53^2 - 2 x53 x61 + x60^2 + x61^2 <= 146.035526210992 e293: 146.015866806048 b13 + x52^2 - 2 x52 x62 + x53^2 - 2 x53 x63 + x62^2 + x63^2 <= 146.035526210992 e294: 124.074660797768 b14 + x52^2 - 2 x52 x64 + x53^2 - 2 x53 x65 + x64^2 + x65^2 <= 124.688044241112 e295: 124.074660797768 b15 + x52^2 - 2 x52 x66 + x53^2 - 2 x53 x67 + x66^2 + x67^2 <= 124.688044241112 e296: 111.557223492128 b16 + x52^2 - 2 x52 x68 + x53^2 - 2 x53 x69 + x68^2 + x69^2 <= 112.885590384432 e297: 111.557223492128 b17 + x52^2 - 2 x52 x70 + x53^2 - 2 x53 x71 + x70^2 + x71^2 <= 112.885590384432 e298: 146.015866806048 b18 + x54^2 - 2 x54 x60 + x55^2 - 2 x55 x61 + x60^2 + x61^2 <= 146.035526210992 e299: 146.015866806048 b19 + x54^2 - 2 x54 x62 + x55^2 - 2 x55 x63 + x62^2 + x63^2 <= 146.035526210992 e300: 124.074660797768 b20 + x54^2 - 2 x54 x64 + x55^2 - 2 x55 x65 + x64^2 + x65^2 <= 124.688044241112 e301: 124.074660797768 b21 + x54^2 - 2 x54 x66 + x55^2 - 2 x55 x67 + x66^2 + x67^2 <= 124.688044241112 e302: 111.557223492128 b22 + x54^2 - 2 x54 x68 + x55^2 - 2 x55 x69 + x68^2 + x69^2 <= 112.885590384432 e303: 111.557223492128 b23 + x54^2 - 2 x54 x70 + x55^2 - 2 x55 x71 + x70^2 + x71^2 <= 112.885590384432 e304: 164.09780773445 b24 + x52^2 - 2 x52 x56 + x53^2 - 2 x53 x57 + x56^2 + x57^2 <= 164.128395645686 e305: 164.09780773445 b25 + x54^2 - 2 x54 x56 + x55^2 - 2 x55 x57 + x56^2 + x57^2 <= 164.128395645686 e306: 154.924953661458 b26 + x56^2 - 2 x56 x60 + x57^2 - 2 x57 x61 + x60^2 + x61^2 <= 155.082579335899 e307: 154.924953661458 b27 + x56^2 - 2 x56 x62 + x57^2 - 2 x57 x63 + x62^2 + x63^2 <= 155.082579335899 e308: 132.297461553938 b28 + x56^2 - 2 x56 x64 + x57^2 - 2 x57 x65 + x64^2 + x65^2 <= 133.379055313947 e309: 132.297461553938 b29 + x56^2 - 2 x56 x66 + x57^2 - 2 x57 x67 + x66^2 + x67^2 <= 133.379055313947 e310: 119.361045500978 b30 + x56^2 - 2 x56 x68 + x57^2 - 2 x57 x69 + x68^2 + x69^2 <= 121.347332654427 e311: 119.361045500978 b31 + x56^2 - 2 x56 x70 + x57^2 - 2 x57 x71 + x70^2 + x71^2 <= 121.347332654427 e312: 164.09780773445 b32 + x52^2 - 2 x52 x58 + x53^2 - 2 x53 x59 + x58^2 + x59^2 <= 164.128395645686 e313: 164.09780773445 b33 + x54^2 - 2 x54 x58 + x55^2 - 2 x55 x59 + x58^2 + x59^2 <= 164.128395645686 e314: 154.924953661458 b34 + x58^2 - 2 x58 x60 + x59^2 - 2 x59 x61 + x60^2 + x61^2 <= 155.082579335899 e315: 154.924953661458 b35 + x58^2 - 2 x58 x62 + x59^2 - 2 x59 x63 + x62^2 + x63^2 <= 155.082579335899 e316: 132.297461553938 b36 + x58^2 - 2 x58 x64 + x59^2 - 2 x59 x65 + x64^2 + x65^2 <= 133.379055313947 e317: 132.297461553938 b37 + x58^2 - 2 x58 x66 + x59^2 - 2 x59 x67 + x66^2 + x67^2 <= 133.379055313947 e318: 119.361045500978 b38 + x58^2 - 2 x58 x68 + x59^2 - 2 x59 x69 + x68^2 + x69^2 <= 121.347332654427 e319: 119.361045500978 b39 + x58^2 - 2 x58 x70 + x59^2 - 2 x59 x71 + x70^2 + x71^2 <= 121.347332654427 e320: 116.1156939698 b40 + x60^2 - 2 x60 x64 + x61^2 - 2 x61 x65 + x64^2 + x65^2 <= 116.3927698742 e321: 116.1156939698 b41 + x60^2 - 2 x60 x66 + x61^2 - 2 x61 x67 + x66^2 + x67^2 <= 116.3927698742 e322: 104.01723378 b42 + x60^2 - 2 x60 x68 + x61^2 - 2 x61 x69 + x68^2 + x69^2 <= 104.8195839276 e323: 104.01723378 b43 + x60^2 - 2 x60 x70 + x61^2 - 2 x61 x71 + x70^2 + x71^2 <= 104.8195839276 e324: 116.1156939698 b44 + x62^2 - 2 x62 x64 + x63^2 - 2 x63 x65 + x64^2 + x65^2 <= 116.3927698742 e325: 116.1156939698 b45 + x62^2 - 2 x62 x66 + x63^2 - 2 x63 x67 + x66^2 + x67^2 <= 116.3927698742 e326: 104.01723378 b46 + x62^2 - 2 x62 x68 + x63^2 - 2 x63 x69 + x68^2 + x69^2 <= 104.8195839276 e327: 104.01723378 b47 + x62^2 - 2 x62 x70 + x63^2 - 2 x63 x71 + x70^2 + x71^2 <= 104.8195839276 e328: 85.6376636642 b48 + x64^2 - 2 x64 x68 + x65^2 - 2 x65 x69 + x68^2 + x69^2 <= 85.6894881867 e329: 85.6376636642 b49 + x64^2 - 2 x64 x70 + x65^2 - 2 x65 x71 + x70^2 + x71^2 <= 85.6894881867 e330: 85.6376636642 b50 + x66^2 - 2 x66 x68 + x67^2 - 2 x67 x69 + x68^2 + x69^2 <= 85.6894881867 e331: 85.6376636642 b51 + x66^2 - 2 x66 x70 + x67^2 - 2 x67 x71 + x70^2 + x71^2 <= 85.6894881867 e332: b2 + b12 + b13 + b14 + b15 + b16 + b17 <= 1 e333: b3 + b18 + b19 + b20 + b21 + b22 + b23 <= 1 e334: b4 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 <= 1 e335: b5 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 <= 1 e336: b6 + b40 + b41 + b42 + b43 <= 1 e337: b7 + b44 + b45 + b46 + b47 <= 1 e338: b8 + b48 + b49 <= 1 e339: b9 + b50 + b51 <= 1 e340: b10 <= 1 e341: b11 <= 1 e342: - b6 + b12 <= 0 e343: - b7 + b13 <= 0 e344: - b8 + b14 <= 0 e345: - b9 + b15 <= 0 e346: - b10 + b16 <= 0 e347: - b11 + b17 <= 0 e348: - b6 + b18 <= 0 e349: - b7 + b19 <= 0 e350: - b8 + b20 <= 0 e351: - b9 + b21 <= 0 e352: - b10 + b22 <= 0 e353: - b11 + b23 <= 0 e354: - b2 + b24 <= 0 e355: - b3 + b25 <= 0 e356: - b6 + b26 <= 0 e357: - b7 + b27 <= 0 e358: - b8 + b28 <= 0 e359: - b9 + b29 <= 0 e360: - b10 + b30 <= 0 e361: - b11 + b31 <= 0 e362: - b2 + b32 <= 0 e363: - b3 + b33 <= 0 e364: - b6 + b34 <= 0 e365: - b7 + b35 <= 0 e366: - b8 + b36 <= 0 e367: - b9 + b37 <= 0 e368: - b10 + b38 <= 0 e369: - b11 + b39 <= 0 e370: - b8 + b40 <= 0 e371: - b9 + b41 <= 0 e372: - b10 + b42 <= 0 e373: - b11 + b43 <= 0 e374: - b8 + b44 <= 0 e375: - b9 + b45 <= 0 e376: - b10 + b46 <= 0 e377: - b11 + b47 <= 0 e378: - b10 + b48 <= 0 e379: - b11 + b49 <= 0 e380: - b10 + b50 <= 0 e381: - b11 + b51 <= 0 e382: x52 - x54 <= 0 e383: x56 - x58 <= 0 e384: x60 - x62 <= 0 e385: x64 - x66 <= 0 e386: x68 - x70 <= 0 Bounds .599362 <= x52 <= 9.400638 .599362 <= x53 <= 9.400638 .599362 <= x54 <= 9.400638 .599362 <= x55 <= 9.400638 .342553 <= x56 <= 9.657447 .342553 <= x57 <= 9.657447 .342553 <= x58 <= 9.657447 .342553 <= x59 <= 9.657447 .85617 <= x60 <= 9.14383 .85617 <= x61 <= 9.14383 .85617 <= x62 <= 9.14383 .85617 <= x63 <= 9.14383 1.52426 <= x64 <= 8.47574 1.52426 <= x65 <= 8.47574 1.52426 <= x66 <= 8.47574 1.52426 <= x67 <= 8.47574 1.93213 <= x68 <= 8.06787 1.93213 <= x69 <= 8.06787 1.93213 <= x70 <= 8.06787 1.93213 <= x71 <= 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 End