# SSSP instance vh_n030a51r01d40i01.txt (Earth observation satellite) in AMPL data format

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

param: w s_e h_e :=
1 72 1 1
2 71 1 2
3 68 1 3
4 83 1 4
5 59 1 5
6 57 1 6
7 89 1 7
8 77 1 8
9 97 1 9
10 62 1 10
11 71 1 11
12 78 1 12
13 56 1 13
14 55 1 14
15 96 1 15
16 57 1 16
17 61 1 17
18 57 1 18
19 81 1 19
20 64 1 20
21 71 1 21
22 88 1 22
23 62 1 23
24 95 1 24
25 95 1 25
26 83 1 26
27 96 1 27
28 72 1 28
29 79 1 29
30 74 1 30
31 73 2 31
32 74 2 32
33 86 2 33
34 52 2 34
35 64 2 35
36 82 2 36
37 76 2 37
38 79 2 38
39 81 2 39
40 92 2 40
41 92 2 41
42 94 2 42
43 71 2 43
44 65 2 44
45 84 2 45
46 80 2 46
47 100 2 47
48 89 2 48
49 98 2 49
50 96 2 50
51 92 2 51
52 94 2 52
53 56 2 53
54 74 2 54
55 80 2 55
56 88 2 56
57 55 2 57
58 87 2 58
59 70 2 59
60 54 2 60
61 72 3 61
62 79 3 62
63 70 3 63
64 61 3 64
65 96 3 65
66 74 3 66
67 98 3 67
68 58 3 68
69 77 3 69
70 95 3 70
71 58 3 71
72 55 3 72
73 90 3 73
74 78 3 74
75 83 3 75
76 100 3 76
77 95 3 77
78 91 3 78
79 77 3 79
80 72 3 80
81 88 3 81
82 58 3 82
83 73 3 83
84 89 3 84
85 58 3 85
86 88 3 86
87 90 3 87
88 57 3 88
89 56 3 89
90 52 3 90
91 80 4 91
92 78 4 92
93 77 4 93
94 61 4 94
95 83 4 95
96 70 4 96
97 53 4 97
98 82 4 98
99 68 4 99
100 88 4 100
101 61 4 101
102 64 4 102
103 81 4 103
104 65 4 104
105 96 4 105
106 56 4 106
107 67 4 107
108 96 4 108
109 81 4 109
110 86 4 110
111 61 4 111
112 75 4 112
113 86 4 113
114 99 4 114
115 62 4 115
116 97 4 116
117 100 4 117
118 99 4 118
119 56 4 119
120 86 4 120
121 81 5 121
122 64 5 122
123 89 5 123
124 95 5 124
125 80 5 125
126 80 5 126
127 71 5 127
128 71 5 128
129 68 5 129
130 60 5 130
131 59 5 131
132 55 5 132
133 66 5 133
134 87 5 134
135 99 5 135
136 64 5 136
137 55 5 137
138 68 5 138
139 53 5 139
140 98 5 140
141 64 5 141
142 98 5 142
143 64 5 143
144 96 5 144
145 78 5 145
146 51 5 146
147 72 5 147
148 68 5 148
149 86 5 149
150 55 5 150
151 89 6 151
152 95 6 152
153 84 6 153
154 96 6 154
155 71 6 155
156 58 6 156
157 68 6 157
158 86 6 158
159 70 6 159
160 60 6 160
161 69 6 161
162 79 6 162
163 97 6 163
164 69 6 164
165 95 6 165
166 74 6 166
167 66 6 167
168 51 6 168
169 74 6 169
170 87 6 170
171 93 6 171
172 62 6 172
173 93 6 173
174 86 6 174
175 63 6 175
176 65 6 176
177 51 6 177
178 89 6 178
179 92 6 179
180 64 6 180
181 63 7 181
182 74 7 182
183 76 7 183
184 97 7 184
185 86 7 185
186 78 7 186
187 86 7 187
188 94 7 188
189 73 7 189
190 87 7 190
191 78 7 191
192 86 7 192
193 83 7 193
194 65 7 194
195 54 7 195
196 73 7 196
197 62 7 197
198 57 7 198
199 66 7 199
200 62 7 200
201 75 7 201
202 94 7 202
203 71 7 203
204 71 7 204
205 82 7 205
206 87 7 206
207 53 7 207
208 86 7 208
209 59 7 209
210 99 7 210
211 79 8 211
212 53 8 212
213 54 8 213
214 86 8 214
215 57 8 215
216 78 8 216
217 98 8 217
218 55 8 218
219 64 8 219
220 52 8 220
221 56 8 221
222 83 8 222
223 94 8 223
224 85 8 224
225 76 8 225
226 84 8 226
227 61 8 227
228 97 8 228
229 86 8 229
230 58 8 230
231 69 8 231
232 64 8 232
233 62 8 233
234 60 8 234
235 67 8 235
236 95 8 236
237 86 8 237
238 58 8 238
239 65 8 239
240 55 8 240
241 96 9 241
242 69 9 242
243 81 9 243
244 71 9 244
245 76 9 245
246 79 9 246
247 69 9 247
248 65 9 248
249 68 9 249
250 53 9 250
251 95 9 251
252 99 9 252
253 68 9 253
254 55 9 254
255 91 9 255
256 90 9 256
257 61 9 257
258 64 9 258
259 86 9 259
260 90 9 260
261 84 9 261
262 63 9 262
263 69 9 263
264 79 9 264
265 51 9 265
266 80 9 266
267 83 9 267
268 58 9 268
269 96 9 269
270 81 9 270
271 71 10 271
272 68 10 272
273 82 10 273
274 77 10 274
275 78 10 275
276 55 10 276
277 77 10 277
278 58 10 278
279 53 10 279
280 88 10 280
281 73 10 281
282 71 10 282
283 55 10 283
284 94 10 284
285 93 10 285
286 79 10 286
287 59 10 287
288 52 10 288
289 99 10 289
290 52 10 290
291 85 10 291
292 81 10 292
293 82 10 293
294 82 10 294
295 98 10 295
296 83 10 296
297 79 10 297
298 72 10 298
299 99 10 299
300 64 10 300
301 82 11 301
302 82 11 302
303 83 11 303
304 97 11 304
305 60 11 305
306 71 11 306
307 69 11 307
308 95 11 308
309 86 11 309
310 59 11 310
311 67 11 311
312 53 11 312
313 89 11 313
314 72 11 314
315 78 11 315
316 96 11 316
317 61 11 317
318 99 11 318
319 99 11 319
320 70 11 320
321 64 11 321
322 98 11 322
323 61 11 323
324 80 11 324
325 76 11 325
326 82 11 326
327 85 11 327
328 66 11 328
329 77 11 329
330 69 11 330
331 80 12 331
332 90 12 332
333 80 12 333
334 74 12 334
335 77 12 335
336 64 12 336
337 64 12 337
338 68 12 338
339 92 12 339
340 84 12 340
341 68 12 341
342 56 12 342
343 65 12 343
344 67 12 344
345 80 12 345
346 70 12 346
347 86 12 347
348 52 12 348
349 78 12 349
350 90 12 350
351 51 12 351
352 68 12 352
353 94 12 353
354 95 12 354
355 75 12 355
356 95 12 356
357 69 12 357
358 77 12 358
359 52 12 359
360 94 12 360
361 84 13 361
362 82 13 362
363 66 13 363
364 53 13 364
365 59 13 365
366 52 13 366
367 58 13 367
368 98 13 368
369 85 13 369
370 86 13 370
371 67 13 371
372 54 13 372
373 100 13 373
374 74 13 374
375 70 13 375
376 70 13 376
377 86 13 377
378 64 13 378
379 97 13 379
380 54 13 380
381 95 13 381
382 98 13 382
383 82 13 383
384 80 13 384
385 70 13 385
386 68 13 386
387 80 13 387
388 59 13 388
389 79 13 389
390 68 13 390
391 89 14 391
392 94 14 392
393 79 14 393
394 60 14 394
395 55 14 395
396 69 14 396
397 94 14 397
398 98 14 398
399 86 14 399
400 84 14 400
401 78 14 401
402 61 14 402
403 71 14 403
404 67 14 404
405 97 14 405
406 70 14 406
407 89 14 407
408 91 14 408
409 69 14 409
410 77 14 410
411 62 14 411
412 87 14 412
413 95 14 413
414 86 14 414
415 51 14 415
416 85 14 416
417 96 14 417
418 95 14 418
419 73 14 419
420 75 14 420
421 56 15 421
422 64 15 422
423 77 15 423
424 96 15 424
425 60 15 425
426 97 15 426
427 57 15 427
428 75 15 428
429 88 15 429
430 54 15 430
431 70 15 431
432 93 15 432
433 71 15 433
434 75 15 434
435 84 15 435
436 73 15 436
437 86 15 437
438 59 15 438
439 79 15 439
440 59 15 440
441 94 15 441
442 61 15 442
443 54 15 443
444 81 15 444
445 91 15 445
446 64 15 446
447 63 15 447
448 95 15 448
449 76 15 449
450 86 15 450
451 66 16 451
452 80 16 452
453 88 16 453
454 78 16 454
455 74 16 455
456 86 16 456
457 65 16 457
458 53 16 458
459 62 16 459
460 80 16 460
461 81 16 461
462 74 16 462
463 76 16 463
464 79 16 464
465 97 16 465
466 96 16 466
467 91 16 467
468 75 16 468
469 81 16 469
470 68 16 470
471 94 16 471
472 51 16 472
473 72 16 473
474 60 16 474
475 65 16 475
476 82 16 476
477 96 16 477
478 90 16 478
479 97 16 479
480 60 16 480
481 85 17 481
482 89 17 482
483 94 17 483
484 55 17 484
485 94 17 485
486 95 17 486
487 62 17 487
488 76 17 488
489 70 17 489
490 77 17 490
491 55 17 491
492 64 17 492
493 63 17 493
494 85 17 494
495 91 17 495
496 85 17 496
497 89 17 497
498 86 17 498
499 91 17 499
500 77 17 500
501 72 17 501
502 65 17 502
503 67 17 503
504 72 17 504
505 67 17 505
506 92 17 506
507 70 17 507
508 65 17 508
509 82 17 509
510 74 17 510
511 88 18 511
512 56 18 512
513 89 18 513
514 58 18 514
515 96 18 515
516 52 18 516
517 58 18 517
518 57 18 518
519 89 18 519
520 54 18 520
521 53 18 521
522 65 18 522
523 71 18 523
524 60 18 524
525 57 18 525
526 65 18 526
527 90 18 527
528 58 18 528
529 84 18 529
530 94 18 530
531 51 18 531
532 81 18 532
533 77 18 533
534 97 18 534
535 52 18 535
536 66 18 536
537 71 18 537
538 52 18 538
539 75 18 539
540 72 18 540
541 81 19 541
542 89 19 542
543 76 19 543
544 53 19 544
545 70 19 545
546 91 19 546
547 55 19 547
548 64 19 548
549 51 19 549
550 64 19 550
551 78 19 551
552 61 19 552
553 98 19 553
554 71 19 554
555 76 19 555
556 93 19 556
557 96 19 557
558 55 19 558
559 80 19 559
560 94 19 560
561 80 19 561
562 80 19 562
563 86 19 563
564 96 19 564
565 100 19 565
566 80 19 566
567 83 19 567
568 67 19 568
569 80 19 569
570 75 19 570
571 74 20 571
572 94 20 572
573 93 20 573
574 74 20 574
575 86 20 575
576 84 20 576
577 96 20 577
578 88 20 578
579 94 20 579
580 60 20 580
581 62 20 581
582 69 20 582
583 92 20 583
584 84 20 584
585 79 20 585
586 82 20 586
587 84 20 587
588 53 20 588
589 72 20 589
590 74 20 590
591 91 20 591
592 61 20 592
593 55 20 593
594 72 20 594
595 96 20 595
596 76 20 596
597 72 20 597
598 86 20 598
599 56 20 599
600 84 20 600
601 87 21 601
602 78 21 602
603 75 21 603
604 94 21 604
605 89 21 605
606 76 21 606
607 63 21 607
608 79 21 608
609 59 21 609
610 65 21 610
611 78 21 611
612 53 21 612
613 88 21 613
614 57 21 614
615 52 21 615
616 67 21 616
617 66 21 617
618 87 21 618
619 76 21 619
620 96 21 620
621 74 21 621
622 59 21 622
623 70 21 623
624 78 21 624
625 68 21 625
626 100 21 626
627 88 21 627
628 52 21 628
629 57 21 629
630 92 21 630
631 94 22 631
632 84 22 632
633 93 22 633
634 84 22 634
635 88 22 635
636 58 22 636
637 98 22 637
638 76 22 638
639 69 22 639
640 92 22 640
641 56 22 641
642 75 22 642
643 98 22 643
644 94 22 644
645 90 22 645
646 95 22 646
647 75 22 647
648 53 22 648
649 84 22 649
650 62 22 650
651 97 22 651
652 57 22 652
653 80 22 653
654 72 22 654
655 65 22 655
656 69 22 656
657 93 22 657
658 69 22 658
659 79 22 659
660 83 22 660
661 65 23 661
662 82 23 662
663 65 23 663
664 80 23 664
665 63 23 665
666 60 23 666
667 61 23 667
668 63 23 668
669 55 23 669
670 58 23 670
671 77 23 671
672 61 23 672
673 94 23 673
674 66 23 674
675 85 23 675
676 73 23 676
677 85 23 677
678 72 23 678
679 88 23 679
680 85 23 680
681 89 23 681
682 91 23 682
683 85 23 683
684 62 23 684
685 56 23 685
686 90 23 686
687 74 23 687
688 51 23 688
689 59 23 689
690 52 23 690
691 83 24 691
692 76 24 692
693 95 24 693
694 61 24 694
695 83 24 695
696 72 24 696
697 61 24 697
698 97 24 698
699 81 24 699
700 82 24 700
701 68 24 701
702 61 24 702
703 97 24 703
704 66 24 704
705 91 24 705
706 74 24 706
707 52 24 707
708 56 24 708
709 85 24 709
710 98 24 710
711 97 24 711
712 58 24 712
713 59 24 713
714 83 24 714
715 67 24 715
716 78 24 716
717 96 24 717
718 52 24 718
719 97 24 719
720 86 24 720
721 56 25 721
722 79 25 722
723 58 25 723
724 90 25 724
725 79 25 725
726 54 25 726
727 60 25 727
728 86 25 728
729 87 25 729
730 85 25 730
731 57 25 731
732 78 25 732
733 86 25 733
734 75 25 734
735 92 25 735
736 52 25 736
737 83 25 737
738 63 25 738
739 73 25 739
740 62 25 740
741 54 25 741
742 88 25 742
743 55 25 743
744 97 25 744
745 55 25 745
746 70 25 746
747 53 25 747
748 98 25 748
749 84 25 749
750 60 25 750
751 79 26 751
752 76 26 752
753 59 26 753
754 70 26 754
755 85 26 755
756 82 26 756
757 66 26 757
758 57 26 758
759 96 26 759
760 80 26 760
761 57 26 761
762 75 26 762
763 61 26 763
764 58 26 764
765 67 26 765
766 67 26 766
767 73 26 767
768 70 26 768
769 79 26 769
770 68 26 770
771 66 26 771
772 69 26 772
773 60 26 773
774 91 26 774
775 75 26 775
776 59 26 776
777 62 26 777
778 53 26 778
779 98 26 779
780 71 26 780
781 94 27 781
782 66 27 782
783 79 27 783
784 87 27 784
785 97 27 785
786 99 27 786
787 84 27 787
788 69 27 788
789 97 27 789
790 96 27 790
791 54 27 791
792 65 27 792
793 76 27 793
794 76 27 794
795 70 27 795
796 69 27 796
797 98 27 797
798 57 27 798
799 74 27 799
800 98 27 800
801 85 27 801
802 93 27 802
803 58 27 803
804 68 27 804
805 56 27 805
806 60 27 806
807 69 27 807
808 95 27 808
809 78 27 809
810 66 27 810
811 51 28 811
812 78 28 812
813 95 28 813
814 72 28 814
815 57 28 815
816 97 28 816
817 75 28 817
818 65 28 818
819 95 28 819
820 81 28 820
821 84 28 821
822 82 28 822
823 79 28 823
824 98 28 824
825 76 28 825
826 57 28 826
827 94 28 827
828 89 28 828
829 96 28 829
830 82 28 830
831 96 28 831
832 72 28 832
833 83 28 833
834 78 28 834
835 90 28 835
836 93 28 836
837 64 28 837
838 58 28 838
839 60 28 839
840 95 28 840
841 56 29 841
842 98 29 842
843 63 29 843
844 81 29 844
845 86 29 845
846 89 29 846
847 51 29 847
848 73 29 848
849 94 29 849
850 72 29 850
851 74 29 851
852 65 29 852
853 71 29 853
854 52 29 854
855 57 29 855
856 68 29 856
857 55 29 857
858 67 29 858
859 87 29 859
860 81 29 860
861 64 29 861
862 65 29 862
863 94 29 863
864 74 29 864
865 72 29 865
866 92 29 866
867 94 29 867
868 83 29 868
869 77 29 869
870 60 29 870
871 81 30 871
872 90 30 872
873 78 30 873
874 53 30 874
875 100 30 875
876 56 30 876
877 86 30 877
878 93 30 878
879 67 30 879
880 79 30 880
881 71 30 881
882 82 30 882
883 60 30 883
884 61 30 884
885 55 30 885
886 91 30 886
887 90 30 887
888 70 30 888
889 69 30 889
890 61 30 890
891 95 30 891
892 76 30 892
893 54 30 893
894 68 30 894
895 65 30 895
896 68 30 896
897 100 30 897
898 55 30 898
899 98 30 899
900 74 30 900
901 72 31 1
902 71 32 2
903 68 33 3
904 83 34 4
905 59 35 5
906 57 36 6
907 89 37 7
908 77 38 8
909 97 39 9
910 62 40 10
911 71 41 11
912 78 42 12
913 56 43 13
914 55 44 14
915 96 45 15
916 57 46 16
917 61 47 17
918 57 48 18
919 81 49 19
920 64 50 20
921 71 51 21
922 88 52 22
923 62 53 23
924 95 54 24
925 95 55 25
926 83 56 26
927 96 57 27
928 72 58 28
929 79 59 29
930 74 60 30
931 73 31 31
932 74 32 32
933 86 33 33
934 52 34 34
935 64 35 35
936 82 36 36
937 76 37 37
938 79 38 38
939 81 39 39
940 92 40 40
941 92 41 41
942 94 42 42
943 71 43 43
944 65 44 44
945 84 45 45
946 80 46 46
947 100 47 47
948 89 48 48
949 98 49 49
950 96 50 50
951 92 51 51
952 94 52 52
953 56 53 53
954 74 54 54
955 80 55 55
956 88 56 56
957 55 57 57
958 87 58 58
959 70 59 59
960 54 60 60
961 72 31 61
962 79 32 62
963 70 33 63
964 61 34 64
965 96 35 65
966 74 36 66
967 98 37 67
968 58 38 68
969 77 39 69
970 95 40 70
971 58 41 71
972 55 42 72
973 90 43 73
974 78 44 74
975 83 45 75
976 100 46 76
977 95 47 77
978 91 48 78
979 77 49 79
980 72 50 80
981 88 51 81
982 58 52 82
983 73 53 83
984 89 54 84
985 58 55 85
986 88 56 86
987 90 57 87
988 57 58 88
989 56 59 89
990 52 60 90
991 80 31 91
992 78 32 92
993 77 33 93
994 61 34 94
995 83 35 95
996 70 36 96
997 53 37 97
998 82 38 98
999 68 39 99
1000 88 40 100
1001 61 41 101
1002 64 42 102
1003 81 43 103
1004 65 44 104
1005 96 45 105
1006 56 46 106
1007 67 47 107
1008 96 48 108
1009 81 49 109
1010 86 50 110
1011 61 51 111
1012 75 52 112
1013 86 53 113
1014 99 54 114
1015 62 55 115
1016 97 56 116
1017 100 57 117
1018 99 58 118
1019 56 59 119
1020 86 60 120
1021 81 31 121
1022 64 32 122
1023 89 33 123
1024 95 34 124
1025 80 35 125
1026 80 36 126
1027 71 37 127
1028 71 38 128
1029 68 39 129
1030 60 40 130
1031 59 41 131
1032 55 42 132
1033 66 43 133
1034 87 44 134
1035 99 45 135
1036 64 46 136
1037 55 47 137
1038 68 48 138
1039 53 49 139
1040 98 50 140
1041 64 51 141
1042 98 52 142
1043 64 53 143
1044 96 54 144
1045 78 55 145
1046 51 56 146
1047 72 57 147
1048 68 58 148
1049 86 59 149
1050 55 60 150
1051 89 31 151
1052 95 32 152
1053 84 33 153
1054 96 34 154
1055 71 35 155
1056 58 36 156
1057 68 37 157
1058 86 38 158
1059 70 39 159
1060 60 40 160
1061 69 41 161
1062 79 42 162
1063 97 43 163
1064 69 44 164
1065 95 45 165
1066 74 46 166
1067 66 47 167
1068 51 48 168
1069 74 49 169
1070 87 50 170
1071 93 51 171
1072 62 52 172
1073 93 53 173
1074 86 54 174
1075 63 55 175
1076 65 56 176
1077 51 57 177
1078 89 58 178
1079 92 59 179
1080 64 60 180
1081 63 31 181
1082 74 32 182
1083 76 33 183
1084 97 34 184
1085 86 35 185
1086 78 36 186
1087 86 37 187
1088 94 38 188
1089 73 39 189
1090 87 40 190
1091 78 41 191
1092 86 42 192
1093 83 43 193
1094 65 44 194
1095 54 45 195
1096 73 46 196
1097 62 47 197
1098 57 48 198
1099 66 49 199
1100 62 50 200
1101 75 51 201
1102 94 52 202
1103 71 53 203
1104 71 54 204
1105 82 55 205
1106 87 56 206
1107 53 57 207
1108 86 58 208
1109 59 59 209
1110 99 60 210
1111 79 31 211
1112 53 32 212
1113 54 33 213
1114 86 34 214
1115 57 35 215
1116 78 36 216
1117 98 37 217
1118 55 38 218
1119 64 39 219
1120 52 40 220
1121 56 41 221
1122 83 42 222
1123 94 43 223
1124 85 44 224
1125 76 45 225
1126 84 46 226
1127 61 47 227
1128 97 48 228
1129 86 49 229
1130 58 50 230
1131 69 51 231
1132 64 52 232
1133 62 53 233
1134 60 54 234
1135 67 55 235
1136 95 56 236
1137 86 57 237
1138 58 58 238
1139 65 59 239
1140 55 60 240
1141 96 31 241
1142 69 32 242
1143 81 33 243
1144 71 34 244
1145 76 35 245
1146 79 36 246
1147 69 37 247
1148 65 38 248
1149 68 39 249
1150 53 40 250
1151 95 41 251
1152 99 42 252
1153 68 43 253
1154 55 44 254
1155 91 45 255
1156 90 46 256
1157 61 47 257
1158 64 48 258
1159 86 49 259
1160 90 50 260
1161 84 51 261
1162 63 52 262
1163 69 53 263
1164 79 54 264
1165 51 55 265
1166 80 56 266
1167 83 57 267
1168 58 58 268
1169 96 59 269
1170 81 60 270
1171 71 31 271
1172 68 32 272
1173 82 33 273
1174 77 34 274
1175 78 35 275
1176 55 36 276
1177 77 37 277
1178 58 38 278
1179 53 39 279
1180 88 40 280
1181 73 41 281
1182 71 42 282
1183 55 43 283
1184 94 44 284
1185 93 45 285
1186 79 46 286
1187 59 47 287
1188 52 48 288
1189 99 49 289
1190 52 50 290
1191 85 51 291
1192 81 52 292
1193 82 53 293
1194 82 54 294
1195 98 55 295
1196 83 56 296
1197 79 57 297
1198 72 58 298
1199 99 59 299
1200 64 60 300
1201 82 31 301
1202 82 32 302
1203 83 33 303
1204 97 34 304
1205 60 35 305
1206 71 36 306
1207 69 37 307
1208 95 38 308
1209 86 39 309
1210 59 40 310
1211 67 41 311
1212 53 42 312
1213 89 43 313
1214 72 44 314
1215 78 45 315
1216 96 46 316
1217 61 47 317
1218 99 48 318
1219 99 49 319
1220 70 50 320
1221 64 51 321
1222 98 52 322
1223 61 53 323
1224 80 54 324
1225 76 55 325
1226 82 56 326
1227 85 57 327
1228 66 58 328
1229 77 59 329
1230 69 60 330
1231 80 31 331
1232 90 32 332
1233 80 33 333
1234 74 34 334
1235 77 35 335
1236 64 36 336
1237 64 37 337
1238 68 38 338
1239 92 39 339
1240 84 40 340
1241 68 41 341
1242 56 42 342
1243 65 43 343
1244 67 44 344
1245 80 45 345
1246 70 46 346
1247 86 47 347
1248 52 48 348
1249 78 49 349
1250 90 50 350
1251 51 51 351
1252 68 52 352
1253 94 53 353
1254 95 54 354
1255 75 55 355
1256 95 56 356
1257 69 57 357
1258 77 58 358
1259 52 59 359
1260 94 60 360
1261 84 31 361
1262 82 32 362
1263 66 33 363
1264 53 34 364
1265 59 35 365
1266 52 36 366
1267 58 37 367
1268 98 38 368
1269 85 39 369
1270 86 40 370
1271 67 41 371
1272 54 42 372
1273 100 43 373
1274 74 44 374
1275 70 45 375
1276 70 46 376
1277 86 47 377
1278 64 48 378
1279 97 49 379
1280 54 50 380
1281 95 51 381
1282 98 52 382
1283 82 53 383
1284 80 54 384
1285 70 55 385
1286 68 56 386
1287 80 57 387
1288 59 58 388
1289 79 59 389
1290 68 60 390
1291 89 31 391
1292 94 32 392
1293 79 33 393
1294 60 34 394
1295 55 35 395
1296 69 36 396
1297 94 37 397
1298 98 38 398
1299 86 39 399
1300 84 40 400
1301 78 41 401
1302 61 42 402
1303 71 43 403
1304 67 44 404
1305 97 45 405
1306 70 46 406
1307 89 47 407
1308 91 48 408
1309 69 49 409
1310 77 50 410
1311 62 51 411
1312 87 52 412
1313 95 53 413
1314 86 54 414
1315 51 55 415
1316 85 56 416
1317 96 57 417
1318 95 58 418
1319 73 59 419
1320 75 60 420
1321 56 31 421
1322 64 32 422
1323 77 33 423
1324 96 34 424
1325 60 35 425
1326 97 36 426
1327 57 37 427
1328 75 38 428
1329 88 39 429
1330 54 40 430
1331 70 41 431
1332 93 42 432
1333 71 43 433
1334 75 44 434
1335 84 45 435
1336 73 46 436
1337 86 47 437
1338 59 48 438
1339 79 49 439
1340 59 50 440
1341 94 51 441
1342 61 52 442
1343 54 53 443
1344 81 54 444
1345 91 55 445
1346 64 56 446
1347 63 57 447
1348 95 58 448
1349 76 59 449
1350 86 60 450
1351 66 31 451
1352 80 32 452
1353 88 33 453
1354 78 34 454
1355 74 35 455
1356 86 36 456
1357 65 37 457
1358 53 38 458
1359 62 39 459
1360 80 40 460
1361 81 41 461
1362 74 42 462
1363 76 43 463
1364 79 44 464
1365 97 45 465
1366 96 46 466
1367 91 47 467
1368 75 48 468
1369 81 49 469
1370 68 50 470
1371 94 51 471
1372 51 52 472
1373 72 53 473
1374 60 54 474
1375 65 55 475
1376 82 56 476
1377 96 57 477
1378 90 58 478
1379 97 59 479
1380 60 60 480
1381 85 31 481
1382 89 32 482
1383 94 33 483
1384 55 34 484
1385 94 35 485
1386 95 36 486
1387 62 37 487
1388 76 38 488
1389 70 39 489
1390 77 40 490
1391 55 41 491
1392 64 42 492
1393 63 43 493
1394 85 44 494
1395 91 45 495
1396 85 46 496
1397 89 47 497
1398 86 48 498
1399 91 49 499
1400 77 50 500
1401 72 51 501
1402 65 52 502
1403 67 53 503
1404 72 54 504
1405 67 55 505
1406 92 56 506
1407 70 57 507
1408 65 58 508
1409 82 59 509
1410 74 60 510
1411 88 31 511
1412 56 32 512
1413 89 33 513
1414 58 34 514
1415 96 35 515
1416 52 36 516
1417 58 37 517
1418 57 38 518
1419 89 39 519
1420 54 40 520
1421 53 41 521
1422 65 42 522
1423 71 43 523
1424 60 44 524
1425 57 45 525
1426 65 46 526
1427 90 47 527
1428 58 48 528
1429 84 49 529
1430 94 50 530
1431 51 51 531
1432 81 52 532
1433 77 53 533
1434 97 54 534
1435 52 55 535
1436 66 56 536
1437 71 57 537
1438 52 58 538
1439 75 59 539
1440 72 60 540
1441 81 31 541
1442 89 32 542
1443 76 33 543
1444 53 34 544
1445 70 35 545
1446 91 36 546
1447 55 37 547
1448 64 38 548
1449 51 39 549
1450 64 40 550
1451 78 41 551
1452 61 42 552
1453 98 43 553
1454 71 44 554
1455 76 45 555
1456 93 46 556
1457 96 47 557
1458 55 48 558
1459 80 49 559
1460 94 50 560
1461 80 51 561
1462 80 52 562
1463 86 53 563
1464 96 54 564
1465 100 55 565
1466 80 56 566
1467 83 57 567
1468 67 58 568
1469 80 59 569
1470 75 60 570
1471 74 31 571
1472 94 32 572
1473 93 33 573
1474 74 34 574
1475 86 35 575
1476 84 36 576
1477 96 37 577
1478 88 38 578
1479 94 39 579
1480 60 40 580
1481 62 41 581
1482 69 42 582
1483 92 43 583
1484 84 44 584
1485 79 45 585
1486 82 46 586
1487 84 47 587
1488 53 48 588
1489 72 49 589
1490 74 50 590
1491 91 51 591
1492 61 52 592
1493 55 53 593
1494 72 54 594
1495 96 55 595
1496 76 56 596
1497 72 57 597
1498 86 58 598
1499 56 59 599
1500 84 60 600
1501 87 31 601
1502 78 32 602
1503 75 33 603
1504 94 34 604
1505 89 35 605
1506 76 36 606
1507 63 37 607
1508 79 38 608
1509 59 39 609
1510 65 40 610
1511 78 41 611
1512 53 42 612
1513 88 43 613
1514 57 44 614
1515 52 45 615
1516 67 46 616
1517 66 47 617
1518 87 48 618
1519 76 49 619
1520 96 50 620
1521 74 51 621
1522 59 52 622
1523 70 53 623
1524 78 54 624
1525 68 55 625
1526 100 56 626
1527 88 57 627
1528 52 58 628
1529 57 59 629
1530 92 60 630
1531 94 31 631
1532 84 32 632
1533 93 33 633
1534 84 34 634
1535 88 35 635
1536 58 36 636
1537 98 37 637
1538 76 38 638
1539 69 39 639
1540 92 40 640
1541 56 41 641
1542 75 42 642
1543 98 43 643
1544 94 44 644
1545 90 45 645
1546 95 46 646
1547 75 47 647
1548 53 48 648
1549 84 49 649
1550 62 50 650
1551 97 51 651
1552 57 52 652
1553 80 53 653
1554 72 54 654
1555 65 55 655
1556 69 56 656
1557 93 57 657
1558 69 58 658
1559 79 59 659
1560 83 60 660
1561 65 31 661
1562 82 32 662
1563 65 33 663
1564 80 34 664
1565 63 35 665
1566 60 36 666
1567 61 37 667
1568 63 38 668
1569 55 39 669
1570 58 40 670
1571 77 41 671
1572 61 42 672
1573 94 43 673
1574 66 44 674
1575 85 45 675
1576 73 46 676
1577 85 47 677
1578 72 48 678
1579 88 49 679
1580 85 50 680
1581 89 51 681
1582 91 52 682
1583 85 53 683
1584 62 54 684
1585 56 55 685
1586 90 56 686
1587 74 57 687
1588 51 58 688
1589 59 59 689
1590 52 60 690
1591 83 31 691
1592 76 32 692
1593 95 33 693
1594 61 34 694
1595 83 35 695
1596 72 36 696
1597 61 37 697
1598 97 38 698
1599 81 39 699
1600 82 40 700
1601 68 41 701
1602 61 42 702
1603 97 43 703
1604 66 44 704
1605 91 45 705
1606 74 46 706
1607 52 47 707
1608 56 48 708
1609 85 49 709
1610 98 50 710
1611 97 51 711
1612 58 52 712
1613 59 53 713
1614 83 54 714
1615 67 55 715
1616 78 56 716
1617 96 57 717
1618 52 58 718
1619 97 59 719
1620 86 60 720
1621 56 31 721
1622 79 32 722
1623 58 33 723
1624 90 34 724
1625 79 35 725
1626 54 36 726
1627 60 37 727
1628 86 38 728
1629 87 39 729
1630 85 40 730
1631 57 41 731
1632 78 42 732
1633 86 43 733
1634 75 44 734
1635 92 45 735
1636 52 46 736
1637 83 47 737
1638 63 48 738
1639 73 49 739
1640 62 50 740
1641 54 51 741
1642 88 52 742
1643 55 53 743
1644 97 54 744
1645 55 55 745
1646 70 56 746
1647 53 57 747
1648 98 58 748
1649 84 59 749
1650 60 60 750
1651 79 31 751
1652 76 32 752
1653 59 33 753
1654 70 34 754
1655 85 35 755
1656 82 36 756
1657 66 37 757
1658 57 38 758
1659 96 39 759
1660 80 40 760
1661 57 41 761
1662 75 42 762
1663 61 43 763
1664 58 44 764
1665 67 45 765
1666 67 46 766
1667 73 47 767
1668 70 48 768
1669 79 49 769
1670 68 50 770
1671 66 51 771
1672 69 52 772
1673 60 53 773
1674 91 54 774
1675 75 55 775
1676 59 56 776
1677 62 57 777
1678 53 58 778
1679 98 59 779
1680 71 60 780
1681 94 31 781
1682 66 32 782
1683 79 33 783
1684 87 34 784
1685 97 35 785
1686 99 36 786
1687 84 37 787
1688 69 38 788
1689 97 39 789
1690 96 40 790
1691 54 41 791
1692 65 42 792
1693 76 43 793
1694 76 44 794
1695 70 45 795
1696 69 46 796
1697 98 47 797
1698 57 48 798
1699 74 49 799
1700 98 50 800
1701 85 51 801
1702 93 52 802
1703 58 53 803
1704 68 54 804
1705 56 55 805
1706 60 56 806
1707 69 57 807
1708 95 58 808
1709 78 59 809
1710 66 60 810
1711 51 31 811
1712 78 32 812
1713 95 33 813
1714 72 34 814
1715 57 35 815
1716 97 36 816
1717 75 37 817
1718 65 38 818
1719 95 39 819
1720 81 40 820
1721 84 41 821
1722 82 42 822
1723 79 43 823
1724 98 44 824
1725 76 45 825
1726 57 46 826
1727 94 47 827
1728 89 48 828
1729 96 49 829
1730 82 50 830
1731 96 51 831
1732 72 52 832
1733 83 53 833
1734 78 54 834
1735 90 55 835
1736 93 56 836
1737 64 57 837
1738 58 58 838
1739 60 59 839
1740 95 60 840
1741 56 31 841
1742 98 32 842
1743 63 33 843
1744 81 34 844
1745 86 35 845
1746 89 36 846
1747 51 37 847
1748 73 38 848
1749 94 39 849
1750 72 40 850
1751 74 41 851
1752 65 42 852
1753 71 43 853
1754 52 44 854
1755 57 45 855
1756 68 46 856
1757 55 47 857
1758 67 48 858
1759 87 49 859
1760 81 50 860
1761 64 51 861
1762 65 52 862
1763 94 53 863
1764 74 54 864
1765 72 55 865
1766 92 56 866
1767 94 57 867
1768 83 58 868
1769 77 59 869
1770 60 60 870
1771 81 31 871
1772 90 32 872
1773 78 33 873
1774 53 34 874
1775 100 35 875
1776 56 36 876
1777 86 37 877
1778 93 38 878
1779 67 39 879
1780 79 40 880
1781 71 41 881
1782 82 42 882
1783 60 43 883
1784 61 44 884
1785 55 45 885
1786 91 46 886
1787 90 47 887
1788 70 48 888
1789 69 49 889
1790 61 50 890
1791 95 51 891
1792 76 52 892
1793 54 53 893
1794 68 54 894
1795 65 55 895
1796 68 56 896
1797 100 57 897
1798 55 58 898
1799 98 59 899
1800 74 60 900
;

param b :=
1 835
2 835
3 835
4 835
5 835
6 835
7 835
8 835
9 835
10 835
11 835
12 835
13 835
14 835
15 835
16 835
17 835
18 835
19 835
20 835
21 835
22 835
23 835
24 835
25 835
26 835
27 835
28 835
29 835
30 835
31 923
32 923
33 923
34 923
35 923
36 923
37 923
38 923
39 923
40 923
41 923
42 923
43 923
44 923
45 923
46 923
47 923
48 923
49 923
50 923
51 923
52 923
53 923
54 923
55 923
56 923
57 923
58 923
59 923
60 923
;

