SQLite format 3@ .0:  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 ,),D\ ]% CakeML_Codegen:threads=4elapsed=494.816cpu=1411.684gc=42.308factor=2.857zXZִF! M ]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>kOh"beՖ>75ag>ن-l:uɒ.5LH7g__b9-GVF)g:8L:? &? cT`r+غGf vl'_3H^h s(a%:zvc%(!B6 ii_UFZ,9Z, BtRF$AJ8|=2{Zy{J J$x _P*t[3p@]%Lj(SRxPl՛%7yaJ CNΖ$'u }[HA4E]>\b{鍪6W>)+Q(80xa\p .Tj%}8ý? #5И$F!anfSȭ`?{N!N9,NI$%d]ŭ|/;.O l&8Y=VmcR 򾖒>RY}LA7f\mn QѧpiqB"i;[:֑Woi{]r愷_\,^.ˋ8D8w)'-Ε0in2~e<.l+~?&3gjϫWK(;Is6&W._ްۤ<ς7MÒ4~_O~s"2<YK*w#"}֍6k֚'#&Qk{Iaur]ZYHDZN"8'~h[p`sA/l>5= u/DNDa)ً #M4$q3 |.7?p BEr8ʝWX~k:ydN]8 ~8+V&^ٔ'˕Aj`;$FUK;*R'Lw) obk=j\yu8bD'5hs=<[ aU6Ḣ\bTD.kGu߹Zo/ 2 '|ufeO?8?wA$Vf=[rlP忨Jh~*=r}GV^v!4lsCwYQ-'-.6Ews"T//]GD<8o2h_"'9<4g~#@u#-~-$)͈ko&(8_{]D4ؤ=.&lr~;QC<;DKQBڪ8ӂa7&LҌߎ[ҕ:-KzO o(LKAX;( Eϋ)6` 7%] _;B&Vb eP;c8ӄ̇߆|Qv 9ӽwD#(ڈ5bQaBY%vvNjg\?|:ϕNS@yMⷞn7sܮ%/w^lY۷۾eյ?wf3\;(Z} ut)l$|[y6O ]ix.*]Tc"9#U.Э$Haqa*cBWai64HutK}Y_yk~'~r\rk/HĈ`I_3fe {Q{]^S벩3E0 DKF@pc XcŴj_q*!]S6gj4)Tr`K*_炄>hU )kZi ߲K%B[ 50#evBF9HjV0[}0MVTeN^;h@eg8fHo k(mXG7؋fz$_dM ~כ+? WNDٛ!UϡDTL-2PnRC9?,bVpTD\~?qYSMh֧AGڑbB:qpTƀBn4N ږEplp敠D+=>cf hQpxKf@<1I+Yd//t[ûtW z1آ >c5@=[;BuD_U!m7 t _;W(Kv#<%G'VKJ7Ki\ (O5 n>Ό0ߙ1CLĭ^O} A4뗻;`FwTԞFjg<=|B"9+V ^n2,1Ak@ZT?x<\,rK%f,d<&.CY"Ɠ 1).?g(Ƒwx+d#'U6k0FteClm^]Ef2?&51IXWFe9ZyT)PE>3W͢ 8ףV >P\66.{ujxSqR;Qo.V~}G33 }o` 7bS1z'N$RPO4P^"I3K6yPer_^cΖ&OnIs#Xu7uߜ AB#iD`&67I@^v^+Ip -汈L/=, yM+M`k+Xx4dNq %U,ARܑ=ʬ`yN FJbty_I.AMݍI bmO,ӂH5 SQ J0-ϛF WM#Aߎ -?,:0+ m^f.nTa?h" ƚQYuX{2% mH[Myܥ+e ^U~/xe@=M6\}fM?*UyA"d+WpafnjN3l8G&AlX$PC:uivUB l>(LU;_$| flM #NS~6ZO%'o.C6 ) CakeML_Codegen   ԔK]x~aU?3 i UѠ2'WFG  %qB*ԩo S63' }:_:wF:"i`ms0龈 qTͦ2d&! b]y_eEޘȐ D cq=2B>dK/0 B_ą`oϴRߜbGt$vu\Ǽ6a*4]7&A8&*u&;y|s{f֟:n"wO^2~RU)WV ;)M#.#=̮AK Q'܈YzoG> p*;޵t_1?K44L/bl^k:ŝGV;49l2D22:H4i F} 'Dg #6S`4W0{+t[_8;ik%Ywu:6kM| үe'\ Z?y< ]) CtɶS(1O]Kw,9j(OZ'i*͡B 9/m~;g\I2bdG TUGIiR~Yl/`6?$Uw$x:ĈvZott(v*F9#8}P#Gԡ/7o ޜd>y)+d 鰎ԀsLg=THJVP I"l 2LqlTq0M6{` 6p~ Zaޮ%?M:4Y[20j9ЎlK p[jӏ"2_Wky)s&&w$6gLAF c u侑-~d ajo*fiHYݨ[4jN4Eu#š?/1{#Y!0F&Zcfqn^,/1ɤSwiV5Kec̀"ڊj"(TPnUFg "U؜$%s`D SyՌKv|Sr]KQnR㴦9|_P?~:uLKp(~57|f%wU 7O#?~iH&/)gò gK$6 PDR:2&UzN`(8,(3Pt采`ib|6g!ZE?]EC&*^F 詔 7,J"û /w[EK n fCvDvI&Z[$RtX y8eay;|L{yY+k\1ߴ5[t.vfAͥ q,ݷķנV\P!BZ;QMbZѣKT>}'-$-~Jq^2刢z3_+Љ藴 785|Svh7q}S^2Pu,M*7Ȭ.ׂw1J7ZqUf?AN OKtQ8ZݮfS_ jǨr0|{rEMG/_\=NPDW";r- '+}MESl `)IQPnC@qm+P.r._߱gYȅm,+|ܳ=֑Y8(hy!DY"BaY֦6Sn6a `CSM`?jP[H݇e){GyOJ%_$Kc5ќ7ETEh?[ܱhJ+>G+a)?]飥kpiXr<x L WRSza_R1g=-uWt2 c^{U=9&-Lل^V m2}R*='큣 >M (&* qǠgف=|t] B4ͿP)⯌+V$g5zGOZ($+al1dsVM/ AC%qDzؐ GxG&Ʋ?ESN^䏧 9Ӳ.NdCp< (E)ECdžv 6 jPHOS2 EH9ƒ̭ u :+TNH8 ]=ۀd<]nSΨx={= ]H=)aìV݉%o u"| hx3L cbm<'P5_ny.%`¾ص XǵEU6"6!7)~30vR-xQ7/, H4' W)i~daPZ=Yz! '+*2cTIn3wY9=Bvy:숑*Ыvgl ׁo,:an؏_,PJ0m$i9A=u<+0,.ڸ'F8Z])t޸v8ˉιbZ܁.hA-+x^ [+O=Wqd3 R _LcKO&9X[VU G1p,o.!JЮ&rމg%hH^"k#׌Wl~B٣-6{vЄj<،/E$V)mRzh4Da3Mnˑ2\8e<36CSw삪:>= JdM:etxzP䡶rڟ%m(F?}AU-v8dhmK*;t0K`w0[bS:)~z` QCe_Od:WA { 9@Rc N sutջ@ BKmy#6ƃa؁]AKfIm=گ4l5DB*i֏M1ΨM__T|ݵ,EH`2}6UeiV@ Z^$Ro>ӧrHslbNE vOIvl!.sHRH4flH{z0Vxd ̟ }82T9 :XLYq*3>񳣫zhYO&0Rm`&n(}JU<|h\nN ý٥6%["%rՍv:"${\kn Bx)U4rF =$(O_,؋[RO7O_N|d 1lD|9N&AFMwJ )?%%Re`N,V*^maU5@lj$Nf?U8~4%Eg#1 Q+u Yd}sȽJPϭ_T F s-{ީ ꀥ>dT6**mLua>/cO3 iM~fԔኊK pZ 6g%8M:}))Zz#lOI6d>lXnq &*ޕ+-לB;};:mQw wS>*Un<jt^B!0 qˈejuϦ<ZX ky7޷`9&j [@)OEL3rR<8b|ӲYۋ+&$iK3$/5*;$|m=vɐuc.U=[^2vt@KͨقuкKAU}|Iҏ8P]ԍ ~ LMqRJ `2Spwp51@7hISRN $aT1R#lbP4jk4<&smR8:Fnm? X]pBNjC2u8@9Y `Զ`H4W|1/  Es# jubZ BEnKFc|D̑!c@b;[yhvTYC.Dx1:‚ǯ %YV3_2h688U DQ/DSPML- pkt.jtl}զb++ޯQ~+k ip'(Qb( A]Ct:͞j%%W\˥_*Br_70IR_Bfv# }gu9Ta[Q/wXyo7@A&](|`{e>4*=*gFa-WlI.Fl?K?@l#E6,E4AGt v;KM tw7>ܶI8!mo}v*Q?_Tk5ZB}%!2$K2]kv((";]LvYFU]W8C&й\H'Qm$Z k-1$m&5p^ s=-5 GNV$_TguF(U(vbwT]xlTKx/7W)rYj^o )")1LOADq!!Rp)^K{4bQAa I)f#;jL]M Ŗ܉^&$b}}2EL Dz՟lsk*bb'O-?,}nUj MK^Qu\;q-2̵?( EG'Vq; Hś 53q1m!pzsڤ h2CExLMD_?9Z`N<E (t:[l=.CC@vN{{\o{5 m_g#yq: rO W,Xv?GM $dXT*dj ]>ArahƷ${/ oŻ$2g#d]l4 w% j:`U>xx{ NUk*/R6h7D3oT{'c'".lxp I@_I ZvtR@=IB !Mh>h҂/Po G~l&O+[/ Qm]aJ=кS4>j(LrkTA NtK`aFߓЄ3x1J_;)ڵNL;P"?wz~lgţe'|o{U'`+VڂgfP;ʋmΗn{0~Z&sf*Xt{r!~qȑhQfN)Е #aV&nذ6MO 0P@mЁJq= ԣ^à)Ww3gwZ13.:E&2?Lit|u/ ~D*uưg5"Yk|:2Uz6k=ANcM]$~9=s.<'|԰pn@8%ezXr0wA] ԁ9 <i/.\ˊ2eMRvwi)Lkuu;tAΫ#WՋ7{bS0ebn(ϒTW93㵑@SNr?߽⡫RQ:7粩1N/;j-p~DGǒʳ0snv4+2gmP%ub|}X(#ITzE]P]rr$=\D&hT} L%^~~ncO+oycҥhu:guLm_99uUF<|hItbdw}TaS۫vڽ1tLۤ|;X?)nr$\?(4+1:*Wh5[4IFYn'c|]2[r7PWdi;@" /9)8DV1V=2FjpDki&4ؐ2$0/kD|Kyy1{tQAPCR 1K{'G"`#:}Ph℠r ̨u U-kOv߽ICϋmIkje?u*2Ĥ} J):9c_a%f5,DGy4JR̟Ժa5#< Q1]S;cJՐ^VrVV/4].Z뗱h>kOɎ7@h:7֌RFiCϐ^镘覩x:xyH;;Fݰd jbk#,cM 5NF^q&*NW*9̲js+^v-Na 'tǩG$Jt*.nBAG1c'%_j0g{YxY :0T {D,aAi f8<ج ф `1ߧ@.%A,_uԕ?X`1 @[kW7ӲAY9)Ms;wfpijL1?o]0ˬ)u6FwzmXFunh_+zE3qnj}%l}x)N]:Y_)X|eWOLF.9o:c qt΢R܋0;kGn B`"R?sh$~+jbG %L,3h&ԌᰦGŗ#b VO(4cc#ϋ6wi <;6I]>/ҍ=>&??ZRD;ER~I im,T$H ÷Ev";qrn8-oː|ϋ>Έ+ ĉW]8IRivTDb$t/#r%V(Yx3Pa|x\Z~ WMR Vp;xT8C{IC _=\X3[H@jO j;;٫U{c3vXvf@nh΂J=b>bZɮ=R{ פtjBPK):V1u=|dtiR_NB'R04<#uiݸ>Sg'm8.Ak>EixтUpL_@v혿3\ _1S88 mnժDۊ|jMX wBp崛shWo L ݑ(Q;`)cFx IL%"y=iʟAL ` Iic+!<ׂTz͜Շx3ޒ IcaQ8l,߷weW̱;[|rEVse;Ꞵ]^gbdM i-;CG'jء[ ]42)$@w1HR{k9 qF / Tz7$~mH0 :4 u.9a`%eLk)QiˇԤFnf *17鸭q$ڶz.%.+gpClݠW r7)o7L^W )'M9Ne;Q$&J"-" 7zUfrPKIVܬ Z5 2R>aa1E'e=bə y1fQr: !5$lfb˙voӕ/\ vu0$;V^ig׼4jjn5qSi7ɱߨa?9^\AVkp]_J̚uo\)y+".Jqfe( 4 b8euR -My_^hJ uxYÃQAi0vɳ[d# 7.k흪_.`rÜ %Vc9xzRta#q9wVMu&D4{ZڼJc CK{H P[ tUlڠ 1h:;G&1=8%_3|h}gl*v-&-eBŦN_тZU$\ZTDم'Ak kտ^v1 4MT~@*_y;~P[5ͭ+0Z XS$zgtȹ޼hش?͡  jVRg{e\ -j6ܜ$8#7= BJWwvmZt NCf?!]#M!Uy.r9*k sW=VHD $},e.~%+7ҝ5IN9qOfQEzUA`rQ*[)>Qj~m- %uj蟀AJEAe=Xb<² pzZF+7Kk_P_y\kc07udw>GĤ,0QE?B%a ntJ&f14OdAsپ -l'2K8aQΘc65I9I :O,j(蝫K({6-CMRWiZ.{Xp]N>\,ݘ 죣4vR 򢨋X"Vmi0llk3ڃڕ&S.[WBN85t5 Bͺh#6$R> s.EwP}) ߴ|`֌ =w(V27PzX?}PleVVN\9`QQ%b7~UwcR4^T{j5[(uz]@DtnvoA*P䶤!LНO_ԇ*VIuRhs2?\(PQLc[߬ޑwڌJ&A%NS7m60  0$]Q ᳦;4OkTUnRo pbJ(|"|k4d1x @{4W[Ry:"ܣ~4 $N`h-uxĊԀa@rn(2 7T~5}.QGځ˹kPv(~10 ; [5k}dnV.E=>g bӄW"w}}\v /ǛDj*SWA}֝ȡU }ݸA}Y(Y8%H3D ~hm,!BPb5zB(Z ŊnV$'|j/gF[(`.(h:[+ Sb] ]ю֒3Xܦ8"y[7mY]HS-hWT;pp.n.x BݕmyNH2E4Coe[DB.?٭-[=@jʑd뛭=vx'E-Ȍm ӲH]) YQfw3s@>p ȭ5B$ =P42cZH;-ٔ*^9Mӱf%"$~) =|% 0b `c|Z6l9WO%XjÚ]9Asu#4_R)=K$1EaW)xaGRqZwSass~WZS"ZԶmꊞf1W`1OZv.U7 F.C"1:ܰThJHk헙8W}^!-nar-L5gsQwo"hx*/}~:NhmP6AM2w'#m2_[@SJȍiHef8 *8E;.f3R=g=xP P.")50#کʭ{Htw0/j/?ZQ9EC=hC(|@H 4>QƹbC*M^,F_s 6A14YI8LtR0WCѳHCZ3oѶ r=hqm`bѱ-Lq~CCN =rbXRקh)l ]7 KfzŽ(@Ik/V>7m!4a#)Me(Cz.3ۍ?Ii}Vu vXB8j~@3dyd?+4ݜ >ΗwBn>՝3 fC(4"jSFp._©cR$ںp$c>4ֆVb8ߵ :}]mΕF(H3-vW8EE8y \R cJ= jކ.c+Q벷#0EuItTɈ4'.dc-" <`DE&&~j}'' !J[cXϭ!TNƔ(}CJz5qJ҂Sk2HaPnp{' ~Y$:BLBEHs+"9g'6%KSX g2oaK<>7Ț{hirMymn6)KXU^9,<|@+=lelsJϲXo1>|xR޶/% *m #yn3ޯÓ9) F^A+, : zdj[X~3Ezq~!ҥך*VsU n$4AC4bmw%xe3\G*o3݂~hYX}`r |JvZ68FI 55Yָ0QT) EQJrO2wLpAE F:Ɩ6 ]NzbؐOA $ j`};6uU =3oL[H<5V*mn4\h />UGOT쿖sLGEgyIej>݀Y?m 8eRKee|g<2m>ps3??`5E+L%ePU+sAL^%׹I;kF``CN`σ%Y\#=?^@XY@fGT`z x h }jChI执UMY#Y!~Eq3oj^'H#c'(ׁہ ǜS ݍ; 1r-Bܯu:J8_ލ9OʐBB<9EPqWy/ Kf$)VVHgҬYjii&*C(i4SS~Y1  QK}+пyGuA?J}.0y)Bq |/F 09@{.PW|GYu.%bpZZ7Ynk1!1x" ov 0"ZBV=]vkaď+GX]Jxb=kCd.>|,{-QA4 {jȫf\8WqͽG[!t [LNbqqf'zϕ1a݈AJ)S]{DWci SZaotk5$p+E~Lc7*eʩRs_{kowl螔JYwMJQKt7U}XƏ| %ikd(qaͨFZqq/f%lg%-uCop\]bMӎOh#1{"|pOW<6Z~M7UMShsRYk9b3 /D4Uz. Xj9Eʹ=eY̆SR؜k[H3"X[MҍI%RƘ @/$ p63yl2Dj+f--Q$\0bQ9RrFlt 0e#>5Y_msꘋw$?c9r"AЍhL/~#Z53<9WFٛ6d8TЃPi=bufUm7JU-%" fqi{ۙː|I,e. 7?N}ewrx7'б'Fw! YjZ;Hը-?Dz{~yEJF5` 膫Jo7<14P{PҔAȕpys 1fg&qq$FNCYY K9p;vl`!Hu˽TuiB[5l&wɱ&q[ś/-?kBQ{P%fϨU n<$ |[:*|Q(},E[Гق]j}Nu5!?Uׅ^wsuS![,<)f_w G0<|ʥ#i--i_s֟3t <ܟmLYZbdteZ9Ҹ;9AK)2.Gdo#Օo_!lnh-\j԰`K`V!UU4,:'A&td 1龖F<)2w ^M% H~ AV2lIVX/aWhsUy$eFxO yG"a.Wf>b.XFs١[%Ou+l%MjB#D\|3/mu&z}o͛7uguñ_y;k'lohW<.J%$R5'Ja/ rM0/_I#NïiUփ"Ap{t#:b[PQIҹomRJTP6#I9 <-sd~mmtvu7 K)ŽbC# sK/ xKBϞ`TC#"H*x`}0ٳ+?% | D]v/暉7in4ȋoT fe ([S[Nh%ϯ$?aTAFdV8fމLDܛ?fJsc2Ξx:٫kF|d&%3#OX IxrmE GIFXHڥ gY> {Њ惏w?ͅШT41c;@`Pԯ"13Gp8Ge!'SxSonO~jCm<6߻<'~P0QCzQqF~xE~oナV&T:hE{= p2yU=)>ƀ3tnjIc #6U_SiagQ @&&(7cZAfJיONey&W;hྏPSfn(Յdz O$y%$ݩhu~60(J8eT)A0!B?oO_>W4}$oi_h6ҡy &̟RD 0'É\lO G"Obh'uEm;h&1ZeHrᦂ;Ls,B#q*غbk7ѻka h; $J`~6§@W&싄mR, ]9GA/'ba )*޶/gX_,TE5<'VRtETSftODIJtٮJ1;vP#@vGO8ScO6m?SaFr).DUƁrb<0I"UNqB'BojK uoRFijB ܥ< |b~OZX T?E ("NS–)JeC.(#AZU+WʒbmXDDx%m %nAI|71dH.gLf $r3ĵeuk(DF,OGlk>0oۗyeW8Wwc}wf ;TÂ0+E_x1P& 8:7I^e[8nۗlf@R~|`/?Bg'ȳ5xdM! Β,܂&y}þ=q!oobO0&`.eahR?^>xqooEE6k;Җo.ϓ[PNy5E=o[r9_I$PRu Kcrƌ 5UFتs`;૘ӯM{iDؐ*q#¥V:A+^2:Z/prץ\/Sawч?ٽR"6Jv'Pp ?zLJ H@`u&R,q@Ū Fxƫ!)QVR\xV"ʼn֦yUK"N,޺G;)DkAL3 8o)FijdI'UV\bj_! '* zSFW)Ϭ< ,-i# $;7q0npb͆3$(Q>DM5) 5DU6Xaޚ1K. (,LF&dugs8L~ ;22NZ}t@:p @{AmNt@|)xJn.^;-/ے,D{Z'roIZ"cЄ d=C""ʾ覓lhqǚN]T|٠~l[IdP!0kK}"c:N4d{t[[P꯾y.`*>/uɴrكk)/ֿYl6s`B< VNEՐ+19pvDK}O5d|N_R4"UL1is|57QrYXͩ7vE[CW6;kVZr2`yPy[<4;}8* {{6o7un 1.vȬa3VQwZI'Z_ۀ!Ȋ8q=16&Wij 6/E6CmcUp?ȼ9_1R3@*H}Mݔc솑eC<GZjX:&Z $P{RO^]1c̿&Q"..1tߵJkL Qk_|9a3igI|A)b-iʩ<e5. mzN˺ƒĠL74ZP4|a,ĈJ$rEϻ1:ٺָ)kh0+%)~&9q`c6 M(`ܛ#%amVi݋4] xXޞVN-(:uŊGzyq"jG(RɶdC%6A*fT5_ Yo+z܂86*_wW'fQF ӇO05ߍI뺟j:0n'c$K/' %( 6NO?Bw Ry0Q\A4xjkE۪. {f;?LLAћӳ*39ߧ;)YSpq?Oyr0q5+ܪ,=1tC@;L{6`|(9Cӕ^%?8'6nF_,xRa&rbF E.]4^f iiVu1[C;_ps:](P=̎Dgj쉱z2­08-X]T&FZ^4hgā$;{]Tݫm<عLIz:D,| BJh%M*8FqɃ@PxzjAu?O#;7+OH͔͇m[(\ptC_dj  '_ߢ||C[ W]ǶӶ IIڵ;r:NpzǑg l`v^=O#cj}dcf("QʃȨx@zEO=GY %vR7r[Gїu/ʣ5Ԥ#ro;@lvϜU(kaiVBt^,c^^ XOh[Ǹ*Yr€y{:ʬŵ E_kx(?4 ^PaRmULC1Ҿ!ÛgHNUs}(-\hhs{&8QaZYF顪 ]VkFСʿ80 xS`*_?- ߰7!sn 6H( Nݝd{u+1n?4HZx]dH!3޴UGYMNoFh!jf~7خ8~㜫cwʊ}R̏_)k~܆zd"UIG;5!$ŝ_\& -7**=+dlX[{0 'rnތjbu`jg/>xj1N BC^@oid,l>}p3i0g<-[V$8_d[ Z54GJ3J|M|; ?Yha1EQF7C\ Ǧkdc53N; +|iؐ Nsĩ1^ϋfi{''Z~FrkkN>N!rv0Q̢xZ<(D>NtSTGDRM{Rۡ]7P$. \}*1[SϦO#efR Kv J]\GVδ}40@Ĵ W&c4}ѿ?Cӡo=vzPRS@@}7Ӌ~hW0_yX2vұ0@Hv| ;6L,14Mky]-D3ϳ' KC 5@CayÙg0ue;+U-KVe yd;?p0 ;Ԩ}8=FYf ]W>vLJzTz9#{ª&0T$!hTr|ݯL٬GC{sxJцYh3VJ޼LW5=`@T@(MGEnӝIPFEBE}ļi>h2nVkũОbOY)`Zr-cRP[oVk W¢O'Xbxsaߝy Y f˴C8:D\å7")v G/9 q=š)cku3WfK898ܷ,Z^C˘բkZڮO"]m"3r 8&@= d#T`̫8p'v4 taJ=aakձKOzyqQE_GP(5TL|)nGӿԶRT۩* aOMf ( *W~Ǟ9ae- X[RН1tL^o)½,{?˴~E|,SP΀fodB,Ra|#5MSױzظtNvąZ 2 -M$ ypYSz7?h&MP#Qu;Q"eh\:iJѬQuk/aLob$ϔƾj#Cܛ6=޴S?g<`3s‰ h\̑2ę`f*"mHa%Ac3! žmYzޢHmxW 6~::Yw?bIl` tDf>{Hgq:<&a,Y t5.^= 7HySN4" ]s@Zk~}vJ ˮ q)0˛Q^X@.W/&z/Z,o:̂ &/BJ =z_ϛSfx<6,9)fK֞]eEe? WG1*m GF~)*27CsD5\6bHk&"ewZ3;-iiZf[ĂY|ʼuﶳxZ[^eÿ.Kw$4[H ݛu뼶*@o7ϝGT@* sv,3昀f8dmq/ 3ZM<'x 'L:4w=s@ymO3G}tV3QqJɄ5HYq88K 􍲕ޛ[3[O*C]uNb)W]V8`>?bOhĭ(S VR놟r ;Zˡ^eם٪WTh<7| yΙV (h)vlPHx61^&t\!H8?ؤc22˲>}(Vϣ_`z1b\bxV'XTJ=5/֣qo(Ȏ0剆11OrmʯȚ~J"j߭J؞YIj5O\иեD":s|?igљQ#}YJ*>5㐆g`07p $J^6IR"JFmW^}?@^)q\X?l4Q=(h=D%_?l`Jҹ8ryE9dr誓2"GE,2]\6!sȌ[o5}Dܟ2>ΎM_\/u}~;Agyl!]k"\8 ytϮKusFk2O_ɴk)_cH4S 57^jdLW/Oz(@2|C +"zAkҊI",'VT?F*1SҚo,wl44Vjր+ rs`x^iy/ǧ!28ƨ-P+HWٿ:Flj#+w6@4%[W5.[i_B=39ĺawp:6Ө=5m셞6k  \У!‘?.Ƌha:Pk_`zKwјףTך?G{Mgm48AYeعLD ٻlYkZDMXŮ&~2h_ۆ~{-Kx@LFPN{8Vwe~MHYlp*tku9{FOq3!3FƷr$]cPz`h(֭o5 \5};5j:$'WZGkOz8UfVsy >݅,VUt6/-KF̣qj %ky.T]5uM/W)V6R Gł顉2u"맅} d$JFYΊ kfuUk vcRǞM̊،0c-v1#1jފW(dd&1i&2d#1=ۉ$A#=Z+$/z8㖜Uf8d9w ] )a=Ңt쓍nT>>'f n6-(`?oɅb/eYA(W>5]nkX'C9*dU,,'U"01_`t{xEXȆf1k9ڣjDZԪՓì%M?~@ǯggEREiiv0oRAaZV>hʷl\L0Bx}^P u2pdzZ@#jJlh(5S[Bnw+Q%@\ p-Zkxc@=D(my^{ʒtfj 4k4N ߿B}bctu~_;o}&tBLBc,i 5'H6[Z @ mkN^^<%k+)-?*GPhU] |&/`Ёl"IVx\J4'{UNrg6?tr#܄E_1a6X@Aah:"t:>-d)1E{i~/\AB>zӞ 5.;!كf]m0%M1$ŇӭdXA6 Hp(OD˭wMxT. Ưj:ѱ>½v*(64Wk*^iw>w&w'uAō SfʊYLAtW0Ay6K72,6홙RR bI(|Ѷ.ZzBG-|k(S)w B舌˘]RKHeV }`"!4c'>dt~bX@j1Q|v;9D#Nfsj7HvW}͋YkɛDu՚Aqs wфz+[!|M;%372|Cp{C'+^|3Z5m}WsIT4WŦ k,, 0>KYQFhq㞱6zrOp͐3uY6b1kPmǬ~YhVzB 2iR)/"ANb(=]%^J,XU|N ,.[aC23&4<I}c5ܶ]AJjt;! Ms%vh!jA{RzUC-]{lIBUx?~|4̃PT2+%*0SM\7,'iiO_ k*q}"hk(1sGk>84i)N|Ӎz$f]KŒr)]Ϳ*6U6{ʏcD`6 ԆPx_e"N)TxĢlCJwrЬtl*Xn"}.QETИyL7:~5{U0iJ,r"يĈȴ'^JZHCFaÝD+GSTfH_ y$=刡2/0{tIg*! sGZrP4YU=+:yC SW,lCl&JHGrbT1=ytAމvyŜF. S|B ,|_ |?fd?o\-3Z[uȞEa8P>oZܱ䑲 d \Fpi,49z{Ux-E-Rdk<i/bp-/fe"KnlUUbZ^ /\Vt<U!7bƁ,HLNOZ9XWbT[L%itۄ,1欯T7Q_~"^Mٱb\ªd@-dC󊎃V SvkؗhP3ݜaG}Hbwt#CEֻ{%v=Y3 r(]{Q{PozooP=J3܃8A4Gi&K~  ƦlNDBeu=Yv'h-#ti␎SM߂G.6H?P`( yIEwD-=39@PNRFU8|<|_޶X(nLL}}11[ t2nPݵ[;I5pR$㦚CV r$Ғm2Cbcܪ^4)lߦ{ *A-sW%Ɂ[_FQ'#oW}(/BKc37ݓVL^5<* TipoTQ3D2fЂ3,04% wbQ*Fyazlxd׍N)IMr5L1\0)[IHbH`6 ք2\a"cEyP?ׁ ,K3 ҅5^˫<(j)BtQS1x'B/]O|lJک'Ū\{u8-`[sGJq QӁ(GKgb ҙUM#8ZD$w]vXi%Q^2@(HsH[M;+wl1-WzT{r,(ߩ3UL.X>%I}`"OU^Å'S.$ (KKA!ڧ@Р215 i#-E,&C' ˷lG3!YBTT ޾4b}Wo*g/2L)&=g OC䟇=PZUy&Ջ6?W+?'X"HXa޸%//-bqM7d󍷤Ѹ?-׼Ut1ƸO{EODW7/Ŕt@]SpJ+K$ǜY,Kd[HxdyۅL$4N&:e'|807(i>R|SYDiV_F'E`tעOa" .Ly 0.r6~$| (@2D/T `n+ t}x{3Ř?v8AQDB\Fc-}[7=%vI뺐Q$7ܫ).VI٭Uۏ~ pì7+5#>GL>ڨP,A{tm?z++Rv\=[)XZMz]4?yoU@&ЍϪ6 E< ̵> ͓8y^"XhpGzJW& ^~7Z>\ȩ4e5(-b1/B|Yms/ !%p泴B '1]XT*oZ=Oy%ڥ']؁J_1y~- R[:Wy"w}PL5D`hD'=.\j(#>`Si ]bDrw;T}chuIc|vO"NpH˱Y@~0d{Jǹzi#ɘ?O\;×A"Ō8~$x<*D/LiiԢ%*u?>;,u0ʎUPw:v5ƌOσ=BLJۖS L ͘ h=] `_#zQ&Kwm>'Wn/`qOXߊDKjbv9|8Z !O$"'/LNshloYhQBR-pѮyTHgѵ蠘*pm"l0E`z1,̬Ps3:q"]RcWԔa:-hP[`.}ybLOFPNifY*:Z97z8-D 5 L܇ow1:fX`345JpIRY"9c?ϩ`fP4x*\[d| ֽԶovR=3H`#^}73Ѹ Gܺ!&t3cj7OA.eЇҼYouOUS yEazU1D.^;tN[DdDg.;KE+[ V ja%!1'Fka(-q>ўepuĦ"}N"]hX*Nb^A *{bme:WNU&qX mqE?ȶ2ыw\=!Ovi /tM&_ġ"xiʭUzx}0)bfrzBʫrӟ"ڷ+g!:/賙ףH[8.D1\u`04ZDgMza8EVN ,-GLsY^lu냋+Q-Rg.wngz|L*wmoģsz<-QϺkLۛtiI^?yʄg!;%m SΘdI$̈6 I. >8P>+C} 5zى 6B$!:^Vkl_9NΏDKZhf/Ix IFcan|P@ڙ/K`J{ Km_2%4f2rgu$--D_R6rŴqk #R!Ÿӧl.$D7zCFUO$@yBRrDgF,ڐRl h@ʝjDl]UIלKZ{O9B/T#UZu蓰G$@x5k]ۦ&ԓ]!Xi>";uaknr'KL=7/>Nń-.bpiFтTɸZ]V]ߗTN &SHL;⏎6tC}SaEռ+bfDslՆܲ&יn2]<`p9֟7۲mOM3G*VmkPK *.IbS$[bO^a}%gRE+&CCJ a4b9Ehs4Ⅎp؟\0֌݀Ceq6h$}dbnloZ;w6tnjʆ -{~ꋓ 7W": x-o*H@}!YSbI!YdыiΪpm=F'Gߏ!:?ō\SS V]F}2Z!>!Ӽi_G4X*^$NC,9YN=]ړd #ĦA],KElįη8Ղ%8WeBM /Bީi-$h]0KCE/K1ϩOCO`@ J.WXCt.~"X Ǩ=gD +鲎dҵ9 4H5[1pmJNL&JD30G:h #xNcܐ\/0TؓN Zِ# | z5.2g9r/lUJ&'ÝuݶVţCXfڤʚfDjV&픵m3MP;^-ZehXin2I gFz_(`%>ľa&t7r.U.BgwxvФ|0|gaHKzD+S/^X)_P&^^ P+쳖lE2QIoĚ`kh-!`4q6&3y97?\CKtpn}^6Dz+rv+?>z/q(XaNG-rk>paPN4M0QOw2xΪ:E4J~g6;Fc?+!n$ ܂-h4{ ^lK׍"VN.Q r6C/A0m8U AbV׻s|*?>U(arl*sͼGU8{ t2`JgL-WJ6yP8˒r()t`[Ej"Ow_ h]t_x bb";f 3Gdu0,)Wщ0F ¼>Q]k.P^N8rg `lnTql.|b>Ϡ+ Q9Bp˻ ZuMp/$Cm}F)tԤi# 'tv8>F;v:."M]?>bT!*=Kw})r E1JىWR *9S7\ Fdzl; 9s5D6*зnrO 7I8{+C/lr!, ϓ_,39u4i>')K1ee/f5Az92KYk~lA j?8??f?=fCYul#coeԸˋk|S +c_2/3 #4äI!jl>rLUN ̓){FMdz 7EަŒHTTL:$ zD\z?FW3`X,C$a|w{ԡ&ܗJ!=KҢ!ƣKp5afˠ% 4\ݛƹUUOqTg_weG 9NYQG ޹0`p&XNB>E2=V CŽm)JCƊnfW↳ͽG݄]P8'N[؏YP&ÓaZmDI bX\ӂrcK)d.F=w/SŃ7ySp_Չ|BҬ/AZ*;?!X͐/̀Bć"ϋӎ!ӽ\-")U*ku'$[5,`7؅<.+ HLj-e6%)i,R}Nd 7+.zN 4C<"O kV!En L0%m@j@h>5 lyf? >DO9)ؚIJ_0~P \,[t;Bx:d6{ vHMzs Y^Wne*kLJv$tWpY>?94Yaf>[ UAtus+'1]NuZ S`zy>gW(,w:z.2YhMDA6I6@l{ (.GCggTm:A'P{ S4UCs6vݝ *A2faTUes[tt("DE=&I@s܃kQy]N4D):^mD18{v/}sl׾T2]l\5g& N!x?)tM7ۧ~QH.tgø."̈́!$ viz ;  JzgV q@"^s"R%9 m/&YlI;=E/FBH'_wO:H,d a3x-ZOǨM{wQκ&<@O >#0ŎeqZu`"1 \ZAzy;Ѧgn ,srf &s?U8f.L }+)_Ec̿.bf Zx~h|$B! b8=e6jViicM%NW4A#/r*St}v܈_ilW:itBʝ!.I|w_B+!]1.{-frx'<@>wzZ>9>쫳Vp(sjj,NIA*63p*ǥ1;hǢXw;}qb͈OLOnUCFu*1Zj_Ʃ:^Z  qyee.XqՋ@r=C5Er2vH\X~EȾh tUa11K1Ѷh})?q'.XTu''SȀ,+d[uK$%.eC-L1; #u!w]Xb9~L@x_vZnQ>sd:s+ U@: XӪT𡥂â1w(I$C6;7_aܩV8iF9X<Eh[+J޳_U =px̆ {VKd^ hs](9!-lĔI3F2}2;tmr5,YVGG|M>u-%=o ~孁G&]{IbqQ\Co-Gxٹ˗ es2 .lA1 6vz'@*]z9GFM:uW4lqM>͋eɽT6#aé`z@t Ea0iƙ"H(:LFn+\e~f9v?OdCJV&o{%U"齑ĩF~ѻ$i {#vW[@]y߷ӟ3n?gx|̝P'jO؜l,?\\% :=T?k+4e_h e5i䤝wk#kRTL]8Ju H^b5ҒD›٪ W͏JPѾ_ s!t{][*mAx ]=-.LK&M\Ew4oc #OXڜKIׂ]T#y͈ i wv"f6^GRvCEN4I*me|H|?*01ca˟hy[#63d~(h3CyM6{Rj/Q|v\rv|iJ?bYMڀfS9ġhu4kV91f~'R~=*)_IXf9(I Ͻi&V!إ mG/iQrMBe@]uŽࣚ I6m=<[弋-c8ĴF^DӅ]Q+&7 f4ߵ}%Io~97Ưrok]wl[^:0Dx= fRl$ф=MHvَ<ߛc0o< % gfм5M'Feϩ@&5uA 8S^#*{;M{].jpmE&Mcpd\>_??RPEažq2'/9s  C_ď9'bN=is8U:UnfI6 6T^h1klr[dɡ['0j CHպE8#3~(=pUJOcmDʘrV<dUxSwߜR`|+ՐZ"4rE\$A zGjcL–+5ZgYZ3ecaf9d7eb4354d18eb0c740e47890ff172dfbe84e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1d00560d07daf982585a36b41feb94620a9a595f 8ff0c2c0f6d0e0002bbcef5866faeb1ef90e7d9e 1c8e19881ab3a8b441759d148bae97afde3af2d9