{
  "status": "pass",
  "two_dimensional_subsets": 65536,
  "closure_reconstructions": 65536,
  "antichain_checks": 65536,
  "four_dimensional_families": 4096,
  "four_dimensional_basis_checks": 4096,
  "tiny_machines": 24,
  "machine_pairs": 576,
  "paired_runs": 73152,
  "projected_row_checks": 369792,
  "boolean_output_checks": 1170432
}