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 /||4| ]% HOL-ODE-ARCH-COMP:threads=4elapsed=595.167cpu=1326.344gc=18.9767zXZִF! 8]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7X0='~\慜]e6xcˈ@@F&!|Fs`i%33yk|{_}6g4Mͧ"[(4cNd;oiŏ-;i4,7*ڹ\Ge9ݗ1{s̭Rh#UP;HRbi®t@ԬG. T<[M x56_"MJ@%ݺXpi|O`}n$lPz˓(c'J_ؽ%-aUXaeP-=TG>HTflG*Ը}_Gv̡.%+ԠZ`k,)Z 8 ~6<I'?_bus~+M5Zx7aQ~`M$s0# N<$!g]7'|̓#qu|~ͩ}º 1ϊEԕB=kת!ju/{gYZ7zXZִF! [W]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).r;nj` PMƣQ8 $iJes\IF}YZ7zXZִF! u]ŗXi%L+BvS[灀`d*,5L23()3O-TRni,pc?DUn@]B;4e Rx{]\!_ ȐXܼm 5eȭs4y(Љ͜1OQ,Eӡ* G6 |bۦ(%۵–rpWZKϿ'=#oHщ*₸kN":RѧVRNP%JQ=ʇ]QwgRL-( :a!Qҷ퉊)l/IŋgcѰ7? zq՘@Hk&V-]], I;8 -xwv\}E~PO!&a A`!u~߸|z*DDT9kFIJه(./b!lqT' 5rvը~&U]:noͩʉSy^8#DS#`u7CLs;Gimŀ fzyES(0X6@kyrkT"!k^0<֚mpϒ7@H)C#"R~HJR$[QCy|"0Bk64:,%1zNayTBW#JZ[TG=(DQA@t)Cqp5^f4jO Z@ 8z_"3SĄ';cy$<)ĺ<.؅GMnJQa[s/.Pv"dB|8;{<G p*#l׽{m_K HTO%ޤO;> i={ 3:Vchtͷ@}|/:1Mp}:%uIeFzuWr ;8Z_Vnvb H>eKzrbep--W F+_UBjJǕKQͧ? 'y?G#bi}us&D.堥 !6\-E,*_M0biF],`R.m`%D[H48X#t#3)l @#j0)\N. iJY1RަR*g( %qvJoF4#c\\Cj i&_jf']vuPiS&4 zuj8AwnQ7s=ĮE"Aݯsbg?:;I%2|!,#NY>32211`I Rj%=_ȏ?;^ #uFY40uQ_ צjSFU0KHį+0-;a'}o~׭jKR|O סU<!b Rh:`G[Xx_{g }Kk`zX>xڭj`:95]W0vm5ò):k kQ)Qs={]Id6 *6\iF2Gh1ώ!cT gT k@b$!|*6yjyXiG\,V7E ܎O񮯪bQ\n!\95{,Ej*SGz / HOL-ODE-ARCH-COMP  r /U% \HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPdocument.tex7zXZִF! 9$f]A-MՋhvG"uIBm5v'y()i˴P7mL~47rz5Gݩ;.%0ia2^E+e0;lݩY`%YNj bc`asHoE ZtLHO1҆dbhkCQo<5~\g("VM_^OatoMՅ41l2yk ͹wBa>\3i7a<D(~-΅ tKzs/Dq\M(A qQg,o^m!:Ѫޟ&52N:i1$~C.4wԟFrvcErv.mW_$L5k2]iS\H+ &3j TeibfE+3|m?٠?z)lm+r `BH F/U% HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPdocument.tex1;DڞT%ktj5{^[P#nsD#9[n<|2 ؓ:~{Dby9$0\|;8u'a_\i#$4Ek5eͯn2uևX((LF'5f֪M>(c2 ] C^MKia^ȉp{*CcImg!ҴokE-(™Dy#\Yta,ԐImyI:#&+2#x𳛕%ǃ0\;.ϴ`[eJ918%[98Ww9@B> A wy; [~rEI@r2zf3O{B}CޫN#*c` +{OFu+ ݢ@'v120Wd~\;$(a c@>ΡuM#Ƨ[ȞOa$^B1uDoY_oY|(ϛN7m,SIXX55uRα{?D+x6?J1yæ[˿h=,*DzzJܱcj6^A o~T #ϜL-,`!m o!A '9B.NWׂG)"xs yajzZĥ@POl$VJE'E5.5/M%ʴBMaj> ;U DԂC\CktEL]XO*/8x#cD𱤩JL6 u)09=.W400t[х9zdc{ߙ- }}ɣ=6B6{ƚǽ/uLHUim͍B_mOf3# OԎg5O1rJO[ARmZlu& W0@6˰œ57TC&`#oGs׺Ya jg*$Opal^ u%^7KbTj$1i&\ rU4Ud)}VъP:|pR9T/36,Ie~ (Pi$rGHu1vmc(9J,iov&|rRÇm[Q3 IY<γe3IjB,fti^;5/;.e No _h=vcBě&RT{X}q?J&udFKp3e:bTEt.{Kb[Wwe XU\-Tx[aJ#+Oq[v: /mɚli*~XJ(KVVq?W yI&W+(tneJ,ŀ_az rHY| 6¯iF*Uܡ; 4:omWoN34̈)#5Y˒jMr;46,[OpQ8)(W? ~Ei)O-6_'h1tddֳo=bt әGPC!. n.)p _ҬyrmZ|75+Aի ,PՌ~q:, 9y*Ձ@rJ:gZ0ZKolDv@$rSI QHjk$EICi!*3U@/2N47x~bk#<';8ri@]aD>A hRhV+6Lt Qd uE:Ъ'tzSqSlx~<<ʥF(pcHZ18[ƭn#f~x _}N" k4@ 8YxkI9kx@,9rJ%UNɅBE6v0<vNmo]r`X1NǑ'/2y=fR˿/"1xWpl{fa=r"F]RE4f|V oBk| [Gm2MMĊTNZ $ú&tCyہbC1O&夗k=AN*6&$ ,9h㌿ʹ uWM=U Rz {ךkh0W6^BɶPCD}g"FI!|"a_HQz50Y$͆!GQ>."cLeRtFvT^ïu %M]MH Ԃdʢ+*'eb?d0crp"4ť 7b]1Yvagʟ#G>4['0keqIBLt+E1(qA/&PENWQK)T\ Sygl5tM;zi+Fj Ejm4 `vS1#HpF$X-aJF~4ٙ7EoKp+V"ɇ,[z -ξ vrTϫs︜{l{k5< +81ⓔS>N` f+L 9(mm^͙ rL4Vה`iX/HL=WAvliǀt4H9sr@1A=dHĪ7{K)j*:GQa5s@&H[*{wrF81o7`Vg I-n >ip;\fzOOq= }DmyN$4\GtGujs0ΆN\ K=XUU A 5p,sIiHLAXY8/S%e%iRj' eXg#2%3Q89[ْހg ;:9]붓Ȏjm`3kt̟¸{m]~p9 X}(e!-6jpLUbl.fySirC"^*ctT~BX>:]"xAix)_d͒6Rj?" ic7Jr PkfHҳtƃk6nciTP;| قߗZ /in*z.]$ho)%$i|D"wLق~VԞы01-Cv5;HUS5#`g-YlUI/Ghyq;7eEF궻>ݧ}/"%v'^@hLے&p]*udhXShEUxQUml`uW?jŤJzj02 x^#/ِ u/8V =@]L?/GFb~-hX >D\lN37Dqz|'voHxI`9wy Bҥ*&{ɄpD֫H# 7 EL=%x^1p}7c#ig<_V/*}y$2Bl'q3o:λA\V5ptfS1S |F~ ǽA+$͸ 㸼H:*=-_"<}iV-Hy튒wk 7iKPԴ4+vt<h^0Lmݺ,CΧ ^ d!SBZ֝[@#Iդ]fr!Y"1+p{ߴ5DY٨T&uJXd vBjKy%eCjho SMi68LhfOi' ` P^(g0"4KM9C̬8|dױBr+XMJ_ y 4 eM`2A._%ŵoEAyeʹa~Cr38Ee닪fKuuI?7' ٗ22vDXg@ Cz 4|'[V$1rbeCWkR 7xXsD"Rd8R~oKʖC1 RKF5C8eܠ&eVݞFos-<7tY ]+,NM   P.&䅗Nł-OWnks&kh;kWn@V?0+Pq$VR~^5Hʖs%=29xrzt4^}?#H<Ưf,zlԔ[ n6WЫFMUm}rZJ{Nrq'2;1Cln t0 㹂@מ2k,ԲhѼl̺!\ ul?wpX^>9JLJgVWaU)I,~ZOL3Cf45{Yy%yfzѸY@Jn#.BCaFsA\LDU儌|mQkU_=&h7o+a$pP3 '١“FMO^,h+(\:ay. 2̫nxy6  3꤈C/zg |%*(DB ۂ]yy_%'O9aeljMcF!'ATJ2QVQ"Qʐ:}Μ]2KIDz^zo/"SBfH4nua,8Vj.eZ^Fݪ~n#+b >#+nn^&v9QM膑V%`F[cM?{J:BQ'oGt.,otدOrn:ٷqqk<Lm@0|QlePK5{Z87 ]2"ޒG@Ͽݱޓ_FH|R^X/hf,TP`Z.BZ}UÙN 4mU * :* ؃caşFݓŷ!f[J^T*(FN)M>ho51v @Ks?լt;(:`Ay1:cTMj3m+H ;LQT&Tvd 6%~KѰ͆Z2ƥIΊ.T1a3hM8mBdr\u%b8ӼCyVu̚"ƾ_(}T{rS~ʕDd}뵏}# 9ٝoOg~]rZ0{kҐH r"e"5obFJX[`c|HU_2an"1ֹR.ғ,e$GUl8>weU?vˬW@ߏÀR2~ pAae`(Hb4[)i*#:n+I #H۱gYZ VDj./0ˤf[C[6>>٢4$h=Wp ݞ:tjv]Ζ #KIH^ %‹E8('!zDM1}QvJdm7SD +2Z:?Vʕmw`ь|Y+ o02c6z rt%SydF~ߪyXW~̴_cpHBS2&rhWwOqn=Pf6R)k`اqeO bޠ"v'Coѣ% r}JRҚ<ЕuaMw?.^ۅ4ZJC:mS<19w;1rЛf}"Ο< ,;z^Z0@S&iPG.& }6TߥFmx Zka13A\Y. <ú(Jrݳ~t+XzJòhrjC`FIcMXNcK+]rBہ JꔆsDcݖ~כ"iŜ=0ڜܒj/tclʵ (JsϽG/WY b+ B|7aӉ%vGsiY7q Tg4$2|)nOaYcw4Y]?5׾[[$o6Ԏ0Ys,>BI~+B'&Ui񭞒@atk#F_L UoDm5Kgi?N>\ L_s^T` J`Vv^bx}|陜Ō%WI(f^K%/*L~>sT_Gbt6ESpV)A?r*Q9ޗca[/97;/YyNRRJu"IHw+-Nw1˝K?s:,vcƀ^{<ƒⳕlӊs&\&k]Z_aY錶PVQ 3ρ"F9+֛:SEMBF~2)ӄGQ=ۜYBQXXQQJFZ:1eh(^Zhx1P/5D(uX ž%mjAfcR X%ѱ a@%@17[@Hc}kygZe0' wP PӼJ2i~vkALadbh ~n3(,[v_xlAvG]>;ӫ"t6l #JE jR~IYmq5:[賟;լ>Ãy|{ cJ=- $T/=(™3@2D1ɤ{xLҔJ-Efǖ=Vn2 p*>&􀖛X.F oCGy2}_՟79 fy`٠;./a!|4GO%:8;Ak ]Zzl6:RRqrR EDT!OZ=C,UiabPj߼Ě&xJ^.s{J7[CCRTf}h [IL,f-FLP;+1%l]=9`3*d%r}&T z [d130]}M~SUgamee^{)Nb #z7>m$IN h2DDX3i26Zond<4z|eH?XC1J xCƧ1qTy@ķ-[!Y}u$ 5BȀVZLPdpЅ;j7bL6yW@Exa-8ICaRŦBQXz5Pn-,W\>\{Fz`JK`P9מnsUtOsCH{0kaaR~*Jl^U*M$XrVW΃i6:&]lkAΓ22pg`YQ5sSmu6 Ճ+Ay$ 58itZP>-ChLC8{")7nx_q)RH;>``Iq\%P<֜[4FxgS]c:bҵ>V 7DH⋴ZKc 646o00lX]| hŵ% d}:CB؋+fѶnvHT i/Gԇ/wU5U}Hj|&Zq9}wpEYc)4;(%A I(C7Rbr"7D+h"ȀՐٲq0R ¡H|+ &T4ksNjhzVECQW-2!QBOxvRypu9[ق_.S{e|p̓izf{;;y4鍓| 6]%:&[`2{ H-{q]qʮL@pKoBBA hp~A7^O@?/W_ؽВrNlO`[-i#z'izPih? р2xȻaxB}Vn%|Ʊ[dN6ly7#:|Wdl@QBR qMC40 # $OtYQN+ę؆:QUK=n2RӧMTKИrC,Osjk^LЬѶM5WSwL%NMw^Vjd.jR h` ZF?/Cr%IrfCJ)gaS2;S3R.J2Y7I#S Pjw?>&#D\UNŞu  ޜ*7xhrĴ*ʾ?MFl\0M@X o YIrs òܚʶ .q: ?N TA6p^6Cځ q5Bg_`E0smbV3OYT ?þ:YNcJm2Dߥ?h*IPD$-VJ&#~T, Fuy±Vʽv$8ΰ lW" wKHqG0[_& Zs'ga|>@ v\hw Z`Õ:6lflmѵ^~RO ~[ҴzCQJK}EȻA<ӹ/YE^8fjЉSL%)@`-6Գ7&C7?[a"ICG[5p0ʸ c}{9Z~W)[ukj] Y܋5HL"ullAm ⵚӀx?OIF-$&d"rThӾ-U5\LtF~Plic&c!w W_p$Qsq~9-a,gE,X s4$JN?_|Iv4վ6 guS{:'q1o3W`#әw-YZ&/\җ=Z[?`z4؀=i9:O^idC59t1d\JF?aHq7)~_B>z=9DqA<^e<0[//ɒyOx# @Uxx("c:IXC h ud=Xnỻ$)Z9."R&Yޢ: u;{p*\ss/@'8Z]X$aU5uSdȌ,6\NoXl"i $ԴӫY@87HvXZ7R`ř EZ8+gv kϧO 1V)V͛ y#V(:4TQ L% o1v6zA/BƳf$>6ܥr=XGj4uM)1 mww6o:Օ'(,GUk0–w>oT7Ȣ7]%2*CwkCq/? lg~&kI27kE}x UlHa_D"Q}h&N%rL[ͥ<9E4xGaʲА͐|[Cn6_r%ƾz /&@<ÿ_gib Func٬2X֠=3W-ٴur^4VdJ$Uhk<(mMt&+٘_?.8p潂yr^=(}<~s2*ڞhdyf3:Rq G> .y; o]9,:]tG,9Jɂb^Um\t%°r, UQ#TFnEJhT#}CRI@g vyFVdD0lېCqˮIt.7?T*U:; 0 ^36ݞ|Ԁ3-2F܂h#JQԋq*#e Y&oRdw*g&ε IBhGwN(;":e$AOAt{<^=tCKeHmNcݰCkж8m?W(vQKZw jn 6x6e KLN:*M:=i{57`Y(#JSgqe6voH8gދ{VnඞύiT4Y Tj"n2|;`BB˳qXNw= oZzj +R\Zw"=3<\kjeL$̢95ҸΛySmQ; xXZ h- y B";1uA|yk,A)@@}<;`Sr-k2&Fve;y7NPN~r ou?.#>W_Mrڢ6\KJL*ؤ gkQ8:i'!VX9 ?h 1tGMJCe `|gB:Rm}mC:Xz#ZH0}㪵V%PaĀE{9C29A*ƜݫC;~lr2>_Zf=B+%"!~ R=\h!7r* L ($w pћu-@€ %" }(M0[~7O![q2""}:rT_K@H/!ӥPu{#>ta7ixOPS@Ȩj`: _+^] !}wx[PvUaTj 70䲗jx$ 7ČH%^ L/sJZ%ׄ4AFNҪ5!f>rK&uFEk(`BM'| ob]Jq CS|5qga}UЈS\c䯙t?O&+눑.DDy< ٓ7̏X Dvʙ 7!ρn u@ȶe[_BmXWy$dU4*8e{BT̞]Jwyo1&)k$[?ʅ0-\|sЯduD# JƑHu 1FОx Zf`Gɶ}z;9CIgWA0¡*P\ 鱝$ h1m`ܸp|nk5|o զ^mvXHD(rB(=Ԏ~~Ha^NgLvn+b4e-/ T ?,<4T⏝ZC35hkrV%I?u{;qi? 0Xwk'\IowRP nDciV!lgA)(_ޟ41@}5e`g~?0{'gWIw.#̶4ϧrd:(\Kp ]]SkqhYg!d r@^l#$̦Ԛt5,]-ʇ!Pzŷ#!t’%zh⻍r:{@?7!??{@E%a&Z 1Þf1mx5BY .)1SQL PVbQcXQV[ WAutWbL0G/O$[2Q/vO2KqDW9K86:w[79Ktȴ%9xmhf`ȻogBQhn;%1 IV\7r~&a[g+qlw]á3y)[%1qB*- xI E~`mUHdwꏝ@g.%F~vSrƲì㿋L|% 5]7yU`YQb;ӥ{xp0Ci[8*d癞7 '.o/|Q(4 SBa.lz/ma _EUr:! JfMw84Ff'bx"={ \&vXLH7 }g%~NY׼z_$_V $G+| 52!_ @4=te!}q&H:<$L ]֣ C]dfFR8 'ԒK ̴5($4)YG錵N͎Gzi‡m󮛲rPޘ5?Wh80w&-٧V7Qc3m/G5U?;C^CldÈ XGkC:<Sj D2_ڙMM^Vr_xqTHjσ*09P_E [pH%E:>֌EJOyʾvlch0 p6(qM lF|lIZ,W7@m6FinIO5tyrm0y:^^ZaFN\AHz|cjx@1A+(S8DV#[[䰸uxvo6+kae(4Hf JqHXU١"F8a[:xȪ h%4ɴKDur!V^NO+no!tT\Gkё7ZU4ìdw"v.1M4bw)f> \Iw1LYwbd,2~Hv=F$# I 0?\~*7Ϣ |L ^wGRs{}7ҕ#|m <\JTsf j(aAhqGE{0=jR%̽{4E[>mR/gt~vKf>cJ0g^}Xny3#$bk]?# La.0bI螗쏜:9J6¦[L '`'wg E>ۼ )}DpHgHFxL{26G5LuE>0:ReP͈2k7s_ 4vZa*G%o}dw@2)]+#q= s!.6Jqk s: S ۝X>"'a?H-}6|&GKˇ,liS3@q; Kw`P1a'Xn9Jkwrl6(E,$>3MkHa lzxkpw Hn^$#n0(=,_UԿY^<|ՖR!h:ݐ 5õ|SG/WRܱ3с⁎C" z *_ݥ:IeMhRѷgryu'^KopZu^`,Hex`jn]ء>%Tl @?Q;^ƭN]njP )ɣom+:!! *uuAoZ 6GY>HBǍ2`YI^ z7)2 r Dj\h;-{q#RǪ'ԓ~էVZ^%3k. 1O+'1R={5^c>ё[x$g?X} :Ou;w@z'eLg|z.q@\F1T껩`f%"Ǝ3X?Q*6c,{#R N!Et1*t -( $Y+8rm+wnͲlru^mU-\ 2;N'~=c ( Z6y A+jЧkXuI[~0H}=GKjuc<*lR~bj/]ʲQQ. jcU7ڟO"I_Ղ]XQ~+Ðǟ:>!b&URIEl]FM0 ll6(| Ai"blnDf&/G>%ji%c9n:Gr: e _9>'S }x3UD6Yd"n/Lq@ ǹ77 c@y1Dd &agSTh%%w˅=ObQ钤Տ@|E)᫇pDed'i:&ݽz^+7DƔNט8U,ŋ*DnƋ#e'na;nkguqJ7$ O]Āŏ=7((c|: Gpl9C@>b10GH2eXJ`aC n#ÝʓiM XyJi ;c/\\.S27 G{)yNXIUCozږii >$YQ]n|bxkK~G%e`|>N"76`?5\GryZu T=h3E$]*`<Vu#ֆN49 v@coaj=^ e~!εn!=^?)Гrw+9~Ա STv  ΂% J,T1bӞuޡEex7vME& /OjyџSݨם=m((>LZbA0k]h :Q 3hH5w(N#ͫ!Qlw}'Ik:'6Uw RN-۰}WX}ɣPg ;X654y~ NlqGcF#NA0%xm|H+BxNӑ<˔DH09Z>M5h{{l" ϜxтM0SO9Y80q}f:Q]X7f-嫜+3mj]ȕeXh_Ql> d%t] =P-X 2@PI3;2]7?$jk2Km]vT5l\NlIskEs*]0q[sD#/ZȜ\вrjI"eE9hͺB3Q\P41~"o229&1FM9{`b\xmH>C2~-efD:a#{V_A8B+omm?#o%IRf/>8+^͋eDvv{`ZѮt0Mpbwя-b8Tk-$x+TKT]If:ckm+q-l]J .qN A=&8Ac4dGZ~'5v0vx^h"xQV-@1 w LΜчs/isi|l9s0(8<>̕ntR|ax)KL%}#p?C j"($9&t'kMLMbR[wzoS>^P++(b0UqksI~`'`>oMK8yX삑1J2'Bz)u HZ"ŢeBI5'S:(,ӉI0X|BDa<\c&ksTq# z¾9֮ ;sQ!g[଻?GZ7FنɃ[{u-CBWz|6ig0G!>M)hE8ϬQ?L&6h5=IHKFlJ+ ݻ0[[Y;67+Yps͌F>:+c}tR q jo5ǘɵU&|ΐ-~ br+ecOsEVą7{`VoKv1ۜdɓuJ/^GbԷb C5 n^d#새Y3ƟgX=3\+w , G8U1b$j%;.Ѥ*CfjN6e7s~D+"4 Xeeq4z+w}8{㓼]ęo7xߘR~b`B^dEqX~M<Ψy+Цv+}kJk7C_`.&*?xA⶙av#7dx#E 9} 2ϳpp]>]]9;T* bqO ~t~\Iz; U;&-)`j_ >^^_'E$[4kJxŽ^;f8`&**AhJNoPʲp_"IXy {]!oR\Y7%bFxL;QoU0B:^s dǣҚHy&1T 9u-֥5ޝ5V&jC,z{39Hja*ZԲ ˘zq"/WA-RD&^'j}.Dxb/Ai% zQTc'G̙A'/0Ƒّ+p_>Hmy f_(ռ4Po9X+"cޭa?h\ MX& %%s-( 8|ljpoh;Ԇ$v!{jY^8 LӃ'|:uK'ю!C*ne?|9فf0, @ 2O-w^.mk9Pͤ@yFN!ym57Z1|F4e!ƬS[#(nj7c3vod-.MlRK7)t>_b\&KN|(5#Dv㱲"OuġNPxܹb'WjeDyqx|5UTtAwk(vJEeCٲ̽0\?x7(se69QK] PʹQ ')ARTԠ(\:KK>hiR:fvܰ() Z s5QJA(:ҹvVߗeSu$=U$O {ɒh`"`$w9qz['?U0aQph޴BhvFfԚ`>PXq# 1U%&RƎa Ww5ߌ5&_af3&^'HjO7+r$X:U)*O*948uU!Ee(9Ox |=ƚ5pԧO8%#"ߝ5گ ZYl8"y+"f6ȳyNm4>xqe Qs#$ BSԀ!MPQXzU󾿯K 5v&WP|ꃙZ+((b9tEoޥ8H#"?d]ݻw⠂ctBFiwLN]PhU@atГ4]zr0rlP,'yf!v-QH[KR8W3':. 8od>$e5Gk*ϹVG=%Էu$ 8u1-~!*Bp)79e6v1evLJ}d`5Iٲbs e^]ٝڅOƐ_F\:q6ϛ_OT@1: 8}SQwPЌl*x;깠=[fN"^d(FyD^Su [SʟA\&(M7jM-7H{8qyelj>_X,0@̍PsRqkl$A9,8kv @&!X!RF'8ld)d(LoWv+/'ڐɸζZw]4!,u@-&[핈@?`sY\ؚ D:ѰC4,TjMIQ;yP&oOzv~pzɼC] 9I]1f=>[';i᳛PV&xNcj7E^ޔAdu}5\E͖tӣs":LmVK'2+U7"$ >%Z?1' /h.L5m yձ0ҫyT%_ttݥ_B^i` Ud}iBzPu?'13L%!k`_'EvJS?[FWsٲ'!-q͌#/IBuj9*euQ?}ZgWC4hɭz9x+Rs֨|ܱ& G^z;t[Jpwּm b\dqfطু9;OR%h]IDa^˻GH>(K@L7]^*s*:z &6T|uUnSm\SZ `GF" >S+nV0t-pq96HUcYn]saDtJԌm0늮$[pJ6T P5rZd,WP9t.:+l2[z1xe}o6r2ic!g Z9f315#UF*{E0Ň/ @g vk Ï89;eE6N4>:0BaIM-j qm=#x2EW|v=:/%y!$f@sDI$bM- (rc_vInLå|@joWz$?~i І?nx=Ն8g8YzVowAn2Li!m&>T@b*-Dj7T %K-"B Hg28M,#mu8r|C酅*lX2Gv!><vY270Vv-cH]eS_>qsz~`e`sUfAT~.Hf T`9P+I&w5_ZXɤDjABJ`IX^#_ypoei" - Ef~uŏ-/+E)p\ JEܮncD@O0U>壟b=c)c(7XuZs=Is@sɌ;%{j8{< D<ձKKupSΕ̦'3.b("5MN]uf^k7Z!bcV:xqqu{ thl(6;AyJ,S}P= 0beqϜA`sWrxw8J*%:5gksvrvpw9;q0z!,bby}A61R:aE RǼ0\ǞX{ UUE)`I <1F?Fh!7IV,sR\}T6z$z-f$_68G_ F5}qP gԸ,JX(2a[@jױ7ʱk-vvS6yΓ}b4Z02x 0[[K諄5PrٰP#&7%>}^2A9~5KxyK)t1!(,ΚYj'$ FfАÖ.I\nQ*Ķ@Vi׷!yI{"Ɲ\tiNY`t3DyPg_ 7 zu`3 ?{B]zh<$.6o؊(0uE\.V=U`Sήnmqoon,rz>L$AҔxȊsp!9 ,u*C;hcĮ6_h?1(Š_=Sf lu2~~ W&kXb%K֢䶥PI~L^v`^($j-\\oR-M-mDY f.qV*Xg] 'hn l'AD6>j0*:j2)8̅k=J}*;VE)%ADӕ\'1got!-r<-4 ^RvH`LXxĽ'`ltCJ٩%M<w{_SC0.{>=b̖`pHޅnZKfXxq60:G=)HfcOec.1y{JE|PE'Bp ic\d^صy1āj>(Z4S KQ-@ID6hxsS* 1P͋dk $T'l' \XƫS]Ukx_,T /P?+9uJ2tfIG%W.۔(*ETrCqcQ!Vע1t,5cWwϰL9/`e.8r"F@Bc/J溔6ArKFhK|n.έ ]ccفWCFY_N]إ՛nxj" |+ǒ1qmJi x8 ̡vy;`*%:|5|~rHpW 0 mJC#xk5wWq[r؆H_mA߆Ypp|q$)"pwI,rRSu89X\nt`,U[{6Vla4iF AniIJ-?ΘKbYYMX9TĦ/]Ǡ#hj|,Ilr5=ph wPnwEva;ئ-&}QN1אv^_$R2N}UF> Ƈ(>]6S^(Ҟ32ܵl9A^*#DNHcZZ&rL/"\UXT's{pjO@mW\,aWr@8\CW'cp+Ġ-`$Kcbc nD'L$  $,`gl8CSOn8yƆِA$!M"@&D1FM EfxcY$=eGɝ0ƑꀈpAq7OPT @~ʭ "e&̧_|hedzF$̆s_VaHe ?H_E|R46)Ɓɀ(ڜENCFۦA tuS4qDΙt祺죩ܲDIIzW=_<}a;4wKJaX>Xb^3vιhWH޹J9TkGB \.h sl;++ɢPV"uK>Hu.fc~݈@hQiq#qW&c;ɢ!Ѷ鼶5 .{&Z /o7`J#(PaN#d`Sgm?Swlrӭx'*tg)}KG8ŧUVştn! ?oHy &~E7Yȫ;'ŀpfD.ϗmJfv'fѐl#)Z`9?q/l 7(?™d' Fr-nN3V;ڱlIt vJH\͚$3fվ%s(c\$GUןJ_7&,ti:W)L8B4`(gT}MoLf N[W < KBs,;bHev楆iRJPaf'WHx1KePPF gw`KBս~N*Pi o$´iZ6S<rqoGݗ\=k^+޼Or(E:tYPNl+0SG7U'gfH#_*&1u*KaZ:WUrPp0XCZ+2l`tmD2< M(;%8I%owS =3;#U"ZUXA[uNyL^g"1 $Tʹ||-OZK~ B$K-=<쐞N0yI'2櫠~̟yD!4+(DQV&F0.(3{iYm,'/67Bk{^oTh**fք{Wl.9):? b qڹ@U ;[PwC;UǢ%{`n#-`jSM`gf\&[Qe)>Deó PVKaA|VimU{RgИl-~׀Ȩy@Ε~<4'L-ݏ0Bxܽ88JKaG_th% M& )y x!JoPHhe!V`P0:r\d'ˤqFji1T#"J e-V@rGt|2+œ,M:̘NۍzAҫb#u0'CЦo$R։H;K~KegMu:x0̣ЈoEjWGn*N¹`|Q I6KFx%Fw񚦦v[ 0s GVZwgC^ɉPIlW߼vm P@%B,ZW P-. tW$Qz}XNꖳ'N#"-:Bj{[+gjH9Wo MVpCjAl@ڔ CbmP+?zkp3 RO@WIQ{.%r dzë1̽c4wa@pv`RҀ++rȡ' r&Øl1Bee-9OSpPLcsUi$~K^as_ݎh;Q>QU#iJC6*"؍ z}@cŚײP,wO+$iXyy1^r7dk-ZjIyYj" dKrnȝJna>VจLR]g|*(>Û$LIݷr<eW[||_ 9.LWSrF. Z1\ʉrHUB$sF0(+iTqxAe^8qQ! q`B9n"EB,y|yUAu ;#hb /܏/7:4ѹB'ŇCjA!H4 NIfp^6.HlQeYCK@@9wz*QኚD `TI5% [B)qسxɱ]jlG>͙w5^teVE#jʄ7YrPB1ܓ0x-q+hI%O_R9y JF_^M+\y0H)wZ?"Tꖓww A>͵J'#sibi˰ .K^t@W_jܫ|(#L# \2\%XB>Kd5{ s >۹f'oLfp:[6"p ̞MOt\,H-hO e%̓c7NaH'RduQ*ĉ9D'1œ4eԛwO ˏDn k~hs]Z kh Ux#m|F/6CFYpH)ږw,!+S% Fq34yi_[Reyb:Ê,0R2=eΔ:$"g$I1:i(V$m ڭkgWntEXzN4!f ,㽣>w1ŜL5lvO(eԧ+L }zg&_N&}?hN,mDj"38:Lu!r#j(bfUA)ǩ3G~>*mf^Pp&hc  XRI2YE, HE:K&!fgQ+s'E$^w.[1^"zNC'[e*:D7?ihrU$*hc1;ONPD~x`~- չbJT0Zɲq6J<~(-BZ$;8*ihSu$:U6>P qݞ)=uf(2Z+lf83)a2dlI]oi1/o:k &N$|HB]oAؑY;I .5o9 .Bn2`8g9RIBځ&_Z f;YY HɅZa F> KV?I,-Ev \.TㆍNP9<]̳~{Op%fD:5Qʔ%qF -#LJq]c<˽ 20ey}KћuQD/ OP{߳ 9ɇ/ǦJ,Z|FvmbaK=r3` q!~)/q Г.Fy?gc5yJ ŁE`E^[];eUMGq{T7ma$d#},6sܮ4;|KWakY۸m| ͟K a U:\AMݎ lhRRcsUVDZ&7C\f包B!Bxay`&㙙8@pRy[c^Qt՜3SiNj^Jþ>;>tIi!+~d[$.,[DLҔ'a5%ǟ6ۮUpQ^?WX80*|F^cq:d2ڏxpz%A97ě-U84$hy4P cj5ƀfŌ[f2?nVտ tazhD@[1ј\d$  .<7ތ5@$d0}RSz)SrV%gO[\l;A cα=XǤ2ZsNk^~dix;w?U>|O%V9Yq:%*,E;s3S'o>l loMH$طx΃ ||) aU3dK4BjTo°%y$[{`&[݀U6_J3ol~u~dȧ ~sc/,N>QXF۸}B݌H~ZÍLHaCL?ey0`yrE}j}d:h' gMpATF' A#ZPxyFxk&N- z0bJtSP'/hPwf3,: X;"*O׶5GLmGADM_$Ak)>`9 ~Jn>l *ҍ4gsܻ5'0W %bo$0|@!~4UuW^wHAj _GNd{g%#kvT`Ux2`<K&!/\--4R7,$뗐Pt&؞}*ŸBB˝1!v˩TqAZ }kgdʓO)GFPNG1f&#vk[ss̛E˽OG+EХZto2+޾&NaVUc`js&mk8rN*ntMA(6dxp׬~/8Civ+zt%-cɏ^r,nN:wƦPlm<H :}heVv{by) ũ .[X4 7)s ^~͢>.5!E#62pU$-Hr;vVӂ<O3K{eFU>"Jz8 3(r~cukPsc6W Nk&d8P-0~B|jP 2x ;lbj9/c&s~EUh~$cY߯JEň3Ԍ@SphO l2kNqS`'P~iWNAK0zR ۧjWK4X&7XWٿߑʴE|aboFݖ竜4ph@髞^O~'q0(f,XyF0oh:,4tfĉؼG9xQ^ uHBh;]pʩyY\Z8+NH!6%SȿI5Wi9TSŘ6Ў8Q_@WQn~j Hdoɿ ͉ #m=<¡xE|9x{$zTiMHc+QЙ͠:7cv,V:(qNeWs?6,k ZSw>)?-:>JykBȽS:I?nkluE@JFo45A 8?J*D1cݼt]>j3Lo#C$hmsx[V)T|L=6<` 8qN@YA#_o0 ܋}|Ep%] aU%:0X>qRjwʁ!}nwS^Bv _VU52_ wPlY1%$@+: Z0q_̂j&(qp2^RǶ/ W!l=Y?~ 23!bUfG0&x>6r'#֔$v,/+q KҞ $0LV?;h*RmhxDu g|57 O[^XGя^@~jxK$e渜5.yhM7q9JtJls̫=^4,zf2oCšͺ$6/.s[JBTmOid<̥U—/mC>nc Qw(Mki2R>%Ȍ-Mǎ8e"[cC+ڧ a}^ĿAV ;5IDuڗ} j93#ș~F.?V€{풑^]li.~zJLC.bg3/@n7 1:z|6ڤ%0Yn{j6Y6J+uI6R?.vBTmE,e&4ז;qq&#A~9s',cB;a& BM_gQE֣Svdb/W4AױbCW6U勢h#!&n{E,"x"|eM.}dͻƻ?7qt2?N7"ETj\''(p̀R^B7%-㸇 s7jVYuV1tͳyC! <(4O_6| 5-MMcN/Mē۞+Ѫ-Z^Ny)2¥գvzXWT>@ _7_;!Nj+l]W,o)l@L]'KY˨Pf<{BM]?ӯ\;f?m̮;GŌmZ zxy uy)@3MBlU}5O<"&HtţCBǧ`Շ[ge;t cJXrdt\%DqN V}Ըxr3SP씈-[Sī9z8N6f/f/*un=V21KK m"P5rG+^yMzq=)i u6_M\X?Ykg4@DE&/ \Zh QZ}nE'-l,wCa?6 y|pciL5q)z@IX#MO=O7>="#vP.O*:ks,1@^zN8f߻旔Wk#-bKrKd?qsLeU8EDG8i/b[9t,ǖK_ :⇵:=NZb^Zaξ)8 k$lbH \|p{2ybQ['}@mX\ $3hmRXY92&tXu ,$u|;ݣ?9CW@B_5]aZ Ȥ8̯>yͦZU<,r9GҬY׍HB&zɁ _DuUTfXd1 e4 f$ot|c@09'>#%2E5wljϥ&SOwD妜ߣ~yÒP[^Sl;jWk;k56SuL^Y`՘ƱCw/, -"Bj7\3.e !t,Ni  Ғⴄ8i-@PsQ fkG>Q(BXYC`yK,\Q!Xvo/7[!c7gM_bvY/!,g}uHc6Qyܰ9xVK1|!UQ1B<+A%VW#djH覴`-M):jvTx ֖ӔM4Thv3٭\:M;(51xRnl\ޅA̧H)7Qۋ}[( mjgJ̭(bh-[VؐI6F/VxCYEbN*I5qa63J v 7l-QvlYgK@ʗIcs<[WN]E~S׌HX#  iO cM%:!89JpkȎϛ5!j,VFPCn fycʤ?|` Zb"nʓ }lӽyŮ/&1Y/X+벳;p8%bj4r h dq>[ %ѭI4=zpxCVƒw Ų,jE[62tHcXW/-o QQvGpL" l1ֲ"kbV&=*-Zo)+ !XuI'ղ#&w+/ܣ& =BՔ$ @t3Ƒ4pLLR).nBjYu&Y'L%O؉|5{JѪ*KJ߷BKIEV":|%ujHWWePJ-S6P[34.jԶd.hz,`:OEGIP=U5WH\ly܊wp,+)0n#[LOm NkX_fS:?F+orW$agMJfךK{sͼ= {IS?f80/N/K$3輠ےLߎ8Æ~\0TY_;DtOϻ+st5n?5@:{'KKMQGqZ Ni. 5MN&y7UVizjٯ1TrNCJ³,HNbxвR8?+7 yz8= 6x6 9bBt괺ӪˮUlP.C0=;:.P6-i6ǹl8K{YXsoatx($|~P(FaկaRiw gqd oa1TOPi;=9bma5C8~~7o'} hRV#&Q ]勞Wx4}P.@pXA>kH/B{z%5ɢ4ֱgYZ57ec1ef1e1d9b98f8a12aba20245d7dc6bdd9ef8e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9 dc09a39d76722c2f6a77403e12e7aac18c8f9fa4 1339eb1ca36123670b55199a5d487b279070cb0a 54e85f313bb98269e41f7d310c827919149faa88 5bee07664c0c9fe868682ea1f8e7791be946cc01