aboutsummaryrefslogtreecommitdiff
path: root/rcc-legacy/tests/performance/22_many_globals_params.sy
blob: 37eb95d32b7890574373fd641b46c6b0be30178b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
int a1;
int a2;
int a3;
int a4;
int a5;
int a6;
int a7;
int a8;
int a9;
int a10;
int a11;
int a12;
int a13;
int a14;
int a15;
int a16;
int a17;
int a18;
int a19;
int a20;
int a21;
int a22;
int a23;
int a24;
int a25;
int a26;
int a27;
int a28;
int a29;
int a30;
int a31;
int a32;
int a33;
int a34;
int a35;
int a36;
int a37;
int a38;
int a39;
int a40;
int a41;
int a42;
int a43;
int a44;
int a45;
int a46;
int a47;
int a48;
int a49;
int a50;
int a51;
int a52;
int a53;
int a54;
int a55;
int a56;
int a57;
int a58;
int a59;
int a60;
int a61;
int a62;
int a63;
int a64;
int a65;
int a66;
int a67;
int a68;
int a69;
int a70;
int a71;
int a72;
int a73;
int a74;
int a75;
int a76;
int a77;
int a78;
int a79;
int a80;
int a81;
int a82;
int a83;
int a84;
int a85;
int a86;
int a87;
int a88;
int a89;
int a90;
int a91;
int a92;
int a93;
int a94;
int a95;
int a96;
int a97;
int a98;
int a99;
int a100;
int a101;
int a102;
int a103;
int a104;
int a105;
int a106;
int a107;
int a108;
int a109;
int a110;
int a111;
int a112;
int a113;
int a114;
int a115;
int a116;
int a117;
int a118;
int a119;
int a120;
int a121;
int a122;
int a123;
int a124;
int a125;
int a126;
int a127;
int a128;
int a129;
int a130;
int a131;
int a132;
int a133;
int a134;
int a135;
int a136;
int a137;
int a138;
int a139;
int a140;
int a141;
int a142;
int a143;
int a144;
int a145;
int a146;
int a147;
int a148;
int a149;
int a150;
int a151;
int a152;
int a153;
int a154;
int a155;
int a156;
int a157;
int a158;
int a159;
int a160;
int a161;
int a162;
int a163;
int a164;
int a165;
int a166;
int a167;
int a168;
int a169;
int a170;
int a171;
int a172;
int a173;
int a174;
int a175;
int a176;
int a177;
int a178;
int a179;
int a180;
int a181;
int a182;
int a183;
int a184;
int a185;
int a186;
int a187;
int a188;
int a189;
int a190;
int a191;
int a192;
int a193;
int a194;
int a195;
int a196;
int a197;
int a198;
int a199;
int a200;
int a201;
int a202;
int a203;
int a204;
int a205;
int a206;
int a207;
int a208;
int a209;
int a210;
int a211;
int a212;
int a213;
int a214;
int a215;
int a216;
int a217;
int a218;
int a219;
int a220;
int a221;
int a222;
int a223;
int a224;
int a225;
int a226;
int a227;
int a228;
int a229;
int a230;
int a231;
int a232;
int a233;
int a234;
int a235;
int a236;
int a237;
int a238;
int a239;
int a240;
int a241;
int a242;
int a243;
int a244;
int a245;
int a246;
int a247;
int a248;
int a249;
int a250;
int a251;
int a252;
int a253;
int a254;
int a255;
int a256;
int a257;
int a258;
int a259;
int a260;
int a261;
int a262;
int a263;
int a264;
int a265;
int a266;
int a267;
int a268;
int a269;
int a270;
int a271;
int a272;
int a273;
int a274;
int a275;
int a276;
int a277;
int a278;
int a279;
int a280;
int a281;
int a282;
int a283;
int a284;
int a285;
int a286;
int a287;
int a288;
int a289;
int a290;
int a291;
int a292;
int a293;
int a294;
int a295;
int a296;
int a297;
int a298;
int a299;
int a300;
int a301;
int a302;
int a303;
int a304;
int a305;
int a306;
int a307;
int a308;
int a309;
int a310;
int a311;
int a312;
int a313;
int a314;
int a315;
int a316;
int a317;
int a318;
int a319;
int a320;
int a321;
int a322;
int a323;
int a324;
int a325;
int a326;
int a327;
int a328;
int a329;
int a330;
int a331;
int a332;
int a333;
int a334;
int a335;
int a336;
int a337;
int a338;
int a339;
int a340;
int a341;
int a342;
int a343;
int a344;
int a345;
int a346;
int a347;
int a348;
int a349;
int a350;
int a351;
int a352;
int a353;
int a354;
int a355;
int a356;
int a357;
int a358;
int a359;
int a360;
int a361;
int a362;
int a363;
int a364;
int a365;
int a366;
int a367;
int a368;
int a369;
int a370;
int a371;
int a372;
int a373;
int a374;
int a375;
int a376;
int a377;
int a378;
int a379;
int a380;
int a381;
int a382;
int a383;
int a384;
int a385;
int a386;
int a387;
int a388;
int a389;
int a390;
int a391;
int a392;
int a393;
int a394;
int a395;
int a396;
int a397;
int a398;
int a399;
int a400;
int a401;
int a402;
int a403;
int a404;
int a405;
int a406;
int a407;
int a408;
int a409;
int a410;
int a411;
int a412;
int a413;
int a414;
int a415;
int a416;
int a417;
int a418;
int a419;
int a420;
int a421;
int a422;
int a423;
int a424;
int a425;
int a426;
int a427;
int a428;
int a429;
int a430;
int a431;
int a432;
int a433;
int a434;
int a435;
int a436;
int a437;
int a438;
int a439;
int a440;
int a441;
int a442;
int a443;
int a444;
int a445;
int a446;
int a447;
int a448;
int a449;
int a450;
int a451;
int a452;
int a453;
int a454;
int a455;
int a456;
int a457;
int a458;
int a459;
int a460;
int a461;
int a462;
int a463;
int a464;
int a465;
int a466;
int a467;
int a468;
int a469;
int a470;
int a471;
int a472;
int a473;
int a474;
int a475;
int a476;
int a477;
int a478;
int a479;
int a480;
int a481;
int a482;
int a483;
int a484;
int a485;
int a486;
int a487;
int a488;
int a489;
int a490;
int a491;
int a492;
int a493;
int a494;
int a495;
int a496;
int a497;
int a498;
int a499;
int a500;

int func(int b1, int b2, int b3, int b4, int b5, int b6, int b7, int b8, int b9, int b10, int b11, int b12, int b13, int b14, int b15, int b16, int b17, int b18, int b19, int b20, int b21, int b22, int b23, int b24, int b25, int b26, int b27, int b28, int b29, int b30, int b31, int b32, int b33, int b34, int b35, int b36, int b37, int b38, int b39, int b40, int b41, int b42, int b43, int b44, int b45, int b46, int b47, int b48, int b49, int b50, int b51, int b52, int b53, int b54, int b55, int b56, int b57, int b58, int b59, int b60, int b61, int b62, int b63, int b64, int b65, int b66, int b67, int b68, int b69, int b70, int b71, int b72, int b73, int b74, int b75, int b76, int b77, int b78, int b79, int b80, int b81, int b82, int b83, int b84, int b85, int b86, int b87, int b88, int b89, int b90, int b91, int b92, int b93, int b94, int b95, int b96, int b97, int b98, int b99, int b100, int b101, int b102, int b103, int b104, int b105, int b106, int b107, int b108, int b109, int b110, int b111, int b112, int b113, int b114, int b115, int b116, int b117, int b118, int b119, int b120, int b121, int b122, int b123, int b124, int b125, int b126, int b127, int b128, int b129, int b130, int b131, int b132, int b133, int b134, int b135, int b136, int b137, int b138, int b139, int b140, int b141, int b142, int b143, int b144, int b145, int b146, int b147, int b148, int b149, int b150, int b151, int b152, int b153, int b154, int b155, int b156, int b157, int b158, int b159, int b160, int b161, int b162, int b163, int b164, int b165, int b166, int b167, int b168, int b169, int b170, int b171, int b172, int b173, int b174, int b175, int b176, int b177, int b178, int b179, int b180, int b181, int b182, int b183, int b184, int b185, int b186, int b187, int b188, int b189, int b190, int b191, int b192, int b193, int b194, int b195, int b196, int b197, int b198, int b199, int b200, int b201, int b202, int b203, int b204, int b205, int b206, int b207, int b208, int b209, int b210, int b211, int b212, int b213, int b214, int b215, int b216, int b217, int b218, int b219, int b220, int b221, int b222, int b223, int b224, int b225, int b226, int b227, int b228, int b229, int b230, int b231, int b232, int b233, int b234, int b235, int b236, int b237, int b238, int b239, int b240, int b241, int b242, int b243, int b244, int b245, int b246, int b247, int b248, int b249, int b250, int b251, int b252, int b253, int b254, int b255, int b256, int b257, int b258, int b259, int b260, int b261, int b262, int b263, int b264, int b265, int b266, int b267, int b268, int b269, int b270, int b271, int b272, int b273, int b274, int b275, int b276, int b277, int b278, int b279, int b280, int b281, int b282, int b283, int b284, int b285, int b286, int b287, int b288, int b289, int b290, int b291, int b292, int b293, int b294, int b295, int b296, int b297, int b298, int b299, int b300, int b301, int b302, int b303, int b304, int b305, int b306, int b307, int b308, int b309, int b310, int b311, int b312, int b313, int b314, int b315, int b316, int b317, int b318, int b319, int b320, int b321, int b322, int b323, int b324, int b325, int b326, int b327, int b328, int b329, int b330, int b331, int b332, int b333, int b334, int b335, int b336, int b337, int b338, int b339, int b340, int b341, int b342, int b343, int b344, int b345, int b346, int b347, int b348, int b349, int b350, int b351, int b352, int b353, int b354, int b355, int b356, int b357, int b358, int b359, int b360, int b361, int b362, int b363, int b364, int b365, int b366, int b367, int b368, int b369, int b370, int b371, int b372, int b373, int b374, int b375, int b376, int b377, int b378, int b379, int b380, int b381, int b382, int b383, int b384, int b385, int b386, int b387, int b388, int b389, int b390, int b391, int b392, int b393, int b394, int b395, int b396, int b397, int b398, int b399, int b400, int b401, int b402, int b403, int b404, int b405, int b406, int b407, int b408, int b409, int b410, int b411, int b412, int b413, int b414, int b415, int b416, int b417, int b418, int b419, int b420, int b421, int b422, int b423, int b424, int b425, int b426, int b427, int b428, int b429, int b430, int b431, int b432, int b433, int b434, int b435, int b436, int b437, int b438, int b439, int b440, int b441, int b442, int b443, int b444, int b445, int b446, int b447, int b448, int b449, int b450, int b451, int b452, int b453, int b454, int b455, int b456, int b457, int b458, int b459, int b460, int b461, int b462, int b463, int b464, int b465, int b466, int b467, int b468, int b469, int b470, int b471, int b472, int b473, int b474, int b475, int b476, int b477, int b478, int b479, int b480, int b481, int b482, int b483, int b484, int b485, int b486, int b487, int b488, int b489, int b490, int b491, int b492, int b493, int b494, int b495, int b496, int b497, int b498, int b499, int b500) {
	return a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8 + a9 + a10 + a11 + a12 + a13 + a14 + a15 + a16 + a17 + a18 + a19 + a20 + a21 + a22 + a23 + a24 + a25 + a26 + a27 + a28 + a29 + a30 + a31 + a32 + a33 + a34 + a35 + a36 + a37 + a38 + a39 + a40 + a41 + a42 + a43 + a44 + a45 + a46 + a47 + a48 + a49 + a50 + a51 + a52 + a53 + a54 + a55 + a56 + a57 + a58 + a59 + a60 + a61 + a62 + a63 + a64 + a65 + a66 + a67 + a68 + a69 + a70 + a71 + a72 + a73 + a74 + a75 + a76 + a77 + a78 + a79 + a80 + a81 + a82 + a83 + a84 + a85 + a86 + a87 + a88 + a89 + a90 + a91 + a92 + a93 + a94 + a95 + a96 + a97 + a98 + a99 + a100 + a101 + a102 + a103 + a104 + a105 + a106 + a107 + a108 + a109 + a110 + a111 + a112 + a113 + a114 + a115 + a116 + a117 + a118 + a119 + a120 + a121 + a122 + a123 + a124 + a125 + a126 + a127 + a128 + a129 + a130 + a131 + a132 + a133 + a134 + a135 + a136 + a137 + a138 + a139 + a140 + a141 + a142 + a143 + a144 + a145 + a146 + a147 + a148 + a149 + a150 + a151 + a152 + a153 + a154 + a155 + a156 + a157 + a158 + a159 + a160 + a161 + a162 + a163 + a164 + a165 + a166 + a167 + a168 + a169 + a170 + a171 + a172 + a173 + a174 + a175 + a176 + a177 + a178 + a179 + a180 + a181 + a182 + a183 + a184 + a185 + a186 + a187 + a188 + a189 + a190 + a191 + a192 + a193 + a194 + a195 + a196 + a197 + a198 + a199 + a200 + a201 + a202 + a203 + a204 + a205 + a206 + a207 + a208 + a209 + a210 + a211 + a212 + a213 + a214 + a215 + a216 + a217 + a218 + a219 + a220 + a221 + a222 + a223 + a224 + a225 + a226 + a227 + a228 + a229 + a230 + a231 + a232 + a233 + a234 + a235 + a236 + a237 + a238 + a239 + a240 + a241 + a242 + a243 + a244 + a245 + a246 + a247 + a248 + a249 + a250 + a251 + a252 + a253 + a254 + a255 + a256 + a257 + a258 + a259 + a260 + a261 + a262 + a263 + a264 + a265 + a266 + a267 + a268 + a269 + a270 + a271 + a272 + a273 + a274 + a275 + a276 + a277 + a278 + a279 + a280 + a281 + a282 + a283 + a284 + a285 + a286 + a287 + a288 + a289 + a290 + a291 + a292 + a293 + a294 + a295 + a296 + a297 + a298 + a299 + a300 + a301 + a302 + a303 + a304 + a305 + a306 + a307 + a308 + a309 + a310 + a311 + a312 + a313 + a314 + a315 + a316 + a317 + a318 + a319 + a320 + a321 + a322 + a323 + a324 + a325 + a326 + a327 + a328 + a329 + a330 + a331 + a332 + a333 + a334 + a335 + a336 + a337 + a338 + a339 + a340 + a341 + a342 + a343 + a344 + a345 + a346 + a347 + a348 + a349 + a350 + a351 + a352 + a353 + a354 + a355 + a356 + a357 + a358 + a359 + a360 + a361 + a362 + a363 + a364 + a365 + a366 + a367 + a368 + a369 + a370 + a371 + a372 + a373 + a374 + a375 + a376 + a377 + a378 + a379 + a380 + a381 + a382 + a383 + a384 + a385 + a386 + a387 + a388 + a389 + a390 + a391 + a392 + a393 + a394 + a395 + a396 + a397 + a398 + a399 + a400 + a401 + a402 + a403 + a404 + a405 + a406 + a407 + a408 + a409 + a410 + a411 + a412 + a413 + a414 + a415 + a416 + a417 + a418 + a419 + a420 + a421 + a422 + a423 + a424 + a425 + a426 + a427 + a428 + a429 + a430 + a431 + a432 + a433 + a434 + a435 + a436 + a437 + a438 + a439 + a440 + a441 + a442 + a443 + a444 + a445 + a446 + a447 + a448 + a449 + a450 + a451 + a452 + a453 + a454 + a455 + a456 + a457 + a458 + a459 + a460 + a461 + a462 + a463 + a464 + a465 + a466 + a467 + a468 + a469 + a470 + a471 + a472 + a473 + a474 + a475 + a476 + a477 + a478 + a479 + a480 + a481 + a482 + a483 + a484 + a485 + a486 + a487 + a488 + a489 + a490 + a491 + a492 + a493 + a494 + a495 + a496 + a497 + a498 + a499 + a500 + b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 + b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 + b217 + b218 + b219 + b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228 + b229 + b230 + b231 + b232 + b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 + b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 + b271 + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 + b299 + b300 + b301 + b302 + b303 + b304 + b305 + b306 + b307 + b308 + b309 + b310 + b311 + b312 + b313 + b314 + b315 + b316 + b317 + b318 + b319 + b320 + b321 + b322 + b323 + b324 + b325 + b326 + b327 + b328 + b329 + b330 + b331 + b332 + b333 + b334 + b335 + b336 + b337 + b338 + b339 + b340 + b341 + b342 + b343 + b344 + b345 + b346 + b347 + b348 + b349 + b350 + b351 + b352 + b353 + b354 + b355 + b356 + b357 + b358 + b359 + b360 + b361 + b362 + b363 + b364 + b365 + b366 + b367 + b368 + b369 + b370 + b371 + b372 + b373 + b374 + b375 + b376 + b377 + b378 + b379 + b380 + b381 + b382 + b383 + b384 + b385 + b386 + b387 + b388 + b389 + b390 + b391 + b392 + b393 + b394 + b395 + b396 + b397 + b398 + b399 + b400 + b401 + b402 + b403 + b404 + b405 + b406 + b407 + b408 + b409 + b410 + b411 + b412 + b413 + b414 + b415 + b416 + b417 + b418 + b419 + b420 + b421 + b422 + b423 + b424 + b425 + b426 + b427 + b428 + b429 + b430 + b431 + b432 + b433 + b434 + b435 + b436 + b437 + b438 + b439 + b440 + b441 + b442 + b443 + b444 + b445 + b446 + b447 + b448 + b449 + b450 + b451 + b452 + b453 + b454 + b455 + b456 + b457 + b458 + b459 + b460 + b461 + b462 + b463 + b464 + b465 + b466 + b467 + b468 + b469 + b470 + b471 + b472 + b473 + b474 + b475 + b476 + b477 + b478 + b479 + b480 + b481 + b482 + b483 + b484 + b485 + b486 + b487 + b488 + b489 + b490 + b491 + b492 + b493 + b494 + b495 + b496 + b497 + b498 + b499 + b500;
}
int main() {
	a1 = 1;
	a2 = 1;
	a3 = 1;
	a4 = 1;
	a5 = 1;
	a6 = 1;
	a7 = 1;
	a8 = 1;
	a9 = 1;
	a10 = 1;
	a11 = 1;
	a12 = 1;
	a13 = 1;
	a14 = 1;
	a15 = 1;
	a16 = 1;
	a17 = 1;
	a18 = 1;
	a19 = 1;
	a20 = 1;
	a21 = 1;
	a22 = 1;
	a23 = 1;
	a24 = 1;
	a25 = 1;
	a26 = 1;
	a27 = 1;
	a28 = 1;
	a29 = 1;
	a30 = 1;
	a31 = 1;
	a32 = 1;
	a33 = 1;
	a34 = 1;
	a35 = 1;
	a36 = 1;
	a37 = 1;
	a38 = 1;
	a39 = 1;
	a40 = 1;
	a41 = 1;
	a42 = 1;
	a43 = 1;
	a44 = 1;
	a45 = 1;
	a46 = 1;
	a47 = 1;
	a48 = 1;
	a49 = 1;
	a50 = 1;
	a51 = 1;
	a52 = 1;
	a53 = 1;
	a54 = 1;
	a55 = 1;
	a56 = 1;
	a57 = 1;
	a58 = 1;
	a59 = 1;
	a60 = 1;
	a61 = 1;
	a62 = 1;
	a63 = 1;
	a64 = 1;
	a65 = 1;
	a66 = 1;
	a67 = 1;
	a68 = 1;
	a69 = 1;
	a70 = 1;
	a71 = 1;
	a72 = 1;
	a73 = 1;
	a74 = 1;
	a75 = 1;
	a76 = 1;
	a77 = 1;
	a78 = 1;
	a79 = 1;
	a80 = 1;
	a81 = 1;
	a82 = 1;
	a83 = 1;
	a84 = 1;
	a85 = 1;
	a86 = 1;
	a87 = 1;
	a88 = 1;
	a89 = 1;
	a90 = 1;
	a91 = 1;
	a92 = 1;
	a93 = 1;
	a94 = 1;
	a95 = 1;
	a96 = 1;
	a97 = 1;
	a98 = 1;
	a99 = 1;
	a100 = 1;
	a101 = 1;
	a102 = 1;
	a103 = 1;
	a104 = 1;
	a105 = 1;
	a106 = 1;
	a107 = 1;
	a108 = 1;
	a109 = 1;
	a110 = 1;
	a111 = 1;
	a112 = 1;
	a113 = 1;
	a114 = 1;
	a115 = 1;
	a116 = 1;
	a117 = 1;
	a118 = 1;
	a119 = 1;
	a120 = 1;
	a121 = 1;
	a122 = 1;
	a123 = 1;
	a124 = 1;
	a125 = 1;
	a126 = 1;
	a127 = 1;
	a128 = 1;
	a129 = 1;
	a130 = 1;
	a131 = 1;
	a132 = 1;
	a133 = 1;
	a134 = 1;
	a135 = 1;
	a136 = 1;
	a137 = 1;
	a138 = 1;
	a139 = 1;
	a140 = 1;
	a141 = 1;
	a142 = 1;
	a143 = 1;
	a144 = 1;
	a145 = 1;
	a146 = 1;
	a147 = 1;
	a148 = 1;
	a149 = 1;
	a150 = 1;
	a151 = 1;
	a152 = 1;
	a153 = 1;
	a154 = 1;
	a155 = 1;
	a156 = 1;
	a157 = 1;
	a158 = 1;
	a159 = 1;
	a160 = 1;
	a161 = 1;
	a162 = 1;
	a163 = 1;
	a164 = 1;
	a165 = 1;
	a166 = 1;
	a167 = 1;
	a168 = 1;
	a169 = 1;
	a170 = 1;
	a171 = 1;
	a172 = 1;
	a173 = 1;
	a174 = 1;
	a175 = 1;
	a176 = 1;
	a177 = 1;
	a178 = 1;
	a179 = 1;
	a180 = 1;
	a181 = 1;
	a182 = 1;
	a183 = 1;
	a184 = 1;
	a185 = 1;
	a186 = 1;
	a187 = 1;
	a188 = 1;
	a189 = 1;
	a190 = 1;
	a191 = 1;
	a192 = 1;
	a193 = 1;
	a194 = 1;
	a195 = 1;
	a196 = 1;
	a197 = 1;
	a198 = 1;
	a199 = 1;
	a200 = 1;
	a201 = 1;
	a202 = 1;
	a203 = 1;
	a204 = 1;
	a205 = 1;
	a206 = 1;
	a207 = 1;
	a208 = 1;
	a209 = 1;
	a210 = 1;
	a211 = 1;
	a212 = 1;
	a213 = 1;
	a214 = 1;
	a215 = 1;
	a216 = 1;
	a217 = 1;
	a218 = 1;
	a219 = 1;
	a220 = 1;
	a221 = 1;
	a222 = 1;
	a223 = 1;
	a224 = 1;
	a225 = 1;
	a226 = 1;
	a227 = 1;
	a228 = 1;
	a229 = 1;
	a230 = 1;
	a231 = 1;
	a232 = 1;
	a233 = 1;
	a234 = 1;
	a235 = 1;
	a236 = 1;
	a237 = 1;
	a238 = 1;
	a239 = 1;
	a240 = 1;
	a241 = 1;
	a242 = 1;
	a243 = 1;
	a244 = 1;
	a245 = 1;
	a246 = 1;
	a247 = 1;
	a248 = 1;
	a249 = 1;
	a250 = 1;
	a251 = 1;
	a252 = 1;
	a253 = 1;
	a254 = 1;
	a255 = 1;
	a256 = 1;
	a257 = 1;
	a258 = 1;
	a259 = 1;
	a260 = 1;
	a261 = 1;
	a262 = 1;
	a263 = 1;
	a264 = 1;
	a265 = 1;
	a266 = 1;
	a267 = 1;
	a268 = 1;
	a269 = 1;
	a270 = 1;
	a271 = 1;
	a272 = 1;
	a273 = 1;
	a274 = 1;
	a275 = 1;
	a276 = 1;
	a277 = 1;
	a278 = 1;
	a279 = 1;
	a280 = 1;
	a281 = 1;
	a282 = 1;
	a283 = 1;
	a284 = 1;
	a285 = 1;
	a286 = 1;
	a287 = 1;
	a288 = 1;
	a289 = 1;
	a290 = 1;
	a291 = 1;
	a292 = 1;
	a293 = 1;
	a294 = 1;
	a295 = 1;
	a296 = 1;
	a297 = 1;
	a298 = 1;
	a299 = 1;
	a300 = 1;
	a301 = 1;
	a302 = 1;
	a303 = 1;
	a304 = 1;
	a305 = 1;
	a306 = 1;
	a307 = 1;
	a308 = 1;
	a309 = 1;
	a310 = 1;
	a311 = 1;
	a312 = 1;
	a313 = 1;
	a314 = 1;
	a315 = 1;
	a316 = 1;
	a317 = 1;
	a318 = 1;
	a319 = 1;
	a320 = 1;
	a321 = 1;
	a322 = 1;
	a323 = 1;
	a324 = 1;
	a325 = 1;
	a326 = 1;
	a327 = 1;
	a328 = 1;
	a329 = 1;
	a330 = 1;
	a331 = 1;
	a332 = 1;
	a333 = 1;
	a334 = 1;
	a335 = 1;
	a336 = 1;
	a337 = 1;
	a338 = 1;
	a339 = 1;
	a340 = 1;
	a341 = 1;
	a342 = 1;
	a343 = 1;
	a344 = 1;
	a345 = 1;
	a346 = 1;
	a347 = 1;
	a348 = 1;
	a349 = 1;
	a350 = 1;
	a351 = 1;
	a352 = 1;
	a353 = 1;
	a354 = 1;
	a355 = 1;
	a356 = 1;
	a357 = 1;
	a358 = 1;
	a359 = 1;
	a360 = 1;
	a361 = 1;
	a362 = 1;
	a363 = 1;
	a364 = 1;
	a365 = 1;
	a366 = 1;
	a367 = 1;
	a368 = 1;
	a369 = 1;
	a370 = 1;
	a371 = 1;
	a372 = 1;
	a373 = 1;
	a374 = 1;
	a375 = 1;
	a376 = 1;
	a377 = 1;
	a378 = 1;
	a379 = 1;
	a380 = 1;
	a381 = 1;
	a382 = 1;
	a383 = 1;
	a384 = 1;
	a385 = 1;
	a386 = 1;
	a387 = 1;
	a388 = 1;
	a389 = 1;
	a390 = 1;
	a391 = 1;
	a392 = 1;
	a393 = 1;
	a394 = 1;
	a395 = 1;
	a396 = 1;
	a397 = 1;
	a398 = 1;
	a399 = 1;
	a400 = 1;
	a401 = 1;
	a402 = 1;
	a403 = 1;
	a404 = 1;
	a405 = 1;
	a406 = 1;
	a407 = 1;
	a408 = 1;
	a409 = 1;
	a410 = 1;
	a411 = 1;
	a412 = 1;
	a413 = 1;
	a414 = 1;
	a415 = 1;
	a416 = 1;
	a417 = 1;
	a418 = 1;
	a419 = 1;
	a420 = 1;
	a421 = 1;
	a422 = 1;
	a423 = 1;
	a424 = 1;
	a425 = 1;
	a426 = 1;
	a427 = 1;
	a428 = 1;
	a429 = 1;
	a430 = 1;
	a431 = 1;
	a432 = 1;
	a433 = 1;
	a434 = 1;
	a435 = 1;
	a436 = 1;
	a437 = 1;
	a438 = 1;
	a439 = 1;
	a440 = 1;
	a441 = 1;
	a442 = 1;
	a443 = 1;
	a444 = 1;
	a445 = 1;
	a446 = 1;
	a447 = 1;
	a448 = 1;
	a449 = 1;
	a450 = 1;
	a451 = 1;
	a452 = 1;
	a453 = 1;
	a454 = 1;
	a455 = 1;
	a456 = 1;
	a457 = 1;
	a458 = 1;
	a459 = 1;
	a460 = 1;
	a461 = 1;
	a462 = 1;
	a463 = 1;
	a464 = 1;
	a465 = 1;
	a466 = 1;
	a467 = 1;
	a468 = 1;
	a469 = 1;
	a470 = 1;
	a471 = 1;
	a472 = 1;
	a473 = 1;
	a474 = 1;
	a475 = 1;
	a476 = 1;
	a477 = 1;
	a478 = 1;
	a479 = 1;
	a480 = 1;
	a481 = 1;
	a482 = 1;
	a483 = 1;
	a484 = 1;
	a485 = 1;
	a486 = 1;
	a487 = 1;
	a488 = 1;
	a489 = 1;
	a490 = 1;
	a491 = 1;
	a492 = 1;
	a493 = 1;
	a494 = 1;
	a495 = 1;
	a496 = 1;
	a497 = 1;
	a498 = 1;
	a499 = 1;
	a500 = 1;
	return 0;
}