{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"practice","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"page":"15"},"kind":"batches","total":360,"pages":15,"page":15,"entries":[{"id":"batch-20260930-r07-coordinate-plane-foundations","title":{"zh-Hant":"座標平面基礎 · 脈衝 R07","en":"Coordinate Plane Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-30","count":100,"mko_ids":["mko-coordinate-plane"],"state":"candidate_validated"},{"id":"batch-20260930-r06-permutation-combination-foundations","title":{"zh-Hant":"排列與組合基礎 · 脈衝 R06","en":"Permutation and Combination Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-30","count":100,"mko_ids":["mko-permutation-combination"],"state":"candidate_validated"},{"id":"batch-20260930-r05-sequence-foundations","title":{"zh-Hant":"數列基礎 · 脈衝 R05","en":"Sequence Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-30","count":100,"mko_ids":["mko-sequence"],"state":"candidate_validated"},{"id":"batch-20260930-r04-composition-foundations","title":{"zh-Hant":"函數合成基礎 · 脈衝 R04","en":"Function Composition Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-30","count":100,"mko_ids":["mko-composition"],"state":"candidate_validated"},{"id":"batch-20260930-r03-domain-codomain-range-foundations","title":{"zh-Hant":"定義域、陪域與值域基礎 · 脈衝 R03","en":"Domain, Codomain, and Range Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-30","count":100,"mko_ids":["mko-domain-codomain-range"],"state":"candidate_validated"},{"id":"batch-20260930-r02-ratio-proportion-foundations","title":{"zh-Hant":"比與比例基礎 · 脈衝 R02","en":"Ratio and Proportion Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-30","count":100,"mko_ids":["mko-ratio-proportion"],"state":"candidate_validated"},{"id":"batch-20260930-r01-fraction-foundations","title":{"zh-Hant":"分數基礎 · 脈衝 R01","en":"Fraction Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-30","count":100,"mko_ids":["mko-fraction"],"state":"candidate_validated"},{"id":"batch-20260928-absolute-value-foundations","title":{"zh-Hant":"絕對值基礎","en":"Absolute Value Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-28","count":100,"mko_ids":["mko-absolute-value"],"state":"candidate_validated"},{"id":"batch-20260927-linear-equation-foundations","title":{"zh-Hant":"一元一次方程式基礎","en":"Linear Equation Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-27","count":100,"mko_ids":["mko-linear-equation"],"state":"candidate_validated"},{"id":"batch-20260926-factorial-foundations","title":{"zh-Hant":"階乘基礎","en":"Factorial Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-26","count":100,"mko_ids":["mko-factorial"],"state":"candidate_validated"},{"id":"batch-20260925-triangle-object-language","title":{"zh-Hant":"三角形物件語言","en":"Triangle Object Language"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-25","count":100,"mko_ids":["mko-triangle"],"state":"candidate_validated"},{"id":"batch-20260924-equation-foundations","title":{"zh-Hant":"方程式基礎","en":"Equation Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-24","count":100,"mko_ids":["mko-equation"],"state":"candidate_validated"},{"id":"batch-20260923-real-number-rational-points","title":{"zh-Hant":"實數中的有理點","en":"Real Numbers through Rational Points"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-23","count":100,"mko_ids":["mko-real-number"],"state":"candidate_validated"},{"id":"batch-20260922-angle-foundations","title":{"zh-Hant":"角基礎","en":"Angle Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-22","count":100,"mko_ids":["mko-angle"],"state":"candidate_validated"},{"id":"batch-20260921-proof-foundations","title":{"zh-Hant":"數學證明基礎","en":"Foundations of Mathematical Proof"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-21","count":100,"mko_ids":["mko-proof"],"state":"candidate_validated"},{"id":"batch-20260920-rational-number-foundations","title":{"zh-Hant":"有理數基礎","en":"Rational Number Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-20","count":100,"mko_ids":["mko-rational-number"],"state":"candidate_validated"},{"id":"batch-20260919-integer-foundations","title":{"zh-Hant":"整數基礎","en":"Integer Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-19","count":100,"mko_ids":["mko-integer"],"state":"candidate_validated"},{"id":"batch-20260918-finite-events","title":{"zh-Hant":"有限事件","en":"Finite Events"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-18","count":100,"mko_ids":["mko-event"],"state":"candidate_validated"},{"id":"batch-20260917-point-line-plane","title":{"zh-Hant":"點、線、面","en":"Points, Lines, and Planes"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-17","count":100,"mko_ids":["mko-point-line-plane"],"state":"candidate_validated"},{"id":"batch-20260916-logical-connectives","title":{"zh-Hant":"邏輯連接詞","en":"Logical Connectives"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-16","count":100,"mko_ids":["mko-logical-connectives"],"state":"candidate_validated"},{"id":"batch-20260915-finite-set-operations","title":{"zh-Hant":"有限集合運算","en":"Finite Set Operations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-15","count":100,"mko_ids":["mko-set-operations"],"state":"candidate_validated"},{"id":"batch-20260914-domain-foundations","title":{"zh-Hant":"領域基礎與證明邊界","en":"Domain Foundations and Proof Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-14","count":100,"mko_ids":["mko-arithmetic-operations","mko-variable-expression","mko-sample-space","mko-mathematical-induction","mko-counting-principle"],"state":"candidate_validated"},{"id":"batch-20260913-foundational-language","title":{"zh-Hant":"數學基礎語言","en":"Foundational Mathematical Language"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-13","count":100,"mko_ids":["mko-natural-number","mko-set-membership","mko-proposition","mko-function-mapping"],"state":"candidate_validated"},{"id":"batch-20260912-geometry-foundations","title":{"zh-Hant":"幾何基礎","en":"Geometry Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-09-12","count":100,"mko_ids":["mko-euclidean-length","mko-right-triangle","mko-euclid-pythagorean-theorem"],"state":"candidate_validated"}],"title":"Question batches"}