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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

