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 q5xL\ ]]Amortized_Complexity:threads=4elapsed=56.990cpu=191.072gc=14.9087zXZִF! K_]ŗXiɟd)&]hS.J}+%$v΁F`V L2Mlg{jz8h >:˫!g`=mh>t)LY rL0ZU`3WJKie+v ]\׆HPp |(6b[w27, iۄx6āSkH va\\ʦ>nӤQ ¿YY9!g/jy~ci־ZZf]pnk t8nMEJg:ݎ`2_gGF;D8񡅠CV{=`*{i,+RdL[~ dp)~!X8wOBǣ*o6S.9ÚCrзb /Q orWyAI)sPՖ ?ͮT&51q,V1.P?=1a%1qA B?O.hjQ,S9!Μ%_k' -KA]craCG~9Qu$Z|堵<$ekd7djN "ooDUEqCe8;(~d'yђab(_۔YFa}+K5t"' ON== A)Ls)L"'dS6Qs,%JdxIw֭xf [q_dN|U$f_hx ='|ns$d8yuʳ/h\G$쌽:P ,< 4MJ5AoF@2]4ZxɊ'Zsx%a1<;,Gp޳-j8wI^\?N^Z2Lq^5UO6#xRs+n~gggL'ziI%v Iр}ҟltJ'!%ä.ͪZE솄[( Kr9Q\_>(kEdpXAU(, Oyt\ dnQ<\1aov֐ʉq&8 jbִ*L1_^Ŷ-"Fl<>H"KϭIaR`5V0 wU}t' =uOSO$mnVj%W$P*m옖֠rn?b|AmyL]Ҵzɣ=2^zJ;KGN>a5{D8f\Qogew< y}2"ϧ&EY%}غiets^~ ?1KP+dc9\[Gl" ROX|4j8 {t]ٙ#0haB,b}JpֱQ [hDVvRs?PmsxN 76QܡO1ͳቖ@oX_3ͱ=x9ϻnPl@gw7C_4n$_kpD^G/""ʞFrX-2 X5Qhѕ.+9F%#r9Yʅ*-l8Vc 'LjeZfe=p.M^Kz 5.l|qEq`7 BG}3کՀHI h-.'a%ɚGmr]-S@Ռ;Ek:9fMC_Yk٪?bˊ.e㤉"E2Ƕ†%di[#y+Z'@FRv2MJiywitt1ԓm7E侟SdcTƬ]F+w)5S2ȼ\Qϰcg iЬP-93%>Mpqt@ORfpkGtx`,Vu]*`VOVmu \seD $c؟D?/q ڄdKޓ{MX(Qr( bkCr‘mMo n"w}=(%p|SVY lx>0Y $onżY]>5\[ۀ pO]gD"1).u*m"jSnnp%9p˓k-BI_ݲI(ئzeߑv8uRzSMe "Q6?la୺HzL)ʑLBHI޺0 e/QR_uh▗~+سmR2cȗQ@lF40cүdզ>þON ^lB$.% 5 Amortized_Complexity  9գ,q9PQ~@"gߟp1!ҧJ򍨔,h:;#K^ʐӗx2~Ok#,M8Lہ@ W9̛@̤h;~E8b'!Q%M]N)Q,[Rf#x*oWlZt3RZJUǡezXFvI:d:Txr=57 VHi.d UX&X#Բ84uz6JI: BD)-;,&fyHTR gupf ("a1&?'TЩ=E.Psi*+_z9*ڢ2"v2@$J Abx%$-=a /X\ nhb>̱*(ǻVo˝Vc¿dn>D`ڧ /de齞gH W3 6H 4,I 4\tp(8sxtEӨhӴmӏjHl^،])z|{Z=:.xj[G_2~9#ӝЌ"!xHoT@PƚDZ}ʣly&:ԷcVKyL:9XkaJǣRé/Ooa()ݰqZI.&+Ј/"KhN TyY;hGgG͢óv5ǯ7m5 \iޫR2&0C:Tw]÷C)+Q5_O@MBr}0 S?v~&g® Z1ԎPƨDM`Ho+ĀGT#.e3s,/_qarZ*i9ۈfj\p& Gd"WAw4H,w'ވ[Ќu` T9nwe,35d\|CE\>|~.sJ}-l,gs`\DھSt-GO,~ی1J! r>ۇ"))D9KW'w3DBz?N?UNn zȇ,z[D_=Y¤ h#$dbxhm<)t1ocshPlw|:5;I3b))z{&ܒ_[dD晹;u?E["R$|8[KFhQG:޶ȡٮ2L0futDzO5E`='gF ]},~:<σ\ &I]DBuC:G(3- 1m TtBWPJ3TܢuipuZ5x&5P8rV:U1TA<9)T2]'UӢQ8EwѨ*JpmۏSBo#lc' bKϡ,HUb"pV/4+M1;FuxC߹ZkXuQXU@oUjS o!I={dty+]yr!": aCr72u*dhOE3Q:M( !쵹cäTK%I|kTnުPt7ng1ԒD\2q*a_\&4WK%EkJA1'=/Ukƨ۴\i-m]jWeU|GѼLIjAߊM)J,e!I{Xq*響]%ÿB@qknyQ<ȕLp7lfcY?ۛ+FtN7:0rqvw`dɓSokP[>?B17Zb]Gq)c[~\}8AW+B4ܮ׀W32 k9ɹ?"x@CQ@ }EYgi+ײǪ wnLS!k$Ky 9*ܠa68c f"5Cf]YG]6Lxj'v7ap¦KgF0WXl"Coٛ .0!9ݘXE=^ksb^v}frz%s sE )&ѫYOB|$zTI͕30"Q ܝ@I)jZn^vJL:99uD48-ًmBMok%v]]-h1s#=h,0aSVx{9r$h,9L2^i uĂ+WN>I(NdJ(aS׮ŃX4^z ;Xr7Th_&2`UAzŅ:fiî ۚk6łj!6Ý}+o,֏o.yɠӚN 懎˯_4ls?m1ÆB?,tJ\Z)x (*_-FSߘF7#Yۮ[.s{Qȶ sȩPٯfY9 .Kp(eW>d(Yչ0VM^ WW[>q`SN\9{D{#g0&VBx`|!wh]#?<M~ Nc^ o}cAV?^顭?_Ksߕ}>;F,L8 &IV VD)T藻.>wM#o˴__ҫ) iYX*4Mz"] w9c)[Ys;C@?3WpE )CqA {I\D .0BYw͟!2J,d𢫔UV@+Hu`] H˯n ̅\LЛ,23;D~6нØ\ȩ]Nh+*>*V(Ji4T֖إL9dVg9fW`Z|>L-0'7-W^weT7g|47azNP#CR|碦_b6⛗3|o!?f?ѠnZspt-\II|@x`y_?VI I˓{b5߭L*(3mTṃV(yȎD8N?D6#>E|3 rv3R!sIfvZ}>r! $I7FGI6AD΁3ζG_Tb`^3}{qEbE5b\O.a4F?4 зSUVHF'[-YTLtS:Py`!>#i9 8g,VcF\@@=Zrny--xI 7_a{O|UſWqU<_=4gMD vV$1/3Zl N_-~~~ [iGW5J&o@=`ŪbNײ]:_C_/|hBT5LLu5N3c0yEml df J0r||)>kwΕ>Dzi3$0,V~I fB++q,* 0(Sj Q  =Ssܴ!FH҇{yU#4on a''}N7c#GK\9J=nf)N9RFP:ng"svIښ||сl,T- 7D*u^ H<6y0Z烙WHSWv KU-*U%#Epp}="݆"G:s 5x՗VxC( pyP߽'-ʋJ5q"ڑb2EE_~'lQk@ JmHŒAqd!9`3o;6`ull@ DNf]Cխ -lL ^TN[e}h>:xU rM=os_i4~&5#!`7xG۴mM1jeOi)Zҁq%Bj-C *~6.6p!kXp?RFQlӯL~դtBY0^0e>?c0|g Z1^Wu%X-N%|'iq]~ \{vZug^͎l"dtu^O҅'MwN3YRe#&̌}p>w̿U-YNՋEqtr4:p؞Z+U0y)!!thmפi:ڀ{k1iMkM&'\"ɠChOPrv0mX._''aOD_'&ɊAtE}mqvV Р^{P SNn_Gg84 ޼>)qG{FܮVxa HS/:p]e՚>>wHV.XM;u[I0E5&(Cs?{:H̨-g6UAbz^f%J~%7?HTp”-9m_|<E:()Qg1cp%9ߟ31" Yѝ2rpFq.Ao%Iϳ뢃+G}NX#kώ1O-`2vAv1ʹ,3AJ9 Y:.\բQE9Xf~ҮȻ#=LP"}s.ЅlQJK \ dL3Lggs-$!Jc>[T.9eI$P ̫R rŦ4ڄ-|{$I^a[Y+DB3ܨ?13sS߿bA{3F?B%9uZÿFqKא=ۿ/NY/R F;$ڸW{Cr(YݜUdncpq^)wgqя1'[$B9kW4)oi/ڙoEeb+Hʂu`$+F@{ґ<3\UJbdX=a TA*@oՠReޞTZ / ZmHOxH*frVj^2%2w2x~<*.y!gsNG_^10!dlWwDk|7jJ+0|N4.n8X>0FQVA ~?>cL#)] SׯH^Et0nIp0GmY)̒4Ŵ/osiS8< MR2l Fxؤ9v/60:1GBtIt7u ϺOYHg9,?cظM9(FuJ}EG]F6M,=ZhyT ^[ϼje9~>ȡ%W"j$5bʥ[}rd=Ea>Uxi[0 "6Fwh˰ Qg1Q+[.M*Sq $4ԛGǹ=Zm2aT y ^>u3psk;|;<+Nی)W^4/'ٖi'vyn k4.fIF9RKpkťθs5pVq|Mm/PNJـLc~+b<]7keִKë&&7>m?`t7X,MVÓliUV @3).&TJM=+R%2X,7lYޡG[,,_.o+vj&l06%wiCA& 25 > 'Zg`x9آˏTm{)n9*?g 0S5S/v{_Ɍ_ P ^+ Çgylw @[ +P^CZx=?'=)cl|Z )3jCo+LֈZ%EROтqȒOme zjJHTqUޠ~Bmv!Sׁ@z*i&O"P[fVZcg#9oo~&yG9\!IC']>s4E_~I0vYY5å@VL;PZQ/"eʔyR39%|D4nIJP0-VK5xݭ!?8ĮvUL$U GN1K'_۱   {GSVÿԦ̒fɷ1GByat~9TChʥPe\޸%M:Kfa1s̈́R;%|wNJT /E ƒ9D`&:nsm=?j]?T^G] DXD_\b6*ݑ>'NAPw\w=97nXI1Ʋ-S5O[@pg/uM^bD1|oN3WVFX%k4>ipUSH,3TNTDK7h3aSDxS韯:\z9bZTk~Hϫφ2S~ʚKS xnW(#nc|5u38nq]֟`!\ܕ]Ьr%r 8  PVսĈ2̵kD[qg21ifkE1̌{[ߎjP|"e_1F$u$d7T 7gd? @J}tIaoW\4W)2|XGus_{K÷XˁKum]:E HuҡZzSswR^-o;IJaօbqK!`Xv;Q#?5{OnjIܒ(LN ǛA e: T!t_e1@ԎwզmV+ےW$jJ?hؚ?_A$!66>Jj~ m%Jj~,`M5$L :VۗZ>JO͹R}8qP~ФCcic7+d%ih';W{E^ɘX\PcR˾ &ևKe\*ZAMc$k?Lo^3)GW܇.PP2EW#)H>Ԉgp(o3p@/|B5lgYu6-Ih0;ٹk? 7Kxsņ6ۈ n_5D?-a϶ }2!Jj6."z>j!Esvmn!b5\<-AGcJu(1. )eX3V"Fbcd@Z7.b%Ut \A78#" <`-oɒw#Led?ī]rd6?4$̄Zhz+=(麚46Եv\N-MR5B(ӒĮL cڝ fG j4g_zcCq`mgQ'a.q AǎT"["Bm.nى _Pj4 UW?;FD$o1]1I;I]TvCU+ʗ]φΎ˞Tv%]Y_2g& s~MmtAH7]5+1n oOj@s~9֭]u5:1Yզ;A֊~)& 3@{|S`ZƸ|/EwZ3 '@ŝh}2^o%FU0{zx|ZC5  jg v1n?iNd =;#`Nӌw;2q=ů|d2-pw:Qdx Z%\ţ$%52F_W0u^vQ5Sxws$=dSa wsz=fm0Vy㠰οRb53I sMpInycsmhD9yzE^}Jt'Y7 |EIeY/c,9N *TJՌ'(O:\{:Y[m$AEo:*{x%`=ҽ2bݮ8ថni9X=LO\? (e*݁t8E˾$ Fk\y{.q(rFe7Xny*]qJPk浪pW6_x}fl ZkOiZ&6%?S7hBk :֭?dX (-G3I}^~م1Bmh2yzf*S"i9W`6izF9#PO!mÒl"VnC<$թ${.OLN#y eT8 ȩ^\D1s൜4 E8Z*H40ҥ,?AiL :% &N Xp9M叱Er"R4nI.hݥ'~M(q(Brt+;$bg!GI^FZ%'𥉉gkF1<Z!u$6P@%Gu; hQV~FROUIQ/=,ۭfx d#:Sf> d%6 (?O" I4`_îfZ VFHpz?UܪuZH'*!CG!M Tyyw*dd\zK1xjǝVɔ3#=GKj0fF{^ vU+/MFNifx+41i^__:MHvʆC U+?z{*-$h\Y%{C0!NP =m( G : ]J u@[7Y:= ƕ 8dߢIW:2V=fԂZ4Ĝ2׌&$xMHƃ]WIwͧD2  0`}"*'ҡ]y9]VņR#:\*۩/xf"A0⤹^0yyzż'j$6~U9Y7$E8$Ή%~ʶM`sl;F1!Z7,*.4yC TwHUI<(Pa'D|6<"oޖ8ꌙ,wC"p0QFf|~x{-$[ROȮZ9EdKru+AJT~gOoٰZδoK]Ϸhc9w9Hf-'r4 X(;v=]hsjqo=MN]p  JK¤^p^=eEABƀC:)8m[=0G_!lIz|CphQ:h-jjbŒbg>9;da/}A{^?Lna&IH4#\ BTƧ#1GuEln͜3Qw68\R!.+ &P(2D yOt; 7W7ʠ\~]=kmf:.vn D7"2]WF guQalUX!ĝ_6cr/w7x๑̒ 'qZ؅_/Ƒ dbNth]z"-uyFhuҟ7*B[ux3c^8o [#tT'Uz_{܃v!CV)HT5{{%1|%A]NWtjq|AA;z"sF?hf2AKs$㒭Ĵ°1pm)s1»}ktB7ayAp=l 2(B^ w|/3ZzC =\pňa.ث;)fWD.,r*!Sh%.2 U,;&E,gB[`?FM-f9uq,=J' Bڪ5ZA]0tl76eqnXW6o%=U.p4rW^"!$DL) X(z]u'Qȃ#-iV] &S B- m>Id8؛[Es7$:Ίh7xO__t_@ZZRj/̛+,Λ:b}i刄=an,[-٤nqÖ6[T~&6O+`3Ւ c 4骸|u9gmb Еa84 f @$%mlt#]yONZlNބix~ՠUwjI#}6f5([Ƙ!af_ L܅N9!qq]@zJ㸂L5ÏH'8˥ēv QZFK#%nOS}H(j$H-o򢄒E{D^Z\)[/(hKR>iPsI*-U "JJcafsςƋct񘗌8x@9j3B)P#<ʪS Osaj0@q+R2J͏im.X} *fq4daxM y-43>r&).5-|S:.IZdU<:t,X̂DmM[ýb/F"80wt|ֳb$xGaP8p*c/];|B%ʞY{ ktѶiUH%g9Y7&im1F"ehj82JE3d'CIi.>ZI yKd>Brf (Ǻ%$)O5eY+ZYNpCds0p4GajNh_pQ9E$7' hfwtm8E ifc *w Iݍ^{n1<-Ha%uI'q6dÒUʘ#PBZ.Ə?ǬAͧ9ivaq^.d:`;rÛ|tc,W?_a54bPF0Ly-zͰjӯ%*W'fP$ֺ?TSpx=2#mlP0>zwNgjM.< cM;֍ߖ=챎;oN2&\jaxwrEN*9R7qY7P+(s$嘄J̫s^%JBT+q;}^5TkNemXNTT](]khUS+K3Ki!nY-ptWTHOHwFąSGEM?`~ k Q)IM*4pq,D=h%aK&ݯLǸDd$B8?[c&6-L"5qҡvrUL_*Q>e!lΠ9c';P}ۼ BgR  O>=Lݹ0?\DwL) T,R1m)ul9dȥ)c O3LTk@BCћ"Ip\c9OဥY̎vȈX,iLdi~"Dz m]Y1VmQKP;0͞:YJvw0 9_"_,6IZo._o_({?Ҷߗפv*X@&Wɛ؝݆jFg4FC/@܁,{A̛ǣ̗Ma  YipI<9M{=LA+o="W=vMߺ* )pm,;vsMy%{ lBi*c?rGB3;shuN8 ^pNlD2 ] o[횋%2ow$o)0;(Ј a3`$~)n0$( gx cb;~h/I\"(.Z"%Ѝ> *#=?\ϲU N /^%jbT|ʖ8f(̋_ة}760ݫ!!A']oζÝb ˢ~|t,M%j8wn$A^Yq]8JI[F(~c{-D>T5 'ciй 9)/y9-}j*f%?)f@)HɅm0bUX~g:CXIݞJ_}9\dIE2b< e閡UTmm[d\utwr :ʙp b?6bQi ;3Ok&Bij׌?5$y}w 8BOʮA~/:;Z^2A7Ny]"ӹ~LΊ3dݨKǝ w ቢ*j؆t6xQ" խ3{iB4~61kV]ڌ)@[vtRtAJRg)q,B?Ol^6^[70l+jMWugܩojfqʬl<q =s^2縃/ #$5UUFG6vV5@;q툃^ILd ;dbxtQj#R2Qu]Ry_d;Ɲŕ'`0 ѪGgF ێvHmT8m_='pifh Tx#v4څ%@tbiTPī/隸xDb<8 ~_6vUTx.]ٞ*|*Yʾ+" a &ޟQcӡ:\Llo09[>2WFRr eIh9IkB8yU`Hele?P{լ3&F"ON&kjyjوs6w7x2~S+BXzkSðWP`UƸ.l5. -SdxpЃ_|؆ "zc[M/zm㗳Fm ՋJȬHh`8 +0 ]: Y%L/KjD{FK= sAدF 7:*vl漕t%]5sn]ľl%V G- QkP3UKOIs9omZjUy71# _Q=L̍uQ+[ 75B@Jw?eqNZg0|k~&XOFƃ]|Q[<#mh)[V~K2|:ȡqW޺ +_2c MU 5 ^sF}Q{=-IY;n-p&:׉0 ۣ"a. ]{kמ<Cu~X^FO;J^1sm< xr~6 n)Lt]CaFe~åuLPJ qHxN/GKu򎇤8h妺it\,p$L`׆wG:۲% 5I@ VF2!uS ŁuQ0G/g7J@_2Nԕtb8ydlmwka (%63cκMoQ5̅6Ӧ K(_sAy\ Ton H޻-ʛDك0)C TNZs;F-X I>-.˾:a.P 'Rf?tZ|Ҝ`%cD l'y=;܄QuTOFd5F8v$^-uA0%0#jK^VAj2Kvim',UX=쳵 +e3ՉV&;YC_u1LAҔ9aR%)5Do7NWNƔ*4.Myz$ MUck(ԕU LV;]%RL< W;/EXF]D*YBCNtGبKh{zOmۛˮ\H|ކ[\Hix 27뒌:I1T2RG)"Y;Ɂu4'tTHڪ鸈UR7Jw pcbk~I;(6fOᄀ|U.JynyX&! >yt#Bx?~W2<}}_6 i疄~4I8% 0qJʿKg-LIJRSV& e(ul.cfT=Mڳu4?d-apFb0ΈZNfXFxf|u ftGP|E׌Gkw5EijHR(`" zIΣo {BXc0}N֊nHپ;` Sމ/ wZ|=%}ʽn}^!ސ87[y`C*T %M֛.<Mh,ƎQ2!5{wiUGeC; a혶>NBI\`D4{wi'K;TڥֽwpXu}8 Nv;ɆF7Aڹ6lB(-^@?W~De|EXDgʨSDJfoG.S\R*-YѠ(Z`EoOsyPRw-ɤ; ht;a+Lѓe޽X\uLe"~WmL vWkO^iTѩ`Y%2@ئe ?|*5t!+gvt/Bi{M;}E2ש!R"U AJ OQҫc&eN9Z搧2 !=n*"-7QњYg*۴A<ׄfg,Hq[(.Q3KtӑP[.,<14SNJN^1pu.a%k+diMt2/&DߜpK*}x'DҬg!(eXAŁGaj> i,rBJ׀pdj3{&+QszhV4>o"yxRy #sKTϬe$EVi]vԗrDfpd2+Q%6ؔ؟פn0Û&ZR֎Ζ|0^eS9 C5b÷*F;$?,4Y | MM~!ZUBћ7)0!zn-toB%Q]>ݏ;qvQb{6c3PDm~+iT'W3r);x['eR]l%Y#O3w mS9@ 6LTP'$SHf,l{D3^)UMrVˊnku96Z_gGz—)k|<]} yRb W \x}wLوڥ5s`څ!*Nç)2sP5OQ=\'4Z6rFk_ p-55M H f-J / !]nOYh2䭑Ě׌;> s3^0j!6|q koAEd,} 3Sb+soagm#`By-bHelE8c,h%{6-IhӗI5!ȦΈϤ*[ }Yw6gw%ǿA.;;'dDD-p37n<$,{}Ÿoj^N9k+^|-}Z3vtsmYoF{vBQ yloPx4c8wŮs9p[@LMM)EHu&5VģO|&?ڿ99s( !hAg>6 {}RM@wtr摝;-;ۺIƭ!6ܣ59A6GWubG^DϠ,PO>g8qѡSOs¹N?G=r:-(o:Fk-M-\1I)zωze~K¤f{@tp|kWU z!f(7e8%'_"F:ȱhLHk|6L8d<$*DQ-Uօ9hwM^6JkϿ8Ml"\I™͋;ŧt[wH2^gьvQ#_#Wt!fi,#ijg佔c&tP4,IKP]쯾kY*!&~w2sa}x#`g\.ȋʏ ߐ3cȈ^fA1 ]Zf!b^9=cS[7`Qz%"kM.ɴ 6<Wyu`G UaZd -0̝@)~|Uaw}0p|x5E%d9#jKR sHWpl9T:i m&!EI "B/Xq; Q ظDvn~Jz8Ӊ#%#He)J->KY !E!&=?VTȊ<_@ERfަHߢо]yZ qҖ ^6~PYtS%38I2Tz"zzk2]4(BMwL?Ԓis]-ꦰQi;-3=F|C:n1Bnd XNJGdEYo;懤IW\w dMF٨\,vD 8ABqdE0_ScHYiC8S q c q) a+ppTP3!F0cSSxux)ױ35CWR7}BU{=R@Vh6<)8碇Lu Γ3?,_NȐ6Zp .AeT ޸٧WۈcǾyke495}xA$9u'bXE Y HYj^v&6 Y@X~Y֟ljk05j̴(r6ժ6 2xe26dZ̾Yȑ ,uz3,.%5MR(Wm^m|\|)`% Tw>H{%Tl+ z`4 1bV!#8* C[@}FTBNSR0P4Dk̉GDxP-gU| R(O+u@,VۮAو|RTVhJ Ѧ.K9ؒ4\\w{,Ki*h:2`TZ`AWzZA#1Wp xek9Pl4P8NW;}fo73nҠpV >] iVVQa95X؎-pXżL/྄{Sw<o3I3tk^9Q,a8^.qk@.aY1L5i | EacXc }FK/„+I\-"b+`QVH-jzK4=( 57=PlC6S?1=pJ71M8 f<1qHN)c~z纙& {OY^ xuZXÚޔxUVAس(/rZx>Ƣ$} RB`0&n>IYU޿  %ꛝ3&ZBvWk|qr.ˤdžKX ɊxGE3PҐ%JU.z {HN*6 ޻֨+k )MЧZ!!ck lD;]9#Y͌20wev(jhvǹyȥr-?{y^()Dm@H"y`AWҽxKhnhd5fLs9| ;믤i~){awf1\̦ԑBڪNW~uv~VoHG- rz/\bo. 1ahz[E'gio%sqߌC6W0tES*ddD1"վԷ>G[h 4jo2Vb}RjOwB)[,>Pպf4A %HQƝ )t ՛Ր Q/mV˼]!.1s yЫ 4&hŎXiIQ/XZXX9;1 w84^O;3!iBq6eƒW<ϕK2̦Of 堃zs!^DVIHNƁ*"%{q[Mq+*(!AauNc1\>d/L:ȦIy*:2”턜rP -M>tF^X*ۋ7-COp(_>XN;,^CQ5i?vY8ukk١5t;r0uXv򉱨tY~ytdkPApNl% .h@m%wq~J{)Mrc+N* %q6x 8P߲:@HCF'',R0 ԆOJ%K#ؕn4љX)=[/^U7c-p+5ß8(Y4uC6Z&#>OЃG$Wo[([GqLCR0M]UT!/YD//ƉtĉhT@4D+OL[#鰫2/nZdΛ= ,NLu jN✹jv **%w %lIkH>CNS->LU7#|U>g`#Q87$|h]tTmwTE.l_IR}AdXhG >WRek-E;2Gf]/av-  (tTd@0wJOh_Uz+#kku@~wŅ rݦ5^GYyu<ݔ3Uqaܙ0('$$GaQ /X%?Q]JAc( Mْ &}maFUtl^28:ÚWmj~nlGR6, WRaW8tEd55? G68 '$!tWJ5N9 +OsHkfXrnn;y M 0`,ő,u9VJ%)Na#aK<9ROXFfyw<@8EcaŒy2wQ<ۖot.yvhCWݻ.cmǗsɶ?>=&Dt1a`XX/-ݳ@O| {DTNCk2r,LǠ/#1 %oGp0vdK^Yy8]Q&(21i|e;^4%c/' tYgT~T^3%wTr',Ph& 6*s_?Ԛh@Y0t"DOi)V˴'} XÅ:A5lI9uAjy1瀽a1 o난SG'{Fzɇ0hXYfJbF8(?Q47ztRG$&zU+hAg+jgՑ=5I;kz`h=^+fO!- ^{TЅ/]RlQ\MY4T9Mx:~$g- &xLՕvlBJOؐAdgY$:}QUܼׯ{=g}x0wSGˆ`4FO`{o^ qG!F9'{"P^0S CT"ODӉKO JLH#]uۢ (חotuPqX3G& WҶ~aJ~40*|ʢh8Wbv3ZfU]7iRv1)a^*nphqs?f3gBB=Ba5?4,BZm((i"d̤3\e#ZFmRRXߗ^q_$נR^ObVؘ6ĘZk;Bq('lصL0SD=~࿚9&jI,\kqyM?PaBҁW8 ]rR4VuJ㷷 sт"u[B.C#%tw5_Z;-+bDzΝ{ k1Jw +BAn{~ Nd1vԃ>#2RѶe4Z Q/ذ4 qP)p ϴN:d?-i'5@js` C߻q.LL!7 &V+?!JLuo: ̪vD} ETWof0U2"|ju\zjJQ۰^W:EyXy4h#ֺJvxPhW' Ww^"J4u5.y@= 6ʉ@k15_.-giK;-CMc[51K fKvʆP7:_g2Zh)}~ĠYfv L,(wBq.751!luL#Nӑ^OJMw E! Q\f^ZMi KB+``Pfoo$dek x^f Ze-$ SF E&mQ(@^m%\XŖ4J /m!U&ff'l)"jEڕHxƧyK{@\yVu.a,N](I34i\x A1}s.ә#'wzޥ HbZ|6oϚ5Ky~t 9uvfyӞ/XoAbNoTw*hsHJs64㵩S*>$Qe pX1%1~;ܶ5dKk%h:w#C1_ؼ̸$ĺWcep҈cH@S@|QI]uB[mG{[>ǔks2=LdxK_w[*Wkqs*[DNӋcïG$Yc f'x+ Ļ4UF +s4PtPw3>KaOյ-Va*G;*iMC-NіW/ꂳ0?W}ՋꡫjP eF ïK-%.F/(^qW.Wo " dYT/_0z…2UεRڔIcub&1!ur^Ct@;OUWnfu [kk@ $O1λ[O3PħBY%S*r[9B7=t]RäWxk,/#Ց=Bu~ȩA;(\9B g`'VƭNB; xJHQN+c[#H,TOTi|k&kQir Jbs~u:կ>Hˑ; |Wk[? 5\-g ק>3FT6iNOfhSMy[s=׏=8t`'eP*ܾ9bӺo Y}Nܝ՘eV8 շLI ܵ+GAfa~҇3 $Vm *Bm7Ns[y}{ڴkU iBN+춼n⨹<)^Jϝڔq4v ufy.i=|0Xdt p-EN6 iL]ƈ8;Glh DٍeA{ ٽ5Tm 99 0<ڵl_W\8LBW^F oy,VsڼKBC'Nm_DKPa)j̪6 }n0g])U5ARy{V|qG8lvzF-ރ*!uajhW0O1Viu$8ۀ%]֋;w"^C D?%XQ;o`%s^F2v(g =vi(I Fr]?. 1trjEՂkY~ko)8L/FA^W6'b01諮TL0wE)Vrh_41}֌F\nA 3 +YF>a;XKwvi~aK=X~I?WpqW8, Eq8aUْeL4쎣FG?>,WV|>& 3ip&Wi]Npl?jbg T}trP)(l^StO|A 黔ءvTW#Nԕ0u 8@|dvr E&/]_:P}].n`xsZoB_2ܜ&`"Ԙ^$!@9p㵉v2BS7~@k):Î:6' d{ZäyTX6Ak euՆ虝T\M=yE4V "^>,w6{9(G+킹>D;sMwq-fws3~2޾N`9hPqFŸȆTF"!#[eIP%D_--wUAr8H';+[Y(y-4>?S}5RK\*=]wDGC +3 W604Ù'WThw,[xa F^>|rn8~9퉠CY7NeTw]|n l tϧ14&$:]X&Wg6ɫ˒ V\|ȹ iWl Lz8.x S4z?.5j,(IUɻsNۧdA7cW\'ImDLp>#fjBtvC='tiJS9H3fj\-޳QN&Gmi\M1 )p"yCOߓ$~"2_#Ht-2?~Ւ Qn\ A0pjEĥS(4~ ITZ`T??K4-VNMЛq?sW knd ՖY\%LjoYe-6XsLq,_F `s|I34ׅDV*ё;ն;Iҽ?q%`5NhfSoO]CGqvYZ}dZh (rvyq ,ShMA7#gZ9E>S=xM FDD}$Iޞ!|et\9z(=*E[$SX7nځ^) R/Uβ麰3|"wW?*LR$*PT,4/l8<;7c?7Vmi.)À 2F%KYLlu@3YxC[ШFWMۄn= Q%6U !7P42گBOWđ -80㝫]7=!BKx@ " ߪ~xq'sBPȁ%sjV1M:8KU-ė4QdU13sĄ9Ҁs1rAT|)F^moJU!GCGkpicm)l8ρ;jaQYnG̿gW&KMx$S#flUmEGmh'ohP:)-eվP3'Ub ;δ c 0Hl$|ogkLZDrmlK1>q%66͓v:G~ƊEroD +0Ad8R#JS \'Y Qi&ǣІ`%+0gYZ7zXZִF! tB]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떼 `5~FviQ`;88Je!朏?bټ%z9[QWń[HP/5vۼԣ(PRk9V}8x nޚ ަ%%M0 MPg;0­FCaa#GU fLEg^v^g~x& +RJ;LB—NI|O:r}} $p̛ hWZ cK3hkAT[=u"U2JcVSZGxBA!*-<5š 7N"~-7ˡ˳q~sZ ɞgYZ7zXZִF! g]ŗXi%L&ʷIi] {fRAB ]b6jrSdQn  TCاMy '3,|d7"]K|z$AVf=w-lC]3,6܋tj!,hpxM)UbU1y3h+ALADNUvmy&W @*R˼uB85-9)f@QLmߓ3Wuu6" nokgnH#AgJw@Aqi22 A if^Vw@_Mg~ߋbФ0-Z>4.\!~ʠLj . B=J|^iMf|,(dͧxzbZM,cb2Y`BRܢjF5M寊-Pw5.7:yjZ/R™R"wLbyХ]Gc B'H~Swjۍs,(ky Ī:gIxnc bAW X#[ytMPWJ \""+l}Mf?V< 1H 2*QtѢ݀ 1Y>8` I?]ODymz! Z8p҉5e;pހ7ZiׁU*YOM=9o.ԍ1N+ՈqAJ BA)~b8 c{;K<򂪄? z i|Zv+,El1r̼P6ZR.59_I[Yz:|a}|-nb`pmF;nIFVgt,w}I>?I;8`)n{!$B }y; &,jA b®3yﻄbB ?gO ?e z4C! UЛ]WN J0XMc]0[m8HU0Af&:("Bˁ4vNO *¹Lp -1̭hmuk2mw4/3r5KU hg(џD;ãuYAA+@߀cu C/)F!c }[= C-32顈̊]v*F(!D%!^w9i䂒^i}fo]$h26 O>9hnF 3=},6ty}v7HA@}B&~Wfam]f?)aοJ/]h:#q(ibc?"شx$3ZO܆LeM[r 0iΘ gd5@)Kf+ZzΎ*8SUC:57xOWK5?>1jԭceQA:k4G¸F<0z-߲IZB1>H<":\h'.T^tY^ķ)֕}Bxc7b7cen*;@]h1rHUN$v $,&?f36uveZZP~֙E3\, J (\ܥ4Lf1v4T4~\g#[ }bs]#"oi:EWNc͝|! xSa[l8Dg{+ ȞM 6U&Òwxuj)А~O/@~ ,^PihVH__-М1F*)-ƒwq̲,FFUA/pQ#Pյ' wq2yZ>pCg,rעp|4no2Ly,55GthSݵ[ȥǁ)JsߓYn #eifU J]jAe9y؉](%_TȂͨAtw d8&-un`lѨq^*q NqŪyKOQjX_/G%Q⍇;EOx^9x"Rd;ަ+H|rו [364clvNRFڼ1򆜔\\@J"6E{,14tPϝzMj/[7g=,K$'d%|C Eslڽ-^\5x ˃C԰n)4YK8U5zӢua,=i}<_ȰD$ĄAR(I'yXVxVdvЌ0M9x rؗݒڭM$-PC8YkseY䔙k7aѱ)UwRvךPK@wWi9D7b0qj(Rn$>:= qn nyA*G A +رQ4{X+ZObV8, ZB*b3֕d$}8uuZ5m1(Ɵt ]Z;6v BbP?WP3A s kE:ҿa&f2GZזHi"Ӻ!nx:Q@ˤF>#… cc, a].O]n.3c9HpDt#ǜ qelLVk6KG#Hȕh~rЮ5Zo+裹25iJ}BWƗS)D0XULHNq,Q+y(5PsI.{DQ66(Il5n|pȑXG\%%&Χw%:cV9a>yfxol=#ݞffV&(%-GIa=|N:]jyN=]ŶD T)kUlyc}Bg5CiRpTr47Raߌ^-KĠ_c Gp~˅7=Wz+9V_ļ,3f6'o3gYZd02556f13bb0008cdf2acccccd31eb8fcefe69779aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786fb3188a90a357a729d430b3a505b0d55e189251f2