{"representations":[{"id":"schiffer-pompeiu-setup","version":4,"sha256":"8df0019c0ead136ab6b9ba48d41ecf064892ef45d2d1145074e70fd17e53d9e1"},{"hash_profile":"rfc8785","id":"schiffer-to-pompeiu","version":1,"sha256":"87c28d3e146b320a77ec22c7ceb5b4b83e23c5d8db901d21141fc788ba090c6e"}],"problem_id":"problem-schiffer-pompeiu","version":7,"sha256":"f315cdce71af678d5630bba696c72d741588ae401f692a7a2efd5ff73664ae99","claims":[{"id":"claim-schiffer-planar-disk-rigidity","version":1},{"id":"claim-schiffer-analytic-tenfold-witness","version":2},{"id":"claim-schiffer-smooth-symmetry-family","version":1},{"id":"claim-schiffer-normalized-c2-witness","version":2},{"id":"claim-pompeiu-planar-rigidity","version":1},{"id":"claim-pompeiu-star-shaped-c2-witness","version":1},{"id":"claim-schiffer-pompeiu-consequence","version":1}],"source_version_ids":["schiffer-pompeiu:source:computer:v1","schiffer-pompeiu:source:bifurcation:v1","schiffer-pompeiu:source:lean:v1","schiffer-pompeiu:source:certificate:v1","schiffer-pompeiu:source:computer-lean:v1"],"entry_ids":["schiffer-pompeiu:entry:computer:v1","schiffer-pompeiu:entry:bifurcation:v1","schiffer-pompeiu:entry:lean:v1","schiffer-pompeiu:entry:certificate:v1","schiffer-pompeiu:entry:computer-lean:v1"],"report_ids":["schiffer-pompeiu:report:rigidity:v1","schiffer-pompeiu:report:analytic:v1","schiffer-pompeiu:report:smooth:v1","schiffer-pompeiu:report:c2:v1","schiffer-pompeiu:report:analytic-lean:v1","schiffer-pompeiu:report:consequence:v1"]}