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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

