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

15 KB · on GitHub

{"bytes": 976730, "index": 4, "sec": 2.131, "sha256": "62c28b77ba939fe1bff81fa317e22bddf4af67197129be5f4f57a04da1ed87a7", "status": "DRUP_VERIFIED"}
{"bytes": 1101239, "index": 12, "sec": 2.25, "sha256": "c48445722a319438a3df728ee535d1f56e8ce163e3cef65f63862f89cd98a210", "status": "DRUP_VERIFIED"}
{"bytes": 872804, "index": 20, "sec": 1.888, "sha256": "a3f47b599393c333740348b8eb90cdfe270380f43af7835c02a9e39f1c52de00", "status": "DRUP_VERIFIED"}
{"bytes": 1307744, "index": 28, "sec": 2.244, "sha256": "40af88a7fef8e8d5c9d83ac7a130c61df0f0e3d0d03c2fa5dbb2e4f77bda01d9", "status": "DRUP_VERIFIED"}
{"bytes": 1461853, "index": 36, "sec": 2.76, "sha256": "dba4346d2d17760eed36d7be4be187180c2e4b86ed6683d7143db89df5badb98", "status": "DRUP_VERIFIED"}
{"bytes": 7331995, "index": 44, "sec": 12.055, "sha256": "94e3f568ebed9114cedbc4bd8017059cbfe0bec8a10e2f7c092b521e31274d27", "status": "DRUP_VERIFIED"}
{"bytes": 677049, "index": 52, "sec": 1.545, "sha256": "0b8ac316d8fe93bd39f125c5ed9268e4d3a8572cda075e434708274c17a39cd7", "status": "DRUP_VERIFIED"}
{"bytes": 908885, "index": 60, "sec": 1.881, "sha256": "500c4c8bc26442928938fddb40eeb3e5e7601570b1c5137467ae51c0c2f86b9e", "status": "DRUP_VERIFIED"}
{"bytes": 14045599, "index": 68, "sec": 21.489, "sha256": "e2c047fd1c018644c72f425ced807a9bd61ff0ed1be7c8dab7848b1f62d43344", "status": "DRUP_VERIFIED"}
{"bytes": 1932273, "index": 76, "sec": 3.016, "sha256": "efa294624dc06c03c0a7934cbba127047c21087d0f507ea2fd9c529d3dc47b9a", "status": "DRUP_VERIFIED"}
{"bytes": 1174409, "index": 84, "sec": 2.267, "sha256": "d2652e45629870be7d79d6e0f4ab30d81a0ffbe01852f431cb7803f52cd3dff8", "status": "DRUP_VERIFIED"}
{"bytes": 2258441, "index": 92, "sec": 4.186, "sha256": "ac37886b43975a3f5f9021d0fb3d8b3ea0fce8cc68144059a8f08df3136e6b5c", "status": "DRUP_VERIFIED"}
{"bytes": 3516189, "index": 100, "sec": 7.119, "sha256": "0e0b02c1623c4916d2907120aa677464b2a0f6d0532958ff33bc13fe55c51062", "status": "DRUP_VERIFIED"}
{"bytes": 2361946, "index": 108, "sec": 8.442, "sha256": "8c6954a7e7ab50d5914e5634575fdf319083db463dee645733dd38f66bb807dd", "status": "DRUP_VERIFIED"}
{"bytes": 1636598, "index": 116, "sec": 3.792, "sha256": "777c1a0642633257ab3248975875f225671c0f4046417ef5c3c61eacfb5fee7f", "status": "DRUP_VERIFIED"}
{"bytes": 1814718, "index": 124, "sec": 3.808, "sha256": "c96c5438def5e0e373f494560a19f0b4af310903d03007a3ba9c8fa82c22b1ab", "status": "DRUP_VERIFIED"}
{"bytes": 2103856, "index": 132, "sec": 4.387, "sha256": "b78c7f2077dcd9fc7a886ce5d93702516c6d736181c5754f67f188ff3baf09ae", "status": "DRUP_VERIFIED"}
{"bytes": 1417403, "index": 140, "sec": 2.842, "sha256": "38fef9d0e87a5eaed0dab21604cd442aaff39b2bf212180c105d5e9674b33ed5", "status": "DRUP_VERIFIED"}
{"bytes": 2218936, "index": 148, "sec": 4.649, "sha256": "3b9af8d6a7f0010822726d08cccf828036d35dc93d44dcda1ec2dd76c6021f1e", "status": "DRUP_VERIFIED"}
{"bytes": 3201067, "index": 156, "sec": 6.976, "sha256": "f5ed9ec0d6adcbcd7409d689a249cdc6e4d8d356b31247e2f1befee0bd8a54af", "status": "DRUP_VERIFIED"}
{"bytes": 1295336, "index": 164, "sec": 3.959, "sha256": "9dc0dfd7f674f296e10e0e2a76f8830211816a79a7ac36142bf5d3a7460f5712", "status": "DRUP_VERIFIED"}
{"bytes": 1374649, "index": 172, "sec": 4.148, "sha256": "4f1a0d6ed05669677e833d8bbd55831159c870201c56521eea6f3b14b997b990", "status": "DRUP_VERIFIED"}
{"bytes": 1576426, "index": 180, "sec": 3.301, "sha256": "84d6af9e2132dc14369499ace6e042866eaf612c2a83eb5846c799e938bdcd42", "status": "DRUP_VERIFIED"}
{"bytes": 1403612, "index": 188, "sec": 3.849, "sha256": "87a6000d2d99941fc5ae2a940e9efb700c2e5cd29a6453e1642baf389360c48d", "status": "DRUP_VERIFIED"}
{"bytes": 2028788, "index": 196, "sec": 5.27, "sha256": "055c91c0dbb406530c83c908c53b7abef1549afec3924f927aa610b3f12f3f92", "status": "DRUP_VERIFIED"}
{"bytes": 2050997, "index": 204, "sec": 3.884, "sha256": "c5ed82e9c652596c4933005d1ae4adcedaf644cd035222e60aa588081ec86457", "status": "DRUP_VERIFIED"}
{"bytes": 1376881, "index": 212, "sec": 3.027, "sha256": "11db0ea06e3509df8c561f88010a5cc79bc45cafe8ec0e7a3dfc39fc615469b6", "status": "DRUP_VERIFIED"}
{"bytes": 2994709, "index": 220, "sec": 5.638, "sha256": "912ce72dd69af27dad942883f827c019037ae6b432cdd7f81b6b60f7715a5294", "status": "DRUP_VERIFIED"}
{"bytes": 2568353, "index": 228, "sec": 5.784, "sha256": "172418a57943783cd5c645fa553e3572864cc3a789955686033a6f65843c27d5", "status": "DRUP_VERIFIED"}
{"bytes": 1665318, "index": 236, "sec": 3.285, "sha256": "f304848545273ca54a022646271f0c7bcd44c481aeb28070a6a1e051ff4e7c60", "status": "DRUP_VERIFIED"}
{"bytes": 2562543, "index": 244, "sec": 4.718, "sha256": "3b6702f47dd0a6eb01e6dc0c36128f4826717573f1bbf38e11f407157600abd7", "status": "DRUP_VERIFIED"}
{"bytes": 2614469, "index": 252, "sec": 5.117, "sha256": "f63e96525189fb0285225350aaa6a2f235d3d47e76284a446c164127ac2bb4c1", "status": "DRUP_VERIFIED"}
{"bytes": 3067868, "index": 260, "sec": 5.697, "sha256": "5552e0b192896f8bd9f64f0641331922de682ec81004394fded79e072a2528ab", "status": "DRUP_VERIFIED"}
{"bytes": 1995700, "index": 268, "sec": 4.151, "sha256": "8f515d888dfedac1c078d5f3e4929f8c6bf065617d468287736101cf88a42f84", "status": "DRUP_VERIFIED"}
{"bytes": 2095487, "index": 276, "sec": 5.02, "sha256": "debf3a22935a85d220549171f21d0c9d1ee0087e604a45dd4d283d17fec65cef", "status": "DRUP_VERIFIED"}
{"bytes": 1483927, "index": 284, "sec": 3.166, "sha256": "f20524f5c2f1c87bbd6da7b90ab5968dc61055248f39dc9c753437786024e6f7", "status": "DRUP_VERIFIED"}
{"bytes": 3950306, "index": 292, "sec": 7.673, "sha256": "378514e3bbbba8b47b7ecc5528ece7739e1eae2ae2a3e752a4622ff2afad4291", "status": "DRUP_VERIFIED"}
{"bytes": 2473646, "index": 300, "sec": 4.847, "sha256": "4a6874945eac9d916647003315398b2336c14d3a69d1c9dd02a90c59b75c0093", "status": "DRUP_VERIFIED"}
{"bytes": 2087018, "index": 308, "sec": 4.461, "sha256": "d073d9660f5a5a8c6eff17f7e43db89728d7b49e7b7dbc5177334ff34d3bc030", "status": "DRUP_VERIFIED"}
{"bytes": 2007272, "index": 316, "sec": 4.76, "sha256": "53a4f3fee068648f08a917929e7634be7d38423da6eb3bbf16b35a52a6f85c02", "status": "DRUP_VERIFIED"}
{"bytes": 1452665, "index": 324, "sec": 3.643, "sha256": "5da7dd8190d75ad06f73f33aaaa2f03f1c26f633d0d325b96177da2294754083", "status": "DRUP_VERIFIED"}
{"bytes": 1386788, "index": 332, "sec": 3.425, "sha256": "c20af8725f85af67728d57cc6e823f1e84299c7d3878e1e5530559a7ec5cf6f6", "status": "DRUP_VERIFIED"}
{"bytes": 6977433, "index": 340, "sec": 12.043, "sha256": "691cfb1c09938510ac728c835b1ff02e7e13456d71fd4aff9b1a1e56264cec14", "status": "DRUP_VERIFIED"}
{"bytes": 20952634, "index": 348, "sec": 35.458, "sha256": "8fc6265df6301a2819a0d09fb9e7ab488bfc3fc623aca38f3b7898825b177b72", "status": "DRUP_VERIFIED"}
{"bytes": 2619758, "index": 356, "sec": 4.888, "sha256": "865a69a77b2599c03b72c331319713d2af22395f9f0a489d0bc0884e9c8f856a", "status": "DRUP_VERIFIED"}
{"bytes": 13736241, "index": 364, "sec": 24.177, "sha256": "28f335442ebd1b9fdbbe61cd6aa426d3c6d1e59170a6f8b95ad4cedb6b245749", "status": "DRUP_VERIFIED"}
{"bytes": 1852639, "index": 372, "sec": 3.22, "sha256": "ec5dc783ea5a540b33269c9df3512ed72b984c054b5dbce8d2ba92d99fd95c18", "status": "DRUP_VERIFIED"}
{"bytes": 2679482, "index": 380, "sec": 5.521, "sha256": "1fc068855cadd6fa4570668a01e10c37fbcb921f6e02e9cf37f8fab934cce959", "status": "DRUP_VERIFIED"}
{"bytes": 1478018, "index": 388, "sec": 3.308, "sha256": "51d59e2af2041982e350ee619fa21f2368b50fad08848f35a7b85b7a2ac06cfb", "status": "DRUP_VERIFIED"}
{"bytes": 2859335, "index": 396, "sec": 5.16, "sha256": "fb20b31a28d4de734783aba6db105ff69eb4ae6231755cf6b64fe931e111629c", "status": "DRUP_VERIFIED"}
{"bytes": 1172565, "index": 404, "sec": 2.258, "sha256": "5580a417ec27b0cf78f07530dfa5a01bde915e91d940b854c7bf8b3b5fb32ca1", "status": "DRUP_VERIFIED"}
{"bytes": 1874656, "index": 412, "sec": 3.46, "sha256": "80846b4a3758147dfd945a7ea959cc2e0e163d5ec7075ef886071535e9819fff", "status": "DRUP_VERIFIED"}
{"bytes": 2877058, "index": 420, "sec": 5.023, "sha256": "93f130f50bc875680608e9070b0b2abd8d38da57550ab8fba79d6721e433f89a", "status": "DRUP_VERIFIED"}
{"bytes": 2084161, "index": 428, "sec": 3.687, "sha256": "93a15f92201a8f8ac17e5da52404190971cf68e54e35bfbe9636d5005b94d0be", "status": "DRUP_VERIFIED"}
{"bytes": 1657318, "index": 436, "sec": 2.951, "sha256": "be1cb19251efdb3722a2e05dadf7080871faa76a1754ca28689bcf60b9f1f2d8", "status": "DRUP_VERIFIED"}
{"bytes": 1849688, "index": 444, "sec": 4.289, "sha256": "1f719de873960433526c2af311563642952609b9e1845f82d5907a3e919d644e", "status": "DRUP_VERIFIED"}
{"bytes": 1779773, "index": 452, "sec": 3.025, "sha256": "5eb9605e2e95f86e91b0fbabe9c134f54b05751cd4f9398106f716edfc345a86", "status": "DRUP_VERIFIED"}
{"bytes": 2610205, "index": 460, "sec": 4.059, "sha256": "8490c5ee83883a2c367e120079279d9fd280eab48ff532695898b4b6d8ed507a", "status": "DRUP_VERIFIED"}
{"bytes": 1570222, "index": 468, "sec": 2.838, "sha256": "f060c78427104f0bfde09afca6fd7d43dfa1aebac34c280b0965e70887069d3a", "status": "DRUP_VERIFIED"}
{"bytes": 3082357, "index": 476, "sec": 5.782, "sha256": "3b6654a7bd9b5a574f89fbd6b9dcd09b79af9216f68322d4e45d526068ea66e9", "status": "DRUP_VERIFIED"}
{"bytes": 2537803, "index": 484, "sec": 4.455, "sha256": "e774b3fcc7215edb13f12b638a46908b64213a67647d8ee64baa9362941a11f2", "status": "DRUP_VERIFIED"}
{"bytes": 3416239, "index": 492, "sec": 5.945, "sha256": "cee7136093849743921da7b577f127595b08c794f9d4ed1d9aef5f14b341b447", "status": "DRUP_VERIFIED"}
{"bytes": 999811, "index": 500, "sec": 1.866, "sha256": "90110cc87e8928d35940e37fde27d929473a701835dcf0694869f6dae56a20a6", "status": "DRUP_VERIFIED"}
{"bytes": 1313025, "index": 508, "sec": 2.39, "sha256": "733435af5f1db6dbd5e6247a8e71fc1a1590f0e997764a49669f7f1546441be7", "status": "DRUP_VERIFIED"}
{"bytes": 1465938, "index": 516, "sec": 2.786, "sha256": "c35e432c3dfc7dde0e94077f6dcb5271efdb97c06e79801d9c455662396cdd0f", "status": "DRUP_VERIFIED"}
{"bytes": 1135972, "index": 524, "sec": 2.292, "sha256": "0590dffc5d5c8b2f2b98984b42dd3cacc7a5f96998b6c920dee34a4e33df6c3f", "status": "DRUP_VERIFIED"}
{"bytes": 1929217, "index": 532, "sec": 3.44, "sha256": "b5ae34e36154db36280ca03b4897482d71219b0ab47a881563418f8d8e270c32", "status": "DRUP_VERIFIED"}
{"bytes": 1040205, "index": 540, "sec": 2.059, "sha256": "13db3a1b03bb1b33957a9c1c338bf8d03e44fd5fad0a672abeaecac60ff4c302", "status": "DRUP_VERIFIED"}
{"bytes": 1677367, "index": 548, "sec": 3.193, "sha256": "fa1a1c2448f629e79e21b1806e570376c954197e8284863c53070092eb811421", "status": "DRUP_VERIFIED"}
{"bytes": 1675783, "index": 556, "sec": 3.333, "sha256": "7f025bf77e065845fc9fdfd6217e1cedfb1ce8ffe8850c94c18412eee44ff4a4", "status": "DRUP_VERIFIED"}
{"bytes": 1606199, "index": 564, "sec": 3.857, "sha256": "5a62b5bccb11c62fdb9f1802d7369adf2334889fa47e0ca3b29f1a319f42a6cd", "status": "DRUP_VERIFIED"}
{"bytes": 1171964, "index": 572, "sec": 2.599, "sha256": "cff854a5cb408c12ebf92ffac1cca35b17953f5eed1e399690c6c06de9ae8c82", "status": "DRUP_VERIFIED"}
{"bytes": 3623733, "index": 580, "sec": 7.245, "sha256": "033bca2113182ccca9aa7e5f782533045084e782a2eaa3baaf5b48385be6f76a", "status": "DRUP_VERIFIED"}
{"bytes": 4143491, "index": 588, "sec": 7.731, "sha256": "b347c311bf4ac2926e52eb738d1f6ac59a3ab1a3d77b4b89b1666092b095af86", "status": "DRUP_VERIFIED"}
{"bytes": 2030100, "index": 596, "sec": 4.408, "sha256": "949dfda88185de0fadd1708aa662db43c5b533348189b403035482ce57353946", "status": "DRUP_VERIFIED"}
{"bytes": 1335665, "index": 604, "sec": 2.852, "sha256": "3d2b447d5786c17462a0b7427a2bc3862d163814a519dc90718bec176a7d0f33", "status": "DRUP_VERIFIED"}
{"bytes": 2518602, "index": 612, "sec": 4.985, "sha256": "3a240caa5989c73994bd07908905f09bee9d3590d074d979fbb14f90c1b368df", "status": "DRUP_VERIFIED"}
{"bytes": 1849703, "index": 620, "sec": 3.705, "sha256": "cfbc899b4ef5e7dce0c262bcaf0bed217392fc5b725b12c79e3449a379e077cd", "status": "DRUP_VERIFIED"}
{"bytes": 1975100, "index": 628, "sec": 3.524, "sha256": "6720bdd3fecbd8b48d7df289d7fbe820ffefeea04dfc4e86d5745d00156ae90d", "status": "DRUP_VERIFIED"}
{"bytes": 1698762, "index": 636, "sec": 4.177, "sha256": "0a3f732ffefa728362d0cbf550f059201c77e040e3ce02fac6404109688911d5", "status": "DRUP_VERIFIED"}
{"bytes": 2846267, "index": 644, "sec": 6.796, "sha256": "8636a185e71ba18884606156aaec9026a748cec6ce7631993613985c80dc5d20", "status": "DRUP_VERIFIED"}
{"bytes": 1173102, "index": 652, "sec": 3.269, "sha256": "47db968704425895968ee061269545f13057a5b2b7b73fcb81db59a3acea6a1c", "status": "DRUP_VERIFIED"}
{"bytes": 1601573, "index": 660, "sec": 3.818, "sha256": "88e7f074b2e8a00d3505b8dbfc623c8571bcdccb8993a0b2abb82d85799f6de8", "status": "DRUP_VERIFIED"}
{"bytes": 2804043, "index": 668, "sec": 5.544, "sha256": "77f0b13b296126af66a2951a607290d576559c4a10c04509efe1a081ca3a83e0", "status": "DRUP_VERIFIED"}
{"bytes": 2430823, "index": 676, "sec": 4.832, "sha256": "c84508122d8531926140b7f593daaa08c605e9f8590be9b66ff18c3e6d34a530", "status": "DRUP_VERIFIED"}
{"bytes": 2271695, "index": 684, "sec": 3.878, "sha256": "906372d032817e76bd12de29f2d2d44c14956dd55dee1b15df6baacdb9122d15", "status": "DRUP_VERIFIED"}
{"bytes": 2329422, "index": 692, "sec": 4.04, "sha256": "132caa2a493b6d6e584c7bfdb00806a77b736da100fc85f12b9c0d28a649aeff", "status": "DRUP_VERIFIED"}
{"bytes": 1789515, "index": 700, "sec": 3.085, "sha256": "5bc1ff49a1b8e28570ccc505436a6a5f2b609b5ae0061c5ffdce5a350c5de16e", "status": "DRUP_VERIFIED"}
{"bytes": 1672935, "index": 708, "sec": 3.103, "sha256": "2b32f9b06185ee140cd2e38a8e67fc1aa31c6f31017c1aa30cab4967c96a4e5e", "status": "DRUP_VERIFIED"}
{"bytes": 1700181, "index": 716, "sec": 3.245, "sha256": "c28b59bf2aaa85a2ea153767f1ba79c69f08a429ff8a7069bb804a87d3e8b4ad", "status": "DRUP_VERIFIED"}
{"bytes": 1589956, "index": 724, "sec": 3.47, "sha256": "dc40784838a0d3dd3343340853c50d36beeecd97998f3b15513c90d243b20892", "status": "DRUP_VERIFIED"}
{"bytes": 3313016, "index": 732, "sec": 5.462, "sha256": "2086933edd22b16b8774fe56a79358de22d7537a83328badae0d964a0d2c4a6c", "status": "DRUP_VERIFIED"}
{"bytes": 1753305, "index": 740, "sec": 3.631, "sha256": "93192c449acc0229869a67c36d90d578bd142258951440234ef418bb7fe1dbfb", "status": "DRUP_VERIFIED"}
{"bytes": 1725028, "index": 748, "sec": 3.325, "sha256": "b0e7140c658b57c4ec30c0f1a1276527736279dccd4b4dbd1a7bcee73eca8c03", "status": "DRUP_VERIFIED"}
{"bytes": 1605561, "index": 756, "sec": 3.246, "sha256": "5d2d5e793c5734215ce001be1cea5f8ab68f6ecfe28bb1c0b067ee5319a7f4ad", "status": "DRUP_VERIFIED"}
{"bytes": 2510097, "index": 764, "sec": 3.925, "sha256": "9e5fe730d521b3a48cb6f4768f915c071eb54d962855cbacaa67acdcba0bac07", "status": "DRUP_VERIFIED"}
{"bytes": 3661936, "index": 772, "sec": 6.259, "sha256": "aa06876a441ae415dd7f9731aac3a7ee2f56630151d8f4198edf72684c7d33fb", "status": "DRUP_VERIFIED"}
{"bytes": 2296032, "index": 780, "sec": 4.413, "sha256": "571e2d222df28a68fca63772716d93a32618a91978c9008ea8bea3b502f3c5e3", "status": "DRUP_VERIFIED"}