{
  "schema": "positive-evaluation-shift-exact-checks/v1",
  "adjacent_rational_tests": [
    {
      "n": 0,
      "v": "0",
      "t": "1",
      "u": "1/2",
      "delta": "1/2",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 0,
      "v": "1/3",
      "t": "1",
      "u": "2/3",
      "delta": "1/2",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 0,
      "v": "2/3",
      "t": "1",
      "u": "5/6",
      "delta": "1/2",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 0,
      "v": "1",
      "t": "1",
      "u": "1",
      "delta": "1/2",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 1,
      "v": "0",
      "t": "1/2",
      "u": "1/3",
      "delta": "1/6",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 1,
      "v": "1/3",
      "t": "2/3",
      "u": "5/9",
      "delta": "1/6",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 1,
      "v": "2/3",
      "t": "5/6",
      "u": "7/9",
      "delta": "1/6",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 1,
      "v": "1",
      "t": "1",
      "u": "1",
      "delta": "1/6",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 2,
      "v": "0",
      "t": "1/3",
      "u": "1/4",
      "delta": "1/12",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 2,
      "v": "1/3",
      "t": "5/9",
      "u": "1/2",
      "delta": "1/12",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 2,
      "v": "2/3",
      "t": "7/9",
      "u": "3/4",
      "delta": "1/12",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 2,
      "v": "1",
      "t": "1",
      "u": "1",
      "delta": "1/12",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 3,
      "v": "0",
      "t": "1/4",
      "u": "1/5",
      "delta": "1/20",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 3,
      "v": "1/3",
      "t": "1/2",
      "u": "7/15",
      "delta": "1/20",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 3,
      "v": "2/3",
      "t": "3/4",
      "u": "11/15",
      "delta": "1/20",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 3,
      "v": "1",
      "t": "1",
      "u": "1",
      "delta": "1/20",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 4,
      "v": "0",
      "t": "1/5",
      "u": "1/6",
      "delta": "1/30",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 4,
      "v": "1/3",
      "t": "7/15",
      "u": "4/9",
      "delta": "1/30",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 4,
      "v": "2/3",
      "t": "11/15",
      "u": "13/18",
      "delta": "1/30",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 4,
      "v": "1",
      "t": "1",
      "u": "1",
      "delta": "1/30",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 5,
      "v": "0",
      "t": "1/6",
      "u": "1/7",
      "delta": "1/42",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 5,
      "v": "1/3",
      "t": "4/9",
      "u": "3/7",
      "delta": "1/42",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 5,
      "v": "2/3",
      "t": "13/18",
      "u": "5/7",
      "delta": "1/42",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    },
    {
      "n": 5,
      "v": "1",
      "t": "1",
      "u": "1",
      "delta": "1/42",
      "exact_involutions": true,
      "exact_source_difference": true,
      "exact_action_bound": true,
      "exact_localized_arrow_bounds": true
    }
  ],
  "finite_boundary_tests": [
    {
      "rows": 2,
      "row_zero_kernel": [
        [
          "1",
          "0"
        ],
        [
          "0",
          "0"
        ]
      ],
      "terminal_cokernel": [
        [
          "0",
          "0"
        ],
        [
          "0",
          "1"
        ]
      ],
      "coefficient_dimension": 2,
      "kernel_dimension": 2,
      "cokernel_dimension": 2,
      "finite_index": 0
    },
    {
      "rows": 3,
      "row_zero_kernel": [
        [
          "1",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0"
        ]
      ],
      "terminal_cokernel": [
        [
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "1"
        ]
      ],
      "coefficient_dimension": 2,
      "kernel_dimension": 2,
      "cokernel_dimension": 2,
      "finite_index": 0
    },
    {
      "rows": 4,
      "row_zero_kernel": [
        [
          "1",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0"
        ]
      ],
      "terminal_cokernel": [
        [
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "1"
        ]
      ],
      "coefficient_dimension": 2,
      "kernel_dimension": 2,
      "cokernel_dimension": 2,
      "finite_index": 0
    },
    {
      "rows": 5,
      "row_zero_kernel": [
        [
          "1",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0"
        ]
      ],
      "terminal_cokernel": [
        [
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "1"
        ]
      ],
      "coefficient_dimension": 2,
      "kernel_dimension": 2,
      "cokernel_dimension": 2,
      "finite_index": 0
    }
  ],
  "graded_commutator_tests": [
    {
      "rows": 2,
      "exact_graded_difference_identity": true,
      "constant_odd_commutator_with_Gamma_zero": true,
      "constant_odd_commutator_without_Gamma_nonzero": true
    },
    {
      "rows": 3,
      "exact_graded_difference_identity": true,
      "constant_odd_commutator_with_Gamma_zero": true,
      "constant_odd_commutator_without_Gamma_nonzero": true
    },
    {
      "rows": 4,
      "exact_graded_difference_identity": true,
      "constant_odd_commutator_with_Gamma_zero": true,
      "constant_odd_commutator_without_Gamma_nonzero": true
    },
    {
      "rows": 5,
      "exact_graded_difference_identity": true,
      "constant_odd_commutator_with_Gamma_zero": true,
      "constant_odd_commutator_without_Gamma_nonzero": true
    }
  ],
  "all_fraction_checks": true,
  "infinite_coefficient_multiplicity_proved_by_lesson": 1,
  "finite_matrix_certifies_infinite_index": false,
  "compact_ideal_action_identified_with_zero": false,
  "E_source_relabelled_B": false,
  "completed_normal_domains_supplied": false,
  "canvas": [
    2450,
    1720
  ],
  "text_canvas_overflows": []
}