5	0	(1,2)
6	1	(1,1)
7	1	(1,1)
8	1	(1,3)
9	1	(1,2)
10	1	(1,3)
11	1	(1,2)
12	1	(1,5)
13	1	(1,2)
14	1	(1,3)
15	1	(1,4)
16	1	(1,7)
17	1	(1,3)
18	1	(1,5)
19	1	(1,4)
20	1	(1,9)
21	1	(1,8)
22	1	(1,5)
23	1	(1,5)
24	2	(1,5)
25	1	(1,7)
26	1	(1,7)
27	1	(1,8)
28	2	(1,5)
29	1	(1,8)
30	1	(1,11)
31	1	(1,11)
32	2	(1,5)
33	2	(1,4)
34	1	(1,9)
35	2	(1,4)
36	2	(1,11)
37	1	(1,8)
38	2	(1,5)
39	1	(1,14)
40	2	(1,7)
41	1	(1,11)
42	2	(1,5)
43	1	(1,12)
44	2	(1,7)
45	2	(1,7)
46	1	(1,17)
47	1	(1,13)
48	2	(1,11)
49	1	(1,18)
50	1	(1,19)
51	2	(1,7)
52	2	(1,9)
53	2	(1,7)
54	2	(1,7)
55	1	(1,21)
56	2	(1,9)
57	2	(1,10)
58	2	(1,9)
59	2	(1,8)
60	2	(1,13)
61	2	(1,8)
62	2	(1,11)
63	2	(1,10)
64	2	(1,11)
65	2	(1,12)
66	2	(1,17)
67	2	(1,10)
68	2	(1,19)
69	2	(1,8)
70	2	(1,9)
71	2	(1,15)
72	2	(1,17)
73	2	(1,11)
74	2	(1,11)
75	2	(1,11)
76	2	(1,13)
77	2	(1,12)
78	2	(1,17)
79	2	(1,12)
80	2	(1,17)
81	2	(1,14)
82	2	(1,17)
83	2	(1,13)
84	2	(1,19)
85	2	(1,11)
86	2	(1,13)
87	2	(1,14)
88	2	(1,19)
89	2	(1,16)
90	2	(1,17)
91	2	(1,12)
92	2	(1,21)
93	2	(1,14)
94	2	(1,33)
95	2	(1,14)
96	2	(1,29)
97	2	(1,17)
98	2	(1,17)
99	2	(1,13)
100	2	(1,27)
101	2	(1,15)
102	2	(1,19)
103	2	(1,18)
104	2	(1,27)
105	2	(1,16)
106	2	(1,19)
107	2	(1,19)
108	2	(1,23)
109	2	(1,19)
110	2	(1,19)
111	2	(1,20)
112	2	(1,31)
113	2	(1,18)
114	2	(1,17)
115	2	(1,18)
116	2	(1,25)
117	2	(1,28)
118	2	(1,21)
119	2	(1,18)
120	2	(1,43)
121	2	(1,18)
122	2	(1,19)
123	2	(1,22)
124	2	(1,29)
125	2	(1,19)
126	2	(1,19)
127	2	(1,22)
128	2	(1,29)
129	2	(1,23)
130	2	(1,27)
131	2	(1,23)
132	2	(1,35)
133	2	(1,23)
134	2	(1,21)
135	2	(1,28)
136	2	(1,29)
137	2	(1,26)
138	2	(1,31)
139	2	(1,21)
140	2	(1,37)
141	2	(1,25)
142	2	(1,31)
143	2	(1,25)
144	2	(1,31)
145	2	(1,26)
146	2	(1,31)
147	2	(1,41)
148	2	(1,35)
149	2	(1,26)
150	2	(1,59)
151	2	(1,32)
152	2	(1,41)
153	2	(1,29)
154	2	(1,27)
155	2	(1,34)
156	2	(1,37)
157	2	(1,34)
158	2	(1,33)
159	2	(1,44)
160	2	(1,43)
161	2	(1,30)
162	2	(1,29)
163	2	(1,29)
164	2	(1,43)
165	2	(1,46)
166	2	(1,29)
167	2	(1,31)
168	2	(1,71)
169	2	(1,30)
170	2	(1,39)
171	2	(1,37)
172	2	(1,45)
173	2	(1,31)
174	2	(1,31)
175	2	(1,37)
176	2	(1,49)
177	2	(1,37)
178	2	(1,39)
179	2	(1,39)
180	2	(1,41)
181	2	(1,39)
182	2	(1,41)
183	2	(1,34)
184	2	(1,43)
185	2	(1,68)
186	2	(1,55)
187	2	(1,41)
188	2	(1,69)
189	2	(1,40)
190	2	(1,41)
191	2	(1,34)
192	2	(1,71)
193	2	(1,41)
194	2	(1,41)
195	2	(1,59)
196	2	(1,75)
197	2	(1,43)
198	2	(1,53)
199	2	(1,55)
200	2	(1,53)
201	2	(1,46)
202	2	(1,59)
203	2	(1,43)
204	2	(1,55)
205	2	(1,61)
206	2	(1,45)
207	2	(1,44)
208	2	(1,55)
209	2	(1,56)
210	2	(1,59)
211	2	(1,46)
212	2	(1,57)
213	2	(1,46)
214	2	(1,49)
215	2	(1,49)
216	3	(1,25)
217	2	(1,47)
218	2	(1,59)
219	2	(1,50)
220	2	(1,93)
221	2	(1,50)
222	2	(1,47)
223	2	(1,66)
224	3	(1,27)
225	2	(1,62)
226	2	(1,49)
227	2	(1,49)
228	3	(1,31)
229	2	(1,50)
230	2	(1,83)
231	2	(1,50)
232	2	(1,85)
233	2	(1,64)
234	2	(1,71)
235	2	(1,63)
236	3	(1,31)
237	2	(1,64)
238	2	(1,87)
239	2	(1,66)
240	2	(1,89)
241	2	(1,55)
242	2	(1,65)
243	2	(1,71)
244	3	(1,29)
245	2	(1,86)
246	2	(1,73)
247	2	(1,68)
248	2	(1,91)
249	2	(1,76)
250	2	(1,67)
251	2	(1,70)
252	3	(1,29)
253	2	(1,68)
254	2	(1,55)
255	2	(1,92)
256	2	(1,95)
257	2	(1,69)
258	2	(1,71)
259	2	(1,100)
260	3	(1,31)
261	2	(1,100)
262	3	(1,27)
263	2	(1,71)
264	2	(1,101)
265	2	(1,73)
266	2	(1,79)
267	2	(1,79)
268	2	(1,99)
269	2	(1,75)
270	2	(1,97)
271	2	(1,75)
272	2	(1,103)
273	2	(1,100)
274	2	(1,81)
275	2	(1,76)
276	3	(1,41)
277	2	(1,81)
278	3	(1,29)
279	3	(1,29)
280	2	(1,107)
281	2	(1,109)
282	2	(1,109)
283	2	(1,76)
284	2	(1,105)
285	3	(1,34)
286	2	(1,79)
287	2	(1,60)
288	2	(1,119)
289	2	(1,80)
290	2	(1,81)
291	2	(1,103)
292	2	(1,111)
293	2	(1,81)
294	3	(1,53)
295	2	(1,64)
296	3	(1,39)
297	2	(1,109)
298	3	(1,31)
299	2	(1,106)
300	3	(1,47)
301	2	(1,89)
302	2	(1,107)
303	2	(1,116)
304	3	(1,37)
305	2	(1,112)
306	3	(1,53)
307	2	(1,110)
308	2	(1,113)
309	3	(1,40)
310	3	(1,37)
311	2	(1,115)
312	2	(1,131)
313	2	(1,119)
314	3	(1,49)
315	2	(1,122)
316	3	(1,41)
317	2	(1,114)
318	3	(1,47)
319	3	(1,34)
320	3	(1,47)
321	2	(1,68)
322	2	(1,85)
323	2	(1,116)
324	3	(1,49)
325	2	(1,71)
326	3	(1,39)
327	3	(1,34)
328	3	(1,49)
329	2	(1,87)
330	3	(1,49)
331	2	(1,89)
332	3	(1,43)
333	2	(1,118)
334	3	(1,39)
335	2	(1,123)
336	2	(1,127)
337	2	(1,128)
338	2	(1,129)
339	2	(1,130)
340	3	(1,53)
341	3	(1,45)
342	2	(1,125)
343	2	(1,124)
344	3	(1,41)
345	3	(1,52)
346	3	(1,41)
347	2	(1,127)
348	2	(1,133)
349	2	(1,136)
350	3	(1,61)
351	3	(1,41)
352	3	(1,45)
353	3	(1,41)
354	2	(1,127)
355	2	(1,136)
356	3	(1,43)
357	3	(1,41)
358	3	(1,41)
359	2	(1,76)
360	3	(1,53)
361	2	(1,132)
362	3	(1,43)
363	2	(1,131)
364	3	(1,55)
365	2	(1,79)
366	2	(1,79)
367	2	(1,97)
368	3	(1,59)
369	2	(1,80)
370	2	(1,133)
371	2	(1,81)
372	3	(1,49)
373	2	(1,103)
374	3	(1,49)
375	2	(1,103)
376	2	(1,139)
377	2	(1,136)
378	3	(1,65)
379	2	(1,105)
380	2	(1,141)
381	2	(1,107)
382	2	(1,137)
383	2	(1,140)
384	3	(1,61)
385	3	(1,51)
386	3	(1,45)
387	2	(1,107)
388	3	(1,51)
389	2	(1,151)
390	3	(1,53)
391	3	(1,61)
392	3	(1,59)
393	3	(1,70)
394	2	(1,151)
395	2	(1,142)
396	3	(1,71)
397	2	(1,146)
398	2	(1,143)
399	3	(1,59)
400	3	(1,71)
401	3	(1,53)
402	2	(1,157)
403	2	(1,148)
404	2	(1,153)
405	2	(1,157)
406	2	(1,109)
407	2	(1,112)
408	2	(1,155)
409	3	(1,61)
410	3	(1,47)
411	2	(1,89)
412	2	(1,173)
413	2	(1,111)
414	3	(1,61)
415	2	(1,116)
416	3	(1,67)
417	2	(1,158)
418	2	(1,153)
419	2	(1,117)
420	3	(1,67)
421	3	(1,50)
422	2	(1,161)
423	3	(1,49)
424	3	(1,55)
425	3	(1,56)
426	2	(1,119)
427	2	(1,163)
428	3	(1,55)
429	3	(1,50)
430	3	(1,63)
431	3	(1,50)
432	3	(1,65)
433	3	(1,56)
434	3	(1,57)
435	3	(1,76)
436	3	(1,65)
437	2	(1,157)
438	2	(1,161)
439	3	(1,59)
440	3	(1,57)
441	2	(1,167)
442	3	(1,77)
443	2	(1,169)
444	3	(1,77)
445	2	(1,163)
446	2	(1,165)
447	3	(1,59)
448	3	(1,85)
449	2	(1,165)
450	3	(1,77)
451	3	(1,67)
452	3	(1,71)
453	2	(1,173)
454	3	(1,59)
455	2	(1,167)
456	2	(1,191)
457	2	(1,169)
458	2	(1,123)
459	3	(1,79)
460	3	(1,79)
461	3	(1,55)
462	2	(1,179)
463	2	(1,128)
464	3	(1,69)
465	2	(1,128)
466	2	(1,129)
467	2	(1,129)
468	3	(1,83)
469	2	(1,131)
470	3	(1,61)
471	3	(1,61)
472	3	(1,81)
473	3	(1,62)
474	2	(1,131)
475	3	(1,71)
476	3	(1,71)
477	3	(1,70)
478	2	(1,175)
479	3	(1,73)
480	3	(1,73)
481	3	(1,71)
482	2	(1,177)
483	3	(1,73)
484	3	(1,73)
485	2	(1,178)
486	3	(1,85)
487	2	(1,179)
488	3	(1,87)
489	3	(1,64)
490	2	(1,187)
491	3	(1,66)
492	3	(1,77)
493	2	(1,181)
494	3	(1,73)
495	2	(1,188)
496	3	(1,75)
497	3	(1,78)
498	2	(1,193)
499	2	(1,191)
500	3	(1,89)
501	3	(1,65)
502	3	(1,65)
503	2	(1,186)
504	3	(1,79)
505	2	(1,192)
506	3	(1,87)
507	2	(1,194)
508	3	(1,89)
509	3	(1,76)
510	3	(1,67)
511	3	(1,76)
512	3	(1,109)
513	2	(1,196)
514	3	(1,89)
515	3	(1,82)
516	3	(1,83)
517	3	(1,78)
518	3	(1,67)
519	3	(1,68)
520	3	(1,81)
521	2	(1,144)
522	3	(1,67)
523	3	(1,69)
524	3	(1,79)
525	3	(1,68)
526	3	(1,91)
527	3	(1,60)
528	3	(1,83)
529	3	(1,78)
530	3	(1,79)
531	3	(1,70)
532	3	(1,93)
533	3	(1,69)
534	3	(1,83)
535	3	(1,79)
536	3	(1,81)
537	3	(1,82)
538	3	(1,71)
539	3	(1,100)
540	3	(1,151)
541	3	(1,71)
542	2	(1,199)
543	3	(1,80)
544	3	(1,97)
545	2	(1,207)
546	2	(1,209)
547	2	(1,209)
548	3	(1,127)
549	3	(1,74)
550	3	(1,119)
551	3	(1,64)
552	3	(1,95)
553	3	(1,76)
554	3	(1,75)
555	2	(1,212)
556	3	(1,87)
557	3	(1,73)
558	3	(1,83)
559	3	(1,83)
560	3	(1,97)
561	3	(1,74)
562	3	(1,83)
563	3	(1,83)
564	3	(1,97)
565	3	(1,88)
566	3	(1,89)
567	3	(1,101)
568	3	(1,89)
569	3	(1,75)
570	3	(1,109)
571	3	(1,75)
572	3	(1,85)
573	3	(1,92)
574	3	(1,125)
575	3	(1,87)
576	3	(1,101)
577	3	(1,85)
578	3	(1,101)
579	3	(1,76)
580	3	(1,127)
581	3	(1,103)
582	3	(1,79)
583	3	(1,79)
584	3	(1,93)
585	3	(1,92)
586	3	(1,87)
587	3	(1,76)
588	3	(1,101)
589	3	(1,86)
590	3	(1,87)
591	3	(1,80)
592	3	(1,93)
593	3	(1,68)
594	3	(1,103)
595	3	(1,104)
596	3	(1,89)
597	3	(1,88)
598	3	(1,81)
599	3	(1,89)
600	3	(1,103)
601	3	(1,81)
602	3	(1,79)
603	3	(1,79)
604	3	(1,167)
605	3	(1,92)
606	3	(1,95)
607	3	(1,89)
608	3	(1,97)
609	3	(1,80)
610	2	(1,233)
611	3	(1,92)
612	3	(1,91)
613	3	(1,106)
614	3	(1,81)
615	3	(1,98)
616	3	(1,131)
617	3	(1,81)
618	3	(1,97)
619	3	(1,94)
620	3	(1,111)
621	3	(1,94)
622	3	(1,129)
623	3	(1,92)
624	3	(1,109)
625	3	(1,93)
626	3	(1,93)
627	3	(1,100)
628	3	(1,117)
629	3	(1,95)
630	3	(1,113)
631	3	(1,98)
632	3	(1,111)
633	3	(1,134)
634	3	(1,117)
635	3	(1,111)
636	3	(1,95)
637	3	(1,100)
638	3	(1,97)
639	3	(1,100)
640	3	(1,111)
641	3	(1,98)
642	3	(1,97)
643	3	(1,97)
644	3	(1,97)
645	3	(1,98)
646	3	(1,115)
647	3	(1,113)
648	3	(1,113)
649	3	(1,123)
650	3	(1,101)
651	3	(1,116)
652	3	(1,139)
653	3	(1,97)
654	3	(1,113)
655	3	(1,103)
656	3	(1,115)
657	3	(1,89)
658	3	(1,97)
659	3	(1,98)
660	3	(1,151)
661	3	(1,100)
662	3	(1,85)
663	3	(1,76)
664	3	(1,99)
665	3	(1,122)
666	3	(1,145)
667	3	(1,104)
668	3	(1,101)
669	3	(1,116)
670	3	(1,101)
671	3	(1,105)
672	3	(1,145)
673	3	(1,100)
674	3	(1,105)
675	3	(1,118)
676	3	(1,121)
677	3	(1,87)
678	3	(1,89)
679	3	(1,141)
680	3	(1,121)
681	3	(1,79)
682	3	(1,79)
683	3	(1,107)
684	3	(1,103)
685	3	(1,104)
686	3	(1,123)
687	3	(1,89)
688	3	(1,119)
689	3	(1,80)
690	3	(1,121)
691	3	(1,105)
692	3	(1,121)
693	3	(1,151)
694	3	(1,105)
695	3	(1,81)
696	3	(1,151)
697	3	(1,92)
698	3	(1,145)
699	3	(1,104)
700	3	(1,109)
701	3	(1,106)
702	3	(1,107)
703	3	(1,93)
704	3	(1,105)
705	3	(1,127)
706	3	(1,105)
707	3	(1,130)
708	3	(1,107)
709	3	(1,111)
710	3	(1,131)
711	3	(1,106)
712	3	(1,111)
713	3	(1,112)
714	3	(1,127)
715	3	(1,108)
716	3	(1,133)
717	3	(1,109)
718	3	(1,109)
719	3	(1,106)
720	3	(1,167)
721	3	(1,128)
722	3	(1,137)
723	3	(1,106)
724	3	(1,115)
725	3	(1,129)
726	3	(1,169)
727	3	(1,108)
728	3	(1,127)
729	3	(1,130)
730	3	(1,107)
731	3	(1,111)
732	3	(1,167)
733	3	(1,109)
734	3	(1,111)
735	3	(1,127)
736	3	(1,111)
737	3	(1,112)
738	3	(1,131)
739	3	(1,110)
740	3	(1,169)
741	3	(1,116)
742	3	(1,155)
743	3	(1,98)
744	3	(1,161)
745	3	(1,116)
746	3	(1,111)
747	3	(1,110)
748	3	(1,141)
749	3	(1,131)
750	3	(1,131)
750	3	(1,131)
751	3	(1,117)
752	3	(1,159)
753	3	(1,112)
754	3	(1,135)
755	3	(1,97)
756	3	(1,131)
757	3	(1,132)
758	3	(1,119)
759	3	(1,133)
760	3	(1,119)
761	3	(1,115)
762	3	(1,133)
763	3	(1,116)
764	3	(1,119)
765	3	(1,134)
766	3	(1,167)
767	3	(1,89)
768	3	(1,173)
769     3	(1,133)
770	3	(1,117)
771	3	(1,115)
772	3	(1,121)
773	3	(1,114)
774	3	(1,143)
775	3	(1,133)
776	3	(1,117)
777	3	(1,139)
778	3	(1,143)
779	3	(1,140)
780	3	(1,209)
781	3	(1,144)
782	3	(1,135)
783	3	(1,119)
784	3	(1,167)
785	3	(1,103)
786	3	(1,149)
787	3	(1,103)
788	3	(1,147)
789	3	(1,119)
790	3	(1,171)
791	3	(1,137)
792	3	(1,173)
793	3	(1,137)
794	3	(1,173)
795	3	(1,139)
796	3	(1,169)
797	3	(1,120)
798	3	(1,143)
799	3	(1,105)
800	3	(1,149)
801	3	(1,118)
802	3	(1,149)
803	3	(1,122)
804	3	(1,139)
805	3	(1,118)
806	3	(1,153)
807	3	(1,176)
808	3	(1,171)
809	3	(1,107)
810	3	(1,149)
811     3	(1,170)
812	3	(1,173)
813	3	(1,139)
814	3	(1,123)
815	3	(1,107)
816	3	(1,193)
817	3	(1,128)
818	3	(1,145)
819	3	(1,146)
820	3	(1,147)
821	3	(1,141)
822	3	(1,179)
823	3	(1,129)
824	3	(1,129)
825	3	(1,178)
826	3	(1,145)
827	3	(1,123)
828	3	(1,175)
829	3	(1,147)
830	3	(1,147)
831	3	(1,157)
832	3	(1,155)
833	3	(1,174)
834	3	(1,173)
835	3	(1,146)
836	3	(1,131)
837	3	(1,149)
838	3	(1,175)
839     3	(1,124)
840	3	(1,181)
841	3	(1,127)
842	3	(1,109)
843	3	(1,155)
844	3	(1,127)
845	3	(1,152)
846	3	(1,193)
847	3	(1,128)
848	3	(1,177)
849	3	(1,128)
850	3	(1,149)
851	3	(1,157)
852	3	(1,181)
853	3	(1,129)
854	3	(1,129)
855	3	(1,112)
856	3	(1,179)
857	3	(1,111)
858	3	(1,197)
859	3	(1,130)
860	3	(1,149)
861	3	(1,179)
862	3	(1,127)
863	3	(1,130)
864	3	(1,187)
865	3	(1,154)
866	3	(1,155)
867	3	(1,131)
868	3	(1,187)
869	3	(1,155)
870	3	(1,199)
871	3	(1,133)
872	3	(1,189)
873	3	(1,151)
874	3	(1,151)
875	3	(1,186)
876	3	(1,157)
877	3	(1,153)
878	3	(1,131)
879	3	(1,116)
880	3	(1,133)
881	3	(1,154)
882	3	(1,157)
883	3	(1,183)
884	3	(1,155)
885	3	(1,188)
886	3	(1,153)
887	3	(1,117)
888	3	(1,233)
889	3	(1,132)
890	3	(1,189)
891	3	(1,158)
892	3	(1,159)
893	3	(1,159)
894	3	(1,187)
895	3	(1,159)
896	3	(1,157)
897	3	(1,134)
898	3	(1,161)
899	3	(1,162)
900	3	(1,161)
901	3	(1,134)
902	3	(1,119)
903	3	(1,206)
904	3	(1,189)
905	3	(1,161)
906	3	(1,163)
907	3	(1,137)
908	3	(1,157)
909	3	(1,134)
910	3	(1,159)
911	3	(1,168)
912	3	(1,193)
913	3	(1,191)
914	3	(1,193)
915	3	(1,158)
916	3	(1,163)
917	3	(1,160)
918	3	(1,209)
919	3	(1,144)
920	3	(1,247)
921	3	(1,136)
922	3	(1,175)
923	3	(1,172)
924	3	(1,193)
925	3	(1,191)
926	3	(1,165)
927	3	(1,140)
928	3	(1,201)
929     3	(1,165)
930	3	(1,137)
931	3	(1,172)
932	3	(1,161)
933	3	(1,167)
934	3	(1,163)
935	3	(1,166)
936	3	(1,205)
937     3	(1,123)
938	3	(1,167)
939	3	(1,142)
940	3	(1,199)
941     3	(1,143)
942	3	(1,167)
943     3	(1,139)
944	3	(1,165)
945	3	(1,176)
946	3	(1,195)
947     3	(1,166)
948	3	(1,169)
949     3	(1,201)
950	3	(1,123)
951     3	(1,202)
952	3	(1,201)
953     3	(1,144)
954	3	(1,209)
955     3	(1,142)
956     3	(1,167)
957     3	(1,206)
958     3       (1,201)
959     3	(1,178)
960	3	(1,217)
961     3	(1,171)
962     3	(1,145)
963     3	(1,142)
964     3	(1,169)
965     3	(1,146)
966     3	(1,209)
967     3	(1,166)
968     3	(1,211)
969     3	(1,172)
970     3	(1,143)
971     3	(1,148)
972     3	(1,173)
973     3	(1,170)
974     3	(1,173)
975     3	(1,128)
976     3	(1,171)
977     3	(1,128)
978     3	(1,169)
979     3	(1,207)
980     3	(1,229)
981     3	(1,146)
982     3	(1,129)
983     3	(1,129)
984     3	(1,169)
985     3	(1,173)
986     3	(1,183)
987     3	(1,206)
988     3	(1,213)
989     3	(1,171)
990     3	(1,223)
991     3	(1,176)
992     3	(1,207)
993     3	(1,131)
994     3	(1,205)
995     3	(1,148)
996     3	(1,211)
997     3	(1,152)
998     3	(1,131)
999     3	(1,178)
1000    3	(1,179)