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

param NumSwaths := 60 ;

param NumSegments := 1800 ;

param NumShards := 900 ;

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

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

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

