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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

