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