mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-30 13:42:24 +03:00
136 lines
5.5 KiB
Plaintext
136 lines
5.5 KiB
Plaintext
/*
|
|
namespace: Bench
|
|
expectation: Skip
|
|
*/
|
|
|
|
const Hqyz7: address = aleo1nr8us4x0p4yyd99qa878e06jwddqr79gavznpxc6degn2gcv8syseq4dqu;
|
|
|
|
|
|
const wGhr: u128 = 4235667942033320943751708062300111155;
|
|
|
|
|
|
function main (
|
|
kwbCc: i16,
|
|
EYoq: i16
|
|
) -> (
|
|
bool,
|
|
i8
|
|
) {
|
|
const i6Nx: u128 = 19653594751644457897907893417628551201u128;
|
|
const B4lTU: u16 = 16195u16;
|
|
const ZSXY: i64 = 7202018956140836812i64;
|
|
const Pa6v6: i64 = ZSXY;
|
|
let ZDMo: address = aleo1l0c74fedxeu6furwlu7rll54dfctkq3zdkxu7t99wljkjdu2mvyqea2tme;
|
|
let r4MO: address = Hqyz7;
|
|
ZDMo = ZDMo;
|
|
let lemUy = -117953486944586144083570938522518395328i128;
|
|
const Gps9 = -88i8;
|
|
return (false, -44);
|
|
}
|
|
|
|
function n1L8 (hmFy: i16) -> (
|
|
[(u128, field, (field, i16), i128); 1],
|
|
i32
|
|
) {
|
|
const fNvO: field = 2750564077711941029722127649948645537455534027328847069044133377138109161318271362049015351591207614350232642126368462863979795820334965715740480274175573field;
|
|
const lmHt: u64 = 2269259618381692923u64;
|
|
let KjBI = 2026459569179830935i64 + 866530259422435247i64 - 2645462263636175910i64;
|
|
let aXWP: i64 = 4998340210106624395i64;
|
|
const RlUx: u32 = 4161027074u32;
|
|
const tXdcb = 4272514431369154706070578366360851993386624410603062440183406234072170341787899398086105322985899012859630300981347371254984104806559233268195649076887249field;
|
|
let Cx6n: u8 = 76u8;
|
|
const gQHav: i64 = -7958573780487908672;
|
|
let P0H5: i64 = KjBI;
|
|
KjBI = P0H5;
|
|
let GFe1: u8 = Cx6n;
|
|
let n3Yy = wGhr;
|
|
return ([(110864185312861243609835935897246916816u128, 8027383993546761796462571550076630783804181784535647612135622351173715093306398669014878563487584829796598305767019042817305553668855077844718984532061985field, (1734191401539596450667091308059679105135397069793607487076081463676390731066664430577576064187978113101858426081203997659500902563079326338873619720499688field, -21989i16), -150495415826944343782692157879357480108i128)], -1909034892i32);
|
|
}
|
|
|
|
function sUaG (
|
|
const oPSv: u64,
|
|
const Zq1GL: i64,
|
|
const DLxJx: (u16, i16, (i16, char, i64, u64))
|
|
) {
|
|
let Q5zMF: i32 = 728603058i32;
|
|
const PGNcS: u64 = 2144886894999271593u64;
|
|
Q5zMF **= 1i32;
|
|
let cNWEb: u8 = 84;
|
|
let mXMNh: i64 = Zq1GL;
|
|
const KyK6H = [-8140698938246143192736917836090033228i128; 2];
|
|
//RETURN
|
|
}
|
|
|
|
function IYWBA (
|
|
const CZrjP: i16,
|
|
const Rm29C: bool
|
|
) -> (
|
|
field,
|
|
bool,
|
|
field,
|
|
bool
|
|
) {
|
|
const eLAlK: u64 = 16573868426039605925u64;
|
|
let EeHa1: i32 = -328911894i32;
|
|
EeHa1 /= EeHa1;
|
|
const Ugl9: char = '\u{0}';
|
|
const vbXSV: char = Ugl9;
|
|
return (9734467587844032180135049760409289131752458803964775280205832969321799328489342874439633930227833935897419288695502424368396451812642234099755920744545580field, Rm29C, 6992853537485527616107390032134467669982048745678832067087057316512037110740310544306240132715608403358887486968673427333743888817361342248398851802398147, Rm29C);
|
|
}
|
|
|
|
function ppiJD () -> (
|
|
i32,
|
|
u8,
|
|
[u16; 2]
|
|
) {
|
|
let H9dM: char = '\x6d';
|
|
let bu1f6: field = 1375053434411349954833697618758505804565334738968515748962076629929756121816538522980093957699888083791282567395555990973599793929063139594764266788458293field;
|
|
const Sz5W = (5452500649579431491i64 - -5629827325763702842i64 * 0i64 * (1766643220351448904i64 - 2507652939169077875i64 - 6817170868631554689i64 - 829411153429075840i64 / -3770752768528712120i64) / -2283682254362945243i64) / -5793797664062118757i64 * -1i64 * 1i64 / -1063877678551005733i64 - -6880869154805793385i64;
|
|
if -15384373465689585231904975931732993722i128 != -26752496697189791953116865077681343200 && Hqyz7 == Hqyz7 {
|
|
let Ffe7: u16 = 17444u16;
|
|
const ZfsM: bool = true;
|
|
Ffe7 /= 15862;
|
|
const cu1q: i8 = -95i8;
|
|
const d05Z: u32 = 4141246852u32;
|
|
let WyST9: [(u16, u16); 1] = [(Ffe7, Ffe7)];
|
|
}
|
|
let kS2n: u128 = 78347670304791494401782539682926170246u128;
|
|
kS2n *= 1u128;
|
|
let mDRp = 11094583564268332311u64;
|
|
return (-1618015083i32, 180u8, [7977u16, 15857u16]);
|
|
}
|
|
|
|
function O9Pym (
|
|
RgmrC: u32,
|
|
A5gG: field
|
|
) -> [i32; 3] {
|
|
let wbYk = false;
|
|
const VlKu: field = 12034823521055684656803960735818709622060742766279427485221451640137620196285540080092505488883352800834441925489549958379284209458850777125442592258731151field;
|
|
let MNhB = -6776168784298605423i64 * 0i64 + -7115935549030314263i64 + 5418144407475453963i64 - 6083504378159267387i64;
|
|
let bGHh: bool = true;
|
|
let K2bc_ = RgmrC;
|
|
for YCkW in 2156152823..2156152837u32 {
|
|
sUaG(18086129069170702800u64, -8613953065723011850i64, (32716u16, 21214, (-15652i16, '\u{643e8}', -5135511156710229726, 3411414872253501622)));
|
|
let BR15 = MNhB;
|
|
const rUhu: [u32; 1] = [1184000687u32; 1];
|
|
}
|
|
const h6nK: address = aleo1090rcrp27nedkusygfk7vs9gkaegkkeyk9lzx2sstydlky9hlspsr6q28g;
|
|
if -15514i16 != -5704i16 || K2bc_ >= K2bc_ || -18694 <= -32667i16 {
|
|
const IqRag: [bool; 4] = [false, false, true, false];
|
|
let x9fPr = 110i8;
|
|
wbYk = false;
|
|
const K8ie: i8 = -78i8;
|
|
let PU93: u32 = RgmrC;
|
|
let V3ykU = '\u{141ee}';
|
|
MNhB += 1353333771178790252i64;
|
|
let EqQO: char = V3ykU;
|
|
for fuyD in 1120955862..1120955874 {
|
|
const F9OQc: u64 = 11208591221347461172u64;
|
|
x9fPr /= x9fPr;
|
|
}
|
|
return [-745026943i32; 3];
|
|
} else {
|
|
const Tgqo: u128 = true? 311260970582540822624922797527674715398u128 : 257906757538419513804363749589095902701u128;
|
|
return [-1428479824i32, -2099325920i32, 1618141399];
|
|
}
|
|
} |