path: root/rcc-legacy/tests/sysy_lvX/register_alloc1000.sy

int main() {
int sum = 0;
int temp0 = 0;
sum = sum + temp0;
int temp1 = 1;
sum = sum + temp1;
int temp2 = 2;
sum = sum + temp2;
int temp3 = 3;
sum = sum + temp3;
int temp4 = 4;
sum = sum + temp4;
int temp5 = 5;
sum = sum + temp5;
int temp6 = 6;
sum = sum + temp6;
int temp7 = 7;
sum = sum + temp7;
int temp8 = 8;
sum = sum + temp8;
int temp9 = 9;
sum = sum + temp9;
int temp10 = 10;
sum = sum + temp10;
int temp11 = 11;
sum = sum + temp11;
int temp12 = 12;
sum = sum + temp12;
int temp13 = 13;
sum = sum + temp13;
int temp14 = 14;
sum = sum + temp14;
int temp15 = 15;
sum = sum + temp15;
int temp16 = 16;
sum = sum + temp16;
int temp17 = 17;
sum = sum + temp17;
int temp18 = 18;
sum = sum + temp18;
int temp19 = 19;
sum = sum + temp19;
int temp20 = 20;
sum = sum + temp20;
int temp21 = 21;
sum = sum + temp21;
int temp22 = 22;
sum = sum + temp22;
int temp23 = 23;
sum = sum + temp23;
int temp24 = 24;
sum = sum + temp24;
int temp25 = 25;
sum = sum + temp25;
int temp26 = 26;
sum = sum + temp26;
int temp27 = 27;
sum = sum + temp27;
int temp28 = 28;
sum = sum + temp28;
int temp29 = 29;
sum = sum + temp29;
int temp30 = 30;
sum = sum + temp30;
int temp31 = 31;
sum = sum + temp31;
int temp32 = 32;
sum = sum + temp32;
int temp33 = 33;
sum = sum + temp33;
int temp34 = 34;
sum = sum + temp34;
int temp35 = 35;
sum = sum + temp35;
int temp36 = 36;
sum = sum + temp36;
int temp37 = 37;
sum = sum + temp37;
int temp38 = 38;
sum = sum + temp38;
int temp39 = 39;
sum = sum + temp39;
int temp40 = 40;
sum = sum + temp40;
int temp41 = 41;
sum = sum + temp41;
int temp42 = 42;
sum = sum + temp42;
int temp43 = 43;
sum = sum + temp43;
int temp44 = 44;
sum = sum + temp44;
int temp45 = 45;
sum = sum + temp45;
int temp46 = 46;
sum = sum + temp46;
int temp47 = 47;
sum = sum + temp47;
int temp48 = 48;
sum = sum + temp48;
int temp49 = 49;
sum = sum + temp49;
int temp50 = 50;
sum = sum + temp50;
int temp51 = 51;
sum = sum + temp51;
int temp52 = 52;
sum = sum + temp52;
int temp53 = 53;
sum = sum + temp53;
int temp54 = 54;
sum = sum + temp54;
int temp55 = 55;
sum = sum + temp55;
int temp56 = 56;
sum = sum + temp56;
int temp57 = 57;
sum = sum + temp57;
int temp58 = 58;
sum = sum + temp58;
int temp59 = 59;
sum = sum + temp59;
int temp60 = 60;
sum = sum + temp60;
int temp61 = 61;
sum = sum + temp61;
int temp62 = 62;
sum = sum + temp62;
int temp63 = 63;
sum = sum + temp63;
int temp64 = 64;
sum = sum + temp64;
int temp65 = 65;
sum = sum + temp65;
int temp66 = 66;
sum = sum + temp66;
int temp67 = 67;
sum = sum + temp67;
int temp68 = 68;
sum = sum + temp68;
int temp69 = 69;
sum = sum + temp69;
int temp70 = 70;
sum = sum + temp70;
int temp71 = 71;
sum = sum + temp71;
int temp72 = 72;
sum = sum + temp72;
int temp73 = 73;
sum = sum + temp73;
int temp74 = 74;
sum = sum + temp74;
int temp75 = 75;
sum = sum + temp75;
int temp76 = 76;
sum = sum + temp76;
int temp77 = 77;
sum = sum + temp77;
int temp78 = 78;
sum = sum + temp78;
int temp79 = 79;
sum = sum + temp79;
int temp80 = 80;
sum = sum + temp80;
int temp81 = 81;
sum = sum + temp81;
int temp82 = 82;
sum = sum + temp82;
int temp83 = 83;
sum = sum + temp83;
int temp84 = 84;
sum = sum + temp84;
int temp85 = 85;
sum = sum + temp85;
int temp86 = 86;
sum = sum + temp86;
int temp87 = 87;
sum = sum + temp87;
int temp88 = 88;
sum = sum + temp88;
int temp89 = 89;
sum = sum + temp89;
int temp90 = 90;
sum = sum + temp90;
int temp91 = 91;
sum = sum + temp91;
int temp92 = 92;
sum = sum + temp92;
int temp93 = 93;
sum = sum + temp93;
int temp94 = 94;
sum = sum + temp94;
int temp95 = 95;
sum = sum + temp95;
int temp96 = 96;
sum = sum + temp96;
int temp97 = 97;
sum = sum + temp97;
int temp98 = 98;
sum = sum + temp98;
int temp99 = 99;
sum = sum + temp99;
int temp100 = 100;
sum = sum + temp100;
int temp101 = 101;
sum = sum + temp101;
int temp102 = 102;
sum = sum + temp102;
int temp103 = 103;
sum = sum + temp103;
int temp104 = 104;
sum = sum + temp104;
int temp105 = 105;
sum = sum + temp105;
int temp106 = 106;
sum = sum + temp106;
int temp107 = 107;
sum = sum + temp107;
int temp108 = 108;
sum = sum + temp108;
int temp109 = 109;
sum = sum + temp109;
int temp110 = 110;
sum = sum + temp110;
int temp111 = 111;
sum = sum + temp111;
int temp112 = 112;
sum = sum + temp112;
int temp113 = 113;
sum = sum + temp113;
int temp114 = 114;
sum = sum + temp114;
int temp115 = 115;
sum = sum + temp115;
int temp116 = 116;
sum = sum + temp116;
int temp117 = 117;
sum = sum + temp117;
int temp118 = 118;
sum = sum + temp118;
int temp119 = 119;
sum = sum + temp119;
int temp120 = 120;
sum = sum + temp120;
int temp121 = 121;
sum = sum + temp121;
int temp122 = 122;
sum = sum + temp122;
int temp123 = 123;
sum = sum + temp123;
int temp124 = 124;
sum = sum + temp124;
int temp125 = 125;
sum = sum + temp125;
int temp126 = 126;
sum = sum + temp126;
int temp127 = 127;
sum = sum + temp127;
int temp128 = 128;
sum = sum + temp128;
int temp129 = 129;
sum = sum + temp129;
int temp130 = 130;
sum = sum + temp130;
int temp131 = 131;
sum = sum + temp131;
int temp132 = 132;
sum = sum + temp132;
int temp133 = 133;
sum = sum + temp133;
int temp134 = 134;
sum = sum + temp134;
int temp135 = 135;
sum = sum + temp135;
int temp136 = 136;
sum = sum + temp136;
int temp137 = 137;
sum = sum + temp137;
int temp138 = 138;
sum = sum + temp138;
int temp139 = 139;
sum = sum + temp139;
int temp140 = 140;
sum = sum + temp140;
int temp141 = 141;
sum = sum + temp141;
int temp142 = 142;
sum = sum + temp142;
int temp143 = 143;
sum = sum + temp143;
int temp144 = 144;
sum = sum + temp144;
int temp145 = 145;
sum = sum + temp145;
int temp146 = 146;
sum = sum + temp146;
int temp147 = 147;
sum = sum + temp147;
int temp148 = 148;
sum = sum + temp148;
int temp149 = 149;
sum = sum + temp149;
int temp150 = 150;
sum = sum + temp150;
int temp151 = 151;
sum = sum + temp151;
int temp152 = 152;
sum = sum + temp152;
int temp153 = 153;
sum = sum + temp153;
int temp154 = 154;
sum = sum + temp154;
int temp155 = 155;
sum = sum + temp155;
int temp156 = 156;
sum = sum + temp156;
int temp157 = 157;
sum = sum + temp157;
int temp158 = 158;
sum = sum + temp158;
int temp159 = 159;
sum = sum + temp159;
int temp160 = 160;
sum = sum + temp160;
int temp161 = 161;
sum = sum + temp161;
int temp162 = 162;
sum = sum + temp162;
int temp163 = 163;
sum = sum + temp163;
int temp164 = 164;
sum = sum + temp164;
int temp165 = 165;
sum = sum + temp165;
int temp166 = 166;
sum = sum + temp166;
int temp167 = 167;
sum = sum + temp167;
int temp168 = 168;
sum = sum + temp168;
int temp169 = 169;
sum = sum + temp169;
int temp170 = 170;
sum = sum + temp170;
int temp171 = 171;
sum = sum + temp171;
int temp172 = 172;
sum = sum + temp172;
int temp173 = 173;
sum = sum + temp173;
int temp174 = 174;
sum = sum + temp174;
int temp175 = 175;
sum = sum + temp175;
int temp176 = 176;
sum = sum + temp176;
int temp177 = 177;
sum = sum + temp177;
int temp178 = 178;
sum = sum + temp178;
int temp179 = 179;
sum = sum + temp179;
int temp180 = 180;
sum = sum + temp180;
int temp181 = 181;
sum = sum + temp181;
int temp182 = 182;
sum = sum + temp182;
int temp183 = 183;
sum = sum + temp183;
int temp184 = 184;
sum = sum + temp184;
int temp185 = 185;
sum = sum + temp185;
int temp186 = 186;
sum = sum + temp186;
int temp187 = 187;
sum = sum + temp187;
int temp188 = 188;
sum = sum + temp188;
int temp189 = 189;
sum = sum + temp189;
int temp190 = 190;
sum = sum + temp190;
int temp191 = 191;
sum = sum + temp191;
int temp192 = 192;
sum = sum + temp192;
int temp193 = 193;
sum = sum + temp193;
int temp194 = 194;
sum = sum + temp194;
int temp195 = 195;
sum = sum + temp195;
int temp196 = 196;
sum = sum + temp196;
int temp197 = 197;
sum = sum + temp197;
int temp198 = 198;
sum = sum + temp198;
int temp199 = 199;
sum = sum + temp199;
int temp200 = 200;
sum = sum + temp200;
int temp201 = 201;
sum = sum + temp201;
int temp202 = 202;
sum = sum + temp202;
int temp203 = 203;
sum = sum + temp203;
int temp204 = 204;
sum = sum + temp204;
int temp205 = 205;
sum = sum + temp205;
int temp206 = 206;
sum = sum + temp206;
int temp207 = 207;
sum = sum + temp207;
int temp208 = 208;
sum = sum + temp208;
int temp209 = 209;
sum = sum + temp209;
int temp210 = 210;
sum = sum + temp210;
int temp211 = 211;
sum = sum + temp211;
int temp212 = 212;
sum = sum + temp212;
int temp213 = 213;
sum = sum + temp213;
int temp214 = 214;
sum = sum + temp214;
int temp215 = 215;
sum = sum + temp215;
int temp216 = 216;
sum = sum + temp216;
int temp217 = 217;
sum = sum + temp217;
int temp218 = 218;
sum = sum + temp218;
int temp219 = 219;
sum = sum + temp219;
int temp220 = 220;
sum = sum + temp220;
int temp221 = 221;
sum = sum + temp221;
int temp222 = 222;
sum = sum + temp222;
int temp223 = 223;
sum = sum + temp223;
int temp224 = 224;
sum = sum + temp224;
int temp225 = 225;
sum = sum + temp225;
int temp226 = 226;
sum = sum + temp226;
int temp227 = 227;
sum = sum + temp227;
int temp228 = 228;
sum = sum + temp228;
int temp229 = 229;
sum = sum + temp229;
int temp230 = 230;
sum = sum + temp230;
int temp231 = 231;
sum = sum + temp231;
int temp232 = 232;
sum = sum + temp232;
int temp233 = 233;
sum = sum + temp233;
int temp234 = 234;
sum = sum + temp234;
int temp235 = 235;
sum = sum + temp235;
int temp236 = 236;
sum = sum + temp236;
int temp237 = 237;
sum = sum + temp237;
int temp238 = 238;
sum = sum + temp238;
int temp239 = 239;
sum = sum + temp239;
int temp240 = 240;
sum = sum + temp240;
int temp241 = 241;
sum = sum + temp241;
int temp242 = 242;
sum = sum + temp242;
int temp243 = 243;
sum = sum + temp243;
int temp244 = 244;
sum = sum + temp244;
int temp245 = 245;
sum = sum + temp245;
int temp246 = 246;
sum = sum + temp246;
int temp247 = 247;
sum = sum + temp247;
int temp248 = 248;
sum = sum + temp248;
int temp249 = 249;
sum = sum + temp249;
int temp250 = 250;
sum = sum + temp250;
int temp251 = 251;
sum = sum + temp251;
int temp252 = 252;
sum = sum + temp252;
int temp253 = 253;
sum = sum + temp253;
int temp254 = 254;
sum = sum + temp254;
int temp255 = 255;
sum = sum + temp255;
int temp256 = 256;
sum = sum + temp256;
int temp257 = 257;
sum = sum + temp257;
int temp258 = 258;
sum = sum + temp258;
int temp259 = 259;
sum = sum + temp259;
int temp260 = 260;
sum = sum + temp260;
int temp261 = 261;
sum = sum + temp261;
int temp262 = 262;
sum = sum + temp262;
int temp263 = 263;
sum = sum + temp263;
int temp264 = 264;
sum = sum + temp264;
int temp265 = 265;
sum = sum + temp265;
int temp266 = 266;
sum = sum + temp266;
int temp267 = 267;
sum = sum + temp267;
int temp268 = 268;
sum = sum + temp268;
int temp269 = 269;
sum = sum + temp269;
int temp270 = 270;
sum = sum + temp270;
int temp271 = 271;
sum = sum + temp271;
int temp272 = 272;
sum = sum + temp272;
int temp273 = 273;
sum = sum + temp273;
int temp274 = 274;
sum = sum + temp274;
int temp275 = 275;
sum = sum + temp275;
int temp276 = 276;
sum = sum + temp276;
int temp277 = 277;
sum = sum + temp277;
int temp278 = 278;
sum = sum + temp278;
int temp279 = 279;
sum = sum + temp279;
int temp280 = 280;
sum = sum + temp280;
int temp281 = 281;
sum = sum + temp281;
int temp282 = 282;
sum = sum + temp282;
int temp283 = 283;
sum = sum + temp283;
int temp284 = 284;
sum = sum + temp284;
int temp285 = 285;
sum = sum + temp285;
int temp286 = 286;
sum = sum + temp286;
int temp287 = 287;
sum = sum + temp287;
int temp288 = 288;
sum = sum + temp288;
int temp289 = 289;
sum = sum + temp289;
int temp290 = 290;
sum = sum + temp290;
int temp291 = 291;
sum = sum + temp291;
int temp292 = 292;
sum = sum + temp292;
int temp293 = 293;
sum = sum + temp293;
int temp294 = 294;
sum = sum + temp294;
int temp295 = 295;
sum = sum + temp295;
int temp296 = 296;
sum = sum + temp296;
int temp297 = 297;
sum = sum + temp297;
int temp298 = 298;
sum = sum + temp298;
int temp299 = 299;
sum = sum + temp299;
int temp300 = 300;
sum = sum + temp300;
int temp301 = 301;
sum = sum + temp301;
int temp302 = 302;
sum = sum + temp302;
int temp303 = 303;
sum = sum + temp303;
int temp304 = 304;
sum = sum + temp304;
int temp305 = 305;
sum = sum + temp305;
int temp306 = 306;
sum = sum + temp306;
int temp307 = 307;
sum = sum + temp307;
int temp308 = 308;
sum = sum + temp308;
int temp309 = 309;
sum = sum + temp309;
int temp310 = 310;
sum = sum + temp310;
int temp311 = 311;
sum = sum + temp311;
int temp312 = 312;
sum = sum + temp312;
int temp313 = 313;
sum = sum + temp313;
int temp314 = 314;
sum = sum + temp314;
int temp315 = 315;
sum = sum + temp315;
int temp316 = 316;
sum = sum + temp316;
int temp317 = 317;
sum = sum + temp317;
int temp318 = 318;
sum = sum + temp318;
int temp319 = 319;
sum = sum + temp319;
int temp320 = 320;
sum = sum + temp320;
int temp321 = 321;
sum = sum + temp321;
int temp322 = 322;
sum = sum + temp322;
int temp323 = 323;
sum = sum + temp323;
int temp324 = 324;
sum = sum + temp324;
int temp325 = 325;
sum = sum + temp325;
int temp326 = 326;
sum = sum + temp326;
int temp327 = 327;
sum = sum + temp327;
int temp328 = 328;
sum = sum + temp328;
int temp329 = 329;
sum = sum + temp329;
int temp330 = 330;
sum = sum + temp330;
int temp331 = 331;
sum = sum + temp331;
int temp332 = 332;
sum = sum + temp332;
int temp333 = 333;
sum = sum + temp333;
int temp334 = 334;
sum = sum + temp334;
int temp335 = 335;
sum = sum + temp335;
int temp336 = 336;
sum = sum + temp336;
int temp337 = 337;
sum = sum + temp337;
int temp338 = 338;
sum = sum + temp338;
int temp339 = 339;
sum = sum + temp339;
int temp340 = 340;
sum = sum + temp340;
int temp341 = 341;
sum = sum + temp341;
int temp342 = 342;
sum = sum + temp342;
int temp343 = 343;
sum = sum + temp343;
int temp344 = 344;
sum = sum + temp344;
int temp345 = 345;
sum = sum + temp345;
int temp346 = 346;
sum = sum + temp346;
int temp347 = 347;
sum = sum + temp347;
int temp348 = 348;
sum = sum + temp348;
int temp349 = 349;
sum = sum + temp349;
int temp350 = 350;
sum = sum + temp350;
int temp351 = 351;
sum = sum + temp351;
int temp352 = 352;
sum = sum + temp352;
int temp353 = 353;
sum = sum + temp353;
int temp354 = 354;
sum = sum + temp354;
int temp355 = 355;
sum = sum + temp355;
int temp356 = 356;
sum = sum + temp356;
int temp357 = 357;
sum = sum + temp357;
int temp358 = 358;
sum = sum + temp358;
int temp359 = 359;
sum = sum + temp359;
int temp360 = 360;
sum = sum + temp360;
int temp361 = 361;
sum = sum + temp361;
int temp362 = 362;
sum = sum + temp362;
int temp363 = 363;
sum = sum + temp363;
int temp364 = 364;
sum = sum + temp364;
int temp365 = 365;
sum = sum + temp365;
int temp366 = 366;
sum = sum + temp366;
int temp367 = 367;
sum = sum + temp367;
int temp368 = 368;
sum = sum + temp368;
int temp369 = 369;
sum = sum + temp369;
int temp370 = 370;
sum = sum + temp370;
int temp371 = 371;
sum = sum + temp371;
int temp372 = 372;
sum = sum + temp372;
int temp373 = 373;
sum = sum + temp373;
int temp374 = 374;
sum = sum + temp374;
int temp375 = 375;
sum = sum + temp375;
int temp376 = 376;
sum = sum + temp376;
int temp377 = 377;
sum = sum + temp377;
int temp378 = 378;
sum = sum + temp378;
int temp379 = 379;
sum = sum + temp379;
int temp380 = 380;
sum = sum + temp380;
int temp381 = 381;
sum = sum + temp381;
int temp382 = 382;
sum = sum + temp382;
int temp383 = 383;
sum = sum + temp383;
int temp384 = 384;
sum = sum + temp384;
int temp385 = 385;
sum = sum + temp385;
int temp386 = 386;
sum = sum + temp386;
int temp387 = 387;
sum = sum + temp387;
int temp388 = 388;
sum = sum + temp388;
int temp389 = 389;
sum = sum + temp389;
int temp390 = 390;
sum = sum + temp390;
int temp391 = 391;
sum = sum + temp391;
int temp392 = 392;
sum = sum + temp392;
int temp393 = 393;
sum = sum + temp393;
int temp394 = 394;
sum = sum + temp394;
int temp395 = 395;
sum = sum + temp395;
int temp396 = 396;
sum = sum + temp396;
int temp397 = 397;
sum = sum + temp397;
int temp398 = 398;
sum = sum + temp398;
int temp399 = 399;
sum = sum + temp399;
int temp400 = 400;
sum = sum + temp400;
int temp401 = 401;
sum = sum + temp401;
int temp402 = 402;
sum = sum + temp402;
int temp403 = 403;
sum = sum + temp403;
int temp404 = 404;
sum = sum + temp404;
int temp405 = 405;
sum = sum + temp405;
int temp406 = 406;
sum = sum + temp406;
int temp407 = 407;
sum = sum + temp407;
int temp408 = 408;
sum = sum + temp408;
int temp409 = 409;
sum = sum + temp409;
int temp410 = 410;
sum = sum + temp410;
int temp411 = 411;
sum = sum + temp411;
int temp412 = 412;
sum = sum + temp412;
int temp413 = 413;
sum = sum + temp413;
int temp414 = 414;
sum = sum + temp414;
int temp415 = 415;
sum = sum + temp415;
int temp416 = 416;
sum = sum + temp416;
int temp417 = 417;
sum = sum + temp417;
int temp418 = 418;
sum = sum + temp418;
int temp419 = 419;
sum = sum + temp419;
int temp420 = 420;
sum = sum + temp420;
int temp421 = 421;
sum = sum + temp421;
int temp422 = 422;
sum = sum + temp422;
int temp423 = 423;
sum = sum + temp423;
int temp424 = 424;
sum = sum + temp424;
int temp425 = 425;
sum = sum + temp425;
int temp426 = 426;
sum = sum + temp426;
int temp427 = 427;
sum = sum + temp427;
int temp428 = 428;
sum = sum + temp428;
int temp429 = 429;
sum = sum + temp429;
int temp430 = 430;
sum = sum + temp430;
int temp431 = 431;
sum = sum + temp431;
int temp432 = 432;
sum = sum + temp432;
int temp433 = 433;
sum = sum + temp433;
int temp434 = 434;
sum = sum + temp434;
int temp435 = 435;
sum = sum + temp435;
int temp436 = 436;
sum = sum + temp436;
int temp437 = 437;
sum = sum + temp437;
int temp438 = 438;
sum = sum + temp438;
int temp439 = 439;
sum = sum + temp439;
int temp440 = 440;
sum = sum + temp440;
int temp441 = 441;
sum = sum + temp441;
int temp442 = 442;
sum = sum + temp442;
int temp443 = 443;
sum = sum + temp443;
int temp444 = 444;
sum = sum + temp444;
int temp445 = 445;
sum = sum + temp445;
int temp446 = 446;
sum = sum + temp446;
int temp447 = 447;
sum = sum + temp447;
int temp448 = 448;
sum = sum + temp448;
int temp449 = 449;
sum = sum + temp449;
int temp450 = 450;
sum = sum + temp450;
int temp451 = 451;
sum = sum + temp451;
int temp452 = 452;
sum = sum + temp452;
int temp453 = 453;
sum = sum + temp453;
int temp454 = 454;
sum = sum + temp454;
int temp455 = 455;
sum = sum + temp455;
int temp456 = 456;
sum = sum + temp456;
int temp457 = 457;
sum = sum + temp457;
int temp458 = 458;
sum = sum + temp458;
int temp459 = 459;
sum = sum + temp459;
int temp460 = 460;
sum = sum + temp460;
int temp461 = 461;
sum = sum + temp461;
int temp462 = 462;
sum = sum + temp462;
int temp463 = 463;
sum = sum + temp463;
int temp464 = 464;
sum = sum + temp464;
int temp465 = 465;
sum = sum + temp465;
int temp466 = 466;
sum = sum + temp466;
int temp467 = 467;
sum = sum + temp467;
int temp468 = 468;
sum = sum + temp468;
int temp469 = 469;
sum = sum + temp469;
int temp470 = 470;
sum = sum + temp470;
int temp471 = 471;
sum = sum + temp471;
int temp472 = 472;
sum = sum + temp472;
int temp473 = 473;
sum = sum + temp473;
int temp474 = 474;
sum = sum + temp474;
int temp475 = 475;
sum = sum + temp475;
int temp476 = 476;
sum = sum + temp476;
int temp477 = 477;
sum = sum + temp477;
int temp478 = 478;
sum = sum + temp478;
int temp479 = 479;
sum = sum + temp479;
int temp480 = 480;
sum = sum + temp480;
int temp481 = 481;
sum = sum + temp481;
int temp482 = 482;
sum = sum + temp482;
int temp483 = 483;
sum = sum + temp483;
int temp484 = 484;
sum = sum + temp484;
int temp485 = 485;
sum = sum + temp485;
int temp486 = 486;
sum = sum + temp486;
int temp487 = 487;
sum = sum + temp487;
int temp488 = 488;
sum = sum + temp488;
int temp489 = 489;
sum = sum + temp489;
int temp490 = 490;
sum = sum + temp490;
int temp491 = 491;
sum = sum + temp491;
int temp492 = 492;
sum = sum + temp492;
int temp493 = 493;
sum = sum + temp493;
int temp494 = 494;
sum = sum + temp494;
int temp495 = 495;
sum = sum + temp495;
int temp496 = 496;
sum = sum + temp496;
int temp497 = 497;
sum = sum + temp497;
int temp498 = 498;
sum = sum + temp498;
int temp499 = 499;
sum = sum + temp499;
int temp500 = 500;
sum = sum + temp500;
int temp501 = 501;
sum = sum + temp501;
int temp502 = 502;
sum = sum + temp502;
int temp503 = 503;
sum = sum + temp503;
int temp504 = 504;
sum = sum + temp504;
int temp505 = 505;
sum = sum + temp505;
int temp506 = 506;
sum = sum + temp506;
int temp507 = 507;
sum = sum + temp507;
int temp508 = 508;
sum = sum + temp508;
int temp509 = 509;
sum = sum + temp509;
int temp510 = 510;
sum = sum + temp510;
int temp511 = 511;
sum = sum + temp511;
int temp512 = 512;
sum = sum + temp512;
int temp513 = 513;
sum = sum + temp513;
int temp514 = 514;
sum = sum + temp514;
int temp515 = 515;
sum = sum + temp515;
int temp516 = 516;
sum = sum + temp516;
int temp517 = 517;
sum = sum + temp517;
int temp518 = 518;
sum = sum + temp518;
int temp519 = 519;
sum = sum + temp519;
int temp520 = 520;
sum = sum + temp520;
int temp521 = 521;
sum = sum + temp521;
int temp522 = 522;
sum = sum + temp522;
int temp523 = 523;
sum = sum + temp523;
int temp524 = 524;
sum = sum + temp524;
int temp525 = 525;
sum = sum + temp525;
int temp526 = 526;
sum = sum + temp526;
int temp527 = 527;
sum = sum + temp527;
int temp528 = 528;
sum = sum + temp528;
int temp529 = 529;
sum = sum + temp529;
int temp530 = 530;
sum = sum + temp530;
int temp531 = 531;
sum = sum + temp531;
int temp532 = 532;
sum = sum + temp532;
int temp533 = 533;
sum = sum + temp533;
int temp534 = 534;
sum = sum + temp534;
int temp535 = 535;
sum = sum + temp535;
int temp536 = 536;
sum = sum + temp536;
int temp537 = 537;
sum = sum + temp537;
int temp538 = 538;
sum = sum + temp538;
int temp539 = 539;
sum = sum + temp539;
int temp540 = 540;
sum = sum + temp540;
int temp541 = 541;
sum = sum + temp541;
int temp542 = 542;
sum = sum + temp542;
int temp543 = 543;
sum = sum + temp543;
int temp544 = 544;
sum = sum + temp544;
int temp545 = 545;
sum = sum + temp545;
int temp546 = 546;
sum = sum + temp546;
int temp547 = 547;
sum = sum + temp547;
int temp548 = 548;
sum = sum + temp548;
int temp549 = 549;
sum = sum + temp549;
int temp550 = 550;
sum = sum + temp550;
int temp551 = 551;
sum = sum + temp551;
int temp552 = 552;
sum = sum + temp552;
int temp553 = 553;
sum = sum + temp553;
int temp554 = 554;
sum = sum + temp554;
int temp555 = 555;
sum = sum + temp555;
int temp556 = 556;
sum = sum + temp556;
int temp557 = 557;
sum = sum + temp557;
int temp558 = 558;
sum = sum + temp558;
int temp559 = 559;
sum = sum + temp559;
int temp560 = 560;
sum = sum + temp560;
int temp561 = 561;
sum = sum + temp561;
int temp562 = 562;
sum = sum + temp562;
int temp563 = 563;
sum = sum + temp563;
int temp564 = 564;
sum = sum + temp564;
int temp565 = 565;
sum = sum + temp565;
int temp566 = 566;
sum = sum + temp566;
int temp567 = 567;
sum = sum + temp567;
int temp568 = 568;
sum = sum + temp568;
int temp569 = 569;
sum = sum + temp569;
int temp570 = 570;
sum = sum + temp570;
int temp571 = 571;
sum = sum + temp571;
int temp572 = 572;
sum = sum + temp572;
int temp573 = 573;
sum = sum + temp573;
int temp574 = 574;
sum = sum + temp574;
int temp575 = 575;
sum = sum + temp575;
int temp576 = 576;
sum = sum + temp576;
int temp577 = 577;
sum = sum + temp577;
int temp578 = 578;
sum = sum + temp578;
int temp579 = 579;
sum = sum + temp579;
int temp580 = 580;
sum = sum + temp580;
int temp581 = 581;
sum = sum + temp581;
int temp582 = 582;
sum = sum + temp582;
int temp583 = 583;
sum = sum + temp583;
int temp584 = 584;
sum = sum + temp584;
int temp585 = 585;
sum = sum + temp585;
int temp586 = 586;
sum = sum + temp586;
int temp587 = 587;
sum = sum + temp587;
int temp588 = 588;
sum = sum + temp588;
int temp589 = 589;
sum = sum + temp589;
int temp590 = 590;
sum = sum + temp590;
int temp591 = 591;
sum = sum + temp591;
int temp592 = 592;
sum = sum + temp592;
int temp593 = 593;
sum = sum + temp593;
int temp594 = 594;
sum = sum + temp594;
int temp595 = 595;
sum = sum + temp595;
int temp596 = 596;
sum = sum + temp596;
int temp597 = 597;
sum = sum + temp597;
int temp598 = 598;
sum = sum + temp598;
int temp599 = 599;
sum = sum + temp599;
int temp600 = 600;
sum = sum + temp600;
int temp601 = 601;
sum = sum + temp601;
int temp602 = 602;
sum = sum + temp602;
int temp603 = 603;
sum = sum + temp603;
int temp604 = 604;
sum = sum + temp604;
int temp605 = 605;
sum = sum + temp605;
int temp606 = 606;
sum = sum + temp606;
int temp607 = 607;
sum = sum + temp607;
int temp608 = 608;
sum = sum + temp608;
int temp609 = 609;
sum = sum + temp609;
int temp610 = 610;
sum = sum + temp610;
int temp611 = 611;
sum = sum + temp611;
int temp612 = 612;
sum = sum + temp612;
int temp613 = 613;
sum = sum + temp613;
int temp614 = 614;
sum = sum + temp614;
int temp615 = 615;
sum = sum + temp615;
int temp616 = 616;
sum = sum + temp616;
int temp617 = 617;
sum = sum + temp617;
int temp618 = 618;
sum = sum + temp618;
int temp619 = 619;
sum = sum + temp619;
int temp620 = 620;
sum = sum + temp620;
int temp621 = 621;
sum = sum + temp621;
int temp622 = 622;
sum = sum + temp622;
int temp623 = 623;
sum = sum + temp623;
int temp624 = 624;
sum = sum + temp624;
int temp625 = 625;
sum = sum + temp625;
int temp626 = 626;
sum = sum + temp626;
int temp627 = 627;
sum = sum + temp627;
int temp628 = 628;
sum = sum + temp628;
int temp629 = 629;
sum = sum + temp629;
int temp630 = 630;
sum = sum + temp630;
int temp631 = 631;
sum = sum + temp631;
int temp632 = 632;
sum = sum + temp632;
int temp633 = 633;
sum = sum + temp633;
int temp634 = 634;
sum = sum + temp634;
int temp635 = 635;
sum = sum + temp635;
int temp636 = 636;
sum = sum + temp636;
int temp637 = 637;
sum = sum + temp637;
int temp638 = 638;
sum = sum + temp638;
int temp639 = 639;
sum = sum + temp639;
int temp640 = 640;
sum = sum + temp640;
int temp641 = 641;
sum = sum + temp641;
int temp642 = 642;
sum = sum + temp642;
int temp643 = 643;
sum = sum + temp643;
int temp644 = 644;
sum = sum + temp644;
int temp645 = 645;
sum = sum + temp645;
int temp646 = 646;
sum = sum + temp646;
int temp647 = 647;
sum = sum + temp647;
int temp648 = 648;
sum = sum + temp648;
int temp649 = 649;
sum = sum + temp649;
int temp650 = 650;
sum = sum + temp650;
int temp651 = 651;
sum = sum + temp651;
int temp652 = 652;
sum = sum + temp652;
int temp653 = 653;
sum = sum + temp653;
int temp654 = 654;
sum = sum + temp654;
int temp655 = 655;
sum = sum + temp655;
int temp656 = 656;
sum = sum + temp656;
int temp657 = 657;
sum = sum + temp657;
int temp658 = 658;
sum = sum + temp658;
int temp659 = 659;
sum = sum + temp659;
int temp660 = 660;
sum = sum + temp660;
int temp661 = 661;
sum = sum + temp661;
int temp662 = 662;
sum = sum + temp662;
int temp663 = 663;
sum = sum + temp663;
int temp664 = 664;
sum = sum + temp664;
int temp665 = 665;
sum = sum + temp665;
int temp666 = 666;
sum = sum + temp666;
int temp667 = 667;
sum = sum + temp667;
int temp668 = 668;
sum = sum + temp668;
int temp669 = 669;
sum = sum + temp669;
int temp670 = 670;
sum = sum + temp670;
int temp671 = 671;
sum = sum + temp671;
int temp672 = 672;
sum = sum + temp672;
int temp673 = 673;
sum = sum + temp673;
int temp674 = 674;
sum = sum + temp674;
int temp675 = 675;
sum = sum + temp675;
int temp676 = 676;
sum = sum + temp676;
int temp677 = 677;
sum = sum + temp677;
int temp678 = 678;
sum = sum + temp678;
int temp679 = 679;
sum = sum + temp679;
int temp680 = 680;
sum = sum + temp680;
int temp681 = 681;
sum = sum + temp681;
int temp682 = 682;
sum = sum + temp682;
int temp683 = 683;
sum = sum + temp683;
int temp684 = 684;
sum = sum + temp684;
int temp685 = 685;
sum = sum + temp685;
int temp686 = 686;
sum = sum + temp686;
int temp687 = 687;
sum = sum + temp687;
int temp688 = 688;
sum = sum + temp688;
int temp689 = 689;
sum = sum + temp689;
int temp690 = 690;
sum = sum + temp690;
int temp691 = 691;
sum = sum + temp691;
int temp692 = 692;
sum = sum + temp692;
int temp693 = 693;
sum = sum + temp693;
int temp694 = 694;
sum = sum + temp694;
int temp695 = 695;
sum = sum + temp695;
int temp696 = 696;
sum = sum + temp696;
int temp697 = 697;
sum = sum + temp697;
int temp698 = 698;
sum = sum + temp698;
int temp699 = 699;
sum = sum + temp699;
int temp700 = 700;
sum = sum + temp700;
int temp701 = 701;
sum = sum + temp701;
int temp702 = 702;
sum = sum + temp702;
int temp703 = 703;
sum = sum + temp703;
int temp704 = 704;
sum = sum + temp704;
int temp705 = 705;
sum = sum + temp705;
int temp706 = 706;
sum = sum + temp706;
int temp707 = 707;
sum = sum + temp707;
int temp708 = 708;
sum = sum + temp708;
int temp709 = 709;
sum = sum + temp709;
int temp710 = 710;
sum = sum + temp710;
int temp711 = 711;
sum = sum + temp711;
int temp712 = 712;
sum = sum + temp712;
int temp713 = 713;
sum = sum + temp713;
int temp714 = 714;
sum = sum + temp714;
int temp715 = 715;
sum = sum + temp715;
int temp716 = 716;
sum = sum + temp716;
int temp717 = 717;
sum = sum + temp717;
int temp718 = 718;
sum = sum + temp718;
int temp719 = 719;
sum = sum + temp719;
int temp720 = 720;
sum = sum + temp720;
int temp721 = 721;
sum = sum + temp721;
int temp722 = 722;
sum = sum + temp722;
int temp723 = 723;
sum = sum + temp723;
int temp724 = 724;
sum = sum + temp724;
int temp725 = 725;
sum = sum + temp725;
int temp726 = 726;
sum = sum + temp726;
int temp727 = 727;
sum = sum + temp727;
int temp728 = 728;
sum = sum + temp728;
int temp729 = 729;
sum = sum + temp729;
int temp730 = 730;
sum = sum + temp730;
int temp731 = 731;
sum = sum + temp731;
int temp732 = 732;
sum = sum + temp732;
int temp733 = 733;
sum = sum + temp733;
int temp734 = 734;
sum = sum + temp734;
int temp735 = 735;
sum = sum + temp735;
int temp736 = 736;
sum = sum + temp736;
int temp737 = 737;
sum = sum + temp737;
int temp738 = 738;
sum = sum + temp738;
int temp739 = 739;
sum = sum + temp739;
int temp740 = 740;
sum = sum + temp740;
int temp741 = 741;
sum = sum + temp741;
int temp742 = 742;
sum = sum + temp742;
int temp743 = 743;
sum = sum + temp743;
int temp744 = 744;
sum = sum + temp744;
int temp745 = 745;
sum = sum + temp745;
int temp746 = 746;
sum = sum + temp746;
int temp747 = 747;
sum = sum + temp747;
int temp748 = 748;
sum = sum + temp748;
int temp749 = 749;
sum = sum + temp749;
int temp750 = 750;
sum = sum + temp750;
int temp751 = 751;
sum = sum + temp751;
int temp752 = 752;
sum = sum + temp752;
int temp753 = 753;
sum = sum + temp753;
int temp754 = 754;
sum = sum + temp754;
int temp755 = 755;
sum = sum + temp755;
int temp756 = 756;
sum = sum + temp756;
int temp757 = 757;
sum = sum + temp757;
int temp758 = 758;
sum = sum + temp758;
int temp759 = 759;
sum = sum + temp759;
int temp760 = 760;
sum = sum + temp760;
int temp761 = 761;
sum = sum + temp761;
int temp762 = 762;
sum = sum + temp762;
int temp763 = 763;
sum = sum + temp763;
int temp764 = 764;
sum = sum + temp764;
int temp765 = 765;
sum = sum + temp765;
int temp766 = 766;
sum = sum + temp766;
int temp767 = 767;
sum = sum + temp767;
int temp768 = 768;
sum = sum + temp768;
int temp769 = 769;
sum = sum + temp769;
int temp770 = 770;
sum = sum + temp770;
int temp771 = 771;
sum = sum + temp771;
int temp772 = 772;
sum = sum + temp772;
int temp773 = 773;
sum = sum + temp773;
int temp774 = 774;
sum = sum + temp774;
int temp775 = 775;
sum = sum + temp775;
int temp776 = 776;
sum = sum + temp776;
int temp777 = 777;
sum = sum + temp777;
int temp778 = 778;
sum = sum + temp778;
int temp779 = 779;
sum = sum + temp779;
int temp780 = 780;
sum = sum + temp780;
int temp781 = 781;
sum = sum + temp781;
int temp782 = 782;
sum = sum + temp782;
int temp783 = 783;
sum = sum + temp783;
int temp784 = 784;
sum = sum + temp784;
int temp785 = 785;
sum = sum + temp785;
int temp786 = 786;
sum = sum + temp786;
int temp787 = 787;
sum = sum + temp787;
int temp788 = 788;
sum = sum + temp788;
int temp789 = 789;
sum = sum + temp789;
int temp790 = 790;
sum = sum + temp790;
int temp791 = 791;
sum = sum + temp791;
int temp792 = 792;
sum = sum + temp792;
int temp793 = 793;
sum = sum + temp793;
int temp794 = 794;
sum = sum + temp794;
int temp795 = 795;
sum = sum + temp795;
int temp796 = 796;
sum = sum + temp796;
int temp797 = 797;
sum = sum + temp797;
int temp798 = 798;
sum = sum + temp798;
int temp799 = 799;
sum = sum + temp799;
int temp800 = 800;
sum = sum + temp800;
int temp801 = 801;
sum = sum + temp801;
int temp802 = 802;
sum = sum + temp802;
int temp803 = 803;
sum = sum + temp803;
int temp804 = 804;
sum = sum + temp804;
int temp805 = 805;
sum = sum + temp805;
int temp806 = 806;
sum = sum + temp806;
int temp807 = 807;
sum = sum + temp807;
int temp808 = 808;
sum = sum + temp808;
int temp809 = 809;
sum = sum + temp809;
int temp810 = 810;
sum = sum + temp810;
int temp811 = 811;
sum = sum + temp811;
int temp812 = 812;
sum = sum + temp812;
int temp813 = 813;
sum = sum + temp813;
int temp814 = 814;
sum = sum + temp814;
int temp815 = 815;
sum = sum + temp815;
int temp816 = 816;
sum = sum + temp816;
int temp817 = 817;
sum = sum + temp817;
int temp818 = 818;
sum = sum + temp818;
int temp819 = 819;
sum = sum + temp819;
int temp820 = 820;
sum = sum + temp820;
int temp821 = 821;
sum = sum + temp821;
int temp822 = 822;
sum = sum + temp822;
int temp823 = 823;
sum = sum + temp823;
int temp824 = 824;
sum = sum + temp824;
int temp825 = 825;
sum = sum + temp825;
int temp826 = 826;
sum = sum + temp826;
int temp827 = 827;
sum = sum + temp827;
int temp828 = 828;
sum = sum + temp828;
int temp829 = 829;
sum = sum + temp829;
int temp830 = 830;
sum = sum + temp830;
int temp831 = 831;
sum = sum + temp831;
int temp832 = 832;
sum = sum + temp832;
int temp833 = 833;
sum = sum + temp833;
int temp834 = 834;
sum = sum + temp834;
int temp835 = 835;
sum = sum + temp835;
int temp836 = 836;
sum = sum + temp836;
int temp837 = 837;
sum = sum + temp837;
int temp838 = 838;
sum = sum + temp838;
int temp839 = 839;
sum = sum + temp839;
int temp840 = 840;
sum = sum + temp840;
int temp841 = 841;
sum = sum + temp841;
int temp842 = 842;
sum = sum + temp842;
int temp843 = 843;
sum = sum + temp843;
int temp844 = 844;
sum = sum + temp844;
int temp845 = 845;
sum = sum + temp845;
int temp846 = 846;
sum = sum + temp846;
int temp847 = 847;
sum = sum + temp847;
int temp848 = 848;
sum = sum + temp848;
int temp849 = 849;
sum = sum + temp849;
int temp850 = 850;
sum = sum + temp850;
int temp851 = 851;
sum = sum + temp851;
int temp852 = 852;
sum = sum + temp852;
int temp853 = 853;
sum = sum + temp853;
int temp854 = 854;
sum = sum + temp854;
int temp855 = 855;
sum = sum + temp855;
int temp856 = 856;
sum = sum + temp856;
int temp857 = 857;
sum = sum + temp857;
int temp858 = 858;
sum = sum + temp858;
int temp859 = 859;
sum = sum + temp859;
int temp860 = 860;
sum = sum + temp860;
int temp861 = 861;
sum = sum + temp861;
int temp862 = 862;
sum = sum + temp862;
int temp863 = 863;
sum = sum + temp863;
int temp864 = 864;
sum = sum + temp864;
int temp865 = 865;
sum = sum + temp865;
int temp866 = 866;
sum = sum + temp866;
int temp867 = 867;
sum = sum + temp867;
int temp868 = 868;
sum = sum + temp868;
int temp869 = 869;
sum = sum + temp869;
int temp870 = 870;
sum = sum + temp870;
int temp871 = 871;
sum = sum + temp871;
int temp872 = 872;
sum = sum + temp872;
int temp873 = 873;
sum = sum + temp873;
int temp874 = 874;
sum = sum + temp874;
int temp875 = 875;
sum = sum + temp875;
int temp876 = 876;
sum = sum + temp876;
int temp877 = 877;
sum = sum + temp877;
int temp878 = 878;
sum = sum + temp878;
int temp879 = 879;
sum = sum + temp879;
int temp880 = 880;
sum = sum + temp880;
int temp881 = 881;
sum = sum + temp881;
int temp882 = 882;
sum = sum + temp882;
int temp883 = 883;
sum = sum + temp883;
int temp884 = 884;
sum = sum + temp884;
int temp885 = 885;
sum = sum + temp885;
int temp886 = 886;
sum = sum + temp886;
int temp887 = 887;
sum = sum + temp887;
int temp888 = 888;
sum = sum + temp888;
int temp889 = 889;
sum = sum + temp889;
int temp890 = 890;
sum = sum + temp890;
int temp891 = 891;
sum = sum + temp891;
int temp892 = 892;
sum = sum + temp892;
int temp893 = 893;
sum = sum + temp893;
int temp894 = 894;
sum = sum + temp894;
int temp895 = 895;
sum = sum + temp895;
int temp896 = 896;
sum = sum + temp896;
int temp897 = 897;
sum = sum + temp897;
int temp898 = 898;
sum = sum + temp898;
int temp899 = 899;
sum = sum + temp899;
int temp900 = 900;
sum = sum + temp900;
int temp901 = 901;
sum = sum + temp901;
int temp902 = 902;
sum = sum + temp902;
int temp903 = 903;
sum = sum + temp903;
int temp904 = 904;
sum = sum + temp904;
int temp905 = 905;
sum = sum + temp905;
int temp906 = 906;
sum = sum + temp906;
int temp907 = 907;
sum = sum + temp907;
int temp908 = 908;
sum = sum + temp908;
int temp909 = 909;
sum = sum + temp909;
int temp910 = 910;
sum = sum + temp910;
int temp911 = 911;
sum = sum + temp911;
int temp912 = 912;
sum = sum + temp912;
int temp913 = 913;
sum = sum + temp913;
int temp914 = 914;
sum = sum + temp914;
int temp915 = 915;
sum = sum + temp915;
int temp916 = 916;
sum = sum + temp916;
int temp917 = 917;
sum = sum + temp917;
int temp918 = 918;
sum = sum + temp918;
int temp919 = 919;
sum = sum + temp919;
int temp920 = 920;
sum = sum + temp920;
int temp921 = 921;
sum = sum + temp921;
int temp922 = 922;
sum = sum + temp922;
int temp923 = 923;
sum = sum + temp923;
int temp924 = 924;
sum = sum + temp924;
int temp925 = 925;
sum = sum + temp925;
int temp926 = 926;
sum = sum + temp926;
int temp927 = 927;
sum = sum + temp927;
int temp928 = 928;
sum = sum + temp928;
int temp929 = 929;
sum = sum + temp929;
int temp930 = 930;
sum = sum + temp930;
int temp931 = 931;
sum = sum + temp931;
int temp932 = 932;
sum = sum + temp932;
int temp933 = 933;
sum = sum + temp933;
int temp934 = 934;
sum = sum + temp934;
int temp935 = 935;
sum = sum + temp935;
int temp936 = 936;
sum = sum + temp936;
int temp937 = 937;
sum = sum + temp937;
int temp938 = 938;
sum = sum + temp938;
int temp939 = 939;
sum = sum + temp939;
int temp940 = 940;
sum = sum + temp940;
int temp941 = 941;
sum = sum + temp941;
int temp942 = 942;
sum = sum + temp942;
int temp943 = 943;
sum = sum + temp943;
int temp944 = 944;
sum = sum + temp944;
int temp945 = 945;
sum = sum + temp945;
int temp946 = 946;
sum = sum + temp946;
int temp947 = 947;
sum = sum + temp947;
int temp948 = 948;
sum = sum + temp948;
int temp949 = 949;
sum = sum + temp949;
int temp950 = 950;
sum = sum + temp950;
int temp951 = 951;
sum = sum + temp951;
int temp952 = 952;
sum = sum + temp952;
int temp953 = 953;
sum = sum + temp953;
int temp954 = 954;
sum = sum + temp954;
int temp955 = 955;
sum = sum + temp955;
int temp956 = 956;
sum = sum + temp956;
int temp957 = 957;
sum = sum + temp957;
int temp958 = 958;
sum = sum + temp958;
int temp959 = 959;
sum = sum + temp959;
int temp960 = 960;
sum = sum + temp960;
int temp961 = 961;
sum = sum + temp961;
int temp962 = 962;
sum = sum + temp962;
int temp963 = 963;
sum = sum + temp963;
int temp964 = 964;
sum = sum + temp964;
int temp965 = 965;
sum = sum + temp965;
int temp966 = 966;
sum = sum + temp966;
int temp967 = 967;
sum = sum + temp967;
int temp968 = 968;
sum = sum + temp968;
int temp969 = 969;
sum = sum + temp969;
int temp970 = 970;
sum = sum + temp970;
int temp971 = 971;
sum = sum + temp971;
int temp972 = 972;
sum = sum + temp972;
int temp973 = 973;
sum = sum + temp973;
int temp974 = 974;
sum = sum + temp974;
int temp975 = 975;
sum = sum + temp975;
int temp976 = 976;
sum = sum + temp976;
int temp977 = 977;
sum = sum + temp977;
int temp978 = 978;
sum = sum + temp978;
int temp979 = 979;
sum = sum + temp979;
int temp980 = 980;
sum = sum + temp980;
int temp981 = 981;
sum = sum + temp981;
int temp982 = 982;
sum = sum + temp982;
int temp983 = 983;
sum = sum + temp983;
int temp984 = 984;
sum = sum + temp984;
int temp985 = 985;
sum = sum + temp985;
int temp986 = 986;
sum = sum + temp986;
int temp987 = 987;
sum = sum + temp987;
int temp988 = 988;
sum = sum + temp988;
int temp989 = 989;
sum = sum + temp989;
int temp990 = 990;
sum = sum + temp990;
int temp991 = 991;
sum = sum + temp991;
int temp992 = 992;
sum = sum + temp992;
int temp993 = 993;
sum = sum + temp993;
int temp994 = 994;
sum = sum + temp994;
int temp995 = 995;
sum = sum + temp995;
int temp996 = 996;
sum = sum + temp996;
int temp997 = 997;
sum = sum + temp997;
int temp998 = 998;
sum = sum + temp998;
int temp999 = 999;
sum = sum + temp999;
putint(sum);
return 0;
}