Version local H6 artefacts for all B12 states and add aggregated index
**Motivations:** - Make H6(E) checks reproducible and citeable for all 60 B12 states - Provide an aggregated view of Δm(E) and minimal observed horizons **Root causes:** - applications/collatz/out/ is Git-ignored, so local H6 artefacts must live in versioned docs paths - Per-state H6 evidence was previously limited to E1 **Correctifs:** - Replace ambiguous palier inference for local certificates with explicit palier in JSON **Evolutions:** - Add a generator for versioned local H6 artefacts (per state) at palier 2^13 - Generate per-state local H6 run reports and a versioned aggregated index - Reference the aggregated index from the proof plan **Pages affectées:** - applications/collatz/collatz_k_scripts/collatz_generate_local_h6_artefacts.py - applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md - docs/artefacts/collatz/local_H6_index.md - docs/artefacts/collatz/local_E*_palier2p13/** - docs/collatz_run_report_2026-03-09_local_H6_E*_palier2p13.md - docs/features/collatz_local_h6_artefacts_and_index.md
This commit is contained in:
ncantu
parent
a4e8a325a2
commit
cb7197fa43
@ -0,0 +1,518 @@
|
||||
#!/usr/bin/env python3
|
||||
# -*- coding: utf-8 -*-
|
||||
"""
|
||||
collatz_generate_local_h6_artefacts.py
|
||||
|
||||
Generate versioned local H6(E) artefacts for states of the B12 base (mod 4096),
|
||||
at a chosen palier 2^m (default m=13), and search for a minimal fusion horizon
|
||||
range [t_min..t_max_used] that completes coverage after a D8 pass.
|
||||
|
||||
Outputs per state directory:
|
||||
docs/artefacts/collatz/local_E{state_id}_palier2p{m}/
|
||||
noyaux/
|
||||
noyau_E{state_id}_B12.json
|
||||
noyau_Lift_E{state_id}_palier2p{m}.json
|
||||
noyau_post_D8_E{state_id}_palier2p{m}.json
|
||||
candidats/
|
||||
candidats_D8_E{state_id}_palier2p{m}.csv
|
||||
candidats_F{t_min}to{t_max_used}_E{state_id}_palier2p{m}.csv
|
||||
certificats/
|
||||
certificat_D8_E{state_id}_palier2p{m}.json (optional if empty)
|
||||
certificat_F{t_min}to{t_max_used}_E{state_id}_palier2p{m}.json (optional if empty)
|
||||
audits/
|
||||
verification_H6_E{state_id}_palier2p{m}.md
|
||||
metadata.json
|
||||
|
||||
This script does not write into applications/collatz/out/ (Git-ignored).
|
||||
"""
|
||||
|
||||
from __future__ import annotations
|
||||
|
||||
import argparse
|
||||
import csv
|
||||
import json
|
||||
import tempfile
|
||||
from dataclasses import dataclass
|
||||
from pathlib import Path
|
||||
|
||||
from collatz_k_core import A_k
|
||||
from collatz_k_fusion import build_fusion_clauses
|
||||
from collatz_k_pipeline import load_state_map_60
|
||||
|
||||
|
||||
@dataclass(frozen=True)
|
||||
class LocalH6StateResult:
|
||||
state_id: int
|
||||
base_size: int
|
||||
target_palier: int
|
||||
delta_m: int
|
||||
lift_size: int
|
||||
d8_candidates: int
|
||||
d8_covered: int
|
||||
t_min: int
|
||||
t_max_used: int | None
|
||||
fusion_clauses: int
|
||||
fusion_covered: int
|
||||
total_covered: int
|
||||
success: bool
|
||||
artefacts_dir: str
|
||||
|
||||
|
||||
def _write_certificate_json(path: Path, clauses: set[int], covered: set[int], palier: int) -> None:
|
||||
path.parent.mkdir(parents=True, exist_ok=True)
|
||||
obj = {
|
||||
"clauses": sorted(clauses),
|
||||
"covered": sorted(covered),
|
||||
"palier": palier,
|
||||
}
|
||||
path.write_text(json.dumps(obj, indent=2), encoding="utf-8")
|
||||
|
||||
|
||||
def _invert_residue_to_state(res_to_state: dict[int, int]) -> dict[int, list[int]]:
|
||||
out: dict[int, list[int]] = {}
|
||||
for r, sid in res_to_state.items():
|
||||
out.setdefault(sid, []).append(int(r))
|
||||
for sid in out:
|
||||
out[sid] = sorted(set(out[sid]))
|
||||
return out
|
||||
|
||||
|
||||
def _lift_residues(base_residues: list[int], base_shift: int, target_palier: int, base_palier: int) -> list[int]:
|
||||
if target_palier < base_palier:
|
||||
raise ValueError("target_palier must be >= base_palier")
|
||||
lift_factor = 2 ** (target_palier - base_palier)
|
||||
lifted: list[int] = []
|
||||
for r in base_residues:
|
||||
for j in range(lift_factor):
|
||||
lifted.append(r + j * base_shift)
|
||||
return sorted(set(lifted))
|
||||
|
||||
|
||||
def _write_noyau_json(path: Path, residues: list[int], palier: int) -> None:
|
||||
path.parent.mkdir(parents=True, exist_ok=True)
|
||||
path.write_text(json.dumps({"noyau": residues, "palier": palier}, indent=2), encoding="utf-8")
|
||||
|
||||
|
||||
def _write_candidates_d8_csv(path: Path, residues: list[int], palier: int) -> list[int]:
|
||||
"""
|
||||
Return D8 candidate list (classes) and write CSV with 'classe_mod_2^m' and 'sœur' columns.
|
||||
"""
|
||||
shift = 1 << (palier - 1)
|
||||
threshold = 13 # ceil(log2(3^8)) = 13
|
||||
cand = sorted([n for n in residues if A_k(n, 8) == threshold])
|
||||
path.parent.mkdir(parents=True, exist_ok=True)
|
||||
with path.open("w", newline="", encoding="utf-8") as f:
|
||||
w = csv.writer(f)
|
||||
w.writerow(["classe_mod_2^m", "sœur", "A8", "palier"])
|
||||
for n in cand:
|
||||
w.writerow([n, n ^ shift, threshold, palier])
|
||||
return cand
|
||||
|
||||
|
||||
def _covered_from_cert(cert_path: Path) -> set[int]:
|
||||
obj = json.loads(cert_path.read_text(encoding="utf-8"))
|
||||
if not isinstance(obj, dict) or "covered" not in obj:
|
||||
raise ValueError(f"Invalid certificate JSON: {cert_path}")
|
||||
covered = obj["covered"]
|
||||
if not isinstance(covered, list) or not all(isinstance(x, int) for x in covered):
|
||||
raise ValueError(f"Invalid certificate JSON covered list: {cert_path}")
|
||||
return set(covered)
|
||||
|
||||
|
||||
def _compute_fusion_rows_until_covered(
|
||||
*,
|
||||
residues: list[int],
|
||||
palier: int,
|
||||
t_min: int,
|
||||
t_max: int,
|
||||
audit60_json: Path,
|
||||
) -> tuple[int | None, list[dict], list[int]]:
|
||||
"""
|
||||
Iteratively compute fusion hits for horizons t=t_min..t_max, accumulating until all residues are hit.
|
||||
|
||||
Returns:
|
||||
- t_max_used (or None if no full coverage by t_max)
|
||||
- merged_rows (list of CSV rows, each augmented with 'horizon_t')
|
||||
- remaining_uncovered (sorted)
|
||||
"""
|
||||
res_to_state, state_mot7 = load_state_map_60(str(audit60_json))
|
||||
uncovered: set[int] = set(residues)
|
||||
hit_union: set[int] = set()
|
||||
merged_rows: list[dict] = []
|
||||
t_max_used: int | None = None
|
||||
|
||||
for t in range(t_min, t_max + 1):
|
||||
domain_list = sorted(uncovered)
|
||||
if not domain_list:
|
||||
t_max_used = t - 1
|
||||
break
|
||||
|
||||
with tempfile.NamedTemporaryFile(mode="w", suffix=".csv", delete=False) as f_csv:
|
||||
tmp_csv = Path(f_csv.name)
|
||||
with tempfile.NamedTemporaryFile(mode="w", suffix=".md", delete=False) as f_md:
|
||||
tmp_md = Path(f_md.name)
|
||||
try:
|
||||
build_fusion_clauses(
|
||||
domain_list,
|
||||
t,
|
||||
res_to_state,
|
||||
state_mot7,
|
||||
str(tmp_md),
|
||||
str(tmp_csv),
|
||||
palier,
|
||||
)
|
||||
if tmp_csv.exists() and tmp_csv.stat().st_size > 0:
|
||||
with tmp_csv.open("r", encoding="utf-8") as f_in:
|
||||
reader = csv.DictReader(f_in)
|
||||
for row in reader:
|
||||
n0_str = row.get("classe_mod_2^m", "")
|
||||
if n0_str:
|
||||
try:
|
||||
n0 = int(n0_str)
|
||||
uncovered.discard(n0)
|
||||
hit_union.add(n0)
|
||||
except ValueError:
|
||||
pass
|
||||
row_out = dict(row)
|
||||
row_out["horizon_t"] = t
|
||||
merged_rows.append(row_out)
|
||||
finally:
|
||||
tmp_csv.unlink(missing_ok=True)
|
||||
tmp_md.unlink(missing_ok=True)
|
||||
|
||||
if t_max_used is None and not uncovered:
|
||||
t_max_used = t_max
|
||||
|
||||
return t_max_used, merged_rows, sorted(uncovered)
|
||||
|
||||
|
||||
def _write_csv_rows(path: Path, rows: list[dict]) -> None:
|
||||
path.parent.mkdir(parents=True, exist_ok=True)
|
||||
if not rows:
|
||||
path.write_text("horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096\n", encoding="utf-8")
|
||||
return
|
||||
fieldnames = ["horizon_t"] + [k for k in rows[0].keys() if k != "horizon_t"]
|
||||
with path.open("w", newline="", encoding="utf-8") as f:
|
||||
w = csv.DictWriter(f, fieldnames=fieldnames, extrasaction="ignore")
|
||||
w.writeheader()
|
||||
for row in rows:
|
||||
w.writerow(row)
|
||||
|
||||
|
||||
def _write_verification_md(
|
||||
*,
|
||||
path: Path,
|
||||
state_id: int,
|
||||
palier: int,
|
||||
base_noyau_path: Path,
|
||||
lift_noyau_path: Path,
|
||||
cert_paths: list[Path],
|
||||
lift_size: int,
|
||||
total_covered: int,
|
||||
missing: list[int],
|
||||
) -> None:
|
||||
lines: list[str] = []
|
||||
lines.append("**Auteur** : Équipe 4NK")
|
||||
lines.append("")
|
||||
lines.append(f"# Vérification H6(E{state_id}) — couverture des relèvements au palier \\(2^{{{palier}}}\\)")
|
||||
lines.append("")
|
||||
lines.append("## Objet")
|
||||
lines.append("")
|
||||
lines.append(
|
||||
"Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), "
|
||||
"que l’union des certificats locaux couvre le domaine des relèvements impairs."
|
||||
)
|
||||
lines.append("")
|
||||
lines.append("## Domaine")
|
||||
lines.append("")
|
||||
lines.append(f"- base : `{base_noyau_path}`")
|
||||
lines.append(f"- relevé : `{lift_noyau_path}`")
|
||||
lines.append(f"- taille : {lift_size}")
|
||||
lines.append("")
|
||||
lines.append("## Certificats utilisés (local)")
|
||||
lines.append("")
|
||||
for p in cert_paths:
|
||||
obj = json.loads(p.read_text(encoding="utf-8"))
|
||||
covered = obj.get("covered", [])
|
||||
lines.append(f"- `{p}`")
|
||||
lines.append(f" - covered : {len(covered)} classes")
|
||||
lines.append("")
|
||||
lines.append("## Résultat")
|
||||
lines.append("")
|
||||
lines.append(f"- |L| = {lift_size}")
|
||||
lines.append(f"- |U| = {total_covered}")
|
||||
lines.append(f"- |L \\ U| = {len(missing)}")
|
||||
if missing:
|
||||
lines.append("")
|
||||
lines.append("### Résidus manquants (extraits)")
|
||||
lines.append("")
|
||||
lines.append(", ".join(map(str, missing[:64])) + (" …" if len(missing) > 64 else ""))
|
||||
lines.append("")
|
||||
path.parent.mkdir(parents=True, exist_ok=True)
|
||||
path.write_text("\n".join(lines) + "\n", encoding="utf-8")
|
||||
|
||||
|
||||
def generate_for_state(
|
||||
*,
|
||||
state_id: int,
|
||||
base_residues: list[int],
|
||||
audit60_json: Path,
|
||||
output_root: Path,
|
||||
palier_start: int,
|
||||
palier_max: int,
|
||||
t_min: int,
|
||||
t_max: int,
|
||||
) -> LocalH6StateResult:
|
||||
base_palier = 12
|
||||
base_shift = 1 << base_palier
|
||||
threshold_d8 = 13
|
||||
|
||||
for palier in range(palier_start, palier_max + 1):
|
||||
artefacts_dir = output_root / f"local_E{state_id}_palier2p{palier}"
|
||||
noyaux_dir = artefacts_dir / "noyaux"
|
||||
candidats_dir = artefacts_dir / "candidats"
|
||||
certificats_dir = artefacts_dir / "certificats"
|
||||
audits_dir = artefacts_dir / "audits"
|
||||
noyaux_dir.mkdir(parents=True, exist_ok=True)
|
||||
candidats_dir.mkdir(parents=True, exist_ok=True)
|
||||
certificats_dir.mkdir(parents=True, exist_ok=True)
|
||||
audits_dir.mkdir(parents=True, exist_ok=True)
|
||||
|
||||
base_noyau_path = noyaux_dir / f"noyau_E{state_id}_B12.json"
|
||||
lift_noyau_path = noyaux_dir / f"noyau_Lift_E{state_id}_palier2p{palier}.json"
|
||||
post_d8_noyau_path = noyaux_dir / f"noyau_post_D8_E{state_id}_palier2p{palier}.json"
|
||||
|
||||
candidats_d8_path = candidats_dir / f"candidats_D8_E{state_id}_palier2p{palier}.csv"
|
||||
certificat_d8_path = certificats_dir / f"certificat_D8_E{state_id}_palier2p{palier}.json"
|
||||
|
||||
_write_noyau_json(base_noyau_path, base_residues, base_palier)
|
||||
L = _lift_residues(base_residues, base_shift, palier, base_palier)
|
||||
_write_noyau_json(lift_noyau_path, L, palier)
|
||||
|
||||
cand_d8 = _write_candidates_d8_csv(candidats_d8_path, L, palier)
|
||||
d8_covered_set: set[int] = set()
|
||||
cert_paths: list[Path] = []
|
||||
if cand_d8:
|
||||
shift = 1 << (palier - 1)
|
||||
d8_covered_set = set(cand_d8) | {n ^ shift for n in cand_d8}
|
||||
_write_certificate_json(certificat_d8_path, set(cand_d8), d8_covered_set, palier)
|
||||
cert_paths.append(certificat_d8_path)
|
||||
|
||||
uncovered_after_d8 = sorted(set(L) - d8_covered_set)
|
||||
_write_noyau_json(post_d8_noyau_path, uncovered_after_d8, palier)
|
||||
|
||||
fusion_csv_path: Path | None = None
|
||||
fusion_cert_path: Path | None = None
|
||||
t_max_used: int | None = None
|
||||
fusion_rows_list: list[dict] = []
|
||||
|
||||
if uncovered_after_d8:
|
||||
t_max_used, fusion_rows_list, still_uncovered = _compute_fusion_rows_until_covered(
|
||||
residues=uncovered_after_d8,
|
||||
palier=palier,
|
||||
t_min=t_min,
|
||||
t_max=t_max,
|
||||
audit60_json=audit60_json,
|
||||
)
|
||||
fusion_tmax_for_paths = t_max_used if t_max_used is not None else t_max
|
||||
fusion_csv_path = candidats_dir / f"candidats_F{t_min}to{fusion_tmax_for_paths}_E{state_id}_palier2p{palier}.csv"
|
||||
_write_csv_rows(fusion_csv_path, fusion_rows_list)
|
||||
fusion_cert_path = certificats_dir / f"certificat_F{t_min}to{fusion_tmax_for_paths}_E{state_id}_palier2p{palier}.json"
|
||||
|
||||
fusion_covered_set: set[int] = set()
|
||||
fusion_clauses = 0
|
||||
fusion_covered = 0
|
||||
fusion_hit_classes = {
|
||||
int(row["classe_mod_2^m"])
|
||||
for row in fusion_rows_list
|
||||
if "classe_mod_2^m" in row and str(row["classe_mod_2^m"]).strip()
|
||||
}
|
||||
if fusion_hit_classes and fusion_cert_path is not None:
|
||||
fusion_covered_set = set(fusion_hit_classes)
|
||||
_write_certificate_json(fusion_cert_path, set(fusion_hit_classes), fusion_covered_set, palier)
|
||||
fusion_clauses = len(fusion_hit_classes)
|
||||
fusion_covered = len(fusion_hit_classes)
|
||||
cert_paths.append(fusion_cert_path)
|
||||
|
||||
union_covered = d8_covered_set | fusion_covered_set
|
||||
missing = sorted(set(L) - union_covered)
|
||||
|
||||
verification_md_path = audits_dir / f"verification_H6_E{state_id}_palier2p{palier}.md"
|
||||
_write_verification_md(
|
||||
path=verification_md_path,
|
||||
state_id=state_id,
|
||||
palier=palier,
|
||||
base_noyau_path=base_noyau_path,
|
||||
lift_noyau_path=lift_noyau_path,
|
||||
cert_paths=cert_paths,
|
||||
lift_size=len(L),
|
||||
total_covered=len(union_covered),
|
||||
missing=missing,
|
||||
)
|
||||
|
||||
success = len(missing) == 0
|
||||
metadata = {
|
||||
"state_id": state_id,
|
||||
"base_palier": base_palier,
|
||||
"target_palier": palier,
|
||||
"delta_m": palier - base_palier,
|
||||
"lift_size": len(L),
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": threshold_d8,
|
||||
"candidates": len(cand_d8),
|
||||
"covered": len(d8_covered_set),
|
||||
"certificate": str(certificat_d8_path) if cand_d8 else "",
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": t_min,
|
||||
"t_max_search": t_max,
|
||||
"t_max_used": t_max_used if success else None,
|
||||
"merged_csv": str(fusion_csv_path) if fusion_csv_path is not None else "",
|
||||
"certificate": str(fusion_cert_path) if fusion_clauses > 0 and fusion_cert_path is not None else "",
|
||||
"clauses": fusion_clauses,
|
||||
"covered": fusion_covered,
|
||||
},
|
||||
"verification_md": str(verification_md_path),
|
||||
"success": success,
|
||||
}
|
||||
(artefacts_dir / "metadata.json").write_text(json.dumps(metadata, indent=2), encoding="utf-8")
|
||||
|
||||
if success:
|
||||
return LocalH6StateResult(
|
||||
state_id=state_id,
|
||||
base_size=len(base_residues),
|
||||
target_palier=palier,
|
||||
delta_m=palier - base_palier,
|
||||
lift_size=len(L),
|
||||
d8_candidates=len(cand_d8),
|
||||
d8_covered=len(d8_covered_set),
|
||||
t_min=t_min,
|
||||
t_max_used=t_max_used,
|
||||
fusion_clauses=fusion_clauses,
|
||||
fusion_covered=fusion_covered,
|
||||
total_covered=len(union_covered),
|
||||
success=True,
|
||||
artefacts_dir=str(artefacts_dir),
|
||||
)
|
||||
|
||||
raise ValueError(f"H6 generation failed for state E{state_id} up to palier 2^{palier_max} with t<= {t_max}")
|
||||
|
||||
|
||||
def write_index_md(path: Path, results: list[LocalH6StateResult], audit60_json: Path, docs_dir: Path) -> None:
|
||||
_, state_mot7 = load_state_map_60(str(audit60_json))
|
||||
lines: list[str] = []
|
||||
lines.append("**Auteur** : Équipe 4NK")
|
||||
lines.append("")
|
||||
lines.append("# Index — H6 locale (états de B12)")
|
||||
lines.append("")
|
||||
lines.append("## Table")
|
||||
lines.append("")
|
||||
header = [
|
||||
"etat_id",
|
||||
"mot_7",
|
||||
"|B12(E)|",
|
||||
"palier",
|
||||
"Δm(E)",
|
||||
"D8_cand",
|
||||
"D8_cov",
|
||||
"F_tmin",
|
||||
"F_tmax_used",
|
||||
"F_clauses",
|
||||
"F_cov",
|
||||
"|covered_total|",
|
||||
"artefacts",
|
||||
"report",
|
||||
]
|
||||
lines.append("| " + " | ".join(header) + " |")
|
||||
lines.append("| " + " | ".join(["---"] * len(header)) + " |")
|
||||
for r in sorted(results, key=lambda x: x.state_id):
|
||||
artefacts_rel = str(Path(r.artefacts_dir).resolve().relative_to(docs_dir.parent.resolve()))
|
||||
report_glob = f"collatz_run_report_*_local_H6_E{r.state_id}_palier2p{r.target_palier}.md"
|
||||
report_matches = sorted([p.name for p in docs_dir.glob(report_glob)])
|
||||
report_cell = report_matches[0] if report_matches else ""
|
||||
lines.append(
|
||||
"| "
|
||||
+ " | ".join(
|
||||
[
|
||||
str(r.state_id),
|
||||
state_mot7.get(r.state_id, ""),
|
||||
str(r.base_size),
|
||||
f"2^{r.target_palier}",
|
||||
str(r.delta_m),
|
||||
str(r.d8_candidates),
|
||||
str(r.d8_covered),
|
||||
str(r.t_min),
|
||||
str(r.t_max_used if r.t_max_used is not None else ""),
|
||||
str(r.fusion_clauses),
|
||||
str(r.fusion_covered),
|
||||
str(r.total_covered),
|
||||
f"`{artefacts_rel}`",
|
||||
(f"`docs/{report_cell}`" if report_cell else ""),
|
||||
]
|
||||
)
|
||||
+ " |"
|
||||
)
|
||||
lines.append("")
|
||||
path.parent.mkdir(parents=True, exist_ok=True)
|
||||
path.write_text("\n".join(lines) + "\n", encoding="utf-8")
|
||||
|
||||
|
||||
def main() -> None:
|
||||
ap = argparse.ArgumentParser(description="Generate versioned local H6 artefacts for B12 states")
|
||||
ap.add_argument("--audit60", default="audit_60_etats_B12_mod4096_horizon7.json", help="Path to audit 60 states JSON")
|
||||
ap.add_argument("--docs-dir", default="docs", help="Path to docs/ (used for index/report lookup)")
|
||||
ap.add_argument("--output-root", default="docs/artefacts/collatz", help="Root output directory for artefacts")
|
||||
ap.add_argument("--state-ids", default="all", help="Comma-separated state ids (e.g. 1,2,3) or 'all'")
|
||||
ap.add_argument("--palier-start", type=int, default=13)
|
||||
ap.add_argument("--palier-max", type=int, default=13)
|
||||
ap.add_argument("--t-min", type=int, default=9)
|
||||
ap.add_argument("--t-max", type=int, default=40)
|
||||
ap.add_argument("--write-index", action="store_true", help="Write aggregated index markdown")
|
||||
ap.add_argument("--index-path", default="docs/artefacts/collatz/local_H6_index.md")
|
||||
args = ap.parse_args()
|
||||
|
||||
audit60_json = Path(args.audit60).resolve()
|
||||
docs_dir = Path(args.docs_dir).resolve()
|
||||
output_root = Path(args.output_root).resolve()
|
||||
|
||||
res_to_state, _ = load_state_map_60(str(audit60_json))
|
||||
residues_by_state = _invert_residue_to_state(res_to_state)
|
||||
|
||||
if args.state_ids.strip().lower() == "all":
|
||||
state_ids = sorted([sid for sid in residues_by_state.keys() if sid != 0])
|
||||
else:
|
||||
state_ids = [int(x.strip()) for x in args.state_ids.split(",") if x.strip()]
|
||||
|
||||
results: list[LocalH6StateResult] = []
|
||||
for sid in state_ids:
|
||||
base = residues_by_state.get(sid, [])
|
||||
if not base:
|
||||
raise ValueError(f"No base residues found for state E{sid}")
|
||||
res = generate_for_state(
|
||||
state_id=sid,
|
||||
base_residues=base,
|
||||
audit60_json=audit60_json,
|
||||
output_root=output_root,
|
||||
palier_start=args.palier_start,
|
||||
palier_max=args.palier_max,
|
||||
t_min=args.t_min,
|
||||
t_max=args.t_max,
|
||||
)
|
||||
results.append(res)
|
||||
print(
|
||||
f"E{sid}: palier=2^{res.target_palier} Δm={res.delta_m} "
|
||||
f"D8(cand={res.d8_candidates},cov={res.d8_covered}) "
|
||||
f"F(tmax={res.t_max_used},clauses={res.fusion_clauses},cov={res.fusion_covered}) "
|
||||
f"covered={res.total_covered}/{res.lift_size}",
|
||||
flush=True,
|
||||
)
|
||||
|
||||
if args.write_index:
|
||||
write_index_md(Path(args.index_path).resolve(), results, audit60_json, docs_dir)
|
||||
print(f"Wrote index: {args.index_path}", flush=True)
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
main()
|
||||
|
||||
@ -200,6 +200,11 @@ Les artefacts locaux produits pour H6(E1) ne peuvent pas être versionnés dans
|
||||
|
||||
et sert de base pour les rapports d’exécution générés.
|
||||
|
||||
Index agrégé (H6 locale, états de B12).
|
||||
Un index versionné agrège \(\Delta m(E)\) et les horizons minimaux observés par état, avec les chemins d’artefacts et de rapports :
|
||||
|
||||
- `docs/artefacts/collatz/local_H6_index.md`
|
||||
|
||||
Lemme C2 (réduction de \(R_m\) vers un noyau projectif).
|
||||
Il existe un mécanisme (à préciser : scission par frères + règles de fermeture) montrant que tout élément de \(R_m\) possède, après un nombre borné d’étapes de relèvement et de normalisation, un représentant dans un noyau projectif de type \(B_{12}\) (ou dans une famille finie de noyaux projectifs).
|
||||
Objectif : réduire la preuve globale à une élimination de noyaux projectifs finis.
|
||||
|
||||
@ -0,0 +1,27 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E10) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E10_palier2p13/noyaux/noyau_E10_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E10_palier2p13/noyaux/noyau_Lift_E10_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E10_palier2p13/certificats/certificat_D8_E10_palier2p13.json`
|
||||
- covered : 2 classes
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E10_palier2p13/certificats/certificat_F9to18_E10_palier2p13.json`
|
||||
- covered : 6 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1,2 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
5439,1343,13,13
|
||||
|
@ -0,0 +1,7 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,7487,13,9,1,16,1 1 1 1 1 3 1 2 5,23843,2249,2,157242,1,1499,10,3391
|
||||
10,2367,13,10,1,17,1 1 1 1 1 3 1 1 4 3,84841,1067,2,275118,1,711,10,2367
|
||||
13,319,13,13,2,23,1 1 1 1 1 3 1 1 1 4 2 2 4,3116051,61,1,18788532,1,81,10,319
|
||||
14,6463,13,14,2,24,1 1 1 1 1 3 1 1 2 1 1 4 2 4,8080441,1843,1,31199772,1,2457,10,2367
|
||||
17,4415,13,17,2,28,1 1 1 1 1 3 1 1 1 1 2 4 2 1 2 1 4,271524355,2125,1,288745716,3,2833,10,319
|
||||
18,3391,13,18,2,29,1 1 1 1 1 3 1 2 1 3 2 2 1 1 1 2 1 4,1053985289,2449,1,60930780,61,3265,10,3391
|
||||
|
@ -0,0 +1,10 @@
|
||||
{
|
||||
"clauses": [
|
||||
5439
|
||||
],
|
||||
"covered": [
|
||||
1343,
|
||||
5439
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,19 @@
|
||||
{
|
||||
"clauses": [
|
||||
319,
|
||||
2367,
|
||||
3391,
|
||||
4415,
|
||||
6463,
|
||||
7487
|
||||
],
|
||||
"covered": [
|
||||
319,
|
||||
2367,
|
||||
3391,
|
||||
4415,
|
||||
6463,
|
||||
7487
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E10_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E10_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 10,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 1,
|
||||
"covered": 2,
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E10_palier2p13/certificats/certificat_D8_E10_palier2p13.json"
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 18,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E10_palier2p13/candidats/candidats_F9to18_E10_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E10_palier2p13/certificats/certificat_F9to18_E10_palier2p13.json",
|
||||
"clauses": 6,
|
||||
"covered": 6
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E10_palier2p13/audits/verification_H6_E10_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
319,
|
||||
1343,
|
||||
2367,
|
||||
3391
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
319,
|
||||
1343,
|
||||
2367,
|
||||
3391,
|
||||
4415,
|
||||
5439,
|
||||
6463,
|
||||
7487
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,11 @@
|
||||
{
|
||||
"noyau": [
|
||||
319,
|
||||
2367,
|
||||
3391,
|
||||
4415,
|
||||
6463,
|
||||
7487
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,25 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E11) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E11_palier2p13/noyaux/noyau_E11_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E11_palier2p13/noyaux/noyau_Lift_E11_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E11_palier2p13/certificats/certificat_F9to17_E11_palier2p13.json`
|
||||
- covered : 8 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
|
@ -0,0 +1,9 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,415,13,9,1,16,1 1 1 1 2 1 2 2 5,23555,125,2,157242,1,83,11,415
|
||||
9,6559,13,9,1,15,1 1 1 1 2 1 2 5 1,37891,3941,2,58938,1,2627,11,2463
|
||||
10,3487,13,10,1,16,1 1 1 1 2 1 2 1 3 3,75785,3143,2,78510,2,2095,11,3487
|
||||
12,1439,13,12,1,21,1 1 1 1 2 1 2 1 1 2 3 5,716881,365,2,5228574,1,243,11,1439
|
||||
12,4511,13,12,2,20,1 1 1 1 2 1 2 2 1 1 3 4,762961,2287,1,1019964,2,3049,11,415
|
||||
12,7583,13,12,2,22,1 1 1 1 2 1 2 1 2 3 1 6,809041,961,1,10457148,1,1281,11,3487
|
||||
13,2463,13,13,2,22,1 1 1 1 2 1 2 3 1 2 2 1 4,3245299,937,1,6205620,2,1249,11,2463
|
||||
17,5535,13,17,1,27,1 1 1 1 2 1 2 1 1 1 1 4 1 1 1 2 5,187034851,5327,2,144372858,2,3551,11,1439
|
||||
|
@ -0,0 +1,23 @@
|
||||
{
|
||||
"clauses": [
|
||||
415,
|
||||
1439,
|
||||
2463,
|
||||
3487,
|
||||
4511,
|
||||
5535,
|
||||
6559,
|
||||
7583
|
||||
],
|
||||
"covered": [
|
||||
415,
|
||||
1439,
|
||||
2463,
|
||||
3487,
|
||||
4511,
|
||||
5535,
|
||||
6559,
|
||||
7583
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E11_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E11_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 11,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 0,
|
||||
"covered": 0,
|
||||
"certificate": ""
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 17,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E11_palier2p13/candidats/candidats_F9to17_E11_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E11_palier2p13/certificats/certificat_F9to17_E11_palier2p13.json",
|
||||
"clauses": 8,
|
||||
"covered": 8
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E11_palier2p13/audits/verification_H6_E11_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
415,
|
||||
1439,
|
||||
2463,
|
||||
3487
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
415,
|
||||
1439,
|
||||
2463,
|
||||
3487,
|
||||
4511,
|
||||
5535,
|
||||
6559,
|
||||
7583
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
415,
|
||||
1439,
|
||||
2463,
|
||||
3487,
|
||||
4511,
|
||||
5535,
|
||||
6559,
|
||||
7583
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,25 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E12) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E12_palier2p13/noyaux/noyau_E12_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E12_palier2p13/noyaux/noyau_Lift_E12_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E12_palier2p13/certificats/certificat_F9to50_E12_palier2p13.json`
|
||||
- covered : 8 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
|
@ -0,0 +1,9 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,2079,13,9,2,16,1 1 1 1 2 2 1 5 2,39043,625,1,117876,1,833,12,2079
|
||||
9,6175,13,9,2,16,1 1 1 1 2 2 1 3 4,26755,1855,1,117876,1,2473,12,2079
|
||||
9,7199,13,9,1,15,1 1 1 1 2 2 1 1 5,23683,4325,2,58938,1,2883,12,3103
|
||||
11,3103,13,11,1,19,1 1 1 1 2 2 1 1 2 4 3,290971,1049,2,1218570,1,699,12,3103
|
||||
21,5151,13,21,1,33,1 1 1 1 2 2 1 1 1 3 2 1 1 2 1 1 1 3 1 3 3,20560216147,6275,2,4849097370,7,4183,12,1055
|
||||
26,4127,13,26,1,42,1 1 1 1 2 2 1 2 2 1 1 1 1 1 2 2 4 2 1 1 2 2 1 1 3 3,7856748491465,2387,2,8110407876654,2,1591,12,31
|
||||
35,31,13,35,1,56,1 1 1 1 2 2 1 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1 1 1 1 1 3 1 1 1 4 2 2 4 3,106346764803351611,23,2,116109691915784394,2,15,12,31
|
||||
50,1055,13,50,2,82,1 1 1 1 2 2 1 1 1 1 1 2 1 2 2 1 1 3 4 1 1 1 2 1 1 1 1 2 1 1 2 1 1 3 2 3 1 1 2 1 1 1 5 1 1 1 1 4 2 6,1823037703082640562865833,157,1,11635517884608139741393116,1,209,12,1055
|
||||
|
@ -0,0 +1,23 @@
|
||||
{
|
||||
"clauses": [
|
||||
31,
|
||||
1055,
|
||||
2079,
|
||||
3103,
|
||||
4127,
|
||||
5151,
|
||||
6175,
|
||||
7199
|
||||
],
|
||||
"covered": [
|
||||
31,
|
||||
1055,
|
||||
2079,
|
||||
3103,
|
||||
4127,
|
||||
5151,
|
||||
6175,
|
||||
7199
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E12_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E12_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 12,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 0,
|
||||
"covered": 0,
|
||||
"certificate": ""
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 50,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E12_palier2p13/candidats/candidats_F9to50_E12_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E12_palier2p13/certificats/certificat_F9to50_E12_palier2p13.json",
|
||||
"clauses": 8,
|
||||
"covered": 8
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E12_palier2p13/audits/verification_H6_E12_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
31,
|
||||
1055,
|
||||
2079,
|
||||
3103
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
31,
|
||||
1055,
|
||||
2079,
|
||||
3103,
|
||||
4127,
|
||||
5151,
|
||||
6175,
|
||||
7199
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
31,
|
||||
1055,
|
||||
2079,
|
||||
3103,
|
||||
4127,
|
||||
5151,
|
||||
6175,
|
||||
7199
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,27 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E13) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E13_palier2p13/noyaux/noyau_E13_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E13_palier2p13/noyaux/noyau_Lift_E13_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E13_palier2p13/certificats/certificat_D8_E13_palier2p13.json`
|
||||
- covered : 2 classes
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E13_palier2p13/certificats/certificat_F9to24_E13_palier2p13.json`
|
||||
- covered : 6 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1,2 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
3551,7647,13,13
|
||||
|
@ -0,0 +1,7 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,5599,13,9,2,17,1 1 1 1 3 1 1 2 6,26435,841,1,314484,1,1121,13,1503
|
||||
11,479,13,11,2,18,1 1 1 1 3 1 1 1 4 2 2,343387,325,1,77844,15,433,13,479
|
||||
13,1503,13,13,1,24,1 1 1 1 3 1 1 2 1 3 1 1 7,2874419,143,2,47143002,1,95,13,1503
|
||||
16,2527,13,16,2,27,1 1 1 1 3 1 1 1 1 1 2 2 1 1 5 4,71513441,811,1,230466300,1,1081,13,2527
|
||||
16,6623,13,16,2,27,1 1 1 1 3 1 1 1 1 2 4 2 1 2 1 4,114238817,2125,1,230466300,2,2833,13,2527
|
||||
24,4575,13,24,1,38,1 1 1 1 3 1 1 1 2 1 1 2 1 1 3 2 3 1 1 2 1 1 1 5,635666957057,4703,2,259774647870,4,3135,13,479
|
||||
|
@ -0,0 +1,10 @@
|
||||
{
|
||||
"clauses": [
|
||||
3551
|
||||
],
|
||||
"covered": [
|
||||
3551,
|
||||
7647
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,19 @@
|
||||
{
|
||||
"clauses": [
|
||||
479,
|
||||
1503,
|
||||
2527,
|
||||
4575,
|
||||
5599,
|
||||
6623
|
||||
],
|
||||
"covered": [
|
||||
479,
|
||||
1503,
|
||||
2527,
|
||||
4575,
|
||||
5599,
|
||||
6623
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E13_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E13_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 13,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 1,
|
||||
"covered": 2,
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E13_palier2p13/certificats/certificat_D8_E13_palier2p13.json"
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 24,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E13_palier2p13/candidats/candidats_F9to24_E13_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E13_palier2p13/certificats/certificat_F9to24_E13_palier2p13.json",
|
||||
"clauses": 6,
|
||||
"covered": 6
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E13_palier2p13/audits/verification_H6_E13_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
479,
|
||||
1503,
|
||||
2527,
|
||||
3551
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
479,
|
||||
1503,
|
||||
2527,
|
||||
3551,
|
||||
4575,
|
||||
5599,
|
||||
6623,
|
||||
7647
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,11 @@
|
||||
{
|
||||
"noyau": [
|
||||
479,
|
||||
1503,
|
||||
2527,
|
||||
4575,
|
||||
5599,
|
||||
6623
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,25 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E14) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E14_palier2p13/noyaux/noyau_E14_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E14_palier2p13/noyaux/noyau_Lift_E14_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E14_palier2p13/certificats/certificat_F9to41_E14_palier2p13.json`
|
||||
- covered : 8 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
|
@ -0,0 +1,9 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,5615,13,9,2,16,1 1 1 2 1 1 2 5 2,39187,1687,1,117876,1,2249,14,1519
|
||||
10,1519,13,10,2,17,1 1 1 2 1 1 2 3 1 4,88889,685,1,157020,2,913,14,1519
|
||||
11,6639,13,11,1,17,1 1 1 2 1 1 2 1 2 4 1,292267,8975,2,38922,12,5983,14,2543
|
||||
16,7663,13,16,1,25,1 1 1 2 1 1 2 2 2 1 1 1 2 1 1 5,73706833,9833,2,14569854,8,6555,14,3567
|
||||
17,495,13,17,1,28,1 1 1 2 1 1 2 1 1 2 2 1 2 1 2 4 3,231693299,239,2,547026042,1,159,14,495
|
||||
18,2543,13,18,2,29,1 1 1 2 1 1 2 1 3 2 2 1 1 1 2 1 4 2,1021561817,1837,1,60930780,59,2449,14,2543
|
||||
19,3567,13,19,1,30,1 1 1 2 1 1 2 2 1 1 2 1 2 1 1 2 2 3 3,2078013323,3863,2,896702538,4,2575,14,3567
|
||||
41,4591,13,41,1,65,1 1 1 2 1 1 2 1 1 1 1 2 1 1 1 2 1 1 1 2 1 2 1 1 1 1 2 4 2 1 2 1 3 6 1 1 3 1 1 2 3,85803309839067400339,4541,2,37734471687915736890,4,3027,14,495
|
||||
|
@ -0,0 +1,23 @@
|
||||
{
|
||||
"clauses": [
|
||||
495,
|
||||
1519,
|
||||
2543,
|
||||
3567,
|
||||
4591,
|
||||
5615,
|
||||
6639,
|
||||
7663
|
||||
],
|
||||
"covered": [
|
||||
495,
|
||||
1519,
|
||||
2543,
|
||||
3567,
|
||||
4591,
|
||||
5615,
|
||||
6639,
|
||||
7663
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E14_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E14_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 14,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 0,
|
||||
"covered": 0,
|
||||
"certificate": ""
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 41,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E14_palier2p13/candidats/candidats_F9to41_E14_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E14_palier2p13/certificats/certificat_F9to41_E14_palier2p13.json",
|
||||
"clauses": 8,
|
||||
"covered": 8
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E14_palier2p13/audits/verification_H6_E14_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
495,
|
||||
1519,
|
||||
2543,
|
||||
3567
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
495,
|
||||
1519,
|
||||
2543,
|
||||
3567,
|
||||
4591,
|
||||
5615,
|
||||
6639,
|
||||
7663
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
495,
|
||||
1519,
|
||||
2543,
|
||||
3567,
|
||||
4591,
|
||||
5615,
|
||||
6639,
|
||||
7663
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,25 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E15) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E15_palier2p13/noyaux/noyau_E15_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E15_palier2p13/noyaux/noyau_Lift_E15_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E15_palier2p13/certificats/certificat_F9to36_E15_palier2p13.json`
|
||||
- covered : 8 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
|
@ -0,0 +1,9 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,1135,13,9,1,15,1 1 1 2 1 2 1 5 1,40339,683,2,58938,1,455,15,1135
|
||||
9,5231,13,9,1,15,1 1 1 2 1 2 1 3 3,28051,3143,2,58938,1,2095,15,1135
|
||||
9,6255,13,9,2,16,1 1 1 2 1 2 1 1 6,24979,1879,1,117876,1,2505,15,2159
|
||||
11,2159,13,11,1,20,1 1 1 2 1 2 1 1 2 3 5,269867,365,2,2791434,1,243,15,2159
|
||||
11,3183,13,11,1,21,1 1 1 2 1 2 1 2 2 1 7,274987,269,2,5937162,1,179,15,3183
|
||||
19,111,13,19,2,31,1 1 1 2 1 2 1 1 1 1 1 3 1 1 1 4 2 2 4,1985479691,61,1,1793405076,4,81,15,111
|
||||
22,4207,13,22,2,37,1 1 1 2 1 2 1 1 1 3 1 1 1 1 1 3 2 1 2 3 1 6,58716511529,961,1,286792621980,1,1281,15,111
|
||||
36,7279,13,36,1,57,1 1 1 2 1 2 1 2 1 2 1 1 1 1 1 1 2 1 1 2 1 2 2 2 1 1 5 1 1 1 1 1 3 1 3 5,286620852358475617,7583,2,132156293633569374,4,5055,15,3183
|
||||
|
@ -0,0 +1,23 @@
|
||||
{
|
||||
"clauses": [
|
||||
111,
|
||||
1135,
|
||||
2159,
|
||||
3183,
|
||||
4207,
|
||||
5231,
|
||||
6255,
|
||||
7279
|
||||
],
|
||||
"covered": [
|
||||
111,
|
||||
1135,
|
||||
2159,
|
||||
3183,
|
||||
4207,
|
||||
5231,
|
||||
6255,
|
||||
7279
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E15_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E15_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 15,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 0,
|
||||
"covered": 0,
|
||||
"certificate": ""
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 36,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E15_palier2p13/candidats/candidats_F9to36_E15_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E15_palier2p13/certificats/certificat_F9to36_E15_palier2p13.json",
|
||||
"clauses": 8,
|
||||
"covered": 8
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E15_palier2p13/audits/verification_H6_E15_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
111,
|
||||
1135,
|
||||
2159,
|
||||
3183
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
111,
|
||||
1135,
|
||||
2159,
|
||||
3183,
|
||||
4207,
|
||||
5231,
|
||||
6255,
|
||||
7279
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
111,
|
||||
1135,
|
||||
2159,
|
||||
3183,
|
||||
4207,
|
||||
5231,
|
||||
6255,
|
||||
7279
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,27 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E16) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E16_palier2p13/noyaux/noyau_E16_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E16_palier2p13/noyaux/noyau_Lift_E16_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E16_palier2p13/certificats/certificat_D8_E16_palier2p13.json`
|
||||
- covered : 2 classes
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E16_palier2p13/certificats/certificat_F9to49_E16_palier2p13.json`
|
||||
- covered : 6 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1,2 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
2607,6703,13,13
|
||||
|
@ -0,0 +1,7 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,4655,13,9,2,15,1 1 1 2 2 1 1 2 4,27731,2797,1,19572,4,3729,16,559
|
||||
11,559,13,11,2,18,1 1 1 2 2 1 1 2 1 4 2,327403,379,1,77844,14,505,16,559
|
||||
12,5679,13,12,1,20,1 1 1 2 2 1 1 1 1 2 2 5,796865,2879,2,2082846,1,1919,16,1583
|
||||
18,3631,13,18,1,28,1 1 1 2 2 1 1 1 2 1 1 1 2 2 1 3 2 3,683300249,5243,2,30465390,37,3495,16,3631
|
||||
20,7727,13,20,1,32,1 1 1 2 2 1 1 1 3 2 1 1 2 1 1 1 3 1 3 3,8536715873,6275,2,5911333086,3,4183,16,3631
|
||||
49,1583,13,49,2,81,1 1 1 2 2 1 1 1 1 1 2 1 2 2 1 1 3 4 1 1 1 2 1 1 1 1 2 1 1 2 1 1 3 2 3 1 1 2 1 1 1 5 1 1 1 1 4 2 6,791869186926011516637875,157,1,6296357600765304929876724,1,209,16,1583
|
||||
|
@ -0,0 +1,10 @@
|
||||
{
|
||||
"clauses": [
|
||||
2607
|
||||
],
|
||||
"covered": [
|
||||
2607,
|
||||
6703
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,19 @@
|
||||
{
|
||||
"clauses": [
|
||||
559,
|
||||
1583,
|
||||
3631,
|
||||
4655,
|
||||
5679,
|
||||
7727
|
||||
],
|
||||
"covered": [
|
||||
559,
|
||||
1583,
|
||||
3631,
|
||||
4655,
|
||||
5679,
|
||||
7727
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E16_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E16_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 16,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 1,
|
||||
"covered": 2,
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E16_palier2p13/certificats/certificat_D8_E16_palier2p13.json"
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 49,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E16_palier2p13/candidats/candidats_F9to49_E16_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E16_palier2p13/certificats/certificat_F9to49_E16_palier2p13.json",
|
||||
"clauses": 6,
|
||||
"covered": 6
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E16_palier2p13/audits/verification_H6_E16_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
559,
|
||||
1583,
|
||||
2607,
|
||||
3631
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
559,
|
||||
1583,
|
||||
2607,
|
||||
3631,
|
||||
4655,
|
||||
5679,
|
||||
6703,
|
||||
7727
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,11 @@
|
||||
{
|
||||
"noyau": [
|
||||
559,
|
||||
1583,
|
||||
3631,
|
||||
4655,
|
||||
5679,
|
||||
7727
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,25 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E17) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E17_palier2p13/noyaux/noyau_E17_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E17_palier2p13/noyaux/noyau_Lift_E17_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E17_palier2p13/certificats/certificat_F9to26_E17_palier2p13.json`
|
||||
- covered : 8 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
|
@ -0,0 +1,9 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,4199,13,9,2,17,1 1 2 1 1 1 2 6 2,57515,631,1,314484,1,841,17,103
|
||||
10,6247,13,10,2,17,1 1 2 1 1 1 2 2 2 4,88577,2815,1,157020,2,3753,17,2151
|
||||
11,5223,13,11,1,17,1 1 2 1 1 1 2 1 2 2 3,260611,7061,2,38922,11,4707,17,1127
|
||||
12,1127,13,12,1,22,1 1 2 1 1 1 2 1 3 1 1 7,851465,143,2,11520030,1,95,17,1127
|
||||
12,7271,13,12,2,21,1 1 2 1 1 1 2 1 1 4 2 4,943625,1843,1,4165692,1,2457,17,3175
|
||||
26,103,13,26,2,42,1 1 2 1 1 1 2 3 1 1 2 1 2 1 1 1 1 1 3 1 1 1 4 2 2 4,6468656859457,61,1,3026676219996,8,81,17,103
|
||||
26,2151,13,26,1,41,1 1 2 1 1 1 2 2 1 1 1 2 1 1 1 2 2 1 3 2 3 1 2 1 2 3,5815486333249,2489,2,1513338109998,7,1659,17,2151
|
||||
26,3175,13,26,2,42,1 1 2 1 1 1 2 1 1 1 1 1 1 1 3 6 1 2 2 1 1 1 2 1 4 2,8787435953473,1837,1,3026676219996,11,2449,17,3175
|
||||
|
@ -0,0 +1,23 @@
|
||||
{
|
||||
"clauses": [
|
||||
103,
|
||||
1127,
|
||||
2151,
|
||||
3175,
|
||||
4199,
|
||||
5223,
|
||||
6247,
|
||||
7271
|
||||
],
|
||||
"covered": [
|
||||
103,
|
||||
1127,
|
||||
2151,
|
||||
3175,
|
||||
4199,
|
||||
5223,
|
||||
6247,
|
||||
7271
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E17_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E17_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 17,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 0,
|
||||
"covered": 0,
|
||||
"certificate": ""
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 26,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E17_palier2p13/candidats/candidats_F9to26_E17_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E17_palier2p13/certificats/certificat_F9to26_E17_palier2p13.json",
|
||||
"clauses": 8,
|
||||
"covered": 8
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E17_palier2p13/audits/verification_H6_E17_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
103,
|
||||
1127,
|
||||
2151,
|
||||
3175
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
103,
|
||||
1127,
|
||||
2151,
|
||||
3175,
|
||||
4199,
|
||||
5223,
|
||||
6247,
|
||||
7271
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
103,
|
||||
1127,
|
||||
2151,
|
||||
3175,
|
||||
4199,
|
||||
5223,
|
||||
6247,
|
||||
7271
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,27 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E18) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E18_palier2p13/noyaux/noyau_E18_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E18_palier2p13/noyaux/noyau_Lift_E18_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E18_palier2p13/certificats/certificat_D8_E18_palier2p13.json`
|
||||
- covered : 2 classes
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E18_palier2p13/certificats/certificat_F9to36_E18_palier2p13.json`
|
||||
- covered : 6 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1,2 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
7911,3815,13,13
|
||||
|
@ -0,0 +1,7 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
10,2791,13,10,1,18,1 1 2 1 1 2 1 1 1 7,82817,629,2,668334,1,419,18,2791
|
||||
10,5863,13,10,2,18,1 1 2 1 1 2 1 2 1 6,87937,1321,1,550236,1,1761,18,1767
|
||||
12,1767,13,12,1,19,1 1 2 1 1 2 1 2 2 2 1 3,992137,1793,2,509982,3,1195,18,1767
|
||||
12,4839,13,12,1,19,1 1 2 1 1 2 1 1 4 1 1 3,1038217,4907,2,509982,4,3271,18,743
|
||||
16,743,13,16,1,27,1 1 2 1 1 2 1 1 2 2 1 2 1 2 4 3,94323289,239,2,316559742,1,159,18,743
|
||||
36,6887,13,36,1,57,1 1 2 1 1 2 1 1 1 1 2 1 1 1 2 1 1 1 2 1 2 1 1 1 1 2 4 2 1 2 1 3 6 1 1 3,324721153832935273,7175,2,132156293633569374,4,4783,18,2791
|
||||
|
@ -0,0 +1,10 @@
|
||||
{
|
||||
"clauses": [
|
||||
7911
|
||||
],
|
||||
"covered": [
|
||||
3815,
|
||||
7911
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,19 @@
|
||||
{
|
||||
"clauses": [
|
||||
743,
|
||||
1767,
|
||||
2791,
|
||||
4839,
|
||||
5863,
|
||||
6887
|
||||
],
|
||||
"covered": [
|
||||
743,
|
||||
1767,
|
||||
2791,
|
||||
4839,
|
||||
5863,
|
||||
6887
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E18_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E18_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 18,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 1,
|
||||
"covered": 2,
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E18_palier2p13/certificats/certificat_D8_E18_palier2p13.json"
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 36,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E18_palier2p13/candidats/candidats_F9to36_E18_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E18_palier2p13/certificats/certificat_F9to36_E18_palier2p13.json",
|
||||
"clauses": 6,
|
||||
"covered": 6
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E18_palier2p13/audits/verification_H6_E18_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
743,
|
||||
1767,
|
||||
2791,
|
||||
3815
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
743,
|
||||
1767,
|
||||
2791,
|
||||
3815,
|
||||
4839,
|
||||
5863,
|
||||
6887,
|
||||
7911
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,11 @@
|
||||
{
|
||||
"noyau": [
|
||||
743,
|
||||
1767,
|
||||
2791,
|
||||
4839,
|
||||
5863,
|
||||
6887
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,27 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E19) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E19_palier2p13/noyaux/noyau_E19_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E19_palier2p13/noyaux/noyau_Lift_E19_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E19_palier2p13/certificats/certificat_D8_E19_palier2p13.json`
|
||||
- covered : 2 classes
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E19_palier2p13/certificats/certificat_F9to35_E19_palier2p13.json`
|
||||
- covered : 6 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1,2 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
1191,5287,13,13
|
||||
|
@ -0,0 +1,7 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,3239,13,9,1,14,1 1 2 1 2 1 1 2 3,29675,3893,2,9786,5,2595,19,3239
|
||||
15,7335,13,15,1,24,1 1 2 1 2 1 1 2 1 1 1 3 1 3 3,27797555,6275,2,21633834,2,4183,19,3239
|
||||
18,167,13,18,2,30,1 1 2 1 2 1 1 1 1 1 3 1 1 1 4 2 2 4,799029601,61,1,1671543516,2,81,19,167
|
||||
21,6311,13,21,2,36,1 1 2 1 2 1 1 1 3 1 1 1 1 1 3 2 1 2 3 1 6,24128079163,961,1,164317017396,1,1281,19,2215
|
||||
27,2215,13,27,2,44,1 1 2 1 2 1 1 1 2 1 2 1 1 1 3 1 1 1 1 1 3 2 1 2 3 1 6,15392359437571,961,1,22274168193300,2,1281,19,2215
|
||||
35,4263,13,35,1,57,1 1 2 1 2 1 1 1 1 2 1 3 1 2 3 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3,150116783306795491,1481,2,332282474029568202,1,987,19,167
|
||||
|
@ -0,0 +1,10 @@
|
||||
{
|
||||
"clauses": [
|
||||
1191
|
||||
],
|
||||
"covered": [
|
||||
1191,
|
||||
5287
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,19 @@
|
||||
{
|
||||
"clauses": [
|
||||
167,
|
||||
2215,
|
||||
3239,
|
||||
4263,
|
||||
6311,
|
||||
7335
|
||||
],
|
||||
"covered": [
|
||||
167,
|
||||
2215,
|
||||
3239,
|
||||
4263,
|
||||
6311,
|
||||
7335
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
25
docs/artefacts/collatz/local_E19_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E19_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 19,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 8,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 1,
|
||||
"covered": 2,
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E19_palier2p13/certificats/certificat_D8_E19_palier2p13.json"
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 35,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E19_palier2p13/candidats/candidats_F9to35_E19_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E19_palier2p13/certificats/certificat_F9to35_E19_palier2p13.json",
|
||||
"clauses": 6,
|
||||
"covered": 6
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E19_palier2p13/audits/verification_H6_E19_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -0,0 +1,9 @@
|
||||
{
|
||||
"noyau": [
|
||||
167,
|
||||
1191,
|
||||
2215,
|
||||
3239
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,13 @@
|
||||
{
|
||||
"noyau": [
|
||||
167,
|
||||
1191,
|
||||
2215,
|
||||
3239,
|
||||
4263,
|
||||
5287,
|
||||
6311,
|
||||
7335
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,11 @@
|
||||
{
|
||||
"noyau": [
|
||||
167,
|
||||
2215,
|
||||
3239,
|
||||
4263,
|
||||
6311,
|
||||
7335
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -4,35 +4,24 @@
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union de certificats locaux couvre le domaine \(L\) des relèvements impairs de \(B_{12}(E_1)\) au palier \(2^{13}\).
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine \(L\)
|
||||
## Domaine
|
||||
|
||||
Entrée :
|
||||
|
||||
- `docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_E1_B12.json` (palier 12)
|
||||
|
||||
Définition :
|
||||
|
||||
- \(L = \mathrm{Lift}_{12\to 13}(B_{12}(E_1)) = \{r, r+2^{12} \mid r\in B_{12}(E_1)\}\)
|
||||
- \(|B_{12}(E_1)|=16\), donc \(|L|=32\).
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_E1_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_Lift_E1_palier2p13.json`
|
||||
- taille : 32
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- Descente :
|
||||
- `docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_D8_E1_palier2p13.json`
|
||||
- `covered` : 2 classes
|
||||
- Fusion :
|
||||
- `docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_F9to40_E1_palier2p13.json`
|
||||
- `covered` : 30 classes
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_D8_E1_palier2p13.json`
|
||||
- covered : 2 classes
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_F9to36_E1_palier2p13.json`
|
||||
- covered : 30 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
Soit \(U\) l’union des ensembles `covered` des certificats ci-dessus.
|
||||
|
||||
- \(|L|=32\)
|
||||
- \(|U|=32\)
|
||||
- \(L\setminus U=\varnothing\)
|
||||
|
||||
Conclusion : au palier \(2^{13}\), la complétude locale H6(E1) est satisfaite sur \(L\) au sens “certifié D/F”.
|
||||
- |L| = 32
|
||||
- |U| = 32
|
||||
- |L \ U| = 0
|
||||
|
||||
|
||||
@ -1,2 +1,2 @@
|
||||
classe_mod_2^13,sœur,mot_a0..a7,A8,C8,delta,N0,U^8(n),etat_id,base_mod_4096
|
||||
255,4351,1 1 1 1 1 1 1 6,13,6305,1631,4,205,1,255
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
255,4351,13,13
|
||||
|
||||
|
@ -0,0 +1,31 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,2303,13,9,1,18,1 1 1 1 1 1 1 4 7,20963,173,2,747066,1,115,1,2303
|
||||
9,2815,13,9,1,14,1 1 1 1 1 1 1 2 5,19427,3383,2,9786,3,2255,1,2815
|
||||
9,5631,13,9,1,15,1 1 1 1 1 1 1 1 7,19171,3383,2,58938,1,2255,1,1535
|
||||
10,767,13,10,1,18,1 1 1 1 1 1 1 2 2 7,60329,173,2,668334,1,115,1,767
|
||||
10,1535,13,10,1,19,1 1 1 1 1 1 1 1 4 7,61609,173,2,1454766,1,115,1,1535
|
||||
10,5375,13,10,1,18,1 1 1 1 1 1 1 3 3 5,68009,1211,2,668334,1,807,1,1279
|
||||
11,511,13,11,1,19,1 1 1 1 1 1 1 1 2 2 7,179707,173,2,1218570,1,115,1,511
|
||||
11,1023,13,11,1,20,1 1 1 1 1 1 1 1 1 4 7,182267,173,2,2791434,1,115,1,1023
|
||||
11,1791,13,11,1,18,1 1 1 1 1 1 1 2 1 3 5,186107,1211,2,432138,1,807,1,1791
|
||||
11,3327,13,11,1,18,1 1 1 1 1 1 1 3 1 2 5,193787,2249,2,432138,1,1499,1,3327
|
||||
11,3583,13,11,1,19,1 1 1 1 1 1 1 1 3 3 5,195067,1211,2,1218570,1,807,1,3583
|
||||
11,6399,13,11,1,18,1 1 1 1 1 1 1 4 1 1 5,209147,4325,2,432138,1,2883,1,2303
|
||||
14,1279,13,14,1,24,1 1 1 1 1 1 1 3 2 1 1 2 3 5,6266489,365,2,40765710,1,243,1,1279
|
||||
15,5887,13,15,1,26,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5,18044267,1259,2,172628778,1,839,1,1791
|
||||
21,4863,13,21,1,35,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3,18074896819,1481,2,82158508698,1,987,1,767
|
||||
21,7167,13,21,1,33,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5,12187647667,8729,2,4849097370,4,5819,1,3071
|
||||
22,6655,13,22,1,41,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9,66257579545,95,2,6534307647438,1,63,1,2559
|
||||
23,3839,13,23,1,36,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3,117503591243,5261,2,17872072554,10,3507,1,3839
|
||||
23,7423,13,23,1,38,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5,189700925771,2543,2,636347363178,1,1695,1,3327
|
||||
23,7679,13,23,1,37,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3,140864003659,5261,2,224030502762,1,3507,1,3583
|
||||
24,5119,13,24,1,38,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3,375871186145,5261,2,259774647870,2,3507,1,1023
|
||||
25,2559,13,25,1,40,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3,1124890037411,1973,2,1603957664442,1,1315,1,2559
|
||||
25,7935,13,25,1,42,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5,1377999547811,1529,2,11499562314426,1,1019,1,3839
|
||||
27,8191,13,27,1,44,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5,8583644192699,3551,2,37525363163274,1,2367,1,4095
|
||||
29,6911,13,29,1,47,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,121535277104275,3371,2,284951710336218,1,2247,1,2815
|
||||
30,4607,13,30,1,48,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,311700931573433,3371,2,432642665942670,1,2247,1,511
|
||||
31,3071,13,31,1,49,1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,829292995241515,3371,2,453503067696042,3,2247,1,3071
|
||||
31,6143,13,31,1,50,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,1040912594199083,3371,2,2142352927959978,1,2247,1,2047
|
||||
32,4095,13,32,1,51,1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,2699498584682113,3371,2,3049359063352062,2,2247,1,4095
|
||||
36,2047,13,36,1,58,1 1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3,298092900919230161,1067,2,564501857861136990,1,711,1,2047
|
||||
|
@ -1,614 +0,0 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,2303,13,9,1,18,1 1 1 1 1 1 1 4 7,20963,173,2,747066,1,115,1,2303
|
||||
9,2815,13,9,1,14,1 1 1 1 1 1 1 2 5,19427,3383,2,9786,3,2255,1,2815
|
||||
9,5631,13,9,1,15,1 1 1 1 1 1 1 1 7,19171,3383,2,58938,1,2255,1,1535
|
||||
10,767,13,10,1,18,1 1 1 1 1 1 1 2 2 7,60329,173,2,668334,1,115,1,767
|
||||
10,1535,13,10,1,19,1 1 1 1 1 1 1 1 4 7,61609,173,2,1454766,1,115,1,1535
|
||||
10,2303,13,10,1,21,1 1 1 1 1 1 1 4 7 3,325033,65,2,6173358,1,43,1,2303
|
||||
10,5375,13,10,1,18,1 1 1 1 1 1 1 3 3 5,68009,1211,2,668334,1,807,1,1279
|
||||
10,5631,13,10,1,16,1 1 1 1 1 1 1 1 7 1,90281,5075,2,78510,2,3383,1,1535
|
||||
11,511,13,11,1,19,1 1 1 1 1 1 1 1 2 2 7,179707,173,2,1218570,1,115,1,511
|
||||
11,767,13,11,1,21,1 1 1 1 1 1 1 2 2 7 3,443131,65,2,5937162,1,43,1,767
|
||||
11,1023,13,11,1,20,1 1 1 1 1 1 1 1 1 4 7,182267,173,2,2791434,1,115,1,1023
|
||||
11,1535,13,11,1,22,1 1 1 1 1 1 1 1 4 7 3,709115,65,2,12228618,1,43,1,1535
|
||||
11,1791,13,11,1,18,1 1 1 1 1 1 1 2 1 3 5,186107,1211,2,432138,1,807,1,1791
|
||||
11,2303,13,11,2,23,1 1 1 1 1 1 1 4 7 3 2,3072251,49,1,24457236,1,65,1,2303
|
||||
11,3327,13,11,1,18,1 1 1 1 1 1 1 3 1 2 5,193787,2249,2,432138,1,1499,1,3327
|
||||
11,3583,13,11,1,19,1 1 1 1 1 1 1 1 3 3 5,195067,1211,2,1218570,1,807,1,3583
|
||||
11,5375,13,11,1,19,1 1 1 1 1 1 1 3 3 5 1,466171,1817,2,1218570,1,1211,1,1279
|
||||
11,5631,13,11,1,17,1 1 1 1 1 1 1 1 7 1 1,336379,7613,2,38922,14,5075,1,1535
|
||||
11,6399,13,11,1,18,1 1 1 1 1 1 1 4 1 1 5,209147,4325,2,432138,1,2883,1,2303
|
||||
12,511,13,12,1,22,1 1 1 1 1 1 1 1 2 2 7 3,1063409,65,2,11520030,1,43,1,511
|
||||
12,767,13,12,2,23,1 1 1 1 1 1 1 2 2 7 3 2,3426545,49,1,23040060,1,65,1,767
|
||||
12,1023,13,12,1,23,1 1 1 1 1 1 1 1 1 4 7 3,1595377,65,2,24102942,1,43,1,1023
|
||||
12,1535,13,12,2,24,1 1 1 1 1 1 1 1 4 7 3 2,6321649,49,1,48205884,1,65,1,1535
|
||||
12,1791,13,12,1,19,1 1 1 1 1 1 1 2 1 3 5 1,820465,1817,2,509982,3,1211,1,1791
|
||||
12,2303,13,12,2,25,1 1 1 1 1 1 1 4 7 3 2 2,17605361,37,1,98537532,1,49,1,2303
|
||||
12,2815,13,12,1,19,1 1 1 1 1 1 1 2 5 1 1 3,835825,2855,2,509982,3,1903,1,2815
|
||||
12,3327,13,12,2,20,1 1 1 1 1 1 1 3 1 2 5 2,843505,1687,1,1019964,3,2249,1,3327
|
||||
12,3583,13,12,1,20,1 1 1 1 1 1 1 1 3 3 5 1,1109489,1817,2,2082846,1,1211,1,3583
|
||||
12,5375,13,12,2,21,1 1 1 1 1 1 1 3 3 5 1 2,1922801,1363,1,4165692,2,1817,1,1279
|
||||
12,5631,13,12,1,20,1 1 1 1 1 1 1 1 7 1 1 3,1140209,2855,2,2082846,1,1903,1,1535
|
||||
12,6399,13,12,2,22,1 1 1 1 1 1 1 4 1 1 5 4,889585,811,1,10457148,1,1081,1,2303
|
||||
13,511,13,13,2,24,1 1 1 1 1 1 1 1 2 2 7 3 2,7384531,49,1,43954356,1,65,1,511
|
||||
13,767,13,13,2,25,1 1 1 1 1 1 1 2 2 7 3 2 2,18668243,37,1,94286004,1,49,1,767
|
||||
13,1023,13,13,2,25,1 1 1 1 1 1 1 1 1 4 7 3 2,13174739,49,1,94286004,1,65,1,1023
|
||||
13,1535,13,13,2,26,1 1 1 1 1 1 1 1 4 7 3 2 2,35742163,37,1,194949300,1,49,1,1535
|
||||
13,2303,13,13,2,29,1 1 1 1 1 1 1 4 7 3 2 2 4,86370515,7,1,1604235444,1,9,1,2303
|
||||
13,3327,13,13,1,21,1 1 1 1 1 1 1 3 1 2 5 2 1,3579091,2531,2,3102810,2,1687,1,3327
|
||||
13,3583,13,13,2,22,1 1 1 1 1 1 1 1 3 3 5 1 2,4377043,1363,1,6205620,3,1817,1,3583
|
||||
13,5375,13,13,1,22,1 1 1 1 1 1 1 3 3 5 1 2 1,7865555,2045,2,9394266,2,1363,1,1279
|
||||
13,5631,13,13,1,21,1 1 1 1 1 1 1 1 7 1 1 3 1,4469203,4283,2,3102810,3,2855,1,1535
|
||||
13,6399,13,13,1,23,1 1 1 1 1 1 1 4 1 1 5 4 1,6863059,1217,2,21977178,1,811,1,2303
|
||||
14,511,13,14,2,26,1 1 1 1 1 1 1 1 2 2 7 3 2 2,38930809,37,1,182194716,1,49,1,511
|
||||
14,767,13,14,2,29,1 1 1 1 1 1 1 2 2 7 3 2 2 4,89559161,7,1,1591480860,1,9,1,767
|
||||
14,1023,13,14,2,27,1 1 1 1 1 1 1 1 1 4 7 3 2 2,73078649,37,1,383521308,1,49,1,1023
|
||||
14,1279,13,14,1,24,1 1 1 1 1 1 1 3 2 1 1 2 3 5,6266489,365,2,40765710,1,243,1,1279
|
||||
14,1535,13,14,2,30,1 1 1 1 1 1 1 1 4 7 3 2 2 4,174335353,7,1,3202093596,1,9,1,1535
|
||||
14,1791,13,14,1,22,1 1 1 1 1 1 1 2 1 3 5 1 2 1,11054201,2045,2,3016974,6,1363,1,1791
|
||||
14,2303,13,14,1,30,1 1 1 1 1 1 1 4 7 3 2 2 4 1,795982457,11,2,3211659534,1,7,1,2303
|
||||
14,3327,13,14,1,22,1 1 1 1 1 1 1 3 1 2 5 2 1 1,12834425,3797,2,3016974,8,2531,1,3327
|
||||
14,3583,13,14,1,23,1 1 1 1 1 1 1 1 3 3 5 1 2 1,17325433,2045,2,15599886,2,1363,1,3583
|
||||
14,5375,13,14,1,25,1 1 1 1 1 1 1 3 3 5 1 2 1 3,27790969,767,2,91097358,1,511,1,1279
|
||||
14,5631,13,14,1,22,1 1 1 1 1 1 1 1 7 1 1 3 1 1,15504761,6425,2,3016974,9,4283,1,1535
|
||||
14,6399,13,14,2,25,1 1 1 1 1 1 1 4 1 1 5 4 1 2,28977785,913,1,81531420,2,1217,1,2303
|
||||
15,511,13,15,2,30,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4,183901291,7,1,3163829844,1,9,1,511
|
||||
15,767,13,15,1,30,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1,805548395,11,2,3192527658,1,7,1,767
|
||||
15,1023,13,15,2,31,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4,353453675,7,1,6385055316,1,9,1,1023
|
||||
15,1279,13,15,1,27,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3,35576683,137,2,373955370,1,91,1,1279
|
||||
15,1535,13,15,1,31,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1,1596747883,11,2,6413753130,1,7,1,1535
|
||||
15,1791,13,15,1,25,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3,37356907,767,2,71965482,1,511,1,1791
|
||||
15,2303,13,15,1,31,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1,3461689195,17,2,6413753130,1,11,1,2303
|
||||
15,3327,13,15,1,29,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7,42697579,89,2,1581914922,1,59,1,3327
|
||||
15,3583,13,15,1,26,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3,60364907,767,2,172628778,1,511,1,3583
|
||||
15,5375,13,15,1,26,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1,116927339,1151,2,172628778,1,767,1,1279
|
||||
15,5887,13,15,1,26,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5,18044267,1259,2,172628778,1,839,1,1791
|
||||
15,6399,13,15,2,27,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2,120487787,685,1,345257556,2,913,1,2303
|
||||
16,511,13,16,1,31,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1,1625445697,11,2,6356357502,1,7,1,511
|
||||
16,767,13,16,1,31,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1,3490387009,17,2,6356357502,1,11,1,767
|
||||
16,1023,13,16,1,32,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1,3207844673,11,2,12798808446,1,7,1,1023
|
||||
16,1279,13,16,2,29,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2,240947777,103,1,1438425852,1,137,1,1279
|
||||
16,1535,13,16,1,32,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1,6937727297,17,2,12798808446,1,11,1,1535
|
||||
16,1791,13,16,1,26,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1,145625153,1151,2,115233150,2,767,1,1791
|
||||
16,2303,13,16,2,33,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2,12532551233,13,1,25597616892,2,17,1,2303
|
||||
16,3327,13,16,2,31,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2,664963649,67,1,6270264060,1,89,1,3327
|
||||
16,3583,13,16,1,27,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1,248203585,1151,2,316559742,2,767,1,3583
|
||||
16,5375,13,16,1,27,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1,417890881,1727,2,316559742,3,1151,1,1279
|
||||
16,5631,13,16,1,25,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1,168902977,7229,2,14569854,21,4819,1,1535
|
||||
16,5887,13,16,1,27,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1,121241665,1889,2,316559742,1,1259,1,1791
|
||||
16,6399,13,16,1,30,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3,495681089,257,2,3135132030,1,171,1,2303
|
||||
17,511,13,17,1,32,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1,7023820739,17,2,12626621562,1,11,1,511
|
||||
17,767,13,17,2,33,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2,12618644675,13,1,25253243124,2,17,1,767
|
||||
17,1023,13,17,1,33,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1,13918501315,17,2,25511523450,1,11,1,1023
|
||||
17,1279,13,17,1,30,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1,1259714243,155,2,2962945146,1,103,1,1279
|
||||
17,1535,13,17,2,34,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2,25108149187,13,1,51023046900,2,17,1,1535
|
||||
17,1791,13,17,1,27,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1,503984323,1727,2,144372858,7,1151,1,1791
|
||||
17,2303,13,17,1,36,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3,46187588291,5,2,205900149882,1,3,1,2303
|
||||
17,2815,13,17,1,27,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3,334701763,2711,2,144372858,4,1807,1,2815
|
||||
17,3327,13,17,1,32,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1,4142374595,101,2,12626621562,1,67,1,3327
|
||||
17,3583,13,17,1,28,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1,878828483,1727,2,547026042,3,1151,1,3583
|
||||
17,5375,13,17,1,28,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1,1387890371,2591,2,547026042,5,1727,1,1279
|
||||
17,5631,13,17,1,28,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3,540263363,2711,2,547026042,2,1807,1,1535
|
||||
17,5887,13,17,2,29,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2,497942723,1417,1,1094052084,2,1889,1,1791
|
||||
17,6399,13,17,2,32,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2,2560785091,193,1,12368341236,1,257,1,2303
|
||||
18,511,13,18,2,34,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2,25366429513,13,1,49989925596,2,17,1,511
|
||||
18,767,13,18,1,36,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3,46445868617,5,2,205383589230,1,3,1,767
|
||||
18,1023,13,18,2,35,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2,50345438537,13,1,101529533148,2,17,1,1023
|
||||
18,1279,13,18,1,31,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1,4852884553,233,2,5667609966,2,155,1,1279
|
||||
18,1535,13,18,1,37,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3,92504316745,5,2,411542019438,1,3,1,1535
|
||||
18,1791,13,18,1,28,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1,1646170697,2591,2,30465390,100,1727,1,1791
|
||||
18,2303,13,18,2,40,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4,207282241609,1,1,3296985201372,1,1,1,2303
|
||||
18,2815,13,18,1,28,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1,1138323017,4067,2,30465390,66,2711,1,2815
|
||||
18,3327,13,18,2,36,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4,16722091081,19,1,204608748252,1,25,1,3327
|
||||
18,3583,13,18,1,29,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1,2904920905,2591,2,835771758,7,1727,1,3583
|
||||
18,5375,13,18,1,29,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1,4432106569,3887,2,835771758,10,2591,1,1279
|
||||
18,5631,13,18,1,29,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1,1889225545,4067,2,835771758,4,2711,1,1535
|
||||
18,5887,13,18,2,31,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2,2030699081,1063,1,4892768988,2,1417,1,1791
|
||||
18,6399,13,18,2,34,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2,11977322569,145,1,49989925596,1,193,1,2303
|
||||
19,511,13,19,1,37,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3,93279157723,5,2,409992337482,1,3,1,511
|
||||
19,767,13,19,2,40,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4,208057082587,1,1,3293885837460,1,1,1,767
|
||||
19,1023,13,19,1,38,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3,185396053979,5,2,822309197898,1,3,1,1023
|
||||
19,1279,13,19,2,33,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2,16706137307,175,1,21120757908,3,233,1,1279
|
||||
19,1535,13,19,2,41,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4,414951903707,1,1,6592420720788,1,1,1,1535
|
||||
19,2303,13,19,2,42,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2,1721358352603,1,1,13189490487444,1,1,1,2303
|
||||
19,3327,13,19,1,37,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1,118885749979,29,2,409992337482,1,19,1,3327
|
||||
19,3583,13,19,1,30,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1,9251633627,3887,2,896702538,20,2591,1,3583
|
||||
19,5375,13,19,1,30,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1,13833190619,5831,2,896702538,30,3887,1,1279
|
||||
19,5631,13,19,1,30,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1,6204547547,6101,2,896702538,13,4067,1,1535
|
||||
19,5887,13,19,1,32,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1,8239580891,1595,2,10560378954,2,1063,1,1791
|
||||
19,6399,13,19,2,36,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2,53111836891,109,1,201509384340,1,145,1,2303
|
||||
20,511,13,20,2,41,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4,417276426641,1,1,6583122629052,1,1,1,511
|
||||
20,767,13,20,2,42,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2,1723682875537,1,1,13180192395708,1,1,1,767
|
||||
20,1023,13,20,2,42,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4,831066068881,1,1,13180192395708,1,1,1,1023
|
||||
20,1279,13,20,1,34,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1,58708346513,263,2,44566038750,3,175,1,1279
|
||||
20,1535,13,20,2,43,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2,3443878966673,1,1,26374331929020,1,1,1,1535
|
||||
20,2303,13,20,2,44,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2,9562121568913,1,1,52762610995644,1,1,1,2303
|
||||
20,2815,13,20,1,36,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7,11587084433,143,2,199184861406,1,95,1,2815
|
||||
20,3327,13,20,1,40,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3,494096203409,11,2,3291561314526,1,7,1,3327
|
||||
20,5631,13,20,1,37,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7,19687384465,143,2,405343291614,1,95,1,1535
|
||||
20,5887,13,20,1,33,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1,29013709969,2393,2,18796234974,3,1595,1,1791
|
||||
20,6399,13,20,1,39,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3,228054987409,41,2,1642293872862,1,27,1,2303
|
||||
21,511,13,21,2,43,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2,3450852535475,1,1,26346437653812,1,1,1,511
|
||||
21,767,13,21,2,44,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2,9569095137715,1,1,52734716720436,1,1,1,767
|
||||
21,1023,13,21,2,44,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2,6891244717747,1,1,52734716720436,1,1,1,1023
|
||||
21,1279,13,21,1,35,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1,193304908723,395,2,82158508698,5,263,1,1279
|
||||
21,1535,13,21,2,45,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2,19127729922227,1,1,105511274853684,1,1,1,1535
|
||||
21,2303,13,21,2,46,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2,46278550751155,1,1,211064391120180,1,1,1,2303
|
||||
21,2815,13,21,1,37,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1,103480730035,215,2,391396154010,1,143,1,2815
|
||||
21,3327,13,21,1,41,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1,2581800238003,17,2,6576149060250,1,11,1,3327
|
||||
21,4863,13,21,1,35,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3,18074896819,1481,2,82158508698,1,987,1,767
|
||||
21,5631,13,21,1,38,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1,196501106867,215,2,803713014426,1,143,1,1535
|
||||
21,5887,13,21,2,35,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2,95631064499,1795,1,61237802292,6,2393,1,1791
|
||||
21,6399,13,21,2,41,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2,1233920776115,31,1,6555228353844,1,41,1,2303
|
||||
21,7167,13,21,1,33,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5,12187647667,8729,2,4849097370,4,5819,1,3071
|
||||
22,511,13,22,2,45,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2,19148650628633,1,1,105427592028060,1,1,1,511
|
||||
22,767,13,22,2,46,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2,46299471457561,1,1,210980708294556,1,1,1,767
|
||||
22,1023,13,22,2,46,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2,38265920197657,1,1,210980708294556,1,1,1,1023
|
||||
22,1279,13,22,1,36,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1,614274464537,593,2,143396310990,9,395,1,1279
|
||||
22,1535,13,22,2,47,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2,92567561855513,1,1,422086940827548,1,1,1,1535
|
||||
22,2303,13,22,2,48,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2,209204396431129,1,1,844299405893532,1,1,1,2303
|
||||
22,2815,13,22,1,38,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1,447881143577,323,2,761871601614,1,215,1,2815
|
||||
22,3327,13,22,2,43,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2,9944423969561,13,1,26262754828188,2,17,1,3327
|
||||
22,4863,13,22,2,37,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2,88584428825,1111,1,286792621980,1,1481,1,767
|
||||
22,5631,13,22,1,39,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1,864381227545,323,2,1586505322446,1,215,1,1535
|
||||
22,5887,13,22,1,36,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1,321252931865,2693,2,143396310990,5,1795,1,1791
|
||||
22,6399,13,22,1,42,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1,5900785583897,47,2,13131377414094,1,31,1,2303
|
||||
22,6655,13,22,1,41,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9,66257579545,95,2,6534307647438,1,63,1,2559
|
||||
23,511,13,23,2,47,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2,92630323974731,1,1,421835892350676,1,1,1,511
|
||||
23,767,13,23,2,48,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2,209267158550347,1,1,844048357416660,1,1,1,767
|
||||
23,1023,13,23,2,48,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2,185166504770635,1,1,844048357416660,1,1,1,1023
|
||||
23,1279,13,23,2,38,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2,1911542870347,445,1,448061005524,17,593,1,1279
|
||||
23,1535,13,23,2,49,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2,418440173921867,1,1,1688473287548628,1,1,1,1535
|
||||
23,2303,13,23,2,50,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2,909088166004043,1,1,3377323147812564,1,1,1,2303
|
||||
23,2815,13,23,1,39,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1,1618521337675,485,2,1460981084010,2,323,1,2815
|
||||
23,3327,13,23,1,46,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3,38629364930891,5,2,210917946175338,1,3,1,3327
|
||||
23,3839,13,23,1,36,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3,117503591243,5261,2,17872072554,10,3507,1,3839
|
||||
23,4863,13,23,1,38,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1,403192239947,1667,2,636347363178,1,1111,1,767
|
||||
23,5631,13,23,1,40,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1,3142899496523,485,2,3110248525674,2,323,1,1535
|
||||
23,5887,13,23,2,40,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4,1032478272331,505,1,2921962168020,2,673,1,1791
|
||||
23,6399,13,23,1,43,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1,22100403262795,71,2,26199992708970,2,47,1,2303
|
||||
23,6655,13,23,1,42,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1,2397795994187,143,2,13005853175658,1,95,1,2559
|
||||
23,7167,13,23,1,36,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1,169818371147,9821,2,17872072554,16,6547,1,3071
|
||||
23,7423,13,23,1,38,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5,189700925771,2543,2,636347363178,1,1695,1,3327
|
||||
23,7679,13,23,1,37,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3,140864003659,5261,2,224030502762,1,3507,1,3583
|
||||
24,511,13,24,2,49,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2,418628460279521,1,1,1687720142118012,1,1,1,511
|
||||
24,767,13,24,2,50,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2,909276452361697,1,1,3376570002381948,1,1,1,767
|
||||
24,1023,13,24,2,50,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2,836974491022561,1,1,3376570002381948,1,1,1,1023
|
||||
24,1279,13,24,1,41,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3,6009506517985,167,2,6032210693694,2,111,1,1279
|
||||
24,1535,13,24,2,51,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2,1818270475186913,1,1,6754269722909820,1,1,1,1535
|
||||
24,2303,13,24,2,52,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2,3853164404854753,1,1,13509669163965564,1,1,1,2303
|
||||
24,2815,13,24,2,43,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4,5405319826913,91,1,25258560920700,1,121,1,2815
|
||||
24,3327,13,24,2,50,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4,186256838970337,1,1,3376570002381948,1,1,1,3327
|
||||
24,3839,13,24,1,39,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3,421230250465,1973,2,1084408368702,1,1315,1,3839
|
||||
24,4863,13,24,1,39,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1,1484454626785,2501,2,1084408368702,3,1667,1,767
|
||||
24,5119,13,24,1,38,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3,375871186145,5261,2,259774647870,2,3507,1,1023
|
||||
24,5375,13,24,1,43,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7,3665334256609,173,2,25823419993662,1,115,1,1279
|
||||
24,5631,13,24,2,44,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4,10528210117345,91,1,51646839987324,1,121,1,1535
|
||||
24,5887,13,24,2,42,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2,4196946444769,379,1,12064421387388,2,505,1,1791
|
||||
24,6399,13,24,1,44,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1,75097302810593,107,2,52211699060286,3,71,1,2303
|
||||
24,6655,13,24,1,43,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1,11591434493665,215,2,25823419993662,1,143,1,2559
|
||||
24,7167,13,24,1,39,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3,578174590177,3683,2,1084408368702,1,2455,1,3071
|
||||
24,7423,13,24,1,39,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1,843980684257,3815,2,1084408368702,2,2543,1,3327
|
||||
24,7679,13,24,1,40,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3,560030964449,1973,2,2733675810366,1,1315,1,3583
|
||||
25,511,13,25,2,51,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2,1818835334259875,1,1,6752010286617972,1,1,1,511
|
||||
25,767,13,25,2,52,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2,3853729263927715,1,1,13507409727673716,1,1,1,767
|
||||
25,1023,13,25,2,52,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2,3636823379910307,1,1,13507409727673716,1,1,1,1023
|
||||
25,1279,13,25,1,42,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1,20227542809507,251,2,11499562314426,4,167,1,1279
|
||||
25,1535,13,25,2,53,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2,7706611239245987,1,1,27018208609785204,1,1,1,1535
|
||||
25,1791,13,25,1,43,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7,4230193329571,173,2,24693701847738,1,115,1,1791
|
||||
25,2303,13,25,2,54,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2,16063092841934755,1,1,54039806374008180,1,1,1,2303
|
||||
25,2559,13,25,1,40,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3,1124890037411,1973,2,1603957664442,1,1315,1,2559
|
||||
25,2815,13,25,1,44,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1,25012052502947,137,2,51081980914362,1,91,1,2815
|
||||
25,3327,13,25,2,52,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2,1684670423753635,1,1,13507409727673716,1,1,1,3327
|
||||
25,3583,13,25,1,44,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7,7613098049699,173,2,51081980914362,1,115,1,3583
|
||||
25,3839,13,25,1,44,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5,1813446565283,185,2,51081980914362,1,123,1,3839
|
||||
25,4863,13,25,2,43,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4,5003119694243,469,1,22999124628852,1,625,1,767
|
||||
25,5119,13,25,1,41,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3,1402491465379,1973,2,4902492547770,1,1315,1,1023
|
||||
25,5375,13,25,1,46,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3,19792095792035,65,2,209411655314106,1,43,1,1279
|
||||
25,5631,13,25,1,45,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1,49176816396451,137,2,103858539047610,1,91,1,1535
|
||||
25,5887,13,25,1,43,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1,16988885845411,569,2,24693701847738,2,379,1,1791
|
||||
25,6399,13,25,1,45,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1,242884094476195,161,2,103858539047610,5,107,1,2303
|
||||
25,6655,13,25,1,44,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1,43570396503203,323,2,51081980914362,2,215,1,2559
|
||||
25,7167,13,25,1,40,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1,2284279584419,5525,2,1603957664442,3,3683,1,3071
|
||||
25,7423,13,25,1,40,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1 1,3081697866659,5723,2,1603957664442,4,3815,1,3327
|
||||
25,7679,13,25,1,45,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5,2779604521123,185,2,103858539047610,1,123,1,3583
|
||||
25,7935,13,25,1,42,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5,1377999547811,1529,2,11499562314426,1,1019,1,3839
|
||||
26,511,13,26,2,53,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2,7708305816464873,1,1,27011430300909660,1,1,1,511
|
||||
26,767,13,26,2,54,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2,16064787419153641,1,1,54033028065132636,1,1,1,767
|
||||
26,1023,13,26,2,54,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2,15414069767101417,1,1,54033028065132636,1,1,1,1023
|
||||
26,1279,13,26,1,43,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1,65080674939625,377,2,21304547409966,6,251,1,1279
|
||||
26,1535,13,26,2,55,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2,32127032972478953,1,1,108076223593578588,1,1,1,1535
|
||||
26,1791,13,26,1,46,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3,21486673010921,65,2,206022500876334,1,43,1,1791
|
||||
26,2303,13,26,2,56,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2,66203677035286249,1,1,216162614650470492,1,1,1,2303
|
||||
26,2559,13,26,1,45,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5,4474181740009,185,2,100469384609838,1,123,1,2559
|
||||
26,2815,13,26,2,46,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2,92628343553257,103,1,200938769219676,2,137,1,2815
|
||||
26,3327,13,26,2,54,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2,9557610898631401,1,1,54033028065132636,1,1,1,3327
|
||||
26,3583,13,26,1,47,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3,40431480193513,65,2,417128733409326,1,43,1,3583
|
||||
26,3839,13,26,2,46,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2,23032525740265,139,1,200938769219676,1,185,1,3839
|
||||
26,4863,13,26,1,50,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7,23805452104937,11,2,3372615988871214,1,7,1,767
|
||||
26,5119,13,26,1,46,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5,6406497651689,185,2,206022500876334,1,123,1,1023
|
||||
26,5375,13,26,2,48,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2,129745031553769,49,1,834257466818652,1,65,1,1279
|
||||
26,5631,13,26,2,47,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2,182714821278185,103,1,412045001752668,2,137,1,1535
|
||||
26,5887,13,26,2,45,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2,59762750558441,427,1,95385652953180,3,569,1,1791
|
||||
26,6399,13,26,2,47,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2,763836655517417,121,1,412045001752668,8,161,1,2303
|
||||
26,6655,13,26,1,45,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1,148303375554025,485,2,100469384609838,3,323,1,2559
|
||||
26,7167,13,26,2,46,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6,7952350381033,259,1,200938769219676,1,345,1,3071
|
||||
26,7423,13,26,1,41,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1 1 1,10344605227753,8585,2,1513338109998,13,5723,1,3327
|
||||
26,7679,13,26,2,47,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2,43523185652201,139,1,412045001752668,1,185,1,3583
|
||||
26,7935,13,26,2,44,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2,8532045154537,1147,1,42609094819932,1,1529,1,3839
|
||||
27,511,13,27,2,55,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2,32132116704135611,1,1,108055888666951956,1,1,1,511
|
||||
27,767,13,27,2,56,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2,66208760766942907,1,1,216142279723843860,1,1,1,767
|
||||
27,1023,13,27,2,56,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2,64256607810786235,1,1,216142279723843860,1,1,1,1023
|
||||
27,1279,13,27,2,45,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2,204038117841083,283,1,75050726326548,11,377,1,1279
|
||||
27,1535,13,27,2,57,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2,132409895936400827,1,1,432315061837627668,1,1,1,1535
|
||||
27,1791,13,27,2,48,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2,134828763210427,49,1,813922540192020,1,65,1,1791
|
||||
27,2303,13,27,2,58,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2,270668625143786683,1,1,864660626065195284,1,1,1,2303
|
||||
27,2559,13,27,2,47,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2,48606917308859,139,1,391710075126036,1,185,1,2559
|
||||
27,2815,13,27,1,47,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1,348253774837435,155,2,406961270096010,2,103,1,2815
|
||||
27,3327,13,27,2,56,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2,46687231205376187,1,1,216142279723843860,1,1,1,3327
|
||||
27,3583,13,27,2,49,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2,262031928935867,49,1,1658347470323988,1,65,1,3583
|
||||
27,3839,13,27,1,47,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1,139466321398459,209,2,406961270096010,1,139,1,3839
|
||||
27,4863,13,27,1,51,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1,1197316263157435,17,2,6740148246085770,1,11,1,767
|
||||
27,5119,13,27,2,48,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2,89588237132731,139,1,813922540192020,1,185,1,1023
|
||||
27,5375,13,27,2,50,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2,670710071371963,37,1,3347197330587924,1,49,1,1279
|
||||
27,5631,13,27,1,48,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1,688881952189883,155,2,829173735161994,2,103,1,1535
|
||||
27,5887,13,27,1,46,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1,214472623764155,641,2,195855037563018,2,427,1,1791
|
||||
27,6399,13,27,2,49,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2,2432247454907579,91,1,1658347470323988,6,121,1,2303
|
||||
27,6655,13,27,2,49,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4,480094498750907,91,1,1658347470323988,1,121,1,2559
|
||||
27,7167,13,27,1,47,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1,94225795320763,389,2,406961270096010,1,259,1,3071
|
||||
27,7679,13,27,1,48,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1,271307045311931,209,2,829173735161994,1,139,1,3583
|
||||
27,7935,13,27,1,45,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1,43188321508027,1721,2,90301921296522,1,1147,1,3839
|
||||
27,8191,13,27,1,44,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5,8583644192699,3551,2,37525363163274,1,2367,1,4095
|
||||
28,511,13,28,2,57,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2,132425147131370801,1,1,432254057057747772,1,1,1,511
|
||||
28,767,13,28,2,58,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2,270683876338756657,1,1,864599621285315388,1,1,1,767
|
||||
28,1023,13,28,2,58,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2,264827417470286641,1,1,864599621285315388,1,1,1,1023
|
||||
28,1279,13,28,1,46,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1,647298725612081,425,2,165352647623070,8,283,1,1279
|
||||
28,1535,13,28,2,59,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2,541344875885058353,1,1,1729290749740450620,1,1,1,1535
|
||||
28,1791,13,28,2,50,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2,685961266341937,37,1,3286192550708028,1,49,1,1791
|
||||
28,2303,13,28,2,60,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2,1100236251583071793,1,1,3458673006650721084,1,1,1,2303
|
||||
28,2559,13,28,1,48,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1,286558240281905,209,2,798671345222046,1,139,1,2559
|
||||
28,2815,13,28,1,48,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1,1185498812867633,233,2,798671345222046,3,155,1,2815
|
||||
28,3327,13,28,2,58,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2,212119287654056497,1,1,864599621285315388,1,1,1,3327
|
||||
28,3583,13,28,2,51,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2,1349045740228913,37,1,6663892271235900,1,49,1,3583
|
||||
28,3839,13,28,2,49,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2,559136452550705,157,1,1597342690444092,2,209,1,3839
|
||||
28,4863,13,28,2,53,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2,5843748603157553,13,1,26930090594403132,1,17,1,767
|
||||
28,5119,13,28,1,49,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1,550239688108849,209,2,1643096275354014,1,139,1,1023
|
||||
28,5375,13,28,2,54,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4,3138030120958513,7,1,53951688358626108,1,9,1,1279
|
||||
28,5631,13,28,1,49,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1,2348120833280305,233,2,1643096275354014,3,155,1,1535
|
||||
28,5887,13,28,2,48,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2,713786615470129,481,1,752917760312124,4,641,1,1791
|
||||
28,6399,13,28,1,50,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1,7859692318144049,137,2,3331946135617950,5,91,1,2303
|
||||
28,6655,13,28,1,50,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1,2003233449674033,137,2,3331946135617950,1,91,1,2559
|
||||
28,7167,13,28,2,51,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4,423414874317617,73,1,6663892271235900,1,97,1,3071
|
||||
28,7423,13,28,1,44,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1 1 1 2 1,108494609838641,9659,2,7022973223326,29,6439,1,3327
|
||||
28,7679,13,28,2,50,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2,1095396112646449,157,1,3286192550708028,1,209,1,3583
|
||||
28,7935,13,28,2,47,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2,164749336612913,1291,1,330705295246140,2,1721,1,3839
|
||||
28,8191,13,28,1,45,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1,43343118622513,5327,2,59799531356574,1,3551,1,4095
|
||||
29,511,13,29,2,59,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2,541390629469968275,1,1,1729107735400810932,1,1,1,511
|
||||
29,767,13,29,2,60,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2,1100282005167981715,1,1,3458489992311081396,1,1,1,767
|
||||
29,1023,13,29,2,60,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2,1082712628562571667,1,1,3458489992311081396,1,1,1,1023
|
||||
29,1279,13,29,2,48,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1 2,2012264921013907,319,1,569903420672436,14,425,1,1279
|
||||
29,1535,13,29,2,61,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2,2200495379958598547,1,1,6917254506131622324,1,1,1,1535
|
||||
29,1791,13,29,2,54,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4,3183783705868435,7,1,53768674018986420,1,9,1,1791
|
||||
29,2303,13,29,2,62,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2,4453630259356062355,1,1,13834783533772704180,1,1,1,2303
|
||||
29,2559,13,29,2,50,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2,1141149697556371,157,1,3103178211068340,2,209,1,2559
|
||||
29,2815,13,29,2,50,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2,3837971415313555,175,1,3103178211068340,5,233,1,2815
|
||||
29,3327,13,29,2,60,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2,924588239113881235,1,1,3458489992311081396,1,1,1,3327
|
||||
29,3583,13,29,2,55,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4,6298937034371987,7,1,107811869547432372,1,9,1,3583
|
||||
29,3839,13,29,1,52,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3,2240359311073427,59,2,13373538127381722,1,39,1,3839
|
||||
29,4863,13,29,1,56,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3,26538445064213651,5,2,216035521359054042,1,3,1,767
|
||||
29,5119,13,29,2,51,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2,2213669017747859,157,1,6480877931596212,2,209,1,1023
|
||||
29,5375,13,29,1,55,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1,27428488872357523,11,2,107949130302162138,1,7,1,1279
|
||||
29,5631,13,29,2,51,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2,7607312453262227,175,1,6480877931596212,5,233,1,1535
|
||||
29,5887,13,29,2,50,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2,2422834823121043,361,1,3103178211068340,3,481,1,1791
|
||||
29,6399,13,29,2,52,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2,24704976861274771,103,1,13236277372651956,8,137,1,2303
|
||||
29,6655,13,29,2,52,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2,7135600255864723,103,1,13236277372651956,2,137,1,2559
|
||||
29,6911,13,29,1,47,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,121535277104275,3371,2,284951710336218,1,2247,1,2815
|
||||
29,7167,13,29,2,53,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2,3522044436638099,55,1,26747076254763444,1,73,1,3071
|
||||
29,7679,13,29,1,53,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3,4412088244781971,59,2,26884337009493210,1,39,1,3583
|
||||
29,7935,13,29,1,48,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1,634985498194067,1937,2,707164175402202,2,1291,1,3839
|
||||
29,8191,13,29,1,46,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1,165213727956371,7991,2,73845477803226,4,5327,1,4095
|
||||
30,511,13,30,2,61,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2,2200632640713328313,1,1,6916705463112703260,1,1,1,511
|
||||
30,767,13,30,2,62,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2,4453767520110792121,1,1,13834234490753785116,1,1,1,767
|
||||
30,1023,13,30,2,62,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2,4401059390294561977,1,1,13834234490753785116,1,1,1,1023
|
||||
30,1279,13,30,1,49,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1,6318269739752377,479,2,1277067596074638,10,319,1,1279
|
||||
30,1535,13,30,2,63,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2,8907329149089489593,1,1,27669292546035948828,1,1,1,1535
|
||||
30,1791,13,30,1,55,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1,27565749627087289,11,2,107674608792702606,1,7,1,1791
|
||||
30,2303,13,30,2,64,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2,17972576796495574969,1,1,55339408656600276252,1,1,1,2303
|
||||
30,2559,13,30,1,53,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3,4549348999511737,59,2,26609815500033678,1,39,1,2559
|
||||
30,2815,13,30,1,51,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1,12639814152783289,263,2,6343617176866446,4,175,1,2815
|
||||
30,3327,13,30,2,62,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2,3926686221948490681,1,1,13834234490753785116,1,1,1,3327
|
||||
30,3583,13,30,1,56,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1,54925608122079929,11,2,215760999849594510,1,7,1,3583
|
||||
30,3839,13,30,1,53,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1,11224677560590777,89,2,26609815500033678,1,59,1,3839
|
||||
30,4607,13,30,1,48,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,311700931573433,3371,2,432642665942670,1,2247,1,511
|
||||
30,4863,13,30,2,60,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4,151672929230568889,1,1,3457940949292162332,1,1,1,767
|
||||
30,5119,13,30,1,54,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3,8892806866928825,59,2,53631413264256654,1,39,1,1023
|
||||
30,5375,13,30,1,56,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1,118314263636036537,17,2,215760999849594510,1,11,1,1279
|
||||
30,5631,13,30,1,52,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1,25073737173471929,263,2,13099016617922190,4,175,1,1535
|
||||
30,5887,13,30,2,52,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2,8394404376205753,271,1,12687234353732892,3,361,1,1791
|
||||
30,6399,13,30,1,53,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1,78618530211194809,155,2,26609815500033678,6,103,1,2303
|
||||
30,6655,13,30,1,53,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1,25910400394964665,155,2,26609815500033678,2,103,1,2559
|
||||
30,6911,13,30,1,48,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1,505343319668153,5057,2,432642665942670,2,3371,1,2815
|
||||
30,7167,13,30,1,54,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1,19573332564655289,83,2,53631413264256654,1,55,1,3071
|
||||
30,7679,13,30,1,54,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1,22243463989086905,89,2,53631413264256654,1,59,1,3583
|
||||
30,7935,13,30,2,50,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2,2186431471292857,1453,1,2554135192149276,3,1937,1,3839
|
||||
30,8191,13,30,1,47,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1 1,566009928046777,11987,2,10430200876686,96,7991,1,4095
|
||||
31,511,13,31,2,63,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2,8907740931353678891,1,1,27667645416979191636,1,1,1,511
|
||||
31,767,13,31,2,64,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2,17972988578759764267,1,1,55337761527543519060,1,1,1,767
|
||||
31,1023,13,31,2,64,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2,17814864189311073835,1,1,55337761527543519060,1,1,1,1023
|
||||
31,1279,13,31,1,50,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1 1,19517759172678443,719,2,2142352927959978,18,479,1,1279
|
||||
31,1535,13,31,2,65,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2,35945359484123244587,1,1,110677993748672173908,1,1,1,1535
|
||||
31,1791,13,31,1,56,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1,118726045900225835,17,2,214937435321215914,1,11,1,1791
|
||||
31,2303,13,31,2,66,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2,72364474463196276523,1,1,221358458190929483604,1,1,1,2303
|
||||
31,2559,13,31,1,54,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1,22655246253276203,89,2,52807848735878058,1,59,1,2559
|
||||
31,2815,13,31,1,52,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1,40171242272035115,395,2,12275452089543594,7,263,1,2815
|
||||
31,3071,13,31,1,49,1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,829292995241515,3371,2,453503067696042,3,2247,1,3071
|
||||
31,3327,13,31,2,64,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2,16391744684272859947,1,1,55337761527543519060,1,1,1,3327
|
||||
31,3583,13,31,1,57,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1,236834418404167723,17,2,431110217434999722,1,11,1,3583
|
||||
31,3839,13,31,2,55,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2,42681231936513323,67,1,105615697471756116,2,89,1,3839
|
||||
31,4607,13,31,1,49,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1,1216577771430955,5057,2,453503067696042,5,3371,1,511
|
||||
31,4863,13,31,2,62,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2,1607940292298553643,1,1,13832587361697027924,1,1,1,767
|
||||
31,5119,13,31,1,55,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1,44692819110268459,89,2,106851044264324010,1,59,1,1023
|
||||
31,5375,13,31,2,58,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2,427000384946037547,13,1,862220434869999444,2,17,1,1279
|
||||
31,5631,13,31,1,53,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1,79724811147786283,395,2,25786250971655082,6,263,1,1535
|
||||
31,5887,13,31,1,53,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1,29686812755987755,407,2,25786250971655082,2,271,1,1791
|
||||
31,6143,13,31,1,50,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,1040912594199083,3371,2,2142352927959978,1,2247,1,2047
|
||||
31,6399,13,31,1,54,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1,244862789888325419,233,2,52807848735878058,9,155,1,2303
|
||||
31,6655,13,31,1,54,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1,86738400439634987,233,2,52807848735878058,3,155,1,2559
|
||||
31,6911,13,31,2,50,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2,1797504935715115,3793,1,907006135392084,7,5057,1,2815
|
||||
31,7167,13,31,1,55,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1,76734396203447851,125,2,106851044264324010,2,83,1,3071
|
||||
31,7679,13,31,2,56,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2,84744790476742699,67,1,213702088528648020,2,89,1,3583
|
||||
31,7935,13,31,1,53,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3,7685194320721195,545,2,25786250971655082,1,363,1,3839
|
||||
32,511,13,32,2,65,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2,35946594830915812481,1,1,110673052361501902332,1,1,1,511
|
||||
32,767,13,32,2,66,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2,72365709809988844417,1,1,221353516803759212028,1,1,1,767
|
||||
32,1023,13,32,2,66,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2,71891336641642773121,1,1,221353516803759212028,1,1,1,1023
|
||||
32,1279,13,32,1,51,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1 1 1,59679177424877953,1079,2,3049359063352062,39,719,1,1279
|
||||
32,1535,13,32,2,67,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2,144729566599788836993,1,1,442714445688273831420,1,1,1,1535
|
||||
32,1791,13,32,2,58,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2,428235731738605441,13,1,857279047699727868,2,17,1,1791
|
||||
32,2303,13,32,2,68,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2,290880399684427036033,1,1,885436303457303070204,1,1,1,2303
|
||||
32,2559,13,32,2,56,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2,85980137269310593,67,1,208760701358376444,2,89,1,2559
|
||||
32,2815,13,32,1,53,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1,125017326443475841,593,2,23315557386519294,11,395,1,2815
|
||||
32,3327,13,32,2,66,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2 2,67621978126528131457,1,1,221353516803759212028,1,1,1,3327
|
||||
32,3583,13,32,2,59,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2,854618443288359041,13,1,1721970176154863100,2,17,1,3583
|
||||
32,3839,13,32,1,56,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1,164072492828503937,101,2,212466741736080126,2,67,1,3839
|
||||
32,4095,13,32,1,51,1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5,2699498584682113,3371,2,3049359063352062,2,2247,1,4095
|
||||
32,4863,13,32,2,64,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2 2,9435506895323048833,1,1,55332820140373247484,1,1,1,767
|
||||
32,5119,13,32,2,57,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2,170107254349769345,67,1,424933483472160252,2,89,1,1023
|
||||
32,5375,13,32,1,61,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3,1569231530989824385,5,2,6913822987263378174,1,3,1,1279
|
||||
32,5631,13,32,1,54,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1,248181632698099841,593,2,50337155150742270,10,395,1,1535
|
||||
32,5887,13,32,1,54,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1 1,98067637522704257,611,2,50337155150742270,4,407,1,1791
|
||||
32,6143,13,32,1,51,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1,4248637689439873,5057,2,3049359063352062,3,3371,1,2047
|
||||
32,6399,13,32,2,56,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1 2,752602768174458241,175,1,208760701358376444,15,233,1,2303
|
||||
32,6655,13,32,2,56,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1 2,278229599828386945,175,1,208760701358376444,5,233,1,2559
|
||||
32,6911,13,32,2,52,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2,6518414713987969,2845,1,6098718126704124,4,3793,1,2815
|
||||
32,7167,13,32,1,58,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1 3,266231985629307521,47,2,860985088077431550,1,31,1,3071
|
||||
32,7423,13,32,1,51,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1 1 1 2 1 1 2 1 3,10283399210705281,6113,2,3049359063352062,7,4075,1,3327
|
||||
32,7679,13,32,1,57,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1,326291965468156033,101,2,428639523849863934,2,67,1,3583
|
||||
32,7935,13,32,2,55,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3 2,32062782216904577,409,1,100674310301484540,1,545,1,3839
|
||||
32,8191,13,32,1,51,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1 1 1 3,5797776794197633,6743,2,3049359063352062,4,4495,1,4095
|
||||
33,511,13,33,2,67,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2,144733272640166540675,1,1,442699621526763016692,1,1,1,511
|
||||
33,767,13,33,2,68,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2,290884105724804739715,1,1,885421479295792255476,1,1,1,767
|
||||
33,1023,13,33,2,68,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2,289460986219766525827,1,1,885421479295792255476,1,1,1,1023
|
||||
33,1279,13,33,1,52,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1 1 1 1,181289332088319107,1619,2,2392677749000442,150,1079,1,1279
|
||||
33,1535,13,33,2,69,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2,581762652389042923907,1,1,1770865194833850733044,1,1,1,1535
|
||||
33,1791,13,33,1,61,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3,1572937571367528067,5,2,6906410906507970810,1,3,1,1791
|
||||
33,2303,13,33,2,70,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,1167789104232633933955,1,1,3541752625909967688180,1,1,1,2303
|
||||
33,2559,13,33,1,57,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1,329998005845859715,101,2,421227443094456570,2,67,1,2559
|
||||
33,2815,13,33,2,55,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2,384059178585168515,445,1,85850148790669812,18,593,1,2815
|
||||
33,3327,13,33,2,68,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2 2 2,276652910674422600835,1,1,885421479295792255476,1,1,1,3327
|
||||
33,3583,13,33,1,62,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3,3140316082168500611,5,2,13823939934149052666,1,3,1,3583
|
||||
33,3839,13,33,2,60,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4,564275072523439747,19,1,3436528271554318836,1,25,1,3839
|
||||
33,4095,13,33,1,52,1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1,10350295567731587,5057,2,2392677749000442,7,3371,1,4095
|
||||
33,4607,13,33,2,53,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2,14889849616827779,2845,1,4785355498000884,11,3793,1,511
|
||||
33,4863,13,33,2,66,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2 2 2,46753264759678698115,1,1,221338692642248397300,1,1,1,767
|
||||
33,5119,13,33,1,58,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1,654436951125163907,101,2,853573007322024186,2,67,1,1023
|
||||
33,5375,13,33,2,65,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4,7013537602183167107,1,1,110658228199991087604,1,1,1,1279
|
||||
33,5631,13,33,2,56,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2,762559296603781507,445,1,193936539847561716,16,593,1,1535
|
||||
33,5887,13,33,1,55,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1 1 1,312217311077594755,917,2,96968269923780858,7,611,1,1791
|
||||
33,6143,13,33,2,53,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2,14997712882004867,3793,1,4785355498000884,11,5057,1,2047
|
||||
33,6399,13,33,1,57,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1 2 1,2329865898561302659,263,2,421227443094456570,11,175,1,2303
|
||||
33,6655,13,33,1,57,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1 2 1,906746393523088771,263,2,421227443094456570,4,175,1,2559
|
||||
33,6911,13,33,1,55,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3,24058843769334403,1067,2,96968269923780858,1,711,1,2815
|
||||
33,7167,13,33,1,59,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1 3 1,1086926333039634307,71,2,1718264135777159418,1,47,1,3071
|
||||
33,7423,13,33,2,53,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1 1 1 2 1 1 2 1 3 2,33101997445801091,4585,1,4785355498000884,26,6113,1,3327
|
||||
33,7679,13,33,2,61,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4,1122991084480323971,19,1,6895292785374859764,1,25,1,3583
|
||||
33,7935,13,33,2,57,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3 2 2,132217143669677699,307,1,410109321961345524,1,409,1,3839
|
||||
33,8191,13,33,1,52,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1 1 1 3 1,19645130196278147,10115,2,2392677749000442,15,6743,1,4095
|
||||
34,511,13,34,2,69,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2,581773770510176034953,1,1,1770820722349318288860,1,1,1,511
|
||||
34,767,13,34,2,70,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,1167800222353767045001,1,1,3541708153425435243996,1,1,1,767
|
||||
34,1023,13,34,2,70,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2,1163530863838652403337,1,1,3541708153425435243996,1,1,1,1023
|
||||
34,1535,13,34,2,71,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,2335583767525834423433,1,1,7083483015577669154268,1,1,1,1535
|
||||
34,1791,13,34,2,65,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4,7024655723316278153,1,1,110613755715458643420,1,1,1,1791
|
||||
34,2303,13,34,2,72,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,4683958933415313105289,1,1,14167032739882136974812,1,1,1,2303
|
||||
34,2559,13,34,2,61,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4,1134109205613435017,19,1,6850820300842415580,1,25,1,2559
|
||||
34,2815,13,34,1,58,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3,1188206332774469513,167,2,831336765055802094,3,111,1,2815
|
||||
34,3327,13,34,2,70,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2 2 2 2,1125106637202620628361,1,1,3541708153425435243996,1,1,1,3327
|
||||
34,3583,13,34,2,66,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4,14032634264932889737,1,1,221294220157715953116,1,1,1,3583
|
||||
34,3839,13,34,1,61,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1,2845746722177166217,29,2,6884174664241748718,1,19,1,3839
|
||||
34,4607,13,34,1,56,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3,53676748105224329,1067,2,182818418714450670,1,711,1,511
|
||||
34,4863,13,34,2,68,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2 2 2 2,214046770573874300809,1,1,885377006811259811292,1,1,1,767
|
||||
34,5119,13,34,2,62,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4,2251541229527203465,19,1,13768349328483497436,1,25,1,1023
|
||||
34,5375,13,34,2,67,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2,57934100953968604553,1,1,442655149042230572508,1,1,1,1279
|
||||
34,5631,13,34,1,59,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3,2359735483849272457,167,2,1696027893510937326,3,111,1,1535
|
||||
34,5887,13,34,2,61,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1 1 1 6,972680730251748233,43,1,6850820300842415580,1,57,1,1791
|
||||
34,6143,13,34,2,55,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2,54000337900755593,2845,1,41377664258225628,5,3793,1,2047
|
||||
34,6399,13,34,1,58,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1 2 1 1,7133712883759763849,395,2,831336765055802094,17,263,1,2303
|
||||
34,6655,13,34,1,58,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1 2 1 1,2864354368645122185,395,2,831336765055802094,7,263,1,2559
|
||||
34,6911,13,34,1,56,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1,108205328326967177,1601,2,182818418714450670,1,1067,1,2815
|
||||
34,7167,13,34,1,60,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1 3 1 1,3837239751422326409,107,2,3425410150421207790,2,71,1,3071
|
||||
34,7423,13,34,2,55,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1 1 1 2 1 1 2 1 3 2 2,108313191592144265,3439,1,41377664258225628,10,4585,1,3327
|
||||
34,7679,13,34,1,62,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1,5674816262654665865,29,2,13801703691882830574,1,19,1,3583
|
||||
34,7935,13,34,1,58,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3 2 2 1,540766619084888969,461,2,831336765055802094,1,307,1,3839
|
||||
35,511,13,35,2,71,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,2335617121889233756571,1,1,7083349598124071821716,1,1,1,511
|
||||
35,767,13,35,2,72,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,4683992287778712438427,1,1,14166899322428539642260,1,1,1,767
|
||||
35,1023,13,35,2,72,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,4671184212233368513435,1,1,14166899322428539642260,1,1,1,1023
|
||||
35,1279,13,35,1,56,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1 1 1 1 1 3,1654121986931724443,911,2,116109691915784394,28,607,1,1279
|
||||
35,1535,13,35,2,73,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,9367934544012325877147,1,1,28333998771037475283348,1,1,1,1535
|
||||
35,1791,13,35,2,67,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2,57967455317367937691,1,1,442521731588633239956,1,1,1,1791
|
||||
35,2303,13,35,2,74,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,18774243283115584529563,1,1,56668197668255346565524,1,1,1,2303
|
||||
35,2559,13,35,1,62,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1,5708170626053999003,29,2,13734994965084164298,1,19,1,2559
|
||||
35,2815,13,35,1,59,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1,3852849374475120283,251,2,1629319166712271050,5,167,1,2815
|
||||
35,3071,13,35,1,57,1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3,124030677910115227,1067,2,332282474029568202,1,711,1,3071
|
||||
35,3327,13,35,2,72,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2,4555911532325273188507,1,1,14166899322428539642260,1,1,1,3327
|
||||
35,3583,13,35,2,68,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2,115884879089636875675,1,1,885243589357662478740,1,1,1,3583
|
||||
35,3839,13,35,1,64,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3,10843083175745192603,11,2,55240169130930655434,1,7,1,3839
|
||||
35,4095,13,35,2,56,1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2,124677857501177755,2845,1,16046601717784980,27,3793,1,4095
|
||||
35,4607,13,35,1,57,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1,233087838353600923,1601,2,332282474029568202,1,1067,1,511
|
||||
35,4863,13,35,2,70,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2 2 2 2 2,937288216900975728283,1,1,3541574735971837911444,1,1,1,767
|
||||
35,5119,13,35,1,63,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1,11366309707008998299,29,2,27570053020366328010,1,19,1,1023
|
||||
35,5375,13,35,2,69,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2,321376255451582226587,1,1,1770687304895720956308,1,1,1,1279
|
||||
35,5631,13,35,1,60,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1,7655667203851240859,251,2,3358701423622541514,5,167,1,1535
|
||||
35,5887,13,35,1,62,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1 1 1 6 1,5223885199968938651,65,2,13734994965084164298,1,43,1,1791
|
||||
35,6143,13,35,1,58,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3,198029810721230747,1067,2,764628038257135818,1,711,1,2047
|
||||
35,6399,13,35,1,59,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1 2 1 1 1,21689369027431003291,593,2,1629319166712271050,27,395,1,2303
|
||||
35,6655,13,35,1,59,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1 2 1 1 1,8881293482087078299,593,2,1629319166712271050,11,395,1,2559
|
||||
35,6911,13,35,2,58,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2,396673579018829467,1201,1,664564948059136404,2,1601,1,2815
|
||||
35,7167,13,35,1,61,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1 3 1 1 1,12664640758873826203,161,2,6817465937443082442,4,107,1,3071
|
||||
35,7423,13,35,1,56,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1 1 1 2 1 1 2 1 3 2 2 1,360968371795396763,5159,2,116109691915784394,6,3439,1,3327
|
||||
35,7679,13,35,1,65,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3,21636134806391385499,11,2,110580401352059310282,1,7,1,3583
|
||||
35,7935,13,35,1,61,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3 2 2 1 3,1910530233406378651,173,2,6817465937443082442,1,115,1,3839
|
||||
35,8191,13,35,2,57,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1 1 1 3 1 1 4,199324169903355803,2845,1,232219383831568788,3,3793,1,4095
|
||||
36,511,13,36,2,73,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,9368034607102523876561,1,1,28333598518676683285692,1,1,1,511
|
||||
36,767,13,36,2,74,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,18774343346205782528977,1,1,56667797415894554567868,1,1,1,767
|
||||
36,1023,13,36,2,74,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,18735919119569750754001,1,1,56667797415894554567868,1,1,1,1023
|
||||
36,1279,13,36,1,57,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1 1 1 1 1 3 1,5034423554833101265,1367,2,132156293633569374,76,911,1,1279
|
||||
36,1535,13,36,2,75,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,37548536597776268058833,1,1,113336195210330297132220,1,1,1,1535
|
||||
36,1791,13,36,2,69,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2,321476318541780226001,1,1,1770287052534928958652,1,1,1,1791
|
||||
36,2047,13,36,1,58,1 1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3,298092900919230161,1067,2,564501857861136990,1,711,1,2047
|
||||
36,2303,13,36,2,76,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,75212195780825334443473,1,1,226672990799201782260924,1,1,1,2303
|
||||
36,2559,13,36,1,65,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3,21736197896589384913,11,2,110380275171663311454,1,7,1,2559
|
||||
36,2815,13,36,1,60,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1,12135008875728784337,377,2,3158575243226542686,8,251,1,2815
|
||||
36,3071,13,36,1,58,1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1,516207221806201553,1601,2,564501857861136990,2,1067,1,3071
|
||||
36,3327,13,36,2,74,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2,18390101079845464779217,1,1,56667797415894554567868,1,1,1,3327
|
||||
36,3583,13,36,2,70,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2,642802542448263452881,1,1,3541174483611045913788,1,1,1,3583
|
||||
36,3839,13,36,1,65,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1,50975993600945129425,17,2,110380275171663311454,1,11,1,3839
|
||||
36,4095,13,36,1,59,1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3,446091166541461201,1067,2,1429192986316272222,1,711,1,4095
|
||||
36,4607,13,36,2,59,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2,843378703136658641,1201,1,1129003715722273980,3,1601,1,511
|
||||
36,4863,13,36,2,72,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2 2 2 2 2 2,3992456271420338488273,1,1,14166499070067747644604,1,1,1,767
|
||||
36,5119,13,36,1,66,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3,43322301157881770705,11,2,221060739613920621150,1,7,1,1023
|
||||
36,5375,13,36,2,71,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2,1554424576713452331473,1,1,7082949345763279824060,1,1,1,1279
|
||||
36,5631,13,36,1,61,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1,24119923116160569553,377,2,6617339757047083614,7,251,1,1535
|
||||
36,5887,13,36,2,64,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1 1 1 6 1 2,20283341618334203857,49,1,54739853679940658364,2,65,1,1791
|
||||
36,6143,13,36,1,59,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1,882319808315403985,1601,2,1429192986316272222,1,1067,1,2047
|
||||
36,6399,13,36,2,61,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1 2 1 1 1 2,65644567834596433361,445,1,6317150486453085372,42,593,1,2303
|
||||
36,6655,13,36,2,61,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1 2 1 1 1 2,27220341198564658385,445,1,6317150486453085372,17,593,1,2559
|
||||
36,6911,13,36,2,60,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2,1478251113208200145,901,1,2858385972632544444,2,1201,1,2815
|
||||
36,7167,13,36,2,63,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1 3 1 1 1 2,40299765285835172561,121,1,27069737569376330940,6,161,1,3071
|
||||
36,7423,13,36,1,57,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1 1 1 2 1 1 2 1 3 2 2 1 1,1154962709424118225,7739,2,132156293633569374,17,5159,1,3327
|
||||
36,7679,13,36,1,66,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1,101801892566593259729,17,2,221060739613920621150,1,11,1,3583
|
||||
36,7935,13,36,1,64,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3 2 2 1 3 3,8037433709432829905,65,2,55040042950534656606,1,43,1,3839
|
||||
36,8191,13,36,1,60,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1 1 1 3 1 1 4 3,742087697785923281,1067,2,3158575243226542686,1,711,1,4095
|
||||
37,511,13,37,2,75,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,37548836787046862057075,1,1,113334994453247921139252,1,1,1,511
|
||||
37,767,13,37,2,76,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,75212495970095928441715,1,1,226671790042119406267956,1,1,1,767
|
||||
37,1023,13,37,2,76,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,75097223290187833116787,1,1,226671790042119406267956,1,1,1,1023
|
||||
37,1535,13,37,2,77,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,150424541656285965886067,1,1,453345381219862376525364,1,1,1,1535
|
||||
37,1791,13,37,2,71,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2,1554724765984046329715,1,1,7081748588680903831092,1,1,1,1791
|
||||
37,2047,13,37,1,59,1 1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1,1182509078909402227,1601,2,828814445128275738,3,1067,1,2047
|
||||
37,2303,13,37,2,78,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,301194451068390326749555,1,1,906692563575348317040180,1,1,1,2303
|
||||
37,2559,13,37,1,66,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1,102102081837187257971,17,2,220460361072732624666,1,11,1,2559
|
||||
37,2815,13,37,2,62,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1 2,37557948131793199987,283,1,12033922431718174260,13,377,1,2815
|
||||
37,3071,13,37,2,60,1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2,1836852041570316403,1201,1,1657628890256551476,4,1601,1,3071
|
||||
37,3327,13,37,2,76,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2,74059769171014975192435,1,1,226671790042119406267956,1,1,1,3327
|
||||
37,3583,13,37,2,72,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2,3108999248062201662067,1,1,14165298312985371651636,1,1,1,3583
|
||||
37,3839,13,37,2,67,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2,189821468950254491507,13,1,440920722145465249332,2,17,1,3839
|
||||
37,4095,13,37,1,60,1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1,1914734251927807091,1601,2,2558196702038546202,2,1067,1,4095
|
||||
37,4607,13,37,2,61,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2,3106596861713399411,901,1,5116393404077092404,2,1201,1,511
|
||||
37,4863,13,37,2,74,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2 2 2 2 2 2 2,16699735297130660678515,1,1,56666596658812178574900,1,1,1,767
|
||||
37,5119,13,37,1,67,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1,203753879768483518579,17,2,441821289957247244058,1,11,1,1023
|
||||
37,5375,13,37,2,73,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2,7024456971575179601267,1,1,28332397761594307292724,1,1,1,1279
|
||||
37,5631,13,37,2,63,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1 2,74665612357695402611,283,1,25868980487000337972,12,377,1,1535
|
||||
37,5887,13,37,2,66,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1 1 1 6 1 2 2,79296768928712163187,37,1,219559793260950629940,2,49,1,1791
|
||||
37,6143,13,37,2,61,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2,3223420177249635443,1201,1,5116393404077092404,3,1601,1,2047
|
||||
37,6399,13,37,1,64,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1 2 1 1 1 2 3,199239546513002994035,167,2,54439664409346660122,7,111,1,2303
|
||||
37,6655,13,37,1,64,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1 2 1 1 1 2 3,83966866604907669107,167,2,54439664409346660122,3,111,1,2559
|
||||
37,6911,13,37,2,64,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4,5587674844231447411,169,1,53539096597564665396,1,225,1,2815
|
||||
37,7167,13,37,2,65,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1 3 1 1 1 2 2,130122667894360293491,91,1,108879328818693320244,5,121,1,3071
|
||||
37,7679,13,37,2,68,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2,379192653994617985651,13,1,883642579914494488116,2,17,1,3583
|
||||
37,7935,13,37,2,66,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3 2 2 1 3 3 2,42559045202008041331,49,1,219559793260950629940,1,65,1,3839
|
||||
37,8191,13,37,1,61,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1 1 1 3 1 1 4 3 1,3379184597964616819,1601,2,6016961215859087130,1,1067,1,4095
|
||||
38,511,13,38,2,77,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,150425442224097747880793,1,1,453341778948615248546460,1,1,1,511
|
||||
38,767,13,38,2,78,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,301195351636202108744281,1,1,906688961304101189061276,1,1,1,767
|
||||
38,1023,13,38,2,78,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,300849533596477822769497,1,1,906688961304101189061276,1,1,1,1023
|
||||
38,1535,13,38,2,79,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,602389352420686544496473,1,1,1813383326015073070090908,1,1,1,1535
|
||||
38,1791,13,38,2,73,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2,7025357539386961595993,1,1,28328795490347179313820,1,1,1,1791
|
||||
38,2047,13,38,2,61,1 1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2,4123987989031630169,1201,1,1514122156949113500,10,1601,1,2047
|
||||
38,2303,13,38,2,80,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,1205814808108828273925209,1,1,3626772055437016832150172,1,1,1,2303
|
||||
38,2559,13,38,2,68,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2,380093221806399980377,13,1,880040308667366509212,2,17,1,2559
|
||||
38,2815,13,38,1,63,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1 2 1,117285530413806987865,425,2,24968412675218343246,10,283,1,2815
|
||||
38,3071,13,38,2,62,1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2,6663477629317796185,901,1,8431651184590195356,3,1201,1,3071
|
||||
38,3327,13,38,2,78,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2,297737171238959248996441,1,1,906688961304101189061276,1,1,1,3327
|
||||
38,3583,13,38,2,74,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2,14049364227056250199897,1,1,56662994387565050595996,1,1,1,3583
|
||||
38,3839,13,38,1,70,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3,717038359440439887449,5,2,3539073158716887926094,1,3,1,3839
|
||||
38,4095,13,38,2,62,1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2,6897124260390268249,1201,1,8431651184590195356,3,1601,1,4095
|
||||
38,4607,13,38,2,65,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4,11625633594353892185,169,1,105277057571565341340,1,225,1,511
|
||||
38,4863,13,38,2,76,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2 2 2 2 2 2 2 2,68988671822870562890329,1,1,226668187770872278289052,1,1,1,767
|
||||
38,5119,13,38,2,69,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2,758835591895126968665,13,1,1765484024205424986780,2,17,1,1023
|
||||
38,5375,13,38,2,75,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2,30518103880464829231193,1,1,113331392182000793160348,1,1,1,1279
|
||||
38,5631,13,38,1,64,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1 2 1,233220209109940983641,425,2,52638528785782670670,9,283,1,1535
|
||||
38,5887,13,38,2,70,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1 1 1 6 1 2 2 4,311677283080974696025,7,1,3536371455281541941916,1,9,1,1791
|
||||
38,6143,13,38,2,63,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2,11976103540962600281,901,1,22266709239872359068,2,1201,1,2047
|
||||
38,6399,13,38,1,65,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1 2 1 1 1 2 3 1,616165383612718533721,251,2,107978761006911325518,12,167,1,2303
|
||||
38,6655,13,38,1,65,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1,270347343888432558937,251,2,107978761006911325518,5,167,1,2559
|
||||
38,6911,13,38,2,66,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4 2,35209768606403893849,127,1,215957522013822651036,1,169,1,2815
|
||||
38,7167,13,38,1,66,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1 3 1 1 1 2 2 1,427261491830499983705,137,2,218659225449168635214,4,91,1,3071
|
||||
38,7679,13,38,1,71,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3,1432725867163206782809,5,2,7080848020869121836366,1,3,1,3583
|
||||
38,7935,13,38,2,68,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3 2 2 1 3 3 2 2,201464111900862330457,37,1,880040308667366509212,1,49,1,3839
|
||||
38,8191,13,38,2,63,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1 1 1 3 1 1 4 3 1 2,12443396803107544409,1201,1,22266709239872359068,2,1601,1,4095
|
||||
39,511,13,39,2,79,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,602392054124121890480651,1,1,1813372519201331686154196,1,1,1,511
|
||||
39,767,13,39,2,80,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,1205817509812263619909387,1,1,3626761248623275448213460,1,1,1,767
|
||||
39,1023,13,39,2,80,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,1204780055693090761985035,1,1,3626761248623275448213460,1,1,1,1023
|
||||
39,1279,13,39,2,63,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1 1 1 1 1 3 1 1 1 4,138667624553934995723,577,1,11459895498488422356,48,769,1,1279
|
||||
39,1535,13,39,2,81,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,2411630967069374220842507,1,1,7253538707467162972331988,1,1,1,1535
|
||||
39,1791,13,39,2,75,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2,30520805583900175215371,1,1,113320585368259409223636,1,1,1,1791
|
||||
39,2047,13,39,2,63,1 1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2,14677806976308584459,901,1,11459895498488422356,5,1201,1,2047
|
||||
39,2303,13,39,2,82,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,4826370243941113996481803,1,1,14507093625154938020569044,1,1,1,2303
|
||||
39,2559,13,39,1,71,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3,1435427570598552766987,5,2,7075444613998429868010,1,3,1,2559
|
||||
39,2815,13,39,2,65,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1 2 1 2,361079963278275739403,319,1,94470243830181404628,15,425,1,2815
|
||||
39,3071,13,39,2,66,1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4,24602118906380776459,169,1,205150708272438714324,1,225,1,3071
|
||||
39,3327,13,39,2,80,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,1195442968620535040665867,1,1,3626761248623275448213460,1,1,1,3327
|
||||
39,3583,13,39,2,76,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2,61037558612647331454475,1,1,226657380957130894352340,1,1,1,3583
|
||||
39,3839,13,39,2,74,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3 4,3331706699038730965771,1,1,56652187573823666659284,1,1,1,3839
|
||||
39,4095,13,39,2,64,1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2,25303058799598192651,901,1,39130011609052749780,3,1201,1,4095
|
||||
39,4607,13,39,2,67,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4 2,71770388930480779787,127,1,426511637156953333716,1,169,1,511
|
||||
39,4863,13,39,2,78,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2 2 2 2 2 2 2 2 2,282523879194526012090123,1,1,906678154490359805124564,1,1,1,767
|
||||
39,5119,13,39,1,72,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3,2866802586044086557707,5,2,14158994338302897688554,1,3,1,1023
|
||||
39,5375,13,39,2,77,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2,129333243504351649403147,1,1,453330972134873864609748,1,1,1,1279
|
||||
39,5631,13,39,2,66,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1 2 1 2,718107371403532502539,319,1,205150708272438714324,14,425,1,1535
|
||||
39,5887,13,39,1,71,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1 1 1 6 1 2 2 4 1,2115623469960335391499,11,2,7075444613998429868010,1,7,1,1791
|
||||
39,6143,13,39,2,67,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4,45151682659742576651,169,1,426511637156953333716,1,225,1,2047
|
||||
39,6399,13,39,1,66,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1 2 1 1 1 2 3 1 1,1885389638985574704395,377,2,213255818578476666858,18,251,1,2303
|
||||
39,6655,13,39,1,66,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1,847935519812716780043,377,2,213255818578476666858,8,251,1,2559
|
||||
39,6911,13,39,1,67,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4 2 1,179416282114049888011,191,2,434616747462991286250,1,127,1,2815
|
||||
39,7167,13,39,2,68,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1 3 1 1 1 2 2 1 2,1355571451786338157579,103,1,869233494925982572500,6,137,1,3071
|
||||
39,7679,13,39,2,75,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3 4,6659360842924442955275,1,1,113320585368259409223636,1,1,1,3583
|
||||
39,7935,13,39,2,72,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3 2 2 1 3 3 2 2 4,899540240881939817227,7,1,14150889227996859736020,1,9,1,3839
|
||||
39,8191,13,39,2,65,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1 1 1 3 1 1 4 3 1 2 2,46553562446177409035,901,1,94470243830181404628,2,1201,1,4095
|
||||
40,511,13,40,2,81,1 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,2411639072179680258795041,1,1,7253506287025938820521852,1,1,1,511
|
||||
40,767,13,40,2,82,1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,4826378349051420034434337,1,1,14507061204713713868758908,1,1,1,767
|
||||
40,1023,13,40,2,82,1 1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,4823265986693901460661281,1,1,14507061204713713868758908,1,1,1,1023
|
||||
40,1279,13,40,2,65,1 1 1 1 1 1 1 3 2 1 1 2 3 5 3 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1 1 1 1 1 3 1 1 1 4 2,425226245698659762977,433,1,62049802606029594492,27,577,1,1279
|
||||
40,1535,13,40,2,83,1 1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,9652744540437381011939873,1,1,29014171040089263965233020,1,1,1,1535
|
||||
40,1791,13,40,2,77,1 1 1 1 1 1 1 2 1 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2,129341348614657687355681,1,1,453298551693649712799612,1,1,1,1791
|
||||
40,2047,13,40,2,67,1 1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4,53256792965780529185,169,1,394091195932801523580,1,225,1,2047
|
||||
40,2303,13,40,2,84,1 1 1 1 1 1 1 4 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,19314814010281858688270113,1,1,58028390710840364158181244,1,1,1,2303
|
||||
40,2559,13,40,2,75,1 1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3 4,6667465953230480907809,1,1,113288164927035257413500,1,1,1,2559
|
||||
40,2815,13,40,1,66,1 1 1 1 1 1 1 2 5 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1,1120133377982246321441,479,2,197045597966400761790,11,319,1,2815
|
||||
40,3071,13,40,2,68,1 1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4 2,147593333013980535841,127,1,836813053701830762364,1,169,1,3071
|
||||
40,3327,13,40,2,82,1 1 1 1 1 1 1 3 1 2 5 2 1 1 7 2 1 4 1 3 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2,4795254725476234296703777,1,1,14507061204713713868758908,1,1,1,3327
|
||||
40,3583,13,40,2,78,1 1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2,258670539563856317782561,1,1,906645734049135653314428,1,1,1,3583
|
||||
40,3839,13,40,2,76,1 1 1 1 1 1 1 2 1 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3 4 2,28884586028594773752097,1,1,226624960515906742542204,1,1,1,3839
|
||||
40,4095,13,40,2,68,1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4,94355920472504129569,169,1,836813053701830762364,1,225,1,4095
|
||||
40,4607,13,40,1,68,1 1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4 2 1,362885119381118752289,191,2,861128384619944619966,1,127,1,511
|
||||
40,4863,13,40,2,80,1 1 1 1 1 1 1 2 2 1 2 1 1 1 2 1 4 2 2 4 3 2 1 1 4 7 1 2 3 4 2 2 2 2 2 2 2 2 2 2,1149803092487235329946913,1,1,3626728828182051296403324,1,1,1,767
|
||||
40,5119,13,40,2,76,1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3 4,13322774241001904886817,1,1,226624960515906742542204,1,1,1,1023
|
||||
40,5375,13,40,2,79,1 1 1 1 1 1 1 3 3 5 1 2 1 3 1 1 1 1 1 1 1 2 2 7 3 2 2 4 1 1 2 3 4 2 2 2 2 2 2 2,539115457964883595047713,1,1,1813340098760107534344060,1,1,1,1279
|
||||
40,5631,13,40,1,67,1 1 1 1 1 1 1 1 7 1 1 3 1 1 2 1 3 1 1 7 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1 2 1 2 1,2228109090505435714081,479,2,418406526850915381182,11,319,1,1535
|
||||
40,5887,13,40,1,72,1 1 1 1 1 1 1 2 1 2 1 3 1 4 5 1 2 2 1 1 2 1 4 2 1 2 1 2 2 2 1 1 1 6 1 2 2 4 1 1,8708053651315828781345,17,2,14142784117690821783486,1,11,1,1791
|
||||
40,6143,13,40,2,69,1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4 2,283029000568904142881,127,1,1722256769239889239932,1,169,1,2047
|
||||
40,6399,13,40,2,68,1 1 1 1 1 1 1 4 1 1 5 4 1 2 2 3 2 2 2 3 2 1 1 1 1 2 2 1 2 1 1 2 1 1 1 2 3 1 1 2,5729955893251562319649,283,1,836813053701830762364,28,377,1,2303
|
||||
40,6655,13,40,2,68,1 1 1 1 1 1 1 1 2 1 4 1 1 1 4 1 3 2 1 1 2 9 1 1 1 1 4 1 2 1 1 2 1 1 1 2 3 1 1 2,2617593535732988546593,283,1,836813053701830762364,13,377,1,2559
|
||||
40,6911,13,40,1,68,1 1 1 1 1 1 1 2 3 1 1 1 1 1 2 1 1 3 2 2 2 1 2 3 2 1 2 1 5 1 2 2 3 1 2 2 4 2 1 1,685822798931826076961,287,2,861128384619944619966,2,191,1,2815
|
||||
40,7167,13,40,1,69,1 1 1 1 1 1 1 1 1 2 1 1 1 3 2 2 3 1 1 2 5 2 1 3 1 6 1 4 2 1 1 3 1 1 1 2 2 1 2 1,4361862260538367298593,155,2,1746572100158003097534,5,103,1,3071
|
||||
40,7423,13,40,2,65,1 1 1 1 1 1 1 3 1 1 1 3 1 2 2 3 2 1 1 1 3 1 5 1 1 1 2 1 1 2 1 3 2 2 1 1 1 2 1 4,105801770449801325345,2449,1,62049802606029594492,7,3265,1,3327
|
||||
40,7679,13,40,2,77,1 1 1 1 1 1 1 1 3 1 3 1 1 1 2 2 1 1 2 1 1 6 3 3 5 2 1 2 3 1 2 1 4 1 3 1 2 3 4 2,57757014391730490575393,1,1,453298551693649712799612,1,1,1,3583
|
||||
40,7935,13,40,1,73,1 1 1 1 1 1 1 2 1 1 1 1 1 3 1 2 1 5 1 1 3 2 2 2 5 2 1 2 1 2 3 2 2 1 3 3 2 2 4 1,7420987205515464665377,11,2,28309883566299757424574,1,7,1,3839
|
||||
40,8191,13,40,2,69,1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5 1 1 1 1 3 1 1 4 3 1 2 2 4,176554175485951330337,169,1,1722256769239889239932,1,225,1,4095
|
||||
|
25
docs/artefacts/collatz/local_E1_palier2p13/metadata.json
Normal file
25
docs/artefacts/collatz/local_E1_palier2p13/metadata.json
Normal file
@ -0,0 +1,25 @@
|
||||
{
|
||||
"state_id": 1,
|
||||
"base_palier": 12,
|
||||
"target_palier": 13,
|
||||
"delta_m": 1,
|
||||
"lift_size": 32,
|
||||
"d8": {
|
||||
"k": 8,
|
||||
"threshold_Ak": 13,
|
||||
"candidates": 1,
|
||||
"covered": 2,
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_D8_E1_palier2p13.json"
|
||||
},
|
||||
"fusion": {
|
||||
"t_min": 9,
|
||||
"t_max_search": 120,
|
||||
"t_max_used": 36,
|
||||
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_F9to36_E1_palier2p13.csv",
|
||||
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_F9to36_E1_palier2p13.json",
|
||||
"clauses": 30,
|
||||
"covered": 30
|
||||
},
|
||||
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/audits/verification_H6_E1_palier2p13.md",
|
||||
"success": true
|
||||
}
|
||||
@ -1,2 +1,21 @@
|
||||
{"noyau":[255,511,767,1023,1279,1535,1791,2047,2303,2559,2815,3071,3327,3583,3839,4095],"palier":12}
|
||||
|
||||
{
|
||||
"noyau": [
|
||||
255,
|
||||
511,
|
||||
767,
|
||||
1023,
|
||||
1279,
|
||||
1535,
|
||||
1791,
|
||||
2047,
|
||||
2303,
|
||||
2559,
|
||||
2815,
|
||||
3071,
|
||||
3327,
|
||||
3583,
|
||||
3839,
|
||||
4095
|
||||
],
|
||||
"palier": 12
|
||||
}
|
||||
@ -0,0 +1,37 @@
|
||||
{
|
||||
"noyau": [
|
||||
255,
|
||||
511,
|
||||
767,
|
||||
1023,
|
||||
1279,
|
||||
1535,
|
||||
1791,
|
||||
2047,
|
||||
2303,
|
||||
2559,
|
||||
2815,
|
||||
3071,
|
||||
3327,
|
||||
3583,
|
||||
3839,
|
||||
4095,
|
||||
4351,
|
||||
4607,
|
||||
4863,
|
||||
5119,
|
||||
5375,
|
||||
5631,
|
||||
5887,
|
||||
6143,
|
||||
6399,
|
||||
6655,
|
||||
6911,
|
||||
7167,
|
||||
7423,
|
||||
7679,
|
||||
7935,
|
||||
8191
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -1 +1,35 @@
|
||||
{"noyau": [511,767,1023,1279,1535,1791,2047,2303,2559,2815,3071,3327,3583,3839,4095,4607,4863,5119,5375,5631,5887,6143,6399,6655,6911,7167,7423,7679,7935,8191], "palier": 13}
|
||||
{
|
||||
"noyau": [
|
||||
511,
|
||||
767,
|
||||
1023,
|
||||
1279,
|
||||
1535,
|
||||
1791,
|
||||
2047,
|
||||
2303,
|
||||
2559,
|
||||
2815,
|
||||
3071,
|
||||
3327,
|
||||
3583,
|
||||
3839,
|
||||
4095,
|
||||
4607,
|
||||
4863,
|
||||
5119,
|
||||
5375,
|
||||
5631,
|
||||
5887,
|
||||
6143,
|
||||
6399,
|
||||
6655,
|
||||
6911,
|
||||
7167,
|
||||
7423,
|
||||
7679,
|
||||
7935,
|
||||
8191
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
@ -0,0 +1,25 @@
|
||||
**Auteur** : Équipe 4NK
|
||||
|
||||
# Vérification H6(E20) — couverture des relèvements au palier \(2^{13}\)
|
||||
|
||||
## Objet
|
||||
|
||||
Vérifier, au sens “certifié D/F” (appartenance aux ensembles `covered` de certificats), que l’union des certificats locaux couvre le domaine des relèvements impairs.
|
||||
|
||||
## Domaine
|
||||
|
||||
- base : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E20_palier2p13/noyaux/noyau_E20_B12.json`
|
||||
- relevé : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E20_palier2p13/noyaux/noyau_Lift_E20_palier2p13.json`
|
||||
- taille : 8
|
||||
|
||||
## Certificats utilisés (local)
|
||||
|
||||
- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E20_palier2p13/certificats/certificat_F9to31_E20_palier2p13.json`
|
||||
- covered : 8 classes
|
||||
|
||||
## Résultat
|
||||
|
||||
- |L| = 8
|
||||
- |U| = 8
|
||||
- |L \ U| = 0
|
||||
|
||||
@ -0,0 +1 @@
|
||||
classe_mod_2^m,sœur,A8,palier
|
||||
|
@ -0,0 +1,9 @@
|
||||
horizon_t,classe_mod_2^m,m,t,a,A_t,mot_a0..,C_t,y,y_mod_3,DeltaF,Nf,preimage_m,etat_id,base_mod_4096
|
||||
9,1351,13,9,1,14,1 1 2 2 1 1 1 2 3,32267,1625,2,9786,5,1083,20,1351
|
||||
9,7495,13,9,1,18,1 1 2 2 1 1 1 6 3,62987,563,2,747066,1,375,20,3399
|
||||
13,327,13,13,1,22,1 1 2 2 1 1 1 1 2 1 2 2 5,2944379,125,2,9394266,1,83,20,327
|
||||
13,4423,13,13,2,23,1 1 2 2 1 1 1 1 3 1 1 2 6,3128699,841,1,18788532,1,1121,20,327
|
||||
17,5447,13,17,1,27,1 1 2 2 1 1 1 2 1 1 1 2 2 1 3 2 3,277080043,5243,2,144372858,3,3495,20,1351
|
||||
18,2375,13,18,1,28,1 1 2 2 1 1 1 1 1 2 1 2 2 1 1 3 4 1,878388161,3431,2,30465390,49,2287,20,2375
|
||||
30,3399,13,30,1,48,1 1 2 2 1 1 1 3 1 1 2 2 1 1 1 2 1 1 1 2 2 1 3 2 3 1 2 1 2 3,767259043110833,2489,2,432642665942670,3,1659,20,3399
|
||||
31,6471,13,31,1,50,1 1 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 2 1 3 1 4 1 2 1 5 5,1106021844736787,3551,2,2142352927959978,1,2367,20,2375
|
||||
|
@ -0,0 +1,23 @@
|
||||
{
|
||||
"clauses": [
|
||||
327,
|
||||
1351,
|
||||
2375,
|
||||
3399,
|
||||
4423,
|
||||
5447,
|
||||
6471,
|
||||
7495
|
||||
],
|
||||
"covered": [
|
||||
327,
|
||||
1351,
|
||||
2375,
|
||||
3399,
|
||||
4423,
|
||||
5447,
|
||||
6471,
|
||||
7495
|
||||
],
|
||||
"palier": 13
|
||||
}
|
||||
Some files were not shown because too many files have changed in this diff Show More
Loading…
x
Reference in New Issue
Block a user