{
  "proof_locator": "Section 5.50, FD.3",
  "kind": "complex-degree schematic",
  "r": 2,
  "c": 3,
  "p_columns": [
    0,
    1,
    2
  ],
  "q_rows_shown": [
    3,
    4,
    5
  ],
  "higher_q_rows_retained": "q >= 6",
  "general_hypothesis": "H^q(C)=0 for q<c, R in degrees -r,...,0",
  "general_bound": "p+q-r >= c-r",
  "cells": [
    {
      "p": 0,
      "q": 3,
      "total_degree": 3,
      "shifted_degree": 1
    },
    {
      "p": 1,
      "q": 3,
      "total_degree": 4,
      "shifted_degree": 2
    },
    {
      "p": 2,
      "q": 3,
      "total_degree": 5,
      "shifted_degree": 3
    },
    {
      "p": 0,
      "q": 4,
      "total_degree": 4,
      "shifted_degree": 2
    },
    {
      "p": 1,
      "q": 4,
      "total_degree": 5,
      "shifted_degree": 3
    },
    {
      "p": 2,
      "q": 4,
      "total_degree": 6,
      "shifted_degree": 4
    },
    {
      "p": 0,
      "q": 5,
      "total_degree": 5,
      "shifted_degree": 3
    },
    {
      "p": 1,
      "q": 5,
      "total_degree": 6,
      "shifted_degree": 4
    },
    {
      "p": 2,
      "q": 5,
      "total_degree": 7,
      "shifted_degree": 5
    }
  ],
  "figure_alone_proves_analytic_coefficient_depth": false,
  "I23_proved": false
}