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

15 KB · on GitHub

{"bytes": 1154225, "index": 1, "sec": 2.345, "sha256": "fdb0a8019b96ef604f99a364ecec10242c4f0b703b5b009616fdbaf338ed0e94", "status": "DRUP_VERIFIED"}
{"bytes": 1009573, "index": 9, "sec": 2.211, "sha256": "3bf7185b3090374c762aa4178473cf459c53007968eb2205f28c77a96d15e9f6", "status": "DRUP_VERIFIED"}
{"bytes": 2371938, "index": 17, "sec": 3.988, "sha256": "20606f8cc18201f19c8b0b58a6ac67160c624e11175233691956a95556fc39b5", "status": "DRUP_VERIFIED"}
{"bytes": 2045072, "index": 25, "sec": 3.272, "sha256": "eb903570e9a0b8f9376f75386bd86bdb17a1cffe10b435091779b89b45da63c3", "status": "DRUP_VERIFIED"}
{"bytes": 1081329, "index": 33, "sec": 2.09, "sha256": "ee2a2700eab78b42980933eadd410188e3106fcb06b574b87d5cc0d8f6df181b", "status": "DRUP_VERIFIED"}
{"bytes": 1431327, "index": 41, "sec": 2.684, "sha256": "182d2c2a60f217d1eb8c75c0a36d7f59b5a70dd5ba4025ff43abcea9fb592a55", "status": "DRUP_VERIFIED"}
{"bytes": 2812937, "index": 49, "sec": 5.012, "sha256": "f2565baf2fe3eee39199c8ff2b7c0e12c95e46e74eeaf34101d0161abf5a17a7", "status": "DRUP_VERIFIED"}
{"bytes": 1479412, "index": 57, "sec": 2.684, "sha256": "386f8cd808eb264c49808f5ecd8d52969d6a63fc0d27897cad100c0cdd780a66", "status": "DRUP_VERIFIED"}
{"bytes": 4145595, "index": 65, "sec": 7.53, "sha256": "cda44f95b9aa0b97a5750b4c35f07376e05d9cbd6fc674d1b2f6e1fc767dedbd", "status": "DRUP_VERIFIED"}
{"bytes": 2274226, "index": 73, "sec": 4.262, "sha256": "6d3aa616226db4cb904bef641edc0c8fa403daeafc7158620649ba42cd105555", "status": "DRUP_VERIFIED"}
{"bytes": 1066085, "index": 81, "sec": 2.14, "sha256": "6de48f0e6636b40f9e3c9429e72ac2c10bfdf122f2486825e0fbff542936c5d4", "status": "DRUP_VERIFIED"}
{"bytes": 1769940, "index": 89, "sec": 3.299, "sha256": "63b48f886ba523742cfb1ca3c6a17e8664215cbe3b02d925d179232e35eb1197", "status": "DRUP_VERIFIED"}
{"bytes": 1155176, "index": 97, "sec": 2.211, "sha256": "864fe67260586d1f59762de49514f7c59a6ad10e5bd927bb91149d99a0dedb75", "status": "DRUP_VERIFIED"}
{"bytes": 1248592, "index": 105, "sec": 3.166, "sha256": "cb2262064300e76a2762b22d6747f6dff6e5bce3093c5df235b400ccdc53a134", "status": "DRUP_VERIFIED"}
{"bytes": 1541336, "index": 113, "sec": 2.794, "sha256": "27ab3e0969d3588df19541dc1358ffe90f0cc1dabc225b801dad9cffd0201c1e", "status": "DRUP_VERIFIED"}
{"bytes": 1825280, "index": 121, "sec": 3.048, "sha256": "78067c4ee2789339b5d2b44a6d81dbee2fb41ddeb3106b2f71113d77b4b8349a", "status": "DRUP_VERIFIED"}
{"bytes": 4073567, "index": 129, "sec": 6.944, "sha256": "3ff94a482362876663036328a78b4e6db52d95b72bfe395a2a470ba275341100", "status": "DRUP_VERIFIED"}
{"bytes": 1359883, "index": 137, "sec": 2.77, "sha256": "9a7755894c5e633daf483a3a8ca992456e73d010d4b0d82f32ece050770926de", "status": "DRUP_VERIFIED"}
{"bytes": 2469820, "index": 145, "sec": 4.965, "sha256": "d8e0fb3d2f0d7ca456ec787b985aec3e65a642783e4d9bb58fe0ec1133e41700", "status": "DRUP_VERIFIED"}
{"bytes": 1760190, "index": 153, "sec": 4.961, "sha256": "e1f46dca060562219d4cf538dcf67a5ed197876d4f5ec7012e6c5c14a94c82b6", "status": "DRUP_VERIFIED"}
{"bytes": 2958963, "index": 161, "sec": 5.372, "sha256": "d7f6e2e4c3d3fea9c18ca35b5e5b9a4a7ceec7aab39fe2d1b85082f9a3d5ef9c", "status": "DRUP_VERIFIED"}
{"bytes": 1215476, "index": 169, "sec": 2.524, "sha256": "5b8d3f859b0279c39e736b26ae5bc170b9a4a16bab19bb13a0ab1c09a2ec3cd6", "status": "DRUP_VERIFIED"}
{"bytes": 1830862, "index": 177, "sec": 3.336, "sha256": "3540f8a75b3dacc4a748c0efd3757d50752d9d43e260f6044678efbf81b4b7d1", "status": "DRUP_VERIFIED"}
{"bytes": 838184, "index": 185, "sec": 2.386, "sha256": "084e2c551dbb0e304702d071aff349d63749c4b406b8a762b9fdda171271b883", "status": "DRUP_VERIFIED"}
{"bytes": 1211027, "index": 193, "sec": 2.476, "sha256": "67896595c71c8509d13767c7617a69d820aa4e05e57e1c4754f9bb2f822cd2a4", "status": "DRUP_VERIFIED"}
{"bytes": 3433177, "index": 201, "sec": 6.278, "sha256": "9b63df99afe39e1cc2c6da75f4d0ae0b767c31962cf4497e3a13359b79a536b6", "status": "DRUP_VERIFIED"}
{"bytes": 1356324, "index": 209, "sec": 3.348, "sha256": "1e74f9402272213b6c82cb2b7ab2f05bded08a53d84500f9927a9dd422470f66", "status": "DRUP_VERIFIED"}
{"bytes": 2103010, "index": 217, "sec": 4.806, "sha256": "b1a2b4b04f2519ac62ed6702dbd78761153fdd2508f0022210e9916590a0cb8f", "status": "DRUP_VERIFIED"}
{"bytes": 2201483, "index": 225, "sec": 6.037, "sha256": "40e1b15c48931b8aace4735ffb11731531f2ad5cb0426f94efeaab634356e26d", "status": "DRUP_VERIFIED"}
{"bytes": 2058796, "index": 233, "sec": 5.177, "sha256": "51d0c33e2c9ee3336d51595325f7626c75d03a1e8d7fb9442ea1bc4d5392533a", "status": "DRUP_VERIFIED"}
{"bytes": 1999287, "index": 241, "sec": 5.029, "sha256": "95a05b21326c0490ea05f30bf3b3663aacae3f2d981ea04ae2bea5a7d67b3674", "status": "DRUP_VERIFIED"}
{"bytes": 2056523, "index": 249, "sec": 4.828, "sha256": "f6d730831d43b8c688a73f18e9df464f2b0e6ffb8cd6070cf4cbb32fb6558fbf", "status": "DRUP_VERIFIED"}
{"bytes": 1925935, "index": 257, "sec": 3.797, "sha256": "f72bbb5b97c88644d71481aa7c0ce9261c48a42b12b3ab45b0c1d4fab1132728", "status": "DRUP_VERIFIED"}
{"bytes": 2331225, "index": 265, "sec": 5.564, "sha256": "29eda1950209f5c9a759473292197f4c19416903a62ecd725db22018b245e4b8", "status": "DRUP_VERIFIED"}
{"bytes": 2243978, "index": 273, "sec": 4.384, "sha256": "1bcd9f128a47b9af03a238e1b964e75819d42bfb61890f438793e836358f9686", "status": "DRUP_VERIFIED"}
{"bytes": 1870278, "index": 281, "sec": 4.111, "sha256": "ce5cd33865030dcdba4e683c7a5437dc1a1af6a1c537f715f1cd36f92183e0c7", "status": "DRUP_VERIFIED"}
{"bytes": 2093339, "index": 289, "sec": 4.532, "sha256": "4738e4e5a1c20f0417e7f0361f6e96a4cc52e980252b3880bcf7baf52dc1373f", "status": "DRUP_VERIFIED"}
{"bytes": 2441079, "index": 297, "sec": 4.2, "sha256": "3994c2b270992967c024cc75474ef418a2e9caeb87ade37be5baf2ce59c547ee", "status": "DRUP_VERIFIED"}
{"bytes": 1221163, "index": 305, "sec": 2.437, "sha256": "e232cc7fd5e1b286bd5d710dc90f828139b77284b0f3416ab577259af0e91ec6", "status": "DRUP_VERIFIED"}
{"bytes": 1391048, "index": 313, "sec": 3.416, "sha256": "dbcf9be69378fa65ef6b17370a17eaea7dbfe5b2cf6e4f966f25fde8d05c6e15", "status": "DRUP_VERIFIED"}
{"bytes": 1106851, "index": 321, "sec": 2.342, "sha256": "ef4fb7515599088ba984a8ceb9caf6e7f68f1894f7bbd2b8ab88435290221336", "status": "DRUP_VERIFIED"}
{"bytes": 1982710, "index": 329, "sec": 5.12, "sha256": "b931f948572828f73eb601d19e5fd6614c316e81a8850dc7d74c879d17bc082a", "status": "DRUP_VERIFIED"}
{"bytes": 1452864, "index": 337, "sec": 4.39, "sha256": "9b2b604ad2ee65eb36b621ff64d752d8a381e09496d4c63c712271147511d8ee", "status": "DRUP_VERIFIED"}
{"bytes": 3019837, "index": 345, "sec": 6.377, "sha256": "88c1a645b6bab5ffb26502edc2febddaa0f69f94b9bdbda0c820eac8456da0fc", "status": "DRUP_VERIFIED"}
{"bytes": 1094640, "index": 353, "sec": 2.854, "sha256": "38f34be7e6302fb9757aaf819b0192e041a7d4d30d3e6ca8e5033a1b67855b65", "status": "DRUP_VERIFIED"}
{"bytes": 870403, "index": 361, "sec": 2.462, "sha256": "3f7bb5d26b71520f2cea7939e8f032073255240d8cb131e990955610cfafbb7d", "status": "DRUP_VERIFIED"}
{"bytes": 1342816, "index": 369, "sec": 4.083, "sha256": "7aff69c6deba12ed00fed8b70f263899b3045b7668c2bd9d5a7e2741cdbd7951", "status": "DRUP_VERIFIED"}
{"bytes": 1038351, "index": 377, "sec": 2.532, "sha256": "90158ac0eed4ec95951309d52365eccb0dc08710c6a11911b31eb426256fa378", "status": "DRUP_VERIFIED"}
{"bytes": 2491363, "index": 385, "sec": 5.918, "sha256": "21ccb62c84ba20672e99b461cef7d33d2441c7404e966549df4927e25f2a157b", "status": "DRUP_VERIFIED"}
{"bytes": 2245022, "index": 393, "sec": 5.267, "sha256": "adb287fed26ea4c1ea35156f054c4d5f2d38f99df91533fd012109d4a6e95688", "status": "DRUP_VERIFIED"}
{"bytes": 785275, "index": 401, "sec": 1.753, "sha256": "421122b49f28bbfb5b93ea534e129c1ef1b838c94c8420a739c593c24aa5455c", "status": "DRUP_VERIFIED"}
{"bytes": 1684547, "index": 409, "sec": 2.943, "sha256": "786a3558724c2fa53cd0aec43f2f12b65edb43bfd09a788711dfc1dfde289cba", "status": "DRUP_VERIFIED"}
{"bytes": 2249650, "index": 417, "sec": 4.063, "sha256": "5ba8931a792e8f319ffef9ddcf7215c4b3009e5263bede659ff83a374713f617", "status": "DRUP_VERIFIED"}
{"bytes": 3262668, "index": 425, "sec": 6.237, "sha256": "133bdac734ad9bcb1a939299d8c5e7c869bf7b5a6df7713ea7794bc7f55d832b", "status": "DRUP_VERIFIED"}
{"bytes": 2248386, "index": 433, "sec": 4.039, "sha256": "f36e4d51c349d8594e99dabad2d26374a7d20df82558cd4eea80f21d3f3f7aa3", "status": "DRUP_VERIFIED"}
{"bytes": 2600970, "index": 441, "sec": 5.153, "sha256": "5a3a8783f9f1bce2f5290809a58ab2a5804c27659a8a4003f4f26f1d6bae9da9", "status": "DRUP_VERIFIED"}
{"bytes": 2404508, "index": 449, "sec": 4.221, "sha256": "cd9a82193bb49db2324c39222f400f329f3390d81754fc21900d115f614a8dcc", "status": "DRUP_VERIFIED"}
{"bytes": 13680282, "index": 457, "sec": 23.081, "sha256": "b3a11fad060ec7aa60a9faef63f3000aa82242b07d111abd0e364fbfbc34171c", "status": "DRUP_VERIFIED"}
{"bytes": 1249129, "index": 465, "sec": 2.876, "sha256": "d273e531bcaa812dfc1babeb621827e69b1b7332a2031242a19c3ec3ecb7826e", "status": "DRUP_VERIFIED"}
{"bytes": 2201696, "index": 473, "sec": 5.615, "sha256": "633bc9b764c15f8b6fe10cb7589d45e22b7ea2c03860e739ca4aea9ebd0d6c71", "status": "DRUP_VERIFIED"}
{"bytes": 2552080, "index": 481, "sec": 6.211, "sha256": "3bf6e83ddf38d9ded6d5768ad3aee66436f9cfbb36f4e3396b14da28d64b90bb", "status": "DRUP_VERIFIED"}
{"bytes": 3523429, "index": 489, "sec": 6.356, "sha256": "eb36009a9ba5688c0685e5671c147ef25f42bf52e5fbce1db11f2fc8e1f3038b", "status": "DRUP_VERIFIED"}
{"bytes": 723282, "index": 497, "sec": 1.886, "sha256": "28b0e4f4aa20a671e25ad614f96d2592b1c274bfe003a84c96c9f46a631ea1e0", "status": "DRUP_VERIFIED"}
{"bytes": 1051563, "index": 505, "sec": 2.349, "sha256": "5bb0d55160e9bef2a6bea37395d3b1ed87f76bc655d4977d2c9819fdcf0d43e2", "status": "DRUP_VERIFIED"}
{"bytes": 1737462, "index": 513, "sec": 3.043, "sha256": "8ef0496f5621e835219d68ea84ca2cfbe27b0fe6ccdf7f9bc26a594a29abd3a0", "status": "DRUP_VERIFIED"}
{"bytes": 888479, "index": 521, "sec": 1.836, "sha256": "72983cac47dafb6f29a0de64ab0fed1ce11619f93ea81f2389ef59bc61f7b0a6", "status": "DRUP_VERIFIED"}
{"bytes": 2360581, "index": 529, "sec": 5.203, "sha256": "84a769bf7fab3018d209bb4dfb8f0427b76b71786889596e05c763946ee0d09f", "status": "DRUP_VERIFIED"}
{"bytes": 1364384, "index": 537, "sec": 2.902, "sha256": "69ca72cfc2ad542b9b917400c3bdbbe03dbc1d3811317f876c85d1acc4a56ee9", "status": "DRUP_VERIFIED"}
{"bytes": 1893661, "index": 545, "sec": 4.077, "sha256": "cffb3ad675c4e06f5cf47b8ef36bbf1109f13c0c863e1aa2661c5e01a9e116f8", "status": "DRUP_VERIFIED"}
{"bytes": 1802117, "index": 553, "sec": 3.405, "sha256": "e9a8162e499fae749446e451cfb6dc4b6ef521fa6bf1e2e6a98d98bf92a11c89", "status": "DRUP_VERIFIED"}
{"bytes": 859320, "index": 561, "sec": 1.749, "sha256": "cf73b5d2b984a039344985c80228bc9acabe79f734c86a9ae3dedc326e0ee27f", "status": "DRUP_VERIFIED"}
{"bytes": 3550849, "index": 569, "sec": 5.894, "sha256": "32ac706fe7306a13d2e2d8a1865b29387029742f10c9ef6b2319046bff186a75", "status": "DRUP_VERIFIED"}
{"bytes": 1724693, "index": 577, "sec": 3.254, "sha256": "a46da77da965b56f00c54111340962e31fec2d75ca61e57ff0170c48c9f318fd", "status": "DRUP_VERIFIED"}
{"bytes": 1317929, "index": 585, "sec": 2.81, "sha256": "854e76d6d86e5cd6ecb7183b056e1951daded42c7b20c2eb98375baca9de69ea", "status": "DRUP_VERIFIED"}
{"bytes": 1808401, "index": 593, "sec": 3.64, "sha256": "749e41178e8ffa71b1a01795b930ff789a7a51d3bf2ea5ae450a6feb1ced3cf0", "status": "DRUP_VERIFIED"}
{"bytes": 3097072, "index": 601, "sec": 5.621, "sha256": "9f5cdfa585b96cfd42d414b8f960d8d96d2b9a6152dde63229662d1f4c300926", "status": "DRUP_VERIFIED"}
{"bytes": 2125530, "index": 609, "sec": 3.875, "sha256": "292da8745c4226953c8b2b93f1347374f9bff3587919b6dd45a30762bb42ccf5", "status": "DRUP_VERIFIED"}
{"bytes": 2553150, "index": 617, "sec": 4.276, "sha256": "a84fc8652c898d1871d895633f47910dd8146175a4f48f15df80ec21d0036535", "status": "DRUP_VERIFIED"}
{"bytes": 3046198, "index": 625, "sec": 5.105, "sha256": "1fdd613847fc6fa0c42e7be0fbf43096b778f8ab76401abe2b18044ba3b2c4df", "status": "DRUP_VERIFIED"}
{"bytes": 1830519, "index": 633, "sec": 3.041, "sha256": "0e2268461834de71b63bbf14366aa468a3a1b1de304e59e0c26c7ebf7beb5574", "status": "DRUP_VERIFIED"}
{"bytes": 2615915, "index": 641, "sec": 4.142, "sha256": "2db0407429b637142f30309d13e4968bed61b25793e0ec4118ce57a9011dfd73", "status": "DRUP_VERIFIED"}
{"bytes": 1799007, "index": 649, "sec": 3.143, "sha256": "4975e57ef3d8c3bbc4cb2543790ea4f8ff8946bc222d9d89787c5ebee94a0abf", "status": "DRUP_VERIFIED"}
{"bytes": 3523748, "index": 657, "sec": 6.331, "sha256": "4ad2eb13c5e5d6144ee05357d71141ef91481752b141f55eb7a6015e8caaa3e1", "status": "DRUP_VERIFIED"}
{"bytes": 2073532, "index": 665, "sec": 3.428, "sha256": "9be3f3254e6290750d9290a458bc267edead2e71deb5cad981f6e1adeb18c21d", "status": "DRUP_VERIFIED"}
{"bytes": 1850888, "index": 673, "sec": 3.594, "sha256": "6694d13d006fa84d646054e3410a691f51dd8b6c36ddebef988dcf03ef6f3fe6", "status": "DRUP_VERIFIED"}
{"bytes": 1969909, "index": 681, "sec": 3.848, "sha256": "6b9cc91f21a7b3fe538c3a7aab30018432bb43f5e1176e25777b126af3034eb7", "status": "DRUP_VERIFIED"}
{"bytes": 3032119, "index": 689, "sec": 5.906, "sha256": "d87d3e02bfc4f903a1281a3b1104cbe483030b1f3ce3e7b56ea65ccd395d8d68", "status": "DRUP_VERIFIED"}
{"bytes": 2137246, "index": 697, "sec": 4.205, "sha256": "88c335cb8cc572e552326edafc7f8a642303db264cd463ad70b9ebc66a35329e", "status": "DRUP_VERIFIED"}
{"bytes": 2189232, "index": 705, "sec": 5.58, "sha256": "0eb006f6af6d1b89fe624c80cf5cb80a94cca42d724f1b9620044a52562501c6", "status": "DRUP_VERIFIED"}
{"bytes": 1944211, "index": 713, "sec": 3.462, "sha256": "0fe8008f4be2e01802e30bd4cb46c7ad2852642a89c7042180e54927b0016b33", "status": "DRUP_VERIFIED"}
{"bytes": 2081331, "index": 721, "sec": 4.55, "sha256": "fc2f0c379c736fce3748ee7e8f4ea65d55419719fb571a72689e21419d54b48f", "status": "DRUP_VERIFIED"}
{"bytes": 3376707, "index": 729, "sec": 6.239, "sha256": "87239ea19dbde7464e212ba3ade703bf2adc16d389b287dbbf59b1c997cba2d3", "status": "DRUP_VERIFIED"}
{"bytes": 2340375, "index": 737, "sec": 5.571, "sha256": "90d3800c5c29d298d713a1bdd2324e621ff0ea05eb1a0bdaa5c5a31240fef15d", "status": "DRUP_VERIFIED"}
{"bytes": 2719105, "index": 745, "sec": 5.704, "sha256": "faa0af049c4c82990a40970727ef469e53f669ac8ec68bb1a4b43b98d941273d", "status": "DRUP_VERIFIED"}
{"bytes": 1363078, "index": 753, "sec": 3.274, "sha256": "054394594791feb72b1434ce314053590c564a978f0c7a475729963ce740f48e", "status": "DRUP_VERIFIED"}
{"bytes": 5695877, "index": 761, "sec": 14.528, "sha256": "61001eeeb08dad6a6159aa4e5a4c641bbd22d37fa393bbe07e7e2f8382acb249", "status": "DRUP_VERIFIED"}
{"bytes": 1494217, "index": 769, "sec": 2.986, "sha256": "64f6cf6feca84922dd4687130d92aa4c27bab986a7be62368c8d7b06dd3f1ca3", "status": "DRUP_VERIFIED"}
{"bytes": 2543094, "index": 777, "sec": 5.818, "sha256": "d6de660245cbf4f676d1e4714c31defe88c7ea3cd150719e9d2e8257130873cd", "status": "DRUP_VERIFIED"}
{"bytes": 4661236, "index": 785, "sec": 10.046, "sha256": "40ff1a1415023514c24addd5f7664371bee25475be0d306c5df0b87da0669067", "status": "DRUP_VERIFIED"}