{
  "passed": true,
  "finite_groups": 3,
  "groups": [
    "Exact graph normalization, coefficient/distribution order and the first summable remainder order",
    "Ordinary coefficient radial recursion through six derivatives, exact complex transport and removable resonant value",
    "Explicit plotted bump, exact plateau and support endpoints, disjoint annuli and unit-height sample frequencies"
  ],
  "script_sha256": "54ae27748da4f4f556ee6469d2a82938c8ed5b05899243e64e5bd3c443b616aa",
  "source_hashes": {
    "global-kernel-corrections-from-directional-symbols.md": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
    "figures/draw_annular_bumps.py": "d331ff0b3520a64619cc9f00075c68936f99fc07f2ceab398eceb5832a459ad3",
    "figures/annular-bumps.svg": "7394ea247e2f56889321795982748d37bd004a8d21a668c59ee7ff8052be137b",
    "figures/annular-bumps.png": "c867af32dd83b6fe1fcb7d22ce24cb56695de91a9da2a4b6789408ca7d95536e"
  },
  "full_theorems_proved_by_these_finite_checks": false
}