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

