\ trinity LP automatic \ Gurobi requires that the Maximize field be EMPTY for our problems. Maximize Subject to x76 = 1 x33 + x76 + x97 + x138 = 1 x33 + x76 + x97 + x138 = 1 x33 + x49 + x59 + x76 + x92 + x97 + x138 = 1 x29 + x33 + x49 + x59 + x76 + x92 + x97 + x138 = 1 x3 + x6 + x11 + x23 + x29 + x33 + x39 + x42 + x49 + x59 + x61 + x66 + x69 + x76 + x79 + x85 + x92 + x95 + x97 + x105 + x108 + x111 + x115 + x119 + x130 + x133 + x138 = 1 x3 + x6 + x9 + x20 + x23 + x29 + x33 + x39 + x42 + x49 + x53 + x56 + x59 + x61 + x66 + x69 + x73 + x76 + x79 + x83 + x92 + x95 + x97 + x101 + x105 + x108 + x111 + x115 + x119 + x127 + x130 + x133 + x138 = 1 x3 + x6 + x9 + x23 + x29 + x33 + x39 + x42 + x49 + x53 + x56 + x59 + x61 + x66 + x69 + x76 + x79 + x83 + x92 + x95 + x97 + x105 + x108 + x111 + x115 + x119 + x130 + x133 + x138 = 1 x29 + x33 + x49 + x59 + x76 + x92 + x97 + x138 = 1 x29 + x33 + x76 + x97 + x138 = 1 x76 = 1 x76 = 1 x3 + x6 + x12 + x20 + x29 + x33 + x37 + x53 + x56 + x59 + x63 + x70 + x76 + x81 + x86 + x92 + x101 + x112 + x116 + x120 + x130 + x133 = 1 x3 + x6 + x12 + x20 + x23 + x29 + x33 + x37 + x53 + x56 + x59 + x63 + x70 + x76 + x81 + x86 + x92 + x101 + x105 + x112 + x116 + x120 + x124 + x130 + x133 = 1 x1 + x3 + x6 + x9 + x12 + x15 + x18 + x20 + x23 + x29 + x33 + x34 + x37 + x39 + x49 + x53 + x56 + x59 + x61 + x63 + x66 + x70 + x73 + x76 + x79 + x81 + x83 + x86 + x92 + x95 + x98 + x101 + x105 + x111 + x115 + x120 + x123 + x124 + x127 + x130 + x133 + x138 + x139 = 1 x1 + x3 + x6 + x9 + x12 + x15 + x18 + x20 + x23 + x29 + x33 + x34 + x37 + x39 + x49 + x53 + x56 + x59 + x61 + x63 + x66 + x69 + x70 + x73 + x76 + x79 + x81 + x83 + x86 + x92 + x95 + x97 + x98 + x101 + x105 + x111 + x115 + x120 + x123 + x124 + x127 + x130 + x133 + x138 + x139 = 1 x1 + x3 + x6 + x9 + x12 + x14 + x15 + x18 + x20 + x23 + x29 + x31 + x33 + x34 + x37 + x39 + x49 + x51 + x53 + x56 + x58 + x59 + x61 + x63 + x66 + x70 + x73 + x76 + x79 + x81 + x83 + x86 + x89 + x92 + x95 + x98 + x101 + x105 + x111 + x112 + x115 + x116 + x120 + x123 + x124 + x127 + x130 + x133 + x138 + x139 = 1 x3 + x6 + x12 + x20 + x23 + x29 + x33 + x37 + x53 + x56 + x59 + x63 + x70 + x74 + x76 + x81 + x86 + x92 + x101 + x105 + x112 + x116 + x120 + x124 + x130 + x133 = 1 x3 + x6 + x20 + x23 + x29 + x37 + x59 + x63 + x70 + x74 + x76 + x81 + x92 + x101 + x105 + x112 + x116 + x120 + x124 + x130 + x133 = 1 x3 + x6 + x20 + x29 + x37 + x59 + x63 + x70 + x74 + x76 + x81 + x92 + x101 + x112 + x116 + x120 + x130 + x133 = 1 x3 + x6 + x20 + x29 + x37 + x59 + x63 + x70 + x76 + x81 + x92 + x101 + x112 + x116 + x120 + x130 + x133 = 1 x6 + x37 + x45 + x59 + x63 + x74 + x76 + x81 + x92 + x105 + x112 + x116 + x124 = 1 x6 + x37 + x45 + x59 + x63 + x70 + x74 + x76 + x81 + x92 + x105 + x112 + x116 + x124 + x130 = 1 x6 + x37 + x45 + x59 + x63 + x70 + x74 + x76 + x79 + x81 + x92 + x105 + x112 + x116 + x120 + x124 + x130 = 1 x15 + x37 + x45 + x59 + x63 + x70 + x74 + x76 + x79 + x90 + x92 + x105 + x112 + x116 + x120 + x124 + x130 = 1 x12 + x15 + x31 + x34 + x45 + x49 + x54 + x59 + x63 + x74 + x76 + x79 + x90 + x92 + x103 + x105 + x112 + x116 + x120 + x124 + x130 + x135 = 1 x12 + x15 + x31 + x45 + x49 + x59 + x74 + x76 + x79 + x90 + x92 + x103 + x105 + x120 + x124 + x130 + x135 = 1 x12 + x15 + x31 + x45 + x49 + x59 + x63 + x74 + x76 + x79 + x90 + x92 + x103 + x105 + x120 + x124 + x130 + x135 = 1 x15 + x37 + x45 + x59 + x63 + x74 + x76 + x79 + x90 + x92 + x105 + x112 + x116 + x120 + x124 = 1 x15 + x37 + x45 + x59 + x63 + x74 + x76 + x90 + x92 + x105 + x112 + x116 + x124 = 1 x3 + x6 + x11 + x23 + x29 + x33 + x39 + x42 + x49 + x59 + x61 + x66 + x69 + x76 + x77 + x79 + x85 + x92 + x95 + x97 + x105 + x108 + x111 + x115 + x119 + x123 + x130 + x133 + x138 = 1 x3 + x11 + x14 + x29 + x33 + x35 + x42 + x47 + x49 + x59 + x61 + x66 + x69 + x77 + x79 + x85 + x95 + x97 + x99 + x101 + x108 + x119 + x123 + x127 + x133 + x138 + x140 = 1 x3 + x11 + x14 + x29 + x33 + x35 + x42 + x47 + x49 + x59 + x61 + x69 + x77 + x79 + x85 + x95 + x97 + x99 + x101 + x108 + x119 + x123 + x127 + x140 = 1 x11 + x14 + x18 + x29 + x33 + x35 + x42 + x47 + x50 + x60 + x61 + x69 + x77 + x85 + x93 + x95 + x97 + x99 + x101 + x108 + x119 + x123 + x127 + x140 = 1 x11 + x14 + x18 + x29 + x30 + x33 + x35 + x42 + x47 + x50 + x60 + x61 + x69 + x77 + x81 + x85 + x93 + x95 + x97 + x99 + x101 + x108 + x111 + x115 + x119 + x123 + x127 + x140 = 1 x4 + x7 + x9 + x11 + x14 + x18 + x24 + x27 + x30 + x33 + x35 + x40 + x42 + x43 + x47 + x50 + x58 + x60 + x62 + x67 + x69 + x71 + x73 + x77 + x80 + x81 + x85 + x87 + x89 + x93 + x95 + x96 + x97 + x99 + x101 + x106 + x109 + x111 + x115 + x117 + x121 + x123 + x127 + x131 + x133 + x134 + x138 + x140 = 1 x1 + x4 + x7 + x9 + x10 + x11 + x14 + x18 + x21 + x23 + x24 + x27 + x30 + x35 + x37 + x40 + x42 + x43 + x45 + x47 + x50 + x55 + x57 + x58 + x60 + x62 + x63 + x67 + x69 + x71 + x73 + x77 + x80 + x81 + x84 + x85 + x89 + x93 + x95 + x96 + x97 + x99 + x101 + x102 + x106 + x108 + x109 + x111 + x115 + x117 + x119 + x121 + x123 + x127 + x128 + x131 + x133 + x134 + x138 + x140 = 1 x1 + x4 + x7 + x9 + x10 + x11 + x14 + x18 + x24 + x27 + x30 + x33 + x35 + x40 + x42 + x43 + x47 + x50 + x55 + x57 + x58 + x60 + x62 + x67 + x69 + x71 + x73 + x77 + x80 + x81 + x84 + x85 + x89 + x93 + x95 + x96 + x97 + x99 + x101 + x106 + x108 + x109 + x111 + x115 + x117 + x119 + x121 + x123 + x127 + x131 + x133 + x134 + x138 + x140 = 1 x11 + x14 + x18 + x29 + x30 + x33 + x35 + x42 + x47 + x50 + x60 + x61 + x66 + x69 + x77 + x81 + x85 + x93 + x95 + x97 + x99 + x101 + x108 + x111 + x115 + x119 + x123 + x127 + x133 + x138 + x140 = 1 x3 + x11 + x14 + x29 + x30 + x33 + x35 + x42 + x47 + x49 + x59 + x61 + x66 + x69 + x77 + x79 + x81 + x85 + x95 + x97 + x99 + x101 + x108 + x111 + x115 + x119 + x123 + x127 + x133 + x138 + x140 = 1 x3 + x6 + x11 + x20 + x23 + x29 + x33 + x39 + x42 + x49 + x59 + x61 + x66 + x69 + x73 + x76 + x77 + x79 + x85 + x92 + x95 + x97 + x101 + x105 + x108 + x111 + x115 + x119 + x123 + x127 + x130 + x133 + x138 = 1 x3 + x6 + x9 + x20 + x23 + x29 + x33 + x39 + x42 + x49 + x53 + x56 + x59 + x61 + x66 + x69 + x73 + x76 + x77 + x79 + x83 + x92 + x95 + x97 + x101 + x105 + x108 + x111 + x115 + x119 + x123 + x127 + x130 + x133 + x138 = 1 x1 + x3 + x6 + x9 + x12 + x15 + x18 + x20 + x23 + x27 + x29 + x33 + x34 + x37 + x39 + x49 + x53 + x56 + x59 + x61 + x63 + x66 + x69 + x70 + x73 + x76 + x79 + x81 + x83 + x86 + x92 + x95 + x97 + x98 + x101 + x105 + x108 + x111 + x115 + x119 + x120 + x123 + x124 + x127 + x130 + x133 + x138 + x139 = 1 x1 + x3 + x6 + x9 + x12 + x14 + x15 + x18 + x20 + x23 + x27 + x29 + x31 + x33 + x34 + x37 + x39 + x49 + x51 + x53 + x56 + x58 + x59 + x61 + x63 + x66 + x69 + x70 + x73 + x76 + x79 + x81 + x83 + x86 + x89 + x92 + x95 + x97 + x98 + x101 + x105 + x108 + x111 + x112 + x115 + x116 + x119 + x120 + x123 + x124 + x127 + x130 + x133 + x138 + x139 = 1 x1 + x3 + x4 + x6 + x7 + x9 + x11 + x12 + x13 + x14 + x15 + x18 + x20 + x21 + x23 + x27 + x29 + x30 + x31 + x33 + x34 + x35 + x37 + x38 + x39 + x41 + x44 + x45 + x47 + x49 + x51 + x53 + x55 + x56 + x57 + x58 + x60 + x61 + x63 + x64 + x66 + x68 + x70 + x72 + x73 + x74 + x77 + x79 + x81 + x82 + x83 + x86 + x88 + x89 + x90 + x93 + x95 + x97 + x98 + x101 + x102 + x105 + x108 + x111 + x112 + x113 + x115 + x116 + x118 + x119 + x122 + x123 + x124 + x127 + x130 + x131 + x133 + x134 + x135 + x138 + x139 = 1 x1 + x3 + x4 + x6 + x7 + x9 + x11 + x12 + x13 + x14 + x15 + x18 + x20 + x21 + x23 + x24 + x27 + x29 + x30 + x31 + x33 + x34 + x35 + x37 + x38 + x39 + x41 + x44 + x45 + x47 + x49 + x51 + x53 + x55 + x56 + x57 + x58 + x60 + x61 + x63 + x64 + x66 + x68 + x70 + x72 + x73 + x74 + x77 + x79 + x81 + x82 + x83 + x86 + x88 + x89 + x90 + x93 + x95 + x97 + x98 + x101 + x102 + x105 + x106 + x108 + x111 + x112 + x113 + x115 + x116 + x118 + x119 + x122 + x123 + x124 + x125 + x127 + x131 + x133 + x134 + x135 + x138 + x139 = 1 x1 + x2 + x3 + x4 + x6 + x7 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x17 + x18 + x19 + x20 + x21 + x23 + x24 + x27 + x29 + x30 + x31 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x42 + x44 + x45 + x47 + x50 + x51 + x53 + x55 + x57 + x58 + x60 + x62 + x63 + x64 + x66 + x67 + x68 + x69 + x72 + x73 + x74 + x77 + x80 + x81 + x82 + x83 + x84 + x85 + x88 + x89 + x90 + x93 + x96 + x97 + x98 + x100 + x101 + x102 + x103 + x106 + x108 + x111 + x112 + x115 + x117 + x119 + x122 + x123 + x124 + x125 + x127 + x128 + x131 + x133 + x134 + x135 + x138 + x139 + x140 + x141 = 1 x1 + x2 + x3 + x4 + x6 + x7 + x9 + x10 + x11 + x12 + x13 + x14 + x17 + x18 + x19 + x20 + x21 + x23 + x24 + x27 + x30 + x31 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x42 + x44 + x45 + x47 + x50 + x51 + x53 + x55 + x57 + x58 + x60 + x62 + x63 + x64 + x66 + x67 + x69 + x71 + x72 + x73 + x74 + x77 + x80 + x81 + x82 + x83 + x84 + x85 + x88 + x89 + x90 + x93 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x106 + x108 + x111 + x112 + x115 + x117 + x119 + x122 + x123 + x124 + x125 + x127 + x128 + x131 + x133 + x134 + x138 + x140 + x141 = 1 x1 + x2 + x3 + x4 + x6 + x7 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x23 + x24 + x27 + x29 + x30 + x31 + x32 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x42 + x44 + x45 + x47 + x50 + x51 + x52 + x53 + x55 + x57 + x58 + x60 + x62 + x63 + x64 + x66 + x67 + x68 + x69 + x72 + x73 + x74 + x77 + x80 + x81 + x82 + x83 + x84 + x85 + x88 + x89 + x90 + x93 + x96 + x97 + x98 + x100 + x101 + x102 + x103 + x106 + x108 + x111 + x112 + x113 + x115 + x117 + x118 + x119 + x122 + x124 + x125 + x127 + x128 + x131 + x133 + x134 + x135 + x138 + x139 + x140 + x141 = 1 x1 + x3 + x4 + x6 + x7 + x9 + x11 + x12 + x13 + x14 + x15 + x18 + x20 + x21 + x23 + x24 + x27 + x29 + x30 + x31 + x33 + x34 + x35 + x37 + x38 + x39 + x41 + x44 + x45 + x47 + x49 + x51 + x53 + x55 + x56 + x57 + x58 + x60 + x61 + x63 + x64 + x66 + x68 + x70 + x72 + x73 + x74 + x75 + x77 + x79 + x81 + x82 + x83 + x86 + x88 + x89 + x90 + x93 + x95 + x97 + x98 + x101 + x102 + x103 + x105 + x106 + x108 + x111 + x112 + x113 + x115 + x116 + x118 + x119 + x122 + x123 + x124 + x125 + x127 + x131 + x134 + x135 + x139 = 1 x1 + x3 + x4 + x6 + x7 + x9 + x11 + x12 + x14 + x15 + x18 + x20 + x21 + x23 + x24 + x27 + x29 + x30 + x31 + x33 + x34 + x37 + x38 + x39 + x41 + x44 + x45 + x47 + x49 + x51 + x53 + x54 + x56 + x58 + x60 + x61 + x63 + x64 + x66 + x68 + x70 + x72 + x73 + x74 + x75 + x77 + x79 + x81 + x82 + x83 + x86 + x89 + x90 + x93 + x95 + x97 + x98 + x101 + x102 + x103 + x105 + x106 + x108 + x112 + x113 + x116 + x118 + x119 + x120 + x122 + x123 + x124 + x125 + x127 + x131 + x134 + x135 + x139 = 1 x1 + x3 + x4 + x6 + x7 + x9 + x11 + x12 + x14 + x15 + x18 + x20 + x21 + x23 + x27 + x29 + x30 + x31 + x33 + x34 + x37 + x38 + x39 + x41 + x44 + x45 + x47 + x49 + x51 + x53 + x54 + x56 + x58 + x60 + x61 + x63 + x64 + x66 + x68 + x70 + x72 + x73 + x74 + x75 + x77 + x79 + x81 + x82 + x83 + x86 + x89 + x90 + x93 + x95 + x97 + x98 + x101 + x102 + x103 + x105 + x108 + x112 + x113 + x116 + x118 + x119 + x120 + x122 + x123 + x124 + x127 + x130 + x131 + x134 + x135 + x139 = 1 x1 + x3 + x4 + x6 + x7 + x9 + x11 + x12 + x14 + x15 + x18 + x20 + x21 + x23 + x27 + x29 + x30 + x31 + x33 + x34 + x37 + x38 + x39 + x41 + x44 + x45 + x47 + x49 + x51 + x53 + x54 + x56 + x58 + x60 + x61 + x63 + x64 + x66 + x68 + x70 + x72 + x73 + x74 + x77 + x79 + x81 + x82 + x83 + x86 + x89 + x90 + x93 + x95 + x97 + x98 + x101 + x102 + x105 + x108 + x112 + x113 + x116 + x118 + x119 + x120 + x122 + x123 + x124 + x127 + x130 + x131 + x133 + x134 + x135 + x138 + x139 = 1 x1 + x3 + x6 + x9 + x12 + x14 + x15 + x18 + x20 + x23 + x27 + x29 + x31 + x33 + x34 + x37 + x39 + x49 + x51 + x53 + x56 + x58 + x59 + x61 + x63 + x66 + x70 + x73 + x76 + x79 + x81 + x83 + x86 + x89 + x92 + x95 + x98 + x101 + x105 + x108 + x111 + x112 + x115 + x116 + x119 + x120 + x123 + x124 + x127 + x130 + x133 + x138 + x139 = 1 x12 + x15 + x20 + x31 + x34 + x45 + x47 + x49 + x54 + x59 + x61 + x63 + x74 + x79 + x90 + x92 + x95 + x103 + x105 + x112 + x116 + x120 + x124 + x130 + x135 = 1 x1 + x3 + x6 + x7 + x9 + x12 + x15 + x20 + x23 + x27 + x31 + x34 + x38 + x41 + x45 + x46 + x47 + x49 + x51 + x54 + x56 + x58 + x60 + x61 + x64 + x68 + x70 + x74 + x75 + x77 + x79 + x82 + x86 + x90 + x92 + x93 + x95 + x103 + x105 + x106 + x108 + x112 + x113 + x116 + x118 + x120 + x124 + x125 + x127 + x130 + x135 + x139 = 1 x1 + x3 + x6 + x7 + x9 + x12 + x15 + x18 + x20 + x23 + x27 + x31 + x34 + x38 + x41 + x45 + x46 + x47 + x49 + x51 + x54 + x56 + x58 + x60 + x61 + x64 + x68 + x70 + x72 + x74 + x75 + x77 + x79 + x82 + x86 + x90 + x92 + x93 + x95 + x98 + x103 + x105 + x106 + x108 + x112 + x113 + x116 + x118 + x120 + x124 + x125 + x127 + x130 + x131 + x135 + x139 = 1 x1 + x3 + x6 + x7 + x9 + x12 + x15 + x18 + x20 + x23 + x27 + x31 + x34 + x38 + x41 + x45 + x46 + x47 + x49 + x51 + x54 + x56 + x58 + x60 + x61 + x64 + x68 + x70 + x72 + x74 + x75 + x77 + x79 + x80 + x82 + x86 + x90 + x93 + x95 + x98 + x103 + x105 + x106 + x108 + x112 + x113 + x116 + x118 + x120 + x122 + x124 + x125 + x127 + x130 + x131 + x135 + x139 = 1 x1 + x6 + x9 + x12 + x15 + x17 + x18 + x20 + x23 + x27 + x31 + x34 + x38 + x41 + x45 + x46 + x47 + x49 + x54 + x56 + x60 + x61 + x64 + x68 + x70 + x72 + x74 + x75 + x77 + x79 + x80 + x86 + x90 + x91 + x93 + x95 + x98 + x103 + x106 + x108 + x112 + x113 + x116 + x118 + x120 + x122 + x125 + x127 + x130 + x131 + x135 + x139 = 1 x1 + x5 + x12 + x13 + x15 + x17 + x31 + x32 + x34 + x36 + x41 + x46 + x47 + x50 + x54 + x56 + x60 + x61 + x64 + x68 + x70 + x75 + x77 + x80 + x83 + x86 + x91 + x93 + x98 + x103 + x104 + x106 + x113 + x116 + x118 + x120 + x122 + x125 + x131 + x135 + x137 + x139 = 1 x1 + x5 + x13 + x15 + x17 + x31 + x32 + x34 + x41 + x46 + x47 + x50 + x54 + x56 + x60 + x61 + x68 + x70 + x75 + x77 + x80 + x86 + x91 + x93 + x98 + x103 + x104 + x106 + x116 + x120 + x122 + x125 + x131 + x137 = 1 x1 + x5 + x12 + x13 + x15 + x17 + x31 + x32 + x34 + x41 + x46 + x47 + x50 + x54 + x56 + x60 + x61 + x64 + x68 + x70 + x75 + x77 + x80 + x86 + x91 + x93 + x98 + x103 + x104 + x106 + x116 + x120 + x122 + x125 + x131 + x135 + x137 + x139 = 1 x1 + x6 + x9 + x12 + x15 + x17 + x20 + x23 + x27 + x31 + x34 + x38 + x41 + x45 + x46 + x47 + x49 + x54 + x56 + x60 + x61 + x64 + x68 + x70 + x74 + x75 + x77 + x79 + x80 + x86 + x90 + x91 + x93 + x95 + x103 + x106 + x108 + x112 + x113 + x116 + x118 + x120 + x122 + x125 + x127 + x130 + x135 + x139 = 1 x1 + x6 + x9 + x12 + x15 + x17 + x20 + x23 + x27 + x31 + x34 + x38 + x41 + x45 + x46 + x47 + x49 + x54 + x56 + x60 + x61 + x64 + x68 + x70 + x74 + x75 + x77 + x79 + x86 + x90 + x91 + x92 + x93 + x95 + x103 + x106 + x108 + x112 + x113 + x116 + x118 + x120 + x125 + x127 + x130 + x135 + x139 = 1 x12 + x15 + x20 + x31 + x34 + x45 + x47 + x49 + x54 + x59 + x61 + x74 + x79 + x90 + x92 + x95 + x103 + x105 + x112 + x116 + x120 + x124 + x130 + x135 = 1 x12 + x15 + x20 + x31 + x45 + x47 + x49 + x59 + x61 + x74 + x79 + x90 + x92 + x95 + x103 + x105 + x120 + x124 + x130 + x135 = 1 x4 + x7 + x9 + x11 + x14 + x18 + x24 + x27 + x30 + x33 + x35 + x40 + x42 + x43 + x47 + x50 + x58 + x60 + x62 + x67 + x69 + x71 + x73 + x77 + x78 + x80 + x81 + x85 + x87 + x89 + x93 + x96 + x99 + x101 + x106 + x109 + x111 + x115 + x117 + x121 + x123 + x127 + x131 + x133 + x134 + x138 + x140 = 1 x4 + x11 + x14 + x16 + x30 + x35 + x43 + x48 + x50 + x58 + x60 + x62 + x67 + x71 + x73 + x78 + x80 + x87 + x89 + x96 + x99 + x102 + x109 + x111 + x121 + x123 + x128 + x134 + x140 + x142 = 1 x4 + x11 + x16 + x30 + x35 + x43 + x48 + x50 + x58 + x60 + x62 + x71 + x73 + x78 + x80 + x87 + x89 + x96 + x99 + x102 + x109 + x111 + x121 + x123 + x128 + x142 = 1 x11 + x16 + x19 + x30 + x35 + x43 + x48 + x58 + x62 + x71 + x73 + x78 + x87 + x89 + x94 + x96 + x99 + x102 + x109 + x111 + x121 + x123 + x128 + x142 = 1 x11 + x16 + x19 + x30 + x35 + x43 + x48 + x58 + x62 + x71 + x73 + x78 + x82 + x87 + x89 + x94 + x96 + x99 + x102 + x109 + x111 + x117 + x121 + x123 + x128 + x142 = 1 x8 + x10 + x16 + x19 + x25 + x28 + x35 + x43 + x48 + x51 + x58 + x71 + x73 + x78 + x82 + x87 + x89 + x94 + x96 + x99 + x102 + x107 + x117 + x128 + x132 + x134 + x136 + x140 + x142 = 1 x2 + x8 + x10 + x16 + x19 + x22 + x24 + x25 + x28 + x38 + x43 + x46 + x48 + x51 + x58 + x64 + x71 + x78 + x82 + x85 + x87 + x89 + x94 + x96 + x99 + x102 + x107 + x109 + x117 + x121 + x128 + x132 + x134 + x136 + x140 + x142 = 1 x2 + x8 + x10 + x16 + x19 + x25 + x28 + x35 + x43 + x48 + x51 + x58 + x71 + x73 + x78 + x82 + x85 + x87 + x89 + x94 + x96 + x99 + x102 + x107 + x109 + x117 + x121 + x128 + x132 + x134 + x136 + x140 + x142 = 1 x11 + x14 + x16 + x19 + x30 + x35 + x43 + x48 + x58 + x62 + x67 + x71 + x73 + x78 + x82 + x87 + x89 + x94 + x96 + x99 + x102 + x109 + x111 + x117 + x121 + x123 + x128 + x134 + x140 + x142 = 1 x4 + x11 + x14 + x16 + x30 + x35 + x43 + x48 + x50 + x58 + x60 + x62 + x67 + x71 + x73 + x78 + x80 + x82 + x87 + x89 + x96 + x99 + x102 + x109 + x111 + x117 + x121 + x123 + x128 + x134 + x140 + x142 = 1 x4 + x7 + x9 + x11 + x14 + x18 + x21 + x23 + x24 + x27 + x30 + x35 + x37 + x40 + x42 + x43 + x45 + x47 + x50 + x58 + x60 + x62 + x63 + x67 + x69 + x71 + x73 + x77 + x78 + x80 + x81 + x85 + x87 + x89 + x93 + x96 + x99 + x101 + x102 + x106 + x109 + x111 + x115 + x117 + x121 + x123 + x127 + x128 + x131 + x133 + x134 + x138 + x140 = 1 x1 + x4 + x7 + x9 + x10 + x11 + x14 + x18 + x21 + x23 + x24 + x27 + x30 + x35 + x37 + x40 + x42 + x43 + x45 + x47 + x50 + x55 + x57 + x58 + x60 + x62 + x63 + x67 + x69 + x71 + x73 + x77 + x78 + x80 + x81 + x84 + x85 + x89 + x93 + x96 + x99 + x101 + x102 + x106 + x108 + x109 + x111 + x115 + x117 + x119 + x121 + x123 + x127 + x128 + x131 + x133 + x134 + x138 + x140 = 1 x1 + x2 + x3 + x4 + x7 + x9 + x10 + x11 + x12 + x13 + x14 + x17 + x18 + x19 + x20 + x21 + x23 + x24 + x27 + x28 + x30 + x31 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x42 + x44 + x45 + x47 + x50 + x51 + x53 + x55 + x57 + x58 + x60 + x62 + x63 + x64 + x66 + x67 + x69 + x71 + x72 + x73 + x74 + x77 + x80 + x81 + x82 + x83 + x84 + x85 + x88 + x89 + x90 + x93 + x96 + x97 + x98 + x99 + x100 + x102 + x103 + x106 + x108 + x109 + x111 + x112 + x115 + x117 + x119 + x121 + x122 + x123 + x124 + x125 + x128 + x131 + x133 + x134 + x138 + x140 + x141 = 1 x1 + x2 + x3 + x4 + x7 + x9 + x10 + x11 + x12 + x13 + x14 + x16 + x17 + x18 + x19 + x20 + x21 + x23 + x24 + x27 + x28 + x30 + x31 + x32 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x42 + x44 + x45 + x47 + x50 + x51 + x52 + x53 + x55 + x57 + x58 + x60 + x62 + x63 + x64 + x66 + x67 + x69 + x71 + x72 + x73 + x74 + x77 + x80 + x81 + x82 + x83 + x84 + x85 + x88 + x89 + x90 + x93 + x96 + x97 + x98 + x99 + x100 + x102 + x103 + x106 + x108 + x109 + x111 + x112 + x113 + x115 + x117 + x118 + x119 + x121 + x122 + x124 + x125 + x128 + x131 + x133 + x134 + x138 + x140 + x141 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x11 + x13 + x14 + x16 + x17 + x18 + x19 + x21 + x22 + x24 + x26 + x27 + x28 + x30 + x32 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x42 + x44 + x45 + x46 + x48 + x50 + x51 + x52 + x53 + x55 + x57 + x62 + x64 + x65 + x66 + x67 + x69 + x72 + x74 + x75 + x78 + x80 + x82 + x83 + x84 + x85 + x88 + x90 + x91 + x94 + x96 + x98 + x99 + x100 + x102 + x103 + x106 + x109 + x110 + x113 + x114 + x115 + x117 + x118 + x119 + x121 + x125 + x128 + x131 + x132 + x134 + x135 + x136 + x137 + x139 + x140 + x141 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x10 + x11 + x13 + x14 + x16 + x17 + x18 + x19 + x21 + x22 + x24 + x25 + x26 + x27 + x28 + x30 + x32 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x42 + x44 + x45 + x46 + x48 + x50 + x51 + x52 + x53 + x55 + x57 + x62 + x64 + x65 + x66 + x67 + x69 + x72 + x74 + x75 + x78 + x80 + x82 + x83 + x84 + x85 + x88 + x90 + x91 + x94 + x96 + x99 + x100 + x102 + x103 + x106 + x107 + x109 + x110 + x113 + x114 + x115 + x117 + x118 + x119 + x121 + x125 + x126 + x128 + x132 + x134 + x135 + x136 + x137 + x139 + x140 + x141 = 1 x2 + x4 + x5 + x7 + x8 + x10 + x13 + x16 + x17 + x19 + x21 + x22 + x24 + x25 + x28 + x30 + x32 + x36 + x38 + x39 + x40 + x42 + x43 + x46 + x48 + x51 + x52 + x55 + x64 + x65 + x67 + x69 + x71 + x75 + x78 + x82 + x84 + x85 + x87 + x89 + x91 + x94 + x99 + x100 + x102 + x104 + x107 + x109 + x110 + x113 + x117 + x121 + x125 + x126 + x128 + x129 + x132 + x134 + x136 + x137 + x140 + x141 + x142 = 1 x2 + x4 + x5 + x7 + x8 + x10 + x13 + x16 + x19 + x21 + x22 + x24 + x25 + x28 + x32 + x36 + x38 + x40 + x43 + x46 + x48 + x51 + x52 + x55 + x64 + x65 + x67 + x71 + x75 + x78 + x82 + x84 + x85 + x87 + x89 + x91 + x94 + x99 + x100 + x102 + x104 + x107 + x109 + x110 + x113 + x117 + x121 + x125 + x126 + x128 + x129 + x132 + x134 + x136 + x140 + x142 = 1 x2 + x4 + x5 + x7 + x8 + x10 + x13 + x16 + x17 + x19 + x21 + x22 + x24 + x25 + x28 + x30 + x32 + x36 + x38 + x39 + x40 + x42 + x43 + x46 + x48 + x51 + x52 + x55 + x64 + x65 + x67 + x69 + x71 + x75 + x78 + x82 + x84 + x85 + x87 + x91 + x94 + x99 + x100 + x102 + x104 + x107 + x109 + x110 + x113 + x114 + x117 + x121 + x125 + x126 + x128 + x129 + x132 + x134 + x136 + x137 + x140 + x141 + x142 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x10 + x13 + x14 + x16 + x17 + x18 + x19 + x21 + x22 + x24 + x25 + x26 + x27 + x28 + x30 + x32 + x35 + x36 + x38 + x39 + x40 + x42 + x44 + x46 + x48 + x50 + x51 + x52 + x53 + x55 + x57 + x62 + x64 + x65 + x66 + x67 + x69 + x72 + x75 + x78 + x80 + x82 + x83 + x84 + x85 + x88 + x90 + x91 + x94 + x96 + x99 + x100 + x102 + x103 + x104 + x106 + x107 + x109 + x110 + x113 + x114 + x115 + x117 + x118 + x119 + x121 + x125 + x126 + x128 + x129 + x132 + x135 + x136 + x137 + x139 + x141 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x10 + x13 + x14 + x16 + x17 + x18 + x19 + x21 + x22 + x24 + x25 + x26 + x27 + x28 + x30 + x32 + x35 + x36 + x38 + x39 + x40 + x42 + x44 + x46 + x48 + x50 + x51 + x52 + x53 + x55 + x57 + x62 + x64 + x65 + x66 + x67 + x69 + x72 + x75 + x78 + x80 + x82 + x83 + x84 + x85 + x86 + x88 + x90 + x91 + x94 + x96 + x99 + x100 + x102 + x103 + x104 + x106 + x107 + x109 + x110 + x113 + x114 + x115 + x118 + x119 + x121 + x122 + x125 + x126 + x128 + x129 + x132 + x135 + x136 + x137 + x139 + x141 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x13 + x14 + x16 + x17 + x18 + x19 + x21 + x22 + x24 + x26 + x27 + x28 + x30 + x32 + x35 + x36 + x38 + x39 + x40 + x42 + x44 + x46 + x48 + x50 + x51 + x52 + x53 + x55 + x57 + x62 + x64 + x65 + x66 + x67 + x69 + x72 + x75 + x78 + x80 + x82 + x83 + x84 + x85 + x86 + x88 + x90 + x91 + x94 + x96 + x98 + x99 + x100 + x102 + x103 + x104 + x106 + x109 + x110 + x113 + x114 + x115 + x118 + x119 + x121 + x122 + x125 + x128 + x129 + x131 + x132 + x135 + x136 + x137 + x139 + x141 = 1 x1 + x2 + x4 + x5 + x7 + x8 + x9 + x10 + x11 + x13 + x14 + x16 + x17 + x18 + x19 + x21 + x22 + x24 + x26 + x27 + x28 + x30 + x32 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x42 + x44 + x45 + x46 + x48 + x50 + x51 + x52 + x53 + x55 + x57 + x62 + x64 + x65 + x66 + x67 + x69 + x72 + x74 + x75 + x78 + x80 + x82 + x83 + x84 + x85 + x86 + x88 + x90 + x91 + x94 + x96 + x98 + x99 + x100 + x102 + x103 + x106 + x109 + x110 + x113 + x114 + x115 + x118 + x119 + x121 + x122 + x125 + x128 + x131 + x132 + x134 + x135 + x136 + x137 + x139 + x140 + x141 = 1 x1 + x2 + x3 + x4 + x7 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x23 + x24 + x27 + x28 + x29 + x30 + x31 + x32 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x42 + x44 + x45 + x47 + x50 + x51 + x52 + x53 + x55 + x57 + x58 + x60 + x62 + x63 + x64 + x66 + x67 + x68 + x69 + x72 + x73 + x74 + x77 + x80 + x81 + x82 + x83 + x84 + x85 + x88 + x89 + x90 + x93 + x96 + x97 + x98 + x100 + x102 + x103 + x106 + x108 + x109 + x111 + x112 + x113 + x115 + x117 + x118 + x119 + x121 + x122 + x124 + x125 + x128 + x131 + x133 + x134 + x135 + x138 + x139 + x140 + x141 = 1 x5 + x12 + x13 + x15 + x17 + x21 + x26 + x31 + x32 + x34 + x36 + x41 + x46 + x48 + x50 + x54 + x56 + x60 + x62 + x64 + x68 + x70 + x75 + x80 + x83 + x86 + x91 + x93 + x96 + x98 + x103 + x104 + x106 + x113 + x116 + x118 + x120 + x122 + x125 + x131 + x135 + x137 + x139 = 1 x2 + x4 + x5 + x7 + x8 + x10 + x13 + x17 + x21 + x24 + x26 + x28 + x31 + x32 + x36 + x41 + x44 + x46 + x48 + x50 + x52 + x53 + x54 + x56 + x57 + x62 + x65 + x68 + x70 + x72 + x75 + x78 + x80 + x83 + x86 + x88 + x90 + x91 + x93 + x94 + x96 + x98 + x103 + x104 + x106 + x107 + x109 + x113 + x114 + x118 + x122 + x125 + x126 + x128 + x129 + x131 + x135 + x137 + x139 + x141 = 1 x2 + x4 + x5 + x7 + x8 + x10 + x13 + x17 + x19 + x21 + x24 + x26 + x27 + x28 + x32 + x36 + x39 + x41 + x42 + x44 + x46 + x48 + x50 + x52 + x53 + x54 + x56 + x57 + x62 + x65 + x66 + x68 + x72 + x75 + x78 + x80 + x83 + x86 + x88 + x90 + x91 + x93 + x94 + x96 + x98 + x100 + x103 + x104 + x106 + x107 + x109 + x113 + x114 + x118 + x122 + x125 + x126 + x128 + x129 + x131 + x132 + x135 + x137 + x139 + x141 = 1 x2 + x4 + x5 + x7 + x8 + x10 + x13 + x17 + x19 + x21 + x24 + x26 + x27 + x28 + x32 + x36 + x39 + x41 + x42 + x44 + x46 + x48 + x50 + x52 + x53 + x54 + x56 + x57 + x62 + x65 + x66 + x68 + x72 + x75 + x78 + x80 + x83 + x86 + x88 + x90 + x91 + x94 + x96 + x98 + x100 + x104 + x106 + x107 + x109 + x110 + x113 + x114 + x118 + x122 + x125 + x126 + x128 + x129 + x131 + x132 + x135 + x137 + x139 + x141 = 1 x2 + x5 + x7 + x10 + x13 + x17 + x19 + x21 + x24 + x26 + x27 + x28 + x32 + x36 + x39 + x41 + x42 + x44 + x46 + x48 + x50 + x53 + x54 + x56 + x57 + x62 + x65 + x66 + x68 + x72 + x75 + x78 + x80 + x83 + x86 + x88 + x91 + x94 + x96 + x98 + x100 + x104 + x107 + x109 + x110 + x113 + x114 + x118 + x122 + x126 + x128 + x129 + x131 + x132 + x135 + x137 + x139 + x141 = 1 x2 + x5 + x13 + x17 + x26 + x32 + x36 + x41 + x44 + x48 + x54 + x57 + x62 + x65 + x68 + x72 + x78 + x84 + x88 + x94 + x100 + x104 + x107 + x110 + x114 + x118 + x122 + x126 + x129 + x132 + x137 + x141 = 1 x2 + x5 + x17 + x26 + x32 + x36 + x41 + x44 + x48 + x54 + x57 + x62 + x68 + x72 + x78 + x88 + x94 + x100 + x104 + x107 + x110 + x118 + x122 + x126 + x129 + x132 = 1 x2 + x5 + x13 + x17 + x26 + x32 + x36 + x41 + x44 + x48 + x54 + x57 + x62 + x65 + x68 + x72 + x78 + x88 + x94 + x100 + x104 + x107 + x110 + x118 + x122 + x126 + x129 + x132 + x137 + x141 = 1 x2 + x5 + x7 + x10 + x13 + x17 + x21 + x24 + x26 + x28 + x31 + x32 + x36 + x41 + x44 + x46 + x48 + x50 + x53 + x54 + x56 + x57 + x62 + x65 + x68 + x70 + x72 + x75 + x78 + x80 + x83 + x86 + x88 + x91 + x94 + x96 + x98 + x104 + x107 + x109 + x110 + x113 + x114 + x118 + x122 + x126 + x128 + x129 + x131 + x135 + x137 + x139 + x141 = 1 x2 + x5 + x7 + x10 + x13 + x17 + x21 + x24 + x26 + x28 + x31 + x32 + x36 + x41 + x44 + x46 + x48 + x50 + x53 + x54 + x56 + x57 + x62 + x65 + x68 + x70 + x72 + x75 + x78 + x80 + x83 + x86 + x88 + x91 + x93 + x94 + x96 + x98 + x103 + x104 + x107 + x109 + x113 + x114 + x118 + x122 + x126 + x128 + x129 + x131 + x135 + x137 + x139 + x141 = 1 x5 + x13 + x15 + x17 + x21 + x26 + x31 + x32 + x34 + x36 + x41 + x46 + x48 + x50 + x54 + x56 + x60 + x62 + x68 + x70 + x75 + x80 + x83 + x86 + x91 + x93 + x96 + x98 + x103 + x104 + x106 + x113 + x116 + x118 + x120 + x122 + x125 + x131 + x137 = 1 x5 + x13 + x15 + x17 + x21 + x26 + x31 + x32 + x34 + x41 + x46 + x48 + x50 + x54 + x56 + x60 + x62 + x68 + x70 + x75 + x80 + x86 + x91 + x93 + x96 + x98 + x103 + x104 + x106 + x116 + x120 + x122 + x125 + x131 + x137 = 1 x5 + x26 + x54 + x110 + x129 = 1 x5 + x26 + x41 + x44 + x54 + x68 + x110 + x129 = 1 x26 + x54 + x110 + x129 = 1 x8 + x10 + x16 + x19 + x25 + x28 + x35 + x43 + x48 + x51 + x58 + x71 + x73 + x78 + x82 + x87 + x89 + x94 + x102 + x107 + x117 + x128 + x132 + x134 + x136 + x140 + x142 = 1 x16 + x136 + x142 = 1 x52 + x136 + x142 = 1 x25 + x52 + x65 + x87 + x136 + x142 = 1 x52 + x87 + x136 + x142 = 1 x16 + x136 + x142 = 1 x16 + x136 + x142 = 1 x8 + x10 + x16 + x19 + x22 + x24 + x25 + x28 + x38 + x43 + x46 + x48 + x51 + x58 + x64 + x71 + x78 + x82 + x87 + x89 + x94 + x102 + x107 + x117 + x128 + x132 + x134 + x136 + x140 + x142 = 1 x2 + x8 + x10 + x16 + x19 + x22 + x24 + x25 + x28 + x38 + x43 + x46 + x48 + x51 + x58 + x64 + x71 + x78 + x82 + x85 + x87 + x89 + x94 + x102 + x107 + x109 + x117 + x121 + x128 + x132 + x134 + x136 + x140 + x142 = 1 x2 + x4 + x8 + x10 + x13 + x16 + x19 + x21 + x22 + x24 + x25 + x28 + x32 + x36 + x38 + x40 + x43 + x46 + x48 + x51 + x52 + x55 + x64 + x65 + x67 + x71 + x75 + x78 + x82 + x84 + x85 + x87 + x89 + x91 + x94 + x99 + x100 + x104 + x107 + x109 + x110 + x113 + x117 + x121 + x125 + x126 + x129 + x132 + x134 + x136 + x140 + x142 = 1 x2 + x4 + x8 + x10 + x13 + x16 + x19 + x21 + x22 + x24 + x25 + x28 + x32 + x36 + x38 + x40 + x43 + x46 + x48 + x51 + x52 + x55 + x64 + x65 + x67 + x71 + x75 + x78 + x82 + x84 + x85 + x87 + x91 + x94 + x99 + x100 + x104 + x107 + x109 + x110 + x113 + x114 + x117 + x121 + x125 + x126 + x129 + x132 + x134 + x136 + x140 + x142 = 1 x2 + x8 + x10 + x16 + x19 + x22 + x25 + x28 + x36 + x38 + x40 + x43 + x46 + x52 + x55 + x65 + x67 + x71 + x75 + x84 + x87 + x91 + x100 + x104 + x107 + x114 + x117 + x121 + x126 + x129 + x132 + x136 + x137 + x141 + x142 = 1 x2 + x8 + x16 + x19 + x22 + x25 + x28 + x36 + x38 + x40 + x43 + x46 + x52 + x55 + x65 + x67 + x71 + x75 + x84 + x87 + x91 + x104 + x107 + x114 + x117 + x121 + x126 + x129 + x136 + x137 + x141 + x142 = 1 x8 + x22 + x25 + x40 + x43 + x52 + x65 + x71 + x87 + x114 + x126 + x136 + x142 = 1 x8 + x22 + x25 + x52 + x65 + x87 + x114 + x126 + x136 + x142 = 1 x8 + x22 + x25 + x40 + x43 + x52 + x65 + x71 + x87 + x114 + x126 + x136 + x142 = 1 x2 + x8 + x16 + x19 + x22 + x25 + x26 + x28 + x40 + x43 + x52 + x55 + x65 + x67 + x71 + x84 + x87 + x91 + x104 + x107 + x114 + x117 + x121 + x126 + x129 + x137 + x141 = 1 x2 + x8 + x16 + x19 + x22 + x25 + x26 + x28 + x40 + x43 + x52 + x55 + x65 + x67 + x71 + x84 + x87 + x88 + x91 + x104 + x107 + x110 + x114 + x117 + x121 + x126 + x129 + x137 + x141 = 1 x2 + x8 + x10 + x16 + x19 + x22 + x25 + x26 + x28 + x40 + x43 + x52 + x55 + x65 + x67 + x71 + x84 + x87 + x88 + x91 + x100 + x104 + x107 + x110 + x114 + x117 + x121 + x126 + x129 + x132 + x137 + x141 = 1 x2 + x8 + x10 + x16 + x19 + x22 + x25 + x28 + x36 + x38 + x40 + x43 + x46 + x52 + x55 + x65 + x67 + x71 + x75 + x84 + x87 + x88 + x91 + x100 + x104 + x107 + x110 + x114 + x117 + x121 + x126 + x129 + x132 + x136 + x137 + x141 + x142 = 1 x2 + x4 + x8 + x10 + x13 + x16 + x17 + x19 + x21 + x22 + x24 + x25 + x28 + x30 + x32 + x36 + x38 + x39 + x40 + x42 + x43 + x46 + x48 + x51 + x52 + x55 + x64 + x65 + x67 + x69 + x71 + x75 + x78 + x82 + x84 + x85 + x87 + x91 + x94 + x99 + x100 + x104 + x107 + x109 + x110 + x113 + x114 + x117 + x121 + x125 + x126 + x129 + x132 + x134 + x136 + x137 + x140 + x141 + x142 = 1 x5 + x13 + x17 + x22 + x26 + x32 + x36 + x41 + x44 + x54 + x57 + x65 + x68 + x72 + x84 + x88 + x94 + x100 + x104 + x107 + x110 + x114 + x118 + x122 + x126 + x129 + x132 + x137 + x141 = 1 x5 + x8 + x22 + x25 + x26 + x32 + x41 + x44 + x55 + x57 + x72 + x84 + x88 + x91 + x94 + x100 + x104 + x107 + x110 + x114 + x126 + x129 + x132 + x137 + x141 = 1 x5 + x8 + x22 + x25 + x26 + x28 + x40 + x43 + x55 + x57 + x67 + x84 + x88 + x91 + x94 + x100 + x104 + x107 + x110 + x114 + x126 + x129 + x132 + x137 + x141 = 1 x5 + x8 + x22 + x25 + x26 + x28 + x40 + x43 + x55 + x57 + x67 + x84 + x88 + x91 + x100 + x107 + x110 + x114 + x126 + x132 + x137 + x141 = 1 x5 + x8 + x22 + x25 + x26 + x28 + x40 + x43 + x55 + x57 + x67 + x84 + x88 + x100 + x110 + x114 + x132 + x137 + x141 = 1 x5 + x8 + x22 + x25 + x26 + x32 + x41 + x44 + x55 + x57 + x72 + x84 + x88 + x100 + x110 + x114 + x132 + x137 + x141 = 1 x5 + x8 + x22 + x25 + x26 + x32 + x41 + x44 + x55 + x57 + x72 + x84 + x88 + x94 + x100 + x104 + x110 + x114 + x129 + x132 + x137 + x141 = 1 x5 + x17 + x22 + x26 + x32 + x36 + x41 + x44 + x54 + x57 + x68 + x72 + x84 + x88 + x94 + x100 + x104 + x107 + x110 + x114 + x118 + x122 + x126 + x129 + x132 = 1 x5 + x17 + x22 + x26 + x32 + x36 + x41 + x44 + x54 + x57 + x68 + x72 + x88 + x94 + x100 + x104 + x107 + x110 + x118 + x122 + x126 + x129 + x132 = 1 x5 + x26 + x41 + x44 + x54 + x68 + x110 + x129 = 1 x26 + x41 + x44 + x54 + x68 + x110 + x129 = 1 x26 + x54 + x110 + x129 = 1 x52 + x136 + x142 = 1 x25 + x52 + x65 + x136 + x142 = 1 x25 + x52 + x65 + x87 + x136 + x142 = 1 x22 + x25 + x52 + x65 + x87 + x114 + x126 + x136 + x142 = 1 x22 + x25 + x52 + x65 + x87 + x114 + x126 + x136 + x142 = 1 x22 + x25 + x40 + x43 + x52 + x65 + x71 + x87 + x114 + x126 + x136 + x142 = 1 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 = 1 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 = 1 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 = 1 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 = 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 End