{
  "formula": "beta(j,k)=2^j(2k+1)-1",
  "domain": "j,k in N_0; output in N_0",
  "inverse": {
    "nu": "v_2(n+1)",
    "kappa": "((n+1)/2^nu(n)-1)/2"
  },
  "table": [
    {
      "j": 0,
      "values": [
        0,
        2,
        4,
        6,
        8,
        10
      ]
    },
    {
      "j": 1,
      "values": [
        1,
        5,
        9,
        13,
        17,
        21
      ]
    },
    {
      "j": 2,
      "values": [
        3,
        11,
        19,
        27,
        35,
        43
      ]
    },
    {
      "j": 3,
      "values": [
        7,
        23,
        39,
        55,
        71,
        87
      ]
    }
  ],
  "source": {
    "k": 1,
    "j": 2,
    "n": 11
  },
  "destination": {
    "k": 2,
    "j": 1,
    "n": 9
  },
  "matrix_unit": {
    "input": "E_{2,1} tensor e_{1,2}",
    "output": "E_{9,11}"
  },
  "map": "Xi(X)=U X U*",
  "inverse_map": "Xi^{-1}(y)=U* y U; (i,j) entry V_i* y V_j",
  "proof_locators": [
    "CDEC.7.a",
    "CDEC.7.b",
    "CDEC.7.c",
    "CDEC.7.d",
    "CDEC.7.e",
    "CDEC.7.f",
    "CDEC.7.g"
  ],
  "finite_validation": {
    "inverse_n_checked": 4096,
    "j_checked": 10,
    "k_checked": 64
  },
  "finite_validation_is_not_a_proof": true
}