\ The T puzzle LP file Maximize Subject to x9 + x10 + x20 + x23 + x29 + x51 + x79 + x114 + x168 + x203 = 1 x9 + x10 + x20 + x23 + x29 + x51 + x79 + x114 + x168 + x203 = 1 x9 + x10 + x23 + x29 + x114 + x130 + x149 + x168 = 1 x9 + x10 + x23 + x29 + x114 + x130 + x149 + x168 = 1 x9 + x10 + x23 + x29 + x114 + x130 + x149 + x168 = 1 x9 + x10 + x23 + x29 + x114 + x130 + x149 + x168 = 1 x9 + x10 + x23 + x29 + x114 + x130 + x149 + x168 = 1 x9 + x10 + x23 + x29 + x114 + x130 + x149 + x168 = 1 x9 + x10 + x23 + x29 + x114 + x130 + x149 + x168 = 1 x9 + x10 + x19 + x22 + x23 + x29 + x56 + x95 + x130 + x149 + x184 = 1 x9 + x10 + x19 + x22 + x23 + x29 + x56 + x95 + x130 + x149 + x184 = 1 x9 + x10 + x23 + x29 + x114 + x130 + x149 + x168 = 1 x9 + x10 + x20 + x23 + x24 + x29 + x30 + x51 + x52 + x79 + x80 + x114 + x115 + x168 + x169 + x203 + x204 = 1 x9 + x10 + x20 + x23 + x24 + x29 + x30 + x51 + x52 + x79 + x80 + x114 + x115 + x168 + x169 + x203 + x204 = 1 x9 + x10 + x20 + x23 + x24 + x29 + x30 + x51 + x79 + x114 + x115 + x131 + x150 + x168 + x169 + x203 = 1 x9 + x10 + x20 + x23 + x24 + x29 + x30 + x51 + x79 + x114 + x115 + x131 + x150 + x168 + x169 + x203 = 1 x9 + x10 + x20 + x23 + x24 + x29 + x30 + x51 + x79 + x114 + x115 + x131 + x150 + x168 + x169 + x203 = 1 x9 + x10 + x19 + x20 + x22 + x23 + x24 + x29 + x30 + x51 + x56 + x57 + x79 + x95 + x96 + x115 + x131 + x150 + x169 + x184 + x185 + x203 = 1 x9 + x10 + x19 + x22 + x23 + x24 + x29 + x30 + x56 + x57 + x95 + x96 + x115 + x130 + x131 + x149 + x150 + x169 + x184 + x185 = 1 x9 + x10 + x23 + x24 + x29 + x30 + x114 + x115 + x130 + x131 + x149 + x150 + x168 + x169 = 1 x9 + x10 + x19 + x22 + x23 + x24 + x29 + x30 + x56 + x95 + x115 + x130 + x131 + x149 + x150 + x169 + x184 = 1 x9 + x10 + x19 + x22 + x23 + x24 + x29 + x30 + x56 + x58 + x95 + x97 + x130 + x131 + x149 + x150 + x184 + x186 = 1 x9 + x10 + x19 + x22 + x23 + x24 + x29 + x30 + x56 + x58 + x95 + x97 + x130 + x131 + x149 + x150 + x184 + x186 = 1 x9 + x10 + x19 + x22 + x23 + x24 + x29 + x30 + x56 + x95 + x115 + x130 + x131 + x149 + x150 + x169 + x184 = 1 x9 + x10 + x20 + x21 + x24 + x25 + x29 + x30 + x31 + x51 + x52 + x53 + x79 + x80 + x81 + x114 + x115 + x116 + x168 + x169 + x170 + x203 + x204 + x205 = 1 x9 + x10 + x19 + x20 + x21 + x22 + x24 + x25 + x29 + x30 + x31 + x34 + x51 + x52 + x53 + x56 + x57 + x79 + x80 + x81 + x95 + x96 + x98 + x115 + x116 + x169 + x170 + x184 + x185 + x187 + x203 + x204 + x205 = 1 x9 + x10 + x19 + x20 + x22 + x23 + x24 + x25 + x29 + x30 + x31 + x34 + x51 + x52 + x56 + x57 + x79 + x80 + x95 + x96 + x98 + x115 + x116 + x132 + x151 + x169 + x170 + x184 + x185 + x187 + x203 + x204 = 1 x9 + x10 + x20 + x23 + x24 + x25 + x29 + x30 + x31 + x51 + x52 + x79 + x80 + x114 + x115 + x116 + x132 + x151 + x168 + x169 + x170 + x203 + x204 = 1 x9 + x10 + x19 + x20 + x22 + x23 + x24 + x25 + x29 + x30 + x31 + x34 + x51 + x52 + x56 + x57 + x79 + x80 + x95 + x96 + x115 + x116 + x132 + x151 + x169 + x170 + x184 + x185 + x203 + x204 = 1 x9 + x10 + x19 + x20 + x22 + x23 + x24 + x25 + x29 + x30 + x31 + x34 + x51 + x52 + x56 + x57 + x58 + x79 + x80 + x95 + x96 + x97 + x99 + x116 + x132 + x151 + x170 + x184 + x185 + x186 + x188 + x203 + x204 = 1 x9 + x10 + x19 + x20 + x22 + x23 + x24 + x25 + x29 + x30 + x31 + x34 + x51 + x56 + x57 + x58 + x79 + x95 + x96 + x97 + x99 + x116 + x131 + x132 + x150 + x151 + x170 + x184 + x185 + x186 + x188 + x203 = 1 x9 + x10 + x19 + x20 + x22 + x23 + x24 + x25 + x29 + x30 + x31 + x34 + x51 + x56 + x57 + x79 + x95 + x96 + x115 + x116 + x131 + x132 + x150 + x151 + x169 + x170 + x184 + x185 + x203 = 1 x9 + x10 + x19 + x20 + x22 + x23 + x24 + x25 + x29 + x30 + x31 + x34 + x51 + x56 + x58 + x79 + x95 + x97 + x116 + x131 + x132 + x150 + x151 + x170 + x184 + x186 + x203 = 1 x9 + x10 + x19 + x20 + x22 + x23 + x24 + x25 + x30 + x31 + x34 + x51 + x56 + x58 + x59 + x79 + x95 + x97 + x100 + x131 + x132 + x150 + x151 + x184 + x186 + x189 + x203 = 1 x9 + x10 + x19 + x22 + x23 + x24 + x25 + x30 + x31 + x34 + x56 + x58 + x59 + x95 + x97 + x100 + x130 + x131 + x132 + x149 + x150 + x151 + x184 + x186 + x189 = 1 x9 + x10 + x19 + x22 + x23 + x24 + x25 + x29 + x30 + x31 + x34 + x56 + x58 + x95 + x97 + x116 + x130 + x131 + x132 + x149 + x150 + x151 + x170 + x184 + x186 = 1 x1 + x15 + x43 + x62 + x82 + x117 + x171 + x206 = 1 x1 + x15 + x43 + x62 + x82 + x117 + x171 + x206 = 1 x1 + x11 + x15 + x43 + x62 + x70 + x117 + x133 + x152 + x171 = 1 x1 + x11 + x15 + x43 + x62 + x70 + x117 + x133 + x152 + x171 = 1 x1 + x2 + x11 + x15 + x16 + x43 + x44 + x62 + x63 + x70 + x83 + x117 + x118 + x133 + x152 + x171 + x172 + x207 = 1 x1 + x2 + x11 + x15 + x16 + x43 + x44 + x62 + x63 + x70 + x83 + x117 + x118 + x133 + x152 + x171 + x172 + x207 = 1 x1 + x2 + x11 + x12 + x15 + x16 + x43 + x44 + x62 + x63 + x70 + x71 + x117 + x118 + x133 + x134 + x152 + x153 + x171 + x172 = 1 x1 + x2 + x11 + x12 + x15 + x16 + x43 + x44 + x62 + x63 + x70 + x71 + x117 + x118 + x133 + x134 + x152 + x153 + x171 + x172 = 1 x1 + x2 + x3 + x11 + x12 + x15 + x16 + x17 + x43 + x44 + x45 + x62 + x63 + x64 + x70 + x71 + x84 + x117 + x118 + x119 + x133 + x134 + x152 + x153 + x171 + x172 + x173 + x208 = 1 x1 + x2 + x3 + x5 + x11 + x12 + x15 + x16 + x17 + x35 + x43 + x44 + x45 + x62 + x63 + x64 + x70 + x71 + x84 + x101 + x118 + x119 + x133 + x134 + x152 + x153 + x172 + x173 + x190 + x208 = 1 x1 + x2 + x3 + x5 + x11 + x12 + x13 + x15 + x16 + x17 + x35 + x44 + x45 + x62 + x63 + x64 + x70 + x71 + x72 + x101 + x118 + x119 + x133 + x134 + x135 + x152 + x153 + x154 + x172 + x173 + x190 = 1 x1 + x2 + x3 + x11 + x12 + x13 + x15 + x16 + x17 + x44 + x45 + x62 + x63 + x64 + x70 + x71 + x72 + x117 + x118 + x119 + x133 + x134 + x135 + x152 + x153 + x154 + x171 + x172 + x173 = 1 x1 + x2 + x3 + x4 + x5 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x35 + x44 + x45 + x46 + x62 + x63 + x64 + x65 + x70 + x71 + x72 + x85 + x118 + x119 + x120 + x134 + x135 + x153 + x154 + x172 + x173 + x174 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x35 + x36 + x44 + x45 + x46 + x62 + x63 + x64 + x65 + x70 + x71 + x72 + x85 + x102 + x119 + x120 + x134 + x135 + x153 + x154 + x173 + x174 + x191 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x35 + x36 + x45 + x46 + x62 + x63 + x64 + x65 + x70 + x71 + x72 + x73 + x102 + x119 + x120 + x134 + x135 + x136 + x153 + x154 + x155 + x173 + x174 + x191 = 1 x1 + x2 + x3 + x4 + x5 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x35 + x45 + x46 + x62 + x63 + x64 + x65 + x70 + x71 + x72 + x73 + x118 + x119 + x120 + x134 + x135 + x136 + x153 + x154 + x155 + x172 + x173 + x174 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x35 + x36 + x45 + x46 + x47 + x62 + x63 + x64 + x65 + x66 + x70 + x71 + x72 + x73 + x86 + x119 + x120 + x121 + x135 + x136 + x154 + x155 + x173 + x174 + x175 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x45 + x46 + x47 + x63 + x64 + x65 + x66 + x70 + x71 + x72 + x73 + x86 + x103 + x120 + x121 + x135 + x136 + x154 + x155 + x174 + x175 + x192 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x46 + x47 + x63 + x64 + x65 + x66 + x70 + x71 + x72 + x73 + x74 + x103 + x120 + x121 + x135 + x136 + x137 + x154 + x155 + x156 + x174 + x175 + x192 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x35 + x36 + x46 + x47 + x62 + x63 + x64 + x65 + x66 + x70 + x71 + x72 + x73 + x74 + x119 + x120 + x121 + x135 + x136 + x137 + x154 + x155 + x156 + x173 + x174 + x175 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x46 + x47 + x48 + x63 + x64 + x65 + x66 + x67 + x71 + x72 + x73 + x74 + x87 + x120 + x121 + x122 + x136 + x137 + x155 + x156 + x174 + x175 + x176 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x46 + x47 + x48 + x64 + x65 + x66 + x67 + x71 + x72 + x73 + x74 + x87 + x104 + x121 + x122 + x136 + x137 + x155 + x156 + x175 + x176 + x193 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x47 + x48 + x64 + x65 + x66 + x67 + x71 + x72 + x73 + x74 + x75 + x104 + x121 + x122 + x136 + x137 + x138 + x155 + x156 + x157 + x175 + x176 + x193 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x47 + x48 + x63 + x64 + x65 + x66 + x67 + x71 + x72 + x73 + x74 + x75 + x120 + x121 + x122 + x136 + x137 + x138 + x155 + x156 + x157 + x174 + x175 + x176 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x37 + x38 + x47 + x48 + x49 + x64 + x65 + x66 + x67 + x68 + x72 + x73 + x74 + x75 + x88 + x121 + x122 + x123 + x137 + x138 + x156 + x157 + x175 + x176 + x177 + x212 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x37 + x38 + x39 + x47 + x48 + x49 + x65 + x66 + x67 + x68 + x72 + x73 + x74 + x75 + x88 + x105 + x122 + x123 + x137 + x138 + x156 + x157 + x176 + x177 + x194 + x212 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x21 + x37 + x38 + x39 + x48 + x49 + x65 + x66 + x67 + x68 + x72 + x73 + x74 + x75 + x76 + x105 + x122 + x123 + x137 + x138 + x139 + x156 + x157 + x158 + x176 + x177 + x194 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x21 + x37 + x38 + x48 + x49 + x64 + x65 + x66 + x67 + x68 + x72 + x73 + x74 + x75 + x76 + x121 + x122 + x123 + x137 + x138 + x139 + x156 + x157 + x158 + x175 + x176 + x177 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x21 + x38 + x39 + x48 + x49 + x50 + x65 + x66 + x67 + x68 + x69 + x73 + x74 + x75 + x76 + x89 + x122 + x123 + x124 + x138 + x139 + x157 + x158 + x176 + x177 + x178 + x213 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x21 + x38 + x39 + x40 + x48 + x49 + x50 + x66 + x67 + x68 + x69 + x73 + x74 + x75 + x76 + x89 + x106 + x123 + x124 + x138 + x139 + x157 + x158 + x177 + x178 + x195 + x213 = 1 x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x21 + x38 + x39 + x40 + x49 + x50 + x66 + x67 + x68 + x69 + x73 + x74 + x75 + x76 + x77 + x106 + x123 + x124 + x138 + x139 + x140 + x157 + x158 + x159 + x177 + x178 + x195 = 1 x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x21 + x38 + x39 + x49 + x50 + x65 + x66 + x67 + x68 + x69 + x73 + x74 + x75 + x76 + x77 + x122 + x123 + x124 + x138 + x139 + x140 + x157 + x158 + x159 + x176 + x177 + x178 = 1 x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x21 + x26 + x39 + x40 + x49 + x50 + x66 + x67 + x68 + x69 + x74 + x75 + x76 + x77 + x90 + x123 + x124 + x125 + x139 + x140 + x158 + x159 + x177 + x178 + x179 + x214 = 1 x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x21 + x22 + x26 + x34 + x39 + x40 + x41 + x49 + x50 + x57 + x67 + x68 + x69 + x74 + x75 + x76 + x77 + x90 + x96 + x98 + x107 + x124 + x125 + x139 + x140 + x158 + x159 + x178 + x179 + x185 + x187 + x196 + x214 = 1 x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x21 + x22 + x26 + x34 + x39 + x40 + x41 + x50 + x57 + x67 + x68 + x69 + x74 + x75 + x76 + x77 + x96 + x98 + x107 + x124 + x125 + x139 + x140 + x141 + x158 + x159 + x160 + x178 + x179 + x185 + x187 + x196 = 1 x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x21 + x26 + x39 + x40 + x50 + x66 + x67 + x68 + x69 + x74 + x75 + x76 + x77 + x123 + x124 + x125 + x139 + x140 + x141 + x158 + x159 + x160 + x177 + x178 + x179 = 1 x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x25 + x26 + x27 + x29 + x30 + x31 + x32 + x34 + x40 + x41 + x50 + x51 + x52 + x53 + x54 + x56 + x57 + x67 + x68 + x69 + x75 + x76 + x77 + x80 + x81 + x91 + x96 + x98 + x115 + x116 + x124 + x125 + x126 + x140 + x141 + x159 + x160 + x169 + x170 + x178 + x179 + x180 + x185 + x187 + x204 + x205 + x215 = 1 x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x17 + x18 + x19 + x20 + x21 + x22 + x25 + x26 + x27 + x29 + x30 + x31 + x32 + x34 + x40 + x41 + x42 + x50 + x51 + x52 + x53 + x54 + x56 + x57 + x58 + x68 + x69 + x75 + x76 + x77 + x80 + x81 + x91 + x96 + x97 + x98 + x99 + x108 + x116 + x125 + x126 + x140 + x141 + x159 + x160 + x170 + x179 + x180 + x185 + x186 + x187 + x188 + x197 + x204 + x205 + x215 = 1 x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x17 + x18 + x19 + x20 + x21 + x22 + x24 + x25 + x26 + x27 + x29 + x30 + x31 + x32 + x34 + x40 + x41 + x42 + x51 + x52 + x53 + x56 + x57 + x58 + x68 + x69 + x75 + x76 + x77 + x80 + x81 + x96 + x97 + x98 + x99 + x108 + x116 + x125 + x126 + x140 + x141 + x142 + x159 + x160 + x161 + x170 + x179 + x180 + x185 + x186 + x187 + x188 + x197 + x204 + x205 = 1 x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x24 + x25 + x26 + x27 + x29 + x30 + x31 + x32 + x34 + x40 + x41 + x51 + x52 + x53 + x56 + x57 + x67 + x68 + x69 + x75 + x76 + x77 + x80 + x81 + x96 + x98 + x115 + x116 + x124 + x125 + x126 + x140 + x141 + x142 + x159 + x160 + x161 + x169 + x170 + x178 + x179 + x180 + x185 + x187 + x204 + x205 = 1 x7 + x8 + x9 + x10 + x13 + x14 + x17 + x18 + x19 + x20 + x21 + x22 + x24 + x25 + x26 + x27 + x29 + x30 + x31 + x32 + x34 + x41 + x42 + x51 + x52 + x53 + x56 + x57 + x58 + x68 + x69 + x76 + x77 + x80 + x81 + x96 + x97 + x99 + x116 + x125 + x126 + x141 + x142 + x160 + x161 + x170 + x179 + x180 + x185 + x186 + x188 + x204 + x205 = 1 x7 + x8 + x9 + x10 + x13 + x14 + x18 + x19 + x20 + x21 + x22 + x24 + x25 + x26 + x27 + x30 + x31 + x32 + x34 + x41 + x42 + x51 + x52 + x53 + x56 + x57 + x58 + x59 + x69 + x76 + x77 + x80 + x81 + x96 + x97 + x99 + x100 + x109 + x126 + x141 + x142 + x160 + x161 + x180 + x185 + x186 + x188 + x189 + x198 + x204 + x205 = 1 x7 + x8 + x9 + x10 + x13 + x14 + x18 + x19 + x20 + x22 + x23 + x24 + x25 + x26 + x27 + x30 + x31 + x32 + x34 + x41 + x42 + x51 + x52 + x56 + x57 + x58 + x59 + x69 + x76 + x77 + x80 + x96 + x97 + x99 + x100 + x109 + x126 + x132 + x141 + x142 + x151 + x160 + x161 + x180 + x185 + x186 + x188 + x189 + x198 + x204 = 1 x7 + x8 + x9 + x10 + x13 + x14 + x17 + x18 + x19 + x20 + x22 + x23 + x24 + x25 + x26 + x27 + x29 + x30 + x31 + x32 + x34 + x41 + x42 + x51 + x52 + x56 + x57 + x58 + x68 + x69 + x76 + x77 + x80 + x96 + x97 + x99 + x116 + x125 + x126 + x132 + x141 + x142 + x151 + x160 + x161 + x170 + x179 + x180 + x185 + x186 + x188 + x204 = 1 x8 + x9 + x10 + x14 + x18 + x19 + x20 + x22 + x23 + x24 + x25 + x27 + x30 + x31 + x32 + x34 + x42 + x51 + x52 + x56 + x58 + x59 + x69 + x77 + x80 + x97 + x100 + x126 + x132 + x142 + x151 + x161 + x180 + x186 + x189 + x204 = 1 x8 + x9 + x10 + x14 + x19 + x20 + x22 + x23 + x24 + x25 + x27 + x31 + x32 + x34 + x42 + x51 + x52 + x56 + x58 + x59 + x60 + x77 + x80 + x97 + x100 + x110 + x132 + x142 + x151 + x161 + x186 + x189 + x199 + x204 = 1 x8 + x9 + x10 + x14 + x19 + x20 + x22 + x23 + x24 + x25 + x27 + x31 + x32 + x34 + x42 + x51 + x56 + x58 + x59 + x60 + x77 + x97 + x100 + x110 + x131 + x132 + x142 + x150 + x151 + x161 + x186 + x189 + x199 = 1 x8 + x9 + x10 + x14 + x18 + x19 + x20 + x22 + x23 + x24 + x25 + x27 + x30 + x31 + x32 + x34 + x42 + x51 + x56 + x58 + x59 + x69 + x77 + x97 + x100 + x126 + x131 + x132 + x142 + x150 + x151 + x161 + x180 + x186 + x189 = 1 x1 + x15 + x43 + x62 + x82 + x117 + x171 + x206 = 1 x1 + x15 + x43 + x62 + x82 + x117 + x171 + x206 = 1 x1 + x15 + x43 + x62 + x82 + x117 + x171 + x206 = 1 x1 + x15 + x43 + x62 + x82 + x117 + x171 + x206 = 1 x1 + x2 + x15 + x16 + x43 + x44 + x62 + x63 + x82 + x83 + x117 + x118 + x171 + x172 + x206 + x207 = 1 x1 + x2 + x5 + x15 + x16 + x35 + x43 + x44 + x62 + x63 + x82 + x83 + x101 + x118 + x172 + x190 + x206 + x207 = 1 x1 + x2 + x5 + x11 + x15 + x16 + x35 + x43 + x44 + x62 + x63 + x70 + x83 + x101 + x118 + x133 + x152 + x172 + x190 + x207 = 1 x1 + x2 + x11 + x15 + x16 + x43 + x44 + x62 + x63 + x70 + x83 + x117 + x118 + x133 + x152 + x171 + x172 + x207 = 1 x1 + x2 + x3 + x5 + x11 + x15 + x16 + x17 + x35 + x43 + x44 + x45 + x62 + x63 + x64 + x70 + x83 + x84 + x101 + x118 + x119 + x133 + x152 + x172 + x173 + x190 + x207 + x208 = 1 x1 + x2 + x3 + x5 + x6 + x11 + x15 + x16 + x17 + x35 + x36 + x43 + x44 + x45 + x62 + x63 + x64 + x70 + x83 + x84 + x101 + x102 + x119 + x133 + x152 + x173 + x190 + x191 + x207 + x208 = 1 x1 + x2 + x3 + x5 + x6 + x11 + x12 + x15 + x16 + x17 + x35 + x36 + x43 + x44 + x45 + x62 + x63 + x64 + x70 + x71 + x84 + x101 + x102 + x119 + x133 + x134 + x152 + x153 + x173 + x190 + x191 + x208 = 1 x1 + x2 + x3 + x5 + x11 + x12 + x15 + x16 + x17 + x35 + x43 + x44 + x45 + x62 + x63 + x64 + x70 + x71 + x84 + x101 + x118 + x119 + x133 + x134 + x152 + x153 + x172 + x173 + x190 + x208 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x11 + x12 + x15 + x16 + x17 + x18 + x35 + x36 + x43 + x44 + x45 + x46 + x62 + x63 + x64 + x65 + x70 + x71 + x84 + x85 + x102 + x119 + x120 + x134 + x153 + x173 + x174 + x191 + x208 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x12 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x43 + x44 + x45 + x46 + x63 + x64 + x65 + x70 + x71 + x84 + x85 + x102 + x103 + x120 + x134 + x153 + x174 + x191 + x192 + x208 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x44 + x45 + x46 + x63 + x64 + x65 + x70 + x71 + x72 + x85 + x102 + x103 + x120 + x134 + x135 + x153 + x154 + x174 + x191 + x192 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x35 + x36 + x44 + x45 + x46 + x62 + x63 + x64 + x65 + x70 + x71 + x72 + x85 + x102 + x119 + x120 + x134 + x135 + x153 + x154 + x173 + x174 + x191 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x44 + x45 + x46 + x47 + x63 + x64 + x65 + x66 + x70 + x71 + x72 + x85 + x86 + x103 + x120 + x121 + x135 + x154 + x174 + x175 + x192 + x209 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x38 + x44 + x45 + x46 + x47 + x64 + x65 + x66 + x70 + x71 + x72 + x85 + x86 + x103 + x104 + x121 + x135 + x154 + x175 + x192 + x193 + x209 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x38 + x45 + x46 + x47 + x64 + x65 + x66 + x70 + x71 + x72 + x73 + x86 + x103 + x104 + x121 + x135 + x136 + x154 + x155 + x175 + x192 + x193 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x45 + x46 + x47 + x63 + x64 + x65 + x66 + x70 + x71 + x72 + x73 + x86 + x103 + x120 + x121 + x135 + x136 + x154 + x155 + x174 + x175 + x192 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x45 + x46 + x47 + x48 + x64 + x65 + x66 + x67 + x71 + x72 + x73 + x86 + x87 + x104 + x121 + x122 + x136 + x155 + x175 + x176 + x193 + x210 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x39 + x45 + x46 + x47 + x48 + x65 + x66 + x67 + x71 + x72 + x73 + x86 + x87 + x104 + x105 + x122 + x136 + x155 + x176 + x193 + x194 + x210 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x39 + x46 + x47 + x48 + x65 + x66 + x67 + x71 + x72 + x73 + x74 + x87 + x104 + x105 + x122 + x136 + x137 + x155 + x156 + x176 + x193 + x194 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x46 + x47 + x48 + x64 + x65 + x66 + x67 + x71 + x72 + x73 + x74 + x87 + x104 + x121 + x122 + x136 + x137 + x155 + x156 + x175 + x176 + x193 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x37 + x38 + x39 + x46 + x47 + x48 + x49 + x65 + x66 + x67 + x68 + x72 + x73 + x74 + x87 + x88 + x105 + x122 + x123 + x137 + x156 + x176 + x177 + x194 + x211 + x212 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x37 + x38 + x39 + x40 + x46 + x47 + x48 + x49 + x66 + x67 + x68 + x72 + x73 + x74 + x87 + x88 + x105 + x106 + x123 + x137 + x156 + x177 + x194 + x195 + x211 + x212 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x37 + x38 + x39 + x40 + x47 + x48 + x49 + x66 + x67 + x68 + x72 + x73 + x74 + x75 + x88 + x105 + x106 + x123 + x137 + x138 + x156 + x157 + x177 + x194 + x195 + x212 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x37 + x38 + x39 + x47 + x48 + x49 + x65 + x66 + x67 + x68 + x72 + x73 + x74 + x75 + x88 + x105 + x122 + x123 + x137 + x138 + x156 + x157 + x176 + x177 + x194 + x212 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x38 + x39 + x40 + x47 + x48 + x49 + x50 + x66 + x67 + x68 + x69 + x73 + x74 + x75 + x88 + x89 + x106 + x123 + x124 + x138 + x157 + x177 + x178 + x195 + x212 + x213 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x22 + x34 + x38 + x39 + x40 + x41 + x47 + x48 + x49 + x50 + x67 + x68 + x69 + x73 + x74 + x75 + x88 + x89 + x98 + x106 + x107 + x124 + x138 + x157 + x178 + x187 + x195 + x196 + x212 + x213 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x21 + x22 + x34 + x38 + x39 + x40 + x41 + x48 + x49 + x50 + x67 + x68 + x69 + x73 + x74 + x75 + x76 + x78 + x89 + x98 + x106 + x107 + x124 + x138 + x139 + x143 + x157 + x158 + x162 + x178 + x187 + x195 + x196 + x213 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x21 + x38 + x39 + x40 + x48 + x49 + x50 + x66 + x67 + x68 + x69 + x73 + x74 + x75 + x76 + x78 + x89 + x106 + x123 + x124 + x138 + x139 + x143 + x157 + x158 + x162 + x177 + x178 + x195 + x213 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x21 + x22 + x26 + x34 + x39 + x40 + x41 + x48 + x49 + x50 + x57 + x67 + x68 + x69 + x74 + x75 + x76 + x78 + x89 + x90 + x98 + x107 + x124 + x125 + x139 + x143 + x158 + x162 + x178 + x179 + x187 + x196 + x213 + x214 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x17 + x18 + x21 + x22 + x26 + x34 + x39 + x40 + x41 + x42 + x48 + x49 + x50 + x57 + x68 + x69 + x74 + x75 + x76 + x78 + x89 + x90 + x98 + x99 + x107 + x108 + x125 + x139 + x143 + x158 + x162 + x179 + x187 + x188 + x196 + x197 + x213 + x214 = 1 x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x17 + x18 + x21 + x22 + x26 + x34 + x39 + x40 + x41 + x42 + x49 + x50 + x57 + x68 + x69 + x74 + x75 + x76 + x77 + x78 + x90 + x98 + x99 + x107 + x108 + x125 + x139 + x140 + x143 + x144 + x158 + x159 + x162 + x163 + x179 + x187 + x188 + x196 + x197 + x214 = 1 x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x21 + x22 + x26 + x34 + x39 + x40 + x41 + x49 + x50 + x57 + x67 + x68 + x69 + x74 + x75 + x76 + x77 + x78 + x90 + x98 + x107 + x124 + x125 + x139 + x140 + x143 + x144 + x158 + x159 + x162 + x163 + x178 + x179 + x187 + x196 + x214 = 1 x3 + x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x17 + x18 + x19 + x20 + x21 + x22 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x40 + x41 + x42 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x68 + x69 + x75 + x76 + x77 + x78 + x81 + x90 + x91 + x92 + x98 + x99 + x108 + x116 + x125 + x126 + x127 + x140 + x143 + x144 + x159 + x162 + x163 + x170 + x179 + x180 + x181 + x187 + x188 + x197 + x205 + x214 + x215 + x216 = 1 x3 + x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x18 + x19 + x20 + x21 + x22 + x26 + x27 + x28 + x30 + x31 + x32 + x33 + x34 + x40 + x41 + x42 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x69 + x75 + x76 + x77 + x78 + x81 + x90 + x91 + x92 + x98 + x99 + x100 + x108 + x109 + x126 + x127 + x140 + x143 + x144 + x159 + x162 + x163 + x180 + x181 + x187 + x188 + x189 + x197 + x198 + x205 + x214 + x215 + x216 = 1 x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x18 + x19 + x20 + x21 + x22 + x25 + x26 + x27 + x28 + x30 + x31 + x32 + x33 + x34 + x40 + x41 + x42 + x50 + x51 + x52 + x53 + x54 + x56 + x57 + x58 + x59 + x69 + x75 + x76 + x77 + x78 + x81 + x91 + x98 + x99 + x100 + x108 + x109 + x126 + x127 + x140 + x141 + x143 + x144 + x145 + x159 + x160 + x162 + x163 + x164 + x180 + x181 + x187 + x188 + x189 + x197 + x198 + x205 + x215 = 1 x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x17 + x18 + x19 + x20 + x21 + x22 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x40 + x41 + x42 + x50 + x51 + x52 + x53 + x54 + x56 + x57 + x58 + x68 + x69 + x75 + x76 + x77 + x78 + x81 + x91 + x98 + x99 + x108 + x116 + x125 + x126 + x127 + x140 + x141 + x143 + x144 + x145 + x159 + x160 + x162 + x163 + x164 + x170 + x179 + x180 + x181 + x187 + x188 + x197 + x205 + x215 = 1 x4 + x7 + x8 + x9 + x10 + x13 + x14 + x18 + x19 + x20 + x21 + x22 + x25 + x26 + x27 + x28 + x30 + x31 + x32 + x33 + x34 + x41 + x42 + x50 + x51 + x52 + x53 + x54 + x56 + x57 + x58 + x59 + x69 + x76 + x77 + x78 + x81 + x91 + x99 + x100 + x109 + x126 + x127 + x141 + x144 + x145 + x160 + x163 + x164 + x180 + x181 + x188 + x189 + x198 + x205 + x215 = 1 x4 + x7 + x8 + x9 + x10 + x13 + x14 + x19 + x20 + x21 + x22 + x25 + x26 + x27 + x28 + x31 + x32 + x33 + x34 + x41 + x42 + x50 + x51 + x52 + x53 + x54 + x56 + x57 + x58 + x59 + x60 + x76 + x77 + x78 + x81 + x91 + x99 + x100 + x109 + x110 + x127 + x141 + x144 + x145 + x160 + x163 + x164 + x181 + x188 + x189 + x198 + x199 + x205 + x215 = 1 x7 + x8 + x9 + x10 + x13 + x14 + x19 + x20 + x21 + x22 + x24 + x25 + x26 + x27 + x28 + x31 + x32 + x33 + x34 + x41 + x42 + x51 + x52 + x53 + x56 + x57 + x58 + x59 + x60 + x76 + x77 + x78 + x81 + x99 + x100 + x109 + x110 + x127 + x141 + x142 + x144 + x145 + x160 + x161 + x163 + x164 + x181 + x188 + x189 + x198 + x199 + x205 = 1 x7 + x8 + x9 + x10 + x13 + x14 + x18 + x19 + x20 + x21 + x22 + x24 + x25 + x26 + x27 + x28 + x30 + x31 + x32 + x33 + x34 + x41 + x42 + x51 + x52 + x53 + x56 + x57 + x58 + x59 + x69 + x76 + x77 + x78 + x81 + x99 + x100 + x109 + x126 + x127 + x141 + x142 + x144 + x145 + x160 + x161 + x163 + x164 + x180 + x181 + x188 + x189 + x198 + x205 = 1 x8 + x9 + x10 + x14 + x19 + x20 + x21 + x22 + x24 + x25 + x27 + x28 + x31 + x32 + x33 + x34 + x42 + x51 + x52 + x53 + x56 + x58 + x59 + x60 + x77 + x78 + x81 + x100 + x110 + x127 + x142 + x145 + x161 + x164 + x181 + x189 + x199 + x205 = 1 x8 + x9 + x10 + x14 + x19 + x20 + x21 + x24 + x25 + x27 + x28 + x32 + x33 + x34 + x42 + x51 + x52 + x53 + x56 + x58 + x59 + x60 + x61 + x77 + x78 + x81 + x100 + x110 + x111 + x142 + x145 + x161 + x164 + x189 + x199 + x200 + x205 = 1 x8 + x9 + x10 + x14 + x19 + x20 + x23 + x24 + x25 + x27 + x28 + x32 + x33 + x34 + x42 + x51 + x52 + x56 + x58 + x59 + x60 + x61 + x77 + x78 + x100 + x110 + x111 + x132 + x142 + x145 + x151 + x161 + x164 + x189 + x199 + x200 = 1 x8 + x9 + x10 + x14 + x19 + x20 + x22 + x23 + x24 + x25 + x27 + x28 + x31 + x32 + x33 + x34 + x42 + x51 + x52 + x56 + x58 + x59 + x60 + x77 + x78 + x100 + x110 + x127 + x132 + x142 + x145 + x151 + x161 + x164 + x181 + x189 + x199 = 1 x1 + x15 + x43 + x62 + x82 + x117 + x171 + x206 = 1 x1 + x5 + x15 + x35 + x43 + x62 + x82 + x101 + x190 + x206 = 1 x1 + x5 + x15 + x35 + x43 + x62 + x82 + x101 + x190 + x206 = 1 x1 + x15 + x43 + x62 + x82 + x117 + x171 + x206 = 1 x1 + x2 + x5 + x15 + x16 + x35 + x43 + x44 + x62 + x63 + x82 + x83 + x101 + x118 + x172 + x190 + x206 + x207 = 1 x1 + x2 + x5 + x6 + x15 + x16 + x35 + x36 + x43 + x44 + x62 + x63 + x82 + x83 + x101 + x102 + x190 + x191 + x206 + x207 = 1 x1 + x2 + x5 + x6 + x15 + x16 + x35 + x36 + x43 + x44 + x62 + x63 + x82 + x83 + x101 + x102 + x190 + x191 + x206 + x207 = 1 x1 + x2 + x5 + x15 + x16 + x35 + x43 + x44 + x62 + x63 + x82 + x83 + x101 + x118 + x172 + x190 + x206 + x207 = 1 x1 + x2 + x3 + x5 + x6 + x15 + x16 + x17 + x35 + x36 + x43 + x44 + x45 + x62 + x63 + x64 + x82 + x83 + x84 + x101 + x102 + x119 + x173 + x190 + x191 + x206 + x207 + x208 = 1 x1 + x2 + x3 + x5 + x6 + x7 + x15 + x16 + x17 + x35 + x36 + x37 + x43 + x44 + x45 + x63 + x64 + x82 + x83 + x84 + x101 + x102 + x103 + x190 + x191 + x192 + x206 + x207 + x208 = 1 x1 + x2 + x3 + x5 + x6 + x7 + x11 + x15 + x16 + x17 + x35 + x36 + x37 + x43 + x44 + x45 + x63 + x64 + x70 + x83 + x84 + x101 + x102 + x103 + x133 + x152 + x190 + x191 + x192 + x207 + x208 = 1 x1 + x2 + x3 + x5 + x6 + x11 + x15 + x16 + x17 + x35 + x36 + x43 + x44 + x45 + x62 + x63 + x64 + x70 + x83 + x84 + x101 + x102 + x119 + x133 + x152 + x173 + x190 + x191 + x207 + x208 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x43 + x44 + x45 + x46 + x63 + x64 + x65 + x70 + x83 + x84 + x85 + x102 + x103 + x120 + x174 + x191 + x192 + x207 + x208 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x38 + x43 + x44 + x45 + x46 + x64 + x65 + x70 + x83 + x84 + x85 + x102 + x103 + x104 + x191 + x192 + x193 + x207 + x208 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x38 + x43 + x44 + x45 + x46 + x64 + x65 + x70 + x71 + x84 + x85 + x102 + x103 + x104 + x134 + x153 + x191 + x192 + x193 + x208 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x11 + x12 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x43 + x44 + x45 + x46 + x63 + x64 + x65 + x70 + x71 + x84 + x85 + x102 + x103 + x120 + x134 + x153 + x174 + x191 + x192 + x208 + x209 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x38 + x43 + x44 + x45 + x46 + x47 + x64 + x65 + x66 + x70 + x71 + x84 + x85 + x86 + x103 + x104 + x121 + x175 + x192 + x193 + x208 + x209 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x38 + x39 + x43 + x44 + x45 + x46 + x47 + x65 + x66 + x70 + x71 + x84 + x85 + x86 + x103 + x104 + x105 + x192 + x193 + x194 + x208 + x209 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x38 + x39 + x44 + x45 + x46 + x47 + x65 + x66 + x70 + x71 + x72 + x85 + x86 + x103 + x104 + x105 + x135 + x154 + x192 + x193 + x194 + x209 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x35 + x36 + x37 + x38 + x44 + x45 + x46 + x47 + x64 + x65 + x66 + x70 + x71 + x72 + x85 + x86 + x103 + x104 + x121 + x135 + x154 + x175 + x192 + x193 + x209 + x210 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x39 + x44 + x45 + x46 + x47 + x48 + x65 + x66 + x67 + x71 + x72 + x85 + x86 + x87 + x104 + x105 + x122 + x176 + x193 + x194 + x209 + x210 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x39 + x40 + x44 + x45 + x46 + x47 + x48 + x66 + x67 + x71 + x72 + x85 + x86 + x87 + x104 + x105 + x106 + x193 + x194 + x195 + x209 + x210 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x39 + x40 + x45 + x46 + x47 + x48 + x66 + x67 + x71 + x72 + x73 + x86 + x87 + x104 + x105 + x106 + x136 + x155 + x193 + x194 + x195 + x210 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x36 + x37 + x38 + x39 + x45 + x46 + x47 + x48 + x65 + x66 + x67 + x71 + x72 + x73 + x86 + x87 + x104 + x105 + x122 + x136 + x155 + x176 + x193 + x194 + x210 + x211 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x37 + x38 + x39 + x40 + x45 + x46 + x47 + x48 + x49 + x66 + x67 + x68 + x72 + x73 + x86 + x87 + x88 + x105 + x106 + x123 + x177 + x194 + x195 + x210 + x211 + x212 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x22 + x37 + x38 + x39 + x40 + x41 + x45 + x46 + x47 + x48 + x49 + x67 + x68 + x72 + x73 + x86 + x87 + x88 + x105 + x106 + x107 + x194 + x195 + x196 + x210 + x211 + x212 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x22 + x37 + x38 + x39 + x40 + x41 + x46 + x47 + x48 + x49 + x67 + x68 + x72 + x73 + x74 + x87 + x88 + x105 + x106 + x107 + x137 + x156 + x194 + x195 + x196 + x211 + x212 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x37 + x38 + x39 + x40 + x46 + x47 + x48 + x49 + x66 + x67 + x68 + x72 + x73 + x74 + x87 + x88 + x105 + x106 + x123 + x137 + x156 + x177 + x194 + x195 + x211 + x212 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x22 + x38 + x39 + x40 + x41 + x46 + x47 + x48 + x49 + x50 + x67 + x68 + x69 + x73 + x74 + x87 + x88 + x89 + x106 + x107 + x124 + x178 + x195 + x196 + x211 + x212 + x213 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x17 + x18 + x22 + x38 + x39 + x40 + x41 + x42 + x46 + x47 + x48 + x49 + x50 + x68 + x69 + x73 + x74 + x87 + x88 + x89 + x106 + x107 + x108 + x195 + x196 + x197 + x211 + x212 + x213 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x17 + x18 + x22 + x38 + x39 + x40 + x41 + x42 + x47 + x48 + x49 + x50 + x68 + x69 + x73 + x74 + x75 + x88 + x89 + x106 + x107 + x108 + x138 + x157 + x195 + x196 + x197 + x212 + x213 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x22 + x38 + x39 + x40 + x41 + x47 + x48 + x49 + x50 + x67 + x68 + x69 + x73 + x74 + x75 + x88 + x89 + x106 + x107 + x124 + x138 + x157 + x178 + x195 + x196 + x212 + x213 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x17 + x18 + x22 + x39 + x40 + x41 + x42 + x47 + x48 + x49 + x50 + x57 + x68 + x69 + x74 + x75 + x88 + x89 + x90 + x107 + x108 + x125 + x179 + x196 + x197 + x212 + x213 + x214 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x18 + x22 + x39 + x40 + x41 + x42 + x47 + x48 + x49 + x50 + x57 + x69 + x74 + x75 + x88 + x89 + x90 + x107 + x108 + x109 + x196 + x197 + x198 + x212 + x213 + x214 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x18 + x21 + x22 + x26 + x39 + x40 + x41 + x42 + x48 + x49 + x50 + x57 + x69 + x74 + x75 + x76 + x78 + x89 + x90 + x107 + x108 + x109 + x139 + x143 + x146 + x158 + x162 + x165 + x196 + x197 + x198 + x213 + x214 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x8 + x11 + x12 + x13 + x14 + x17 + x18 + x21 + x22 + x26 + x39 + x40 + x41 + x42 + x48 + x49 + x50 + x57 + x68 + x69 + x74 + x75 + x76 + x78 + x89 + x90 + x107 + x108 + x125 + x139 + x143 + x146 + x158 + x162 + x165 + x179 + x196 + x197 + x213 + x214 = 1 x2 + x3 + x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x18 + x19 + x20 + x21 + x22 + x26 + x28 + x30 + x31 + x32 + x33 + x40 + x41 + x42 + x48 + x49 + x50 + x52 + x53 + x54 + x55 + x57 + x58 + x59 + x69 + x75 + x76 + x78 + x89 + x90 + x91 + x92 + x93 + x108 + x109 + x126 + x127 + x128 + x143 + x146 + x162 + x165 + x180 + x181 + x182 + x197 + x198 + x213 + x214 + x215 + x216 + x217 = 1 x2 + x3 + x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x19 + x20 + x21 + x22 + x26 + x28 + x31 + x32 + x33 + x40 + x41 + x42 + x48 + x49 + x50 + x52 + x53 + x54 + x55 + x57 + x58 + x59 + x60 + x75 + x76 + x78 + x89 + x90 + x91 + x92 + x93 + x108 + x109 + x110 + x127 + x128 + x143 + x146 + x162 + x165 + x181 + x182 + x197 + x198 + x199 + x213 + x214 + x215 + x216 + x217 = 1 x3 + x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x19 + x20 + x21 + x22 + x26 + x27 + x28 + x31 + x32 + x33 + x40 + x41 + x42 + x49 + x50 + x52 + x53 + x54 + x55 + x57 + x58 + x59 + x60 + x75 + x76 + x77 + x78 + x90 + x91 + x92 + x108 + x109 + x110 + x127 + x128 + x140 + x143 + x144 + x146 + x147 + x159 + x162 + x163 + x165 + x166 + x181 + x182 + x197 + x198 + x199 + x214 + x215 + x216 = 1 x3 + x4 + x6 + x7 + x8 + x9 + x10 + x12 + x13 + x14 + x18 + x19 + x20 + x21 + x22 + x26 + x27 + x28 + x30 + x31 + x32 + x33 + x40 + x41 + x42 + x49 + x50 + x52 + x53 + x54 + x55 + x57 + x58 + x59 + x69 + x75 + x76 + x77 + x78 + x90 + x91 + x92 + x108 + x109 + x126 + x127 + x128 + x140 + x143 + x144 + x146 + x147 + x159 + x162 + x163 + x165 + x166 + x180 + x181 + x182 + x197 + x198 + x214 + x215 + x216 = 1 x3 + x4 + x7 + x8 + x9 + x10 + x13 + x14 + x19 + x20 + x21 + x22 + x26 + x27 + x28 + x31 + x32 + x33 + x41 + x42 + x49 + x50 + x52 + x53 + x54 + x55 + x57 + x58 + x59 + x60 + x76 + x77 + x78 + x90 + x91 + x92 + x109 + x110 + x127 + x128 + x144 + x146 + x147 + x163 + x165 + x166 + x181 + x182 + x198 + x199 + x214 + x215 + x216 = 1 x3 + x4 + x7 + x8 + x9 + x10 + x13 + x14 + x19 + x20 + x21 + x26 + x27 + x28 + x32 + x33 + x41 + x42 + x49 + x50 + x52 + x53 + x54 + x55 + x57 + x58 + x59 + x60 + x61 + x76 + x77 + x78 + x90 + x91 + x92 + x109 + x110 + x111 + x128 + x144 + x146 + x147 + x163 + x165 + x166 + x182 + x198 + x199 + x200 + x214 + x215 + x216 = 1 x4 + x7 + x8 + x9 + x10 + x13 + x14 + x19 + x20 + x21 + x25 + x26 + x27 + x28 + x32 + x33 + x41 + x42 + x50 + x52 + x53 + x54 + x57 + x58 + x59 + x60 + x61 + x76 + x77 + x78 + x91 + x109 + x110 + x111 + x128 + x141 + x144 + x145 + x146 + x147 + x160 + x163 + x164 + x165 + x166 + x182 + x198 + x199 + x200 + x215 = 1 x4 + x7 + x8 + x9 + x10 + x13 + x14 + x19 + x20 + x21 + x22 + x25 + x26 + x27 + x28 + x31 + x32 + x33 + x41 + x42 + x50 + x52 + x53 + x54 + x57 + x58 + x59 + x60 + x76 + x77 + x78 + x91 + x109 + x110 + x127 + x128 + x141 + x144 + x145 + x146 + x147 + x160 + x163 + x164 + x165 + x166 + x181 + x182 + x198 + x199 + x215 = 1 x4 + x8 + x9 + x10 + x14 + x19 + x20 + x21 + x25 + x27 + x28 + x32 + x33 + x42 + x50 + x52 + x53 + x54 + x58 + x59 + x60 + x61 + x77 + x78 + x91 + x110 + x111 + x128 + x145 + x147 + x164 + x166 + x182 + x199 + x200 + x215 = 1 x4 + x8 + x9 + x10 + x14 + x19 + x20 + x21 + x25 + x27 + x28 + x33 + x42 + x50 + x52 + x53 + x54 + x58 + x59 + x60 + x61 + x77 + x78 + x91 + x110 + x111 + x112 + x145 + x147 + x164 + x166 + x199 + x200 + x201 + x215 = 1 x8 + x9 + x10 + x14 + x19 + x20 + x21 + x24 + x25 + x27 + x28 + x33 + x42 + x52 + x53 + x58 + x59 + x60 + x61 + x77 + x78 + x110 + x111 + x112 + x142 + x145 + x147 + x161 + x164 + x166 + x199 + x200 + x201 = 1 x8 + x9 + x10 + x14 + x19 + x20 + x21 + x24 + x25 + x27 + x28 + x32 + x33 + x42 + x52 + x53 + x58 + x59 + x60 + x61 + x77 + x78 + x110 + x111 + x128 + x142 + x145 + x147 + x161 + x164 + x166 + x182 + x199 + x200 = 1 x9 + x19 + x20 + x22 + x31 + x32 + x33 + x53 + x54 + x55 + x59 + x60 + x92 + x93 + x94 + x127 + x128 + x129 + x181 + x182 + x183 + x216 + x217 + x218 = 1 x9 + x19 + x20 + x32 + x33 + x53 + x54 + x55 + x59 + x60 + x61 + x92 + x93 + x94 + x111 + x128 + x129 + x182 + x183 + x200 + x216 + x217 + x218 = 1 x9 + x10 + x19 + x20 + x21 + x26 + x28 + x32 + x33 + x53 + x54 + x55 + x59 + x60 + x61 + x78 + x92 + x93 + x111 + x128 + x129 + x143 + x146 + x148 + x162 + x165 + x167 + x182 + x183 + x200 + x216 + x217 = 1 x9 + x10 + x19 + x20 + x21 + x22 + x26 + x28 + x31 + x32 + x33 + x53 + x54 + x55 + x59 + x60 + x78 + x92 + x93 + x127 + x128 + x129 + x143 + x146 + x148 + x162 + x165 + x167 + x181 + x182 + x183 + x216 + x217 = 1 x9 + x10 + x19 + x20 + x21 + x26 + x28 + x32 + x33 + x53 + x54 + x55 + x59 + x60 + x61 + x78 + x92 + x93 + x111 + x128 + x129 + x146 + x148 + x165 + x167 + x182 + x183 + x200 + x216 + x217 = 1 x9 + x10 + x19 + x20 + x21 + x26 + x28 + x33 + x53 + x54 + x55 + x59 + x60 + x61 + x78 + x92 + x93 + x111 + x112 + x129 + x146 + x148 + x165 + x167 + x183 + x200 + x201 + x216 + x217 = 1 x9 + x10 + x19 + x20 + x21 + x26 + x27 + x28 + x33 + x53 + x54 + x55 + x59 + x60 + x61 + x78 + x92 + x111 + x112 + x129 + x144 + x146 + x147 + x148 + x163 + x165 + x166 + x167 + x183 + x200 + x201 + x216 = 1 x9 + x10 + x19 + x20 + x21 + x26 + x27 + x28 + x32 + x33 + x53 + x54 + x55 + x59 + x60 + x61 + x78 + x92 + x111 + x128 + x129 + x144 + x146 + x147 + x148 + x163 + x165 + x166 + x167 + x182 + x183 + x200 + x216 = 1 x9 + x10 + x19 + x20 + x21 + x27 + x28 + x33 + x53 + x54 + x55 + x59 + x60 + x61 + x78 + x92 + x111 + x112 + x129 + x147 + x148 + x166 + x167 + x183 + x200 + x201 + x216 = 1 x10 + x19 + x20 + x21 + x27 + x28 + x53 + x54 + x55 + x59 + x60 + x61 + x78 + x92 + x111 + x112 + x113 + x147 + x148 + x166 + x167 + x200 + x201 + x202 + x216 = 1 x10 + x19 + x20 + x21 + x25 + x27 + x28 + x53 + x54 + x59 + x60 + x61 + x78 + x111 + x112 + x113 + x145 + x147 + x148 + x164 + x166 + x167 + x200 + x201 + x202 = 1 x9 + x10 + x19 + x20 + x21 + x25 + x27 + x28 + x33 + x53 + x54 + x59 + x60 + x61 + x78 + x111 + x112 + x129 + x145 + x147 + x148 + x164 + x166 + x167 + x183 + x200 + x201 = 1 x9 + x19 + x20 + x32 + x33 + x54 + x55 + x60 + x61 + x93 + x94 + x128 + x129 + x182 + x183 + x217 + x218 = 1 x9 + x19 + x20 + x33 + x54 + x55 + x60 + x61 + x93 + x94 + x112 + x129 + x183 + x201 + x217 + x218 = 1 x9 + x19 + x20 + x33 + x54 + x55 + x60 + x61 + x93 + x94 + x112 + x129 + x183 + x201 + x217 + x218 = 1 x9 + x19 + x20 + x32 + x33 + x54 + x55 + x60 + x61 + x93 + x94 + x128 + x129 + x182 + x183 + x217 + x218 = 1 x9 + x19 + x20 + x33 + x54 + x55 + x60 + x61 + x93 + x94 + x112 + x129 + x183 + x201 + x217 + x218 = 1 x19 + x20 + x54 + x55 + x60 + x61 + x93 + x94 + x112 + x113 + x201 + x202 + x217 + x218 = 1 x10 + x19 + x20 + x21 + x26 + x28 + x54 + x55 + x60 + x61 + x93 + x112 + x113 + x146 + x148 + x165 + x167 + x201 + x202 + x217 = 1 x9 + x10 + x19 + x20 + x21 + x26 + x28 + x33 + x54 + x55 + x60 + x61 + x93 + x112 + x129 + x146 + x148 + x165 + x167 + x183 + x201 + x217 = 1 x10 + x19 + x20 + x21 + x28 + x54 + x55 + x60 + x61 + x93 + x112 + x113 + x148 + x167 + x201 + x202 + x217 = 1 x10 + x19 + x20 + x21 + x28 + x54 + x55 + x60 + x61 + x93 + x112 + x113 + x148 + x167 + x201 + x202 + x217 = 1 x10 + x19 + x20 + x21 + x27 + x28 + x54 + x55 + x60 + x61 + x112 + x113 + x147 + x148 + x166 + x167 + x201 + x202 = 1 x10 + x19 + x20 + x21 + x27 + x28 + x54 + x55 + x60 + x61 + x112 + x113 + x147 + x148 + x166 + x167 + x201 + x202 = 1 x9 + x19 + x20 + x33 + x55 + x61 + x94 + x129 + x183 + x218 = 1 x19 + x20 + x55 + x61 + x94 + x113 + x202 + x218 = 1 x19 + x20 + x55 + x61 + x94 + x113 + x202 + x218 = 1 x9 + x19 + x20 + x33 + x55 + x61 + x94 + x129 + x183 + x218 = 1 x19 + x20 + x55 + x61 + x94 + x113 + x202 + x218 = 1 x19 + x20 + x55 + x61 + x94 + x113 + x202 + x218 = 1 x19 + x20 + x55 + x61 + x94 + x113 + x202 + x218 = 1 x19 + x20 + x55 + x61 + x94 + x113 + x202 + x218 = 1 x19 + x20 + x55 + x61 + x94 + x113 + x202 + x218 = 1 x19 + x20 + x55 + x61 + x94 + x113 + x202 + x218 = 1 x10 + x19 + x20 + x21 + x28 + x55 + x61 + x113 + x148 + x167 + x202 = 1 x10 + x19 + x20 + x21 + x28 + x55 + x61 + x113 + x148 + x167 + x202 = 1 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 = 1 x21 + x22 = 1 x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 = 1 x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + 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 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 = 1 Binary x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 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 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 End