{
  "A": [
    [
      4.0,
      2.0,
      2.0
    ],
    [
      2.0,
      10.0,
      -2.0
    ],
    [
      2.0,
      -2.0,
      6.0
    ]
  ],
  "b": [
    6.0,
    24.0,
    -8.0
  ],
  "lower_L": [
    [
      2.0,
      0.0,
      0.0
    ],
    [
      1.0,
      3.0,
      0.0
    ],
    [
      1.0,
      -1.0,
      2.0
    ]
  ],
  "diagonal_pivots_before_square_root": [
    4.0,
    9.0,
    4.0
  ],
  "L_times_L_transpose": [
    [
      4.0,
      2.0,
      2.0
    ],
    [
      2.0,
      10.0,
      -2.0
    ],
    [
      2.0,
      -2.0,
      6.0
    ]
  ],
  "forward_y": [
    3.0,
    7.0,
    -2.0
  ],
  "backward_x": [
    1.0,
    2.0,
    -1.0
  ],
  "Ax_minus_b": [
    0.0,
    0.0,
    0.0
  ],
  "own_explicit_contract_rejections": [
    {
      "case": "nonsymmetric",
      "reason": "own explicit symmetry check"
    },
    {
      "case": "positive_semidefinite",
      "reason": "nonpositive pivot"
    },
    {
      "case": "indefinite",
      "reason": "nonpositive pivot"
    }
  ],
  "NumPy_executed": false
}