{
  "coordinate_sample": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16,
    17,
    18,
    19,
    20,
    21,
    22,
    23,
    24,
    25,
    26,
    27,
    28,
    29,
    30,
    31
  ],
  "unique_projection_indices": [
    0,
    1,
    0,
    2,
    0,
    1,
    0,
    3,
    0,
    1,
    0,
    2,
    0,
    1,
    0,
    4,
    0,
    1,
    0,
    2,
    0,
    1,
    0,
    3,
    0,
    1,
    0,
    2,
    0,
    1,
    0,
    5
  ],
  "tail_indices": [
    0,
    1,
    2,
    3,
    4,
    5,
    6
  ],
  "exact_tail_fractions": [
    "1",
    "1/3",
    "1/15",
    "1/255",
    "1/65535",
    "1/4294967295",
    "1/18446744073709551615"
  ],
  "epsilon": "1/100",
  "first_selected_tail_below_epsilon": 3,
  "formula": "S_j={2^j(2k+1)-1:k>=0}; rho(R_N)=1/(2^(2^N)-1)",
  "proof_locators": [
    "PC-8",
    "PC9",
    "PC10"
  ],
  "domain": "B(l2(N_0)); illustrated algebra is type I, not type III",
  "license": "CC0-1.0 to the extent of rights held"
}