{"representations":[{"id":"schiffer-pompeiu-setup","version":2,"sha256":"5c3f252649218595eeb64cb344da03acf1d468062de4e21c5e8aad160f7400c9"}],"problem_id":"problem-schiffer-pompeiu","version":2,"sha256":"f33ef3ff2d1bcb5a0069c985d50f884d42f3c08fa1d3eb6206262095df0af8ed","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":1},{"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"]}