{
  "schema": "ordinary-bott-source-module-finite-checks/v1",
  "exact_isometry": true,
  "exact_selfadjoint_projection": true,
  "exact_compression_samples": 4,
  "exact_representation_products": [
    {
      "c": [
        "1",
        "0"
      ],
      "e": [
        "1",
        "0"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "1",
        "0"
      ],
      "e": [
        "0",
        "1"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "1",
        "0"
      ],
      "e": [
        "1",
        "1"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "1",
        "0"
      ],
      "e": [
        "2",
        "-3"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "0",
        "1"
      ],
      "e": [
        "1",
        "0"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "0",
        "1"
      ],
      "e": [
        "0",
        "1"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "0",
        "1"
      ],
      "e": [
        "1",
        "1"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "0",
        "1"
      ],
      "e": [
        "2",
        "-3"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "1",
        "1"
      ],
      "e": [
        "1",
        "0"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "1",
        "1"
      ],
      "e": [
        "0",
        "1"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "1",
        "1"
      ],
      "e": [
        "1",
        "1"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "1",
        "1"
      ],
      "e": [
        "2",
        "-3"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "2",
        "-3"
      ],
      "e": [
        "1",
        "0"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "2",
        "-3"
      ],
      "e": [
        "0",
        "1"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "2",
        "-3"
      ],
      "e": [
        "1",
        "1"
      ],
      "exact_representation_product": true
    },
    {
      "c": [
        "2",
        "-3"
      ],
      "e": [
        "2",
        "-3"
      ],
      "exact_representation_product": true
    }
  ],
  "positive_effect_diagonals": [
    "9/25",
    "16/25",
    "16/25",
    "9/25"
  ],
  "multiplicative_defect": "(144/625)I2",
  "all_fraction_checks": true,
  "zero_quotient_module_identity_proved": true,
  "parallel_normal_connection_proved": true,
  "nondegenerate_left_B_representation_proved": true,
  "positive_module_may_vanish": true,
  "actual_inverse_operator_proved": false,
  "genuine_groupoid_action_on_fixed_module_proved": false,
  "actual_B_source_inverse_class_identified": false,
  "canvas": [
    2450,
    1580
  ],
  "text_canvas_overflows": []
}