{
  "Hilbert_tangent_seed_1": {
    "standard_monomial_exponents": [
      [
        0,
        0,
        0
      ],
      [
        0,
        0,
        1
      ],
      [
        0,
        0,
        2
      ],
      [
        0,
        1,
        0
      ],
      [
        1,
        0,
        0
      ]
    ],
    "length": 5,
    "hilbert_function": [
      1,
      3,
      1
    ],
    "hom_dimension_over_Q": 21
  },
  "Hilbert_tangent_seed_2": {
    "standard_monomial_exponents": [
      [
        0,
        0,
        0
      ],
      [
        0,
        0,
        1
      ],
      [
        0,
        1,
        0
      ],
      [
        0,
        1,
        1
      ],
      [
        1,
        0,
        0
      ]
    ],
    "length": 5,
    "hilbert_function": [
      1,
      3,
      1
    ],
    "hom_dimension_over_Q": 15
  },
  "projective_plane_torsion_seed": {
    "facets": [
      [
        1,
        2,
        3
      ],
      [
        1,
        2,
        4
      ],
      [
        1,
        3,
        5
      ],
      [
        1,
        4,
        6
      ],
      [
        1,
        5,
        6
      ],
      [
        2,
        3,
        6
      ],
      [
        2,
        4,
        5
      ],
      [
        2,
        5,
        6
      ],
      [
        3,
        4,
        5
      ],
      [
        3,
        4,
        6
      ]
    ],
    "boundary_squared_zero": true,
    "Q": {
      "boundary_ranks": [
        5,
        10
      ],
      "H1_dimension": 0,
      "H2_dimension": 0
    },
    "F2": {
      "boundary_ranks": [
        5,
        9
      ],
      "H1_dimension": 1,
      "H2_dimension": 1
    },
    "nonzero_smith_diagonal_of_boundary2": [
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      2
    ],
    "Hochster_full_vertex_degree_differences_F2_minus_Q_for_S_mod_I": {
      "beta_3_6": 1,
      "beta_4_6": 1
    }
  },
  "negative_Pell_seed": {
    "same_signature": {
      "p_mod8": 5,
      "q_mod8": 5,
      "legendre_p_over_q": 1
    },
    "examples": [
      {
        "d": 145,
        "primes": [
          5,
          29
        ],
        "period": [
          24
        ],
        "negative_pell_solvable": true
      },
      {
        "d": 305,
        "primes": [
          5,
          61
        ],
        "period": [
          2,
          6,
          2,
          34
        ],
        "negative_pell_solvable": false
      }
    ]
  },
  "scope": "Known examples and exact finite computations; no new theorem, novelty claim, or general classification."
}