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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

