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

