pub const BRISTOL_ADD_16: &str = "125 157\n16 16 16\n\n2 1 0 16 141 XOR\n2 1 1 17 32 XOR\n2 1 0 16 33 AND\n2 1 32 33 142 XOR\n2 1 2 18 34 XOR\n2 1 1 17 35 AND\n2 1 32 33 36 AND\n2 1 35 36 37 XOR\n2 1 34 37 143 XOR\n2 1 3 19 38 XOR\n2 1 2 18 39 AND\n2 1 34 35 40 AND\n2 1 39 40 41 XOR\n2 1 34 32 42 AND\n2 1 42 33 43 AND\n2 1 41 43 44 XOR\n2 1 38 44 144 XOR\n2 1 4 20 45 XOR\n2 1 3 19 46 AND\n2 1 38 44 47 AND\n2 1 46 47 48 XOR\n2 1 45 48 145 XOR\n2 1 5 21 49 XOR\n2 1 4 20 50 AND\n2 1 45 46 51 AND\n2 1 50 51 52 XOR\n2 1 45 38 53 AND\n2 1 53 44 54 AND\n2 1 52 54 55 XOR\n2 1 49 55 146 XOR\n2 1 6 22 56 XOR\n2 1 5 21 57 AND\n2 1 49 52 58 AND\n2 1 57 58 59 XOR\n2 1 49 53 60 AND\n2 1 60 44 61 AND\n2 1 59 61 62 XOR\n2 1 56 62 147 XOR\n2 1 7 23 63 XOR\n2 1 6 22 64 AND\n2 1 56 57 65 AND\n2 1 64 65 66 XOR\n2 1 56 49 67 AND\n2 1 67 52 68 AND\n2 1 66 68 69 XOR\n2 1 67 53 70 AND\n2 1 70 44 71 AND\n2 1 69 71 72 XOR\n2 1 63 72 148 XOR\n2 1 8 24 73 XOR\n2 1 7 23 74 AND\n2 1 63 72 75 AND\n2 1 74 75 76 XOR\n2 1 73 76 149 XOR\n2 1 9 25 77 XOR\n2 1 8 24 78 AND\n2 1 73 74 79 AND\n2 1 78 79 80 XOR\n2 1 73 63 81 AND\n2 1 81 72 82 AND\n2 1 80 82 83 XOR\n2 1 77 83 150 XOR\n2 1 10 26 84 XOR\n2 1 9 25 85 AND\n2 1 77 80 86 AND\n2 1 85 86 87 XOR\n2 1 77 81 88 AND\n2 1 88 72 89 AND\n2 1 87 89 90 XOR\n2 1 84 90 151 XOR\n2 1 11 27 91 XOR\n2 1 10 26 92 AND\n2 1 84 85 93 AND\n2 1 92 93 94 XOR\n2 1 84 77 95 AND\n2 1 95 80 96 AND\n2 1 94 96 97 XOR\n2 1 95 81 98 AND\n2 1 98 72 99 AND\n2 1 97 99 100 XOR\n2 1 91 100 152 XOR\n2 1 12 28 101 XOR\n2 1 11 27 102 AND\n2 1 91 97 103 AND\n2 1 102 103 104 XOR\n2 1 91 98 105 AND\n2 1 105 72 106 AND\n2 1 104 106 107 XOR\n2 1 101 107 153 XOR\n2 1 13 29 108 XOR\n2 1 12 28 109 AND\n2 1 101 102 110 AND\n2 1 109 110 111 XOR\n2 1 101 91 112 AND\n2 1 112 97 113 AND\n2 1 111 113 114 XOR\n2 1 112 98 115 AND\n2 1 115 72 116 AND\n2 1 114 116 117 XOR\n2 1 108 117 154 XOR\n2 1 14 30 118 XOR\n2 1 13 29 119 AND\n2 1 108 111 120 AND\n2 1 119 120 121 XOR\n2 1 108 112 122 AND\n2 1 122 97 123 AND\n2 1 121 123 124 XOR\n2 1 122 98 125 AND\n2 1 125 72 126 AND\n2 1 124 126 127 XOR\n2 1 118 127 155 XOR\n2 1 15 31 128 XOR\n2 1 14 30 129 AND\n2 1 118 119 130 AND\n2 1 129 130 131 XOR\n2 1 118 108 132 AND\n2 1 132 111 133 AND\n2 1 131 133 134 XOR\n2 1 132 112 135 AND\n2 1 135 97 136 AND\n2 1 134 136 137 XOR\n2 1 135 98 138 AND\n2 1 138 72 139 AND\n2 1 137 139 140 XOR\n2 1 128 140 156 XOR\n";