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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

