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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

