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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

