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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

