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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

