{
  "cases": 60,
  "learnedPatterns": 128,
  "geometricUnits": 2,
  "geometricConflicts": 0,
  "cubeStatus": "SAT",
  "cubeSelected": 124,
  "cubeHalosCovered": true
}