SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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%Lt ]/]HOL-Analysis:threads=6elapsed=301.986cpu=1444.296gc=61.796factor=4.787zXZִF! 1J]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 wʚ1XR}c3eUS͋eQ\E k^BmP\-$5pby{Oyn<<С z؜7D=nʵVo6qM 4%Oݴ ^{oI|BD}z,p ӬZ̩%F eE/ZT97kpѺ+jͅ9BimNq(~d!dИ9] OPg{wa# % HOL-Analysis  B0xF70XA5=f-ET_1=+qW[f).9:ei֚9{tS(:B݊)dA/c9;1{;3Ϋv+2‹ @N`G{  j40\jnZ^}`kuSY#-js{0pU*U#>^rHSV;Ŋqؽ0V 9ԕ2%OxdKkBG1o+NaIL[)B"goIi0`MV @ *EU5b@Rէ FF_+->nq~0~ :+ӨT͠b.xs:D? ?I[lu53k.Yr%oJW0y׏JYֈ.`I?ks.~,{ -Zn _G7U}nbqaXSiQXty{t h; n(#WT7֙e֪aiq  +DO@=:m9=MJ?\?@v U.ge.>Pq_AiawEt:\>zb8{TSٕ4p跈:h)&6B+3 ixuJ)6)JR Jl˩"]rAH6d!zk؂ktr_KP@ݢJCJdZB=pj̀X$ʾVގe;0ћYy~Ou o[r?R$ݶG|pfF3Khy?s`31~(R@cX};DUp;P[]oqekH  Qɔ N!@_[@I2Y ?N+mfE yX>Xȗ"+e1F=VVTkć+8u@-u~KSMr([B #,Ak "%=:ko%Hr˪W";iaIii\$K @ChLa i=6>7PŇq;W(ȮUB˜:kqVL7!D}N; f"_4XV>%ILh-\2R {͸Ej wuqA)4 Q9p䏓ξ@ANӇvPRCOK@HsD6Cĸz.Uע2O=m|H؞"JquJ=0l8۽m (UCur\ cLmcKUiB $x{+c]?N^JyeC3愛NrYS ,Ջ >@Ga;nEl΄oe!@3^9 :~B0/*n]L]^-jÏj дO:Cl 75.M"Yk=nfxi5涻(i6WZe&;1 _CA$6T[6I.ߍֱk̐V9b"&La@ kMT gX&XV?IYs%e(:Kdu>qb4NE푞,sƶo\-*DTJlƠ ^$_NrvRs(*xghlƹV0B쀎v֪O0 %YDZ%:_*Sm .=){Zo/c4ϳ pT>e,t L f_ @(~`ZM b)=6L*EVE K3,P崏ಉJző2cdQCmwB>;*v?a=Cvr[1^X\n](]ul̆Q }s P%>Ϗ8G!$R)Q;վ)#=u! γ[:-)uͼbٞRx=T̈́!}>}Ext}G9QY Ä9kmʮlD)~Z릸w0[6 ~N FG Ib)fuG)G "V><" ar7ؘ:vA9Xc)Fb!z7̸q~]h@I|%Qw!<ZdZ 2C@y0>4{k tIZbJvWyVE$æ@ޟ-&WrJ(`t %#/ԫȴiC|'MEFBa?_14x_&|iZF<ːytsE<vr`R H9hzC M90JSsV؄Qb:m6⥰=2gUG(Ds%?KH4D`Y)Y:͘|&ԗV%Uj#OKG&C&MǜvPg)1zI^Uf꯸>9uzf6}sYWoF]_++ L&YiSQ6qU(މ;z~44fsJ# +;g`1OI T?,%ˡ = qzCbEܓ݁-jq 9XOKM<"!6ɳP}}yBGlŏw C1'`8 '܅C>ck 8D%oۏIhHj-P]YJ6Yw60 /Ƥ1%d>5EI'JQ\V>[[-a( iy@:3 NF;-䉤XIkW/Oc1I x (w% ##:VfوXJTClJ):"x(1`2fAcr3lXz-B֍ҡΈfe') }Gݒk̠{;aGEj>)_6±B& ?bH@1aՕwړU':^nB;6%܁(vۺH]>:ҝoY9wyu!rPP2fv?یh+ 9.ކ@,zC ѫ(Gr_~@F@Q9n ~+rRb,E+{![ +QRAb]F+Gr(@#0kX6*n,H!tY'c"$mѧcTf cP7qqJpԶip}ҝZYDѢ jt^%C.?bg~uw˺Da68挗wʈ{GەϜ9.'cv,BCo˂#g_2C_<%)iEK3Vem[3%չDK~q꒐%H H5gL8/#!Ĵ,=?2R#!cvi9퍺Q2C뾕zfw%8`n+OT:yK̢$KÜEZB]f>]N\k}wLHjM; 4:enfJ4ks&< qEncS(#U J>aEWzgjApBWdI&s2 JFLҾMRI_<"Gq͑ľ e5OR. S8TJY;zuXpQ&EQ_PYׂy~Eѵ u1Ն^Yx921RD;kꎥkL)):Y`)ϑ Ηwgs UɤKilXL119Z~wCUYoù)-W?-Kp5΂CUfk{Uo|֋WMQ 0FsP0q,C=S/#]us~ZW#uD~#{B\#:u]hoKx96=A;Ha6L븲F|BE6j4ҎZƚ xi2r7^![r\5>mrI'zy\ zLybHe>)p1{oLiMZ<$x&pXJCipt\KUSMwwjŨXÒ׳p ,Ѱ:vřEՃ%~VS5= DȈ ,j8mяdɼ}@)yGhͪ3ey8c,8=b +gװ!z8OS)lqb4 /å!o)2KU|bؽFp<\F.P n{츁{{pǘoVuN5!MaxޫV^N ѾWHUu CrKh 2N!VPEzW<"NRb>Pd-HYYkP7r ".WHC8@Ay{{7vC;540(gh?'z_~q=g?)-v@{ >Z ꡼Y~p#Q .)_)8 b@@ L Sb0:~ӶzA|Yʭ!Uvgy^JN.!`-G<әHM欸|2Ī]0Č%+òaf`zar#=Nꁫ9HɃX@⋕E `o=Y$=.FDn߯Jr jĤ ߬sd}E e"a/\#v/٤:.-={ I3`Ғp&fO=/@>|hr!`M IL2|Szk)_,pnLriz (jzϋed1 A8v&pѐj-}CӜI|mc?6+󺷨"%P{.?ta"x<&xupZòP:FǕ=+9s$:r *LGFeaݨHYe;}g: R=F&֟e4QparD^YSrpMA2}!\ltØ<eJ^ľ"'l 𡵳C< M,D 'xh"e3)#*;eAb hsK0U0JO0vbmNC&$5KZ|&ms.4OBkJ0' j%j3:ai.uHڴ|=BOl!ݟ9 :`!ϖl48x^[0/E#.2ؓD $? `*Һ{*WNT=}#&30]bPZ1Hg)?z+4&!Hž~)-q*b+4f޷ TM Ӛ66] 2PO0\U ~L9qӼPs#m]XiɴH1u2; 0yP5ԅ}hF}&̤E>g߫t'\gsUm5gމ9afyFQ~`FR!=V`ҩ{? ċ{[rP? bM8j'TPlpf锻P/*rES{^703OȄer o/-ڂ]zG߾CvGf ۋL%wAkzUgNmx@,ƕWmŏwM3.Zn>IK :FyOMn 3ܾd@%Ba߳̐`%$:ߥdm>-ȋ~7(嘐=BTѩz`-Poxf #sA gnVnKAKv o?ۉvD\iB;{_#m &7 1y3EB=seH$4e*s49] wdӴН N:%Ս*dF>) Qrlo1$VDʗpE MRō2={?wdAb:b~-g$Nnd#G a8M Вĸ۞">\n?/)`kS8jJQX a+E7J i@V!}uP$/#Z0ndȎ^MDә\pPە$i/_ҸJ',l%j4W=Zʞkgxf :~$A#XOI"֑ H=3g$liÃ,qxXi#S$NM0ǘKՔv'rxt* ZH(uc+.ֲ@a+1zrB5{b]m[XDC{hҚ6*wF5mG.'5~;#=A^8;˵j!)wX4b#87XP84TH,J"uUߵf̔#]224Hu&՗;<=R:,I(芵ŵZ 41bhbW9!&%*bU?֑\YIu䖛48Y)Q. ƴ J'F[9+*Jil6?7\0?e %^PY}軠OF 3[3 i@#ʁ|"USB0"HG]NȏGnP5⃑,:|Q@p0xyx`.놣=-΍+A^b;1M34߸E;3+y{O/,1inEb9k3+z}3d90n\;Z{6,vA .Y9DԔ''JEَEjNUh?6;`ORI1zV ϮOŗh9P3DKߪҏ!S ũ6m`G,S4%NV#3 `{g7_ td]<qKV82H.{' ~wތkv@MEيyBi,)>Qk w&V6uGM`RJHw; |3DcumX"}}^#:ƫz0ao|Nhy "J6%5*ZV6I9s^Ps <"1J҂1e/-v SJ :ey佟xKC~{8zQLBQČ(r<> hu0䌏!~@;dAI\A$7HīO0(`\x*8CW6Y,26}N _/Ѭb a6J!<~; XjAܣ %7"ǣjDqO2T~ЋAS$ź2o9e@ fn9Tu[u;ܝm׈4pR\([n4߲¢u4xBH69_s)I/ *nI#Ǚ5, ^qDlB;&aV. Ttl"L0Tdr[wF?4D3ih!k{TlR%g&cH@Z.0&18j uT"q,vOSYk"WfUTA2}SS 4 =?6#4?i׆r܋0t}t_Z;-מ 򾂴2@3 YV@o̧Wɚi`70K䷎!؉Ȕ 21仄%;om&!QBMTj9\{Vk{=ULwYdK;ai5qHW(k"5W;uPN |YGN0-xc )Y?f9%{K՝{-`$ 5`WRسoߦו{5y6Zm, \sS)naa"@ &ᄁL$>>uș5[h$AJUIj] M:԰OONΌ}WcdN}u"q:Hg9h/O/ G%1R֔YW5,%nKx.&4 ~GH/eڦPN3'IX6mD̀<&(C1@G3䩒˂lmebRIQD_2UAY'!wɿO+^kl @^Џq-I̞вBcXB7İ secv0..:YD$.(r9Z_4w; _w56]|kG]( cډN!4I::z$ Yk^30K]:bS$;X0yhB ~bb3=Q)oL9! c3 sf@'"K{T[f~J$1(~azr?EJ/y#9ZW @Q$=;qtܱhǧJ9F'$%-meQ!p*Z=9:~n˭'v喚k⃎fF4.V׻x8qYdq|N+i~S@t=_8K[NGJ}1\Nc&?7}%BӥAS"lI:JvCMMV:][*ғnly@b@*@XXyRݠ2Q=ب\Kk$5XY+R;V%j xz{¿d j:Ap6sB/KI3:0PH㚍azfke!%p%P+R#I3AȾn݊Ͽ= 'Q\Y׃D}$G[WՇ&z<̳ *8R o讃;@s'ڃ1ս"tRG:~~Σ@NH؋]~mPN*V@QaLY7pxqkciěepmz.0K&<.nT@:6Z|uh"M3VgFE6c-f <]RL'~Q,xif`gb"+v^(ds4o,%F>ca` 'w1-+5)5|" N-[w~t8橎 8[0ұ;j-+:H-h5Sl@K?iqtO3gQ ;JVˎ- Etݏiz?$ߩn Iʍ\DO,kI;4It+pG(p " `}h`o21rۖQgC*j>yvChd̼{Hj szpme /GܣĶQ8iL&/>#ik06?]>}$ j?}آR6S';56 Mā*g5w1M4D^DмW3/@+Lpĉv[Th͂pP;v\pD5<7C\*HyU@TO)/"qh}M w鸈j9j#t7dn|mWuv@DA}T`AL4a0=Ȥ3 Y,#?>HkA%(DDgR7VĬv\(g< /B\S'M(HnJт~h=LxS~l =Y }?6 M3ZZ_LLy x_HKQšHR7'Z E9tG*rhA**-G/C3i u!%wIL4S*Ţ6p̛r_\PbZ 9뇑Kg?֗[5z.-g]`l S)ڑGjͯe} '3#6{?'LV|c.[Q"2eliN9ڪnLŸk@/eRW<^sr0".4hcSUiӰf$,IC^bעɠ$.Nwfmt|b+b;P&Q69Dlk PDKLs?DQoDh7a>gm6ۇis{v`viqv/cK,u̶h|VMqz2CoN߈Ow0Y^ a҄ $d"E/ēR;ĚqkRVٕSbhIꬳש֒ARGjH7#h]❌XCBGB|*)r#-VNu_ЇxK 8gVĩ rHԲët[D7YnL3 ?Cwv7:fC-!1/ vYH^sX0D LB ȗBsWi 6݆|:B vc eܞR0L'%?C& 81NyJlQu@h+Z=q+;U9ss~BWS&; n*Mlo}Ag崷j@LVyf2mrЎ`Q /P;Zes;m8Iϥ6i*[((t@n7a͸`q>ވ*wM)v]v+WRрi>Ʌo4Im&9@ӁSx`&)3_4fp:奙| vfu&aʕħp%ȨLdQ!7_*rpEꂷRa,Hz` cPk"azy3r>V@xxof?ϯ#!Ȗ~94N*}Ԑ?LvV}:m7BIܿhZ R$J d`-hBj+_=n*כȯ|D{տ (2pJs/8.FÛ h|GjH.0q&p*^*IB3=ZV&Cz`F%5M63[O^5C4M<<p*ЁLwwh~F/r+Zb!#u%YG CU< >Zp3fڏy@B)@XI̐cm12Tj]zOD0PfPopOJ,kOhn/q;} `1s! m(v?-} ƥW_M|WE:B`&g,Q<_j2UR.|nDŽ&*BԠ7HI龭TL:rKX ocq\#5MnY )Mow8Bw/<3XPP`em<$*’o>eEhcYa^01'}LR!"I`*_@ "=)!~]s"\] qjܟ -ЯXkO%{~cfuchg?stlF&rwԖ8\<1 ml7bcr/V|W^Sbw+G0@ref+j˯jhcG-63NLpEBG39UV}-|3:cC)[4} zaGJQ̧)PųDw.L(/k:p{ FK22drt9±oLVzq¶" q婬` kH|Ҹ]¾U,Ls"gr?_>b8OjƅͮA9+ы=%H| g@{2$hYilC23}2Q=xgw3A ;۹[MCEؒ1_&n+o_/nVn i)#2/$3% YH*';U h |Nrxʬ3>s [. N2LX֫ g,mDoHƫiz-YlliHjsf&5>`(Xp0A1U!>*l-TT#CmNA r5|փFbT!]2d4Eo~F.W x1֤\_WPs~sOPݟl9{%47zӌ>c]f|4|6xp y TmΘ^KBBQɯkZzDI ΖWd`38Cͧs֥MfƸL>`_smʼΦ7@{Yz)v EXiN_D=LJݒ}x/\{1B mK|cղ `':;#U2"G1?8Y}1`FϬx[uPjt'0Mr{-]2uh;nb+# zAxkխQf_^qNHBwB!Eu]7X$d+R9mڏŵ-^Ji,e zotMl4S<,{ R'aLgh3wƐ蔭aC%UJ A!ݞ׎@(I%'!%ls78>s(ʄa>d's"]eށx;fvd6LL S4Eo,AC d|RщM唘j7nœn2/\A FulbmGC/<20.3f6_ȥz`=UDx]{' 0i›B[Nk cx6ߺ?pxhMMzjn̠\<7>k_g>HĎsH?)nf\jͤ:nļ(9ק N9O:MNF]܄":<#AoŒ;ONFMl_)5bTH0F3$5&7hb)Ğ/m_6~rl+z/oMh; NLZ41SÞ)EMב q)!tל9 wŹEZ(lLMez*X(UK4쐸9OV&.lZ~SߩgT̔kPj(fym@QczLSZ}Gmj'߆^t V !`s[hq4lfI@C5`7^R>J ʯ".$]6; ݄ݰ*,ӪjhcsLJ0 .X_>Xej/t̙ҕT7Q_Q:#GE2-ay*@[`uiǶ\3AydqM:Yed]qD~EV=[K }GQtJ O[&E nh38HPN:؏.ǃ@\gsE; #.a > oս tg" B?&HدF:kJ7Dsjq">Eӄ(ݛDcfRc}m]̅ЂQ'/ty%`?/y:</8(7q_ltXʊg,;safoI!Q&Bcˌ;pqxxX7ϵkNKI#|?)7bLfC#UնHoI5} @Xm|󧤟 8Q݁1!u,4; Bc=ot]IǸz.? \uӭbFש' B [wd)[Q 8S|fT`jރ;S߶|2`znp%\~<4g]-y*7t iҖvxNh ZTa _3,~ P6 v}縉9~*O1O_x?:CT/5,{}qZTgB"< Q> #I(r*I,QOR¯8Cl].4i7D1%Iv`NCU7@jI7Fd> 9b1=}I=q I_>ޟϠtVJZ tL ~h&ؐYp_ wJ*%W'D_ޙU}3&ȁ X"\Q.ϫ(Di=1E|Nc 6I' g'0(`xʼ=o l~ 4HWò61;yf@N]$;DZx7ޙ)t;]&*vV;b M: o|yЈ(NڈN ӺwMO4$,^Onk8em.7jO?E[bN0,r+ߑ pP>h/8e^_JtT}c͍k#t{"Sڙ {iu (O/aY>01t6E+?% ӹB-fI8NT|:;ѓayg'[""ADxnh(Z@dSYfsY[{]}UѣbȔJaJQ!vϞ9s8jf.`nlUp'.K1V1L\*vt+msd`-?bO$IvǬ7h$S,Y׾dZ|^'_R pHip8*jO΀s7e] 4Ne,{ "λҖ^ RWB;@hg<~)vI݆r58Șn?-͵\DwdyN9LpNwj%P yb;7M`Ǔ>GCO!EjF|qORaM|fUrW*xJ4a{t#>su͙ tTM1IplyDY ƨ<g䂜PVZ5nWp>zgpOooоL35Ԓ9v2$ >DwԵk>iq2xfJۗçQC6:]&)zx<,?^ ߜs/S!U汏Рl/n%UѢ~ C5kS3g!"(DĊ9dFBx&"pCL@/+9_5TK}a'2OYyy?=h 1OJ4qńށ^)=g-:}/FfftZ+; r̙)Ğ]S6G!կ]@TǃhT-Cg 0)G1]V|a09탣aC&'GD3hE,z;BYȮjTeDaȌ7LnZ >SW ZNrdVغFJ~Bg2T'k;_*}1A hl'sDgcb;#gүuI,<:C)Y"jn9 "VaVΫ y^)3RΝc댲}gfhi)dbDQO,';Nl^c(P҇0OXݯxI y&lu;xJ[Gzʼn]&HJW.ٴ@%af97̸S̶im0RO&0ʸĸQO\eӸ%FÀ",1Ǭ.iq$ksUK'W2%1UGatNG*Dï}lSR?#8Ln4Ql*Pׁd$~;x+V6qhk&(Ԝ_ptk#ߤ bqIHqCsPM339aAC|-)@Q]s6 4nz_ W>N=&iHU/[`Ō$O^19h czg3C2yߤnm%!I1d=QtnP'[2$KoL_a[&[Oџ] \R/eLpzw*:(~ luYUL}+<Λ]٧T6-)rInp>SMB4Bg[랢d\H7GR-MX&W8)kӳ~mk- AZ?P3Uc=ߛĝJ$J\Ōd=b Szh`ۊ6Hr=JZ0~&mCvGWY#_7YHrϠi=W٨=UI\-lF(9~(+A9)(=HV$Y5Ϊ& ;ѝ6}&SCq~iBs7/UZ׭G36q,UIQ&b2\v~ R` l6'`;$Wi 2 pg bEZŠOݚRE&?]|\H3­:3\DP,uBT}pI|JZ܁$lĪVoi36mu 4ҡw֤h_{2Y1UR2t>dz:^풑q ?|Uz6QD*ً`g]_Ue1;:`5+WcӥWIYafaBcɳѴ}r,2y[Iޔ|f;#:-%4'cā%9Ӑ3ʍsṲ̈́lt1gDO`J:w'R*gs8@":kZ o@<6MnM|tPWp~?dx"Xl$i .LqV>6RxrެAPPq6OVV nEF1Z厀S`q.y1/,S\<~Li_PӼ _eCX!/N985i1b)S@dY (mEuƤ!;)Deh[EݥF jGY@Z+Gx541Y8 '$:~ )/_%,"ua#Խn|CQlQzZW*8v_bA`_jϓ@K.aMd\bh`|li؆])JS5AyݴPg&bς~c;rOوh5 .?NkE'Mw{os XpG? )3Y@H4 ņV?SrvUDAe ܶ'{<ƕQAF lMXLfỘtbI`@H ҹyS~u$>Tc6&c!Q#*p sMTv5a :g 3!W8|ā9?f B6߫.{ҊOǚE\&";Blw.`NL;78wBۦ9#`$p3>(M%t.HA[rpE0W%GX ZRK/*J_`4f?f wҺ@aAŹpZ#c䡐r^LFhڽK1gަjegu)}ސ?m[3y(?.n.6iOP3^%!MZ߶`jӆoYUpe{poj){ y+^}꟏ a{Arkmc<3I̟Wz_#!(Q9y]4lK`b] |#W-=H %0H(y7B,WmFȚ0ǨƃY_VU\:MA˓gG{߬h [ fP󶕋L_z{g!ChT,RS5Xz|\|7ߕ+~-j=ɞJDj/8 AdUvD`g UoC(+{D !m _L>RJZح"*=fv8JO>9m% q,dYvDQpQϦ*I3ş6Z&zP!%7=ʸ9C јn%@ȶH790ړ%BcCPvm?Vq'dLMqq !ңT~&Λ\艙< t9V02vfɇ1 q щ7Az'OA\ݶ_%債 ] % U<z_SfPڷCusm&>]g* NV{PWm1hs^=˳,/͢dZVro r+Ew_޿@0@{q9ƽN&%Q1(0x1xL=RZOf4! 1NG)~k =&U1"ļ\FxOdw u^Y"@ eە9W,Og`R֛!pZ)O\?P[ݮ];t@k!5SB@yO8I-a.dC6¥XrЍ3ѬrFf3f-bL-jx/Cu:W\(٤<]=7DTf4U&kdA\_-ҍu[$?,F)oZi/_pj\2t! o_oY[Bf3fy߁%[ɕllWMV٫b4mtKUd7֔6~`J,1Dp0mG~^T&(I7.()H q JBuH[4v4?ƹGe \?p$J͖48ZFkw0E0WZ X:+C P> &[Y]o_GJڰpM~^rg9Alh̴O+Ĥ[~=aGqUP#|׊o>G\aiǟu%J82]$ʑj; ~{uy V?WP >(*Y4H0'a{!5mkW>+:&'@O!VU"M9,0n6]0I{ݪoQpI S#ԛ+ydOQ3fGԻ03Lo,lPjZ@c-r{kso=Rh1iX뀈LS0dn'9#gG_u3qStqJe*A4}C"?y+fB_-Eh߆|1MJ?z{Ō/|?,zDyBWb49׻D, ~QKU&6ҘfUrQj|pCe`6@ gm~#j*ԣw OIl3ЫqQf`ᘢ84JʌA+^ s T>nw%s d5 vO6ĘQЎB6|;>Y<;+l SsU˜,YuVS8: FetӻRs_51"٣lkKme:r5V2 G$]g=dO~UK"kj?" +1?岮162#?MK%t5C9G]כLаsFck oE<< E9z:G2O5s#B]m0P۲o^<9481+A 9Nr4<9?#;Jg%4?tA$)c0Cf9Q=%!E64!IJO%T$e3!Vc9ͣ׮yV̥H0kwW޼%;Bķԉ@J8MnzIs =1M=2V<&L1!LS;m\6vv!頜Uac$ъ-C]@pX-r!FpSWjx=_}hԇ`NN]_LWdRAz 'P|a]-[8Ven 2WSk(nr#w0W4+H@8*1l0;2uQiȋ󍟚vŻͧNoϡq03lz\_b# uXa=,xT֍_Aڔ '\C,i,N-66 sM ;Cte`hOj D!`r6 3u'cn*k*26%Ml^fТ/ l#@NBE J2έSԬ^L:+ZAxkl]OL`VQǺ,_O ffB(4? Ń0 3_Cs:XK5LwIDu?*g2@n-Nxe.a0lOW_Lrm/y C`+xde:;s;y>3`z6(SQC5S $S"^Up }:uFCg^C'3G  -,[ޖo[4!R.Mqsw3-kN橴jA`Ή%HQ62V_`,#ڞm5h( '.6'n`s7ӆ qAU.n.{fOPQ~T ̴7"(EAitDsǭB&&awC$Sq<}1vQ5~>%?+mzFk<ȗ[=ybbil7NӦ9` Bz2xmu0 Du[f̩Tk0uNV}:H5m.D.-"]~QNP< =r+#$okz\h*n. !)e)dZe唼ja8xu6t -PKkZf9[@d 9`֮z9p%oB֢%߶48|`zbIYЭOJ²"[25KDdggQ 4;΢yKV:kF}&8zK3Y4z"2 j92 7"[ Vu6l1Te`?kY.Z٪#WI2n"M>I +_G{_ *} (eWDT9%5s0tڰ(, m_^ާqB)0AcoFX__r-,9,uʠ*O*~Bޱ!%bY@P3%Dw9g6om:Xb4<=!Z1ֱXPy4L mv%dx[_2Xs 3Ͷo²$URR,d|e ݼ- %XbװcwHurK헬Q (}t?/Z8>3!j::792Џ[@Z{&`iC2[ f0 ^fv&wiLe.4p3`b;dAK!gD7d=U~#@Ixv&VfoOp>بM[S1ʮ>&F ƀ\ yXQ\XʴCs{w븏C@MDā$)/y߾ς<6϶t]=F* oÂO(&.r,4(0uH ˉF= F.54IrզSjqh-nHɠEvݳ!½BwC-] b֔D PCE\oq_3*ApMܜB7-q(V5#K-v|-;:j 8?aɧGL%Yؑ="U7̙m4sLP1<Ty2?4JZ&mdO^ -NK` ?ЭWInI];g&;q.=9܁1 4ۅߑ[+c>ܓt?aOPO :`6s_*y~iU[V\r% @3> fElrߍ]?I2YNJ.d\jgNr<ojM?\̱8b sH_.`|A,sV4퐛&4d,&wڃ%CHX:i} ҆gyvĽimiq0G$c MYGCȁFx3u}^(h 6vM}B! jD}>+6ĖMmf[z{W$)^ar'fTN[J!ׁ&do(rsq))J!]B *ďZK-a;ny߬ FG9;bPݠMITf/x)x)mG-UΠ(a⛤֨ *CyQ#oN=[1/;)4loZ"AK-䘸5scr 8;*9hmcJrs~NUV[M,42P4`&L~tL ~0De@ ߽f9&⻘E,7'J]-@$@ZRDŽ}!zj!\" cn^ 4 8*- QCwݕNPl540ocNRAW2Y. rFJת]Q)(!7Rf5BLO[zt؃fٸ}exy4N@t&]R%g7lA tUSTҸyf <,|"$<~73-z2L9 ^nTCHpDp

'k?\j6LTK #?J5 €n=CaUѯX'GqRˁW-q09Dl3jɁk$yœp4UtbBMdWPahp\#f(`w Ne0Yp>ёS|?=?>(Ѵj79pr;~+hݏ}@ax۫2#"9jgN87@ª~sRϗ&zT0&{|["r&g#~̇Yi N  ߼DOjAa6D"fww3x{fKH\ϗ%y GMQ"O Ƙ/EOLӈ5z&yi޳`3I~i.M!n7I 绩Ys['(i^KtGLZ?5h^ͦb &OA(#ef0m{ftt Hf BgD]#&5- t(T GˈT< hqJihFcS9.GK`0=^35ܮSb`7G@91}(wŇ, CHVnZ 2U>astCiL yW _NeLW9}ǿT3rdKm.TsgvfDF:j 捰( B6G)ITD%/X ]dl"{MA9-XA15#+L>Νqh({A?E>0l\5>ߘx{:!M_}ڔ[*(Gԁm_-5 F[ IWlbVu.]PMcM xɮgw꤂ݦLݝ/,D,wKQ<1-e h6c6+֣D&SOݭe2LUz hsX))Sz?M1 (,;ۖ9{uIYoܭGGKsӫ8x>95:(DȐ,Rp8 5c\u@50 :e~&*r7e:jjcG8׫* {Ͼ=~=OĻ8ح^~4S1/疀Ƚ*E<}n&1KLJqBL)o5*2Hl7GD?6ۻc~JiH"x% "1dD|w f+@հZs*l]_ : : 3}`Q?[T@$1Q4xhE)CX auwɆAB39y?n +& U>K6k\(C,+%|7Q$%+e^d-gE!,==R ̹\ 䏙H9Yy<*6OHbF*HTvD}!!E?}VzKXr#󱴹:GtPx .XĀ_"<{>񯭍_.Kuܮ z(VޒW БyZ2k=YnZ\8e项ݝ^\ T84-lK?̿煩AZ su_ҙuMLKOclDrl 'v,J]2_ZЩQO&SCς\"α!A3zGmt(PύqWUo .ȶQ[w.:_lrd|f/ ;A3|Se擺GKنK׻ЋQ/U͢Ik=xw Ff*)qdx.eWhٻ,Pl +ya|mj,*k%d8ƽt9U1]Ok$NY,u9ƽ5VYxެly*£Ȟ<߇R߂k9$mo.Awt_R)j|wX9[epM9ԍIiu c5LaU>\v1e!wtKl)qN9'(RJ_I }!B)=쥫LaQ[3 {pƙ 9<=>!#FK.&Έq7K|G_ 02EӥZ_꧒BO&@Ȱ#P}VV5dUuKUnDE^XE+|7TGj.GzrgUE;p5A/6Ao?Ŵ M+_E3 N\hz hV-Sz.a]"NK:f˯Ń`(=Ayq?#Xn7z}ӌv %+kA@/+U2Nmgv˽2<.# |?&nQ{n-fXz7z P2<v{ns6g⇳ܶ<ㄛJ˂bMNi#[(T>,”=>+^HhU^0)I뭿((uo(n+cKt l!)[(O= l/܃) m5o D_o'.qIOSâyd4UkB!J37ц@b˧[H6ܛ@tpoğ>>ȿW" M Xb &'dwpMqovAppoa{.MZ2yA7*V+`<SJAJw]GAU*0.@_[m_K=lU&JE'х"-j Ypﻵ]2E%U[e#ǭ5e̙2&@x\6 AY4n&sDiD᧼jX,ڛIJapGP( #~ԯ'n \J"ߊ-U5L͗(pLwʹJ$T7s\c'.NKR8xcV d&2>/mGR%,T!]N ;*(v4(ծT3Iz9@g˦P_ /XVɫ[m'v]`%RF-'Xj)N. 4)hNBSahhX1$\}KkԞ7] -gPC!/$~ LõM60ו%J9>6,ǂ9].ƩQH-g`^Ӽbǁ@I^#)Ï %~SNbs8 ,~ ^op5+!ƈ*=Hc3ji$>3 ~2;ٱ`tcuZZHռKeaQu=qq %4߇8ץ 5@3+7My+f|] f+TM|]Z[`;ZX_TfQwr~ᄑ*u;I$"l`{쀺NKŻC3[,R9L${ĶW~74>M aqHb%[ }!V\ZLmJCV(wg_{ `о1]O>0Ӧs ymSHtک2 wMvRN:iMϜ8kur iPq-CQSzh9IK.v!#``P1'Z7_HrfHreؘ5|B>,pa°[Z;@W YAv$Uǟ!e|e؞g w)1o-(Nywm ~6ua}J"%%HQ&gXtD1[p|-Ӑ\"h'h ]gi=([An8f99H ^JN1,g<4=.i@(L{UvN4R)Mj8(@NOݵux3TdӝƉ Q+v/xҁn,]"w~fc & KA4ct6l|"YFHK0d&K C~醤e8Xv۔-btk t "{gBOeugQd4r>ΣDXYUǧE55--ʵ$Nh~o1(Jf ɡ&ϔ&P$@ "I1$\Cnʸ''vzLSWpZ jdJ]C% -lV)D86E(='&?K/|o[i>+\}ߨ'+` gX>ⱥ r ;C{%hؤMty5}/4rA$auG!ճ *M9dms.^ee U3/^}DϨVjD?;XSjSNח]]JN f-l[owy逊ʴfcx=4B64*}V3~ f-5Fr3a"dKAxG'PWx(Zp-E\fHFZ-~/smRj&= ,8ZwY81$Lz7O$̼kяB;u[+MV=D zfBxβ3 7oDV}y 2xPc]GsDz{2Hya~Un@?N Ba\1R:?$>t$$gT,('=먑"DzpHm-3hK0rk%ٮdL tac_!ŖAKv$0II T6.WB)_ hAIRQtqTo,\MSYü d so&!zV.-On@6XLK!;iV2fHAXMnDsH Q,Lq\|F_{.x'Z' >8!Fd=_)*;d`@sD3ڢB9l82! +嵦Evg"8<\Ϯab RcV\R0ڲc=dІ,/;qZz .%@m+?kN׎B{re7*~,M~QRe԰.}`a2+۫3ZΦ ښM6o g+xO $# 1 ytx,Xe" qo) Z&DckEt3)5 d90Ԅ7|eU$k̅TN Ӧpw^0,䍬Yy;i(Ev?mX5@Dt?o)N0MKfZνV*N1%ϧ0<䢰B?)>iͣ mǤ),Z w1XL-*awbp;NTLF"ߊ-NoLl)!qqY< R!`2  ʡhތ)sBa )c7А*S\|.pLR*+ySIgj*A7Ew{'0 rqp֖ӕ2X ^i`yp\뗥8쫅1^TG[> y0_ن # Pzw7C* ׿ "$j*{W9ҴYH% A)v (Ua#UpIܤK < ˹nf6Nn <0x< n0ICG󃇋'+Dm*!F3h?UuLtʲp(5R|UgLŒOX^*f@w0Իx?݁-[Զj$[yA9`=к. ˜0>,QOk ru5w Nfw!&¼|㚳Mcƽ1߃Z!3PwvZ x`T y">xJt%?e*1,k[Mcވ1eP"=XyFe9uH2NHwPD4z>DPIuEGD$nrxD+iN F 2iVb7oKԇE*D&6_(/ >h>DLIrlɅuOAPݢ Y)cS`xU b_XosBt^xm2 \);so8lM> ~Vz@rk/}eN~t~͆4[byK֔λADͳH99*>Iffk`uǦ cVڸ/N|()] 0ɧFոw mq0R< #Fr_9 e,̄ͽ8UZ #N۹ḭj8mcMG*V$o#Cޑ%nlP!,1t4/nT ;|nܯ&  wh߂@<Ҧ8d"ҏix>Gl3S x1z_%mU,8[;_о& #%n{$sxEAXk/JT`"볥CQ4>\,PE6kO(*A ~róV%xx"QMziA%/hE0#^ue:W`5Qe[- raLg_  Jl*pWZjkޒ>{YuÚwTv? 昛I .7F2R N?6UAxQ'$蔫hNS"!*8&Ϟ{q N*X7dҺN.9(w؍i_ҏSt^:1!YR90YG 2lms$hFpHe)BnZq\}A5.,RZS6q%3dHh& NWw> \,6c L ]AWb..:lg84C^l6E>A?{lpo(EAUQqziPݕQ`Hg}%l؎W-)@Q>;'6#Ϧ\7}.ƨw$u7$k ,/vMo Ώ(ǰw注ESC։0-2BNН:Yȩպ}2VU4eG6ՓY^q 8Y+pK笁N±H_gIpM>zyq_݊2բ8Ok䨂 BDͫo31o?qf RJݯ5l*kğ[ʫ`\)w.o+otYAR,ZY>l,7Dsu}*\`|(~6:#]!s~CxtHW{i,UCy~<=7 *ʸԢWSYM {\4@&"#|iG5Iۢ+z9vTWsEkInhz9y&W(Ψ Pj?Tȩl;7E2EiX^ͨ7<5roQU !KGУq=,29Lĸvr CM7E]8a 磝┌Y+tDh˦oG=r0[A|>gi"tw B-d8]z[O*%!>˷Fw;`щN~F_B+*dPcUZ:Ҷ~*fX&m`UB fo:R;vլpKG쑺Cwmt- ,?UE20[(҂=M^i wxxW]6E:?A/[XX&3Sts[as7085OWɱgYZ252d84e9a92f871765bfa846e8f1ef54b36bd1af8e746ae3b5d24dcf537ea0091b8c9f94dd892450 96940058ca3bea5d50ecb9123c65c348b05041486183888aababd95ee8da7c05e386681831ab280c