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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

