2fb69ff3ada9a407fc226e65ca6824571003d6cc8954998b2753236606b68ff1  README.md
ad25e19ab2ed27a69f88ea851689c539f4bbc4c47c30f2f7d7095c5e521397b3  latin_interface_20261026_0720/latin_pair8_certificate.json
d885ecfd26be07c44fb5f7bf851a8adb696f2e09ca83032387a08877cd540346  strategic_synthesis_20261029_0326/coupled_apex_macro.json
cee44fefa0fe70b30a5954550e2b9ba31ca6b3db3cc7c00ccd925fd62502a161  strategic_synthesis_20261029_0326/latin_cone_closure.md
2f602e6f8b59afb4c2d01d57684ab6f90f2d2ad05cb73264465d485ac70530c0  strategic_synthesis_20261029_0326/verify_coupled_cone_closure.py
15d4e56c7cdfef6ba929caa78600c4bdfaa5a8050bec6528f525ea66c0f22b85  strategic_synthesis_20261029_0326/verify_latin_cone_closure.py
