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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

