summaryrefslogtreecommitdiff
path: root/proofs
diff options
context:
space:
mode:
authorJaron Kent-Dobias <jaron@kent-dobias.com>2022-10-03 23:21:56 +0200
committerJaron Kent-Dobias <jaron@kent-dobias.com>2022-10-03 23:21:56 +0200
commit208112c6fd5a8608bf66037af9146ed4ccfb549b (patch)
tree8bba4353bcceda39ac7ac364ac74f297856ecfa4 /proofs
parent4f37ff06bbca680e0be5d5a8a4f03232ecb12ec6 (diff)
downloadPRB_102_075129-208112c6fd5a8608bf66037af9146ed4ccfb549b.tar.gz
PRB_102_075129-208112c6fd5a8608bf66037af9146ed4ccfb549b.tar.bz2
PRB_102_075129-208112c6fd5a8608bf66037af9146ed4ccfb549b.zip
Added proofs and response.
Diffstat (limited to 'proofs')
-rw-r--r--proofs/BN13654.pdfbin0 -> 838842 bytes
-rw-r--r--proofs/BN13654_redline.pdfbin0 -> 228570 bytes
2 files changed, 0 insertions, 0 deletions
diff --git a/proofs/BN13654.pdf b/proofs/BN13654.pdf
new file mode 100644
index 0000000..c9f1a25
--- /dev/null
+++ b/proofs/BN13654.pdf
Binary files differ
diff --git a/proofs/BN13654_redline.pdf b/proofs/BN13654_redline.pdf
new file mode 100644
index 0000000..6c781ee
--- /dev/null
+++ b/proofs/BN13654_redline.pdf
Binary files differ