From d4f0024f4b635a3ef9a8ff16bc07596457f75d6c Mon Sep 17 00:00:00 2001 From: Si11ium Date: Wed, 13 Mar 2019 15:30:54 +0100 Subject: [PATCH] Box and stuff --- .gitignore | 3 - code/bar_plot.py | 46 ------- code/box_plots.py | 114 ++++++++++++++++++ .../experiment.dill | Bin 0 -> 62727 bytes .../experiment.html | 7 ++ .../log.txt | 1 + .../experiment.dill | Bin 0 -> 47536 bytes .../experiment.html | 7 ++ .../log.txt | 1 + .../experiment.dill | Bin 0 -> 136531 bytes .../experiment.html | 7 ++ .../log.txt | 0 .../experiment.dill | Bin 0 -> 57574 bytes .../experiment.html | 7 ++ .../log.txt | 1 + code/network.py | 21 ++-- .../all_counters.dill | Bin 0 -> 296 bytes .../all_names.dill | Bin 0 -> 563 bytes .../all_notable_nets.dill | Bin 0 -> 35 bytes .../experiment.dill | Bin 0 -> 1178 bytes .../log.txt | 36 ++++++ .../experiment.dill | Bin 0 -> 14276 bytes .../experiment.html | 7 ++ .../log.txt | 30 +++++ .../all_counters.dill | Bin 0 -> 121 bytes .../all_names.dill | Bin 0 -> 128 bytes .../experiment.dill | Bin 0 -> 573 bytes .../log.txt | 8 ++ code/setups/fixpoint-density.py | 64 +++++----- code/setups/known-fixpoint-variation.py | 94 ++++++++------- code/setups/mixed-self-fixpoints.py | 93 +++++++------- code/setups/training-fixpoints.py | 72 +++++------ code/soup.py | 3 +- code/visualization.py | 2 + 34 files changed, 413 insertions(+), 211 deletions(-) create mode 100644 code/box_plots.py create mode 100644 code/experiments/exp-FixpointExperiment-_6511565650566781-0/experiment.dill create mode 100644 code/experiments/exp-FixpointExperiment-_6511565650566781-0/experiment.html create mode 100644 code/experiments/exp-FixpointExperiment-_6511565650566781-0/log.txt create mode 100644 code/experiments/exp-FixpointExperiment-_6511565800569721-0/experiment.dill create mode 100644 code/experiments/exp-FixpointExperiment-_6511565800569721-0/experiment.html create mode 100644 code/experiments/exp-FixpointExperiment-_6511565800569721-0/log.txt create mode 100644 code/experiments/exp-FixpointExperiment-_6511565864900101-0/experiment.dill create mode 100644 code/experiments/exp-FixpointExperiment-_6511565864900101-0/experiment.html create mode 100644 code/experiments/exp-FixpointExperiment-_6511565864900101-0/log.txt create mode 100644 code/experiments/exp-FixpointExperiment-_813945717034465-0/experiment.dill create mode 100644 code/experiments/exp-FixpointExperiment-_813945717034465-0/experiment.html create mode 100644 code/experiments/exp-FixpointExperiment-_813945717034465-0/log.txt create mode 100644 code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/all_counters.dill create mode 100644 code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/all_names.dill create mode 100644 code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/all_notable_nets.dill create mode 100644 code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/experiment.dill create mode 100644 code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/log.txt create mode 100644 code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/experiment.dill create mode 100644 code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/experiment.html create mode 100644 code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/log.txt create mode 100644 code/setups/experiments/exp-training_fixpoint-_813946210831437-0/all_counters.dill create mode 100644 code/setups/experiments/exp-training_fixpoint-_813946210831437-0/all_names.dill create mode 100644 code/setups/experiments/exp-training_fixpoint-_813946210831437-0/experiment.dill create mode 100644 code/setups/experiments/exp-training_fixpoint-_813946210831437-0/log.txt diff --git a/.gitignore b/.gitignore index e52f977..baba1d1 100644 --- a/.gitignore +++ b/.gitignore @@ -3,9 +3,6 @@ ### Local Datasets ### -code/raw_runs -code/processed_runs -experiments/ ### Data ### diff --git a/code/bar_plot.py b/code/bar_plot.py index ebefa73..f1718f4 100644 --- a/code/bar_plot.py +++ b/code/bar_plot.py @@ -60,52 +60,6 @@ def plot_histogram(bars_dict_list: List[dict], filename='histogram_plot'): pass -def line_plot(line_dict_list, filename='lineplot'): - # lines with standard deviation - # Transform data accordingly and plot it - data = [] - rdylgn = cl.scales['10']['div']['RdYlGn'] - rdylgn_background = [scale + (0.4,) for scale in cl.to_numeric(rdylgn)] - for line_id, line_dict in enumerate(line_dict_list): - name = line_dict.get('name', 'gimme a name') - - upper_bound = go.Scatter( - name='Upper Bound', - x=line_dict['x'], - y=line_dict['upper_y'], - mode='lines', - marker=dict(color="#444"), - line=dict(width=0), - fillcolor=rdylgn_background[line_id], - ) - - trace = go.Scatter( - x=line_dict['x'], - y=line_dict['main_y'], - mode='lines', - name=name, - line=dict(color=line_id), - fillcolor=rdylgn_background[line_id], - fill='tonexty') - - lower_bound = go.Scatter( - name='Lower Bound', - x=line_dict['x'], - y=line_dict['lower_y'], - marker=dict(color="#444"), - line=dict(width=0), - mode='lines') - - data.extend([upper_bound, trace, lower_bound]) - - layout=dict(title='{} Line Plot'.format('Experiment Name Penis'), - height=800, width=800, margin=dict(l=0, r=0, t=0, b=0)) - - fig = go.Figure(data=data, layout=layout) - pl.offline.plot(fig, auto_open=True, filename=filename) - pass - - def search_and_apply(absolut_file_or_folder, plotting_function, files_to_look_for=[]): if os.path.isdir(absolut_file_or_folder): for sub_file_or_folder in os.scandir(absolut_file_or_folder): diff --git a/code/box_plots.py b/code/box_plots.py new file mode 100644 index 0000000..8cf643a --- /dev/null +++ b/code/box_plots.py @@ -0,0 +1,114 @@ +import os + +from experiment import Experiment +# noinspection PyUnresolvedReferences +from soup import Soup +from typing import List + +from collections import defaultdict + +from argparse import ArgumentParser +import numpy as np + +import plotly as pl +import plotly.graph_objs as go + +import colorlover as cl + +import dill + + +def build_args(): + arg_parser = ArgumentParser() + arg_parser.add_argument('-i', '--in_file', nargs=1, type=str) + arg_parser.add_argument('-o', '--out_file', nargs='?', default='out', type=str) + return arg_parser.parse_args() + + +def plot_box(exp: Experiment, filename='histogram_plot'): + # catagorical + ryb = cl.scales['10']['div']['RdYlBu'] + + data = [] + + for d in range(exp.depth): + names = ['D 10e-{}'.format(d)] * exp.trials + data.extend(names) + + trace_list = [] + + vergence_box = go.Box( + y=exp.ys, + x=data, + name='Time to Vergence', + boxpoints=False, + showlegend=True, + marker=dict( + color=ryb[3] + ), + ) + fixpoint_box = go.Box( + y=exp.zs, + x=data, + name='Time as Fixpoint', + boxpoints=False, + showlegend=True, + marker=dict( + color=ryb[-1] + ), + ) + + trace_list.extend([vergence_box, fixpoint_box]) + + layout = dict(title='{} Histogram Plot'.format('Experiment Name Penis'), + boxmode='group', + boxgap=0, + # barmode='group', + bargap=0, + xaxis=dict(showgrid=False, + zeroline=True, + tickangle=0, + showticklabels=True), + yaxis=dict( + title='Occurences', + zeroline=False) + # height=400, width=400, + # margin=dict(l=20, r=20, t=20, b=20) + ) + + fig = go.Figure(data=trace_list, layout=layout) + pl.offline.plot(fig, auto_open=True, filename=filename) + pass + + +def search_and_apply(absolut_file_or_folder, plotting_function, files_to_look_for=[]): + if os.path.isdir(absolut_file_or_folder): + for sub_file_or_folder in os.scandir(absolut_file_or_folder): + search_and_apply(sub_file_or_folder.path, plotting_function, files_to_look_for=files_to_look_for) + elif absolut_file_or_folder.endswith('.dill'): + file_or_folder = os.path.split(absolut_file_or_folder)[-1] + if file_or_folder in files_to_look_for and not os.path.exists('{}.html'.format(file_or_folder[:-5])): + print('Apply Plotting function "{func}" on file "{file}"'.format(func=plotting_function.__name__, + file=absolut_file_or_folder) + ) + + with open(absolut_file_or_folder, 'rb') as in_f: + exp = dill.load(in_f) + + plotting_function(exp, filename='{}.html'.format(absolut_file_or_folder[:-5])) + + else: + pass + # This was not a file i should look for. + else: + # This was either another FilyType or Plot.html alerady exists. + pass + + +if __name__ == '__main__': + args = build_args() + in_file = args.in_file[0] + out_file = args.out_file + + search_and_apply(in_file, plot_box, files_to_look_for=['experiment.dill']) + # , 'all_names.dill', 'all_notable_nets.dill']) diff --git a/code/experiments/exp-FixpointExperiment-_6511565650566781-0/experiment.dill b/code/experiments/exp-FixpointExperiment-_6511565650566781-0/experiment.dill new file mode 100644 index 0000000000000000000000000000000000000000..6e47662acadec6cfe4f348a89bec55bb065c5808 GIT binary patch literal 62727 zcmbT8c|278`~O8rl%!3BER}>7OBi#`*w@gcP)R~jqIox^O{>y^5NQ!53Y9&~c4kPM z_I=;n?c3d=?)HAy)yd=Yn7;r0KA*?qdUeiq^?F|1*PJ=S)mfz$9lLmbEQy~Nn<&)u z{NEo1DkD}4x}*qHEy8-KsHps}C^9}qpcd8#&P6)dj~Qd{0RJCt@8B@bag3mASa0Rp z#He|(f^K2DaMmk+@%*ItMB)D!0`)L$NF>HC7DmPkV@Z@SJ}FVq-CrfFC!9`5njJYW zcEN(E*|7@*8WDmXDFRK4upW?!iC+{;W<$RME&pL*8gOP-{Nl)^u_Q^*)1UfXf+v!M zaj`_u3+%f8DOnI3EzpMJZg9+Id;6;_jQVX6owP6!dRQRPiPH@04+YR_EQwtpj8B{$ z33k7GUm)lcAUT%6DG$m zhz*QgNTLz~V};2{WUfH}_g9+yJG($&5FHbrkYE#uQ8RLOtS~Z4C?uMK!Aj@j=gm(d z!pM0^F$)u7H3f!Yg8`7ZaNhhSHql8W)+Tb^!USP_6d_SdA{Wk!62=LP)(MRHf+4^E zBSn(f=%mC2Lb5PgC@@(sFy#x(qJRHw&BU1Be@Rnd?ys^=Fx0)vOu?`;!EnC7!ot6c zzxF!8h(Cof!X@*8Y#F8sAR!x;uKFkTGWkVbrXL+bO?v59;0)V_D=Q4LY!Ru}tmqYc8ipSNVZ+m$(S#{tSfj6Ve|!K{ktqo5!hP94T{r`Gl(;b``xr%9CU2Y7dZUs zcwC${Fmq39OaJ|q>@w-dA(uW2Ub?J#c+chiq+qVyyJ6f#yQ8?b+y9dorKG!XOGa@& zeGcG$*Vl1b679qlI0^+$Gvmhks{+dTFBAt+E_?y^4~qJYl8!E{FHIijRD3VoasI)1 zPUh!tIC>1oak{_L)G4RiVW+xGt|NEsY^TMO`A&CRTAez0az|Uu)lLFhDBvMV4N$Is zq1+JV&KG$6L3#d09reFd{BVJfO*kjax^c}4n~9to*2jHz+N`iLwHXzB#AZG}*_vm* z)@E>*88$1Nuh=Z*|7U&oMW&6wODOP0R98Ux{DtyGlpkN<{|6QD8wKBV6_vfKdVML| z+>_e84^*qy@`cBHEliovOC0&U*NdjTJvqJ0dwsOZ?)B}7hW3jllU}2DiFygf3k89Q z>b5Y}ze|K52wok*e-S4jkp`tE+aA3nmE#laYwi5&9P@3{l~H!IVF!slQQU zmzIfhESJcBEYy~rvwb4VIyPNaknF$&=zo-j6#FnGAzfv&PKU^D2J~lKM*A}T+yZ3B zR;x3DX+l8+qHsE<|AmS~)C|5L>JMt>Z`8~+HV!N1zLVHmsY@o*4wBYdr%Bu$oTaMN zNy(E5)1=2jeu}T$9V8uK)K%KUGDTWyzDhEC;ZUgnUaK*P!s&?p3pEQ-v-yI!KdAWM zsAt!fA8OdaZ}@gT`iR?!bq(v!{c}Xct++vS$FgCYglSlCcI^=ky{Tc?(S(N4mG>KD zXVe-lOw4Z(%n=IaA_}J?;V;xYL?!YCNqx}>BaN&#wKx=rxB z^g-mJ(l%a?{cQ$JN$!o~rR@zBrEXnK;Fv1C#=TW45C{bXQ8*o{5rPFU9m2ne3z4{p zFG&7FT>P83;QT4sqmn|VdJILmxTw+32i%~3jHT&C^cZ^6tnM`J^@9p|d5y{{TT8bW z?xAm_2GBeCqiDerp(N*iuQ-yh_Xw&E3 zbpC}e^oQhZdal+mUYT<+wdUJddd0j(I%SF_Z(Ungy2V$6Cs-vEtVR@0$C|%TYY~;o z7p(h(TK^m6`MN(H)}@czyRW*gw+n{3P1>5}DzNi&bI`ixs*}FhEynRHFSpjxZ9pGw zx2q#Ix=pfN@0#!B>Ly4N3N|1Lr(@$^s7;94%on8pL1p|#{o1LJVBmNunkc-9cmGRe3*{ye-U>eaVKA}>kqNuH*rzc zV@msmg}hK-N;!lNcX4U%&4k`vD6i)3V{|94WSU+Psw32c;@ydIPW#lze1Bk0N51V% z3w8?yg-FEdDEbSv2T^2?O-aEyPrEbcn#HS%t=a6A{3M&3a4ZLU#J6!D&q^v|DY;FqP!B#)lXRbjHtJVb> zshHn45{QHXF`{rfx<&{jFdfprh%zKHe1ZHAQSqB7)Huy$ysIcDZ-1GgYZ>M9sah6E zpQK`LuIJ8fctP!a;!a&Yp-WXQ%3+$Sys0epAX%e#AR}lN3R;ke({c1KR4by6@dd~K zpicZo75CpGo|2s_-L(0*xMfF)bn(kziRnbCwDfCSC8kbjN^!E&E++aPtp>2kHBKmOLHr`;(hjjL>5!V^DsKlUNN-n ztDSaP?C|w)TzEk9xP6)6now{ZQ8*np{zBbE)GfZ?_8-)p->BdB9seIea91d}hbWwm zZV`g}FdYy6B0fZ7J74h6AL66m#9LS1QxcP3w{9o)-~5j++Oo*)sYv7rgj`difjGF52YM zZ|72G$o5NOn>%Y5#%dtoU%e_Tyg-)9?hP*a8R>G6+D z@Jc9njVPRsH-Dl2Mbulq;N2h8``@U>Wqm|19B)WsT?b2^zUd>qqkcf*HiRS9eeg>1 zV!=!)^?9?TuFXoCoIy!9Q@K*cyNC4InpIN42ce(?Q8*nR|3ZC2)PH=z=Rc?~zfniE zTSlqtKWwmn^Y4+u&DxDO?k6>TPP1zK`L?bhXPsZ;*U4QP{GaGF?%UDP;B$LUW7d?_ z4bMvS8wFp5f^Uez>G=K^>Ib5J@&&(G6j6bX7{6)9gPv?V8)SLF#@uQDt?gl;qW$mZ zuRUOPTl2u;yqyPPE>GUSzw3+x-?#7%JW4tO$Jh2>@mO?#bO8q;QH6+1924~jq6UW+ zDWofk(&q}&4NgH1L>-h*x?{obk3>WR6ZjcpM64?Peq9M;EDEAx9I2Kc=| z`9vEFSblFzAphaWOsdPymrRGVrb|nNg2@TGM@>9j&i!PunCk9zfZ~Oi%4>#jHc6`9LCsCL2vs}+W&5&E?peYU0Pv95hHLA5@U$Shv_3j&|aBuf*9bNg7S$O z7O;GCOd$V7$MSJ~W|q2ypRMC)Pru|c)5^|ef9fw6(fjo-vAzSi;@aaJr*YR^rX6f@ zF&s0BTRPg?C2P_P7cvwagk%^*eD{Qx)r$Jikw5E~gI*u0Jzs@!shmB*6HaQtQDSFbHr#1Tctvp|R-nknU%So4ONca1as>MC5D0m7seBaX~@~;i4#aLcuBQga+jk9u}~jxMBi3 ziLV;M@OO`sKUX{LVmjd%GbeN+H7MMQ+j~_aJ?p9oGs|rQx67Il@@cEq(A40^RCT~@ z>Z6y0CT`#$B<>Kg6TA|5puIBR6EVQ|0_78LEMWOQm_UBZuru5P#|FwRBG<`|M@^9* znmL#G>9I||K9MU=nvgE<@J?f{WrWMMyw=Ene7Y%r<3CRBq-c>7UvLl-KZwZ3D}g`S zEAs;o1N`xzd=iKSEI$Yn$nSaHiJ{f!DD+E8bL|7mDG(&dX0%rz=P>I0(rEh{(q)0Uzy^`4bTX{18w+nS=!_e=;VJ zFLJ-+I&QG1yV1ClZmlO5x-;*s-G4f6b~lg=c3(XBg8PomMsC*SiS8#(@!VtE8r-{P zzH#;R8sSbt!9hsy$5+V5D?vEgEAyuy2KZA!`D7Xvu>1&2AV2X~{dl*ukwKR&4+rKv zniN!?Hy~(p3JJOypb>OaTpx7$q-NmpdqF{yUk(rQ^(+dq>~ej4GrwODnGOy@5(yFc zcqN#D_R9Py!~lOLD4#@Q0n3lU1oBJT0#n+@wXV26&})TPWygv%w?iw|)oQMs@^aUT zO-$g*Yb}K->20r9d>)`!;XKx1<@FB>Qvwc^uOPADASAOOB3~U|2^tY(HWE@u9Ex%$ z@o)+|nFGovbFqN!BmooH$%gzY?yr>-s98E&xDnk5b#~hqm(~CErxZqAsLwnfYN*vS z$))NN?uoAH-2P%OD)8t^nM%+3Trv+Fgd`Cnc7m^jB(zuN&qoaK1)zLFuz=++zy$Ii z##uU9_A%zPhif?xvEp*J&7I*KVi~|W=PPyYHZOtm<>6ZAos0OK6{iPrI@0nvXODez z4xT-gLxkV}KOu#Pe0(J=LVIO?GGc(g7?e+zU;)ctiV5UD*{Nf#@7iKJW$(qYNe4dJ zUeB9gdw6YsyWMuXZO1o`va8vpX&ck3W_NmJyY2Mpe7j*gHrXnk^tB_)z(GisLqtBl z5>n7!nZE)tz+VZF7-9CKXJwIg26l^ zskymfO!G*iwuHV$t8_QRaf#vQg)T;94LAtNT8PN+3X{+yf}|oLg{(tS?qofj!cNja z`D6nYu$^qg1a@-!otEru-VQos*a)ib+G=`z$2zX+^m2N;n=YN>v45>XAfKv!*0P{!lvi=-V9%G19$p(3tnw7AFYwy0 z@xk-ex%FPrJZ(?$@i?z%uZ+DWuC4Q`j|uZUJR;VMYzGG+*#WV05_Y1!GJh9hfL{R0 zC%dtLr91yi(o%$l03^<;{U{mQ8sW$IH5LZ(ff z6g6-v??w64z&im`B+tX9k|J;rl06VRCqXlU>_tKfDMnH5WFMTuPD()eq!bI-PWEF0 zJ9+!7EAy@>i=y%zn40H@WVd>4;J!~k!n~#L$_y&{GK0&^r6fOxGU?M>ruVWhGv`W< z3%R+2AqT)gNXj5~PC_}_EAuN51N?)ad~yg2SpH#5Am7T$OOohm?9$83L26eZlZ<=j zCtdSnm(;dRF12}mNNTMn;xunu<&t!GwRHEcCDLK3-Y)lsr%FjBI0#7<#Lh{mMtfy` z4Pt;_3(6;TSith@F@gM7ucp`R_X%})v+b^3eg$#pI&X%3H-j{X4Mhj+uX*P=q-4ys z|Eagp;o>!Ihhj;s!;s3C_L%{`4&(?p2uTCP&PixQdu4tTVt_9KX}428)$x=3i2ZHqu6>sL#P}?^`yf+AYE~fip!k}cw1R_>9D~?7 z3CGc1nSTN?z&{DfC#SH0<+ou1`I@D}<);%KDopZb$?YQkRctpNq8N93Nb~*}N^#0& zWb2z^>Pm0?x{1nn^%bb9?zb4 z`*uvUUBXlL9t?MXzAn6ET3k4}2@XPX z3u5Oa^o$_4k&r^}peT287fxX(_dxmNJ{GW@Jir8YGN@|;t+Q-1)$MjMGfmHtu`4v9 z8&aQBCrT&Kj{{E7_hOzgSBGTK%LXOM^{1YtdmPiIL$o*2ON%#ltmHCel z1N_IJeDVYfSpHK?AfJiaOut|1!V7!QOY+)wEU(00Mz>illkg7hmHF=x1N;x5eA0mhEdL`WkpKAM@$qvH-4FaG7&gA0dL6j*;FQ4Q za{ZtcT7`jI=J*HQ{MhGg_2eEwzRR@&wa*6yO|Y&Qe|%t5Ao&CiLh>I(b`ny^XS7%5 ze?biJzk>3~H!NWJ-!XywSN-QNFYS_+Qug}fvXf)Cq%8ZcmSS>VoKkvTd_yN>dDHmMvd%=WEJ~#PQ4La;B${AK)M)KOrI?e~Qy9g8V{43Q>VyPXE>ORK@X~ASuO_BRdI7= zOD?<02Cr+8^?b5ZT5vm7M!JE6kf=k%PVkPkJK8IMCo~WP{2riuqKO48Ukek+Z**#@ z+wk2&Y`9^ZNG_W!_SJ3_EuFGPJYZoD@su$;#09ofME`A#6x%h(0(7i2+39;~lGZ1R0Ek6k>>?+=&sK!cL4q`D6$du$`D- z0z0WTzD?UN-cMJKen9U_S|wi;)04iXeoKDi=12OB&T#rvfo4Z&8|O&YTm z=XhLRTt`TAlivnc>2sdzUMCe-zt*H?t*TM35pv7s`mQHjU7blY837JLVhOQx5=NrE zGT#a@z_$kF6B{gG`J*s_{QCujHX z?*{sqr>{LZr^wIeU=-)%G}9M8YnnHoB%{GWNX9_yoP@Dxugtea4Djth`NSRzSiS=$ zkZ(6(XzY;6iLo=2^kV~z&ipfdwlrG3==vkK>Ahl^9~Wa*S8R-VANl6dvAo8ZRmaO8 zT`>)b{X+kEM8<)GkT^o@oP^#H#0d#0#2H1o6AqlhPFz6wgo_1iCln^IlVb5{&ZqM< zo%lm0-Mx}SCp){!ZXI=?cfQS%ohh=W-M%}z#2oUX&EC$ET}XGJk9&P`8QsHHMrd#l z5+20PNpMAbWxg9?fbR~K(l3TBxWM0RoN+VxRl5wt- zNb@b`%Q&&_(i>xgWhS|5vd4AVvU@LDr7_udGU5deLgEdva}s>eUYYNU7~uPX@`*nd zu>1f_ApfQH$*}{EZV|~mN}BX8Hi*0+n5@bvYT0BeI0(r!h{(rxC!GiqfrJz?9Ywj5NH~R^%mC$+ zC@f$*nTZMPM5JX)YkZZ`Z&X6*#MUhNhI0dD_a|7&$+=QWW4bw$wYs~aDNB>?>s2Zb zIzLEZJ6T;}5$UTS(cmB?F%Yp6e0PdPdu9GC!~lObD4)b(0n3la1oE$0(5^EN9d(_& zh37hbXkGIf$1;Vz%KB#0gLU$NZo`|k1I=2b9YS8m4)vDM;z=$4R@t>^s-(A&Ip829 zb0H!h-<=ZBUYS1+F~Cm*<&z{VVEOYgfqX%)>%JzXVSdl*ulSz)7TA{hCg4;z3!^q0 zqui4vd(WNnauT(f=iK)xy1%RK*ZNOw&c5f`)Rqo8O$6W|Bm^Sz@!e?w+AH&ghyngW zP(E3N1uQ=q6UhHhJ|^L{PF+I&`B4dl{SLlbHnaR?PtlrJ+P6Ahn6_EInyNSGHNVYq zuG%$~*AI^Rzt&i7`C6qU^)*=x4nnd7BJ%OwsZRu1ii8xh3`Mz<%fS(G=C+o0)<*&yC@Q+6k%i>&G2SeYb0N7_d5WK`}n8K-W)EavNA*<13w02e93CWIaW6+a%DP-Md9sI?WP*c`Y=PK030Y{b%+E#)@N+=_$U8dTF3bG1ri+r8>3A@b^NK6W+d zVkT9m9qyp2AS9&_u@k%|?MHiM{sF`QzYLU5 z%CUguS6~A9JBD49Y6!dWwBxnuO-&X&m#3+;N?(7T){8d!P4788+ugnC+`%Jw#SOi9 z(oyT-NB*(2aK9yw90Ug;IRp{;cuhKt_R9Q9!~nkvluxR$faTX<0{LGo$I9!TKX+SP z@WZuzZ9n%>YZtmXSJ}F+*e`P1J$HgT`KIaiefvOnNkSL*bITXFzY0ll`(SJ0PHMqH zNa`RWAFoOEXs^saf*9a8fbvNr7O?y#Odx;7+c|ATHim&u=Ua}i-sv6qeo*On|Fwd^ zs{LQatG1>Gwsq%>pLEtga9DSnz@@eO0!`a0#>dsUffTaN{fo$SvM{p@N3m%Gb`Yr^B?iGV?z6r87Lja&i(Jgya-N>;xyV4egcrrx64EGoXBO77JMZIZPm5zKBoFxwo8Jy1j%M z_WBCNyMK|<6n~?_Toy9h`?XOTwq4}mrxsIFHmS-3f3D(A?=?;S&m?_0IS&p(aseXp zaS|`0y)yq2Vt{`cluxc;0n5LN3FJ?E-<3PrQ;nM4q# zt*h};yAp%zw%{~suye8vKn{{<7s z9~w5GG39%u^NN7YPTC!poImLFan^GE&slYMsB`P9o}5`-qQxgU@12G?IW&d6E_1#$ z^RZa8EJ;khf`gEJgNS^5C45JFW&RJu0RJZ_pZvlCmahW;%7gtc@h;KAYGhlriAMM8 z8`srqJbR>7kKAcdvpS=#dc-up8l5oz>bWlm)*KtGSK~J}rDkyG>FPu8{c1=TaDc5K zh{(rRf*Sn!FMe0V0KXe3pQvL2%kPc}{QB|T`L_Dnysk4h=T5s{3aXWNxAA12dfy3o z)3aXYNd^|=w)L#YBU`rQ4fpS{O)_wB-i*A4JfZ;(Lec{w^6@^ge+1D)0&E4LD1Rq< z!YS;e7bt86VFBAoZ%kk(1vBnRU6!}frgw6=eWQzMhc^S{->00Xd~J_2o^xDjs}04} zd)u${8(%AGK;Th2aia@8rzwLbI^Y0XK@dA9K^N_n`F#-s{C=RY6@&#We*h+s?>8i0 zrc$w$XW8&d+PZuWZ}%28#k3`xX_Jb(azEiSnm1RSr`39&cei6TZPZx8o9?=WccWzo zj|>C{*b0K!ISGT%UYW0t7~mU#!d4I#uzW*IAiuWNpjrEYu1Ef`Bh9~x?z-zF?L2xo zzufJ^vdp8s&YHMeXqUP#%}(_ACt1~fL#~-e>j)c<(f2Gph!HrzRuII_Nf?6m%6t>V z0N)f8wt}#L<(p#y`3Dz`JwMFYg70wV;`x7*e@uuPS95XZ2YK-BihUQqz8E)QPoQkV zq>M?~r-(Bb(j%WGFbmRuII_Nf;18h9e<`SfD6(G6GIvCzhamG7<~e zPOLD2ooGgGb7{WS!km%@Fgo)7a(=}Q=It##xk{0$ykpB~`Nu1p=;1fb=t}-*+DdOD z_4UFtx^5st6Kik~5*vt}lQ0VHmHDF)1NdbSiUVLkgt2xO4^;TuQ;CBMXr+W ztVnvaK|cC=lp^%iN%^J$YZX1-*UC4}7bp&!xheK6KdhLeGfYvtdV_-4frF6PL+qRc z2een_k3$Ub9YOiT2@6=hGbWIqKGBbM<2Sg5JgrgWOxWP67I{lCC#}HMbm;hIYxO)= zkHu5mlE>${oqy=;Hf2+qTWo;Tt?g!w8{vS1khnnXoCGe~EAuJD0G|ehtspF5`L38i zzIGPnbGXN0zb|RUr!xOrdO&&V4K` zZ}(9$mKz?-6%_HG1 z4@A3Hv^SAYJ;jF(hKnT0!^At{3q+6QZsNHAQk#5+sfyDJ6e6wM5HaVPfoSiuCn6FF z4ni^mBJ%OwDGKeC`7;p%{Af@ai1NR(%dL zu5Mz=tAh7&s%c*Lsu8&w)%DX~S4~_HQC&}`Rr#;ft0uF+K}cppL_Xf9#i6}2KOQl_ zp92b8L0G`@6EJ~%e0NOV**|CKVAJeXCKPCK_NKB~IpZupWS`1U%ZWGUWKWpsk@IPq zMNY%FLO7OWpEnQ9A@jfiwt^rcA16^Sf+Qg!h0I4$?nD5muoD8xCkwEE?L>$P?4w({)1-dSa@Z=7ZSt51#nixWHT zCSB6D|EASwuN`;Y{(Opo{o=!S?a5kj5Rz1g$j3=shxW?+^@ss}8YpZ9VFAnEhzaDs z_>q_s^7w*j&g>H=1(99Ma%Ov*W(Me+9nQ!zUFBqJwrX&_iSX4A({s5kraCfTIJPr= zv+G||vI!huD+nU;@jhu#1W89i3dulG?j#dVVJBNa`6LSq*iN!Bft_%hzq$+v3Sv(B zuH~i%s57q`^0~i~Dr7(0DaxbUMOnWga_OGwI!wUzUX;p>?i{^sEiO-Mds8F_9E4;m z#Lh{`MSEp_9%6vM4U|vvv4G`o#{}|6s#-VAm8D3u!tBHvk~~Sw$qMnPEe9pnE7c`g z^BKughZ$mnl0wOoLKjJ(-UG>n{jbD>A1{)S9pE4&J0W&X!Y;H|<`*Ca_`5;*q!0^O zei0^+pEkV8%5Q2y{ldWYb%UDo>mLTI*Y}+ys{gvsw|>)$TlG@^{dJX05#%%LgSo0l z@_mNYUwzP6PxgR=knDxnISIvRugu?v7~q$H!d4I#u>Ad)Kz?S_*7TcSz7%cO=w75N zH`=pZBdy4BHE++O^tPhu?lboc8)8uOsnu-Ha_ydb>er>h@vfrOYh(A21Kal?3AHf9jd5z=5I(xS{@9%y{eDYTyXUWsY;_BiK=Q3+=$;r3c90$%=sg-*diN1WK zbo7&-;#|){siD?hDQN%)A!&rzISEZ@ugn)A2KZu7K9OJn%a>vT`Pu7sSDr{(T)(3^ zeN6131@&Egwa2!3Ce^Dngp5_Kom20zf3{thFDq)z_zUgGn!YtFPCm6W%6(%;WZ)nq z48+b!kfXgaUx66lH-o}f5EiifqnJSc&zWl47MtXS>FHey$30UiN>5KMoT_D7botWp z!W0|#B9VGvVT)JaBE6Rbima*^!ST7m;|YF6q!k=sD+preBp5`H<48y$Cs33-ISHq* zlT)C4(uM_WC#NxiopgN4lFchRK>WjqOf>a(w&VYlEoQ2pq3FpvWnSUNJz`p>>Cl|4R8`IJj;frF6ThS)g?chFv$e-|;pzXu9i zL0G`@A7BFcIqwDa{rQ=k7n^oE$8^+lLe}eZ?ryuy`P4F-v%;W@ODR?B?9(phL<{zC ze4_`tba5Ta8T{=Ghdcxa*b0KkPC^R#2kn*lj}Qa=$Dptkgas`BDJGCF6BU&Av39Y) zHa5WSxKon-<*{e%XtQkl!NUgG?{jkgvnS8M z0k(o5A|HRA^aAab`7aRz{8yl`6@&#W{|zRPKkVy^&CK|4Q>$}xO-hGs0)1&Rcjp1q z;#;FlNB28sx_b5o6NMtvG+KM1X&;-XaI9gfySKoU{0k1S6$BCa`17Q}5#${bQpkH0 zuugw377~p>c<&*DN!18}! z0{P~*Q=N;99x~q(=eoq0-(uc~e@dgrUt;zIZ4^%*e}nPNbYdRo50U?xHJ|A_%Sdjz z{UJk(9x~)7I0(rvh{(tLBo%mo#9#a_a0>aVps*E$1uVZSCXhckX_SalS|iiBHdm%m z)|b&LxGtM`Jdk-3KZ03PzJ{6R<1UkAYB0@HCots94(98PGFjW_6ozyI2iOXNhW=oxU%v)ofZqcYwt}#LuDf>*Ui1Y;q*b0J(e0(MJM|)-d0K@=)ASi4FVFAk@gbC!^)iw;y+uWs+pV0Gg z#eQ?p^utWEcjeOJONTGsnNz7_V|sYdK+8(Soj#S8^&8>1_^@Z3b0yIS2iOXNh~;2VMRi7^(i{2`b?K7L|}9-oo!AHHLA!@fGuLFqld-b{bnZC1LCg-XUC zLCxm!a#1=RS(H9u@&Gs9khlGuZ}QhwS+ z$tCMjsY9U$r|&rj>8iQOl3Csv(%x=$oP~Fc#bg{fz*Z1M@KXDYIo<#cUx)M3_C)BgOJb=k&mxL9@;DOT@eF(H&8xt#{!n`feGYOU2`|T)|hIP zIAXeCiSI_xdxn>^OO14kh8d|`Q5cow#2B6)u*pb#G}37Dth;dh$k0}pZbUr6K}ftH zA|F3H8$}RrB%}}@6y;8Q;S_e_2MSw3Sip7?fC=nm>5A9Xd~pulaA<|R(!`&>+StNa z?N?(S%(YWwuCAl>msinCel^plg09N@o%qJh@#?}W(R(W=6UbK>qYApX6`t#EREB8+o-o)+?$VJLpwq9?ZCD?yir5yC{C$Z&zG; zuGM`1v4STQ8!8sv9NX+hRr5#)IKWmAMC9WnPDXoWekfvq9|j6rL0G`@r(gp4mbPB4 znnRzqzSVx<5l3aUdgTRs1Z+_8xNBeJSzQrw)MobZV?kd=9jgqp@pL(7bhQ22s$<6T zQJ!QfIKWmAMC9WnMxebie>!4-9|_7QGq8Z=M_~f_0e&;DrnjqI>wE6kq}nYdSEmh5 zoYeeHcapgE$YkzY!IftN>1*fD`&`rS=RMi@q3xCVI$N(zZ}6E+W`cu|L_|{15Yz1Kf+ethou#<$U+tLloq;$ioE!65POIlWyFTb^O7&Uk! zSKj@VxtuyRf_@*`P9IpKtr&BAy!>td6#10rT@+*vIKWmA#Lh`bKzn8WJj4J$5frw9 zuz=;y#{}|qh8i(5gu1TOn@HY>k~6%n>)jQLh9Ba6{#8Q{SwEcjwO1DJYmuYtn!NK0 zE1n)tHEolkVo9EY2*3fhf*^KI!UD8c<_i%6{Dq*f6@&#WKN%CqfB)ia^FJw#9`pNI zd9;t*?D2YT-qC8ywH`hfH9S72S$p)+9O2>m`o71b_Y+#ZwEK7%%nxrBUes$Pi@^c5 zf*^KI!cw$X<}X7G@Rx(~NeULQ{1uo$zQM?t3n7;N6CE!w{NY3NCzh!Wy)es@X3t^5*M2@XQC3S#FZ42dACk&r^xpeT2; z7EWO&si3eGgavFT>oI|ysC?I@-*;3{3H5vF=<5fVt-touIh)o|V|sbe19xXKx1^5p zeFATK-*g+Ead-#)YM=q_H)R@+q=5r$1wrhbgpFvg%-@6<;BN+ntspF5`5Bl%ewKSb z-i2x}+Rx=CZ-aLb6B(}Q8seYKJ5i+Sdde+~r+&j;ao=PFFL2OmSM_)g*BxXiFX`5H zSCR=1uoVQca}u)9UYVbb7~toC!d4I#u>4$1Ab+i{gNMXX?$Hu!=DDoxibw9tSWj+X zn5Q;b>gm*$;7O`nTlH$RJb$>J_x!Z-qUS(|wH_@dZ#_vKIKWmA#Lh{`M|)-dcEkXG z2PkX>VFAnEg$d-p^IJbTVtlXAM}~sXWIw~uujS>T)rz9f=Ic$N;wP1%x#G-g)iHsg zkKXBpeJs}x`+A{ya)|wyFj4>xuoVQca}rEoD+md&6@;SP$sRa`o$LjLtspF5JK2W` z?Brjg*|HnkS28C9{V3+&-Lg1~?bNzYKV|T8r*l5vp%UFDQ#~y+82zo|DJ!jK)V^;! zneDCquoVOjuoVQca}xHWy)yp*Vt`);3R^)~!160Ff&7m9;hYPzU(3eDPm(>}WXWXb zpOW=8n!r?^vSr$OW-{UaA+iTs4Vkn%qnW7J#Y}wqQW@h2ckBnj0k(o5c22@!v{&X= zA_n+Xps*E$1uVY?6Ug5^O}lB_!tc_q-ycfeY}A*TeV8eI6+KS2{J{ZfKr>&KRHrI^ zw#-;I`0Q(G%A*Cc(XQ*IpNa;^NG&+PRuII_NvKDAW&RPw0KWkgwt}#LJ=F zV?szf9CynooUtQ=oB#(QISCQ@_}SSsf}BDEYz3hxcXAp|VJBxmVJip=*iO!2;`e_E z+qWE*p6lhw2QE=Mw@u{lc1F`>`=glKkBaFhg=v&}pMlKYkV5&;c{%j66Rli>_W{uoZ*_EdLHBkT0<7EiFD6N!MM=mhT$1iSc|iKoKgem(Qt;P%JxPp(s;- zAeXM1C?A)7K(Qllv!Y_ubVWj!I|_0a9AGO5BJ%M*=|0*k^B*7v_zyv0D+mi%{y&&N zKL4SFx!gzXsOj9ImhT<>qqP##qoc#Jj}~bOj=t8C9QB%VxW%hD^l0FulA~6)9v=-J zYIU?cLv z@7T>?D+md&6@;SP$-i(4J9!HVTR~XBcJdw**opps7S!17gL$eJ#&rKFfxPJStF&5D zG%vY%AdgB}&+}fgk!jy^iI&9fpu?9Y@+>AymA|dpN|O)Z09!#2u@juck7%#V|AZLe z{|5?NL0G`@zhDCSd7G+fnVO;7nZf3+dOUx(5orq7nALOK9J};%t8?1q7C$|KSN3I) z+o}OyT*sPbx(&R&jkoTst{eFZ4zLvj5&1ZY-_c%~{{u0={|O3PL0G`@Rp8mNzxlPn z{d{WZ&3^eevVCv%ulIY}IKoeV@&!LN+ho7>*&qF`OnT*GroGwk^V=xDrWHT^@>ZDp zUh2Nyk8}YC*b0J(e4Ioz`14=56X6lf8qFgYbmVP~TojiD0 z0&RA&r|fl_4R^+y0C@&iM1LPxAP*q5T+Q@yrXbZAo)rWRuoVQca}spXUYXw)F~IK! z3R^)~!14!R0{NQd!B`Ksj{$F zwEwSG+Sfe~9xbU2TS4FeTR{*zCt(oUEA#ac1AGHe*b2e|mT!m&&<{G&A8{G~MUF>S_&%1Zs#8vx#h^*q+6Q0n)gLhrs%ynH;CHJg-AdeV<18fCB z?3{!lXs^sSK@9LsL18Nh3s}B6CXoN^;UQOU%TJH3@=|v;$h#4rs5;ABPy=JA%Si5Eig}XG|df{AllHU1HG8yj$(6XQ=MV zE#BGey&>AQ$a$;6Z(Bff&#@mFlM5So9^W6)fjydb+Dwt^rcAFoMV zv{&X+hygwg3R^)~!17%&f&7n2d%bh^@x7~;ojmbqZsG~cCEa~8jyIj?=V0e;onPgB zXK!$uR6HZFWX!|Wyvq-~b>~OjX)=3wyP{}Dmpp^0mk9=u&G(l-c+=G~(s0M7 zD6^M_GmFQo%_P3y09!#2k&oA;VXzg11lS5fQSM|soWf25L18Nh3)oJAF@c?gZg8U# zb`D~egm+~)CRR+LXEtN=HdH=+aMFOJ6E;sD!)etP7=ZmrAKI<@ATpRGLfx z2iOXN*f|Lk(O#J!f*9aW0)?$0EMWPem_UB+&b6F=UuDb|B9R>_e#s>M`i89_h@F!#1?`pjQxOCFX`rwb zgas^rIwp|+>rl1m&?)#tqB~lqqUy(Jf2)#}Yb<0=-c@6sC1)`O!=q&v6qA|Dg}uXHR6U)yWKr1P9m(g4j6;QE0EspNSaYM}xvv5EiifSWF;))`mI<)o+@zU%duM zotKT4E$_WedRu$4%)sEG)G>FNZ0E<3(v2VOWp2w1WZ&RlL}xY~lwOJUl95^909!#2 z*-3z{AhcKJ$0G*#b3kD$2n$$#0w$1uTsWz^YiPO1`%Yui(7@{=`p!7f!eUkNu*Vxk zUv>`?``otsscV$4?ANXs^tlj~L(!K;c(h6%qiSfs)l~y;^scVaJ5f1q=7lQ$t=cLZ zi3J>cSEcNER7Hf~0M817hd-<|iWt_=`c|SwUF9@|R))`S^+DnZcUuAEPp| zp3W`>?Unts?qv4Y6BDx^|9Y8i5w0+zoK6UZ0p938htVI_9yNEEqjnI`^P-7ZooPZw{zVl1w!-7h{>e_Z4@ zDOG&>N2>VXs2k$>SzPgqJ2hgm2^?T62qN99wf~>yMhU|JKz!Htb)!Yss-{oqbnpiY7JI7@W1PJ+;)c zrnLT94ao)vcvcWZ4H}X@D#N=Dv|CxV%X7x6s-A(z)3kvi9UDkj5^_ipdt<&4`$#!snX9Yn-K3x=G%AFLzDePo7C~O5`0ozFtCa{wfuiMfy(?`go)z3&g+-Fe1mJ~HDY7iw| z?8Ob8lS-}93#Hz*{9rhH`_X#LCGPGmV;P~R4^8%f18fCB?3{#Rv{&ZuLk#dsKw&Eg z3t0YsOdvn-+bD5{g^g^_#|KjVjqb8ZI|F1s)Na`#&r(@s&Ux9yRT&)7uOYIz?VDx6 zsW)X;GS5ohB(If`1Kw0Os<7vfmo8=|}4)5W9`9N<|& z5IZNK8ts+&HHZOzEhs!I2n$$#JtmN^S^2%xuz5$#ivi`;jq0s6cLt28SrG81W=e5N zO@H5>wF2fuwWRuVjZ{%x^PD%dwt(@jnNrPCqdy^L0G`@+c1HAKO=qd`UPiXC&Y)PfngtH9TP^$ z3Rd=E>S9*P9@P$IroY)KJ9T_4GyWI+3!5^+^g5!?JbE;hA*aCso)rWU`FKq_i}uR= zbBF={c~E#(5Eiifipq zvc|PEmA655|WCNM9CJiGjs1CDXrS~eJ}O2@5}F; z@BR7X{{H+uf1G#sp7VXbPQGX6j(N^=@1oY8B}RH0#pY*>K+}tVUGgcBn%*pKyA@et zeRE8)WUXn*lJf&gUU}?*(=5F8}r5k%zUr-R36&*wiu4Dg?Vipeu9;P}rm zfqZ-=bpKQ3dngwFEIe@He|oO#+5fbDd10(=aB8e+x$_-Kv$mOTJ zgt53o_pbQhkoDr#ian;C9iKZ@eMFgf>byd+^tJZ1gLQ`DXFo2ANl$Q)kX{gxk5^~o zAfk)}*a|}7ccKEP@F&p+6t;q}fcr_PVFEk3y}4Gd_+T$}*y9ZCA6_R{NWE@=8uZ0QZ&kRs(`Q0$Bd2p<{)1WN>mUByvvgIpWMY>^~BKxOobJH5BQT$%p2&hylJXC~O5`0ms+J1oG=v6kWY=?823(z#9LxZA#bPNnc+!ZPM~L zy|TtXxN!N^KvM(%Jtot*KTC0zQsKrV^i#3ZzAmxtdw$ds-zSXBMrlv%o;YGZEeW6ORj&qaz{h& z+meQyfM*S}EmRx)Kj$2{E)IeIo^Yh zlwST>Ribd?5~xLK&F;UYBLoShRwV<={N)!)3{KxH{rIM_RBwwJ9Q&1?-v73gxPb#~ z1wlkUUL8Hqp3nD04Dcs`iisB%aC~n}ARn)Gy51S_8&2fL{rS}hsvCc=>`}bk=!p1x z=J^pq;tvk66$BAG!K>qRwCD3@AO`p|L18Nh3pjotCXoNnBC5{k zWs#l0_;~%(Wy|cQ)bwbmiSV}jX|$-}`tMF#!)>Q*RnK3tQ$1c$ALbctr+Fj5?)Fzx zTQVCQU@HhB^6}~zg!X)XFk*l|7ZkRFuz=&w!vyl}LMi?5rGrc6o#|8j?VdwP@tJMK zO;dtOPF7qf_ByetWKN=C@kC#zlDqaACHdmal9h=C#b<}vmyr4309!#2k&jo$Ftq3M z7a#`s3qi$X5f*U#a7=VhLh+o$Se%Hx+sgi@adnser{u}k|Eaolb*#zU{jqO?H2?QG zDb4m&ELjW=60!s$^6~0u8bp>N0qzxq!tZ1`oWf2bKw&Eg3%E`qF@c?Y-`dFNeP6+T z@wKOP`fX5qq8iuR{2iOXN z*gXlW(4NniAO`rWL18Nh3poB7Odx-_B)jRS{w~2FvAf`v=#e12Z>3<*#KFQpnrgzA zHh#isJpu))^Lh$3`*{d!1)GIV?so(x(^d+}T5y1^Ac)2Ri6otFYU<7{4Iz9{#H;iiNgYpACC#-?{oJkxIK7{S!zB9lH~oJa4?R>hh8h@XKJ-Y|(5i9OytwqD zhN}A_%~|z&8sB5aYO)3WHQ#3^!tp_k%$>HHWCu7%NGe3+Tqx z9O%2HyQte|)2PB{0y_NR5Sr`;2iOXNh@Iej(q6RZ^Ro~G{A^Iz3c>=8zaJCGx2nt& zystK3D_-1|Z80%n-_?f5^bdNmP4~l@_VC5*>m6aj%iD9AAzA*yH8Eq@+o$_ebN@XR zk{ob=tsscV$M>XMwCD2=A_n+*pki_e3pjp0CXgT4Pu*_zs{xL2J`)`VS~@#wIy528!P z&?CpeK|-n^A|EHwJcv{y0qzxq!tbOOPGKi?ps*E$1zaZ$n7~d-Gd>FjZtYDun2r%P z6K&y~HG`;`R?5Q89XUdcgHepLdWJBoLz^iK@L^AbHIim|%qpc4pc>LUd*;MI3oaUpPx(I(bUZ0bHss90T0URXcB1Gil z)p24F=|lo-1)=aexeTYUlPjRG6@&#`C)Y56oz%2`6*{X*=&C2QaA@*edZvCETli=o z{durEEBjqfy$>G19?=;}2hELQ@BUGyby6-c@w<<+>9#Xi^T#fHgVGvppPz*Z2%?n!un_I&dGjr#qv+SK!A zwdv!|)DFHLR3rGeqqg03QElHB&ua7T-m6(3lvYdLfCFp=LF6VOhP*|4KK~tJfd3z; zn7qdVj{gA@$iKThU1Q0WJ^6;2hYzj#E(aZzzhT6ye2e>0`OYKz6nG42KE&Q?&tJN_ zG=J%+k#H=^XQJ=qlaJsaA)g>3AK#NKg2-niz*Z0nzmu;&JFexp5~{|7O^{|gFRL0G`?72pZe|KsoU-`8CJ^tV$$@Kz_qWoFK5 z>I;j?Cq6iMK6$BCa_@1N$ zfBt{?JrM)^UZAiQgasVGHzx4!KeV)}!~KJvckQEtUh2tny!EU;dbK(1_I5}dE0#F-+1pocf(84@yeU1fCFp=K}0^jC#j-6|L?Dc7~uB>6%%zV z;Q0M8f&BG_ZtsHrt6X7l-+YC`_fIR@zQwQDFmQCFN{_k~Dx>TpuNlR!sQjT7ImKTu za-rRp$cK#)E51+O97+0vgM?^6L_WSJSq2eJB)}8IQ23n;fK%9sHYjWbVFA~P4koaZ zGV29Q=O{PU`rJrXJx0!IyJoQ)hxV4QS)?fM>1!%i_}Gj6c{zve`$11$eIY;|^=&;n zQo%w_27v=?1wrhdgdu3p=MO~;@P~oIRuC3&{1KQyzGP@Wf#1(T@~+=X>0**fl6UcAR+$9|w=p;YTw3y9t-5|IB`jTDbw_pD8gPHu=+6MXQ^=a&# z;5hj%vPPb=`>s64u)nnn4Gyps1hIP(#-cr+Z-f}&j{}9RAS~ec#+X2U<>P^Z zQEU90Z(N=(kNFzcoMCfAo^t(Q^NkMu=2i7g&3EIL$baW2How|7yLso!8_f&uy_UNz z+}=z~zyY>`AaaucPY^?UKHm&6z&8hlCx~GI$G5-)@}*mn<#TWLav8bosZ+&=kuGQM zE^zk9q+Ak)lsGFm%y#h`eZgt^2R)b9+V`EElO-;@mQ8jhKl->3OK^ZEh(Sa?ev4s^ z_I$n#Vt{W83QrKj0*-Hw3FIfpkDU>(81EOTqvbm~)X#6%pA6seN~`>i@4Mxjer3Dg zlj5Gf+mw9#X4C!rI`ne<#;l3=RexyiM;yQbo*)Jh`M3cfKzlx4h#25gpkhK}0mm0% z0{LeagnldU|6skYg?wFOzuwWZ5Yc*1WxeRD3sToFQ?QLr$vd`g*ydi*dySjczw`Hr zHa}*%J~rmXdg25Q65nxA*5pZXBy*=>FcvApYcVL(7_MgS1c^!!eGnBX4&q8vb!UWALfO500G;+AsYy zAi>}OPY{EMe0)!~4k95)fO`d@@H?3gr?8VyP}mB>0Bd)6}<)8w+|H;v5NGdj%k?>8B- zjVZIYk&R%A5*l^aVxt z`|b=|Lr)*6hEHfy&8f}OLDGj!hhlQ2?g2(p)45I3lBkrXyjw}qi4#{y$2;DW%ATu9 zr_}9}5(zlKRuIJQNr*ywK7S2jfWHSf*^8}08bD@ zdp>_7Vt~I16rLc41ss1fCXj#3XF}gsH$w8J{#|uY{w5Xl)4`;r$MR%UnNj`FUguIKUIcAR-?>C)&Uh#E<}6K`8uA65teek_ZZ0 zL0G_bvJDg1N$lAs$HDK5g$?HVO!{qoVb|LhChzMTL5S{U=HBEWCR1HUC<#mvnqKS2 zKJ=R-i2U3sh>fUbNHRFURuDw&1mBZV(4NoVff(SYg2Gl17I6G@Odx-4*vPuU&dv^& zOZ(XO*IVGAqOrq%{n#xI%>6U=_vE`B^v#FYZ(if(;4ivvfA4aJLu}Z2>%afb+moH( z09!#2k&o|5yU?D`&qNIHcZ0%K5EgL!y_i7$tC#Z%&wm|f-c}$q>zF&se9&RW%pok! zyuzWM`OCpM<`;%8HdCO&%m;7rG#@5tG;bXC%4}NLW^FXY zEb_aqdfJ)d8K7~q$J!d4I#aQtJKK)(LL)*7}hwMjuO%i4cmYEx`v zX5E^LJDL=F46*qgo!Zo%vZQgv`qHM71&bS*GsP(2QNiN2g`ZSbcX_*n+j0BX*D4r7*=Z^V8fxnE@x$;rQ?_hj>vY zk%0qj1wrhd1UuLYLIP|Bq3}CthEv!{3n**_VFB042~1!oOHQUyDa)TSOX)f6+bQPE z1bPN*WTL`G4cNl=oZ-fvO$=ciclD4Lem}#Ohx#$omum|&Y^zw(1`eiR zKZO|Jp9Y1kAS~ecXE1^M3u!@c2b@`qZ?argzb%##kI`mAv=1{Gqr}XH!)?r$el;@f zZBmA5$YoM(?lU$=hBLd;S{QN`9AGO5V)rDRM|(d10%CxF5frw9uz=%V!UXcyzf-Ia zc6i(rto^R>!~Fiz*wPhE3+GOd`u(VGy1Lj~Doa*wx~i`wJ@WQzlWfs)Y3BEYCTh|M zDY*;|uoVQcdlIgqJ)eIKF~GkL3R^)~!0~Tl0{OKo^v9p}F|R(!&{dj(km@8xUez!# zse1T@{?!ZA^Qs&2f~$h{MQpe}!A||J;Q{bm^ zUgkSdCb)X{o`cURKVfL0x!}ia7pCM$2s1unqoC=#6*E0Qk@*+;T}J)`2iOXNh%H9?@8$O7D>%Sb5JcqT)#*Fh^Z7pz1N@($uoZ*_ z9RD{akpDh1Prvo>4AbX9Q4@4?lTDumeVuT7ak1&rc01F()~8Kf-)2v!^358LKsK6=wN%R4QtspGmeiCY!z)rr{y;xyVAKLTz{SgCv z4N%w$!UB%3g$d-VtTS=!JQwRYPBBpMX!cgYkqr%ksA^VFW^`YmAEYE)mKNg}l9JOj z-RQO8*~>vf1-}h;j9g7f27m)>1wlkUPU1kc=ks+C1N=dtuoZ*_9DfKVkgqgnj)m>( z(RK~*^=*gi``JA^nP;0Wh_W00eg;Q0EOK>mQ!rX$?P+!{Z|{N1>*vs8`8m`9AC zpl4(}{BYHH^Ji|x+jRSmKe?~J@%-xV<1crG!*R-Z|9N`GWF$DiRuDww<0KlQJ)b`c zF~A=UDkfvFfa8zF1oCkbtv{M5omlVK<9X+7P-%~|Gvbv7Nj(lT5x|oYvqtn-5flY{W&H^t~fMKKHYSZ{JV1-yP@7v9$8Qz zpZL&QPRzjpwt^sHCpd`~XwTQCuPJ9 z9AGO5BJyz(JLE=Y*0b4(=R;2|{Bpm_%R!*U1V@U?*Q+ z?hx7;MNoC}PJvrSIi>8~C6u2op_X{>5efrFQ_~Z**v<=I1cQrb3*+aUr2ekz%^vbR z%#cWMkdT!Su@ihJB52R&uR;v)C7@!m8Vfjn6ef`W;JjMXNcFo?k=xatn z>ss2X>-CLu>Phy12IWHr_0w;))sv0jAR(I|A|Kz0V$q(@-;5aGZvhpPtysYE<1m5z ztgf(qBTJ2od%w3YG8h{O+E|n^HLkd)M6Ea@ZGZ8s^yx*mljju=8|+k^JFgCouNO^} zMHQ2HaFCD$h{(rxqC~Xk^OFz*{B59Ol8gl$e>*0SkCXWS^AAY@2MO5$5&3vc6b6x0 zB*c(36n-b^a0)xw2`VNTSip6%3lrFhb5Q|3DlSFdw=tSt+wTVT`L-98QD4pK^mbyE zK5dg*{yix7FE5l^EwL9hX4kL-cF5%+DYbHv2@Vpn8zOdsleh=%`TV_z0e%*!m}FxC z$KQtu}ookUlMBKR8H84n*YRBpyI}K0g;Rz&{8oCV5!E@eg4F`IEh!J#J~7Z~tpJ z(xc*Fx)T`nWHnJ6+96V%tk@o1W59dfVQY{^IewZk78x2e(sYmO7_MJ~&87 z0Yv2EBpyb4KK}?}fL{nICP%S=;}>B9`OoIBnmaC1;eqy@Npm%f&E}3bNC=+dWfJ^* zd5@r{#)t0zQ0btf`;R zt=T-M1B~wK3C!KDY{!}U8(IAfp^zL02iOXN*gXl=XwT=@AO`rgpkh*o1suN~6Ug^3 z?PvdK+dzS{(Gs}JuexBvf`xXc=4lFkYCR%3nJK-)&IHr%>P=|5{C2L}mhhS)s`Eojf@ zw;~4kCqTud4GTE_NlYNWV5y~6pWgn4mzRea(3%OL4-LNS<{Qot8yVJ^u!i}A*BNAw z*=CrKwb1a?eg;5s>v z3G77t-%Khea*Mnqr;HtE+bTErJ|NiU+#%Qas3h;P|EN4<$u4Ghp_*KKSEjtLWr2L# zFk3-^(jtaj00-C#g4jI?ooLVJUqTGJ` zT(gP!zABZO`f4lllzPqF`|HSj+x>zmzMjv7{20ep^*_%{)^%dZHE@uS>kzvq;Rf3C z`8N>*{9B-6avKXc{vAvp|NY1k+l1m%(j*;e)AsjYrFAkJ>7~V5vfZu8((*e-vZ!s# znzG}bNUiisq$%rcWyANrZmLsglajmOAR+f4c2B~6wCD35AO`pkLB-?|7I6H>m_Yut zt)q|S9^G6!$SAF5!OA1G*5muv-gNA!Eo7$Gb|}BC-M_!2CUA0D?d_g>YP+th)eX!U zU%TU2b1iuS4ifSdA~y*!2N@)8R;{wqu%Uny(6#+5dmg0KL?e3N}N zXhDAbitqw$g)jLL`AG$$C_(=G$8H7t4vZ_XnV1L1vi$MVnFZuEI7rAFh{(sQlPHLE zApy36Q23p^gHzbaf1t1xgauqDA25NPJl{El*|~TLGsVE(G4IU>=DxG8FhWaN@K(u@ z+HJ}T71wGB?{+<9{%%g9hENkI(V>ry!(MKs$VYI1tsscl30|E(qdlMh1u?+?3MwYw zuz=%##{}|6o?i)D2#cG%&unh=O-X9<)#=~#`cX@h%gVT>`YRusUS`=yZ+}}PJ$Nie zn%;Mx^j%Q3bj0HuQt|^FB;+SVg&zi z=G29`;?RG&?$2rtxCS)lR>kJ!PW96{=>E(qSF!1QF6j*p5~2bT`FM453L<@w09!#Q z{GWsxoWf4}g2Gl17I2;P!vuEHr?gpG8)(VMgv!iw)1$JDx(|gqXAPyZi*;GwyNN>M zEnj7GcT@}Bt<7h)t<9iT9~M*T>6eA1KRCcv5XA0D&_sJaUkfq79{?&Q+E~Ex2Vw&G zMMGxUXnk&Ta30dX(V=IB!}pAq#;|qS4yjYx8^zAC4$TYZG>DDr9kxtRXgXc%=Ma2u zYh!r2NfXfl2MHMjv3n8*qdlKL1TnxL3MwYUuz=$a#{}|SR;eBJ+3Q(;>YbpxsG+qy z@Pe#7V3$V4j0W|JeJAOPzsSV+HLD98f-6Cl-1m?usfwyNk)K!gy=%-o&-I# z=kxUu1N@PoVq$;=9N!QV$j48sm78v-+bqA5w((f+oi@v-rH>hAu=CZ<-1Kuvf}IWv zPo^F0>a}ytn~Uig)&X$rmcBJ#VJ8^{4iYjNV)rCC2az#IfO`d@@H;VrQ`pHkP}mB> z0sgd-ktv%?+Y2PWk@C3QmssL6g^pLFWQ3l)jb1)kf zE|K@UE0w?g0Z-L50SDL$g4jI?rfARSn;{1H=Af_@gasVm0u#vp+QWxR3c0}EFY%%l zX1-)kpC{DXWoGR8r|vYh)tDMG^gK1{th=zZIg0+dPe5P&olcwAFf_3Q2iOXN*gXl> zXwT={AO`rhps*E$1svZV6Ug6erOWOex}7fcBkbbjc)D#;HT&V9kQTvnfPzrPZTcIo&u-(GIo zOq{?0wt^sXlMq8((4NnCMGWxWK*huz3pl<9CXm11#M3Ed!H?EZyD!b}6|_&>nR%wA zbDGWxgAUu4%25MPIJjy!C47F^>S?mEMR%LxiQnPFoSVCpXyOSD5;6%Q^6^_7FSO_L zy%7U^A5byz#R87+hY93gyq-8|t8DDqS%-By_C9hy>mAYSOkK*PvpWpucl2BBadyb# z$&*Gd&^i0{%)SoYK_+J{zs>Zzbzq4nnG6mRG6f>?@mrj!XwT=15d-{bpkm^W1sp#B z6UbK$-?d~wFPpBzV@zHTzBHq&$61Xx^XdY-%oePEJ$&WNuBW@_Eh)A%?3(=J=<7YK zL)W*+rAw8vH!ddA!9hZ1Ktw)nWw`{AnMi=GAQXNlfp7{tnGFhCL0G_b5`+otyJ} zh6IBHYz0BYPVnj+g7$p=Jj4KhKB$<4Vgbhw!vym0J0&<;M8(T)qzI*M?MG$rdMC*~ zJyu~%Kd+bh-5A4YWmd^Luj?|=UHuu~x~0tEue!|cu$2s101gte5F+yN>bwZ;`TTIi z0Dm#4m@L5pj=vNW$hR^}t?`?*p|M$QSHsM^`HlZ3Yc=Y6o@!j8JEyVc>6^w0Q)e|? z^~`RJ^V-(f_kdDU$hTV!(?bt8l4al^AL=yPSA97awpgP=vTAktl|g0|yL1}Lo!WgXUJg(%fB#RrB0leLxxL!Tisu7% zlnZwoRFGBRAR!Wn$j5InR--+iAB7m;uK^X4wOGLM*I@$rcun|rLXg(>!6!9bArkal z>ayIOY2w-;X-5R5X|sKor}_M-`s(j|lX!ic-r)+2OA?CbJJVUmC18fCB#7=M$aeEKByd{QL4Gjxq?%->^zWZiq~1)^-{1AW~W<^A7pQ{+4qOl+lLj_Bpn?mbuJ~9dq4Q2uL9~ zNXSu$-IGv+_I!RZVt`))Dkh~^!12p4f&9kpv&?3hFR}Ic6>YO^b*Al@5x;GWde+$L zjuF}(Tyw?NsX5vvQ<7<$VYtEe*td^xdzRlek+Tlil4IZ?A>|OeC!qrE`TR=60RK3s zm{ef_$FIf&@_k(T4i3(3G%_#k7;D_83v`mvFZ=%E!bE$G=C3ds7k}v0*kHp^+A_WHt zkwHX0z9+c{5e5k{ghkC>lM8)@vrmssrRSWBrNZXSp;H*C zFn?nT{Uq=b#a8Cho$iIyabYq&!>BL)^4|_R-PT!fYW6RRoB#(2X@iKJ;Cs?ZwCD5N z5d-{Fpki_w3pjoUCXiqBdLiRBaUcDXI!L){HPFX*yr-6%J)qa?`q4{XDu})W-lCGW zo~N~UXVTYvG)2l^htosuHPGY?I7rA@h{(tHq;qJ`=buLm@GpRh$we&S_??(Q{*kl< z_Ii1=)Aa4}q6GmtPIKmc7FotIPNH_oX>Zs)r^mmJil%-kbc*jxaC*B#!Fg1uj?=!B zQYUf=93mHqTM&_tSI66E z&*$Gk4Dj!Qipf1J;Q043f&8YoeI9iP2ZXg14G-NFX&V;YYiH>41;Js?){jD46t{$h z&u|HSXW|k@F6f5US?vvb>w7%3hV}|055Pe}9zsMuPNGK;d4vSGR}c!nlP7QrJ9!EU z_X@%Su9N4Oz)ocE^BkK8nb4PqBv5-+Zlqsa`$L8NPNmaT&FQ4h3i`2e6IC{D2OZJ4 zj1C-qi=Mi52%Q?7O_LYk0QU-lh@IdhzCwFG|21NO{{~b{y0C!bzr_Udhotuvj5KZ( zC9k+nyXbxt#raGVdH(M2q%(8B$g5zy)6?s{Me$1%oTi)K6xFWwb_%PF6%E{`=0x6s zgM|DC5&1ZY@6n#m|9}|ae*_hiPgub5KV#y5fB%F#BD;h$ZUdE{yPlh>>wt>M zAS~ecgE4{p@hcC%9_pGB5p=q4`Pheb5oUT;5$;PLM0lsgMeO>bykcln-tzG4H4!@x zmPSljp|_&M#Xe$T&7%l11RNw}D8%kbm=r{YApy36Q23pUfK%9sE+}jTVFA~PJ|?ge zJMnzSNEM2S82gmb+N{hTYaPgDMXzPgy^UmV!(Aw3zlBuXI|WL?^CqKuSC52)H$?4dm1I}Jknx! zvq>bqsd?LORfwbX#j`(+Qzp%m)~r=(vi%hz-6u$EYPg-)M2x@zwt^sbPr`V#=ktvb z1AG%uF`0k`9N!cZ$RB8Orr4*$sp{s}_~Q>kw^Z%>*Q;vpqk^i;Kb}>~=AW!u<$CeB zLTzSMjZapU>BJvZ&xMn#qKBWWB4*$qA?6UfCt)Jm^Z6Et0lp=um{?%}$G64=@;~M6 zSLze{FT0iW&aTTDxv!NZW-nalvd_TeY_`ty1^eo5>130r(fc;~sO@u3h==1n*qLkN?8MLR7Lz8ONrzY_Qy(3) z=nEJBQ911c>Giaje*A3?eIM?un$@z6UU;FB(#uSw>o$$2qLRK-gaQZH3WC@@2_m%T z^PLa_d}mPD3c>=8?}`cJpE>Ht{7g7R56I4?s+CLW$}vOfn7B52z3~cqd2ScoZ>SFS zWbav8({nX#xy^Cb<07TxPb#~1wrhd1P`?5^F0v*{7Im&6@&#G-y0LiUmI=D zZb;AByhU z#ySxnaDc5Kh~1OmhxUB_WW)e}3Mgy^VFAY%V*>e-Hz{pH``3Axi>2;~J8yZk7TSC4 zNmlf{+?3+6OLd5+)BYOwyI4u#RS@LGbJiiG;=ZQ*=&WpO| z7V=!QdEPNow|Q0<+ve3hy&rPQV&gm#2oA6n1QGf8ImJ7O%s~R&D+q<(NidwkPUeEb zy@IfS>tr4#{`dbxZmKYKS*Bl-v*(LQ7M&vWGYo9l~M*RM=7<@+3fr@Re9u) z{;W7uiPb64mj_<%BPa900qzw95j(-pDPd^O=Py7E@E3x@y@IfS#9Pc0@_nO(AKb~;B+^pDG#hh#e z2iOXNh=8ABPF# z?_?XC!cLMw;a)*lz;%*>3GBoo%S~9cF$4ake=gJacqRMsk%(Du(#kFzY0JJjdWv0J z9m^`kbg;X^D%ijUD)L{))Z`zH$H~bKaDaOSLBvk*m5_$^e11A&fWH$Iwt}#LOmKj$Ac)AvSHd2&=kxa>2KZT^uoZ*_9Dg4skbm-Ai+%rjZ<(6Oip=x}I_v=9 zCdTcq4I881!VE8&4o~saWIjI|!k)J2$<~fp&lV_WFwB5)EZGkZuoVOm`S?mWfcAWT zE@FUx5EQn8uz=$q!UXb5Cibffj-MoJ&kK}B4~~_^p1v*J8M$8;*<+OK;+Z;`!l;eX zm6>s}J^Mpte%aS$mfC-%1}QsbBp)1LD+nU;@s)5G?fLv8hyi{fC~O5`0mm=G1oC$* z+&Ur1KED1#dV1ZSpyK*-=^FLtHlMGbacgG%uOlDo>urzLS@f=`Pj=W--_@wz&~7`n zeyd7zJt+nU*b0J(e0(L8qCKBqh8W-<0~M2UEa3PRm_Yuq^V|1~w;EbJIbdwj#y+l~ zN8zEW%ZtDK`&l&L_V(g~d!353_IVXQem0@FxB6i?ZYetB9b8N*!9hZfLqtCQJB})} z=ku!(1N<6LF{#A@j$elfOki5=y%Q$93q8CCmmfPCwgKJo#z>*TS$ zXsTiIZF#D$t^C%jWQxea0k(o5Vkh`YY(aZIzZEgSKLH9`L0G`?PhtZ3ft{O$BwxyA z7W}2ui~CYJ>vAcZ+wMZoUw-t-aznb`Koxe%ryxdJ5las~^h6lqbxEf1=`c;&!2z~{ zAR-@MiKo$?&+kAC@XvsX$yqGm_~$Tz{MnJN(xOYcLI=lJvWuq-1wB+dWGhw=65N)| zV)7bVWZxRqrM=#56nG5U$?P(GB{kj@D?4$8VaR!KkdO-yk&my$i)hd1cOnM(mq5kj zG8S zA$Pz*LheFDKE4v~p*^2}A2Gmx04gRAv4G=0!UXbhszq+L${z5vluIKQgP!VTv1x~L z?e2lf>z5ZQyPR9pYpUH!<&#O1m3uBa0mmqc$~@j8!E4R@s54}`7zrpvy>mHSSer7 zH(U7FUYpK?-zpbZj+eV%Vd&tCH7t1z4zLvj5j(+GLKoWe`EL;e{CA*Y@*fs({P&nZ z{@Tr#rPSjV=BlxU?4{QuW=X|q*-7uWj7qi+^SiYd3;#6@bG)xUdurANW>c3JtF=gx zUHEAtOFn>ugnWdEe0(K*LVG^{Gh%@M1yoGFVgbkhh6&^=5Bg&}A^*Abghy}bsI%I# zjdv2HH~!hkmU*6$y2Q_viPwyj-t-(UBX8AZ?s2iQ1z`o!=AJe(@*Nx`i<)XuJJ>fNJm%bv!%EH#(9?7_F| z1j{mOBaR)Yi_1%>OSb%1cYKL<-8pG#9r*_i5~85S@$r?Q2!H;6_&wkh@|8g0*3ekM z@q1wc`AeIJYn#P9II^nv$Kl|Gxfq`iYZ5$HPw(JLYb^d%EJJONVLk z5f5qP$vrhrM|5N?9pf=RetZWR4h|AB0%G?h>Y_cLuZI}m>w}8PNG#y^2ADwp zn5@*tJ{Q#IpBN?xajb9)%}w_SUG{uO=)fChp)-f&gu=7kACu)HLJx<;gw{M_LOmYF zJu3c@7)lJmK|)4BL_U6>IVFgUMnVi3gTn7*ES$nlj6lU?92Rh$jK>6aB3_fkyuZ>@ z*r(8fI%7SNx?}p8dR6&}S~GPSeKBhS{q?XOr%PdLNU3G=h*ej)JOHe+y* z5EF>qlQ048`FvBv0N)H$Ow6%><4?o{@+~g>*R(aKNW^BP(K^xRMB>Z+MdLTV7rh@m zQ{-i>>ZE3_Pai!Z6D9SC6|M8vb{e-Tk6t6n6cGz>kPu6V-IHL2_I$oIVt{W0DkipA z!13)cf&3B2yV$#$&s}E(Ty?pbrtUT&)!((<$jGfZ>!52~owM7P)B+c;4ZYnCFFWlz z%5{cYUWK9S+Qbj8#2y?Z!~tUWBsiiypD#cR@P(jaLSX^Nr!j$iQQ(P-u0z>?;0+c2 z<3GKE|9;0T;Mr%@>G99E2K;)iKmCAPqQC9C2LbO(jszTjK5_cTklq2$icbX)5jaSQ z6U6RGm>NW!kpNpkDEv-b;S_e_1`1n2Sip7SfeGy7=@2c)U#sI;aj5}S;-$=9(MYBg zE-e>SoxVpUnVM4xhg9U%G0yVBg1yXx*)8nrd+~C;DBT_k1iDM96glIn>C*LYiCBM+Qv|#{;qVP-4$WsDqZ^L z%qpt#bTHi!J(Y6U{DLBr!2z~{Aa+l}RJ7;w#fSm^G*H+I!UB#TfC=Q6sZDIyKeit& zYt*D7n=I(R<{6Ze{S10?k2}<~;%IuI$eOD2aioJQhtl~8ne+wKT56gaJQ-&?IKWmA z#O_I$iS~T{EW`jm5L8TNV*$sXg9+q^Pr6%w=gcvdx?fLu=!~lODsF=*h z0*)Vw3FQB9>e)2+be1z6c*H5dpw)Tag3-=P*1vIHqPf<2XSk}%4)qo%ws(hf?@49O z=GzTiwyQWfFWYg~nS_CZge-uFeEgiY5bgQ=MTh}@IH;H`#sZGN1QW>5KH=YXr2ikE zs!u9D8&2u_9{HW*bEub#Z{F(jK4s1eeDiPX`G}&&_$pTP^Id!(!FT`lgFfpDZG6d6 zaFCE?5Rs3+F)c@XK0g96z+V9>CXrac@mFF3`Paf*-+pvh6cy&aes%lHj41i^pQ|e^ zs-h;y9HX+LFGU4vWUS87&5G)pyCq6Z@oUtvzFJW&PYa_60S5_L1rho98_S)4pWLM1s7LrWR|v!Wlm>(VPt++m}N(7*|A=u*iC{V%-xsCvez@`v(L7Bv8nU- zGq(aO})J28qRf(W43Ttx?AHB0-!qHm^El1yl#}^hEq#PAbj6ACS=rJ7k zI{KVsA0>OhK|=OIL_U5_oEAi~kPt(%QTUzggHzbaeo!&V!2+(61DL>0dbCfHd)_mV z=S?3%ml&<3atCFlCLCv|5a>{evA$jM_YT?we8ZG*d zhqR25>$ObzrP?xACALNJ-Q2dZJDjjC%$QJbny`>yS6WmcZnRNa`IG#+exjSgHEoMxSh=C*mp8K zTJz-2;Z`RFLwCE-W0;_1LKE+7U?s`qbnA zQVk9gQUekB_&L!(h}0qhwt`Ujoz%lA?4$t{wt}#L>!b-2*one|LVL<$AsbSuB3Sn| zhz)-lCvbG1&aS=0yq)uoVQcdlDG5 z=kr;_0ACI&Ce2vD@mnx~{O67WYd61aho&`S9qK-HIRpnBb+~P(@A%i{mxGAtE2IkEXtq!w5<7X*7CRgB&)*s zsg@bz6s$-GI7rADh~1NL7VY``bBF={c~CLAfCU`?A|{YO$a}r=>i^TlnTOT1hHX4b zGDJCPpjoC4C5ooK)^2Valgd=m9EH4Rn=7F>IuuERsC}@LObxpodsusyM472L4xz}w zG0&9qJgx$fW7b-h<>U))~tHM8jjk4+mgG|i_MM3`MWYhgZZ@^Q1a zmu}{LRhnj-Jax>^>c2G0`#TgqZ!~LpV8}+Gxz{kq8S*zr^pYj0ZzhQaDY@0)ZUYD5AC`9zYzoc`=F2t!U2}wjt%55-8RK}O8sZq z`mqaK`zdl{5}yXwv%_wl<13BbcCGB|+CWvg-ktxeOe=r6o9>=A*P~X}ZZ^Y;+{i<4 zfK(9F-jnbc?YaC8!~nk&G>|;O0ha$18^|}9qBs$K$z*c0rC#N_y)PXkpR+4(96I9Q zGvIEe`omNQopt6_k8<~&ahjS@l{@WmrFCp^RccgA73l&8A$bP1_ayv-_FVpR!~p*V zXdros11$evY#`rv#FKO#i{{}QBtwltzm7B7AjvjL3^`~d&AMY$HtC5`>W>>nNrxU7 zjr0jJHpp9Kocbfcctu39F?j_JLh>4F?@0&=BX5uZsUQ^YChy=8Zt@-!Qb9PtZt@Wu zxQR#M2Zft-E@SZ9aw`1HXll=iDRfD~7RtfXo?iL14}IWOhH_-`Ovd}r6#BB0D`gmX zhLM<#q{t_5fK(9F-jnbJ?YaD~hyngLP)G&g0L%Y@4dkD!ESGId_^#AkXQBA4(T8z= zHdK*5PM;ak_pM^gHxp*yl@p52jG;`aIju}Lb7R!?bCqYhYm}rL93T}0wf7|aM0+m( zKg0lEV=(gjK>a^{U-;wy@^uRQr;10>^2;6xGS~YX<=fZ4mUTxQkndPAN&etrtz6Ia zpiI!RU7o4ES)MkiT|TaMggo=zQ902B2O-gd+ItfEp*@$cjTqqf2Mr`TIKck=1F(TV z|HZJD@+s~|C85hIs%M4VkZg^gBzct7E$KHWU6SWxP}4EvQuW|DZIZttq>`C)Cf0~% z`b)~!{39U)!9hp{L1j-u3K@*{T)r-1fIkE@kPO8Emam5m|u2&pRvn%4>;?;<=P=qjYYH zsfzts)VC2@)K?RGYU-;fDqWmQdD;0N(~Qkc`FwmOlm?$WPTBSM5K)$ffK- zxpV#CMwipKZCySzzjawYCC%lyO4rrK_pvSe1AGNgKb>^%+u>%Jov4@I${Kh;9?YVph!~lOX zXdsz_11#SW8_37M<1b1bpr7hITu*+*4s^fXy%9nBik63Z-{Lpud!C%2ck;NS{>tGa z_4`fFfzK!P()hmm#0eaPWGYnT<4If)My4Slg*c;dH*tYSxQQ!hAaTP1b`y7O;3iFX z%ot5$sdDn8EsXGLy3*=N57XS-z}pS~_dlZXI+OG08gId08qD$sd5qgPb5*kAPIvc! zawXw`gOE^AaT7d=G}?3de8d3X12m9$;sDF{!Upn7GJbR2k^>n;L&&R;E~yYnLR~Yf>qUZ#m12KUOO)e7)c- zBXjTI(#yLe#Z4c!gLa6w`Wz`;@M3(ad%mhPbW@6W)7;Ebd%?2OW4;gJbB|avD7TaZ zf`gFEgNl6o#=J0$1R()ZK`7i!Lf{c@G9MIDK{&u}vJe}%Ny_vKSy^p1^1jN7@f zbgAn}|D~!m^7%5q zJG?9PtNCNX;eYsS2;@hbd|{%W*r-SZIKW*&PI)ldH2A&?C-PckG=`2TmN=LeQLly^_z6h`o+VN>h5@j)DMyR zs)miq>$BU z&*c-u0RK18KqABemcIrY$bY`lCUUo(ejIOiO?2JKfpPnTF2`IRU=i0b(loYphDY2z zSy0TNcEh+o_Wv3?S8W})?dD(6W9B@HA#1@wNY+6`KK@Qx6h_t~0a8II+)XyZBiv*Y zD5QdLfZZeo8@NgC-B6Xusx~V4@gAjT_D<%f$!t|h*(;_i<&f&Mbgio6yeD0<%ULyi z*nHK-h%(i)p!F)MPp*ojf&-+2pyDR@J1GtAx%@4N0sdA{NCn{l%TLD!@`pa~QMK9q zr}8_}1%H7^t8)`ns+NW*_27qk>O1+n)YbcLhO3KK@S1LVGSh8!^D& z0~$#7;sDFf!3Ofvk2hW#EHL+1Pb%~qRONj!YqjyEN%P(|4j8xUQtMm8O9eXGg4tb; zm-d%+`yE*E^I}GE-o-tu$M}w&=`1zoLqyPt4ejzrHKT3DN zlh@IUqO8MiN9tDY=olFs*cse3x}&)JXy-p30iBtzoum5}Z0Jm!WfwI+!@l$Vjq4pD zr7=n6Fan$}r<+RPv1Mc-pcG4r61WLE)6@8<57(F*q zhkxuvCpBBJg}!e^(WmuB@N*=;&=Tuvnj8lQNCiPfKAyxAXwT)JL=5mxfkG+>2Uz|Y zY#={p;34|E>sF5+7Nhy(?@W)X!bbj6iP~fFg>fE{>mGU78f5beYtudQLl$_nKkfFI zU;T`~!@AIeRDc7df}kQFPhu6?bNSVX0lowjQb9Pt@}<~7{>|8&xVD9W7Lhh+28LIf^jgAS5cN$j6fy8b;JefK(6)cawT}gqxfP zg;Wp@u$x@K25u4@6hRrv9q6n#MU=kPPP#f+n_iw$Nxv-<(pNg0=qq$z+UKP$ov`yh zUC{Ike^*@@{mj~$Pa44iQbAC06FiBR(4Nb0LJaVmK_L}{11$dvHjtk$JVm=P2Ru^4 z>iA!eUGp%}b@9;H@t?;a<9!|#mcu9NDK)$+vqTit369k*g_WEzxa8R&h%^<-9vpT`t zlu*H)oX3Lg;WGd7WjTU{X<~uo)}ZO@GiM8G9NPt?1sot11Qq#s65G(8%fEvd;NJy> zR1glZ{Cn6y{&AZfvBiIHkLOJ+jSI1_j{jI?5g%gnApT%Va=iAqKFgdFTjNTPAB*3W zp^R@evs{*(o)}**{25RF1_ww5K}9}(PYVkp50H>T+EKWhJcLKM$sD+mYJO**iF zn{?>zQQ*KLXr>B{3QKfvTrK_(SsLHOy(|6Zq(i z9iN*-kxp=cyMmzho`k1p&*gU^2KdiFAr*uJEdMz+kZ9a25=abvLK3!k-nwApW7v0%w`1IBpS{WD z-s$lUKBGVIy*0&=KEu!G`1~69iw}7R4v-3h+Itc{pgouW5i!931PZAj9ANohuz~!E zwyWo@6&?;QoYEW=x~qSP>{{Zy>COfrt(!xG+in_!jP)!G-jrn#^5NaY;PIU^LcU%4 z6r8wAD};On2S^1$?L7%g!pL_dz+FKo+)cXS5pL203U>wJ0K3V5*uYI*RoT-O-KQy& z3QejtvW%XtyM|{On@j6_7N}O2|4YArZm$}nv4U<0mh)z3%IPDKJk>$RQw-72#ZCG^ z?L7&7;m`k%uL+NkuLTNs1>pe8*Tx3&lTO+wzvdOG9+gHidY+7GrTjj#P_vaso7~l^Ag;Wp@ zuzX!?AU`jfqJo?})z5=!R5MI>sDG%P)oY$h)e^fLwKU?Px~=P?YWmRM)p>iR>R-b8 z*Tr_ZtMvoAAQc1-kP3p@dlK}}p3B!q4Dg46LMjLcSiS)^kpFbIZN2&2_v-hZL%b%7 z#Gc#w?f0sW{>>}?_IIyEwP(CGj~wrH%R=ngHGio0(YxQhvSRjoEiQ5LCd0u2QbADJ zlaNA;(4NaTMhx&xKp_=`11x_eHjsaDdeyAe9s6cIeVlcz#Q4h96Vr!Zca3eiX0tx| z`pHC#>v;~Ru3al{yV`H~p6gk^CSI@2GrpcPrS>{81qVn4K}A0P3%EJjbNLpC0lp15}djD<(I$v99*1>pd@i7hs8 zlcT4-nP+nxsa#)*ceYrr6m{O`2}gubC4%?L?{Yp<{Bag_YGM$THo?o)-_($IV~Z!% z^tDz=egy|e1wqA4@a;Ge?YVqA!~owO6jDJr!15iifqbu+g|5N(tmSFlxh~!d!(;*a zTCT(A{3Y9bQNzu0)DYJbLw27th|rP;hHJZx|2o-aSaPFFi=UqxnG6n)3WAD!d^K=_I|xw<_z_`-<`x(N)?_q|!NSOO;`gw6eZ^Pu0SU z4Hdq_!mErG&noAQKU7se+oy7)cyJYQ0S8D0K}9~k9o^8L%Xdc%@Ohw+3c>-FPh$i5 z!c%+t9UG8QaK9!$-{MO-s8K=wlN$w>_e2%w-uhhdV1qK>JYG_8f6Si+p2oivKG?u3 zn3r**fbhWqQbACWk8j7NkP1Qqq=Hbmn|Q+`+{6bIQb9PtZsLax+{CV8uj1}}bLRZp zg}jJ?0xBVF8LxD+fa!ax$Gz%efil0UP_g1lIpy;#fqHe?nR@zt231p&#UuXU0I49T zy(eKh+H?6c5Ci;~ppXi}0hT`-8_4e*VDA!dXe4iL-y&bU*+7x``$u`%Wj#fYmc2p{ z5~_H3-F zAB+v;H)ZSF89uw1dZU(h0(0j=mSHoNPY4c2tEg za+2zHJ5Dd2>O?}o0a8Iwdr!gwwCC~{A_n-2Kp_=`11vuj8_3^S?mpC6WNoFr*2z-V zGY7QB(tUA?Rl2c`)soQtR=a8!S&p2&&?>f(vI?lKfY0|Vrwi9ukuY$8R1nnOlMoR` z!jS-X1)*>^iGWAANhB!T6@&xqCehfyO|Bf-O9l0PM-{J#qaHTD=Os<9;5}M(RMGa% zOjXg4=Dw$~zpCfW5oW=(E=ET-SvA&BL-p&MwJH(=4scfx)ZUX2hxS~4JYs;q3>5AP z!U2|_fDPnp*4t9{$=j68ONUWy&KZoBMGjAM<8h|R;y4o!QOFd=`!LGJn~YHWTv?K9 zqRK5=rgTm&U`Qf3z+FL5dr!hjwCD0yAqMzKpm0|Z4zPTJ4dg%g`p8xA;fiuk{1!z9 z`KYuJ4pf>P8_dL+M=A&PF=xcG9SXY<@0BG>GL@nclbEWy4~mVZCza$kaDcmlp!S}G zHE7S}uSE>-*MUMR2nSgH25cZdrp8SgobDkn5r@eZWv!P#obW()^+CQoH+HoA=GJQY z$N|60KAhev=d~}Be_Ycl&yLZNm%q=Gla1g2sUWEANq|%k+H?6Shyi{oD5QdLfaRxQ z1Nl*7PTQKOc1pHg&aKvee_B#}*+BBsrbSZf5H9JO|4m|ex4e4%8i|CNeL(U}dsxlO zJGPSZS{Ec_3phY32rBaN?YIr?x%_m*06zm1Qb9Pt@^@eZ`4+t9%;x7~MfU_#OZdsb zpwg1XJGO|TYIQ_;0R^J}2Fxp&aWYiYxq&CTQ&|O{Z56A}3x93T}075Vsfj0_{0 zNPxS7P`I1yf=9T?Zcw-@2nX0rvax}ioSYTszEpXdm$=teX;aE$0w?hXptBX%F z3%Zodr3yF#kVp!GD5>;VV3D+nrXf^WwhwCD2oAqM!lpm0|Z z4zT<@Y#={OH@()_dX!@H>qYXUx?n}Sb*p^4=?=x=wU&w@Dv^RZJkE8Nzky;U&qPt> zP^94ZD|Ky4(p8XraDcmlpdugNj)iE?4*OH)EJr3czHYh%TR(k~hnQc?^KkP3o| ze0)2K(4Ncx6EVO)3<{|r9ANoJvGKorN##DH99| zq#P9P3c>+)latuMO;%|a(biX{@mFm7g&%uv3ALg-k-p|>$ZTIhsSbM$R}WjWRNeF{ zS(TToR0oW|qwYT3pk8g-w~m|w2e>N;YVS!ngZ5m01!90-2?}=w;Q-68#s=~|O(b3$ z;XZ_=nG?Jf!$zOi4$kt@4%>b{+HuZ#udUGy<@FmHimczCPv~iBIM_$$LV40(4YMxl zT_6&0fV+aA_MQYO+H?7}hyngtP)G&g0LzzQ1Nl{xe$4YNnjaKfk`#1pV*KsoWsURn zS14`=9outTR#MWk#P)Pc>df&i`nwETMYnjZ3q(e(#%~3!L=Fy+3WCa>gqSsJBJKVM DNAJx# literal 0 HcmV?d00001 diff --git a/code/experiments/exp-FixpointExperiment-_6511565650566781-0/experiment.html b/code/experiments/exp-FixpointExperiment-_6511565650566781-0/experiment.html new file mode 100644 index 0000000..5c82edd --- /dev/null +++ b/code/experiments/exp-FixpointExperiment-_6511565650566781-0/experiment.html @@ -0,0 +1,7 @@ +
\ No newline at end of file diff --git a/code/experiments/exp-FixpointExperiment-_6511565650566781-0/log.txt b/code/experiments/exp-FixpointExperiment-_6511565650566781-0/log.txt new file mode 100644 index 0000000..a6561c8 --- /dev/null +++ b/code/experiments/exp-FixpointExperiment-_6511565650566781-0/log.txt @@ -0,0 +1 @@ +{'divergent': 38, 'fix_zero': 62, 'fix_other': 0, 'fix_sec': 0, 'other': 0} diff --git a/code/experiments/exp-FixpointExperiment-_6511565800569721-0/experiment.dill b/code/experiments/exp-FixpointExperiment-_6511565800569721-0/experiment.dill new file mode 100644 index 0000000000000000000000000000000000000000..d6cb497430f9a163241629d3aa246a19b5ecdc94 GIT binary patch literal 47536 zcmcG%d0fr;`~M%I6iOi#O7^YobSiaD_BB}!hQSe%gm9i6!{Cgp5iQn|E&DDlDxGt( zgbZUJ`#QG9&e-?gv3Jzy{^n{JjKLWMnq1T7%8G-BFAfO zI{n`dH5ScgYRc&}<(m$yYGGmVf2Q#0ks8Z^)e#H#m;3n0{pEq)-g5ue0lq$(3IpxT zz2k?+L~1GybU?Io^puGcqQ`6hZ-%DQz-ma0kDQ_nkJd(t;o9g4<26>H76YpwJZ?f% zcuZt$?C_|_SdFz>Q(336X*#enG9#mZixg4d)!4#ojmW6zDdAHi#RN^2(2->p1}11n zM+!|X5XrXZ&=#L-$-=`*a2!7n^|NTH){Xd_nR^FN#18bmobabqCf{2b7 zJ}!LXaG{Nk7>AFxrcP6O9y4j2HhQ=a!+#H-6f;~qT2pVX#!aPhFWXMIh>Vyp zK2|FxMQAnk=V?4tng$VN)i&ctmKE7(8ircT)iml*ZiJ?Byrzjt)3j-5xzHMOHO+n) zM{0kch{??dmdE5#ewr4c7NOQ8xn4))y^srcj&p-7JQReZTrUlDYzmtvarB1J^N8pTv7@1GG* zM4mqSPoj?X4bVs9t=0I97+3)_wfMQ9@eM6ENvDxD9ql~YWwh()2BXV97{Af@NaQMw z|BsI(V00_6)N9nmclN|k-(ct7zE^xZ`o7Do=Q|+lyieGIi9W?^ynIp>(LVYa+kD0k zJmh15@_rccUdZ={kABv%eh&I*0=1gfBS!m%mIp%6PYA(8P^dJ@9|$332m#+V+O&Ey z*CyZTTjf(08{-2Tsu#$6&6#iAa&YCx=W;5yx;4G>r?~f4u^ZOT{}0Oh6U42M_l1xC zYp7#A`)Jx|HEoGtIVm!g8u#KaY0Mch6Pi3XS@^g^wG~c*1zmBHb~P&tLaJ- z?xWjJ2;GSgs?zlMfe==P@Hr=RZ+4~bd#`*}?%g@vW$)7)`!i$X^7e#{I^)^F`irM` z<0`wa{Slb?Ve9NnD(_to?~Oct^s|oj?4#+a)%23~(fcQaK15KdG<|;{^eaPfX?~&H z3;mXIRX={U*cLZEPImueT>rUa<7E2j76-OIwzy}r)FOLTy|@DLTO5`5gNXYgKY%{? zS!aiO_R;j$YJQRSQC_VXfPD=7iR4$33{q(Z{~#GsMlvP%NYL3u(}Oa)-Pk|#b!B}@ z;|P82A#?SEHcr*=XxLtV`Q?YgW)Bkz6YF#+Yyst+@qx%Y!$&{sSbrXUG-|D8sI-sp zpAd!-VYo^&;s-)R8N#}g4fj;vTXoO1++Dk?CcoYF_kF9K17{j{-o5tcuDOmicXt)v zb`@`&zpJOgsZ4o~NBkc0zrsg9>sW7(KAMqQO{BDsQ9mI>5n;4S6a52WOc?@xTK`Y~ z(Tvq<#!36IRBK|ekMTc|Od!cbl}7V}M3j-({d&@{=I<)T5BYtJ_78d)XN+2Bu)g(1 zF+5=?^0zbQqwtndcZFAnQshqnU z$~)uC(?|bC)Up0F`e>$VHPfVhO#cZ%M}$9Ani)S3;>r+)IUjHc$k#h;%-Z3wqyG$t zz#*m8Egfnsp0lR%lH<3kEV1noy*S?8yZWWV?COb7-Wi{bJbm=DZZqoHM>A8anI-L` zf?6{h`HCWabG|PV=tSCbeb?>^IsnEo=bG?PG!3Vdw>i?VP z`t1I3m%<&tr#DUcCw=~Ti}VRI54vpmtB&hLDDR9Lk$(Xn{j6g>`)E?Nnlx!271f%R z*hl(LB&$fWTBTX@gJf+PiDzenvFX;|jR&fDE1FrSD=Rw}DQ|a)RhHb^5xm5%oUy4h ze(tf{E<>=6S|AU4 zG*jMW))4uQ+~)H9WuN>M&kOw`^V9tLzE1G-N}uQFZZp>}Vb&bK22kErh%-+g{j6hs zYxL1<(Q39z``Gpq!geC;P-%AlK-g7=@I9)u)~)UPYo$D`Tgz^$`|?>6Z!S-${o1auvc!($yYq96Bm4{WnPf&?QM!?@^;GG z-C~tZp}dzOUW)uC_~>UH>)A)MPpiq3_L2V+LIDx>t2Bi_5cFjT_DdSb(-YI=ZFf2Q zuesmHzxA0;{$q>Z$(s+aC(l{lR_3~})GvA0MtSf3m*t62-VY+)6!|gm(a$>8vyaB0 z)flCH6#ay7fCvXwnnOPj4woS;o7E%j`#Rq=`;VomkNtY2>dy~b(cZ58iVi~_uGn#< zerkGQwbb&NyH~`nAGN{)%KJ{l+auo=KKfb5diK#2Yc)rteOReAN3oA%KarG>sCr;scBSo25`bas}!#c!0%_796_i1IS#S*30#V*SI*BU9k zp}booULSe-=w}`4_o9#Hq*n8nw2xCiA)F?{8I|Vj4}^1N2uTOy3MSqdS`eFSTaa*H zonL*EPhQlYF?s(LHq9ULH6}l$YR~)@177BJ-J6=%9LoDJ#9tvl8b10LqK@_KqdBkD zT#)wh_fH5HiEv4!x%>m+N*O|z&710nPoGg=-fx?Go0%yYab4eL1TTusnBTzFeP7>9 z_g*IlxEn8}taJG|AVUx3Jr{B2mGIFYf;xZH4?`c#RjuZlv=97Z^E&o%<0q1vB)O&1 z-2Opwr;H@()lkLz@o|bXO+AmeCJX=@c5^AZh7-nPmy0NF;+NP)C-|GJ(;KLB;7QO`b_f3%vr(mw9}gm9k-4^*0mKM+dG5W?Pi`Z+q(@;g%}U-q?* zo$Se)Zoan{m-yE1)>UR1t&v^ZA0Shd+v=Oyt%|P_$~)uC--M6;Z>VEE`)K~vY92}Z zc>EK>6CylSX`cN+cwUBJ|0>UZ=;ai9vHP~&gWUefXIuW09NZu>d1bG9c5xH4?RFoD zw!62iSyK2rzvSys-Wg9to<90n$9neBywGZ1O8cm+*1W<#{`-mKHA&v6G;e>9yelKw zTSKk%y4qNI{c=;qiQ+kiua|ck5^v`f=KT6bv13Yv^7qvF%JX~YE2oW_Tc*4-o{xME zeDt409qT>ONAq5*`5^7%<4*{mi11mZ`SJtdYZ=1PZpZyCH*NDD@+8>*>tb(tnqg7y zuzlVAv^z57sg)nerzYv;X9hNtPfMKbcMi%ssUV+eMCic){06vr6t*@g%v03 zgf+$N*Uh3bLL{_-s)Q{KCc-LAknsF~kBSR7_bV>8&J1o-t(xJWm4_j{xNGZ2zj`X# z%9|@XEOyhoI;9&N7hW<@d2fUGW8|aYqhEnK)?Y*)Q5BuFq8iR0%M*4SYtCiQ@!+Zs zRS5?gOk9pkkZWqMX*ro!OS1#dDrEyE-;||&d@OsPyFk|b(BD3n%VlNv{L?$@;gZ@i zi`~((QYi0N5O0P22l(h`9qad^kEnspT2T|Hw9#4|YtH4w@!+ZrRS9PrOk6HZkn7gt z4arL)RwO(6#UvYcc_g==cs5D+E=#&oeqPe!T?>*rZd;HvvgYih(kg!>je_$21o7L* zYv7}wb*yI};fl^$Q3t2AQCqdB%gH)Xk77>fh7bwep(;_I1{0wN6D0gQxt-B&#bZO% zi6F)IA$63qzFbtyuC~LF-esBbc-%4LAw{N9mmFhsJLPAb2IZY`=INu~LS0A6diD_w z&{-=Q;*>Vph-1yU8go3jnm|>eDGesBW=xQ4*w(ZD@&#G`QA2zBKZuHwpSl*88+B}N z_J~2@^1kg0$0duFeU3Y9sJk==CuT7Qmn zi^OMX!B^5(QhAR;ocX=*(LWh=8K`F;;e*av;fqt+Xce`Pak5VMQOpVD2$9eqsuBS- zmm;+vsW=IdZ*%h??Z~F5AG^d-d_~{x63I{4E?Sc``2d$ zmG{1gGjGx7P?^63b*%4%KB6@`Yef)FX`{g$YtE(McyKA9DiK11iK`70Mh#b%d%!CmKv#otYq)^^~hlj&3`g4ktXXwe;%F z6>0y~OMUoT_KHbI%h%eNcd*vjNfT=|Q6F0VSFgD%8bNtyJQn#<_~>WdLDaL4=z`8# z(G{n((W+|EjgxhvJH?zZ6d@A!fT~0o4JN{#Opwsl(pB%)uvq^%y1zm1G}GXJ#mR8K z)wtk|&qpfqpG7F-_qqiK<+n7gM0x2lwZAhdmnM z?bPy!SE;j~S4}AI2N3r{o<92fq0SrigV0C(g3eko0H?H3J}>{o^()7NYYtgIStSpq%=*yrkC~e@|F(GDq?yHCW&BL*UAJep@ZLXjVxs%Z!mXp@ z1eEuRi2s8;ee{1u9qS{|N2t+RD~95fHd;+B!Z}$dhEdEvbHfoL;RvWoM9^R&9LWR; zOTJVn`q$}*@!+h9hKPuH%J@Fll!FFcQOc|iC=*XzR9^1q6rw*88nVPHqD*;bocV$9 z(a*YK)R&@8vyT{u&RP+J zQ`+cwjy30+!13Uk2vrFU4JIzZ1i4%iW;6(I64t;gAk$+)lU?f*EX9UOJr1p(yvfz$ z{ker635}H=r#38FyI}l*^`%hW8E4)KKKjR_j`i##V$oSEv^b@W+Ns4PPS%OvDCUHd z5hCFfs7m}!gNbk|6C|{p77%i{X1$QQUVkbFWQHkqqg<6u=Bt&*9>ysP29#4Ke`sKA zVfWPd@4Z?@RNnIuFF~F@`Ujz|9_owHM@&O!t(cBe+Nh3W&AI;IcyP^tsze+OCa#%G zkjwb-#eU~ud-vb`KDJ;&e2>=c4=il0zg4$&(~4K~t(!b8=rDVH!Lu>*0~=JX(3;A- zE#l3QH^N6h>+Yc51%1RUbk>U5IHirw;aGF7xf~C!c~F&zr@_QEp9yj)ukUO)?!w$g z14A1%*5yPuz8BlK@zR%98=X45eZ%*9-kaZ#8@-`L<@84CP7fMUdH;&IMe+6x^wG~c z){jLWu>hU5A_1qgQG2ym$jLgfh+rpem6}gNZPO2@*jtAFrs7kD$!Niry1iAda?48aivmN}SS0(>d0hYZb?XYc*6Q z*3e+$TFV5v9tN*WDShEwZKAzT_48lTs~>u|toq*{oT^v76`Nf8aC6Ggv=zx?h8(xQ z^{Q_5u~6O_cR~I#eDt$!0_v}!k64G!T9JWM+GusPSkK8iv4LVvxDg=|Zi1@BW*SU{ zTbLkW^F&vD)!D;>a@SibZf1rnEdK~s)LK|Yv1fJn;Gqr61*aT38C<<*H$`&S$qEN3 z?`p&|k#~ZRe%7(x27SaS(IHiql=U8*D9UKp?oluq7MT3cJHxuOA>9Qz$gzc1U zyQt>bgHGmVtv)Bu8k^vm^s;aTtXhhhSsORC%9`hIS*E<7Mf^STysuDRgn7DG8AXnReLv6OExZCV_JHB$AN0tlv>*5w9 zY=1ew)ryPO1JVXnZace5 zP0_cSmBGHjI)hhyw4wBRJ%cxt_W_8XKz;*!^s|ojUC>7u(OD~sa7r6Jz_I3B2RR;G zhoCBPmwu`oATG&5l)2O_!M7%fh z^wEC{b*yI}aT1-i;xC-iMjh4S6esJ%X^J`F8H7l97OE2GXfP3;XM%)rMLUE04oOt( z`x>HbpR!Jw`udo1a_dt{*HH(Q4lS~kt$eeTOZ5fHc%`vSd9RMR3-a{Q-vM>3?~gv> z0y=BO-#Dd>UgTJFu1g#buFFuBxI%-8>naoEn!hfzpg7yBp!ECI{3S`v@`p9H&lAta z<}LrzIlp;S@BD_dJoEp}K9D!Sc39pcDDSNhUxEBs_~>UH>)A(KLuakHj#Jv`4URSE zy28<+ccQC?l3{F4SlWZ_kDBT-Eq9Vd(&gr*R?v^F2iBYp>_AJ|L(RRw5t1u zUVGi*;{RTIH+Ac}X;9u7zk|FZeDpU$9qZXg{DaO~aTlkw(Hd%TkCS!cKE<5y0YW5v z2vvzv8cc-$GC{%%)_!`0(N}LB=&M(bYOVM97^)v|BT}DPNvB_;n4_;VZnl28?+kri z&uRLlP~Mj!z8iV^=vSbQ_3R@ap|e&z#wl&|3CEgqJ>__CJ%g&ma~e!sFPI?LYTw;n z(|RoN`q#gaS9*&^o?e4S?;d7xr)9de*7Mc$T+gV7NuFS3@;)1J=INtW-rR75a#p z=&TjBa7r6>;#hO8+8hrqXQ)cJ&|uZDvkt(UOyOq7}uQ&=VmNdO=mfn+6l14-+Je817gU zd8As=-6`dYtZc3s4|UjT+`1y%IQr5(LsYYA`sUv!D=y^RR!p`or#uhkeKO(^$kRu^ zHR@Q;KEfBBwL*qd`bzWTSaU8p$AilsidRz_Ok9CXkW1-wub{9~cEOA32TcD>os`rg&v)XyG&r~dhfuJvD7r({Gt zX|+DR->8hmO&#jLt)i{J1j;+(&yhb1AN{PmhWe%GBif=fUQKbDzS1H?YpX?jPS%MI z6m!Ck2$8T8R3$poU?S|o1PM!e{jSVT_)EDkrhQ1ru>~O=7Ay{#k~=CS-l}{^gtNP{ zcwY^JZQp%{_aOy_s!-mCBhEa1^s|ojIp`z0qO(?X!zpdFJI9)Hg>pQ&dO-1NN`r~3 zCllmy8rU&#sz=knPjP<++&o(`ATDxRj%@foxl@Z5{!^BE2ROyr2kaO#*Z*e4tMZ*t z-Whj9z8QS<-$LDI)U%K1h0b_2#VKvH567BwsW={7eW7?YrNPA2p9yjeuCmO1j9a98 za^t0LpN1@0x8cQub;h?b>&D36)yt}%>K2y};O4Y<+1lQ>?ypvcefd?n>GjFr6CIlvum3mMNadaJ*~rsJzdh<$&pu)(I%`EZ zPHCgVIM$qNILCu)1Qf5PG?=(XGC{7zOLpXcp0^-BX3fjI_tlQeW7}u=yJ;Q$SEjeh z``l$mo-AN|Uewx)IdKu!GoFro1Ni8Fi#pb`kBCHPyqe;aHX6mT=3JvW9$e8- zyqeNr;u^~Yxz?T9QpalQx;k-V=GVD3qh-SHx|QKL{WFw^26}^%c=aj6-LY^6oIawzrP|OJ@B1A$BR3!ur zCc;=INO&Q2kl|X>yM{ZV(Z(n%|m^Tl}U!*x-ln|MpY9zb%WnHC{&LeH!BHkf)D+)-6PRfAkU4 z&>63$IHis1IM$r&4~_@d3@BbrX)tlkWP)5{w7)n8ZSr*t-l%sd9^_ZOdD`j4zYX$U z-1pnr>Svro96B|u>0qJus@`F#drAc;@8=O$A+Lpxego=Q&pu)nI^)$8r?gR5wV1=n zIx&}GPB;%C62?PSVm=Kf!Uar_Fr`v!g{*&7{l+mj412{#Lvg!f!9BbalwQVCWmxrF zN{>fFln2{(G88{(YAl5E-V1T&>7zd%bs4A+Lm!cV&RVe$r?k;U9Ba;%$noGxg5uSb z1`}5b6Xbe3u43-AZTi*Bfsa(QH#vBPj2Try*YhKKehSj`i## z($E>NrZ}aI)=`UePS%N46m!DW2$66NR3+BZU?N<{1PM!i-DKQr9c#4g9%*RqvPAJ) zEqldxQQfFhZZS@9XXoyL^3J$7^7PSPiaOS_kJyUNcs0c-ZFD=wnse>ocyR56;?GLY(Gu7($&AzOf)oP2&SKlM90p*6fmK3*KRdTOz zRWX$J^0FhY(~zf+{!rAh{x9?qd(auLrZ}aI)>VtWoU9XB6m!CCgh-eJRf$|0OoaQG zAmPEl>p^!u^jBP&u9**J8SSjpQy2h?7kbT^-_9GP+M1Q%oETfO1TKNSsc zuZ<|&*uqO6{kM~0$HW-J1Fzo=pLg{$RJ92)e1-D94e`;)uYr&Lv#4YJJoFKF(OE0* z;gmLdpJUCr9&kLk9zyYIN`r~(Una;EIWSD#d{2FOY2HM?P6sV>Ll?}*ZKZvf)5)e( zb~A3IpI1%|zxbY;vSa3+%UJ^Do$(IH(?>t+Sl2oa-sagX}N0hw!u89A(o)(ZS+<$dWlZxl2;B?k`R&x7gvt z)t3(GP~K-FUJ-dO_~>UH>xZI`c!|z;~_@d!gGcjF(rx(FJ~!*{aj_x{A-FU6><&b!(_(mP~I8e zi2P0X=vShS^)~1uKA^K!e8eej^b^OLbA9G`aD9Q|)szMk*Ec4}<+wU6XTsjJoXT18 zIq?y;IhR+Q^sUoAPxf~GXPMQjbFvm$wPaWC*yao@LjxV+nt#G_x_lj1h@PonZ3i+CjR^wG~c)*I1BR6=LGn&Ol;T3;=! zIawzvQ_MeeHVBc>7OE0eXfP30WrBq2;wnmuUmhvi9O|!Fv-OmI)Ph2Tqt3$kvh_#9 zubXlV9Zoef47%B`F!n@Ha2T}gjyUu5(Vu}jCF;NSf20uA&{-?&a7r7s=U8*D>KqR) z2Pj@mX)tlsV1it|M$D1*s?=W=J2=nxyVZ%TA@i1G_uJ^3onG{tPeN!H-~38deNW}j z-Pb8~$~rgbYt%vqh`Ys!YOUEF~^#7HQ{)0HHE4~Ga5`>&6yzA%}woE$Jejhx>7(&V8%Zu^Ws}qDmb$L zNM7|^w?OZh-vV#c^$fi8&lCR%8BOw^KzV1}9{Dry(Z3FLR;Xtm(E^>dq9smgqpdjB zoXeBr!Q}3awPAb4r0&)mWKiDkAYO=kF?{p~ppNzIBYe>ruckPqjW$pVKTg&OImMjNA0ZM3 zKvg1;1`}axCP?^N-!)|0zg?4BESu28ZN*h&htT~sG%3^{F>4FAh1_GA6^e<@1Kw zJ1cH)xy!cm(Vb)StXl+DIM+#FDQ-=udgWiZwQCP-dcmDXsEEZ z@KmWcSC$3 z^7PTqI@Ys~7>dq#HN`1?r48d)bFSeW53UhVyqeNr;u^^WxmNj)a0tET?@*e$q57Jw zBU1j0=)QRO&D@mWKcCvib{bLr%Kf_4Whb{)^IVyf(gn&p<3Y%0!bd;rSkFEp5}omC ziqrI!78%+|EuuJCCq`4u38N7r;TWh&jHSUuIF1PtUifW^a!g5oWtZx;75Cd6Gkoq* zY&cr;Zg9-ohRP+o+bh-o6eymlh8SMleP?(K<(={I$d|xJ{{z%@LOuJ47UDmTw$g*C;dMz8c zy6>_uDDN(aGam~d{Vu3uJ^P4h=!{oWoYF=ctA&n}b>a_-IpGY1NEioIiJ3H*2xl=t z!r&7#iw0GRESlWBMp29HGGpBFK;`Skhm~I&98@|D4O4np^*59z%r_3ew?93C@?I11 z@5sM_kN%dZV?Fzb+32hlb8t!Hp}XaND({R>M4mqSStmz5`-lW| z#;Yk#X`_oc)|@Mmx^Z#neSv7o6*4 zwT1G|crx;j;G>^)tY;sQfzEg}#VKuc1IL`%FXX8}g&o-*sT^pw@Xa3?|}+yzyM-87g8_b@@i;9s^IUZy-YWV*|ZT!IHiqd zajZF4Hphc22Z~oy8cbaKm>}1uF@62hyaN3<2fmP}>=-VeJ>jxn$8%NXF$c!Uy{s0> zPt_kPzuWSiU!%{<{q8_{Z-qGX9pIy%b*x{BJ|YjD@oI`w+GqjCnse>vcyJX$@oGwg ziOawQxjsitcXrC};%xcX%G%Q%9MjIZu1rhqTqEt|n>S8hewkVObB$)T9rs;YF=^Sy z)UUahR`C86apqUSNB=a`v7UW|5uNdBic{KXGqpIt$vSb6VorDnArc;jszfmjCc-03 zkg&y!cZ%Y@X$qHii}a^*A`OX;PX~WG*jrgpa#&fK{YY6d{Jb(bKSQZ*J-nF=Ob*jrf>KMNaSyh?1CqGhR(`N*isi78f~L zCoWOU2`?i=!YfdfxJrYG@EQ{&JlUq9!S};PeYy7)74a@5ipk?^DCZumt=v2Qs3P^o z=EC_ez8hi=k1&RJo@1o)9)~#d@$k`~fI17*`=F1wj?P+f1E;jnn;dJ-b&KP{bsLIT zQyNTM|1d$Wu{#3g2b^li4}bg3?@qs+ITOD`?7`?GhR(`N*le;vF2P4I38RNp?Ec=!Nm116XbeZ>&X%e z%U_n%-7$=@ zZm4G;@d%yqYKl|ZXbZJ?!pS=ElwwZ!3?ULehpNO28cc*QnIK`Q*b;OqEq4FGAy)dF z4XHuy_d6)AoxP&y^r?n2?7W@w&dUReF5T)V23;K%Oy!;N&dAe8KkG_R&pzT6I%~y$ zIHirg=2&yCHyjVHw@|#A(qQ6x&jh)WF30;Gzdy=1&bOj(Oo6SBP5()Iw;H}=S|#4{ zZZWc_&xFx3pPtLNdw;KF>)jj5dvnB@&w-DA{K+97*0YcJfX;X|#VKv{6UUl!edc&@ zeSzZDlm-*mHzvpx@6oODtUk__Q=2unF40HL4>*=JzvaI{^Bt1bSXox;W9`xJKP%1A z`1m`n9`h$ad9R4LJ@PH!qn~xGpNT%=J38al6n}-Bw9%GoQ4UvZv^>R}&=MgMR)DHR zMH)%epX18_>9C^Nc zphbhifXm%t0=i7@7%*ezZvnUUs{$Oarw81$3=fF+xaHqvw#J{zJLAmLNB&oYH^>r@i-6LlNxfk}Vw64>tr|V=# z2CrM>Khy2*o3Czdv{`PYW31}F&uO&oHI(-|h%ZDw06zNnqmK3LBWj{EUQKaI8*QZ) zPMoY0wJGL=&Ipmv1*#IRG?)nMFhRn6opVUm!-^q#ubs*T0Tq=k77Pp;bf&!iOi-fY zSRWsytkW#z*r%z=I#1S=DeuLIpG7_jKKd7;t`PO?BkH2FR@B2OZPblp&AHq;9$fXI zcr~TL#MOWaa@kC8)w-gxa_fyz{Q})z;ExZ^X%3fZ0YNL zfqmBH_l5G#xEy%_AN_Sv$9nb=4bd5|rZ}aIHs)A!t|lB0uBK4Dn$lq6YR&|?IyGMG zvGtG59#+LCJVswW?a}1^5|8scx7QbsjO#DVv)Rzx(SH4by$|Y_?hW)XLV5oiapup# zM?dRW&px6BI^)$8r?gQ|wP?l3I^jt%C-g#ygx*k<@S(v(=*t8Ny-L#bgTq?ugXSg& z70!tXP99Pru!0LFgl7 z=&TifIHirsIo6!ZpX0$50L7~*4JNMEOpxnaOG}^6?eBRXvr6_(ee}?)H0!iyO?hQ6 z`H?&?JKJ*Jy7*GBJt+N>Kj^eMAsCTSo~W4pwsj6CHBk8 zw;G%|v(3nbvwWevA3&UWYxwA|iMqk4XCKiHo$+dlQ`)GPT6ExKo#;q0C+vg}2|Gho zq6-Zs!mdn^aO>echWkl*hIOuo40Swm4Ua3$GIS4qq8}7%S(t9WxAn@WEA(Tl1sJyN zjWWbQdEbh781h}@ZLmp};Wj@j@1cFpnNsKMDT|$Cj_E?SzqE<$&YAf>@1I3xKZEkl_+;eI!bks3 z)UiGYeME0`)`~tjrH!gM)|{&^$AhaM6tAWowQ4i7-hFj8&J(Q zOe7umn3L32Jt#4(&6ldzwpXrpVT5DVTOxnaDJbt<5pRz?ee~}@T?*>iM+`t`yqe;a zHtMYwzjCrp45FA54n~NCL!c_5roluwlnD}A?EMmu=+s8vA=|}Zxjx3QX5~0T_5lyW z==YiW@^0Jpf6Z@b@SZ=<&`G|wOnGN~4Dwm<(a$>8vyTWzXRR29Q`+cojy2~R!SUdV zfU3ku8cbY~Opr^t_k8vwLqT@=r`qg$3!Y^aJnNNp@1J2=H$UmKj(>cR^(gajmV0lJ zHS1i{EDtE}ClJ4Z`~&#te}FpHvyT{s&RP+LQ`+cgjy30s=6G<8f#TJa1{2pfCdkz( zXM}C*`o6Zt9HaeMO&AFyD3vXPECmDDU=&%aLCLAN~2LJAiuj5!2CGD|9%ejsC&0 z=3Fy49$axyyqeNr;+n+-xkeB5uI{R{s{VD4hrR12|CDYI7N>+ScS?ENVzJ$SZ367i zw!dySwr7{*%_GXCP8MXfAF&XfwPF!YX`_i8YtEI#@!(2^szeG6Ca%RykgJz< zQr4DoaanZ={j=t6%iEin**0_SDO>Lst^wYCEnj?fcPuq z*TF}BJnHJAelz-rCFrabOL0mYUBHKoDCmBs|QisyS)4D9>0LV$Lz zWpYZ!oQdbp&Uw&f;GBl<7F()T^sJy9blP%E+l#Z$`m5$dLV53tcq8OX;iEqZb*v9S zAF&dh@oI`w+New|R&laUtfrU~u0e=|YoRK!js_E91`{M~-YcRgu~U=9yAPW~38s8_YnxOJg*k@qr#(LH3U!TwFI!VAj#HpH2q1t0zGQOA1r5$n-eD>mSi zHoB2x&AB#lJh(PPRbmSbCa$eakgImscyR54 z;?Bmp9N*Wyj>r5A z)!6SD_$6ru@2-gFAm0K$`dL?i`e*1PGSL~YrZ}aI`l&@0C+kEu#hfq)Arj_7Rbn3v zCc-=>NZ2mb)fk~IHN-B}>yICpsF<9&OHsO@pJMVaPC@b87wYA6Y6hQNF;sE#!79ZG zDDU$Sk3+u92mcAwv7UWIK00ef0ZwV7`#IK}tB~WtrH877fd&(okqL4gHqP>uy{sUs zS9OuB=G=p_?x=S=%dZWmMh=AwCs(`slBPIycn& zqK_y-XRSDZQ`+c3jy2~x#PQ%d48^M{4JNK5OpvQNm4wE@aD2L>un{ZgRl zayQBF>QxJ4_NC^=oT>K>2fuGJ?1S?DAL3n+KLa2Atg}MBEBc62=&Ti|aY`FK!?EUE zXE`2R=b$Qao(2=w1t!Q9Hukyf?ftE?xMAmfuFdO_6R^Z5M`n@i>tAVuEV*i~tnaoe zvMJZyavbxQW9n=V zvK%}!xME{x#jx=m72}^)QiOff?{|%|G>m;w+tByjM7>A!{NQVqz6Cdc^3FK(gW#i| zb(W~Fh(6*TI%~y!oYF=gaI87kLyiYmDO4r?rNPAYhzW8zzSx&(*sv|rad=$j*wf$k zth4;Pm5YO$mvB>iEr|~Cs@yQ&Q#QNn?oMZh?`Z<%o$-mt(?@>{>Z+rjeZ*sQ)`}-M zrHwx2SaYst91pJNP`sMbVB&ho1iAj_-<9$To$+dlQ`%^NTD<0Dop?hrCwz+#3Ex3g z;yn!}!VgT4aGcRb`S0)*il}NyhWOcCjTKi#8$Ve!F=l%u7~)ei^wZk6H5?dt$8cn@ zz40KF_l1ZvPaplPWBnua5g*Z6D?Z_rHu{-k&AGmCJh;9>RpJ{BCa&*HkSp^{?YsiL zP2Q=;XZE$rn7wcDO!s|F(!b|Uakt&4-|Dn4B)RIo-cz3Bj{f(2E|qu2ry)-t{j6jC ze)JI*_}{W`v^O9)(U%^(nhOutT~qh z$AilesuDG5Fmcsnf?TQ3m+l{t8n?e_Ps9CFA14>+YaPq)ufmQU`d@Ao6#F?j${%NQ)qMm(3Ep*ljC!EqoYjdnQmovwM%LR&8QyNTMb(kR6 z(8g^VcQMv%oN%;%qqbjdH`_LtxjEwN=S{mZ_ct8SvRfmoD&HF>4*#(6X8RkP5}>>f zMtnE&^wH0{`KV_fQ5T)@YKl|ZXlu1_<7Az1r z)KKPZ{zH-Y=cwS+k)0H!v#gbcrvsEb^6x8Jq|7i3`bB4)>$cTM<(+Zn>7#!s>atPa z9eqS2bk>T-IHip?;aGF7rW_BhW>A%APJ@Z71ry}*-?=SMUphH&|C$E-GFv$KuXpV3 zUtIV?zO`nx++i!1@5@m*?~9roEU!C1M;-y?o$(#W(?>t+SZ_oh(Gs1tq7_bQqn;dV z&gI4N;PQsz)szMkmoF3KvTA(9>G{B!wJm2lIqN3(b?$p9#Mz<#vD#4|+-j;X)l7@o z7*liUsztRYE~qmHrkP6&AB>pJh(bT@oGwgiK{CUQQ;GfOs3^>7$=@tWQTD(G8vPYKl|Z zXs}v@adfY~i)d=`YV&FIIXEbN$2fN}YM0^$&0L zT>AYl&zEm+lqv7m5D!OwCVcd>uB;w?1pjwoTJbARX`_QU)|_iF$AfDK6tAWA zL9YM#e;I|NGhR(`N*h(E#c)p6i4hcY!U%*&I1;K7ku;bHM=?P{$JXN&b-TGMK8+bu z_}}lY22EWz!$H4ug&z|f6vdB!Q*7KeM&WK~peU~TIhe{j>fVy$ZhN;{ zHTO=QQ{eqzVXF8021mTyn^xWP8Or-2#F_sSKKf4`7`2D>spuodqq9~_z$tBXBFCC@ zX*eES0*Y5t8cbYTCdf76e9cNx84oL-Ot!6f?PlG%8?>|LM&!86?OuA_a!1~~3id0L zE2KUSozu(V?wlo1-nSv%3HcH5(a$>8vyYgB&UiJ&DQ#4#7Lz$yC#F!$34ce3gj1m^ zF^vWj;dCZQ_;|r)W4M2k@nWpP=zgn`u~6Y-96W4+aYf!*+BXFL^o`simJ>xZI`(4n(d{DD*2=nRfE=ZfQaaLt6O#4H+2T(g-VSIqOEf`Hu) z1tWgzoBw#eRlvHMaRJ4}WFs^b)G3@sH-=dTAj+&ZogPpoKY5V}O) z)}~xglYviyx`ur$y!qg@-to7FhU-w?n z;7Wz6L>dhyu9ZxXYiC>?@9sA9y#q?h`wV{V>GS(LpnrZ}aIwo!|XoU9X@DCUHl5hCFhs7h?5!9=)?2@)PX zJ>M|pPD^7>)}O|fJ?)Dc*R?I0&@Id8QS#Cde`%tAcFs1##_pqx_Q9#f4N%_W5O+tO zKKfb5diD|9(OD~Y;FLDHlVi=fc5ytoc0*NS4-F=+OeV+`=JO=KyX<6sE2Sv8osQw$9#=m-78)o}+huUUW-ko~>KSzOhi=lM&yH{6zTZXC3Q9(MRk>XRXM> zDQz^HW6im8I38TNP`sMbVB*SSf?UxvySXK9sN<$f?Njf2m6mHGrY>9iYF^E?!>#h_ z#{AQ#UQANCdUn%1*NpvIZmlDf_X&s(L!LhRzoBj#>e)x+qcdJjaY`F)s}}n?Stkl9 z=7f5LNN9kngpmdlVG$D~oNDZ&bXwg;Ic=?jGVahZMZRB#!fEau#rv1tlwKRQDDTvI zs+^8LQI!+w5`w=5E`)c+KOj#Z{j6g>`-lVRtQ7}wN*g`IvF2QdIUZcaP?b1BgNf@X z6Xg1o{%hdZ=Ze5i&0htyIG_p`t4Q}BXmi%TU6bwsvE^q3w0O}!;G)$x|0eae`d@(Z z&Uky|2f#;vE7Y-`eZ(gS=4IEBu5HN`1yw4GX<;bfgSOED)rhY$(RLsjAe4JN|BnIPfTbXCIESJv-n)OA$KXX_$eL@qR{*!F8{*?26{mDOz^nXElXPo&s_~Pf~ z6_;>I8@qK@_KBW|FxR@}rXZS)q$nseRe zcyQf;;?#RE>(iH8((!cv4t_%Bo?9?@VTe9Qz1 zyEI>8{MK%bQH#HurMb%`L;KCa${hJS@8~0*ptDvy#VKv{8ONG)J?D6Ey@0C3OBzgEub3d$*gMJjeG7jJTtR%-> zH^{*wZtBX>Z1SgQm-pZZ~wuwpJ5A> z_i)7DB3}(3{g+U;0`=@8tk796tZ|xN)P`e~UoTsZ2Ui0qwx%@5T#c9@mn!LPW5;9X z8<)fkZ`^8bO~bpNH?MjYp1w+b*n6d;b@N8&e`(sNCSh2Eo2ulMkD$EUAs&qU3;5^{ zKppGZM>IxfY)x^RUbIW1u;=7t;XqLmIwC~ECQzMlqCqBX$^;4DR`=DoVsP}8=$;1{uKHB@X^mY*1MyRa7Jgn zaKUMM(PkX0k3pMp+M-oHn@Bl2zGqkksqSkFGf1D*AvIZo4ydUC9is|Ck{ z%L|IFDGf504-@37eV}dhQ}UdTr8+9>#)Uk0tNoFDtLT*H?~wHKQ`<sZe|A`qSRqAgC-i?-ufC07u~gR4DMCxU5^xztRMtJlgM5T(PW|JSS42s z$AhZ_6kAgoWUeomAlLu%-`_i-Gq$EU$;F>N@0uvOaB{MUr6>uzB1FPCs7`dFK_>i? z2@+;>t6Q1du$#1Wo^{Nn*Xv_CyX}Z6S}-(b+KqH=(yR65cTT*}R2{yjeJr`gQ2)In z&U^`c^j}0B>)A(iM`yk0fz$L!`-)?gTs=7+T)m*!n$jS1^Ca4Y)RCt^epnKKp7{ZQ1wBGy8q_ ze69RrYnS?GjcMl}6luOU;e+KqKPc~v-$niceDt&KI_h7bj~Ix~*qY)rebNSVtdeU8 z$AfDq6kAgoWUjB7`2X@r8-~unKlULi>Drd^!BF0pBJPho zee|=A_3R^(&>34(oTg9OIF40vjpul9O@Lx+N`uTbkqL4QIen{r$&}LeDXv}GH-GLC zwD4o&Lw2upLGy0fw|^X`ZlChxUC^%KmO-r|oDbzfd1st?`snvY9qZXgOhRXDO>vq& zX;U~>$u*VZ!6l&Bn$jS1>6su`T)C^|o{abPr`#G)|72{^;`ix(OR57;Encf>Q}4p3 zSM@qy!vdqRdXZVzCP+APwJs)gkXOv^ysp|lSB6VX2Az~_$8D72jy09`tZ|VX z+muQ@j(JtSe%z^&%6l&2-H@k`{@$o#{ZjN1$>@x&DNfUi&gEDo*F25~*L*0prZmW0 z3z;BSdaKhBRW25hSNC;|+|z4XPepWZ|2`rO z%KHJtnWv9_*0G*_#3FRY))c4dMVD}_k}HMd!L<~MttkyM*D@x^b=l*H@9ToCzER5q zeD7P5Kf zEJtT-O>vrD^h<0_IT>41ijr_OLL^LsVrxo+Ot_W_5{9&CE=?#KFTGrOQc7$0R(dz- zveb3R7m{7VN{#KZv0A^s^;(NpZMDxI*ZWs_w?W(y`8fFKXWa|bvyWJZ&e)pbG`(m# z$11rta6Gs&pxBzyAai9hL9U-PEld8#yk1FE^w-7G?D?UmqgsY_Yri~nW5|)B=&gap zlkKh-Eetvs(j;nsD3$jp#50lq5uo0&K1=^e+R4L0`oFsD?_u!70%D>7-^*nTr^hI z3CcU;-H`tPAN{Oj{dV*bIp~b7DNfUicE{F~ld(0WC<%8VM8e%rY)xs93HLBTLhqHE zr3qdeq@{NzNoQg&8rwb0*94qiq#ZSWn>P8!E?V!D?~Ef}Y>^z=Uy+7Gd7q0o^Yqcr zx)jv2kJyXO*qY)ry=WfCD!KM^Jh%=(u{EVZ<~qa#x!iwS8Tx&v)rB^%`xe(s$SWRr zF1^^v<6_aHfMcP*Uvv%g{@FitRbsv3b#4QTS3`M!ggEo`(a$>8PedPa7@e^-#c6s` z1IH@43OF8Ig-~owX^^>!nIPBL^YgN##0goQtAn$|otn&|^r@Ns3av7;W!KE!*^E} z8~@BGmKF>wwhV4o>{#@nD75bDqK;OtiWcmxDQYtAMA4K1MgJ=Aoe@_f?*JeDtdme5 ziaz2LI%8{!)AXW0ajcT-XO0Kg87Q`^f(xfX6`(=WM}6a=~Y_vx0^)nJ}o zb#PEtg;}<$-R8V{q6(d{HN|Oq(XX&I z?@pddQoBQg31D~(P8TQ0W;M0pS=q<&Tm!p)U4O&)(a8KYV=S^CCDc3(C6+@yp25M}IEr zSkFGJ+U?AWNb|-O2S77k??mYwx%@5gpZjZ;jo6`#`uMv6;@N0X?D%5 zqwT%;g=SBSR+|0;W*M`8wUScbxJwBscGBBt^`wDN-Wg9oo<90_pw1fg>?59_Gq$EU zO)vVCW0hQgaXh%5L9sQZLFRhF1i4Dj&o|@-pE2BbR2S6xjxCt2=~wW&Po09Im_Wnu z*3TOoAc0!AS+fd#aFF^hceDt%9^}EqWyhLYgO>vrD^cBY{xn6TTxZXgq zHKjr3ddCF0dS>rzFs*QD11Y+3gSP_=HXnb?TlQ66icLWG-L_|3YHUkx=GZYy{WrZ`P6YJp$>FRr>A53YJpY)xs9xh$FBSMGG*gC!g7(@MPN z+Ls*t!Mdn&Kx|lLpN!CO5B#6Ty1R?F&Yn@MYS*jC<~wa@D=6=bGcUnMe+BATpMgHY z3Z1bv#c6s`8;(_ey=*xiTn(Vun$jS1HDZEXojWXYKk-)Q-u>lXw{cAyZd%!N@1_~m zgEn>lvyQ9TzIJZ+(jK~Q&;KHO>8iS$vY@ zy|FdrWNb|-NvrDv>C@Lxl|kvE>|eF zrZmW0?o5#D>MQ4xPh0Aj9C0oyzRwqb&V@lvU_p~EokzEjo4KKhrTZV&45cS2)piq6=Y z;xxTzJC0Ry1#vvM+C#B5r9tLWGeNFf7Yd5|>@P0fzNoagYgS%y;{Bz?0iMCdGdzwL z4Z(M!&l+;D$h%>k;=Dml#Z=x0BhI`(eDuemE(i7OBSO#_TT`5-7Y*ZBC097dgDV1x zttkyMR}>TE+WUK3x9dF`xvg!m$o1*Iyv#oR%(DL+)++14?gy%mh7PVBJJ)kPS`yQ2 z=g2RzEG@G+JO7DP&(uaGOga=@S+!VG5>Q9$_a;jFICQA?!7^^)mZ)bR z(H)(!HN|Oq(XTjG$<>qN!PN_jttkyMS05(G^;1sc##Lc=8(CU~H*F$>m6f8ae?v3%0O{j6g?egebt=%;7 z+xA!Vu(FXRe>GcDS*J@Ap}hA*yaxG+@X^n@52$a7K4K6$>&0N4rWYN;u}ZF?91pHU zs7`!MgUmII33B~?#V)*E?`L87DZ{XN+p0psYjj0(-mVDgqqhnBJ+fn1MTT|Qv#qwF zSugd4RNfyW-W&O3_~>Wd1Jnnij~I^5dNBg0=|x9!tdeUK$AfD$6kAgoWUghm znx<8Hie~b@i<;wIn`v*T+i6vo8fh)A(4MrXa4 zg46V(Q#n@2B{&{j)1W$`r$OeL&IGw`Ua&Lt$n`L^DCuMfdN9e5(lpiZ>d zbGs=9-?d#0fA#e>NC#aEPocas&U`I=^arEP6ZPyPzC&ldn1R#uqBA*G$u*1P!Sy{9 zTT>cjt~pGQ>p~+d+hu!yv#}|eZS(wp`dGIf?vR?5YPV>!G2gnOtF=w%f2yq~8=6_? z2F{Sw7oPEHo{C`!Wl2$66BR3{eF zAQLWPf`kF-r=`*#OQaLtBcy4iH#N_@xyMvBUK?}rLupLtmxp4i@6L+(qKj3`ydej* z9ihB4ej0iD=>HydXHZ{`K4LLC>%|hBrWZ}&SS8m|jt5sNR410vAagBef?O%<2A9oS z-?1z`sZLqN_Bo}|FOQaN^UNvHhc+%9SlF@j{?pLXl6&<_J^#2-QVQig0dax+R`}>= z9qZXgtUzbISc%j0qN_Mo$+eo}!IcKZ)|3XBYb_Jxnz?SS@8QmIzBikv`dt3dedn75 z!_KDZemmQZsPE%>c!f{Im3BVsJR)}t$aCAd9LjqO#M>h83?KchV?Fzbb?A((DNfUi z_D>Y)oSZB+P?Urj2$66jR3|cNkO{MxAfZ`Lp>_N`%6Gd1!IF9ii)5S%jV2sR?U+GdAppP7Yyj&C^4- zzw`~I^6rm#74r1azZrGSP|rSMJ38yd4xFYJ-N~^^u3a1tuH8^ zlj^y;o=9J%S~;suX6#*$tkkCInNx#Ho9(a)`-r{hjIAk7(~AyB6nUJSEcR2Bga;5J;X$ZQ9HK!cJj?_MUznZ3-|Mu=xb9MQ z#SQzH(VhJkYF{`r03 z?FUa95WMy9qF|rl{=o;xB{Xtt{_;PMMtFWog5*=_%?h`z_-? z)UoR3SZLX}%@oU?P~JlkcR`*$`dPOb_3R^#pfk3nI885_kSLCEabuqGT|vENI3DCN9EYSmX-TF+g6?rb**e3d0aZNG}kyI{IO=r>}*Zq{4lA&s#ZE# zq^hLy&N%b*(a$>8C!voxjm~=U6He2M{>-sTt}`4DuCq{`I7frbRmB9k9u!1GIX!I} z)uUZnq^fXB@q?SUOV5A3s^q6J_K`t0iIKxDxI{Lr*c3kWVt8p?DDT0DGk*m>`pr=H z73!OykN5?h_2N8E(~DlTLePP@3-I(XTRXcik_h~t87nS!)#N&~tkN$Afv7UWIH9BK!iqrI> z0~5tnPEHorC`!WX2$ApxR3~oIAQS$|1PKqEXlu-Ba<{^N>&Ga^7T%hi#;c;30_ika;-o4@L>q4Lf+^R3~d-vM=jsAnH>3!U}iHcr!v-r-m!R}II5 z>n>C$?$ID~-DiSatsFfJ+g%(D2L}I@?>v8h{@JK0`IBqI^VcW0$`5$mGXIgAPk!M+ zw|uV+F8Kve-Wg9veiD52vyS!bBYs0?y?B7r^r8}2< z$1OWP*g%ADe2Y zO=zH%ZNr=^13o^HB9r~3xVpC5h4&U~sk{dw&iq37=s$rv z*0YbOMQ6Quh12w+uQ^u9^@iiY^%klV?`V*@{$_$)Kl;4jGV{HuTqx+eXE^taq*3 zY~HXem#LRMHr6|OV&ilu?~F4~AN{O5iF)=CbvOAwfc@xO`3PY&Tt-p7%sE+hwQ5^`|?U?sMFPey6 z<(-1HSE0N!u0lQ;KKfOtV?Fx_YjoBN8=R&WwdGhPR|Ad*S3{^yG@?P~YRm+=Y70Xm z{WBXyzVjOxVP7E3spGKnl8IfehTot6Rm8sGbt4LTttcM*Ye|U#%KHPvCm`BgccQ2^3pX8f31fOpt4A--|8$z8&Ocw(P#w zpc*Id-0knYUKVJ*f;0cfNs1Y`J=nN3r+$+*UaeoP^0J2VJ_>O)@-N_{e<12Ur{4E! zg+9U=ov}5=X?oEiiJ}=NCkqutN$83Y3EiMN;ZB20=)nXDAGJKMsf{`wz2kN>DSUdm zG}|Xz>L1Zr>h$v%W87t@inrHtjMulsNhekFq-#*#J0i|Jee|=A^>5KfG)HH>@Wg3) z(H0!5u$sJS=+DrJ^Vo$~)r%dHU#Q9qZXgv_xmUXob`CqJA8!ia^F)0h`iMYu#?}<4=|zVoiguiwEP^OX!uAM}Fc_*6Y8qt15GF`i z^?18xrH3xM)2mm;nNh*gOnYIhs0z_Ww>_fO{c}>=Zh5>`J>YId&KFiv6qI+ynWvBb zS*T+@`-o6<){8KlrWXz8SS42k$Ac>psuNK($XwA(kgMXwr9v0qLxoNq)P?aqYz&`j zHmGA?4O5#P`Nm*rKDWRwYHY!@*6`OeDwE6T@%zdLmz>Ecju1-vl%WC#*`zhUa*=s8n+VyQ4xaMlIevRKL+cizP zmNh=J=z?AEaRcn^j*L$e6%W!Jp}hZuxC8R7;iJDd>S9no6@5f!bjH>cr|Cr#6Gbd1 zCyTBWC1D&wBX05E4Qh}0B?SkIniN)yI$Ka+f4BWS^$hiC zDDMXlZ;m{D^ar4h^-Ix5=+Id&;&GD8d^)zK9INE&&+*_I0L9jn2AOLh6Xcp1xx_wn z;coS*r>04z(}t(bADL5Mw_!M&B>Tx|EZ3_p33_Vh%>(cKKdh3 z$NCWT5rfbfTT`5-7yUX>4B_NtF_fYtOhkx;Uqf|b7!5Mva3)CjwnLpGbG@%rW@Y!O zH1qK@&K;PjRjt}#{QggeO4a%Pm9D4MmEYzalMciTktRWTcR`$aXZYy1K;1^v&qE(E z0-g0@Bu>+dj^bD)*JzFh*BGcyd_#lGmBa+OdaIvCFYvC2&dhEQ-TB?d@~LL3iia6F z?6javtEqDX?oG|9IND- z!13Vv7K*JY4KmjxCdjpNN{9VN(%rR7lGpCdj1 zd1v_O*P$*K_0H%cen4lvn2Xc&Nt?&9O0M}F53U7JY)xs9xfU@&u4tdQf`VT>3Tmd$ zG&mh=5Io`Fp5W0-*9TutH4j#Q?04wn#lpjDeyrcVaARuwl~CRpuST9e`dP<%_7RKG z8Cz4FrcYW5$11s&ay+*uI+8-PHJo0Wau%Q zX}xw^Srpe>mThj8a?5wNO~8Z-8!GRNGw%c+{j6iXy4u`QtUzaMO>xSfv@tz~CyG^^ zoGeyTl!R#rk#G%EC)Uy+6Ru-|gr47QHV%nAYIHtkFBujMls4X8DJA)Ak}N!zN-9s=bS8lELb+=GYjqRjPZZKYL)ugw2sFS_=R@nVuD(|xq zpMtzMeDwE49qYeEACZmD*qY)rz366+RdQ|NcyMinVrxo+%$36gxxRgyV}HSHuD#XQ zl3hH0F6qyNb7@OP#iTjT2(Yu*deF{%@^HJ$Ha@G<+61OmLwT=@xC8Qw;iEqRb*w*+ zK4LpMV{3}j^r9mY#ZFF67P}})!rcgwFc+#5duWge_cB4khu)r*ArqQc4m;vrY2Hj# zX*;W7rP;1($vajh*?G^@zMj}N=9%@Pn62vcf0g&fh1stp7D&%-@6+y8z zr9tK@VS-%mSI7GuE-LjK@HVLRsZe|q77AHsP#xYhjHx;b67)(ByOfD({R(A@2zv{YOy8diD{g(HUD)oTg9O z&m61dI>YhcIt#_tlm?lriV1Rco0kx-s-p=XUt1fNVK+3)_SUA*BlQbHEsnMe8&dO4 z*!T{;!n*!u6L!GkLTDV6_hE>eBVP_5{aL7EJ^P4X&>34(oTg9O1&&p6UF3LhU4mk3 zN`uUGg$Z(P^_%A&aHgAkhv}=`p6R1D1#QdQwEDL9rfWs!Zg-BRx?O$J*6r;RkL)8m z9X8cMd9Oj7dHU#Q9qawkM^vLTwx&4cPuiFsqp&sQWNb|-O2X?1k?;l-TT>cj!e5yn zp{{S9w6y+7$>HG(DbDMeG^1aJq>lQzqH~Q}n_=|T-f>Abel;>rTG#InsV9{8bi|pb zkABv%o_)kEbjH>cr|CuSaIBK6hU39?7mBSZ4Kmk#Cdg%$cqJly?4gK!kKl+MwM)Xj z?bN2^uY(1l*KU-A2Q4y>IP6>;KJoLCFx!~yVgcp79pYD!{{SETxu|1(1p0{I&>34( zoTe9j$gxVUM;s5X-=Wx=(jap^W`bO28VvQCG9lRO^B-GV^j!blwlVKV=bR08$+>*) zd2>Tu+ZIy2Q=az=)^BaocI&oVP~HzCegXL^_~`F}I@Ys~c!JK@n&SM=i%y?DvhDu? D>Ay9| literal 0 HcmV?d00001 diff --git a/code/experiments/exp-FixpointExperiment-_6511565800569721-0/experiment.html b/code/experiments/exp-FixpointExperiment-_6511565800569721-0/experiment.html new file mode 100644 index 0000000..64dc661 --- /dev/null +++ b/code/experiments/exp-FixpointExperiment-_6511565800569721-0/experiment.html @@ -0,0 +1,7 @@ +
\ No newline at end of file diff --git a/code/experiments/exp-FixpointExperiment-_6511565800569721-0/log.txt b/code/experiments/exp-FixpointExperiment-_6511565800569721-0/log.txt new file mode 100644 index 0000000..ade4520 --- /dev/null +++ b/code/experiments/exp-FixpointExperiment-_6511565800569721-0/log.txt @@ -0,0 +1 @@ +{'divergent': 0, 'fix_zero': 100, 'fix_other': 0, 'fix_sec': 0, 'other': 0} diff --git a/code/experiments/exp-FixpointExperiment-_6511565864900101-0/experiment.dill b/code/experiments/exp-FixpointExperiment-_6511565864900101-0/experiment.dill new file mode 100644 index 0000000000000000000000000000000000000000..d20c644d34ca62d2c0c1f0509f35637ba181d112 GIT binary patch literal 136531 zcmbr{Y1q!y_x^EHk|arzBuSExBncr&Lefr>WS%o!%O(kFk~FC_Yc6S$B&j4xQb{UF zDwQ4AeMjvZ{nM-3kB%O6|(uu$Tl z^9m)W6iU_Wxl4%>C5lUZhYu>0?zx+u^=)?ep@$yc?C|EznjYD>@u7_mEtKiGYq~qS z|ER%*9eP&Q(+q*UcIsJ9PX~?}KU%Bf3gxF1cCOcRCp{W8e8ONGDt@7YK9!{*!zcEg zG}y)zcImwHe=9r~_2W?VXvNh>XS|#JbdUd zf7bAEgS!qMZ~aGh9qi8d>a;ZSC3|QL^^3e=m7z z*^z%--s;UG&ui2Cs@luWJ*VL_m8*AY{qGOEwE3lHn`a7*ec{jnJ$Y>|wElJ7Kg&w){>@P@+9j>$y*2yk4HM=)U1;eGtp*Hh(z&Ffj@mA&HBoI` zq3yP)qyLNg%c{3LVsh)HJ&)eG)wE`tTQ>OZ;a2O%zSVN4x_7kd^!&N4%C7F(^6T3M zEUo;+(XD1oZ`bOiKbJqXq}9rng?7Gh3{j;N)qcCEV~OhE3de1W>iAz&m8}OXSa?90 z#argKd#u!-O&7bhD;^s;b@1YgKiX~a(R*CFxW<7WFDmh9t;MB!Hd;KR=Z%Zc>^A7J zo^N(qTsYnrIuTV`QJuGo>O#~BuF!Q`)QNdf-F)Gs|GuhWhYf2w?7yEfw_W1NBzAX& zQ?@1c$V)uc7kZLdrkHrzc8R@6Jlz#~Z%aHQFR_m=^d+%uF|prviTz0&;0gn`B@W6< z9PA52NGw-O9J*cNFcOEm!ia5&XXYi2^o3C*mME`nJT2^AczH!X+eDE+)?0F7Z+lFLQ;CCGb;Yku}6%(J@E^#S|PrJghZHdq1B`)`cXGyGGOkA;D z;&UXfbcN@)C9cX#e8Cr1lUS#i_~LenFOm4NE3Da;_)1>lT3>jT#Ja`Ab=xJrM&j$P z@W!^p^?8YJ`oabh>lG8<+AeV;iEq2YrfrGu^kXw#3i#62I_;FG*}vO#EuQ#IH&G#udKZmiS#>;`hGr z1Bs1`i9c?a_!EggyTUKq5`WE0{LL4BC$UK}@sI5i|0MA*SNMBd;y-zb|9UH--(eBj z^#4Mwq#mWYR!WZ)ZKc(nm0{t(-^SSv4ESx%|L<=ItgJ40+ffxpvm&D$Dar4!Y$wvh zD6j5pXBGmZ0)s5ZF1p~YqAHB$MaHhAq>M_WiLslyv&t+4#_kNV7*%w^+a9VgS`-;o zNl6)dk|stqb!U6A5E#`NWHI*E1#dM}VYDhT_8}!@)Fe%eebt@SVj(d0W01wDtqb1v zSB25K$f!d~$~b^DG3u&2JCKFIsK+3SagZ)}tFH>9ZIN*>DJi1?X<{@~ch-o7z&M0K z7NfB)cso=TM!O=T2`MS#Fw(?ms_yJ?76PLggDl1oy5Oz3Dvb6;#*w6?j25Jc(Nf)6 zD;5IdC8=^ zG=nV07+vr-Rux9~BBMY`$}rNz7^m*cvk(~L8Dudg=z_PiRAKZeGA5FeGR`JVj7jRw z&S4=iCNs!lOwk2zQ&nN~EHcg|C1p$_O^ox@ot@7@U|hf;i*cbYc)LgyMz11cIw>jR zV$#Hzq3-Mw76M}?gDl3Sy5Q|HRT#aCjLS($8CQ@d#+B;MX0Z?$S24(9T&)YDIcXmAsfpG(aEXIwx;O!<=82yTjn@LF-b4U~87IkO0vJe=zG00-v zt_$AoP=zs|$heb~lyMhnV%)9n>>d^ZV=jX%#=W}WZJsKOK}E)Wq@;}dNfYA%b!QK< z5Eu_J$YRXb1#b_l!WdFyEFdLiJVKfn3)P)H%0gf)VvxmnOc%T@R)sOF$atKTl(B>~ zF`iI&_9P2|@f3qB#!_AI_OvRD5kDJf$;X=1#o?rZ}Kf$`N8`<0}SPjIVXU+c&B(CKegrl9DpMBTbC&)t&voLSX#JAdB&nE_nM{6~?3@;}=p= z#;>G_@teA{-&qKZKNw^&{?r9;f2qQlTx9%BO3L_$G%@~FcUD4wPGK9Pq(01Jl+p!n zrBz`}Ei%fGk}`H6O^mYY&UR!Wyp3`Uvfjo{x}ZNBq6%YLk+Cx=DWd{uV(g;stRf46 zu`7ctMkQVFwwo%9^NWniq@;}9NfV=ry0bl42#l%>vKV{ng12g_FfJ@I_97)^R3}Z0 zz15x7U?DK}VUWeBsSDorRfRFV$f!k1%Gi%IF>0$j+n^t45h*F-5YohGtnTbk76PLQgDl2jy5Oy; zDvZmDjKfJu8O=x&;|O(U%~=SHBN=2dTIhnemZ~tWC^A}+k}{4WO^nv+&f2gL7;PD3 zF^<*+Z|ziJ%qlXDAthzBCrylF)tz-iL}(TS9l(U~+cx~Mxl zfrY^6${>qzqAqyrrV3+rk#Q0!DZ`N_#>wi=y0Z`%r!dH3^w0%wr>erZuE^j|*lou+ zjWjWOsXIHJg}~^|Ad7K^E_mys3gd<%qc17x+vrD{82#0q4PYTK1~SNE4AKQ}gH>VN zRAdYxC1ngHO^jjc&W5uP7$X>DG0xNlZzEM<%qcQPk&-e-lP1O(b!TH)2#f-QEQaZV zw{fa4ZY?rADJf$-X<|%JcXk#FfiaOm7UOJP@HR;m#_dJMIi#eF$)t%fMcvs{76Rj3 z23d@0y5Q|RRTy^`8RwIdGA?Rfh<7Ng~j5)gC?G{xS_ZJzrl9DoRBTbCk)t%kJLSWp7WItzjE27@fddR_4LrYejl zi;NAVq>Q&n6Jw*gv$t6Yj73S(K3v6YmR@iA#)e4_5`Qx*c_GX`0V&vn7u7pgFp7a3oYk}|#`O^mPAoqfYX zV0_CUi}9T7)z#)=~22U1eTkEDt5le)8?SqO|@7-TVi)dg?Aslr%UWc*G_%J_pc zG5%C{_7@9*@i&7k#y`5??O#WHBn}g122%VZ2miR3s&3>`Iy#mDHW>#zJ6JW{}0$ zT^GDnQH8Ol$k>CFlu?y5G4@n%UKhL_ zs|sUNk!J$d-6G=zQc^}&(!@AX-B~vl0^=kG zSq!HO-cDA9vAM|TPD;u+g)}jGs5?8Ag}~r1_~tQA(*%&4|^ktCsHu~v;{uZk$j4egR08&!MK+?n*r0#4m3xP3&K^9}EE_fTJ3S(=LF`Sf? zF@iKP&Qy0cl7+w+#UP6@S{J;HQHAkIkujE(lu;l}3{!VDj)lPR46+#Gb-~*NRT!TY z8E27_GA5EH#@Xu5Cb1A0=P<}(Ox6W&Q&eGmQDjUdC1spTni$j6ot?)*V4Tk&i*bQ2 zc)L&)##cqgMWm#R>7# zn8hHAag{E3yIK{-cSXiEq@;}5q=|8@y0hz82#o6)WHD~g1#dU1!uX-cxQUdMaWiRR z%u#oC3k!j9D}yY?ZMxv?c2yWZ6&ZJsk}~cjO^mzLo!!ksVBEtXi!oOhyxpq`4LZUsxW>lG9D%+Wh@{~j7QX+Eo31u9%YclSfmTy z9#e(!N0G6Zl$7x}X<{rVD}yY@$GYI{ z6IC4LBFCr1q>j&sljC!BXJ4=o9A7fXa(tx=-o94FQ9g2fLrm)UmN+@SQ+M_~3&HUN zgDl67y5Q|6RU8!}$Iry1j$eqA<5zWOzp)S;zca{k{Gkip{#3?GxOzQZXI63}N zclIv}!BIlr$0pBFQWw0HQpHgza+KDy?Hpx@lVb;UXJuIkjvX0fy^nIb;B6;W9F-$S zd1BJ{u`_XUR8V)e3k$(fkwKPYS6%Q{Nfk$x$gvwSsiQJ+a_p||tO^Uku?K@JM^#<$ zwx=qNs*$4_F{xuO;^e5V?rd)sf};k5EXO{&;H{=Aj%tx(Ut&^6E#lhw`Qb#A^Cws24d-B_?(7ZP{>~rtYj43&C+ZgDgjHUGR2>DvtV*qYp8uqc3rC^iy}%pM~HU zz#z*pP#3%nQpM3AattOWbqpa+j-l$#hOrPF!x>~bM(BdKGgWakiX0<}NgbnzlVh~H zvoS0L$5;kgj)E?DGgTaoBgZ&mQimr_j`8ZwCa@43XEDffOwshR5tBO3Cr*wF)SX?(LU3HfAj>gb7rb4pilbTN zm_bbHxP&-4W~w{8l!f59j6s&;a$WFtg({Bbk>g5YQpYUfdtOtAvkVgkma~p7rf0;#nCEq+(Jz1xRp3LZc}%5I}5>a z2ZJofox0%dE>#?@Bgfsuq>g)tlVh&BvwK+xj(H5S9QWyhxBFFbw2d4O5R*C{Bum%JW8A#i`1Px#zJr`W{~B0To=48QN__day&sy z>UfekIi6B?wv>h7c$z_$W0@{^dqx#Uhsd#kP6S zZ|H)z^{P0!M2dxM0 zAviu@kmdML7rbpz#nCNtd_+v@*h-unAFDh2goWVvltGr`GhOiZxhf79Ildq!b$m&j z9ABwB`Ak1CFyk>g)tQb!4WH*p*#)t!}6-R3CGAj?rk z7rgDDilbNLC`(N0*pWCn%BefsiG}b!$}`Av?5qpkDyZV<9XWO(CUsOKPL5sGomFBX zICf)@<*2L+-gZ~T(I;|LAtrU~L7W^_)t&9hLU2@LkmcA*7ra$h#nCTv>`hGSs6m_@ z`=~ps$wF}K%OJ~9OBcNDr;1}he!z+IqIl8JAj4YsLLSBaiA`EtEY-%P~

znAB09I5`ehch-P~;AqGo%h5;|yd9#7V@Tv^Oib!HlsGw>s5?81h2Ut)Aj@&ME_iFE ziep&hID(ke(VRFrj#PKnf`#B{$so(oN*BBxrHW%jS#lp9BtK|9nC^;v}2Iv zI7Sz|wO7S4GIAVCOzP-BoE*ogJL||oa2(Gd%h5>}ymeN^F*jQxo1!Q^jGCqZcu$<8Jc;4}&a6UtRFlPZfuc9Q}z&9RrAyW1zaTK`aEvU_ZjD zq{uOWnAC9=adJ#lcXl=l!7+(Jmg5{<@HSZ$$K=Q{g_zVal{h)hRd+Uxh2S`kL6+lu zUGR2+Dvqg<<3eIm$3?`+FjsoljCxAXIHQg z99J^Pa?H{NZ&#_}I6rb+O-$;zhB!H9t2?`vh2Xf3L6+lsUGR2;Dvk>y$Bo3Kj+=;+ z<7Rbdb65zDTNq?HZq)^Ex2fWo9yx9&CUx9FoE&$mJG+a8;JBMXmg62>@HST!$Bf8v zFEOcO9&vKqr|#^27J}me23d{=b-~+1syJpwj`_r-j)#epV}ZJ}M_34sg$%MBkLrTA zMXES1iyV&;lR6d?C&%OJ&X%wc98WOFay+RE-kws$aYf`zCaiiO~KfkBpIwJvyjQ5DD4k>e#|Qpd~0$+1S= z*()pr$65wij#qWT+d5Sovm?iA#H5bbiId|Eb!Y2Y2#z-yWH~nIg15I+aa0tP3q3xVIer)Wsv1~PZzvxR>g5c7rd2I#c_A!*om0* zeUv9oj-Az=RbU}Fc43g^sHh9xc2&hOH*!=WCUxvaoE(+ao$by-a8zNC<=8_Pyj4}j zF)woLNlfafMw}dbsXMFALU8QOAj?rh7rgDGisSysQInX|u`h9Q)KYi09}B@zn?aUi ze_ilaM-|6|k>dbjQb%3lSv?kl;~)lEj{3Ub?O;_L^CL$CVp2y#;^b(g?(7g2 zf}=5mEXSd`;H`-&js=n9Fk(_iQ{v<}T-{kS7J}ml23d~gy5Q|dRU8W=M+;(7M@!=5 zXr=D#C>DaFHG?ci8(r|$Ru#vh$Z<3=siPfnavY=XtUU|CaV&!@M+aT-cAP4X#gU^U zF{$Ht;^gS0?yNHl!O?|5mg59n@YYoo$CAi#A~C6>8*y@+r0&eI5F95n$Z~Yo1#hRQ z;&?K0^dKg6oJyP={L7-wPGccBdNIgyoURMrdaL4C8ad7&CUx{7PL96n&ib(s9Q_$& zIR@y0w}GlSmPL+1#H5bF#K|#4-PuqUf@2tiEXQzN@HRpf$MVQ=CNZgFByn<#Qg=3* zh2R*&Aj>gU7rYfzajb|OMoj7$N1Pm9-Pw2+f@1=MEXP^8;BBHRj+K$)Y+_Q!B;w>a zN8QTzIA7h_1uO)|g$%MB7wLkx>8dzZM~;h$ zNgXqYlj9O~XERv{j!PM2IWE%$Z@qwZ`j3&C+OgDl59UGR3FDvsA9$Nj{ljt7X7<3V+2 z53vv&^BH709@YhK3siBej~tH>lR6d>Ce&K9u{9FH-`axB&bZ;z|u*bq6E5R*Ed zAWn`a)tx=XLU1f)kmYz<7rZS~#j!DRJVQ+CSWcWA&#F6H!9s96#~{nGQWv~EuZm++ zUe=TIaaGXdy$3Uc!@!l<7Hj&wni1lyOHA+Vp7Li;^cT$-Pt-8g5xy?S&r9r z!P^_EI5tO)^~9u(H;I#DgSxY~SO|`d46+<=>w>pUsyIG~9Pbd5I^HEtj`!4^ZDt`j z-e-{I_&^uDeW;3KOXS!>OzQZEI61beJNuZ0;P`|=mg7@h@b;N1j;)d7b7E4*7sSc& zrMk1PSO|`<8Du%W(FJecs^a)0a(qWj>iC{GIet)g_9F|y@e_kA$IrUp?H5%XpGA&e ziAf#55hus*>dyXPAvpeIkmdMG7rgzgisOsO@eeVn<6q+BD6u1slB(MrrSxH*qqHt~ zE2E0ztH`kfF{z_0adPaa?yMXO;eG7HAnSdU*9C7otK#@3a#SEDb?ic%92M1_?aD%M zRAP|j*i9F_RaV9EUF6uEnAA~)I63xEcUF~!;MkKvmZO?3c-u=A#}ARCIx(qZZ{p;r zq3&!S7J{QDgDl6sy5OyrDvqBb$9}}5j@rb@vA?>rIxGao0SvMnb#=kpfvPxui5&Ha zNgW3fCr5pCX9u$o91R#`IU4GMw??Wsev2H35R*C@6DP-^>du<55FCdw$Z|B*1#gF| z;`k$SG$ST;96_8M&DEV9$wF|nV36f#sSDm(sp9x6avViW>S#@z9BtH{wPhhVj%JYM zXr~L_j#0(&PvmG%OzJq6I5|3~J3Eer;ONL8%W=Fec%h632yq%@WIfkn{8^JiLInGjdHj#zkIGaJ1W0Ed-J4Y2q#mF(4nA91ftb{B zBXM%vr0(oy7J_3AgDl4_y5Q|rRUFkK$8E%iP;$?>$hvt=v< z$1@DF9LsgV+q0@TYDbP0#H5brh?8Tby0hn52#!?@vK%kyg16PGIO;@>7l}z7FA*ol z%j(Y7un-)tFvxPO)dg>_s^X{{Io1)AI$k4Aj@Q+ly}?3otY?trcvBa=ZBWHgFLJy^ zOzPN3oE&efJKMxUaJ<7H%ki!*czaJ3NBzjLnV8h^K5=qkCUtyGoE+b%JNuS};P{R~ zmg9R}@b-f$j>eJWM`BXPPsGXbv%0fiSO|_^8Du$r(*sf3^=vywDLukbTHRS07J_3323d}>y5Ma`Ro+Ll$We}% z^nL6^oE+uVo$bs*a8zKB<=90Ryj4`i(L8eON=)jgM4TMEsXMF8LU8QPAj?rj7rgDE zilas3s7g%g*poOps;N8Mi-q8*&LGRNw=Q_Ap^Bqb&Q`unAC9qadOmEcXl8P!BLMvmg68@@K#?HN88A8Ffpm40daCPRCm^h zh2S`ZL6)PjE_gds6-T?s(S(@PaTsxOG*x$YI19nij6s&;2wm{jTop(A$Z;ewsiOsP zaJ3EGj;Aqbv%WB46+<2>w>rL zsyMntj#G$99X*JX<5YELJy{5j(->qqdg+3<(^YYFjU2s+NgZbpCr2N3XMI@+j(!ZX z9Q}2{+W=J@-6F?8Vp7K-;^Y{t?raDP!7-FUmSdPMcpI*Y!$pn}#H5ZhiIZcby0cL% z1jlFwS&lKf;BBlbj_#48Kuqc|;^Y{o?##0g9OD^eIVR|Wx3g4n^oSf2iAf!26DP+c zb!X?W5FC>kWI3kjg14!vIC@5obBReE(}hB!Hvt2=v^h2U7hAj|QbE_hq1ieqHt zc%GQlv5Gi3UQl{S+mV;zGm$7{Oa z?R8ZgViC>EIlfSL z_9Y9!@fCwC$Je^x?Hg4b6C=mB#H5bzh?C=cb!R`Y5F9@;$a4Io3*LTK#W5*z{6b9X z_?0+0ep7e$I}5?_2ZJofpSs}fFI60qBgfywq>g`xljC1?XC-#}KSxP@nCB>^3*Jhr z;+Psa$`F$}b|6lUvg*!uWFfqdatyNG$4VmgwsyHr;9D5OyI;s;V$KLAB zYOoL-`!L9I)YJuU`>NuY9yw|elREYzPLA5@&h}>^IO;ISavY!w-s-C2m=QS+Bqnv# zBTkNk)ScC5Avg|ZkmYEg3*H*4;+PpZ8WEE^4k1pC#_G-vWg$44FvxNorVHMhs^YjT zavV-f>S#us97m`-YtBM&9LXTd(LxuzwN%A%MdWBjOzJp_I5}FYJ8Q#2aI|HRisS0Y(TSMU(U~|ox~Mxlfra4c z${@>eqAqyrrix>BdpqR5F7&;WH|=ug15n{IBtp@Lx@Qo zLy41Pn7Xs!ECk0023d|Xb-~+6RUC67$0%Y_$7tf@7^CiNEDOO=V36f7UGO$e700cS z!xNJ_#uF#U1a)U;u@D>+8Du%m)&*~qRB_xMInE&_bxbBsjw$NSrm_$m=Q7B0Ow$E# z=c(ejGjg0yOzOCRI5{pEfR>kpP!SVx>3uc}?i;V-tfc$2+>9}_3XC+f~VWg$2|W02+eTo=53p^9U9>Cz><68zdt;e!VyIV!0;+l__bsLUYCvAZsKtD=fyP2|{v znAA~~I63xIcUFys;Mj{nmZQ2Zc-vbQ$J)qIgP7E@4{>tTRCl&73&Bx~L6&1bUGP?0 z700^Bu|F}XqYiO$9H8#3E(^hNAcHJNJzem2kSdPXBS(E=Qpdr>$g5z)oS&nA9;Oz)i92+7>b7E4*k;KW-Lfu(Q z7J{P{gDl5Uy5Oy~DvphjqYW{sqb+fA9IfuG9Sgy641+93dtLB$tSXL8k)s1KspB}} zd59$#JH-vym(W$0!C_ zj?uc{ZHy|8Pa?-yVp2zeI5|w+**F%0!!yWojMoKk6I5}07CFu$CUs0CPL8wHolRmP zIL={^<(RAs-lnMH_#$#lB_?&8OPn0j)SaEjLU5eVAj@%qE_l086~|YR<04{G$8_T4 zxLDoU3>Jdp5(Zh0nY!TZQdJz^M2^ddNgbCHC&v})&aPx3IA$@(a$Kbg-mX@~@m=J& zhM3ebn>abHRd;qB3&C+cgDl4ly5Q|bRUAJ=j+=-{9XAsv#~gKMx3CZ#w=&3b+@=fO zZdb+eQ{=dVnACA6adOR3RW9FM3wTgXCiJjx);u}BxZJ*JA|kI1o@nAGt&adIqC zclHDe!SN)6EXPy2;BBcYj=v(u)5N5XWyHzxjJmVsECk2146+<6bivzmsyP0M94m=Q z9nTXd$0~JaFR&0Cs~KcDUepC|FR9`vQM&m3KVBv#b*v#yj#t#3tz{uNUS*KwSf>l# zUQ@+UDssF|OzL=pI62mjc-yFoqfF#@o0!zGi8wjlQFrz(3&HUo zgDl5pUGVn4Dvq*|;{#$+$A`qpu|?h4M=S)#Rt8y)k9EP@C#pEgMUGF2NgbaNC&%aN z&c0wFIKE_%<@ib$ynU^TqkQD}hM3gxEpc*ur|#@~7J}mk23d|Db-~+DsyHe{j-QE1 z9lsDK$FJ(neq$jxerJ&7_(K=G{i%whV&wRXnAGt%adP~l?(AO{f}_OFxsH;$;H{J@ zj!KcEw4QC}C_|haJE%J=%R+GM$RO)|l+y)oJE`KR968DplfI9giIby(y0cwa2#$&j zvK+hWg11VlII2XB-H1sYm5GyMcXek~SO|_i7-TuB>VmgDRdG~}9Mydp>gAvo$Y$Z{O43*H*2;;0ch8WNK_8WAVQA?nT=vk)AIGRSf?(FJdZsp6;^ zIhqoaIu0jJj%Mo4j$k1;nls399H|T5TBzcv6**cGlR8=vC&y9h&RVk&9Bmk6Ioj%i zx1&{Y)Q%kOh)EsC5GO}_b!W%25F8yCWI2x01#cZyany+%#}kt}IuR#FXLV;?SO|_2 z7-TuR>VmfuRdLjf9NmaX9VZbdhf{ZUG7G`cok5o46kYJvLlsB8$Z;w$siP-xa-62_ ztQQNxaXN!6M{iy5c7`gB`jMj#F{z_3adPxich;YU;26Ll%P~+FybV&t(I9dRCMIduC-5FEo9WI0CYg10kOaWsk?BZ)~JqllAZw7Rn~ECk0`23d}RE_gFl9E~H# zIAT(VCr*y>>dq#x5FBSQ$Z|~71#f4o;%E{%CJ~c5&LK{Y$?DFgun-(m8Du%m)dg?U zRB<$o9On^}I?g9fjtkVCUC2UkT*M&DF%{OOzOCVI5}pjJG+#H;JA!I zmg90=@OFhNj^>f$N@7ySEaK$2O5NGjECk0j46+=vb-~-UsyJFij_Zg?9oG{l#|`Sv zZe$@iZeoz-xLFsx%~8eCDstRHOzOCmI5}=pcXm4q!EpzJEXSR?;O#C|9IYeA-NdAh zdx(=`uDY{(SqP4K46+>e>4LZWRdKY991jqaIvylWj)&Bp&1WGv9%hi`SfC5u9#O^7 zE^;g+CUrbYoE(ePojt}va4cq!<#=2dye(11(LQoKK}_m+k~le@Qg^nLh2VIaL6&2g zE_i!J6-S52v7DIH@how2tWbCM91Fp*l0lZ^d0p_fN)<=P$ngR(sbe*9a=fVS>?Ib0 z<7Ea}jy1aA?G;rVog&9tVp7Me#L2Nv-Pvm_1jp+PvK(*dg17amIJ!iRH;G9d8;FzR zEp=xbSqP4|8Du#&>4LX+RB?2T9Pbj7I^H8rj?L=M-e(~=K46gL_)r(TZBfP1EpmKB zOzPN5oE#skJNtx%;P{k5mg6&B@ba$gwvusiOvQa_pn-tR@S=u`h!xM=f3Owx24F z0g;kw|hnJSK9k>dzrQb%**TWEHSC0195U3 zr|zsH3&C+bgDgiUUGUaf702kv(S?}QaRPC2bX9kDA`8LMjX{>Www$kB_K)Nwj-a`aYrb_NT<(T72nqpvP_>!*st zM~?o)q>cf^$uUsf*&r5zV=#j(#}HlcHdGbIgvc?BnA9jsoljCxAXIHQg99J^Pa?H{NZ&#_}I6rb+O-$;z zhB!H9t2?`vh2Xf3L6+lsUGR2;Dvk>y$Bo3Kj+=;+<7Rbdb65zDTNq?HZq)^Ex2fWo z9yx9&CUx9FoE&$mJG+a8;JBMXmg62>@HST!$Bf8vFEOcO9&vKqr|#^27J}me23d{= zb-~+1syJpwj`_r-j)#epV}ZJ}M_34sg$%MBkLrTAMXES1iyV&;lR6d?C&%OJ&X%wc z98WOFay+RE-kws$aYf`zCaiiO~KfkBpIwJvyjQ5DD4k>e#|Qpd~0$+1S=*()pr$65wij#qWT+d5Sovm?iA z#H5bbiId|Eb!Y2Y2#z-yWH~nIg15I+aa0tP3q3xVIer)Wsv1~PZzvx zR>g5cCqm-U) z=P0d5ILfFy+ku7PD9a$rv7;_{E2oO%?#QtdG3om#Pn;Y(t2?W}LU8QDAj?rv7rgDN zieql%s6cb-~-gsyOCHjt0b}j)ug^(Ma9dAuI$(V+L7{Lv_Jh6IC1wBFACGq>iS< z$#J;4vt}#=#}N#&9L;sX+mWg`7DkR1#H5av#L3Z0-Putr1V?KIS&lZk;H|AHjzy8< zXkt=FJL2RxM%`I^7J}ng23d{{y5Q|NRUC^WM@M2($MM9;(MjD|XBL8^3xh1j3A*5| zt16Bqk>f;SQb#x9Wj*-O4F-qOpXcmHF41+AkSY7Z|P{pw#au_kGV;pgE zcy(vvSqP2^46+<&>4LY3syJ3gjl55ljD4KXBV\YXka$KYf-lnVKSRFYoCMI>vAWn`;)Sb;_Avi8&kma~c7rb4r zisPloaRo7{<4WS>n5FLQDi(s{Y6e-3YjnZeY*idk%|ljC}IXE(4A95*t^ za@?c~-fmXKu{LtdAtrU)LYy48syn-lh2XfIL6+kVUGR3NDvouL<1S)S$KAxqagVyQ zxhw?7y$rG(^K`-6eX2NKj~w?ClR6$CPL2oFojt@taLi|r<#<>Zye&}0u|9G7rZ^Liep3MSVBzdc!D@No>X`C6br$zltGr`XNO_5_2F{$GP;^bJZ?(9Vtg5xCyS&o-= z!P^>D9PdVsSBOa+Yl)NNRdr|USO|{S7-TtK*9C8HsN&chIo1=CI^HBsjt%P0-eMs* zHZsU^ysZn~HmTzHAacAzOzL=-I62-^cea^@;CP=wmg56m@b;l9jxCX63o)tVBjV)P zs_yJ#7J}mw23d|zb-~+bsyMbrj?aln9bXV9$Cv8PzG5LbzGjf+_(m7JeXEM&lgRNM zF{$Hw;^g>2-Pw;U1jkPdvK&9_g128(aeNjzekCS#{6?G{zpFd@gN5MulR=i_FJ18V zwg`ylcPjM93@q^IZElnJV$9=@K#0@$5)YK2Vzo3S>oi_QQcWN7Q*}3 zi9y!;D6b3Nc2>plP2{LROzPN$I5{e+JKL3o;HbnP%dwj-c&n_6dp>kAvhW^$Z|B)1#gX1 zar_oJ4k0FWG$u}tL)D!%VIepUW02)&steu@SHNtWpIhw0GJCcRqXu%-M z(NY(@wNl0LSL8T~nAFjlI62y=J8R2Aa2(Ab%h663yd9&8Gjze*C8{_oM~<1qq>f98ljAaVXP2`O99J;Na$Knk-e#%ds1iA@A|`cQ zO`IIps5_g@LU3HmAj@%`E_l0M6-U*`aRV`_<3{4-xJljF%`61R90pmATXezOt*SVx zMULBuNgcNnC&wM?&hBI(IPPMQ<+xiHyxpUUqk80+OHAsxmpD1*sXM!mh2XfKL6+kI zUGVmxDvlbF;~`>F$9&@Ccv#)p0v3Yf5e8X~g}UJFQB@o@BgZ0QQpaP&$+1}7+2bq( z#}Wovjwf`%+mos|YDJExh)EqwiId}Lb!W?12##kMWI2}Wg12W?anz0+D~L%Q&k-lb zN_A(?vk)As7-TtK&;@U+RdLjb94``+I$k19j+fP)tzjWJUSW{sSgQ-(URA|WH*%~a zCUv|2fLBljBo$XP>bU9G^4D za(tl+-o8}D(I|3!MNI1Wnm9SWQFrz&3&HUngDl7Qy5Q{xRUC~Y$B)FMj-QB=<7ahe zzpxM-zcR>j{H6=uepkiOBy#*gOzQZPI63}OclI|6!SN4+EXTjP;H|{2!O=8wl+?5B z9HsOKM`?9uWmpJ~9T;Re%Ibo*9aVWB%_2uRV$%1q6LE5sS9i8E3&Bx=L6&0|UGP>> z6-V>Pu`4mDqY`m)?56IlG7G`6JA*7o6LVp2y<;^f#@-B~Rbf@41hS&rJe;B9|Z9IYcq9b!_)0mR8sSKZlx zECfeA23d}SbirGFRUB<2$HBy;jt0cZ(NNu4BNl?=5C&O}#=79`P*oi5B1aQqQpaJ$ z$7Uljw5uzTXR($?IXvL#H5ZE#L3Z8-B~LZg5xL#S&r7a;H`}+jt-Hd zEitL%XyW8(r|#?+7J{QagDl6fy5OyYDvpkk<2YhcM@Qo1I9}aZCl-REGlMKg7hUjn zf+~(qk)tayspCZA?9U~!!gKmoU9Apx~t;o5;;yGCUx{6PL5O6o%LiPI8I}b z<>;jg-cDD=(KT}PCMI>9L7W_Y)SdNZAvpRm$a3`81#bgXade9u1Bpo;gNT!3u)4D$ zECk0;23d|_y5McNDh?MpMi7%a&LmEbk?PJyu@D@i8Du%e=z_PgsyMnwjsh{M!-$h( zoVqj5LU4>{kmZ=53*OFB#nB^jOe7|CoK2h@lhmD^!$NROW{~BWq6^-ps^aJwInE^} zbxb2pj`P%=ozFsWT)-g9aiK1FyGRvBugEc-nACAGadOO1cXkO2!7-CTmg7=g@OGIh zj^2^ua$-`)6~xJLrMk0OECk0@46+w>pyRB`l)9J7f@9oG^k$93w?u4f@QZeWn* zxKS6p-K2`6U*x!%nA9ROzL=q zI5`%oJA0Ic;8?^U%kh{lcw4NBV_4*PoS4+Hgg7~#Phz{QpYOdexb@93QDW z+sZ<4e9R!r@rf>Y`&1Rjgvjw3F{$Ho;^g>3-PxBc1jknlvK(LQg12u}aZHRH-x8BL zz9UYK@710Cz(R2R$RNw{lP-AsSrx~m$ngs?spD7Td(ja+Dz^b?iW#9A(v=?Z`rSALSTi zy^o!A!CQG%9MdAl&cvjS3dG5=i@LLlECk1{46+=RbivzhsyNP%9F>Vl9lH}JM-_Ev zd$153RT*SC_S6M$)l_j@7&-PLCUsONPL93Roz-9=IQC(X<*2C(-u6|+F+FnBA|`e0 zN1PnB)t&9nLU7b!kmWc)7rfO~#W5pt97s&+s7IU}2dO)&&q8n<%pl9rKo`6!mJnAFjXI600`ch;PR;5d>&mZOC( zcx$POOr_xGr+^Bqnv7Mw}eI)SaEqLU8nEkmWc-7rgaR#c@OA=u1rM z=trC!{necfU?DgLGRSfa(gkmWRdL)DIff9EI))M_$1rtg!&wN95e%{%XX=8tk*YZ6 zM2=C!q>j8|<(Q@m-p*6SacAT>pP1Bf0daC%sP60{7J_3s zgDl6zy5MbwDvrA&$0fw1j+w;CajCkq%UB4G%Nb-juFwTQUay+98-j=K4SQI&)B_?&OAWn|w)Sazl zAvm6AkmXpV3*KH(#j!YYtR^OPyhxlJFR43wnT6n3!ywD?iY|CttBPYu&j!)E`eab>`e8wQl@wqN| z`$84R^2qTeF{$G#;^g>R-Pt!R1jn}wvK-&(g17Hgajb|OKM<2Tek4wgpVXcG%tCPd z!XV4>t1fu^O%=z=$niTdspAjgDvs5WV@G1r_fd{GId)QaR-T36*qK3=qk=AY+eH<}OOc}@ zF{xu$;^e5L?rb*}f}=8nEXVG;;H`=(jx~{E4`NbBRpR8>Q{7oL7J_3h23d~ky5MbZ zRUB(0M-5_9$3Dc#QB&R7zAOYsEe2VR{dB=wZB-oWBFFy3q>eho$#H4LW-RB>#G9Li@4 z$#Jy0vvw>5$1x1D9PM?%+p(%RHbssO#H5bnh?AqEy0hb12#!t+vK*at!CMzq9PdVs z6NpJ2U5S(9M0ID~SO|`j7-Tt|E_gdx702et(VdvoaSCyA^iX$pDht8UlR=i_G+pr4 zOBKflk>hk?Qb%v%dr>85FDczWI0Cbg10fMI6jFSV~I%}1>)o|b!X#P z2oBF6%Q0RTyiHKW@mb_JiLXsp&k|arzBuPk`BuSExBxyG!Ns=TjdxL`AvoqS$a1``3*P3d;@BTK-XSJ+EFeyfch#LOWFa`-W02)oqzm5OSH*E4 zax5k$b$mda981)leaJ#^EM<`8_(&JLEmOr&;E@0O|BsJ}Ngd0Hlj9S0XDe6;j!zk6 zIaca|x6f2@6pS3Jh)Erv6DP-Nb!T6&5FBe5WI4Xn1#fFraTJOiUlEf!))6Pi*XqvJ zvk)BLFvxOj&;@Vbs^TadIW`iLI=&-Lj!o*$zGopgHZ#a_{Gbcowy5GL5;=Y(CUtBj zPL7|{oo!~iCB^IS!~h`iSz=PhvBb$y zPTkpYECfe+23d~db-`N&RUBm_#|gxwj*7&|aiY4jN-PA&Ner?am36_}$*MTYMUE=O zq>fXFlcTD-vr}0Jj%p0D9H;4mx9X}m%14gViAfzbh?Ct!9d&2tun-(|8Du%m)dg?$RB=>{9On^}I_eWA$NB2c8n6%?7cj_j zG}Hxe7pmf@6ge6ZlR7RUPL9Uv&MsylIGQlXa$KSd-kPf7s2n*iB_?$=BTkOy>dsoQ z5FD2=$a1vQ1#g$D;;0fiS`m{vt{_ehr|#@Z7J{QSgDl5Yy5OyiDvqj=<7#43M_c0L zxJKPsI~IcDS_WB;_PXHhI#nFiB1Z>eQpfeg$Q=&$bV9u|UQ0D~;Y zy}ICSpel~qk>fsMQpX_T0>?Lk!>bt1=5Vp7LL#K|#C-Pyw| z1jld&S&m0^!P^K`9Cahdqr{|+k;KXIn7Xr3ECk2n46+=fb-~*csyOOJjxoffjwgwe zW30Nfr&tJ%aSXB?PwRrW@v1oLM~-KRNgWf2ljB)+XA@Znj^`L;IVS0Xx93%HG>9CN ziAfzV5GThJb!RWK5FAq(WI0~a1#i<-aWsq^FB6kGrV}T}E9%Z>un-)tGRShw)CF&^ zsp4o9Ic5=)I$kGEj@jzY-e4g(<}k=|yr~P`=Bnao968=1CUwjsPL8+Loy}(%pl9LTo=53qKczgiCp6IaaDW`;3L)Sj8aA@wqN|Tdj(tMdbK`nAEX` zI61ylcea*=;P{F`mSdeRc>7uvN6W~uo|x3}4RLa8P5Ab{Gje^3k$*VBZDl*R$cJ+lPV4uIkpj#I({Zjj_vBseqkXvb}-0t{HhDy zcB_6-VdDaVjyXqZ)B?oTl!qIt#&ZI)f}n z4PEedhANJ(k)tLtspCxI?{_7qc(#q$Jx5zt&S>=Zjs|0Vp2z4;^a72-B~>r zg5x{}S&sU;;O%@>9Ni;F17cFg1;okGP~F*uECfd*23d}abirF=RUADc$Hl~?jwZy( zaf!OKrYr=( zOzLP&oE%rFJ8Q#2a9qtG%h6UByj`P;!y-pJVp7Mo#L3ZK-Pv_41V;x3S&r*gYwB9Ji}GGZup54hC5cuM6IKtK#SvIrUf+uIYz5HdxC}F7{egT@uV(z8>@@^mGV-|xf$LqS_ZMG_o;gRDFVp7K(;^cT!-Pv3g zg5xa)S&n(S;O%Wy93vvfd}30^JH*McK;7B9ECk0w23d~xbivyqRU9KD$NR*jj>W{u z@qxOtB`gHThYYeDOLf89N2)kRMUG{}q>hh?lViEMvrkwEjui~D9G~ifx0R|mMn{g% zh)Er*h?C=Ub!V$t2#zlpWI5L8g10YKag2!^Yl%r6UlAwAI(27Xvk)BX8Du%W(FJcC zRB?=r9N!X?IyMp~$9L+^Hn9*K-!sT^Y}N&DKd9mu7df^NlRADRPL8eW&VFJcIJPm! za{R0d-nOga7#}%)AtrU~AWn{7)t&8RAvk_xkmcB=3*LTL#W5jr>?S64{6U-?d(@r% z$wF}KWsv3gOBcNDQ^heca{Nt9>ex@59RH|0JHSG4{L3KAQJ@r#gH&-$iW~*??SC8x z>l2Pb>dp>fAvg*%$Z{O23*L&T;+Pyc4kIRgkD|oMak#p(Vk`v55e%{%#dX2kk*YYR zM2-@~q>iJAlcS`%v!huEj#3P=9LMN_x6-OOrbdo3#H5b0#L022y0daD1jlg4LY)syL=cj+2Q=9aV^v;}msgRapp* zQyFAAs_BBa(^PTHh#b|4NgbyXCr1r+XJ@bw95oqaInLAtZ?#l$%#0jo5tBM<6DP;n z>dxx05FF<)$a2)x1#jo7;+PdV>JgJV&Ld8a`s&WkXCXKmFvxOTpbOp_s^XX(IW8n7 zbu=PQj*HZtHD)0=E@qJBXrc?=E>XoXCvr3;CUsm&oE**6oi%46I9f2sa$Keh-dd{S zm>W4RCnj~YB2JDg)SWpNg5ydCS&r7a;O#0^9P=Va8)8z&)x^osR^8b(ECfe823d}4 zb-`PERUGpp$92S{jt<1halN{;jw}Sn4Ggjzopiz5jjA{nM2^nHq>e7c$hspj+=GCTX$6)3nRxZ#H5ZM#L021y0e}v1jlU*vK+m1!Q1VsI2J_?BPMm+L7W_3 z-C1uIf};VDVE@DzgKjP%LTiscI7J}m*23d{)y5Q|zRUAtq$3S9I z$9=@fF-YCn{VW8>UiD)$?=f7vtcX*$HNS=9K&_N+aszt zmPL*c#H5Z#iIZcby0gbv2#!$4LYXRdK9{9OH>e9nTOa#{_j}&$1946B%SVp3?l6j2zDslR737C&vrw&Ze*s z94|7+a!l0)Z!f9hSQR;@5tBMzCQgp&>dszaAvk6*$a1`@3*Kg`;#eIyULz)T%py*X z*VUcPW+6D9-a?B+rb-YEK9P`wjz0E>!%x940ct;n!El|a=Hgdd6 zOzK!joE-0|J6ps;aJ+Nl7-;-j6s%Tl`eSuTouQL$g!H3)bRyza;#Bz_9Y9!v6exW z<11b8woVnt#>nwCF{xucadLd4?rZ}K!SOAFEXPJ&@b;Z5j!ltc6EUgdd*bBStnTaw z7J_37gDl67y5McADvr&O<0oQL$2Q{R_*vcAb{2x;7Y1359lGG{S5+KaBF9c*Qpaz^ z$+1h_+3zd_$8H8$jz4t4+a6UMTO-Gx#H5bB#L4lOy0d*O1jpYDvK;$$!P`HoIJQNO z1H`0`e~FW$z%e)uQvHvkpnm2#4%P*4g;a5Dj~s^(lR63$C&!`c&Wf-Q-s3O^S?^I) z7rY&=iepFQC`L@`ID$AiimN+2l7-+X!63_VlrDHHsfuG~FFh2S`uL6)P6E_gdd6~~^)QI(j~aVl|gR8x0$8VkWuok5o4bY1XPLlwu~$Z-ZS zsiP)wa-6B|tQHHwaTbFtM{Qm3cD5>xeUYOMF{$Gm;^e5S?(AF^f}5j1b+jN(j?2`YwPYbUE@zPCXr&9@u298MFmgCzQpc6V$M#n z8;Fymle)7TSqP5K46+kH&lcSfqv)fq+4r7qzxI-7bc~u<6B1dmxQb!-+*h{luh>!Nke&fV#6GECk1c z46+4j)#epW4OArM_34s5e%{%kLrTAk*YXKMUKaaNgbnzljCu9 zXQNpNjwcvoImYOMwc5&k~b5 zCK4ydbL!3}u@D^3GstpG)&*}bsNyIWIi?VkI$k7Bj;ZR-USc6QrZLEJysQh}rmNy8 zA30tjCUwjpPL5aAoy}w+I9_9r<(Q=l-dfL7W_O)SbP_LU7DwkmYzw z7rf0=#ZfVGyiH8%m`|J>@2ERlz(R1m%OK0KP#3(tr;4LeUf_xITous`+$Yu zSi&I7@u4nwTdInqa^(1knAEY1I5|F6ceb2`;P`|=mScr3c>7cpN0rF2l9<%-8F6x~ zQg`+_3&F9PL6+kSUGTO>6-U*`@g*^-V=ZxVe5LMe9SgznHG?e2dR_4LjVg|6kz)ff zspDJX^l~MV-tfc$M?G6ZL=zl>XG9IVp7Kz;^g>I-Pu+ag5xI!S&nVG;O%Es z95o`xc4AV;FT}~QL*3c0ECk0+23d~Zbivy$RU9=V$M3|Xj@`t`@rSyzJuC#rpA51b zdv(FvU#d82MUH*Mq>jIdlViWSvwv6!jspy`9RKQqw*sYuqjuytNZ4LXoRB_ac9Hog#9c74r(NgWl4lj8(+XBAlpjuRPVIV$Obx06(HG>9CPiAfzN6DLO%b!Vrr5FAw*WI0aN z1#i_FUmEun-()FvxP$)CF&6s^VxAIcgD;I?f_aj@s(Z&SoJv z>M+Q1oTCfg>Z;;s968PE~eVk$#J#1v$iY*$2APH9PM<$+qJ4V zT1Jlc#H5bvh?Ap(y0hz92#$^nvK%+)g11hpI9f%H8;MCBor#m9i@LL}ECk0*46+>E zbiv!rsyJNa=uS-PxP>@5dZ;_Qm4)Ew$so&dn=W|krHZ3< z$7}{!jyH6{+ZW>w>q%syKQ?jt_`Q9ZQIl<3n|4OIZkxj~HY*mg$1Gk5zH>j2z2} zNgbaMC&vnPXP>eV94i@QIX=?`Z>v;s^oksx6O%et6DP+P>dw}%5FB4J$a1XJ1#e%e z;;_iEj+oT(HF0vRS9kUe3&F90L6+lNUGTP16^D-;-w~5KHW4Ss_v+3zvk)9VFvxOj z(FJcms^aJqIkpm$I({Nfj&17Ber6#!wlm0b{GtoqcBta$8##U@CUxv2PLAKyo$X>F zIDTi4<=CwY-u_U<(JylBAtrVFNt_&e)t&vtLU8P3kmdMW7rgCP#nC@<{6kFYI6#~n z|EfDHQ0BjmgY+}cQBW7W9juCDK;$SyOzJpy5Oy-Dvp7X z<8We9M=|2$I6~c7aTbE(NCsJs61w2+C{-MTB1cJLQpeH6$x%w(*)c2xM`;FGjxxI7 zt*k1J!I9%wVp2yr;^a6^-C21Sg5!7wS&j<2;Ozue977^UMPgFNiNwiKN!{5=ECfeo z23d}ib-`N|RUAVj$0@|5j;h4TajLqrYAgiDX$-O))pfz!>8dz}MUEQ8q>eL)lcT1( zvol!;j#><|9B1i*x7w;WhDVOGiAf!Gh?C>~ujE)>v5R*C_adKR#?yNNn!EqIXEJqt% z@OHH-jxmv=EitL%8sg+=r|#@p7J{QagDl5&y5OyYDvq&{<9cFJM@Qo1xIx`nCl-R^ zMh01q&br{Oiz<$Bk)tayspBT%}D2%qdS8v$1S?xt%oX(@sZ;^eqZ z-B~Xdg5!1uSq{?$Z+EETm=HNUF{z_BadPxgcXlTW!O@pNmg6p6@YYWi$Hd5SH!-QB zKXG#0qwZ_~3&C+OgDl5DUGR3FDvn8!V-PW^<9_1g7_9E>0TzN|2!kxggSy~ts49-h zk>ep^QpYgjDzu;}Hf~juE=x?NL=6QzFMmVp7Lr#K|#A-Pz+T1jlFwS&k=k z!P^*B98)95lfKb-~*+syL=ajtRu1j%SIJW1_mV=U51i zNer?a&+CG>$*MS}M~)YWNgY#&ljB8oXH!`Sj+Yo@Ii~4?x0h9M%!nM*iAf!=5GThB zb!V@#5F9fZWI0~b1#h!damFsp6OwIpz_Q zI^HHuj``}&-eDm)7BI+iysHb|7OLWy9XZ}3CUq<#PLB80oh@b|I6h#Id`e8}SV^25pQ$@r#X@j=&LGRN zS{J;1p^9T(iCj4Io7H>`-+9&SjQmC@wF~^Td#^^e&qOunAEX>I61ymceas* z;P{R~mSdAHc>7)z$AZYQnV8h^195U}QFrzu3&F9KL6+kuUGTO|701HJ@iQ^0V>@wj z{G#q`2MfXRD}yY@PF?W!n<|b)kz*GzspEIz<<=#V-JHY$Dg|3ZLcbh#gXGL zVp7LG;^g>S-PwK?g5w_sS&jp`;O$>k97`fcfwKRf;~;&)QBd94!7KzvAqH8FLv+Dg zVO1PUBgdh{r0-FLI5`eecUF{z;5eK?mZO+1csoKB$Fj&#oS4*cByn<-P)702?(aSSo3qcm}Hlu>t9mWALrmO+-IoGy4fP8G+B$Wfk{)NwpbQzHIohZ@yPAdIXv-kWag8o`Yp051W8}D&nAFjpI61CU zch-T0;JBVamZPICc)LLr$EL{9iI~)JBXM$cR(IBgh2ZGQAj@%+E_myvieq!+xS5#L z(VaLsZc%sEgN5L@l|h!Hr!IKAO%=zM$kB_K)Nwm;a+tcaJ6H$~&mhauTNk|bQN^(} za@gY?H9CxWZ>&HTH+|3}%(O(z5-J^C=0$niKasbe&8ay+5#Yzzy*@g##R$5>tP_LM4)U6ErPF{$He;^Y{w z?(7*Bf@1=MEXT9D;BBHRj@^;tIbu@BB;w?FUftPb7J}mi23d|Ny5Q|aRUCUF$5dic z$4kV?F-_gs%Pa)PbOu?DS9HPK3{@O^Bgd=6q>h=y$?=-Hvso+z$LkET9J6)7+Z(Dl z_C=04#H5ZliIZcly0f=f2#$FSvK(*gg17mqIQB=5cZf+H3y72BU3F&*SqP5z7-TsX z>4LZSRdF1M9E*ub9Ul-U#}ajCAF>b}OBrN2KGFqm%T#d`IQ0Mi|Knp~Qpa-QwYszQECk0l46+;>biv!VsyGTqj*Y~mj_-(*W0ShG?^y_r%?z>}Kj?zDEvh(* zM2;VcNgZ2>ljA3KXWLi^j-MH1IkxM9w_j9o6pb7^h)Es45+}z_b!We^5FEQ0WI2A< z1#i1maTJRje-M*8_7Eq>pX$!`vJf19G01Z4(*{$(LJ z3LKm3I7k<~6;#DhB61w8Z~x;cM4TLls5>jnLU0_)AnQGf=z_PyRB@Dy97Tyq-{WxN zs$C0|=t%NF$Qjy~*Vp2y*;^a75-B~FXg5wwlS&q`W;H``*j?$5% zEHSC$SmNX;r|#@H7J{QZgDl7Ky5OyXDvq*|;{;+-M@8b~I8ohMB^H9?BnDZI%DUj~ zWK|sHB1aWsQpYL8$x&6^*{Li9M>Pgnj?;9(TXj_&O>Vmg=syHe}j`N5~9rcNm<9u~z z4Oj?{3m9ZM8tQ_#3srGciX4rINgWpvCr4v-XBV>&98DNxIWEx!Z%tKkRE`{%5|cWb z5hq7;b!RPD2#(7bWI0;ug15_6aa4&Mt%yk-R}d$MQ+IYH3&GKvL6+kxUGUaM6-U*` zaWyfiqb+fAT%+!+9Sgy6ErTpadtLB$ohpuMk)s1KspER$;@KsqZ5NH$Bnw+ zt+OhQ>XD-hF{z^~adOt^jCLw z4-3IDfI*hyUS04uP!&h*$Z;Prsbdgva@?=(Y%mMK@c@G?#}Hlc_Mj?`I+0^2F{$Gr z;^Y{n?(AU}f@3&?EXO0d;BAB|j=GWKQDRcZNaEypOx@Wi7J}n(23d~Ly5Q{zRUGvq z#~5N#$CJd#F;?B#Q!E6>I0jjcr**;GcvT$rBgZquq>c&1$?>eZvxzJO$8!v_9Fugx z+w-b88bprC#H5ZFh?8TAy0aHq2#%=?vK%kzg12d^I2uNdmx)Oo(}|Pg6?JDbSO|_+ z8Du$T>Vmh|RB<$l9J7c?9j_B7$82?HZ?F&?a~Nbf-qZzeb5(IPjvQ|hlRD-RC&%0B z&gQca9Pcp5axBmVZ||z&Xc9RV5|cXKBTkM*>dxM0AvhK@$Z~w33*MHf;%FK_aD2re%dt)uynU^Tqh;h+PfY6ghB!Gks5|?Xh2Yr8Aj|Qc zE_mCdilbHJ_@0>5v6(nIeo%L|g@xewkwKPYt1fu^Nfn2S9NUOV9X}H%$98pRzpxM- zI~Zg+e$@qUJ5_PCjvT)clR9=0C&%yV&UUj99Dgv#a_rFsZ-1)dXcIa15|cXqB2JEd z>dyXVAvpFk$a4In3*HW>;%FN={v{@L6et%Q2dO(NsQMqr!3?q-g>=E&A*wjqMUKM6 zq>e+0(|Z(AcXk*H;XR5n$Z{O63*L&U;%FZ^jvyv=6emuOBh{UiU?Dh;Vvyx1sSDnY zR>jdFa+D$_bsR&S9HrHrm0=+`$}-4u9IFf7%BkY$7&(q3CUul2PLAW%omF5VI8I=Y z<*29&-cD4-(J69NA|`d5M4TLz)t#NpLU2@JkmWc<7ra$f#nCx(oJvgUs79O|r>Q%u z&O&gU&LGQCLl?ZAp^BqxNt})IcljpJBx+jsLdeDakegatD}meTjV&0nAB01 zI62N$cUF&u;5d&#mZQEdcspMeNB79lfSA;A0daCPRCjhE3&GKdL6+kpUGUae6-STA zaWOHeqX}_xT%zu*DGR}IDT6FWGhOi3Top&p$kBqB)NvVcadrc|5FA|?WI4L(g14JgarB8C-H1sYHxnmEcXemC zun-(Q7-Tta)dg=oRdMu<9JdjZI(iW&$L;FQjD_I1gF%+V>w>r5syO;Zjy}Ysjys8y zqp!NNyI2U0ehji4ck6<;{;D|oM~-`lNgV@-ljB}>X9HOXj{6v7IR@#1xBFFb42T?q ziAfy~5GThFb!QK<5FA4pWH}zv1#iPtaSV(c4-=C*h7%{pBkImZun-)NGRSg_)CF&k zsp1$EIYtqaIvyuZj?wDQo?sz3#xTfoJgE!b#;W2N966pMCUuM>PL8M5osDN9IG$mU z<(Qxg-kw#(F(h(KBqnt{N1Pm!)SW%gLU2rGkmYzm7raeT#W6H;yhu#ym`a=+FR445 z#zJts%pl7#T^GE)qKac!UfnnIcBOmdyR$Qn8hH=@wzT}o2`mtc;tA4nA9=PD(V+DgO$EUjB zZKW!X(UIdbVp7K{;^g>T-Pvjug5wJYS&lWj;O$FQ9AhHKT4GYiSH#J&PTkqpECk1T z23d}8bivyORUBg@$G60!j*Z00@twM}O)Lb*_YATen{~n452`rEMUE}Rq>dknlVhv8 zv!7T9j%^IG96#%Vx9zGp#z&4{h)Eqgh?C=2b!R(S2#((vWI1-}g16sQaZHFDyNO91 ze-J0f9(8AbvJf158Du&B(gkn(RB=p<9Dfs&I`$JM$3N=M4zLg$|1!vO6gUpYL8>?= zMUH~{_CJn;^$ABIb!UgL5FCXWWH}Di1#d-EaZHXJhY^#$M^WPBI9%OXF&2X32nJb> z;=17NNL3tDB1Z{gQpZum$x%|>+0iTnM=1tbj$?GeTWM7sQzJ(iVp2z0;^a71-B~#n zg5x*_S&s6$;O%%-9Md941!7Xi3B<`!QQg^zECfd-23d}ibirF?RUFeJ$H~N`jw-~- zaf-ULsw@P@sSL6l)pWtzX{tD8M2_mjq>j^xlcR>Zvolx-j+zXz9B1l+w_2(=W=4*) zh)Er_iId}Ob!T;02##|YWI5{Ug12*3amfbm#E^H6FHg^lR7RXPL5{k&YH6j94#1R zIWE%$Z!J}E%#9qE6O%ex5huqL>dqVs!Eq&nEJtfy@OG6dj(L%z4Kb?Rh1qZ@-P$IZInt-C6Yg^}YHVp2yB;^eqh-C0i-g5x#@S&m-1;O%x*9E&1{ z5tBOZAWjai?yNTp!O@37mg7!c@YYuq$KuFw7cr@$A8~Trt?sNp3&C*@gDl4YUGR3V zDvl+QV<0i9<38f#7^Lp(einjbFoP_|1G?aCh$@by|8;b!dXGIwP%0Tppd=5eI~&GA zkUY#FOEO#+ygj0dWZ8cu_t*$xQpcmj$uUyh*<&mO$0!C_j>mPu+h|oB%Ol4V#H5Zf z#L4lby0ft?1jkbhvK-@d!Q0cSI95cC@x-K#XNZ$yg1WP3SqP4a46+>0>4LXOsyJ5u r*U_bU=Wb=1FYQ+5vg!w^jHK+Qv@NJIpHlH)mBEy)D!qGms`38-@mS;5 literal 0 HcmV?d00001 diff --git a/code/experiments/exp-FixpointExperiment-_6511565864900101-0/experiment.html b/code/experiments/exp-FixpointExperiment-_6511565864900101-0/experiment.html new file mode 100644 index 0000000..bab412e --- /dev/null +++ b/code/experiments/exp-FixpointExperiment-_6511565864900101-0/experiment.html @@ -0,0 +1,7 @@ +

\ No newline at end of file diff --git a/code/experiments/exp-FixpointExperiment-_6511565864900101-0/log.txt b/code/experiments/exp-FixpointExperiment-_6511565864900101-0/log.txt new file mode 100644 index 0000000..e69de29 diff --git a/code/experiments/exp-FixpointExperiment-_813945717034465-0/experiment.dill b/code/experiments/exp-FixpointExperiment-_813945717034465-0/experiment.dill new file mode 100644 index 0000000000000000000000000000000000000000..d0f1e6f37b6c44af4ccf87ea1004b03e289dffc9 GIT binary patch literal 57574 zcmcJYca&7s()P(oqU4-&kO2l5X1dAAQNlqGgcb=ykl4i`+XyI02@(WFL6RiNl9}!i z6chu90R^<+t({@8Aj2<;~r29V>;T%2lqcAdMg4=hfnk{RXFu3Fiuhb4S8?YV^#F%D|!HQe-f2!}ld;?U@Tt1`VCicT$Rs z3g=Dkm)^n$que1W63&NlIWt$A8a`|8A-Uk~59%mp)>^sIeo#FeY4ZNS>ZW z(E!vGNg3k~9XYr!#-+252^R{5@9&uv<$*&bT)1aEe)K&uv@ z@8A@-Z$H2|52WB zmE=q_!c|*m?jNo;D_q?P*Qk-4Il0J;aLtUyf$qf7aIV!e3!Dcv3fE4~l$?21xQ-L9 zTLb5t8BdeK^*VLx^x%K^PkKns3_lxyWvhm$UZhDIddr789yz%D3Y!uah!0s43bCENk*5d7}UDeDtDSzt_E+$w6+~T z9MuYUcf&nM!mWH%A@n3dFDLw1214(2gtyCeO7g4zVWkyaSrYX%a5TbZH|1`%Pf6CRR*Ff<)u%cbO^el==*iK1HJ zC*ANcB4oo#WC?|bVH}y z)+GAX<%?MpwZc=~@HB5FrYnSJi14fvo{@ntGaaGA;-hhX_3gNUaa!S7Zg{p?iAZ>k zLU@h{&pY9{83^;z5%xEon#ZpST}sTO6`t>g7Z8EpsIrE_FJLPdDw0JcS?q+DWRSd= zPSR;xqo~%ze`ZCsE*yM5s+IlBn5b5GsT*EK5`Lq4Ng=#Ugyl~7l?;Se(-HRdACTZz zJ+5?1&~O+6Ge~x&lPs?KZb0kh zu928l{nTYiT5VpgoT?Rm(+%(TR$`Ar*h_?cPI!L?!hv*zpH8l7;#X2UX}?zZpc_8q ztwgFqh!P>@gwrw*-bzQfTYTOszd9ctw^}QF*bN^sE0L0%JrsT$=kbmrIZBdaPWasn zlK0X{#=PGwp!LzKHG^8`r^H3Iu8ut&&dCUBNYA~D{)SdoF~ZzCwwu3#H}%{W5uQiwZfO&@MUi$epCooi13pW{y78TYC6KsPQ?!TRsL7|Cu)VSx#3^D zmH1U5TqnYBPWVO!!tdz_7cLL3<5!zA-B(vD{D&L<(_4wZ6v9m++;YNyXCU1EzgdZY z-0&T5C31$scd-)xDw6*|BAM`~V@EP08Xn1lAEqPy`cBTE)`_IaL9I$o@t9WeGLvFj zk`OAML@FAK8%tY%p8}Ss+*T>V0eYRk`KkYiLO!Om^jd#Ee~%!nC!yiqIZh zMUfpT#s+d#F0+U@SiRdj@u8@?Xb3{rr*@R{Ah=gU49Vy2KLs*^#5+2Vp zE>&yB$t$T^*M936&^mgoT0l!GV6rO}5xq^TL|dDyGVQ@t1=*3RY%pBaSRmK*ZeQ*7 zt4-@;d$puGCc9Dt(c83|w6(cv(H>m2ksYbS2E$dC1#+Do@OL@CO1W{loR-wXWLF+Q zG@F)^oI51-=^T+bCY!JU9+9vivLlVyUj_?h023Ic@$dz-`_!53K z^gxT^TJjhsyV4ucJJI_>(ud9w2{GA(kK+*u`yxB?1RKm(t{)2|%s;wRRI6Lj=b~Cm z-j54vb-nycKuh{#vMU1+y%QZsTbnC|_TUse?n{YB7k?<*GMHW;oMERgH# zf{T;<>h!r4hqPoSCc82V(c84yw6(eB&>mdRAv^Ls8w}T67RWXG!nck5Ds|S{-C8ma zlUmb1ksVpY2E(}JaIIm1ToVemIp|mG2DfacC2KL+m34^TroB#En`=Go!Lt7gXQtS9AAv-LEBYVX`ZS5xq@2LR*{b zZQ6tD9b`w2vcYg2V}V=^cE^?Xt4S?3mDiGYG1-;(5Y48gBo_$DaXLrjeI}dm13V(( zhsch6#0Eonf&~)BCl88gZ9aB0N$a5rIn%TnA1f2nl9QP1%EyS_iJqdZ&GiZG!SyM! zBcHLsaDC1Kxw4&FpXgWR4;4++lGB*%$`^>%Iv=1w(R)&JnrHWE1{~M4G-|E+UCYiE|_hqPX~ z^?X!Iu41w)*ATr;`-QeP*RQk(*L7q^eq)2-y1@dua=zB5iC_IT{6rHi`5lv8`2*40 zv_ENUbNxkoaNR_9WHAkxckoMj3>e@xye&+p`A+wH98!eMl?VFn3U^PL1&aEy;q(u4F~@PBa^B zZLaLJ2UiYcM{=^keC2Ynz^~lF&5N4(RoB{$n`udIOvYaUL-bDcKHAz`d1()>e8`UE zXM^D?zyi5$U0hw)uihv=p{|w`#AH_rA(|77$o;gnxeC)BTt$!_Dar=JRg494-Sgjf z6vt#&N+6Pp-#hLPNl7|Kq!g1)SQ?K=SO(dVvTQJfs>1@gUR-{AzhC|H&*=kNQWuk5sfXxo+5@z;x$4s%Tye;b zG+=|_YRCe)Ug+1ghF^VOaZL>^X@tqH#3Pzbi%4VI+FVU&53Z)jjwG)M z+P1$G(~{Ph>`EI%65{WhNL$+4Tc|4Q{$Bf>;BEHB|S0Om0pPC;`iDjA$g3>5$Vlj6ZXL) z5{8f+d7KS~urCWFY&j<_N$bf6Cq}j2E5AOfHM#z^R4sV|lU?bD=xthm+S*(LXb-M| z$d072!Eg;?fn3$r2b%iT#<}k{(UQTK?8*>CZ_|d-*5-PW_TUJMAv-de4TkF}7RWXBgTHqB)s>dH z_Gn22lUZEdavvpgp)&B0KUL8w}Sf7RdG4 z=)!sYYX1+_^JvLxOm<}rBDwghLGh5RrE^5qG1-K#;}HqhBRjHz4Tf+d3ncum(IWw^ zA|t} z-%r$%9hmIOPDF3hcG1@6dXx6x+KueU9yS=Ry)2MxnEPsdzuL6^Vtp;yhsmz&NAx!B z0BvoqgR}?NA!J8V*Fss@>N^a%f2mlU+$e^fs+TNZz7zL=H3Agh%j* zgl{7|@(vpe;ZYVySTt>0RO|EepG37%3c69P&K=)Bq$S5N*_C$@y-j#s+JozT zWJf+=gW>v+1#<0~F(JXP{#)0qsg`_%$*!D0^fv7zZEdcPX%DVb$c}u%2E+9!3*=gp z@I?*33KYv#LrXrxWLG{%^fv7@ZEdbEXb-M0ksUe12E%oh1#;cW!Pk#lS?gy&fxVYQWS1hsw|oVmHy13y%WX;n_Dm!>5bFxi!h zh~B3CKwF#Z679it8QGB^*tbuHsKvSBH>+RNB(7lA^eX86238Od`#=} zpV~&XsvqBfNbB;4=c8JZ3I88jS281do0bJXR$N)}h+Nr_9m&oH!P-{*~pP<&*>P@0r(h`$hX@y8az9DT*Tbrv5?ZMR+*^zc^ zFkJ0fAlKGR&m{U)sV8$E(vl9C>`F&Oa`6r6gS54|l4%dFhmak4m<@)j6AR=z=2Wfk zSLb`|-JvC&G1-+ah~(lM(yp|%xg6Sqs~fT-kFddTb!UNGU(eq>-LEobdi5DC>4C|v zJc>vz{+YOJNcdqC*tA|uHsNDqL1hlSpO^9lxK9fD5_48kI zleFYXlrwgr#-kP zAUiUV4TftH3*;&gzpsg3O^;4Jpe2(r*_Eddy%UYl*5;Z*dvHCC?8sC$7_Mn7kgH$) zxGH}2=2J(iXvuU;cI6pF??lUoI1`UZI1Aa4*=#U`b66l@)^)Rzw1Szh zCTT5Pw>nX4!{L^xTJjtwyYf7uccOD?Yje$`J-Fs0JF+Y!x)Mq~$VZLXcP2iGoSN8V(E;o8jtx$gPz zB==ylD|->i#b4hmhGZX|BeI{#COm*gBs_@h$RRcu!c-PWc;AJ^Nm^4^T~E}?_GqK1 z*3fbZ0WFDQvMVt}Z`0CfYjeFtdvF~_cH{^f4A#lN4{f& z;rgBhausV`{yx8YZDwK~EjfqDuAE2oPPB4JF3>q57ny9rAMl8TmyjK~%mzdFBMT%v zyYl&{*6_Cur)ot*xdK}K-|BZzORiwDD?cH6C;BsOZLX`d2iG-ZM}A?0;rf*Yat(Z; zd1Jp?cC6BFExC@#uKb4Ro#+kP+FZZW9$bGQJMt$R4A);Qkn7#QzboxmEAMt#t|d1y z*_B&}-icNT$=`I2$ZaN@@E<%P;T>d0?y|uU{>uUhA9}TLn%3IOd4gJRw#t>J_3wy2 zF)jHIlU>P#52f=?G&6pzxU%38xw0ZVl8p_9D?1D1daT>IM8Dd2bXua8_{m# z7{bylknrsCQ8BGDA9jjqZBAMh)0%d%WlT%TV6rP^5xq?-M_Ze#Jng|%0ojp?Y%pAv zSRmK3H+u*CYWkY00WGPF$*xpE^fs+3ZEdbfgyxT}$FH*_8%}-lkOx zNkcm0ttpdD7>`FJY>bSzrfe{TO<5pe=N#h#|4VhB4|Z0nb>)w!)||L$K`lwZWV|&+ z^foP#wl-H1?ZFj5b|lCK!_}Mxay2fRBhjx$efMvombAcRS6U)^o7Rf9HdkxfgR2d) zBW>AWxZ1Hmu9FX~sP9*Q7WuormbAxYS2`eio7R!GHrIo+2Ujw(BM-5`a6QZdxgN{k zGlySQ9Pw-pE$M{Gu5?E9Hm!O{y3iSKO_^*$2aibD4H<7u*%#r-P#!c)byWEdv9G91y{v>G89LFb5!WU>iI;SmW( zBRdjigCP_aNZ97ifHbWEvyKL}mJE8SxmH@Xi9szHgUPPAh~B1+rLE01j`rXhkL<_< zHW;pnERbu^(|eoy)tQwygIY2PlU0F(y*2+z+_imKqMFcO=HcFETnTp z7BSg`i}8qrOOPFTkqw4$DGMZA_j%>0R`$0ZPttlTQ+zt86e_D_9`c@9%yY?^jn^9NwcPD>2!X*AU6Yf77^%wl>#l+JkEi zvLkERV7S(?K&~oxMwjrbn z!4Pg?frLZmbPQ-!`717_^>&R_F|BvY-wA5TR!nwf8=`lj+i7ca?Vvrlb|O2niw%bB zO%}*?r1P#szX}fjBS}kkW3nrI5WN%KOIw?3AML@lAK8%uY%p90Ss+(~vL_q*)!Vfm zXrv{FFxizSe#RkK5m<4i8DO{&Y`@6b6SN11HGV|YZucaa@=j}30*vhE+N@(UMb`?8+yI-lly@Tbt`M z+JozJWJgZ3!Ek-S0=X6~xKYlxg0;&pQj#w**_AVhX46uV>xASiog?xUlTG+F9+B`H zWJkVbgCYEm1rq-BZ6v5Qa@CBOR@qR?nAWZzyGFI-drWra9HMuk=V@zmU7$U1=2=A~!!tuA~1+{+5G%}_&?efBa)}kvP1hwQYCcE-4 zqPJ=P(bne5glk{Ol^NNQEQlFgSy>?0iuZdb`qgKn4<>3!HcWOUJEFH~IcRHh<)l5h zav?jCn+@jcm4^j#z2BfuoL`-o^IV*k+=t1o;43bMg)6=H#0 zJEcZ$zskQaF}If7kIAkSM)WqVUPy}2IU+@wY{FuAM8e|8j+9`7AuP!P30qwZrfJ=L zqE2(I^C{JuYfT!pJ*Xw6Fxi#Th~B1^p{>nTmiFK(hwMmsHW;o7ERd^x&CNl->iPSV zK`p6>$*xpF^fs+BZEdb9vDIN5yCaeDqXh{uBcBLkww`sL# zYjf46J-F&1J5rYohN~V6hOx#w4jTJiuUyHX#~Y#Kf(m9{ol1KNYDAu>KG zl?{d~o&|DU>f5@ZU!BU7&`?VnV=_J|6_H%o@h6q0w6(bsXb-Mt$oQmGHW;oX7RdF^ z>GcKus_}zs3TjCJlkrKZh~&zFUjrTpNpm_!qy>{r*b)J^f%f3)h>TB4WrN{LW`SHaUfhu2 zSN&)Go}eWUVKP1`6_H&0vu7vT+FYG!53VlA_@q=e7%qnea&;d#wU%EsEAvty>D*{^5ACvJ(sfgaD4WzBj zl|p-P4MN5zrLw_r4Pk*?z2(KC|IKPtq_)US})L=kIDF?R77vn;_ykSbjBy8GTDTa@rZ;^A>)%$*TphgVnetGR>rRnd}pn2b+KMKqh1lH4F9 z3+Nn?7np3qg?L25MaYgUW`iMI!U74;N&A@Ag44mE)|uTE0$Od0)(&XNiTqF0Q@?U6Z*8h2uVOMjDHYK>(Ur8dxn83^xK<(K zlTz7WxYn>ht}o8Dtmap_zim@ZOV(mCJ}DK^JJE(Ad7aJ?SZonfFZbWuu6B`WS zW)?^|dBUcER_VnBqFP6KWeI4#P`F}LOWwd_SGFK}C%TokHrF=VgKImoBRkk&xOTEY zt|oUE#`{&B?#-KM$u3NGYl14hcVfeBZ%IKzD--3>mAyI>nO4#$Jk)F-erMYtG|ld?^o@g*tTCw-os>9jw5;} z`aW%Kt`BGrt`Cv%NvUiwTqjr{SIg{QRq?Cdc?(t5l9QN>PfA7fPBcCwr|2A!Pnc}N zPw|L^pCLQ)IU5Y&X%N^iH&KNG{VkB0n#I+JoyBvLk=9!EoJXfn4uptmbx zk#WBi8w^)*7Ra?U<&!FYReo%zs#;P4lX1TkqS>^R1PD$^cZRgiJN6dMdz zH5SNK|I^k))R3eh{!nzXgKYSA8CwUKeZ6dMdzT^7g{p4_;RU*&K2 zYC|olhsn5K3elWsMC#Ml=8B^|xEdfk(vS^?s}T$2s{K*LB7XHqo+E{|Bp#DpX^coN ze(y*KNfSEbttpdDn1DwlY=(@trfe{TNi2}?s53sOHStzjKx@LE8>3oHKQ0i{k^m;- zttq0nY0YVCbG4v7xLP9PeknE>uGTD&Yg+VdQ@`5%LGA=CX@kkQUkcINw05+$x!Thn zTpf@d>Bt7d^&ku6Y7t+hx?g=zyh(K}NycPX9zrymmXh2oBoEUWZ%vtO!p?X^!Y;^o zYsv;g=&(S-_6@#|Y85-wB1x;`^`=3soWokgw4@s*W1 z7_MF{kSj3%v3-7ZZubKRwd65O##>WF??n61*5(S)9$b$jJJOd8hU*Cy$TfdcpsHV8 zxbI+9E$N5JuJlLrPBbwj1Lz!)flM}G3LcSg5HjAHvcV7zVS$91b2|a8VyCAEv{IHI zi)wxG$2(Ci8H&kxYl`Td=rG#aT*GM(t`W$1Ysv=0HHrmteQ|Kue!qGx?aBRGG8&Wd z))dh@QK7BPHHP-!a*^@YlnsV!91G;Se^QgGepRYOld4)W9+UCb6wy1;B)m1HGv1mq z*@Tnvh=fleGAf_cxV=~^FB6=q}jkY$| zblQXK8DzXQWrN|G!2-E9wO@3=uUbxSbWlrXVlv*EB6=q}o3=LB9NL5HIb^&wWrN|G z%L2LD_MTSDuTGWPUrS5oVKUyDBAOG8$O78hTrbcbTnmwLzZ4q`*J2jPb z{ZfeJ;;-)k+%H9E+%Lss6TXB;BzzeeZ%x@?2w!1=guR`;L9Ky>S4Oq^T*w*Jy4$yU zP)lCLWV|&+^fqlJZEddCXb-Mc$arhY2E(<61#*@9Y}9_gdNlOxel1yx$#`pu=xy5T zw6(d`(;i$Kka52h8w}Sb7RWW>ssGGTDUN z@Q8%lk@41)4Tf+h3nc8?tzb-R@Vn(=S_g6z4Qj1kSu~&}yD%AVO%c5l-A!AYYY*+g zwHFz0P1#_$_On2)i<>s@_p6#WbM4oX1DK4rrik8&9-^(yl}dYXMUip86dMdz8Vlq) z_V4woewCQxxvE<77AE6AHK_b?f6O%c5leV?{A*9Wu**N4b>Ysv=0b%F(Q*~mH<^8JKiSNp5$!Sc+{ZfeD ziM9yImvoNE877qxb$Nm>up?H17Lb~0D0mVArJ zcx#I2o#^+pwYkpG9$e><@z#_LhU+2=)2G$Pq(Yjb6%J-Bip<9;bNn6FnZ7WnnL=f7jijmfxQ3Xxp= z9b2oA+(+k#TJ{WBZ*)r>dVHPDhIOm-!J=xth%wl-ID+JmbF zGVYgRgW+n$0=YKbo|4b6E|2J$PfJ>3GVYf`^fs+cNZQglBJG%L!uEJX!VbuIYsv;g z_#g`;eCp8lfYze?AEs*ENN@sLJsK~LYDqFCL&dvJ9|cBBg%3|Chc z$aU&gpWS{nv(Di?TH;``E8P&iO?!m4HdlArgR2L!BagDdaP?$?T+RFMEaq1u<4PCT zl3tkX%43LT(^8V#hNL&0BhrV-CJf;b2_HwsTT?a|!Y5cD;kS!liE0%-{9sgT-huC; zTA#nWB&sF-Fd1)65xo-~KwFz@Ann1Gg6zm3HW;qKERd^FnZnKd>R^ta6SQOqCc82e z(L2#6X=`&0qdmBWBRevJ4TftZ3*@SMBv#w6+6~`STT4b^vMZwz&57cEDcagxLVIwH zLB{=3Y%pA7Ss>Rv|NYQ7Ove3Eh~(n$huVc?0-Yl=k;x{UghwQtjO@r$Y%qio7D!mU zSwc+f)6Th@Ykf6!Z&d4nwqM7zWC|v`@-(8iX;W!yb4{Z?xTYgJ@(ddc*Rw2;YjT@N zz^}5NJQdKA8JO(KOhj+fX3^H>noWCf%|XWfQfx3>&$B?TwQHjZel=^x)dVe>i^;fO z3enrN`LwmU7SJACFCgQ7DK;3cMJ$l((ckvf@~a(nKdhxCi!mAZOCg#~i^z+#wYiqk z9$d?ialaHB4A;vnkn5iR3|NlIxL*p9T>Q*}_91zd&JkI`WD~B$BND!b?8quM7{b*o zkZ?!cE=gKv8ud!jdac~GfYz+X&qTFk4JNy?7LkPf|BbApt2pa32dK?0Vt|iAX8TU&edMDa3B=6BV zBFC9*!uRorgdZR~@*x`x;YTcxux*vn0j;q&P9)4~~0$OqclU+H9=$+`t zw6(cT(H>l%AUpCY8w}THERZYGuvlZiy07A)##-_@CcAPP(L2#EXlrwQNqcaeL3ZRU z8w}T1ERbu?$c1J6>h6M*WwhjLOm^iPMDIi&49T~2j>vaRHsSYpM8b2(j+|$MA-uo> z2{(_+-dyWY^9N#D+Y0>`)fzprW=u;iVzMhgAbKZyiMBS^W!i)5M`TB?u)%Qs!~(gx z_G1--?h~9}_qpi*L3+=)6E3zZk*>7M~yQS4Z7t@mg{N zlU?~8(VS>R{-CYR^(XDY^%t@uH`!pgZm~eFlO;YZ=~s`u@<~Z8`5Tj6xs6CJ{th=e zB>&JkB6pZmcksZmw2E&z;1%BlsMaRVZ)#t6=YoaB&Fxi#dh~B2#=L&qFN>Iz8ughSZ+|NmK4WiS4tpyCt8xWHdiUygR3;MBW2iN zxXQ9Xt`2#B-se|4Z$8>YOUhxgE9DWr6Rkj7o2w%2!Bq*_k;-f^Tvb>g*Y0oruIN`! z^n7HEmQ=-LSE?a;C;D(ms?#|lHJEI|ns`LQTF8#nW`iND!vYCoqYK8g?jCz1pfzDb zj+oZG23-PLQWuk5sfXyD=mWI1x$4s%Tye;bG+=|_YRCe)K3MV40lzwRZEAv+G{R(8 z;t{^WPyYy z>bFeOiryTWrgi@9+-X|pR<=pgk_R!_m1IP3(;lL&&Gj(t!PN=bkA?oW^(YJEnlb+Owtn^WlC15tq$ei3 z(hJesw8v;`bM>Y@xcVSF5@LhldYlDv&Fb`cZ@=1mV^D7`>5Iv(Jb~zKTIZ1TqjN<1 zGuea#@Q8#1ksV24gCQKm0txqBe6zXM&!vi`X-)g*OmnU3mj*W1lEIkl$`C|v(}vR4 z=6aI$;2MVP$Z$3ot`RJdYsGu-zU5cNUYPTimW;$?S4JUvn>L!ZHdmPT;1Xm<#<0O~ zxh#0-it<6N z0oQT_wd7e$c4Y>lw`ntJYje$_J-B8gJ2Hn2hU+;N$kp)SNP=HE_YXz@DW`7$QEvK-Odw5}m}h0YOqmB}Vtfkz}`Z>+HyRjs2>^ z#6?ZCWFscKvI)`Kw9T}&x!#~XxV9iWvXu>nYa0vX>YDkha(-2CSpD)^vK^CM*@0*_ zEhX6r$xb>)WEYc7_$D5aa5u6ed)QzI_p(633hn=nYBiZYEvU7iSiK~z+vkb|wPYVA zyRskAJJAEQwYd(`9$bfz9Z6+_;fk_AuF?4(Y35h`Up?APOJbPpN*bbfqHodG<~mG! za2-K*u6I}-tsS7iQPhlB1aH$}vQ9q7iwQwl>#$vvs z1#;cgCYEs1rn~!8;NQ4Z`CxW zHF)Q-fL6;AbE8`F878~(Iij~|r)g_*eL;J0eTnSI88#TMvn-Hn_ktb={OWXIYBMeQ z3X@&=8qwRdZ)j_CeM@_AeTVGG_iQj+=U5)7IwthxXvQgN*y7*kHK+Wr18X%iOHvSEY_-t*a&f zVKVNQ%Kbl^mKi@*Tv_mlTv?HEzZ4q`S9TWuPc|(FCgXl7L~ql&ha?xBBa)lR{>tUS zBNE<+>_}cV7{Yukkno?<-$u3e{FfTl8WJuU)4Klmnj|gBkIAkSK=d}PAZ=}~LbM0h z{m70KW`p4>!UDNY=UdRsuYPa1{eYGf#bj5CA$pruoVGSs3EG3JBr@)oVuRr-%>uca zt~^-BuioCXZi|+b!DQSog-9-b=3qJ6+Fa#n53UNxxL=A5hN}__8Jjj0zk=Q~No7pN z{ZfeDru7I(RXRtc8k0>}9gj#@1KE+9Y%qkiSRmoU4O#`YF0IHC)T&(Ja8PT@kg7o~ zsg235)Isz%tuAeCu6ncw*8|9o)Mta?ierIX*DDqa_|?S%yOXq}0VccB5YgMTMzpoL z;%N`A#>lu|iVcRVDGTH((|21FzbcqIy@{42U^4EPLi9E*k+wEh679hiK*s%2Y%pBS zSs>R_M;lf0tM`5?RY^-)U^4EPLi9H6(U7#Fb3|G**@SKIh=gsC9cjk~L)e}L66SpI zR7|VVkcp{UbALP%(;EKE^Fb}?fXS|OMD#Z8LE73}$+QR8L&%Oi%m%~Ni3M^M9DFCy zuQtC@A*v;vG1-+ah~B1krLE27&>mdfka52h8w^)>7RdG8gVP%Nm0YUO=zpmPCgXl7 zL~ql2($?ncMSE~PhK&2A*kHK&ut2V7pDKU9UyYeN;C?L$VKVNQLi9GRXGr?eIU-Lm z*@XS@h=l!-9T~s|LpYEH5{|z6WK65lfkiQ`T>ssSYCU@}F{mXenC!|RL~qju)7Iu1 zLVIuxMRw##HW;p9ERgHNI^_@fRh7|CrfSJ>Om<}iqPJ-yX=`(hqCL1qBjbK4HW)5p zfn1knEsFE2Qgd#{X~`H&#{E)=-lmPEt<5!#_TUYx2scbNW(^w#3k1U&_S{0wKoT^pugHTNC zblX({Et!tVt~`V2ZQ8T6wYg@{9$Yh#9ht=j!!?@)a?OACwFJMaGbJVZu z4O<%3lJ%JE$_7Ml(>Bu9=GsJiaBW7${Zec&Tw7Qm*T83+H1n(H%hYM6C0j8W_e&vq zo3@>{HrEc?gKH-;?w4YN;d+w=a;^D$Y8}5CxOHM3E!mC9xL*pRv{~2%ylX1TkBDwhYse6YcO6Q2gm~6r{JR;#+$c`LlgCRV^0tr7Z zc{!$ad{W_{R<%)&#I(Lzd^AZ*-o|8C-a#ZG|339m+S**lXb-M;k#WBi8w}TR7Sg#Y zWjge+PbHnr(M(I;$7I|ug-9;`ed-TsYjb@>dvKjV#{E)kFkBzAK(4H-rq%PSS1TlJ z(~?t|jQgb!$;Cete@a`M>oeMe>vLq>FU1DK^#uzVn|9CsJdCZKDqmtU?w3L&7vCuN z!TnNn#{E)EHsRNJM8a>7alaHB4B>Yykg(jIw*y*he*QF|wV}vs0j)LP|DL2J-(xcF zmqPS5?L2L5t_!pW*F|L9FU1DKb%_OX4ZKslnO}_$Z%ojV%b1M&r4YSMyFy!=>nGZS z>t|%#FU1DKb&UmbZP~iLwqKo|KdH8s{DR52UkcINwCl9BxqhQPxNacheknE>u0L4F z*tC24ZB72fWZW->=xtgE_e;?k_e(L^gn#1^32!6geknE>!aFRGu*0XdVp?zAZWPd( z_GY7?R@Sp~qgrwolX1TkqPJ=P(bne5l*e#oM#lY8h#6d2Ss>S-*54%f)znV;4r)m@ zOve3Eh~B2*}OjoBXO?-4&a)0fSLi9H6aojIOXWTEvWD^#{BN7%z#{E)kFoY#p zAfYqa32MD`vs_T??~PTXS`#-OiD^kGOve3Eh~B1^p{>nTmiFK(hm8BB*kHISut2W3 zb;}R<)jLP;JE$cUF&XzuA$prunYK1p721QVDl+buVuRtT&H}kQ6&O^@uWpoEQcFu} zU^4EPLi9GR7Hw^=+O!8(9c0`u#RkJwkA?q}O?v>7alaIzw`qMt5=ZBVG+?p`8{!cO z8zDOq&jv%-m<19(G3nu`*7^?$1hxM7VR%sM(P2A+TG9lQU1^HwZCV0tZLVgt2UjAp zBS~y9Tmcry)p}spB){4*e^Qc`1Too_=7`>=wVWGZ{rPyG&l35^E?CA31esylp>f&1R5GLb( zDMWA6o(M@NI!B~4lTFwKk4V@R*%5~ghOiq8Bup+@C8jm~`niBstHIr)S~r(X4Qk0F znCwb-L~ql2(AMU9l=k52iR?%(HW;qQSRmK=dUcxl)yd{(nrTUIOm?LYqPJ-w+S*)? z(;i%Xk#WBi8w^)J7Ra^ohkxt%)unlj>uO1VOve3Eh~B0Rq^-@BLVIuxLdGYhvcYf- zVS!xt^fzf3CPOh9pOlK|ZCbyO45M>IhBMiOBk+iXBas~$#Rfw-ngtS$2=+
\ No newline at end of file diff --git a/code/experiments/exp-FixpointExperiment-_813945717034465-0/log.txt b/code/experiments/exp-FixpointExperiment-_813945717034465-0/log.txt new file mode 100644 index 0000000..9db47d7 --- /dev/null +++ b/code/experiments/exp-FixpointExperiment-_813945717034465-0/log.txt @@ -0,0 +1 @@ +{'divergent': 3, 'fix_zero': 97, 'fix_other': 0, 'fix_sec': 0, 'other': 0} diff --git a/code/network.py b/code/network.py index 9e735e7..c5c881a 100644 --- a/code/network.py +++ b/code/network.py @@ -180,7 +180,7 @@ class ParticleDecorator: def make_state(self, **kwargs): weights = self.net.get_weights_flat() - if any(np.isinf(weights)): + if any(np.isinf(weights)) or any(np.isnan(weights)): return None state = {'class': self.net.__class__.__name__, 'weights': weights} state.update(kwargs) @@ -609,8 +609,8 @@ class TrainingNeuralNetworkDecorator(): def train(self, batchsize=1, store_states=True, epoch=0): self.compiled() x, y = self.net.compute_samples() - savestatecallback = SaveStateCallback(net=self, epoch=epoch) if store_states else None - history = self.net.model.fit(x=x, y=y, verbose=0, batch_size=batchsize, callbacks=[savestatecallback] if store_states else None, initial_epoch=epoch) + savestatecallback = [SaveStateCallback(net=self, epoch=epoch)] if store_states else None + history = self.net.model.fit(x=x, y=y, epochs=epoch+1, verbose=0, batch_size=batchsize, callbacks=savestatecallback, initial_epoch=epoch) return history.history['loss'][-1] def learn_from(self, other_network, batchsize=1): @@ -628,36 +628,37 @@ if __name__ == '__main__': exp.run_net(net, 100, run_id=run_id + 1) exp.historical_particles[run_id] = net if prints: - # print(net.apply_to_network(net)) print("Fixpoint? " + str(net.is_fixpoint())) print("Loss " + str(loss)) - K.clear_session() - if False: + if True: # WeightWise Neural Network with FixpointExperiment() as exp: for run_id in tqdm(range(100)): net = ParticleDecorator(WeightwiseNeuralNetwork(width=2, depth=2) \ .with_keras_params(activation='linear')) run_exp(net) + K.clear_session() exp.log(exp.counters) - if False: + if True: # Aggregating Neural Network with FixpointExperiment() as exp: for run_id in tqdm(range(100)): net = ParticleDecorator(AggregatingNeuralNetwork(aggregates=4, width=2, depth=2) \ .with_keras_params()) run_exp(net) + K.clear_session() exp.log(exp.counters) - if False: + if True: #FFT Neural Network with FixpointExperiment() as exp: for run_id in tqdm(range(100)): net = ParticleDecorator(FFTNeuralNetwork(aggregates=4, width=2, depth=2) \ .with_keras_params(activation='linear')) run_exp(net) + K.clear_session() exp.log(exp.counters) if True: @@ -665,13 +666,14 @@ if __name__ == '__main__': with FixpointExperiment() as exp: for i in range(1): run_count = 1000 - net = ParticleDecorator(TrainingNeuralNetworkDecorator(WeightwiseNeuralNetwork(width=2, depth=2))) + net = TrainingNeuralNetworkDecorator(ParticleDecorator(WeightwiseNeuralNetwork(width=2, depth=2))) net.with_params(epsilon=0.0001).with_keras_params(optimizer='sgd') for run_id in tqdm(range(run_count+1)): net.compiled() loss = net.train(epoch=run_id) if run_id % 100 == 0: run_exp(net) + K.clear_session() if False: with FixpointExperiment() as exp: @@ -689,6 +691,7 @@ if __name__ == '__main__': print("Fixpoint after Agg? " + str(fp)) print("Loss " + str(loss)) print() + if False: # this explodes in our faces completely... NAN everywhere # TODO: Wtf is happening here? diff --git a/code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/all_counters.dill b/code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/all_counters.dill new file mode 100644 index 0000000000000000000000000000000000000000..2737dd3c56d706b3f2d9e045a1103d2b672bc2fe GIT binary patch literal 296 zcmZo*jxA)+s4ZmFh~Q*kU`WXW7O7UdT*0|h`zKmz$C z8L35uEI<){_&kE#2WZAq^N^1+*H8OxEWdJp20F`F|m1IC9IB-dD;*#LP UCBcnLf(MrbFD?l_>=LPZ01pdA_y7O^ literal 0 HcmV?d00001 diff --git a/code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/all_names.dill b/code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/all_names.dill new file mode 100644 index 0000000000000000000000000000000000000000..fae31beed4485ac50ac297be935cf051e5030bb4 GIT binary patch literal 563 zcmZo*jxA)+h%jehU-Bp_R4RLp+jWXLdIzAgxsX zYOnnhOaLirn}|b{+sxaUH_uOc{*?(}&;x~CNKF2GRFd=gp5`pQs)$v`aYjQvhLjN- zjQPz*t=6cwj;qyr{kYYt(Y#pudp40>psZMD^cn}f6cgixkZ3fwloJJp6BrmD4Jc_a zO=zL*h!uw8wBvU{YuN!!i$7_pB3cYzN@XyJ;S7S5H&RuWfx#PmTt0PUOh78P+}Ge= zq131DcNuGNDQ{`HB9@pT#2Zi@{#aV!Q;UqSF#irzN~;VEM}|OZB2ZLdWZ@an5YQU; zS?-@+*V|!V%yFBijj7aaT6$fHSWmt?fn~J@4r8QSEWOd<5i=OlSd!h;bVZHr!nSuf4cZuZ2taJ`sRr(o{CU&hB1(_ P-+NBBrXx#k|LV&FW|nIY literal 0 HcmV?d00001 diff --git a/code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/log.txt b/code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/log.txt new file mode 100644 index 0000000..38c9f9f --- /dev/null +++ b/code/setups/experiments/exp-fixpoint-density-_6511547300443771-0/log.txt @@ -0,0 +1,36 @@ +ParticleDecorator activiation='linear' use_bias='False' +{'divergent': 0, 'fix_zero': 0, 'fix_other': 0, 'fix_sec': 0, 'other': 100} + + +ParticleDecorator activiation='linear' use_bias='False' +{'divergent': 0, 'fix_zero': 0, 'fix_other': 0, 'fix_sec': 0, 'other': 100} + + +ParticleDecorator activiation='linear' use_bias='False' +{'divergent': 0, 'fix_zero': 0, 'fix_other': 0, 'fix_sec': 0, 'other': 100} + + +ParticleDecorator activiation='sigmoid' use_bias='False' +{'divergent': 0, 'fix_zero': 0, 'fix_other': 0, 'fix_sec': 0, 'other': 100} + + +ParticleDecorator activiation='sigmoid' use_bias='False' +{'divergent': 0, 'fix_zero': 0, 'fix_other': 0, 'fix_sec': 0, 'other': 100} + + +ParticleDecorator activiation='sigmoid' use_bias='False' +{'divergent': 0, 'fix_zero': 0, 'fix_other': 0, 'fix_sec': 0, 'other': 100} + + +ParticleDecorator activiation='relu' use_bias='False' +{'divergent': 0, 'fix_zero': 0, 'fix_other': 0, 'fix_sec': 0, 'other': 100} + + +ParticleDecorator activiation='relu' use_bias='False' +{'divergent': 0, 'fix_zero': 0, 'fix_other': 0, 'fix_sec': 0, 'other': 100} + + +ParticleDecorator activiation='relu' use_bias='False' +{'divergent': 0, 'fix_zero': 0, 'fix_other': 0, 'fix_sec': 0, 'other': 100} + + diff --git a/code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/experiment.dill b/code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/experiment.dill new file mode 100644 index 0000000000000000000000000000000000000000..c6a0f35ae6b666611f301aa819c732850e630806 GIT binary patch literal 14276 zcmeI3zi(Sr6vxy2aN;~B-t*&ozURE__mcCX z~+HScP z9jmc7>?jV1dH-;4_aLfPOM6k(^zE4Bl1=d>dNH#SEw7mV;*5YxxAzunav_Vg!^PXt z@m^H95iMqe{HjS6C+q#C>Y^)Tam5TYq0E@U)|6{OCToVyqD(iTTs6b3Dc6IwtQk3r za{X0kQqX0VYlQ;q(HvkX?&&2$siH8WG3t^Wk-KcP$} z$YsrJYuZe(mN9cpXxGjB8MN6Tvt|}r(`JKg&YW*Tn>QEEpv?txr!Tgq%?0^QbFm5S zhPl+5c6Bw#Wz2Jpfcmq|tOnV zADgA(HId@yy?RyTJ1$k%ohu{xEe|z#Q?u4zM|9be*Pq!WyyxxC^Z_(Sk_LR+4K*Y4bZwDR$_!j>2OA^1C?El44~cGajkRL8}fkzJ%TJqBD^bvJ&5EHI3*M4PB>Z)|D*IgGDQdtLYRjt^r>n9FUc3 zVkBf>MP^OdD`f|X&rOZhmC9TMIOlT`S4j;->osaNm!VheAhaeIRj+FW?&M$r#h^l_ zYP$DXORrdwKq9FRG*QH0>#O4+0t@yS?IP5R)^DSoJ#mV6=aaPguqG`JI5^3qyl^wA z!3{XUBxRC;*nW{&W0~p_qGL;0FBWiMQnKQ8k$NrYI^30!0}OaDcwxY<=#;HN^W(*% zgUrXAR)P=uKn2~hAn-q)MSg9PFN?JWOCn?LIje;*J_o!ZT((-5|)x)4{AgIt~ z)*S>GWpp|Eg^#%U2<2Bc&;v3D!y(yq;7M64v4a+&`k-jon3_!`EDYsRAG$J8mHN^W zkBwL-u@eUZ92xK`urv%MDBG#B8eR^#%f~y4)V}_q-poT(p zl|YSzR89>1WKj(y9K)v;tr?3(tM2k^K3%m=;+1RIvXW&`*wQv1ahextNUBh5+9K44 zKP?{WRs5*MA}fz$8Mk&AU{^0P8C_1i$Xt&*17$&XRT0hg=^3f4XT-S=g=88G$HGZF z#=@y^Mr^9h%04B&X_-^9PMl)KP9^M<;jH*3!+Du=5;-Mv!AjuAWWdKhAsB2^;)NgE zc^NaZPud(<@Jw4C5NNPZ%T%5TkuQpk9sjuGpA&t?A{RuP5f3@$?MiiXwnp`-A1hTZ z*mYW}n71gn<^_#^TE?8P5j`(sMzFIo&!1Z7#6M%%FNGH@mO5b2DDr|)u1gjRquR+m zYrP9%AsdmJZBBo>->sU}9g|%OJN)n`;7{PGPT<^Ap;|vto&PKTX|lzbSZbdCT*#mw z)}20@5o;=xEeqt)7WE`g3;W`fse_sU*f|U78iY_VW(mcDS|A$4^fj4?GM- zsN`%8MK`Sj5B;-4P_w>m@K!>XP7Ut;L1VOIcMLI4qog%z9c~4o?>#W;`;zwe?k$2{ zWqM|(>8>livU|(m%}A@)mC97269?sT#Ioj(*OKhd=9S+?L{Z+l}e69l;7w@Qa2k2wA=b|Gb zPCF{q=$=OG0G*aOCKD@hbXLRivw6~b(6H&iLj-lC1>?MG$ETTGhvy-*7eC8||TZpW+@$K?9|(Du`mA+w|>v$-?<+A12Ph1>;M1& literal 0 HcmV?d00001 diff --git a/code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/experiment.html b/code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/experiment.html new file mode 100644 index 0000000..05a41e6 --- /dev/null +++ b/code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/experiment.html @@ -0,0 +1,7 @@ +
\ No newline at end of file diff --git a/code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/log.txt b/code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/log.txt new file mode 100644 index 0000000..e9917e1 --- /dev/null +++ b/code/setups/experiments/exp-known-fixpoint-variation-_813943796847257-0/log.txt @@ -0,0 +1,30 @@ +variation 10e-0 +avg time to vergence 3.72 +avg time as fixpoint 0 +variation 10e-1 +avg time to vergence 5.13 +avg time as fixpoint 0 +variation 10e-2 +avg time to vergence 6.53 +avg time as fixpoint 0 +variation 10e-3 +avg time to vergence 8.09 +avg time as fixpoint 0 +variation 10e-4 +avg time to vergence 9.81 +avg time as fixpoint 0.06 +variation 10e-5 +avg time to vergence 11.43 +avg time as fixpoint 1.51 +variation 10e-6 +avg time to vergence 13.15 +avg time as fixpoint 3.34 +variation 10e-7 +avg time to vergence 14.57 +avg time as fixpoint 4.79 +variation 10e-8 +avg time to vergence 22.41 +avg time as fixpoint 12.37 +variation 10e-9 +avg time to vergence 26.17 +avg time as fixpoint 16.11 diff --git a/code/setups/experiments/exp-training_fixpoint-_813946210831437-0/all_counters.dill b/code/setups/experiments/exp-training_fixpoint-_813946210831437-0/all_counters.dill new file mode 100644 index 0000000000000000000000000000000000000000..521317882cb6b2a1e70e7fe4d7ee897bd03a7d2a GIT binary patch literal 121 zcmZo*jxA)+s4ZmFh~Q*kU`WXW7O7UdT*0|h`zKmz$C z8L35uEZ)Kq>`;;7)Z{`|pbAzXA0o@<%~)Dn$gYtAG${k9IfDg=fl4yiyhTb=^#Fkr B9(@1+ literal 0 HcmV?d00001 diff --git a/code/setups/experiments/exp-training_fixpoint-_813946210831437-0/all_names.dill b/code/setups/experiments/exp-training_fixpoint-_813946210831437-0/all_names.dill new file mode 100644 index 0000000000000000000000000000000000000000..3cda739467cf7dd1d3381f3f2171b0593d1cc048 GIT binary patch literal 128 zcmZo*jxA)+h%jYfUZh%a+4f;%Wo5-x+foTI7m=Cnioap8ir1y1EU-!nic|26d1=z zPxirD)dNe550tBmW5)N&I1FRBf-qr4VrnXM_=IEe`EHCFl-aGN7GwvNJ-<=01k)SoaRX7250{C`K{bskAhP^_7Y$WKi=*ih>;cFAA5Z