{
  "checks": 21,
  "passed": 21,
  "results": [
    {
      "name": "whole group has cyclic length zero",
      "passed": true
    },
    {
      "name": "cyclic order four counts once",
      "passed": true
    },
    {
      "name": "cyclic order sixteen counts once",
      "passed": true
    },
    {
      "name": "nontrivial subgroup in cyclic order eight counts once",
      "passed": true
    },
    {
      "name": "elementary abelian rank 2 requires 2 steps",
      "passed": true
    },
    {
      "name": "elementary abelian rank 3 requires 3 steps",
      "passed": true
    },
    {
      "name": "elementary abelian rank 4 requires 4 steps",
      "passed": true
    },
    {
      "name": "first embedded C2 in C4 times C2 has loss two",
      "passed": true
    },
    {
      "name": "second embedded C2 in C4 times C2 has loss one",
      "passed": true
    },
    {
      "name": "noncentral reflection in D8 requires two steps",
      "passed": true
    },
    {
      "name": "trivial subgroup in D8 requires two steps",
      "passed": true
    },
    {
      "name": "element labels need not put identity at zero",
      "passed": true
    },
    {
      "name": "order must be a power of supplied prime",
      "passed": true
    },
    {
      "name": "prime must actually be prime",
      "passed": true
    },
    {
      "name": "invalid embedded subset is rejected",
      "passed": true
    },
    {
      "name": "boolean table entries are rejected",
      "passed": true
    },
    {
      "name": "identity and inverses alone do not suffice without associativity",
      "passed": true
    },
    {
      "name": "over-budget order is rejected before enumeration",
      "passed": true
    },
    {
      "name": "empty subgroup is rejected",
      "passed": true
    },
    {
      "name": "duplicate subgroup elements are rejected",
      "passed": true
    },
    {
      "name": "no spectrum or theorem certificate is claimed",
      "passed": true
    }
  ]
}