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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

