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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

