{
  "passed": true,
  "finite_groups": 2,
  "groups": [
    "Exact SVG affine coordinates, endpoints, positive covectors and Hamilton flow on the slit domain",
    "Nonreal matrix adjoint and residual pairing, image-map linearity and mandatory functional conjugation"
  ],
  "script_sha256": "6bb62882271a9b2bc0299139df9483722452d74f6e4f30a06d8b17af8f71d029",
  "source_hashes": {
    "global-solvability-modulo-smooth.md": "005f659efd9d86f7c1d4e41c00c5b974bcaafcc2a0d1df2e957ec2181c863e7d",
    "figures/global-solvability-slit-domain.svg": "7c0a1478b5d0fa4776a9eff786468e2bf2dff119b528c70c2eb9e440ff081a12"
  },
  "proof_of_infinite_dimensional_theorem": false
}