pub const BRISTOL_ADD_64: &str = "701 829\n64 64 64\n\n2 1 0 64 765 XOR\n2 1 1 65 128 XOR\n2 1 0 64 129 AND\n2 1 128 129 766 XOR\n2 1 2 66 130 XOR\n2 1 1 65 131 AND\n2 1 128 129 132 AND\n2 1 131 132 133 XOR\n2 1 130 133 767 XOR\n2 1 3 67 134 XOR\n2 1 2 66 135 AND\n2 1 130 131 136 AND\n2 1 135 136 137 XOR\n2 1 130 128 138 AND\n2 1 138 129 139 AND\n2 1 137 139 140 XOR\n2 1 134 140 768 XOR\n2 1 4 68 141 XOR\n2 1 3 67 142 AND\n2 1 134 140 143 AND\n2 1 142 143 144 XOR\n2 1 141 144 769 XOR\n2 1 5 69 145 XOR\n2 1 4 68 146 AND\n2 1 141 142 147 AND\n2 1 146 147 148 XOR\n2 1 141 134 149 AND\n2 1 149 140 150 AND\n2 1 148 150 151 XOR\n2 1 145 151 770 XOR\n2 1 6 70 152 XOR\n2 1 5 69 153 AND\n2 1 145 148 154 AND\n2 1 153 154 155 XOR\n2 1 145 149 156 AND\n2 1 156 140 157 AND\n2 1 155 157 158 XOR\n2 1 152 158 771 XOR\n2 1 7 71 159 XOR\n2 1 6 70 160 AND\n2 1 152 153 161 AND\n2 1 160 161 162 XOR\n2 1 152 145 163 AND\n2 1 163 148 164 AND\n2 1 162 164 165 XOR\n2 1 163 149 166 AND\n2 1 166 140 167 AND\n2 1 165 167 168 XOR\n2 1 159 168 772 XOR\n2 1 8 72 169 XOR\n2 1 7 71 170 AND\n2 1 159 168 171 AND\n2 1 170 171 172 XOR\n2 1 169 172 773 XOR\n2 1 9 73 173 XOR\n2 1 8 72 174 AND\n2 1 169 170 175 AND\n2 1 174 175 176 XOR\n2 1 169 159 177 AND\n2 1 177 168 178 AND\n2 1 176 178 179 XOR\n2 1 173 179 774 XOR\n2 1 10 74 180 XOR\n2 1 9 73 181 AND\n2 1 173 176 182 AND\n2 1 181 182 183 XOR\n2 1 173 177 184 AND\n2 1 184 168 185 AND\n2 1 183 185 186 XOR\n2 1 180 186 775 XOR\n2 1 11 75 187 XOR\n2 1 10 74 188 AND\n2 1 180 181 189 AND\n2 1 188 189 190 XOR\n2 1 180 173 191 AND\n2 1 191 176 192 AND\n2 1 190 192 193 XOR\n2 1 191 177 194 AND\n2 1 194 168 195 AND\n2 1 193 195 196 XOR\n2 1 187 196 776 XOR\n2 1 12 76 197 XOR\n2 1 11 75 198 AND\n2 1 187 193 199 AND\n2 1 198 199 200 XOR\n2 1 187 194 201 AND\n2 1 201 168 202 AND\n2 1 200 202 203 XOR\n2 1 197 203 777 XOR\n2 1 13 77 204 XOR\n2 1 12 76 205 AND\n2 1 197 198 206 AND\n2 1 205 206 207 XOR\n2 1 197 187 208 AND\n2 1 208 193 209 AND\n2 1 207 209 210 XOR\n2 1 208 194 211 AND\n2 1 211 168 212 AND\n2 1 210 212 213 XOR\n2 1 204 213 778 XOR\n2 1 14 78 214 XOR\n2 1 13 77 215 AND\n2 1 204 207 216 AND\n2 1 215 216 217 XOR\n2 1 204 208 218 AND\n2 1 218 193 219 AND\n2 1 217 219 220 XOR\n2 1 218 194 221 AND\n2 1 221 168 222 AND\n2 1 220 222 223 XOR\n2 1 214 223 779 XOR\n2 1 15 79 224 XOR\n2 1 14 78 225 AND\n2 1 214 215 226 AND\n2 1 225 226 227 XOR\n2 1 214 204 228 AND\n2 1 228 207 229 AND\n2 1 227 229 230 XOR\n2 1 228 208 231 AND\n2 1 231 193 232 AND\n2 1 230 232 233 XOR\n2 1 231 194 234 AND\n2 1 234 168 235 AND\n2 1 233 235 236 XOR\n2 1 224 236 780 XOR\n2 1 16 80 237 XOR\n2 1 15 79 238 AND\n2 1 224 236 239 AND\n2 1 238 239 240 XOR\n2 1 237 240 781 XOR\n2 1 17 81 241 XOR\n2 1 16 80 242 AND\n2 1 237 238 243 AND\n2 1 242 243 244 XOR\n2 1 237 224 245 AND\n2 1 245 236 246 AND\n2 1 244 246 247 XOR\n2 1 241 247 782 XOR\n2 1 18 82 248 XOR\n2 1 17 81 249 AND\n2 1 241 244 250 AND\n2 1 249 250 251 XOR\n2 1 241 245 252 AND\n2 1 252 236 253 AND\n2 1 251 253 254 XOR\n2 1 248 254 783 XOR\n2 1 19 83 255 XOR\n2 1 18 82 256 AND\n2 1 248 249 257 AND\n2 1 256 257 258 XOR\n2 1 248 241 259 AND\n2 1 259 244 260 AND\n2 1 258 260 261 XOR\n2 1 259 245 262 AND\n2 1 262 236 263 AND\n2 1 261 263 264 XOR\n2 1 255 264 784 XOR\n2 1 20 84 265 XOR\n2 1 19 83 266 AND\n2 1 255 261 267 AND\n2 1 266 267 268 XOR\n2 1 255 262 269 AND\n2 1 269 236 270 AND\n2 1 268 270 271 XOR\n2 1 265 271 785 XOR\n2 1 21 85 272 XOR\n2 1 20 84 273 AND\n2 1 265 266 274 AND\n2 1 273 274 275 XOR\n2 1 265 255 276 AND\n2 1 276 261 277 AND\n2 1 275 277 278 XOR\n2 1 276 262 279 AND\n2 1 279 236 280 AND\n2 1 278 280 281 XOR\n2 1 272 281 786 XOR\n2 1 22 86 282 XOR\n2 1 21 85 283 AND\n2 1 272 275 284 AND\n2 1 283 284 285 XOR\n2 1 272 276 286 AND\n2 1 286 261 287 AND\n2 1 285 287 288 XOR\n2 1 286 262 289 AND\n2 1 289 236 290 AND\n2 1 288 290 291 XOR\n2 1 282 291 787 XOR\n2 1 23 87 292 XOR\n2 1 22 86 293 AND\n2 1 282 283 294 AND\n2 1 293 294 295 XOR\n2 1 282 272 296 AND\n2 1 296 275 297 AND\n2 1 295 297 298 XOR\n2 1 296 276 299 AND\n2 1 299 261 300 AND\n2 1 298 300 301 XOR\n2 1 299 262 302 AND\n2 1 302 236 303 AND\n2 1 301 303 304 XOR\n2 1 292 304 788 XOR\n2 1 24 88 305 XOR\n2 1 23 87 306 AND\n2 1 292 301 307 AND\n2 1 306 307 308 XOR\n2 1 292 302 309 AND\n2 1 309 236 310 AND\n2 1 308 310 311 XOR\n2 1 305 311 789 XOR\n2 1 25 89 312 XOR\n2 1 24 88 313 AND\n2 1 305 306 314 AND\n2 1 313 314 315 XOR\n2 1 305 292 316 AND\n2 1 316 301 317 AND\n2 1 315 317 318 XOR\n2 1 316 302 319 AND\n2 1 319 236 320 AND\n2 1 318 320 321 XOR\n2 1 312 321 790 XOR\n2 1 26 90 322 XOR\n2 1 25 89 323 AND\n2 1 312 315 324 AND\n2 1 323 324 325 XOR\n2 1 312 316 326 AND\n2 1 326 301 327 AND\n2 1 325 327 328 XOR\n2 1 326 302 329 AND\n2 1 329 236 330 AND\n2 1 328 330 331 XOR\n2 1 322 331 791 XOR\n2 1 27 91 332 XOR\n2 1 26 90 333 AND\n2 1 322 323 334 AND\n2 1 333 334 335 XOR\n2 1 322 312 336 AND\n2 1 336 315 337 AND\n2 1 335 337 338 XOR\n2 1 336 316 339 AND\n2 1 339 301 340 AND\n2 1 338 340 341 XOR\n2 1 339 302 342 AND\n2 1 342 236 343 AND\n2 1 341 343 344 XOR\n2 1 332 344 792 XOR\n2 1 28 92 345 XOR\n2 1 27 91 346 AND\n2 1 332 338 347 AND\n2 1 346 347 348 XOR\n2 1 332 339 349 AND\n2 1 349 301 350 AND\n2 1 348 350 351 XOR\n2 1 349 302 352 AND\n2 1 352 236 353 AND\n2 1 351 353 354 XOR\n2 1 345 354 793 XOR\n2 1 29 93 355 XOR\n2 1 28 92 356 AND\n2 1 345 346 357 AND\n2 1 356 357 358 XOR\n2 1 345 332 359 AND\n2 1 359 338 360 AND\n2 1 358 360 361 XOR\n2 1 359 339 362 AND\n2 1 362 301 363 AND\n2 1 361 363 364 XOR\n2 1 362 302 365 AND\n2 1 365 236 366 AND\n2 1 364 366 367 XOR\n2 1 355 367 794 XOR\n2 1 30 94 368 XOR\n2 1 29 93 369 AND\n2 1 355 358 370 AND\n2 1 369 370 371 XOR\n2 1 355 359 372 AND\n2 1 372 338 373 AND\n2 1 371 373 374 XOR\n2 1 372 339 375 AND\n2 1 375 301 376 AND\n2 1 374 376 377 XOR\n2 1 375 302 378 AND\n2 1 378 236 379 AND\n2 1 377 379 380 XOR\n2 1 368 380 795 XOR\n2 1 31 95 381 XOR\n2 1 30 94 382 AND\n2 1 368 369 383 AND\n2 1 382 383 384 XOR\n2 1 368 355 385 AND\n2 1 385 358 386 AND\n2 1 384 386 387 XOR\n2 1 385 359 388 AND\n2 1 388 338 389 AND\n2 1 387 389 390 XOR\n2 1 388 339 391 AND\n2 1 391 301 392 AND\n2 1 390 392 393 XOR\n2 1 391 302 394 AND\n2 1 394 236 395 AND\n2 1 393 395 396 XOR\n2 1 381 396 796 XOR\n2 1 32 96 397 XOR\n2 1 31 95 398 AND\n2 1 381 396 399 AND\n2 1 398 399 400 XOR\n2 1 397 400 797 XOR\n2 1 33 97 401 XOR\n2 1 32 96 402 AND\n2 1 397 398 403 AND\n2 1 402 403 404 XOR\n2 1 397 381 405 AND\n2 1 405 396 406 AND\n2 1 404 406 407 XOR\n2 1 401 407 798 XOR\n2 1 34 98 408 XOR\n2 1 33 97 409 AND\n2 1 401 404 410 AND\n2 1 409 410 411 XOR\n2 1 401 405 412 AND\n2 1 412 396 413 AND\n2 1 411 413 414 XOR\n2 1 408 414 799 XOR\n2 1 35 99 415 XOR\n2 1 34 98 416 AND\n2 1 408 409 417 AND\n2 1 416 417 418 XOR\n2 1 408 401 419 AND\n2 1 419 404 420 AND\n2 1 418 420 421 XOR\n2 1 419 405 422 AND\n2 1 422 396 423 AND\n2 1 421 423 424 XOR\n2 1 415 424 800 XOR\n2 1 36 100 425 XOR\n2 1 35 99 426 AND\n2 1 415 421 427 AND\n2 1 426 427 428 XOR\n2 1 415 422 429 AND\n2 1 429 396 430 AND\n2 1 428 430 431 XOR\n2 1 425 431 801 XOR\n2 1 37 101 432 XOR\n2 1 36 100 433 AND\n2 1 425 426 434 AND\n2 1 433 434 435 XOR\n2 1 425 415 436 AND\n2 1 436 421 437 AND\n2 1 435 437 438 XOR\n2 1 436 422 439 AND\n2 1 439 396 440 AND\n2 1 438 440 441 XOR\n2 1 432 441 802 XOR\n2 1 38 102 442 XOR\n2 1 37 101 443 AND\n2 1 432 435 444 AND\n2 1 443 444 445 XOR\n2 1 432 436 446 AND\n2 1 446 421 447 AND\n2 1 445 447 448 XOR\n2 1 446 422 449 AND\n2 1 449 396 450 AND\n2 1 448 450 451 XOR\n2 1 442 451 803 XOR\n2 1 39 103 452 XOR\n2 1 38 102 453 AND\n2 1 442 443 454 AND\n2 1 453 454 455 XOR\n2 1 442 432 456 AND\n2 1 456 435 457 AND\n2 1 455 457 458 XOR\n2 1 456 436 459 AND\n2 1 459 421 460 AND\n2 1 458 460 461 XOR\n2 1 459 422 462 AND\n2 1 462 396 463 AND\n2 1 461 463 464 XOR\n2 1 452 464 804 XOR\n2 1 40 104 465 XOR\n2 1 39 103 466 AND\n2 1 452 461 467 AND\n2 1 466 467 468 XOR\n2 1 452 462 469 AND\n2 1 469 396 470 AND\n2 1 468 470 471 XOR\n2 1 465 471 805 XOR\n2 1 41 105 472 XOR\n2 1 40 104 473 AND\n2 1 465 466 474 AND\n2 1 473 474 475 XOR\n2 1 465 452 476 AND\n2 1 476 461 477 AND\n2 1 475 477 478 XOR\n2 1 476 462 479 AND\n2 1 479 396 480 AND\n2 1 478 480 481 XOR\n2 1 472 481 806 XOR\n2 1 42 106 482 XOR\n2 1 41 105 483 AND\n2 1 472 475 484 AND\n2 1 483 484 485 XOR\n2 1 472 476 486 AND\n2 1 486 461 487 AND\n2 1 485 487 488 XOR\n2 1 486 462 489 AND\n2 1 489 396 490 AND\n2 1 488 490 491 XOR\n2 1 482 491 807 XOR\n2 1 43 107 492 XOR\n2 1 42 106 493 AND\n2 1 482 483 494 AND\n2 1 493 494 495 XOR\n2 1 482 472 496 AND\n2 1 496 475 497 AND\n2 1 495 497 498 XOR\n2 1 496 476 499 AND\n2 1 499 461 500 AND\n2 1 498 500 501 XOR\n2 1 499 462 502 AND\n2 1 502 396 503 AND\n2 1 501 503 504 XOR\n2 1 492 504 808 XOR\n2 1 44 108 505 XOR\n2 1 43 107 506 AND\n2 1 492 498 507 AND\n2 1 506 507 508 XOR\n2 1 492 499 509 AND\n2 1 509 461 510 AND\n2 1 508 510 511 XOR\n2 1 509 462 512 AND\n2 1 512 396 513 AND\n2 1 511 513 514 XOR\n2 1 505 514 809 XOR\n2 1 45 109 515 XOR\n2 1 44 108 516 AND\n2 1 505 506 517 AND\n2 1 516 517 518 XOR\n2 1 505 492 519 AND\n2 1 519 498 520 AND\n2 1 518 520 521 XOR\n2 1 519 499 522 AND\n2 1 522 461 523 AND\n2 1 521 523 524 XOR\n2 1 522 462 525 AND\n2 1 525 396 526 AND\n2 1 524 526 527 XOR\n2 1 515 527 810 XOR\n2 1 46 110 528 XOR\n2 1 45 109 529 AND\n2 1 515 518 530 AND\n2 1 529 530 531 XOR\n2 1 515 519 532 AND\n2 1 532 498 533 AND\n2 1 531 533 534 XOR\n2 1 532 499 535 AND\n2 1 535 461 536 AND\n2 1 534 536 537 XOR\n2 1 535 462 538 AND\n2 1 538 396 539 AND\n2 1 537 539 540 XOR\n2 1 528 540 811 XOR\n2 1 47 111 541 XOR\n2 1 46 110 542 AND\n2 1 528 529 543 AND\n2 1 542 543 544 XOR\n2 1 528 515 545 AND\n2 1 545 518 546 AND\n2 1 544 546 547 XOR\n2 1 545 519 548 AND\n2 1 548 498 549 AND\n2 1 547 549 550 XOR\n2 1 548 499 551 AND\n2 1 551 461 552 AND\n2 1 550 552 553 XOR\n2 1 551 462 554 AND\n2 1 554 396 555 AND\n2 1 553 555 556 XOR\n2 1 541 556 812 XOR\n2 1 48 112 557 XOR\n2 1 47 111 558 AND\n2 1 541 553 559 AND\n2 1 558 559 560 XOR\n2 1 541 554 561 AND\n2 1 561 396 562 AND\n2 1 560 562 563 XOR\n2 1 557 563 813 XOR\n2 1 49 113 564 XOR\n2 1 48 112 565 AND\n2 1 557 558 566 AND\n2 1 565 566 567 XOR\n2 1 557 541 568 AND\n2 1 568 553 569 AND\n2 1 567 569 570 XOR\n2 1 568 554 571 AND\n2 1 571 396 572 AND\n2 1 570 572 573 XOR\n2 1 564 573 814 XOR\n2 1 50 114 574 XOR\n2 1 49 113 575 AND\n2 1 564 567 576 AND\n2 1 575 576 577 XOR\n2 1 564 568 578 AND\n2 1 578 553 579 AND\n2 1 577 579 580 XOR\n2 1 578 554 581 AND\n2 1 581 396 582 AND\n2 1 580 582 583 XOR\n2 1 574 583 815 XOR\n2 1 51 115 584 XOR\n2 1 50 114 585 AND\n2 1 574 575 586 AND\n2 1 585 586 587 XOR\n2 1 574 564 588 AND\n2 1 588 567 589 AND\n2 1 587 589 590 XOR\n2 1 588 568 591 AND\n2 1 591 553 592 AND\n2 1 590 592 593 XOR\n2 1 591 554 594 AND\n2 1 594 396 595 AND\n2 1 593 595 596 XOR\n2 1 584 596 816 XOR\n2 1 52 116 597 XOR\n2 1 51 115 598 AND\n2 1 584 590 599 AND\n2 1 598 599 600 XOR\n2 1 584 591 601 AND\n2 1 601 553 602 AND\n2 1 600 602 603 XOR\n2 1 601 554 604 AND\n2 1 604 396 605 AND\n2 1 603 605 606 XOR\n2 1 597 606 817 XOR\n2 1 53 117 607 XOR\n2 1 52 116 608 AND\n2 1 597 598 609 AND\n2 1 608 609 610 XOR\n2 1 597 584 611 AND\n2 1 611 590 612 AND\n2 1 610 612 613 XOR\n2 1 611 591 614 AND\n2 1 614 553 615 AND\n2 1 613 615 616 XOR\n2 1 614 554 617 AND\n2 1 617 396 618 AND\n2 1 616 618 619 XOR\n2 1 607 619 818 XOR\n2 1 54 118 620 XOR\n2 1 53 117 621 AND\n2 1 607 610 622 AND\n2 1 621 622 623 XOR\n2 1 607 611 624 AND\n2 1 624 590 625 AND\n2 1 623 625 626 XOR\n2 1 624 591 627 AND\n2 1 627 553 628 AND\n2 1 626 628 629 XOR\n2 1 627 554 630 AND\n2 1 630 396 631 AND\n2 1 629 631 632 XOR\n2 1 620 632 819 XOR\n2 1 55 119 633 XOR\n2 1 54 118 634 AND\n2 1 620 621 635 AND\n2 1 634 635 636 XOR\n2 1 620 607 637 AND\n2 1 637 610 638 AND\n2 1 636 638 639 XOR\n2 1 637 611 640 AND\n2 1 640 590 641 AND\n2 1 639 641 642 XOR\n2 1 640 591 643 AND\n2 1 643 553 644 AND\n2 1 642 644 645 XOR\n2 1 643 554 646 AND\n2 1 646 396 647 AND\n2 1 645 647 648 XOR\n2 1 633 648 820 XOR\n2 1 56 120 649 XOR\n2 1 55 119 650 AND\n2 1 633 642 651 AND\n2 1 650 651 652 XOR\n2 1 633 643 653 AND\n2 1 653 553 654 AND\n2 1 652 654 655 XOR\n2 1 653 554 656 AND\n2 1 656 396 657 AND\n2 1 655 657 658 XOR\n2 1 649 658 821 XOR\n2 1 57 121 659 XOR\n2 1 56 120 660 AND\n2 1 649 650 661 AND\n2 1 660 661 662 XOR\n2 1 649 633 663 AND\n2 1 663 642 664 AND\n2 1 662 664 665 XOR\n2 1 663 643 666 AND\n2 1 666 553 667 AND\n2 1 665 667 668 XOR\n2 1 666 554 669 AND\n2 1 669 396 670 AND\n2 1 668 670 671 XOR\n2 1 659 671 822 XOR\n2 1 58 122 672 XOR\n2 1 57 121 673 AND\n2 1 659 662 674 AND\n2 1 673 674 675 XOR\n2 1 659 663 676 AND\n2 1 676 642 677 AND\n2 1 675 677 678 XOR\n2 1 676 643 679 AND\n2 1 679 553 680 AND\n2 1 678 680 681 XOR\n2 1 679 554 682 AND\n2 1 682 396 683 AND\n2 1 681 683 684 XOR\n2 1 672 684 823 XOR\n2 1 59 123 685 XOR\n2 1 58 122 686 AND\n2 1 672 673 687 AND\n2 1 686 687 688 XOR\n2 1 672 659 689 AND\n2 1 689 662 690 AND\n2 1 688 690 691 XOR\n2 1 689 663 692 AND\n2 1 692 642 693 AND\n2 1 691 693 694 XOR\n2 1 692 643 695 AND\n2 1 695 553 696 AND\n2 1 694 696 697 XOR\n2 1 695 554 698 AND\n2 1 698 396 699 AND\n2 1 697 699 700 XOR\n2 1 685 700 824 XOR\n2 1 60 124 701 XOR\n2 1 59 123 702 AND\n2 1 685 691 703 AND\n2 1 702 703 704 XOR\n2 1 685 692 705 AND\n2 1 705 642 706 AND\n2 1 704 706 707 XOR\n2 1 705 643 708 AND\n2 1 708 553 709 AND\n2 1 707 709 710 XOR\n2 1 708 554 711 AND\n2 1 711 396 712 AND\n2 1 710 712 713 XOR\n2 1 701 713 825 XOR\n2 1 61 125 714 XOR\n2 1 60 124 715 AND\n2 1 701 702 716 AND\n2 1 715 716 717 XOR\n2 1 701 685 718 AND\n2 1 718 691 719 AND\n2 1 717 719 720 XOR\n2 1 718 692 721 AND\n2 1 721 642 722 AND\n2 1 720 722 723 XOR\n2 1 721 643 724 AND\n2 1 724 553 725 AND\n2 1 723 725 726 XOR\n2 1 724 554 727 AND\n2 1 727 396 728 AND\n2 1 726 728 729 XOR\n2 1 714 729 826 XOR\n2 1 62 126 730 XOR\n2 1 61 125 731 AND\n2 1 714 717 732 AND\n2 1 731 732 733 XOR\n2 1 714 718 734 AND\n2 1 734 691 735 AND\n2 1 733 735 736 XOR\n2 1 734 692 737 AND\n2 1 737 642 738 AND\n2 1 736 738 739 XOR\n2 1 737 643 740 AND\n2 1 740 553 741 AND\n2 1 739 741 742 XOR\n2 1 740 554 743 AND\n2 1 743 396 744 AND\n2 1 742 744 745 XOR\n2 1 730 745 827 XOR\n2 1 63 127 746 XOR\n2 1 62 126 747 AND\n2 1 730 731 748 AND\n2 1 747 748 749 XOR\n2 1 730 714 750 AND\n2 1 750 717 751 AND\n2 1 749 751 752 XOR\n2 1 750 718 753 AND\n2 1 753 691 754 AND\n2 1 752 754 755 XOR\n2 1 753 692 756 AND\n2 1 756 642 757 AND\n2 1 755 757 758 XOR\n2 1 756 643 759 AND\n2 1 759 553 760 AND\n2 1 758 760 761 XOR\n2 1 759 554 762 AND\n2 1 762 396 763 AND\n2 1 761 763 764 XOR\n2 1 746 764 828 XOR\n";