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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

