597e30c49f3f2c5ff2e3b3a19745f5ebdf3aef20eb8bb08c68b4be77943d20c9  README.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  claim-check-expected.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  claim-check.py
5fda5869fe430b7b6a7f67f83c6c67d21d7423928014ab8a675ae1de7dd5f171  compression-marginal-parent-exact.json
c12460810b13991a25ffde591ceb0be9017ca2348e75d46e7bff70f85531ac7c  compression-marginal-parent-exact.py
0c6de16da2ebdf62638cb151f68fe82635c294c3c0fb1a879133b710db4384d0  frozen-claim.json
77dd4a63bdb98fd861b6148d43b913f579bf905d62f21f0049a17c6fef8f8778  frozen-proof.md
28333c7201417184d4ae3a26bea5187827e94835356008cefc1b33d5bfc9927c  ki-multiblock-controls.json
6003c3a50616fb5697a813d907ac4a15e5f40fe6f9df9a6aca3ea95707c56024  ki-multiblock-controls.py
0859f8f91b4feb9d9ecc18ffa50406d63d565ceb1899ee2f3febc59777ff9f48  ki-packing-pilot.json
4db7cdd89948bd1a02967df9365ab98b1d4d49b26f88bf5eecc2a1124eec96b4  ki-packing-pilot.py
c4745b56bd84200cca79ac7a125be00b3629bbee92e4e8cf4783b092f85f2f12  metadata.json
2efbf9f9b1626a1ddbc207bee34008231068c8f8366aac831825acc33724329c  mixed-source-strong-converse.pdf
d0a91dca8899a6f8e6f76023185050fcd697b663037f140e39600335cba01805  mixed-source-strong-converse.tex
e175b2f2f46cc92f363b6dc773f38d653d98e2616db80729978d6d9c3bbe5523  original-problem.json
4eb7754564f3dfada0e996b2a74f56e496b18faf2767f4eec5443e9cfc5736c3  review-records.json
dc71c2123568a842813b3a4f187554d8f1c160c2b126ed71a93896ec0f3a6315  source-comparison.json
