-
Notifications
You must be signed in to change notification settings - Fork 0
/
check_posibility.py
706 lines (697 loc) · 52.1 KB
/
check_posibility.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
import unittest
class Solution(object):
def checkPossibility(self, nums):
"""
:type nums: List[int]
:rtype: bool
"""
i = 0
if(len(nums) <= 1):
return True
while(i<(len(nums))):
add = nums.pop(i)
is_ascend = True
for j in range(len(nums)-1):
temp = j+1
if(nums[temp]<nums[j]):
is_ascend = False
break;
nums.insert(i,add)
if(is_ascend != False):
return is_ascend
i+=1
return False
'''
class TestUM(unittest.TestCase):
def setUp(self):
pass
def testPosibility(self): s = Solution()
self.assertEqual(s.checkPossibility([4,2,3]) , True)
self.assertEqual(s.checkPossibility([-1,4,2,3]) , True)
self.assertEqual(s.checkPossibility([4,-1,2,3]) , True)
self.assertEqual(s.checkPossibility([2,3]) , True)
self.assertEqual(s.checkPossibility([5,1,2,3]) , True) self.assertEqual(s.
checkPossibility([6851,2828,1613,3425,3488,1083,1931,9609,5535,938,5789,47
59,7306,4387,9069,1053,7252,966,1147,2312,102,6701,37,3992,7469,3771,7274,
3978,402,6557,2927,200,4796,3722,9190,9868,265,1231,3814,1341,646,2040,291
5,4461,346,1882,7366,9761,5084,7399,9044,9711,2150,5564,3379,3239,9351,854
3,5000,9201,4774,6616,2835,3969,7519,3060,2762,6638,6590,5661,7169,2721,20
95,3258,7954,831,4049,7898,8240,5272,934,6479,9048,5747,4401,467,1984,5298
,1962,9433,6289,1851,6997,5708,8644,626,6977,3529,7941,1770,3092,614,9122,
9978,9641,8853,7787,1025,4835,2752,5232,8390,5650,6668,3544,768,4351,8131,
1564,4472,6744,9995,6234,663,7264,6166,6475,8832,995,6839,7608,9613,4893,2
561,7956,825,3787,8563,1310,902,6614,5788,2864,3162,8286,6331,8688,9032,58
91,5786,4928,3935,3085,9367,8984,5442,8124,3613,7009,67,4745,2930,7018,923
0,1594,8650,7551,932,4964,1001,6198,8960,5189,7291,4058,2590,5888,4489,941
0,6169,4775,6363,8720,3030,5536,8351,5578,5261,8046,6012,2562,2914,3415,95
12,1157,6623,4793,8791,100,7149,3558,2394,2200,6494,8647,2344,7628,8077,73
68,3052,6804,8039,8557,9116,7412,6460,2288,2595,2166,386,6969,6501,2047,87
54,4027,9252,7611,8533,1832,6966,7966,9456,8995,6476,2852,7379,8498,116,35
82,2245,9941,5351,9900,7756,5372,7689,3563,3983,2606,5307,5453,7697,2553,9
84,5074,7669,5665,6047,2182,3926,5840,5895,7414,6224,1196,1074,6699,2472,7
523,2272,7052,3272,8106,7385,7744,5032,4149,2139,5181,4114,2580,9381,5080,
7618,8660,4965,5384,5713,3521,3788,4738,9745,1474,7539,2258,8843,2640,2056
,832,2954,1731,2185,636,30,5005,222,6152,1821,13,5589,451,5717,6847,7148,5
77,4713,6573,4763,5127,4172,8847,256,5090,1503,3802,5439,8530,5144,6843,93
95,5828,1791,6264,5623,376,6287,2420,426,480,9818,9023,5927,6477,4465,9130
,1255,227,7221,4437,9364,1755,8418,9446,4,5659,2526,7245,8400,5404,9863,18
99,3034,7642,1227,5107,4677,5811,4355,2809,8487,3622,5683,9024,7889,3189,2
215,1003,217,1605,3618,7855,1265,1844,6232,523,1973,7099,1895,8415,8743,82
66,6343,6657,7237,5933,2388,7506,5806,9345,7977,7094,1671,2532,440,5793,71
40,4794,5223,8633,2050,3729,9752,4897,4711,81,8915,920,7576,7913,6336,6533
,8910,8521,2969,9954,4831,3457,1701,7115,4747,6137,4398,2921,9779,2671,975
1,2916,1507,5787,1729,2418,8526,658,1057,441,7302,751,6576,1072,3074,3987,
4083,3736,3813,2945,9581,7995,1811,4821,7649,3098,1628,1351,8561,6162,6215
,1343,9965,2197,1609,999,2815,9002,8461,6412,737,2632,5913,8576,4477,4609,
1960,7388,6535,3022,4353,9309,1009,1531,4791,2274,2814,6079,9146,6935,1340
,8293,7244,3042,1722,5894,499,3602,339,5165,186,2670,6108,8686,477,3585,79
33,4237,8112,5868,7033,6984,8314,5838,9362,7090,6924,5726,5501,9895,5843,9
466,8578,2750,3552,73,6056,3606,8094,7540,1433,1987,8334,5382,8403,1327,88
96,8734,5698,3442,4615,6107,4643,4075,4752,6789,6106,4817,6229,9592,193,52
90,3205,2807,9643,1487,8907,2287,2765,9838,8325,7741,4828,7620,19,7534,868
5,6738,8954,796,1665,8977,7766,8531,8934,6112,4647,8716,1956,296,8824,1155
,538,72,6402,6376,4095,6486,9950,9124,4602,452,4074,3964,7377,53,7543,4672
,4899,3402,2929,1725,425,7106,8767,1334,520,904,7142,620,602,5415,7621,995
7,3341,4619,5015,3340,9778,8278,4160,3798,6452,7992,3298,9699,9370,4408,19
27,5692,5448,3832,7846,8756,9247,5092,6756,9268,8332,4756,2560,8229,7975,5
483,901,7253,4914,3876,4485,8961,3816,6374,2581,3398,6688,2517,9093,3654,2
77,1886,632,7429,2033,2415,2624,830,2958,6140,2126,5360,8812,5327,5013,416
6,4349,543,3006,4145,5432,66,4558,3214,6815,6560,8395,6958,7289,338,5637,7
595,4120,6987,9691,2510,409,8084,2972,4223,9339,9137,3346,8411,2898,4674,2
771,4175,4130,7637,2487,1061,4440,4591,6762,6235,2493,2952,6322,8360,2512,
4181,5757,9671,9966,2090,3988,6154,9374,158,9693,3687,1120,8975,9217,2167,
9025,4107,7118,3329,3044,7864,4787,2401,7844,1814,1666,6736,7137,8983,9814
,7317,3429,8593,2705,4861,7882,6960,5584,7477,5204,9721,1395,4010,9842,548
0,6409,5076,1226,4777,6196,6356,3286,208,9644,2845,7919,5286,6685,3423,690
9,1974,4084,6751,8303,8482,4463,8163,8352,1234,430,8437,9583,6243,5514,423
6,2463,4045,4476,7233,6037,5314,9829,6785,5361,972,1495,1394,2081,6247,500
8,78,3275,7495,4622,4568,9703,9841,1017,9242,8943,3503,8830,3523,364,9448,
1249,3873,7674,1301,7228,9886,6406,688,7043,4863,8658,7745,2088,8141,9746,
5474,7706,1022,6358,3760,2602,5733,4693,8140,1634,3095,5569,2168,2241,7728
,4560,9065,2370,6597,9436,7695,4786,5633,3804,9543,449,1020,919,1792,3062,
5109,9901,1240,4825,4060,6043,377,8101,604,4246,4915,433,6624,2743,8142,12
99,2549,8320,8790,38,4066,9706,42,6610,6017,5003,4632,8572,3443,6478,9801,
8265,3914,1575,699,4194,378,7339,6622,6571,4425,8522,9874,7489,5555,885,10
96,9443,5980,9223,875,1926,1316,241,7268,7581,5710,7350,5748,2115,74,991,7
089,2202,2404,7758,6541,5545,5177,7248,7696,7734,1445,2717,2429,9575,3196,
2371,8831,6499,2305,9944,7512,7639,3621,9727,1978,6407,4113,7416,3688,3830
,531,5872,7609,5214,5926,4888,3536,9780,682,3010,304,7234,8490,5373,502,79
62,327,6981,7797,1525,172,2800,3068,727,7592,6643,3642,7536,8218,3519,6893
,8072,205,6211,8003,1946,6142,7161,5352,3614,6803,5190,9421,9119,5313,9977
,6865,8305,6537,4611,6335,4322,535,3965,5632,82,4877,3024,5839,3825,5343,3
426,4012,4090,4415,2171,8172,2839,8134,6395,545,344,5720,2860,8559,3053,89
67,9726,4797,3351,1502,447,1077,3390,5952,7850,580,3626,6451,2113,8407,123
8,4371,3297,9432,1272,3712,9836,2176,8033,2285,4110,7369,1188,5914,6002,63
02,4206,6832,5631,6724,4760,548,167,4612,2829,329,8030,1389,4354,704,6020,
5588,5571,723,9235,847,9830,6187,6010,2619,6978,1140,9682,4911,7446,8748,2
723,8925,5178,2715,3002,2345,6364,0,4032,820,9851,6446,2328,7678,1429,9605
,3815,8773,3387,1848,6045,2142,5075,5266,6388,9322,1687,6126,1041,2402,985
6,8641,8270,7946,1869,8991,9905,7081,9979,5849,5617,572,6813,9656,7080,607
3,6891,6319,7345,2194,2888,8889,8043,1051,5572,3312,3260,6156,9896,6323,82
92,8632,2071,3868,596,1411,5200,660,9458,8942,3911,7096,2730,23,4992,9318,
6018,3453,558,4762,3338,2368,9081,794,4073,9176,4385,7829,9619,7813,612,76
3,4637,4586,7777,6147,4822,3318,6199,4430,1268,8783,5429,5550,4002,5124,68
56,446,9893,2544,5386,587,1841,905,2955,6985,3530,3686,7249,1727,6949,8200
,8784,541,2524,3492,8329,3105,564,1809,4912,8504,7025,556,2695,7307,7316,1
294,7257,7390,1076,3147,5210,4214,708,5465,2145,2366,4198,7449,5736,14,109
2,5544,4684,3836,968,9405,7300,982,7723,2266,1098,9170,7955,1393,4129,5457
,4414,8717,1932,1373,4412,6863,9788,2080,8695,7362,6686,1454,8525,5188,696
1,3533,2321,5224,4321,8294,9731,8011,3844,7591,5758,8554,4481,3991,7641,68
,789,5030,2031,8868,4105,4663,7370,122,8127,3867,4165,3197,3768,9357,954,4
474,5049,9418,935,7389,9077,2522,9090,3112,9135,8259,4974,3973,4920,5252,8
596,561,6900,4294,6378,7601,4230,306,9248,9198,273,6598,1308,8310,7804,828
8,9857,3420,9685,9430,9510,1342,8880,4494,8729,4512,6255,6944,8024,9149,86
3,4718,955,6595,4525,5354,2782,2991,5240,9889,2447,4630,9398,125,7596,7874
,9618,3623,9478,4697,7873,3008,7891,1491,1833,4547,257,1585,2630,4566,2964
,9962,2281,4947,1377,4728,4443,4372,4250,1689,2361,2587,4689,2041,6870,277
6,6933,5796,928,6133,2141,9192,2959,1443,4696,2034,6889,4703,2053,4065,582
1,1379,4859,4229,9334,9290,1654,5682,4569,8613,5316,2881,5652,8260,5746,54
64,6520,7071,2997,7719,3741,8950,8921,5487,2704,2010,5426,7807,6325,4707,5
978,5548,5174,7395,2680,9273,7039,7923,6666,1972,4057,7280,1788,3578,5977,
4191,9926,8806,3431,1312,4259,6049,1455,9882,8939,6431,1790,3450,1557,4539
,5106,3186,6746,4287,7066,7740,2677,841,2087,2436,9233,903,6088,2992,4018,
6927,3549,3097,6316,7917,6372,1828,8174,9504,1819,5975,772,4641,4451,9948,
3780,1016,6989,2584,4979,8180,4395,442,7800,6577,6422,9112,9483,5336,374,6
087,1772,2077,4687,2228,3984,5390,9743,6488,501,8634,8416,4709,8179,347,59
08,3575,3949,2961,5587,1635,5869,2631,5451,340,6992,4607,840,6634,1944,501
9,9756,5012,8772,5685,5412,5949,2324,6875,7095,9824,3517,1735,317,9563,956
0,3670,8042,518,198,702,2962,947,4535,44,9884,1977,9125,6048,7367,3347,806
0,7730,2154,2124,160,390,366,8253,3411,4202,5227,6065,6867,2340,2230,5454,
945,6983,3567,6283,8744,2224,1565,6531,5667,9913,27,4771,5663,3000,8926,95
17,9368,1207,628,804,9009,677,6208,4880,6578,1797,8009,2003,748,8040,7823,
9114,637,8168,7482,6990,2076,1202,7837,3872,858,8258,1497,8648,9654,7848,3
894,4508,2467,3903,1338,2244,3144,7646,4386,6139,8448,8392,9951,3477,8318,
9865,2851,9240,8820,5857,8626,5798,4625,918,5179,9306,4467,4247,2520,314,8
540,576,7301,8952,5143,9660,9826,8994,7243,2,7969,6192,7496,3334,1518,7150
,7164,3586,3679,9883,3501,7944,1090,8269,4182,774,4644,3223,8491,540,9961,
9666,6860,7792,7982,1990,7840,3115,7034,1583,4519,9625,6998,279,292,5790,6
937,8321,4433,9659,7593,6432,8058,3758,4941,3733,7672,5916,7288,6678,5163,
3439,3261,422,8864,9697,2151,4966,6662,521,1761,4309,3209,7842,2503,4396,3
878,8049,453,5213,1421,1269,7365,9383,5792,672,4590,4528,9822,6718,631,660
4,9665,4578,418,8677,229,4929,352,5136,6174,7690,5502,590,3384,3033,6554,8
173,9162,1590,4327,2468,6588,5045,4118,2448,7046,9723,9528,9308,7980,8183,
1592,9505,8608,7942,2858,5185,1488,1089,7453,7450,9679,7838,3550,1700,2357
,1029,423,2038,8076,7006,8432,4563,3999,6373,4455,5038,4334,9246,7899,5304
,3732,5145,5622,6442,1408,4390,2990,47,1631,9928,4673,1650,5703,3762,2801,
4810,659,6747,3316,4991,9593,7320,5707,1138,2692,3099,1574,5644,581,7437,5
612,4380,6110,8589,6318,6361,1482,3553,7346,6841,7184,8745,8990,1581,6153,
2107,5680,9526,2794,8666,7036,5994,3901,3361,7240,1,582,5730,3336,4574,741
5,6028,6430,9921,8382,8553,6131,9833,4001,8785,9189,6273,2221,8307,2216,96
80,9993,2789,1416,9051,8489,5335,7901,8073,9827,976,9393,3633,9501,4219,37
2,3414,5471,6427,917,36,4383,3581,3476,7712,482,1302,1680,2362,8881,297,24
27,5520,1333,3624,6423,1290,5111,9837,5116,5139,8380,9937,1958,1820,3009,2
566,595,2942,3482,8362,4291,5917,9582,475,1916,7124,3039,233,3466,8110,270
0,4301,5712,6620,4603,4916,1028,8621,4882,5606,4579,4186,9329,3572,6559,70
73,6883,9565,4755,1362,6954,1598,7655,1470,1928,4453,5886,7173,4429,1693,7
493,3217,5648,7526,8220,5976,7410,1177,9083,1602,4710,6416,7974,3179,6189,
443,3603,4063,6641,5687,7558,872,5322,2042,4208,2791,9529,8570,1732,2160,1
643,3176,1517,8618,3070,2854,5610,6063,4480,9939,579,3958,7577,8087,2375,3
475,7361,2674,4985,7004,8979,4270,1127,4737,4531,4975,1175,7684,4735,5044,
7007,6495,3154,7265,6572,7916,75,6461,9547,2908,9844,6021,319,3244,6971,48
24,450,2507,15,2268,8190,9197,5878,1645,9324,5602,6209,9153,980,6349,9490,
6818,5041,9564,139,7607,7028,4257,5714,5552,2341,2110,9594,4543,3700,6793,
302,1752,3518,5112,5879,5518,7910,1894,7604,6765,5385,4115,1448,7357,1365,
468,1106,5967,5893,228,615,1696,6339,1237,6271,2497,7020,963,5292,9155,500
4,8429,1080,3270,334,9181,3560,1375,6066,7352,8097,5146,9734,323,5243,6679
,5666,1485,793,1284,8467,260,1122,9154,5941,3200,5006,1176,5150,7574,5739,
4184,5321,5205,1668,2919,2824,5141,117,6436,1330,6714,4078,1636,4651,2016,
5955,2353,3817,4003,5699,9371,401,4239,9477,3107,3977,5995,2761,5837,5896,
2358,9285,3587,1185,8582,5498,9470,5958,3218,4119,8308,5389,6834,1117,4216
,3786,683,7387,3789,5984,2217,3526,3864,3584,8219,8406,7522,1052,2663,90,2
477,9513,3882,6410,479,8986,4026,7471,3310,7425,5422,9899,729,8047,7269,18
58,7235,1402,8387,49,6459,8497,3385,9931,4754,1174,5942,6999,1260,1385,127
0,4317,3963,3829,9160,3315,8542,7795,8517,8753,1058,5403,3638,7515,9973,75
84,9636,942,202,3191,2054,8007,4423,7062,1637,8894,9646,8663,1091,3961,710
1,7077,8709,8195,3925,5478,6522,8817,3291,9598,2988,1845,9540,1243,2528,62
30,7487,7443,4820,8823,2648,2519,1989,7055,985,4853,6105,6413,8510,8063,91
05,5776,5073,2673,3791,9143,2811,1838,2294,1859,7720,1130,539,8349,2849,80
04,3356,4286,379,1837,6239,2024,6649,2387,7404,9388,6711,7351,7659,1521,75
4,5130,8089,8702,8657,2557,9915,8662,9209,9800,52,9498,439,8348,4690,3790,
4838,4656,5901,5419,506,3148,3057,6204,8455,7481,8171,1436,5681,3997,3615,
7949,2013,2478,4830,7511,6380,1360,255,6838,2455,3100,9113,3321,7177,2078,
1458,8421,8944,2243,201,5744,1638,2872,603,4748,9577,3319,678,3569,4389,88
35,4682,1801,7029,4923,8869,9850,7993,8902,7504,3059,8537,5522,5768,9602,1
469,3840,667,828,444,6769,8095,7498,4052,3323,4792,8146,6134,9657,2950,708
3,7896,7343,9544,7988,6627,9017,7087,3005,2323,9585,56,5291,9269,8704,5560
,3898,5452,1125,1705,4701,715,4142,8970,1806,9997,1197,2286,8428,4379,7262
,4706,7022,9236,5418,3326,960,1275,5358,18,6072,414,4217,1515,406,5260,948
4,4067,1706,9092,3792,9249,415,9379,5950,4933,2541,5142,4222,2912,1182,441
1,7585,2745,4942,8813,7186,4288,734,9225,745,431,2094,8339,3930,3229,7945,
5820,525,1483,3382,4356,1426,298,1524,4442,2483,2531,8052,7733,7771,8212,7
305,2405,8646,3375,2273,4854,5974,1244,6569,2977,2748,4685,133,429,3854,31
5,4311,2652,6233,1193,3982,2506,3303,8888,4244,2737,2981,54,5057,3170,6575
,2665,4537,5284,9346,6061,3932,7478,6817,6491,454,6568,2601,8906,7084,5025
,1673,4297,6895,5230,6534,8796,9258,7340,3359,9631,6561,865,1873,645,9265,
6708,5326,2219,3861,2596,397,9055,4676,5991,7952,1551,8971,3745,5285,6170,
7987,8065,8792,2307,4123,7860,3349,2372,2208,3542,2530,1390,7809,657,3866,
8611,8282,2356,7356,3049,4585,9353,7721,2967,9439,490,5900,6740,124,5493,2
37,9858,6148,6223,1658,6753,9292,7070,5970,6831,3301,9929,2957,9720,4565,2
223,3219,5407,640,8014,7445,744,6067,8226,2127,7166,6894,6518,1526,363,31,
3938,8107,1728,9360,8969,474,176,8668,4034,2946,5042,7530,220,4944,7805,42
42,3699,6009,7819,6435,5391,6074,7828,4335,1012,6437,7673,5264,2604,4761,9
333,6493,3277,9963,6617,8661,5920,2058,9968,1782,511,8431,6312,9088,7217,6
186,9450,1071,8532,4938,9030,8640,2264,1874,7640,2775,850,4892,8520,6930,1
923,9300,2330,1730,8137,3800,7886,4218,3156,6825,3231,3783,5496,4397,6075,
8436,8694,5620,4347,7373,1552,730,8539,8635,792,5982,5805,7505,992,9714,31
04,4963,1737,3818,2009,6276,5325,5485,6790,4014,2322,3001,573,226,6842,769
3,1675,8908,8184,3668,4096,1553,8462,6284,7261,7875,8160,2450,530,9987,998
0,7297,7778,4482,9681,9094,3525,3313,5155,3981,2284,7238,9969,3025,1500,90
87,6698,7246,8359,9244,7811,5408,3235,6794,9278,9758,4613,9580,9297,9373,3
751,8617,4040,1579,8181,1291,8454,1898,7075,2841,5630,9121,1533,3263,341,9
67,8338,8507,192,7619,7514,6424,4029,2878,3690,3927,1461,5128,1153,9807,52
8,4517,4161,8144,2511,6293,1660,4847,8935,5754,3793,9299,5761,7694,816,976
8,3782,9033,6816,9880,5670,1172,5029,3445,9015,1715,2910,1733,5497,129,208
2,4746,7887,2008,6993,7241,8239,7932,2111,6732,6263,8035,7448,6375,1409,10
9,800,2564,5715,1371,4878,86,9920,3905,3362,6386,6000,3915,4592,6938,3634,
9047,1586,6749,4269,1347,8275,5936,8803,5018,5532,8272,6086,3213,3166,9584
,3874,4841,937,7872,8499,7976,2873,2662,3810,5965,1194,517,1135,1649,4904,
5603,5306,3896,6579,8453,3051,1397,1545,183,5151,8862,4462,6581,2174,2940,
9669,993,787,2425,5416,3109,3350,5102,9904,8441,5167,4635,8876,8468,3430,8
958,9086,8443,2109,7765,8752,3744,3767,6241,4089,2889,4325,2635,8166,4829,
5834,2189,88,8736,9871,6288,1215,8386,6359,7549,2249,7772,4948,1066,4898,6
467,2727,9953,1908,7068,3043,71,6605,7439,9385,8956,3328,6297,9045,9715,89
82,4939,4261,2045,1603,2440,9451,4502,98,7761,9331,9545,2416,270,6812,1964
,6090,4967,5957,3612,4726,8664,3386,862,4285,1934,7769,4087,6779,6516,6907
,7171,8976,2148,6181,1549,4811,2191,1655,6915,1040,5675,5052,4122,552,5647
,5581,811,4177,3540,7564,5026,3719,6298,7172,3777,3352,4193,3274,6905,2500
,2598,2247,3742,4400,326,7546,231,8254,7199,1872,2537,6398,6916,1046,778,4
883,8793,769,5824,6530,8438,8344,7507,1697,776,91,1062,9342,457,9441,9949,
9623,3948,5800,6806,1081,3895,4008,6282,4917,8242,4819,5954,7324,4664,2781
,6125,7015,1691,9296,4339,3280,1699,9989,5847,536,1387,4362,2222,3138,6540
,7749,728,2784,9301,9347,5368,316,6970,1612,6329,3683,1646,4826,6519,5827,
5156,8988,8051,3942,742,3246,1738,7133,6980,869,3069,2105,5966,593,9307,57
51,4935,1998,2183,4098,6799,1224,6783,7968,3727,4572,1322,3293,7273,9287,3
36,3749,7825,8860,4846,4573,3308,5171,2922,7433,4683,512,3228,2751,140,212
2,6526,488,4879,3888,9272,2934,7907,4653,5825,1818,503,4833,8170,7309,4860
,7736,6036,1939,1211,8900,5094,4338,6587,4805,8586,8215,2227,9917,9729,922
0,5576,504,5928,4233,7047,2827,8933,5486,1535,7401,400,5593,3381,5813,4776
,2364,6428,7541,8527,9740,6589,7086,4064,6757,51,8113,8471,283,2713,9131,2
409,7054,7636,4978,3416,7276,7972,3288,383,6212,9282,6898,8797,210,1773,66
63,6760,8480,6354,977,9101,9464,2902,3322,169,7759,3400,9428,1885,4310,942
4,4848,5979,4307,7223,9128,3819,291,9599,4345,5862,642,1651,1462,9562,9294
,2437,6594,8863,2995,9431,3899,9982,5366,1734,2567,9215,3018,6353,6076,715
9,5940,9396,7250,4155,7903,6914,8291,8061,7863,3871,4304,8214,2925,9011,75
63,7668,2672,6645,6750,5517,3841,4945,1045,8597,9678,2342,6798,780,5677,68
10,5353,7097,6182,473,3596,63,5278,6324,3305,1970,5669,7925,1145,2710,1670
,5871,8749,7037,8206,3678,2084,8465,6903,435,1718,5750,9795,1004,6683,4238
,7731,410,1222,7937,2018,6631,6921,6130,238,6913,1955,4350,2070,3893,6357,
4298,9361,6136,8602,1985,9062,2903,3110,7902,953,142,5963,5161,3713,6024,5
445,8513,8019,2457,4552,9046,5771,2466,9689,9210,4596,5558,5808,630,9202,9
414,2797,369,8730,359,2736,4532,4318,1536,8199,161,9104,9530,9879,7074,781
,8551,7789,6876,5718,9792,9276,2502,1582,8940,9187,3452,829,8909,9888,3870
,7599,6098,1723,5969,7767,758,6396,2473,5582,2128,9687,2879,859,8153,1039,
4156,3704,8388,7876,1550,8493,837,653,1678,6039,5,8374,6040,8509,1965,4106
,1492,6802,1816,2456,4136,6703,8440,9763,8099,5198,3489,8780,7843,3325,240
8,9688,3251,5462,6011,4555,8208,5443,4203,8567,4999,9862,4868,2325,7532,30
23,9279,9612,2175,7279,3065,3933,1905,411,1168,8405,6016,3998,1037,7457,90
58,9402,8132,6628,4187,2621,6281,8585,5162,4949,7735,9916,8800,5218,4799,7
698,7603,4884,7747,7561,9610,2880,6128,349,2570,7231,8897,6122,616,5258,90
97,1951,9123,5613,244,3652,8755,623,7146,6068,3573,8150,3135,2886,4492,258
3,7179,2536,4050,2484,7554,1221,5764,7163,3370,4329,7197,7260,7861,2481,69
65,7773,1995,9138,6721,184,2543,7012,6214,8026,1763,838,7201,9064,812,8290
,1623,8742,9589,5173,2684,6696,8794,8840,9293,6441,3962,5874,8182,399,1538
,280,6700,5047,2603,9275,2293,8620,4618,600,4605,1724,6144,1639,9050,2909,
9254,3904,1514,5294,2116,1336,2685,8929,7908,4584,3392,2778,4530,8545,823,
7354,2006,725,878,6439,8655,7753,6303,6220,7113,8316,5245,4624,6387,5628,7
402,5016,783,3651,4595,1478,3860,361,3776,4232,1035,4017,8871,5071,419,195
9,7854,9956,6132,3339,6646,8370,1391,2633,1907,9444,9061,2820,1150,8430,86
16,9166,5817,5297,8584,7239,6315,7950,4035,3153,5059,6593,7826,7626,6487,3
05,9382,7897,3195,6601,2046,8518,8829,9507,8074,7812,424,560,8427,148,7328
,9798,6367,8549,2786,3201,6733,7890,654,1836,4749,7103,2102,1257,1621,7647
,5301,2825,3127,1751,8285,6972,3471,6082,554,1702,3202,3395,8544,5283,5904
,5154,5540,8689,4234,5826,4885,9785,1943,8534,8516,6206,8213,1866,4253,654
2,8512,5580,5098,9208,8010,3165,310,2714,7154,4112,1323,651,9191,7727,3344
,5780,5591,9911,3824,752,3410,1013,7219,4669,2433,1392,5912,2246,4758,1777
,1475,7663,4534,5315,994,2513,3989,6368,2897,1349,1593,6521,2147,5877,3960
,4834,5079,1457,4681,5065,4662,9608,7725,4589,5051,1570,6890,6419,9071,270
8,8177,5481,288,4125,4103,6023,8032,2129,5836,8816,8550,2021,4940,1937,264
,8464,1881,9206,4729,5221,5922,8987,5438,2773,2057,3671,8965,8233,5799,527
7,8529,6951,6454,5989,655,2032,7657,3314,4092,7435,9256,5091,6558,8414,437
0,3801,9784,9286,7881,9923,5929,8501,8343,8740,4167,7679,5690,2706,2338,34
97,5594,5287,7760,7989,3063,9221,6761,8878,2699,7027,6080,7333,7138,3041,8
080,7594,7582,6671,4730,3296,6118,706,6871,6515,9496,9036,8194,6399,940,84
49,204,8914,7397,765,2417,3026,3698,4986,529,6551,5458,3636,4148,1439,5311
,1961,4982,2278,3173,4154,4496,5159,9988,4646,4943,6642,2504,5202,5759,563
9,2066,5500,4436,7117,7110,2565,7032,9891,9922,2758,6366,4296,8492,7565,92
39,1169,5036,9460,1993,569,7207,8739,1541,3556,7242,1382,952,1078,9664,919
4,3875,239,1632,4143,2582,773,3770,1512,9930,9366,3434,779,5797,2237,1759,
1432,673,9241,4910,9760,5081,1370,4951,644,7227,5324,3703,1447,1079,4809,9
717,138,8725,295,318,2494,5549,3245,1085,2169,2661,2206,881,211,732,7885,2
002,8435,8575,4731,1187,9601,598,1319,6203,5455,9782,1800,9817,2430,498,24
,9156,7456,7174,856,6177,7776,2639,8998,7021,1328,4094,1847,3183,2949,9457
,6035,1263,2766,5911,4983,8870,3637,135,1707,608,8394,1465,617,6042,3912,4
732,7878,4865,2130,6114,2410,7634,9481,8244,3077,6885,2459,1890,3822,8313,
7147,9376,5089,7255,9040,8905,1229,1870,5225,7053,2931,4086,946,7430,757,7
315,3655,7560,7631,2383,9107,5609,8225,6797,7358,4767,5841,6936,1803,6612,
3080,8515,5359,3019,4299,3889,7427,5773,3076,1766,9335,1137,1963,9914,2413
,1109,1353,7059,8733,17,114,1415,8156,8805,3565,3644,7178,1711,8893,1472,9
852,1374,5999,5887,5943,7247,7208,8519,1217,2434,3412,806,4268,2818,3391,2
548,808,101,6788,5700,5113,7654,6466,7111,8758,3968,9407,9925,8836,8036,69
91,2055,9548,5923,9066,5118,8947,9813,2025,3259,5235,9115,6564,1607,5068,7
676,851,6249,7583,9767,2770,9653,9355,8118,7013,355,3372,5054,253,2555,671
,4714,9938,6330,2732,5846,8197,5695,6393,5395,4626,4365,9475,8333,5605,201
2,2292,6655,3242,1388,182,8404,5525,7451,733,9416,2464,4511,7707,4850,8264
,5011,6988,6563,8547,3708,4251,6158,4363,438,1717,8247,5807,6286,3159,4932
,7216,1464,4424,1277,9343,6085,1250,2819,4046,6217,4743,4131,6304,6492,534
2,7717,5783,3029,795,97,5988,2496,3970,8569,6959,4952,7067,3657,3169,5835,
5393,8866,7921,4478,3947,3267,8997,8538,6500,6301,8237,2248,3256,3193,8224
,8959,4406,2803,791,6222,1604,7970,9291,459,9972,8999,6852,7527,9600,8901,
4554,1441,2968,9975,7444,2866,675,6635,5512,9794,8442,500,4500,6781,6411,8
948,3409,7783,3304,2363,7869,3734,1006,8323,2495,9491,7852,40,6957,1325,46
06,8822,2980,5414,1167,5318,9849,749,5203,3562,5719,126,1216,4360,7338,527
5,2334,5884,8696,5166,1900,8353,9060,7862,9459,7393,9289,8069,4404,6994,57
53,9173,7790,3163,3648,2100,1918,6780,922,741,3886,6038,815,2131,8071,2485
,6846,5488,9480,5779,2982,8056,1200,3015,5247,5701,4667,8555,533,4240,2256
,4522,6850,5477,3559,2044,3862,4852,3397,1980,586,4576,4375,5621,610,8027,
9127,1865,6285,5085,300,9555,1298,4260,6161,8941,1410,43,5398,2061,7681,56
8,9118,1676,4357,8384,2196,8989,6251,7,7323,173,1508,5546,5229,6629,6084,7
851,3276,9990,7485,8277,2373,7035,6782,5539,5088,3756,7214,4652,4518,294,5
377,275,2703,4887,6837,4597,4256,5033,8483,7964,5973,8562,7282,9694,8599,5
859,4031,7270,7915,5425,4341,312,1366,3674,9769,3462,6458,7806,897,959,571
1,2521,2136,7661,5212,1988,2290,9263,6879,9532,9472,6308,4249,3007,9161,52
71,4503,8117,9805,2795,8573,95,6121,1352,7985,4207,3571,2576,1826,3784,337
4,6840,7518,3188,2508,9701,6967,7167,7204,5507,9535,8235,3078,7632,3721,91
51,150,949,2527,9536,39,7322,7816,4146,2304,5444,2515,8782,4369,4559,6092,
507,6352,1287,6004,153,4659,5401,2030,7938,1804,4870,2832,6294,1522,8377,3
795,9465,8927,8653,691,4168,4990,3759,1933,5469,5056,7650,8535,8706,1997,7
559,8088,2101,6160,7413,605,8216,4742,4869,1179,3096,782,478,4570,437,2821
,5305,4890,9159,8085,491,8627,5470,8457,9771,343,2965,4402,750,3953,6611,1
45,3332,8980,9413,9095,3481,1543,9419,8466,2861,4188,5392,350,1600,8013,89
13,3467,1681,4170,7868,1922,3775,2970,1760,5897,4479,2253,9461,4153,3645,9
340,7419,9165,4642,6444,2225,544,4875,7341,7997,788,1059,4267,1069,7553,22
29,7701,6180,735,1346,8992,6942,221,5964,1903,720,5818,3306,6292,2978,6307
,9026,6001,2863,8996,1289,6830,1136,7627,7355,1419,5020,307,2647,7371,9655
,6880,7499,5274,939,7259,703,7092,1630,6326,9640,5172,2883,6528,987,6728,3
238,2667,666,4293,7293,1852,3142,7492,9251,6226,2890,7935,6014,3157,1116,1
356,738,4968,6615,22,9894,5281,8361,6975,4190,382,1254,4226,1892,3075,4741
,4076,696,1094,961,4102,559,3279,2178,8865,6146,6321,5802,1953,3027,1825,8
937,9427,4319,4459,3590,8357,5885,722,6888,755,9397,3660,9971,519,2365,528
9,5672,3811,4439,3924,4427,5674,8711,6138,8571,7461,8587,1784,1378,5986,39
80,3264,3106,8341,8152,6197,7056,6397,5851,455,888,4657,1019,2310,889,1420
,7660,8423,5515,6371,6260,4803,365,4457,6269,927,2768,5935,6342,2712,818,7
447,6911,2452,236,3406,4290,7814,8867,884,5168,9020,4772,3446,3103,2953,78
32,5034,3705,2255,8283,4151,9719,7459,4015,3897,2446,2271,6227,8623,2250,9
142,4736,8503,3583,3952,3046,8383,5854,3468,8855,3892,4295,1204,9270,1219,
8000,4815,3032,2769,4795,5475,5586,9632,3520,464,921,2638,3289,1829,4984,5
861,2156,7479,2798,4675,4740,3056,7763,8500,3012,2498,4686,8724,1102,9672,
6055,652,770,4823,8819,522,1813,1528,3826,9359,1688,1861,3011,2518,2823,33
68,1615,8255,1107,1795,7883,1917,9765,6774,9327,4469,5742,1569,3215,195,96
98,8422,9001,8703,3950,6348,8762,4333,882,8968,105,1567,5169,5634,9471,892
8,5728,601,9141,2906,2907,7476,5447,668,471,4061,3122,2476,6070,9724,9323,
8020,6415,9216,2461,1768,4922,8775,2049,5844,8055,1369,152,8671,6963,709,6
849,1843,1897,2179,1452,3809,2660,8770,2701,3221,4913,1532,8319,7211,5387,
7939,4658,7665,2675,1236,209,4744,4278,5062,6033,8949,9908,287,4283,2895,3
084,8612,2689,9876,8698,286,6730,417,3547,1000,33,5809,9952,1682,4252,7271
,7278,4946,9109,7775,1451,2471,3588,5031,6403,371,1295,8249,9280,3496,7501
,8375,6485,4864,8105,7192,8672,3761,9628,276,2277,5822,4091,8701,7573,6745
,4734,245,3852,308,3806,3171,1466,5095,1444,5702,2438,9587,1383,714,6392,6
968,2337,9493,2063,9823,1476,1780,6943,6735,877,3094,7973,3124,8488,5103,9
860,5616,4047,7961,1321,3066,8267,9468,1424,3160,7833,5126,8898,4924,4981,
9707,1438,11,8263,85,9509,3207,6062,5527,6267,2735,5915,5624,8450,2614,891
9,9010,271,5216,802,1798,1183,9808,5562,7870,5503,4224,6205,2655,6069,3333
,7924,990,7383,4021,2808,9172,4769,9315,2043,1281,6262,3779,6525,2956,7615
,3532,6855,2973,710,2252,6149,131,5945,1453,1149,6872,9662,5017,807,4043,6
658,6404,9652,4274,2869,7082,1656,4733,6859,3187,7308,157,3738,771,5804,93
78,6754,7705,4604,3972,2132,3058,2138,7326,178,676,8558,1506,3438,1614,828
9,5363,7490,786,6809,6939,4382,2871,9375,5120,1547,2207,6309,3597,3369,553
8,911,7906,6057,7894,1044,606,8777,7918,9677,1189,8877,2822,6252,1095,1969
,6003,3975,6680,1112,4694,405,7943,3422,3730,4545,8643,7664,4802,7329,3750
,7779,1027,8301,3566,3842,1936,3435,249,1994,6216,8066,1437,3808,9551,4907
,2064,5499,8299,7337,4228,6355,6722,3752,1576,7491,578,1203,9224,1142,9821
,137,5551,9936,2891,4438,8015,1065,7488,7045,662,583,5417,9924,7726,1214,2
54,1619,3417,7263,6511,6727,4891,4326,373,1097,7325,7529,4936,8355,1399,24
89,6861,2669,4491,7455,6795,9245,9344,4174,3474,7296,629,8916,8631,4088,39
96,2204,4344,4248,6509,1054,2349,9611,7545,9317,8311,8376,7109,3662,5640,9
06,9741,381,9736,9802,5077,6382,2380,1361,1648,4456,3803,6741,9021,3493,46
55,8833,2218,5402,6864,1530,1344,9804,8143,3444,6218,289,1164,9079,5378,25
0,5237,6450,4262,6694,1225,4751,1324,1060,8938,871,6489,2540,8116,3249,683
6,5646,4100,1251,6256,6822,6955,7183,1662,1036,4557,1162,3577,7168,356,350
6,5642,3630,9567,5645,1144,6675,2335,5257,4957,4448,5086,7436,2741,7468,70
58,4213,6828,5449,7494,3805,6299,7313,8600,8828,1713,4133,5184,7473,7700,8
765,4971,7002,7225,9810,2332,2026,592,9406,5043,7256,1616,5405,3766,3511,3
828,6245,9218,6257,3152,3574,8854,4388,1126,7808,9959,8801,4538,5944,7754,
5259,6928,4571,1297,9394,2482,7520,2534,9080,6194,107,1104,3985,7590,670,7
344,5399,1396,2900,6483,5696,1950,8523,3843,7126,5180,868,6630,7314,9877,4
432,1230,1864,4781,1305,4434,4716,4855,1739,9075,6071,7432,8788,4790,2098,
3673,7926,3004,4255,3335,2203,2802,9284,505,9085,2414,4610,1912,32,8595,31
18,2029,562,177,1296,1743,3101,3253,2618,8053,5689,2234,3971,3134,822,3404
,3363,4542,3449,5657,731,1562,4316,3505,9960,1566,1769,7040,9774,2729,3669
,7230,2755,4493,7605,8625,998,534,3036,1132,7143,892,1253,8601,4272,9232,7
598,1618,1209,5149,5898,7817,7525,7272,6101,4994,8204,5197,7287,3192,224,3
143,8609,8591,7793,3116,9277,8090,5346,9803,2212,8365,4452,9819,9815,8031,
6986,5187,9057,8679,3348,1611,8628,5852,8193,2389,5021,463,4030,7381,7349,
563,4516,681,3823,6313,2360,5611,3918,7135,5461,4007,106,5902,797,9910,240
,4033,1742,4782,4993,7656,5367,4173,5001,3248,5724,8690,7213,8295,3921,119
2,4927,3512,7258,9762,8603,2392,6660,4871,367,6347,6341,6946,9059,8256,818
9,1940,9328,6787,2843,1850,8446,7685,5511,1158,926,6743,8670,3647,3835,286
8,2060,8297,9621,3016,4197,3715,5250,8246,9571,2276,58,860,4180,4099,3064,
1405,6512,9783,4337,7653,2749,358,4614,3939,3394,5270,4315,384,834,2242,39
51,6920,1534,2628,7431,9943,1945,8188,2533,3641,6677,2209,4374,5279,7442,8
90,2411,4961,4513,2329,8335,6582,7353,2435,813,4024,3073,979,6504,1210,207
2,7652,9266,7557,1407,5040,8592,2679,2597,2400,9885,3161,6644,5925,6159,15
63,8957,4109,7311,3047,4137,2059,7914,3928,2642,4081,1110,3072,6176,4215,9
749,3908,3436,740,1753,9812,9494,8022,2846,4980,7026,764,5706,1808,8808,49
54,1201,5881,335,799,9799,8021,3541,5192,7682,77,5379,1364,2836,713,4121,1
414,6584,6866,3879,3265,7209,3285,2779,2238,1559,9453,1954,1595,876,1139,7
570,3131,962,6882,9906,9469,2097,685,1726,1624,8737,798,1428,5856,848,8002
,8324,9558,2296,7746,2688,6786,6725,5345,3371,6691,6103,2201,8092,5066,759
,3054,3020,7464,5961,5948,5740,3986,689,6179,8012,1876,2079,9264,2265,6505
,9226,5479,2120,1540,445,1667,3957,1949,1805,3570,4956,8057,5262,180,3271,
5693,218,2486,2707,5934,8409,7623,7877,2149,5777,2935,2971,2687,1320,8946,
6715,3427,1496,8886,4466,6163,4906,9791,3605,6766,698,1704,190,8093,8135,2
449,8296,6529,7321,6246,2035,5676,2407,4789,7751,1372,9449,8211,7999,1558,
1774,6046,9169,7155,9674,5131,1180,5506,9773,817,1467,6184,1148,7283,5241,
4616,170,5331,3943,5329,9445,6857,7312,8062,9992,9881,7991,1043,6083,9991,
5396,5524,712,354,5376,2393,79,1793,26,1529,7781,206,7743,9855,4627,7757,4
521,2753,2263,4135,7332,1413,1123,5093,1108,4577,3945,5635,9067,7363,1278,
4695,2874,9940,784,7019,570,1659,3175,2318,6008,9488,5815,874,1577,5364,39
56,2867,2987,4840,4628,4721,2859,3677,6362,2857,5756,8574,5406,594,3151,95
41,5288,5956,2882,119,9099,5732,925,1063,7285,801,7392,7212,3807,8109,7088
,6922,1115,2963,1262,1252,4510,3531,766,5767,1264,4205,8029,8978,9754,2785
,3050,950,9454,5737,1479,7648,9212,5450,2231,4077,9616,9168,6345,4785,3459
,5876,3937,9546,8514,870,1975,5158,6710,2697,5865,1332,1580,1246,1348,4561
,1163,514,5774,8175,9912,3717,4901,8778,3880,3083,2616,9597,3184,9974,2020
,2180,2585,571,4005,1256,5595,2694,3048,5344,8757,8396,2893,4844,4813,5910
,6449,2812,1930,924,1982,6401,3917,9686,4617,1560,5381,5938,4680,2554,7562
,2214,7463,9797,9588,6829,7396,8108,9722,9039,6089,4550,9199,4303,4582,619
1,916,3281,6258,5160,8330,3902,4638,1568,6015,3419,914,1113,9392,8198,3881
,5997,6820,3330,5795,707,8157,6982,971,7849,3413,197,3920,1554,6819,4265,8
667,403,3102,5863,4842,8433,1741,8064,2816,9399,5357,6606,5096,2777,1754,6
763,1288,4497,5673,2666,957,4926,5599,2399,4093,6275,8367,3611,7460,7922,4
798,7802,469,9012,4458,5050,7347,2594,345,6338,5441,1068,9604,4343,6481,94
11,7713,5114,2350,908,1875,7327,4399,8825,8751,9435,2119,6976,1490,2558,19
86,4908,6545,3210,3483,2193,8809,5946,9718,2975,87,2233,3747,6567,7203,150
1,5508,3300,1789,5380,3399,2499,2106,1056,7424,9492,4212,2941,3739,767,650
7,5058,4808,5510,9668,465,4631,4450,4526,565,1606,2834,8675,4117,1273,5208
,3845,1589,3891,5265,1460,9870,7645,5140,3974,9120,8385,4650,3667,6390,758
8,9179,7971,3650,282,7963,7181,2432,3507,6844,4553,6172,7005,2099,665,156,
1853,989,9028,7691,6058,7671,6835,3846,3855,1101,5812,2005,7292,7003,4488,
5772,16,4801,4896,4524,5951,1245,2422,9056,6791,5375,3853,1430,8234,3091,1
239,8037,4556,8165,7121,3725,8268,4200,549,9003,3198,8769,6381,6465,8078,8
378,3137,4998,3513,6768,5276,2840,6600,8366,4700,8974,3491,3093,9624,7614,
4038,461,162,4827,9845,7953,7206,5651,2578,7810,3114,5918,8799,9229,3278,8
911,7831,1810,8712,6095,8426,4381,5175,4361,3979,9996,4037,7930,4930,7688,
3456,434,2654,6550,719,7571,6350,7116,4163,3172,1480,1064,6102,2479,809,95
79,5557,194,8771,2917,1473,8524,5671,7220,8223,6947,7195,2027,1642,5579,11
2,2591,2339,3061,900,7722,1293,8963,9467,1749,8044,4594,9986,436,1242,5256
,9596,641,6261,9349,2545,8417,9747,274,8606,5568,7403,9898,9907,466,633,53
48,5070,2385,4199,7635,1657,1664,1161,351,4495,1776,4725,1304,879,4903,384
8,6165,5845,5534,2731,2833,2951,3003,408,6996,8202,3337,3900,656,1925,3071
,5968,8811,368,5626,6310,7711,2911,9415,3691,2542,5729,9708,6796,4962,9947
,1011,3433,7152,6800,7857,6111,756,2316,4886,4818,9864,4306,3014,2137,6912
,8849,9976,8787,7503,5565,5819,4421,6022,2725,3812,196,2556,8735,7200,9391
,9728,1005,8018,2211,6344,4909,4273,4866,8590,9738,2314,9117,936,2155,3877
,5937,5473,2853,6510,7064,7422,6602,7286,2439,6041,9145,9336,7822,9205,452
9,9267,4499,7818,4041,4281,7360,9,481,3610,8452,4162,6050,6190,8604,1403,9
527,2718,1082,7644,8045,5597,8317,1677,4373,3537,3510,3697,2923,8887,1627,
9918,5176,2118,3040,1042,3890,1663,4271,6513,2609,3494,8834,5374,7675,5122
,6633,4507,9417,6168,3653,8284,5215,8564,8028,8398,6523,8473,6421,777,2586
,9843,931,9037,3216,6480,6340,7157,5607,5533,1573,6962,6807,7859,6931,4417
,6712,2937,2774,1807,2458,2643,268,2610,8054,470,687,2983,2813,1427,7630,4
955,3139,7531,3168,3595,5063,2421,7815,7900,6306,111,252,3299,8347,5590,10
18,7076,1499,2254,2442,4699,8741,1337,8096,2428,3724,8687,5138,6897,4778,7
303,2939,978,8580,4581,57,6327,1714,223,1435,5870,9185,7612,845,6853,8577,
6775,9661,9213,7391,6167,7839,2944,3378,262,2831,1208,396,8408,3561,9500,6
384,6278,6881,9639,285,854,5484,9352,8953,4036,6771,5903,5186,7780,1884,95
86,3607,4447,393,2092,2161,3716,1771,1484,203,2289,8705,4902,1906,8340,695
,1088,8479,9538,6941,6596,191,5921,8885,6734,2649,303,3604,1494,1184,3554,
5078,6173,4025,1159,4546,1205,1212,8951,9983,2444,9271,7578,9100,8700,5574
,7098,4937,9438,6672,4359,108,8818,8726,9310,1716,8346,7129,6385,9096,8605
,7182,8874,9295,7466,2308,5207,187,8638,25,8261,6228,8858,171,6667,3225,74
72,5600,8458,6742,3490,649,5293,2551,5890,844,8566,3254,272,6394,7535,2805
,8598,1311,8158,1896,790,4784,4874,3564,3211,9184,718,721,6360,7011,2936,6
417,2259,9167,5067,9070,2552,9447,9725,3262,7130,147,7892,5866,8637,5048,9
835,6115,1979,3993,7374,3774,2086,2117,9158,6099,6013,7411,3665,2523,166,3
082,5629,489,3821,3364,9473,9614,4634,2612,6081,2157,8678,827,3528,7428,40
97,2359,7858,3709,1400,84,611,896,5456,7417,5981,115,4960,9412,2346,7617,6
681,261,6470,6826,2019,3155,5338,2301,9283,5436,6654,9875,1030,7550,4126,1
067,2159,5537,5542,1509,2998,4019,3820,3693,7030,9133,5022,929,9716,9552,7
940,9305,5147,9183,9408,7112,4157,6005,7928,2170,6823,2847,9354,7210,7521,
5115,5024,5460,6926,428,5104,894,7774,9569,7586,7702,736,8111,6097,3682,98
92,1398,9873,3616,7299,1860,7454,8680,8298,8750,5101,4445,8495,7114,1318,8
241,6219,8274,8456,4851,7467,1513,3121,9207,3769,5697,8133,3136,3365,1199,
1166,8781,3055,9742,136,8852,1014,4072,1796,2352,3865,7275,5037,6455,4132,
2480,4768,2303,4195,4313,6135,6379,395,2395,8719,2760,964,6546,1357,8139,8
918,743,6720,7871,8155,5559,2569,9705,8230,1418,5842,7677,1315,625,2702,19
14,9622,4426,8842,6405,8086,3472,6868,7267,9521,9985,10,717,6266,3676,7509
,5823,6717,9766,9828,5370,7510,6574,1901,8844,4085,1047,3659,9704,5939,143
4,1880,8251,9314,7131,7318,9103,6585,7516,3580,8759,3123,370,2593,933,3906
,8691,6425,1756,9102,4800,9809,9386,1124,3728,7600,2091,4934,216,557,1309,
9933,9403,9126,9341,7382,8682,988,697,4384,5072,4263,6651,9675,7440,4070,4
364,3031,3714,4766,5855,4289,1007,852,3320,1266,8718,4420,8281,3233,9204,9
927,4023,6034,6236,8459,2547,6858,7202,1996,2722,1511,4169,7947,4042,2644,
3133,2000,7978,7856,9683,2205,5570,2386,2469,6051,3656,7281,9635,700,1010,
62,65,4567,1178,2733,3799,1868,3396,4765,8681,7927,1038,159,1799,1708,6250
,5641,7791,3045,6682,1902,6565,532,4639,8164,3086,6007,2015,5337,3182,6697
,6636,4185,83,970,3141,2158,726,5992,9737,6906,5889,7310,7847,8768,5211,97
39,6277,5791,3257,5858,9175,5598,4300,5137,6805,1855,9573,320,5328,7378,33
27,5411,8945,5656,7555,724,5905,4515,9515,6953,2656,8354,407,9163,8434,374
0,3929,3508,34,4925,5686,6268,814,3376,4377,4514,4013,3268,3598,9476,4843,
3910,5867,7638,1152,5615,4969,4150,8883,4727,589,4788,3763,7803,2572,3535,
5604,8236,3869,179,4348,2210,3838,2396,3206,251,996,4717,2974,7180,8642,66
1,4410,8713,4484,7122,6639,7651,4919,5573,2470,4320,3522,4407,1314,1548,84
72,5649,5330,3754,1683,1942,7597,2451,9401,537,643,2804,5268,5312,5490,783
5,9013,6025,7078,7799,9082,6164,9136,2746,2960,2488,9027,1601,5472,4779,92
00,6433,1762,4418,5129,483,2681,9958,1641,6429,3672,2152,5320,2419,412,985
4,1710,6580,8262,1235,6093,5196,6490,5228,3149,9757,7979,4551,5762,647,960
7,9566,2976,21,9106,1292,7224,9078,9255,9319,8130,2696,3236,8837,1271,3408
,8187,2728,3743,5476,2999,1971,1854,5883,5437,4164,3241,909,1703,1303,7764
,2173,2629,4723,2376,1241,5778,2719,6468,1561,5309,9658,886,1143,5960,9832
,9556,4872,923,1300,9508,290,1119,6586,4152,2799,3857,9735,3129,4276,1131,
5308,9764,6120,2924,4520,7185,6077,2384,8337,6669,8358,4719,7748,3035,3128
,7699,6370,3120,8615,8368,7965,8005,8761,6514,2257,2877,5263,846,1633,9696
,6200,3689,2226,2626,8528,9820,103,6917,1186,1248,9866,4506,7821,3090,1160
,9695,5494,2848,6296,1983,1440,9063,5833,5362,5009,635,7151,6637,1578,5810
,8121,1151,246,7165,7041,3484,1412,413,2474,8041,8162,1835,4082,9074,394,3
292,6300,2198,8478,9274,3358,5775,2579,2535,3516,6661,2114,404,6723,1744,5
244,6448,1510,4950,7732,9932,2354,7198,9426,6607,9732,5769,8336,7050,4071,
3290,1093,895,3591,8962,2135,8167,9789,6280,4691,6995,3428,4836,3273,4527,
497,5083,6827,3833,3380,5959,96,492,8081,4403,2634,164,3629,4284,3125,3850
,864,1339,7408,7589,4987,3237,3646,7215,1920,8475,1991,8420,4366,362,819,2
236,266,269,2793,8016,6333,4368,5027,3976,243,8697,9890,189,4116,1871,5269
,5850,4128,3778,416,7038,1099,7796,4336,2653,4648,1775,1481,1285,2810,5349
,6059,9303,8273,5875,6934,5119,6737,6178,2475,2453,3772,1976,3307,9570,863
0,2187,7251,4044,462,1862,8287,6613,5125,2501,2756,7141,9338,8511,3383,773
9,4243,5924,2904,7513,3576,7376,6221,550,4266,2683,4692,8684,8506,5829,483
2,9365,8619,9332,1049,4541,516,1919,141,3718,2426,9647,7016,4688,2759,118,
6438,2901,6684,5302,5371,8176,3639,9298,6272,1471,7996,7277,2177,2011,6320
,1073,4308,3649,5770,5566,4241,4599,7486,29,1888,3913,3931,6369,9222,1034,
3694,6945,4340,5199,6964,5985,8196,8839,7364,9164,7483,8034,1992,4812,2996
,247,3458,1757,7552,669,2023,3955,8309,1223,6776,2381,8373,650,4750,1228,1
279,4124,8231,9111,8444,2913,7057,747,3680,1276,4548,6707,2036,8985,969,29
3,4867,3,1787,70,7845,1008,527,7912,4670,4715,1647,3599,2985,6019,7128,262
2,3360,8924,4995,4678,2698,4804,4004,9733,5300,7708,8654,9981,5356,9603,59
19,7160,4720,1355,6848,4292,4845,9897,2068,7470,9038,9489,3502,8873,7072,8
636,8922,1459,41,3486,8766,5931,6665,8169,9591,6923,7102,7232,5725,6673,15
71,1591,6784,3781,6758,2505,1146,833,7051,4054,9380,9811,2262,6265,7042,44
54,2270,5803,7834,3087,1748,6801,7768,1695,8972,4302,5563,6770,8882,2213,5
492,3331,3685,7666,1878,2690,6328,7716,6619,607,2367,8810,9523,1712,3785,6
365,5273,6652,8872,6351,3140,4056,7010,7134,5691,9214,8402,8445,5575,7497,
4705,8128,6547,8651,46,5319,7091,3748,9663,8205,6094,328,5521,8546,3632,81
29,7602,7331,7480,1887,484,1812,2720,3357,9390,3839,4889,4279,4376,1425,20
52,6210,5781,2378,9955,3181,8607,5704,5231,2319,1002,956,9243,8610,2627,15
55,4862,9140,4837,1967,248,3389,472,8669,9174,7658,7547,3309,1625,8148,102
6,6777,3067,2398,6618,3203,3021,1794,7537,8856,5334,941,8923,2711,2608,776
2,7909,8312,9909,8508,456,3887,5194,8760,3343,7017,460,5528,3146,3421,7737
,3885,9313,6259,8583,1173,3247,6532,1141,6693,8401,2251,2051,4141,9615,858
1,1822,6030,2830,5688,9590,3675,4176,5182,3631,775,128,380,2441,6562,1493,
9964,9006,7394,6854,6141,8964,6702,4501,6389,5394,7755,508,7738,4305,9442,
5947,6029,7836,134,5577,1024,4671,1815,6464,2240,9869,6295,6498,3130,1824,
7398,7960,9455,3946,4722,5206,9867,8149,127,4487,4702,9772,4134,1261,5668,
9014,997,165,9422,7508,5117,8469,242,5547,1849,4668,4352,7911,5745,7687,45
8,3551,3013,944,4856,2844,6695,634,6527,7794,2984,2926,1213,4053,2613,420,
5339,1313,9759,4209,2739,104,3954,4171,2331,5596,1406,3448,6279,8120,8624,
5932,2297,3487,1783,4225,2887,168,7667,309,5716,664,6334,6270,4221,4139,98
3,6456,5794,2454,7175,8178,3695,2780,5226,3432,3720,7254,6207,5060,2892,95
42,1999,348,7680,8920,8210,3539,1644,3681,6171,7085,7786,613,3174,476,7990
,4280,9234,9404,5990,9670,4989,2014,3664,1904,3617,1653,5463,6591,6443,964
9,2757,8100,8222,1350,3916,5721,6974,6536,3377,8476,7936,5627,9576,113,931
6,8890,3684,2806,3243,8059,4258,1758,5039,9007,2267,9261,5055,873,2351,104
8,5435,4179,2412,3366,597,5409,4196,2826,7613,7986,9550,1778,8114,1827,621
,7827,2181,7624,7784,4593,9429,6676,8683,1765,930,7420,4708,4020,2391,8228
,680,64,3113,7692,912,8082,5482,7474,4816,8838,9479,3941,6808,6764,3454,87
15,5064,9777,7905,5132,8594,5643,2734,7880,3692,6254,5253,1516,4953,8369,5
340,5972,7865,1087,1070,4475,3495,1206,3294,1274,8102,7452,7983,4422,9525,
7524,1086,5684,6544,7929,2716,7380,5333,4235,2172,9369,3753,5254,2842,8048
,8,9503,880,915,6052,7359,5028,910,4931,2300,9250,3081,2509,1587,2445,8955
,3706,1050,3401,385,7951,7226,322,1842,761,357,2611,1247,4460,301,7587,882
7,5365,8895,7904,1640,1259,5400,9129,2678,185,2112,8161,9196,7714,7158,523
9,325,803,3765,9994,6032,9642,7194,7104,1867,9042,609,5440,8221,9839,3342,
1674,3194,7119,5860,8723,8652,421,6031,6940,692,2423,9495,574,7438,2336,26
76,7407,5831,6346,7229,8714,2574,4189,3354,3620,1556,4523,7715,3424,4393,1
915,8067,3463,6640,1103,4342,9825,3609,2529,8804,8470,1694,1181,1889,6117,
3701,6556,3851,7423,3199,7984,8484,5495,2083,3405,5491,8645,2589,9238,9713
,2001,3702,8764,4330,1679,1128,9320,1170,701,4245,3226,2966,3757,4323,3441
,3222,7108,3594,2298,4959,1190,3461,4144,1546,4666,8560,4486,1280,6109,207
3,2588,9574,883,4204,7236,3204,843,3499,8252,3568,4470,9148,9186,4498,7893
,510,7170,6821,2007,6482,132,8931,9219,5061,146,5983,3627,3498,4698,7375,2
022,8746,4583,8850,9775,6608,1690,8364,5217,9008,2790,1857,8342,5082,4608,
2280,60,7629,6632,2641,7670,6183,9786,1498,2355,5434,2037,5662,4158,6408,6
716,6566,9425,1021,2431,5654,5996,8710,2074,3635,5749,2920,1817,4138,3440,
6391,3545,8424,1055,857,4918,5108,8151,3240,7153,2563,9363,69,7100,2096,50
07,2165,8851,674,1384,3185,5135,2636,9389,8098,7704,9180,5832,622,1329,619
5,8727,6151,199,5295,1981,7500,7465,259,9637,9511,174,2140,6150,7718,1423,
4894,9018,9902,7008,8494,4490,3746,5468,7752,9744,9022,5561,6426,9193,9409
,810,1846,3619,1924,9302,9709,6950,6877,4346,855,3514,7625,1121,4419,1156,
8276,1544,7266,9434,3282,9420,2190,258,4712,5249,8904,7405,4039,1220,4629,
5310,9211,9452,6175,1588,6845,6555,4505,1450,4324,3735,6824,2747,2573,7123
,7528,4623,6188,5046,618,8486,3388,4367,986,4312,7060,5248,7105,6305,6238,
3934,5743,5466,6453,4757,8381,9831,7024,9231,4549,1736,1537,2195,278,5848,
2406,8814,9506,1596,6952,1520,3469,388,4640,9031,6213,4449,3480,1626,2108,
3859,8322,6185,2379,4814,958,7782,5105,7191,1380,1891,5892,9076,9645,8774,
2546,5864,5053,8930,3037,5505,5002,867,9089,6833,9052,4770,149,2048,5157,7
544,6713,2188,8588,8502,1938,2658,1075,2850,893,3538,1306,9462,9005,5880,8
008,4051,2615,6878,6524,6244,3534,753,5782,7304,1031,3478,8372,2462,1661,2
550,2772,1218,1720,4059,12,2028,8017,2742,2220,9935,4079,5873,7187,2865,70
93,1376,1233,1477,3447,2374,5694,4264,5282,6473,4192,1608,7294,1283,4564,3
796,9755,4988,6648,2162,5233,515,1910,5519,9437,2369,4413,9730,5567,2738,6
79,8481,2856,1446,1358,3470,3158,5882,9848,7421,4282,3994,5816,2317,8023,7
709,9312,2862,9712,48,213,9620,9816,2659,8203,1129,3250,8463,1417,1100,925
9,330,3658,1015,7866,9150,3232,7063,2348,1463,951,7788,9041,4016,1935,9776
,3827,9034,7295,6506,9568,2947,7222,5723,4055,8083,9690,7542,5930,5553,866
5,3723,6231,5220,1764,8496,3220,9108,9053,2538,821,8722,2575,6729,4069,766
2,3252,5209,3509,4536,5592,3255,9572,3600,4006,7895,5219,8993,7406,7319,18
56,1948,6552,1622,2123,4972,4661,7742,4773,547,398,553,6064,3079,3849,9946
,7409,2313,215,3737,5152,7384,6332,8091,2979,9793,8891,4873,3230,3269,234,
746,5765,232,6383,7335,8001,2343,5303,8861,6469,2239,333,9139,5906,9152,62
25,5355,7610,8629,5766,8419,4473,2067,5238,8973,3543,7729,6884,1368,7127,3
32,3407,6570,130,3834,1911,824,9325,207,2125,5664,3227,5420,8451,9796,1786
,3773,8326,120,7144,6549,711,5554,8103,6910,8892,155,4378,9203,5585,94,169
2,2933,3126,2525,4533,4127,2514,6869,6202,2333,1834,4575,9330,2599,6123,69
01,716,9753,9667,1527,9440,9634,627,6044,6155,4022,6704,5763,5242,2279,704
8,5516,7686,7061,3178,1442,835,8747,225,5467,5350,2069,5323,7579,4660,8350
,8006,1863,337,1750,7372,6599,3707,3283,3922,5679,8207,1709,2885,4598,3108
,9853,2443,5962,2460,7205,6462,8786,6400,3797,4000,8412,853,8692,9016,4431
,8397,4562,219,6583,1118,9358,5530,4839,1335,6814,5134,4665,6625,6543,1111
,8903,2646,3324,6973,6472,1684,3373,5195,2121,7189,2075,694,9400,4409,7538
,7330,9485,4806,1745,913,7188,2838,9423,2103,5332,110,7156,7830,6237,3212,
391,8899,35,3465,839,9806,3967,5543,3856,9787,5741,9887,2232,6687,9710,877
6,1883,5410,1620,3504,1195,6929,5317,2620,9770,1523,4080,5727,2275,6434,96
33,2199,1422,8815,8536,3437,2855,2792,6054,5653,7044,1331,907,591,1957,719
3,2516,3847,8656,6918,8136,6314,2085,9519,3119,8399,4996,8676,3546,486,192
1,4704,8541,9182,7386,2693,9237,55,7136,3485,9348,4544,9499,9537,2133,2283
,7001,7139,2382,8038,3403,7959,2490,8138,93,7132,3959,6899,3117,313,4441,6
497,3234,7290,3353,1952,6811,3500,6290,6027,3884,619,8186,3451,4739,2377,7
39,9557,9019,2932,7994,6979,4633,6096,50,5023,2577,8798,4277,6503,6539,926
0,4471,8159,526,6026,3710,331,1449,263,6484,9177,487,8826,9132,891,5427,88
79,9846,8875,6904,9578,8731,9098,1840,9227,8779,2309,4600,6690,6201,8460,3
479,8981,6517,6767,6,8568,8119,5801,7000,8857,3731,4997,2559,8708,76,9692,
2605,5619,3944,5907,7441,684,3527,3608,3418,8485,686,2817,8389,8154,7502,7
967,4201,3831,9372,9257,4231,8147,9684,5998,6647,9648,5523,3863,8763,3995,
2184,9559,9110,2104,6091,9262,3557,2899,5638,7622,1105,6311,2637,1114,5618
,7798,9840,585,214,9790,7284,1669,8649,2269,8201,5660,448,144,5531,7616,20
17,3593,2724,2093,5541,2993,7957,8659,5110,9518,981,7218,9834,2691,151,259
2,8439,3455,5608,588,8707,546,6748,4849,8425,1839,4314,3515,1968,2837,8327
,4147,5830,5722,3150,4587,4104,175,2153,861,8859,8050,7348,6445,6274,4332,
1133,6755,5459,8328,1719,3367,1191,5433,9377,887,2664,8391,3164,8075,5760,
2896,2302,3711,3919,4876,8123,5133,2625,6726,4101,7533,2571,8356,648,2623,
2062,9651,5636,4724,6752,8693,4468,7162,8565,1686,9861,1781,2326,8732,4654
,5123,2143,61,5583,5987,8413,9750,6659,6502,9617,4183,5953,8271,9626,6731,
9171,3167,8728,965,6463,1597,9676,5255,5267,8579,6706,5853,6692,7888,8079,
1456,4764,4976,3287,9524,5388,8250,3177,2186,230,6420,7548,485,513,5899,73
36,6932,494,7703,4428,9073,123,4636,8302,760,8122,4227,7298,1721,9967,9919
,9638,9606,6592,8257,2986,7475,6253,693,639,6773,624,9304,1359,5993,9091,8
66,6603,3755,6508,4140,3355,2894,7196,2876,4857,8393,6919,4391,2320,7107,3
42,8243,8917,9549,1381,9942,8932,3208,4416,5614,9502,1134,8477,5164,6113,4
679,80,7683,899,8674,2989,3663,6739,8841,6656,2327,8191,5971,1767,8552,334
5,4921,2617,7334,6650,7556,2424,5014,3794,9630,2295,2164,3883,8126,5299,88
84,1947,9903,5601,8846,1779,9629,392,5183,1401,2397,4900,3640,1831,9000,27
67,5556,9748,4048,9337,7920,5170,6862,2004,705,3907,8280,4504,524,6719,919
5,567,1913,6948,9514,9984,8795,3764,360,387,9539,5705,1966,1542,7426,1367,
6129,9356,8217,143,2650,45,9487,5234,2928,4858,2539,2943,8145,5421,3966,71
90,4358,6242,6553,7568,2261,1345,496,1154,2065,2657,3726,1584,7884,1258,10
84,5383,7643,5087,5236,5413,4068,427,2783,6548,495,6908,3190,948,8232,8315
,8474,3224,7750,2146,6060,7820,1198,2347,9522,59,9702,493,8371,3579,1354,5
513,5731,4620,2039,5526,8807,324,1486,4973,1363,8789,432,3628,6006,89,9035
,311,2134,6759,5509,7580,9533,6100,9178,2306,826,3311,1929,1539,5010,2144,
99,7567,7023,2491,9872,375,3295,8238,1698,8410,4331,8331,2682,3548,6496,26
86,4977,8639,4464,7049,9281,6440,3592,973,542,6609,6873,9228,3464,6709,360
1,9387,5428,6705,2645,2905,121,6127,7824,2568,3393,5504,7484,1505,5755,948
2,7145,7120,6119,7785,2311,8248,6193,5280,2192,3473,4392,7853,188,1652,757
2,6956,4905,1685,299,1830,9068,163,5193,3460,6670,4254,3317,5489,321,4394,
555,9054,7606,566,836,3089,7998,8738,1171,4649,2796,5369,8556,8068,5814,75
75,1909,5784,1307,4220,898,7462,3661,6145,3180,2282,9474,5191,6538,6778,15
19,353,7418,9553,2875,4970,3643,6892,4009,842,1747,2607,6143,4601,181,6337
,1032,5709,8209,92,2668,7867,3555,3132,7633,3666,1326,8306,2492,212,6457,7
069,7014,9072,4210,281,943,4783,9595,9534,8673,5430,9673,5296,284,8379,275
4,1023,2709,3696,2651,1468,3990,8185,8699,4645,7841,5347,2764,8622,2600,39
09,8104,1572,7065,3302,4405,4958,9147,7931,8966,7517,6418,8721,5222,8505,2
870,3145,8614,9321,9878,551,1617,4111,762,3266,2788,9157,1267,8447,5397,10
33,2465,9531,7566,5341,4895,8115,6896,5121,3524,8936,4483,4011,9326,5446,9
497,4446,638,154,5909,3936,1941,9859,6317,1599,7981,1879,7934,2390,4275,17
46,3284,6248,6925,8802,1317,7079,5431,6240,3923,5734,5035,4540,2403,1823,2
918,7031,8279,509,4159,1404,7710,974,6886,1672,8912,6664,9463,5424,389,161
0,6653,9561,6157,9554,805,1282,7801,2938,5246,1802,6772,6124,9004,6792,647
1,8300,2744,20,9486,7569,6377,9516,3088,6053,6116,1386,4444,4108,9847,9520
,5678,2948,9288,2740,6674,5153,8025,9934,4881,9781,7176,5738,9253,1785,443
5,8363,3589,3017,4807,6874,975,2260,584,6887,8821,9084,8345,9049,3028,5625
,3940,7125,3111,3858,690,3625,6078,3837,1431,6626,9384,2994,235,1893,2787,
5785,2291,1877,8192,1232,2089,5655,1629,5529,6689,4621,9188,7879,5148,6902
,7770,4753,267,4028,9650,6621,9043,849,5069,9700,9945,785,2315,1740,4178,1
286,8070,4328,2726,2163,6291,7400,5752,575,1504,7724,5658,5201,8304,4580,8
845,8227,8548,6104,7948,1165,6414,7958,9144,2763,4780,3038,2299,9134,9627,
2235,4588,7342,7434,599,9970,8125,4211,5100,5423,7458,5099,2884,8245,8848,
28,5251,6447,9311,4062,4509,6474,5735,9029,9350,1489,5097]),True)
if __name__ == '__main__':
unittest.main()
'''