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

15 KB · on GitHub

{"bytes": 852632, "index": 5, "sec": 2.203, "sha256": "254cd33e6e8a324326d365e3de828d4d73efc65c5974f63855d0de209ffa74f8", "status": "DRUP_VERIFIED"}
{"bytes": 1659799, "index": 13, "sec": 2.781, "sha256": "5a1ccea1fb10a2ecde3d73034901de2bc95edda1d16af4d2a9f303bce2610bab", "status": "DRUP_VERIFIED"}
{"bytes": 1023469, "index": 21, "sec": 2.089, "sha256": "007f9c3f179c2c9225f684633f47652322192482cf9e08f4351e1c714044e2d4", "status": "DRUP_VERIFIED"}
{"bytes": 876329, "index": 29, "sec": 1.795, "sha256": "e09e7437d7e7c091b7d2e426b59503fc44e4350319db1c756b3e62bd325c366a", "status": "DRUP_VERIFIED"}
{"bytes": 1346029, "index": 37, "sec": 2.454, "sha256": "d6159aa22376904c3ce18eeb26cd7f393e7d0e371bebe613f70d5de67a82434c", "status": "DRUP_VERIFIED"}
{"bytes": 1622917, "index": 45, "sec": 3.011, "sha256": "8fd0e15def4a89d1d139bf04686ffe86feaae179dfbe1bceb9761ff59637ea20", "status": "DRUP_VERIFIED"}
{"bytes": 719964, "index": 53, "sec": 1.562, "sha256": "954ab27c0da904c949c94598e4c361ec9ebcc761073955452980c6cd9488bdb2", "status": "DRUP_VERIFIED"}
{"bytes": 1710457, "index": 61, "sec": 3.14, "sha256": "051420a608eb2ad1369c6db5e02fc9a7435b60325d33cdb139a2fdb4fbc1d9c9", "status": "DRUP_VERIFIED"}
{"bytes": 5326399, "index": 69, "sec": 8.633, "sha256": "e85be6c006706c110d62ddb6f40bd497bc9319ec5167814057afc63be2b5964c", "status": "DRUP_VERIFIED"}
{"bytes": 3809738, "index": 77, "sec": 6.605, "sha256": "7e0e8b230a097d4e107d27dab357da746139642d3fa28f9103eca2274e6a88b6", "status": "DRUP_VERIFIED"}
{"bytes": 1398253, "index": 85, "sec": 2.521, "sha256": "89bb348f42e4a089aee11c45deffc7f2267170714dd1fcf4f5ee30700d57d61d", "status": "DRUP_VERIFIED"}
{"bytes": 2054957, "index": 93, "sec": 3.583, "sha256": "06c7aa4710b35d863852758c2d033331ef6cbfa418f0d082e19728a24db13cf3", "status": "DRUP_VERIFIED"}
{"bytes": 1761565, "index": 101, "sec": 3.745, "sha256": "07142f0bc8106cbf9b4139899a250b234fda8a11234b623cc32b3de550e0ecb7", "status": "DRUP_VERIFIED"}
{"bytes": 28511944, "index": 109, "sec": 50.576, "sha256": "72b434d99f02e3468a40ae337d731acf8dfa6f75a60c0654e86e268be6c09f18", "status": "DRUP_VERIFIED"}
{"bytes": 24044710, "index": 117, "sec": 50.691, "sha256": "168c9a3aaec11e48966c6129afc2fbf98681129dbce749debc8280947a1b83cb", "status": "DRUP_VERIFIED"}
{"bytes": 1479757, "index": 125, "sec": 3.258, "sha256": "02bea1fc229d2e88a03295c6fa568391833c712b46585e5dcf3d186bcc06116b", "status": "DRUP_VERIFIED"}
{"bytes": 1619344, "index": 133, "sec": 4.708, "sha256": "c34eeccdfbf5063f7beda0b7b903a57efe611586477d87357ec7e4d121dc20e0", "status": "DRUP_VERIFIED"}
{"bytes": 7595981, "index": 141, "sec": 12.46, "sha256": "813148e02e71e9919169d39d2349cdc944c0dee8856488110da37934c4bd2066", "status": "DRUP_VERIFIED"}
{"bytes": 4115406, "index": 149, "sec": 8.318, "sha256": "c6202c1b38992a5a3739fa6f5320c7dfb0050f6643c927e30c2c94d999b0b548", "status": "DRUP_VERIFIED"}
{"bytes": 2664039, "index": 157, "sec": 5.287, "sha256": "1677ced189d08af098caa47e5077f280a155497ae0e80975f68d850808a9bfdf", "status": "DRUP_VERIFIED"}
{"bytes": 1036653, "index": 165, "sec": 2.682, "sha256": "98e4582eecddd775acc9af699c2f44e277d845df8d36d40429e620a4283ab63a", "status": "DRUP_VERIFIED"}
{"bytes": 1471359, "index": 173, "sec": 4.225, "sha256": "d49d98f7774f3abd3201f56eb600030bfdfbff286accd176213e07b197d43fb1", "status": "DRUP_VERIFIED"}
{"bytes": 14266213, "index": 181, "sec": 23.573, "sha256": "24f2b95ab8c11a6c4a0c9dd417dd0bbc0904c4967a4dcdbc94800fe6d4d74b01", "status": "DRUP_VERIFIED"}
{"bytes": 1136307, "index": 189, "sec": 2.526, "sha256": "9b98ca1ad0cdb921da676168e9f9ad74afd10371aee8598e28457987b67c4292", "status": "DRUP_VERIFIED"}
{"bytes": 2327636, "index": 197, "sec": 3.794, "sha256": "e2f5154d64ccf103ab98de6da55a2718ec033970bd8e16143d43067560fca7f4", "status": "DRUP_VERIFIED"}
{"bytes": 17187539, "index": 205, "sec": 27.432, "sha256": "68882553d78639895215616dc2c9cf537cdff9fdb12dad456488f126981edcd4", "status": "DRUP_VERIFIED"}
{"bytes": 1314224, "index": 213, "sec": 2.586, "sha256": "abacfd13e017958c08492005a4ce710933c2fff0fe78e50ecfb06012804b591e", "status": "DRUP_VERIFIED"}
{"bytes": 23337866, "index": 221, "sec": 38.862, "sha256": "b8558ae6c44a114d452e2b214e3344f65733ece39dd34373b598c48f36a2349a", "status": "DRUP_VERIFIED"}
{"bytes": 2319197, "index": 229, "sec": 4.92, "sha256": "b98f838b2f3494af368cff00ecfdfa27c7b729f591e483fbb0b11ed7e6d72312", "status": "DRUP_VERIFIED"}
{"bytes": 1795300, "index": 237, "sec": 3.11, "sha256": "dae0cf1fc1a34d53b47cecfef73ae070a12ac7cecd731e38a8d1fc8a316d6faa", "status": "DRUP_VERIFIED"}
{"bytes": 2900444, "index": 245, "sec": 4.553, "sha256": "a86bc7d2c8cf4cd9af51a366a39e18fe70abc8107feb5713dae5a656811f0fe7", "status": "DRUP_VERIFIED"}
{"bytes": 1276559, "index": 253, "sec": 2.207, "sha256": "d3a593994bb408b60b3715bf9417c893a6fdb06871cf323c2df7a123a29f1136", "status": "DRUP_VERIFIED"}
{"bytes": 2645135, "index": 261, "sec": 4.482, "sha256": "10cbcb8927809c0d7044f2bb1bf99e9e9a5e986e8e54eda4e0180d1f69eaea12", "status": "DRUP_VERIFIED"}
{"bytes": 3180044, "index": 269, "sec": 6.035, "sha256": "8aa8505588c284df0a929db009941a08207b68ba16ac980156e4421137ee7106", "status": "DRUP_VERIFIED"}
{"bytes": 1740904, "index": 277, "sec": 3.634, "sha256": "34b830b1c77d58389a847b2508b53ab1c7b0528a5884f032fe8f62e9c23dfd28", "status": "DRUP_VERIFIED"}
{"bytes": 19575081, "index": 285, "sec": 30.728, "sha256": "6f07eb75f7c74d164528e6491ed1237058a0ed114edf9cba9fc66486a96b78e5", "status": "DRUP_VERIFIED"}
{"bytes": 13860341, "index": 293, "sec": 23.999, "sha256": "3070037634d1f4798d874395ca2c1a04990016a7421db61aa3f0d5b8d107fca0", "status": "DRUP_VERIFIED"}
{"bytes": 1091838, "index": 301, "sec": 2.807, "sha256": "da14269361576c7cd85b4627539cd7cbcc1615ad0c403ad7c6b5d1f2bd0f787e", "status": "DRUP_VERIFIED"}
{"bytes": 901049, "index": 309, "sec": 2.05, "sha256": "099fbb40c9d3ba234312276fdff146bb7663d48fd1acd426b150558701794fa5", "status": "DRUP_VERIFIED"}
{"bytes": 2267069, "index": 317, "sec": 4.566, "sha256": "e09c3709aaf98f473779e875b2c1a84edd6598704dba5cd819d15bbb639596a7", "status": "DRUP_VERIFIED"}
{"bytes": 977525, "index": 325, "sec": 2.151, "sha256": "25478aa75f4ec347e8172c75573046ce7cbe60cf6d3d2c6ea5657eaa0cef4daa", "status": "DRUP_VERIFIED"}
{"bytes": 17995511, "index": 333, "sec": 35.564, "sha256": "079e52d0b61426e335d6e06a57fc3d8e47746645c6ac7dd2667ac330f7b17f8c", "status": "DRUP_VERIFIED"}
{"bytes": 16650124, "index": 341, "sec": 29.272, "sha256": "b6f37a345c7b53d2676274da21793ea481d8c82a0b8f6770b379b2904c20fbe3", "status": "DRUP_VERIFIED"}
{"bytes": 2208694, "index": 349, "sec": 3.917, "sha256": "8ea8ec66f54153371eea167c6ca3076714b0553255532c2f237e88f51f2499bd", "status": "DRUP_VERIFIED"}
{"bytes": 2189788, "index": 357, "sec": 3.853, "sha256": "c4b2dbc2248a586a5c0b2d9617a07a559e0f6a5cea3c78bd0855e9fcdac944ac", "status": "DRUP_VERIFIED"}
{"bytes": 12567990, "index": 365, "sec": 18.813, "sha256": "fbd50b46af9b58b3e859e4162c12562a9ef722ba9b881ba0a845b86c075b5122", "status": "DRUP_VERIFIED"}
{"bytes": 2038752, "index": 373, "sec": 3.832, "sha256": "f589adcd206da6ddb4f752cb6a5de2aa8986d688431f0b2ed78c11ff04dbd828", "status": "DRUP_VERIFIED"}
{"bytes": 1156655, "index": 381, "sec": 3.304, "sha256": "843bdd34b5d2572a75b8b09d147fec507d0aa1c53157c861550161cea4f6ffb7", "status": "DRUP_VERIFIED"}
{"bytes": 10220792, "index": 389, "sec": 16.652, "sha256": "955278375658a590a7f9a58753bf4c4ca2221e62565e7e59d553e4efa99b332f", "status": "DRUP_VERIFIED"}
{"bytes": 1925539, "index": 397, "sec": 3.413, "sha256": "a5c26cb2d7fd7195a6f8ba6619a6b3d543951035a51c95dd946b20049c427c91", "status": "DRUP_VERIFIED"}
{"bytes": 1708168, "index": 405, "sec": 2.989, "sha256": "65a3eaefd3452f05ef7caa606f4a39fdb37b68bf0d146c4bbf44b0f448aefd55", "status": "DRUP_VERIFIED"}
{"bytes": 4340473, "index": 413, "sec": 6.674, "sha256": "d45063d03fe596c59bbcf9096f8a9749952f87cb30f2bd42a36fc3753954dd09", "status": "DRUP_VERIFIED"}
{"bytes": 1714227, "index": 421, "sec": 3.174, "sha256": "0464d90c6e1bd467f1b76242dc46a968a49a39c6aea2c8a188460a4efef6143e", "status": "DRUP_VERIFIED"}
{"bytes": 15395276, "index": 429, "sec": 24.39, "sha256": "418a85240d469956b92058cda55930b6ee9818630d3c1f1cd704f59dbe43a114", "status": "DRUP_VERIFIED"}
{"bytes": 1708599, "index": 437, "sec": 3.661, "sha256": "94974d7776002ce25f6fb825adb47e5d278b6b4315605ae274500c71be09aabb", "status": "DRUP_VERIFIED"}
{"bytes": 21843916, "index": 445, "sec": 43.366, "sha256": "91b5a20040c70ddd20af81e853108737e47c28e0c21706888715debe1312b384", "status": "DRUP_VERIFIED"}
{"bytes": 2394388, "index": 453, "sec": 5.18, "sha256": "efce7e1cb45eafa84034055969d9169e6ad9ef07df590b98906d3a1ec7ece2ab", "status": "DRUP_VERIFIED"}
{"bytes": 2327278, "index": 461, "sec": 4.308, "sha256": "4d338aed71edf0e35fca76479aff7f9dcb38837fd8366d353f7b3dbdf074dd72", "status": "DRUP_VERIFIED"}
{"bytes": 1565535, "index": 469, "sec": 2.773, "sha256": "06f2a75d50a8a81fbe0fee8973b29943a940de517393db11d7d4113ec8b1de13", "status": "DRUP_VERIFIED"}
{"bytes": 2071078, "index": 477, "sec": 3.433, "sha256": "dbb3387eb6ad215bf072bd0b2e938751d3ec6ad870373a7cfb94055b9eff4c82", "status": "DRUP_VERIFIED"}
{"bytes": 2989329, "index": 485, "sec": 5.605, "sha256": "0d4a0c9b66f21d40a00732ced423cd9f68bea2a6e9f69ea4c5c08b9a506eb229", "status": "DRUP_VERIFIED"}
{"bytes": 2518925, "index": 493, "sec": 4.563, "sha256": "769f7618d8ce7f8d08a07377a02cec1ae9bedaf13270fbdf9e08ad924534e1b9", "status": "DRUP_VERIFIED"}
{"bytes": 1329205, "index": 501, "sec": 2.475, "sha256": "3319226d5d482f61c7812bcf26b0281af97d16ae14199de5906c3497a43371af", "status": "DRUP_VERIFIED"}
{"bytes": 1686696, "index": 509, "sec": 3.352, "sha256": "4993f58442da63ea860584699bb06ac86771f28f12f26deccec77110f77f660c", "status": "DRUP_VERIFIED"}
{"bytes": 1708552, "index": 517, "sec": 3.016, "sha256": "b09c13d32010b6048f565520282a13b606615e18dd488fc041d76ac9fb190b5a", "status": "DRUP_VERIFIED"}
{"bytes": 875712, "index": 525, "sec": 2.011, "sha256": "cf47aa00cc23b7eb69ec241cdabf218f53519289d2d222697e05c68f82280ee3", "status": "DRUP_VERIFIED"}
{"bytes": 1638712, "index": 533, "sec": 2.858, "sha256": "fe96a03ee0bf0c1aa046a2ad312bcb78edd647189122d95808dbc71cd64bcf62", "status": "DRUP_VERIFIED"}
{"bytes": 1882015, "index": 541, "sec": 3.214, "sha256": "cb400f39aceeaacf3e3a25c240c48afc4926d3c93c7c4242b054f57c7948f797", "status": "DRUP_VERIFIED"}
{"bytes": 1660461, "index": 549, "sec": 2.986, "sha256": "4e35d36b8b7ee6777a3a950f765fe8111e601047548d517f2c18007150dd2ab5", "status": "DRUP_VERIFIED"}
{"bytes": 1812745, "index": 557, "sec": 3.143, "sha256": "0b3c786e3ef765b47e3208d947e8d72398995ed77448386cf45b86b14879a244", "status": "DRUP_VERIFIED"}
{"bytes": 3052815, "index": 565, "sec": 5.204, "sha256": "4187f5b6e96c258d621ca54e8c5b6dd8ad3820c6d998443a5ce89ce9f215f6b4", "status": "DRUP_VERIFIED"}
{"bytes": 1290916, "index": 573, "sec": 2.367, "sha256": "ed6dd412c8753fd87fe4e5ca88ddf404b3ca95636d3023982a3c44f308addd15", "status": "DRUP_VERIFIED"}
{"bytes": 2193164, "index": 581, "sec": 4.298, "sha256": "1fd3da191febf0daffe75ebd2ca293173d2ca21fb676ccc000df9765a2c94225", "status": "DRUP_VERIFIED"}
{"bytes": 3510073, "index": 589, "sec": 6.237, "sha256": "55e36ca7c7c90d939f8e8111d6b30c9139e6c68cea60164dd0db5085ff7559a7", "status": "DRUP_VERIFIED"}
{"bytes": 2439856, "index": 597, "sec": 4.22, "sha256": "ccb762b8acacc93dcda0a46d5fe7d101e1e1e9199b6e41791292522ca1763f11", "status": "DRUP_VERIFIED"}
{"bytes": 1427911, "index": 605, "sec": 3.185, "sha256": "139a0d9eaafdd5b3fdbea380af956f970227e73b8a4454f7113c29b4b3b68f81", "status": "DRUP_VERIFIED"}
{"bytes": 2706207, "index": 613, "sec": 4.52, "sha256": "f4ce2514c65f50a7ebaa85f5a7966025dc562ca957823fcab390fedfc512adf8", "status": "DRUP_VERIFIED"}
{"bytes": 2191994, "index": 621, "sec": 3.8, "sha256": "89e5de3f946dad7efb90c9063613788b18ca4895c620ea0d67a22a94318c3294", "status": "DRUP_VERIFIED"}
{"bytes": 2174279, "index": 629, "sec": 3.902, "sha256": "db6cee1f9af4c15067fc745017315c8924d4bf13e7785a1bd181bec688972eab", "status": "DRUP_VERIFIED"}
{"bytes": 2711369, "index": 637, "sec": 4.474, "sha256": "b3197632e7d8106cdbb8c672bec852675890452f686416511f35d6735272d2f1", "status": "DRUP_VERIFIED"}
{"bytes": 2242449, "index": 645, "sec": 3.737, "sha256": "bffe9f9e420eaa7f0278f8a29efd84b8079fd8738a3cdd95b5af4cf0fbca2db9", "status": "DRUP_VERIFIED"}
{"bytes": 2998567, "index": 653, "sec": 5.317, "sha256": "1102d938e74758d5a098a2cb3c81d6c4c8347ce85315d5b64e1cbb22365cc848", "status": "DRUP_VERIFIED"}
{"bytes": 1470173, "index": 661, "sec": 2.728, "sha256": "927fa9e892671501c523896c16ded20d6dba22631bd2d866024bbc57692e7c23", "status": "DRUP_VERIFIED"}
{"bytes": 3276730, "index": 669, "sec": 5.162, "sha256": "50d0f7558c46a4dd039a0a481feaa87e7722f758545168f115edaaaa6bb44757", "status": "DRUP_VERIFIED"}
{"bytes": 1598186, "index": 677, "sec": 2.6, "sha256": "ed72bb38700caf5693c8af715bb84ad6b457667ba9c3d7106297e3123d0aea8b", "status": "DRUP_VERIFIED"}
{"bytes": 1452693, "index": 685, "sec": 2.475, "sha256": "09770d3e472da38f2ab272b6b06ddc35f56bf9776344a73e8c58621f93306265", "status": "DRUP_VERIFIED"}
{"bytes": 3474135, "index": 693, "sec": 5.96, "sha256": "cd484e70adf5372584719f067a844b0b54d8df9b5be6cc5a88e392c34fb72f0c", "status": "DRUP_VERIFIED"}
{"bytes": 3342408, "index": 701, "sec": 6.171, "sha256": "a706798cd09d455999b6e30c22a4724d84efa8a9abe1aee492d15e0a14dcd6d1", "status": "DRUP_VERIFIED"}
{"bytes": 2227025, "index": 709, "sec": 3.758, "sha256": "5e3e4c790fab700d18d47cd162fd959744c548c7f47135a48241b26cbcdf22e5", "status": "DRUP_VERIFIED"}
{"bytes": 1923077, "index": 717, "sec": 3.27, "sha256": "239ccb175150bafcf856f5ba577a224f5b18b5fe81d3b1dc2eb231031332b592", "status": "DRUP_VERIFIED"}
{"bytes": 2434148, "index": 725, "sec": 4.585, "sha256": "d194970583fbbc40c1289b2a57114d98e6076ee6e0e8d66dfe5368dc53d75c24", "status": "DRUP_VERIFIED"}
{"bytes": 3071220, "index": 733, "sec": 5.432, "sha256": "381f93e5376c67bb25a6c448c82595c0048b276102ea04a77bfff5970cdf5a10", "status": "DRUP_VERIFIED"}
{"bytes": 2474191, "index": 741, "sec": 4.429, "sha256": "a386caad4c816611a9c4b6682758c657920572c2aedf314d256a284958267399", "status": "DRUP_VERIFIED"}
{"bytes": 1726174, "index": 749, "sec": 2.897, "sha256": "bef6f70100ee095d53b546874c1957cc7a1130795bee76988407a4e19b3e091d", "status": "DRUP_VERIFIED"}
{"bytes": 1316462, "index": 757, "sec": 2.672, "sha256": "c6aadcebfdfe6db0e3c51bd8c9ba59cebc9274086f47c600a88977aa13e05181", "status": "DRUP_VERIFIED"}
{"bytes": 2896069, "index": 765, "sec": 5.46, "sha256": "744df2acba7e86d0f4be54b296799bf4b7b5672c1046de19d3d23db39413a25d", "status": "DRUP_VERIFIED"}
{"bytes": 3396944, "index": 773, "sec": 5.917, "sha256": "305572c81bb99447716df534762e4fbd89fe39b9f6f67f9c79897f48741e2dca", "status": "DRUP_VERIFIED"}
{"bytes": 2577386, "index": 781, "sec": 4.51, "sha256": "2259d4e4652e824450a52e4f8ee1d1f626466a876e87b3c7052a2f7adb5f413a", "status": "DRUP_VERIFIED"}