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

