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  H)D< ]% CakeML_Codegen:threads=4elapsed=500.146cpu=1433.852gc=44.624factor=2.877zXZִF! -Y]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>k dԴ {U:%~j{W:,Q;y(fd޶#G\bB-oz%' ܻOJD\\@r$4ʆ vXPE{Wi.QM,$_‰ ) CakeML_Codegen  (]sXV4@T䔄ZKbb%LEd;`$yao@ e'  M0~k,y~on&ϔ/v-'xA)_|C|O\rP{﫦fw^{i׶T"OE;>7vvItG)sE"q~aL,4' SSYW0 C^td I4uQ7#eD}D ulK>5R=(^̕w\<:0xGV/^uݽ p-iZ«_/lN[ dL'CQk 7Ue=֓eg}HRq_Ax}oV|<L/ |wnkXA$Ehr?!t c鍠]xqEoB>6s"c8VT8%n߽I_ϧDWB͐ɱӄK=Z)8uڷī_Q-Mg\8c0فI9ɣDva;X/W>̝O7R%U *wty׾L_t$GUGV)3$0Nn6qCG bSQ<=֑XFjląvuzO(i&vgt 3 >t' 7jv'< Yi;|Jȹ f .ĉH!Wc%B6d@l2/l":x&1?4޴H ӨT`]"~(`*eޏ\w 30È2Sh~'l yXYj3eEy {J'*Tn)vO&o4-nC䂑vU}Y[Қ4ze ?,(vW]Xl9B ð D5VGy.n֞]&3 *jḾ*W@g6]8 䭦MAcefPfKG\k=<%b#Ol.&g`hk,7z%r7]_$-2,eoaCHMvpg،s2]tஙA_"ZmCZD9VjkJjd57`_vA*wxoME rCoo板ҠMrojђ1бa s=)ў f0'0( )2&)鄻y.*1C]Ȥx/o욗=RNZW(H ])B@B><ܘ%h$IoERɁ{釴m~Wv)ܬ3kC{kՋ"O Kz–>5_Ҝ 2Y'L'P =` JrWӝ/LEU{; ;ڴا`t:ȳwJ1,pj><{%-~OFeHÐ>~ ߻M5jEIi_+GTZ6̾ԝMVo3"JY3H FDuҋFO1%>KK4s|dť1;5YpJ9N;"ׁt7@!;KSmyI_|6-\򓠞ЧLqP`+2,CAyIhɔӪWJ٨"UOf]KAkγ,Z02yQ`pK*N(…ݹȢ8'CD3!b3,QDCr@=׼!6'某5RZk"O:=dL3ys_Vu/|2.F8xw<<]`kl;P?9ĬnVKIh٘Wt~>&^ċBB.SÚi,;Z1&oEO)-`Rb CP(&Ga*AٙZpnY:`#-C#`Hg14 ^x¥kt*0f ŤJ)wsv Qza41 E L~qc !uIv9S?TisDYg M?;xw5YzG=+ fI]k`>?hc텫X5s~OFd=>j p:E3&q:Bަp=L/v9f$UyEP6LڹHN>ݷ$ϛm@ G*b/(eghWy.Ug^/5T/VIXX |JcJ-^ʂGܭtG"_n01|j*z:7l} Z%\#mer-ٛ!SY&[ah|tVG)u8?lE4`IfLaGEvgMhcSROzkR}ׅ$ijna*Ա,o=$I*9Y}z59^iV[3,ՒUL˼7H2 Å/rrIOufZ8\r,IB۔-.uk>V'eI>l8Tg!(?Cq,K7iN[~k=Zϐ 2NL`◶ mZVl1Q 0Aiž%L/%M^D 4QBA+/`zGMY`rlNe $D}|6R6mBm|cؼ_*}P<ΈAQ.v\]Bhʧ1'z)Kmi#_a? Fcz6>Dp.CjlCaZB]Zrs ƵAw֠VnYHxg?OQoFhc;r.ܱ+ڣd H;Q V}=--< \ƣp@d2a)tdh9E2Z6L[Y*6`L83__TQ,V)RlhrOa^5=G3hJC)3!h';[*8ܜw\2HC7 *SQw^C* Y1zIo,:]2DA %LiȌ`:)P+$'ȨpC4e-`\Ğp*^0|Y8 xG ;$!Mpn}Y)߈52nrlI0[KB,i^* >6&a NjmF-YвlĔ"3ꏞ&ZPݒdQ5kٺʆ%$x(x],[C3beBm@r=1ou 澨.{|&0 d(ߔ8<†%%jyVZ0pjf[5(J%I*sC%CG"i+iz?!aS/߷R&qؐπE9D>9Al *B LG3]ѱ(Lv)`Mݢuն!JR89$CKeL48ͷpL8l^hޭla;CpF蝕tJv'0W nS57k hgui1:bb?5~ۺrΆ\׾]bV`J@~b#G *a~6EJ0/.w~Bēdz[9$6[v╻dcэX*xp+~%f,J&>X(+^Ner/8>ޤ# yN‹^?LPESJw={Gu ΁^/IC>މ0yŠ%Ja,э\ExN3Do6_ VjMc҅50NUaz0o,egDS 'UN ^- h%h: IծΌ㝕24=v,bS" 9` z&H.3zZqLx&6 ?-bEQ<#Ac%_a:x2 g Gü_&HjL]!F[Bx4fj~9F0bkNٔLM$~h_ܩ>69FK!2K [t{iFvwV7yI1xU Vs(MKϦ(}_~xުLayadCUD!<"νO00CCwim4dOnV!wⱝ\>( }hIoQ?Aٶ"%@_S~Xph>3g&|B1mELO|FA t%m|-DPޫ{7Ҍ\TZ]BS;JWa>?~ X٬^W0d5(U]#GaBY2d4vqҴ;9ĘYGI,kc*u`)Gjr j #sr=`y `Pmj?{J!ޥw:ylnb1M^jq\HfT؛Lݟ"D=_8}?\1T5Ð|in <\Shs[DRA1]'U1ev2;U#q6+ǟsy`d$%EzMm[ҋ{\F KM{z|Ҵ@4 8,{,r9c,mƽ^E?ϳ>V*3){Bl ̲BomB;@z4ۆ(!(yЋ8oBw;LLk3ZJmhKӀ '-Z0Vܐ`vopOGi'|>Xq&R&rU~2KuO|>/{EΥK,R*pQ;87*֗=ى%bZpXtb\ɍ-S\yeКr=_h(w2H$Rw*1y!GiuRyL \$1L+PP6ȍcUe1u? dKҏ]kT&$xD;tڟfOiCdK ,gD`2Rbi+3Ѓc+M2 ?<`960ZBot{|s`l@b<=5AJ4ĄĪD"`{ ,dCz)J=9:qw%;H[l#qn+6f)* 6lӕ$NQQc۵sǧ6vl$t;O(K+0?[m(H,2]!!"pyxV3 'd3CBHe;Уd&L_fI#mok2hJ~{u<=0笛Z~c ZHv' -g/ [Z\Ѭ?K̀T$p|am#:r8P^-dq^AE-U(ًԅ˴YbHiW F>aƫ=r+q_Сq7$beymu%& Qo$0}zRt8f1Li3j2J:;V*~gu|ގQnU)8{jPGb:xP g^cVREU#KaaY Č\EeK&(.itzY,}mJ)"c;FDe qk ŏD.T6= wa`3N R7H=J ;y@.gYZ7zXZִF! ]ŗXi%GKOx$bGj׼40G!-sf7v (刹7ar lsaK9{a`;~Ź{ngFYKPGb b(JF6>3Aa#`{=f䃀VD p)Y?R@k1%{NSFǀqų4鞷Dc<c.C]9>u;ƛ_ 6S>yUsZidypЎ]n os ^Ɵ6fBJs2@KYF|cl5-!_@f8O(M +'i=v* RFKk/$GMq dr,զ;t"H\G&T{ un֑9pF{[2GX{8 ~ID M+Č Ցi6qG%Xcޅd΍ZcDKt4E.҂"3 m*{,T͑A}QM@$ܜbm=ʖ mmwM(䷻VH(8 ?DSZ ݄:w:p(rZe5a YA}ʆ\Ax s^}Ј"ف5XZ>Bww_]t6ND [Q3t}C/G*[xJnW\&q/V-#:c:M_R}oBoСc 5994ꇭ 9/YRCGpaa17[U0;,'i" ;bFLsmWw2= LT sbJ^YrS%3,Rb{ޗ2-GFGN/_GU! [i`\cL&R,Р$wDFID%mfp}FlyU _"˵J Qd]"[z5C"s+p;g$Ah)-U!a-RU1oDhK_YR`hK"#1le"f 즱r0ٛ3t\/6=9oyN+bF0.%~wǍN (W}ʤfc>Dq(VpVҗK%}=n xE&;MkKW~>0oLdE*E墪6=[6wCdZ} HDgTZ1q[؛\50Zbg G9Td{NnLqaUN{f v\`:7~߰c(e9O~?jᾁ?tPzT CҫKu%>5Jh}+= @%V[qjKʿ}ģLWb-ޒ KA81fUY78pișn |<ZHAUkn],msM3`*`u֣o 0}5kCP9{DE c^( G}cjS&6IU|cCȱ{:S@1n.ܿ=]cs( >\h$wr]* ꯧiӀ9֯QٜY s x U'ƅɜQxUQNyaW\ľT˶6gϠJ@v}0׈&Kg8ײ ,,6#i4;w$ajۂo[xSèzrIk|)'s7VI_.d_BP57.h뵼uҰJǏL\@GHvݙi!F哻7e(&]U|<~R!va|wFuώ1C47';⸌nڊ. 0{Qs`3䕒kYӬۉ`'' }s@OHU ڏz7M[ء8j?k:RP$+D ?`Q֨焼A]6ҤUeʇIGT;uGy2xΡzW,@]Ovb{vD63vL`H*oRs30 [m*E3n~:ZݼIp=5Ǡ[~m4/gyq0RLc]L܈@E0FKUl󼟣ʻ Ij{ǦI7}ծM&^r4ew4fd|Cࡖ\$4TUW-6֠M &hSM>uuЛ푑2/Km!N<&)I8ڟJ!~$LiEQU[?$eU:~ӗE]ו((kB{j}&"hq l˥^EI(~Z5a1m Jzs[*6޿xoֽC&k'kWrzF&4_Q 3Vv|ItL1OqA\5A! oSr,V~fPVχ*6uTnʥ~5"n؈Tp7 w<~NY1j $sݨy6MD\v$ l ӨUԳ@nt=ٗX!*]pZgŐtМxAjMrt%B//ć^y 7O%H6 _a71 }k*5`1g܉.kX!MȆЭ)ZsfصѾevi6e"$(D 6}&kS! tO ~/$҅ET-VH:m3_Pj98NI.揤jO`͎}Gz8nqzf_/?mپi ޲V ]q}!|g˓+uZy\c\x)>m|Ԏt ڪi3SLa_0Hə9a%?2 ,=ЩTC^N w+OAͲKiYbaFP9 ƒܡa|2>}*(2qݧ|~}&%N k*Y9PIH.xrP\M0`|.%¦|7[& )a 6Q`#l ܺ- OTG5AT79~ Rh0! cnj9j0yN/ fl 7ߤ^gOxz\>h_jYV jkmȐޡnTb\']X5$'nVL]_35uj W{H\U V{Ye2ԀH8Տ :sF6f0S8; 4T:A5TCXYضE{>(ZEȴD{J#z*)>F`$5QKDvl9Kx-x^d2v_d %rq>Ʉ<pwz m5V-BxZQ4*<>.5ĻTawMꈍ*ÁmD&W.*FV;. mAF>wF Bԕe/+*'7D$ξZE^Uc˙ic.VjO: +QwT{ůݸnbD9xZ8;ʧ9MRVH55\䚞P\x[ӂ’g yk:JIfw $L[)^V/x;J60NrzFS50uI ?WI-nKnE.@d+o˥wLFo(r{WaUvgo )dI#=7wyz*u:;dRb{v̘_ 1H'R :vf2y|d*y.]`qv=ze#`h-zA7^f~r0*==Gq]@'54qX;[G)t`Xm? Dq*wM[I2˳n#FNarB[ul3#itsS^/Yo tvˮt0 r&Z郲:ڨq.}5x(FG97>V92Tl+Ӄ%uJٓ8I[ 1%C`aX|%7Rj/AEX8Lk`w[msm:[)k8xFYB'"!zG)>'~hiM` ڗqNAZQiP79i0T֓ w1n_?ꩵWW~m:x^g>jg Ȋc]2'-R#z0ِyR'%CVH%aj0ܳK]=%\efq'V6I9ԛg[&.VL fkW7bq3EZQ:#Y7L,/ '1]kW2GTț~ X5;fލ%XsѪ"letD=BXy~ J9KhoAEWM"5[ ʧrEEc. ΁1^W?!5CfH/I dy#_Ҍ \f#c+)7KNVLˇv 2S?&.Sn`r 7=XNYs~43_<|f0wD&R eλyMPnQ ]%81cV[ëz2dbD85x&М[ȵpv!]"T4 K"39q"WiW'-oɖħbTL娛UH`O j:*7* k}V&aø$E)3;.\ۛ2 ֝ڋ~Hy̓s>FhT"f*#]砈FC17&+ G*Bb ~'Ksάn<&$5Buq7FG2IԜ;04rv$$I5`z9Wَ0&!\χD̽hFUbvLpp׫t?2)驕y@t* z%+5) ]%F*3R 9ؿ ֤neuīb.,FI#_GUj853@X:ٓ)hsIMRR+y[5`Se^;0ЄQknϢ;=LgQ'MXS_Cv}0! Ưsg U|ަ'`hdvƢEJ4^?m%y"[ e n bYQ1 =cAp !?^:h. z\APoX3l_C=UR\r-X`ƿ[&4Zـj ?ZS޹a#cmpuAau\k2ԁ8U4N!),}W>ۭҨiͫ4cCA4 =w =ZV FkD#[ʛwACѨ7 ReuV*>RWƹ݋I/gbIɊ3)cmZc\m8oru-^dX& P>b|h9̒tGՓ>%ɭ2 <%p~yG5S`68D=a\1em^)yUbAk8Dl/^vz=mEtoX8a85^w4{Bwbd&0!qN 9wNmGvұ礠a&sͦ\D2,KaIq؏6ـZnOfu{+mv{WUIԢ( @3)LٽY xK\3@'ǥg;ߟm&%t .A6z-N0hon3R~zgkv:S+җcc*,OaP_?one3AW8g_S?J~m;͊s/p1Ut_W-~gU%*5A:46x+*%*K&a2cAg~<(ܲs fR0V?&8dЁfaTrDz\ZI =L|\SZ)i6ia,Q7;$Y|!fUN v'?0vڟoa7wp}O )9i)Jt(Bz1=2nNǬ9|HHSZ:y{i9.*K\|?㿖5b>I 9 ! `hܛ3$uS~q)lX.i-)OgOr6Q=X_г8Of,šXE!(3TQC -V;Nⳉ醙8C$o$ʃg=v{OE0o$^&8lX:i}-hh6ֽ'fX?:^x@.eߤZ,~HƩZH'su*ߊYq4cpP2+{\Ń OWa#l@r6e\lW8!^+oYQ~>_~EDnq!qw9|H!’b}9s-eȻRf7.u-EQ|B}Ӄ3" Ũ,W2Ry." t݇Gy7`پF xjҁ1L B'kqQ`rΠ.FCmj3˻V=ApgaJ;´%-B Ϊr?TόF%Q(eTHVفP^FךZzsLy pq|j)٨_:p3/XWb4Gf)MHyK9.!0^]H)|g8yz2{^ڬWc١x,pV` \!1j=k61PIh1!+Cwg3s+g D0};58e}Puf\Gjmq(^0z)G|{F3NG1OTmM"|?Ji>FHOa<ai55OmL,)"UeQ:V !yÊU׍UL| +6FF?N/ qqJ]^5V$cQ'7D$VmX "ۜKO|>;t@e ,F*fȨ#FzdEjwRV7:" :a5S&ƌ={,t|쓎8+㶀ErLFZ{I­Xބ,`OYqvT1+5*1amtY0h$BEwFl ?QK7R<֬bp V0~TPF'`YOZRvK(,p-尭3'ŧSƝ*!.xyDwYTU{VUA}s!oXh /ѡNlr@L^RȘ3zhT'ƥ5ekx' ;تY9Vb1UӅސB7~=ax'rNNo詋j1YkɌ{dt)rgũhIwiem"Z_'=I'*:v-`Bl8pyN ȴ?㥅S{\ƠoRQQÎ黷5*7.“+ݳSt~"s%Ned ɮEjՉPm7kK}awTտ7&oX=PHwSwޗg[c.tK̕ KzHܒKu 4>TTuu]0Z.~fERoqj;\{ai@~WP%y({%&:q˿ SI} X7 _Q\X^i]xu ]rNhEJ,vS[z>kϹ`C"4"˽4_^́.))f69FFc2>KGe ,3t)NSF7')u[TOC&xM2#6kaHSb, ݆HpmdV\h'9SзtF=ǻԴɖ+v|H 2#5?I?\o96r mrSGW(aMOCY"04W5M~ g=VaM3¾;#cwOcbN[ײ^ ])cyb(4Y~hoX&{C6:[7zu9 %ȝ՜>lb%- /t}:cJJf[0q8rb<4 ;x$ǐ MȜCh2m3+RE CcbX䷌I&deAP4 >]s(y U9VX*; ` RQp䊍(wà27k_`^9DhZ+1P{lQtdE˛EXy?@y ˫61[;Xt$< c3 AT b6ngr#yQVS/3j0#zl-ծ=[3Es1{K%cǘ1Jǯ Od_4-* ƙ'sf;PmZEnvp#@1:?2ǡ-+$Kp ddK?0~7oVC"FE[jo8޼0&T/`Q&}EdOwL;n_H |I(*jImQ?~k5FM1HƉ,@A|:hìUL'i p(PC <6LLᑇecrP0 OŤv#b+'>EF'({wČr.L|HKBks^j8~ي%}Ibm@ M Š,2w\&ȍ݆ݿw#SB<|~qF .A\Cw=?^foFCRT:bb.]W|hwq5&X,iN~?dq`f\.\O@*.+ fn-Vi ڟm*LVvpBWYꃱU/A _e,2:Ȝn e;:DIFFuIœOјxYƛ8QM1ZD3Ry5z6ۭ HUjʺdsɼ]1,&P9ǐKLt ^pe]}}cRS9h5 dK6 hs lMmcmwidmΒ8n;"eXr4tTq AOBL=mQ`k-땂Tjo:!zŔp-/w+t{{||R&4sPrUxKذФ聱e*XQtM 8FU"P`7b k8YcbGV{^unCiZě'`l_ @Gq ˞C^(V4N¸@P3?~3 'I%,ы6`Z#u#>\|"91ܞ$r$?T;qXt,+UӐi̓{?'qu;z̭#.+Z`(,Qq ]QҪLӻgeD pn\pHTZO4]ӨC l(h? س@L A#QkYl$lwAL_WQ`ZkRF춶c::{m'% z fx0| yT D@p84 Oԉo GW w՛n|r|1=F޾i +4,έ*)` u`d(됙M3Cfm4[+ߙ辛,f p\0d9ۅzRshO$%Re`OՕU(k AEs~w|~u+}ƂP|!=i[jO0T`u <~Ҝiox ^HVTnAX\xCTY7fw}cWF3[[%aSyj/{sCDV+ jZ3$'2MzӫdNE8AeWH4A4Ɔ9ݲ,6 GVcO= b{p$Qۛj䋨s"fm՛(Ԑ%q* Qӓ Cg-\)w /?T\!>8YBsdq}iLyC׍Dn(|^;(z OPE|Bex :iR \a1 %ejciDM;u-5}ygP YU|""([U3-S'vzq߯iGa#$"JWXy4&2 8 W$嫶|:VVjNO2aD"M]Eۊ}]!s[OXQlF|.QA+* ܽw) W,&Ũ\ki/ZN,%ӴHk*ƾa {9]m }eb sݖ7@K`=Y$n]Fb*(h!-sٴzRڍzo6&-8Éxհ@ijV'B?}~}D*\4ǥ)~C+@m>SfCMd5\vCB``Ȉ^-FɐH^WOv;vt(z,-qs*-Lf74fT:X]G&& L<݂vO9)1/)A|o,$ CeѦ%* lrq 8Z haS!߄xE NǎYvmyQka@[Er1zT2Wו L1M*Y.i"-&?/$~$:J2x%pD!Iy?ųx7-Pnԫcɝ=,N0a#96M+vy*l4lNgSҺr dk[`벢%I( ^Fq{T o>,sKjZ v寮u՚"4OaEN**(+mާ*=r"r f/mR(c{vK*טMa3Wʼn@hR <[Ӡ ["s,mi Ao  D{u.bdn]6{W4h"iJNǜ)jt5Cl!E #f!\uo *]yLCJ d\:ְmVJ.e\tcKnsJ vF& KsOW^ĭKP{CAgSv^VMByfxN>]8rl-G,F ^)]NvJJxliG잦@)aLl )ΦG}Aw @Ϋ* b>B@\?d'T0Y{u?El,Tr88݋v~?D,0#8Sà%O0a(6=?yٚ0ʠ[qT Z9tR=O0 &'GO'҄QP`fDrџ#eF(g ;# G".$sP,s.Y p>↑tbFmWD# ^M,]ę5^uaYf De얣ٺNFϡOʹvj9Ht%ˠ{_2֝I]iP(5CuZi"!jhaL44s:!9m@y34bwz8V2~} ái[:7(mX^/Яr$wGwd/ 'U(6tǧhx^jD|gW/+O!Z}ꐦA{tg+AE܋ P]o?\3;ț]}U1f & a8 \0~ x 'T]7#R2[R?OVzI!e7yN9;4*1i z@tR:19(]tgi{Sbu W~m/W.iL?7-8UMG/a70h=B;}s,zԇK-yi̲ ;n^1mAǁ<ѪVO[AY0%d%QqOB_.WX݈TOޫ`7]e#5WS-w (jA8{$"y^,^!"Ifj6Z"(f/X]U=?3ʍLu'Cן[R0M^]FwUژk\ I*toBX}70Ys3WޠMy-6YLXh :e I߀9gc$kK3Xja l#^۝eFh”h yjWZ?\<-[}(ʄ& H`s(ԪvP5e PTUVCq&ULΣ;hU LǯOV(E,j..4KX> g([nd GJ]112]"F]lHҫԖ;zl-bаڥ54ΒehP*UR|}8g-dPFR~;!$1"J 7bƓg' ,uT-ǂ+3OdcS\^Gmڅ/?8[Jgp0[cp "窣=LG.$ߐ6nwխ_L0` |^kφg%Ռ.eG%]v W!;T,PBoz  Cm_ ԏ?kc K,:w=3:ȑObޥ }X8RbՋir |" ģ}o k1]:^w"D9뉶(c' GU$qS! <1BC(ɸ j+Iʨ lr$E[&OU5qeCF8D#<[?GZ0^ZHCJ)OB)W_MZ5?lzZ<kFYs0f@ ڈZ=5w4Cx+A8U\66pFTX5zY?MML~-> h\!ңCʲJ 8N؃fE'jy xTgCܬ GXEeCIgx2f ޠ|ԦF_@=b}Mpꅱe66s[R ^j20J`۴8|ӺG&}C1x_@ȑa[##ub;jF?;F5܅^ʵӽ.Oު0W,hȵ~*{6Lo%YAlQiV@7~0Q>Ab6hu2ۇC;׳FHSVWs\pB8 xNLC*ѱ j [mWVM@EiX?<|@\?:W=u1sApDsҵPXIlAbhw y-}Z՟b*qL 07Zٜ7e 5Xh<_=˖ƻ4B~.I]Yh,FnB#*7G%)QG;&!fnEpVETϣ!.ZY5=Cu{i"yC| nhS82*}Nz35 B[fLo-Lx6 >N!ފC>]ƻY>D5ihο+Tǝ\n}kD'IOBNBQS8_r# KˉQts93KFnz2?bm܆/kc ƻA¶ 90=r,\.@CFl-TϬzm؛)Z!:_G ! ]9=e~ 3DڛzǙ f 7S]@=d)Tp)-VObFGOtAAd{dؤ.meUloXp)̽wĹdUm%;đq-FlYZ:!Tv;7&&b *YuC| _-%\[[tPzll?a=){IN-&*R2z,hBPܞ]=zR~‚H ,LDul>U<N(JB %- p0X.'&ÈI0y ~ZT}MD.aeNQx`yzo*zPYr԰N*aI'y706z~C_mHB+moiTeJ} $>qYVV ɊGt/}/Mbf)-v;uJK_.*'hjFyt`%R,oyܜQUbb7ԂL1Ip}x!fgIoks/ \FAr%p .K2OD,{k,7Iϝoiaoȝ;A@ bDYLyƋقVEF {Bω]7._^ƝI. g]o?-(p"/;uEMCNigOgd rH\2OަN&3GP PvK%RD{xꑾ؟߮޹Gj/v/Ԇw>PC(Rfpb9/[ :H}ݗ(\no(B28Vz u1!6&V4![BJ !u5sYpsd x[} !>U^t`U8x(} ՎdRI`?k\1G5.yJDյNș:AZtJc5{{ NeWET}kzFf.sT,D0vi3pxCFRar2W=Hr$45s`i2לI] M<ˉ(8"ɀyrm%L.Q ',Mu!Ezb 6 nәUq`78rȈ7˹6cwX1Sjk95>0VmC!!Wݸ瘰(r?0zLH[wr%/32 h$u1%<=169uDC&E.~mn@OV" p|Xg NL)0.ڇbFhA@vh$[ ,ny=bhRŹ%OgşS~wu5&QqGMLF-ƟTP:Z_<; Z$D؎%0fbURBڸz#F;?~5(N8MXޱteÑ`r.퓒EL̀%5՞h.dqt-P#8Ni W LQs b&h`ѳMiϚP}}wfQ\?Ȇ0 f)v'DTZ&~Ӑu}̱u"}v ] bfkwjO%OX: ,.L/bsN'y/EO%TY23\>+?72į%VGEbFbxv(#c>,1ڢ7KGq=r7=)60VmUYn8Ƥ^D+Uɪ q0T4a@l^QNj3U~k\3KbSٲ3vaD{FPo;_AjtD qc5 ȒVQ^'vkVSЇ CHgp+< g{'/'QE0Mx3 c+D63#dl',G+4GW~լ`Kel=Doeۑ~Ǖ/qgǶ)+;Zƻ' ,R^]snKK1153jUr26Sl53—co IK |t̕="G`t urKm1_m1'/:#128 E}y0- #G:Gܸܷ~"1|ޛ 1҅4ԒOD@gx3QȺ(J F{Q09]1>V'i#Ý_մmxC> eaC\ #S3n 9'3T%Z[E)3H; x:mgmX=Y+SJs8#Vp"L<| |F6K}w̓j~n><)inZ!au\LpT萇JOUB쳻ե@]j8d9'_zaӷu&B.+C͓&ԟzq[0΀}tOzsSNƞ/ MtZ{B πݏje?  iRW<\hxxIwQh{,,*b6Ч'}GB 0a rCB#G ك`# N։̄}/Zxdl:$_ %W9v4Y &,ܬ9(ɵ0DCpukC:]! [ǹ]+b1e,kV9bxlr)^݉hdfƗOԨDJ]rki4<. $^vN^Ϣ9ID:A nՈ#!@Y%J7ng@b)62Yf &{3Ɵ׋k8P" ,$EoKoNI3'il#q <jJ{Ns' -kzY\T$5 wtvWI.[l:)JkeTYU2ʼn#ft'G`ͳ] G%[qޘ8}҅s3Q /RZW/x4v:ŴճuEu#p\]:wG"С_d:l๚_Vi2 'HҌe.۰P4\.,eHDx $;L۾uX7mKl|"z$me'\,Cthڠ3b@o/(W[nHn|ߩO؏ j* >%$tGA.yo}qMd`NTpRzP_=7ePX;()W^^34gnb&E%W 4 qŧSB0DL]%Sf]~ SW @'P௥>=)wU@1a Q`>eky)T/m˓ʌztJ˚wRCE-Sm Zg2dіhiz^G J;b G)F0:u{Ucd/v-Jz YxQ`dʫfC.|&]x\yڪ:bI]ũs\*b+wΟ"m򊂁LE}gC`@)@FٔȆ [p4kS]J&USZjqLgG"g+q@9,+Vb'`+KρڙzR"Aԏec\&A:pK~ ħO7ޝ[ˬP [w+ %\1 u=P+ΰ{ɟ LLjDCD8RBE3xP,*5vņtƁՇ@c7dRL<9{XW\hj~#C0pi9ɨ.c/ď1}=rbHa%e1DkѰ$AkƫH,r+úWC;1RZ`޺ҹM:La8 DTE+pS""_hS=|&jRI*]^C:? mcِCIx9 5X8j#c'rmWۨ<ؗzMJp8[x}^_AE.A\L#7IKpXE-1q OT[| RT2wn%s?"e|[>NH:&6d1b,׊W|X0 E`]կ$RwZBdXҠ;W#ēEWȽ61w|{~o&(_&$;QH66*N 7 CO&oAL B":_-X0U7zjW 2k >3!ËYBDoXH6g3 *!}A QxL|`eC*,b|^=f { E~_hsS1;ILO:"ҍ'S:`x`H?H( aQ!Tׁ2:pɯ 5AB}y'mx<QpRO_^N]Tv'%{0(`E>]>HU am.؞d]]?N֟{j$+"z:$sk~ZO'>e<Ĉ (~ 9Cg+@yv>Xr]d u`@3S:Ĝe1[}8 oR4 vqΐ 3i}ҥoԖGOMfٹlLKl6<Ѡ~NV@́+y )-eF#{fAW';QH ')5u?~RKiTRM>LU{8jJyCZ_"R0T4\E\gu4Ҩ2A7<%|MwX-s lg12V:7RzkDjQnڮH_anpcnV`GL"Fu8w-$5+ľּTB0YX;WNAc=pŀ+؎ |[lkBҾк(ɪi6]U" ,=OA^/!^8y"Z@ ~jI.f}j3'\ [TWK#aZU&loG|i zX!dZoN_>5y ?vw*-MFSX@§` |jVr[Ym _ 9II(Q%]KXgނ_zϲs߲ruBOFT$Z1ՒDz܊KACs9s2h rϷ ^xx#t|TLqR M)/܃D{bz]ǫ\h}1.Κ}tL& A+VUWy )ߩxe3v:EǤQF5.Շ ~wt)s V*_W0~eX V:,?GL>màB#mAGE沎;s FiOhOq!=\f!vSd =tX% 1qGTQ*UNh1ɒNGM,F%;֢,]^m?Oe9f|ne8G-Hչޗ)f"]|xX^& N7"8t&BR' bh*ce'` ؙOQßqz#KUxZwYڡKT(Pꅻ'>y#pe)D9GL[w Ml.@IR۳$zϱ%2p&qvs2Xl/Z:WJa~M=wT܃1UFeMY:;nMTe'ƨ'l (Jy#Ӓ- UhІըCؗWM6*o-eEa7;m_ݧ˷FV-@WEC@;WhRᦲDiBEݠnόƶ[7o*05Mԥ onz4.y>6AJ8vsFE~s[N)%Od `H8}l)ϡBNCxoJLy`e\G!jmV4 -_Jt JɄEy࿴s`Ql 1YM/!FͣZGn%l){GYimr,rNndZ.%8Ir"-o\@o40Mղ6R&sƽؐKA/|?]@6pߗ1a즹??k*%nH9[hh6R4aE7_S(%e/l| $p+N iXzo=_R}`G'qF|V"`T;x}^cX;JpdLpp)ijBdKxTR{Hgko%'{0]U\%l2YL\cΊj^08;H'yCXzWTE!x`uEpWZ"/hDKd+ "XwÀ3GqwFۨ J$j.(a^vfj#1C[g[wK\%/H\.-g~Brt6Qmf'"=4lve6$*0@Lդ*Gps_GWJS>wqHaQwH+U4HƖeGi[6;j ~xwtq8 L&di&-LCr#U -n&@-JfmmM:Tyc Ulͱ"۔!3a#[f=Ѹ}lƶLLRلZˎ2͐4:sNMޚ=Fon]v ʞ?gbeQ@0fM "wSUoMh۹.PgT;`XE%n\zG I9ߤs>[͏Hp9EP$ZWA6wߙ}࢐:iV;=Ov`0lfƆjDM2ML0k0N5 5*c Z#H#ʞr> 5'.BM'A(•ьo3?&sbz?ɗ?@wq!t,3D \-I#57 V&x֖-l zu;pVmk G&[RB8PPqlz %h:x\2UD׾/YGsuҸ2GJ