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  m3 <| ]% Stochastic_Matrices:threads=4elapsed=327.794cpu=863.788gc=48.316factor=2.647zXZִF! ᇠ"~]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e16d"> TFg~ վU癛I#lQ,pskRpaAX-LbE^;|Fz Ȋ΀/NtpLr Vrio\1Ke5z;zШP/X"x6d Fe%h} %m>,,O.ӄ8_ kp|Ffj|?m,CGq9v(@eudRuk}88:PMB [B=O^h:HQW ?#Wb]J!%z=})3´ 3 Stochastic_Matrices  ǽsպJ ? =n6SmED׍1݃N,( REoiWF 1p ]q2F&H*DO2fZFV,XYs^~#aI뼛hڨ_QQĪxQ|Ra]7)qt1oK&cRt\qQia'Xҟ⪼.*L.v]Zq5srS׀l&:rfձushq_wP.x iqw|9Tdyt VbgN6 apS|QWv^]왕Ių/K,N&p[v#5]/A PɥV'cڂl'1s&X8nbavE$Guo/8v_ Zq)S]bA %p3/H9AP`!VWT$Ty ˛b:}v;= /ÞZ=$PP9;J#Oeɷ?x]9ܩJLA$~84.$\eL-@elŢH֤'3Ӭ/w֌lwrm^<NjGX$ NiiԆQEiIx*bMy8)m$w Nڢ1-b&=EPī%@dЃТfqcMfs|C6v9,l ?v$%A*[9ݙ)ɇde<](@>@q;3(bUDGP?e:pNz+škuQEhlF`ېs֏L_6h#r;r $<@<BdbG}k+5 K{>aܥP{eMSOE v&Ee;ȫä}:j\2ߠK>E 󶖛Ir_QSP)enO˛1fXEԄ+$aiu2nϛVj-\:YDtݖDlyOl֒P˓/mU)ά@[Xwxw _%Ќ.~{[ko'C)s6!jBUj20کf/r4[ȪVjWaX`A\[!6d8V݀8L: ְ3+,-fy1=ŝ-=+ZT^cp (J P03އRXrh6Qf\0:aW"2邯La|!M/Nviti3I(il4cExI$=GGbʅΩϽI ۅIgjVAE0YQvs_exhW80_7ioIL̙R3n[e2 i3L擞Dz;}\oc8xG>(Kt:ZJ Nw*9)K9Q%p/lWi…m+#Z\+hKE>!t=D]uԁQLk|i舭G.վqJ󷽐"> xtoSXHJ5P J]C:Kj4@Qs` ӆkB¯s/+Bmд;w5\)Л%58 '*f!,.W4Iuj%1^AY*wD5u_}Y@Ͳ\Lh5T|o;^i0MXD;<(eNZ_V0tЀuZЃc~A|zQ\JEs(>p&=ˇP| ,sVeI%x$׷'4f1=CF[ Qy$ʞrR`z"FTv}yiA@A>6kl4IWc$^)4xÏ<ÁZC\(V l2|5N}eCΆŸޣ:tI5 #qϧk@,d{M0pzO )fHmS(,>GF2%A%Ι6PT$iAO$? &K8ڄr`s'Y^OoX[G?\yAa֎0hMmޭ7 nNxqHPn/\V6$5=_1<[r޺~Q6cp*W(JuX'1m* ١xWVLfQ}D*_R-<{ f )ð\Ik8+ba:5ڑɄ>nGf+vP).+iC @@֌J*8[t{hsxT.zNpjq/(4*FH(Cؤ*5~CWKe8`siEʼOC$d9d{l* xB;`]uaIP[iLW7"yOҫVLַ쁺xZC|/R 01}XƤIV Ūk{(^F=/~;yBx.OCt_W\+_h +g6i:'*1(tiwPD9qϷZe¬HڄԬB&GI'M[+,w1O[– c|zܬzBz Q$x]Zx j## *.=\'L'O`XTY}_>beU.I -]Uf¬daT+e}N&O67cFD]hrf^VV-/9ߓ_T:t]>`Gv胖?{x nTj̕HL< ?@9v"}W21 3ۮ%)Ul$qPSdKw.4~U L,9q%ҨdN;9/UZJuѿyٿxKz~ջ߶8hHb뢴EG>۲H26t^ŨNϖ°ܠ!/sM4eDXkA- Q(:^왘ڤ\"'K^)J!O}?Ƕ+^|ͰGOhȬ2.pzdvڑ{.!tIl I "7R5QIN{gv ѧV);|x8bh6674r^ڛ ^ݖn{P.e'Ģtvܼwsb?)9j!癧 h)M7{klX!2]$|&/B}G6kOLwU"ŁaFiiPn,N8_QFgS`=+#Hp '&@=Qϵ#k&ln݆*' i2{VԃqZswHUL, TgTmb]2Nu쥊 Jd|B#I[ Y$ߝ0vl ?wYb@Hac5~q{׊ԲM .؍f]aa2]C)NI9;)יj+eao$vÐ2fOgȲ?Sa%(('yaHn9 o:uG|Sk;Z/?kS?#2d$I Dӈ6gx`Zީ$22x۱N}Ɩ"K$E4v yv[Xuug1T+#ޔe蓌 jx[ ~'t)5)ۿ[MXF 2 [vE5 ѰXMgXh^@nrM&wL5uRKRW߱Dk:0r)6m'!فz`3DU&&s*bL0pƖ) ԕkO/]{3Ϛg. eHM'0 So>/1י!7 Ye>_LPgv[uː' Q j35x#-ZBz [!a[9shs 髞):Cm5úFgd*`S!gvc3 mdJ|.d<|d>[FE@PO[cLOF*qnyf.,{w?ǰ8w"nӺu"U>~P [԰3㣔(<# ^9WF*Y1߆x2۟0jl?gͪUNteak@/`?j|Y'G:fS:Yh rArH~Yc݈.MU iU-D!c5(0eN`B=o ~s5?B@PO`}^,UϢT^ՓoiՑ9]t Yv3_Q!m]aduo:׭alea6ԂyT',1 7fhtA ͨG!3KL~Ty8{ TW tw "@9ކ@Ry@!%n54=, z[çZ6o-zbp|>b7+ BYoA_dR+L$͌yn S޸Y_[ ۿOəMFZEd.7iJEZĽ<*R>`fVw0vFZ= mγR~hOi eo0\ߦ.l zUѫ#1]2uEo3CX$<(.rsf Kz8] )0GD$Pj͟Mİ=mdA j%L7`_7RՁ/y P`»ԵU聑Y v⶛iRKT p}~!  [䥩'Cϲ`j0łXP ǐSuͷ%zwՈ]):kX0ڀ7i1z`'rV9f^t6 |;^,yh}^s>4jbBOz6aL(VmL#CڊE/1툪fůB7 #(;f}L?jC?@XGDO1`3>,ޚf8曓hֳ6<}תZS6m~b $M^ie6۳/fwH\mgX/X,.$T'o0 uy3A,֕O7hY9H}}%bTw?}pSH`;RQ|@YVL?HU ,ޟ?|@c=cIUIW;V>ivIx %M_kߩQK=mJ;AlOy@AK4TS4կga2o_$d![ܲ6bqskg'[ڜZ,x3P蕗JrD%M`')?m Gx:ȴ_"Os`E_gYZ7zXZִF! X]ŗXiɟ1˦r!q=4!pƹ $7#NhX5CPkMǙ M_A ?8p+:M=7EB/@o"嫤< $FlCRH9#=$xȭG~U*9ݿ;&07(OB˔F p|Ŷ#UN?Gm,} N`eө0!wyv6jۃ~OoR.7ǁm-@l@cjk ŰUo0_7NƕaGyB!HFӌNm:7:Sy8n8ISuD6Mpv'mma|hUg!:zfQ 3Pk?YX4[S"@c[* +U b@.Q:\XSB$EFL4U)Y18'a{A7keh`reEe!Gkcq2\ySS,)[E)c #;0 PnRki }z0ol PަC `  8=Ї{K3P:OS)c&կP?8a9lssc&A14u%BUD*<[aӕwt荥\踕,罏=aU ש%]f^&%$Nvs!\.oE4`5 F@[ AZ2lM/Hlv2IbN;# _0B8ePDٚ,(9ʾ"l8\!ܳp{oGZ͜ Ɏ|ye^Cm/ A`; 8,8sƻN\ѠƝƜ))4Cnn R/J:АP~90 @§N/7g$3ګa"Ol2~.k;;=H㺽d $OOD 񆍮GY>BQj7*Y3>[݀/9$Řp8td2ߥ MO{#}M-{eWM6'PILni8s>%pv{1R/=t5OvpIx~>֌4"5׿zL&XIsY]'2pz>B=EE AAo6M*tUab/ n=AlObN=`=!)e+ag]#.zwf{ )@KgYZ7zXZִF! .W]ŗXi%L M̧Ȇ-Dh *d 1V䐏u'5B-+XE,] hivj轆4 o Xևo\a6쀿Q]RtUK4Zؙ\ZSU(2BnŵOhE\y祯1}e[J (Hn;\pp/b %ifm5t3xʱݗ!R Z9ੇLT ДG4 22S͉G襧Q{ s;+ZxΖGv) Fp:j3(&u5d %6%'ٳTdaLXKx'2?ҧ2k7U!!H_B^dNɨ Zz2" #Z4nhZA~8EI%ꈘMUm`9z5tz_=/ByR4g?"PDb^P;J $[o.o+/H;(C:?D+6S ֹe+bvX#LUBׁYd?~?|Jy 9?fg+|`Eѭ2hA}Y]n:" f-o(Z>ڑɍhvx|ϣ g7EZ-wwRp=K+Jy&BuJW.n^R`731`xMT`KYm$A42,GJz&{ܣb-`p-~!2+#ܐnmܵ.EBэ<)o{ծ|9\GrOjjuckRm.v9vUS&^4󪍉#$KYN]}M7MapgA}fҲ 9wu\&ht2CMT<|tA<=rEك] ܮ{6ש uw]c! /apūτ`Ś3>oi Er ^`n qkP^7wc?w1d>р݊[X@19~ȵ3OITg:NT%{H;#O+1E/Ь-aȏz*}dZU&|"(O;TmDbӇD͘nJ߹AJ+9P@%1>]"d/35Z_`yAOAEsfNڋܷOVUE @&/d7b_Dx Fk_g_F6I0Q$45eA?}&agsiPAL)<5lW Vz~My1vrbJ!+ @ONO1ʡ๸ҏ1>$$=)K)~Bl?NZT {!ܸOhnW+?>,R@wMy:Y҈9xZҮZ3u?1R:(O2Z#`7!#R)y7U@N?yZØ?Dx1'hϾv^D!0"O2 O;%bQ,~!7&gb‡ cg#GYo|@&('R qɨ2cmE bO8hxIh8xd>*)-VwZ0qg3(j¿◗=E LU@gL{DY檗7B|ih 1f `t*=B36_Ү?qxNmz'$#XNqEqMm5 F *;(VA@q؍THIѳ(w|}d)aF''掼Vk3$F9!f6­70=fŕv7@#ԗPjq(2 4xEJ0=`ÃU h!Y×=z7LleIYF{fF ?UH}7}s뭞819@okK m8謀fFf+[w{oE,L*U^0Hg3iX5IRZA,Bq rL!؃gCzSHYS­L]Zȕzwg(G N8*StKw_a+4z&Q0z`DC]1~I qxEK+7R {7} Z~l't&w4ʯʆOm٩??t:#&?a # nûjVpvƠ:Ooș-(*ϣNzxTX;OHušʷsμs`TH0csPep2F/!Tng=Dɠa)2%KF+"z'tA^ 761g 1}+XT³IZ$}.wF^ϐlfe`,c/epf*j,r6L.G[:m>t Ić=aq~Q/~鸗la᱂*N:tbzrب^ )J|Mޖe# ,VQ$,vTK ᫥q+J/ [%ཫ z.P4u4p0R'0QQ-r| UL8>>@l;;'["P1>QNS =8=!f)UU+6c.ccpNwp9)@i!8+kIKs.99SK#xfz܍1.?m%]JH Iը|jqZBogϕ"m=(\LdلlJxq$6 WmnI Í7U@Z]}5K05d0r0s~unao9$UNf4/k'`4#x e]'w0KXyoBt?C "N&<Ȃ-o32p Jٖ?sA2>4i Nv.)S>F |cD"@4Ou9! aM/}3*$9\i|,qZ$6ΩL`DXc?iÛ5.\ShWE7,;p>{ZR=|R+4=yא/Di*HC٣szrP3Wש"ӿhΙ F )mI/:!Ex-2WN*#SSƱ2]OjHqX'PQdGmE-׌GĬT;$ӄW+յ:3wW\NQĥZ)U"A)g츃=b/d.=PLM;ct2{^g16}Xق J| ?l4ViysG)7W‡BPk{(~@)<9, b&b͆d%uw,l'ONSFNtfdR0 $wgpU)J* MJV:圱ŠbeDgVxmkb;MEk0:δsFGْ5"<ɿb&ñ~Gw_L)+=5&Z7}M# l{S֢T^!;%QLY"dfob7u&}GOB3U&za4-efG>ڃ؈9ᜦg.a/ql>  E#'@nrロFuCu 9jQ8!*֍׎P>MW?A_VۂyR* YI`'5ӈ f}%f%!R:҃g yz)R=|mZy! 톉-%^:AD)OK˄F0]Bqa?ИtOT| U[ Jpzb@"bMPF9l^:+<>Yk>Z)tH~ 1eDttT?iωJ%m4Zupc|`\g"v隔?l.,˥ #WӂGREHp<3^nWlFJ_˪ɂ-BeMGrh0--5O}jr rm IJSdğT\pr8:I_0 '7Gw[M"z 8V!w Շg1p ڈT.$s9mr]? mO'šJ $O\q9s$V{L;%B֓s[O2t#ŒFcP+(J|¯/εxX r;t>fr W7!>(>|)\8A3Ѝrl$O͚ 3tu齹aJ tu\Mқ Nd gL9AU^UZ=1n5"iPqK4{GpPF%8dˬ6>${Fmˠ5);mWr¦ĉ Oor[^T,Ys _[@/8oԺzN͝.>94*5~nvG7VH9T/k4d+vܬ VkH Uw_w6ܴIGN ȍDf3=VK'.trBT0:\n;?M:*qf]|*i(3MsL;4(V"Bz.k1a+ͦgkMjUbre2)!x"j(ӖLxcE1mx*N{ƙ ҡ@^`4M=ECxt5(zA~H*bI*niz5sswFѥgCbW=8!۟j"-X`KHoF8znΡk]r6x<(9!Pp߇Ib EsYxEN}&|oOi7vC(2Sn:.mzXqv<y$7} _dd]MҬ.IgEYWraV]Q2x G}rX,h1ܘou-A!lng /dDx 8Zpqd Qsɻ0,ܨ '7~7&m76(f-a=n}_]-vHAܰ!BATX+r!I| c7ٜ=ej9{SWZ=$S#2K0UR6,$Gkk~po"h V /:BJbA3) xQ1uӲ|a}t. A2L\'.'uXS`u=u:]Q&x 5.2Sw`۹3񯣸]"wMB?v5>/gN<"JW% .R10-&@hJ ӵOԬ78 !E܄u(~H$ƕ YITfFjL5'*M7fdoJAݝ8 c& jILy#3_"bzs1;d2R(3,+@/908mx-̡q5E[pbe%kBq΍4@:Ӗ]HZ)_yk*ѹupeƄ&eG֘Vp0Y *kdt٧4թ[-[H#^sOL,%weUE~{]b#DmoHTXVNPYJDFCr93G'ᕠ)fDӱi:A8 \0 mrm҈]J%t+)ցA0e5*lH5~\Q!W:4zfU̚NHԸQ"\o¼Qy&o>޳ץ ֳ3w|<)5J6euzK2Ң ߡAGBP4[nǶ}4gE^ZyB 2;O%JNe37Y)<[9-xDJ>= 2} cFBl[`oR[ZZ^V`"p3o}NH=.IĹcuN i"'9j8E.+W |'UU@;^RKB3YUl'SC<|4d]))s<o% oo/gG$ Oh.?^wܱ RmF$5$.8N{_ihZXp"^6򍽀_"-{(VCʢwsVիqW("FqMo%Zu(xVv^Ɂ7JAO?2n͈b;^^B SHL" s#,$M>R lho/C[0\W],b/ =q>МvwG 9jz`X7&J6ll|BE~ퟦOFR:tO2 lau\2Tdn=#k|R@:L HȨD~ r3+e[mo*1G:bC4>:~A>NCtYiXEᠫMoﮮ[Hd. n/#G XBǑ3r&r!Tbm]\Y#d,q7 0WˠpN**{ojc[/psVS T?'SS L7142%auU'D0WC[/l %M1lY 7kOsPDdƝF;00m{[3S# G֘=ҼU`gbla͹A~}偳#=l_~p Nw+ LWp({w:y/yF{zb|}KsIᨣ_&6Z?(dvSvX̀1tƢ훕h9[,mKW7 E<֕pe^a]n.7naZV0R-P>AվxRPN3 M.=C{`Rw)(J}4R ֖I7#a䶺ϋap0b`U ["g3"C(m`Z `[9.Fv$F\ 'M6J2"Ht_3Ig#Q"2%iQ\q? )5)F+[jK T U~en$[M̬ezCy "A\ݛ-se$; l}ܴfRon")Y~tHhVm75?pv}~Ǔ(Sr<<$G3% ]~_\3t]Ty%&M%ط_j+RuBu l&X.=r[+F)hp ۼgeJNO E*ָ1 ĵD>IB5= \5kӻ\$Egk.;p3yJKsUΜ W!ڬ([?9v7j#9JܹUN=a>xɴ,yCPHg-i:7!@ώ`:_q ]q@*^LkNZ^džSz6h>"$ iPQ幡,&hV TD!O1|-JIY`Xnnc Zx!bae쏎z*\yW9hQ⎪0qN7ؐ"M" Ӓ{[]ꮷ㢕\w?a" @N,0Lh9>ТJQ%$rn]3N39.19x~֩eStEQ6ZYN+TdgB= #aP VL nuUuÁ#9=u Ԧ2* .{Yx]gaH1]P(rzQH㯑{ ܣ=>=&V렾>gQ`v0o48l GHqzo[v ƨxPxCy7Pf%¹פfyK!*t-?ظ\]71O^O=5u#=wM3-%,͛RLœU:(Bl9pw?ֹ9= ZIЬݠ3"muL>džݾ*Q?`r<1.(X tSQ+57lKد1`b \@M`}ʩ j i Z*tJ.'ch䯘]"lFt7Q**U71dҾow| ]j'K+qNY&F>s]gpQ_4HZ֮bb?[WԿ-{S*~rs(C0>ֈ!6<( SMpEӬu2 @ ?«Zn뀚r7Nh ̈́'+|ydAvX_+w'L)C3uZ~XkuWgFZ#hG$4F)d?>ا$Bް5"vnN>b7~hG(R c-x3Uelߺӆd%$H\W٨Tx EEɡSex3mYZzKg,pJU*43'R4/=4p/RbX}"gN ^-l1S*< )̬eg΅qٕR>Ϥ#1!}찎%Yʿ e_e"z fH$ߣ/X呓 jr3dB@e5,d 9 a"qq/ohzm }0Ɍ(~[ y~_Mw k:Џ'_Mw'hwr}P]* x\Y1+k. 3V#qz`;ft*Ƴ!~v ~h7oN33W ;xoʠ!U#7ZP0zCänbRskU tO5Ow n8&52e> h'4(ψ%EtE1^=N iN[NةIblHL_5`6mows]*5%̴t1F7>9:tI9e.s6$N:Gzm_>pQ?i"T{=|t*@r/)!#U>_-wzuzFNanTDS!ŬcvJ Uql1n[yMb|aB%QSRp56* NW벞putrCO:Hzim>yϝzW|e.i6H=r #pc #F¾Q\sIS⥗F,P"WE"^#@a_I4 \c.]̄_ FNzFy Egߓa\^kU'1p+h6AOiJ&"^ mZ, ; ,fVR5tVrFO{5@͠d+UƯiv :2̺U!jl5EN77Gf68NJ[".i-<4 ZpfK2ȖD-7>"zo(E|.!HeQk0Ø48(\X*)cGd3gi$ނN#8߬I&%Oi(8~]erB;ݕ8d1quKU]2_ &jMj}&ѱ#d͏ V} N8|bI 'bZꀥ2?ĸ> Nef C`YEWc]sc,!q%etJh7Z wcfgփy716|zU'iNF]y2|GPNM{}% 1v.wuX;8gľ+3 M7 :ADGC6vxiڮ{XW,Y_?)A;>S7 \UY=´ F)|Pbt!Sf 9&,D̓rn#67Ÿ{|J/pdaEK_PF b'շe헌Pnw7X!D)MBlcB~3nN4KЋe䥉&}K@)yL-xҕj{"Lb<`jAs}q>;o~j*Z_N蝘Fըŝ&A"h [l .uq+qH Ljnʥ~v˪zЉjFZv[gʕ f? ߇ [Z[sP'懵G,LR%3+L"l[F;CݑEoD:fEBxboW}16]*=㝓xfJq񽿻Z;fz"XF*/ ~n_(N"Xs,CE/+p޽w~bᱧ=us]?X7Cr@ Kib(%́}_!5+Em9;YF)~ Y(nLa}dQY*h-\>w[Rt{Sq0EO5/sDX4oz~m6殯qJoMT#v=o5 Bda)᫴n dTEC6Kyf ga_ryt=euy-!sb`A : qw3Sv€O_eӿXlA%A]ѭG6a"{ -"s6vݲ\H)ID{M}g>\G&jOܿ9N`Tr+ٸPakp1MC@mc&ug3[~:kG< 8{a ű1m*O &hn!rbOHku:9C#1& 955Kp 44l ȷٕaQBQ'%[AIa֛% u /z11,EYDwwE/.w/" %Rek|_ԯTj;n-|NfulYB10tG\1א}Js[S 73$`!-A7> =a=OHSUńe0g?ɱԭ7 #~fǼ1Q9. aP$3`V@|j7:UwmfYU¦m" xH zP"wLc+Ž4;v:<̞y11˽;%pn@X\!I̓ [2X>٘&Pu7̑5:o*vAVʪr ^>܉ӺyyN#iI 6_ZC&0B5`vWY.0.-zҬ&)\\RB2(=0vEiKB%- ;1l VDe"4'?_XVFeKhdK$.2Zڽ}f -XVF QzCB^52i֘$Kbg̾v1tVC=(MVZ3xl'|mtO#k#RĪjh=1Ld`)Dlk{,s7k V0;./€OT;xaIѿ6Yz`oDԭY(h4)s12Ǩ4: C/U>/'=nh>-+=H.=]\jVY4 c_ Qsd%n5 `ԒMsoFbw%QPyia,R9)hnxPm -ߧ 8m{N"EKuSpvG殘.( OcЩo*||Guuvڪ$~Af]"m1h ͬ-ܙJ%׬4YNѤ(H6D(  bXP]e NOgH1w)|8dM_dv*uP׽ipٰqDmQo2Ojq?"+/P(e^0o$T!*}$%bZ<iY{urd\BjH { CR.; ̫OTxAFkx֦ԭJq 4Ȥ 4Q`7oD.w邺R߲Y0~ -xq8&4kmn:j!S1= :U•7Alڧ=I#"z*RrbcQP3g h[p!gA&ULJ`r>C ܇GU#fJ?4ɲZ,50֨ y)q{"8Z .Snkk <\ޢ,b-䨞_ u s`d݋P[QykI㫭uw5AͶts&HFH6#*o{]"(N*^]ܐ&޴{d| FId|߰9-XbPs9ِCu= ^ ɾөaqP>T ȌO]3㓜S\55tiev Uȶ`rų>.ؐENy2`b)y{s;a;2pߕVqH.6\jwAJ `Hh#3ª ֟6OQlL'ihf縌r "=zi`RjNz) RWAL% |'A)4"-2`2ewZ#FURj)9j!8J3,-3i6(X"~@|&Gyvɸ[$rr }P'H1əEV|Uu6څNSG+ ha{չ1fP5m9D Ď2Cd aՂhÆ 8}.[o[Or)Fގ] ZzSД5R𜸾V^ZB ]r)Mu-Ibo#Hd\1 wfaҚ'6 jܮ*Ô& *fte& SH*lc3VR{?–H sbZF*6=[W);jFOReH4Tz Fp4pA`ucZv܏z<.;0j(s#')eTqE1j5n,5z0<ޱg ^Z~uc =S~b%*-=.1zq^\ Y~%,馀i5q&s4(rю@ /+ vz1 o[Hm} ))e[73/v7*DOaWJ#<$\B XuK$%߆H,}£<=.JhWe E,P/X!D*)NjˤeyãwIv6w!<>HE4d:%!{9URtL[Ux;^]߷>Rc|C//77YԦQͬ^׆x7l$G;rUWxOѤk |PdAXRV݄ʁtU:&XjCԯM$h)0\No˭M(BA٨X iԏ2`Ek!ڷ* B)ͺff(||UuwwxM?{Qv=v虜0$`ϟ?[W߭$b(Ee EVM:^oP緯7d o–۲3C!-wtɖFNS6H?gM{³} =C-Po0LEL} g_"⾝O5%^f#[t w2YH . jVSgXnD=,Ȣ~5tWK%ny :8UBBĂ@-?T3=4kCN+6f_=3yX~<| <-Td!Ԕ 2٢pnVp_ '/fzȒV.> rͷ PܳP ?S1S4Tb. S=PM}>Y?5iT4!nwM-]Vc ҈~:ݾl#DRXo(7PZmt]pyʊT1J r/<͐*UvjWzf7Q0-!»y92v;wPPVI4@OU +zkBf Gnҭp:tci)bn\}./)2&x,m(UF@kK\S:&Y/@Մ\j>HF]zndnDX2mbp뗣C4Db^MU$+/m6BV$`J`i&OUD?S~W ZiKW7 b@zl/ARO>k5lnsYKǸ!aB?BKϳ{CM)GvZ%v?F]isU@wM^fbͪqЦKY.y'4pTSXCkk7;RdOF? 鸂Se*qaW_Z/jBfE;=jhT'ܲ4p7uq$뎎캬*#Ƹoɨ=IO;J|4!@T$}Ad] "6$qC#҈OZVM2m4yeny3SNg5HZs5^I4ҳك>w4?߸ saW{v\\A6vXLQS6gt Q,[p4&7R=0qc)9xTG&-sd#$<<مpqN\Zi Oyt2[_9[sz]ߨ>5 PEJ6a8yR5)E>=:iDzxmlFf9TɎݶQJ26GԳ ӳcQpSB7ONy[?'V!㞪;J3Ugd>gAu/WA_PÌ8:-,15OjQalAZe0M_ﳣڄ eҔc@ҏTkXw ~>ó()+D@]0\"+74oBC?IDtX^s1$|䐭0Z̫mt߫Z!fC ڞ~ B`ubc#n(VRQ/rmwE$D`BKP?tRlD}FPvokggqg(k1!+e 4uF]ibv|5 #%beS(D>şM`gPKT%|ׯ )6 V#7+*yp}=XR!4UA.礄- \s^)"#j1sqhO0nŌ/v᨝t4״$a0df'vyTz kmte0 2)܀H?/0}8Y yY]61U<駝5)+]ݚ(eah;pq ő߉%9w\xRGWc/ɱ9|G(nCx ۊ~/ s);=`ԹKߛRp.JowaH rJF~wBr^L@,z cċ0 OO\U5IL&!+Ҥ?rxE.AP?&;Dx"MU5,Lb-P!F3&#̢e Gox2`fOSY龎YZ?/)J{0yw}=cvkT6/+M~Dܾtxx$JBQV8cfLiPFq[>!)/ϭhb5/`A?evBi!yj痄=5bFy&9,YRbԟPNpL( lt{ E|Р.\ ARZ8Rެ9I$=Y?-9L( Vt \BT;<%C7}f \mD;+.:U ܈r4HPi}flF@(O:/XͦbVxz_ T{P'pVRW7∴顨A*"ormhL.24k1M:Bꇇַ izcn}?O $C'h_QԢjQ+<.$Qo9VHQW1.wؙW7b׆]oՁ~QM!EJ)R+Ra KU9A&h剄 " 3(Ps`?Jio.w M~T3hdHg_ g2 8/Ò $gxN>,p\q"C%W"#a.cN'/ Hj^Q-6 V$fH3o3t/^J{k.!/ EqW BArA"No#MPo-SZmG3kYDV \I*DNCY$/bjaTkμh=\[RX2(5ȔZA sh( ?֬joJJ"Ȑ# ;q(JDCR9^nA[]=&2Ziffܭ1Vٍ7 8[yꞢɍ,3X?S].,x|wvtyߖ U#d:+"&t_tR8{2ƇM.~MIP{hE{˻v)JG5nG &n ~R{ʷ( q+@$};0YR8db jUA҂s+BHƯ(LcE}f*.h>;3PwnW7U *AGyj2f*pco%Ae/B+Euܓn08At||] #**gl6U%|;'ڠ‹hFc$sdL/UHTŖl&h*ṚI(SX%Cide&(kyxԎLW˗=EbAG0[xטqڳ.߆r/zv%d^uBtaN"zkx M <ȭUB% :7j y=HXHU'h^aC&xlL:3M6kpPy 3}TT7@:>}jsmРUCv+f'暺jp +@(IϰG#g6ջԉY)`HΕv$le0H2ͮoKI׼mXJL M;)寯=~2j ByhĠhJ3HI'%BcAr3%-xúґ9l%+o 0cH lb7a*7)q+к\R$'] 3{As,q/?z`MvՋ\ >T(vjgU8AMr~%LEs{P=luON zyRs alvsax2A0/SOJ{*.'bR]3,D3ΐPWNUD