730a35ae3d558080083c3103d9ac8100c3f6561678092abe341701dfa331eb1d  .gitattributes
91af5f8cba1b32e2f3e80a690713ce1ac27ac3ceae8087647f327b86259b85de  certificates.json
9cf7cd61a73e0c243426862fe7a8f67b1647593064e9f951c7ada4b77b21b7e0  construct.py
0dbdac1b8d9fe53d368290d07a5090885bf7d5db9be30f1c944ad8d3cae0fc67  independent/AUDIT.md
f9373b2f21a8ec8abd2bf0aa1ae4ed3ad4341f81692056b3af5b622fb7df6a3f  independent/verification.json
2c7879504fec18da41ffb406311d2e3a0777bcb50b3a32ade0e646c8af6d057f  independent/verify_independent.py
f150ca94352fa7b52fa2c8fe458405e87b2d94dae777687ea36c2c26a4040563  k11/certificates.json
9442f46719d2728581bb9b782b56ee553d568f725ef73310eb9ad36de5bd44b0  k11/check.py
15f4e9a62c90dc931cf757b17708de15a037b5ab5fa88bff8458800dfebdd8a8  k11/independent/AUDIT.md
a0c2e22d3d310b3eb5087220d7aa8c77e0ec2ac39d328356f9edabf46dd81142  k11/independent/verification.json
8f32cd5d9ab4b3db0accb550782fffcd6af0c8c84aec262a60fa3a3a5d3bcd24  k11/independent/verify_independent.py
65b9ee4580ef1ff369cfb53aa36da44cf62b7dbfa82b627df41a069c0d3ec737  k11/proof.md
5658e8f1c658224edcaa58ea14b4c6fb25a54428b9c8df4976812e9c344c1498  k11/README.md
0255869a8bae9bcffa008fb2258dcf647c965bde2220aee9a149650d4e9dc0b1  k11/search.js
d7a9782126ea06a39849cdd06f7c786a84ee5a1aa6d0076ee5c29783a0aa2423  LITERATURE-AUDIT.md
be60faf92c1ecd6951258c85c6004ae92869879fe8efda15a9e1ee0c27b43fc2  literature.md
ae63cb8adac7db4f17fe397dabc24a95a2099a38a8744b358dec0dd5297c084d  proof.md
57311364fb15c6e9be993f3d21b3140c1ec4b6a367d41908da35b9ea93b0761c  README.md
a23a6a17301d49cf0a50bf975fa1c4b3c7c7623b62840dfe654aca92110fc6ce  REPRODUCIBILITY.md
a526f648ac2a6b5a4b303f8effc77dc43fcc7829dba69fd1644668d903570f0d  SOURCE-MANIFEST.json
c82ef0152d23adfd10045ecda022ee8aff0c88e0ef68970c2911debd764e4d49  SOURCE-README.md
22fcb3fb64924479a2f7274df49408c04730603be1c7efd545330115a0d6af8c  verification.json
3376c5f8c68ba2e9791e66359ef57c4742cd9044d0f8077a9f2c5de087248767  verify.py
