125bd7868cdd32078fbbf8409c69718a0a996ec216b13ff40e82e7494159c3c3  README.md
2a40ee1fca7e463adb621088739cfa473e1673e2cf4b1166c2df75b7306a7752  constructed_example.txt
8e95f7aabc4e3919c23a4967836593481353a3edb2780e5720e6ae310abc988c  posc_reference.py
716aa19f70b44aacd9f1c3bb4b0fbc9cadf1a571d3c731c42adbfebe7ab3f731  verification_optimized.log
a8010c84b2db53e5de7ec128f835e92bfe033d8a4d79f9b452db5f935b74a726  verification_results.json
7d4a4245e6d08df386aac7698cf42e8d6f6f12ab1f5c511eb76419ab35a08f33  verification_results_optimized.json
aed1ab7801246bffef37674fb86d26ca14723cfddc931cb2ffb5de23d043fbe2  verification_run.log
99b44b7d08179781a801bd060f09d21c2ed7e00bd31e242c8048d3ca3af33ca5  verify_reference.py
