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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

