17ead6f361557784ab512b75e9df85d2c41f1fe04f2a4ff684336df62db517f6  CHANGELOG.md
9a410eafbb09b3e99addeeccbe290eb46d5d7f324e9bc317c76a2daf4b88743e  CITATION.bib
359ecc899cab84f1b78edda3ae64c226de308269ea71bcc008d5c93501aac6ae  CITATION.cff
a915632d91f1b8383d662c05c92c2dfd3d047510b7348b8f6490462b734ec5fb  LICENSE.md
97192e40c819e5c15f1538911d718a38d6b3e739438fb416acf5f574a3cb955d  LICENSES/CC-BY-4.0.txt
ad7dd18077f920e2326157dd543ef44e36abb82c1b57f5f9719a3779132b93a9  LICENSES/MIT.txt
c99f3dae80f2f018f640475504a2aac55630cf2f82bc09b95f89244488b2cff0  README.md
44e161e4495cac2cf7858043e9e6418e9579f0ddcfae826f9a372622968ce066  VERSION
2fc48ecf06bc7ca256f7107648158fe92bff2052368b438267e6541e3eb07b1b  certificate/closing.json
a1720cea93f30e04f31db6b49700a7d5c2d0fcfe9dff2f63ea2e3130b08629ac  certificate/integer_certificate.json
241e20c4ee390125f7575bf2156a12460a771918070c7cec0b79433c16d0cc78  certificate/verification.json
8d7ecf1981a413daf2d3835ebe2c046b20f03010f7ce24f247bd357136e24f04  checks/geometry.cpp
9a2b5e39b007fe76ef2d0ef215d3cb103c5beffc2180ebc356675de87c2ec4e2  checks/replay.py
e3296d181686c0f1925e755583fdc4df2ffeb2bacbc36a77a2396bbe3b4a9135  checks/verify.py
b75d28776eda0d0b2972de5e068e454a889cb01f8f3ce5c969f150701d4efaa9  lean_proof.tar.xz
73f78621a297650176cb796f763b9279eae9533efedbbb58405efc885ef41bb9  paper/main.tex
df0f8e827ca3d2a8a30b54ca8df18439e1c68bc95f8773e01b30854ecd095469  paper/nine_prime_support.pdf
03453247f61d5dec3c67dc06f2f9b2281b841525281b71b501aa90b9b7a6b1b7  research/rank10/README.md
1c64ae32f0169dd6b0b4cfa0c16ac026c2a28fbe5f52f7c255fc41f7d6e4c709  research/rank10/all_caps.py
96152f8705a415185f2206581956005d38379f554c5e1add5200d0ea75ee4f73  research/rank10/all_caps/acceptance.json
39c0c009eb1296137d41d8c43c3f70006bf1089dd0581b98746ccf23da0c43c2  research/rank10/all_caps/case001/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case001/boxes.json
f62eb16dbaf5262f959634ad3ddaaa04026333657509280b807f5bd98104cfa7  research/rank10/all_caps/case001/context.json
7bc7bbfe138f1d7a831026b5687de018abea918bbd5972370516c249c9851fbe  research/rank10/all_caps/case002/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case002/boxes.json
28061d861a161446c7db3d9f60ea6cc8058365ca03e69d0dfd82619ba12ca1c1  research/rank10/all_caps/case002/context.json
0df2cbd9f34852f19ad2b044deabc1f9cd8fc00d4085d9f202dfcde07004983b  research/rank10/all_caps/case004/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case004/boxes.json
5f49de97ba188df28fce7c738b554c6544164e5ea09c0b6e22492c37097a8aec  research/rank10/all_caps/case004/context.json
057d3e24c73f112272d4196f55c477a3608712e73a0ff8112a7686cea25b6ecf  research/rank10/all_caps/case005/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case005/boxes.json
632d249bd172d12749855969f5463cab6ec3efe86eaa5085aa8237c4c5d5ad2f  research/rank10/all_caps/case005/context.json
b78afcc8b28a6da68d3f753032e72eaef700035937e84b4c5d9f44bc21df4522  research/rank10/all_caps/case006/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case006/boxes.json
7a66b06860b60e55deffd6a00f5846283ea22d42c7abeac05b511b0797cd6f86  research/rank10/all_caps/case006/context.json
a88aec1f725beaa0bcae39b127105dab0626df19dac00c1334b9ec954980851a  research/rank10/all_caps/case007/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case007/boxes.json
76821f0629bca0643e26e1d273bd518ebd75c4fb301b74db2a53a53eb07b81a0  research/rank10/all_caps/case007/context.json
2cd7218f0bcd72b8ec8bb195c1a4b80b2c78bab1f756f100fb0d5c330e7e6122  research/rank10/all_caps/case008/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case008/boxes.json
9485886c891576bf2b6c6c5c87a4939dcdb4b0316948edd10d7b0868d5b362a6  research/rank10/all_caps/case008/context.json
4523d8b72d99b495cdedafa5694210c08af1c5602ff05ab606ed9bb34fbe276e  research/rank10/all_caps/case009/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case009/boxes.json
ea76c77dd506245f9e2e012f46d3dc831bd5a272f4ff861d2de726c71ae8dc15  research/rank10/all_caps/case009/context.json
680d20a529fec22d7761afe1368fd7c29e02eee146d7a2d830a5a8ce154f58a4  research/rank10/all_caps/case010/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case010/boxes.json
07ed50930fe39db6cf68638b6afdbbf38388316f7cfc974937b019708ec5dd45  research/rank10/all_caps/case010/context.json
87fa9cc6b7d1d1e81b9c8f88c08bd082a83943559ff298bedee41a4e18a73101  research/rank10/all_caps/case011/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case011/boxes.json
38b858e13e6c48bdb6d8ecda1c2a43961c5940c52dcbc560c37f843b804a8541  research/rank10/all_caps/case011/context.json
2cc46f6167351ec4b2c19b8ff837cac6cfac8ce4232abbf7849b71f5f0f7c5ad  research/rank10/all_caps/case012/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case012/boxes.json
fd97c14c06b897d0ef8cc4a5bbfe266e84f8553db9d1a2ae5a30793a2ae8f945  research/rank10/all_caps/case012/context.json
7a4f477a52833a4107e670137cf8f0b38b544814e9c9fe970e6033de9aa291e2  research/rank10/all_caps/case013/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case013/boxes.json
a9f5472d28dcee496d02f97428e6b75daed4297d18380e43de6449d5a728f89f  research/rank10/all_caps/case013/context.json
881e292162ee890084fec75235b6f9043d20db1629eb89fef08abe36ee12a5f7  research/rank10/all_caps/case014/acceptance.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/all_caps/case014/boxes.json
c1a8c1042e596cbf8a75a94a92e1c8fdf0b90f6af561bffa0425e06624629373  research/rank10/all_caps/case014/context.json
6c2b0373e2d5be5f1fb577684538f372a731b8a5eb90fd2c2f16380c89d1f769  research/rank10/all_caps/current.json
f4989f7fed05613530d0b613568f6358a61c14116d33dd5e9d07b7becffe1c0b  research/rank10/all_caps/partition.json
93d0d7b6166512af823fb87f79aa75675a3b9e841971364d9d56c45ef61282e7  research/rank10/cap_boxes.json
6563d68995ce6938fe59d19d3ca344b1baa695ef8b8e2f96028a785110e4d039  research/rank10/cap_obstruction.json
0ee8250684e38829e13a5b9bcd6d887ef9d6b09bb33f612db5d159bbcb3bd495  research/rank10/certify_caps.py
0b955de4f8e0735563a7cf55ed0f9f65500a3fb530f95ca3fd098601a88f9a2d  research/rank10/diagnose.py
afeac8ce4daa4217c68e75802b25832d20ea0c7152acb5810d403c187731cacf  research/rank10/distribution.json
d1d87c70b54f35280f68b8054b6d3fcd8e7d70702b72a0a43a4fa98295c3b49b  research/rank10/exact_candidates.json
40b8c33b05d11178fcf25eb37926f3ae940012f21b2163ec4ac9ea84fabd8283  research/rank10/fixed_cap.json
18d58db97ae3e8925c97bf9c0b81960c0b40da4ffba91efb00f2dd80ce3779ee  research/rank10/geometry_witness.cpp
827431d2e2cf8dd9e2dd2eb16920c35d1ca25281f885711de939f35397510ebe  research/rank10/grid.json
3edd4e872c316a3944158195611b4d49a377289c94552068327c82743b673f08  research/rank10/run.py
18e3b87149bbacc5e53295b96635876724e313ed80709baff511bd9729bf0d99  research/rank10/support.json
f03f91ad250c82596f62a487d40a9bf7519bc762a91afa2e0fc53f5274377d9b  research/rank10/tune.py
5133181f9539ddbecf8d80e306131d3e23df0349087abda99786d3e480df802e  research/rank10/tuning.json
06c45291dc0077740f602027dc51b5dada988b2cac4edbc17cebf5c752f01f30  unpack_lean.py
c676b49fa8dd40ad7654f874577d7278113725bf78682408bcc11cd556aea557  verification/README.md
e1b1bddbf29d54bbf2ffcc9fc028ecfdc3bd6bbf878653d6c0c518e922141a35  verification/editorial_identity.json
c9576f0898bc23aa9627d681cb70da0d6b0522ade8447697bd660958d3d3f0f3  verification/lean_source_identity.json
