{
  "tid": "T515",
  "baseline_revision": "af9cf996377ce3d35470e44f62bf0100a5f86bf759d4346b5485dfe5348a3d6f",
  "baseline_state": "fresh-authoritative-export",
  "retention_policy": "Every predecessor entry and comment is retained verbatim and rechecked.",
  "baseline_source_sha256": {
    "build-report.md": "50f0d8d335a2d27b890e2372e4f5458d3aa9b45eaa2b016721f4d8f46fb2b9ad",
    "check.py": "1c5371ef1e7e36bc1c254789140adf1759cabc93ff56a287e38889e9881c18eb",
    "checks-evidence.json": "5aa007790c9f016b234b8fc5c38122504be8a8bc76fcb5716bf1a17a35faad9e",
    "checks-stored-final.log": "946b9be4cacd939a1de146e8a3c3eff8857312d6c7f471792f0d0e1c0c7844da",
    "checks.py": "091d77d7536cd5787e62930e4a49aaaf80dc8e5435fd8489aaafa6cb95645a4d",
    "dry_run.py": "00615e002d653eb725066ef2dadde09cfe24836e4416b01f085a40e640107cc4",
    "evidence.json": "d2768003417dabe6e7fe7bf92668a6bfc0ad320ad9df5d29f6923dde181fee6d",
    "generate.py": "0b69d0ff6842247164ff17a27897a158cf4290060980be71ca6e72a2981ec813",
    "lessons.md": "89c5779c6f597c9b2446c637dde4909e4fdee947cee50c676bf507d38f3954a9",
    "scorer.py": "645af7bd3e3f206105946773bba40da3f841c4135dee11e188a23043ab1ed773",
    "selection.md": "6cc931d58ec6512234269403ace5e84519b20c2af1a2e3b7068688e857611c3e"
  },
  "entries": {
    "0": {
      "digits": 100,
      "metadata": {
        "comment": "The distinguished origin; see CITE{initial-values}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-1": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{1}$",
        "comment": "$a_{1}$ is the negative zero of $\\operatorname{Ai}$ with index $n=1$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-2": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{2}$",
        "comment": "$a_{2}$ is the negative zero of $\\operatorname{Ai}$ with index $n=2$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-3": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{3}$",
        "comment": "$a_{3}$ is the negative zero of $\\operatorname{Ai}$ with index $n=3$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-4": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{4}$",
        "comment": "$a_{4}$ is the negative zero of $\\operatorname{Ai}$ with index $n=4$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-5": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{5}$",
        "comment": "$a_{5}$ is the negative zero of $\\operatorname{Ai}$ with index $n=5$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-6": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{6}$",
        "comment": "$a_{6}$ is the negative zero of $\\operatorname{Ai}$ with index $n=6$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-7": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{7}$",
        "comment": "$a_{7}$ is the negative zero of $\\operatorname{Ai}$ with index $n=7$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-8": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{8}$",
        "comment": "$a_{8}$ is the negative zero of $\\operatorname{Ai}$ with index $n=8$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-9": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{9}$",
        "comment": "$a_{9}$ is the negative zero of $\\operatorname{Ai}$ with index $n=9$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-10": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{10}$",
        "comment": "$a_{10}$ is the negative zero of $\\operatorname{Ai}$ with index $n=10$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-11": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{11}$",
        "comment": "$a_{11}$ is the negative zero of $\\operatorname{Ai}$ with index $n=11$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-12": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{12}$",
        "comment": "$a_{12}$ is the negative zero of $\\operatorname{Ai}$ with index $n=12$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-13": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{13}$",
        "comment": "$a_{13}$ is the negative zero of $\\operatorname{Ai}$ with index $n=13$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-14": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{14}$",
        "comment": "$a_{14}$ is the negative zero of $\\operatorname{Ai}$ with index $n=14$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-15": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{15}$",
        "comment": "$a_{15}$ is the negative zero of $\\operatorname{Ai}$ with index $n=15$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-16": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{16}$",
        "comment": "$a_{16}$ is the negative zero of $\\operatorname{Ai}$ with index $n=16$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-17": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{17}$",
        "comment": "$a_{17}$ is the negative zero of $\\operatorname{Ai}$ with index $n=17$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-18": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{18}$",
        "comment": "$a_{18}$ is the negative zero of $\\operatorname{Ai}$ with index $n=18$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-19": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{19}$",
        "comment": "$a_{19}$ is the negative zero of $\\operatorname{Ai}$ with index $n=19$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-20": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{20}$",
        "comment": "$a_{20}$ is the negative zero of $\\operatorname{Ai}$ with index $n=20$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "-1/2": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "1/2": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-1": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "1": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-2": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "2": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-4": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "4": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-8": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "8": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-3/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$-3/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "-2/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$-2/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "-1/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$-1/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "1/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$1/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "2/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$2/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "3/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$3/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    }
  },
  "equivalent_arguments_not_added": {}
}