{
  "same_exponent_map_for_both_partners": true,
  "generator_target": 12,
  "generator_calibrator": 12,
  "pc001_names_log11_of_12": true,
  "pc002_series_reproduced_in_the_12_coordinate": true,
  "first_11_in_12_coordinate": {
    "L_E": [
      0,
      0,
      2,
      2,
      2,
      0,
      5,
      6,
      10,
      7,
      0
    ],
    "lambda_E": [
      5,
      9,
      10,
      6,
      6,
      2,
      0,
      8,
      8,
      9,
      10
    ],
    "L_0": [
      9,
      3,
      10,
      3,
      1,
      6,
      9,
      6,
      2,
      0,
      6
    ],
    "lambda_0": [
      4,
      3,
      10,
      9,
      4,
      10,
      2,
      7,
      3,
      8,
      3
    ]
  },
  "generator_change_is_a_coordinate_change": {
    "L_E": {
      "alt_generator": 23,
      "log_gamma_alt_mod_121": 112,
      "composition_identity_to_t120": true,
      "order": 2,
      "order_preserved": true,
      "lead_law": true
    },
    "lambda_E": {
      "alt_generator": 23,
      "log_gamma_alt_mod_121": 112,
      "composition_identity_to_t120": true,
      "order": 0,
      "order_preserved": true,
      "lead_law": true
    },
    "L_0": {
      "alt_generator": 23,
      "log_gamma_alt_mod_121": 112,
      "composition_identity_to_t120": true,
      "order": 0,
      "order_preserved": true,
      "lead_law": true
    },
    "lambda_0": {
      "alt_generator": 23,
      "log_gamma_alt_mod_121": 112,
      "composition_identity_to_t120": true,
      "order": 0,
      "order_preserved": true,
      "lead_law": true
    }
  },
  "formal_coordinate_changes": [
    {
      "u": 4,
      "b2": 10,
      "b3": 1,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 6,
      "b2": 2,
      "b3": 7,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 9,
      "b2": 8,
      "b3": 10,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 8,
      "b2": 4,
      "b3": 1,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 9,
      "b2": 1,
      "b3": 6,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 8,
      "b2": 10,
      "b3": 0,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 9,
      "b2": 5,
      "b3": 3,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 3,
      "b2": 6,
      "b3": 0,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 2,
      "b2": 1,
      "b3": 10,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 2,
      "b2": 7,
      "b3": 10,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 5,
      "b2": 7,
      "b3": 0,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    },
    {
      "u": 5,
      "b2": 8,
      "b3": 7,
      "ok": true,
      "per_series": {
        "L_E": {
          "order": 2,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_E": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "L_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        },
        "lambda_0": {
          "order": 0,
          "order_preserved": true,
          "lead_law": true,
          "next_coefficient_law": true,
          "higher_coefficients_move": true
        }
      }
    }
  ],
  "identity_2_under_coordinate_change": [
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    },
    {
      "B_E2_weight_minus_2": true,
      "r_01_weight_minus_1": true,
      "kappa_E_weight_minus_1": true,
      "rhs_weight_minus_1": true,
      "identity_holds_both_coordinates": true,
      "L_cancels": true
    }
  ],
  "agrees": true
}