diff --git a/applications/collatz/collatz_k_scripts/collatz_generate_run_report.py b/applications/collatz/collatz_k_scripts/collatz_generate_run_report.py
index 9ddf38b..9de5f92 100644
--- a/applications/collatz/collatz_k_scripts/collatz_generate_run_report.py
+++ b/applications/collatz/collatz_k_scripts/collatz_generate_run_report.py
@@ -28,6 +28,12 @@ class Sha256Entry:
     sha256: str
 
 
+def read_json(path: Path) -> object:
+    import json
+
+    return json.loads(read_text(path))
+
+
 def sha256_file(path: Path, chunk_size: int = 16 * 1024 * 1024) -> str:
     h = hashlib.sha256()
     with path.open("rb") as f:
@@ -102,6 +108,86 @@ class Fusion25Metrics:
     t_to_domain_size: dict[int, int]
 
 
+@dataclass(frozen=True)
+class LocalH6E1Metrics:
+    base_palier: int
+    base_domain_size: int
+    target_palier: int
+    lifted_domain_size: int
+    d8_covered: int
+    f9to40_covered: int
+    union_covered: int
+
+
+def compute_local_h6_e1_metrics(
+    *,
+    noyau_e1_b12_path: Path,
+    certificat_d8_path: Path,
+    certificat_f9to40_path: Path,
+) -> LocalH6E1Metrics:
+    noyau_obj = read_json(noyau_e1_b12_path)
+    if not isinstance(noyau_obj, dict):
+        raise ValueError("Invalid JSON: noyau_E1_B12.json must be an object")
+    noyau = noyau_obj.get("noyau")
+    base_palier = noyau_obj.get("palier")
+    if not isinstance(noyau, list) or not all(isinstance(x, int) for x in noyau):
+        raise ValueError("Invalid JSON: noyau_E1_B12.json must contain an integer list field 'noyau'")
+    if not isinstance(base_palier, int):
+        raise ValueError("Invalid JSON: noyau_E1_B12.json must contain an integer field 'palier'")
+
+    d8_obj = read_json(certificat_d8_path)
+    f_obj = read_json(certificat_f9to40_path)
+    if not isinstance(d8_obj, dict) or not isinstance(f_obj, dict):
+        raise ValueError("Invalid JSON: certificates must be objects")
+
+    d8_cov = d8_obj.get("covered")
+    f_cov = f_obj.get("covered")
+    if not isinstance(d8_cov, list) or not all(isinstance(x, int) for x in d8_cov):
+        raise ValueError("Invalid JSON: certificat_D8 must contain an integer list field 'covered'")
+    if not isinstance(f_cov, list) or not all(isinstance(x, int) for x in f_cov):
+        raise ValueError("Invalid JSON: certificat_F9to40 must contain an integer list field 'covered'")
+
+    d8_palier = d8_obj.get("palier")
+    f_palier = f_obj.get("palier")
+    if not isinstance(d8_palier, int) or not isinstance(f_palier, int):
+        raise ValueError("Invalid JSON: certificates must contain an integer field 'palier'")
+    if d8_palier != f_palier:
+        raise ValueError(f"Certificate palier mismatch: D8={d8_palier}, F9to40={f_palier}")
+    target_palier = d8_palier
+
+    if target_palier < base_palier:
+        raise ValueError(f"Target palier must be >= base palier (target={target_palier}, base={base_palier})")
+
+    lift_factor = 2 ** (target_palier - base_palier)
+    lift_step = 2**base_palier
+
+    lifted_domain: set[int] = set()
+    for r in noyau:
+        for j in range(lift_factor):
+            lifted_domain.add(r + j * lift_step)
+
+    d8_set = set(d8_cov)
+    f_set = set(f_cov)
+    union = d8_set | f_set
+
+    missing = lifted_domain - union
+    extra = union - lifted_domain
+    if missing:
+        raise ValueError(f"Local H6(E1) check failed: missing {len(missing)} lifted residues")
+    if extra:
+        raise ValueError(f"Local H6(E1) check failed: extra {len(extra)} residues outside lifted domain")
+
+    return LocalH6E1Metrics(
+        base_palier=base_palier,
+        base_domain_size=len(noyau),
+        target_palier=target_palier,
+        lifted_domain_size=len(lifted_domain),
+        d8_covered=len(d8_set),
+        f9to40_covered=len(f_set),
+        union_covered=len(union),
+    )
+
+
 def parse_extend_metrics_from_logs(pipeline_extend_log: str, paliers_finale_log: str) -> ExtendMetrics:
     """
     Extract metrics needed for the report.
@@ -487,6 +573,57 @@ def write_fusion25_run_report(
     output_path.write_text("\n".join(lines) + "\n", encoding="utf-8")
 
 
+def write_local_h6_e1_run_report(
+    *,
+    output_path: Path,
+    report_title: str,
+    command: str,
+    sha_entries: list[Sha256Entry],
+    metrics: LocalH6E1Metrics,
+    artefacts_dir: Path,
+) -> None:
+    lines: list[str] = []
+    lines.append("**Auteur** : Équipe 4NK")
+    lines.append("")
+    lines.append(f"# {report_title}")
+    lines.append("")
+    lines.append("## Contexte")
+    lines.append("")
+    lines.append("- **But** : vérifier H6(E1) (complétude locale) par couverture explicite des relèvements au palier cible.")
+    lines.append("- **Assertion vérifiée** : l’union des ensembles `covered` (certificats D8 et F9–F40) est égale au domaine relevé.")
+    lines.append("- **Statut logique** : ce rapport vérifie une égalité d’ensembles sur des artefacts versionnés ; il ne prouve pas la correction sémantique des clauses D/F.")
+    lines.append("")
+    lines.append("## Code et reproductibilité")
+    lines.append("")
+    if command:
+        lines.append("- **Commande** :")
+        lines.append("")
+        lines.append("```bash")
+        lines.append(command)
+        lines.append("```")
+        lines.append("")
+    lines.append("## Empreintes sha256 (scripts, artefacts)")
+    lines.append("")
+    lines.extend(format_sha256_list(sha_entries))
+    lines.append("")
+    lines.append("## Compteurs et métriques")
+    lines.append("")
+    lines.append(f"- palier base : {metrics.base_palier}")
+    lines.append(f"- |B12(E1)| : {metrics.base_domain_size}")
+    lines.append(f"- palier cible : {metrics.target_palier}")
+    lines.append(f"- |Lift| : {metrics.lifted_domain_size}")
+    lines.append(f"- |covered(D8)| : {metrics.d8_covered}")
+    lines.append(f"- |covered(F9–F40)| : {metrics.f9to40_covered}")
+    lines.append(f"- |covered(D8 ∪ F9–F40)| : {metrics.union_covered}")
+    lines.append("")
+    lines.append("## Chemins d’artefacts (versionnés)")
+    lines.append("")
+    lines.append(f"- ARTEFACTS : `{artefacts_dir}`")
+    lines.append("")
+    output_path.parent.mkdir(parents=True, exist_ok=True)
+    output_path.write_text("\n".join(lines) + "\n", encoding="utf-8")
+
+
 def pick_report_date_from_mtime(paths: list[Path]) -> str:
     mtimes = [p.stat().st_mtime for p in paths if p.exists()]
     if not mtimes:
@@ -503,7 +640,7 @@ def main() -> None:
     ap.add_argument(
         "--profile",
         default="extend_finale",
-        choices=["extend_finale", "validation_section7", "pipeline_d16_d17", "fusion_palier2p25"],
+        choices=["extend_finale", "validation_section7", "pipeline_d16_d17", "fusion_palier2p25", "local_H6_E1"],
         help="Report profile",
     )
     ap.add_argument("--pipeline-extend-log", default=None, help="Path to pipeline_extend.log (defaults to OUT/pipeline_extend.log)")
@@ -676,6 +813,60 @@ def main() -> None:
         print(f"Wrote: {output_path}")
         return
 
+    if args.profile == "local_H6_E1":
+        command = (
+            args.command.strip()
+            if args.command.strip()
+            else "python3 applications/collatz/collatz_k_scripts/collatz_generate_run_report.py --profile local_H6_E1 --scope local_H6_E1 --out-dir applications/collatz/out --docs-dir docs"
+        )
+        artefacts_dir = docs_dir / "artefacts" / "collatz" / "local_E1_palier2p13"
+        noyau_e1_b12_path = artefacts_dir / "noyaux" / "noyau_E1_B12.json"
+        noyau_post_d8_path = artefacts_dir / "noyaux" / "noyau_post_D8_E1_palier2p13.json"
+        candidats_d8_path = artefacts_dir / "candidats" / "candidats_D8_E1_palier2p13.csv"
+        candidats_f9to40_path = artefacts_dir / "candidats" / "candidats_F9to40_E1_palier2p13.csv"
+        certificat_d8_path = artefacts_dir / "certificats" / "certificat_D8_E1_palier2p13.json"
+        certificat_f9to40_path = artefacts_dir / "certificats" / "certificat_F9to40_E1_palier2p13.json"
+        audit_md_path = artefacts_dir / "audits" / "verification_H6_E1_palier2p13.md"
+
+        metrics = compute_local_h6_e1_metrics(
+            noyau_e1_b12_path=noyau_e1_b12_path,
+            certificat_d8_path=certificat_d8_path,
+            certificat_f9to40_path=certificat_f9to40_path,
+        )
+        date_str = pick_report_date_from_mtime(
+            [
+                noyau_e1_b12_path,
+                noyau_post_d8_path,
+                candidats_d8_path,
+                candidats_f9to40_path,
+                certificat_d8_path,
+                certificat_f9to40_path,
+                audit_md_path,
+            ]
+        )
+        sha_paths: list[Path] = [
+            repo_root / "applications" / "collatz" / "collatz_k_scripts" / "collatz_generate_run_report.py",
+            noyau_e1_b12_path,
+            noyau_post_d8_path,
+            candidats_d8_path,
+            candidats_f9to40_path,
+            certificat_d8_path,
+            certificat_f9to40_path,
+            audit_md_path,
+        ]
+        sha_entries = compute_sha256_entries(sha_paths)
+        output_path = docs_dir / f"collatz_run_report_{date_str}_{args.scope}.md"
+        write_local_h6_e1_run_report(
+            output_path=output_path,
+            report_title=f"Rapport d’exécution — {args.scope}",
+            command=command,
+            sha_entries=sha_entries,
+            metrics=metrics,
+            artefacts_dir=artefacts_dir,
+        )
+        print(f"Wrote: {output_path}")
+        return
+
     raise ValueError(f"Unknown profile: {args.profile}")
 
 
diff --git a/applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md b/applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md
index 76f42a9..afc8ca6 100644
--- a/applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md
+++ b/applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md
@@ -193,6 +193,13 @@ Pour rendre cette complétude locale *citable* (et alignée avec la notion “ce
 - certificats produits : `certificat_D8_palier2p13.json` et/ou `certificat_Ft_palier2p13.json` (selon les horizons retenus), obtenus par les scripts existants `collatz_k_pipeline.py` (pour D) et `collatz_fusion_pipeline.py` + `collatz_scission.py` (pour F) appliqués à \(L\) ;
 - assertion (H6) : l’union des ensembles `covered` de ces certificats recouvre exactement \(L\).
 
+Note (versionnement, flux standard).
+Les artefacts locaux produits pour H6(E1) ne peuvent pas être versionnés dans `applications/collatz/out/` car ce répertoire est ignoré par Git. Une copie canonique (versionnée) est donc placée dans :
+
+- `docs/artefacts/collatz/local_E1_palier2p13/`
+
+et sert de base pour les rapports d’exécution générés.
+
 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.
diff --git a/docs/artefacts/collatz/local_E1_palier2p13/audits/verification_H6_E1_palier2p13.md b/docs/artefacts/collatz/local_E1_palier2p13/audits/verification_H6_E1_palier2p13.md
new file mode 100644
index 0000000..72c19cd
--- /dev/null
+++ b/docs/artefacts/collatz/local_E1_palier2p13/audits/verification_H6_E1_palier2p13.md
@@ -0,0 +1,38 @@
+**Auteur** : Équipe 4NK
+
+# Vérification H6(E1) — 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 de certificats locaux couvre le domaine \(L\) des relèvements impairs de \(B_{12}(E_1)\) au palier \(2^{13}\).
+
+## Domaine \(L\)
+
+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\).
+
+## 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
+
+## 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”.
+
diff --git a/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_D8_E1_palier2p13.csv b/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_D8_E1_palier2p13.csv
new file mode 100644
index 0000000..d414a51
--- /dev/null
+++ b/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_D8_E1_palier2p13.csv
@@ -0,0 +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
diff --git a/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_F9to40_E1_palier2p13.csv b/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_F9to40_E1_palier2p13.csv
new file mode 100644
index 0000000..086e217
--- /dev/null
+++ b/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_F9to40_E1_palier2p13.csv
@@ -0,0 +1,614 @@
+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
diff --git a/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_D8_E1_palier2p13.json b/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_D8_E1_palier2p13.json
new file mode 100644
index 0000000..dc660d7
--- /dev/null
+++ b/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_D8_E1_palier2p13.json
@@ -0,0 +1,10 @@
+{
+  "clauses": [
+    255
+  ],
+  "covered": [
+    255,
+    4351
+  ],
+  "palier": 13
+}
\ No newline at end of file
diff --git a/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_F9to40_E1_palier2p13.json b/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_F9to40_E1_palier2p13.json
new file mode 100644
index 0000000..0cbce8d
--- /dev/null
+++ b/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_F9to40_E1_palier2p13.json
@@ -0,0 +1,67 @@
+{
+  "clauses": [
+    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
+  ],
+  "covered": [
+    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
+}
\ No newline at end of file
diff --git a/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_E1_B12.json b/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_E1_B12.json
new file mode 100644
index 0000000..7d002ec
--- /dev/null
+++ b/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_E1_B12.json
@@ -0,0 +1,2 @@
+{"noyau":[255,511,767,1023,1279,1535,1791,2047,2303,2559,2815,3071,3327,3583,3839,4095],"palier":12}
+
diff --git a/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_post_D8_E1_palier2p13.json b/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_post_D8_E1_palier2p13.json
new file mode 100644
index 0000000..36b94b9
--- /dev/null
+++ b/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_post_D8_E1_palier2p13.json
@@ -0,0 +1 @@
+{"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}
\ No newline at end of file
diff --git a/docs/collatz_run_report_2026-03-09_local_H6_E1.md b/docs/collatz_run_report_2026-03-09_local_H6_E1.md
new file mode 100644
index 0000000..46750cf
--- /dev/null
+++ b/docs/collatz_run_report_2026-03-09_local_H6_E1.md
@@ -0,0 +1,51 @@
+**Auteur** : Équipe 4NK
+
+# Rapport d’exécution — local_H6_E1
+
+## Contexte
+
+- **But** : vérifier H6(E1) (complétude locale) par couverture explicite des relèvements au palier cible.
+- **Assertion vérifiée** : l’union des ensembles `covered` (certificats D8 et F9–F40) est égale au domaine relevé.
+- **Statut logique** : ce rapport vérifie une égalité d’ensembles sur des artefacts versionnés ; il ne prouve pas la correction sémantique des clauses D/F.
+
+## Code et reproductibilité
+
+- **Commande** :
+
+```bash
+python3 applications/collatz/collatz_k_scripts/collatz_generate_run_report.py --profile local_H6_E1 --scope local_H6_E1 --out-dir applications/collatz/out --docs-dir docs
+```
+
+## Empreintes sha256 (scripts, artefacts)
+
+- `/home/ncantu/code/algo/applications/collatz/collatz_k_scripts/collatz_generate_run_report.py`
+  - sha256: `23734fe5f6bd2e97c16546d89c4c7b94ab9a783da3b1f7d45d8bf115c9de7658`
+- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_E1_B12.json`
+  - sha256: `7f6bb5e8893ae7456f54963491a3eb80d03a7cff3f87feb12702788e43661875`
+- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_post_D8_E1_palier2p13.json`
+  - sha256: `d192f751dd332764809814edf909ad994a1b41caab2b60ae1d453c7ca16b13a4`
+- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_D8_E1_palier2p13.csv`
+  - sha256: `86b5c2cfe49343e21f5331ccc0ab110e231312bd17c1289ac90baee5feff1023`
+- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_F9to40_E1_palier2p13.csv`
+  - sha256: `404f1d6c16a365aa79b87843d61f9a6ecc62dafe102eb821b40fe8908a208146`
+- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_D8_E1_palier2p13.json`
+  - sha256: `1723a856b45888e38d39850708520492a062bc076d65aa332a8127296e29eed2`
+- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_F9to40_E1_palier2p13.json`
+  - sha256: `1d2af4a7dcd5d8efb6f542379cb0606dc188c61ffaec998c0c8e3448d914aa7d`
+- `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/audits/verification_H6_E1_palier2p13.md`
+  - sha256: `06986b4ead9444b81e316cd9f242959d4da641c03ea72df141c700f52fa4fa2d`
+
+## Compteurs et métriques
+
+- palier base : 12
+- |B12(E1)| : 16
+- palier cible : 13
+- |Lift| : 32
+- |covered(D8)| : 2
+- |covered(F9–F40)| : 30
+- |covered(D8 ∪ F9–F40)| : 32
+
+## Chemins d’artefacts (versionnés)
+
+- ARTEFACTS : `/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13`
+
diff --git a/docs/collatz_run_report_format.md b/docs/collatz_run_report_format.md
index 3bde6cb..9b914a7 100644
--- a/docs/collatz_run_report_format.md
+++ b/docs/collatz_run_report_format.md
@@ -57,6 +57,16 @@ python3 applications/collatz/collatz_k_scripts/collatz_generate_run_report.py \
   --docs-dir docs
 ```
 
+Pour la complétude locale H6(E1) au palier \(2^{13}\) (rapport basé sur des artefacts versionnés dans `docs/artefacts/`) :
+
+```bash
+python3 applications/collatz/collatz_k_scripts/collatz_generate_run_report.py \
+  --profile local_H6_E1 \
+  --scope local_H6_E1 \
+  --out-dir applications/collatz/out \
+  --docs-dir docs
+```
+
 ### Contexte
 
 - **But du run** : (énoncé court)
diff --git a/docs/features/collatz_run_report_generator.md b/docs/features/collatz_run_report_generator.md
index 6985e78..390b4b1 100644
--- a/docs/features/collatz_run_report_generator.md
+++ b/docs/features/collatz_run_report_generator.md
@@ -23,12 +23,13 @@ afin d’éviter toute insertion de transcript terminal dans les documents math
 - Ajout d’un format standard : `docs/collatz_run_report_format.md`.
 - Ajout d’un générateur : `applications/collatz/collatz_k_scripts/collatz_generate_run_report.py`.
 - Ajout d’un exemple réel de rapport : `docs/collatz_run_report_2026-03-04_extend_D18_D21_resume_from_D20.md`.
- - Profils supportés : `extend_finale`, `validation_section7`, `pipeline_d16_d17`, `fusion_palier2p25`.
+ - Profils supportés : `extend_finale`, `validation_section7`, `pipeline_d16_d17`, `fusion_palier2p25`, `local_H6_E1`.
 
 ## Modalités d’analyse
 
 - Vérifier que `applications/collatz/out/pipeline_extend.log` et `applications/collatz/out/paliers_finale.log` existent et contiennent un run complet.
 - Vérifier la présence des artefacts listés (noyaux/candidats/certificats) dans `applications/collatz/out/`.
+ - Pour `local_H6_E1`, vérifier la présence des artefacts versionnés dans `docs/artefacts/collatz/local_E1_palier2p13/`.
 
 ## Modalités de déploiement