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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

param: w s_e h_e :=
1 33 1 1
2 93 1 2
3 71 1 3
4 4 1 4
5 25 1 5
6 96 1 6
7 57 1 7
8 12 1 8
9 37 1 9
10 10 1 10
11 50 1 11
12 32 1 12
13 37 1 13
14 79 1 14
15 33 1 15
16 6 1 16
17 15 1 17
18 35 1 18
19 35 1 19
20 61 1 20
21 58 1 21
22 92 1 22
23 42 1 23
24 41 1 24
25 63 1 25
26 79 1 26
27 65 1 27
28 38 1 28
29 46 1 29
30 21 1 30
31 77 2 31
32 58 2 32
33 23 2 33
34 44 2 34
35 32 2 35
36 33 2 36
37 61 2 37
38 56 2 38
39 24 2 39
40 52 2 40
41 98 2 41
42 63 2 42
43 32 2 43
44 85 2 44
45 44 2 45
46 61 2 46
47 62 2 47
48 95 2 48
49 84 2 49
50 68 2 50
51 22 2 51
52 82 2 52
53 20 2 53
54 94 2 54
55 61 2 55
56 87 2 56
57 43 2 57
58 63 2 58
59 33 2 59
60 39 2 60
61 61 3 61
62 39 3 62
63 46 3 63
64 36 3 64
65 4 3 65
66 40 3 66
67 70 3 67
68 27 3 68
69 16 3 69
70 91 3 70
71 64 3 71
72 66 3 72
73 95 3 73
74 70 3 74
75 68 3 75
76 20 3 76
77 84 3 77
78 38 3 78
79 92 3 79
80 9 3 80
81 21 3 81
82 96 3 82
83 84 3 83
84 18 3 84
85 5 3 85
86 25 3 86
87 98 3 87
88 28 3 88
89 79 3 89
90 83 3 90
91 3 4 91
92 94 4 92
93 66 4 93
94 9 4 94
95 27 4 95
96 74 4 96
97 33 4 97
98 31 4 98
99 60 4 99
100 42 4 100
101 54 4 101
102 97 4 102
103 42 4 103
104 7 4 104
105 62 4 105
106 38 4 106
107 17 4 107
108 69 4 108
109 79 4 109
110 5 4 110
111 95 4 111
112 48 4 112
113 54 4 113
114 86 4 114
115 49 4 115
116 22 4 116
117 11 4 117
118 66 4 118
119 62 4 119
120 1 4 120
121 43 5 121
122 42 5 122
123 46 5 123
124 33 5 124
125 38 5 125
126 30 5 126
127 99 5 127
128 81 5 128
129 72 5 129
130 10 5 130
131 83 5 131
132 66 5 132
133 37 5 133
134 62 5 134
135 91 5 135
136 52 5 136
137 37 5 137
138 3 5 138
139 97 5 139
140 67 5 140
141 76 5 141
142 62 5 142
143 65 5 143
144 2 5 144
145 30 5 145
146 59 5 146
147 20 5 147
148 75 5 148
149 55 5 149
150 85 5 150
151 11 6 151
152 75 6 152
153 62 6 153
154 14 6 154
155 8 6 155
156 5 6 156
157 68 6 157
158 74 6 158
159 72 6 159
160 70 6 160
161 85 6 161
162 84 6 162
163 27 6 163
164 42 6 164
165 79 6 165
166 92 6 166
167 29 6 167
168 72 6 168
169 25 6 169
170 86 6 170
171 41 6 171
172 11 6 172
173 4 6 173
174 13 6 174
175 59 6 175
176 45 6 176
177 45 6 177
178 23 6 178
179 34 6 179
180 89 6 180
181 2 7 181
182 11 7 182
183 92 7 183
184 82 7 184
185 44 7 185
186 44 7 186
187 90 7 187
188 66 7 188
189 54 7 189
190 72 7 190
191 32 7 191
192 76 7 192
193 99 7 193
194 41 7 194
195 10 7 195
196 3 7 196
197 46 7 197
198 7 7 198
199 44 7 199
200 57 7 200
201 47 7 201
202 30 7 202
203 55 7 203
204 76 7 204
205 48 7 205
206 68 7 206
207 78 7 207
208 57 7 208
209 18 7 209
210 18 7 210
211 97 8 211
212 83 8 212
213 93 8 213
214 47 8 214
215 83 8 215
216 30 8 216
217 62 8 217
218 93 8 218
219 40 8 219
220 85 8 220
221 20 8 221
222 50 8 222
223 28 8 223
224 67 8 224
225 58 8 225
226 12 8 226
227 17 8 227
228 1 8 228
229 65 8 229
230 97 8 230
231 91 8 231
232 34 8 232
233 72 8 233
234 54 8 234
235 91 8 235
236 70 8 236
237 46 8 237
238 25 8 238
239 93 8 239
240 29 8 240
241 92 9 241
242 6 9 242
243 55 9 243
244 32 9 244
245 62 9 245
246 22 9 246
247 77 9 247
248 75 9 248
249 80 9 249
250 59 9 250
251 52 9 251
252 40 9 252
253 7 9 253
254 27 9 254
255 71 9 255
256 20 9 256
257 16 9 257
258 83 9 258
259 56 9 259
260 92 9 260
261 23 9 261
262 95 9 262
263 51 9 263
264 11 9 264
265 14 9 265
266 43 9 266
267 25 9 267
268 42 9 268
269 82 9 269
270 21 9 270
271 72 10 271
272 56 10 272
273 10 10 273
274 32 10 274
275 35 10 275
276 5 10 276
277 75 10 277
278 40 10 278
279 65 10 279
280 70 10 280
281 20 10 281
282 55 10 282
283 18 10 283
284 16 10 284
285 87 10 285
286 34 10 286
287 71 10 287
288 96 10 288
289 53 10 289
290 60 10 290
291 8 10 291
292 16 10 292
293 56 10 293
294 12 10 294
295 63 10 295
296 84 10 296
297 16 10 297
298 10 10 298
299 13 10 299
300 9 10 300
301 57 11 301
302 41 11 302
303 40 11 303
304 78 11 304
305 65 11 305
306 52 11 306
307 48 11 307
308 78 11 308
309 82 11 309
310 96 11 310
311 69 11 311
312 23 11 312
313 66 11 313
314 97 11 314
315 53 11 315
316 49 11 316
317 46 11 317
318 68 11 318
319 75 11 319
320 71 11 320
321 52 11 321
322 47 11 322
323 42 11 323
324 5 11 324
325 65 11 325
326 70 11 326
327 75 11 327
328 58 11 328
329 90 11 329
330 100 11 330
331 29 12 331
332 17 12 332
333 59 12 333
334 78 12 334
335 46 12 335
336 81 12 336
337 25 12 337
338 87 12 338
339 6 12 339
340 63 12 340
341 3 12 341
342 81 12 342
343 75 12 343
344 12 12 344
345 16 12 345
346 34 12 346
347 59 12 347
348 27 12 348
349 83 12 349
350 28 12 350
351 55 12 351
352 19 12 352
353 51 12 353
354 39 12 354
355 26 12 355
356 89 12 356
357 46 12 357
358 49 12 358
359 51 12 359
360 61 12 360
361 81 13 361
362 97 13 362
363 32 13 363
364 38 13 364
365 29 13 365
366 21 13 366
367 13 13 367
368 40 13 368
369 31 13 369
370 20 13 370
371 11 13 371
372 66 13 372
373 15 13 373
374 82 13 374
375 82 13 375
376 4 13 376
377 62 13 377
378 33 13 378
379 3 13 379
380 56 13 380
381 70 13 381
382 72 13 382
383 76 13 383
384 69 13 384
385 72 13 385
386 62 13 386
387 33 13 387
388 39 13 388
389 93 13 389
390 90 13 390
391 19 14 391
392 5 14 392
393 20 14 393
394 21 14 394
395 59 14 395
396 84 14 396
397 64 14 397
398 37 14 398
399 50 14 399
400 90 14 400
401 88 14 401
402 16 14 402
403 89 14 403
404 45 14 404
405 29 14 405
406 87 14 406
407 17 14 407
408 91 14 408
409 4 14 409
410 17 14 410
411 55 14 411
412 21 14 412
413 53 14 413
414 8 14 414
415 9 14 415
416 30 14 416
417 19 14 417
418 55 14 418
419 78 14 419
420 21 14 420
421 28 15 421
422 45 15 422
423 50 15 423
424 39 15 424
425 82 15 425
426 96 15 426
427 3 15 427
428 5 15 428
429 68 15 429
430 98 15 430
431 96 15 431
432 54 15 432
433 93 15 433
434 51 15 434
435 51 15 435
436 71 15 436
437 4 15 437
438 38 15 438
439 56 15 439
440 84 15 440
441 81 15 441
442 39 15 442
443 14 15 443
444 8 15 444
445 77 15 445
446 88 15 446
447 84 15 447
448 32 15 448
449 27 15 449
450 73 15 450
451 61 16 451
452 98 16 452
453 69 16 453
454 55 16 454
455 5 16 455
456 88 16 456
457 27 16 457
458 99 16 458
459 87 16 459
460 53 16 460
461 4 16 461
462 24 16 462
463 79 16 463
464 44 16 464
465 60 16 465
466 20 16 466
467 85 16 467
468 91 16 468
469 46 16 469
470 80 16 470
471 31 16 471
472 2 16 472
473 47 16 473
474 35 16 474
475 17 16 475
476 42 16 476
477 28 16 477
478 51 16 478
479 66 16 479
480 78 16 480
481 32 17 481
482 45 17 482
483 77 17 483
484 31 17 484
485 15 17 485
486 98 17 486
487 24 17 487
488 63 17 488
489 58 17 489
490 31 17 490
491 81 17 491
492 81 17 492
493 39 17 493
494 44 17 494
495 42 17 495
496 78 17 496
497 87 17 497
498 23 17 498
499 90 17 499
500 69 17 500
501 100 17 501
502 78 17 502
503 77 17 503
504 50 17 504
505 54 17 505
506 37 17 506
507 14 17 507
508 90 17 508
509 69 17 509
510 13 17 510
511 65 18 511
512 41 18 512
513 66 18 513
514 12 18 514
515 53 18 515
516 93 18 516
517 37 18 517
518 20 18 518
519 64 18 519
520 34 18 520
521 4 18 521
522 78 18 522
523 27 18 523
524 19 18 524
525 72 18 525
526 93 18 526
527 3 18 527
528 80 18 528
529 42 18 529
530 60 18 530
531 52 18 531
532 2 18 532
533 25 18 533
534 44 18 534
535 79 18 535
536 45 18 536
537 84 18 537
538 29 18 538
539 23 18 539
540 63 18 540
541 68 19 541
542 9 19 542
543 37 19 543
544 64 19 544
545 31 19 545
546 53 19 546
547 4 19 547
548 42 19 548
549 16 19 549
550 66 19 550
551 85 19 551
552 53 19 552
553 54 19 553
554 60 19 554
555 71 19 555
556 4 19 556
557 87 19 557
558 5 19 558
559 76 19 559
560 36 19 560
561 64 19 561
562 35 19 562
563 32 19 563
564 81 19 564
565 5 19 565
566 73 19 566
567 33 19 567
568 69 19 568
569 90 19 569
570 41 19 570
571 50 20 571
572 56 20 572
573 45 20 573
574 66 20 574
575 90 20 575
576 20 20 576
577 53 20 577
578 64 20 578
579 49 20 579
580 84 20 580
581 25 20 581
582 69 20 582
583 33 20 583
584 95 20 584
585 21 20 585
586 42 20 586
587 37 20 587
588 23 20 588
589 13 20 589
590 29 20 590
591 79 20 591
592 23 20 592
593 41 20 593
594 93 20 594
595 82 20 595
596 37 20 596
597 83 20 597
598 73 20 598
599 22 20 599
600 92 20 600
601 47 21 601
602 50 21 602
603 95 21 603
604 32 21 604
605 28 21 605
606 78 21 606
607 55 21 607
608 69 21 608
609 14 21 609
610 39 21 610
611 29 21 611
612 26 21 612
613 65 21 613
614 8 21 614
615 100 21 615
616 59 21 616
617 90 21 617
618 100 21 618
619 23 21 619
620 88 21 620
621 93 21 621
622 48 21 622
623 72 21 623
624 50 21 624
625 79 21 625
626 5 21 626
627 88 21 627
628 1 21 628
629 51 21 629
630 82 21 630
631 58 22 631
632 11 22 632
633 46 22 633
634 20 22 634
635 19 22 635
636 87 22 636
637 96 22 637
638 18 22 638
639 82 22 639
640 9 22 640
641 88 22 641
642 8 22 642
643 62 22 643
644 15 22 644
645 50 22 645
646 51 22 646
647 91 22 647
648 42 22 648
649 73 22 649
650 60 22 650
651 10 22 651
652 25 22 652
653 40 22 653
654 73 22 654
655 66 22 655
656 61 22 656
657 36 22 657
658 21 22 658
659 3 22 659
660 63 22 660
661 40 23 661
662 42 23 662
663 4 23 663
664 54 23 664
665 76 23 665
666 67 23 666
667 62 23 667
668 80 23 668
669 58 23 669
670 56 23 670
671 87 23 671
672 41 23 672
673 92 23 673
674 63 23 674
675 57 23 675
676 34 23 676
677 14 23 677
678 34 23 678
679 46 23 679
680 31 23 680
681 92 23 681
682 12 23 682
683 52 23 683
684 49 23 684
685 45 23 685
686 84 23 686
687 52 23 687
688 41 23 688
689 89 23 689
690 99 23 690
691 17 24 691
692 19 24 692
693 61 24 693
694 62 24 694
695 86 24 695
696 33 24 696
697 13 24 697
698 49 24 698
699 21 24 699
700 23 24 700
701 36 24 701
702 85 24 702
703 5 24 703
704 66 24 704
705 50 24 705
706 22 24 706
707 88 24 707
708 72 24 708
709 41 24 709
710 85 24 710
711 23 24 711
712 45 24 712
713 51 24 713
714 20 24 714
715 35 24 715
716 25 24 716
717 2 24 717
718 88 24 718
719 80 24 719
720 50 24 720
721 88 25 721
722 6 25 722
723 61 25 723
724 93 25 724
725 54 25 725
726 48 25 726
727 91 25 727
728 6 25 728
729 13 25 729
730 5 25 730
731 43 25 731
732 72 25 732
733 48 25 733
734 70 25 734
735 58 25 735
736 90 25 736
737 57 25 737
738 23 25 738
739 52 25 739
740 92 25 740
741 30 25 741
742 80 25 742
743 54 25 743
744 47 25 744
745 41 25 745
746 86 25 746
747 16 25 747
748 10 25 748
749 95 25 749
750 61 25 750
751 81 26 751
752 62 26 752
753 72 26 753
754 26 26 754
755 14 26 755
756 12 26 756
757 56 26 757
758 97 26 758
759 28 26 759
760 97 26 760
761 95 26 761
762 23 26 762
763 10 26 763
764 64 26 764
765 68 26 765
766 66 26 766
767 63 26 767
768 54 26 768
769 9 26 769
770 44 26 770
771 94 26 771
772 14 26 772
773 52 26 773
774 68 26 774
775 50 26 775
776 91 26 776
777 62 26 777
778 27 26 778
779 49 26 779
780 47 26 780
781 88 27 781
782 20 27 782
783 61 27 783
784 38 27 784
785 47 27 785
786 29 27 786
787 23 27 787
788 34 27 788
789 74 27 789
790 31 27 790
791 52 27 791
792 95 27 792
793 20 27 793
794 98 27 794
795 17 27 795
796 61 27 796
797 4 27 797
798 46 27 798
799 78 27 799
800 90 27 800
801 98 27 801
802 25 27 802
803 21 27 803
804 23 27 804
805 45 27 805
806 68 27 806
807 61 27 807
808 59 27 808
809 22 27 809
810 62 27 810
811 28 28 811
812 66 28 812
813 57 28 813
814 43 28 814
815 39 28 815
816 66 28 816
817 85 28 817
818 52 28 818
819 37 28 819
820 38 28 820
821 42 28 821
822 24 28 822
823 33 28 823
824 52 28 824
825 76 28 825
826 50 28 826
827 69 28 827
828 14 28 828
829 11 28 829
830 64 28 830
831 15 28 831
832 22 28 832
833 18 28 833
834 12 28 834
835 80 28 835
836 12 28 836
837 43 28 837
838 68 28 838
839 10 28 839
840 43 28 840
841 19 29 841
842 37 29 842
843 38 29 843
844 78 29 844
845 9 29 845
846 24 29 846
847 37 29 847
848 19 29 848
849 2 29 849
850 44 29 850
851 46 29 851
852 57 29 852
853 31 29 853
854 57 29 854
855 53 29 855
856 19 29 856
857 8 29 857
858 43 29 858
859 84 29 859
860 55 29 860
861 69 29 861
862 58 29 862
863 20 29 863
864 77 29 864
865 97 29 865
866 52 29 866
867 40 29 867
868 83 29 868
869 33 29 869
870 78 29 870
871 43 30 871
872 31 30 872
873 33 30 873
874 35 30 874
875 71 30 875
876 22 30 876
877 14 30 877
878 23 30 878
879 20 30 879
880 40 30 880
881 86 30 881
882 87 30 882
883 43 30 883
884 58 30 884
885 65 30 885
886 83 30 886
887 94 30 887
888 96 30 888
889 39 30 889
890 46 30 890
891 17 30 891
892 20 30 892
893 8 30 893
894 84 30 894
895 29 30 895
896 88 30 896
897 7 30 897
898 54 30 898
899 72 30 899
900 30 30 900
901 77 31 1
902 30 32 2
903 63 33 3
904 66 34 4
905 86 35 5
906 20 36 6
907 35 37 7
908 74 38 8
909 21 39 9
910 11 40 10
911 59 41 11
912 25 42 12
913 81 43 13
914 12 44 14
915 33 45 15
916 29 46 16
917 26 47 17
918 26 48 18
919 13 49 19
920 49 50 20
921 38 51 21
922 78 52 22
923 27 53 23
924 78 54 24
925 65 55 25
926 12 56 26
927 92 57 27
928 67 58 28
929 91 59 29
930 90 60 30
931 93 31 31
932 66 32 32
933 37 33 33
934 39 34 34
935 42 35 35
936 8 36 36
937 72 37 37
938 76 38 38
939 98 39 39
940 92 40 40
941 45 41 41
942 41 42 42
943 67 43 43
944 25 44 44
945 74 45 45
946 34 46 46
947 98 47 47
948 43 48 48
949 30 49 49
950 14 50 50
951 43 51 51
952 70 52 52
953 6 53 53
954 49 54 54
955 98 55 55
956 45 56 56
957 97 57 57
958 74 58 58
959 17 59 59
960 68 60 60
961 60 31 61
962 4 32 62
963 18 33 63
964 26 34 64
965 19 35 65
966 21 36 66
967 98 37 67
968 37 38 68
969 43 39 69
970 44 40 70
971 48 41 71
972 17 42 72
973 88 43 73
974 76 44 74
975 53 45 75
976 79 46 76
977 39 47 77
978 42 48 78
979 28 49 79
980 67 50 80
981 79 51 81
982 76 52 82
983 11 53 83
984 28 54 84
985 15 55 85
986 68 56 86
987 55 57 87
988 25 58 88
989 89 59 89
990 44 60 90
991 11 31 91
992 11 32 92
993 38 33 93
994 71 34 94
995 92 35 95
996 35 36 96
997 9 37 97
998 48 38 98
999 68 39 99
1000 15 40 100
1001 65 41 101
1002 48 42 102
1003 88 43 103
1004 21 44 104
1005 41 45 105
1006 46 46 106
1007 58 47 107
1008 45 48 108
1009 91 49 109
1010 98 50 110
1011 90 51 111
1012 46 52 112
1013 88 53 113
1014 36 54 114
1015 63 55 115
1016 56 56 116
1017 34 57 117
1018 24 58 118
1019 30 59 119
1020 2 60 120
1021 20 31 121
1022 46 32 122
1023 49 33 123
1024 69 34 124
1025 45 35 125
1026 62 36 126
1027 31 37 127
1028 65 38 128
1029 73 39 129
1030 76 40 130
1031 32 41 131
1032 16 42 132
1033 82 43 133
1034 31 44 134
1035 65 45 135
1036 33 46 136
1037 65 47 137
1038 65 48 138
1039 38 49 139
1040 36 50 140
1041 13 51 141
1042 40 52 142
1043 57 53 143
1044 49 54 144
1045 88 55 145
1046 96 56 146
1047 80 57 147
1048 83 58 148
1049 27 59 149
1050 12 60 150
1051 88 31 151
1052 69 32 152
1053 66 33 153
1054 99 34 154
1055 74 35 155
1056 61 36 156
1057 60 37 157
1058 70 38 158
1059 47 39 159
1060 64 40 160
1061 95 41 161
1062 47 42 162
1063 21 43 163
1064 51 44 164
1065 23 45 165
1066 88 46 166
1067 61 47 167
1068 5 48 168
1069 6 49 169
1070 62 50 170
1071 95 51 171
1072 66 52 172
1073 8 53 173
1074 58 54 174
1075 20 55 175
1076 67 56 176
1077 92 57 177
1078 37 58 178
1079 93 59 179
1080 50 60 180
1081 33 31 181
1082 2 32 182
1083 68 33 183
1084 99 34 184
1085 81 35 185
1086 49 36 186
1087 99 37 187
1088 55 38 188
1089 73 39 189
1090 92 40 190
1091 10 41 191
1092 36 42 192
1093 45 43 193
1094 34 44 194
1095 23 45 195
1096 35 46 196
1097 82 47 197
1098 68 48 198
1099 55 49 199
1100 96 50 200
1101 60 51 201
1102 4 52 202
1103 18 53 203
1104 45 54 204
1105 35 55 205
1106 55 56 206
1107 66 57 207
1108 71 58 208
1109 11 59 209
1110 19 60 210
1111 57 31 211
1112 51 32 212
1113 69 33 213
1114 73 34 214
1115 70 35 215
1116 12 36 216
1117 59 37 217
1118 56 38 218
1119 16 39 219
1120 12 40 220
1121 55 41 221
1122 47 42 222
1123 83 43 223
1124 21 44 224
1125 56 45 225
1126 12 46 226
1127 100 47 227
1128 4 48 228
1129 35 49 229
1130 80 50 230
1131 57 51 231
1132 12 52 232
1133 82 53 233
1134 11 54 234
1135 61 55 235
1136 41 56 236
1137 96 57 237
1138 7 58 238
1139 45 59 239
1140 68 60 240
1141 100 31 241
1142 76 32 242
1143 13 33 243
1144 66 34 244
1145 4 35 245
1146 89 36 246
1147 59 37 247
1148 64 38 248
1149 36 39 249
1150 68 40 250
1151 42 41 251
1152 55 42 252
1153 60 43 253
1154 75 44 254
1155 62 45 255
1156 53 46 256
1157 68 47 257
1158 68 48 258
1159 81 49 259
1160 16 50 260
1161 36 51 261
1162 88 52 262
1163 70 53 263
1164 16 54 264
1165 18 55 265
1166 56 56 266
1167 58 57 267
1168 62 58 268
1169 6 59 269
1170 12 60 270
1171 76 31 271
1172 38 32 272
1173 4 33 273
1174 37 34 274
1175 79 35 275
1176 45 36 276
1177 39 37 277
1178 19 38 278
1179 51 39 279
1180 90 40 280
1181 37 41 281
1182 52 42 282
1183 54 43 283
1184 55 44 284
1185 42 45 285
1186 8 46 286
1187 36 47 287
1188 38 48 288
1189 47 49 289
1190 53 50 290
1191 49 51 291
1192 6 52 292
1193 34 53 293
1194 54 54 294
1195 58 55 295
1196 91 56 296
1197 13 57 297
1198 15 58 298
1199 63 59 299
1200 10 60 300
1201 44 31 301
1202 92 32 302
1203 14 33 303
1204 44 34 304
1205 2 35 305
1206 60 36 306
1207 57 37 307
1208 46 38 308
1209 34 39 309
1210 32 40 310
1211 95 41 311
1212 76 42 312
1213 12 43 313
1214 72 44 314
1215 88 45 315
1216 25 46 316
1217 12 47 317
1218 87 48 318
1219 59 49 319
1220 41 50 320
1221 42 51 321
1222 46 52 322
1223 29 53 323
1224 74 54 324
1225 32 55 325
1226 87 56 326
1227 17 57 327
1228 32 58 328
1229 6 59 329
1230 20 60 330
1231 81 31 331
1232 91 32 332
1233 38 33 333
1234 49 34 334
1235 3 35 335
1236 96 36 336
1237 47 37 337
1238 13 38 338
1239 72 39 339
1240 27 40 340
1241 72 41 341
1242 44 42 342
1243 90 43 343
1244 31 44 344
1245 28 45 345
1246 77 46 346
1247 43 47 347
1248 80 48 348
1249 93 49 349
1250 22 50 350
1251 36 51 351
1252 74 52 352
1253 76 53 353
1254 93 54 354
1255 84 55 355
1256 74 56 356
1257 14 57 357
1258 60 58 358
1259 29 59 359
1260 58 60 360
1261 11 31 361
1262 80 32 362
1263 44 33 363
1264 16 34 364
1265 24 35 365
1266 88 36 366
1267 18 37 367
1268 23 38 368
1269 28 39 369
1270 88 40 370
1271 86 41 371
1272 44 42 372
1273 2 43 373
1274 62 44 374
1275 38 45 375
1276 36 46 376
1277 52 47 377
1278 6 48 378
1279 83 49 379
1280 25 50 380
1281 63 51 381
1282 63 52 382
1283 69 53 383
1284 97 54 384
1285 1 55 385
1286 26 56 386
1287 38 57 387
1288 29 58 388
1289 22 59 389
1290 51 60 390
1291 76 31 391
1292 43 32 392
1293 73 33 393
1294 79 34 394
1295 71 35 395
1296 21 36 396
1297 54 37 397
1298 67 38 398
1299 21 39 399
1300 45 40 400
1301 41 41 401
1302 46 42 402
1303 97 43 403
1304 85 44 404
1305 72 45 405
1306 46 46 406
1307 82 47 407
1308 86 48 408
1309 99 49 409
1310 65 50 410
1311 9 51 411
1312 67 52 412
1313 8 53 413
1314 60 54 414
1315 9 55 415
1316 40 56 416
1317 85 57 417
1318 10 58 418
1319 20 59 419
1320 57 60 420
1321 16 31 421
1322 41 32 422
1323 65 33 423
1324 39 34 424
1325 19 35 425
1326 16 36 426
1327 47 37 427
1328 12 38 428
1329 51 39 429
1330 55 40 430
1331 19 41 431
1332 25 42 432
1333 73 43 433
1334 86 44 434
1335 47 45 435
1336 34 46 436
1337 27 47 437
1338 45 48 438
1339 15 49 439
1340 82 50 440
1341 93 51 441
1342 57 52 442
1343 13 53 443
1344 45 54 444
1345 27 55 445
1346 13 56 446
1347 51 57 447
1348 25 58 448
1349 42 59 449
1350 55 60 450
1351 78 31 451
1352 91 32 452
1353 42 33 453
1354 89 34 454
1355 12 35 455
1356 91 36 456
1357 58 37 457
1358 33 38 458
1359 61 39 459
1360 64 40 460
1361 22 41 461
1362 5 42 462
1363 26 43 463
1364 3 44 464
1365 11 45 465
1366 24 46 466
1367 75 47 467
1368 96 48 468
1369 53 49 469
1370 51 50 470
1371 23 51 471
1372 70 52 472
1373 91 53 473
1374 40 54 474
1375 27 55 475
1376 10 56 476
1377 68 57 477
1378 76 58 478
1379 86 59 479
1380 39 60 480
1381 13 31 481
1382 45 32 482
1383 13 33 483
1384 83 34 484
1385 74 35 485
1386 4 36 486
1387 24 37 487
1388 44 38 488
1389 30 39 489
1390 87 40 490
1391 21 41 491
1392 83 42 492
1393 95 43 493
1394 73 44 494
1395 70 45 495
1396 84 46 496
1397 29 47 497
1398 84 48 498
1399 5 49 499
1400 100 50 500
1401 47 51 501
1402 49 52 502
1403 94 53 503
1404 72 54 504
1405 4 55 505
1406 7 56 506
1407 64 57 507
1408 39 58 508
1409 7 59 509
1410 45 60 510
1411 4 31 511
1412 38 32 512
1413 72 33 513
1414 33 34 514
1415 73 35 515
1416 47 36 516
1417 84 37 517
1418 16 38 518
1419 43 39 519
1420 60 40 520
1421 40 41 521
1422 1 42 522
1423 9 43 523
1424 25 44 524
1425 45 45 525
1426 75 46 526
1427 61 47 527
1428 72 48 528
1429 68 49 529
1430 46 50 530
1431 78 51 531
1432 89 52 532
1433 49 53 533
1434 28 54 534
1435 75 55 535
1436 60 56 536
1437 79 57 537
1438 17 58 538
1439 82 59 539
1440 97 60 540
1441 35 31 541
1442 60 32 542
1443 16 33 543
1444 84 34 544
1445 96 35 545
1446 2 36 546
1447 62 37 547
1448 29 38 548
1449 71 39 549
1450 86 40 550
1451 51 41 551
1452 26 42 552
1453 14 43 553
1454 8 44 554
1455 33 45 555
1456 74 46 556
1457 33 47 557
1458 62 48 558
1459 52 49 559
1460 31 50 560
1461 73 51 561
1462 23 52 562
1463 19 53 563
1464 62 54 564
1465 32 55 565
1466 78 56 566
1467 70 57 567
1468 47 58 568
1469 36 59 569
1470 64 60 570
1471 20 31 571
1472 47 32 572
1473 97 33 573
1474 88 34 574
1475 96 35 575
1476 23 36 576
1477 64 37 577
1478 44 38 578
1479 69 39 579
1480 81 40 580
1481 50 41 581
1482 39 42 582
1483 31 43 583
1484 59 44 584
1485 20 45 585
1486 38 46 586
1487 91 47 587
1488 36 48 588
1489 84 49 589
1490 43 50 590
1491 84 51 591
1492 63 52 592
1493 56 53 593
1494 40 54 594
1495 47 55 595
1496 49 56 596
1497 93 57 597
1498 74 58 598
1499 79 59 599
1500 74 60 600
1501 45 31 601
1502 65 32 602
1503 86 33 603
1504 98 34 604
1505 80 35 605
1506 28 36 606
1507 44 37 607
1508 14 38 608
1509 69 39 609
1510 65 40 610
1511 48 41 611
1512 13 42 612
1513 94 43 613
1514 99 44 614
1515 93 45 615
1516 29 46 616
1517 73 47 617
1518 24 48 618
1519 51 49 619
1520 44 50 620
1521 99 51 621
1522 42 52 622
1523 33 53 623
1524 77 54 624
1525 27 55 625
1526 23 56 626
1527 14 57 627
1528 63 58 628
1529 56 59 629
1530 27 60 630
1531 64 31 631
1532 20 32 632
1533 38 33 633
1534 54 34 634
1535 90 35 635
1536 48 36 636
1537 78 37 637
1538 95 38 638
1539 75 39 639
1540 72 40 640
1541 3 41 641
1542 58 42 642
1543 57 43 643
1544 80 44 644
1545 30 45 645
1546 69 46 646
1547 30 47 647
1548 77 48 648
1549 49 49 649
1550 14 50 650
1551 80 51 651
1552 85 52 652
1553 100 53 653
1554 68 54 654
1555 46 55 655
1556 41 56 656
1557 40 57 657
1558 61 58 658
1559 57 59 659
1560 93 60 660
1561 14 31 661
1562 47 32 662
1563 64 33 663
1564 35 34 664
1565 99 35 665
1566 25 36 666
1567 77 37 667
1568 14 38 668
1569 26 39 669
1570 1 40 670
1571 54 41 671
1572 88 42 672
1573 79 43 673
1574 3 44 674
1575 47 45 675
1576 83 46 676
1577 12 47 677
1578 24 48 678
1579 84 49 679
1580 3 50 680
1581 35 51 681
1582 1 52 682
1583 17 53 683
1584 96 54 684
1585 71 55 685
1586 73 56 686
1587 22 57 687
1588 4 58 688
1589 77 59 689
1590 85 60 690
1591 44 31 691
1592 9 32 692
1593 43 33 693
1594 28 34 694
1595 10 35 695
1596 40 36 696
1597 58 37 697
1598 56 38 698
1599 26 39 699
1600 89 40 700
1601 52 41 701
1602 28 42 702
1603 89 43 703
1604 62 44 704
1605 65 45 705
1606 64 46 706
1607 84 47 707
1608 72 48 708
1609 76 49 709
1610 66 50 710
1611 62 51 711
1612 38 52 712
1613 60 53 713
1614 50 54 714
1615 65 55 715
1616 10 56 716
1617 96 57 717
1618 5 58 718
1619 69 59 719
1620 52 60 720
1621 61 31 721
1622 2 32 722
1623 35 33 723
1624 38 34 724
1625 93 35 725
1626 39 36 726
1627 12 37 727
1628 11 38 728
1629 15 39 729
1630 10 40 730
1631 46 41 731
1632 97 42 732
1633 23 43 733
1634 86 44 734
1635 23 45 735
1636 10 46 736
1637 99 47 737
1638 78 48 738
1639 34 49 739
1640 21 50 740
1641 16 51 741
1642 58 52 742
1643 63 53 743
1644 44 54 744
1645 21 55 745
1646 27 56 746
1647 11 57 747
1648 29 58 748
1649 93 59 749
1650 66 60 750
1651 93 31 751
1652 59 32 752
1653 38 33 753
1654 32 34 754
1655 47 35 755
1656 58 36 756
1657 76 37 757
1658 11 38 758
1659 13 39 759
1660 55 40 760
1661 66 41 761
1662 2 42 762
1663 72 43 763
1664 84 44 764
1665 2 45 765
1666 72 46 766
1667 31 47 767
1668 71 48 768
1669 66 49 769
1670 26 50 770
1671 11 51 771
1672 46 52 772
1673 91 53 773
1674 82 54 774
1675 78 55 775
1676 96 56 776
1677 59 57 777
1678 3 58 778
1679 7 59 779
1680 88 60 780
1681 7 31 781
1682 42 32 782
1683 14 33 783
1684 77 34 784
1685 17 35 785
1686 34 36 786
1687 51 37 787
1688 47 38 788
1689 55 39 789
1690 4 40 790
1691 27 41 791
1692 36 42 792
1693 95 43 793
1694 12 44 794
1695 18 45 795
1696 77 46 796
1697 65 47 797
1698 16 48 798
1699 6 49 799
1700 70 50 800
1701 38 51 801
1702 55 52 802
1703 26 53 803
1704 99 54 804
1705 46 55 805
1706 95 56 806
1707 72 57 807
1708 58 58 808
1709 46 59 809
1710 71 60 810
1711 93 31 811
1712 40 32 812
1713 56 33 813
1714 67 34 814
1715 35 35 815
1716 71 36 816
1717 87 37 817
1718 13 38 818
1719 11 39 819
1720 87 40 820
1721 63 41 821
1722 5 42 822
1723 47 43 823
1724 14 44 824
1725 95 45 825
1726 42 46 826
1727 87 47 827
1728 79 48 828
1729 31 49 829
1730 72 50 830
1731 14 51 831
1732 2 52 832
1733 68 53 833
1734 79 54 834
1735 30 55 835
1736 5 56 836
1737 49 57 837
1738 12 58 838
1739 92 59 839
1740 23 60 840
1741 74 31 841
1742 90 32 842
1743 39 33 843
1744 51 34 844
1745 97 35 845
1746 40 36 846
1747 16 37 847
1748 60 38 848
1749 84 39 849
1750 86 40 850
1751 78 41 851
1752 42 42 852
1753 89 43 853
1754 3 44 854
1755 37 45 855
1756 70 46 856
1757 100 47 857
1758 67 48 858
1759 27 49 859
1760 47 50 860
1761 93 51 861
1762 56 52 862
1763 17 53 863
1764 33 54 864
1765 54 55 865
1766 12 56 866
1767 20 57 867
1768 78 58 868
1769 36 59 869
1770 78 60 870
1771 28 31 871
1772 46 32 872
1773 44 33 873
1774 61 34 874
1775 43 35 875
1776 56 36 876
1777 51 37 877
1778 9 38 878
1779 25 39 879
1780 57 40 880
1781 79 41 881
1782 24 42 882
1783 7 43 883
1784 20 44 884
1785 64 45 885
1786 67 46 886
1787 58 47 887
1788 13 48 888
1789 40 49 889
1790 62 50 890
1791 58 51 891
1792 82 52 892
1793 81 53 893
1794 77 54 894
1795 28 55 895
1796 37 56 896
1797 52 57 897
1798 53 58 898
1799 79 59 899
1800 72 60 900
;

param b :=
1 377
2 377
3 377
4 377
5 377
6 377
7 377
8 377
9 377
10 377
11 377
12 377
13 377
14 377
15 377
16 377
17 377
18 377
19 377
20 377
21 377
22 377
23 377
24 377
25 377
26 377
27 377
28 377
29 377
30 377
31 455
32 455
33 455
34 455
35 455
36 455
37 455
38 455
39 455
40 455
41 455
42 455
43 455
44 455
45 455
46 455
47 455
48 455
49 455
50 455
51 455
52 455
53 455
54 455
55 455
56 455
57 455
58 455
59 455
60 455
;

