{
  "lesson": "OA-FLOW-L131",
  "equations": [
    "O12",
    "O13",
    "O14"
  ],
  "terms": "CC0-1.0 for original diagram, data and code; DejaVu font separately licensed",
  "hilbert_space": "ell^2(N_0)",
  "coordinate_map": "W(e_r tensor e_n)=e_(2n+r), r in {0,1}, n>=0",
  "displayed_coordinates": [
    {
      "r": 0,
      "n": 0,
      "image": 0
    },
    {
      "r": 1,
      "n": 0,
      "image": 1
    },
    {
      "r": 0,
      "n": 1,
      "image": 2
    },
    {
      "r": 1,
      "n": 1,
      "image": 3
    },
    {
      "r": 0,
      "n": 2,
      "image": 4
    },
    {
      "r": 1,
      "n": 2,
      "image": 5
    },
    {
      "r": 0,
      "n": 3,
      "image": 6
    },
    {
      "r": 1,
      "n": 3,
      "image": 7
    }
  ],
  "compression_indices": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7
  ],
  "matrix_convention": "row=output, column=input; filled entry=1, blank entry=0",
  "j_e01": [
    [
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ]
  ],
  "rho_p0": [
    [
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ]
  ],
  "product": [
    [
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ]
  ],
  "meaning": "Exact compressions of infinite operators to four complete parity pairs"
}