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  (%DL\ ]/]HOL-Analysis:threads=6elapsed=319.250cpu=1570.084gc=59.708factor=4.927zXZִF! !N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmybӊ;,Í1rhjKum`BAl'/;qمtC%8:\\a'*W)ݟi#L}{cQqg †fÁݑ@mRr7>N5[juA[q݊-~_јAPFH> m_caP8052ގ/q uLeHr>Ābh(mU1k=BE je &3盜٨wY i*. g(O KI9^==gS^Q9Gr{E @#\u]"x'g› 9K%x~OgQPv:#2Ћ$wHb!\,i9/]_UIl۝2l!DaMX0"rv Cwd f_OJspPONO ^iý:\5 f٣AP $FM!5pJ XH6A@-1bxx~8L?4ƥ.V$S؀aLcX_f^27 XoU $66aӖƒz12*s=DRz٘#}gc ֭}4hLZ6CϪ(sUO+:Yaɑ.nňؔ!=Bvc̰[lłY5aUeyeu]j*rS۠r1k9SbSk1pʩIzX#Ὓ61eHee%,}%ObcXʲ!v@Aq-kL&zYM&j"<..xCOꏠ dj؆ʼne=6VTՋM#9>St?2c:hD0"gj7鹨|~ˢ ɒN/*]83Y)~#ӇՇׅ)>^]*R ׹^5 % HOL-Analysis  \.b~8aY~Cf|#Ui4*2=g^G!V a>4db߯] ]IT8@V!.ܿ Je6OD:^ˮir`F^ixBĮiT@qDQ`%0i93> +ݹ]Ghvy^@sd} "ۄIbWNCǧ6FKa1= [V v'Dt̂ll7HA~S6yzMhݹOVs6h5)yv=?)]3R3g* "\v.]}؈n 糃*2πG!.;wR"t9*Y@YJa"[i)\I["0VyWCW_L¼rcAI0:u`dX3(;1$Frio]E0V9ZPͷׯb-n@USTgb/ەQ2Hۥd1.GWص%񈑔"Gc=O]o[f}x*%ud+DLϜTdz' s !UX; +5{O}̾pk7R+>"Bs;RjPi]~4ue&+BOx,GH. @޽4{ ZgSV+uPD10/i~j)!Z6.21F GH5ֿNJ|S$\IDIW 7Rgwˑ rPcƻ1 - `U:dVb.^p,!AUr 0dPj^ǺjLT07n[nാX"R~_mxݶ67C8sVmI<:|\9,Bxp{GGqO࣑GGϭQ59l2bgU Go[nuNU܊4UhpO-6:(hEϛ5v#*u9⇜]MEA$WCܧ 鵹%GzvnÎVw^ipgAn߀] kBh^7SUs*õdj~4%Hkd5Z~׈VS1m=a?9['Ȑ ;dOu5M>*DHR5S:>RpPN쨯 0+F . r{>ƻRoٚZ m>zΨDd3r!0EPDry|1gKwRJ03O> ,+:$'Y{Ff0(ۻ.~Ɍ͝ o ɳUޠҺ-sE~Zh;Z?sHe(+ŒBMX$Y!iΛՄT}b5[p]-w*r5fsr."JPPv@wOZf> ͧZTG[E$MHA:z 6,;u)Ѧ)E)]pJԘܖsv%-*{Gd{6P=|ѡo>1<aɩoHS"v_C&з!}?3)ZH8Qo_ɰ2S?V w.l΄{ p%enM4d{x[E~>w|^`(MAFiFL$$܊h)9-ƁEXrJYB5_Rg"խqD@uo05YQ"о.v&h͂6"7ML#DgT}oC3c {q"i7/o\?`MA"c{{{6a=eX]b|ڱ֡?N^j93h1P~a&Ihlz 27,35 d93cX~0v6*iK3{٩Պl~c.hܝz+3`,#ipSJYuR#uՅ j3wEʃwRZS_~faQɕ6q6'f4ܡShmB4#okN82%EZx?`~X*E%O_,|s|fn(۵NXG,o3l xpv,4Xg ͞ SEGU9,ߨZ:kWqCk_ӂ?wOf(;AL~$X21 F=U=rij_)#7չ~B. 8@_-FVs6Y,a[8vG.q17-t'^mФgRZtʧLj}eKKs<2RWwnaz+Aˤ$몜lN>Kc$G_pgS:p|FKuv?8))> Pk IkF-݈DK´ָ{ByΗOg2OlSl AD.LD3 c 4?jdQ=aD?nUDk~֛̾Iu%݊i78R8X %n'#Kz_I 6 v&OkxQKқE%ԥ!MYnȑ0:[aEz&$+沲1p|c9v.[-+=KV*[ͦ_2!+K?lwھ 9Q 4GY%HwmjI+GOEfV^M(xa08A'Z.b.v׌(.>dܼ%Q# U΂׺Pq7D.);KLF] ȏ?q0.i$I6gV"KlYcz,)W/r4)!ʦ+Zq|tT mZj{yC:2*ȗe`·N:aPkפTldop95%C~u„wT|{BƊ :[ S+_UJog7HއUo]Y{g6 >t5 tohƑJZ;֣Zk:/ RW 8'e ǭdHF|- M``Z'{A G2(SM]H-e^Kr'xpL~i |G+*y~,) |6Wٯ*{DrBWo5\%f܇ $Mi/.l#GRIP01rvݯ2Ł܁ѣ<`#w&[:̚jȆ6" gWWN #\xmGF4;#8 .ES0U ~h rDKFA(]#hLi(釧NԄ%w 2aD{T'<7"0<] F][?@7^쮘6W:YٖZ7׭8/0NkGXN%&~OAӀ޷֓PeNJe-OrX3_->HI 1`aao].a]4-oq:j á+ +)O,0$V3:3[Ǽcdgb +_4zshC1%Hjn[n|&ԗZB"5*ӯ|'c(J7]ko0X<}y( { _^_lȑ:38u(~i2 S+sϣz(W!Cʺ&=w&᳾YF(=V_p311 {F؃vJu|H2U.P: ] ܄mhI<&k5o^Чn(mYOd/ȎC_yH ~O smWi&?gr{b{nrTX a5rIA/f*n'Be9֐D8UH8nYAmCBa:4s 3DI,LF-W_vcH(赠Ր^?5\T{`$7bHzىEJFY6n ;0gIa̶8y'1\{V@DžwP/߭KIGb JTgGGL2jH4(BN`q3[dPt0fMb` 葘NC\'iK{:\:У4 z0J<hQ1hJ n;[دڬMdq1IVW  Y,pe(h.[M#~4 )ztѮV5\T8u"a,Lo!R@K5*FrD61 !&[L2hhT?v d;3e,:dETDYpfiHz<0sr{@˜A&Эl"|DZ%="hNrJ@mH| NMBZeh}+U|Bs_đ'I$wmHrS ݓ"b68$z^vTM)VȹYlUkX-m7Re1 ٺ0J=/T,o{n)Bqpu牅`=i !g"Qcո͎L"+6TCsɸTCFW1%ץ8o2t eK^} &!2_Q) c-pVb [ w=JCOeZ[Vӭ=݅4ЏVd)X㆐_+e᭪'1YuDF[Dh{P@7C],E̓`㈧يG,Kbe,I7VkrW9 ѼU!3*J->~ zkJB 0J=9Bݰy{G}V;$ R֓+^u ,.}ZC^\f~F?P^nEcٲ*Iu12fk>7HvHXwzW=߂ˀ/g).@bh)>u<9k_V'`b ]QM{wiE|-($40$GE/ae$R?).9\`  [;qş۠x%z(4{edH` 5͖# Z'L BcC3Q[ MEP,y5$ X|s} P,c?v߼] 82,8_j8AVgL/(q\B6/J}id%M}>-kBnZ\ ƱhJϟT:B.C.o̰];E6NRA.}5RS̍& Mf&z#\1?ȅ.OO[_MX!2߈NPb۸1lrz -K#~fn'rjBOQ&Kn|0^lm [b Eo/Lv_ِdKM0m1z?xёDFv QVDx=QspnM摡!{C!uW-'fiXu[e4^cF><݈ .{V.45~C9w^ 9+_BŰȡ{NLm\Bm/@d۶'M4#(BWKun|lsOv]lw-5{ς061 B ~My27gX<k ǣLR cmKz:)GFY\n9;{C|hs(H9K`3 e9)m.0WSr:nYEsx^e`6EWп##TSp"9@iMh,;r't % =S@s")׵4P, QDr5edv;5lJW⏿PݖPoJJT]|cGqm#q)mRW]pyPiJ3/mW#/z Jjg aA:\-OxV@}ϔ8)4]VZ)@x0,}Wpp֯Fw): t{}yh܂J̃ܜӢ=8-鮠ѻ.Ll,mF+x3U* l!jYCIƒ+r]}.A;ZW.}N$.v.ľo)(1 Uimvԕ9[00蚰C. '#.)-b۴Y-*1q> 7GBHՒ+Q4\B֞cYRt4/k< N_avU?<e {l%Z2 YY䳔Z#M7_p;25̿FfɈO`)NHWŸR5O Bn4_VWV؈FͽpqJ~$"q}jX|]{: .qԉen $lSg!lpU{Rw@ߖ4Kɴ%o edS1zיJʸ8C|{(A4u۹{^P&͆96^ L,ٛuUN\K0\ (䒒CrX9R[}N Yf {Sõ\*׶~u:+{C!e\Fo[{ `㜢-=$- aE ƙ^EIa>_||rW7ԘTqdk0Q;'^5AY]8KSAqm !?58 Y/zWab~87x{/H&#ؙaU+^Ȝ;\5DOHHPEWħGhѣuL\쫈XB][D*r¤㻏e+!wR&X!jסI,UlKˌ/C=Q(%+"\ t7ݕzdhvls{B({7~;~PJg Dd=<Nat T̠޿f-ΟASN\RUO+$ '.軕KQ%_r0\, |i.0vёW!56. Rci/eEF{MUk噆 8kJ wgPw:޺3n8N|wg*בkgo_z+n`𚛚OqڇhLsbyGp= hE^6Ez籸 4uēg_1D$y$UjJ@DZϊVS*!z>djsGv+ M!r$ pB/O}-)":{PغS'IN6:`(fy`zWG'&~+Mx8(ԑ)Vu\ȓ备!|fhf!z?45" Šznj憫VDP(ۍmcs ~[1C+b|O0XbaZB.T%їKnmBr5GV H]\(ϯHXz~lwr9iY!v֗;bD +ܵ 86&;da`F -xBC O]hriɁsΫYuCZ ;\kG(=$}8j = Bھe5z<=̡Y=Fp%̀O=ձ)%Hm(3NǪZKYPxIL^v"? hC gEY 1utpt+H$U=%yʓ)k%rm!Sc ֎r UYjoC^$ İnK;rӼ}~1U@oBؠ6ZRu:ShE+.\8 D%3'޹^CyZ@e,*gn&gOGchƽICc oj2',)$gN)AlL/ZxT@gace9LGE zZMkj@@XBݨ ˫xŭކI8/ؙ}z~tXbzEjƞDqM0I]4YX$9dlӌYg_)Kl0.gͬMgu+0)G6D*]s-Iz7F;+_Mщ4RfMMRUe y }N JtU1>*]Jgɖ @o@#Q=vմlkY~^zfj ь Ҵm&Q!OT5[PzAu -׆ _Zgb{2 0o5jx_RH9*2 ;zE՝@[A-x˃ Lm@գם9dhC\&Hɏfih[7b"x̺ ?-H%1 #pZb?IԼUToCǗmbН;dRuX4bLZ0ͨlܯ&ߏaq9KAM ے_ȸۧAq焬Ŏ_*`!/i:cK_vq;4bB.ͅ촻,s #guw<:5ڲ;Ŷ])G\3̵fPۭw< t;:D ]8hMPZ*IBBcħ]JO"jjI4Lh;infn J'L5XU&86KY0LkxJ;zKtCH W4n6վSz垓r +@{eSeF4ڒf~gkьO`t6D@P0(=wëg?4p%i [lUn[ p\^g"]=QQЅGak[ _ayKώ%闶Z kƬ5W(M)8i7ࣖ=Xn5>:6Zjh\#Va8.BLLح)U$I壖TVg( $V 1XEv_+>~B=B#Q*!wW\ʭ4hP!"YkgHErRra.ٝ(+0apf)m3`L~ Cj .( {3à؄Y<ꎊenk3o"P#=&9H.ڢK~q-&8N&GE#%ܷb؇KN5Y3_0Oj sӋ{lwB:UOwMI׸iw*,nӖW03Ä|aj߽7]H $ӱ.M!d6c;OvRx\^i'/ &ZTi/#Cmiysd ]`ngVl̥{Ey#Tveи:Zߟ5C yj6*^: n?L\h~<Qx)w)_G 0_i O,Pcqށ# (=!F J7R95QF#"Hb@5TgzOhT(uFm8 lbs3sO9ųwǴy@6 [%*g h6SpIaԩpPute'M$zfLsV*m!o[ۚT0>:l;dܝ(Z}bԚ9/H%.ܟɧbV~A~0EE@| Zڈ[P]x:P(;rBĆU̒KZ;B̅FH/`vw2'Ys2& 6+!@Chծ{Z W+єž `Fwdarv~ c$< S6h`3лA(v΅B#ho7rMC x4JmXP:=&2,۞ji~@ʲ(PRtP6*+E&X4#g΅~!}}n"1|~3]iIClᗬ^ hߒO6Yu_>i@ONn jɇn R ʭP rs3?#vp ZG)=NE#}m'5Ahl`Ouht/3caFٟ&)'N_;c!H=zV`9E'~0mz2m>W4[0Q>q  QO#+*F.3hj2ZD~腚 Qfw^ wBm` =qPY (Lm,75>TTP=gQ1w|f3Q3ruH;*бijAJܿ X;*9񪌐Fj%~AtqtTsdĄvɦ:M;eyIx}~_1|6a͠F`Fk|g DڱHiZHG֍gׄQ҅MpL|hGSI(RYZ/s44јe򄋗٨3^饼>atcmJ]"]PVC#"~R. ؈4|nx]FKUKzstf<2+*]=422HIIVREjbX`M pt^@xbUW~f6y;M^w/cҗS|@6ޖf'>&5e5lO~Ւy2gN_RgAI; a渴)^G5=gFԩ9fmLQ""{OĎ5/(iD1QtsZzf?&5O1NJ(.U-l*2WLg%CO'$Mo)*U&8Lf8 [1{1\5CU2vd 7J+0E/:{d"8" *D^JI3FUO{VT()\MɠYQP){dUx$,}1e[3Ntgt Dzq Y5@2AH\lOd2m}_;Mvl n riIhxe<(嫂yjo0F ˄#֜ OOC_h͸ `yɗKD0gox4d`2DU>Dx!X})>u$;ϐL%5JU!H5C]J0̤ smX'Ql>.ƌO9^ Ax.y~Tcay:Ryz*Ԑ]ld`C Py@ y$@~RdƆ2Lt$UYNKU]ݒLKiaӃ`2 5rJ~Kk3ZvȘHT{r"G쏙K\P{9cUwğ"Q.u{K^_& /Dy4N~K'qd9 g(CN:gL$%lnbuU^#Me^*5tK6&q:s3ƺuH ȿ$+kh0ɖ{(ľ( gIta9apLv1h%yNM>+8<0#ٵ_q ~9,z~2+09oeJR,+>2&{w^P,YXS+P/t <7 D`{\変d033VldLd@ZG8U> @X5c-RS~i CMh`q&>`8I|pr:]@.5Oz Б=HjY$bKXt#㽩n 1G~H_x87;~ m;qga{)d4%AъO [Pi * ^=L&mss?WV"E@-xDP /vNhΉ3|&RCk'jO)- R/iA3%=M>[I&{in5-{x|m5ŏf"sCxrbS{ 'i\8: &4V4Jv@~ nMq0lA xnPc !^<]&|/jsg5ve:5WCG TASpdӑ:N!6la4TYB7~ է+^FuXyM%\:SL\*!ne;鍑@\S1ޑC7UDz`lB`US %gyd_bHV^l5fnPI,ިm*p&[IP a,)beϋ/|gj͍[(ji$їmEN!\W,ldi5 At'x`sۛ(!yN~5.Oh±2rWb$w`˸D u}1_PEt`mR 0u\z&E ޷r։7[,;7FpʬdyTH<|7 $MԨqW#.DnTמ6u`1'|!z&4<,>qudYrIeWצ'* BF4kZR, q85y2p/`"[J/n=GWv!*_R(: HYۍ$q˕FRߦ{8%sL !~z. QUTĢrP|[GjMDE'=yPae)UM WF{U&}`'s{; {o{2iAx?Ӹg~i?3V5z(4qS6"Z.jje6ayR=gÇ\'gXeT_xK)r᧶$:9# O2alyDQ\=`H etF'pk?)q609 HYo vQR@qZW"~9l/)d6beNq@ֺ%* X~3%1ʅ\Օt;灯׋KYe1]3*/,`[)>%nϮ2|5:s+21E.Py{cb -#4ȱgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4>-BS"roJ(I fR)QVG oIe0FIq20Tƒ¤[Lezl4 zo7I,^XNZmm_-N,mi<$эl+/MY ci[ V rQ.p sEn`5/QKmRapH<2Hi(Z!AW 9i`1) Vq9T󲓆__VܯR/lXb}V,,sS@:f>Gbgu^+yӫ&c<+0AߓV}oBV]j['Nť;V·RvT΃ixVSXD/V!$ᕼ] n*Ҏ|J vvCja[7' ܓV*qfbّƖaM$DJftgl1ߕcsK@M32w+h$ ~in2Lgק~3?Uc<]R% yb/ l5ыi½&G^q9)-$N_[5#'Mq@U>vðtD*˳Ò]T4V<Ϟv4l7r+ai v=AfϷqyRoi }CZadGHA-67=ܡ_ ]Yy,7؊ X9lrr*"$Nn.R"SYQMbT].FD>Cu2JA߄<mH/9bUloxf`G;\Sz^oDHT(eZEYL4VZ/E \ |xc y OMu~`%?-e`hG\% |G]ߗ_$SAG$G^e^t+18pTjk}>HzFSR9,rpPȺT!`zP9wU_qy7 Rj0|5ils͜`ɼ ڻ]t:ux%F`|mez%X4~rI}ސE}{Ew5mi`eɏD=Ui7ߒbn|uhero)L6XA4z<Y0gTتHb;:_`]S][&{BNö'q֓<[-Vh AgT{peE x[rk9}>.^%uBB&-Q䓎3'3L \b0gJk%ˆ5z_peJܔU{Fx( 3v-F'L]Z1 qLWݦ2FtmJd ppH)wDA~`l홎%1Nh)f Qm94Hw@QX(W$Ӈo)j _RáK)_[ΞnX+0Ys[5@7YrMÈqF䪑q>o ^/(Q !i0uqW7O/D~G1=RH@Fc+|4BG#OI0ccL}NZEgYZ7zXZִF! 0lg]ŗXi%ES- Y3n}Qi8]hGqnj3Q]E 8 #c3I2LS,y 5u ̞׬F-*fXoEQ-];:+:\b& .SQPʩ7(TCd3J QKAk R(-`،d"rSbpнU0w_/vy'}G0DP8{D1(}"]Ne D&m= .Y u @BX涡zԲL~hl{w^'&P Tkr]ſ1İƌ\Ȯl#gx+hp$|NLϵ[JDzC>{=\;c SokX!C_fR3aV/DԞЗpcb\ #_0v1:k]4/Xtn֗ ~cPhw\Cb[V0$ nMm;QlX4l9yN42&DgK°*WPH`ѣN@wl #hp =Lal);FL{,up܈7#Wb5,ם@''C>=4$̴=LNCyp7 RpW;ǯ " +Z$7YS]AL[mo$8E_E Jc&b߇T&R%U [g=T;zgO'D|kK h0a8@xBIu7g>ר;pO1E\!؍h>,9rglj[k~cM ^Yu@=E_OvjPsxVQ9;?Olu,w,<2\ {AťuI8Wq8Eb?Ps>#ys|a6YD}A i'@3ܲ;y"XGNt|/+ȲG01'EZ~C-Аӣc߆gGĂ8zKxKC2[.%=?=Xʘ".;ƶnEM@fŻj)`n:C8LB+y9UfPso?*ש;DF f3#eVt)_Z-\ !J}–QFSD?ʛaCYD41A¤1o,>4=St{E2nX$h:!7Yv.MRCؙT%W>{^n3CͦQUX9? /-QyΆ k4$1uB^V'i,MDt)(_fXf;2sFjQ Mk6ЁwB i?Mq=#8rRjX|z+1NR6c֦ @,*q_T(`Ldkvq+#th88&q(uNrV$10PW"(Y7:bOZZz͹>2GKZB54p?(]#m*pEȤ`уSX.uRlky3ě#ܨ m |E&ҁG t`pȍDAp#̰IĊ; k5V}tRjE] z c3; _#,OF$4o>~C2 D![sڐCΥ= |]e4aD 爀u j=geLvQ9 ~k,uM(aiQRQvf6dt2ձ˥ @} $7KϡK̾6: H]n@xzkh;~`㔋hetNP>5vՅznoT' `Kk4-3j$VC~Yl8$$A'͢Jf-X ^LI \)uqw#tw[ݝ(rIu`qgm} y_j=8t!\:PDC sc3urV@ l:=pPSD%^:S`T3#aσs( S*@ DgcW,(ڐ ^N“-n X\2qysұiZ\f ^Hɫ^s(P- P Hq~/YL0 ƫ _#IXW z;6 l8siwpqu@R,f.\g Qi|` c4#=-z}ObG)!r;ptD|[DjIbx[''7APO'GϨ`c45:1QL̔q&2|xphz>jsW| ,h9hF6A_+AxY.e˓*hPV-.ݢ$;͛]t@ũ 뫿Al&h%e]rƥPxt-"Z- mG/F:2a،0K ` і#E^N"IZՊPvw ÛW;p0qBʔ-^7SCQz&ŀb`p|?J>:;Swmo:LSַVӬhVdʫ"H(,Lm:yIYNxi5 "k]^ahi8F+B{P͠#\r>m6>GC<9D!"PJEsX/bɵ0r;yϸaY 15?6R{Hne[z)uCקv.fh+ۋ]A֛qZe $.>œܺM]"L2]|uiNT8K6 >LWH`H ~dM&燩4-L_ CzpqG:36蕏J2Vi, Ic 1|EM}܈.\ ExľA՗K)oA/ v)^50;P4-M&{w}MTfmYݔ`C6}h}ٹMiͥ!J[YmЕylZz ݏ:G0K͜iBlp r&ƅ蚣L8WpW̔TI~UM3Hە7MiG](1Fl yZѩ1HXwt!7ؽX@vaf !J^S?_?ɔ^:oDzEh`:\ 8ǥ*"C&\;oN>ihjw@gϫfT} (d%Htf]lv{$Gf _ ORG?"EC4\֖1Lk<ե{M%!5 Wz93@/1 C~ӊTn2).zDob!dJ5E'\ "l `tw^1X`y+0\8>oEaiOA3vd-HDj4ZιJR dޡš~ᣘ^;!)NX9 HwfĶ "1ٿg}_)V=&ĩ[Gu Ԥx߽wd:pA0~^#To9 |i^!ˆ-`y9ȏO\Hya%4E%::4J/LU61!omz&Hy tud"&C$BapNovoM$37:4z3;gK) dܩᮎ;. -j]xKUO^Gf+HctW}Z^l\)} |@0-tļW#l$ogaNd> /_Uf]bҮ N!򁡗(|ָM}/TX?~]f?iV,T\;K9lF?wخMM@ħyRZ2'Yhz:AiFw52B]3!DB[9w|vU.?=ɹ3w2HQ@h@%Yyp0+Z~zk[B~sX5##.(?Z˦[״iTOc+AzUTmLvβp`XfV CC }IՊx T%9ER,Mcxt08P+p]ىVL9717AEdjs n4m$XK&>Hg=a^-Հm?|A Jp$n\Zdt*"Cb0$wD3$T%> ζkڙS9Degpoͦیj}FW_uA$eڿ74IR>s0jzf-]+:~tv'=SDz[*?];tDUE2xȻ iR5;+A(Fꇰx-ƺdZugXJ "BY jwz`VZR";S_M^vcF73G[6^, i qPn&9Y_p~ׯkqo$B`[*2.T9J9Y_\IJ22 VŒނHy~ i L~ehz=J#5t:O73QPU>8=9_YM3*/hR0c/t#獯?$f1c컏Nww{|%Jz\i̔{/apK18_:~S,ԍ'xBTϦDfڽ3 S̡3kZrꝬA>BNq,H:[ԯ jنVD0>,&6Eۘ'YhV b2ZjZw|1cwupďuYF vW(l}_ "s$k"ׇ/]Т.ZbauvcF9{D_n )WBqwIg!\<5O~ /^GJ @j3T>X rrX$KΓ0l; :OƆ|r/DDWaie/Gs:O[fCB1 e n8 ip%g7L<8 BfBX|~ jƻ.Cx(6Zf%i)yG'yJ)_TPIZ9jQ9Ʊ&ANx1\IRk(3M.sysS4+< n-͵n'L{MEga<Qӏh Y%uthc%tq`k~D!6J5:<Ҳͪ6-K[*-2miX77jrAN[(=ݝs VBoaq:j0T5.;2&y[sL)gϳ?'E@Q  Z0^1/VR^C0[ YbW#7^]Aְv D_qzFJl7clA3/|orQ Ab( 9J] EY爫78dAft\2o|~8w]Z]YQdU$=M)(O[(;:gLVoYFo8@AIn l ܒW[2FoJ=eKsu5IЍ")vIn8xWMrw~Іppbj9G_=c:89#0(-0HbVcg7 Yk@ *$س6Բ:e#A|V۞zvPk뢝`4UWlڥu'gф8n/ȣ1y;Bbb@ ]?ͩn$ J : R ;1,a*噱?Q;*!V}= RFUjtM,pBʱH8VTi\4iqoߩڍ'_[}5m諅fYNi)Z%iUƣ1cd@0+ddipq$ӚRdMkezhRisv%!:/dyξ(qxQ~gg7jJjIң BjZkQ&JdG ,81 q ~SD=GDk{Jk gsrf47P_Qg>+Պ/~Y0Y%L(Y_uZ}=Cs1jƆHeGi6өtV?m)2^Csдc"8r1P._m#oyZ!p|@]YWV;v@!C/pZ%,L& #`e`&d$2`|4tk@,CʜJpNaU}{v4~T2[/ gCa+!=f :]+n c%9HX kԱSSf"˩>-EM3YG/QF[1LWPFUCxc U{If4i}e ta5MYcI~ÙA"lR/.&hj;. H h$QZYr6%P:r0lrYI^mqރhNq\.@-DO^Jm04C0'HS8^qKAEG+͑)Z ✱]OoA#6~2ZNp<힭wL6dm=66Y/GT@ҭo4w `ɀq'YoD9` '`}>Vā\秋{6+YjIgMxwh9ygnb &R dfXO<:ߌ 'V  ][Η/as2i{uD߼cRGz`~pb^Fya~vffz|zIV\b2YRqHo^1 x{[qSǒ3bWj},̴߷YTAc+ʡlکEs)vD/{eP 䝲he"2glCI RN/8Έy}(oV^~W뵗$2."R1Q|N܃oOu2H<6']Kv6-[r o{,>Xe qg|N0oHXɆF"Q>CDy2ҋ+A<AEևh!/* 4rt j6&r}*AsquT2}4ɏNžtݺKLZ,^2l=2/Rv:I*ӄYb~B= tXNIOI@\Z:%K;$".~آ <BSJcf5J@$!|_Ank)rOEr-$ 5$O؈3 HZsnE>:fxIYfT!p.Ų.6R.{/.* Iliq&׾-q"{HFI /&b5xk_s̜l׉,^.: &q*gaF"#LHs\@9tG~p3:oIߚZH;3н47CFO@ zx/TXĞ~'z\1f[>}97<-$ސY-&/o _ ݯfvO0lHiRQC ]X(%߶@{ǖ1o[7aq]xm *78<56%qXf˱4I?}x,!G/rx>تVjOkzW} \ Q#y&On30W]э57ws,^-PyR╹o2bfYSM:bj N'M+vZS/|cKGi"O%T~s>c/M$YdmMҕQi@$ 9/[3!MK-s&KT Šk ⍤of=Xm?֗|p# c4j E%=7=!T$<b<(ggAgBMr~| 21ii1sg+r & KQ~bz̈́:봮ʤh[b$f,)0!ÆY{_GWщR:wNZQ."e'NiMK`ؔ^].ˣfmWNȥ=hu jVs-Эԟ! oI5fK[_9SJYJvuD1,[aSˆg'J8suPs1@-K -5=]{#ꆦ^ ppLKo{AdyW\"`'Yh^ut d :Ƿ ))-:#3}>#dw3'wj3WEUB^5 w~zbI;plX@ѳil93wfKH T7[(}2o )^f2% dA5~Zvϱn| 1yqze}0+wE+4DM`8a0!l5|g!;P#(|]H IJ1aC Co_Ot'mlk?׌ sJ<(y{a@%ޏEo'7*|ۊ)Ţ'7m}^I?Ip` '< \xgȭJIs:eiqmd]CFJwrV #*mJ~q+7c/Scap'"P,J dp4[TLhRw Mgmpe|qwX"8Gl Gf452 {Zg*CZtbyo!3d='U~,S A; ^δۃk!Ӈ9h}K|( Y]mg>6-aٕcXHoKs]"jmWOɎF,`~} 8u➸C8of$[bg> 2;y2wيTS˅: L8h;|fDuekr;Iߊô;=@a]('b2h(eIx[]|=@;Hpӎ w׷b)v),XlѥudC5|T'II|'W% Ln[oe )(dqbC" :$]2>G,!\v>8ƠvcZh BxyhAzJ.%solsf&6g]UO?-V ,CoGtۈ4Fi,_>.kX$f3 M})] ڽg2\|!+"˜xU7??nt2|Z{n2\>SibK 7-CK%!î*/e40)[1Ƚh 4.(dsu' >йO;eLSUKfP-sX+8#H=9S<5t%? ԳVsM$Xi</\t!ZA*ѭt6F1Eke'4!yʹf8TK@mO/b#E8SEu&s *}k;H@v]8qhDɾeƠG,^NeuK==&L|Ӗb} L5Mf6;CnUxLSp&S<8yMdijAˀd^@ͭ A<,Bdq?uq~M_|w5S.MU!9ԁ+ń=A)'~-WkČ`K}d&RSuPEkRċXԺZ*Ɂ@"{!^x#"~6䞫4+v~o=:ZAGhX bєY<֠©MnIAIa+2M66k̿6ҬJ[h$iWdHg)g . 24Ҹ8]dLqFfw>q0s=%Hcʵ{$s-B ]WrQ^ [Qlg;S* 6&[xKR8=C,6BGvt:sII}/u_x'-DZOKlά16߁l_4>n;F*3㢕P@>n}aôlõv:8u2Lcy.Hӂ}eBE+W!_-q褿aQsSsT@zQ}h΍7[VդEjy۶ kߩTҚ(p[)PSz=WSeX|7~v)vyN6hw&k6wJ|FP> ݫK@(͞ 0lF`L&|=(pf+>/c%M/(hlߋoMy)uifY6>$^{>B Z/0TP.mXtQ8-Q&]GCq E$ CݼX׻όetSSαxqPrep7N19a^Kse z z`঳tɗF<T8M?oG Ήyh@z!m' ]r6T]Y9 $^ 2#ܵȫF$kQ8%bX_s`./ 8U|\$%=Pټ<;D縪#6p F Krtt@&7 bIf٥ DWÞ 3PtlqD'jcbh5YCK|pO/kLlDN3/۲`7Qdkdas c[d_Enx>W}g^0K W^8fXc7puL-fv RűVͱ.j/6eIJ# &,I^yBV9=c%i\_`{!Y^ IMt]pe;k g/rZ [ X96˸SChgUYEYM+8%Mv+ޠe]wN"GKj PyL-l|tfRc2@(xU%C"0,R3Y6T.K,hc gBjCwŒ@ж ˣtүGmMG FdXD^fYv*x$8QOaA g4.w`D8y#ZfIn]#fWPB0=Ť-vdnH[+zmXq64؝9x'8˶sx~]!*Xa>ثɂü1>~\#؍{ñ -AwS˺i!@k-`OE0& VasH  Lv W"6l{Nj\jWߐC-ς<'uZ\Mb:6xwB |a+*ʀ[ڻ o"~$^_F%~zm^WG*AQRQhXqQ>]BޜlD`2!0jejKD18p /tOy!p (VnJ> &te,_ V%gW!^Hjr_@a:g 40~P0הS%:&_>?:jDž[zm&,-HcNvS'18TwJ|C^5,n3#p\܅Qwq[ *B WBɠjil=t_^ sgtdH-2l.R6o]#h@*1#b:W6݌gJVU?D&3za:7n,**LAO9oBt ]Q{o- ͷL ׵;vG~XWB6J|IN%BǾ]0̓NmrX**ʼt밸x1}F`mBkE(5-GUʌ$l1p10:!ƾ}?؜+|/F-p2W3Yf-哹^Q|9w[~%:ԂoT~wFI]s]E/x ̭6`]C&m ejC H'_4OّϨg$J1l |:ђ+Nmwh^oMaRƧQRX[MI.nLVef:F 4 ]WuۖPl8i @6%mHTOʦ, dgwVS/1}^@2n(Gs''ndưd 7.i6 +=w^1޲k2^~*fތl]Yhd1|!:0hG9$ UjY~2++JKӄv.c=3Vԫ,UM=l͈#[?m켜Pj?39BLG;h%<tj=;abe 卺s00 (7H҆s|6ySdt3olIpc.;"Γ'&nr)Kհ&ƫcyߝIR}9hf/L-u|'d T E(:Q OCu2?^_|i􊬨-Wuڮ-1[d}b}8ˠLU\0rrP3hAmy\jƲ/bwHy$:+ / /ci: 11/[TPo7BL\ԾeTŠ|މ;M~znapL͠ ׳.^dj:ga[A!~`g ȝf;7ˋbBR#Qk S~pZY\!eiFP~Ih+ <+5QN.ufPY$3ȥfvig!uJavhr̷ oܛ~:/A̦AI@y(xj!6ҵX#dQ%] o,)qdZ0a<+2q_<&&| zdj>@u'r)ވ#d]i$]~=mƮ҂ >ʽ.8`"k*NB!اD"RdWڣJ)ѮOlhN8 * >7-Į*9^pBwGl% E,|[vj?A{vG~BTE? lQUpz\AFsSq=Da'Y_՞As^w,i̦;~}XNhUf5eΣsh˞#NBz4VE>}HaJA0NnN.߮@6ਉ4҈֢><%e=kH/y4w8d͆ŗ\# ʔ&5}-]=>]6y-Grƨ4_nh"+?ɢ=p=޶NkBb~+䞥Y&*;".^hмc7 _ӌG;uK Je3S&?@>.KVHϣ9tU;c5l툫ZY+̆N?{C$V(Fd;0ߩRe2J PA1bsP}Z^ ѱxgX'7 PY%*Y|B2h# l7$wԫ9]%ZHҺcʪ3`L(Rdj]jơrӻ᩵ $?YiK&SvbHxK5ub_iZK7]|;'N/vu#e|ss:4ߝƞv?|h)V({uǓAH+֖V~䁇jqh+H}1AŦ5No. aq:%BQsh<4"qMlNc{݀Y[Ϩûo=[d68E̘$gGIvEeY|AFSYe/dT^,.x &JlV>o^>aǛy5g tX RU43 s-jvoXRD~"ַkk|JǢi \`ϼXRnƾdrlqAe+8е,_.d")i)P)&hUGdOT QEԀ%SHIwdWFF$}N1CCsi/H532s-g-0g"%Tz?0)oR[ =`Fqb5&z FlO/I'Z"m}-g&QtL<{E|@pobT;|5"l=cX/ i|&i-!5ұ +]xֈ =#:e{u>o ݳ JsA,so A')Pwk(TK2CF b4wL\ *=^A*f^IKQϿ+Enb 8 DYS݊MIL swWa,xƦ6{wE V}Rxp#$H&bp_=:P7p]CPe&b.$!Trɲ VV&J.U2>shy< } Dډ;F_ֹh0>Xv^%ϥT'7DgJ.(![ x4sn;չB]RR  Y5 O9])=6ȸ>qLxvBAvSUiTqRl;1_0A+!{W`Ѫ3 2 Ŕ9q5vpJ`Gzm&V`֟ঐ[ 6Xw!اfd`pQ;Z;R $&<@7E\%M!E T0g 3tq( g2wdP=R;]\A]oRNѷ.ARkh<[}k2T܌Q4IaY[Zivu*波W̶Ќe{(:#6"PlB#Sr:{n8~ٞX] `y cfePiRb um2?<sY5Zi0M0'36aЍC̺B5ЄE -*o;&^(j#;/`Тeڡ8R*WaĎtnWCL%'q`2NfWE;x]p#%n=mޢM8LS.na"|x[zWkJ21{hGG4}s x0=NB/:FʧMkCƂ 8) A\jR@ `ͪfyWvT?pe iEٍT.8ON'!t\ [E!*yvKMv&K}'u*]i)吪d=U6_n8ȼvk/em]Oc| BM$.-v?]ei(d̢ qĸ[J4QkBj+dn%ʬ|! C#(vm1et9}{/ ybx&LKPMm y'-C/W,)ˇd9uf׎ZՍq#xoF<8;-k<O\W?:||\8NAT9++mvNUe hGE6/T Wi|+o'bbyi`@7w6:0[f3^ѸGUh3?͵ڪtw5Ӗb3J$3!˄#Kw Wq](&Yh|o+Eq-^yNd־yNgR=C&4mgAuyC`S=rl8ec ;w:M2n:Qy8 xQkRC`C9."Agy꽺HU-{a^u*wkb8j/a&j`dk ZS?]acLAM@Jb8!h8Ms:lPpR#/e;uEgF hʝ""*wd#xݍP@+s+_FENx|$z:Z9BwzZPLZ)ԏuG(D" ٦ m3SLf]+^޹OB²kH !OGCtk,#8oq%ƘzXI! +i2QZ.Zmi䫻0T=p1E_?K~5ぼ[MqJ 탣bٌ(!T5݇ϙԅ@NqD܏F3)dtG}, A\cdy`Gz-$8=ÝjtvyuպEu!# po^O'f\}QBg@zM}%hA,JӴ7U&%`J  30b4jABuH[ sjZz}h}y7q4:-vXkBЇa$zK 2[!}“G{fy cMF =W͜Q "]لPj߂$L؛f׈f=H3 fV:\> ;Ycd1[3ETH~mҝۚnp'vpJh* -u=c Džhhb$%[#h[kpD9~+ \,0G8Zng]JG~>RB-Eyy>7iulYǔi W-3 5"2Q>v1;N"Y\V^b9 9g=&KEe)܁ˉoPRuJw #_"?g D@.9C}8,'1}L^,Y@¸pzAe||T#-ѸH I_ K^bJ >y;0p5,J.&Otolyrń{ y8ZJwªT$+RlCxb~jt)=Yg, ѻɕ_5;Y59F09.A:M v֏Դ;:L0IIMZ$Ka߹#O<\ ¼.բ`T#ęb8g{/3J@~V#Vӯw QI:9& ;+AB:T2%BZK!=[]U;Vuy$K N wNp[1NݜD椄1JU H KQk8CT=P=yxѻŨWADHGz^ԥ{em?` .{3[ ,DYtE䱮f{W5SRAm3~^"ijwi ޮgp74(ۮe6u\Xn" u~kdpJA? aYG_OHEkn |L ٙԨHYک6Pk! ½'GK(PYi뚂ް i&w7;q-uYmwN/G3(#%ΌAOB]Ni1f|]1[DdzHv'jKum8e㻇OLzaQ͙:D.pYPw{6#("`#ݥ{3]@|>kpЦ3P\ tR`$˞ oc.`䝴7 gN]ևO"Qc88ki:=1\GRC_$:zL7|L]Cs]BكM2Yw^rA Hi4g7bo@`#aF$`hk|YvуO:k.nVE{ab8.]I|$<JI>hfU!r;=t0ȩ_Jqr%~Wl#03/g0hvGO62hs@tWv|4S}4F ;Kkq#LڣWe;iqE}w<ٹTW+LIWЃYϪL^.xUT1<K77.OnU h*=IaѝN*A}6jN{.f,l0; u;D}'0oIbǝP8^5?"O49&w J#g># ؃羸jP1Yt4 8>M⚒} 6vY7h`5`ߎsVp(^E!Ωdl,T4hrdN/0;4( 칐QɈo0aͭȏqQ][DT6iꗤ=*zQLi Iؾ(2iϊ>ĸwt -?{sŚG\.T1dzE Oo$wdy[Jw-ԻK-3uN2k e# j.k؞d;R)׿ź6T1-kTMrYBcI7X738<+^jj\64s9-)%ٸj%Iy$":-H~Ma% @%5WIV$%A8p ƒ $M6tj3:?o}v$] #W0gO65> vxB/I!cP{Emk|T,;wi$«shSv("^ >16Cxj`wdDģ^UZ\qͼ1|A>{@9vB&G$6">\&IQvB<xOMbSyG?fпHu3Q$*9׃ gYZ4055275284e84d96f9b3400ed2a3b59533b21c38d9aab2f0eb07e313f7e1d8ac809bb79600fae4cd bedc0de0e02c39d3dd892b5a6a25063c7496d4250cf64e32480df7dfb3fee7db21a64167c2d71cda