{
  "checks": [
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "1/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "1/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "1/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "1/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "1/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "1/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "3/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "3/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "3/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "1",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "1",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "1",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "5/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "5/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "5/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "3/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "3/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "3/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "7/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "7/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "7/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "9/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "9/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "9/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "5/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "5/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "5/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "11/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "11/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "11/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "3",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "3",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "3",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "13/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "13/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "13/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "7/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "7/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "7/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "15/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "15/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "15/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "17/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "17/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "17/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "9/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "9/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "9/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "19/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "19/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "19/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "5",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "5",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "5",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "21/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "21/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "21/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "11/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "11/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "11/2",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "23/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "23/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "23/4",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 1,
      "kind": "independent_box_comparison",
      "lambda": "6",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 2,
      "kind": "independent_box_comparison",
      "lambda": "6",
      "status": "passed"
    },
    {
      "box": [
        -3,
        3
      ],
      "degree": 3,
      "kind": "independent_box_comparison",
      "lambda": "6",
      "status": "passed"
    },
    {
      "degree": 1,
      "kind": "exact_base_interval",
      "lambda": "1/4",
      "status": "passed"
    },
    {
      "degree": 4,
      "kind": "exact_base_interval",
      "lambda": "1/4",
      "status": "passed"
    },
    {
      "degree": 8,
      "kind": "exact_base_interval",
      "lambda": "1/4",
      "status": "passed"
    },
    {
      "degree": 1,
      "kind": "exact_base_interval",
      "lambda": "1/2",
      "status": "passed"
    },
    {
      "degree": 4,
      "kind": "exact_base_interval",
      "lambda": "1/2",
      "status": "passed"
    },
    {
      "degree": 8,
      "kind": "exact_base_interval",
      "lambda": "1/2",
      "status": "passed"
    },
    {
      "degree": 1,
      "kind": "exact_base_interval",
      "lambda": "3/4",
      "status": "passed"
    },
    {
      "degree": 4,
      "kind": "exact_base_interval",
      "lambda": "3/4",
      "status": "passed"
    },
    {
      "degree": 8,
      "kind": "exact_base_interval",
      "lambda": "3/4",
      "status": "passed"
    },
    {
      "degree": 1,
      "kind": "lambda_one_all_minimizers",
      "lambda": "1",
      "status": "passed"
    },
    {
      "degree": 4,
      "kind": "lambda_one_all_minimizers",
      "lambda": "1",
      "status": "passed"
    },
    {
      "degree": 8,
      "kind": "lambda_one_all_minimizers",
      "lambda": "1",
      "status": "passed"
    },
    {
      "degree": 1,
      "kind": "exact_first_shifted_interval",
      "lambda": "5/4",
      "status": "passed"
    },
    {
      "degree": 4,
      "kind": "exact_first_shifted_interval",
      "lambda": "5/4",
      "status": "passed"
    },
    {
      "degree": 8,
      "kind": "exact_first_shifted_interval",
      "lambda": "5/4",
      "status": "passed"
    },
    {
      "degree": 13,
      "kind": "exact_first_shifted_interval",
      "lambda": "5/4",
      "status": "passed"
    },
    {
      "degree": 1,
      "kind": "exact_first_shifted_interval",
      "lambda": "3/2",
      "status": "passed"
    },
    {
      "degree": 4,
      "kind": "exact_first_shifted_interval",
      "lambda": "3/2",
      "status": "passed"
    },
    {
      "degree": 8,
      "kind": "exact_first_shifted_interval",
      "lambda": "3/2",
      "status": "passed"
    },
    {
      "degree": 13,
      "kind": "exact_first_shifted_interval",
      "lambda": "3/2",
      "status": "passed"
    },
    {
      "degree": 1,
      "kind": "exact_first_shifted_interval",
      "lambda": "7/4",
      "status": "passed"
    },
    {
      "degree": 4,
      "kind": "exact_first_shifted_interval",
      "lambda": "7/4",
      "status": "passed"
    },
    {
      "degree": 8,
      "kind": "exact_first_shifted_interval",
      "lambda": "7/4",
      "status": "passed"
    },
    {
      "degree": 13,
      "kind": "exact_first_shifted_interval",
      "lambda": "7/4",
      "status": "passed"
    },
    {
      "kind": "node_limit_is_incomplete",
      "status": "passed"
    }
  ],
  "checks_passed": 97,
  "status": "passed"
}