{
  "schema": "essential-averaged-inverse-exact-checks/v1",
  "field": "Q(sqrt(2))",
  "initial_phase": [
    [
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1"
    ],
    [
      "0",
      "1",
      "0"
    ]
  ],
  "source_action": [
    [
      "0",
      "1",
      "0"
    ],
    [
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1"
    ]
  ],
  "averaged_phase": [
    [
      "0",
      "0",
      "1/2"
    ],
    [
      "0",
      "0",
      "1/2"
    ],
    [
      "1/2",
      "1/2",
      "0"
    ]
  ],
  "normalized_unitary": [
    [
      "0",
      "0",
      "1/2",
      "1/2+1/4*sqrt(2)",
      "-1/2+1/4*sqrt(2)",
      "0"
    ],
    [
      "0",
      "0",
      "1/2",
      "-1/2+1/4*sqrt(2)",
      "1/2+1/4*sqrt(2)",
      "0"
    ],
    [
      "1/2",
      "1/2",
      "0",
      "0",
      "0",
      "1/2*sqrt(2)"
    ],
    [
      "1/2+1/4*sqrt(2)",
      "-1/2+1/4*sqrt(2)",
      "0",
      "0",
      "0",
      "-1/2"
    ],
    [
      "-1/2+1/4*sqrt(2)",
      "1/2+1/4*sqrt(2)",
      "0",
      "0",
      "0",
      "-1/2"
    ],
    [
      "0",
      "0",
      "1/2*sqrt(2)",
      "-1/2",
      "-1/2",
      "0"
    ]
  ],
  "grading": [
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "-1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "-1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "-1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1"
    ]
  ],
  "source_projection": [
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "regulator": [
    [
      "13/4",
      "1/4",
      "0",
      "0",
      "0",
      "1/4*sqrt(2)"
    ],
    [
      "1/4",
      "13/4",
      "0",
      "0",
      "0",
      "1/4*sqrt(2)"
    ],
    [
      "0",
      "0",
      "7/2",
      "1/4*sqrt(2)",
      "1/4*sqrt(2)",
      "0"
    ],
    [
      "0",
      "0",
      "1/4*sqrt(2)",
      "11/4",
      "-1/4",
      "0"
    ],
    [
      "0",
      "0",
      "1/4*sqrt(2)",
      "-1/4",
      "11/4",
      "0"
    ],
    [
      "1/4*sqrt(2)",
      "1/4*sqrt(2)",
      "0",
      "0",
      "0",
      "5/2"
    ]
  ],
  "inverse_regulator": [
    [
      "16/51",
      "-1/51",
      "0",
      "0",
      "0",
      "-1/34*sqrt(2)"
    ],
    [
      "-1/51",
      "16/51",
      "0",
      "0",
      "0",
      "-1/34*sqrt(2)"
    ],
    [
      "0",
      "0",
      "5/17",
      "-1/34*sqrt(2)",
      "-1/34*sqrt(2)",
      "0"
    ],
    [
      "0",
      "0",
      "-1/34*sqrt(2)",
      "19/51",
      "2/51",
      "0"
    ],
    [
      "0",
      "0",
      "-1/34*sqrt(2)",
      "2/51",
      "19/51",
      "0"
    ],
    [
      "-1/34*sqrt(2)",
      "-1/34*sqrt(2)",
      "0",
      "0",
      "0",
      "7/17"
    ]
  ],
  "full_operator": [
    [
      "0",
      "0",
      "2",
      "3/2+3/4*sqrt(2)",
      "-3/2+3/4*sqrt(2)",
      "0"
    ],
    [
      "0",
      "0",
      "2",
      "-3/2+3/4*sqrt(2)",
      "3/2+3/4*sqrt(2)",
      "0"
    ],
    [
      "2",
      "2",
      "0",
      "0",
      "0",
      "3/2*sqrt(2)"
    ],
    [
      "3/2+3/4*sqrt(2)",
      "-3/2+3/4*sqrt(2)",
      "0",
      "0",
      "0",
      "-1"
    ],
    [
      "-3/2+3/4*sqrt(2)",
      "3/2+3/4*sqrt(2)",
      "0",
      "0",
      "0",
      "-1"
    ],
    [
      "0",
      "0",
      "3/2*sqrt(2)",
      "-1",
      "-1",
      "0"
    ]
  ],
  "removed_reference_block": [
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1/4*sqrt(2)"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1/4*sqrt(2)"
    ],
    [
      "0",
      "0",
      "0",
      "1/4*sqrt(2)",
      "1/4*sqrt(2)",
      "0"
    ],
    [
      "0",
      "0",
      "1/4*sqrt(2)",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1/4*sqrt(2)",
      "0",
      "0",
      "0"
    ],
    [
      "1/4*sqrt(2)",
      "1/4*sqrt(2)",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "removed_operator_block": [
    [
      "0",
      "0",
      "0",
      "3/2+3/4*sqrt(2)",
      "-3/2+3/4*sqrt(2)",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "-3/2+3/4*sqrt(2)",
      "3/2+3/4*sqrt(2)",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "3/2*sqrt(2)"
    ],
    [
      "3/2+3/4*sqrt(2)",
      "-3/2+3/4*sqrt(2)",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "-3/2+3/4*sqrt(2)",
      "3/2+3/4*sqrt(2)",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "3/2*sqrt(2)",
      "0",
      "0",
      "0"
    ]
  ],
  "essential_operator": [
    [
      "0",
      "0",
      "2"
    ],
    [
      "0",
      "0",
      "2"
    ],
    [
      "2",
      "2",
      "0"
    ]
  ],
  "even_kernel": [
    [
      "1"
    ],
    [
      "-1"
    ],
    [
      "0"
    ]
  ],
  "source_products": [
    {
      "left": 0,
      "right": 0,
      "exact_product": true
    },
    {
      "left": 0,
      "right": 1,
      "exact_product": true
    },
    {
      "left": 0,
      "right": 2,
      "exact_product": true
    },
    {
      "left": 0,
      "right": 3,
      "exact_product": true
    },
    {
      "left": 1,
      "right": 0,
      "exact_product": true
    },
    {
      "left": 1,
      "right": 1,
      "exact_product": true
    },
    {
      "left": 1,
      "right": 2,
      "exact_product": true
    },
    {
      "left": 1,
      "right": 3,
      "exact_product": true
    },
    {
      "left": 2,
      "right": 0,
      "exact_product": true
    },
    {
      "left": 2,
      "right": 1,
      "exact_product": true
    },
    {
      "left": 2,
      "right": 2,
      "exact_product": true
    },
    {
      "left": 2,
      "right": 3,
      "exact_product": true
    },
    {
      "left": 3,
      "right": 0,
      "exact_product": true
    },
    {
      "left": 3,
      "right": 1,
      "exact_product": true
    },
    {
      "left": 3,
      "right": 2,
      "exact_product": true
    },
    {
      "left": 3,
      "right": 3,
      "exact_product": true
    }
  ],
  "source_covariances": [
    {
      "sample": 0,
      "exact_covariance": true
    },
    {
      "sample": 1,
      "exact_covariance": true
    },
    {
      "sample": 2,
      "exact_covariance": true
    },
    {
      "sample": 3,
      "exact_covariance": true
    }
  ],
  "exact_average": true,
  "exact_invariance": true,
  "exact_normalization": true,
  "exact_regulator_commutation": true,
  "exact_operator_square": true,
  "exact_essential_compression": true,
  "reference_off_diagonal_norm": "1/2",
  "operator_off_diagonal_norm": "3",
  "essential_source_index": 1,
  "full_source_nondegenerate_after_compression": true,
  "full_closed_arrow_domains_proved_by_lesson": true,
  "even_kernel_action": "-1",
  "ordinary_index_identifies_equivariant_scalar_unit": false,
  "finite_model_supplies_regular_closure": false,
  "normal_derivatives_proved": false,
  "physical_graph_sum_proved": false,
  "all_field_checks": true,
  "canvas": [
    2450,
    1780
  ],
  "text_canvas_overflows": []
}