b8d3079f44f004f1812ef3face37bf685e0564e4f929017b45a3d9c9c4eef6d4  EXPLICIT_INPUT.md
1ae939504fe32bda28165381e7b6238892dcf4e9f05d73e50c863b26a0d4d3fd  LICENSE
f98cbccae5d4891c95b9db71f2354c786cf9cd96f13609b9a37f2d917a38cb1a  PROOF.md
e7ad14067dde13382613f247444f2c6b7fe827d5d0327801902b0ba235fc1fba  README.md
460c110d38925148e1f2e318618008a0537a14825f4353be4d9ec6c5d2dc6337  code/power_gap_certificate.py
d141dadf3211e8b40dd41fa29cc8e67391de7b1695794b3e7e2dd751359e5cb4  results/power_gap_certificate_20261024.json
