{"representations":[{"hash_profile":"rfc8785","id":"petersen-coloring-setup","version":5,"sha256":"1c6f201d856d8d825840b1d7cc692e59e85180cc876b2e367124d86d478edddd"}],"problem_id":"problem-petersen-coloring","version":6,"sha256":"381fcb9c810a9a2942b583b0a31d48b9f7c23835b97ba7a2ef4ff3a10d0e057f","claims":[{"id":"claim-petersen-universal-coloring","version":1},{"id":"claim-petersen-normal-five","version":1},{"id":"claim-petersen-normal-five-equivalence","version":1},{"id":"claim-petersen-112-main-witness","version":1},{"id":"claim-petersen-112-symmetric-witness","version":1},{"id":"claim-petersen-infinitely-many-counterexamples","version":1}],"source_version_ids":["petersen-coloring:source:paper:v1","petersen-coloring:source:archive:v1"],"entry_ids":["petersen-coloring:entry:question:v1","petersen-coloring:entry:witness:v1","petersen-coloring:entry:alternative:v1","petersen-coloring:entry:infinite:v1","petersen-coloring:entry:certificates:v1"],"report_ids":["petersen-coloring:report:refuted:v1","petersen-coloring:report:main:v1","petersen-coloring:report:alternative:v1","petersen-coloring:report:certificates:v1","petersen-coloring:report:equivalence:v1","petersen-coloring:report:infinite:v1"]}