gazprea-fuzzer-python/fuzzer/input/fuzz_0.in
ayrton d211131c4e IT'S ALIIIIIIIIVE
Took 1 hour 15 minutes
2023-11-20 20:28:55 -07:00

132 lines
26 KiB
Plaintext

procedure main() returns integer {
2057937753 + 626.8824620397058 / -528.3518915422769 * 323642524 + 1664085605 * -1792677337 * -1832989058 + -521092479 - 571624797 / -454866201 * 287546754 - 367.78267927903516 + 25.249215084211983 - -860486855 + 1592782480 -> std_output;
if (false and false or false and false xor true or true and true == true == false or true == true == false xor false or false or false) {
} else {
var integer eVojZ = 644977986 / 23.868372114846238 + 601760511 * -676.9703653211012 / 902875690 / 641968564 / 1828214617 * 276852524 + 947.195898623947 / 651538234 + -773.752613754156 / 395230117 * -458.44087115293223 + 758.4872311685915 / 1379924194 - -361217483 / 1872161333 - -792.0893112590295 + -1997512694 / -98232716 / 847.0092496619609 - -51.36984480114131 + 492590758 + -942.5007287487038 + -1176698377 * 646.9119351561426 / 594.54613417062 + 547.5356150085529;
721836508 - -796.0301727716547 * -76.30749863431333 + 1238102246 / 1000110497 * 318080461 * 284320406 + 876532063 - 328571219 + 172.3492334967384 + 384.37396765124436 * -969308118 * -97761756 + -1739621230 * -1540021685 -> std_output;
eVojZ = -2119510703 - 1490778069 + 885.6291348180314 * -853.5202909261573 + 119.64345315694891 * 58456844 * -132.6316995467855 + 1438932719 * -697.0728240753921 * -746.5272743666309 - 843.497220652597 - 1921857798 * 432612478 - 628.3806989093418;
-925089524 * -592.9167348524024 + 2070852774 / 329793742 * 939.0385660259019 + 341483339 / -240.80678677950425 + -340.45409888039785 / 211052727 + 1812313593 * -1110038246 + -649.0130398382785 + -612131991 + -256705467 / 389599650 - -683.5579099924433 * -268.20602511269317 + -896705077 * 352580431 / -620.9686979244868 * 1150952125 -> std_output;
-315781960 + -63.7308394824056 / 611591293 - -771.301435605708 / -936.9242647352273 * -919601258 * 2075428604 + -748490849 + -155.34046617088234 * -617493167 * -1907739597 / 288.1749134989416 + -1010320589 / -256.6763660840983 * 362861210 * 213.99232675219082 + 757.0873053813016 / -397.64389012794004 * 1373234146 * -315.42605493053213 + 970.0331276967665 / 7804491 - 840.1918732289655 * 2118779877 - 1193424774 -> std_output;
if (false or true and true == true == false or false xor false and false and false or true or false == false and false or true or false == false xor false and false or true == false == false xor true == false xor false or false == true or true and false and false or false) {
578.7434182078341 / 2056975865 / -855.4675375522515 + -236323977 * -2036392581 / -114.31982656386629 + 2061327793 -> std_output;
eVojZ = -447.0567405946115 + 74.86827991778796 + 185439115 * 646796496 - 33.65923091289301 * 55.84390127041365 * -456.354522375261 / -817.1034160075745 - 355959326 / 42.926226373497 + 248331523 + 696.4553308178861 + 80.81150988688728 / -322911391 + 561.0540653220735 - 1491426992 + -468.9507988030015 * -942.3246057831975 + 1075622338 * -1879344380 - -607.422235221515 / -70.89189313645636 / 496.33457102967805 / -298.27307656712617 / 9.72119568838582 / -1272908871 + -2014134896 / 103.84173717314343 / -689.2595084277734;
eVojZ = 966.0111371183307;
eVojZ = -124424662 - -297118359 / 1946964098 * -236.73977366662302 - -877.5130587051481 + 26588188 * 431383577 * -544.2119199149643 * -709.6802617382183 + -922.6649138785597 - 469.7876517630925 / -871.3691669364136 + -304.5137874480222 - -157622447 / -735.8076140536787 + 911.9817507921682 * 995.3596729192518 / 688.2037445981721 / 1105289362 * 671.0145544928062 + -177120724 - 404957385 + -114.51392250367974 + 879.4085775186354;
eVojZ = 262.11589994311385 - 842.6184934947084 / 946365971 / 252.31642812957057 / 800935245 - 525.1243578557219 * 367.5790951529625;
eVojZ = -1968296072 + 877.5654745797606 * 1539449619 - 383.8239165043424 - -963.5634374099134 - 983824508 * -94.0924091462241 - 331.2669755337795 + -473.8719199510974 * -800346948 - -932544466 * -208.41037576816143 + -537.4031960794725 - 721.5964476694894 / 189060442 / 231.88701497434135 - -836.0808961295627 / 674.0158482844847 * -304795584 * -1834584874 * -110.84428047142717 / 880.7500553779273 * -209592946 - 748.0172260632235 * 1194050103 - 83863406;
-153.60648580394434 -> std_output;
-257224960 + 68748822 + 126.20408014629106 * 775470105 / 80.30771103396751 * -766899371 / 830.7843231128452 - -340807721 / -772.6278848230254 - 152.9975824514347 / 122.54559916387802 * -259407634 * 1732130059 + -902548225 * 1126734630 / -2029633119 * 1389397795 + 1949559776 - 1277529327 / 1169907708 * -2063040438 * 884800159 + 46.885895389096504 * 492493738 + 2002148687 * -451306118 * -791.9842584033665 / -1164188042 + -61.40348172911001 / 1338229690 + 1008255500 -> std_output;
eVojZ = -1504571741;
if (false and false == true == false or true and false == false and true == false xor false == true == false or true or false) {
-2.9719896091493183 / 407.8980911487324 - 1011945868 + -55035895 + -1076467229 / 441.7588562912208 * 38422244 * -788.5733070379581 + 204.27461585080528 / -183.8576955809525 - -1775324356 * 1026657420 / 1716510319 - -318.3259273415264 / -275.64282674449373 / -1822900772 + 668.1634954012577 + 631.8644654140828 - 303.0681312127256 + -585.4756563007912 * -87.03938061668919 * 1364486365 * -1092511767 - 919.3259735956835 -> std_output;
eVojZ = 1203771934 * -1619758301 + 196904158 - 1491770983 * 540.0654599817035 / 382.26740104837495 * 660092458 * -966.0254715410215 / 2101815337 + -614.7124168719098 * -800.2448589197109 * 48.18238646045779 * -381.0692701748361;
} else {
eVojZ = -1978369168 - 1402341755 / 1234955022 / 480.9298093230145 - -1731899420 / -870.8567901903841 - -1974495976 * -770483789 + 75.13364876154333 + 361728717 * 455.3548200204907 * 215.76596834243378 + 1526323083 + 1312847317 - 1053688573 + -260.9930908176659 - -1943958510 - 554.4743779155772 + 566111275;
if (true) {
eVojZ = 213.94682588718206 / -1215201190;
loop (true) {
eVojZ = 765.3441163247285 + 379.36469192975414 + 46.03469436008231 * 94.5959747233735 - 825.9923846286595 * 1575168903 * 74.11722183641928 - 325.5979336083619 - 353.73519574571924 * -448.9577143882077 - -1220654487 / 989956169 * 634.5392384492272 * 1801057843 + 223.55004806971874 * -1754574321 + 482.7997631626372 * 240.36652596753925 - -1835413043 * 63959647 * -272.23380875626503;
eVojZ = -504687690 / -284391450 * 330.87477687053547 * 562.9285207642529 - -602.4784575920212 / -888850672 + 54.72290873629072 - -129023939 / -802.0548637261411 - 165.16478182662945 * 161240420 * 210.4372824778393 + -2053549544 / -2136299121 - 634.6827186776407 - 79.09055374692184 * -831.5898833278006 - 219.6536672615266 - 488.8470048811814 + 114.62224546353423 * 884724049 * 944.9348971765239 + -1680315510 - 233.8747926291328 - -1004240110 + -2011204012 / 1103972963 * -607.7187677457114;
-139.8450684785397 + 796.871220334368 * 986059072 * 581.780213209018 / -374.28838035039576 * 397.0478133299198 * -223.43768302783133 - -45.61415943599752 - -624.4400509263794 + 984.5440838156023 - -1933582704 + -7.377755094203621 - 317273458 - -1596654596 * 1086340412 * -1219791633 + 29.546224035109162 + 1344818181 * 976.7145639305709 + -1925186476 + 1242099953 / 827.8145164494879 -> std_output;
eVojZ = 158.300618670213 / -207777526 / 2134007741 + -475.06709193316965 - 899.4395537633459 + 607905148 + -481.6450187436452 / 1756257604 + 1417613409 + -684978867 - 929.7121396504699 - 153.2501517107628 - 113.45004436686622 + -414630660;
eVojZ = -450.32754970486417 + 1448141013 / -376830413 * -895408190 * 201.80050609843875 + 2046884774 - -1550938014 * -499.22831003218346 + -250011951 - 260165880 / 693.8229956319797 - -1359889342 + -1231193969 / -1026503267 / -1301892015 - 362.0860915032656 / -858809618 / -569.5885234052939 / -80474547 / -218.9629389311201 + 889.601066419191 + -571657899 + -735652759 - -681584983;
eVojZ = -404.4327522406022;
268.0448485253478 + -2132756123 / -829.6671510232836 + -802.8865826232638 * 1577787659 / -829.047006128814 - 1828033711 + -277.4369189989285 * -2112583956 + 125.81642532162073 * -396.61130110372756 - 755579851 - -620.6847649811132 + 825158492 * -1644746140 - -1816958276 - -1395052935 + 291.7500698379315 * 535916207 * 243.28558950908177 -> std_output;
var integer CTKlX = 951.3788347158734 - -407.2023682602128 * -1181421110 - 91537824 * 369375378 + 395.8916074133574 * 795.4196326328986 * -850935240 + 240.15795942548175 - 1402979925 + -1579901582 - -892.0484516736043 / 2043906018 * 926.1690943366777 + -2097185555 + 891.8504077331254;
var integer rTw = 1169203671 / -56.60161767708314 * -144.36158982426934 * -296456942 * 766.1065535108914 / -1243302102 + -524606496 + -1656357347 / 985.6121128575269 / 1254486707 / -882.0785894266372 - -494.23995012839407 - 1135290669 + -912854965 - -2124904493 + -2068299699 * -307034368 - 126.2926279306007 * 418.80655372240767 / 463192838 * 344.586418931892 / -1275037171 + 426732305 / -713.6317366453893 + 174.50768244979554 / 1296422994 + -831.8068615168377 * -204.6703473586689;
rTw = 1169987910;
90211026 -> std_output;
CTKlX = 524.3568268343752;
705.49352685336 / 643144366 + 2013389034 - 444.34147180865307 + 1389665054 - -49787837 - 986.0084761115604 / -520.0130462999226 + -1775319603 + 333.9542427226729 * 87.37361565035462 / -450.65387133591344 + -1660362376 - 920.9186736152001 / 1.1961161041429023 + 891.0800454212113 - -1840737165 / -542.835358178326 - 1857648539 - -1300704685 + 975.1211345628224 / 552.184956473835 * -599.4910092222487 / -338700564 - 974.4539376443756 + 281.80696288368927 - -2016037717 - -667.5238735814328 * -1727004440 -> std_output;
eVojZ = 523.5592866707034;
eVojZ = -1617229017 - -29.06207192526631 - 738.6989712221309 + -357.87880497572417 / 379.6540320841709 / -686728296 + 551.7575598273418 * 68.78558190670151 / 1298374282 + 29.820135559271648 * -905.6178298135951 / -528.7658499118253 - 1035178149 + -1037045268 + 1453861543 - -620.8202598165651 * -626.5738512410961 * -779.1506838178664 - 417.4411560526121 - 1731012022 + -211.5632740566906 + 788.1078303660777 * -1750741804 + 324.70314298194626 * -155.85635471662272 * -488.61146778720934;
CTKlX = 119425130 / 2045922178 * -977807406 + -954.4380756623365 + -371.06282230562977 * -124.70186551116558 - -37.091194823477736 / 1096184275 - -566.4026277333421 - -1907005875 / -337.26306559427746 * -370.98372516771417 / 804.1364824031295 * 642.2452828225955 - 714.3798682706717 + -1099676236 * 361.69489992027115 * -603.0669008624318 * 558446288;
}
} else {
599.401496172256 - -387.4840081129938 * -763.9956070136013 * 722.5345821947142 - -1034328614 + 2127623837 + -851448378 * -95440251 + -44.14312881851856 * 1872631211 / -2068603302 - 532.281741255016 / 662.7767897491049 -> std_output;
778.2414475975663 + -246.94912879662786 - 556.9079732033667 - 378.4116972430704 - -398186835 + 1970458292 - -163274195 - -1050874371 * -243.05102327852637 / 862.1839117742127 + 135547382 / -735.8663865379579 + -510222204 - 165114045 -> std_output;
} 2055142209 * 2069786969 * -703499419 / -126.61661900436559 * 1415422018 - 857.3386156072938 / 53053599 + -514.4704123122194 * 951.0885320391471 + -1369438243 + 1369294679 * -128641707 - -812.3950667732 + 1122457328 / -992723079 * -720.0483215219133 + -523957124 + -682.0394956908957 + -469.0640747664477 / -718788423 * -1606275126 + -514820525 + -784.3743580010123 / -657.6413034903787 - -1351428696 / 653376483 + -1432509677 + 747.7036270766223 -> std_output;
var integer fUTlRFg = -219784109 * -625144745 + -240.1341194442872 + 571877735 / 1883941814 / -1518051141 * 779.2708933809954 / 236.88032639880612 - -353.72231497568646 / -750.7094163573447 - -863.7203855413956 / 135926877 / 1410623312 - -306218439 + -624.0017747782936 / 1627784591 + 990.7092168889205 + 771.1475872492704 - -796532086 - 805.4412882375032 / 566.7033277965922;
138470068 * -787722530 -> std_output;
eVojZ = -228.76897349663227 + 1706284925 / -1365400927 * 2089200757 * -556.9205954450433 + 884.0285193824252 / 962039171;
fUTlRFg = 876.514675429825 + -9383281 * 200168280;
fUTlRFg = -329.1975402345639 * 1309083387 + -644383917 - -188771962 / 1066873586 + 863.9308095916722 + 732334315 * 420.774059055429 * -171348803 / -695.6113261290504;
fUTlRFg = 964.7652640601209 * 269.17130953801825 / 688274916 * -942955884 + -164.87941085784064 - -1345630667 + -872.2338568680212 * 431802185 + -584.3978021993084 * -992436806 / 370.7147743637431 + -377.4216991517603 - -888.5888411000134 * -591.060696543438 + 1891446439 * 852.0862404848533 + -1476764124 - 535963845 / -2003867992 + 865.9109284780616 - 574206851 + 817.7619038385626 + 545.4644351220518 * 27.824888953971595 - 1152580383 / 1081115273 * 765.379188066963;
-126.73269537168676 + 995.270214912129 + 929854654 + 947.8864996589368 + -467.0123438569183 * 853.3810706267416 / 524.1339236107876 + -857133700 - 689.6635666815407 * 928.8385512198722 + 634612493 + 1630777740 + 1162810686 + 586.4679522044237 - -450.3989737440363 / 1606493101 * -543.2171615869454 * 352.65661552690335 + -712.5021016419462 + 588.9595440034716 - 1845300403 - 368046353 -> std_output;
var integer CWx = 134.11479741744188 - -1280135401 / 331.0394124789493 * 1647597727 * 965.0850301073392 * 918798106 / -685.9509946777312;
fUTlRFg = 1591222359 * 521146310 - -421534436 * 667.7894774805116 - 2090576455 - -1044766254 - 450.99904713134333 - -83.55909053167409 + 873315880 - 908.8872694945132;
CWx = -1836946070;
CWx = -934.9645268884548 - -724720502 * -155893278 + -57141171 * -658.2453009999494 - -420.47529764302794 - 1136780102 * 931757143 * 2042578190 * -368.27886088954415 - 692.0332801419077;
CWx = 1577139216 * -1901876067 - -593.231600695424 - -741.900646867915 - 230.53777341525256 + -902.6549773472981 + -1556594294 * -2073590843 + 34822081;
828359790 - -500.38437429809824 * 912.6929709347489 + 112.70515872007695 * 1477946151 * 135.40917571693194 / -812.5140756792888 + 863.3395885680484 / 434.36612945496245 * 758333367 * 838.2066280372571 + 614.0156461100582 * -241.56274390176225 -> std_output;
987.9152686649254 / 999.2206473334998 * -1323955118 + 1739030400 * 1318544788 + 200938309 * 593.7705091263128 + 224845024 * -264.8978954256644 - 451.11017867322244 / 1697709248 + 485.418248821376 + 991689915 + 318.70960351416716 * 1553275086 * 574.0498929137661 + -1458965295 * -433170454 / 177.68852199825437 - -2064504071 * 147.16257483238337 / 793.7781591863868 -> std_output;
-1017822703 -> std_output;
CWx = 43.33833201892526 + -889211957 + 1721616402 * -984.2381460113716 / 415002455 + 689.6237052263725 * -1404634541 * 714639929 + 117.42796960769351 / -1143031110 / 639.7804108202779 * -1401536188 - -32536367 / -805.6139894868215 * 1890140499 + 369.7905444284836 + 1392192292;
830670376 + -713.8871541176994 + -677.9345602060165 - 2071714154 / 176.927383886062 / 1763837241 + -2036634752 - -527.7683030597032 + -373.20040945483095 - 832.217002888972 / -307.8300909965874 + -1438570492 * -2007632972 - 426.2847323452538 * -1923261819 + 40.01830556313348 -> std_output;
} -274.3199926710953 -> std_output;
eVojZ = -994653201 * 1778765416 * 1676099408 + 1269346637 * -602.9121893511574 + -723967410 / 79470705 / -798.8014251415123 / -1763474924;
-981565595 -> std_output;
const integer YJWv = 549539131 * 1846885606 + -293.79489331576417 * -745.6163583468278 + 420373439 * -1989056284 * -2016256380 * 1852931296 * -670717632 + 600762132 - 163.1773555463401 + -844.1650717724924 * 539.6537551418069 - -682.3666322901704 + 1680765228 * -801.9918616745596;
var integer ATuPSFm = 378.86335644974633;
492.0272896776537 / 1288298521 - -689159756 * -773.9194868743284 + 293.4072536320921 - -452053396 + 1895315707 / 208296562 * -740.6172866842362 * 602.0096160692258 + 424.34532225237194 * 1155789034 + 568.3742183800321 + -1640994037 + -255.15196004825123 + -984.2221266264519 - -2139093315 - 763.0576300615699 + -67.4155445464595 / -394.30303017433823 / -1856376566 * 1817240865 - -1442899851 - -186.0739160468512 -> std_output;
eVojZ = 439.13991877986814 / -835.522450363249 - 1366300369 + 232.3123816343309 * 1580822275 - -1015425747 + 335.5927058065556 - -811.8985948775957 * 1768839764 / 671939846 * 664.4693020149825 + -677325369 / 469.99291615911443 * -193.07996985547572;
} else {
eVojZ = -34.06765799614254 / -564580211 / -2042877945 * -1546933971 - -134.45114064620168 + -875330081 + -1774690636 + -293.97390985421043 * 151.72322713742233 * 625.6755565970943 - -1243580334 + 323.74582656218286 * 507.9568638688852 + 874.9524792993493 + 2111075675 + -186467993 - -953.7549224719066 * -681137091 - 999.8679699122463 / 706.4944279445642 / 763.7594017250062;
eVojZ = 250.5696319073204 / -718.3176705152432 * -2027147715 / 465852948 + -54136718 / 951.7966661786586 + -870.287933200838 * 769.8368577242802;
eVojZ = -277.93102248010507 + 905.6973569301183 - 4278535;
616.7462707832344 * -28.70180106488101 * 194.09348514813178 - -821902556 - 69.77033788621225 / 517.8931965753925 * -431.5448809064226 + 402.78515027381536 + -766310713 + -473.3286925476465 - 203310067 + 93.16593777033063 - 1465304646 + 584.67934950731 -> std_output;
-713676522 + -1962852770 - -760987705 - 1912190839 * -110060926 * -91958178 - 430173857 * -2127345363 + 538.0876821833092 * -1505362808 - 511.2647807161575 + -134.55339965195412 * 758.6014703154628 * -758.4694778593495 + -1859418717 + -241439884 * 34.22524438051846 / -930.9330709079602 - -770.3940747640619 + -610694188 + 720.8390648326886 - 402.72461795127015 * 394311128 * -697.7062312616642 - 608311616 * 835.5763743039208 -> std_output;
var integer DkyytOAvl = 223783350;
eVojZ = -388.5677121036513 * -1455929424 - -109.39897486013763 / -1941040279 + 647176043 / -573.0051093648341 - -454034641 - -1030363134 / -539460881 * 775.416244040513 / -757.0085857609623 - -1457821843 + -223.06212598319644 + 963923364 * -645364183 + 921454348 / 1928497194 + -708.8493428964725 / -831.2911441770054 / 527595380;
} -820.6751118933182 -> std_output;
-825.3648682375505 * -256.92463855526705 + -419828420 / 1570314206 - 202695829 - 678369533 / 1111559439 - 691.272896100963 * 2009930436 / 612.3297158892699 + 843.2246635136105 - 179.8790733582673 * -705.1765328511601 + 224966182 + -633.8351751148818 - -516.7929683547659 + -278589313 + -281660192 * 136.8564237861649 / -1301400310 + 103.2327564947625 - -68.7123402034266 * -44242055 - 1127716635 + -655.2942811599903 * 885.5128425295841 + -182354209 - -1673772927 -> std_output;
} -1111373604 + 2136224456 * 409.2328555785457 / -1335654881 * 2008487191 * 184.79028089026724 + 307904381 - -974930243 - 410085544 + 104302868 * -455401943 / 232.94311768142666 * 1841984555 * -721.9503215816283 -> std_output;
return 0;
}
procedure Q(integer wqMUmOd) returns integer {
return 674.9884725497111 / -580.7938408940772 + -928.2353102558585 - -150988530;
var integer ozWgOiR = -1742282660 + 830938721 * -907095793 * 1611553646 / 917.8887667448075 * 1151541325 - 669072349 - -1559275364 * -549.8181273465939 * -209.220878058523 + -378.4261181377309 + 325644912 - -439.73133989787414 * -860.8387705100678 * 1381533220 + -503324480 / 920.9513100392446 - -421.1846642873313 * 629.0563505856455 * -953.1044426648443;
}
function dBKcpUaKyw(integer NZ) returns integer {
return 564.4846542690909;
}
function xKotSMxj(integer b) returns integer {
const integer Br = 740.3385424126773;
868.5635971543588 / 1575822464 / -278.36948131904626 / -214913196 * 1167713979 - 628.3730814100811 / -608.2829045398157 * 880.6285261454818 / 1283836581 + 832051635 + 131.6242198367404 - -920.2632382379359 + -2058790908 + -1811702746 -> std_output;
-1401053441 + -196.50525692557073 + 773.6737679806374 - 857347452 + -1706656031 * -124.01486623597941 * 1160853156 + -743.2970646732196 / -306974193 * 276.22527142622675 / -1729504879 + 748.5627756895256 -> std_output;
var integer OXjVf = -479.3220134438636 + -907.6332618512926 / -622.4425169484134 * -521.0029854853376 * -302.4361761674868 + 1726095326 + 99.72904653591945 / 1126766554 + 1424571296 * 819013981 / 1979774970 + -473.1943973926043 + 338.18321603323807 / -1519046589 - 280.09969703480897 * -252.03014443879647 - 560.9629142134156 + -133.98807370987777 / -149346910 + 854592895;
return -1753095590 * 1138580112 + 2140019127 / -2139075719 + 376748624 * 850793059 / 164727522 + 1660551719 / 714.0211942243998 * 346.57561341102246 + 975463652 + 806.7623341097076 / -850496356 - 863225509;
-167.72886489944642 -> std_output;
-963.5702557407412 + -1530409317 / -1796459804 - -135579709 + -356.62661482151407 + 674.4627058575979 + 87.93076346866565 / 46.795261967389706 - -1955759691 / -725.937620830259 + 6062139 * 1795956299 + -8.693106312558598 - 25.72182231033912 + 251.30990545351528 * -116560297 * -273.2220226646251 - -722.8447818578622 -> std_output;
OXjVf = -2009471008 + 80920987 + -1993174908 * -223540337 + 709.1696310920092 / -301.382235019729 + 153.76173201521374 - -1730942745 - 492.7698340026277 / -954.629445889479 - -692659976 / -258.00826310406615 - 1385641120 * -879.2247079622459 / -487.47499912317573 + -1145569988 * -771.7603106863551 - 55.33457874391593 / 370.04374695442857 - 120.37191044541078;
}
function HMxZVDYikS(integer BKKalQKjaD, integer A, integer cw, integer igsD, integer ZG, integer BknMbZ) returns integer {
-1349150660 - 958.7062678748748 * -608362533 + 420443001 * 490.2557701953765 - 579.8476267988453 - 683915230 / 643.0360400988811 * 7.725742060699304 + -336.473102647328 -> std_output;
var integer nYv = 165147040;
344.2976821758132 + 917.3343524597647 - 1752725324 * -897898705 + -683956633 + 249142263 / 565630840 * -462.75225314395027 + 2088261328 + -171.6830289783751 - 1117644759 * 237215125 * 2048030097 - 87.96850519541522 - 1737774523 * -143.43565623986376 - 76.03501027901075 - 94.19728082571305 + -989767340 / -874.1449200475204 + -975957200 - -936.3270006812494 / -969.9100552783228 + 654.3310569952812 -> std_output;
nYv = -8.27926455190277 / -723.3402139789018 + -483.9709767604867 - 490974634 + -964.4827681384457 - -1592074042 + -950.2490400654948 / -764.3689271492407 * -263.2563542495028 * -780.5716206926184 * -9.78552020292534 / -1706928434 - -483.33687352446054 + 679628629 * 978.7116910981442 + 131120706 / 894.8919259559232 + 564.4577905547692 * -704.3050764044369;
return 1303262584 / -1551577354 - 71110632 * -265.12797490019227 * 1839806314 - -899.900727018616 / -148.33047542288602 - -451.91417205575067 / -154.96235718793014 - 164376540 * 1281486904 + 183.97108688833328 * 110.99804640456023 - 1199214466 / 590.2102144255889 * 1366797346 * -568914470;
380.81146978406537 + 284.0874848329497 * -151280742 + 974.6616734337294 / 325948355 + 251.61592881780462 - 362.6400350231181 / 111663974 * 607.9577713777314 * -861.0082164902186 * 125999185 - -1991820880 + -388.60399020844636 + -579.1555292314547 * -676.5307481559499 * 1375036720 - 45462954 * -315.83040165021316 + 207.93516815455632 * -1961845294 / 717.8477703855183 + 330.23969256871055 / -879.3446317294282 - 560.8897548397472 -> std_output;
nYv = 569.7200532334866 - 927868145 * -679.0215684920573 + 836622810 / -647335803 - -152865134 + 798.1907806231975 * 290205469 + -626813898 * 1546264921 * -367060465;
1016539365 -> std_output;
nYv = 371.00181904330725 * -13.654699817690243 + 301.67950699668086 + -468541796 / 762.6168350884193 + 968.4613338054376 * -2.981746487211467 + -467.29507156951615 + -53.82166256618075 + -1771841094 * 1453383776 * -927.8326131468948 * -865.5363213966887 * -2144475557 + -1854541676 * -80.65800361702941;
}
procedure nJPT(integer zdErQ, integer mmquXa, integer qUYI, integer OdFJhuaPP, integer qnl, integer xrkLx) returns integer {
440.3668751320961 * 1240504741 + 1012509596 - -351.04455511394735 - 1830723954 * -1442857967 * 663.465526833638 + -252.3632373478224 + -139.25516381158332 / -1671009202 -> std_output;
return 870.5159911105991;
-138.21784791922335 -> std_output;
var integer kPdb = -1964184702 + -128335825 - -745.9942357188831 - 1766020656 + 879218892 * -941.3818487558578 + 993.5582227606326 * 1933522285 + 314.203938984082 / 1315565426 + 113392243 / 804.3606387647349 * 409.0071592629604 + 1182774182 / 181.91861812344632 - -818.6116779465851;
1344459657 -> std_output;
kPdb = 1056709477 / 1159743357 / 1540397091 * 1224186147 + -79424712 + -65.49187478076294 * -1805823576 * 520.7282403019426 + 187.36449820115217 - 2107456822 + -368.9302112273118 + 1620758505 / 343.3057579426527 * 701.6500963048634 / 460741210 * -53.04032576748523 / -231.92511667534382 + 1107344273 + 1495270415 - 404.8312487407777 + 928226045;
-24.337669709978627 + 196.24276889795146 * 1676003593 - -1415038387 * 327063715 * 235.85849779469936 + 497779200 + 196.02566568579846 + 463.02656761495655 + 483533490 * -67.30227392628206 * 276704078 * -2024165624 * -69364849 * -316.66020000873357 + 1673929743 / 2107343384 -> std_output;
var integer spN = -583.3514618984705 * 935.3687840856294 / 529887663 / 1220430132 * -1016910579 + 1078738159 * -429.6462148808695 + -49448161 * 201.90981893832577 - -735566777;
-360.53158054986636 + -277.4752435058467 -> std_output;
}