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

15 KB · on GitHub

{"bytes": 785525, "index": 6, "sec": 1.837, "sha256": "d68a31aeea913fc9d97e2ad74109c522ecb8c6d513e1dc4ce33f125e29129dd7", "status": "DRUP_VERIFIED"}
{"bytes": 909504, "index": 14, "sec": 2.018, "sha256": "8df93dc63334a57bede999370842edf9467e5abf6f32a0f8306ccc14d328f28f", "status": "DRUP_VERIFIED"}
{"bytes": 1284461, "index": 22, "sec": 2.415, "sha256": "96ec8c9fa376982b6f6cae62da1d2b2fa716e4bcb0512b4a4a2c9d1e993245a9", "status": "DRUP_VERIFIED"}
{"bytes": 978604, "index": 30, "sec": 2.106, "sha256": "29fbc953ab02ccac036391d3045292e113c9f4bd1f93844dc2338c8d80a77c5b", "status": "DRUP_VERIFIED"}
{"bytes": 1264739, "index": 38, "sec": 2.419, "sha256": "2d398a4e7d981db37b1c7c3df058e2a3fdc6912dce3f1814834c6cc7bd7f7274", "status": "DRUP_VERIFIED"}
{"bytes": 1971080, "index": 46, "sec": 3.446, "sha256": "5f5f1491286b3746fdf2da913af6d8a8c72db206e17a882b90f31afddf57f1e6", "status": "DRUP_VERIFIED"}
{"bytes": 1142671, "index": 54, "sec": 2.232, "sha256": "b49028fa574217e1a1de0e5e97fb0e0c6d06c7863d76bb4b0547e45033382b42", "status": "DRUP_VERIFIED"}
{"bytes": 15366750, "index": 62, "sec": 23.512, "sha256": "d99d1f4be04d1cf3920bcdf52fbe795c6577c37f859dc53eb7ad8780c4f1b8cf", "status": "DRUP_VERIFIED"}
{"bytes": 1881979, "index": 70, "sec": 3.237, "sha256": "2f0620162ba1a4df4a22c82848c509c72860d283a3044502db5a1b0b45fc73df", "status": "DRUP_VERIFIED"}
{"bytes": 3227715, "index": 78, "sec": 5.204, "sha256": "f9c0dd7f2e49da897d5b74cc2213108abad6578e43d359f428cb9a96fc5a253b", "status": "DRUP_VERIFIED"}
{"bytes": 1700944, "index": 86, "sec": 2.815, "sha256": "63a22032aa34feab597f602849e3d9b47103e5e6413d2acdecf6572101c987f7", "status": "DRUP_VERIFIED"}
{"bytes": 2136121, "index": 94, "sec": 3.492, "sha256": "2054285cfa73aacf5f84c440758b573b076c0eadcc5793a8f0f404e54139c099", "status": "DRUP_VERIFIED"}
{"bytes": 19904738, "index": 102, "sec": 32.356, "sha256": "33ca3dfa2681624c46eb69103276fd045657d8ffd652dfdb2c4278f2e98c4159", "status": "DRUP_VERIFIED"}
{"bytes": 926874, "index": 110, "sec": 2.17, "sha256": "b4e9ea2ee363369384e10c3745f0d444560fa6dc0923f0d27bf7da073f25a3a8", "status": "DRUP_VERIFIED"}
{"bytes": 1284953, "index": 118, "sec": 3.974, "sha256": "3f440529b02d6b563482717d1f48d656bf7894d77658b172080a1c95117793d4", "status": "DRUP_VERIFIED"}
{"bytes": 15988885, "index": 126, "sec": 33.945, "sha256": "c8f6317b2fc4dff2a82ca30c13669780dd5affc21353ebd28e7bcd77dfd15ce5", "status": "DRUP_VERIFIED"}
{"bytes": 2104353, "index": 134, "sec": 4.169, "sha256": "f6d2aa3b5a61cb2f5cb02a364e3520370c7f39fca9f0184d03955a0436317b63", "status": "DRUP_VERIFIED"}
{"bytes": 24646170, "index": 142, "sec": 46.885, "sha256": "f1b49300ef63e7441e3445015065f307df920c815352b1a93d13536c179f050b", "status": "DRUP_VERIFIED"}
{"bytes": 1348821, "index": 150, "sec": 3.434, "sha256": "ba1553411530475dcbd584514e18fc4a36f07d534a04d5c08b4d9e9bfad2c306", "status": "DRUP_VERIFIED"}
{"bytes": 823640, "index": 158, "sec": 2.165, "sha256": "0b2167a4b2b6b48ff4837bbd80336260da06142c46fc84ba890d17aaba7492c0", "status": "DRUP_VERIFIED"}
{"bytes": 842993, "index": 166, "sec": 2.087, "sha256": "9dc9df8d7bef6107188e4d3adaed90a3a3c7e38a4c867f960d48fb1be9027276", "status": "DRUP_VERIFIED"}
{"bytes": 1473347, "index": 174, "sec": 3.5, "sha256": "1dd932921b79055e4953dd4c21cd11be4d408d7b49a219051371ff125957598d", "status": "DRUP_VERIFIED"}
{"bytes": 21504503, "index": 182, "sec": 36.247, "sha256": "933de386bd30bfd731dfe0e9cb4f7544f882dfdd5f75ee0f815c0eafe5841ab2", "status": "DRUP_VERIFIED"}
{"bytes": 1215778, "index": 190, "sec": 2.394, "sha256": "783f3c71442616644efaecf822746c15ee7145c68efd6bfa56fcecd7a2a7b323", "status": "DRUP_VERIFIED"}
{"bytes": 1686802, "index": 198, "sec": 2.806, "sha256": "8457178c1657e6e7e99d4f6c57c25181f9072e729c0c9acc6e0715ce767c9b2c", "status": "DRUP_VERIFIED"}
{"bytes": 1034000, "index": 206, "sec": 2.173, "sha256": "617d06284fa234fd921e6e6a4807c6b7af9418a3a252456c4c45a4a9c53fed24", "status": "DRUP_VERIFIED"}
{"bytes": 1878355, "index": 214, "sec": 3.226, "sha256": "d586e5e86c2879b901ec86bbafe0438c5a96d57122310943a3bc03297af0601f", "status": "DRUP_VERIFIED"}
{"bytes": 2003774, "index": 222, "sec": 3.448, "sha256": "b642c0e3d424d6f4a739c241b6096bb296c18a2cbe9df1905b385f60077a0cd4", "status": "DRUP_VERIFIED"}
{"bytes": 2155397, "index": 230, "sec": 3.81, "sha256": "2413f41c764a3fbefadbeb3ee18d9bd8693c412701bc4edcd87e8e229043041a", "status": "DRUP_VERIFIED"}
{"bytes": 1774481, "index": 238, "sec": 3.408, "sha256": "1a3009de0520aafae5a79ece895225f5f84aec82e95417ec760c30b41a62268f", "status": "DRUP_VERIFIED"}
{"bytes": 2695053, "index": 246, "sec": 4.612, "sha256": "4e3be9b3d5af6908afd836a91d3f964a484a2bd2c551b628234ec782edfad647", "status": "DRUP_VERIFIED"}
{"bytes": 1680547, "index": 254, "sec": 3.551, "sha256": "2641d603c152ec2117cca43a15da66f62dc759bf7fa954f0912b14235485102b", "status": "DRUP_VERIFIED"}
{"bytes": 7514836, "index": 262, "sec": 13.389, "sha256": "84ed78056259b02e2789f02335670845c3e46fe0b70cd06b589c776cbb49d596", "status": "DRUP_VERIFIED"}
{"bytes": 1958311, "index": 270, "sec": 3.55, "sha256": "ad0e60251e9b31c0bf18c13da47757a2f28a75ade75d0e361ee109dcedcca150", "status": "DRUP_VERIFIED"}
{"bytes": 2326538, "index": 278, "sec": 4.105, "sha256": "710f8dcc834ba6d39f98a249f9881fe3d15dac9a31b0d9a87550b3a2a95a0c40", "status": "DRUP_VERIFIED"}
{"bytes": 20807114, "index": 286, "sec": 35.013, "sha256": "b796977f90b23fb9138a50c460c1361c043a35d7f31755c25f00e71a4a273d7a", "status": "DRUP_VERIFIED"}
{"bytes": 1430010, "index": 294, "sec": 3.028, "sha256": "a7230efc24ac2c2ec9e5183c2790a88ea8adfd926caa500996518766b26794f9", "status": "DRUP_VERIFIED"}
{"bytes": 1130000, "index": 302, "sec": 2.38, "sha256": "4e142c0d040a7b94c98c1337ed406e1ac79100bd2f72d72489241ed409a2033e", "status": "DRUP_VERIFIED"}
{"bytes": 1290235, "index": 310, "sec": 2.479, "sha256": "4b2b6cf8a0667107fe10e4cae85bc1c1d41dc1a78115bf8012c452ffb569e7f1", "status": "DRUP_VERIFIED"}
{"bytes": 2772296, "index": 318, "sec": 4.865, "sha256": "009fdb7911489c6a6327fd059697c3e184957316b42cf67bec169ecee84d8f30", "status": "DRUP_VERIFIED"}
{"bytes": 1277054, "index": 326, "sec": 2.404, "sha256": "18fb1c7d57411610ee2740a0287d06d197b2ff1706b55231de8cf37be7c84ce5", "status": "DRUP_VERIFIED"}
{"bytes": 1788109, "index": 334, "sec": 3.223, "sha256": "ef028376b9e078f1e518164b40f0c7f019d2b6d254579b9e05c3368d315581ac", "status": "DRUP_VERIFIED"}
{"bytes": 22018888, "index": 342, "sec": 33.754, "sha256": "804b53b7ddd043c5f8c4c19890095f02fd2654213640d0495232cc69f314b5c3", "status": "DRUP_VERIFIED"}
{"bytes": 1313241, "index": 350, "sec": 2.625, "sha256": "751a78f2f7c2245f02512662a24f7906ad2808a42634e1fbb625153ab90273c6", "status": "DRUP_VERIFIED"}
{"bytes": 1414652, "index": 358, "sec": 2.825, "sha256": "bd57fec766f4f50da9ae0972c0859497ba9d9c051f5f7aee76ace7823327a9a7", "status": "DRUP_VERIFIED"}
{"bytes": 1789647, "index": 366, "sec": 3.592, "sha256": "49c3d07fef96e59cfd450092841d15e999781edfbf9cfea4950aa049b62cf946", "status": "DRUP_VERIFIED"}
{"bytes": 25391656, "index": 374, "sec": 47.665, "sha256": "85b88a9582b8b58c76f55f4598e3cd0c6a3a84f42918af1302677648bd69d3b6", "status": "DRUP_VERIFIED"}
{"bytes": 1475926, "index": 382, "sec": 3.74, "sha256": "7413ed21a9af461423ef3e86f3d1aeba0846e39d76e33a3688110b99de36ef72", "status": "DRUP_VERIFIED"}
{"bytes": 15558247, "index": 390, "sec": 28.263, "sha256": "9cf30af6a83fe7ce9d12eec546ecc9aea9a9d021fc9dd29f71b6a4b68a30bca7", "status": "DRUP_VERIFIED"}
{"bytes": 18306169, "index": 398, "sec": 30.182, "sha256": "e6fd99b600286504507b943b3a74c2bb00eb6e9701eaf67e5b931426ffef4d86", "status": "DRUP_VERIFIED"}
{"bytes": 1020187, "index": 406, "sec": 1.993, "sha256": "7a7a174157a4c17ef32c93e17b25459e3c92f21c6699487fe216a346e805c8a8", "status": "DRUP_VERIFIED"}
{"bytes": 1759438, "index": 414, "sec": 3.114, "sha256": "9ee76b153ec8d5ae62828017365ec5b99372b245d18882c04e83f1c5a9872bab", "status": "DRUP_VERIFIED"}
{"bytes": 2013143, "index": 422, "sec": 3.548, "sha256": "2f9d5dd370bdd2338f169a6706f53e34ab3e1d756ee016bd49f35535777ccece", "status": "DRUP_VERIFIED"}
{"bytes": 2574663, "index": 430, "sec": 4.985, "sha256": "c16887516b930227e8afe4ab32ab8d095d0a22b6a4e5d3e5632ed0e41cb6974e", "status": "DRUP_VERIFIED"}
{"bytes": 1502762, "index": 438, "sec": 2.939, "sha256": "c776d1da4d5634aa9eb13d6c71f23b38c7ef9e26f5d972d0eac650ad4696d98f", "status": "DRUP_VERIFIED"}
{"bytes": 16494500, "index": 446, "sec": 26.348, "sha256": "15b7dbf41fc343fdfee726af173eacc3b9b0a479f45a4497a635cf9c1e48c14b", "status": "DRUP_VERIFIED"}
{"bytes": 21846383, "index": 454, "sec": 39.192, "sha256": "4128f8dce886eea8a3be4eeae4b54714c88a48b041d78838fa76e15a6164d147", "status": "DRUP_VERIFIED"}
{"bytes": 1974696, "index": 462, "sec": 4.368, "sha256": "332a2b331691d4f7d81f8412e9bdfe1e2e0a0bd37a4be431d3720c2f3c3e4090", "status": "DRUP_VERIFIED"}
{"bytes": 2362170, "index": 470, "sec": 5.362, "sha256": "c4ffb668caaa809649e2db8f743730ba02c2d1faf60989f83bf95db0a0c80ac0", "status": "DRUP_VERIFIED"}
{"bytes": 3899176, "index": 478, "sec": 9.918, "sha256": "b3a61b99371bf0261ce12f13b1cc0e1ac1f18b4d44580d7a4b9208c4049bd593", "status": "DRUP_VERIFIED"}
{"bytes": 2376814, "index": 486, "sec": 4.769, "sha256": "39d321cb8ecc1789e0c331d99c899bbc85fd2e000feb49aa48b75fd9f7c7e36f", "status": "DRUP_VERIFIED"}
{"bytes": 2165874, "index": 494, "sec": 4.176, "sha256": "705694e145dd2d5e552eabbe0b77a3b4dee0a62cae450442f5b23e7e63303a96", "status": "DRUP_VERIFIED"}
{"bytes": 1243853, "index": 502, "sec": 2.449, "sha256": "d84059a6d84bdd6ae802f8575f64e11ab1441f307765a3d2408ce185d0a507c7", "status": "DRUP_VERIFIED"}
{"bytes": 821961, "index": 510, "sec": 1.697, "sha256": "b6d275ffec0a5656c5ba172440f5cda00ac90bf98ba794626a172b3940619435", "status": "DRUP_VERIFIED"}
{"bytes": 1020195, "index": 518, "sec": 2.208, "sha256": "8169201da4744555601c0faa223463c35e307ede4e82d9c883c27c0bd0a23886", "status": "DRUP_VERIFIED"}
{"bytes": 1169867, "index": 526, "sec": 2.434, "sha256": "ceccc81dacdcf2190b89f7a3b16ae82b8542e6a58bc81f86e7b2d08064c22dca", "status": "DRUP_VERIFIED"}
{"bytes": 2170322, "index": 534, "sec": 3.859, "sha256": "69755f2823f5ea483343cbf1cd91cbc23858242305e81a45c1dbffe4a0bc0500", "status": "DRUP_VERIFIED"}
{"bytes": 1942803, "index": 542, "sec": 3.686, "sha256": "0e1ec25c5414c09c94c69d58eb70d9cfefaf07ef62b1db050a1e7b50c091252e", "status": "DRUP_VERIFIED"}
{"bytes": 1164461, "index": 550, "sec": 2.359, "sha256": "0f2c2f6b83060acdf1cd5ab76f48a44134f935791bd3a4f659bae227b585a9e3", "status": "DRUP_VERIFIED"}
{"bytes": 1556272, "index": 558, "sec": 2.897, "sha256": "799a94bd6863a62359703490c77c86f3f6592306500edb6c81b1459a46b3e53b", "status": "DRUP_VERIFIED"}
{"bytes": 2317675, "index": 566, "sec": 3.991, "sha256": "16c26b3f71f587581e67ff479b34dd703cd019a3e3d042a07d1a97a9b75ef1c1", "status": "DRUP_VERIFIED"}
{"bytes": 2542937, "index": 574, "sec": 4.3, "sha256": "37b511843c0cf0bef59ac3014ae26f04cac8b63680a4d69ac19d7332e3b99ab1", "status": "DRUP_VERIFIED"}
{"bytes": 1593909, "index": 582, "sec": 3.094, "sha256": "28fb5d3701235e8525e52d2c8d76c55a5c72b324a2e1d813990a47d8cea17df9", "status": "DRUP_VERIFIED"}
{"bytes": 2639618, "index": 590, "sec": 4.715, "sha256": "3e5ff29e703380d5c9a2da2b14d25ed106b172e1bc3dcc44ac8a49d185ad5e9b", "status": "DRUP_VERIFIED"}
{"bytes": 3805185, "index": 598, "sec": 6.51, "sha256": "cd69d373e543cbbb0f755f2bfdc91720919f6b1fac39ac6c4f8331ed323e816f", "status": "DRUP_VERIFIED"}
{"bytes": 1486149, "index": 606, "sec": 2.693, "sha256": "9fde3f64818c481d04eecc2d3eeccb54502b4d03dfa096b09bd84fc3609a1658", "status": "DRUP_VERIFIED"}
{"bytes": 3332983, "index": 614, "sec": 5.326, "sha256": "6a747c14e7ed11a7302666d0f4fe6804369921215ca401445556a75a80dfbd64", "status": "DRUP_VERIFIED"}
{"bytes": 752658, "index": 622, "sec": 1.64, "sha256": "7a6f52dd808d770edf7753b914210a8b0f511c85d8e251e17903113db28e4f95", "status": "DRUP_VERIFIED"}
{"bytes": 2972638, "index": 630, "sec": 4.966, "sha256": "88b0d7e3ec21c5c84e48b2b51cbe5c684375badd5d515db5037a96c92c2f9bb8", "status": "DRUP_VERIFIED"}
{"bytes": 2887053, "index": 638, "sec": 4.848, "sha256": "ed5b207f49ab1e1d5f22f571adcd249f64e69c7a714997c1e78176e8ec7bd888", "status": "DRUP_VERIFIED"}
{"bytes": 2426305, "index": 646, "sec": 4.096, "sha256": "d054bf51569d2fab6ae84d99e32bfdacd406dbe4d087dcee86e6e31fac3efe59", "status": "DRUP_VERIFIED"}
{"bytes": 2096764, "index": 654, "sec": 3.517, "sha256": "c63dbb150bb1724cadef0b8a3bfd4c16d7ef2b0d5f06802806624f3945e24147", "status": "DRUP_VERIFIED"}
{"bytes": 1394683, "index": 662, "sec": 2.492, "sha256": "a325f254135ae2f8558068bdffd645210234f8cc93b378ab2f91d1862496d19f", "status": "DRUP_VERIFIED"}
{"bytes": 1304074, "index": 670, "sec": 2.326, "sha256": "dcb262961dc05970ad2a3d477ada0292bf1ca1ff8e8ed494e266f6f20e8a2fc1", "status": "DRUP_VERIFIED"}
{"bytes": 1789985, "index": 678, "sec": 3.305, "sha256": "291fab825a341700123416ea0f6f0c401e9fafc30392c486bf9e0d1e3cda044e", "status": "DRUP_VERIFIED"}
{"bytes": 2430610, "index": 686, "sec": 4.419, "sha256": "e2ae88f263b2534c2b18a42abcaa8094b1429dd8b9853103979e62e8e7658ac2", "status": "DRUP_VERIFIED"}
{"bytes": 3480577, "index": 694, "sec": 5.967, "sha256": "ea8bcdf4f1d78ae148cf4d1b1d6caab5688d4d8bba78f65d9e6944ca39ba3126", "status": "DRUP_VERIFIED"}
{"bytes": 1541862, "index": 702, "sec": 2.5, "sha256": "7e19011815532586399d5851d94db63175e37a7275fb6c5d3f6d9bd590dec3f1", "status": "DRUP_VERIFIED"}
{"bytes": 1275718, "index": 710, "sec": 2.607, "sha256": "db75fe517cca973fd66bec22f0ae2163a6d7e796cfb55243fba2eff9e40aca83", "status": "DRUP_VERIFIED"}
{"bytes": 2325785, "index": 718, "sec": 3.967, "sha256": "d0951090d32cb49799cc8eb08973f5dc868a5a1b57c2dfe06079ee6b42f9ff03", "status": "DRUP_VERIFIED"}
{"bytes": 2559735, "index": 726, "sec": 4.476, "sha256": "b3929ff788abd08299ee9330d53345fa5955d4022e7574da3032a0e0d1c43421", "status": "DRUP_VERIFIED"}
{"bytes": 4248760, "index": 734, "sec": 7.423, "sha256": "8528ce207efe842481cb01aa881c8091d83a9b5dfd93a4a11d76e92fef2e0c96", "status": "DRUP_VERIFIED"}
{"bytes": 2342470, "index": 742, "sec": 4.115, "sha256": "756d9e5878cd2ee8f82e96ac8feb3f017979eaf425d48a96f873bc58645d0506", "status": "DRUP_VERIFIED"}
{"bytes": 2341919, "index": 750, "sec": 4.303, "sha256": "0b35a773adb2eec710212c3b8a51026e6134f16cce5451734bbad8694fb410be", "status": "DRUP_VERIFIED"}
{"bytes": 1688517, "index": 758, "sec": 3.039, "sha256": "78592dc00a26a42c3911ab48872871ef3673c15895e93d586f03bf9999ff1de8", "status": "DRUP_VERIFIED"}
{"bytes": 2910892, "index": 766, "sec": 5.059, "sha256": "c04e3162259e65e913b178d2e2fef26d19cecf71ff7f9775a216305ab3f2e0c5", "status": "DRUP_VERIFIED"}
{"bytes": 3969118, "index": 774, "sec": 6.374, "sha256": "15a62a0d7bd3eb6cf8e757e177139f944cd0bd17762c85b75dc2a98b5b64ba9b", "status": "DRUP_VERIFIED"}
{"bytes": 3686954, "index": 782, "sec": 6.047, "sha256": "5b403ec038c1d91f946bb3e3acaac3f45d253e79e662f145b0dbaab8c7cb33a1", "status": "DRUP_VERIFIED"}