1// compile
2
3// Copyright 2023 The Go Authors. All rights reserved.
4// Use of this source code is governed by a BSD-style
5// license that can be found in the LICENSE file.
6
7package main
8
9func f(x int, b bool) int {
10	if x >= 1000 {
11		if b { // from #61041
12			var a struct{ f int64 }
13			_ = max(0, a.f)
14		}
15
16		return max(x, 2000)
17	}
18	// generate 1000 basic blocks to put this function
19	// well into the "large function" phi generation algorithm.
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