{"problem_id":"problem-prime-infinitude","version":5,"sha256":"1d98d2907ed4ac5c54972e46da236086fccdefbdd92844ef274c8512d4d5cf9a","claims":[{"id":"claim-prime-strictly-above","version":3},{"id":"claim-prime-above-bound","version":3},{"id":"claim-primes-unbounded","version":3},{"id":"claim-primes-infinite","version":3},{"id":"claim-prime-divisor-characterization","version":2}],"source_version_ids":["openmath-prime-note@a640f3adfa536da0","mathlib-prime-infinite@32d24245c7a12ded17325299fd41d412022cd3fe","mathlib-prime-defs@32d24245c7a12ded17325299fd41d412022cd3fe"],"entry_ids":["prime-infinitude:entry:0:v1","prime-infinitude:entry:1:v1","prime-at-or-above-bound:entry:0:v1","prime-divisor-characterization:entry:v1"],"report_ids":["prime-infinitude:report:0:v1","prime-infinitude:report:1:v1","prime-at-or-above-bound:report:0:v1","prime-divisor-characterization:report:v1"]}