SQLite format 3@ .;  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 $%~\ ]/]HOL-Analysis:threads=6elapsed=337.884cpu=1769.924gc=143.6327zXZִF! Y<]ŗXiɟW;g``ϐ #69wս9#ȶks\ em,%yppG0֪BHޒz[ . \5#,5r#h ү0++XM1B>ž `!G&UNL$̐QH4wbK )dX4).kRo<ĨMЪմ5A@ tUz74[Tpjԃ|r\#ϵbNOZ*^8F0fD-i.q߲<oVkֹFKY hS} Fی6Di6iZ7*JG Bz8ѮNJی+˧pY|S TbRvr?h$BKG-kJn;DYymj-"vsxX+};SV:o$L BP%$TkE7d9Or+g$! L7X?+g("qw0MxY|ZQN+'j ݚsT|`7ZI![Zwe$rN_s' 1߉ W~g?|l2GI1૲McnZyF[sjuM1/h?Zu|ͥ2u$@ZSA_ C$B4[K>''V [TU=P4dñCMo:ݷt9&lm'@%I`.,=q9تSˆ «<%^yF>nPCr\v[ {O}mCD|BDXGgpߡ zBҢL;Vt_Ydd;rd((4j Ym7񕬃96fa)]XЗXlF0Ҭ7̏G-<荶 Vf/J*;Y>60p%V( _E8 {5PEnxac5v8 =JgF(@X,׷Uksȇ o3Ƅ\Ηkgx)f^sȢ1DJZ@2PDs|orCMK.̙,K2 ;k" ͅ+?`oDsTwh428'o^?DmHWij67!:ᛥ$TR>v#Oꨛ*|sꁾP|'JTGպ1$=JƅP8K36`7+W\ v #j {O*.V}Bz.kQ=lל5Ǫ5ffj5M$> uy\TFc ծ8Ă@}%5OOz͞Xp3eaղ3m:)7tyuQ}D ADI8sG{#sϛ 8+|=M}QW4˷AX,=zPX܏1 zKdžOXMn.W`F4W@):&S$FTɠn\  q\ss+[vZ 6Ogu]SxdgA_5c(OyV&hDQ%i;q >9[9(%L,D%EM>mh w*}V8A1(XcFS?$Tpj^ *2 s ux}|;OUp  i%lٗIUI>ӕ{S!QiڴR'x1dg 41(G+\\QgB%w.Sb<{\(՗4c+w&(%_}B*Day·id'p[;*UCu[ hn#\I}&& SP0jR5#q~w_vFUa9TCtV6X^N2U Krx3 %E D߰}דʁ)UwcTaqD]U:Z&e!.  CA✻RzCBNƠ0fQbnZoG%ʕVMgh@†_磓58Kg[2,O^s&RV! Tld$F9yX]N_t`FV, <(p0JF~[!(*FKVےM8oC_{rkqȶ:4\$-I-^#h`>sM@eBDߢᰣ[7y²36@~N^/=m % HOL-Analysis  ^V`Xn񉨕<-8U9#V5,)V^ zE>} B}WT(WyÄiJ爛~z>0#+hIh,:0&+4œ%KqϐP 4VU L80C~O˿RYEC `&۩W(qzHGPms- mP'(}(D$"eMn"t\u$m!Yd+֛Rx]xVoR: ,x20t!R$EUu<#r2>nqpoW4DrK}#yvS.|cK;U޹b:l4"]w\Y'ntV~J-QR)^((ۤ r;rZ jxk.C <¶R,_;b(rF:u_Y2֯"\ ì 4v g̡c!RR(X-A<*m'v,i~3z,J _K1eWvZB&`Loltc z$hbw&ݒ_huȿYq%`o}DH.>vk6!~KbO圽,7YU[+&%"\"^b >T3mJ)h$fCq"DvԂ^E+7卤GV!Yr oP gp^psz]shMFB䴳aB :/:'+J3ͫe;mmiD=AMzͻUc6PM[d()f~&t8!H%BAc{r8? AZsHjz/-ᓾHzڠYJS\B9luV[u.&g#"=.U!(-yT+4V iQ&Y`Xѵ+bY u-I%>٣u~/&dDFJ{51y+!m]ybظz?4ezn'k F/})чA`N %_`?FSkO&$<#C:M$",` JcnzC!eȇ4b@"fgO"[>U;G5 ,ЮcfX=6P4ç{ /w8TۯpZ3CPA**t BcB~=Ҟ LAޅv3@N7sN}UU=E9ȘLQ9O`(L*5O<=Ս,Ȯ:\MA/w$7/rr!;7Fɶ□ ݜDNLUB pbM!$}7{H|#O!j ɧCK:5r`Lbx\fïnie|1EUEo -[8 7.a5Zܳ-cm=&Cd!chF++; *ŸB|H<ߧ1ˑ/%}.[ UɺĊ/x-qӮ5MV@dcovfh5~ **v 2HI,2,p-Rz0г"_j qgTGg'bI%woHg_^ js EǏt^5Wi'(8#SK6F]Y^_Ex_$ SJ]Ck䷴[FRwEΗ[14m#t|)zks`ņQT&U)!r}Lv_u|D1՘@osR^H!4sN G*9uW=L˚hK{⫕0II|9R1;OFvǫnNp`S0b2+Q\;֫ v1U[Ll)ߏ:X"3Q^_RJ͡HK k CR?T}p+bI &*Rqe_q`M@ \if4^%g<&+UgFF})D\.w7= p-4nɤ+Z\@<0 }cwHanAYn&(ud(``'s/k+H C?YJN,)6=Gxԯ};ZZQ`muxcY;zV2BXuӜiE6$+B4ӺQ0Q5wDm($ }P2GNI)3u- vzjWD履ղjA{4h+V>[*|j='gꦥeK֮y7"EOcNf9F~ؾw.]Ů҈̨*N_hDz*` 6%?3QW9F7#3CS0~.Nlĥ閭ULyFA>h7p{cZVw3Jj`³50Iq> {@cd+$'KȤv `$(3.pp퇄7ICmU"5g+$߽؅C38+C=GG-SEY!Ac<~ؓxGmZEDzrTK)R:<~sJdО-2d եo% &@/ )2yufUiF<l4SY1^ğa+3e?7SGk_rl =Uf%_Vyg}@Rʎ):!}RXK󣀏2uӧY{z.ZJǒtCW\$tAfk8>`ð0j^5tK\(g{!fC PH14ĩĞٽ^DZrƌUl&03],+~*j{Bw(csbHǾW7vk~%p51;ЮI+N0;h aih.;YeE|GٛeM)qb6cQYEjo,b5޹8iv^+^#?\)diKgg az6д/'A1L9 d+A`W h7*# `eXB=XQ^#/zm QXB (yaj+l]3bnrVK#~{"dp_$Lo'36@.B4Z,̟2.}0R7q _ shAJ)Y%OIίzuBs{c}W-x0c9Qm [M)E}?EGr| 6OD8VvdD܍/+$754A0q;-qu:CS-ؚ믍 &oCi>E\c@mE`?)$ӑõqO`}ޔ #BZupR?؞+g19Үǁ&kzTVDO!!akQ: C?g(Ɛz˿L%%.G\;V(;!ѹ6]:aG<\ |^x8+ Ymof򐡊6H)'@9{Zitه܍!Tf_Ӏˑ[MV=|xaotjv{>*=oY fEͷ~I5IFI״Q{4E؇AX0+ QŖ]~Gz.]U]`%CCS%VYP{)T,T$x4ɢܬu`g+;3HzB=i[9|#`['³FeϴV}_з]nehxslJ2Px\HSڨ^:D]Xf(3uiah8^$,KǼӟtD/n0%\$QiL\Y$$Q7phC# w&Cb'qI%o@􉐡ƦG0Z6J7.y zeK9׬+ %SIYkpJD?v%kU4! TcI6Z^Sq0Z3#Ly D"&~$׃J:O+>dDݪ h ưGգ9<4.ԥ9k_n?6fk(n!$w3 = e*Yl嬪x~V#M|ZHC*M3$ ¿K([4-WF4R碮TSڦr\Eۼ.^x"˱cVA0oˋDP*ճ? r{yl>@jHd+C+u]|fgoK>\KG*v/12 EBdP$x4Z4=]*IN`|ۮ3w5 8lC52ZD] ɗ]^˝K0Z }aJ8=%/ndCIY*~aUJЏC(vr>M#z TCo7C!. =b&:!aw#.u#(l2|qQGdM=*+gR4==!@H&Jɧҳ=3(=i>-AmXu^W&ʁ:t-;pf H*,QI%E2bitCڠ9\DNh` ߆ n 9ύo9ٖb)S&4-Se!F6<|4Jǎ[OD2Ph*._בFY}ȚRnթ'JUt(c7LD_+q&_~Mor--HXnHiCz,nЬFD([[O!FFVwէ<]Jۆ.qG>H@zb,rEdO9[)yeRHF bܵ;|R^iNpZ߂Za廸3sGǡp&|:H4 iԆS{(wtJRHƇWnyThUkEwI0A~ #Z}a;ї f 3 E Jc^& !2W edQ]{j` ]z|ZЧ\t|Ǻեc4v +oYr8oS#_KċKjNܺjn}D2!f0coӢCd*Kc#8 WHtzԌTa1yfI\ƔsmM.r@5IwX6Pi^X! >{w]tՓ:HM 0ŐP:?MU;[@;i ͢Zޣ#y:5FrwLHJe~4bS.UBg8-l,ƣ߸cQ@Cq'kF1$dѪ>ى/>6E%"ywXhq*Ѓ@w7r `7"Np< M!~ixH?n3fbmȡ$Ym:`Q'ޙ[l2;12oDi`'RFOsoL RN626s6 X4vMՕkTцu_m/C_smf6zqC<:n{C1pn1-yEᕋN?զS=0LϚE^]68u{& `HJs#X[8ߡ)PEVM-:QOGCK d(Sa-MtEA{GŊz%El&ۛ~&'}j}o@ޚN0~Om<ڣ!Ofԩi`2T#4Ť P&]׋,*B2v0BU?6cmcIR:OBN^>:NcJg仯Gz!MWKaOTs7ߏ (k^7_r֘ə75? At8$'/$4=Q\7.;Jb~7.S10=@[7-tzKw{VW2ɣxh<\V* cRA2 L\@ҵB9׋֖;Vx auB(!~ C{H_Ԃd(bO ~/S%g&O;췻1l@8ݠ_-t>g?b_~ *L3'LY}Udʯ˚k 1T*nҍ俅6blS ͻ0:q+iMd;s mt&|P>U(``&;[C^fgE[z,,NPE {M}8RT f3R{׷($; 1X4nYqYrG?נt>BO~4ͳ+Bg }aiſ4sRN2j|HC,K+|1@nԕoaPi õor(uF @-c0wq ,4αQ."~6*m+P{uO TOuفNve=q9+JG<@;TkT$5RXKF(R9b sRI7ib0Q#ya-5?钛7fmm}޷Y6\ &/6+GTfEy9.1I Ii o)Ea01^zpV cnNMq^s, *Maz)_Va_l~ãZmJ=|,yW ܦЂ-=p% -sPde3eeҢWZ[N,hbAT`K xum$wꈃ2\`7rm7C?*s}c7n@hYG^0#Hk!KƋ$`efHdBS%99vp C6"e93YF7Q0:e_]8mLOfzUؒ!cfn~>Aa SvxrEyHiV2Ϯ.FdgZ-<6%#N˫"aH6c])=epder^yNa{k˒pWVƋ+L#@W`P 1jMό)~S?iuq0Xy4ǏlZO ݹcH׫rzdMEǹ G`&R0Gp T 뭓* E=zXѧfx5KZ .fJ_Ԝr/FIy1JH 3C\r4҂۴]%d4!i@)6 Z~ /jE&۶?tKd7=mﭨK+ tgXQt"@BC2mm?Ք.;m{2Wsv o֠xTgHM$ 2vJ(D7՟q03t(09(4yHg_⅑ ]17S3ͯeAhPBNqx5#w+MJ*xl7 ^'e^i;ҡ׫_\_*901MA91/$̪w5 }q0sYvhxtR9e2X.޾DLjl ͼ ؆?Q'am@fهvw?TtvM!grɡgV\ScpnSqP!#BXf_]e!T.}Y^عu dalyOǐlpzu4;uBegGr]9;\FQPa8Ө4͑]+?GG(^!5{:Smﷇo6r=(|vᏭޛ-|¿z{p0 WҾ.MI_ }iUa<"=/=9BÁU \upH7l՞{e^MMeh@e֭jWjc'Qq g 露xnGgXn;USF 0EU ' MvU %W9`뇬mQ'-kj۴ 4Ѹľ| h'扷Zl{V.^d!O%IpH9.Ig0 9vp *tnak0J2TU DKbŲ&o#t; Rp)$9 ʝ6ol+Q ׍Te:\p]``QWbFHsa2xѥ0UY;2*V8&N0'$5Fm%YT:.z>٫zKD &EњX7(ʤ t}#(/Kej˞/V.``l I]PއFd圞s7M/wr39ƪ7p}ȍf AN icTZgOeR 8+>6A+k1ya;]'.wCzSO7f2WuT =Cšl/?OsYr~a͠ùq 7\T=$[WBi$ ΁B;pU] 2jK= J~;t h{VdaAx4dņzݔ%E:ɋDvhpGF/Zu4٘5ME;I0szTzrS+"'=3RT@k@̧(C TJ3 kt6uf Kâ_}J166S2hJGt O@s:wj;92j;?=l"XD#7}F"\ɅX}B9яaS+5N9^ojd#4y냾wpǬ ~QCFPXMՓO`1T^KrW ]:@/𿧫 E3$jfr`4R.EP^Uf!*iӛ]=ug2VEHJaުX(|$Ur;eKfNeNY%E[1M$o&GS2<=muO2@,]V*3m4a<5Rq~vFL`r4RjO wSIjCvGeevƇ=μArP&)E8q; KP,:1>~I-`#)(P$89VtClr;>F!,wH!QFH^V!m+DsV`;%97AaMd}풚AI/|`0{?߮F9Opd1cvr:|1?E:ϿsbEc9]@-7o1u q|7Tِ[1Y-3h2D.AB"=?] &"-杕9tI͵Wܝ6]&8'1~3.m6d/=8`p,局;U.c,vOϨU$"3', Jd=X6 (_ nF;CiFd~L7!mֺ?G!۾ ~ LRk" F p@c>GQǃrqnʀmMzH}`qы;;UNCb|HEעxapDdvq$&K' xRƩ00BlukETS2Gn[sGi)Ŵ\Xb#Qjg.anSscfE7 i %P^8 *Hю= c|mlhb| y*Cy)um+$eF*ԅmLkia? .kJnZ?bRiJ ̠=9T~uу Jw#NdM5t;[we`u4m&ctC(O 9 >%ʛ\5<֪yA.S7V>xj_>}ZtUu%WGٚosM;7?먚5h> 6Utbu@b[||:w$2w=42L#Ea 7q i~g&O̷7dy |[9̗k"ؠ4WyR%-)(kASY^6n$O$'Aՠ|f#RO? sӏNj ,9cTSXcz2U(4uH#")0qfֈQhg~QP1Ѿ?]bf ^揙BEH{lUϻby LYU8R~A)Ba(~B1^h$g ~BeZ~F6PQXaVK?'cxǎ:AJB\H c dF/?ʼnkX ^RWݮ'"F CP`TRa Cę3: 7y "J!7|⣫=m+<'!;`SV,iHymrV_B9hY Α7*YRM#&g7:_3/*?q=`-N QvǚmΔP" [F ӏ>4u2d08N6 ,E fJw vŁHg3` ?hĬ:4茋g ω Xn3N]ß3P\C#(c)xbmPGPQZ_LTQFts&=^[P=#{&,-'!{ u9+x,{aRPtQv7J[Qls`^mboٷ\ך4[]:*s9fF9sRWBG\<LF&aFDF)YW8ا;Z6?bsWeDŨT T;Vʟ# Gբ=b3R܆T>i\}nޤyek>$606^aHeAfale=e6 2:޻N| Ӄ SՒ|ʝe,~6|Ű}Y?œ-OKypBpLF=FsByv1e]Elvƚݡ64 M858C PX3X0FyZwe% QADŽ^qb?}͛ja6N e!gt1 $u:X2&VD-Bc epMT="^㸰K>(J U„?1CO؊}\bjjƥPU#C9TK[ITAjw<{Gͳ'5s<]̤]pg᱋g2G%N(]gtPUCIE+],}h=Ys,s\ae¬4Ī#Q= _6}V:UTu4<Ԭou׳+ސm NwQkð "Y 㽊XyX&-9: dFxǐ3棐h#SkzcebFU웉6֚f gzy-*a}; !R/]{Ow3=Cmkzf}p,7UzI-}@l6俧o4J$iET<4gM|m~Ўf_ߣͣq5dq`g%Vi!MdAU5SHMI _`=ǑS Zk5SNkT?uՅdUJE樒hk;U9ũ v.MNrd,PB(H]|6=.iO[*Xǟ~>v==gdSvK-! Qh Nn,^Ŧ8U[a$63)%7[_ F2ʦk%b嶶mKSkj~xS?_1ҿkԹq~ikV6J%4P=PNLr^w;OKKoRc w0 )dfʥ'jD QWHXt"bw699.fh"] ~4[lܐFӽb? JqZK 6<6D.Ta)iӧh \AvePIĘ|Wr_-X`Z=Ԕ5JKSYf 7^3THƌ + ԓUDˁ>"|WfbR0:'vL 娕"zy[WCpờh@ xDDj)$]pba~k6&Ɨv`o0X`$ÂObub".=*s 6w[.W;FKS,|-o|J8nTl`YΡ{`>#e*+m41W>z|s#_Ep*Ȧ(~}lBn(Ñh>0 )y)^?׈V_Ujf"ý̰i~Y,=Bw}}aĸH: )zh hOgE&,8=o鰸?"b59ý>'~NPkV jTHKJsLL'.(|2l·P\`^[T#]08Ҽ}+GJs2ˬs*!Z=#^uOrEtS؈sEd*O|9j{&ЌӏT{'ʆ40OL:oxOe[,ǔV!f)H㠴Tbx،A:#l~X&[5{'3E T0زї0%@gYZ7zXZִF! ( ']ŗXiɟ1˦r!cHkMeBd4*%4%hnnˤ 6PR*;.y728^S0<ܠ-(Nt"{7Nø cǛ `XkWA쇨 3o&_9fj~ɷ1.Of6ݱ~Ct ,ZB#Ghno9x֘%e =-*֐:/33~`&{-P)J\5 UVbxj''m_ q \LS*$ZX ;kNϣ<|8O25ʻ.aZQƏ޽8OUG$( af2}z13bt@9ȫȈ0^ 4jGTɂ}AzodѺ?w* YB_:PDy}8zv2=9_6gn>l;p13D-Kgl i(~G/>eHGX)H~ӯd_qV^u=|hQ=RYz;k@ ?6,A8;:KxCF;\[YŒaC;oB"Jl1! coM^0wV  Bɾ@?)ݦm7R#u'hyq驥h} \j0L|*jBg5?{5Afu qJt%2;Tqehͱ+T(C/Q-Z;]Q$v(Cd&%pG{梴Y +vNĽԕ@#-|8TEƥUmT!"lF4aZ:K.rkC z^uicd,Zz{a;Kpn2(23pC7*?֖ꦱ7mz}m<qԶ.7yb:,zIM8di8qYXblX\2$?Z2Srp'ivd #Cyd9r&o͈ $: mv"'nL w (} 6qfAZՒŠ:}NUwDEHL<:D;K6Z P򱲓pgv +sb; 8hCyFx:nͦ~8H4NJ[UA0i{=D'`! |ۈPM^+](2l]RK&W4njB7(pj8 ?d%Tji" ;Ǹ&V'4I΃ե)WT$}EF8Vw:&cj{ω 3J %4I"h}ۛm0 cs|ɠUXeT wt1z/+RavƝn) xRޠ )Xnj-y- .#i6g`41N7cZp(I;If[4f}$޹/H#(=BWETwQ󪭓h7hzſك|TP!Aݵ$w􂨹sWj@|mmEZQ i;L\}$6b}Pg:o rД NS}\ !3: IL>Q5PhDuhSOݫ$i"ABĚpet4. Z H2K2DCc:5ImYV3p;"B H3/Ňo _Z.P$䲱gYZ7zXZִF! p]ŗXi%L(hRuujU4bImC[[e^Z <٦g#tn@r {u݊@Rw ^҇uBmG>ř؞}6 ^EcT9=,wƋM|ڏSdL5%CJM׷ĭ]£ebfCǨMjŏ>a/*=7 e ʝxaҦNL=zM^d`z?)YU9mwdV&-11ڶc³U%uhW렁H+a( 8\Q50vc>̲q2s_{uF6' WW}<੼D黇Xv7pf`^ssi5ո?ȋ>0ȱ=^[nh^RR;zU? qp&:6z 3 %J+dCzeAjnie=xA#4[V s)Ir+An4!W8v߳CʕtJ dt0Fc!#+ґ\Y:k @O~xMsN78㰄t2Hښ@L4ֹhUBRp4(yK۷.p_FjnJZ}YZBdY7DB̘6)#DcJsFX+bn_Kle&G)iE j,"Ce>v]φxÐx]_TɎ9k<=HZC <ת0Q;I`܀r" kfh5_+ ɋg05oڀiVe)N*ױGntU;SDK12 ˶[ ٹ`peBy)+ߐsk+L(og\!Q_8ӆml4k,liahY YN,Em%6]gĄ߶W?3>5%1R VN :5 L&gjÔ_a`L{^WX ߱: Ԕ*PT %"q8+FXEԱ~z{ /՞n4neTNyY4xAw#18o! cw S?Aji74;En:w>U O.*ʑTn V.k4Qw4yۓ$Ae/)lT](mwϠ\;H ⠼1A z~^}!`6~ M8. |;}yLͅ|g)WXyzH, .s?qgօlwEozI%&Kr>tSY;Yb3t٥/!P8ѩ2`[ꉆijNY:C/ʃ6R)FѼ/qRlGআ8rV .p ́l,y] r_:rgOKM.8 _faV_@B_ (̌nG.:@`~|}L٭S/z]$I$yx\TeZ[!HJIP}h"` I94M;G8Z"t D2I\)\Ut`Bj eEpm,$2e0Hq^lQ q!Gi5wfvD9i Z!f*-Hfvuq5AF:f>7A׀j?+~*U-/"'gPt֤͞|*>߷5 W(f!wVb_3! lڷ:6?N8Z+fw<4h ,F;1&nᯢ倄!#}7D:5"mЀ:. -<9Ea(KNjcD|s76jPO*Ek@Tn33WtL"6 =)p",eJ$ V|hGK7L9"}/[gFJ)sl @.;:?oSի- ,eTsV{l' o9 jnfF1hH߻rDahk~W8l!4&B"pbyOy.L!aR R@(Mȇ*M>O8x+ <4žDT-'xd2%;7}7b);Ax]AƹX"[iVM Eta Z)﫨'𶷧Ti[ʇV/Og7 #bC4E!9#jc7L"3S'W2ۯDN4s'3j˩Wa FD~(UKӯM6d9 &Py~9vAeZ.gbA& xkm2x<6%uF\S +%l%G +qAt^h\o6TXo0:9p|K7MĒq}ս`LwdYk&®r/mXցbr_<ݢ #Kg֊_IPx6  a7v,9tyjOJxR|vśi4iOpe,?R< tbŸ.Jm/^7 !`Dex;o+ o8$ܭ+^-ZpOzX_u()J'RNF832ToeLӹߝ֨/f _!5Y3"kTrd8 \g)Ԟ09\D KW?qkBEmLl}("TMs[a-dp; kɾuet.ճ-`4[ UT,QX&K(0.@lJX0`P.$kPՙ]`=T4R'00Ǟx؃]~8?f0sf(QIm,FǟlGaЎ==b\#|t ~c3 tNu5ǂ5x !S>&[Qr17tz2'ԖN5/qQr<}ʇe j|[L"-1]EwL*-nB(ds>>}HĚ5>x@>$H%rŋ8A87dEC%iWp6{lf_A4]-HbzoW V>pLF#A=yhIni{T*:ѳnG/XJIJvKƶYMƴW6tˎ%{icd`]TvυOIN?gS}+ `xTZ/zuNiqN,og.܅Z _$X3O0fPg?qF  ;"׭?t\4hI0Ya65y5 1^:/^bM5 3X=Fe o ס.ᐈ7 ٢}a}tp 'ɊϗJdWcfGzP :5EM(C b9:?^d Ǖ@^9jHMʰIFE:Kۙ11{PXB$Í%3wcBT|LTZEh%d^ˊmB=(HVmMCsַ֛QFt }mqSPK #2>BiSJ+uWr?E'ޛ2 iXx-oMsPk)=ݨQ"۬׏?Zv}?D֬.n'-geS.թV7q@Ǝi_^7$at5vfR' j ąH5[%zBB_Ó*&F &20*wP [ ;XIֲ˱gPܮLpJt%O.%>G̟/g$#'\'i*` :B)Ĕ[Qz߽ac`_vp=:?q'g磺fB#MTMjA$t5}o,~uC +RG-Ж"DV~FT`_Hֲ_b<0<;\SxDs#߅0 |/[ônH6jβu%F? Ӈw4lF=NRz޶NÐT}8&-duZH!w߱=q;(`f2h3 {Q@>&eP򄑌 *i5[D ފRjm1l9vo/=D t5'.#Krm_mf0yo$:!iZmrd2:%67p/hAI] ZGXoM`}"^MM̉-x:U(5͎H\R ;.] o%1\;ܿɌs/s1-ds`X.Ȫ8 buN\M~vR*JA{##+ *EWSL0jSd[V_jrs)7{pI{d1d_`zĆɫv:8zoN-`6!˜45lpQjG3#6T+i0(qv?kUΉJ4,i"Vz,5T{:ݵAt`b wJ`ѫBQIN@\=8کq!ŇQ͵F .Q\78( r Q=^o#i1(;x_IuC }gR+E$4b0*y-/ W%:J bTk c,u*Z1D8͑ X=-eWm|jaFW :m$QǚzDs󱠋6ģOS֡ l#Vux9sZd=omqy; EsEFmdvpF6$Lx>76ˀL`%岼lTjXtL/0$ыŮ2i8ڳEK7Rg z%\ tMȶdŸLgYPv!\EffPuHWJ:j+K[tc]6P`*+s'=?Pn\WlQ R$,e+T S ۳)``=jヿVݑ 1).Ql)"gG; BSV &Vp\7 ف'y|~xr^/kVd%k\{gGs,Z3R7k{_!6? _  %. {mo{a a8[ރ7[YSShqWmDۻh2S9'P`9VbxvNk[RgHQRwD4|X%O5fёUb0@vQgECLLay"C~Thxm Df;KvW6؅,zsexbY~RO?o֗N_$ah;uz'Yu;4Xr O' >,kWk_,fd oOhp m1]q]L-\י\)a#}h6 ݟOC7TQ-<Hyx-SZ+4S#)pW|In |pT+޶=| dŚ-vgtaFYȤqRI +;@uWycB$U.Mn"#r' lZ=?#ʍ`E hڟ414Vf(t\@ksKQW[PYB.0O{Z3Ez4zţ=8`@I(< tF7d؛#Jx%;})$noA*7(`+XNYUKv-caĮ0Ot'@:V.pa`)-pk^Ϧu# M^fMpMŠ2=\}vG+SN Pe5lWW?//:jjT0ڤ2A+JwH_4.GmAȽXJ鰘oMѲ^2/XQiYitwYl ԂW9B̳Tru&x}9 պH R`i]W @=QoNQ:ƐAG<Ʊ%XLvU-] wHn&H+KX~ FlߒIZzy=_%q/+_ܟ_@ >zVq%^N*px`xYW'xWs؋zM}VU7Zsu}ѹ]PDP.#Kj:?/{-ʐ]=IO`k-Z x-}'ZH js3\Gd`œm4{vsy21g G] K8Y<r$IRe:pkf_Jy,_ɨcJ΀NQTM?͵7Iy'K#8a}A'5|cN{QB`o>[ *Uov^- 2e4wFۈĺ~b :XG1?}*/.Vᒎ9!Y4"ވ?(MsU%("8ǕpS\0d zm $&dnk3 Y.F7"8Ǟ )ôQd7Jv?`RQPG{m%ٰ^2|ÒPԏ9 s?HiYCIUspFJW}"ݣ l>;#\4}K9$@װ{Qsؔ|OH`-A44C_V3O\_{>,w|&Ɂǫ#Ui:Cʣ@oҝU{'4|yz˵ Eq0IH% } @,'([f+~!$}B فj.ɒ,-V8CPI'7Ƕx(_(+5K쩪\ Jq^9 ]Ǎ6Zs8h$u&'mv#B EfWm UfBTh"m݃A鿘Y؄Q^e2[Rڏv?ˎA=xƖC # rƼ"> 62L{~R4k <&ozi]^7Z[*5Dtj( LR Ƣot|{bHǠ&.@/WQbl8mLWg`F{) LarCW|[FSe+!{̳qBi:X>9MUSnI4dd9۲h()<2vRn>sKaO,dDq"U#[R-_hKlyeKr/21I2?Vi<]ŤC9J|ADGzM_O SϽ%Zc߸1XHxq1zJ -Y?=QдEZ79՛K>xSJ'n $aT:RijI~=-wւ(*^qNYp܉%dkd "zJ!7R\ۆm⟗kRyi)vt* C^{fV) z_Qx+ndDz,HOF NƾEׂ)gFJe.4jƀVE!NNxm|s2ロ @7V2QŐP9mLmHyDʱqa[ ]; v^ r5[~_߳͟h|uL"2&"$c5 R*:Jfr;Qޭ,ӛ}VJ*Ua!."Lu#M9aZԻ4lj/܅$ Y^j .~R7e?pN^'zIܮ#%^ɽ |ȋ vx]ejȷ?̏1Nm") _9g2mS` @O+k,U_l]w;kwl r@ O$v i6J\!x^u!t>I.)ΡEi<* ;5YEqH _E$Ua*P<*aU[|D|E/P=6z84r0R~[ NE< LV{r<5 6krinۼCFFkv46GObת f?L <4ay4'9a"f:N/2&s~󐳙{K%FG'2Eoȉ)#]M߼uf#t~tDc~G%xm' L(jmi&z;]M+&b‡~/A>3y9KU 3Y}UG1 i XI'#ow!.m%;S*)}ʠ_ ūQJ 5? 8M,(TFm,<LOf {xo;vbluKdjxݺfr Bt8{%<ܕYoO2x)Fo6, ?y 5F.XB,2ؑ>e5S_,,#^3X]kFXޒdU;F tċI%*u&#%s ?92=@[Dߪ> !~l1-lgtAS*QSٕzܞ8&]1 ҍo BEvȖ7E58$GƤHxz.~E^2H 7AiRϠM۔b^$hNs@7A0+/ɀѧɐ8P -upX"Ɋ/4*@"-b) m˟ =$;GnR;@#0?M;OA劦 7̿$&vp nveT|nTn ԅH3&8-l"˒lj"Bt#Y>K.A q97z-֩]/n. L%b10Z^RZ Ԝekc'4e:Zw0[t3XV|JI()ϭXیap@~Oo-FL!E7 'uOHbɁaV仝 JeDPK?׽kᖗʡ38ݡ2D +jю-n!bP>…#RZ%mihP;)™mu&ů,Wۤ )+`mZ=>^8^a\Ow' ̰zl][ő-џL2N!?lF$@oețmva}7Il9y7U)ZQKvs#[R/3oLz,3떤9I95t`5N?E(X曒,Jʧ]+e OH~'р' -R~^0Dh#ҝo:jFaFړBlZ󅄹ezI\ռZ8PQDawQBOR ꇫ啜@Ki,*OM.51ٹ<_rK6-i B3(֧WWL x@2.ly"D#T;^3Ԇ$ߡ7|2`cyjϼ{RJ=@ gbKzlDSʌ;s `%27KcI?쵝hObcX[~jOObf72 iCUz[ īB @:[nὅRמ0_HT9`63pD Xu6 gфO[ wCNh heiz+|xp %:K+.;%"ҞxiVvVU% b\|"x476+3fkg/)1>WuC8H3c𫯈<(R@&jE@l>뎌G[Aj!6ƂZ81RFrL(lB?=Ύ=JG`.%^翘SX&*|EM46rǵg M,Itjw@\!_y[>Acxg=Jd# _I5*?·u,B3ا&)=loBe_@BNjzQ?m%ͶqKĒxXIȅ5$ z%Ša ?)lV+jрn"+ebuC_e _tZH,O 10t܉fiC 0rM4AJ$KYҹ$-NX(d4ƑRѺ.~,:a\gkT . M6mpLя&ay£P"JhsZEl =˵'z5^ וQ?K퍚Y:vׯB/2J*C$E1w\a9fHiḡZr&v+'3 ؊6{P"cwtcC?v+n8+d_2pe3mL;Ǒժ* ?Nlv}\P2 褎JyI teJl DYMĄVeXaë ˬ_qOY:m`;!Rue015E,Mpb2(BQVn=OTx!2c!6 #m#Np~5d5H L7t0 ,7N~fۡ PZndq6Y_%nAҴ#DU`ܙzgTVY9nOv$'wL9Q]hNJz1Ɛe;JUB)+ؽޣ ]\-یۺ{߲vFVp%4gUMgIuh" jTUAy.``)莕AJxX]=S<۟M vo$++h+Bo_3, lA˞@968`+_@GXDZmnN q*3]#}}7sO_:<-ي4fT5iyzb&!eoBjĀ!6lCیu~YW;6E+E_bULSMvn*Ҽ܂+|zNЪyиf `o >$&aZ%G/"Dޜxha68$к8xڑHܲj[n&D/YTg6X$̓)UB\x_+aL7V_w^wA^@Gdu:۔`{(鉻Q~*G$0$|] 09hGـ|9G=?M#? *-%px gpOE-Q]u!V6+f4ոYh`b;cRowޒ7,z绗hNwltUOlR<맵667܀hꁋ|(UQU9] aKO`'g3ljXu:}b>cT)׶-"+u.}b+)#ӗA:o*Ki&eH_ .?:qVT u, Hws$i_L?chܐ'GOLIN 11XpMy|ǁmG!F,JLOdm먿_?+sLI*nG 0s_^R=u`hVkmm Ϧj+3I J4]R"c|6J7wHSBJ}^!1U% Wo)[ftNˎ&ʼn ƯHQRCK ;LZQ[Ê/>ssK((Ȃ  6]^CTa3?5uhz'aه! 2*xɀ'JɎl+gVUxƋ' ~)X|k MO]RΈfk  a!G#<ݘ4u@:ˡHrnK=ǟ`Zu)-c%LƬ܎5h.MKgjɥ C-KJKDIY}!5B&^08~<Ԁ ŀa~f٥ V˔L;b& wLeM2lPpJU㧎'R:RU[yȥ.OOEGB*v}߲~0W| OϬL|.[ޜ hS0z{&M=̝G2Qr[#1aLjcr,Kr2ocϫ&io| /(a\ \U5n_-fexp, D$>?Qi]jfk{s}Hu5) ! E<2.: %! 9Z1z+ն}i%p=ya/Je8 X`(HQP}QKzm- s3C\[VT]~b@@'a(cm>4F+=ŀ|PjO vpZ>I οlxt\So+i/*V}NSʵ7=M8j$RA][ƷcqИRn`_XarS(}/T=Z^cm/N0-z;<$W&Z,/))N\}-f]V#yr1ՄS:~0_SP`C I"m^TGn$ծ^1Lp)euݾ-yKl2D.Lŝ2W(XR&^* T_tD#{C B&IuːW5̻oU6NSO]FvGt O7"$u{)'U1paZק[ݶau~|b m͐xv,6Als+%x7߄9脴㔄u O#B,AnN+$^`,WW4z$\tśߴ,VUK+H(_ k̶"F:.itX5E.cKuN}HX 8'.\w[PH|vąE d=vߚM9'Ax/k+d>sf@L657,}I3y_SxE٭d7:T(ѝrmMzyA9(W4huLGx\!hOʈE&ԻQh@H[1bwN·wx;'%IFgk< `W@*l[2#G'3T&L~)oC+0 (Sǥ^H+ i@ZMOs0a[kNx \w2kGÆ*Co8O'';Qƫ%/!Erb6 *l -qu8 RezY>ؼI6MI(xn!P t7fH5ȨI[DbB<.S7 .> c,{1cu"˫a#{;|HUw4v$R|x!P')nQz$q.^{%|BIttkMgz_/"n.r({Xg5_lj(ѧ~ l/J8x%墶؈Kg1tQ ԟ]\\R K(1[Π A魔@1sÍPJ hm~WM ְcByIg+@t|l%Diw٫ovx%ĜpCAex$}J'I.8`բT}e?̦T'P]# 3҅4IQq|]F:F(0G9myZUc¸VO`o|·X`!E'ThH^?M(= [Oqm@#*׊kSi} nZ{T) SPCu,wg›m0P[|s:ߣu3H!׭ˊ;#Fܤ)QC>BFMF oUlBǒu읊8 ů3,(Ps4y~AIYp){ߤӲZ}^[#4+p/381AWP(p fǩ+:cpEi zob2*w9"lpG,8%bY<90˳5fkj-R2ډGTS¯SW»*N٤վjߎ(_˨wڂS)V-4tF޷ZRpΚ aZ$̶O9P+ nPu<ԝ'efj>'%FNVCH" 2, }\Ƭ -2݁by.|ng,cBzMN-GIHdc.qlI^NL1ĐrfQ \©Z~>[]7lR%+1%=|6K]E!<ʺь|NE!(UXoM8zɡY/W-:ݟqi}6 ^c H1X9&_KuY$;ⱽF WyB~ ChЦk-׉eX#M?SEn\ 1KnP9>Q2 s~`e(PBx_!6.- z6 %jdk6Aagw,ېi\7WyGTA>XK{[kEM2 w=`ry*pإie: / AY}7B9Ea|ĵ,9W}1 ]_J͠!ht ʢ@a+H:3%w5O/iHCA89[\'[$hG bDs1P~y:M#" .i刡f/EN'vF0+;LKuZ*zMSY#}C ]>Ѷe/)%u5h (n+>HՍu\NlPiU?s*2Z <v (O8:Rb$[r,ċz B 0ϻ$ꅨu9W#2e^{ު|m~2?$hmHk7yayW#B$q5_5 #^^L|Q2@nD.|'׳=a[fTC -U$i:T`V{LOZDpSR\H0WЗ,I#46:{dg|CR`ZLG`H/2[ڏ!wϔXӘV} oGh$j#wC<]wW s6H4K*D ECׂwI1#L\ԺŞE!Ɨ(Őϲ&?v{u*Sl&4>leLJ=w糧VCm%@: |uo+We.J=0UJ ͛4msmrg~4xMy':Mݵ/B($;ѕ6왵$&іI'f7N |"%[G3_D%nJ@bgw0 QE^%ehRZG\yb%e.pD&B A[.[ᎉtjl~!6.Ny)[a5roWWשz9\m { kL&tg/wB M?`U:ccLN,D:~~%wbH5qDVzl {d GSS$,58,ړ šl,Bl`灚a:T,T73EAϠq …b5 նEq kxZJ4+rpy0a?{&ŀf+<ّ*yaFE>sE:5nIݴFjxJKj^s"Q? Fjrgf6/PM\ܿ~Ԝ;^DZFvSU$ޑ[H#څ#jfK`{>(!OY q\]p*PL9`^*NVJ=h)ȩ6ܤP~% ta O"hڳj>6R}hSvpZb&^ -0 z/7 ݎ%T7(AQ +LERi )ċ$/ebusw4L-ޔQ _{Qިi5l  ryY8b2.q`QR;TxZOW_*`>sn|܈a}Ķ( jjT2@pjJ[7 LTjc`[-<z|za,GbS"5*}^c\(TCݿ x"m{5&j[h!Ө 6'Y5 Ȱ @5R|?j孠Ex( )bUݭ6?ǻ.lr mj by }b]'\Ő*DƔROgm֌=r^YO1Tz9;5\[ĕhfA#. rH#D@4DʜVV ֊B{ R9qU`0~i ŘIeyctxa*Ź"Xs qeN^d& J!eF4ᩉX >IWCgU|-ǭrC9i*-Cd\te_U1 7C$\0'BnɀƑ$|ɂG ڏ :V h~Mki)}B+msȞ|wx&Ntl-N8z9US&ZY>z֎%-Exk)S,oEO$L@vp_uZRRFk  ƳzJY99 @!ia%Y 0>-[?mFJH-R)}ylj;` 䎴+U#D_9=Tmsf˖Ux(@gMt {إ9$>}A/K5  .4kϗ_v mrbK`֔t*3@c4!SP&hJ}LԟeMIl&O+o3,~u4Bl${hXv/(G*DD6 ;G/2ABs» oprԍrU)i4EɊ8Wq3R*Y@܇_q xMU v|Aݫers|hdgYaq:*K  }`LRbG,H~{n2z3vħAo ,EW!s(Yxɋܳsi9S_톘X?~ ϱ)CrAf_@qE> b"x!K3wGVN„x+A3i*̳ DY[oὂ+R@%*:P6SalWnI^%mEfNZQ]n kQ A.P0ҟTy3f+bVa;KAJNlj ~~8[uv(j'P?Qsk ~>JƹF9U"Sii$Ѿ A0LJVmШ&Dl\e/V:NU_#wPY  쟖$= DnC0=]ŧϪJmM*@FVBOݛ >iTHOz8#jۣ\"3x)S%={v(  !V=(Yilr\cme/hkF"q*z@ȉiXv^j`b&c8NqIH9@Nsb!)zY{(`60OP$?A\[Ӄ-AʽX]dWYզ+Dchv8%SZ 5b@]||HfH`o98NIhk .){ zV .).yytSJ8<)\#&G,7rX:FPdG7mQ,0YP&6m<4*h%V9p lz}sp 4~L 8.dCG=DwfØN5&8aK i(ۇ8cmرEE ?ٞ<-s.A[-xl3.3)VnsD _] ]Ⱥᔙ% bD3f4SxdmwJ2ӝaO;++j%?$f0&iھ'm; [yر{RDx뱸DZPͳjMKw靆Ӟsopʒ-4ro1 1Cކp|Z Ry$f'5|f&|>~d|3sS0VxR=0A$12=̪ǿ"Iwb̭ƋQ!4;SQhV&fI㥯0;@$um9 Py E6'\(w<!R&sefj#$vU9]LnC X3R1~΀cGѢtlhRxs$Եs_A[~*fPDDkDI% .ߜ`h#1D &i@HWMVM>nʚ/ G?(1|1쳕ʔw<ȑvYHv TԎ9p4K1=eI:)>W:wh>K \%gLFhEds;n#d$`ZʎGm qI!ffmy#1[Z G6SCYf}+G4QC6nf3ƿ5Q}1ga=am: P+j'Z6^1hrwq(oL .v"WyUNrb3O/ZfÄ]^~JJA$ڲb!m`Es V'YN=j%^HEXӷ1tajy^nfo2jj. &sdȄz MM%DTq~i \ahl[ rQ.KF'ήS؝¾X?ͣV)Kf5e¼])p_Y@4s-eMq3*Ug{%jsNyƱar%ד[gDD- S]*fXD` %OoCj\-RA8YTlw@UwL(WVaWnjσHCW3!{_Z4]02MTнLGݍ~*ȨWt?iwΣyq*Ǘ'yu&.=,e,pd k>7)ׯMԋ79eOKxɴ>0kvyU =nQY%>!4{x.TV-6I8#nܗd BϸlPs&"2Vo "Nܡ5.eW(0| 69* Ln)f:?Tl//3K͗Wg;פKL ua{F0$O̹"&2G  <ȨL*oNbaM KC|Zz*lD)Xvf 9:ƠDlݿ`#2s~ET*'p|ODm&VgwWdэ R像-KS9y)R9򳥭an;bQѽBR{KP85W;UI~Syf, 51pdδ:e?o^ w.[wU|(q Q}ԤK,*bU'h$OFBNaӧK#cHf8+K-S&+,t&y\M  #Vt_qb(LyBa4s*Q8I>;J `̓ȷHêRco<+Z#1o 0ͺD]*Ϻݞ)Uk}· ͭ6V w/twq0)3-fDCǙ)~8~Cȷ0y"}鴓TztIAfA+qM!Ɋu5 F" Lgn}∿[U;q4.sJ}Gsf2x3v֦շwg!7# Lw?F$PwmA^IHH5te~(SifUqg{_v\>tK:WkTׇB9'Nl\gHs2 }E.Qca"A A Y,GDM׈u")RA}erxsxS]^ L˳M2aY:kk_m̭зT6ceW/a{ǻo[( g C囿TL!LպE/N2=߽ڒXo2H(~`U~:DEI&& s䟌V/dᄈf!dAduldu~ufu>@ѩ (lCoRmDYçbVꓭ\ɂ堹:&S/ -łW珧MG},:" xuï.@ eE[ p-:0k$׳`v."oy/H쿍op @ǎa EL0E AYs9uZS,أ@ LaܸB[tmHe;lS{Vwdl,ͤn̏NCP(ƴX94LzSEdIlh8nJW߈wo7< sDhR遤344"ycTChQy#K󠋜OU'b329Iȥ=pr@4A5Uj b?B;GI& U#z(sr)-7l9 kq?rθV)x"]>7$@Yj]qЏ5A$=o"saԁzAQHeIj)[_yXݞ%MK155Y:lg{E3a^$Tfk;&:'&Do1g\)M'DHi5g ,V *rB@H^d f#H89g ZU+6KPi@k,PSaa pm2~&.6DZm dݍݾ~<&4"8n:POaff ([L\aӯL@FWJ^q#ڀlwܑJ P1n}D~wy=,CB |ұ]Y&}ur[EH~gbo0阰Wתjd qJ]VQ̌W{TI/<^w٭sBתbNm$sl;§~ؘ.Jp/oiˍF0J,ORy֖r*C]?#I£70_ 5>yeO& ,0W{VGϚ 6A#L_<%4~;}X44@@Ĕk\aP"Z65֐ϴLqpānߢ3e)u?#RSf0;1 bNqE.3`qOAHuRfQՆ ]*EEǑ_R{=so*[ϟ[: M}%ǟ1 |B"cؐ"є`u+ps1rlJ6Vh M6JxEfeRO6ht'=#fq0f K{{#Èrg"cU~4|W"h#Hp0f{e-PZZ\"J[g ~JAC1<,ޛO ^1sWp\pNGJr4F&X ^X/-"JD!,&?0Lu0yW&or:Au+@kFcW,(1\e 2Rz8 #JeT/\+ϯ(v^iTsߓ`Y ׫cD3cZFfJB_ηV"^JJ?~{')` 9.1 Lrhupma^p˸,MT,Ax IM:B&hv^eEEϴJr/Zۺ㰕uѱ%AYm8=Ovb᷄灶!1`"6a)p\Y{-PmjJVG78fz).3/c}W[?>T̓:Fw\OBv]ɣ]c]Z2qJֶȄK3|px싙%s7/_FNo)C1vXyB^9ڔգ<4|XtȇdFވ NQ=O$6{ZW.8KD;g\Rx?2AbEU 0f2=Ϊ-VbuȻ_8 \N&Őkƈ{-?*~νXTo֝(:}u0HJ!xH&&4sCG ]"4a4>V:Y_kPX-WFL`vwrzZq늩ognV,4kKMyTN󄽡R$ɻZ$XZ>QuHÅ, S'qw"ګ}?&V+"??+gݱDbکpz3:Nb>*0o›/k)~k?=X( }:p)Gͷg0vh& '^SOb"w8f8Z A{O[ٿeBgVѐ0}Ё~>WQ19jx&ϖ`@uMͨDJI>&LwjvF D) rxs(ɼI7fXJκ:Lẍ́s0u6/9um<B*Q