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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

