\ Equation counts \ Total E G L N X C B \ 189 5 0 184 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 145 45 100 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 818 518 300 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 x101 + 0 x102 + x103 + 0 x104 + 0 x105 + x106 + 0 x107 + 0 x108 + x109 + 0 x110 + x111 + 0 x112 + x113 + 0 x114 + x115 + 0 x116 + x117 + 0 x118 + x119 + 0 x120 + x121 + 0 x122 + x123 + 0 x124 + x125 + 0 x126 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 Subject To e1: x101 - x102 - x103 <= 0 e2: - x101 + x102 - x103 <= 0 e3: x104 - x105 - x106 <= 0 e4: - x104 + x105 - x106 <= 0 e5: x107 - x108 - x109 <= 0 e6: - x107 + x108 - x109 <= 0 e7: x101 - x110 - x111 <= 0 e8: - x101 + x110 - x111 <= 0 e9: x104 - x112 - x113 <= 0 e10: - x104 + x112 - x113 <= 0 e11: x107 - x114 - x115 <= 0 e12: - x107 + x114 - x115 <= 0 e13: x101 - x116 - x117 <= 0 e14: - x101 + x116 - x117 <= 0 e15: x104 - x118 - x119 <= 0 e16: - x104 + x118 - x119 <= 0 e17: x107 - x120 - x121 <= 0 e18: - x107 + x120 - x121 <= 0 e19: x101 - x122 - x123 <= 0 e20: - x101 + x122 - x123 <= 0 e21: x104 - x124 - x125 <= 0 e22: - x104 + x124 - x125 <= 0 e23: x107 - x126 - x127 <= 0 e24: - x107 + x126 - x127 <= 0 e25: x102 - x110 - x128 <= 0 e26: - x102 + x110 - x128 <= 0 e27: x105 - x112 - x129 <= 0 e28: - x105 + x112 - x129 <= 0 e29: x108 - x114 - x130 <= 0 e30: - x108 + x114 - x130 <= 0 e31: x102 - x116 - x131 <= 0 e32: - x102 + x116 - x131 <= 0 e33: x105 - x118 - x132 <= 0 e34: - x105 + x118 - x132 <= 0 e35: x108 - x120 - x133 <= 0 e36: - x108 + x120 - x133 <= 0 e37: x102 - x122 - x134 <= 0 e38: - x102 + x122 - x134 <= 0 e39: x105 - x124 - x135 <= 0 e40: - x105 + x124 - x135 <= 0 e41: x108 - x126 - x136 <= 0 e42: - x108 + x126 - x136 <= 0 e43: x110 - x116 - x137 <= 0 e44: - x110 + x116 - x137 <= 0 e45: x112 - x118 - x138 <= 0 e46: - x112 + x118 - x138 <= 0 e47: x114 - x120 - x139 <= 0 e48: - x114 + x120 - x139 <= 0 e49: x110 - x122 - x140 <= 0 e50: - x110 + x122 - x140 <= 0 e51: x112 - x124 - x141 <= 0 e52: - x112 + x124 - x141 <= 0 e53: x114 - x126 - x142 <= 0 e54: - x114 + x126 - x142 <= 0 e55: x116 - x122 - x143 <= 0 e56: - x116 + x122 - x143 <= 0 e57: x118 - x124 - x144 <= 0 e58: - x118 + x124 - x144 <= 0 e59: x120 - x126 - x145 <= 0 e60: - x120 + x126 - x145 <= 0 e61: 188.522461227626 b1 - .966623714713646 x101 - .228484397013808 x104 - 14.24097767318064 x107 + x101^2 + x104^2 + x107^2 <= 138.57445832423724 e62: 98.8166159288294 b2 - 10.5180271580466 x101 - 14.66518379140784 x104 - 10.624666952686 x107 + x101^2 + x104^2 + x107^2 <= -9.828398768339355 e63: 167.849028003939 b3 - 14.83034092923758 x101 - 19.24665546196234 x104 - 9.59887796973618 x107 + x101^2 + x104^2 + x107^2 <= -1.7787762027587064 e64: 144.62434214578 b4 - 13.343687963606 x101 - 16.21316246518968 x104 - 16.86763378111054 x107 + x101^2 + x104^2 + x107^2 <= -35.73508659581515 e65: 188.522461227626 b5 - 18.11741150677356 x101 - 16.6623882433172 x104 - 4.87436666522358 x107 + x101^2 + x104^2 + x107^2 <= 32.11365321166372 e66: 119.618424440661 b6 - 4.90494784564384 x101 - 6.0898156282867 x104 - 7.49595746721568 x107 + x101^2 + x104^2 + x107^2 <= 91.28498791433161 e67: 128.282312211875 b7 - 6.34499771328414 x101 - 1.798029280597138 x104 - 13.07109539765276 x107 + x101^2 + x104^2 + x107^2 <= 75.6959521693738 e68: 108.45575250014 b8 - 14.38280948728376 x101 - 13.57505556013466 x104 - 14.20743835337734 x107 + x101^2 + x104^2 + x107^2 <= -38.79390919317504 e69: 163.557092366753 b9 - 1.163811198149444 x101 - 16.11329132617004 x104 - .93054167908105 x107 + x101^2 + x104^2 + x107^2 <= 99.09246194588509 e70: 101.809153524392 b10 - 5.78629313151952 x101 - 5.96701296867488 x104 - 9.88191372825328 x107 + x101^2 + x104^2 + x107^2 <= 61.124490798180794 e71: 135.200072571286 b11 - 4.36446362962954 x101 - 12.73468894503738 x104 - 13.98107111642844 x107 + x101^2 + x104^2 + x107^2 <= 42.02727385532452 e72: 168.474583620344 b12 - 16.7842660714369 x101 - .1932986986314078 x104 - 1.985301076294192 x107 + x101^2 + x104^2 + x107^2 <= 98.05199054354017 e73: 188.895677706624 b13 - 13.7347312427812 x101 - 16.94926418653084 x104 - .988079879027106 x107 + x101^2 + x104^2 + x107^2 <= 70.67150255072772 e74: 157.156134140441 b14 - 4.1466904537235 x101 - 1.22351884467417 x104 - 14.99744364798834 x107 + x101^2 + x104^2 + x107^2 <= 97.25229512622593 e75: 102.681819435286 b15 - 11.16575106706642 x101 - 14.82046375339236 x104 - 11.56372440251814 x107 + x101^2 + x104^2 + x107^2 <= -15.828146768390297 e76: 153.416411666872 b16 - 7.51327324983854 x101 - 4.32200114366072 x104 - 18.990852303427 x107 + x101^2 + x104^2 + x107^2 <= 45.47105166109134 e77: 100.651007858618 b17 - 8.08720808486142 x101 - 15.1807026732434 x104 - 7.43371702275356 x107 + x101^2 + x104^2 + x107^2 <= 13.871803599707178 e78: 188.895677706624 b18 - 2.90144875060524 x101 - 2.22840118881788 x104 - 18.85639768883168 x107 + x101^2 + x104^2 + x107^2 <= 97.65870007910142 e79: 168.474583620344 b19 - 16.89253258883396 x101 - 17.62421587454842 x104 - 18.53534083131514 x107 + x101^2 + x104^2 + x107^2 <= -65.40779192728598 e80: 126.464760843581 b20 - 9.48830510039826 x101 - 5.6388366256074 x104 - 3.53311070379594 x107 + x101^2 + x104^2 + x107^2 <= 93.88793999012788 e81: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 = 1 e82: 188.522461227626 b21 - .966623714713646 x102 - .228484397013808 x105 - 14.24097767318064 x108 + x102^2 + x105^2 + x108^2 <= 138.57445832423724 e83: 98.8166159288294 b22 - 10.5180271580466 x102 - 14.66518379140784 x105 - 10.624666952686 x108 + x102^2 + x105^2 + x108^2 <= -9.828398768339355 e84: 167.849028003939 b23 - 14.83034092923758 x102 - 19.24665546196234 x105 - 9.59887796973618 x108 + x102^2 + x105^2 + x108^2 <= -1.7787762027587064 e85: 144.62434214578 b24 - 13.343687963606 x102 - 16.21316246518968 x105 - 16.86763378111054 x108 + x102^2 + x105^2 + x108^2 <= -35.73508659581515 e86: 188.522461227626 b25 - 18.11741150677356 x102 - 16.6623882433172 x105 - 4.87436666522358 x108 + x102^2 + x105^2 + x108^2 <= 32.11365321166372 e87: 119.618424440661 b26 - 4.90494784564384 x102 - 6.0898156282867 x105 - 7.49595746721568 x108 + x102^2 + x105^2 + x108^2 <= 91.28498791433161 e88: 128.282312211875 b27 - 6.34499771328414 x102 - 1.798029280597138 x105 - 13.07109539765276 x108 + x102^2 + x105^2 + x108^2 <= 75.6959521693738 e89: 108.45575250014 b28 - 14.38280948728376 x102 - 13.57505556013466 x105 - 14.20743835337734 x108 + x102^2 + x105^2 + x108^2 <= -38.79390919317504 e90: 163.557092366753 b29 - 1.163811198149444 x102 - 16.11329132617004 x105 - .93054167908105 x108 + x102^2 + x105^2 + x108^2 <= 99.09246194588509 e91: 101.809153524392 b30 - 5.78629313151952 x102 - 5.96701296867488 x105 - 9.88191372825328 x108 + x102^2 + x105^2 + x108^2 <= 61.124490798180794 e92: 135.200072571286 b31 - 4.36446362962954 x102 - 12.73468894503738 x105 - 13.98107111642844 x108 + x102^2 + x105^2 + x108^2 <= 42.02727385532452 e93: 168.474583620344 b32 - 16.7842660714369 x102 - .1932986986314078 x105 - 1.985301076294192 x108 + x102^2 + x105^2 + x108^2 <= 98.05199054354017 e94: 188.895677706624 b33 - 13.7347312427812 x102 - 16.94926418653084 x105 - .988079879027106 x108 + x102^2 + x105^2 + x108^2 <= 70.67150255072772 e95: 157.156134140441 b34 - 4.1466904537235 x102 - 1.22351884467417 x105 - 14.99744364798834 x108 + x102^2 + x105^2 + x108^2 <= 97.25229512622593 e96: 102.681819435286 b35 - 11.16575106706642 x102 - 14.82046375339236 x105 - 11.56372440251814 x108 + x102^2 + x105^2 + x108^2 <= -15.828146768390297 e97: 153.416411666872 b36 - 7.51327324983854 x102 - 4.32200114366072 x105 - 18.990852303427 x108 + x102^2 + x105^2 + x108^2 <= 45.47105166109134 e98: 100.651007858618 b37 - 8.08720808486142 x102 - 15.1807026732434 x105 - 7.43371702275356 x108 + x102^2 + x105^2 + x108^2 <= 13.871803599707178 e99: 188.895677706624 b38 - 2.90144875060524 x102 - 2.22840118881788 x105 - 18.85639768883168 x108 + x102^2 + x105^2 + x108^2 <= 97.65870007910142 e100: 168.474583620344 b39 - 16.89253258883396 x102 - 17.62421587454842 x105 - 18.53534083131514 x108 + x102^2 + x105^2 + x108^2 <= -65.40779192728598 e101: 126.464760843581 b40 - 9.48830510039826 x102 - 5.6388366256074 x105 - 3.53311070379594 x108 + x102^2 + x105^2 + x108^2 <= 93.88793999012788 e102: b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1 e103: 188.522461227626 b41 - .966623714713646 x110 - .228484397013808 x112 - 14.24097767318064 x114 + x110^2 + x112^2 + x114^2 <= 138.57445832423724 e104: 98.8166159288294 b42 - 10.5180271580466 x110 - 14.66518379140784 x112 - 10.624666952686 x114 + x110^2 + x112^2 + x114^2 <= -9.828398768339355 e105: 167.849028003939 b43 - 14.83034092923758 x110 - 19.24665546196234 x112 - 9.59887796973618 x114 + x110^2 + x112^2 + x114^2 <= -1.7787762027587064 e106: 144.62434214578 b44 - 13.343687963606 x110 - 16.21316246518968 x112 - 16.86763378111054 x114 + x110^2 + x112^2 + x114^2 <= -35.73508659581515 e107: 188.522461227626 b45 - 18.11741150677356 x110 - 16.6623882433172 x112 - 4.87436666522358 x114 + x110^2 + x112^2 + x114^2 <= 32.11365321166372 e108: 119.618424440661 b46 - 4.90494784564384 x110 - 6.0898156282867 x112 - 7.49595746721568 x114 + x110^2 + x112^2 + x114^2 <= 91.28498791433161 e109: 128.282312211875 b47 - 6.34499771328414 x110 - 1.798029280597138 x112 - 13.07109539765276 x114 + x110^2 + x112^2 + x114^2 <= 75.6959521693738 e110: 108.45575250014 b48 - 14.38280948728376 x110 - 13.57505556013466 x112 - 14.20743835337734 x114 + x110^2 + x112^2 + x114^2 <= -38.79390919317504 e111: 163.557092366753 b49 - 1.163811198149444 x110 - 16.11329132617004 x112 - .93054167908105 x114 + x110^2 + x112^2 + x114^2 <= 99.09246194588509 e112: 101.809153524392 b50 - 5.78629313151952 x110 - 5.96701296867488 x112 - 9.88191372825328 x114 + x110^2 + x112^2 + x114^2 <= 61.124490798180794 e113: 135.200072571286 b51 - 4.36446362962954 x110 - 12.73468894503738 x112 - 13.98107111642844 x114 + x110^2 + x112^2 + x114^2 <= 42.02727385532452 e114: 168.474583620344 b52 - 16.7842660714369 x110 - .1932986986314078 x112 - 1.985301076294192 x114 + x110^2 + x112^2 + x114^2 <= 98.05199054354017 e115: 188.895677706624 b53 - 13.7347312427812 x110 - 16.94926418653084 x112 - .988079879027106 x114 + x110^2 + x112^2 + x114^2 <= 70.67150255072772 e116: 157.156134140441 b54 - 4.1466904537235 x110 - 1.22351884467417 x112 - 14.99744364798834 x114 + x110^2 + x112^2 + x114^2 <= 97.25229512622593 e117: 102.681819435286 b55 - 11.16575106706642 x110 - 14.82046375339236 x112 - 11.56372440251814 x114 + x110^2 + x112^2 + x114^2 <= -15.828146768390297 e118: 153.416411666872 b56 - 7.51327324983854 x110 - 4.32200114366072 x112 - 18.990852303427 x114 + x110^2 + x112^2 + x114^2 <= 45.47105166109134 e119: 100.651007858618 b57 - 8.08720808486142 x110 - 15.1807026732434 x112 - 7.43371702275356 x114 + x110^2 + x112^2 + x114^2 <= 13.871803599707178 e120: 188.895677706624 b58 - 2.90144875060524 x110 - 2.22840118881788 x112 - 18.85639768883168 x114 + x110^2 + x112^2 + x114^2 <= 97.65870007910142 e121: 168.474583620344 b59 - 16.89253258883396 x110 - 17.62421587454842 x112 - 18.53534083131514 x114 + x110^2 + x112^2 + x114^2 <= -65.40779192728598 e122: 126.464760843581 b60 - 9.48830510039826 x110 - 5.6388366256074 x112 - 3.53311070379594 x114 + x110^2 + x112^2 + x114^2 <= 93.88793999012788 e123: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 e124: 188.522461227626 b61 - .966623714713646 x116 - .228484397013808 x118 - 14.24097767318064 x120 + x116^2 + x118^2 + x120^2 <= 138.57445832423724 e125: 98.8166159288294 b62 - 10.5180271580466 x116 - 14.66518379140784 x118 - 10.624666952686 x120 + x116^2 + x118^2 + x120^2 <= -9.828398768339355 e126: 167.849028003939 b63 - 14.83034092923758 x116 - 19.24665546196234 x118 - 9.59887796973618 x120 + x116^2 + x118^2 + x120^2 <= -1.7787762027587064 e127: 144.62434214578 b64 - 13.343687963606 x116 - 16.21316246518968 x118 - 16.86763378111054 x120 + x116^2 + x118^2 + x120^2 <= -35.73508659581515 e128: 188.522461227626 b65 - 18.11741150677356 x116 - 16.6623882433172 x118 - 4.87436666522358 x120 + x116^2 + x118^2 + x120^2 <= 32.11365321166372 e129: 119.618424440661 b66 - 4.90494784564384 x116 - 6.0898156282867 x118 - 7.49595746721568 x120 + x116^2 + x118^2 + x120^2 <= 91.28498791433161 e130: 128.282312211875 b67 - 6.34499771328414 x116 - 1.798029280597138 x118 - 13.07109539765276 x120 + x116^2 + x118^2 + x120^2 <= 75.6959521693738 e131: 108.45575250014 b68 - 14.38280948728376 x116 - 13.57505556013466 x118 - 14.20743835337734 x120 + x116^2 + x118^2 + x120^2 <= -38.79390919317504 e132: 163.557092366753 b69 - 1.163811198149444 x116 - 16.11329132617004 x118 - .93054167908105 x120 + x116^2 + x118^2 + x120^2 <= 99.09246194588509 e133: 101.809153524392 b70 - 5.78629313151952 x116 - 5.96701296867488 x118 - 9.88191372825328 x120 + x116^2 + x118^2 + x120^2 <= 61.124490798180794 e134: 135.200072571286 b71 - 4.36446362962954 x116 - 12.73468894503738 x118 - 13.98107111642844 x120 + x116^2 + x118^2 + x120^2 <= 42.02727385532452 e135: 168.474583620344 b72 - 16.7842660714369 x116 - .1932986986314078 x118 - 1.985301076294192 x120 + x116^2 + x118^2 + x120^2 <= 98.05199054354017 e136: 188.895677706624 b73 - 13.7347312427812 x116 - 16.94926418653084 x118 - .988079879027106 x120 + x116^2 + x118^2 + x120^2 <= 70.67150255072772 e137: 157.156134140441 b74 - 4.1466904537235 x116 - 1.22351884467417 x118 - 14.99744364798834 x120 + x116^2 + x118^2 + x120^2 <= 97.25229512622593 e138: 102.681819435286 b75 - 11.16575106706642 x116 - 14.82046375339236 x118 - 11.56372440251814 x120 + x116^2 + x118^2 + x120^2 <= -15.828146768390297 e139: 153.416411666872 b76 - 7.51327324983854 x116 - 4.32200114366072 x118 - 18.990852303427 x120 + x116^2 + x118^2 + x120^2 <= 45.47105166109134 e140: 100.651007858618 b77 - 8.08720808486142 x116 - 15.1807026732434 x118 - 7.43371702275356 x120 + x116^2 + x118^2 + x120^2 <= 13.871803599707178 e141: 188.895677706624 b78 - 2.90144875060524 x116 - 2.22840118881788 x118 - 18.85639768883168 x120 + x116^2 + x118^2 + x120^2 <= 97.65870007910142 e142: 168.474583620344 b79 - 16.89253258883396 x116 - 17.62421587454842 x118 - 18.53534083131514 x120 + x116^2 + x118^2 + x120^2 <= -65.40779192728598 e143: 126.464760843581 b80 - 9.48830510039826 x116 - 5.6388366256074 x118 - 3.53311070379594 x120 + x116^2 + x118^2 + x120^2 <= 93.88793999012788 e144: b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 = 1 e145: 188.522461227626 b81 - .966623714713646 x122 - .228484397013808 x124 - 14.24097767318064 x126 + x122^2 + x124^2 + x126^2 <= 138.57445832423724 e146: 98.8166159288294 b82 - 10.5180271580466 x122 - 14.66518379140784 x124 - 10.624666952686 x126 + x122^2 + x124^2 + x126^2 <= -9.828398768339355 e147: 167.849028003939 b83 - 14.83034092923758 x122 - 19.24665546196234 x124 - 9.59887796973618 x126 + x122^2 + x124^2 + x126^2 <= -1.7787762027587064 e148: 144.62434214578 b84 - 13.343687963606 x122 - 16.21316246518968 x124 - 16.86763378111054 x126 + x122^2 + x124^2 + x126^2 <= -35.73508659581515 e149: 188.522461227626 b85 - 18.11741150677356 x122 - 16.6623882433172 x124 - 4.87436666522358 x126 + x122^2 + x124^2 + x126^2 <= 32.11365321166372 e150: 119.618424440661 b86 - 4.90494784564384 x122 - 6.0898156282867 x124 - 7.49595746721568 x126 + x122^2 + x124^2 + x126^2 <= 91.28498791433161 e151: 128.282312211875 b87 - 6.34499771328414 x122 - 1.798029280597138 x124 - 13.07109539765276 x126 + x122^2 + x124^2 + x126^2 <= 75.6959521693738 e152: 108.45575250014 b88 - 14.38280948728376 x122 - 13.57505556013466 x124 - 14.20743835337734 x126 + x122^2 + x124^2 + x126^2 <= -38.79390919317504 e153: 163.557092366753 b89 - 1.163811198149444 x122 - 16.11329132617004 x124 - .93054167908105 x126 + x122^2 + x124^2 + x126^2 <= 99.09246194588509 e154: 101.809153524392 b90 - 5.78629313151952 x122 - 5.96701296867488 x124 - 9.88191372825328 x126 + x122^2 + x124^2 + x126^2 <= 61.124490798180794 e155: 135.200072571286 b91 - 4.36446362962954 x122 - 12.73468894503738 x124 - 13.98107111642844 x126 + x122^2 + x124^2 + x126^2 <= 42.02727385532452 e156: 168.474583620344 b92 - 16.7842660714369 x122 - .1932986986314078 x124 - 1.985301076294192 x126 + x122^2 + x124^2 + x126^2 <= 98.05199054354017 e157: 188.895677706624 b93 - 13.7347312427812 x122 - 16.94926418653084 x124 - .988079879027106 x126 + x122^2 + x124^2 + x126^2 <= 70.67150255072772 e158: 157.156134140441 b94 - 4.1466904537235 x122 - 1.22351884467417 x124 - 14.99744364798834 x126 + x122^2 + x124^2 + x126^2 <= 97.25229512622593 e159: 102.681819435286 b95 - 11.16575106706642 x122 - 14.82046375339236 x124 - 11.56372440251814 x126 + x122^2 + x124^2 + x126^2 <= -15.828146768390297 e160: 153.416411666872 b96 - 7.51327324983854 x122 - 4.32200114366072 x124 - 18.990852303427 x126 + x122^2 + x124^2 + x126^2 <= 45.47105166109134 e161: 100.651007858618 b97 - 8.08720808486142 x122 - 15.1807026732434 x124 - 7.43371702275356 x126 + x122^2 + x124^2 + x126^2 <= 13.871803599707178 e162: 188.895677706624 b98 - 2.90144875060524 x122 - 2.22840118881788 x124 - 18.85639768883168 x126 + x122^2 + x124^2 + x126^2 <= 97.65870007910142 e163: 168.474583620344 b99 - 16.89253258883396 x122 - 17.62421587454842 x124 - 18.53534083131514 x126 + x122^2 + x124^2 + x126^2 <= -65.40779192728598 e164: 126.464760843581 b100 - 9.48830510039826 x122 - 5.6388366256074 x124 - 3.53311070379594 x126 + x122^2 + x124^2 + x126^2 <= 93.88793999012788 e165: b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 = 1 e166: b1 + b21 + b41 + b61 + b81 <= 1 e167: b2 + b22 + b42 + b62 + b82 <= 1 e168: b3 + b23 + b43 + b63 + b83 <= 1 e169: b4 + b24 + b44 + b64 + b84 <= 1 e170: b5 + b25 + b45 + b65 + b85 <= 1 e171: b6 + b26 + b46 + b66 + b86 <= 1 e172: b7 + b27 + b47 + b67 + b87 <= 1 e173: b8 + b28 + b48 + b68 + b88 <= 1 e174: b9 + b29 + b49 + b69 + b89 <= 1 e175: b10 + b30 + b50 + b70 + b90 <= 1 e176: b11 + b31 + b51 + b71 + b91 <= 1 e177: b12 + b32 + b52 + b72 + b92 <= 1 e178: b13 + b33 + b53 + b73 + b93 <= 1 e179: b14 + b34 + b54 + b74 + b94 <= 1 e180: b15 + b35 + b55 + b75 + b95 <= 1 e181: b16 + b36 + b56 + b76 + b96 <= 1 e182: b17 + b37 + b57 + b77 + b97 <= 1 e183: b18 + b38 + b58 + b78 + b98 <= 1 e184: b19 + b39 + b59 + b79 + b99 <= 1 e185: b20 + b40 + b60 + b80 + b100 <= 1 e186: x101 - x102 <= 0 e187: x102 - x110 <= 0 e188: x110 - x116 <= 0 e189: x116 - x122 <= 0 Bounds x101 <= 10 x102 <= 10 x103 <= 10 x104 <= 10 x105 <= 10 x106 <= 10 x107 <= 10 x108 <= 10 x109 <= 10 x110 <= 10 x111 <= 10 x112 <= 10 x113 <= 10 x114 <= 10 x115 <= 10 x116 <= 10 x117 <= 10 x118 <= 10 x119 <= 10 x120 <= 10 x121 <= 10 x122 <= 10 x123 <= 10 x124 <= 10 x125 <= 10 x126 <= 10 x127 <= 10 x128 <= 10 x129 <= 10 x130 <= 10 x131 <= 10 x132 <= 10 x133 <= 10 x134 <= 10 x135 <= 10 x136 <= 10 x137 <= 10 x138 <= 10 x139 <= 10 x140 <= 10 x141 <= 10 x142 <= 10 x143 <= 10 x144 <= 10 x145 <= 10 Binary b1 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 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 End