files / problems / ramsey-r55 / compute / q3 / logs / prove_p7_3.txt

15 KB · on GitHub

{"bytes": 874036, "index": 3, "sec": 2.136, "sha256": "c2fdf96391b5445c22af9dfbf865eac827b29ff10fcf95e31326bf52b124d0df", "status": "DRUP_VERIFIED"}
{"bytes": 1120501, "index": 11, "sec": 1.942, "sha256": "73ab139c87882b0afc44a3d8d38479d7efe51135dc9477fbcff5d68aba72da8d", "status": "DRUP_VERIFIED"}
{"bytes": 1634030, "index": 19, "sec": 2.823, "sha256": "8107f87f11c506df30e13356cce88dba3a0a5e647b51c01413610e7f5215dca5", "status": "DRUP_VERIFIED"}
{"bytes": 2920051, "index": 27, "sec": 4.568, "sha256": "ef81bf0604464f577b47cdc64667cf2dc855efd1c6ee9a5087d842663552eb42", "status": "DRUP_VERIFIED"}
{"bytes": 921960, "index": 35, "sec": 2.312, "sha256": "81109c690e98bb3324d32b2d92e08c752b96e43ae0a48aeb51e5576a00bf2b28", "status": "DRUP_VERIFIED"}
{"bytes": 11339922, "index": 43, "sec": 17.515, "sha256": "7fe3595e94a4fd89f7cebd90016a016d16683028785c0ba608c3e191efaaf591", "status": "DRUP_VERIFIED"}
{"bytes": 717301, "index": 51, "sec": 1.543, "sha256": "6235520837f2557b6d809fadee07f6b74da8183889740b80e2c6cbf5a062c320", "status": "DRUP_VERIFIED"}
{"bytes": 1698610, "index": 59, "sec": 2.819, "sha256": "0e0b584fe1f465c4f677a8748096a75c55125ecd3cf927f757b90559336cdbdd", "status": "DRUP_VERIFIED"}
{"bytes": 2089072, "index": 67, "sec": 3.454, "sha256": "a00cf28b1a0b287317db025a720dff8666fab99ed9ff13a803cce2e253dd3540", "status": "DRUP_VERIFIED"}
{"bytes": 11300414, "index": 75, "sec": 16.136, "sha256": "f9d63597619839c37bb64c8d9f3452592351a655fe64940b6e5ff61c6c508da5", "status": "DRUP_VERIFIED"}
{"bytes": 1128550, "index": 83, "sec": 2.318, "sha256": "29c8b0fed150da3cf7f594e880bd47158908cf0111f92ea43c3f8fed99f8efec", "status": "DRUP_VERIFIED"}
{"bytes": 23287729, "index": 91, "sec": 46.775, "sha256": "bddc7a437df3dcd2ae79cf41bc28a83ac23d62bf8ab5d4501e5ab6896b06d400", "status": "DRUP_VERIFIED"}
{"bytes": 12608365, "index": 99, "sec": 26.067, "sha256": "10195242eaab7d9e54a80f85dee8d9aef1bc5431ca67ab47006bc15ae0fcc7cb", "status": "DRUP_VERIFIED"}
{"bytes": 22250816, "index": 107, "sec": 42.233, "sha256": "f029634e77021b0e98d252b3d00fb57f839126e1a8681dbd0da9a1dcbfb0ef45", "status": "DRUP_VERIFIED"}
{"bytes": 9296718, "index": 115, "sec": 15.543, "sha256": "ac369088989bf4131a3cf7ed4a42c28865ddb52a5f625828839837af72d8e258", "status": "DRUP_VERIFIED"}
{"bytes": 1562155, "index": 123, "sec": 3.379, "sha256": "e72a28fcbb395f98e2ac78441dbcfde3f647c81d2471a915b35a71b55f2f8bf3", "status": "DRUP_VERIFIED"}
{"bytes": 2231178, "index": 131, "sec": 4.885, "sha256": "12f33ebfab3f5f73068ab6d9dee14c42d57e7b65763006a3575af154f6d446c8", "status": "DRUP_VERIFIED"}
{"bytes": 1815204, "index": 139, "sec": 3.373, "sha256": "aeb5a119a49390d1792d8d21e8f641604aeda59d937da9c1a49254ed5b3cd59c", "status": "DRUP_VERIFIED"}
{"bytes": 1683828, "index": 147, "sec": 3.525, "sha256": "9539fc002dc91ac5daaa639e8b2ae0c3bd56262dbd5ad5879df781df3b588239", "status": "DRUP_VERIFIED"}
{"bytes": 3553691, "index": 155, "sec": 6.003, "sha256": "b7303110e1baf71f38e31fa02625ebc1b29b7c233cc8b2ce33679003340f7810", "status": "DRUP_VERIFIED"}
{"bytes": 1128255, "index": 163, "sec": 4.541, "sha256": "6ec5da0feadd0b09450f6d84fec5b39ee2715204ce27b4c8f2b10ed36806d78d", "status": "DRUP_VERIFIED"}
{"bytes": 1621983, "index": 171, "sec": 2.767, "sha256": "c16c04699c81337a28458e7698c2e502c46fee5b1c42a150dbda34c5f47128c6", "status": "DRUP_VERIFIED"}
{"bytes": 2061725, "index": 179, "sec": 3.616, "sha256": "f790e8021331f78382e0be5276789d75fba14be93d7a2eb6f3c287faa9437c12", "status": "DRUP_VERIFIED"}
{"bytes": 3538443, "index": 187, "sec": 5.925, "sha256": "f3c666c4f83c56596318ae40267cfee12eea15cda6129ae5a152c9364f642c7c", "status": "DRUP_VERIFIED"}
{"bytes": 1688514, "index": 195, "sec": 2.801, "sha256": "13b0a089185da7e4a06cdc10cad0b4a04c4fd4407d6f266aea53f821470011f8", "status": "DRUP_VERIFIED"}
{"bytes": 1581581, "index": 203, "sec": 3.562, "sha256": "067156f9ce67f8445efb1160ddc2d65e8f2df419dde8e7b9f2fe0b5b2bbd0c10", "status": "DRUP_VERIFIED"}
{"bytes": 6612402, "index": 211, "sec": 11.267, "sha256": "bbba6e5a4bb5f1eb8d8088bcbd8bea85c1cc19e6564ff85a3277324e86a97262", "status": "DRUP_VERIFIED"}
{"bytes": 24401894, "index": 219, "sec": 45.781, "sha256": "ba22b73946caa204342651a1cdd930845e43c6c0cc4f05ffc93e9503f93dd1ed", "status": "DRUP_VERIFIED"}
{"bytes": 1922624, "index": 227, "sec": 4.354, "sha256": "7a809fcd577409be205df4f0e5cfecb5fa6b24cc0c83e0429e2bd41c6291d6b6", "status": "DRUP_VERIFIED"}
{"bytes": 1654055, "index": 235, "sec": 3.008, "sha256": "e0fd62b48ef47134fc072ed8a0ed490e8c6f5bdf698e5b5c68ea389ffea9f244", "status": "DRUP_VERIFIED"}
{"bytes": 3350458, "index": 243, "sec": 5.278, "sha256": "57da7f1b0e03225173962473f8c5c5763190661f967ea724c149df8a6770e4f8", "status": "DRUP_VERIFIED"}
{"bytes": 1007286, "index": 251, "sec": 2.102, "sha256": "a94323706c7311d4550ea32d71b20a46deff2630164235e0b92ce95b20a0b08f", "status": "DRUP_VERIFIED"}
{"bytes": 2334314, "index": 259, "sec": 5.427, "sha256": "046f556f3b8b4abbd1e08ff651fd01af22e34025014effe9ab95b4560d665579", "status": "DRUP_VERIFIED"}
{"bytes": 22208082, "index": 267, "sec": 35.139, "sha256": "40b1dac8181c0aba17186462cefde96ca941118a4f318e9acf5da4c3cabf01a2", "status": "DRUP_VERIFIED"}
{"bytes": 2330342, "index": 275, "sec": 4.08, "sha256": "cba85c733f2ae813b8a29552e6fa86934b781c6a7056eff45186a4bb076c7f69", "status": "DRUP_VERIFIED"}
{"bytes": 1859160, "index": 283, "sec": 4.096, "sha256": "cb4fb94de9abdf8c1a629652e70e21b5d020faaa57037db50367f64d1875289e", "status": "DRUP_VERIFIED"}
{"bytes": 2067761, "index": 291, "sec": 3.788, "sha256": "db3673ba66caca22db0226a4d417635e5287da121713c11c3a32316f1a0d55bc", "status": "DRUP_VERIFIED"}
{"bytes": 1756789, "index": 299, "sec": 3.948, "sha256": "a2d3d14ddb8f09b49f701cf80e38228e9f9a690ea6fe3bb9e2fa9502eae3132b", "status": "DRUP_VERIFIED"}
{"bytes": 1065344, "index": 307, "sec": 2.373, "sha256": "79d7356dc30070af9b839e78e5e04840d3394062327dfdac82eff45cce7461c6", "status": "DRUP_VERIFIED"}
{"bytes": 1518248, "index": 315, "sec": 3.237, "sha256": "dd0e5833e2ef9adc425d97a096a0078cec92334ccd6b06f3321abc8d7bf046be", "status": "DRUP_VERIFIED"}
{"bytes": 1087722, "index": 323, "sec": 2.196, "sha256": "33edbc084e272dea0350280f62d1e738db1dea1833f50bd5f989800a8b7e8d9b", "status": "DRUP_VERIFIED"}
{"bytes": 16956032, "index": 331, "sec": 28.225, "sha256": "786c102196974597b00a86b56094e7a048edf6dd9d5bc112d3c6b7bcc3c0db0f", "status": "DRUP_VERIFIED"}
{"bytes": 1345386, "index": 339, "sec": 3.476, "sha256": "441ff5d28539b6b5c3a37512f91498e19c1286d786ac2652c089823926fca366", "status": "DRUP_VERIFIED"}
{"bytes": 21662674, "index": 347, "sec": 41.564, "sha256": "ec0d165124a802e4af8b059ba608c4438ff23c1a44cef26551d4944e10308fa8", "status": "DRUP_VERIFIED"}
{"bytes": 2362831, "index": 355, "sec": 4.031, "sha256": "7b5fed0c9a7e035c131a1feeabf9359858ab1d2193d09247868217be7a29d436", "status": "DRUP_VERIFIED"}
{"bytes": 1906723, "index": 363, "sec": 3.604, "sha256": "dca9d9b9af0dfc4ad9afc4fd7b1c78a0b7589fa1c38abaff6705e1c6767d3bb9", "status": "DRUP_VERIFIED"}
{"bytes": 1920260, "index": 371, "sec": 3.398, "sha256": "eba33297f0bee497146b12310176ae7fa54dd768d64555e3fcbe90ed638b4279", "status": "DRUP_VERIFIED"}
{"bytes": 1459651, "index": 379, "sec": 2.53, "sha256": "6e1accad9f895974273085b58690c1b1327d27a69f2a656b05c75fd203dc74b6", "status": "DRUP_VERIFIED"}
{"bytes": 16315064, "index": 387, "sec": 25.142, "sha256": "544d83d69b9037476490572e71ff5aecb43f3f82fca815451555ec3e6c1aef34", "status": "DRUP_VERIFIED"}
{"bytes": 1967370, "index": 395, "sec": 3.657, "sha256": "80d6bb190188efcb564cbfec27d1d7c2c737a5dee472cf7aa8bda19e782e665f", "status": "DRUP_VERIFIED"}
{"bytes": 1497477, "index": 403, "sec": 2.749, "sha256": "9d010b080c5c5dbc7c5c3bff21db9cfd45cdf107d1fefe46f4e7d2ca1c71c849", "status": "DRUP_VERIFIED"}
{"bytes": 2838651, "index": 411, "sec": 4.507, "sha256": "e2adc0bd861c974d9f1ef12aac3016262bc9bbe17a04f5a8561042992ebe2f26", "status": "DRUP_VERIFIED"}
{"bytes": 1492378, "index": 419, "sec": 3.019, "sha256": "90517466e62847979728869665ae8b9ecf2106dcd858d7358bb58b2e0627de91", "status": "DRUP_VERIFIED"}
{"bytes": 2395176, "index": 427, "sec": 4.395, "sha256": "26363f95f95ecb0a56835fd2e734bd9cd37e4435b4367a31f803097715804584", "status": "DRUP_VERIFIED"}
{"bytes": 1306184, "index": 435, "sec": 2.604, "sha256": "cca4eb5c389062af384738539689a8f8c11f2de5c1742189b8219f0fe6f290d0", "status": "DRUP_VERIFIED"}
{"bytes": 2101570, "index": 443, "sec": 4.463, "sha256": "833cf15de67946f663b5d7c2d51d1e0f14758ac192060b1a9769fd004dbe26cb", "status": "DRUP_VERIFIED"}
{"bytes": 2688303, "index": 451, "sec": 4.334, "sha256": "867f380544ffa30c2b8c055551e74a8d176052894974d349ed931be621dab730", "status": "DRUP_VERIFIED"}
{"bytes": 3516398, "index": 459, "sec": 6.444, "sha256": "83abe954c2e69724e3dbe2870f63c3f15d9be52c1cc7b53566d9d4f4a50bf5a1", "status": "DRUP_VERIFIED"}
{"bytes": 968534, "index": 467, "sec": 1.908, "sha256": "30804a033c21afbd6310bf17db866fb14d2e5e3127536a59cf38eb0b87db201c", "status": "DRUP_VERIFIED"}
{"bytes": 2593004, "index": 475, "sec": 4.125, "sha256": "2cc37c536ca317a021db6bb45e36fadd28dd48b0b09288a46bbaee0dbce58a37", "status": "DRUP_VERIFIED"}
{"bytes": 3171271, "index": 483, "sec": 5.754, "sha256": "33110fc4d308eb043ba165a5004a7d34de90533d59d8ce90bda373a68f9694cc", "status": "DRUP_VERIFIED"}
{"bytes": 2140515, "index": 491, "sec": 3.966, "sha256": "b4d47c2306dad95dd3060eb840956a55574a94e5f55f0c3b50b5a814260b7b09", "status": "DRUP_VERIFIED"}
{"bytes": 1400249, "index": 499, "sec": 3.135, "sha256": "06c53aac0a8d8a77b21aee99920e5304e1f2d4f91afe829d71217d4bf8180be3", "status": "DRUP_VERIFIED"}
{"bytes": 740626, "index": 507, "sec": 1.741, "sha256": "578710560709a2d75687fe85659b283c724937be5d00dfaab16f4c5e87ebfa3d", "status": "DRUP_VERIFIED"}
{"bytes": 893507, "index": 515, "sec": 2.284, "sha256": "c6d8749844960da54da1123eb2fdc01912ad529e3c2fd489e71471105dc109fb", "status": "DRUP_VERIFIED"}
{"bytes": 1106628, "index": 523, "sec": 2.168, "sha256": "86e0bdf3fe7c09244b65e44036c5984ad1664efbfb9b6d4befb4e4b818b5516a", "status": "DRUP_VERIFIED"}
{"bytes": 2177749, "index": 531, "sec": 4.594, "sha256": "b3745240b38cc8f5167168b799470b7663fd257396e72fa0da792d9bf5a6e20c", "status": "DRUP_VERIFIED"}
{"bytes": 2040337, "index": 539, "sec": 4.378, "sha256": "4a4d289ba1cc6decc07b4f54e3c50d124feeff6ba8c0409099b3255c3a8ed423", "status": "DRUP_VERIFIED"}
{"bytes": 1789624, "index": 547, "sec": 3.68, "sha256": "ccd276cfda1a46ecda82ec0bf425741b4f89d536ab665d77b21806614285d20e", "status": "DRUP_VERIFIED"}
{"bytes": 1122459, "index": 555, "sec": 3.026, "sha256": "3e0d04ca2c29dfce4b62974ea9d35c90474d664b320ad38cbde99f187b2b43f3", "status": "DRUP_VERIFIED"}
{"bytes": 1279798, "index": 563, "sec": 4.49, "sha256": "68258ea65674ec2be1303b56b54c52a455b2e21788d3033f38be91d0b0d43441", "status": "DRUP_VERIFIED"}
{"bytes": 1419993, "index": 571, "sec": 4.025, "sha256": "da414819a58a486278572ed9c34dd5ba42d2271e2f98e4dbef5a087abe0c5892", "status": "DRUP_VERIFIED"}
{"bytes": 2050617, "index": 579, "sec": 4.385, "sha256": "ced601688e6fe56e9b32436b1f7e6b6c24b085cb2d0ff73637873405975781c6", "status": "DRUP_VERIFIED"}
{"bytes": 1820038, "index": 587, "sec": 3.98, "sha256": "f2822b902efc3bc3d6768b24d2b76bb350db32ae94ee93255b61d379d7d6594a", "status": "DRUP_VERIFIED"}
{"bytes": 2389141, "index": 595, "sec": 4.384, "sha256": "981e2abb2d969beb5ab9dc9440b2fde29561ac6533ca6805a133c0c7b66d2c9f", "status": "DRUP_VERIFIED"}
{"bytes": 1806134, "index": 603, "sec": 3.95, "sha256": "a0075c231f77193d37156464d312fe6d79f447855479c823fbf30ff8d702fcc4", "status": "DRUP_VERIFIED"}
{"bytes": 1734045, "index": 611, "sec": 3.389, "sha256": "85eb18b5fecf0e9eac8a996197080432a041ba32cc14b6291b9b13ac37e32ed8", "status": "DRUP_VERIFIED"}
{"bytes": 2406277, "index": 619, "sec": 4.337, "sha256": "1da23dcd06cde0ad4fd6028ec32f35cdf2656f46b94ef74f72f415b97ac8c089", "status": "DRUP_VERIFIED"}
{"bytes": 2055616, "index": 627, "sec": 3.931, "sha256": "f413a333aaa546d00df419d153cfadd0b332554ca4b4990dec50cf340eb191ae", "status": "DRUP_VERIFIED"}
{"bytes": 2020260, "index": 635, "sec": 3.572, "sha256": "4e0ebc80104b8e46960aebf85641f6583fbfda522be56922d6a14abd551f88fa", "status": "DRUP_VERIFIED"}
{"bytes": 1997698, "index": 643, "sec": 3.534, "sha256": "c446e582d79604f58e8fbe887a6483b6f35153e2f753ef6950da5a255749a180", "status": "DRUP_VERIFIED"}
{"bytes": 1462738, "index": 651, "sec": 2.532, "sha256": "59876075f170c6ff26808e19ab8486629b7979c7a74a47cd9e618f271ccad602", "status": "DRUP_VERIFIED"}
{"bytes": 1177224, "index": 659, "sec": 2.255, "sha256": "91fbdf329487b0c0348fd060c4f138d6c89b11c45df2f051583e20a78227a050", "status": "DRUP_VERIFIED"}
{"bytes": 1925196, "index": 667, "sec": 3.216, "sha256": "9f0f0fdecdc2a5faf59136637b2d8afda6afa1c655a35ac3a2b859794c1a2c05", "status": "DRUP_VERIFIED"}
{"bytes": 1862691, "index": 675, "sec": 3.001, "sha256": "f46b1aa2107d0f6138c44a97a517b759a9edac385dcd7a4e03c69d056816b3dd", "status": "DRUP_VERIFIED"}
{"bytes": 2664562, "index": 683, "sec": 4.508, "sha256": "ec2dba3df2105688b3d128fce04de1aca1c23a2d66a0bea3e0a1c9ba85381bb7", "status": "DRUP_VERIFIED"}
{"bytes": 1643072, "index": 691, "sec": 3.149, "sha256": "3f58a6720eb89a55dfa851652794e27e5be4c684899ea028516e02fdf3f6c043", "status": "DRUP_VERIFIED"}
{"bytes": 1694264, "index": 699, "sec": 3.264, "sha256": "10ac95d677a12641ba154fd29bdf5ff0526b582532c6d6999cf8fcaa7fb96589", "status": "DRUP_VERIFIED"}
{"bytes": 2193762, "index": 707, "sec": 3.709, "sha256": "34dc4ac9422d60698f3904f9dd68313b93d7e72b48fa2036fe53219535f44f85", "status": "DRUP_VERIFIED"}
{"bytes": 2517111, "index": 715, "sec": 4.343, "sha256": "96105bb1c3c22043919eada51a57803379ef729e32fd80c697d38a64917c3285", "status": "DRUP_VERIFIED"}
{"bytes": 1982915, "index": 723, "sec": 3.437, "sha256": "ceaa05c26306926a1f414d3bb1305d9afeaca961c0b3251ddd7a41621c1a5f73", "status": "DRUP_VERIFIED"}
{"bytes": 4595755, "index": 731, "sec": 7.761, "sha256": "72d2274c155e6ae8a6473f9b7d234dad0c0b2e2b469955c4e7c0b9a0b70c7506", "status": "DRUP_VERIFIED"}
{"bytes": 1451689, "index": 739, "sec": 2.722, "sha256": "d159e6402ddbfb9323bb03c07e0b4afa3f3c480f42ee9d61b5fff7bcf087d519", "status": "DRUP_VERIFIED"}
{"bytes": 1778526, "index": 747, "sec": 3.351, "sha256": "74533bc5981611fc5dee4f54ce79a27ea57c7c58143d16868b5ebcbaacaf8778", "status": "DRUP_VERIFIED"}
{"bytes": 1738223, "index": 755, "sec": 2.992, "sha256": "2a9e9f0b6770f3266d6438681ba0797b4800aa7e9edf002ae511ee6fbb8156fd", "status": "DRUP_VERIFIED"}
{"bytes": 2451524, "index": 763, "sec": 4.117, "sha256": "127d508945f66345753b60a1c027cf127458d01c179d863ff0eee159bd4c9b96", "status": "DRUP_VERIFIED"}
{"bytes": 4380569, "index": 771, "sec": 8.114, "sha256": "eaa467b7853917c20e7dc8f3afa1d9a5cc79b94651572c4e2204c3c6562c8967", "status": "DRUP_VERIFIED"}
{"bytes": 2038569, "index": 779, "sec": 3.452, "sha256": "e017e361ceb0dad1800a642f306a1190602342d7f13bc422bbfbbc407cfe2aae", "status": "DRUP_VERIFIED"}