leo/parser/benches/large_2.leo

396 lines
19 KiB
Plaintext

type JzT3X = t5RQ;
type RaEnk = JzT3X;
type qQAv = i64;
type lLyE = VdqTF;
type m1ys8 = address;
const nI8f: (bool, u128) = (false, 138624358552358706580496409244518932936u128);
const JtPat: u8 = 22u8;
function HnaR (
ONK5A: field,
jxBI: i16
) -> (
i32,
(i16, [i16; 3], i64, u16),
bool,
[address; 2]
) {
let UiOY: u8 = 197;
const uqDfG = 244u8;
if 14 * -7i8 * 1 > 36 && UiOY == 50 {
const Nsof: u16 = 61299u16;
const xQG2 = (-78677041305034957029235253770237774612i128, Nsof);
UiOY = 61u8;
} else {
UiOY *= 0;
}
let xABE: address = aleo18na4r4tmlh5fgmznsxvfx2edplc0l6qgtvrsx632qjq02z8xc5xsx62fcr;
const k7_5F = 46213u16;
let VoTi: bool = false;
return (-189603432, (28990, [-1892i16; 3], -3751793658146050073, 53730), true, [aleo1mz2skscve8gq9d9j8lvsd3zmg4ppyewwkfwxxmlr053jjfxejg9sv9frxl; 2]);
}
function Tw0p (jCQc: char) -> (
u16,
i128,
u64,
(u16, RaEnk)
) {
let NR_C: JzT3X = t5RQ {};
let RD1U: field = 3006368756432145027093799683618550726093102506687552253093476217748623071135112833326420434244184050077234188883388733925420743627834963361535348967445941field;
const V1nN = aleo1j9y6cc02tjpljhw3qlgte9y6l4zmxv0tzh386ksvk34m8hzawczqpqgsqr;
let QI4RL: u32 = 4174894181u32;
const wUpD: i8 = -73i8;
let SZPz: u32 = 4125266212u32;
NR_C = NR_C;
const gVoY: lLyE = VdqTF {JkBcA: V1nN, vNAMH: true, qQtCF: 5057};
const BEcUt = ('\u{8}', -6708122641235748559i64, -2730500549981686507i64);
QI4RL /= QI4RL;
let lH95z: u32 = QI4RL;
return (6810u16, 122075245384760587708883454153053778463i128, 11162326899970246285u64, (15111u16, t5RQ {}));
}
circuit t5RQ {
}
function fGeK (const YKvX: i8) -> u8 {
if YKvX >= YKvX && false && YKvX <= YKvX {
let QEAS: char = '\u{d1290}';
const PzT2o = (3907343854998883480063214119544699297780621314687237535050680256515848549925979938945863859753374805327386884171897412321471780865498076822115347428113750field, -2127951728i32, 7820691722384525995u64);
}
let zYkk: i128 = -24135032554736812030416370574505501964i128;
const VOer = -22376i16;
zYkk -= zYkk;
zYkk = zYkk;
zYkk -= zYkk;
return 199u8;
}
circuit q2USj {
GoGV: bool,
aLCN: i32,
E_t6: bool,
qmz3: u8,
function GOYuA (
self,
const fY7mJ: Self,
jWmq: u16,
const nwZP: u8
) -> (
[u32; 4],
i64
) {
let Avj6N: i32 = fY7mJ.aLCN;
Avj6N = 364107726i32;
const DX9q2 = fY7mJ.qmz3;
if 483103504u32 > 2578589642u32 && aleo1m2cjlkawd5m0zl5rutsguz94y572mjj4u8lnxx2mq8pguhw4dqqsq9vcar == aleo1wnykcamqw5aghz56g8qrz90h7gqpm62zykyefp9vu85yqk2j0sqqachstx {
const IjwUB: u32 = 4065726433u32;
let c17Qz: u16 = jWmq;
const BnL_: u128 = 51761633273380017465434432628428125170u128;
let vxDm: i64 = -5494074842541052547i64;
const lMmJc: field = 125545887137495523397577547635418533381158968954640996668608928671130971517914452783158107876547411564762624046750113283173064518704428534673396909364510field;
} else if [201893701929816058901180594907743208728; 1] == [79982146642254653817983190224958060318u128; 1] && jWmq > jWmq && [aleo1qdck5ln6cpm3llqjk6mvhp6r5xltkv3syww8cfue0j7gwsusrvrqsmlh8h, aleo19cka50c6l7ua5a34lnfwhxlx2hs3jysn7pyuehf69kvv4gjwsqgqz6qzd5, aleo1y8q2w4zh2c7k9ee5fzsyeazyzmynv8wxrl2ec67lsdenhveqeuxsqjcwkp] != [aleo14d9jx649l5feffrk7s3xwyl5p3dz3dn7q2m65vyvg46y76chcqxske4jay; 3] {
let Fzyfc = -22317i16 - -25418i16 + 14121i16;
Avj6N **= 1;
const Ram7m: i32 = fY7mJ.aLCN;
const Jyap: address = aleo1hf5700rcpz68s7fspd25kat2felkmggzddstazkgmu7xt2syug8qu7nkjc;
Fzyfc *= 0;
Avj6N += (Ram7m / Ram7m / -1490396869i32) + self.aLCN * 1;
Avj6N /= self.aLCN;
const PBAT: i64 = -205621369696754507i64;
} else {
const Dqt5E = 995262057u32;
Avj6N -= self.aLCN;
let XJms = 61i8;
const vvOQZ: field = 2097735165804900312999580621838429207407595983420724021671887967978821818938171460938180437319640910570853915289167466089093039844862455656252123826976864field;
let sP0I = (jWmq, '\x76');
let S9uAD: u8 = fY7mJ.qmz3;
}
let XPlIn = t5RQ {};
let Dchf: char = '\u{79}';
const L4mb: [i64; 1] = [(4498224565295528194i64, true).0; 1];
XPlIn = XPlIn;
return ([688873667u32; 4], -7142513596480754292i64);
}
function Bchw (&self, const RwPZX: i128) -> (
u16,
i8,
i16,
i64,
char
) {
let UYSF: u128 = 262102823998991425630620909427922442176u128;
let E1hjK = 10375244632967105723169088070309024219397254573760531061153053085696174606082038377241096687473895366928875518762523866901404864961733598111880816563280455field;
let e4zkn = '\x32';
const Tyz9 = aleo1jtjc68kf2x3euxufngq0mm7szwwvhpzugqzk7ej4p4wvhym4cursppgq38;
self.E_t6 = self.GoGV;
return (2520u16, -121i8, 13444i16, -6913886128685393087i64, '\x0c');
}
}
function AXU_S () -> (
address,
field,
char,
[field; 1]
) {
const tVTY = [203u8; 3];
let OV1kp = -1213152733781511670i64;
let Xq_tC = VdqTF {vNAMH: false, qQtCF: -3948i16, JkBcA: aleo1vgkk9ymnjhhxe6vmul45rxu8d4g95euafvlqne26km9qr7m42g8qhkxkgf};
let VIrY = 17593201753785968724348147573543201683u128;
OV1kp -= OV1kp;
const Q4U3S = 27137u16;
let AlH2I: (i128, JzT3X) = (139188993752357605548144436826980887896i128, t5RQ {});
const Vsvk: char = '1';
Xq_tC = Xq_tC;
let nf2yj: address = aleo1pyhp5pgv0np0n5pvtr7hg97ukj3hpd33jtpeg8hn08wgr9g49uzqaqxllp;
return (aleo10nxyeq4s5l40wnl2vfl2llw78kgvt5enfeemlggmkkuuqhzqzsgsemhzt9, 10284116216941408283824722444823323169743229072384235793724572129107892255808365407378202665173472895512465558177101917815129958884392467286207303058249836, '🝎', [5251293705195853262669358257210379533137794199696014230716504931515180367833369101390595615074170181388161695941210696920452345567559460763086722252516477; 1]);
}
function mH2Y9 (iEfoy: u8) -> (
field,
char,
u8
) {
const fG0q3 = -59154251402565510076278685361797057569i128;
let PrNua: u8 = iEfoy;
PrNua *= 3;
PrNua -= PrNua;
PrNua *= PrNua;
if 32668u16 != 21786u16 || (aleo1j49vf34whm0m4uws0estyu4gq5tht5zx0q6qzxmdzscnclmxfg9qdgzda0, 41540, 134304434296530196734061550676303486963u128) != (aleo1xva5m9jur0a0tprwqc8nzphgzgd6skjd0q0pw5cgr4neuu6l2ygsasgpk9, 55043u16, 129033633348452456271720971239228800745u128) && 24828206122290956941869728717938262622u128 == 190550268981330710707990793850974074495 {
let FFxXY: i128 = fG0q3;
}
const mu6N = [7582669102660056372947255416050366024078733101207257721015648696292977286038066716759935417295636191557803704683778990632154263740251772206823891196733587field, 8196660721793919824431109574792746081235843603331574262589237067642966218636776362612899587315350318796338078462915808190066779316191244649686894554175818field, 7243540293239857928937388141203501039817875319585790175435641863324995357870510220128659842790875126815373993172381399497896402138463576231151096997987235field];
const Bpf8B: RaEnk = t5RQ {};
return (11817726415298897201781763882612161235674380541753244883813987091658618975514747358698825992261995321821959028187112813486614880508876689770337142994146408field, '\u{105181}', 212u8);
}
circuit VdqTF {
vNAMH: bool,
JkBcA: address,
qQtCF: i16,
function XBi3v (
const SLNe2: u64,
const ZceI: u8,
const BU9w: q2USj
) -> (
u128,
i32
) {
const iELE: ((u32, char), u128, i64) = ((384601192u32, '\u{5d}'), 260866785695740709874051028796502206859u128, -321465745518097240i64);
let YfiVq = iELE.1;
const iH8i = 47086u16;
YfiVq *= 0u128;
let Us69 = BU9w.qmz3;
const gt_QR: i64 = iELE.2;
let z26R: u16 = iH8i;
const CwF6T = 2122017455351828831u64;
Us69 = Us69;
let a19dG = -86613533756289588059622956126783773336i128;
if a19dG == -49319611420542273374035057559272823755 && SLNe2 <= SLNe2 && -23356 != -16419i16 {
let kX9E: char = iELE.0.1;
let AdkEx: [i16; 2] = [-5468i16; 2];
const UcJQG: i64 = 1017251936437173056i64;
let rm6_8: u8 = Us69;
const zgZL: q2USj = BU9w;
AdkEx[..1] = [AdkEx[0u32]];
return (108204645183890682686172343964957448867u128, 1149096697i32);
} else if -31 == -69i8 || a19dG <= a19dG {
let zpnQ: u8 = 72;
a19dG += 84542379573227848725665999581434532730;
if iELE.0.1 == '{' && BU9w.E_t6 != !false && 100 >= (q2USj {aLCN: [(4158624514u32, 123278280530457701497833478904269469213u128, 375400254i32, 4030338526369534919352204641539656959774203635820637603220580819386423470678850085111744039458909079319352854489628011888463617722287850191230995765822356field); 1][0].2, GoGV: BU9w.E_t6, E_t6: BU9w.GoGV, qmz3: Us69 ** 0 + BU9w.qmz3}).Bchw(-85474839122628384091136338030133571122).1 {
const j6mpM: u64 = CwF6T;
const Qjgj = CwF6T;
a19dG = a19dG;
YfiVq *= 0u128;
YfiVq *= YfiVq;
if (true? aleo1zlkfjx7kmswac8kkz6gmrpp5wdlfyjcpa82p3sxlc7t9hdpxyurqr4pm0y : aleo18846l5defv4cmp707jzfmnyphxe05y94wgqljklkd2vuhujuccqqncphly) == aleo1vvzw6wwnr4qzw3c833wzzzglnamw6rqw4frucvz3cz4ca9d3hvgsjm8xaj && iELE.1 >= iELE.1 || j6mpM <= j6mpM {
if Qjgj > Qjgj || -1777i16 <= -21839i16 {
let jmjH1 = aleo18a6ztczu0l2rc0w2dxtqf6nlgwwqe9k99tq5el7w5kcwrc0085yqkey0fv;
jmjH1 = jmjH1;
a19dG -= a19dG;
let HwJn: u64 = 17714981732057656865u64;
YfiVq = iELE.1;
let m3kTh = jmjH1;
m3kTh = m3kTh;
} else if mH2Y9(34).0 == mH2Y9(9u8).0 && 6273i16 < 4909 || -8867466881151025294i64 < gt_QR {
YfiVq += iELE.1;
a19dG -= a19dG;
} else {
let crw_: bool = true;
zpnQ -= 24u8;
const dsGM: [bool; 2] = BU9w.GoGV? [false, false] : [false, false];
}
let kJb1: char = '\x59';
a19dG += BU9w.GoGV? a19dG : a19dG;
zpnQ = 212u8;
a19dG = a19dG;
z26R = 55775u16;
let SNxJp: u8 = zpnQ;
a19dG += a19dG;
const EPCfE: i64 = -2588330871158477199;
} else {
if 8297695527096070029141173015706745148u128 < YfiVq && ('#', 42214, 15441661, 3727013545) != ('\u{59}', 34058u16, 3653945965u32, 1129351315u32) {
z26R += z26R - 55038u16 / iH8i - 30074u16;
const hNyo: char = iELE.0.1;
z26R = z26R;
} else if Us69 == Us69 || 912492226995330448 > SLNe2 {
Us69 = zpnQ;
z26R += iH8i - z26R - 0 * z26R / iH8i / z26R;
const B1Hx: u128 = iELE.1;
let V9bJ4 = BU9w.E_t6;
} else {
const YHwJ7: i64 = 8808493453600301821i64;
zpnQ += zpnQ;
const mCw1_ = 7801278669036649611368151749591863685236870578853066004483602881165648711426811156956719869085171471031126066717127183381568375078432206971070288097037807field;
YfiVq -= YfiVq;
z26R -= z26R;
a19dG += a19dG;
let zHNJ = iELE.0.1;
let wI7u: field = 2550144609268528440691705040114940648343270796680326402121986343650268171471569132206972126710945335689980818687697891282702140492021153719137048087792240field;
}
}
const LkcEj = iELE.1;
}
for SogB in iELE.0.0..384601214 {
let DYkE: u128 = iELE.1;
const kAOX = BU9w.E_t6;
DYkE -= DYkE;
const M59dm: (u16, u64, field) = (43488u16, 9124896517185954065u64, 10561644927788416398392784857829962551661255265035645354800005079247111969376265845407072644801592007585225067672023612023814003754382765372559116699973115field);
const JaobB = BU9w.aLCN;
let WvXP = SLNe2;
let VO6G: u128 = YfiVq;
let ffilS: u16 = M59dm.0;
let YZOB: [RaEnk; 1] = [t5RQ {}; 1];
}
let dNY4: u16 = 42664u16;
const ew3P: u16 = iH8i;
const rhMm = (-12175035427752017433810985932786769741i128, t5RQ {}, 271081707118414207u64, t5RQ {});
if CwF6T == 11331100544714433941u64 && -137675837326651778150405129011408487179 <= a19dG || ew3P > ew3P {
const EDvW_: i64 = gt_QR;
let uo2t: i8 = -49i8;
let Df3aR = CwF6T;
const O95wG: u128 = 233656278189081722025096788379753584619u128;
zpnQ *= 2;
if [YfiVq; (1, 4)] != [[169806268696379052753386048486355766015u128; 4]] && O95wG == O95wG {
a19dG = rhMm.0;
const F9OI8 = 7722095094283521054i64;
dNY4 = ew3P;
return (208326420935540144401016536701458059817, -982099885i32);
} else {
dNY4 /= iH8i;
const Bib0s: (u8, i32) = (17u8, BU9w.aLCN);
let drCDJ: u8 = mH2Y9(59).2;
return (161370180874192340940279967916022560712u128, 824395561i32);
}
} else {
Us69 **= 0u8;
if 13374625417223606661203178669122357262895208428058127395102070813150800996346310387528492920172705731913360080696233776310891992358563843352652013188713944field == 263532422099937944708673518073513763117335195026879259697639252603769892703299683875517609580006174666409952835928025508899712918393480532217337922966555 || 1096149508u32 != 2994358812u32 || [12890087337307472884436170949641374530429153345545555376245573207602294126747170115789551329058532240766554606961796542359650950559524558773090959768475930field; 1] == [2143632458517463038479141456562071005118430667816722632824939540043109994093969259778518202045640720180325070912765589063054454459930550396018099750062403] {
let L_TyE = zpnQ + ZceI / mH2Y9(zpnQ).2 ** Us69;
z26R -= dNY4;
z26R += iH8i;
dNY4 += 16917u16;
dNY4 -= iH8i;
return (41882921589805161698106929041066935475u128, -1250228558i32);
} else if iELE.0.1 != iELE.0.1 || iELE.1 <= 112733576472926129085561582397187256731 && rhMm.0 <= 156193507662835091964445626817294215008 {
if iELE.0.0 != iELE.0.0 && iELE.2 < iELE.2 && 20 < 136u8 {
dNY4 **= 0u16;
let JlUA: address = aleo1vdwy8d4xa25z933kwtrfa2rcue76y4enuqzpt2wcawnpah3wzsqq2mva5a;
const flZpN = (4615902933436516462u64, [1051606236738913649i64; 4], 52700u16);
Us69 *= mH2Y9(74u8).2;
let rvGR: (i32, VdqTF, u16, u8) = (BU9w.aLCN, Self {JkBcA: JlUA, vNAMH: BU9w.E_t6, qQtCF: 28341i16}, dNY4, mH2Y9(zpnQ).2);
} else if CwF6T < SLNe2 || -60168501559691069371405162360254879048 < -161477792457033742618657363363311658871i128 {
let XWlHi: i64 = gt_QR;
let rudj: address = aleo1lfwytf44azjrgv506dta4amsu58k3eex9dp33hg05jud25crxuxs80nrp6;
}
const dFd0: address = aleo1jeyl5j4r9u6hqz5jk3t6kla3jff5vgvn63lped7dsdwhqp4auupqsyaj5e;
const Fj_t = 26i8;
YfiVq *= YfiVq;
dNY4 /= dNY4;
return (251797454112440413890352461173202213335, 927710880i32);
} else {
dNY4 **= 30488 / dNY4 + 29821u16 - 27432u16 - 2353u16 + q2USj {GoGV: BU9w.GoGV, E_t6: BU9w.GoGV, aLCN: BU9w.aLCN, qmz3: 83}.Bchw(154446541901057916622609095185682224927).0 - 2555u16;
Us69 = ZceI;
Us69 *= 0;
const k85V: address = aleo1gtres8rsyj6d6jz5y3g3y9tjqsrr7tud2kvtzv2w2c9d46g865xq32n37e;
z26R = ew3P;
return (206704597053005722166881401158050055285u128, 1164596760i32);
}
}
} else {
if (71, 2881902654u32, -2069668436, 92123972876894013803446307211773509241) != (131u8, 3282192165u32, -2129422448i32, 43305229915134948318570373955312734854u128) && BU9w.qmz3 > 189 {
Us69 -= 49u8;
const JYg1D: i16 = -2604i16;
const rliN7: VdqTF = VdqTF {vNAMH: BU9w.GoGV, qQtCF: -24022i16, JkBcA: aleo1eujyhsjffg9r7tkxgmfurg3mt8c7nvc03a2lgzsgqe0r3sp8lvxqc5qdmh};
z26R = z26R;
let f3kA: u64 = CwF6T;
YfiVq = YfiVq;
} else {
const VqQ9j: u64 = CwF6T;
z26R = z26R;
}
const RAtF: u64 = SLNe2;
a19dG = a19dG;
let wP8M = RAtF;
const ku4m: [u8; 1] = [BU9w.qmz3; 1];
return (138950913523788282516433261892988500386u128, BU9w.aLCN);
}
}
function M5uyg (
&self,
const okvyq: address,
const jLfv: address
) -> (
[u16; 1],
field,
u32,
address,
i64
) {
const uTtoZ: u32 = 2911953024u32;
self = Self {vNAMH: HnaR(9637107400116582286875632406821960049552027667572334234709696347580021917799394395119248241957821783181912394721554018583849251698821030898138872231958121, -484i16).2, JkBcA: aleo1l37vuw8u8d7plfhcfzjt8m0qwfe3j8u4aufm9xqtvsghu5svdq8qx53uzl, qQtCF: 22825i16};
self.vNAMH = self.vNAMH;
self.vNAMH = true;
const kJJp: field = 11645589667993280099034622824350749720911055347704063229918455679843827052479299776284340059356896792159135506144424390068971515703723527659351438790152783field;
self.vNAMH = self.vNAMH;
self = self.vNAMH? self : self;
const XicT: char = '\x3a';
self.qQtCF /= self.qQtCF;
return ([26235u16], 10204220262695726749783274260328053259745286134580082341779447510196179136312755669231619017189600069545303530663107245149667915069169858552950905395161580field, 92907414u32, aleo16nlemverjfhlqlezej0ncfynxgcnlu5nk9n3ag6l8c5m7uuk8qyq84sh5n, -3147978309964363954i64);
}
}
function main (
nq60Q: i8,
lVdR: i32
) -> (
i8,
i16
) {
const HKkwa: u128 = nI8f.1;
const V03E: i8 = -79i8;
const OjYjs: (u16, u16) = (61993u16 + 36672u16 * 0u16 / (49290u16 - 1647u16 + 5273u16 + 64600u16 / 28457u16), 10262u16);
let fz_h: qQAv = 1882284745174847260;
fz_h *= -1i64;
let Yw2dn: i16 = -297i16;
let er63n: m1ys8 = aleo1yl8g8c3scda0e9gta5dxn49xm29avlwc6ngzr6l3yflmzraktygq2qaks4;
Yw2dn = Yw2dn;
const HeMx: u8 = 55u8;
let AJTYt: u64 = 4813604680719586955u64;
return (V03E, Yw2dn);
}