{
  "all_mechanized": true,
  "check": "gate_genus_mechanized",
  "classes_total": 11,
  "matches_executed_cells": true,
  "n_cells": 124,
  "n_class_proofs": 11,
  "verdict": "real"
}