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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

