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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

