4fe5400c5133fe9723297937321e526f49add7d6d36321b4ea28bde6ff17f6e0  ConnectedSetCounting.lean
667c681337ac0efcf6fb9260124bceaaedfb5cb582c10e7bdf49a2ee2041e0a5  axioms-ConnectedSetCounting.txt
9926b5045b8ebfdad3e677328f068924831703ec4281774ebbe87644a6f6b256  TwoColorPolymerSum.lean
41ad0ec04313cd9b1106ecaf4a2f76d1200df3b09675f5acd628517d9457c58d  axioms-TwoColorPolymerSum.txt
a68e7ef7c11c183f7da9819960be6f319a5392c4adac16d24507f7d62941d203  KPToDobrushin.lean
28ee907c4c0e9e423534f4caeac740873f934c2faefc334d91af8ee9fe692412  axioms-KPToDobrushin.txt
f7a30c5ebbffb4db6ce08acbafc7c1ea83f7174901ed35c500a482f25adb4346  TwoColorEncoding.lean
f0fb465380a1f1fcdfa82cf9d01d8d42b994419df57c0364d63099f782678161  axioms-TwoColorEncoding.txt
0f24fff2e02976f50574d54931cef829a1314fc54e2983b7e0931396dd6fa049  LatticeTwoColorKP.lean
3ff9fee48ece5ca6230045b3cd9aeb0d320c8b9ca26d61089104c24c92b90aeb  axioms-LatticeTwoColorKP.txt
d523d5d9034312fc9390101698cc379e9a065a8746fabfe615a9416df56764d8  BoxTwoColorKP.lean
cb8f4de7f344d968f2c6f62a5efb11ba81e87ba3aa1409fc051c73cff5867682  axioms-BoxTwoColorKP.txt
3308006b2b7628513be28ca9673304b67a7f8360ba42422db0c6df37c8b98a52  Lattice24KP.lean
d7cc3cbd744524dd12c6bfd011d6a215bff5b6c67741e6fcaec661f3819d025c  axioms-Lattice24KP.txt
fbab4754f910061a4581d78c80dd35f05335e3c82abc0a296e6d027f12016f69  BoxFromFace.lean
68920156fea99c2bac803b80438ff0d2019ee79a0c6f5b36464549939d52e12e  axioms-BoxFromFace.txt
8c86d14c352215bb73c36f758d7c26316869f6a78822d2effd574897ab118bc3  PolymerGasDobrushin.lean
d5fd67b2cf26339b7433356b615b601c6f925eef697ebdc55428661bffbd40a1  axioms-PolymerGasDobrushin.txt
df14b923dc8c8c844646b6ffbfebb9eb0059f19cbbedfec69537eef512efbf58  ClassSiteSum.lean
aaf8614253edd18c2b7403bbbc983f18b020b8d0b01ea7dcb68817874c7af8b4  axioms-ClassSiteSum.txt
422d8034b0a78aad34fc9c56d0831aaec7d7f7e0acc6dfa7bdc166eda3fac903  SizeSplitKP.lean
40459b12a3715ace81e15c1a19affd1e48b2880111de29fb2aa1cb575a50fe90  axioms-SizeSplitKP.txt
3a9e5cbd63f2135e0f7508dfdc16a8261e19c95fe38dca3c7ea921fb06ab4daa  BoxConnectivity.lean
b4459ba362a20ae6af3e6553ebfc462abeab664bd7367fd09399a2a51595d3c0  axioms-BoxConnectivity.txt
f659c624ac9f43d2a5a2a5e4e751cb6399a10c3496781dcaf2258f78fbb12b3c  BoxGasFromFaceSum.lean
c82169b1dae900a05cc86a965a4cde24815b7498a7116feb7c8aa7c1a1125600  axioms-BoxGasFromFaceSum.txt
