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

15 KB · on GitHub

{"bytes": 880712, "index": 7, "sec": 2.209, "sha256": "c1e1112bda0181f41e65f0585aef7abdd261d4c5acfca33f280f6eb6a5ac56cc", "status": "DRUP_VERIFIED"}
{"bytes": 1485036, "index": 15, "sec": 2.737, "sha256": "eace61f5c6017d6c0d93003982a8b3003a94ac223df3822759052c34e90e755b", "status": "DRUP_VERIFIED"}
{"bytes": 1435191, "index": 23, "sec": 2.52, "sha256": "21df427781692d58b93b5583ee53f1ce6df79b37bee4425464bb30fe99f32d5e", "status": "DRUP_VERIFIED"}
{"bytes": 1791615, "index": 31, "sec": 3.033, "sha256": "a9c88f6dd06331dce741a1d6f99b97a8e50e89ded15a82efc8a0add992ea73b0", "status": "DRUP_VERIFIED"}
{"bytes": 1414643, "index": 39, "sec": 2.69, "sha256": "24c38c802258e7d2c1810670dcb4f5c98b33c1964dd3ff00d8422bdfdf499abe", "status": "DRUP_VERIFIED"}
{"bytes": 1949715, "index": 47, "sec": 3.522, "sha256": "098eb5507bb90e0613f91a77a6ac07704ebc356665f931f592eff030c768c6c7", "status": "DRUP_VERIFIED"}
{"bytes": 1361604, "index": 55, "sec": 2.666, "sha256": "0914153d2a4d1ab39a41cb83c81d025be9fcdfecba0eb350275fdce5034094ac", "status": "DRUP_VERIFIED"}
{"bytes": 1779502, "index": 63, "sec": 3.307, "sha256": "19da961605ccdf396215f207e8e08dad33fc1255eace2314af42e096f5b4aa67", "status": "DRUP_VERIFIED"}
{"bytes": 1774886, "index": 71, "sec": 2.988, "sha256": "711bc0dcf302ebc1d4c73e33efe02c0ab8d1c2c314bcccf2a5765fd928b5fc9d", "status": "DRUP_VERIFIED"}
{"bytes": 1047925, "index": 79, "sec": 1.937, "sha256": "1ed3fab91bf6d1d9cca0a25389e885780bdd46e37081603fc56d1ad237825529", "status": "DRUP_VERIFIED"}
{"bytes": 1278872, "index": 87, "sec": 2.654, "sha256": "e216db9563a9495e110b5a2ea0c695945e8834c8e6738c1ff4f13657584682fe", "status": "DRUP_VERIFIED"}
{"bytes": 3612439, "index": 95, "sec": 5.949, "sha256": "c30adb805767092de20727708034aaa81fd52b49da2e642491c00252e29ad3c3", "status": "DRUP_VERIFIED"}
{"bytes": 1653318, "index": 103, "sec": 3.081, "sha256": "8c18acded493b4f48010d44f4e29eeef6f65af1dcdb6d77ca85132b7fd890d22", "status": "DRUP_VERIFIED"}
{"bytes": 1246891, "index": 111, "sec": 2.408, "sha256": "939b73c1e7c5e3099848cba66e93937e2bf0fc550210b53f3092316c3f8018c2", "status": "DRUP_VERIFIED"}
{"bytes": 1291916, "index": 119, "sec": 2.389, "sha256": "bccc6ca2a337b29474256a841e26e84faefbcc1fab1975eb8e55c51cacd79bcf", "status": "DRUP_VERIFIED"}
{"bytes": 1574804, "index": 127, "sec": 2.792, "sha256": "5112d14cfb44d2a5e3b856557c5dcbf9e68c08afada059c23594f90f212aa037", "status": "DRUP_VERIFIED"}
{"bytes": 1570614, "index": 135, "sec": 2.712, "sha256": "90be5689e59af1ecf2df3afb013cba3342a0d790d7403cdb53d68f4b7f7820a4", "status": "DRUP_VERIFIED"}
{"bytes": 1515044, "index": 143, "sec": 3.0, "sha256": "5bf05b064e58ac1720193f2ef3bf1c5d98a33ec7b16b00a2dcc298b4e82c1a5e", "status": "DRUP_VERIFIED"}
{"bytes": 1552735, "index": 151, "sec": 2.775, "sha256": "9b5cb7709f2e5908672fec76b7d9f5b430713dfeb1a1e048a73ff71dc464d03b", "status": "DRUP_VERIFIED"}
{"bytes": 1198149, "index": 159, "sec": 2.452, "sha256": "7bcaba5c4ee1715384d46d2aa3831eba761c44d03cd9d20e3ca1c3dfa05e0961", "status": "DRUP_VERIFIED"}
{"bytes": 1751255, "index": 167, "sec": 2.94, "sha256": "54c82231282eb524a27e07c7e5c29049fac9137ebf883b2d5cf18ae93f0068de", "status": "DRUP_VERIFIED"}
{"bytes": 1087556, "index": 175, "sec": 2.207, "sha256": "fd021ed473bd285fa989a067cb6212ac418311c4b6dd047135d22bcfa5c9cd89", "status": "DRUP_VERIFIED"}
{"bytes": 823271, "index": 183, "sec": 2.306, "sha256": "807427f80549a036992790ce1dfe0d7dcdf1b5e25fdc9f1e6a9eec7f6bae6406", "status": "DRUP_VERIFIED"}
{"bytes": 1391196, "index": 191, "sec": 2.914, "sha256": "2bc19e3a53220af5660da4b863c256be4984583c6353a8656c38c45ae0f88ac9", "status": "DRUP_VERIFIED"}
{"bytes": 28005893, "index": 199, "sec": 60.681, "sha256": "5ea12691d014d13214c8e8958d8979336eb628116f00937b6154decba7f46703", "status": "DRUP_VERIFIED"}
{"bytes": 2004296, "index": 207, "sec": 3.56, "sha256": "9c0f19f75d8c9813d4e80b8cdc2a6e09a30fad0327f8e8e89c98ba9ee36d363a", "status": "DRUP_VERIFIED"}
{"bytes": 1875341, "index": 215, "sec": 4.356, "sha256": "5a1a0c494cdb5925725365d8d3c358a42ca9f51b1339b64cbed37cbc74d4cf3c", "status": "DRUP_VERIFIED"}
{"bytes": 24783323, "index": 223, "sec": 44.703, "sha256": "1d5a40ed11e62ad35174e595d79ccb110ee37bb041887cc8e523ae3391b71c6d", "status": "DRUP_VERIFIED"}
{"bytes": 19651326, "index": 231, "sec": 34.662, "sha256": "d95148ae2e6264d3661527b69bf9666289b8a1607981a308c50aa5d3b62562d7", "status": "DRUP_VERIFIED"}
{"bytes": 2606835, "index": 239, "sec": 4.12, "sha256": "c9e89da3181e163b37540ccc428c6b78aa59891714138cbfd1e238f6327a0b65", "status": "DRUP_VERIFIED"}
{"bytes": 17185331, "index": 247, "sec": 28.925, "sha256": "0f881beb11f4a1dc2c004eef85612d7316839ce3100df79826af272a455044ec", "status": "DRUP_VERIFIED"}
{"bytes": 2021377, "index": 255, "sec": 4.177, "sha256": "948d7fa5ed55f8fcede98311897f1fcf0769a23aaae9ab1558776020253020ab", "status": "DRUP_VERIFIED"}
{"bytes": 12955791, "index": 263, "sec": 22.633, "sha256": "b2162ab0d83340c1d6df38bea1b6b0b7b4b810dca1b4d2654b4a740a573477eb", "status": "DRUP_VERIFIED"}
{"bytes": 2172923, "index": 271, "sec": 3.699, "sha256": "43cc20f4b7008993de2d8e1d59e957d9cdace1bb0e66df22d320bb6494d00334", "status": "DRUP_VERIFIED"}
{"bytes": 2297395, "index": 279, "sec": 4.384, "sha256": "c4fafed63e831522842db17c107c6117e945c3019145cda1a753715b735d0a1a", "status": "DRUP_VERIFIED"}
{"bytes": 2675269, "index": 287, "sec": 4.911, "sha256": "a161556c4a7604629e7c7e849bdceae2cfb145022afa9ad7bc8fef20ec1ef459", "status": "DRUP_VERIFIED"}
{"bytes": 2247348, "index": 295, "sec": 4.236, "sha256": "687f731ca5f82e72f30850253ed16deba99da57be9273e6cfcd905baaf1c8995", "status": "DRUP_VERIFIED"}
{"bytes": 1075689, "index": 303, "sec": 1.982, "sha256": "0f2bf14ad82aba6672b2f1ace528e8e098dfd3db77ce478f6e7494caaaec115e", "status": "DRUP_VERIFIED"}
{"bytes": 1778346, "index": 311, "sec": 2.799, "sha256": "466dca6434b093aedb2959c9aa80887de23d0bf1304912a1f0b5b1ae95973360", "status": "DRUP_VERIFIED"}
{"bytes": 784752, "index": 319, "sec": 1.568, "sha256": "b4abde9f81852b9dd81929cce9aa66574590b1ecab6d7683e6fb700e57806149", "status": "DRUP_VERIFIED"}
{"bytes": 1118990, "index": 327, "sec": 2.028, "sha256": "bc76bb96f1e8c248f5f88747196d9e7c2b2fe6c3ba37ba67e337df649316077a", "status": "DRUP_VERIFIED"}
{"bytes": 15733457, "index": 335, "sec": 26.354, "sha256": "078c5df0f75c10d9f6d4519809b4cf8e6af6e4aa45bfa098ef2f1414b5e07fb8", "status": "DRUP_VERIFIED"}
{"bytes": 1928556, "index": 343, "sec": 3.144, "sha256": "36995e39727087b321c698179e6e200ab79cbbf1c950afa5acbdd0ae87fb2a5f", "status": "DRUP_VERIFIED"}
{"bytes": 807188, "index": 351, "sec": 1.698, "sha256": "9d82dae33c84adf8e96d8263a07c6dabf1cad5fcadef4cc7f2bd5a664eba18fa", "status": "DRUP_VERIFIED"}
{"bytes": 1462571, "index": 359, "sec": 2.669, "sha256": "5bdfc880d9e910466fb3256555b7a1be4a08bc8e9b0e47d64868a27db65ca922", "status": "DRUP_VERIFIED"}
{"bytes": 3685918, "index": 367, "sec": 6.056, "sha256": "494e2153bd67443655df511de99d55eaec4dcac4eee012c45016898525851166", "status": "DRUP_VERIFIED"}
{"bytes": 23317010, "index": 375, "sec": 38.715, "sha256": "2100abe09aefb730435a5b2345ef420d83814bc7ff570bda660c898cfc88d5aa", "status": "DRUP_VERIFIED"}
{"bytes": 1677589, "index": 383, "sec": 3.822, "sha256": "ded2184bcf8aee4cca718f10a2bb6e2cc495d1b05ad36886f0fcb92b0b73f6d3", "status": "DRUP_VERIFIED"}
{"bytes": 1202703, "index": 391, "sec": 2.946, "sha256": "3ea09dbd0b7bc73680b32b08adf07548cf5b0afb2bc2a32cf50dbc2b0bc04d5f", "status": "DRUP_VERIFIED"}
{"bytes": 22683590, "index": 399, "sec": 47.832, "sha256": "c83985bf61a016c465dfc38d0dfd1e2cad1702eadc17e575c44583cba4857696", "status": "DRUP_VERIFIED"}
{"bytes": 1287015, "index": 407, "sec": 2.788, "sha256": "ec35eab0ed1f694fa8e4f4fdc35a717c3a31db210c923fdf8d79825e3bb22261", "status": "DRUP_VERIFIED"}
{"bytes": 1486446, "index": 415, "sec": 2.657, "sha256": "17dbca5ec60dc3e116fe306a8029efcfbf91c7b7b6fe890295021fdfc3f8dc2f", "status": "DRUP_VERIFIED"}
{"bytes": 1726103, "index": 423, "sec": 3.175, "sha256": "af2388bd6e8c355db72a0d16c392e069ee983a8d4be77adddf7f3b08efae4d49", "status": "DRUP_VERIFIED"}
{"bytes": 9910264, "index": 431, "sec": 14.436, "sha256": "a7250e1acfd7f75f12106be625b124882a11b1f96eefeae126dac0e887e10aa0", "status": "DRUP_VERIFIED"}
{"bytes": 1830684, "index": 439, "sec": 3.037, "sha256": "f3038f3d861a298917f2e651a61bf0b3f9c36de3c58419b1c62ea071889dabf3", "status": "DRUP_VERIFIED"}
{"bytes": 2266923, "index": 447, "sec": 3.768, "sha256": "96dbf52df2e5dba383815d780aba225cfd2648450d19abb311092d18d5a61953", "status": "DRUP_VERIFIED"}
{"bytes": 19339898, "index": 455, "sec": 31.982, "sha256": "661e443fecc341cc0d0286624c6b739b9071954ebf9ad1e7d652710b28f39b61", "status": "DRUP_VERIFIED"}
{"bytes": 818895, "index": 463, "sec": 1.67, "sha256": "945ab251c8031ac367a707eb5909a4ea8ab7df8272fbcd2effb8d0c9a37dc690", "status": "DRUP_VERIFIED"}
{"bytes": 1449796, "index": 471, "sec": 2.629, "sha256": "f8389ee237d9f9621686480f18556979185a926d3d1e4e6fa11e5e5964f816a3", "status": "DRUP_VERIFIED"}
{"bytes": 3636510, "index": 479, "sec": 5.723, "sha256": "957f93b94f01f68c5a6f57fdcf9abb487253798399da0965010ab74ce23ab105", "status": "DRUP_VERIFIED"}
{"bytes": 2229826, "index": 487, "sec": 4.009, "sha256": "dd7161835e4b3f3b1b36b01094539dce934440a13f1dd93e53e4671b018fc8e0", "status": "DRUP_VERIFIED"}
{"bytes": 2009246, "index": 495, "sec": 3.84, "sha256": "d182d0ffa398d2a3d30aeb47584c649046a2c0bed8af8acb39ebc1ee12b5d70d", "status": "DRUP_VERIFIED"}
{"bytes": 898353, "index": 503, "sec": 1.87, "sha256": "e6d048fb0a8cf3cd9fb6f1a814f9873f9ccad3cbf847ec9148f228511703fe2b", "status": "DRUP_VERIFIED"}
{"bytes": 1783186, "index": 511, "sec": 3.008, "sha256": "b80b258150b40b63ff08539e51f97c50e39a4c0bd5f5d362208a7c4ed06bea19", "status": "DRUP_VERIFIED"}
{"bytes": 780609, "index": 519, "sec": 1.766, "sha256": "9592c34d473bf9e19b2e0de32beecbf8e8afa6f7dcd48d0acf19773f0152df18", "status": "DRUP_VERIFIED"}
{"bytes": 1591106, "index": 527, "sec": 3.114, "sha256": "65d82163b45c2f2e5155f7927a84951334422cd5317711f4ba841ac06d5f1edf", "status": "DRUP_VERIFIED"}
{"bytes": 1574566, "index": 535, "sec": 2.945, "sha256": "de9b1c1402d1c3a46f60e3e2460394fd7d835edb0068afd1ab9c1bd7db4f73b4", "status": "DRUP_VERIFIED"}
{"bytes": 1268021, "index": 543, "sec": 2.492, "sha256": "7fec9d1db8dac243ef3ba30a6081df1ad2ccbb8e654e4270824f4559763afc58", "status": "DRUP_VERIFIED"}
{"bytes": 1665440, "index": 551, "sec": 3.136, "sha256": "e34a4d3e7e8434a42e74368a7cbf8c7b77212b88dead8d13f1166989b2ef3b6c", "status": "DRUP_VERIFIED"}
{"bytes": 1630663, "index": 559, "sec": 3.108, "sha256": "c2136e5ae8565a894d2088052ee311fd3be436fa0ae03d2cbd2259310ffdd777", "status": "DRUP_VERIFIED"}
{"bytes": 4478995, "index": 567, "sec": 9.322, "sha256": "3a05f6844719a21860d2220b0cd8b06a1312a2f85865416036be4a31dd4cecd3", "status": "DRUP_VERIFIED"}
{"bytes": 1112403, "index": 575, "sec": 2.114, "sha256": "997590de9c19cba0db59b33ca5de156726cc6e7ca1d075200be4ab1bf633e87f", "status": "DRUP_VERIFIED"}
{"bytes": 1357994, "index": 583, "sec": 3.169, "sha256": "cfa41a2db21b4825a4b1e63e017b002968ea3cc89ce0dbbea16f6a8dc26671ba", "status": "DRUP_VERIFIED"}
{"bytes": 2933862, "index": 591, "sec": 5.438, "sha256": "1572086a1f20681101156b07d91c6653f1799a4f322c6d3ac97e5e1a22915f1c", "status": "DRUP_VERIFIED"}
{"bytes": 1402284, "index": 599, "sec": 3.92, "sha256": "9c9ac60a1a218a5238c254de45020a056b676debbbc7a9c0440d7bcce4e8f463", "status": "DRUP_VERIFIED"}
{"bytes": 2358588, "index": 607, "sec": 5.799, "sha256": "efcc3d866ac1d311bd2c2cf23308251a14d511b25c5fa935fd37dfb5d2b7867e", "status": "DRUP_VERIFIED"}
{"bytes": 2264025, "index": 615, "sec": 5.771, "sha256": "761103c26a79cc1823aede4f14a143a9463a06b9767f362f81b2692cf28c4084", "status": "DRUP_VERIFIED"}
{"bytes": 1495622, "index": 623, "sec": 3.474, "sha256": "6809dd913668f73fbf83740f6566ba1bbba5f05cfbd849473d95ff9ee9202d6f", "status": "DRUP_VERIFIED"}
{"bytes": 1219353, "index": 631, "sec": 2.708, "sha256": "b93fdbaae127fff6f4a889cf11dde14b3bccd1809e66794df026e394d2b082a8", "status": "DRUP_VERIFIED"}
{"bytes": 1854810, "index": 639, "sec": 4.834, "sha256": "ae65c52fc391431560c69ec3b29b1ff38715c01191809ea696597c08b42a7414", "status": "DRUP_VERIFIED"}
{"bytes": 2576162, "index": 647, "sec": 6.16, "sha256": "440b478df525be257bde93e407cba8f583713225afac6d1b1638a9d6ceeb79f7", "status": "DRUP_VERIFIED"}
{"bytes": 4361882, "index": 655, "sec": 7.881, "sha256": "35ccc5e0274ff02ea126d64d6e093e28175ba3a06c015ddc0eaae9c23102837c", "status": "DRUP_VERIFIED"}
{"bytes": 1993089, "index": 663, "sec": 3.909, "sha256": "f3d20923770650db116bba3785580f4fc3034e8e1ce94b6cebb08a029c52fb9d", "status": "DRUP_VERIFIED"}
{"bytes": 1594765, "index": 671, "sec": 3.1, "sha256": "7abebeddb29ca1e00351fd20ea9c03ff43290c3a12e95553add43359beeb34ec", "status": "DRUP_VERIFIED"}
{"bytes": 2695343, "index": 679, "sec": 5.001, "sha256": "d50dff414a2d332f076a59c55e869a59b4829ba57e8303ff3ca17bc966d5a590", "status": "DRUP_VERIFIED"}
{"bytes": 2597515, "index": 687, "sec": 4.054, "sha256": "a74cf6136861080ef23b381e1ad2f2e18c83bb7e20710152b27a3df459d6c2e9", "status": "DRUP_VERIFIED"}
{"bytes": 2689016, "index": 695, "sec": 4.978, "sha256": "35c44a5da31886988bb39915ac8041b88fd8a907ba17c61693f7e3b53a7dea7d", "status": "DRUP_VERIFIED"}
{"bytes": 2054890, "index": 703, "sec": 3.591, "sha256": "b1f93aa87e90a89e5a6a6f0464bb00f329b3123ad3b48ab4de538756d7cbdb19", "status": "DRUP_VERIFIED"}
{"bytes": 1248343, "index": 711, "sec": 2.705, "sha256": "714571c6de2c287d5b4a8b6b0a577c37c98da11d74483d48ecf589300b20d738", "status": "DRUP_VERIFIED"}
{"bytes": 2041033, "index": 719, "sec": 3.778, "sha256": "3c14906069fd49ada3a935a97b0e4b364f784f69bccdfcb17339a2da023b7138", "status": "DRUP_VERIFIED"}
{"bytes": 2769564, "index": 727, "sec": 5.342, "sha256": "770b135d41627666bb7e4e8ef61813e6374fb3117e251c542b418f6be6960c04", "status": "DRUP_VERIFIED"}
{"bytes": 2982470, "index": 735, "sec": 5.39, "sha256": "b9342696d11d140d54a43df8312b86dad755fa907f0744927db7d9448092d69f", "status": "DRUP_VERIFIED"}
{"bytes": 2872790, "index": 743, "sec": 4.809, "sha256": "2b98ca8230cd37a5a1947de75d4330d29f11728bb521744b119cc42ec469e1d7", "status": "DRUP_VERIFIED"}
{"bytes": 1081764, "index": 751, "sec": 2.066, "sha256": "8f747bce357a49f301db70aea7fd93aff0674b7c038824392fe072f054727796", "status": "DRUP_VERIFIED"}
{"bytes": 2636656, "index": 759, "sec": 4.534, "sha256": "5c5024d522902a9abe2cde0581bc3c6559e0e89082732da09e1aaf2c377cf20d", "status": "DRUP_VERIFIED"}
{"bytes": 2585096, "index": 767, "sec": 4.79, "sha256": "31f2ee6e8334266e9fbda09b9637af50a8b242d7509e7406f342f747c9eed762", "status": "DRUP_VERIFIED"}
{"bytes": 3087047, "index": 775, "sec": 5.245, "sha256": "7f2597a6e05e18d272485fe61d8a4b9a9405ef604556681d1f0500474bd49993", "status": "DRUP_VERIFIED"}
{"bytes": 3669876, "index": 783, "sec": 6.826, "sha256": "9c1778a6d5e6e7712545e486f0195fe0962e683ec03873f74e4a2019782d3a92", "status": "DRUP_VERIFIED"}