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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

