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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

