57c576b887535d37a2c60b89bd7c87779d622d64c6460155f87bea49c0edcbe0  Encevra_Research_Round_34.md
c77dadb11ce89ddeb311eb347cdb129474ac954f03a00a8d13b0f5c0ff371ec4  output/pdf/Encevra_Research_Round_34.pdf
6ee93d5bb06fb66b54fa2e36a7b7017f4e3361dda021258c311a50379d4c7745  repro/README.md
5f03cd0afe71e249afd61eece806107f88cbb093b68e6ef1fba103f693a2d9a3  repro/build_round34_pdf.py
f5e4ba1af2972e04cd16df7a0e06ea404ce7510691d94186cbe7ea015dc78ae3  repro/round34_trust_graphs.py
f6592a03a460314cf1360bc1a6b2cebde81bde1062ca14363c5efc5dd42be45f  repro/source_ledger.csv
8d34f2f13497f48a5ee89f72f9e3a62ad325bc496066d066058cefc1a816e161  repro/test_round34.py
a12db85a227886c36943c86f97e3a538e8da21828b7e5458365fe542ee520228  results_final/counterexamples.json
d4fdf75d48b0c9708c20da0f96363ab7b4ef5a2c946c2a4f3933b3e7b0ca1a94  results_final/equivalence_classes.csv
9417ea09cd8fcc087dc9f10df8c3d64b32c1d73ab3dc99822572a7765bde9ea0  results_final/gtp34_protocol.json
5c836426fbde0f59b730c456c234ebf2d43312ee3f616aa21e6e8645c2c785b3  results_final/policy_results.csv
2d9d125d9fc06b787acd1da7f9c5f9e347d1a7fa0eb5a03a240b07d59d540372  results_final/summary.json
24b5bb3f41a35232a2f83aba25d611be2f2077bd17194898282871d751e00e2e  results_final/worlds.jsonl.gz
