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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

