{
  "base_frequencies": [
    [
      0,
      1,
      0
    ],
    [
      -1,
      -1,
      0
    ],
    [
      1,
      0,
      0
    ]
  ],
  "H": 1,
  "n": [
    0,
    0,
    1
  ],
  "coefficients": [
    {
      "signs": [
        -1,
        -1,
        -1
      ],
      "eight_i_c_exact": "1",
      "eight_i_c_evaluation": 1.0
    },
    {
      "signs": [
        -1,
        -1,
        1
      ],
      "eight_i_c_exact": "1 - sqrt(2)",
      "eight_i_c_evaluation": -0.41421356237309503
    },
    {
      "signs": [
        -1,
        1,
        -1
      ],
      "eight_i_c_exact": "1",
      "eight_i_c_evaluation": 1.0
    },
    {
      "signs": [
        -1,
        1,
        1
      ],
      "eight_i_c_exact": "1 + sqrt(2)",
      "eight_i_c_evaluation": 2.414213562373095
    },
    {
      "signs": [
        1,
        -1,
        -1
      ],
      "eight_i_c_exact": "-sqrt(2) - 1",
      "eight_i_c_evaluation": -2.414213562373095
    },
    {
      "signs": [
        1,
        -1,
        1
      ],
      "eight_i_c_exact": "-1",
      "eight_i_c_evaluation": -1.0
    },
    {
      "signs": [
        1,
        1,
        -1
      ],
      "eight_i_c_exact": "-1 + sqrt(2)",
      "eight_i_c_evaluation": 0.41421356237309503
    },
    {
      "signs": [
        1,
        1,
        1
      ],
      "eight_i_c_exact": "-1",
      "eight_i_c_evaluation": -1.0
    }
  ],
  "proof": "ORIGINAL_CASCADE_SPIN_FRAME_20261010.md SP1\u2013SP33",
  "source": "Terence Tao arxiv:1402.0290v3 navier-blowup.tex739\u2013821"
}