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 ;,4 ]]]HOL:threads=6elapsed=193.278cpu=669.736gc=44.272factor=3.477zXZִF! Q]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡFY(FZ`kC[w#,; ƀ~~m\w6 Y!fzz1x Novey0(:Wil]_(R`uC{pѫN%93)p oyO&Ejͳ|/u`9SI@;E']+qȀ`SMM@C|iFD ^$/{J-yAy:~P8Bi70aE_t|^k┐ik}U5O ;'͒Q8ZOr㗪la4u+7+~8vZ44Q )ڛJAm͔]K.׽u[l*vf{!A%{V$ Ё^?t(:]+7h+C榪8E=rO:6pA+o}M: Yχi3.߽j! SGx\\ZT]bKQ0DD2:JPշ*u~a&¹^8۔u"{:*V *kţI芷 >ҕ'#u cr@}:%֓<<2b YD}]f(L(A>Ĺt#4¿Jmt ,@yfkޑQۜX?Ȓtum`Dg31]F`A7U: {!k!wP/"9-̦߼al+q4zѺǫj,WW׀1kX#`ME B 1b-LniwVF"YVJ-kJ;2'b&cO"vb4$ ]b(vG^÷b5vFlj+o8PKq[msu=#xGBg}p%H,*3Xl0elfmd! C\xvNX(J ㆹ̽VLS :gnkF'MQN Mϛ { &d s_CV" UnùRuaSG~ %ˌi#׮m 2ZqGt\t4?x$\HVzSꁧIXOTqLo{Q⊽nNW6j֒(^a!Br]]oVD&BeeBfť}rk2hQ%_kLgQ`c͎\=A|U4QE٘8%!kt 4zև!!PWv0Su1翄Y^b4 w/ WXoVcn%Zg))h#Vz^N#2Z &Ӏݧ8K"3u0hU Mv3.ôhǑiÎ(}RzjdE~]ZWq!R>Hmi.{E L*sn~orC#POb!R!@ 3Vebo]ZZXx~f<^V-x8Z}ϡ rQdz)', Wpp`7|!u(XSz ASReøf' 1@d&&6a-E2o3c&Ѻ?6Ќz&0qbq d=j:C4Otj$n>W;T` as>KjvWo8TM')Q!:VYѿ+s (.):R??9;, 4App5$s9BU̎?}iBMOMr6q\(Rb 6lڤ@:e=7j}}.SD4ÒJZZ(쌏i1C%; R2$W%gFln苊3dh޶IzmB }v{ 'NX,ԺW64@ִx}LPuϩcfior sLfЏ-r{L w!THXydn-os./duǞb(HɣH}ӲrBT=T5wIu%LO|9"YmR.+lW/_E[fO`R`Qˌ=FL0I feZē_&{D&I "Pa]C^&MNX( WH1qn}M?Kɹ_a蹾I l_ *&2pK0 ɷ|QlJ>'8\HCqpIڮ0x#b^D2o=53t k?bqd˜,PzR!,R 9әhef.0؅?]Ի9HdFuA7(tHH2r sHEF. AK_5R)σo$!9UMF+_L!hb(6@G.)oD?̥~~[_emZ!Ńv#H]~{oza }./sJ99\_n:aH$_!m5.*mIh~4a(,wwh/#:];C\p(]v0HUjFL ~fDl-ͷt+$)';@'' a M[ɫhwX۔4s% 8Gd?<ǁ(o440(WӒ8g4{ ~C\9̨L3"ReYSM=NGeʔgJ*Ǖ{>fg͉ص+d6kC_Y7^H9$׺:ϟe\FL7/qZ/ GE-')`"w~|o}M:[̷o Kr3[}Ca9w\6mUqp1#cv1zW-thpx 3O+WO^&sm/'ۇ{_b[2_scJ'޸Vjeyj*ax99yp:xΨ/G#j򺣂V Lg{LD/a xWr=zP^E:#xo3HԚwy錂β_Y(mOH`3Fa͎ \Sek)j@14? C :M=n ()]cq{ߗBFMFƦnWsQ0p?5m;u. C|hP~ MP+)YU%s6#Ü`d @c}ث? e1~j r2?sx܃9E<ضG@'A~xSeeۂ% (43؋'eE8{+yźKANhecseʍx$e"U)-~f9sCwF}m~j}1 i1 Y2);-7ix+=$ݕ*U}$[u~@oZ*\ZʐCJOl8֍:Q5wJ\#W)>šk~bAXӈ7o9Lo7!*ap`Z+c~ *RD*# I?]oqR/!*krރqar|&|aekS;o}SLJyrTkn/F CY ۄ:13a~hmҍz8oXMOneW+߫ސS,̿*BLڧr2R?y& Q[`VX~nx!Җ 7Ș $.N",,}^KzI.t(زٛ5,w9ppPhՔP:&Og$1LmXl*%M*щW#IKJ+!G 6×jy9Nnw)`MZԈl~] ٢|”4$=~d땇5BKG\n6@kPL䩨X$P)gh:vqWY Tr 0gڏ7S6c3#/Y5/zU23΅x\=оVnjn''&czۚi9 ȍK;NLUCQx8,'y|b.RDɪXQA\1[;?J(酗]`8yύ|=퓮,F[#Sq^'}ܕ-5H&e[+K6DB@zh.ˏl~-SO|T2*o0`LC'ufƒƮt,X:eF="/dmUvySz li 4,Ʈg- *0. ?MnNc5ZY8PA=̟O\k0}o @Q|N s,y pݾoFo+_2E{ AUIHy%ǘ<TG 96A>^0ssXAYjQ KxyF/5# HGֱ h!LdD'4o}:YMlԀO><[ĚzNk"qq3sް-ᰯÃ~^4]24iK?-Cb#VOGeͽƹgMgW*v_#=_pYt0MG2C(#Q5 o70LDs}"^,hS=KWJYEO}(4Pl؋/ZU#W={, $aa ֢d4(]hv>ua5oeby*ծN5YO) I<^[}تV]%߇d>:.jus<:ecN0,4n̫!{zJџEx t%i{փq́NcJ6-6 hTFd˒Ƽؚp!Ї'b?tK\K) .G\ ZDdL NBN=iݱgYZ7zXZִF! k]ŗXiɟg_$N%Q KβO%_JK%ۗ5ʉbC^[X@V{>pLsMx[FgJ qE?6D-^rl SRYPWNRq6+zV]qEX^\:N,TWK0.̓!km% qsO(ϭaW)lagn*m,JLpFw8t!+xd cCm] rvG1 i }eӄ峑ge-!wё~om+inx^E+Y[@XTҨȏ|͋O%R"!LTJO!^>{#kO hwl9m| b*$^g,,22JvxCJ[_lPJCpʵ3"h9_MٰKh 㲜vŘPWLGڞvHF˲O 5L:YI'4!+ 5AD0TF 1 ,7l ɫhH"GC^M>lk&` ;mD/ \Qۖ~L$ŌEMDCc1POY?) 4ZJMK$s gDžEn_GrJɱ<:}ZՉ~Zqqhm}Zi/ qŧ߱ Ɗb2oе& 4PJC/R.>#)@K$Ƃp ŏ`[nE#18ψAhgԝ78Sz$5 $X|ʌ2X7r-q"?RQ@!梱/jB]OہbFo5+c9ߛŤOj>B aʸ(zc2E=)o{`+sl+tʌz~̀!kZՓ]~+bav '|-_[Nyntu/&;nxUe.wԳ\Hz&ou87Iyot9'>YQSUqzY<"""ͻ[R`+\ ~B҉ $p_?ۼOTZPj?Fe_!A94\3?QS*f͎ -MW&0TJ]SsQ)M]"\1?:kgYZ7zXZִF! ,$G]ŗXi%GV)boTr2h^>M@Mn<9 ZkLq'Qk#vety̠'yǹjd]Ý@ߓw""S[/]tRt>qFa²mnvVdt M r3nŇVtj` *䯃4JTƨ$.ۚWrKIᐾ b iD˕RU2``͋\Z{ ` aoa7-σzIxWhLѯ"{ڃiMy`ע(Τ/r`KPTHL[4S:0BEa D7%>;*f|T`Xfޙ:gӆHYܴs _Eub\$̣Z\H B43YI IJ=@R[,!qzwGgJjZ+A_āoNd:_=3zI`~Z>Y*5LoέpYLpJf3_$^<&ZCщJEH5.JTܤqN)N'#=Iyᔞ=[GD3i,^RdWb6(9TJh}4ۤ^$0Dɳ-%aL?fX,f^,+%L&r>uX~սl8;Ԛ>!'KFA(4VXv3knǶ*oo &JDB i N@9RñgU@:Bnh6`?Я̑31JpWJ#cib+e$ Tt(cnfv9\OBĘ5(rյMn_j U|bf9qV? dޯ߇XF%"dB?q \WdS%XEh(%9u\(S\1ڋё?iU{^<靷>|z߸G爏 @hsIZKS2UK?땈xpw>:țyWoę꺦P.%4'![ii5C, eR^^'vd'=.O}JbI TEec9[9DEVl%&]}MMF9a;Ɉ؋?C>r ]},t'Eوzzw̴;>Mެe^ޛ]5vi36~t]lWmy!kGh0ozGw8f/́?϶D.7&a&owG{_ FBOZe;EP^YHY2L", wyiν#T遷S>0p06/}&ּGZslX 㵃uUC]pl?<4^ioK-|7/uND; ]KĀoF}[jZ1&F>R:)@W'(ye38&W L!]s TR{u˦6E/ȴ+m$_zJEp+lqK& YЄV1\7W.J?)w r9APcyjNӗZLǢ{.} -KҖEJg3Q3/qTtwPdݩ亰>-қP3zxn}HVcC Â&"F5)kmVtu^D=Gf 9f; #;K 5ŗ̢YDHrfEm=x2ɀhd\lQcw9$mu$4k*ֻ86+jf1?#-}D>wAr[D5ێ ܈3*0n*27u4;I2]H 2 K}?_zIlXĴ@S?j .;yԁm> GswDsE, KX0 Y҆[n 1]ݝw R}SGi,ꠝ1ݧrJ R+oS816{'Iw4U6*>_ T٘_GrV z}`Ov$t΁n Os`㧈.#9)H`ʰ$ K\;u45f;83O=edlfdv ]9)W(Ak&a$Ƴc[0khvsi;Y"I;jθ Q_b\]԰׃{]@^fJKSivFS-Y?;._Yy"6od0ҕGfȥ0`\EާVphv6٭OeIx_ld'ܘG֕ph, x + 8ɯdbOFw8QLD30yxy`\Sv)b$^{nuG]RWH)w3ͼE!ܴ@gLD2vJVB@Z>+De]Wk"-^uiS/4g{P?B]ȸ0🫎N`MgMI:H;% a "xLQ XAƏr_uF!Xiw6o'hJ=G"Y@(T^]Rh(ZͧH>05{I!ᮄ1Bx˜)gGq}WK#(+wX{Ů*nk.SXD9^Uֲw ~:L}.8?.Эt˔^>/ V#m_qrd}0\}5#=)ض*$vc>sKO簀59P Ƥ0,L$~ 4Q!$mL^l4G*7ZM#/Ǭm-뛍K%|E]&q'Z/D8$͠)H,l3='RG'c^ pv eXr9έ{4~٥Eo `}p_S}ض?H'Bv~K#iHjm{ I&J>!έG0 hɯ6* f! <-/D] (#ɣQ>v 8VD]ς(̲n i(A}>Cٔ=X, !)>u<df:'}_W %z h%2j."}Ƅ2Yi Ѱx= g8b|b[Dc'i.V{iP/7~Sݍqii/o6Q#7kj|qA+9y_* Y+k6cB,5i gϱ:W$ RSë餞ՔZO1&<݉(t 暬μ,}n;|=}" [pnOmMNBFd>ZfMV}+Mz8 ӧwvpې0k/L#*tӮS"l1v3r7BEUAŧ!Z)dl lljKa m[Yu3H4,{,*IW/`m-'N?R(qM8I6& ZLE]*51߽24{{%{](]QӀ4 u%Dɪ+Q x0ǯ(ݡF*^,=b5jQ+Di*ʍ?JH[^5\l x"?UDN낦_81 .>!JnL33$kmîNrH_m^ WT:p0w2Ǥ < p1eXś;eMtB"=֢Q' ҫiEn ߾J'2u~Q.l%7Pi갉z UuLb*5Ɏ;)/E5'%zIЬ} ?T#(,VtT(8{Ga?L5SIC^zOd\ W{ 8ݹ/'שLU =O: 46_轖t.7dvmjRAE} mc.=VaG}lW뚊`uH:PVBj]Rp$n?N3X:|AmhH`yr5Ղ7-b1\ҭ/jwYZϚ"[ p@!;|(z\˭+R ڙV:/!T㺽QMVTRjr!զc&>uUx67]tFe U$Ư8!L651mK  hCl Mļb Z^}9,m|*0bD*zc' }Na5{3؊آ:8Pr>y 0h5hg~.$2ys-& a5DCC `M@O=P{=F9~(#iViYd0R(-RqkS,+m][/B:J{hSaEx9/F.cߋ&j_xo4~i)9a ~M>|;j:FE~TN ncL8S*u ~ wq`A~LU2da]Pr᭛iMwy]7ԦrߵTU)Q,%33JM\[Fqy.ϝ*wk.K!O&3K@SX9_$#PG?(?j,g(Tdر(:435lŒFFS*(na0jSH%azhN:~j韆h ,t| @!-Rv|bߝ E9@n򿞭 ڹ@5-B-C,e/şG^iL誐2,P%KoE/1W*`2lf`yse~ALSUZ: \vTe7UoTpL߭;?߲ ]/%tq{(1#?Nzl0eE!g}+p h0'щ @4EVxv]ݤS0B:z-(͈a_nnǗε3 y}p \1Z!*L}e^Wm0 s\D-лdאdFbQxjdE U]Sk-k/X*93x_IPqwuCc]2Vldyн@HӒqlz, j2\\NTQ!`TtfIٹH h;BcwBE8s{z-M' :26 (Pv$$ PLh%{\ĥ4*2GeCh\9E@/%w #8ORcH/:pGSJM9Kgv9fP[#2S4xz=dĘ֊}DRxٝø6aßzj@/)MDgŃLI'gI<ȞTGLy4B7'|%Fo)mL<5}5Ԝ C)#.NtbykK}\oTDBn*mma=4 a!0V`US|L;L!1߇=ҿc7uEI[QWiþ @o\?V3|s$ w/۱Un> ߐHXU / sfH_R]P[v.BXQ,ͧE4b60vZ-CzIژ1zDuÑb_ 1Э)dr4 ; A,liyz{9X_A[яXDa&=05xj3/aTԝ܂6v { U (դM1ۼ5yOJoخݹ'kI˗aasG ;ҫ11z+TA`"Sk,%Rsѡ17R?b؍ JǠ/X.\"H5ym^*\|Dc40Vcy`PE0Ouy^3>8BS NWAY^JCF C $-gs8OFJ|z8Ƅ?XپޘKYrugl+1Gpjΰ}m]jC;t;U1A-ݲPPKW%ɫ3pd k7<ŲؒpNY+D|7g#4&\ӚnI`^Hg6Dˁ)63ƃ| x[){ŋKmHOMH~ d^R{ n#@ fh5 J>=n'3DtߺüRKQF ;T̖@7cNTn±ƻ KĮF?2JdBtms(+ٵİ*(k|+?nCظò5;*8|sOy*7zm[Yï! "@~+V䬶&O"iZhm,:nsGRb,]B7uPsYp:{xW$L|+DD7KBϕI].:np^hyaw.2}H JGfD$G-X&~?h>oU5_u"ط*¢ קP`~[)^Nc`iJo]]{`P$$$r'-1]J4|}Jm L焋Ի,zN[ܢh"e!^|qu+XKҘ/܈Mf'u~uy΋?bܘknB?pZQRؔ3a2}y>etןUƿ> l#U6jj2'O~ͺ*!.S*g2v⹶fÛq,4WnKm<5{4EH̲r7blO_L*L>W*+R=\8'c*+}ѻl'IEZmӄ <0;dJN*}"x7>6eyQSc _/5i.1ÿ/hu*čXq^gpMoRv/A3ϵ'6**Vy[\R6@v&QXG) }g^ CqUt(GB(_R.Miū{ gܶ[9;#'PeM5X!iOH֜_93ۋUа2]hmqA]K;(*<s'o5r]f- L6g&s¦5o ̓" f"@ȡfn@qy*}UQ(oŨJRW΍SųEfm3wvqi$ P0+9<X&&WgIc{cy ݙݎ|L(Y敆̿ _q{X f>/ FwzǴ$ KhRonA`_OPL,Ǯ@~o<@Aht3"f2=yӛ"uK~{V R8,q*G{ʊcFoEs,"yq%.$S;HV.8I=6<TWĉ=h'{/|ki)~%!Zʚs|s%?(W E,INBfhۃf"]Vu^0m2}xn){B'fb)F0AFI(ŞD++y[=\Wfɠ?gŮ ?k})2Ucy`!۔r޹~f(D* 0,+',T3B-%+}:2Z=J]+0+cOˑDg:7 %Ɇmpc6991J/6~sPHF!&98]򜻌cTv`Up85el6 5U}Xog9mY8;1LOa/=OA{"ctgvr9argÕ+( bKT9e]\>\pdbsq|EgUHxJ=VTJwUf<5"QPvW%#=a?>IʳXeL ZC3,eW_Nf^E'jvϨn&[4*-%Lb}D4\e[Zf88!^d W%hYj '(R9R=de{\[ؘ_Wmu9v/+H9Jw1-U_ǪE85U6I6|P5al K_B}KxBhJG&baoL>w(]3wUZKA¾eA7 ⶸ[3XK'X!$V2}+>$ azv%?9#/5ZxEi=ZWMT/B,56W5+#C6a¶֗35󪓻'l^N@~:oxޞH|,X.В1޾&[Urz)Y W|a{+ϮJonjMGwF"G3|Wjw!&ُ&uDoF5^{?NI YUjߢntSJYNJͽ6f=Rp巔N^.]FB[ =i=߀cey+yGd}f%MKM@νO43 !]vs2 fLa+B p!th"2YtRᥲycΜw86LdV܎[ *S˄c՚\9'O"c迿27PbTo#ghlD7=F={QN{m1G|C{iX9S2BRCzkL LI”wʵGes%FA' eJ6 7h07F#3-KiZ4ñ߲܃$uUY<x4wkho+=g}x"iv/ W+5|_Ay#umPpjSmzOA ˁtk8^>-k04W} Sکym~6  fTj/{ 7'#mC'qXBH$5bJJ=;O\m;NfEJ:Y,ĀF c ն~u7 KX,΋ҫFd 7dMbem}C,]aqH|/mG"V-]ό95pɎ=m݈Od/IBTsJ0^JTG/d`Mdw:犇HW՟ lh))@W8m1.ȋs&al.DCLN!;?0{pH`+ řw (F)3Q:<,q_m&M];UAYaKp"sSj{JHuK.Oþs'B e&:vL(-͟sY!EJUt jmSߩL: 55]p5U laa ^ɿ_o[hz M=Y&]{c4$RQkڱKoTKjolI׭Ge} J =f)1X~XPH ou]Y&O\!:k.픜gscjvJ略s,bwzer.UP7{|r?+(q Wd]V%aq7`E wVI801G{}%2oאYYq"(l.N:j(3 i>Ճc~RfOJoF U-&j:MdB/+q)d4 N+-b+z~vk6jq1n/o1^Zn[- Y=1үaI;~h6;M7:Q#.(= P{ZE PPnu[ڕ=k;PWnE34("5m4M`l2IXx$m[Ar۲D{}{ +{E%j$_sEY,-:JN-5Gi!?c#SG#~8{Tjվ9"+ ^i4w~׫|C~$әPVs=(Wݻ "(tE2Kv!̛.ۡǣtj4ŒՀG:gm% 9yյ_1E~<|~ ?_'9 [,ɍ臷VC]j|xRiYw3L])ͳ E U5&0ڂ@[.VXU7}45{>C&Fi 歩놾Eӹ~,]Pq9Or|tYMڜRϿI$[WO[_rS(NmhL 0 aøX*r mwp|o_)ȋQ m]:Sk ƒ]S׬-9eE*s [i(X{dMfc,nbY5ez'إzE qV@t,B$\l[ct7b4=⃥yzF0Ysz>V\8ZS'"D2Ň&PvDr!јCGPKkS=55KMJ[L=;K'L{^@OnR//1iaŹja6$w0 T#%x:?$]nTqDQjA\=)$T"9OlnV99Mߛ y*0JpIǩt`z 5Ad7Aur#$17-Xr`aN& PzRuȦ60)]3_Đ.Ѩ@a_A$\u5HzxƓK+71 9_lBw[Dh[9QiK$\ 3Ve3sp X5#6:31%kIܙ$c{VL[ U"ɻ VxXA>W\ $^wX{A|QYNJKjmD`R_t'Ы J-gR<. hZ 4>m*o/+̵xJf0M#,xB+z.vVvJ$#VwMq>㪮I9LyuלiV!YAIDu L\_u[FK귛7ZQOe%{?;Ӯ;ܣg0 e 7'K@H`C[0|G?"-Q)!|k"z\z~ αA{O}=^_&.`ʔL̤/Kv($he, >{#pmqcjWڃwgf+.#:} I( ?بeTƻ1n h HNr B6\o Μ_ ãWnEy)`j">4?Cp: C-6r͝RM'wHs>tvݺy`"th+*en'.wh&Oc"EPI} *d! ݒuB 25}I3d^r\ߊiq>-RNk򋜒,ufFP!Q+Ga$.ߏ aC1MdK9γpU緟Π\ب+{t$2.{eE~XÓd7Fڥ;`Oicֻ+-)eˁ-'gvMޘU"ߙ4z9>cDw81 ϰ]P5YFJB0&̮Үvl + HL~m)nO%]ZlhBaD-5 /lmey[&1oqߐo۠\A1KQFi/֚ȹm?[Xx6z,hxtK@X 08Xq62U*H-Kzk}# [oDOWB_,2XdpO*(I+etE~ Đ`b8{E&|`hՊjH)g#ΊpG0n./#heJAV > ]T˱MQgD Slȼ*xnh!aeBuK @ ˯j*muS0$Y<Ř}-C7o4p.is7k70R<,j%`sě*[deE-vKdBC\IuߢS)fxL&Z,):u~(#*Ny]~@`8r?Ím6J$氶FCͤvԞSHúpO(jc M@ BxLv[R'( Eeၓf[bO g)ȵ́cQL=3mc@Ȟ?N ,(~WL r-5Fes zK<]Ε! )elo%@ $jc#xkS>čҩG eg <= F;kD> wۘy?m|vJ |7H3@CR߉6w@{6Y%)/z,ES`gpRfa%5SVz̦%[[;n94j>W{܅Sa*!"[w̬eUh$|$vzOUea2Pu'%s:0:z8x+2toh2U=2qҗ}"N݀?;^}:AK "iz\@RG^?O'L!`R*lunL-BVg26~}bB97H.@ʧ(֤Ӟ#^:nP-j^ d刾 T\D\h;pO{uFϖ&~3|Z+{g mF!NA`;|A)x"BK2GQE캅?ҝdsA#vp~j3)g CpapӍӜry2raU#Zz AN%Di2tO1IxK~PCǽ_٭n<:qDB7hEj6^(BAҤt2 |c"X|ʡ|J qܹNoc2F uP~"iS|̢ācY$uMҰJV5Le:C_BK*LQBN½OtM/ \!j0tCnkZoKEq"`m d] w]Ow2o+f&:b6}y~Bq涐SЌ@{ٱk9niHS d'TrG;ȥszs!8.M{¯_ŎxΈp bpFB?5ch<>fmᠨ>2}-y_wĞK=+.?UZL!Ќ;ẹI~$6}R7?(=.2M~R9bm].ώrWX*H32]kw6yDN4:R(AwCLn4^q8Z@au+(0C#<~[L72ۘ m|2AKX(e2Jf";7'bsx'DXa> W@1[l02~‰]~ZgD@|_,/ZKmi:0LgQWh_W(&5Ff6`b@Ѻ?4H3{'v$uyNk"eX CxiiTBҰS۝x !hМa$-I.0Xw\\v qXGTHk=j:O"bbPQ_" ǭ!F4N@>^|p哒>AcV{ՋP0GL $?.( "6 퍙%:`s>k2>޴K1%P~_I X_/o W˴#E[G#̡ A@.Q~0@ƌ͏6LBKTj%b=lDWF3,$Q'b>2ۙ2DPE9䦀W}uAvzZfZcV@G 䆺H~.aǾlstѲ2Vhy!Z7ξe lؙjb P4WnDi7bsޖvDL*.ı Vݩ<EX8o;{bvjy.87fXMfo΄#rx0b8'p'^ejՋ 5 }!tR%nyVr,V;O). DL_*aKd^jOPu5B4(:6IE)6 Jkc3}$}ǹnT9&˰BZbtMnZy"JWʌ4a`y#~s餗Y<`-h*H%F.m3pĬo/(4 ? |";UJj.FuaQ0FӰet+5UV:9/ U?3p8s2FHP+ӊ,:N LM%wsdķȴ=U_}#Z oKp4RE 0 b]OExz%2Of3V8fgYZ955655511d3ec57ea6ecb957ae6ff88645ec9e8ccf9f2e81ac8216fb96115b1954a56acdb70fa044b84ef1fe993781e8ee07abc4373f149f194fe8bf