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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

param r :=
1 88
2 89
3 98
4 94
5 53
6 88
7 56
8 92
9 53
10 75
11 88
12 85
13 92
14 60
15 77
16 66
17 83
18 58
19 55
20 72
21 100
22 90
23 54
24 54
25 70
26 88
27 87
28 86
29 58
30 91
31 63
32 97
33 86
34 67
35 67
36 86
37 54
38 95
39 52
40 62
41 91
42 60
43 80
44 98
45 90
46 99
47 84
48 96
49 84
50 64
51 62
52 97
53 55
54 66
55 71
56 83
57 98
58 68
59 57
60 59
61 60
62 87
63 74
64 79
65 71
66 71
67 70
68 72
69 85
70 91
71 95
72 88
73 98
74 80
75 64
76 74
77 56
78 63
79 87
80 83
81 89
82 87
83 84
84 95
85 85
86 72
87 82
88 77
89 67
90 58
91 70
92 88
93 82
94 82
95 95
96 60
97 80
98 77
99 56
100 66
101 90
102 60
103 60
104 93
105 75
106 95
107 89
108 64
109 52
110 81
111 84
112 81
113 58
114 93
115 70
116 88
117 91
118 89
119 52
120 69
121 85
122 59
123 93
124 94
125 80
126 60
127 96
128 84
129 77
130 67
131 58
132 59
133 72
134 60
135 74
136 75
137 56
138 86
139 68
140 52
141 71
142 76
143 73
144 61
145 89
146 61
147 73
148 75
149 92
150 75
151 97
152 59
153 68
154 72
155 69
156 66
157 80
158 83
159 100
160 63
161 61
162 95
163 90
164 89
165 92
166 62
167 88
168 95
169 91
170 60
171 97
172 99
173 60
174 75
175 97
176 78
177 88
178 77
179 94
180 66
181 93
182 66
183 80
184 77
185 71
186 62
187 58
188 94
189 56
190 78
191 82
192 86
193 86
194 97
195 98
196 90
197 97
198 69
199 58
200 96
201 96
202 68
203 87
204 56
205 79
206 71
207 98
208 64
209 76
210 96
211 93
212 68
213 74
214 91
215 82
216 71
217 90
218 71
219 64
220 65
221 54
222 55
223 76
224 98
225 84
226 55
227 77
228 84
229 84
230 95
231 60
232 82
233 65
234 56
235 86
236 68
237 74
238 79
239 63
240 69
241 76
242 63
243 95
244 76
245 76
246 94
247 93
248 53
249 92
250 96
251 61
252 74
253 74
254 71
255 95
256 83
257 70
258 59
259 54
260 94
261 86
262 65
263 83
264 63
265 65
266 72
267 64
268 77
269 90
270 68
271 80
272 73
273 58
274 92
275 85
276 65
277 59
278 94
279 69
280 94
281 89
282 68
283 97
284 71
285 56
286 77
287 77
288 52
289 56
290 85
291 77
292 72
293 66
294 68
295 62
296 53
297 75
298 88
299 71
300 99
301 71
302 95
303 70
304 91
305 94
306 67
307 93
308 65
309 67
310 57
311 92
312 98
313 81
314 90
315 51
316 85
317 88
318 73
319 53
320 87
321 75
322 81
323 80
324 52
325 72
326 92
327 83
328 93
329 59
330 98
331 64
332 82
333 86
334 62
335 71
336 69
337 95
338 55
339 70
340 74
341 72
342 99
343 86
344 97
345 69
346 61
347 69
348 55
349 62
350 69
351 58
352 71
353 99
354 96
355 92
356 56
357 58
358 75
359 59
360 82
361 83
362 99
363 82
364 68
365 87
366 54
367 80
368 71
369 80
370 60
371 64
372 97
373 85
374 88
375 92
376 54
377 78
378 60
379 51
380 77
381 95
382 78
383 61
384 95
385 56
386 58
387 65
388 57
389 76
390 100
391 86
392 77
393 59
394 94
395 72
396 71
397 79
398 83
399 69
400 65
;

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

param b :=
1 422
2 422
3 422
4 422
5 422
6 422
7 422
8 422
9 422
10 422
11 422
12 422
13 422
14 422
15 422
16 422
17 422
18 422
19 422
20 422
21 459
22 459
23 459
24 459
25 459
26 459
27 459
28 459
29 459
30 459
31 459
32 459
33 459
34 459
35 459
36 459
37 459
38 459
39 459
40 459
;

