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=588.301cpu=1299.344gc=18.6447zXZִF! K]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7X0='~\慜]e6xcˈ@?ϧ'֢סH$ktn*]]S$U`H3jlǰ|:<RW}C<Fz}#^SFi= !M>3@4~HͧdTFqg=\76i%bjz]>I#+ř90q)Ƅ_ ]ZacUtnEeԢJn"m!tL =G}90ŝ ԅ |\Z>sm-c(1RVn%LU0|w &S64r6}#u-ٱk(npBHa_D`%E[F&}2\ęזY2ځJ{Kr1M_4eEc!#cCiZ]J.S^:aE.*φ]hKhqR{MfC.@fVkld1`gYZ7zXZִF! [W]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).rJޏ{İhYAoû?zVU&:9,s\IF}YZ7zXZִF! ]ŗXi%BzX?Rݐ6dUDS:EkwOVS / 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 G 6PqJ Ж !,Mӄ4AW95n6u|:p-um"5 ,;uQNd ʉrJ=KjuAU'b[R8-;.*d{P.P-N2fpun~VP^ \He\3FllU_3I }6OX]_c_Ėa&7I`m w%Z]i6`fILSYz ]4|) v2M7ڼ}j͉HxۡYEn?SxڵǥM1ּl àR]#i|mOe})5mhjqd<>.^0: cV2ai`P%`DKH8Uȫx1Y|vGTkښ}bPA}HubTj ZHu i!;6XmgBOoٚ=G;z6c<}Ԇ8?Y..D9" W: `^Q%t\Y:S@3~3RK2I2je(3HDDl}=lpͶqxZ [Ct=s^ߘ̈́eS$miNaɎJIN.QgߡHBŗfa7dBT4)\/H/Y=1gz@-Xeʪow )O7UM$bP!ZfM?xsaZ:XKQ81h"JTFJqʏ4S>[A/c?n8 b]&h4 R=gDykb<[\Jb G\ T/m#Q}I%a`[bMg<@' V!t7] =ch̽yKȯ:;eh))ſ챌cR>iK2,;lfmݦͶν껍&YU8y%46ʫ\GBQ-@A@:'m$;B:hC8dfDdo1Ies%]8fyBtqjĘRSZ;S+ }0tJ`= sB=Dӓ#`ZfD脣fJ]S}Y=Gvʪ5#~G(`wԍ^>4 nFb,Sf;G."ɉN raWؗ8cG]ff:s$IIi?)KI-`O*EhQb@ql2j2L &2EuVxiy'D& reN#P&|Ʌ֤~`$[waO]Vk$oe`Ak.V˵e6vPpP@teС{jQNw@7M:i,Q/OAC즠BͲ@\n >C nL$.nz>mu*A2"5Nz kjIf6Ã}Ł D"ƊNK[A(|OGI9|%>2St6'푯!*6V{8FJo\ˀvJ0^zG°u3CC^l. sew2q6J;%ߞ}pT℁M ~w!{Ye t/qZg 9Q.AeQ! dw' >CZ:1a,"+,4vޤT%NKrMA##kE>JO [aHDɞ\[kwVF5Ѭ G%VuI:ȓOƐݵAWxJ&bdLf1EOޗd2= Jt8g |A\x>;-H(r o;|q#H>\]XpPyw4Ȃ-S_ӡDlJ\ZCKJs}8E6Q0%.-{<⭺_Ȍ(K΀om4q>% T'=6@]v"š/j1v,q0ʩ4تְIm,ֽdx(ǛPii8e; hr]mFC5:}SOW;RzK/o2D 6N!/]/rh:ϒ¹D3)k\cj~OA;pVgW9L]T0lɇý%w:c˲>η_PAJ9A٬%wG ꕷ@k+nJjN]˘(%_LPv1&b Z!J2?.2 $`R ~D=7Qxɳ^O!:k#"涵 SjyCir2e"TL2nNf%בyWXNIZzUg؎Bdj#EwzϜ >|rEh!ANlO*.5'˗#ᵻBe$<~nLt%\Z:qvW)JX _$(^@c(iG*vvЏȏ9(^vkSn,V˃8-G=)8ys?qWrq`C:0jh,9"2;.*QmuwF{ϤSS~G ně3ȮÒ#UC/~ k/盲ݘM]MRI54@80WSȂçMKM@9A0"PkzaoJG6ܖ!wKmeل &$7U@!-6_h!Z&ak_F >| U8(:mpK {W59{B y_oiӦ!Une̠}OEb-YI S+M`.R1{:Jo%*3[L1MB,dm ڒ$ciW(ymJxmԽ-GyĒ㽁?4K̞Y7i{#FԛE)@'$9e)e(Od+^Z Թ(cK 2cG|2P|$ULQaqI;Y0kXgc @~YbTf^0`N?#Wc{JPEiJ!9c3rBN 0[/XϾQy} UQO#~fGSlWdS~$]MR&tpIJV"K9{^V}̼\cx4 UaSW}=A0G+ a&OKUtgɲ6^#oPLMn'@{BxoO֫:0n,8WfBIQKY59F4)|:~Ķ8!lVCϖ?y~r {3&7LGQj̍ͦ@#w<'cAdd j|"8Sw. KvpBBU d3G6~ȉB\qA]`#=OPcgL@H![a? EyyM 칦ӕ Fe8]*HtD z+ix{+@ sjVOwK0!/Ra"܆}#EFG$_5⪼9WZAp{`h,j-€zߍrhE+$zYI8GpgRbb "fu|lZ4iv`"CK MڄWOX68~0&#yg:AKZy=Ŕ *ȫNv/q6ƒ:n4KK =ٖ+p8sk*Ƌq({u<5ue nl1x2gC<YDt3 %zDkI2myfR E<'۪|1_&ܶy *N^nv*ೂl{j?1_\ @V5:?C"Hjs1* :%o̾)X?^C:'PȧJV KZlmr~.a|x{g~V߸ (x%1sb!n&(T˗Kh"u7T>ڱg`3'bVoD(-OqVCZݼk7r 4"*ze;CJ@V#-kǨݷ0/[r!=*&ȺONꕙO:jѠQBnC>{9ۧ}73QJOrWEX-4 4".SQ:Q i\ܝE~"Ǧ,^û:3pȁdY*WXĹ ܍bApvLd~WEߊagaqW,c*+ᩥ07U`TS-"&95'SEM=bVso@6ǩs(E-ͩ045܏LBV]eȣ+I<kxF8VdSxEPG 9IXpiAY:Y"auY:KkA}b|{0> upֶi[ߗ;@.[=kIUƾInu":qO^| \'OgZ +.08ߣ;,eQ(f 2fa.Sv+F@K.d覃m8Xބ~(XRZYC>`]\) uQ(GZ)5J`t<F'8pLu }E} ԭ/jx߹!@{LK]veSR7&i]#ܣ2#?ě_|gEONR6o_ O.-jm1IZN/ I;B KAf E~vnݱs5T&vˁ~~ ҁ^s >?N~J4h()1UX?Pj؂qsGt<ͦu}?h9^ 8,OL'$1 \]L鬁iGhGmR\~[Ŀ0hUIUp>Q?]`;˴0DI£$ ~1~nxB#`0+)=n8> !j]ͪ?3hXS Ӵ1"OEJ'dTֳ^JOI}vu93whri"`q6#? Mݥ2GeAW Q>d%?/hA7wR9nN5} P:0-@GIb'ķ>#mQLvKʉ',O&&嗣yfYc'`mqG}R=Rh Ԛ8K3J-k mwdzB' EgE6@o"05&_x}e_O{)Fi¨!#y$Φvns_^pdѺSndĥ異tXiX9%~"D-T >F\,$Zdz\_7xS3TY7*!5F39lQ>ƐU<3f[L1s'!F@Z:t+\o%]i #?./fY<˩ cW.ٯ`NxJR2Ft=Wm_o5#VV~(v;ϬZ)5lQ&!__3CB/-W#ϸkj^+&\9OV0iT8: | Gn;{ۉ!tLLӷڝo+x'!5=Bm[@3+E0P,scrIeIamAOw "WtoGl- dZͮ1Q?K#Rʴb !R%z.=}kNbob*/K 4eԯ" '譈K :EZ=!cU\q{_ONش#z[/8N^۬M"Z _‘Dqz!X(7#Qwy~4j.u vٮ {|;geTe&e҂P|&bQ zY[&]EX%еE7yfGٕs 9.V@8K+w ?N(}fCy~=UEVityʬ.ıڙCSdNL<{>@(DZ4ͷ?Y)=5:D C>AU&uq̠j t^dfӖlw+D0'#hAQqڲ rKdf^:uLK^$ XAFVEm4prx8A6Hq)Kqk,J˷U"W|ɨ!^pXKvFṽBV DZJDOWJE~SrmY. K*5B$Ey NHpoVN\'Xz-Mc~po}[6j!WB$CPAc-#2/ is-&ACcR1PE?3uHElAօ Ք>\I6]^dTCk5Z"S۳Ϯ?1y=> KH7NtJՕ$?{VwVeQ|Ok_"RT_#r:SV`A ;NZ/G&V`sEYe0mm;1Z&fL9PۛӢvJ>*%!m~nMxA,[ yӌM%ll4UB*=/r՟ua 5rDVHluI
  • ̧'o' eȾЍCW6|-Mq\ D&páqŁԯ+#sGO[ogG~=~wH8|[D]ǝ0{Z9[!P_m5XQDϟIa| #IqE|No7f}GWK,>7S} @Iv c˜[}fYW)#®Z a jAQ)Cu|(AruX+"W2a>@SqOvY`nW$C$NDjguc6ϊI0%cp1~.ϸ;ojq4fǪ ҒR#oS͘O=g,`?VKRolc!0଒VQ  OcA"l꙾&@DZ[%.8'z1&poOu[aWbnL-0Etܔ~3{lTF%30YR[;L,]#n %=reb[R1G6Ugߦ`Htڝ+(烈ج,ZBş[wG88s 9뤗w!CR(WM)4iDz4U)*nkPkJ.W^n}-VE>̨.SU9䅣I7x0h!o7+\ F' gzrB'fy~H&^#vO*= 2yH(hsO0Ȟʩ$;=޵'DqA9i|NA_>/g@3]l;MhFG(g܉`ħQlO@<[^ 3_ixƔߴ3PZleyb n_Ӷ{%Fq͙k}hORLE6ٗ?<F+o- cWߛ*iBRSYSB)M/m`o#m:[wOcGt$rZ!أJef z6 F"SID׏۳./v3cN>BCFx@b2U':; %Y>V9 Fݵp|x:mTCEKG"9m%Po4ɷa lQ"wWH۠wv[ (h1, o4hX+#M|zӲbX*&6aKЙw02{=sM|ECbOJ px }Ђ8U(O}rbW8e-NG`E(ˎI=JID+(T]$8pS+ڎ0RꡒtWw:&紒,XǪ[uHA2eSԐWa7 Bl$ |:FHʻmgcBf:^MD3XIEBihyY}uX,tN)1.tz MŞ`;1GLʭ\ o(6].󴝱n+?EH&4|P|#-YyPCp!bpU0RX!H Mw? яwq8YZ{g+' ngS%̼`q_ʚld2n.لOM{;f(e׽2`2żFpVb+YnP-w~3,-T$zZuM$3LBG Iu=v+1#>Lz_'U2:ol)ԏۂjz:qǫh4}ߒiƴJਘ%P# HZt)jhUeSqGW=KP $/BwvKӁ&'ťBr--"h86z l=L;3Ȕ{Q૚mi4J-=I;nѓӽOdXȖ3}K@˦#0--0޿Ki|LD篿* A%="LiPa"A*ʬ>1|q9늵wivHQӲ2 *ӳq`?ceY''+y'%K.w<Ȧ4y( e_ ix M ')`Ʊ]W(P"DM;(-5*&0I*#e})qZ02^I.&$ަOOb囆ğ_}_*_PVG8@HDIr_x M wtE.Ę*B,J4xft,#Oc3Ƭ%Rww,&7m0߽BCY(9Iv6]$llww<^zZAOE.GtnuHwP/"$T`,e)k?`ʒ.)*_;&\mf5FHJحќ%/+:*qO|.D`S`}[Q9L)ɼL*-ۃ cH06҄p[[YR bY`X@nKDsaRҋLut|]S N{K &\k- ͹wkjmld=\oh{FH;rŗ6xt&yjZyH;il*A׎v 7㷿? ‡ q1OROBurCq> AΝإn2m%TX?|ӸuTu.Hx`|Y_i_>X(4a{L)%.@H'&u5p#eL/z&V [_>i4Fl%tlK`8kx֝E"x_] zl 8,4);sp?G(9rmAaTSsk kIZC mgH)̍ ɾ3픨}#BE7(2GpYNA9S/ydl.4bZZo0Ge Ȭ@]'Z/m#ڭBӑLj:Aa+'V g6I}q't~5kAYCMz9.74„|u<52ZA{\08‡E,CHO( qab:@ElC_Jq>ͤjkB a4M`MHH |=_ !7KWCHdgE$q/ŕY,P eE,qR7 6D/X"ө\'i Syq0,bdq3AO%ҋ\D3AgC4|ׅ?V2H-E#Y(rm"h@#>;rOvm* )MougV6[b8&3c:gt=8 :,L,QIW"e~uGşw]OgԠڋn-W\<7]9&'?uLGN` bVx^-uS-4K{=g^?p֤`H)SlSufRG`«7@n)QJ[*PǕG4\g{ۃ$yUjgڇZ$k T\KZ>3);?R5D[$;, '{ח oC΃9$X2XM_ߒƠֲ]2>L} ɸVzԷI%$9'|yaus42XT=+g\x0U5!7-X!$w4(4wm$|e yZV2AOXϟQJjN緱 K{ֽ0G'Or:[(sw-\5kr=`,Oj`\t#h8hQ$&-hR_qYE<[,*=lƺJTqb^47vkWaF^2ŋqr\R+ Dp Xmi zZzU(.U}?`q[Φ5u-vgsUqMWb+SgkGW!\`Զtڥ|AXEI\o7qb՝` U 7{HwiɼnYݬN? Y1hœ䮅AQ{4B,strx*B:<]aβ\C + ]-* ,5)uYX gչ/Rw, .LZq81 c6x^p(BFߐF:#5YtA{ DmFDx؃E1?tSԹ.:6GWbrs4Tѭ*=7*Ǵ~pq0Vm@ ~9s\w$ y>sv"R[] 8L"4N x_7+2 S"ī\*7[i9|"()5ŷE^*Ku`ahʱ /u2Y-'&yܑ ճ{)UfhUOǹ)K4n\@8_Iv3*m(z>>vEY5/_83tV$ aIzB]ws52%\o.1[1).jHN "(ʱ 8Ѐtb5GhF>TF٢I϶{ p&o W]P>HYF9I!lM>h:>a⿛bntG*8D,X=wVG1N:2O=GBS;a$Ώ-֖ua_*ˮrR|,;gu4N}M.Csz➃G}O0Fn=pTK4_OLZbNdSB{ z& Le2Q =k*lEzW1m _jM#6O"I8FN*loH% GO¹B7AV7T+N0HAH4Ҳ2zk_Vf .m;(Mvb4h} J#Z}%7pON!Zp={RA2{VČdy1GbAv= Rt Yw]h]^9 AZܷL(0bPl EpqӔv|'ӯFh>"JFpij?'1vl?/P:a0`Crsos^7 _mE1]w6̑ހh`&Es[wm^T ^SхC0>F[0[ډ%Wu"r/~b|Wt>ƐZϛ(itg'5&rpPV>R bҨX7R_HAPbEFQ8%!R>B'7 g7e1aN2p*wU40۞ 1*sq+ E1cXa}y֡p%n3%Ae7fcXϔ~=--z/Y.V^m4٪z/;|N ںhj5Buy68uInbVG0¼nsSa8k):Eo>@W[ wRP|J< s)"?H%MfD'Fxq>oTP{}`W=>KoaD|R5uΦP bY)hcbe\[U+ nݼ\QtsY$kTZ ؏qS`soa(/;ϥV7FcWA6+_[uضCxce"zBYHla c_G˓घg%sHB+X#y^ ^:K@ɶԥ[vcM585UՏ j: 8JT2 KS=I7 /*)AT{kpvJ{FLg!CaxG|FXs}цx؋ɼ'NMh7LGdErYpjϕW9Ƕۢ&FV6vpՙøbuiuv#W)<^K}>tXMS,SU !v_ K,+aa[ǟ9 nmX # "#7ԈܪTcaJI!0$c|O:&n[YrɼS[OC}%/'CܓdݢEll[Ś#bBr=s<C u!W_zH^h+f7؅{/^s7j+H8$>|Ei9IgUe4#YJZ*QP>%:O}ٝɳ@z (-[pC& qyKѤ풴B`jW!F*t9FjT|h^*%.,>Bi0lF?sn$8ݖtd]_.uSnݖ) G70_d/-ٽR-C΀7cd]8+wp5e̫p:_ݺMQa'hBiv>LY#!F =Pga!q?jX_G֫h~ Y͈6ʢzBRkC ͭ|v=D+;Xk:cn!\ŹyK$|ׅ,ht5)9ruԷ-^N~.lw& .xW5WϢOuzʨĀ?;n"Hiup_ dmT|] 7DTetc)?L|Q1$/S@pfI0FLen}ڱT*sȞ|7ȈEvZYw+qSO\]0ke" $zc8@FVM_ I6ZMqW.Vh&iJ_2 Cog YB!M^ Qaނ6_8A$4e4N*3g>sy,$1 G`Ʉ4: _} Fc'U\AM!PgoGM(a!#| a'Eqt\j&ɯ03iv\bhܕ>tC,cp%r<oo1]s>s^ӆ=\4zzg/I̤F*GqsC();|k/<Dc"^(:_ei$H+oj@̨ h^*U~~+fc h[ӊ-w:E Xr3g|9;i/k theg4[axilK:<]13kC|k`9[ݭpp/?X X4kN;K.M@p iگ{w\_k*Vt0-]τkKe%19h-ث y~| '2eN޽neNrr_ u[R 7HANEGT8˼uY2Cs(>Q%mO"}V-~o?C!e׋>xYv*1eKh))Uw2e'N 5geJEdpaP_qFVΥ9"6ңk 0ƒsfH1c?oDWm%iOjg2}O h>&l?7Ti8y {fs{j6>-DhmL$ǃ/i ȬWh~oO(AELV1ɛPQE 4hm\+:[ivWku&dpF7ƫcΊf3U4:Jat\9uFudGUS*Q #Qc(' }T3EۛG !-\UڄE;2t`$ՖW5n@k.ԈAKM'>tfY+dthLrikzݽZ CAhi~a c\Xu-0X뷷(&EӨb̠=8,te_4BI4!['j㿰O-W4?>;<*뿓حaA sc-<1gMFs,tI_)% S⣁dixxdSbޭIΟ2CDm]u*X|s^ƟUR7NoG2.qM>_8fc'SҒq6U<++ :J [?,1l?R}^hvt]+DG7HށuR2*/L}ʐk7> V6e_!5QAV[̇M5P#St-;pz"GM  nT_DuTz~uy0}oIԮ*r׌:G?y) ÌT4:⤷Kc*7**7!xB-Go3{ ݑ0E}\RbL{F8A>6؍t+hrKaWOҳ?D!Euu쓉)Q\QNGDdިQ#am-LI9mxQ_u+n(l9LPpxL+lJsĦlO HƖw:/!C,Ħwĩ/ˏ,("0NSKz9+1^R>uG@z1:" #Q2Jqْ\%mнz2b]'۬g14ouN^cQDe؂mmX7.Kjwؑ%d#1J/.imE+n>onYVku,;%A)hċOWdw'S[hkqG':u0b 7ڡV^}߳LL #n' uJڝS !CTk'xTVx;PྌG/|ːRڏr!1""{2 \) ӧ"i;wu1WD]q>͂mAB>m0΅R|Pf ։9cnȐd{WˆsQS{* ?:ȑj`%Ag魖2C85*H7@$M6A. ?そf:"#&O:.L(֗.04 @ [-g"Y yqޡ'v:xR-ru8^O1z~wH0vp"c#9@g_HGpW8rqs.ݳV9+svx$DS85^w闼/b|0y纕aR3ÑN\h*YV W1ʂ{zUH&-JZ.vP5ʺQbAhg*tª.-^E3Xܷj vZT3\R3I,xov^J릕ծ *paJd))JwfĔOaMV=4݅DV&Gx!r;U1 MD8&249OeV *Yޛ.V0FGwz0(gZ9pGo^m8Ypi\)agB݀"nt]U=.d})1,ͅYY1lǢ48+J t ;(vw3mmqLs?\;|Ek;N+"vE gdLh*uX9Qu|ra:6p ?ܤ89WE}l(c0tButCGr+TsIJЭj2BCp ~~U)5DT7:{t(_8Jӄ+:=-_70:wiJ7]҃pXj+bc^7\׋eBc!.0-/7Lg<5W|(t쬰U4Ds6 g<_ǕF=>[&0f=n4!G5/M A#r!鸓s>mdϨGf CoNU-X:E&G. ?o7 t**È7 ۮfB=xmİnfCzbU.U! 4W8bve`9-ͅbEmZ]kʂE"Sa+Xw/to*k2N'!N޷R I,(i$xg~i[Bd`IlJ E^ zE/?I*ْM N]dΨkVw܈6 D[?ŸrO(9w/r վfq!BHɑv,X?$NIgSWkD)gpk鏨{ =T#u+Vj0  Uyތ÷CϚ1-Q>rV=I0\d~[ڜ/x' $)ƹekO8W=&hrHU0A.=y*pM]Ө="j$dRw7w8He]] ajn)JnQB/FJ[  j9&^Z䷴BκwU#Q8L-z}S銏ju:Qf؏,&`en9@̀3ln9~ Bq`ބ_e~؟|5ojyw?N sKdL>x>~@g]{qz6mH2꘯wg644_C~noB {cQgI˄>#W'uX7L?ߢd[\]|?$:9ڥsnY H'vD^9Z4#ݰ㊨cZ!{e^bNJ9|@JUHX4A[ۜjgQE0QOhS}ΐovF<~#5f>(!Exrà U]y\ɋ)vݴ)-;{久0e]e~Ȩ~k$O7Au}}MCQqa$!MqbR iQ]{XUWR"=R5WaRyzSѬ3Ґ`cc5,3P oK~*KWӇ{ tp5\}zαpN8 ž$WL>de@w(=PVs< F}sDs0+%!| :%nhkܝL(+ZCDgϲC^sƄ{-*4t>bdn=3 Ha3_CU?f~E9\/wQ<Ɋ4Ih#*JդaBfl"5tY$kYo viZ3O(_.8Y0]^SD$xY'#T#jAGQ&O0M^& ngFy?2y LL_ZP6<}>ܹ|LuHV.jêGpnF]vbNѰ I h*#κ b@%#ѥ/> "݃O6{~H|Ӗ(bXji^wwa2rWwN- ݂ <ap/j0-"P1yXi$ V~Mhxzi}-%^A#<$Bmzϖ2 ^Fg5}ANgR h-O3K((h\1)r$?-'w4ltu;B\sebf\KwtR [r^^VJ<\lN⒯!pQϑqX,i&?le,[y]V+Uz'N톥z*A; HAn#^5i>[01!~YQN͠$V3:1hU͚2K)f&^̡ar<&х3]&.9e _3MIOrˡ1xЧ-*1^+AauiQc"2 `;5|Og*;TSUGaP bԃ0WESY;Z[9R.}} ^e$뫆sZ %(sjqͷYJ] Jk:wɞ։> )k$Q: pSPBRCV97\iZ 2A[ژ2Y,dzƜ9)"T'6na&}Z[C qex*}4Ll#b)ݘi8nb言k!&ҸCtثwqn #U}-8zwHx=*)=+[nM,T~@"JdY[{fO3?L|Xfxp)V>CYi^D aLڣSug&oHt.ҍ;iTFP|עRVin$7Kwhj<\`w~ uʼ '< xn* d^w!Sns?0+~pWbftրMqfQa  9y25ϣ? rUs)ؼόXLrMS&}U!;/m#Zaм/!'~](4TyYnMuXr |@9ӳS43]$+-{2S6mQ;i3Gwճz#EQF1R8sN_l +^JEDާ0,Cڃy3W@.D3^yϟ[-4~5o|DVPxbs;0QE{$an (VcuIY @Sz8I8'X=WBr&ȊW475Z~)TJ"NLBO!.u5I{B?M+.zCUd8DpF]4~_@Iݵ17@&_!gir( RKWTْj IuxhWbw!Q-֣@~P%{n$ xmx9Tkw$:ӯNP(nsBØY%XOJ [҉"찦0kjF[&sNUǰ!zyPWzJWa %,7z]x%Q{k5tl瘰%P7 ̎.}h?$SС@ .Zst([JY r@Y/ Bz&Z6fqgj_˰ !N漄} R<g_j >ʚdhE7m$F}̳2*zP=ϒ9OcC?W_CB}ި#v G_75yv8^CGzU?=3)8h {1Ī"W)ue4MZq5x IA+8J1࿤ -\ľ:{Z.zgii},LR$JEt?Ѥ-A @|Y:w.lG.+c*wg?$[ROabԄ4@R@r؎"XqAYݶa 9heH/!c&0Ai΍Mlc;dOFz֟kɓNUAg{ ǐ)9yU8@Y(>6n6j[ѴIajį59Y8B.>}YdCWY@ƺ؋Wr&^x$r:2n᝽9+oG? ~`\xe8N5H)g?v.EIf*f]W0Ϳ(6!IEt_q=ߣCGU HSï| |hk㉛p=02I4˜(n 4OSaYԬ[/[Ixٵв!< *,=!2ïB bk(54cg4-{ҶXrV8* [}cǀ995O-9ov7<@"c8 `zq\e?q#cD`ٞ0(,k 8sE0_#c;jW 뭢PqvqNLvSGveZMtt>oR;/Ur-n1O(7FIOyn-=àlx ,F.AQ,e[]nBϧW*C!E(\&dx]-$iH*D,:dЄG苶]l+ڽ- C}WB7)u.Z‹3U=xBг>Do` (W뛙uHW1vARWxAN k)jK1qlxn/5CԩؠWgGG"6f([CqH}Ʀ4u!G dd-f*pDQy9kF4E1,>/;" ~,=4?8GRGxglZ Exu_ [6~霯Pql P~šMtǒÿ9+Cyғ!Ƿ"ŝRr߯烺H3у\B'XiL$\}~V0쑚e0l*ڀcKc]I(Z>JB6YSw.[ЧqZ; aPkP͛\x!^36څVuZ)$ `ܾE$JVh-U6uR=r&\c[DH~ve:1/\3 (yEyNZ膮?I4 $۫zX͇Fb9w mvO*'[zOp[8ۙT1 e 'Urmih>IU,E؎Svޯg3G_>K6y_33Ow[:;.E>W$ۤ)l:Ls}΂IspN_͵MP zIdzye(-Ix6Հ὇n[{7ʍ b Hl^;`%|!c濤Pmkc[]]hJk[E_(f..'Mץ eoc3`[ 8)a׋]H_";@WƸ ĦR 1bAo(91Ѿ(| e:MjvO 8⟌2.:ˈ6rʔ1Jf5ރ)2sU EFSQ/ˎ@gYŕervir{uPT x"lr2**?]܃PB>w3]?H#n&m5~~t ︲RU41#8F?NdD`^8pio 5_ltľR;o:ٴ=q-Yq4X޻›/"1JjpgTb*KRcEA8iETe'9P+9ƺGF8M`9g%@tj^2 rYOZzmn ~_C3]ߤ^ͳl`Fګnx%i!@~D\%gQ~VQܴ8\0TCXH؝<4)Em苶Mqh0'*e:-mZ Һ`hfu'ENiWg`B J,L+!"-Er f>#\c(Xjy)- @]=Z`#r(*L:!\@O(aЦ"[?~gٰRD~o9{jQIl?k-Qɸ-r1eYkBTwr=3B/91ihA\Pp{XY.Rd#zm`]`ywʠtV#E)~`l<9j@ζIBaʡjL'A*?s&vX4CL ?!uԿlO[@ oM{KTG8D !9F&5Y@{AR rNţ[ܜT# 2)^{1 7VRuŸ?ڷk {erŎK׾v)& t^tX՘ľDs@K8I+sVyu.!M+}m%2} lwR_,}b#&z̒y9QJj1[X'*ySHk"(l]XR5{,Їk/ev;3fL[q~1r[QߦLfKr爨kjoi?LnD3=S+|&Ǹ1m-qa#]oJǢt5># ^ sM@,`YE ɵ^w4xlpdJT k.=)QI 0)銰ΩU伲7›]AC=Ȼ>!Ty[=V| =UJUdES742 sS_N3/bn $> @)\H<{vHh\HL)f#-J`JJ(Ž)0=ȍ lSS _b?+YD\y> W" .r@0R%ҙtAf*6gJp[kEL;#b;&fz UU R[j\3pZcJ/n5 HKq{8dvʂ5 WܛJ0N0xDY2*J_&g]KH׍e}AO$ۍ.qx.s#->6Mʷ6I,=(c8,1ri5Α J˳ݚ~ckd&| W6<7/}.Yҁ0wSZal e8.*Gt/aޔvCcYэ=o%p+-O62=9F,H Up7y:Z^-aT DAi rmӧ%ޔ<}h`@cW9崨0Y1 A}2xvTm76ﵡhg%#eP! p&)| }%iBZ%ͥBO}.0O&aƾ<%oP@ZJf>!&WUet\!xl3ZI`O1]ǭ˭HӤ{ Kh|JqL o/^-*-΍ {},mB_,!(9uZ-n؆q _U9\N O'*)Z 3b'GR,-?~" 5Ǵv8A|m #X/EuKȏ9ip55" Tbft&M^j.gRŢtj,`K?E֎R*zH Nl@׾w&qod[ cu>(%UT}?D/w<7b @R3Sϔ{@w!!ݩ]iS5y0SSu:V%M|Rpoϲ5v!-l/s~~LG{)ِ,"Pfx;v{# :U}\BU᫭ɣ\QqxHc.Yç+nbNd#ս|* ;MM}>ؕV"0)Rƭ޸EwW#okS}bj5 jU:ypJ,9T=G%do5=>´2 R% RͣMΠp\8U(u=| >3cz!5e7o7F)M*~ڸP؂0mhڤEÜuSX:|p-cviQ =|RsybW󚧐_S}Pxju:j{r!QfkЗ:I+R˸m (dUpۋ= cZOD$ Uy|XOriH4#ܱ7mQB2G4pV8P+X-w~>MjeQ+,A_3 HgYZbb37f74648e54f2414f48fea782ceb6e362e25f796398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2abd28a29f7e1a08ce09ecc87dc8462d66e1909f 88aa35e275e22cdf2adda585ac8b16a86c5fe773 fe60d19ac793058b88ed5fa16d2ff3b55d0acb19