pub const BRISTOL_ADD_32: &str = "301 365\n32 32 32\n\n2 1 0 32 333 XOR\n2 1 1 33 64 XOR\n2 1 0 32 65 AND\n2 1 64 65 334 XOR\n2 1 2 34 66 XOR\n2 1 1 33 67 AND\n2 1 64 65 68 AND\n2 1 67 68 69 XOR\n2 1 66 69 335 XOR\n2 1 3 35 70 XOR\n2 1 2 34 71 AND\n2 1 66 67 72 AND\n2 1 71 72 73 XOR\n2 1 66 64 74 AND\n2 1 74 65 75 AND\n2 1 73 75 76 XOR\n2 1 70 76 336 XOR\n2 1 4 36 77 XOR\n2 1 3 35 78 AND\n2 1 70 76 79 AND\n2 1 78 79 80 XOR\n2 1 77 80 337 XOR\n2 1 5 37 81 XOR\n2 1 4 36 82 AND\n2 1 77 78 83 AND\n2 1 82 83 84 XOR\n2 1 77 70 85 AND\n2 1 85 76 86 AND\n2 1 84 86 87 XOR\n2 1 81 87 338 XOR\n2 1 6 38 88 XOR\n2 1 5 37 89 AND\n2 1 81 84 90 AND\n2 1 89 90 91 XOR\n2 1 81 85 92 AND\n2 1 92 76 93 AND\n2 1 91 93 94 XOR\n2 1 88 94 339 XOR\n2 1 7 39 95 XOR\n2 1 6 38 96 AND\n2 1 88 89 97 AND\n2 1 96 97 98 XOR\n2 1 88 81 99 AND\n2 1 99 84 100 AND\n2 1 98 100 101 XOR\n2 1 99 85 102 AND\n2 1 102 76 103 AND\n2 1 101 103 104 XOR\n2 1 95 104 340 XOR\n2 1 8 40 105 XOR\n2 1 7 39 106 AND\n2 1 95 104 107 AND\n2 1 106 107 108 XOR\n2 1 105 108 341 XOR\n2 1 9 41 109 XOR\n2 1 8 40 110 AND\n2 1 105 106 111 AND\n2 1 110 111 112 XOR\n2 1 105 95 113 AND\n2 1 113 104 114 AND\n2 1 112 114 115 XOR\n2 1 109 115 342 XOR\n2 1 10 42 116 XOR\n2 1 9 41 117 AND\n2 1 109 112 118 AND\n2 1 117 118 119 XOR\n2 1 109 113 120 AND\n2 1 120 104 121 AND\n2 1 119 121 122 XOR\n2 1 116 122 343 XOR\n2 1 11 43 123 XOR\n2 1 10 42 124 AND\n2 1 116 117 125 AND\n2 1 124 125 126 XOR\n2 1 116 109 127 AND\n2 1 127 112 128 AND\n2 1 126 128 129 XOR\n2 1 127 113 130 AND\n2 1 130 104 131 AND\n2 1 129 131 132 XOR\n2 1 123 132 344 XOR\n2 1 12 44 133 XOR\n2 1 11 43 134 AND\n2 1 123 129 135 AND\n2 1 134 135 136 XOR\n2 1 123 130 137 AND\n2 1 137 104 138 AND\n2 1 136 138 139 XOR\n2 1 133 139 345 XOR\n2 1 13 45 140 XOR\n2 1 12 44 141 AND\n2 1 133 134 142 AND\n2 1 141 142 143 XOR\n2 1 133 123 144 AND\n2 1 144 129 145 AND\n2 1 143 145 146 XOR\n2 1 144 130 147 AND\n2 1 147 104 148 AND\n2 1 146 148 149 XOR\n2 1 140 149 346 XOR\n2 1 14 46 150 XOR\n2 1 13 45 151 AND\n2 1 140 143 152 AND\n2 1 151 152 153 XOR\n2 1 140 144 154 AND\n2 1 154 129 155 AND\n2 1 153 155 156 XOR\n2 1 154 130 157 AND\n2 1 157 104 158 AND\n2 1 156 158 159 XOR\n2 1 150 159 347 XOR\n2 1 15 47 160 XOR\n2 1 14 46 161 AND\n2 1 150 151 162 AND\n2 1 161 162 163 XOR\n2 1 150 140 164 AND\n2 1 164 143 165 AND\n2 1 163 165 166 XOR\n2 1 164 144 167 AND\n2 1 167 129 168 AND\n2 1 166 168 169 XOR\n2 1 167 130 170 AND\n2 1 170 104 171 AND\n2 1 169 171 172 XOR\n2 1 160 172 348 XOR\n2 1 16 48 173 XOR\n2 1 15 47 174 AND\n2 1 160 172 175 AND\n2 1 174 175 176 XOR\n2 1 173 176 349 XOR\n2 1 17 49 177 XOR\n2 1 16 48 178 AND\n2 1 173 174 179 AND\n2 1 178 179 180 XOR\n2 1 173 160 181 AND\n2 1 181 172 182 AND\n2 1 180 182 183 XOR\n2 1 177 183 350 XOR\n2 1 18 50 184 XOR\n2 1 17 49 185 AND\n2 1 177 180 186 AND\n2 1 185 186 187 XOR\n2 1 177 181 188 AND\n2 1 188 172 189 AND\n2 1 187 189 190 XOR\n2 1 184 190 351 XOR\n2 1 19 51 191 XOR\n2 1 18 50 192 AND\n2 1 184 185 193 AND\n2 1 192 193 194 XOR\n2 1 184 177 195 AND\n2 1 195 180 196 AND\n2 1 194 196 197 XOR\n2 1 195 181 198 AND\n2 1 198 172 199 AND\n2 1 197 199 200 XOR\n2 1 191 200 352 XOR\n2 1 20 52 201 XOR\n2 1 19 51 202 AND\n2 1 191 197 203 AND\n2 1 202 203 204 XOR\n2 1 191 198 205 AND\n2 1 205 172 206 AND\n2 1 204 206 207 XOR\n2 1 201 207 353 XOR\n2 1 21 53 208 XOR\n2 1 20 52 209 AND\n2 1 201 202 210 AND\n2 1 209 210 211 XOR\n2 1 201 191 212 AND\n2 1 212 197 213 AND\n2 1 211 213 214 XOR\n2 1 212 198 215 AND\n2 1 215 172 216 AND\n2 1 214 216 217 XOR\n2 1 208 217 354 XOR\n2 1 22 54 218 XOR\n2 1 21 53 219 AND\n2 1 208 211 220 AND\n2 1 219 220 221 XOR\n2 1 208 212 222 AND\n2 1 222 197 223 AND\n2 1 221 223 224 XOR\n2 1 222 198 225 AND\n2 1 225 172 226 AND\n2 1 224 226 227 XOR\n2 1 218 227 355 XOR\n2 1 23 55 228 XOR\n2 1 22 54 229 AND\n2 1 218 219 230 AND\n2 1 229 230 231 XOR\n2 1 218 208 232 AND\n2 1 232 211 233 AND\n2 1 231 233 234 XOR\n2 1 232 212 235 AND\n2 1 235 197 236 AND\n2 1 234 236 237 XOR\n2 1 235 198 238 AND\n2 1 238 172 239 AND\n2 1 237 239 240 XOR\n2 1 228 240 356 XOR\n2 1 24 56 241 XOR\n2 1 23 55 242 AND\n2 1 228 237 243 AND\n2 1 242 243 244 XOR\n2 1 228 238 245 AND\n2 1 245 172 246 AND\n2 1 244 246 247 XOR\n2 1 241 247 357 XOR\n2 1 25 57 248 XOR\n2 1 24 56 249 AND\n2 1 241 242 250 AND\n2 1 249 250 251 XOR\n2 1 241 228 252 AND\n2 1 252 237 253 AND\n2 1 251 253 254 XOR\n2 1 252 238 255 AND\n2 1 255 172 256 AND\n2 1 254 256 257 XOR\n2 1 248 257 358 XOR\n2 1 26 58 258 XOR\n2 1 25 57 259 AND\n2 1 248 251 260 AND\n2 1 259 260 261 XOR\n2 1 248 252 262 AND\n2 1 262 237 263 AND\n2 1 261 263 264 XOR\n2 1 262 238 265 AND\n2 1 265 172 266 AND\n2 1 264 266 267 XOR\n2 1 258 267 359 XOR\n2 1 27 59 268 XOR\n2 1 26 58 269 AND\n2 1 258 259 270 AND\n2 1 269 270 271 XOR\n2 1 258 248 272 AND\n2 1 272 251 273 AND\n2 1 271 273 274 XOR\n2 1 272 252 275 AND\n2 1 275 237 276 AND\n2 1 274 276 277 XOR\n2 1 275 238 278 AND\n2 1 278 172 279 AND\n2 1 277 279 280 XOR\n2 1 268 280 360 XOR\n2 1 28 60 281 XOR\n2 1 27 59 282 AND\n2 1 268 274 283 AND\n2 1 282 283 284 XOR\n2 1 268 275 285 AND\n2 1 285 237 286 AND\n2 1 284 286 287 XOR\n2 1 285 238 288 AND\n2 1 288 172 289 AND\n2 1 287 289 290 XOR\n2 1 281 290 361 XOR\n2 1 29 61 291 XOR\n2 1 28 60 292 AND\n2 1 281 282 293 AND\n2 1 292 293 294 XOR\n2 1 281 268 295 AND\n2 1 295 274 296 AND\n2 1 294 296 297 XOR\n2 1 295 275 298 AND\n2 1 298 237 299 AND\n2 1 297 299 300 XOR\n2 1 298 238 301 AND\n2 1 301 172 302 AND\n2 1 300 302 303 XOR\n2 1 291 303 362 XOR\n2 1 30 62 304 XOR\n2 1 29 61 305 AND\n2 1 291 294 306 AND\n2 1 305 306 307 XOR\n2 1 291 295 308 AND\n2 1 308 274 309 AND\n2 1 307 309 310 XOR\n2 1 308 275 311 AND\n2 1 311 237 312 AND\n2 1 310 312 313 XOR\n2 1 311 238 314 AND\n2 1 314 172 315 AND\n2 1 313 315 316 XOR\n2 1 304 316 363 XOR\n2 1 31 63 317 XOR\n2 1 30 62 318 AND\n2 1 304 305 319 AND\n2 1 318 319 320 XOR\n2 1 304 291 321 AND\n2 1 321 294 322 AND\n2 1 320 322 323 XOR\n2 1 321 295 324 AND\n2 1 324 274 325 AND\n2 1 323 325 326 XOR\n2 1 324 275 327 AND\n2 1 327 237 328 AND\n2 1 326 328 329 XOR\n2 1 327 238 330 AND\n2 1 330 172 331 AND\n2 1 329 331 332 XOR\n2 1 317 332 364 XOR\n";