{"analyst_residue":503,"counts":{"embedded":443444,"refuted":5264,"unknown":0},"deletionsBlocks":2604,"deletionsEmbedded":50402,"hardest_bytes":7016965,"hardest_rows":187,"hardest_sha256":"f42083a6a70ea44f7dbf16d5be33ca0dde935e8ee54ba958f2dd970df37c81a8","hardest_squares":193,"independent":{"blind_accept":5264,"identities":86987,"numerical_starts":16384,"primes":["2305843009213693951","170141183460469231731687303715884105727"]},"inputs":448708,"minimal":2833,"nonminimal":2431,"prediction":{"high":6000,"level":95,"low":1500,"point":3000},"profile":"B11","raw_biconnected":900969091,"report_sha256":"7fa5b9e35d7a9652ad103b740499d17c6231a1027cdd89104a2b201530b2e462","shards":["certificates-00.json.gz","certificates-01.json.gz","certificates-02.json.gz","certificates-03.json.gz","certificates-04.json.gz","certificates-05.json.gz","certificates-06.json.gz","certificates-07.json.gz","certificates-08.json.gz","certificates-09.json.gz","certificates-10.json.gz","certificates-11.json.gz","certificates-12.json.gz","certificates-13.json.gz","certificates-14.json.gz","certificates-15.json.gz","certificates-16.json.gz","certificates-17.json.gz","certificates-18.json.gz","certificates-19.json.gz","certificates-20.json.gz","certificates-21.json.gz","certificates-22.json.gz","certificates-23.json.gz","certificates-24.json.gz","certificates-25.json.gz","certificates-26.json.gz","certificates-27.json.gz","certificates-28.json.gz"],"status":"ACCEPT","wall_seconds":105409}