SQLite format 3@ . BBh77otableisabelle_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 DDx%t ]/]HOL-Analysis:threads=2elapsed=818.631cpu=1431.764gc=61.876factor=1.757zXZִF! 1"C3]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/D [Cԝ6)Bq[ێ<8 /~l+ُmr9ۼ*ŻXY黪#+_!+HwbZ MMyHp(?LsOtάVC(0mKϛa~BJݤ&wVUrPKArK۔gH16$=&R_uR%Uk[{^)Bc/Zxva&7\;y]h.i$\l[yLjpʹU8<(RJ'>+L|pKc;ybCgwshk2 uhTiô%SRs,MEС\Gg.Ƌ/NNhJ~[g\ލOըVq觑@T KQs8aw(g_s ;pi@p䕂5Rv MB& mMr_[7[EPQ{Y+k) R嚎%<jܼ)e4DrZT]) 0 (t:658'O,.g O!ۄaY"R?qISM :k6a*_bң'Rl L@EkR怂hteٝVyt0p*yl!M(rTwsp|nRJ}Q+Jq^ɓEMg΅ANUQgzѥ)Y+``r#S@[;n.E:T`"Bһ4׌!)4rx>3v͵ p撁NhAC`Ia_nb3xI|wzCgBR .쿉RڞBFmz9#OB[I~*L DH1Y): O(fI}Q!9vl0qx|U`mj,3NcV2 yT3>Nl $!ɭCh|BH*jr ʞ[ekkܵ{~mf ֶCKNb/JqުU~!Rj|bd4󾛐.$&uo(]\otN'juo1"6{K'1 ܺ#TRDΟu1J&6)kB|/(R,@EXJՑzS`ѷG{?{鬆ct m|"RXAAPf6=@^&,]*tZvg3VWV*Rf8Jd$5СQ !q3O7?.(ƲZT.&GSaYVos;=S\_ΈO!kOꂎԄfȊnFltpɠA^[tOM_1ǃaC2KY[{z:IPWxuиq_TL]Fv׫)3! nnBȺеQafy{hP$8fq誀!0R_^=vi9OEI%g\hC.j=LyLyNje.zړ"Bw <Xf%Ɣʞ~i@:5@PNZ9{sG)RDDk5MLf %]%|db-̧4r#R&rp@dC5rt Z+fb\[s !N{G{ꊆ'R1sbUjZ [څn)}V$+.AHQIC"֯yD,ˆ|f |3R*7`P"℡CC៑O!P\sjrVVbklj9Žʗ`W WRk@-5Da]7x$,] ^΃6RǤԹ[tu+O ]=~շӸL%Ixƚ'SrEx5T@vW~;A ' \7g~~6\I 9lE=Z<}9vw;=VCn㗿[v(>sFk&5Yϴzd6^_M&j@?"S-}+őLVd2ؔ;H*KrG86hƵHMk'iwx+qZݡÔbv`l~Tf8TkHFg T{{ݞ `}_[I:аx/C5(?VX:BP2SۀCuP~tܫ4ife## Rm{j*WLs :/Py`1 jS ӛuϻ iq:E3p1&Z9V.YŌ^ Z13OVxK@jdt+HΧ3| % HOL-Analysis.p I_-sHajVvME>R0┣`A崰ۀ!@fm`-YtEOEgNt-5`2Nzs~*Ous3%<š*zU~͑yRIA$/pb.L;BӴ!Ié<ՄuY(B0n.ԺH ^j90lr(|^h).,R7,zF8*SZrB.km: O]Xc4 esEh5uFX6 H :'!N;/R. 7_BP69G<Cr}O_Z}c y8,r &B_GEDA;[c 7&pNLS|J}2S !oc\+:7o⤗& K?Y7ѧ>{>, # qCq&+R`E(x:~Z- ߬O_H0}t ]xG709!ja\&&%f<`TEڡx RH$M9>`ɩ`]`<~Z?`x_is[[2f ɖ)*O&™ߚ8y@{wk&xHA*eFkJ! Dn30>iS!jt9?Lh͍ʩ.Ķ#l#bY#C: Ggƪ QSyO8V ( Wn`y-y/h#"v`>+mx +Bye7A]-{ ɜ@I7Zޓy &2&d_~F(KKյt7kylϿ7 "/;dYNgFQ$#kA~UPe`i艐T'27gvU--/H魌zޢZ=$Ukv1AtSVz(^\2>P}.lk-)X-K6]>_@kYh%]- jrAQ |f _*CqII%>?hƚk8W-BCjXB*|w6Pl kK@74 3ß*C \oQσRa|ݤgb<X #|Ҏ SrLoCdJ<)y6RarB]4%UMY~OݹbkOqY;3!(3k1 ![FFˈ di FZ&lc2!x_HU]lSN9sbrL\+ˏeINRyU~y(A\q“8E~MJmpr2]Q !]=@"~D6ӟY휳wz/hKh|V#dIzgRKASV[ XX9 l:Lp-:fd=}χl;\_.hSH0M{dU0Xf S 0kߤWcBߙ"->+%"NB +(G>~\}z=Wȸ{SVhoD}ImEyu 690?AA֑1~>wȣE|:DYfYfxZmP܈<ү&+(ԋKCb5,2.(P8 (#-sJT֚yAfs MdY UgaMʂ֨m F qX{РL~~dTK]Sg|w |}dg+LVVFJBtZ^"֞(zKgU`] C ]Da;x#PwX?behdo߫p+%C@XG䁷0<,D TD&$l[V!Hs b3uRaJڟAV@0Pm!LV@6yP;?╰\0M:7eeWb2{ϫ͎ c w0Xh:(Sݰs )[+ $`!!C)H#ۣ9aj;۞otzPHN=QlV_*-]s©e`.^Qw9 n-Gn{9]E(nTMpf͝+RL4 */U_Ғs(ݜE 44̚cnZaB٣6)%tbFWkN;3xc1zmj1&/ QRUyr(~^FF^j*tcyiw!r|ƾ$+O7BsA~o)nX GS{X.9Nt_ZoLN@s-J5z[VSjeW@:X!^kZgrlr6OŲ i:.D*6 8ˋqA<aqx,t_U :F$ӸUD#]fb-<*&}h!ٳ##R7ęRڲZzo)AIF?Ғ. d ~9QdbT1-6ʢ+fb$]|z75I*#t6cC;o|3+)jp5轁i=zhWwø>%AV\4&u]1u lmFGz BCBvsyIi.3 cKS&l[ ΰݩmn_翻5rZ;BXܗ "UD.E/4-!|F::V(4A%VT'_IۯT9Wkj<G a:#B҇JK_?%$0Fb ;n+2\ /!O~w*N߰=-&<7뚢$w^Qə3Q²m YCq +ϥv+JQ>@;)d]TBj:6=1eoayѝ#ye0»)(zyڹg*:zH{#aF.YnrWp*ִD3nEvBQ~<ÅJ,P󕕡SßbN#lzwlܧYcܱ,H81躭(R./X#A zԸ.<`v`LWƐdQ z5bj0EWS22MȰC{nM.R$ɶk@LWAb[zf7]4#f%++~?1{*Ф(ҳ&`3v^:J 1M %Y1 ;WmQQM%<.oi"QéQ $ԑ'9,eU'jówi0Xzmt!JDR^V~Q>`-o'3Wif7(9r! %;O!ݾTlz&3ӑ ^/Gd͹xLXb*W 7Ɛ spWc" ٩26^(bĀ@ "[},saEð%d,{7:'3)Bn=jgkKEz\k(UL4YHT7ZU<m |]i/{ItY.G@loj,2%s62.$ 'Z$ )MA@]j o7lUʼnƾeDaА7ym+*ؤǿ0W6`2}D7H.4#Eo;VQ_̀Ӯvx]m<~|g'-YSB{nTTMwT9G:s:uBK&3/,`ZVR|)r+J-=ꔘn / }D='9R˽ ܔc] .VJSQ3oA EM<Y;{ʶ"%9p BQOr$>~Oit:`"~~_3{n+齩կ[ Y%5ETsfEU[pydG!q eWAd~w(UJ$嘶偪rn|rmHe1;#k>u4CY oRڋM5&[ȿg6[(U fej,Sk38/G ?ҢZP_ Ə= ?h/rRG_5R%I(XJfTe9U,W\Fd-b|0vJ *h[D  u/[1Mܿ:bg|6&ћ^ETx,=RQ{(PV@D+ydIn*I!sA]o֧Τ9aKϒϔW EZb񑽘~pz 'Ԧph@L%˾9 i?YJ'rIH*{gJz|8?Y B{,[!3m{'3%q4¨+#x@͘%;t$!gFTmC}mId>YkH,0!u]q ny%z/lsgh2 )-}n K[%T }z[{\swDiM)" [bq@A;R 7KG*Φ$]hvODxa=~’׺`. i hL:'kEOBip+.{DŽ{E7`Dk$A,/c &L Gx̝d.@ULhF^iHfv7^vw<决Z j!mg!:J_B.(b"=#0}J8 Ws` 4N6DZ[}Λ@h}]Dl4vvaI oCE~B*\MaI4Ш]=fma (vTq`Ƀ== Yuh7#^ZfqlBKq5>OM4 Сd{;noV'(tyb)3${[VovWi=/$e.rAVO=%c&#e:v92ǦY;ɂs@Ί %$t'e71QԢoz^,zgcKEh!i9a, ȃE^hgm;8aF6XTSWqM9s?ZxkǛ۷,r Tt.[>-Z_B/Q%UK8W <&^JylI4t#|jjgS驘OF"~+9̈́\pfH3LjB`(A+oʟ tDZ$] ay/B#gF-eO5˥-|[xyc(T3v^agI zp0[gż|`oO q3K+=~]`UmxP}] K $9Wy2yL1kd1Sg~#`.Nus#[ >5*Щ:w,mݼd;Yj lPa#+{lMsLe.V;~)˰Bwź>vT;B{3s?b[ % B2 s O{;ɰ߁"[rv_O6ϥKy?@H1 =&=+jo'lbO/um5J+nW "& JN䈊}/3CSWyy$acGJ$ =uSg,"O&PoON2uU~nt4klaD^.A͎dquF^=ɱ{]Epώܞ5%;Y)PT/ԙg~GDR5GKWJܮY y"e UXX,Q.ֶж9=m$XzY qD.%R`+cO/I,^M"Mt$hY_&J>s/2.S;NYk['Lµl0ߗ9FNUڣTåCN1TcXzXa95* z1'p_lLX }łD ƄW&CR;.#$L)6*SNV<e"0vdm/K ^`~+Լ<K }`#6F3PeUUOXyY Jev51$Pua*1a {ZD?FEXP:@iē f  Q3ZF7R&F>@K;#tՠ'ZBt魹~n>Fo0ŮW HrG96Dq4{p֊pXT 8|j.mS:AU:8~ Sii@[Hcw$]7&ix[kZvŒȖ‰I3" Q6068+ ʹSan3zjVHTH0 z`kAO*p\Z*sւvST RXb `M@[=6{>;S|̺p\ƵKa ŬmqhtsTvY¾SΓ$g/<<5܋xXI/@3!GeOSN4~;%ϖF[C_6?RcZgtWL3cUVi^TB\H?<ښ/9ӡC~SW?Chs=Rq_# C>ra3ɬXÕ}k-<]󰉆JKUD5A"w[`žw+K8b+6|42~hYyZt6Յcs󮑔=fD T<Ț[ |V9kPSũ S+W@ue)}MAd4ꈑjˆk[PAˆa,Qec ߨu,RWE ¿ӄq6X^Ėȋ7x՜9+SxI Sxꨝ.o'^@.ckyכA8N6׏2f8ݕɾ-1Ds vO>&JcRӢy)bv;]N@[\Fo0& Wބ#}ss(hkfB*V2_ݣ G}vx66lfӟHv0 ! ہG2$`*'ooGQ\`E-̣ˌX+ aT^AHpxZHF QF2*% -Q:!JxP|k.,ߔŌK&ZEUue%7~ȵ!QUmN# YŹOf 3-|#,>_ 3z@!R G8,sɓ!Dg5SP1u' X;9\mp'kgR\;q4݃+o]fXDeK߮aCxcat G۟2\70*%vjm#$ Kf -Ě\Scp5oC'{#M2I^GXCbe-k25:ަ2SLBmJg{ .VxbIff2iC>LYVX~ZbOŗ#DC|3pb/ӍybmV5AE@~1ȃ&;JjRHsbBN«0I`mK%ggvQaK eYgl$U )n; pXyz|AK'N% /[9׊h(۴ڕWMXI&s 9=g[i{/wiW*enAq _8D!9rUeO1, ev5bNh̪(=KX_t1sl 'm(}q ߄@ σlI}tFCCBz)— {Y Ĝ̔m"5.$QPxd!ώpla@?Qy2a#A̙_, vA@.* iցdx F!5~Ou֧0b"}Y.SfuDL#\sO! Kl.>Pq! D/I5D N84>%Pܯ# χUb٧ZP]Vl{5~{>$v), XJ{xg~s=ThBI82t@;;%2\ѯ'VQ:!#yݳ1} **{lo=}.ĞnY7A׬soA)}f0u?Ќ_a0؂Rg8+Ukzz# :~ 8NU4s0ݣq+'ٌDěJ9F02$A)OKJxГ g[/"DՌ'_)!MʆN9c~d#wߝ\PWjτR d_}φ d1gYZ7zXZִF! z]ŗXiɟ1˦r!cHkMeBd4n3ЫeTSF]-8짽G#ҥ}SrH^8kCUó}W:Leٞc?.vw配)As{ʇH:82WxώWnh:`V;لJ2uh>,BͲ|) ,'Q:>*@ꕺrX8N`Y"uj[m1_fG3>hr9{(\g@.x?&Kb^YiM O->ﶢ݂\~FAJ'aCEEv Ż'ݢ[AFcڼ{\5I0Ђo"GSV9ُŸ{rU)np[y:(01 "dÎEalBx-]UV]O\j3evF_[aB4hok.g@ܕ=װkپ Ȍ2al6 a-q=)Javv 8պd/t6L*@1- k1)C1'Ϙ5R4_ձfSΓ~-"wuTó=i*ـ;Y.mg GNj^ ja%E6㩞aC? ZH83{}9fdwwrd4QZ}7-aԟC*wyGO#d.g`6r4Xi:/-₝O\G*awߘClLt+VGM'Gd)'zv/ybHN x$ w]JP8!=9_fQW$$~`wMaK,EZF*Ot^Ow Jwhp`ρd+nhbʇ N`$T r~e=JCJ1z}`fgj|/qwQWM;wa)T5Y'bB(!}%sbyMFPdB=!Mm3q'ݫkzF&f%oCP꣺NnG9N($MTǪ P M ~Ȟq\!XNJaMyC>r'͕ngrH:}Mmgt׌*c? ^1ӜIĪT?K Kv @|e2i .G=ȌQ8QE4sݖC*JeImxs8Ɲ緧ږ5cjo5pMGiC6m9نG7$CG [ 7ӵQ奕dWt.xW6e$b+{-3LNA{I9RP~Y]w&_ !, %HwL8HLҖmk" މaeF)2AA8 5܉{UU:(_w0+njRme W gh%nq4$q%kHdQ#;c; PZ QȜYh~~ ~Nu:氰*PhCT"̒<,Љw<f0x>, %zЅ] лrAX\hjä[5)B2?=J0:1F\9]X>2CNNC'dG]5@o9#>^%tʞKAf;5JQ;IM;ѽa=/jR$]l.qjVs|Pv.S3WpbAƉH;iDB=/*UqRe0goB}Iw^@iIoΰ)i%NxIY1]Ƽu!R|01!QRr_ˮs!}BAgT1f\GX6t;Os Z+zjp- W@ T,D{N0s O2{uݑ#37vjoQlAA"[{CYFPS´L4&$sL!?nYF a>i4#NBWAgYin^ȪȐ,VX2+2hSgTڃu?4moF$M^z "*KG\l_76抑޾^  pj2΍_VրB%J%1Rg𧞷=/p ޑnkk>"xA ]U,PTgUDu/_:.~K cL/y5Ǩ?+o70b}z3'b.)夅u S9(j S[[Og0G͊km,;C $uqn`i1,ҙ=r.!ʃjGx09pLL/0gL VMX^.;F;¹HmZG)*K͢U.=k|L&{oI#s3/ [_q[HXv(:^ \og/\V6>*v"`(}*u爚B:p 6ãٓ e=Mrwhe όMheș.sŏ~(MuHBT' D#3g|T@m } <2*Z8bſE^s X;ln%Ă7$~/@AY >xAeSqDž*8F߄Γ 1WfT5 js{kNBTb2'RݲWb61ruY1F.E9CMb!H@I;j*Iز=G^@| v3Gߟ":e^'z !Da-*tCIUeتxq!c2;,3% ^g"s Rez;ZPWXQWB~=Sֈu+b@]ey@ݰ~m_nY}kʱ@'(F+g1iV],[1o$(E?Gur7"`߿uB>o|j}V]O`Wtd[{ݡ=8sVm eo .^#ZdW߳!|\3>/UF+{j.ZKs2$E{fHH~A![c(ߤ.2r}.5緁 -rjbF }=O1 )t\HԄv@}74OU%Lu6䇜"Q&%K;ajYdsːc8K1!|?2'+\0EВ Ѭ,kswUF!l9c^[M./-|ZWN^ Xq#7B|DIiK =#ͻ,n"f.O.2'F'0 B[,dsV"sAصc|A_0"rD4i>-oj| յq~pL7ro44r㍕2%<'$=Ɂ!vق_]2En㰬Q(!S$YFxW;:]Հ z-%w'iwn*'^` :-n2dB*3^qIH-ϊf?sv(mtb~f^l9&2٘j[zvxxa>9l$ ;UIw,USI'3 [cOd1醦/NiK]F//NzIٻ MGds'he1^ݭ{+-=={VE3Tv䵘ܷH(T^]|08a%Sk&פBM5M;7֤M/G)][ƗKP1UTgiVG PICS{ѝ F)4M9 G6ĆNa}2OaLi|| rO\SXNe >\{PXO"~cjQT/4c/r;h\ n1b,6eh\exxL,K޸AES=1%Q0Ӌip\OuaKS;3zKR.RTfEA!ݞg]gK K@X)~൜,DcK2URֹLio R.AR%_["#=-#ۙJb,`]R(XyMH l™֨/M [`VKE9oU˨n;ϱiuZy|.bQ^Oi+a7׷X"1RP_zl,^e}k-2U}UG+WwLJjM "+Zzh!}L4 9/A!6/ƀV<9B낷[nPwUoB\|Oq٤ؽt # 0YFbru uGv!R%,ƀr*@UC;Ϛ]qJ|aў[ : hl;IxZ 2IDooS+!zNxfQp2g^)0k2eR{bnG[ЁAp^UwҿŊݷYko6xhz'a| ngn֍Y!fW!Z"rL %=d]d^h묮u) "I>C$X!7j;:~Mx^)3Ԝ2,s|}/ݜ(mr|<3e?[T"DDK! e1drLh+*2Y{?PT*z&_gߋHq5ޢY8u\3WYXEG{jZjpn䙗_P$ kx7[dFf&wj{Qλ}Z\݇d?W2a)Z!ϕrDV'SQE7 -y-t߷JRK_%IZr\e?1 ,jX<_a:ylVXRʕ%v&=ݫOqݣu$nN$<0WϙG޺!p5=%q g D]>cnDN\<Z;k4>(d{"B e$ 6c|̎ L!@|dR˙ZpNHϪnY%\k0JM4@HAqfilK &g ]х!g ,z#77z|7*GHisw DLfߏ}ٮsRُ|*su V9oGH#mp'b9K; ;@eHrHne@k VI„/ϛ}'a9ngl/:& [ջ/g R7yyځ8),i0m|n]^Z*%Ni[ 7hUjJggpqڠ㜶GrMxm*XGԜϓZe@-®``x+׋,>2Ǵ8\URYx%C8P@Z ^t {!SA'FWf%*chK&ĖX%Xb@H1d@r~Tٟ9c=gTYgYȠрJ {*E\nc.{4WCtoHde:g V[AB^8w8o,nag IAv(Jyޫ[ͫ6F~!~b̳CCXTx]ef7 L G^A;6:ʪ/<7#4`D'Wkl,T}f|{oN ZM$h/m~9#v3L/0.^D`_^ Q6"l@eph{XA-/,3Gk<_]C]i: t<1OK))-cZx.We 8=\@3qhQC ɸŵfد\aO3[] eE'B) VR1R8:Ͳ1v>@w , ]:mSn3ZjLӾpZ[cCOPb !-,j=٨ {n3ˬ9mxbqicSٻ쬬ު ;^@!:C~*KxQAekvxjgU1h0oã-Ŭq?klM%^+)Z c?zXX;fDFFQ3xA9K-(ȼky|6U4%&= ̗Ƞ> g2:j) cs"L7ovu,R{_:HjҀtŒ5Dc0yh^im+?P[!>~ X%`iU#*SI=uH&T5lD-"jb[>u rWfu)yb9e,{Tv/5= IP kжEԵI)$.in`< 5-׫*Mn~CccIޏzαhy -:+/_Ç4E`J Zʐ}UF?b׏V:kդ>,[HMOs_H`8;a̗ÿV2`"ƹ-iS-~qNHXUH)Uov|uY6 桦̚#fviD1Ҫ@qz>*irg sZ㑥QLO n+* -}*~qvH!jOX:{Fϥz+&Rxak"WF Qԍo) ͫ`I9wZв#z8>ب! ?8i/R(Wa5e:{ ?;VCs8zEN3;HV~WYk pL%f&%53x$aMi5X'IRZq?[3~d̬ahk`hR&M65\d^=F<̑hl;zSTjAbNgdor\ҋD7|z6󖂟a<&T }oK]fVˇS07f%'hz*n`QqlqBRp8hD%\+HpElG/6\WyT<`ȇie |g,Lf H]"-L voS® II;fG׌@(C)(|slۄ Ao>J1IE_yX[*fMh}50`L*֌û$q&"_-ҿݱ&yndZ17 MCL;QCI>HÅaeX @tc 9`q"c\[2)2 ·@^uLY DGXl=a7ԿUx&0rE4dÐNtAC;?n6s -ug b|dR}$Dk@~W޿GC@s5*nEn;]Ii>|hEGE9-F~#W56."MYF;#{էdJf 7 =a"^?F3ݓN|)=.,V+0o#[7o j7ikEhp|׍顾'BdV w=}Vf }Af*"+ ߖ92i2~XI~O<jY&UjEbûlaKGCB 8GI6E@tP}:nVQˮ s'*!j%tI.H mW+Xۅ ({z;5^X}@䴌jBsp$ݼ{M{8$U˝kdJ%B4쯓-59gĊG¾}ĩ'~׏ɒ,}RթĊ9ScߤW,so'ĉZ7\kt H+gU>Fdns"[I]x͌#mJ+(ǣ*9ʧc@ȦTxf7eRnA(hTV*= {^ǐ'S2Yktha#zomk|.Ң?(%o^vAdg0zo]0b֦nZoQݠM,^ѾbW;$mrvqlc\^ԠN}2*j2rqruׄV g*craw %D' ݧM|a6f~8<vw dE+|2)U=KV/U \*tTwΕ 9HVrwչ .jF4Yf5FLi Ӱe8̇Bv<}_Ϝ-Vphqtl,7dE ̲xW9KmUazUh**NfA !Ko_% b* qC/&B~ g@CSL)aPO'ޤtQ|Kq (_-B'OߍL?_3 ,-+W($7K0ح 6*jJqJ@@Ί7/#4{`<.hD?3v庭lϷđcq ヒfߦLyk)dg;,F;rvc C ,&/v{ @*19yIFŏ.dvM-!_iXPE̯0~ݸ{KCyc#MGZA ƩFm$fPf|O#:C,4]^DJXo8vؼ˼[=@"J_=RżƂͷ%yC@ɾOQ7B* =.kq 9cnK/i[b>"TPJU6iSGR eo3*NAd'E}%zovi"^Ki1[+I^p냾ɊA&L)47RuMMxꊬJGsۻLbV8 )#e^=b,l w2xB̮&pKZnRETXo2B>ЗwXxKgZ$Y5EեPLcm2=PR O7)%z_ *'~ G@9^v)(ն @GuS*Ţ@wj+:(t }gZ0@^&F}63_@ί7$:;mӘ/BmC 2r7zj!ݤ?"1P6[F86 T2S L5bN/z|:NUήu ׅI"9){]E0[m^c _O# Iӊ=?MFU͘әu~4y&ҢP%$_Va @hxMVRut'g,qZ% Vԧ k! $":Wv=&7;kƹ g#ˑP2;&k-xΨ(  }Ѥm}ZG@qA Qɕ߆KKVÙlR6{^e Gy)Z 2L41)5N?]WI4k(JЙFHu{LJy  +7ztp8n42mql j|`!:\֧"T SIr T}F.r )xIs +g9/~hB,Q*PQ`\ QP뾿Ywjٌ&&Wi,N-{(ԣ/2M tلBMH7`/=>l"FpN2&L0י؃PRu(_?'%^-(am+Zq$0_ T(J|AB7z ɘeKv]H|8҅ S=d९]3HցٸV+ͮ?AO<-\~p lSiIӾ{ Lg]i;&˫P'd \hۦ8qgbſ>ӯ+aopdOnzZ$Bےoph4+t">*1jg6VrQh?7A|~쪨JJLÌ(*A-BϢ=vYRouzJ O="*fwW!DlCA!8{|kf.Hgߥ,hR?; aePlL(nnJI[,{ 32(V]WG;ZlՙbbA_E S!-cUdJʮt>.o0ݕ&iKyWJ[x,̔ +h~H ^TP06%}S$Dʍȳ_7/zk9c/=qt3>]T_`eKj_t}lv1pPURy▘Gë"u3u[x&"})w u 7^ ]x/PB5E/[K ~~v/btS;=><7!^;;W\!; dҋiGE<9cWa}KO %4 jFH= ޘ K"9eY~ndS䞸ٻPwNn2cf$Tva3dyb>D?G1&N_e }۫Wگ7vיU]6j$($Vr>Gw\y3T=m$ɑc}D$Lwa2tZPq vI?&!ɶڴN˿ @Xz!+ 8K1v@KWۮ-qjm8hfL10Ἤ=`K'O=Zw8y7wQQ*f\s͵luzCW=q`)xp:La\~f`X-pūkvmIo!cGDud6H`kiHTNE(oȝ@ɏKǢa1)JM(X$QׅVY I" jj6C26?ܝĮq?h' iIRXf=[]5%x'VOdJH~p-Wus{Oa ܻXuU0^_f 72\Q5Vc]Uͳ!wVM )Udhy@^(# "wFLcYP^ 7+00"bD zsUjkj2zJMlV2C?->FX'`6ccagN '_p^_s[>9tjFrk2"UD/iz?p}IشԴ\ZDʑpNuCb5ɮ}$PgШb&հh т*|M-󡮥)_UK~O;gr?zJ`lE`DY([s7hdS)7bV]#j.r1Ҍ_؉b6|~Fh@x8dެ#~'U.1PڂF'qIV(@?Z_Bx*y?6YFPOIa*MTj}:T#9pCK#)U),7D'TR7b[5z͢nkeo]-b%BP WZ7[mci4 Ofrv&H堭VkoOn<DoփLD:S(D#"ƟEia:~4"O N@xR%xb]+ _Y P@ԄyJ˷M9`n {0Dw>"FM߷-h hCC871C ?j-l un~_A@"'dBdv|^<\=GL3&q܊c$$(1e4Y0wDvHCerwkL\RA*Ԓ ~?OWpד7!3];iM吟A:Q< Gyc؍ˎ8s FEsvkuLJWc\߁߳w'*\"iC=͝kpL|ưH5;I>!26n|\X' yʣ+9V|.`24Y-%vJ( }\kWOTXD.zT r\o驿 x#*<}r4,|KFIX4uM.jӞTB&$@;>rzʹ'~ފA0I ;hSL̘K24WFw6 iH5`ڎ1pnGlMY^K%>+%uS&XD)75|n {'/ʫ>RLJw&ʼn l5F&o$7yS.ǾLZlBs|RGN%gŒ<55N xJ/nZ~^hOlI_!c8h(G!ngjW4"" 86b`#Ʃ~;g|tL/!;JșE!;ܕ}oR ӊsʙMuћh>-n*]1>S0oxɒeZ3s؃ ؗ(~g,wi:?(,%{i16 E߼/<@ .9#WW! y֪3{_|_)_LhSE5XŅ3sga'g$¥~Wwp|DǹuI k.TSAgKu>(\#ֽCsR _s~8?WQtGF]#R߄MUXT חEFU?Yuhmt@GRCFX˛IˆXIѳ(ύ#W_n:˼` @<Д f$;"Mu `E윁F醏nv_'5ӞcKӝE L4dE`l bz}[ͳL/rtR-N}c-w4T| 886(tmmeGp8Hޖf]v("Myd&3MkeRJ4:M>NBs{ qOH]{t!Ic.Lx7O͍'7 븣{@MdYV\3UEY0Y;61T(Ѵ # W`g *ˍҍq=?*Gβao>ilI5&"hJ@1ix:.N/+D`k77l1[6Xfl/݆-4#n{EQYTkU&94VVp;wSgq5+t:%Tq&(~4 i{>bCƖ/;Y˝E6P#.vA`f {H U)V菘;ߏa6nʾ:Oؽ XyN^LlBJÅO >{/jDIcl̝֚. 9]9V ZOJ_ jb`Kd/离yijSZ~xSHnzTDWl3vE^y=~n]Hx>bGc ( 9V'*\+0r^4C,30v*9p:^rfs" Φ{o; n+ zE 't/dFۅͅ][%!S=Rʶk3O$2]SU.g54HLWHCf$!jFQ.3+]wy@A[AE#,`}hU%f :|؜#qjO6 J~Yy\t'܊Xmߏ2zI X&wmI{ߟtocҫK nqbO1xYX6ıEF8V㜺0 <"Hm v]ClXhmy. آ 6fi#Si߶QB)#A'0_2<|s678(qaGԉ6k[z&6 \Y^ZpqGޙ% `2, 1$Zn,- /`jƊ9~DaK)Np2u6^#;59S~doP8w?7>'mB.Z_™x'@,5{0BW|O[| z#K&NCR^xudn̍K$2 &^\WV4q VFʻ]4{R/ÕZP.# *ʅHl 3$يQDH|:x6*h9=*Oٝ')Q (0r<ҀBǘ13~PPetYoY.fȫ!Sl[|!ac\(?jk.>%dfhG7)2[bĊnPy EAmE\eVy0/$|R#;qy%TA,SexR-/̾cjƤZo9k_wo'- ˲=ND-'2[8 E2[Ά'\!)0,nU:S1Tby1]s;fhe򡷗(n:mgxLZrX )ҿV-BSk^7{@,?GNskH=Wp8g&q|XU2SJ3= O 84{a"L~׊BIdqP g@uP6z4,daD b$p[G\Kq2NmPFvPotE] /Ox3$TSbRļ0mj!g Ļ;ADv÷BRd K4W8ɥZl3($:+?|P%!$F)ÞOp.a.]D-R=f4Hy %KAE؉ z*٠"Gq]q O=epbW$l7,>B&\&@1}yM{9䭯+x 9|Q=ϓ=[r0o}Qoq$,lo CeK"3(N3|ײeGpON^nl.Nq0;ww[ΑgBj&1T J!R%R" XzSr?([hq[ŕ$S隖fa^x瞃n{ ϒ=yưz(M^YG+Aб{/S'*Z4ﱽ[,96!?Lu?W\6E6-W efHc:~1?nIiyw%u후gfQ"%!щQZ0k֥[!a.M_Jnk?߬Bn#{:Zq~@I܆Io'hO@7FZY٠p/ m~CosNݣ LK{UvE#*׭9T-BWR*Kyeo;<l?9ux~BZ ) 3}IFZ,LR{ -[r O3yf4^˚e {yE/xۓP^OqdpsTis>Zza8 iYPp7⌻ %Zc~n)eRf.ק\ e!ىXTuQnTҨ||Y pwjN :% ~+%&a8$mlBd<]CHxceCM5`noVuD rH]} n=aa33cZ@3fxoԀX,6D]_1nNT*kW0#%Χz`y+M/ \96ݕ6gҎ%7 GH6T-TF 1fȞ*6_h6' ꮁ*-VL^?r 4nkldCadby奣}h_RQz6r>Fݩ.m6G c6O7F$kH\ 䴗IfdyYm$/S =.[qLڀcb\e >l Sy;'G'g@$QkpF Wև&cY%Xޙ/ssˉhs-{kJ8,Tb ΋RKѾ@rBq<&LG{R6[A %WlYA{LjoDZh)5?g'>!`ۦCߙѰ#nTu~Itg\q`yüy%팏lK7/ k*ɞ2)Z4@pfԭʖf'DP|r$\ޢpe\z16P/j$8 vv-Z>sdN ̀,{}G,5 N= EVMfKgW&{p_K+a.t:%D-r6V^ǣ '(Iј+S3ٸ/H9DV #emSweT "w".ora!m [#yzV{4a$@`e'4^4?r\$)DAڞ*mH_bne]؍^!zTg\ΣROJp3U bL,@;A#f k,l([TJyN4dcbYaމ&D ضZqC%z?WqUr#T?" :uwpDͩ;{<݈kz`TD]]ly2#' FJYz.%*NNG:'R0܃&hC s3kʯ(igݚޙ,3rinNxS7xF:sU or'Ç!pE.'Tą|L#ԲLj2B{ƪ|zѭ^C0wQu"Z~Ӿ&Znqyt)q N:N[yS'VJvF4:ʹbQ6T̅yko6 Կ?7Y|kf/IgM-fᢐd;7b_6MlֳTg^Kn;[P%&^(fhlX g(fnɢjplHZIԢAttIp-7XMy]ϠzXHqEt`v2't '@1St p]Y[6k GV$|0eDppYPHxa!kG||d7<^ N )]Mq,cb hvPl:'OדSw\j)kbv3Q"E꺺12u'O;wcfb*R9F"^W9{OOX7"v/=о&# Viu`}Nlwhe$6|{5/ilXk3[|ѐ%j#Ų[h@ڵ3 lz:wEJ /c5L8 i>ʦB(N(Q UO.P|CMO_H$AQ7.V1~r阧% H$z/<%FE%L=?IxnFMJnEɈ+zF6'& S^?t k;Do4b57HDuXM (qu:Y]1 IwP;Qt;OysEƎ6;t\?1XMauT_ -4i.;YvZMr=T誎3'fCc)ξ)_J-K # Q~wBtCT҉t BIw9plF*󬔒YGܝ}PIz]ap>83[`PWk [XőGqKW 7qDNdVҥ9/U5 ~:od4IuXOcUXU_4]|-\##BL|qϯ"m<.9fJy~{I%#nLYqlF]|WR624){ ᾜ!P&̒]XM-.bP~7L;Ao ]Lsc[ cSB t" )#笧!@_dט+ <1 =xǧk> 6ij׵`ﱓ_͋]lbχ`w'sRNk5ℶqEb<,)u{6wZXT=uNEڼ`ÐfQ.iH* upYy޿I "ޅ,s@j9 g&1tZ|MOdJGfH˫כk|bTZ!OIʃa7Q~ȌRyE]y/1,Y nb|n.fdmІ1p-&KLrHU8Fͧ'y`m:S3gUPI.qj,_>ISv\uWY$p;[NV}  )R 5T'i9Xr?E`qqPŵ+)hn#.*FP%3c?KW1^Ȩc_.u jL3l7Ih'|k>:{Oye#6%@~hrg)^ /_}* %(eq95ŭD1fgaK'/O[;õ€ϧ&h2Zo*Ki},5'`=68 _L:eE1} ԰'(!lF_[#Sv4ux/m,Xj |(M0,*j.ZjGL ;w=C86fC'Q|O7 pssHo_ڭݯ˂ $=/IIfaqp+bo}_` U`}?/Z\PHس>x@$p֣(W92ޱ$Hx`It% b3kpN~L%0Vio?Omu ?eFxp23t1>^%P&,o۶Uh֯J0w\kRpk{FnߣLSsg$Ҳ*PqSek%ȿձ+MX5SЪ7ںqxXf!y;;ێv‰fġ*/C`cFPEd4ОShs@XxS"*a)G<ah;Ĥ/$? ۰:Eo#H{^o?B5a($p(~RvCw6 ܪQhA1B)j| @g }S\)/M0u?n-eq,el@a7B.([ 2[,;&;tu- d>fp+8UR/2ņHCQ3҇wDT,X@d5TҭʏAQQӨ>ƚx%b fwv]0$C2蒄M s4jffinZ%;d[jcC kFPmk&wAx>|@ϰšw;rԇ1*՟c=XUwwˌ3դ 5T3&*uNVuOw5\y9=m>'RZ ljCc'WN=,TY A| k)-x-{/<?2B9G <r N!Hx^x-=ۋf׮=J#Y\zH=~ID!YW{׭*tj r?o"ے sX..nF=`%kp>f,љW!X\^l/jCKO6ey,kԙEhVk4qCH32zwH ?'UhIZwjtk-,1XGDx9.x_RܸГŝki{E3}<*N-0E_9rw71B&^P5xF0mb4!dB^q 剮n0*ˀ)( wR7F|P zE5ۻlr4p!'d}C4&?-w/*ucdr L^ 'kHϻ1!Rv{8ǪɹɭeeȘh L<aܲDs3,>o嶉'iDLV6+v1%B`G䨃Bg}l6L!FNۅn:ax&#I Q'IPM[& ux׈NnLkӂ$vZcD`! ,JSY6B@ҝ?Wڹd=r.-''vm0LP$g^nXE0X>awԾ|iDEjFJ;Q}[!2˝+n K >3+JR3or,pQ?j 2vj/bC&Hp:_ W 7#R67M 6n'llV Kx}t W)9ӝYi~XK=H lPj_:F%'+hsAg?6_IhE!;P-Þ i^`T3 z دK)αuCSpkk?; 1uomPk| AWNc!{E2ek,ĹU0!(:VF D|W̸ξqTLH.52w)a:!wBu]Q2fJHTc 醖v@%cF@/BE*ZYiAi~ ~ '(DT29jy3FG0i?6'@d2ӲoE.+Z(EB5P}m oo (9TJu܁X.xMj]`.Ooє 3kå_P&=Kxh~c>v(¡ I!O@*Ni96-&f`@ҔJN( ٠-TSQ>w'~D891'gϴqgB Ou.j֋ŀ-L 2L}!5sв M,W;P}64#+s/`m$)Zh@RihtO8/':cN)$Ձ@*q$5RQr쨛!Pg}e~5<dz8C/0"l7`3p.e.񹓝|,v4=SURTI4)y;E^DVbV(hw󑾲uB CLL;n:sml7/Lkr<|C +[cYTFu~V(rOMH$1ZwvSJ&.P M\D7'>]4B@ 5yf:5 Fby/p 鎎+_T1ti0G7ip.Mv+sZEPjMjLo 82U_Jχ<3=WX" w |v̀&gH*cd~wR]sÄZ~))e$o $HVI7{Gx1a L Тt/: ˌth.MxUᴄ[NW y" n*L d|M "ϗ~Y-7 q(!หMχ݆01AӂȽ9Ac @w4I^@J!0#W(=)؆xɋ[48AQWkp 1ִٖ YaPv7^5AU|ѣ-SHvD@օ~7m57Bk&냮{4 Y5WH]-$|"ʼnH~C3\{ɡk $Kܺ[U ƢÚ!Y tF!q)d%aOνB$ H-MhRLk~<2dzOO[dVb~+?ѯ5e78/aaY{O*'7mkFw3Z^82Sy/^n Q5sU@Z>jo)r1 t/#0M ܯzr@P!cǃ65qd$#0V0=]n'Zodq\`9>\Í܁Qo懼 ;THSJM BO; NV"%ĀVJ۵5n/JUUI"w!̼py2He! flQӴsgO$ $֔IiE=E4akNHy|Z @cR8-wA}Vk^DZ+ȬW \A]Ъ- 6/W&pC畁0*>)/3w4ol-. FD;%J CmhKvEkFo]R`X/IjJ7u;+ICW~'>I\jD\)7h7~wy/mOru4(5W"F7ul-Sy#,e=BW(< 5Ra/\ԙHQx|"Klt,*aLUT>Vϳl2Y]&Ѷ{EO ړ#Dڴs^y2i̹wgLCqq\\eEj% K# uW7vaŅ:o~PW8ɇJO״՗^礤.gcO/ggLpf -Djp}t1sb)ByR/] /)_cHoZ#c82*jF%6hyDs%?>9P O1pG%gIiyB0o ) e0=(rӌ+V5kڨ.;Y$vm` >6~԰,cV u cEocPPD>+EسDBMљ@sh`tQ\\д1 S}rCBzࡸ$HRX\2ؙ .!!6A{+iY Hm2:%&*Y$YVyV6%ÊuֵsumIc #_wUJq<qsIM,ߝh5弘:̞wur-XA+̠!Sh;;i*Dv!D¦"?`<Vi[ 降:kVkl ujYu&׬Si#7mj%\8G\TUyt˱'#$iOl Ԋfs41Cy\Q(qskgL%0iyP ""cZ6sKUMUN<ݜTYOic O{Dn}oPLi>'J^DbŁI57ct3m~s'Qֶ#,=mBGcg2seh1 F_;wu!;# c ۔~5OVeо啰 i,]BXt(eň*-տ"+ @(C V K9 sA_1Bs6||F;V PupX _c\YOܡ;L7Wwg%0E/(Ӣ"hj^EKWow y*Fԛ#L0g(^ړ ,.VD"?2!*Ӵ( @a°u^ɭtkD?ʘ.,r mudattDQHO~^E ҟ@1Wz>]Sw6e\U& ܗ~QYnAǮ;=%늽OK^لY4 \Ry^qW?;QI/OPcp \j rk{P(VWD"OZ/CfxxIaER\|MQwr/X4jl'U dy[[/kuD|^zG`|ӮAg)I rdbJ.$ Vd 'lk쓤+ϴګ_E/`Z_W㵛!p;Ĺ )r&RDudGmզ$!= Oio&<RKEoeOPTŌiܱf3K_"n@e>!}±ñgmՇOs"I6elˇG+d bl+o=Ggر&{2{oɴШeܒl<W (eoZ HSZrl#q hQ\{PD )+>&.=S-R1F 0ST_Mٙ 0LWN\?|K_QSP!WĘf;}-^R:̧珯k0̚( ,'8sm,sX,2a PicE5Y)#硶 O.&VyUsrWJzC%-|<kfl4ߟˆwW[c٩]!6{車025"/=fup1?;p9P>P* ?&d'C' -CEϙ*hz|v 4m]s,IfTcڱbZ窥Z&\DUE$7ƱLMY/n !}`(ō^e~ <4.ϋM1j{ fOpI4́ތWm3B YX6Hz+ⷎ"ui54s`+P}1]\{r?;5?,",}4HF\uq*BS{k%)+%>U@=Av:FY=NIh/<:ɁV}pb"ϑv#V%EKc3~GG3O+Sq7UN[&Ifs|n>әɪ ƦƮGo;=IJ"aⲝ͎ p0 ]8/gكAB}0UuQ~[vp[n XX@=Jgq1{,݄I4)3w?/Պ=ROhβkalHI79+i(D 6yqO TyvV:YGo(x!/lL 3WT8' QIJ¬x&r-Ϻ+ACJ,ll"{A J5 xyM gx3Q |eF6pf^_m@Qjb,\?~J "XE}$4}S_J[{ݝ?LA"Md$ ԉBԑΈ>+V,Mp#ːZ\;"D+bB'D6A]̻e0լϜ4cQu%qV}:pwInCs_TRۙ{ؕ3,4w}Yc8hΉb-o09 38#xUXyLCW61 d`UQSP1DU1[ܜ$OFf鍊֟?4 [߀#TnKPeJ碶r!(DԔLr@H]gs"`U;`S,wL :"`4kj 6]v=O7D%SeY@4ɍ۩sUǯa- 򺉊40A!$YX7 _ " !E!%Qڬ9 e8sI >Rרxib-O=f;ŀYuwQy@YБzΚ[y7܏ӉҽbUULOS9I UPTÌݘE=M=8 #x/av/uz[HJE!a(S(f༚mӚ4,X`LJkMe.̓%'bם﫴ZFQ\چ"V}Hx? #WM?@v}aip5Iۯec*^c5k%4 h"ǖDGmL#><Ԟu Dr\KSn\bu 8$B0ѷZa`82ԝDCfkz8 'lmqT\küb'_+R׺9hdZQAb% C7t?HV鎏\J$5Oy\nEP`ነۨNMW=9Y ."x㳷4ŊTGIX.oMHOa( `9~[gz[`HA=[ ;6T.)mvS<f:(U5ұ%,Z喫iL&͊)F(̚?@\Z%`wO@ȅXz߭+ lw5nvˉWlA_]eKMw,PBُ\智j*D;R> 6(J% I*,(+fsQNNO_cI,~L[:sQ1iz@j Ŋ˚T{ET`#NTg&9ernX!y¦z=+ʳάIp BW-R5t">̄fPzoЂQ-Mo >pe!wIx4|8`.,$=Uі_)(gb֯L_^ ΟQ"Β$z`LeNdv"᪔߰U)kacej?{Hv{f:]ɷ P'0UpC]3gJ~6Xy~ ~7a!KNnv,n(gD#ATXdBI1BuŽI|%[̔׫-xʮ[i 6*߽$$ΠDTk0c*qAفAPL+ u,1DuŃZ9fUsYu (8NܱcƋ2i%p YΉ{0q"w鍵Ê_Di?lel03Ь=Vf#[JSc}>Хx{:+gؙMÔؚ0 )FZhm+2]d,Mi)ozih [tU8v]3Á_g\=ݷaUꑁ^W)Mi202ag>*LBvWi U. `k.uVv9E̱CohT"םҌai府;!O> TTEO m%ce\ƉJWbS=6zcI4f˵@Gsٚ&4?-w(A軜5x,T8gt~Nh>jMțL~*0#TA*ǖ_.cmC=*U|fܶͳ?@I~n% ~b"=Nq؈"Ey;RKƵ):7Wk꿿xG+o{C+T"a gHt v`[@F'deXgB_J=+V!-kuI|N!/Z%@puk`>' t\0r+ > ޝ;l}">d'-xy5ӤRɂKOVnj(o%!N#@D<Png&殘0͈I״| nb.<4@4y+'";o5XѴu=I.seI;.a0tMpwh39T%QB]aі5US]vyhg͕i4`ғ6[/cbGŀ 6 qLs5Y gޏkI[V~P򜏰D] d#tHw\t\^,DAˏ?S(]]kQ ݾZ?//)m5>'21ZF\?c",0'iR1lm7<4a+d2Q)rjMqS(07ѐcꓢP TPG/S9Qm^eoP;{xvollcM``)f/8J_kc(R<!Pޱs7΀6Ӻ Swj"xcѠC|[2/Yl#"P5)=m+6\N].F$BE=ɶќ}k}OM$% A-ڦKRGTbۻ!?5ZP Ubuih>G4i\"0[|ЫҨ -cW#'iy0T tYgguٶ^z  -_%eg ~HEPDU2az=W̗jWÍi sWɺ564iRHc] ='E9HB> vWcGdo+e9^=H ՖDd{c4ω Eae]X׋FZg2x7,W\KzeѲ0ŕc b,j}Wr̰Ѯ`2C˫>rt9 v ݭO Rje # Y!؏Je8O}qǫ< (NoL3I}cRu JKtѲ;:4T? 5'?g&~@*h/s6ѥWX}.W10"A Y*4Onvu*JoFԐ6aE2OE dCe&fY(fʼn7ϡko)CCG+l g &)*|Vc4B \ uv|n5TZn{ՈֶqeaxIn:E,`i5.õ7Kn [7 B8kjkG|/#pUK $uy9(P/pX],`ެN:d( Z25z-{cKm=Qc5cDLpo(6څO',olK,N"=a hCT>(A1I=D' ԏjcYӬ>\\|ʈ#~shFs,2H73([`gkDA p@ۙH`Y\-)Wbqc4Udb9 7QFH~c#J9,;ʋ06~iTiV!9E3ܝ_=zW"uNL}r[F:G ~ %HQ]8a*ֈs;ٻ \BS(2! ]E8n*-_BݺU@ئ؂^㳳 * C՟G.(cn\&7="7.\ty:|沪ӓÄ#+hrrFsL÷iZPe#xBR;BŬ]+{m__dk{Ɓ $\kRͺu=MEFtYW=)qa,wޑ B0"=䡠%Tbj[Rؿ. 1'HM_c (kU7:wOQ]t $rҐkOٟ+l Ng6Is#A?}FyN/v^ZI[ bAݿv BPlbR& QbH*mb 5]> &.HjQԜz^[ :H/Žf#