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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

