SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 ] $<\ ]/ BNF_CC:threads=4elapsed=14.179cpu=47.832gc=3.088factor=3.377zXZִF! ߦJ]ŗXiɟd)&]hS.J}+%#7~|uB5Lңcw'6hϹT>g*cpCrţ[+|է *K^jƒxvo'b?Ya eyJ#l;>IS'o&qY4([iԨ@\ɦ&@fI~tmV[aF{"L-wKg ^0|kMHad.軚jG@:J/@]OG0&LZ >s%1oo[Mz SOC6[RWY+}_;- [5^ftHwvK   BNF_CC  Xwsx [ie&؆C]0|[B6U'ɜŭ\wʎ;v?"7ew)"?4|=bj2щCE+J+z-W {_OYq^}q#@;R-9/q}B&+$pCpj_|IЖ!FSCۃ>~GX2CZ kHcZR:F ~1xܬCS ,ٱQFƋ%IZKqxuNIDÂe+džmYI哤 ?mҾeCXwd-6$I }Ғ+S@K3EDsb9eh9x`ߦpTtt?! [hdrdU;p6fðkc \%]yϭ# `-/a/iUAYы9[ƻ}(O{xX>+`tmFF o?|30A_acܜDx̓8;XE9PlBsfK 9‘F=/Ȏ[U+Ri/Wwo%@Ǿ4E54ۆޝֱnBF] 5R_Q~:F*yokap)h i4)kKǼFJr jA M>㒫emsy;ʪ{6M8M|$ƕ2ۆo@8p0:3|rkϹ9J "_q/n sX2VJF.Zptc;:;^8V J]WR/o`{E!~Tz'+sxax&@*x)DѮDc;+I3AؔڸO \mNqw>2yJ3a<i +fZo͙( ~"FXD(Qq% Sf{`_ケWZ|"Q <#NK3ؤw4I|h\ _ļΎr>՗[JZF{VJW0鮔^&cklDB%=a U}<ꣴ֐VCmYR&Lt8"̖$γ%y02:REkqsKDq@~J_²'3WVpvߌwK;eM!y Եb9{5 |bxt5~xifC!H t c{`?ǘY?Ç''q DBIřhyVe%ar*ےQhmd˵,fJ]P<+q~%B@q50Ig `)Sl$?NTiD1 |,J@`+O9 VVKѦ8s{SvdM8(-#K2jM8"h4:y[R6j6BQąbs7cyճRGQQإĞh_䪑&@!~4miFt."AM'bsL!$gx\r;H]q&= ]SL:58I89:ȥɍqoMmJ $ѤfIŒ^ؠ"ȍZktg6Hs?1>m}w?O =Fq8?y#|YL32\^D18F؃,1*A (EoWc=}+KKHYW4,OR-iCpؔF }js_#M}GoLJo̥4YEo O n  XQMb~Fev5Aݻ=q0=6~0FT?sGJs`xjaئ-'l \C=s͌02h5v@{t*q᳖xlqm6XM3;"a;{ْ3م ^g2wcQTJ)b9ɳl@V dec?rNchxˍ=ƴ\zFu!,g'M棄</ pEG^'s]w8#R^ NHm Oސmg9,zWnH DH>H0x-%W7Qv[>h.;aJbo5=}cRU* [[ɶps[Yv 5/e3b?̊rl$54@{G|GUI6/HBy`o,]7{,˱ԬYn/! k34Cw"?&k*`jY[e=<5'/@Zx zZ4 6"UaN|9h[ID{(@h|50idS`e@T$F `mQ؊w"W)X/`QcJazByYTI^7fߐ~Dq/A,!tvqvwJ~Hej' G"ƂbSq u:gGY„M_!]k;z4u0Ip}' Q{@W{LN|PXuPތH: |Tecr,tFPHKIeԇG1#K$Hd?!z0Dpnҭl}f %i 1 W`W^D2㕎`~~,OsRH9 "F \? %];#jpü Qd3pȤK_mR$HαBQ'Cy1;tLD7-d chpgO@?CoֲQAX² D4lyni.J) @҇mŽ65;4꽂={,4CfEY406&t,zKݾcVkDFז\[5 C`rh#˓WSW?3+Ci?1+۬ $TXi [R)duF}i 7]X[gdyxGt GPbk!]أw!x z6cu0 йK/3^8#DsT%_8r{찪 [M[K^Iu[ZTF뵈.n ۺ*laxs8!ýW<:*jrYŮ:,x{X+4%ݞ` ƑLȡ+KvvCPŇY]zLfwH!`RMZ dw3Nf7L]V2Ω2̵h]D7[NN<$兀,s..&W C 'Wxv k5 NL."z?d >n 3<ˏ&V5{xpfKH)- ]*-@ᅆ_rl*٦x AeI!%k6|B.d¦iAAi"c vF]h`C.1bb &M}ǀ|j+vUOI*^CץjuOqI{ 9n>ʓXXm+ItB3ۘlo\ /LWVV5$)#Cb吡Xtoz9Vo?u^AۭR_vܤPۤIzZ~^П?I@M{#8%2~=x\[,2+snt,$a7g4llLW},LZJ߃/vwq` 1'8p뻟#Jh=$w ar.E\GО<'O! n`qL$Aم&Ws;}c&ԉBz#: A7J4^2 HW 8Op6zo%nTpSnDn 9ȔdNtشY>;lfd{my{ͥҙJi\u,Cӊǹz]  c̎g%5_;C]c3x, НwN BXTz?rK>6gѐ׍p2 VX 0ډ9jaBDᎁqCeʜ,2U153ÕP:G5+',^e3yK'VgO؈)J}d뜔``(@t-hr ~mrlBEƩc5Rj<; _>g WpoI[9TKp[=ԜvOǛL 7;ڟL4oqP3_#}iΤ>(]hlpF͍Bqen$Yf.RakvLBHʛStj2=CB _Hr'i_'q $ygΈEb=n opFc8soն%"Ӡ*u>i&Mf3\ F$ 4`k4RxGvɑAWD0/֒\mLwGC &1g- 1ޮZf-gw&`$>xvHHS ]:79e%;pEEjQ\4dܰr@^Xגœҙ֚ ,{5"O feO%gև#=mE,/MyU}II GbvQիf2 3b W^es$8#6}P,i ڄ23G7e"G,J̄0'"u_`ᓟtϏvJ[ Z *"=qmg&/O۔%V)`*{l<=Q#65a4*GeH9^8g +_l珣#<ٞw6W!!JW^]RUmL;+أzy9"jg!Crd(rꪾQ@I`(ַ3VVWz` 0J!<`(o0VsH|;:P_lFλ?|Hs،M` 9s[r'>kB {$ȗ bs~ ?3Y<ĕGfo X% ĻuÎZ"U0fe^R]I6IfۄC}ЅN^7š9 pi-郩4~Cj:˂-OtDMh0P34YA_ !C9߻C,2A pWЂ 6;$ΕiUyq$3,]y]{Edy*R6PcHb23N ?(`#txX]ma>Ga&_ȭ 32Xtˣ7nvDOVDfԸ6lC[@f\nԿz o9<$CC3N#Bs„joO㨆+GEqjg9 >=;Mi#XTna:\ve:"UH̡7}M.ky^LfڍʄQO)>; n^*q>wˁ8 Y?9sE,],B?32/ ~RL&%}gYPl.bL 4}B9!>y_Н<{jk`(-?=~<ʋ1Cw>poyWx\=OƸ\vh ݃WPU fswcp(ea9~QRԫ Ѭ9Kd3# i'½)w1$ع {v樣9{e$$->ncvI)2!< Go'xc]q"iw::#X#R[,2%?dW [ :,e~{]kma$U * j{qc+g f 0J[4W u8=vK`N#_WbS٧ zkj+0|\hE|pP? h9ܶMwC֗?`˖A[/p3X%HUQ{&j(u?Wugt%RW3{62<.Рب?om>RcFttB)%Y֟(6#spisg }͝'+Ed *[6[rg>wfu곐0.I~ y184 iQvpGð=&' l&^~0+6|=bA> cF^\c,?.eORXcS;HD ˗ Y>4j뻥WX" ܈U'7mEcY[p!h[?ՠc2F`? _9;cEqlՠ׃# ӳ k A!bYMG&T"`?ָH8fޫm>*d/4g>䱆c?chgЯl^ֲtYxNj9!WEff%]zrn! %;ň${ Hwf&K$xA1V~~[brx2qKtjT_T!߈y7bԻ6x#n@QՆ>")7qda-iT |8LiߍK".F74-Ȁ}NvVZrq>5+R`[ۓLO]ǔo6KҷH\w+5۾AHwd- ]`cWvӖqԖBL1G#Qn4d[bT,r%Kvr[YIx6sw:g=iܱzˆ[ UҔn>VpGj.g~F! Px<]k:@l~C0f`X4<.A?fyP--Ax5ߢCݿ~T RZ#_=OqQGǡ=l ٮ.*ս?ؒ֊mCǟ*s[Z{'C*D 6֗H7 rP5yFR#}*:yD K\ӎB=|T<waHZϨ v_en 2.=: QB+&>u?VQ깅*Iey`Qvv:+.8x<(\p-SCnh7я똕RS`:8(dD|k% t$z|\%yDvj;=#2#DF~iP /XX , w G؅YiA+[E  :~ B O0uPA _{pSu8Jў t΅"OChb#,#ZX6],;U&iNq$H!܈z{hg@Ly_>K֦ۂ$[|zf+A~}:#<:> sm,[b,[РB QOsF͸@y1 2~ > 5QyOdS-4nt d*8J*I^򛵨m5Vn|֪K锢^aeBr!(nM;-! KЃ"]TBX9VcfJ3ui;w= }%TB6yBLSO-GgAeV_?axvrfm#l Nb^;A(w{* (!r %7P֬&AM+=Zt]uyWcNDĬ}=tk]yWOc:əvc~Sg*0YkdgF9FmfcŚ fN͢zPkB:GcFkq)E!y|ғ2PC^ކ7{7c7\o8o xM[@6 RSDjM2Ai\J\g}-~ЂM&}06jZ7&dЩup.vJXPSBe "ppա,{ _Yj& mqvi-ļv#VZDS H,y8,㴄+#HVy>ꑹC m_leha ?Něg͍Iz6˴d]--7$Rn:/G՝ ؋/f w+hj^BQO.t%{?DgFlQkQl`#ɟT!6|0Gp߃ $4(XH]r @pKX-cF7$p P^h/-wى&ډwX)i ^TaNZ~"ΖsD6sKSg_vIӊ-js ӎvރky$F~v,~I7˽9 Ÿ`]\0q㽓"pO+H G(I-ùCpWI5 *Ne$MU'W6nfUH-"gŮE"V"vEZЩvH8+JtkyT6F~L4fkۛ RvS V"E04j> 2nU{W]CbVy0Z򱗈Z [DY@ ,aPXy߹J4fYӣỹ݅hg9W<ס?S*H, E =N9dw.|  }LۏNVoqZQ%3 $5|C"?9Bɐu7Q+Q/ 6Q_h59 aN[XZ#ɜvMph~NNF5Y@7!fRH^՝CQ1ܓ$c, BxzP9, A&xB3(U!_ Wȷd.8 OVX٣4eU-lwl? Sd1 ȱw iz)iEIg~oq\ᶉ Io< 7 P J1!:փP5RI~ɒ!O٧^ /vJrA?\LjɅq9PC  o{?Q4A?R& PaaQ< TRm@]m 1 =(r]&L?$)(~b{J& /VxQyޯa&^5BKp>>$Ax)s7h6[y9lvĹ- wpg&^.f(v;O: bUN2HsRbn]T_o^/Yy>?M1Y?T> ]|o AM(hLh6ّh}τ5ljaa|謖n ΂֧DiiERj~d)JyN92"[:a!f|>zE鹎SP-afL?2p)`F׶R:8*pΆ8Sz@kF[(jF<ޓnO ~PP(M2O /%RFyr?p*_L%KU+6mC4jL:W+Q|1ϳVO%{7Ĕ"*oe7\sag k`sC]m6)DMhb< 9lxhE<;C/ .`Ȭ#AStA"Fv3T2h"D-|c!,TlnQ,wJ_S] ;=O}}" )q}koW֥4mP͊aקh_2ڬƖ]K|,D> r-hDa TB:.?Zeϑ\Si72")AosP (q%pukyv;KF饯ra[MnrQdݠ!VFΫ%:Ek֤XAh.,  MNc[D sO (ϫzg%[42"g2yWأw4pMUy\H5_ii+iv 8m"t"L,>F6@@*0p%q5h &Nz[j5igvNP O).۰( r4;xaEK^8Ԑ *VbOf !PsQX9}O;)U0֦v\\==KMK%;x'.[.d/\ S(ztux"X!ԥT+\Jyyr|Z2>*)hM;99uS5.-D"秹i K6F9FDtIb(I`jnY X>t;%ž;!,18@E_7JFN%/MJƷ+J2 }D҇A]2 ?]~X], rww0q"fϳw0 S0^wyp3r=K:SWuSZ%%o|S1*{mHqX9hDl{[pJ ap<^9"/sNBTBғCbb8յlZV :+'67vSrM7144ht`ئ H Da|FL/>Axn4EmX<֡.US%;1maEJMMT&2.sd\+D(b]6Uqa5CWR{h{JM2xșqW2.[ew{y8f8<`z¥ u;-cB wc h~Ov  1PeD-ʫe- 2e2MݍrYHbE"YRۈ@X/h悍(ẙ&p QT$οA穕b_n*Y9Y`{ *aᰝE ),)t߈FВ'F)m 2e_ WgKgaB$'xjS*f qgֺ^b=dp xULkz;O[{Dm-5s{hSA?#y]'ߕVpDxƗ-M0vkC(c NTsa*/ԲWyl0A/M ;Fz[o& I׍* mEfuڼ; u!L(e{B(PA>fΚ"JkلbsUl(c9! PܶAb %A?l(R3O6%H uu/hYXC" x ٞ΢orH%\U?@V~v# 2|`#P 5U$ӞЙ&a[JӐUqKjb^]H1D%nT'>"ip=i5㨘1*tub;-ApѦV!`w! ɼ~]$)ToBkѹ¦C6z6o\؈p-ץMcEBܩ7vV۳_,K7J`,6j-of(ASK3IoXi̿_yԅd_^msO:(+L8\`D l>KO<Ɉ!YzTFMYrY7aTū2Ԗf q`iCf-{ t'5-@Ic' &0N/hE3联($8|~vve]iS2/2(X眝\|{rF-rIX?Bq9;1u&Vx#2} FahU"'#x?A4'1y=3z(IQ0EZc;8폘)IF<P[0/4;`1沦C[! To4T6"{[m[l`,qI4zI 6k'ٟyH()FC!}r Huf0ǚĘ( Î(kS(.ƘKr lNI? Y?/@ m#1g-|FTDaTFJn+5WmA]V4Xl@x38 #vb,{BsS~ A٫K#˛]2 9#Xy)MfKWmGie xTtߴ?2Ɂp^C"ٳCq a8Y7bءrgmløUhT$W 7x C=!IW0A3- nGX[vJCSLRz-Ө8,-'/Οw.qV|zOD_H@6Egr_ >דbpړ~Ro!*u5tV2 w,?_>k4f*|-ue_rӚxA\aU[d ;/_ q %d|D` ZyzT"!F2fJo}\4wWӧ{FAjJ8371I R7&.QTPj?N?5aCYx.B1Lb/%lhw3x59L9#c w*g}d7|u4nM*MFݓ- Rm1dqxI_à^lܴjΎ+)G@1xw[N1ojiDa 5*埆x~t|tN9kȟn_V*ZK_(̨,M['D*aMh)'HY%(ŸB{0Js(,,V9mCw`Ji$d0|-^v/ ܯw^zUpX\zVKYeC+gJ\  X#y"8܏r'+3Vd4Mq\V-2$2|1:|X7 g``0W&5Y2%WU\v 7k\zJE焷E+%-wٍ Oo#DȏM|Y9,Bsc!r_@)HvHl6]Be9w1oM*qd̆ҡ³-]$d,CEJV@{spfǘf^hU Ynjí<tg84; ,UH}ks>q )r[¼8ժ`|=tC|G7GC`\r?8T%RŽhMcv/}IH79{.z(eɳ_ ͍~vhׄyV~_1"-{,g}C 8:<ʹ7px.* Cԟ]zv͛Q@Og5")!}J4:Xt42Xr+KȲM~R0>/%(>|R9^B}3=DǗժ5#I[ 7^Qx*49i79 9.vԛȰ h uR9"Zie@ ,p#;]˽-6k@x2)d;3^['h[gXi2uP!'_e6E7tx?` ^i~?ԃnO3Q(0AT&q|/Vpt2p;@02bk%Vo̬KȊY7Ȇa: RC-b$x礹9E?iˆ:ÌS9QsboYJQ"p)36^p]Dm(ٸ!y{Pذ]quyCu8Մ lpz)SWo)vxoOZIU[͡'o3=|^ ct=ՆhK|zQeU s%*iEZ<}8a04tˑ47lYF䠿s>ᬟcaZq22F3եcILP4ޥн3ia]~%F]v+z`kEn,y5cLvs^(EUc}@ &I1l󻫖bX(vOy55v@ZWZ$'fG*| 3o7qhFzHU~`QOܷT'rGУjs3xG $Aj )4GN||3G8SI!29_~}Zn;=,b}Wa-yRJݐ@xC:7.K g'K,^)mzEݢɑ #49oS4}u)qfƪdⵤT]ɓ$|lޓ[StmlU2׆,wFZ JhtC@`Z\K[5.Ci;q$9siJys(R:Y:_XH0>TJ՟-kr(`6UM*`=-߬o Ult Xu)s+P|`fY SN;8KHOsW]rTt#e1(le:/W"fםP˫fX2 -C$O&AI^U4; i`BL¬l IF#xjBeUUP)`e4t} XT1hٳ^j\Nz 4_?Cu!XѼF''F~}lt12:8<ѡpA20>1|xѩ!֏ەقw 1֯Hӟ]NVg@({26'YG_55[;t5vh, sCo2O[%;н RcmgWGu?K RZEIGp"@O*Y$4XDF8gO4BJč?=tjxV=Qb9PFJ/@5H` UD?9/_ArښH]J%4qTGa'bm;`O{fm\.5 -; (W/P(ߙ_jFOkI4#l=B/qGF2M;gPΰs|7xToCQns>Ы5J=+t.%'NS<33ZJ,@ x=5_EĢd^L/je,g54`]_ I;Ihբ@d[&c|DSLO jCIɜ~X=PVĢ27j|u 9V~';d涧[ѳSmB"7._`B%?T& ɇ՝%܍߼`n&l XY.*tȉ=DD Cz.?eք?׾i RmZ"L,H69zjg0BtMH7?\ ]:Nmr7-f,dF.b}hiTBMU<,rw(~o-O;4I#gg[ =0=] d*Ҍb9ޥl2\/,6yf#9bs>) 7+aIe X2kmŧuhQk%>qBJ00N#.OSiEz֠nBUWL2a98q,sjo.I׌=< K hk<(uyZ9 ] 6RϊS2(Rސ!2uɭODH;׺E 0I^JVTP[ؼ+WN~n g7 : v@O8q,{6ejaˈhx#sݓ-<Ċ|F{&v^2_ŗSA]4)>٦N7;.tSxQ<0-a*-CFL ٣O{{1e H=OIpPrBإvp)G eW |Kmx5VJ1fDW3K@)"}IPD|l—ѱ4#S͐9DݹNi9`Y >ŽK׳Gtm3H +E w2'<"H4:DA Oq~8Hmso;kIc*azd}yS)6c +̞0AʴeUGRv4<:)!MN,/8-5' }0&?JC" YϤk78SE:8$ Pɓ'`M\x;1mU_dÉ@m9UZWp]=eP׵646vϢ#x~ȘxYwlLrlŅ6b!"K=4ͤ~|U[I||1i"H$ /T3c3ؚ@z͑l^P!f>/e7XD#6VYuF]ggD:MH1R>8aƶurήAdQy$?D`o `V?Yo\a֨!mZ\ XR{۸Vc$8695 d<޻^VC_U[{L(q @rūH*?t= 7?FfY&LFȡygulkDztuc" \`[#4GRPQT͞ khMK`Էim*9 MM2ew@-Eh<~ƵܼULzf;>Ǭ8,-vvL,`8DZkG("Ez3vFOOθz2Iń=,;kG2[_KV0YK*9T?2F@FnY)hD΀[ՕeSD!yxِeGu1mYկRM/vVT2kjt%[,cX%%`(Ǥj"Yh\ ̈$MDZ I=9gF9q&?Ӥ8Uɪ=.NfyH=1YNI*hP+(#'7{ 3 yEٜ3uC%C{e.d7j0Y_pu:=Coٓ6ZDf]q1jI>P}XB,ɃR~&n~b46<1&&՟%1/ď[lR8CLrrKx \G{sU/)+hks?gt*Vls)g6B?S;;nbJ%=?54X'AZN6׏p}('= &ҿ;їe jA0e4I>>=RG9-(D>TtY#Յ"|Ј}aQH0ީEy=孨(Y@Pdr'bNM?݇cRDF~~x޴q@5bHz2A@zYkLIfQ)֎(Q+aA˴έI:dLͅK;ˉ+9LVP4A9*w%|F@lϽ?h{wDXӶ:YȎC½GvmrU-!5e|p5LF9,K}D6E:9sc^g`'nYv6KՁkKЋ>z[!);h8ð b–T+3J.aWo0쯾w Z!I"N\2v]~0 !SP : X%{Ck?U RW\7O|Ƌ d!t?;@O-`~=Gsm@Ȯ3OBxe)J)I7hj~kRj' h%SP3ls;Xd톫Kꢋ[CAT E6RcJ WpZ4LSw)j$hN ̝g:SRg Bl*trgKe.eCq{ܫ5n&roёU _K(kwSOa/#/I"E5i^IVD4]T1Ȧ:2T m_-gvl< CAy:u٩]v>-[EXEh+4"ŹeeK㫐M?M45jzqƈxX&%pb+l~ kA'J)!sx>"肶/z6z};K؏10Clq0E S!GH0Ji>aks(] {:^O@wfI}.a5oCvf_L&]4snU愈wKC"BE+پ|I)glcO*5ĴePXp`P+vЍ#nU.JשfcX~g Kpkwδ6#(H;>W@=|i}=]r3%v8v2vwZZ+"D7}M"*gy41+P#_3M z|'%pmئ6#"ʿ(sP/[>:cqbqZs->>J9Dd!%TCVNJNq(<\,_ &JkzjS1țJkRu{{_f.5qqC #>g*zl^/vRܣ/Lԥj>ON?W)e4fPwH0sʀ[t "[9I݊iesrgFmP]GA 8G!Qnc"BG[ȏG%;]]8<2U$\2mn7Ϭ083mwdP6pJ &'%bchȔP71_LYF|C%*r*^Wxc N^x+ܚ9,-OдkhÕ*t'T o|a}mqH#`Q_e^ֶ&Za-ѝN7J Oe+b}CLY&4H+qUsH;ʔ~K]āVat.5x*/%\\Mf7Ev@?'ٯNۍ4As,d͢{~X$#`fe,ygT*iϽ>,ҟ0\ !dې^ol% |̽s@HBK 0[JV/Vr! D=CB|gvp]&b{W1 !@~^;iJt^l}`[*'=4(>Ys|fٔv4?V.-33*p}"y)GxTe ;&ucN].)\^7VE2I֨ P.:൳G:*LYw~fA RװQr/pi(a؜ ƯpA8?^@];M55LM-Jэ-_$pT52,A|*./ӣ#"_*5YvoBd=rnbvV9O=LECvHV4?8qk鶊*"n>grˑJ}@YxmI<ݔY])%ҭ`oBzi=T~۷gGڄ(讚(z':JSk/eMR^2H)!0eh}aH T{b:@EkB+/D$ غpP6e7*@ȍț2v R;{g5i㦠jiv_#|udb:j ˾Bvr2f%) b|5En!'ҥb8l7W1x9_*=ua VBڤsOfFBYaqHuHm)C,qyv;!72C![*_J>O{~ ,6}~R Ig;pI7ƈb?S!J.5839=<`qCx37-OVg +\ŘYԵm -]NXT j]`oerƕc@iFE|쯆}%Dfw}}`K_`Jȫ"RG;tu w hjnò *Do_~qi~w.$mp;WtvWzb I`R}˪6gf+1!mIv} 9yul) YM RnJŅkfi(J0gPJ}0#tn;\ͤ1%(QswM,Lڸ~ߌ|zc7Z!٧(k;bq[!Wf}`zGAlժ`w 05mal![]*ĐN0}IW6H l:0yVj.O9Wٕ^nH8QkG mWZc/DH > K,D AhdV&XY7#gR:rNkd`B/~H㩟pY? (ss Pc}@Փr8f|W@\ǁy"8zJŨy_'Zx8}v YN_jX9np9pHRי۴@A%R:$(L! I$0Ok9$:tFh" c6ߋuMM80qޚ0mh PTGd"f/P<4{beeޕוG(N_¢$Up7o'9䗅D} w硳'N|uf2EH%-@{d>7&= P(TwS5|^Л3G+$ིř]kmF ,yt{Ј+*}&,`;UݑW/KsK̪hl/ZEtK°8hx$0LvBjcnE=dDT'ITiE3e :8_Zz zt/<Fc.z{VS'yRȈR- ,aS}.ס4X:56w63LkZYTʪp-Inc_HxBӄ(z[:te}&!5eWq{43U۳T&.Aac?f{Ny{.r-S+1GXgRHĖS+%$.ÊPo(H2U l3jG Rd*v&c?p]K:B'-2#bmM?pBd^Ќ<1}w>7Wg`̶CiFkܶW%6`'c,pK[Tb ĉ';PPNT߾i-aMpBfO N7;N[x)/ ȥZWp?*E-](qRäሠz{% P޴`4uSb&DvgJ!x_̄ #1 3dgѨ[ުY.]s05jx"ؼUX$Ⱥ}g0`YY7!AvQ|xWJVQD~XxK WY8m*[Lsn;P* P"VTgY7n`Ȍ`ƴC~<c.r"[jgK8fdRTإ}VQ$"9Ƶ`1,Z.J[smMk^<# g•kt@Gu2;.Irqh$EB]uHos;tQǃ깛lrVݍ}1mPs\K_HX1˘e#zPw2]!5P;5%3\u&|w,Wj'lnGgDEf3̥4N :WH򬰽[jK_R'mF4E5qe],eўi*3r[`l/<{*JT&K6#pqd{&G5]vf0 -CZ)#/kHz*/&d)tyքw;A2F0y?Yd[em}:QVdȖr2_<ZMT}n=ɶ. RlQQ7Za3;g.pw+!`īʝ8q"^Ud%Fy `2We+xƙ!T}!LXYXl ڌ :ɾYc֔.&d`'4l洪Bz4d30qH]RL-*!cЅQH?2o&z|)cWJ 9o)M"SvN^uJdXET@Pt&ŶW>6yR}A/ځVzE !,Lmbya=uܬWo{XNذ}JoOUIUj[=Sy}Z@d&Z$U<gYsK'Ssu |GE!`wQD m$܁7x+dof FN , Tod{T<<ٗƊ ѳtOf53g'ٵro\rolphl]^B :/-jZkVe^<}RM<ૻΜ7 {e8Q#.PU[uhKpvwRUH4D:$,x*~\LQ3v U5?.Nzs7t4Z׼(uX"7 tH(ţZvE s=ॢnp?VݵzZ7Rhؽd,hUTG押wKkfiҮ!\qh7*a5 Y'< ܊ #䠃 Z"Iԥ?nMϨ3s{zMԂsǰ$U,:y0Qy胪J^r8 D d Uϑ {ނ^/05ޔIE*ťK]2jC?wK(IL6k6@/E]䜏fB?0wsr1P LKS|<d 6H8Z`)*i`+ KՏF$h [}z3쏎ּɀH&kt$\:2 YSʤ.p9_* ]dbyͲCe}'VJ(󒋚dT%ɻ8oưFb0mN$d>)$}FPp7֧K73: #Pݕr1X"B5 :GZjSZ?d%xRh˲TAV"\w{NW%0X<5(k%s[NSVn tM$!I 83BrѬL\9vONp~ h<ʞT :inF+'x܁4ړTB/|dTak{ H:0+ͿTGLO aY_|h^EN'>݄%a!]/ zWWMM5Ю R&iś~mV$똷̳܈_-+Q[JOЬC !7&\2Oq,UAPvTX}^ObQ%\\{gYM^YKZ}.lsO4| Y'ιDv}h/Z<ՌOh]ed9FmIQWa5?R D<lH}lj6d5G[$)''˽m4ʽvb3IGiTBbiqB!m,%_A[ Wd]$`dz6.dvOYiZjlp7&G[N}:98DfUgζm=d6DBQ'|Ry.C 5hTxb Rɪ:4@wPFM$xܠuv|?ĵ jcNsGK@z)^F4}?Իku4*=ŲUrlF8[މ /@JRPr[&nlmM@2F,')kyv a #Ko1i`|z͈YzՋEQIK3&< dU_0IGV;Oq!ۙp_{Vë4T)@Y N7SrUǥc &6P5.I~m+ԁOT4P1q7i. ј-&XIuv[c#;: 1f5EbXh+<LI'P8 l+>vu>H܉ ,F%c96GG"z\d+q;s=_֐ ="7$+4 B"@P/: F0K{2!f(#?}dIEaTG?6N aƏChV JJK|0+iq~EwPBTr}Մ\63\c  +g?JGF!B?eؒt\-xwQt[V}cL0j~e[>&Vu00%]C0;f5bxpذRg9e01<6r낇qE8D7/{u9=!]<#.~u5rpW#ahf'WZMD&_j } iUz3ȨChucu<  K{0|gj7"A>WAd[<~R yʿCokHf߳t|jg _+Ij:?w7@o"|yhq묎L`G G۲J(CXH}h{>S$g󦿥JK~y4q"pdclѸY #UIEG|@rnT\Ȣl%ި/ΆxO:$''ג ` Z~d/wNUO;Kk*YB ܻr.{zE4OT,:O/(//t晱A1sT@ߟ8,|J29+{ʱYxfjUOt}cglqKpb½T@/WO[V?j=$=V!4-cbuVIT/ZГo@" umʧfS8 Ȑ*|ʾS)7/\7Q j;z[dž0O|tQ60 v,é^#d|B .,a̗jF峨0nu{ agߏ&(w|_P æccD^LZ,,ҸDFc ϚJ D3x7%ՐD__(<~RKN[F{#G*Y 2gfm?T{%7Կ!s$vpGnӺ9n7@u;4x95Z:1k4G-u}+*q:QJן=ډ/@E,سkKUI)Xy,T9@!:q}pO py%̼%f 5S麤\uϮ _GhBכwAMk2YÙ0UB"@-Il3y(?VOeR~-е Xbq,~hXqLoeޝ?zi#ᆝ.T\"mЉlirukNKѡA.i=ȱEhRk80WŁ"ƨY^裚O%LS>YaCUo6.|%w5ܸ҅Dz6*kg)b)Nv, MS/B9mo8t!wC 1m@LVh\*kEVfaH IPćrP Xv3 `WAݞheMUXw/ %nm$uIpU l^2[{{׋IVnXOMFt5oqc,^q&vyF]Q~";lhFnٳ1{[YST ` Wh'\ǘtx̹W#U|D;rmld&ks>B#\B,iZsKz***Ⱦp ې7 dyakQz6F8l>{dv42 ̣~dK4u Ŋ \Ƽj:Vh-{$t ?sW/12?K4R _VJ,^çbp@~Σ l&VX"zПǟ'!8[qcKӚ>t]0OÈg ~X=>B 6u)}P)y%@P+ަ]U4iΩSHpeTSk]0yѦR01PQ]bQ^$TF>܉ʹw6w 2vf1Mcp~&6C.[|;gbIgd^8a!I 85-L0VeTZ"8h&s.QsK,>=K9ovƄv諾mN. Ȣpim3F9o|!g :YrvK}wn|;@f]43Y={׸8a=Ef{MaDnM}=dO6ʬ`anw,mrq&Դ4L^7 Dy2N`h/*L+pu L3-?w;IMɁ_7'|6o#|<>:?EdvE {T&_[^^-VC_.(v@67Rp8B`|8Ϊiγˆq#,0lg2v'bܖjg)Q-(bց^,~ IiRE|}Yb#Utsb05m,j(yEH^WGO =Wa͜ _l*}orJKi \DVVi,,%A;_Rj\QyGn\@dwPE5^'|kq)f*(%w\ZYq:$tLaNy?V(A%YUv`Yσfs.Lu_Y}契g~ơ\qҴ Rgbp p>-*ϻQ)A &-yQ_PrSY(5X6=q/U*|YYMP{V4+(^6.,,S' FYn]%?H(Yu\܂O}^?s('7>KŬkZh'BŖK #[۱]jVcU0U\5x'S^Vʄ&1]~ β@gI/lWcA I!V:Qpm^x4 '.D@(=4F'5UOj_)zAL%#f['Z nUY,E6%~}Hr[r: '0^:68椠ˣ.D%#Mgؙή"-InP4 W_Iw3XQ!kzy25F2H$`W0-?G)N5B;(Ga yQ\ZcxfA>J+r q}w ULGFO9zY̜]"0UX%"kL@,1D:ۅpB.![# x]WDi6}*Z4f^eR0y#xz}rv\}t`K{@;MU($ҢBAHGTFG5'3Y5qkcZMu_9k帪F"g h} E`2 XqcR<09@ﬠ~E*,EF$pOrFODu5<ͶPCüDSiR»u)ȠRf'cV-*[W#8^JKqAVXvޝJ:w;$ sAھoqJ|[2ȎUU&wbELc,QN;'p@pWY:v( KV{E1#[\4E:OjnAh;3K¯ݥ7O/IMq5uL h" EA}/LHD89* }20͜y>=f%nj|Dvszf"Xk-%4y{+4Z9#lgG ]p8`9] 4WvQoUZTh:oW n8tj'`6,PⅦ,s`}[[_RD:~,(T b}‡nwm:C]-Δ±bڞvJ<3UrKޤC"`S}jުÂF|F1ȓ7AJ|c͝-6DvH8C>6J5D-n$>Qyxd"~PE.E hG%qPbc x.mX1d 2MwgbƪZ綕+ځ)(4x/RN wB&/:n)3 +#8 ?~NzEx|]T:Yp/.?ITƎRe71H-(? w=8Cq&0XH{?e<&%W%[\K\!e+߄r({ E<Qw漹^SssI[PѮ+R$ү]M6*6O$hXQdU8ٸ8zV.Kͺv!h?zPжϨ݅a6wY"c6vqH^du]FWo'$:M,.17pJ?ʱ`5rZbxk>|K'NvǠhXmfg4%g_lJ#Zm: #kC;LFKНy| QТC*foֵJ=|;>cg(G3dJ}? QA# htPʰU6gH@e_Q_`#ό $qַZ@;ݣgnKK콜%ŘN Vyi8Id1;Jٳu=0${KSj0\kgU\#}FutԈB#HCk O:(~l¨?Vf4.<X2j?yBj<Pni\bpobYZă)t1լN|K"C vE PyU{!~oЧ{ǧ1G:E\AfTF jN E/^{\pue/s_EZ&bFX#[ti@iVKD d.tϱBq6k\S,=!"-TNAP}g4>{iRqh@Ֆ'"΂tW]V1c`; ׁνF2),dۿ3;u#3]oy#1?︣ mmQ D4™n&0"?Ic1@~Mgmd*EPɳ<pLlFэ\6CWIW{CKߌL$׉MY-$ 7EL]JZb{v#Gy~ؐxk ƽ VHS]nW3^+Qrx53T)M`&5m)gYZ2a31060315d19da9c21bad0ae18085c2719a0d728215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61