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

param NumSwaths := 40 ;

param NumSegments := 800 ;

param NumShards := 400 ;

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

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

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

