algo/docs/artefacts/collatz/universal_clauses/palier2p15/clauses_universelles.md

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_palier2p15.json

Domaine

• palier (domaine des témoins) : 2^15
• max(2^m_stable) observé : 2^102

Compteurs

• total : 1536
• D_exact : 180
• F : 1356
• D_brother_local : 0

Table (extrait)

kind	source_n	m_stable	residue_mod_2^m	k/t	A	N0/Nf	mate_exact
D_exact	191	15	191	8	14	N0=1
D_exact	255	15	255	8	13	N0=4
D_exact	539	15	539	8	13	N0=7
D_exact	679	15	679	8	13	N0=6
D_exact	1135	15	1135	8	14	N0=1
D_exact	1191	15	1191	8	13	N0=6
D_exact	1215	15	1215	8	14	N0=1
D_exact	1563	15	1563	8	13	N0=6
D_exact	1983	15	1983	8	13	N0=5
D_exact	2075	15	2075	8	13	N0=6
D_exact	2079	15	2079	8	14	N0=1
D_exact	2095	15	2095	8	13	N0=6
D_exact	2607	15	2607	8	13	N0=6
D_exact	2663	15	2663	8	14	N0=1
D_exact	3039	15	3039	8	13	N0=6
D_exact	3067	15	3067	8	14	N0=2
D_exact	3551	15	3551	8	13	N0=5
D_exact	3687	15	3687	8	14	N0=1
D_exact	3967	15	3967	8	14	N0=1
D_exact	4091	15	4091	8	14	N0=2
D_exact	4223	15	4223	8	13	N0=4
D_exact	4455	15	4455	8	13	N0=5
D_exact	4859	15	4859	8	13	N0=8
D_exact	4927	15	4927	8	13	N0=5
D_exact	4955	15	4955	8	14	N0=2
D_exact	5191	15	5191	8	13	N0=8
D_exact	5275	15	5275	8	14	N0=2
D_exact	5371	15	5371	8	13	N0=7
D_exact	5439	15	5439	8	13	N0=5
D_exact	5615	15	5615	8	14	N0=1
D_exact	5871	15	5871	8	13	N0=5
D_exact	5979	15	5979	8	14	N0=2
D_exact	6215	15	6215	8	13	N0=7
D_exact	6559	15	6559	8	14	N0=1
D_exact	6747	15	6747	8	13	N0=7
D_exact	6815	15	6815	8	13	N0=5
D_exact	6983	15	6983	8	14	N0=2
D_exact	7079	15	7079	8	13	N0=8
D_exact	7259	15	7259	8	13	N0=7
D_exact	7399	15	7399	8	13	N0=6
D_exact	7911	15	7911	8	13	N0=6
D_exact	8103	15	8103	8	13	N0=7
D_exact	8383	15	8383	8	13	N0=6
D_exact	8447	15	8447	8	14	N0=1
D_exact	8495	15	8495	8	13	N0=7
D_exact	8731	15	8731	8	14	N0=2
D_exact	8815	15	8815	8	13	N0=6
D_exact	8871	15	8871	8	14	N0=1
D_exact	9327	15	9327	8	13	N0=5
D_exact	9407	15	9407	8	13	N0=5
D_exact	9439	15	9439	8	13	N0=7
D_exact	9519	15	9519	8	13	N0=7
D_exact	9755	15	9755	8	14	N0=1
D_exact	9759	15	9759	8	13	N0=5
D_exact	9919	15	9919	8	13	N0=5
D_exact	10175	15	10175	8	14	N0=1
D_exact	10271	15	10271	8	13	N0=5
D_exact	10463	15	10463	8	13	N0=6
D_exact	10523	15	10523	8	13	N0=6
D_exact	10799	15	10799	8	14	N0=1
D_exact	10855	15	10855	8	13	N0=6
D_exact	11259	15	11259	8	13	N0=9
D_exact	11327	15	11327	8	13	N0=6
D_exact	11647	15	11647	8	13	N0=5
D_exact	11743	15	11743	8	14	N0=1
D_exact	11879	15	11879	8	13	N0=6
D_exact	12159	15	12159	8	13	N0=5
D_exact	12271	15	12271	8	13	N0=6
D_exact	12283	15	12283	8	13	N0=8
D_exact	12351	15	12351	8	13	N0=6
D_exact	12391	15	12391	8	13	N0=6
D_exact	12647	15	12647	8	14	N0=1
D_exact	13051	15	13051	8	14	N0=2
D_exact	13147	15	13147	8	13	N0=8
D_exact	13215	15	13215	8	13	N0=6
D_exact	13295	15	13295	8	13	N0=5
D_exact	13467	15	13467	8	13	N0=7
D_exact	13631	15	13631	8	14	N0=1
D_exact	13807	15	13807	8	13	N0=5
D_exact	13979	15	13979	8	13	N0=6
D_exact	14171	15	14171	8	13	N0=8
D_exact	14239	15	14239	8	13	N0=5
D_exact	14751	15	14751	8	13	N0=5
D_exact	14939	15	14939	8	14	N0=2
D_exact	15175	15	15175	8	13	N0=7
D_exact	15687	15	15687	8	13	N0=7
D_exact	16103	15	16103	8	14	N0=1
D_exact	16639	15	16639	8	13	N0=4
D_exact	16687	15	16687	8	14	N0=2
D_exact	16923	15	16923	8	13	N0=7
D_exact	17007	15	17007	8	14	N0=1
D_exact	17063	15	17063	8	13	N0=6
D_exact	17575	15	17575	8	13	N0=6
D_exact	17631	15	17631	8	14	N0=2
D_exact	17711	15	17711	8	14	N0=2
D_exact	17947	15	17947	8	13	N0=6
D_exact	17951	15	17951	8	14	N0=1
D_exact	18111	15	18111	8	14	N0=1
D_exact	18367	15	18367	8	13	N0=5
D_exact	18459	15	18459	8	13	N0=6
D_exact	18479	15	18479	8	13	N0=6
D_exact	18655	15	18655	8	14	N0=1
D_exact	18715	15	18715	8	14	N0=1
D_exact	18991	15	18991	8	13	N0=6
D_exact	19423	15	19423	8	13	N0=6
D_exact	19519	15	19519	8	14	N0=1
D_exact	19839	15	19839	8	14	N0=1
D_exact	19935	15	19935	8	13	N0=5
D_exact	20463	15	20463	8	14	N0=1
D_exact	20543	15	20543	8	14	N0=1
D_exact	20583	15	20583	8	14	N0=1
D_exact	20607	15	20607	8	13	N0=4
D_exact	20839	15	20839	8	13	N0=5
D_exact	21243	15	21243	8	13	N0=8
D_exact	21311	15	21311	8	13	N0=5
D_exact	21407	15	21407	8	14	N0=1
D_exact	21487	15	21487	8	14	N0=1
D_exact	21575	15	21575	8	13	N0=8
D_exact	21755	15	21755	8	13	N0=7
D_exact	21823	15	21823	8	13	N0=5
D_exact	22171	15	22171	8	14	N0=1
D_exact	22255	15	22255	8	13	N0=5
D_exact	22431	15	22431	8	14	N0=1
D_exact	22599	15	22599	8	13	N0=7
D_exact	23131	15	23131	8	13	N0=7
D_exact	23199	15	23199	8	13	N0=5
D_exact	23463	15	23463	8	13	N0=8
D_exact	23643	15	23643	8	13	N0=7
D_exact	23783	15	23783	8	13	N0=6
D_exact	23879	15	23879	8	14	N0=2
D_exact	24295	15	24295	8	13	N0=6
D_exact	24487	15	24487	8	13	N0=7
D_exact	24767	15	24767	8	13	N0=6
D_exact	24879	15	24879	8	13	N0=7
D_exact	25199	15	25199	8	13	N0=6
D_exact	25711	15	25711	8	13	N0=5
D_exact	25767	15	25767	8	14	N0=1
D_exact	25791	15	25791	8	13	N0=5
D_exact	25823	15	25823	8	13	N0=7
D_exact	25903	15	25903	8	13	N0=7
D_exact	26143	15	26143	8	13	N0=5
D_exact	26303	15	26303	8	13	N0=5
D_exact	26651	15	26651	8	14	N0=1
D_exact	26655	15	26655	8	13	N0=5
D_exact	26671	15	26671	8	14	N0=1
D_exact	26847	15	26847	8	13	N0=6
D_exact	26907	15	26907	8	13	N0=6
D_exact	27239	15	27239	8	13	N0=6
D_exact	27615	15	27615	8	14	N0=1
D_exact	27643	15	27643	8	13	N0=9
D_exact	27711	15	27711	8	13	N0=6
D_exact	28031	15	28031	8	13	N0=5
D_exact	28263	15	28263	8	13	N0=6
D_exact	28543	15	28543	8	13	N0=5
D_exact	28655	15	28655	8	13	N0=6
D_exact	28667	15	28667	8	13	N0=8
D_exact	28735	15	28735	8	13	N0=6
D_exact	28775	15	28775	8	13	N0=6
D_exact	28799	15	28799	8	14	N0=1
D_exact	29503	15	29503	8	14	N0=1
D_exact	29531	15	29531	8	13	N0=8
D_exact	29599	15	29599	8	13	N0=6
D_exact	29679	15	29679	8	13	N0=5
D_exact	29767	15	29767	8	14	N0=2
D_exact	29851	15	29851	8	13	N0=7
D_exact	29947	15	29947	8	14	N0=2
D_exact	30191	15	30191	8	13	N0=5
D_exact	30363	15	30363	8	13	N0=6
D_exact	30447	15	30447	8	14	N0=1
D_exact	30555	15	30555	8	13	N0=8
D_exact	30623	15	30623	8	13	N0=5
D_exact	30791	15	30791	8	14	N0=2
D_exact	31135	15	31135	8	13	N0=5
D_exact	31391	15	31391	8	14	N0=1
D_exact	31559	15	31559	8	13	N0=7
D_exact	31655	15	31655	8	14	N0=2
D_exact	31835	15	31835	8	14	N0=2
D_exact	31975	15	31975	8	14	N0=1
D_exact	32071	15	32071	8	13	N0=7
D_exact	32679	15	32679	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	15	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	15	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	15	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	15	4123	9	14	Nf=5
F	4127	43	4127	26	42	Nf=2
F	4143	15	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	15	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	15	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	15	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	15	6975	9	14	Nf=4
F	7015	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	14207	9	14	Nf=3
F	14247	26	14247	16	25	Nf=15
F	14271	16	14271	9	15	Nf=1
F	14331	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	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	15	30783	9	14	Nf=4
F	30811	27	30811	16	26	Nf=11
F	30823	15	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	15	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	15	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	15	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

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.