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 <%lt4 ]/]HOL-Analysis:threads=4elapsed=428.826cpu=1468.276gc=78.024factor=3.427zXZִF! qjI]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ >PNXk?s"t8P02xTrj{-mu-~~*J-ʗ2HؘR_خxϒ*n )v4#8F;|Z`ҘuĭN lJ&xkO9t94 2Lx<=fXqN[[N@c*y`yjnt,Q;2ٞx=$;{QT3Zc}Q34zCS]tUJq*B\r4E>&#r佦 ~XL\~PB_8 zdةZ(]Q&_gɈxm~Xn]!W4&yG b\JEGeL2Ј .EMv8^3K}KOMlbSn-ӂm$imHCP]L#␬fk ;Q+[ݪ;V`n {v6,*]̈tT./P@OOٓAL1#o`EcYya2t~@SȌz\Nqsi=l9V[9>H ~ 4KQ-qw1߯;b+2i7Ќdm8[B4$>dmWntvozh$ϧHߴB߉ɧgM?Oh#`R|ztZJϾH\Bxf2`*(T6N/,DP=9{?է |.P'Klx\Șl0ULz'VAB}!T92wRb@C辉(+}?xy@:䀅Xi=z@g3k),;P(ʔ&ZcRVN{ Z5\Vgᬋ]P |B|mJ{0(f?'d8ᐶU [ Dd@9_%6$|g];DT} $7'W9rͯݚRM k]m7]٦ND+dA#+N1> cSn'00`4<8Q*RDN6 }*%Bs w1/u큖!Z<&jCA>o*:/K 3hpB/͠HJ!dLbՖN*_zb`绛sabnmAV|;tXHS6T1I82ע:lI+ko0ߓz(QRR-1W!TWTmM׬<.YW}i(c$wkؽ20H-g>fu)QnY7rڏJv 횣\PxJ]⢘pnA@ޘi(}uO!}T^%&^,l4W|i .Gj#hSܣ PiTlS%7V)9G4W!qa8 5I?'j (ݭ!J%$!v:gFx1(qX Z60+:.Xhs6_Z/Q I &@s= %"n45L f8e$箇MhM%.yGٟȗ堭&AWh\ǿz SI{JEGX`9 V Pn+J7o ~D @s渉DŽzp@:-7F|vBo)MZ~4].9D$ "Ŋ$pt-^y A~z簔'GoK>l ANb%V +j pm659\~zBԍvJ:BUp#T+~$7Jߓc^*d Y,eGlצNk珴s~P<%QOK>> ƻHʘQO/"rqc4@ Ath5 COOfٸnڿp~XTC *M[3@{^ % HOL-Analysis  h]`*=]29\׀ 2ߒzU{d=F3K lp?DA5mRyv OEj=W\XB±OAA=Chgq(f{O΂ 8(V통 }%c<m)Cw ʭX 0c>P[nDA Kg@~*I2FeUrXkjXbteEf65f>3`#[h0IZRO 8{OaZRI ZӰ7ݽ=`@0(ȥ+cqwjy!s,WnhFߊm?ϲ<:a_8m ϘhIJJܰFK`َo[33]1t༬ez v~=j.w?Qb.?+Ǝ骘U5Fe#_uǏoq>h$ QM`teZNBF U CybLs.~U Tߙj'ANboXn IR/ }S)m8z\`m+@ |pz(2YRm1<H)K=;tt Y mƺ˝Fmu?7xJ"=pLW\&Ӡ` ;1_L^$Qp!R D4ʘH<ϨW+OK|Z)(?ٵbf!0w_z=!JͶ!uo`:ͫc̤ jh%l+Vے8FE+iε 6\CZȝ͇ gR4mO {'Y\>oJ56e74{$ϡQ6oOnS3MK QS֢PEaX7 MՉSv B6CZZܾ $*4ˉ'5=.=^1U{˽Н5* 1wzj;%I".궩TB ⵏaJ1w,B*+k&ԉVTxt|_B`aO/rRb ,a%Pb&/MJk3A~S >EYh}&]{\VZ<0DGvM?%ѧJ:n>ϟ5|ƛ< eyӍ@D po7AV!n-|z r엘% ádǷ5&͓ԋO,< y8fno߉ %ܘl{6RIB8}7PVk-{84};}Zʦ#2PUuΒ$%Tܖy7;F?ؤ,:b͈- s]%I[=YƜX#È>*tE:(MDpxm&y>G ] uS;ecAlU@'7YUw&swSgå21ӦZ,ŊRr_y3kxlaEB)Y_7e$q6J%g9 4y9ϸ(*.u>O12EPˡ7b+JOG(R.2[wJ1F⍧Jw I 8;ik(ZzXJ-N2ҋ+HEZIl3ޑ$w𤦣K`>0 Do?^~ i $5bS:*>`/|C멳*6rc|Z;2DH+LAV^O!@,k3i(¡{Uѷx$D6a(k&|>U3ioRxlh7長02+~$q }MAܻzaD{Pنm'r2FH1Z*:wH>vV"_QңL?ّoG#f646􇼿ϢrgJ\>Tm "uZ{ `<`C!|V|+o. l4j7<ȇQ̉rS `̙c=@aP:]3 )̀TS^u{㯰!۽6U܅[ ZqIYR؄h Np$+@FEPBP*|^ F?d` '{Jkk=03@pj9z ox0ggKɋ!~rJ1݈J9OTCŚ9# ɰiC^F;5T~9<Υ7.T Hd2[3zxAcObkF =snH~Gd [jٿ#(Uio;(-#YqVSG{vbiMꩡ0""EtVuyԚ&5\Y=QGw$33c m+RI!fd-:uH_qf/5ʟR^l5q!-p j?xbZX6Ć<*.ZY|hgdä (ҧC`E3ߔo9DP*4:ȕWᆵSH]DƄ,b<֤4P[r?ج@k<;蜨xy)ʺ)->0{welGTX<͜O*gZt^O^n5Zޝ*"E3ۄjoP'{MzE;,~cEI@Tw3?FqWW5N{]2[`oѤƂ "X_KX rސ1'C0XrШu bæ=eGԥoQaPv2`XM!/tp2Ʀhxтyz4GcC ΏCn(FiP;Qt!h &l"$ȓUf ؙeRkCf4>GldH M~P'y҆S2_p3Lb ކ/̈?t'[Ft[9~]5S5TN\@lmn@WBS-(~H՚ϭS (ًs.(*,:EG',}Kv @Nݓ`yܶ@%p#gNyDE幻 s&%q >W调fy4<P9OQA^ }ǑwRh(:rInϓAN uwmps66~$8|Hv75vj3oSGqoٽ+ x*hI|`!uqiFyb> ?t cA< yר"qc\]%%M}٨۪C?c[ pعQ<֝\ZJl ̩G;Nth^,9^9\(֖}_u7Y_QnMe5~YbiR&~RRgfGJ?tGt^z@s÷}XRx0{ NomWv-A${x_o;+![INh(X:Gﭓ+IU@rc 7~L,)1hK$*A*:ܰ3_,4Rw8j( \{-uPsER) i/@&3_ah)HYxsGB:b~n3yr\iϓy+0o?W(&^QІV^|U@%yW ~{afvøX}&}E%+x_ѥ? xlûU + `@9ֽM^#Ҳ$ X- R>Eǁ qYgn/bGsJ*J/ʉǶm܂0\O+/By-}6Ҹ<f,h~OO˿ԅmzxH%Al(boceBFW?e bMOG[td_k:GEnv1<8Bm'jRlN?n}0ϥys/ 4ɏY9ߣ:b2-1|aF-`zA6wq쌽.NqD,i;Ҩ"Ia*-O%Tr Z0'h*/ةh)"Hm[HAdƅ+Sp!˯LH6G֧j Έ !05bOلzJI×` u]v-Hp$'K%V%+T>>ƤZ:b{Q$@u3s;`hM5DM{.K<_ōlL 3X NE.$[nQek)d_aFlQ&=1N(_x)F&&z^qvAi(;iԴX)[\_~S8?G6vc_ YC䔊6c {n)ۙY>A4m숲tyi0*ߏ}l6mAk{l=M>)aW*@ATΜBGVuibo6荬M07eZV)tUn Tb(*m LGP#j6gnRK>Oju`?rkwSKڲb}ZicSh)b%nI#>QE%:)vˋ[xŦE͌[eekؗ3o*kQ# mz.ʅ/2~d , 2$\-p}+ J C XI7kxb:Q}DP1.S(mySai Rqs?l}}>ay-dI&gYlpY8Ktua(NˏEqd z ;0aW"*<06W7ӹ) ~T _<0j-6EР~DKb oW;q?ÈtԾ$FXs+nC}DӉ)%-ӕ!oerrH`?x{&w'zQ~s-ݵr/X'4Ș+GoO< YZ0KY'fxZG;Zz#4bGQQnVt> S.kv5Em״ 1_: :T gQ_WO\o~&e1<"mֵVAM}6yN}v 'Y@Nw[ڒDm/g9+obR:$+y)wy1rz~U@%@W,Yf: @^6cّSS6pqS:7)f/S.{6p^u*g{ Vbgr&(- t[z ,{lo>7ՍםdP3O*St@c0m0VCD[f|~=NδCP{m${|vkhIf\9?F9PZz0V24=. TT7%`DK?〲y\cQ>8pDEc.L2'ݹH~#pƭWQpXs{G쁣>l,bdC;O2Y=Lt5e㒵!\V TZq_,ٵM7 ݏ̩x=h W3,9vߐh?e mW:a ߨa7;!+ֽj#Ee199Ac5^?`?2*^o.Ʀ (z/Iat1,$ @A"= %HV=AagzvQ3 h B2&@ur a lmFܝal,!N`ǭX# $@et_r_7Z-uxbBxQ/#R>Q@kCPZck {VzsapYH5IVU,ݸH~ ؝('*t dv[Iǧ9iY8l⡠r*%SS6_:b|+k(Q誼}e}QJk(][?sm + ;=!gIedA>OFvMl9Z5 @NS(1e]l[y=~7d G Np⾎L2웵|TmYxSWz z2ގ,ZeTTBnlarkX{ŶM9?hx3fE)wbYf*Mքz~P7â$gZNJ!8YpJxemƼ$$u!L܅3sr"vETf`k:r$"o8klxCmh5@Q):{ fK/w5'j/.lY,muR̄$AW0l]אk %%QHa| lkЫ#$#p]3)(-,\[S޵HV&e+AW:V󏝋moK)ϗupJ OR'Z3]<ڙ4U q(kEJ&aa'}9: :ʽ;$k'ZʼڲL.>s%2M y.g Uʖ,ғ\"xJ/YK=y¡F;A.M0_FZ0")rA#Vĸ?|KkT5]UHw;- w'^+.֬Taw 3:Fhe ,)O4'h]N'Ûr{py%!y!NvP/F)hqA7[;P^Y^Si,Mn]R:8$9#^̟M❒lPߞvxE$;{P{h'ܡq>5$pSo0~s=], {3nS$шZRxʎrmѾ;Hdk*T Sv3JgͪH<2?gbvFN7 nКd>-ΕՕDȕ rmKIDz /N.xķXe:;+'|UZ3a]ѷx1goTv$ .~ 1Nzl6:)k3ϵ;,lKePKtUϔ}FK:0i񅰼 av^6N?>x8.``'8pKdx̅PU$NooU䏢6Rֆ{\]xZ =.ŦpW{!t}%SQF(obs)Vy.* >K0؄D䷝qf {Ki7B,Z}k *BGH'b OPڙRfJ>>wK$k z Ǒ]Hjj`bIpk(@b˙)[VZ~ Cy27j]& [%E6ʢI/>~ E>EaM[=(ҵT?f|Ub\▃m?+^炈?tT"~aUABӪ+QTQ4JkB#0, *5Pf=5]&WF/Oi*#wߢMDrg#fv\5D4ӆ$JUi%@: @ I{ Ċkt%J]3ux`p[{rdM\Cp,(}Uɰ.'yo2j[eT.lWVx 'Y` u$PI\EysRݚbLruȲ &j`6uhhx= כֿ[|q+KSI2a}%ږ:1Ν*Y0W2 ֢.$Ae.izmbgr(R3kYCy}χBmHIX1kBxHޫ؏fZ@l|=B@-" 3H2ri ~"DQI6 3OJa~]g4f?l ~Epߙ"`OHEr@*jD&%qRD:r{]#?c?};}Gnκ=.6X!{;`ݺ幩J붴=dVg_Z2cVTwыy.Pͧ'Kh& #Nd pNu\w3]-;KcY[U~4^4˪0PS7ǡ iX\{c bIb΃H4'lEߌVEtY嗞Jp. z3^g OB89S.| LVWCdEdat.pccT: ~I;@η8F,DL  '_eqQ'0] _:d5USAY 3ь͕~FWiL}b" v.J yqqE?g#%#`\l;9BT]b>!l-y4@S\YjdމTͰSlvY ag fLhpW喉`#5š;b}_Ӌ{w%E't .7m0f@? ĚJܹKBN¡C *dUr F j~?InDag %_*tSٔ|F?eK̢gu9NXHlâMXȤ{CDƪb.]Ŭ70Vzux˙9X+z ΆךRX C ON2iK#&SW tp׃,Oq#,b\D;y~OH  cg{V&f4/F]VL .s߱Iܑ<["݊3p;P||R\KX$h;H>2ۆѻun LuZ-<tP:d5:2©Mi*G3D<=]>N`*d8*t;@FUf.K(?4 OMzl&Aflha;v87qLa"8[2Ζ~\wd~.+5.]Z2OYp/sSA^%^#V%F,߭1s7[Z~H%-8(Er-vjĠz”ႈ/5 fNO}֯!"-po'+"J1{}ɹ^8 {hNUp螽5c_,E /\bQSӝ ϊ~AR琞y"ˌ|=hZP?3B,U-51 TC3 ;'y'pr@hpɿWnOBu?"))'mzUmÇ$D>9lvs$qB𖀱v9켽^7B.w5 CUi) Fuf"&:zm.#*sjPO &ݔ8ābN)8yT툶R)D gոφE#g,Bޤ 6ߩv[)fr=߄dպAx|:͢ !`Y hWC3ܒ&^$(W+H wx*W[)Od~aR h܅ztoX$HP ZλmU "*9㇎OKYy4ڄd7@f&A 8ugEOQ11H1q`>.pU>n$ 1ڊTP/@ xܥ- nv8P ̒{ v9[Lx]M>ܣEBN9{8+Kirg/t+I-2(V{ K@N)2 ,DHd$$E> gnba!M̅!C.A2|if;_=( 49i^ "D@'0P" ŗO9kk6cɯ: 6MMIF^;}&q4Ӹ&`?)5gAU}UF!CD 2rX}ԫ`.T:lw0{D!<^"Ν)%nBB|y~lq.ƦEO )a,tB 5drՅx#3c,%^س.EӻXcjx5Fy dڴ-~@ѷ* C wꆁV7 aJWr Fe*0[7 ?hW 7` 1]si@GMV9>4C~V=gOXA LGxyYZK9/t ?Rd%_ xV&H_:P?p΋Xz A|ʬ?~AX1ZxZ;k4Br ogv.2q0bY9S(T \Q3&.]@MdF~g.s}&)5b́jlj9 xɻKesY0ϡVC=KMW\՞ o9<,uT}G-D7Bˈ0P^7~ C55>"_r1θ{dp 'ߔVcԵ6 VgYZ7zXZִF! ' ]ŗXiɟ1˦r!cHkMeBd41)W4d> ilPm@Go_M /'Bu@]L\{&x >׵f G\Πݒe/=Pć1zPJvOU`hN$McbJ$u ҞS-\heΜĈN'FPJ P (c ןVmՀCn ,Q}Isx.owި|LSy6^;SiP<>\40{ +.a\SF0;XvC/ HY ZM%Oj(BX`[%*Z~uPUxxg(,Q2&iO)<L3UU.:LdUʗL#2vUg6.rͰ1~Q8'\p$ ' dyT+2,s!j[NJة܈ B[ЎD e #{D(@؛/Ѯ^B9OAI41l #{UUZD?zN>yj6Y6\AxgCljB:~ G <_2D'DC啚dg^լaTz/f5a-xY2Hipk<`!22 1*-vuN0vm¾v=v$qĆD ap_E 4iNy ]{9nax#i-3sp.# |֢M.7a?ǝF*J]p&*v\ic~))%Rq POԼp+Mڄ eA~3aߢ$628Ⲷ2-sMm 1ٓy YVIp)W>нbIV^'_"P fbyѫ>d*tqC'0ٝmeTXS:"%ѸĠ[f@aX[ B*_PmS-2o:ʒ(EQj2G/$N’]^b|S*[ `:3|QyVq/iT; >EZ֮-쀮iXX|Qn`/_Zc[M+`6936*䞆l9=- 8(A &VM Eُ#[bE`j{4 '@WjR*p%_gfH^T6g(nU.4~~A #$Hӿ_H_D NƦ+ZJuŮRV]V,\[kؔL]h/)NgYZ7zXZִF! DR]ŗXi%B@uTAB*7VL&OZVF1 -@aGW$@BWDpeGSb5 EI<\&G:aԅ!x_P2qQ ﵷ'ѪJ|0$*1$tsB._Xs([a>(э)6ztJ݅fJr9Np0%KS#&#{:HAI`pu/:>rwLwܠp^Q.*D{NM̞4@qlF a5c꩙:rr.R !&=X9#'2XIT=6LKk7=*R3"q.;_,.(M`վ MN%6lڲ(؍l-eP 5]1|[OiS'Bǖw$JX`lDk7䓸2:ݳ.Hr{WU(f&`tE^:IʥGy@+2Jnj9!@h(5s@7Sca4{<- 9 n7鼱P+nO#BIGJ(7TՋSF[s~t Vgx{Yퟓ:DRVvouB!gTa嗊kA󳬍g(&ZrVPH0an=a$Fg<ŕsa:2H@} dD A]4=Xy[;y =: ! oęԌ dD_ny$@"CЪ׶ fhΐ]`q+UVRlf&O`yh?I$Bߍ $8 8 JNz@18iu/$R[;ZM; F Q!eh$WyjXl=sSrEi2O =)(ZgO hh_APs6mD:1!7Mr0r@FijL[,78K+Zr (?7)X< ׫b!z._'nt/Ptm_Q->˦6s+J."/@Қh%~.0s~uTr'֐SKpː"ׅ^;ϻ>-nH;BbvᯬGoJ&,vYAqT&AǶۖͣyӍڷi+%z) َO!@U]]IKPYx^ٶ+ThFy)GK(~%NB3 $ElJ=g`e(~z5UKHyh8uw'DOP+$Yzs$;&܃^^o/d׫8œd.ÒȸB9 <Ř\!I`[o{-\p )y v#V$$1;_v.W FjdQ>n " ]d0+ q*Pa_.SYniαQAW~ Gg dP} |P1?St;"Drr Գl MA̭x~ UYFnuMOaK^2·!~ ]R ]eͽIJ`W3Ky. KF;oưV}^}U@F*ZU ~4i,HMqN ڍz]Ykq| $Aϵ!p+'`FdTm>L Qu9D8_\(y&(Sյko"ۇa^c6!,TjTja{;!z "0TIrچhV?Uz>~J /#ڊu0FຬR̡=HA RDPiB;B̚( sUے5ĐٷX0FTv6 [@ʛ@ΙZ:P0 &-I#;7ng;xjbțLwS++ #vÈ=]VX; OStmBI^uaQ5)ג oZ 0[S}+>7 X|h%oPIrIȖ.6#nLFzoP@hdբh˳XZ4-fP-tA3آE߬={YF REر8٨0)u;QCw7Ϙ(ި 'glX r߲[i<5Z>A*`K9PX_ h[iu"frPZWL:D)A{RzG{%J E8+wsc/{6Z5_5͚+ aMxx>Ȯ^S0ၸ8n"2$ͅUk"ôէr%D2ḁb'A vuwYW|_kO^d_R@]`i1𷮰lN&V <5}(6hYj c%cmۅCB®'r eB9A 0=:ȠZ3w]I>Vd\0ؠ@َ%h6*ׂjA6W$6U4z4^gn&ss :/>b)clp[cQ$2*5< s'M+qL4"ꔄ_R|-Ij3m7Zd, ޾)Ͽ=+.$!cXK|e5sjÅ`[ @- ;U&W+:P)+H?F󫻘xN4!c^YYg`2 \N^Voz 7 }*ns+kY5kaBT!ZQT_+X#q$bg_&)F I-Yi$ꟛE|։ Sɇk8BIYr=ђ1EWum^((aK/ V~/c#{b=RϩJ*caLb % F(#jxb9!5iSzi8bCTv(з(w9&T+ڡQ\?DyiJא۔$Pr}}gx)z26GnM\vRђCr#,~E2b^\ Ji.tz:}b6V4n5nB8F(-}{(Ep!7oa_yȃ~vBr2ʹ=sch U/0Ϗhj?eݐZJ$5*}Wё 25Oq'ߧ1gЮ. ]] %ё&fAdSO]{X'Z&[x{d&m^D7;BK/7R]V9_U \n(MTڱc)\Ujk,ܦYX .@LчV@'Dea> qe86 1גR,n9+.OFiƾfŮƎ6y4]#h)Sa7 4VPv*x={Zdvxk ?uKHwsO#:lb.$nkDauըvSx §W#ڼܻ(70\ngt~/ o?9tg εod svUд쾇X`4`c3SXI%j`\_'$`G_lPZ*u|T#GLR Ey/;{l_?TRxM|]u)`#봕| By-̔v e,RQiHȚ3i{a ze/Ƙ[N ҪP(~C%fqE=%"hE,83Z:MOmkq-TNԿvT2@l4HB6e:jܜ bD E?o^Xo &1n*D dFuSw79gZ ̶+rF眶9 qR^R ,c&{e4p+ۄ^Pj_KzʞNwG p]2q[x)l1գgA` 6 eyWgJkY/nq}ŞX X\}9G' YzCÙ' v$63Ug :^nɒ2#7lJ||>26ˮg7\]d9FsMI4؇ȱ8@;5?J u^+}5hv².н5&XF6CᚣC[n;B ( Zvx@}'+0tZ4ѥ:'߰}Ut2dO&)e#C C[!i@KtXI75$#PQppS~Өgؘjt_AĊD!?耧?XA HH{>>%S "6%Rl1LJ?z$]qeb@->k՞xn(Q9^SO ,wTiS'A W,D7u\nq? kT^`Իw ϴtŘ X`85|&ES,PgX1ǵۭ.(DA[CrGwVwGA4iӻ#$&$hYFَYK9Wz @VruH4i`zрx|sS~jJ,=l?gU7;?w6E*)W PG oWQEEW~B`+~OfIS`{ _vhQ+ْz7b+Z&lX><]7ԡPJ7?5VU \(0Ư~EHp#-ƿzLdmvxnSPVf_華zF7%JZ0A,<ٕ- ̫A:=>sN B{2-_g_xNr"gK%2pbͿ;`饈L,r#I|5PH6Dz@SKfJ1" c$4_;:ә0DZ =EJY7CK4&x7 w9 8vy%,j]cf4Ogxp^rshYmw[(# _\`nPFwGF0L=h_iYjBᤵh((s?e v]l,Sb!*W,ѩXr<=, A\Q3cLÒ62i"68w!"^a)4=gKcCg*/5r*Ō<ų,c (P;gc4m,}r{TgTSj4 ĥa} X-T¶ X<&2t(yu2y4x$4.D6iɞ:JWKLC~_Bkv[: u)_`tbԐTjR_GB2=8QN [3bg:a` UXF3ZSs>M;D9Yb?6Lһ{,NSlv43'o}B ݜ^ ?O&n^K6sNnX&^HA os04(kj.u mMwzcMPM1#TC2'M9X8COj9/x=WKxT吏Ie/ ULv9?xlMg2;Ys4NW }s3ry4jZz1.rZk(IjL78s)%)d5QWo~\Wv\k߉@ee7e. s_ऒI8LCZRx;}79UN"ɳ=: ^pq/}eEvgGj-2bOz{Id> *ﶠm7YѠ*;a " lmma-*y?"G kw"8`:jpZ bm?PΟ߈Z(-" O9AsNבG1d{ĦF\py?ѯisD\Y|O"٣/ԗn65|/~x~ 8 D+n:!r鹾Fq`,1St; Wq|SX'N5vB|z{rӖ`/ik kܽK.&_XiͿ*^v1j!zu gJ \ic}"]ķR(Q 5O05n/bK $ y͗J3Ewp~Y\nz'$fW_ifՇȰ?Ml63dN>QIO]S3x-4Y͸O<%6Raz~(b}R9+CYG"(׻, 1<8UK$[]O?0 LY-Z`o WvG.y2@W1Sm2H&o[i%79(ŕPk7]oil%*NrXqQ߲z=TgaG%z[ rPJB{H%n40Cu^jb?pj,ᵳr@ɝ$kMeƒ7nsG>8^&bZHM`5~[SH`B˭[jpE1D)/ Frtr&Hhl'heI*o wDBԱŒ J I1 Ӻ(9\hmgz%O*:iV_@F;Jٿ_}ؕU@ٷ 28U2g]p&搜H4Pz?*u?/Kg%Aغ~Pg'%M>-Z{#dpj8' 47t%]fMk{aƭPr\l=<ёm¶ b/ N fbZ0~-ݦ~<Tk*A?OZ4:[wk /w/e/u>@8j2O4sм|+z$6=ŠXuH] 7s(U)0t%@.D]P%`uIw2lO_דWg!'{۸E/3@‹~ + <'_fR/$Pum\$Ni'L?[If~eYѕ<T T8Rj֌<]!g"`S'LG\GSC?H۷qq^%]C?^Ptxef#*)Iպ Ño׿(5x,>#! d}lAwKt =9Y]i Y[^N ŮJ_շQmdaU(WLauF+U{p#~o f9Èb̜ ƸcҾlk%ӥW0Ppa}c.}7MiS..MoW{!?$xJR6r  s΃˚{% US_E\n7Ĥ4-ͽ $n1Uⶏ\%Yt2 ϶!ҵ9uD_ ӝᫎ ޾=f6/<ӁU(!I|mBeA|a: axLľam ׌-ι4!;|d N9TPLSUvvn2o1=ЉGCIh^BSc_^Kq_0&T\=mkX6o=B@qyu1;*\M^DB!HL42qk|awoURly깁@rWJ+>#u/Ns Z}\+Ȑ㯊?NqȨ-Z |gePst?$gp>^$IDMy@j`/_a nXY'~3c0m &$=aS 'PYTÐ rfˆ+3T~9%7951$KuPxXw`ħ7]4]HX:2z~UP|ڑ1{z@3rhY XtN K6BVVH\;x,̆G7`8qO\"=7 H2tdjhǶn4gOF `6z4X)+3 j/K E<2vnsǽwKϖcYzeKFe㵅ʓ8a-issX92LPf0V6G6Qe>aJ}i n_S'q?BC C` |g1E87T>*^q^R8(#be  kc<6*Ri0LbKb2[)onh-Ccq40f۲\ۺ¦.`6?բCQR@Ca+0KM~&^zFP,öԡ*}vW1:CT5rq;3r'\|a/;ErwFdL2'F<9lɵb:Z"u6Fop.Ò I6$[s8QZGD$o),z{N̯̅XgφYELV*D8iߞ[tgZ !`/մQŸX1ҩGukH26]O_­|+Z>Eߨ9ht'A7:q QLB&ĺ)EM6Gj&J?[h݇40&WS&*aMQlV 57 EN 8j/M>?eeCs{l (D j9f}ܺ²ik7f+z\-˅EXL]U?8?Kk/!%`Z5\r ns˙Ǻ^MY'9{di<:nAž ܄WorpS_qTÃCT(Иi/*`Wncw=U[Kho `s8?`7A20#<ƇE!`o&PA7K`E,Se&V\ Gy7ܗ5x4T"NH Fyof+Qެ> gg͇:E[kU[oT-pKs4*e"R]8Is$>P兂e6y*qYQUZ9ƣOC7Iqz//sPt8s&v{= BRF4TK8nóϒg %̥\&1Q8]'FTSjhr /bߠ 9ڪwEܘzg|SmjA{x{A\9y*MT.3 y]U}լEڲX VE IjR2ةjQphJ["ӝEumq#wkaَxͨBnHz=e~HAZQg6c30@Eqcp𿈋bCG ]O@XP;I0,^Z&+6OE`#A>9Mc^d~WZ 9'1um ?S'(KhӮ0MH핯. ?QXͰ(Pѧ]plj0WdBdqkvB&uӿ>~+m_:ʐYа#}ZWsGE{YChon،!;${"aL$/SC+NǛ!,3f&G ߶+i6Q7_p8}7-gY#+gdCWCQXa|?N|LI~T%-!w7Υ\OyZ vkRAB?쨶czK}H2GGX7@ yX#Ƹk!-czL־(d<9~{LH~G'`Ss8 `ig`ކO&1x xm3) ޾8syh1HRDF=6<前%r7Ls84GXtI(fvզJ,+p VrIּZDu) }H"!KJPk"NIMMFؓטMp%uU`ZVzԎ|ryl _qMbEـ-vffT;Or{`]Ku׃sd P}Q2Wm\T8xd!|qw0IaHh(ΙWG$pWPOF?CQ zmOT=D᫗>70;y`z%3`g|rPY4V3en#u㡼*6U*DڲIz34# 4Vl |$_CV tq#`^]O9Iw##C$UVVxaܵ @O".g蝟C%- Ӹ6tU9D=ah؞[< S5l NF%J*  r "ZɎ~&;:t0Z;/M.e{qNe~I9> QD<2~1+321>>Pv"+(`00\E&w w?";*n&h%4aGRSd5ЫlTO`F 3EA~Ah.E?eޖE*v}sCra&W>7wLtMJ ط&`R-:=Z[qDWECzt̪ϱk` >i>$;nOdlY"w<8PZ kꪖ%ѱ`߫DضK?Mה=+= n업; z `bSECKQ;yA\I<,ά~3(d#1fv9`Z吞0E|r;'V@0[JK  -,w9N~in<$_ei|rG4 UZmr-F ^ڡ|(Nᗃ ɠFnnd^Vln!I4Z` ~eOT62/rTh`P6:`[1W'ϕgc}.y B[ʬ!du<=0Nc_5a s0j<<_ݡřyl~PE;,N;qBt18tl^j/uǕE/(RX[}zɑX'P=atR帵|\%>W܁M DJ@>BnT-]6xE$]Y)m/< *Ov4JdcSf'4EKh{$~33r:`&F0U΂)Jt/I4lMBTh=0z[@;*vXD37O`#:(ٹeᘚ.grgWmoT2QǂtW6#sT3(ә0|m9xAތð'*:=`VŅIxt"&RuyK \:Drs(gAen|q7"6n oߣDZl}kq1(AK3Z5:;~Th1AK}MGׅ/I+6}?+X 1 6I=.Few5>p_W`j[ĞeԳWi"+M=< 2O(.$×\ xBK֓M(tVYJ+D5eD2 mVd%wJ5U]7 z |g.{_=(p$n&x(EBe&dq b {`au%8sisҽ˄ iv`G7cS{9eMZwLg]4sRD*\NсC,\ &b2z)>m {7I I=bD{\%;ojaXtb+=,l!87+O8 vrɻ5ۍRZHe4e;+4%fi 1Zh)iuc a`,@;QQX8c> 3a\-i(B])! G|zg>urO0fW`[T$$k"VVHvK$J;gUeq1u\ n Ab1YK~"gj%CIv``a7SjQv6%&DмV~f\ j[WL^K@1u1$yN؟Y~W!YB+2+SiHm(+suVE)]1'eӀ 1}^ dy[PXTp]>.κ-x)JJ7l L7?3dojԓHbjpz/4T1gxJ2f r:Jq9WC`Ry$6 0v w[& 5͡YG4@ӥ0@Ɓdʯo[]>#b1.Ti.z!<*+lĆΒ-UL79ì48Mh$NxӵaYL!O+H%!4"ww8 #kl,5z:,1; 3?Ftt.?@l`Ji bu a9E])'⨏B!@몔-jqe:ǁ_75[VJm`u:p]2 5  M+>.\paO70;_U|MFk,e8hiZzڹMBFMRO_ M7I;FsiN4瓜/J\niơXNדT>TbC}-T0"AxGp"m."/pFqu De:/bD/>3*͠yprৄv$=m6s Rk#˛3scfFxiLaL:(Fꉛ8};g`WV᭦t[wK陆mOP.{9XԠEc W#<ԝ`)c"_clAOyJN`C7]: h һW :;G?l]!38X )wsK+؜?a`VP{%%,Tk+?а1+@: p\G)4}af}#ĈSDя*12pڻs7b۶b3:5 c eA"(]L^6bA%wDc]cmV weeȐ'jt~v㾘56ލ>g뿏=杆y,6CxP|'Vcvd>yN6am>H3n~ kllJVHTK4d3tpDua|Bytϒ*媞' *UYA#!O €$12y]_iI,=Ŏ7][wycISa{cXy t(Bi7aKsŽ`e} JI4dsٯ[cCbq}sL0Z&G4R)wFYlfp*+~8XX"I!Oܶ=!:{W4t&2AX5bD N*:U$EI9BivǖGO(YAՖKf5iB-ZGrO%5.zCHfϾl&[&xz`;ymyTvc`Uքď -}dH *pǣ1F*:>{ 8R-*|~/ "Ǿ-7RF$4Ieq fù#e0kS i\̍AHgƲ(P07 %R R]z]" $%-oM 43|Ұ@gr3sszkLfsv -x#)]" !ѧj=߱8M_Ts8L3#`u_랏I׎M. 9#v Ɛrj$EdgP؂tגcnA|K\EȂG3n;+p~MΏQ^7y 2e7`{زO*G .]TsjżMQ;pB x˺60|+:#v!i)z88D qFMx {Æk V@}}sگ[_rTef XQیrc =`w64} :it0Z fUϴ%[ c0 Q62oݾW]<%+WKLY̋eȱJL ZnC'=f( c|{7Lw'2'qa.9!jiȞ 'j@3).A w V?X%G]iþ:9r] ls j-GH.=~$6ә E/9|w٧@ ȉ=aԊbfѴ'r6e72 s^F:+\ `gE)t. O:ok>]5qCUHynbZ{/q38?<(-'<_{& έ0!fj+VbyP@>#;ص.`-c#!+/IStaRL*UL~ِvf앇(p3U| (kgX bhkL3ɖkeKw Ik")R׆l?XU!qj+Qb 1 !@GD% T^K-cc#u4);DS#"`@| r%h /~}JmNKE2xzρ5<3SN|/P1MS9?FTz\EcH(щTbfKuhk'Ш2yAFU^߬ GQ/&ˁ =Z`=^90b@y߱h(m QAsd\we9D,ck)?'5Hp2I2|*zֻzxmI@o?,OU\W 碶n@U)6w6?Ol~Ax0-\XȔ,hJ{修 ZROTh.^{"PX.PI&m*7/ԏPз{9," X Nş\9:+%/9<y;1z`\ʨ-Ԋ3=M*DsXç5wl5ptyh ^gp&k|72@et%հ0]*s-^"샛 G!]+m-ZyTd%tq_*4)/ ڔ<"4"+(2(БT(iyJf_D\Z+ED_~8 OazӞ,OgcPy@:* gڻx˃uH0- t䖲Wv"eC*cP$ǔ-IR1܇'H ؗ2ӇZ%d=?%fYP.ѧ8x1)m{` '\(3DoTyTȼv2,Ol;68f3F7:+ˁIۉ9_t% bx]* ( ^/]LͩIRjmqe$!/9g'ejRU (g,%/ WrP"wj.XDcC]R=*dtDO_]KZwW] ͺL<7($ Vi hVg+;]f^'ު9܉K/43<&lbu+@yP =e!*NWM-,wcXݫFm^Jm8QwCO C+ ctX|9η؂ <8P$ʅR1)jk`Iw9FxغaJXjWӎfǻ/qAL O'2^z SO=՟VnFu&(D@нDw pIJ[MlNv_κI Pۙ0 4u8U4{a%=_ PDzj oh< 1.[IE&xG-*d1ߨaN1omI݅O!+ZX5 1M fponjw=v]=7K8JNWνlJ0ثXQpgR >z$=yDk5C pYwP谼Ū%$D`1bǕ wM܁plQO;fyU% pc_<5}kBf  dW kRid]%ܠVLaasڅmA֡*7_&oRZR:H9F~{MDz>D!n0jZTCq=4 ] :UJQ9/NŽUS_ 4 X+ѥ<̈=0r3@_:Ga&ԩҺ-epii l8lBׂ6Mxļ?YF t -)\¦OǍM+=Q>q@R@! Cp~iu'g@£ }ڷ%= v7m^ayy V7bѮF?4 PqzNaQ(@:<4RZKE[La1oN3bK ^qbg8-;X;3c2T< WIRf/Tq#d۰&isE'ՔUQA!:sM"N/ͼ[2.c qSR#o3M۾? u>9U-\EILyT(E i8ent|q*H@qnSu!PuzoM)CT&'^[₞Kgrٮ WxW\:sc}-cfHkkʔ#)8 /"YXodMwsPNxst{ߒPn- cPz; or'eo T '>E{{_?4LtI|@Y4Q67K}c#o˘ID'u30=U6ʥ$$&iy$[`E SلKkFAmj=,kuȒnu^kyƢ +41^fX[-~հ99sBY$Fd$A #4sBE LOݧdR/2PGpl,8gs_ۙ}uX:!Ėcbx535!SWdP<}e$q $J&xV)ׄZ}Jc%)B.~B weQ٪q|cS }@߾I]xA-`%)*|~/[Ӯ_N:FU\zFHęEB׼[^½dьz0+jrI~m&A9y3l%;aF5l9Іyq6f5^RB6G5XjT. Ktj c;T&{>}<%h y b΢[,jkTW!`$+by!ZΆ}qb,`_f :`EC҄;j*n>3=7fR~%C6Z^p;4{oFd13J;DΫG(*Jx7, )'`~Q=!΢Ϧ|$Sn6"|ȫ5ݸRwIƅrj7kz i\&#d?̗',>.1x5wnhEG0'|1MqgC/F;Bֈ2a=^aZze݋wXOL";ֱ:'Y}Jz:au{;g>*| ZWkجv?T*0oxIz(5)쎣3Q_lwhZe,O\2”y`lXƘ@Linx,gXby|~ߤ ބd>{]vcJل_nu\%#st@',қ\<烳{ Eq#UJ%ndUJl|-e3&˓&9g.Zܾvƌ.i< h28jID}CNm<] żDu>}ԮxI^"sy7*GR3R~nOR0xRd 6, /uf4_d%hSOMKL/Gְ%gYPhy??ꄉ"MT*ʅI Tf0ipL&AƑZJvl~nh4Mi%✆_q^R&UZ. vtbsD8[sӿ5b?CDnsE@)lR;ER不 iy'Vp:[hh.yPyS6#KZC߶4CxЙX \ƴ[_sJqIVp.k tv/۴4/}xI:*LcY%OM 3^BS2Wگr7%be3ݖ` j>0Ҧs&?t qSno56pjff.ј`_Hv[vJK! zRQ8P7L-Bs`/-^ d;Ւrr!UݟC06(J^mIIz 7 |q,{cD8A9xbw徾>"d&F?=g&[.h6[S%E@lY29eC|@U\ә(+؈-.^*~Vp (AXO^cA܆I57ޔ4{ݏ4n~Ql1ԟCA z -y=6Ltrɤ&va]cwKJx,(ڡD;?ݕkRjѽ4YłAg&9.xĽGӁEW`=?Gp@vd2)7&G58XRW%CjSWȭGzvz]гjq/cpAu1ϧK=wj_+/}rlfϨ8{#j ~+M 71z"Bޞ!7NUH=k:04#J3=]^A+fk YWn( S.o L]ˆ> }F_T:``uZ8dGL;[IBlיߓ׍ Tk]D 4$o,cx\q&:Y2^`Jm9pU:e.;h٭ꂞ-ճG/s=-2^ߧiԊo9T)>L3fBt(t%KxO=+@И.on"*gv[5?NfNUg-(?s]6qZU-eK-a\5*{Szj*hmS #S+^<(b≡}NK)l& }]QShfּXʆJֈ-:qvPEs&QI6kJM GF.VzFVͬ2ڦ7Ѝ3SCUh[=S* WKi~ 2mp@͹cN{RrBf[Zl/vYs;cLmh^Χ>OclmcgΑcx\S }< z?wKY 6$*ٞrg\pVSشOP4J 2ZG$.4+l-E0ĥZh_]"TJWچZ";N>р]1`1Tx3Y͞ i7VC$u/ o)Ji6.OR88 P7@1!^Ŀ6zCYk( 1B[< d'7jᜲIШ1bsU(w88f}'aX >#L\ _k1+'<\-_^t;P Xh" #'ǹ@4qOrAQUi!/+FKUUϵ }3Qy#1p UVGP 6WL}!w##)Y^~%^_Rm&:"M2#. F֎Nd[l׶3,QpUK }d) ʩoZiʫIOo!\ ;E[ѵ3bKh_šRiNa6 /P,^gz:@<<^ɶ=@jTZOŭa{ahWY_sluT?&J>,[Ƕ ^ZKȄ&B ˞0$_9)F[Iu29ԃ\'e$LESt&6  C6T9pphvy`@aJP67[ފ6CC;$ՈK+E2 ^pJ$EHze"$DD&XxFO* ;W~\Cmx^hZj$DJP`l9DEGxA"fbY#㗫krwW\E/1n9Gh"'AiyW7Х=F{=2)As":_pPW]{q0-gRiz瀻OG$%V{aֺ_|X'2N|f!o+r2㮙~ ^'%0Q Iì6--O: <ƨmO7+-3#`; :`ڇgvakiCSd7̼j3̴&L]jm.q?gX'$8ӗ'gi9ETc b5Sg1UM2V)R._bZQBm-'l#ʶ]c"+wJo5jmnb806LY F0+qf2$6G'OT^Oká7^pѡ7KT N^Eo-ZVr+Hc]ivz;C `Gͼ/s`47Wz|XVHwcq4 -otg.|B،z03ș\R<<Θs ^B'Moxڃs9x0yh Hx _|fʊzzjz'xIdJzM,LjTjya,d$?R$?K$^(r=IM4:u { ޘ$fNuƕ q4$Fߗ`Ko{ED| ϛ̐U]}x}o ً`zNf$W Ud8XG&bzFK?V }q c7יnEWXr"Om^tT(|-]rޓj{q0T׳Swt1ehn! bHv~uV*#}$UTb3f'bH,Ba{b̽4uS8YuԈQ )cei'\1E)Sd71~dbB,(0 VWl!٣0!tNR~w6ΎMh# rn)zI2Wtp9t LYbx3fը=:s'\EӋ&=역p4>eB'ES Bv蹩Yf*=Д4P~HrnLr(ghi i~#"g$ۜ(YKSنT^o&tmuƭ|y1s%a{}`X䍊> *uﮂhVGGxޝ'e4JK>&0X~uMl/f9q نX;v7?c*ߩviby$kP2-b+7H߆ L{Z\B ku&)*V}~2"{;c"v %/Lz~DT'['6 ]Z5'ϧlPH!wEPvtb3徂83# ܃֑yZqSk΍ٍslb%韌4Al_~B}{ez֎A/MkuKr C5,fC0GsAo;[ Lޝce-z`:8ZCz7G`4::#O= xZA2DН*WE%u/X.=78 2lqty}LRBz_1_+pMk W6L[T 64 915DPkbs[ah4Gm#'6I x TyAh% b!npXew#Rq=e3Zڂ>Ғ]a-RxR&xIKckF7w@Lkj LGЙ qn1uE3b"۞33SBiJҕX>Y,C{Fa۞lY\K#yE[}00{|ĄgE@0ź~6]@)t_4VO7{1jzl(Uq@c! -L=*ۅEjM+__ %` O_;o"!))rE$s #'FWεtg q-E^3YoH㿵Y=]* x0IpNfi7Ẏo&Z @Yq>?h ʍ ݶ(l%*Ÿ 7~ϲS%yQx袡.u+}/5Ql @ݸ4o(^7U$+{n S@MYZWm&CΌ+t nq1d:sQlD9~oJ`OV69hFgkI+_+~mEO]%jY.[-/,lh!?YlI9 j\KGBA`DQ4=[E@N~\gHYV)FNȴʵ_F,ӁI:nIѼ`N=Λd̊X<^+}h^sv]ܠ˥!^LN{VNjކA{e892ұ&xiĺV2SX\ )Hޛ,8˥㧫z':S%e CEKXGe-)WVFV;SxKiQq?@AdoZ{->4r(UJn㰺%ida1 %U5ݰScpjudb>J:htA/w@c";!`Y|`pKh|AqL&f]GbqAу׌Ŭ .1*YY] 5?ؾ}}#AցL\ޖ7I5ŗwZkiHѿ,V)"b"zMޝuULcnZ +HvuX4,~0֢hFi1;%{['`([BHm::?9=h.߷02.d^*n2]ȱR?m}]1Ƕj3u2 F"|Sꦲ!z-}>E_T™rzm(_Qrw(3nOe_9{ZŪ*#gYZ5a51b672aceb1b714699800ec4b79ce2294dd685ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022f2aa8062235ab9b94abd77b45dd8ef43dcd424db