本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261014-advance-20261029-r06-iid-sequence-foundations · 2026-10-14 · 100 題
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[1,29],"word":[0,0,0,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 0, 0, 0], 0, 4, 1/29, 614656/707281, symbolic_product_law)
Wave4第三層核對=([0, 0, 0, 0], 0, 4, 1/29, 614656/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[2,29],"word":[1,0,0,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 0, 0, 0], 1, 3, 2/29, 39366/707281, symbolic_product_law)
Wave4第三層核對=([1, 0, 0, 0], 1, 3, 2/29, 39366/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[3,29],"word":[0,1,0,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 1, 0, 0], 1, 3, 3/29, 52728/707281, symbolic_product_law)
Wave4第三層核對=([0, 1, 0, 0], 1, 3, 3/29, 52728/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[4,29],"word":[1,1,0,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 1, 0, 0], 2, 2, 4/29, 10000/707281, symbolic_product_law)
Wave4第三層核對=([1, 1, 0, 0], 2, 2, 4/29, 10000/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[5,29],"word":[0,0,1,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 0, 1, 0], 1, 3, 5/29, 69120/707281, symbolic_product_law)
Wave4第三層核對=([0, 0, 1, 0], 1, 3, 5/29, 69120/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[6,29],"word":[1,0,1,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 0, 1, 0], 2, 2, 6/29, 19044/707281, symbolic_product_law)
Wave4第三層核對=([1, 0, 1, 0], 2, 2, 6/29, 19044/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[7,29],"word":[0,1,1,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 1, 1, 0], 2, 2, 7/29, 23716/707281, symbolic_product_law)
Wave4第三層核對=([0, 1, 1, 0], 2, 2, 7/29, 23716/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[8,29],"word":[1,1,1,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 1, 1, 0], 3, 1, 8/29, 10752/707281, symbolic_product_law)
Wave4第三層核對=([1, 1, 1, 0], 3, 1, 8/29, 10752/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[9,29],"word":[0,0,0,1]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 0, 0, 1], 1, 3, 9/29, 72000/707281, symbolic_product_law)
Wave4第三層核對=([0, 0, 0, 1], 1, 3, 9/29, 72000/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[10,29],"word":[1,0,0,1]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 0, 0, 1], 2, 2, 10/29, 36100/707281, symbolic_product_law)
Wave4第三層核對=([1, 0, 0, 1], 2, 2, 10/29, 36100/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[11,29],"word":[0,1,0,1]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 1, 0, 1], 2, 2, 11/29, 39204/707281, symbolic_product_law)
Wave4第三層核對=([0, 1, 0, 1], 2, 2, 11/29, 39204/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[12,29],"word":[1,1,0,1]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 1, 0, 1], 3, 1, 12/29, 29376/707281, symbolic_product_law)
Wave4第三層核對=([1, 1, 0, 1], 3, 1, 12/29, 29376/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[13,29],"word":[0,0,1,1]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 0, 1, 1], 2, 2, 13/29, 43264/707281, symbolic_product_law)
Wave4第三層核對=([0, 0, 1, 1], 2, 2, 13/29, 43264/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[14,29],"word":[1,0,1,1]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 0, 1, 1], 3, 1, 14/29, 41160/707281, symbolic_product_law)
Wave4第三層核對=([1, 0, 1, 1], 3, 1, 14/29, 41160/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[15,29],"word":[0,1,1,1]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 1, 1, 1], 3, 1, 15/29, 47250/707281, symbolic_product_law)
Wave4第三層核對=([0, 1, 1, 1], 3, 1, 15/29, 47250/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[16,29],"word":[1,1,1,1]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 1, 1, 1], 4, 0, 16/29, 65536/707281, symbolic_product_law)
Wave4第三層核對=([1, 1, 1, 1], 4, 0, 16/29, 65536/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[17,29],"word":[0,0,0,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 0, 0, 0], 0, 4, 17/29, 20736/707281, symbolic_product_law)
Wave4第三層核對=([0, 0, 0, 0], 0, 4, 17/29, 20736/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[18,29],"word":[1,0,0,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 0, 0, 0], 1, 3, 18/29, 23958/707281, symbolic_product_law)
Wave4第三層核對=([1, 0, 0, 0], 1, 3, 18/29, 23958/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[19,29],"word":[0,1,0,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 1, 0, 0], 1, 3, 19/29, 19000/707281, symbolic_product_law)
Wave4第三層核對=([0, 1, 0, 0], 1, 3, 19/29, 19000/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[20,29],"word":[1,1,0,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 1, 0, 0], 2, 2, 20/29, 32400/707281, symbolic_product_law)
Wave4第三層核對=([1, 1, 0, 0], 2, 2, 20/29, 32400/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[21,29],"word":[0,0,1,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 0, 1, 0], 1, 3, 21/29, 10752/707281, symbolic_product_law)
Wave4第三層核對=([0, 0, 1, 0], 1, 3, 21/29, 10752/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[22,29],"word":[1,0,1,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 0, 1, 0], 2, 2, 22/29, 23716/707281, symbolic_product_law)
Wave4第三層核對=([1, 0, 1, 0], 2, 2, 22/29, 23716/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[23,29],"word":[0,1,1,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 1, 1, 0], 2, 2, 23/29, 19044/707281, symbolic_product_law)
Wave4第三層核對=([0, 1, 1, 0], 2, 2, 23/29, 19044/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[24,29],"word":[1,1,1,0]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([1, 1, 1, 0], 3, 1, 24/29, 69120/707281, symbolic_product_law)
Wave4第三層核對=([1, 1, 1, 0], 3, 1, 24/29, 69120/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-bernoulli-cylinder；資料={"p":[25,29],"word":[0,0,0,1]}。請依 [word,ones,zeros,p,probability,certificate] 欄序回答。
([0, 0, 0, 1], 1, 3, 25/29, 1600/707281, symbolic_product_law)
Wave4第三層核對=([0, 0, 0, 1], 1, 3, 25/29, 1600/707281, symbolic_product_law)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-bernoulli-cylinder · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[1,29],"left_index":0,"right_index":17}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(0, 17, [0, 28/29], [1, 1/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(0, 17, [0, 28/29], [1, 1/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[2,29],"left_index":1,"right_index":18}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(1, 18, [0, 27/29], [1, 2/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(1, 18, [0, 27/29], [1, 2/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[3,29],"left_index":2,"right_index":19}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(2, 19, [0, 26/29], [1, 3/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(2, 19, [0, 26/29], [1, 3/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[4,29],"left_index":3,"right_index":20}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(3, 20, [0, 25/29], [1, 4/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(3, 20, [0, 25/29], [1, 4/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[5,29],"left_index":4,"right_index":21}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(4, 21, [0, 24/29], [1, 5/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(4, 21, [0, 24/29], [1, 5/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[6,29],"left_index":5,"right_index":22}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(5, 22, [0, 23/29], [1, 6/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(5, 22, [0, 23/29], [1, 6/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[7,29],"left_index":6,"right_index":23}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(6, 23, [0, 22/29], [1, 7/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(6, 23, [0, 22/29], [1, 7/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[8,29],"left_index":7,"right_index":24}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(7, 24, [0, 21/29], [1, 8/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(7, 24, [0, 21/29], [1, 8/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[9,29],"left_index":8,"right_index":25}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(8, 25, [0, 20/29], [1, 9/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(8, 25, [0, 20/29], [1, 9/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[10,29],"left_index":9,"right_index":26}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(9, 26, [0, 19/29], [1, 10/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(9, 26, [0, 19/29], [1, 10/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[11,29],"left_index":10,"right_index":27}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(10, 27, [0, 18/29], [1, 11/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(10, 27, [0, 18/29], [1, 11/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[12,29],"left_index":11,"right_index":28}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(11, 28, [0, 17/29], [1, 12/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(11, 28, [0, 17/29], [1, 12/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[13,29],"left_index":12,"right_index":29}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(12, 29, [0, 16/29], [1, 13/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(12, 29, [0, 16/29], [1, 13/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[14,29],"left_index":13,"right_index":30}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(13, 30, [0, 15/29], [1, 14/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(13, 30, [0, 15/29], [1, 14/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[15,29],"left_index":14,"right_index":31}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(14, 31, [0, 14/29], [1, 15/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(14, 31, [0, 14/29], [1, 15/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[16,29],"left_index":15,"right_index":32}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(15, 32, [0, 13/29], [1, 16/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(15, 32, [0, 13/29], [1, 16/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[17,29],"left_index":16,"right_index":33}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(16, 33, [0, 12/29], [1, 17/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(16, 33, [0, 12/29], [1, 17/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[18,29],"left_index":17,"right_index":34}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(17, 34, [0, 11/29], [1, 18/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(17, 34, [0, 11/29], [1, 18/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[19,29],"left_index":18,"right_index":35}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(18, 35, [0, 10/29], [1, 19/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(18, 35, [0, 10/29], [1, 19/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[20,29],"left_index":19,"right_index":36}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(19, 36, [0, 9/29], [1, 20/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(19, 36, [0, 9/29], [1, 20/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[21,29],"left_index":20,"right_index":37}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(20, 37, [0, 8/29], [1, 21/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(20, 37, [0, 8/29], [1, 21/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[22,29],"left_index":21,"right_index":38}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(21, 38, [0, 7/29], [1, 22/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(21, 38, [0, 7/29], [1, 22/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[23,29],"left_index":22,"right_index":39}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(22, 39, [0, 6/29], [1, 23/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(22, 39, [0, 6/29], [1, 23/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[24,29],"left_index":23,"right_index":40}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(23, 40, [0, 5/29], [1, 24/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(23, 40, [0, 5/29], [1, 24/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-identical-marginal；資料={"p":[25,29],"left_index":24,"right_index":41}。請依 [left_index,right_index,zero_mass,one_mass,identical,boundary] 欄序回答。
(24, 41, [0, 4/29], [1, 25/29], 是, full_Bernoulli_marginal_not_mean_only)
Wave4第三層核對=(24, 41, [0, 4/29], [1, 25/29], 是, full_Bernoulli_marginal_not_mean_only)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-identical-marginal · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[1,29],"word":[0,0,0,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 0, 0, 0], [28/29, 28/29, 28/29, 28/29], 614656/707281, 是)
Wave4第三層核對=([0, 0, 0, 0], [28/29, 28/29, 28/29, 28/29], 614656/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[2,29],"word":[1,0,0,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 0, 0, 0], [2/29, 27/29, 27/29, 27/29], 39366/707281, 是)
Wave4第三層核對=([1, 0, 0, 0], [2/29, 27/29, 27/29, 27/29], 39366/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[3,29],"word":[0,1,0,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 1, 0, 0], [26/29, 3/29, 26/29, 26/29], 52728/707281, 是)
Wave4第三層核對=([0, 1, 0, 0], [26/29, 3/29, 26/29, 26/29], 52728/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[4,29],"word":[1,1,0,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 1, 0, 0], [4/29, 4/29, 25/29, 25/29], 10000/707281, 是)
Wave4第三層核對=([1, 1, 0, 0], [4/29, 4/29, 25/29, 25/29], 10000/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[5,29],"word":[0,0,1,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 0, 1, 0], [24/29, 24/29, 5/29, 24/29], 69120/707281, 是)
Wave4第三層核對=([0, 0, 1, 0], [24/29, 24/29, 5/29, 24/29], 69120/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[6,29],"word":[1,0,1,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 0, 1, 0], [6/29, 23/29, 6/29, 23/29], 19044/707281, 是)
Wave4第三層核對=([1, 0, 1, 0], [6/29, 23/29, 6/29, 23/29], 19044/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[7,29],"word":[0,1,1,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 1, 1, 0], [22/29, 7/29, 7/29, 22/29], 23716/707281, 是)
Wave4第三層核對=([0, 1, 1, 0], [22/29, 7/29, 7/29, 22/29], 23716/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[8,29],"word":[1,1,1,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 1, 1, 0], [8/29, 8/29, 8/29, 21/29], 10752/707281, 是)
Wave4第三層核對=([1, 1, 1, 0], [8/29, 8/29, 8/29, 21/29], 10752/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[9,29],"word":[0,0,0,1]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 0, 0, 1], [20/29, 20/29, 20/29, 9/29], 72000/707281, 是)
Wave4第三層核對=([0, 0, 0, 1], [20/29, 20/29, 20/29, 9/29], 72000/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[10,29],"word":[1,0,0,1]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 0, 0, 1], [10/29, 19/29, 19/29, 10/29], 36100/707281, 是)
Wave4第三層核對=([1, 0, 0, 1], [10/29, 19/29, 19/29, 10/29], 36100/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[11,29],"word":[0,1,0,1]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 1, 0, 1], [18/29, 11/29, 18/29, 11/29], 39204/707281, 是)
Wave4第三層核對=([0, 1, 0, 1], [18/29, 11/29, 18/29, 11/29], 39204/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[12,29],"word":[1,1,0,1]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 1, 0, 1], [12/29, 12/29, 17/29, 12/29], 29376/707281, 是)
Wave4第三層核對=([1, 1, 0, 1], [12/29, 12/29, 17/29, 12/29], 29376/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[13,29],"word":[0,0,1,1]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 0, 1, 1], [16/29, 16/29, 13/29, 13/29], 43264/707281, 是)
Wave4第三層核對=([0, 0, 1, 1], [16/29, 16/29, 13/29, 13/29], 43264/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[14,29],"word":[1,0,1,1]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 0, 1, 1], [14/29, 15/29, 14/29, 14/29], 41160/707281, 是)
Wave4第三層核對=([1, 0, 1, 1], [14/29, 15/29, 14/29, 14/29], 41160/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[15,29],"word":[0,1,1,1]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 1, 1, 1], [14/29, 15/29, 15/29, 15/29], 47250/707281, 是)
Wave4第三層核對=([0, 1, 1, 1], [14/29, 15/29, 15/29, 15/29], 47250/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[16,29],"word":[1,1,1,1]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 1, 1, 1], [16/29, 16/29, 16/29, 16/29], 65536/707281, 是)
Wave4第三層核對=([1, 1, 1, 1], [16/29, 16/29, 16/29, 16/29], 65536/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[17,29],"word":[0,0,0,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 0, 0, 0], [12/29, 12/29, 12/29, 12/29], 20736/707281, 是)
Wave4第三層核對=([0, 0, 0, 0], [12/29, 12/29, 12/29, 12/29], 20736/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[18,29],"word":[1,0,0,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 0, 0, 0], [18/29, 11/29, 11/29, 11/29], 23958/707281, 是)
Wave4第三層核對=([1, 0, 0, 0], [18/29, 11/29, 11/29, 11/29], 23958/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[19,29],"word":[0,1,0,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 1, 0, 0], [10/29, 19/29, 10/29, 10/29], 19000/707281, 是)
Wave4第三層核對=([0, 1, 0, 0], [10/29, 19/29, 10/29, 10/29], 19000/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[20,29],"word":[1,1,0,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 1, 0, 0], [20/29, 20/29, 9/29, 9/29], 32400/707281, 是)
Wave4第三層核對=([1, 1, 0, 0], [20/29, 20/29, 9/29, 9/29], 32400/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[21,29],"word":[0,0,1,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 0, 1, 0], [8/29, 8/29, 21/29, 8/29], 10752/707281, 是)
Wave4第三層核對=([0, 0, 1, 0], [8/29, 8/29, 21/29, 8/29], 10752/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[22,29],"word":[1,0,1,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 0, 1, 0], [22/29, 7/29, 22/29, 7/29], 23716/707281, 是)
Wave4第三層核對=([1, 0, 1, 0], [22/29, 7/29, 22/29, 7/29], 23716/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[23,29],"word":[0,1,1,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 1, 1, 0], [6/29, 23/29, 23/29, 6/29], 19044/707281, 是)
Wave4第三層核對=([0, 1, 1, 0], [6/29, 23/29, 23/29, 6/29], 19044/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[24,29],"word":[1,1,1,0]}。請依 [word,atom_factors,product,pass] 欄序回答。
([1, 1, 1, 0], [24/29, 24/29, 24/29, 5/29], 69120/707281, 是)
Wave4第三層核對=([1, 1, 1, 0], [24/29, 24/29, 24/29, 5/29], 69120/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-finite-factorization；資料={"p":[25,29],"word":[0,0,0,1]}。請依 [word,atom_factors,product,pass] 欄序回答。
([0, 0, 0, 1], [4/29, 4/29, 4/29, 25/29], 1600/707281, 是)
Wave4第三層核對=([0, 0, 0, 1], [4/29, 4/29, 4/29, 25/29], 1600/707281, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-finite-factorization · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[1,29],"evidence_mode":"finite_prefix_only","checked_prefix":1}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(1/29, finite_prefix_only, 1, 否, finite_prefix_only_not_infinite_IID)
Wave4第三層核對=(1/29, finite_prefix_only, 1, 否, finite_prefix_only_not_infinite_IID)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[2,29],"evidence_mode":"symbolic_product_law","checked_prefix":2}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(2/29, symbolic_product_law, 2, 是, infinite_IID_certificate)
Wave4第三層核對=(2/29, symbolic_product_law, 2, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[3,29],"evidence_mode":"symbolic_product_law","checked_prefix":3}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(3/29, symbolic_product_law, 3, 是, infinite_IID_certificate)
Wave4第三層核對=(3/29, symbolic_product_law, 3, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[4,29],"evidence_mode":"symbolic_product_law","checked_prefix":4}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(4/29, symbolic_product_law, 4, 是, infinite_IID_certificate)
Wave4第三層核對=(4/29, symbolic_product_law, 4, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[5,29],"evidence_mode":"finite_prefix_only","checked_prefix":5}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(5/29, finite_prefix_only, 5, 否, finite_prefix_only_not_infinite_IID)
Wave4第三層核對=(5/29, finite_prefix_only, 5, 否, finite_prefix_only_not_infinite_IID)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[6,29],"evidence_mode":"symbolic_product_law","checked_prefix":6}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(6/29, symbolic_product_law, 6, 是, infinite_IID_certificate)
Wave4第三層核對=(6/29, symbolic_product_law, 6, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[7,29],"evidence_mode":"symbolic_product_law","checked_prefix":7}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(7/29, symbolic_product_law, 7, 是, infinite_IID_certificate)
Wave4第三層核對=(7/29, symbolic_product_law, 7, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[8,29],"evidence_mode":"symbolic_product_law","checked_prefix":8}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(8/29, symbolic_product_law, 8, 是, infinite_IID_certificate)
Wave4第三層核對=(8/29, symbolic_product_law, 8, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[9,29],"evidence_mode":"finite_prefix_only","checked_prefix":9}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(9/29, finite_prefix_only, 9, 否, finite_prefix_only_not_infinite_IID)
Wave4第三層核對=(9/29, finite_prefix_only, 9, 否, finite_prefix_only_not_infinite_IID)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[10,29],"evidence_mode":"symbolic_product_law","checked_prefix":10}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(10/29, symbolic_product_law, 10, 是, infinite_IID_certificate)
Wave4第三層核對=(10/29, symbolic_product_law, 10, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[11,29],"evidence_mode":"symbolic_product_law","checked_prefix":11}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(11/29, symbolic_product_law, 11, 是, infinite_IID_certificate)
Wave4第三層核對=(11/29, symbolic_product_law, 11, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[12,29],"evidence_mode":"symbolic_product_law","checked_prefix":12}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(12/29, symbolic_product_law, 12, 是, infinite_IID_certificate)
Wave4第三層核對=(12/29, symbolic_product_law, 12, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[13,29],"evidence_mode":"finite_prefix_only","checked_prefix":13}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(13/29, finite_prefix_only, 13, 否, finite_prefix_only_not_infinite_IID)
Wave4第三層核對=(13/29, finite_prefix_only, 13, 否, finite_prefix_only_not_infinite_IID)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[14,29],"evidence_mode":"symbolic_product_law","checked_prefix":14}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(14/29, symbolic_product_law, 14, 是, infinite_IID_certificate)
Wave4第三層核對=(14/29, symbolic_product_law, 14, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[15,29],"evidence_mode":"symbolic_product_law","checked_prefix":15}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(15/29, symbolic_product_law, 15, 是, infinite_IID_certificate)
Wave4第三層核對=(15/29, symbolic_product_law, 15, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[16,29],"evidence_mode":"symbolic_product_law","checked_prefix":16}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(16/29, symbolic_product_law, 16, 是, infinite_IID_certificate)
Wave4第三層核對=(16/29, symbolic_product_law, 16, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[17,29],"evidence_mode":"finite_prefix_only","checked_prefix":17}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(17/29, finite_prefix_only, 17, 否, finite_prefix_only_not_infinite_IID)
Wave4第三層核對=(17/29, finite_prefix_only, 17, 否, finite_prefix_only_not_infinite_IID)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[18,29],"evidence_mode":"symbolic_product_law","checked_prefix":18}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(18/29, symbolic_product_law, 18, 是, infinite_IID_certificate)
Wave4第三層核對=(18/29, symbolic_product_law, 18, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[19,29],"evidence_mode":"symbolic_product_law","checked_prefix":19}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(19/29, symbolic_product_law, 19, 是, infinite_IID_certificate)
Wave4第三層核對=(19/29, symbolic_product_law, 19, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[20,29],"evidence_mode":"symbolic_product_law","checked_prefix":20}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(20/29, symbolic_product_law, 20, 是, infinite_IID_certificate)
Wave4第三層核對=(20/29, symbolic_product_law, 20, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[21,29],"evidence_mode":"finite_prefix_only","checked_prefix":21}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(21/29, finite_prefix_only, 21, 否, finite_prefix_only_not_infinite_IID)
Wave4第三層核對=(21/29, finite_prefix_only, 21, 否, finite_prefix_only_not_infinite_IID)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[22,29],"evidence_mode":"symbolic_product_law","checked_prefix":22}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(22/29, symbolic_product_law, 22, 是, infinite_IID_certificate)
Wave4第三層核對=(22/29, symbolic_product_law, 22, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[23,29],"evidence_mode":"symbolic_product_law","checked_prefix":23}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(23/29, symbolic_product_law, 23, 是, infinite_IID_certificate)
Wave4第三層核對=(23/29, symbolic_product_law, 23, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[24,29],"evidence_mode":"symbolic_product_law","checked_prefix":24}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(24/29, symbolic_product_law, 24, 是, infinite_IID_certificate)
Wave4第三層核對=(24/29, symbolic_product_law, 24, 是, infinite_IID_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate
IID同時要求完整相同marginal與每個有限子族獨立。操作=iid-evidence-mode；資料={"p":[25,29],"evidence_mode":"finite_prefix_only","checked_prefix":25}。請依 [p,evidence_mode,checked_prefix,sufficient,boundary] 欄序回答。
(25/29, finite_prefix_only, 25, 否, finite_prefix_only_not_infinite_IID)
Wave4第三層核對=(25/29, finite_prefix_only, 25, 否, finite_prefix_only_not_infinite_IID)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；無限序列使用symbolic product-law cylinder證書；相同期望pairwise或固定prefix不足且不推出LLN/CLT。
獨立同分布序列 · qf-mod29-iid-evidence-mode · candidate