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

15 KB · on GitHub

{"bytes": 1051939, "index": 0, "sec": 2.343, "sha256": "50831b3394bd2d64b9a5a05aac798fb15828a4d3c3dbf42e6ce798ca32cb4736", "status": "DRUP_VERIFIED"}
{"bytes": 1103728, "index": 8, "sec": 2.104, "sha256": "c12ede084d23be21f9cc694ccc76d645186883d992cc110104cd51ec784a5ddb", "status": "DRUP_VERIFIED"}
{"bytes": 1556954, "index": 16, "sec": 2.631, "sha256": "fada888dca5554da0d78601a86b725874e2c6e271a512fc1a1ade3d5e4eaa7f2", "status": "DRUP_VERIFIED"}
{"bytes": 1989029, "index": 24, "sec": 3.226, "sha256": "c9ba17969294c9c3d1088948dfdf234f43c062916d76d9b6dc66bd58cb2883be", "status": "DRUP_VERIFIED"}
{"bytes": 2149661, "index": 32, "sec": 3.743, "sha256": "e3f894e3345c043ad255b3b30b55d7d9924c795e32a9168a08ac516a0ea2bab4", "status": "DRUP_VERIFIED"}
{"bytes": 1464405, "index": 40, "sec": 3.373, "sha256": "6c7aec56fb050f3e283aa1d163c8ada8eb3b11a3edb014d95fb4a67e290f1ded", "status": "DRUP_VERIFIED"}
{"bytes": 1660499, "index": 48, "sec": 2.733, "sha256": "8ea5fd2afdad79643ff4aa67b58630924023a5d5e151f2eece6b7b99bb5507f4", "status": "DRUP_VERIFIED"}
{"bytes": 1224034, "index": 56, "sec": 2.171, "sha256": "bcb6296997fcd8a5feaecee45b053478b260630717b89e1a7d5a718725050e7e", "status": "DRUP_VERIFIED"}
{"bytes": 9038151, "index": 64, "sec": 14.195, "sha256": "7b057a31ba3fedc50ffbf901d4f8097331c47dfd97aa070d728eb7141582b03f", "status": "DRUP_VERIFIED"}
{"bytes": 1072354, "index": 72, "sec": 2.045, "sha256": "c5755ac3c303f663e29b1261a0066ed389c3f560bcaa2c7a5ff43f20be891da2", "status": "DRUP_VERIFIED"}
{"bytes": 1133986, "index": 80, "sec": 1.996, "sha256": "fdaef407d3f64b8060574e88c2cc1d5a26947ca8b85ddce29ed4ee6f6448593e", "status": "DRUP_VERIFIED"}
{"bytes": 1496680, "index": 88, "sec": 2.725, "sha256": "d11ac962e62f75316121f712af94ddde9c9708d14f273a58555459b17f8f5fe9", "status": "DRUP_VERIFIED"}
{"bytes": 2089549, "index": 96, "sec": 3.857, "sha256": "973142d739d4f1214f5c91a716640c38388346ac09cdb653c54157b0e9fbe30e", "status": "DRUP_VERIFIED"}
{"bytes": 2220349, "index": 104, "sec": 4.611, "sha256": "0f34e3e6348e96f197936281e4d6b61c5ea7ae34d1c89b7c762b9db5ae06411b", "status": "DRUP_VERIFIED"}
{"bytes": 1428211, "index": 112, "sec": 2.729, "sha256": "314ba011aa5f3c93aa570a569b47a9de239e488cc51cbd68838ba1d87f3b6bc9", "status": "DRUP_VERIFIED"}
{"bytes": 1954897, "index": 120, "sec": 3.463, "sha256": "d27b87f35a2578d49b6fb468afdfafdcc28c52052ce49a291582df1082fc503d", "status": "DRUP_VERIFIED"}
{"bytes": 1991715, "index": 128, "sec": 3.37, "sha256": "fe95eb7cf2a40019873a88d4204f1921e4104d7394273b99ab394b1f4441606e", "status": "DRUP_VERIFIED"}
{"bytes": 1450932, "index": 136, "sec": 2.867, "sha256": "1f9af0d0605ed163025c9475fd232434f5f66a66ca408ad82a44270c564add18", "status": "DRUP_VERIFIED"}
{"bytes": 1285717, "index": 144, "sec": 3.143, "sha256": "4f8a68abe7f9897806b2edeea22c38b1b5b42e44fc38d275911281214246c103", "status": "DRUP_VERIFIED"}
{"bytes": 1483381, "index": 152, "sec": 3.011, "sha256": "aeba49fdac2708553e80a9535a20852026ffd78cb188801c0c4f907b89262416", "status": "DRUP_VERIFIED"}
{"bytes": 9517389, "index": 160, "sec": 17.221, "sha256": "d8b680151b0927e2e70fd43d0560842cb549e0dfb8f565fb37bf1c77fcf2331e", "status": "DRUP_VERIFIED"}
{"bytes": 1665610, "index": 168, "sec": 3.826, "sha256": "8ef81123957a9325f73abcfc3b9ddea6c171f0cf7d33d919e62931f96768737b", "status": "DRUP_VERIFIED"}
{"bytes": 2468700, "index": 176, "sec": 5.413, "sha256": "a76ffeccce15438c99d59988643381b5444d80c66080ca2105dfd5213c7adcc5", "status": "DRUP_VERIFIED"}
{"bytes": 714326, "index": 184, "sec": 2.389, "sha256": "835c1d188af3dcd8ab34f27053dff5c8fecba8fbd605742c604969b441a9179c", "status": "DRUP_VERIFIED"}
{"bytes": 1176853, "index": 192, "sec": 3.86, "sha256": "517f4d94c3bb3dea5e942c57a952c1096188815e168d221057c959bf9685fdfb", "status": "DRUP_VERIFIED"}
{"bytes": 2394879, "index": 200, "sec": 6.844, "sha256": "192465445d511c75a544f9150168c289245e3a5479ac7c541e784eeda385274b", "status": "DRUP_VERIFIED"}
{"bytes": 16907842, "index": 208, "sec": 34.494, "sha256": "a3e0fcac94f92344543222a51c264c69959593c8c6061cb821af775f2ca234e3", "status": "DRUP_VERIFIED"}
{"bytes": 14265462, "index": 216, "sec": 22.65, "sha256": "9324b2c59cccc2f48e0bd30dacdcbcb9b2d62730a270b10196c1861c6556e755", "status": "DRUP_VERIFIED"}
{"bytes": 1443554, "index": 224, "sec": 3.54, "sha256": "30d1704f58d2ff0f599d89d8c72016f462c5a6b4ef1b875ab81fcd5161519467", "status": "DRUP_VERIFIED"}
{"bytes": 1743286, "index": 232, "sec": 3.399, "sha256": "cf9384f708a64212e3141d9ed629a91591d303d2757c63303cbe0d354e436fc4", "status": "DRUP_VERIFIED"}
{"bytes": 2290231, "index": 240, "sec": 4.294, "sha256": "4499ba27384e97fa05c899b2827a48a2fe8ea55fe3bfba9788b4602f728313c0", "status": "DRUP_VERIFIED"}
{"bytes": 2570643, "index": 248, "sec": 5.074, "sha256": "2b8b46e2e8d6ed5a2821bd43904bf70cac813e97b77a4d79113d86d9c317788e", "status": "DRUP_VERIFIED"}
{"bytes": 2075010, "index": 256, "sec": 4.197, "sha256": "7b3ac5553b42a7560bed4ba449ee4baf8615a641b933136ead107af1de03820a", "status": "DRUP_VERIFIED"}
{"bytes": 1644637, "index": 264, "sec": 3.551, "sha256": "e935a52328646782397e46420c84b849e8009cfab3e66283f04aecc5c053bab8", "status": "DRUP_VERIFIED"}
{"bytes": 2819768, "index": 272, "sec": 5.615, "sha256": "dc84e361afdb1b90d96549cad1c41cca86ac1ba76d45806bde9c82807f6de618", "status": "DRUP_VERIFIED"}
{"bytes": 17007522, "index": 280, "sec": 25.52, "sha256": "d547652b85a228f562c79c7ef83358f38d968476e188bae33569d08af559a59a", "status": "DRUP_VERIFIED"}
{"bytes": 1916140, "index": 288, "sec": 3.589, "sha256": "8ee725602c9569c7ad0af3d6d20bf80a7410cc5374effd324452170e383a5097", "status": "DRUP_VERIFIED"}
{"bytes": 2166681, "index": 296, "sec": 3.914, "sha256": "3cdc33ab8296e424271b5be6b400419a7441316632d51adc2e18e981c9e6e2d2", "status": "DRUP_VERIFIED"}
{"bytes": 935345, "index": 304, "sec": 1.945, "sha256": "4f5e0e9da03bd2b07f80f368a0e02db84321c8ad721cf0eb8e8c0a254f085fd3", "status": "DRUP_VERIFIED"}
{"bytes": 2358241, "index": 312, "sec": 4.065, "sha256": "24a9c73383f9e3ac6a41cea0bc4c0457a3914a15a4ad33c780f20a6ac8e0903e", "status": "DRUP_VERIFIED"}
{"bytes": 840501, "index": 320, "sec": 1.704, "sha256": "0be53de1d3363141a78001c21cd950cc5c36db013fb0203988b7e6d11922152c", "status": "DRUP_VERIFIED"}
{"bytes": 1234640, "index": 328, "sec": 2.291, "sha256": "334f577c69f8431962f78ecdd7aaae21512b9c8b61629425cb13e78b7a6bd119", "status": "DRUP_VERIFIED"}
{"bytes": 18034485, "index": 336, "sec": 33.522, "sha256": "23a368cf3561aa5606621a4f211f84697fc0f790fb10160805ca9f96f08d7039", "status": "DRUP_VERIFIED"}
{"bytes": 19228352, "index": 344, "sec": 31.703, "sha256": "3883078ef07171c31e330a88182e0c9083c9001dd8f68539e9be6dc4a98523d0", "status": "DRUP_VERIFIED"}
{"bytes": 945936, "index": 352, "sec": 1.965, "sha256": "7876a0ee284ab2d34b920a7ce6a2067d16b4688a49b4739eb377c50fb72d5a73", "status": "DRUP_VERIFIED"}
{"bytes": 1031058, "index": 360, "sec": 2.391, "sha256": "11a1c5ed595f24b4f49d2404de98cd6737b0e84b403fcdffab092867c2b3606c", "status": "DRUP_VERIFIED"}
{"bytes": 1437568, "index": 368, "sec": 3.3, "sha256": "bb6e4ceab5cfc37ae328ba5e48ec4b1483982572c31d9d13ef3dd8d12d15540a", "status": "DRUP_VERIFIED"}
{"bytes": 1096801, "index": 376, "sec": 2.087, "sha256": "7209c652982ecec0076318d33b70361810fb43dc44c9ba9a904b86fbccd381e5", "status": "DRUP_VERIFIED"}
{"bytes": 8058292, "index": 384, "sec": 12.088, "sha256": "0e4b4aa1c4fb1f2f443cac0e7c10c1bd57953d69c6f8a26594ee299b8b5eb944", "status": "DRUP_VERIFIED"}
{"bytes": 8013703, "index": 392, "sec": 11.67, "sha256": "6eb3260d18603c7a47534bc41aee4cb62a355329b8abe44a491f811a7c5b1f2a", "status": "DRUP_VERIFIED"}
{"bytes": 718987, "index": 400, "sec": 1.455, "sha256": "1ec881eb5379b963457ab314dd4e89ed3d240f419d99da937885f82c0d87dcb5", "status": "DRUP_VERIFIED"}
{"bytes": 1247789, "index": 408, "sec": 2.328, "sha256": "bbb25a3c54bd39d27c47f366fb2ddb0aa4e31106b8e6b9987c75f6a5a901e002", "status": "DRUP_VERIFIED"}
{"bytes": 1665792, "index": 416, "sec": 3.363, "sha256": "e4365bb97e1710e0594f9dc5fe771cfdb824efd4f6de4e80eb89e53bd358088a", "status": "DRUP_VERIFIED"}
{"bytes": 1842831, "index": 424, "sec": 3.318, "sha256": "abda593cd4878bc4897a9f0afa0d25c87b6a8dda0653db5ea34e1bc686d690cf", "status": "DRUP_VERIFIED"}
{"bytes": 1758974, "index": 432, "sec": 3.576, "sha256": "ac6a30775f1b7410c59c06aa0378fd01d3c8d24b822c1cad0c3d2c0c0b60946f", "status": "DRUP_VERIFIED"}
{"bytes": 3042257, "index": 440, "sec": 5.59, "sha256": "7913b2f4b18be8797bd260ceba2bf39254991d9944be8d24db2ccfb824626afb", "status": "DRUP_VERIFIED"}
{"bytes": 2421708, "index": 448, "sec": 4.372, "sha256": "46311a5da66657a4908867c44c866ad329f92000df0a4b37ba15e7e3ae75f7f2", "status": "DRUP_VERIFIED"}
{"bytes": 22734050, "index": 456, "sec": 39.804, "sha256": "f7018114cc9940770ccadb82d716dd376736f6bbad1c70d3aa4704c51fb67ca0", "status": "DRUP_VERIFIED"}
{"bytes": 1477898, "index": 464, "sec": 3.722, "sha256": "be6986fdd09bf24b0b0abe921059a6cfeedd9b87f69bbd6e8721354e3b4978e7", "status": "DRUP_VERIFIED"}
{"bytes": 2894107, "index": 472, "sec": 7.058, "sha256": "4225ba85c334187986e511f11b0c61b407bb46ae8d2633c9a8f0455e347f958e", "status": "DRUP_VERIFIED"}
{"bytes": 3619844, "index": 480, "sec": 8.113, "sha256": "f98eb84e32934226901efa9550c38e32d0370ab6545ea549e85c11875c0d292f", "status": "DRUP_VERIFIED"}
{"bytes": 4070691, "index": 488, "sec": 9.281, "sha256": "27467e941af42ab8ee4794b30b10c418b20b2eae58fd87c4bd76e1f72014c7d2", "status": "DRUP_VERIFIED"}
{"bytes": 429516, "index": 496, "sec": 1.491, "sha256": "55c88cff0d51c9d7eb501566597cfa529aacf2ee5154eac41e736367af31b1d7", "status": "DRUP_VERIFIED"}
{"bytes": 988686, "index": 504, "sec": 1.958, "sha256": "269b6b4d1b376bc354afbb4514a78341b47e5674e40b47e50951f8584332c5c6", "status": "DRUP_VERIFIED"}
{"bytes": 956324, "index": 512, "sec": 1.955, "sha256": "092d73deb85c76534588dc1142664e8e83735806439a4420ec116159b39216c3", "status": "DRUP_VERIFIED"}
{"bytes": 599674, "index": 520, "sec": 1.593, "sha256": "2dd628a8536d5a6a3e949df85d048e3d0bae1c34710fba3c1c96b9c753859090", "status": "DRUP_VERIFIED"}
{"bytes": 1398076, "index": 528, "sec": 3.017, "sha256": "cf64b5225bf500d6652f0aa026476dd37919822235db52a8ef72f3f8651b94ad", "status": "DRUP_VERIFIED"}
{"bytes": 1548317, "index": 536, "sec": 2.755, "sha256": "7dc6914f1f682518faf3a72f8f613a59477e5385f54e4c7ee809fbd614e87db4", "status": "DRUP_VERIFIED"}
{"bytes": 1303464, "index": 544, "sec": 2.562, "sha256": "23069745946daad8067dc3986107240f69f8273a53e1a0244cf69dd73c0e6985", "status": "DRUP_VERIFIED"}
{"bytes": 1072674, "index": 552, "sec": 2.075, "sha256": "a6c9bd5997ee7c5520ca9f57edeca35f1208fdff4afbc3d8e5e868ce7cf92a5e", "status": "DRUP_VERIFIED"}
{"bytes": 2510779, "index": 560, "sec": 4.76, "sha256": "93c0e60abb1fd2f357948c96bedc9da12cd4d44a0ef819203920a5bd76ea195c", "status": "DRUP_VERIFIED"}
{"bytes": 3914022, "index": 568, "sec": 7.333, "sha256": "e3920eb18a51007cbfcd93ac6133dcb67a178c35b91466621e9a3ecf8418f788", "status": "DRUP_VERIFIED"}
{"bytes": 2056598, "index": 576, "sec": 3.63, "sha256": "d7062c4120be1259027dd3606cbca10ffde7e8a1577bd8dc882be988acdf263a", "status": "DRUP_VERIFIED"}
{"bytes": 1698471, "index": 584, "sec": 2.903, "sha256": "4bff60ad49fabc4e7ab6aa14c10e4741afb584ad343f323df52c828e0c6490d2", "status": "DRUP_VERIFIED"}
{"bytes": 1423653, "index": 592, "sec": 2.509, "sha256": "8f54f75cf3ad22b33da4e8c32b20ca14490143b6a565256a58bee9e3d8be80e8", "status": "DRUP_VERIFIED"}
{"bytes": 1937018, "index": 600, "sec": 3.604, "sha256": "687a39bfe124ff3be28bc8ad9b16edeab0acd8ffeabe86f38014f68ffdd958f5", "status": "DRUP_VERIFIED"}
{"bytes": 1354729, "index": 608, "sec": 3.149, "sha256": "0f2d4377591ff96e2e1fcb5f15ac1b956fb318fc1997cebaff500aa3a348bde6", "status": "DRUP_VERIFIED"}
{"bytes": 2838485, "index": 616, "sec": 5.381, "sha256": "7f144b30192388d92069a3d08019a124fe208f5c26900c76582d9f9971c08c29", "status": "DRUP_VERIFIED"}
{"bytes": 1524983, "index": 624, "sec": 2.861, "sha256": "db96c8e242598f625f1f284f3b42f4b6d462ec213ae49b26c302ef4eef28a353", "status": "DRUP_VERIFIED"}
{"bytes": 1912665, "index": 632, "sec": 3.318, "sha256": "53885beba0b500fd4a5410656b1045a302ddc89ea9f949850cc3d91e91ec7196", "status": "DRUP_VERIFIED"}
{"bytes": 2638476, "index": 640, "sec": 4.724, "sha256": "96b937bf56cec133f3a84eea24147e6437ff2d15208f26589dbc7eb98b31af36", "status": "DRUP_VERIFIED"}
{"bytes": 2449865, "index": 648, "sec": 4.478, "sha256": "2ec92fbd15c12d2f6286df9a313c537db3a05c681267babadab83ec89cec4e0f", "status": "DRUP_VERIFIED"}
{"bytes": 3373573, "index": 656, "sec": 5.468, "sha256": "c9c175fa95371fd2567fc5ce8cd0d312058dbda945eeaab92c635e1ededacecf", "status": "DRUP_VERIFIED"}
{"bytes": 1744327, "index": 664, "sec": 3.304, "sha256": "b8041743f6356a3b97c43c2d140cf21fcc87aab8c7d81f85d93ae89ef2b434f4", "status": "DRUP_VERIFIED"}
{"bytes": 1354594, "index": 672, "sec": 2.598, "sha256": "047eba18f1435b21c1e79f83e581ed013653fd0b3ac035ec784350f25bc53037", "status": "DRUP_VERIFIED"}
{"bytes": 2356485, "index": 680, "sec": 4.059, "sha256": "736642c9fe8852b4428fe273723d98d04b689e5b20c4876a7adda0b19d87e725", "status": "DRUP_VERIFIED"}
{"bytes": 1990527, "index": 688, "sec": 3.277, "sha256": "e15a29b5da4b4e08b3e4b503e920022d74c269fcdd95f41458efc2a7e87284c6", "status": "DRUP_VERIFIED"}
{"bytes": 2995320, "index": 696, "sec": 5.456, "sha256": "c947025637235611c76ff37364d6bd9c5dabffb4d17dc5a164865520c628da75", "status": "DRUP_VERIFIED"}
{"bytes": 2953506, "index": 704, "sec": 5.26, "sha256": "4e9486a6d78414957cca4cee44faade60f45b0c9b23ef785514c616171fd2f94", "status": "DRUP_VERIFIED"}
{"bytes": 2233344, "index": 712, "sec": 3.732, "sha256": "d7bd27542ff40744598e82157fd84254528d8e6f360c9d3a259f258eeff44d83", "status": "DRUP_VERIFIED"}
{"bytes": 2079442, "index": 720, "sec": 4.292, "sha256": "80500300a156c5110f1c201d92bed66c525af767b4c6a580d4b21351f1c0fa56", "status": "DRUP_VERIFIED"}
{"bytes": 4232379, "index": 728, "sec": 8.911, "sha256": "6e7b6006314217ac69e41ba87830f2a58882b8a3730f9bfcd751c257f4f77a3a", "status": "DRUP_VERIFIED"}
{"bytes": 4409580, "index": 736, "sec": 10.077, "sha256": "335b4820098c09679da3d6c739a57495cea4d687d4e6de0189fde067c90c780a", "status": "DRUP_VERIFIED"}
{"bytes": 2676441, "index": 744, "sec": 5.779, "sha256": "9725c6e17ca360afbc0a79dbbec178cc0213a167f6c7eeb5116bee3fe323300b", "status": "DRUP_VERIFIED"}
{"bytes": 774086, "index": 752, "sec": 2.88, "sha256": "3966556c405d44b88c5e5a98b9430d204258f5a6ff776d97f54f71fb24c3a86d", "status": "DRUP_VERIFIED"}
{"bytes": 4308563, "index": 760, "sec": 10.071, "sha256": "552f97e1ecc16adb65e8e67a955db14d0bbec2b8b3d51a568bb3c6ab5592f446", "status": "DRUP_VERIFIED"}
{"bytes": 1534744, "index": 768, "sec": 3.865, "sha256": "49df0c780a2c16d4e6da7458c3c17ae79659c734e85d68738ce855a98718d3b5", "status": "DRUP_VERIFIED"}
{"bytes": 3780286, "index": 776, "sec": 8.789, "sha256": "623e51b3afb2c77db642d8435efd30fa52ecd76f93d64b8ddf8216a5c9679af6", "status": "DRUP_VERIFIED"}
{"bytes": 2500743, "index": 784, "sec": 5.884, "sha256": "e025d7e9df24390518e531a4a594657624d775624d01ad4f3f5f13b0e48b8877", "status": "DRUP_VERIFIED"}