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  x xX!\|L ]]]HOL-Proofs:threads=6elapsed=541.574cpu=1316.356gc=125.076factor=2.437zXZִF! %]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ2>F1J0LHCյlVQ[(Tؽ}2̿0φROB$ra;i9& =*x 3sWQ*2LV?ҕ :cɆ;8`07QRN%r@.ս~mbųq=2*e0㘝B'\ąH"nрV`=@bQ3b'6e\A-rz/gRv>@R5'o[ JFL Y\<ٸDCJ Qbe('%!A&a RQk#Wԧ;KW2xҨ\Q"LN{'N=k15*9h+pd7ajc'l $Ɩ[mjHuz i<&$[ǹ)HFj rbQ,oftoXW]ʏ.pj[_ǿSEI}ٲ%%x@~A G)nX*TB;$}W֮ω6|HWn]zڙ"y>^4܅_{dV/gyzַvR>֚ERj;XbP}ի1o=A^?uюe^A(ARR1áHozn'CV*%DWy2=g^P |_F@?P{ J"_EˤO''Biòz('2A-B*0ض1P'1: 7( :_qrW~8Q-'AQrx"},ޟp[Pii6M;z'*Bg6*g^e>&-RNw&Ww y,]QGO_pOJB þx]\oKbrG;mi߄8$U|@iaHᬺsK\k@Ig1/Ve]/e|Cb[lI4Ux{gWo[JD4f&GFU#1'^,rw9lvk)O{v1eH~/gW'Yν6jj9ƂJ;DIS)44˞dT80+j.1k%QVJB"ꈒ&P䗩Mܠiפ(兮rͪ18ԛ(%PfM0tΧK !껞ι0([5t 2x<-1l螫q 4QIC3V2 L2V6Bjq",_'lVO[|Exd)1Kd[Uή?$A4i\] 1I,Zg;ڜ%BV<+5(>)<3C2jÇٻ\V;q(gN?EH+Źq"Wfi ƞ%f ?)hdZ Y9B4D󨄇I%1ԯb>@Ȥr:`{kch1U1]}"w@$>kjvQO8~*^RW &W%i&]Jv $-BAZrOO%Ro*uW9/5R(kz\u7Ku 5簖QMT#_t m)o;}Z5ϋ $Yp]sy`9! X!cJSbU=qGpRa%େp#0c`a`;FX؈g}S*[ eh U~N95Y`8zԣzGA<=3[]ls-:ZE/vZz,*` sm;YS98{uyeq{:rʆ2~.\Pqp3#meYSi*Ô iӉmd9>GQ.˯ټG. goߧw}9-P&(1vgP@>klS.A(W֐̞HBF0ĶR)@1FEo᎘q*~W );*ŞS֍ K,ؠ_^B^RBsHfH<ҍ*~:׵h-8UN~\V8cwqy煽gݴ3XrbQbqdc-MNQ+|l+vPXRi]»̰UJȚS2ӡ&{Xѓ2Etl y9w&>qS8=%ǻ }A)u^=fbZ?,՛b3Eö,Xۏ(^G+ϷG݁o͒_;}֕fOoSUt!fâ1LCYL;Y~D(}Fhn椕2lpj\-X"O4f sҴ Wpjw{:m]N*1m_ MhY 3NpIId dE[m"KR@iWle#xg@!Ҥ^Zr:-I&m%]mԨzAYNSQ6uqEpMZt/Y dKgTϲK=NnxqϳEG+*aB-r$ճBc >3LX@3Ұ3ڡ\c,!ν& J[.MZ>iu]2=(K@]5eeOkH29mW6vP3 YgdB<sm #i*fUogpP;Ʊd0W:`;v4هܲ[)8ɀ+cZ - GR85qj2QJ=s}(|ӓ=0zAxb8$Zsa3sTJ^pov'ͭ$lhx)C[nhVY,`УUƄ ʜ["-f*1]4C߄7B@G0Uz sR ڪgށ*I<@1d*馠%!$:2ɬAscդ]fވsvsym4npǮ[J%ӘN`5 ۩a3*UΤ?3u+1 (%%|R6FDDqQ3w_N/Ic[oB]5Sz{;#3FĢ, yObA_#qDXgmbR~F;jb#: }#b `(PMkxj#Ã̳dՈ*PC#fG\F)b,}+Oy?u T`)+y3-:27# ]s(:fC z'Y3h4Ń2dn"a;[WZgu Gyξm0 5)p WrJe<PɐF<6=)Y.9^LDB90;P$*՟Rsό99F"']K8)Rl'K|&C|cvȜ$P/@p)sA9_ή_"ZUD !} &%3-0!*B}k֞$ oac aC Mnѐ X_h4̂I'@hUX~$o^f핵0ӂE'>DN婹kd;m& ~ufH+5+DԤchumEM!!*X/x0NeNZ2̘z\ w4.iY+䯕 l){~E:D g'orGL\FG骿"JZ:Hȹj@VXf m80e"@O2yldikLL!'tC 4 &89#}}~q0ЕP9ϸ8B`2+y%ppyWX<G?uS V^(0FiٿyBe7y湟p;7Q@E""fv{ՒOg44v w8%e#ꕈV*pyxBHV~ׅ:U즃-4/M2zPQJ:r, P4Do*n.ك5c B@ʬ[RR<fR][ku'bx2I-oK^([S 6S=b\RkivrV&_ y9c:XxA6 9{(^˲/·5Fgy=-F  G4Z9$%]Uiȧ>L@sSV#qӷ'k.dƿ^zɘ3JĽ'KNЅ;^͗ǖ<%U\r忘^3Am*KbxPv6BgBH濁:&GX6&L5Se' W2 X0=o`C I=wY]㎙ } R<ܮ7ALʀl:r6B(~~zO9R]&B_:~ ) h S٭t&y4z*4ԃs Vz@U6zkD_&XP֕(VŔmkێ,5jWn/A"ƴ^s w,l>Bݛsmp_b`|M|FؓLlRqNT$1EdoWFzW(2USʬpl D̵Ьg{4GzeܑK8"*ll#o6(, ñƫ ߘn @-LBiױ } /Xn5=XL`ɘag̠+􁄡F!zs6D:_N3UDsoj:P~ҷc^x3{FM<,kFaPd 03@n5~@Nx[3Ya/LOI~pd)h2*661[bShˉ2 Ca{NdnWp+0v!M"ȋrj$iW`P!ztީ0 IuIⰞñfE(I]lF,*m@EYZ3*I8(}>ã c5,5V\c5L.m% f \#q&W3^Ce#oyMq5 }`N]6Ѻ_"hH1O=P}9ɭC*Y94xX2Ң./ 2>CgYZ7zXZִF! c]ŗXi%Bg\ x=A~9^ YdvuISCH* ibC>~4hY㐠7 []2B+s^ʎK(a[b+=Vox#ENxxL"儙A//\7'/v~6[\EJ\>݌W+}¡=q!5P:U_0`,yHu$f}&KkC=/UovB8CJ2ad4216rJ{8չ4ճL3@v% ѐmb׭Od4y~55[fUEl;٥I^|0'ִ;;},sQgE.YxuIz^rTEPjʱ}@fFpU;4ZP y͑_ :㒒/ W|1K`}[|q`)_Ȃp3IzsFKfWy4x%q r̵d4#^{z\}TVx[Xr0 Q9w{ՊR>WM_=S\bOeLzȩ̽6>D:qUzDF{\(,5^{Oq|S lR%RD Rw# 7QyoPvsjbT?R'8=}SN wJU`!8F+R %O00LռW "pvds:;t+P]ig8!9uDe\\Y2aCIiI^ߤr?$Q*?#>cƁ5?n|e6Csr)}/UM+-1ψ((fئ8I0Nh—S )CځWb\EKnEtεqZn36'x{IJxt8jƀҡ a.IsXs*k*ui賵;J{2H ok}}yT}`LV`_`w!XTA"_X]uبi$bYFMBrLS@?*L{1; n2iq+rYT?~ɫYڔ%4rScUB໡0=q" I9[eVQ ~N[qYcĞpTmq Q.°}:U̩Ւ2N[+V D'W/WqUbGlל~Qykwej䚑 , B=!{td\/bWt&9V[s|`T#h& |Ҩr* X ]y =CB}dR $~:/s2"fv7 A2u[9z⃡r },欝2ءGj69UCݸK0s[w.i"Σ Z!Gn]Z#0xe(pm!ٛ0$&v_JW$+NїuSyسay(woƋ7(%XR3qZ((.޾Y[5]N惗iŤ8%UňOe8vaJ^oiֵ,dx fRc"uLftSdtIDeg\RA X n׀}¶-MY=ɷZVbUUD.`Xdy|ѷlS,̢|u,/]x |98-4Ă59,5fl9ԝ?E?SEj!k| 97cS3 "CvS}/R{#0%x%o 2%rk*6H\ k<ˍK ~S R\|n5PLB&N{&2ac|sZoh,eE62ntt zRP5_RU`g$Vtg"4՚hәsas x&Fbfinҿce&a7g{7NPa͎eW1;&]Sʟyp2z1H58KAḵZ0VuʊtngfVJ7ƙkZsc_(. Gk5 gUm!>Ix⼃ Xg\y[%.MC; w 9Hӻƃ& WAo5W=P:8- v'i-QӛklTJ@l8>fy71|8t479l g3M}i@m F eX?T2uh~Q{FW2{ @ @Ot331fD$~Qy69ϝl2x^'c-E|1KmP[Ϳ8O.iTG[Ca Zὓ*LQk/E''› 5: 'u #0rNϱDaBaOlHKtw"|3ӰNRi6Q`2Ƥ3j6K'_kկaҒa W2}Z^|pFtWv15!{ECFݫ@#XuMrgL۰;kFO(rFpߖz 'td Y Uh܈[sAnlJ%E`g gح(8mHjr {O"D t6z0*G*PtеtMss0+!͖mI򚤖C, 8^.;}͊~h"qkR>;މ7P}P7@=⇃묧SiSSᨘ%]*g!8)U:r&8{&1yKSvv^,@[pv 3_{Dv%,,y3!y1vgY#AtD( +oFTZR}Σ;@N[mȇ{3DZUU6=;wl+ 03Xp3hj fF v' >~q|ݔMO_eƮUQZ8Dܻ>] S]fDY$R| @apVOt5X`D PŁ nyce:{E9j @F:QS50G¥coc`"P-8bl)scL}k`k &D-BOqmzP:'^Nn.-َ(Dju<< >vZ=O5٭r\]u,'{Mdh$ΰL `QߨI4oa N} m/sxG ~R._#]Eg8xXR :l=[bS%VMկHn~cDzoE)J 5:BKe>FwȽ\,$)Bo{9Q6VY5Ge1,ޣ?fDN2dJ&{a7R4R"5?p+[' RbqDxhq r} z"I, w=luPÎ6z䑰 Fg%/, a Y igf~t=:`g2|<Wp~f"S8O%\떬e_Y%nCwG; %v?wPc\Щ5"i{{43`**p#cp,+4Ŏt5y>%:΍EdfExϵN8䇁Szxz6H\?8?Uez2i3h^AktP2!,{4INe.xX;쭑ϊG>x^Q.Or|_v(J y2QHI Ä^<|wcϙ]Np~T~БVF؁>$O^Q /y"W"<P']k#q.''sOI1/"%7ު uXG,%.&u1Ջz%&B i=nEYO\%ofnPpc8a r.LV)KCeAFɇ=APV2L[ g6"_r_Ǣ*0Y }>iB9sPS +ÚSٓVw@%B>[۔aX5MgM,-xۛT aUwzlvgY$a@%jcCHeu/)-k 4gBVpj. \ /q^gΗ_-c}76.$"3ZY95=V~}YVڍo{]@bS:=>&iW}Np0l"4(/+C155íb+W76 (S U 5. 2te krz\f m}fw 9$G_=35Ng2NW˸ɎpvIj= *aR6Lqt6=( нagD?sjED(d,Mһwy=}u9s;2Pa`FMq'T~XYk_J.V-DG 's:ghAqkEF!]P%ְ*+Ɉ /4ש9sV6-8ͻ\t7$r@]Hy-yﰄMִ9f ƛkId8EAmECkP_YՁE6P KN#Y R)(;=ՅKR^iq6@^xPE;"NJj=C8 C3hw@/(.d%#ލ^8!ՠp ᆥohb\vrQRɛniddN_PvgP:rP\w f(R@Fgz+^,'t.jj,'꣈nN2!bιN72:82)F'黸3ȏ,!ǢF*7|S[j7p~@֚;Ԯrg&TXzA`wQB=E ١\PosڤZ&X})q\BMx#Oգ?X*̙#F?gpwN>0]Ǻp uN6H8vW7qAtOVlw>C;پL佝LD㈎~<e2c8 3QzWAp N;&߫:䗼Ӷ9AsjtbQ‹,2 Zψe fЇrdUzg871J#Ie"(&pQ uqf3Qj*k/3Xu4QgΠYʥ'+eb~7(ـLD% ?(c81cYnܞju72vB_$mu,fq_pUJ)Z]ZM>Oش~7kjM/QO73 }E-T5)d X>P(DZ :60:j c k#R Ly]gPE `ce(vSTd-A|KLe9loY']IW-O{#N[_޻6ΌWCDRK|"DSz5&T,#͔3f?j73҄:=h۵%}(1:ɾ懴&WF3EXkd:r3}.C1ȝp@3֝3 }v,7tD#ΫL/M/PQpoVRUJ^$H`;v;%*=U1SN.FtCPyrlβтLQϓގPJ΢az.yXlp_0d#z/a֖آz8VƢL P8_- /C4iF'4JFANXkiLowd%_1Cҝm%7g'%!5?^,<5NqĄ-YHWpDAkCu]w%G5Ű0E _)8&|mt5K (1~=ʯSpr@K*dۚpwr S"'o[(^N8O>"bc5oZI/ऍ570n̽ǒÕD ,F4æ&]1nd/ 6`$"GMV?p2=IS9ƒV\$A]ǯg^FN뗚=h,88C\7 k^@uMh>9DA-<}F. {%P4$ǧۈ`1"C:5߄W%ƹċ305 Av[@{@hGZ9ohSdpK.J $64;՞nh=%GWqԞ]Lvе2T P}Z#G ǽĝ.{haTԌ?Қ2j`nU.ey1nnZzXvKm')o-Ko؅('L3HaPVODq#Fٕ̓!7̡y؁5*l.͔*t(X ýg7_o0A!JizNТ˶g’8TXkSGwD5v o kN }۬H#;̦NFi~7\-ué#9m2jgXswL}oL_2%ѿB15׈imܝwg>@H0it~Z*n˭ #y )ݛ9ւ83ĸZF@yvK9[PzLp1#"1%,}9_Doztb/ )XU67m3`QiI܇-ѬzY <x s`:3 כ( \]P1ۧ]V5K.$$~M.("T8kMzVsc1LPu / Bkqҹ!6_1x@]h$3a}0d`D?;Ĭ7 FA_tOEdrZP+ɔKȀ~6] ӺE+ajh$v41ADjв`,&ۖ|Hs掝G.nc?;8*&6<a8Z\+@𺔠6/e"{M2-/j%a 9UR -_l6i`J!q#\e Ʃa r\S S2wJs ~dNIײRG^Ϝe2b7(-8£M ^1+ZŖW~|)V2agf*řE`v+"_s7)Y}ͼxbOe7,FÕ!P 3  몑e1ٚu"l>HݝDpKkt9d$M*~oa.8Y;nF%0YsU1,wb[b4!=g:t<)l5 n_Sf`ل1J0~0iPrׁ=m e 6DJk ?[Qpyׇ 5Zj1Hs4DES@Ѡ!(4B$X L @ܕ±y@6o6ufGɕ/ )Ɠ)iC='_ I #4 ҆Qh.|҃xh4 :+YDZƼ؏~N7n,;gE1ҬE|an61 gŒU.y& 5]ȥ8A*z3-bUO}9$oڨ4W:Fz\ͤZ|>mS6 ]vǍ]@IW<]4~)Sj1lg?T0edo~._~>\m^wƟgȶ#7j>Kct̾Ca~T]O}jxd'5)с>V@ uIm:Sԫ"\oLlA.ESd4AO=wb%M7[y7 A{%E?x: 6=pΦ/b+4zby,_zǐ=qʺ $K먹GԷ\.m%Ofo(G/hjܘ 9m?6ߨ2\ [mVH_ff!Ԉ(WB^6ny~+JtdD!"RcV{ j hWZ.uvno&Ny9Gw?B$".~P{o e,C:od^Sʋ)zPmsBIx76#ٮ  f%fw{'S t %q%*>n5oG$> :ȃFVTZXYy_MXdBh;.YkW=?_ VVbZJJs$3^C$pg; ycD~ipG8uLt93X1ZBi\A\m@AZV2` .uYd@7w0xEkuZimA L p`H}eKewɢEBq !Q`s (BYwZŀ$24xzo=_ê; IP325 I7 *eB>+HŷK%Z#ދJJ2XƠ c'}f&gR)7(JuuޱڬѦB@:X0=ZCJ֌0( ph #h:0TϪ7"&|AoozFXDT̪DSƪrc RI.Kr gKjyY-RW& z,ҝd?H¸א^p#}!!"M0aqq~u56Wu^ MCB}vdy y}( hRӎYEg稅\'SP)kE4`*t"-\]Gst`<1-P?R6vG_o}e41h!-u>8L t^&;31B^ầ(hG$/d&xr.nj7ZR/jq2 &;0 'ռCω )Uµh/AqUt3h9iRH/Gt)`@KEE505hRG=]t.Í*kymN}AL2J-FKHQa7d(1Šhr##P?LxOO$Wqu~?";HDv qQ~;J$2֐1٪24]B0tfWYa=L^d iжLTH9Bwwd떎8u@#%8WH΃W6&C$}̗> W-ș檊h{^nL(Sp6bL?&/ɔи('=8ex{XE:'l*۸xL[nl.ujtOpIr}xNq8wӮs=S.$A0m֗è~u);/:ii,m? sg3pzO#':"%+9=n(P&uN.XIpZ}YvGY&vaw (4 b˱x4PbFdF=pT&l9D  2Oj}v_f̢^舺tQIK'ؠݍW -0Fq v*#*J%A.@oƦlEi .lORڠ`=zVxiYydmt SI(Dtoݐ8=9oΚR^ cR!SlPܵs$) 7dգg̲ʴю': .Rj6->5dw'?dThnrh-\I#\T3Yէj!r`Йƈ u#O.*i tU8Q jT[.*v G @|=~7xM 8w/,$06E XR㘓T"v)f(%/#\LON4\n2e9N~Fd>'N}A!+9m[ELܵ +6kq{Xq)ذy[_ XְSəNĪVį)O~n!eIb] z#= -=6^;1H竍u& @}lR[Z͜ `2p1qj! SnXm xbP7O#gIڧlŘy p )S;QŹn;u _tg̹= x>T\-UDK9+g| e*mz9d<J6 Xp|Oەm~%!,oҙJ $ڄ1ΕO_E/uG ~p4m'\ۭ*Dh{8+wzS8yL!YJqhqQf," ʬևeU>1)fӟsh~c`K3,z\s&.gbS2X}\Zf潹A^y͖Us~[AINFuU/瀖 nWj}NRDЛ~mmC#Aj3|bOXh*" vb@|Y}?"ÉEVF 0۟W\nӜBN).V>-Ї W hY29ѵQAIaG˟7f7rN|X4 2L;<f5@hTʂ4| o¸It }x6"Bv(J,q%(qɷeqʹ7hq)BtL0`6]kYL+!D9,UuTb!%[p+sb-C㮬ۇ 56oiG:cITt`9+1JMy 2ؗ*,1l<u<1iIg]a&Nu`xFGLDq=h5.ci @ψ_& VV]l8x',k߽9"{TZ«v>eI/Vn爆L܆?! |Tސex]ɱ3@Ep,fIPJWJ1]QqoF1A*^A FJzwh~ZI |V(}ĎVJidO2\@Px1B9J"(BNhk|)Vks\ᨛ&}z۷kZ]s PT.$_ ƯtzThcC٠[x;r-r#о1YsWVQ9$Ś>2ϡ&zwE$`E}L~aE~~rqbz<4O;_Rߡ`r:hjhb%ZdzlyzL`m6Xd/ 8ħ3GJƉdXvEqe!]$LzW:lԐo 8)$鞰7G;"}='xFP J,s >K5An5[ڱhdch$cdd É},P` UUNǴ 37a쫴kcI ٭C{_Gq^e*sޙ浺_ TgWk0tPse%Chq@z;}$Wi %(vmp`GZf*V%J%ۑU3f@b=*pýW k3*hl{XOl@G*C;H* cRiWȾ3&).7EYTt H>y> Tp@2z.߳dٱ>$Laگ_g q)RMyzHN`v i܊6d> /wHI ],o!UFlEoz`0ʒru$om15y*P1<LYLTT?0ϯ%2H]M*,n(4S ӽyShi4 {V)Ƃ966j)߫Yf_'k[K{I僁Ȅy)m[xf)hr ݤ:w]ba򮐙$tv*k@;$Ph\S-E+t;}Mjb(b*GH֘&kSdI gyyIg9-#=b[왕@xUDg;aCi'WRΕkk zSaTL9ėֳ5KK U(+qz$lgYrT4GGŢn>\iݵ?l+l\ H!]|dZpt`hnoII5^ -ohn FpݩcU!7fC›7Q.hδɅg/ ;o+%j?Qj)_,bN 3bdO7{8ұ P2lp8+l]X/͏!1@ 4'VfKݥS4(eزRPWW v-EdgCH5)i0v*EdYGN8wpVNdYZjJJT]9?ytIg09Fb%䝔:ٙSNh`u`WvN^wߣhw}(Z(2nڋШ'S rCA2"r<'CWIOeu$JBujث ՝>+ꛛ'wGqmS ć8/!5ˑ5'Qv꧰bXKꮖP\eW(_'g,*~WOnP2)c4SHSs;RNQ6Utnxw=`FXxVDZ.`b1hR`cˤqVa1dAB[ SNTFDF,ecTm ;y\|aOimXJ8j Uu%_nK >]b4S/Hs.,jxYY+w?NH Ez} ]*4BHga%x V gю{>vYJu! ~F߅l=(Y}Zl8U ߞ\Of%ht-|(&=;=o=kRE; nbWd$tyXf|l]=X_O#\!U(Wrp4, P~ws]6x~b J)w&Zk۰Ix)ڞʜR)tߘ{n7JV/*(LDgĈZcU#eAjTrc-N2)u__Db Y7@(WqXv6#q'RMF=q@"&fھ]svܵxdCIt+8?~Ke_;`% (M.!0#4p4J ީ3҉1ϢSm1ա|?;* wjYZ fj*$߫A2~{#Zd~1C4nM@^(_RB~>}!4< aVx%/Ai-=d5d*ѫ,zxdeNv_&i't4C􉼴QD,X^CT>O9w44WRͩu|Ѳyɫ˟eIZgb>QZv WAq!\`iFw<"z\B#ŎyGsd7O3[Yh]ͥfak79J׷Ͻʅ7l qr8sW1Y ck-OdݦoY;#Oo9Jq}jT!W`zĉЯ͜Z6 ҽRSC&:b!4МNKXqlNI0?|@X 7s#E"H^~SVƹmˁJC(򒛥sA=?* ɤQ( {S?6}JP2,˲e5dsP!W0%GRmj3 f@ bވ%OJ_95'ߣݓɻ| 4 1> ėWw\[zZnpiؽF%ʣhfپ}yɒ{-FU‡ ЧL wLQo^NtxxFL<3 vڮ;GNdGY %R5oie.v.ȇ W`iӞKXOQecn@<2%bKen?ח|%cAy&h}F똣#A?YEJߺWyBJ2N095w+uvξQ oANͥq,}lF9p'&L DĆ QP[ScGL %_S`:[j'آiwXU=+mP(XG}t"Eo?C/2"UNk(Ko/m<{v%r$k9{PdBC GDp.~I "غ>"ȧ9A!/O2ijZ?//& ,7fwWW7dK# _FxgҒ'y5m*(8Hn>rfnNjfS:yG61H]@Jr%b+*F%prnjmg}Ot "NrL[@nVO|`7׸7@mUOWmQ [NH-_\r_v(\&:n,!A0SpF:bdmƪ.zr;!JӁ*uBHyGƚJQg[22V:4%L+e5Qh>gPt!PȆR<.,F*RtS=ln#7l7OU^| DnGKckt;p0FGxO!/1:v%}ф}1ks3{$gdqw/y fRD̓ u_>GO"4 9{׵0oyda􈦴è0$%|ǎ,8UXNa|zk?QJA*κWvGPªvOI+Y\*`ov0|8?7xj `XD<,[ c"6:b|- Mhg$qY~Խ+vUҳ8369pGwI^P Y% \,צf<\ ؄# #&k…ZHKV\pCH#zT7S9,k+f7(Vŋz~݁iozq,,W(0CUA:߂m :[d`Xy`N $ w`R1J_lL`U^eюn31~5T*⯴ MsaB%z dT޻BkD3e5p'hȤ;]&! ˽GFG~d.|5`Q7xڠ=vJ`P&)W4i>3eAϗ'v^!Mvs斂a wA{ Tr.s-Rw`V ^yE 8GQ]ЂH0RAiNӅwIKLkhD̔`HRYO%pY@~-cQ}2+ /q0F3XٙѾ0NJ^!>k ,7M@J⡵2VcҴFw: չ ;]3/R059 7ؘ G,73|lCE&s~ozURIzĒ B@^p = D))%cܥ+TF^=M>)f/ #ʩ,F "gF__Ь= za=GQHyXǟ9.fΖi6O ǒ0:.c^ hI6{[󨫣0d$-i=xCN5T_ϼګ|mTyw4!|?jfpпq*sZ$NIX hb2J,,l߫C Y;LJ+â)d5%b]Qz nR) _"锝u j>eX҃~q_Ry M⯓α0IY/QTʚ}g^O/nڑI y=sx~ژk+Ԝ:|ֿ۹vǬl0iQ#e-"ԞB:>,ܩs&ee 3\/<늄ݤJD ,]}uB$ y9Wz3vByNÌd&a`OS4Kjy1Чdcan)ÐAT. %LvmB!5J-sW/Q:ʟ^Qn,Yzĉ/W.I8:-~krBƚaoC PH~:I#n-cDhˍg0d.;2Q{š#kR F%8n4sO,` z(0Gd.q"%e6P{ۚfx @y= d,Zܲn^%Զ\W5Xv, ϲ%;?0arBg$Wdތ[GUԏ럂{d8VZHshb 댌 UaZhB:F `һwSYðqϙ͵ށWpM̼\e"ʱBeVK$s^@2F '#;y0] ܎w'ZN_#S0>4e*e dԏr .Et۽a爗ybXZ%R35mA7zڰIv߉PXf,gbZ:+$ž)>p(JXGG @_H݄ LT N~dSm630<ㄴe-H؄d̚\j@=ЍYbGISeBV]T!.<l]n+=,yOFmFI/ƂV IH i XD_J۪ww*enؾ!۵H+){]uWzf^wSbґġrV: @.g4IEMA bԾ BvʘTA^ޭ 4{)*e@cX'tZB' uc3f:gY/tT;xBj!`b$3 x[H|7˯#Wə {p8FXW.R6}1.l#z=J!r=gI~ZDo/kJ@Rd7+96# ?ra2SsQP3yVBx(QGv tt/n[uj5Km9/iΔKkFv p5ԽTN'75Fʪ8xwLbBnd\! OGjS@||1md2@=r"aٻ o8|}iް3` )ۑtuyb1qxOP5agEǍbQm CLZ̤n!槢O0C3gr|d"!(4W7@Ίĭ8^ɭhlW LcA2h&p~xC‚PaFP4^>nY5"Dw)fdyK#QV/RĮёr{묃-.O kc&!l|H: 4A^9쳔KK$yq5"{p _$_3_ɯȕyC/W py}S#POaBR<2]$u" t=9QHE%ڭ q4 z˝[F-Os9`ep/ 6C6xqz~U4Q\S|g#ĆWq'1 Z.$jC: 6ped~X\= ג^Ch'bBJls[}I3E!F~AK"=TC5{dcL!YHmtB&lV}QgrkRA> sO߶X%Jw6 f!Ϳĭt 5تh:bx4-2uZv(ܵ*K M:L#%5sx] V(kxb7,#WT}IJ;NR U=hkq"JWecCʛ"7#v#hGUƈvL!z*`CHZ,yE@T!1wQځA,ڛIv2;eڌu39Tό4©q<2Mp-^rwps}{b *aI]YwZ\U8Nka ayLLu'vm¸mϝu^b'(Ҭ v BSTܷr#߇~i1-~S:s$9N/ ܇%JT ׸IX" Ks r RwXd~Ss0̓YJ$LR]QpXmSAM1!WTSJw(ƙ >c5#7]AeW-@lS,*[+9h\F1m "g-5*{|=oÛn ݜ _/ʃ`B %C1&҃ hM9 `"@_J ~e,l|y-⢩_s3a }ciYCQ xvDb4Tͩq%e$frQ$b*7+Zpj[S̜QѴ"Nxy(neE=;X,zJs@?ƞÉlCqb-Ĩo?m]ك^h:sѓi7fq>c(_+tcy& n)&D\UM ~g<[Y0OҲW"S>&%bUyy-;s\ 1gq%2Bvep>9_)yGBФ֞16ms~TFlyUtzt^&|lo2y08ײ:g2֯F)Bɖ2~㮝<1 淫'vwOfNwY#zȏofdh療F܀f93/{00I#)?o^ B.#l9tTsy,(fT$mJ\Yh˾Ғǭ%6pr4!huvCj& ]G Y! V@#b0LKaB+S BQ9ΦTڎhmV08h.Z끋&|?F`3}usaʯ|d~,S)A`Y7{D0bOawyd f2=#%&)OsTPb s")?XGVN8:RGSyS d-_u[R?!It<5H O4slfRшi^5Zwoe46+%1n5NVkɀD!ڞNXsH -bޣ(G#TcƄ4\}{lAkGePr% 'c^lY~و,rByھ)DGgb%Q5_C/xhAt*O8s8:o Q}} Nv:FRtFH=~@\ȕ6f'd tC4ѩ 㞳4A0*# $,*]am [5N2޼aʏ'#?APQw:R^wg׊VPvr1$.Km \>W15i̯J;$WW5󷂝h|$u.qYi5fBj'iYX)K$?v6Im5 ڲDϘG=NdS҄ND\xN2$6I B pC8[]I Q<*5?V'%?y0-oW]֞%J۫X LF&ZCzgՉw*{,qFQTfW b9(ld6]Qݷ~\=Wt9i[[3:yh#e5DQﻦSsGj *5TZ'ᄁB PCw+-أg·XxuwT;T}٧C; a$Ex'Wd2}V!P-a#4?yZdoi]`SFج{k?b)X\hEV(#lh`+!2;a Oae*!@%& `p2˅/Մ,z[X3j BfWIgVCHB˼{5-/ L4Zr͊qٶW#")x~tPf*~Gܓ /VoJꏉdj7`_mR  h DŽZt+`Ff g4HՉ1d 5(t(*ԁxyT~=_ܿW#*܁. 膺cI}=^BznH~Ury}DLUSz,Mm#ulyO8pwFA|x>EfҴ3ניҰ'a , FˬVqѩ ^uD < "tUfԧVqrkWGPwK7tW jeIVnp4呡\bE%") כ٫ġjYl/OeSL ];,VGN+,VLٜD˛W"WOŧ{irM?2,ʹ UBHDVɩ$R_gvd((M/'W*%E\G((? 6>/lZ.V1<1J_Bʞ4@ OD e9 &JSGաaLs{z^Sy ֶ1\aexˍl7x B ${Yi[Eo P+Z)kܣc$ZyG?ǩ`˻S2oᐺ!%ևU xl]A0*$`r PVԘ&;Zw#:POpޚ-[2|zұ֎YƄ nBxB"PhmM:xM&d< hy;B"$:Hr5yu G401% ֨= _&S|\=Ew`3ʩ\M᩿" b!n+eYct=6.GweSH/SB=rG q2hNӄlQT:Hf$h>zYuŎ$LBQ~Oކoz陊V)tQ3!X5QaqN)޽?S# 2&@pL#@bņLp^6$ M} 47xc :s&}Qm@M ob X- 39V?d<KrҒ#:_C2mKd|ZU0xL|YCgyCKW  24srڀ+jS/CO'Zu02Yr:P<+XTLcEKf(:hgK_fҡ#ha.N N˕koU7:+UYu6UE>Ȥre4"Fl؀V,=xBK'J H++>ۍ bRNrmc~%:5h+kvk1_i_jSxᦄ6ށؤϾl-W_dS?0)M h;?4^fTUAq16/:ӼYA<^R\;R Zc>^X~?9 A6c`QvjJGaiJՎ/ dRYso fcTtM#Js9R.U)9?-_GW ,.߮4 |]K}TUkЌ ͳ:1ѤUet()2Hܶv\6]6sk)Jl-|kwn5߻jDٷF㋪6%Iu &CT%Z BY)Ϊcf\̾2d_O1a.ǒ6m5B.7}s"T}"U25T'D2~F;S 8JT>Ǭ.^.c4k ;,"H6V%RBNsgQ\k^Xv)0wo^b8?8& ;H<{f^2gx]#-?-0X;%Em'bZt#EkHF%ܭ3>A2M){:BלcY)9TpO }ƁWo<, JqS[2UG{C2݄˟.f䩓>S9Sgr8o HRb#E^,+Pn]Rzl(9!3Dpѷ"bWp,?7nq.z@c'^g3@ǥ[?>^d h[Wfq A#͠Zac*]Qpew{R0Ȱ%vH]t۴͠%rڴ:÷z4߱HHl.RUP‚$o?XBd!LF{ E g0%ţ]zsyW:;F~hn!9BkRtxeT ԌSl5*rdU+`r?A%Zʟ6O~Os_}G}$NTątaxu~)F '"2MkԌ:, dv74y`yOw]"@&6`f$ٕ]Ve@^6AjZ;n+ }^O63EβP>rΨqai* /z5GZyMQ0H[v䋬I S&)5{Y/7 b%W}[Nyڈֽ@[g=aD [(ҰoNX3y׻@u&hh.̮L%MZ~QkQ̗4T×Yߊo!4@N{x XHE(>y}iWʊ1`lR(Y l0 cu~B\& ?}exXEu]pRnގ:F"2aZ'DYӰ^0MDXʀrgt-J/zp>kS