{
  "proof": "RCD.A--RCD.G",
  "finite_samples_are_general_proof": false,
  "trace_degree_samples": [
    {
      "n": 0,
      "m": 0,
      "q": 0,
      "r": 0,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 0
    },
    {
      "n": 0,
      "m": 1,
      "q": 0,
      "r": -1,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": 1
    },
    {
      "n": 0,
      "m": 2,
      "q": 0,
      "r": -2,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 2
    },
    {
      "n": 0,
      "m": 3,
      "q": 0,
      "r": -3,
      "target_antiholomorphic_degree": 3,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": 3
    },
    {
      "n": 0,
      "m": 4,
      "q": 0,
      "r": -4,
      "target_antiholomorphic_degree": 4,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 4
    },
    {
      "n": 1,
      "m": 0,
      "q": 0,
      "r": 1,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 0,
      "q": 1,
      "r": 1,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 1,
      "q": 0,
      "r": 0,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 1,
      "q": 1,
      "r": 0,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 2,
      "q": 0,
      "r": -1,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 2,
      "q": 1,
      "r": -1,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 3,
      "q": 0,
      "r": -2,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": 2
    },
    {
      "n": 1,
      "m": 3,
      "q": 1,
      "r": -2,
      "target_antiholomorphic_degree": 3,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": 2
    },
    {
      "n": 1,
      "m": 4,
      "q": 0,
      "r": -3,
      "target_antiholomorphic_degree": 3,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": 3
    },
    {
      "n": 1,
      "m": 4,
      "q": 1,
      "r": -3,
      "target_antiholomorphic_degree": 4,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": 3
    },
    {
      "n": 2,
      "m": 0,
      "q": 0,
      "r": 2,
      "target_antiholomorphic_degree": -2,
      "target_type_exists": false,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 0,
      "q": 1,
      "r": 2,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 0,
      "q": 2,
      "r": 2,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 1,
      "q": 0,
      "r": 1,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 1,
      "q": 1,
      "r": 1,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 1,
      "q": 2,
      "r": 1,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 2,
      "q": 0,
      "r": 0,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 2,
      "q": 1,
      "r": 0,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 2,
      "q": 2,
      "r": 0,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 3,
      "q": 0,
      "r": -1,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 3,
      "q": 1,
      "r": -1,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 3,
      "q": 2,
      "r": -1,
      "target_antiholomorphic_degree": 3,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 4,
      "q": 0,
      "r": -2,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 2
    },
    {
      "n": 2,
      "m": 4,
      "q": 1,
      "r": -2,
      "target_antiholomorphic_degree": 3,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 2
    },
    {
      "n": 2,
      "m": 4,
      "q": 2,
      "r": -2,
      "target_antiholomorphic_degree": 4,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 2
    },
    {
      "n": 3,
      "m": 0,
      "q": 0,
      "r": 3,
      "target_antiholomorphic_degree": -3,
      "target_type_exists": false,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 0,
      "q": 1,
      "r": 3,
      "target_antiholomorphic_degree": -2,
      "target_type_exists": false,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 0,
      "q": 2,
      "r": 3,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 0,
      "q": 3,
      "r": 3,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 1,
      "q": 0,
      "r": 2,
      "target_antiholomorphic_degree": -2,
      "target_type_exists": false,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 1,
      "q": 1,
      "r": 2,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 1,
      "q": 2,
      "r": 2,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 1,
      "q": 3,
      "r": 2,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 2,
      "q": 0,
      "r": 1,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 2,
      "q": 1,
      "r": 1,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 2,
      "q": 2,
      "r": 1,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 2,
      "q": 3,
      "r": 1,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 3,
      "q": 0,
      "r": 0,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 3,
      "q": 1,
      "r": 0,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 3,
      "q": 2,
      "r": 0,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 3,
      "q": 3,
      "r": 0,
      "target_antiholomorphic_degree": 3,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": -1,
      "normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 4,
      "q": 0,
      "r": -1,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": 1
    },
    {
      "n": 3,
      "m": 4,
      "q": 1,
      "r": -1,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": 1
    },
    {
      "n": 3,
      "m": 4,
      "q": 2,
      "r": -1,
      "target_antiholomorphic_degree": 3,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": 1
    },
    {
      "n": 3,
      "m": 4,
      "q": 3,
      "r": -1,
      "target_antiholomorphic_degree": 4,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": -1,
      "target_differential_sign": 1,
      "normalization_exponent": 1
    },
    {
      "n": 4,
      "m": 0,
      "q": 0,
      "r": 4,
      "target_antiholomorphic_degree": -4,
      "target_type_exists": false,
      "source_cochain_degree": -4,
      "target_cochain_degree": -4,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -4
    },
    {
      "n": 4,
      "m": 0,
      "q": 1,
      "r": 4,
      "target_antiholomorphic_degree": -3,
      "target_type_exists": false,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -4
    },
    {
      "n": 4,
      "m": 0,
      "q": 2,
      "r": 4,
      "target_antiholomorphic_degree": -2,
      "target_type_exists": false,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -4
    },
    {
      "n": 4,
      "m": 0,
      "q": 3,
      "r": 4,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -4
    },
    {
      "n": 4,
      "m": 0,
      "q": 4,
      "r": 4,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -4
    },
    {
      "n": 4,
      "m": 1,
      "q": 0,
      "r": 3,
      "target_antiholomorphic_degree": -3,
      "target_type_exists": false,
      "source_cochain_degree": -4,
      "target_cochain_degree": -4,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -3
    },
    {
      "n": 4,
      "m": 1,
      "q": 1,
      "r": 3,
      "target_antiholomorphic_degree": -2,
      "target_type_exists": false,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -3
    },
    {
      "n": 4,
      "m": 1,
      "q": 2,
      "r": 3,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -3
    },
    {
      "n": 4,
      "m": 1,
      "q": 3,
      "r": 3,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -3
    },
    {
      "n": 4,
      "m": 1,
      "q": 4,
      "r": 3,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -3
    },
    {
      "n": 4,
      "m": 2,
      "q": 0,
      "r": 2,
      "target_antiholomorphic_degree": -2,
      "target_type_exists": false,
      "source_cochain_degree": -4,
      "target_cochain_degree": -4,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -2
    },
    {
      "n": 4,
      "m": 2,
      "q": 1,
      "r": 2,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -2
    },
    {
      "n": 4,
      "m": 2,
      "q": 2,
      "r": 2,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -2
    },
    {
      "n": 4,
      "m": 2,
      "q": 3,
      "r": 2,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -2
    },
    {
      "n": 4,
      "m": 2,
      "q": 4,
      "r": 2,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": -2
    },
    {
      "n": 4,
      "m": 3,
      "q": 0,
      "r": 1,
      "target_antiholomorphic_degree": -1,
      "target_type_exists": false,
      "source_cochain_degree": -4,
      "target_cochain_degree": -4,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -1
    },
    {
      "n": 4,
      "m": 3,
      "q": 1,
      "r": 1,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -1
    },
    {
      "n": 4,
      "m": 3,
      "q": 2,
      "r": 1,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -1
    },
    {
      "n": 4,
      "m": 3,
      "q": 3,
      "r": 1,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": -1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -1
    },
    {
      "n": 4,
      "m": 3,
      "q": 4,
      "r": 1,
      "target_antiholomorphic_degree": 3,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": -1,
      "source_differential_sign": 1,
      "target_differential_sign": -1,
      "normalization_exponent": -1
    },
    {
      "n": 4,
      "m": 4,
      "q": 0,
      "r": 0,
      "target_antiholomorphic_degree": 0,
      "target_type_exists": true,
      "source_cochain_degree": -4,
      "target_cochain_degree": -4,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 0
    },
    {
      "n": 4,
      "m": 4,
      "q": 1,
      "r": 0,
      "target_antiholomorphic_degree": 1,
      "target_type_exists": true,
      "source_cochain_degree": -3,
      "target_cochain_degree": -3,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 0
    },
    {
      "n": 4,
      "m": 4,
      "q": 2,
      "r": 0,
      "target_antiholomorphic_degree": 2,
      "target_type_exists": true,
      "source_cochain_degree": -2,
      "target_cochain_degree": -2,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 0
    },
    {
      "n": 4,
      "m": 4,
      "q": 3,
      "r": 0,
      "target_antiholomorphic_degree": 3,
      "target_type_exists": true,
      "source_cochain_degree": -1,
      "target_cochain_degree": -1,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 0
    },
    {
      "n": 4,
      "m": 4,
      "q": 4,
      "r": 0,
      "target_antiholomorphic_degree": 4,
      "target_type_exists": true,
      "source_cochain_degree": 0,
      "target_cochain_degree": 0,
      "trace_sign": 1,
      "next_sign": 1,
      "source_differential_sign": 1,
      "target_differential_sign": 1,
      "normalization_exponent": 0
    }
  ],
  "composition_samples": [
    {
      "n": 0,
      "m": 0,
      "l": 0,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 0,
      "m": 0,
      "l": 1,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 0,
      "m": 0,
      "l": 2,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 0,
      "m": 0,
      "l": 3,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 3,
      "direct_normalization_exponent": 3
    },
    {
      "n": 0,
      "m": 1,
      "l": 0,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 0,
      "m": 1,
      "l": 1,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 0,
      "m": 1,
      "l": 2,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 0,
      "m": 1,
      "l": 3,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 3,
      "direct_normalization_exponent": 3
    },
    {
      "n": 0,
      "m": 2,
      "l": 0,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 0,
      "m": 2,
      "l": 1,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 0,
      "m": 2,
      "l": 2,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 0,
      "m": 2,
      "l": 3,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 3,
      "direct_normalization_exponent": 3
    },
    {
      "n": 0,
      "m": 3,
      "l": 0,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 0,
      "m": 3,
      "l": 1,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 0,
      "m": 3,
      "l": 2,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 0,
      "m": 3,
      "l": 3,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 3,
      "direct_normalization_exponent": 3
    },
    {
      "n": 1,
      "m": 0,
      "l": 0,
      "q": 0,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 0,
      "l": 0,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 0,
      "l": 1,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 0,
      "l": 1,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 0,
      "l": 2,
      "q": 0,
      "composed_exponent": 1,
      "direct_exponent": 1,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 0,
      "l": 2,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 0,
      "l": 3,
      "q": 0,
      "composed_exponent": 2,
      "direct_exponent": 2,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 1,
      "m": 0,
      "l": 3,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 1,
      "m": 1,
      "l": 0,
      "q": 0,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 1,
      "l": 0,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 1,
      "l": 1,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 1,
      "l": 1,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 1,
      "l": 2,
      "q": 0,
      "composed_exponent": 1,
      "direct_exponent": 1,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 1,
      "l": 2,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 1,
      "l": 3,
      "q": 0,
      "composed_exponent": 2,
      "direct_exponent": 2,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 1,
      "m": 1,
      "l": 3,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 1,
      "m": 2,
      "l": 0,
      "q": 0,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 2,
      "l": 0,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 2,
      "l": 1,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 2,
      "l": 1,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 2,
      "l": 2,
      "q": 0,
      "composed_exponent": 1,
      "direct_exponent": 1,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 2,
      "l": 2,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 2,
      "l": 3,
      "q": 0,
      "composed_exponent": 2,
      "direct_exponent": 2,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 1,
      "m": 2,
      "l": 3,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 1,
      "m": 3,
      "l": 0,
      "q": 0,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 3,
      "l": 0,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 1,
      "m": 3,
      "l": 1,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 3,
      "l": 1,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 1,
      "m": 3,
      "l": 2,
      "q": 0,
      "composed_exponent": 1,
      "direct_exponent": 1,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 3,
      "l": 2,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 1,
      "m": 3,
      "l": 3,
      "q": 0,
      "composed_exponent": 2,
      "direct_exponent": 2,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 1,
      "m": 3,
      "l": 3,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 2,
      "direct_normalization_exponent": 2
    },
    {
      "n": 2,
      "m": 0,
      "l": 0,
      "q": 0,
      "composed_exponent": -4,
      "direct_exponent": -4,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 0,
      "l": 0,
      "q": 1,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 0,
      "l": 0,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 0,
      "l": 1,
      "q": 0,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 0,
      "l": 1,
      "q": 1,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 0,
      "l": 1,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 0,
      "l": 2,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 0,
      "l": 2,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 0,
      "l": 2,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 0,
      "l": 3,
      "q": 0,
      "composed_exponent": 2,
      "direct_exponent": 2,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 0,
      "l": 3,
      "q": 1,
      "composed_exponent": 1,
      "direct_exponent": 1,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 0,
      "l": 3,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 1,
      "l": 0,
      "q": 0,
      "composed_exponent": -4,
      "direct_exponent": -4,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 1,
      "l": 0,
      "q": 1,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 1,
      "l": 0,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 1,
      "l": 1,
      "q": 0,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 1,
      "l": 1,
      "q": 1,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 1,
      "l": 1,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 1,
      "l": 2,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 1,
      "l": 2,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 1,
      "l": 2,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 1,
      "l": 3,
      "q": 0,
      "composed_exponent": 2,
      "direct_exponent": 2,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 1,
      "l": 3,
      "q": 1,
      "composed_exponent": 1,
      "direct_exponent": 1,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 1,
      "l": 3,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 2,
      "l": 0,
      "q": 0,
      "composed_exponent": -4,
      "direct_exponent": -4,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 2,
      "l": 0,
      "q": 1,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 2,
      "l": 0,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 2,
      "l": 1,
      "q": 0,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 2,
      "l": 1,
      "q": 1,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 2,
      "l": 1,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 2,
      "l": 2,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 2,
      "l": 2,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 2,
      "l": 2,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 2,
      "l": 3,
      "q": 0,
      "composed_exponent": 2,
      "direct_exponent": 2,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 2,
      "l": 3,
      "q": 1,
      "composed_exponent": 1,
      "direct_exponent": 1,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 2,
      "l": 3,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 3,
      "l": 0,
      "q": 0,
      "composed_exponent": -4,
      "direct_exponent": -4,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 3,
      "l": 0,
      "q": 1,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 3,
      "l": 0,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 2,
      "m": 3,
      "l": 1,
      "q": 0,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 3,
      "l": 1,
      "q": 1,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 3,
      "l": 1,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 2,
      "m": 3,
      "l": 2,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 3,
      "l": 2,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 3,
      "l": 2,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 2,
      "m": 3,
      "l": 3,
      "q": 0,
      "composed_exponent": 2,
      "direct_exponent": 2,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 3,
      "l": 3,
      "q": 1,
      "composed_exponent": 1,
      "direct_exponent": 1,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 2,
      "m": 3,
      "l": 3,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 1,
      "direct_normalization_exponent": 1
    },
    {
      "n": 3,
      "m": 0,
      "l": 0,
      "q": 0,
      "composed_exponent": -9,
      "direct_exponent": -9,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 0,
      "l": 0,
      "q": 1,
      "composed_exponent": -6,
      "direct_exponent": -6,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 0,
      "l": 0,
      "q": 2,
      "composed_exponent": -3,
      "direct_exponent": -3,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 0,
      "l": 0,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 0,
      "l": 1,
      "q": 0,
      "composed_exponent": -6,
      "direct_exponent": -6,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 0,
      "l": 1,
      "q": 1,
      "composed_exponent": -4,
      "direct_exponent": -4,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 0,
      "l": 1,
      "q": 2,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 0,
      "l": 1,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 0,
      "l": 2,
      "q": 0,
      "composed_exponent": -3,
      "direct_exponent": -3,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 0,
      "l": 2,
      "q": 1,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 0,
      "l": 2,
      "q": 2,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 0,
      "l": 2,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 0,
      "l": 3,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 0,
      "l": 3,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 0,
      "l": 3,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 0,
      "l": 3,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 1,
      "l": 0,
      "q": 0,
      "composed_exponent": -9,
      "direct_exponent": -9,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 1,
      "l": 0,
      "q": 1,
      "composed_exponent": -6,
      "direct_exponent": -6,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 1,
      "l": 0,
      "q": 2,
      "composed_exponent": -3,
      "direct_exponent": -3,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 1,
      "l": 0,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 1,
      "l": 1,
      "q": 0,
      "composed_exponent": -6,
      "direct_exponent": -6,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 1,
      "l": 1,
      "q": 1,
      "composed_exponent": -4,
      "direct_exponent": -4,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 1,
      "l": 1,
      "q": 2,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 1,
      "l": 1,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 1,
      "l": 2,
      "q": 0,
      "composed_exponent": -3,
      "direct_exponent": -3,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 1,
      "l": 2,
      "q": 1,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 1,
      "l": 2,
      "q": 2,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 1,
      "l": 2,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 1,
      "l": 3,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 1,
      "l": 3,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 1,
      "l": 3,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 1,
      "l": 3,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 2,
      "l": 0,
      "q": 0,
      "composed_exponent": -9,
      "direct_exponent": -9,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 2,
      "l": 0,
      "q": 1,
      "composed_exponent": -6,
      "direct_exponent": -6,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 2,
      "l": 0,
      "q": 2,
      "composed_exponent": -3,
      "direct_exponent": -3,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 2,
      "l": 0,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 2,
      "l": 1,
      "q": 0,
      "composed_exponent": -6,
      "direct_exponent": -6,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 2,
      "l": 1,
      "q": 1,
      "composed_exponent": -4,
      "direct_exponent": -4,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 2,
      "l": 1,
      "q": 2,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 2,
      "l": 1,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 2,
      "l": 2,
      "q": 0,
      "composed_exponent": -3,
      "direct_exponent": -3,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 2,
      "l": 2,
      "q": 1,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 2,
      "l": 2,
      "q": 2,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 2,
      "l": 2,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 2,
      "l": 3,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 2,
      "l": 3,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 2,
      "l": 3,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 2,
      "l": 3,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 3,
      "l": 0,
      "q": 0,
      "composed_exponent": -9,
      "direct_exponent": -9,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 3,
      "l": 0,
      "q": 1,
      "composed_exponent": -6,
      "direct_exponent": -6,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 3,
      "l": 0,
      "q": 2,
      "composed_exponent": -3,
      "direct_exponent": -3,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 3,
      "l": 0,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -3,
      "direct_normalization_exponent": -3
    },
    {
      "n": 3,
      "m": 3,
      "l": 1,
      "q": 0,
      "composed_exponent": -6,
      "direct_exponent": -6,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 3,
      "l": 1,
      "q": 1,
      "composed_exponent": -4,
      "direct_exponent": -4,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 3,
      "l": 1,
      "q": 2,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 3,
      "l": 1,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -2,
      "direct_normalization_exponent": -2
    },
    {
      "n": 3,
      "m": 3,
      "l": 2,
      "q": 0,
      "composed_exponent": -3,
      "direct_exponent": -3,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 3,
      "l": 2,
      "q": 1,
      "composed_exponent": -2,
      "direct_exponent": -2,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 3,
      "l": 2,
      "q": 2,
      "composed_exponent": -1,
      "direct_exponent": -1,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 3,
      "l": 2,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": -1,
      "direct_normalization_exponent": -1
    },
    {
      "n": 3,
      "m": 3,
      "l": 3,
      "q": 0,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 3,
      "l": 3,
      "q": 1,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 3,
      "l": 3,
      "q": 2,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    },
    {
      "n": 3,
      "m": 3,
      "l": 3,
      "q": 3,
      "composed_exponent": 0,
      "direct_exponent": 0,
      "composed_normalization_exponent": 0,
      "direct_normalization_exponent": 0
    }
  ],
  "point_test": "full coordinate Koszul complex; all negative degrees and attaching maps retained",
  "compact_support": "supp(F tensor^L Lf^*k_y) is contained in the compact set S intersect f^{-1}(y)",
  "square_bottom_arrow": "scalar dual of actual finite perfect projection RCD.18",
  "square_commutation": "evaluation sign RCD.20 and normalized compact trace RCD.13",
  "cone_detection": "full finite Koszul duality RCD.25 and finite-module Nakayama RCD.26"
}