6205a6feef29472e9276073d9cd1e9a89e85e4cf70d2e1f5df839e4c9911fe42  files/README.md
5b3847037cfc378fd1cf68c9f86aaf1195a0255df55c05db0a265e728341e94c  files/formal/PORTABLE_REPLAY.md
ddff76407230a11478fbe8ed38619b11563b670271965d702ed48238070e65b5  files/lean/Sufficient_Resolution_Lean_Guide.pdf
ba4828e03f9c5318766ccae491159dd9dfc1c133ea6696cfd46e66d8f0c0b48e  files/traditional/Sufficient_Resolution_Traditional.pdf
059084750bae0a9b90de03b4c1dd120eea53ab8a3d2f0d8afab63622d68ebfd1  files/traditional/Sufficient_Resolution_Traditional.tex
be43782b472042734b33cce13775282495a34da300ed76a436399529d71d5992  files/visual/Sufficient_Resolution_Visual_Guide.pdf
