SQLite format 3@ -- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 3tT / HOL-Data_Structures:threads=2elapsed=650.323cpu=973.792gc=45.220factor=1.507zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I&69W q_g xXgA(܉* ݡa Sc B F+DSIs29 3 HOL-Data_StructuresmcW ڴ^ӗbWIvZn(b*[Te{3zݥH\+W'Nմ,#9p䱁 Ph,bv$@ƧC oiOP̨BN`nH~I@CvYñCR5 Ǻ믽|ѻ5҈qLD TJ# 9i~ ^;M);^L1OgU]I?"vzTZh+ljإA op0j+oXOP1e'=d4W.$9R KF0j:JiL"ИgV{;,}6LztGgޞ6H7hUv7AueY4 s74t@̡m),-,p6wD'2(@Vr̡^]4J1`뎬@w7J(`XRz<# ̫ҰKRrvDz(` `lRQ[Ct"Eɚճ)ʓ]ҙēUPO<6rJ535) v;ȼh]t$p2-κTBְ!̟=0Z:F;1rVuL Ơ2L r{I|Thi ;1MkCaUW]vGN遗Q94as&b_UvyzXr 7+4$qk4@I_2kP,͠|n?VW P'V+sci}2S"*1|&%?,a%r墛A-cv3 Q r*tד]Ys]։ڶpHk`{g"x}Э+]X&G {[F;(_q_ %px1N P Fr쿋b@vF#ܡMcU`@/:?&R*uCPv\pŔbB8;  x$ZGڌ}6)C_Wg2r cIȋy\e?si ݇G^6Yۯ <2~QcW%t ZNj6 v>|m[5j~V|1u8jbJx Zc{gGB|AwK! %¾?6ɸК4if@ٽBˤ4$ʹ >ueeTUhkv I(&ĸxpHGdjuZ6Dq!~LԦymUzIؕT򵡆9&B%Ae\WvDTNخ z6l42~+YsJ0l#o iY kNF^"@森ub&hieeh#A *{,g{cN=!C0w:QI/JCJJ> 9x)_]Um$UBLk9B7Ҭn)EV@B4ՁEm rGQr#Ff=-aͣ_ -HСA ϮF VR _6vq!EsKcow1tz^֬]ť=lTюQ?̈ڝngz~/-1鞯BiN-Oj/xd IͰtyf:£28c]D߂ftfʃO'.CލYky-NQޕk%;ScjamK4'dכeS|z%աYk/>8OjNICuoȶkŁҶ\^DQGt:fK%&;w ZGhӧΊ-ݣ8[KXeHo:0eyģ6۔_N.Sќ>ג62anZ#8S_x_[ @۴z[ъ/ۻwV"l7q bn>2u!(+i, RՕjKlK8X5 .WګoLi>io a=FbhҒ#o>ܭ;7#:ȭ4SE/aw4UC쾚!Q7}ic<@A &^m@Ȓt KA \±´[A6-ӲH/qU{M)#LGFpWZh4vYd ;\{iMJ5kD"' 4cI4+pCwɢm]ikBhn}͝Z؟53#~,t}w(db)D1>Ȏ e1jV&fnOo U8K9*4RN:Մwa ^3I.u&`ދx[W/B<+鍓zq C fq.1d7[aè@WQHZpݨtHi=5ϲ嘅*xѪSµtdw<>:/Mcb1@ok?d vL@]Va4lꠢsєzYC)9[ti͟{W)k #AS%κy_ N$h <#oG3OB69~Ó>Zx9lxQ??tpa.k"HmgU [vՅuGI *Ax c&<)E[ijAGv}s}YK2AI`B5 zGLBsN;[qwO\2<լnrYZ'giıSlo`Ht_+a:."1o;7uy/B1&f>ky |"hDE1YI^/OQj9C6&2ݱn.: v~.͕P%:2T؞bXS쳻]ɇJp~Ɛ\:#PYQgW#KNNh'GեiR_>:Ξ8G0V]|vRa|rb'Y妗,'1ӖTB }#7ƈ&g!l]HcMp<`1j+^z5t*]pe]7C617{.&blu0LT| k;A3|2+=[f\lod-ĂXXgv<~YdMzVџ.=}#BtIdB[īwXD`$ʡ62!PݝAFNWPݯ BX2UH'@m2U WTD?+,Gv#lT+u~'QUȕJ+Z9<QD!e3tÄ[ɬ 6sJA惊&goK+1{0VpE()d:^xXXl Dصq0I {W d|8Χ^M(έm?<䐤 O :x`&fd 09(nq~LJa[vB{2uw955Y=e`ǫd$;Lh%n{g jFp̘tM^ r%t8 - 6N#D^0\MC2}rdA"7<@jHvC`]]ٻpBL&=\It-h-&w`"Gfr|ȩN]ym]Pe?IKyo< JYft<<.)f+Y6@-64HC,S\(̒N.qC[yvj%DlD҈{'G5:ovXvDx}zkL# <3@na?U6'fXa{s %8Y3 rZ)nGFgܝɋn.aSd^~Sb’{jdEjd$JI= *e#5ፘ @0ެn=A\pkY $NxhmJZ=7E*'Eub2[x/Sr..t$^otLao<1;ePTB=tH/GZ[c_<1Vs\/˜ u[e/ȽS'2+<،Q;m42OY[ bKS('hM֥a!.D W.9QqF}&Y.u Ԍ{{jUZ2MA̟\!r&̰z3~0;C=\ua1t9 B0!UR2#w2tjzU) J*ʭCX`ua jN,7\O;V]䳦RIJl-YoG7RW|CHd;ڳ&,}_3/ _.*>f QO߈uaƬ z-P+Z-/ #k18Y{`Y?f3r []k~l,$Bstrz)PUֺR}@ᦆmd88:¶~XHǢ twߙSFtz`{=E.LZ>as鰳*]i6F{Y)"ݙ:We"s5/n\.WET"I0m~%+jr,-x8w&eM$U*K.[ * %1\KDv=}@9h֌~՞OQR*w\z]JE<_|H2Ri*ׇ bd:?e3Ql~gYZ7zXZִF! u]ŗXi%B r.[|MJ3,*p 82axƙX0e9WF"L`>h_7JX{m-H "j^Xuyx J[1'Hl'o;-:CJ QktTtn_}x둔SGª,̩ɰ="5!ytz{ }]D\bEQac&0y?O)"E+wC;|/vp|=QFX-Fҝ7`Q> ª.HL`,rm !LЏ䬍6Ab+tP/)(-ʽgvDrz:X2W_lFIdٸKj236uO5C8޴Cy&X;9[Ø*0Qp*g2 .#͔?0O9gmqu̟+rHVݬFz Ϗl7rVa(6ɴ2&ҋw\B 7$X ޙEXk< &~SQ/ΈRK,E;4g% ; Ǘ %/l$P~dP?;@ϸaK,tǗۀVE2(}1;jTDD?+(?qZE,Ơ&SL/1e'WbWk\ nE.vN9PoB`=f)̔/)e9|(g޳TtC̳m&<ı_}Gu] ]fS~|m67t'fsAB̅okM<̋iˈ)_1buSDXror~k@YRXYUs'J#A5?3Ym}tY/ZMA++gq5̐&g%'K!ٗL)(J٥ٯ&TT],n)mV" F9|=PjpI8A»'IM(fh͍#hTC^?ׄxY2_T+ےL\nT-j ANU.~` %#l5]_&At }W j;HMy#Cu_#;-wAI{$H-k5vOvwؒQHh}}:Np[+a h3LOM >)])&r`|mWR$`z japTэr`պ mξi5踡֌x e?I3M]4 b;f{oVk-ԩo%R5ldl]Z  ..h 9--2tV x? Q 0çl +>diOTZD~HIшR"p0?bF(Eu=df/DUFץi#?9\N}ӳIMD: bNKq_J% )9 |,"!"+hж$^1wy :u5ѥ傝AG|d$XW }-'8")l; SX2<u<91=8[7rYk(x٦?C≘m0ӹ|YدQtZ".OcuFjᆻ:d*8 C{6ѽǚAEGpj@ɴP;ֆzB.Q4ȥw'tQȳ=EϓД][*^vŮ7OF""R bMOD4EC(Y~1g)nS+G.w6 ̐Dw;wv| :j[*0B\ ˊ7%Kg:_GkgJoWy2e>PsyEz];>TIcY?Z/SzK3 [m% )3*?b a::.U 7!og'-W ¹tFl1>40"96Š z L[,q>:$PPfJRCh[j+ht#(83rP$U]lH8 Ҋ$[hs0oP j.xpwrCdvdWnҀ!9[^_ rȿZsCL(VƔ\pg)V$uoV'Qʖ,L@qj}ۢ|'cȜ]-6kj|ҨD4CH3X 5o 80i@NN )W?MәrԂuQLFȧ+ǺaDƫ J=j"ukY)'l*%}7劳u~2C 8k8SGe\6*JZ?jA&;!ݘEOnk I! 3Ӭ7l+OdA/⭎dB(JFUo/yڭJffA6YvnLGX-T6P[_ET5/T0Y+W9MTUV2/DO kY#ӏv{9{?Y.-ӳ;*H=D.( ~ݑ] qXs~<\". +Ӵ5v"-]_ s3q(xZ[6}B'|4CQGm< :))v&h V_w# dPi޳Ng*~<3tyi]g,L&@9}$Kbd۵fGf88xm@72мǞ).Bݠe>QzII{Jȧy*ٕ˖D8FH۩@A7N$ %zJ''i#76E#H0I?qfJk9 9dH}g쎲fRY&-G{ a(ܣr Ls$C>Om>iT̽d81.NRUIpmQVx9yW^ ,neX-;QXExԣV Nu5dh6%"moھKrv1{H~r;o9[8H/0K@p/]NZ\w|nŷaq%}6TzJ||:uʲtB"PԖJ>7͒<4z ~`b4Es>#Wd d+ U[>k4o-ݠ ObUOm-夅Jm&U94bWZ1:nu> Vr3=sݹO!!ė>XjP&$n,\-Y-/KOIH"CAh.k< ZI(IHz'{ ]|akk /+dωGit[W@̾ƭb*q ܉Cҁ8C!{d,eTf #[aDvuoQtGhOgc'w3AWJ/qDBȔC.* m}(V1:+/[qפ-4oV+f#di%H*i>y!KfVẽfPթ"c# ^|d/ KbFB15L kgmiMk}}D]3\RhsAח)Yi_rI\${ vgpb0,y6q0aрq[B=Ra+c 3V>bu,Rƞg"xVR&QŦ jSrSzO}:<|:s9z CVph}a3Ꜧz7T s p4BlI馌f{zzwqS2 7f]ӝQċhh4{_a8wX (7,'~vr#+A :7*z==šɓ|LYSxc(@ L8ay&DƘ1$ʙzM, DV@ (@MZHd}e8$@+4;Řb<|_ڠF 1`0+wN!A{(t-u#?CZD=5'?1'ŸB"y\NJ= .+b [>{[ss}+D<˼}ê.'~Ui/ PJs/Ͻb2a,?zɿQpPi!J+n${YĒh">WP @dTHr9N|IӼ3p 録Vʧ^ p&& aVd@gվHl"MOf"`^ v1`QH;r_V6/ wx)#O5 a*f܉^)MT|Z?inK8WZpc00.nՎQ ߫:VH2]ƾyH,da݈HRc8[.xU ?DW dD8֛̒jsb5dq*t_ZlxOwR :DD _,٣\]n7' h[T䌨:?ҮLf[mV/ZX9ucpV[ `-O2&k:-낍^O86g+Qt F9g2E^h{؉A`GZ6"l3_ ծW[[AXdDoRvl\{)Q+MZe]RJ:h${YH*:7YzvuxqjI6 AY 2YOjkd[jڪ/BEH_o3ǯsI4J >8-kcOy,_hEr_kdM=yh.H,Am~>T>5Cs|@9e?"Dj)3H Y6NQKuK ]213 J0AbHpU0#~_')1 ˴R $mi{nFa*c@nDU@!SPThA悓w޶iKn/oKY\ނ`醩Kٽz3Jl<_zجnZrϾb@J-yS95i`6*h:|h?^@w#%h76C5q7XZ\JVlb`SU3R̢ zK~wVo?Sqwu0ˆb+Ҙ- g [ LZ*E }b;Dj_&M4DO׀=ϧ(ʝy(nFs`5 {q)t*,!5l88 mZ|ҡB8(g_I'&=hRym 267@l!bՏMբeZ:V$E*Z(#ؔ$E@:;vD1qY%щ )F鳋w`}?ŠgpǩW?i-M*Ѓz#qm^@Zޞirb]2/ +;)-G3Y^ ְoP9u1&0I_rBn\V*1虍Do!>JDa0L\&*=7;js;^h@!D9M0@OȊ*)ؾC8@" ;MP"helljBo‰' aFz-x[uTdDYMtS=*Wr˂Kro<7GQrwѮWؽuեWmrup[P_Վ5Hl1!%i7;L_NxlZ2Z$`M}>Xq}?}|d6g%G!L&l2^"[:Swɷ22c ]h;I؏Kvh2|C%= X$u1 z3#%`gjKt#ő&J"mSU<ׂ%@J&GRU ]'p2lx>I 3j,yRS+Y,8me#?J.š~SӾd);L*08n]RexFRM7aGa,D+=o9'KNf' :JPtѝْq! HI0VX(ѸbL{|fmRLPIU}pFF.9t""rwa_vZ79ߛ:%{Bvrt#M 5mz[Z`Xqo//q 1--x0rSI(z6M %}OܒBaj"xP6c0[8a{N$e>}tl i",Eڊ, [3Mmߕ'/tݵEYw387>f ӎUQ:,l! qWx{᳣k${r,yݜlҫYރӵ~I*{X?rvǵ0D5(?!kmK^G`@h}쌤7)am.cucI^FeX27=Π>23zxJxêI *mgʨU)ou\Q_?_Z>e$iO+f+R]wA6lXgu(*MQ+g@M͑C#c|%jN,DIpue)3BgT*S QXZϰB8~JEJK[z<ośWqKт9q Ru>x??zLпa(8䁈;73b vm`/d"gdwC5xZZj(; (Ax٘V l*퍪‰.[6h_o]T X Csc Y&6pDe'k?uew[=-9$ч7`fG5_"MKShj,*ifCtgqXOyKtwEb͑QQ 5 mܵt,z uU/Zo-K?L*wWTDâ)AzB't!92н$cD?ny;8;>uսuaPq!ʦtJ>7M58H7P%sM[4EX Y1yՆĶնUpƟ+} (OŁS.xz Ȟx~KZm9A8\Mx8aY x0ɤK҅/yяA GK=/r>|c[gfUQFn`OY6hfD( w ^iҗt %DN k<^ɧ waA.ܰITg7Dp|s5/ ֵ~- 3=GMCxj+z&TSjW7/ۃ$~5kyv{.[F=LK*EDm*7(N-V[=HLje/kSb Ac#ҍ0%OB"UsH?;z tA@+hf,qlujJ6Lc(PZ Sw_4WiaZ jrm(^U|co.`n0h+dhiQ51AJgl_F/#w!@י'f FJ|IHZ:ηng}kk4}6:=]#Ww-7,,$4e:h=ZiwЅ)JR) aHQ7ƞTN0&fj웁|]>\J_|Y;y,9#@S7<_dNBfk*՘F!m=^n 4~6A:'E5ѭҏu`F}X\,mcfSE!x N&em9 Ǧ{UF|j|5EYZ*P[-cp(e>);ਸ7NΗ@FF\s ߈͞70fXӆt97R#13İ;rai#fdbJcuAk~5{g{1Š?Ī5*akR]~A!SMaX"sQhRRE. L#}n_Ͳ]:TFPxE+*Rl׶!aC#jS5n.{좍X!>cY i.\,CB.}=PWACryv]n g[οضϻ``+]SY[g%U6gaBb6 MO$K6!_Lv'HF-/n#yPxƧXv a9QTDm`XBXJ b%ݶm`g냗%%M )OcQ[ \ p%57?Sŝ~I&ɒ}+ >[VJÌ!>gcwr'$%>b5L{+wHFA8XAVJ1'-;uovn}Q "l0`> NA2G>/%g=ʞӉ]PyQ3)̆~9S0Lvi }J`p0/H\$}ݟSq+a)[ M\k#":|:EZ='ӎ_7Ci1McW8 6z^YVˉכm]gWx%Yjh*L`h` 'LŹ\C% I]oWђy~,.컊-H5#=e}y^_ xWqjLdr3O~ Td|9|AM9u"\ٱTY XM,NdՓp(Ы]W$9;~rL'_iPQ9|٘("{j9 H&V&F=ڞ%xժ٥p0C;=]z ;|QՙfDU B8wyjK`?izF+uh쟴Z?>{} GyW&jOi 9,ms>s(,h75NȂYc GZ4z8t e|/Gر3>5$ˎF(d屫 6Awqz "Ogm4 NKҍ<%R8n?άC@̿!/nBpBLpf/Xj (Ku`CN.Sl-> Ԗ:~h&k2Eh. RuD̃("dZ`jE815OcF6#~ͨjE<58ϑcؓfJQ$S;ZpxVB:fVGφHN.%3n9ZR4s̀wHn!厹zQa ' -;X=%o,ЊF/6w1&;PPӨJ=K"4} .D{SrDg"`I%VmZRS@]C?k,~Zb [B@ǒc)6HcfSPku X|`MmBEQxE+~ R*~ {}wzJ~5G:0[<*nnMw]U0/P]BxH9ORk28Yl'ْX$Cfu߄]`ApɈ"{ 欗Κ$[hw7}PD}tڲc *b2Cqc>Y55 Ӂw; ܟ$⛈Do Z>,bcw +W<fR(Y *:PdCl$:Z 1Lz|Ru0k7dj׈WcC(Z/ݢ@J=BU0 :#q@=l/ fJS: -eV ߈B96TA. ͞o 1m4wU&w= LSAۦO^=tClphTRN x?;"Df1'=&Cf O3֡gp#_fjOo}M#a%T(0sYa9{]v?4flNC7:Z`ΛI(x0X-do$>ҹWWg+@n)[rJDk68m u= %Hhҝ|H]ݎlIJ@WDg$&&Y>QW C&e蘒q1dt-t%`#K֋_ y|-b9S ݍ(}g/h܈mchtð}C-f(96P\up ۩q[͉}O\ޤ TL`fˆe;߇āC/QMLF/f_ ~yVw$ߜG'AI{\&G9ۮrUh:W| ``t4]>cLo8We.DBTv͋\;&!e .rܟ㡬 Ĥc'•;TO-<߰\F9Q #HT( zq!apQMwڣ#qJU!N/z ̵,d+z* ̝Aff2 g?D,â!ϋ[?7چT-E3~BK4dh7"B1Z,JÛ=:+q&O͇<|6 f; yQ+\ҸΑ{kѧzℓoA+:pf#+i3`s/܋Q0C[';y&JtP~mM`f[TkG|xL5N,56|6P'B/D/lz87AH{6nߕ ]oGI/..4 & Yɉk۰I|Q#1KTA@h &\ͬ Î8jV $aOZ>&0ˈ+|iڢ<|J 3vN9mr=T2-O !&>.eft`hŸg , 4}kV F&v ~oPE c[FQ=z<ǯ[Dli2Лմ0X u=HnM?]9:He*HV? wcMo_?6L|ɏ;\+A% yx1q,p]Un룔=̗X vMџNN#=*fOY" @ ~ݘq cīa/,(Uqy ֦EFS/9|YB>K <<,)τrFʙV-v`!HW +du.kJr9B.gI̓ F`^bf"rX>[%g)rv 8hr*DZ}j i{)"9"]K>uL)#ÚxQ\z;B}}@\.n+)@ssiUr3R~u6&CmS8XzCS&pa6j`xN5h}3|#m"b 8 INC~7%?:3_Yݣ=8+JhC[á(?l~tl|7MFUD7.nCs$&|6Bߛ,"_{,lkmTh6ШAm0pvbb: ̑Xe癶$$0:Wᆕt}h~Ic>PTBg da%'Ϗ%]+$'q?i <~cB !AvGAnXq^wt^N]"V]؆8>&fz#&BH-Xa>k=kʹ!g_Ћja^6|$,k2C Y$4'w׹4`fWW;L~1ߪK{дZFf/a5u'ݔ[yͧ/&ZHFz2~Gyk_hy@yեs|IJpqd  u+"~h"7?̊qȼ­%Fs(% _#DKa=f֞e觷AWx:2b^m6O(k#0nlCө+Plirf6Jo'ѵ8Xdkh?*1`Ƽ8a$;7ß[py_MiHe<pǁF{0Tbw`}wG%]TsI!r1BhaͶo5\!A:bi~)@Q 76GIl0QDٮN"uF2A.J$.|2+„;, _L/PG/E@գN:Kmo&ީ2Ac&5˖HrܙpLZ񐞥:vYvD;#KȦu!@f%@.Pﯷ+‡~#my*/&7R\L]yDo{Ko6V?a#P^@O襙b/9TJ 1)r(>y_<R#hce  kˌ4[鳜ۧ*Lq趞5QR>wCC9K*pG&Txs?y#魜b6m]\TA49YJ٫ ^.ػ(jH7AoXr'3 5MX"doxȢK€0NMHxlFNJB*'MPoӃX3qsGO4vG6;mۉ_o]lMn<$p[#N?7bcIH>dIXXEV@)g+ddKG 'H>~oW)O L гlUxy.8{ȗe1gW8> iKjFo7`CCz^\.{Gѭ*e8'%rEPL~OhzZj큇Gh{Mg2#1]y1fi.\0H4>P"ͼH;g3lq@R79E2c-o__Z-נPj->?{2M 0:GS(NP =ZZ(OCũcI\$(|58QSAcs D@eC?.b49{و)p;?2ot{-vo{'%HZ`SLGtFۣƅ [eC):F9$׭i z$lSjm/w+7&p]~g[/qs/U$\>[D?4=9>4q9۱U5 ǩ]l7A@3:a>^5~ZE%St-ԶlxLq׶[?w=!yOd2#bLy6+53fІ4q fNjbѱMTzZ U\땅j߈}F#[8|4 Adط7 |;9|}^^cw4EU-py5nͫe`8*eds"gKɖ?. Z2OPz*tB4ow0,V ơ +UZh :}IR Q>nm單 4A+]o@{ۼX<evzؒ :8S@P_E9BjY xy0nSlJ/u0 H_[G:h/a_0uԕc$lNS,BϮB ]Nk'UP|Og'i%zi]NV*`Wk6µ("gcV=:DN5q"?ӂ81 'h/n`Ms1KL֟5%斑ApCI;J:^ҳ=R5j׶nW}Y 0 7U0UBa@Y.)w0mcWKY"q@gήaHI`v?ibx8 c:[:8Y=7Lfjh-uq8?6}\@vTdb`tT\޾31X4:܀bctyu=QN&FS^4dxiqÃKy¬DރL X{q 0Y=q(ۯ odEs\-==p)~X)m l'J*f)e}v!f]ma\o$KtfKE^Wl7߶{Lߥ7/_b*? P>St!.4c+cltbt)1݂򖽨 !)t$zIJRBF(w'ĝvc&nBo$ 4n&T#at 3zT¼w5]wOÃҁH52QU)8ÜȑLj,tP 9w. o esײ(Ҭ9(]"$Vnw.N?qKpA7b xdl *"EjS>uAx&`F-`.yf`!GY4DtpR$'4.qemVC>;jiD:P]ּic 5)ee 0/#--PjD4j/ү8|[m\DT,pdREM=-&ݐ->q Hb @wkzP} dVDE^xwOnSq DŽi R~RDy\AV9/IXĐqO!" ];yq Miw$yF)\nAW`-wP3S/\jc$l9ԕJJ,5 2YUы@hONIRONKWo|XyG3GKZnH SU|Nqa$S%"涖z'8rF8I XɚpkMJo N!o3]G۝Jyp6T>aڿ8LJ5H}]z5?]}nmf7\FU1<G6Vh+ f,J+G3-FUOr͎%RT[6 ^o>0PJ+s)[jOȔMݳu^ox]5RbS|prg󮹈a}o]vK.ueD^ %CuaJ]}8ho{P[eDۢX,%[(uxT`͏v"+؟H{u-n A50_0|5 vX"X%QBduJm/YjyT=z#b蹬 \VzSh ]9F`d-+98l[0eF\5Vtd&tQ l@\-mT9$˲$sDbi++L?fGErUoSi֠|QYͿ $ _Vdz[ 8t X+Xd|8vUgf9g Ib=T;tKϞ @;? 1!:UQV`|x~k_ꇞfidsܞq֙1ٛd'h!mck:kVq"o*Ŕ3;UI= v_0! ]PxtTIeO ։щ[œH>3 u լ8BΗG}]embVw~ւ@(4ެ->K2O.n8-=lUß!Az$=[V XQ̳nx =Ƙ^R&YBbVp 4Ec_K^/JCҰ#c?W +|_?@px(q9#l}|CY5`7Mcqt<:>`>ρ6;tH{TR|vv+{ OX (he`\*dAR推x9fGĢm$^AC`9sml.%&I7F|̥򍽨{D+g1*Iv%熓Mpkp,%facw͏a!p䛦ǚd= XRHe$ ,yS#8wS\0CӒռ\+!/@P*Kp#gf$;Ivs,{=c!\st>B@ @/GÎs#kS kEb@ͻg/RaXGG ο(qԁwk@`C_ӤK (`4ń֣aӟΣM,Ԇ<Cu.%ƠYV,yiKogb2A4JWGY1mwf-U4X\sPՈ#b:@#.TDId^L- ]:O[DEql]H9& pxu3cۮpö+w OtK' 5`..-}DNDfCjE  4,WGKjdTNqNܹ5Ȓ`Y %Px ʼnrÖo#X]1Q0*:D>UCwXB8|'o<;bY˱&Ixn5 X? 1zz2DVh$URqr6~lP]%sXv-eϯJT$Π l&Q@6 zl9#:,*Y!3OʱMR8PEG/Qoeבl*Xpb/jPG.l/p,/uHrr8]`Eɪzw ~h 4Wy0FZgTm6LԸ4M^Nr>+ ia]PJiC*[jsE"ea%b8Cam `ܣ&FDU9dTKPf,-Lw(puj؇,C "ʻ=ZQu N<;mؐ>/ f$yGV10-~ϰL^.dޱQ.!>y^4üM*7Ggbo{\|WhBh6|R4OS~Vg1Y1%AV#HEzm ˎi aE.fο)'oMbgED#|(_`u@Gy\[*t8.#qkF6,v)_ꨆp)gV3{`Bx7 UuLdF?Wk67!c.􀰫:# nFX@&o?@OUPT7sm s1gndONIEֶR@p:?fwMrie~To-\1ʟ}"YB:Hz h d]ѷ+yߙZHs*.(s԰ ͮx1ơ$]вNC SM/]!=sRJV0AZ颱2T}A1 .1 S媀s[Rs)spȔ?^6^LbnrMj舤(BCKb}NP`%x>fA ԂQI &rY2i02i[M*}KGIa9i= >Abesz/dG) N#toQ8 o57A@-HYmsŐp$;9d[}OXsخ.gp&Q+jN-wGp8~"˕Z# E'/!ПيI)XB6*F"]jWӜǴ](V <‰*?cD6)2 I㍄9ɽFfd.uvx;pq]_Kú#^5ˢwRf=}`|Up6kI?I ]4^z[mr<8Y+}=6{X1Y 7@ppMD:4Jެ8UYc"oڲ |#;q5vY}>,4LlMvATGaSG+-c=jHV~M"H"iR..`L80K   ֢ 6`&k%ʓ销e K.&$w/ ZR'鹅iS8P  ( ^):ajn.Nwr'MvN r3 yԷ 2;Tz yzm;%d@S-9c:%4RkٍD~/Nyb`p7j<Ki0 ޴IKľg4?70s@beUMBhqʻNQaþ$A)r[WKݩׯO6 Wa*4@l]Qw ׊}ϢcXݱ*kR!ѐ5e3PesV:BAqmN̳w[{Dh֢vZAU.o~uh1/H^1?*q%~p`ԩzqc0m~7%@ jK b}Ll/M}! O^-\cb/ȇ ^2 E ;԰[`4N@RN t8x!,/Tuzk*xJ3 ^T?T>xJn1ej_2Ǩ=rufm2 T XUh}XЉkۏLHŽ w9M$t CVj9,3'__HPvAҘpT;@#A#ӥ?>[߈xklTw֔);l=Gs'58sȞ+@?Pitm.ӭw뱚8SDs[m-<`$OU\idlG )RSߌV:E'@':_Gdߤ7ڂ* Y!Y\t]+(m௺*UQ7`^>&ʩ"o0Q_7&GS%520O@@!fc890=f^F ^sh2& mNZtC?fG>Rgsh.5Xѱԝĝ^3v1?yD,b8M6Dxo,$fFm_9=uLR]oeüCXƮSoXC*6>FKkgsZȔOsFiٞD7*cL>Ab}Gd 1$yf]U(⫯DN9g?ns $BV_M=xًg+ظR՚=FZ)S~E0h04)P?M R[-8!Ҹ4{?8~=F񇘅>sD7F]</~'Z=&7~'l\D'T>.iCC32Qi#;lG=3*9,شMA6뿸D:c_|rkUFg'%"6T~7>n\S՚gf_0,4DbZut\!nB~fc?<ϊ"G3{y=Gz˚qDW Ja KGEĩ9^_Q gF WMZ7=([Һw8Ln030[<6'pgg }F ->ѱD1ХXy}\dA? n>RM(C׃yo_9|Y+A1<<~ȄKe>P~X_}Gn@|JzԌM9`gh2 j$1kƉ+kfSgU?'F$ XCga' &p0|tI F;J U(;m:b Zy1D[.usTdSETW a~8t旛((u60t88"h`_m!G  @lVGte)Py&yVNV$FaQ/"{ \qmaD=m֔>_I|Sk1@K&>ĤǼ_a67ɸ{Zcr;פSZ"aHtomG y ~_ 7/R߽< USXHLmNY˙A[9'L b-pe汙`<`hU;~bЇ xE!m~k >9?yB[NY9Ur]ı`!W=ikN;l~!j큈rz"3%~ӫn(7O3+ xorUcG7C95%Pf8̨MN9e( gU_&.Wi=2@*1HB'JeOtDv2Vm(S|SVʖа=U@^ aN+4!0s3 <w7s뺕m]]v^U* 7:=.+ȡHZP<{]%:;\\񉶇Q FŠ]\@R8nv7U'[ϝo}ip\c053E34pSPIX58[02ƃS e1F◮M&ixN'Jجm֪q4]N[NVRID,>%cG1Hԯ3f+MJ*D8} hbGSҳ3^y2fR OdǬa펝{-YT݃s [FHxny@Pq@Bww^`QৣgJ͔{y]\JD"\ uj}0-SFDcIHz=!xzIJ$Vlɰ=DvL :/('^ hR?Aae.~ʻ傜(;sl}x)Զ#g.@ƐK~CE. x7LE @3꼾ѢG>X|8V`_EZ92Z=7c+Ey7Daqϭּ.DpDxb6J2lv B2`)oa$l5tr'x~:IU]1>9z%"o,KG;X>"νy9 .i-e\oX|D|B͓+K[t>B!B}ų+.wr;G<)AG&w;CWռk4  6%ZJ8竸9)6\󵡮jzac'r 8| DAr2_~I{3 !$Lς$hߙesm lc2 :e%jcAM%˵A>x#-4eډm+sBy-Npg ϟ,)3͡w+'z@ǎ|{4/E ғhK˵+ݔ͸O|׹i=U&B ֪"/j㌰s@ԘsHJj'Sr1tͳB9@2TINpIQ6?%I* hN .Y)Oo[L.u 4pcL¦cԏ f5;2{5Stㄋs 4xP̥Ӣ";ܩ?HƥQAR k4o幞zdTjXoo{p 09/KɋgtOZ.$M@{3L}B#ZnkOXaW-} zK$L5ԂWQ}hh$Tto~&u@xflYJFfHFXhqLjt@Ƚ