From 569e0756cafa1ed304439669d057fb58fa9cb9c6 Mon Sep 17 00:00:00 2001 From: Arec Jamgochian Date: Sun, 27 Feb 2022 02:25:16 -0800 Subject: [PATCH] getting loading of configs, overwriting with seeds, running with tune, and moving back to directory working. adding check for either training or testing, and allowing specification of number of test cpus to split seeds over --- shail-experiment.py | 39 ++++++++++++++++------- test_policies/hail/expA/policy_seed1.pt | Bin 0 -> 5271 bytes test_policies/hail/expA/policy_seed2.pt | Bin 0 -> 5271 bytes test_policies/hail/expA/policy_seed3.pt | Bin 0 -> 5271 bytes test_policies/hail/expA/policy_seed4.pt | Bin 0 -> 5271 bytes test_policies/hail/expA/policy_seed5.pt | Bin 0 -> 5271 bytes test_policies/hail/expB/policy_seed1.pt | Bin 0 -> 5271 bytes test_policies/hail/expB/policy_seed2.pt | Bin 0 -> 5271 bytes test_policies/hail/expB/policy_seed3.pt | Bin 0 -> 5271 bytes test_policies/hail/expB/policy_seed4.pt | Bin 0 -> 5271 bytes test_policies/hail/expB/policy_seed5.pt | Bin 0 -> 5271 bytes test_policies/shail/expA/policy_seed1.pt | Bin 0 -> 5271 bytes test_policies/shail/expA/policy_seed2.pt | Bin 0 -> 5271 bytes test_policies/shail/expA/policy_seed3.pt | Bin 0 -> 5271 bytes test_policies/shail/expA/policy_seed4.pt | Bin 0 -> 5271 bytes test_policies/shail/expA/policy_seed5.pt | Bin 0 -> 5271 bytes test_policies/shail/expB/policy_seed1.pt | Bin 0 -> 5271 bytes test_policies/shail/expB/policy_seed2.pt | Bin 0 -> 5271 bytes test_policies/shail/expB/policy_seed3.pt | Bin 0 -> 5271 bytes test_policies/shail/expB/policy_seed4.pt | Bin 0 -> 5271 bytes test_policies/shail/expB/policy_seed5.pt | Bin 0 -> 5271 bytes 21 files changed, 27 insertions(+), 12 deletions(-) create mode 100644 test_policies/hail/expA/policy_seed1.pt create mode 100644 test_policies/hail/expA/policy_seed2.pt create mode 100644 test_policies/hail/expA/policy_seed3.pt create mode 100644 test_policies/hail/expA/policy_seed4.pt create mode 100644 test_policies/hail/expA/policy_seed5.pt create mode 100644 test_policies/hail/expB/policy_seed1.pt create mode 100644 test_policies/hail/expB/policy_seed2.pt create mode 100644 test_policies/hail/expB/policy_seed3.pt create mode 100644 test_policies/hail/expB/policy_seed4.pt create mode 100644 test_policies/hail/expB/policy_seed5.pt create mode 100644 test_policies/shail/expA/policy_seed1.pt create mode 100644 test_policies/shail/expA/policy_seed2.pt create mode 100644 test_policies/shail/expA/policy_seed3.pt create mode 100644 test_policies/shail/expA/policy_seed4.pt create mode 100644 test_policies/shail/expA/policy_seed5.pt create mode 100644 test_policies/shail/expB/policy_seed1.pt create mode 100644 test_policies/shail/expB/policy_seed2.pt create mode 100644 test_policies/shail/expB/policy_seed3.pt create mode 100644 test_policies/shail/expB/policy_seed4.pt create mode 100644 test_policies/shail/expB/policy_seed5.pt diff --git a/shail-experiment.py b/shail-experiment.py index a008582..4195759 100644 --- a/shail-experiment.py +++ b/shail-experiment.py @@ -142,8 +142,8 @@ def training_function(config): v_opt=v_opt, v_iters=config['value']['iterations_per_epoch'], epochs=config['train_epochs'], - rollout_episodes=6, #60, FIXME - rollout_steps=6, #60, FIXME + rollout_episodes=60, + rollout_steps=60, gamma=0.99, gae_lambda=0.9, clip_ratio=config['policy']['clip_ratio'], @@ -160,19 +160,22 @@ def training_function(config): if __name__ == '__main__': import argparse parser = argparse.ArgumentParser() - parser.add_argument('experiment', choices=['A', 'B']) + parser.add_argument('--train', choices=['A', 'B']) parser.add_argument('--epochs', type=int, default=200) parser.add_argument('--test', type=str, help='path to config file to run final training on') parser.add_argument('--test_seeds', type=int, default=5) + parser.add_argument('--test_cpus', type=int, help='number of cpus available to split test seed training over') args = parser.parse_args() + assert (args.train is None) ^ (args.test is None), 'Must either train on an experiment or test with a config file' + # if no test config specified, train if args.test is None: - print('Running Tuning for Experiment %s'%(args.experiment)) + print('Running Tuning for Experiment %s'%(args.train)) analysis = tune.run( training_function, config={ - 'experiment': args.experiment, + 'experiment': args.train, 'trainenv': { 'stop_on_collision': False, 'safe_actions_collision_method': 'circle', @@ -213,13 +216,13 @@ if __name__ == '__main__': os.mkdir(os.path.join(DIR, 'best_configs')) # save shail - with open(os.path.join(DIR, 'best_configs',f'shail_exp{args.experiment}.json'), 'w', encoding='utf-8') as f: + with open(os.path.join(DIR, 'best_configs',f'shail_exp{args.train}.json'), 'w', encoding='utf-8') as f: json.dump(best_config, f, ensure_ascii=False, indent=4) # save hail best_config['trainenv']['safe_actions_collision_method']=None best_config['trainenv']['abort_unsafe_collision_method']=None - with open(os.path.join(DIR, 'best_configs',f'hail_exp{args.experiment}.json'), 'w', encoding='utf-8') as f: + with open(os.path.join(DIR, 'best_configs',f'hail_exp{args.train}.json'), 'w', encoding='utf-8') as f: json.dump(best_config, f, ensure_ascii=False, indent=4) # if config file specified, rerun it with appropriate number of seeds @@ -227,13 +230,25 @@ if __name__ == '__main__': with open(args.test, 'rb') as f: config = json.load(f) - print(f'Retraining {args.test} with {args.test_seed} seeds on experiment {config["experiment"]}') + print(f'Retraining {args.test} with {args.test_seeds} seeds on experiment {config["experiment"]}') # rerun with appropriate number of seeds + rpt = {'cpu': int(args.test_cpus/args.test_seeds)} if (args.test_cpus is not None) else None config['seed'] = tune.grid_search(list(range(1,args.test_seeds+1))) - analysis = tune.run(training_function, config) + analysis = tune.run(training_function, config=config, resources_per_trial=rpt) # move final policies to appropriate directory - # import pdb - # pdb.set_trace() - # a = 0 \ No newline at end of file + split_ = os.path.basename(args.test).split('_') + model = split_[0] + exper = split_[-1].split('.')[0] + savepath = os.path.join('test_policies',model,exper) + + if not os.path.isdir(savepath): + os.makedirs(savepath) + + import shutil + for i in range(args.test_seeds): + s = analysis._checkpoints[i]['config']['seed'] + check_dir = analysis._checkpoints[i]['logdir'] + shutil.copyfile(os.path.join(check_dir,'policy_final.pt'), + os.path.join(savepath, f'policy_seed{s}.pt')) \ No newline at end of file diff --git a/test_policies/hail/expA/policy_seed1.pt b/test_policies/hail/expA/policy_seed1.pt new file mode 100644 index 0000000000000000000000000000000000000000..f7375035f74b480fe68df700050221536640d1cf GIT binary patch literal 5271 zcmbVQ30Te9`@e14bkj;&R7#=JCeru3ZHi<_3t3yQillE{2{p2mWQmMM7%KbNjlJ*t zmL)V4A~QqD8e^Gkkul8gR%0Hw`Typ5{=ajd^PJ~xWrj+j*%xi_Kf7TP75S7Y{<7J)2E5~<`Iq}-@ zs)71azFRvyH{b1hU^MIT`56DoC!kOUlh(((a%MOCxQr;?hk#m>)PRlXq(;iI^dgMzz@rKd61i2iu0r=32zNXYxbZ*E3C$k}9(k-Xl;UHC(ZM z9e6I2XYuV7GDB=P6dp2pPq`{5-Yb*$maB5+eKL7pxhfZaXeRF`SLMq4XY#|^t7fG} zI|K!)sulHkyndgo@3tKDU#(v(GL*Ca0gnDYx}9vlZ6j1AT0p&J6aM1hg7>|`;9T`g<9=q~I!F_VSgh~#ub zm%^A+*O<+Qay)R{idqtt@u2x_G=i;IRja~IO!J0kx1GTBO)d@f91cC7ma`lFYr*Y8 zFift>Bwwp+I-K$+25eXk_s^=L;Y2N1q0xfL$?ISbUynoghJkDP3U1>fZQ80~3F2Kw zlplSVIsaOVnKn^)IkkvuAK~BH_EIKzOj!vm-L1W)TXb@lu`s127Tiu(C ze_g~}$2BwCTr)VZX(3tEnuEX2F!H)Kj*gnCveoa@@s5T!Od8XJj;~IkkKxmSrX3eH z<_&=`-|I{qID&j%6tmi`$C>&oce*BssOP~gOmbM8&2`kKPxW;ep_>WyA*(Pi$_U1n z+-BP(qse1_Hu*Z{z^G(R_o(5KaP?Fy)7jj_N;G&l*<~FxH9FABQxn*t;c*Z;HxXWE zjDnJBew6!qC>6S!Qnqn4GjRS6ieC32?u8Tdsnn*q3JZze*x{OT4s0K;hMniFNc?yk z>+iA%9$Qa}r>_ zc<=3>?0L;Cw$RWIdi)Rub9{ftTbtK{S^Z{V>m^N(CtZuEa!bjp~9oNB-_`zUzd zZwo$98%3;41l9e2VGD{!!R%H|N;~&0J3UgsKe9ql$tH`g6zfrB~dIv)qf+n)=wTOugdD4MyP zOQ6D)i4c;nNW(YxgyeZIxM8NI`1OKnLHe|r3meqJ6lT8UmhC8HDv2v7a)UpV_Dq4{ z6|tZh;|IsSn@T(1{fQM^3RsMm(!hgrpjADMdOeS#GsS9fYBiw4mO-%A;w69VylX2rHTwliy*Ef`*Kxl{XeamECf< zX|@FmR2sO_pLHSKu#g+k-G+8=>j{Qw)(~VR#*>*2*rq3<(VPXzd|`Y37Z2qsugBTn z$MOI0P;%k=A0M{!yr4#V2#jg0#nkwjP)A)^zg5cgY{@H@uR4S#eQ<@@zbn$+tEFsh z%^`Npu#lQ*`3!`!kJLle$&2XeCTO3iF`x@j_8Put5Xx>jI= z#qap!V+iefF#vjeJqy#d7BJ1~9!Dha#UVOIOzI%E`Oo{ zT@W|m?SqxVrW0BC-k)RZF08^F;jXZ$;Sr|q979E>A+S&pxRyP>VCw9Ix$krFtR#xk zEe_$Ot6Fd-Y%C4#brd%p{m4#t*9L{-`7GOPE@D`#@a{YcYc4KCo535I>FENLPST~u z1QnK-tw-ufuLQd$RcLLlVF@N7aAv+WIW=tNKAP^ugIc$6P``ToP@u_^0@Q{k34va{mMur|h!5;i zh&z4N9>=+!L2%FkbKjRGs>d;ecM^nbefT$vzQ^<6I9R?;W zAn7KHJ}$*|1NzXq(lyNFq9HmSv_atc-5h(1ZCpAQ z_T9WK*v<@r`}US#`%**~RlTWZf(|U~qD6nq|Am=e4<&sqPv|FdVa(o%knrU z-&YK#XoADHN_53pjfy;$GP6g%G|#9%mFD?Ti+ULbuiqx@@p*tZzk7~K45MGi()naoBeW*ZJ7I!0wcp$6#eGaWw_ncPO^E5Pv)#*Y|;)k_sM(q^GL=F&gKa{s{N@x!x~ne zT+a0=vZrsOV_{LX>>SeAhx!gup*KxOv1`_ExF>x(^U5(Iovu@%re`ze2``v-<&Cld z=}qXcSque#IMKG}DwL98&tk_~!{M|h6q&!mBe@o|wD~Fe)aGD$z!M>L>rZH^u!7}{ zekNo!o70_KMRNWofPK=4=jt9?L265^Aem=D5AXIQ@d-C{o1c#g^%ksncVFD>xrFIG z$io8Chw`=ES+&#=uilGZ&{2BXgNLSK)=|z{5?lIll zzOZ5YD|}&mmqmp<<{}#vamh+=OxP61ehgg3Dt4*@=3HWPfo0&y&CCi;W zF5am_q0i2<#Qps#@XkH_SfN6Cmd2$0NWkI?iSVIb73a2YXKnH7tlC$Dy}F1*ZTbHZ zKV915r;ASr9pNW~>$N1@bk>tRc@1by--Hh57-VSL)0RULnh@ea+a7OWVUc#2e8rbk zW3rgZ!dC(uDq}Z-&Y*&k4p|i2L#j@Bd;GNDq-*>?#821%C4SC{(}z{ua0sb3rsTel zaY!#C7Cliyr`GObqt7+sbhpd+;60-a&6P|%#+(|JhEv$MLD;{t1^u%_Nx8I`C7PYZ zCr2EhHct=CwtqzXGR*o46$6H$1g?Z{MvVqa`rXy^krzKPl z2KF)|7q$BxaDSPYhl)`%z-V?b#OehItESjfNnj6{@u-p==+XtejvABo)M;$f+wHh^ z9!Ijv4xQL{fbl_Bm~>e<9e$|}#ert9>x>tyDR{&Vik1s?)&sy|iZ2`*paH|yx{=ar zU#zXO0%KhU6?(m4G2BJ_NsWTSHzsr-&46B?vV=_w`_p2je9T|HfQ`OlM42k9*-QKi zf2q95?rWQng26j3V2>x6<-TL{AI*X{D^8=4jRUKQtj79!D@qFb5idP#!PCw2nA>|J zVZ-;$?gc7l^!;-S3jWrWy!{80c-JUcJU&FzZZ{B^uR5B7qJDo7T|j!fDAO1DdEsK zPIHSE-Mzeoy$apqk@cnob2ezfvu6gdqW5U{l>DB>O+P8L?U#L?#?6kh+h<$;xBa3o zf4&>&@6+uc=erl{hr@^>3!o}xQq0@S)JqLHoup#?cu1>#FJvWiX(qC>WLy64eQAqq z{_g9qJG#G5?|*dmkJICX2`(CKBf7dNE=)EUQCkiQRA?*yepCALzTK_u54qI&g{d?8 z%d@#y4*5ye%a`Z@j-9bzo}=Zl-DHnTa#*L%*e`vWJhr$q*10qGOaCK}4U&Dz_3P3Z z`=xEjWAAjvx^~8Xxz_U7ES*mM4(yEmas{>J=K0wd*uQKeD6mTxyT2NlDcS$s{PQc~ q=kk8r`vohfT-&RjXrO+_ciZ1Vfhw}FAu|`*udRJY+y4MGkir=N literal 0 HcmV?d00001 diff --git a/test_policies/hail/expA/policy_seed2.pt b/test_policies/hail/expA/policy_seed2.pt new file mode 100644 index 0000000000000000000000000000000000000000..24efe778dee511e1947f586ed4d1b93547c0564f GIT binary patch literal 5271 zcmbVQ2UJzZ*1q)K1QisdsPxW7Mb6$LARw2nl&A<&1f(9gU_`N?f<{H`1Ql#ip9Ot( z;Lf&36YK>+gCb&y5!6J*?z=$D67#>T^}o4m)~qvkzHfhXX3ySpCPXABFAyjz3;tHL z1-%55vg4Ce@)8{qCW$B6XQih3cxnp9^(eDt-YM~7 zRbF5f#>-ensY$6bGVC4grzWN(C5w64cyXqb*FGj!oRXHK8k3zEmz$E75F<{^$jQu( z$#YiaBvb*iM)I_MAauPbCP&Wcc&_^5G5lW&-tR&JC z^V(e`^LZVS%zVCAH-WC0*9+r&f1Z%@=Lz-cLE+5zO;!pll@as$-9q$=cmt^(sgQo% zJpIMIVHj`pS%|ZJmyiKHSX_AHZXqUr3Nh^zV%AMCP|Obs;|G5hBK$1Gya$Dlw~$gS z7W0;!6w+B0@mAeBth;G!#Jp`7Z}(Y;uv>?H4-!}2K}w<|<{i68=JQUSI-I)+T*SOE zjCai~;D>aP#H1&RCw2M?KeX$O53`JtzH0&RR=^MMTF<=1>>R0|@a`g+oG96@b>O)I z9+JB{q>k9-C_EPMBYJc>@g4>I$R1tJyk`OL)uYRW_b%W^_2?4vJ_WpQS66OMoPCH$ zN%?#IN99#g+nqJ!zk0u>pid9)cX0Ia?DduJcWwmb`G=sqVi>b7tcO?mPF(Rdeau;W z9L~Oul>{4x({GDT!I>wiG%B|cJ{=zlb&I#Mmwqwm{q{Gv6&o&qzyDR3A{j{$kLAd2 z`#d~UQBDVK4OwfJ6*E4DI5=vE#3=J1R2BSEBhWM;^@RRZ=O;%FZ|2anFSg0yW$g|y6Rv=83q!QLp^C?6 zUgORLALeo{7I3{U=wa3tz_ok)vGl$vE>Bp>EbRA7^nyxRPP7>|4%p9~Upp6t>V|m1 zB!eQSUI2~Bt8s@pAv@@-+xdEa5C%C`N znhzV8EzD^xr0XsL%xj-5byUyC*}^Kxrp=3JvgdBN;h}@empx^#v-2bi2dJaEjxA+# z+GJ<4Qc?=uB)sB@wUOG8z5}pG-3GI=rjd)a9}T)5LC*qju$YCvv0W#ou%UwGv|sr> z^m}1~Ka}hMqgH#oV;G7`M;1`Pfb*G_h-dqcr*wzjtQ|TB97YMwKAVpcf5GLjAZvOAd78Lbh2g* z2m=M=6`w{GZQA&AlM9xHYGCrKiNw}cV6e$;cdL>j+AuX<@^oq0Eji)@R_rY@3|IB45O`i`J=P#qmDmMyR{g6$wISPI6 z=3)7T-{8pg<4|^L9;KOv;ZLE@;ojKI>>Mwk)#1mWBU6_imcN6Qd#7Oha#t#Gvm>|k zo6LT0CMCs1v00BT@#^9e&;*TaW9&#)X{bSG8hugPpp#DrgVXm1?jfOKaGzrXe)wO#hp(7MkENrP>=K}OqJP1X(8Z5{<6@Jd$ zAThntpKP+^QB!3d>r)6nv642K5Tzv2=!KcB}Y%+#UX<1T=U*KTO28wS;hvGmB3XPd{CvdrNw z9Pd6H_sq4W556^$>c&b?=ikGee`nAflj)q_1bg(g6p)kpCvY~;mrNZr5l^lQqK5ZQ zKs&5)a;X{icYDl2tL#ZpbcbtGY+=r?e}#3GZOp+vo!k4zM6$bcWO(}}TU>EX5#xMM zL%8@O>l5yQ(NkKOj&U@qeDos8);cy~Lq2;t<`-_=$5u!+&xA$w=UDy`D>`;Dn9V$P zl=Oe^u1Lz7S2aZTX!gtx{ndUkt*d>t%6kvnJIS458=0Cc_E4 zt?qBrIk7y@1dfSTAR$Y60jvAdc*BN8)8CS@f|UûvhYtLRM04eD+gmJ(Z__UE{iEQ;uQOF z_ce+4$wjbt+;iAC6R5YMJl-}g0iBOEup>N{YQxOw$x2(Mu&)CuxKcK0Wfd#??yS3T zs}cmAw_|0uN4tB^yTY6*9dWypd2L_u4M?5sLK7shOx0o9x)(bEBeqcLWb7A+I97?MmMt_*a(&C54B)D*u zT`3zwJGbi42VHsEQ~3m*e)PeI`O0V)zK!WE(x>RSv+#6<3@JPar7=}Y*%M(5&g&C| zCTbBh>$Dgfo35~heKs=lkCW-U1)=z~-XEV#_eJB;`=MylznRXR4ybY+#gcjl(jSME zsUx)=TFge#P+<-=CVYeDQyj=}Lq3!qj=-OOS_bW}^CUUj38HTWqtA@q^h*7Acqgu7 z#;+9V;fibS)Q`Z-+82Oc|FY{|E|}a#(0M512TRLR#*L@kNh@eL6%W#fwE5S$ z1LZrwzQmCFpYexbhyCf!iThAGOCI|_dBGHP+qmr|{jk^_SmTRLP_R#lT2K3d$>;^} z?%P*f`Uy2MKe?29bx9H11KddS!W!_of1fRiIKwVZRH5Vn9k49g6qR*dX^`|>7OAX- z4}7$srLO}zwxxjalDk~~J~JFUu5VIrk% zIlzAM8wS&iIodThjIv@YK*M_vBu`t-o?Y-owVOHY)s#CdMD9G-@ct9r>Q%!O<0iwK zx&SymVke}I_XC5UgGqZyB$<1Mp`6nrSbbcCuSPb2MoAXP%-FyNY*+-#9CpI3+zxhC zXN%<9MX6+I`v5jy^kn+&7W6p!IW!hqGWVHkWM^;4riS*THU%X}HJS=G>Gj-1w{q_1 zWo44q{kphxVld`~?cquWIa05>1CUT&4-1Rlz-2hgmek#c&V2Q}TB*uIQ6T87|Bw9X z(wRTcEi=N6cdXHPrWq|dHjmpQ>qTo$2GCrwJRNMg3EQt(qxN1##dcjJ_){KR{Bnks`!Qr5AKPx=%vbu?<+ zi@_}=FItmrF?n6|w0o_~WhfsJ&lGOf)g-87g3*Kr$&Zom{Ra`WLt6PJQ z?N->m`2%zJLsAokvT79(?Q1lGWka&*n{~O8le$B&@ZBKVp0twPI@SUehulanB|#d~ z7P4`7S3}u31=ynZh~4<*nB+lk9rj|j2R+u@#;sRgRI7PEoMhQaHsQ1$9*UX*-@h~? zrLiUOX7)6CYcQAw9L|R5A_L|xja}azoeSevXu-Yoq4=^Tn`MTLLp=Wxg2%66E5{n+ zZ9O?^3QLB?JC?%U_;p-Wul;c9@j)0;{taoFspBr=V{mEpTejcP16#DT;QmoNN(pnr zyrD0^VyzN#QDb26fgDiQYT-V;AAzgtUC@5&4Y*;qN@DS|GWFWl8xOQ=)0X&pE^CPi zR;i@0@t3WbV~860)vsj@KaHW+Bj&TBD=}CX=0`8vp0H;VN6^8D7Pik-7PsWRh4wSk z@YJ*tkh2+!29f__f7r;9^$l<8Xd6Rft^^Lwn$8w@8Pds{4hYeRe1ZMbH$p^;inf0a z8X#x)*YMA`h@abgo%eIn64tA`mEt;Y^#rbZ-OrtWhlmuUX+!ER(qHHJ?y>&?%df$g literal 0 HcmV?d00001 diff --git a/test_policies/hail/expA/policy_seed3.pt b/test_policies/hail/expA/policy_seed3.pt new file mode 100644 index 0000000000000000000000000000000000000000..8b4304a259d3fbd884f80ed393fee7221e8ff120 GIT binary patch literal 5271 zcmbVQ2UL{D7G9bZX(AdCsnSHsvVfHR=SnYG6@m>BMMM-r{b9vp!A=p7rV>%?0(RrW zh|11IF`~xAC|FPt3kZnDh5|NxyAX3+@?Oq)Z}!ZY^Uu!r-S7YB&fGf_D3FuqaFmod ze=C|CElzk+L{xN2r0u+LVYp3VOstQGIwwS`tdxz2NQjM%j1WdA#3!o+B+ZLVik#;a z9U)X}l030o+Pj!jkxONyMkFgkW#m@qOv zIUy-5g{Q*GSy%)siebs(k>Lv>S^0j5icf4pxNvfRrwXeOEF&JnWd{YziQ9<8g{-3B zrI1znPQVdp3slotWr3{yK` zMS-@E)$AilV}}T2(pas2f}uiIJBS_j<%M`(UTC-!1&{qEN^xSojF27CFGM??)e-9v z3mMtZqbp=b1+jWxgz#+ogy>7L*s})xLJa>DVk8k_+)prC$eIMPreB0Od=X+MMd84j ziz#x1tc8R^{8s7gn0_6W{WN2RtW^+e{Y8gEzYZHI5=YinOrj`cxqT#Qter#$ub;qP z$T|eEjtf)SaeX9VagoAsiLbCueP7(!B3S&bIjl=6>)JP;DUnIZVn1Q|0-5As*}i#T znN*fU^>v6HvCmOhNM*-Mb=k3QsjRzH7mxKwWj&?3>{+i=)?2E}f%Qpcefzo=CeO7A z6eubck7(a=L~L791OKb{t8<1+dA}{!$3ts??@Ja!mQgkyeG-bJ*0)ghKpF;>=T$Z3 zE<%HDD|m577mj|LNd|?oVDWUVC_9qC>~juSHu9~g=Xneo^+fSM@lCKHtq>;IPlMw} zgivsxm4xqB!-n03@NxcX%nJ;}XRm#6yooX%nQTYy_$Q#qEeUhx>R|UWbLeu9K=<}+ zRE)~NQY}ODEjU4+b#Fn1Kfb|pPv2J!)*DPJ4$h`E8yx7Y`U!Y8SQGZxmD8bnrsK8v z{Zwy;JvE(_4$peD;Y4!}Es^Kb=Q1lHR?`W_WUM2R_<&x{VGKs@IQpGGne?HH1ctt6rarwy zx4)W9MB5+HD%lJ4#_~HfS;hpC%!Bb^b0^vOn-(IMIE2$Mx=g7b^VW3M1#24UVqP zOrxh9$Y~#<4SQm7TFqGUr0XTQsHq3*cH|?R52Bt~MOe0fqG)4e$7%DuyNUYjQaa;6 zi%9O`LE^kD6E&j^Kq+$*EVTB;c$FeZSrAN!^Jd`aWrBk!0WC7!ASqv0RQ)7`RJZri z?>4Q%HD~3S%Q=PQ^)NZ`*s&Hn%eG+CYq8za+iB&~LRahkIn;7%E`MT45HV>;L#wI> z#KZR?bINcqJjM~2+BggRy8U2zi6(B6OMrjfsAZg1E`lYlE5Pz3hnVwJh_9%W?4M@` zpJKDnTJ0NAYDzj>=FY}9ufD-sk4;FXSqCZUwt(xcx0tB0JIRTzF4~xv55pCmv2L?J z?B8bzH?7lQYkC1Z;jO2s$_a4xE+4t}-vc*bB!0ig1#eqgq1UcrFpPUlwi)wKuEiZU zw_1_8+G*4#ZZl~nE+D(m1s7jP$4QGT7)1*Y=&f=9-Qb~B&4L{?sP!~SZ?^~0=nP!n zFo6#8^MibQ0m%6;fs-Q|$yk*fNM2TgB=ap(I&KT&QtAMb9U*s%TNI3&ZwkHt-T_h`dlb=9|uhx zp)kiT3w`o5P6=!?u+}FVt{0_2{X`Sk{b>S9^yn4sZ3z_bg?;rOb|?pFJv<)|?tj>! zq{8*z9x7#eY1Dmnj55Yr&CTs;*JE3BuPCI=X!p{k5vx)ywFSVP*fH_{Dm z`e^b&Q&b?+N+%z8#D{9VbVY#x<2qGIeM%Jlkotu7aypp`hqF~tLp3qO^ccbKCSzf* z77cB40a2q57}==6n0jT}>%WLx=2#-{wle?O-T<)AXrM*A=3r3?e*(K!HQ0_BYqHbAxxL*yqili^i|N&Zxyu(w!>S3;Y9Y40eG7qAQzoillz53 z(9i*>zS<~ye##I~{G83)ee{A9r`bYAy!Po=`vdT?y&pafm;h>bA5ka2%S_42coJvd zDLSGs8&`ijpPt-#oSDjQrHw0PMCH4dFd?lE$>#$_v~JFPXzmCBqGJZa^&?T?J9(7X z-NH=W*G>4SzL<8R$kA(S^Kk}=O zI@4q68%4U^4%nbE9do@#V|+s_O?ZBZs+OH38dL+!hAN>$BM0Q)u(Y;x9n~^V1cM#Q zsCOim^lW2En_Dpv?r5QAz0Q!GWrb&IcF}2GbKpY83Yyh@i^>*wBi}Cp=il{4pH(xc z$_it=t<*@aCmo~ezbWJTwMKa5wkMc_8GqK3XmZF|fjs?%z>cg{BKcw;x260yS-s!nL45jhaQo8Lo#}r=~X>#ypvc-FAE7&OzeAfF{(Z1hb(x65QLiL6LjI)L+*(l1X_rk^R_tB>FJLuXa%gLNa7l?=P338_A z98Iwk;JL~RgsY`bTr@^vfgF$gtjx#Old3qcIfuZ$QZk_zpi@f|<4;Yd86C#NSl#k5ckFDCfemXTaoIi%dh^Lm zQgGA<9vrP8tvZW|(@7=RIxd&CKjxBM!}I9u8|rvw=6F!%&cs@6c`PwoKy2P~sf?B( zbFp|hUJ4zH!z~5)@NPK1-|>McBp#z{N`s)Q+XUp!IpUGF0MxiFk5$`M(bK>J@;?XC zjXrj8=-LD3%)47;sJ#ceU3Erko(vUa8j8j)11sB67->8Pt_S*1Yo9t-US}5dbaI1; zGiIVC!`nzzq&~fP$rg5fP7{^?WCr=~Yfis?;Y*@wBk}tJ9tkk;z=gLT(2kw=>AUAM zA!zhCRCC!!gd6lQY)Vv>)gS_O`}w$c`$YQV3Of?q=}wv#7n4hW5qQ@BV zj|?lOL+b9)?LT|rA{{<%wfjkQF4dR3$~J_X0R*cLEMcDim{V2Wy^;nbYGOs9J8gax z2e%qLarxmjBxc=w8siyDOjC1-qsa!k{#-u&CB&61u3k(|yb8xnE&lMX@DhLFqO;_N z|45vc#(|D56{sK5QWe^?0LI4$GAAMo;NZl%s?R^&V5VC|lbAMVXnEU8u7nN8IUfl# zRH2T@+s{IIy?gXi$rZxXrc>`>$Ea7y3u<|;opdW%f~8IvTz?jb4sDLGWTr75$`QZ^ zLu+Dv`XS?%sYsKqD&f89wh*|xj8-kMgCc!p@*-6idM{;?-xm~;?Fpk9kF&ZMnQ4kY zc)H`W-}&Gk{|&gMdWh!v-tFmJ38342jNM(whz zY7Yq~gCAZacwv<5(hG`sNBstw`CtMn91nxyJ)Ss+(Wa7kG3y5?OU_?Gv|x=SMpboRhPas?V4F}w15|${5t?Ry{F*u9hU|HnD~2p;=_xC|MX25<@-iS>xL^wd7$5fYreOOc1$a z?FL!ek^Y{>O{*bZH@$JAyDogZl#GW;&QqEmgvS$g;kvsV;Hq+3^U#f`Y_f&aSrO>; z!2>L-Vn~rj4^fTyNSANcr|~CjF_p+ed*K?9uW16TlRv^(w^@;?jPW*$3{;7s4*k5F3rvV;KOrf$9 z))2cEThTEc2EE#DGQq!eFm`VCWP-O!)#nl0Ns>|{BYQ>{>iuiTZN=C0a`7v2>wOAx z1AitxzWy}SbcrZboPXA}{Xi>+s4-jT#9>~HGN!f3gYvRZq&u2VkL1`PPc;IH-O4E! zUy|5K%i!_PgJ7^zCv(|ZgQ~S&rtSfaq=4M6nwPbo7M%!%KX%J8X8AH0Ic+R-2m^q7 zK^>1(TOn&S1^@6BpNWorVA=!SF+|S=M=rIe_CZF(C0rF7R!$8f|GnEo+~X(oOoH?5!s9`{V+4)pJGLPOM_;W~dR@ zt4~S2$Q0uy&muOJ9#~L13if5SGrH;1q4@SKa&gOf(b*P3Uw*gL^35l%`1C2M|FmAT zrSm&S9}msH<#(GMekI3C2gAoRTIAA_y`tm$_3$v`gq2s<_pQyCEsxky;#^Wv|GO;> zj`?4<{yd}mc#Qs=vA<=HAtClEk`;Gt`+}+Bm*Gfipg=~_{B@`F^?6%U@`qFzc*8Uh z{dI1xE`{tBTlpGo%N>aQI**pdYKkwHq_B1av0v|L(%78?vAluUulFBmY@qm2%C7xD z?AN{_jeRf>>o5@e^;}D1R}L9q*Kr{B>lxIL`p(b3!v5(Sfr3GUto|INFK7MN@GrNB pU)pBL{hYW2Y4x{aoa9!I4La6j3m{ zx|ncH&{bk!*M!Q7X)z#(E9S+tM&1mpdmQ%td(Qi-Pn|klUEg=V>biYzbp?o(Rd_rN z4ciBz+EP|0i0v)W{Gul+J~EB%6DKnkrxMpq=EUm8 zsf!JztX>yMF56eEl*{UO6BtNY!ywk^%Y>Z2OvqS)!kIORQ}*86+2C)lFb6Wd{ebL%s+Rd=WBKfkMCz zlTj2&SsOWpY*u-!ZMP1)Zkpjz);@?G@kNKATL)i(#FcfBk*G^q$1ajw)=93zxtqX6 z$_j#5*Ew12$S#tIq*!UB+*eq)t~c&(Bayvp9_x|C3cJ>GZft6r%uiTPu~M3(SJyhQ zOco1qT^%w<>~a(qv)EAzT~4f57CTy@%b68rv11gvT-dQ$thYj!fc42@eY?8mq($)q z#OfNQrVrQemD!fpfdA6T56Lxr@`qLkLu zET;|a-=kVm44(Xu1ief1P_wp!jEWvfi#8_Uf#p2%c#0*wOtZkuOl`co%!5{B^5{;# z6|}9RkU5%pg;-G!$lUp?dS!(a-7@`{mh)=3_)Y}`oXWrgkp{i#n}EIVj78tKx^&h1 z0a#SH2utpbq{H`ClASmF@M1?amJiE^s>n@HloNpMp~ZN{ERa@~7*k2&G>o~ajSWGT zwDr*;vf*S2-jBDX&s+SlCcqQlHRn>TtLv!2rI#R4vq7s-MR;R+4y2EY!Zi0lsw?uu z{DFn^grOLVYHi`O(P&I6R>Gi1UbN!a3P!MJJm|b}gWW9)=;(AiI^xIx%G`CJPZlR) zRjUaabv8mlc@wdiw}1xDHHG7UEWl8WHs~-(rwvmB$tk`I^KP&^9=O&4TTaO||6WA> zlT%=_uQ9ex_d|E12yB{CfKdOAn0YUykJ@_UVx47}5GJAgTSjzDp9ScVosMTj&g2*4 zG4$0PRcODlf%5li&=lpLxocqy$$97mZp3It*c3%ojE-^DzN)bC3gE1o5%6;NArgK~ z1s|y!;Qn?KSX1Ug(;QiNNPl9U`|6|V?K33Dz>qX*sbPTjB;r$|f!hj;iNt&s9*&>F zEHrf?`LCWq?pdDaiGnOF?thwdiTnnC`*9X&F8sj!a_?6#+_jj#-CqK4e06bvpbjF{ zZMacZqlx{R5}1*-9Et~6(s74RLBhmL>bmu@=lge0NN}kRP0h@uV+Mv|$E24`uK^sh z+HE*_I{i5bUY1UKn{EKpkKfP+<(uSCtTs+vmXD)0m6OQy0{TN-De4_}LXqlBJakr% zj2k_YoX$tMIA=5LO4`AY)oRo-dKqfHG)75CAh#$Wg({h-(rdPdNQbKdxzltKve^FQ zl;Bs$3-O=^6Ou{gRt;Rsm1DhT1U3F41me#-qvvZ~&e!P(eET#Q`wUu30|pr5EN&US z`ZygeqPdsX~anY)q;3s+y zmj_zoNs>(@f~7UQHLKAyz8H_KDx`vp1iEQ_9?{6Df)1iX`R|6}c)PjuTO}mliX5?e zUlr*vKS-hujst$tWW2d`5;T_Gt~qe@Dd!cEPcMb3&~oi!lt%=!%%F|6vJ@h({}vHc z6eEI@kBG+;(8;uH+8Y@9@psZkd=T1S>*JY~Q*mvD52a1kq<-mmy3X=D*jr*rx1Do` zYZ;5_h@lIK>d08?R*^)v7QBOJmpYmIDu>8hb3H28^W?#uV*#>Q*j4`}LJ1W0IQxhk z|Bnczkgor6V`d(R6E7`c9N$icEQe6^dK!qgHfNHNS|6Zc?M&|OB0K8TW{9mW7UcU_ zQxYl3g9QErYz868W-_?E=lkGzLMOAmQ5iRVN<@C=R`UFX3%aGdQWdkY5K>(Q^**EN z^^g?mbX-VE>ugB=USnM7aFE!h`eWn%TJlTrK$suvgzE-ghn$t`N!hJeaPCerwCxI@ zhP(JEcK5^iLuPRBFaTj=R`r4AgWQ2_sWk&vuY)JzHSlzwDV=qqgs5H_Nk5x-674rD zpmDtcJvwg^yt^JlHP)YlPb-Gu(&&pM_H`dT;p0nm$J){r^^sKRVGxy04~I~f2>2Lp zPa7&9a}$e87?tZ@!qLNT!fzoFX!G&~e7EsuxZ~dsua|u$(-Z5+>HWt^*{E11*?$ex zUA)L-7!9F;+f%9jog6ahejCg-bE6H*F9RFC14cYFp|vgs*gn#T?pgN>>~Q3f<7d68 zrddAewd5e2_wk@bhePmLbrUf=HJ|9bn@CqMljw1Xrk}Ul0E``q3H#51=UjVK**B0r z{oqLt&+)|@MlU>zX6oYOkQT5hw1YPxRphCo5RcwkNi_P7r32q(!i6nbRQs7KRNV5# z*?#v(fYnvf=Kg}a`~EvFV^LMLlc+amxx@$0-gpFOt@m)k_m1SLNi*Z8*Bet893$Iz zo*>?l+L*0$ntbeE2W}#U7RP-eT$Ky?v@4d<>n1qdLyg}2WQ*!qWi@x=a-ph46E}VQ zM6RE)B>mUdGOs+9NwwV+e0)5ZIxg_0N#z=3>e}~YOW<>|WBm{;7;=`WydR8x^#U-f z;Vx*zjzOPjTk3Z)jVfs$Byo-X==Tv*;MlxxwXkcXrvQEAMO5)T={+* z@$GAcp4&3e$nPaoCR<|Pni{S)^fM{`!w$WMMB>N%X-ryfCkVzE(zugHA>G{(Ko?D^(W=^3IZ6S4>Nkbv|_3c%-+Y*9r-zLz$DppvTXG9|{OemS4LKiWUaq!eN!qs!0zy@tE z41Z=vI`m4I2$f!Raf}|-y=#RYOWH{L1%GN#8Or_GGKh|`{01Kd`qBn(dsz53oV&id z99o*2!Sh7`U4w>nc;P29T;NTcYbnvWIdiijCt}+nAI`gKF)8&qN2<89 z;AbhpZ`*sLv#rc$Lw_Otrwpd;mt3jv!E}HhPeSgAQpk>JC39mw6Jz}a5bhn$)QvZ# zw$^SmAnk@w`ItTk!lt76HZzhu{Vu?vYg|WtJ$Swkp}p@dBOXycOaku~v?NC3V`_x$ z4*f8?wH9jmUikZA13K4e8s~G9k6PN1_(UTK+bWCU+U8_DkWvq?R1NUpc}x1!GGjc| zsgH(s8=&4n3Asue`ls{Vnn!!K!0iZg8XA8ThW)wJQ>(F#Q3+#cM8Yl-N(dx9+FQMN zq5&NIDG?t;zhS1FTSKmif8ZueSqb&dRnSCY;NvbA*ql8CmBxy3uD>IF`9Tem48(NR z$~h!@bu(P>ttX${E_0Jx4bWGEM`vY^#Z^ZKQNNTZX6X}O+WAQp)b9NNIv+L3kcdch z<==o+`Y8}tR|ogcBvN*Z1DwrRgeP;%aL|len6dFZDX(sXsGnBAox(R{!g)U`{w^3h zP3M5K{cUFDjz0-Mtc4lfHyDRbOoN{f<{eQ8L=CN zda3bv^7{YCpDyzJIm>z=>|D3MM!#%2U6BJgIPL=+sx-nERey5A5uMzYk4Zw+jju>> zZ7eBYR|R?eI3is<8D$w4HH~c1tn?i-U)u&(Q%ignX49o-?NyhT|3&^3{5SbCYrF&Y zo@7rux2wX-l_9w6ybqlnaS|FY>yuj#iy@NC;=+%ug0&KT+%n@5B)k`3%VYy;>6%K1 zRW^{o>8kkqJYV$7?1L44S~SK|NaHGWX?y%5vUYO~@mBTchIzVSpK~twXXGdv?%W2s zlV^eNy#93Dcgpn1$6M7NMdnoRdIPup^%Y2*|A`oqSKRD16%g<0MOD+1>8)XfAR3gz z?fW4Q_FgRzlB+7XW#w3A=rt9p-ob}5uV3L68Gx@GdFXceHW50jk%rR4jOvf+q;`pf z)Yh9Y(Wa#!JfTcp+TLKkxf~7BAvZy3>wO5d3d6D14%jZS$2|iJh_&V%Vt6Et1TA#O z`RPe8bAl!6zMc=7Ok6e5?2Ey_jv|8U+0=y$pdJe?Fk|@?Qr`L&tk)XSvYg#D6*IM< zHM@j!KjKX;oQ+NKjulpY(gIhDBb}FtBBsr~T1ZroYZ@_&D+>QV?3t zH6GBzQf?t>+F(vkMEK#b1rjE)#Gfh;^Tlzy)nN915!CP72z%bg;@~HG%<13=-1({( zt@PA@ZPso?&+!ddf&`m7l(0QQK+g}}&1H-jMKw5mTruHWDo){ne(-K080E)!?f674 zY#B-YO(ihR{2<(oHm9W`8+u{+BB+h>M)kOr%%tNYJYsE(uV-XKVt;`!#$+%j-`|~U zYCi2K`}>sFfBRkx758_pJ|ew;?C-`4n#g6*T@t3FK^_X-QFB=l7g(rH#p&4fEeP03 zV>8)aQeOYFEnVKQzis{XkM1L~{)e%D>>k6yT(smfYABx>BAX0PUIWBR^5*X|rLX_D z_2dr}O3xFfp6IXl=6w{9pJi6QMmsq6#D2YxR>bPb4wn?LPCc<-$23Lkrk+^mp4hMB zk0LfecB^35r6=}l-%!Lh_rwZ%V!vK%MQnE89(G-OV!vKNU4{4j=Sp9R%i{tQimc4UKqrvC~Byd(Ckm5qM|4o z(P)r+cCaC$5H*Swdqa&icEvXXG0P$E&sy)lv(7r}o;lyQzjM#Nd+&P!1PY2go{9?Z zAD0$ShZma}pPVvFWS0;tj^enZ>nF*pyQG$0$ zyjYFpeH+BeSql40sMFJJ?QL^JDM`sp-+&K9SnWvNAHisG_U(h{P@qV%kc z%;;H;YOI2#rBGP{%aY8DO%kz+y%06uw2WABaPOcR+fOJbnPbl?2^A!L{LE}tS@2BE zsssvn0zJWi0#;QpKpAkiKrWxv=_Sw=vwA_S{+9(gep!%#422^*Fj;wGshpTK>=mL{zz&k=kq9yB zAj^REJ|Pfs>eZ z4q{!hb6M9OlIR&Cajeu=*ik)C+|5!bdDcAEJ(u<9+0R*`%q)qYuzZ1BmQcQDA6O=r zCCNPl5=ZQD6c%#X(K160?3i43tjv%j>zT`X$qYHM-np!g%#btdo6C;t8OqLzvked^ ztE@46uy&WkwzLKONAK6*8OV6QoxQK8P9NWwz6k1jT;ao&G^`4Xg<&g4!so-ua62dy z9oSGz(s)aZEXq)>paj~3#*&{c8W{RK8OOZ8OHx{OV3I{XG0tBF?)I06U9=cKy)A&$ zxGr+m`8{3Wor|+<_#k|l4-u~xqDhkT!Cmq7#BhNzHbFJ@?g+(0j|Ss9k5ZgrdXjrN z+YF5MeI|o;E{4;)OYlH_DBUxr5L8>=GSBCopj+dX;rhXk$u^x}*m`X$e2z&3S~!f% zGm3_@<+0SHBM(Y$ylPaou%YZAIlM5z78t|+VAdsoyYV*2)6l@FuPR{e4O`R*a6|7- zO1B@mMwfO7vA%m6OmI(UGMUFj!At;}9|F;$BnTEC8ID;alIWxXfne#E2W(*$eCQkm z+G`eq#@r7y=f|C?$C~0MxkHW4%Tq8Ucn@9C@}7pe`B9(Za0oSaf^$#q(!hnw@uO}mo{X7}$M$aH z*fvExurvmPMAd~U2jov$u} z%W4bAxEJS1Q$ZJfAdY~TK}YD1mkm(#`x5YsZX{1V2J%z#6R`f^PP+W`MC_;Ggtxks zX!-iF#G)Y&uPGP7(v4max4aBDnOFjz7=zEea?ve#9_ZfsOdVfbrYFxGWdw~nu(QgU ze`bF({XFj||H3UBG&`GyzuF3k(x+Db^@=W%=%Rq?O6$?>#9lh1r3kODMXvplCYY!T z8JjF?uo{+2n)H=`K3fiz>FGqcdmGcBqKXrzSV5Ia0{C{uVArmED2`uBCS1y-3r?3| zx2OvD9?M0?orSnPMTo(w=jg(j$+&Tu2v51q+K5ID9@AD6yd$!*$PBJtlph>IOZYr9!&Sz?ZNnwlBi-5#hB ze1r&`N5H0sn>gOjYB0YZfWN~Y?t52aMRE=dS+kZD@z>(f!1;vMPeZ4u1+Z=U9GDbf zizQCu(5Gn_+4V7l)|l$RzQGGH#+e1Dcvo^Z^*$5y$Q%`}4I%saqhPku_uw-v1php( zjaR<2BcCs70TW$_&1Y25|7j|gxfQ}BuaC59t071ug4*?`RZWruLXgL@1eb z{f`@VP#G1(5H3O945z=%MBS*7_}$6T@Xc!%lDF6&_dU8rGm1SSzcC&{a+Z=h&H#Sr zG>KfM8tgk|h94Cd5%~vEXcOa)aZ|!zs-h_|eQ=++tEbV@qt?iC8w-vn{LpZ`B1XIj zBV(_gqgQ|RARP*cID2D0`RSN7KHsSi8`a0t@^F77%@wrDy@q?mdrMBAe@&H&v`DaF z9ZiX8Zanuq4E#pjBk`3v#NhrI)QEgYlt1~y(VL#6THg+I&ejmB;0?Y%&gVR;j?hQq zc2X)_OLaEZHO}4YNT;1XK}YXTBfQu@xRD`hShzV6?!UIH|29f6P2W6{!B z73LlAfogqq*s#e3&C?U`3NHdJKDGoxnUXWS9bVDkxcUs4zGFKxz&eqPPmw2Ae6(Pd$wqo5qODPjf14z4 z%O}&(8&+N^q1$afbGrQppxLyCG*xpvhVBi6PZ=ioHfJ_Hb|#ucEHHwhdEKP)83PY% zPjWlfU8hFB1Y(@oWk&z|g=ALr1uoT84<-#8POHnFc)To%z}*IuNTEU!S>aVl!~Iqf zL+eSnFyvbh6-(Zc5N*i#?MFI0F%i4l73u5aY7ja9n1|d+Gj#CP!c#w6L+ZFhOqzR# z9-1A3QN|On=%*x5S$CgC&14xryK|gwm;);RxxDdR>||`(V1TCY2Z2uZHyD|`oJ3XE z()XKxB`XbcXpG7`^8Kk%pnp9aKI|F{F2(Ki@T;f9_qa1A)Q&|{cUR~a7DOZO38ff9s~L*2b`7Ll&)h zKL95_8A*{dAgapa$WM$0>N^>s_XJA}EL}-+Z)nr9WC95R4RmMN_grh;VH%(yk9zYY zd(|=rODiqV)My+{zw{eZ-hP~TE*i&1#Q--Fq26@kgOvhe8E(TwuugLKfFWK_1bMDMqeFuChBJsV*HbL9M? z`j3aye4h&qs<8yi}}&&xXtc0<7W_;-?f1Wdm1Ir4t$0f43&SdUKDqRFpC~ zTZBy4)f43W4}7v=^AKpOaKQuf*KpyR!)Vf!I8v^pjg=pb(AGnd@UQVuqvajBb;%TF zOlYC=FOQ~+6}4%F$qTw`(cQ)|N#pU}Qw{iLhY_?tIzZYEdqYQAIdjZY6GJ|pr~F&$ zG@#HMDh~h1JEg8Zg=nD_rDB?sE;OyxvY1*9^j-ph#S&?1LBc`A|~R!C6)8 zBlYR)=OD^x-hQbAu-;JjLBkkI6WvGy{26u+A#|` z%lUh0jp#b@U+abOtNHLeYA9ATr$Sc)pKF~m5w{qgp>OC-GPt>vICqYO!s4IEEcirA zCc9!S?+z_b8jD-(`{81}+qC%iDX9BUjaDYO<6w_b)cjI7@rO=HUG{-~XqrS*G~`H! z=r{ftZF8`+HG)hVAuO701L+qI((BV~nH_ln5Ut{cqm3l>o{m2z)@5-s)`rn%Hti&A z_b5CZaGp%OlY^y*TXO84H#)DmK|3#+f-rLiQ(MwT&bUsX zALa!TU*1G~+<2II9<73%n~ZSgJ2%X#7>nQKtYC&U>%;ZdnfOkrf&PIvspAt}p!ss> zFrtHK4{D{yt;d3}%@f$NeWW(Rk(h%!j!bJLhWt=)d_A0&71l7@CAo4wubJ*zP0(Y7 zHvZ|Yjw?@X;xvAEMXfqj;ZI$FM-9GMwec|VYW{@=tO|khZD;8g)|b1{=m=ZYFA^g! zA-)j|#|BXj9jvjMEZ^J@9fF^dk#pt2>!L0O=$|4_BHQWqJL)7vDFE6MACQlO0XCRf zp=DDd#0~v{z8n$`mI{L$wq69S2 zx5uO(t7(k4B8>gKnx7 z!K#x3K`GsszUJScca{B^VKG9IYvl)3pW3*RUAsJfsJTj|{`qc1-XVL**Qd1o+xwy? zTi?0(dTRZnz6<{NGkyQ5i=O1l$-&Tis^&5U##Ka8v$>`{wWP(L<$)%WT2k8nvn@@Y z#oxC6`bPKl9R3eu|EL}#BAnEuD>_q^6e3v+Puc zuFW-Mklhk1U!(2p`(nSYqh+yLlEWn#tV3Vy*D*~NyP+@Eu`l-P_#=xAklf1Hb?S@# z+BameH~M0o`(nS|Ygufbb|1SgeX(Efpr*`oe*6{oFW(3dC@I1)-MC=>Px# literal 0 HcmV?d00001 diff --git a/test_policies/hail/expB/policy_seed1.pt b/test_policies/hail/expB/policy_seed1.pt new file mode 100644 index 0000000000000000000000000000000000000000..0e66e7b610ee61a8733e633d2aeebd061d0ecb52 GIT binary patch literal 5271 zcmbVQ2UJzZ*1mKEq!%elQ$avFB5-F*6NIaXh=>Rx9hG+A0!Bp<0kOm`h^WCtjhaXl zR21&s5~7h1G!c6ziUEvRun`Ns3&boT|I1qco3m!kI&S%3G+}zF?C9cwXJn_+`NQDAtxClOcnE5M`jA=C1of?rpHBR&P$4o6vm}w zq^3t^*(-2T=H{VtVpxWFWK=>NC*2QG@JULI5>D^$RN!PnCB$QFIoVJtaT}AC$;k)3g`83lH#Bs}M?KN=qB1z;M6t0%>BN3AJ5D80 zPM|5|RQpH@I5mMp0jJ(ipdsWmgE*~^6SDs}A?*Pa_MA?l+>{LxLT*^U5Y0kPSFA@Y zM6aJmU&t8*al=0fvA6CMGGYLW183MT#ON;}#=SyJ`Uy;h+{hqq)JGwXABBt_K;g)l zi7D0!IrCl$@vI8DG5tC$`e`hMoK+Av_M;BRejU~WNSrtuF^Qazv+W}(;Ou&J*!L4S z2sy_f&M7m88`nn?nH(pK>h%@Qx$ljSHxCuRYaZv4!@2gYXI5N#hS*OyH-SV(sAS(d zaQqyOCH8fQ9kI_*ILP594Cu1s+;cdO0bTZ-XAb8zpv!^t&fz8w=yK$IayZ|p+2=eCe?E?G<9%y*2Q^dcQJHdw}=b*!p;?5Ayxq51~YI6nytXC%!jSMJN|nS<`DMWDos?r>8xQL3Hxl4pGtX%ng43HDQVGxkW@lZ}BtUR&9XUR$csUj8NjTCf)^X>@?kyb8%>!xWfw><^}#TMBbp zgJHI98qt*HBsI4M3%ujNd0{RZKk8(6_AAr9qV*uF^#L1?C4jF7@k!a7O6SPJy>E0W zz`uUCySq6Q9G31nxc4^@Y!(QEl|8qu+d|2)qad6v^*dxA23UJ^?Rri)-o>%rRb z%lx5ES01#FP9UdzVp|_vVjaI5Q$k@AHm@&cb=E_fLXQ%OUR}bQ@t?u_yiGX1;{z*6 zzQ-zZL+GgFYH}*e2T#-LT4$R@aH(oH+pz6EyH}bDYhp{_I@r^_G0XX07s7yLr^B_B zDbO?8hkm#4qfQk)`rbQ)vG=7A)nq~CPpshKc6HLTT}+L7j@a{jBHUEo0$(PKqRN;G zW;SyXq;a!AH8=qD`0=o$dn%k2G_YBjBWYAY1WAhCK6*^9xg_1|hi2p|<9XoDI+0pOu%eY`DGq1t+ zqENd2=VP`%;tA^-F%5E-DO2XxrOc%IM?AOQ3HO{{MMI~kP)NubRM`JJlYgkiILcyK zUl+ikC#&J@bxXMQY<2Bq=P;5w84MfKk70C^JcjScqwtP=%=Mc@uLLWg{LE^avnPeT z{hLI_`mT>!_QOL&R4THx)5lmnHDr-AiL<^M?K`U@2oNdU1 z!+{PEmXb>0OJwNIFA1A|o@lq|4@%bpPs*|`KR zsU1S6gSjMVE`-@CRoEy!f=;OoXR3{{6ryGYyIvT;wRbD1HzK^&cbBabr;y(IZxKOy zU_`L<@#OKAe-lnMY4=2ylT=_`$qdnog>Llifnw2b4r}Rb-B|K44IzD_6~Hf84YGc_ zvHR*q(YP<0Dhf9PR-j_CB7r z|3`!xkgor6Q+CN4ew}L#)i=IFYm;t1|u%cjf4D8RH*Wnt~1$v)Q`0iSV7mL6)gfjrgV= zTXN&*)IMvtTH}bkphBh!UHoHHW#~fSE0)7`u&z22CKsbalWKQjo>LvaNKc2_Qy=4y zm);TqM>)kqO{LuOy78d)hVsT%2YX0xHp<@ z-DE)KoEf$(>t;m-$62dKFtq3z(DyNnKlD&B{_^$-<{Nk6ge-SfX`#V7yl!IsGGmH< zW=_vegh5E2A;w-XK}(09(c-5LwC;=}SCFO|nnPi)oh|Fy%cE`0v+;735hz(2!=~0q zFmc?#R6~AclKYgf;pqpwxFeBl>g8eKUQaZ+zmIKcujSu(!>4ok*HF6WGXKSc033gQ z4jqZ!&rYZ9;~(H=U{gXadn}A#D02d1O?=^<>MQm_*v?rwGfGfQuKA9HO@mpIq0gWA|hWDDklq0_7B(} z4$|~a<1D+UTFh=W8c~jJBvh<3CAEi3&`fItc{j|5H=C^7d~fT+y%=w{@$3uclBb89 zs}?C8R%Dq|BGBslM3fe(k^8cZ{6hhZr9HJ~+ZSoj-MA8VA$7iJ{zg9-TC4;O!>mZT zGz#ht2x+p_Lw2e8oSR;1IZNCrLchy;pj<3V*Y3=q&A}_!*Yy&xbol~^I+>3uB`&bf z*%V&6d_ehUo^*P)Htb&b0ndH&kfmJlB#+Cw5a5!|);qe342`tm2Ny{S^_YO(?yh|6 zVtq=;--_Fpok7#iWf1L<4#wNrL#W&dW%4Zl*zLjrj z;Lg%_dO?`$ZJcMQP8DOL!F+Kp%a^QSEk_ENgmwk$&(wuv+exG(7+x!@+|8=T4}k(z zS$gi(DVuDPPYX_uqtBs-sg0AwQ_s3Et!pmX z?w!EGw0G1_HMxVO77bVxxtG=a*u*pf^%;(B{w-IM@2Ezj=_heqw+1a*yN#XAA4Utt%z?5pNop7=0|sqPZf}Mnmg}oQYw5Z-;B+OhIe5 zG}CB*gx~50Kxn~4_UnO>bnxhPoK>s<{#L&*o###vKF(NFzH|&&glU3@jtbK-O~sw> zX2bkd&a5mu0mn+JxNVe3hH1;>q4f1tQU0A+aF2P!e8Obt)B`X2`N%7#{m=)DR(GR` z?j`1$c9L(nMjcCTj>Wq+>)B_bT=up_2@;0av*d_J>|K&0OwK&Qo;*I!U!Yl!{EHrt zvWm~XjMRd!>ce5qtuIhYUIUK4&_M61aL^Dx?+GtQ!RQ3n!t;a^KVO8rL)qxF-<=;bERvx}d z)Eat{-K~3omKU{YO^^i?1l9ND&)r92xBL(J)A4`FpE7G~;Or_l*lRePR=eNF$=*-+ zNrya1R%aP=KJp#juvm+E$etc%*F<*kum^iyTLm*yu}po;I)@JavGgY!+kn z9a_$~B6@N60Q$fSX1DwEoo%I!8LGr^GR7j0$}y???sbpw*G z45jYtquE!HiV&ZXNy1DWXf~CAMHK=#wo(x?^K$vBE)zi5I2jx&%)xJ22n9UehR=A? z;PLGoD7xne6K-o!iB>trcU#b?moM?@NH=hr3UvI~EcDG*VtYK~NT8U(Y^96Pvbln- zs&%4G!^8Mfyl2whL`}#Fh=bJZGBj#ZWwiAkRy8Tnyay*yN~<03&$3{39d|^bYL)z- zEo`a$s2p`1_9p3AE4ooT9rAxU$a1#LrM9(hqMD+W{KV@oSonu1$jweGlC-@?PBJ;xua{ z?W`_j7e^KFLshG=^rj9h_+|(^v=>0GvOJ`;IEs3|my4o|UAE%C&))iP-;3tJ{hgDK zr|LiUcS~-$LYI^tv?h1r2mLT+>)gd(x#vf8UUa$7R=v_^od)8)WN-cNwp4g#f7|-& zAKk~(^dH9lv3m>)b5Q7=(S=_F}*xv6w lpA(lL_5N0j>pj)uIcfIa_dX63$cWR1*j>a|@A&?){{g}fv4#Ku literal 0 HcmV?d00001 diff --git a/test_policies/hail/expB/policy_seed2.pt b/test_policies/hail/expB/policy_seed2.pt new file mode 100644 index 0000000000000000000000000000000000000000..fd2256eda873a81ccee1e31677561d17e223fd39 GIT binary patch literal 5271 zcmbVQ30O^A`#%jz15GLwQZhvIq+!3WZYptTG@Qgu6Gh6dBh!r#;)dcH8kF&p`O+

)o1swXX1b;b$xMd6bLzT})BS(E>x2yCC>(ghSk+Nk3Sz!{yO3^6c_XPF zsSx9K9uqO&Bbe{`RfvO4n~+{|ERMWsyO7?02{DriF>fd6BjzoF`MzI;IDHk;PmaQg z?=Pju6!QaQ6w+BOlvKvV^yn>2PQ# za1`@S!MyX#RNkeHBz$^|I6~$t{NT1X?m9pueb)lsEtPj~ThEl3q-3d|@E$^iWRYUq zI`CX753y|>Qb%la6dqIgA#z>zyk{!^om`g#@0H3AmFsfky;FG~xh^N(H_bS|YY(&3&a#O&(jmL8i z#U%Uruzi7u4Lh}j_Enbw?3+%{9%yj$6CZk{PzEzQJ`TM`tSWn7bqW;cp9WjaVH6&u zLZ2Tk!hZd?kb##0#v!5M8aO{+3wqYFkdf?LbEcl??-1keEl^% ziHYF;kmN$^XMf0>`~xM|^Z>VgL?0+0G%O*xYzU&+v)h^SkM6@ z^sP6gF-Me0t7T)^eq(29Y94_X{M^8$N{HTiuDEDMJf%D|qt&&(bj`n%mD)dNcjJ&b zODRWVi-NuE5un9)e~7(7gKt?CXZa|rcz_bHp!vd zdAQkgC#0MZQQ@S)`1`&M9v>&=)3q6+-1qFa#b@(;$ak?i3p@9Tg_Z?UEb3BI;V4*< zFczbkGV>ZShw}HW=ejOQqMN>*V8V$RINC)QuRZai_hWKdb7Kum&dz|VFIUmzK~B_| zc#D19UJl2%r{T7mR?v&P0P9|)QMF(o+Mg_h2PKW{g1H6dmZU+Pj|=%~mcpOGL(weE zpXyzFNPnIo*^gL3^B(>#St9bpTY-<^`kX^-=WGR*<@c675=2u)<{I|U`~Y{UcQFUqoSRgNA;cYbmjCsyf6>YB-5B3iqs~vEnVqVb|NNa zDB#{uB-N5bl3Q=DaG$E3p;MtB)4S|JGhK(Wv{zS{-qUw%cB~7Ph1ruVA|%{U8CfAs zA+q{!5kXl#BG~(S2?Sl98PU7^Bk*8WBzbzSAycObIBSLiZa>Z8<*UZ1bN&x@E!CGQ zyN6M+^Ac{_(Gc$X%5{`6WE7RmGseW6Io$qMKOCny6F;ufL7AQl<4(o~N@HPL{g(*k zB(KN8*URqzh){Cr`X4uoMXi#-2Fhf=_7}*mABToNh)IyB44Z;_k~k}fTP0ifX>K?4;4lT$jcAwl&0P|0UzHxX3QXXyNJLS1e+}LhfW{AoZ%) zShj~Bj@4&A!(ofVP+#A|*1j2n%Nky?OGg)Buyq3Em2G8eS9`F!v{ny;m@43+Z$OXC z=WNU>ZF+6nEIAjog*`HHqRn5d(a3uZth{@QDH{F?_Fjrq`tAxV)g8+q&IQdkH$lk8 zLF9g75arF74GVnp%CudqAl+grj1-vA#&l1%r(z!)96FpOzgEYc>H3%0b zy3riP)eu!M2j7*eW5(VF`0ds^w&ulSIDg2DJN0fj-s0PTuGE!nTlj+Q$lSujt-Cy~b#kQ8)mxz@Ru|1R1F6sX^JTT3iCBbqu<4*G8rnT&*_Ic%iPG4k*5Jwp z^*RidrONcHaRfBJJ`MBdj^Vm5{>02{6hJ5K9W2Q7qSFnT(CFR3G{g2Y?W!;A)h7i! zvQh)DyE)SAOMaNLr3bpqRfL+|wirCp1|o<0aYf1ISiG&CyJ^`92{&pyHU>qbC1#hk z-nhYb5Beneu{4rAGIp_IN`ma{!PM|BobD;@2bHB2u=CCe)>E1<_kRdtKX^5>)SowU z%g1SAQ9vI1vDKbiDLMp87rlVdQNf(WFG)0LmK9BF>W|N-_rOA}WGq+LMN6A?++`nq zX8!O#*qna`DW6Ozz;FXMy~c&|Hs`=8mxpEV^SaZb$`;sKY06Y}l_=-p09HQ6j7Gl- zkZg&W54W1maOLWIxQdqvk~4+fG4gH@y4C*39rx@@scyQ-O}<|)YX zl}O1c!Ba&bkk$W3{&bY(&&MWu=s(^L{YUhpO($1#)~23x)-IB!Hg=&GY4s3LZ;8cw zwP~m&$Fi{q*z1GfWL5^zJGQaFfRCiy@Zev3fiW$~{sxluM))M$2LJ$6+*SU^;tf>y2u43iQC`i)2|) zCOr1kq`54f@_XH2Wfgwh0y+h!d5%gp{meEbZDfbvuBJX$M3SG*J2FFkOM)m>nqDl# z;OOU|V--$z(Ha<#G?n!BUS^*fT0D-wieSB0nbBp9P_AKS5QNta#DeI4tTYXixjiX&0nNANQ#8&jIDz*TBa-ghmV!U{1|CuzFC(8vB`Gg+e^+ z+-yoIqpZ3b%guL-#{R`=OeH11|Nx13QXtN({{uDdVFt-tpC> zU7AxsZ8wLJCq&HuClUMXs6umI-eJza1=1OxDQt7eIIO5CO`MsYm8=5pasy+4Wqh~2+;n`J-uqx1Vklq*gL!Nf7__`=@wG~bhHdWzco)2mAn zXD9vpl+}OxUb@Ne@0@+TwEwZcvvfHM<(mS|MtIt1-{bTnye!Qc)%*v&LDPyFQ5y)zwP(jxGeWvv7 z|F*X5fn4c$!qgG{?cThr9P*3Q%C~4+yN=jz_tElLZRz2X9M--g_S={ykKNo6>(CMV zZTykP21;+`>^gSDe(M|Z*gGAuP93q|uC+WiO{arh=Z@HKS5QmtJwN>h`D}^z^aI>g(6CcbQBQL3kwJa1*s}3v4h5j1$hyp zCKkB!iy8%t1&vY+8WU6$ODrIwM&B;P9GAS8bKaXhbLQOH`M&>~JOBLu-0>C4$@6$h zO1!_7Av`T!WO8&|d|IqcOr$81zj#5Smq48tB2}_wqoWrkCdNjK;uj^QsLV``iA|1; znG_!_Qek;x{8<^xAXPDSQWD>mpB@`OKTgETMvE4SdHLa~qWHuVmGI=)sMPqxm~c^S zQp%#_@HBfBR?gBgXpk6|A|4qzKbDp6hp2cZE{YTd^mnST3PCdBF}AE?kes-UUYyDf z5^%H1|SRH?M=%)$Uf0~f46ooyj7dL2niHwNV?-!y|z#544 zh=myT^9&QQ!~NM2pM==+`-F^?VsT)N`h^((Da1q~#I&Dal!!I+XGeb$;`m93xfF#X zYaym67O|ER3h}H8*fIS&#`e=#iCAlYcHAc&j{Q3LQY22SjhJMRh_&q_$!F~(I_&!i z97L?6KkJm5#g6YI311j1ij?>YJE8B5J6i^c-!+eQ$zomm)-x?OIYsOztea3KB}le! z9atudC2@TnVn^(A6c(~rcd0Hr)+3Acl_k}%3`PVb)}|6 z@qLAZluGp$n0aI@<_?z#PCNs;5!GCp&1uw zdixz_!FhF5iMUNwJKj)@p_;H#CkQj&bdbBvYOtpz4D)l7(O%0NtsgAM+0KFRpnDO- zbJ6sJRz8HiY9NUp)}qXVJp65l3jWMnhgY6_q`gU%8qt1nH~F9!-}I? zjN*zLB&oihy4x%SqLs=Hvf$6DBB7mpsH-r&D~2KUx}3ekv? zN8R;>$X~a`^|#0^WKY&p66d!O=b7$9{)eAQo!?RF`J$1@s86P4%Tt&u6ATaU2bzz$v<4tb`AjmE=>f!Y%i+BpU`Dw&a}<|^{aVG!zfmOz@JF_Mcj zV6eUuh^7|7>8kZ`w<(LNcc+8Rb9=OM&j7!}8aR8WC7$seh3C@tfw4Cael)bich)ZG zQa+Mco|#F*8;+3P$CE+#vJIA)=HM%X4kpQV4)|U2g0lS^m~Qz3YNymf1iuQwE3yDr zUl>KRiv1y;&V`M(dBA@r3-(tFLGH&*xc5UNbMne6Mz7ThBoTqxp6635P9c)|PZ2?0 zIwIJ433xn<%5~(Ax#1w-72?iWEKSY5Lc%qL@bSb=V)z4rJk?5iajG6YBD)6QdkfIC z4hN@-Vr+OdhOt_+2F+?$!)~=z(D}|5#+(wMM9;RVGH-pwv9PcHLxgga)?@D_u>B7a zN-ACd?E$Z9g)cUR5MgW8zVRZRp}Vlg~p zj@$DQp4vJ{} z;t8#!XP7U2dgz_o)-G#P3#jq|IrMIDC%Y8AaEB8|sv7;7P3j8B6?ankav4-{o&_-t zM$FBT?zH`KEB9ucDK04p#g6&Lc-~+&eRu9SZ7n-PDl$}I*m*^qb6E>ISN+79rsvSD zn$Zy0^nmW$aDr%Va3Qxl>xf28F_q@s@pW)%?|md85l8b zI@+BT(5&YMxK4PO47+xphMDPL&14O1HX09UMctg9R|)Cu3}Yfkn!_a5P2AF~F*LZ{ zfckFILaiVH-Q^!lzB-Y~gm;yY>Lvv;`@m@UwlRKSa%yZO~7xlg_`W2qstv zA8r)T;*YZ+#r^}QUt>!KpW{K(ia7kqxPUHx*h*DBzv2wi?ICYxJ>A{z3}|5OR=&>$ zFY21pTcPgUnx_glVd!k|4OYN}yRKjxC-&D%4>|vBN?`x&6&*fN7h6;7>Gcnf$RaOS z3~BsG&!#v)s;d$S_lly)f=~#_ptNOSubWoSMtUG)F)HTYpwpW)L36o2{E=ggGb?+z zV`(xl>)s1`w9|ySIqig7PSH-fTD z+~|o38l>~S6`XXuM|RaDF(Ez5aB8d$=V&k<`Ge)4{tE}Z`9Z|x-nv5=pBY%5ev70U zFTlaqUvpodd`HwnX2B`LePsQ0Az3{7DH(P9OKKP9O&lM7O?^L@;_kxPkRdw_FVE|y z6Tf)I>^C-|!`KyMve5`UtYw6DdcJt|N*He0^gG$vdyBSTa|8^wh3iWMxTR(Rp4`(* z1zNIrCEp0%pU$WEFFU~{>uXG)(p&Oi@-#f!1Gw308Q921;NZC{;EOV6-1yWK44g$& zw>jTMEuez>s|es|)-_J#+D=~GG^2&?RxtEXD3{-(4fEoBNY%^bq~-d2ycp%lg&lFn z>Jh8yL9aXXZF&@xHjl*vb>~RYABL!SIh!-PVF$Nz#^Df^S@hQ}Vn13qk*u7ziP(-+ zLsPDVzV{D+l9y%7`7gFn1*6w=-C40KML6N6ls0a2b3BPW<^tt$PMEW3CF8vDTkdDy zg*4Yi9os^ashwXQjJBJGJJv=K*~Fte_Dm<%ob0k$WY}@Sc-D zJW{Hv-aELJbb}U7d7%iFhxOrKZHi3OmW8miaV?YgJs&jNy*an4!;EZbI!Q-QxV^NB z{840yO)+V1N=;p4X;>^yye5YUGkzsKb9T|A`x>Ze%WIl;^cAT%?FyMe31He4fZZ!6 z!Sq^jY&aDF>TmOj$tDv>)070@2w1NKRu$wxxsW!o;zMM)q(O@6Gq8;Ayfu-G0Uy?kcCf% z;_28MRPB@=b8}oad0Za}Gt0F}cSSMXV)%pGmZy`@;O<2DN!UscDM!Hf%CSto$rak* zz17WguLu69j5J}+JQASRz`52F{Bp1|QBTt)ZRz)z_YtvfRSkutKIsRh_m>ecY{M0@ z{(K7!v}`Baqn6_HnP))x1A9IzznLR!8nzP2rXwUqd5fSdi__ zu4x(FOEvQJ0ryS=zPBvypP`R!qUorcolj3$x|1K9=His?Q&BVK1Q&9OCAF>1bZ^XS zQt>F0iG8I9w>omk%Ihb|`ERReLGC^`XW*lgI2WaaSJd#AdeYzzGLR>*gz(y6&g|)A zXh_(|wJ51E>m#E{QcycN=3$H3b84%#yQg56oB`xmlrw7`Bf)IpeKI9dmU=};^_}nH z&b*m#EB^YF)PLG9I@0GmCojQ}zn$+EdejnO{yXA(PM_#?r*d_s;`}HYg}EKe`}XG5 z6^~vF7oR01^}pNF;92}->(6g=FTtq48T;GmF(kx6MY7|r?U)}Zo(xY?eT6cT=C3=Y z&%d{aNdAy218It4kq2h^>5%wy_dqm*5Tf!NP|LmGQ`Al7jp_Vcxt#%5~{u4PT+6 zqV=DHM#_!*Yxt*I#7}Lz;%R9vEO24apw{+Dz9S99vr>6-e!`&IYtdv8~uXn+!r zr>4gHThry~^CFTXW8>1qj!_Yk2#2Hv@qS*~yimE8r5G8R7#}Z=l*A<_r0@fhqr}PL zD4)1U37_SS2x1j%LNuh*2?-8P4vWNbF|iU>F;bE!<#h;8mBhuT@WYeE^HbyEqrxTP zgp|bO@HA&WJHW;!L{$n)k*`rULYy6Xg;>b3xUfU|gnaR*kfAammVE@nB&<~sJN%On*H1#el%sHE zt)&zN64pjWA>CCjJEBj=$UYid32PU`+JDmF+NZ-ojzqvZN=Z~DtWz&Z4m(Pw!?};Z zMZ&rUv4Yf0c62XE_(HKHLgp*1Tkjorw+WHnYaTl$llAC*o@wIb6se!ELXkpBh+^+^ zV3|x7VtXf~j@aucEM~Hva#N$&v6<{RxhZGXE0gt>n{r`&GFe}_DOc7nlO5kXm6|f& zAyA~Mw$-Ggq)KXA)&u{m_iOV8%6Y$|lb@GD=~!XE2|WXisrt9ih^yOjyzkn6@U~XR(Vvg%u&?%ZiU5fLm z^Y4ejvc&)m>jBx33-GXS7KUH@K%8DzP>oa-?9N?*8^sIg{yv4cCa7W6{6Z3v7mHTI zikLTI3-W93JGgXOi77VD#@V|!a>lkZ(S4FP$==`q=?xEH{M0OJVzM39sHx-fua3gy zl0xp{qX^<%l>;i@ErpJ{VbuLe4QTIMO`r0Ham}lF)X!-kecT>RFK5rjrs+R2`a_p7 zmZl+OR_<$}H*E&ZyR{ao!-HvwYY*vUm9a-<0WQ=oBx9^r(w>-Yc!&tle(D0WJfJ|v z7Q2&~+94oxI0D}#US&2uQ>KTWufcEUeE^I78pQG3a(Zo=IdvM|N)FskCbzVs;WzID zVp>rJA$b$%weU^EbLVS_r&}?InMEhhO^3Jc42Gz``f>Teb3on%;i$2zrCL33gWC%F zt4||%zn_Q2rVZqIQ#<1+-G44$hvDmb;So;!?45Lo(jG&BCiX>=)P4u;FstxssEFy zFmYopExEjg%yWyN`H!>d{ZT4dcgGC2tJRRhYA=XP&yvidgg|L5?Ct*$pyQ)Zh*1Vltaq6z{0{Kw8@sE?hJ}N%a#s|I>=00{JDx6C7ejkmJ)mrV4lw?{ zbWv&6u^*CI?ucOscY-!R$YKeGIw~Ou${=jC6^a*Y)3Sr_N$|gQ=<-|X(Bys+h}BkR zO99e1Z&uPhi(AQ4i+#Y>IMb_N3E|pF9!@l~r?2(2kc)Mq!&8lL=f3mIrnI?q_CQmz z*kd(}y(^-}#}2{)WeG&_=4NuXD~K*T;YrK1rqZ}`vmlc{2{Ya|!Le=+{G-)^>cs#Z z)Z>d8^UYyC>4B22??AL;G5CaDA}b3fVrR4-+3qi)T17j+pg@T}U453B@Qn}ZO>QGb zqnk+Oq%GWWD}CYQ#(y1a4~;)I&Cv^mTiZduGKnK;?&N9wGDbT~6Fr9VJ7x$T+TTEQDz&lazB%(gbQ_Eb<)PP4e5$r- zj~nmxI-!=ZmK<=8#Sb&Y^uTOu+Uj(T^ER-fhtJ(1Q?_ZL;eJO*idlfu%A-*w*czW- z3dO579`r-AEgk#bkglmNBrBY%L9nX{);|QIXQM)=tz7|a`_t*b@Aib2Rx+n2FznSVQ|ZBX#AlC>>n-XdX)YptSX;^&Z?$d z@jy%R{&F%Yz1##A5QvqhlBkQ>NW@dm$+$2x>UDVleY$cMUauG_RG4)e7FcKDh}!X_ z!Qy+yBIN~9T%}6uVg}=A<|0}3)dafcdM$U|PoL76V=-z}ARRO=23kfqb9urncs8sZ zPN{@YwpNX{u6aR9bEZ(c1Bx{4ST9GNDkNw1-`VxOid)K4X^I22#z% zyUClY2SNXj4suwdfa?yo#P-U&B&c{Ax>ah@VLAHD()$A1=(v$77=03g=Re}C$E9NG zh{Nz!xrNCRJcLfWboz065)@^v!is8p93zbfo8h!V5BzL|(8o*=pp#pJ<`vqb;yBiNfL zp)sR};mephqST|pE!`oYw(optUC&(DaZ($T6M0zoQ5!sSYao1Hb8o(~*|@fDtO}1O z>;I4Z=_1RY5sQ|C+RlN*P%DtS-gU-|&Y$7N?^b9Ks7gu{+&IM>KQdQ>-xD>xI1-|M z64WwxaOsm~V#&{ZY0YJW2AwY8BXYxlOD6a-e*~4~&rGEp{r@3W28z z*B^H>@!$L6Z};ZVbq8)idjiXAE<~c%YK7hW5V&ymL8IRDw=MZ zag>}cFhmo(ZXza_t zkK=&4{?b7ry6Tyl9s{~}uPYbn+6~jpZ<7G!L1bHJK72?Hr<(*B6t-`KK>roTcb(n~ z2F?s@owpyJZNDk>&M=}?Pdb_IIkhk(7csc_Dda92L(gPvB)J1E8UJCMN${NY#N+(# zW8Zk4g@-&3!klsBc8UkUQt?L^byN%Mj1p1ZLl^CL4aV&OC8StVPF@KQ5Merld3pK} z{!$kQJ4%EOmyU4nyx)Psx_p9KE9f2bW>RXXhUCdLPTO1;Ut3yJx9K-Hm8L6P$-#N> z*zX;u6A(ppwKCD|z;K#zW)9lrTaoiChhpXTEAT?iZl->zFPz-1hU|$f@@VR0@~iQe zcpOATNU`2HHdm1b)*lsn!}rDM~taHDy-b(j8__8Lqn7Yxb4`$Scb3SWd7+pd-fwI z>DQ;M|I_@yk3aI* zKGiWK=#TyU3F^q*=dRDNfBHtCNJYi&&qWpk w?EhN+=@jwP*eW}pleQrJzEO&ko$B!fhJDwvzXL_e(zGFU7wJ#7zHjY+07vJaI{*Lx literal 0 HcmV?d00001 diff --git a/test_policies/hail/expB/policy_seed5.pt b/test_policies/hail/expB/policy_seed5.pt new file mode 100644 index 0000000000000000000000000000000000000000..b4988fc973cf323016049cb9df50cefe8b31272f GIT binary patch literal 5271 zcmbVQ2UJu?_g{K%3IY)jm8M89Qr=vYE^DDkwIBk41uPF1P!R>`AYx(xQ4A((G)A#t z<;{&?N$i3`h+PDYipGKpv3J<`$9W54 zg~}{%OfV~D5uqZYo3rDKH)M7-9~=|VwDnsRh%{M>XwN?f!setz15 z)aVR*Wmd+*B0@m~OB0QZNr-1<2O!G6DGOqRAp@PttXzbYXpAi@A0Z=ZV;82g3jAk6 zRxyar<7@L(3t1(;DqpIQRW3;sOHmQBs==&UgwiKHa|JPJta_qovP9X$0Wv#QBT<2` zEo3$ONeWmkzElA_WPo6(kkt-mbv`Y~{?menNl@6cx`_%?R!a$4y#XQGg{;0vk4VTD z13bfptU)kq_(_Ppb-xfJ2^I%-#DEavzl4kw3mG*)Fj~l(1hb}}ggAZ@VkSZ1$eN2N zRti}QF@U9(xY{{75|PfZiq3G2?6N{f*0-v^e- zW=UdyhsY574TXhl)Sv z1;q_|zgO=O%`L8h|JC}{dBY^E-^SM0bI2gu7k>zf!m-flnu?w^GvL&9bGRN554vAu z;w%4fJQdtSe!E$Pd_fVkJTxF1Ud&>g?#H6*oTtS0u^x0JenoycR}JRrT}1!-eB9nv z3>(KQ0zdyMU9uq!1K#?=uhUn<*34YoD(B%=5pa+sXb!<|M{lBf@u67w)EHyte1-3q zKI0bGYr~W=T_ob`9JpdthMjH^bgxDc)KtD?_BEfSGquYxI{g`$&iH`8btE*lBtzIO zS8}{<7VvIFP=npM;5zbngWOtMdf$qN`#)HN^cfY{t2`UJ>`d|QI0gLaQY9E{Cuphc zhUYXJsr{R~^to{uPW><&^!|Hvi`xdSG^m}vS#g=W@GgN7_;^5Xf+1{7N=3~*UKn=tHEqeC#{F-&oY@TtfZ6_JIVG5wJX18m~O4!VOJxPPKB_ltQ3WwGEB-LefSs~2N8yGXz0dq zPI3hx2rni6`=wy+wJs|EYc!aK9-)OxIeJa)rZSmDXnM_pTQR~A z%vH9zSDqLHvJC>#5~%^Z^Kv1n)qv30R-)7#NuRE@g=rs>z&0@wmk3Ir&1Exj`6Gya zm0pfFdDYn0Da7isT)cd0Dwz2^ z0iTvPlPwRV;YRp#Zinwn(p+l=i=&1?n^q0Z)L0C=9J9!x%Qcvmv5oAVosLzN3D7kv z0aQ#0`Y(&Xmaz?tT0|v%w?Z0z*p`ng%i_<(wz$wDQ=9B4K!qD{SlAod7}L!a}Gi$aLF{+maTmGlU9 zzMedu%rzCbIAc0tKUk3XP1Z0nV>S1qu`--WGNgucZgHCr<`Y@BCFnMyhu&RXfGQvB zsm!g0hBp_lkcN3NIBIhYI&qeeGhdpzd^Z%udgfX^Gz=8^!v6X%9?DTtkG-#_?f>DS zB*OJS9-b#HWLgo@kAS z$-12u#6(RBE}RI%ZQ4@AY3c-=+P)0cmwJKI>vN2Y)>ZQ3au*uE(-mj&#)IkPP?R&! z#6vE{WJTa^TGwYo@@j){#^GAB@U1p>%F07m>?6)j#sjBY2Kb079+aHmt8c zPS3}jB*pw{>Xo&oVV;f+J)(PoUf-rq_&<-LjY-CMb$$>`tqR0T%I|4Gc@XUDRmIeB zz}xd5kl;E2^xhi<+ooyb`oKthJerT5!gmd^@!_QNR=#`ixMDH~JLs!n2f4a37ii2` zPStOX$3SO0h>Z?~+>Kt)SLzCv-gLR!SsOyi$MwwCOF3l0*br{V(3iwJc^5US+r}M> zy+eNdO+XG;js$srEcMP5lj5#(ZZ)nhbI}KC0VYu+54t%R&hLiG2 zh{2KX=uh>hNL}P&8pZD=Npa(0c~uyM%rt~O8JB2>)-zI-Ivy2o0+xJq0KuL(sx9z_ zg0N;X^Q*huwTu+bqE?#I+vbW_ws?bpKBNhxkd&2t2}|FYpz_8)=zJP(xBMD45oC`DW7ePpjK76-MhO7D}hkW>wP_uJ2?it6F&||tXbQqM; zBPJuTy~CGIk!fdUp0*}CYlow~-$)G0az^QSCuwlScie>E$H2~WomBUn2`MmpK#d#P zskGE9I=?suW$cFHjn((L+g?&+zHL4EcKKNJteS~xJu-+HkLk06f6|wl9VGfd1#!wN zWK_Z(@#W@Mbo-Xsa6Vu>{&^sWY2Ou%mck{tu=S3+Qpp+GYADJ9c8$Zgo94p#qaUeT zn+}Y7;R|IckEywq57oY71`bLdv_rL%Y=1#Ob>w7BZ(c`Sc56dQ*IIgOkpQ=3$f3-+ zi5QS0PdrmLGY5z3z^S8oAreM=qa=$~uIu*vecrc@VGrit^q?shjh{)S_87Hp}IX+LQvAHE`tn)`V=@2}y)DqNx z{OA_;WCICrTR}GzI6&p*ouvCt8}U6=zyvB5l3bo5Sbgb+GY|NISe{ zNrz65S=>YV$0}FU8{14D?RLhfXMfP}qkZ(4+9b^OxWTFKu*Dr~rqHIti%EjT&-9m? zXSDC?B)a~IC3*HFo_Vy@3R34?Bx@(lgr4_fAho)Qj;zvm(`}gyGnfGMnbpPo9K^?4 z$(CHcX(k=Mw}t3Eb;9vQt)yp0Dwc;QP}=aSHr~uIkXR+idT{*lUdKS!0L$#?79~Y8Fg2PI9|!i^4%uL z^LXO=|A?Os;`k|Fdy$@;BnL~F4zeerfaJGo<6D6ntScE#Bi@)ZP4}hX2XB3hwA8?3 zxEE)ST1b(RPA(cB^p!43%2C*Ji;GOk9#81cnC4OpX$B#1wov`3Zf$-4L?E z9GKhwN6E_FU(yYYLBy~m5YZ~1>1yPm{6i(o@o-0rRu4RAv4csd*8;uA3FtYrg}&20 zO^wo2po39D=gxMLW!XeS5BR`CPajx3r;)6x3?y57eDF>5_vGep6T#>}9xe5{$GAAj z;oa~~`ntjkBl${b&C|sYr5LX1dl}Svr~&O-6T$C~Fic!FhZMA*qLx~Gh|7FPuZ3OU zs={5tC+PukeIJeT)!ul^r;{dr$R~NFfP44LfVxn0Ch?NS2k(y(GliqHmliU8vhMI& zQy01vgTUKt1loCL!=W&1dZ;}e9vPn`impyDDn<=m&g)~Q-x|(Regai2d%c-=m#NAuaF3FiiMyRLFx51Y`7^;7``j~W`l97@h)WN1KY}ASs;wb@ogA7~ zCc{#xVze3`icJbDX|c%}(px`+u0H669-HJyM8ri>kedh!TRZ6C5Bf0joG}``yGE{C zDC5WHKI+)UZY+{ZYWQH)*vl92d+0*$DgNS`&3NI?y?n~ zKE?Ilz87uD{LabOQ}ZABU1CKYo$*CCZCJIQcn?2KX=yBsxL`xKs+jlZl53?_e`O%b zCB^l>&!xdL|9h^#&gj0LqyI74KeETDCg*?FG(%)EE*op-#s5|S*ItSsvv zMU^#-6_OYl8I=+~AuNO!Vwn&V%W+j^1&Wk(@zBut*x2w;UR37p1Vd074VN;_* zdGZX)+=me}^H&g1FI{SBWw|UoDk74{h==mx1-zDvl6g_FN%D&l!xtw<#fB~7g)dEt zPh6B@BhN^fnfc2IU`c|JAraw>J$Z-33 zjO=VKi>tv^%w^=bid?Z=Mt*&yP>KSNQS@Py{N=vtSsWFT#3)A!j73UD4w6|jDv>f= z4IZO9K$63#am8|&VS@zfJVwKZ(fm3go39hn5}~kRv?FCa^Tl|K&Y%#DTxPgHk3h(X zL7tI3M%RbY`zpl7azKc_2#YN0PRfh~`* z^I`0h)0l|^B#Yw0c_BhyVI~c%xPzI$V69nrqlKjO7-UGu< zV@TvchrkgB9EE{2#zmydnwgx&OcCj_VO-M~H<2z|W@;KUO{B|?;iNI{16|2Ui!Hsm zGP1jL9`CLY*cMjr|LXn9EG-f5pJ2st9X7=Gg&X0Nm=vT-+@Pkv%%d&CmEqy(ZCLE! z2>p$dsf~m#l)0LaD@70a+ke?d#9QaHuj@#FcHKkjq?lJb{!cCblvgRlB5XBVb=pSY zN4JtG;b$l>%K%S%$kFG!{-9?bouJX16iMp}0GVD(sF%ybGdk0Nd0Iz;UTlLAo4g>z zHXYLpb8z{kFVs;d6}H&hQ6;5Ub_kMEA9WJr7mIcNq=%}Qnv{vNNNI&F~ue3 zdx*uJD|B0<3vKo)#F;^Qc)3#n<6je6^W`TCV7#^ z=<_?5iTtUa&Pyzc;b;&FraIBtY(%Q$qoQZ?ViZYyTZpXZDM(IbR4}7U>>+mXnH{JKh2bD@z0UTM6+NV=- z2d|6I3AVwG>D_+bcpi|!WHeGi2pe&sJyZfuB{5fxWZVnBRT?o zw3k9?Jqy_iCeZ3DPLy?9_>(VA=U3SEvd?`l3Fm)#!R}8#M5ceq#1P*AknhWYf(yy8 zk;MT|`w*0U$-)8-1A8MA@u&J!7-6;=54{P+4Uu9HrV@ciyN}STo2S7r#}qiSI~(TO z_|Yo$MYv6^5Dq7-p*zc2*y>n9F38Nnqp42NC*}oU7=Xfv&{&tXvR;rvg!SJdf~06f zu;#e3SaTBN@p761e@U!7_@D6SKbviW+>~ifnhe)foS~!W0?q1*fon-B6UV^?hpyP7Pg@sYWt_48tQaN`gOdRj}%)z8y~ ztL9=+>jc40kI1!C zQ=|F(#|yy~y;7fjyKpM*Xs)LXAEpzv zgPAlZKOS$tP9P&{X7JmtA^k;tJL!9oLju!&rrw8~LCI7Krd*xEZtl&bRRMu`!b$`7 z?k=Z+!wgX;!5XR!?~}}{!-&527`~iTxnMqiq%wF0Y_jceK3^<}>nq&hdF5~Hv8xQA zb%_e8Po5;$k9tt&$HFTm@-UC}lHWJd5wo2AC&A0QYm!d7YJP(F77uK`miU<^Be`Gh= z{zUi@OQ~P3IsSq%k4Q_NJTcSzj&%KTkG7p24$dz=Q>{3`dT7RzChHc$$@c^O zq~o==D`vy7`$kYXj)k}Px}cty1{`{;hE7VKNSoh6l=@i*=rk*$c(#*Yd-xMM`dAU) zUs9#_LSy*8vLn$Y*I(81^Ig7^3Lq4>y08#P2&t2 zm_FjXN)fg+iDUg-Ib5)36LDYQf$h_0Vd1+dJd{vH>s~FQrFLd`vib)qZnXe^htW_j zB|yrGk;%ZZG(HfnE`hFhytfajZp!BdQIb*dEJPf^907PHBPhB(~1UlG%Hi9z#$ z`E+|h8_ho8fa&=K#BQv+lhW=gYUB2jzU`xiUitIyZkmd_*BHa; zs82PJG#b>usKU-(L)@?ZjLy@jrVG6v&=qbcN#R;;EFKjOfj_m;WVK!b63YB- z%`a%t0e$$jWjLdRCGmwlOX5+so&h#lXy+^038Un%3-D03FZ&AP(o`Q0^mOLHS#< zbDlda6MsS*zQ08d-fdzR*nQ-$3kaw7mX750^?1UWqX;__&k^bBZjzAc2+AjaAYr(;qL}l8vIT+R&a^SIbDlIvBk*(ZykxD!* zqFyc;)Tn+XdzZp8dec1?&(dCcb9@hf+tCuZak!!Dp1R$gG89GRMv@4oGi^^ z3G4qOf7%N3XKAA^wq9QVWix~6DGOI@x}^v|weF)+a-2XrRtGn01Y?+(Gv3~|muwwp zMmLRi!xfuT$XT`^Rz_VUHeW7Ku8Srny&Ml+9raYG$0K%A&Hs=;?f#ei=`XJesvl>- z%Wzd(U*Avb&W<9oTo05iI6)GZw9}j?RW$C=Wb}G`mSj|z;_hNDx^JCGXN*LVBfrYwXOf|8$X*_%f)+3AAi3ca@phCZyz?$t zcesWu)YO62Yp$d;q>v)d*;#2~KIJDx!l4cE5Ex{|mrOH9=ZQMdxulsSIm^OFOMNV| zO(j?Tf1rw;faj0dqea19va_IpoXeSqPcQ31ub~m-DLcb+)?IS{$T7a@lks40FbaBh z$$@Hu13n(Jl6DhoFf~vB)5hW8t<^<)suifkgAwTYS{n_@^gvR{94kDw(`Wv)ABOvNV<(ouhj8bq67`~60Gz*8J0 zlQxk4<)0kylE&Kn?{x6$^l>=N-3o7%IAKh)FTC{N5!w7?biI>G3-@2IEsj=)rxI+K zgvCU~NgXV=pQlmz>)5Y`8=%xuT~gu|3QK>~1(T{d(Aix@%UyKo?5tEWDa#z5zvH00 zCkq!HSjVnwRz;01`Q*5jn$xi<x96XWMfNpq_qUSq%j;rcF&UdB7GvRKTF&Np4BR8so`22R?xir3zmdfi7>;<{)doJk;&XU6V z-)*U|O#im^*Ec%Hb@V@s{p0i)7-%am+;J^?Bm4xDVF{}@S4`OaeW_qM9=50NtT zhG{7J+q1c{2=cSQ%D3nVRztDho})#vs)EZU5v=u4?6)yZ6k9qJYcmx4ZTu0%dJ7&! z?Ai{+e(M{e*tVfqyP?=`-?b<kkWe3R;EEL$k!A!tMn%O&6h&iu z7S3#2Fm{DlF&69u3r39h6=yXiS`uxUo}A)6QcX0zOPMDd8=IDr5*I5;OiRsF4a%4jmk~F`Gci`8 z%8SfGcp1}(9#ZPmR7-2iX>p112@+m5R+1*=wTzl7NleL9jmn6NnVOg~B}x*Pnwgdn zm1V2S%bA)+C`nPw!4iH*2tV|T5c@AejJr_S^CnV? zMH1e$okBXReBP{6hj}NBg@hj#!VmwV!@g68Wfu|$-bzZMB;l<)Nb-1_b{)2z1a=bM zK7@Cen$0_QkVO3}P7>YjEBuI#6?Za?kgm0ech2TrI`%UwE+bRwC%mgzCNn~|V;^`f zn}>vs4yhw{I0}#1yjzzp8{R#e_vq4P%a6?FM|J74<2|!^uP$BoymvP5)6q3GGsZGl ztfaiU-_td_q_*2@@PGAwHIYsi@3*q{9;w;Q_uF5DO&-25we5Rmxw{-<^|OU<^gqGd z!0&(s4HpK)d_yHeHo&&og;bV_+`wF+dPd<=cCRKLr!3LuHhZE_#K;eSq&E|Tw*gee8aBH=u67kTNqU4Qc{2_PV;^bE|&^n(HuQ&QddFa zxyQIiajUo~{pWK_Ec#-jj5`_~9*veYL$HkB!gTD51et9)EFi}i1C^?{m4g>xezg(i z-O8egCWk>)b162C&BwrvM_hccnEIMZWMmj6Vr!i!1D7RSi8Xrhp&queLY9YM}InPL~M`A4W@n!na;Jvbium` z?AwN-)|BHQQgO#qS0>@(oJCYx5(H(9#aO#GfMVNTGlxK`F1Tez=Q7;bj4&-$=~sw@ z?jNr9uQx}H*S@IJ(g?R(3h4gkKx~t@$M5T6=(m)&OwZpLs|{As!`lV4TPd6dc&>)s z&W&vQd7gT{{RD@8GeURQH}LTePg^Y(;<9n#>IlOex*PCO08Kl*7%q=vY!?XgSB=7^ zPm3u0nmdkIxd=bWy3-uFFsMpOV^vq@Q;Cous5;$b$MSROEjOMXw$)d=$mXHT`jc>R zUjXIa9)$q`O`M0)8d_Ls;=FJ^qUL@Jikp8>cr9l@!&4HeQqhvmwFulQ1!p|?Hj{TxZfc@QjtbI|83V zreguV0==Q9p=9#{S}x~ za#?K`*vqD6F#6X8Xth?AOVtjc1?Lyw{f}ad_0eK^kt(#!Q;||{WZ{nGs`%l&F|Aj5 zeZ-Jl!R_HZ7%=g*Fsr{YB@C?=8DWtvrQ$&#O z8WC)~M~XyS<$BTke|rG?7{R%R4BeW!1kQ@XQLcFkMfgX7eo+AVG&qsSxDqa&d;Tie1F%*x zk(o}<<>uXRqjC3bX;F(m7vwgTZJcPy25eEl8>iFZf#jp$mQJj~(uKCnRKdH;dQ$4^ ztB^UlMi}u@AMcDBLTkLtsq$(+VcC-DLZr~d3VH`(6SJUCy>Gyk#^b;jh*)2F9wc)t znR%Zfq|;Lkv$6_V{;e9}>E0v^_X@;bQG>{_s)RjPc@77I6!7SZ{?s;lIN9g!hWDOB z=|i*$X0LUmw4)mIbY=}iU;GU=EAM163tzGK-;_db<6KzwX%Y0d^(ONmfz9$-%0Ly8ye+;y0e|BzSkY@ z&fC7|8)SBmS_VaZkwUG^*Do5Y>4 zX_*$OJPE?`#ecA2>k?7tcqmmJKEMvUIWoJ)let-&PJ?QX`J85-2G(Ldgu>Dz+18Y8 zOzY|`Husqc{u&t%iwtX+#^K%2d`*_}<$FL0M)PUDXEt(c=NiheqL1j%* zb=ao9VD;({mvlszs?5hS_0XN{Y}*(%SYHLNZ;hqgF&11xQ!uV^;b=tVQn(!yiDM4+ z!ivB*~MY>_R?oidZ$I6d%fu8C4X$)uLPU#Dv)eZ2o2F2 z&)RfS+2dY!gzLlRuoAl%_^_@w?mT5l!@Z9(rE)tQ@%dsir>ZV9UO@{!>ho_U>tFW22y?Uzo@|N z8Z)|lT6lc=I~bq%JJ{4Asos}Goo%J?uKq_TDw<3~FPqS&L4%pWh-TmuirBv9O4c`? zxsG{!m)n0+k6j$S!F5PdExVgwizh$%a{B|W!$4I>+V`(qHYl_NmT2hHQFBGez9dhX z3Del2P5ZbA)8SO%90DsJ_Q85D4{|@CF5FoR?7glZ$@yro=MSXuUb`O%1GNR_F&T}I zM8O-2p?FT&jEd8h@TX(?=ri#-Y&UmgvTH_RAFcQ7k;V!5-7b|*q>dnmdlM+Ibr|g} zKgaaU!)R-DZ<=EwBCSCUFm0s=rX=EK@FC+7-0u2m;%XJ1O0w3@w+os99V zUbu9t6$M;NLVQ%uj2CWaS$-2KWv@RrUl@UzJpwWDm+xUu#a7n;$t$?B&z9NsA59OB zt5Wl|Mo=pDpqVQ&Y4XR3_<4yL#d+nx7F~b*?)FMB3iS{?PW%k7lE$L`9UY1<72(I6 zYs}eHM1%j(6+SR+ykO`_jsv4uzPm5`-Khs29XkUqCcX##a$~GfSUXII{Z?mPe|m9SaB|oS)6Q>U2kK>U?Gq>JH`0mnXX(P$ z(WczI_q(7*N1uFKZNM;RG-cbWVo#7kYlBuce9jH7v{Vb5ZQR)CQAIGtM~04t8G=ko zFNu=*1k}tJjvoij2m6iZxfR~V_~yic>UYWN_iCl^%G4QFKJlSX%!=Cla>2~A4AhIuS(#oSTGuUQ%17l$d6OLYRy=^SV_VtIjF~X6 z)(sp(e}wznJt1*yAT66Th3wr%TBQOIZITkf~`IQNhYjFxkSH4fE6{xr!E{Zkr~ZchrSXe=LWHlP9=mw|8<+ zdfXCbMr+~qgP!c_Amq7FOQ3$>B64=cXZ1cXG(4Maz=q&MaR}_ib>;EHv z+O_9TN*j#L&n$3T^DtVj-XEUE*^}#;NIHJH7ulwtg;;I~9=N4TeUF8)>Hd{qvf>x` z`Q9F|;09q*jRpqVno~&nMp(Dm7eb$VcjWV=prp+IA%EKcFZokB(Ex9qdkB>&w-|s_&vF|3}i-u{{`DJos^3zo?b#$Yeg?BmqExoCJ!w%O~$*0(`edR28(@nNV z-4Lwe3n5{;CDmT@LCw|o;n8ygN>=s8SvThi+~PK-mi#Li<@JJcv+ZnVVh*gAY=9NH zWuSIhmQqf;(yV*VY|9lf^%$THEeWaQ6njbte}z~%-Iz{Y$YJKsZovf?CweXx(;w3O z_(4CM>v{Gdlhm~ks8B@PUn|)W2tISPXlBI*W;fBD_T5fqC;Ir|O@9;G|Mot!A2g1(KdoijW7ILrwGZa`Mqo+a zZqQcnz^s5P?2X((_E|rb=3R)TwLjeDHkKQ)#ur1$$U?eSt)2ck@O*2Lwe;(=z5dht zqTTg;=ioh3<8S9XdE*9na#aRvR~oR=4+E-wuZv*Kv$tGHxg6L2Zcf^BZ^HoTS+c$U zcU$TrlfP{J`Hk*9a`4}b{q6KPe!QJ(yOrAY@nfZv5w+J~u}pjO*PYVW-`g7Pe{?C` zZVmcDj{Q2Ob;Xu<$J%zsejR_hVuPiR zUF_O*$A0Y_U9tDNW9_?RzuxPv*m=FX*>&iS{dx!0yR7rGudsjmMzB~>aoC@O4CIFY uHT=sh;+OV8`~94>glKlQQe6A3p2$JF^SS-+V6lQUZAjfk`fDHGIrcx&KgDqX literal 0 HcmV?d00001 diff --git a/test_policies/shail/expA/policy_seed3.pt b/test_policies/shail/expA/policy_seed3.pt new file mode 100644 index 0000000000000000000000000000000000000000..8ef0c484d462c061c2979c56c5da7299d62d8af7 GIT binary patch literal 5271 zcmbVQ2UL_t*ItTLML-mksvu2V$^zo@&V{8{DWU=@MI;m{zOZ0H1W`Z%MX_N_6s*CB z(by1nF4llX6U81Z*f6mWh++r7U5Gg@{$I}dzu7Zq&O1BLbDw$V&b{+au)mxb z=^4@4b}Fo#xp}yv7?vp>8JiH#%J)N5yi(F*g_HX`RoFq{GU72dtU|b)xQ&~e#VY!D z3R$HPe~!PF|KK84*?+LVOcATHB2gkmRmctwWru_-f6_B6DK?W;OB5SRluzs@vt@@S zD*9^)S@k}WLRQ0HrjXU_Cm1GVwL;n9pC)AYX+k5UDC}76M8&|>GD23TUx-!_J5sDi zEM!zakFJo_3uW~`39;k$2{Djj;jxDOLX7?vGFl>JOh19KkTnTq$9@uG|4E3c6oox& zCZ;G8vgQ&B@vMqii+&xJ{WRl*tW_vG{*w;-ejQvX5(m~=Orj`cZTd(GSzCz?yM6+m zkhKqG9kOy+$3Bwi)Oca6#8=n}eQ(^!JY4*)Iqbw-mfyFY+3^{fVn1P>{be%4W&75F zWpY`P*w-O;#6Cx1A(wTL>at~Bb6J5@mmTYt%eqT-@mP;s)>Ep>p7qLQz5BYdGG}pv z{S}oq>HPlnKCx{{4gRm*uf`c6<^9$+UT&HLd|$E=YEPG;lEF;88vlrX*H(xTt=~6X z3Yd=u8skClgDwpHv5?G+V8N?pspy>x0iTTycrdp|w7oM0Q_9SpWgm=1FP#dgNSO`4 zJ(>sVoo!@9?-1O^t$>E>1vq*_0A3b)p~VCxe5~j|rq-t6)(b2y_;DnT`ppyqZD(T| zmZJHLV$7^H#M&)K==pCq;iGCD9DQ0zbnX2|M#Uta4zhNlR=XylQ>!8z$=*kGLLxAG z`d(_hp3vItBGA(u4t@vTP`}+a)J8iWR{!J#XLps7gKf8{OY~fLcC&*RPEx^juOner zVGkpGAA|u-om4n)GA?#Z#@|iXF}}XOc+k}phU==q`P1vk)QyXQ*>#Vm`L-}qtNfuQ z>iUIu+><299%#R9fzXZ+CUP%r-v-;QXsEx zoTWck^N8R4d-Re?1AT6Fky~uFrle~Omk6(w5OA>c~&yYc?V(PoF&MckqR0G z3qk&;Kx(Ls{!o&h8kt^@surTEqOo6dRK1?143Zc=cf2xB5Daj#o9ajMu%Up9_oCRMMbqm9tHqb!`5q-Eoy z_;#}H(p#o+tvWPs<=|U~C^#+e13#Qp$K;6%V3_C6OdfAOoOqrG-zR=xF3eRX77<&? z(JCA0&R>atwQGwWniazmvzZtlISM1!m=K?#Pe}Jub8t6nVpbM!CBq9|QkZom75gmn}`>Bi0Yw%dX9ysT%|Zg2ugL^yI*ZO3tO3X#-* ziwN@45y95WjlLeeu0A?NTa- z{KXDXeKG?4yG!u5(R=wdSBvniYblHr6~MR{6Ob7eh!Q;;&W~LbERKbJ^n|P}BbCv8sw&oPuO`dxI6&>H6QT=^lkmQQJS+S^xKDqxPt3eALO{3-fS3;gN)zN+trCUGER#;Jexox9=@cjl3y@J6R$L+wyLA< zivvW%Zz@`UbzcKLJ962YjX}C(;Ok!|Moikk4 z-$lyHwLs@o0OihpPt#&!L`5qtsOgJuopmzqh&;C;T^KqD$M4Fd#x=b(ZmJPkvBLy* zY3v}{b61d%%Y0PY7DB7OHK#Gx2E!kL^B9-*hh*6_9%$56G%UFofbKS)SX1K*lev$m zsW*$&2{8)+)&_OP{pbqRamnq zmj0GjLh}<7AOe*!=lwFW+cSlz@Ire%?Ie~=NLynLQ8od;>sVP!m!riU{eJwfAAb$wdl9P;d@EKxUdg*Tg4 zh<@GeMbWc_+L##O@!f7T#zvcr(=;Y)Cq|Iq#$raP&H)}SPbCdGM`-$-hxGn!S5!Rw zlG;CQBNurI@Gjhy3dRB)yFQ!lP4*_=k5z}N$pNUVr$IH!uhByW`t)j@6D*IoNPQd~ z;m_eU&J}qAwB1@R+I{eas4GbhcZ2|p<7;7kr8^v1tBy*RA4ETyP%_f`2|W-r0-LPY zP@(T#axL8s$2L3S@ex+AmM}w-za!I+{6JR5Y@kN^U*YQPL!|CO1o3a><1{USC}&L=mYq?H@SET|kx38kQ5hf(7v4kGDs)&)d zL!i+r5Jinjc%A8*TN0#7&v12uBMZ@D?j zq?v)AnJ4Y~Bi}hhb_F#qBXEWnBr=@)lBAXz(XZx?himOwqM+qga4Ly1laC~mw|5h< zl7o!)Xg+2M?$M09cj#TSXvklpf~p<+NYZOvJX;Yix?doG#PtlCoC>COspH9*$!>(# z{WamvQOC%lBC2>2U~qkNePH(ndbzWejxX}TwI0rx=XF@LyGB4-%6rL{A3&UgGZ@|G z8b<5z5}GQff&Qli^fosgtO7icbGm>`?uw@!H&e+0t(|1u^a?s<=Q^sVW=V9fEF%0X zF}UWWA8ed*z?pq~k}TI8i4%-v;5UaMP-k+Z!IqZ{3lv$#Vx$p7E zn>xa_=!e8tP8)lhLzry#`9yWg4W`WJtjKNXIHZX~K;Gg2b)4i47I!q5^In6YIZITxJ+jj^i37!#f_(6(9=CN={El$bD@s%m6=!b!5<T8#jMto*%qOO;$c6M!}OX)R}?$5MSJIK$S}J726%G z;HtpkNb3J1fAS>xbG2&|?M@uWFZ{`yN%7rFb#@A1efK`odN{U^5fp znMYLB3^D3gf-i5n;r8@VsGO}um^h+| z*u4j^eHDb~cMEX2xg5RS_L6dzG?KeFT`@RMAFKr#cy!Hi>ii-QsjD889F>6&?lsi= z)pyQ4@it&>?~OU;)QRSk+g$;oo@@qtSKVXYy?DyB-Log$zZ~jk+Efz@!Byt8C0 zC;TgHI{Y$i2TjxMA?=w$APeOn>bu{W!u##cXHu`wIkk_;vK~Wz*1|*d?(hgm-orBM z-oB;_;>SR0m7+N8~?j}FF;wm93OBL{R+ES7> zLql|KqX9hHt4_LxY$KhI&(ixACCvUbeWWp_xTx>}e~_v^J!}1(xQ7@(*Ccb%^#CW( zY7~mBQ%e{dlqa|Mc94@AhS<2zl02F2icQ&ipi_FEX<9f9{+xTAywN)VLO2lwODXE4Ewil1p6x} zSp7Z7KyLg$!#~|3erg{`?&riMRI|So<0Q9w90#rbXUX5e{)5D6L+mc%pJaUh*#7`) CAiXC5 literal 0 HcmV?d00001 diff --git a/test_policies/shail/expA/policy_seed4.pt b/test_policies/shail/expA/policy_seed4.pt new file mode 100644 index 0000000000000000000000000000000000000000..bf309e77f16ca265f38f89bc38ba73fbd470d53e GIT binary patch literal 5271 zcmbVQ2{@Kn`+x0Awxm)hAyW3G3D137LL}KrN@aNy8sXuk#i%4&XpvS?qfPX+BYB^5 zXj2*GD~8cTY1Fh$)1p$N`remmu3q#1=DPmhd9QPw>pAcF{qEm+&VBCtJjdThMwZ7@ zROJ1wXz(<75lQ@**wiS?1rdS>i^Ol^Jl)iIb0o?tX+A$8E-s2Mh)sx3R`yF;5S0|Q zz&(~PP-c0ifvnWHkU=8q_;?E|izQL9(J=y6nlDHY@mhqX2x8-smBW&vB2!}H7K90+ z;*%4S!cuLNS($O;LKH->WYNfo=qOgUAEN9Tmk=Qc>hDx$z_YOc1bUfvou#9d`XXEF?(mSxXU#f`GN^BgtZ|#X4;I z32X(dT_9_plFm--BMDm^C5RCF3j0mp8=o{TMD(tCtV25M*tedkQAx=nKVhAGq>@9V z`__SF(piY<>kv6&pQEst&N@qUS+g$btgA$q4eOT9PL}AhW!=+R4~Z^2)-#=*($|%e z9BJY2qoBB3`%%Ghk!^AH|F7P!#v3N#{gzgqZkhvpU%U}MEsSM$?sH_c>N2T+sw>^u zvxnMD$fq-Nvr%@&d>sDN8{#)-V0uxRo6+V4H%W_m7QV|F zkETI9dcS59xoE!^b+mP9wOuH7j`zavT~|y%bKGxR}*>4jH=E+ms{^-9!$p>VhL}hpG>m$ITF~;?T6*k_F zU@DnfqWZ1{Zd{kbUyDb<(kcu3>+B5Jce#~Wjl=N6{u(kfONlss9)xFZ2a!*Dsu4#90bi^$tM29Q6v9j-slpl8Fk!PGMv zm_Gg@_$H0#K5?$3+@k<~8)yStijrw^vpS{k)NogOGBRTdh-Ktj`cA$8FZ^MHktGZ9 z-EkFiZi6xDadU>ND^7v#l?G)bI6m@;n^K@PJ}S zKu6NF=O=KmbfjtS86W==-3Etl4{0^Tc6 zrB@P`L*_mQ)Dv`(62sFWb%3*mw9e0N*m=QqYe#lsLBx_vGj^G*~R3*$N8ahY^y>Ib57c{7S5!ovqOn`%WVL|p$V zBFIWc1Zz(>9xw6dP>xq!`SfJjGO8tg4{Uf!P@BXNjdg>lSkJ8GReXO@EbOcQ5TWcO_1Jj2 zS^XaoN+MnV?V)0)7e?LL&s-A3gKT>^&YCh8Eea=*v;t}5E7b|7ms?T|QH=Vqqm^4c zub3N~HV@+OPQ(Y5&0O{RbKJI*HPGGe1lx~E;|=FXygzysS*&i1?XezIpv8lg^YY;6 z$S7L$I)X0zxRRvLY2`vn)KO{41#;!#Bz$DMn;2Sz!;SkoxM@}o6dkA`n;%?)EiU#D zbKa2-ojVGZPS3=SS;dY4wUMY1b(C9+XPMn5hC~LZ!|xr9@K(x#z6shxqPH5-bzAJn zeZOt6(Lt52t5${L388fUcelXlsR9~j=aaPGhvGUDFVg(Rk_NQJ(BdB=X_NOPI8>GZ zb$Kq7|1VQ6x2Qz8wWCxxYDGP)&}K1ltPw`!l|q=UK2BVwK)q8 zT|;M(`ICwv*lz|cY&5~c(MO2>n7yR1+k@`d<3jD91k!hx{9x+iAj~~e1i2Nq_~@_! zUHX$9J*eu9JEW?ZLkDD$i}?kvM~6a*^G(u_=!ruO4T$l}`82EOB(%QPqEGd-AlW$p zXJ-6BQhO*-5~MH}mbY<%{5MWgrZHTbU>2H%cZ0)f2d=7l7MbJQ%`A8^950V*B%dQI z$hc`HxK;ffDfNE^b8UQRL)2aJS)+$DnHo%k>viyPz!hS!a0K%AtQ9KO=Yx+~CulzY zK(xE^xqP=R%)4C-*^n5Ci;hN6-;0xIsEh{(6`#rJRW+pUtueBV+nDWB0N>xzWJ`1H^#Z%dvR>-gAQQy(JlpiZa0|Y*3UAjqVo>U3i8xpWr!JT;h ze3NO|`JSNsAew413=f|FHz^AWrE}KxatFFqsG2QpiA!Ha^-Hd<3l0vRBuDw z(V2Ao5KY>l{DxT6htjvD&q(94waoi$b9|Bn%#md=SaYz3xvuk^GxYEy(;lc`wvq#? zR1U&rfosUVMXL$DFqID3A45&TIZ&712zBn)V8?;|WTa4zR*`fjcEozdO-7HJHapOz zqvxGl<)#Sh-_FC{GF?(1aR*esFXNQnU53ik8Ps-h9+{sL&jek&0n3G9D7-ry{p3YC zTki~XE;mA>X(MUc6;&=J!w`+k!|>yqZ!t0=1GILe;Gje0@TgG@j|nts!F_$qU8#sW zlry1JsD!;$n)G&oKDj>T5d3<399dbg~F`2|0sByWqj=3b1~<3e;~8g{^98*jV9*a&K&D@)K>CujoN@x|+#{ z(#x=uUr!QOc5*eQL(t^aXA&*zj>&5JR6}|$^Qp_7zDZJn(=+#h{%j>;9TSDtFPoq+ zN*bE{u7drDI6BPA4xl*=Z|4uk$H94!Q%lJe)A#VaG98MCD^Rm%e$;r;6dV?P1Ady* z#H8k^&`RkDW<-bsw%qAp+Um2brA|*r@4Q#!MMxys+ieDIMPAe^$O3OX?1IX{Q}D=` zJ5IVDCz;lzn_=>qMYK3zB1G+(fZ3X!G`KVz-zP~Idm&443=xaaV)jZedt z5630nQu5F-z{&8M4ONp1r;2&OFw|Tfd(U>lktSsbew)d>t?VJo&W)Njc|{LS?Nd^~Q1IKPCetJ}(5t9a;;H$s^jBnimjF+zxM zeaCsZ2IA$VMz}`B95rvfWja-L5uc94<`3ih^5=`Vo+tl9{h z;JX7M_-2|5)t+`9WKNDDhPmq?oZHFSEIRM?RtLImmN>6bo331#LiIy#6WMQg z__28kHi+V0RfsIDS!6~vA9WMGU4y7*@*}eJ!)S7`+7I==aYH*>dwM593hnnVgLPix zX;N(yF&nvod7soo?g@SnR%i6W?5-b4LVOK(e1ABYgqc#`IWaW1BM)xP-o(XcXF;g( zMdpn{1Jr1*W1Kr|=_@}5x*pwv?bqzlLF6|pSDDiUegygTR4wB$Wf7UM(2Ep(Dq(&b zQ3%Iv?1=ZV945cY2L_kb!7iOPQ253LS6{Kj;2uXzys?pl)&j{tQA7+?=oayf&o< zhXIZ$2;t?)5mY|Koc{XlD$r$|ao7oOCK{aZ_m#@{+vFH1ZoTAGwPw3eykBk>@tdqf zU!UUoPy0nn@_c9S>8A0w^WDv$`vh{%lBF|xxes;jxNY7|PVEmV+Th{dw->6PX)5W8 z&XVH#-)*V$O#ZU<=Qp~io8jM#{q6KPXO69M-;DM~&lF9DC$9cJQsU;XJEgC`w>89n zNR)v$OaswhpUu@Ike@_WzD8SG4a9zZj+Vq~h%T2Tu+{^yU&k~_?Dqq)HUqI=#~(?o zzvxlIuI)hV*S;Z%y*ChRHxT>vT1#SA4IW_EejxVdS1YJ4@t&W3h5gev{C(u*&HfxT yO2+)J;a_eMzqG%I@8?7%P_w@k;l#IkJbSJFXYt?uK60Y8A#xYdPdvVV?0*2aC$gXb literal 0 HcmV?d00001 diff --git a/test_policies/shail/expA/policy_seed5.pt b/test_policies/shail/expA/policy_seed5.pt new file mode 100644 index 0000000000000000000000000000000000000000..9c0af5ded6a625ab0f3351145a07c2e0b7f3cd92 GIT binary patch literal 5271 zcmbVQ2UJzZ*1mM4Ne2r80RfS6xqyJ2*%T4P8>)bm0MZl;#RC_8YET3rb_H9ICz^;I zEEpS{*K~!uJ{(B*2dCC8>)_Zf;tXXHyeBb_NX5YQ%Ot4T+p2t&G z=KZZ`^0avg*-5Esb5rb-6GRDibG}UX_154;OO<@tq@=9$^pqq~T2^L`N>FxkN_I-J zPg;^lh2@P4Wo4`)RmIeqnRa};c`0eLQbnw6k|;~eYZsp@N=wgCiO)_+%uP#Aju)k5 z=455Z&lRY!a#mK6N@7@!cx1w?6jpu^qT-vLl^~in*r~!QM9PTA@L9!3IdPjbCzn+c zc8gf$5Ft;fD^x3HhY8h$GR3UQ@>GcwRS~Ne%Bn{W`=}=|Eg^^1NEI7Pl}{Zcb6|(3 zDhYK(tmXho5vwJXDPpw;33NoPZYZnwaYBNR6VjKW5U>WRN&)L+M6BVU5Zz*SgjkPQ z$jCvSQ6hG9C~Ndlh`??@$QUUWN7i^yh{>NqOeI1-8ze9jvF4%d*pEV-J_@mrqHtm@ z#T2VVtd)d9JgZ`M+@KEYL7MR*)+Us-{iwrfP=}oqi8E_2CQ%Zx`~i|8)2$CMT*y&$GYXQ69@KlZc28J*iTq@p-fJs?7%*- zOdd;82Rg)#IN&HO zg-Xh0hFx0@h;2)1@PG7v4W7P~_uKP*y|st{TPQ>F?m9_9l3?9}I;?+MM)U5^#&>DZAwA4zU7 zU2HWHlfIsbAQ(q3Bs^oZBb=zyvvc%xNIt}FTZz^FKh|0VYeUF{gbB5W(Nq?N+? zkiRsX-16xp&FWXFr&kIb%&(>uuN83mvQltw{()#H?PZj0-O-G3pevV8#l7e3aHV-Z zHE!1<)7}q=HFt{ z$wvA*`~?%OsEbK!lF@5bHF=k9LKgh44)1oHqi+tcMH9P~v?^*V-meOzPvyGEg~gj{ zHTA{s83EDCxky@8F9My<(wX=P-!kFTbg_mT3kJnW5O+KQA9xi37r31Kd}A)HhIN>c zQGvUE$U|COgf9xB@W`91^qGA+Uhzyt3t<_z>GfY}9%UOn)5m?P_(^yK}e|SJfsQ*OUt3-Iu+8S*us+g$f47Qdb z`F7-Iu)VsD%d}O3$JXwU-EIYDHJk9t=!L)^kxnZ5wxC1rJo2mM3_Ni%5BgeTAk5Dm zV;TbS*;n#p>XD_i;tN$^FXiJ2w+OJPMW$z>8i`GC#y4iYj4BraysnLK&QyR}nl8A8hg@0JRIE6^+KScz2>4@Oq>&@fM z_0ff%sk-FFICm0}-~?&kwQzl&DnLTMq;)a@T;`^7@`6{04O1Udld8qI#(W<&>T#!) z{2z(!jW~QAHyeX}-JnzbIM-^Vj1oO^Uka86i(}zH{f7wUB&|o_>&^dvB9v6R{@a7X zhcT2t@jSEg*?8P~J_z+>RB+~cZ!oUfN|^CkIH6Mk&+j#d?IVIgapQYta`bN`>!^nz|`6Qn~vd%csM zPC8y!aB4b~9P1#BKGCE~&l9(fc|tx<{~T_~2uQ3OA67T*CRS}zV0hX#Zu2=xwZdA6 zOZjFRoYYYFrpcb>RdUqx^fY4BXiD{WXyL5p2r!rwj!VxfW2ES-#P zKiGoubz{i3bcf$uBVk1O6XvUSJ!tMsCsRwBNTRY9xwPs7;Y`fw9?sbPd4d7>EL=oF zn}T3^trFGux1wsDqj3NGR(hu<1O*)d(AaB?u`|}wRX;8z1!v4)Plqz}zV-#z-+Z{9 zgU$5W%SiMpR43_Ln@IPr67HR^8WgQz+V~yB_gVn% zAMFDBzy1QtcB;b?g;JVtpNhst)>Oyv2?@+CKWXl7g6pS$hB{Ri5Vm+SCNF~-pY6YitBe&C z*qPwY(($17HVM|=PJt`V$`D_`XD-~XA|6k7(9-4yj6&uU`bype`fG|PwN^wmKRK$i z--(!13?sQy6tTcc4@Zt3i*jF-QThC8u45U2i?41{`4h3+_a{!#MV>tT!$cmVuBM=! zzzknB3F&07vy5BJE@Fn`aKCFd8uw^nPrxNQMN=L3UhF0qzKksB^<)0EgO6>i<#67& zp^&k}86Vc$FlYKBvHz!RENe|=s_&hkg(K7OzT#MXaX13Fw&xV(MvK=?2%PNiRBy5) zZSb=Nt0U8Bkj-_{;6DW(`1|6y>|D}SJR97~)>G{pB2?I^fff%&qs4T4ro{H4`>}uy zvM_%MNn57}_c9#t)~IIgaK;MSbU2RK1RA1?xhV=Po0#_o-L$g&DJh<-54j4>)VVUA zPP*2~1$Nz|Rq<8F17CaLFZ1<5CE5(uZKxuma3RD!y~y0N9fq2``&4PfuUtT)5V~)? zW%!Xh$)We#Y0XdVL|*s>Sj0_6uWeE2d21!DNqRx!u9~5F#~Pww{(;_(3kLOmLQnEa zxu5rs2kU*?XitP5P8?CgJh`p_tBTLlDUK$%C~G1Xa#PT4zbh;~TR=mOA11c%OKGx? zB}90YkjsAOiSU#>)1bM4Jo~DPc+7Lf&>T1DT`14x@3A2{5pihRdYe4XJIZ-yg~N~h z^Yq)Lv#aQ!gyqDKcVFH6NSFPD?4Z5DNjn-0;0 zxNdSR+#8|M17>a3!40ajVZD6<_rcj8y?(wzO)Of;IKxs>zI{BXzB)>lSG=M3n_W=g zc!&1ec;HFnKHBTnEk28cVBdB*8fNW+8Xc4Ask^bn#rHhDwCoRx=R@fnUv08Hx7B@I zra3IJGy&P&)4|}pEjW)oN$ZDeFkw+4aBbuy+_p`P%*zkLwFaKt?y%`}X6Qv?Snh_= zQP)Y;E*4L&1^UooBn=y`PZzWo(Yre?P~WI_;-MCdZheA==J-5)8*Lzui3K3w>Q&Ws9m|9ZVMy4V@uBpWZt zjJ-o{y`K&qANt9G8b^q0uwf*6u8i`2^FQQIr~f5?>Rr>K-|=P8HR?C=&1?<08@+&u zeV|U}9Q=v$BAe(^YmUr!6`+a5BWgZu1a@q`PmVUeqh;MJ?f;h+2Hx!?%T&d=H^c|8 zz70h|v={R88)=|U4Xw*DqkDE%(%7?oWNo`QcBNdTidv>1Tf2_2>%2s^+?hbX@%JY# z#zB}Du#=J1<>8DmJdE(3fIW{KaqHC*Ci|u)c>3kwp2IbC{q6fSxo`{|fBria&8i~{ znd>ys#sj)q2wd2`mDueuA|cNwpeA#YxFq|+eDziI(e4jSW3>jpRBoczEhi$cLjlh; zYNFPw6wbb-kESPoAeSADq5Z7@?`BkxRPGc_Sr-8*0af(w>JYBS*%{9L{)Xf~^+)X( z2aKpKqx1G{Ci}uYF!1$DV!S~C<{ub=>piZMJL6mF8iUbfdE+#YwQeJ4&N{)^DqA$t zPXzhNWwfv?6ry}?k;JDHq3)spefHbo>K%``Ng6BZMqU=3iC5^Hc5kRZt&Da`$K2IN z4I{P&^YHYtd3Za+fy7-Hhqprw>4zd68rL<4{2uy@Oqr|;Io@X2#1}zHd@{Z*06eq7 zhN^NrsN1-Y9*Xe8b!h@}qy0E3FVBYOK_94%nF@3UYNB;tD~YR;MJ>BIwEaXPta_vc z>pe!%CoLURB>xT5>zF|1stLeu^962uU_o7W{9P*XPvwI~fAGa$pOX4d{})~9^PRJ= zx8~o@cb8QU(G@T6(A`?I7=?~aJV^Ie3q2d|7>eG&+;!@ ze}1F;dYk>t*xyc%(b0}7k{Mm9m=!Lb3{O&ng))-nuREnrzqd6dFQm%Q8>XS?PtWEW zQpi5Bl~2+3{Gr%S&(YFYP4VTD6xLxV_S2Xqjom&JD;SFXH2z3qgT;?hb{&UeKlKf1 z?A@VQr=i$S_gWg8uQkN3^HA)kJ2+fwou7Py{nIysg^G$ce-0WWXZzRikGF^)+k2Ax kIdKWq9&E)p$*msGS$FVR@;X?kAWj=%cM<<2;|It7A4OHg*8l(j literal 0 HcmV?d00001 diff --git a/test_policies/shail/expB/policy_seed1.pt b/test_policies/shail/expB/policy_seed1.pt new file mode 100644 index 0000000000000000000000000000000000000000..4bf161268d482c9e5587017b40d7c4929d3f455a GIT binary patch literal 5271 zcmbVQ2{=_-`#&VJXp$j{21GbG#=TwKvh$2FnHb=9PLNrk{h;mD}>l&J)?DaMe z(s&zHy4`Z!G~RSI58pZ5?$go#yU+9g)_&Hrp1t<^{odc&>)r3W_VN|>lH>6d6?xwk z4PHN9Wa{*|_}MWQ(UGD^^ORW$9goK#sqWI*bG-aRE=$O=)Xt((3 zB4w6m;?K$$2djvwlakCW&F93#$Hs|R+3BKWF|Ya5bWwaln)1}tn5gvlgy^ZFn54Ai z)Ty(rl-XX!#=#0=SekfbWNZv8*9}qjNJx$p1$1{Rv%Q05#A7U3`QTpSc6v%Wt04SS z#47p;dBOog)f`qys4A4nVU_dZBvMpFtg1h&7OeDDPgHzl8rvsMY%ESLuA7X{s>dk^ z2Z&gWE|P4vuTUnN?bl7vU&IdZX9s?rkk!`-X-ZL8v4i3iybEMRtX8*>0XeL;SdUnU zPB)LPh#lU|YrW!@!3Uy8+=9nvji=-)yNBti_k35JQ-;r{H1uR?6T3K=OyVZ$1U zDOQSDV+nyW`ZcCF{^nA9|}pRi6snY3Wpu61CU z43@-ob%-6Y%TZX!V4bD9`0SVr)yg2Z>*`8Ri!%2W zDkyH!dQ?&?wk@f?|JD2Z@HC~o-@?+vwOP zD=0I#!mW$oL*}_{jN>hHI%wKK()Q~vhB&}y@Ntfu|lu@|ylrim}@F)H4Y!wZ^phkXN-~!Dr`0)7cTI5xY0iM=-vgN}jNZoA< zIVDT6(<~cvcYLBv8ri_^k)g-`QU$x4opkBiJb2;JNeiqq0V;oEjG~93{Zmcw3GaiW z%ubM&^_6r_VQ*Smxg1~ilf|%UT3~)Nm%f}|2vclkgT9>uvntdBKmFzi(Q!w}Yv*bB zYP17{#8`l<+7kFP)&my}PoVtVlm?gkjwE+>EavYE$4nCgI2&0=b%Q>Ux`1QMVznBw zx+R2YY&=GONsxo8!ue?TQUjXuqS1O|4DLLn$xK-tM;lebASCVsZOsVBSldi+JN9$K ziV5D(_@*BmYPQ0H`A5i(owrHI$04Y;=^X8)QA0L9ddwvAmGJSsMq0sTLFbQi=^`sB^d(skHyf@@+Xm+ohT*W0*BJA$agc72 z35xQQ;YJPMiy;J~`2)})$d8l_-3W^{`FP`r37j9Ui>V`);-~|uG&$HAmKGL(frTYH z?pi|}mn?%tMSk$}T001e_k-XScJOg!A=%(K3@6qtKywd1mQZbaCe0BSnO-OArpmBf zV*=IZ`hvUf7ZNZq0A#MtgyPdXY3{93I4juWG|4ufso9i{>x_nB_)!ZyyXghZm=XZ7 z7mzOLmx7gL*T{sUoy7L42b|txf*&W&BCF=zrf*D^)8sjGFfCIL*X(PeQ_S0l>rO&= zuG!@6niT zRUEqgeuu03VummE&ye*gFR5p;G9Ik6XB;;Mz?uMmyw@}sqK#d^$~+r*4T1Rd&w8>^ ze-a+8S_Cast+f7=9yAoYai)pR^al+kx>-G&$tk!)DmSuZb5aQ@JiiHL&)Px4;2BWn z6AFjV27}(~K*YdHRA*c^7#<11k+bt*#mo6P@|7np{80yzMtI|gM=YJ_G!S z2y)U9f$!nUdn6KEC2u*j4`}LfJ^`vGQ=W z{68X;RJ#7|W{_1Zu&YzRGW8HWU^p4-Fq6DK&_u^u$$`NlV{|Zzg4NjuXy9f{Y^_7d z!p$Ab)t{C?ZT&gwcW*b<{?i9@9E~~Cs3v+sH=dgm2Xym{I%1X=18?4JCD*Q%({)AV zG;*~+7A>)bk9OC%i$lDKiUE&#QG{ z2l9BM87`S`OtlWbB^76Glh;=~px93zRYdhpC#{RAfBtJ~RrHEFRoatgzeh~!!9v>n zS_a#Tg{ban1%uU=JKD*v;N}@R)4c`NROVVB8hKe@=-ks}ML~tb1M@F*_qHnTZrn@q z%v%VCs&=q5N|p3_+8>rgWz)}o?`cQuR6NT6m1wru(#uy*lXtL!J5e$Q*9SGxBR9NA zOP>&maZz~Nb2V|P7BD~E*h&-gwiDH=nWXHG2AY*K7CsxxflujvW?5$z*YVx}cb1HY z-Lq=wt709D-sJ$HN_k{`0H0_@M$`8CGt^E?lUcA!2_BkFbvh@XOJz^`gGFFDbJ0;B zUU=paTbBr6#$O=w^^p2ratFaQ6$&f7u<bq)TfrgPw$K%!$qHb(Y1s@hQw+4 zmyKl9^JBCvjE~P{?HbN)%i>16j^wWEw9%HW>P+IgjD|f!e2ZFI&f&L z5oR@{&=JQgxm3Hsm^fiCJ=V-awS|sQn7RP+-`j&}(imv3n~sf5)#T%;Ur0c%H|D0C zBqx`s;u+h6Ol4y_8F@jRKjQRIJI);MhK0f`{kddQ$6c~5t(x?Xt))>n)M3VhWQuuZV0w&ouO+50`49x!?&Ysu~x8+ zq^a*2gpb+3OW%-sYK7ks)A4dL;ke+U-IXHEG-!N zlNXFA9f}9fDx?0<>&z5SFPvHYBe9NuNS#Knq}mp4=$X+@+W9@5cft%p4Iglm)MTlK+y&w{Bp)2`9eHzC z1|3s>cFb-0$Q8M!gAH#K(zYFRZ>kNg)Y(Su%R9)TTFO;fby9nE2S^C}jZ6>mW(qW& z@pR__a?4Acr_S4wh(BVe&h1j}t$P;ryRZ~OJs8OGG;SE0;Dj*;4Pi&(0dl(u$<~|w zQTW-7j5&3b2KUZEZ=I7=reXvX%(NrV7K{|f{u(mVJ`wJ}zfL^bl;EE6VQR9ro!H(r zhg*k3i2tm|G{ZG>PLUJmGAWMz@!4x5G~GQK%MF}yWrzR-ts+vLoQdtHo*yp0xT+y{ zgC=ZeX24a2DzbODG4v1JM}N=AXN-7;xV>*0`Q#M}+5?}HL&C{GZXcoQRcE+YXT3;9 zpgr6fa;}r2&v%-%M_9-|Hmt&-eWw zMOcdeJ|*?vzLx>g`#XV$tHyWxyNMkW;CCBESo~TUGg}S7=*Tk0J7_(v{OI2GE%=P> z@EI)LOG@g0x24WA`p4Ga|L7jB!@e{2-R?0o)LL0GqbpltgT#~JNvf|5tOsH6zL#{AYg$Ypr8mIxC%y52q<>Jjs=MwM2!*+ z%AGCISfWPMfTGc0?@F+sqTstg%<_`|Wv&0sU9)DLx$}Mdn=^a%o-<)VvT_1}l9J#b zMN^mMIw-KRJn)>xL-%rl!Y>Mt65A^YYO`$ryWHAzD__CQP5fD+c{3 z;*~}P34(NjR2T5Qf>eWq3wY&4$(>SEM7(M^uNK|wv!015@tM4Ovcy=jTyi&=1Fw;+ z7^EZOHM>aW^IAc|`Mh>FL2nVS6VB^?o{;0`3F%2uIP!gx6+?=IB3{2+h|U7uK%z$? z#IT#kNW}LI=lgvY;%M6?uN>Z6s>_KVk;D5)bvg6CIlNz2*Nn`G zwqZevN+tS_Htdtw?yO<|)%(>2dQ#qRXYcE!-NW}gH-i6F1_@2(tSI{m7}`2;>bV2Z zdUY+VzZNWB+;~jH*6lKuu2U&2?%L!8VuVvY`6Hx0((b1RF&q2lFI#_D#O~>!c zQONvx7-hbm%mOso`IFqdKHx9HKJ`?_?sNI+9w%_jRsD@rck z3hI@Cc&6?t*M9aT%O7lrcb?R+SCzwY28 z&{a(aJP#|w(_V#K;c0!mz1b5T4M*YIH)fckxtm>_cUWA1D3%TX#u9n%CKuSh5D%1T zq0RJE%9wr`A`;i(uMJD^#fn7E=legQTwylVhW^N0RE%);qgf<#e-Tcuup{-o_aI@D zCAaIuD$uwP4%*A-Qf`ASYnjlWEXEh&@d=y7Qw*w6k!-wT|`B5WAf2-}Xf6Z-Rv@(#g$RK(61|;&qMh$S8j)-P@Bu zh6nS&_-QeFGAD-ierJt!#UoMk2MY|i>rLD4Y{B9aHZaRLny%;+b85A-(CYYboW1;^ z*h0Ypy-u#9wcgek(42=u=10=;awYhoSQqf zeZCuEbWI`^zqP}#w%5blWxk`JE6rka%l^2*BY?bZOxeXh+u0DgRN8~;#7ZZ?AAKUx z`h2ta<)&E_vZy^rvuvbxvo z?AdbY*qMsDyYImitb&i93h5d*7Mpf`fJsX0naR30tmSzl{Mf2WYi=vz^Bf*)zaK?V!E;Ept;}#yaBrQSPUF3Qcchis!7wCao5vPT6ER zc`B^4_JFxd4>8_t1td1-t{LFN;^aYi;%yGr_0_;mJ*MVbm0^-t*j4`}LODz8arE`F z|34y>RJ#7hL+^g)*vW_%_9#sZi_b;jBKJ826-}J}TXS+68%u>b_h59BI{FQ}4_*OZ z!KmW9VykvDP-?cIBToc`)BA!)!wzxQ%v?51#Ri39CA_rccX8CoUzuf|CsmH=jfTN8 zRMM*uUe9?_vv8XZUN5z#;3{XTHXaLE_nXAy&dE{1@*p%RN};Af$6@xgtsr;ulGy2i z17!7nBu=Q1q4ZI2;f7BI)8boeW(Q}Znnxnm#^{l$!U1;8^EreEK7%lk5xp09P+&(E zTv%#DvAzSb>L}1IrbF^oPr>B zeXht-O7zfC&7aaRwB~aEa7a|%!_I*{*eCc3n4u8ij$elzZZp*TM+XiCX$7gWk zVhQ*;tJAI2Y~<5SsiMLFjT=T&(%toJ_F*li^Uk!U?~ZMd^WbY}KdMX@Z)ngEH(fT) zF^9eW$&OU_d*K6q19VK-!mHH4&lj-$ejevrO# z6sHSO(E96L&c#_ks>>F$oBB0OyK)&zt8>8_Vo40YohP2z>W_Y}CXsjIL{OVI9F@xr z@rdR&@Z)#0`xk{+ze0t3RThi^LBX^jToxDT0?7o9ApM6Uu=jNfIIvQU_W$Tg{>tg> zkU=54JhEQAd*VE%G$a%zzmUcLYt87E#&4|5H~}+Pds6CCW4u^h$jaaBf+*V)%wvNX z)GgiNy<;hhaq`7@xdgiA8iyX`^4O8fGo_Pz*}TIB$eynQyz26 z^J(H6Lo*?#^%j)6xzO=&RZMoy1=H}8;CUg1gumF5NbJvyPxZo5&r-H^=xHW&&38{+ zbS54-XOp*V^YW3b zA^A5>!PJsmJywH!v@X7Lb0znsyK5%Q@np(oA#`}m2sXCD9M>+gfi`;~i2I0eYlJ2| zi`2#O#(ETCBgvO&kGnr8 zjq;n@n6-^ARm)dF<->uP)~<&a9xP|xu7l`hiWu(h+{2XCjiE^;DNH#q7#~^2;IyOD zsjX=qMjonU*@j!0eQqo{g-4+G%NW#}<%-^KegiYJ4%RfX4eXBFva&6KbY_(b{W9-1 zRGjvtz+D;Sd^JvzLyc*;Fc(^;hM<-0awyuVF1{6Y47LgLaQh_#(rNkxrFHdee6l>9 zP3fq)y4?U}&xg{VYDLUotrh#pRS)~r9|O6?FQ6kq9|OPM0$cZ=XTKV4=fcE;G5gpj zc%@}atZa=~}nh>3S=g3dTl~jD(AkFV5PElFXXWQMj=g}^MpGx;W~s@n6bC!%R${%NIS>5!HyxVTx0xp zuED2+Z7jRSjVO2z&u;jTq5OWRE`7IR#fb`6EEJD0 z;K@Jx859HtvsFI?&`Q^v@M(hvYY9>yzZNToN&P6Y)CD$9EP%8yMJSznkMpuvA)XM> z3;hd%v0&0eZuwjXQrA_+-EQZh=vx`QXVSnn=RbkYd^OVgMy!W|K+swLANkX%Gk76kJ7d9KBRbMP147QK&=9RD|^yubM!1~v`G$`UQw`)d|^&|U}IiuQxN&jF}e zYK8fgTId_-L>k)pplcTnTegkr%I6A71!Mk){OSC^{UfUp6gV>L+&Q{IEXLg4%}cWPP?ghhuYW=no%XT5OQT+D`7^ zd{`yWJ`IYA^I}}c0{7y(g#<@Wa8K*bh&MW$klDg_OhwxcQ(A69QgsZSh$)75tJBcn3zmse~t*F=YKqKQyhr3-Xh6$VzV*Dn1lI%!S7sS$3U$AK7|F$FlRf~ ztCPW?CG53EB=s2)z#dJAM7d}`lJi!hc(E-t<`prYb2_-07b5IW#^&GF!N(7wcvk-m z%WS{LmY8t#r`b4)kx7Pwm%Lc-^nSE6v`uWS7}e#UVP#cO_L8s9&iZfrMMwI4=i=+7 z`H%CR_1V+#Y|&L%k?p{GmE^gX+W|bC?gREy_Hdnhb8g42-F+oz$`4;hWd$;p` kPEx|PyITpa^HxvbqSO7{`FB{5yd-T%+(q*19N#_mKW_85qW}N^ literal 0 HcmV?d00001 diff --git a/test_policies/shail/expB/policy_seed3.pt b/test_policies/shail/expB/policy_seed3.pt new file mode 100644 index 0000000000000000000000000000000000000000..51c67323ea3dd9380d7401e91a7220c722873d96 GIT binary patch literal 5271 zcmbVQ30O^A`#%jDjwFf(4L78dN_CoRueVXfF&rh5AxSwUYS+o!rBab0DiIYzrfbNM zd+V&144Ff55m9l;7&2zK-#K;N$LapR`#k?|?Popf*=w)g@BOX4-u=F7FQGt5nZr?2 zb0Te~hl|69#LtZN^VZ~q%9SOG5fO2*v5^tt=(yR5+|dcsBNHO0 z`$k8Ixh%&bkX7J?beB@ko;}2N$lS>286q*O7$J_6@(u}05=X}-a>EiLrzJ(lP7f1D z&Q6R=2%E#_vPwK&h^iEpC>mj4i7Yq9ko2;*(fa z!7DMVHb%e^=m<12SapGhKp}(WE*Ht9bQiN4fozWu_3wJ7MTaM{nj)z&k+P_h%#Q6T zQWfZkS*;F|bhej3A)W2rNuVuebpqKw-zUWXKB2yH6ns`!q&jkqf|%9o6rz*C>Pz)V zg&1`5^b@m&fvnMYA^ag7LX72D>{*jeAwT^k#8f7ve<#5JF*`7jHTy2a;k%GQaug1% zxs+n1nB~bRq_fIkEjo1!?xe94vsQtu^>-Z(ojQidkvOt8QW8}$YuiDR&f3Xz@H+|Y z#jHah>zI_xI(3kQ&59I<%Y21(?s(%ayb$TT=CH2GtXs!=&WTJ&l==zlE>K7eQS4X; zmPuxbsG~#bh#ii?LNe4y<1?>)+9plsIjO zP@t+-px3f-ztpy@3jeG3YjXO^dB2UVpLg#rzAyU_UUXlD_ijzW9wVBlW&KjjHHdN7 z@K40Si-*ACAVcVLDwj;~7eigdRLQ)N9-#bYDC${lmy8)E!d9Cn?*0=^P|;`|@b)XoQBcEGmN{@hHx+k0<6~mnP~7aUf@<#>k~=;gA080natnQI-)0IA*NSmg z(`vj?kb!5sjj;WXl~lc?7}ZjZa6$Dr$>xH3#=~MM{a7xfMqcCbGw%4p($@GQs$Zg1I4?s!(y?5lI3hv`=md`i)tuAYK! z_HSu;Z$)evwU!vwXJSF=3P=mAXL8LClF)2lyso1SWe>K})IW{U_--FkckL#zQu&kl zW$|l@uJ@SLK3^#2+@a^S-%&5FEj;)z1wB4KBB#b{K;*d)Y%mey<=;l({>N!JYxX3# zSds+&8>dpU%rq#8J4v>;uE8Z2mg0-s>Ud5!8*3dDv3txB(jI@S@`n0YDn3XVUP2Z$ zZ&zVfF6|5EB?oBQl~~Nywj{0#UXo>s{h;l69@-9^LAM+NN+B&VH(mHfjcWb=+z z%F|G%Dd$Vb&B`o15X6Jesv97Jj>N{g^{~Z1kMzG;0E@CSAUH1(r?yT7zxhRy_V><2 z(@qVw#94TMuaYFlKb^#+*OMbdbFm_S3wFEFOpe?>Kqv6WN?y2x)56O(On@Yo%ni;! zQQZsjFj|j%-Dd#gq#_O%MZ&#qqhN^^7yA#L2YR)OnZi$TaQEX^50ds0J?A%c&APQv6m5-_ z1*1SO+!}0}GeBsY4l}ncqx*^zVU3?NPHq*$kx4z#)71`Lj+kQqvQmJ6FXVHJ73%jS zNdKr}p5zUqd-eB_K|0>h^qP-T=cQms*=MFtpI}h+_ksvFLwC`<9O~10f#_y9z}eZE z_=s;sXRtze_;xZ(D^G*RUoVmaF_{p(cO8CfvLc5LKWE|+2*@Hr`odNIC!{GvR{t#` zD9c9#J3ns@=gywB zKO&S|y8g$_J!e%s#2bW1GY*rt*S)}Od=Cmr;kfgJfIecz5uv6L6L9t=8NOo&q3+!% zskXq@hI{UIrDgQcNDHi}Q9<$1$ylFa#@x*Ep_*B*sj6rL6RRU}y~1eVi7~s0W#CZE z(^954!^c6?nPIR{wL8@Pxk_>q^GTm}dkj^`V$K*Rz;9=2=w1?q+Mz};)~SSyd(;Ee zOf%{HBV5$n5nuWA(kIC;Wlt)FX*$&P^cmXip%P*SLovG>p1tc#v_f6M?`<|I`Mix7 zTRLHNX(%1oJ%~CTGbN#&uX_lYj!28Gv-Gg03{QR~GRto0oaPA}SMRV|NHtLdJcWH?o{Op-U8Y$=e{Ij**o{=W3Q8HpCyzzvj85b#RD8a8m^_&Q<9r^|`};nTNi8X` z%PE|uUm6A%xxK0Sy--r>(j7e8#$)|gpy`Kyr{hn1(XdIrz`uT%1{Vzh{SmfIQ#+tX z&E-n($ZoXkAQ!K(Uhqt-FX}kC!o&6InBdlzYR9&bH|rnJG=-kH@AYnKI_WdXeqf7N zVr-C3@_^IN%9(&$D`?=98PIxGAAeO!A&s{C>AG8Uv1zgy2B<4Qw>jFN{?rs*b#-V; z{u8pn^CaDLV?T4LyjP`_as{n8??U{mTw$f22do}jLiGj=!}d#sw49{TWobj14Tl(# zUz0~_KbX>?F887&|)(WT-e{jmHInbrLxDS2oOX^-`Aq?#Q~ zcTgk7%Xr}J`-q4oy38TFe&8}IP;#)u5x0aj5axmdz72J(;>@Nbe(yb#_trC#iG`aNbkVA)jA*^#;ifz;EjYx3qN#u(j^pToDnpXvA|$sr6_Ml5d*O}K<7jP( zGpyupVREC_(q{E@w5Z7q4=MmUEW9VFJReQ6XE;H_aDr*d0;Vh}N3v}}JYBj$7yB+! zrzX`4A?kw{p5QGbsdGhC>s1Pwq?|*ZaCXoI7njqsXI)9O)W?NqQ*fxoFc3MfcaNJ| zM;bhS!h6p@6FpNd+&N@jaeQtBl$Pf)WqOXFG{aBgJAWS&Rr)jG>RQ52Y&)6u%^G*D z&}Js~-cHVqh{jdIZn&AfPt>;+)4IG`I(@=hI_FgzG5ggSHk!n8+w!O0f_3~X@x z;Zd+?Uj(V+En|jULdD+xVJojagR;jn#e1L@f^400n*NgfxrGi^Cn$j4QmsNqpUFNrK)4cs*9n5PPdBdh<9 z{An-CpLu4tX|(m;%FXoy+_ToNr6*egpxyBRo$TMA9RJA*kIqzKu7BFXyby0E2Jiaf z&NNS)8X1ViiGz^#Frg!ydINWnKX7JWq5W6a5SgCF4?AuDhy3aAzvR!tW1~?2-Eg>4 zwnZ|yZxqc=UQT>J@gVf%c)S=s819lJxZyJh#93luHolqor2az3o*ax02{mM44Z!)m zK^U;dAL}PKN;bhKs(t((+2Cf6O)vGJcXSH=R`HnLw)V%ln!RA!x4uvmvXLseon_8t z8^Ja$78mW%hj~YQiJA%*YE9nI1v4kmJ2$;BH>($@sgHG^e|ZsH_Z5+q=JUz8X@hX$ z;E&WYSd-{cU($|2z-|~$RQCnazzbHAHA!|@y2Sw|2fe0APIKUApU=$oosVg(V}9k< zMYcF(!44W>V@rb8^Jvg5K6;ysBlaGniTb6UN*YX6T!=i62~ zroa$Ve35-Q!($BiSjV6wj|6dUuY+fE1M zw~8Pj?*jd-{D6$C8wH;x_JLWCcMxSY6B4vb5#L-mPr^^VsXVt}9i99<1~Lz{RCs(* zz+!tBXyi|UBla5Da>5;pNI0t07f~NxF%x^#72o~pib+8Uba&-i=4rJv?#ZZR%uJ6m z8t%^EX5&LfOpPMTbKcX5afT%FkQSb4?vMTKCRJWLJcha(G?T+(BUo6vOY-ug4b1E| zR}#>Ckr_1hC8J*SoQ&*mhjl(lIg;P}jksk~Cg-4W<&`IWuy3F@e)P(xvTxzf zy08<5(!Hdt{&!nFIp%-c`s*Lv&wIc>jQwNx7#eENm07t~JR?{-8IG(91q!m}?=z(z z|F^Yd59CVM6Q-`{ANS^(a>#E|D?g%bY`bEA+(*k}wWNnja#*{r*dJq>Ja$W0EWa!E z$M_?U6-saA?Amw5{^%R>*v76{hpyNk*IFLCq*oWaj$N@ou3%5O_x$_^>|eei6sV|J z{WZu~$@=f%-%k<0w-03JbJ7ynyR((zWT$!@N1e`l*<+!gn>1}m-9>uI#&?eW5BdMx AQ2+n{ literal 0 HcmV?d00001 diff --git a/test_policies/shail/expB/policy_seed4.pt b/test_policies/shail/expB/policy_seed4.pt new file mode 100644 index 0000000000000000000000000000000000000000..55bb8bc587357609de9b68321311fbdccd7324b7 GIT binary patch literal 5271 zcmbVQ2UJu?_g_GI6_KV=q)J)3i2LqU5kcG_MG(ZY6gLzRe6VPgkf74VhN6PK#9$W@ zHSErS1q%|}7r}~R6hV#o6fD8^?Ly3P$^Xka|8L%zGw02l-|znB&3*UIn-IRz01ih@ zjq|sn$I<7+rpG5H%@?}Njupjn=gmp+_toJ<%at6(`1rJx6k)t5DJ?ZaBRGAwFkLv? zFDYK6!E#1~u?qH4no{c2RIV#`fiNi{QN$|7i_)aLTtTKNDJ4TgkS>hNOiGz85D8N= z($WR<-8EPxd;2I=DJ(-eGB!cT4(Nku_@|`Bil+2+YOu;t3eqvItV)!Uw2hya$*S`I zEn?L|`5e9hUn`$g=WFp5@>z|dM41##5vvu(YDcMm))SW$o5AWNN{uBBNbDnXV|5c% z`353Zua_i`9mrS6WA*z828mdMFm~|g3Aulskf9ufJ8P7v8njA5#2WVrG0104q@MP_z z6eS|oUPd9ERX#hSPlrPvjiZQl3S*r=>+tN;!IdNNVqK&psv_34mn4sMlj(5pBk&Nh zo?)z4W;Q#rmqajED2kQ&3hUkb#z)ylN#8Yx^~q*O_paxBVS0wtPgovbAtOq$cO6(J zn}x*Q4yhydItq)~>=?N&H+F0`J5H|4o%PLT$IEqjuzuO>1i3Cx)<2sK=i6?~*@xh6I1W~fFK71EET#)0fL5N`KqH2( zqTk*w#2EJWdq11%h78A16D+X0!b5QMUJ&eH5pmNXnE4^F48gBH_mmD<>H1<}TSJqD=lf$3VA=;x9~LkrEY{kt_( zGioH>rA;u*3W8jU;2waq1PMo84B}2y8W7#x2Vw!4#r$*@!(-Zkib<=h11R^@!HdF`wDFWDl+`Mu*^UcPVqGnM zmFr9%{#pgYpKJrOXJ)k9`n+`Q3aHP*`QrArHu63~g*F;5qB`oKSTTMt@4GRLwN|_Z zmNGSZ{{vCC34l1aO5%Jm z3+m6r&~td3oJ^#kPs?%XMu%zZX>FsGmyziT0sLomPE65*^x&>%Fg4AUF)zMDDn@k@nI4mUU+IKMV_|RohX~~_yTNuvXG__ZHZgFPueQ7XjB@L_RBapyyqKu z9H&ifP6=pqS_wICvlU*(#nV4lS3~Rg6A-7@MQm^+=1x(hU){V3yZ1h0?C;vssnrL_ zl&6;=$ijto*CRHz6p`j+Lbwh-^wt|LZD7XJJ8z1?d%6?Wn`OfGZIf`;rm-}IYesbp zXQA+V3)2yE4;B|3ft*vh@cp0{6=D`s-q+vzZ?w<}N?_*FQ{4mLU zRY~S2-jHz2Lx~xOFzq`&Nc^uRV-(dy&%kPNC#Q(a@m2z(5Nou^=_HFLt|GhRywKF} z5$Uq)gs7u&G{h^|7Cax+FFsA)xN%U8uLj5B9N_9tgYkrAC#idKMEtHM zPcqEnAj!KCj+KwI==R};R2(^;>{{(g8#SJgp-)}#;G|CRllV#4bzuT})~TWJzB67* z9Y*7_CQ(EC$0SYAM%?l?LbX#7c#Hic&9+)J&8LCsshmNxx_Zc|<$1)qW)NoG7GjC9 zA?6PHT^9(Ewhb`PNR7ILPlJVp+X$b#8yqJVlTn5NcrH8; zSGq5Pj@eV`rs+%J{xW||bTL4su060nP!ZpnX5(g6)Ne zq&Y%?#!I-kWxon_966m9On)Kv?wL$&f1QHD_du=Jeq=h&IuK!QBKVb>p|W&MtvTn2 z^~WcKH*^A>a&0hulW7X^0xq_OJrHN^iNLIYMsbO<18Kj#m$Y|1fpKYHR>ry-88%)18O3bsMnZf&|O#+-(}8U{7_hA^hdjjp~nnZCPUBWajA zmC+C4;pv~viTb-r2u{iqhc7w+Wtv~p=;n)LsfH~){Y?#98~sq{gfj*X>w>!RKZE-$ z54#1^bg-g(opdUjvP5d zGPy&DaQ9llOS=npWnTvKk5y!1$wfHUJQsrZsLUd7yS`2zCEW&(C=rjs--dSQ#@g=fl zqCJ`8i_|V_j(EZc0kJsxl>FOu9K+LZCWU&($lj`*q-|6)+3wU0Cl{sAqJzWH`=@YLAyITZB1ta22LAWPlFWrX zJhR>ovlrW9;8xQ>G{9p&)TyFc=)|3wLA$h*)It# zLS1Q0P4=9dNLmg}!BU-Ie8c$D7C$vSvn~=WE%a&fhx6oE zm4rzNSEKLLNAn(Lsi4hoFUhJA#*$m(g22(im(H3nm#Uj{Q1i|fNewQ8?2gT1)e#ip zm9vA$y>!(u7GCg`%`3;o(ypC+W@B$i6b`$gc8<`N^Cnll7kFmMDirf@U zrai(iRJHY>8f*X_>se3!wdo#&XbEu1;&qZd-*Vm~r8-#ovW?VgZ~AFTvpGh^8j$j) z1$5&aZ>&5dl(aNQ(S=uH@yA<2sJ`0`aEPK=r|rC#ZZ3YToC|Kj6Np28(p({0IwZQeBf-XwZp_zvE~ zV@7!7;S}1wC4ojKuKpd2%s)ef+(1|9->0np z)AwQ^zrXYH_tpE`{_a5gI}&qjH`!66NZQkaaNU_Qi(!Hdt z{&!ot9J{}4{rQjX?`!opV}IK{Mn`*S$YykPOG1QnG8|bA;Va0Rzs{7t{NL7-J&-H? zPni0nzucSa$RR&Ut$c}gaqW-&avv>^)sr4B$zk34W50}P^4M+tvF`n`U&bGKY>4z$ z&aOv)?3cbFkG)9Xs(w9o t{`nN~bNj38d`?=z^!r*VPIjut@iOSUmpu;QD@)Uc)Lo>PY<%C?{{Tv{tI_}f literal 0 HcmV?d00001 diff --git a/test_policies/shail/expB/policy_seed5.pt b/test_policies/shail/expB/policy_seed5.pt new file mode 100644 index 0000000000000000000000000000000000000000..fbbde28b782ede50dde9bb8cf6afff92780528b8 GIT binary patch literal 5271 zcmbVQ2~-rv79B)n-%$Zs1qEauaKY(%$^aq`5J1EMBa46nBG51xH-e&oibNwKvZ%Na z7h*&dV_@pV?+(TVF@l;z6j5+RqecPc&p^y^$p1O#|LRkxPFL5x?^f6A_o^#EAU~AD zQBvakt!Qy{I8mw5aq){|9b=+IQ4T2!6Q}VtIAJnn<&fy;J4`4qX`@rp zSw%sYh*b&{a0Ge+wH#JipeB&ZVO7?}Nu{WYShXNlU8wv~&%F4kG*%-{Vk~ZG+yI#~ zs~M*#&=av*{Uq6}wm>eM)fphr6|s6j?C_5h;(naa2pI}4J2FnuZ3|TkKZTe}g^V5`un@79LF|~1LR>!z87o8K z%34V%Hi%ejDTQQKIjqfqj&TDtwj$Oph_(Ny!*xK1gAB=d)=@&DC}N%ZNwQgIsSfS{ zfs2TB4PwWqXRs6cNg@`-ilU^x!cOdeUK>=cn_v9W%(JbhfJ3X>zToN$#l80(=u4^{;u@2 zc@6;rMWtf>j*{;rwxu=Tzk0t0XM~LRJ339{>kRUJ>4$JHkO!R}srW1^0@!j}7*du3 z#+zBZ@;Ve9iXV~9s)cyRCl~g1jU&Ta_AvU#S7XquPEvMR10o`p5w&e!!Ni^CNgyv3 zee!c5ot1}#q+h97@lu@M<_13M<DD74YD)w|F|wmrnOk#PWmoup&bd4%YfZ!jD$i9;AjZ>1OEo!VH%v z3-G%)XQQ!7l{6hd-v~?n=z| zPBkpQI}@939Hd4SV^C?6x!7NOIl2~KrtcQmVBXo5y4D15c++bJW#I;Bn^J;z^%L=CBI;~WA$x*Cm}|4L#O#8jbj8sesBGAb2TkL6yDk_)U)myAs}haQ zrFr7!^=rWGLKX?`8xF5u{y`h_(joit26|DUm0H&q!w1cqWHqmaX}={vx6EU7v(OV= zURk30;mcH;R*^E@JZuYF4m-D5Krg!;eODTRz|jkj%vyvmi?@U4yiv$CSHO~F7xH#t z7x~V1GB0-hIeH>z2$`Z}h29nJXp#)%+3Q2RX5I@jN8ui2+KNzEV}PsjvhkM=Q~Dsb zk9Z%euAAUI5*(cp$Pw%#!;9BLNc$<`_tuZx8v2?lCE3G|qeCH}F$SL>TMgF?za~}c z8FaT$D_#o?Y+8=DhR?-3QY5}#lYlWr55$F2(#hMvb>vch z0OVbr0Ml=4B0X0{S2Y(feE-$(VY)e}oF0jV_WQ-(i3EBOG@|1FGeSKOI+7` zol!bC8SmesB)d=tcIa|>!+T$moaGLXVxSIZ4(!04m;gu4P9Z~2l%U7Z3KCnIibpFK z!L8R>a9&`7J68MR?M!uI75gnc;;abQ0=~lfmKZ2_Vn#d^%9)-?fZj`fVD`^4fUk;D z;f`($uE{Y&qs9rO&Rqqz{UO3lomXjl#8O<_wG!63-KPe@h9Hdyn|dNwo|L2zY5k{& zFjO`oI8WnqIEQy=f~eD$l!i|w;>j-HG3$)@l)VzD9}1wSt{oO1pTCx{uoQRJT%ciH zxtPP=ruq)*^hB?itSAh}o3-)yXsaEVDpiOdYfeU~9?rOk0|Am)*kAu4Lb=N7;ZEZ_ z{f7u8ldk`Ev)!F9UQ$rRGZ2iz%^^Hod90h}t>D2UjcW3Jz*5}MZi!o8*}H3#?oT013ps|K>d*r zj5*dv*Hz6Rk8dLNHw0209Em&MrV_ammbkt_4xF3KsbO3YMm^d@0}FG-qblDKxw^-6 zk*OImn_5Zp_f4;B377-tANP{w&T8cIQXZ;ayGu&41z^0(fxJ<127jj_!ad7}O_mSE zekUpAr-=!(pp?#frp3Ec?nY}yT%jutZzaKDY;FAkXY8$D!G&Xs+E4Uw?xPiOImQhq z<|QJ^T_+P}PlH_-pOGi?yfJJ-7_zx3Xp`hcv(Dr*U!{yCDQAu_RZlfAc)2eP^RRo_OgG;&VfeI;C7^s>Rl5;=YDV+!08AH}s{e z8jcaW1S?cb;)7rFLOgx@9;xQ zu7Eb*K29>*M6|lEmpr&V34S*6gB*WT*xPf8{x+_Q5LZXs@|ge&O((*W&~O^s>jHZU zuaULeJH+>2Y!=^ct`)yo%fq`1Js|1fJ?hKsC6S|IU`fqr^p<}~BbHdg<8rw=(@P9C zhO#8s#vHz{bHJY>E#Tqk0La>x48l8d;PJtqx%B)X`DNKQT6|rH@*5Xy6S#bVeScwQ~C8%Hs-pwM7$G zGZy%+UT8?lk-@aHmN zL0rt*D~Cn~v!Lgs8*aEfoiTq9h7-HKK!tD~v%6GG>t`q6wR#&|`;!p-ec#Y3D?>=W z+dFkeqI1>pOQ-wCIy49_HG(9cOLTBbkp7whPZL2 z8Tq+;3v+J&BchtXCB7dVKr5M`@V#|iU8DxpuG&T-W3+HzuRRvG>}I~%uZT$pUJ$d6 z;b2#BnC`WRrk2X8wBF-6%^$ayCnkOv`lB8^v$BBI7cUW~mkfBGKF7qAYhzkgH;vk- zOW%Gz4Q^~BWL8d?z%QyLoz7Rh%Oxc%^1+BBz?ydP(eJKf_^>st*_U*AJAwdOJpN6EpHh$M`7+Dg1$ zDO0mUHI$Qw#C2ORuGZp0=Vz8^khKu-MW(p=f(LF&xk0bb`i(@q^CC_?cHpt53_bxb#+hIC0LoN+)$)rO)gQsNcqD zGI8NbX5wpm&~MWKo4e6aL#@F0?hVRjKd8&>3xtc_0%SIpGow!h;T&y8@v670=)%)4=c!=s7MSD8bkFPHQcpEfJu+9 z)X5(6_o{-sLMTk;}OJZv@WL@BZWg!70jbH1edW!U75C0$e)Aj$!pUQ8C(x~QcTH5-YbVlkx z;>&xymCFoB=1*0$&bW!XNBl@mf98mlU)`qT%Jk4AwUsO?yljA`0uRKqf!Kbmg}JSu4~I>ov8?Mn?Xx~Z)6S>?yJR@> zb2><3MFF+7@P_w2eo*l6I`MGGAm-guu($Cf`P@bbq$5YXd$u3ZP~qSN*H#+71#sJp zTl9hb2sC-OQ9P`32o^6^hj%YLp*Eb47oti@Ro6v&z1|l>nj7fqkfq}I>s+W+_K?-XxtS7f;1mHWYO|HNkSfJkGIHg6Jn4G*1vx8xjX0 z$|kTT(wM3ac}TBDR5HGza^hDV0$*O*CH~$dpDCE#Nu~bjchh#VljQGHTL0;L(UaZZ zji1KX`rH1_JMtSk<6<{0t}G_!RnF6s2?0=4(kO0i((m6(I(X_HHInQlrS-qt(&SkE zW$Vv>^l5yHzZv`6?lCOPMMXNJ#vKc0NhZUQ)&PN=wE62y>C^vhE$IW9GWdjPF#6NI zxrPk#gT%_GXh)~P*iZM-vREz2;gSs2c`)|Vm?n!YAB^P=#(o-qWU&E~TN%49gR!6b zhAg&qFxGW2_S3bN#jeyIWOw{v?58WJDf6D6e1iScHv$C1hS~i&$VA@$ui+n05kIzV m((^e<3DOy8B{=D+9%sDXz`gWwfIvZ#HYDyMxuoL<#{L^8K;n`B literal 0 HcmV?d00001