{
  "tid": "T494",
  "count": 4,
  "all_passed": true,
  "controls": [
    "pi_interval",
    "displaced_value_rejected",
    "integral_t_equals_half"
  ],
  "minimum_accuracy_bits": 895,
  "records": [
    {
      "params": {
        "nu": "0",
        "x": "0"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": null,
      "argument": "0",
      "root_certificate": null,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true
    },
    {
      "params": {
        "nu": "0",
        "x": "1"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 896,
      "argument": "1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "root_certificate": null,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "1.075313507e-151"
    },
    {
      "params": {
        "nu": "1",
        "x": "0"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": null,
      "argument": "0",
      "root_certificate": null,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true
    },
    {
      "params": {
        "nu": "1",
        "x": "1"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 895,
      "argument": "1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "root_certificate": null,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "0.0"
    }
  ],
  "retained_identifiers_and_text": [
    {
      "nu": "0",
      "x": "1"
    },
    {
      "nu": "1",
      "x": "1"
    }
  ]
}