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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

