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

15 KB · on GitHub

{"bytes": 991408, "index": 2, "sec": 2.172, "sha256": "59ab992d7ebeafb465454c37908333441c0bab7566241623c9af9bcc1afdad26", "status": "DRUP_VERIFIED"}
{"bytes": 1683092, "index": 10, "sec": 3.034, "sha256": "5c7945e4d00ae3448d247fde1c62f11f5189a8bd9df3242da6a2c16733ea9aac", "status": "DRUP_VERIFIED"}
{"bytes": 1443298, "index": 18, "sec": 2.746, "sha256": "2ec2befb7b35ed8196640e6208d828e60bb18c413b36b496b1e064e6769fed25", "status": "DRUP_VERIFIED"}
{"bytes": 1933482, "index": 26, "sec": 3.254, "sha256": "e8e06fef78b4c46aea922789bc184be656bbc78e4b86e71ac7b5fb62965c1b49", "status": "DRUP_VERIFIED"}
{"bytes": 8883500, "index": 34, "sec": 13.784, "sha256": "221dbe6dd64559cb9d09b48c4d07b7fece40371ed830115de51ce3b87eabcdb4", "status": "DRUP_VERIFIED"}
{"bytes": 1914904, "index": 42, "sec": 3.738, "sha256": "bf2cad4b0d77bd9cdfbf45e46c1ea4350b9eb2af4be980c22c9053182cdca1b3", "status": "DRUP_VERIFIED"}
{"bytes": 1019487, "index": 50, "sec": 2.098, "sha256": "65769a496b6eca0b6528f7f4814ca6dbeb7c7e707d57ec723a17c54390072fa2", "status": "DRUP_VERIFIED"}
{"bytes": 1700010, "index": 58, "sec": 3.007, "sha256": "979bf533f5cb134dd2ce61e7d81603e389987e21aaa3faebb35840c3b8dbf93e", "status": "DRUP_VERIFIED"}
{"bytes": 1739263, "index": 66, "sec": 3.138, "sha256": "a4c203f9e124b8ecc006193e568a21a52b17ad323cc35942e4335d0587d48931", "status": "DRUP_VERIFIED"}
{"bytes": 2573945, "index": 74, "sec": 3.959, "sha256": "4511edd243a2ff7430970ae11c2fea0ee7406c5a8acf915924b13fe852ddbc34", "status": "DRUP_VERIFIED"}
{"bytes": 1361378, "index": 82, "sec": 2.449, "sha256": "1a514128cf18c75188190ffa6ab1a76186180d11b5f79b5cbe4d06c32c3cd9a3", "status": "DRUP_VERIFIED"}
{"bytes": 3697727, "index": 90, "sec": 6.519, "sha256": "cc844710668b3e307d9fda729623708bf4c5bee4ccc5c22185db0206a72c07e5", "status": "DRUP_VERIFIED"}
{"bytes": 2247146, "index": 98, "sec": 3.627, "sha256": "c87cd4c57c050b417e694935e6814ffd54c92803727f268b1421760adab82d56", "status": "DRUP_VERIFIED"}
{"bytes": 1198437, "index": 106, "sec": 2.588, "sha256": "b9d6d10a16fb56a8d3a8974dfe74aef2c6ef9fe888bdbf4ce34c4d7e57356e87", "status": "DRUP_VERIFIED"}
{"bytes": 957326, "index": 114, "sec": 1.943, "sha256": "89aed9465b5d11abd79892aca68c72069b04dac98529ac57e1f7b0453bbfffcf", "status": "DRUP_VERIFIED"}
{"bytes": 2307395, "index": 122, "sec": 4.209, "sha256": "c61c0180dc215d6e0e8aec3c5c4ecf6440c9405dd443873395352dd5a996cc3d", "status": "DRUP_VERIFIED"}
{"bytes": 2188707, "index": 130, "sec": 4.236, "sha256": "ea81192651d5d16266214a0918e2177affb622c1bd0a420499770847f022d594", "status": "DRUP_VERIFIED"}
{"bytes": 1436235, "index": 138, "sec": 2.933, "sha256": "89496cd3b08fe9c0a4cde29bd2acb7da9fc218189c116b366e33e21b51ec2c77", "status": "DRUP_VERIFIED"}
{"bytes": 1469186, "index": 146, "sec": 3.002, "sha256": "13e75ae504e2873c1243ab5454b98bf772255f5aba5372100df9098154ff6549", "status": "DRUP_VERIFIED"}
{"bytes": 19082502, "index": 154, "sec": 36.076, "sha256": "1f0bede58c7254d532f09aa9c2d27030d5727e7819faf62c5554f7b297d735f8", "status": "DRUP_VERIFIED"}
{"bytes": 1169034, "index": 162, "sec": 3.392, "sha256": "b3d887fe9e915b14850d82fea90606730b56e78956f3d8d92b0cab36e0bbe0f2", "status": "DRUP_VERIFIED"}
{"bytes": 1548908, "index": 170, "sec": 3.818, "sha256": "b950c1c5a37f4899a067bb5646040df1e1590fce59f4a18f3215d8429af18ca0", "status": "DRUP_VERIFIED"}
{"bytes": 1604971, "index": 178, "sec": 4.072, "sha256": "de1b9c856234b5c737e269314fa901c83da10a69578b2c3c4a7800ce47f62c00", "status": "DRUP_VERIFIED"}
{"bytes": 726642, "index": 186, "sec": 2.171, "sha256": "b0a318bd20c0fa5566fa62d70140551cd7153b33ca5954b2aa5e02518e0a4d3d", "status": "DRUP_VERIFIED"}
{"bytes": 1470094, "index": 194, "sec": 3.143, "sha256": "70f48978e20cb7b1f6e0d2a279200f80f23d9a6d36c5ef735d0bf42a4974fdfc", "status": "DRUP_VERIFIED"}
{"bytes": 11066690, "index": 202, "sec": 16.745, "sha256": "d14b94b828e43c4960dcf2ae9101320aa7bc3c889e4bf44b80dcad5972770480", "status": "DRUP_VERIFIED"}
{"bytes": 16948886, "index": 210, "sec": 31.93, "sha256": "0076f4fa6d5fb065f99c6704626303b2439884ff79cc7cc612398657301477a8", "status": "DRUP_VERIFIED"}
{"bytes": 2329343, "index": 218, "sec": 5.428, "sha256": "1d0f721ea46f6cec99773f8ff803d2c36fed6c1f6503cb19bcce8de5751b3ba3", "status": "DRUP_VERIFIED"}
{"bytes": 1959317, "index": 226, "sec": 4.2, "sha256": "997438276bc986e7c7a6669f625a2d0dcffc2996c7083f22150a6b02823cbebe", "status": "DRUP_VERIFIED"}
{"bytes": 1519183, "index": 234, "sec": 4.558, "sha256": "cb619a0cb21ae11cb672a4cd8c57f455ecb49ead46df6e79edb3d3fd56d6624d", "status": "DRUP_VERIFIED"}
{"bytes": 22237981, "index": 242, "sec": 37.15, "sha256": "6e9cedd0f66689bd9cf570cb4f501407a2dac6a24c547a5aab94d6a12d21d42a", "status": "DRUP_VERIFIED"}
{"bytes": 3323743, "index": 250, "sec": 5.144, "sha256": "cebebede57b0d48cb27de0f6ce82b8d76e39430e6ee04cb94d54a42f1475ae37", "status": "DRUP_VERIFIED"}
{"bytes": 3108258, "index": 258, "sec": 5.978, "sha256": "877091f1330dfb171f94cca70e880ed798dc94c33d8ff03e90c9d1d0122927b1", "status": "DRUP_VERIFIED"}
{"bytes": 2738326, "index": 266, "sec": 4.387, "sha256": "b13eb31f85f762ae41c46f8f950a4cd07987b0cf3eb01b256d4bcee99a6c4766", "status": "DRUP_VERIFIED"}
{"bytes": 1701440, "index": 274, "sec": 3.563, "sha256": "4940d55bf914d378d248454dcaa8d4b90c4d046b1140ae96f24fd3f66c5c06da", "status": "DRUP_VERIFIED"}
{"bytes": 1499435, "index": 282, "sec": 3.053, "sha256": "e5e688c02a4a1661b6e0aca87136f3160923c331088d218d612e615028b81ba3", "status": "DRUP_VERIFIED"}
{"bytes": 20865943, "index": 290, "sec": 37.481, "sha256": "777c53080b5d4733e0e376da4a76f4fa289aff1c008ee52519920c2127f81422", "status": "DRUP_VERIFIED"}
{"bytes": 2189248, "index": 298, "sec": 4.273, "sha256": "41a514920aaac8a129862ca77ac20274ca3b46e3b0d86662d1836bad23eee659", "status": "DRUP_VERIFIED"}
{"bytes": 1913870, "index": 306, "sec": 3.302, "sha256": "2165cae9a9167703695e12a8233f17d902deba2416c66ee4c2726dd504a4a0ff", "status": "DRUP_VERIFIED"}
{"bytes": 1466255, "index": 314, "sec": 2.797, "sha256": "7dfb2ba28fb9fc5fa2a4a66964f601150eb6fdda2506dbddeaba0f6366097857", "status": "DRUP_VERIFIED"}
{"bytes": 2490633, "index": 322, "sec": 4.361, "sha256": "e3aac458159cd72436b944c19bfaeb89e89b49e13f2b51f3de73d2c52412fe8f", "status": "DRUP_VERIFIED"}
{"bytes": 2339728, "index": 330, "sec": 4.038, "sha256": "1696b670954fc94bdcde721eba00a54eae673b3007019c12dffa0e93b223a5b8", "status": "DRUP_VERIFIED"}
{"bytes": 18713975, "index": 338, "sec": 30.741, "sha256": "5d58a2e142b5ec1a366ea327ba26ecf8d02987501ba12910b9ce0975fb8d5c29", "status": "DRUP_VERIFIED"}
{"bytes": 3628925, "index": 346, "sec": 6.253, "sha256": "771acde9424c9bd72685d0796f4d39e960c356c00b36b614e98f02ac5723347a", "status": "DRUP_VERIFIED"}
{"bytes": 17903011, "index": 354, "sec": 29.02, "sha256": "7a1b2fe94fde44ce435cce9fe3be4d2cbb8f8ba11582f8843df57d1e145de87a", "status": "DRUP_VERIFIED"}
{"bytes": 1474059, "index": 362, "sec": 3.144, "sha256": "13baf8270aa59e08e51022449ef53d31501123eb6b4765b1c727057f3a23594e", "status": "DRUP_VERIFIED"}
{"bytes": 1357565, "index": 370, "sec": 2.622, "sha256": "7076c1c621e42a7171469d7a3217cb0d618edd404f5f6c37962ea7f181be2c81", "status": "DRUP_VERIFIED"}
{"bytes": 1404031, "index": 378, "sec": 3.127, "sha256": "136aacbd8a96dfa5018abf8003d67905f3453a797e9882884e1a2ef804bc1d9f", "status": "DRUP_VERIFIED"}
{"bytes": 1409959, "index": 386, "sec": 3.269, "sha256": "a89be71b687fbf0c37d3fb62b7cec63231e8a276d33a6c9edd8f8b205393d1ba", "status": "DRUP_VERIFIED"}
{"bytes": 1954532, "index": 394, "sec": 3.394, "sha256": "414c6fc500e577cd80ed94d1ed1789420aca899f48e0da1dc605b2285dce77a0", "status": "DRUP_VERIFIED"}
{"bytes": 970326, "index": 402, "sec": 2.498, "sha256": "3d5d4196dd50ae73640a8ba88df3e04c06ea1a75ba703d0777e40724f0e419a4", "status": "DRUP_VERIFIED"}
{"bytes": 24780995, "index": 410, "sec": 52.315, "sha256": "94963f9a7affe58adcdb8ecb3090bcec4f8ea70752412f776d946bf125bb3303", "status": "DRUP_VERIFIED"}
{"bytes": 2126718, "index": 418, "sec": 3.77, "sha256": "702f048996424f2246fdd946eb2a0a3c3b5a4c6b38b5aa43a0859c8fabc8a141", "status": "DRUP_VERIFIED"}
{"bytes": 1564454, "index": 426, "sec": 3.293, "sha256": "41c73c8a218e0aca12dbb84f40219abe164c62536b80c9820dd340c7dc93bbe9", "status": "DRUP_VERIFIED"}
{"bytes": 1804628, "index": 434, "sec": 3.233, "sha256": "f50f8f3329ce03a945e5c9ed46b1f6b3f01dfa2208a6ec5e7f3981cde79afece", "status": "DRUP_VERIFIED"}
{"bytes": 1834116, "index": 442, "sec": 3.365, "sha256": "eee10558c7bd079f159d8cab0f2c0b34c5e58f9db99e8d8a5250c74c446d9a71", "status": "DRUP_VERIFIED"}
{"bytes": 2303033, "index": 450, "sec": 4.181, "sha256": "de4720b6b8967fffabea2fad64c9a0f2ddfb5dc7dd148f5a8f375103db04faf8", "status": "DRUP_VERIFIED"}
{"bytes": 3128089, "index": 458, "sec": 5.398, "sha256": "5139c14802a0121dc286ccfc5328d98d7d4f115df30a437131f61778e4dca980", "status": "DRUP_VERIFIED"}
{"bytes": 1756660, "index": 466, "sec": 3.124, "sha256": "3f3c5a58b585fba08c29b77d4321561371fffbc076b204d3318692821669fcd2", "status": "DRUP_VERIFIED"}
{"bytes": 3076632, "index": 474, "sec": 5.425, "sha256": "5bf21ec3bc1f76cae481ee60a18f5bedd54f16a153e0eea9838d1faf787812e3", "status": "DRUP_VERIFIED"}
{"bytes": 1576428, "index": 482, "sec": 2.736, "sha256": "97e886be452dc3ec331ccbcac5adf60b4c96549360225e8a64812efe28816e7b", "status": "DRUP_VERIFIED"}
{"bytes": 3628889, "index": 490, "sec": 6.916, "sha256": "3f480698c9ccfc4d10847cab67662a8702cedab4ace0948e50ef29a0c5b014ab", "status": "DRUP_VERIFIED"}
{"bytes": 1128425, "index": 498, "sec": 2.305, "sha256": "b88a01d956dfd8c2224354c85271ede7933a4a69e450b4035260997abf1fe88e", "status": "DRUP_VERIFIED"}
{"bytes": 1853998, "index": 506, "sec": 3.264, "sha256": "3a6d61858486319857f6ae51418f308485a7361ee3a5a993096a28886d874f6f", "status": "DRUP_VERIFIED"}
{"bytes": 1147785, "index": 514, "sec": 2.971, "sha256": "b4c128c592595a87afa448ca4e5e3238d4952a01142f3f31c38bf2943cff04a6", "status": "DRUP_VERIFIED"}
{"bytes": 444712, "index": 522, "sec": 1.133, "sha256": "4af15a495f395ef4af104d9a2d21214f544d0a19f18b4bc689be7682c9891db4", "status": "DRUP_VERIFIED"}
{"bytes": 1206210, "index": 530, "sec": 2.237, "sha256": "60ba7fb431d746573d0e0809e4a33ccebbb1a19a35ba7af686e68657933af5eb", "status": "DRUP_VERIFIED"}
{"bytes": 1960101, "index": 538, "sec": 3.608, "sha256": "d37d2733893ca593c52f7c331f3a1e260c5960e7535637c13b6d4d5117ef42eb", "status": "DRUP_VERIFIED"}
{"bytes": 2027868, "index": 546, "sec": 3.916, "sha256": "0a1a8c36935ff687c83740b554c24a6851a5364c2f39df13eb4c526ba469c787", "status": "DRUP_VERIFIED"}
{"bytes": 1490552, "index": 554, "sec": 2.817, "sha256": "b03d9cb0bd00da0fde6a212e4e4981af8ebc9d3e2aee3d9da8d308bd1e9fde23", "status": "DRUP_VERIFIED"}
{"bytes": 2167831, "index": 562, "sec": 4.061, "sha256": "e38d959648722b55ad6a282ec182649985b53c5a0422fcbfd9d2293f2331f70a", "status": "DRUP_VERIFIED"}
{"bytes": 1384387, "index": 570, "sec": 2.299, "sha256": "6449f9c910c1761426b572fc5ba12be0dfb8c3f8f7645cf4d49cad837ade9fb2", "status": "DRUP_VERIFIED"}
{"bytes": 2098042, "index": 578, "sec": 3.972, "sha256": "a0d51ff8c83dd47582953121d2911ec63ee43eb50327eed8d5836faa9ea6aa0f", "status": "DRUP_VERIFIED"}
{"bytes": 2212263, "index": 586, "sec": 3.77, "sha256": "ab87771108a4e812e62e4d9e802bdc658951088af3977a006b10111eee8fe9c4", "status": "DRUP_VERIFIED"}
{"bytes": 2418386, "index": 594, "sec": 3.849, "sha256": "3bd2cefad5c25ac483b5fdfc688da98220eb4b0044467b0cd3fda85566d246e7", "status": "DRUP_VERIFIED"}
{"bytes": 2152955, "index": 602, "sec": 3.624, "sha256": "22fdf4da88ac66e0f54a8c3850d6a434247c3ecd8ee23e72b7b849288aa3208e", "status": "DRUP_VERIFIED"}
{"bytes": 1476361, "index": 610, "sec": 2.649, "sha256": "72139bca47d967fc8d39e9a642f2278ba9bbc989b4fabe42920839c8f4b9c7c4", "status": "DRUP_VERIFIED"}
{"bytes": 2308460, "index": 618, "sec": 4.035, "sha256": "17ebdbd5082bfea65625cdf258528062749454c0a6dba569853ea0b0725ce97d", "status": "DRUP_VERIFIED"}
{"bytes": 1182545, "index": 626, "sec": 2.458, "sha256": "954b3df49dacabb7143ca1960e5e875faa62f02e85c6bcb69b86a5dc3a7350a5", "status": "DRUP_VERIFIED"}
{"bytes": 1801906, "index": 634, "sec": 3.387, "sha256": "ab8fbf1a67750bb436f8aaa91086f6521947ee320b1322b69a0df6e9b392032d", "status": "DRUP_VERIFIED"}
{"bytes": 2618391, "index": 642, "sec": 5.115, "sha256": "6ad3e654368262c84deeb8822da498e66538253a76d507b38790827c9a968d02", "status": "DRUP_VERIFIED"}
{"bytes": 1671272, "index": 650, "sec": 3.786, "sha256": "027375b5f873cb78fe717e78d201f69e526e8afbc61c3ed5cd2ec25d3a5d0a24", "status": "DRUP_VERIFIED"}
{"bytes": 1293574, "index": 658, "sec": 2.665, "sha256": "526633f7e2038e6666c3a837c7d190835a9347c8a055ceb0eecdf20e9b46b9fb", "status": "DRUP_VERIFIED"}
{"bytes": 2448970, "index": 666, "sec": 5.689, "sha256": "53534eb2250f8cc90a87d31d86f8aaff19adb1a805341576682ac5cac2400098", "status": "DRUP_VERIFIED"}
{"bytes": 2104200, "index": 674, "sec": 4.437, "sha256": "01e90e491ec331add119f36301989848ddccae56aa60b286bf41cfd836645f26", "status": "DRUP_VERIFIED"}
{"bytes": 2532357, "index": 682, "sec": 5.151, "sha256": "fbee51cf270444f2faee5fa7d938790e6e64e13dd3742c0afbbd3eb9a66a0dda", "status": "DRUP_VERIFIED"}
{"bytes": 1632489, "index": 690, "sec": 3.848, "sha256": "e790d428658c94eaf9656eca50237e7bbec8bf61a86706fc58893f004dd3a475", "status": "DRUP_VERIFIED"}
{"bytes": 2591205, "index": 698, "sec": 7.243, "sha256": "91d99f8365f8c4a5b9e0ce30aaafd178e8498767b635bae674440f085537c798", "status": "DRUP_VERIFIED"}
{"bytes": 1788953, "index": 706, "sec": 3.66, "sha256": "f090fccc5db54d368d8bf4c9a04181a14cad8c331312fb79b3f5a9bce245f30f", "status": "DRUP_VERIFIED"}
{"bytes": 2728577, "index": 714, "sec": 5.22, "sha256": "8a55ef5a7ef066b5669599619679a83017bc802300b5843b29165dfbe54cf5f2", "status": "DRUP_VERIFIED"}
{"bytes": 2358408, "index": 722, "sec": 4.963, "sha256": "cb10d0d2762b7b2dcd55ad494ee482bd0fba0c340cba2104278777fdfa7af371", "status": "DRUP_VERIFIED"}
{"bytes": 3111150, "index": 730, "sec": 5.698, "sha256": "b17bee5098bfd103970126bbbb05bfec270c222ed24fa98dda32ec3dd850000e", "status": "DRUP_VERIFIED"}
{"bytes": 3508092, "index": 738, "sec": 6.194, "sha256": "8d17739c476e44da3e7adcf47cde0b5577ea871f4ed49ee7b1ca6308daf37470", "status": "DRUP_VERIFIED"}
{"bytes": 2912398, "index": 746, "sec": 5.304, "sha256": "8589300b3136f36f673ed44e7d738cb61581fa64b2b751e4523f2025eee8dc23", "status": "DRUP_VERIFIED"}
{"bytes": 1083259, "index": 754, "sec": 2.06, "sha256": "9eee033925f671d2834dab0bc3d1f394ebd12ae07fc8d3ad15a6fb8bd534fb71", "status": "DRUP_VERIFIED"}
{"bytes": 3076221, "index": 762, "sec": 5.005, "sha256": "4eb7424197d102a67e820affa2ceae4490dff43e8e96960afaaad5cd4d5c38f3", "status": "DRUP_VERIFIED"}
{"bytes": 2452915, "index": 770, "sec": 4.591, "sha256": "fbaa7b21b7d3fb84ee718a931d73a5775e05d37b9793ddbdd3a4c97e6ae857c8", "status": "DRUP_VERIFIED"}
{"bytes": 3410803, "index": 778, "sec": 6.123, "sha256": "7fe6f9dcf41477f3f6c815cbc4cf137ffebd9c53e263ea01e348e2160375b9a8", "status": "DRUP_VERIFIED"}
{"bytes": 3950646, "index": 786, "sec": 6.831, "sha256": "5eeefe5fe735f0fca4739c419d6c0c565340e03edeaa145904d455fbd9be7e81", "status": "DRUP_VERIFIED"}