{"certificateAuditSha256":"410e072be675f3116e82e5a1502c9802f042bf864d73496d3904607f88a4f43e","exporterSha256":"e12fcfcc7195ebbe64efe3f9738951ea1965f7189fb6724b6ff7e22c96e93c17","inputSha256":"7049e4abb818982305ff0747a870b964f6d2d11589604dc3de8c82840954c53d","leanVersion":"4.33.1","rawGraphSha256":"9f408640c9b73146e5c280f977fdfddb336bf2829e9255606f451fc4a7d7ef6e","schemaVersion":1,"scope":"Compiled authored dependency graph; generated data are explicit, fully axiom-audited proof boundaries. The complete optional audit checks every generated component.","sourceSha256":{"NumericalCertificate.lean":"08962a6e3888458bca7190c59ea6bfa44d0bc1ff656720f2cc36a6488480048a","RiemannGaussian/CertificateData/MontgomeryTaylorAnchors.lean":"2f1abd9a7f82f093699e68c3b2dea215177f62f5bf08fa31a82a985f39d923c4","RiemannGaussian/CertificateData/MontgomeryTaylorAnchors00.lean":"7a0df3b50011031ac09667caf8e37568a2ecde8ca0e83d489bafa55f3a8c3a26","RiemannGaussian/CertificateData/MontgomeryTaylorAnchors01.lean":"6feebb06b26f4c2322becbe7566298191a6a17deaf54b8c225dd47a02f71e348","RiemannGaussian/CertificateData/MontgomeryTaylorAnchors02.lean":"bed4e6f519ecffbe6a77fedf248072f0e64f37fcca6adc8536f4100655ac83a9","RiemannGaussian/CertificateData/MontgomeryTaylorAnchors03.lean":"7063e3d5139c6344461e68f2b576757a5c754f408ab757221c6479c4110474ac","RiemannGaussian/CertificateData/MontgomeryTaylorAnchors04.lean":"f6be9fffd61aea543d1f0daa31ee86257adb8886c4adcbe1bd0865559ac1ed4a","RiemannGaussian/CertificateData/MontgomeryTaylorAnchors05.lean":"4df8977b07e6d6407bdc6444891b3c30faff573c05ef418b53321e0192822124","RiemannGaussian/CertificateData/MontgomeryTaylorAnchors06.lean":"79aae56285ddc10b4dff4b04cb7f1570487ebc50962f9b599a49cf1d7fbaa009","RiemannGaussian/CertificateData/MontgomeryTaylorAnchors07.lean":"a6365b580f4892da02ca688f6d61be19d1ea759c382d69ba49c0a21240e85e38","RiemannGaussian/CertificateData/MontgomeryTaylorCover.lean":"92b9c27b3fcefbf93c00af439227b6738faf1c14f083466cc42967cc7548ead5","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0000.lean":"6860fdf67aaec94c6a638ded9000b62039abaf6885fc5e2635b0290b0d99c746","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0001.lean":"d442176fe8c510b3641993314d375515498064a511c73752a16898ae099f9801","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0002.lean":"9694a15b7906dd5546a818622e200d820ed479c6a6f82b1a0cf54f8f57e7a1d7","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0003.lean":"e1ad3d2f115f870f3168f99b852f961260c70920c550c61a1fc944f9487994d5","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0004.lean":"2a70848c8d4aaece36a76be3aa8f20973eb3af88d7c22ff4c032fc745dfcc84e","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0005.lean":"1afa0872f7c13743c8b6e38256cd29b350a63156e524a22bb13c8bd9968a393d","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0006.lean":"db6bf6916f372b21ae9a82100235584affa39bca21b2907f58eeb1ce3e842bf0","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0007.lean":"c11bd71718192d23646c99c5df19ff650cfdb34d2e200472a1e3e976cda26c84","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0008.lean":"b3c6be8aaf0853bf3fb0cdf615c90ac41f99b95eca828201a48995554d8d59b3","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0009.lean":"99fc744a4356f0e525716fa0377d86809fcda6af4cea4fd6418e5c85e3ee9d7c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0010.lean":"103f506803ce1a8c99d9d4e8d6c959352df1d68c06724f8f602f0494187bcec1","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0011.lean":"1b015ac3ff216bd112370225c0c8b9bc7b227752495e27ec379562daf10a71f0","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0012.lean":"267382d61f8864b1a079eb0999472ed3e79637f630e184edf9887b0185f6a532","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0013.lean":"5b5a0ad28b99d3211226e719d451811d2f8ff84270240cad62366e2540bf0738","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0014.lean":"5041fc5c6e8a10a30261beb5ba452516785bd29b70055001af20e871bc289d8f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0015.lean":"4634dbe34090164847df6b2cba4965069ae3871bf3329bc21047cadd1fe9eaa8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0016.lean":"4b238296068c3175b0a35cd722a30855931fecec6e26cf6103f0b4b51da46b2c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0017.lean":"9d3606621f2bcec090f6402b10820e0b1554ac7941659945e2a2354a740f752f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0018.lean":"e021d8d7003affe913fdc6699a548ff91ad7424fa26057447591c97b0da60001","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0019.lean":"8fa2eb5a8fc978ef4b9872b0c5ba0006a1176826962ce37d61233ed650f99cb8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0020.lean":"4653e5899fbb126706c16e025c7c62452c1efe847ad4e337da909621b47e9359","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0021.lean":"ce8a1cd1e8edc153c1dd040083d9f88ba0627b4768b0b684d29a1cf6e594285d","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0022.lean":"52ad71f9c55b823a4f056915fd47016943a2ff1b081262dcec23f80327223aeb","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0023.lean":"1d580f5ab7d69a5fc429507eb43adeb514b305949293146ea4fea62cf044f684","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0024.lean":"e669f3d1815ab683066dcc01db0a2c2552e3a8d832f5db34e02740f77c644217","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0025.lean":"0b4f168e6830c24dd0031581af78b8b46413ef066ba5963097cd1173ab5dfd92","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0026.lean":"2fd61cfcc236914ec2902b41a81e469fcabbf820a307283026c2b5f03db57907","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0027.lean":"e0977c6b13aae543522bf9f3ea9bd45b1b448c5a44d449f3db137729e07bd810","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0028.lean":"878a2cedf907fc6d41acfcf2c2d7e614470b8be8fb1eaae01e9c1b48e1f9150c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0029.lean":"1460d80520da824c32ea39f59f61f5ab92ed8d174e39ab7de373d2e7b64b88c4","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0030.lean":"70e9d5b4d529b4d51c8542173a00f1603b0fdd3d73488e649231ea2fcd0d6766","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0031.lean":"b9b04a1603159f724915f9008e084469172c77061fd5dfc4d673a1edae06fa07","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0032.lean":"0f9695d2139221dcad499ae425c9e6f47eb0207c8b6a42822fdc6518117feadd","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0033.lean":"282bcf945bb6189ac481fbfd85d0f9f666df8875d0fc951c25c8aabd682a2d45","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0034.lean":"d0969de041e37799800e5e19680797224fbfe1d3fc8d337b4e478d9873a48aa8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0035.lean":"244f575fa79f62bc7c612cdd5900f87ae56938d14f9770ec5c65d0d73a9daa58","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0036.lean":"dcae03397b090558d4cdf31a9c2cc918147fc964589977b001c86db41e03e39b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0037.lean":"72cbf0e5376deee6aa12463be7a5568286a87371b6ce6638388a2d46cc742e0b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0038.lean":"59ee4024726dfea671814b267cb15f8139eb1f95d321bd03f557fa3fc97b6d17","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0039.lean":"6d5b96ce122a9740bdd5b31851cf15fd7aba1fe7235f0dfbb5b2266ae5c22e99","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0040.lean":"7500d00ed73d9a6789b9c83784416b90a86cfe91aad156d6a79ce0a127a49f27","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0041.lean":"7181a6adcf4eef0a15a417102327e951aa369ec83afdae4efe995d1dfcadc22c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0042.lean":"b229cbe99f37c00342d0c94c8e6e78e6e297d50aab14d58d30fe4609d1468040","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0043.lean":"8e5f51bd5ed8e92183e75b9bbbbea3d39b26e5652541e9f3d3ebff313c7a5fde","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0044.lean":"55d37f375485ce835af91c58fd90565b9a5da3a5abdad8bc1bd868fa22d7f567","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0045.lean":"87dc15b18b93e5e2c2d5b99bd842a0756f1847769e835ea40192e3828e3b0c93","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0046.lean":"a7e45d3de81a59105d460123fdcdeefc64bb420d3baf12b746fe2a2033e6a5c8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0047.lean":"8760ec2420c37df6e890831811230c57ec57827b54685bc27e4a9bf6a24ca479","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0048.lean":"7bca0582b907211b123c57cbdcb55b649249568bcfd6c49b79f907e4f0473120","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0049.lean":"8cb22c448966f05987cbd42ab722f90064ef4e6f7c5992b49ee3af244e75020c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0050.lean":"7b8b41a15627f8e9d84ac3027ab871ed1a30d3709f1281c913fc0e8b5bdbf898","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0051.lean":"0e35f1e35c5b567327350fbb5d20be917e07efeb8ff7c3174d6c6380b8f19f65","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0052.lean":"51b43be8b19b576c6386d5d7add02bd457fb32b20e10f588e4b4181bc00717ef","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0053.lean":"d7fe8eda53b6b72bfe8c8a00ce398a4043f9308ec524a01826218ec2b4acb4b1","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0054.lean":"0aa205d94ab7ba06c6d35e2ba15ca92ab8cd4351e8d7693b32ac516145b11710","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0055.lean":"8cc9798fba874168258243b60886fe2e639bd8d12dc10e9b9baa5accb46c312f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0056.lean":"b703179ace9c1142822f61de6433d999aa25bc8bb1c46e210296df663153c2ab","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0057.lean":"4bc6b07e366f358682c084ef9b2d4151ada3321cbbb847a2cec9bb99e6f1c63b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0058.lean":"a0cc974e92277e26d010b50c52f212af037eaeb79c33f05746cbd1cfdded59e1","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0059.lean":"64d81d3137104e4e1b54bfed84ed0376596e2e51fc73a9ae43761e156145766e","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0060.lean":"45da490bf9c867d6099aa3446171f6b46b0363b07eefca8b24811eb4b8da132e","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0061.lean":"559d8e6efbec04ca40e89a4a09f5fed743a70952e4b5631c418f8c33fb405895","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0062.lean":"c1dadccbd8e17c208ecc67bacdfd579f13ec57b23c52b2889de0c44328a4d3c8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0063.lean":"d272702eeb1bf9b0d70a062354f255fb8a015e9e30d9f00689529ae7542b7f0f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0064.lean":"be1d2ef1a0d9c67281f04e03a369d2651adc2a9feb6282500a26b30990842b1b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0065.lean":"28a3f0095917d17a0ca3d53a759a2c3824f9eadb299c4f7484407c7e1081ba22","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0066.lean":"fbb47fa1f31c22625c7b252a6d340b4d3d17f2719bf6c6e0d4092c8bbf4f8503","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0067.lean":"7d902a3d9ad7976ddefe8c5ef94f7306ae7f46a0459a75c4cb7d167def6d59fc","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0068.lean":"56bcf9626c11063bc65c7756951053222d15b588fcbe520b90b15af8a49d84c4","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0069.lean":"9cfba7c7b511570b901de2a26e7fe14cac075fd8dc5b4cf673bccc9ff9eb48cd","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0070.lean":"61ab7fc5340b38392b1970c8e97a6e5605d27eaca51df9b2faacab2cfa907a8c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0071.lean":"56f1ef6c556a09665301498d6c271755f876f19471592e638c26a3bc3221ca23","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0072.lean":"2189c91340d19860b5e9d36c927e8339a5bf0aed947319bab08452eaa43bdafb","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0073.lean":"dce36a5a68b39ab40e4ff97cd6366284e695a6b67cce6c34d87d44cdf352d824","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0074.lean":"8bf1587f9dca0693fd454c82d5419dc3a67ecef27ceff727367777e28384e57e","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0075.lean":"91b3807899ee27cc7fcb2402cb0a91869b2af2153027c5c8dbdeeb947f1c3d8e","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0076.lean":"206425c1e46bcb4c2488465c32c23b4eb3d15981649db1e8e25db42899c4b2f1","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0077.lean":"cbb128760610c60c14c6da375454194f4de7041b7ad0dfc279aec0c7296b2ded","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0078.lean":"a485e10ad90552c2a8e2cdb1215e9889502e3a4eac2135933d376e4da2b03440","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0079.lean":"3dbceb4709122c56b4c195127756726ebe2cd184bbe8134f894dac9821eba8c6","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0080.lean":"b16f296dce2b368f5469db2aaf72f3e72c88f61218a3e05eade77f87266912a7","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0081.lean":"9069e297f7a642277e409543dc79ac66e9813bd524abaa7f07ae33b699933ca6","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0082.lean":"11e8c99dbbcbe678c592d18bf637b4dce91b5ff06e763578730d89b39d884cc5","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0083.lean":"807e2c1859fb94f0016b81a95c43c2c1cb41e3d3f4f2a330af1b4f1930983ef2","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0084.lean":"c030cd8f9a5302fedf62604283d1614421315c07c1a8aa49603c6cd01ac93b2b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0085.lean":"7f880f3ac33af7f24c4e2c05a6c18c4950def3afe29af8bb30234332037c6d8f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0086.lean":"4b2b0672532767837615ece79d3b7b3bdd6a536adf094ee423bf05ae5e3d6ea3","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0087.lean":"370b1fd90a100c4e15c5e53e93024791f07e0b7a62886a7680a1d7ccac37a4b9","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0088.lean":"3e4736c0d47a920762cbc6f649854d0514e58d5926b88454a8082d035cd558a0","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0089.lean":"7adf1c4d7485a1b09ceda1edf76698d4dc23f19ba0f2d32c70210360dbde5080","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0090.lean":"0eebfe80b7f456a1ad2e385425169962b9714668f8945caf357424da985396d5","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0091.lean":"e467fc65851d0821e9270965e1017cf73ee8c5f0e9d1aa6a74e8fd6bbb30cbfd","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0092.lean":"9ca78eaec26aa9ef5c03c7bd0bd6028f69072aba68541a7c298000134c817e6c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0093.lean":"0da9ec379bf45aff8a7df8062a4f3a74dde556f3fb3649365f7e43b947d1e8c0","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0094.lean":"c4660a93e66f14ac9791c6d1f88ae40dfa42835799cca21e8bf6134b175bffd9","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0095.lean":"87132d7d830fa6013865d2a0bf445a40e95be74753f205ccb4c290b6282c2e6d","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0096.lean":"2de733644222ca901896a2baf2a4d9e23dd1c78554ceee73a7927ba1d3adc0bf","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0097.lean":"cc11c0dffedb48d9010053c14436b834bcd7058753e10481a69db4b6a66d779e","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0098.lean":"92c1e92c412736ac8ddfc5e257576248f52ecb75cc235bcb5d63472a2aa8468f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0099.lean":"04018786b3c3ae01f475298c7b009488d97dbec311ca1b2e0db0a1d2f803f5a5","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0100.lean":"721b2a130abcb5c1295b4d19602e86716615007359dab32acc76b1ac7ebc5a4b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0101.lean":"d503a94adf3e49a595b59fd3da6fcd6c37a6e0911d5400928ed32437bfc0282a","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0102.lean":"55bd566d4681e29c5bf0f17cdd434fb3fde85a7dec881e3230baaff6fd6532e0","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0103.lean":"36d24dce7230ef5d1f673f04c3b8a646595269a6dc4e937a023f269c9b561397","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0104.lean":"4370e9d68c19d9264a6f9e8d5d958ac52f1f52b9b48543e6031053a06dfbcaef","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0105.lean":"b6b05cee83169d7a918c9ade662e4a5eb646c92627dcfbded32061e28aef1b7f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0106.lean":"e03656e0828090f95a433e6d1130b0965333f51ddc5b23e5f5955df1277497e7","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0107.lean":"99b7a36bbf4bcb52cbd4f43f6efd7a81e791802c9e7e1e998d0afc523e3d45b4","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0108.lean":"6c8837ec8834f5d7a1f7c47a333c20290f9b13d18ee43c96210fbb281fa4a814","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0109.lean":"45aa7be1c4ed508f6818e95cd0e52f2f65186820dbd40dc4916debb9bdd3d92b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0110.lean":"2446ca07c0e90d4cbd6dda4c4d0e2c85daf338d3a74009bbee4d084b09386262","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0111.lean":"f2a38f6db1f080ced075de476ffe9ad6274a54fdd93a11d2302cd7c1286e684b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0112.lean":"91b2870049f941ddcb1434c164bf08c14205015da1e03293ec730547d89bf609","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0113.lean":"cd9cc72d2f1236b5511a1220c98bbc843bc12966c9883ea9cd63a2e47cd8915c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0114.lean":"31e1b18bd57d0004525f822587dd5085fd0e27d5289e2afc9a12bcd77904928c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0115.lean":"392969ecce480ec65cc9dc675c22142aa7e098c453251db2cd09664b4d250315","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0116.lean":"4f1b246178fb63f73e62f5109419e1e73ca8da3d010a4c2a4947615df313a531","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0117.lean":"cff6f7345bc5b059ca98faf3ed77128016e0ed010e73128f6dec344ab48baaca","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0118.lean":"c6fae648ecc36953c177ba20c73291751b2d7e71b4157ad159dce19874863c60","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0119.lean":"7b57bc95d7c9ea90e873724f329bf4163d4c9ee2c1920a48773055168638d019","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0120.lean":"2b5e13a73dd83e2d7d4625f1bc55a6ab621d03a332341e606ee66ed345911f86","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0121.lean":"0a122353eda9c832e36c78b8fe68bf8a76c5bcc31032266585df15f1231f42ed","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0122.lean":"ead47aa991afa1f26b47b2794368880ab06af6995abcc00577598eb66c3345b9","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0123.lean":"9776bba1cde6e3d30e8d5ad86138e4b534f7d4f309c94c56e8c0775d27559cf8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0124.lean":"135262e4e8b29e6b769f303bea3d1b4703941bf2fa6f07aadac62f3ce23efcc4","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0125.lean":"d68d70b3fab23ab0bc9e724a50813b1ccb0c96abb5002c46434a62e2269c205b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0126.lean":"95bf66d8bb84a09ea38b765b81292d13944ff505b3fd343fd5b479fc17ef40f2","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0127.lean":"a2283520ce7f491905c66505541d5452cb1ceed1f96f1d834ba3c1f961bb6935","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0128.lean":"614be277b5d5f3dea0e2f0ec62e98f42e77d4c4bd9a6561502e765f23e23950d","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0129.lean":"05a3e374388aa1f2c6b397d5500d50aa6d2cbbae8e3ebf7d115ce33d4cef15d6","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0130.lean":"050e3f4027c7906cd1e1ad36357886915e1613c469c34faf531c169ff7505af8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0131.lean":"91816c28a9aa42b1731c4beb995e3bc21951373f66d16729e1dd4f001fe58e27","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0132.lean":"a5b68ffba0e9f2d06f32ae2c0a8be49ee35344f5d0374f62575245402753598f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0133.lean":"f5e81b702e0bc49dc3d0972695f9abaa11bb2c032f9ee231e7c0347a336ae4c7","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0134.lean":"920d5b7b7e0108ecd4b561b0d50612dbfd8609afced802e2a2694d7ba3759afc","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0135.lean":"5286143360fd5f0d2e5e2f7f4b204c9a737dfa55736b0af25aa8847844a77c40","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0136.lean":"e13b17131339da3537c51c7e1952db5d70d7e47370ba73278bd4d9724ee0cfbc","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0137.lean":"2e1bd08ad4cdac869da95fe1f43b2df377586d17acdadaf7189e25cad5e3f513","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0138.lean":"aaec80104c631acae384096ec6fdd107fd896fc0a74ce6cc8da75bb4c4d2ec9f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0139.lean":"e8bcba5c42a7d1503ed028769fdafdb88bfe0187df594e112476229c5ea7b136","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0140.lean":"790e7bb09396c5d08bdfdceb42e3538e1ac35b5f1fe35561b433cb497313b0ab","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0141.lean":"757fd526818df780fd07419b3913d6ccbe0bc9a52b5771ec2235d01bf8e6eff1","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0142.lean":"0b2432dd507f3dafcaecbbcdbfe6e8558f1cee49c3814332d02df1024c771c34","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0143.lean":"f15719e276590257b030368c7e851a8625190eb184a849e5096574098be5df72","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0144.lean":"6629d269f7727a7184e4ba547e6d637c820428ef3f79a44365cc08c063c376de","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0145.lean":"a194d2b7bb59840b189ad29b645323e96da5ed0f3037b2b8342d7b4173a5395b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0146.lean":"13eec15af1cf690724d10d0510d2d1fad1b67393c47acb2f0e8f7d614f7a0e48","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0147.lean":"404a46a985dcfc22473a47c5e28e2ec65f71c372238f8603e12fe5ce2dcd11fc","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0148.lean":"37c5f32a137278222052aab687123f00c182c911af3b720be1a2ce74a1872181","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0149.lean":"059c2387ea0753361df167b6b5a77f5e065be15394535f3c2645b04e4c3b8430","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0150.lean":"32aeaba3bb05d2dc52f5e337ec7d3674ea06e94e9068bca9b899e22b24b6bb49","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0151.lean":"64f903f11fbdf2cc1b6f1fe9c98f60ac2a49941a4f95bbf7cd01b976587e3da1","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0152.lean":"da8d14e584068183361ab066d6afb88fb2091cba060d2d9a74d61e9f9118e5ed","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0153.lean":"319c0dcc92e8de61c2a56b97bbdebefca1d041e3cd60de958fd4e8f3282e8959","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0154.lean":"ecaa4f2133fd47bd1de241dbdb015d67edd24e4d4c0a928d5abddadfbb46085b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0155.lean":"4f43152386f4ccd3df15caa81e395cf79cf14b8ffdfe82b1de74e40f5deaa3f9","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0156.lean":"7b668528b0f6022fbcceb45433a42d04f114a10dfda56c16f3ad15260fe11741","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0157.lean":"906021cdae3ea428bf2d55bd7d260c276260ed209cf0c00b27d6dae695048391","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0158.lean":"1a55f96ee5b6de540b18fa4c9cfcdab040e07d977d0c500dcee317fbfe49f481","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0159.lean":"01a955bba759bea35258d81bc15201aba683f170051d76b66e839a6ef8499926","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0160.lean":"af5671d144036d983f4fc4588ad6982d6bea8cdbf84e589d80ad25e96218fb52","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0161.lean":"f5728f0fd826204b9adaa1405ab64a16ec5d2894802a111dc1f53e74e64b29fe","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0162.lean":"bf1e82c7d64c6b1b28d33ce1368f0e6f15de1e045d8e4038ce1e24eaa8bf6aa7","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0163.lean":"4865fe4db0b2a7e22ad12b1f21724be2d18af65c6f6ffd353cd152b546237558","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0164.lean":"1a1505844542ef1f97905028a43a2e413fbacc185c882f97a1bd4103ebfdd333","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0165.lean":"f7e3206f386e4fac7b3555d26be49d1bfcfc9273059e9d985044bb25db925c10","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0166.lean":"72b670ca342c2c8c432a6c6ccb5418af7a47afcf6b84bef43cd4fb4ad0bb7b0d","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0167.lean":"efa21452ab819706c5211f54c18b144db90757cda063f6100691fb1c75d0d6e4","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0168.lean":"fb47c20c7b99066bdc804c92c6b43b0d82a0232e107143b98ee793498d9c68fb","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0169.lean":"23cbab97cd45aea0b4f810a59b82dfb232c519dc0346743e85e371d946d76373","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0170.lean":"0791357d078fcc3e18b10c3b2115e6d453b995d668a48783b3d9f72e0ae3ccb7","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0171.lean":"60b5ec4f013bc4565496dd0afcd248bae8867fdc692835f644f94a4f5ee5a356","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0172.lean":"123787214a0159ca23c13c1368e92f77c7036f80abe4af6500d8c8c2aad40bb9","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0173.lean":"a7b97b482298e00229807a515bf1020bd850dd918653b9857d5368e90ac20e07","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0174.lean":"4dae86df78c00d9c10bcbee08f10fa9f07ab582c8a62b72f5d30c8f5a1fe878c","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0175.lean":"c16a0080080b6fd6bc44b6470e03c00285e1c5e3ef52b833f12d1d1c1746103b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0176.lean":"417f9652684b1a086fde6a97887707407e0fd5e71a8a65eb64f7928885d6fcd4","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0177.lean":"7c54ade770ab48345d5793f4b5973e9ce474a4cbacdcba44facf76a42448ad16","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0178.lean":"698e60ee15248c47a6e873026131655b899f5aa8f8d2251943ea7b747d9dc0a8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0179.lean":"287953bb2460d6d5ce7435a51b2087e5bb5f7d29873612939c69da3594e0b0e1","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0180.lean":"4e61f51928f7f78e011d2dbea729b5246d3a819baa169a31238bd2d0813177d8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0181.lean":"c8981ba4c6d13740f6b40c8d002d9f3bd9ea288aecd48afb5a2c35fc232512dd","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0182.lean":"39fad27339b578583a7b71c57e0d296985a5f3568e513e703749ea14796f5abe","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0183.lean":"a74ef6320cc50334756789978634d470302b4155c66281c2dae07397053ddd9a","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0184.lean":"e0cd61ea00e0f497cde1509de8bdf0ca222e12e5e56df39a2e39e85819c04c28","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0185.lean":"f9ad5615be9ec7113c17fbd5dd158f52cebd39d3e8d2f3fdc29ade563d2f250b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0186.lean":"a2ff58b3ee172155aa7f32ff65fbe6c1e90989e7e8e80f9db1cd19e91985ee9b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0187.lean":"92b37fbc130ebe738edfb5f50a954b724ac4d29bfa2f787aab17c3aa4dee7714","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0188.lean":"a1ad9de672ce5787f9867945d2fe92f03f9569e17decf651cbe44a8b420c76ba","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0189.lean":"0dd0e0d9576cdb8535c105dac7bd05268c95db6429dcaf45f5a6c4ff587d4527","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0190.lean":"d30aab5002d3d8d9a7ff41bc76a1f07fe25c845d29bf7b704f0b687cb261cf7a","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0191.lean":"f1318a7d5518bb73f82c3e3eb56580ff0182018fe55cce998522092c029643a2","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0192.lean":"7f6c7a1524446a3acdf2419197706807a3ba1dfb92fac93e50bd50654d1ba80e","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0193.lean":"cc59b83836bde0dfd17a1ea5b7a1b0be69072d794362e43c82e9053e80942c33","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0194.lean":"14b7c4d2f6390493d914d7d1aeb7bc72b200e4105b9b1ee29c6ff07ece0821c9","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0195.lean":"1eec73377ad84f96c93fe30741460ac9bba6e6e6d9cc2de11b8762eff621b5b5","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0196.lean":"d567a44f0fefd782aed57b274bfeebb9a4a41785439daca45f836f4140f47f35","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0197.lean":"5f29edc2f7d6a9ce438bc5c1a7fadf973d1b112284298e2fd7766e1e9d66a130","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0198.lean":"17fe3d6c8d466c891a016e9b475e2ddf0882826ffb4b96bcb18f1cccad27d0be","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0199.lean":"ed22177819b8135abd04cc7dff3b3fb72771baa0f8d16b240fb3feb8f187640b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0200.lean":"1d834568676629c8a7460678e60445d2c45d4cafda9d42fa5a19ff1acd2c4700","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0201.lean":"27894397b3b4e311df4a17c034eb30a8b211c520999b4d9df91619b70d56801a","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0202.lean":"0c21fb3c0959a6aea1b40cc4e7955e30d32773f944055e1d1e720f38ba45bc48","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0203.lean":"99624f67e7360255dc614a94c7d511ae3584b0703886789b09a9a7f230547d31","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0204.lean":"399b579bbb940add077ed18ca1ce088abe29f4f066dbc512e85f6b66c229edd8","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0205.lean":"61b981946f2e4da864ae9859389c5c05218042213cf17ee173f76bb3db10b195","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0206.lean":"fd67818003431999e0b685cf7a201dfaeb574db3835841fb1f9e7a2730e851fa","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0207.lean":"cbe2dae3f1e14146289bd1e2b8d2754fc820461bca64a3b353dfb23e522d8d93","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0208.lean":"d904d387056b7bcf455e68c582d17771ff9159091be1d76fe8735e6e1fb64004","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0209.lean":"06a1f363f6a1682697723276913eb69bbf85806c1b9d7034edd34e930ac1d374","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0210.lean":"1096995050d7c932f9258706a0e393e94d1c0730431560bb723b8aa5ab27dd8f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0211.lean":"0221f13120756e2662b28369c141aa17ac53577115a536f1a2c89029a7caa80d","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0212.lean":"0fb004d16a3a271317bfedd92f2b5848cacc9c78c4e0ea69fc4ffbab742e5c43","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0213.lean":"2d6f5c0009e0da88ebf7f56d2f79599d492b7035b15438a0f7cd3d175030b65b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0214.lean":"9c6fd447bd5cf27162f0ed84048ebe3f47f60988b69cb14d96ceed246c8e26f1","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0215.lean":"2b993f35b009677ebbf0b48c6eccf51632c03b2d332d874ce4759bcce54c251b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0216.lean":"946308f177dd2bdfd20518360c4f6fce1607e4b89347155611ed7257935b33ca","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0217.lean":"51995be1f650ae272039defdc8b3ac3b0f1bbc7766e79b2b16cefad036e958a4","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0218.lean":"629ab187a6c800650ff41c6a308aea8a2fe9cfaf5fc771df216ffe6909b8f78e","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0219.lean":"d13810116b07138b1a06ff873d85644f5ab8f1b0096d8176fc532278ed59c69f","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0220.lean":"050c63fbea52df92b11983042d6e26ad85e56e33d12b71297ccc503226e0b4b7","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0221.lean":"bec256cc0ce7cf3362f4220ac3f3ee958d71d3b525047c7fa8f2e2a49ba15ad5","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0222.lean":"84dba0d787d4a6cb72f2d8026218e3170faef11c8427a91def2ac66101efdde6","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0223.lean":"ab29ae5162e7c4f66a16837e57eab5960e3eb3b1e8b5ee122502de6efa187b4e","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0224.lean":"3c9537c2eb259fe8d2db7399bc640d4f2fb08813cd3536034e1fb43f6366bfb5","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0225.lean":"6db13a1a33ff5b1983e48d7264199303c0448fc67a69fc8e8dfb57437c0192a2","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0226.lean":"1baf060233323e719cd58ea58f53b1d70d8e7fd29f8885c4824fc7dd5d4fb94b","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0227.lean":"017bf9a94f74d7b314f46a4fdb610130ad15c07b8e05c28ed0197445e7be24e2","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0228.lean":"55e01835f0863da0ef8eb1c8125779fd9802f0f03c095251bfed918df86d67e4","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0229.lean":"aceef1fcf4727743aef12e952510fd226914f95346a1c5973b59f3dfa059159d","RiemannGaussian/CertificateData/MontgomeryTaylorCover/Group0230.lean":"3c183faf702dba69eafeacd552c53ddccbb4bbaaf04344ae83cdbaefd872a83a","RiemannGaussian/CertificateData/MontgomeryTaylorIntegerAnchors.lean":"cfe63ff992fa0c0cea7b99088cec0dadb6aeffba36cac7cc75f8de6ab09fc038","RiemannGaussian/CertificateData/MontgomeryTaylorIntegerRanges.lean":"0aca896bd19bff81ae735e6e01947334a136b62885be7222477e9c960eca8225","RiemannGaussian/CertificateData/MontgomeryTaylorPhaseCycle.lean":"8624a1b9df7cfaa71d05f94ec87cf31935dbd69c744ca31611f2874b5a3f5c7f","RiemannGaussian/CertificateData/MontgomeryTaylorRangeCells.lean":"90fc301ba690bb75e0218d0099a70f7fd219cac3a62104349057dbaeb0245d59","RiemannGaussian/CertificateData/MontgomeryTaylorRangeCells00.lean":"32698dd02fcdd4991eb0ecd25d5a0f377efa411e4006e54955cb36be43cd4f92","RiemannGaussian/CertificateData/MontgomeryTaylorRangeCells01.lean":"a250813f79910779dc980a5efa616a87d4da97eb1d265b33f1260626a5db1cec","RiemannGaussian/CertificateData/MontgomeryTaylorRangeCells02.lean":"8d0532671c79dc68ee084d09c3cbd32ea48a19910a5bb49100b8b5da42c2aaea","RiemannGaussian/CertificateData/MontgomeryTaylorRangeCells03.lean":"4f18902c6a57810040c4aea00b00426af7408864172511f3f3006210bc2df348","RiemannGaussian/CertificateData/MontgomeryTaylorRangeCells04.lean":"e6853799b61ef74efa13d1b9c131d95a004a9dd0577105f9054db41f2a825204","RiemannGaussian/CertificateData/MontgomeryTaylorRangeCells05.lean":"ffe1220c16c2c114d19e147cc5039bb141b5863da811a9be17a9ea6fd8a1b186","RiemannGaussian/CertificateData/MontgomeryTaylorRangeCells06.lean":"20937f3584f2608b447de80455a0247f12a2082c542a21b2521008abd7ecdcb1","RiemannGaussian/CertificateData/MontgomeryTaylorRangeCells07.lean":"664ec8a2fc80a9c59c6d608081a6968465ce85bca84a13b655a456414441bccb","RiemannGaussian/CertifiedBoxCover.lean":"c9ae39c23f7a5246459233a94621564de3102e036fbdf309a72394a637f62ee6","RiemannGaussian/CertifiedIntegerQuadraticForm.lean":"3b5e3a7fbf5826c8ad2ed81a5dc8fbfe2eb7a2a6796442b8bdf92040c73a2c76","RiemannGaussian/CertifiedIntegerRangeTree.lean":"ce38cac8f1406677d8a9676ab2fe7dfbdf0ed8ae04dc1184d2500fd7ec89f8b3","RiemannGaussian/CertifiedIntervalProgram.lean":"714b5054abb6e3cd7deda31621bb3b23fdb6b32b76c5a8b527572d1e277ac27c","RiemannGaussian/CertifiedQuadraticForm.lean":"6939bad3d02f7e02e741e729f31843f12bc71d1269db96f195ad91ac5bb253a6","RiemannGaussian/CertifiedRangeTree.lean":"f0ccccc040b01a27d8545ceac35a7a39841bdb2f5de4a0013cd155f58ed5b02c","RiemannGaussian/ComplexApproximateOrbit.lean":"83e08d67bb9f13ec114f7cbfaaede5898d8e9aaa29b694ece86e890fc10c452a","RiemannGaussian/ConsecutiveBlockPacking.lean":"27c49caf4e4b409636c61a73ca5dde90b444553df696bf3715bace3f4aed1e6f","RiemannGaussian/CorrelationAffineBox.lean":"33c64b72efcf6608fd78eceb89a8ed1b610a025a32176c70081f3b6c839a400f","RiemannGaussian/CorrelationConvexEnclosure.lean":"4541a0901f8a9ecd32f3677962114a96794ce6a48eb83e437bef1e255cd2623f","RiemannGaussian/CorrelationLinearEnclosure.lean":"3a236d5a7a5771d06cb43cec5b384fbc8b7b1ddcf3659e881b680812243b1b2a","RiemannGaussian/CorrelationQuadraticEnclosure.lean":"fe8001f6e715c39a6876d4ceda9cbe7249dd9df045de19037807bac3a99659d8","RiemannGaussian/External/Zeta23Baseline.lean":"64d75c57b6ca17afc9794e4d15417f653f1b6b705b74eebe242cf041c208820f","RiemannGaussian/External/Zeta23Benchmark.lean":"ab1f2fa10949234e826c573722aa7e73d14d747bbc2a4900b92fdc512ac42691","RiemannGaussian/External/Zeta23BlockEndgame.lean":"f695171f4ea49f028f21614bcea8581b3eda09732c2243998264511c4e510f3d","RiemannGaussian/External/Zeta23BlockSpectrum.lean":"a33274f79a22033191460fc928f345acafc4a4e03384cf8e1deb186708e2ad12","RiemannGaussian/External/Zeta23ConsecutiveBlocks.lean":"55ba06994c3010e808a722d33c1cc7f7edd8c2896be502d6465ddb2fcea0d704","RiemannGaussian/External/Zeta23InverseSamplingEndgame.lean":"7afae6bc7409909a54b934f9269f17447b3be6a4f48d2ac79af6a513a55054f8","RiemannGaussian/External/Zeta23InverseSamplingFiniteTail.lean":"eb5ab62bdae4f7a440ed070fe302db17fd0f8bcc4ad9146610277e4c33499898","RiemannGaussian/External/Zeta23InverseSamplingKernelBridge.lean":"12d9681890b2d9942ab994ebac4b0fb0d14c43111c58e7b64367a850bba8f692","RiemannGaussian/External/Zeta23InverseSamplingPacking.lean":"7ebf5a2504a84620b0c5b0ffc10d15d3d72c70d8ee034b91fd96938a42cd3b17","RiemannGaussian/External/Zeta23InverseSamplingZeroSide.lean":"4d89a1a2fb35ecf4f47c279731d9b34508586293c0e91238cbcd312b4bebcd3b","RiemannGaussian/External/Zeta23SevenWindowCertificate.lean":"54242a2a17f68260bfbb3a4afe839d23357d49547d019b32d2ca81aef3c944d0","RiemannGaussian/External/Zeta23SevenWindowIntegerCertificate.lean":"f864763267bfee7e3fe5b440e10416fecbec19c174d1d01e666f99c3a0b9d9c1","RiemannGaussian/External/Zeta23SevenWindowTarget.lean":"6c955ec020ca074353ad9f5890b8b2590384b532fff5ac087856059932874917","RiemannGaussian/MontgomeryTaylorAdaptiveCell.lean":"10983389cc30a765e728138b3859ff79ccc4209bc409bc8dbe745c74194ff730","RiemannGaussian/MontgomeryTaylorAdaptivePhase.lean":"e60621d6560f2ba28b9c724c1829f756520385b7c9497d295ac9f22c5abc0573","RiemannGaussian/MontgomeryTaylorAnchorBounds.lean":"e6ced6c9d98504173798335861dcff54e5a705610975d2d958823e9b03c60ef6","RiemannGaussian/MontgomeryTaylorBoxCertificate.lean":"8a8a801189810da5080e38197d883868a7d9a2829cb3df32da6cf05d4d2a8aff","RiemannGaussian/MontgomeryTaylorCurvatureCertificate.lean":"e057e929bc7b9442ed2a20eed106aca719bd11682f7417b11072d44981fcca30","RiemannGaussian/MontgomeryTaylorFastCurvature.lean":"8c5565f3c4db1b97e3e8640c1fd03cce4a26a965de5680d262a4a84fc5cb7434","RiemannGaussian/MontgomeryTaylorIntegerBoxCertificate.lean":"621765b963bd4a67215a9d6caa29c450d083d22bbce230997cc21fe4fa706159","RiemannGaussian/MontgomeryTaylorIntegerCoordinates.lean":"f121e3315e66e5320b11aabbd331ad0efbf4584a5420234b52544c813d45ac0d","RiemannGaussian/MontgomeryTaylorIntegerCover.lean":"7570d1f73d4a18c6149e26d61fab91ffbc89564390903622291c668459992fdf","RiemannGaussian/MontgomeryTaylorInverseSampling.lean":"c35b8b6e8782cfa6a2bd00908e7a1d414777b7f28c7e80d3be32cb5257e0deaa","RiemannGaussian/MontgomeryTaylorKernelDerivatives.lean":"87d10e947e514f8aaf028f157e052b02b9db9e054b52be98d008658973bad35a","RiemannGaussian/MontgomeryTaylorKernelEnclosure.lean":"9210b4cc9f25d78e7c05bffd979b74c46fc5dfde61f1f10f2f915c1bcd417245","RiemannGaussian/MontgomeryTaylorKernelFormula.lean":"652e98dc37c55dd7410c05dfb710814bbc9da8f2d818a8d24de7ee61e66ccd10","RiemannGaussian/MontgomeryTaylorNumericalCell.lean":"1f626ccdcfa1b912a02684c052e9f4902bf8440cfb590766371e7057fe4b9813","RiemannGaussian/MontgomeryTaylorNumericalKernel.lean":"d7bcaf13bece885a3bf50168c9fbe01714eb0030a172bbdf5489d7a446e614bb","RiemannGaussian/MontgomeryTaylorPhaseEnclosure.lean":"65b0e3c52a495682a53b1484bce61d28a33a4f29d4bd766f4709f91a0f70513a","RiemannGaussian/MontgomeryTaylorPhaseGrid.lean":"08295ccde8da694c657ad5388fb5f42239332495ac53bc3dda0fa286e3c9ffe3","RiemannGaussian/MontgomeryTaylorPhaseTable.lean":"854f6537df654ad2c352dd60e87dfb599481f580b04a6a74fc855a28e9f346e6","RiemannGaussian/MontgomeryTaylorPointBounds.lean":"91c9a6d93ad1f4a5aeeec0a61b56afe64286cdaea47d3891e10c11c3d1305f25","RiemannGaussian/MontgomeryTaylorRangeTable.lean":"fdf86621ea504964119c2a64559ff445e913aabef5914344bb414bb646b7121c","RiemannGaussian/MontgomeryTaylorSevenWindowForms.lean":"f7899f9d962cc71ae128ce02e62283c7d06fdbc9bd2344c24dbb05528048c381","RiemannGaussian/MontgomeryTaylorSevenWindowModel.lean":"9b9ddaa47e66ef8140446ba6d3ba4608b90a4e38d6ab7f25f24e3c10afdc9dea","RiemannGaussian/MontgomeryTaylorSevenWindowParameters.lean":"714f7933a49e2769a2fde4a4a803bfd023d52e39eef7c13b2f1bbaf5b72f34ba","RiemannGaussian/MontgomeryTaylorWindowEnergy.lean":"3f90d399a4a2fa593829387cf634191a626a22126d4d10002f085a697fe2ef11","RiemannGaussian/TrigonometricLinearEnclosure.lean":"98f4863ca8be90bcfb58053857d0acd1e40c835c683362194752e722e9681d41","RiemannGaussian/UniformBlockIndex.lean":"9bb3512c4a89379835f9d306e406fdf4955de7f1eb2992de4648d49885c8b230","vendor/zeta23/Zeta23/Analytic/RectangleLogDeriv.lean":"6606f32e30fe5f7a5c0660e2c9ecb8bb041144e52b090fe880d2c0e4734f5755","vendor/zeta23/Zeta23/Analytic/Stirling.lean":"db1638101a09faf22aac70ae379c3f37df5b7767e123bf4f6b6f2892d75d999d","vendor/zeta23/Zeta23/Assembly.lean":"12794f41369fd4fb7ae169bb193358ac4123dc4bd22a5be6205ee25b402977cb","vendor/zeta23/Zeta23/Assembly/Certificate.lean":"b8307fb1e879d8bf50c9afcc14ae9ed17ac7ea39a10d650704c0c64f5c5bb081","vendor/zeta23/Zeta23/Assembly/CertificateC3.lean":"5e8e1482fa729d6b4843feb46e881e82aa2508bedd0e2f5ad85917934f19b7de","vendor/zeta23/Zeta23/Assembly/Inputs.lean":"4774543e7049159ac2bfd6de313a77edbc7222a5ea9cd1d98b3accc8568da273","vendor/zeta23/Zeta23/Assembly/SeamMult.lean":"c84d583e61c45170278faa0ad721b61760201b349de4db416fb425151a0c618c","vendor/zeta23/Zeta23/Chebyshev.lean":"daa9a056ca00730d6318fc12f6587cb420c31b8c0426b3b851c993731e47c270","vendor/zeta23/Zeta23/Defs.lean":"216b34de76394522aea610c57d342f3dfe8aa1c3d9d6b2ec11509de92f1c6bb0","vendor/zeta23/Zeta23/Defs/Counting.lean":"0d403d6d4d3f4cdfa370b374376dede2d56fa79e1b0146d48ce8c4321496ee0d","vendor/zeta23/Zeta23/Defs/LeafIntegrals.lean":"bce0a60cc5bb5a542cc32146ca2aceb6612718428d1e2afa64c53702c321abc6","vendor/zeta23/Zeta23/Defs/Profile.lean":"fd0f4e10c04f6941ca400eaf3856e3ca4f9c8e8bc8577c996651bac33b763d69","vendor/zeta23/Zeta23/ExplicitFormula.lean":"f602f5ffe70f42eb5397b5128fc681f89cce7094a19b66e4de69ad4ed0cb8ae4","vendor/zeta23/Zeta23/ExplicitFormula/Bridge.lean":"0d25f1f01122a9997546afd4e4188d04631e1148e87adc79b8f9352c381b3fba","vendor/zeta23/Zeta23/Final.lean":"46ffcd80ca80b3d5021c08b9829ac1c03a371fee7cecbbc9eeb76fcc1fb1cae6","vendor/zeta23/Zeta23/FinalMult.lean":"ce5f72526219ba85ade4aa870c71ca3f72e7e39f32e5b595a07798bd4fbf568c","vendor/zeta23/Zeta23/FromPNTPlus/Auxiliary.lean":"8852b7ebc572ae4eda1f3c3e94f4cc072b1c744c2b71ae297bec3ebb74b00069","vendor/zeta23/Zeta23/FromPNTPlus/EulerMaclaurin.lean":"0e2b201e2a99db8650c565f14c2d4c65ff54a59a29f81137a63a00f2d1776ab6","vendor/zeta23/Zeta23/FromPNTPlus/Fourier.lean":"8d53e47135861fd5afaa2ff273737e09353dc9ae0ba8b6875baa16f3a167b1bc","vendor/zeta23/Zeta23/FromPNTPlus/Mathlib/Analysis/SpecialFunctions/Log/Basic.lean":"b345f59bff825700221040fb575823d6902383ff1ab340b2ff849d8382460954","vendor/zeta23/Zeta23/FromPNTPlus/Mertens.lean":"1e798809e2c9299ec5b9b42820beddcc3b06f95fef36f3705a9a1dc667cbaa61","vendor/zeta23/Zeta23/FromPNTPlus/Rectangle.lean":"6cf1dfca9dd3bbe3db9c58acf135a5ea20669808418ad994ed27f67931ea53d9","vendor/zeta23/Zeta23/FromPNTPlus/ResidueCalcOnRectangles.lean":"081d38aa0c5eec725a1582eea3bdf4e51d604f6c2ebb3c9729d91df3aa092956","vendor/zeta23/Zeta23/FromPNTPlus/Sobolev.lean":"e3f254f6e772ebf941f67b4ad978858b6355b00433a943a4e318c22425959062","vendor/zeta23/Zeta23/FromPNTPlus/StrongPNTPrefix.lean":"04b3f3ba1903ae4a1ac3caa5c85675c6224b9e8731ec3c2abae0ade477b1db7d","vendor/zeta23/Zeta23/FromPNTPlus/Tactic/AdditiveCombination.lean":"0c59de0160092cc7eb521c09de7b9a35719d5a33b4fee0795bd312a5c9c3d200","vendor/zeta23/Zeta23/FromPNTPlus/ZetaBounds.lean":"7fcedf94fbc7e22daf2eb940d6bdeffb0d3ecca6b232b6f1aeb2267db975c302","vendor/zeta23/Zeta23/FromPNTPlus/ZetaConj.lean":"6160b5a4e5cbcc346a67f973a4ed7d68f535eb79d803c10882eef74a6c2b8fb5","vendor/zeta23/Zeta23/GammaFacts.lean":"a93c29cf24e253f6f3b7af0fadf18cbc5fe9fe1a67c6e060322f425d2d677674","vendor/zeta23/Zeta23/GammaFacts/Complete.lean":"d43b2d4f3fa0c1d22210e1f671b875a88b09747247e67becbbc38f85f34f2fb0","vendor/zeta23/Zeta23/GammaFacts/IntMu.lean":"1a5e17a5e2482f5119a8e0b0f00b738fe4eece35edba818094c4f92c35d0c5a7","vendor/zeta23/Zeta23/GammaFacts/Mu.lean":"7799c7fc992bf1f1697c613fa22d8786e7d0bf64b8f096b20a67ca3028e451e0","vendor/zeta23/Zeta23/GammaFacts/Series.lean":"15a7ed9d63288e9630300898f9a1ed78fee3bf32c889f81cb5081d17d76a4f59","vendor/zeta23/Zeta23/GammaFacts/StirlingVert.lean":"88aeab65dddcf16d6ee01fbd88bc85fe7adf22ce5b91c0733cf633416079403b","vendor/zeta23/Zeta23/Hypotheses.lean":"b64911caaf69328e0ca4fced1fd1f80fdca02d57bce390db34843b9849ccb4e2","vendor/zeta23/Zeta23/Hypotheses/GzGp.lean":"b9c32b106e93af85179e3973db2c22e76918cca167959be9e2757fc0e07e7c2a","vendor/zeta23/Zeta23/LinAlg.lean":"a08efc558bdaae67271c6ca0ef87847284237b1bf0c4409595ba72abec96805f","vendor/zeta23/Zeta23/LinAlg/HermitianPosPart.lean":"f3d73476b80f31a8c2b680ef25b7471d20f2df86ed27b7f74045e56086a6a6b3","vendor/zeta23/Zeta23/LinAlg/Inertia.lean":"afb853a1772319779d614c3c82304880e2cb8f6272004cb49fa4662340fc458f","vendor/zeta23/Zeta23/LinAlg/PosIndex.lean":"e07fdb5ba552308fd859248133464a2a3610d55521ff56716515a050ddd6e167","vendor/zeta23/Zeta23/LinAlg/RankTrace.lean":"960a7b4e4f1091bf7fce2efe1135e52aa4e16c9d1c389aca382a1f1795c8a9c5","vendor/zeta23/Zeta23/LinAlg/Sylvester.lean":"2aa520bf586d06265e74b3e86967cf36f7e68e87457c1777fdb58da3d324c510","vendor/zeta23/Zeta23/LinAlg/VonNeumann.lean":"854d6b95c53a25476fa352f138a46b9d83937e3df28b87739309e03f1fcdc89a","vendor/zeta23/Zeta23/LinAlg/Weyl.lean":"961387b3f2b8a6dc62d72dfd6a6e8ad5800b638b8b341ffdde4d7f5afc41d900","vendor/zeta23/Zeta23/MV.lean":"203f1b47b1f8c5cb945d35225d8f0c80db05446668d99c2a8a56fa0130043a7a","vendor/zeta23/Zeta23/MV/Duality.lean":"5250202b9eda682e5b283c0eddb9c960025908c0e7abf78decccb1905b54862d","vendor/zeta23/Zeta23/MV/Eigen.lean":"751cea17c7d08126f5a6a5edb9b9a4e84e89e11e407227d8d1b256f19b8316fa","vendor/zeta23/Zeta23/MV/EigenIdentity.lean":"e5fa5981760e91aaf277d9122bd63b71cd42004cb1a062cdfe3f82c0bebe3e36","vendor/zeta23/Zeta23/MV/Final.lean":"d25c97590ba882c9acf73112a5e306b5885c9dca5bfa50d35f7d120993d0c941","vendor/zeta23/Zeta23/MV/Quadratic.lean":"ac0f2fbdde09b867649f3140703085b74041b06cca20ef736aedf5d310858f88","vendor/zeta23/Zeta23/MV/Spacing.lean":"e3e2884c656d853829308f1e71080d1748ed06ff779b0316c328d1fdd23397f0","vendor/zeta23/Zeta23/Main.lean":"9ffe70b13e0695022bd155803190dbcb031845e748de4a0a59477e84e8242e50","vendor/zeta23/Zeta23/PiFacts.lean":"aa9fba24f9eb8583266fad5442de94fcdce2767be65d5cbe11a4960b744039f8","vendor/zeta23/Zeta23/Poisson.lean":"0b73daec743724f14be6db73bbff74e0ba206869f9d76805a8c2f3456b849194","vendor/zeta23/Zeta23/Poisson/PaperFT.lean":"a95d70cc4b994afd4d78bcbf71948a133e7212c2e0f18e775ffa1bc55dc38e93","vendor/zeta23/Zeta23/Prelude/InstancePriorities.lean":"2c9d2ee602987da89bbbe621149fad2b4a2476699f60535706a12b2fe9833f8e","vendor/zeta23/Zeta23/PrimeSideA.lean":"c6a9bec4a2d6ce3fcdb4239550f1406edbb2dfc9adff5132f721570c76630842","vendor/zeta23/Zeta23/PrimeSideA/Basic.lean":"06703868b1fc098ab900c7651ec7b3c17ce83c770cb896e0033694c7645edc1f","vendor/zeta23/Zeta23/PrimeSideA/Bridge.lean":"9e42263a0b2a7b636a99f17df00075b849fd7f5248b41a5cc11a211f5218de75","vendor/zeta23/Zeta23/PrimeSideA/CrossMuP.lean":"32f6b6e673080b8d3804c9f5840cdd5e744f8d6ad30f8b8af852cd5cdd4a7e7b","vendor/zeta23/Zeta23/PrimeSideA/CrossMuPCore.lean":"41139eba2832c4d77f3e307f86dc4ccccf4ffc04df870ef02d88750c0a2d859f","vendor/zeta23/Zeta23/PrimeSideA/Defs.lean":"52469c40079a6ff2075c59938e8bfe46e0c5af5726c77ad7f8e2f66b2b8db17e","vendor/zeta23/Zeta23/PrimeSideA/Ends.lean":"c3aa6ec890bdc92a981a2f6367a5f3ad1132cc67fa1be35413d96710017c01bd","vendor/zeta23/Zeta23/PrimeSideA/EndsCore.lean":"70dfd12f92a3a3f51750c48e46717f5c2624083c93e997402b96cf537e843421","vendor/zeta23/Zeta23/PrimeSideA/EndsE1.lean":"6a206229945d3d1c4926e0560c4170c41bacaeae8aafaf7b6d8e2018b1bc235d","vendor/zeta23/Zeta23/PrimeSideA/EndsE2.lean":"971fdaf7eed843761faeeede1816368c94f1fa3b75c7b23553197f124ded7b56","vendor/zeta23/Zeta23/PrimeSideA/EndsNu.lean":"d0b2b73d52f0c9d36f24646c5bc9447418e18793166c026f13570d991e0c4d15","vendor/zeta23/Zeta23/PrimeSideA/EndsWeighted.lean":"712af4d3cf29a5e169ee53337edc796e738e82e90040a8ab2a3077cceebb7cad","vendor/zeta23/Zeta23/PrimeSideA/MuMu.lean":"883a8079e1bcfbeebafb1d2c67d70c30c7366596d78b5a349a17c49d4cd63784","vendor/zeta23/Zeta23/PrimeSideB.lean":"dacc44622988ac4b8973f5402b69eb95cfc8a5a489117eb4cad4fd525f274214","vendor/zeta23/Zeta23/PrimeSideB/Concrete.lean":"5e10180dd43ce19821d3522f9090478566c8369d0b54cb5f9804957d95b3565e","vendor/zeta23/Zeta23/PrimeSideB/Final.lean":"879226ec5632ac4f4430512b8535f801ad443423cf68450c0fbabec293831a90","vendor/zeta23/Zeta23/PrimeSideB/PP.lean":"3759e83b719726503eb16cfac801e11ab4a912c6b84ecea275cea71dc4b950dd","vendor/zeta23/Zeta23/PrimeSideB/PPKernel.lean":"afe6d56c4d153de6a812fa888a587d2cfe6f7904bbebb5497acff5cdadd48723","vendor/zeta23/Zeta23/PrimeSideB/PPOffDiag.lean":"6f3c33c5798a53f13dc6026c67b9dc3c0b6be8847e79589f5aa272c1343e3a1e","vendor/zeta23/Zeta23/PrimeSideB/Traces.lean":"6aac050bf8306ad7439488366b9e88e6540822d9960404896a42321ac9cc5c3b","vendor/zeta23/Zeta23/PrimeSideTemp.lean":"143b8a1d2dd5ac52ccde472e53ee7a34d1794dd3c7992466f2b01236f72088cc","vendor/zeta23/Zeta23/RvM/Backlund.lean":"64a52ae59879ba2bf46aabfad96d8e591f2e4cbc01b755a5d9d024d4229685ba","vendor/zeta23/Zeta23/RvM/BacklundDefs.lean":"83b7dcab714041eb8146a9b80f143ee7e6be7c742891074a638d7c2eaa4e1e95","vendor/zeta23/Zeta23/RvM/CountByIntegral.lean":"2a3bb9d814f6e3edc26015f6a6363439b827080c0d62aa348af7cf9bf4af665e","vendor/zeta23/Zeta23/RvM/Defs.lean":"32662cdfc84f70be58210feaf6a7f8db3588565c74d52e030d1edb9ef32d8671","vendor/zeta23/Zeta23/RvM/Fold.lean":"2f1ba3640d30c967327bb0aff86832bdb1d327fe9ee810ae40bd96c55e12131a","vendor/zeta23/Zeta23/RvM/GammaSide.lean":"1c1b862f6645e0f9d16872bc25c8e4e986258777ce3b3a67d4da9f2aa3149573","vendor/zeta23/Zeta23/RvM/Halving.lean":"d77d5b717bdf8143c084562a842f090b6dde8d90beac01458b4da36c6e7b5959","vendor/zeta23/Zeta23/RvM/LocalCount.lean":"f23b7b226a62a7622e09bd867136faf00567e2c14a1fc697cf83b5aa5f065b45","vendor/zeta23/Zeta23/RvM/MainTerm.lean":"e1e5eb11901595177457869b70d6d7dbb0a5c2c27ede33955efafec5f93c301f","vendor/zeta23/Zeta23/RvM/NcountWindow.lean":"8818aa536e2ffdfdce13ef20953470076517cf0621312679ee7b4e9733a39a64","vendor/zeta23/Zeta23/RvM/ReZeroCount.lean":"37107c2296a24b4a5172b0bfb2b6a48a138ca5dd7053ca0eb34271d7df8303de","vendor/zeta23/Zeta23/RvM/Statement.lean":"3226fbc3de1b223a067d1d454c1e7400ac81c652dbbb58f494e42a6a583061f6","vendor/zeta23/Zeta23/RvM/ZetaGrowth.lean":"91a33dcf908921bfaa05ec64f4c20f40d83593228f956d945cd71c272a98ef44","vendor/zeta23/Zeta23/Statement.lean":"8ee1109d5996fc7e139fe52f63ec237911a7c1e17b0a4cd2b5dea8be7db71f13","vendor/zeta23/Zeta23/Statement/Seam.lean":"101a3c80d41cad7c4c4164d8763b9babeb94cfac03eb16490c041aaade5d5606","vendor/zeta23/Zeta23/Statement/SeamClosed.lean":"b2b03190fb3cf4520d273f8bdb9fc7a89939381c8aaff360e5845108b4d8b88d","vendor/zeta23/Zeta23/Tail.lean":"674d2a40f21d5287cc3801fa81faadc37a6910dbc3fb344b43d88fab8dcfa512","vendor/zeta23/Zeta23/Tail/Basic.lean":"073496f8fa3fe6e7166c4dadbb65c42478bd38bf485c7106b26edc41120b7947","vendor/zeta23/Zeta23/Tail/Count.lean":"737b90b4b51a1a68c0c36d924b06672b684cc8b144bd1511a569ebc2228b163d","vendor/zeta23/Zeta23/Tail/Grid.lean":"e00fa4129ec4df0b206c4b70f31c34e9998f6cb4745d3a212bb72d2833c538cf","vendor/zeta23/Zeta23/Tail/Package.lean":"d295a377c91b90aaf71d447d0361e089bca8005b2b7fc5ee229a302a83029efb","vendor/zeta23/Zeta23/Tail/RankOne.lean":"97e080ce5adcd2fa7715fc6ba5ab32ae153d9b967292650e64084afde5d2faba","vendor/zeta23/Zeta23/Taper.lean":"b4b91e74d3f9598a99183e3b73f88661483018fe5cee6b64f515003e21d9f209","vendor/zeta23/Zeta23/Taper/Basic.lean":"4866d1950ca20bc632c00655e2611ef690fce0fb10efafb35614d77d7cbc972c","vendor/zeta23/Zeta23/Taper/Decay.lean":"723b6c7373833aa4ad769d7c723c5269c71e5a69efa728a2bb236d8e35f8ff4d","vendor/zeta23/Zeta23/Taper/Fourier.lean":"712909d460cf675b2944d99768775f852a691e58f7f2ad71369d7c7dc1aaeed9","vendor/zeta23/Zeta23/Taper/Norms.lean":"3593500eaec8f91f82f6958039526f6751aaa9dabe699fec1848f1aa11f3c599","vendor/zeta23/Zeta23/Taper/Params.lean":"66519846d14eb0b370303ab728b4eee4cb332a5bea71f122592f89746c5a1465","vendor/zeta23/Zeta23/Taper/Strip.lean":"03bd8e55856a7a5e58a02ecf477db74d231e599e46858bc9cf8397462de2d04c","vendor/zeta23/Zeta23/ThmD/AssemblyD.lean":"3d4e66cdb4c0f006e1ea33827791111957143e3b3766f4610acf5172ace42b26","vendor/zeta23/Zeta23/ThmD/BridgeD.lean":"43b0468ac3e757322ba5c0684a0655641335c8a89b4f3a79b0e01f5b17c47847","vendor/zeta23/Zeta23/ThmD/Concrete.lean":"598031d2f3f4e8365223119df64092145aa60a7e8ad834f4045a8b2ae1f92336","vendor/zeta23/Zeta23/ThmD/Endgame.lean":"69eb795d5002fe4a2764901d5867a4eb0b84750703888d8e87f7d975351c9b43","vendor/zeta23/Zeta23/ThmD/Final.lean":"1f14ae1d267bb82fe43a38c9ea0db37211f46d8c78d71fa145902dd7dfbb612c","vendor/zeta23/Zeta23/ThmD/Functional.lean":"3fd7fd89639e936ffff88ee34643efb8291a9ef29422f8335192c2ef80ed7c3a","vendor/zeta23/Zeta23/ThmD/Limit.lean":"532817705a08bf11e8c08afb591a4d2bc6d186ba4cfd03c06dc3f2c41ef2758d","vendor/zeta23/Zeta23/ThmD/Mult.lean":"9dc42aea8d30092c70632bd6f1b229981b7cb8f3b32dfedc6c007d1e452495aa","vendor/zeta23/Zeta23/ThmD/PP.lean":"7c8b01a1124fc54bffbbbbd911afee5cb3b5ebbc2eaa54b673c4c5a85e20b502","vendor/zeta23/Zeta23/ThmD/ParamsD.lean":"5294d988bcb3b2773715a3984c58f171e1d7c2adf2160fd4f198232275c74ce5","vendor/zeta23/Zeta23/ThmD/PsiC.lean":"0101af29d084ff462842461655364f23f80e6dfebd34381be4b6b3c73fa20846","vendor/zeta23/Zeta23/ThmD/Traces.lean":"e261a73c5efa12a018bfb8958ebcecb810013b9590d550332502e317d7232c9d","vendor/zeta23/Zeta23/ThmD/Window.lean":"90a2719f5a7c81599062844fa0f237cb19e1ec67d0aa42feaae8857f39fa2196","vendor/zeta23/Zeta23/ThmD/WindowCore.lean":"4aa7d667a370622580e030271cd448b9e0219122b21b5fad1ce0fefd0f90d93d","vendor/zeta23/Zeta23/ThmD/WindowLocalHyps.lean":"205e020f24f001b0c7f8a6dfd6333608adc62f0e41d610e92f3e4acef4dda7b2","vendor/zeta23/Zeta23/ThmD/ZeroSideD.lean":"0e58cdcae04edbe4b1d83415b0ebfab2ddd85e5829362453f75b08195e4d0e13","vendor/zeta23/Zeta23/TracesBoundsE.lean":"4e44c73d585d13f594f3f09199e59660b742b46a1a446ccf004cadeb48692954","vendor/zeta23/Zeta23/WeilEF/Contour.lean":"4dd5014b34e7f8402e7a44ac2ad5d9c55a271b081a7059015d085885973187c2","vendor/zeta23/Zeta23/WeilEF/FullLine.lean":"9278aa29ff80cea45cb231e731f0274c07097bd7c8922695d2b78aa4eca2ee16","vendor/zeta23/Zeta23/WeilEF/FullLineAssembly.lean":"eaeb9735aa17afa42b3dd6c2e2e25fb5c725f7959c30e4cb46a3e7a9228ce81f","vendor/zeta23/Zeta23/WeilEF/GammaRBracket.lean":"3b9d237b07e090f4f25cd11a2b54a74ae0fd561779511b55dd2763691d427c24","vendor/zeta23/Zeta23/WeilEF/GoodHeights.lean":"24a22156d99341d701adb4a220bccd1682f8477fed95c27cc6e859f52eca9c3d","vendor/zeta23/Zeta23/WeilEF/Horizontal.lean":"60fa56485acfedf5d0ec0e9bf7f6cf6b42ca453432bcc3271ed25668ad606667","vendor/zeta23/Zeta23/WeilEF/Landau.lean":"f3b2c597f1b040b2b6ad17e3f18378f56fb3a6f3f1969674124411351eeb5e86","vendor/zeta23/Zeta23/WeilEF/Main.lean":"1d51bb99ef675184762ce91f03cf64d06277d0a2aec58601c6923da35fa690d0","vendor/zeta23/Zeta23/WeilEF/VerticalLine.lean":"2df131b682e2a2bcee51de18059c4e336a94fa5900f9e47399031a195bdcbfcf","vendor/zeta23/Zeta23/WeilEF/XiLogDeriv.lean":"ff98bfa205ba351b510a68fdae02a695a4671091b5e3c33509e37412a4b1bd9f","vendor/zeta23/Zeta23/WeilEF/ZeroSumLimit.lean":"c7b260f4df56cb6e24cb606d80a62e86202ed95d92bfe4c732b3d913a1b859e5","vendor/zeta23/Zeta23/WeilEF/ZeroSummability.lean":"2d2c7095ec2d8c5f37283727633ab48164efd540e1e487edccb19c237de16112","vendor/zeta23/Zeta23/ZeroSide.lean":"7b1cd04975d25015c5bed0f26a253238db3f5c8205a5a82c2c153d8770d047d6","vendor/zeta23/Zeta23/ZeroSide/Final.lean":"b23c1704ff423577ae1e19badcca8f242af55d0f89c92d76c11dea0fc22693d5","vendor/zeta23/Zeta23/ZeroSide/Mult.lean":"8b16d42b3cc096dfbe207c2174a73d11e302311b89c8c31a5a82c8b8aa7db57d","vendor/zeta23/Zeta23/ZeroSide/RankTraceMult.lean":"6f5439a2072a73a7bf5fa5b2d44102862b40a0a9650f49484383d208b4c4cdc6","vendor/zeta23/Zeta23/ZetaReflect.lean":"b292bfe94d88f514b9cfcf87d30faa1447c0f9e33a7a2aa9af590146a59bed60"}}