2982983978949c155347b2fa4dda148cffaeaddffb5383507ba944842ff4e5c7  LICENSE
1f565dcecf7618b1e5e08e666cac4a3510c0b6431dd389ececdaa5daa0339d23  README.md
81d8174a970a38b42c4a8e32ff09219f5b3d4c2dcd0b760197ba9b3822dacd40  results/branching_consequences_audit_20261104.json
e7160b487ddf370c7247a2084fe0d80b6192805bb25fa4ed3d2e073645549755  results/branching_pair_R_trial_20261104.json
c9a5bb84257e99802f67120e6307ffb51d7c6094a41869fc1a3645aace4c53d4  results/five_exponent_singleton_audit_20261104.json
e8aaad38fe9717cedf6dc743b9eba3e05fe71c8645d33891b81eb8a61c53cfa6  results/second_triple_Q_trial_20261104.json
43d34b4ec12d6ed7c517f3407f02c3e7cd63357f6c5ef654dd92c18d6d98be9d  results/single_valuation_depth_audit_20261104.json
ce7c675c113680d3e040b9e09cd48b0a99b05e099226f6b36a5997332c7e3fee  results/wren_triple22_independent_certificate_20261104.json
f516d41300b9bd812c26b397559a191d528476e510f8954a44656fcd41eb02d1  src/audit_branching_consequences_20261104.py
0ba6916e33c8ad12969332a83a47c5a56271a06fa1dca497959f15602723f955  src/audit_five_exponent_20261104.py
30c3657ee4cf9ee8198a702f594fde9974528b4da774a665cd1bf2291c1aaf68  src/audit_single_valuation_depth_20261104.py
af60f8ea3035e5ff311a22215b4b53eff45a4b762a90be6ed87fcd5a532975d9  src/verify_QR_certificates_20261104.py
761c8a172240076f178f1310f3311d82db7f3d7d931fd4870546c052fb3b94f1  src/verify_triple22_certificate_20261104.py
