本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261014-advance-20261031-r01-at-most-countable-set-foundations · 2026-10-14 · 100 題
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[1,-2,40]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([1, -2, 40], [[1, 0], [-2, 1], [40, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([1, -2, 40], [[1, 0], [-2, 1], [40, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[2,-3,42]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([2, -3, 42], [[2, 0], [-3, 1], [42, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([2, -3, 42], [[2, 0], [-3, 1], [42, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[3,-4,44]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([3, -4, 44], [[3, 0], [-4, 1], [44, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([3, -4, 44], [[3, 0], [-4, 1], [44, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[4,-5,46]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([4, -5, 46], [[4, 0], [-5, 1], [46, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([4, -5, 46], [[4, 0], [-5, 1], [46, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[5,-6,48]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([5, -6, 48], [[5, 0], [-6, 1], [48, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([5, -6, 48], [[5, 0], [-6, 1], [48, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[6,-7,50]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([6, -7, 50], [[6, 0], [-7, 1], [50, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([6, -7, 50], [[6, 0], [-7, 1], [50, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[7,-8,52]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([7, -8, 52], [[7, 0], [-8, 1], [52, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([7, -8, 52], [[7, 0], [-8, 1], [52, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[8,-9,54]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([8, -9, 54], [[8, 0], [-9, 1], [54, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([8, -9, 54], [[8, 0], [-9, 1], [54, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[9,-10,56]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([9, -10, 56], [[9, 0], [-10, 1], [56, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([9, -10, 56], [[9, 0], [-10, 1], [56, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[10,-11,58]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([10, -11, 58], [[10, 0], [-11, 1], [58, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([10, -11, 58], [[10, 0], [-11, 1], [58, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[11,-12,60]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([11, -12, 60], [[11, 0], [-12, 1], [60, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([11, -12, 60], [[11, 0], [-12, 1], [60, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[12,-13,62]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([12, -13, 62], [[12, 0], [-13, 1], [62, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([12, -13, 62], [[12, 0], [-13, 1], [62, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[13,-14,64]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([13, -14, 64], [[13, 0], [-14, 1], [64, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([13, -14, 64], [[13, 0], [-14, 1], [64, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[14,-15,66]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([14, -15, 66], [[14, 0], [-15, 1], [66, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([14, -15, 66], [[14, 0], [-15, 1], [66, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[15,-16,68]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([15, -16, 68], [[15, 0], [-16, 1], [68, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([15, -16, 68], [[15, 0], [-16, 1], [68, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[16,-17,70]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([16, -17, 70], [[16, 0], [-17, 1], [70, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([16, -17, 70], [[16, 0], [-17, 1], [70, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[17,-18,72]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([17, -18, 72], [[17, 0], [-18, 1], [72, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([17, -18, 72], [[17, 0], [-18, 1], [72, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[18,-19,74]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([18, -19, 74], [[18, 0], [-19, 1], [74, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([18, -19, 74], [[18, 0], [-19, 1], [74, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[19,-20,76]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([19, -20, 76], [[19, 0], [-20, 1], [76, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([19, -20, 76], [[19, 0], [-20, 1], [76, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[20,-21,78]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([20, -21, 78], [[20, 0], [-21, 1], [78, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([20, -21, 78], [[20, 0], [-21, 1], [78, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[21,-22,80]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([21, -22, 80], [[21, 0], [-22, 1], [80, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([21, -22, 80], [[21, 0], [-22, 1], [80, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[22,-23,82]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([22, -23, 82], [[22, 0], [-23, 1], [82, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([22, -23, 82], [[22, 0], [-23, 1], [82, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[23,-24,84]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([23, -24, 84], [[23, 0], [-24, 1], [84, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([23, -24, 84], [[23, 0], [-24, 1], [84, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[24,-25,86]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([24, -25, 86], [[24, 0], [-25, 1], [86, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([24, -25, 86], [[24, 0], [-25, 1], [86, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-finite-certificate；資料={"elements":[25,-26,88]}。請依 [elements,injection_pairs,injective,certificate] 欄序回答。
([25, -26, 88], [[25, 0], [-26, 1], [88, 2]], 是, finite_implies_at_most_countable)
Wave4收束核對=([25, -26, 88], [[25, 0], [-26, 1], [88, 2]], 是, finite_implies_at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-finite-certificate · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":1,"intercept":-12,"left":-1,"right":2}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(1, -12, -1, 2, -13, -10, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(1, -12, -1, 2, -13, -10, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":2,"intercept":-11,"left":-2,"right":3}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(2, -11, -2, 3, -15, -5, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(2, -11, -2, 3, -15, -5, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":3,"intercept":-10,"left":-3,"right":4}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(3, -10, -3, 4, -19, 2, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(3, -10, -3, 4, -19, 2, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":4,"intercept":-9,"left":-4,"right":5}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(4, -9, -4, 5, -25, 11, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(4, -9, -4, 5, -25, 11, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":5,"intercept":-8,"left":-5,"right":6}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(5, -8, -5, 6, -33, 22, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(5, -8, -5, 6, -33, 22, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":1,"intercept":-7,"left":-6,"right":7}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(1, -7, -6, 7, -13, 0, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(1, -7, -6, 7, -13, 0, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":2,"intercept":-6,"left":-7,"right":8}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(2, -6, -7, 8, -20, 10, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(2, -6, -7, 8, -20, 10, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":3,"intercept":-5,"left":-8,"right":9}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(3, -5, -8, 9, -29, 22, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(3, -5, -8, 9, -29, 22, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":4,"intercept":-4,"left":-9,"right":10}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(4, -4, -9, 10, -40, 36, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(4, -4, -9, 10, -40, 36, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":5,"intercept":-3,"left":-10,"right":11}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(5, -3, -10, 11, -53, 52, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(5, -3, -10, 11, -53, 52, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":1,"intercept":-2,"left":-11,"right":12}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(1, -2, -11, 12, -13, 10, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(1, -2, -11, 12, -13, 10, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":2,"intercept":-1,"left":-12,"right":13}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(2, -1, -12, 13, -25, 25, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(2, -1, -12, 13, -25, 25, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":3,"intercept":0,"left":-13,"right":14}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(3, 0, -13, 14, -39, 42, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(3, 0, -13, 14, -39, 42, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":4,"intercept":1,"left":-14,"right":15}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(4, 1, -14, 15, -55, 61, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(4, 1, -14, 15, -55, 61, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":5,"intercept":2,"left":-15,"right":16}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(5, 2, -15, 16, -73, 82, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(5, 2, -15, 16, -73, 82, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":1,"intercept":3,"left":-16,"right":17}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(1, 3, -16, 17, -13, 20, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(1, 3, -16, 17, -13, 20, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":2,"intercept":4,"left":-17,"right":18}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(2, 4, -17, 18, -30, 40, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(2, 4, -17, 18, -30, 40, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":3,"intercept":5,"left":-18,"right":19}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(3, 5, -18, 19, -49, 62, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(3, 5, -18, 19, -49, 62, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":4,"intercept":6,"left":-19,"right":20}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(4, 6, -19, 20, -70, 86, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(4, 6, -19, 20, -70, 86, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":5,"intercept":7,"left":-20,"right":21}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(5, 7, -20, 21, -93, 112, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(5, 7, -20, 21, -93, 112, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":1,"intercept":8,"left":-21,"right":22}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(1, 8, -21, 22, -13, 30, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(1, 8, -21, 22, -13, 30, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":2,"intercept":9,"left":-22,"right":23}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(2, 9, -22, 23, -35, 55, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(2, 9, -22, 23, -35, 55, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":3,"intercept":10,"left":-23,"right":24}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(3, 10, -23, 24, -59, 82, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(3, 10, -23, 24, -59, 82, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":4,"intercept":11,"left":-24,"right":25}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(4, 11, -24, 25, -85, 111, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(4, 11, -24, 25, -85, 111, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-affine-injection；資料={"slope":5,"intercept":12,"left":-25,"right":26}。請依 [slope,intercept,left,right,image_left,image_right,injective_check,universal_certificate] 欄序回答。
(5, 12, -25, 26, -113, 142, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)
Wave4收束核對=(5, 12, -25, 26, -113, 142, 是, universal_nonzero_slope_injection_Z_to_Z_then_encode_N)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-affine-injection · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[0,50,-1],"index":0}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(0, 0, [[0, 0], [1, 50], [2, -1]], finite_enumeration_complete)
Wave4收束核對=(0, 0, [[0, 0], [1, 50], [2, -1]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[1,51,-2],"index":1}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(1, 51, [[0, 1], [1, 51], [2, -2]], finite_enumeration_complete)
Wave4收束核對=(1, 51, [[0, 1], [1, 51], [2, -2]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[2,52,-3],"index":2}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(2, -3, [[0, 2], [1, 52], [2, -3]], finite_enumeration_complete)
Wave4收束核對=(2, -3, [[0, 2], [1, 52], [2, -3]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[3,53,-4],"index":0}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(0, 3, [[0, 3], [1, 53], [2, -4]], finite_enumeration_complete)
Wave4收束核對=(0, 3, [[0, 3], [1, 53], [2, -4]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[4,54,-5],"index":1}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(1, 54, [[0, 4], [1, 54], [2, -5]], finite_enumeration_complete)
Wave4收束核對=(1, 54, [[0, 4], [1, 54], [2, -5]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[5,55,-6],"index":2}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(2, -6, [[0, 5], [1, 55], [2, -6]], finite_enumeration_complete)
Wave4收束核對=(2, -6, [[0, 5], [1, 55], [2, -6]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[6,56,-7],"index":0}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(0, 6, [[0, 6], [1, 56], [2, -7]], finite_enumeration_complete)
Wave4收束核對=(0, 6, [[0, 6], [1, 56], [2, -7]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[7,57,-8],"index":1}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(1, 57, [[0, 7], [1, 57], [2, -8]], finite_enumeration_complete)
Wave4收束核對=(1, 57, [[0, 7], [1, 57], [2, -8]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[8,58,-9],"index":2}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(2, -9, [[0, 8], [1, 58], [2, -9]], finite_enumeration_complete)
Wave4收束核對=(2, -9, [[0, 8], [1, 58], [2, -9]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[9,59,-10],"index":0}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(0, 9, [[0, 9], [1, 59], [2, -10]], finite_enumeration_complete)
Wave4收束核對=(0, 9, [[0, 9], [1, 59], [2, -10]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[10,60,-11],"index":1}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(1, 60, [[0, 10], [1, 60], [2, -11]], finite_enumeration_complete)
Wave4收束核對=(1, 60, [[0, 10], [1, 60], [2, -11]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[11,61,-12],"index":2}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(2, -12, [[0, 11], [1, 61], [2, -12]], finite_enumeration_complete)
Wave4收束核對=(2, -12, [[0, 11], [1, 61], [2, -12]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[12,62,-13],"index":0}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(0, 12, [[0, 12], [1, 62], [2, -13]], finite_enumeration_complete)
Wave4收束核對=(0, 12, [[0, 12], [1, 62], [2, -13]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[13,63,-14],"index":1}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(1, 63, [[0, 13], [1, 63], [2, -14]], finite_enumeration_complete)
Wave4收束核對=(1, 63, [[0, 13], [1, 63], [2, -14]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[14,64,-15],"index":2}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(2, -15, [[0, 14], [1, 64], [2, -15]], finite_enumeration_complete)
Wave4收束核對=(2, -15, [[0, 14], [1, 64], [2, -15]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[15,65,-16],"index":0}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(0, 15, [[0, 15], [1, 65], [2, -16]], finite_enumeration_complete)
Wave4收束核對=(0, 15, [[0, 15], [1, 65], [2, -16]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[16,66,-17],"index":1}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(1, 66, [[0, 16], [1, 66], [2, -17]], finite_enumeration_complete)
Wave4收束核對=(1, 66, [[0, 16], [1, 66], [2, -17]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[17,67,-18],"index":2}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(2, -18, [[0, 17], [1, 67], [2, -18]], finite_enumeration_complete)
Wave4收束核對=(2, -18, [[0, 17], [1, 67], [2, -18]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[18,68,-19],"index":0}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(0, 18, [[0, 18], [1, 68], [2, -19]], finite_enumeration_complete)
Wave4收束核對=(0, 18, [[0, 18], [1, 68], [2, -19]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[19,69,-20],"index":1}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(1, 69, [[0, 19], [1, 69], [2, -20]], finite_enumeration_complete)
Wave4收束核對=(1, 69, [[0, 19], [1, 69], [2, -20]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[20,70,-21],"index":2}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(2, -21, [[0, 20], [1, 70], [2, -21]], finite_enumeration_complete)
Wave4收束核對=(2, -21, [[0, 20], [1, 70], [2, -21]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[21,71,-22],"index":0}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(0, 21, [[0, 21], [1, 71], [2, -22]], finite_enumeration_complete)
Wave4收束核對=(0, 21, [[0, 21], [1, 71], [2, -22]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[22,72,-23],"index":1}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(1, 72, [[0, 22], [1, 72], [2, -23]], finite_enumeration_complete)
Wave4收束核對=(1, 72, [[0, 22], [1, 72], [2, -23]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[23,73,-24],"index":2}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(2, -24, [[0, 23], [1, 73], [2, -24]], finite_enumeration_complete)
Wave4收束核對=(2, -24, [[0, 23], [1, 73], [2, -24]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-enumeration；資料={"elements":[24,74,-25],"index":0}。請依 [index,element,enumeration_pairs,certificate] 欄序回答。
(0, 24, [[0, 24], [1, 74], [2, -25]], finite_enumeration_complete)
Wave4收束核對=(0, 24, [[0, 24], [1, 74], [2, -25]], finite_enumeration_complete)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-enumeration · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"complete_finite_list","certificate_parameter":1}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(complete_finite_list, 1, 是, at_most_countable)
Wave4收束核對=(complete_finite_list, 1, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"universal_affine_injection","certificate_parameter":2}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(universal_affine_injection, 2, 是, at_most_countable)
Wave4收束核對=(universal_affine_injection, 2, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"failed_candidate_encoding","certificate_parameter":3}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(failed_candidate_encoding, 3, 否, no_classification_from_failed_witness)
Wave4收束核對=(failed_candidate_encoding, 3, 否, no_classification_from_failed_witness)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"complete_finite_list","certificate_parameter":4}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(complete_finite_list, 4, 是, at_most_countable)
Wave4收束核對=(complete_finite_list, 4, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"universal_affine_injection","certificate_parameter":5}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(universal_affine_injection, 5, 是, at_most_countable)
Wave4收束核對=(universal_affine_injection, 5, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"failed_candidate_encoding","certificate_parameter":6}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(failed_candidate_encoding, 6, 否, no_classification_from_failed_witness)
Wave4收束核對=(failed_candidate_encoding, 6, 否, no_classification_from_failed_witness)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"complete_finite_list","certificate_parameter":7}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(complete_finite_list, 7, 是, at_most_countable)
Wave4收束核對=(complete_finite_list, 7, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"universal_affine_injection","certificate_parameter":8}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(universal_affine_injection, 8, 是, at_most_countable)
Wave4收束核對=(universal_affine_injection, 8, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"failed_candidate_encoding","certificate_parameter":9}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(failed_candidate_encoding, 9, 否, no_classification_from_failed_witness)
Wave4收束核對=(failed_candidate_encoding, 9, 否, no_classification_from_failed_witness)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"complete_finite_list","certificate_parameter":10}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(complete_finite_list, 10, 是, at_most_countable)
Wave4收束核對=(complete_finite_list, 10, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"universal_affine_injection","certificate_parameter":11}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(universal_affine_injection, 11, 是, at_most_countable)
Wave4收束核對=(universal_affine_injection, 11, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"failed_candidate_encoding","certificate_parameter":12}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(failed_candidate_encoding, 12, 否, no_classification_from_failed_witness)
Wave4收束核對=(failed_candidate_encoding, 12, 否, no_classification_from_failed_witness)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"complete_finite_list","certificate_parameter":13}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(complete_finite_list, 13, 是, at_most_countable)
Wave4收束核對=(complete_finite_list, 13, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"universal_affine_injection","certificate_parameter":14}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(universal_affine_injection, 14, 是, at_most_countable)
Wave4收束核對=(universal_affine_injection, 14, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"failed_candidate_encoding","certificate_parameter":15}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(failed_candidate_encoding, 15, 否, no_classification_from_failed_witness)
Wave4收束核對=(failed_candidate_encoding, 15, 否, no_classification_from_failed_witness)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"complete_finite_list","certificate_parameter":16}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(complete_finite_list, 16, 是, at_most_countable)
Wave4收束核對=(complete_finite_list, 16, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"universal_affine_injection","certificate_parameter":17}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(universal_affine_injection, 17, 是, at_most_countable)
Wave4收束核對=(universal_affine_injection, 17, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"failed_candidate_encoding","certificate_parameter":18}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(failed_candidate_encoding, 18, 否, no_classification_from_failed_witness)
Wave4收束核對=(failed_candidate_encoding, 18, 否, no_classification_from_failed_witness)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"complete_finite_list","certificate_parameter":19}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(complete_finite_list, 19, 是, at_most_countable)
Wave4收束核對=(complete_finite_list, 19, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"universal_affine_injection","certificate_parameter":20}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(universal_affine_injection, 20, 是, at_most_countable)
Wave4收束核對=(universal_affine_injection, 20, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"failed_candidate_encoding","certificate_parameter":21}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(failed_candidate_encoding, 21, 否, no_classification_from_failed_witness)
Wave4收束核對=(failed_candidate_encoding, 21, 否, no_classification_from_failed_witness)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"complete_finite_list","certificate_parameter":22}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(complete_finite_list, 22, 是, at_most_countable)
Wave4收束核對=(complete_finite_list, 22, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"universal_affine_injection","certificate_parameter":23}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(universal_affine_injection, 23, 是, at_most_countable)
Wave4收束核對=(universal_affine_injection, 23, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"failed_candidate_encoding","certificate_parameter":24}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(failed_candidate_encoding, 24, 否, no_classification_from_failed_witness)
Wave4收束核對=(failed_candidate_encoding, 24, 否, no_classification_from_failed_witness)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate
有限完整清單或明示全稱注入證書。操作=countable-classification；資料={"evidence_mode":"complete_finite_list","certificate_parameter":25}。請依 [evidence_mode,certificate_parameter,proved,classification] 欄序回答。
(complete_finite_list, 25, 是, at_most_countable)
Wave4收束核對=(complete_finite_list, 25, 是, at_most_countable)；依完整明示資料重算；有限與可數無限不可混同；單一失敗encoding不證不可數。
至多可數集 · qf-mod31-countable-classification · candidate