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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

