SQLite format 3@ .0:  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 (%$D ]/]HOL-Analysis:threads=6elapsed=353.688cpu=1814.060gc=84.568factor=5.137zXZִF! W]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm %Ѧ.Fǡ߰}ݫgKz ^&kEm="v@TsÓSήk'kc[c̩–Ȍu`z4ũ+X.v@]:wPFY>W0s+B1/51(j0/p&dX=h1ȼiݼ!^]ȝϱ.Zy8\Gh<@&cX [Q}P#NZg5jca\hͯн*d%R@T&}8  % HOL-Analysis  [}&Z ?_N@yfnI?[o/1Mm %\f>%4`,%j]%"ʌv>10LW%)%~U$t5L6 zH۬&;U"Qs5"ʦ)%{++dMZܸ Q7T@Qj!hPWVd+o\k_۶lp_+#BD :g0 Q_fktvǟh P]ʢ ]zXhA~袉ˉ#rM>)YĥBՌ3|E.=gmƑg+\ S#3͏& ZԻ/c~B=4x66S~iޠv6&g7O^:$)3bNn"vP>66B'4d7s\'\\ǂbOvH0nM D={.sɕH< i>R}.tOQUۖ( ЏYkA*pE2<9c0~T FJRDq󍦭$%_&n%˖PnAEw}F~< 6}}:"H5ʛW`W2{eX})ˊ$5?YIQG*K)9#M H  zgbM}DrnB 4 1jeo T=cSv~ PfI}a"~?;=I]az$._Bꝭh7LlK \lF6]6 TgBw|zkl)Q^z>cpaϝ8?!^K(:+|GrĦ}nx-EJK]&KNᆴ)o#@L[㗡[Za)6;s÷s؅J|hTy'o˒ΥtB:M8:9T22SqM(׫4E0ez-2ܧsYu_-kR+XY*4Y11פy "OGAIe[:sh2q>j7TA0/,% znCO 9=ѻnKAl dn\8B+䡰S^%P?B~YlM2rp`U/džB)9Cݔq*iM8*+WTWnaݴ|z1 l9]|N gׂba=OhL w m1Ktv|˵f0|S;Sk!nzH gKG56قѰ fM\7"H[D;tf8f 1& Ja.G ~~ގ4eYLe!n6HLY~ KR88UWo]*/|%o o4d-vcP@S/v ۏeծ_/Yy%2_=8c >CVn͍Hui:bg$W _MOp@vsE*H)Jl|m;U10& "r./vVn`͟bZRmc>5s DLt_ uyd|yMr6/6ğ9oD4Fָf2c5q`a51vf2Y{ڈK K8C^Pk M2hց7zlA^AbXH@㹟՚~(* edP\m*YoeZ#,)Eylz*ǥĵ'aX#ʓ2ՃߗRry}Yc.]U¬ ͍@hchߊ>接r )sQI 7Q/b?[(:tȵR! {理>*1.a2ENHe Ԍā OѮF\Ի_O+vUs^FKa0G{,1q M J'"W PVϬl#z9lrIM@u<x FǍ@ tE.n6};o/1֦w5ݟR`i+$Pm399{Hpa4jcq kOx}J &@?zOgST[FOq׼,+ҁB׫T*KCbQ~gOwð}rj:چqj1o%(zÇWI&U3% m+Ǔ$>fiD(;Ynl 93Yb)l0@Jj6VV"Ux"ʅ~]]c9n%tN"RhWQ̴At( ;PSHL x`L+$9}%ڱ.9aF'ܸuSC>őCL`IꫫG*Eϼ^_:n.#kϽwsNYm DŰ͵^ld@Rr(" 6 ?gU^cYZvls52ougZ"1qk.c2h/(SBy?QIODӃ|#eTf>=JOlyܒHVΘ IQb|~r 48-1yN9ǿP>QmTS]C C_Ar7 Y393@[ΎYCXeXnMC͆ꐲ1?8&tԌEG|,xT]bm]=䥝Sn NJ.ȴ%pώ|*PHe J4##uWX3L3+<N@s)30 $79 NFLVy^XcZ75)xkoHַTR:"V.4` z` dk껒ނ̣3 |?ฒ{k/ȝ̨1Y}<29Uwtf2- 9s= A6y]H5#E)m*k=D#Y'ف = _KO8 164D[SѺdj敊Ң:Bn fQk1J(9*JOF ErNN7ptiHQ'̺VF 'kN%3ZQ(kAb&ZԁU"i׵^̞8:c,ΏanQzR@4!5GR V6D?fWY4{ xB#D,#0_MǼnyKNۃR LZN'dS,_?]>X*~ mmƿ4a?DѴs`cEvv q:1ԅºfiKjV`!G7jB=}&m#QþQ q}Kj:E;j<) 5beNZՅ)l2g ߪrv-h3r;錱?q:33p6+V)o$Ǚo_T83;QCv+~_v.<۩Ź#7w+67*'s TnI ~%oݯ-\PM tIk= 4g/^⺋L]/F9&iamH{N6{SnVb ȫ@&(\fлyO)jWF)a"YVNm .G%> yd'6lצ+"kVX#AY+`]G+u³O64+ ,e0<$y\'jK^9w{uŀlaF4,z^L/.y7@ "ProdY}DEӘguvڰJad[ΠjȘWc) nɍqk\] ewRJd;ɇE-6_={ɄAQ6Vcnn#]]JĂcѡiT XܿiE@<'ƍ4Ͷ"_5wa¶̌byB0p03_!Vгōܜ06#*˖?~~?p~䤁~G~2tFN8YATP,{JYiTcVA Wʗ5odg1q$0S/U=K+(BUf !B`yAʅҕX] iGp*$ *vPYQ&*ļzYDPlxuՓSeR_(ò Y/MPZdk">ydt!ޢ$qi[ޯ>Etĝ=IG˃+Xfc[`.B-pjfWz7wrԳ!񒙶()íH7"7o `<> {$0Q:2!.x#J e,X?L EEB=If%' e(!O) evti!I$Rp׳ݿ,㢦=8-T0聾Ecp !._ˊMG&DM 7Ƀ9TH94O8l 3XH+Xh}E$y]qp[=:fϻa3N wPr-J{9C%gCj>#?<Ģ8cSFuhZy?hNiRŋ=Kq Q? sWepsvUb2N$L޹]usLṺRCiY@*uqR3*= dX;I}SXL`vcEjmtTxMn1 ܋TMYO|*8e\~cNU<xJ:H"V]kQ;ioKQZU1IZѻ~9ftr-LZ ı:uuqifzFtX3'LW?sm8:k҃{Wd+4+ބTkœbWҷsdرYt*cMdvO6cU@~'S H.??v[ AV@F1ͳQȔ9@1[1'0@{lX-}t/`Hfm*ǰ EEZe:_D`̩>(Oe.=hQ*vErIp$xwe \D#`U;KJZZ h-.B cʇs``u5em~jxV%PL^Cr$%ew zxy!^~@!M]ʊ a2Q,b66ҵX5jf! 럮\X1PBsm älIV'![VY#k vS*pĂ>Xg Ry(QZ'u7y%crc%_r~rYɫI|7i83۷>4 >1%rviJ I0n<X+Υ1 ʟ䥫uC[=*ߦ T-?;J&`.\ ՘1AjTKtha,jI{* ՝g Rrݻ6.Os#)}`\J|˨Bk0H)gnbCgyequbH\Da4;zwHpy}z7 >%N$ykKYcs@)8qX{bQf|Mit~j ^GXgz_s^f|2o4Hke2ːYe,jSvv@V8w8Bk"n"vhpڹ2$ xJp2U[:pju UG_O?xTPI|GQq9ȟ4?Ნ%>ƺ,Z[Ӏ'5Z̪4a ~.4R|T2oʍ팞U.͇E_cxD&5p[7 iiXC}[<(xحL;f`rnQMZ3בGpu#_aX~AQMXr$9g6FSS.j9o ,L : xkjV=̩',shn681'R ! me:{0[Jط ^Z}"ۂsީy\!QS2@|ҞjQ> >.E;+׵K"Jw@ LR 3+./V'k}?ffN{=}*VoCO@4"[ *u9ߧ{o"ea&0XKd_ͦFM:G3ˆdYm"{ϭB7TS#:+ݥlCQk=xh/l7oN0]p2n֊d@"m69CH+M)0.B/$<TpNھc 3OyڨXEv쮽aH O#ڤ%ZxggbCe3u䠰y0Iby3ԙD  I0_ dC}O:cEɗD*! WPeIQܷ2KVXf`(<~[Drk3V\cNt{2D&w`5/}{[׿t& [}[`^dUaV.jc>A^f|maԐjvc`N@EC(o3r/Or@qoveTW1NVÁ?1£u{p(dy-|X?~4s5U)`ιrx>&KvshD{rW A>+Wj.?3Y#\Є'35mg w+?=㳿C;PE ~ ̧~&2萟t%/׮CiR/%dc̖zo[?Pܜ`], Kp) {`-85Bgjn(vdgG1`0j â}1u*4\`%Y[3. @S~Nl] ҵK\ԡ`(uX ORCTpԱam:]CΓbUQ:1ٹ%%C& 3œ,XW㴒.:^ZtDVa*fSR à. '^iH\p^҅4cp9B6[ufca\ro5ӝ>9pՔ{0FhŲCP Oi>Ec&-zMw,W&[`r쟄o/L*4ua@Kn?~%n3 &y|pl"G~ i8B¤JH3?Ĺ6D]hvT_ݨM⬬Hj`gQlZ?1۠\6hI;}aJ}> ŒIv8eRˬ0xDFlە ܡ b)S Mpc^35PMh`^)KCs2qU,l/ySUb9,#\6K#j]q=lʭKfKq]׷,ʋX\1/;Hw@;eNW|>&ОdvqAsJ/LP/ 2OaMRRq/hKmH)F<D(^ixrmz?rb|U:GbF>i=3U>3BA)Ɂߒ8ٛίzc# >;(C2.:tk4 iޮ'[q ?U]WI,z'D B_ocȩSL]u껠EwDq cIzn4sr[U`yFRzO(Ν ɦPN\lZtμV: q>m*/ ZH;kGsP|L ̄/t窹lzYNZ(-=MA;^}Ԙ6VO','dr)gю_1vݼ rwC_N` R> b*AՇ{ 7*;wR1#"iC^E8 d)h>~@/Tn/PjfGQ3mN=4ZJ *!)ir7[LD4bvSeɀgAkPCXaQIOuCИf(ɝ+Aq3jsr7&])LUwSg 5|i|ي+"dKno.2/W]q|Tcۂ[< 2;Gup@&r^H"c+q22Mz-t"`z"[ʝ^g F%?4.:hRyӑ@}Š5![=/@S)R0/RỾ4ϪR? MNfEpxb642񌌝Q, iߋ>C*8$ A`KhsX*hE1wԓPJ)7<\G*~Ç Btă~Dr1AHn=n}/B1>-]S𢟲 A+x uhU C2D8]E̚GpByLFjFY켋4x'~KBdO:cz&gBrj \Ke/+(<ޅʟ$%ɴ-p&S `KmEk4L1Rf}$< W9bsW0Xl;B%Е\׌0p\k W囜?ҝ\9rƮFcJ4,ƳH=MHwԓqYle& .KVK fxr .pqN0lRR靖;!$,\ǟ'8bFGPF߅*Gn -kÑ/0 3FfǏk9Z_4t6(߅{Gɭ\̑Mi"n fTETI; 2 J{RG0" IXEIʧ>W R:XcD:*ہ6sfT UЅPi`h7xL,ڲ{b0]3)*7"1

wX F BL7^[k&_NzGKt3'>W`@: 6 BNXUg_uOQ`YhJ! v{k*8g1*&&1]᪭:8aNoX1')DK-@x|̓/W4,R PVSkev^撱 2[ͮ6; x{dMвt=fjp1xR%1+e^`_12`M'藥jlҤI:,*{åz,[:هF8 ?Qiz|PUݚ*:LRz4H`pp('%_g@v d=~%wmZ3NFm뒀0E#̧b9?[v`N',%Mx<S,W]XGps-I=ܹgx-n=vCI1-Dڇ|h[jX;F[ (RW4W%V+aXX2|-Zܽbg)!qdZ2Uäc1:^<ʕOn\!7d&W}=8l[[J[NğD8~5Pמ>ESk[t?MT"R!~Z ՊhZ兏1Hc#ܡܶ}5  W6ۈ3.mqx1d7|DMYNJ"|1h6W3"o/pQz`e˟.[!"}-h|IshhV/ &ђ`a9͙n4S TgBOa zy6QVED>YrFI >.m6?aVQvy 8BנFJAd3 "V^̮}G'uC?-ubd֎oZWgZT?n Ѭ2O念mu fxf% V5Oӻ io[*#<+3듴В |$1t,+jQOV@!bax?n :M4oDFJ]#?tZD_"yo[_փf#sCnm 6V ;F/n4I;hȅ4o(6}۞EAyfkۑS 5x7##DlA1ߣgwf?Uh|^xWv/lO,y=q hD)~44\p5?4`WjT`PǪoFlٍoن|"΂s1 h 3Z K2([CA$?GD&"}0#Z`ןy㧦-`yL~ _[Ǯ(J:~K5|ZPg~DP)h"Ujߘel6C( h`&OXa=`I3aO ûvȹ:պ'_.ѯ,Adat%ޥwէ . wVcSk#]sTB5jB=Na2N`Rx.=+QQ3sS3N}j!-W^ـ,<4,bjQ u{bAͨ*#*B FET'­ŴCa zRw3qг$\`#[dHp: i'rW?[#:8Uq`鄦bȬTiMO["nqranBU6C[45kz_['VI}lO鄑|H0^<->`E0S[}`kaaуuVOyzI+;Ywiٞ%L]t>e K$pI3ywN6=Y$XrR`+< CTD >p|j+-{4l>l`[>^: c[?k>\[*9(SPdE Pb] :dbXޗ'@2f&rN (52: }Bp佀ssE y^wzeMdN;PLܘ֍I $emSowk@7zAsR #;ʎq]|%<NJޤwH`PBr y'S$Es#**@ROOr)FpS#Uf_Ԯ~B i}Es- S%2}bUL=TO!h jo)~z3'8-x@{icGY09vh;!⤛su}6bdjV|[myR,s>NjT!W6(B7($. >y5qY F&0 e;ϓnShtC!#"<[xk%ޟTh^PJzm@ܤ7U̻s]w,Ȅ- ^ݢ ?0[ "$7 ocȒ}UGI{b#8h*q,T >Y4LB3vp3wyPљzʸ\*Œ[%-VPQƢ\U ģ/5LGǨ4$!!l' }T1jSSRI6ђ˄q.p gP ГU ln[TuAl(t]ɫSh]G{'gOron!= Ndi1%MjЍQ~1:K&jwvX\ؔ1rd^7bStf-åa ͫl]>}:%^,;u_Ep27@#6KaaG_MZ R|EW _,d E/]" :sxت䰐W+"3;=gݦmCԩ|Bd+HNdA,iNRx!\Iuc|&827 Mh-8tЊj8a|ZEOQfY(K=Wmv^Ri#qvAQ+bDq+'"5<-4#ňZ:1(KuG'v@aq[ xTsF#8^WTH[D4klV2(W UCӼ\2Mni##5cv@B=f>]&L6 5BPXoGsM%%Z` %P}fLF]҉{&vO%g߈Y4e@_[PO!mKbC;N]]o?DLJ wW.ukQ -23GssAZփ:XW<nQgȌg^bhg$/ЕiwUG{ )ʂ1}pebD9QzۿY]- -)!dX{ҷ7>Pe <=P1th}DQNgaj լkIw8 doϊh9#IL]w?&Gx2 |Jn?*5VYgYZ7zXZִF! ( :]ŗXiɟ1˦r!cHkMeBd4?7Yk P73%ou1i#WM!< eZL,܀Τ?u$ެ}^)#a14uxU:/)t.ÈIu#&~j971P%*KpsW` Ϋ^Ss{GQiĕTO[!Sq9LWmࢬ蟚<,K.̒dL;޾ޅSm1w"+/x}hM!k|,c7g 8Y=_xQ*N2]9c@@}ŔɿQ <2_қ9@-UUdDCp|avm9}0@p=m\>6KeX;٧|~ >; ;( ~[}ir\L/ҵ)1=曃ۆߍAZ63k7<%BSXS˽zou7@zc6~x.Is%TeXE[о||BD]5DDfLzfm=)R@M&xQAgߏDe"T|4,'Ӄq 7wPFz}`cj,3/M(K7eMuYGyx$@قz_![ -Kge=DKbڞ 䓂GѴxۮIycS{-WTՌP? ӂ(dǡw9}RDxjd-ߪ$54'ȨMfۤA`75жr}JfrXb/Pa?xΈ_й+Gs2#"ڐGϙK ģVNpz eBFb*2_̈>[6H 6Lї[PBVkY!gy>Οm&5}bUM\Q].`2 SuDtM7,8׼|qz%6Wt x?A`o<2'l|/ \?椐Z+' Rd7}Ic+eXG{(&&pcX3H @_yAL\Ǭ|3gMXhOoi3ϻR:#$Wa`opO1N/=( "I&)5S -!v_M*Td&_~U WjaWz_ܢO5,"{_mNDD NUyJ ;]SϽ$q$R} ٝ5ftj֧ /tc~OWk>N Яaue1_5Z̭",`w?|sI^ [}%B)2i@r4ldh!>^<$ѣi%$+?#B|wJA=yI/)_d=CdaB1!k`ߢHC?{m2Qiu127\WW"25fv;eyZի<#+T% ժDQ=tgYZ7zXZִF! &~]ŗX i%GkLH]璜1ttjk&"H+u^DIQB%OAP-Gm ާ v W={ҍ#v*H{ʑ"z~r(Fba:,L{9Nn#4w+ij*>s/z F=#μD<ȟ<܂m-_[hM5EhUZB `>\?(n*_+>Βg]KŋT}r--X6Xe._4a.`Jh I$Bx>E^" *l|-:JI:;-)E$qf0̮]I=H1-\Lj*S0HTz>"q5=HXYкm8zt 4o@MpqteyL^EWTZ0<NXr< HyWcӾ Y#)l։憧A_N Ijw5=e磜u&!V.ц3jEM[DӏE)1UW{{%/dh+(fit_FJusFJkMi17Njt&$[UGdv{HZ_`f|d ;..݂֠yM>'URPScYo\.8WukH([ǿۆn-4Y r\@ҜԷ3UYJw.BI[I%HSS;)W]`bKRRێq7xM~5S17P@!7Ql/.ѪM+"KEC㇄].6~d Y[~ɱ>)O*RA*!90bzFXxs^ѝ&\ vsdПVV;[ph.aiپ0B:/*@Tn\dw~ 5GŘ]O R׋t/A=ҵU!V{dH>N y4 ׎<+A%$YzL%R"Ez&@Z2A`DSy-uPyŬ[ďk/Eoڴ~,y%')ny@0JaMl1>9E΋]311/9mI9ԷmPL\&ˡ)u^ ܅aـ-R  A*܌4Uݫdi}oW`ˣ  2VDŽyu]K4̭D~`|eG:~yc9 _U.]CߢWuttM%^n^qF;#gyOƬr!sh΄)xS >uSH?̟O&i rʬg0%1[k,2>a4+ ؃Φ"jY҅OlUn HumroJ`%Eeؚ+"VJ!ΌozNvVptJܯnWkֻ6浦j~i,(sr9t~' f>~C7+lzTq"/R}9̋kGg5uL$36Q[[Y O0UfRiF{VNYRQ¥pztr˶ӐP|0=UvG:htcNLje` qaei/QxP[B2D3*pewH*Q+G!zPDsm^:_f4N|G!TSxPY]&FNͮO Nɕǡ Qq{Ye6ИpiPelО<Ƒ39µd#|tHCGރҎKXz:]`f m#Dt,!O˄$rLtnAIPi="1xяԊa |};b^\uД1swYa9( ,܈սy qyEz}1s/2 X>„(( t;*KgRAyhM|n"KEpz;pz4d\je5{dZ97d;r]ey@J"gZ?[IҒ*<ͽC-$Fs!%ʠ%u@m8wBhT:@35Fp;d)Q;×^)BRek9:+{0Oeء:nA&ںXU\dWNo<4pYPW,@l3Lw_bAcKcZzfsTQA+#YѷJ>9sRYB\)F7%x ['hr#`5@*w}D+h~fUJqihyWs%vi;`W]7+#C}L1p!zVw_Ѻi{27 /u}X%F3_>R㍱ϭJOC˰uMxf 5沵5x$Ie.d;S6ȒHE&$ũ]S) T 5޶wCuwQ ;dML O B1d,[^m4"UHYtE/ؠkܫ\(=Bx\d,$!eI㎞q|EKٚpɥ;D{&ٚ4ꎒcф(I!C\ kS2 nyQ:ͪ0SY[!~z:б S^0 YA 9xkny_#'*no(@AWrz ;J@8yڒK3n_6YPfQU(1^$Sv8x0aJZZ؋_^:f$JSj nѪfdz:%)~!fj{b b4nEׁ4mg4 ŬrPS;r#6q8n5RH'PWv ~_>|Yzi\f"GfCaE=eX^HOp5Jq&¤tShbb_\ewF gQ8Yͻe{&IM"2:wIICʎ!\4~F ?P a@F.9DKVx0" &;?mkΤq衙\ά . 5 |L!ځFvbքqN;9y|H+ɪ|wm\Q Q1s2;t(ᲂp .ȤbPIkIJvތk[r=l{E<@*>H*PJ?f7yHL<\!NN*QJHVrFm6J珞qg1QW{sn5։RݵJ ƍFr; p+AwE qXCWf@D TIi$t6%4iѮ^.߇hӣ4VΨ88Z^ 5q iڠf{4@|ou87i(bVcH993]j,N1=2yЭȕ%[~뷈5lKNbبhܵBX"+z+1Loݜu⩎<^p/Po.`#I/>\bmpRоoFlxgڕ!=[.5fꓫQpWLTF.<؇S) ^/ѬsB8 s,gRMȡ$?\l&"taKFt^{io_k5 zCճ?Lu) w7i$ #cFh Xa}o uIFU& %2IPWG;%' Gm[=3h)z! B>6$!y14VtN0C&͵ƌ9UUȲJPmؚW osӲe jS4Y%Jwq+:Tn_NI1A(?&n!y CSU\2}V1;EV0kYY7G$Yx>kRk Obą-W-&,4F!:IY{kJ|,iUK-dwOˎTwS.-Llg5iyJk2K@G|.ԑX4 inf+Ẍ́{)D$Er!Ne)Y?LZsXKʀyUg]8\mn?L ;op8w>4JܽWX1e8u#UMSmX"FB!+Q:|Tx- r4Ϲ|G6eztEDwO];P˘rpV }h3,E^#Y(UŷF r7bU~_`_p7v;afZ>%dS82n-!/# n@U\`2#G qq%eiL$;6Dvx: si| L۰x|oF-~bl1$$bQI(8B[3Of .|,Ewjm_q_Le" >^v&U=A*h=oc?WBb YW4A0 ?ʛ[g'ym@IcV^i9^YVĢJvhCyi6Fle%Mװ.ߣxle_e>o;V$;^c9Q/T;@ЙKGxMʾ!Κ)^C[WmQjآvͦ/}?01]de,6\}9QSrF\2iJӣl! BL毘2jsryD>!c'4La:ut/_W!F(Bwy.tA9zκAU.s.+VWoE*Aֵ%# z}&کC1 Y]g8Pԣ5_dEWcs[^@h+HF^ 4U/M Q eTL6sR׷(QS>Cݱkx:ٱUsF"MV*m C<8JOբO>BK"KVz.b\$ ?sBfa:L D3t3m~KpH%L3^FvV-Hd݁_™m߉u߬A{S>pIݶ+/=/)XbV1|qN[[Gby[ b+ljh'Dk.8vo]g<ʼ,k  kRX1`9]~e)7)r0Rh¸xfq5jvP q ,6geI;Nt1MqW)tovq/a=)jC]_N>z17Y'.+Fjg)LWBs v!x3Z(`m|?6U$[~^|’0ŽD/ྻ@?Б?o>J40_1b=GgJv)g4 }jU_su{\Զ[xÖ9iR\6OeHjW \/X^jq4Vf *1u#_F胔S=ҡLg:lN[#p3[ LvldG^ON?O.B??KȠ//>|UJ3UEZюځ/7;&ZQ wCC <FЉ(|Jo3NWho@"\}vӒ[0bKvjl7&/ E }ԆnsH:˼xLwLpQ89 Փn.ʭ:%UZWrlmLɛ~e'IűyITs[:m`2*ˤ=q.pYSsE EwʜFa\ۊ3"z=%T8et\sᅃHȞq jAD bӌB`Nwuz LV N4~TM> 4}xrXg}K,lѝeƶ=!DO|ruKykt?C~uǜU/ud2p&LjӺNB qVyPvo37LciTKD>p6X:`y2CmTiʏa}gpI۪oXl=Q86{J^/5^mzkU 4Q,o~ʊL4Fj )>7FKm 0ax<0>2Y(g /;(]WsbH7Ϟvʕ6߬!"N\0𨪶ti%I]osf*om+Nx5?O2YXFEHwYa@} 3z r Wx; YzIY9f/![Sb^qTɞT0~D1ډw Ieb|~ʑI}uۑ. -bq xNΌq~]7=K^ D:=Le{%O= }6&gϕ7!unvYŧ`ױ2k'KtF!)[tU^LbO9^9nIt'昈C'JΥuNEi"Q5-yF%f0VY{ޣKXj(P3`~L0vy' 2j9@OwSͪ6)xb5LjC|L86h\j/RAoGUvU^+@tLQh,IO$r.g%ޢA(J34\oK`L0aW;e):Gn)N]]Rږp`+\lKvZ=Ӿ<3VX-ѦyFZ6qTKڜS;nPo^ RlM/Wtfi#r8 &:ylm[ ܏m}@2:N/]h\sLUph~g8Vt|wEڮh.CdؾYNt8_:[PWIK]PwRZ gq16d onjL ,@ 7&/+퇅2[g?%C-I48bw.⬒uGM`uh?/n$)Cwŝ|Zrj^Bˉ.iwP;82]Ifn,Jp~-IS\HU+,T~NtФG2#ݱW,e76tE=8y| Rpx3iY˿[d=\6˒2Ͷ_H+w 3Ϭ}ٴVx"иH~-e[F+o\6ĮmdDtfmODuΣKH%/= w_gfGk^;&tM^x5>p8LXv9 k2=tan LAEaFF+| t 6ɖ/cU#8(414 m\M8F*}ׯ#';Zk?r×y1d541s[}Gţ;ǾɁE,Z>f-|beY Yxm+=-i"֗|do#s~?FʰAߔӠk RhT蚠̂jnAGZkƩ򙎞7u(~ {P:᳘jx2B/-A5-e@zV{ pXVZqoLN .-弄/Arއ`R P4PH-PZLHJWG'ϕIuvZwB:6!7Q2䟠 Q T 0K#sӏ1_]B3qyfܿ7f=y1?Pfl%I8j?qNϵ8g_jϰA?Wc094/NDKݕtߒͭ<݊=?V亵| b89heVx ?e y$J:'RL9M1J9E6Lݫ{bW>XݟzФ1(ʱ.PTCR=lz>"HV;HcawvIrR6Ӯ(K@AfCX b,"Kojˣ'@:ɯ6G2˼蹊HM᝕t҆/)e6+@ru:UŋE8M ebP!Z[D.gsIuLį;BEeĨF&Y8)ͤ2g*y4C9&jxA{\'X j$I849:3h>6[#DV9Lڸdx8M0ό%0bfq p#ש|\~ng(K]iovʱk܂LHOhTyT=nR_YkHsTcr*'&/C| 3AE:Q茨e: B !/-vKOk]=YtkNr p!\QaHBy2Sfk^ge=cc ̈́ghx!O>9RkA_:Q͂qbsfZ?\f ֭D^fAȶA7?c%--UZ8I~,Eߨ0a=uXQn^&L4;q!VLD>m հHD1JZD%@HgMwMb}1喲Jz[{;Wa9lzsNʾXHGPgw; =)S#rT*N[|W*D tnlg4zƞʄbs%:7|wKޖ,aJԈ^;1VY5~>+gYI>S`a)̣b4FˮY 콠Pd$Ck`10 & )Y%7$=cUMV,,*|Z(p=YZq{w 严f&[&hA2ՇS󱹛Ӆ>udƚ;1$6W@;`,..g*K\VH8 j8ES'ӄVc6 ?ʹz/,C ש9sFfNg#0'aPo…Ƃ;6o>5c)jl=[ ˥0[P/ȩ% _p;S1 uUuCp?ץ,w_Wo|ߍyU1yāmQkՎuns6DQ !9*&[uo_q-\DuN;~3&i ?d#~r}—a{=a*;sizi-'`{d7 , 7ЬZ;tPEb=t=ѧ_ƺ eb(ǀhǦTq}a!ZWV^&Qp9bvuKf3DSi(ڽ'P^)J!DJ3d.d_' +jJ8=o>k_a ((ljUFN,ۅI{'y0Gx~b]Q" 7ސ_Q߱k16XPqs>5\f2v;i2(%2TwGHϴҲn' 89GKJ*鉆L~#p! );3}V ֑} Bdt0jFn@;@4&}'?V Y1>!s^nL5!}?O[6Km2#fa 埊䧳'zt00qa CԍZ1c#z?Ƭ1o h*z,ej+Sa{ U8'plϙJu 8[jQ(Ȁ覹ŝx&t# ˫PuyH^ZJb2?4P NQ6Ū`X[ġUݢ6al5$S[>Mʴyߙgϻ >Q$HMǢIӎ5/Hmz Q)FBϖ}_.G[,*˒|14Ӗ&@Res,j^Ÿ#ɏxgA3‘ {}Ux>4R1)ix(̕l5KP\2/ґ%?7Ji%O\OFս͏oPK[V Y U]2 $thd)!ˊXԀz1u>WU$[rgJ/}cAeq!Oyp8~O[6XfG%Gv)Xm#L&(`-'e Y 8Pk8Y Fo]ÂM'Xl]WqsV4^x`H{9Tm_S,ځ[H<HUiqnh|m?_,A^@Zsmї^t8{1IG27/6\=&gr[ka|k 61]g娻3<BN\:4`Čo9=%]0\=/+.+[Ix\_ך w,iamItIfbA/`93u8-ozр&؟Hgә|zRctv1&v y"0evxC:qnlOy+'%ZkN@PN!X W&i d4f݄.,\3v@'IM]7/!-Ham$ic5t> [ ѵT1C4?Kχ~[ (!ӞHm Q,ABLTg*r%8)lM{/@L[ܼ)NeՖa%L>hPa;;3aWIY^:ikfzUF}9=b݉Ȥ2)2w9OGgͨTްx!Q^ M/Gyȍe3*6O)U\f EGN`)zNKN/2yj*Lp#'|; mOʕ2l> MՌuƺT7ӉU-_Q׽&d;Vx DʻBi~ȃ ;C797I#G; 'qGGq?xu%ۅx/:AC|3=dpv^+F `یe"ˬj4_Vab e؊]Ɣ[ҧY)^Ǝpk/@=¦6M=).ZSG[ORO2ftu=p5~Ǐ:Vw5_- $A Pwk_|qv%dj-b$~q zO uh(KW.nRi+ WӑdΪf y\Pxx} 1oy ovw"hb3W$&vˏI|Xtw f>*>W8-r7ߐq7LlkϖЙ6k]D~Mۢp(}&\d%ԟ-{y^ FSya$^ !0o)/ɧBj<7c5DqUbya{TW1E.[2d7naX"ŘȍH_?ydxO pG64!~U%3DKme #:17]m_eهfXw88هZ?U2zutAGi3Hr5 CD;"$]hM~-"t} Hkiz%3QPw#@Eai Z9j`& ]Y:Kx瀡~םxa=R?-9m,un{{N<ׁsc`b in5!"!M<8 2?--J%sz·AS2_@ a$;G0_)knoA+aDt~YLYkt?ӓZWu%ߩ! ~Paz8 i(h8\ '$wb"NaZg~;zyze@p~JA%^J[kO5F30y0/'*/> ub|" mu C?IZEoz봈 Iost bdzQėDZrnՇo,;TG[1&e SyTudW"Ajb1䭏SAR®AV+Q4)M9DrBBզ@ʖ2A~&:='A"ɽA2Kٙ[eHXE %ˢK0_< >BO,<}p6{kuU<+`M߇4lY7"+_XS!3$ne70* e a!| @[`>Gjӿ!%z1B^mBHғV$f@3yFML7,mDX"ESҐ&(kd@/a0aVt3ag'2ZKW< d D˷>y2/Ԓ0X`#N]сnJy&] iG$fla>@LN:*b!Uюv: > Lp u9爐t9@av\K?LH(vԔtxi s 6 IS-FK;W*ߏƱA͗=;kQcV<e[$։{μy7ӤW6y@dv,459s7V_:j*#ьնl9f@YK%5~N#$.s/8YZuWʺ/~"gLr \3NX|}}OZ 6(V}Sk_: fIdRI1УWޖڦ՟^a /[*RR6U]+DCh˄Tzd+$0oۍ/e-E\Or%=Yc/3[__ NJ{*&tjQm)Hb}LiT ΋Wt%^FIJx\~ 1L[2 )w=pfu᝙~)ij9OR`5HQHf0`>gAC@Ǔ8wŒXRuEIzDНraLo]hVF )7=$O-*DG KvVz {xi񗟌\5_X/P$8@r!L }E2o)` ҁ@&Zߴ0XlѠkRfg/_ktwt>ۅԽCR\APM4+'$Kzq8=JhPy]OGQ|2>z} lgv; w>_1˫bCSJQ2*#yķ8}MDK+XHP 7Ef"E^MrՔ>hCT7(BXmAE+Iױ,t0T=]sxqb<(tmeЬdxu¤"ScĴ;oI kh[{hEѕ`+&M;nb&UfUAy呱p,|,>IYGLs=Z)vUҫs`~GhD-UZ'e {/Ꝉ>u;bJ-:!r7R (Ϳp`Tg/mSc!R1IwQgR5:!3O7(MЄJǢ_j-qr77 W.,aK&hUŐx4Wd( S$7+ߪTu\TZ2;ʳ{+CI'҂(*$KX5%OVݦ!BHԐ7W[p\} : LeQ{JH68@43%1D\<&?L"u`^F4B+ӚCRI5 i3@ WLxO =[2B+- M<#NPilI"* Ya{_N CᣢYnSe]oK7ϣ;w>+jnfϕ;a;r9ipd sAzR(90f(sez nA$#L[?pЧaNn'Ü" qRZTˤEu~{?n0!u܂- 5TD5K.Q}/&&S[^/|YP56)0"MdXz_M銶KE^HBA:L!Ùs' l*q~B8}[3FC߿6hu]@(Lݟ懂EX CNMJ:O>HڦFs9]v\\7"4izk%Le{l*6ߚ, myѠUxg{El}:r K&=6;!q?LngOQ-DXZdv؋XT¿wNɨ}@J{Ur;IwzaoN=e` ll Mh@~ϲ6QbuWi!5fL<%iXbGZk_ iv\s3m\R[OI1{Głl"N 4t<:OU!tě#w xM/~SS(7]#Y0av+:fʽHg6R&GR kЌ9xr.FLaֶ^%p+V2"QŌ=X{cS\X,ь|]HdׄpMμb{θ8$zQJuE2x޿L^\N|CTAZ4z2,p+1sm)땶ۅ]0xO$?~׹`ʰ J""WTĒAQ}';k3:"ZcRlS×o! - /wݝbl>X0T xv7!PwE5I _>>H>ElJ`݁v4tqtA jl"0Nx Zp6eаñ=ۣRkĩNLX;c lL4[ y1Q=ZvA'PxI/eرqВEyn:sRvCƬnkTC,'BgF#^^`}gD:btk*BDs1VX8lA)]jOm)O"U2.'mnPԷwqvv9߯3uv$ B~+Pq5͓XM&_ߑfb4ƞW`2uDN_]#)KB Wmx aƆ)sM-p vc{Ok8gwB>)aй 4P% z5n/=Qqq'V' &~rJ(#98+=Y#i/LUDn-KDT&<9LũR1ӱ6;eڔXRB^37o];-8l/<u, ).acOҫ7>''p#&X@&EĻ@Y`<)Ma7!/v+V}1R1sV3zF=!٫%0L陑8h-IᆶNA-j} ='3T`#|e +6SHM /=$ڿ<"ۗ) %oc1f s9kcuG,b $Nd%gP(ގjKD7Iok#ָo>wV 7=KiwJ%*݂wZLRT3)Hҫ΅-TU!Ac@m|Bԓ|T=#?*:ߗEo.Q*ݎ4$jOLYhnq;]@Ω2_ؠ7åkJ2`PS!,Փ&S)Rl;V+գ^N3d3ST \fEwvCzRrr" 3K;yY,A>2O4=Wr3uE){캶'XpnWJ^Gv&Mh䈝6x(=[_;kxY&;+FE 8l'2DcxGS' _#h|_ 0 v3l|U9~7P@٦<[ 'a%k/aoz~(u*OZ1x^r䚸ʏS_Zm$y_`0>\EboJJwG%?a!;o G.0C+!Z9F9mkVzV&' u?V6`|GظdC̸6&Pfm24aYK i!+Bi!YY_N˱@ m}b]նKG;aOl6lv6~ oG5QC`>ZRz/z#=;!uߗ$U,)y@pT, _9TLaޛJ/5t^5 >(+&zꅲ^CjIјiz۹*_OUL^'&0\V;eH p!j0HYfÁ\  SRcP!yD$zUfr1驐* & }_Z$ ^#i@ +d p׷XyT60nsM+S-">Gw?Zep;XVv\|3`a)ekSfEYK;Q}ZĎ<8> X(G}CY{AzXl\+C ; ;s1D{Qs_-'N2R2$l8uBBDf2E+<{P+E\%[+#Iup݆ >rr36Kgzq)ܡXH/| ̽L[#m'Dό~-v `kX!`0R0|C]!Fex)1+Tafsԛ8@6+䔠`v 0&pYB fN0纕e>UZnkXqC#\\u/Ć 2;WΑ%#RTw 9|=S1$ZBHN)Ɗ¢_S=Qb)uu Ki*]+ESۿ#h V Ө'dew)z@4bHjWd0%` _c hdgz;| aTA>:Jwiʾd6( RѴ<0zǿ=rl`7B&Z{]aeWnqՋ=oMYz)\*rLO: 0܏nU.i0=88xM4p7= % =12i\j[b`"yV6p\TKe][-l")U,kT.f %XeqQZg95tԷCpJ@tDѫ^Iz`R;`P:Edꁩu~~9Y6j_i0UFUaQq֡ѓw`sGDӘz.dy!F3Bܖb T-AOw˳wu@d V?4W@{$HE=eTFb?wpS&ft"tþWF[ 4}^zjhx%YTu$RU\hoM`jY_+ϣ7YShȴmMyKDa)2/Cb#18?Ϊ~e&|_x+LvP_/kfK٣a>j9蘧f`X{c,@ۀd -hTg6a4pfŋ C&c?wH{jcADK\A{\Hl)ƑZhّ1:n̳C7J!W"8nl.\I\x2}buߎ vqZ~!3ف4MV4ܦ~7b}_A=Pm_q&2B~fi bW[)_m[,O\fήkxm^G" o丰IE!;F)jßFʷ,Rvdnb!n7g1)S:JzY:6žȎuY}a̵0qk! }`6/xS Xl4)<<\il9bB_[9;b1`rKN-SDb};UV ve5['u, ϳB} 5P?2t"SUŬdQ;$E V[[_^(Mܾ-Wh{Oˤ'LD ('0<'E8W\+_kc7=o*Ӭrm;PqGస UaߪV@ೇd Q6Й9^ҠF$ٌ{(\'+KgvN<~8wrf VV5>yz.ʫKȰHnm}@&# )X@ZdIZ+K2q \,ߋ Vߺ~{Cs;0Ev9<=\0DY]_m4۰5Ԃ8]/?\˓2 [F,}pL#{wklo)X9`@d&wڄ8w #/,$xl-4u($:ѨJ>">]5dDg ?@varbBjJ_Tp399ՁnZz Dɥ_֍1Cw~aK@I $k 'rQnǡ3- |JM̞o7FǀS % QiNJ(|fLɤRǔ9[jk6>a˸eҋ; w'ή+e2T)C6oMࠆGy (Ua;%Am(YD}{Ζ]S^wCK;]W}J0h{dg/GOu9+scQ{ ePB-^?D`|@ w2"rRI{ )@2;R*yo~v4Ҁ1)us㒸‡>Zaٳ] (4zHIhJ/qnlܝ~>?-M~Ld{s4;t0Elk5 Y=gÉte>nOhkmM@)Iւ%ګDR-ŲeQ-"qdjKsLQ= o*ܳT0_ÁM.E73͸b՛vқ=U5o{Js_Gǖ`f6ޘR=1I3c47Cyk`"rvibCGGx8ǐ_䡝5}\No/w槛Hܩa!W^2[ +ŭ# dև g m7Z(iCC*q+;: ͢j8fyh**0,fDJ=?Y}ˆ>kmׂ\No]):X`1t=!J}/tRNXkղ['Áq朩5"{;>TOX2E/CʛlvEi \ 3NqmܸrbqbkI$A*A˥q kч:%" |kNlhLfnjRlaa?& OOky7$*` >|){}3o؀ &S(x.52^M98Xmyl ov nU^b2Y(_12Vq,#$>Ծ5%MޭŸʮ{5Q`j Ѻ~#V( P5p&9s9ЙκfeԾ5<~49s PQsM^zj>:jVNǠS8k$66Z8[Ui vLc <{^k~@D1dϚcg^'b Dy7IVnM'Q2ǂs%rT{jv5Qme&1\q\GU:+eI^&Kpt4i7aAEB[bC9ghGea~;00`%ԣAXKL1ϯO[Эb'o{">w'DUeq0)\!p R/[ }P_ys <9$98/"Z4$ ^6QCdM4dNZts0%;Bxx EĮ_QlbĝxhW|)W[FY6#VAKʃB&.;Ac#M}1WΥsLEg.cIOʚtwvl1ɑ̙|FeRxGⶈe?;oUWwJU ]lnkd=FĪ-?jT[ս_#R3[x|RkDWW6ܲam&+yDOsQ![+ 2A!cЄ][Df?7ُ`ls]IiHc-zF`* 3Ye<TNN}϶ui&ΛK?d4؜;y䵨ѿa)IBݶ,)4܏B 6{́Q`8!ӓYFrps~C*+[EAdwZ?mumr4S?u$=F 8w t۪8#;.I=٩L$ ;PUo0h7h|b,0S ~T Wٙg 0%Sdk>js+Iog~6TE6SBĉeiغl wD)Y5puN587!LŽK) y-bs,.* rGJGCDQme~cWrIz-7hXi-X[~&N*Dn uh QʥRZ M xc3P~ót#fS3-w7AA~Q;^7vg#͔,"_khzG[YsEYrND h)#^ m SolNkky]pPts[{mQy~ ӑIoDK"@o$kϛ$x]VIU+Dmrd Rȉu3:"qSHDu "VvV %,h`*dS\&{@FcRjLB.y:0M$e'gIe~kvI~7HS 1y|^r Ty^4m3g|۰׌ PZyaG8Kd)vdTXrq9^3E,t۵CvJPB." jֲl۫)`j (nl 1^uHrPgjWD cjfP)7  <~~8 ӣE&J{ǵOfaYMECuvw^Υ.}( We%8)LƵ|oqZxM)d83YYt h[7ߏs44bNےzIO/O$(&B\@لΆ Rϙ^`y8Nrs;'LwG-„gw}=~3$E{w=}]~~3<ҁ_`P22DZ0#(_$1vFw`05FP;pྏUI5Aƛ+?]Gڝ3>nFϵ&东Eeݦf~nRDNs$Q@q ]H1\/_=^<֠DvY2[ w>R9gYZ9ca49de9de7976b4d6828d51d3283aa47ebd339c3a3f17a4e13c09032ff1d9490f442ddf7d03ef10 4c8c1f181a77f6728d263aba6fdf1897c029c91648aa21c7398e9b10cfad7f5557a691f83847449c