// See LICENSE for license details.
#define R 500
#define C 500
#define NNZ 4998
const double val[4998] = {
644,
344,
346,
101,
553,
823,
33,
274,
179,
575,
529,
820,
652,
401,
887,
736,
660,
728,
65,
230,
664,
131,
819,
499,
450,
11,
958,
535,
468,
748,
539,
494,
469,
834,
733,
509,
86,
824,
771,
546,
662,
184,
541,
344,
329,
986,
910,
166,
784,
131,
120,
75,
346,
172,
710,
601,
777,
51,
282,
395,
375,
379,
551,
843,
278,
259,
304,
988,
975,
125,
719,
193,
18,
245,
754,
585,
228,
852,
840,
888,
711,
960,
674,
523,
339,
737,
796,
607,
394,
219,
370,
854,
353,
195,
624,
951,
755,
64,
825,
145,
296,
456,
585,
884,
242,
484,
902,
884,
224,
689,
321,
578,
835,
891,
347,
273,
285,
415,
586,
402,
890,
414,
723,
717,
383,
530,
993,
884,
887,
246,
219,
61,
845,
430,
636,
773,
371,
63,
596,
492,
976,
253,
92,
744,
465,
848,
967,
529,
646,
802,
363,
30,
789,
312,
191,
155,
220,
394,
527,
392,
207,
832,
930,
687,
874,
306,
805,
233,
97,
348,
616,
309,
99,
341,
862,
6,
524,
995,
786,
696,
81,
517,
428,
663,
895,
469,
619,
620,
941,
351,
285,
229,
808,
18,
986,
824,
764,
481,
519,
524,
815,
910,
878,
436,
810,
597,
418,
64,
354,
17,
72,
465,
387,
445,
89,
721,
75,
921,
948,
725,
236,
710,
456,
993,
451,
336,
223,
766,
86,
927,
70,
402,
435,
314,
666,
420,
755,
145,
676,
122,
573,
213,
309,
697,
383,
430,
805,
192,
567,
192,
212,
81,
431,
467,
323,
62,
55,
30,
973,
532,
773,
960,
120,
670,
207,
906,
560,
265,
897,
812,
434,
943,
818,
658,
773,
227,
409,
787,
676,
752,
717,
687,
841,
813,
545,
34,
851,
457,
838,
856,
392,
287,
99,
183,
86,
614,
616,
36,
852,
136,
632,
67,
349,
309,
117,
590,
884,
763,
69,
921,
323,
28,
714,
416,
661,
380,
783,
182,
580,
230,
678,
35,
68,
938,
886,
408,
327,
77,
514,
866,
66,
228,
981,
9,
932,
270,
617,
373,
822,
118,
231,
812,
982,
242,
937,
889,
502,
483,
956,
196,
857,
697,
481,
346,
326,
394,
569,
697,
900,
718,
88,
82,
278,
930,
643,
964,
808,
991,
124,
521,
159,
119,
684,
311,
232,
356,
648,
501,
502,
405,
148,
407,
439,
389,
355,
713,
936,
57,
377,
428,
68,
678,
432,
23,
636,
149,
78,
885,
648,
741,
168,
551,
627,
619,
287,
199,
533,
71,
297,
920,
667,
958,
963,
532,
1,
256,
378,
820,
287,
278,
785,
382,
321,
602,
756,
878,
752,
986,
267,
19,
550,
634,
594,
404,
791,
125,
189,
399,
154,
736,
937,
734,
831,
163,
254,
391,
683,
525,
928,
455,
127,
91,
373,
722,
663,
532,
745,
601,
238,
812,
972,
256,
422,
195,
437,
339,
149,
881,
777,
68,
611,
633,
196,
500,
464,
119,
375,
540,
659,
463,
922,
646,
132,
620,
369,
117,
611,
817,
906,
725,
746,
807,
855,
561,
549,
4,
503,
944,
258,
460,
511,
378,
331,
247,
941,
180,
345,
671,
909,
766,
250,
268,
948,
766,
923,
309,
426,
523,
144,
421,
765,
767,
224,
496,
680,
337,
494,
345,
402,
727,
114,
377,
27,
285,
703,
606,
921,
212,
613,
910,
865,
258,
502,
382,
906,
353,
550,
219,
251,
751,
731,
820,
644,
522,
380,
442,
257,
565,
14,
941,
123,
172,
722,
997,
121,
528,
826,
546,
797,
143,
698,
232,
529,
747,
355,
594,
663,
869,
970,
506,
472,
406,
544,
730,
460,
738,
475,
242,
768,
937,
489,
46,
470,
563,
276,
867,
470,
376,
113,
350,
738,
953,
131,
714,
896,
454,
28,
84,
440,
37,
508,
964,
541,
900,
914,
530,
289,
251,
559,
27,
240,
945,
530,
503,
791,
737,
958,
400,
765,
656,
887,
832,
423,
950,
19,
855,
522,
415,
662,
672,
929,
581,
190,
703,
983,
540,
278,
226,
182,
441,
693,
617,
110,
728,
886,
499,
705,
953,
914,
222,
939,
365,
129,
507,
647,
291,
464,
588,
380,
73,
701,
186,
550,
513,
374,
583,
329,
235,
431,
989,
41,
337,
369,
481,
996,
283,
632,
200,
697,
638,
93,
284,
858,
323,
627,
82,
685,
538,
389,
356,
881,
90,
940,
974,
907,
854,
998,
135,
103,
85,
961,
406,
916,
205,
208,
46,
912,
909,
476,
992,
131,
846,
620,
571,
408,
462,
863,
99,
462,
33,
614,
107,
909,
59,
487,
888,
563,
30,
132,
195,
382,
349,
233,
90,
556,
443,
452,
821,
686,
891,
424,
264,
595,
693,
314,
938,
392,
105,
668,
896,
278,
59,
935,
598,
796,
323,
755,
707,
19,
415,
34,
72,
217,
912,
27,
510,
716,
598,
147,
809,
0,
897,
13,
684,
132,
269,
458,
594,
471,
768,
948,
70,
288,
468,
796,
128,
939,
516,
883,
685,
175,
300,
974,
777,
172,
865,
602,
476,
82,
170,
519,
438,
820,
426,
274,
120,
412,
203,
770,
953,
864,
881,
891,
793,
602,
48,
433,
774,
133,
914,
548,
696,
419,
841,
154,
331,
75,
774,
307,
689,
360,
235,
822,
545,
77,
571,
192,
712,
877,
732,
92,
842,
607,
150,
494,
565,
70,
107,
794,
459,
310,
115,
34,
938,
722,
498,
748,
297,
995,
592,
369,
625,
803,
270,
250,
941,
984,
472,
662,
824,
667,
195,
518,
122,
648,
796,
961,
590,
585,
98,
931,
819,
755,
25,
560,
693,
361,
964,
391,
279,
23,
198,
473,
792,
87,
149,
969,
671,
367,
140,
421,
260,
652,
44,
419,
564,
72,
710,
671,
880,
350,
399,
984,
851,
790,
80,
763,
350,
420,
657,
374,
354,
523,
994,
927,
738,
263,
462,
693,
442,
280,
924,
700,
7,
971,
147,
254,
597,
698,
905,
541,
279,
83,
552,
469,
518,
582,
662,
78,
433,
903,
471,
767,
166,
356,
593,
502,
354,
481,
124,
660,
170,
871,
804,
37,
487,
355,
732,
109,
848,
106,
593,
430,
622,
946,
296,
270,
385,
180,
309,
981,
122,
54,
193,
469,
141,
453,
223,
34,
246,
479,
587,
577,
684,
694,
751,
508,
790,
369,
924,
371,
961,
852,
961,
999,
819,
64,
707,
879,
743,
94,
969,
838,
365,
100,
603,
788,
597,
426,
207,
936,
968,
390,
831,
423,
428,
771,
498,
838,
18,
944,
789,
124,
917,
645,
878,
963,
896,
825,
141,
989,
341,
567,
400,
194,
902,
94,
177,
527,
498,
175,
470,
651,
870,
482,
892,
884,
564,
601,
905,
151,
605,
910,
573,
164,
863,
64,
292,
799,
547,
648,
979,
738,
85,
155,
596,
744,
993,
232,
55,
20,
751,
473,
463,
768,
802,
334,
343,
923,
194,
812,
439,
482,
100,
629,
271,
430,
451,
946,
206,
254,
174,
307,
119,
611,
462,
126,
433,
377,
57,
974,
42,
78,
808,
659,
471,
275,
305,
423,
954,
47,
914,
361,
905,
947,
579,
874,
671,
120,
206,
717,
57,
381,
438,
708,
983,
284,
217,
453,
396,
852,
20,
827,
260,
705,
321,
553,
690,
695,
327,
193,
851,
958,
247,
587,
634,
895,
566,
977,
513,
397,
764,
879,
609,
359,
359,
824,
262,
826,
653,
739,
233,
11,
508,
861,
619,
97,
880,
888,
627,
481,
48,
424,
197,
347,
309,
950,
928,
122,
889,
102,
169,
657,
15,
139,
9,
25,
101,
787,
472,
847,
403,
333,
684,
506,
519,
950,
522,
330,
558,
842,
632,
60,
424,
792,
892,
970,
937,
735,
957,
143,
224,
332,
204,
576,
182,
974,
902,
486,
540,
536,
665,
712,
9,
613,
672,
430,
175,
571,
317,
280,
609,
917,
90,
901,
427,
964,
636,
927,
974,
376,
213,
699,
263,
457,
45,
118,
858,
450,
811,
555,
104,
525,
237,
290,
330,
225,
162,
498,
305,
567,
64,
359,
444,
445,
112,
583,
933,
817,
2,
510,
912,
760,
125,
313,
233,
455,
479,
271,
513,
645,
286,
452,
877,
972,
489,
55,
43,
188,
998,
739,
929,
520,
504,
875,
388,
196,
764,
238,
730,
907,
872,
667,
468,
896,
273,
30,
860,
978,
24,
799,
367,
435,
737,
788,
846,
697,
335,
261,
799,
603,
887,
437,
931,
200,
991,
872,
796,
872,
259,
888,
581,
174,
60,
626,
846,
53,
309,
261,
26,
648,
468,
962,
198,
358,
320,
823,
769,
522,
237,
990,
651,
121,
778,
635,
571,
700,
339,
946,
649,
741,
48,
311,
468,
958,
65,
79,
64,
492,
884,
403,
360,
523,
821,
717,
597,
324,
400,
594,
64,
521,
54,
520,
434,
474,
434,
729,
477,
167,
511,
174,
325,
621,
696,
999,
769,
430,
419,
102,
89,
833,
283,
619,
859,
96,
912,
530,
245,
976,
701,
961,
977,
796,
230,
437,
640,
770,
644,
141,
308,
863,
335,
974,
743,
334,
127,
349,
385,
915,
286,
3,
906,
326,
117,
802,
501,
683,
274,
158,
132,
199,
691,
991,
174,
573,
610,
307,
434,
30,
332,
664,
774,
118,
719,
663,
969,
179,
296,
396,
209,
993,
479,
722,
113,
985,
855,
123,
555,
352,
190,
613,
614,
155,
709,
745,
668,
48,
820,
685,
43,
656,
62,
256,
854,
969,
476,
533,
255,
472,
592,
865,
547,
12,
840,
919,
913,
685,
45,
339,
745,
658,
112,
628,
750,
890,
680,
618,
655,
155,
346,
142,
815,
447,
165,
33,
727,
988,
408,
565,
661,
538,
899,
687,
940,
87,
287,
390,
399,
942,
499,
334,
939,
143,
756,
661,
976,
168,
159,
919,
899,
8,
574,
884,
707,
124,
598,
222,
726,
899,
897,
481,
520,
92,
796,
371,
464,
287,
679,
636,
766,
961,
116,
895,
404,
353,
918,
813,
513,
447,
968,
3,
164,
396,
310,
426,
803,
469,
660,
332,
7,
873,
562,
270,
252,
210,
480,
489,
554,
992,
940,
459,
347,
1,
949,
546,
642,
797,
746,
761,
220,
821,
268,
107,
302,
483,
429,
515,
138,
973,
220,
694,
231,
75,
367,
161,
595,
40,
3,
772,
656,
46,
898,
664,
689,
74,
273,
612,
376,
662,
717,
467,
909,
85,
474,
922,
796,
257,
816,
413,
20,
736,
730,
857,
848,
293,
44,
652,
803,
915,
48,
569,
869,
661,
949,
79,
692,
552,
717,
337,
473,
874,
490,
864,
33,
51,
892,
333,
36,
305,
697,
411,
317,
243,
689,
128,
287,
947,
13,
709,
768,
630,
916,
963,
68,
464,
329,
381,
849,
568,
397,
124,
434,
859,
820,
845,
715,
716,
311,
431,
24,
929,
597,
529,
818,
81,
790,
784,
559,
353,
678,
118,
869,
941,
99,
606,
435,
76,
987,
652,
539,
749,
460,
946,
344,
6,
577,
444,
696,
75,
214,
157,
598,
467,
633,
283,
911,
78,
325,
725,
766,
546,
868,
85,
294,
581,
712,
752,
44,
165,
510,
985,
727,
323,
471,
870,
149,
238,
533,
411,
307,
260,
398,
106,
136,
131,
608,
629,
407,
846,
161,
386,
911,
531,
946,
508,
432,
489,
872,
810,
684,
343,
966,
409,
360,
503,
370,
701,
462,
113,
18,
245,
25,
804,
403,
723,
891,
647,
326,
387,
22,
334,
336,
803,
317,
32,
364,
553,
382,
749,
278,
819,
568,
413,
855,
430,
283,
772,
32,
442,
759,
145,
173,
101,
460,
278,
456,
900,
643,
41,
183,
489,
833,
545,
619,
341,
414,
557,
998,
678,
301,
206,
336,
852,
266,
516,
845,
334,
90,
270,
718,
170,
436,
363,
779,
761,
43,
118,
531,
368,
676,
7,
791,
115,
923,
507,
649,
164,
116,
429,
516,
185,
160,
246,
888,
572,
767,
104,
692,
907,
500,
673,
160,
432,
449,
683,
959,
147,
79,
232,
853,
852,
898,
946,
475,
133,
640,
57,
324,
19,
172,
781,
178,
461,
875,
875,
730,
660,
418,
925,
113,
867,
362,
930,
17,
113,
346,
213,
301,
169,
807,
513,
349,
547,
409,
353,
389,
187,
877,
629,
472,
230,
515,
809,
781,
981,
723,
992,
203,
987,
977,
135,
375,
656,
138,
972,
270,
656,
106,
620,
201,
630,
820,
707,
365,
825,
677,
815,
35,
201,
493,
518,
843,
75,
107,
581,
215,
831,
364,
554,
855,
123,
23,
825,
306,
408,
776,
99,
443,
866,
615,
597,
327,
574,
844,
493,
89,
563,
458,
55,
632,
771,
397,
373,
599,
347,
25,
333,
878,
326,
744,
68,
74,
824,
776,
920,
22,
166,
639,
692,
59,
123,
531,
276,
660,
772,
994,
200,
551,
693,
323,
14,
128,
157,
896,
936,
552,
148,
569,
796,
509,
342,
77,
194,
903,
815,
207,
488,
607,
733,
547,
481,
171,
709,
908,
741,
594,
518,
507,
42,
65,
322,
230,
736,
183,
443,
2,
362,
140,
746,
86,
367,
64,
746,
935,
976,
475,
404,
217,
237,
217,
915,
457,
913,
879,
671,
852,
196,
919,
855,
722,
398,
747,
543,
101,
816,
786,
129,
232,
959,
244,
936,
630,
362,
260,
112,
825,
363,
921,
178,
275,
498,
600,
843,
716,
949,
274,
371,
232,
524,
726,
355,
588,
248,
939,
639,
453,
660,
843,
244,
838,
747,
7,
963,
228,
409,
75,
251,
127,
878,
366,
293,
231,
973,
281,
753,
496,
843,
913,
934,
724,
618,
267,
798,
364,
613,
451,
447,
218,
886,
648,
886,
830,
259,
239,
879,
99,
279,
819,
439,
974,
877,
118,
306,
730,
200,
47,
736,
914,
829,
232,
739,
660,
170,
210,
284,
494,
544,
855,
411,
833,
547,
372,
348,
662,
810,
417,
278,
305,
562,
335,
688,
969,
437,
221,
613,
848,
384,
326,
350,
213,
730,
970,
446,
868,
920,
543,
953,
383,
421,
653,
85,
3,
551,
843,
963,
122,
533,
577,
535,
168,
12,
995,
666,
724,
457,
150,
417,
733,
464,
754,
86,
398,
755,
4,
76,
552,
87,
767,
193,
690,
504,
534,
748,
207,
245,
593,
61,
997,
358,
602,
420,
541,
98,
723,
185,
476,
469,
349,
843,
773,
374,
223,
868,
576,
998,
482,
321,
979,
316,
845,
400,
420,
30,
289,
42,
752,
986,
595,
999,
715,
763,
305,
209,
492,
335,
747,
505,
52,
829,
840,
814,
356,
836,
882,
300,
992,
830,
367,
856,
451,
971,
388,
874,
48,
970,
576,
731,
330,
258,
99,
606,
881,
687,
193,
67,
890,
705,
847,
222,
553,
910,
201,
303,
973,
927,
669,
234,
641,
983,
232,
590,
315,
72,
546,
971,
922,
40,
400,
604,
81,
145,
391,
508,
250,
935,
144,
206,
241,
858,
36,
844,
750,
563,
869,
417,
102,
659,
990,
906,
999,
950,
512,
558,
486,
639,
290,
391,
111,
965,
325,
17,
848,
3,
529,
591,
898,
566,
352,
381,
301,
167,
749,
543,
720,
752,
975,
785,
185,
267,
32,
576,
95,
6,
772,
109,
609,
83,
889,
370,
986,
988,
514,
237,
596,
763,
7,
625,
238,
472,
245,
812,
532,
452,
862,
596,
490,
345,
796,
610,
44,
340,
815,
848,
860,
795,
504,
382,
497,
897,
833,
64,
328,
345,
812,
4,
314,
807,
397,
32,
762,
129,
620,
88,
561,
900,
995,
757,
808,
131,
336,
617,
977,
2,
943,
382,
250,
114,
920,
374,
192,
205,
64,
374,
628,
632,
166,
204,
780,
281,
205,
55,
393,
942,
33,
845,
959,
484,
992,
863,
799,
937,
222,
945,
165,
121,
140,
694,
350,
677,
703,
409,
851,
795,
889,
70,
730,
838,
982,
30,
231,
637,
892,
585,
511,
521,
639,
134,
324,
696,
801,
422,
218,
32,
499,
359,
132,
573,
971,
756,
412,
498,
514,
138,
134,
14,
440,
421,
391,
214,
517,
160,
127,
265,
575,
996,
640,
153,
900,
104,
962,
540,
363,
431,
301,
978,
859,
167,
378,
401,
159,
109,
63,
5,
804,
541,
341,
723,
937,
599,
46,
220,
514,
62,
0,
983,
889,
803,
865,
727,
473,
886,
887,
140,
64,
532,
677,
309,
585,
748,
131,
515,
35,
699,
451,
952,
978,
863,
779,
422,
8,
345,
388,
789,
455,
11,
150,
396,
709,
561,
982,
737,
405,
37,
117,
67,
38,
50,
406,
468,
642,
442,
339,
685,
405,
475,
964,
953,
680,
252,
694,
251,
17,
173,
260,
236,
929,
956,
85,
996,
570,
836,
657,
34,
498,
72,
641,
823,
248,
662,
82,
516,
714,
862,
358,
27,
904,
297,
591,
163,
201,
871,
129,
390,
489,
432,
195,
141,
571,
324,
809,
531,
929,
639,
977,
182,
501,
724,
983,
978,
138,
698,
128,
47,
388,
100,
879,
491,
297,
658,
280,
811,
594,
884,
535,
290,
186,
791,
788,
892,
531,
384,
77,
364,
903,
814,
415,
986,
201,
348,
371,
288,
296,
684,
785,
339,
941,
951,
924,
175,
82,
776,
866,
643,
383,
448,
485,
828,
714,
36,
955,
942,
794,
660,
631,
861,
329,
21,
777,
73,
963,
421,
625,
119,
271,
446,
307,
596,
433,
147,
759,
12,
705,
96,
1,
177,
980,
631,
664,
48,
52,
661,
972,
206,
335,
971,
801,
464,
505,
127,
803,
431,
247,
819,
941,
73,
345,
37,
849,
420,
179,
70,
830,
518,
241,
159,
73,
201,
276,
636,
370,
898,
741,
756,
509,
712,
652,
809,
856,
689,
517,
146,
439,
408,
88,
665,
338,
643,
580,
246,
200,
801,
704,
833,
979,
609,
445,
631,
351,
669,
659,
364,
600,
486,
759,
175,
679,
320,
190,
227,
144,
462,
528,
577,
436,
185,
451,
779,
6,
121,
51,
380,
219,
910,
604,
27,
19,
544,
524,
550,
711,
99,
967,
514,
638,
215,
463,
873,
264,
227,
912,
5,
550,
825,
302,
704,
131,
725,
596,
934,
827,
119,
58,
810,
519,
824,
650,
229,
538,
937,
495,
886,
884,
54,
562,
379,
984,
386,
994,
869,
667,
132,
287,
34,
340,
999,
108,
835,
202,
72,
670,
654,
879,
56,
237,
918,
95,
353,
807,
662,
828,
126,
451,
269,
402,
243,
648,
698,
626,
787,
611,
817,
909,
712,
783,
334,
215,
236,
548,
606,
677,
775,
206,
342,
220,
610,
177,
739,
256,
391,
374,
79,
333,
620,
301,
917,
950,
188,
415,
812,
703,
989,
446,
112,
9,
233,
587,
990,
266,
356,
20,
821,
255,
596,
304,
378,
63,
367,
400,
236,
388,
830,
916,
799,
49,
70,
159,
900,
411,
271,
409,
917,
685,
46,
479,
205,
404,
885,
672,
14,
675,
211,
38,
60,
772,
822,
311,
767,
124,
963,
208,
167,
546,
936,
93,
856,
796,
202,
119,
308,
381,
456,
634,
799,
711,
184,
634,
702,
641,
7,
378,
369,
965,
124,
656,
232,
745,
918,
952,
345,
55,
556,
420,
863,
811,
659,
389,
758,
905,
810,
720,
419,
137,
513,
992,
977,
856,
552,
396,
710,
516,
516,
212,
388,
515,
484,
805,
19,
169,
666,
431,
723,
708,
124,
736,
664,
613,
274,
447,
670,
558,
939,
206,
460,
490,
48,
845,
421,
621,
666,
599,
681,
602,
399,
411,
698,
411,
87,
858,
146,
992,
701,
503,
370,
239,
744,
648,
861,
156,
74,
896,
484,
701,
424,
614,
602,
213,
312,
61,
815,
635,
553,
689,
506,
694,
644,
251,
80,
247,
336,
521,
777,
307,
947,
413,
961,
636,
244,
264,
812,
515,
157,
779,
971,
267,
743,
922,
155,
869,
877,
942,
388,
172,
955,
501,
47,
708,
591,
287,
537,
148,
717,
712,
732,
805,
744,
557,
165,
622,
108,
93,
280,
318,
393,
237,
583,
917,
802,
464,
330,
526,
748,
26,
640,
357,
866,
919,
563,
313,
365,
996,
706,
815,
840,
705,
896,
435,
993,
954,
161,
619,
764,
385,
173,
498,
482,
330,
925,
429,
630,
803,
915,
509,
920,
85,
110,
826,
139,
891,
394,
81,
137,
878,
182,
946,
286,
210,
623,
64,
289,
41,
426,
205,
951,
682,
511,
698,
466,
166,
225,
976,
895,
39,
577,
974,
141,
236,
99,
903,
17,
429,
728,
543,
119,
480,
610,
586,
722,
126,
974,
657,
357,
86,
420,
586,
698,
675,
506,
682,
71,
932,
182,
394,
193,
896,
554,
947,
64,
291,
962,
816,
602,
730,
561,
175,
275,
719,
913,
955,
242,
521,
554,
921,
599,
164,
778,
780,
209,
272,
618,
343,
132,
65,
705,
927,
295,
570,
489,
179,
651,
638,
63,
904,
432,
701,
729,
709,
466,
231,
344,
440,
200,
352,
101,
524,
189,
464,
408,
648,
655,
981,
795,
244,
189,
80,
837,
674,
982,
545,
898,
687,
573,
952,
64,
277,
944,
129,
388,
894,
831,
19,
395,
135,
329,
581,
101,
911,
794,
445,
443,
642,
106,
735,
281,
582,
783,
246,
815,
273,
74,
818,
545,
661,
903,
438,
806,
513,
862,
964,
846,
582,
734,
968,
341,
531,
369,
214,
804,
317,
547,
681,
390,
150,
836,
144,
240,
216,
77,
511,
370,
815,
751,
904,
922,
872,
463,
195,
784,
706,
701,
9,
787,
800,
652,
577,
818,
647,
900,
78,
256,
218,
371,
901,
606,
160,
482,
846,
428,
287,
243,
214,
347,
943,
128,
623,
809,
381,
463,
229,
367,
898,
507,
253,
384,
968,
972,
340,
807,
193,
397,
945,
267,
163,
886,
728,
503,
516,
928,
516,
626,
142,
470,
632,
437,
470,
659,
651,
290,
55,
790,
582,
746,
974,
218,
906,
79,
338,
794,
859,
648,
691,
913,
627,
43,
668,
96,
252,
668,
901,
329,
142,
172,
33,
968,
377,
525,
241,
546,
88,
625,
435,
237,
242,
907,
835,
47,
78,
869,
523,
882,
794,
224,
586,
500,
704,
162,
735,
358,
542,
946,
657,
986,
96,
375,
109,
663,
740,
278,
514,
338,
626,
914,
468,
498,
694,
46,
315,
949,
100,
590,
527,
673,
550,
236,
426,
610,
876,
454,
570,
706,
225,
20,
434,
536,
983,
559,
893,
343,
894,
981,
526,
478,
606,
634,
422,
176,
238,
840,
915,
754,
248,
294,
825,
786,
899,
175,
79,
71,
244,
338,
545,
371,
882,
143,
814,
396,
229,
689,
229,
914,
627,
686,
937,
332,
966,
779,
430,
883,
605,
140,
102,
624,
710,
114,
117,
833,
349,
334,
453,
150,
859,
649,
135,
330,
645,
830,
983,
597,
992,
631,
658,
350,
806,
476,
567,
278,
976,
642,
967,
792,
585,
775,
778,
348,
538,
788,
592,
843,
983,
500,
416,
604,
21,
881,
224,
5,
350,
54,
26,
37,
323,
942,
848,
918,
804,
587,
724,
577,
671,
619,
798,
322,
643,
589,
370,
850,
184,
274,
45,
218,
398,
998,
332,
701,
974,
365,
433,
415,
560,
698,
699,
242,
537,
107,
921,
807,
409,
640,
523,
249,
903,
874,
262,
45,
378,
65,
441,
877,
221,
550,
752,
429,
277,
823,
573,
173,
570,
873,
237,
804,
552,
159,
798,
606,
961,
184,
788,
796,
752,
839,
986,
73,
564,
572,
83,
205,
440,
416,
821,
859,
627,
621,
422,
765,
601,
756,
350,
607,
757,
992,
393,
865,
393,
208,
495,
613,
348,
858,
362,
801,
318,
171,
180,
959,
179,
667,
410,
383,
290,
325,
648,
102,
912,
828,
434,
240,
438,
120,
45,
768,
204,
32,
40,
425,
240,
354,
562,
717,
799,
358,
89,
690,
967,
985,
308,
485,
335,
324,
486,
494,
3,
28,
704,
347,
223,
421,
513,
904,
831,
152,
628,
300,
98,
108,
646,
496,
417,
168,
83,
776,
815,
774,
413,
748,
150,
452,
215,
112,
115,
780,
148,
102,
568,
51,
783,
606,
981,
30,
94,
548,
513,
16,
992,
599,
210,
296,
560,
434,
599,
999,
942,
459,
559,
88,
192,
929,
976,
576,
58,
691,
317,
941,
247,
772,
461,
403,
114,
578,
868,
217,
550,
925,
472,
795,
838,
293,
770,
376,
233,
404,
319,
171,
742,
314,
491,
407,
369,
8,
873,
923,
743,
36,
904,
381,
363,
563,
5,
371,
285,
244,
513,
340,
148,
17,
584,
581,
944,
369,
22,
584,
294,
601,
853,
343,
209,
97,
391,
614,
329,
154,
564,
350,
963,
861,
361,
302,
389,
383,
605,
884,
340,
217,
177,
554,
884,
3,
396,
203,
355,
320,
296,
308,
274,
541,
796,
823,
129,
363,
567,
67,
118,
469,
366,
416,
218,
787,
466,
126,
640,
724,
817,
245,
795,
786,
311,
894,
867,
839,
904,
809,
763,
934,
237,
904,
554,
109,
841,
96,
19,
318,
695,
456,
644,
244,
18,
779,
432,
122,
488,
231,
601,
663,
996,
135,
933,
142,
351,
902,
924,
738,
442,
498,
44,
399,
130,
584,
664,
555,
648,
134,
219,
444,
788,
483,
541,
931,
485,
571,
97,
406,
688,
319,
251,
187,
83,
873,
800,
295,
917,
573,
243,
487,
132,
290,
233,
814,
322,
592,
683,
22,
748,
36,
286,
114,
960,
231,
816,
327,
827,
125,
64,
626,
237,
224,
210,
140,
850,
413,
343,
811,
597,
22,
517,
954,
107,
423,
528,
201,
457,
396,
108,
303,
602,
807,
998,
907,
161,
592,
710,
626,
504,
476,
219,
195,
803,
168,
579,
847,
156,
479,
493,
780,
788,
647,
598,
560,
882,
402,
851,
730,
155,
56,
593,
436,
446,
50,
255,
388,
162,
377,
189,
587,
695,
357,
852,
821,
198,
754,
185,
646,
854,
804,
47,
950,
524,
11,
8,
523,
902,
449,
912,
638,
204,
185,
694,
48,
179,
506,
815,
650,
47,
552,
57,
19,
405,
668,
753,
156,
98,
474,
937,
168,
516,
248,
242,
159,
259,
454,
673,
9,
779,
160,
177,
880,
144,
617,
398,
951,
102,
210,
41,
423,
725,
208,
981,
984,
525,
844,
108,
507,
420,
707,
582,
102,
585,
270,
16,
41,
740,
724,
853,
878,
924,
35,
172,
302,
308,
861,
453,
909,
339,
31,
961,
735,
286,
717,
157,
853,
741,
649,
234,
735,
415,
3,
461,
718,
818,
930,
734,
385,
779,
921,
831,
980,
950,
692,
563,
954,
363,
889,
120,
407,
53,
700,
930,
8,
40,
867,
286,
294,
798,
328,
191,
341,
182,
389,
73,
338,
203,
1,
480,
187,
420,
169,
387,
417,
332,
546,
403,
281,
608,
778,
298,
888,
873,
54,
898,
228,
222,
934,
371,
775,
455,
605,
95,
846,
143,
301,
750,
801,
815,
255,
570,
995,
755,
304,
502,
744,
436,
863,
272,
694,
777,
154,
855,
885,
883,
416,
91,
680,
660,
386,
0,
413,
842,
507,
262,
841,
277,
615,
273,
116,
987,
399,
48,
772,
29,
290,
731,
142,
744,
991,
630,
479,
530,
606,
628,
728,
582,
711,
546,
640,
654,
171,
394,
211,
916,
503,
640,
384,
85,
702,
997,
577,
226,
6,
173,
643,
909,
595,
559,
718,
268,
215,
89,
326,
861,
859,
253,
855,
119,
959,
707,
32,
344,
229,
820,
406,
328,
236,
185,
185,
849,
944,
686,
419,
857,
143,
711,
156,
766,
591,
29,
236,
590,
826,
284,
200,
911,
299,
332,
581,
785,
331,
162,
347,
574,
108,
187,
568,
563,
983,
525,
662,
679,
560,
745,
870,
244,
367,
264,
427,
998,
82,
761,
276,
703,
125,
853,
241,
461,
460,
607,
767,
785,
815,
563,
878,
669,
932,
522,
391,
961,
115,
455,
795,
905,
306,
914,
999,
791,
401,
894,
804,
760,
96,
768,
874,
630,
100,
894,
941,
458,
792,
162,
880,
971,
440,
34,
509,
112,
585,
294,
470,
413,
229,
429,
622,
445,
82,
195,
409,
173,
418,
299,
762,
57,
637,
485,
187,
477,
218,
301,
7,
66,
101,
112,
20,
35,
882,
595,
580,
898,
303,
490,
122,
668,
984,
281,
89,
982,
700,
770,
144,
163,
485,
172,
266,
987,
37,
309,
282,
137,
196,
980,
204,
393,
325,
613,
991,
244,
208,
834,
902,
329,
667,
890,
902,
938,
441,
248,
985,
872,
380,
435,
865,
460,
303,
765,
768,
828,
44,
995,
364,
214,
397,
480,
880,
555,
982,
422,
262,
467,
655,
2,
145,
177,
703,
931,
990,
298,
331,
927,
114,
184,
647,
969,
398,
582,
419,
795,
320,
103,
807,
267,
124,
991,
97,
566,
119,
493,
491,
886,
803,
387,
906,
601,
775,
700,
560,
984,
206,
393,
475,
648,
584,
792,
543,
624,
213,
106,
606,
391,
621,
527,
112,
50,
118,
745,
734,
600,
285,
401,
567,
490,
709,
529,
93,
681,
373,
576,
66,
413,
427,
987,
261,
80,
710,
910,
65,
413,
210,
871,
420,
688,
181,
371,
708,
628,
270,
279,
253,
11,
429,
805,
968,
181,
205,
841,
246,
103,
798,
431,
562,
695,
168,
763,
788,
779,
793,
149,
801,
403,
247,
983,
696,
321,
818,
572,
584,
355,
272,
158,
325,
786,
852,
484,
425,
899,
505,
423,
934,
456,
376,
999,
546,
722,
441,
734,
372,
964,
565,
833,
899,
55,
66,
319,
102,
750,
168,
319,
734,
245,
481,
218,
127,
939,
878,
210,
693,
129,
364,
590,
780,
814,
45,
411,
504,
520,
74,
376,
714,
249,
342,
790,
428,
140,
814,
658,
571,
850,
997,
49,
723,
694,
116,
535,
58,
353,
671,
523,
498,
522,
866,
378,
970,
334,
714,
519,
878,
456,
544,
948,
314,
237,
368,
448,
470,
366,
672,
485,
83,
675,
395,
12,
548,
785,
534,
40,
71,
895,
378,
724,
531,
675,
104,
609,
820,
980,
931,
359,
113,
435,
974,
671,
423,
131,
454,
60,
78,
274,
858,
188,
681,
427,
440,
622,
995,
90,
873,
170,
237,
27,
908,
959,
292,
735,
673,
277,
647,
972,
275,
344,
790,
767,
704,
845,
78,
865,
869,
172,
681,
315,
258,
626,
898,
776,
254,
362,
734,
750,
835,
920,
518,
503,
33,
418,
505,
570,
177,
691,
142,
129,
199,
244,
991,
152,
971,
529,
426,
585,
297,
526,
217,
742,
428,
876,
297,
508,
9,
884,
175,
584,
535,
247,
526,
745,
181,
320,
558,
601,
84,
806,
62,
345,
940,
89,
194,
840,
506,
112,
431,
552,
678,
421,
83,
366,
698,
30,
891,
284,
983,
337,
252,
244,
786,
451,
266,
243,
612,
13,
759,
247,
815,
955,
603,
727,
691,
722,
202,
878,
249,
30,
763,
563,
303,
637,
284,
439,
890,
835,
211,
732,
418,
27,
615,
807,
215,
663,
510,
114,
353,
573,
248,
153,
605,
310,
144,
94,
691,
219,
714,
691,
276,
838,
687,
260,
90,
826,
966,
630,
415,
265,
310,
696,
279,
392,
862,
532,
698,
448,
205,
434,
153,
212,
149,
970,
66,
850,
553,
739,
319,
616,
16,
101,
600,
845,
226,
848,
921,
625,
239,
414,
822,
217,
527,
12,
458,
835,
420,
584,
335,
98,
347,
975,
432,
966,
138,
454,
523,
660,
171,
75,
50,
734,
110,
584,
368,
406
};
const int idx[4998] = {
34,
56,
132,
163,
256,
260,
418,
431,
466,
494,
497,
49,
64,
103,
165,
225,
330,
339,
469,
478,
494,
497,
9,
28,
82,
111,
155,
282,
365,
451,
453,
461,
49,
74,
81,
241,
349,
355,
448,
473,
51,
59,
122,
258,
283,
381,
18,
50,
193,
227,
257,
356,
467,
1,
32,
43,
61,
81,
210,
245,
298,
362,
373,
442,
18,
133,
163,
211,
230,
279,
326,
387,
408,
472,
60,
94,
143,
246,
262,
297,
309,
324,
327,
351,
361,
371,
380,
455,
463,
25,
80,
126,
128,
173,
217,
220,
233,
242,
293,
348,
413,
447,
125,
163,
179,
217,
342,
346,
352,
389,
434,
493,
18,
26,
182,
220,
226,
263,
332,
340,
403,
1,
24,
27,
71,
127,
140,
263,
374,
380,
424,
426,
231,
237,
243,
319,
353,
431,
437,
441,
35,
91,
233,
271,
272,
292,
381,
83,
117,
121,
149,
152,
159,
412,
484,
489,
63,
164,
170,
311,
32,
68,
82,
91,
115,
120,
201,
236,
252,
275,
390,
437,
20,
46,
72,
77,
80,
108,
118,
150,
249,
282,
384,
458,
486,
28,
70,
77,
78,
100,
261,
311,
318,
394,
465,
469,
489,
21,
159,
250,
386,
478,
57,
70,
180,
217,
276,
285,
291,
303,
312,
318,
370,
371,
426,
477,
86,
122,
128,
292,
309,
314,
335,
421,
422,
427,
452,
480,
488,
45,
97,
98,
106,
302,
364,
437,
7,
96,
100,
130,
174,
307,
89,
317,
354,
390,
406,
498,
61,
64,
130,
268,
312,
349,
480,
9,
47,
104,
169,
170,
315,
399,
437,
444,
469,
117,
183,
192,
225,
265,
371,
43,
81,
123,
224,
257,
285,
321,
329,
338,
436,
446,
475,
11,
23,
141,
163,
268,
398,
408,
416,
430,
8,
84,
318,
389,
443,
488,
8,
53,
149,
172,
226,
308,
362,
466,
9,
12,
32,
114,
134,
226,
240,
393,
138,
153,
202,
216,
227,
322,
358,
369,
396,
427,
455,
490,
22,
85,
118,
181,
237,
321,
338,
348,
480,
0,
5,
9,
12,
119,
163,
226,
231,
246,
259,
383,
419,
451,
144,
146,
174,
225,
309,
366,
368,
395,
456,
117,
157,
169,
178,
221,
229,
244,
255,
285,
296,
328,
358,
375,
429,
454,
468,
473,
13,
18,
84,
202,
211,
370,
425,
441,
456,
45,
174,
177,
219,
234,
304,
309,
319,
418,
39,
69,
161,
190,
277,
289,
319,
340,
365,
429,
486,
74,
130,
175,
280,
306,
326,
443,
450,
457,
487,
497,
25,
45,
138,
275,
277,
288,
388,
398,
459,
461,
463,
8,
52,
59,
70,
90,
98,
153,
171,
237,
422,
468,
1,
43,
83,
119,
222,
251,
325,
375,
391,
498,
29,
37,
73,
77,
93,
95,
115,
128,
162,
282,
349,
376,
381,
434,
444,
449,
51,
116,
142,
292,
310,
331,
392,
417,
143,
261,
307,
368,
377,
386,
0,
156,
159,
170,
179,
226,
230,
274,
374,
386,
439,
464,
108,
117,
120,
180,
191,
230,
250,
264,
278,
286,
291,
306,
309,
363,
404,
427,
443,
451,
10,
13,
26,
39,
49,
69,
115,
210,
226,
262,
348,
380,
416,
418,
38,
85,
170,
179,
180,
221,
325,
460,
65,
249,
276,
448,
449,
474,
99,
124,
407,
411,
423,
438,
440,
41,
52,
152,
226,
229,
400,
408,
415,
450,
81,
102,
116,
138,
145,
169,
180,
213,
224,
262,
268,
312,
344,
356,
454,
28,
40,
82,
110,
143,
175,
241,
251,
286,
360,
424,
450,
18,
94,
127,
144,
153,
227,
237,
282,
300,
385,
395,
396,
424,
453,
115,
121,
212,
221,
246,
258,
358,
370,
426,
30,
78,
88,
137,
288,
380,
384,
391,
392,
9,
110,
196,
312,
356,
419,
40,
52,
106,
171,
213,
253,
278,
364,
367,
375,
460,
474,
488,
490,
3,
14,
115,
260,
414,
490,
25,
52,
98,
102,
109,
146,
160,
168,
205,
235,
332,
390,
400,
75,
146,
209,
262,
276,
307,
330,
337,
384,
401,
404,
433,
498,
19,
44,
58,
101,
136,
155,
314,
349,
383,
400,
463,
472,
473,
103,
274,
322,
370,
375,
416,
445,
480,
67,
152,
228,
238,
298,
303,
324,
400,
419,
442,
455,
474,
22,
40,
70,
101,
116,
221,
244,
276,
286,
328,
337,
379,
417,
428,
480,
22,
101,
168,
222,
239,
290,
404,
482,
18,
54,
242,
289,
303,
358,
388,
409,
486,
499,
14,
102,
240,
261,
441,
475,
86,
103,
115,
126,
203,
216,
280,
335,
368,
449,
15,
111,
325,
352,
365,
377,
420,
449,
454,
492,
76,
87,
139,
166,
179,
186,
368,
376,
434,
176,
190,
192,
214,
225,
229,
274,
300,
313,
321,
324,
455,
468,
494,
48,
79,
148,
178,
282,
333,
433,
0,
23,
44,
49,
227,
249,
389,
397,
402,
439,
461,
16,
63,
68,
81,
100,
109,
138,
139,
210,
231,
277,
304,
124,
266,
329,
358,
388,
407,
482,
24,
55,
63,
111,
249,
21,
61,
105,
146,
243,
274,
362,
396,
487,
64,
85,
130,
228,
359,
404,
446,
487,
2,
13,
60,
74,
127,
181,
209,
308,
410,
418,
110,
206,
207,
227,
264,
301,
325,
370,
382,
395,
398,
436,
56,
91,
134,
192,
206,
219,
222,
300,
403,
482,
30,
168,
210,
234,
260,
330,
340,
350,
498,
21,
116,
317,
318,
336,
433,
487,
494,
497,
75,
127,
268,
287,
385,
407,
446,
484,
157,
207,
256,
363,
472,
484,
11,
116,
124,
137,
175,
471,
71,
74,
132,
180,
297,
355,
363,
382,
469,
84,
119,
239,
339,
437,
8,
45,
83,
110,
141,
211,
224,
269,
271,
344,
444,
449,
488,
13,
53,
76,
219,
235,
243,
292,
317,
381,
494,
85,
120,
121,
162,
181,
192,
219,
242,
247,
293,
306,
484,
47,
53,
202,
223,
238,
284,
323,
394,
395,
53,
58,
61,
72,
73,
138,
146,
216,
291,
25,
39,
100,
184,
222,
239,
287,
331,
438,
24,
40,
48,
76,
91,
119,
142,
143,
156,
258,
332,
398,
493,
25,
63,
228,
313,
339,
363,
385,
90,
109,
124,
159,
229,
478,
24,
38,
98,
131,
225,
265,
293,
339,
422,
18,
51,
76,
170,
348,
390,
437,
41,
47,
303,
309,
317,
347,
352,
407,
149,
219,
242,
254,
304,
339,
483,
488,
42,
81,
97,
100,
103,
221,
288,
369,
423,
434,
19,
98,
208,
240,
248,
349,
486,
495,
1,
12,
100,
134,
181,
186,
226,
246,
284,
335,
384,
450,
67,
95,
101,
207,
215,
217,
245,
254,
300,
325,
384,
400,
430,
14,
21,
36,
39,
74,
145,
173,
190,
240,
343,
364,
374,
385,
426,
451,
490,
495,
76,
87,
89,
102,
150,
285,
464,
494,
3,
88,
152,
173,
229,
284,
290,
303,
411,
468,
165,
167,
193,
199,
209,
295,
302,
322,
362,
365,
455,
462,
142,
155,
205,
248,
255,
271,
275,
18,
68,
130,
180,
207,
284,
286,
299,
346,
379,
383,
478,
21,
60,
63,
168,
171,
220,
273,
279,
308,
324,
327,
355,
490,
88,
103,
136,
252,
274,
310,
320,
369,
391,
407,
18,
48,
52,
81,
99,
116,
140,
156,
176,
183,
186,
224,
45,
172,
318,
411,
428,
496,
11,
12,
44,
85,
144,
175,
214,
242,
342,
344,
383,
426,
446,
491,
495,
46,
59,
77,
147,
175,
192,
314,
315,
329,
342,
393,
405,
440,
45,
59,
66,
108,
184,
199,
211,
234,
283,
343,
388,
476,
25,
54,
162,
164,
232,
287,
358,
439,
467,
15,
30,
66,
72,
106,
156,
172,
309,
311,
343,
350,
453,
468,
89,
175,
232,
308,
326,
426,
496,
42,
58,
128,
157,
349,
352,
408,
328,
24,
35,
37,
77,
81,
143,
202,
230,
282,
371,
382,
392,
407,
470,
489,
64,
65,
76,
89,
189,
200,
224,
384,
388,
391,
36,
213,
225,
231,
256,
260,
283,
343,
372,
488,
34,
137,
220,
292,
335,
344,
361,
382,
495,
111,
235,
249,
254,
259,
301,
326,
409,
465,
252,
301,
433,
452,
468,
109,
216,
252,
284,
409,
419,
486,
9,
44,
64,
66,
94,
161,
162,
323,
469,
18,
43,
61,
193,
238,
247,
394,
469,
483,
0,
68,
96,
245,
372,
406,
419,
485,
31,
223,
227,
261,
274,
278,
281,
304,
396,
466,
26,
45,
76,
202,
203,
247,
317,
334,
345,
359,
408,
487,
83,
114,
151,
199,
200,
246,
336,
464,
482,
86,
92,
190,
217,
286,
328,
332,
370,
373,
437,
46,
114,
188,
236,
290,
292,
294,
323,
335,
345,
367,
401,
444,
480,
1,
164,
217,
257,
305,
379,
186,
365,
441,
481,
486,
12,
192,
226,
1,
2,
67,
107,
225,
52,
124,
241,
270,
278,
317,
357,
371,
417,
427,
449,
453,
489,
73,
173,
174,
188,
189,
242,
291,
314,
360,
92,
118,
135,
152,
182,
210,
215,
228,
230,
263,
353,
398,
489,
28,
36,
157,
159,
226,
238,
312,
423,
427,
7,
24,
79,
171,
223,
256,
483,
24,
31,
38,
70,
179,
239,
259,
292,
307,
312,
359,
367,
386,
417,
451,
476,
15,
64,
101,
164,
168,
174,
271,
317,
370,
390,
433,
61,
62,
71,
302,
447,
105,
134,
151,
165,
254,
283,
366,
380,
5,
57,
71,
72,
105,
117,
159,
167,
253,
376,
409,
463,
0,
71,
119,
184,
211,
255,
317,
330,
342,
446,
489,
497,
39,
80,
250,
251,
271,
285,
314,
322,
355,
406,
460,
17,
20,
38,
175,
180,
273,
280,
322,
354,
369,
420,
429,
433,
444,
464,
21,
33,
73,
93,
94,
125,
126,
133,
143,
217,
356,
406,
31,
61,
189,
226,
235,
249,
256,
275,
302,
360,
427,
64,
270,
388,
417,
446,
69,
71,
113,
214,
272,
337,
402,
406,
414,
453,
468,
147,
148,
184,
221,
228,
264,
322,
344,
352,
455,
11,
88,
118,
167,
169,
304,
353,
6,
191,
239,
333,
456,
457,
460,
469,
499,
59,
94,
143,
144,
168,
439,
461,
69,
100,
217,
237,
263,
269,
462,
474,
488,
3,
20,
33,
62,
83,
134,
150,
168,
192,
198,
215,
234,
275,
324,
370,
383,
388,
401,
439,
3,
81,
145,
156,
284,
388,
405,
406,
435,
50,
88,
148,
200,
290,
301,
325,
24,
141,
145,
188,
205,
234,
326,
353,
355,
391,
412,
462,
494,
58,
63,
77,
117,
246,
249,
277,
325,
356,
375,
384,
430,
483,
44,
166,
212,
258,
269,
310,
358,
368,
371,
413,
448,
477,
489,
499,
56,
105,
154,
366,
369,
398,
409,
436,
464,
187,
223,
344,
427,
440,
31,
116,
126,
140,
150,
177,
246,
323,
336,
355,
403,
475,
484,
16,
71,
202,
214,
252,
311,
318,
393,
399,
433,
498,
13,
132,
207,
214,
268,
277,
322,
415,
485,
92,
131,
201,
277,
299,
388,
419,
450,
458,
115,
188,
236,
334,
417,
31,
34,
54,
61,
90,
127,
244,
368,
398,
420,
45,
84,
124,
162,
192,
287,
334,
348,
354,
358,
386,
480,
497,
28,
74,
98,
130,
207,
377,
460,
62,
244,
280,
305,
385,
397,
434,
2,
46,
71,
170,
183,
445,
63,
69,
100,
120,
127,
130,
154,
160,
350,
384,
396,
401,
404,
21,
39,
91,
202,
238,
255,
277,
341,
345,
347,
381,
443,
53,
131,
156,
173,
245,
347,
359,
387,
404,
449,
462,
493,
33,
38,
51,
56,
87,
132,
256,
261,
270,
295,
411,
439,
2,
23,
82,
149,
179,
196,
217,
240,
260,
328,
332,
350,
416,
422,
425,
438,
494,
30,
61,
97,
209,
211,
283,
288,
344,
429,
441,
25,
55,
92,
120,
214,
264,
289,
396,
409,
432,
4,
27,
39,
66,
140,
177,
212,
246,
332,
356,
382,
480,
0,
42,
48,
154,
170,
214,
219,
261,
459,
476,
495,
60,
140,
171,
333,
343,
375,
383,
405,
119,
130,
167,
207,
316,
373,
399,
442,
32,
91,
281,
289,
404,
415,
469,
115,
182,
301,
312,
350,
359,
414,
419,
7,
49,
181,
191,
203,
299,
311,
467,
477,
7,
57,
171,
199,
232,
240,
254,
284,
361,
411,
430,
478,
154,
186,
216,
277,
466,
76,
187,
196,
198,
222,
368,
125,
164,
194,
299,
315,
361,
374,
433,
445,
471,
19,
116,
158,
168,
189,
312,
340,
373,
425,
453,
492,
92,
96,
275,
332,
346,
401,
436,
451,
499,
5,
35,
55,
64,
107,
121,
142,
233,
234,
264,
280,
296,
307,
333,
5,
24,
80,
87,
90,
232,
294,
346,
355,
358,
404,
445,
87,
102,
176,
270,
283,
286,
408,
31,
101,
247,
430,
434,
456,
43,
47,
102,
115,
146,
183,
206,
207,
264,
268,
329,
365,
491,
497,
183,
187,
214,
366,
382,
86,
106,
174,
179,
197,
277,
305,
416,
463,
67,
77,
110,
136,
223,
240,
324,
339,
393,
451,
1,
81,
82,
99,
200,
271,
298,
420,
491,
21,
57,
60,
158,
182,
188,
328,
338,
484,
290,
380,
405,
413,
480,
48,
73,
139,
157,
298,
358,
435,
4,
29,
65,
169,
339,
364,
473,
486,
33,
47,
160,
212,
223,
273,
304,
354,
364,
444,
481,
1,
22,
83,
160,
275,
296,
324,
332,
357,
369,
380,
467,
28,
198,
256,
272,
319,
357,
480,
122,
185,
202,
252,
277,
329,
403,
408,
445,
492,
80,
138,
221,
239,
371,
406,
413,
481,
495,
63,
127,
145,
172,
316,
338,
412,
414,
419,
430,
444,
482,
29,
144,
161,
276,
333,
362,
366,
464,
48,
84,
118,
144,
209,
240,
329,
376,
408,
411,
454,
456,
102,
231,
234,
255,
262,
281,
307,
54,
87,
179,
223,
293,
325,
331,
335,
344,
417,
481,
489,
1,
9,
55,
86,
120,
244,
287,
396,
427,
452,
79,
107,
187,
248,
258,
262,
329,
360,
474,
480,
482,
6,
61,
122,
163,
184,
261,
387,
494,
16,
38,
78,
125,
165,
264,
347,
352,
443,
6,
223,
243,
307,
371,
398,
32,
46,
97,
121,
162,
221,
251,
256,
304,
320,
371,
386,
440,
441,
463,
474,
60,
85,
131,
139,
142,
146,
227,
240,
255,
260,
271,
280,
282,
376,
390,
10,
157,
196,
197,
231,
356,
374,
388,
422,
487,
83,
223,
264,
315,
364,
428,
492,
23,
60,
73,
75,
85,
102,
109,
172,
193,
257,
286,
304,
370,
379,
402,
434,
465,
481,
3,
65,
232,
290,
299,
353,
418,
425,
473,
0,
16,
194,
274,
300,
365,
388,
407,
50,
144,
157,
228,
286,
298,
379,
15,
33,
51,
123,
200,
215,
241,
282,
303,
28,
69,
87,
152,
154,
254,
268,
275,
411,
443,
28,
229,
305,
328,
415,
448,
26,
66,
97,
118,
192,
203,
223,
343,
360,
121,
150,
187,
192,
248,
260,
478,
487,
96,
132,
133,
167,
187,
214,
219,
321,
389,
465,
31,
39,
50,
77,
113,
147,
212,
333,
367,
8,
102,
242,
275,
341,
352,
455,
3,
20,
27,
117,
156,
182,
226,
234,
272,
311,
367,
370,
389,
421,
117,
127,
234,
236,
315,
322,
350,
402,
407,
57,
100,
213,
361,
377,
82,
120,
159,
201,
206,
255,
286,
338,
389,
496,
27,
41,
50,
99,
151,
165,
222,
434,
453,
473,
0,
13,
15,
96,
224,
277,
387,
399,
401,
413,
434,
61,
68,
366,
400,
437,
465,
477,
482,
6,
45,
123,
200,
271,
292,
315,
355,
357,
365,
368,
384,
392,
430,
471,
487,
12,
30,
33,
98,
180,
263,
373,
43,
46,
49,
130,
143,
158,
166,
184,
239,
278,
295,
314,
337,
374,
407,
499,
16,
94,
108,
109,
121,
141,
142,
156,
213,
352,
123,
153,
228,
325,
365,
401,
418,
473,
475,
74,
88,
90,
115,
233,
349,
366,
384,
463,
482,
18,
51,
112,
172,
245,
303,
471,
499,
1,
9,
66,
70,
112,
128,
201,
209,
243,
266,
280,
307,
369,
406,
408,
422,
471,
86,
105,
150,
167,
172,
198,
215,
222,
232,
273,
309,
344,
347,
387,
406,
425,
441,
466,
34,
75,
92,
119,
154,
379,
439,
464,
476,
13,
41,
57,
92,
132,
276,
281,
296,
380,
437,
442,
39,
61,
108,
133,
194,
197,
251,
266,
279,
289,
316,
318,
383,
384,
441,
460,
19,
20,
50,
51,
59,
107,
152,
159,
189,
221,
287,
342,
357,
453,
131,
156,
198,
298,
318,
373,
424,
433,
58,
135,
151,
233,
283,
285,
319,
424,
19,
198,
270,
332,
396,
450,
458,
3,
11,
103,
120,
188,
285,
319,
435,
495,
74,
104,
122,
125,
149,
163,
172,
180,
227,
232,
248,
308,
354,
357,
413,
465,
93,
95,
103,
124,
160,
164,
231,
242,
285,
331,
410,
435,
27,
42,
148,
333,
351,
383,
454,
153,
161,
209,
227,
234,
459,
469,
14,
45,
155,
163,
193,
223,
279,
300,
353,
405,
471,
499,
0,
71,
153,
168,
182,
218,
220,
264,
336,
379,
414,
436,
443,
38,
126,
144,
146,
163,
168,
174,
199,
302,
307,
343,
385,
396,
448,
21,
22,
161,
236,
349,
381,
26,
32,
92,
94,
102,
105,
109,
176,
259,
260,
267,
291,
320,
385,
387,
450,
457,
485,
26,
115,
188,
200,
212,
219,
234,
276,
311,
418,
420,
474,
476,
29,
60,
235,
262,
304,
458,
490,
499,
164,
252,
276,
299,
302,
445,
494,
30,
243,
255,
338,
373,
382,
390,
29,
33,
39,
55,
112,
217,
267,
329,
467,
46,
54,
58,
69,
76,
109,
204,
224,
344,
345,
399,
429,
6,
9,
54,
129,
186,
219,
258,
259,
264,
328,
348,
385,
410,
447,
38,
55,
191,
209,
222,
237,
258,
287,
309,
318,
397,
415,
7,
60,
96,
150,
189,
198,
203,
213,
248,
290,
378,
436,
489,
78,
140,
158,
293,
404,
420,
429,
449,
225,
271,
293,
319,
339,
482,
24,
51,
101,
116,
155,
0,
1,
15,
32,
35,
105,
119,
148,
210,
212,
301,
307,
442,
450,
24,
153,
195,
210,
222,
243,
246,
326,
386,
450,
451,
460,
13,
68,
105,
121,
219,
223,
268,
285,
4,
18,
48,
54,
146,
174,
176,
225,
243,
379,
463,
486,
27,
70,
73,
85,
151,
364,
377,
408,
410,
41,
77,
153,
165,
185,
202,
206,
272,
331,
341,
397,
407,
459,
477,
8,
30,
35,
36,
44,
45,
88,
137,
203,
342,
343,
361,
441,
446,
447,
34,
64,
169,
182,
190,
191,
200,
201,
244,
252,
256,
291,
373,
405,
446,
7,
40,
63,
81,
96,
156,
164,
169,
179,
237,
259,
305,
314,
400,
425,
433,
473,
3,
65,
119,
126,
305,
313,
420,
430,
56,
123,
169,
231,
245,
264,
301,
448,
459,
466,
473,
115,
117,
197,
284,
356,
446,
34,
63,
94,
98,
136,
152,
214,
252,
309,
342,
411,
425,
468,
483,
82,
124,
170,
187,
200,
228,
278,
305,
469,
54,
71,
170,
270,
331,
450,
494,
496,
86,
115,
182,
199,
221,
309,
320,
377,
406,
419,
434,
489,
491,
19,
26,
144,
220,
277,
327,
349,
395,
421,
439,
7,
17,
150,
199,
282,
308,
418,
434,
488,
489,
24,
48,
129,
175,
177,
210,
219,
225,
309,
381,
396,
447,
452,
461,
86,
118,
208,
213,
241,
268,
291,
389,
412,
1,
5,
72,
133,
171,
212,
215,
239,
263,
292,
302,
384,
39,
56,
80,
161,
190,
229,
233,
237,
238,
266,
321,
323,
338,
34,
96,
122,
168,
209,
242,
255,
310,
362,
365,
421,
445,
313,
349,
379,
489,
59,
88,
91,
163,
221,
259,
268,
311,
415,
26,
76,
121,
132,
238,
318,
350,
358,
380,
409,
41,
71,
79,
114,
212,
281,
300,
360,
393,
499,
197,
289,
374,
389,
437,
471,
83,
111,
133,
218,
341,
368,
376,
412,
469,
45,
93,
106,
124,
196,
325,
365,
474,
59,
102,
174,
177,
244,
332,
475,
32,
40,
146,
198,
254,
359,
401,
431,
471,
24,
55,
212,
363,
364,
378,
381,
447,
4,
51,
108,
129,
152,
208,
260,
321,
452,
25,
127,
203,
248,
253,
405,
408,
449,
472,
63,
97,
135,
197,
358,
360,
404,
438,
41,
42,
229,
256,
280,
282,
321,
332,
337,
345,
391,
97,
185,
221,
264,
269,
367,
406,
414,
3,
40,
53,
62,
72,
210,
343,
389,
406,
496,
16,
33,
230,
259,
271,
274,
283,
346,
361,
376,
383,
470,
3,
44,
73,
109,
142,
176,
179,
317,
329,
332,
367,
416,
436,
462,
475,
482,
152,
168,
211,
228,
292,
391,
418,
445,
163,
338,
365,
388,
454,
3,
73,
100,
131,
156,
162,
176,
266,
415,
432,
453,
63,
75,
131,
207,
214,
234,
243,
252,
272,
298,
382,
415,
433,
41,
90,
194,
202,
280,
304,
406,
423,
433,
466,
107,
113,
137,
173,
177,
229,
285,
355,
466,
473,
60,
65,
99,
106,
130,
143,
233,
291,
292,
295,
393,
427,
449,
487,
30,
110,
112,
119,
145,
221,
230,
341,
427,
23,
88,
309,
330,
336,
340,
366,
462,
463,
2,
54,
57,
110,
288,
339,
350,
371,
373,
409,
419,
465,
474,
11,
72,
110,
181,
211,
326,
373,
38,
63,
182,
295,
306,
310,
421,
468,
498,
3,
41,
132,
159,
163,
182,
190,
230,
275,
285,
311,
382,
448,
482,
494,
11,
17,
23,
50,
71,
135,
169,
254,
307,
350,
393,
472,
37,
125,
131,
161,
276,
496,
28,
107,
183,
234,
240,
273,
291,
332,
385,
423,
490,
20,
89,
128,
317,
337,
353,
427,
1,
139,
170,
182,
198,
228,
247,
252,
336,
361,
365,
374,
418,
460,
199,
216,
237,
242,
262,
379,
394,
396,
449,
219,
267,
289,
301,
311,
358,
413,
433,
50,
51,
124,
158,
159,
258,
287,
337,
361,
467,
490,
36,
92,
97,
162,
184,
267,
305,
309,
371,
486,
49,
66,
88,
107,
195,
225,
272,
300,
368,
469,
473,
484,
20,
84,
95,
423,
60,
63,
141,
148,
150,
169,
200,
390,
414,
493,
218,
237,
271,
374,
407,
425,
439,
444,
41,
50,
187,
199,
262,
353,
86,
97,
115,
155,
197,
273,
286,
291,
307,
315,
332,
370,
438,
476,
487,
498,
60,
66,
85,
108,
117,
122,
139,
169,
173,
234,
269,
343,
346,
433,
438,
451,
469,
480,
482,
16,
33,
42,
86,
95,
172,
200,
216,
295,
303,
362,
408,
409,
428,
460,
476,
497,
67,
83,
142,
156,
192,
306,
389,
421,
444,
59,
72,
228,
229,
295,
348,
351,
391,
392,
452,
462,
58,
91,
364,
366,
380,
433,
446,
488,
28,
45,
70,
96,
109,
197,
204,
206,
207,
230,
313,
396,
407,
121,
149,
205,
216,
258,
283,
355,
375,
7,
28,
116,
169,
182,
216,
219,
229,
235,
276,
325,
447,
42,
80,
88,
147,
174,
203,
223,
242,
324,
382,
432,
445,
33,
108,
237,
314,
409,
421,
443,
49,
87,
189,
210,
237,
242,
391,
444,
38,
65,
96,
163,
224,
225,
241,
269,
274,
298,
328,
348,
35,
45,
72,
75,
109,
115,
145,
171,
191,
262,
319,
328,
435,
26,
48,
81,
118,
164,
192,
351,
381,
400,
13,
101,
102,
109,
220,
308,
311,
403,
451,
72,
104,
130,
138,
180,
196,
299,
327,
353,
467,
17,
30,
39,
62,
88,
142,
189,
234,
246,
351,
404,
409,
3,
111,
133,
171,
266,
292,
337,
388,
425,
427,
121,
211,
293,
313,
317,
437,
6,
17,
46,
54,
122,
130,
266,
297,
395,
439,
56,
64,
146,
165,
168,
272,
293,
355,
425,
486,
1,
22,
45,
265,
290,
323,
459,
473,
482,
5,
67,
90,
106,
270,
315,
4,
9,
20,
110,
119,
143,
188,
207,
266,
276,
296,
428,
445,
462,
44,
48,
151,
259,
260,
285,
315,
321,
366,
405,
420,
496,
36,
38,
45,
51,
176,
241,
332,
341,
355,
357,
385,
409,
85,
233,
250,
377,
495,
42,
215,
250,
329,
341,
355,
451,
493,
496,
36,
145,
159,
212,
297,
370,
426,
447,
464,
14,
34,
35,
74,
75,
123,
128,
138,
147,
160,
225,
315,
343,
351,
354,
371,
426,
436,
27,
173,
249,
327,
337,
364,
441,
454,
489,
117,
128,
137,
200,
217,
238,
314,
353,
403,
462,
11,
101,
156,
195,
259,
299,
331,
400,
34,
64,
102,
208,
255,
301,
324,
333,
366,
412,
23,
28,
38,
95,
101,
133,
198,
318,
354,
385,
447,
35,
71,
139,
196,
240,
363,
371,
427,
35,
132,
162,
206,
238,
366,
382,
426,
445,
455,
478,
21,
120,
186,
209,
239,
265,
313,
476,
497,
26,
74,
90,
111,
146,
351,
10,
144,
192,
241,
264,
314,
331,
337,
405,
431,
465,
466,
493,
10,
56,
93,
137,
145,
160,
191,
199,
248,
324,
355,
362,
414,
472,
483,
16,
30,
34,
37,
80,
92,
97,
103,
179,
183,
206,
336,
338,
402,
25,
38,
66,
119,
196,
222,
238,
371,
389,
390,
417,
425,
450,
491,
493,
20,
51,
181,
196,
242,
435,
479,
55,
71,
295,
382,
476,
9,
66,
76,
184,
186,
197,
295,
313,
320,
395,
413,
429,
6,
16,
23,
51,
133,
137,
168,
186,
200,
213,
274,
276,
301,
340,
395,
463,
33,
174,
304,
483,
171,
253,
265,
288,
296,
316,
365,
372,
443,
76,
136,
182,
210,
221,
233,
263,
329,
339,
398,
428,
450,
454,
3,
55,
140,
146,
203,
206,
207,
249,
276,
430,
466,
483,
190,
222,
224,
232,
360,
421,
458,
473,
498,
117,
120,
123,
168,
181,
197,
227,
234,
315,
372,
425,
459,
484,
38,
71,
90,
189,
340,
342,
370,
391,
395,
418,
86,
174,
201,
355,
360,
401,
478,
59,
163,
249,
350,
408,
409,
81,
83,
113,
143,
279,
289,
470,
473,
17,
38,
43,
47,
106,
198,
257,
350,
373,
389,
457,
462,
494,
10,
22,
69,
108,
172,
273,
348,
370,
373,
391,
419,
495,
497,
0,
73,
102,
104,
143,
157,
180,
190,
241,
247,
330,
374,
378,
433,
474,
34,
38,
52,
73,
140,
184,
247,
259,
268,
353,
406,
468,
23,
29,
96,
114,
143,
198,
283,
295,
416,
476,
51,
285,
394,
7,
28,
62,
85,
244,
301,
376,
387,
460,
481,
61,
76,
117,
131,
140,
175,
219,
254,
259,
275,
353,
392,
394,
395,
441,
499,
8,
12,
126,
190,
292,
360,
460,
98,
247,
262,
271,
290,
301,
353,
408,
450,
480,
43,
124,
171,
316,
413,
12,
43,
115,
147,
227,
240,
255,
300,
335,
378,
380,
397,
6,
15,
23,
64,
78,
132,
227,
321,
385,
413,
461,
2,
53,
74,
86,
115,
136,
154,
261,
370,
383,
466,
22,
122,
163,
198,
200,
240,
263,
294,
363,
408,
499,
27,
53,
71,
102,
133,
236,
261,
368,
434,
472,
34,
79,
163,
176,
222,
273,
330,
352,
400,
10,
61,
95,
144,
172,
204,
227,
301,
312,
331,
103,
259,
272,
295,
332,
139,
175,
191,
230,
289,
295,
298,
352,
370,
383,
401,
421,
79,
117,
135,
153,
180,
203,
283,
365,
420,
92,
104,
113,
124,
138,
158,
288,
318,
381,
484,
13,
16,
72,
96,
135,
138,
259,
297,
352,
469,
4,
27,
219,
225,
250,
255,
290,
329,
430,
448,
96,
119,
169,
177,
181,
207,
236,
267,
286,
342,
370,
373,
411,
414,
422,
463,
478,
52,
60,
112,
220,
254,
257,
331,
382,
391,
488,
93,
171,
179,
227,
356,
376,
381,
424,
426,
36,
126,
200,
280,
383,
402,
407,
472,
489,
497,
53,
62,
88,
101,
130,
167,
188,
191,
285,
320,
339,
384,
436,
478,
485,
11,
12,
143,
154,
227,
230,
300,
307,
326,
483,
28,
70,
110,
358,
468,
55,
104,
111,
122,
179,
204,
206,
236,
292,
403,
410,
426,
465,
10,
204,
291,
390,
394,
497,
25,
47,
152,
190,
328,
329,
339,
365,
367,
378,
34,
36,
67,
136,
216,
259,
358,
408,
419,
450,
462,
499,
42,
48,
187,
192,
286,
291,
297,
368,
396,
422,
423,
90,
121,
202,
254,
278,
335,
336,
430,
453,
475,
490,
35,
71,
76,
129,
136,
210,
218,
396,
411,
428,
460,
38,
79,
98,
158,
217,
237,
401,
484,
35,
88,
103,
212,
433,
2,
197,
206,
215,
244,
338,
21,
24,
57,
111,
116,
213,
251,
274,
328,
432,
483,
489,
4,
78,
89,
107,
132,
176,
204,
207,
246,
282,
294,
420,
473,
34,
49,
89,
93,
116,
140,
162,
267,
327,
356,
357,
369,
13,
37,
59,
79,
183,
292,
295,
321,
473,
1,
141,
197,
309,
324,
356,
461,
497,
31,
77,
138,
149,
200,
227,
245,
246,
261,
318,
350,
450,
452,
14,
43,
50,
118,
255,
348,
444,
489,
22,
53,
78,
121,
225,
274,
300,
317,
324,
343,
374,
390,
404,
462,
473,
490,
42,
149,
191,
341,
362,
381,
463,
55,
70,
77,
79,
93,
126,
142,
166,
192,
202,
222,
440,
457,
489,
496,
128,
134,
177,
292,
295,
305,
325,
361,
362,
447,
0,
5,
188,
264,
270,
310,
333,
344,
5,
19,
126,
207,
270,
274,
345,
498,
15,
55,
56,
64,
96,
122,
143,
195,
215,
295,
313,
320,
444,
449,
476,
483,
88,
158,
256,
311,
356,
395,
407,
14,
18,
22,
68,
71,
108,
168,
170,
172,
206,
207,
340,
395,
397,
435,
19,
77,
153,
166,
415,
22,
83,
173,
247,
289,
324,
417,
430,
10,
152,
160,
170,
203,
284,
287,
395,
497,
37,
68,
96,
135,
201,
305,
457,
465,
86,
90,
175,
183,
198,
214,
233,
280,
60,
113,
141,
150,
494,
17,
54,
65,
72,
93,
137,
145,
150,
238,
264,
333,
356,
373,
440,
446,
37,
43,
143,
156,
169,
236,
257,
351,
365,
369,
374,
381,
395,
456,
19,
58,
138,
194,
285,
426,
446,
450,
491,
492,
201,
312,
385,
412,
484,
56,
76,
103,
210,
213,
214,
359,
384,
159,
191,
195,
251,
295,
356,
378,
399,
416,
418,
441,
3,
19,
63,
125,
198,
214,
254,
291,
297,
326,
331,
342,
371,
465,
466,
141,
162,
181,
253,
281,
413,
417,
444,
474,
31,
134,
212,
281,
343,
354,
428,
493,
27,
135,
147,
169,
186,
199,
223,
225,
230,
251,
462,
170,
201,
215,
235,
278,
376,
394,
71,
162,
173,
241,
263,
309,
37,
54,
99,
118,
172,
188,
234,
256,
450,
38,
55,
98,
101,
110,
151,
182,
304,
306,
376,
378,
400,
409
};
const double x[500] = {
353,
528,
855,
623,
693,
26,
928,
283,
710,
154,
423,
193,
627,
362,
271,
632,
502,
254,
655,
589,
809,
858,
427,
70,
305,
618,
419,
16,
840,
389,
773,
270,
546,
455,
278,
647,
926,
882,
158,
785,
620,
56,
154,
592,
293,
496,
810,
429,
509,
562,
26,
981,
21,
849,
374,
495,
549,
124,
687,
137,
719,
232,
690,
616,
824,
46,
712,
650,
223,
868,
576,
707,
999,
883,
551,
159,
306,
101,
618,
194,
787,
488,
395,
970,
29,
260,
223,
605,
682,
293,
208,
5,
947,
244,
126,
692,
95,
888,
776,
502,
375,
237,
176,
730,
837,
407,
757,
772,
365,
21,
250,
938,
804,
940,
859,
945,
173,
215,
72,
331,
339,
880,
874,
375,
920,
254,
675,
614,
19,
570,
850,
93,
200,
960,
276,
332,
218,
895,
270,
922,
220,
44,
566,
330,
645,
834,
129,
926,
265,
78,
975,
822,
300,
394,
731,
917,
89,
136,
894,
441,
681,
144,
867,
157,
759,
432,
830,
252,
929,
784,
702,
572,
753,
887,
697,
437,
409,
29,
999,
445,
532,
189,
326,
729,
73,
478,
428,
713,
627,
240,
540,
25,
932,
406,
639,
472,
544,
763,
4,
695,
69,
37,
802,
351,
865,
169,
17,
439,
844,
65,
857,
193,
404,
337,
307,
208,
591,
658,
515,
761,
162,
528,
15,
34,
416,
831,
937,
67,
495,
765,
288,
408,
517,
35,
813,
112,
632,
61,
465,
357,
626,
284,
276,
632,
323,
661,
840,
864,
880,
928,
268,
703,
170,
30,
628,
850,
450,
807,
758,
810,
128,
992,
760,
603,
34,
910,
884,
937,
737,
521,
61,
394,
0,
504,
868,
85,
294,
997,
251,
532,
499,
596,
594,
744,
606,
709,
928,
506,
397,
988,
689,
161,
654,
729,
238,
869,
298,
817,
571,
887,
2,
137,
593,
651,
529,
34,
452,
667,
32,
189,
734,
121,
473,
675,
594,
264,
492,
402,
437,
640,
141,
528,
351,
740,
326,
613,
640,
50,
104,
433,
613,
470,
125,
671,
81,
155,
209,
69,
856,
999,
143,
601,
991,
458,
120,
169,
839,
667,
566,
119,
713,
943,
646,
559,
755,
223,
436,
15,
768,
580,
416,
906,
118,
738,
583,
112,
65,
150,
933,
54,
901,
102,
733,
357,
505,
155,
723,
210,
142,
413,
768,
602,
614,
268,
485,
679,
330,
110,
819,
11,
116,
90,
615,
327,
131,
351,
275,
121,
77,
465,
831,
617,
663,
314,
519,
670,
39,
705,
86,
201,
619,
746,
736,
813,
138,
186,
693,
538,
160,
244,
257,
997,
751,
157,
512,
253,
536,
433,
87,
333,
881,
784,
102,
1,
809,
456,
425,
783,
839,
55,
78,
51,
481,
310,
416,
518,
816,
605,
130,
100,
999,
727,
24,
761,
45,
579,
103,
856,
304,
691,
957,
120,
250,
941,
59,
411,
976,
420,
799,
227,
692,
842,
677,
763,
660,
292,
702,
560,
27,
138,
41,
75,
694,
577,
101,
92,
9,
959,
33,
11,
248,
515,
290,
742,
858,
294,
900,
107,
567,
890
};
const int ptr[501] = {
0,
11,
22,
32,
40,
46,
53,
64,
74,
89,
102,
112,
121,
132,
140,
147,
156,
160,
172,
185,
197,
202,
216,
229,
236,
242,
248,
255,
265,
271,
283,
292,
298,
306,
314,
326,
335,
348,
357,
374,
383,
392,
403,
414,
425,
436,
446,
462,
470,
476,
488,
506,
520,
528,
534,
541,
550,
565,
577,
591,
600,
609,
615,
629,
635,
648,
661,
674,
682,
694,
709,
717,
727,
733,
743,
753,
762,
776,
783,
794,
806,
813,
818,
827,
835,
845,
857,
867,
876,
885,
893,
899,
905,
914,
919,
932,
942,
954,
963,
972,
981,
994,
1001,
1007,
1016,
1023,
1031,
1039,
1049,
1057,
1069,
1082,
1099,
1107,
1117,
1129,
1136,
1148,
1161,
1171,
1183,
1189,
1204,
1217,
1229,
1238,
1251,
1258,
1265,
1266,
1281,
1291,
1301,
1310,
1319,
1324,
1331,
1340,
1349,
1357,
1367,
1379,
1388,
1398,
1412,
1418,
1423,
1426,
1431,
1444,
1453,
1466,
1475,
1482,
1498,
1509,
1514,
1522,
1534,
1546,
1557,
1572,
1584,
1595,
1600,
1611,
1621,
1628,
1637,
1644,
1653,
1672,
1681,
1688,
1701,
1714,
1728,
1737,
1742,
1755,
1766,
1775,
1784,
1789,
1799,
1812,
1819,
1826,
1832,
1845,
1857,
1869,
1881,
1898,
1908,
1918,
1930,
1941,
1949,
1957,
1964,
1972,
1981,
1993,
1998,
2004,
2014,
2025,
2034,
2048,
2060,
2067,
2073,
2087,
2092,
2101,
2111,
2120,
2129,
2134,
2141,
2149,
2160,
2172,
2179,
2189,
2198,
2210,
2218,
2230,
2237,
2249,
2259,
2270,
2278,
2287,
2293,
2309,
2324,
2334,
2341,
2359,
2368,
2376,
2383,
2392,
2402,
2408,
2417,
2425,
2435,
2444,
2451,
2465,
2474,
2479,
2489,
2499,
2510,
2518,
2534,
2541,
2557,
2567,
2576,
2586,
2594,
2611,
2629,
2638,
2649,
2665,
2679,
2687,
2695,
2702,
2711,
2727,
2739,
2746,
2753,
2765,
2778,
2792,
2798,
2816,
2829,
2837,
2844,
2851,
2860,
2872,
2886,
2898,
2911,
2919,
2925,
2930,
2944,
2956,
2964,
2976,
2985,
2999,
3014,
3029,
3046,
3054,
3065,
3071,
3085,
3094,
3102,
3115,
3125,
3135,
3149,
3158,
3170,
3183,
3195,
3199,
3208,
3218,
3228,
3234,
3243,
3251,
3258,
3267,
3275,
3284,
3293,
3301,
3312,
3320,
3330,
3342,
3358,
3366,
3371,
3382,
3395,
3405,
3415,
3429,
3438,
3447,
3460,
3467,
3476,
3491,
3503,
3509,
3520,
3527,
3541,
3550,
3558,
3569,
3579,
3591,
3595,
3605,
3613,
3619,
3635,
3654,
3671,
3680,
3691,
3699,
3712,
3720,
3732,
3744,
3751,
3759,
3771,
3784,
3793,
3802,
3812,
3824,
3834,
3840,
3850,
3860,
3869,
3875,
3889,
3901,
3913,
3918,
3927,
3936,
3954,
3963,
3973,
3981,
3991,
4002,
4010,
4021,
4030,
4036,
4049,
4064,
4078,
4093,
4100,
4105,
4117,
4133,
4137,
4146,
4159,
4171,
4180,
4193,
4203,
4210,
4216,
4224,
4237,
4250,
4265,
4277,
4287,
4290,
4300,
4316,
4323,
4333,
4338,
4350,
4361,
4372,
4383,
4393,
4402,
4412,
4417,
4429,
4438,
4448,
4458,
4468,
4485,
4495,
4504,
4514,
4529,
4539,
4544,
4557,
4563,
4573,
4585,
4596,
4607,
4618,
4626,
4631,
4637,
4649,
4662,
4674,
4683,
4691,
4704,
4712,
4728,
4735,
4750,
4760,
4768,
4776,
4792,
4799,
4814,
4819,
4827,
4836,
4844,
4852,
4857,
4872,
4886,
4896,
4901,
4909,
4920,
4935,
4944,
4952,
4963,
4970,
4976,
4985,
4998
};
const double verify_data[500] = {
1751892,
4022164,
2995301,
1936186,
2246564,
1202307,
2403226,
1665245,
5460723,
2991420,
3189946,
2005088,
2579979,
2016203,
2065819,
1993671,
851952,
2135521,
3528253,
2792868,
1075529,
2502885,
3364671,
2066539,
1126092,
850035,
802328,
2264690,
2378605,
4461773,
1329616,
312081,
1746678,
2141730,
2744934,
1367783,
3595144,
2432898,
4071407,
1302967,
1652018,
2211899,
3912143,
2373635,
2666922,
2038278,
4698422,
1954640,
1563508,
2694611,
3827590,
5206087,
1870941,
966474,
2645084,
2531376,
3163745,
3967912,
3292737,
2492971,
2883924,
1528423,
3145472,
1625261,
2200485,
3632184,
3178738,
1893515,
3126495,
3348716,
1528265,
3525430,
1008772,
2181826,
1833788,
3009546,
3850859,
1929502,
1305357,
3389808,
2443621,
914320,
3097972,
3175599,
1918158,
1956635,
1197144,
3283923,
2362512,
2914914,
1519627,
1082679,
1779165,
1459222,
2562841,
3792210,
3315753,
2428061,
1900458,
2028141,
2355412,
1292213,
1657778,
4938329,
2347809,
1922563,
2178935,
3429211,
1904099,
3797974,
4230001,
4774548,
1692473,
2457473,
2131820,
2246792,
3107036,
2656237,
3099219,
2499844,
2118926,
2890550,
3012532,
4213593,
2060214,
3903181,
2016912,
1140389,
4680,
2876480,
1234517,
2373109,
1792007,
2735030,
639171,
916044,
2224239,
3146731,
739354,
2583186,
3583728,
2421324,
3028482,
2592653,
2321744,
122903,
1482609,
2463478,
2661306,
1865018,
1835144,
2248110,
1343097,
3672393,
2587367,
1636239,
2104489,
2804393,
3800231,
2717304,
3257716,
3054647,
2495991,
1415149,
3084172,
1994685,
954071,
1957822,
1297275,
2084477,
5911038,
2566905,
1296529,
2975518,
4786414,
4556733,
982088,
1150776,
1646590,
2140085,
2241812,
1322324,
1390654,
1994451,
3063562,
2938663,
831619,
2398209,
3238091,
3546592,
2816082,
2597318,
4012074,
2281778,
2335358,
2686566,
2327944,
1705695,
2384479,
1179412,
1992230,
1416632,
2817471,
1387997,
1825629,
2633212,
2854174,
1316538,
3318034,
2605299,
1813554,
748564,
2719292,
733866,
3685554,
2644942,
1581429,
2519177,
1406937,
2571958,
1036663,
3105668,
2899062,
822910,
3023464,
1517572,
3695365,
1576120,
2679724,
2340800,
2461794,
1442615,
3277667,
1551164,
2304202,
1765246,
4648243,
4695139,
3015121,
784265,
4854308,
1612748,
2023149,
2677811,
1891837,
2386603,
1303948,
1246705,
3997369,
1795004,
1868899,
1915102,
2277702,
3086432,
1091596,
1325425,
2700950,
2713785,
2580723,
3320788,
2169754,
2987529,
1820551,
1096402,
2820334,
3653130,
3944932,
2661607,
1875359,
1985688,
4170507,
2697623,
1240240,
1565958,
1687827,
2909302,
4076509,
3669438,
1654204,
990589,
1871143,
2555426,
3194652,
806454,
4579598,
3818316,
1862530,
1621008,
1213914,
2387732,
2656075,
5016017,
1483839,
2590576,
1911599,
1808891,
1727178,
3593503,
3426809,
1966443,
2615395,
1977162,
2814727,
4347284,
2571418,
4336262,
2380488,
3176855,
2075237,
3073444,
2268286,
2778827,
2533675,
2075240,
1739479,
3343874,
1213649,
3400144,
3390958,
4350901,
807565,
1723230,
2880274,
1846068,
1797277,
3535845,
1817421,
763905,
2975099,
1885669,
2520346,
2673876,
1965064,
1840927,
1479284,
2479045,
4854652,
3371227,
1602463,
1064398,
4303279,
2014749,
2088115,
4643355,
2423573,
2486594,
2015285,
2865268,
1567515,
3091645,
2650208,
2257731,
1828360,
3038495,
1456526,
4139422,
1860654,
2119333,
3560316,
2195765,
2965846,
1558436,
2201930,
1368838,
2280143,
6722772,
4966973,
3816690,
3063525,
3303821,
942869,
3048634,
2607825,
2846487,
3062389,
1204358,
1587952,
1407524,
3481628,
1683145,
670695,
2652500,
2063266,
3256247,
2228455,
3169118,
2068041,
3336492,
648877,
2914647,
2398692,
2468827,
466982,
1350452,
2494059,
3884284,
2176018,
1971822,
1717729,
2285788,
2457787,
2585558,
2001380,
1574379,
1896149,
2954717,
3571138,
4547560,
3121350,
911837,
2191633,
2590573,
3983511,
1138220,
1489367,
2480956,
3092304,
2007316,
2627569,
1961734,
1404827,
2016109,
3155800,
2035916,
1981052,
3740896,
3647095,
3554375,
657851,
2060326,
3239738,
2510830,
3003505,
1293641,
2819722,
2461229,
4391164,
2381527,
3609051,
2225837,
2269809,
1794757,
5429892,
2122459,
3549547,
2159187,
2055078,
2863249,
2624453,
1682530,
1966234,
4732670,
2420234,
1126780,
4198630,
873578,
1472698,
4399047,
2373444,
3046576,
2946567,
1499502,
1196441,
785704,
3074204,
3127393,
2310407,
3555659,
729185,
2534506,
881530,
3913703,
1712814,
3391585,
1623517,
1629315,
1290503,
3135796,
2543727,
3671833,
1144358,
3571303,
1517907,
1728666,
1346738,
1521662,
3214189,
3185014,
3308145,
1175588,
1908736,
2065913,
3720352,
1718329,
1846629,
2752115,
1254780,
1638702,
2435264,
1935295
};
|