{
  "schema": "oa-flow-supported-strip-exact-models-v1",
  "models": {
    "incomparable": {
      "h": [
        1,
        0,
        0
      ],
      "k": [
        0,
        1,
        0
      ],
      "p": [
        1,
        0,
        0
      ],
      "q": [
        0,
        1,
        0
      ],
      "both_supported_products": "zero",
      "neither_form_order": true
    },
    "nested": {
      "h": [
        1,
        0,
        0
      ],
      "k": [
        4,
        9,
        0
      ],
      "p": [
        1,
        0,
        0
      ],
      "q": [
        1,
        1,
        0
      ],
      "strip": "U(z)=4^(-iz)E11",
      "endpoint_norm": "4^(-a)",
      "exact_depth_norm_pairs": [
        [
          "0",
          "1"
        ],
        [
          "1/2",
          "1/2"
        ],
        [
          "1",
          "1/4"
        ],
        [
          "2",
          "1/16"
        ]
      ]
    }
  },
  "proof_locations": [
    "OA-FLOW-L158.md#oa-flow.l158.supported",
    "OA-FLOW-WORD.md#wo-supported"
  ],
  "interpretation": "Exact multiplication models. The plotted norm samples illustrate an algebraic formula; they are not the proof of the general theorem.",
  "licence": "CC0-1.0 to the extent of rights held; installed font glyphs retain their own licence."
}
