mirror of
https://github.com/tlsnotary/circuits.git
synced 2026-01-08 20:07:56 -05:00
262 lines
4.9 KiB
Plaintext
262 lines
4.9 KiB
Plaintext
#multiply 256 bits by one bit
|
|
|
|
256 513
|
|
2 1 256
|
|
1 256
|
|
|
|
2 1 0 256 257 AND
|
|
2 1 1 256 258 AND
|
|
2 1 2 256 259 AND
|
|
2 1 3 256 260 AND
|
|
2 1 4 256 261 AND
|
|
2 1 5 256 262 AND
|
|
2 1 6 256 263 AND
|
|
2 1 7 256 264 AND
|
|
2 1 8 256 265 AND
|
|
2 1 9 256 266 AND
|
|
2 1 10 256 267 AND
|
|
2 1 11 256 268 AND
|
|
2 1 12 256 269 AND
|
|
2 1 13 256 270 AND
|
|
2 1 14 256 271 AND
|
|
2 1 15 256 272 AND
|
|
2 1 16 256 273 AND
|
|
2 1 17 256 274 AND
|
|
2 1 18 256 275 AND
|
|
2 1 19 256 276 AND
|
|
2 1 20 256 277 AND
|
|
2 1 21 256 278 AND
|
|
2 1 22 256 279 AND
|
|
2 1 23 256 280 AND
|
|
2 1 24 256 281 AND
|
|
2 1 25 256 282 AND
|
|
2 1 26 256 283 AND
|
|
2 1 27 256 284 AND
|
|
2 1 28 256 285 AND
|
|
2 1 29 256 286 AND
|
|
2 1 30 256 287 AND
|
|
2 1 31 256 288 AND
|
|
2 1 32 256 289 AND
|
|
2 1 33 256 290 AND
|
|
2 1 34 256 291 AND
|
|
2 1 35 256 292 AND
|
|
2 1 36 256 293 AND
|
|
2 1 37 256 294 AND
|
|
2 1 38 256 295 AND
|
|
2 1 39 256 296 AND
|
|
2 1 40 256 297 AND
|
|
2 1 41 256 298 AND
|
|
2 1 42 256 299 AND
|
|
2 1 43 256 300 AND
|
|
2 1 44 256 301 AND
|
|
2 1 45 256 302 AND
|
|
2 1 46 256 303 AND
|
|
2 1 47 256 304 AND
|
|
2 1 48 256 305 AND
|
|
2 1 49 256 306 AND
|
|
2 1 50 256 307 AND
|
|
2 1 51 256 308 AND
|
|
2 1 52 256 309 AND
|
|
2 1 53 256 310 AND
|
|
2 1 54 256 311 AND
|
|
2 1 55 256 312 AND
|
|
2 1 56 256 313 AND
|
|
2 1 57 256 314 AND
|
|
2 1 58 256 315 AND
|
|
2 1 59 256 316 AND
|
|
2 1 60 256 317 AND
|
|
2 1 61 256 318 AND
|
|
2 1 62 256 319 AND
|
|
2 1 63 256 320 AND
|
|
2 1 64 256 321 AND
|
|
2 1 65 256 322 AND
|
|
2 1 66 256 323 AND
|
|
2 1 67 256 324 AND
|
|
2 1 68 256 325 AND
|
|
2 1 69 256 326 AND
|
|
2 1 70 256 327 AND
|
|
2 1 71 256 328 AND
|
|
2 1 72 256 329 AND
|
|
2 1 73 256 330 AND
|
|
2 1 74 256 331 AND
|
|
2 1 75 256 332 AND
|
|
2 1 76 256 333 AND
|
|
2 1 77 256 334 AND
|
|
2 1 78 256 335 AND
|
|
2 1 79 256 336 AND
|
|
2 1 80 256 337 AND
|
|
2 1 81 256 338 AND
|
|
2 1 82 256 339 AND
|
|
2 1 83 256 340 AND
|
|
2 1 84 256 341 AND
|
|
2 1 85 256 342 AND
|
|
2 1 86 256 343 AND
|
|
2 1 87 256 344 AND
|
|
2 1 88 256 345 AND
|
|
2 1 89 256 346 AND
|
|
2 1 90 256 347 AND
|
|
2 1 91 256 348 AND
|
|
2 1 92 256 349 AND
|
|
2 1 93 256 350 AND
|
|
2 1 94 256 351 AND
|
|
2 1 95 256 352 AND
|
|
2 1 96 256 353 AND
|
|
2 1 97 256 354 AND
|
|
2 1 98 256 355 AND
|
|
2 1 99 256 356 AND
|
|
2 1 100 256 357 AND
|
|
2 1 101 256 358 AND
|
|
2 1 102 256 359 AND
|
|
2 1 103 256 360 AND
|
|
2 1 104 256 361 AND
|
|
2 1 105 256 362 AND
|
|
2 1 106 256 363 AND
|
|
2 1 107 256 364 AND
|
|
2 1 108 256 365 AND
|
|
2 1 109 256 366 AND
|
|
2 1 110 256 367 AND
|
|
2 1 111 256 368 AND
|
|
2 1 112 256 369 AND
|
|
2 1 113 256 370 AND
|
|
2 1 114 256 371 AND
|
|
2 1 115 256 372 AND
|
|
2 1 116 256 373 AND
|
|
2 1 117 256 374 AND
|
|
2 1 118 256 375 AND
|
|
2 1 119 256 376 AND
|
|
2 1 120 256 377 AND
|
|
2 1 121 256 378 AND
|
|
2 1 122 256 379 AND
|
|
2 1 123 256 380 AND
|
|
2 1 124 256 381 AND
|
|
2 1 125 256 382 AND
|
|
2 1 126 256 383 AND
|
|
2 1 127 256 384 AND
|
|
2 1 128 256 385 AND
|
|
2 1 129 256 386 AND
|
|
2 1 130 256 387 AND
|
|
2 1 131 256 388 AND
|
|
2 1 132 256 389 AND
|
|
2 1 133 256 390 AND
|
|
2 1 134 256 391 AND
|
|
2 1 135 256 392 AND
|
|
2 1 136 256 393 AND
|
|
2 1 137 256 394 AND
|
|
2 1 138 256 395 AND
|
|
2 1 139 256 396 AND
|
|
2 1 140 256 397 AND
|
|
2 1 141 256 398 AND
|
|
2 1 142 256 399 AND
|
|
2 1 143 256 400 AND
|
|
2 1 144 256 401 AND
|
|
2 1 145 256 402 AND
|
|
2 1 146 256 403 AND
|
|
2 1 147 256 404 AND
|
|
2 1 148 256 405 AND
|
|
2 1 149 256 406 AND
|
|
2 1 150 256 407 AND
|
|
2 1 151 256 408 AND
|
|
2 1 152 256 409 AND
|
|
2 1 153 256 410 AND
|
|
2 1 154 256 411 AND
|
|
2 1 155 256 412 AND
|
|
2 1 156 256 413 AND
|
|
2 1 157 256 414 AND
|
|
2 1 158 256 415 AND
|
|
2 1 159 256 416 AND
|
|
2 1 160 256 417 AND
|
|
2 1 161 256 418 AND
|
|
2 1 162 256 419 AND
|
|
2 1 163 256 420 AND
|
|
2 1 164 256 421 AND
|
|
2 1 165 256 422 AND
|
|
2 1 166 256 423 AND
|
|
2 1 167 256 424 AND
|
|
2 1 168 256 425 AND
|
|
2 1 169 256 426 AND
|
|
2 1 170 256 427 AND
|
|
2 1 171 256 428 AND
|
|
2 1 172 256 429 AND
|
|
2 1 173 256 430 AND
|
|
2 1 174 256 431 AND
|
|
2 1 175 256 432 AND
|
|
2 1 176 256 433 AND
|
|
2 1 177 256 434 AND
|
|
2 1 178 256 435 AND
|
|
2 1 179 256 436 AND
|
|
2 1 180 256 437 AND
|
|
2 1 181 256 438 AND
|
|
2 1 182 256 439 AND
|
|
2 1 183 256 440 AND
|
|
2 1 184 256 441 AND
|
|
2 1 185 256 442 AND
|
|
2 1 186 256 443 AND
|
|
2 1 187 256 444 AND
|
|
2 1 188 256 445 AND
|
|
2 1 189 256 446 AND
|
|
2 1 190 256 447 AND
|
|
2 1 191 256 448 AND
|
|
2 1 192 256 449 AND
|
|
2 1 193 256 450 AND
|
|
2 1 194 256 451 AND
|
|
2 1 195 256 452 AND
|
|
2 1 196 256 453 AND
|
|
2 1 197 256 454 AND
|
|
2 1 198 256 455 AND
|
|
2 1 199 256 456 AND
|
|
2 1 200 256 457 AND
|
|
2 1 201 256 458 AND
|
|
2 1 202 256 459 AND
|
|
2 1 203 256 460 AND
|
|
2 1 204 256 461 AND
|
|
2 1 205 256 462 AND
|
|
2 1 206 256 463 AND
|
|
2 1 207 256 464 AND
|
|
2 1 208 256 465 AND
|
|
2 1 209 256 466 AND
|
|
2 1 210 256 467 AND
|
|
2 1 211 256 468 AND
|
|
2 1 212 256 469 AND
|
|
2 1 213 256 470 AND
|
|
2 1 214 256 471 AND
|
|
2 1 215 256 472 AND
|
|
2 1 216 256 473 AND
|
|
2 1 217 256 474 AND
|
|
2 1 218 256 475 AND
|
|
2 1 219 256 476 AND
|
|
2 1 220 256 477 AND
|
|
2 1 221 256 478 AND
|
|
2 1 222 256 479 AND
|
|
2 1 223 256 480 AND
|
|
2 1 224 256 481 AND
|
|
2 1 225 256 482 AND
|
|
2 1 226 256 483 AND
|
|
2 1 227 256 484 AND
|
|
2 1 228 256 485 AND
|
|
2 1 229 256 486 AND
|
|
2 1 230 256 487 AND
|
|
2 1 231 256 488 AND
|
|
2 1 232 256 489 AND
|
|
2 1 233 256 490 AND
|
|
2 1 234 256 491 AND
|
|
2 1 235 256 492 AND
|
|
2 1 236 256 493 AND
|
|
2 1 237 256 494 AND
|
|
2 1 238 256 495 AND
|
|
2 1 239 256 496 AND
|
|
2 1 240 256 497 AND
|
|
2 1 241 256 498 AND
|
|
2 1 242 256 499 AND
|
|
2 1 243 256 500 AND
|
|
2 1 244 256 501 AND
|
|
2 1 245 256 502 AND
|
|
2 1 246 256 503 AND
|
|
2 1 247 256 504 AND
|
|
2 1 248 256 505 AND
|
|
2 1 249 256 506 AND
|
|
2 1 250 256 507 AND
|
|
2 1 251 256 508 AND
|
|
2 1 252 256 509 AND
|
|
2 1 253 256 510 AND
|
|
2 1 254 256 511 AND
|
|
2 1 255 256 512 AND |