007e1acab10512091834fc0667800cafbd45b18a7d25ca8700e1272c462f28e3  Paper.pdf
b53f79c610873dd358dde29cddb8f397e98dc15c7c66377bf67937960d75677e  main.tex
212b33067e977a20759a62ea6b1fb8f128ab391b1a148f83312cf9e8259d67fc  verify_prefix.py
617db977f3dfbae85acec3a8b6f8c94d42419337ef9ef9492aff1a29c6f23cf0  verify_algebraic.py
e392aab405cebc73e5cca04b0e111f7b71d3d03b96faa65d4076309a099d7101  build_pdf.py
6001e5914e4c2ec1594f0e014fe0b8078539feb88a5f1f9cea0bef6eec864473  README.txt
ec061fc42c1ad21305ab6c034e797834f60ae1ae43cb77f66e940ffc962fe65c  CITATION.bib
4858ba91801713edf10ac49d850fce7705328845e9304c69a18ce46c2252be2e  CITATION.cff
625645ca19bcad5edd802cbbd505d2100c22bdbddd6042ed8c9c4bc4dd4a21b1  verification_results.json
e8ad6782141f1bf5523c1be4aaed13789818437c575b69a7e341eed75be33873  algebraic_results.json
