{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20261015-advance-20261115-r06-minimum-vertex-cover-0008",
  "pilot_number": "R0051-26033",
  "number": 26033,
  "family_id": "qf-mod46-mincover-exhaustive-minimizers",
  "title": {
    "zh-Hant": "第 26033 題：最小頂點覆蓋",
    "en": "Question 26033: Minimum Vertex Covers Are Selected Only after Complete Subset Coverage Audits"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20261015-advance-20261115-r06-minimum-vertex-cover-0008",
    "batch_id": "batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-minimum-vertex-cover"
    ],
    "title_zh": "最小頂點覆蓋",
    "stem_zh": "bounded finite simple graph的全部vertex subsets與all-edge cover audit。操作=mincover-exhaustive-minimizers；資料={\"vertices\":[\"v0\",\"v1\",\"v2\",\"v3\",\"v4\",\"v5\",\"v6\",\"v7\",\"v8\",\"v9\",\"v10\"],\"edges\":[[\"v0\",\"v1\"],[\"v1\",\"v2\"],[\"v2\",\"v3\"],[\"v3\",\"v4\"],[\"v4\",\"v5\"],[\"v5\",\"v6\"],[\"v6\",\"v7\"],[\"v7\",\"v8\"],[\"v8\",\"v9\"],[\"v9\",\"v10\"]]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。",
    "answer": {
      "kind": "expression",
      "value": "([v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [[v0, v1], [v1, v2], [v10, v9], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9]], [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v0, v1, v10, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v0, v1, v10, v3, v4, v6, v8], [v0, v10, v2, v3, v4, v6, v8], [v1, v10, v2, v3, v4, v6, v8], [v0, v1, v10, v2, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v0, v1, v10, v3, v5, v6, v8], [v0, v10, v2, v3, v5, v6, v8], [v1, v10, v2, v3, v5, v6, v8], [v0, v1, v10, v2, v3, v5, v6, v8], [v0, v10, v2, v4, v5, v6, v8], [v1, v10, v2, v4, v5, v6, v8], [v0, v1, v10, v2, v4, v5, v6, v8], [v1, v10, v3, v4, v5, v6, v8], [v0, v1, v10, v3, v4, v5, v6, v8], [v0, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v0, v1, v10, v3, v5, v7, v8], [v0, v10, v2, v3, v5, v7, v8], [v1, v10, v2, v3, v5, v7, v8], [v0, v1, v10, v2, v3, v5, v7, v8], [v0, v10, v2, v4, v5, v7, v8], [v1, v10, v2, v4, v5, v7, v8], [v0, v1, v10, v2, v4, v5, v7, v8], [v1, v10, v3, v4, v5, v7, v8], [v0, v1, v10, v3, v4, v5, v7, v8], [v0, v10, v2, v3, v4, v5, v7, v8], [v1, v10, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v7, v8], [v0, v10, v2, v4, v6, v7, v8], [v1, v10, v2, v4, v6, v7, v8], [v0, v1, v10, v2, v4, v6, v7, v8], [v1, v10, v3, v4, v6, v7, v8], [v0, v1, v10, v3, v4, v6, v7, v8], [v0, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v3, v5, v6, v7, v8], [v0, v1, v10, v3, v5, v6, v7, v8], [v0, v10, v2, v3, v5, v6, v7, v8], [v1, v10, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v5, v6, v7, v8], [v0, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v3, v4, v5, v6, v7, v8], [v0, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v3, v5, v7, v9], [v0, v1, v3, v5, v7, v9], [v1, v10, v3, v5, v7, v9], [v0, v1, v10, v3, v5, v7, v9], [v0, v2, v3, v5, v7, v9], [v1, v2, v3, v5, v7, v9], [v0, v1, v2, v3, v5, v7, v9], [v0, v10, v2, v3, v5, v7, v9], [v1, v10, v2, v3, v5, v7, v9], [v0, v1, v10, v2, v3, v5, v7, v9], [v0, v2, v4, v5, v7, v9], [v1, v2, v4, v5, v7, v9], [v0, v1, v2, v4, v5, v7, v9], [v0, v10, v2, v4, v5, v7, v9], [v1, v10, v2, v4, v5, v7, v9], [v0, v1, v10, v2, v4, v5, v7, v9], [v1, v3, v4, v5, v7, v9], [v0, v1, v3, v4, v5, v7, v9], [v1, v10, v3, v4, v5, v7, v9], [v0, v1, v10, v3, v4, v5, v7, v9], [v0, v2, v3, v4, v5, v7, v9], [v1, v2, v3, v4, v5, v7, v9], [v0, v1, v2, v3, v4, v5, v7, v9], [v0, v10, v2, v3, v4, v5, v7, v9], [v1, v10, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v9], [v0, v2, v4, v6, v7, v9], [v1, v2, v4, v6, v7, v9], [v0, v1, v2, v4, v6, v7, v9], [v0, v10, v2, v4, v6, v7, v9], [v1, v10, v2, v4, v6, v7, v9], [v0, v1, v10, v2, v4, v6, v7, v9], [v1, v3, v4, v6, v7, v9], [v0, v1, v3, v4, v6, v7, v9], [v1, v10, v3, v4, v6, v7, v9], [v0, v1, v10, v3, v4, v6, v7, v9], [v0, v2, v3, v4, v6, v7, v9], [v1, v2, v3, v4, v6, v7, v9], [v0, v1, v2, v3, v4, v6, v7, v9], [v0, v10, v2, v3, v4, v6, v7, v9], [v1, v10, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v9], [v1, v3, v5, v6, v7, v9], [v0, v1, v3, v5, v6, v7, v9], [v1, v10, v3, v5, v6, v7, v9], [v0, v1, v10, v3, v5, v6, v7, v9], [v0, v2, v3, v5, v6, v7, v9], [v1, v2, v3, v5, v6, v7, v9], [v0, v1, v2, v3, v5, v6, v7, v9], [v0, v10, v2, v3, v5, v6, v7, v9], [v1, v10, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v9], [v0, v2, v4, v5, v6, v7, v9], [v1, v2, v4, v5, v6, v7, v9], [v0, v1, v2, v4, v5, v6, v7, v9], [v0, v10, v2, v4, v5, v6, v7, v9], [v1, v10, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v9], [v1, v3, v4, v5, v6, v7, v9], [v0, v1, v3, v4, v5, v6, v7, v9], [v1, v10, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v9], [v0, v2, v3, v4, v5, v6, v7, v9], [v1, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v2, v4, v6, v8, v9], [v1, v2, v4, v6, v8, v9], [v0, v1, v2, v4, v6, v8, v9], [v0, v10, v2, v4, v6, v8, v9], [v1, v10, v2, v4, v6, v8, v9], [v0, v1, v10, v2, v4, v6, v8, v9], [v1, v3, v4, v6, v8, v9], [v0, v1, v3, v4, v6, v8, v9], [v1, v10, v3, v4, v6, v8, v9], [v0, v1, v10, v3, v4, v6, v8, v9], [v0, v2, v3, v4, v6, v8, v9], [v1, v2, v3, v4, v6, v8, v9], [v0, v1, v2, v3, v4, v6, v8, v9], [v0, v10, v2, v3, v4, v6, v8, v9], [v1, v10, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v8, v9], [v1, v3, v5, v6, v8, v9], [v0, v1, v3, v5, v6, v8, v9], [v1, v10, v3, v5, v6, v8, v9], [v0, v1, v10, v3, v5, v6, v8, v9], [v0, v2, v3, v5, v6, v8, v9], [v1, v2, v3, v5, v6, v8, v9], [v0, v1, v2, v3, v5, v6, v8, v9], [v0, v10, v2, v3, v5, v6, v8, v9], [v1, v10, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v8, v9], [v0, v2, v4, v5, v6, v8, v9], [v1, v2, v4, v5, v6, v8, v9], [v0, v1, v2, v4, v5, v6, v8, v9], [v0, v10, v2, v4, v5, v6, v8, v9], [v1, v10, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v8, v9], [v1, v3, v4, v5, v6, v8, v9], [v0, v1, v3, v4, v5, v6, v8, v9], [v1, v10, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v8, v9], [v0, v2, v3, v4, v5, v6, v8, v9], [v1, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v3, v5, v7, v8, v9], [v0, v1, v3, v5, v7, v8, v9], [v1, v10, v3, v5, v7, v8, v9], [v0, v1, v10, v3, v5, v7, v8, v9], [v0, v2, v3, v5, v7, v8, v9], [v1, v2, v3, v5, v7, v8, v9], [v0, v1, v2, v3, v5, v7, v8, v9], [v0, v10, v2, v3, v5, v7, v8, v9], [v1, v10, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v7, v8, v9], [v0, v2, v4, v5, v7, v8, v9], [v1, v2, v4, v5, v7, v8, v9], [v0, v1, v2, v4, v5, v7, v8, v9], [v0, v10, v2, v4, v5, v7, v8, v9], [v1, v10, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v7, v8, v9], [v1, v3, v4, v5, v7, v8, v9], [v0, v1, v3, v4, v5, v7, v8, v9], [v1, v10, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v7, v8, v9], [v0, v2, v3, v4, v5, v7, v8, v9], [v1, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v2, v4, v6, v7, v8, v9], [v1, v2, v4, v6, v7, v8, v9], [v0, v1, v2, v4, v6, v7, v8, v9], [v0, v10, v2, v4, v6, v7, v8, v9], [v1, v10, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v6, v7, v8, v9], [v1, v3, v4, v6, v7, v8, v9], [v0, v1, v3, v4, v6, v7, v8, v9], [v1, v10, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v6, v7, v8, v9], [v0, v2, v3, v4, v6, v7, v8, v9], [v1, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v3, v5, v6, v7, v8, v9], [v0, v1, v3, v5, v6, v7, v8, v9], [v1, v10, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v5, v6, v7, v8, v9], [v0, v2, v3, v5, v6, v7, v8, v9], [v1, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v2, v4, v5, v6, v7, v8, v9], [v1, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9]], 5, [[v1, v3, v5, v7, v9]], all_vertex_subsets_are_audited_before_selecting_all_minimizers)",
      "explanation_zh": "Wave6第九層核對=([v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [[v0, v1], [v1, v2], [v10, v9], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9]], [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v0, v1, v10, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v0, v1, v10, v3, v4, v6, v8], [v0, v10, v2, v3, v4, v6, v8], [v1, v10, v2, v3, v4, v6, v8], [v0, v1, v10, v2, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v0, v1, v10, v3, v5, v6, v8], [v0, v10, v2, v3, v5, v6, v8], [v1, v10, v2, v3, v5, v6, v8], [v0, v1, v10, v2, v3, v5, v6, v8], [v0, v10, v2, v4, v5, v6, v8], [v1, v10, v2, v4, v5, v6, v8], [v0, v1, v10, v2, v4, v5, v6, v8], [v1, v10, v3, v4, v5, v6, v8], [v0, v1, v10, v3, v4, v5, v6, v8], [v0, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v0, v1, v10, v3, v5, v7, v8], [v0, v10, v2, v3, v5, v7, v8], [v1, v10, v2, v3, v5, v7, v8], [v0, v1, v10, v2, v3, v5, v7, v8], [v0, v10, v2, v4, v5, v7, v8], [v1, v10, v2, v4, v5, v7, v8], [v0, v1, v10, v2, v4, v5, v7, v8], [v1, v10, v3, v4, v5, v7, v8], [v0, v1, v10, v3, v4, v5, v7, v8], [v0, v10, v2, v3, v4, v5, v7, v8], [v1, v10, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v7, v8], [v0, v10, v2, v4, v6, v7, v8], [v1, v10, v2, v4, v6, v7, v8], [v0, v1, v10, v2, v4, v6, v7, v8], [v1, v10, v3, v4, v6, v7, v8], [v0, v1, v10, v3, v4, v6, v7, v8], [v0, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v3, v5, v6, v7, v8], [v0, v1, v10, v3, v5, v6, v7, v8], [v0, v10, v2, v3, v5, v6, v7, v8], [v1, v10, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v5, v6, v7, v8], [v0, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v3, v4, v5, v6, v7, v8], [v0, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v3, v5, v7, v9], [v0, v1, v3, v5, v7, v9], [v1, v10, v3, v5, v7, v9], [v0, v1, v10, v3, v5, v7, v9], [v0, v2, v3, v5, v7, v9], [v1, v2, v3, v5, v7, v9], [v0, v1, v2, v3, v5, v7, v9], [v0, v10, v2, v3, v5, v7, v9], [v1, v10, v2, v3, v5, v7, v9], [v0, v1, v10, v2, v3, v5, v7, v9], [v0, v2, v4, v5, v7, v9], [v1, v2, v4, v5, v7, v9], [v0, v1, v2, v4, v5, v7, v9], [v0, v10, v2, v4, v5, v7, v9], [v1, v10, v2, v4, v5, v7, v9], [v0, v1, v10, v2, v4, v5, v7, v9], [v1, v3, v4, v5, v7, v9], [v0, v1, v3, v4, v5, v7, v9], [v1, v10, v3, v4, v5, v7, v9], [v0, v1, v10, v3, v4, v5, v7, v9], [v0, v2, v3, v4, v5, v7, v9], [v1, v2, v3, v4, v5, v7, v9], [v0, v1, v2, v3, v4, v5, v7, v9], [v0, v10, v2, v3, v4, v5, v7, v9], [v1, v10, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v9], [v0, v2, v4, v6, v7, v9], [v1, v2, v4, v6, v7, v9], [v0, v1, v2, v4, v6, v7, v9], [v0, v10, v2, v4, v6, v7, v9], [v1, v10, v2, v4, v6, v7, v9], [v0, v1, v10, v2, v4, v6, v7, v9], [v1, v3, v4, v6, v7, v9], [v0, v1, v3, v4, v6, v7, v9], [v1, v10, v3, v4, v6, v7, v9], [v0, v1, v10, v3, v4, v6, v7, v9], [v0, v2, v3, v4, v6, v7, v9], [v1, v2, v3, v4, v6, v7, v9], [v0, v1, v2, v3, v4, v6, v7, v9], [v0, v10, v2, v3, v4, v6, v7, v9], [v1, v10, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v9], [v1, v3, v5, v6, v7, v9], [v0, v1, v3, v5, v6, v7, v9], [v1, v10, v3, v5, v6, v7, v9], [v0, v1, v10, v3, v5, v6, v7, v9], [v0, v2, v3, v5, v6, v7, v9], [v1, v2, v3, v5, v6, v7, v9], [v0, v1, v2, v3, v5, v6, v7, v9], [v0, v10, v2, v3, v5, v6, v7, v9], [v1, v10, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v9], [v0, v2, v4, v5, v6, v7, v9], [v1, v2, v4, v5, v6, v7, v9], [v0, v1, v2, v4, v5, v6, v7, v9], [v0, v10, v2, v4, v5, v6, v7, v9], [v1, v10, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v9], [v1, v3, v4, v5, v6, v7, v9], [v0, v1, v3, v4, v5, v6, v7, v9], [v1, v10, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v9], [v0, v2, v3, v4, v5, v6, v7, v9], [v1, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v2, v4, v6, v8, v9], [v1, v2, v4, v6, v8, v9], [v0, v1, v2, v4, v6, v8, v9], [v0, v10, v2, v4, v6, v8, v9], [v1, v10, v2, v4, v6, v8, v9], [v0, v1, v10, v2, v4, v6, v8, v9], [v1, v3, v4, v6, v8, v9], [v0, v1, v3, v4, v6, v8, v9], [v1, v10, v3, v4, v6, v8, v9], [v0, v1, v10, v3, v4, v6, v8, v9], [v0, v2, v3, v4, v6, v8, v9], [v1, v2, v3, v4, v6, v8, v9], [v0, v1, v2, v3, v4, v6, v8, v9], [v0, v10, v2, v3, v4, v6, v8, v9], [v1, v10, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v8, v9], [v1, v3, v5, v6, v8, v9], [v0, v1, v3, v5, v6, v8, v9], [v1, v10, v3, v5, v6, v8, v9], [v0, v1, v10, v3, v5, v6, v8, v9], [v0, v2, v3, v5, v6, v8, v9], [v1, v2, v3, v5, v6, v8, v9], [v0, v1, v2, v3, v5, v6, v8, v9], [v0, v10, v2, v3, v5, v6, v8, v9], [v1, v10, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v8, v9], [v0, v2, v4, v5, v6, v8, v9], [v1, v2, v4, v5, v6, v8, v9], [v0, v1, v2, v4, v5, v6, v8, v9], [v0, v10, v2, v4, v5, v6, v8, v9], [v1, v10, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v8, v9], [v1, v3, v4, v5, v6, v8, v9], [v0, v1, v3, v4, v5, v6, v8, v9], [v1, v10, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v8, v9], [v0, v2, v3, v4, v5, v6, v8, v9], [v1, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v3, v5, v7, v8, v9], [v0, v1, v3, v5, v7, v8, v9], [v1, v10, v3, v5, v7, v8, v9], [v0, v1, v10, v3, v5, v7, v8, v9], [v0, v2, v3, v5, v7, v8, v9], [v1, v2, v3, v5, v7, v8, v9], [v0, v1, v2, v3, v5, v7, v8, v9], [v0, v10, v2, v3, v5, v7, v8, v9], [v1, v10, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v7, v8, v9], [v0, v2, v4, v5, v7, v8, v9], [v1, v2, v4, v5, v7, v8, v9], [v0, v1, v2, v4, v5, v7, v8, v9], [v0, v10, v2, v4, v5, v7, v8, v9], [v1, v10, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v7, v8, v9], [v1, v3, v4, v5, v7, v8, v9], [v0, v1, v3, v4, v5, v7, v8, v9], [v1, v10, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v7, v8, v9], [v0, v2, v3, v4, v5, v7, v8, v9], [v1, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v2, v4, v6, v7, v8, v9], [v1, v2, v4, v6, v7, v8, v9], [v0, v1, v2, v4, v6, v7, v8, v9], [v0, v10, v2, v4, v6, v7, v8, v9], [v1, v10, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v6, v7, v8, v9], [v1, v3, v4, v6, v7, v8, v9], [v0, v1, v3, v4, v6, v7, v8, v9], [v1, v10, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v6, v7, v8, v9], [v0, v2, v3, v4, v6, v7, v8, v9], [v1, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v3, v5, v6, v7, v8, v9], [v0, v1, v3, v5, v6, v7, v8, v9], [v1, v10, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v5, v6, v7, v8, v9], [v0, v2, v3, v5, v6, v7, v8, v9], [v1, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v2, v4, v5, v6, v7, v8, v9], [v1, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9]], 5, [[v1, v3, v5, v7, v9]], all_vertex_subsets_are_audited_before_selecting_all_minimizers)；依完整明示資料獨立重算；minimum cardinality與全部minimizers由完整枚舉取得；nonminimum需更小cover witness；inclusion-minimal不是minimum；保留empty/multiple minima且不混同edge cover、independent set、König或weighted/directed variants。"
    },
    "difficulty": {
      "band": "undergraduate_core",
      "level": 1,
      "skills": [
        "最小頂點覆蓋"
      ]
    },
    "variant": {
      "family_id": "qf-mod46-mincover-exhaustive-minimizers",
      "seed": 202611156008,
      "parameters": {
        "vertices": [
          "v0",
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9",
          "v10"
        ],
        "edges": [
          [
            "v0",
            "v1"
          ],
          [
            "v1",
            "v2"
          ],
          [
            "v2",
            "v3"
          ],
          [
            "v3",
            "v4"
          ],
          [
            "v4",
            "v5"
          ],
          [
            "v5",
            "v6"
          ],
          [
            "v6",
            "v7"
          ],
          [
            "v7",
            "v8"
          ],
          [
            "v8",
            "v9"
          ],
          [
            "v9",
            "v10"
          ]
        ],
        "domain": "Complete_finite_minimum_vertex_cover",
        "operation": "mincover-exhaustive-minimizers",
        "semantic_template": "qf-mod46-mincover-exhaustive-minimizers/{\"edges\":[[\"v0\",\"v1\"],[\"v1\",\"v2\"],[\"v10\",\"v9\"],[\"v2\",\"v3\"],[\"v3\",\"v4\"],[\"v4\",\"v5\"],[\"v5\",\"v6\"],[\"v6\",\"v7\"],[\"v7\",\"v8\"],[\"v8\",\"v9\"]],\"vertices\":[\"v0\",\"v1\",\"v10\",\"v2\",\"v3\",\"v4\",\"v5\",\"v6\",\"v7\",\"v8\",\"v9\"]}"
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "producer_exact_finite_or_symbolic_model",
        "producer_source_snapshot_check",
        "producer_substantive_template_deduplication",
        "producer_json_schema"
      ],
      "warning_zh": "候選須主端重算；不構成人工審定、一般第一同構／strong duality／max-flow-min-cut證明、class equation、consistency、integrality、König theorem、無限domain computability、Lean或Evidence。"
    },
    "provenance": {
      "generator_role": "question_producer",
      "generator_model": "model_unknown",
      "generated_at": "2026-10-15",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20261015-advance-20261115-r06-minimum-vertex-cover-0008",
    "batch_id": "batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "e01ff3d51cb98131cd3f602b3809ff533afd8d7dc0eeb002280b611f4b55a890",
      "family_id": "qf-mod46-mincover-exhaustive-minimizers",
      "seed": 202611156008,
      "semantic_template": "qf-mod46-mincover-exhaustive-minimizers/{\"edges\":[[\"v0\",\"v1\"],[\"v1\",\"v2\"],[\"v10\",\"v9\"],[\"v2\",\"v3\"],[\"v3\",\"v4\"],[\"v4\",\"v5\"],[\"v5\",\"v6\"],[\"v6\",\"v7\"],[\"v7\",\"v8\"],[\"v8\",\"v9\"]],\"vertices\":[\"v0\",\"v1\",\"v10\",\"v2\",\"v3\",\"v4\",\"v5\",\"v6\",\"v7\",\"v8\",\"v9\"]}"
    },
    "fields": {
      "title": "Minimum Vertex Covers Are Selected Only after Complete Subset Coverage Audits",
      "stem": "Use complete unique vertices=[v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10] and loop-free duplicate-free undirected edges=[[v0, v1], [v1, v2], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9], [v9, v10]]. An edge needs at least one selected endpoint. Preserve source canonical subset order. Give (vertices, edges, all_covers, minimum_size, minimum_covers, certificate).",
      "answer": {
        "kind": "expression",
        "value": "([v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [[v0, v1], [v1, v2], [v10, v9], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9]], [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v0, v1, v10, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v0, v1, v10, v3, v4, v6, v8], [v0, v10, v2, v3, v4, v6, v8], [v1, v10, v2, v3, v4, v6, v8], [v0, v1, v10, v2, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v0, v1, v10, v3, v5, v6, v8], [v0, v10, v2, v3, v5, v6, v8], [v1, v10, v2, v3, v5, v6, v8], [v0, v1, v10, v2, v3, v5, v6, v8], [v0, v10, v2, v4, v5, v6, v8], [v1, v10, v2, v4, v5, v6, v8], [v0, v1, v10, v2, v4, v5, v6, v8], [v1, v10, v3, v4, v5, v6, v8], [v0, v1, v10, v3, v4, v5, v6, v8], [v0, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v0, v1, v10, v3, v5, v7, v8], [v0, v10, v2, v3, v5, v7, v8], [v1, v10, v2, v3, v5, v7, v8], [v0, v1, v10, v2, v3, v5, v7, v8], [v0, v10, v2, v4, v5, v7, v8], [v1, v10, v2, v4, v5, v7, v8], [v0, v1, v10, v2, v4, v5, v7, v8], [v1, v10, v3, v4, v5, v7, v8], [v0, v1, v10, v3, v4, v5, v7, v8], [v0, v10, v2, v3, v4, v5, v7, v8], [v1, v10, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v7, v8], [v0, v10, v2, v4, v6, v7, v8], [v1, v10, v2, v4, v6, v7, v8], [v0, v1, v10, v2, v4, v6, v7, v8], [v1, v10, v3, v4, v6, v7, v8], [v0, v1, v10, v3, v4, v6, v7, v8], [v0, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v3, v5, v6, v7, v8], [v0, v1, v10, v3, v5, v6, v7, v8], [v0, v10, v2, v3, v5, v6, v7, v8], [v1, v10, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v5, v6, v7, v8], [v0, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v3, v4, v5, v6, v7, v8], [v0, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v3, v5, v7, v9], [v0, v1, v3, v5, v7, v9], [v1, v10, v3, v5, v7, v9], [v0, v1, v10, v3, v5, v7, v9], [v0, v2, v3, v5, v7, v9], [v1, v2, v3, v5, v7, v9], [v0, v1, v2, v3, v5, v7, v9], [v0, v10, v2, v3, v5, v7, v9], [v1, v10, v2, v3, v5, v7, v9], [v0, v1, v10, v2, v3, v5, v7, v9], [v0, v2, v4, v5, v7, v9], [v1, v2, v4, v5, v7, v9], [v0, v1, v2, v4, v5, v7, v9], [v0, v10, v2, v4, v5, v7, v9], [v1, v10, v2, v4, v5, v7, v9], [v0, v1, v10, v2, v4, v5, v7, v9], [v1, v3, v4, v5, v7, v9], [v0, v1, v3, v4, v5, v7, v9], [v1, v10, v3, v4, v5, v7, v9], [v0, v1, v10, v3, v4, v5, v7, v9], [v0, v2, v3, v4, v5, v7, v9], [v1, v2, v3, v4, v5, v7, v9], [v0, v1, v2, v3, v4, v5, v7, v9], [v0, v10, v2, v3, v4, v5, v7, v9], [v1, v10, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v9], [v0, v2, v4, v6, v7, v9], [v1, v2, v4, v6, v7, v9], [v0, v1, v2, v4, v6, v7, v9], [v0, v10, v2, v4, v6, v7, v9], [v1, v10, v2, v4, v6, v7, v9], [v0, v1, v10, v2, v4, v6, v7, v9], [v1, v3, v4, v6, v7, v9], [v0, v1, v3, v4, v6, v7, v9], [v1, v10, v3, v4, v6, v7, v9], [v0, v1, v10, v3, v4, v6, v7, v9], [v0, v2, v3, v4, v6, v7, v9], [v1, v2, v3, v4, v6, v7, v9], [v0, v1, v2, v3, v4, v6, v7, v9], [v0, v10, v2, v3, v4, v6, v7, v9], [v1, v10, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v9], [v1, v3, v5, v6, v7, v9], [v0, v1, v3, v5, v6, v7, v9], [v1, v10, v3, v5, v6, v7, v9], [v0, v1, v10, v3, v5, v6, v7, v9], [v0, v2, v3, v5, v6, v7, v9], [v1, v2, v3, v5, v6, v7, v9], [v0, v1, v2, v3, v5, v6, v7, v9], [v0, v10, v2, v3, v5, v6, v7, v9], [v1, v10, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v9], [v0, v2, v4, v5, v6, v7, v9], [v1, v2, v4, v5, v6, v7, v9], [v0, v1, v2, v4, v5, v6, v7, v9], [v0, v10, v2, v4, v5, v6, v7, v9], [v1, v10, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v9], [v1, v3, v4, v5, v6, v7, v9], [v0, v1, v3, v4, v5, v6, v7, v9], [v1, v10, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v9], [v0, v2, v3, v4, v5, v6, v7, v9], [v1, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v2, v4, v6, v8, v9], [v1, v2, v4, v6, v8, v9], [v0, v1, v2, v4, v6, v8, v9], [v0, v10, v2, v4, v6, v8, v9], [v1, v10, v2, v4, v6, v8, v9], [v0, v1, v10, v2, v4, v6, v8, v9], [v1, v3, v4, v6, v8, v9], [v0, v1, v3, v4, v6, v8, v9], [v1, v10, v3, v4, v6, v8, v9], [v0, v1, v10, v3, v4, v6, v8, v9], [v0, v2, v3, v4, v6, v8, v9], [v1, v2, v3, v4, v6, v8, v9], [v0, v1, v2, v3, v4, v6, v8, v9], [v0, v10, v2, v3, v4, v6, v8, v9], [v1, v10, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v8, v9], [v1, v3, v5, v6, v8, v9], [v0, v1, v3, v5, v6, v8, v9], [v1, v10, v3, v5, v6, v8, v9], [v0, v1, v10, v3, v5, v6, v8, v9], [v0, v2, v3, v5, v6, v8, v9], [v1, v2, v3, v5, v6, v8, v9], [v0, v1, v2, v3, v5, v6, v8, v9], [v0, v10, v2, v3, v5, v6, v8, v9], [v1, v10, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v8, v9], [v0, v2, v4, v5, v6, v8, v9], [v1, v2, v4, v5, v6, v8, v9], [v0, v1, v2, v4, v5, v6, v8, v9], [v0, v10, v2, v4, v5, v6, v8, v9], [v1, v10, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v8, v9], [v1, v3, v4, v5, v6, v8, v9], [v0, v1, v3, v4, v5, v6, v8, v9], [v1, v10, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v8, v9], [v0, v2, v3, v4, v5, v6, v8, v9], [v1, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v3, v5, v7, v8, v9], [v0, v1, v3, v5, v7, v8, v9], [v1, v10, v3, v5, v7, v8, v9], [v0, v1, v10, v3, v5, v7, v8, v9], [v0, v2, v3, v5, v7, v8, v9], [v1, v2, v3, v5, v7, v8, v9], [v0, v1, v2, v3, v5, v7, v8, v9], [v0, v10, v2, v3, v5, v7, v8, v9], [v1, v10, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v7, v8, v9], [v0, v2, v4, v5, v7, v8, v9], [v1, v2, v4, v5, v7, v8, v9], [v0, v1, v2, v4, v5, v7, v8, v9], [v0, v10, v2, v4, v5, v7, v8, v9], [v1, v10, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v7, v8, v9], [v1, v3, v4, v5, v7, v8, v9], [v0, v1, v3, v4, v5, v7, v8, v9], [v1, v10, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v7, v8, v9], [v0, v2, v3, v4, v5, v7, v8, v9], [v1, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v2, v4, v6, v7, v8, v9], [v1, v2, v4, v6, v7, v8, v9], [v0, v1, v2, v4, v6, v7, v8, v9], [v0, v10, v2, v4, v6, v7, v8, v9], [v1, v10, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v6, v7, v8, v9], [v1, v3, v4, v6, v7, v8, v9], [v0, v1, v3, v4, v6, v7, v8, v9], [v1, v10, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v6, v7, v8, v9], [v0, v2, v3, v4, v6, v7, v8, v9], [v1, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v3, v5, v6, v7, v8, v9], [v0, v1, v3, v5, v6, v7, v8, v9], [v1, v10, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v5, v6, v7, v8, v9], [v0, v2, v3, v5, v6, v7, v8, v9], [v1, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v2, v4, v5, v6, v7, v8, v9], [v1, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9]], 5, [[v1, v3, v5, v7, v9]], all_vertex_subsets_are_audited_before_selecting_all_minimizers)",
        "explanation": "Retain all covers in source subset order, then minimum cardinality and all covers attaining it. This complete bounded search is not a polynomial-time algorithm claim, approximation guarantee or use of Konig theorem. The exact result, retaining the requested order, is ([v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [[v0, v1], [v1, v2], [v10, v9], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9]], [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v0, v1, v10, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v0, v1, v10, v3, v4, v6, v8], [v0, v10, v2, v3, v4, v6, v8], [v1, v10, v2, v3, v4, v6, v8], [v0, v1, v10, v2, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v0, v1, v10, v3, v5, v6, v8], [v0, v10, v2, v3, v5, v6, v8], [v1, v10, v2, v3, v5, v6, v8], [v0, v1, v10, v2, v3, v5, v6, v8], [v0, v10, v2, v4, v5, v6, v8], [v1, v10, v2, v4, v5, v6, v8], [v0, v1, v10, v2, v4, v5, v6, v8], [v1, v10, v3, v4, v5, v6, v8], [v0, v1, v10, v3, v4, v5, v6, v8], [v0, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v0, v1, v10, v3, v5, v7, v8], [v0, v10, v2, v3, v5, v7, v8], [v1, v10, v2, v3, v5, v7, v8], [v0, v1, v10, v2, v3, v5, v7, v8], [v0, v10, v2, v4, v5, v7, v8], [v1, v10, v2, v4, v5, v7, v8], [v0, v1, v10, v2, v4, v5, v7, v8], [v1, v10, v3, v4, v5, v7, v8], [v0, v1, v10, v3, v4, v5, v7, v8], [v0, v10, v2, v3, v4, v5, v7, v8], [v1, v10, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v7, v8], [v0, v10, v2, v4, v6, v7, v8], [v1, v10, v2, v4, v6, v7, v8], [v0, v1, v10, v2, v4, v6, v7, v8], [v1, v10, v3, v4, v6, v7, v8], [v0, v1, v10, v3, v4, v6, v7, v8], [v0, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v3, v5, v6, v7, v8], [v0, v1, v10, v3, v5, v6, v7, v8], [v0, v10, v2, v3, v5, v6, v7, v8], [v1, v10, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v5, v6, v7, v8], [v0, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v3, v4, v5, v6, v7, v8], [v0, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v3, v5, v7, v9], [v0, v1, v3, v5, v7, v9], [v1, v10, v3, v5, v7, v9], [v0, v1, v10, v3, v5, v7, v9], [v0, v2, v3, v5, v7, v9], [v1, v2, v3, v5, v7, v9], [v0, v1, v2, v3, v5, v7, v9], [v0, v10, v2, v3, v5, v7, v9], [v1, v10, v2, v3, v5, v7, v9], [v0, v1, v10, v2, v3, v5, v7, v9], [v0, v2, v4, v5, v7, v9], [v1, v2, v4, v5, v7, v9], [v0, v1, v2, v4, v5, v7, v9], [v0, v10, v2, v4, v5, v7, v9], [v1, v10, v2, v4, v5, v7, v9], [v0, v1, v10, v2, v4, v5, v7, v9], [v1, v3, v4, v5, v7, v9], [v0, v1, v3, v4, v5, v7, v9], [v1, v10, v3, v4, v5, v7, v9], [v0, v1, v10, v3, v4, v5, v7, v9], [v0, v2, v3, v4, v5, v7, v9], [v1, v2, v3, v4, v5, v7, v9], [v0, v1, v2, v3, v4, v5, v7, v9], [v0, v10, v2, v3, v4, v5, v7, v9], [v1, v10, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v9], [v0, v2, v4, v6, v7, v9], [v1, v2, v4, v6, v7, v9], [v0, v1, v2, v4, v6, v7, v9], [v0, v10, v2, v4, v6, v7, v9], [v1, v10, v2, v4, v6, v7, v9], [v0, v1, v10, v2, v4, v6, v7, v9], [v1, v3, v4, v6, v7, v9], [v0, v1, v3, v4, v6, v7, v9], [v1, v10, v3, v4, v6, v7, v9], [v0, v1, v10, v3, v4, v6, v7, v9], [v0, v2, v3, v4, v6, v7, v9], [v1, v2, v3, v4, v6, v7, v9], [v0, v1, v2, v3, v4, v6, v7, v9], [v0, v10, v2, v3, v4, v6, v7, v9], [v1, v10, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v9], [v1, v3, v5, v6, v7, v9], [v0, v1, v3, v5, v6, v7, v9], [v1, v10, v3, v5, v6, v7, v9], [v0, v1, v10, v3, v5, v6, v7, v9], [v0, v2, v3, v5, v6, v7, v9], [v1, v2, v3, v5, v6, v7, v9], [v0, v1, v2, v3, v5, v6, v7, v9], [v0, v10, v2, v3, v5, v6, v7, v9], [v1, v10, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v9], [v0, v2, v4, v5, v6, v7, v9], [v1, v2, v4, v5, v6, v7, v9], [v0, v1, v2, v4, v5, v6, v7, v9], [v0, v10, v2, v4, v5, v6, v7, v9], [v1, v10, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v9], [v1, v3, v4, v5, v6, v7, v9], [v0, v1, v3, v4, v5, v6, v7, v9], [v1, v10, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v9], [v0, v2, v3, v4, v5, v6, v7, v9], [v1, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v2, v4, v6, v8, v9], [v1, v2, v4, v6, v8, v9], [v0, v1, v2, v4, v6, v8, v9], [v0, v10, v2, v4, v6, v8, v9], [v1, v10, v2, v4, v6, v8, v9], [v0, v1, v10, v2, v4, v6, v8, v9], [v1, v3, v4, v6, v8, v9], [v0, v1, v3, v4, v6, v8, v9], [v1, v10, v3, v4, v6, v8, v9], [v0, v1, v10, v3, v4, v6, v8, v9], [v0, v2, v3, v4, v6, v8, v9], [v1, v2, v3, v4, v6, v8, v9], [v0, v1, v2, v3, v4, v6, v8, v9], [v0, v10, v2, v3, v4, v6, v8, v9], [v1, v10, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v8, v9], [v1, v3, v5, v6, v8, v9], [v0, v1, v3, v5, v6, v8, v9], [v1, v10, v3, v5, v6, v8, v9], [v0, v1, v10, v3, v5, v6, v8, v9], [v0, v2, v3, v5, v6, v8, v9], [v1, v2, v3, v5, v6, v8, v9], [v0, v1, v2, v3, v5, v6, v8, v9], [v0, v10, v2, v3, v5, v6, v8, v9], [v1, v10, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v8, v9], [v0, v2, v4, v5, v6, v8, v9], [v1, v2, v4, v5, v6, v8, v9], [v0, v1, v2, v4, v5, v6, v8, v9], [v0, v10, v2, v4, v5, v6, v8, v9], [v1, v10, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v8, v9], [v1, v3, v4, v5, v6, v8, v9], [v0, v1, v3, v4, v5, v6, v8, v9], [v1, v10, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v8, v9], [v0, v2, v3, v4, v5, v6, v8, v9], [v1, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v3, v5, v7, v8, v9], [v0, v1, v3, v5, v7, v8, v9], [v1, v10, v3, v5, v7, v8, v9], [v0, v1, v10, v3, v5, v7, v8, v9], [v0, v2, v3, v5, v7, v8, v9], [v1, v2, v3, v5, v7, v8, v9], [v0, v1, v2, v3, v5, v7, v8, v9], [v0, v10, v2, v3, v5, v7, v8, v9], [v1, v10, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v7, v8, v9], [v0, v2, v4, v5, v7, v8, v9], [v1, v2, v4, v5, v7, v8, v9], [v0, v1, v2, v4, v5, v7, v8, v9], [v0, v10, v2, v4, v5, v7, v8, v9], [v1, v10, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v7, v8, v9], [v1, v3, v4, v5, v7, v8, v9], [v0, v1, v3, v4, v5, v7, v8, v9], [v1, v10, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v7, v8, v9], [v0, v2, v3, v4, v5, v7, v8, v9], [v1, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v2, v4, v6, v7, v8, v9], [v1, v2, v4, v6, v7, v8, v9], [v0, v1, v2, v4, v6, v7, v8, v9], [v0, v10, v2, v4, v6, v7, v8, v9], [v1, v10, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v6, v7, v8, v9], [v1, v3, v4, v6, v7, v8, v9], [v0, v1, v3, v4, v6, v7, v8, v9], [v1, v10, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v6, v7, v8, v9], [v0, v2, v3, v4, v6, v7, v8, v9], [v1, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v3, v5, v6, v7, v8, v9], [v0, v1, v3, v5, v6, v7, v8, v9], [v1, v10, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v5, v6, v7, v8, v9], [v0, v2, v3, v5, v6, v7, v8, v9], [v1, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v2, v4, v5, v6, v7, v8, v9], [v1, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9]], 5, [[v1, v3, v5, v7, v9]], all_vertex_subsets_are_audited_before_selecting_all_minimizers)."
      },
      "skills": [
        "Minimum Vertex Covers Are Selected Only after Complete Subset Coverage Audits"
      ],
      "verification_warning": "This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."
    }
  },
  "givens": [
    {
      "id": "G001",
      "text": {
        "zh-Hant": "bounded finite simple graph的全部vertex subsets與all-edge cover audit。操作=mincover-exhaustive-minimizers；資料={\"vertices\":[\"v0\",\"v1\",\"v2\",\"v3\",\"v4\",\"v5\",\"v6\",\"v7\",\"v8\",\"v9\",\"v10\"],\"edges\":[[\"v0\",\"v1\"],[\"v1\",\"v2\"],[\"v2\",\"v3\"],[\"v3\",\"v4\"],[\"v4\",\"v5\"],[\"v5\",\"v6\"],[\"v6\",\"v7\"],[\"v7\",\"v8\"],[\"v8\",\"v9\"],[\"v9\",\"v10\"]]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。",
        "en": "Use complete unique vertices=[v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10] and loop-free duplicate-free undirected edges=[[v0, v1], [v1, v2], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9], [v9, v10]]. An edge needs at least one selected endpoint. Preserve source canonical subset order. Give (vertices, edges, all_covers, minimum_size, minimum_covers, certificate)."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "source roles = [mincover-exhaustive-minimizers]",
      "after": "derived = [[vertices, edges, all_covers, minimum_size, minimum_covers, certificate]]",
      "relation": "implies",
      "rule_id": "source_ordered_fields_without_JS",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本頁直接列完整來源欄序，不需JavaScript；contract的6/4/6/6與IVT的8/7/8由原mode選，不補欄也不由答案形狀猜。",
        "en": "List the full source field order without JavaScript.Original modes select contract6/4/6/6 and IVT8/7/8 roles,without padding or answer-shape inference."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S002",
      "uses": [
        "G001",
        "S001"
      ],
      "before": "source roles = [[v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10], [[v0, v1], [v1, v2], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9], [v9, v10]], null]",
      "after": "derived = [[v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [[v0, v1], [v1, v2], [v10, v9], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9]], null]",
      "relation": "implies",
      "rule_id": "Mincover_complete_simple_graph_UTF16_English_and_optional_candidate",
      "conditions": [],
      "explanation": {
        "zh-Hant": "非空carrier至多12；端點UTF16排序後edge族English排序，loop/反向duplicate拒絕。未提供candidate時保持null，不擅補空candidate。",
        "en": "The carrier is nonempty with at most12 vertices;sort endpoints by UTF16 then edge families in English.Reject loops/reversed duplicates.An omitted candidate stays null,not an invented empty candidate."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S003",
      "uses": [
        "G001",
        "S002"
      ],
      "before": "source roles = [[v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [[v0, v1], [v1, v2], [v10, v9], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9]], 2048]",
      "after": "derived = [[685, 686, 687, 694, 695, 701, 702, 703, 726, 727, 733, 734, 735, 749, 750, 751, 758, 759, 765, 766, 767, 854, 855, 861, 862, 863, 877, 878, 879, 886, 887, 893, 894, 895, 941, 942, 943, 950, 951, 957, 958, 959, 982, 983, 989, 990, 991, 1005, 1006, 1007, 1014, 1015, 1021, 1022, 1023, 1362, 1363, 1366, 1367, 1369, 1370, 1371, 1373, 1374, 1375, 1385, 1386, 1387, 1389, 1390, 1391, 1394, 1395, 1398, 1399, 1401, 1402, 1403, 1405, 1406, 1407, 1449, 1450, 1451, 1453, 1454, 1455, 1458, 1459, 1462, 1463, 1465, 1466, 1467, 1469, 1470, 1471, 1490, 1491, 1494, 1495, 1497, 1498, 1499, 1501, 1502, 1503, 1513, 1514, 1515, 1517, 1518, 1519, 1522, 1523, 1526, 1527, 1529, 1530, 1531, 1533, 1534, 1535, 1705, 1706, 1707, 1709, 1710, 1711, 1714, 1715, 1718, 1719, 1721, 1722, 1723, 1725, 1726, 1727, 1746, 1747, 1750, 1751, 1753, 1754, 1755, 1757, 1758, 1759, 1769, 1770, 1771, 1773, 1774, 1775, 1778, 1779, 1782, 1783, 1785, 1786, 1787, 1789, 1790, 1791, 1874, 1875, 1878, 1879, 1881, 1882, 1883, 1885, 1886, 1887, 1897, 1898, 1899, 1901, 1902, 1903, 1906, 1907, 1910, 1911, 1913, 1914, 1915, 1917, 1918, 1919, 1961, 1962, 1963, 1965, 1966, 1967, 1970, 1971, 1974, 1975, 1977, 1978, 1979, 1981, 1982, 1983, 2002, 2003, 2006, 2007, 2009, 2010, 2011, 2013, 2014, 2015, 2025, 2026, 2027, 2029, 2030, 2031, 2034, 2035, 2038, 2039, 2041, 2042, 2043, 2045, 2046, 2047], [[0, 0], [1, 1], [2, 2], [3, 2], [4, 0], [5, 1], [6, 3], [7, 3], [8, 0], [9, 2], [10, 2], [11, 2], [12, 0], [13, 4], [14, 4], [15, 4], [16, 0], [17, 1], [18, 2], [19, 2], [20, 0], [21, 1], [22, 5], [23, 5], [24, 0], [25, 2], [26, 2], [27, 2], [28, 0], [29, 5], [30, 5], [31, 5], [32, 0], [33, 1], [34, 2], [35, 2], [36, 0], [37, 1], [38, 3], [39, 3], [40, 0], [41, 2], [42, 2], [43, 2], [44, 0], [45, 6], [46, 6], [47, 6], [48, 0], [49, 1], [50, 2], [51, 2], [52, 0], [53, 1], [54, 6], [55, 6], [56, 0], [57, 2], [58, 2], [59, 2], [60, 0], [61, 6], [62, 6], [63, 6], [64, 0], [65, 1], [66, 2], [67, 2], [68, 0], [69, 1], [70, 3], [71, 3], [72, 0], [73, 2], [74, 2], [75, 2], [76, 0], [77, 4], [78, 4], [79, 4], [80, 0], [81, 1], [82, 2], [83, 2], [84, 0], [85, 1], [86, 7], [87, 7], [88, 0], [89, 2], [90, 2], [91, 2], [92, 0], [93, 7], [94, 7], [95, 7], [96, 0], [97, 1], [98, 2], [99, 2], [100, 0], [101, 1], [102, 3], [103, 3], [104, 0], [105, 2], [106, 2], [107, 2], [108, 0], [109, 7], [110, 7], [111, 7], [112, 0], [113, 1], [114, 2], [115, 2], [116, 0], [117, 1], [118, 7], [119, 7], [120, 0], [121, 2], [122, 2], [123, 2], [124, 0], [125, 7], [126, 7], [127, 7], [128, 0], [129, 1], [130, 2], [131, 2], [132, 0], [133, 1], [134, 3], [135, 3], [136, 0], [137, 2], [138, 2], [139, 2], [140, 0], [141, 4], [142, 4], [143, 4], [144, 0], [145, 1], [146, 2], [147, 2], [148, 0], [149, 1], [150, 5], [151, 5], [152, 0], [153, 2], [154, 2], [155, 2], [156, 0], [157, 5], [158, 5], [159, 5], [160, 0], [161, 1], [162, 2], [163, 2], [164, 0], [165, 1], [166, 3], [167, 3], [168, 0], [169, 2], [170, 2], [171, 2], [172, 0], [173, 8], [174, 8], [175, 8], [176, 0], [177, 1], [178, 2], [179, 2], [180, 0], [181, 1], [182, 8], [183, 8], [184, 0], [185, 2], [186, 2], [187, 2], [188, 0], [189, 8], [190, 8], [191, 8], [192, 0], [193, 1], [194, 2], [195, 2], [196, 0], [197, 1], [198, 3], [199, 3], [200, 0], [201, 2], [202, 2], [203, 2], [204, 0], [205, 4], [206, 4], [207, 4], [208, 0], [209, 1], [210, 2], [211, 2], [212, 0], [213, 1], [214, 8], [215, 8], [216, 0], [217, 2], [218, 2], [219, 2], [220, 0], [221, 8], [222, 8], [223, 8], [224, 0], [225, 1], [226, 2], [227, 2], [228, 0], [229, 1], [230, 3], [231, 3], [232, 0], [233, 2], [234, 2], [235, 2], [236, 0], [237, 8], [238, 8], [239, 8], [240, 0], [241, 1], [242, 2], [243, 2], [244, 0], [245, 1], [246, 8], [247, 8], [248, 0], [249, 2], [250, 2], [251, 2], [252, 0], [253, 8], [254, 8], [255, 8], [256, 0], [257, 1], [258, 2], [259, 2], [260, 0], [261, 1], [262, 3], [263, 3], [264, 0], [265, 2], [266, 2], [267, 2], [268, 0], [269, 4], [270, 4], [271, 4], [272, 0], [273, 1], [274, 2], [275, 2], [276, 0], [277, 1], [278, 5], [279, 5], [280, 0], [281, 2], [282, 2], [283, 2], [284, 0], [285, 5], [286, 5], [287, 5], [288, 0], [289, 1], [290, 2], [291, 2], [292, 0], [293, 1], [294, 3], [295, 3], [296, 0], [297, 2], [298, 2], [299, 2], [300, 0], [301, 6], [302, 6], [303, 6], [304, 0], [305, 1], [306, 2], [307, 2], [308, 0], [309, 1], [310, 6], [311, 6], [312, 0], [313, 2], [314, 2], [315, 2], [316, 0], [317, 6], [318, 6], [319, 6], [320, 0], [321, 1], [322, 2], [323, 2], [324, 0], [325, 1], [326, 3], [327, 3], [328, 0], [329, 2], [330, 2], [331, 2], [332, 0], [333, 4], [334, 4], [335, 4], [336, 0], [337, 1], [338, 2], [339, 2], [340, 0], [341, 1], [342, 9], [343, 9], [344, 0], [345, 2], [346, 2], [347, 2], [348, 0], [349, 9], [350, 9], [351, 9], [352, 0], [353, 1], [354, 2], [355, 2], [356, 0], [357, 1], [358, 3], [359, 3], [360, 0], [361, 2], [362, 2], [363, 2], [364, 0], [365, 9], [366, 9], [367, 9], [368, 0], [369, 1], [370, 2], [371, 2], [372, 0], [373, 1], [374, 9], [375, 9], [376, 0], [377, 2], [378, 2], [379, 2], [380, 0], [381, 9], [382, 9], [383, 9], [384, 0], [385, 1], [386, 2], [387, 2], [388, 0], [389, 1], [390, 3], [391, 3], [392, 0], [393, 2], [394, 2], [395, 2], [396, 0], [397, 4], [398, 4], [399, 4], [400, 0], [401, 1], [402, 2], [403, 2], [404, 0], [405, 1], [406, 5], [407, 5], [408, 0], [409, 2], [410, 2], [411, 2], [412, 0], [413, 5], [414, 5], [415, 5], [416, 0], [417, 1], [418, 2], [419, 2], [420, 0], [421, 1], [422, 3], [423, 3], [424, 0], [425, 2], [426, 2], [427, 2], [428, 0], [429, 9], [430, 9], [431, 9], [432, 0], [433, 1], [434, 2], [435, 2], [436, 0], [437, 1], [438, 9], [439, 9], [440, 0], [441, 2], [442, 2], [443, 2], [444, 0], [445, 9], [446, 9], [447, 9], [448, 0], [449, 1], [450, 2], [451, 2], [452, 0], [453, 1], [454, 3], [455, 3], [456, 0], [457, 2], [458, 2], [459, 2], [460, 0], [461, 4], [462, 4], [463, 4], [464, 0], [465, 1], [466, 2], [467, 2], [468, 0], [469, 1], [470, 9], [471, 9], [472, 0], [473, 2], [474, 2], [475, 2], [476, 0], [477, 9], [478, 9], [479, 9], [480, 0], [481, 1], [482, 2], [483, 2], [484, 0], [485, 1], [486, 3], [487, 3], [488, 0], [489, 2], [490, 2], [491, 2], [492, 0], [493, 9], [494, 9], [495, 9], [496, 0], [497, 1], [498, 2], [499, 2], [500, 0], [501, 1], [502, 9], [503, 9], [504, 0], [505, 2], [506, 2], [507, 2], [508, 0], [509, 9], [510, 9], [511, 9], [512, 0], [513, 1], [514, 2], [515, 2], [516, 0], [517, 1], [518, 3], [519, 3], [520, 0], [521, 2], [522, 2], [523, 2], [524, 0], [525, 4], [526, 4], [527, 4], [528, 0], [529, 1], [530, 2], [531, 2], [532, 0], [533, 1], [534, 5], [535, 5], [536, 0], [537, 2], [538, 2], [539, 2], [540, 0], [541, 5], [542, 5], [543, 5], [544, 0], [545, 1], [546, 2], [547, 2], [548, 0], [549, 1], [550, 3], [551, 3], [552, 0], [553, 2], [554, 2], [555, 2], [556, 0], [557, 6], [558, 6], [559, 6], [560, 0], [561, 1], [562, 2], [563, 2], [564, 0], [565, 1], [566, 6], [567, 6], [568, 0], [569, 2], [570, 2], [571, 2], [572, 0], [573, 6], [574, 6], [575, 6], [576, 0], [577, 1], [578, 2], [579, 2], [580, 0], [581, 1], [582, 3], [583, 3], [584, 0], [585, 2], [586, 2], [587, 2], [588, 0], [589, 4], [590, 4], [591, 4], [592, 0], [593, 1], [594, 2], [595, 2], [596, 0], [597, 1], [598, 7], [599, 7], [600, 0], [601, 2], [602, 2], [603, 2], [604, 0], [605, 7], [606, 7], [607, 7], [608, 0], [609, 1], [610, 2], [611, 2], [612, 0], [613, 1], [614, 3], [615, 3], [616, 0], [617, 2], [618, 2], [619, 2], [620, 0], [621, 7], [622, 7], [623, 7], [624, 0], [625, 1], [626, 2], [627, 2], [628, 0], [629, 1], [630, 7], [631, 7], [632, 0], [633, 2], [634, 2], [635, 2], [636, 0], [637, 7], [638, 7], [639, 7], [640, 0], [641, 1], [642, 2], [643, 2], [644, 0], [645, 1], [646, 3], [647, 3], [648, 0], [649, 2], [650, 2], [651, 2], [652, 0], [653, 4], [654, 4], [655, 4], [656, 0], [657, 1], [658, 2], [659, 2], [660, 0], [661, 1], [662, 5], [663, 5], [664, 0], [665, 2], [666, 2], [667, 2], [668, 0], [669, 5], [670, 5], [671, 5], [672, 0], [673, 1], [674, 2], [675, 2], [676, 0], [677, 1], [678, 3], [679, 3], [680, 0], [681, 2], [682, 2], [683, 2], [684, 0], [688, 0], [689, 1], [690, 2], [691, 2], [692, 0], [693, 1], [696, 0], [697, 2], [698, 2], [699, 2], [700, 0], [704, 0], [705, 1], [706, 2], [707, 2], [708, 0], [709, 1], [710, 3], [711, 3], [712, 0], [713, 2], [714, 2], [715, 2], [716, 0], [717, 4], [718, 4], [719, 4], [720, 0], [721, 1], [722, 2], [723, 2], [724, 0], [725, 1], [728, 0], [729, 2], [730, 2], [731, 2], [732, 0], [736, 0], [737, 1], [738, 2], [739, 2], [740, 0], [741, 1], [742, 3], [743, 3], [744, 0], [745, 2], [746, 2], [747, 2], [748, 0], [752, 0], [753, 1], [754, 2], [755, 2], [756, 0], [757, 1], [760, 0], [761, 2], [762, 2], [763, 2], [764, 0], [768, 0], [769, 1], [770, 2], [771, 2], [772, 0], [773, 1], [774, 3], [775, 3], [776, 0], [777, 2], [778, 2], [779, 2], [780, 0], [781, 4], [782, 4], [783, 4], [784, 0], [785, 1], [786, 2], [787, 2], [788, 0], [789, 1], [790, 5], [791, 5], [792, 0], [793, 2], [794, 2], [795, 2], [796, 0], [797, 5], [798, 5], [799, 5], [800, 0], [801, 1], [802, 2], [803, 2], [804, 0], [805, 1], [806, 3], [807, 3], [808, 0], [809, 2], [810, 2], [811, 2], [812, 0], [813, 6], [814, 6], [815, 6], [816, 0], [817, 1], [818, 2], [819, 2], [820, 0], [821, 1], [822, 6], [823, 6], [824, 0], [825, 2], [826, 2], [827, 2], [828, 0], [829, 6], [830, 6], [831, 6], [832, 0], [833, 1], [834, 2], [835, 2], [836, 0], [837, 1], [838, 3], [839, 3], [840, 0], [841, 2], [842, 2], [843, 2], [844, 0], [845, 4], [846, 4], [847, 4], [848, 0], [849, 1], [850, 2], [851, 2], [852, 0], [853, 1], [856, 0], [857, 2], [858, 2], [859, 2], [860, 0], [864, 0], [865, 1], [866, 2], [867, 2], [868, 0], [869, 1], [870, 3], [871, 3], [872, 0], [873, 2], [874, 2], [875, 2], [876, 0], [880, 0], [881, 1], [882, 2], [883, 2], [884, 0], [885, 1], [888, 0], [889, 2], [890, 2], [891, 2], [892, 0], [896, 0], [897, 1], [898, 2], [899, 2], [900, 0], [901, 1], [902, 3], [903, 3], [904, 0], [905, 2], [906, 2], [907, 2], [908, 0], [909, 4], [910, 4], [911, 4], [912, 0], [913, 1], [914, 2], [915, 2], [916, 0], [917, 1], [918, 5], [919, 5], [920, 0], [921, 2], [922, 2], [923, 2], [924, 0], [925, 5], [926, 5], [927, 5], [928, 0], [929, 1], [930, 2], [931, 2], [932, 0], [933, 1], [934, 3], [935, 3], [936, 0], [937, 2], [938, 2], [939, 2], [940, 0], [944, 0], [945, 1], [946, 2], [947, 2], [948, 0], [949, 1], [952, 0], [953, 2], [954, 2], [955, 2], [956, 0], [960, 0], [961, 1], [962, 2], [963, 2], [964, 0], [965, 1], [966, 3], [967, 3], [968, 0], [969, 2], [970, 2], [971, 2], [972, 0], [973, 4], [974, 4], [975, 4], [976, 0], [977, 1], [978, 2], [979, 2], [980, 0], [981, 1], [984, 0], [985, 2], [986, 2], [987, 2], [988, 0], [992, 0], [993, 1], [994, 2], [995, 2], [996, 0], [997, 1], [998, 3], [999, 3], [1000, 0], [1001, 2], [1002, 2], [1003, 2], [1004, 0], [1008, 0], [1009, 1], [1010, 2], [1011, 2], [1012, 0], [1013, 1], [1016, 0], [1017, 2], [1018, 2], [1019, 2], [1020, 0], [1024, 0], [1025, 1], [1026, 3], [1027, 3], [1028, 0], [1029, 1], [1030, 3], [1031, 3], [1032, 0], [1033, 4], [1034, 4], [1035, 4], [1036, 0], [1037, 4], [1038, 4], [1039, 4], [1040, 0], [1041, 1], [1042, 5], [1043, 5], [1044, 0], [1045, 1], [1046, 5], [1047, 5], [1048, 0], [1049, 5], [1050, 5], [1051, 5], [1052, 0], [1053, 5], [1054, 5], [1055, 5], [1056, 0], [1057, 1], [1058, 3], [1059, 3], [1060, 0], [1061, 1], [1062, 3], [1063, 3], [1064, 0], [1065, 6], [1066, 6], [1067, 6], [1068, 0], [1069, 6], [1070, 6], [1071, 6], [1072, 0], [1073, 1], [1074, 6], [1075, 6], [1076, 0], [1077, 1], [1078, 6], [1079, 6], [1080, 0], [1081, 6], [1082, 6], [1083, 6], [1084, 0], [1085, 6], [1086, 6], [1087, 6], [1088, 0], [1089, 1], [1090, 3], [1091, 3], [1092, 0], [1093, 1], [1094, 3], [1095, 3], [1096, 0], [1097, 4], [1098, 4], [1099, 4], [1100, 0], [1101, 4], [1102, 4], [1103, 4], [1104, 0], [1105, 1], [1106, 7], [1107, 7], [1108, 0], [1109, 1], [1110, 7], [1111, 7], [1112, 0], [1113, 7], [1114, 7], [1115, 7], [1116, 0], [1117, 7], [1118, 7], [1119, 7], [1120, 0], [1121, 1], [1122, 3], [1123, 3], [1124, 0], [1125, 1], [1126, 3], [1127, 3], [1128, 0], [1129, 7], [1130, 7], [1131, 7], [1132, 0], [1133, 7], [1134, 7], [1135, 7], [1136, 0], [1137, 1], [1138, 7], [1139, 7], [1140, 0], [1141, 1], [1142, 7], [1143, 7], [1144, 0], [1145, 7], [1146, 7], [1147, 7], [1148, 0], [1149, 7], [1150, 7], [1151, 7], [1152, 0], [1153, 1], [1154, 3], [1155, 3], [1156, 0], [1157, 1], [1158, 3], [1159, 3], [1160, 0], [1161, 4], [1162, 4], [1163, 4], [1164, 0], [1165, 4], [1166, 4], [1167, 4], [1168, 0], [1169, 1], [1170, 5], [1171, 5], [1172, 0], [1173, 1], [1174, 5], [1175, 5], [1176, 0], [1177, 5], [1178, 5], [1179, 5], [1180, 0], [1181, 5], [1182, 5], [1183, 5], [1184, 0], [1185, 1], [1186, 3], [1187, 3], [1188, 0], [1189, 1], [1190, 3], [1191, 3], [1192, 0], [1193, 8], [1194, 8], [1195, 8], [1196, 0], [1197, 8], [1198, 8], [1199, 8], [1200, 0], [1201, 1], [1202, 8], [1203, 8], [1204, 0], [1205, 1], [1206, 8], [1207, 8], [1208, 0], [1209, 8], [1210, 8], [1211, 8], [1212, 0], [1213, 8], [1214, 8], [1215, 8], [1216, 0], [1217, 1], [1218, 3], [1219, 3], [1220, 0], [1221, 1], [1222, 3], [1223, 3], [1224, 0], [1225, 4], [1226, 4], [1227, 4], [1228, 0], [1229, 4], [1230, 4], [1231, 4], [1232, 0], [1233, 1], [1234, 8], [1235, 8], [1236, 0], [1237, 1], [1238, 8], [1239, 8], [1240, 0], [1241, 8], [1242, 8], [1243, 8], [1244, 0], [1245, 8], [1246, 8], [1247, 8], [1248, 0], [1249, 1], [1250, 3], [1251, 3], [1252, 0], [1253, 1], [1254, 3], [1255, 3], [1256, 0], [1257, 8], [1258, 8], [1259, 8], [1260, 0], [1261, 8], [1262, 8], [1263, 8], [1264, 0], [1265, 1], [1266, 8], [1267, 8], [1268, 0], [1269, 1], [1270, 8], [1271, 8], [1272, 0], [1273, 8], [1274, 8], [1275, 8], [1276, 0], [1277, 8], [1278, 8], [1279, 8], [1280, 0], [1281, 1], [1282, 3], [1283, 3], [1284, 0], [1285, 1], [1286, 3], [1287, 3], [1288, 0], [1289, 4], [1290, 4], [1291, 4], [1292, 0], [1293, 4], [1294, 4], [1295, 4], [1296, 0], [1297, 1], [1298, 5], [1299, 5], [1300, 0], [1301, 1], [1302, 5], [1303, 5], [1304, 0], [1305, 5], [1306, 5], [1307, 5], [1308, 0], [1309, 5], [1310, 5], [1311, 5], [1312, 0], [1313, 1], [1314, 3], [1315, 3], [1316, 0], [1317, 1], [1318, 3], [1319, 3], [1320, 0], [1321, 6], [1322, 6], [1323, 6], [1324, 0], [1325, 6], [1326, 6], [1327, 6], [1328, 0], [1329, 1], [1330, 6], [1331, 6], [1332, 0], [1333, 1], [1334, 6], [1335, 6], [1336, 0], [1337, 6], [1338, 6], [1339, 6], [1340, 0], [1341, 6], [1342, 6], [1343, 6], [1344, 0], [1345, 1], [1346, 3], [1347, 3], [1348, 0], [1349, 1], [1350, 3], [1351, 3], [1352, 0], [1353, 4], [1354, 4], [1355, 4], [1356, 0], [1357, 4], [1358, 4], [1359, 4], [1360, 0], [1361, 1], [1364, 0], [1365, 1], [1368, 0], [1372, 0], [1376, 0], [1377, 1], [1378, 3], [1379, 3], [1380, 0], [1381, 1], [1382, 3], [1383, 3], [1384, 0], [1388, 0], [1392, 0], [1393, 1], [1396, 0], [1397, 1], [1400, 0], [1404, 0], [1408, 0], [1409, 1], [1410, 3], [1411, 3], [1412, 0], [1413, 1], [1414, 3], [1415, 3], [1416, 0], [1417, 4], [1418, 4], [1419, 4], [1420, 0], [1421, 4], [1422, 4], [1423, 4], [1424, 0], [1425, 1], [1426, 5], [1427, 5], [1428, 0], [1429, 1], [1430, 5], [1431, 5], [1432, 0], [1433, 5], [1434, 5], [1435, 5], [1436, 0], [1437, 5], [1438, 5], [1439, 5], [1440, 0], [1441, 1], [1442, 3], [1443, 3], [1444, 0], [1445, 1], [1446, 3], [1447, 3], [1448, 0], [1452, 0], [1456, 0], [1457, 1], [1460, 0], [1461, 1], [1464, 0], [1468, 0], [1472, 0], [1473, 1], [1474, 3], [1475, 3], [1476, 0], [1477, 1], [1478, 3], [1479, 3], [1480, 0], [1481, 4], [1482, 4], [1483, 4], [1484, 0], [1485, 4], [1486, 4], [1487, 4], [1488, 0], [1489, 1], [1492, 0], [1493, 1], [1496, 0], [1500, 0], [1504, 0], [1505, 1], [1506, 3], [1507, 3], [1508, 0], [1509, 1], [1510, 3], [1511, 3], [1512, 0], [1516, 0], [1520, 0], [1521, 1], [1524, 0], [1525, 1], [1528, 0], [1532, 0], [1536, 0], [1537, 1], [1538, 3], [1539, 3], [1540, 0], [1541, 1], [1542, 3], [1543, 3], [1544, 0], [1545, 4], [1546, 4], [1547, 4], [1548, 0], [1549, 4], [1550, 4], [1551, 4], [1552, 0], [1553, 1], [1554, 5], [1555, 5], [1556, 0], [1557, 1], [1558, 5], [1559, 5], [1560, 0], [1561, 5], [1562, 5], [1563, 5], [1564, 0], [1565, 5], [1566, 5], [1567, 5], [1568, 0], [1569, 1], [1570, 3], [1571, 3], [1572, 0], [1573, 1], [1574, 3], [1575, 3], [1576, 0], [1577, 6], [1578, 6], [1579, 6], [1580, 0], [1581, 6], [1582, 6], [1583, 6], [1584, 0], [1585, 1], [1586, 6], [1587, 6], [1588, 0], [1589, 1], [1590, 6], [1591, 6], [1592, 0], [1593, 6], [1594, 6], [1595, 6], [1596, 0], [1597, 6], [1598, 6], [1599, 6], [1600, 0], [1601, 1], [1602, 3], [1603, 3], [1604, 0], [1605, 1], [1606, 3], [1607, 3], [1608, 0], [1609, 4], [1610, 4], [1611, 4], [1612, 0], [1613, 4], [1614, 4], [1615, 4], [1616, 0], [1617, 1], [1618, 7], [1619, 7], [1620, 0], [1621, 1], [1622, 7], [1623, 7], [1624, 0], [1625, 7], [1626, 7], [1627, 7], [1628, 0], [1629, 7], [1630, 7], [1631, 7], [1632, 0], [1633, 1], [1634, 3], [1635, 3], [1636, 0], [1637, 1], [1638, 3], [1639, 3], [1640, 0], [1641, 7], [1642, 7], [1643, 7], [1644, 0], [1645, 7], [1646, 7], [1647, 7], [1648, 0], [1649, 1], [1650, 7], [1651, 7], [1652, 0], [1653, 1], [1654, 7], [1655, 7], [1656, 0], [1657, 7], [1658, 7], [1659, 7], [1660, 0], [1661, 7], [1662, 7], [1663, 7], [1664, 0], [1665, 1], [1666, 3], [1667, 3], [1668, 0], [1669, 1], [1670, 3], [1671, 3], [1672, 0], [1673, 4], [1674, 4], [1675, 4], [1676, 0], [1677, 4], [1678, 4], [1679, 4], [1680, 0], [1681, 1], [1682, 5], [1683, 5], [1684, 0], [1685, 1], [1686, 5], [1687, 5], [1688, 0], [1689, 5], [1690, 5], [1691, 5], [1692, 0], [1693, 5], [1694, 5], [1695, 5], [1696, 0], [1697, 1], [1698, 3], [1699, 3], [1700, 0], [1701, 1], [1702, 3], [1703, 3], [1704, 0], [1708, 0], [1712, 0], [1713, 1], [1716, 0], [1717, 1], [1720, 0], [1724, 0], [1728, 0], [1729, 1], [1730, 3], [1731, 3], [1732, 0], [1733, 1], [1734, 3], [1735, 3], [1736, 0], [1737, 4], [1738, 4], [1739, 4], [1740, 0], [1741, 4], [1742, 4], [1743, 4], [1744, 0], [1745, 1], [1748, 0], [1749, 1], [1752, 0], [1756, 0], [1760, 0], [1761, 1], [1762, 3], [1763, 3], [1764, 0], [1765, 1], [1766, 3], [1767, 3], [1768, 0], [1772, 0], [1776, 0], [1777, 1], [1780, 0], [1781, 1], [1784, 0], [1788, 0], [1792, 0], [1793, 1], [1794, 3], [1795, 3], [1796, 0], [1797, 1], [1798, 3], [1799, 3], [1800, 0], [1801, 4], [1802, 4], [1803, 4], [1804, 0], [1805, 4], [1806, 4], [1807, 4], [1808, 0], [1809, 1], [1810, 5], [1811, 5], [1812, 0], [1813, 1], [1814, 5], [1815, 5], [1816, 0], [1817, 5], [1818, 5], [1819, 5], [1820, 0], [1821, 5], [1822, 5], [1823, 5], [1824, 0], [1825, 1], [1826, 3], [1827, 3], [1828, 0], [1829, 1], [1830, 3], [1831, 3], [1832, 0], [1833, 6], [1834, 6], [1835, 6], [1836, 0], [1837, 6], [1838, 6], [1839, 6], [1840, 0], [1841, 1], [1842, 6], [1843, 6], [1844, 0], [1845, 1], [1846, 6], [1847, 6], [1848, 0], [1849, 6], [1850, 6], [1851, 6], [1852, 0], [1853, 6], [1854, 6], [1855, 6], [1856, 0], [1857, 1], [1858, 3], [1859, 3], [1860, 0], [1861, 1], [1862, 3], [1863, 3], [1864, 0], [1865, 4], [1866, 4], [1867, 4], [1868, 0], [1869, 4], [1870, 4], [1871, 4], [1872, 0], [1873, 1], [1876, 0], [1877, 1], [1880, 0], [1884, 0], [1888, 0], [1889, 1], [1890, 3], [1891, 3], [1892, 0], [1893, 1], [1894, 3], [1895, 3], [1896, 0], [1900, 0], [1904, 0], [1905, 1], [1908, 0], [1909, 1], [1912, 0], [1916, 0], [1920, 0], [1921, 1], [1922, 3], [1923, 3], [1924, 0], [1925, 1], [1926, 3], [1927, 3], [1928, 0], [1929, 4], [1930, 4], [1931, 4], [1932, 0], [1933, 4], [1934, 4], [1935, 4], [1936, 0], [1937, 1], [1938, 5], [1939, 5], [1940, 0], [1941, 1], [1942, 5], [1943, 5], [1944, 0], [1945, 5], [1946, 5], [1947, 5], [1948, 0], [1949, 5], [1950, 5], [1951, 5], [1952, 0], [1953, 1], [1954, 3], [1955, 3], [1956, 0], [1957, 1], [1958, 3], [1959, 3], [1960, 0], [1964, 0], [1968, 0], [1969, 1], [1972, 0], [1973, 1], [1976, 0], [1980, 0], [1984, 0], [1985, 1], [1986, 3], [1987, 3], [1988, 0], [1989, 1], [1990, 3], [1991, 3], [1992, 0], [1993, 4], [1994, 4], [1995, 4], [1996, 0], [1997, 4], [1998, 4], [1999, 4], [2000, 0], [2001, 1], [2004, 0], [2005, 1], [2008, 0], [2012, 0], [2016, 0], [2017, 1], [2018, 3], [2019, 3], [2020, 0], [2021, 1], [2022, 3], [2023, 3], [2024, 0], [2028, 0], [2032, 0], [2033, 1], [2036, 0], [2037, 1], [2040, 0], [2044, 0]], [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v0, v1, v10, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v0, v1, v10, v3, v4, v6, v8], [v0, v10, v2, v3, v4, v6, v8], [v1, v10, v2, v3, v4, v6, v8], [v0, v1, v10, v2, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v0, v1, v10, v3, v5, v6, v8], [v0, v10, v2, v3, v5, v6, v8], [v1, v10, v2, v3, v5, v6, v8], [v0, v1, v10, v2, v3, v5, v6, v8], [v0, v10, v2, v4, v5, v6, v8], [v1, v10, v2, v4, v5, v6, v8], [v0, v1, v10, v2, v4, v5, v6, v8], [v1, v10, v3, v4, v5, v6, v8], [v0, v1, v10, v3, v4, v5, v6, v8], [v0, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v0, v1, v10, v3, v5, v7, v8], [v0, v10, v2, v3, v5, v7, v8], [v1, v10, v2, v3, v5, v7, v8], [v0, v1, v10, v2, v3, v5, v7, v8], [v0, v10, v2, v4, v5, v7, v8], [v1, v10, v2, v4, v5, v7, v8], [v0, v1, v10, v2, v4, v5, v7, v8], [v1, v10, v3, v4, v5, v7, v8], [v0, v1, v10, v3, v4, v5, v7, v8], [v0, v10, v2, v3, v4, v5, v7, v8], [v1, v10, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v7, v8], [v0, v10, v2, v4, v6, v7, v8], [v1, v10, v2, v4, v6, v7, v8], [v0, v1, v10, v2, v4, v6, v7, v8], [v1, v10, v3, v4, v6, v7, v8], [v0, v1, v10, v3, v4, v6, v7, v8], [v0, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v3, v5, v6, v7, v8], [v0, v1, v10, v3, v5, v6, v7, v8], [v0, v10, v2, v3, v5, v6, v7, v8], [v1, v10, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v5, v6, v7, v8], [v0, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v3, v4, v5, v6, v7, v8], [v0, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v3, v5, v7, v9], [v0, v1, v3, v5, v7, v9], [v1, v10, v3, v5, v7, v9], [v0, v1, v10, v3, v5, v7, v9], [v0, v2, v3, v5, v7, v9], [v1, v2, v3, v5, v7, v9], [v0, v1, v2, v3, v5, v7, v9], [v0, v10, v2, v3, v5, v7, v9], [v1, v10, v2, v3, v5, v7, v9], [v0, v1, v10, v2, v3, v5, v7, v9], [v0, v2, v4, v5, v7, v9], [v1, v2, v4, v5, v7, v9], [v0, v1, v2, v4, v5, v7, v9], [v0, v10, v2, v4, v5, v7, v9], [v1, v10, v2, v4, v5, v7, v9], [v0, v1, v10, v2, v4, v5, v7, v9], [v1, v3, v4, v5, v7, v9], [v0, v1, v3, v4, v5, v7, v9], [v1, v10, v3, v4, v5, v7, v9], [v0, v1, v10, v3, v4, v5, v7, v9], [v0, v2, v3, v4, v5, v7, v9], [v1, v2, v3, v4, v5, v7, v9], [v0, v1, v2, v3, v4, v5, v7, v9], [v0, v10, v2, v3, v4, v5, v7, v9], [v1, v10, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v9], [v0, v2, v4, v6, v7, v9], [v1, v2, v4, v6, v7, v9], [v0, v1, v2, v4, v6, v7, v9], [v0, v10, v2, v4, v6, v7, v9], [v1, v10, v2, v4, v6, v7, v9], [v0, v1, v10, v2, v4, v6, v7, v9], [v1, v3, v4, v6, v7, v9], [v0, v1, v3, v4, v6, v7, v9], [v1, v10, v3, v4, v6, v7, v9], [v0, v1, v10, v3, v4, v6, v7, v9], [v0, v2, v3, v4, v6, v7, v9], [v1, v2, v3, v4, v6, v7, v9], [v0, v1, v2, v3, v4, v6, v7, v9], [v0, v10, v2, v3, v4, v6, v7, v9], [v1, v10, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v9], [v1, v3, v5, v6, v7, v9], [v0, v1, v3, v5, v6, v7, v9], [v1, v10, v3, v5, v6, v7, v9], [v0, v1, v10, v3, v5, v6, v7, v9], [v0, v2, v3, v5, v6, v7, v9], [v1, v2, v3, v5, v6, v7, v9], [v0, v1, v2, v3, v5, v6, v7, v9], [v0, v10, v2, v3, v5, v6, v7, v9], [v1, v10, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v9], [v0, v2, v4, v5, v6, v7, v9], [v1, v2, v4, v5, v6, v7, v9], [v0, v1, v2, v4, v5, v6, v7, v9], [v0, v10, v2, v4, v5, v6, v7, v9], [v1, v10, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v9], [v1, v3, v4, v5, v6, v7, v9], [v0, v1, v3, v4, v5, v6, v7, v9], [v1, v10, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v9], [v0, v2, v3, v4, v5, v6, v7, v9], [v1, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v2, v4, v6, v8, v9], [v1, v2, v4, v6, v8, v9], [v0, v1, v2, v4, v6, v8, v9], [v0, v10, v2, v4, v6, v8, v9], [v1, v10, v2, v4, v6, v8, v9], [v0, v1, v10, v2, v4, v6, v8, v9], [v1, v3, v4, v6, v8, v9], [v0, v1, v3, v4, v6, v8, v9], [v1, v10, v3, v4, v6, v8, v9], [v0, v1, v10, v3, v4, v6, v8, v9], [v0, v2, v3, v4, v6, v8, v9], [v1, v2, v3, v4, v6, v8, v9], [v0, v1, v2, v3, v4, v6, v8, v9], [v0, v10, v2, v3, v4, v6, v8, v9], [v1, v10, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v8, v9], [v1, v3, v5, v6, v8, v9], [v0, v1, v3, v5, v6, v8, v9], [v1, v10, v3, v5, v6, v8, v9], [v0, v1, v10, v3, v5, v6, v8, v9], [v0, v2, v3, v5, v6, v8, v9], [v1, v2, v3, v5, v6, v8, v9], [v0, v1, v2, v3, v5, v6, v8, v9], [v0, v10, v2, v3, v5, v6, v8, v9], [v1, v10, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v8, v9], [v0, v2, v4, v5, v6, v8, v9], [v1, v2, v4, v5, v6, v8, v9], [v0, v1, v2, v4, v5, v6, v8, v9], [v0, v10, v2, v4, v5, v6, v8, v9], [v1, v10, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v8, v9], [v1, v3, v4, v5, v6, v8, v9], [v0, v1, v3, v4, v5, v6, v8, v9], [v1, v10, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v8, v9], [v0, v2, v3, v4, v5, v6, v8, v9], [v1, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v3, v5, v7, v8, v9], [v0, v1, v3, v5, v7, v8, v9], [v1, v10, v3, v5, v7, v8, v9], [v0, v1, v10, v3, v5, v7, v8, v9], [v0, v2, v3, v5, v7, v8, v9], [v1, v2, v3, v5, v7, v8, v9], [v0, v1, v2, v3, v5, v7, v8, v9], [v0, v10, v2, v3, v5, v7, v8, v9], [v1, v10, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v7, v8, v9], [v0, v2, v4, v5, v7, v8, v9], [v1, v2, v4, v5, v7, v8, v9], [v0, v1, v2, v4, v5, v7, v8, v9], [v0, v10, v2, v4, v5, v7, v8, v9], [v1, v10, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v7, v8, v9], [v1, v3, v4, v5, v7, v8, v9], [v0, v1, v3, v4, v5, v7, v8, v9], [v1, v10, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v7, v8, v9], [v0, v2, v3, v4, v5, v7, v8, v9], [v1, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v2, v4, v6, v7, v8, v9], [v1, v2, v4, v6, v7, v8, v9], [v0, v1, v2, v4, v6, v7, v8, v9], [v0, v10, v2, v4, v6, v7, v8, v9], [v1, v10, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v6, v7, v8, v9], [v1, v3, v4, v6, v7, v8, v9], [v0, v1, v3, v4, v6, v7, v8, v9], [v1, v10, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v6, v7, v8, v9], [v0, v2, v3, v4, v6, v7, v8, v9], [v1, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v3, v5, v6, v7, v8, v9], [v0, v1, v3, v5, v6, v7, v8, v9], [v1, v10, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v5, v6, v7, v8, v9], [v0, v2, v3, v5, v6, v7, v8, v9], [v1, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v2, v4, v5, v6, v7, v8, v9], [v1, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9]], [0, 0, 0, 0, 0, 1, 21, 70, 84, 45, 11, 1], 5, [[v1, v3, v5, v7, v9]]]",
      "relation": "implies",
      "rule_id": "Mincover_ALL_masks_acceptance_refutations_ALLcovers_ALLminimizers",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐全部mask核所有edges；每個失敗mask保首uncovered edge index反例，通過者全列source順序。較小size計數0給下界，實際最小解給上界；全部ties依numeric mask保留，不改English/大小序。",
        "en": "Audit every mask against every edge,retaining the first uncovered-edge refutation for each failure and every accepted set in source order.Zero smaller-size counts give a lower bound and actual minimum covers attain it.Keep all ties in numeric-mask order,not English/size order."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    }
  ],
  "math_model": {
    "result": [
      [
        "v0",
        "v1",
        "v10",
        "v2",
        "v3",
        "v4",
        "v5",
        "v6",
        "v7",
        "v8",
        "v9"
      ],
      [
        [
          "v0",
          "v1"
        ],
        [
          "v1",
          "v2"
        ],
        [
          "v10",
          "v9"
        ],
        [
          "v2",
          "v3"
        ],
        [
          "v3",
          "v4"
        ],
        [
          "v4",
          "v5"
        ],
        [
          "v5",
          "v6"
        ],
        [
          "v6",
          "v7"
        ],
        [
          "v7",
          "v8"
        ],
        [
          "v8",
          "v9"
        ]
      ],
      [
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v6",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8"
        ],
        [
          "v1",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ],
        [
          "v0",
          "v1",
          "v10",
          "v2",
          "v3",
          "v4",
          "v5",
          "v6",
          "v7",
          "v8",
          "v9"
        ]
      ],
      5,
      [
        [
          "v1",
          "v3",
          "v5",
          "v7",
          "v9"
        ]
      ],
      "all_vertex_subsets_are_audited_before_selecting_all_minimizers"
    ]
  },
  "conclusion": {
    "canonical_value": "([v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [[v0, v1], [v1, v2], [v10, v9], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9]], [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v0, v1, v10, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v0, v1, v10, v3, v4, v6, v8], [v0, v10, v2, v3, v4, v6, v8], [v1, v10, v2, v3, v4, v6, v8], [v0, v1, v10, v2, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v0, v1, v10, v3, v5, v6, v8], [v0, v10, v2, v3, v5, v6, v8], [v1, v10, v2, v3, v5, v6, v8], [v0, v1, v10, v2, v3, v5, v6, v8], [v0, v10, v2, v4, v5, v6, v8], [v1, v10, v2, v4, v5, v6, v8], [v0, v1, v10, v2, v4, v5, v6, v8], [v1, v10, v3, v4, v5, v6, v8], [v0, v1, v10, v3, v4, v5, v6, v8], [v0, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v0, v1, v10, v3, v5, v7, v8], [v0, v10, v2, v3, v5, v7, v8], [v1, v10, v2, v3, v5, v7, v8], [v0, v1, v10, v2, v3, v5, v7, v8], [v0, v10, v2, v4, v5, v7, v8], [v1, v10, v2, v4, v5, v7, v8], [v0, v1, v10, v2, v4, v5, v7, v8], [v1, v10, v3, v4, v5, v7, v8], [v0, v1, v10, v3, v4, v5, v7, v8], [v0, v10, v2, v3, v4, v5, v7, v8], [v1, v10, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v7, v8], [v0, v10, v2, v4, v6, v7, v8], [v1, v10, v2, v4, v6, v7, v8], [v0, v1, v10, v2, v4, v6, v7, v8], [v1, v10, v3, v4, v6, v7, v8], [v0, v1, v10, v3, v4, v6, v7, v8], [v0, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v3, v5, v6, v7, v8], [v0, v1, v10, v3, v5, v6, v7, v8], [v0, v10, v2, v3, v5, v6, v7, v8], [v1, v10, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v5, v6, v7, v8], [v0, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v3, v4, v5, v6, v7, v8], [v0, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v3, v5, v7, v9], [v0, v1, v3, v5, v7, v9], [v1, v10, v3, v5, v7, v9], [v0, v1, v10, v3, v5, v7, v9], [v0, v2, v3, v5, v7, v9], [v1, v2, v3, v5, v7, v9], [v0, v1, v2, v3, v5, v7, v9], [v0, v10, v2, v3, v5, v7, v9], [v1, v10, v2, v3, v5, v7, v9], [v0, v1, v10, v2, v3, v5, v7, v9], [v0, v2, v4, v5, v7, v9], [v1, v2, v4, v5, v7, v9], [v0, v1, v2, v4, v5, v7, v9], [v0, v10, v2, v4, v5, v7, v9], [v1, v10, v2, v4, v5, v7, v9], [v0, v1, v10, v2, v4, v5, v7, v9], [v1, v3, v4, v5, v7, v9], [v0, v1, v3, v4, v5, v7, v9], [v1, v10, v3, v4, v5, v7, v9], [v0, v1, v10, v3, v4, v5, v7, v9], [v0, v2, v3, v4, v5, v7, v9], [v1, v2, v3, v4, v5, v7, v9], [v0, v1, v2, v3, v4, v5, v7, v9], [v0, v10, v2, v3, v4, v5, v7, v9], [v1, v10, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v9], [v0, v2, v4, v6, v7, v9], [v1, v2, v4, v6, v7, v9], [v0, v1, v2, v4, v6, v7, v9], [v0, v10, v2, v4, v6, v7, v9], [v1, v10, v2, v4, v6, v7, v9], [v0, v1, v10, v2, v4, v6, v7, v9], [v1, v3, v4, v6, v7, v9], [v0, v1, v3, v4, v6, v7, v9], [v1, v10, v3, v4, v6, v7, v9], [v0, v1, v10, v3, v4, v6, v7, v9], [v0, v2, v3, v4, v6, v7, v9], [v1, v2, v3, v4, v6, v7, v9], [v0, v1, v2, v3, v4, v6, v7, v9], [v0, v10, v2, v3, v4, v6, v7, v9], [v1, v10, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v9], [v1, v3, v5, v6, v7, v9], [v0, v1, v3, v5, v6, v7, v9], [v1, v10, v3, v5, v6, v7, v9], [v0, v1, v10, v3, v5, v6, v7, v9], [v0, v2, v3, v5, v6, v7, v9], [v1, v2, v3, v5, v6, v7, v9], [v0, v1, v2, v3, v5, v6, v7, v9], [v0, v10, v2, v3, v5, v6, v7, v9], [v1, v10, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v9], [v0, v2, v4, v5, v6, v7, v9], [v1, v2, v4, v5, v6, v7, v9], [v0, v1, v2, v4, v5, v6, v7, v9], [v0, v10, v2, v4, v5, v6, v7, v9], [v1, v10, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v9], [v1, v3, v4, v5, v6, v7, v9], [v0, v1, v3, v4, v5, v6, v7, v9], [v1, v10, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v9], [v0, v2, v3, v4, v5, v6, v7, v9], [v1, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v2, v4, v6, v8, v9], [v1, v2, v4, v6, v8, v9], [v0, v1, v2, v4, v6, v8, v9], [v0, v10, v2, v4, v6, v8, v9], [v1, v10, v2, v4, v6, v8, v9], [v0, v1, v10, v2, v4, v6, v8, v9], [v1, v3, v4, v6, v8, v9], [v0, v1, v3, v4, v6, v8, v9], [v1, v10, v3, v4, v6, v8, v9], [v0, v1, v10, v3, v4, v6, v8, v9], [v0, v2, v3, v4, v6, v8, v9], [v1, v2, v3, v4, v6, v8, v9], [v0, v1, v2, v3, v4, v6, v8, v9], [v0, v10, v2, v3, v4, v6, v8, v9], [v1, v10, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v8, v9], [v1, v3, v5, v6, v8, v9], [v0, v1, v3, v5, v6, v8, v9], [v1, v10, v3, v5, v6, v8, v9], [v0, v1, v10, v3, v5, v6, v8, v9], [v0, v2, v3, v5, v6, v8, v9], [v1, v2, v3, v5, v6, v8, v9], [v0, v1, v2, v3, v5, v6, v8, v9], [v0, v10, v2, v3, v5, v6, v8, v9], [v1, v10, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v8, v9], [v0, v2, v4, v5, v6, v8, v9], [v1, v2, v4, v5, v6, v8, v9], [v0, v1, v2, v4, v5, v6, v8, v9], [v0, v10, v2, v4, v5, v6, v8, v9], [v1, v10, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v8, v9], [v1, v3, v4, v5, v6, v8, v9], [v0, v1, v3, v4, v5, v6, v8, v9], [v1, v10, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v8, v9], [v0, v2, v3, v4, v5, v6, v8, v9], [v1, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v3, v5, v7, v8, v9], [v0, v1, v3, v5, v7, v8, v9], [v1, v10, v3, v5, v7, v8, v9], [v0, v1, v10, v3, v5, v7, v8, v9], [v0, v2, v3, v5, v7, v8, v9], [v1, v2, v3, v5, v7, v8, v9], [v0, v1, v2, v3, v5, v7, v8, v9], [v0, v10, v2, v3, v5, v7, v8, v9], [v1, v10, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v7, v8, v9], [v0, v2, v4, v5, v7, v8, v9], [v1, v2, v4, v5, v7, v8, v9], [v0, v1, v2, v4, v5, v7, v8, v9], [v0, v10, v2, v4, v5, v7, v8, v9], [v1, v10, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v7, v8, v9], [v1, v3, v4, v5, v7, v8, v9], [v0, v1, v3, v4, v5, v7, v8, v9], [v1, v10, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v7, v8, v9], [v0, v2, v3, v4, v5, v7, v8, v9], [v1, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v2, v4, v6, v7, v8, v9], [v1, v2, v4, v6, v7, v8, v9], [v0, v1, v2, v4, v6, v7, v8, v9], [v0, v10, v2, v4, v6, v7, v8, v9], [v1, v10, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v6, v7, v8, v9], [v1, v3, v4, v6, v7, v8, v9], [v0, v1, v3, v4, v6, v7, v8, v9], [v1, v10, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v6, v7, v8, v9], [v0, v2, v3, v4, v6, v7, v8, v9], [v1, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v3, v5, v6, v7, v8, v9], [v0, v1, v3, v5, v6, v7, v8, v9], [v1, v10, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v5, v6, v7, v8, v9], [v0, v2, v3, v5, v6, v7, v8, v9], [v1, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v2, v4, v5, v6, v7, v8, v9], [v1, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9]], 5, [[v1, v3, v5, v7, v9]], all_vertex_subsets_are_audited_before_selecting_all_minimizers)",
    "explanation": {
      "zh-Hant": "依上列完整代值及條件核對得到原題答案；原題編號、格式與狀態保持不變。",
      "en": "The full substitutions and premise checks give the original answer; source identity,format and status are unchanged."
    }
  },
  "definition_note": {
    "zh-Hant": "沿用原題明示的論域、假設與來源 MKO 定義。本題已完成第二對話數理與中英語義覆核，並由原始參數逐題獨立重算模型、答案與每個算術步驟；原題仍為 candidate。",
    "en": "Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate."
  },
  "source": {
    "input_commit": "0f7be61e2c22317a4075561dc822c87d881a50db",
    "question_binding": {
      "batch_id": "batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations",
      "batch_path": "public/data/questions/batches/batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations/questions.jsonl",
      "batch_sha256": "a358c588de9908cad99f8441c00419458fa8706a1d43ab7d5362e6fdc3b1704f",
      "original_line": 8,
      "original_line_sha256": "0b17a3b2847f0e4e21e77f2359c2351f2306266aaa7e66bf017526c854a947cb",
      "question_compact_sha256": "e01ff3d51cb98131cd3f602b3809ff533afd8d7dc0eeb002280b611f4b55a890",
      "english_row_compact_sha256": "fadc331a78413aaf5d55663b7288c65b2c6dcd896ce6b754f8c82f0d64507cd4",
      "english_manifest_path": "public/data/i18n/editions/batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations.en.jsonl"
    },
    "mko_bindings": {
      "mko-minimum-vertex-cover": {
        "sha256": "4f8d510264312335a0f27c32a69f66f31350aede08398538e94a015583d8250b",
        "english_sha256": "0ec533e9f581c06215d447562ddc54c5249c8bf96d6f057f82089a97614d035c",
        "original_path": "public/data/mko/minimum-vertex-cover.json",
        "english_path": "public/data/i18n/editions/mko-minimum-vertex-cover.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "74f6f34e0a695e06f9d836b5f5c677f9f716d2291c75c8f2f5b809ff0935bcff",
    "original_candidate_sha256": "2bd3c2e5b17cdf2248f4af95fc8c1784952fdfb8bf3d2551ffe07a9ba307d52c",
    "original_candidate_line_sha256": "2bd3c2e5b17cdf2248f4af95fc8c1784952fdfb8bf3d2551ffe07a9ba307d52c"
  },
  "historical_source_state": {
    "review_state": {
      "derivation": "candidate_authored_and_locally_checked",
      "source_question_state": "candidate",
      "independent_AI_or_human_review": "NOT_PERFORMED",
      "formalization": "not_formalized",
      "Lean": "NOT_RUN"
    },
    "scope_note": {
      "zh-Hant": "來源綁定教學推導候選；精確核對不等於獨立AI／人工審查或一般形式證明。原題、答案、MKO、公式、AST與歷史不變。",
      "en": "Source-bound pedagogical derivation candidate.Exact checking is not independent AI/human review or general formal proof.Original questions,answers,MKOs,formulas,ASTs and history remain unchanged."
    },
    "label": "Frozen producer metadata; current per-question review is separate below."
  },
  "revision": {
    "id": "review-20261026-010-p52",
    "review_date": "2026-10-26",
    "owner_authorized_reader_publication": true,
    "scope": "One hundred sixty family prototypes and their mathematical/bilingual reasoning variants, stems, boundary statements and every distinct explanation shape were reviewed in a context independent of the producer; parameter substitutions, source bindings, full math models, both answer strings and every arithmetic step were independently reconstructed per question from the original parameters only, with negative controls. This grouped method does not claim a separate literal AI reading of every repeated sentence or an extra AI voter.",
    "review_receipts": {
      "semantic_review_sha256": "90df1e889242e9afdf01e068788ee8500ef366ffcfc0496e30a6800de32631c3",
      "question_first_witness_sha256": "ae1e849608590ca856c9f3b6911ba58e3bf53c608eb7369606192a770f48bd5c"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 3,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "2f59caf9a1f78cac56a892be886965feb5ab917e9e77a5c9c582a5b13067576f",
      "arithmetic_steps": 0
    },
    "uses_answer_as_premise": false,
    "human_review": "NOT_PERFORMED",
    "formalization": "not_formalized",
    "Lean": "NOT_RUN",
    "Canonical_truth_promotion": false,
    "authority": "Owner-authorized reviewed reader publication; original question/candidate states remain historical and unchanged."
  }
}