{
  "change_comparison": "tla-values-function-extensional-v1",
  "edges": [],
  "evidence_id": "priority/ordinary",
  "input_manifest_sha256": "04133ab1081702b4cce15176241db1644c4ae12d305408b232f0a078b55597fa",
  "kind": "normalized-trace",
  "provenance": "counterexample",
  "raw_receipt_sha256": "c1d03fb3b7ad57c021d03b771cd0b75fee773e1d432f13025413d01a92b9ae4c",
  "run_id": "ordinary",
  "schema_version": 1,
  "states": []
}