{"representations":[{"id":"schiffer-pompeiu-setup","version":3,"sha256":"132719d3011dcfdf263b8ceef1652c29f94224ec759343d6aef581a4ef05b464"}],"problem_id":"problem-schiffer-pompeiu","version":3,"sha256":"cacfb27541521b348884f5c92083277d21cbb62d9725af70e8d84beade4f48bc","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"]}