From 2dba7f988456a500e8d6b67e6a9e0f514785489a Mon Sep 17 00:00:00 2001
From: Lucas Steuernagel <lucas.tnagel@gmail.com>
Date: Thu, 15 Aug 2024 11:29:51 -0300
Subject: [PATCH 1/2] Implement concurrent test for the SVM

---
 svm/tests/concurrent_tests.rs                 | 201 +++++++++++++++++-
 .../transfer-from-account/Cargo.toml          |  12 ++
 .../transfer-from-account/src/lib.rs          |  28 +++
 .../transfer_from_account_program.so          | Bin 0 -> 67888 bytes
 svm/tests/integration_test.rs                 | 180 +---------------
 svm/tests/mock_bank.rs                        | 163 +++++++++++++-
 6 files changed, 404 insertions(+), 180 deletions(-)
 create mode 100644 svm/tests/example-programs/transfer-from-account/Cargo.toml
 create mode 100644 svm/tests/example-programs/transfer-from-account/src/lib.rs
 create mode 100755 svm/tests/example-programs/transfer-from-account/transfer_from_account_program.so

diff --git a/svm/tests/concurrent_tests.rs b/svm/tests/concurrent_tests.rs
index cfe9f2233afceb..308c0ae07ddbac 100644
--- a/svm/tests/concurrent_tests.rs
+++ b/svm/tests/concurrent_tests.rs
@@ -1,20 +1,40 @@
 #![cfg(feature = "shuttle-test")]
 
 use {
-    crate::mock_bank::{deploy_program, MockForkGraph},
+    crate::{
+        mock_bank::{
+            create_executable_environment, deploy_program, register_builtins, MockForkGraph,
+        },
+        transaction_builder::SanitizedTransactionBuilder,
+    },
     mock_bank::MockBankCallback,
     shuttle::{
         sync::{Arc, RwLock},
         thread, Runner,
     },
     solana_program_runtime::loaded_programs::ProgramCacheEntryType,
-    solana_sdk::pubkey::Pubkey,
-    solana_svm::transaction_processor::TransactionBatchProcessor,
+    solana_sdk::{
+        account::{AccountSharedData, ReadableAccount, WritableAccount},
+        hash::Hash,
+        instruction::AccountMeta,
+        pubkey::Pubkey,
+        signature::Signature,
+    },
+    solana_svm::{
+        account_loader::{CheckedTransactionDetails, TransactionCheckResult},
+        transaction_processing_result::TransactionProcessingResultExtensions,
+        transaction_processor::{
+            ExecutionRecordingConfig, TransactionBatchProcessor, TransactionProcessingConfig,
+            TransactionProcessingEnvironment,
+        },
+    },
     std::collections::{HashMap, HashSet},
 };
 
 mod mock_bank;
 
+mod transaction_builder;
+
 fn program_cache_execution(threads: usize) {
     let mut mock_bank = MockBankCallback::default();
     let batch_processor = TransactionBatchProcessor::<MockForkGraph>::new(5, 5, HashSet::new());
@@ -97,3 +117,178 @@ fn test_program_cache_with_exhaustive_scheduler() {
     let runner = Runner::new(scheduler, Default::default());
     runner.run(move || program_cache_execution(4));
 }
+
+// This test executes multiple transactions in parallel where all read from the same data account,
+// but write to different accounts. Given that there are no locks in this case, SVM must behave
+// correctly.
+fn svm_concurrent() {
+    let mock_bank = Arc::new(MockBankCallback::default());
+    let batch_processor = Arc::new(TransactionBatchProcessor::<MockForkGraph>::new(
+        5,
+        2,
+        HashSet::new(),
+    ));
+    let fork_graph = Arc::new(RwLock::new(MockForkGraph {}));
+
+    create_executable_environment(
+        fork_graph.clone(),
+        &mock_bank,
+        &mut batch_processor.program_cache.write().unwrap(),
+    );
+
+    batch_processor.fill_missing_sysvar_cache_entries(&*mock_bank);
+    register_builtins(&mock_bank, &batch_processor);
+
+    let mut transaction_builder = SanitizedTransactionBuilder::default();
+    let program_id = deploy_program("transfer-from-account".to_string(), 0, &mock_bank);
+
+    const THREADS: usize = 4;
+    const TRANSACTIONS_PER_THREAD: usize = 3;
+    const AMOUNT: u64 = 50;
+    const CAPACITY: usize = THREADS * TRANSACTIONS_PER_THREAD;
+    const BALANCE: u64 = 500000;
+
+    let mut transactions = vec![Vec::new(); THREADS];
+    let mut check_data = vec![Vec::new(); THREADS];
+    let read_account = Pubkey::new_unique();
+    let mut account_data = AccountSharedData::default();
+    account_data.set_data(AMOUNT.to_le_bytes().to_vec());
+    mock_bank
+        .account_shared_data
+        .write()
+        .unwrap()
+        .insert(read_account, account_data);
+
+    #[derive(Clone)]
+    struct CheckTxData {
+        sender: Pubkey,
+        recipient: Pubkey,
+        fee_payer: Pubkey,
+    }
+
+    for idx in 0..CAPACITY {
+        let sender = Pubkey::new_unique();
+        let recipient = Pubkey::new_unique();
+        let fee_payer = Pubkey::new_unique();
+        let system_account = Pubkey::from([0u8; 32]);
+
+        let mut account_data = AccountSharedData::default();
+        account_data.set_lamports(BALANCE);
+
+        mock_bank
+            .account_shared_data
+            .write()
+            .unwrap()
+            .insert(sender, account_data.clone());
+        mock_bank
+            .account_shared_data
+            .write()
+            .unwrap()
+            .insert(recipient, account_data.clone());
+        mock_bank
+            .account_shared_data
+            .write()
+            .unwrap()
+            .insert(fee_payer, account_data);
+
+        transaction_builder.create_instruction(
+            program_id,
+            vec![
+                AccountMeta {
+                    pubkey: sender,
+                    is_signer: true,
+                    is_writable: true,
+                },
+                AccountMeta {
+                    pubkey: recipient,
+                    is_signer: false,
+                    is_writable: true,
+                },
+                AccountMeta {
+                    pubkey: read_account,
+                    is_signer: false,
+                    is_writable: false,
+                },
+                AccountMeta {
+                    pubkey: system_account,
+                    is_signer: false,
+                    is_writable: false,
+                },
+            ],
+            HashMap::from([(sender, Signature::new_unique())]),
+            vec![0],
+        );
+
+        let sanitized_transaction =
+            transaction_builder.build(Hash::default(), (fee_payer, Signature::new_unique()), true);
+        transactions[idx % THREADS].push(sanitized_transaction.unwrap());
+        check_data[idx % THREADS].push(CheckTxData {
+            fee_payer,
+            recipient,
+            sender,
+        });
+    }
+
+    let ths: Vec<_> = (0..THREADS)
+        .map(|idx| {
+            let local_batch = batch_processor.clone();
+            let local_bank = mock_bank.clone();
+            let th_txs = std::mem::take(&mut transactions[idx]);
+            let check_results = vec![
+                Ok(CheckedTransactionDetails {
+                    nonce: None,
+                    lamports_per_signature: 20
+                }) as TransactionCheckResult;
+                TRANSACTIONS_PER_THREAD
+            ];
+            let processing_config = TransactionProcessingConfig {
+                recording_config: ExecutionRecordingConfig {
+                    enable_log_recording: true,
+                    enable_return_data_recording: false,
+                    enable_cpi_recording: false,
+                },
+                ..Default::default()
+            };
+            let check_tx_data = std::mem::take(&mut check_data[idx]);
+
+            thread::spawn(move || {
+                let result = local_batch.load_and_execute_sanitized_transactions(
+                    &*local_bank,
+                    &th_txs,
+                    check_results,
+                    &TransactionProcessingEnvironment::default(),
+                    &processing_config,
+                );
+
+                for (idx, item) in result.processing_results.iter().enumerate() {
+                    assert!(item.was_processed());
+                    let inserted_accounts = &check_tx_data[idx];
+                    for (key, account_data) in &item.as_ref().unwrap().loaded_transaction.accounts {
+                        if *key == inserted_accounts.fee_payer {
+                            assert_eq!(account_data.lamports(), BALANCE - 10000);
+                        } else if *key == inserted_accounts.sender {
+                            assert_eq!(account_data.lamports(), BALANCE - AMOUNT);
+                        } else if *key == inserted_accounts.recipient {
+                            assert_eq!(account_data.lamports(), BALANCE + AMOUNT);
+                        }
+                    }
+                }
+            })
+        })
+        .collect();
+
+    for th in ths {
+        th.join().unwrap();
+    }
+}
+
+#[test]
+fn test_svm_with_probabilistic_scheduler() {
+    shuttle::check_pct(
+        move || {
+            svm_concurrent();
+        },
+        300,
+        5,
+    );
+}
diff --git a/svm/tests/example-programs/transfer-from-account/Cargo.toml b/svm/tests/example-programs/transfer-from-account/Cargo.toml
new file mode 100644
index 00000000000000..3b05d81523837c
--- /dev/null
+++ b/svm/tests/example-programs/transfer-from-account/Cargo.toml
@@ -0,0 +1,12 @@
+[package]
+name = "transfer-from-account"
+version = "2.1.0"
+edition = "2021"
+
+[dependencies]
+solana-program = { path = "../../../../sdk/program", version = "=2.1.0" }
+
+[lib]
+crate-type = ["cdylib", "rlib"]
+
+[workspace]
\ No newline at end of file
diff --git a/svm/tests/example-programs/transfer-from-account/src/lib.rs b/svm/tests/example-programs/transfer-from-account/src/lib.rs
new file mode 100644
index 00000000000000..08494a13ce0395
--- /dev/null
+++ b/svm/tests/example-programs/transfer-from-account/src/lib.rs
@@ -0,0 +1,28 @@
+use solana_program::{
+    account_info::{AccountInfo, next_account_info}, entrypoint, entrypoint::ProgramResult, pubkey::Pubkey,
+    program::invoke, system_instruction,
+};
+
+entrypoint!(process_instruction);
+
+
+fn process_instruction(
+    _program_id: &Pubkey,
+    accounts: &[AccountInfo],
+    _data: &[u8]
+) -> ProgramResult {
+    let accounts_iter = &mut accounts.iter();
+    let payer = next_account_info(accounts_iter)?;
+    let recipient = next_account_info(accounts_iter)?;
+    let data_account = next_account_info(accounts_iter)?;
+    let system_program = next_account_info(accounts_iter)?;
+
+    let amount = u64::from_le_bytes(data_account.data.borrow()[0..8].try_into().unwrap());
+
+    invoke(
+        &system_instruction::transfer(payer.key, recipient.key, amount),
+        &[payer.clone(), recipient.clone(), system_program.clone()],
+    )?;
+
+    Ok(())
+}
\ No newline at end of file
diff --git a/svm/tests/example-programs/transfer-from-account/transfer_from_account_program.so b/svm/tests/example-programs/transfer-from-account/transfer_from_account_program.so
new file mode 100755
index 0000000000000000000000000000000000000000..a3ef926d3747ef4a499aa4dd4127fcadbead6948
GIT binary patch
literal 67888
zcmeHw3w%_^b@#pd(2Iw}V?h?iS{X1h_JYJi67q|Ov1P|Gvhi9N+d+%81`O!6!f?G!
zE#Vh-k_J03l6+|q#x`-%nDlD`P0}n)>X;;LOxh%-X_}BU`9fOPrjH~vFMa2K&YZh<
zM-pJS?w9_)4rpi3%$YN1&YU@O=5g;nu<EAkLays*2s=M_05zGUWhUcvQ66WR)8s^)
zWlpJ6!njewiJNRYKK)H0ps`aSFwl$Wui|Ba?f7I&(lrj2i%{0Sf0BGVF1bL`HP&(=
zN=ALBUy*z}J|xMG#w7;!CdrqFiSJKMbe#8@^xS0mk{gn^m>SeGJUk4%iDAb%OmG=x
zc?Wk61H=31ZjN)i1V2_<$zK#MCI;&$B~}_^nZ`;dJK#B(zlZZDIYi#^27Bm};we-i
zg-SyH4b_kD6g`lbbs0qL<QC%7aX=pl*&4z3CdZNN%n40(iYW%aXmceIZ~8HEB%nPv
zQC}b?y2C+!+6g5)@6>OA+0pz%iK|X>><t~~I9qkvz$XlRhU1{zP7>pwznmC|m3|fE
zoMQS8PNU9O81^QMyu8^AI@x;UQu`mRllT#ioFLse_}yUAGZLeoi%Y58gVMuZy`-c6
zAfLlVPBAkk03&3lNSq9X7*FM)u{U7&0TBx4q$lW3GUPJ7sPj|NlZTtQymt#n=cLp7
z&^$)W-guDZ+WXL@20moqS_2<p*n22$;G+f>xn^%X#&Fh*yF6b%5WXH-#^t=_9G#P|
z?7DqIZ>r$u>76j`+$;3Xvz^(py~6Ln9xj(H+r)71z&Zo>82AnY?=<jQ0}q(;tp?t0
z;1&b#VR&Twzaab$?qfX9jC&nVhba|Z9;1Fl0F01rZWVg>ua)@Tc8O~wKS`xfBI<lv
z=<hnn8Q#Dlj(Z<DBJrbtBJqQt;W*R$3&zjf|L+ptdxqm|*=dRAoszifq{QotyoW?y
z*{b85?hT2&GF4wOu*fS@^<@K#yfRhC3@q}>Rvk64kyq6bhO;*wGU=w@s}362w7+Vf
zfe*4AGF2Zk@F4?#(7;Cwyw|`-MQ&Al41CPMVo$xHy#^jI`9|(lI}L2)Ue&{J&_2MR
z<@U2!**>zpc*?+J2Vu_-(_{mCi*f!uO(3Zuhv_8U7N?5Ry&+TYepBD9e0eH9oHh10
z83q-?pCxvum_W%FIH*^gu6hzO<tCeQWRE1@lp8W~-*4poUta%7k@Nl&68{(1uj4IN
z3a<d;sfqc({82}6G1+>^D_JVzQ|E7QkkK7)*O@no@7ILx82uJ?{!#MxS8$x2cbxUu
z+h1wm69OMl{VL(~)Kd{D_w-JQ#hmdR&Uyi7j6#yNmh`RF=nbVwzR{aijOG**KBwO%
za58H2ZIvnK=bLf|jJ`c>^zFaAexq+spLmnn|09w6810Wb-{<^FQm0nSPr7V;-cN!b
zr2${PMFLeqO$X#V(qm!K%iLl~%dM2S+V~r)--oFmfSFh+_<#}Mw;?2>hK})P9yNZ;
z`WnfHe<(dD_AD`3#tYIlfS;`TwPf!Qbi8Psn<MG!|3VHLxSf*(s)VyWAm6#2#-GYf
zleAn);_BrR`|TuW6eJTVA$%ClDTTwJM<EHvih|O46vQd4Z;%-L6tpu%27rRiXEr7H
ziQ5dlRRSwtxitdA?$4k#MXp_7l|$CdCo2DJm5dA2vnik#Su<||4>e`0_Ojk)&HNag
zkB-tn%$j);bmAyrLe|W~L43?lIv)qqcT#$AUfV-3+VNvrka$DJZtR!&6X}#atnC7P
zIpHZBT>tzb30Bi{vxG6t_a;+83JQZxFX@uvYkF#yD7xx<8>t~mCL^NIZPcG}f^}R(
zX{Ct(dKq$6qsFcQPEH3bLIONMuw7ryj3dmq(2H#I8J2(UDJJV6{S37~+gy7ZDZKtU
zC3*PFHrM&-*PaNbSNiFd1^5-5o~<h382vsDbgCR5hDK(q;tc1W7Mi&li7_7Q0`(jw
z{(uj=u{4m5_I{DZn%&<2h<q1V^6jRv8kFyc3AXF&HS$e{Wq=0TQ5)bF?Lbe0?++5+
zQI<-6os_LI{c=F$P)x|^mmt0PDD)~xZFUC68|a@3$mKsGk2#h+iY<Lx7|=JB3v?bq
z$A|iP@FQW$5{qYYek>&VuHz;af;Wlr11%+cNAiMZM;$Sk-ZV*9`_x96gyN_j#(D(n
zf0TnsPs}1gP>8wZ9D5sOZ@}9m2G!fe$xg0U;&)Mma>dk*L}u9ACH2MB|9nvBDL&+U
z75XP7<*`mCaWUU0iTtIMuX6FE8IIy3|JzpixK+MBP(Ig4nG|xhCN}h9C1k89c-TCk
z5ObviycNQ4G9>x2V%Zo{{&gP%e3Vf=F^80fg33F4pOp9QyODp?p-mtPx(?1g$e@$!
zml*VBFg=lT)FG#ULJW>5h0*H&1$CV4`k;OpM_PaO5owpsA5p?U(0MU8z@X#f7v=Gh
zlQnYEe$aW-U%!$bLC^g4D*y`6FMLh9B5*GybaSNh2pg$+$WP3b0=c=I?98G08RH!M
zaZGvv4A|9=J@?#mz@jLW$VfTeU&&>V<2Z8(ua4r4RF1w<{rDt$f=+hxG}~{Llh?`F
z4%k3BwIjd>$BLi5@s!y8A;E_maUA-0z`(@pDT2{|e?+l2bb|4{{l_^@nsJc5Pvl_B
z6?U6QY8aSV^D8OmQU(Rk{XVGxVj@56?H4~5@N0o|?VsFiAysbtLhb*=3aLfq(MBLr
zlI|=nFlIkpFXeLA3tjXRT7rH;oa>YHXNg_#w}awqC~0i@8~fEE<$`iYO}^Zl&rj~!
z|B%Nn$mdOv|0e@-4$40lOcyiY=)9H=PhdSvhvO{gSa=RM82Tgnb?$lV@s~wL_=J7N
zl!<xk%#ZWwQD+qcX_`kN*;sffkDuWD_f3lqW{jvam&?V%Gud*)!Zke4ydM50TJtI_
z5cu0$z+b(oXNK%c*D%QY&W9|%(7vcMl@VSKAG<9&7&+kML;)XhrW=&YYgRexPO6^<
zG=(7E84C}l5&HHh{i)ptzoNhA?$?i4^t4}t{z#Nh0mRQaUw!$aMHe#~<ZvV)2k`w>
z`t$9&u@}0&@UBDaY5W#pRvu|Tv-irlJWNb6UyqAD$}MMfr+iRi_1nGuVt2i#_Oe~e
z&Jw!bexZ{!{)UdLtnPCe`neT`?k<V5v*P?EJEfLmt*>0v#>uV}JZ&G=Lk06k3fdw4
z*AN)Lxs6h8Zn4Y<+P=e-%<a5U?72N3V;(|2<XS@Wv3J1OeWOP@pQxP#UQ?i6m1nk0
z<f!&p?V!$c82<>_d-t&%qmKB4s;6_QopqF-GkE1tDhl4vLB`KanP=cb2ENq5M+_|T
z^oEWyoShOk`Ns?_{g!<XHGo341Ffbw!x8Oo{*v)Jrd-Aey+h(RW~MA)SpA0VJk^I2
zj1NDTSm$#aQ1phReTjOcVtoBE<JtPvYwT^dS?I*vMGg=XleOIYxxDT>`0|nNcgn@x
zbG%EW9bN~c^STZc;CCa|^(0^fZ?44I28olA(a&{qc0HGh+`K2HoXSJ}b>ENDewOZW
zlC;kQKBCUQiX1Guy*1LWx-ZaMBL#I|p|?i*HEZ_Uy_z^PpzD9H#`LSdUoYb_cPpbg
zs?T>%{v)Y>NYY{NPSSh}eg0fP@4bB|8BfQ3)cF|0*?FQzxksdYxv?|7DQU3JuNj}p
zZ?D<UQGPK#;zS}i?mqZy+NZU~8}fk%{=Pz8j2QljKfWrYKLFEzCtD$Ukd<VAy@7VN
zAiqq;QMSU^ug$HLO6QmF7sUV_NIJ;ZBg9vZ><K~=3sVZfLruT~KKS}HB`ANM*_YS-
z2jC$npSqu?{Q~{qd`$inyr*P5XXl#sQF&nac!pkfp5S@=WxT5%CiOf@^{`p;^*j`M
z3%;}S#ExLyhxTNr;}bDQPHs@*^5qgkj%zvJ=-UV4oKe2l<WuqWM7WJ&UcZ}iYTrFs
zhLL>`{q**WKHWW81RUJQf?j6VNj~Jd3Htf8z$!P@PuqT~{@QjlvqtTw$SpHP?Wf2m
zW9Fmmd!$|3kJ%}vy&35bwa3{hMqbA5M4dZ%oM64P_LRs3pWwfqHiA??a%SA*j68Z9
z1vlF)<1RZ->|vTZ1}c#*E@!_B^BI-|vEo`T5TkVJ5(nv6X-1tnoSr6wOi6?{PW-~+
zGWH9jj+`H+2`=OO@w~qTy}XIw;C%t~bCkVRp#xQlk^W-@M4f-;cB0<d48xm3ei`rV
zAYJfe0t5ZqC_hNQo!}^QCF9~QD}NK`ivpuO+8r#vj9~9#`k<im0Oom>2hw99NI~c$
z*8PKRHH(<A>NmzG%AtQsXuNw*Nk7D#d5nkp5p<oCeO%_hY?<hB_TJ+xk96@QY7_cv
z9rstPILqZ?#h(?vj2)R%;_|v8>U^0;a(NG<v3)>7hp3rTO!$yv_Wm<W-y4#8t9u3C
zYcTDjLim=Lyq+`EpG_B689n$bqX%bL;<|q@r=*1W2#!0fgME8Ntw;Tk%jFn<MlRky
zX}9;R@D=1Ae2mGz@guAIm`z9dPt>$<g4%_0(>~p&ha5mR>ijOtD_wj8>u>f$Vh>0!
z-BQZebAo*PRL)P2kTdjO`OGzO_3Xc(t8KaKIDnl*zRhRm2~(c<M85V{vS_>$XMC&Q
znlQSEPJ^_2jyubRYS{gt{wC}?+K+ztCG^wCJ?dPD>hg9v1&H?EeLE}l-rXzxbvF7S
z1p2Q9^gmyZ84txxydx7U?slOUDrfD-IVHvCtxrEdJ!jD)j3ezIyFcu4FvmSIe7^Gg
z>jL?GlE+o7xWmOhy|yPmJ~xig8?m$NSnebB?fl2n7lLvgLk=D7#1w^dwO{3raSJ_3
zOkT@;+j?q`C)HD1o?e3(pgE+K=PTEP!S)#a9IJkn8`ce&S#^9XKRPdrIo<{#6)A^~
z&~mY&U$}9CbM^E=p*$sVFDjv+?Yz79-?-n$8V|bPto{_n#XG5ex=)oK7jllT?aAxU
z`Rl=8P;O)B0p=gH(;p8cH^8=Dym7hxwHqgTZ-(5`Z<5^BokecC9u3Y*WV-Y6Bc%?`
zt8ZLxAAi&2cJ-Siw?(g0ZW#Z*-u<V^?cp~~Zqwf+xs5-I+=6-rKSbqqZofhnT4UO|
zG5v}PCr<UKJ@fs+#qE?z=?hyqp5wkSy8W)@Y=7Th{R>@}z}~(3E3$XH3|^<idAs)+
zPEh~Zx3eSsjvt=Y&Iax4NvhBHFMa>!J6wLmJTfT!*z?8+d3;p-!>a~iE#W`Doxj-h
zbX~0Hd1(K4XfLw-QK?7myYdJ7QbSof@4RvQG24w3oj1eoej5E}_Vx1pCi9j0&DyRv
zGH*Q>?60%TTO_LghvQ)r)sFEX{`MSq=napDcb;`Tn0-p4m;V{#;dg`bwZ=ofzs}#^
z?gzcI^b_VowOi^}M4jU-zkGe?@7LTD<o_)7!tb{0)p0dqJdarKmW?`|&)d&!TE^}3
z8tOQn;}(ssA7;I(b`tjCMzn7%KiBBNx$M(bgYZgd{10)&_v*3!)^%Ud9$k5s`bM)~
z*Pg?EQ4<38>p5n?wu{;2hA*1;v99p@<r!I5>U|D>{!x3ooV$hW?RS|#_D0!X^A4JI
zsF9DZ^Yz{%<eDJ9_57k-rboZt>idKrwZmS$Ok{J4WPi&)KOaM$!Ty^}@>KqPdWJvk
z*YcfGU)HQ2)Lz2=Lu2gzedF^$hZ84yZ^k_E(_fA~5B%r%_s3aaucyCXqb<V!ivIov
z<d9<aXn$SyGgKeP>TkP$N7^H30X;|cI@ZZwBtHE5$Fd)W&!E0FQ9U+4Z(QGEZ<@Y6
zdlr2g)6X4bF>?D{`l@y&Su~ybRJrSUb1bxl3wQ@)pWIt112ns|MbcNox)GhF%Q*H{
z!g>LQ6iMG!azwE7pMRd<r%QgmoRs%`x`w_d_9uHmoC{<x6+ZOb`rPCB@6PHUkG2ny
z9aX;H7?sXw`?#5){#o;K)S3TlG{l~dMx%4@S?Sz*-gHu+GlGvNMlG-NV$hD?5#+=7
zllGmpd~ja91?By6zr*+Y?e>pW?~S9@`|9ZBMNRzmmd<y<_0}??H)6eI=Gi=d(?;!Q
zJ=ah^N29;^yy&+u{cM$)r=McA=JRy;CAf!C^|GYl6MAtO#kil`b1I*X`zm_^Fy{4F
z$cI2oWcd6R<6PT|^odkP^AZ1&XetbPJty+?v+K-#YD!1Qu9N%LdY>BQKwrmU_C~Q2
z+2-S>ed3SkdA3(W1t@s83Z3k{y^QDGD)nUN?O{0PCI!!&Tk1Um+)KEaa#a3$9+jOZ
z=Of-esedlv)S;fIg%3P`bAsfd_k@DyTi{6VS!9jf@%Kx~ZG@%C-YfH1*4(r6_Dg*;
z=PsjM;>Y+)m^YZe5>9q<cSxM1b0~x;oz^1O`xD-KMPa=aNOhc<v#6sf=z3lG^;QT$
z&)g%qdzRcE(fhZaaqRD&CG=4q!CN7A((9D??%A>*i|4j*FB8{gA*W<m)~mf6YPei7
z6yw;F<(A`Zkbc8?EA$GP6w&j~+OGM6zt`}&OYrmga<4`GXPk?R+>bCV)z5tTK~4vs
z;2iUr^ur-e&py77<EZmBj%_~m{)yfb(Q`WWOK`r<^)F|(9q&Dc?}fs5Ec98SYtH+1
zUd-zA7v@|&%3P70heU7n`2%`hQus8_C+K)l|4Yx~y{AM!b$-QonoKN3nLDCu>d)6J
zdKl%?<b1w2By!B-iJbI)p3?Ep)BSdc9JA*6IqZM)IuT4z$dBs*X;1S`)2`hjpIgj0
zHqYtM^VFwNE?c!p@N|5eaSuBNjmge4^_u5)Vy@^9?B1V$@rz#s4T{3vGa}bS;2v5!
zV6Rlpo~XBz+lZ2MzuAmK-OtzOePU233VJ^r@^1Why8lon`~>gCfKRnEz}pz87jzL+
zpJz^=#<2I4(DCn+J;cclJvT1$df4dM01>31_u0Kir2)N<)o^<6BXN#19VUK{q-XJP
z4h6kmoDB<|>>5M&fYhV+`k?0*6F!>FG07j}HyQeg@bj$bsb>V}-B-)>ajyVPj1`d}
zDQJ7QrC#E4I*znIA)kpP$DFX?#7gS89PA;!>HcNzNltch9TKD5U8HNCIXLqAD1m~P
z5kg+S;CW9QeOV`Z?L94ekzHr>e%(>gx5tl3Z0-qU?>!;#jVC2G_S?7j`aH~#)B|}P
zBKdgwobgiwT+TZn`s_X3!!Y<}Ir8a-$Ord?J@dR*hZ#Tm9F;e;o6G4vH<TY_eBnP9
zBITkmm-+|&r1xQT9svHY=%SC_llPw&8Itw}@qSKtI&M|}RZl@@VnB~mhR<}Ul<&2q
zL*-<9=w3x=w%n@-Edg5&KWE6_<oT6YD8>2_OvjWHb>7BU>Ckw#W9d-b!ILqu&_ZVd
z$BX&Nj$k=riORK^a^raa1NhjniG>#PK2Z=K`~Feq7K2~rV5R~-ZomMawlxa)#mJ00
zZ=p}LYl_^*A$-sY(uLiNI@bY>@FqLh5{ZTC_{pFk9!6l)Sq?PHU%=<^u~0p0LJ$x9
zN1ZDTUL9L>@HvT6f_UIN>NFa>dbYp8e8?^8EHe3ZJmUoOp?6V7=GS04sj`!rB6<}I
z!+WH0*uW9tU&>#C_;}(b>Rd7+9sL(|W{pUPWr#ZQ5$PDYdfzrkAN>;Lr}+!pkN%6Y
zv<uU5Z$$662kD?+qUJfGU^-f=&kY6Bq0jmpTreH|5M^yEtQSK<pZ^Ks%Y6hIpcI1X
zIEqQqb7qiV{y8&@27;~U%rO2Qr15D#=c@Z@nEy1uzUcF9I-l$yvT;Jtdw3fOAMomW
z`k;`e+d1Gf?N(455ML_e*u5IrzF!%0w~BptUCvkigB?K&qs}JAPrDOk9J`muICh(4
z9J{Nzy?B3%=!fVZ$_w0X%1@B-O!tj>Ji9WUQBL%vmhn(dU~!n!?sys3Zk>#4x1Pr}
z%89<z_~it?)zmj##<!c`@eO>@qZvNFz&9EEX)?}9POuZe7ySZNk(a<?7h)s_VwLdl
zZYIGO{X(k+U*Kg7$J~o$+*7-uZ=f&w1?waD0yi@pb1&lY4?NK~8NZN^z)K9?47LL?
z_d*By*KtW64+v47b%j3Qjt0q(IthTR2Vz&mE`Yw+E3pfJWqi-|@x@Nf@nIRyvwRpW
ziaPmz5xZOM=MzcFpXtM5_w)TC_7|-Y{>08g`T`>-%Dqo8F$exIzi~`TOJ8{%`|F?M
zelxU5@{tZd1$Y>L^NA6}7++{7B%|vrz(KnJ`d!^Sx;iSrz0gZ`Z6TOJdLB^xu@TP&
z5<2Wbhq1Ts6LjBi)AQ<_h}(b89`#*|dIIhFdv1^EU&`0^01xe$N_A;_yeAAldhhxP
zVKi&*Z+lOOT=f37_k=K}_qf?#pbEBB#5uzo)clJLtmWq!Sm`e`u+}g740>RAOT`M#
z&z9|EKM3j6L|P|^UzDv9KPzL_1KIociof&}7vp^qJYOGtj&LX7l;q>Nz)dg9cYHz~
z1HZ`oK^~Nsg1(2!TO{r9774%aqCE7l-%qoE4SR0zpcE89_dzlsiuWIR?ip8{)jtH?
zGBP2-=fE2Y)_TT@l|SDfG<-sjA$rjL6zPwa*ZD-}DShq;c$)(4(s^YE5s4EW%qtLK
z+MUjJHSNykag%nJh(1ytLd<=yiS;=QQLw|53Vx!_9?nnGK0Yi#+O1(bmUb5!dw-{8
z=O1Hyl#kJ0)Y;8&+MU3Da+>A^SeTf5yK@o8F2hl07vrHE@}ul+qrMAxT&8JWfxU^j
zx0w0DWjN}{Jz|s-dvrg2L%BM>@f~yD%AQcny_xT0!%o8@MxB1fLpgyn45!@%X5PDz
za8RFX>};2hFLrmEj}Lz?=3d8k9r%ECJ_db(H~RS0b%ejd%+D^*H&JH;=K~-4Q76T4
z%)N%kUCdo(<}rDWIO^b5IN2Tg6MJ|k!!h?NGcR6k=1G_PE9%_N`M}2riqe~K5Mu5X
ztS>S5N}dV8|HYi&%K5+-cs0W@cPY<nF}K<H6)yKr)Va~e7r*odgWt#=D(2t0lmhy-
z6i3-=3jYGHH26!{?#J8)<A=Dczfs5dLxd&s)>Q_7k%Jj2M)UQB9J{Qi^u8m`2mjDp
z^_OC#e;9Hx(qGKu;78_3v4_AHxSqZVe==__@L}k!KQGgF8ioX$d6~Y$6sf-sdb1fu
z>xCZlN}oqSzRZ&-CHZ7VD8I&sLkwe7NPd`MGcVJ3nYYcnOz?EhH}f)mk28!^DG$p2
zyiDK4PeH3CU;GR)OyKVl`iru*N<LZ=<=z*#m|=`QfnkAlzYFETnV!c1Mn9>)4j475
zT?H)ul}q1*9;RHihp>CdQCOd^x8I}CMo5rT+O1}M=m&z%KiD^bKjH7^4{^4C&mdb>
zdm1V5?`wY|dHBp$$$L*QAEF=ieI>yAw-Z4;^BxpRKXxjZF7H9X{wVr6d#~)rfgZ-O
z?nmnWqwafQzI-)6AM*w55Y87a45ULovuJ=s9noJrHwgXNLCA56wf(@udnhtx$7SAr
zhB7IDFTQ7y5?J@su#a3Bs0aJC;1_h>LiGjTtHbXPFy&D$*nZ%zq&jlcUIf4&COFDk
zLg@!39s6I*$DqJLK7L~Hfqnp;pHrD!rzua&QIfxp1^ET#q<$pMPi+3)Lutw%%Kac%
zAGHViuJxdNNkBiq$2$V$0T-dY^oL-tBeh>T?){4q{ScI6u>B{4{7^g5zo_SBwEqBC
z<KS_;zp(tRsljs84npDQrw^WzGWZ0Y4Dk<r#5m7X{aE-4(ETy!n*Mt|a@_>E7&%})
z0K1BMIHpE`B<j!ptnhh9q{F`k9`Zj<35baeJ}=AMvwdra@s}|UyW*Mcgz9v3q%-O_
zBfYyP-G}s4|K@J>pY=RFd;e)}r#`n7lw)u_jHM6IgHx6qZ?yE_g+TlD`Mg-@Pq|*b
zZxZwa`$-N_=TA5v?fnMvuI)zrQUKQXVxT;!fuqk4r`@u%`hjRq@cc05=BPC31*IRd
z^o6RVar#-#&-;UM;}6ywe{dc56Uv|Y8%E_1@Fo7)|2E~v8-K8l{k@pm#{MA6b$mNt
zF6w;T;M;!SZ9MM+e~VR*%*W4|a_R@(YW%<?&&MeDsX#s8Pv*TpFy+(_T*G!A_{~;5
zGH-p*$A_N>|MUWifq$_@e>$Z{o%i_okY|kcWiSr_|LIZbW2FPUn~fiM3(sr7zrey5
zzu{4X-)j88TiG7~{&<TY>5oB!e~T06dTwLS1NiT>@Wn668vHfJ54@e_#`qRLB2ONQ
z#DCKGfos{W0ROKn`hwqW=(ia^a2@M2@Q;qFkDCqt9mWs5i~S4W-(t}hzoNt7-)a27
zx3Rwg{BK$Oi(hp&<0JnSD_{JkJN*3J0shqAM!9yYoXGuFzuX^Kd`kY!e*SZ#=8L}#
z`n48)Y3Fr*`RSvUU*YF}&?+zO5`P=?|2@zyj1$rOX1{!yRbKQ^Hd0W2XP~_9iz7X3
z@kMR~jgJLB-CiqS_`1x`f4h}0^<vhN@wDCIOZ01&pTEn>7rRmI=YPSXFa08ZHu(Qb
zE1%3e@sCk1^}ofUFZ_$2jq+_)zO)~$kn&3{`cfWTNdBr(^J!u=`JcAvi(XI%n*3u{
zKGtpe9tzAaFA^#BvvuCFVND+^#=QHzAfMFk`BV?^e@gQ=;@Kv~d=8k7B{>GH`yY^3
zi{)p1gaoeqXna2VE00mdim&_fpkMK~kc<TAIr<a)JQI+E?)&R}`~Ty6s9+i1jQ3Er
z8+oJO^?f;ze^($~<&S$Oq+0AhBG!8&@Fx-4D8|=wzW-~k6wr0#Z}a=VU>V*FxnrdW
zIooo-CXlZ8Emi)p5UeTjvmD+g{1dT@dcP?df;Ex;;g~)k=~yv#Psq;na#XNy{;PkZ
z@ov&%W`9BN>*#*H_HTBY)C(AN^}dj|+|Z@*i*&uOf%c7~ai6D;T$F=Vr8P(3y@tq9
z`g#tj^<sYl`7vBjqoDK(_WujoA@{ek(})2I*>k*yP}`HOl6w%apF0C~Pv29o{OEg>
zbRPrwK|7W;@4FA)+r+vO_HK88F66V1(o_%h{VZx9_5L05FCsbmcrxAk=OJF7(TC8b
z++I)n8H-H{N*DL_fax`HvQyq7G14I^jBn^;?jcD}hUEPmUSB0A#8kfwUD#{%3*H}t
z^4cGXhmk5UVm;r*z8?b0A#8g{=I!+h1#UC;B}u;ng0PX8W%~4;V<}GeW-zPLK2u4E
z`Gs6wB))z5405*557Pet`eD+Oyow<{h#pAly*l8%6rh9qJqUX5M){9AuM8ty^-}c$
z?MKMpn>odJ`W~*JKAfa_?D<unj{_fvNXAL_#;Jbuo(<J!UAO9Z@rKO39XQVv{CV~%
zfziKI9p9H-5u9&{-$jIi{j7Zfy~MiuXaEL3j}R_m&{4asc1g#heI5dN3=sW<`MngC
zPscoYA0@*i<HY1RVdcm5Xmrq1`S)<mD!^}}PK4dOp5g(DGgZG~xhr2gC><6D`6oGF
z>fb>=2DV1pDCY7M4<P^kUvqivmq1mcyn9alVD5M7doAytj9lV7#SzP=isX~Wll1Z$
zi8E$g>O7jggak@K_qCPZk?j$Fl;7)#ucK5hbH9-z!B9PYFUZ(*<W8#QLoVEYiqA)W
zXX6Va5^|*f4){B5@kc7=c$=iXD!=MMN~CaAud(YXfpt6v$3qV9d-2N)p1#K^xDQH?
zQTflALSMJjl<7Y=^@!B(j}KWc`S0P;_sM#m;j>o^K=l(+-&Lu?`De6yde4DRzr5ko
zl=s`!A?e^R1^zY*oc(~*3%i1#d;;$YYL}g^=aNwxl|g(hm%D_?INC1IsiJ|P_ZE}9
zdqm@(`u|j5yr0i}w<lmnbiT_zF7v0ip_VK5QgM!h?>EOh2tKBgLL^CJ5pe$zl2*M8
z-ouL!zj|LXHvsIsTwp(M{fDo79%*MbZm!MNNPi*yM}5D7DmqU;@xw{k8hp!_^J?M%
z>3vOx&)G7+ak)UdFi&CS_b&Q_{`zt?b{2Bmw3RYUP`@B(=c&2*^Nwc)5$!!f=_B?#
zjeP(gX9E2ZoM)*@wll|xx6$PFenNnJQSbTMY3x_RKE_;W82rjohV@?1TxR?*Dkt8y
zOv9>O=1;`gX_QC-`FGL6LGSaW>7EW$Fh=L$@LVx}UQDsxZ_($GU{_$@V{R3`Fr9PO
zLxgnS;=K5(1OBDwPro1dv(6vCFW;^h-3NojAWxhaw^3iAi81rLJKAsPrz{CR$+J$r
zKaoCzM2z2MLeTqt9rr;CMLq)*XN(@|Ibnf3sc6iV{q^&b4>9bY52D(0^)oeWi>Y77
z1;zvHFO}w?=O^pMU2}F2O_0|1udWe1*7smJ*{*Tci};-#BtI(Z-``U|B4eIs*)s2E
zTqo$9JO>>}Q11aMf8Y!0Z4_g@r|Xv;ln9H`Mlq-N5I|uE{b9Vc(I2Ppq%Rb95HfWg
zzi*J!w{x<ygUlQ}+BS-jUP*)N_zB6wC(i4FaQPa^gCACq{;)}>dJ59PBn4Qpg7jrb
zrF7!IAbqx^W4;DI<(|Nh>)YvTW}ft6?~{_AnJ4~K?+S&*AL%80gpBd$dUq)-&)xLi
zs<5mhdKW4zzZZu7!Vd*VD#?A6en-=^zZjnioDCoHSNvy5*+?CR^>+!-zf|4u4oZg}
z!tNv~R2%)&br;eXQGi~6MU(@qew@-nK8e=Rbd)QnFqdMN0_uT9L;5uo7gLP-4^uhJ
zD~ZY5=o8~^Bgg+Ue*S0tKoK(Y{%8E0-}oT|Nde;t9trH|(N{Q$KQNDej21Y)KeS)+
zu>PWB-eG+%68=?|vN8)Pg96~Y$aZfr_G<Hfu{m4xz0Uh(zR4Q@TI<hTBIg7d;~&xc
z5ZPAc#J!~VLdTiDH@8+|^E{ERA7S6deTTF71AJhff&U4AOwa$Z4j@xP`>dFO$d4VA
z3cv?~J|7BtCI294k}l8X0FOu$p4>Cd&NI*5>=#_fXCKKYJ5TPLs=Y%x=CSO&quegg
zkN=gF!KXgIs_y{~mV;f^_xqyUzJhWGnO@fX-c)eC&_jHve007>f4-AwjFiU`X2u&t
zZSa3&A1Pb4R{9~u$$aiR-I6nrJBys>alzm{8OTTXlf3;xAN^HFnBeajQU#mu;B(&n
zRAH1);i>-~6~4SdnaDl!e&66aq8;`12_EzT{fGIY^R-WM;^4H;{o32ViQD=7WWhuJ
zpJgxlOF;kY*#1BBo@$qTGtaJ`C3w&$1br{L?$0X!=&#o&FU*S6E`2`D@U8SzpVe=K
z+@Q}}%<o~@`)6oJQ&5l1{wmT7*P*ih49e{U$qoH+jGi}FJAivssE>YUR`lWkxTX1-
z(oYk<zAprL2w8nD&OEmbf2yEf^B#YFzIwEE;8FD7LZJsfzHj)VXjq>&%FeUK!I0p?
zZ{YE0es2ctZuu+8!>9iqV0}(LQ0^en*Y$bsSwpW_p5F_uKTm>>!1{A-K;Gydj1TPd
zA_o8XqWHn}`j?1~$~kwt)Ths{>+jF$bDr7eeJp>pr)QM*1pCo$e}VlNrQLhpV7qso
zqut*pUPo*9v%z*ZYP(Ny`}DmjdQPhE)7IZvrQh3RJZ};Ni~c+*<)|)!%{mT~00kYN
z@GF7h9T5DCn7jOW)l``m==ZOg9>yJ1+P0heoW72`r27zIk>5)7p`hA_Wa%KMC+=I%
zv5seb4~ovGx^Gu)><q>cT9#ORrIa)CChk3wDmrZx)8k&ldcUuFHlsPQ2y#X55a;6f
zBp<s~Vxz9Ki*+^6|2Q6kJQBCbdc*&n!g|5SIO6ebo@Y%=y^u4|K3LxJb_Pklkdp8Q
zzF`*-dqZbfj)|!;WIJAwz`0EfvOO-N00{B(X5Pm-ZumF9`3=%3`c3&-d~=*<som7<
z;q|7xM=(Nev&7F|AaVH}68rcjfAwRMj`1@<0TAN#rd+Jl+#|eC@I3Pz?97#OIiY%`
zq?fOd7~>mZY&n+~$XVa#kXR$@Ir4X;ys2;IbhDqMbWOjO-^OT8@3j)gB1Pw*JBbms
zTyB+=E5AizJ%@lkasN*zgGE90GjSg&GKHw~9QU8CuZJbu>8)Wjx*uHFuQ9in`P1J;
z2R`cY&t>%a=$%qt$IHy#8JwW!GkQNTM*D3D{<*R>PBGtJeu7c>1NN6x(BFr&$8VDM
zn-H{J-T|=}+OO(&Xn!9D^Au*b>|lB5zLBnDd#B2p9C$#DMf!%pv6hR{uTi7C&fmJv
z>{S~7Wjb<+p9?T*=w9R#9Fe~YZ<hLHgTNc9opJiQ!^D1l^m`G(`Z7kJy$69!<$F2u
z>8L-X_usvTWZ)^@>y>BBmG^x3?W;BQnf)&K&yY)RO4^HaBEU&E!-(1Dy)2*J4Wd}y
zW+|U~VljWweU3KMuh|>-Fn)I3ZjO^-sZjSLz<=U9LIa;Mml7x-y)KXrJ%Q%yIVE6V
zdQZgZlVW|3%C#aNoe#7<`g=-AXPw|{xhI7m&+L=yIfh+6>8v?xIq-X##V`0%I^I*#
zetl1f@|EOYOCkQvb7*?*qW!LT`nxDmX9e@2_fzz_MPCk9d%)L1i!aDg`BM5x^ZdE?
zW9I%G_m}r%oa^)6WBTm?gFJ8K$iD0E(Px{De`nt7p}*VXzgOkGGG4s*N&lqw)G?vn
z4>oa}`H<M9jxrhF9aVDA0rr3IKS-VU)O!ipbtgox)IV)LCa_t*jr6a?kI?>AeSkmr
zBigu1^6gd{e?wB2`lVy_E6RPB%VC$1`p>-I!C&9(H*`q;M@dfF@7k~We5#&zd%m3%
zK2h%ytKTTe?>E&4?Z3<=G9EMc$+*q6Oa1;hH{)B!wT|DUdG7@5x{Px%aBAm+&-F<D
zWG3uw5c;Va8TW0J2|J#o`2@kMi6a{I9I9!QcKN?ESrbRGQOh-2<-m{XamL((X`?ix
z`|X}h00o^#^?Xq6R&Pr5GD-KQ5j<SXppfb{_Dq_~`=n@J_C~RP*=Dh8NqV0I0{W{t
zz+bEsy*0WW1AnnneA2w5cC0tfu-9+wk!8pH_uT9^^*T!h-~2wDy?&1Juejvv@#hb%
zr_a=5>>l{PBEY}$rSeUh=h0Lyna7QN=req0gkEsnbyoY($L#0V(f!g7-gaXjdg>UV
zcZabL_rE^-V2@*6cbv;^=r|pF983TIr;TG#Hz#Ax@9{n^Xh!z^BA;Bl#J)c3IQH*r
zNPf~4M^xw4{Jeb;BLGHFKUVYe^N7gZ+awGnX&we2y(#fell1&Af;SjP<aoPA>d$Ab
z^JSD*{ZV_R_uo>3w%rhWe>VD8S^62IA2ausGUnc0oAFz6J<M+29?TLL`W~EDV9#e#
zmM`a4!GqXPPa-UGNh}dTs(sA5amuCss+at14TDbh7LjLmIT5Cybkz?G-p4!f6Dfnw
zH+nxIsPD&VzCrs=2Ift)?-TT1eZ-VKjCCvgfXt0Dt^mhT|BW*LX6K!f`Bc~IMt`#R
zAD8s|k8<oap%j&CKE!ac1X3jZsF(J~+${p{mweCM3))CRg+0~vWx1d`-ldH0U>rcA
z{(I2$cg%F2d{X$<^@r+Nl5h7?{T<RDUP|Z%@6ljB&X3<sjDUL!#1hww9>aPI@ythz
z-}fFyqkTlt)2Q=L(*C8joDnO%nPWU>h^EXX{+lS)_c-bE_PT$p&zGVeaH{XKQN8f@
zP0YTj%FEk-gzMG)2yYfjQ#~~t6+Aat*v_{wg5ORm2L802koPf?ORRJW<LUbeW9Ikf
zNBAil#*+WlTs~#?sXNTRUa#55&zSXOYH%v!sh_9snegc4ILOfZ1n_SZM*rykkorC9
z|N8PVzvrj#%kdVAe6UYZC#uNw?!FD$PxCL)2VMWY5Mu6V92WYM-k^*N??D+CWApbS
z^RINH&I=5`e*QjRK*#1U>U@Utef=`;8A|k`HINf+(o@(-dW~_G$Kzy2-v{nZG5TZt
zoDuzO?qBA|mvo5QKYd>XVAQO3F1JkT@z00uFz*TckodQFUlIcBVS-}y>r;=)yrA=-
z`h~#5lR`G0u7lx!0ww8Q2}CFV9>NnMM+kvJ5Fbgpp48`sRS%Q8kMUS7m-8NpbFBL=
zx=!<+5`D-?b9n#wX~NX`HOaSS&>vFXdqm`&z-1;1djAFU6>?(5ntl!ER~tW|_c4rC
zl9PG9TKD(UrE-%dR=Sb%b$?CwWus0fr$c^mly8>tm7w<qA?W^yK1UmTKV1(EktpA4
zB6+?6IXp!4^Ky_4K<~Y<j#O`oBih%I{_)Iv!d1`IUl?m1M|&<K5~>g0M@6sldL#a6
za6gIbHU1O!y%2QYQ}=DuPcE<HY`)h(Rr&YFRd37pNWOPK<cZ%lM^Jw)>U^5@u2;+)
zzdI5=_#!DCV))mfn~wa;a1Qgam?M(6*qPLzFcAD5SEO`QN_y|0(FgN8wJPV#PD!`@
zDE}PA|2^T6dW#t>>3p5}R=v}GN5sVDaI8ogs{4c9lsJ{j%Mo@D9Oma&v4>IT=S(+N
zI+6En{QXLE|2x0_6?u-O7fI(&nU22iG*fBXJ0$*y$_Mg5h&qQEU&qA`VxRky+JhL+
z%QI}!^Kv)#eo)50%Fo*!2U%aQp>Hgg(n5Vwx#Z7Lg<f7R2beFFOCHa(-`ExJfXqYs
z9%J}#*fP}qPC6ep@-XF$f0U<pLh`Ngm2}?A=_)53k2B4FvW|;$wL|@hnCV}@kcZk?
z<uftuk%Ic7&O;3AIhwxD)PEmVC5zd&PnbXBl(fUdGJYq~z8_L)+zoQ%|8A*oM+hH5
z=O?Ud6h@ph_EzUD-##flvrg6bl`7pRJynSE{``iHp`i0e&W!ujw{bG<GcV#V{yA#1
z=tC@eEvM^y$Mt+kpXV>1CFL=$5On`H7BS}!Vpbi$yeD`wm&*P??gIjAKlPf1=2|6v
zBSjcNFPb<_egpSkpd6}Je4L}4BsdY3ii7lF!jONO^M&DHKAArDH_;{4Ptpg4awFeF
zr`V&JjTduzZ-yf$C+@%q`<bTS5eJ`Gx11!@gu(OnnQ{A!jE7iA9J)kY=3TY3GtKip
z`o2itUOpt_-Lv*zqRuvENYC-gXA6HyPtSWc5<e_Y6GI+HiO+4TL=jbw^ge=~M`g{v
zr=Q*+^!2>P-&Y%qbB4YC)^kqpsl1&b7RdhHF8Gg`_7fYR;92jxPo#iN{cN2-K&`u}
zD|KGPI6~0(0^9id9-p!2PcoPkuG%B}rqu%azbC8nTH2k=b{Y4p5pu>4((^3!o6bGI
zzG}^{@_duu-_|~c?xSfx<;Q!1`GCI&&DL{N<;$K&be_q6Nc39g(bQvgOviiF=$V;M
z^7E_olb4Azo^RL8cmY2cXF<OPnw6yYnju8#_7`HWUks?0A4@+*(xDEgp#GztyXn5t
z%nj$qpSIVZ7sy<&T}d%{-ySP{ef~-HtBugmF5fOsjdMY7l95}?v~M{lv%f(@&Bxbs
zJAFRHOBI&$QgJS*_g3_G93WrNfq#jRnJx;N!NQ(G76y}o@-<@q61Hd_F!kwv#b6x8
z{QWSWewEB4nKH3g`g_;3{)QQKyiQp+d1-miQ}CV^&il20Rc|p~AI9%jZIJgxc^z>>
zN8Uf>rR9B7S`PRR5Pq*Y|L@%|{ER#o5XV{jN5>yvh$>0r6+!2%-<ER$TaSD{L%PR5
z7Z|I*eEl%<k=lby5ebe$)~x5WKXu)&>o}daGndFbloc_Ktv{GNDCqCidrw$;^hBKV
zeLhrgJ|uR31Rv&iCwxBUN&o7)DY$RQ?<F$xvD!cA$IH+U^LrP%KQLmy+4#{(v#wP8
zq3?SJ%z6@%0pdL?{QCRMLq_j(pSf4s>5Xzuan^liaZ6|n%l?O+SF};(nBkJH*=Ifr
z{qxypZZqxC^`37JF6Hj=pG)%^Ogqf)r|Ejm_p4KakN$z@lWi7%UG2P{SJAqR5&ix(
z>%~~<7dTz#;p~SFvi&cALg;3z4l%6rruvtli;%s4ALr})^vWNTbiG$qt@i9GS%;Jx
z{nY)WnNyzS0=;!oPUjQ&>p*?c#QJ+MX?Kpy1NDLr_Z#!6?zi>UQvwC_*EJO9Ogq~s
zt_HjixwNlEh0xWj#q7{KH(lp@1nc<*>PNn=n|g0UEku`;0CZO`XVAgDDpZkOC+!RR
zo4C=T_k35c5PbNXr|D}VBL0hC&w=B^!025e47X8rTu+UZ+epb^745(q3-vh;+`oce
z>VA&ar|&Ps^Uc&0(hI|%G^600`iC?R=)N-iQM`E-<8}tU_@sA8eit_8zA!vMbb5zg
z6+ZXB#&NZgANWN=EOc}j^?Cb6j}nhH5=7~xxV1v<eo`2id8sInzJEvcPxVgk13^AP
zJpg~~4^O$A>BUM|AWmY}Y=&pnqIUG7*gc)s%Ae$9$G`7m_T&BEQ_*#AO7PS^Ce7~z
zq=v-r>oEJzo{@{*XNA6@{jf&^6l2|rSlic2Kek37$xrUzUDa#WSK@Z@xdAxOd`R-=
zxYcs6eLqUc{t@PD-M8<(SkiUf?LAdE?sI1RCe1l-)cI$w-<R{ClpjmZY4-&Cy^5bR
z^3wMoU_ZR#AB6@!p)b!<0}#Vc({}dmmv&!OBlo>jKXG54+dEI%3;P8PNlb?KMDjB*
zo?AHa3McUg=)axb%dGVT&t+bZeEj<wy+T|25B~W8B}E;%AE^5q9p?NvwO{PNzMn7Z
z{42{9_7Uyzo)votI}18`-jb-f%g3XpiGN5#AW?INpAJn%IZ#T}-0r7GC?)FLCNPx&
zioVxL@Tng2yDjR6s@;#3%7m79?-USrG{0K=)9A^}_j1KPUHv`JvBrmvtNb{Tep7u!
z|6NS=jnGRO_D*g9+ywmKl>+;GnSSx@fw42N+iVX^ta_fN-=oQq-ue2vLg=a9LSN5V
z=b3j<lYKp^6ny_Vlp3)g-UV^a2)1i3rJ&vL>>+<hF3HxK?tSbcfI`qOf?l#+HTCt-
zh2CDXZ<%z%tS4$O&~F$A`h4w3yD?wr8-B5@K>eA=)oxV0F1w-aP=7w@#F>87`4`r=
zk>gnI1B^9}6A(0ovyI>A8yLUJXOf@#A^DCuZsm80&NXheKl5}UMaW&oxAv>QPET<*
zw=3BH>aXO;E+P1ST!X;++>SoK5Y!8K{y_X#+*3Q>=N9&nKIwgw*Yn&$ZNOebA87~`
zJh$)@{O+KUtDa|Id^}HnfIm)t3)|Ilj&^-*jCQ^Ex4d1O&e5*_Jx05{V7sP^9%BEN
z{_}fC_<4eUNw1zNabou4{3SQXq_2_~dIFQ3Sn~)cWX*k#+^v$|MoI*_hXwTCUo>+%
zQfZu;^{W0JwC<<qIefX9hjf2ASyIaOOwYy2mkZ%oC?@n;1#Y8=+hO=G$0SKX`Oy7^
zUenGI`>Mun>b#wfxDMtIUFZ1wPepRyS=T#JN9;>^J6Ff|SYbKf&rostT{N+OJ1D|@
zuKSqyy&pWciBgE8&JFnL^j^;qpR@D4Mq)#(>)mv*Ip33Moa~d>3-fcfPVP}Dzk|vF
z<ymSM_}D=)B{{2iO1?fvq3^ZwW}{cBf3BB&zdXs2%Tvtdjr`Vk3SRj`5_`2`@ZNa+
zGJ(C(`XTQ)v2yq1@A5pQet<sr;2o6xFukt}Jw<=ymI(jV4@<1|XU+acPTX>SUUry0
zdXfkITi+=7J4h~&-1@}=mmB$1lCb0#D<ocE(t%$`sH&fOuOUXimxiGFs{84&kTB3j
zmHdkGH&P6~F&`bJIPt{A^hq!kKT5IQ3&^cODz(q7Ct~3%8P;;T?oF8WG3Mu^z@Nit
z&PJoJSf3)G9KPy#Q=;atMb3e7f0Ekl%e{t+IeM=l>U>Q6RY|6G;XM9!?)`Q%4$)`|
zI)1Rur~m#qi-qFIruP4o>nVSPL7t!St&QXZ5*tm7`87EHymnv_|I}^-jMpNHpQS(6
ze~MZEjlEef>h6@sDT4y+1M~prw`_+<o(Os`SJwroH>gK?KVrS{XLnE;)+dWT^UEzZ
z`egEfUq^rC%jkoG`Wu*^As>I9zMZpaU!aNQlWne({-Ack3MJ-DX9S!tp<r)?RJM^o
zwnHXP(_1idBoN?%KyL+;;kPmr;+6S$zhOLllKknf5HITE{hIQ6EATlQ9`y~?o48dJ
zZsr^ju%1V$-olF9|94D+KN7bJ9@2x)p~4?TQxmsBN~GWDTngEBEh3+)WfI@NR^qZ&
zjuW$L7%wq9F7Zk!ufH!6^ygZMU-iq-f1^EzsrU1O<(6@|<6K`by@}J0aysZ0`iHWg
zlQs7@g5~PC+##X&EVIq;ks6@%;Qi`DfQ`S0`<}Zke*@zm{f=1o#q{@hbsd>)?is<i
z$U)jOQVz0Dq5E|~zC{jWwfD$~dV1bqJ1YbG3Gi=VC(usB7(csdeWG#+`oTBTK=;R&
z8ISh!mLv83V+H4jx!b4`3c0kzTpzVV>Bh`G;j3neg672SamvlS)ti)Zu-81UOpJNt
zDAC#0D*Bo4pLUVkY$<n@(P!PK#Qx#0sT|t@LIE96NGujQfD!b4OZt3a4n~LqxCG`^
zt+1Zdu3I>A)Xri5rX?V6wDU=N?nT?H{$P2VDK}MOoiD4+JgVy}oe$7&XfK|RL_j+T
z9PSmdF<*c;63lWk@wSYd6Zp?d&XW3K5fUVY#EJyR`kv?Nl?*yFSBO0P-!Tba%o*yR
z_L_cDzu4ZVNQV{(f0Km{{E=&jg3jA*)Sha<My?y_J6g6nP9GHJM0J09F2kUY{N4)s
zLIL6fz10Fb`hHxre>|n@J%QCd1W<teJ56z-Z6?D$y-CCfg*IZ7>6v+I#QyU_M)T>a
zzm4%;V0Ve1%Lp}i9`vvDdt!e78~Ll8eSKdg^vBZobo3?J?=k(O@4pU?tC`gQem$*1
z4}J}LprdT-FjC+L4N#m2kw7RQA0k9LCgy}b-$dz<45t%?1U-j|;QL88iXBva$X4xS
z`a%09cJVZ)kF<+tIDNEpwPn<f;Jnhhg{$U|(dHAei+TIo{?Q=5IR_Y$H276png03P
z-FC)5B<*|F&>`^+Q2N>Cmt)raf)NM1gE;E63O(b$dbh}VweGKbx63(pEPN?f2z^8k
z=)HpSdQPTuAd#cDR?fe5{}1EKp&E8j41Y`Qn*aWa$4_zny5EzizmN&)y(PWRHgmEt
z*gIGHU;W4O?NYx!Cyn(9RA{F0x7ANgv^Fwg;$iX6)z0bfiYs4O50f~D)xXAg1cSXT
zQV;AMIG9;En-lzdfJV<f^WFpRptLK`zwqtvZ&PWc=zUCm&!EnGny%*#@T-T35!hb@
z9dG)6f!<D&e!ava?JuN4<&1x-_p@itnZW67)UF5U8`kUSr{1*itM}mGcY{Lp4UEqI
zeVo3&NPHpQ_8y@RwM5CgFOl^->?7d!(I3KCb_(-VyER|k9kf@%j-z%S_&Y89Pt%0z
z+Z{6>>OGaw@ZT4}*Z$Z2RoLY?@w>yskUQYSthw|ldJLA34!I>}i9VdIJS35rH3`K{
zKZXdFhDG^TZ{)ed#_ur-e`M#$_=ElX0-<K-$@m2P=Y)}+XU5ypQU?CyjPK^lgTKoO
z#QR|~fpop^1^i7v$m0j=TVT~!&G5+j{{3XWJnE}8_1*COd^-9iL*vTU2fc5JarLE^
zUk^k7;#3Ulcf{H+pi9-W-NO8f_5)6s`+0y7bRNUFcw0Tuqc~3KJ4}rIorwfvz0Kus
z$EU!Eb>9s7{(~r$r#MdOJ4}rE`v*h|_LIxwpp=68al!J{Q%5gfO^!iA%Tc=!U{}!u
z@Qb9?OOPt#5jE&J_G(#{(eGA&i>v|hYy1S*y-&UJtKre~mPnGG$-ETAZ~e~b_^p3e
zM)+STpx;LHPg4Kc^kbnHhEF~d^7#NB-X}N`@96MFM?!or-*H|WM)Tvu*A5e-pV3a}
z<7rpk<wzi%Oa2M-p?aYA!l4fc>i@wX!1)dOl~j%9wQ<Py-=C6uhC$vxz<gP5_R}*(
z4{!#~>nV9y=N;%ND%N=h`a`7Y{s1Wg(v2N$BM>(Vz+WBxB~o(U3m7z_)K-f8`_RS2
z=K#TT+zO8MIgUrscnaAn8Sg>=h50q}td<|~`+zl4UdILO-5uYNG<-rXBwAi)JxKf1
zYL9_GK<U6g_7C*M1dP{j(fuK{r~e(~-AKIuHp)ABp7K68io8=X>5!57O-6)5c{@kW
z`RcdYL)G&gR6I_9uV2qk`{PpdT<)i+KC7Poztr<f&QtE*e^a@OzW?^g{pYk_b3XRv
z#!=*MUQ^HOyFz<TjwXfItM5TQClg5T;i3tgg6jL&c3jTk4->BFx9IzClYW2YJmoy|
zzloehpMU%0{E_pN^Xb6*9CaTnwQ#ZM+iZ^b9wYpdq<N1V{G~X-`S&?o&WQRu3Ob)-
z9=@J(qUO0&q$9lH@p6fj_x&HD7xaI2Q1*YycrkuSem=OA{SDneIH%uZl^@~v7{5s6
zbT+@I)9T0HR{0f-1FQXW{CjdQ%lvy5|Lyk!`Uw9ID_5*jD(Fih7Dw~hFGQ^Crbbut
zbsaO8{9E9w9j$H$Ho@Ws^LrApFVRSFC(<`^wllX_;OZWMgZE|r2LAW;l8*HiRq5b0
zZFdIz)$&b}zxfe~w``onUqBxCu*rA>GS2r4$`OpPxt$|tOYt23g7qbt!Qna49}Ewl
z{Am>MT*`qwJ1CCwE#JHx+DJ~^E{eHbtwIlF0AnqTu#sZshd!7eN-N+8gPj8E!@4Nw
z*Rvd!Oa5kwoGl<mLHF~~Uzi6IF<H-OeYoybP>=Bw&sk5B$va!j{)p}ap&XC@rzIcj
zXXbB}fr+m=`kFEIjMWYupYT^9t7_9ee_dnf>pY6_TCi_Td?3Kyy-NE(>PM(O)qAr#
z-hp?37`O3K<~(B~(Tfwk7fqawgr%K^FSS4VK7^b}SNgc00=cNYMSbrdtv=b-@%JTw
zhu_Ds`5MixzcYa6$#qfx_sR76YLyr6%|S#y-Pr_Cu-^xv?EoM22#C*zwgc<A8Y-vz
zFOU;7Oy#x1$P4-hJbhnBtVkq<buSE1vgiU?C!2E#>_fPqtM?+75I~_?hA*9eBNz0f
zgLV)fNYUqIgXb`q;xN9y^Y<trq1=q`RJ*{i2h2Ccar(o&g&6xZpnLZ+d<x7l_@<DE
z{2#WT`o7SpBlqpG4}cPSZ(|PK3yA~11f@wnRG#@F`2_jGxpxp&KNa$;raZ{|Wh$5g
z5enclhCe$0h*MmC9eq#$K0>O4Dxd)Q2p&~T0rCa^dJd2E9Qe_5wbUv`<KOid9<KJ!
z1D`eJRL-&RG)Am8b^!LI{fAN(pXG)R%o_->J8_D4nE0@;<I~sodd{KWgZviNrTes+
zuJ`84F99{m-ypHQPn4L9)`-2Ns+`11x#z9-E@1bO?(2UI0TiIukT2}X!B->=pV0qj
z=y&!Iv)lss_{#Rj!rvFf7cu$IGh<v(75?wz&Lw7OnK`WIAamSG*$<+01oS8N(-TWz
z#q<4}YiH0YC%zE$cai-2-%t<=*&d0Di5}>{E`xO9HhC|@+s*r{{O6mE-BbN2hw@O+
z^SsP$0)rmtY?~tIHp-7L*OcI?+@g*=Pmt;BSg>{ThWUM&j?~tz>CSljt?A76t^Li-
z+q-u3rFv>FZI5?%#Zz7J_Emj-?eY6kTeqi))aI_v^v-zq_WpSHJ@F0Q+q*h5&GG(C
z>G;-kSA26OF13yQc|-RNT|{ehXR`mErd3@X-JP4eHkzar-Q8QQq?MaeeOA(Ksg0U)
zZ90?g+f3B%PcQHCZtm`1v%ROMyRSdpxrUN%+PrOZ|C)5~_H<WA`mNhD{Vl2c(l@2M
zHui5?Nl^DTsyzJ`YS0$?ThqNQ9l!Fb_|4s2={N;uudlDWkC|P+y=Q%YcN*||YAA%4
z?&|OJdb&4v^^**du(>PK-?zP^e{**ir4TdMK{~f>-j?oMP2#HE;Pt07@oUqm&aK@Y
zTP}_7*hCV`Y~9>J0*JTwrMfnz<LR!>xJbA)-M4LXCPT!oO?PchcP{Vj>?4}X?@Mjo
zn%b~6U01(w(c&cyjZI5a8#+4E_pHurOJ_2vjcMww?mlTB^SiRUt1Hc1-I~5<dnVl(
zOvt4BTe>s-$*#V1s$&!A-kk2=(cQNtkdnt=zJX;+Y?w4*>xQmmM$28>y`yVIU-y=D
zSL^1U^zyAlx6@m-b91IY)7HIxYv&5I9qqVwb02Zl-RIqq$$$3~31ii^o__CED!#gF
zt9RYzt?7)H=}&LVf4ix>yJt;*%4ZolEvc@~t!bl9H+1!E?>FDCP4%bR`Zo8c*QNWq
z*HFDAsq40H-AWa$NvF4<<$21tZ13(*t=id<PIsm|k$hWs_f4t3jcFPp-P`**(kr%S
zs8Q*T?fqI1DJ%QBGnsVe+Vp*!JJJ~{^VU?CchlysEg8cENOh&QrI+_@+`f(U=Oz*h
zNOxld^iywb?;+Jqc4btHlU?bZJtU@d=c?{|NQqY8^Vak>lG$n+aDB<Hj#PhoV|O2^
zdMEdKb9@_T$7w`&Qzj`-{2tPmbm!$dVg-SQCl??C(3k4-7BKz-C~;qE$NKxy9c&hQ
zQXQN7y?FP1>ArimcJD~V@9FN_mg?_^zV`Q}HuuLjZ|m8bMoXlwzI6ZgzAmyQWHng#
zM$*4$8-@$juU2Pu57@M=PP`rC&{&;IH;cuHQy0*95tci;`_jxYQCzUCyOXHSpTDA;
zlz#^|EhVZK-^P99k*Pvfy0ban+>`3s+_430_Q#vc;u~mi!hp%RBNNsfk7whT(?{9m
zWp9tay|%XO@=<H;+P;lyt=m~wS65%Rux?S^;<_bu4RwumO?6A_>+0+47uGMTUtGVW
zzM;OczNvoc!n%d^3l}b2v~cmlB?}uCHZE*hxO7q7qWVP(>Gz)&FIuvwVNv6vrbSB^
z*DbDJym0ZN#fuj&S=_L=adFe)rAz9T)Gt}MWYLnvOO`BYSkkzpY01)tx`z6Og$;`u
z7B?(uXlQ6`Xlhv6Sl3wJxUg|i<Ko68jSY>BjZKY9o9deCn-(@LYFga1q^Y5)v8kzP
z=~7~GDOJCeNH3*gODRcAP^LfCM?K4CUbRMYsQcMorD6I>lgW-6Sg^Td22y32k}YH4
z&iV7_-@PHdadQ{!D=b`XJ8YrWK@#uk?vJP9WPti)N+F%RA`bn^5K?AyXF7f<>TE|s
z!PLX4BRYrduu+K-S=*`W$?7lY=_A99!3%9Ha^0{S2}O&GLnS4pp|a?>(8NfEJ1I0d
zI%U#SHx`;6x?sYE(U~RH?rito$d=Ia;ZKG>7kVl5_0TuQf3x&kp_fD7c27pXANq0R
zROr?C>ByPTFT%fc$Irdu>YG=;`}cqU53=ug&-?fP(Ptj{WKnTx!&O(`{;$Ws9+_I%
z(0F^>1J8Zp`9EE9a`K~({oe0KCQO_(`O^Bu&8x1v;l`U+cc$<9^x+v77MGNbn>xK=
zY4gF4p7@*6#yw9QEH1m^>U%c7`^ib&>vONZwr<0}{c3p4Z6EsZ`~`DslONeP^wfc8
z5B}k2KKJKE<HpBkHea*qmS>**i@)4gd_mR4bFRMT$FICL{KA(a@mX^&sa@36+;Zbh
zt!t9EuU&W7+uA$Q_iV}ReES2BA9(KhLr0H);`y%b&%ftw7iXj4NFsbs*j+GxVAsrW
zeffov*`*gnFN<CqnK*CYxuV&T*^%0k#p7;XIoMb_t*oT-id9R)9VMl8)1o!u8Bupx
zQ{*kt1(CAi(&A<Dxsmau4dLc!RdHl|aqA6@izX~8o?lWnc*(7AxvXT~w5m%koI1Vq
zW~$)Y2^SQX6}6PiE!{qD#ntnQu85Wu-BRR6E5gx%cWk(*rKD`&nYUfMYFt^-gelEM
zWet}{rVsqdm7QzGx0IG$w`xX9$(ji_6qgPB?7Fg<;p=Z`3{Na6D_UAyHrQ}M@fG0<
zZ+FWVPI&Oc_iP_G@aK=;)G^_qx{7J<es0(GLw~YsY4N<sT}79aT~}5cowDoDo$0qk
zmKIN129@~0nUaUTHLrC4j|Uf(yEBU>MoI?X`B-F2bV9haxZ=t7>r4Bu9QavTrlco!
z-ThO?PaWS@dcnY>gV%>2UQr%<sI|JNXyBWdMX#=LdlKQQNN8|b^`z#gJ9vEFuKzRe
z^Gk1vltn@hPP+D{s|LPsWsw_6MrSMz4Nkl~(mDS2vVl)D&75#~q_j9Rv1s5!51xoj
z3Qq{{h^#LfA92gaN1CW{wIvtdJb2sqnZ!#&$wWdeEgtyloU(_C95)<|78Qkxi%N=1
zCzV||?t<}E6DlT-FOO7&Cr_SII?bIPsdO(0R~652FAP;ri-#`@C&tZp>%#S+h3>PV
zkA|L$e5~Xbp<hOS9r{gpxbzQqdhdAG{<^lc?|A2)3;%9n`CD%K<*(*1xaO|A*Z<(5
zcm3WIPk!{1pZV+yU;6S_zWc);4LcE5=*H$NuDapIyC3>J%KYQceD+IU`PxfA{E_3U
z`xVglw{@l;dg8+$`SRCZnlS0o<||g+(01otZ(HA)e%BKpr6MnU`FlV7(dh}3R^8B<
z9(d@FKKJ?DH(x&e&ksKQjswqpKKH_lFMa!OTlW6xUw-LpFWqqS>b5)Hw*Il-d-o?l
zeK_}LUwZN7Nz<m^dDqW={+r=}ZN1<9-o)yz?h9wGfBWx#;`s+Y`?+b;FRH%o`kPln
z|9|&^PrdMsZ+_?WKmW8Z^X~rb@4saJf@hyUoO|)5m%sO+WgpmE_wMSy`o`CWZ(hCb
z&f=2tin$A3eXXmz@v3W9tlIO$nvL6!efjv;PyEe~Y3C@u{^DKVi|o3#WJaWD(%{D@
z4ty+HT{<`;d_jpDSrAzqDGs~EMa7fKTFWOFCyT?83(HEwCE?<5C>#!tk3_@cirk5@
z=*`75irb1qMbpQ(MplLsWS%A!m5*<Z%$&16zAbX^oPlG}U5CO|MZ10-zN2_rX=N!C
z?%txZqN<`hiZ6>^S9W=XbR%3p?(#@g(YWxy$0=(;{aeEW2THCCmxr$`ZYsGfx@&k+
zWyyj`iEvGMP5Hn(BfCCu!MND&_eK{)uOLmUEFJj##r@+4zEw3oIxrj^_}=(``AE32
zbnvdJ14l{*z8Wp7ydqpy)Kqd^$@rrFaTkTxMeZmac(C%qvT3C^MFt)(`q+W-(<Ajm
zk-=|YQanBy9eAc<@TbLYd|nadzAG~D`S6Tz`GheIv@z7{JIQe)8$ALqP3x8(w%+7S
z&_eFPNZffM+V0#vWuG&7dc1mkyuJFh%lBP2uP%Oh_cJFi4;^ezT=dKK`Oa_R4ZlC!
z-tcSp`webcP2=nd-*5cb#MIISl|xJGE=;xj>qSF1EnA#wJ$>)cEvvh0ZvDvThHiCU
zO07wMeQ1sI?V8)1liyE%;s>d=SAJM?$MI7`cf_4n?>Ox~u+HhBE3*lDLLx-}+?H{5
zu?ja$9T*C^ky-9VGwvMMTw3Z@M%+@GYoeEhuPm8Y>BbwWK%|5^s<<pP(``oaNC}~o
zg{s_8Xemufkq{|{dr>ItjsqMe1b1p^8ckV*O|(ng;&55$BKHa^JDy6`5_zH;j*`k0
zhsH5gutb%H0ACndO8jXpGu;+9;u3MU#J$B06^}33;D$=a72gn=LG)a=aiU8#M#s6c
zOWk`SZV@pRx*!w@S41Yz*CMyvCE15(hAyIi%R+8(i5nVM>XN#;+d~(-_k|;&Qnx7l
zw<HAOwipycB}HW+x30QAQb%yqtt}lNic=%qa1&)x!Ekd)D6}{1PH>A+VL0@qWsdvB
z8YlcNw>|C@Z4NmRw=5oNrPpIq6Wt3!QTGF(s>u`FOG+*nH$PlQZ3~6wx+_WYq0o40
z*8+DDQ4NKn)b4qq68BYz4UZaCR8-KGi~9rjee|*iYGtH09C4o}`c9}deBHSENY-sA
zzm(cp7Op3n#qL$%*-^LTYIl5SaVc4AcYPS5B%!z;al<9_<Pm|cJI$R~9FBgm1dW*v
zsZw77&kg+}@m56fj8L)!DfdDil$#Dyr_u|)+|W;{=Sd^nJyc)BjhEFHaZeS6!t+Vs
zbm@k$Z=FW05S9Cjr~;BXX&b7d*J6zeEsjR<%`GZ-Xbd~<HIZBJx~%!3>GaS_I1()>
z2^C)yd2iThj4Uj1C%V(3ZaGn%#1x~Q?mjAWRfHr^ysg-2A2==R_==Zh?-~%cC9aWV
z$4+kyq?@lCwa}g__B;?Y#`k0L3J+(j{3cxRqA*tergP-S&yj!P9Qh~Bp3YeHH<|pm
zp1_-NC8TIGW|sNBiSBf1do@N@#dJY<8<jKHzMQX8x!I;%%gwSk43M^|{BYu}^0k%n
z37vz+01mB{w6&C9DPR5i0q&-Bgk=;P)(i3v8T!aqel<q90h51Z{pj?2?gbX*ZIO64
z;UU!jZC*ZrV+3D_FBEEMuaCCEI2<zg0D|p0Wzx4(Ic--bm5XyJ$N3zkk2l{D{XM~y
z?T6C@%i9_yDR@qSlrlQ63f5=CEv7xd4dT^pMGEOBjgL5glaC9Cp7twJ?E3IKH9`KC
z5q)h}P~OLWN9Y|Hlz8_$B)*!;&ycSU&YO%nImf7-n*LT|bb`SNrZ1uE7b=Tj`g}^i
z*x=8i=fQ&fFCkd-fU@sIUVi}F`E7)6wp)?yY$I5C0sH{L6Y<4_*+eg>=X)&r?;`x5
z+<%YYaax$-4-#y)qd9ee$_M3`qkOZ?&H3k|_X6Pu`M2@^mhx53_!*JQ4KF{V^f~4`
zWZW=HI(CmQGwC1rd%0r^u$BI5M@hen(v+7R;cMS5rgW7-Fnt51!~R@Ee+Vj9wNHCr
zm2~ajib{daag}cu=n<}N<Sa6RSNZMxC&AacO>ut=w;1}eOYS&t5p=%|20ZTw)#FW+
zO-6yJYdJuFINk6UHx=UP0<~>|DWBD2q(kPT;a@XGy3@g1$Lo0$$;od5J1K0AI+^aR
z>$i4qT+d%<-->oZ*Jn0wq)oB)eN>Q>X%DWW$1^s~JbvWsYm*VI>Tj!Qx59fZxWde#
znqO<d%PiQu_S3KLpq0PY2t(-|wBVx_+-{7I;_tNJgBGlYPVp;^0x7)Af_Gc+J_|l-
z!KW;^$vh9E^jj@>j|CsJ;I%cPKU%)-%0jrsg4bH`K?`nwYhn2kbB^QFx8N2F-ebWB
zEx00CNWaB`_ge6A3qEDRCASyStF_?07JS@-Pg!tnTOqw=7F@ZuFu%@%Pg$^YM<M<)
z3*KqL2QB!d1y`)I=vi=&1@E)q;}-1PSxB$Wg4->4j|CsK;L{ddahFBkf?F(jlLha#
z;DZ)?%z{r@aLL_;_19W(iv_n^@PGyHv*4o^eA0rQw-weOx8P+K+-|`G7QD}bk6Q3a
z3vMxXT*vPo3qEbZyE_Z{Jz~KpE%@|3h4}5bC_zE%+iAhOEqLdaLi~dkJYalSrFY1J
zOSTo3Kh;wRpRwSI-opG^3tncyYc068zp#9h1-Dx8CJP?0;Jp^S?7l+!e1U_KwEe9+
z3iA(H@F@%4w6hR@uU80H-d_mUS@1y%uFV$W@3!DG7F_!~h4=#&Tryagzjjw4T=`%j
zTxY>2EqLcch4@Vm7s5v@xbBg{{E|lt;bj(l(t^)e@V?!J<<~w|2%oXwlaCkXFMCHJ
zyvKqo-&vU7V!=HYJn-&9{P-RV{)0kztp&FX73Lqb;62Y2=AW_PWgjifKk{55eDY(3
z@Uo8=!bdE)@(&C1_gL_03$FZBA%2|&AF^QQ(}no$7JS5lPg`)y;llDqjugTNKT`-F
z|7;;#^0`8|$$~do@KFnH%@vm4WWjqa_?QLv94#z=$byeq@JS1f|5;)ACJR3D=Y{#F
zEV%Ydh52hOc;AbK`Nu7|^2>$!EfzfRmBRc(7JTZfh540#Q3xOU%R>0z*9zfHFBQW3
zEV%A?Vg6nVZvT2={=i=s!j<1BgljGMlm#F9W+DDb3vT*xVScLxZ?fQ>7QDxT_ge5F
z3qE4O$1V7T1)sLyGZtKNs*wLm3$C-^CJS!0;I$UqW5K&Ec#j1iwBVx_e9VGRTJR|g
zc79UWz7h+LTX3xfFSFnl3vRdIO%~i^!8<K@w*~LB;3F1%)Phe~@F@#EW5Ff=P$-W|
z3$C@`CJS!0;I$UK$%1!U@NNs<Yr%&s_=p7`wcukGtiQ=wBF*&QX{)fllUd=~e=L+o
zlLfa}@LCJrWWhTvc((=bwcvvme8hr}S?~!9K4rmYEV$&A!uILAo&5G&`ArtA?<P`w
zefNXH`fdk>_gLlij<4n)wen9`aD2V+TSk#ff3=}J9Hy^L_@ID%d|hV2t>ciJ&+my9
z!n-Z_^t8hKlIex;v8qCN*^ENCVrC&+X~BmsD$H-KE`)n(EcnVoc#j3|v*6a{h4{xT
zc+a(k`Fq|{2)Ex<2=8kvg!h{L7?t-y3$6|H7rLU(f}1ROnFaS)@PGyHOcnC8$AV8|
zL!5&0SJF`kpXn@w<LN?p**%5uZVTSGu`s`7TOqvmzCyU&toM|k(-wTptnW1c=<gJk
z-~G-)_~0{zaK*EQ@Y;_S!pEO0ga<xe2(LB%z1Cm%iNgHaKQ4rK8-HB!Pg?MC<DYB(
zapRvW++_T7g$Htl^bc9^NegyfD8%nE{;bkF^<rUu`<DyhV_zwR>;9q;K5G0=rFYEu
zcM6}eU_IDEeuVxi0{RO0_{u!}D89a&hl}uaet&vrzcatn!*z0s`Tk3K>-@fMXMP{W
zlp(p^HjY!<Hg`DlGn)vTE;JHOH;M?+|G=k9W%0*6Q5**lh)<h#OKN`qMB!!h1x5UG
zCeu#b89<m@A+dg{{Z|;r5-4xXx6@?&QjL$W@DzJw{Rzqf?^^!!D}t->AyZV_r}Zma
zb0{BEg_&L)J@?Z1V4yts)bf=ky_jOut>yJxOk-na4Yst^2k6U%^jAuMT3*lXG}d!F
e6@%8V{5McpZ99GS!@(ly$QD0EzDR05@&5w8JPSeq

literal 0
HcmV?d00001

diff --git a/svm/tests/integration_test.rs b/svm/tests/integration_test.rs
index 5070bca08e0907..f35f023e54ae2a 100644
--- a/svm/tests/integration_test.rs
+++ b/svm/tests/integration_test.rs
@@ -2,28 +2,15 @@
 
 use {
     crate::{
-        mock_bank::{deploy_program, MockBankCallback},
-        transaction_builder::SanitizedTransactionBuilder,
-    },
-    solana_bpf_loader_program::syscalls::{
-        SyscallAbort, SyscallGetClockSysvar, SyscallInvokeSignedRust, SyscallLog, SyscallMemcpy,
-        SyscallMemset, SyscallSetReturnData,
-    },
-    solana_compute_budget::compute_budget::ComputeBudget,
-    solana_program_runtime::{
-        invoke_context::InvokeContext,
-        loaded_programs::{
-            BlockRelation, ForkGraph, ProgramCache, ProgramCacheEntry, ProgramRuntimeEnvironments,
-        },
-        solana_rbpf::{
-            program::{BuiltinFunction, BuiltinProgram, FunctionRegistry},
-            vm::Config,
+        mock_bank::{
+            create_executable_environment, deploy_program, register_builtins, MockBankCallback,
+            MockForkGraph,
         },
+        transaction_builder::SanitizedTransactionBuilder,
     },
     solana_sdk::{
         account::{AccountSharedData, ReadableAccount, WritableAccount},
-        bpf_loader_upgradeable::{self},
-        clock::{Clock, Epoch, Slot, UnixTimestamp},
+        clock::Clock,
         hash::Hash,
         instruction::AccountMeta,
         pubkey::Pubkey,
@@ -40,165 +27,20 @@ use {
             TransactionProcessingEnvironment,
         },
     },
-    std::{
-        cmp::Ordering,
-        collections::{HashMap, HashSet},
-        sync::{Arc, RwLock},
-        time::{SystemTime, UNIX_EPOCH},
-    },
+    solana_type_overrides::sync::{Arc, RwLock},
+    std::collections::{HashMap, HashSet},
 };
 
 // This module contains the implementation of TransactionProcessingCallback
 mod mock_bank;
 mod transaction_builder;
 
-const BPF_LOADER_NAME: &str = "solana_bpf_loader_upgradeable_program";
-const SYSTEM_PROGRAM_NAME: &str = "system_program";
 const DEPLOYMENT_SLOT: u64 = 0;
 const EXECUTION_SLOT: u64 = 5; // The execution slot must be greater than the deployment slot
-const DEPLOYMENT_EPOCH: u64 = 0;
 const EXECUTION_EPOCH: u64 = 2; // The execution epoch must be greater than the deployment epoch
 
-struct MockForkGraph {}
-
-impl ForkGraph for MockForkGraph {
-    fn relationship(&self, a: Slot, b: Slot) -> BlockRelation {
-        match a.cmp(&b) {
-            Ordering::Less => BlockRelation::Ancestor,
-            Ordering::Equal => BlockRelation::Equal,
-            Ordering::Greater => BlockRelation::Descendant,
-        }
-    }
-
-    fn slot_epoch(&self, _slot: Slot) -> Option<Epoch> {
-        Some(0)
-    }
-}
-
-fn create_custom_environment<'a>() -> BuiltinProgram<InvokeContext<'a>> {
-    let compute_budget = ComputeBudget::default();
-    let vm_config = Config {
-        max_call_depth: compute_budget.max_call_depth,
-        stack_frame_size: compute_budget.stack_frame_size,
-        enable_address_translation: true,
-        enable_stack_frame_gaps: true,
-        instruction_meter_checkpoint_distance: 10000,
-        enable_instruction_meter: true,
-        enable_instruction_tracing: true,
-        enable_symbol_and_section_labels: true,
-        reject_broken_elfs: true,
-        noop_instruction_rate: 256,
-        sanitize_user_provided_values: true,
-        external_internal_function_hash_collision: false,
-        reject_callx_r10: false,
-        enable_sbpf_v1: true,
-        enable_sbpf_v2: false,
-        optimize_rodata: false,
-        aligned_memory_mapping: true,
-    };
-
-    // These functions are system calls the compile contract calls during execution, so they
-    // need to be registered.
-    let mut function_registry = FunctionRegistry::<BuiltinFunction<InvokeContext>>::default();
-    function_registry
-        .register_function_hashed(*b"abort", SyscallAbort::vm)
-        .expect("Registration failed");
-    function_registry
-        .register_function_hashed(*b"sol_log_", SyscallLog::vm)
-        .expect("Registration failed");
-    function_registry
-        .register_function_hashed(*b"sol_memcpy_", SyscallMemcpy::vm)
-        .expect("Registration failed");
-    function_registry
-        .register_function_hashed(*b"sol_memset_", SyscallMemset::vm)
-        .expect("Registration failed");
-
-    function_registry
-        .register_function_hashed(*b"sol_invoke_signed_rust", SyscallInvokeSignedRust::vm)
-        .expect("Registration failed");
-
-    function_registry
-        .register_function_hashed(*b"sol_set_return_data", SyscallSetReturnData::vm)
-        .expect("Registration failed");
-
-    function_registry
-        .register_function_hashed(*b"sol_get_clock_sysvar", SyscallGetClockSysvar::vm)
-        .expect("Registration failed");
-
-    BuiltinProgram::new_loader(vm_config, function_registry)
-}
-
-fn create_executable_environment(
-    fork_graph: Arc<RwLock<MockForkGraph>>,
-    mock_bank: &mut MockBankCallback,
-    program_cache: &mut ProgramCache<MockForkGraph>,
-) {
-    program_cache.environments = ProgramRuntimeEnvironments {
-        program_runtime_v1: Arc::new(create_custom_environment()),
-        // We are not using program runtime v2
-        program_runtime_v2: Arc::new(BuiltinProgram::new_loader(
-            Config::default(),
-            FunctionRegistry::default(),
-        )),
-    };
-
-    program_cache.fork_graph = Some(Arc::downgrade(&fork_graph));
-
-    // We must fill in the sysvar cache entries
-    let time_now = SystemTime::now()
-        .duration_since(UNIX_EPOCH)
-        .expect("Time went backwards")
-        .as_secs() as i64;
-    let clock = Clock {
-        slot: DEPLOYMENT_SLOT,
-        epoch_start_timestamp: time_now.saturating_sub(10) as UnixTimestamp,
-        epoch: DEPLOYMENT_EPOCH,
-        leader_schedule_epoch: DEPLOYMENT_EPOCH,
-        unix_timestamp: time_now as UnixTimestamp,
-    };
-
-    let mut account_data = AccountSharedData::default();
-    account_data.set_data(bincode::serialize(&clock).unwrap());
-    mock_bank
-        .account_shared_data
-        .write()
-        .unwrap()
-        .insert(Clock::id(), account_data);
-}
-
-fn register_builtins(
-    mock_bank: &MockBankCallback,
-    batch_processor: &TransactionBatchProcessor<MockForkGraph>,
-) {
-    // We must register the bpf loader account as a loadable account, otherwise programs
-    // won't execute.
-    batch_processor.add_builtin(
-        mock_bank,
-        bpf_loader_upgradeable::id(),
-        BPF_LOADER_NAME,
-        ProgramCacheEntry::new_builtin(
-            DEPLOYMENT_SLOT,
-            BPF_LOADER_NAME.len(),
-            solana_bpf_loader_program::Entrypoint::vm,
-        ),
-    );
-
-    // In order to perform a transference of native tokens using the system instruction,
-    // the system program builtin must be registered.
-    batch_processor.add_builtin(
-        mock_bank,
-        solana_system_program::id(),
-        SYSTEM_PROGRAM_NAME,
-        ProgramCacheEntry::new_builtin(
-            DEPLOYMENT_SLOT,
-            SYSTEM_PROGRAM_NAME.len(),
-            solana_system_program::system_processor::Entrypoint::vm,
-        ),
-    );
-}
-
 fn prepare_transactions(
-    mock_bank: &mut MockBankCallback,
+    mock_bank: &MockBankCallback,
 ) -> (Vec<SanitizedTransaction>, Vec<TransactionCheckResult>) {
     let mut transaction_builder = SanitizedTransactionBuilder::default();
     let mut all_transactions = Vec::new();
@@ -392,8 +234,8 @@ fn prepare_transactions(
 
 #[test]
 fn svm_integration() {
-    let mut mock_bank = MockBankCallback::default();
-    let (transactions, check_results) = prepare_transactions(&mut mock_bank);
+    let mock_bank = MockBankCallback::default();
+    let (transactions, check_results) = prepare_transactions(&mock_bank);
     let batch_processor = TransactionBatchProcessor::<MockForkGraph>::new(
         EXECUTION_SLOT,
         EXECUTION_EPOCH,
@@ -404,7 +246,7 @@ fn svm_integration() {
 
     create_executable_environment(
         fork_graph.clone(),
-        &mut mock_bank,
+        &mock_bank,
         &mut batch_processor.program_cache.write().unwrap(),
     );
 
diff --git a/svm/tests/mock_bank.rs b/svm/tests/mock_bank.rs
index 355f9f0ce8898a..03405dcaa6ec15 100644
--- a/svm/tests/mock_bank.rs
+++ b/svm/tests/mock_bank.rs
@@ -1,15 +1,33 @@
 use {
-    solana_program_runtime::loaded_programs::{BlockRelation, ForkGraph},
+    solana_bpf_loader_program::syscalls::{
+        SyscallAbort, SyscallGetClockSysvar, SyscallInvokeSignedRust, SyscallLog, SyscallMemcpy,
+        SyscallMemset, SyscallSetReturnData,
+    },
+    solana_compute_budget::compute_budget::ComputeBudget,
+    solana_program_runtime::{
+        invoke_context::InvokeContext,
+        loaded_programs::{
+            BlockRelation, ForkGraph, ProgramCache, ProgramCacheEntry, ProgramRuntimeEnvironments,
+        },
+        solana_rbpf::{
+            program::{BuiltinFunction, BuiltinProgram, FunctionRegistry},
+            vm::Config,
+        },
+    },
     solana_sdk::{
         account::{AccountSharedData, ReadableAccount, WritableAccount},
         bpf_loader_upgradeable::{self, UpgradeableLoaderState},
-        clock::Epoch,
+        clock::{Clock, Epoch, UnixTimestamp},
         feature_set::FeatureSet,
         native_loader,
         pubkey::Pubkey,
         slot_hashes::Slot,
+        sysvar::SysvarId,
+    },
+    solana_svm::{
+        transaction_processing_callback::TransactionProcessingCallback,
+        transaction_processor::TransactionBatchProcessor,
     },
-    solana_svm::transaction_processing_callback::TransactionProcessingCallback,
     solana_type_overrides::sync::{Arc, RwLock},
     std::{
         cmp::Ordering,
@@ -17,6 +35,7 @@ use {
         env,
         fs::{self, File},
         io::Read,
+        time::{SystemTime, UNIX_EPOCH},
     },
 };
 
@@ -89,6 +108,7 @@ fn load_program(name: String) -> Vec<u8> {
     dir.push(name.as_str());
     let name = name.replace('-', "_");
     dir.push(name + "_program.so");
+    std::println!("The dir is: {:?}", dir);
     let mut file = File::open(dir.clone()).expect("file not found");
     let metadata = fs::metadata(dir).expect("Unable to read metadata");
     let mut buffer = vec![0; metadata.len() as usize];
@@ -97,11 +117,7 @@ fn load_program(name: String) -> Vec<u8> {
 }
 
 #[allow(unused)]
-pub fn deploy_program(
-    name: String,
-    deployment_slot: Slot,
-    mock_bank: &mut MockBankCallback,
-) -> Pubkey {
+pub fn deploy_program(name: String, deployment_slot: Slot, mock_bank: &MockBankCallback) -> Pubkey {
     let program_account = Pubkey::new_unique();
     let program_data_account = Pubkey::new_unique();
     let state = UpgradeableLoaderState::Program {
@@ -144,3 +160,134 @@ pub fn deploy_program(
 
     program_account
 }
+
+#[allow(unused)]
+pub fn create_executable_environment(
+    fork_graph: Arc<RwLock<MockForkGraph>>,
+    mock_bank: &MockBankCallback,
+    program_cache: &mut ProgramCache<MockForkGraph>,
+) {
+    const DEPLOYMENT_EPOCH: u64 = 0;
+    const DEPLOYMENT_SLOT: u64 = 0;
+
+    program_cache.environments = ProgramRuntimeEnvironments {
+        program_runtime_v1: Arc::new(create_custom_environment()),
+        // We are not using program runtime v2
+        program_runtime_v2: Arc::new(BuiltinProgram::new_loader(
+            Config::default(),
+            FunctionRegistry::default(),
+        )),
+    };
+
+    program_cache.fork_graph = Some(Arc::downgrade(&fork_graph));
+
+    // We must fill in the sysvar cache entries
+    let time_now = SystemTime::now()
+        .duration_since(UNIX_EPOCH)
+        .expect("Time went backwards")
+        .as_secs() as i64;
+    let clock = Clock {
+        slot: DEPLOYMENT_SLOT,
+        epoch_start_timestamp: time_now.saturating_sub(10) as UnixTimestamp,
+        epoch: DEPLOYMENT_EPOCH,
+        leader_schedule_epoch: DEPLOYMENT_EPOCH,
+        unix_timestamp: time_now as UnixTimestamp,
+    };
+
+    let mut account_data = AccountSharedData::default();
+    account_data.set_data(bincode::serialize(&clock).unwrap());
+    mock_bank
+        .account_shared_data
+        .write()
+        .unwrap()
+        .insert(Clock::id(), account_data);
+}
+
+#[allow(unused)]
+pub fn register_builtins(
+    mock_bank: &MockBankCallback,
+    batch_processor: &TransactionBatchProcessor<MockForkGraph>,
+) {
+    const DEPLOYMENT_SLOT: u64 = 0;
+    // We must register the bpf loader account as a loadable account, otherwise programs
+    // won't execute.
+    let bpf_loader_name = "solana_bpf_loader_upgradeable_program";
+    batch_processor.add_builtin(
+        mock_bank,
+        bpf_loader_upgradeable::id(),
+        bpf_loader_name,
+        ProgramCacheEntry::new_builtin(
+            DEPLOYMENT_SLOT,
+            bpf_loader_name.len(),
+            solana_bpf_loader_program::Entrypoint::vm,
+        ),
+    );
+
+    // In order to perform a transference of native tokens using the system instruction,
+    // the system program builtin must be registered.
+    let system_program_name = "system_program";
+    batch_processor.add_builtin(
+        mock_bank,
+        solana_system_program::id(),
+        system_program_name,
+        ProgramCacheEntry::new_builtin(
+            DEPLOYMENT_SLOT,
+            system_program_name.len(),
+            solana_system_program::system_processor::Entrypoint::vm,
+        ),
+    );
+}
+
+#[allow(unused)]
+fn create_custom_environment<'a>() -> BuiltinProgram<InvokeContext<'a>> {
+    let compute_budget = ComputeBudget::default();
+    let vm_config = Config {
+        max_call_depth: compute_budget.max_call_depth,
+        stack_frame_size: compute_budget.stack_frame_size,
+        enable_address_translation: true,
+        enable_stack_frame_gaps: true,
+        instruction_meter_checkpoint_distance: 10000,
+        enable_instruction_meter: true,
+        enable_instruction_tracing: true,
+        enable_symbol_and_section_labels: true,
+        reject_broken_elfs: true,
+        noop_instruction_rate: 256,
+        sanitize_user_provided_values: true,
+        external_internal_function_hash_collision: false,
+        reject_callx_r10: false,
+        enable_sbpf_v1: true,
+        enable_sbpf_v2: false,
+        optimize_rodata: false,
+        aligned_memory_mapping: true,
+    };
+
+    // These functions are system calls the compile contract calls during execution, so they
+    // need to be registered.
+    let mut function_registry = FunctionRegistry::<BuiltinFunction<InvokeContext>>::default();
+    function_registry
+        .register_function_hashed(*b"abort", SyscallAbort::vm)
+        .expect("Registration failed");
+    function_registry
+        .register_function_hashed(*b"sol_log_", SyscallLog::vm)
+        .expect("Registration failed");
+    function_registry
+        .register_function_hashed(*b"sol_memcpy_", SyscallMemcpy::vm)
+        .expect("Registration failed");
+    function_registry
+        .register_function_hashed(*b"sol_memset_", SyscallMemset::vm)
+        .expect("Registration failed");
+
+    function_registry
+        .register_function_hashed(*b"sol_invoke_signed_rust", SyscallInvokeSignedRust::vm)
+        .expect("Registration failed");
+
+    function_registry
+        .register_function_hashed(*b"sol_set_return_data", SyscallSetReturnData::vm)
+        .expect("Registration failed");
+
+    function_registry
+        .register_function_hashed(*b"sol_get_clock_sysvar", SyscallGetClockSysvar::vm)
+        .expect("Registration failed");
+
+    BuiltinProgram::new_loader(vm_config, function_registry)
+}

From 6dd2c724f79aedc26bc87fb404ed5ec0be5cb355 Mon Sep 17 00:00:00 2001
From: Lucas Steuernagel <lucas.tnagel@gmail.com>
Date: Fri, 16 Aug 2024 09:36:59 -0300
Subject: [PATCH 2/2] Remove debug print and optimize lock

---
 svm/tests/concurrent_tests.rs | 21 ++++++---------------
 svm/tests/mock_bank.rs        |  1 -
 2 files changed, 6 insertions(+), 16 deletions(-)

diff --git a/svm/tests/concurrent_tests.rs b/svm/tests/concurrent_tests.rs
index 308c0ae07ddbac..e11019be16a346 100644
--- a/svm/tests/concurrent_tests.rs
+++ b/svm/tests/concurrent_tests.rs
@@ -175,21 +175,12 @@ fn svm_concurrent() {
         let mut account_data = AccountSharedData::default();
         account_data.set_lamports(BALANCE);
 
-        mock_bank
-            .account_shared_data
-            .write()
-            .unwrap()
-            .insert(sender, account_data.clone());
-        mock_bank
-            .account_shared_data
-            .write()
-            .unwrap()
-            .insert(recipient, account_data.clone());
-        mock_bank
-            .account_shared_data
-            .write()
-            .unwrap()
-            .insert(fee_payer, account_data);
+        {
+            let shared_data = &mut mock_bank.account_shared_data.write().unwrap();
+            shared_data.insert(sender, account_data.clone());
+            shared_data.insert(recipient, account_data.clone());
+            shared_data.insert(fee_payer, account_data);
+        }
 
         transaction_builder.create_instruction(
             program_id,
diff --git a/svm/tests/mock_bank.rs b/svm/tests/mock_bank.rs
index 03405dcaa6ec15..169ac63cf8854b 100644
--- a/svm/tests/mock_bank.rs
+++ b/svm/tests/mock_bank.rs
@@ -108,7 +108,6 @@ fn load_program(name: String) -> Vec<u8> {
     dir.push(name.as_str());
     let name = name.replace('-', "_");
     dir.push(name + "_program.so");
-    std::println!("The dir is: {:?}", dir);
     let mut file = File::open(dir.clone()).expect("file not found");
     let metadata = fs::metadata(dir).expect("Unable to read metadata");
     let mut buffer = vec![0; metadata.len() as usize];