\ The Fat T puzzle LP file Maximize Subject to x4 + x8 + x9 + x63 + x113 + x277 = 1 x4 + x8 + x9 + x63 + x113 + x277 = 1 x4 + x8 + x9 + x63 + x64 + x113 + x114 + x277 + x278 = 1 x4 + x8 + x9 + x63 + x64 + x113 + x114 + x277 + x278 = 1 x4 + x8 + x9 + x63 + x113 + x277 = 1 x4 + x8 + x9 + x63 + x113 + x277 = 1 x4 + x8 + x9 + x63 + x65 + x113 + x115 + x277 + x279 = 1 x4 + x8 + x9 + x63 + x65 + x113 + x115 + x277 + x279 = 1 x4 + x5 + x8 + x9 + x48 + x63 + x64 + x66 + x113 + x114 + x116 + x277 + x278 + x280 = 1 x4 + x5 + x8 + x9 + x48 + x63 + x64 + x66 + x78 + x113 + x114 + x116 + x141 + x257 + x277 + x278 + x280 = 1 x4 + x8 + x9 + x48 + x63 + x64 + x78 + x113 + x114 + x141 + x257 + x277 + x278 = 1 x4 + x8 + x9 + x48 + x63 + x64 + x113 + x114 + x277 + x278 = 1 x4 + x8 + x9 + x48 + x63 + x64 + x65 + x67 + x113 + x114 + x115 + x117 + x277 + x278 + x279 + x281 = 1 x4 + x8 + x9 + x48 + x63 + x64 + x65 + x67 + x79 + x113 + x114 + x115 + x117 + x142 + x258 + x277 + x278 + x279 + x281 = 1 x4 + x8 + x9 + x48 + x63 + x65 + x79 + x113 + x115 + x142 + x258 + x277 + x279 = 1 x4 + x8 + x9 + x48 + x63 + x65 + x113 + x115 + x277 + x279 = 1 x4 + x8 + x9 + x48 + x63 + x65 + x68 + x113 + x115 + x118 + x277 + x279 + x282 = 1 x4 + x8 + x9 + x48 + x63 + x65 + x68 + x113 + x115 + x118 + x277 + x279 + x282 = 1 x1 + x13 + x23 + x49 + x69 + x88 + x119 + x161 + x229 + x283 = 1 x1 + x13 + x23 + x49 + x69 + x88 + x119 + x161 + x229 + x283 = 1 x1 + x5 + x12 + x13 + x23 + x49 + x88 + x103 + x161 + x189 + x209 + x229 = 1 x1 + x5 + x12 + x13 + x23 + x49 + x88 + x103 + x161 + x189 + x209 + x229 = 1 x1 + x5 + x12 + x13 + x14 + x23 + x24 + x49 + x50 + x70 + x88 + x89 + x103 + x120 + x161 + x162 + x189 + x209 + x229 + x230 + x284 = 1 x1 + x5 + x12 + x13 + x14 + x23 + x24 + x49 + x50 + x70 + x88 + x89 + x103 + x120 + x161 + x162 + x189 + x209 + x229 + x230 + x284 = 1 x1 + x5 + x12 + x13 + x14 + x23 + x24 + x49 + x50 + x88 + x89 + x103 + x104 + x161 + x162 + x189 + x190 + x209 + x210 + x229 + x230 = 1 x1 + x5 + x12 + x13 + x14 + x23 + x24 + x49 + x50 + x88 + x89 + x103 + x104 + x161 + x162 + x189 + x190 + x209 + x210 + x229 + x230 = 1 x1 + x5 + x12 + x13 + x14 + x15 + x23 + x24 + x25 + x49 + x50 + x51 + x71 + x88 + x89 + x103 + x104 + x121 + x161 + x162 + x163 + x189 + x190 + x209 + x210 + x229 + x230 + x231 + x285 = 1 x1 + x5 + x12 + x13 + x14 + x15 + x23 + x24 + x25 + x38 + x49 + x50 + x51 + x71 + x78 + x80 + x88 + x89 + x103 + x104 + x121 + x141 + x143 + x162 + x163 + x189 + x190 + x209 + x210 + x230 + x231 + x257 + x259 + x285 = 1 x1 + x5 + x8 + x12 + x13 + x14 + x15 + x23 + x24 + x25 + x38 + x50 + x51 + x78 + x80 + x88 + x89 + x103 + x104 + x141 + x143 + x162 + x163 + x189 + x190 + x191 + x209 + x210 + x211 + x230 + x231 + x257 + x259 = 1 x1 + x5 + x8 + x12 + x13 + x14 + x15 + x23 + x24 + x25 + x50 + x51 + x88 + x89 + x103 + x104 + x161 + x162 + x163 + x189 + x190 + x191 + x209 + x210 + x211 + x229 + x230 + x231 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x14 + x15 + x16 + x24 + x25 + x26 + x38 + x48 + x50 + x51 + x52 + x63 + x64 + x66 + x72 + x78 + x88 + x89 + x103 + x104 + x114 + x116 + x122 + x141 + x162 + x163 + x164 + x190 + x191 + x210 + x211 + x230 + x231 + x232 + x257 + x278 + x280 + x286 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x14 + x15 + x16 + x24 + x25 + x26 + x38 + x39 + x48 + x50 + x51 + x52 + x63 + x64 + x66 + x72 + x78 + x79 + x81 + x88 + x89 + x103 + x104 + x114 + x116 + x122 + x141 + x142 + x144 + x163 + x164 + x190 + x191 + x210 + x211 + x231 + x232 + x257 + x258 + x260 + x278 + x280 + x286 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x14 + x15 + x16 + x24 + x25 + x26 + x38 + x39 + x48 + x51 + x52 + x63 + x64 + x66 + x78 + x79 + x81 + x88 + x89 + x103 + x104 + x114 + x116 + x141 + x142 + x144 + x163 + x164 + x190 + x191 + x192 + x210 + x211 + x212 + x231 + x232 + x257 + x258 + x260 + x278 + x280 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x14 + x15 + x16 + x24 + x25 + x26 + x38 + x48 + x51 + x52 + x63 + x64 + x66 + x78 + x88 + x89 + x103 + x104 + x114 + x116 + x141 + x162 + x163 + x164 + x190 + x191 + x192 + x210 + x211 + x212 + x230 + x231 + x232 + x257 + x278 + x280 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x15 + x16 + x25 + x26 + x38 + x39 + x48 + x51 + x52 + x53 + x63 + x64 + x65 + x66 + x67 + x73 + x79 + x88 + x89 + x103 + x104 + x114 + x115 + x116 + x117 + x123 + x142 + x163 + x164 + x191 + x192 + x211 + x212 + x231 + x232 + x258 + x278 + x279 + x280 + x281 + x287 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x15 + x16 + x25 + x26 + x38 + x39 + x48 + x51 + x52 + x53 + x63 + x64 + x65 + x66 + x67 + x73 + x79 + x82 + x89 + x103 + x104 + x114 + x115 + x116 + x117 + x123 + x142 + x145 + x164 + x191 + x192 + x211 + x212 + x232 + x258 + x261 + x278 + x279 + x280 + x281 + x287 = 1 x1 + x2 + x4 + x8 + x9 + x15 + x16 + x25 + x26 + x38 + x39 + x48 + x52 + x53 + x63 + x64 + x65 + x67 + x79 + x82 + x89 + x103 + x104 + x114 + x115 + x117 + x142 + x145 + x164 + x191 + x192 + x211 + x212 + x232 + x258 + x261 + x278 + x279 + x281 = 1 x1 + x2 + x4 + x8 + x9 + x15 + x16 + x25 + x26 + x38 + x39 + x48 + x52 + x53 + x63 + x64 + x65 + x67 + x79 + x88 + x89 + x103 + x104 + x114 + x115 + x117 + x142 + x163 + x164 + x191 + x192 + x211 + x212 + x231 + x232 + x258 + x278 + x279 + x281 = 1 x1 + x2 + x4 + x8 + x9 + x16 + x26 + x39 + x48 + x52 + x53 + x63 + x64 + x65 + x67 + x68 + x89 + x104 + x114 + x115 + x117 + x118 + x124 + x164 + x192 + x212 + x232 + x278 + x279 + x281 + x282 + x288 = 1 x1 + x2 + x4 + x7 + x8 + x9 + x10 + x16 + x26 + x39 + x48 + x52 + x53 + x63 + x64 + x65 + x67 + x68 + x83 + x104 + x114 + x115 + x117 + x118 + x124 + x146 + x192 + x212 + x262 + x278 + x279 + x281 + x282 + x288 = 1 x1 + x2 + x4 + x7 + x8 + x9 + x10 + x16 + x26 + x39 + x48 + x53 + x63 + x65 + x68 + x83 + x104 + x115 + x118 + x146 + x192 + x212 + x262 + x279 + x282 = 1 x1 + x2 + x4 + x8 + x9 + x16 + x26 + x39 + x48 + x53 + x63 + x65 + x68 + x89 + x104 + x115 + x118 + x164 + x192 + x212 + x232 + x279 + x282 = 1 x1 + x8 + x9 + x48 + x53 + x65 + x68 + x115 + x118 + x125 + x279 + x282 + x289 = 1 x1 + x8 + x9 + x48 + x53 + x65 + x68 + x115 + x118 + x125 + x279 + x282 + x289 = 1 x1 + x13 + x17 + x23 + x27 + x49 + x54 + x69 + x74 + x88 + x90 + x119 + x126 + x161 + x165 + x229 + x233 + x283 + x290 = 1 x1 + x13 + x17 + x23 + x27 + x49 + x54 + x69 + x74 + x88 + x90 + x119 + x126 + x161 + x165 + x229 + x233 + x283 + x290 = 1 x1 + x13 + x17 + x23 + x27 + x49 + x54 + x69 + x88 + x90 + x105 + x119 + x161 + x165 + x193 + x213 + x229 + x233 + x283 = 1 x1 + x13 + x17 + x23 + x27 + x49 + x54 + x69 + x88 + x90 + x105 + x119 + x161 + x165 + x193 + x213 + x229 + x233 + x283 = 1 x1 + x13 + x14 + x17 + x18 + x23 + x24 + x27 + x28 + x49 + x50 + x54 + x55 + x69 + x70 + x75 + x88 + x89 + x90 + x91 + x105 + x119 + x120 + x127 + x161 + x162 + x165 + x166 + x193 + x213 + x229 + x230 + x233 + x234 + x283 + x284 + x291 = 1 x1 + x13 + x14 + x17 + x18 + x23 + x24 + x27 + x28 + x38 + x49 + x50 + x54 + x55 + x69 + x70 + x75 + x78 + x80 + x88 + x89 + x90 + x91 + x105 + x119 + x120 + x127 + x141 + x143 + x162 + x165 + x166 + x193 + x213 + x230 + x233 + x234 + x257 + x259 + x283 + x284 + x291 = 1 x1 + x5 + x12 + x13 + x14 + x17 + x18 + x23 + x24 + x27 + x28 + x38 + x49 + x50 + x54 + x55 + x70 + x78 + x80 + x88 + x89 + x90 + x91 + x103 + x105 + x106 + x120 + x141 + x143 + x162 + x165 + x166 + x189 + x193 + x194 + x209 + x213 + x214 + x230 + x233 + x234 + x257 + x259 + x284 = 1 x1 + x5 + x12 + x13 + x14 + x17 + x18 + x23 + x24 + x27 + x28 + x49 + x50 + x54 + x55 + x70 + x88 + x89 + x90 + x91 + x103 + x105 + x106 + x120 + x161 + x162 + x165 + x166 + x189 + x193 + x194 + x209 + x213 + x214 + x229 + x230 + x233 + x234 + x284 = 1 x1 + x5 + x12 + x13 + x14 + x15 + x17 + x18 + x19 + x23 + x24 + x25 + x27 + x28 + x29 + x38 + x49 + x50 + x51 + x54 + x55 + x56 + x70 + x71 + x76 + x78 + x80 + x88 + x89 + x90 + x91 + x92 + x103 + x105 + x106 + x120 + x121 + x128 + x141 + x143 + x162 + x163 + x165 + x166 + x167 + x189 + x193 + x194 + x209 + x213 + x214 + x230 + x231 + x233 + x234 + x235 + x257 + x259 + x284 + x285 + x292 = 1 x1 + x5 + x12 + x13 + x14 + x15 + x17 + x18 + x19 + x23 + x24 + x25 + x27 + x28 + x29 + x38 + x39 + x40 + x49 + x50 + x51 + x54 + x55 + x56 + x70 + x71 + x76 + x78 + x79 + x80 + x81 + x84 + x88 + x89 + x90 + x91 + x92 + x103 + x105 + x106 + x120 + x121 + x128 + x141 + x142 + x143 + x144 + x147 + x163 + x166 + x167 + x189 + x193 + x194 + x209 + x213 + x214 + x231 + x234 + x235 + x257 + x258 + x259 + x260 + x263 + x284 + x285 + x292 = 1 x1 + x5 + x12 + x13 + x14 + x15 + x17 + x18 + x19 + x23 + x24 + x25 + x27 + x28 + x29 + x38 + x39 + x40 + x49 + x50 + x51 + x55 + x56 + x71 + x78 + x79 + x80 + x81 + x84 + x88 + x89 + x90 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x121 + x141 + x142 + x143 + x144 + x147 + x163 + x166 + x167 + x189 + x190 + x193 + x194 + x195 + x209 + x210 + x213 + x214 + x215 + x231 + x234 + x235 + x257 + x258 + x259 + x260 + x263 + x285 = 1 x1 + x5 + x12 + x13 + x14 + x15 + x17 + x18 + x19 + x23 + x24 + x25 + x27 + x28 + x29 + x38 + x49 + x50 + x51 + x55 + x56 + x71 + x78 + x80 + x88 + x89 + x90 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x121 + x141 + x143 + x162 + x163 + x165 + x166 + x167 + x189 + x190 + x193 + x194 + x195 + x209 + x210 + x213 + x214 + x215 + x230 + x231 + x233 + x234 + x235 + x257 + x259 + x285 = 1 x1 + x2 + x4 + x5 + x12 + x14 + x15 + x16 + x18 + x19 + x20 + x24 + x25 + x26 + x28 + x29 + x30 + x38 + x39 + x40 + x48 + x49 + x50 + x51 + x52 + x55 + x56 + x57 + x63 + x64 + x66 + x71 + x72 + x77 + x78 + x79 + x81 + x88 + x89 + x90 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x116 + x121 + x122 + x129 + x141 + x142 + x144 + x163 + x164 + x166 + x167 + x168 + x190 + x194 + x195 + x210 + x214 + x215 + x231 + x232 + x234 + x235 + x236 + x257 + x258 + x260 + x280 + x285 + x286 + x293 = 1 x1 + x2 + x4 + x5 + x12 + x14 + x15 + x16 + x18 + x19 + x20 + x24 + x25 + x26 + x28 + x29 + x30 + x38 + x39 + x40 + x41 + x48 + x49 + x50 + x51 + x52 + x55 + x56 + x57 + x63 + x64 + x66 + x71 + x72 + x77 + x78 + x79 + x81 + x82 + x85 + x89 + x90 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x116 + x121 + x122 + x129 + x141 + x142 + x144 + x145 + x148 + x164 + x167 + x168 + x190 + x194 + x195 + x210 + x214 + x215 + x232 + x235 + x236 + x257 + x258 + x260 + x261 + x264 + x280 + x285 + x286 + x293 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x14 + x15 + x16 + x18 + x19 + x20 + x24 + x25 + x26 + x28 + x29 + x30 + x38 + x39 + x40 + x41 + x48 + x50 + x51 + x52 + x56 + x57 + x63 + x64 + x66 + x72 + x78 + x79 + x81 + x82 + x85 + x89 + x90 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x116 + x122 + x141 + x142 + x144 + x145 + x148 + x164 + x167 + x168 + x190 + x191 + x194 + x195 + x196 + x210 + x211 + x214 + x215 + x216 + x232 + x235 + x236 + x257 + x258 + x260 + x261 + x264 + x280 + x286 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x14 + x15 + x16 + x18 + x19 + x20 + x24 + x25 + x26 + x28 + x29 + x30 + x38 + x39 + x40 + x48 + x50 + x51 + x52 + x56 + x57 + x63 + x64 + x66 + x72 + x78 + x79 + x81 + x88 + x89 + x90 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x116 + x122 + x141 + x142 + x144 + x163 + x164 + x166 + x167 + x168 + x190 + x191 + x194 + x195 + x196 + x210 + x211 + x214 + x215 + x216 + x231 + x232 + x234 + x235 + x236 + x257 + x258 + x260 + x280 + x286 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x15 + x16 + x19 + x20 + x25 + x26 + x29 + x30 + x31 + x38 + x39 + x40 + x41 + x48 + x50 + x51 + x52 + x53 + x56 + x57 + x63 + x64 + x65 + x66 + x67 + x72 + x73 + x79 + x82 + x89 + x90 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x116 + x117 + x122 + x123 + x130 + x142 + x145 + x164 + x167 + x168 + x169 + x191 + x195 + x196 + x211 + x215 + x216 + x232 + x235 + x236 + x237 + x258 + x261 + x280 + x281 + x286 + x287 + x294 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x12 + x15 + x16 + x19 + x20 + x25 + x26 + x29 + x30 + x31 + x38 + x39 + x40 + x41 + x42 + x48 + x50 + x51 + x52 + x53 + x56 + x57 + x63 + x64 + x65 + x66 + x67 + x72 + x73 + x79 + x82 + x83 + x86 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x116 + x117 + x122 + x123 + x130 + x142 + x145 + x146 + x149 + x168 + x169 + x191 + x195 + x196 + x211 + x215 + x216 + x236 + x237 + x258 + x261 + x262 + x265 + x280 + x281 + x286 + x287 + x294 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x12 + x15 + x16 + x19 + x20 + x25 + x26 + x29 + x30 + x31 + x38 + x39 + x40 + x41 + x42 + x48 + x51 + x52 + x53 + x57 + x63 + x64 + x65 + x66 + x67 + x73 + x79 + x82 + x83 + x86 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x116 + x117 + x123 + x142 + x145 + x146 + x149 + x168 + x169 + x191 + x192 + x195 + x196 + x197 + x211 + x212 + x215 + x216 + x217 + x236 + x237 + x258 + x261 + x262 + x265 + x280 + x281 + x287 = 1 x1 + x2 + x4 + x5 + x8 + x9 + x12 + x15 + x16 + x19 + x20 + x25 + x26 + x29 + x30 + x31 + x38 + x39 + x40 + x41 + x48 + x51 + x52 + x53 + x57 + x63 + x64 + x65 + x66 + x67 + x73 + x79 + x82 + x89 + x90 + x91 + x92 + x103 + x104 + x105 + x106 + x107 + x116 + x117 + x123 + x142 + x145 + x164 + x167 + x168 + x169 + x191 + x192 + x195 + x196 + x197 + x211 + x212 + x215 + x216 + x217 + x232 + x235 + x236 + x237 + x258 + x261 + x280 + x281 + x287 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x12 + x16 + x20 + x26 + x30 + x31 + x39 + x41 + x42 + x48 + x51 + x52 + x53 + x57 + x63 + x64 + x65 + x66 + x67 + x68 + x73 + x83 + x91 + x92 + x104 + x106 + x107 + x116 + x117 + x118 + x123 + x124 + x131 + x146 + x168 + x169 + x192 + x196 + x197 + x212 + x216 + x217 + x236 + x237 + x262 + x280 + x281 + x282 + x287 + x288 + x295 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x12 + x16 + x20 + x26 + x30 + x31 + x39 + x41 + x42 + x48 + x51 + x52 + x53 + x57 + x63 + x64 + x65 + x66 + x67 + x68 + x73 + x83 + x87 + x92 + x104 + x106 + x107 + x116 + x117 + x118 + x123 + x124 + x131 + x146 + x150 + x169 + x192 + x196 + x197 + x212 + x216 + x217 + x237 + x262 + x266 + x280 + x281 + x282 + x287 + x288 + x295 = 1 x1 + x2 + x4 + x7 + x8 + x9 + x10 + x16 + x20 + x26 + x30 + x31 + x39 + x41 + x42 + x48 + x52 + x53 + x63 + x64 + x65 + x67 + x68 + x83 + x87 + x92 + x104 + x106 + x107 + x117 + x118 + x124 + x146 + x150 + x169 + x192 + x196 + x197 + x212 + x216 + x217 + x237 + x262 + x266 + x281 + x282 + x288 = 1 x1 + x2 + x4 + x7 + x8 + x9 + x10 + x16 + x20 + x26 + x30 + x31 + x39 + x41 + x42 + x48 + x52 + x53 + x63 + x64 + x65 + x67 + x68 + x83 + x91 + x92 + x104 + x106 + x107 + x117 + x118 + x124 + x146 + x168 + x169 + x192 + x196 + x197 + x212 + x216 + x217 + x236 + x237 + x262 + x281 + x282 + x288 = 1 x1 + x8 + x9 + x31 + x42 + x48 + x52 + x53 + x65 + x67 + x68 + x92 + x107 + x117 + x118 + x124 + x125 + x169 + x197 + x217 + x237 + x281 + x282 + x288 + x289 = 1 x1 + x8 + x9 + x31 + x42 + x48 + x52 + x53 + x65 + x67 + x68 + x107 + x117 + x118 + x124 + x125 + x151 + x197 + x217 + x267 + x281 + x282 + x288 + x289 = 1 x1 + x8 + x9 + x31 + x42 + x48 + x53 + x65 + x68 + x107 + x118 + x125 + x151 + x197 + x217 + x267 + x282 + x289 = 1 x1 + x8 + x9 + x31 + x42 + x48 + x53 + x65 + x68 + x92 + x107 + x118 + x125 + x169 + x197 + x217 + x237 + x282 + x289 = 1 x1 + x8 + x9 + x48 + x53 + x68 + x118 + x125 + x282 + x289 = 1 x1 + x8 + x9 + x48 + x53 + x68 + x118 + x125 + x282 + x289 = 1 x1 + x17 + x23 + x27 + x49 + x54 + x58 + x69 + x74 + x88 + x90 + x93 + x119 + x126 + x132 + x161 + x165 + x170 + x229 + x233 + x238 + x283 + x290 + x296 = 1 x1 + x17 + x23 + x27 + x38 + x49 + x54 + x58 + x69 + x74 + x80 + x88 + x90 + x93 + x119 + x126 + x132 + x143 + x165 + x170 + x233 + x238 + x259 + x283 + x290 + x296 = 1 x1 + x13 + x17 + x23 + x27 + x38 + x49 + x54 + x58 + x69 + x74 + x80 + x88 + x90 + x93 + x108 + x119 + x126 + x143 + x165 + x170 + x198 + x218 + x233 + x238 + x259 + x283 + x290 = 1 x1 + x13 + x17 + x23 + x27 + x49 + x54 + x58 + x69 + x74 + x88 + x90 + x93 + x108 + x119 + x126 + x161 + x165 + x170 + x198 + x218 + x229 + x233 + x238 + x283 + x290 = 1 x1 + x13 + x17 + x18 + x21 + x23 + x24 + x27 + x28 + x38 + x49 + x50 + x54 + x55 + x58 + x59 + x69 + x70 + x74 + x75 + x78 + x80 + x88 + x89 + x90 + x91 + x93 + x94 + x108 + x119 + x120 + x126 + x127 + x133 + x143 + x162 + x165 + x166 + x170 + x171 + x198 + x218 + x230 + x233 + x234 + x238 + x239 + x259 + x283 + x284 + x290 + x291 + x297 = 1 x1 + x13 + x17 + x18 + x21 + x23 + x24 + x27 + x28 + x38 + x39 + x40 + x49 + x50 + x54 + x55 + x58 + x59 + x69 + x70 + x74 + x75 + x78 + x80 + x81 + x84 + x88 + x89 + x90 + x91 + x93 + x94 + x108 + x119 + x120 + x126 + x127 + x133 + x143 + x144 + x147 + x166 + x170 + x171 + x198 + x218 + x234 + x238 + x239 + x259 + x260 + x263 + x283 + x284 + x290 + x291 + x297 = 1 x1 + x13 + x14 + x17 + x18 + x21 + x23 + x24 + x27 + x28 + x38 + x39 + x40 + x49 + x50 + x54 + x55 + x58 + x59 + x69 + x70 + x75 + x78 + x80 + x81 + x84 + x88 + x89 + x90 + x91 + x93 + x94 + x105 + x108 + x109 + x119 + x120 + x127 + x143 + x144 + x147 + x166 + x170 + x171 + x193 + x198 + x199 + x213 + x218 + x219 + x234 + x238 + x239 + x259 + x260 + x263 + x283 + x284 + x291 = 1 x1 + x13 + x14 + x17 + x18 + x21 + x23 + x24 + x27 + x28 + x38 + x49 + x50 + x54 + x55 + x58 + x59 + x69 + x70 + x75 + x78 + x80 + x88 + x89 + x90 + x91 + x93 + x94 + x105 + x108 + x109 + x119 + x120 + x127 + x143 + x162 + x165 + x166 + x170 + x171 + x193 + x198 + x199 + x213 + x218 + x219 + x230 + x233 + x234 + x238 + x239 + x259 + x283 + x284 + x291 = 1 x1 + x13 + x14 + x17 + x18 + x19 + x21 + x22 + x23 + x24 + x25 + x27 + x28 + x29 + x38 + x39 + x40 + x49 + x50 + x51 + x54 + x55 + x56 + x58 + x59 + x60 + x69 + x70 + x71 + x75 + x76 + x78 + x79 + x80 + x81 + x84 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x105 + x108 + x109 + x119 + x120 + x121 + x127 + x128 + x134 + x143 + x144 + x147 + x163 + x166 + x167 + x170 + x171 + x172 + x193 + x198 + x199 + x213 + x218 + x219 + x231 + x234 + x235 + x238 + x239 + x240 + x259 + x260 + x263 + x283 + x284 + x285 + x291 + x292 + x298 = 1 x1 + x13 + x14 + x17 + x18 + x19 + x21 + x22 + x24 + x25 + x27 + x28 + x29 + x38 + x39 + x40 + x41 + x43 + x49 + x50 + x51 + x54 + x55 + x56 + x58 + x59 + x60 + x69 + x70 + x71 + x75 + x76 + x78 + x79 + x80 + x81 + x82 + x84 + x85 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x105 + x108 + x109 + x119 + x120 + x121 + x127 + x128 + x134 + x143 + x144 + x145 + x147 + x148 + x152 + x167 + x171 + x172 + x193 + x198 + x199 + x213 + x218 + x219 + x235 + x239 + x240 + x259 + x260 + x261 + x263 + x264 + x268 + x283 + x284 + x285 + x291 + x292 + x298 = 1 x1 + x5 + x12 + x13 + x14 + x15 + x17 + x18 + x19 + x21 + x22 + x24 + x25 + x27 + x28 + x29 + x38 + x39 + x40 + x41 + x43 + x49 + x50 + x51 + x54 + x55 + x56 + x59 + x60 + x70 + x71 + x76 + x78 + x79 + x80 + x81 + x82 + x84 + x85 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x103 + x105 + x106 + x108 + x109 + x110 + x120 + x121 + x128 + x143 + x144 + x145 + x147 + x148 + x152 + x167 + x171 + x172 + x189 + x193 + x194 + x198 + x199 + x200 + x209 + x213 + x214 + x218 + x219 + x220 + x235 + x239 + x240 + x259 + x260 + x261 + x263 + x264 + x268 + x284 + x285 + x292 = 1 x1 + x5 + x12 + x13 + x14 + x15 + x17 + x18 + x19 + x21 + x22 + x23 + x24 + x25 + x27 + x28 + x29 + x38 + x39 + x40 + x49 + x50 + x51 + x54 + x55 + x56 + x59 + x60 + x70 + x71 + x76 + x78 + x79 + x80 + x81 + x84 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x103 + x105 + x106 + x108 + x109 + x110 + x120 + x121 + x128 + x143 + x144 + x147 + x163 + x166 + x167 + x170 + x171 + x172 + x189 + x193 + x194 + x198 + x199 + x200 + x209 + x213 + x214 + x218 + x219 + x220 + x231 + x234 + x235 + x238 + x239 + x240 + x259 + x260 + x263 + x284 + x285 + x292 = 1 x1 + x2 + x4 + x5 + x12 + x14 + x15 + x18 + x19 + x20 + x21 + x22 + x24 + x25 + x26 + x28 + x29 + x30 + x32 + x38 + x39 + x40 + x41 + x43 + x49 + x50 + x51 + x52 + x54 + x55 + x56 + x57 + x59 + x60 + x64 + x66 + x70 + x71 + x72 + x76 + x77 + x78 + x79 + x81 + x82 + x85 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x103 + x105 + x106 + x108 + x109 + x110 + x120 + x121 + x122 + x128 + x129 + x135 + x144 + x145 + x148 + x164 + x167 + x168 + x171 + x172 + x173 + x194 + x199 + x200 + x214 + x219 + x220 + x232 + x235 + x236 + x239 + x240 + x241 + x260 + x261 + x264 + x284 + x285 + x286 + x292 + x293 + x299 = 1 x1 + x2 + x4 + x5 + x7 + x10 + x12 + x14 + x15 + x18 + x19 + x20 + x21 + x22 + x25 + x26 + x28 + x29 + x30 + x32 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x49 + x50 + x51 + x52 + x54 + x55 + x56 + x57 + x59 + x60 + x64 + x66 + x70 + x71 + x72 + x76 + x77 + x78 + x79 + x81 + x82 + x83 + x85 + x86 + x91 + x92 + x93 + x94 + x95 + x96 + x103 + x105 + x106 + x108 + x109 + x110 + x120 + x121 + x122 + x128 + x129 + x135 + x144 + x145 + x146 + x148 + x149 + x153 + x168 + x172 + x173 + x194 + x199 + x200 + x214 + x219 + x220 + x236 + x240 + x241 + x260 + x261 + x262 + x264 + x265 + x269 + x284 + x285 + x286 + x292 + x293 + x299 = 1 x1 + x2 + x4 + x5 + x7 + x10 + x12 + x14 + x15 + x16 + x18 + x19 + x20 + x21 + x22 + x25 + x26 + x28 + x29 + x30 + x32 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x49 + x50 + x51 + x52 + x55 + x56 + x57 + x60 + x64 + x66 + x71 + x72 + x77 + x78 + x79 + x81 + x82 + x83 + x85 + x86 + x91 + x92 + x93 + x94 + x95 + x96 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x121 + x122 + x129 + x144 + x145 + x146 + x148 + x149 + x153 + x168 + x172 + x173 + x190 + x194 + x195 + x199 + x200 + x201 + x210 + x214 + x215 + x219 + x220 + x221 + x236 + x240 + x241 + x260 + x261 + x262 + x264 + x265 + x269 + x285 + x286 + x293 = 1 x1 + x2 + x4 + x5 + x12 + x14 + x15 + x16 + x18 + x19 + x20 + x21 + x22 + x24 + x25 + x26 + x28 + x29 + x30 + x32 + x38 + x39 + x40 + x41 + x43 + x49 + x50 + x51 + x52 + x55 + x56 + x57 + x60 + x64 + x66 + x71 + x72 + x77 + x78 + x79 + x81 + x82 + x85 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x121 + x122 + x129 + x144 + x145 + x148 + x164 + x167 + x168 + x171 + x172 + x173 + x190 + x194 + x195 + x199 + x200 + x201 + x210 + x214 + x215 + x219 + x220 + x221 + x232 + x235 + x236 + x239 + x240 + x241 + x260 + x261 + x264 + x285 + x286 + x293 = 1 x1 + x2 + x4 + x5 + x7 + x10 + x12 + x15 + x16 + x19 + x20 + x22 + x25 + x26 + x29 + x30 + x31 + x32 + x33 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x49 + x50 + x51 + x52 + x53 + x55 + x56 + x57 + x60 + x64 + x65 + x66 + x67 + x71 + x72 + x73 + x77 + x79 + x82 + x83 + x86 + x91 + x92 + x93 + x94 + x95 + x96 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x121 + x122 + x123 + x129 + x130 + x136 + x145 + x146 + x149 + x168 + x169 + x172 + x173 + x174 + x195 + x200 + x201 + x215 + x220 + x221 + x236 + x237 + x240 + x241 + x242 + x261 + x262 + x265 + x285 + x286 + x287 + x293 + x294 + x300 = 1 x1 + x2 + x4 + x5 + x7 + x10 + x12 + x15 + x16 + x19 + x20 + x22 + x26 + x29 + x30 + x31 + x32 + x33 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x49 + x50 + x51 + x52 + x53 + x55 + x56 + x57 + x60 + x64 + x65 + x66 + x67 + x71 + x72 + x73 + x77 + x79 + x82 + x83 + x86 + x87 + x92 + x94 + x95 + x96 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x121 + x122 + x123 + x129 + x130 + x136 + x145 + x146 + x149 + x150 + x154 + x169 + x173 + x174 + x195 + x200 + x201 + x215 + x220 + x221 + x237 + x241 + x242 + x261 + x262 + x265 + x266 + x270 + x285 + x286 + x287 + x293 + x294 + x300 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x12 + x15 + x16 + x19 + x20 + x22 + x26 + x29 + x30 + x31 + x32 + x33 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x50 + x51 + x52 + x53 + x56 + x57 + x64 + x65 + x66 + x67 + x72 + x73 + x79 + x82 + x83 + x86 + x87 + x92 + x94 + x95 + x96 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x122 + x123 + x130 + x145 + x146 + x149 + x150 + x154 + x169 + x173 + x174 + x191 + x195 + x196 + x200 + x201 + x202 + x211 + x215 + x216 + x220 + x221 + x222 + x237 + x241 + x242 + x261 + x262 + x265 + x266 + x270 + x286 + x287 + x294 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x12 + x15 + x16 + x19 + x20 + x22 + x25 + x26 + x29 + x30 + x31 + x32 + x33 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x50 + x51 + x52 + x53 + x56 + x57 + x64 + x65 + x66 + x67 + x72 + x73 + x79 + x82 + x83 + x86 + x91 + x92 + x93 + x94 + x95 + x96 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x122 + x123 + x130 + x145 + x146 + x149 + x168 + x169 + x172 + x173 + x174 + x191 + x195 + x196 + x200 + x201 + x202 + x211 + x215 + x216 + x220 + x221 + x222 + x236 + x237 + x240 + x241 + x242 + x261 + x262 + x265 + x286 + x287 + x294 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x12 + x16 + x20 + x26 + x30 + x31 + x32 + x33 + x34 + x39 + x41 + x42 + x44 + x45 + x50 + x51 + x52 + x53 + x56 + x57 + x64 + x65 + x66 + x67 + x68 + x72 + x73 + x83 + x87 + x92 + x94 + x95 + x96 + x104 + x106 + x107 + x109 + x110 + x122 + x123 + x124 + x130 + x131 + x146 + x150 + x169 + x173 + x174 + x175 + x196 + x201 + x202 + x216 + x221 + x222 + x237 + x241 + x242 + x243 + x262 + x266 + x286 + x287 + x288 + x294 + x295 = 1 x1 + x2 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x12 + x16 + x20 + x30 + x31 + x32 + x33 + x34 + x39 + x41 + x42 + x44 + x45 + x50 + x51 + x52 + x53 + x56 + x57 + x64 + x65 + x66 + x67 + x68 + x72 + x73 + x83 + x87 + x95 + x96 + x104 + x106 + x107 + x109 + x110 + x122 + x123 + x124 + x130 + x131 + x146 + x150 + x151 + x155 + x174 + x175 + x196 + x201 + x202 + x216 + x221 + x222 + x242 + x243 + x262 + x266 + x267 + x271 + x286 + x287 + x288 + x294 + x295 = 1 x1 + x2 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x12 + x16 + x20 + x30 + x31 + x32 + x33 + x34 + x39 + x41 + x42 + x44 + x45 + x51 + x52 + x53 + x57 + x64 + x65 + x66 + x67 + x68 + x73 + x83 + x87 + x95 + x96 + x104 + x106 + x107 + x109 + x110 + x123 + x124 + x131 + x146 + x150 + x151 + x155 + x174 + x175 + x192 + x196 + x197 + x201 + x202 + x212 + x216 + x217 + x221 + x222 + x242 + x243 + x262 + x266 + x267 + x271 + x287 + x288 + x295 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x12 + x16 + x20 + x26 + x30 + x31 + x32 + x33 + x34 + x39 + x41 + x42 + x44 + x45 + x51 + x52 + x53 + x57 + x64 + x65 + x66 + x67 + x68 + x73 + x83 + x87 + x92 + x94 + x95 + x96 + x104 + x106 + x107 + x109 + x110 + x123 + x124 + x131 + x146 + x150 + x169 + x173 + x174 + x175 + x192 + x196 + x197 + x201 + x202 + x212 + x216 + x217 + x221 + x222 + x237 + x241 + x242 + x243 + x262 + x266 + x287 + x288 + x295 = 1 x1 + x8 + x9 + x12 + x31 + x33 + x34 + x42 + x45 + x51 + x52 + x53 + x57 + x65 + x67 + x68 + x73 + x95 + x96 + x107 + x110 + x123 + x124 + x125 + x131 + x151 + x174 + x175 + x197 + x202 + x217 + x222 + x242 + x243 + x267 + x287 + x288 + x289 + x295 = 1 x1 + x8 + x9 + x12 + x31 + x33 + x34 + x42 + x45 + x51 + x52 + x53 + x57 + x65 + x67 + x68 + x73 + x96 + x107 + x110 + x123 + x124 + x125 + x131 + x151 + x156 + x175 + x197 + x202 + x217 + x222 + x243 + x267 + x272 + x287 + x288 + x289 + x295 = 1 x1 + x8 + x9 + x31 + x33 + x34 + x42 + x45 + x52 + x53 + x65 + x67 + x68 + x96 + x107 + x110 + x124 + x125 + x151 + x156 + x175 + x197 + x202 + x217 + x222 + x243 + x267 + x272 + x288 + x289 = 1 x1 + x8 + x9 + x31 + x33 + x34 + x42 + x45 + x52 + x53 + x65 + x67 + x68 + x95 + x96 + x107 + x110 + x124 + x125 + x151 + x174 + x175 + x197 + x202 + x217 + x222 + x242 + x243 + x267 + x288 + x289 = 1 x1 + x8 + x9 + x34 + x52 + x53 + x68 + x96 + x124 + x125 + x175 + x243 + x288 + x289 = 1 x1 + x8 + x9 + x34 + x52 + x53 + x68 + x124 + x125 + x288 + x289 = 1 x1 + x8 + x9 + x34 + x53 + x68 + x125 + x289 = 1 x1 + x8 + x9 + x34 + x53 + x68 + x96 + x125 + x175 + x243 + x289 = 1 x1 + x8 + x9 + x53 + x125 + x289 = 1 x1 + x8 + x9 + x53 + x125 + x289 = 1 x3 + x23 + x27 + x54 + x58 + x61 + x69 + x74 + x80 + x90 + x93 + x97 + x126 + x132 + x137 + x165 + x170 + x176 + x233 + x238 + x244 + x290 + x296 + x301 = 1 x3 + x23 + x27 + x40 + x54 + x58 + x61 + x69 + x74 + x80 + x84 + x90 + x93 + x97 + x126 + x132 + x137 + x147 + x170 + x176 + x238 + x244 + x263 + x290 + x296 + x301 = 1 x3 + x17 + x23 + x27 + x40 + x54 + x58 + x61 + x69 + x74 + x80 + x84 + x90 + x93 + x97 + x111 + x126 + x132 + x147 + x170 + x176 + x203 + x223 + x238 + x244 + x263 + x290 + x296 = 1 x3 + x17 + x23 + x27 + x54 + x58 + x61 + x69 + x74 + x80 + x90 + x93 + x97 + x111 + x126 + x132 + x165 + x170 + x176 + x203 + x223 + x233 + x238 + x244 + x290 + x296 = 1 x3 + x17 + x21 + x23 + x24 + x27 + x28 + x40 + x54 + x55 + x58 + x59 + x61 + x62 + x69 + x70 + x74 + x75 + x78 + x80 + x81 + x84 + x90 + x91 + x93 + x94 + x97 + x98 + x111 + x126 + x127 + x132 + x133 + x138 + x147 + x166 + x170 + x171 + x176 + x177 + x203 + x223 + x234 + x238 + x239 + x244 + x245 + x263 + x290 + x291 + x296 + x297 + x302 = 1 x3 + x17 + x21 + x24 + x27 + x28 + x40 + x41 + x43 + x54 + x55 + x58 + x59 + x61 + x62 + x69 + x70 + x74 + x75 + x78 + x80 + x81 + x84 + x85 + x90 + x91 + x93 + x94 + x97 + x98 + x111 + x126 + x127 + x132 + x133 + x138 + x147 + x148 + x152 + x171 + x176 + x177 + x203 + x223 + x239 + x244 + x245 + x263 + x264 + x268 + x290 + x291 + x296 + x297 + x302 = 1 x3 + x13 + x17 + x18 + x21 + x24 + x27 + x28 + x40 + x41 + x43 + x54 + x55 + x58 + x59 + x61 + x62 + x69 + x70 + x74 + x75 + x78 + x80 + x81 + x84 + x85 + x90 + x91 + x93 + x94 + x97 + x98 + x108 + x111 + x112 + x126 + x127 + x133 + x147 + x148 + x152 + x171 + x176 + x177 + x198 + x203 + x204 + x218 + x223 + x224 + x239 + x244 + x245 + x263 + x264 + x268 + x290 + x291 + x297 = 1 x3 + x13 + x17 + x18 + x21 + x23 + x24 + x27 + x28 + x40 + x54 + x55 + x58 + x59 + x61 + x62 + x69 + x70 + x74 + x75 + x78 + x80 + x81 + x84 + x90 + x91 + x93 + x94 + x97 + x98 + x108 + x111 + x112 + x126 + x127 + x133 + x147 + x166 + x170 + x171 + x176 + x177 + x198 + x203 + x204 + x218 + x223 + x224 + x234 + x238 + x239 + x244 + x245 + x263 + x290 + x291 + x297 = 1 x3 + x13 + x17 + x18 + x21 + x22 + x24 + x25 + x27 + x28 + x29 + x40 + x41 + x43 + x54 + x55 + x56 + x58 + x59 + x60 + x61 + x62 + x69 + x70 + x71 + x74 + x75 + x76 + x78 + x79 + x80 + x81 + x82 + x84 + x85 + x90 + x91 + x92 + x93 + x94 + x95 + x97 + x98 + x99 + x108 + x111 + x112 + x126 + x127 + x128 + x133 + x134 + x139 + x147 + x148 + x152 + x167 + x171 + x172 + x176 + x177 + x178 + x198 + x203 + x204 + x218 + x223 + x224 + x235 + x239 + x240 + x244 + x245 + x246 + x263 + x264 + x268 + x290 + x291 + x292 + x297 + x298 + x303 = 1 x3 + x7 + x10 + x13 + x17 + x18 + x21 + x22 + x25 + x28 + x29 + x40 + x41 + x42 + x43 + x44 + x46 + x54 + x55 + x56 + x58 + x59 + x60 + x61 + x62 + x69 + x70 + x71 + x74 + x75 + x76 + x78 + x79 + x80 + x81 + x82 + x84 + x85 + x86 + x91 + x92 + x93 + x94 + x95 + x97 + x98 + x99 + x108 + x111 + x112 + x126 + x127 + x128 + x133 + x134 + x139 + x147 + x148 + x149 + x152 + x153 + x157 + x172 + x177 + x178 + x198 + x203 + x204 + x218 + x223 + x224 + x240 + x245 + x246 + x263 + x264 + x265 + x268 + x269 + x273 + x290 + x291 + x292 + x297 + x298 + x303 = 1 x3 + x7 + x10 + x13 + x14 + x17 + x18 + x19 + x21 + x22 + x25 + x28 + x29 + x40 + x41 + x42 + x43 + x44 + x46 + x54 + x55 + x56 + x58 + x59 + x60 + x62 + x69 + x70 + x71 + x75 + x76 + x78 + x79 + x80 + x81 + x82 + x84 + x85 + x86 + x91 + x92 + x93 + x94 + x95 + x97 + x98 + x99 + x105 + x108 + x109 + x111 + x112 + x127 + x128 + x134 + x147 + x148 + x149 + x152 + x153 + x157 + x172 + x177 + x178 + x193 + x198 + x199 + x203 + x204 + x205 + x213 + x218 + x219 + x223 + x224 + x225 + x240 + x245 + x246 + x263 + x264 + x265 + x268 + x269 + x273 + x291 + x292 + x298 = 1 x3 + x13 + x14 + x17 + x18 + x19 + x21 + x22 + x24 + x25 + x27 + x28 + x29 + x40 + x41 + x43 + x54 + x55 + x56 + x58 + x59 + x60 + x62 + x69 + x70 + x71 + x75 + x76 + x78 + x79 + x80 + x81 + x82 + x84 + x85 + x90 + x91 + x92 + x93 + x94 + x95 + x97 + x98 + x99 + x105 + x108 + x109 + x111 + x112 + x127 + x128 + x134 + x147 + x148 + x152 + x167 + x171 + x172 + x176 + x177 + x178 + x193 + x198 + x199 + x203 + x204 + x205 + x213 + x218 + x219 + x223 + x224 + x225 + x235 + x239 + x240 + x244 + x245 + x246 + x263 + x264 + x268 + x291 + x292 + x298 = 1 x2 + x3 + x4 + x7 + x10 + x14 + x18 + x19 + x21 + x22 + x25 + x26 + x28 + x29 + x30 + x32 + x35 + x40 + x41 + x42 + x43 + x44 + x46 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x62 + x66 + x70 + x71 + x72 + x75 + x76 + x77 + x78 + x79 + x81 + x82 + x83 + x85 + x86 + x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x105 + x108 + x109 + x111 + x112 + x127 + x128 + x129 + x134 + x135 + x140 + x148 + x149 + x153 + x168 + x172 + x173 + x177 + x178 + x179 + x199 + x204 + x205 + x219 + x224 + x225 + x236 + x240 + x241 + x245 + x246 + x247 + x264 + x265 + x269 + x291 + x292 + x293 + x298 + x299 + x304 = 1 x2 + x3 + x4 + x7 + x10 + x14 + x18 + x19 + x21 + x22 + x26 + x29 + x30 + x32 + x35 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x62 + x66 + x70 + x71 + x72 + x75 + x76 + x77 + x78 + x79 + x81 + x82 + x83 + x85 + x86 + x87 + x92 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x105 + x108 + x109 + x111 + x112 + x127 + x128 + x129 + x134 + x135 + x140 + x148 + x149 + x150 + x153 + x154 + x158 + x173 + x178 + x179 + x199 + x204 + x205 + x219 + x224 + x225 + x241 + x246 + x247 + x264 + x265 + x266 + x269 + x270 + x274 + x291 + x292 + x293 + x298 + x299 + x304 = 1 x2 + x3 + x4 + x5 + x7 + x10 + x12 + x14 + x15 + x18 + x19 + x20 + x21 + x22 + x26 + x29 + x30 + x32 + x35 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x54 + x55 + x56 + x57 + x59 + x60 + x66 + x70 + x71 + x72 + x76 + x77 + x78 + x79 + x81 + x82 + x83 + x85 + x86 + x87 + x92 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x105 + x106 + x108 + x109 + x110 + x111 + x112 + x128 + x129 + x135 + x148 + x149 + x150 + x153 + x154 + x158 + x173 + x178 + x179 + x194 + x199 + x200 + x204 + x205 + x206 + x214 + x219 + x220 + x224 + x225 + x226 + x241 + x246 + x247 + x264 + x265 + x266 + x269 + x270 + x274 + x292 + x293 + x299 = 1 x2 + x3 + x4 + x5 + x7 + x10 + x12 + x14 + x15 + x18 + x19 + x20 + x21 + x22 + x25 + x26 + x28 + x29 + x30 + x32 + x35 + x40 + x41 + x42 + x43 + x44 + x46 + x54 + x55 + x56 + x57 + x59 + x60 + x66 + x70 + x71 + x72 + x76 + x77 + x78 + x79 + x81 + x82 + x83 + x85 + x86 + x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x105 + x106 + x108 + x109 + x110 + x111 + x112 + x128 + x129 + x135 + x148 + x149 + x153 + x168 + x172 + x173 + x177 + x178 + x179 + x194 + x199 + x200 + x204 + x205 + x206 + x214 + x219 + x220 + x224 + x225 + x226 + x236 + x240 + x241 + x245 + x246 + x247 + x264 + x265 + x269 + x292 + x293 + x299 = 1 x2 + x3 + x4 + x5 + x7 + x10 + x12 + x15 + x19 + x20 + x22 + x26 + x29 + x30 + x31 + x32 + x33 + x35 + x36 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x54 + x55 + x56 + x57 + x59 + x60 + x66 + x67 + x71 + x72 + x73 + x76 + x77 + x79 + x82 + x83 + x86 + x87 + x92 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x105 + x106 + x108 + x109 + x110 + x111 + x112 + x128 + x129 + x130 + x135 + x136 + x149 + x150 + x154 + x169 + x173 + x174 + x178 + x179 + x180 + x200 + x205 + x206 + x220 + x225 + x226 + x237 + x241 + x242 + x246 + x247 + x248 + x265 + x266 + x270 + x292 + x293 + x294 + x299 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x10 + x11 + x12 + x15 + x19 + x20 + x22 + x30 + x31 + x32 + x33 + x35 + x36 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x54 + x55 + x56 + x57 + x59 + x60 + x66 + x67 + x71 + x72 + x73 + x76 + x77 + x79 + x82 + x83 + x86 + x87 + x95 + x96 + x98 + x99 + x100 + x101 + x105 + x106 + x108 + x109 + x110 + x111 + x112 + x128 + x129 + x130 + x135 + x136 + x149 + x150 + x151 + x154 + x155 + x159 + x174 + x179 + x180 + x200 + x205 + x206 + x220 + x225 + x226 + x242 + x247 + x248 + x265 + x266 + x267 + x270 + x271 + x275 + x292 + x293 + x294 + x299 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x10 + x11 + x12 + x15 + x16 + x19 + x20 + x22 + x30 + x31 + x32 + x33 + x35 + x36 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x55 + x56 + x57 + x60 + x66 + x67 + x71 + x72 + x73 + x77 + x79 + x82 + x83 + x86 + x87 + x95 + x96 + x98 + x99 + x100 + x101 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x129 + x130 + x136 + x149 + x150 + x151 + x154 + x155 + x159 + x174 + x179 + x180 + x195 + x200 + x201 + x205 + x206 + x215 + x220 + x221 + x225 + x226 + x242 + x247 + x248 + x265 + x266 + x267 + x270 + x271 + x275 + x293 + x294 + x300 = 1 x2 + x3 + x4 + x5 + x7 + x10 + x12 + x15 + x16 + x19 + x20 + x22 + x26 + x29 + x30 + x31 + x32 + x33 + x35 + x36 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x55 + x56 + x57 + x60 + x66 + x67 + x71 + x72 + x73 + x77 + x79 + x82 + x83 + x86 + x87 + x92 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x129 + x130 + x136 + x149 + x150 + x154 + x169 + x173 + x174 + x178 + x179 + x180 + x195 + x200 + x201 + x205 + x206 + x215 + x220 + x221 + x225 + x226 + x237 + x241 + x242 + x246 + x247 + x248 + x265 + x266 + x270 + x293 + x294 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x10 + x11 + x12 + x16 + x20 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x41 + x42 + x44 + x45 + x47 + x55 + x56 + x57 + x60 + x66 + x67 + x68 + x72 + x73 + x77 + x83 + x87 + x95 + x96 + x98 + x99 + x100 + x101 + x106 + x107 + x109 + x110 + x112 + x129 + x130 + x131 + x136 + x150 + x151 + x155 + x174 + x175 + x179 + x180 + x181 + x201 + x206 + x221 + x226 + x242 + x243 + x247 + x248 + x249 + x266 + x267 + x271 + x293 + x294 + x295 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x10 + x11 + x12 + x16 + x20 + x31 + x32 + x33 + x34 + x35 + x36 + x41 + x42 + x44 + x45 + x47 + x55 + x56 + x57 + x60 + x66 + x67 + x68 + x72 + x73 + x77 + x83 + x87 + x96 + x99 + x100 + x101 + x106 + x107 + x109 + x110 + x112 + x129 + x130 + x131 + x136 + x150 + x151 + x155 + x156 + x160 + x175 + x180 + x181 + x201 + x206 + x221 + x226 + x243 + x248 + x249 + x266 + x267 + x271 + x272 + x276 + x293 + x294 + x295 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x9 + x10 + x11 + x12 + x16 + x20 + x31 + x32 + x33 + x34 + x35 + x36 + x41 + x42 + x44 + x45 + x47 + x56 + x57 + x66 + x67 + x68 + x72 + x73 + x83 + x87 + x96 + x99 + x100 + x101 + x106 + x107 + x109 + x110 + x112 + x130 + x131 + x150 + x151 + x155 + x156 + x160 + x175 + x180 + x181 + x196 + x201 + x202 + x206 + x216 + x221 + x222 + x226 + x243 + x248 + x249 + x266 + x267 + x271 + x272 + x276 + x294 + x295 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x9 + x10 + x11 + x12 + x16 + x20 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x41 + x42 + x44 + x45 + x47 + x56 + x57 + x66 + x67 + x68 + x72 + x73 + x83 + x87 + x95 + x96 + x98 + x99 + x100 + x101 + x106 + x107 + x109 + x110 + x112 + x130 + x131 + x150 + x151 + x155 + x174 + x175 + x179 + x180 + x181 + x196 + x201 + x202 + x206 + x216 + x221 + x222 + x226 + x242 + x243 + x247 + x248 + x249 + x266 + x267 + x271 + x294 + x295 = 1 x3 + x6 + x7 + x11 + x31 + x33 + x34 + x36 + x42 + x45 + x56 + x57 + x67 + x68 + x73 + x96 + x99 + x100 + x101 + x107 + x110 + x130 + x131 + x151 + x156 + x175 + x180 + x181 + x182 + x202 + x222 + x243 + x248 + x249 + x250 + x267 + x272 + x294 + x295 = 1 x3 + x6 + x11 + x33 + x34 + x36 + x42 + x45 + x56 + x57 + x67 + x68 + x73 + x100 + x101 + x107 + x110 + x130 + x131 + x151 + x156 + x181 + x182 + x202 + x222 + x249 + x250 + x267 + x272 + x294 + x295 = 1 x3 + x6 + x11 + x33 + x34 + x36 + x42 + x45 + x57 + x67 + x68 + x73 + x100 + x101 + x107 + x110 + x131 + x151 + x156 + x181 + x182 + x197 + x202 + x217 + x222 + x249 + x250 + x267 + x272 + x295 = 1 x3 + x6 + x7 + x11 + x31 + x33 + x34 + x36 + x42 + x45 + x57 + x67 + x68 + x73 + x96 + x99 + x100 + x101 + x107 + x110 + x131 + x151 + x156 + x175 + x180 + x181 + x182 + x197 + x202 + x217 + x222 + x243 + x248 + x249 + x250 + x267 + x272 + x295 = 1 x3 + x6 + x11 + x34 + x57 + x68 + x100 + x101 + x131 + x181 + x182 + x249 + x250 + x295 = 1 x3 + x6 + x11 + x34 + x57 + x68 + x101 + x131 + x182 + x250 + x295 = 1 x3 + x6 + x11 + x34 + x68 + x101 + x182 + x250 = 1 x3 + x6 + x11 + x34 + x68 + x100 + x101 + x181 + x182 + x249 + x250 = 1 x3 + x6 + x11 + x101 + x182 + x250 = 1 x3 + x6 + x11 + x101 + x182 + x250 = 1 x3 + x23 + x27 + x58 + x61 + x69 + x74 + x80 + x84 + x93 + x97 + x132 + x137 + x170 + x176 + x238 + x244 + x296 + x301 = 1 x3 + x27 + x43 + x58 + x61 + x69 + x74 + x80 + x84 + x93 + x97 + x132 + x137 + x152 + x176 + x244 + x268 + x296 + x301 = 1 x3 + x27 + x43 + x58 + x61 + x69 + x74 + x80 + x84 + x93 + x97 + x132 + x137 + x152 + x176 + x244 + x268 + x296 + x301 = 1 x3 + x23 + x27 + x58 + x61 + x69 + x74 + x80 + x84 + x93 + x97 + x132 + x137 + x170 + x176 + x238 + x244 + x296 + x301 = 1 x3 + x24 + x27 + x28 + x43 + x58 + x59 + x61 + x62 + x69 + x70 + x74 + x75 + x80 + x81 + x84 + x85 + x93 + x94 + x97 + x98 + x132 + x133 + x137 + x138 + x152 + x171 + x176 + x177 + x239 + x244 + x245 + x268 + x296 + x297 + x301 + x302 = 1 x3 + x7 + x10 + x28 + x43 + x44 + x46 + x58 + x59 + x61 + x62 + x69 + x70 + x74 + x75 + x80 + x81 + x84 + x85 + x93 + x94 + x97 + x98 + x132 + x133 + x137 + x138 + x152 + x153 + x157 + x177 + x245 + x268 + x269 + x273 + x296 + x297 + x301 + x302 = 1 x3 + x7 + x10 + x17 + x21 + x28 + x43 + x44 + x46 + x58 + x59 + x61 + x62 + x69 + x70 + x74 + x75 + x80 + x81 + x84 + x85 + x93 + x94 + x97 + x98 + x111 + x132 + x133 + x138 + x152 + x153 + x157 + x177 + x203 + x207 + x223 + x227 + x245 + x268 + x269 + x273 + x296 + x297 + x302 = 1 x3 + x17 + x21 + x24 + x27 + x28 + x43 + x58 + x59 + x61 + x62 + x69 + x70 + x74 + x75 + x80 + x81 + x84 + x85 + x93 + x94 + x97 + x98 + x111 + x132 + x133 + x138 + x152 + x171 + x176 + x177 + x203 + x207 + x223 + x227 + x239 + x244 + x245 + x268 + x296 + x297 + x302 = 1 x3 + x7 + x10 + x17 + x21 + x25 + x28 + x29 + x43 + x44 + x46 + x58 + x59 + x60 + x61 + x62 + x69 + x70 + x71 + x74 + x75 + x76 + x80 + x81 + x82 + x84 + x85 + x86 + x93 + x94 + x95 + x97 + x98 + x99 + x111 + x132 + x133 + x134 + x138 + x139 + x152 + x153 + x157 + x172 + x177 + x178 + x203 + x207 + x223 + x227 + x240 + x245 + x246 + x268 + x269 + x273 + x296 + x297 + x298 + x302 + x303 = 1 x3 + x7 + x10 + x17 + x21 + x29 + x43 + x44 + x45 + x46 + x47 + x58 + x59 + x60 + x61 + x62 + x69 + x70 + x71 + x74 + x75 + x76 + x80 + x81 + x82 + x84 + x85 + x86 + x94 + x95 + x97 + x98 + x99 + x111 + x132 + x133 + x134 + x138 + x139 + x152 + x153 + x154 + x157 + x158 + x178 + x203 + x207 + x223 + x227 + x246 + x268 + x269 + x270 + x273 + x274 + x296 + x297 + x298 + x302 + x303 = 1 x3 + x7 + x10 + x13 + x17 + x18 + x21 + x22 + x29 + x43 + x44 + x45 + x46 + x47 + x58 + x59 + x60 + x61 + x62 + x69 + x70 + x71 + x74 + x75 + x76 + x80 + x81 + x82 + x84 + x85 + x86 + x94 + x95 + x97 + x98 + x99 + x108 + x111 + x112 + x133 + x134 + x139 + x152 + x153 + x154 + x157 + x158 + x178 + x198 + x203 + x204 + x207 + x208 + x218 + x223 + x224 + x227 + x228 + x246 + x268 + x269 + x270 + x273 + x274 + x297 + x298 + x303 = 1 x3 + x7 + x10 + x13 + x17 + x18 + x21 + x22 + x25 + x28 + x29 + x43 + x44 + x46 + x58 + x59 + x60 + x61 + x62 + x69 + x70 + x71 + x74 + x75 + x76 + x80 + x81 + x82 + x84 + x85 + x86 + x93 + x94 + x95 + x97 + x98 + x99 + x108 + x111 + x112 + x133 + x134 + x139 + x152 + x153 + x157 + x172 + x177 + x178 + x198 + x203 + x204 + x207 + x208 + x218 + x223 + x224 + x227 + x228 + x240 + x245 + x246 + x268 + x269 + x273 + x297 + x298 + x303 = 1 x2 + x3 + x4 + x7 + x10 + x18 + x21 + x22 + x26 + x29 + x30 + x32 + x35 + x37 + x43 + x44 + x45 + x46 + x47 + x58 + x59 + x60 + x61 + x62 + x70 + x71 + x72 + x75 + x76 + x77 + x81 + x82 + x83 + x85 + x86 + x87 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x102 + x108 + x111 + x112 + x133 + x134 + x135 + x139 + x140 + x153 + x154 + x158 + x173 + x178 + x179 + x183 + x204 + x207 + x208 + x224 + x227 + x228 + x241 + x246 + x247 + x251 + x269 + x270 + x274 + x297 + x298 + x299 + x303 + x304 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x18 + x21 + x22 + x30 + x32 + x35 + x37 + x43 + x44 + x45 + x46 + x47 + x58 + x59 + x60 + x61 + x62 + x70 + x71 + x72 + x75 + x76 + x77 + x81 + x82 + x83 + x85 + x86 + x87 + x95 + x96 + x98 + x99 + x100 + x102 + x108 + x111 + x112 + x133 + x134 + x135 + x139 + x140 + x153 + x154 + x155 + x158 + x159 + x179 + x183 + x204 + x207 + x208 + x224 + x227 + x228 + x247 + x251 + x269 + x270 + x271 + x274 + x275 + x297 + x298 + x299 + x303 + x304 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x14 + x18 + x19 + x21 + x22 + x30 + x32 + x35 + x37 + x43 + x44 + x45 + x46 + x47 + x58 + x59 + x60 + x62 + x70 + x71 + x72 + x75 + x76 + x77 + x81 + x82 + x83 + x85 + x86 + x87 + x95 + x96 + x98 + x99 + x100 + x102 + x108 + x109 + x111 + x112 + x134 + x135 + x140 + x153 + x154 + x155 + x158 + x159 + x179 + x183 + x199 + x204 + x205 + x207 + x208 + x219 + x224 + x225 + x227 + x228 + x247 + x251 + x269 + x270 + x271 + x274 + x275 + x298 + x299 + x304 = 1 x2 + x3 + x4 + x7 + x10 + x14 + x18 + x19 + x21 + x22 + x26 + x29 + x30 + x32 + x35 + x37 + x43 + x44 + x45 + x46 + x47 + x58 + x59 + x60 + x62 + x70 + x71 + x72 + x75 + x76 + x77 + x81 + x82 + x83 + x85 + x86 + x87 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x102 + x108 + x109 + x111 + x112 + x134 + x135 + x140 + x153 + x154 + x158 + x173 + x178 + x179 + x183 + x199 + x204 + x205 + x207 + x208 + x219 + x224 + x225 + x227 + x228 + x241 + x246 + x247 + x251 + x269 + x270 + x274 + x298 + x299 + x304 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x19 + x22 + x30 + x31 + x32 + x33 + x35 + x36 + x37 + x43 + x44 + x45 + x46 + x47 + x58 + x59 + x60 + x62 + x71 + x72 + x73 + x76 + x77 + x82 + x83 + x86 + x87 + x95 + x96 + x98 + x99 + x100 + x101 + x102 + x108 + x109 + x111 + x112 + x134 + x135 + x136 + x140 + x154 + x155 + x159 + x174 + x179 + x180 + x183 + x184 + x205 + x208 + x225 + x228 + x242 + x247 + x248 + x251 + x252 + x270 + x271 + x275 + x298 + x299 + x300 + x304 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x19 + x22 + x31 + x32 + x33 + x35 + x36 + x37 + x43 + x44 + x45 + x46 + x47 + x58 + x59 + x60 + x62 + x71 + x72 + x73 + x76 + x77 + x82 + x83 + x86 + x87 + x96 + x99 + x100 + x101 + x102 + x108 + x109 + x111 + x112 + x134 + x135 + x136 + x140 + x154 + x155 + x156 + x159 + x160 + x180 + x183 + x184 + x205 + x208 + x225 + x228 + x248 + x251 + x252 + x270 + x271 + x272 + x275 + x276 + x298 + x299 + x300 + x304 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x10 + x11 + x12 + x15 + x19 + x20 + x22 + x31 + x32 + x33 + x35 + x36 + x37 + x43 + x44 + x45 + x46 + x47 + x59 + x60 + x71 + x72 + x73 + x76 + x77 + x82 + x83 + x86 + x87 + x96 + x99 + x100 + x101 + x102 + x108 + x109 + x110 + x111 + x112 + x135 + x136 + x154 + x155 + x156 + x159 + x160 + x180 + x183 + x184 + x200 + x205 + x206 + x208 + x220 + x225 + x226 + x228 + x248 + x251 + x252 + x270 + x271 + x272 + x275 + x276 + x299 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x10 + x11 + x12 + x15 + x19 + x20 + x22 + x30 + x31 + x32 + x33 + x35 + x36 + x37 + x43 + x44 + x45 + x46 + x47 + x59 + x60 + x71 + x72 + x73 + x76 + x77 + x82 + x83 + x86 + x87 + x95 + x96 + x98 + x99 + x100 + x101 + x102 + x108 + x109 + x110 + x111 + x112 + x135 + x136 + x154 + x155 + x159 + x174 + x179 + x180 + x183 + x184 + x200 + x205 + x206 + x208 + x220 + x225 + x226 + x228 + x242 + x247 + x248 + x251 + x252 + x270 + x271 + x275 + x299 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x10 + x11 + x12 + x20 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x44 + x45 + x47 + x59 + x60 + x72 + x73 + x77 + x83 + x87 + x96 + x99 + x100 + x101 + x102 + x109 + x110 + x112 + x135 + x136 + x155 + x156 + x160 + x175 + x180 + x181 + x183 + x184 + x185 + x206 + x226 + x243 + x248 + x249 + x251 + x252 + x253 + x271 + x272 + x276 + x299 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x11 + x12 + x20 + x33 + x34 + x35 + x36 + x37 + x44 + x45 + x47 + x59 + x60 + x72 + x73 + x77 + x83 + x87 + x100 + x101 + x102 + x109 + x110 + x112 + x135 + x136 + x155 + x156 + x160 + x181 + x184 + x185 + x206 + x226 + x249 + x252 + x253 + x271 + x272 + x276 + x299 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x11 + x12 + x16 + x20 + x33 + x34 + x35 + x36 + x37 + x44 + x45 + x47 + x60 + x72 + x73 + x77 + x83 + x87 + x100 + x101 + x102 + x109 + x110 + x112 + x136 + x155 + x156 + x160 + x181 + x184 + x185 + x201 + x206 + x221 + x226 + x249 + x252 + x253 + x271 + x272 + x276 + x300 = 1 x2 + x3 + x4 + x5 + x6 + x7 + x10 + x11 + x12 + x16 + x20 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x44 + x45 + x47 + x60 + x72 + x73 + x77 + x83 + x87 + x96 + x99 + x100 + x101 + x102 + x109 + x110 + x112 + x136 + x155 + x156 + x160 + x175 + x180 + x181 + x183 + x184 + x185 + x201 + x206 + x221 + x226 + x243 + x248 + x249 + x251 + x252 + x253 + x271 + x272 + x276 + x300 = 1 x3 + x6 + x11 + x33 + x34 + x36 + x45 + x60 + x73 + x100 + x101 + x102 + x110 + x136 + x156 + x181 + x182 + x184 + x185 + x249 + x250 + x252 + x253 + x272 + x300 = 1 x3 + x6 + x11 + x34 + x36 + x45 + x60 + x73 + x101 + x102 + x110 + x136 + x156 + x182 + x185 + x250 + x253 + x272 + x300 = 1 x3 + x6 + x11 + x34 + x36 + x45 + x73 + x101 + x102 + x110 + x156 + x182 + x185 + x202 + x222 + x250 + x253 + x272 = 1 x3 + x6 + x11 + x33 + x34 + x36 + x45 + x73 + x100 + x101 + x102 + x110 + x156 + x181 + x182 + x184 + x185 + x202 + x222 + x249 + x250 + x252 + x253 + x272 = 1 x3 + x6 + x11 + x34 + x101 + x102 + x182 + x185 + x250 + x253 = 1 x3 + x6 + x11 + x34 + x101 + x102 + x182 + x185 + x250 + x253 = 1 x3 + x27 + x61 + x74 + x84 + x97 + x137 + x176 + x244 + x301 = 1 x3 + x7 + x10 + x46 + x61 + x74 + x84 + x97 + x137 + x157 + x273 + x301 = 1 x3 + x7 + x10 + x46 + x61 + x74 + x84 + x97 + x137 + x157 + x273 + x301 = 1 x3 + x27 + x61 + x74 + x84 + x97 + x137 + x176 + x244 + x301 = 1 x3 + x7 + x10 + x28 + x46 + x61 + x62 + x74 + x75 + x84 + x85 + x97 + x98 + x137 + x138 + x157 + x177 + x245 + x273 + x301 + x302 = 1 x3 + x7 + x10 + x46 + x47 + x61 + x62 + x74 + x75 + x84 + x85 + x97 + x98 + x137 + x138 + x157 + x158 + x273 + x274 + x301 + x302 = 1 x3 + x7 + x10 + x46 + x47 + x61 + x62 + x74 + x75 + x84 + x85 + x97 + x98 + x137 + x138 + x157 + x158 + x273 + x274 + x301 + x302 = 1 x3 + x7 + x10 + x28 + x46 + x61 + x62 + x74 + x75 + x84 + x85 + x97 + x98 + x137 + x138 + x157 + x177 + x245 + x273 + x301 + x302 = 1 x3 + x7 + x10 + x29 + x46 + x47 + x61 + x62 + x74 + x75 + x76 + x84 + x85 + x86 + x97 + x98 + x99 + x137 + x138 + x139 + x157 + x158 + x178 + x246 + x273 + x274 + x301 + x302 + x303 = 1 x3 + x7 + x10 + x11 + x46 + x47 + x61 + x62 + x74 + x75 + x76 + x84 + x85 + x86 + x98 + x99 + x137 + x138 + x139 + x157 + x158 + x159 + x273 + x274 + x275 + x301 + x302 + x303 = 1 x3 + x7 + x10 + x11 + x17 + x21 + x46 + x47 + x61 + x62 + x74 + x75 + x76 + x84 + x85 + x86 + x98 + x99 + x111 + x138 + x139 + x157 + x158 + x159 + x203 + x207 + x223 + x227 + x273 + x274 + x275 + x302 + x303 = 1 x3 + x7 + x10 + x17 + x21 + x29 + x46 + x47 + x61 + x62 + x74 + x75 + x76 + x84 + x85 + x86 + x97 + x98 + x99 + x111 + x138 + x139 + x157 + x158 + x178 + x203 + x207 + x223 + x227 + x246 + x273 + x274 + x302 + x303 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x21 + x30 + x32 + x35 + x37 + x46 + x47 + x61 + x62 + x75 + x76 + x77 + x85 + x86 + x87 + x98 + x99 + x100 + x102 + x111 + x138 + x139 + x140 + x158 + x159 + x179 + x183 + x186 + x207 + x227 + x247 + x251 + x254 + x274 + x275 + x302 + x303 + x304 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x21 + x32 + x35 + x37 + x46 + x47 + x61 + x62 + x75 + x76 + x77 + x85 + x86 + x87 + x99 + x100 + x102 + x111 + x138 + x139 + x140 + x158 + x159 + x160 + x183 + x186 + x207 + x227 + x251 + x254 + x274 + x275 + x276 + x302 + x303 + x304 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x18 + x21 + x22 + x32 + x35 + x37 + x46 + x47 + x61 + x62 + x75 + x76 + x77 + x85 + x86 + x87 + x99 + x100 + x102 + x111 + x112 + x139 + x140 + x158 + x159 + x160 + x183 + x186 + x204 + x207 + x208 + x224 + x227 + x228 + x251 + x254 + x274 + x275 + x276 + x303 + x304 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x18 + x21 + x22 + x30 + x32 + x35 + x37 + x46 + x47 + x61 + x62 + x75 + x76 + x77 + x85 + x86 + x87 + x98 + x99 + x100 + x102 + x111 + x112 + x139 + x140 + x158 + x159 + x179 + x183 + x186 + x204 + x207 + x208 + x224 + x227 + x228 + x247 + x251 + x254 + x274 + x275 + x303 + x304 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x22 + x31 + x32 + x33 + x35 + x36 + x37 + x46 + x47 + x61 + x62 + x76 + x77 + x86 + x87 + x99 + x100 + x101 + x102 + x111 + x112 + x139 + x140 + x159 + x160 + x180 + x183 + x184 + x186 + x187 + x208 + x228 + x248 + x251 + x252 + x254 + x255 + x275 + x276 + x303 + x304 = 1 x2 + x3 + x4 + x6 + x11 + x22 + x33 + x35 + x36 + x37 + x46 + x47 + x61 + x62 + x76 + x77 + x86 + x87 + x100 + x101 + x102 + x111 + x112 + x139 + x140 + x159 + x160 + x184 + x186 + x187 + x208 + x228 + x252 + x254 + x255 + x275 + x276 + x303 + x304 = 1 x2 + x3 + x4 + x6 + x11 + x19 + x22 + x33 + x35 + x36 + x37 + x46 + x47 + x62 + x76 + x77 + x86 + x87 + x100 + x101 + x102 + x111 + x112 + x140 + x159 + x160 + x184 + x186 + x187 + x205 + x208 + x225 + x228 + x252 + x254 + x255 + x275 + x276 + x304 = 1 x2 + x3 + x4 + x6 + x7 + x10 + x11 + x19 + x22 + x31 + x32 + x33 + x35 + x36 + x37 + x46 + x47 + x62 + x76 + x77 + x86 + x87 + x99 + x100 + x101 + x102 + x111 + x112 + x140 + x159 + x160 + x180 + x183 + x184 + x186 + x187 + x205 + x208 + x225 + x228 + x248 + x251 + x252 + x254 + x255 + x275 + x276 + x304 = 1 x2 + x3 + x4 + x6 + x11 + x33 + x34 + x35 + x36 + x37 + x47 + x62 + x77 + x87 + x100 + x101 + x102 + x112 + x140 + x160 + x181 + x184 + x185 + x186 + x187 + x249 + x252 + x253 + x254 + x255 + x276 + x304 = 1 x2 + x3 + x4 + x6 + x11 + x34 + x36 + x37 + x47 + x62 + x77 + x87 + x101 + x102 + x112 + x140 + x160 + x185 + x187 + x253 + x255 + x276 + x304 = 1 x2 + x3 + x4 + x5 + x6 + x11 + x12 + x20 + x34 + x36 + x37 + x47 + x77 + x87 + x101 + x102 + x112 + x160 + x185 + x187 + x206 + x226 + x253 + x255 + x276 = 1 x2 + x3 + x4 + x5 + x6 + x11 + x12 + x20 + x33 + x34 + x35 + x36 + x37 + x47 + x77 + x87 + x100 + x101 + x102 + x112 + x160 + x181 + x184 + x185 + x186 + x187 + x206 + x226 + x249 + x252 + x253 + x254 + x255 + x276 = 1 x3 + x6 + x11 + x34 + x36 + x101 + x102 + x182 + x185 + x187 + x250 + x253 + x255 = 1 x3 + x6 + x11 + x34 + x36 + x101 + x102 + x182 + x185 + x187 + x250 + x253 + x255 = 1 x2 + x6 + x10 + x11 + x32 + x35 + x37 + x102 + x183 + x186 + x188 + x251 + x254 + x256 = 1 x2 + x6 + x11 + x35 + x37 + x102 + x186 + x188 + x254 + x256 = 1 x2 + x6 + x11 + x21 + x35 + x37 + x102 + x186 + x188 + x207 + x227 + x254 + x256 = 1 x2 + x6 + x10 + x11 + x21 + x32 + x35 + x37 + x102 + x183 + x186 + x188 + x207 + x227 + x251 + x254 + x256 = 1 x2 + x6 + x11 + x33 + x35 + x36 + x37 + x102 + x184 + x186 + x187 + x188 + x252 + x254 + x255 + x256 = 1 x2 + x6 + x11 + x36 + x37 + x102 + x187 + x188 + x255 + x256 = 1 x2 + x6 + x11 + x22 + x36 + x37 + x102 + x187 + x188 + x208 + x228 + x255 + x256 = 1 x2 + x6 + x11 + x22 + x33 + x35 + x36 + x37 + x102 + x184 + x186 + x187 + x188 + x208 + x228 + x252 + x254 + x255 + x256 = 1 x2 + x6 + x11 + x34 + x36 + x37 + x102 + x185 + x187 + x188 + x253 + x255 + x256 = 1 x2 + x6 + x11 + x34 + x36 + x37 + x102 + x185 + x187 + x188 + x253 + x255 + x256 = 1 x2 + x6 + x11 + x35 + x37 + x186 + x188 + x254 + x256 = 1 x2 + x6 + x11 + x37 + x188 + x256 = 1 x2 + x6 + x11 + x37 + x188 + x256 = 1 x2 + x6 + x11 + x35 + x37 + x186 + x188 + x254 + x256 = 1 x2 + x6 + x11 + x36 + x37 + x187 + x188 + x255 + x256 = 1 x2 + x6 + x11 + x36 + x37 + x187 + x188 + x255 + x256 = 1 x2 + x6 + x11 + x37 + x188 + x256 = 1 x2 + x6 + x11 + x37 + x188 + x256 = 1 x1 + x2 + x3 + x4 = 1 x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 = 1 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 = 1 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 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 = 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 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 End