{"representations":[{"hash_profile":"rfc8785","id":"euler-state-ladder","version":1,"sha256":"a4b177243539f47f2cad6920a696145e6fa6811100f98f3f8e1d1fb6e4d0d351"}],"problem_id":"problem-euler-regularity","version":9,"sha256":"1883b4c256f264536335a7f29901c121e0292036b6d36b1a78a72d75553b51fd","claims":[{"id":"claim-euler-smooth-unforced-singularity","version":3},{"id":"claim-euler-no-global-smooth-energy-solution","version":3},{"id":"claim-euler-vorticity-breakdown-criterion","version":1},{"id":"claim-euler-elgindi-c1alpha","version":1},{"id":"claim-euler-chen-hou-boundary","version":1},{"id":"claim-euler-forced-blowup","version":1}],"source_version_ids":["euler-regularity:source:paper:v1","fluid-regularity:source:announcement:v1","fluid-regularity:source:lean:v2","euler-regularity:source:bkm:v1"],"entry_ids":["euler-regularity:entry:paper:v1","fluid-regularity:entry:announcement:v1","fluid-regularity:entry:lean:v2","euler-regularity:entry:bkm:v1","euler-regularity:entry:lean-singularity:v2","euler-regularity:entry:lean-nonexistence:v2","euler-regularity:entry:history:v1"],"report_ids":["euler-regularity:report:singularity:v1","euler-regularity:report:nonexistence:v2","euler-regularity:report:criterion:v1","euler-regularity:report:elgindi-c1alpha:v1","euler-regularity:report:chen-hou-boundary:v1","euler-regularity:report:forced-blowup:v1"]}