\ Equation counts \ Total E G L N X C B \ 219 7 0 212 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 154 84 70 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 873 663 210 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 x71 + 0 x72 + x73 + 0 x74 + 0 x75 + x76 + 0 x77 + 0 x78 + x79 + 0 x80 + x81 + 0 x82 + x83 + 0 x84 + x85 + 0 x86 + x87 + 0 x88 + x89 + 0 x90 + x91 + 0 x92 + x93 + 0 x94 + x95 + 0 x96 + x97 + 0 x98 + x99 + 0 x100 + x101 + 0 x102 + x103 + 0 x104 + x105 + 0 x106 + x107 + 0 x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 Subject To e1: x71 - x72 - x73 <= 0 e2: - x71 + x72 - x73 <= 0 e3: x74 - x75 - x76 <= 0 e4: - x74 + x75 - x76 <= 0 e5: x77 - x78 - x79 <= 0 e6: - x77 + x78 - x79 <= 0 e7: x71 - x80 - x81 <= 0 e8: - x71 + x80 - x81 <= 0 e9: x74 - x82 - x83 <= 0 e10: - x74 + x82 - x83 <= 0 e11: x77 - x84 - x85 <= 0 e12: - x77 + x84 - x85 <= 0 e13: x71 - x86 - x87 <= 0 e14: - x71 + x86 - x87 <= 0 e15: x74 - x88 - x89 <= 0 e16: - x74 + x88 - x89 <= 0 e17: x77 - x90 - x91 <= 0 e18: - x77 + x90 - x91 <= 0 e19: x71 - x92 - x93 <= 0 e20: - x71 + x92 - x93 <= 0 e21: x74 - x94 - x95 <= 0 e22: - x74 + x94 - x95 <= 0 e23: x77 - x96 - x97 <= 0 e24: - x77 + x96 - x97 <= 0 e25: x71 - x98 - x99 <= 0 e26: - x71 + x98 - x99 <= 0 e27: x74 - x100 - x101 <= 0 e28: - x74 + x100 - x101 <= 0 e29: x77 - x102 - x103 <= 0 e30: - x77 + x102 - x103 <= 0 e31: x71 - x104 - x105 <= 0 e32: - x71 + x104 - x105 <= 0 e33: x74 - x106 - x107 <= 0 e34: - x74 + x106 - x107 <= 0 e35: x77 - x108 - x109 <= 0 e36: - x77 + x108 - x109 <= 0 e37: x72 - x80 - x110 <= 0 e38: - x72 + x80 - x110 <= 0 e39: x75 - x82 - x111 <= 0 e40: - x75 + x82 - x111 <= 0 e41: x78 - x84 - x112 <= 0 e42: - x78 + x84 - x112 <= 0 e43: x72 - x86 - x113 <= 0 e44: - x72 + x86 - x113 <= 0 e45: x75 - x88 - x114 <= 0 e46: - x75 + x88 - x114 <= 0 e47: x78 - x90 - x115 <= 0 e48: - x78 + x90 - x115 <= 0 e49: x72 - x92 - x116 <= 0 e50: - x72 + x92 - x116 <= 0 e51: x75 - x94 - x117 <= 0 e52: - x75 + x94 - x117 <= 0 e53: x78 - x96 - x118 <= 0 e54: - x78 + x96 - x118 <= 0 e55: x72 - x98 - x119 <= 0 e56: - x72 + x98 - x119 <= 0 e57: x75 - x100 - x120 <= 0 e58: - x75 + x100 - x120 <= 0 e59: x78 - x102 - x121 <= 0 e60: - x78 + x102 - x121 <= 0 e61: x72 - x104 - x122 <= 0 e62: - x72 + x104 - x122 <= 0 e63: x75 - x106 - x123 <= 0 e64: - x75 + x106 - x123 <= 0 e65: x78 - x108 - x124 <= 0 e66: - x78 + x108 - x124 <= 0 e67: x80 - x86 - x125 <= 0 e68: - x80 + x86 - x125 <= 0 e69: x82 - x88 - x126 <= 0 e70: - x82 + x88 - x126 <= 0 e71: x84 - x90 - x127 <= 0 e72: - x84 + x90 - x127 <= 0 e73: x80 - x92 - x128 <= 0 e74: - x80 + x92 - x128 <= 0 e75: x82 - x94 - x129 <= 0 e76: - x82 + x94 - x129 <= 0 e77: x84 - x96 - x130 <= 0 e78: - x84 + x96 - x130 <= 0 e79: x80 - x98 - x131 <= 0 e80: - x80 + x98 - x131 <= 0 e81: x82 - x100 - x132 <= 0 e82: - x82 + x100 - x132 <= 0 e83: x84 - x102 - x133 <= 0 e84: - x84 + x102 - x133 <= 0 e85: x80 - x104 - x134 <= 0 e86: - x80 + x104 - x134 <= 0 e87: x82 - x106 - x135 <= 0 e88: - x82 + x106 - x135 <= 0 e89: x84 - x108 - x136 <= 0 e90: - x84 + x108 - x136 <= 0 e91: x86 - x92 - x137 <= 0 e92: - x86 + x92 - x137 <= 0 e93: x88 - x94 - x138 <= 0 e94: - x88 + x94 - x138 <= 0 e95: x90 - x96 - x139 <= 0 e96: - x90 + x96 - x139 <= 0 e97: x86 - x98 - x140 <= 0 e98: - x86 + x98 - x140 <= 0 e99: x88 - x100 - x141 <= 0 e100: - x88 + x100 - x141 <= 0 e101: x90 - x102 - x142 <= 0 e102: - x90 + x102 - x142 <= 0 e103: x86 - x104 - x143 <= 0 e104: - x86 + x104 - x143 <= 0 e105: x88 - x106 - x144 <= 0 e106: - x88 + x106 - x144 <= 0 e107: x90 - x108 - x145 <= 0 e108: - x90 + x108 - x145 <= 0 e109: x92 - x98 - x146 <= 0 e110: - x92 + x98 - x146 <= 0 e111: x94 - x100 - x147 <= 0 e112: - x94 + x100 - x147 <= 0 e113: x96 - x102 - x148 <= 0 e114: - x96 + x102 - x148 <= 0 e115: x92 - x104 - x149 <= 0 e116: - x92 + x104 - x149 <= 0 e117: x94 - x106 - x150 <= 0 e118: - x94 + x106 - x150 <= 0 e119: x96 - x108 - x151 <= 0 e120: - x96 + x108 - x151 <= 0 e121: x98 - x104 - x152 <= 0 e122: - x98 + x104 - x152 <= 0 e123: x100 - x106 - x153 <= 0 e124: - x100 + x106 - x153 <= 0 e125: x102 - x108 - x154 <= 0 e126: - x102 + x108 - x154 <= 0 e127: 89.4259075893627 b1 - 8.26527034586856 x71 - 19.78642951375432 x74 - 14.01087265971872 x77 + x71^2 + x74^2 + x77^2 <= -73.60460228061625 e128: 90.8634617423464 b2 - 10.7356472724377 x71 - 3.03303427281628 x74 - 12.3225048676053 x77 + x71^2 + x74^2 + x77^2 <= 22.78907537473802 e129: 77.2828440165495 b3 - 16.455118465719 x71 - 9.02677773067034 x74 - 6.0418336195065 x77 + x71^2 + x74^2 + x77^2 <= -18.906504334843348 e130: 94.0648155502126 b4 - 8.9157403951945 x71 - 16.353202161124 x74 - 4.2768587615972 x77 + x71^2 + x74^2 + x77^2 <= 3.7625234042765214 e131: 68.4345962886061 b5 - 16.005286515288 x71 - 10.56472982191212 x74 - 10.23877868349548 x77 + x71^2 + x74^2 + x77^2 <= -48.719229105409056 e132: 106.313114234833 b6 - 12.4809887722473 x71 - 7.6241726177968 x74 - 19.01969971844676 x77 + x71^2 + x74^2 + x77^2 <= -36.59990231986936 e133: 54.7317080633338 b7 - 9.09550439826706 x71 - 11.00454858110436 x74 - 7.0065632331376 x77 + x71^2 + x74^2 + x77^2 <= -7.49834645485047 e134: 106.313114234833 b8 - 3.348313355656 x71 - 9.9926720096153 x74 - 2.85296619833788 x77 + x71^2 + x74^2 + x77^2 <= 77.51208614776502 e135: 80.5431824405483 b9 - 3.64120420425294 x71 - 17.23101449942868 x74 - 9.86935306667356 x77 + x71^2 + x74^2 + x77^2 <= -20.34940723226407 e136: 90.8634617423464 b10 - 13.22318502212674 x71 - 19.78434126903822 x74 - 9.49701836253662 x77 + x71^2 + x74^2 + x77^2 <= -72.25307309703447 e137: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 = 1 e138: 89.4259075893627 b11 - 8.26527034586856 x72 - 19.78642951375432 x75 - 14.01087265971872 x78 + x72^2 + x75^2 + x78^2 <= -73.60460228061625 e139: 90.8634617423464 b12 - 10.7356472724377 x72 - 3.03303427281628 x75 - 12.3225048676053 x78 + x72^2 + x75^2 + x78^2 <= 22.78907537473802 e140: 77.2828440165495 b13 - 16.455118465719 x72 - 9.02677773067034 x75 - 6.0418336195065 x78 + x72^2 + x75^2 + x78^2 <= -18.906504334843348 e141: 94.0648155502126 b14 - 8.9157403951945 x72 - 16.353202161124 x75 - 4.2768587615972 x78 + x72^2 + x75^2 + x78^2 <= 3.7625234042765214 e142: 68.4345962886061 b15 - 16.005286515288 x72 - 10.56472982191212 x75 - 10.23877868349548 x78 + x72^2 + x75^2 + x78^2 <= -48.719229105409056 e143: 106.313114234833 b16 - 12.4809887722473 x72 - 7.6241726177968 x75 - 19.01969971844676 x78 + x72^2 + x75^2 + x78^2 <= -36.59990231986936 e144: 54.7317080633338 b17 - 9.09550439826706 x72 - 11.00454858110436 x75 - 7.0065632331376 x78 + x72^2 + x75^2 + x78^2 <= -7.49834645485047 e145: 106.313114234833 b18 - 3.348313355656 x72 - 9.9926720096153 x75 - 2.85296619833788 x78 + x72^2 + x75^2 + x78^2 <= 77.51208614776502 e146: 80.5431824405483 b19 - 3.64120420425294 x72 - 17.23101449942868 x75 - 9.86935306667356 x78 + x72^2 + x75^2 + x78^2 <= -20.34940723226407 e147: 90.8634617423464 b20 - 13.22318502212674 x72 - 19.78434126903822 x75 - 9.49701836253662 x78 + x72^2 + x75^2 + x78^2 <= -72.25307309703447 e148: b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 = 1 e149: 89.4259075893627 b21 - 8.26527034586856 x80 - 19.78642951375432 x82 - 14.01087265971872 x84 + x80^2 + x82^2 + x84^2 <= -73.60460228061625 e150: 90.8634617423464 b22 - 10.7356472724377 x80 - 3.03303427281628 x82 - 12.3225048676053 x84 + x80^2 + x82^2 + x84^2 <= 22.78907537473802 e151: 77.2828440165495 b23 - 16.455118465719 x80 - 9.02677773067034 x82 - 6.0418336195065 x84 + x80^2 + x82^2 + x84^2 <= -18.906504334843348 e152: 94.0648155502126 b24 - 8.9157403951945 x80 - 16.353202161124 x82 - 4.2768587615972 x84 + x80^2 + x82^2 + x84^2 <= 3.7625234042765214 e153: 68.4345962886061 b25 - 16.005286515288 x80 - 10.56472982191212 x82 - 10.23877868349548 x84 + x80^2 + x82^2 + x84^2 <= -48.719229105409056 e154: 106.313114234833 b26 - 12.4809887722473 x80 - 7.6241726177968 x82 - 19.01969971844676 x84 + x80^2 + x82^2 + x84^2 <= -36.59990231986936 e155: 54.7317080633338 b27 - 9.09550439826706 x80 - 11.00454858110436 x82 - 7.0065632331376 x84 + x80^2 + x82^2 + x84^2 <= -7.49834645485047 e156: 106.313114234833 b28 - 3.348313355656 x80 - 9.9926720096153 x82 - 2.85296619833788 x84 + x80^2 + x82^2 + x84^2 <= 77.51208614776502 e157: 80.5431824405483 b29 - 3.64120420425294 x80 - 17.23101449942868 x82 - 9.86935306667356 x84 + x80^2 + x82^2 + x84^2 <= -20.34940723226407 e158: 90.8634617423464 b30 - 13.22318502212674 x80 - 19.78434126903822 x82 - 9.49701836253662 x84 + x80^2 + x82^2 + x84^2 <= -72.25307309703447 e159: b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1 e160: 89.4259075893627 b31 - 8.26527034586856 x86 - 19.78642951375432 x88 - 14.01087265971872 x90 + x86^2 + x88^2 + x90^2 <= -73.60460228061625 e161: 90.8634617423464 b32 - 10.7356472724377 x86 - 3.03303427281628 x88 - 12.3225048676053 x90 + x86^2 + x88^2 + x90^2 <= 22.78907537473802 e162: 77.2828440165495 b33 - 16.455118465719 x86 - 9.02677773067034 x88 - 6.0418336195065 x90 + x86^2 + x88^2 + x90^2 <= -18.906504334843348 e163: 94.0648155502126 b34 - 8.9157403951945 x86 - 16.353202161124 x88 - 4.2768587615972 x90 + x86^2 + x88^2 + x90^2 <= 3.7625234042765214 e164: 68.4345962886061 b35 - 16.005286515288 x86 - 10.56472982191212 x88 - 10.23877868349548 x90 + x86^2 + x88^2 + x90^2 <= -48.719229105409056 e165: 106.313114234833 b36 - 12.4809887722473 x86 - 7.6241726177968 x88 - 19.01969971844676 x90 + x86^2 + x88^2 + x90^2 <= -36.59990231986936 e166: 54.7317080633338 b37 - 9.09550439826706 x86 - 11.00454858110436 x88 - 7.0065632331376 x90 + x86^2 + x88^2 + x90^2 <= -7.49834645485047 e167: 106.313114234833 b38 - 3.348313355656 x86 - 9.9926720096153 x88 - 2.85296619833788 x90 + x86^2 + x88^2 + x90^2 <= 77.51208614776502 e168: 80.5431824405483 b39 - 3.64120420425294 x86 - 17.23101449942868 x88 - 9.86935306667356 x90 + x86^2 + x88^2 + x90^2 <= -20.34940723226407 e169: 90.8634617423464 b40 - 13.22318502212674 x86 - 19.78434126903822 x88 - 9.49701836253662 x90 + x86^2 + x88^2 + x90^2 <= -72.25307309703447 e170: b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1 e171: 89.4259075893627 b41 - 8.26527034586856 x92 - 19.78642951375432 x94 - 14.01087265971872 x96 + x92^2 + x94^2 + x96^2 <= -73.60460228061625 e172: 90.8634617423464 b42 - 10.7356472724377 x92 - 3.03303427281628 x94 - 12.3225048676053 x96 + x92^2 + x94^2 + x96^2 <= 22.78907537473802 e173: 77.2828440165495 b43 - 16.455118465719 x92 - 9.02677773067034 x94 - 6.0418336195065 x96 + x92^2 + x94^2 + x96^2 <= -18.906504334843348 e174: 94.0648155502126 b44 - 8.9157403951945 x92 - 16.353202161124 x94 - 4.2768587615972 x96 + x92^2 + x94^2 + x96^2 <= 3.7625234042765214 e175: 68.4345962886061 b45 - 16.005286515288 x92 - 10.56472982191212 x94 - 10.23877868349548 x96 + x92^2 + x94^2 + x96^2 <= -48.719229105409056 e176: 106.313114234833 b46 - 12.4809887722473 x92 - 7.6241726177968 x94 - 19.01969971844676 x96 + x92^2 + x94^2 + x96^2 <= -36.59990231986936 e177: 54.7317080633338 b47 - 9.09550439826706 x92 - 11.00454858110436 x94 - 7.0065632331376 x96 + x92^2 + x94^2 + x96^2 <= -7.49834645485047 e178: 106.313114234833 b48 - 3.348313355656 x92 - 9.9926720096153 x94 - 2.85296619833788 x96 + x92^2 + x94^2 + x96^2 <= 77.51208614776502 e179: 80.5431824405483 b49 - 3.64120420425294 x92 - 17.23101449942868 x94 - 9.86935306667356 x96 + x92^2 + x94^2 + x96^2 <= -20.34940723226407 e180: 90.8634617423464 b50 - 13.22318502212674 x92 - 19.78434126903822 x94 - 9.49701836253662 x96 + x92^2 + x94^2 + x96^2 <= -72.25307309703447 e181: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 = 1 e182: 89.4259075893627 b51 - 8.26527034586856 x98 - 19.78642951375432 x100 - 14.01087265971872 x102 + x98^2 + x100^2 + x102^2 <= -73.60460228061625 e183: 90.8634617423464 b52 - 10.7356472724377 x98 - 3.03303427281628 x100 - 12.3225048676053 x102 + x98^2 + x100^2 + x102^2 <= 22.78907537473802 e184: 77.2828440165495 b53 - 16.455118465719 x98 - 9.02677773067034 x100 - 6.0418336195065 x102 + x98^2 + x100^2 + x102^2 <= -18.906504334843348 e185: 94.0648155502126 b54 - 8.9157403951945 x98 - 16.353202161124 x100 - 4.2768587615972 x102 + x98^2 + x100^2 + x102^2 <= 3.7625234042765214 e186: 68.4345962886061 b55 - 16.005286515288 x98 - 10.56472982191212 x100 - 10.23877868349548 x102 + x98^2 + x100^2 + x102^2 <= -48.719229105409056 e187: 106.313114234833 b56 - 12.4809887722473 x98 - 7.6241726177968 x100 - 19.01969971844676 x102 + x98^2 + x100^2 + x102^2 <= -36.59990231986936 e188: 54.7317080633338 b57 - 9.09550439826706 x98 - 11.00454858110436 x100 - 7.0065632331376 x102 + x98^2 + x100^2 + x102^2 <= -7.49834645485047 e189: 106.313114234833 b58 - 3.348313355656 x98 - 9.9926720096153 x100 - 2.85296619833788 x102 + x98^2 + x100^2 + x102^2 <= 77.51208614776502 e190: 80.5431824405483 b59 - 3.64120420425294 x98 - 17.23101449942868 x100 - 9.86935306667356 x102 + x98^2 + x100^2 + x102^2 <= -20.34940723226407 e191: 90.8634617423464 b60 - 13.22318502212674 x98 - 19.78434126903822 x100 - 9.49701836253662 x102 + x98^2 + x100^2 + x102^2 <= -72.25307309703447 e192: b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 e193: 89.4259075893627 b61 - 8.26527034586856 x104 - 19.78642951375432 x106 - 14.01087265971872 x108 + x104^2 + x106^2 + x108^2 <= -73.60460228061625 e194: 90.8634617423464 b62 - 10.7356472724377 x104 - 3.03303427281628 x106 - 12.3225048676053 x108 + x104^2 + x106^2 + x108^2 <= 22.78907537473802 e195: 77.2828440165495 b63 - 16.455118465719 x104 - 9.02677773067034 x106 - 6.0418336195065 x108 + x104^2 + x106^2 + x108^2 <= -18.906504334843348 e196: 94.0648155502126 b64 - 8.9157403951945 x104 - 16.353202161124 x106 - 4.2768587615972 x108 + x104^2 + x106^2 + x108^2 <= 3.7625234042765214 e197: 68.4345962886061 b65 - 16.005286515288 x104 - 10.56472982191212 x106 - 10.23877868349548 x108 + x104^2 + x106^2 + x108^2 <= -48.719229105409056 e198: 106.313114234833 b66 - 12.4809887722473 x104 - 7.6241726177968 x106 - 19.01969971844676 x108 + x104^2 + x106^2 + x108^2 <= -36.59990231986936 e199: 54.7317080633338 b67 - 9.09550439826706 x104 - 11.00454858110436 x106 - 7.0065632331376 x108 + x104^2 + x106^2 + x108^2 <= -7.49834645485047 e200: 106.313114234833 b68 - 3.348313355656 x104 - 9.9926720096153 x106 - 2.85296619833788 x108 + x104^2 + x106^2 + x108^2 <= 77.51208614776502 e201: 80.5431824405483 b69 - 3.64120420425294 x104 - 17.23101449942868 x106 - 9.86935306667356 x108 + x104^2 + x106^2 + x108^2 <= -20.34940723226407 e202: 90.8634617423464 b70 - 13.22318502212674 x104 - 19.78434126903822 x106 - 9.49701836253662 x108 + x104^2 + x106^2 + x108^2 <= -72.25307309703447 e203: b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 = 1 e204: b1 + b11 + b21 + b31 + b41 + b51 + b61 <= 1 e205: b2 + b12 + b22 + b32 + b42 + b52 + b62 <= 1 e206: b3 + b13 + b23 + b33 + b43 + b53 + b63 <= 1 e207: b4 + b14 + b24 + b34 + b44 + b54 + b64 <= 1 e208: b5 + b15 + b25 + b35 + b45 + b55 + b65 <= 1 e209: b6 + b16 + b26 + b36 + b46 + b56 + b66 <= 1 e210: b7 + b17 + b27 + b37 + b47 + b57 + b67 <= 1 e211: b8 + b18 + b28 + b38 + b48 + b58 + b68 <= 1 e212: b9 + b19 + b29 + b39 + b49 + b59 + b69 <= 1 e213: b10 + b20 + b30 + b40 + b50 + b60 + b70 <= 1 e214: x71 - x72 <= 0 e215: x72 - x80 <= 0 e216: x80 - x86 <= 0 e217: x86 - x92 <= 0 e218: x92 - x98 <= 0 e219: x98 - x104 <= 0 Bounds x71 <= 10 x72 <= 10 x73 <= 10 x74 <= 10 x75 <= 10 x76 <= 10 x77 <= 10 x78 <= 10 x79 <= 10 x80 <= 10 x81 <= 10 x82 <= 10 x83 <= 10 x84 <= 10 x85 <= 10 x86 <= 10 x87 <= 10 x88 <= 10 x89 <= 10 x90 <= 10 x91 <= 10 x92 <= 10 x93 <= 10 x94 <= 10 x95 <= 10 x96 <= 10 x97 <= 10 x98 <= 10 x99 <= 10 x100 <= 10 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 x146 <= 10 x147 <= 10 x148 <= 10 x149 <= 10 x150 <= 10 x151 <= 10 x152 <= 10 x153 <= 10 x154 <= 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 End