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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

