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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

