{
  "proof": "OT.A--OT.G",
  "finite_samples_are_general_proof": false,
  "full_current_degree_samples": [
    {
      "n": 0,
      "m": 0,
      "p": 0,
      "q": 0,
      "r": 0,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 0,
      "m": 1,
      "p": 0,
      "q": 0,
      "r": -1,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 0,
      "m": 2,
      "p": 0,
      "q": 0,
      "r": -2,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 0,
      "m": 3,
      "p": 0,
      "q": 0,
      "r": -3,
      "target_p": 3,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 0,
      "m": 4,
      "p": 0,
      "q": 0,
      "r": -4,
      "target_p": 4,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 0,
      "p": 0,
      "q": 0,
      "r": 1,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 0,
      "p": 0,
      "q": 1,
      "r": 1,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 0,
      "p": 1,
      "q": 0,
      "r": 1,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 0,
      "p": 1,
      "q": 1,
      "r": 1,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 1,
      "p": 0,
      "q": 0,
      "r": 0,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 1,
      "p": 0,
      "q": 1,
      "r": 0,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 1,
      "p": 1,
      "q": 0,
      "r": 0,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 1,
      "p": 1,
      "q": 1,
      "r": 0,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 2,
      "p": 0,
      "q": 0,
      "r": -1,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 2,
      "p": 0,
      "q": 1,
      "r": -1,
      "target_p": 1,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 2,
      "p": 1,
      "q": 0,
      "r": -1,
      "target_p": 2,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 2,
      "p": 1,
      "q": 1,
      "r": -1,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 3,
      "p": 0,
      "q": 0,
      "r": -2,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 3,
      "p": 0,
      "q": 1,
      "r": -2,
      "target_p": 2,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 3,
      "p": 1,
      "q": 0,
      "r": -2,
      "target_p": 3,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 3,
      "p": 1,
      "q": 1,
      "r": -2,
      "target_p": 3,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 4,
      "p": 0,
      "q": 0,
      "r": -3,
      "target_p": 3,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 4,
      "p": 0,
      "q": 1,
      "r": -3,
      "target_p": 3,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 4,
      "p": 1,
      "q": 0,
      "r": -3,
      "target_p": 4,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 1,
      "m": 4,
      "p": 1,
      "q": 1,
      "r": -3,
      "target_p": 4,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "p": 0,
      "q": 0,
      "r": 2,
      "target_p": -2,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "p": 0,
      "q": 1,
      "r": 2,
      "target_p": -2,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "p": 0,
      "q": 2,
      "r": 2,
      "target_p": -2,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "p": 1,
      "q": 0,
      "r": 2,
      "target_p": -1,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "p": 1,
      "q": 1,
      "r": 2,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "p": 1,
      "q": 2,
      "r": 2,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "p": 2,
      "q": 0,
      "r": 2,
      "target_p": 0,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "p": 2,
      "q": 1,
      "r": 2,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "p": 2,
      "q": 2,
      "r": 2,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "p": 0,
      "q": 0,
      "r": 1,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "p": 0,
      "q": 1,
      "r": 1,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "p": 0,
      "q": 2,
      "r": 1,
      "target_p": -1,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "p": 1,
      "q": 0,
      "r": 1,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "p": 1,
      "q": 1,
      "r": 1,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "p": 1,
      "q": 2,
      "r": 1,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "p": 2,
      "q": 0,
      "r": 1,
      "target_p": 1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "p": 2,
      "q": 1,
      "r": 1,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "p": 2,
      "q": 2,
      "r": 1,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "p": 0,
      "q": 0,
      "r": 0,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "p": 0,
      "q": 1,
      "r": 0,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "p": 0,
      "q": 2,
      "r": 0,
      "target_p": 0,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "p": 1,
      "q": 0,
      "r": 0,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "p": 1,
      "q": 1,
      "r": 0,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "p": 1,
      "q": 2,
      "r": 0,
      "target_p": 1,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "p": 2,
      "q": 0,
      "r": 0,
      "target_p": 2,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "p": 2,
      "q": 1,
      "r": 0,
      "target_p": 2,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "p": 2,
      "q": 2,
      "r": 0,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "p": 0,
      "q": 0,
      "r": -1,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "p": 0,
      "q": 1,
      "r": -1,
      "target_p": 1,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "p": 0,
      "q": 2,
      "r": -1,
      "target_p": 1,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "p": 1,
      "q": 0,
      "r": -1,
      "target_p": 2,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "p": 1,
      "q": 1,
      "r": -1,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "p": 1,
      "q": 2,
      "r": -1,
      "target_p": 2,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "p": 2,
      "q": 0,
      "r": -1,
      "target_p": 3,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "p": 2,
      "q": 1,
      "r": -1,
      "target_p": 3,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "p": 2,
      "q": 2,
      "r": -1,
      "target_p": 3,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "p": 0,
      "q": 0,
      "r": -2,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "p": 0,
      "q": 1,
      "r": -2,
      "target_p": 2,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "p": 0,
      "q": 2,
      "r": -2,
      "target_p": 2,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "p": 1,
      "q": 0,
      "r": -2,
      "target_p": 3,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "p": 1,
      "q": 1,
      "r": -2,
      "target_p": 3,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "p": 1,
      "q": 2,
      "r": -2,
      "target_p": 3,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "p": 2,
      "q": 0,
      "r": -2,
      "target_p": 4,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "p": 2,
      "q": 1,
      "r": -2,
      "target_p": 4,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "p": 2,
      "q": 2,
      "r": -2,
      "target_p": 4,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 0,
      "q": 0,
      "r": 3,
      "target_p": -3,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 0,
      "q": 1,
      "r": 3,
      "target_p": -3,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 0,
      "q": 2,
      "r": 3,
      "target_p": -3,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 0,
      "q": 3,
      "r": 3,
      "target_p": -3,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 1,
      "q": 0,
      "r": 3,
      "target_p": -2,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 1,
      "q": 1,
      "r": 3,
      "target_p": -2,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 1,
      "q": 2,
      "r": 3,
      "target_p": -2,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 1,
      "q": 3,
      "r": 3,
      "target_p": -2,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 2,
      "q": 0,
      "r": 3,
      "target_p": -1,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 2,
      "q": 1,
      "r": 3,
      "target_p": -1,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 2,
      "q": 2,
      "r": 3,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 2,
      "q": 3,
      "r": 3,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 3,
      "q": 0,
      "r": 3,
      "target_p": 0,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 3,
      "q": 1,
      "r": 3,
      "target_p": 0,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 3,
      "q": 2,
      "r": 3,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "p": 3,
      "q": 3,
      "r": 3,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 0,
      "q": 0,
      "r": 2,
      "target_p": -2,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 0,
      "q": 1,
      "r": 2,
      "target_p": -2,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 0,
      "q": 2,
      "r": 2,
      "target_p": -2,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 0,
      "q": 3,
      "r": 2,
      "target_p": -2,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 1,
      "q": 0,
      "r": 2,
      "target_p": -1,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 1,
      "q": 1,
      "r": 2,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 1,
      "q": 2,
      "r": 2,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 1,
      "q": 3,
      "r": 2,
      "target_p": -1,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 2,
      "q": 0,
      "r": 2,
      "target_p": 0,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 2,
      "q": 1,
      "r": 2,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 2,
      "q": 2,
      "r": 2,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 2,
      "q": 3,
      "r": 2,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 3,
      "q": 0,
      "r": 2,
      "target_p": 1,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 3,
      "q": 1,
      "r": 2,
      "target_p": 1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 3,
      "q": 2,
      "r": 2,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "p": 3,
      "q": 3,
      "r": 2,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 0,
      "q": 0,
      "r": 1,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 0,
      "q": 1,
      "r": 1,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 0,
      "q": 2,
      "r": 1,
      "target_p": -1,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 0,
      "q": 3,
      "r": 1,
      "target_p": -1,
      "target_q": 2,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 1,
      "q": 0,
      "r": 1,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 1,
      "q": 1,
      "r": 1,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 1,
      "q": 2,
      "r": 1,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 1,
      "q": 3,
      "r": 1,
      "target_p": 0,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 2,
      "q": 0,
      "r": 1,
      "target_p": 1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 2,
      "q": 1,
      "r": 1,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 2,
      "q": 2,
      "r": 1,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 2,
      "q": 3,
      "r": 1,
      "target_p": 1,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 3,
      "q": 0,
      "r": 1,
      "target_p": 2,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 3,
      "q": 1,
      "r": 1,
      "target_p": 2,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 3,
      "q": 2,
      "r": 1,
      "target_p": 2,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "p": 3,
      "q": 3,
      "r": 1,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 0,
      "q": 0,
      "r": 0,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 0,
      "q": 1,
      "r": 0,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 0,
      "q": 2,
      "r": 0,
      "target_p": 0,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 0,
      "q": 3,
      "r": 0,
      "target_p": 0,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 1,
      "q": 0,
      "r": 0,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 1,
      "q": 1,
      "r": 0,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 1,
      "q": 2,
      "r": 0,
      "target_p": 1,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 1,
      "q": 3,
      "r": 0,
      "target_p": 1,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 2,
      "q": 0,
      "r": 0,
      "target_p": 2,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 2,
      "q": 1,
      "r": 0,
      "target_p": 2,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 2,
      "q": 2,
      "r": 0,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 2,
      "q": 3,
      "r": 0,
      "target_p": 2,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 3,
      "q": 0,
      "r": 0,
      "target_p": 3,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 3,
      "q": 1,
      "r": 0,
      "target_p": 3,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 3,
      "q": 2,
      "r": 0,
      "target_p": 3,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "p": 3,
      "q": 3,
      "r": 0,
      "target_p": 3,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 0,
      "q": 0,
      "r": -1,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 0,
      "q": 1,
      "r": -1,
      "target_p": 1,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 0,
      "q": 2,
      "r": -1,
      "target_p": 1,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 0,
      "q": 3,
      "r": -1,
      "target_p": 1,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 1,
      "q": 0,
      "r": -1,
      "target_p": 2,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 1,
      "q": 1,
      "r": -1,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 1,
      "q": 2,
      "r": -1,
      "target_p": 2,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 1,
      "q": 3,
      "r": -1,
      "target_p": 2,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 2,
      "q": 0,
      "r": -1,
      "target_p": 3,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 2,
      "q": 1,
      "r": -1,
      "target_p": 3,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 2,
      "q": 2,
      "r": -1,
      "target_p": 3,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 2,
      "q": 3,
      "r": -1,
      "target_p": 3,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 3,
      "q": 0,
      "r": -1,
      "target_p": 4,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 3,
      "q": 1,
      "r": -1,
      "target_p": 4,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 3,
      "q": 2,
      "r": -1,
      "target_p": 4,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "p": 3,
      "q": 3,
      "r": -1,
      "target_p": 4,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 0,
      "q": 0,
      "r": 4,
      "target_p": -4,
      "target_q": -4,
      "target_type_exists": false,
      "source_degree": -8,
      "target_degree": -8,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 0,
      "q": 1,
      "r": 4,
      "target_p": -4,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 0,
      "q": 2,
      "r": 4,
      "target_p": -4,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 0,
      "q": 3,
      "r": 4,
      "target_p": -4,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 0,
      "q": 4,
      "r": 4,
      "target_p": -4,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 1,
      "q": 0,
      "r": 4,
      "target_p": -3,
      "target_q": -4,
      "target_type_exists": false,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 1,
      "q": 1,
      "r": 4,
      "target_p": -3,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 1,
      "q": 2,
      "r": 4,
      "target_p": -3,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 1,
      "q": 3,
      "r": 4,
      "target_p": -3,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 1,
      "q": 4,
      "r": 4,
      "target_p": -3,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 2,
      "q": 0,
      "r": 4,
      "target_p": -2,
      "target_q": -4,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 2,
      "q": 1,
      "r": 4,
      "target_p": -2,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 2,
      "q": 2,
      "r": 4,
      "target_p": -2,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 2,
      "q": 3,
      "r": 4,
      "target_p": -2,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 2,
      "q": 4,
      "r": 4,
      "target_p": -2,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 3,
      "q": 0,
      "r": 4,
      "target_p": -1,
      "target_q": -4,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 3,
      "q": 1,
      "r": 4,
      "target_p": -1,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 3,
      "q": 2,
      "r": 4,
      "target_p": -1,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 3,
      "q": 3,
      "r": 4,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 3,
      "q": 4,
      "r": 4,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 4,
      "q": 0,
      "r": 4,
      "target_p": 0,
      "target_q": -4,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 4,
      "q": 1,
      "r": 4,
      "target_p": 0,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 4,
      "q": 2,
      "r": 4,
      "target_p": 0,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 4,
      "q": 3,
      "r": 4,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "p": 4,
      "q": 4,
      "r": 4,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -4,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 0,
      "q": 0,
      "r": 3,
      "target_p": -3,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -8,
      "target_degree": -8,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 0,
      "q": 1,
      "r": 3,
      "target_p": -3,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 0,
      "q": 2,
      "r": 3,
      "target_p": -3,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 0,
      "q": 3,
      "r": 3,
      "target_p": -3,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 0,
      "q": 4,
      "r": 3,
      "target_p": -3,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 1,
      "q": 0,
      "r": 3,
      "target_p": -2,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 1,
      "q": 1,
      "r": 3,
      "target_p": -2,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 1,
      "q": 2,
      "r": 3,
      "target_p": -2,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 1,
      "q": 3,
      "r": 3,
      "target_p": -2,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 1,
      "q": 4,
      "r": 3,
      "target_p": -2,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 2,
      "q": 0,
      "r": 3,
      "target_p": -1,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 2,
      "q": 1,
      "r": 3,
      "target_p": -1,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 2,
      "q": 2,
      "r": 3,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 2,
      "q": 3,
      "r": 3,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 2,
      "q": 4,
      "r": 3,
      "target_p": -1,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 3,
      "q": 0,
      "r": 3,
      "target_p": 0,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 3,
      "q": 1,
      "r": 3,
      "target_p": 0,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 3,
      "q": 2,
      "r": 3,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 3,
      "q": 3,
      "r": 3,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 3,
      "q": 4,
      "r": 3,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 4,
      "q": 0,
      "r": 3,
      "target_p": 1,
      "target_q": -3,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 4,
      "q": 1,
      "r": 3,
      "target_p": 1,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 4,
      "q": 2,
      "r": 3,
      "target_p": 1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 4,
      "q": 3,
      "r": 3,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "p": 4,
      "q": 4,
      "r": 3,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -3,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 0,
      "q": 0,
      "r": 2,
      "target_p": -2,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -8,
      "target_degree": -8,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 0,
      "q": 1,
      "r": 2,
      "target_p": -2,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 0,
      "q": 2,
      "r": 2,
      "target_p": -2,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 0,
      "q": 3,
      "r": 2,
      "target_p": -2,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 0,
      "q": 4,
      "r": 2,
      "target_p": -2,
      "target_q": 2,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 1,
      "q": 0,
      "r": 2,
      "target_p": -1,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 1,
      "q": 1,
      "r": 2,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 1,
      "q": 2,
      "r": 2,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 1,
      "q": 3,
      "r": 2,
      "target_p": -1,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 1,
      "q": 4,
      "r": 2,
      "target_p": -1,
      "target_q": 2,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 2,
      "q": 0,
      "r": 2,
      "target_p": 0,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 2,
      "q": 1,
      "r": 2,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 2,
      "q": 2,
      "r": 2,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 2,
      "q": 3,
      "r": 2,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 2,
      "q": 4,
      "r": 2,
      "target_p": 0,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 3,
      "q": 0,
      "r": 2,
      "target_p": 1,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 3,
      "q": 1,
      "r": 2,
      "target_p": 1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 3,
      "q": 2,
      "r": 2,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 3,
      "q": 3,
      "r": 2,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 3,
      "q": 4,
      "r": 2,
      "target_p": 1,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 4,
      "q": 0,
      "r": 2,
      "target_p": 2,
      "target_q": -2,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 4,
      "q": 1,
      "r": 2,
      "target_p": 2,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 4,
      "q": 2,
      "r": 2,
      "target_p": 2,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 4,
      "q": 3,
      "r": 2,
      "target_p": 2,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "p": 4,
      "q": 4,
      "r": 2,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -2,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 0,
      "q": 0,
      "r": 1,
      "target_p": -1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -8,
      "target_degree": -8,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 0,
      "q": 1,
      "r": 1,
      "target_p": -1,
      "target_q": 0,
      "target_type_exists": false,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 0,
      "q": 2,
      "r": 1,
      "target_p": -1,
      "target_q": 1,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 0,
      "q": 3,
      "r": 1,
      "target_p": -1,
      "target_q": 2,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 0,
      "q": 4,
      "r": 1,
      "target_p": -1,
      "target_q": 3,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 1,
      "q": 0,
      "r": 1,
      "target_p": 0,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 1,
      "q": 1,
      "r": 1,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 1,
      "q": 2,
      "r": 1,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 1,
      "q": 3,
      "r": 1,
      "target_p": 0,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 1,
      "q": 4,
      "r": 1,
      "target_p": 0,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 2,
      "q": 0,
      "r": 1,
      "target_p": 1,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 2,
      "q": 1,
      "r": 1,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 2,
      "q": 2,
      "r": 1,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 2,
      "q": 3,
      "r": 1,
      "target_p": 1,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 2,
      "q": 4,
      "r": 1,
      "target_p": 1,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 3,
      "q": 0,
      "r": 1,
      "target_p": 2,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 3,
      "q": 1,
      "r": 1,
      "target_p": 2,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 3,
      "q": 2,
      "r": 1,
      "target_p": 2,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 3,
      "q": 3,
      "r": 1,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 3,
      "q": 4,
      "r": 1,
      "target_p": 2,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 4,
      "q": 0,
      "r": 1,
      "target_p": 3,
      "target_q": -1,
      "target_type_exists": false,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 4,
      "q": 1,
      "r": 1,
      "target_p": 3,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 4,
      "q": 2,
      "r": 1,
      "target_p": 3,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 4,
      "q": 3,
      "r": 1,
      "target_p": 3,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "p": 4,
      "q": 4,
      "r": 1,
      "target_p": 3,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": -1,
      "raw_dimension_sign": -1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 0,
      "q": 0,
      "r": 0,
      "target_p": 0,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -8,
      "target_degree": -8,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 0,
      "q": 1,
      "r": 0,
      "target_p": 0,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 0,
      "q": 2,
      "r": 0,
      "target_p": 0,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 0,
      "q": 3,
      "r": 0,
      "target_p": 0,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 0,
      "q": 4,
      "r": 0,
      "target_p": 0,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 1,
      "q": 0,
      "r": 0,
      "target_p": 1,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -7,
      "target_degree": -7,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 1,
      "q": 1,
      "r": 0,
      "target_p": 1,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 1,
      "q": 2,
      "r": 0,
      "target_p": 1,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 1,
      "q": 3,
      "r": 0,
      "target_p": 1,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 1,
      "q": 4,
      "r": 0,
      "target_p": 1,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 2,
      "q": 0,
      "r": 0,
      "target_p": 2,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -6,
      "target_degree": -6,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 2,
      "q": 1,
      "r": 0,
      "target_p": 2,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 2,
      "q": 2,
      "r": 0,
      "target_p": 2,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 2,
      "q": 3,
      "r": 0,
      "target_p": 2,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 2,
      "q": 4,
      "r": 0,
      "target_p": 2,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 3,
      "q": 0,
      "r": 0,
      "target_p": 3,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -5,
      "target_degree": -5,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 3,
      "q": 1,
      "r": 0,
      "target_p": 3,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 3,
      "q": 2,
      "r": 0,
      "target_p": 3,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 3,
      "q": 3,
      "r": 0,
      "target_p": 3,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 3,
      "q": 4,
      "r": 0,
      "target_p": 3,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 4,
      "q": 0,
      "r": 0,
      "target_p": 4,
      "target_q": 0,
      "target_type_exists": true,
      "source_degree": -4,
      "target_degree": -4,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 4,
      "q": 1,
      "r": 0,
      "target_p": 4,
      "target_q": 1,
      "target_type_exists": true,
      "source_degree": -3,
      "target_degree": -3,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 4,
      "q": 2,
      "r": 0,
      "target_p": 4,
      "target_q": 2,
      "target_type_exists": true,
      "source_degree": -2,
      "target_degree": -2,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 4,
      "q": 3,
      "r": 0,
      "target_p": 4,
      "target_q": 3,
      "target_type_exists": true,
      "source_degree": -1,
      "target_degree": -1,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "p": 4,
      "q": 4,
      "r": 0,
      "target_p": 4,
      "target_q": 4,
      "target_type_exists": true,
      "source_degree": 0,
      "target_degree": 0,
      "normalization_exponent": 0,
      "raw_dimension_sign": 1,
      "source_shift_sign": 1,
      "target_shift_sign": 1
    }
  ],
  "finite_tail_samples": [
    {
      "n": 0,
      "m": 0,
      "s": 2,
      "comparison_interval": [
        0,
        0
      ],
      "source_first_triangle_term_lower": 3,
      "target_first_triangle_term_lower": 3,
      "largest_needed_adjacent_degree": 1,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 0,
      "m": 1,
      "s": 3,
      "comparison_interval": [
        -1,
        0
      ],
      "source_first_triangle_term_lower": 4,
      "target_first_triangle_term_lower": 3,
      "largest_needed_adjacent_degree": 1,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 0,
      "m": 2,
      "s": 4,
      "comparison_interval": [
        -2,
        0
      ],
      "source_first_triangle_term_lower": 5,
      "target_first_triangle_term_lower": 3,
      "largest_needed_adjacent_degree": 1,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 0,
      "m": 3,
      "s": 5,
      "comparison_interval": [
        -3,
        0
      ],
      "source_first_triangle_term_lower": 6,
      "target_first_triangle_term_lower": 3,
      "largest_needed_adjacent_degree": 1,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 0,
      "m": 4,
      "s": 6,
      "comparison_interval": [
        -4,
        0
      ],
      "source_first_triangle_term_lower": 7,
      "target_first_triangle_term_lower": 3,
      "largest_needed_adjacent_degree": 1,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 1,
      "m": 0,
      "s": 6,
      "comparison_interval": [
        -2,
        2
      ],
      "source_first_triangle_term_lower": 5,
      "target_first_triangle_term_lower": 5,
      "largest_needed_adjacent_degree": 3,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 1,
      "m": 1,
      "s": 7,
      "comparison_interval": [
        -3,
        2
      ],
      "source_first_triangle_term_lower": 6,
      "target_first_triangle_term_lower": 5,
      "largest_needed_adjacent_degree": 3,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 1,
      "m": 2,
      "s": 8,
      "comparison_interval": [
        -4,
        2
      ],
      "source_first_triangle_term_lower": 7,
      "target_first_triangle_term_lower": 5,
      "largest_needed_adjacent_degree": 3,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 1,
      "m": 3,
      "s": 9,
      "comparison_interval": [
        -5,
        2
      ],
      "source_first_triangle_term_lower": 8,
      "target_first_triangle_term_lower": 5,
      "largest_needed_adjacent_degree": 3,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 1,
      "m": 4,
      "s": 10,
      "comparison_interval": [
        -6,
        2
      ],
      "source_first_triangle_term_lower": 9,
      "target_first_triangle_term_lower": 5,
      "largest_needed_adjacent_degree": 3,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 2,
      "m": 0,
      "s": 10,
      "comparison_interval": [
        -4,
        4
      ],
      "source_first_triangle_term_lower": 7,
      "target_first_triangle_term_lower": 7,
      "largest_needed_adjacent_degree": 5,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 2,
      "m": 1,
      "s": 11,
      "comparison_interval": [
        -5,
        4
      ],
      "source_first_triangle_term_lower": 8,
      "target_first_triangle_term_lower": 7,
      "largest_needed_adjacent_degree": 5,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 2,
      "m": 2,
      "s": 12,
      "comparison_interval": [
        -6,
        4
      ],
      "source_first_triangle_term_lower": 9,
      "target_first_triangle_term_lower": 7,
      "largest_needed_adjacent_degree": 5,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 2,
      "m": 3,
      "s": 13,
      "comparison_interval": [
        -7,
        4
      ],
      "source_first_triangle_term_lower": 10,
      "target_first_triangle_term_lower": 7,
      "largest_needed_adjacent_degree": 5,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 2,
      "m": 4,
      "s": 14,
      "comparison_interval": [
        -8,
        4
      ],
      "source_first_triangle_term_lower": 11,
      "target_first_triangle_term_lower": 7,
      "largest_needed_adjacent_degree": 5,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 3,
      "m": 0,
      "s": 14,
      "comparison_interval": [
        -6,
        6
      ],
      "source_first_triangle_term_lower": 9,
      "target_first_triangle_term_lower": 9,
      "largest_needed_adjacent_degree": 7,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 3,
      "m": 1,
      "s": 15,
      "comparison_interval": [
        -7,
        6
      ],
      "source_first_triangle_term_lower": 10,
      "target_first_triangle_term_lower": 9,
      "largest_needed_adjacent_degree": 7,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 3,
      "m": 2,
      "s": 16,
      "comparison_interval": [
        -8,
        6
      ],
      "source_first_triangle_term_lower": 11,
      "target_first_triangle_term_lower": 9,
      "largest_needed_adjacent_degree": 7,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 3,
      "m": 3,
      "s": 17,
      "comparison_interval": [
        -9,
        6
      ],
      "source_first_triangle_term_lower": 12,
      "target_first_triangle_term_lower": 9,
      "largest_needed_adjacent_degree": 7,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 3,
      "m": 4,
      "s": 18,
      "comparison_interval": [
        -10,
        6
      ],
      "source_first_triangle_term_lower": 13,
      "target_first_triangle_term_lower": 9,
      "largest_needed_adjacent_degree": 7,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 4,
      "m": 0,
      "s": 18,
      "comparison_interval": [
        -8,
        8
      ],
      "source_first_triangle_term_lower": 11,
      "target_first_triangle_term_lower": 11,
      "largest_needed_adjacent_degree": 9,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 4,
      "m": 1,
      "s": 19,
      "comparison_interval": [
        -9,
        8
      ],
      "source_first_triangle_term_lower": 12,
      "target_first_triangle_term_lower": 11,
      "largest_needed_adjacent_degree": 9,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 4,
      "m": 2,
      "s": 20,
      "comparison_interval": [
        -10,
        8
      ],
      "source_first_triangle_term_lower": 13,
      "target_first_triangle_term_lower": 11,
      "largest_needed_adjacent_degree": 9,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 4,
      "m": 3,
      "s": 21,
      "comparison_interval": [
        -11,
        8
      ],
      "source_first_triangle_term_lower": 14,
      "target_first_triangle_term_lower": 11,
      "largest_needed_adjacent_degree": 9,
      "induced_invertibility_is_an_additional_premise": true
    },
    {
      "n": 4,
      "m": 4,
      "s": 22,
      "comparison_interval": [
        -12,
        8
      ],
      "source_first_triangle_term_lower": 15,
      "target_first_triangle_term_lower": 11,
      "largest_needed_adjacent_degree": 9,
      "induced_invertibility_is_an_additional_premise": true
    }
  ],
  "finite_coherent_edge_calibrations": [
    {
      "n": 0,
      "m": 0,
      "q": 0,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 0,
      "m": 1,
      "q": 0,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 0,
      "m": 2,
      "q": 0,
      "r": -2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 0,
      "m": 3,
      "q": 0,
      "r": -3,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 0,
      "m": 4,
      "q": 0,
      "r": -4,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 1,
      "m": 0,
      "q": 0,
      "r": 1,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 1,
      "m": 0,
      "q": 1,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 1,
      "m": 1,
      "q": 0,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 1,
      "m": 1,
      "q": 1,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 1,
      "m": 2,
      "q": 0,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 1,
      "m": 2,
      "q": 1,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 1,
      "m": 3,
      "q": 0,
      "r": -2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 1,
      "m": 3,
      "q": 1,
      "r": -2,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 1,
      "m": 4,
      "q": 0,
      "r": -3,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 1,
      "m": 4,
      "q": 1,
      "r": -3,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "q": 0,
      "r": 2,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "q": 1,
      "r": 2,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 0,
      "q": 2,
      "r": 2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "q": 0,
      "r": 1,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 1,
      "q": 1,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 2,
      "m": 1,
      "q": 2,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "q": 0,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "q": 1,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 2,
      "q": 2,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "q": 0,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 3,
      "q": 1,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 2,
      "m": 3,
      "q": 2,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "q": 0,
      "r": -2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "q": 1,
      "r": -2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 2,
      "m": 4,
      "q": 2,
      "r": -2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "q": 0,
      "r": 3,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 3,
      "m": 0,
      "q": 1,
      "r": 3,
      "target_type_exists": false,
      "source_edge_sign": -1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 0,
      "q": 2,
      "r": 3,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 3,
      "m": 0,
      "q": 3,
      "r": 3,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "q": 0,
      "r": 2,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "q": 1,
      "r": 2,
      "target_type_exists": false,
      "source_edge_sign": -1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "q": 2,
      "r": 2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 1,
      "q": 3,
      "r": 2,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "q": 0,
      "r": 1,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 3,
      "m": 2,
      "q": 1,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 2,
      "q": 2,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 3,
      "m": 2,
      "q": 3,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "q": 0,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "q": 1,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "q": 2,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 3,
      "q": 3,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "q": 0,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 3,
      "m": 4,
      "q": 1,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 3,
      "m": 4,
      "q": 2,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 3,
      "m": 4,
      "q": 3,
      "r": -1,
      "target_type_exists": true,
      "source_edge_sign": -1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "q": 0,
      "r": 4,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "q": 1,
      "r": 4,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "q": 2,
      "r": 4,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "q": 3,
      "r": 4,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 0,
      "q": 4,
      "r": 4,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "q": 0,
      "r": 3,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "q": 1,
      "r": 3,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 4,
      "m": 1,
      "q": 2,
      "r": 3,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 1,
      "q": 3,
      "r": 3,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 4,
      "m": 1,
      "q": 4,
      "r": 3,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "q": 0,
      "r": 2,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "q": 1,
      "r": 2,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "q": 2,
      "r": 2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "q": 3,
      "r": 2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 2,
      "q": 4,
      "r": 2,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "q": 0,
      "r": 1,
      "target_type_exists": false,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "q": 1,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 4,
      "m": 3,
      "q": 2,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 3,
      "q": 3,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": -1,
      "composite_sign": -1,
      "coherent_RCD_sign": -1
    },
    {
      "n": 4,
      "m": 3,
      "q": 4,
      "r": 1,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": -1,
      "raw_dimension_sign": -1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "q": 0,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "q": 1,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "q": 2,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "q": 3,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    },
    {
      "n": 4,
      "m": 4,
      "q": 4,
      "r": 0,
      "target_type_exists": true,
      "source_edge_sign": 1,
      "target_augmentation_sign": 1,
      "raw_dimension_sign": 1,
      "composite_sign": 1,
      "coherent_RCD_sign": 1
    }
  ],
  "finite_transpose_involution_samples": [
    {
      "operator": {
        "0": "1"
      },
      "transpose_dx": {
        "0": "1"
      },
      "transpose_exp_x_dx": {
        "0": "1"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "1": "1"
      },
      "transpose_dx": {
        "1": "-1"
      },
      "transpose_exp_x_dx": {
        "0": "-1",
        "1": "-1"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "2": "1"
      },
      "transpose_dx": {
        "2": "1"
      },
      "transpose_exp_x_dx": {
        "0": "1",
        "1": "2",
        "2": "1"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "3": "1"
      },
      "transpose_dx": {
        "3": "-1"
      },
      "transpose_exp_x_dx": {
        "0": "-1",
        "1": "-3",
        "2": "-3",
        "3": "-1"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "0": "x"
      },
      "transpose_dx": {
        "0": "x"
      },
      "transpose_exp_x_dx": {
        "0": "x"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "1": "x"
      },
      "transpose_dx": {
        "0": "-1",
        "1": "-x"
      },
      "transpose_exp_x_dx": {
        "0": "-x - 1",
        "1": "-x"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "2": "x"
      },
      "transpose_dx": {
        "1": "2",
        "2": "x"
      },
      "transpose_exp_x_dx": {
        "0": "x + 2",
        "1": "2*x + 2",
        "2": "x"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "3": "x"
      },
      "transpose_dx": {
        "2": "-3",
        "3": "-x"
      },
      "transpose_exp_x_dx": {
        "0": "-x - 3",
        "1": "-3*x - 6",
        "2": "-3*x - 3",
        "3": "-x"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "0": "x**2"
      },
      "transpose_dx": {
        "0": "x**2"
      },
      "transpose_exp_x_dx": {
        "0": "x**2"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "1": "x**2"
      },
      "transpose_dx": {
        "0": "-2*x",
        "1": "-x**2"
      },
      "transpose_exp_x_dx": {
        "0": "-x**2 - 2*x",
        "1": "-x**2"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "2": "x**2"
      },
      "transpose_dx": {
        "0": "2",
        "1": "4*x",
        "2": "x**2"
      },
      "transpose_exp_x_dx": {
        "0": "x**2 + 4*x + 2",
        "1": "2*x**2 + 4*x",
        "2": "x**2"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "3": "x**2"
      },
      "transpose_dx": {
        "1": "-6",
        "2": "-6*x",
        "3": "-x**2"
      },
      "transpose_exp_x_dx": {
        "0": "-x**2 - 6*x - 6",
        "1": "-3*x**2 - 12*x - 6",
        "2": "-3*x**2 - 6*x",
        "3": "-x**2"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "0": "x**3"
      },
      "transpose_dx": {
        "0": "x**3"
      },
      "transpose_exp_x_dx": {
        "0": "x**3"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "1": "x**3"
      },
      "transpose_dx": {
        "0": "-3*x**2",
        "1": "-x**3"
      },
      "transpose_exp_x_dx": {
        "0": "-x**3 - 3*x**2",
        "1": "-x**3"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "2": "x**3"
      },
      "transpose_dx": {
        "0": "6*x",
        "1": "6*x**2",
        "2": "x**3"
      },
      "transpose_exp_x_dx": {
        "0": "x**3 + 6*x**2 + 6*x",
        "1": "2*x**3 + 6*x**2",
        "2": "x**3"
      },
      "both_double_transposes_equal_original": true
    },
    {
      "operator": {
        "3": "x**3"
      },
      "transpose_dx": {
        "0": "-6",
        "1": "-18*x",
        "2": "-9*x**2",
        "3": "-x**3"
      },
      "transpose_exp_x_dx": {
        "0": "-x**3 - 9*x**2 - 18*x - 6",
        "1": "-3*x**3 - 18*x**2 - 18*x",
        "2": "-3*x**3 - 9*x**2",
        "3": "-x**3"
      },
      "both_double_transposes_equal_original": true
    }
  ],
  "finite_transpose_product_samples": [
    {
      "first": 0,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 0,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 1,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 2,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 3,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 4,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 5,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 6,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 7,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 8,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 9,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 10,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 11,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 12,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 13,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 14,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 0,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 1,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 2,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 3,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 4,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 5,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 6,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 7,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 8,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 9,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 10,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 11,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 12,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 13,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 14,
      "transpose_of_product_equals_reversed_transpose_product": true
    },
    {
      "first": 15,
      "second": 15,
      "transpose_of_product_equals_reversed_transpose_product": true
    }
  ],
  "tail_figure_example": {
    "n": 2,
    "m": 1,
    "s": 11,
    "comparison_interval": [
      -5,
      4
    ],
    "source_first_triangle_term_lower": 8,
    "target_first_triangle_term_lower": 7,
    "largest_needed_adjacent_degree": 5,
    "induced_invertibility_is_an_additional_premise": true
  },
  "kernel_before_flip": {
    "T1": "regular action1",
    "T2": "density adjoint action2"
  },
  "kernel_after_flip": {
    "T2": "input regular action1",
    "T1": "output density adjoint action2"
  },
  "duality_invertibility_hypothesis": "the comparison is invertible on every induced coherent coefficient",
  "induced_coefficient_invertibility_is_still_required": true
}