{"representations":[{"id":"schiffer-pompeiu-setup","version":1,"sha256":"3c3b629fa766e8f06dd4edd8bbee751d5e31caeb960cb22f0472eaaa10bf75ca"}],"problem_id":"problem-schiffer-pompeiu","version":1,"sha256":"d7217c061dee9c329d050e84e3e84db0633c642d7b5fc170d911e572cd8bc190","claims":[{"id":"claim-schiffer-planar-disk-rigidity","version":1},{"id":"claim-schiffer-analytic-tenfold-witness","version":1},{"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"]}