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

