static uint v0 = 0u;
static uint v1 = 0u;
static uint v2 = 0u;
static uint v3 = 0u;
static uint v4 = 0u;
static uint v5 = 0u;
static uint v6 = 0u;
static uint v7 = 0u;
static uint v8 = 0u;
static uint v9 = 0u;
static uint v10 = 0u;
static uint v11 = 0u;
static uint v12 = 0u;
static uint v13 = 0u;
static uint v14 = 0u;
static uint v15 = 0u;
static uint v16 = 0u;
static uint v17 = 0u;
static uint v18 = 0u;
static uint v19 = 0u;
static uint v20 = 0u;
static uint v21 = 0u;
static uint v22 = 0u;
static uint v23 = 0u;
static uint v24 = 0u;
static uint v25 = 0u;
static uint v26 = 0u;
static uint v27 = 0u;
static uint v28 = 0u;
static uint v29 = 0u;
static uint v30 = 0u;
static uint v31 = 0u;
static uint v32 = 0u;
static uint v33 = 0u;
static uint v34 = 0u;
static uint v35 = 0u;
static uint v36 = 0u;
static uint v37 = 0u;
static uint v38 = 0u;
static uint v39 = 0u;
static uint v40 = 0u;
static uint v41 = 0u;
static uint v42 = 0u;
static uint v43 = 0u;
static uint v44 = 0u;
static uint v45 = 0u;
static uint v46 = 0u;
static uint v47 = 0u;
static uint v48 = 0u;
static uint v49 = 0u;
static uint v50 = 0u;
static uint v51 = 0u;
static uint v52 = 0u;
static uint v53 = 0u;
static uint v54 = 0u;
static uint v55 = 0u;
static uint v56 = 0u;
static uint v57 = 0u;
static uint v58 = 0u;
static uint v59 = 0u;
static uint v60 = 0u;
static uint v61 = 0u;
static uint v62 = 0u;
static uint v63 = 0u;
static uint v64 = 0u;
static uint v65 = 0u;
static uint v66 = 0u;
static uint v67 = 0u;
static uint v68 = 0u;
static uint v69 = 0u;
static uint v70 = 0u;
static uint v71 = 0u;
static uint v72 = 0u;
static uint v73 = 0u;
static uint v74 = 0u;
static uint v75 = 0u;
static uint v76 = 0u;
static uint v77 = 0u;
static uint v78 = 0u;
static uint v79 = 0u;
static uint v80 = 0u;
static uint v81 = 0u;
static uint v82 = 0u;
static uint v83 = 0u;
static uint v84 = 0u;
static uint v85 = 0u;
static uint v86 = 0u;
static uint v87 = 0u;
static uint v88 = 0u;
static uint v89 = 0u;
static uint v90 = 0u;
static uint v91 = 0u;
static uint v92 = 0u;
static uint v93 = 0u;
static uint v94 = 0u;
static uint v95 = 0u;
static uint v96 = 0u;
static uint v97 = 0u;
static uint v98 = 0u;
static uint v99 = 0u;
static uint v100 = 0u;
static uint v101 = 0u;
static uint v102 = 0u;
static uint v103 = 0u;
static uint v104 = 0u;
static uint v105 = 0u;
static uint v106 = 0u;
static uint v107 = 0u;
static uint v108 = 0u;
static uint v109 = 0u;
static uint v110 = 0u;
static uint v111 = 0u;
static uint v112 = 0u;
static uint v113 = 0u;
static uint v114 = 0u;
static uint v115 = 0u;
static uint v116 = 0u;
static uint v117 = 0u;
static uint v118 = 0u;
static uint v119 = 0u;
static uint v120 = 0u;
static uint v121 = 0u;
static uint v122 = 0u;
static uint v123 = 0u;
static uint v124 = 0u;
static uint v125 = 0u;
static uint v126 = 0u;
static uint v127 = 0u;
static uint v128 = 0u;
static uint v129 = 0u;
static uint v130 = 0u;
static uint v131 = 0u;
static uint v132 = 0u;
static uint v133 = 0u;
static uint v134 = 0u;
static uint v135 = 0u;
static uint v136 = 0u;
static uint v137 = 0u;
static uint v138 = 0u;
static uint v139 = 0u;
static uint v140 = 0u;
static uint v141 = 0u;
static uint v142 = 0u;
static uint v143 = 0u;
static uint v144 = 0u;
static uint v145 = 0u;
static uint v146 = 0u;
static uint v147 = 0u;
static uint v148 = 0u;
static uint v149 = 0u;
static uint v150 = 0u;
static uint v151 = 0u;
static uint v152 = 0u;
static uint v153 = 0u;
static uint v154 = 0u;
static uint v155 = 0u;
static uint v156 = 0u;
static uint v157 = 0u;
static uint v158 = 0u;
static uint v159 = 0u;
static uint v160 = 0u;
static uint v161 = 0u;
static uint v162 = 0u;
static uint v163 = 0u;
static uint v164 = 0u;
static uint v165 = 0u;
static uint v166 = 0u;
static uint v167 = 0u;
static uint v168 = 0u;
static uint v169 = 0u;
static uint v170 = 0u;
static uint v171 = 0u;
static uint v172 = 0u;
static uint v173 = 0u;
static uint v174 = 0u;
static uint v175 = 0u;
static uint v176 = 0u;
static uint v177 = 0u;
static uint v178 = 0u;
static uint v179 = 0u;
static uint v180 = 0u;
static uint v181 = 0u;
static uint v182 = 0u;
static uint v183 = 0u;
static uint v184 = 0u;
static uint v185 = 0u;
static uint v186 = 0u;
static uint v187 = 0u;
static uint v188 = 0u;
static uint v189 = 0u;
static uint v190 = 0u;
static uint v191 = 0u;
static uint v192 = 0u;
static uint v193 = 0u;
static uint v194 = 0u;
static uint v195 = 0u;
static uint v196 = 0u;
static uint v197 = 0u;
static uint v198 = 0u;
static uint v199 = 0u;
static uint v200 = 0u;
static uint v201 = 0u;
static uint v202 = 0u;
static uint v203 = 0u;
static uint v204 = 0u;
static uint v205 = 0u;
static uint v206 = 0u;
static uint v207 = 0u;
static uint v208 = 0u;
static uint v209 = 0u;
static uint v210 = 0u;
static uint v211 = 0u;
static uint v212 = 0u;
static uint v213 = 0u;
static uint v214 = 0u;
static uint v215 = 0u;
static uint v216 = 0u;
static uint v217 = 0u;
static uint v218 = 0u;
static uint v219 = 0u;
static uint v220 = 0u;
static uint v221 = 0u;
static uint v222 = 0u;
static uint v223 = 0u;
static uint v224 = 0u;
static uint v225 = 0u;
static uint v226 = 0u;
static uint v227 = 0u;
static uint v228 = 0u;
static uint v229 = 0u;
static uint v230 = 0u;
static uint v231 = 0u;
static uint v232 = 0u;
static uint v233 = 0u;
static uint v234 = 0u;
static uint v235 = 0u;
static uint v236 = 0u;
static uint v237 = 0u;
static uint v238 = 0u;
static uint v239 = 0u;
static uint v240 = 0u;
static uint v241 = 0u;
static uint v242 = 0u;
static uint v243 = 0u;
static uint v244 = 0u;
static uint v245 = 0u;
static uint v246 = 0u;
static uint v247 = 0u;
static uint v248 = 0u;
static uint v249 = 0u;
static uint v250 = 0u;
static uint v251 = 0u;
static uint v252 = 0u;
static uint v253 = 0u;
static uint v254 = 0u;
static uint v255 = 0u;
static uint v256 = 0u;
static uint v257 = 0u;
static uint v258 = 0u;
static uint v259 = 0u;
static uint v260 = 0u;
static uint v261 = 0u;
static uint v262 = 0u;
static uint v263 = 0u;
static uint v264 = 0u;
static uint v265 = 0u;
static uint v266 = 0u;
static uint v267 = 0u;
static uint v268 = 0u;
static uint v269 = 0u;
static uint v270 = 0u;
static uint v271 = 0u;
static uint v272 = 0u;
static uint v273 = 0u;
static uint v274 = 0u;
static uint v275 = 0u;
static uint v276 = 0u;
static uint v277 = 0u;
static uint v278 = 0u;
static uint v279 = 0u;
static uint v280 = 0u;
static uint v281 = 0u;
static uint v282 = 0u;
static uint v283 = 0u;
static uint v284 = 0u;
static uint v285 = 0u;
static uint v286 = 0u;
static uint v287 = 0u;
static uint v288 = 0u;
static uint v289 = 0u;
static uint v290 = 0u;
static uint v291 = 0u;
static uint v292 = 0u;
static uint v293 = 0u;
static uint v294 = 0u;
static uint v295 = 0u;
static uint v296 = 0u;
static uint v297 = 0u;
static uint v298 = 0u;
static uint v299 = 0u;
static uint v300 = 0u;
static uint v301 = 0u;
static uint v302 = 0u;
static uint v303 = 0u;
static uint v304 = 0u;
static uint v305 = 0u;
static uint v306 = 0u;
static uint v307 = 0u;
static uint v308 = 0u;
static uint v309 = 0u;
static uint v310 = 0u;
static uint v311 = 0u;
static uint v312 = 0u;
static uint v313 = 0u;
static uint v314 = 0u;
static uint v315 = 0u;
static uint v316 = 0u;
static uint v317 = 0u;
static uint v318 = 0u;
static uint v319 = 0u;
static uint v320 = 0u;
static uint v321 = 0u;
static uint v322 = 0u;
static uint v323 = 0u;
static uint v324 = 0u;
static uint v325 = 0u;
static uint v326 = 0u;
static uint v327 = 0u;
static uint v328 = 0u;
static uint v329 = 0u;
static uint v330 = 0u;
static uint v331 = 0u;
static uint v332 = 0u;
static uint v333 = 0u;
static uint v334 = 0u;
static uint v335 = 0u;
static uint v336 = 0u;
static uint v337 = 0u;
static uint v338 = 0u;
static uint v339 = 0u;
static uint v340 = 0u;
static uint v341 = 0u;
static uint v342 = 0u;
static uint v343 = 0u;
static uint v344 = 0u;
static uint v345 = 0u;
static uint v346 = 0u;
static uint v347 = 0u;
static uint v348 = 0u;
static uint v349 = 0u;
static uint v350 = 0u;
static uint v351 = 0u;
static uint v352 = 0u;
static uint v353 = 0u;
static uint v354 = 0u;
static uint v355 = 0u;
static uint v356 = 0u;
static uint v357 = 0u;
static uint v358 = 0u;
static uint v359 = 0u;
static uint v360 = 0u;
static uint v361 = 0u;
static uint v362 = 0u;
static uint v363 = 0u;
static uint v364 = 0u;
static uint v365 = 0u;
static uint v366 = 0u;
static uint v367 = 0u;
static uint v368 = 0u;
static uint v369 = 0u;
static uint v370 = 0u;
static uint v371 = 0u;
static uint v372 = 0u;
static uint v373 = 0u;
static uint v374 = 0u;
static uint v375 = 0u;
static uint v376 = 0u;
static uint v377 = 0u;
static uint v378 = 0u;
static uint v379 = 0u;
static uint v380 = 0u;
static uint v381 = 0u;
static uint v382 = 0u;
static uint v383 = 0u;
static uint v384 = 0u;
static uint v385 = 0u;
static uint v386 = 0u;
static uint v387 = 0u;
static uint v388 = 0u;
static uint v389 = 0u;
static uint v390 = 0u;
static uint v391 = 0u;
static uint v392 = 0u;
static uint v393 = 0u;
static uint v394 = 0u;
static uint v395 = 0u;
static uint v396 = 0u;
static uint v397 = 0u;
static uint v398 = 0u;
static uint v399 = 0u;
static uint v400 = 0u;
static uint v401 = 0u;
static uint v402 = 0u;
static uint v403 = 0u;
static uint v404 = 0u;
static uint v405 = 0u;
static uint v406 = 0u;
static uint v407 = 0u;
static uint v408 = 0u;
static uint v409 = 0u;
static uint v410 = 0u;
static uint v411 = 0u;
static uint v412 = 0u;
static uint v413 = 0u;
static uint v414 = 0u;
static uint v415 = 0u;
static uint v416 = 0u;
static uint v417 = 0u;
static uint v418 = 0u;
static uint v419 = 0u;
static uint v420 = 0u;
static uint v421 = 0u;
static uint v422 = 0u;
static uint v423 = 0u;
static uint v424 = 0u;
static uint v425 = 0u;
static uint v426 = 0u;
static uint v427 = 0u;
static uint v428 = 0u;
static uint v429 = 0u;
static uint v430 = 0u;
static uint v431 = 0u;
static uint v432 = 0u;
static uint v433 = 0u;
static uint v434 = 0u;
static uint v435 = 0u;
static uint v436 = 0u;
static uint v437 = 0u;
static uint v438 = 0u;
static uint v439 = 0u;
static uint v440 = 0u;
static uint v441 = 0u;
static uint v442 = 0u;
static uint v443 = 0u;
static uint v444 = 0u;
static uint v445 = 0u;
static uint v446 = 0u;
static uint v447 = 0u;
static uint v448 = 0u;
static uint v449 = 0u;
static uint v450 = 0u;
static uint v451 = 0u;
static uint v452 = 0u;
static uint v453 = 0u;
static uint v454 = 0u;
static uint v455 = 0u;
static uint v456 = 0u;
static uint v457 = 0u;
static uint v458 = 0u;
static uint v459 = 0u;
static uint v460 = 0u;
static uint v461 = 0u;
static uint v462 = 0u;
static uint v463 = 0u;
static uint v464 = 0u;
static uint v465 = 0u;
static uint v466 = 0u;
static uint v467 = 0u;
static uint v468 = 0u;
static uint v469 = 0u;
static uint v470 = 0u;
static uint v471 = 0u;
static uint v472 = 0u;
static uint v473 = 0u;
static uint v474 = 0u;
static uint v475 = 0u;
static uint v476 = 0u;
static uint v477 = 0u;
static uint v478 = 0u;
static uint v479 = 0u;
static uint v480 = 0u;
static uint v481 = 0u;
static uint v482 = 0u;
static uint v483 = 0u;
static uint v484 = 0u;
static uint v485 = 0u;
static uint v486 = 0u;
static uint v487 = 0u;
static uint v488 = 0u;
static uint v489 = 0u;
static uint v490 = 0u;
static uint v491 = 0u;
static uint v492 = 0u;
static uint v493 = 0u;
static uint v494 = 0u;
static uint v495 = 0u;
static uint v496 = 0u;
static uint v497 = 0u;
static uint v498 = 0u;
static uint v499 = 0u;
static uint v500 = 0u;
static uint v501 = 0u;
static uint v502 = 0u;
static uint v503 = 0u;
static uint v504 = 0u;
static uint v505 = 0u;
static uint v506 = 0u;
static uint v507 = 0u;
static uint v508 = 0u;
static uint v509 = 0u;
static uint v510 = 0u;
static uint v511 = 0u;
static uint v512 = 0u;
static uint v513 = 0u;
static uint v514 = 0u;
static uint v515 = 0u;
static uint v516 = 0u;
static uint v517 = 0u;
static uint v518 = 0u;
static uint v519 = 0u;
static uint v520 = 0u;
static uint v521 = 0u;
static uint v522 = 0u;
static uint v523 = 0u;
static uint v524 = 0u;
static uint v525 = 0u;
static uint v526 = 0u;
static uint v527 = 0u;
static uint v528 = 0u;
static uint v529 = 0u;
static uint v530 = 0u;
static uint v531 = 0u;
static uint v532 = 0u;
static uint v533 = 0u;
static uint v534 = 0u;
static uint v535 = 0u;
static uint v536 = 0u;
static uint v537 = 0u;
static uint v538 = 0u;
static uint v539 = 0u;
static uint v540 = 0u;
static uint v541 = 0u;
static uint v542 = 0u;
static uint v543 = 0u;
static uint v544 = 0u;
static uint v545 = 0u;
static uint v546 = 0u;
static uint v547 = 0u;
static uint v548 = 0u;
static uint v549 = 0u;
static uint v550 = 0u;
static uint v551 = 0u;
static uint v552 = 0u;
static uint v553 = 0u;
static uint v554 = 0u;
static uint v555 = 0u;
static uint v556 = 0u;
static uint v557 = 0u;
static uint v558 = 0u;
static uint v559 = 0u;
static uint v560 = 0u;
static uint v561 = 0u;
static uint v562 = 0u;
static uint v563 = 0u;
static uint v564 = 0u;
static uint v565 = 0u;
static uint v566 = 0u;
static uint v567 = 0u;
static uint v568 = 0u;
static uint v569 = 0u;
static uint v570 = 0u;
static uint v571 = 0u;
static uint v572 = 0u;
static uint v573 = 0u;
static uint v574 = 0u;
static uint v575 = 0u;
static uint v576 = 0u;
static uint v577 = 0u;
static uint v578 = 0u;
static uint v579 = 0u;
static uint v580 = 0u;
static uint v581 = 0u;
static uint v582 = 0u;
static uint v583 = 0u;
static uint v584 = 0u;
static uint v585 = 0u;
static uint v586 = 0u;
static uint v587 = 0u;
static uint v588 = 0u;
static uint v589 = 0u;
static uint v590 = 0u;
static uint v591 = 0u;
static uint v592 = 0u;
static uint v593 = 0u;
static uint v594 = 0u;
static uint v595 = 0u;
static uint v596 = 0u;
static uint v597 = 0u;
static uint v598 = 0u;
static uint v599 = 0u;
static uint v600 = 0u;
static uint v601 = 0u;
static uint v602 = 0u;
static uint v603 = 0u;
static uint v604 = 0u;
static uint v605 = 0u;
static uint v606 = 0u;
static uint v607 = 0u;
static uint v608 = 0u;
static uint v609 = 0u;
static uint v610 = 0u;
static uint v611 = 0u;
static uint v612 = 0u;
static uint v613 = 0u;
static uint v614 = 0u;
static uint v615 = 0u;
static uint v616 = 0u;
static uint v617 = 0u;
static uint v618 = 0u;
static uint v619 = 0u;
static uint v620 = 0u;
static uint v621 = 0u;
static uint v622 = 0u;
static uint v623 = 0u;
static uint v624 = 0u;
static uint v625 = 0u;
static uint v626 = 0u;
static uint v627 = 0u;
static uint v628 = 0u;
static uint v629 = 0u;
static uint v630 = 0u;
static uint v631 = 0u;
static uint v632 = 0u;
static uint v633 = 0u;
static uint v634 = 0u;
static uint v635 = 0u;
static uint v636 = 0u;
static uint v637 = 0u;
static uint v638 = 0u;
static uint v639 = 0u;
static uint v640 = 0u;
static uint v641 = 0u;
static uint v642 = 0u;
static uint v643 = 0u;
static uint v644 = 0u;
static uint v645 = 0u;
static uint v646 = 0u;
static uint v647 = 0u;
static uint v648 = 0u;
static uint v649 = 0u;
static uint v650 = 0u;
static uint v651 = 0u;
static uint v652 = 0u;
static uint v653 = 0u;
static uint v654 = 0u;
static uint v655 = 0u;
static uint v656 = 0u;
static uint v657 = 0u;
static uint v658 = 0u;
static uint v659 = 0u;
static uint v660 = 0u;
static uint v661 = 0u;
static uint v662 = 0u;
static uint v663 = 0u;
static uint v664 = 0u;
static uint v665 = 0u;
static uint v666 = 0u;
static uint v667 = 0u;
static uint v668 = 0u;
static uint v669 = 0u;
static uint v670 = 0u;
static uint v671 = 0u;
static uint v672 = 0u;
static uint v673 = 0u;
static uint v674 = 0u;
static uint v675 = 0u;
static uint v676 = 0u;
static uint v677 = 0u;
static uint v678 = 0u;
static uint v679 = 0u;
static uint v680 = 0u;
static uint v681 = 0u;
static uint v682 = 0u;
static uint v683 = 0u;
static uint v684 = 0u;
static uint v685 = 0u;
static uint v686 = 0u;
static uint v687 = 0u;
static uint v688 = 0u;
static uint v689 = 0u;
static uint v690 = 0u;
static uint v691 = 0u;
static uint v692 = 0u;
static uint v693 = 0u;
static uint v694 = 0u;
static uint v695 = 0u;
static uint v696 = 0u;
static uint v697 = 0u;
static uint v698 = 0u;
static uint v699 = 0u;
static uint v700 = 0u;
static uint v701 = 0u;
static uint v702 = 0u;
static uint v703 = 0u;
static uint v704 = 0u;
static uint v705 = 0u;
static uint v706 = 0u;
static uint v707 = 0u;
static uint v708 = 0u;
static uint v709 = 0u;
static uint v710 = 0u;
static uint v711 = 0u;
static uint v712 = 0u;
static uint v713 = 0u;
static uint v714 = 0u;
static uint v715 = 0u;
static uint v716 = 0u;
static uint v717 = 0u;
static uint v718 = 0u;
static uint v719 = 0u;
static uint v720 = 0u;
static uint v721 = 0u;
static uint v722 = 0u;
static uint v723 = 0u;
static uint v724 = 0u;
static uint v725 = 0u;
static uint v726 = 0u;
static uint v727 = 0u;
static uint v728 = 0u;
static uint v729 = 0u;
static uint v730 = 0u;
static uint v731 = 0u;
static uint v732 = 0u;
static uint v733 = 0u;
static uint v734 = 0u;
static uint v735 = 0u;
static uint v736 = 0u;
static uint v737 = 0u;
static uint v738 = 0u;
static uint v739 = 0u;
static uint v740 = 0u;
static uint v741 = 0u;
static uint v742 = 0u;
static uint v743 = 0u;
static uint v744 = 0u;
static uint v745 = 0u;
static uint v746 = 0u;
static uint v747 = 0u;
static uint v748 = 0u;
static uint v749 = 0u;
static uint v750 = 0u;
static uint v751 = 0u;
static uint v752 = 0u;
static uint v753 = 0u;
static uint v754 = 0u;
static uint v755 = 0u;
static uint v756 = 0u;
static uint v757 = 0u;
static uint v758 = 0u;
static uint v759 = 0u;
static uint v760 = 0u;
static uint v761 = 0u;
static uint v762 = 0u;
static uint v763 = 0u;
static uint v764 = 0u;
static uint v765 = 0u;
static uint v766 = 0u;
static uint v767 = 0u;
static uint v768 = 0u;
static uint v769 = 0u;
static uint v770 = 0u;
static uint v771 = 0u;
static uint v772 = 0u;
static uint v773 = 0u;
static uint v774 = 0u;
static uint v775 = 0u;
static uint v776 = 0u;
static uint v777 = 0u;
static uint v778 = 0u;
static uint v779 = 0u;
static uint v780 = 0u;
static uint v781 = 0u;
static uint v782 = 0u;
static uint v783 = 0u;
static uint v784 = 0u;
static uint v785 = 0u;
static uint v786 = 0u;
static uint v787 = 0u;
static uint v788 = 0u;
static uint v789 = 0u;
static uint v790 = 0u;
static uint v791 = 0u;
static uint v792 = 0u;
static uint v793 = 0u;
static uint v794 = 0u;
static uint v795 = 0u;
static uint v796 = 0u;
static uint v797 = 0u;
static uint v798 = 0u;
static uint v799 = 0u;
static uint v800 = 0u;
static uint v801 = 0u;
static uint v802 = 0u;
static uint v803 = 0u;
static uint v804 = 0u;
static uint v805 = 0u;
static uint v806 = 0u;
static uint v807 = 0u;
static uint v808 = 0u;
static uint v809 = 0u;
static uint v810 = 0u;
static uint v811 = 0u;
static uint v812 = 0u;
static uint v813 = 0u;
static uint v814 = 0u;
static uint v815 = 0u;
static uint v816 = 0u;
static uint v817 = 0u;
static uint v818 = 0u;
static uint v819 = 0u;
static uint v820 = 0u;
static uint v821 = 0u;
static uint v822 = 0u;
static uint v823 = 0u;
static uint v824 = 0u;
static uint v825 = 0u;
static uint v826 = 0u;
static uint v827 = 0u;
static uint v828 = 0u;
static uint v829 = 0u;
static uint v830 = 0u;
static uint v831 = 0u;
static uint v832 = 0u;
static uint v833 = 0u;
static uint v834 = 0u;
static uint v835 = 0u;
static uint v836 = 0u;
static uint v837 = 0u;
static uint v838 = 0u;
static uint v839 = 0u;
static uint v840 = 0u;
static uint v841 = 0u;
static uint v842 = 0u;
static uint v843 = 0u;
static uint v844 = 0u;
static uint v845 = 0u;
static uint v846 = 0u;
static uint v847 = 0u;
static uint v848 = 0u;
static uint v849 = 0u;
static uint v850 = 0u;
static uint v851 = 0u;
static uint v852 = 0u;
static uint v853 = 0u;
static uint v854 = 0u;
static uint v855 = 0u;
static uint v856 = 0u;
static uint v857 = 0u;
static uint v858 = 0u;
static uint v859 = 0u;
static uint v860 = 0u;
static uint v861 = 0u;
static uint v862 = 0u;
static uint v863 = 0u;
static uint v864 = 0u;
static uint v865 = 0u;
static uint v866 = 0u;
static uint v867 = 0u;
static uint v868 = 0u;
static uint v869 = 0u;
static uint v870 = 0u;
static uint v871 = 0u;
static uint v872 = 0u;
static uint v873 = 0u;
static uint v874 = 0u;
static uint v875 = 0u;
static uint v876 = 0u;
static uint v877 = 0u;
static uint v878 = 0u;
static uint v879 = 0u;
static uint v880 = 0u;
static uint v881 = 0u;
static uint v882 = 0u;
static uint v883 = 0u;
static uint v884 = 0u;
static uint v885 = 0u;
static uint v886 = 0u;
static uint v887 = 0u;
static uint v888 = 0u;
static uint v889 = 0u;
static uint v890 = 0u;
static uint v891 = 0u;
static uint v892 = 0u;
static uint v893 = 0u;
static uint v894 = 0u;
static uint v895 = 0u;
static uint v896 = 0u;
static uint v897 = 0u;
static uint v898 = 0u;
static uint v899 = 0u;
static uint v900 = 0u;
static uint v901 = 0u;
static uint v902 = 0u;
static uint v903 = 0u;
static uint v904 = 0u;
static uint v905 = 0u;
static uint v906 = 0u;
static uint v907 = 0u;
static uint v908 = 0u;
static uint v909 = 0u;
static uint v910 = 0u;
static uint v911 = 0u;
static uint v912 = 0u;
static uint v913 = 0u;
static uint v914 = 0u;
static uint v915 = 0u;
static uint v916 = 0u;
static uint v917 = 0u;
static uint v918 = 0u;
static uint v919 = 0u;
static uint v920 = 0u;
static uint v921 = 0u;
static uint v922 = 0u;
static uint v923 = 0u;
static uint v924 = 0u;
static uint v925 = 0u;
static uint v926 = 0u;
static uint v927 = 0u;
static uint v928 = 0u;
static uint v929 = 0u;
static uint v930 = 0u;
static uint v931 = 0u;
static uint v932 = 0u;
static uint v933 = 0u;
static uint v934 = 0u;
static uint v935 = 0u;
static uint v936 = 0u;
static uint v937 = 0u;
static uint v938 = 0u;
static uint v939 = 0u;
static uint v940 = 0u;
static uint v941 = 0u;
static uint v942 = 0u;
static uint v943 = 0u;
static uint v944 = 0u;
static uint v945 = 0u;
static uint v946 = 0u;
static uint v947 = 0u;
static uint v948 = 0u;
static uint v949 = 0u;
static uint v950 = 0u;
static uint v951 = 0u;
static uint v952 = 0u;
static uint v953 = 0u;
static uint v954 = 0u;
static uint v955 = 0u;
static uint v956 = 0u;
static uint v957 = 0u;
static uint v958 = 0u;
static uint v959 = 0u;
static uint v960 = 0u;
static uint v961 = 0u;
static uint v962 = 0u;
static uint v963 = 0u;
static uint v964 = 0u;
static uint v965 = 0u;
static uint v966 = 0u;
static uint v967 = 0u;
static uint v968 = 0u;
static uint v969 = 0u;
static uint v970 = 0u;
static uint v971 = 0u;
static uint v972 = 0u;
static uint v973 = 0u;
static uint v974 = 0u;
static uint v975 = 0u;
static uint v976 = 0u;
static uint v977 = 0u;
static uint v978 = 0u;
static uint v979 = 0u;
static uint v980 = 0u;
static uint v981 = 0u;
static uint v982 = 0u;
static uint v983 = 0u;
static uint v984 = 0u;
static uint v985 = 0u;
static uint v986 = 0u;
static uint v987 = 0u;
static uint v988 = 0u;
static uint v989 = 0u;
static uint v990 = 0u;
static uint v991 = 0u;
static uint v992 = 0u;
static uint v993 = 0u;
static uint v994 = 0u;
static uint v995 = 0u;
static uint v996 = 0u;
static uint v997 = 0u;
static uint v998 = 0u;
static uint v999 = 0u;

uint foo() {
  uint x = 0u;
  x = (x + v0);
  x = (x + v1);
  x = (x + v2);
  x = (x + v3);
  x = (x + v4);
  x = (x + v5);
  x = (x + v6);
  x = (x + v7);
  x = (x + v8);
  x = (x + v9);
  x = (x + v10);
  x = (x + v11);
  x = (x + v12);
  x = (x + v13);
  x = (x + v14);
  x = (x + v15);
  x = (x + v16);
  x = (x + v17);
  x = (x + v18);
  x = (x + v19);
  x = (x + v20);
  x = (x + v21);
  x = (x + v22);
  x = (x + v23);
  x = (x + v24);
  x = (x + v25);
  x = (x + v26);
  x = (x + v27);
  x = (x + v28);
  x = (x + v29);
  x = (x + v30);
  x = (x + v31);
  x = (x + v32);
  x = (x + v33);
  x = (x + v34);
  x = (x + v35);
  x = (x + v36);
  x = (x + v37);
  x = (x + v38);
  x = (x + v39);
  x = (x + v40);
  x = (x + v41);
  x = (x + v42);
  x = (x + v43);
  x = (x + v44);
  x = (x + v45);
  x = (x + v46);
  x = (x + v47);
  x = (x + v48);
  x = (x + v49);
  x = (x + v50);
  x = (x + v51);
  x = (x + v52);
  x = (x + v53);
  x = (x + v54);
  x = (x + v55);
  x = (x + v56);
  x = (x + v57);
  x = (x + v58);
  x = (x + v59);
  x = (x + v60);
  x = (x + v61);
  x = (x + v62);
  x = (x + v63);
  x = (x + v64);
  x = (x + v65);
  x = (x + v66);
  x = (x + v67);
  x = (x + v68);
  x = (x + v69);
  x = (x + v70);
  x = (x + v71);
  x = (x + v72);
  x = (x + v73);
  x = (x + v74);
  x = (x + v75);
  x = (x + v76);
  x = (x + v77);
  x = (x + v78);
  x = (x + v79);
  x = (x + v80);
  x = (x + v81);
  x = (x + v82);
  x = (x + v83);
  x = (x + v84);
  x = (x + v85);
  x = (x + v86);
  x = (x + v87);
  x = (x + v88);
  x = (x + v89);
  x = (x + v90);
  x = (x + v91);
  x = (x + v92);
  x = (x + v93);
  x = (x + v94);
  x = (x + v95);
  x = (x + v96);
  x = (x + v97);
  x = (x + v98);
  x = (x + v99);
  x = (x + v100);
  x = (x + v101);
  x = (x + v102);
  x = (x + v103);
  x = (x + v104);
  x = (x + v105);
  x = (x + v106);
  x = (x + v107);
  x = (x + v108);
  x = (x + v109);
  x = (x + v110);
  x = (x + v111);
  x = (x + v112);
  x = (x + v113);
  x = (x + v114);
  x = (x + v115);
  x = (x + v116);
  x = (x + v117);
  x = (x + v118);
  x = (x + v119);
  x = (x + v120);
  x = (x + v121);
  x = (x + v122);
  x = (x + v123);
  x = (x + v124);
  x = (x + v125);
  x = (x + v126);
  x = (x + v127);
  x = (x + v128);
  x = (x + v129);
  x = (x + v130);
  x = (x + v131);
  x = (x + v132);
  x = (x + v133);
  x = (x + v134);
  x = (x + v135);
  x = (x + v136);
  x = (x + v137);
  x = (x + v138);
  x = (x + v139);
  x = (x + v140);
  x = (x + v141);
  x = (x + v142);
  x = (x + v143);
  x = (x + v144);
  x = (x + v145);
  x = (x + v146);
  x = (x + v147);
  x = (x + v148);
  x = (x + v149);
  x = (x + v150);
  x = (x + v151);
  x = (x + v152);
  x = (x + v153);
  x = (x + v154);
  x = (x + v155);
  x = (x + v156);
  x = (x + v157);
  x = (x + v158);
  x = (x + v159);
  x = (x + v160);
  x = (x + v161);
  x = (x + v162);
  x = (x + v163);
  x = (x + v164);
  x = (x + v165);
  x = (x + v166);
  x = (x + v167);
  x = (x + v168);
  x = (x + v169);
  x = (x + v170);
  x = (x + v171);
  x = (x + v172);
  x = (x + v173);
  x = (x + v174);
  x = (x + v175);
  x = (x + v176);
  x = (x + v177);
  x = (x + v178);
  x = (x + v179);
  x = (x + v180);
  x = (x + v181);
  x = (x + v182);
  x = (x + v183);
  x = (x + v184);
  x = (x + v185);
  x = (x + v186);
  x = (x + v187);
  x = (x + v188);
  x = (x + v189);
  x = (x + v190);
  x = (x + v191);
  x = (x + v192);
  x = (x + v193);
  x = (x + v194);
  x = (x + v195);
  x = (x + v196);
  x = (x + v197);
  x = (x + v198);
  x = (x + v199);
  x = (x + v200);
  x = (x + v201);
  x = (x + v202);
  x = (x + v203);
  x = (x + v204);
  x = (x + v205);
  x = (x + v206);
  x = (x + v207);
  x = (x + v208);
  x = (x + v209);
  x = (x + v210);
  x = (x + v211);
  x = (x + v212);
  x = (x + v213);
  x = (x + v214);
  x = (x + v215);
  x = (x + v216);
  x = (x + v217);
  x = (x + v218);
  x = (x + v219);
  x = (x + v220);
  x = (x + v221);
  x = (x + v222);
  x = (x + v223);
  x = (x + v224);
  x = (x + v225);
  x = (x + v226);
  x = (x + v227);
  x = (x + v228);
  x = (x + v229);
  x = (x + v230);
  x = (x + v231);
  x = (x + v232);
  x = (x + v233);
  x = (x + v234);
  x = (x + v235);
  x = (x + v236);
  x = (x + v237);
  x = (x + v238);
  x = (x + v239);
  x = (x + v240);
  x = (x + v241);
  x = (x + v242);
  x = (x + v243);
  x = (x + v244);
  x = (x + v245);
  x = (x + v246);
  x = (x + v247);
  x = (x + v248);
  x = (x + v249);
  x = (x + v250);
  x = (x + v251);
  x = (x + v252);
  x = (x + v253);
  x = (x + v254);
  x = (x + v255);
  x = (x + v256);
  x = (x + v257);
  x = (x + v258);
  x = (x + v259);
  x = (x + v260);
  x = (x + v261);
  x = (x + v262);
  x = (x + v263);
  x = (x + v264);
  x = (x + v265);
  x = (x + v266);
  x = (x + v267);
  x = (x + v268);
  x = (x + v269);
  x = (x + v270);
  x = (x + v271);
  x = (x + v272);
  x = (x + v273);
  x = (x + v274);
  x = (x + v275);
  x = (x + v276);
  x = (x + v277);
  x = (x + v278);
  x = (x + v279);
  x = (x + v280);
  x = (x + v281);
  x = (x + v282);
  x = (x + v283);
  x = (x + v284);
  x = (x + v285);
  x = (x + v286);
  x = (x + v287);
  x = (x + v288);
  x = (x + v289);
  x = (x + v290);
  x = (x + v291);
  x = (x + v292);
  x = (x + v293);
  x = (x + v294);
  x = (x + v295);
  x = (x + v296);
  x = (x + v297);
  x = (x + v298);
  x = (x + v299);
  x = (x + v300);
  x = (x + v301);
  x = (x + v302);
  x = (x + v303);
  x = (x + v304);
  x = (x + v305);
  x = (x + v306);
  x = (x + v307);
  x = (x + v308);
  x = (x + v309);
  x = (x + v310);
  x = (x + v311);
  x = (x + v312);
  x = (x + v313);
  x = (x + v314);
  x = (x + v315);
  x = (x + v316);
  x = (x + v317);
  x = (x + v318);
  x = (x + v319);
  x = (x + v320);
  x = (x + v321);
  x = (x + v322);
  x = (x + v323);
  x = (x + v324);
  x = (x + v325);
  x = (x + v326);
  x = (x + v327);
  x = (x + v328);
  x = (x + v329);
  x = (x + v330);
  x = (x + v331);
  x = (x + v332);
  x = (x + v333);
  x = (x + v334);
  x = (x + v335);
  x = (x + v336);
  x = (x + v337);
  x = (x + v338);
  x = (x + v339);
  x = (x + v340);
  x = (x + v341);
  x = (x + v342);
  x = (x + v343);
  x = (x + v344);
  x = (x + v345);
  x = (x + v346);
  x = (x + v347);
  x = (x + v348);
  x = (x + v349);
  x = (x + v350);
  x = (x + v351);
  x = (x + v352);
  x = (x + v353);
  x = (x + v354);
  x = (x + v355);
  x = (x + v356);
  x = (x + v357);
  x = (x + v358);
  x = (x + v359);
  x = (x + v360);
  x = (x + v361);
  x = (x + v362);
  x = (x + v363);
  x = (x + v364);
  x = (x + v365);
  x = (x + v366);
  x = (x + v367);
  x = (x + v368);
  x = (x + v369);
  x = (x + v370);
  x = (x + v371);
  x = (x + v372);
  x = (x + v373);
  x = (x + v374);
  x = (x + v375);
  x = (x + v376);
  x = (x + v377);
  x = (x + v378);
  x = (x + v379);
  x = (x + v380);
  x = (x + v381);
  x = (x + v382);
  x = (x + v383);
  x = (x + v384);
  x = (x + v385);
  x = (x + v386);
  x = (x + v387);
  x = (x + v388);
  x = (x + v389);
  x = (x + v390);
  x = (x + v391);
  x = (x + v392);
  x = (x + v393);
  x = (x + v394);
  x = (x + v395);
  x = (x + v396);
  x = (x + v397);
  x = (x + v398);
  x = (x + v399);
  x = (x + v400);
  x = (x + v401);
  x = (x + v402);
  x = (x + v403);
  x = (x + v404);
  x = (x + v405);
  x = (x + v406);
  x = (x + v407);
  x = (x + v408);
  x = (x + v409);
  x = (x + v410);
  x = (x + v411);
  x = (x + v412);
  x = (x + v413);
  x = (x + v414);
  x = (x + v415);
  x = (x + v416);
  x = (x + v417);
  x = (x + v418);
  x = (x + v419);
  x = (x + v420);
  x = (x + v421);
  x = (x + v422);
  x = (x + v423);
  x = (x + v424);
  x = (x + v425);
  x = (x + v426);
  x = (x + v427);
  x = (x + v428);
  x = (x + v429);
  x = (x + v430);
  x = (x + v431);
  x = (x + v432);
  x = (x + v433);
  x = (x + v434);
  x = (x + v435);
  x = (x + v436);
  x = (x + v437);
  x = (x + v438);
  x = (x + v439);
  x = (x + v440);
  x = (x + v441);
  x = (x + v442);
  x = (x + v443);
  x = (x + v444);
  x = (x + v445);
  x = (x + v446);
  x = (x + v447);
  x = (x + v448);
  x = (x + v449);
  x = (x + v450);
  x = (x + v451);
  x = (x + v452);
  x = (x + v453);
  x = (x + v454);
  x = (x + v455);
  x = (x + v456);
  x = (x + v457);
  x = (x + v458);
  x = (x + v459);
  x = (x + v460);
  x = (x + v461);
  x = (x + v462);
  x = (x + v463);
  x = (x + v464);
  x = (x + v465);
  x = (x + v466);
  x = (x + v467);
  x = (x + v468);
  x = (x + v469);
  x = (x + v470);
  x = (x + v471);
  x = (x + v472);
  x = (x + v473);
  x = (x + v474);
  x = (x + v475);
  x = (x + v476);
  x = (x + v477);
  x = (x + v478);
  x = (x + v479);
  x = (x + v480);
  x = (x + v481);
  x = (x + v482);
  x = (x + v483);
  x = (x + v484);
  x = (x + v485);
  x = (x + v486);
  x = (x + v487);
  x = (x + v488);
  x = (x + v489);
  x = (x + v490);
  x = (x + v491);
  x = (x + v492);
  x = (x + v493);
  x = (x + v494);
  x = (x + v495);
  x = (x + v496);
  x = (x + v497);
  x = (x + v498);
  x = (x + v499);
  x = (x + v500);
  x = (x + v501);
  x = (x + v502);
  x = (x + v503);
  x = (x + v504);
  x = (x + v505);
  x = (x + v506);
  x = (x + v507);
  x = (x + v508);
  x = (x + v509);
  x = (x + v510);
  x = (x + v511);
  x = (x + v512);
  x = (x + v513);
  x = (x + v514);
  x = (x + v515);
  x = (x + v516);
  x = (x + v517);
  x = (x + v518);
  x = (x + v519);
  x = (x + v520);
  x = (x + v521);
  x = (x + v522);
  x = (x + v523);
  x = (x + v524);
  x = (x + v525);
  x = (x + v526);
  x = (x + v527);
  x = (x + v528);
  x = (x + v529);
  x = (x + v530);
  x = (x + v531);
  x = (x + v532);
  x = (x + v533);
  x = (x + v534);
  x = (x + v535);
  x = (x + v536);
  x = (x + v537);
  x = (x + v538);
  x = (x + v539);
  x = (x + v540);
  x = (x + v541);
  x = (x + v542);
  x = (x + v543);
  x = (x + v544);
  x = (x + v545);
  x = (x + v546);
  x = (x + v547);
  x = (x + v548);
  x = (x + v549);
  x = (x + v550);
  x = (x + v551);
  x = (x + v552);
  x = (x + v553);
  x = (x + v554);
  x = (x + v555);
  x = (x + v556);
  x = (x + v557);
  x = (x + v558);
  x = (x + v559);
  x = (x + v560);
  x = (x + v561);
  x = (x + v562);
  x = (x + v563);
  x = (x + v564);
  x = (x + v565);
  x = (x + v566);
  x = (x + v567);
  x = (x + v568);
  x = (x + v569);
  x = (x + v570);
  x = (x + v571);
  x = (x + v572);
  x = (x + v573);
  x = (x + v574);
  x = (x + v575);
  x = (x + v576);
  x = (x + v577);
  x = (x + v578);
  x = (x + v579);
  x = (x + v580);
  x = (x + v581);
  x = (x + v582);
  x = (x + v583);
  x = (x + v584);
  x = (x + v585);
  x = (x + v586);
  x = (x + v587);
  x = (x + v588);
  x = (x + v589);
  x = (x + v590);
  x = (x + v591);
  x = (x + v592);
  x = (x + v593);
  x = (x + v594);
  x = (x + v595);
  x = (x + v596);
  x = (x + v597);
  x = (x + v598);
  x = (x + v599);
  x = (x + v600);
  x = (x + v601);
  x = (x + v602);
  x = (x + v603);
  x = (x + v604);
  x = (x + v605);
  x = (x + v606);
  x = (x + v607);
  x = (x + v608);
  x = (x + v609);
  x = (x + v610);
  x = (x + v611);
  x = (x + v612);
  x = (x + v613);
  x = (x + v614);
  x = (x + v615);
  x = (x + v616);
  x = (x + v617);
  x = (x + v618);
  x = (x + v619);
  x = (x + v620);
  x = (x + v621);
  x = (x + v622);
  x = (x + v623);
  x = (x + v624);
  x = (x + v625);
  x = (x + v626);
  x = (x + v627);
  x = (x + v628);
  x = (x + v629);
  x = (x + v630);
  x = (x + v631);
  x = (x + v632);
  x = (x + v633);
  x = (x + v634);
  x = (x + v635);
  x = (x + v636);
  x = (x + v637);
  x = (x + v638);
  x = (x + v639);
  x = (x + v640);
  x = (x + v641);
  x = (x + v642);
  x = (x + v643);
  x = (x + v644);
  x = (x + v645);
  x = (x + v646);
  x = (x + v647);
  x = (x + v648);
  x = (x + v649);
  x = (x + v650);
  x = (x + v651);
  x = (x + v652);
  x = (x + v653);
  x = (x + v654);
  x = (x + v655);
  x = (x + v656);
  x = (x + v657);
  x = (x + v658);
  x = (x + v659);
  x = (x + v660);
  x = (x + v661);
  x = (x + v662);
  x = (x + v663);
  x = (x + v664);
  x = (x + v665);
  x = (x + v666);
  x = (x + v667);
  x = (x + v668);
  x = (x + v669);
  x = (x + v670);
  x = (x + v671);
  x = (x + v672);
  x = (x + v673);
  x = (x + v674);
  x = (x + v675);
  x = (x + v676);
  x = (x + v677);
  x = (x + v678);
  x = (x + v679);
  x = (x + v680);
  x = (x + v681);
  x = (x + v682);
  x = (x + v683);
  x = (x + v684);
  x = (x + v685);
  x = (x + v686);
  x = (x + v687);
  x = (x + v688);
  x = (x + v689);
  x = (x + v690);
  x = (x + v691);
  x = (x + v692);
  x = (x + v693);
  x = (x + v694);
  x = (x + v695);
  x = (x + v696);
  x = (x + v697);
  x = (x + v698);
  x = (x + v699);
  x = (x + v700);
  x = (x + v701);
  x = (x + v702);
  x = (x + v703);
  x = (x + v704);
  x = (x + v705);
  x = (x + v706);
  x = (x + v707);
  x = (x + v708);
  x = (x + v709);
  x = (x + v710);
  x = (x + v711);
  x = (x + v712);
  x = (x + v713);
  x = (x + v714);
  x = (x + v715);
  x = (x + v716);
  x = (x + v717);
  x = (x + v718);
  x = (x + v719);
  x = (x + v720);
  x = (x + v721);
  x = (x + v722);
  x = (x + v723);
  x = (x + v724);
  x = (x + v725);
  x = (x + v726);
  x = (x + v727);
  x = (x + v728);
  x = (x + v729);
  x = (x + v730);
  x = (x + v731);
  x = (x + v732);
  x = (x + v733);
  x = (x + v734);
  x = (x + v735);
  x = (x + v736);
  x = (x + v737);
  x = (x + v738);
  x = (x + v739);
  x = (x + v740);
  x = (x + v741);
  x = (x + v742);
  x = (x + v743);
  x = (x + v744);
  x = (x + v745);
  x = (x + v746);
  x = (x + v747);
  x = (x + v748);
  x = (x + v749);
  x = (x + v750);
  x = (x + v751);
  x = (x + v752);
  x = (x + v753);
  x = (x + v754);
  x = (x + v755);
  x = (x + v756);
  x = (x + v757);
  x = (x + v758);
  x = (x + v759);
  x = (x + v760);
  x = (x + v761);
  x = (x + v762);
  x = (x + v763);
  x = (x + v764);
  x = (x + v765);
  x = (x + v766);
  x = (x + v767);
  x = (x + v768);
  x = (x + v769);
  x = (x + v770);
  x = (x + v771);
  x = (x + v772);
  x = (x + v773);
  x = (x + v774);
  x = (x + v775);
  x = (x + v776);
  x = (x + v777);
  x = (x + v778);
  x = (x + v779);
  x = (x + v780);
  x = (x + v781);
  x = (x + v782);
  x = (x + v783);
  x = (x + v784);
  x = (x + v785);
  x = (x + v786);
  x = (x + v787);
  x = (x + v788);
  x = (x + v789);
  x = (x + v790);
  x = (x + v791);
  x = (x + v792);
  x = (x + v793);
  x = (x + v794);
  x = (x + v795);
  x = (x + v796);
  x = (x + v797);
  x = (x + v798);
  x = (x + v799);
  x = (x + v800);
  x = (x + v801);
  x = (x + v802);
  x = (x + v803);
  x = (x + v804);
  x = (x + v805);
  x = (x + v806);
  x = (x + v807);
  x = (x + v808);
  x = (x + v809);
  x = (x + v810);
  x = (x + v811);
  x = (x + v812);
  x = (x + v813);
  x = (x + v814);
  x = (x + v815);
  x = (x + v816);
  x = (x + v817);
  x = (x + v818);
  x = (x + v819);
  x = (x + v820);
  x = (x + v821);
  x = (x + v822);
  x = (x + v823);
  x = (x + v824);
  x = (x + v825);
  x = (x + v826);
  x = (x + v827);
  x = (x + v828);
  x = (x + v829);
  x = (x + v830);
  x = (x + v831);
  x = (x + v832);
  x = (x + v833);
  x = (x + v834);
  x = (x + v835);
  x = (x + v836);
  x = (x + v837);
  x = (x + v838);
  x = (x + v839);
  x = (x + v840);
  x = (x + v841);
  x = (x + v842);
  x = (x + v843);
  x = (x + v844);
  x = (x + v845);
  x = (x + v846);
  x = (x + v847);
  x = (x + v848);
  x = (x + v849);
  x = (x + v850);
  x = (x + v851);
  x = (x + v852);
  x = (x + v853);
  x = (x + v854);
  x = (x + v855);
  x = (x + v856);
  x = (x + v857);
  x = (x + v858);
  x = (x + v859);
  x = (x + v860);
  x = (x + v861);
  x = (x + v862);
  x = (x + v863);
  x = (x + v864);
  x = (x + v865);
  x = (x + v866);
  x = (x + v867);
  x = (x + v868);
  x = (x + v869);
  x = (x + v870);
  x = (x + v871);
  x = (x + v872);
  x = (x + v873);
  x = (x + v874);
  x = (x + v875);
  x = (x + v876);
  x = (x + v877);
  x = (x + v878);
  x = (x + v879);
  x = (x + v880);
  x = (x + v881);
  x = (x + v882);
  x = (x + v883);
  x = (x + v884);
  x = (x + v885);
  x = (x + v886);
  x = (x + v887);
  x = (x + v888);
  x = (x + v889);
  x = (x + v890);
  x = (x + v891);
  x = (x + v892);
  x = (x + v893);
  x = (x + v894);
  x = (x + v895);
  x = (x + v896);
  x = (x + v897);
  x = (x + v898);
  x = (x + v899);
  x = (x + v900);
  x = (x + v901);
  x = (x + v902);
  x = (x + v903);
  x = (x + v904);
  x = (x + v905);
  x = (x + v906);
  x = (x + v907);
  x = (x + v908);
  x = (x + v909);
  x = (x + v910);
  x = (x + v911);
  x = (x + v912);
  x = (x + v913);
  x = (x + v914);
  x = (x + v915);
  x = (x + v916);
  x = (x + v917);
  x = (x + v918);
  x = (x + v919);
  x = (x + v920);
  x = (x + v921);
  x = (x + v922);
  x = (x + v923);
  x = (x + v924);
  x = (x + v925);
  x = (x + v926);
  x = (x + v927);
  x = (x + v928);
  x = (x + v929);
  x = (x + v930);
  x = (x + v931);
  x = (x + v932);
  x = (x + v933);
  x = (x + v934);
  x = (x + v935);
  x = (x + v936);
  x = (x + v937);
  x = (x + v938);
  x = (x + v939);
  x = (x + v940);
  x = (x + v941);
  x = (x + v942);
  x = (x + v943);
  x = (x + v944);
  x = (x + v945);
  x = (x + v946);
  x = (x + v947);
  x = (x + v948);
  x = (x + v949);
  x = (x + v950);
  x = (x + v951);
  x = (x + v952);
  x = (x + v953);
  x = (x + v954);
  x = (x + v955);
  x = (x + v956);
  x = (x + v957);
  x = (x + v958);
  x = (x + v959);
  x = (x + v960);
  x = (x + v961);
  x = (x + v962);
  x = (x + v963);
  x = (x + v964);
  x = (x + v965);
  x = (x + v966);
  x = (x + v967);
  x = (x + v968);
  x = (x + v969);
  x = (x + v970);
  x = (x + v971);
  x = (x + v972);
  x = (x + v973);
  x = (x + v974);
  x = (x + v975);
  x = (x + v976);
  x = (x + v977);
  x = (x + v978);
  x = (x + v979);
  x = (x + v980);
  x = (x + v981);
  x = (x + v982);
  x = (x + v983);
  x = (x + v984);
  x = (x + v985);
  x = (x + v986);
  x = (x + v987);
  x = (x + v988);
  x = (x + v989);
  x = (x + v990);
  x = (x + v991);
  x = (x + v992);
  x = (x + v993);
  x = (x + v994);
  x = (x + v995);
  x = (x + v996);
  x = (x + v997);
  x = (x + v998);
  x = (x + v999);
  return x;
}

struct tint_symbol {
  uint value : SV_Target0;
};

uint main_inner() {
  return foo();
}

tint_symbol main() {
  const uint inner_result = main_inner();
  tint_symbol wrapper_result = (tint_symbol)0;
  wrapper_result.value = inner_result;
  return wrapper_result;
}