#version 310 es
precision highp float;

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

uint tint_symbol() {
  return foo();
}

void main() {
  uint inner_result = tint_symbol();
  value = inner_result;
  return;
}