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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

