{"schema_version":"ocme-public-explorer-results-v1","locale":"en","filters":{"mko":"mko-proof","page":"1"},"total":200,"page":1,"page_count":8,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261009-advance-20261013-r04-proof-0051","number":6201,"title":{"zh-Hant":"第 6201 題：候選MP序列的逐行稽核","en":"Question 6201: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"9cd56d597c6c2ddf59f215cc3659c6b515e66c397571f5690bb93bf61e25cdd1","derivation_sha256":"ebf5ba3dc09d9a926056172bdf4ee011f035158a16617582767e0387aec001ba"},{"question_id":"q-20261009-advance-20261013-r04-proof-0052","number":6202,"title":{"zh-Hant":"第 6202 題：候選MP序列的逐行稽核","en":"Question 6202: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"6c890aae4cff6760dbdb02b477e03621a0739bc58ef40dc11cb92bbc8a269b26","derivation_sha256":"3509438130d2519e24f705dce34e11296fd928611afda94b242835276f28a356"},{"question_id":"q-20261009-advance-20261013-r04-proof-0053","number":6203,"title":{"zh-Hant":"第 6203 題：候選MP序列的逐行稽核","en":"Question 6203: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"6c3225197a3620e978480ee15e8c0feede210f7e45d5aae7b4f17e222bf4a391","derivation_sha256":"745f8c18b7a1443481dd036ad2fa1ad271083da6955b87a6a51ed5c8101434d5"},{"question_id":"q-20261009-advance-20261013-r04-proof-0054","number":6204,"title":{"zh-Hant":"第 6204 題：候選MP序列的逐行稽核","en":"Question 6204: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"2000166e9579f415df23e8d6ce7eecd809049dc6c7e5577b444e6973c87460fb","derivation_sha256":"0b2531dec68ccd75e56fb04fff652dc2a06fa57c20a9d95d89caa995d0dba3cf"},{"question_id":"q-20261009-advance-20261013-r04-proof-0055","number":6205,"title":{"zh-Hant":"第 6205 題：候選MP序列的逐行稽核","en":"Question 6205: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"cf1c7420727b3ded8a52d6eed7f4fbffbc1215dd54ccf0b8a032084e1ac5b6fe","derivation_sha256":"0f345196ba7e097e5a842bbe0f1fd0b373fe3e9b122365dfe86544065a623da7"},{"question_id":"q-20261009-advance-20261013-r04-proof-0056","number":6206,"title":{"zh-Hant":"第 6206 題：候選MP序列的逐行稽核","en":"Question 6206: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f5e2d96d502be3c93d75a641b55a17c254f59751cee987dc95f8124e4c4b9e9e","derivation_sha256":"4ff30f57e3583f672432c827cff68615cb8da88dc0811629a37367bd65bf1f9c"},{"question_id":"q-20261009-advance-20261013-r04-proof-0057","number":6207,"title":{"zh-Hant":"第 6207 題：候選MP序列的逐行稽核","en":"Question 6207: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f4b5c727b3f37c38a8b9d10943f84e0f42f32f3fb4427375dab55fa2df5a1486","derivation_sha256":"6a637d77640b2799090a61df708b68eee85de7177f42f07d4cca7ecae00f8f56"},{"question_id":"q-20261009-advance-20261013-r04-proof-0058","number":6208,"title":{"zh-Hant":"第 6208 題：候選MP序列的逐行稽核","en":"Question 6208: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"bd163d239e756b5a5003f55872eb9d5bc530934e3ea59a86220daa023a6c6936","derivation_sha256":"629d8f6652163d76d62a04f69692cab82a0cc33844ca9aa7bc132b5ed10dbf0c"},{"question_id":"q-20261009-advance-20261013-r04-proof-0059","number":6209,"title":{"zh-Hant":"第 6209 題：候選MP序列的逐行稽核","en":"Question 6209: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"21d219463528fda8f4312fd618e1c21d4d45105b859a993eab4e91e0667b99de","derivation_sha256":"2b4276a42b37d7515f1a6536c4be06f11e0ca1954f429532827b58d0f6c16bb7"},{"question_id":"q-20261009-advance-20261013-r04-proof-0060","number":6210,"title":{"zh-Hant":"第 6210 題：候選MP序列的逐行稽核","en":"Question 6210: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"46aaaebef888382f73e1ff2e36209aeb1bb3c2342fe70ccc62c166dd0cd9ade8","derivation_sha256":"69e36cf476e5606fce45bd649cb8690627e42bf6172796b3bcc74f6f57973994"},{"question_id":"q-20261009-advance-20261013-r04-proof-0061","number":6211,"title":{"zh-Hant":"第 6211 題：候選MP序列的逐行稽核","en":"Question 6211: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"3b510aa0223e591b21acaa35e322a25085398be87ca3591e3d09bc9f2cc9bb90","derivation_sha256":"f633dee549656ec4e6fe3d79136d8d882b115ae36342555f18958cfc61ebe44c"},{"question_id":"q-20261009-advance-20261013-r04-proof-0062","number":6212,"title":{"zh-Hant":"第 6212 題：候選MP序列的逐行稽核","en":"Question 6212: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"91982f6fcd1e16d220c286285aa56289a4d6a7220a1c08bad04975905fe717d1","derivation_sha256":"436435d5aa3e6b42436341a13b14a2e32e1e552b35242a07a47d7058ea619836"},{"question_id":"q-20261009-advance-20261013-r04-proof-0063","number":6213,"title":{"zh-Hant":"第 6213 題：候選MP序列的逐行稽核","en":"Question 6213: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"87c3fb528ddeae9081a1fc5f8efa550f045bdca564d33f4f180f1242ea6f462e","derivation_sha256":"9fd9c01f4aac9251a2acc65107383151b88a28c4c3c61e3c2b06663b5552fd9d"},{"question_id":"q-20261009-advance-20261013-r04-proof-0064","number":6214,"title":{"zh-Hant":"第 6214 題：候選MP序列的逐行稽核","en":"Question 6214: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"b2b73d79690a1cbd683a8a1e86a512882dce036b5a7fc85baa7b90b2f1da718d","derivation_sha256":"dd652ff38b5a55d09304308083042ffb30585dfc5551251179699ccd0b533ecb"},{"question_id":"q-20261009-advance-20261013-r04-proof-0065","number":6215,"title":{"zh-Hant":"第 6215 題：候選MP序列的逐行稽核","en":"Question 6215: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"30ef2a4778fe8a741b76c9c69c6eff708c14a79dd499511c5dbfa65d8231a984","derivation_sha256":"d9c0fc21ee36eed3a3374a8494947ad05c71bf4d60504fa2c8b660a86e7d5fe5"},{"question_id":"q-20261009-advance-20261013-r04-proof-0066","number":6216,"title":{"zh-Hant":"第 6216 題：候選MP序列的逐行稽核","en":"Question 6216: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"641c0d90affd8f1a3e109324e900f03054778d70dd9104b6d3bcfcc30daf3ea6","derivation_sha256":"8c68d44b0352c8c99d8749a03ba16a0f7ef093c02740b47b92d66b34004dabf4"},{"question_id":"q-20261009-advance-20261013-r04-proof-0067","number":6217,"title":{"zh-Hant":"第 6217 題：候選MP序列的逐行稽核","en":"Question 6217: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"51bc0a3600e3ba029b395322ea7bf6d14e17d73a6f41d9a1690b867e1a775adf","derivation_sha256":"40de8587d3af92e0b671b3596e212ef86def2b857a378707ac170e05811cab82"},{"question_id":"q-20261009-advance-20261013-r04-proof-0068","number":6218,"title":{"zh-Hant":"第 6218 題：候選MP序列的逐行稽核","en":"Question 6218: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"c3c957f6c1d5b3c9d1a3bc323a7766789dfd4e4b3278952318b845b9354ac193","derivation_sha256":"f9583df238bdbd37fcf80c426841e20cedb3dd1aa7ab7bcb22ea2ff937c597a7"},{"question_id":"q-20261009-advance-20261013-r04-proof-0069","number":6219,"title":{"zh-Hant":"第 6219 題：候選MP序列的逐行稽核","en":"Question 6219: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"edd9b357e0221673911fc10a23d997d4e4145152de9cbc53143d1108e18576d4","derivation_sha256":"234618138fc569c48ce57ddf4a324b9bb435ef9a179b634da8771f79b22eb140"},{"question_id":"q-20261009-advance-20261013-r04-proof-0070","number":6220,"title":{"zh-Hant":"第 6220 題：候選MP序列的逐行稽核","en":"Question 6220: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"06aa74782aa98c3e7537930182c1b0717a075d2c049bd10481fa1203dc00c0db","derivation_sha256":"574e91d35fbc0a491b97b82e109c90d7e12cbe471214daf68ba4b1258265adf5"},{"question_id":"q-20261009-advance-20261013-r04-proof-0071","number":6221,"title":{"zh-Hant":"第 6221 題：候選MP序列的逐行稽核","en":"Question 6221: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"488d4d49973c08f4ffb2b27bd4eda937478d1dc1381703f29282e396c9e17aa5","derivation_sha256":"181ccf332540bc03203c9ebb0b2d5ddde1f5a72e06ad36c8ab867ccc530d4390"},{"question_id":"q-20261009-advance-20261013-r04-proof-0072","number":6222,"title":{"zh-Hant":"第 6222 題：候選MP序列的逐行稽核","en":"Question 6222: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"178e37e26c9e103b8fb8f18f57fe647a6afe367c80827f855ad36446b286cf39","derivation_sha256":"e75c5e16186ad42e8ec5851d1a6812a628624e4e9594eb978645292b32ed13dc"},{"question_id":"q-20261009-advance-20261013-r04-proof-0073","number":6223,"title":{"zh-Hant":"第 6223 題：候選MP序列的逐行稽核","en":"Question 6223: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"5e854f78cae3b7418531b24921fff67e5935b06ec03b49fa0d78d540e9633100","derivation_sha256":"fc64e55ceb2febb04b2f997697b48cc40e9dab8413ebe9ab78fbc983e47ee545"},{"question_id":"q-20261009-advance-20261013-r04-proof-0074","number":6224,"title":{"zh-Hant":"第 6224 題：候選MP序列的逐行稽核","en":"Question 6224: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"dae6620721f86b8b753b68e613222867640fc94473064267a7ad5431dd57c256","derivation_sha256":"384eabb75bbb7cf0c2f236d72b63aeda3ff9048b61b2a672481ebbb76a97a87a"},{"question_id":"q-20261009-advance-20261013-r04-proof-0075","number":6225,"title":{"zh-Hant":"第 6225 題：候選MP序列的逐行稽核","en":"Question 6225: Sequential Candidate Trace and First Rejected Row"},"family_id":"qf-density13-proof-horn-candidate-trace","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"b1b746a5e2ff51060290c050defba725f2d88e73a44fc04c6592352aa970e727","derivation_sha256":"abb171fd039f4dcf1c431b41910e2c58905a275987e8a8544db89dbaa0ccec9a"}]}