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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

