diff options
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/BN13654.pdf | bin | 0 -> 838842 bytes |
| -rw-r--r-- | proofs/BN13654_redline.pdf | bin | 0 -> 228570 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/proofs/BN13654.pdf b/proofs/BN13654.pdf Binary files differnew file mode 100644 index 0000000..c9f1a25 --- /dev/null +++ b/proofs/BN13654.pdf diff --git a/proofs/BN13654_redline.pdf b/proofs/BN13654_redline.pdf Binary files differnew file mode 100644 index 0000000..6c781ee --- /dev/null +++ b/proofs/BN13654_redline.pdf |