ncantu bd529682bf collatz: add palier2p15/p16 artefacts and Sm refinement tooling

**Motivations:**
- Publish new Collatz palier runs and associated artefacts (C3 local descent, universal clauses, iteration protocol).
- Extend the scripts toolbox to generate/verify clauses and build refinement certificates over S_m.

**Root causes:**
- Universal clause witnesses were lifted to 2^(A+1) even when the witness is already fixed modulo the domain palier, leading to unstable or unnecessarily weak/ambiguous modulus choices.
- CSV palier inference in scission could mis-detect short column names (e.g. "m") by substring matching.

**Correctifs:**
- Lift D_exact/F witnesses to m_stable := max(m, A+1) in universal clause extraction and run reports.
- Make scission palier/m column detection exact-match to avoid false positives.
- Update C3 local descent verification/reporting to use strict fusion witness selection prioritizing lower modular stability and refreshed D/F metrics.
- Add a dedicated run report profile for per-palier universal clauses.

**Evolutions:**
- Add scripts for terminal clauses and minorated descent clauses over S_m, their deterministic verification, and multi-level refinement certificate building.
- Add modular tooling for register_K and incremental comparison of D_minor families.
- Add/update feature documentation for the new pipelines and generated reports.

**Pages affectées:**
- applications/collatz/collatz_k_scripts/README.md
- applications/collatz/collatz_k_scripts/collatz_extract_universal_clauses.py
- applications/collatz/collatz_k_scripts/collatz_generate_run_report.py
- applications/collatz/collatz_k_scripts/collatz_iterate_palier_protocol.py
- applications/collatz/collatz_k_scripts/collatz_scission.py
- applications/collatz/collatz_k_scripts/collatz_verify_c3_local_descent.py
- applications/collatz/collatz_k_scripts/collatz_verify_universal_clauses.py
- applications/collatz/collatz_k_scripts/*refinement*over_Sm*.py
- applications/collatz/collatz_k_scripts/collatz_generate_*clauses_over_Sm.py
- applications/collatz/collatz_k_scripts/collatz_verify_minorated_descent_clauses_over_Sm.py
- applications/collatz/collatz_k_scripts/collatz_build_register_K_modular.py
- applications/collatz/collatz_k_scripts/collatz_compare_dminor_families_incremental.py
- applications/collatz/*.md
- docs/features/*.md
- docs/artefacts/collatz/**
- docs/collatz_run_report_2026-03-09_*.md

2026-03-09 23:29:59 +01:00

142 KiB

Raw Permalink Blame History

Auteur : Équipe 4NK

Clauses universelles extraites — Option A (Lift(B12))

Entrée

C3 vérification JSON : docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent_palier2p16.json

Domaine

palier (domaine des témoins) : 2^16
max(2^m_stable) observé : 2^136

Compteurs

total : 3072
D_exact : 360
F : 2712
D_brother_local : 0

Table (extrait)

kind	source_n	m_stable	residue_mod_2^m	k/t	A	N0/Nf
D_exact	191	16	191	8	14	N0=1
D_exact	255	16	255	8	13	N0=4
D_exact	539	16	539	8	13	N0=7
D_exact	679	16	679	8	13	N0=6
D_exact	1135	16	1135	8	14	N0=1
D_exact	1191	16	1191	8	13	N0=6
D_exact	1215	16	1215	8	14	N0=1
D_exact	1563	16	1563	8	13	N0=6
D_exact	1983	16	1983	8	13	N0=5
D_exact	2075	16	2075	8	13	N0=6
D_exact	2079	16	2079	8	14	N0=1
D_exact	2095	16	2095	8	13	N0=6
D_exact	2607	16	2607	8	13	N0=6
D_exact	2663	16	2663	8	14	N0=1
D_exact	3039	16	3039	8	13	N0=6
D_exact	3067	16	3067	8	14	N0=2
D_exact	3551	16	3551	8	13	N0=5
D_exact	3687	16	3687	8	14	N0=1
D_exact	3967	16	3967	8	14	N0=1
D_exact	4091	16	4091	8	14	N0=2
D_exact	4223	16	4223	8	13	N0=4
D_exact	4455	16	4455	8	13	N0=5
D_exact	4859	16	4859	8	13	N0=8
D_exact	4927	16	4927	8	13	N0=5
D_exact	4955	16	4955	8	14	N0=2
D_exact	5191	16	5191	8	13	N0=8
D_exact	5275	16	5275	8	14	N0=2
D_exact	5371	16	5371	8	13	N0=7
D_exact	5439	16	5439	8	13	N0=5
D_exact	5615	16	5615	8	14	N0=1
D_exact	5871	16	5871	8	13	N0=5
D_exact	5979	16	5979	8	14	N0=2
D_exact	6215	16	6215	8	13	N0=7
D_exact	6559	16	6559	8	14	N0=1
D_exact	6747	16	6747	8	13	N0=7
D_exact	6815	16	6815	8	13	N0=5
D_exact	6983	16	6983	8	14	N0=2
D_exact	7079	16	7079	8	13	N0=8
D_exact	7259	16	7259	8	13	N0=7
D_exact	7399	16	7399	8	13	N0=6
D_exact	7911	16	7911	8	13	N0=6
D_exact	8103	16	8103	8	13	N0=7
D_exact	8383	16	8383	8	13	N0=6
D_exact	8447	16	8447	8	14	N0=1
D_exact	8495	16	8495	8	13	N0=7
D_exact	8731	16	8731	8	14	N0=2
D_exact	8815	16	8815	8	13	N0=6
D_exact	8871	16	8871	8	14	N0=1
D_exact	9327	16	9327	8	13	N0=5
D_exact	9407	16	9407	8	13	N0=5
D_exact	9439	16	9439	8	13	N0=7
D_exact	9519	16	9519	8	13	N0=7
D_exact	9755	16	9755	8	14	N0=1
D_exact	9759	16	9759	8	13	N0=5
D_exact	9919	16	9919	8	13	N0=5
D_exact	10175	16	10175	8	14	N0=1
D_exact	10271	16	10271	8	13	N0=5
D_exact	10463	16	10463	8	13	N0=6
D_exact	10523	16	10523	8	13	N0=6
D_exact	10799	16	10799	8	14	N0=1
D_exact	10855	16	10855	8	13	N0=6
D_exact	11259	16	11259	8	13	N0=9
D_exact	11327	16	11327	8	13	N0=6
D_exact	11647	16	11647	8	13	N0=5
D_exact	11743	16	11743	8	14	N0=1
D_exact	11879	16	11879	8	13	N0=6
D_exact	12159	16	12159	8	13	N0=5
D_exact	12271	16	12271	8	13	N0=6
D_exact	12283	16	12283	8	13	N0=8
D_exact	12351	16	12351	8	13	N0=6
D_exact	12391	16	12391	8	13	N0=6
D_exact	12647	16	12647	8	14	N0=1
D_exact	13051	16	13051	8	14	N0=2
D_exact	13147	16	13147	8	13	N0=8
D_exact	13215	16	13215	8	13	N0=6
D_exact	13295	16	13295	8	13	N0=5
D_exact	13467	16	13467	8	13	N0=7
D_exact	13631	16	13631	8	14	N0=1
D_exact	13807	16	13807	8	13	N0=5
D_exact	13979	16	13979	8	13	N0=6
D_exact	14171	16	14171	8	13	N0=8
D_exact	14239	16	14239	8	13	N0=5
D_exact	14751	16	14751	8	13	N0=5
D_exact	14939	16	14939	8	14	N0=2
D_exact	15175	16	15175	8	13	N0=7
D_exact	15687	16	15687	8	13	N0=7
D_exact	16103	16	16103	8	14	N0=1
D_exact	16639	16	16639	8	13	N0=4
D_exact	16687	16	16687	8	14	N0=2
D_exact	16923	16	16923	8	13	N0=7
D_exact	17007	16	17007	8	14	N0=1
D_exact	17063	16	17063	8	13	N0=6
D_exact	17575	16	17575	8	13	N0=6
D_exact	17631	16	17631	8	14	N0=2
D_exact	17711	16	17711	8	14	N0=2
D_exact	17947	16	17947	8	13	N0=6
D_exact	17951	16	17951	8	14	N0=1
D_exact	18111	16	18111	8	14	N0=1
D_exact	18367	16	18367	8	13	N0=5
D_exact	18459	16	18459	8	13	N0=6
D_exact	18479	16	18479	8	13	N0=6
D_exact	18655	16	18655	8	14	N0=1
D_exact	18715	16	18715	8	14	N0=1
D_exact	18991	16	18991	8	13	N0=6
D_exact	19423	16	19423	8	13	N0=6
D_exact	19519	16	19519	8	14	N0=1
D_exact	19839	16	19839	8	14	N0=1
D_exact	19935	16	19935	8	13	N0=5
D_exact	20463	16	20463	8	14	N0=1
D_exact	20543	16	20543	8	14	N0=1
D_exact	20583	16	20583	8	14	N0=1
D_exact	20607	16	20607	8	13	N0=4
D_exact	20839	16	20839	8	13	N0=5
D_exact	21243	16	21243	8	13	N0=8
D_exact	21311	16	21311	8	13	N0=5
D_exact	21407	16	21407	8	14	N0=1
D_exact	21487	16	21487	8	14	N0=1
D_exact	21575	16	21575	8	13	N0=8
D_exact	21755	16	21755	8	13	N0=7
D_exact	21823	16	21823	8	13	N0=5
D_exact	22171	16	22171	8	14	N0=1
D_exact	22255	16	22255	8	13	N0=5
D_exact	22431	16	22431	8	14	N0=1
D_exact	22599	16	22599	8	13	N0=7
D_exact	23131	16	23131	8	13	N0=7
D_exact	23199	16	23199	8	13	N0=5
D_exact	23463	16	23463	8	13	N0=8
D_exact	23643	16	23643	8	13	N0=7
D_exact	23783	16	23783	8	13	N0=6
D_exact	23879	16	23879	8	14	N0=2
D_exact	24295	16	24295	8	13	N0=6
D_exact	24487	16	24487	8	13	N0=7
D_exact	24767	16	24767	8	13	N0=6
D_exact	24879	16	24879	8	13	N0=7
D_exact	25199	16	25199	8	13	N0=6
D_exact	25711	16	25711	8	13	N0=5
D_exact	25767	16	25767	8	14	N0=1
D_exact	25791	16	25791	8	13	N0=5
D_exact	25823	16	25823	8	13	N0=7
D_exact	25903	16	25903	8	13	N0=7
D_exact	26143	16	26143	8	13	N0=5
D_exact	26303	16	26303	8	13	N0=5
D_exact	26651	16	26651	8	14	N0=1
D_exact	26655	16	26655	8	13	N0=5
D_exact	26671	16	26671	8	14	N0=1
D_exact	26847	16	26847	8	13	N0=6
D_exact	26907	16	26907	8	13	N0=6
D_exact	27239	16	27239	8	13	N0=6
D_exact	27615	16	27615	8	14	N0=1
D_exact	27643	16	27643	8	13	N0=9
D_exact	27711	16	27711	8	13	N0=6
D_exact	28031	16	28031	8	13	N0=5
D_exact	28263	16	28263	8	13	N0=6
D_exact	28543	16	28543	8	13	N0=5
D_exact	28655	16	28655	8	13	N0=6
D_exact	28667	16	28667	8	13	N0=8
D_exact	28735	16	28735	8	13	N0=6
D_exact	28775	16	28775	8	13	N0=6
D_exact	28799	16	28799	8	14	N0=1
D_exact	29503	16	29503	8	14	N0=1
D_exact	29531	16	29531	8	13	N0=8
D_exact	29599	16	29599	8	13	N0=6
D_exact	29679	16	29679	8	13	N0=5
D_exact	29767	16	29767	8	14	N0=2
D_exact	29851	16	29851	8	13	N0=7
D_exact	29947	16	29947	8	14	N0=2
D_exact	30191	16	30191	8	13	N0=5
D_exact	30363	16	30363	8	13	N0=6
D_exact	30447	16	30447	8	14	N0=1
D_exact	30555	16	30555	8	13	N0=8
D_exact	30623	16	30623	8	13	N0=5
D_exact	30791	16	30791	8	14	N0=2
D_exact	31135	16	31135	8	13	N0=5
D_exact	31391	16	31391	8	14	N0=1
D_exact	31559	16	31559	8	13	N0=7
D_exact	31655	16	31655	8	14	N0=2
D_exact	31835	16	31835	8	14	N0=2
D_exact	31975	16	31975	8	14	N0=1
D_exact	32071	16	32071	8	13	N0=7
D_exact	32679	16	32679	8	14	N0=2
D_exact	32959	16	32959	8	14	N0=1
D_exact	33023	16	33023	8	13	N0=4
D_exact	33307	16	33307	8	13	N0=7
D_exact	33447	16	33447	8	13	N0=6
D_exact	33903	16	33903	8	14	N0=1
D_exact	33959	16	33959	8	13	N0=6
D_exact	33983	16	33983	8	14	N0=1
D_exact	34331	16	34331	8	13	N0=6
D_exact	34751	16	34751	8	13	N0=5
D_exact	34843	16	34843	8	13	N0=6
D_exact	34847	16	34847	8	14	N0=1
D_exact	34863	16	34863	8	13	N0=6
D_exact	35375	16	35375	8	13	N0=6
D_exact	35431	16	35431	8	14	N0=1
D_exact	35807	16	35807	8	13	N0=6
D_exact	35835	16	35835	8	14	N0=2
D_exact	36319	16	36319	8	13	N0=5
D_exact	36455	16	36455	8	14	N0=1
D_exact	36735	16	36735	8	14	N0=1
D_exact	36859	16	36859	8	14	N0=2
D_exact	36991	16	36991	8	13	N0=4
D_exact	37223	16	37223	8	13	N0=5
D_exact	37627	16	37627	8	13	N0=8
D_exact	37695	16	37695	8	13	N0=5
D_exact	37723	16	37723	8	14	N0=2
D_exact	37959	16	37959	8	13	N0=8
D_exact	38043	16	38043	8	14	N0=2
D_exact	38139	16	38139	8	13	N0=7
D_exact	38207	16	38207	8	13	N0=5
D_exact	38383	16	38383	8	14	N0=1
D_exact	38639	16	38639	8	13	N0=5
D_exact	38747	16	38747	8	14	N0=2
D_exact	38983	16	38983	8	13	N0=7
D_exact	39327	16	39327	8	14	N0=1
D_exact	39515	16	39515	8	13	N0=7
D_exact	39583	16	39583	8	13	N0=5
D_exact	39751	16	39751	8	14	N0=2
D_exact	39847	16	39847	8	13	N0=8
D_exact	40027	16	40027	8	13	N0=7
D_exact	40167	16	40167	8	13	N0=6
D_exact	40679	16	40679	8	13	N0=6
D_exact	40871	16	40871	8	13	N0=7
D_exact	41151	16	41151	8	13	N0=6
D_exact	41215	16	41215	8	14	N0=1
D_exact	41263	16	41263	8	13	N0=7
D_exact	41499	16	41499	8	14	N0=2
D_exact	41583	16	41583	8	13	N0=6
D_exact	41639	16	41639	8	14	N0=1
D_exact	42095	16	42095	8	13	N0=5
D_exact	42175	16	42175	8	13	N0=5
D_exact	42207	16	42207	8	13	N0=7
D_exact	42287	16	42287	8	13	N0=7
D_exact	42523	16	42523	8	14	N0=1
D_exact	42527	16	42527	8	13	N0=5
D_exact	42687	16	42687	8	13	N0=5
D_exact	42943	16	42943	8	14	N0=1
D_exact	43039	16	43039	8	13	N0=5
D_exact	43231	16	43231	8	13	N0=6
D_exact	43291	16	43291	8	13	N0=6
D_exact	43567	16	43567	8	14	N0=1
D_exact	43623	16	43623	8	13	N0=6
D_exact	44027	16	44027	8	13	N0=9
D_exact	44095	16	44095	8	13	N0=6
D_exact	44415	16	44415	8	13	N0=5
D_exact	44511	16	44511	8	14	N0=1
D_exact	44647	16	44647	8	13	N0=6
D_exact	44927	16	44927	8	13	N0=5
D_exact	45039	16	45039	8	13	N0=6
D_exact	45051	16	45051	8	13	N0=8
D_exact	45119	16	45119	8	13	N0=6
D_exact	45159	16	45159	8	13	N0=6
D_exact	45415	16	45415	8	14	N0=1
D_exact	45819	16	45819	8	14	N0=2
D_exact	45915	16	45915	8	13	N0=8
D_exact	45983	16	45983	8	13	N0=6
D_exact	46063	16	46063	8	13	N0=5
D_exact	46235	16	46235	8	13	N0=7
D_exact	46399	16	46399	8	14	N0=1
D_exact	46575	16	46575	8	13	N0=5
D_exact	46747	16	46747	8	13	N0=6
D_exact	46939	16	46939	8	13	N0=8
D_exact	47007	16	47007	8	13	N0=5
D_exact	47519	16	47519	8	13	N0=5
D_exact	47707	16	47707	8	14	N0=2
D_exact	47943	16	47943	8	13	N0=7
D_exact	48455	16	48455	8	13	N0=7
D_exact	48871	16	48871	8	14	N0=1
D_exact	49407	16	49407	8	13	N0=4
D_exact	49455	16	49455	8	14	N0=2
D_exact	49691	16	49691	8	13	N0=7
D_exact	49775	16	49775	8	14	N0=1
D_exact	49831	16	49831	8	13	N0=6
D_exact	50343	16	50343	8	13	N0=6
D_exact	50399	16	50399	8	14	N0=2
D_exact	50479	16	50479	8	14	N0=2
D_exact	50715	16	50715	8	13	N0=6
D_exact	50719	16	50719	8	14	N0=1
D_exact	50879	16	50879	8	14	N0=1
D_exact	51135	16	51135	8	13	N0=5
D_exact	51227	16	51227	8	13	N0=6
D_exact	51247	16	51247	8	13	N0=6
D_exact	51423	16	51423	8	14	N0=1
D_exact	51483	16	51483	8	14	N0=1
D_exact	51759	16	51759	8	13	N0=6
D_exact	52191	16	52191	8	13	N0=6
D_exact	52287	16	52287	8	14	N0=1
D_exact	52607	16	52607	8	14	N0=1
D_exact	52703	16	52703	8	13	N0=5
D_exact	53231	16	53231	8	14	N0=1
D_exact	53311	16	53311	8	14	N0=1
D_exact	53351	16	53351	8	14	N0=1
D_exact	53375	16	53375	8	13	N0=4
D_exact	53607	16	53607	8	13	N0=5
D_exact	54011	16	54011	8	13	N0=8
D_exact	54079	16	54079	8	13	N0=5
D_exact	54175	16	54175	8	14	N0=1
D_exact	54255	16	54255	8	14	N0=1
D_exact	54343	16	54343	8	13	N0=8
D_exact	54523	16	54523	8	13	N0=7
D_exact	54591	16	54591	8	13	N0=5
D_exact	54939	16	54939	8	14	N0=1
D_exact	55023	16	55023	8	13	N0=5
D_exact	55199	16	55199	8	14	N0=1
D_exact	55367	16	55367	8	13	N0=7
D_exact	55899	16	55899	8	13	N0=7
D_exact	55967	16	55967	8	13	N0=5
D_exact	56231	16	56231	8	13	N0=8
D_exact	56411	16	56411	8	13	N0=7
D_exact	56551	16	56551	8	13	N0=6
D_exact	56647	16	56647	8	14	N0=2
D_exact	57063	16	57063	8	13	N0=6
D_exact	57255	16	57255	8	13	N0=7
D_exact	57535	16	57535	8	13	N0=6
D_exact	57647	16	57647	8	13	N0=7
D_exact	57967	16	57967	8	13	N0=6
D_exact	58479	16	58479	8	13	N0=5
D_exact	58535	16	58535	8	14	N0=1
D_exact	58559	16	58559	8	13	N0=5
D_exact	58591	16	58591	8	13	N0=7
D_exact	58671	16	58671	8	13	N0=7
D_exact	58911	16	58911	8	13	N0=5
D_exact	59071	16	59071	8	13	N0=5
D_exact	59419	16	59419	8	14	N0=1
D_exact	59423	16	59423	8	13	N0=5
D_exact	59439	16	59439	8	14	N0=1
D_exact	59615	16	59615	8	13	N0=6
D_exact	59675	16	59675	8	13	N0=6
D_exact	60007	16	60007	8	13	N0=6
D_exact	60383	16	60383	8	14	N0=1
D_exact	60411	16	60411	8	13	N0=9
D_exact	60479	16	60479	8	13	N0=6
D_exact	60799	16	60799	8	13	N0=5
D_exact	61031	16	61031	8	13	N0=6
D_exact	61311	16	61311	8	13	N0=5
D_exact	61423	16	61423	8	13	N0=6
D_exact	61435	16	61435	8	13	N0=8
D_exact	61503	16	61503	8	13	N0=6
D_exact	61543	16	61543	8	13	N0=6
D_exact	61567	16	61567	8	14	N0=1
D_exact	62271	16	62271	8	14	N0=1
D_exact	62299	16	62299	8	13	N0=8
D_exact	62367	16	62367	8	13	N0=6
D_exact	62447	16	62447	8	13	N0=5
D_exact	62535	16	62535	8	14	N0=2
D_exact	62619	16	62619	8	13	N0=7
D_exact	62715	16	62715	8	14	N0=2
D_exact	62959	16	62959	8	13	N0=5
D_exact	63131	16	63131	8	13	N0=6
D_exact	63215	16	63215	8	14	N0=1
D_exact	63323	16	63323	8	13	N0=8
D_exact	63391	16	63391	8	13	N0=5
D_exact	63559	16	63559	8	14	N0=2
D_exact	63903	16	63903	8	13	N0=5
D_exact	64159	16	64159	8	14	N0=1
D_exact	64327	16	64327	8	13	N0=7
D_exact	64423	16	64423	8	14	N0=2
D_exact	64603	16	64603	8	14	N0=2
D_exact	64743	16	64743	8	14	N0=1
D_exact	64839	16	64839	8	13	N0=7
D_exact	65447	16	65447	8	14	N0=2
F	27	60	27	37	59	Nf=2
F	31	57	31	35	56	Nf=2
F	47	56	47	34	55	Nf=1
F	63	58	63	35	57	Nf=1
F	71	55	71	33	54	Nf=1
F	91	46	91	28	45	Nf=16
F	103	43	103	26	42	Nf=8
F	111	32	111	19	31	Nf=4
F	127	16	127	9	15	Nf=1
F	159	23	159	13	22	Nf=1
F	167	31	167	18	30	Nf=2
F	223	33	223	19	32	Nf=1
F	239	22	239	12	21	Nf=1
F	251	30	251	17	29	Nf=1
F	283	27	283	15	26	Nf=1
F	303	19	303	9	18	Nf=1
F	319	24	319	13	23	Nf=1
F	327	23	327	13	22	Nf=1
F	359	21	359	11	20	Nf=1
F	415	17	415	9	16	Nf=1
F	447	42	447	25	41	Nf=1
F	479	19	479	11	18	Nf=15
F	495	29	495	17	28	Nf=1
F	511	20	511	11	19	Nf=1
F	559	19	559	11	18	Nf=14
F	603	17	603	10	16	Nf=2
F	623	19	623	9	18	Nf=1
F	639	24	639	14	23	Nf=1
F	667	27	667	15	26	Nf=1
F	671	23	671	14	22	Nf=4
F	703	84	703	51	83	Nf=1
F	743	28	743	16	27	Nf=1
F	751	24	751	13	23	Nf=1
F	763	23	763	12	22	Nf=1
F	767	19	767	10	18	Nf=1
F	795	28	795	17	27	Nf=3
F	831	18	831	9	17	Nf=1
F	839	16	839	9	15	Nf=6
F	859	20	859	10	19	Nf=1
F	871	36	871	22	35	Nf=2
F	895	25	895	15	24	Nf=2
F	927	38	927	23	37	Nf=28
F	959	23	959	13	22	Nf=1
F	991	27	991	16	26	Nf=10
F	1007	22	1007	13	21	Nf=2
F	1023	21	1023	11	20	Nf=1
F	1051	20	1051	12	19	Nf=3
F	1055	83	1055	50	82	Nf=1
F	1095	16	1095	9	15	Nf=1
F	1115	24	1115	14	23	Nf=6
F	1127	23	1127	12	22	Nf=1
F	1151	18	1151	9	17	Nf=1
F	1179	20	1179	10	19	Nf=1
F	1183	17	1183	10	16	Nf=1
F	1247	20	1247	9	19	Nf=1
F	1255	21	1255	12	20	Nf=3
F	1263	27	1263	16	26	Nf=6
F	1275	16	1275	9	15	Nf=1
F	1279	25	1279	14	24	Nf=1
F	1307	35	1307	21	34	Nf=1
F	1327	21	1327	9	20	Nf=1
F	1343	24	1343	14	23	Nf=1
F	1351	16	1351	9	14	Nf=5
F	1383	43	1383	24	42	Nf=1
F	1407	85	1407	51	84	Nf=1
F	1439	22	1439	12	21	Nf=1
F	1471	32	1471	19	31	Nf=1
F	1503	25	1503	13	24	Nf=1
F	1519	18	1519	10	17	Nf=2
F	1535	20	1535	10	19	Nf=1
F	1567	20	1567	9	19	Nf=1
F	1583	82	1583	49	81	Nf=1
F	1639	37	1639	23	36	Nf=25
F	1663	18	1663	11	17	Nf=7
F	1691	22	1691	11	21	Nf=1
F	1695	34	1695	20	33	Nf=1
F	1727	20	1727	9	19	Nf=1
F	1767	20	1767	12	19	Nf=3
F	1775	16	1775	9	15	Nf=1
F	1791	19	1791	11	18	Nf=1
F	1819	62	1819	38	61	Nf=1
F	1883	20	1883	11	19	Nf=2
F	1895	26	1895	15	25	Nf=2
F	1919	24	1919	13	23	Nf=1
F	1951	18	1951	11	17	Nf=12
F	1959	28	1959	16	27	Nf=1
F	2043	20	2043	11	19	Nf=2
F	2047	59	2047	36	58	Nf=1
F	2111	84	2111	50	83	Nf=1
F	2119	17	2119	9	16	Nf=1
F	2139	21	2139	12	20	Nf=1
F	2151	42	2151	26	41	Nf=7
F	2159	21	2159	11	20	Nf=1
F	2175	21	2175	12	20	Nf=1
F	2207	31	2207	18	30	Nf=1
F	2215	45	2215	27	44	Nf=2
F	2271	17	2271	9	16	Nf=1
F	2287	54	2287	31	53	Nf=1
F	2299	17	2299	9	16	Nf=1
F	2303	19	2303	9	18	Nf=1
F	2331	17	2331	9	16	Nf=1
F	2367	18	2367	10	17	Nf=1
F	2375	29	2375	18	28	Nf=49
F	2407	18	2407	10	17	Nf=1
F	2463	23	2463	13	22	Nf=2
F	2495	17	2495	10	16	Nf=1
F	2527	28	2527	16	27	Nf=1
F	2543	30	2543	18	29	Nf=59
F	2559	41	2559	25	40	Nf=1
F	2651	19	2651	11	18	Nf=2
F	2671	20	2671	10	19	Nf=1
F	2687	18	2687	10	17	Nf=1
F	2715	34	2715	20	33	Nf=1
F	2719	17	2719	9	16	Nf=1
F	2727	16	2727	9	15	Nf=5
F	2751	44	2751	27	43	Nf=3
F	2791	19	2791	10	18	Nf=1
F	2799	17	2799	9	16	Nf=1
F	2811	19	2811	11	18	Nf=2
F	2815	16	2815	9	14	Nf=3
F	2843	25	2843	14	24	Nf=1
F	2879	18	2879	11	17	Nf=10
F	2887	17	2887	10	16	Nf=3
F	2919	18	2919	11	17	Nf=10
F	2943	30	2943	18	29	Nf=36
F	2983	16	2983	9	15	Nf=1
F	3007	23	3007	14	22	Nf=5
F	3055	31	3055	18	30	Nf=1
F	3071	50	3071	31	49	Nf=3
F	3099	20	3099	12	19	Nf=3
F	3103	20	3103	11	19	Nf=1
F	3135	21	3135	9	20	Nf=1
F	3163	16	3163	9	15	Nf=1
F	3175	43	3175	26	42	Nf=11
F	3183	22	3183	11	21	Nf=1
F	3199	18	3199	11	17	Nf=7
F	3227	41	3227	25	40	Nf=3
F	3231	24	3231	14	23	Nf=3
F	3239	16	3239	9	14	Nf=5
F	3263	20	3263	11	19	Nf=1
F	3303	16	3303	9	15	Nf=1
F	3311	27	3311	16	26	Nf=9
F	3323	44	3323	26	43	Nf=2
F	3327	19	3327	11	18	Nf=1
F	3355	25	3355	13	24	Nf=1
F	3375	20	3375	11	19	Nf=1
F	3391	30	3391	18	29	Nf=61
F	3399	49	3399	30	48	Nf=3
F	3431	37	3431	23	36	Nf=17
F	3455	21	3455	9	20	Nf=1
F	3487	17	3487	10	16	Nf=2
F	3519	25	3519	15	24	Nf=2
F	3567	31	3567	19	30	Nf=4
F	3583	20	3583	11	19	Nf=1
F	3611	17	3611	9	16	Nf=1
F	3615	21	3615	11	20	Nf=1
F	3631	29	3631	18	28	Nf=37
F	3711	38	3711	23	37	Nf=1
F	3739	41	3739	24	40	Nf=1
F	3743	16	3743	9	15	Nf=1
F	3775	22	3775	11	21	Nf=1
F	3815	18	3815	11	17	Nf=17
F	3823	26	3823	16	25	Nf=10
F	3839	37	3839	23	36	Nf=10
F	3867	25	3867	14	24	Nf=1
F	3931	27	3931	15	26	Nf=1
F	3943	46	3943	25	45	Nf=1
F	3999	20	3999	12	19	Nf=2
F	4007	19	4007	9	18	Nf=1
F	4031	17	4031	9	16	Nf=1
F	4079	18	4079	9	17	Nf=1
F	4095	52	4095	32	51	Nf=2
F	4123	16	4123	9	14	Nf=5
F	4127	43	4127	26	42	Nf=2
F	4143	16	4143	9	14	Nf=5
F	4159	18	4159	9	17	Nf=1
F	4167	21	4167	12	20	Nf=4
F	4187	18	4187	9	17	Nf=1
F	4199	18	4199	9	17	Nf=1
F	4207	38	4207	22	37	Nf=1
F	4255	71	4255	44	70	Nf=2
F	4263	58	4263	35	57	Nf=1
F	4287	20	4287	9	19	Nf=1
F	4319	17	4319	10	16	Nf=2
F	4335	18	4335	11	17	Nf=12
F	4347	48	4347	30	47	Nf=138
F	4351	22	4351	12	21	Nf=1
F	4379	17	4379	10	16	Nf=2
F	4399	34	4399	20	33	Nf=1
F	4415	29	4415	17	28	Nf=3
F	4423	24	4423	13	23	Nf=1
F	4511	21	4511	12	20	Nf=2
F	4543	16	4543	9	14	Nf=3
F	4575	39	4575	24	38	Nf=4
F	4591	66	4591	41	65	Nf=4
F	4607	49	4607	30	48	Nf=1
F	4635	18	4635	10	17	Nf=3
F	4655	16	4655	9	15	Nf=4
F	4699	23	4699	13	22	Nf=1
F	4719	26	4719	14	25	Nf=1
F	4735	18	4735	11	17	Nf=7
F	4763	26	4763	16	25	Nf=10
F	4767	24	4767	14	23	Nf=5
F	4775	21	4775	10	20	Nf=1
F	4799	17	4799	10	16	Nf=1
F	4839	20	4839	12	19	Nf=4
F	4847	23	4847	13	22	Nf=1
F	4863	36	4863	21	35	Nf=1
F	4891	45	4891	28	44	Nf=22
F	4935	24	4935	14	23	Nf=6
F	4967	26	4967	15	25	Nf=3
F	4991	18	4991	10	17	Nf=1
F	5023	18	5023	9	17	Nf=1
F	5055	24	5055	13	23	Nf=1
F	5087	16	5087	9	14	Nf=5
F	5103	18	5103	9	17	Nf=1
F	5119	39	5119	24	38	Nf=2
F	5147	36	5147	22	35	Nf=3
F	5151	34	5151	21	33	Nf=7
F	5211	22	5211	12	21	Nf=1
F	5223	18	5223	11	17	Nf=11
F	5231	16	5231	9	15	Nf=1
F	5247	23	5247	12	22	Nf=1
F	5279	24	5279	14	23	Nf=1
F	5287	20	5287	11	19	Nf=1
F	5311	16	5311	9	15	Nf=1
F	5343	21	5343	10	20	Nf=1
F	5351	30	5351	18	29	Nf=2
F	5359	23	5359	14	22	Nf=4
F	5375	19	5375	10	18	Nf=1
F	5403	22	5403	13	21	Nf=2
F	5423	20	5423	10	19	Nf=1
F	5447	28	5447	17	27	Nf=3
F	5479	26	5479	16	25	Nf=8
F	5503	42	5503	26	41	Nf=11
F	5535	28	5535	17	27	Nf=2
F	5567	37	5567	22	36	Nf=1
F	5599	18	5599	9	17	Nf=1
F	5631	16	5631	9	15	Nf=1
F	5659	26	5659	13	25	Nf=1
F	5663	21	5663	10	20	Nf=1
F	5679	21	5679	12	20	Nf=1
F	5735	25	5735	15	24	Nf=3
F	5759	36	5759	22	35	Nf=2
F	5787	17	5787	9	16	Nf=1
F	5791	33	5791	20	32	Nf=2
F	5823	24	5823	10	23	Nf=1
F	5863	19	5863	10	18	Nf=1
F	5887	27	5887	15	26	Nf=1
F	5915	45	5915	24	44	Nf=1
F	5991	29	5991	16	28	Nf=1
F	6015	23	6015	13	22	Nf=1
F	6047	17	6047	9	16	Nf=1
F	6055	19	6055	11	18	Nf=14
F	6079	19	6079	11	18	Nf=1
F	6139	20	6139	11	19	Nf=1
F	6143	51	6143	31	50	Nf=1
F	6171	56	6171	35	55	Nf=28
F	6175	17	6175	9	16	Nf=1
F	6191	29	6191	18	28	Nf=59
F	6207	18	6207	10	17	Nf=2
F	6235	18	6235	11	17	Nf=12
F	6247	18	6247	10	17	Nf=2
F	6255	17	6255	9	16	Nf=1
F	6271	16	6271	9	14	Nf=3
F	6303	29	6303	15	28	Nf=1
F	6311	37	6311	21	36	Nf=1
F	6367	23	6367	11	22	Nf=1
F	6383	70	6383	43	69	Nf=2
F	6395	23	6395	14	22	Nf=6
F	6399	19	6399	11	18	Nf=1
F	6427	25	6427	13	24	Nf=1
F	6463	25	6463	14	24	Nf=1
F	6471	51	6471	31	50	Nf=1
F	6503	16	6503	9	15	Nf=4
F	6591	45	6591	28	44	Nf=8
F	6623	28	6623	16	27	Nf=2
F	6639	18	6639	11	17	Nf=12
F	6655	42	6655	22	41	Nf=1
F	6703	17	6703	10	16	Nf=2
F	6759	16	6759	9	15	Nf=1
F	6767	20	6767	11	19	Nf=1
F	6783	16	6783	9	15	Nf=3
F	6811	29	6811	18	28	Nf=45
F	6823	38	6823	23	37	Nf=18
F	6847	21	6847	11	20	Nf=1
F	6887	58	6887	36	57	Nf=4
F	6895	22	6895	13	21	Nf=1
F	6907	17	6907	9	16	Nf=1
F	6911	48	6911	29	47	Nf=1
F	6939	29	6939	15	28	Nf=1
F	6975	16	6975	9	14	Nf=4
F	7015	16	7015	9	14	Nf=4
F	7039	18	7039	11	17	Nf=8
F	7103	17	7103	10	16	Nf=1
F	7135	29	7135	18	28	Nf=51
F	7151	23	7151	13	22	Nf=2
F	7163	20	7163	9	19	Nf=1
F	7167	34	7167	21	33	Nf=4
F	7195	20	7195	12	19	Nf=3
F	7199	16	7199	9	15	Nf=1
F	7231	22	7231	11	21	Nf=1
F	7271	22	7271	12	21	Nf=1
F	7279	58	7279	36	57	Nf=4
F	7295	32	7295	19	31	Nf=3
F	7323	31	7323	17	30	Nf=1
F	7327	23	7327	14	22	Nf=4
F	7335	25	7335	15	24	Nf=2
F	7359	45	7359	27	44	Nf=1
F	7407	31	7407	13	30	Nf=1
F	7419	16	7419	9	14	Nf=6
F	7423	39	7423	23	38	Nf=1
F	7451	18	7451	11	17	Nf=16
F	7471	20	7471	11	19	Nf=1
F	7487	17	7487	9	16	Nf=1
F	7495	19	7495	9	18	Nf=1
F	7527	75	7527	46	74	Nf=1
F	7551	23	7551	11	22	Nf=1
F	7583	23	7583	12	22	Nf=1
F	7615	23	7615	12	22	Nf=1
F	7647	23	7647	14	22	Nf=7
F	7663	26	7663	16	25	Nf=8
F	7679	38	7679	23	37	Nf=1
F	7707	21	7707	12	20	Nf=3
F	7711	21	7711	11	20	Nf=1
F	7727	33	7727	20	32	Nf=3
F	7783	18	7783	9	17	Nf=1
F	7807	26	7807	13	25	Nf=1
F	7835	17	7835	10	16	Nf=2
F	7839	26	7839	15	25	Nf=1
F	7871	22	7871	11	21	Nf=1
F	7919	16	7919	9	14	Nf=4
F	7935	43	7935	25	42	Nf=1
F	7963	76	7963	45	75	Nf=1
F	8027	26	8027	16	25	Nf=13
F	8039	21	8039	12	20	Nf=2
F	8063	18	8063	9	17	Nf=1
F	8095	17	8095	10	16	Nf=2
F	8127	47	8127	27	46	Nf=1
F	8175	26	8175	15	25	Nf=1
F	8187	16	8187	9	15	Nf=1
F	8191	45	8191	27	44	Nf=1
F	8219	25	8219	15	24	Nf=2
F	8223	29	8223	16	28	Nf=1
F	8239	28	8239	15	27	Nf=1
F	8255	30	8255	18	29	Nf=61
F	8263	16	8263	9	14	Nf=6
F	8283	21	8283	12	20	Nf=1
F	8295	40	8295	23	39	Nf=1
F	8303	27	8303	16	26	Nf=1
F	8319	21	8319	12	20	Nf=1
F	8351	36	8351	21	35	Nf=1
F	8359	51	8359	30	50	Nf=1
F	8415	39	8415	22	38	Nf=1
F	8431	16	8431	9	15	Nf=3
F	8443	27	8443	16	26	Nf=1
F	8475	28	8475	16	27	Nf=2
F	8511	29	8511	18	28	Nf=53
F	8519	20	8519	11	19	Nf=1
F	8551	18	8551	10	17	Nf=2
F	8607	21	8607	12	20	Nf=3
F	8639	35	8639	21	34	Nf=1
F	8671	18	8671	10	17	Nf=2
F	8687	20	8687	12	19	Nf=3
F	8703	28	8703	17	27	Nf=2
F	8751	23	8751	12	22	Nf=1
F	8795	18	8795	9	17	Nf=1
F	8831	26	8831	14	25	Nf=1
F	8859	29	8859	16	28	Nf=1
F	8863	16	8863	9	14	Nf=3
F	8895	32	8895	17	31	Nf=1
F	8935	30	8935	18	29	Nf=1
F	8943	32	8943	19	31	Nf=1
F	8955	19	8955	11	18	Nf=2
F	8959	73	8959	43	72	Nf=1
F	8987	28	8987	15	27	Nf=1
F	9023	18	9023	11	17	Nf=12
F	9031	23	9031	14	22	Nf=6
F	9051	17	9051	9	16	Nf=1
F	9063	22	9063	12	21	Nf=1
F	9087	16	9087	9	15	Nf=1
F	9119	18	9119	10	17	Nf=1
F	9151	23	9151	13	22	Nf=1
F	9183	56	9183	35	55	Nf=23
F	9199	18	9199	10	17	Nf=1
F	9215	50	9215	30	49	Nf=1
F	9243	24	9243	13	23	Nf=1
F	9247	22	9247	13	21	Nf=1
F	9287	27	9287	16	26	Nf=16
F	9307	16	9307	9	14	Nf=5
F	9319	18	9319	10	17	Nf=1
F	9343	18	9343	11	17	Nf=9
F	9371	17	9371	9	16	Nf=1
F	9375	25	9375	9	24	Nf=1
F	9383	17	9383	9	16	Nf=1
F	9447	16	9447	9	14	Nf=5
F	9455	28	9455	14	27	Nf=1
F	9467	29	9467	18	28	Nf=57
F	9471	19	9471	11	18	Nf=1
F	9499	24	9499	14	23	Nf=1
F	9535	25	9535	14	24	Nf=1
F	9543	20	9543	10	19	Nf=1
F	9575	26	9575	16	25	Nf=13
F	9599	18	9599	10	17	Nf=1
F	9631	31	9631	19	30	Nf=4
F	9663	56	9663	35	55	Nf=18
F	9695	24	9695	13	23	Nf=1
F	9711	17	9711	9	16	Nf=1
F	9727	34	9727	20	33	Nf=2
F	9775	28	9775	17	27	Nf=3
F	9831	18	9831	11	17	Nf=12
F	9855	29	9855	18	28	Nf=22
F	9883	22	9883	11	21	Nf=1
F	9887	44	9887	27	43	Nf=2
F	9959	16	9959	9	15	Nf=5
F	9967	26	9967	14	25	Nf=1
F	9983	26	9983	16	25	Nf=7
F	10011	56	10011	32	55	Nf=1
F	10075	16	10075	9	15	Nf=1
F	10087	102	10087	64	101	Nf=36
F	10111	18	10111	11	17	Nf=9
F	10143	29	10143	16	28	Nf=1
F	10151	16	10151	9	14	Nf=6
F	10235	37	10235	22	36	Nf=4
F	10239	35	10239	21	34	Nf=4
F	10267	21	10267	9	20	Nf=1
F	10287	19	10287	9	18	Nf=1
F	10303	35	10303	21	34	Nf=2
F	10311	21	10311	12	20	Nf=4
F	10331	53	10331	33	52	Nf=9
F	10343	21	10343	12	20	Nf=1
F	10351	30	10351	18	29	Nf=42
F	10367	47	10367	28	46	Nf=1
F	10399	21	10399	11	20	Nf=1
F	10407	29	10407	18	28	Nf=46
F	10479	31	10479	19	30	Nf=4
F	10491	24	10491	14	23	Nf=6
F	10495	19	10495	11	18	Nf=9
F	10559	17	10559	10	16	Nf=2
F	10567	20	10567	11	19	Nf=1
F	10599	37	10599	22	36	Nf=1
F	10655	16	10655	9	15	Nf=1
F	10687	21	10687	12	20	Nf=1
F	10719	23	10719	13	22	Nf=1
F	10735	16	10735	9	15	Nf=1
F	10751	33	10751	20	32	Nf=1
F	10843	27	10843	14	26	Nf=1
F	10863	17	10863	9	16	Nf=1
F	10879	41	10879	24	40	Nf=1
F	10907	21	10907	11	20	Nf=1
F	10911	40	10911	22	39	Nf=1
F	10919	57	10919	35	56	Nf=2
F	10943	31	10943	18	30	Nf=1
F	10983	30	10983	18	29	Nf=40
F	10991	22	10991	13	21	Nf=2
F	11003	24	11003	14	23	Nf=1
F	11007	19	11007	11	18	Nf=1
F	11035	20	11035	10	19	Nf=1
F	11071	29	11071	17	28	Nf=1
F	11079	25	11079	9	24	Nf=1
F	11111	30	11111	12	29	Nf=1
F	11135	38	11135	22	37	Nf=1
F	11175	36	11175	21	35	Nf=2
F	11199	23	11199	14	22	Nf=5
F	11231	18	11231	9	17	Nf=1
F	11247	18	11247	11	17	Nf=13
F	11263	53	11263	30	52	Nf=1
F	11291	74	11291	45	73	Nf=1
F	11295	24	11295	13	23	Nf=1
F	11355	23	11355	12	22	Nf=1
F	11367	26	11367	16	25	Nf=9
F	11375	16	11375	9	14	Nf=4
F	11391	50	11391	28	49	Nf=1
F	11419	28	11419	14	27	Nf=1
F	11423	22	11423	11	21	Nf=1
F	11431	17	11431	10	16	Nf=2
F	11455	16	11455	9	14	Nf=4
F	11495	25	11495	15	24	Nf=2
F	11503	45	11503	27	44	Nf=2
F	11515	34	11515	20	33	Nf=2
F	11519	37	11519	22	36	Nf=1
F	11547	31	11547	16	30	Nf=1
F	11567	16	11567	9	15	Nf=5
F	11583	22	11583	13	21	Nf=1
F	11591	29	11591	18	28	Nf=67
F	11623	49	11623	30	48	Nf=46
F	11679	19	11679	9	18	Nf=1
F	11711	25	11711	12	24	Nf=1
F	11759	20	11759	12	19	Nf=3
F	11775	28	11775	15	27	Nf=1
F	11803	21	11803	12	20	Nf=4
F	11807	16	11807	9	15	Nf=4
F	11823	18	11823	10	17	Nf=1
F	11903	42	11903	24	41	Nf=1
F	11931	49	11931	30	48	Nf=2
F	11935	25	11935	14	24	Nf=1
F	11967	16	11967	9	15	Nf=3
F	12007	19	12007	10	18	Nf=1
F	12015	23	12015	14	22	Nf=4
F	12031	28	12031	16	27	Nf=1
F	12059	20	12059	11	19	Nf=1
F	12123	23	12123	13	22	Nf=2
F	12135	40	12135	24	39	Nf=3
F	12191	20	12191	12	19	Nf=3
F	12199	19	12199	11	18	Nf=16
F	12223	37	12223	21	36	Nf=1
F	12287	44	12287	26	43	Nf=1
F	12315	20	12315	12	19	Nf=4
F	12319	16	12319	9	14	Nf=4
F	12335	23	12335	14	22	Nf=7
F	12359	27	12359	14	26	Nf=1
F	12379	18	12379	11	17	Nf=14
F	12399	76	12399	47	75	Nf=3
F	12415	18	12415	9	17	Nf=1
F	12447	47	12447	27	46	Nf=1
F	12455	26	12455	15	25	Nf=1
F	12479	20	12479	11	19	Nf=1
F	12511	18	12511	9	17	Nf=1
F	12527	29	12527	18	28	Nf=51
F	12539	50	12539	29	49	Nf=1
F	12543	16	12543	9	15	Nf=1
F	12571	23	12571	9	22	Nf=1
F	12591	20	12591	11	19	Nf=2
F	12607	24	12607	14	23	Nf=4
F	12615	20	12615	10	19	Nf=1
F	12703	71	12703	43	70	Nf=1
F	12735	28	12735	16	27	Nf=1
F	12767	27	12767	16	26	Nf=13
F	12783	31	12783	18	30	Nf=1
F	12799	20	12799	11	19	Nf=1
F	12827	17	12827	9	16	Nf=1
F	12847	25	12847	12	24	Nf=1
F	12891	23	12891	13	22	Nf=1
F	12911	20	12911	11	19	Nf=1
F	12927	31	12927	17	30	Nf=1
F	12955	31	12955	18	30	Nf=2
F	12959	34	12959	20	33	Nf=1
F	12967	17	12967	9	16	Nf=1
F	12991	28	12991	14	27	Nf=1
F	13031	19	13031	11	18	Nf=1
F	13039	25	13039	15	24	Nf=2
F	13055	27	13055	16	26	Nf=1
F	13083	16	13083	9	14	Nf=4
F	13119	17	13119	9	16	Nf=1
F	13127	22	13127	11	21	Nf=1
F	13159	22	13159	12	21	Nf=1
F	13183	46	13183	28	45	Nf=2
F	13247	25	13247	13	24	Nf=1
F	13279	18	13279	10	17	Nf=2
F	13311	28	13311	17	27	Nf=2
F	13339	19	13339	10	18	Nf=1
F	13343	31	13343	16	30	Nf=1
F	13383	20	13383	9	19	Nf=1
F	13403	29	13403	17	28	Nf=1
F	13415	31	13415	18	30	Nf=1
F	13423	46	13423	28	45	Nf=2
F	13439	72	13439	42	71	Nf=1
F	13471	23	13471	11	22	Nf=1
F	13479	20	13479	11	19	Nf=2
F	13503	42	13503	26	41	Nf=7
F	13535	17	13535	10	16	Nf=3
F	13543	32	13543	19	31	Nf=1
F	13551	68	13551	42	67	Nf=2
F	13563	19	13563	9	18	Nf=1
F	13567	17	13567	9	16	Nf=1
F	13595	21	13595	11	20	Nf=1
F	13615	17	13615	10	16	Nf=2
F	13639	20	13639	11	19	Nf=1
F	13671	18	13671	11	17	Nf=13
F	13695	16	13695	9	15	Nf=4
F	13727	19	13727	11	18	Nf=8
F	13759	54	13759	32	53	Nf=1
F	13791	18	13791	11	17	Nf=11
F	13823	49	13823	29	48	Nf=1
F	13851	16	13851	9	15	Nf=1
F	13855	17	13855	10	16	Nf=2
F	13871	18	13871	11	17	Nf=11
F	13927	16	13927	9	14	Nf=5
F	13951	18	13951	11	17	Nf=10
F	13983	38	13983	22	37	Nf=1
F	14015	17	14015	10	16	Nf=2
F	14055	35	14055	18	34	Nf=1
F	14063	25	14063	9	24	Nf=1
F	14079	30	14079	16	29	Nf=1
F	14107	47	14107	27	46	Nf=1
F	14183	21	14183	12	20	Nf=3
F	14207	16	14207	9	14	Nf=3
F	14247	26	14247	16	25	Nf=15
F	14271	16	14271	9	15	Nf=1
F	14331	16	14331	9	14	Nf=7
F	14335	35	14335	21	34	Nf=1
F	14363	18	14363	11	17	Nf=18
F	14367	27	14367	16	26	Nf=11
F	14383	19	14383	11	18	Nf=18
F	14399	17	14399	9	16	Nf=1
F	14407	20	14407	9	19	Nf=1
F	14427	28	14427	17	27	Nf=3
F	14439	17	14439	9	16	Nf=1
F	14447	30	14447	18	29	Nf=2
F	14463	21	14463	12	20	Nf=1
F	14495	54	14495	33	53	Nf=6
F	14503	20	14503	11	19	Nf=1
F	14559	59	14559	36	58	Nf=1
F	14575	28	14575	16	27	Nf=1
F	14587	22	14587	12	21	Nf=1
F	14591	33	14591	19	32	Nf=1
F	14619	27	14619	16	26	Nf=14
F	14655	24	14655	14	23	Nf=1
F	14663	27	14663	16	26	Nf=2
F	14695	37	14695	23	36	Nf=23
F	14783	28	14783	17	27	Nf=2
F	14815	32	14815	13	31	Nf=1
F	14831	43	14831	26	42	Nf=1
F	14847	38	14847	23	37	Nf=13
F	14895	18	14895	9	17	Nf=1
F	14951	25	14951	13	24	Nf=1
F	14959	29	14959	18	28	Nf=51
F	14975	25	14975	15	24	Nf=2
F	15003	25	15003	15	24	Nf=2
F	15007	19	15007	9	18	Nf=1
F	15015	30	15015	18	29	Nf=54
F	15039	84	15039	52	83	Nf=2
F	15079	26	15079	15	25	Nf=1
F	15087	29	15087	17	28	Nf=1
F	15099	27	15099	15	26	Nf=1
F	15103	19	15103	11	18	Nf=10
F	15131	72	15131	45	71	Nf=11
F	15167	17	15167	10	16	Nf=2
F	15207	17	15207	10	16	Nf=2
F	15231	24	15231	12	23	Nf=1
F	15271	19	15271	9	18	Nf=1
F	15295	18	15295	9	17	Nf=1
F	15327	27	15327	16	26	Nf=2
F	15343	16	15343	9	15	Nf=4
F	15355	20	15355	11	19	Nf=1
F	15359	34	15359	20	33	Nf=1
F	15387	20	15387	12	19	Nf=4
F	15391	23	15391	13	22	Nf=2
F	15423	18	15423	10	17	Nf=2
F	15451	18	15451	9	17	Nf=1
F	15463	33	15463	16	32	Nf=1
F	15471	29	15471	18	28	Nf=34
F	15487	17	15487	10	16	Nf=1
F	15515	16	15515	9	14	Nf=5
F	15519	54	15519	32	53	Nf=1
F	15527	29	15527	17	28	Nf=4
F	15551	46	15551	27	45	Nf=1
F	15591	19	15591	9	18	Nf=1
F	15599	20	15599	10	19	Nf=1
F	15611	28	15611	17	27	Nf=4
F	15615	27	15615	13	26	Nf=1
F	15643	21	15643	10	20	Nf=1
F	15663	22	15663	13	21	Nf=2
F	15679	22	15679	13	21	Nf=2
F	15719	20	15719	12	19	Nf=3
F	15743	18	15743	10	17	Nf=2
F	15775	19	15775	11	18	Nf=1
F	15807	18	15807	11	17	Nf=7
F	15839	16	15839	9	15	Nf=1
F	15855	16	15855	9	14	Nf=4
F	15871	44	15871	25	43	Nf=1
F	15899	36	15899	21	35	Nf=1
F	15903	23	15903	14	22	Nf=5
F	15919	16	15919	9	15	Nf=1
F	15975	18	15975	11	17	Nf=13
F	15999	28	15999	17	27	Nf=2
F	16027	18	16027	9	17	Nf=1
F	16031	20	16031	11	19	Nf=1
F	16063	30	16063	18	29	Nf=45
F	16111	25	16111	15	24	Nf=3
F	16127	32	16127	19	31	Nf=1
F	16155	42	16155	26	41	Nf=9
F	16219	16	16219	9	14	Nf=6
F	16231	25	16231	15	24	Nf=2
F	16255	18	16255	11	17	Nf=10
F	16287	19	16287	9	18	Nf=1
F	16295	17	16295	9	16	Nf=1
F	16319	40	16319	23	39	Nf=1
F	16367	29	16367	18	28	Nf=84
F	16379	56	16379	34	55	Nf=1
F	16383	46	16383	27	45	Nf=1
F	16411	19	16411	10	18	Nf=1
F	16415	30	16415	17	29	Nf=1
F	16431	18	16431	10	17	Nf=1
F	16447	24	16447	14	23	Nf=7
F	16455	19	16455	10	18	Nf=1
F	16475	29	16475	17	28	Nf=4
F	16487	21	16487	12	20	Nf=1
F	16495	35	16495	21	34	Nf=10
F	16511	18	16511	10	17	Nf=1
F	16543	21	16543	11	20	Nf=1
F	16551	63	16551	38	62	Nf=2
F	16575	17	16575	9	16	Nf=1
F	16607	28	16607	16	27	Nf=1
F	16623	24	16623	14	23	Nf=1
F	16635	18	16635	10	17	Nf=2
F	16667	29	16667	11	28	Nf=1
F	16703	23	16703	14	22	Nf=4
F	16711	26	16711	15	25	Nf=2
F	16743	17	16743	9	16	Nf=1
F	16799	16	16799	9	14	Nf=4
F	16831	18	16831	10	17	Nf=1
F	16863	17	16863	9	16	Nf=1
F	16879	22	16879	13	21	Nf=1
F	16895	52	16895	29	51	Nf=1
F	16943	18	16943	11	17	Nf=11
F	16987	18	16987	11	17	Nf=15
F	17023	69	17023	43	68	Nf=5
F	17051	25	17051	15	24	Nf=3
F	17055	20	17055	10	19	Nf=1
F	17087	23	17087	14	22	Nf=4
F	17127	19	17127	11	18	Nf=14
F	17135	21	17135	10	20	Nf=1
F	17147	16	17147	9	15	Nf=1
F	17151	62	17151	38	61	Nf=1
F	17179	59	17179	36	58	Nf=4
F	17215	22	17215	12	21	Nf=1
F	17223	16	17223	9	14	Nf=6
F	17243	24	17243	14	23	Nf=2
F	17255	44	17255	26	43	Nf=1
F	17279	36	17279	21	35	Nf=1
F	17311	17	17311	10	16	Nf=2
F	17343	18	17343	11	17	Nf=7
F	17375	21	17375	12	20	Nf=1
F	17391	17	17391	10	16	Nf=2
F	17407	29	17407	17	28	Nf=1
F	17435	48	17435	29	47	Nf=3
F	17439	35	17439	21	34	Nf=1
F	17479	18	17479	11	17	Nf=22
F	17499	22	17499	12	21	Nf=1
F	17511	17	17511	10	16	Nf=2
F	17519	21	17519	9	20	Nf=1
F	17535	24	17535	12	23	Nf=1
F	17563	25	17563	15	24	Nf=3
F	17567	24	17567	11	23	Nf=1
F	17599	20	17599	9	19	Nf=1
F	17639	19	17639	11	18	Nf=1
F	17647	75	17647	46	74	Nf=3
F	17659	19	17659	11	18	Nf=20
F	17663	27	17663	14	26	Nf=1
F	17691	65	17691	39	64	Nf=1
F	17727	16	17727	9	15	Nf=1
F	17735	17	17735	9	16	Nf=1
F	17767	16	17767	9	15	Nf=1
F	17791	27	17791	16	26	Nf=8
F	17823	37	17823	23	36	Nf=13
F	17855	41	17855	23	40	Nf=1
F	17887	33	17887	19	32	Nf=1
F	17903	20	17903	12	19	Nf=3
F	17919	48	17919	30	47	Nf=108
F	17967	28	17967	15	27	Nf=1
F	18023	22	18023	13	21	Nf=2
F	18047	27	18047	15	26	Nf=1
F	18075	35	18075	19	34	Nf=1
F	18079	20	18079	11	19	Nf=1
F	18151	32	18151	18	31	Nf=1
F	18159	18	18159	11	17	Nf=15
F	18175	39	18175	24	38	Nf=5
F	18203	39	18203	23	38	Nf=1
F	18267	22	18267	13	21	Nf=2
F	18279	28	18279	16	27	Nf=1
F	18303	21	18303	12	20	Nf=2
F	18335	20	18335	12	19	Nf=3
F	18343	17	18343	10	16	Nf=2
F	18427	53	18427	32	52	Nf=1
F	18431	43	18431	25	42	Nf=1
F	18463	18	18463	9	17	Nf=1
F	18495	20	18495	12	19	Nf=3
F	18503	21	18503	12	20	Nf=5
F	18523	17	18523	10	16	Nf=2
F	18535	26	18535	15	25	Nf=2
F	18543	57	18543	35	56	Nf=34
F	18559	18	18559	11	17	Nf=11
F	18591	65	18591	39	64	Nf=1
F	18599	31	18599	19	30	Nf=6
F	18671	46	18671	26	45	Nf=1
F	18683	25	18683	14	24	Nf=1
F	18687	16	18687	9	14	Nf=3
F	18751	26	18751	9	25	Nf=1
F	18759	24	18759	14	23	Nf=1
F	18791	20	18791	12	19	Nf=3
F	18847	31	18847	17	30	Nf=1
F	18879	18	18879	11	17	Nf=8
F	18911	23	18911	13	22	Nf=2
F	18927	28	18927	16	27	Nf=1
F	18943	51	18943	31	50	Nf=3
F	19035	16	19035	9	15	Nf=1
F	19047	18	19047	9	17	Nf=1
F	19055	61	19055	38	60	Nf=13
F	19071	38	19071	22	37	Nf=1
F	19099	18	19099	10	17	Nf=2
F	19103	27	19103	15	26	Nf=1
F	19111	16	19111	9	14	Nf=5
F	19135	18	19135	10	17	Nf=1
F	19175	27	19175	16	26	Nf=10
F	19183	22	19183	13	21	Nf=2
F	19195	25	19195	14	24	Nf=2
F	19199	16	19199	9	15	Nf=3
F	19227	33	19227	20	32	Nf=3
F	19263	32	19263	19	31	Nf=2
F	19271	24	19271	11	23	Nf=1
F	19303	24	19303	12	23	Nf=1
F	19327	56	19327	34	55	Nf=3
F	19367	19	19367	10	18	Nf=1
F	19391	23	19391	14	22	Nf=6
F	19439	30	19439	18	29	Nf=37
F	19451	17	19451	9	16	Nf=1
F	19455	23	19455	14	22	Nf=3
F	19483	38	19483	21	37	Nf=1
F	19487	18	19487	11	17	Nf=10
F	19547	18	19547	10	17	Nf=1
F	19559	24	19559	14	23	Nf=1
F	19567	45	19567	27	44	Nf=1
F	19583	26	19583	15	25	Nf=1
F	19611	29	19611	18	28	Nf=51
F	19615	45	19615	27	44	Nf=2
F	19623	18	19623	9	17	Nf=1
F	19647	25	19647	15	24	Nf=2
F	19687	19	19687	10	18	Nf=1
F	19695	40	19695	23	39	Nf=1
F	19707	18	19707	10	17	Nf=1
F	19711	30	19711	18	29	Nf=1
F	19739	21	19739	11	20	Nf=1
F	19759	22	19759	13	21	Nf=2
F	19775	45	19775	27	44	Nf=1
F	19783	20	19783	11	19	Nf=2
F	19815	28	19815	17	27	Nf=3
F	19871	19	19871	11	18	Nf=10
F	19903	62	19903	37	61	Nf=1
F	19951	27	19951	16	26	Nf=12
F	19967	27	19967	16	26	Nf=1
F	19995	16	19995	9	14	Nf=5
F	19999	26	19999	14	25	Nf=1
F	20015	24	20015	14	23	Nf=4
F	20071	17	20071	9	16	Nf=1
F	20095	53	20095	32	52	Nf=2
F	20123	30	20123	17	29	Nf=1
F	20127	20	20127	10	19	Nf=1
F	20159	45	20159	28	44	Nf=20
F	20199	17	20199	9	16	Nf=1
F	20207	22	20207	10	21	Nf=1
F	20223	22	20223	12	21	Nf=1
F	20251	27	20251	16	26	Nf=8
F	20315	31	20315	18	30	Nf=1
F	20327	67	20327	41	66	Nf=1
F	20351	17	20351	9	16	Nf=1
F	20383	19	20383	11	18	Nf=1
F	20391	19	20391	11	18	Nf=2
F	20415	16	20415	9	14	Nf=3
F	20475	20	20475	9	19	Nf=1
F	20479	36	20479	21	35	Nf=1
F	20507	16	20507	9	15	Nf=5
F	20511	18	20511	10	17	Nf=2
F	20527	16	20527	9	15	Nf=5
F	20551	19	20551	11	18	Nf=2
F	20571	21	20571	12	20	Nf=1
F	20591	18	20591	10	17	Nf=2
F	20639	48	20639	30	47	Nf=76
F	20647	23	20647	13	22	Nf=2
F	20671	20	20671	11	19	Nf=1
F	20703	18	20703	11	17	Nf=13
F	20719	20	20719	11	19	Nf=1
F	20731	50	20731	30	49	Nf=1
F	20735	37	20735	23	36	Nf=18
F	20763	23	20763	11	22	Nf=1
F	20783	16	20783	9	15	Nf=1
F	20799	22	20799	11	21	Nf=1
F	20807	17	20807	10	16	Nf=2
F	20895	73	20895	45	72	Nf=1
F	20927	16	20927	9	15	Nf=3
F	20959	22	20959	13	21	Nf=2
F	20975	37	20975	21	36	Nf=1
F	20991	22	20991	13	21	Nf=1
F	21019	22	21019	12	21	Nf=1
F	21039	16	21039	9	14	Nf=4
F	21083	34	21083	17	33	Nf=1
F	21103	16	21103	9	15	Nf=1
F	21119	29	21119	15	28	Nf=1
F	21147	35	21147	21	34	Nf=7
F	21151	20	21151	11	19	Nf=1
F	21159	32	21159	19	31	Nf=1
F	21183	18	21183	11	17	Nf=8
F	21223	16	21223	9	15	Nf=1
F	21231	71	21231	44	70	Nf=2
F	21247	21	21247	12	20	Nf=1
F	21275	20	21275	11	19	Nf=1
F	21319	31	21319	18	30	Nf=2
F	21339	18	21339	9	17	Nf=1
F	21351	68	21351	42	67	Nf=3
F	21375	22	21375	12	21	Nf=1
F	21439	27	21439	16	26	Nf=8
F	21471	17	21471	9	16	Nf=1
F	21503	34	21503	20	33	Nf=1
F	21531	35	21531	21	34	Nf=8
F	21535	22	21535	13	21	Nf=2
F	21595	18	21595	11	17	Nf=16
F	21607	46	21607	28	45	Nf=2
F	21615	23	21615	11	22	Nf=1
F	21631	30	21631	18	29	Nf=2
F	21659	18	21659	9	17	Nf=1
F	21663	35	21663	20	34	Nf=1
F	21671	29	21671	17	28	Nf=1
F	21695	20	21695	11	19	Nf=1
F	21727	18	21727	9	17	Nf=1
F	21735	19	21735	11	18	Nf=15
F	21743	48	21743	30	47	Nf=46
F	21759	23	21759	14	22	Nf=5
F	21787	50	21787	30	49	Nf=2
F	21807	18	21807	9	17	Nf=1
F	21831	27	21831	16	26	Nf=13
F	21863	27	21863	15	26	Nf=1
F	21887	32	21887	18	31	Nf=1
F	21919	29	21919	18	28	Nf=33
F	21951	26	21951	16	25	Nf=8
F	21983	16	21983	9	14	Nf=4
F	21999	21	21999	9	20	Nf=1
F	22015	20	22015	11	19	Nf=1
F	22043	29	22043	18	28	Nf=51
F	22047	18	22047	9	17	Nf=1
F	22063	26	22063	16	25	Nf=10
F	22119	17	22119	10	16	Nf=2
F	22143	26	22143	16	25	Nf=7
F	22175	27	22175	16	26	Nf=1
F	22207	18	22207	9	17	Nf=1
F	22247	42	22247	25	41	Nf=1
F	22271	35	22271	21	34	Nf=4
F	22299	30	22299	18	29	Nf=43
F	22363	18	22363	9	17	Nf=1
F	22375	23	22375	14	22	Nf=4
F	22399	17	22399	10	16	Nf=2
F	22439	28	22439	17	27	Nf=5
F	22463	24	22463	14	23	Nf=1
F	22523	29	22523	17	28	Nf=5
F	22527	37	22527	23	36	Nf=11
F	22555	19	22555	10	18	Nf=1
F	22559	83	22559	51	82	Nf=2
F	22575	18	22575	10	17	Nf=2
F	22591	20	22591	12	19	Nf=3
F	22619	25	22619	14	24	Nf=1
F	22631	28	22631	16	27	Nf=1
F	22639	27	22639	15	26	Nf=1
F	22655	16	22655	9	15	Nf=3
F	22687	30	22687	18	29	Nf=2
F	22695	18	22695	10	17	Nf=2
F	22751	16	22751	9	15	Nf=1
F	22767	20	22767	11	19	Nf=1
F	22779	29	22779	18	28	Nf=47
F	22783	24	22783	14	23	Nf=3
F	22811	16	22811	9	15	Nf=1
F	22847	23	22847	11	22	Nf=1
F	22855	28	22855	16	27	Nf=1
F	22887	16	22887	9	14	Nf=4
F	22943	19	22943	9	18	Nf=1
F	22975	23	22975	14	22	Nf=3
F	23007	42	23007	26	41	Nf=8
F	23023	19	23023	11	18	Nf=10
F	23039	33	23039	19	32	Nf=1
F	23087	18	23087	11	17	Nf=13
F	23143	18	23143	10	17	Nf=1
F	23151	26	23151	15	25	Nf=3
F	23167	16	23167	9	14	Nf=3
F	23195	23	23195	14	22	Nf=6
F	23207	28	23207	17	27	Nf=3
F	23231	16	23231	9	15	Nf=1
F	23271	21	23271	12	20	Nf=1
F	23279	53	23279	31	52	Nf=1
F	23291	16	23291	9	14	Nf=6
F	23295	21	23295	12	20	Nf=1
F	23323	47	23323	28	46	Nf=1
F	23359	20	23359	9	19	Nf=1
F	23367	17	23367	9	16	Nf=1
F	23399	19	23399	9	18	Nf=1
F	23423	26	23423	12	25	Nf=1
F	23487	18	23487	11	17	Nf=9
F	23519	21	23519	12	20	Nf=1
F	23535	30	23535	18	29	Nf=2
F	23547	20	23547	11	19	Nf=2
F	23551	24	23551	14	23	Nf=4
F	23579	19	23579	11	18	Nf=1
F	23583	18	23583	10	17	Nf=1
F	23615	17	23615	9	16	Nf=1
F	23655	27	23655	16	26	Nf=13
F	23663	18	23663	10	17	Nf=1
F	23679	25	23679	14	24	Nf=1
F	23707	18	23707	10	17	Nf=2
F	23711	17	23711	10	16	Nf=1
F	23719	31	23719	15	30	Nf=1
F	23743	18	23743	10	17	Nf=1
F	23791	32	23791	19	31	Nf=3
F	23803	16	23803	9	15	Nf=6
F	23807	38	23807	23	37	Nf=22
F	23835	17	23835	9	16	Nf=1
F	23855	18	23855	11	17	Nf=13
F	23871	16	23871	9	14	Nf=4
F	23911	22	23911	13	21	Nf=1
F	23935	17	23935	9	16	Nf=1
F	23967	26	23967	16	25	Nf=7
F	23999	27	23999	16	26	Nf=1
F	24031	24	24031	14	23	Nf=1
F	24047	19	24047	10	18	Nf=1
F	24063	29	24063	16	28	Nf=1
F	24091	72	24091	44	71	Nf=1
F	24095	18	24095	11	17	Nf=11
F	24111	23	24111	14	22	Nf=5
F	24167	24	24167	14	23	Nf=2
F	24191	31	24191	18	30	Nf=1
F	24219	18	24219	11	17	Nf=14
F	24223	32	24223	19	31	Nf=4
F	24255	18	24255	11	17	Nf=9
F	24303	16	24303	9	15	Nf=4
F	24319	38	24319	20	37	Nf=1
F	24347	24	24347	14	23	Nf=1
F	24411	29	24411	13	28	Nf=1
F	24423	19	24423	11	18	Nf=1
F	24447	22	24447	13	21	Nf=2
F	24479	19	24479	11	18	Nf=11
F	24511	47	24511	28	46	Nf=1
F	24559	16	24559	9	15	Nf=1
F	24571	20	24571	11	19	Nf=1
F	24575	45	24575	26	44	Nf=1
F	24603	24	24603	14	23	Nf=5
F	24607	41	24607	25	40	Nf=4
F	24623	29	24623	16	28	Nf=1
F	24639	16	24639	9	15	Nf=1
F	24647	17	24647	9	16	Nf=1
F	24667	23	24667	13	22	Nf=1
F	24679	16	24679	9	15	Nf=1
F	24687	33	24687	18	32	Nf=1
F	24703	17	24703	10	16	Nf=2
F	24735	34	24735	19	33	Nf=1
F	24743	26	24743	16	25	Nf=9
F	24799	26	24799	16	25	Nf=10
F	24815	16	24815	9	14	Nf=3
F	24827	56	24827	35	55	Nf=40
F	24831	19	24831	9	18	Nf=1
F	24859	42	24859	24	41	Nf=1
F	24895	43	24895	26	42	Nf=4
F	24903	37	24903	23	36	Nf=34
F	24935	20	24935	12	19	Nf=3
F	24991	19	24991	11	18	Nf=1
F	25023	29	25023	16	28	Nf=1
F	25055	22	25055	13	21	Nf=2
F	25071	19	25071	11	18	Nf=1
F	25087	27	25087	16	26	Nf=8
F	25115	20	25115	9	19	Nf=1
F	25135	29	25135	16	28	Nf=1
F	25179	16	25179	9	14	Nf=6
F	25215	27	25215	16	26	Nf=1
F	25243	56	25243	35	55	Nf=25
F	25247	17	25247	9	16	Nf=1
F	25255	18	25255	9	17	Nf=1
F	25279	30	25279	16	29	Nf=1
F	25319	21	25319	12	20	Nf=1
F	25327	36	25327	21	35	Nf=1
F	25339	26	25339	15	25	Nf=4
F	25343	34	25343	21	33	Nf=5
F	25371	20	25371	11	19	Nf=1
F	25407	63	25407	39	62	Nf=7
F	25415	17	25415	10	16	Nf=2
F	25435	27	25435	14	26	Nf=1
F	25447	19	25447	11	18	Nf=9
F	25471	18	25471	11	17	Nf=13
F	25503	19	25503	9	18	Nf=1
F	25535	68	25535	42	67	Nf=3
F	25567	29	25567	17	28	Nf=4
F	25583	19	25583	9	18	Nf=1
F	25599	18	25599	10	17	Nf=1
F	25627	26	25627	16	25	Nf=9
F	25631	21	25631	12	20	Nf=2
F	25671	19	25671	10	18	Nf=1
F	25691	16	25691	9	15	Nf=5
F	25703	20	25703	9	19	Nf=1
F	25727	61	25727	37	60	Nf=1
F	25755	44	25755	27	43	Nf=5
F	25759	16	25759	9	14	Nf=3
F	25831	16	25831	9	15	Nf=5
F	25839	38	25839	23	37	Nf=24
F	25851	18	25851	10	17	Nf=3
F	25855	24	25855	14	23	Nf=5
F	25883	38	25883	23	37	Nf=22
F	25919	32	25919	19	31	Nf=5
F	25927	48	25927	27	47	Nf=1
F	25959	26	25959	16	25	Nf=9
F	25983	20	25983	12	19	Nf=3
F	26015	17	26015	10	16	Nf=1
F	26047	61	26047	38	60	Nf=6
F	26079	23	26079	14	22	Nf=4
F	26095	20	26095	12	19	Nf=4
F	26111	23	26111	14	22	Nf=3
F	26139	19	26139	9	18	Nf=1
F	26159	34	26159	20	33	Nf=1
F	26215	22	26215	13	21	Nf=2
F	26239	44	26239	26	43	Nf=1
F	26267	16	26267	9	15	Nf=1
F	26271	42	26271	25	41	Nf=2
F	26343	16	26343	9	14	Nf=5
F	26351	23	26351	10	22	Nf=1
F	26367	18	26367	10	17	Nf=1
F	26395	40	26395	24	39	Nf=3
F	26459	18	26459	10	17	Nf=1
F	26471	64	26471	40	63	Nf=12
F	26495	21	26495	12	20	Nf=3
F	26527	16	26527	9	15	Nf=1
F	26535	18	26535	9	17	Nf=1
F	26559	18	26559	9	17	Nf=1
F	26619	18	26619	10	17	Nf=1
F	26623	66	26623	41	65	Nf=2
F	26687	26	26687	15	25	Nf=2
F	26695	19	26695	11	18	Nf=2
F	26715	23	26715	14	22	Nf=6
F	26727	27	26727	13	26	Nf=1
F	26735	36	26735	22	35	Nf=3
F	26751	23	26751	13	22	Nf=1
F	26783	29	26783	18	28	Nf=33
F	26791	22	26791	13	21	Nf=2
F	26863	43	26863	26	42	Nf=2
F	26875	22	26875	12	21	Nf=1
F	26879	34	26879	21	33	Nf=10
F	26943	24	26943	11	23	Nf=1
F	26951	27	26951	14	26	Nf=1
F	26983	25	26983	14	24	Nf=1
F	27039	19	27039	10	18	Nf=1
F	27071	26	27071	14	25	Nf=1
F	27103	69	27103	42	68	Nf=1
F	27119	19	27119	10	18	Nf=1
F	27135	72	27135	45	71	Nf=5
F	27183	17	27183	9	16	Nf=1
F	27227	31	27227	17	30	Nf=1
F	27247	16	27247	9	14	Nf=4
F	27263	30	27263	18	29	Nf=37
F	27291	17	27291	9	16	Nf=1
F	27295	20	27295	11	19	Nf=1
F	27303	18	27303	10	17	Nf=2
F	27327	54	27327	33	53	Nf=9
F	27367	64	27367	40	63	Nf=17
F	27375	21	27375	11	20	Nf=1
F	27387	30	27387	18	29	Nf=55
F	27391	21	27391	12	20	Nf=1
F	27419	27	27419	15	26	Nf=1
F	27455	20	27455	11	19	Nf=1
F	27463	26	27463	11	25	Nf=1
F	27495	19	27495	11	18	Nf=1
F	27519	49	27519	30	48	Nf=74
F	27559	17	27559	10	16	Nf=3
F	27583	28	27583	14	27	Nf=1
F	27631	19	27631	11	18	Nf=11
F	27647	37	27647	23	36	Nf=9
F	27675	19	27675	11	18	Nf=14
F	27679	21	27679	12	20	Nf=2
F	27739	17	27739	10	16	Nf=3
F	27751	20	27751	11	19	Nf=1
F	27759	16	27759	9	15	Nf=4
F	27775	27	27775	15	26	Nf=1
F	27803	25	27803	14	24	Nf=2
F	27807	26	27807	16	25	Nf=6
F	27815	18	27815	11	17	Nf=13
F	27839	16	27839	9	15	Nf=4
F	27879	17	27879	10	16	Nf=2
F	27887	37	27887	23	36	Nf=18
F	27899	23	27899	14	22	Nf=6
F	27903	18	27903	10	17	Nf=1
F	27931	48	27931	30	47	Nf=81
F	27951	16	27951	9	14	Nf=5
F	27967	39	27967	22	38	Nf=1
F	27975	16	27975	9	15	Nf=1
F	28007	40	28007	24	39	Nf=3
F	28063	19	28063	11	18	Nf=1
F	28095	18	28095	11	17	Nf=10
F	28127	26	28127	9	25	Nf=1
F	28143	19	28143	11	18	Nf=1
F	28159	31	28159	16	30	Nf=1
F	28187	19	28187	11	18	Nf=1
F	28191	16	28191	9	14	Nf=4
F	28207	26	28207	14	25	Nf=1
F	28287	46	28287	27	45	Nf=1
F	28315	38	28315	23	37	Nf=2
F	28319	17	28319	10	16	Nf=2
F	28351	16	28351	9	14	Nf=3
F	28391	24	28391	14	23	Nf=6
F	28399	53	28399	33	52	Nf=8
F	28415	50	28415	30	49	Nf=1
F	28443	32	28443	19	31	Nf=1
F	28507	18	28507	11	17	Nf=18
F	28519	34	28519	19	33	Nf=1
F	28575	31	28575	17	30	Nf=1
F	28583	60	28583	37	59	Nf=6
F	28607	37	28607	21	36	Nf=1
F	28671	78	28671	47	77	Nf=1
F	28699	23	28699	14	22	Nf=5
F	28703	17	28703	9	16	Nf=1
F	28719	27	28719	14	26	Nf=1
F	28743	25	28743	14	24	Nf=1
F	28763	26	28763	15	25	Nf=3
F	28783	71	28783	44	70	Nf=3
F	28831	23	28831	14	22	Nf=4
F	28839	29	28839	16	28	Nf=1
F	28863	26	28863	16	25	Nf=11
F	28895	16	28895	9	14	Nf=5
F	28911	38	28911	23	37	Nf=2
F	28923	71	28923	42	70	Nf=1
F	28927	19	28927	11	18	Nf=14
F	28955	16	28955	9	14	Nf=5
F	28975	41	28975	25	40	Nf=4
F	28991	50	28991	31	49	Nf=4
F	28999	18	28999	9	17	Nf=1
F	29031	21	29031	9	20	Nf=1
F	29087	19	29087	11	18	Nf=12
F	29119	35	29119	21	34	Nf=7
F	29151	29	29151	16	28	Nf=1
F	29167	30	29167	18	29	Nf=38
F	29183	18	29183	11	17	Nf=7
F	29211	22	29211	12	21	Nf=1
F	29231	17	29231	10	16	Nf=2
F	29275	24	29275	14	23	Nf=5
F	29295	27	29295	16	26	Nf=15
F	29311	24	29311	11	23	Nf=1
F	29339	20	29339	12	19	Nf=3
F	29343	28	29343	17	27	Nf=3
F	29351	38	29351	23	37	Nf=29
F	29375	20	29375	12	19	Nf=2
F	29415	21	29415	12	20	Nf=1
F	29423	44	29423	26	43	Nf=1
F	29435	18	29435	9	17	Nf=1
F	29439	39	29439	22	38	Nf=1
F	29467	16	29467	9	15	Nf=4
F	29511	36	29511	20	35	Nf=1
F	29543	35	29543	21	34	Nf=6
F	29567	29	29567	17	28	Nf=1
F	29631	17	29631	10	16	Nf=1
F	29663	29	29663	18	28	Nf=58
F	29695	37	29695	22	36	Nf=2
F	29723	27	29723	16	26	Nf=1
F	29727	21	29727	12	20	Nf=2
F	29787	24	29787	14	23	Nf=1
F	29799	20	29799	11	19	Nf=1
F	29807	18	29807	10	17	Nf=2
F	29823	20	29823	10	19	Nf=1
F	29855	61	29855	36	60	Nf=1
F	29863	16	29863	9	15	Nf=1
F	29887	18	29887	10	17	Nf=2
F	29919	18	29919	11	17	Nf=16
F	29927	24	29927	14	23	Nf=7
F	29935	58	29935	35	57	Nf=2
F	29951	23	29951	14	22	Nf=6
F	29979	27	29979	16	26	Nf=8
F	29999	18	29999	11	17	Nf=15
F	30015	20	30015	9	19	Nf=1
F	30023	23	30023	13	22	Nf=2
F	30055	19	30055	11	18	Nf=10
F	30079	16	30079	9	14	Nf=4
F	30111	26	30111	15	25	Nf=2
F	30143	52	30143	31	51	Nf=1
F	30175	30	30175	17	29	Nf=1
F	30207	18	30207	10	17	Nf=1
F	30235	19	30235	10	18	Nf=1
F	30239	18	30239	11	17	Nf=12
F	30255	35	30255	19	34	Nf=1
F	30311	21	30311	9	20	Nf=1
F	30335	21	30335	11	20	Nf=1
F	30367	22	30367	13	21	Nf=1
F	30399	18	30399	11	17	Nf=11
F	30439	37	30439	22	36	Nf=1
F	30463	51	30463	28	50	Nf=1
F	30491	66	30491	40	65	Nf=1
F	30567	19	30567	11	18	Nf=1
F	30591	19	30591	9	18	Nf=1
F	30631	28	30631	15	27	Nf=1
F	30655	18	30655	10	17	Nf=1
F	30715	16	30715	9	15	Nf=7
F	30719	35	30719	20	34	Nf=1
F	30747	17	30747	9	16	Nf=1
F	30751	34	30751	21	33	Nf=13
F	30767	17	30767	9	16	Nf=1
F	30783	16	30783	9	14	Nf=4
F	30811	27	30811	16	26	Nf=11
F	30823	16	30823	9	14	Nf=4
F	30831	28	30831	16	27	Nf=2
F	30847	24	30847	13	23	Nf=1
F	30879	59	30879	36	58	Nf=3
F	30887	17	30887	9	16	Nf=1
F	30943	30	30943	18	29	Nf=2
F	30959	46	30959	28	45	Nf=13
F	30971	18	30971	11	17	Nf=17
F	30975	18	30975	10	17	Nf=1
F	31003	39	31003	23	38	Nf=1
F	31039	55	31039	32	54	Nf=1
F	31047	18	31047	11	17	Nf=12
F	31079	19	31079	10	18	Nf=1
F	31167	44	31167	26	43	Nf=1
F	31199	21	31199	10	20	Nf=1
F	31215	45	31215	28	44	Nf=14
F	31231	39	31231	23	38	Nf=1
F	31279	22	31279	12	21	Nf=1
F	31323	25	31323	9	24	Nf=1
F	31335	17	31335	10	16	Nf=2
F	31343	72	31343	44	71	Nf=1
F	31359	22	31359	10	21	Nf=1
F	31387	20	31387	12	19	Nf=3
F	31399	29	31399	17	28	Nf=1
F	31423	45	31423	28	44	Nf=11
F	31463	36	31463	20	35	Nf=1
F	31471	21	31471	11	20	Nf=1
F	31483	27	31483	16	26	Nf=20
F	31487	18	31487	11	17	Nf=8
F	31515	25	31515	13	24	Nf=1
F	31551	20	31551	11	19	Nf=1
F	31591	19	31591	11	18	Nf=11
F	31615	19	31615	11	18	Nf=1
F	31679	28	31679	14	27	Nf=1
F	31711	16	31711	9	15	Nf=1
F	31727	16	31727	9	14	Nf=4
F	31739	31	31739	18	30	Nf=1
F	31743	49	31743	30	48	Nf=88
F	31771	16	31771	9	15	Nf=1
F	31775	17	31775	10	16	Nf=2
F	31807	20	31807	12	19	Nf=4
F	31847	70	31847	43	69	Nf=1
F	31855	35	31855	21	34	Nf=1
F	31871	20	31871	11	19	Nf=1
F	31899	17	31899	9	16	Nf=1
F	31903	68	31903	42	67	Nf=3
F	31911	65	31911	37	64	Nf=1
F	31935	32	31935	19	31	Nf=1
F	31983	26	31983	16	25	Nf=9
F	31995	26	31995	14	25	Nf=1
F	31999	29	31999	17	28	Nf=1
F	32027	64	32027	40	63	Nf=25
F	32047	21	32047	12	20	Nf=3
F	32063	21	32063	11	20	Nf=1
F	32103	19	32103	11	18	Nf=1
F	32127	20	32127	12	19	Nf=3
F	32159	24	32159	14	23	Nf=3
F	32191	25	32191	15	24	Nf=2
F	32223	18	32223	11	17	Nf=16
F	32239	17	32239	9	16	Nf=1
F	32255	33	32255	19	32	Nf=1
F	32283	19	32283	11	18	Nf=16
F	32287	20	32287	12	19	Nf=3
F	32303	18	32303	11	17	Nf=15
F	32359	23	32359	13	22	Nf=2
F	32383	32	32383	19	31	Nf=2
F	32411	16	32411	9	14	Nf=5
F	32415	30	32415	18	29	Nf=2
F	32447	20	32447	12	19	Nf=2
F	32487	18	32487	9	17	Nf=1
F	32495	29	32495	18	28	Nf=35
F	32511	37	32511	21	36	Nf=1
F	32539	68	32539	40	67	Nf=1
F	32603	16	32603	9	15	Nf=6
F	32615	47	32615	29	46	Nf=3
F	32639	21	32639	12	20	Nf=3
F	32671	16	32671	9	14	Nf=4
F	32703	18	32703	11	17	Nf=11
F	32751	34	32751	20	33	Nf=1
F	32763	18	32763	10	17	Nf=3
F	32767	48	32767	30	47	Nf=60
F	32795	26	32795	14	25	Nf=1
F	32799	25	32799	12	24	Nf=1
F	32815	42	32815	23	41	Nf=1
F	32831	27	32831	16	26	Nf=14
F	32839	23	32839	14	22	Nf=8
F	32859	20	32859	10	19	Nf=1
F	32871	23	32871	14	22	Nf=6
F	32879	27	32879	16	26	Nf=6
F	32895	20	32895	9	19	Nf=1
F	32927	24	32927	14	23	Nf=4
F	32935	21	32935	12	20	Nf=3
F	32991	28	32991	17	27	Nf=3
F	33007	17	33007	10	16	Nf=2
F	33019	80	33019	49	79	Nf=1
F	33051	42	33051	26	41	Nf=8
F	33071	18	33071	9	17	Nf=1
F	33087	17	33087	10	16	Nf=1
F	33095	25	33095	15	24	Nf=3
F	33127	20	33127	12	19	Nf=4
F	33183	16	33183	9	15	Nf=4
F	33215	25	33215	15	24	Nf=2
F	33247	22	33247	13	21	Nf=2
F	33263	26	33263	15	25	Nf=1
F	33279	38	33279	21	37	Nf=1
F	33327	31	33327	19	30	Nf=5
F	33371	26	33371	16	25	Nf=15
F	33391	18	33391	9	17	Nf=1
F	33407	34	33407	20	33	Nf=1
F	33435	30	33435	16	29	Nf=1
F	33439	24	33439	14	23	Nf=1
F	33471	61	33471	37	60	Nf=1
F	33511	18	33511	11	17	Nf=11
F	33519	47	33519	29	46	Nf=3
F	33531	18	33531	10	17	Nf=1
F	33535	21	33535	12	20	Nf=1
F	33563	22	33563	13	21	Nf=2
F	33599	16	33599	9	15	Nf=1
F	33607	18	33607	9	17	Nf=1
F	33627	24	33627	14	23	Nf=2
F	33639	48	33639	29	47	Nf=3
F	33663	19	33663	10	18	Nf=1
F	33695	19	33695	11	18	Nf=13
F	33727	24	33727	14	23	Nf=3
F	33759	23	33759	13	22	Nf=1
F	33775	19	33775	11	18	Nf=12
F	33791	36	33791	22	35	Nf=2
F	33819	21	33819	12	20	Nf=1
F	33823	30	33823	18	29	Nf=42
F	33863	17	33863	9	16	Nf=1
F	33883	30	33883	16	29	Nf=1
F	33895	20	33895	11	19	Nf=1
F	33919	16	33919	9	15	Nf=1
F	33947	27	33947	15	26	Nf=1
F	33951	55	33951	34	54	Nf=3
F	34015	17	34015	9	16	Nf=1
F	34023	23	34023	14	22	Nf=7
F	34031	26	34031	16	25	Nf=12
F	34043	17	34043	9	16	Nf=1
F	34047	70	34047	43	69	Nf=2
F	34075	37	34075	23	36	Nf=24
F	34095	17	34095	9	16	Nf=1
F	34111	21	34111	10	20	Nf=1
F	34119	16	34119	9	14	Nf=5
F	34151	19	34151	10	18	Nf=1
F	34175	23	34175	13	22	Nf=1
F	34207	24	34207	14	23	Nf=1
F	34239	80	34239	50	79	Nf=7
F	34271	22	34271	10	21	Nf=1
F	34287	19	34287	11	18	Nf=1
F	34303	56	34303	35	55	Nf=32
F	34335	17	34335	9	16	Nf=1
F	34351	38	34351	23	37	Nf=1
F	34407	21	34407	11	20	Nf=1
F	34431	31	34431	19	30	Nf=3
F	34459	27	34459	16	26	Nf=11
F	34463	22	34463	13	21	Nf=1
F	34495	17	34495	9	16	Nf=1
F	34535	18	34535	10	17	Nf=2
F	34543	17	34543	9	16	Nf=1
F	34559	32	34559	18	31	Nf=1
F	34587	23	34587	14	22	Nf=4
F	34651	17	34651	10	16	Nf=3
F	34663	24	34663	14	23	Nf=5
F	34687	19	34687	11	18	Nf=1
F	34719	39	34719	24	38	Nf=4
F	34727	18	34727	11	17	Nf=15
F	34811	27	34811	16	26	Nf=2
F	34815	20	34815	12	19	Nf=2
F	34879	36	34879	21	35	Nf=1
F	34887	16	34887	9	15	Nf=1
F	34907	20	34907	11	19	Nf=1
F	34919	52	34919	30	51	Nf=1
F	34927	18	34927	11	17	Nf=13
F	34943	20	34943	11	19	Nf=1
F	34975	23	34975	13	22	Nf=1
F	34983	21	34983	12	20	Nf=3
F	35039	22	35039	9	21	Nf=1
F	35055	22	35055	13	21	Nf=1
F	35067	16	35067	9	15	Nf=1
F	35071	16	35071	9	15	Nf=3
F	35099	21	35099	9	20	Nf=1
F	35135	25	35135	11	24	Nf=1
F	35143	26	35143	15	25	Nf=1
F	35175	19	35175	11	18	Nf=1
F	35231	17	35231	10	16	Nf=2
F	35263	24	35263	14	23	Nf=4
F	35295	66	35295	41	65	Nf=4
F	35311	17	35311	10	16	Nf=2
F	35327	21	35327	12	20	Nf=2
F	35419	18	35419	11	17	Nf=20
F	35439	38	35439	23	37	Nf=26
F	35455	22	35455	11	21	Nf=1
F	35483	20	35483	12	19	Nf=3
F	35487	16	35487	9	15	Nf=1
F	35495	17	35495	9	16	Nf=1
F	35519	20	35519	12	19	Nf=2
F	35559	21	35559	12	20	Nf=1
F	35567	16	35567	9	15	Nf=1
F	35579	18	35579	11	17	Nf=18
F	35583	16	35583	9	14	Nf=3
F	35611	31	35611	19	30	Nf=5
F	35647	38	35647	23	37	Nf=2
F	35655	136	35655	85	135	Nf=4
F	35687	31	35687	18	30	Nf=2
F	35711	26	35711	16	25	Nf=6
F	35751	18	35751	9	17	Nf=1
F	35775	29	35775	18	28	Nf=37
F	35823	23	35823	14	22	Nf=5
F	35839	20	35839	12	19	Nf=2
F	35867	21	35867	12	20	Nf=1
F	35871	21	35871	12	20	Nf=3
F	35903	22	35903	9	21	Nf=1
F	35931	20	35931	9	19	Nf=1
F	35943	47	35943	29	46	Nf=3
F	35951	25	35951	15	24	Nf=2
F	35967	66	35967	37	65	Nf=1
F	35995	23	35995	12	22	Nf=1
F	35999	26	35999	15	25	Nf=1
F	36007	16	36007	9	14	Nf=5
F	36031	56	36031	35	55	Nf=35
F	36071	18	36071	9	17	Nf=1
F	36079	30	36079	16	29	Nf=1
F	36091	23	36091	14	22	Nf=7
F	36095	28	36095	15	27	Nf=1
F	36123	23	36123	14	22	Nf=5
F	36143	17	36143	10	16	Nf=2
F	36159	21	36159	11	20	Nf=1
F	36167	22	36167	13	21	Nf=2
F	36199	27	36199	16	26	Nf=10
F	36223	24	36223	9	23	Nf=1
F	36255	27	36255	16	26	Nf=11
F	36287	30	36287	17	29	Nf=1
F	36335	31	36335	18	30	Nf=2
F	36351	30	36351	18	29	Nf=32
F	36379	16	36379	9	15	Nf=5
F	36383	17	36383	10	16	Nf=2
F	36399	48	36399	28	47	Nf=1
F	36479	37	36479	19	36	Nf=1
F	36507	31	36507	17	30	Nf=1
F	36511	18	36511	9	17	Nf=1
F	36543	17	36543	10	16	Nf=2
F	36583	26	36583	14	25	Nf=1
F	36591	32	36591	19	31	Nf=1
F	36607	37	36607	23	36	Nf=18
F	36635	18	36635	10	17	Nf=1
F	36699	34	36699	21	33	Nf=9
F	36711	37	36711	22	36	Nf=2
F	36767	46	36767	27	45	Nf=1
F	36775	16	36775	9	15	Nf=1
F	36799	16	36799	9	15	Nf=3
F	36847	19	36847	9	18	Nf=1
F	36863	39	36863	24	38	Nf=2
F	36891	16	36891	9	14	Nf=5
F	36895	23	36895	12	22	Nf=1
F	36911	16	36911	9	14	Nf=5
F	36927	19	36927	9	18	Nf=1
F	36935	24	36935	14	23	Nf=8
F	36955	16	36955	9	15	Nf=1
F	36967	22	36967	9	21	Nf=1
F	36975	20	36975	12	19	Nf=3
F	37023	18	37023	11	17	Nf=7
F	37031	32	37031	17	31	Nf=1
F	37055	16	37055	9	15	Nf=1
F	37087	20	37087	12	19	Nf=4
F	37103	33	37103	18	32	Nf=1
F	37115	25	37115	15	24	Nf=3
F	37119	18	37119	10	17	Nf=2
F	37147	77	37147	47	76	Nf=1
F	37167	18	37167	10	17	Nf=1
F	37183	38	37183	23	37	Nf=17
F	37191	18	37191	11	17	Nf=14
F	37279	23	37279	13	22	Nf=1
F	37311	16	37311	9	14	Nf=3
F	37343	42	37343	25	41	Nf=2
F	37359	21	37359	12	20	Nf=1
F	37375	21	37375	12	20	Nf=2
F	37403	19	37403	11	18	Nf=2
F	37423	20	37423	9	19	Nf=1
F	37467	22	37467	10	21	Nf=1
F	37487	18	37487	10	17	Nf=1
F	37503	128	37503	79	127	Nf=2
F	37531	33	37531	19	32	Nf=1
F	37535	28	37535	15	27	Nf=1
F	37543	23	37543	14	22	Nf=7
F	37567	20	37567	12	19	Nf=2
F	37607	18	37607	10	17	Nf=1
F	37615	27	37615	14	26	Nf=1
F	37631	24	37631	14	23	Nf=3
F	37659	22	37659	13	21	Nf=2
F	37703	28	37703	15	27	Nf=1
F	37735	17	37735	10	16	Nf=2
F	37759	19	37759	11	18	Nf=1
F	37791	17	37791	9	16	Nf=1
F	37823	23	37823	14	22	Nf=4
F	37855	16	37855	9	14	Nf=5
F	37871	17	37871	9	16	Nf=1
F	37887	52	37887	31	51	Nf=1
F	37915	31	37915	18	30	Nf=2
F	37919	29	37919	15	28	Nf=1
F	37979	20	37979	11	19	Nf=1
F	37991	35	37991	20	34	Nf=1
F	37999	17	37999	9	16	Nf=1
F	38015	33	38015	20	32	Nf=2
F	38047	18	38047	10	17	Nf=1
F	38055	31	38055	19	30	Nf=6
F	38079	17	38079	9	16	Nf=1
F	38111	23	38111	14	22	Nf=8
F	38119	18	38119	11	17	Nf=12
F	38127	34	38127	19	33	Nf=1
F	38143	23	38143	14	22	Nf=7
F	38171	18	38171	10	17	Nf=2
F	38191	24	38191	13	23	Nf=1
F	38215	41	38215	24	40	Nf=2
F	38247	29	38247	17	28	Nf=1
F	38271	19	38271	10	18	Nf=1
F	38303	67	38303	41	66	Nf=2
F	38335	34	38335	21	33	Nf=8
F	38367	16	38367	9	15	Nf=4
F	38399	17	38399	9	16	Nf=1
F	38427	17	38427	10	16	Nf=2
F	38431	40	38431	24	39	Nf=2
F	38447	20	38447	11	19	Nf=1
F	38503	21	38503	11	20	Nf=1
F	38527	35	38527	21	34	Nf=1
F	38555	23	38555	9	22	Nf=1
F	38559	18	38559	11	17	Nf=8
F	38591	53	38591	33	52	Nf=13
F	38631	23	38631	12	22	Nf=1
F	38655	38	38655	23	37	Nf=12
F	38683	28	38683	16	27	Nf=1
F	38759	23	38759	14	22	Nf=5
F	38783	19	38783	11	18	Nf=9
F	38815	19	38815	9	18	Nf=1
F	38823	24	38823	13	23	Nf=1
F	38847	17	38847	10	16	Nf=2
F	38907	36	38907	22	35	Nf=5
F	38911	20	38911	12	19	Nf=2
F	38939	25	38939	15	24	Nf=3
F	38943	16	38943	9	15	Nf=1
F	38959	46	38959	28	45	Nf=18
F	38975	19	38975	11	18	Nf=1
F	39003	26	39003	16	25	Nf=9
F	39015	20	39015	11	19	Nf=1
F	39023	16	39023	9	15	Nf=1
F	39039	16	39039	9	14	Nf=3
F	39071	59	39071	36	58	Nf=4
F	39079	21	39079	12	20	Nf=3
F	39135	18	39135	11	17	Nf=18
F	39151	22	39151	13	21	Nf=1
F	39163	24	39163	14	23	Nf=1
F	39167	22	39167	13	21	Nf=1
F	39195	22	39195	11	21	Nf=1
F	39231	46	39231	27	45	Nf=1
F	39239	33	39239	19	32	Nf=1
F	39271	17	39271	9	16	Nf=1
F	39359	26	39359	16	25	Nf=6
F	39391	37	39391	22	36	Nf=3
F	39407	41	39407	24	40	Nf=1
F	39423	21	39423	12	20	Nf=2
F	39471	30	39471	15	29	Nf=1
F	39527	22	39527	9	21	Nf=1
F	39535	18	39535	11	17	Nf=14
F	39551	17	39551	9	16	Nf=1
F	39579	27	39579	14	26	Nf=1
F	39591	20	39591	12	19	Nf=3
F	39615	18	39615	11	17	Nf=13
F	39655	25	39655	15	24	Nf=2
F	39663	31	39663	19	30	Nf=4
F	39675	16	39675	9	15	Nf=6
F	39679	27	39679	16	26	Nf=8
F	39707	63	39707	39	62	Nf=3
F	39743	16	39743	9	14	Nf=4
F	39783	16	39783	9	14	Nf=4
F	39807	63	39807	37	62	Nf=1
F	39871	26	39871	15	25	Nf=1
F	39903	24	39903	14	23	Nf=7
F	39919	17	39919	10	16	Nf=2
F	39931	16	39931	9	15	Nf=1
F	39935	65	39935	40	64	Nf=1
F	39963	21	39963	12	20	Nf=1
F	39967	19	39967	9	18	Nf=1
F	39999	20	39999	12	19	Nf=4
F	40039	17	40039	10	16	Nf=2
F	40047	20	40047	12	19	Nf=3
F	40063	28	40063	17	27	Nf=3
F	40091	26	40091	12	25	Nf=1
F	40095	18	40095	11	17	Nf=8
F	40103	35	40103	21	34	Nf=1
F	40127	22	40127	12	21	Nf=1
F	40175	23	40175	14	22	Nf=3
F	40187	16	40187	9	14	Nf=6
F	40191	54	40191	32	53	Nf=1
F	40219	60	40219	35	59	Nf=1
F	40239	21	40239	12	20	Nf=4
F	40255	16	40255	9	15	Nf=4
F	40263	18	40263	9	17	Nf=1
F	40295	39	40295	24	38	Nf=6
F	40319	20	40319	12	19	Nf=3
F	40351	18	40351	10	17	Nf=1
F	40383	25	40383	14	24	Nf=1
F	40415	23	40415	10	22	Nf=1
F	40431	43	40431	26	42	Nf=2
F	40447	23	40447	12	22	Nf=1
F	40475	24	40475	13	23	Nf=1
F	40479	20	40479	12	19	Nf=3
F	40495	20	40495	10	19	Nf=1
F	40551	16	40551	9	15	Nf=1
F	40575	36	40575	21	35	Nf=1
F	40603	20	40603	12	19	Nf=4
F	40607	25	40607	13	24	Nf=1
F	40639	20	40639	12	19	Nf=3
F	40687	16	40687	9	14	Nf=4
F	40703	71	40703	44	70	Nf=2
F	40731	31	40731	16	30	Nf=1
F	40795	29	40795	17	28	Nf=4
F	40807	36	40807	22	35	Nf=2
F	40831	16	40831	9	15	Nf=1
F	40863	29	40863	18	28	Nf=50
F	40895	27	40895	16	26	Nf=8
F	40943	19	40943	10	18	Nf=1
F	40955	17	40955	9	16	Nf=1
F	40959	52	40959	32	51	Nf=2
F	40987	35	40987	19	34	Nf=1
F	40991	53	40991	32	52	Nf=3
F	41007	27	41007	16	26	Nf=9
F	41023	19	41023	10	18	Nf=1
F	41031	16	41031	9	14	Nf=6
F	41051	48	41051	30	47	Nf=86
F	41063	20	41063	10	19	Nf=1
F	41071	28	41071	15	27	Nf=1
F	41087	20	41087	11	19	Nf=1
F	41119	66	41119	39	65	Nf=1
F	41127	23	41127	14	22	Nf=4
F	41183	19	41183	10	18	Nf=1
F	41199	18	41199	9	17	Nf=1
F	41211	42	41211	26	41	Nf=8
F	41243	18	41243	10	17	Nf=1
F	41279	48	41279	29	47	Nf=5
F	41287	31	41287	19	30	Nf=5
F	41319	19	41319	11	18	Nf=1
F	41375	27	41375	13	26	Nf=1
F	41407	56	41407	35	55	Nf=23
F	41439	21	41439	11	20	Nf=1
F	41455	21	41455	12	20	Nf=1
F	41471	36	41471	22	35	Nf=2
F	41519	20	41519	11	19	Nf=1
F	41563	16	41563	9	15	Nf=6
F	41599	32	41599	18	31	Nf=1
F	41627	19	41627	10	18	Nf=1
F	41631	16	41631	9	14	Nf=3
F	41663	26	41663	14	25	Nf=1
F	41703	24	41703	14	23	Nf=5
F	41711	25	41711	15	24	Nf=2
F	41723	17	41723	10	16	Nf=3
F	41727	23	41727	14	22	Nf=4
F	41755	18	41755	11	17	Nf=11
F	41791	74	41791	45	73	Nf=1
F	41799	18	41799	11	17	Nf=15
F	41819	16	41819	9	15	Nf=1
F	41831	35	41831	21	34	Nf=8
F	41855	17	41855	9	16	Nf=1
F	41887	19	41887	11	18	Nf=2
F	41919	30	41919	18	29	Nf=1
F	41951	38	41951	21	37	Nf=1
F	41967	19	41967	11	18	Nf=1
F	41983	20	41983	12	19	Nf=2
F	42011	39	42011	23	38	Nf=1
F	42015	19	42015	11	18	Nf=9
F	42055	28	42055	16	27	Nf=2
F	42075	16	42075	9	14	Nf=5
F	42087	20	42087	11	19	Nf=1
F	42111	37	42111	22	36	Nf=2
F	42139	16	42139	9	15	Nf=1
F	42143	16	42143	9	15	Nf=3
F	42151	20	42151	9	19	Nf=1
F	42215	16	42215	9	14	Nf=5
F	42223	30	42223	17	29	Nf=1
F	42235	34	42235	17	33	Nf=1
F	42239	18	42239	11	17	Nf=10
F	42267	34	42267	21	33	Nf=8
F	42303	17	42303	10	16	Nf=2
F	42311	25	42311	13	24	Nf=1
F	42343	17	42343	10	16	Nf=2
F	42367	19	42367	11	18	Nf=1
F	42399	18	42399	11	17	Nf=9
F	42431	45	42431	26	44	Nf=1
F	42463	72	42463	44	71	Nf=1
F	42479	16	42479	9	15	Nf=1
F	42495	22	42495	12	21	Nf=1
F	42543	33	42543	19	32	Nf=1
F	42599	52	42599	32	51	Nf=3
F	42623	49	42623	29	48	Nf=1
F	42651	18	42651	11	17	Nf=18
F	42655	28	42655	16	27	Nf=1
F	42727	17	42727	9	16	Nf=1
F	42735	34	42735	21	33	Nf=8
F	42751	36	42751	22	35	Nf=3
F	42779	33	42779	18	32	Nf=1
F	42843	19	42843	9	18	Nf=1
F	42855	26	42855	14	25	Nf=1
F	42879	26	42879	15	25	Nf=2
F	42911	19	42911	11	18	Nf=16
F	42919	16	42919	9	14	Nf=6
F	43003	23	43003	12	22	Nf=1
F	43007	72	43007	45	71	Nf=9
F	43035	18	43035	9	17	Nf=1
F	43055	19	43055	9	18	Nf=1
F	43071	19	43071	11	18	Nf=14
F	43079	26	43079	13	25	Nf=1
F	43099	24	43099	14	23	Nf=1
F	43111	20	43111	11	19	Nf=1
F	43119	51	43119	31	50	Nf=2
F	43135	25	43135	15	24	Nf=2
F	43167	29	43167	18	28	Nf=28
F	43175	70	43175	43	69	Nf=2
F	43247	18	43247	11	17	Nf=8
F	43259	28	43259	15	27	Nf=1
F	43263	22	43263	13	21	Nf=1
F	43327	31	43327	19	30	Nf=4
F	43335	17	43335	10	16	Nf=2
F	43367	37	43367	22	36	Nf=1
F	43423	18	43423	9	17	Nf=1
F	43455	20	43455	11	19	Nf=1
F	43487	49	43487	30	48	Nf=2
F	43503	18	43503	9	17	Nf=1
F	43519	25	43519	14	24	Nf=1
F	43611	24	43611	10	23	Nf=1
F	43631	16	43631	9	15	Nf=4
F	43647	31	43647	18	30	Nf=1
F	43675	20	43675	12	19	Nf=4
F	43679	34	43679	20	33	Nf=3
F	43687	20	43687	12	19	Nf=4
F	43711	48	43711	29	47	Nf=1
F	43751	29	43751	17	28	Nf=4
F	43759	25	43759	15	24	Nf=2
F	43771	33	43771	20	32	Nf=3
F	43775	17	43775	10	16	Nf=1
F	43803	23	43803	13	22	Nf=2
F	43839	29	43839	17	28	Nf=2
F	43847	16	43847	9	15	Nf=1
F	43879	23	43879	14	22	Nf=4
F	43903	26	43903	15	25	Nf=2
F	43943	18	43943	11	17	Nf=17
F	43967	23	43967	10	22	Nf=1
F	43999	22	43999	9	21	Nf=1
F	44015	23	44015	14	22	Nf=6
F	44031	25	44031	14	24	Nf=1
F	44059	18	44059	11	17	Nf=12
F	44063	19	44063	11	18	Nf=1
F	44123	20	44123	11	19	Nf=1
F	44135	43	44135	25	42	Nf=1
F	44143	16	44143	9	14	Nf=4
F	44159	38	44159	21	37	Nf=1
F	44187	38	44187	23	37	Nf=2
F	44191	27	44191	15	26	Nf=1
F	44199	22	44199	12	21	Nf=1
F	44223	16	44223	9	14	Nf=4
F	44263	18	44263	11	17	Nf=14
F	44271	34	44271	20	33	Nf=2
F	44283	26	44283	16	25	Nf=11
F	44287	27	44287	16	26	Nf=1
F	44315	34	44315	20	33	Nf=2
F	44335	19	44335	9	18	Nf=1
F	44351	28	44351	16	27	Nf=1
F	44359	18	44359	10	17	Nf=1
F	44391	21	44391	12	20	Nf=1
F	44447	16	44447	9	15	Nf=1
F	44479	20	44479	11	19	Nf=1
F	44527	24	44527	12	23	Nf=1
F	44543	36	44543	21	35	Nf=1
F	44571	23	44571	13	22	Nf=1
F	44575	19	44575	9	18	Nf=1
F	44591	20	44591	11	19	Nf=1
F	44671	60	44671	37	59	Nf=2
F	44699	19	44699	10	18	Nf=1
F	44703	18	44703	11	17	Nf=9
F	44735	19	44735	9	18	Nf=1
F	44775	22	44775	12	21	Nf=1
F	44783	60	44783	35	59	Nf=1
F	44799	27	44799	14	26	Nf=1
F	44827	28	44827	17	27	Nf=3
F	44891	19	44891	11	18	Nf=15
F	44903	57	44903	34	56	Nf=1
F	44959	18	44959	10	17	Nf=1
F	44967	22	44967	13	21	Nf=2
F	44991	29	44991	18	28	Nf=55
F	45055	114	45055	70	113	Nf=1
F	45083	18	45083	10	17	Nf=2
F	45087	16	45087	9	14	Nf=4
F	45103	23	45103	10	22	Nf=1
F	45127	130	45127	81	129	Nf=3
F	45147	30	45147	18	29	Nf=52
F	45167	25	45167	14	24	Nf=1
F	45183	17	45183	9	16	Nf=1
F	45215	51	45215	30	50	Nf=1
F	45223	19	45223	10	18	Nf=1
F	45247	57	45247	33	56	Nf=1
F	45279	16	45279	9	15	Nf=5
F	45295	24	45295	13	23	Nf=1
F	45307	80	45307	50	79	Nf=10
F	45311	17	45311	9	16	Nf=1
F	45339	16	45339	9	15	Nf=5
F	45359	17	45359	10	16	Nf=3
F	45375	27	45375	16	26	Nf=11
F	45383	34	45383	18	33	Nf=1
F	45471	18	45471	11	17	Nf=9
F	45503	20	45503	10	19	Nf=1
F	45535	21	45535	11	20	Nf=1
F	45551	18	45551	11	17	Nf=9
F	45567	21	45567	12	20	Nf=2
F	45595	16	45595	9	15	Nf=1
F	45615	20	45615	11	19	Nf=1
F	45659	36	45659	21	35	Nf=1
F	45679	17	45679	10	16	Nf=2
F	45695	50	45695	27	49	Nf=1
F	45723	38	45723	23	37	Nf=21
F	45727	30	45727	18	29	Nf=1
F	45735	16	45735	9	15	Nf=1
F	45759	19	45759	11	18	Nf=1
F	45799	17	45799	10	16	Nf=2
F	45807	29	45807	18	28	Nf=25
F	45823	28	45823	14	27	Nf=1
F	45851	16	45851	9	14	Nf=4
F	45887	20	45887	9	19	Nf=1
F	45895	26	45895	15	25	Nf=2
F	45927	33	45927	17	32	Nf=1
F	45951	24	45951	14	23	Nf=1
F	46015	22	46015	11	21	Nf=1
F	46047	20	46047	11	19	Nf=1
F	46079	30	46079	18	29	Nf=32
F	46107	21	46107	12	20	Nf=1
F	46111	32	46111	17	31	Nf=1
F	46151	18	46151	9	17	Nf=1
F	46171	26	46171	15	25	Nf=1
F	46183	45	46183	28	44	Nf=12
F	46191	20	46191	12	19	Nf=3
F	46207	34	46207	20	33	Nf=2
F	46239	29	46239	18	28	Nf=34
F	46247	18	46247	11	17	Nf=18
F	46271	23	46271	12	22	Nf=1
F	46303	20	46303	12	19	Nf=4
F	46311	26	46311	15	25	Nf=1
F	46319	58	46319	35	57	Nf=2
F	46331	19	46331	9	18	Nf=1
F	46335	16	46335	9	15	Nf=1
F	46363	39	46363	24	38	Nf=4
F	46383	21	46383	12	20	Nf=4
F	46407	18	46407	11	17	Nf=16
F	46439	37	46439	23	36	Nf=22
F	46463	17	46463	9	16	Nf=1
F	46495	24	46495	13	23	Nf=1
F	46527	36	46527	21	35	Nf=1
F	46559	29	46559	18	28	Nf=37
F	46591	22	46591	12	21	Nf=1
F	46619	18	46619	9	17	Nf=1
F	46623	20	46623	12	19	Nf=3
F	46639	42	46639	25	41	Nf=2
F	46695	16	46695	9	14	Nf=5
F	46719	30	46719	18	29	Nf=38
F	46751	43	46751	25	42	Nf=1
F	46783	20	46783	12	19	Nf=3
F	46823	44	46823	27	43	Nf=4
F	46831	18	46831	9	17	Nf=1
F	46847	31	46847	19	30	Nf=4
F	46875	22	46875	12	21	Nf=1
F	46951	23	46951	14	22	Nf=6
F	46975	16	46975	9	14	Nf=3
F	47015	71	47015	43	70	Nf=1
F	47039	21	47039	9	20	Nf=1
F	47099	16	47099	9	14	Nf=7
F	47103	23	47103	13	22	Nf=1
F	47131	48	47131	29	47	Nf=2
F	47135	44	47135	27	43	Nf=3
F	47151	29	47151	17	28	Nf=1
F	47167	16	47167	9	15	Nf=4
F	47175	18	47175	9	17	Nf=1
F	47195	29	47195	18	28	Nf=38
F	47207	16	47207	9	15	Nf=4
F	47215	38	47215	22	37	Nf=1
F	47231	17	47231	10	16	Nf=2
F	47263	36	47263	21	35	Nf=1
F	47271	21	47271	12	20	Nf=4
F	47327	19	47327	10	18	Nf=1
F	47343	27	47343	15	26	Nf=1
F	47355	20	47355	11	19	Nf=1
F	47359	22	47359	13	21	Nf=1
F	47387	18	47387	10	17	Nf=2
F	47423	18	47423	10	17	Nf=1
F	47431	38	47431	23	37	Nf=22
F	47463	25	47463	15	24	Nf=2
F	47551	30	47551	18	29	Nf=24
F	47583	33	47583	19	32	Nf=1
F	47599	21	47599	12	20	Nf=1
F	47615	23	47615	14	22	Nf=3
F	47663	16	47663	9	15	Nf=1
F	47719	22	47719	11	21	Nf=1
F	47727	45	47727	27	44	Nf=3
F	47743	37	47743	22	36	Nf=1
F	47771	69	47771	42	68	Nf=1
F	47775	18	47775	9	17	Nf=1
F	47783	31	47783	19	30	Nf=6
F	47807	19	47807	10	18	Nf=1
F	47847	25	47847	13	24	Nf=1
F	47855	18	47855	11	17	Nf=9
F	47867	64	47867	36	63	Nf=1
F	47871	42	47871	26	41	Nf=7
F	47899	21	47899	12	20	Nf=3
F	47935	27	47935	16	26	Nf=1
F	47975	25	47975	15	24	Nf=3
F	47999	23	47999	14	22	Nf=3
F	48039	17	48039	9	16	Nf=1
F	48063	16	48063	9	15	Nf=1
F	48095	20	48095	10	19	Nf=1
F	48111	18	48111	9	17	Nf=1
F	48123	28	48123	14	27	Nf=1
F	48127	30	48127	16	29	Nf=1
F	48155	18	48155	10	17	Nf=1
F	48159	19	48159	11	18	Nf=10
F	48191	19	48191	11	18	Nf=2
F	48219	17	48219	9	16	Nf=1
F	48231	24	48231	13	23	Nf=1
F	48239	23	48239	13	22	Nf=1
F	48255	28	48255	15	27	Nf=1
F	48283	16	48283	9	14	Nf=5
F	48287	20	48287	12	19	Nf=2
F	48295	19	48295	10	18	Nf=1
F	48319	46	48319	26	45	Nf=1
F	48359	17	48359	9	16	Nf=1
F	48367	35	48367	20	34	Nf=1
F	48379	20	48379	10	19	Nf=1
F	48383	23	48383	14	22	Nf=3
F	48411	26	48411	14	25	Nf=1
F	48431	19	48431	11	18	Nf=1
F	48447	33	48447	19	32	Nf=2
F	48487	21	48487	12	20	Nf=1
F	48511	19	48511	11	18	Nf=1
F	48543	22	48543	13	21	Nf=1
F	48575	31	48575	18	30	Nf=1
F	48607	17	48607	9	16	Nf=1
F	48623	16	48623	9	14	Nf=4
F	48639	39	48639	20	38	Nf=1
F	48667	18	48667	11	17	Nf=13
F	48671	19	48671	11	18	Nf=1
F	48687	17	48687	9	16	Nf=1
F	48743	28	48743	17	27	Nf=3
F	48767	36	48767	20	35	Nf=1
F	48795	16	48795	9	15	Nf=5
F	48799	27	48799	16	26	Nf=8
F	48831	19	48831	11	18	Nf=1
F	48879	18	48879	10	17	Nf=2
F	48895	25	48895	15	24	Nf=1
F	48923	46	48923	28	45	Nf=2
F	48987	16	48987	9	14	Nf=6
F	48999	28	48999	17	27	Nf=3
F	49023	48	49023	28	47	Nf=1
F	49055	16	49055	9	15	Nf=4
F	49063	22	49063	9	21	Nf=1
F	49087	21	49087	11	20	Nf=1
F	49135	17	49135	10	16	Nf=2
F	49147	22	49147	12	21	Nf=1
F	49151	47	49151	29	46	Nf=4
F	49179	22	49179	12	21	Nf=1
F	49183	42	49183	24	41	Nf=1
F	49199	24	49199	11	23	Nf=1
F	49215	17	49215	10	16	Nf=2
F	49223	23	49223	14	22	Nf=9
F	49243	30	49243	18	29	Nf=2
F	49255	17	49255	10	16	Nf=2
F	49263	51	49263	28	50	Nf=1
F	49279	20	49279	11	19	Nf=1
F	49311	18	49311	11	17	Nf=10
F	49319	26	49319	15	25	Nf=2
F	49343	20	49343	9	19	Nf=1
F	49375	34	49375	18	33	Nf=1
F	49391	18	49391	11	17	Nf=10
F	49403	20	49403	11	19	Nf=1
F	49435	30	49435	18	29	Nf=2
F	49471	18	49471	11	17	Nf=9
F	49479	28	49479	17	27	Nf=3
F	49511	16	49511	9	15	Nf=1
F	49567	16	49567	9	14	Nf=4
F	49599	20	49599	11	19	Nf=1
F	49631	16	49631	9	15	Nf=1
F	49647	43	49647	25	42	Nf=1
F	49663	27	49663	15	26	Nf=1
F	49711	35	49711	21	34	Nf=1
F	49755	42	49755	26	41	Nf=7
F	49791	27	49791	16	26	Nf=5
F	49819	23	49819	14	22	Nf=5
F	49823	24	49823	14	23	Nf=1
F	49855	31	49855	18	30	Nf=2
F	49895	25	49895	14	24	Nf=1
F	49903	23	49903	14	22	Nf=5
F	49915	21	49915	9	20	Nf=1
F	49919	23	49919	14	22	Nf=4
F	49947	21	49947	12	20	Nf=3
F	49983	20	49983	11	19	Nf=1
F	49991	16	49991	9	14	Nf=6
F	50011	37	50011	21	36	Nf=1
F	50023	30	50023	15	29	Nf=1
F	50047	30	50047	16	29	Nf=1
F	50079	24	50079	14	23	Nf=6
F	50111	33	50111	19	32	Nf=1
F	50143	20	50143	11	19	Nf=1
F	50159	23	50159	13	22	Nf=1
F	50175	26	50175	15	25	Nf=2
F	50203	23	50203	14	22	Nf=5
F	50207	60	50207	36	59	Nf=1
F	50247	25	50247	15	24	Nf=4
F	50267	17	50267	10	16	Nf=2
F	50279	46	50279	28	45	Nf=2
F	50287	25	50287	9	24	Nf=1
F	50303	20	50303	11	19	Nf=1
F	50331	37	50331	22	36	Nf=1
F	50335	33	50335	20	32	Nf=2
F	50367	20	50367	9	19	Nf=1
F	50407	17	50407	10	16	Nf=2
F	50415	28	50415	17	27	Nf=2
F	50427	72	50427	41	71	Nf=1
F	50431	25	50431	15	24	Nf=2
F	50459	47	50459	28	46	Nf=2
F	50495	18	50495	9	17	Nf=1
F	50503	16	50503	9	15	Nf=5
F	50535	18	50535	9	17	Nf=1
F	50559	31	50559	16	30	Nf=1
F	50591	23	50591	13	22	Nf=1
F	50623	27	50623	16	26	Nf=8
F	50655	37	50655	21	36	Nf=1
F	50671	22	50671	12	21	Nf=1
F	50687	35	50687	21	34	Nf=1
F	50735	27	50735	16	26	Nf=10
F	50791	27	50791	16	26	Nf=10
F	50815	85	50815	52	84	Nf=3
F	50843	19	50843	10	18	Nf=1
F	50847	17	50847	10	16	Nf=1
F	50919	37	50919	23	36	Nf=26
F	50927	54	50927	33	53	Nf=2
F	50943	28	50943	16	27	Nf=1
F	50971	76	50971	47	75	Nf=30
F	51035	19	51035	11	18	Nf=17
F	51047	18	51047	11	17	Nf=9
F	51071	69	51071	42	68	Nf=2
F	51103	18	51103	10	17	Nf=2
F	51111	23	51111	13	22	Nf=2
F	51195	35	51195	20	34	Nf=1
F	51199	58	51199	33	57	Nf=1
F	51231	19	51231	9	18	Nf=1
F	51263	22	51263	12	21	Nf=1
F	51271	18	51271	10	17	Nf=1
F	51291	25	51291	14	24	Nf=1
F	51303	26	51303	16	25	Nf=11
F	51311	19	51311	11	18	Nf=10
F	51327	29	51327	18	28	Nf=47
F	51359	79	51359	49	78	Nf=3
F	51367	33	51367	19	32	Nf=1
F	51439	35	51439	21	34	Nf=7
F	51451	20	51451	10	19	Nf=1
F	51455	16	51455	9	14	Nf=3
F	51519	16	51519	9	15	Nf=1
F	51527	37	51527	22	36	Nf=1
F	51559	23	51559	12	22	Nf=1
F	51615	18	51615	11	17	Nf=11
F	51647	30	51647	18	29	Nf=1
F	51679	24	51679	14	23	Nf=4
F	51695	18	51695	11	17	Nf=10
F	51711	39	51711	23	38	Nf=1
F	51803	17	51803	9	16	Nf=1
F	51815	17	51815	9	16	Nf=1
F	51823	35	51823	21	34	Nf=9
F	51839	27	51839	16	26	Nf=8
F	51867	19	51867	11	18	Nf=1
F	51871	18	51871	10	17	Nf=1
F	51879	16	51879	9	14	Nf=5
F	51903	19	51903	11	18	Nf=1
F	51943	23	51943	13	22	Nf=1
F	51951	18	51951	10	17	Nf=1
F	51963	21	51963	11	20	Nf=1
F	51967	20	51967	9	19	Nf=1
F	51995	21	51995	12	20	Nf=3
F	52031	18	52031	10	17	Nf=1
F	52039	49	52039	29	48	Nf=1
F	52071	18	52071	10	17	Nf=1
F	52095	61	52095	37	60	Nf=2
F	52135	29	52135	14	28	Nf=1
F	52159	36	52159	22	35	Nf=3
F	52207	23	52207	14	22	Nf=7
F	52219	20	52219	9	19	Nf=1
F	52223	19	52223	11	18	Nf=1
F	52251	26	52251	15	25	Nf=2
F	52255	25	52255	15	24	Nf=2
F	52315	20	52315	11	19	Nf=2
F	52327	28	52327	16	27	Nf=1
F	52335	19	52335	10	18	Nf=1
F	52351	37	52351	21	36	Nf=1
F	52379	26	52379	16	25	Nf=9
F	52383	36	52383	22	35	Nf=2
F	52391	16	52391	9	15	Nf=5
F	52415	19	52415	10	18	Nf=1
F	52455	25	52455	13	24	Nf=1
F	52463	22	52463	12	21	Nf=1
F	52475	20	52475	11	19	Nf=2
F	52479	28	52479	17	27	Nf=2
F	52507	18	52507	11	17	Nf=14
F	52527	19	52527	11	18	Nf=14
F	52543	18	52543	11	17	Nf=10
F	52551	17	52551	10	16	Nf=2
F	52583	18	52583	11	17	Nf=9
F	52639	22	52639	13	21	Nf=1
F	52671	31	52671	17	30	Nf=1
F	52719	42	52719	26	41	Nf=7
F	52735	19	52735	10	18	Nf=1
F	52763	16	52763	9	14	Nf=5
F	52767	19	52767	11	18	Nf=11
F	52783	27	52783	16	26	Nf=12
F	52839	26	52839	9	25	Nf=1
F	52863	54	52863	33	53	Nf=1
F	52891	30	52891	16	29	Nf=1
F	52895	23	52895	13	22	Nf=2
F	52927	19	52927	11	18	Nf=10
F	52967	16	52967	9	15	Nf=1
F	52975	28	52975	16	27	Nf=1
F	52991	20	52991	11	19	Nf=1
F	53019	24	53019	12	23	Nf=1
F	53083	26	53083	14	25	Nf=1
F	53095	26	53095	16	25	Nf=7
F	53119	19	53119	9	18	Nf=1
F	53151	46	53151	28	45	Nf=22
F	53159	18	53159	11	17	Nf=19
F	53183	16	53183	9	14	Nf=3
F	53243	20	53243	9	19	Nf=1
F	53247	67	53247	41	66	Nf=1
F	53275	17	53275	9	16	Nf=1
F	53279	19	53279	11	18	Nf=1
F	53295	17	53295	9	16	Nf=1
F	53319	18	53319	11	17	Nf=18
F	53339	20	53339	11	19	Nf=1
F	53359	19	53359	11	18	Nf=1
F	53407	26	53407	14	25	Nf=1
F	53415	30	53415	16	29	Nf=1
F	53439	18	53439	11	17	Nf=17
F	53471	34	53471	21	33	Nf=9
F	53487	30	53487	18	29	Nf=39
F	53499	56	53499	33	55	Nf=1
F	53503	24	53503	13	23	Nf=1
F	53531	30	53531	17	29	Nf=1
F	53551	19	53551	9	18	Nf=1
F	53567	25	53567	15	24	Nf=2
F	53575	22	53575	12	21	Nf=1
F	53663	28	53663	17	27	Nf=4
F	53695	17	53695	9	16	Nf=1
F	53727	41	53727	25	40	Nf=4
F	53743	66	53743	40	65	Nf=1
F	53759	19	53759	11	18	Nf=1
F	53787	39	53787	21	38	Nf=1
F	53807	16	53807	9	14	Nf=4
F	53851	61	53851	34	60	Nf=1
F	53871	19	53871	9	18	Nf=1
F	53887	18	53887	10	17	Nf=1
F	53915	46	53915	28	45	Nf=2
F	53919	18	53919	11	17	Nf=12
F	53927	24	53927	14	23	Nf=1
F	53951	65	53951	36	64	Nf=1
F	53991	20	53991	9	19	Nf=1
F	53999	20	53999	12	19	Nf=2
F	54015	20	54015	11	19	Nf=1
F	54043	17	54043	10	16	Nf=2
F	54087	28	54087	17	27	Nf=4
F	54107	19	54107	9	18	Nf=1
F	54119	18	54119	11	17	Nf=10
F	54143	27	54143	14	26	Nf=1
F	54207	42	54207	25	41	Nf=2
F	54239	16	54239	9	15	Nf=5
F	54271	73	54271	45	72	Nf=1
F	54299	24	54299	14	23	Nf=5
F	54303	17	54303	10	16	Nf=2
F	54363	36	54363	18	35	Nf=1
F	54375	18	54375	10	17	Nf=1
F	54383	20	54383	12	19	Nf=4
F	54399	27	54399	16	26	Nf=1
F	54427	19	54427	9	18	Nf=1
F	54431	20	54431	12	19	Nf=2
F	54439	19	54439	10	18	Nf=1
F	54463	23	54463	12	22	Nf=1
F	54495	16	54495	9	15	Nf=1
F	54503	30	54503	17	29	Nf=1
F	54511	73	54511	45	72	Nf=1
F	54527	29	54527	17	28	Nf=3
F	54555	20	54555	12	19	Nf=3
F	54575	16	54575	9	15	Nf=1
F	54599	47	54599	27	46	Nf=1
F	54631	21	54631	12	20	Nf=1
F	54655	48	54655	30	47	Nf=89
F	54687	34	54687	20	33	Nf=1
F	54719	36	54719	18	35	Nf=1
F	54751	16	54751	9	14	Nf=4
F	54767	18	54767	9	17	Nf=1
F	54783	22	54783	12	21	Nf=1
F	54811	18	54811	11	17	Nf=15
F	54815	16	54815	9	15	Nf=1
F	54831	34	54831	21	33	Nf=9
F	54887	31	54887	18	30	Nf=1
F	54911	36	54911	22	35	Nf=4
F	54943	41	54943	25	40	Nf=2
F	54975	16	54975	9	15	Nf=1
F	55015	26	55015	15	25	Nf=2
F	55039	43	55039	26	42	Nf=1
F	55067	36	55067	21	35	Nf=1
F	55131	17	55131	9	16	Nf=1
F	55143	41	55143	24	40	Nf=1
F	55167	29	55167	14	28	Nf=1
F	55207	21	55207	10	20	Nf=1
F	55231	21	55231	11	20	Nf=1
F	55291	19	55291	10	18	Nf=1
F	55295	38	55295	23	37	Nf=1
F	55323	24	55323	12	23	Nf=1
F	55327	19	55327	10	18	Nf=1
F	55343	22	55343	11	21	Nf=1
F	55359	22	55359	12	21	Nf=1
F	55387	27	55387	15	26	Nf=1
F	55399	27	55399	16	26	Nf=2
F	55407	19	55407	10	18	Nf=1
F	55423	18	55423	9	17	Nf=1
F	55455	30	55455	18	29	Nf=1
F	55463	19	55463	11	18	Nf=1
F	55519	17	55519	9	16	Nf=1
F	55535	17	55535	10	16	Nf=1
F	55547	31	55547	16	30	Nf=1
F	55551	28	55551	15	27	Nf=1
F	55579	17	55579	9	16	Nf=1
F	55615	27	55615	16	26	Nf=1
F	55623	45	55623	28	44	Nf=14
F	55655	16	55655	9	14	Nf=4
F	55711	17	55711	9	16	Nf=1
F	55743	27	55743	14	26	Nf=1
F	55775	37	55775	22	36	Nf=3
F	55791	23	55791	14	22	Nf=4
F	55807	28	55807	16	27	Nf=1
F	55855	32	55855	17	31	Nf=1
F	55911	22	55911	11	21	Nf=1
F	55919	19	55919	11	18	Nf=11
F	55935	16	55935	9	14	Nf=3
F	55963	19	55963	11	18	Nf=15
F	55975	39	55975	24	38	Nf=4
F	55999	17	55999	9	16	Nf=1
F	56039	20	56039	11	19	Nf=1
F	56047	20	56047	12	19	Nf=2
F	56059	16	56059	9	14	Nf=6
F	56063	20	56063	11	19	Nf=1
F	56091	40	56091	24	39	Nf=1
F	56127	16	56127	9	15	Nf=4
F	56135	22	56135	9	21	Nf=1
F	56167	16	56167	9	15	Nf=4
F	56191	18	56191	10	17	Nf=1
F	56255	127	56255	78	126	Nf=1
F	56287	17	56287	10	16	Nf=2
F	56303	18	56303	11	17	Nf=11
F	56315	18	56315	11	17	Nf=23
F	56319	45	56319	27	44	Nf=1
F	56347	17	56347	10	16	Nf=2
F	56351	19	56351	11	18	Nf=1
F	56383	16	56383	9	15	Nf=1
F	56423	18	56423	11	17	Nf=10
F	56431	19	56431	11	18	Nf=1
F	56447	23	56447	13	22	Nf=1
F	56475	19	56475	11	18	Nf=2
F	56479	20	56479	12	19	Nf=2
F	56487	59	56487	36	58	Nf=2
F	56511	19	56511	11	18	Nf=1
F	56559	22	56559	12	21	Nf=1
F	56571	17	56571	9	16	Nf=1
F	56575	47	56575	27	46	Nf=1
F	56603	16	56603	9	15	Nf=1
F	56623	34	56623	20	33	Nf=1
F	56639	16	56639	9	14	Nf=4
F	56679	34	56679	21	33	Nf=7
F	56703	16	56703	9	15	Nf=1
F	56735	22	56735	13	21	Nf=1
F	56767	37	56767	23	36	Nf=14
F	56799	54	56799	33	53	Nf=2
F	56815	23	56815	12	22	Nf=1
F	56831	51	56831	30	50	Nf=1
F	56859	26	56859	16	25	Nf=12
F	56863	53	56863	33	52	Nf=12
F	56879	28	56879	14	27	Nf=1
F	56935	21	56935	11	20	Nf=1
F	56959	38	56959	23	37	Nf=1
F	56987	34	56987	19	33	Nf=1
F	56991	31	56991	19	30	Nf=3
F	57023	29	57023	18	28	Nf=33
F	57071	17	57071	9	16	Nf=1
F	57087	34	57087	20	33	Nf=1
F	57115	121	57115	76	120	Nf=28
F	57179	17	57179	10	16	Nf=3
F	57191	33	57191	18	32	Nf=1
F	57215	19	57215	11	18	Nf=14
F	57247	29	57247	18	28	Nf=45
F	57279	31	57279	19	30	Nf=4
F	57327	18	57327	9	17	Nf=1
F	57339	22	57339	12	21	Nf=1
F	57343	73	57343	45	72	Nf=8
F	57371	28	57371	16	27	Nf=1
F	57375	19	57375	11	18	Nf=13
F	57391	55	57391	33	54	Nf=1
F	57407	18	57407	9	17	Nf=1
F	57415	16	57415	9	15	Nf=6
F	57435	24	57435	14	23	Nf=5
F	57447	18	57447	9	17	Nf=1
F	57455	66	57455	40	65	Nf=1
F	57471	28	57471	16	27	Nf=2
F	57503	32	57503	19	31	Nf=5
F	57511	28	57511	17	27	Nf=3
F	57567	72	57567	44	71	Nf=2
F	57583	16	57583	9	14	Nf=3
F	57595	32	57595	18	31	Nf=1
F	57599	19	57599	9	18	Nf=1
F	57627	20	57627	12	19	Nf=3
F	57663	20	57663	12	19	Nf=2
F	57671	19	57671	10	18	Nf=1
F	57703	22	57703	12	21	Nf=1
F	57759	17	57759	10	16	Nf=2
F	57791	34	57791	20	33	Nf=1
F	57823	39	57823	23	38	Nf=1
F	57839	17	57839	10	16	Nf=2
F	57855	45	57855	27	44	Nf=1
F	57883	18	57883	9	17	Nf=1
F	57903	42	57903	23	41	Nf=1
F	57947	16	57947	9	14	Nf=6
F	57983	37	57983	22	36	Nf=2
F	58011	23	58011	14	22	Nf=5
F	58015	16	58015	9	15	Nf=3
F	58023	19	58023	9	18	Nf=1
F	58047	34	58047	20	33	Nf=2
F	58087	20	58087	11	19	Nf=1
F	58095	20	58095	12	19	Nf=2
F	58107	21	58107	11	20	Nf=1
F	58111	39	58111	23	38	Nf=1
F	58139	21	58139	12	20	Nf=3
F	58175	18	58175	10	17	Nf=2
F	58183	20	58183	12	19	Nf=4
F	58203	19	58203	10	18	Nf=1
F	58215	23	58215	13	22	Nf=1
F	58239	36	58239	21	35	Nf=2
F	58271	16	58271	9	15	Nf=1
F	58303	27	58303	16	26	Nf=5
F	58335	31	58335	18	30	Nf=2
F	58351	16	58351	9	15	Nf=1
F	58367	19	58367	11	18	Nf=1
F	58395	23	58395	14	22	Nf=6
F	58399	29	58399	18	28	Nf=34
F	58439	45	58439	27	44	Nf=5
F	58459	18	58459	9	17	Nf=1
F	58471	16	58471	9	15	Nf=1
F	58495	18	58495	10	17	Nf=1
F	58523	19	58523	10	18	Nf=1
F	58527	16	58527	9	14	Nf=3
F	58599	23	58599	9	22	Nf=1
F	58607	58	58607	35	57	Nf=2
F	58619	20	58619	11	19	Nf=2
F	58623	25	58623	11	24	Nf=1
F	58651	38	58651	23	37	Nf=29
F	58687	18	58687	11	17	Nf=11
F	58695	39	58695	24	38	Nf=7
F	58727	18	58727	11	17	Nf=11
F	58751	21	58751	12	20	Nf=1
F	58783	23	58783	13	22	Nf=2
F	58815	43	58815	23	42	Nf=1
F	58847	45	58847	26	44	Nf=1
F	58863	18	58863	10	17	Nf=1
F	58879	40	58879	22	39	Nf=1
F	58907	17	58907	9	16	Nf=1
F	58927	23	58927	14	22	Nf=4
F	58983	18	58983	10	17	Nf=1
F	59007	73	59007	45	72	Nf=2
F	59035	17	59035	9	16	Nf=1
F	59039	25	59039	15	24	Nf=2
F	59111	16	59111	9	14	Nf=5
F	59119	44	59119	25	43	Nf=1
F	59135	20	59135	11	19	Nf=1
F	59163	27	59163	16	26	Nf=9
F	59227	19	59227	11	18	Nf=2
F	59239	26	59239	15	25	Nf=2
F	59263	18	59263	10	17	Nf=1
F	59295	17	59295	9	16	Nf=1
F	59303	16	59303	9	15	Nf=6
F	59327	17	59327	9	16	Nf=1
F	59387	19	59387	11	18	Nf=2
F	59391	48	59391	29	47	Nf=4
F	59455	18	59455	11	17	Nf=11
F	59463	17	59463	10	16	Nf=3
F	59483	24	59483	14	23	Nf=1
F	59495	18	59495	11	17	Nf=11
F	59503	27	59503	14	26	Nf=1
F	59519	26	59519	15	25	Nf=2
F	59551	25	59551	15	24	Nf=2
F	59559	19	59559	11	18	Nf=14
F	59631	27	59631	16	26	Nf=7
F	59643	17	59643	10	16	Nf=2
F	59647	21	59647	10	20	Nf=1
F	59711	42	59711	26	41	Nf=7
F	59719	19	59719	11	18	Nf=13
F	59751	33	59751	20	32	Nf=2
F	59807	25	59807	14	24	Nf=1
F	59839	45	59839	27	44	Nf=3
F	59871	59	59871	35	58	Nf=1
F	59887	21	59887	12	20	Nf=1
F	59903	64	59903	39	63	Nf=1
F	59951	20	59951	9	19	Nf=1
F	59995	61	59995	36	60	Nf=1
F	60015	16	60015	9	14	Nf=4
F	60031	26	60031	16	25	Nf=6
F	60059	16	60059	9	15	Nf=1
F	60063	17	60063	10	16	Nf=2
F	60071	19	60071	11	18	Nf=1
F	60095	23	60095	14	22	Nf=4
F	60135	42	60135	25	41	Nf=1
F	60143	17	60143	10	16	Nf=2
F	60155	31	60155	19	30	Nf=6
F	60159	20	60159	11	19	Nf=1
F	60187	53	60187	31	52	Nf=1
F	60223	27	60223	15	26	Nf=1
F	60231	18	60231	11	17	Nf=20
F	60263	22	60263	13	21	Nf=1
F	60287	42	60287	26	41	Nf=7
F	60327	26	60327	15	25	Nf=1
F	60351	47	60351	28	46	Nf=2
F	60399	24	60399	14	23	Nf=1
F	60415	73	60415	44	72	Nf=1
F	60443	29	60443	18	28	Nf=69
F	60447	26	60447	16	25	Nf=7
F	60507	32	60507	19	31	Nf=6
F	60519	25	60519	15	24	Nf=2
F	60527	17	60527	9	16	Nf=1
F	60543	29	60543	16	28	Nf=1
F	60571	19	60571	11	18	Nf=16
F	60575	24	60575	13	23	Nf=1
F	60583	58	60583	32	57	Nf=1
F	60607	17	60607	9	16	Nf=1
F	60647	26	60647	16	25	Nf=14
F	60655	43	60655	26	42	Nf=1
F	60667	29	60667	14	28	Nf=1
F	60671	22	60671	11	21	Nf=1
F	60699	25	60699	14	24	Nf=1
F	60719	16	60719	9	14	Nf=5
F	60735	20	60735	12	19	Nf=2
F	60743	19	60743	9	18	Nf=1
F	60775	38	60775	22	37	Nf=1
F	60831	18	60831	11	17	Nf=13
F	60863	35	60863	20	34	Nf=1
F	60895	18	60895	9	17	Nf=1
F	60911	18	60911	11	17	Nf=13
F	60927	29	60927	18	28	Nf=25
F	60955	17	60955	10	16	Nf=2
F	60959	16	60959	9	14	Nf=4
F	60975	129	60975	81	128	Nf=27
F	61055	70	61055	43	69	Nf=1
F	61083	34	61083	21	33	Nf=11
F	61087	21	61087	12	20	Nf=3
F	61119	16	61119	9	14	Nf=3
F	61159	33	61159	16	32	Nf=1
F	61167	20	61167	12	19	Nf=3
F	61183	40	61183	24	39	Nf=1
F	61211	35	61211	21	34	Nf=1
F	61275	24	61275	14	23	Nf=8
F	61287	44	61287	26	43	Nf=1
F	61343	26	61343	15	25	Nf=2
F	61351	21	61351	10	20	Nf=1
F	61375	17	61375	10	16	Nf=2
F	61439	48	61439	30	47	Nf=72
F	61467	31	61467	17	30	Nf=1
F	61471	16	61471	9	15	Nf=4
F	61487	45	61487	28	44	Nf=16
F	61511	26	61511	15	25	Nf=3
F	61531	18	61531	10	17	Nf=2
F	61551	38	61551	23	37	Nf=23
F	61599	48	61599	30	47	Nf=70
F	61607	27	61607	14	26	Nf=1
F	61631	19	61631	10	18	Nf=1
F	61663	16	61663	9	14	Nf=5
F	61679	56	61679	35	55	Nf=34
F	61691	22	61691	13	21	Nf=2
F	61695	25	61695	13	24	Nf=1
F	61723	16	61723	9	14	Nf=5
F	61743	19	61743	11	18	Nf=16
F	61759	53	61759	33	52	Nf=7
F	61767	16	61767	9	15	Nf=1
F	61799	18	61799	9	17	Nf=1
F	61855	28	61855	15	27	Nf=1
F	61887	25	61887	15	24	Nf=2
F	61919	18	61919	11	17	Nf=10
F	61935	23	61935	13	22	Nf=1
F	61951	33	61951	19	32	Nf=1
F	61979	18	61979	10	17	Nf=1
F	61999	35	61999	21	34	Nf=2
F	62043	40	62043	23	39	Nf=1
F	62063	19	62063	11	18	Nf=13
F	62079	90	62079	55	89	Nf=2
F	62107	22	62107	12	21	Nf=1
F	62111	55	62111	34	54	Nf=4
F	62119	19	62119	10	18	Nf=1
F	62143	33	62143	19	32	Nf=1
F	62183	20	62183	11	19	Nf=1
F	62191	26	62191	16	25	Nf=10
F	62203	17	62203	9	16	Nf=1
F	62207	35	62207	21	34	Nf=1
F	62235	19	62235	9	18	Nf=1
F	62279	19	62279	10	18	Nf=1
F	62311	24	62311	13	23	Nf=1
F	62335	45	62335	26	44	Nf=1
F	62399	31	62399	17	30	Nf=1
F	62431	46	62431	28	45	Nf=3
F	62463	23	62463	14	22	Nf=3
F	62491	28	62491	14	27	Nf=1
F	62495	25	62495	13	24	Nf=1
F	62555	23	62555	13	22	Nf=2
F	62567	24	62567	14	23	Nf=1
F	62575	19	62575	11	18	Nf=1
F	62591	22	62591	13	21	Nf=2
F	62623	22	62623	13	21	Nf=1
F	62631	17	62631	9	16	Nf=1
F	62655	19	62655	11	18	Nf=1
F	62687	67	62687	42	66	Nf=217
F	62695	26	62695	11	25	Nf=1
F	62703	39	62703	24	38	Nf=2
F	62719	23	62719	10	22	Nf=1
F	62747	29	62747	18	28	Nf=47
F	62767	27	62767	15	26	Nf=1
F	62783	17	62783	9	16	Nf=1
F	62791	19	62791	11	18	Nf=14
F	62823	24	62823	14	23	Nf=4
F	62847	16	62847	9	14	Nf=4
F	62879	26	62879	16	25	Nf=7
F	62911	31	62911	19	30	Nf=3
F	62943	18	62943	10	17	Nf=2
F	62975	19	62975	11	18	Nf=1
F	63003	23	63003	14	22	Nf=9
F	63007	25	63007	14	24	Nf=1
F	63023	18	63023	10	17	Nf=2
F	63079	16	63079	9	15	Nf=5
F	63103	37	63103	22	36	Nf=1
F	63135	26	63135	15	25	Nf=1
F	63167	36	63167	21	35	Nf=1
F	63207	45	63207	26	44	Nf=1
F	63231	37	63231	23	36	Nf=18
F	63259	19	63259	11	18	Nf=1
F	63335	18	63335	11	17	Nf=12
F	63359	16	63359	9	15	Nf=3
F	63399	33	63399	18	32	Nf=1
F	63423	21	63423	11	20	Nf=1
F	63483	17	63483	9	16	Nf=1
F	63487	25	63487	15	24	Nf=1
F	63515	16	63515	9	15	Nf=1
F	63519	17	63519	10	16	Nf=2
F	63535	16	63535	9	15	Nf=1
F	63551	16	63551	9	14	Nf=4
F	63579	48	63579	30	47	Nf=107
F	63591	16	63591	9	14	Nf=4
F	63599	17	63599	10	16	Nf=2
F	63615	18	63615	11	17	Nf=9
F	63647	44	63647	25	43	Nf=1
F	63655	16	63655	9	15	Nf=1
F	63711	29	63711	18	28	Nf=60
F	63727	29	63727	17	28	Nf=1
F	63739	52	63739	31	51	Nf=3
F	63743	21	63743	11	20	Nf=1
F	63771	20	63771	12	19	Nf=3
F	63807	20	63807	12	19	Nf=2
F	63815	32	63815	18	31	Nf=1
F	63847	24	63847	12	23	Nf=1
F	63935	48	63935	28	47	Nf=1
F	63967	23	63967	14	22	Nf=6
F	63983	23	63983	14	22	Nf=5
F	63999	29	63999	18	28	Nf=30
F	64047	20	64047	11	19	Nf=1
F	64091	18	64091	9	17	Nf=1
F	64103	33	64103	20	32	Nf=3
F	64111	31	64111	17	30	Nf=1
F	64127	26	64127	16	25	Nf=12
F	64155	23	64155	12	22	Nf=1
F	64167	19	64167	11	18	Nf=16
F	64191	24	64191	14	23	Nf=4
F	64231	63	64231	38	62	Nf=1
F	64239	20	64239	12	19	Nf=3
F	64251	17	64251	10	16	Nf=3
F	64255	118	64255	74	117	Nf=10
F	64283	19	64283	11	18	Nf=10
F	64319	25	64319	14	24	Nf=1
F	64359	22	64359	13	21	Nf=1
F	64383	22	64383	13	21	Nf=1
F	64447	24	64447	11	23	Nf=1
F	64479	18	64479	9	17	Nf=1
F	64495	16	64495	9	14	Nf=4
F	64507	19	64507	10	18	Nf=1
F	64511	70	64511	43	69	Nf=5
F	64539	20	64539	9	19	Nf=1
F	64543	25	64543	14	24	Nf=1
F	64575	21	64575	12	20	Nf=1
F	64615	21	64615	12	20	Nf=2
F	64623	37	64623	23	36	Nf=26
F	64639	47	64639	26	46	Nf=1
F	64667	16	64667	9	15	Nf=5
F	64671	19	64671	11	18	Nf=1
F	64679	50	64679	30	49	Nf=1
F	64703	24	64703	14	23	Nf=1
F	64751	28	64751	17	27	Nf=3
F	64763	69	64763	42	68	Nf=2
F	64767	33	64767	19	32	Nf=1
F	64795	29	64795	16	28	Nf=1
F	64815	51	64815	27	50	Nf=1
F	64831	17	64831	10	16	Nf=2
F	64871	17	64871	10	16	Nf=2
F	64895	21	64895	12	20	Nf=1
F	64927	26	64927	16	25	Nf=10
F	64959	26	64959	15	25	Nf=1
F	64991	30	64991	18	29	Nf=2
F	65007	16	65007	9	15	Nf=4
F	65023	38	65023	21	37	Nf=1
F	65051	36	65051	21	35	Nf=1
F	65055	34	65055	21	33	Nf=8
F	65071	24	65071	14	23	Nf=1
F	65127	18	65127	10	17	Nf=2
F	65151	48	65151	30	47	Nf=60
F	65179	16	65179	9	14	Nf=5
F	65183	19	65183	10	18	Nf=1
F	65215	31	65215	18	30	Nf=1
F	65255	21	65255	9	20	Nf=1
F	65263	20	65263	12	19	Nf=3
F	65279	24	65279	13	23	Nf=1
F	65307	61	65307	37	60	Nf=2
F	65371	18	65371	9	17	Nf=1
F	65383	39	65383	24	38	Nf=3
F	65407	18	65407	10	17	Nf=2
F	65439	16	65439	9	14	Nf=4
F	65471	30	65471	17	29	Nf=1
F	65519	18	65519	11	17	Nf=14
F	65531	19	65531	11	18	Nf=2
F	65535	49	65535	30	48	Nf=2

Notes

D_exact et F sont relevées au module 2^{m_{stable}} avec m_{stable}=\max(m, A+1), où m est le palier du domaine, afin de figer le mot de valuations du témoin.
D_brother_local encode une dépendance locale (palier du domaine) vers un mate_exact ; elle n’est pas utilisée ici comme clause universelle autonome.

142 KiB Raw Permalink Blame History Unescape Escape