4b133d236082c996f3efdb542769f75a28418d809804ac51ade34f93444f5815  higher-egraphs.pdf
e34ad7b2b43238cacc40c9a5eabb20766adf4f0799e4ae0af6863f84051c3d34  higher-egraphs.md
b68475c990c9c3a679022c95d6d584923afb6e9820045276660dcaeb533c5105  higher-egraphs.tex
f300489d05adf26a0723dfefbfb08f8efc86092056b4fe1477dc9db21c701a7e  journal-body.md
96eac129e95539a39e88a9f223153eda4d51c2d18eba9795aae68ba88e1d361f  submission.json
2cac2ca45fc82412ecb70aa673d92b8cdd516dbd7a524b814cc07160de9117ea  verify_examples.py
26b4de8eb2b3171b8f6ae328c81056e5a97c6c01a3492474773a2c0c72cc6d24  verification-results.json
2d73c89dc5fd97014f3f2c824b4a5e742adb49fee0125c4965eeaac86f1936c8  paper-header.tex
bbce10681fce83ea4c30d279b012c3d6aa408dfe5e54b4fcc384c96200ba2bcb  layout.lua
3d83e03a5b09cac2cf9fe25e9784a7cd488ae22a9b149a87dd8658956dc1a149  README.md
6687caf68ded379856468184a9223808796787677339e727ebf1da3426d7bbae  reference-audit.md
