{
  "schema": "AN04-restored-graph-egorov-proof-map/v1",
  "proofs": [
    {
      "id": "GE:G0",
      "source": "global-inverses-and-periodic-multipliers.md",
      "source_sha256": "2e52c62b6bd21b2701d9a2ccd0b4da8a3ecdefd89a2c35927c4c8bd2e0491b82",
      "proof_locator": "## G0.",
      "dependencies": [
        "K:K2",
        "K:K3",
        "K:K4",
        "PS:PS5",
        "CH:T2",
        "P2:OP6"
      ],
      "scope": "Global proper two-sided matrix inverse from local conic inverses; separate bundle cutoffs, locally finite kernel sums, smoothing errors and ordered comparison"
    },
    {
      "id": "GE:G1",
      "source": "global-inverses-and-periodic-multipliers.md",
      "source_sha256": "2e52c62b6bd21b2701d9a2ccd0b4da8a3ecdefd89a2c35927c4c8bd2e0491b82",
      "proof_locator": "## G1.",
      "dependencies": [
        "RC:K2",
        "P3:M7",
        "P3:M6",
        "CT:T1",
        "U001:P16.1",
        "U001:P16.2"
      ],
      "scope": "Complete circle basis, Parseval by density, diagonal multiplier norm and exact tail norm"
    },
    {
      "id": "GE:G2",
      "source": "global-inverses-and-periodic-multipliers.md",
      "source_sha256": "2e52c62b6bd21b2701d9a2ccd0b4da8a3ecdefd89a2c35927c4c8bd2e0491b82",
      "proof_locator": "## G2.",
      "dependencies": [
        "GE:G1",
        "P2:OP4",
        "P3:L3",
        "U001:Q3",
        "U001:Q4",
        "U001:P14.2-powers",
        "U001:FTC-TAYLOR-COMPACT-PARAMETERS",
        "RC:K2"
      ],
      "scope": "Full periodization proof of the ordinary circle regularizer, off-zero derivative decay, exact Fourier coefficients, local PDO kernel and compact tail"
    },
    {
      "id": "GE:D0",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "## 1.",
      "dependencies": [
        "G2:G0",
        "G2:F1",
        "GS:Z10",
        "LR:R11",
        "RC:C2",
        "CT:T1"
      ],
      "scope": "Canonical symplectic half volume, reduced order, ordered graph density contraction and finite Hermitian bundle norms"
    },
    {
      "id": "GE:D1",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Proposition 2.1.",
      "dependencies": [
        "GE:D0",
        "ST:T4",
        "ST:T6",
        "G2:G41",
        "U001:P3"
      ],
      "scope": "Mixed graph coordinates from input-only second jets, homogeneous generating function and invertible mixed Hessian"
    },
    {
      "id": "GE:D2",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "The phase \\(\\Phi(x,y,\\eta)",
      "dependencies": [
        "GE:D1",
        "IR:R7",
        "GS:Z11",
        "GS:Z12",
        "OSC:O1",
        "K:K1",
        "HT:H8"
      ],
      "scope": "Exact graph phase normalization, critical density, determinant factor and full left amplitude reduction with all remainders"
    },
    {
      "id": "GE:D3",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Proof on one graph patch.**",
      "dependencies": [
        "GE:D2",
        "RC:C1",
        "RC:C2",
        "RC:C9",
        "P2:OP4",
        "P1:B4",
        "P3:M7",
        "WM:W2",
        "CT:T1"
      ],
      "scope": "Actual T*T before bounded extension, finite-seminorm L2 estimate, finite patch assembly and nonidentity cross branches"
    },
    {
      "id": "GE:D4",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "For the left form (2.5)",
      "dependencies": [
        "GE:D2",
        "P3:L3",
        "P2:OP4",
        "P1:B4",
        "CT:T1",
        "U001:P3",
        "U001:P4"
      ],
      "scope": "Direct TT* Fourier change, convex-cone injectivity, full inverse symbol bounds, frequency truncations and uniform norm"
    },
    {
      "id": "GE:D5",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Lemma 4.1",
      "dependencies": [
        "U001:FTC-TAYLOR-COMPACT-PARAMETERS",
        "HT:H2"
      ],
      "scope": "Vanishing symbol gives small fixed jets by nested Taylor estimates; every high-frequency tail seminorm"
    },
    {
      "id": "GE:D6",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Theorem 4.2",
      "dependencies": [
        "GE:D2",
        "GE:D3",
        "GE:D4",
        "GE:D5",
        "CT:T1",
        "CT:T2",
        "P3:L3"
      ],
      "scope": "Localized graph compactness, actual L2 kernels, finite-rank approximation and norm-limit argument"
    },
    {
      "id": "GE:D7",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Theorem 5.1.",
      "dependencies": [
        "GE:D3",
        "RC:C1",
        "RC:C2",
        "RC:C9",
        "WM:W1",
        "WM:W6",
        "P1:B4",
        "P1:B5",
        "K:K3",
        "K:K4",
        "GE:G0"
      ],
      "scope": "All real Sobolev orders, proper reducers, smoothing errors and support-controlled approximation to the original distributional action"
    },
    {
      "id": "GE:D8",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Support lemma.**",
      "dependencies": [
        "RC:K0",
        "PS:PS5",
        "CH:W1",
        "G2:G41"
      ],
      "scope": "Closed proper base relation of a global canonical graph; locally finite forbidden sets and smooth proper cutoff"
    },
    {
      "id": "GE:D9",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Theorem 6.1",
      "dependencies": [
        "GE:D8",
        "GE:G0",
        "GS:Z12",
        "LR:R11",
        "RC:C9",
        "RC:C1",
        "RC:C2",
        "K:K2",
        "K:K3",
        "CH:T2"
      ],
      "scope": "Global and local two-sided elliptic graph inverse, exact inverse symbol bundle and smoothing comparison"
    },
    {
      "id": "GE:D10",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Theorem 7.1",
      "dependencies": [
        "GE:D0",
        "GE:D9",
        "RC:C9",
        "P2:OP4"
      ],
      "scope": "Ordered Egorov for arbitrary A and B, actual beta-p-alpha product and necessary noninverse scalar coefficient"
    },
    {
      "id": "GE:D11",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "It also justifies changes",
      "dependencies": [
        "GE:D3",
        "GE:D9",
        "GE:D10",
        "GS:Z12",
        "LR:R11"
      ],
      "scope": "Quantization and inversion of local canonical changes with exact graph order and L2 invariance"
    },
    {
      "id": "GE:D12",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**One fixed neighborhood.**",
      "dependencies": [
        "K:K1",
        "K:K3",
        "P2:OP3",
        "P2:OP5",
        "CH:T2"
      ],
      "scope": "One fixed finite cylinder and interior cone, full symbol extension, proper representative and microlocal germs"
    },
    {
      "id": "GE:D13",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**The leading matrix and every symbol derivative.**",
      "dependencies": [
        "GE:D12",
        "G2:NF2",
        "G2:NF3",
        "U001:P15.1"
      ],
      "scope": "Actual ordered matrix fundamental solution and right inverse equation, both inverse identities and uniform finite-interval bounds"
    },
    {
      "id": "GE:D14",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "We verify that \\(M,H\\)",
      "dependencies": [
        "GE:D13",
        "G2:NF3",
        "U001:P4"
      ],
      "scope": "Induction for every parameter, frequency and time derivative of M and H, preserving matrix order and symbol weights"
    },
    {
      "id": "GE:D15",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "The compact-time extension",
      "dependencies": [
        "GE:D14",
        "P2:OP3",
        "P2:OP5"
      ],
      "scope": "Global uniform symbol bounds after fixed compact extension, support of full residuals and finite-time correction integrals"
    },
    {
      "id": "GE:D16",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Correct the entire lower-order remainder.**",
      "dependencies": [
        "GE:D15",
        "P2:OP3",
        "G2:NF2",
        "G2:NF3"
      ],
      "scope": "Exact differential commutator, full residual recursion, correct -i sign and every differentiated order gain"
    },
    {
      "id": "GE:D17",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "Apply support-preserving symbol summation",
      "dependencies": [
        "GE:D16",
        "K:K1",
        "P2:OP3"
      ],
      "scope": "Supported asymptotic sum retaining M, all time derivatives and full smoothing intertwining remainder"
    },
    {
      "id": "GE:D18",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "Since \\(a=M+S^{-1}\\)",
      "dependencies": [
        "GE:D17",
        "K:K2",
        "K:K3",
        "P2:OP6"
      ],
      "scope": "Uniform inverse bounds, proper two-sided matrix parametrix and all-order conjugation"
    },
    {
      "id": "GE:D19",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Return to the canonical graph.**",
      "dependencies": [
        "GE:D18",
        "GE:D9",
        "GE:D10",
        "RC:C9",
        "CH:T2"
      ],
      "scope": "Return to supplied canonical coordinates, both inverse identities, arbitrary real graph order and ordered smoothing conjugation"
    },
    {
      "id": "GE:D20",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "## 8.",
      "dependencies": [
        "GE:D0",
        "GE:D9",
        "GE:D10",
        "ST:S4",
        "OSC:O6",
        "U001:P14.2-powers",
        "U001:P15.1"
      ],
      "scope": "Exact half-density pullback, change of variables, inverse and exponential Egorov model"
    },
    {
      "id": "GE:E1",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.1 ",
      "dependencies": [
        "GE:D0"
      ],
      "scope": "Original Exercise 9.1 and its full unchanged solution"
    },
    {
      "id": "GE:E2",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.2 ",
      "dependencies": [
        "GE:D0",
        "GE:D20"
      ],
      "scope": "Original Exercise 9.2 and its full unchanged solution"
    },
    {
      "id": "GE:E3",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.3 ",
      "dependencies": [
        "GE:D20",
        "GE:G1",
        "CT:T1"
      ],
      "scope": "Original Exercise 9.3 and its full unchanged solution"
    },
    {
      "id": "GE:E4",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.4 ",
      "dependencies": [
        "GE:D6",
        "GE:G2"
      ],
      "scope": "Original Exercise 9.4 and its full unchanged solution"
    },
    {
      "id": "GE:E5",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.5 ",
      "dependencies": [
        "GE:D3",
        "GE:G1",
        "OSC:O6"
      ],
      "scope": "Original Exercise 9.5 and its full unchanged solution"
    },
    {
      "id": "GE:E6",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.6 ",
      "dependencies": [
        "GE:D20",
        "ST:S4"
      ],
      "scope": "Original Exercise 9.6 and its full unchanged solution"
    },
    {
      "id": "GE:E7",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.7 ",
      "dependencies": [
        "GE:D10",
        "GE:D20"
      ],
      "scope": "Original Exercise 9.7 and its full unchanged solution"
    },
    {
      "id": "GE:E8",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.8 ",
      "dependencies": [
        "GE:D10"
      ],
      "scope": "Original Exercise 9.8 and its full unchanged solution"
    },
    {
      "id": "GE:E9",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.9 ",
      "dependencies": [
        "GE:D13",
        "U001:P15.1"
      ],
      "scope": "Original Exercise 9.9 and its full unchanged solution"
    },
    {
      "id": "GE:E10",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.10 ",
      "dependencies": [
        "GE:D13",
        "G2:NF2"
      ],
      "scope": "Original Exercise 9.10 and its full unchanged solution"
    },
    {
      "id": "GE:E11",
      "source": "graph-operators-continuity-and-egorov.md",
      "source_sha256": "f9c18c5e746276af97ca85da7083fa5af15d1812767836d431b31f5717be318a",
      "proof_locator": "**Exercise 9.11 ",
      "dependencies": [
        "GE:D16",
        "GE:D17",
        "P2:OP3"
      ],
      "scope": "Original Exercise 9.11 and its full unchanged solution"
    }
  ],
  "earlier_maps": [
    "../20261004-free-stationary-phase/proof-map.json",
    "../20261004-free-intrinsic-graph/proof-map.json",
    "../20261004-free-tangent-zoom/proof-map.json",
    "../20261004-free-canonical-composition/proof-map.json",
    "../20261005-restored-oscillatory/proof-map.json",
    "../20261005-restored-phase-space/proof-map.json",
    "../20261005-restored-phase-equivalence/proof-map.json",
    "../20261005-restored-intrinsic-regularity/proof-map.json",
    "../20261005-restored-tangent-zoom/proof-map.json",
    "../20261005-restored-gaussian-symbols/proof-map.json",
    "../20261005-restored-linear-reduction/proof-map.json",
    "../20261005-restored-analytic-composition/proof-map.json",
    "../20261005-restored-subprincipal-transport/proof-map.json"
  ],
  "transitive_U001_ids": [
    "A0",
    "CLOSED-BALL-CONTRACTION",
    "D0",
    "E0",
    "EXPONENTIAL-TRIGONOMETRIC",
    "F0-ALG",
    "F0-CALC",
    "F0-COMP",
    "F0-COV",
    "F0-DIFF",
    "FTC-TAYLOR-COMPACT-PARAMETERS",
    "I0",
    "J0",
    "L10.1.12",
    "L10.1.13",
    "L10.1.14",
    "L10.1.15",
    "L10.1.2",
    "L10.1.5",
    "L10.1.6",
    "L10.2.2",
    "L10.3.10",
    "L10.3.2",
    "L10.3.7",
    "L10.4.1",
    "L10.4.2",
    "L10.4.3",
    "L10.5.1",
    "L10.5.5",
    "L10.5.9",
    "L10.7.2",
    "L11.4.2",
    "L2.1.10-inc",
    "L2.1.17",
    "L2.2.1",
    "L2.2.11",
    "L2.2.3",
    "L2.2.5",
    "L2.3.2",
    "L2.3.4-upper",
    "L2.3.5",
    "L2.3.8",
    "L2.4.5",
    "L2.6.5",
    "L3.1.7",
    "L3.3.7",
    "L3.3.8",
    "L4.2.2",
    "L4.2.3",
    "L4.2.4",
    "L4.2.6",
    "L5.1.10",
    "L5.1.11",
    "L5.1.13",
    "L5.1.2",
    "L5.1.7",
    "L5.1.8",
    "L5.2.1",
    "L5.2.2",
    "L5.2.4-positive",
    "L5.2.6",
    "L5.2.7",
    "L5.3.1",
    "L5.3.3",
    "L5.3.5",
    "L5.4.1",
    "L5.4.2",
    "L5.5.2-gt1",
    "L5.5.3",
    "L5.5.4",
    "L5.5.5",
    "L7.1.4",
    "L7.1.5",
    "L7.2.19",
    "L7.2.22",
    "L7.2.6",
    "L7.2.9-open",
    "L7.3.11",
    "L7.3.12",
    "L7.3.9",
    "L7.4.10",
    "L7.4.11",
    "L7.4.2",
    "L7.4.4",
    "L7.4.9",
    "L7.5.11",
    "L7.5.12",
    "L7.5.2",
    "L7.5.5",
    "L7.5.6",
    "L7.6.2",
    "L8.1.13",
    "L8.1.14",
    "L8.1.16",
    "L8.1.17",
    "L8.1.18",
    "L8.2.4",
    "L8.2.5",
    "L8.2.6",
    "L8.2.7",
    "L8.2.8",
    "L8.2.9",
    "L8.3.2",
    "L8.3.3",
    "L8.3.5",
    "L8.3.6",
    "L8.3.7",
    "L8.3.9",
    "L8.4.1",
    "L8.4.2",
    "L8.4.6",
    "L8.5.1",
    "L8.5.6",
    "L8.6.2",
    "L9.1.1",
    "M1",
    "M2",
    "P1",
    "P10.1",
    "P10.2",
    "P10.2-typo",
    "P10.3",
    "P10.4",
    "P10.5-rules",
    "P10.6",
    "P10.6-zero",
    "P11.1",
    "P11.2-bridge",
    "P11.2-orders",
    "P12.1",
    "P12.2-criterion",
    "P12.2-upper",
    "P12.3",
    "P12.4",
    "P12.5-endpoints",
    "P12.5-extension",
    "P12.6",
    "P12.7",
    "P13.1",
    "P13.2-mertens",
    "P13.2-series",
    "P14.1",
    "P14.2-inverse",
    "P14.2-powers",
    "P14.3",
    "P15.1",
    "P15.2",
    "P16.1",
    "P16.2",
    "P16.3",
    "P17.1",
    "P17.2",
    "P17.3",
    "P17.4",
    "P17.4-grid",
    "P17.5-order",
    "P17.5-upper",
    "P18.1",
    "P18.2",
    "P18.3",
    "P18.4",
    "P18.5",
    "P19.1",
    "P19.2",
    "P19.3",
    "P19.4",
    "P2",
    "P20.1",
    "P20.2",
    "P20.3",
    "P20.4",
    "P20.5",
    "P21.1",
    "P21.2",
    "P21.3",
    "P21.4",
    "P21.5",
    "P3",
    "P4",
    "P5",
    "P6.0",
    "P6.1",
    "P6.2",
    "P6.3-inf",
    "P6.3-subtract",
    "P6.3-tail",
    "P6.4-ball",
    "P6.4-complete",
    "P6.5",
    "P6.6",
    "P7",
    "P8-root",
    "P8-smooth",
    "P9.1",
    "P9.2",
    "P9.2-operator",
    "P9.3",
    "P9.4",
    "P9.5",
    "Q1",
    "Q2",
    "Q3",
    "Q4",
    "Q5",
    "Q6",
    "Q9",
    "R0",
    "U001-2.1",
    "U001-3.1",
    "U001-3.2",
    "U001-4.1",
    "U001-5.1",
    "U001-6.1",
    "U001-7.2",
    "U001-A1",
    "U001-A2",
    "U001-A3",
    "U001-A4",
    "U001-A5",
    "U001-A6",
    "U001-DEF"
  ],
  "transitive_earlier_package_ids": [
    "AC:A0",
    "AC:A1",
    "AC:A2",
    "AC:A3",
    "AC:A4",
    "AC:A5",
    "AC:A6",
    "AC:A7",
    "AC:A8",
    "AC:A9",
    "CC:C0",
    "CC:C1",
    "CC:C2",
    "CC:C3",
    "CC:C4",
    "CC:C5",
    "CH:T0",
    "CH:T1",
    "CH:T2",
    "CH:T3",
    "CH:W1",
    "CH:W2",
    "CH:W3",
    "CH:W4",
    "CH:W5",
    "CT:T1",
    "CT:T2",
    "G2:F0",
    "G2:F1",
    "G2:F2",
    "G2:F3",
    "G2:F4",
    "G2:G0",
    "G2:G1",
    "G2:G21",
    "G2:G22",
    "G2:G23",
    "G2:G31",
    "G2:G41",
    "G2:G51",
    "G2:G61",
    "G2:G71",
    "G2:G72",
    "G2:NF0",
    "G2:NF1",
    "G2:NF2",
    "G2:NF3",
    "G2:NF4",
    "G2:NF5",
    "G2:NF6",
    "G2:NF7",
    "GEO:C0",
    "GEO:C1",
    "GEO:C2",
    "GEO:C3",
    "GEO:C4",
    "GEO:C5",
    "GR:G12-forward",
    "GR:G12-reverse",
    "GR:G5",
    "GR:G8",
    "GS:Z0",
    "GS:Z10",
    "GS:Z11",
    "GS:Z12",
    "GS:Z13",
    "GS:Z14",
    "GS:Z2",
    "GS:Z3",
    "GS:Z4",
    "GS:Z5",
    "GS:Z6",
    "GS:Z7",
    "GS:Z8",
    "GS:Z9",
    "HT:H1",
    "HT:H2",
    "HT:H3",
    "HT:H4",
    "HT:H5",
    "HT:H6",
    "HT:H7",
    "HT:H8",
    "IR:R0",
    "IR:R1",
    "IR:R2",
    "IR:R3",
    "IR:R5",
    "IR:R6",
    "IR:R7",
    "IR:R8",
    "K:K0",
    "K:K1",
    "K:K1a",
    "K:K2",
    "K:K3",
    "K:K4",
    "K:K5",
    "K:K6",
    "K:K7",
    "LR:R0",
    "LR:R1",
    "LR:R10",
    "LR:R11",
    "LR:R2",
    "LR:R3",
    "LR:R4",
    "LR:R5",
    "LR:R6",
    "LR:R7",
    "LR:R8",
    "LR:R9",
    "MC:G0",
    "MC:G1",
    "MC:G2",
    "MC:G3",
    "MC:G4",
    "MC:G5",
    "MC:G6",
    "MC:G7",
    "ML:M0",
    "ML:M0a",
    "ML:M1",
    "ML:M2",
    "ML:M3",
    "ML:M4",
    "ML:M5",
    "ML:M6",
    "OSC:O1",
    "OSC:O2",
    "OSC:O3",
    "OSC:O4",
    "OSC:O6",
    "P1:B1",
    "P1:B2",
    "P1:B3",
    "P1:B4",
    "P1:B5",
    "P1:B6",
    "P2:F1",
    "P2:F2",
    "P2:F3",
    "P2:F4",
    "P2:F5",
    "P2:ML1",
    "P2:ML2",
    "P2:ML3",
    "P2:ML4",
    "P2:ML6",
    "P2:ML7",
    "P2:OP0",
    "P2:OP1",
    "P2:OP2",
    "P2:OP3",
    "P2:OP4",
    "P2:OP5",
    "P2:OP6",
    "P2:QG1",
    "P2:QG2",
    "P2:QG3",
    "P2:QG4",
    "P2:QG5",
    "P2:QG6",
    "P2:QG7",
    "P2:QG8",
    "P3:L1",
    "P3:L2",
    "P3:L3",
    "P3:M0",
    "P3:M1",
    "P3:M2",
    "P3:M3",
    "P3:M4",
    "P3:M5",
    "P3:M6",
    "P3:M7",
    "P3:M8",
    "PH:F0",
    "PH:F1",
    "PH:F2",
    "PH:F3",
    "PH:F4",
    "PH:F5",
    "PH:F6",
    "PH:F6a",
    "PH:F7",
    "PS:PS0",
    "PS:PS1",
    "PS:PS2",
    "PS:PS3",
    "PS:PS4",
    "PS:PS5",
    "PS:PS6",
    "RC:C0",
    "RC:C1",
    "RC:C2",
    "RC:C3",
    "RC:C5",
    "RC:C6",
    "RC:C7",
    "RC:C8",
    "RC:C9",
    "RC:K0",
    "RC:K1",
    "RC:K2",
    "RC:K3",
    "RC:K4",
    "RC:K5",
    "RC:K6",
    "RC:K7",
    "RC:K8",
    "ST:S1",
    "ST:S2",
    "ST:S3",
    "ST:S4",
    "ST:T4",
    "ST:T6",
    "TG:B0",
    "TG:B1",
    "TG:B2",
    "TG:B3",
    "TG:T0",
    "TG:T5",
    "TG:T6",
    "TG:U1",
    "TG:Z2",
    "TZ:E5",
    "TZ:Z0",
    "TZ:Z4",
    "TZ:Z5",
    "TZ:Z6",
    "WM:W0",
    "WM:W1",
    "WM:W2",
    "WM:W3",
    "WM:W4",
    "WM:W5",
    "WM:W6"
  ],
  "bounded_lesson_P514_closed": true,
  "human_review_complete": false,
  "full_course_complete": false,
  "public_release_authorized": false
}