From 26dba19d8890d5dfd716e81c6278b97fba1097dd Mon Sep 17 00:00:00 2001
From: Pranav Gaddamadugu <23022326+d0cd@users.noreply.github.com>
Date: Tue, 2 Apr 2024 10:19:46 -0700
Subject: [PATCH] Clippy

---
 compiler/ast/src/value/mod.rs                 |  18 +-
 .../src/errors/flattener/flattener_errors.rs  |  10 +
 .../execution/primitive_casts.out             | 940 ++++++++++++++++--
 tests/tests/execution/primitive_casts.leo     |   1 +
 4 files changed, 899 insertions(+), 70 deletions(-)

diff --git a/compiler/ast/src/value/mod.rs b/compiler/ast/src/value/mod.rs
index 428f963c16..e6fd7c3ae0 100644
--- a/compiler/ast/src/value/mod.rs
+++ b/compiler/ast/src/value/mod.rs
@@ -765,20 +765,12 @@ impl TryFrom<&Value> for i128 {
     fn try_from(value: &Value) -> Result<Self, Self::Error> {
         use Value::*;
         match value {
-            U8(val, span) => {
-                i128::try_from(*val).map_err(|_| FlattenError::loop_has_neg_value(Type::from(value), *span).into())
-            }
-            U16(val, span) => {
-                i128::try_from(*val).map_err(|_| FlattenError::loop_has_neg_value(Type::from(value), *span).into())
-            }
-            U32(val, span) => {
-                i128::try_from(*val).map_err(|_| FlattenError::loop_has_neg_value(Type::from(value), *span).into())
-            }
-            U64(val, span) => {
-                i128::try_from(*val).map_err(|_| FlattenError::loop_has_neg_value(Type::from(value), *span).into())
-            }
+            U8(val, _) => Ok(*val as i128),
+            U16(val, _) => Ok(*val as i128),
+            U32(val, _) => Ok(*val as i128),
+            U64(val, _) => Ok(*val as i128),
             U128(val, span) => {
-                i128::try_from(*val).map_err(|_| FlattenError::loop_has_neg_value(Type::from(value), *span).into())
+                i128::try_from(*val).map_err(|_| FlattenError::u128_to_i128(Type::from(value), *span).into())
             }
             I8(val, _) => Ok(*val as i128),
             I16(val, _) => Ok(*val as i128),
diff --git a/errors/src/errors/flattener/flattener_errors.rs b/errors/src/errors/flattener/flattener_errors.rs
index c183e9a78e..6713fdad2a 100644
--- a/errors/src/errors/flattener/flattener_errors.rs
+++ b/errors/src/errors/flattener/flattener_errors.rs
@@ -53,4 +53,14 @@ create_messages!(
         ),
         help: None,
     }
+
+    /// For when a u128 value cannot be converted into an i128.
+    @formatted
+    u128_to_i128 {
+        args: (value: impl Display),
+        msg: format!(
+            "The value `{value}` cannot be converted into an i128.",
+        ),
+        help: None,
+    }
 );
diff --git a/tests/expectations/execution/primitive_casts.out b/tests/expectations/execution/primitive_casts.out
index 2fdc14362d..cbc1c43466 100644
--- a/tests/expectations/execution/primitive_casts.out
+++ b/tests/expectations/execution/primitive_casts.out
@@ -20,75 +20,901 @@ outputs:
         - execution: ~
           verified: false
           status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+          errors: "SnarkVMError(Failed to evaluate instruction (cast r0 into r2 as boolean;): Failed to convert field to boolean: field element is not zero or one)"
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1pdjmatzkyj6y7437jc8ahpktaj65a42zanduptfeh785uyv4r58sp47ylx
+                program: test.aleo
+                function: bool_casts
+                inputs:
+                  - type: private
+                    id: 870016774093892566989587177732251914788858518678520797611120314436577816329field
+                    value: ciphertext1qyqfnj5fw2m7duu00u3y64epmqxxepus29hcajc7vulqzmdpwkvq7pqxxskd3
+                outputs:
+                  - type: private
+                    id: 6066899140271856032410076659910454381934190391779428926461158119701923221375field
+                    value: ciphertext1qgq83gnerxdzsa6qgchglyx8jkelx5lln72sp7qz96gs4y42tffxkqpsr3kketaj0u93498gd35hcps0hqpg0zltye95u3nj3ta9wjp3zq0rlj4r
+                  - type: private
+                    id: 7460491606535268891885065043483177306496780154684236722927008504007889592202field
+                    value: ciphertext1qyq2lucjh97eyreukj345duz6gty840shjjecc5v5p7j4n477tej5pqcz8xrt
+                  - type: private
+                    id: 5549169777689693660134684108664074164241304694090852019792122524105406064667field
+                    value: ciphertext1qgqr6d5xcz0ahusq7nln5zwt9u2arlrlcmrrup8aew0zhp4hl0d5wrs59e0y4n38c2pkk5xrs7jcuww4g3mu7t7h08a8aqru6fz7wmgzpq97c2xw
+                  - type: private
+                    id: 4755056734328200308086663954189076441623605067600629612850965846037541539946field
+                    value: ciphertext1qgqfppa7tc8exvgh9fx5lh9yr0sxe8mf8xrl8de2xuam8kgttvr02r8g40t2vpxreetxlvekwl9xgn2q9nh04yyxj9x54y5s6pzqnplrqcnqfud5
+                  - type: private
+                    id: 3490173327394421394124477563145959904188194368742648433612238049402368868910field
+                    value: ciphertext1qyqgs2mkgtezcrk6lquxa8qhyghwa5xdkm8ff5k28c0v93lqzay2xzc3d6yfc
+                  - type: private
+                    id: 6946117926751028312976289715738207327190503310041458078930754262905940644558field
+                    value: ciphertext1qyqyedpgtlpnjd5thdwyq0a6034ejckh5ntk0ekjaurewyrueqew6rc0dl0ke
+                  - type: private
+                    id: 3441429726594339702263689481047055897835445345492257557876787217287173710969field
+                    value: ciphertext1qyqytvmnyh560mgjfjsr0hww6qv2trncnu2ayduu7u9l09z7l0hpqpgjhvqry
+                  - type: private
+                    id: 280079209440076645529437882521050067578947167276378506615522438079717292111field
+                    value: ciphertext1qyqf3ym9yr3wmy7c3pxxa53j26w74jquf3va427xnnv3jj89el9mxpccwslxg
+                  - type: private
+                    id: 1906524189726321490460662216033732059386561433998251473096399160237342746334field
+                    value: ciphertext1qyq0l3x84m29wvqhf4kr60n56u0xfwvgk0q2wu3d9a99q2hcsue0zyqpyadqe
+                  - type: private
+                    id: 134083201205275413073708953217566877696859064663169990367635478808958980485field
+                    value: ciphertext1qyqwq8jjwmq0pw3x90dsdtp8f03nsyy027ev3lzlu4ju0uk4z8w06zqz9flek
+                  - type: private
+                    id: 1804393919553980470264243202079035255638388624833010696045149134002133719549field
+                    value: ciphertext1qyqfd06cpvwdkvcjkng7v78l70656jhmcm25lt5edcaxa9q295s8xpgwxc97f
+                  - type: private
+                    id: 3122118165538965370490560865530676352291631890185376913445507000205185911096field
+                    value: ciphertext1qyqdp9dszrecxjq6pnzkccme3amdqf7ntltquphaexzsq3pjup40crgnf54fn
+                  - type: private
+                    id: 2515823940533929835502115686675220386289510377817736253911402825852642014313field
+                    value: ciphertext1qyqwx60rjfadxjt6fz4x7z4rh2xcqzda04tusv0es6pdzzf0qhmjupgx0ufj2
+                  - type: private
+                    id: 3313260730296526504849043396952409709987036149944507493466816079495003273940field
+                    value: ciphertext1qyqvhvxsf8xkwf2sgj3ps8rguscvs8pvqkaq6pgcc6kxmhyzz9h3yqgrrkypm
+                  - type: private
+                    id: 7741217156657972909179591220760068895014030385803694682922424004135012079029field
+                    value: ciphertext1qgqdke4x4ylghej4u22jdq840t7rsm060h8qrt5qumeeyvrp6vu5uq68vp37d60m7ll4930udg8vs05h0fjjypg90rtq273klzzxxx5zqqrxmn73
+                tpk: 906433344579261973508777231637773866000484277665367023052132639556805226879group
+                tcm: 2264499059417807378317457265350757942309879957297618468563459672052295853755field
+                scm: 4569314311653967067922687724584747565737211018283927489233858658622702128025field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqfazmvlfh4y3zjskjf5dssvp7e67uq23t6gmm64dmy4mz2uffgeatkgy8gjd7zt3edwsf0s84mswupqyd0rmtgxqe9rn4hyjhxa5vnknyjrn4fmjhdl302ajuy5dtuk6tylkw3j9hgxp9cy5m79y9726jsaqysqd7jwt6ax9vrwkmkfr5m87j7v0cgatdprjjvjjkk9kzugragd8qcwxamm0wffn735d329nqww7qlhwrhcajpd4saa4h8run0cxlsus0e2w9lx5tujda8c6q2sr74qctzfnpgk3cnk95uch08rj384ruppq4rg97r02fk0a74hsjwvq04csgdr8sm7tntrqtufrestjwfyayrqz9cujarwn46yk07ykd2v4eqrcfcvcnjjekj36rttaklf9qhdzrsywsyj5dzdh4am879wweaf4wja9yx8qaxz9x7rtjf3wwrx86hsqnfgf7pc0ulc08y02zyzs4xh7eh4pus9r5gl99js27wedux5tfgl7avdkvfqd0te9fy06dn3g9vcqyrfd5xcrdrxrpteg7httynzweq09grckguv0x40ntazqdjfyj7r7t23vr657xw3qfqx9a4nsc2qvqjtq8w6mgnh4jcmlr6x46df24vq9qm80aknhgmdrl6vqhgruvjaqwuex8pjd4v2qwxs6x0p9gfjguqgepnsymhr9ncu62wza7j77amzl209mpuhstw6vjv58j6kw0s9ypagpqxe9zda0vumvf0ffx4tdg5zjvpje2anznpxeg226k954qzszhjvagm09zgycyl62yj6xl4rl8mhwxfq0gthj4wyhyfmvf50hf9pupd67wdfu6fjjmc9ku6jkquq7sxwxwszzr5mzuvwacvkx2mjr2sumzu9ly6g2u9ujumfwd2d8fe7qgw6tdk06z03kvuhkwh5cu0nug0vywkfr2zjlzhfgmcg8z4xdru2htgxjmyxdatp2j4tnpf0vpwzszxh0k8skpcmvhldahmlrlvtk7uqckxxkq3wyf7w8uf3l0nnp7ujpg2xcr7m9fnfc9ez65z43dp68pj9vl3xk965pc7rsg5xdcaupa8qu63v4gt70kgxx64zrvykx7s6y6xjtya0jwjcan8xy8z5m4lgvhprd30p9u7jmz7v576xqxgexe40sd5x5hk95cvlrrhsqeprdt4nhqsqvqqqqqqqqqqqpq0h4jmc0gzyp85emgfkn6xnd67yzy9hdekmm7w3u23nf6yc5uw96t4zxh5d9ppnrjvdclnkh42sqq9y2ckyqxwwkpz6phxzlhzv3h36md7dp4kddehkf2she0zhxg0qx5kg3fkpta8grmsjm7ecv4kh8qpq8r7kgee9ct5n8p6clhxeuly47fvzet987rwm9z7emfq955ukynqnvr6wkx45n7vvu686l073k386ncejsntfgv3x08454xmju0scmyw05j5n38q75uwcchl3v6lun3aqqqq7pzd05
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1e2lvn8lyvdkrsmnh9n86m7dwp760scqg635tstpeur5gyhy7gvqsmfvmzr
+                program: test.aleo
+                function: field_casts
+                inputs:
+                  - type: private
+                    id: 5981445344148260893713194765226641639096587295577990468989108696280268892730field
+                    value: ciphertext1qgqxurxpqtfq3tyylkspfh2hkm5qa09vcg4j0y9g7y40kld0zg3c6p93g5x6eesyckuexzqxvcx908pg2jwaewg3cp0schrf508h2pfyzyltdmzn
+                outputs:
+                  - type: private
+                    id: 3943544279621641681524163288725940346327525476679984631829019426281337359824field
+                    value: ciphertext1qgq89rfmyx4f5wukkr2cxu4m456g48d2lk0gjtrvjqszmtzyyjhy6pu7psczfjc50gcgnvr3wury2jmj4a47faj2kjxshq78ux4ty82fqgkalecx
+                  - type: private
+                    id: 33204948549039293853092789201420684955886919464834288245593081009280019823field
+                    value: ciphertext1qyqggcmlfhs7ecdcq7ysp6anuty8qn0zu6pwenwdjkgyzpeys3727rqxxqexv
+                  - type: private
+                    id: 4652756083941535979304094107332103022701113462127774559265528185668044474798field
+                    value: ciphertext1qgqxwapxv0z2w4ev7lqmd4mdvd584v589r96quhheaxhsccff4e5vrsuacqxcakerax34ccrfjgkv96vd8v9w2wzx874gz8mxrz6nrwlqqtqcp93
+                  - type: private
+                    id: 6212312664382001039091746971001285212136858262227970304969541906416008601478field
+                    value: ciphertext1qgqdh49p2lzly39d5559rrgm5dedlguesg9zx3xu0nayzsx6t7smgzzjrvjmph0vkxp674kau0dgqhtf57atvww4mzc6f02dhut9c8u8pyp2zwys
+                  - type: private
+                    id: 1369218465153273735704692249110525698782664870825284832925974662651641417429field
+                    value: ciphertext1qyq8h88jsntrqtcnc62sdx5fv2a8flnfl7e9jx4exnv69jh9zgu2xpg4qtked
+                  - type: private
+                    id: 3092581865090362292109705763637066495291070478269680186394918060743206100138field
+                    value: ciphertext1qyqyc26c28wfq29ne9as9cnastgyq407vhqnd52k0sam3zn2dyhaxzs0psnjr
+                  - type: private
+                    id: 8118275841128970634149176799223195499977840593595934284224602111569408380426field
+                    value: ciphertext1qyq288y2mksengal2flxv7m3dd4l6hag977rnhmcehucd0q4c8yhcrsv59e3p
+                  - type: private
+                    id: 5314245789486328185284769127846302553615509668646773982377035390142676186608field
+                    value: ciphertext1qyq87jredz7e7tuvr55zmn23yctk4kq4v2yk7e3c4xkm8kc7hh4nzzg7uk833
+                  - type: private
+                    id: 7486579185284339464983006597246615211228061545851604997156757422467512135286field
+                    value: ciphertext1qyqr4pppqaxhw8xdpkzzqnjku253ugmp05zefkljvqt9hqtakwfuuzcam5ran
+                  - type: private
+                    id: 6836128880597221767889394096879760146087417364517655786578558023294937633607field
+                    value: ciphertext1qyqwxrkd532qh4q9vfts82zgv54mvq72sckksjvaxwvffhfpxt2xgpgpfqm25
+                  - type: private
+                    id: 5407643970856044341956226360035997141323328959277063466705833769721636717680field
+                    value: ciphertext1qyqtw2j995h3vk7ltl55m249v2kxdtvysg0rsupyjrz9pkhg9zszgqg0ndyv7
+                  - type: private
+                    id: 1278836571659287721980066490210160475955893733249777822612203221867966967611field
+                    value: ciphertext1qyq96rhvvy9crwgt6e7fjmm8crtj4qymcqcc7ker6s7nefd7mz87kpgjdaye9
+                  - type: private
+                    id: 1298110717272057074612096620471465666579215477637906454268214696775470421999field
+                    value: ciphertext1qyqyljvkl84l0g2eutyyvk94n90rrc6a8gar2d05k22ayng24yysjyqn74m30
+                  - type: private
+                    id: 1013198150797569737124371149125906491387781134211914066164777519054127399322field
+                    value: ciphertext1qyq9pu8t4vf29yr8clw237ep0zmqcf47vkwk4zxu6fsgq3xktzq6xzqc6560f
+                  - type: private
+                    id: 1425122481726284500363874192192162400733899899116356180012797533302432984576field
+                    value: ciphertext1qgqzt0dqny0w42jr73f7ntp5md2fxp3j2rchs5wxcdn007kd2xqluzq2waff09vgqats67sfz52g8aqj7dfetxy74uth7rhc6sezr4gdqvlxr2ys
+                tpk: 2550351171199825141307168298436995254113236187336635901030120127729181116095group
+                tcm: 1962713337121511233859493724486249959409358786003297687093583850112598831286field
+                scm: 7285945146914500847843381531505865098592518188959918184623739529801419129573field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqq8a3krggwgvxtq5lxtsry9y7jfwpuy5rkexgdlzsreqf4035ajmttq7a9adn9afzcl3hrrejhr86yqqxyvac5d20sspufnm52zlcwcnx9sf3r5fmwrr45hsnrvgdgadtc452qeue696wnjjmqmywel5yfs6qfpueksrlh8wdyesaezytap5m8yya29tv4uzwnppghztmdrmmq7d26n0rc9a3nrmea7ma5rv8ak7qqvrsx8cp3ftwn5ff0xkfwxuavw5klwe92rkqx7zdzc6hwqyzhqdnpxqetje000eg0zhx4vraxl2jqqtypn4qc94jenz6rxc89mqtst3deh05axu3mf99alqxzaeplqjh82zkks0a3wmpqgu7m7cmz6twpgzgg0r27z05037m2r0jhnepkgd4e0x3qqn9jz8ehx262lww0wd84l7ryjdzmqlnkppte8qglx8yq9qredyprvra5z0pujlndr7c5tmyhcvmvd2t9hglysmuwt9yvh2my39tesghx3295qj3hftttmyleqrq03cldgu5a324hp6lwc8089sl9tcgsw4n97relfe5r0tcrufj4ceerpp7vnq7cr0efmgqdrc9eyqzqy5u7nc6zu0pw6z94uxhq9vf03gw68drejez7hf6u0e5l6g6ahzpqv5dr03kr532nr0aufvj9mtvsqzx6a25hjyk6jskwguzz2r3jg7e6a5uf5354y3rc626ldqzeucsqm3834skw6ru5388y76ud7su8zzyggw4tdjkcvyx4qcy5u3nqyypc52425p9dsjnxdykucx5j0tdwlh2n4s5jjsx9mjmtxrnkj54znqvwcgcta2zjvxqpc8sw6qha2m06t3j29glaxae2lu78kkdlxwqw3pnsc6060mfex0nsxmsnvde4fw7muhmdp5zcvu8wzz0pkeka8ljgq685et55yyhl8mcznz3cxugpus98zjp67e5737jrefg5sus67j5p8qtdgn23rugm632xkaqsh7qz9lc85t2340pe0klxelt5e6tcn2pu3m470vxphd2pq093g0h9uugwwk00rw4kfhpz6cq66m28nqgjgq4e64a5fzsgemsnjhvuz2mzkhtng7973rwvn9eqtzumlzd4ledjqxuqkn0j8gxnmq6ajxzl2j6tasn0h2zdcdj6vy96rzr96g7kv0ecwqvqqqqqqqqqqqhy8v6qt24z6sualp6rlgmwe0rwsr9syv4fc67ar6kqp5swrxy6xhqv4gzpvpnx3ptc73lcsrv7jsqq0jc7hkla3cvzds8zz8w6kpc7g7ua64femmr22kmc3qlf9rxp7sypqfry0qqn0vw4vyah9yxalkxqpqxew9vszy7z8gtrjx67tg95xrntml8sjtysrf4flhukzps9w693p90f5g0ma22sur2e3ae6yu70rqrjcdtxjqzerh86933nv9ykxk43h376pf5769ywnrrfhxw6f7gdpsqqqe2jktk
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1874zhy45rrq3r4vcu7zjeux2ua3k29z4r7mavwjc3n782wxwx59qj6qw00
+                program: test.aleo
+                function: group_casts
+                inputs:
+                  - type: private
+                    id: 2819482541924640552986549637429952459424279665250486415733597041030067045727field
+                    value: ciphertext1qgqzzahds0zqvh8ge0t7p9s3y7nege7r88p57t9gmjaxeqmzzutsvrqagxlhldmh0edvu8ufz340ryufnlsyn36l6yrg0868kpqqagalp5l07xjs
+                outputs:
+                  - type: private
+                    id: 2654057230055763332160807176309040643737778790240658834054940631385500249862field
+                    value: ciphertext1qgqyaem30vys39tqrz7rmphs3hu3yj87ua0d669n4heqf8rvqqn6uzarums74dvlc94y8g8w5syg2e769mes2wv2p839k0pf0p6u83jdpyecjeup
+                  - type: private
+                    id: 5415544052609952684697621397857664497669166110587839189391003104605977845253field
+                    value: ciphertext1qyqy9df4su68cj9gwp4528zmr8xedqxu9g6nxyfdeud6l020rj34kqqfjrq99
+                  - type: private
+                    id: 1491968823696949495251916706469307333530188041438809130305003254719218791049field
+                    value: ciphertext1qgqy026wf8khtvynt5gjnmhf7l978y8mh5lrww3ea02xp2an3eth7qhdwx2f55j7v862mz9wy7gzy9p52zpl3l3etae8d2j3m22daha4pgmjwvdw
+                  - type: private
+                    id: 473062546835194479238100525320449693716943321419564306679362290696843828345field
+                    value: ciphertext1qgqp67kcup5jan8kygknnz4hcynf2ysp9jceq7m6ma33n6w53rd8gpthnd75rfcvrgfyhjz8cd36fn7d4nvg5ycpkh45z0afjsyextl4pq5c70q9
+                  - type: private
+                    id: 3503875534512440145619758999916704161900313360069206644776929583047152011520field
+                    value: ciphertext1qyq8c5s8aqx7ch8v09fsqrqcqxnmpmnmsm4uq0ujfez8gd2fldu35zgdtrt3c
+                  - type: private
+                    id: 8157329910400576218278441252611590265865959781209660641603123878810872195150field
+                    value: ciphertext1qyqwpcyy2f0gasd2uv83yk9vzn5zytl7k8kjcmsftmj79x6pue37upsk6fc74
+                  - type: private
+                    id: 8117907514453397322815980288874819297411030562812635377936445479544464340479field
+                    value: ciphertext1qyqvm3keh4k49a9lu7u7mqgwamwe28nxqncywtml3m5cywzy4yqngps5kmgra
+                  - type: private
+                    id: 3814930702880972787894568867434994378299034092123535769644802175782295341547field
+                    value: ciphertext1qyqtk9l37jzmfk45zrfu0hpgzd358qgwrv7ezm249kxgj728ky25zzqlptfjq
+                  - type: private
+                    id: 2709645912599527654996705361319127110758437502328268382975590916241690724207field
+                    value: ciphertext1qyq9836y4wfhak3jyckz42m5w2xna64y9ap4r9sc5tvmhn0ax3dgkqc6uwmce
+                  - type: private
+                    id: 3325729211813380371387249402274641889953391548800195335800680875520365431930field
+                    value: ciphertext1qyqqzp393c6ucq0gchj3zqsm0nmu43c6xhcr6xnxx6asmqjs2m86uzc8fhh0z
+                  - type: private
+                    id: 7429485314167087972646813593709033560321040848635352407016557651805533227774field
+                    value: ciphertext1qyq9j6gdqy5cuqkyf05jqqkgur2elhfl3lvk07cwg3637t3xktgn6zgk2fwkv
+                  - type: private
+                    id: 6340426257747004662396387132386662657125496869710719087422122399187450099857field
+                    value: ciphertext1qyq28rd354sugqpmkdxyzejqh7szna4xdjpmvwk9va30zpvk9c3rwygz5hdzs
+                  - type: private
+                    id: 1108771119155060599386075586309311726771669595311892427335439723637866447443field
+                    value: ciphertext1qyqfczr04zcjj8knc24y5h5ghyk2p9u8fwmlqt8g7k0la8uyn2mngrgzhspfp
+                  - type: private
+                    id: 2312624013788745804495547517523420242086950924510096558489226805962415556667field
+                    value: ciphertext1qyqprunrxj573ghvzwjs00xk2yru882ay6qlf46af9hj7utdttaxuysnfp62x
+                  - type: private
+                    id: 1134975390716470911623426468550249054433195542366099454425585363102304712097field
+                    value: ciphertext1qgqvqukv4crvp5th2rnjkztwj0n06ffh94wfj82nug6nxja5kx825qedexlmz5j6a3xdxhlnk7wz98yu344v8alnn03hc2et2ecrkyerpqfl6x62
+                tpk: 650922985462010707545977385057512302448238286404058307316901467883627152637group
+                tcm: 4628398837813525347939773291706646833175736705607665755048856365676631734303field
+                scm: 3698088535638755070524759138314559892615353686717771374839632114887630763878field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqq02aj3gujnn9zvqq5de5jumf62s008fekvr00qxg7mh659ujnyhc6k66atzcs3he5lx5q2h93pu45qq98a0nf4vca7fcjsazffd6zduruzqsan3js45p6dyfvj6r8ju5mewwxaewqzmqmx6622fnxre82hyq9kyqy37a2uuwtsqphfadz9pw7ecd8zg8nmwaewxst6a6dk87694yxvucpgrq6hyhcqlfvchftw2qqrc4asfecfnuey2545md7tyk2xkvx7uwx8krl5t4yr9m058yc42rzqnfs5vu6nmlnwr2qy4jevt9upgnwqvkfwus6fw2zwjsvdqrtauqslk8vjdgg3km73xtjarpe7707hed8f35a5jt3y7qydvfham4kgr8lum4ffyuzxlj93tn88dvrj7chqf6nq8n8xcv6h4rwhla2k2fyvqptq6mwvynjyuy5r05nsucn4s933kas8f3wnqdd0azujpj9shln3plrmcmze35ghq73jf023ldvlu5nu7k9z3z9rjllem5ymqv286qzu66vh940rev6tzxgexz6ru6m55fp5avmf57yq2zm89s774kt2y7n965xr46aar2za362er7dmj6qfx5jkgfk27qmtlea3c00flmdl38j4fsfdhqy069rystwphawe6jq2c9jmfapazf63ahh9mx0cxusplyvlwp9dz5vs7rhx34xjvh5v8xva5xp65s3rvpw26vtx8f5z25zmtpvkmvwxdxcm55sjk09nf5k4gd5hgg2cz37z6zrsz0vm2qgf2zh8csht0562j2xj8sm9j028dsexdgeyfv4vd2hutk26waf37l4apasy3u3lcq2qnx7m7awzer8jmglx8rvwkh8w74lnpkpkmvedz6mssq524f2h42znyuzrkkcuslpdvs9vx927jmwcrz6tme0u4ms6zwc9rgf2r9yzm9lc4wecjkph7m49gkyuusupp47zfd7xh3lu8qm7y5p6ekf58spr3hqml50mlaswk640pf6ulrhvwgjrlp3pyap97x20jpt6y0ks7sm5ax6kdsqw5pzltk92sj6q94k0gae673ncf25y60sups9v4ykslkq4784d7r7mj7rhku4gtnfj2dul4z3ez5ktrettexypznsplp2yhhcshde0pd52680fx34xs7mtz9yfvmn880hfzfd2e3grqvqqqqqqqqqqq2jykp8s9hz93gydj2zfn7lswk8r74ceyftwe6jezej60ta6n3xze099f43h7wnf6qaxhkqkjq32qqqt2erfmuh0y2qdrn5xcpkmytw5qfj6we44crt8y9wm4ka3vsmcnghmrj7m8vh68mzc4qfdjw3exsgpq8d7cw983rpnmvt8cz6mdtu7445wcp84yhzj30lg4z7nnya3rx6sn730lc6wxmsym0gk4x8cy25n9a78vh8mfwnrv84tjlzyk6xutj8xnn5szhqvnm29nphukk8ws5vnsyqqydqgc7
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1wg6nac0e4x0jh985478uw340l3q4ekn7ussl29z2ycnjgrgz459swqwmpc
+                program: test.aleo
+                function: i8_casts
+                inputs:
+                  - type: private
+                    id: 2810412474065369776717088508600589916564911981132612456488763201792710768726field
+                    value: ciphertext1qyqdzqxaxcyvgkpdhk88gnvlyqke2kst75d4ug82shkdn9q98x9n6pql02vj9
+                outputs:
+                  - type: private
+                    id: 6921447681059187749224085929824320871499979369666800490136028418951988302913field
+                    value: ciphertext1qgqyrzyjdffx6m68zhm96kphjzcz9ldc4kjerg4u35qdku8f4qr8sy36juzyxjka450sr6uhcnqphr2l0sqttxluntzaphv2p5dre7ejpu63wz2s
+                  - type: private
+                    id: 75827053679784959178879791812898204369113849966653229182978064418785624668field
+                    value: ciphertext1qyqtl9xvryu5h00xhqgl600q6drcgptdspnclf698uqe0udx60lxyzqaxl2p9
+                  - type: private
+                    id: 1900628546550577555063180218488359463952337507496243964103922134710636641285field
+                    value: ciphertext1qgqvmy09vnac6jwl5xt936qan7jzjl4czwtr8824cr9eaky3qa93zz0e9pfp036yrnjdggtvv8gm6wfuk7w9eysnc4xkrtpqd0adqevjqv4zej62
+                  - type: private
+                    id: 3832902404425072322913863393299965162405944135933240292442425030958725081884field
+                    value: ciphertext1qgqffhm0zuxhsnu9gclszzmensz3kl35l2s94rs9gencdm8nfnpkyzudhshsk9trhvxs2gladxyglzqz793a3uxrnfjf9xms78392revpulf5zvp
+                  - type: private
+                    id: 760728491390459857807258771922392046166500271097123546875691373966993383958field
+                    value: ciphertext1qyqvzseggflt6kf9jzu57ryvn69hl7ap78y3t5szh6y66tszev4yyqsqj26at
+                  - type: private
+                    id: 7813410997088167282375864893999799194214367810454408756719727662969007433287field
+                    value: ciphertext1qyqqmdgk82xpttxmqs9ny90luhzr3wk2a0cat03rt72dtwjc89n5zpskcewvs
+                  - type: private
+                    id: 8183625840928466611308508034792591509445202946560657194173840121654460967891field
+                    value: ciphertext1qyqyqgm6aqh5uj25fqll7xlyswqz3rn33wcmk2aw0wzxjtcgcakhupgnjycp3
+                  - type: private
+                    id: 2065309167820057839030241585436531267769187861957951083486520518805164059471field
+                    value: ciphertext1qyqpz7npwca560288hc0x9pf4kgh2zzhw59ts5duqrsca6j5nq73vzsrx8tkd
+                  - type: private
+                    id: 664651647276487319963103704422625120739686214239457061984462767909190005223field
+                    value: ciphertext1qyq0upn5635vsarmvpnw4yeqwhxxywsj6zfleg7js3jyxylsrvp2gqggjg3yw
+                  - type: private
+                    id: 7306374385204035449144971861811684754798135427621282333714396746322115485023field
+                    value: ciphertext1qyq2asg7qjq83m40yz4txtql8rlmfzx0qg6q4r8elkcl83n8rug4zrsx6plg0
+                  - type: private
+                    id: 4446628164997988048968368519858450077133607601200314893669322408532212924845field
+                    value: ciphertext1qyq8j8kv45sc54w2ptz2s445ax64y4q08f2rgtpskl9wrv7vfx0zupq6fglsz
+                  - type: private
+                    id: 6443216481185512891839680281726958103516808834920072084723152603752033980338field
+                    value: ciphertext1qyqpye7hcv8ky43d8nquvnraum820fy4epapnyjuc5t4luzdyd0ygyqyjkf90
+                  - type: private
+                    id: 1890613313643073738803103589814486555969964358424326007303816443607676108456field
+                    value: ciphertext1qyq9n5tm2wsggxr0eef5vcemx87dmv84g2elzepdyk8tg2f0k9qvvqqlcyvz7
+                  - type: private
+                    id: 1972500770028659813417326005408894531117145913934233960393110929750166005473field
+                    value: ciphertext1qyqd9wue0gpzcs3akdwtwmmwpyjqguuqz055nece2yy7t6y7nhklzzc5a224p
+                  - type: private
+                    id: 6291087284923531271583351409331108409262823453777287508942631067606063486142field
+                    value: ciphertext1qgq9y8j3j9tmcxx3mkndujk22r2llwjt2ydx82jgpcv523xp2xdkyz8xavxs8xc23t9gu5tafzg566ayrd2c9f3gs2e7ctjq6tf7ytmcpvuhhwpm
+                tpk: 1139704548151191570880169418502265377283388210496779360074263145796460177334group
+                tcm: 6290194188617246629168266904105493824865615295941371254809221772803500428651field
+                scm: 5585790301945265406593911304891168822882617717170712345962672662889808954729field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqq9klrfqwjhr75dmga5gsemj5399zzr22dd8tfw9chwpcadcnt6amr5fxgl4wqca3kxz9enh69cgquqq8v24dh5qk2ue0zkxwztuhx9z9xp9w68vw74l4yl5dd3ynt8tzf0znf2ftmtxkqvlk0v84mfqukjgqrltdkxgfmqnl4pxpf6wtevgpmgllaesmsrgmlgs98wagmmjlztkg8mxl2g06k2pzzmv0086ecuqgqjqlgaquj98fplr5ddmfzsmwr65mfezvnpcdpgyk3gtjauatf95k6mh9c5jcgprktsj5hu422puj5qsrhdgkk5t2we220833nqmmtnd27yg9jxhg52zj4fmg7pvglmx988ef0cy6l73gr34w9xaagv4aaqqvp94g6pqhr3sjfcdtlc605sg935pdejszme5pzfz807wf6jfwkgpzg5nvcr9adtaqfh3y5tpnfjsrag79hh0t7sg3a7ayr63ug4aneurazqnqcvmg7u3wtgfuqwd48y637gdejnyz90zcdrmczdjrvdlqrk9y3les74a80cumnv07cl28ydnfynp3re2wjyl9jtal0fygazmq38fnyval4kw8fzaw9y8amj7sq08829n7v57uljjxyl80r79nfdwzgyaa6y6mzt43cla07kxcxtdvcptd6uqsg556xprdh5h7c86zuqk9ujy4858fks7t658080qssjhpv70z5ell4zatmwuuq2lgv4ryx597rdykekjqwmmaudm4kmpfhj6aajk07shyvefecxug270k20xrr27wzaz5gwsfwkud4y6hz3xpd28seeulfw8ljjq24rcqrcuzg2pkgvmjy3zh8rav4jlxurldydasm0tm54rxmukwav7zxv36egpz6qerm0jtw5as4ur7975gsjh9wzrwf0zfsyt3n802xlc0z60l0yavgqlm2afjy2jjfyqryl8ngf4v0naqdrduznkk6h0y24xz3a7lwupvr2gpeqcrcswzr5tuy0ktud6hltm93e5an4rx5xv5s9j7atqp46vpryp3my4x8sw49pdypkzphpyc9tr5cut2w9pjr5qnm3p6jyktlepl25m79uda4yckkh2uwa8sy3w4yjg754cruj524pqrs7nx6ag02qxqjtfrww6a93yguzs3jzafje95xa8eqz2cuznap6wk72mgcd46g3qvqqqqqqqqqqqldc6qwh2fhl3sd2873vtuc9krvu9u0xmtuez4seaz9484wy7w4aej2f23a2fauhts4ja0vgx5t0syq83wvn08tflyu9gr9m75ucef69wnz8vk2veru4jnjwj2dufsga8tq704k4mtgy9fk5jyr8axr0apvqqx7hg5rmanc2tqhxf60l85xy2vv45jg05s02us5fxgr0s0n0fqwsgyrg9kdymfyes2mrqfl4pdy8ncuhm93f60hxsfzqzq8pm74xlz0df5ggft0ajdvxc2tf9zr7aecdqyqq6yverd
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1xmvgwsjuxk43ar0psg9kzc8dcm8fw5ex9fgmqqtszrzz6ks6lq8qukpe2y
+                program: test.aleo
+                function: i16_casts
+                inputs:
+                  - type: private
+                    id: 3663792236147124273840132960841954002044224711468365765283243058162282587997field
+                    value: ciphertext1qyqtyewmvkkf3kfxksk9c0fxn50rmw462mv43k7wlacf8rthjptkvqc8k4rul
+                outputs:
+                  - type: private
+                    id: 3470864829237848432871001381518056199584203252024040953151885367194974808315field
+                    value: ciphertext1qgqzj0jyj97g8wpevvvye92gd050jc2vev30ue2mkv4j2a477nrtjp5yzpntz4a990w3c7ypxxeeyl2z889yydfngepm596hl44hcgdzzq86nw2g
+                  - type: private
+                    id: 3017516226594959911267339642846385151554699184619491202706681571568922486607field
+                    value: ciphertext1qyqzzq0mzgx7j8wmkptq505022737nvz78hsrx5nsj9lp58gfslhcyqsvv9vu
+                  - type: private
+                    id: 7988220380738940341936532891656097670472487086229981602723480820811320400479field
+                    value: ciphertext1qgqgtt00k89uka96t7wlwcshsckgmr9wue3dfryxkrvlvrnwdldzur6p9h9250jajge8jgzwf3l2p3s3eajja8kvhlc05ll9uqc23vdzq5hlnpqw
+                  - type: private
+                    id: 6394510775637615429625549732848152142331943385480508584282346290333318166425field
+                    value: ciphertext1qgqtnnyrrgxueelxu2fy45awpkxuwcc067a57zu3xl68qdysqehmur8mlv8p20kgallk8yzudrlzhxemdlqk4d89699ezc34k744mttgpy6e462e
+                  - type: private
+                    id: 1401725443278274472113669581798269225129358552919887318798162583957427105467field
+                    value: ciphertext1qyq22nc44kmylm38cy7dfqe7fgaf8l0t857pus39wlhh58acl9n9xyqqu8gfs
+                  - type: private
+                    id: 551243033452321307247984382300042133347926703022552223576271704267662764041field
+                    value: ciphertext1qyqxphckuvg6hvh7gzty5hggljsg2mwfpaqkfaud6rcqm5cy89ln7psvxfl7f
+                  - type: private
+                    id: 244579133916010622967346377774955499013026351835197836564415043108657829787field
+                    value: ciphertext1qyq2kfa5rjsupnwyn7acemk80u2lvu5kx3v4hsk2ysgfu8xsww7r2pg0m254w
+                  - type: private
+                    id: 1519430369334677360476109032832768982783769528474381739093243503414605620006field
+                    value: ciphertext1qyqrlqt30l06cy0avqzen2ahr8djwwqg7nr4wznjq6nz5vrxv45syysuuh6ne
+                  - type: private
+                    id: 7659802790784360402040007885250278187789419493907800589818164089813975704150field
+                    value: ciphertext1qyqzgcjw4hzkcpa3qh87qhdwrr73kx3ct6qm9hcn3977phhr0mqmyzgul8rje
+                  - type: private
+                    id: 3719487080985833886071484520887185312243142647159483695849276878029870026372field
+                    value: ciphertext1qyqq78rmqkm3vxs9ldrqy0rfcqg4j24hmv7ud5wws66y60kz65q6vqgm8c86w
+                  - type: private
+                    id: 860099186560470323308857745102812721694600591476913217667471833818160514051field
+                    value: ciphertext1qyq9c0zhgxuqvdnneg7kkkfxu8dr2zg46w9au4asvn7mwjaw2ktszqcva2fn3
+                  - type: private
+                    id: 6899575871299445099651116199201740243004401041488413306035522842079985930654field
+                    value: ciphertext1qyqz7tl3dgrjm239w5ufayhl8pgkrjvcnt2q8a2c6pe69h0qmrmkvpqafyy6d
+                  - type: private
+                    id: 1055308136803850596279379026873221393590540361278152318591038019590202157216field
+                    value: ciphertext1qyq8sllr96ae30hndec9uu4a4tk3tteax29dner48e3cqhj5laea7rq5c55vw
+                  - type: private
+                    id: 1276936950911141197078542473599216040000968596740677322311768482282210221659field
+                    value: ciphertext1qyqxrtttszwj6p339cwmxcm3w0nvuufttfp7kur02mrcq245ge0uszq50ns7t
+                  - type: private
+                    id: 1776073395474386737119846240086761031365729772362063700095672805706029969277field
+                    value: ciphertext1qgqfqdsy4p6yytxqqddq23exrrmdustek8kyggxznalau549je2jwqyev5crq32alzckgepyd8mna4fd0qypd84nwum7e3qvhjlgcpp7zqshzsvm
+                tpk: 6011471356305894952517606045895407986823166357991033430073793721361116771175group
+                tcm: 2032728662408077131407138486714325866552127036223275671734112570310268086246field
+                scm: 887068453279719489618178519494467351000648280242925105895660096151130892069field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqpnht4j76jc9ne5mh3t3jxtpfe9esg5vvny537jptlcz9t925d04sg5y8xmdvnnpw4r7n27w3907qqq9s7w3q5lsz2d5atfp3cjysmv8z26frmzculjsfswv89ekclqymhx7zwgvgyly3txrufr3jg5alnuqvmaq67gfxvfw6nafnnr8kf00g5sa408cjxec964mjcgx3ue2mp00ucam2j6rsyejxj9mfqlaxk5zq9jhfxqfxnpaqcsa3cppfyzvkup9nwnuarq36mkl528rrm2m0h80pne83f34e3jkfqge2ll8ysj2uqhaplg2w5yzpgqw0jsme86ey83w3t3m2ccvldmu9vnuhlta7zd2d0d75cmaxp5fa2wn0eu0nm3stsrcn0932azt83rw0k9044kcd08ncmyf8w2u5yj34n2uv3h5yk6j9up6wl57uem22tjnxdswm8stx6qp5krax8vxxvp0d3ekj8cvcj59f2e5xkqnqqaau86r4evyfrrsfj8agxy3pm6lmf0kghf70q3w9kfqd8um4v9ja802gapcrvh4faqvdyvq8yrd4n5pmxyqwduvqwwjqep9r4apexvj82n4tmuj43wrzesyqlwh9qmdm2e7j8cdlqwqlr6gph9medv0te320jfrupk2dlj62f3eqv9jzc8cunc4vnld4y3ell9h5q2c6tl0jdkg9kyd8v7cqq0mp02ayuq0qr9hq0zcm4nhr8ymdzhg9ymxf8j6jk8mt3u8ttl6vrz7tu3xj0jl5w86k8fztzu9n9rk8qgyh3895kgvx9su9trrjtj6r5ay7nnj6y9nn596dpvwdt8ycjquf8p4jmf80zvny4fe6ulr3teev3434avnh0ynn8dzlnkt0s9l7cy5eqjrlnxwrydfee08dt3nar7666464d8vf08jesv3cnrjmrna7e2pg9l6jt7k872uxngrsjn98tkndgsznq7f3784qwhy4tezf7esn76u9n5kecmskyu7dlee7wkqysqf2mt9txq8e7zd7pt99s2sxw4zdauyfn332h74xdkjeucfd07gvus25pjl2rcvwshkqrkqspexv9fpjtpd89y4n7gey6q97tqnc2wuqpxeyzmd78nssapfclqyqm4pfvzerq6tmzs2zjrgm5zqxr6xzgtx4g38p4uct6u507m773a9gnv98geds8qvqqqqqqqqqqqkdlhlkuns00mh8wxd32x7hs8nyw75zs025ns4apyhj7jkwx2ke66xgkapx05pp4z8zvk6d2k5aysyqvzfyjsv2gun33rck6s25l5ecvlykv3enj7cyqphqqqd5v2agnw2ann5rqxyf80unuzfqddre6m8yqqy8lra35vnzeclmdhqmc7q9c2e5jmk00mwxkm5mp77gpggxve46qvurgek0ctmljllzzvn2tprlu6tgz3elzkv7dwhs5n2e559fca47899eulrl3le7mmk6kxr5pj42tqqqq7n6gym
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1w0r9ngkjn2ay382f0nwzy2m4rq47q8twfhtzrpmyptdchpcwpvqq7v5wxu
+                program: test.aleo
+                function: i32_casts
+                inputs:
+                  - type: private
+                    id: 5564054641508143480470169623576509766276847592597110168292227820749002306276field
+                    value: ciphertext1qyqdhgk8vj4pvgz7cq7v8r9p56c6xxv8qe4452rg906kddryqs5d5pqdrtywy
+                outputs:
+                  - type: private
+                    id: 7081238244870174702927010445638299821745295649322144769152107427654045002111field
+                    value: ciphertext1qgqdz6v7hf7t72x3q3ela5xh75g3k6ynfl4xgwgwn75nvmrsqgjy5zdlq9zaf7dkkuaf3gkqvqshtyrx3wz7xvugynps67kj49rv9rg6qy7pt69v
+                  - type: private
+                    id: 2454237858110734756298399416980916334790507728775099226349746243388422856652field
+                    value: ciphertext1qyq9usxecrrfvs6v8x3xz3chsnkzqyc8u3kdyp6vuf8xlyrledqcxzcrpjjkg
+                  - type: private
+                    id: 1945444710172197460197725372909488520677241472771257935035492305816972347163field
+                    value: ciphertext1qgqvpvezcgdxappx4emh4y2k8ffl96q6r4j8dre93pvy2ysgcnskxqntkjs26a8ucf3lhezn78y6ldcepm50xu3mjnh3564sn7dadzq9pvy3xwnp
+                  - type: private
+                    id: 8292969822799925739326661577857976484938846172862371917916537203502028017881field
+                    value: ciphertext1qgqyyjzssr9xxvx9jtxqrrwv27qd60ruvv799ah0tq4uz6r484u0upp9sxlwtvpd4su5yfg6r08xmw3q8ljxk2ef50tv7qfenrgvncz6pgaf8fhz
+                  - type: private
+                    id: 6689924254827619020857725494147951886970728192627925764453895674024803880646field
+                    value: ciphertext1qyqwxzqd5hrkx07e6ynkdlz3xvh8wqs934k6u689c0qdqnz6dz77yzq5vvrm3
+                  - type: private
+                    id: 3234574209345927026039224567583584467455242231294183174775900956663665254601field
+                    value: ciphertext1qyqqefqrgh6q8sjvj7grq487t6ard6mukyx99698pya7zjfzcjpd2pg7vrr3d
+                  - type: private
+                    id: 6074042418919166324791005927031565232400968463382576076273411151441640559650field
+                    value: ciphertext1qyq00gglufyhumnk3gtdhctepvm4wd3d8470x8k5ceu7lj7sg3lnuzqg2u6nu
+                  - type: private
+                    id: 1381791298285716114668983561183454029928134326309209623337526810175249542156field
+                    value: ciphertext1qyqz7229ce67ws050aw0yxjqsl5zrguajxvmk7jlpmj29fkdaxzsxqq2n8985
+                  - type: private
+                    id: 5465695748068918712941038412218441558712959209496930539551611252576076442155field
+                    value: ciphertext1qyqgyzch2jafmc7vnk5g78vgrzsw40gtngc8e285dte6jzry8ctxqqgut20sn
+                  - type: private
+                    id: 1429055182268686405125183607446313955135081500884654663549266639006345990184field
+                    value: ciphertext1qyqr896rd3lf2gqdmghwvz5h490sqfa8m5fax8ej0qhay3srgcnysqqtk3ywg
+                  - type: private
+                    id: 1090259450592749446517305882289721579480042472012776795998652811956250485947field
+                    value: ciphertext1qyqf057tg05uef4fd4t60z8ykcr6u7gsgpxxgkv69zez9g0nyulmczq9fwzar
+                  - type: private
+                    id: 7876565962388111755926348142211586808067565906600360440941720991902803281692field
+                    value: ciphertext1qyqfzuen845u8ztdwq870t6hpea76jp03du9tgtz7ndny2nytwd4jzgpf3cz3
+                  - type: private
+                    id: 6471393073148937918572915949480078136010833147863592445387863829487822223209field
+                    value: ciphertext1qyqfmf3wxymxcszwh6yk8093tjapl9x0l9l4r8sn6ny05gxgmmmt6zgk8tm8e
+                  - type: private
+                    id: 1039389060646365166185691634680170202062396391407372349660846986847740393222field
+                    value: ciphertext1qyq8y4a639v3e7ptpndy5kdsr5uxaaqfktd6mk5ww4naywu2zghfgqcv644ac
+                  - type: private
+                    id: 5381843536060137595239401407719694545802353102016776153697994280363486790847field
+                    value: ciphertext1qgqxpxuxhj69spzxpu6ys53qtypen3zyzwqyxn2lwlcnczh4fre6cpus7685t7wph5kvndqyzgt4hq8yspnazewh3xktsuntzkkyjqx8qckrdy70
+                tpk: 7373354765926798715529629905628543405684865250211498339787858958904918767958group
+                tcm: 7422675273129134664560399741463877389104868667127628667939760493671945421130field
+                scm: 5186454057117152865218799118028783967598048673286280331761394422188589346857field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqv6ym72wmg5pdqmgexegy3wtdjw0qr92f5mnghejey32s9rq0kn4a7edwv3rhfh4r6t5mwec4zjrqpq9h2l9a8nm3rss5elgqh5dlhug8hf7cvxjkhk0t8fy29lj58pjy8ydyt9793a9m0jvgtckks2kvegqglcq9p5qmf0qydu7es6rl29drtsl2mgwtey4scxkufvyhfe800yz5nrda9cjuh9me7aly9euj3twqufs6j37xhwncah0d0zln8yhcj3naqfwd06qktl0l3ypt88lw2q0w26w8hej84m532pjj93vec87yq43wlzw09anwmgqdetkchs2scwkkgskd53csxyzqr27mzks6mv47qa7n3lkeu00adu8mm2y25lcqsq5w9cpm8mnqtm6y8qwuvdg5m4lsn9nr2qu2ldas6l43gn923en9jmer4lfzp94mgtvwet7v2l9qxqrwlfs9dtz8ungjhn4v0kek6j26gyahtt5v6zf6za83u7rprrc2lt02skfsmmkg3ktvv9ymuxnt7lqznqt6v0ejga779ejx3tycppkqqy4v32pr9jr6eaem6f2rwgq937ylx4p7nc4ukvunulhs5v4uhyvqr49cj25ndtjtlr5h7986p40k79jgz02ugzv7m77a2mgg2s2ke7afcrc65v5970mncx7dsr40938cpk9z8etk4qy7zwxfktzpwfeuspw66gupu79kzes75jdhv9eauygyugus326nphs6fgfvn7de2yg0gc06aws67zrmuaq5ru6w7e4g0yzwtmtrrh5zzrrjee3lgv2uyvtcc2kq5mt76jhldcvh99wrvx483qwhra4ds3rasxrp8ecv4u06qx04ucaw89tprry6s890vfj0ax08qxs9nrqyp2agenq56svdh9q87ec0hmqy99nnsn6fw8jf7qfm6t3gd5q6g8sfndkqwhhqq4ymg64rs43mmgkaaaaqpcy25qjsw23kg0qqnnj7f28hg5xy624rgqjf8p5xuw35lw7czc63q8xylx9j5ywuycqfdycw4e79n58k6ph0udhfjc7vj2mkxlv5j3e4jt3j7vp5s34e9pewluhe3mv2ap8gp374gfxvugr4ew6q96qkupg3k8d72ruynqf6s82s082y354zrc00929q0xyklca6jqy308t3w4txyrfhend7tsgsfqvqqqqqqqqqqquuzevgdyys4pq2pyg0m9xxj7zj0vmzvn28vgvgyqawtttwvd80qmfgpdaty0w0nykkdl8yjkjg3syq0saxqayuye25uze7wnd66wjamgzxc793837et7vzppsnqjfmute5gtuh4yey5mhlmpvqykaf9dqgpq8yp8p3kwlp0aspdjtztuphljze97dzmrg2a8sjjjvedslwklswq266x4plynuc307krpxscr7484vhef3pmcupa438jwckqu6f9rhy35ql5395s764tpqtk9k78zm0qsqqqmug3ch
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1phq8wztd7j403ej53xq4jkq2nrfxu45nqxkagpxsjj2744aqdq9qnsjch8
+                program: test.aleo
+                function: i64_casts
+                inputs:
+                  - type: private
+                    id: 5898508689548077103648945821908997248148993764267623437467159458775264200286field
+                    value: ciphertext1qyqvwmgh0jwt3adzcp2hfr49eusxg0jw9d5pcxxgl2z057k5hr87xpgljkr5m
+                outputs:
+                  - type: private
+                    id: 3643230644685890721671300151492826315294625921273237977410594595366760552460field
+                    value: ciphertext1qgqwxanlnhyrfq6ywpqawgyqm08lwgqx8pyfmq3esy2z3salgwgccpdd6hlehuqty4dhw850c5xuak207l88qn53t5jpr0nryuzauuaqqq207fue
+                  - type: private
+                    id: 7741809861411354004057460425778017170076510836934296540686240351682152907465field
+                    value: ciphertext1qyqzp4gpmxkjev2fd5eyffd87g3k4p9rcrcf7nxm3k6tce6ytdu57qcs0t5ac
+                  - type: private
+                    id: 3723506335437510606055673968070727538772963420329918724806406488202709676380field
+                    value: ciphertext1qgqyhu7s69k3shus6lahdp0y2w4v6kux3we28tpmchaysr2f24702qq5nrdr97j78spvm7gsxwr0e46ucl7299tuyyvksyhjesv33jhrp5amt7wz
+                  - type: private
+                    id: 996875501419174595548613880607925895161587857382857070567820641052565959594field
+                    value: ciphertext1qgqzr53yacwc56x9tdzeut2chhx694nu492q3nnhtgzgze8jf96ugzscup5ud4yr44zh302yxta5zy73y7vhxxunx5xy9rdqqcnc7zpcpsc46uwf
+                  - type: private
+                    id: 1427320103935177668535665997472294949543105673515201519971836507998320439944field
+                    value: ciphertext1qyqzce236mymf3ncsqrwsgj5td9yhmlhc0zaxzerxe7e2dpdun78wqqwewdgg
+                  - type: private
+                    id: 1075348601786851894017912536692670274177730988546172696096225483897685053979field
+                    value: ciphertext1qyqpp8cacu795fnp3yy8rxu3agr83wj7wqcqnv93c5pxl3g6xefeqygcvv2p5
+                  - type: private
+                    id: 6593859277014290914828770532926825744535642276350830195889280095238071184255field
+                    value: ciphertext1qyq9arlmvz9ylpmqqpm5mqqv0ndaumxtkv667fnfre3rmxu92zu6yzq2pdv3x
+                  - type: private
+                    id: 2841907976274943579767554269083160013175746343434080256112067450873104443766field
+                    value: ciphertext1qyq9vdchf43z8ac8gh7rk3c0sf4d5p7wzmvwhzdydxjfrkwplm7yvrq3khmsz
+                  - type: private
+                    id: 5952111698314159957133279203210257618819575727275545627909885193068649481976field
+                    value: ciphertext1qyqwzwcqudcgg5z8vppwd32ktffky2klzsnm2mc7s3lwrcmtl6lfkpqgwy69u
+                  - type: private
+                    id: 6476003921080212210235253920578767351397591819902605017610582936226102599478field
+                    value: ciphertext1qyqf3ym2fjf662m7zdktdp4acr7cq3cdu6hz6qmtc2ufly3dhvfpyqg3cttdq
+                  - type: private
+                    id: 5235342007939918729805826023385144456414383065089307987500847994847531549600field
+                    value: ciphertext1qyqdur6gtknkw4hncdtcyyptnaaa7hw5jaasmmr7zc03qx4d642uzzsehnenc
+                  - type: private
+                    id: 6394100984582434103907040651398313657188703530981033895952939613248051531180field
+                    value: ciphertext1qyqdmq4pjf3mr58mrf5xnd8zjjj46hmuckmtfc3wg649sltchvrw7qsyn7w6k
+                  - type: private
+                    id: 8266248989966386518249331423288262815807617584907811771264816515397640601638field
+                    value: ciphertext1qyq2zetse04lz9nxc4umk2w963rjed27t8ujws9tfxzzfm9ucaw5jrgxr4h8w
+                  - type: private
+                    id: 4142169623246372624773860854076652803253792942578194293455305603806353190228field
+                    value: ciphertext1qyqr8lunnfgmff9an2ypqfwygtmt7xp0c47u4v65s4y3mdjltrj5xyqeu8pl9
+                  - type: private
+                    id: 4649003800912195513139517996608469982140743472509980322440402272216621083270field
+                    value: ciphertext1qgq8gpkm96f6ftsc4el38qz9tj9k4v9ale5ffdy0246npyqhln2ucqvx6f0uj492wtwqd8u9pw8gtmz8aym4yhp0884da6znhxk7rr0uqy6n88aq
+                tpk: 3062540223143565309854534544792113332541638502144402289468069348224279701464group
+                tcm: 6439558035138985075559847746158879164275060324098089540339057790037657918331field
+                scm: 6911753727197775023644594748774975927964764685744568769822202921268068767970field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqq2wy9qt4xk0d46d4d425f76n7ele6clckuctgks7t0wx348mdv5ccceaekqpps0mljdjm86eq35zypqxk66cuq57hjwtp59xjnuf87jcxrcm0umsru50d5aylqmkf356yxfy3y9wqmjhlklat8wv67cx7c3qgt2ppm6ajvj73u9qxhmeqtap8hkshkmf3ukgc26xev3g8t3uul7zdxwp6m480hvx0fd08a67jn2cq8x4xldte6x7dd323c03h78faqhaj48nt7jrnl86m5f7huguehs899keywgxpzh4wtpt2df0gy67vp29f83gj95ep4w8dpyd8md5ghdj8uq7rhfw43ecped2h94tq3pzajsjn402fp9zw3ckn8fuyv5q0cz3lxa396t87mg6hmljnu5erhdr4eghfdd0x0rne9kdlfrzc7qce97xep6c6jm5jfy6jlrhqvavpaqr5nc0jk8y2yzq7swr0qtlxxfzh5lxrkcakdaekpepzmtrqc49hlmf6r7ca2075ln22u6y7ag8mpeqp3z0444nsu24fl9mcavvgyg0at6q79p2tfkhx7j8ujhga8uzn77wre8etjprycmagwzp89m4tc4sql2g60tvvks0qqs2qxr32x3jjtwax05s53nk28qd8ghsr7hc6ptslv0mzpmy4zy7nq8zkewspg5nsqvkx7xq9rd5wtz20e38c0jzqnn04fkknp5a5lthwr6vh36c9pcspepk0jzeqq42q4n072xgq6dmxc43lrkcalgchypaf5jud3asjnzypfx53vcu0t884pzagpzfvl20pctlsrgqzx4ttncfpvkhl6uxp5qqryeje4hhd76w08k3820twks7tkgk48unag3gjvplame7j3ytjqadm9g4d54qysyw8js2w8wm7ysut48e0c7eapycrx5k2emefdpjqzfssqfzj09zv7rk5a50mkxg6yw0a5682z7m4dhmyq4ld832y5ysrs7evvcr2g3d0a28atxuz4pqlrhf27xhk9frtxp0nc6wd3zqvxczhmalfr2h6cly2nu47u3ew99yj7rp4k8ky8hu5v9pwank7jd5jfprhvtej9sjjgytkht45wlh3vmyl4sgxgf8yxhp42jpxf7qe99ees9824t7graudv9w2kvfygmjgvywjtu253dvhqchku4fhzj5w2nsgxqvqqqqqqqqqqpcvj9zuquqjg3l6jh3fa8q9hvk7203ven70hwlt2pya6a76u0ema4cpkyuu6fxzq27eq8sn0rd9tsyq9c3relcujw55mfgz0zq8agrrzcvsrlw6cmpha7eutf8d6e0qrkdq7c7sq3pm0p7wgepvc6tdn53gqqynj0javgldkz4ua8utray8j32wphlkxya40j8du8t02k9vr365sjxs7vx7hlvkaaelxnv7mv7nwgjlugvephfcanaw0mhv7wpx42y3ysw53lc26qtk6f55jllunxmw0qqqqhesu7e
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1mvdvp4gdcsa80qd40eu6pmvhnthekxyve86c3hguw39sy3034g8qc22scc
+                program: test.aleo
+                function: i128_casts
+                inputs:
+                  - type: private
+                    id: 4590564321471459430214940869390598454817767191657057020956120095811539991939field
+                    value: ciphertext1qyqfj2weh980xx5e90h6x4hxawvwzl4yhka59wcumllemafha5mfkqqj0qzv0
+                outputs:
+                  - type: private
+                    id: 2656993574773197180534227313639530780652532620722240376703091961162451810338field
+                    value: ciphertext1qgqws4hpf42nmu6yh3kfc9fc7yunxj9vz6s7sytnjklk0dn0nn5qwyhenujljp54p89jetp3q8lgw6dul2e3wkjwd4dvpwpk32apnqssquh30lek
+                  - type: private
+                    id: 2361579370683007859751923061877313783231727694069407203800795729308045778342field
+                    value: ciphertext1qyqxuv0eeqpsvvchundcrcpns78jj6jdgc36te8gqf5steer0j9qcqscjg6nm
+                  - type: private
+                    id: 2561960919595648970833663870699788451598315067784328812952247795222261238303field
+                    value: ciphertext1qgq85gmqq6n4qtnasj0q8axvf5e2c4zhjup8nyfaw79gfpemahx5urref5gvyv302gnnmjng8kklnq23nm590938xc8zduwf7yruumceqgjphfkm
+                  - type: private
+                    id: 7661128173372936722530071905149933721778249740666449300834680981234259838928field
+                    value: ciphertext1qgqvh4fu5u8sa2mlu5nlzxpg6mu883hwu4rmztmg4m4vpsmczqmyuzn34dvpj0zrzmpx205r5k9ywse7u75s2z8udxyjcdqvleuz7pgmqs49a9e7
+                  - type: private
+                    id: 8339525959949448551827562009321573304665529269431697414333612787127380358181field
+                    value: ciphertext1qyqwpnx70qrw98an7rgpxumpsejn3z349g5fnn6drrh7ep5q3wm8vpgxqeyzc
+                  - type: private
+                    id: 2910333652321360447047044297682726248242259460778130433396104288424982064152field
+                    value: ciphertext1qyqzm54ynd0ftf0ssyf4uy728lcw5lff2332ugc7m7809egfa6qtszgcttwkj
+                  - type: private
+                    id: 6617757283698941103326965488804689116019773190477371033739492328309435948583field
+                    value: ciphertext1qyqr3cc4sn70xxrpk7c2adzpmkwm7vfthevslkevpx8ccg62xylvcrcyuha4v
+                  - type: private
+                    id: 8269010957563644816467967792396957451258549022279522910263221620859061983237field
+                    value: ciphertext1qyqvq6mr5sn59jqp5kankw2txa365execxj2ccrewqewc9jzfhlu2zs2c8yc9
+                  - type: private
+                    id: 1583499409342982895798021967636798930815520270443469303074931285563578642970field
+                    value: ciphertext1qyqwa3jz05e289n63s2ef8j9z5kftc6n9202n804j94zfnzglx9fxqgrfkguw
+                  - type: private
+                    id: 2397440081376820600978253919141607247753843297932136364502133954413622094356field
+                    value: ciphertext1qyq8kqzk3cg9e2cx872aqwy552su340kcnrxdcyf3d7hg2fd466vzpsjsx9ls
+                  - type: private
+                    id: 5110824329351611744195528947579721126091954852894498244803081610007930024060field
+                    value: ciphertext1qyqqhal02wgnr7flhaasdv7a2gpdruwvk73873e79a064s0qhnn8xrce88qm6
+                  - type: private
+                    id: 5172815653277763354807527354684401713748888712818009109622580581545922078091field
+                    value: ciphertext1qyqq2vwn96n4nzrcj0k5pyfhchm6alc72cssc8vcjnx27h76qp46yrsmuy85g
+                  - type: private
+                    id: 5077577478509011166601323412079376755885504159658525103697451291457925579968field
+                    value: ciphertext1qyqt9zvejl6878zyyspf85tr5j23gqxzagup5cfwkaxlne4m9ghh7rcqfet5n
+                  - type: private
+                    id: 7582266745620768208381528071393388329830241833882026613950984474184678728672field
+                    value: ciphertext1qyq2wmfzas62txqds90wwcg83v3hzdwepnz2d7u9wty5e0l5c0086qca74spy
+                  - type: private
+                    id: 570714134693225563440602108103906857945910056995759650826169033353877368164field
+                    value: ciphertext1qgqxfyfd4j2a56lzf2x4jgkucd4plnura30kwu2lc70tc0sh9mvtxz0230mlhxuvysnxd4wanysg6rt30x95xll9zmmnd65d4knvqyu3qqselx36
+                tpk: 5435910493442898401058820440140952021892731365225504434988058404658584629598group
+                tcm: 5086818745614179111997137581797394763780923610805134574552028028763353151102field
+                scm: 4811112438974239795192698347263285991766014573746032917837488255897461173762field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqq2rv5unxqatmmwplr4w0p6kdeeywq4dxtx0tftnal74z8uqxd546y4kr2nvurjey5rfh0e2er8unsqqyylps8h6gx6lzk47vwxhtnjy2dzns45k65cu66tsdpj85j3e2zwm5ea8cdsx4zne2xw0vvqkr9qfqv4zrf8un4mmcrs68wqentv445t757q6e64f28ndn2xazuuhqua8ag0p0q07duayyfmh9dudna84xqu33zs4tusta02gf7hxgqa3wx46fwc6j76srpur5ng7zj9kachtutr7yrljsz3lnxgyv8lf3k8sqgqgddx454fjgs7r2tn0aptt6m8zvulvffsaqle9gd3vfsx0yzxllh7dm9hq2jvt89rclgzyn9evmksqnqkxgnq4kzemud34jvmh5s3rjp4uztrfpgafq7jjvhgte05cy0h8y7a3dxtact95d0c5q5utxzks8dysvfr6ap07s8qpu09ymmvrm2cp5e24mdje9v9sd3d9un0fz8lc7px4c00h6p4rpwmmwhslkhl0qqkkltgtyescf5enj9wzywkrjg9mskr4p3znav0ww3fvkrfr8yqc3z9ymtmtp2784k2s8wfx2qccgq2pexcppmpgqm0uz7c9mj2dd684m2rk66y7s26ztu0jw94yqp4vvsfj3978xc5rtygnqcrlw3tkn5pchgkfejmhreks6wkcdam6t0l4du2y9v7py6nd66s249unmlqqyzr8kka6ut2m0w9r2dw5nrjxtywed8gqaz5fp4l3astpec9vxdhxqqac69lpqexryuct2c78utwv493ftrsk0vd3pvyvqhy8z8mkcqgzzxlgutdjk2epz8waltzs2yfye8ulfql2wmckqudcqfynyrd94jsuycqwd8z533fa32t5uax8km7uwx3aenvwr09dnk4a48zhmgkmqq92r88t9v4p587wvav7p002w8uley74zl2mwl47n5446fkv6vkpgyuk9fuwgrhp9c5fz5ja7cskqrm9qz7mgkqr8kf8w3fq7sq6kmf5zlaee20qkczwzrzd9p4h3ryw6s96fkkznfaxd7hsf7tf2852q9hp0wscef8l9rmspavnjzwg2vn4g2yamj22pzamwfwt7u4w0w2tynqzad9smrfxden0ayvmxdua774csa4z8u487nxy9jq9z293g2j8jsqqvqqqqqqqqqqq8r38gz935lg250ktd5k2zkxle3jh8vl0h7chch0lehf8xfyza52dcwumt05fnwrp8ttn2p42746qqqv4mwww728g6hhf2x3wkpw0sv4zuavsr9dwfuj6n0xu9jyye50z4rr0kddac94v9kz4q3rkwtjezcpq9kv3an52s6esjs226w5fa8ssx6pkcecz858lnmywdrgnm2z7mss3t5k3huhm8s6a4hl327ls56j2e2t952e37v3mrdup2yw8akswssccehv57m9xzcmjxgc2svqv492qqqq29gtew
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au13nsltd59gq3c546mutu4sycf09kveth8z98yaceaxkw76gumfvpq8wrv40
+                program: test.aleo
+                function: u8_casts
+                inputs:
+                  - type: private
+                    id: 789021057264562630555303766085352399283388826000961167796881363579781181608field
+                    value: ciphertext1qyq8skvsf0uwxzxrx4xkx8us9ennw45c6kjfw32r2jpp03g4pxcw6yq3yqxaf
+                outputs:
+                  - type: private
+                    id: 3180125003215680183474079034933690047706312684847688303021746680549232573526field
+                    value: ciphertext1qgq2l2fjdj6jl5c5a6ca6afvdn0j54eqdt7v99vtl28k4w3h9yj2qyndp2vh8rxgyzgyk5299fz9dn8x5750556aszym593tkh8lxfacqyj5c2gc
+                  - type: private
+                    id: 8083835805950649449428242235051982565681028216556584807176760672389449427722field
+                    value: ciphertext1qyqzxkfexdjz6yt28huwr6hg6rl7knv3r3pk3mzyhhgue70sgxlucpcn3dn5g
+                  - type: private
+                    id: 6205509711548347663475033976805849985121509814969811363071068886710884508665field
+                    value: ciphertext1qgq9r6069m56mxkq8wvc0grk3le4qhcd0tx4jaljl62zzs9vjnjj6y9hgx4l0ea4yq0mycw735rynud7zgupvlemqg5usv0gfzwv57u9pcyaxnhh
+                  - type: private
+                    id: 4112962026741890408783904208522097677376507914356955759904129480188960569436field
+                    value: ciphertext1qgqqcztu7fqcmktra9whrft8c4h0p28g3te0nk5kl65t3sf2q42fkz55g9uglm79pv8ysrtp8dfu37pmyecl89qvs68xesnx8thn7xrdpqymfvn0
+                  - type: private
+                    id: 689876187640931760649066106432780113390889640660118147894675575162963107606field
+                    value: ciphertext1qyqwx0ctwc737ev99c49dseat5863js3d3sradjyqs6ad20f4l4jkqc57j6cz
+                  - type: private
+                    id: 908443742315925262001603872874114374998868025320517261783655889910759044330field
+                    value: ciphertext1qyq9z38sd53zh8070acnklyzfs3q08cmece3d8slrnfdj4wtj0d9xpsc7cufr
+                  - type: private
+                    id: 3054211937038738256663927684515237080881484330849134319438850713654090189471field
+                    value: ciphertext1qyqtgnrgt24deugy2usxpufrkx04tvugtt7e4uwu9ng30jvq793tcpq99v09a
+                  - type: private
+                    id: 8309028134382841894383401381963421148401238636026076175142142912095620310995field
+                    value: ciphertext1qyqrmuyam4h69dsv5qcy553ludj027h98z8rrufdkccrjmnyydse6ygut0s3s
+                  - type: private
+                    id: 672527130895305448487653670717194615857770318395199267459208437049726539919field
+                    value: ciphertext1qyqd7eca9dxk7y33zc39ujdrukx5vtf2h3d2rhtslv2e7zyuwygevps3sdazk
+                  - type: private
+                    id: 780823013626899183786375063327729243532267618686398337641660781383506745261field
+                    value: ciphertext1qyqqgz34uhxm5pks6jy82085actzmnnjm8c3jrf53pdekc9n4j5n2pqfczchl
+                  - type: private
+                    id: 6118527794526179521316092245407362814069217486422362132119663487529926863972field
+                    value: ciphertext1qyqt74x54x988eahh906f8ukqkngqgryhp9n5tkylj5qwgfqk3mngygyac64w
+                  - type: private
+                    id: 8205819556871804335493519828420634610934511533230092099461926658743660295828field
+                    value: ciphertext1qyqwwwcq5yttslg4dpnj9uu0hy6fj4rgu79fenzh3uswyhhckushypqw4d05d
+                  - type: private
+                    id: 5653460517895984358784037763710250021005181126951532545272162631113317683313field
+                    value: ciphertext1qyqgd5wem0r8aa86n4qvtrwd8a2s262uewd3qwcl9w4l2gsc4h2xqrsehduwv
+                  - type: private
+                    id: 3260668396972123497773468743861688213398876433988987112959405411963202452810field
+                    value: ciphertext1qyqyysaaxlx50jhw545jjsfqaea9pzepkkd9drlv2vtwv28z4s7cuzg8xh22n
+                  - type: private
+                    id: 520786023315542256687836385553337585938452401106812146864240537842069709817field
+                    value: ciphertext1qgqpamvp6lf2m85etj4gjwmnmvytfashfezak53h47mq0a3ddjyxgzcqydt8cjkjw0cgn6p8ewpvhu29q9lmt25yf74vzg2rnwaufp6sqsmtreed
+                tpk: 643686870404180098229427937491947542168124889090535372708515447451758419394group
+                tcm: 2083394289568148527092328391718229393023335274980224229636818517946841244838field
+                scm: 8215682264426718474714286878917885215639662092632760593728843673274159648877field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqtehzlgkkhlrpsxgw2mslk3z540cys9wwturpxsh08uccehl7r7xqrd2ma0nx7zep9cwf8rhl37hgpqyyg3gsnf0hmnc2uvlacafgsgwfjz2rtsq2azrsfpa2tgzk9qck3fdn00ku655k77apzhhy383grmqzcykt0p9dl86nnh4lrxsc58ke2p5e5zgnpgjycv7msjxnde5tuffhdv359ffecru2f66trz8sgkuqqtk6veq43gglr8ckuma78ktmfntx9ua8rn66r8985zla3gny0stujhf2c72jjhvwzaa80wd5trq5p60ve0d9szvf3y38mcedum0538npy8cympwgdpkf9qn6sfpw9ndhyrqklmcv2d2x28tnj74vz7amsp0rjf047p0k2f2lm44xcpxg0kvc72328wullh4ruarrvwkngg6p50tva46cqs9ckxam7aujptampq9cyuna7gx0hp43aegns40hwgc8szdfkdq2p4ht3hmrygn4s66vep6urvfk0zrsheqwdvx0m6zaqjqyxqu070d6r4aazfmk2lxp7udel679t0xndyn3fuk0ve99hd49ss68ph60l79rflmkxckmu6z3w2uqqntccqkrr8d32g2nn75vcf5yegaqdj7jnuhp53f2984wkttea5qjdfdjgknug607jgx073qms4mvq0p98acyj6eu7rvc636sk3pthglnukuklj2ex7q3as62cm3tt3ur3fr5gjku6pp59lt6hqym3tw3fhkdral0z2sz2x5dzw7e7jnz5wq3fgdsl07vrcw07j7rdyzzl4kw7sl4rzzwem7mmj720vhr0mu6kp3k0h5spyl8kjycvfvcnq7seevepr668qz05pmpf90eutt35nxasue9x7vkr0pj9p55d9v2qc0vd4uesnyrxjsfqta0km4t59hjnqps0hw4djn4gse4l6wz9706x7c8yh3g4vhpkwfelw36vmssj8uz4vupdw8lxkac6erg7v4qemsdgeec65dytfqqqrcz3yceh4n0tn04wvrujzstjh7radc43kqlm6543fnexq9kdxylx527ng25r3fdwc08yqs7nyfyezch5ykdsc9mhchgracuw5nx30ysldqp9ayq9wamnv74s8km6slzwll7sqy5z0vfx9zsnrdzt4gj9tmjjd00vuwfz05e2gscyqvqqqqqqqqqqq5wj7gc64x4twwlcy7x4vleafxd80gy3ja5l998r80esq8vt0g7nk3zpfv0cjng2qt0wzaarm3a8qyqth4avlza07trhpu2dam0lmg2fsx8ke3aqlcr6nfqu904rzsey9z8dlawnsuqw33dfqv2wnaltxpcpqxtrstxnuhwsyqqtz4mprzss3gd6pnsskeu7ytnljmmyxg29zzssnh7cl6gg6pkffp9qmt9u5ce9hmwyk48s65v9wm2nfgklhytxugc0tezzwz82tekswcy887lhsr56qqqqjpz390
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1m42upahn42xnk9em2a9ucqyp8fjz9t9usfa37v5yy9u2dye93v8setpw6f
+                program: test.aleo
+                function: u16_casts
+                inputs:
+                  - type: private
+                    id: 7412040225061644109463745635091888175941522139010195970628522400737996068143field
+                    value: ciphertext1qyqf66tlvm4wqer6r0nxx6gadhlwn8w6v2qctyhgapcynfg03glnxrgrf3cqt
+                outputs:
+                  - type: private
+                    id: 6923355890433989902791246270566152159412931605568630148684674293939446042697field
+                    value: ciphertext1qgqzjkfjzt8wwa944wypklal5vtadylhvzt2rlht8ddh9zet9svagyr6zm7tyqz00v0hpdyxhmqzve08wanf04j4cc9t2m2enlnhr723pyjr8qqu
+                  - type: private
+                    id: 4879782124152462381931432713176858569859391570388699218610824898759108948520field
+                    value: ciphertext1qyqyvkchhcmpvq6h05n02pdpuc7atxvejy8nut4sczr2mrxxfshv7pqvzs7kh
+                  - type: private
+                    id: 773498420198917982707498947018960677635135050271760821426562825719858612907field
+                    value: ciphertext1qgqv388pru6nw0mk5zltlrxyrjmaup9hnhddh6rk0ynff7mph6yduplfkvvqayanhyse7ttfrf6r0mr2h3ewt3w29cee8xq3ssl3waghqgfdx3rx
+                  - type: private
+                    id: 1731107148779290125999686199185610297077118971693946834531501041607296126967field
+                    value: ciphertext1qgq84sl5tl7lmjte2ea6cekfrnstdyrupf8zl9rk3jd5lwcqa2cv2py92yqqhfa5247dewwf74u3035jhwmhtfcnmy6gr26dc879txgcpvx7csm9
+                  - type: private
+                    id: 7861495301521059933980099458209258824875830948293496938347695254450162448675field
+                    value: ciphertext1qyqf8jeryqlg2mru2675ckssth2dqjdtf0u5ce0v0z20ywjee85a7qs6gprvv
+                  - type: private
+                    id: 2509121626834826350954473559512285402006673533011152851823882713204755813793field
+                    value: ciphertext1qyqdcc8kaks9t85gd9qu9j289h0hzw7f5wfkcdtap48yych6fce62yq3xcxnj
+                  - type: private
+                    id: 4394390631694437040129433683768322541783198775266227088952707449546302222880field
+                    value: ciphertext1qyqgdwmn5eke5kygm5qmlqh5uf24p2p8nhw65fswknx6u5kfqz6wzyqhy9tsp
+                  - type: private
+                    id: 1121931695605812109211414362149273452787816726248468459484619438742630884499field
+                    value: ciphertext1qyqr7t88c2c8057kh383puyesgygmqju9qxtawe0yqh2zj0jl9y9cqq7vgmgr
+                  - type: private
+                    id: 8069688998299028136098184568733737173248763903808967859346397670340526057869field
+                    value: ciphertext1qyq2j6hgf676f56sjqvcqted0fa5scu8a2w5jddgvvt2vkxn0pau7ygez5044
+                  - type: private
+                    id: 5957739219553860279316153056814978313006980259429562405392678315866864450174field
+                    value: ciphertext1qyq0vay0u5huwngxey4ukmc7vlc4gs63jnek7uwwk0wmgn8mc83nsrqrdmgge
+                  - type: private
+                    id: 6195154671045013899614428138206992160709747393834659597829333351920995077553field
+                    value: ciphertext1qyqf3gdcmrev0gvs3ycegx02mcmpgudf0pgpsp6y6h3c30qa730mgrs72q40r
+                  - type: private
+                    id: 7740925259259059141102353202491907453440651675995256036334775223068993469854field
+                    value: ciphertext1qyqgqazqnsp2kftw875thywhw9e5gdmx964f6xwrp8lqs8h24jh3vrcf45py9
+                  - type: private
+                    id: 3459112347465739609935838438264640415774766548055872106765808110240652806283field
+                    value: ciphertext1qyq82s3g68k4geqj52wfa524p5faaeegtce3kz6w5gxuyp5a5dxeczgkg5w4j
+                  - type: private
+                    id: 2321754123752293148875170061506502922081214935214397311018219056326584816139field
+                    value: ciphertext1qyqt5zypnxayz0w8ygkl25mwgcceajvxgaj76e64zcagwk2yez7n6yq40v7nd
+                  - type: private
+                    id: 1073208538266342857385993146079343372107651075988106730882150335723602117273field
+                    value: ciphertext1qgq2c5lyf0uta7ev4pgzdgamx2cguczuzd9jcff97ufp4njt2490uzc3sv9rwvwtlttc2dlcljkmcv9m4a567a6xfzyxxt088rvew6n3pgwg5qdp
+                tpk: 7748276872396081850735446480871767451159984551246572555319606089109587394894group
+                tcm: 4419764021562073735180880419914246444056091637087589082417293518250279532923field
+                scm: 4046435527566510444344077037423959111805493965221485008408718895098868512062field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqx0vx2kw4mstj3fpvm8ygpshlpxdm8hy8jvjhl0gzdqd6vz9n80sucajy0uv7jacwpfzc45l6cslspqx2jap49xq4tka7k9g44ctadc38j3l0jqan2lk2vs0wtpfyppe7cnnma88p02e82rap578znyndvzqpn9relsw8jjx6dvny78pvlemr2w3jd6y6l50lk08tt9t42kjc75pw4p2r4f6hj6jc7s04mkgnyksqxxmj5wnqvuutqj7a0y58uqxhmjwmhnt0mcftver308m70c8l4maeglwnnph555v3mjgtdrfwm0cqql98gl2yh6gdx2llnmtwkvqgjw7pr0upahz0neda0cm0ae0s5xle75t7wz0cvmcaf693kekmrt3jczx3c79g2488xxzvp3kj4dty6thfa0elqdpssnuynct4h0eldyxazhmxmfr9ae4kw9vvj6ejtc7ffq9kxhew7v0nzr6vkcglut695utmkg5tcqjfheqt4e80fckumcw97nv3gkvr47c5qg5huzx6c75yddqpzmt3jn4fm5ew90z4skqgvrqdvfaxvnuv2mdwtldgd3ln9qrank5afaejmfhf8rfhxl2xml2pgfzqztzqu4c82x63lakj6n6a9pl97s9vdyc5x0zs85788wksgy0s5v3cyldz2rrc73uyd4fjly29m6xgqsmpg0lqgmtd83g6z9syyexc3fngf6c2wvuek6qful2ayxf2gzygvc0t09f4fcw27a4ef2r3pk0eqcv0ckj9rswr5frt5wgx4hnfm2pg38v69t6j6nqdf2ezpcw3gj8ssfnfctuk6wvnqtj9sx9wqtegyqpu8tvw37sdxygzj7ylwqwrlxqhmql7uvyc7wcmpzggdde2fj6ksynsz2fuhc0ue7ap9kg0rsa8tg8zzuk3u0elehazsqen5qegrqqs02fvkp64f9v2vrs0mec9jqv9sw9x6degrxr9epclakxcp3wn0g5pny2z6zazt6974r6sjl4fnls6eh4e8j45w0827hgrca2nfwjdtgpk48tnq3xjfdxd46vssfqufulyhfyc4a6vewqaer9ymt09jt40tqflgjf03qmfgw8p32xw58xu0a7hjvddzkwy7u88mn875wcchs66qqz7vsfk0frmf2an9vd9ts3r0p5eftzehejrw3vjfsa77n5yag6cdqvqqqqqqqqqqpv249gpyn8hur8pkkcl74lkz9qyq2szrgt8vkzynsya5qcn347750aemjsvts4x7xy3nzmh7d9trqyqy552cttwkh2nm3acdqgj4mrqspvk4j89m6uqcppjswkr9zr3x8rg9pgd76jvchj9fus94tm9hzugqqxz9ze72e2w9su3ew09mz0vul99pamxs9pp620z82d2tcqz2gqfsm0xma80mn373rdath6rs0mywsxku90hrq5x878esg503vpy93hf0tjddkgpgf572fzxffxnzy2pgsyqqrvn42u
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au13kyxn9qru0kudfpskwudqty0vukfytwtk3rdemftdaznzg8n5vps6z9dw6
+                program: test.aleo
+                function: u32_casts
+                inputs:
+                  - type: private
+                    id: 1238568379061914436439082125843175767384033710537256790460748039921296138763field
+                    value: ciphertext1qyqpmfa3ulg82y00a005g5jaz9faznw2ze49m7tn80q0gmcw6dhlvzg7hhzhw
+                outputs:
+                  - type: private
+                    id: 5725597129185767237492799115984123741654994756770232419465128300351414854971field
+                    value: ciphertext1qgqv2yt73n7wjs5r32qn4q2a2z52cj09kew0egyuyan9mjmzvykmcyrwlzza45r4tzfddta5ug79szg36fvyqwchav98kxev4gmm67tcqg3dee8s
+                  - type: private
+                    id: 7333347907677522541484966326317806550067507219865374531832320754382315748044field
+                    value: ciphertext1qyqtznex5p2ak5jj50qt44vdmt3qhe4wcq53cj0fhvakvy5fpx5xcyqu7qc2r
+                  - type: private
+                    id: 146370749008111009296780866102529171059908355426558484700674545244554765982field
+                    value: ciphertext1qgq94fr3wchz0lnxrthlj85kp6jaqrqr8yznu7lxf6zg8ea5c32pcpejfmw5c64eusqscf69x2xw2smuqh34ca4ms9d85l653tclywnupy8my8kc
+                  - type: private
+                    id: 6159760596703975460289974159009614167589065835860459980717366528160194142287field
+                    value: ciphertext1qgqr4e4rcya3mr485kgl89z4jpec6txsf5umhv8jcvga0t4a4hnzvqs53lu07wgpxzrv5xf32advz9uzz300y8wg4pc2tr5s8tqp63z0pyhsqxqq
+                  - type: private
+                    id: 3335791211180361954968113262867967297705280247514352687188681295336769917971field
+                    value: ciphertext1qyqyu579axl7u3jz7jwz93zesympczhu6ytxnyv3z28tufnz0lrdypc40kpms
+                  - type: private
+                    id: 4421547701331335179462087075250300725790721366387797869351541337756807941561field
+                    value: ciphertext1qyqx52q2zqt3zxujlhvnmjf8uqfghpwq66t9vkvj6san2jkscudfxygl86e0m
+                  - type: private
+                    id: 3870775569820903895467175603165695972087440198324336317450501499884199871366field
+                    value: ciphertext1qyqvhxkf6mhes3908emwznwdv6cnzhajvf8jgm2menxl0mfp7p8q2rg9gr50c
+                  - type: private
+                    id: 1953691054908856901467093809545374850243343085901826615905114163995259853456field
+                    value: ciphertext1qyqza6seh9rxrmjtnldcsjnd6fvfhc4rgvs24qwypm8wlzsc25c8czs94w3y7
+                  - type: private
+                    id: 907343547587304692054032288279079125146159347118523363505065252642806270914field
+                    value: ciphertext1qyqvl636ecztk9820lkw4ya2fhyw4pw7qt9maya0t7g9523qqyjfvpgwtxlpz
+                  - type: private
+                    id: 2871441374575354535036533746850093328699441713426491315810837175536180012442field
+                    value: ciphertext1qyqwhph4l92220gkhfqsv84u9n69qa5nddeghalsa2lt9l3gktdmvrchcawuw
+                  - type: private
+                    id: 4382409144767996087651092594623294958175081711322939607670021051612641372191field
+                    value: ciphertext1qyqq0wsu24cyv3klsrpf5zls9k9lx3kpvn634jxqe9h4ytv7z6yt7rchppanq
+                  - type: private
+                    id: 7884003594089142612726676313525880154580279813461295207249992773201315830902field
+                    value: ciphertext1qyqt39d2h5v5rnsmnmk5h7cemd5q7lcsetqfpqc3lcpu876s3h3acyq5a4phz
+                  - type: private
+                    id: 8036995569371794740185387295251075684438743263754154903752476892092644573951field
+                    value: ciphertext1qyqpa9cnqgz3d5ka8e40x4hfsw0kmtsfyce9j5lzg23hm3zv6zr66pchg73du
+                  - type: private
+                    id: 3819160305973673029500064531311552295171479549120826863307344700441678934703field
+                    value: ciphertext1qyqph8vfgscxccxtmynqedluh0zqy2yuvu4enhh8a87h74dcsf56yrqqxg9zn
+                  - type: private
+                    id: 3609742459831301640085001330848718801515109406646465319529859424375789795662field
+                    value: ciphertext1qgqvy880gnuwrr37d7mcpf8zwh6jfrf2k5utqlsdnc3elz22nyc4creupurqqmyn5tfhj24ngytqn8p5x0nyr3xuc23uvzav2499wjauqcd20gj5
+                tpk: 4507852171669942629788145523597661211642858626903012456282471765291833061602group
+                tcm: 7032518385704779676687984897811170944738427055761636745517196254778557830150field
+                scm: 816986736494770916051049088585543038838455492345813021206037992651592692866field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqq8mvef8ezk5lmswa577gudz394ja7rfs7rsy3sjh022h5wcmugwjjqksj2w4y43ra605w9s3g2vvspqyhzmj3u8eprklu8g7gw2jx7fr65vksvyta2esyggl6przw74tnuezam5lundrder3mwyse4ndw9dq82lh6xmkk5l2ftpnycvdf09enpvqjhwe8qrc58l2cxkmkl9nv9cx8lwudlc04jedlfmtwt8tclxuqxjne2ja8ekgz4ez3urujedrv3g2frhmsdly6zld9vd2v2znxedwaccp658xxkapc5jrjkxv02epypey8kn5mtrx57wvdnxkrgsxf3702g39s8rzvz9l2ggxst2zmhgdllhqg0hqeglj94hpljm2lf6klgqy9p8w0et25jpdyfxf7v652qpzfrmrjz8mwvrneymz9g6uaslf6ukd8faplh3tysn8xgc2mz2ptlsxrzm3jp5sx5z3e9xfavtj2z566a2fs9ztfeprumra2yhgvfntg3fluqtacpzcnrk6cjjkcpkp5t8qpfsxm9s3ul5zjl4n92htwjq6q6gu2kdl6yslwr9gnpkh8m8z25857xmvedeyfwzmly8pk294gk25qmklp4lxze6226g332uqt4a75wxmhfnegv2wnpp7zvc426v6w49rgpgv0p9fyz4zpffvyqvcur2cuqtkjky45g9g0fxjzhz0qljmgkxmmknjgr7646qee8gglfle3ulvqpfzzzn4reynrqg7cscxg8zca8gxa65y9qkmyhkcs87f6qum07spzcpeg5jemx20ueaxztujnf37395x3dgtffuwmlcqks9exychvlqhgff7n48xs57jj5sf5ppgjc5vs8ywl262p896quu994kycuewwqpss4zd4jchwwufrjpvd83hgmz5e2epdfah73hjsl5khvv8gu9vc8a5ru9jg6ez6scgrqght6f3lxpssn946steutn5752n2vx7q8gy8lcgs2gf6ll9dma2zjpe7wdnu7j5m9t5z87gpakjc3mm5n50xeyzqaph2fmjtel9xpu3np4q5cfstvl4n8fstcqn6yqwdf28kwdltkpu57kf90gf7ynskdkzj0jmwxezex696zj9znldmz4fktmrrpk3j3y5jxm2gtsq9ce3lmqunde4lv4nezs5q5ux93u8vea603l6ljtlqvqvqqqqqqqqqqqnh3qaepaxul5ghs7yhredmy3yxp80gxavaaxecc4r5wvtjkek8tqzl8d3t6larl6l4sql3ew0lcqqqd9w5menjln7lc5yu6yvqjxqy5y9e2vp0xpr4ewhmhqfde2e3vna38x4xnzzr0j272jf5a6q2q4uqqqxu8rvlja9j5vkd804c0clu4jr3we2ngklt4shevazxxla73k95qnsanjhl63cv8x7mgyr6lfzjun7zgnmep4hhtw0d37kxcl6lwufwdxgpd2h7xr7m0c24vph7pgwhzsqqq55rp5m
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1c8dazy2xpgu5sj8z77va95aanhgnyngxa3zdlmpql8wsf7lljvzsxljpwv
+                program: test.aleo
+                function: u64_casts
+                inputs:
+                  - type: private
+                    id: 2749910612060477920956305134533026092446464241566553618012290189490922823752field
+                    value: ciphertext1qyqdl73tlpp7sy2cewysu8a2hgvnyna40vsjd0vy5x9y3usjlwtvyzglzqwyq
+                outputs:
+                  - type: private
+                    id: 405231966192092004552024677317619933148160437056680734630871086001042129057field
+                    value: ciphertext1qgqpu206tfql9dr3tlxhmyr7p0ff6e4tz7dwgvum37m2fhey9udhwqmqallvhwvwj872rwhvjq5u4d2tp7v65m484pprleq26zczrn3jqvx0ve6v
+                  - type: private
+                    id: 8368985839155241697952462425707149964617197198363053626268671361485589458456field
+                    value: ciphertext1qyq2cl72c7mzwzxahjnrfckackssh3aku20pyw5nh4td3hcsugtsursldf5ns
+                  - type: private
+                    id: 8124852196514089293627591635461317110988617490694585039731456230500800259285field
+                    value: ciphertext1qgqpa9aqehp7zt9ez4vjk0u39mgus4c6ma6zwrr552yh2e7qgd0czqt2e898zmrcaxdw5888ylx02qasqklmm3qugws6a38cy0rknft3pqx04v7z
+                  - type: private
+                    id: 7098024816148014445496464270477143235338556784127115472974296225253042219358field
+                    value: ciphertext1qgqx2efpgpum4sk0yuzqzy632jcmxr5sax84n4mauw6kfdyjeu6rgq0k2talm6ktk3zmjvd2p7g2p2q0zsx6p452q9ldlet53sahkqd9qscfag9d
+                  - type: private
+                    id: 3916321203726792004007551249271131421071546349412001013040030177635517684165field
+                    value: ciphertext1qyqttv8mgn4ctpauccv7r94fm4hl4aga64tnhe8dtm52hz0vjqescrgkxhhh8
+                  - type: private
+                    id: 5685174652799523181371348963828664790965194953717090927696859737181596905647field
+                    value: ciphertext1qyqzxhxsluy7fds6zz8shsnykvqtp8f55jr5895drezdmljzqlv32qsqcs2pa
+                  - type: private
+                    id: 7849187121593814215232470433185423454873915368998627865739452348252541702669field
+                    value: ciphertext1qyqwry6ngpnxf85hhsx0j4z3uxrxt0d00fanhymrn2s8xrgul569gyslajd0v
+                  - type: private
+                    id: 1203330946876193775638723955754294448159572104787062021044808289680420242582field
+                    value: ciphertext1qyqg4gyn9jld95y5ms3agljl3l7v4dvt7s0jll57vqdxqfdyxs0guzcn90dqf
+                  - type: private
+                    id: 5800365010993353325708132730922367225673404607688980592937034002476926800164field
+                    value: ciphertext1qyqywmyv4yez0e80h36sm2nf9de4y3tqhsn922k2z0jzaqrunlhgqqgxvwh9a
+                  - type: private
+                    id: 5058705812536443107343725723889978492354411982103919306308617268976729465507field
+                    value: ciphertext1qyqrqmzyrh9psvtyutxzdx7fy5a298k4c22kf6erwdg0kq77gse5krcprvv6m
+                  - type: private
+                    id: 6680264334233556177014673984057944437979691522707096634712512792655355036089field
+                    value: ciphertext1qyq9dzjqr5a5cl5zwc044c4cqmftrzcn66hd328wpn30p0rnp56dvzg2gnx8r
+                  - type: private
+                    id: 1014831909774707143327842035880267241041508042002735582317264295222666455682field
+                    value: ciphertext1qyq2zxa2kxhmujjsw2wkw4egjhpg5309qsl4qgdshck8fu9g7xdkyrqvtqanf
+                  - type: private
+                    id: 4851981273418626462077028278920017816977060348451159779285166484003951364883field
+                    value: ciphertext1qyqghm55h0qc0wfwf2qjwejp2zwwze5p5gy5grhn9eqccz82s2wm5rc26c708
+                  - type: private
+                    id: 7273941439210784285335858007406891672614253386688421815611623024616708259204field
+                    value: ciphertext1qyq2ml5umdt8c620tq9deqhmvhzrlqazu642ktdky7q52zs2pjcxwpc0j67mw
+                  - type: private
+                    id: 1734701257964636112106235464808140389823141882961699283600971220078974351773field
+                    value: ciphertext1qgq8grmm8r0tt3z9kwvgfv2jt2tw2z9rgll20fx5wcvady88u7rncra0krqwp27wrza6efuzzfytp3qc48a5gdyar6cr8vp7exeu0l0hpq2lydh9
+                tpk: 833619835574924835793185181218334042827032578501794111691200274078686696146group
+                tcm: 4517935476563955649653955782200520268985680612617012586350145800182489652486field
+                scm: 3319230192068188695970721294646829278136374477769739107604337512329466482496field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqq0xsselhhw6waurkrfhexdzkmdgcgumuczstk3789zqnrhcmmdmg3cnqay5uylc7cdnk2w5s6t4vcqq862ud722z0uqlnz5k7l5wmz3ex58w7r9u9zrnwgr03l007lzjdcr9j295p8fus6lykdz90g57ageqrf85w9vav0j9z543p27c7duuxsayzkyz99kdys6gy9gwrah4l3uzksy4hj0df34x2gze5f8t3hacqdepran4cg0zfth2zwpamxgp6mt4m9y8uhddsmhjr6sjre25lfwlm5ryam25vfz8nrtj3jfpmnhasq0gv4su7kzq953khjdyayrcjpdmjqh59fdu2al8exmvz7zkeft3mwhnnkzk9drrdd5zpwam693ahcqzs4c98wqsxfak3tachje407u6jp5gay6y2tz3w83jmntc2z2fxmcdpuv2sg42pykav4ws9k99zssxuflpuy7p2q0hksjq3u4pyk8q75fqyq06qc83ghxqc4hk5zmn34067d73rcxxse4uyyck39qqnyyqzj383vz0aevaymdp9nhm0xsvlluuey0m5x5lv8yyudcdshxn85nfvh04l8sp2x4h30pyl978dj9jqc252s9w5x4ykunscgh3jz8tmx6m22eewxgv7kch85zsnq737uy5np73a9zqa3ztp5uj0apxcdudsq0qtarzk6dknv8sexxgrrk3ppyav2rvsykjyllwvqvhg7wz2kmcxxek4ssckh3jujt7uleguuqds42el5z7kccy0thyzvlec4qa3hxr4g9luvqvxtjspxfc3rzuk3q4n5xaegfmyf95axhjaw36l26ucmqu02k43caphpevlyzyjy3p9n3nefa7p564kf9zra0gu3v7ucnhwqv4hsxdg07vldn3k4w29uu8kkjv8pgq5tkxlxnauwwgdm7386w6gssz9mwga4g8e4cqxjq2tjaerd3wfmyag9x5llu9a6fpz4s9jrpu9vvmfg469mnxsp6c4cfpk7hpa0v32nwn9nwf3dppdd42k0pcyrzp9e0rrdnc3z8hsu3nfvdv456mar5enj3jphwk399vt84w43rpe3pshvlc9sa0n5pxhzjnvwv2utayw5yrtx5twxuahxzfv2ukfkud3s8f0a2hw7jlvmn27x3gzq5aqr6xkghfeghk4pzdvfhr8u9sjm7eqqqvqqqqqqqqqqqa5yw0qsl5nkrsufy3s7nrnn2cshrlnfhquq363wg7d9rrjau5ry3xl47w78sadd524qfahmwe8ksqqr2aw4juklt3hc7qvf57achwns7c8zqffcaa6p4wj38empwpygwd5w32qmzargwccuzr70lrmms7vqqx2k4h8gkm9lfzerva0q2hxaa2eelsw809p939kcyemkdhvh3uyppcslxywunmx5kvwasc769tmr985lrwshvgleluprwyw7tzdk9xzdyzg4rvq2aua8p322xr3tevgzqyqqzlrved
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au1jdvthf8stuw8a5yz2cvq4dcwg7dkzcy0vvyu4l6rflwayu8h4qqqf4wmyt
+                program: test.aleo
+                function: u128_casts
+                inputs:
+                  - type: private
+                    id: 4775555650528118924242390731170676578438456199985184880707106392944648436931field
+                    value: ciphertext1qyqzudfvlmvfd04uk7hrpdu6ur0c7w667aahrsvh3cv08us23a40xzgkqgd2n
+                outputs:
+                  - type: private
+                    id: 4179689696485228188109840116631974453537438037185294583675059972271318541752field
+                    value: ciphertext1qgqwv546g6n8s5fke7qk0al44a5h0js7rfh4kacpxm39uu5djcy2wpr5ypq2rl6ruc2u85w6cu7m4wjsegd7xlc2vrmkkzjq2qpke838qszmzgx7
+                  - type: private
+                    id: 4654248225819979071520352979931751753963981000337158140837215303635592039526field
+                    value: ciphertext1qyqqefq77932hwlmtwh9dypxngafyeeg2pkxvmcfemc8fuflm45zxyq669ugs
+                  - type: private
+                    id: 6417704876620074501986501931957311136186301284048568466720600504766270699464field
+                    value: ciphertext1qgqghsssqq5ylpj5r7vdwqztagqk26vssek9vzhhsr6934pe76c5jz85jf5lktvwqleaurus4cffan0ju2zlplav3va4wrl0lz84m8hkpgxvy2a6
+                  - type: private
+                    id: 7787262610816155513849797721328140736428180653290119602588463932994520646071field
+                    value: ciphertext1qgq0q22yys77asl7zt350pcr3h33ljeez2xut8malx46sv3w9jt4wz473kl8admsp078nlg9h2jqq6pqa0293apl35ht02xw89jmkxqfzgnvext2
+                  - type: private
+                    id: 7522478204446451593422564014226709871313198713481304606256097406561715575923field
+                    value: ciphertext1qyqwvm4yjh5wlc5ffwc8kvwd3lasv93pyu097jdpexszfjl3rqun6rq5ul5j8
+                  - type: private
+                    id: 6944567981308090524728686031919185004516103579463239116900262262639093586727field
+                    value: ciphertext1qyq0kl6avcsymt0ry2g4xwwxax28he7gr4h9tfn3sfjg8hmpze4tuzqfp38hr
+                  - type: private
+                    id: 5754835583751689779401607082855641514464094625075626562679447780690461912094field
+                    value: ciphertext1qyqfxe5es6nlcpd8ejlu5njwu3h68uevm0gfh9wpy3wtfsez9gze2rckmfh3t
+                  - type: private
+                    id: 6739490964141661673285851318704702622943939531466425472750356239296322179996field
+                    value: ciphertext1qyqz4ewes70l7ngjgfps4nwfmwpxy53c7nfmnszsnvklrz0t7f88grg4ceqdz
+                  - type: private
+                    id: 6734180694404603558838128612804179425523469653554552866569769012602862472929field
+                    value: ciphertext1qyqgk3js5s8yp4met0frmjhed8awxt26dzyhxgqcpcwatpzaypvykysreqq2m
+                  - type: private
+                    id: 5882520639085290626254712217176976001984051496763262811714572631015964660235field
+                    value: ciphertext1qyqxckgk7u0jq30phhsd86pcphgzehkv4xv3cjmpvcu07mgk954vuqgkefg4j
+                  - type: private
+                    id: 7291766681402960263568556863140123941811762501224294318713806905363720356790field
+                    value: ciphertext1qyq05gfaypvz62rq53epas4w98c32tfv0m3vcpvzh8gh896xvr99uqqvjwfqn
+                  - type: private
+                    id: 5035258056689604058117579668963497972840077858767214454249923657688778541402field
+                    value: ciphertext1qyqvtk07hrtasyrk50vm32w2rzx8u3kwfr2x3ry2vq8j4xqw4vqh7qcp38t3j
+                  - type: private
+                    id: 2482357052148130516971015732546616792304713889933914354193985479412832814763field
+                    value: ciphertext1qyqv2zepxen36derth9vppj2wjjf8zww49fyq3x28m9k09nnr32zyzg43mc3v
+                  - type: private
+                    id: 2343969025859447139180409549501121095802893053375404635629278000210968998141field
+                    value: ciphertext1qyq06cnr87mvygkvumu43a4cp4cfvz7sn0thm4430tcgcpu5tu8mqqsppaz9r
+                  - type: private
+                    id: 1430584659843913867138564234012997961393734800958586631232870981880186081448field
+                    value: ciphertext1qgqf3g6tgd7plfeddk2mgwm5uk9xgayl550xswr59wykr8354rajqp9rx4sdnjjw6vswux09gyepwxn8n3gpg8vpdcl67ulnsm4zayuvpspmj444
+                tpk: 3529690478287369466833246018450754894627897998333020372698576474613150428967group
+                tcm: 4126672860380618859667916608513630456689585549945822205275701207826869664017field
+                scm: 2360600870442711638834267026779742803143476339505054610622893443831124756587field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqp9eqe7dfl0lrxzghvv796vws4ecrylzxh4anxzwynjk8snev397tmphph0s4yqq4c7p27fau7zegpqx0432vvnc4w852wzxjnkggr9ull99tqtpmagc90le0l5j43kre89y6l26tx3p6escdvlvgmp9jxtqvqk69legs8np2g58jkmm4r99a6l0vat8wq9d6geudgsqpdtfn82ehf2naephjxuw0nl2pfkzp0nqq8d5t49epl6dxp9tzdpsnw22xpfpv3hfkres5u7772zr4cmk68xnnrz3l4er3s2mpvux0ypujzeqypk0k0sqzdyh6q4ch2w2l5avw6dlxwgxw89kekpvupf39ufkufdwswtjz0s5ygx6nptgza8twyntgsql0hvuqgeuhnnzn8gws8na37cwdlamdttwtj4gmxz20eyzm2aqywksm5x54hqgm5wr3dmd8f4mtps94ddzdxvr76jztrahyuxg0ljalh9mujvd6lk0qyhvug6pjfmdrrmuhu03dxma9ntn7z98r25fj22qgegtu2nzezq889d0g48lke957q688tljnmzfjgt460653hg90mvp39t834hkhnamtpwh5f7qs2euqwnl5d40mhud3a06dulrrmnf2euynxuaqj6gmrwyp9mqfwuzhhj8zw7jhe93a83u5wze20t3kj83sqkg4pdvcuget7jeww7qczwgtrl0jt0ev9w3f84mq7clhzx6d9yspxmc7z3afa3qg9tt82zhxjkscxpvkgexkcf3d2kvh8x9seh05sqr40kaduh8c57jcc0rxqdnzqyfapsqdfm3yfljkja2l4plxqg244qakmsk8uduw7u0m2yn0w9pv30vawzu26vh0m5vm3ykqk57x2ww5q27gj4pjhf5dpzzxytxwjed7seyln3ygltzxvj8rqkcjw5qgdp7cv4dvpqtpmc6zsmddeep6yht7rgwcarqjpyje8xwddl967hh7ggqyag3d24ew75sv8qdjd957635vfkpvjz7d7z7k9z4gnqz62rg0hvzskh6mk545axl5z24vrqq9lxm9a30vcf705czmywudualva2883qjkmh8gfxxrcrhqsft4f8h9xug4pf8x2hrguttyagvelft5k7jsq4xm8dkjj9q6nfuks0ls25cml7u527d2xpgaz448lnph6vasud2g9qvqqqqqqqqqqqxctkgxk7sdfrathqkg3gwyep43pl8z4ahq3hgws2t6g3deux8jesj2rxdmzdt7t836urdguymq7qyq8dezy7k6rs44rkna5klkz40uta3mz6r56td3huzf0awcxfqdnrwyjjtnlrdx4kl76upc763njvugqq88ej5lrany8a3p79qv3v6nq6w56hafj4x8mgeqhlnecumnseruqerxzagfde3dsrlpfc8hkrdj97znqcce04zgtr2gg4yads0j79ahzwmv0plcg5m3uny4jg5hp5yvlsqqqzm79ue
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
-        - execution: ~
-          verified: false
-          status: none
-          errors: "SnarkVMError(Program 'test.aleo' does not exist)"
+        - execution:
+            transitions:
+              - id: au128u5yndh75dhpxcve26fgfahqpnj0hq4vzmwpfye6vg7zu2c4ggqcdv64p
+                program: test.aleo
+                function: scalar_casts
+                inputs:
+                  - type: private
+                    id: 1262456696619943166364234082659947013206737023241139516234658278005927782517field
+                    value: ciphertext1qgq2ksc55ttt5yn0e9jz4j5jt2zlw3krf9l345nntdkk26t8j4rlgqzv9dxa6kk6gwahgukt2wngwtm92wh8f9389jwczcpfc3kwmd9dpsf49awn
+                outputs:
+                  - type: private
+                    id: 5077598038302065504689220409318402281918592556833927249738138706740989745040field
+                    value: ciphertext1qgqz60ns80kafrfs2dt4yuzrpl7cgwyek8uyrrf7r8t42tj9r968kzv5434pauvg46efs20l9xc44d9hx8nhpzjf2mfn3pcfgm8qzzwzzys29kvn
+                  - type: private
+                    id: 5978225890353511391138342761494280977791633974324723380625901259009187107671field
+                    value: ciphertext1qyqp3gjagk99kvlwznfzqta943q23q4whrhw5q8dkudfu8ynzhm0krqwlypmq
+                  - type: private
+                    id: 2511355861261365380643749320945349214097655650870618287316600945761394696078field
+                    value: ciphertext1qgq07g0m95thkx4frqpw29f82s438uyfpznwp0mm6syqjyna3dzsuzru3lrlr9d9n9val45qspkyzruvtsgtv0ffpsfxe67230z9xau4pytz29fx
+                  - type: private
+                    id: 7170939312401893418237731374323396533519456931152068636939536528132681954274field
+                    value: ciphertext1qgq8asd4fzz4eu98c8mvqhg065wx3k7ca8hdvp625d9cp7f9m3d8jza9wmfc5nkhnc0k3eruhu5s7sjnkj6q0dk0hj7fu8hjpn779m7xqulep4qm
+                  - type: private
+                    id: 4065578088254685344981997964588266298676249212110025605792372576850846131850field
+                    value: ciphertext1qyqfsamh566t8jrsnsmmvuymlgsfatyv9rmxqj6gc8cl6hg6xr3uxzq8m8pq2
+                  - type: private
+                    id: 7704457747653830719053666514333916984770458447874991441196122295997634947173field
+                    value: ciphertext1qyq0g4w0z73pwsxy0efcz9ltk8zxpez9q0hptwkcrrkxzl7t5z2g7zsez5jqd
+                  - type: private
+                    id: 3858123906258014198420457135044955945178271094779217702339583012150687216443field
+                    value: ciphertext1qyqqk9ng5afwwmjanxq2pcq52jp2tn0k7yc755r9vzuq7yt8343y2yg4fud73
+                  - type: private
+                    id: 4062319646586486723823213218555977968132622522018277952814859152487261751316field
+                    value: ciphertext1qyqdlqwnrupy5py8sanrk3xsakqkmnph33ugy07scgc8nfw6u0lawrsqvmq55
+                  - type: private
+                    id: 2619004865580956400228217138756805041747028103296622655782018559502719231808field
+                    value: ciphertext1qyq9aqfrvncsthhzgcd6zfrd35vhg8vrarfus4j7p88hhk3x9vxxgpg9xys76
+                  - type: private
+                    id: 1235947146947512792728581652141672150493598158656596883972915007385566005928field
+                    value: ciphertext1qyqgf7shf5kcnlcg77j86q7cxgnnynfaxqc8nedgtqg8d9w9lwl3zrgv08f5e
+                  - type: private
+                    id: 5910041238510472670731397153758625926340358681612684244064406787672610278101field
+                    value: ciphertext1qyqgmydd7w0gqe46huyj80mn3s47qcnl66wnvvcs85a9xktvnu8wcqq7s08hx
+                  - type: private
+                    id: 1476176029520115019650672302012973694101491708512734021359735152970321763739field
+                    value: ciphertext1qyqynkjqg3qhatz3vy269yyj3fxx6x4288tcfaty0u84rgw24a0mupcxxsyh3
+                  - type: private
+                    id: 7119475303519262929218966731872976584561767158010531452821935839610127422967field
+                    value: ciphertext1qyqru0shxkjy269vj9vuzn22e8sjjegnkcgjpvv7ja65kcsfw0enupcw2rwaq
+                  - type: private
+                    id: 738547097268602744497797157442423244975856926598236933692547729756340180407field
+                    value: ciphertext1qyq8f43v5l90ntx62f7fkc6dup2r0d76z45xatze28gf27v7q2rtspgfuy8u9
+                  - type: private
+                    id: 5187642377522475191017750131056711086423490876986716427292498517626356208054field
+                    value: ciphertext1qgq8z622ccymsh2tck3gzadq7jepjxrcr45x5r48rq6q8s4xjapsqreysvqfexljs347zuegrd0sq5zmjxq07a9k9p0dqzdkg7ukz0a9zqvpkmcz
+                tpk: 3257015668343738736535303449664873162539441799935443947542867818230381380656group
+                tcm: 3806388447009666508810503662079573583591873194482251408619411905316523610865field
+                scm: 2790307546796927320047093378898305140995965952534339752988105312260973283415field
+            global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
+            proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqq8fhunl544m2xv269a4nt8s307tk2ahjyp33hqe572kvm4mcfhy7u9rf9cpq76xlrkqzj6p5pxlcuqq9q2t2x04wvypzhtcgwcxudqxuupwwdayh2ymwaznycccfrmuntfjxvx75tkcaukk3s7g07lu9a97qw9623grf90tzlxgd53az5uzex09u2alezaj60gnm5c7ea50md2cv0ydqrq6ghsrh74ml5knswgyuqwjkd9dgkwfqr4u0pnattd6dpcdmr2ty2j2c574ld6qa858tmepht9eg4gmsnx5x7xj559hr3rg3yqwlx5tptshelsp94ts9wxuggrnsv9mqan6pd0wxwfzue98vr3u5gx6s7s4enyaffx0p2djaylrrrqp32mlfmss60aqu006wkmq4ltltqmcucqrdgt70y09z5evcdawcq5d0sn3r4tn30283lzys7u4fghqysj60g65cq0gewt75pllgmhrrhpr5h39892th9pl6pht4luvy2a0prwt5k747658ph4599mq7tgeqgtqxpwr35rqg9r0qtk4n2dhu7vqhtqtd0h6e4dvus7m2xzjjm3yf2vqnlxfjwzhzumzjt084sr96q8yllrpnnpd4pmx4gtf45p88zlfq8paak8tg4qphpvgc2th6jyad472wakpvdzd5fz5ufgfhppweupz0v32u3cjwekunw4cdzynjrcqqleg6csr3c46w980udsneswlcgvsv8p2f54ph3lx5e9cehxulm322taf3el8ale2f6mxjafl75hkpfe7cdgfwmqvnrtre6ngxa969xj3p08pkfdwfy9zfm96qchfte3qju3rd0tyev2ppjw6gf95r2raqsmvsnada9w565gmf2qds39ymnsd423tzfwtnfp95a9hayuuy5lezg6dhpw60gfs404d0ytclts44s9sxf6ch67u9ud0qyrn5h7nedyjqu2eca6hn2uqltz5anqgss2v5psvx9yekfzt8s8gqygrvlcsdt43fz6tys7cjz7mncsmt0nshpygp7ha3y6qmjekfgeekz9ac87esx5yc7syv6qe6hm60xnatmmzd3gqeddh55quw0qvw7rvtzeq5fcps6uw8ayr5eus56tepxu3s2ydghqp2jx9j5vrne2736jyrjzmagdgsf38hf8uzn9cmd6x8j8sz7u5wcfqvqqqqqqqqqqquywl9faatjv5p0x2mxepf37eyljd2xxv8dyk0ak7u755m9ehphyywt4ks9ff9ng2zk4am4qgnrdsyqzyyqpawzr3mjz7lmec3s867s2j3hm8njfclayhdggtmzdveutt2kgtvh80gg8pul2zr6pdm8fffupq8qyk7gcd70v0rxwxvhd88n07g8pk2ygzd92nltmjw89e99sdhaszldssqfwdxpejjvey8xykpmwqclsvpsangc8ydrmg5sdaztv2952un76d5hne2tgkhqzkfmjvs7vsqqq7fjxwa
+          verified: true
+          status: accepted
+          errors: ""
           warnings: ""
diff --git a/tests/tests/execution/primitive_casts.leo b/tests/tests/execution/primitive_casts.leo
index b9f018a542..6429c62ff5 100644
--- a/tests/tests/execution/primitive_casts.leo
+++ b/tests/tests/execution/primitive_casts.leo
@@ -1,6 +1,7 @@
 /*
 namespace: Execute
 expectation: Pass
+seed: 1234567
 cases:
     - program: test.aleo
       function: address_casts