{
  "schema": "regular-bott-source-exact-checks/v1",
  "exact_representation_products": [
    {
      "b": [
        "1",
        "0"
      ],
      "d": [
        "1",
        "0"
      ],
      "exact_product": true
    },
    {
      "b": [
        "1",
        "0"
      ],
      "d": [
        "0",
        "1"
      ],
      "exact_product": true
    },
    {
      "b": [
        "1",
        "0"
      ],
      "d": [
        "1",
        "1"
      ],
      "exact_product": true
    },
    {
      "b": [
        "1",
        "0"
      ],
      "d": [
        "2",
        "-3"
      ],
      "exact_product": true
    },
    {
      "b": [
        "0",
        "1"
      ],
      "d": [
        "1",
        "0"
      ],
      "exact_product": true
    },
    {
      "b": [
        "0",
        "1"
      ],
      "d": [
        "0",
        "1"
      ],
      "exact_product": true
    },
    {
      "b": [
        "0",
        "1"
      ],
      "d": [
        "1",
        "1"
      ],
      "exact_product": true
    },
    {
      "b": [
        "0",
        "1"
      ],
      "d": [
        "2",
        "-3"
      ],
      "exact_product": true
    },
    {
      "b": [
        "1",
        "1"
      ],
      "d": [
        "1",
        "0"
      ],
      "exact_product": true
    },
    {
      "b": [
        "1",
        "1"
      ],
      "d": [
        "0",
        "1"
      ],
      "exact_product": true
    },
    {
      "b": [
        "1",
        "1"
      ],
      "d": [
        "1",
        "1"
      ],
      "exact_product": true
    },
    {
      "b": [
        "1",
        "1"
      ],
      "d": [
        "2",
        "-3"
      ],
      "exact_product": true
    },
    {
      "b": [
        "2",
        "-3"
      ],
      "d": [
        "1",
        "0"
      ],
      "exact_product": true
    },
    {
      "b": [
        "2",
        "-3"
      ],
      "d": [
        "0",
        "1"
      ],
      "exact_product": true
    },
    {
      "b": [
        "2",
        "-3"
      ],
      "d": [
        "1",
        "1"
      ],
      "exact_product": true
    },
    {
      "b": [
        "2",
        "-3"
      ],
      "d": [
        "2",
        "-3"
      ],
      "exact_product": true
    }
  ],
  "exact_covariances": [
    {
      "b": [
        "1",
        "0"
      ],
      "covariance": true
    },
    {
      "b": [
        "0",
        "1"
      ],
      "covariance": true
    },
    {
      "b": [
        "1",
        "1"
      ],
      "covariance": true
    },
    {
      "b": [
        "2",
        "-3"
      ],
      "covariance": true
    }
  ],
  "source_section_discrepancy": [
    "-7/25",
    "7/25"
  ],
  "cutoff_vectors": [
    [
      [
        "3/5"
      ],
      [
        "4/5"
      ]
    ],
    [
      [
        "4/5"
      ],
      [
        "3/5"
      ]
    ]
  ],
  "cutoff_projections": [
    [
      [
        "9/25",
        "12/25"
      ],
      [
        "12/25",
        "16/25"
      ]
    ],
    [
      [
        "16/25",
        "12/25"
      ],
      [
        "12/25",
        "9/25"
      ]
    ]
  ],
  "quotient_isometry": [
    [
      "3/5",
      "0"
    ],
    [
      "0",
      "4/5"
    ],
    [
      "4/5",
      "0"
    ],
    [
      "0",
      "3/5"
    ]
  ],
  "quotient_projection": [
    [
      "9/25",
      "0",
      "12/25",
      "0"
    ],
    [
      "0",
      "16/25",
      "0",
      "12/25"
    ],
    [
      "12/25",
      "0",
      "16/25",
      "0"
    ],
    [
      "0",
      "12/25",
      "0",
      "9/25"
    ]
  ],
  "quotient_action": [
    [
      "0",
      "0",
      "0",
      "1"
    ],
    [
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "1",
      "0",
      "0",
      "0"
    ]
  ],
  "exact_unitary_action": true,
  "exact_quotient_covariance": true,
  "genuine_regular_module_action_proved": true,
  "nondegenerate_B_source_action_proved": true,
  "identity_quotient_submodule_proved": true,
  "whole_quotient_identified_with_identity": false,
  "quotient_projection_lift_proved": false,
  "actual_inverse_operator_proved": false,
  "positive_taper_module_may_vanish": true,
  "all_fraction_checks": true,
  "canvas": [
    2450,
    1590
  ],
  "text_canvas_overflows": []
}