{"schema_version":"ocme-public-explorer-results-v1","locale":"zh-Hant","filters":{"mko":"mko-lean-formal-statement","page":"4"},"total":100,"page":4,"page_count":4,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0051","number":8951,"title":{"zh-Hant":"第 8951 題：形式陳述pipeline狀態","en":"Question 8951: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f8be8ecacb23081094ef5a31e280d99475dc4142ca6f7486f7bf02c0ee632571","derivation_sha256":"2420aea3e633e1972c24cfaca83f38becd06a736a6abc3cc6ad32ded4f869cfd"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0052","number":8952,"title":{"zh-Hant":"第 8952 題：形式陳述pipeline狀態","en":"Question 8952: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8e3f8412f72591b0f733dffff64f78e4ee1264c5ea72f1203d29a707d78ef494","derivation_sha256":"4731fa27818623757df894f0b4cb3bd0fff86e1d2f178c8001940a529d660fbb"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0053","number":8953,"title":{"zh-Hant":"第 8953 題：形式陳述pipeline狀態","en":"Question 8953: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"90970da6fab1ee461d6c7bb8dfb4acd062f735cc90c5099287152b6925b08f06","derivation_sha256":"ecbb874cd831e2098cf87de2e09efebb794b4001b9bf8af5e6f61215c5754d5a"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0054","number":8954,"title":{"zh-Hant":"第 8954 題：形式陳述pipeline狀態","en":"Question 8954: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"5158864b67492ebb832121ae3d5ea1c6428c04bf4b13c45ac37137430bcdc944","derivation_sha256":"6e5523a687b8da534051d73233b2d91eb7897ea0acdd0806bf33e52441bb6fb0"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0055","number":8955,"title":{"zh-Hant":"第 8955 題：形式陳述pipeline狀態","en":"Question 8955: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"25ae0832545564ebccb9a1d46a593214e5592182f8133b8635093a966a4fcf26","derivation_sha256":"fe63b95598dd5de9748317aaf4a13d4da0cf69559607ac0fff447de8e6873ba2"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0056","number":8956,"title":{"zh-Hant":"第 8956 題：形式陳述pipeline狀態","en":"Question 8956: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"fb152523432bf60bdcb457ac3f9ae6725de8babc8129578406ce891259260355","derivation_sha256":"bd59864b66ea1c6a7156d59c6cdd90abf9e3b3bfdef355a695ea4f76bfa79e1b"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0057","number":8957,"title":{"zh-Hant":"第 8957 題：形式陳述pipeline狀態","en":"Question 8957: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"b0516c3e3907bf83c24ec0b9004079f88dd85dd9325a23184ebd90f4c0da76c8","derivation_sha256":"4e607ef6373dd604a8738165501f8ec35945aab41bf951d8a4ccd7ef21c02cd2"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0058","number":8958,"title":{"zh-Hant":"第 8958 題：形式陳述pipeline狀態","en":"Question 8958: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"6022211a150d544d2e05b06e9a8b7e94bff3890f8db55eb956ea08dfa00fad2c","derivation_sha256":"45107bbd81c71e72dee7d9f5436af7d8f71edd123661f9635af58543b3a19646"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0059","number":8959,"title":{"zh-Hant":"第 8959 題：形式陳述pipeline狀態","en":"Question 8959: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"aa57be689295f8bcfdaa82998ad31355d737c297f8dcc5c99d5b7953a484629d","derivation_sha256":"c9398350f658742f563a8a3a70fab678140e7e2bb42c1f636f4cf9ff53d5a526"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0060","number":8960,"title":{"zh-Hant":"第 8960 題：形式陳述pipeline狀態","en":"Question 8960: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"bde8857d74cb9eb19c85e6832405e2bbc47e1504cc0f189765ee096894b3547f","derivation_sha256":"5f80702bccc7fcad565a09affc0d1d41aad44bfcc36c5b5d7d2f21319ff4faf2"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0061","number":8961,"title":{"zh-Hant":"第 8961 題：形式陳述pipeline狀態","en":"Question 8961: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"cb64caea2d81b5c5d13009ec29e61f3d86c3fbfa4b1465e0cf3ec0c4d5c562bb","derivation_sha256":"fd5625daf784c280db3aef6548e0f8b93f8deda72dd0ecf5c44bbc7a12977db0"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0062","number":8962,"title":{"zh-Hant":"第 8962 題：形式陳述pipeline狀態","en":"Question 8962: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"015268cfc752e89c51e5de48aa35e8efa8bd9101993161d931de90bbe16d7cce","derivation_sha256":"6ef72742d115db2f11dfff4faea00301235d9439760efe975f158a6e404b14bf"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0063","number":8963,"title":{"zh-Hant":"第 8963 題：形式陳述pipeline狀態","en":"Question 8963: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"67704f3f546db0c85229ba3ded9a1793332c5e3eabb75ed4f01eb582a77ad6d6","derivation_sha256":"ed74eeaa5e803e55805603f74079e61e87fa7f13718db0c80b3a7b35cec841ed"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0064","number":8964,"title":{"zh-Hant":"第 8964 題：形式陳述pipeline狀態","en":"Question 8964: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"b9dc32b580c4bfacc85d7ad68c7be3c18be7c6a11021203643cf2d3c5884bfdd","derivation_sha256":"3d87dd20b4b5e4ffb1b7bf2b993f5ecf5080a3a92c6bf4b189996b0d580b805c"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0065","number":8965,"title":{"zh-Hant":"第 8965 題：形式陳述pipeline狀態","en":"Question 8965: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f4601ed4dc1e579683066d65554266edc33c76f72e7c38874394e6c1a98f8483","derivation_sha256":"31be50b3e9006417de9c5c387e02dc567f58e9847e0920a8cb846ef98fa3bbf2"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0066","number":8966,"title":{"zh-Hant":"第 8966 題：形式陳述pipeline狀態","en":"Question 8966: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"6d5d4235f5e5b9df91388a6e3ca9d090525dd6699eecbd0a3f898ce9b004ddec","derivation_sha256":"de99943250f4fd9e68962bc015d7fbc086415ea5eb1379acb3ad553867687a62"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0067","number":8967,"title":{"zh-Hant":"第 8967 題：形式陳述pipeline狀態","en":"Question 8967: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"59aad3e7b61eec334be6bf326120d86e5920bd88152471bade07420421089981","derivation_sha256":"5b210ed427e84aa0bd91482ef08b0f0af647894a024daf8c9370b17669967244"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0068","number":8968,"title":{"zh-Hant":"第 8968 題：形式陳述pipeline狀態","en":"Question 8968: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"af9addc0ea984dc72267570bd3e75badec6b9a3a559c4e3bc3401c2507729284","derivation_sha256":"bc23f28c916909d4519a8c6c2b8051acba082c6b761e2a2ba62acbc54bcf7882"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0069","number":8969,"title":{"zh-Hant":"第 8969 題：形式陳述pipeline狀態","en":"Question 8969: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f10fa31d9ac00074c0fb5f0cb0bd3e8ce6747b2789f2e5409e3222b3f8cf7c1a","derivation_sha256":"79fddefb6202a90d17fdd78893e20de6ebfb721313e5ad1eac2ad2eafe382128"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0070","number":8970,"title":{"zh-Hant":"第 8970 題：形式陳述pipeline狀態","en":"Question 8970: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"3df774c0c17aadf783b124f56d9f36f5151b719a4b4cb80ef5ba5548bc4c5dce","derivation_sha256":"8135d63f8add7f87cdedd08cad2d574a3147ae3b3e034508e58fd32034f640aa"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0071","number":8971,"title":{"zh-Hant":"第 8971 題：形式陳述pipeline狀態","en":"Question 8971: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"4f12ac4c9f7b85047f4878e63a2eb403190430310650258011b8035cf26e6c01","derivation_sha256":"895beb5111f9d0689dfd28e84300aa97e8def0eae518346a95377d1ed7eb64e7"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0072","number":8972,"title":{"zh-Hant":"第 8972 題：形式陳述pipeline狀態","en":"Question 8972: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f5356583fb3697990fb127a1cc0c82329fa7c8fcc44514f3234220eeefbeda90","derivation_sha256":"24263a368f2e3f5fd14a746b771ed0c9fe9eb416108aebea814bc96401188588"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0073","number":8973,"title":{"zh-Hant":"第 8973 題：形式陳述pipeline狀態","en":"Question 8973: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"9e148cbc19afb820794bff41ecceba662096064d3dc14337167f73d2b07cec40","derivation_sha256":"86a759cca8c1326c95d8333758f9edb178d3a786a019ff0729b5f30be736f1f9"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0074","number":8974,"title":{"zh-Hant":"第 8974 題：形式陳述pipeline狀態","en":"Question 8974: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f7804caefe37e7c8642bff5d736d0caa623293425005fbcf675d9e532bff2442","derivation_sha256":"eeeb3bc14f78a093a6d2bf92c7fb6233e8ff6cf2bf79d0a7ae472027595f8fb9"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0075","number":8975,"title":{"zh-Hant":"第 8975 題：形式陳述pipeline狀態","en":"Question 8975: Synthetic Statement, Proof-Term, and Kernel Flags"},"family_id":"qf-ext18-formal-statement-proof-separation","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8f93f5bcaa885381ec564020e6b1c3c148485c736f67ffff0ca69bed1bba8f65","derivation_sha256":"b19fa52ff94bc951eae5533998c328dfde5f6e3bb878dd3c3a0fd311197b827e"}]}