CAIN-42 E23 evidence
====================
Save verify_e23.py.txt as verify_e23.py and run:
  python3 verify_e23.py .
See VERIFICATION.md for exactly what it checks and what it does not prove.