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 M%d$, ]/]HOL-Analysis:threads=6elapsed=358.774cpu=1844.228gc=128.536factor=5.147zXZִF! .Yl]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 "JNi  NF]h=24.*/n*3%@8Kfl." %9<&{~7MJ୅kT? њ8fYpݵbf.15ΛAY>@.:}ytooLSJNq W,G #p [(d ?t:#~/p:͈'r6!NAmk<(5N W % HOL-Analysis  `ǜ.p691~qvhi:%97aL7t0wjj30jZ ؘ7O`m{%Ͱb&pݬ_XMREP*l&I@wj̴Hbʖ'"W5L69Lz(6r?cUzLp-p&;J\!e C1c|YI!.wN Q C8kӭ4Y^_yXRPIiU6TxMm^lo/AcoP0 ;sq: 4oqji&eyu <|ӡ_YPߑkdZ2C Gd#j_0{ɂz۴N: 8^0,q}0&Bt8}<POwhZ3#s(#|oӠ7]7ܽU[ڸIДdVN~H9kރJFbnQ@&tXc,it$$zG; &_ȧ%&IO"IgH`F ޓvYnoѵ U`04DGbʓhPo-.M5ȇUx]A,ݬHpՀrIT"h2FƁ>/4&X;Wr$)){@[9.E .l̞8.ڊDKQͶS|is*c،ʌOL<|io}$80D=2yDo%o !X}Cs8uf 5HӅˤouJ,ﮘ9*&UT| dOGla^xEc|8.\@ : )g![}g:.F>||Aե P&x?~g/1y%֘j,[D'զ,yI$bLRDm%vé ~߇pRUa>&H uKkc o`8mU=yDD"+#ks#BP\P4~蘰t\i[mV!#cs}i,ur6j|&y[(ƽ [L4NKM㞁cЦljv+cG;Gˆ`<+OgXݐ(6[-wkws׆4SuZt~zcy4L)No-2W>%U_*n>esw]Vy8rŗJw11dS,h~9(v0LG-%c}`-H+l5%TW!spA5>%e{ͤO@<2@|uPԎ5q&MI$h/)mF0 6*PADoMBUcEI"'5!me9qOM̈<8AѿK8BTL.L}Pak1atX8DsR%aHX/c/\XV KQW)3?\_,_!^k`x:9 )ex@{!/$hMDzIUr>-_xg# "IiX7ZB[G pmΖnf-I8o]cܑ~Dzvo֯ ^{9?QwpSco+`C #Jáƺ}5tu.,ωf`^ %ԁ(ssΕdwsc)KA^QYed7TmtJQq_qY8TJ)rc&w k5U-%3 `ޔgވ#xU42ni͛,IeE  v|9\]tRjNzMaDչ-ll -FIu6Y%b<215άo4fw oPr= CJy L lKΪ*0?-p+u/W]+f7 2ґAh sA'AJ%'بyB\\KHĺ"f~ )[|#E; 96QqV۲p ~~ck.u$5t[Fi`2.k^^ -v(ɽ G ǾnT`0/0d,R2Ng Ŝp;ӯ ;ho*(ӈw)bG_xB{hP66|//g ڮ"[Is bs7H,535av3+eoG;$$)e~IX9!u245,(^薙3߀!TyZM(-inMNIbA C 85@Sf9v kL\`JQhWU }@SݭG(EwmJ*̢uf)"Z4e^¹^=5F~*gRWR12"Rk?5xSK5lf?`f9hh|}rvH S"㮚84desO>c8(L-TǑ+JcWRK>6)VÕtD~%En0֋{f)y DEG@djY*E_icֲ)3t}sj3ZՑsgPBU봣FceUg.ɖ}&>@\]gpp%4w5H o<ӢOeETJ!iD` ▫0,zo#R@F#:Wgiާit şFMH'aBl:3yRe{"-*j| 6ՑN%)&+9@xi 8,U7Zfu c "9|4SqCl2TQ+i٩`g?~'Awz(:w,1?HJR1'6k6!HAfzoIn~`l?'C^EAk+{jϦ=Gj X-}]cǚ'Ժ0wj2BmFM*$F iE'*P~EHS\OARO |X]TM$WlM gsF(7J>1`U@7~Ԑ^޿DĈrTANu*ppv& S,`s^줐#h$hד\ږG΂AK)|WǍ@0 K )P" % tѲ*d !2™6} yV0-lEZ=}}> nIk|Ӛ3eR**)nE¯+)fk4fޮ>g𲤜oP>xfݒn&IkЖK!ZFpPP`e[ҤRA^*j)M:>N!gњ'5yuaVVc k] jT*DeQg?U. +RxsJ|#h([o.R9܄s h+/ "rJK$CCvE1xFrva*!s ݐ\)q&,F뚇e4 %yЁ"B<0N:s"5[;S)H>s~KaI ڂWy~w`7]%"gzy"Ց yD2Vwz`YUq.#}s0CQ~nGW8RS(MCGJ^2\:E%BQbjl`؜!FROEd&Hy[,*׮1.Jt%]OmM"3%P^\BRPuNbb~UtڐT/qrwE^"Xxz-mXy'v>cW&q &"(E76Ax}o3xu FF&C7L!UIõްM~UٝE|[ubn'y &X\);$P0Uq?@4c L^f9L#`|\~,[x S*kV(x2a" ,dlPcG tm%vB&PvW݇ R;<Wu<]©bm,эRsX7|:)ϚkbG۲Q:g | #{mЌ:L%ca"d@ҮM$:Zk&qrUJ¼ȲKX>qrzP*hAv M1PNȹlԲۭ*pMɬCl6 eNZǬ]e֧LzڻК~U0P0"[}u wBe\qKԋ;CIJ T|+ Ю!i=gȢ҅Pb?)96uw/CkRa%^Sm+ &%Љ6ˣ<,U }`SZդ3]HC,_ n 4l\SGM9u֨9uR$bd:O=g~Ђ?IGKxߏc7ALԬf5 k[Լp2V8;bU*{4j'qߛ }qUFv~#1gYB ke^mZ3S}R['[^\GF ֠Jc0`N"wVg:vR&W/R.IkX– kI@trA1pq`Wvn)滁9E~V}Uw u(]l kG!#A؁U^>DqlN2d'ƈn&ߥOt yxMEE@@)4hr( }-]]ⅭTӚ=&Z\&V: /<,IoR9*\Ż`Mh\ק6E Εvm"3Hj>$DP.q3,(e %*v2uFN2*Bj{%,X.>DTpͽ^,Ui9?6/&v'],73Nyc=yV%oVx/D$-"c:XxKO*c@\uhQU'C?:BMTQFL dnJ,] *)cT P-v-H{OnSo,|!5@)zK?inẏdl5sr v,`Hڣab*;>42jʹZ=9 yzս+A e iTjr8@kS?}ZE~<j%).a=p3Cdcv0d]ی91`V/D/tjU,%I9Q OT,(Waps=$Nc 4zQX-o[39px7Yij? ypoܯWߪ^8d^ ƻaI5,9|5+(g46ngğ v‚ׂ(Tg%[)

BHB=FPoO*%+3kwԋy>am% 9CǏ,(>iɣ,}!U Zq_=pqsRrp=Gz6@LuE"a.Ƽ͙  ,?5sGri-CJ\Np 0ᛤ MWB NxQaw~]< ڧ~͕˕2eScG=uNш|uÆawσ*3/L|i_.T (Ux.lj2*`lp;tɾ޽[aNꀐiS2XzSHk^Z,b!o^7t/KsYd>x{> -q%L-dj\z"/ ǽz$( []e k&H!@6ox3ٝ>yE Hqؐ9iP+a(%ܹoC}HԴ0%ҌKГ/{c[$kõ[sl^4?s.H4!9c w`n]Ji2CmD SvM &/1|+qv_m@ uD_ 81C6}aOeY(Q2E_lI+} l{1<@>P]z ,yoXp'Wb ,߭~NAF^Bo T55`-pw~):z99ձZoI[7"C8a?#&"L?`vBѼo"SQN4IJM]#lR]-c;tA<icuKs<-' '(q5U:D>s|%-VKcz 0M 봿EsQ*0)<Ȍv_YV 蔌ds%_Q `9 2K9uަgr+Z sarjզy.V='RApyçދiR5Qbxu)Qrз`%r*' =+l"`(FNY\+:Ү8/BQQ$!{Ng*)8NREMj){ٕz v"Ɩ/|ZjV%U>o'Bb2ɫk}_S-^c)Sod>{u~.$pBɒ a pa-MiXK9n+hSO Cxݵ=!e$?FuT=kLe䳯Ty ݸU1zںm~ ΃I5=NUh}O*?)6mJʃ[ǐiO6Vmk$֣i$7CfjǬuyr? ecW)KYiT_]mHVf#7+i%W]n@d5׊7[x.HihznYGC[nK_*-l8Eֳ!=gX*5&["eNza+Y]sy|x@s_//:Ȋv%dT'˩U3Q-g7b+j/dQe\ Uwԉ%f6XaO &1 vq֜=hD^1~lW&2IV̐P- ⦜A /82Ԍ'ޝ㻹JS,#Gv CU?s#,Ճ%%fFT4zȵ5܂u=Qi 9ngj cSn^ņ7 (PGuyR @vIb!~z4xso>:A` exī'Vf̹@G&'*R:@*m=r\o{SJAw\_$=-ZItQ_n}j԰j!A~%x7\L (WU{fh8#@s=9S'V5 v'ҢpΌ {x*RjGV)F!4<\o<)>bW"smi^ŇԪʅ 2A kpΕnCi2C^yoʢ;xX0j-2(XwR@='ɡ7W"R.If,kކ#OxXJRQ5#z6(jI "CsP`0,hM_` D$/qd[8"Р(i?P0C \ jvFֺ\?|"{/w*eXٱ++|ה ꟭G^#.:t4^,ǭX[}uz7T}h/O{-wx ^(!R`$M,^сe뵻f:YyV8U !Y\ 1B>U.-g&龠Q7#^\H[ܧzD 1uU XuҤV&}"Кմبjtc nnĝ] QC,\Ԝ8WJA,/ G'Zf<Ұw'`0^! NF\k'OӌLCvG}]V?ǂM4.[=U_{i߈ḧ ǎ32j}dzJrCV:CǗHԀX<|r>pG"G3yn:r3jiK#:M!B mp#SPqVY}/z celyT?$Ug|jv} Iy͚sً*HߚWb)ˢq@$cHx;ꏷoD"MmE7r03&~LYimYD_k9 )iſ&̇蠿zlfe :yϬ1ܻE)|?3Lzx{e΅ <8odj~ݦ> ~^u2Cͷ{d7oD~܌FW`1y-\b&I~"ZJO) 0guiɀ8 9`g";QhdaA2#E|c[ q3Mx7L3c%N{M +D1|i+Ḋ1Lˡ O9 [clw "gl;AϷwz6r9{D궹WAV-[-+Q:]gWx0?!ٌ/V6~E4 7QxSkrze~))w %MvT_4sJ4 %+rt3۠񆪎}PrIC8Pfɓ컲-$CMqZ3Ja--7t~$Q)3ڐ]YOqv@z##LXg;tY-^YK^ا~@#amGsOy˜?0 rUY7 ֝" u-C2R:oVgf# sr*呬%8_ "'icYN2# !L;OƉx~0XUp-c)X,vIZrW)]ZVbo-ȃ_qCضW &iJҤ> _.\CRa SFG|K) Tiw92%d" - ۂP¬BX4J]gZf+qyTs`bxsh f('bZ,apc$tLqMtxS)%?^}&~ߺ`EG<{1w#*O!`V-J7rW#+PvrΎ:DMn*m*Or\钔##T B5?r(W:,0v^9a 6N1գ38Mde3BmR9{)r,Vɫl Sa vKq)gȱ&H kNq}Tg&ؠ^:ewXšKnfW\ty1hR\OpyF Agxz;Fn{ _p@G-^HR,!TKP-=z4`x(ɟK%r5f kþf1aB=D@z{hAkMExQmJaxtQk#vs(SmFLV+ 8kCEF0}[~]T9"3;GlmX|ϋ-}Ƃ%S>-1ddzLP|Ln<X$VjZpoa^\ו}G*8cK) hա  5҆<.,wǏgy+宦*A{G }JDA5 (*IDwax=9&yPh2;!w5»O (8\7 x_QJfؒG (qYo~ADg|4Q?Ø>8# vX(yf,*˼^ "-肃u'J?ojh2>V ąCi%?QĎ7t$3tzɒ"A,50sz ص<ڞ.R f7+-aיt e@D3@x^ @1Sm>yuoNMTMKU&Q|T]QqVe=78&QݍZ넾"f`o 6=_`b42n$FLhV-l ^23ըvF;}0OE~ v~EFÈi־B%j+A8e@87P,ƕ%'{W/Urlb z al*T^o=@?D;:($"ܰ}G00Fk/'+L˛c\h?kYXa(;"Վ)NQ[7fAiXn^u~^pb"6VD|[唤9K*`դFj-8[}+I華@Bco/3e+g/Ѯ+I3$a4_]iCqIq byG~*xmM1Σʔ{? ]FèWH54YTb-5 1??Zz=mJ$X7My4f,ۏJDʟݖ ]F D-\6.ee(8}(*w5-tOx-ׇafvc`SKc`z6,v=Smu"4][[U%aj~2Et1o &;),aOn\~B8$Uk O2*,RҕiP60htNku:ۼ؝3irTY5G=ܐЉzy'sXp =yH^$P{v1`Z-fi~z?Ü;C@e3Jc c3[-,eT*J#H@(;U^Ϸ`3L- NU@X T6ȹK{Dz 9;)AG&| !C(b mْL3H*CS"fXUa/t;x#L'E F6kc3>Pl1Qp3 =Rݜp6{/b:f@@>X$,iŏz;xAjIre(2ʭFn9UϵXf9>\yPvW wUy2rѱel8|0~zW"NcAV~Xbyio mL ~+ɆOoƜmEmV\* chgaNIQٓyepC%B^R2{Prdڟ-he:"򸱧@N ȬVJngtۭKEK91K8SD U\jp{Ҭ hA32v^]{|+&~ A὆NCz63X*uE*ME r%)G,C 9 10mL7.wΜK qKL3SrY|l2އ#猔PU$x 1(4082MEbmKB٫O: .S.gj}K ˰DQp|!fK!3ŠDG!@ՆBE ~Cէ̪˳эg7sd>UuTͩ IWrG-DHé)7]T{%Y yDU'lMV3>pv=կW#ԬwSS2,cyһwV0v &˅Mn^Ŗ!j'"Gp`)9^3y2#bqk‚+n z}5Q0~˳MX$G2:glNOV) S%5ɛmh"݆OJL\D'bj.zzr8Y5<9sy jdց&q)QwcSE[̀](ÝbC/Է_9:h o;ٛHGJTe2 g8QIQ"k' nULg1W O/w.vݑ\O&<"w Oȼ~𷑬i\+hF7$,s=i0> 3$YCUH5t:辦R'-?Wzd]Nti״)(_>K<<$UiA \ڠދ"cثzh3̬bYl_ݧM&6ЙlkbQ9MV (+@\GFmC^u_gVt24@%D8O^h>j.sz=pIItȩ QN(3o8X`EQ~fўкlc czj/L-ȼbW$Y҆i岿d_xXx1n^埆M\*F y S^~z}%W8]yq/=;‡m.ZqսF0j:!=mRTM@t ~m V$؃6')}ݫ A vXUwY{lvH JV形 (>PcZPLڿ`_i;JYB#wPDRaAs9&׉zӄnULϹ  E`Ţv~7FO%h0-G?#l3 QB|?uUlRP;p]%7/OsgѬwxͨ-]033 mt},17szc;ۊ`HRL1~oY;V{cYO8x92"]ؠJY/%SèMIHQ8އS?bYz /fװ*HԦN%-5$!tcxnn&K_>aO8lvwh;̂$_;; }ŜLmu#$"-l_JB[] %S[ЩrW.0]yB )pc/1mXlL@Oki80S6ȣ8dHd`DI6a3$tLּ*3!ey:7Nqv!*~@$,KN[@k}k<=^7mR/yΛwʞ[vt6@#d4$BG&a?Ybr3m") 3[Sar;rByyj9Bd0=!`ӜLbXK-+Q}LqwO܋?yY4|LZ^ZẒM' A%G<< %Tj$Ýڑq Z>|^j6%|u=UU8&`c"qN;9oCԊPUss˨."QicGGwp*Ƿ$4H5qʑgV>8+#K+wnU}Z(Ieh5<{Gb TZ)had+W<oHPG+b=ZcV~<ζϛr~C=$nѱKMeZl6\s]"S O*G#@GƕRo )`xQ8`QȤhj7 P?m53ؿqRA뺣.B)'> I) BD=4BF iCXo<=G4܋>,an9coТ1bj-tt{n Lu_)ĥmxzi r\RfE vx ~xk.O |:RiK7flvV^.ʶYT &FE.V^#:;3+*)IJm](ӼZC~,$MhԌ .s2gYZ7zXZִF! ( K]ŗXiɟ1˦r!cHkMeBd4ba'R$/h~ߠy;oc!0d ?ߦ(PK} α NT1 4ڦvYtaat %l;u{Os/ԛLaE>QvR:v3OTUV[J[ ZF%dIlJ; 4獡|zJF~<,A4m.J +%jsd[XbPNSmm+yQA^">>cLg\I⛂4fRåރ;SJbQ"qlZ9ڂ5Jnfr2RA ,GRn )-I⥼˓ }zJa~f~;0 c8^g)0ELR6@Rcp-vǚUdByEEE!߸=Tݯ8S)%"f WMb1EՑ!Mawu]B&U-g&ӎ-1?'-EcRrZ%|+ĹߢI:bd<~dvvop0)04$=m a*d }eIL([;'@r)Eӌ5yms# 7K|QnxUKZJ_wm/7~7+ ֽC+qs%UVȾvD:r(ga tB0Py+6NQO 9nLGc~r`ϔf1ּۍk Ye=ƌ>?hX|Wj0u(z|JL{u:bncjIQ27+zFH$d(l~ ^@ m"o6_8Ωezw"U'{,qhy:WlJ4 DG2ۈn( FG=]3CcA/T}~P~nSμ^E:y.!Y^J)f/-(rs9bs>Z18kŒHVd~&[4H#D^zñM+XL8(Or^&ZPQ`:WXډ~[3?P_;`#/MK1L2yq-C;s4&۷ @.f:,`8.XsͿ7Mqt"Hу6l;0% V .Lˣdݕ VG4VU4:/#P*f8'ծ>@=,vxިɎ+[ӈ7#ZBlg ~@x:qQ8us UgHjh̏)sNoXzfP_C/Em;Sf/BOv/y4`nnA)d}P GE7Vp10؅HtiTHZƼP1;^${ ]E5zRUu%;"bf֖HE#לx6uNg|AwXwjG)i9vn ( T N1rQ9լbǣl;oGJU=R]Cj5o1hƀFj-pqV{{@U/\ ^S i?˙|{de"$(vz>Uk`Z1]CH/5M<8dAEmXZS' ;!=SANibPyV%=̪I)h.?OzDecљjQlM q}𤮣d^t;m+l$,pK͍Ol7c()ah@6jn"o-oOCd F_!j\?7Jq&V )"(Cd ]ӭdBo{B'2Q9Ǵ ߜiqN*gtiQk gYZ7zXZִF! &{M]ŗXi%GtG&c N T[`wg6IYQ4fˢSUp GڢJH(1-(_z.ǜޭURE|ܛs.+U.xl6ݏ,Y3"26bizF`.XGS-ZW @pb߬ϰ6fyWsl7y-n:?qz!5Rp~ƒ*RݏOTk dxiCpW(M׀ߌ j!y\'q  qgT9>3Gӷ_b*^iNAƸtm?D%|_ ̹QS؎n NDHeZA*ǡ,\ePεIn!dS[K5cFZyY*M.<|y Ta0-Up1鞝ԿnUSx?1,n RH]N$\"2w>$YCz7TV:R 8C>dWreKj/=mC2n‘9bjӲz0y#;°7B {ݡzc1ys "*&ue9uqp@QES#}K/R"\ܟlu6MQGy|I]YKAE -̉`KKزIд+AǓU.ron;kD§ ? V]gw\~,yLx![TRh 9n ǽk&,ѭ lz5\l }u n5,Yv<%@2aB+fc|!|P[dx0zMnzZA~NLT9G)ףW&R][<}O$RDɹZ2$/H!CWW ` V)9Ŕ[ ג%W]SSDy] W<,?=3})C:5C ;C)t mu; 4$~IÛbN Yd$^w(cGQ!o# D] h~3GEnZpp {MBB"f⧪&MɁ:7z{6)NjAqZ';oꐌ;7scsXDBق\ec.l}]+x WV1t;yukms"r ͹`ȅ. ;c¯ X@Z҉9;U/OA0cѽ&ls%C(FgM!*BIa,E9VwH!`iqB #Tt`S:Syv2~ g0<bBC?(Dcw^RIJw y!M!0[=;{ךx?g]}#i5.BAU֥$i'!xHZZ:B@tl2._tǶcO~G%~[ Awx{#mQRꞓ!S=~ >r\p#3y1 &\)iv:_ш1 fwBAԫSQ(نO%hDq[wցʳWk5kRbĴ@.抺n2A'aӛr߹4P~@fg,Jgҟ/~Yw_+Ź]b.R#MD(@?AL2mPчQ% ]X)֠@L/+7&&%rcv|Ejv6o/˭2(cnmś2cpѻ =@}iDrxٟ9G K-SjY:EtN.D(4o m}k^F_$0^YIvCm.q|ί9?X^Vah?nS No oZe-CY~rЊ #RX+MYB,?"怣v"Rgja=VYqH[m([+|蠘\n>28d${>iA)0Bav-1O시~w͚ ;`){bہkE8/@ѡ3\#0Iak>^Gj!}(_Pus[}yB0( F(56WO׊4IH;Ѳڕ/b tKővb5Y"d9{(DiV֨q*~q['eqxf46 SRƒV@(OV}p@=2`@/uK8Gu`r۴u i^؇| ;-Sh8m*ULJʥ/ksuҡeOp{ ǿa`]M=qnuf"`m{ +.O ,m )p@% S[wה␆ @w |W5%R2TV(/! 46fl=,)(b$miTSm\Ե -/֟fN@¦j/ɘ0xB#baݣ2eWH,YvB4PNnq:_ ]ͻJFZnN_O2# wB'Ed"$\!Nl ˃5ʻYiR1b.B n#C*=}$ߒ/h=Iĩxa@?SwcS-B1HSlNe\^ FÆ =/c:?X:gv<,~>ѩ滖m=Ks޸dVe%fYՃmdtҔ΂Nk1,%,3`N0UX.Al ѧWaXzy1=O ǃxd SSYzJ$!2\MVHO.OU bx 9cGVcUB[K:LW0z][s?%r9q=y4GdqVs-@I.J%6To $L@@"(ZQEzMk>nh.5nuBǵIg!gCuV:\ʨ7 靠=> cBgybisE^ĺfA@o} x .&e= "|`i[@IJ|f LN$DޫLV5GTupTS6m$2 \ߊM>04Asul/ti'jvX9؅Wt ON ?LVF)DgR=>DDYexKpպ )#\/} (!:v'ߣy? Z:2 d$o[fR2nRuf;m/j lԒE  烌 ͗mk-wVK 2/RGVؕ> v_PlS/ d/R6p=ϙnӬɽDO*'(ho34v99z<-|f}]%G/!.2Ճ݂xO&XtM>_s^NE7|5Q4K0x[3茫JQZ?*dxcm-6. et@Wđq./ cLjߞyS6ǀbl/]5OmͮH㋄Rc^75,͍`eG kHˊ1مi2{nM1OϓY}Z׷`O#ҋZ+}6+z-lG%NJ8O/ k}~Ɣ2lsGiw2O0ݑ YM$}\$I <&RD dSSXq[VO59'K?!5/A_=2].7y$esoa?c^Ab E%T4?*5?@^)'0:[ڤ4۹IǕ2pcx[ cnbH>pŕr PuiQV$KVkCg/q- }xtBڟZڡhרdO- >m:kS)B$cӐi N-}?W9?iv/vq5 r80;x[X02$?%4H| (do1E}f?<X 4 m$j.sGFdKtZf|bqWp=op; o:6B\onTdXe:Ͽw9cY{e,j+u Q:4Ǘl$^<&JNZו#ěI1kۯ g(k/b$W3SU-u<*_B0VPnMjc!gknwL9. Z"FXD ov7*r-."h({伦F0HΈhNc"(<|| *p_hU8Ef6]l+y/_ʑ TAw4i`n-c[f]#W"ĝK:( dnT/ONr ǠO-S1x k6`Hv]SOdIjxK+;A".Qmc6f辸vMWV.Vya'w$r$mkPFU+= eva*nMEs,Et))RIdk-SSHzJ ScAqijۥ~_yd5}rև!DƐήg݅C0\1fy/l#jmӌN596ᵪK'rUG'yafD-OYmNX؎"%~\:@ uJ2^Z<5I >0K-3lS~8^$:KeY,ڈt~h}O2Šn IZaR@NlQLI0G}KR,rZb:OH2g;m|/Z(ZB q1LyIT4hj#*;W+;`[b^2SV5pjAy$^ ˆrj 79m}}OKO3"3wt"3_9Pɻl+8y>!{m9!3.zT&Uޫ{AY}QӕNb[ܩCW^h9'`HssTWo4eqMgTxC?z!C.$ ѵ }ϲ9bppU~s>MȫNKYSGǛ=E þ-3?XRwϨw6\ [$iv?N9:6&[&ڪJ̐;oH4^:fyA!`pԉmڲ#wĖ;/HVѩ |TuX.;O{" JS 5@!lס*- PyԻsM<?УNօrzPQ}վּS1؛YV6M#% >ÛJLLB7 l;vY]d& +k`C<[rs*mJO`S.bwl~jplnJm?rtXrI&uYL1Hci|od`T-;l֡XT) b;B) V%:{B1vNnI!tVM*!ZT&Aa g@#APqƭ$ H9}^L{]#;n<"A[+c1Fj̕o-ۋk5H'Gi= yMa$&t"$+'.5}( =kQ Z.?pe67{@)Z2eԟtMkxLc~v3&SQvf0QQiW6UDxD^9nqoRi1s0lj?kD +lFbrrH =A\J`ih)p}#߂RL[88,V•ȏtʫ_[, K)I[N⌢ëQCXyyKE_ۑ* ;Ɏ Bt7~OsfΑ~4\J 0PRTuSN 3W1j;ޫpgPl1 !.`3 Wzs%ܱ>:h3+eFMFXt-*`@Gp0,%u%-B*n p`%EsHsZƨ_&v C'0989$ͥ 弳f0q(A6Zzv2Ws`r;_. \߃qlҍ'! LvQ Zz>Oc$r'j$5C^n$耘د{J3[+Zἧ.3Ӵ[9xB(\IDr·cQKYyOblt͗jc_A4O9,ڹ/Fde&R<'@`JsȳArzSpr6Vj rIRCfNA4[px4Tѽna

ObfQSIGCw8}E 0jՖxӥdnBjL#L|#Eo a{Rc3bc'bTwZ@&RuzEQ $C5 #WRNي"9ڊ0qqv$ӥ[rɏlfJƕ1RSrr#5E NiHhR>ar͵D|*XIYNL_{A2g/}fYYQhTN4û.Ϯ)n/¢3,럚3 6iSZ'NbRvЁЎrg7Q,ɫ+Lmj97!a ȠnACnd<&[uYX],,qǣ"N`?K1|6RReبݟ[|SU> >@=K}q* ovL޴'lUW i|z1\dtS” 6IvcIvM%i 74Ŗc7ÄbJC+ PRJjf3[B^Z>3dLάoj8w~.THkN#Blg+FT\30MVQlr)61VD#P_K90tq5@Md&W0;T"F8!Asؗ/ssU.,8}qّ |OąGXG<ȯ3jPA(iVb2\g1DsfLPz /) kRJd P.|DqOY!!yaCbMe2quq,N3(Š+%n72e JΊ6<=h>:cW D 5V5%NY sԞ[{ D?Ek гp5+wAΟlrT7Eb*\ I@ /`x( 8?oqYMfXiW'FVd31^ yń ޔ 1e"o96F.dڑSeyyMk7i3? IEb+-=QQ*{鱸u7():2bKf#627"gvY n=CqA ThR {|QV+>V 3B褃Q`A69a@Qbj|ɽLL-O.>IjYG|>ƍUQorc;X(GU< $y+KSm 4reݿ?#5G^$#&c ,zuɭ`$| /#b7MYƚI$y_WY[cO5I e3@7w"B pkJ8  -lkp'}`0iLgk8nn3dOL -3xرQ ې}e`ZYc-VNT읂C!YVl&X/ QZ*yׇH[H8]y\I8LK]wUX?\ҀӾNE}C$PLf"K (@Oc{COxVd帥 BI}(FB|VKD0[{P z+ # dUO2IprOC$i%w6RFeg=Z/jW<;` `Ybܸ.,/L#-76{ZC*\3a/4;MQyI $P@p᧎a )%^ $N87걥spNu{^E Q{X͡h0D䩀}I{,AN$!a鉅;80 *C/L%jR53%qe@_i^)r1}V67ϓWK!be yPc_fiEwog?P"+%>ЊU xIn z+ߩR'5`\s/$]KLCcx"P6Ė9> X2dq/;\g] K])8fcO9 y+d'~4OnJ]Bi=rhwɳfL_&Av\K{hID.8 #PZ4woymsXkwi =T!+gUظZymG$+~&(b{&_"߶L1Q`;S_Ei<ع N#6И6YĎJ9WPJQvq D?NAOA ָ!. RnQ;)sTBw`N897!prB,UE furʈpIU.ԻJTE׹BH̘[rCj=(QYTW+)tyʔ-dAK^mlg(jI~N`lMQ]$\.׻K_4IsusO0&MUwqq+EJߍHIK&@T 庤7ܢ } l]uV͐ ,"N1݄jl%?)fwдӇ>dSAZ gl]*P+&j*|gIi`uq94Ք8~rܽULU$5@ ia՛bB=T,1<'}Z14$țIkl$Da47O1pBjeN`NDfwr&AAI,RK_\'"ǣϲrYRߤ#-LtPha[K<ڨ"D ǓP+qXVpOImJ~\[C=iB>sGΚPTG;$_atJkY%/u vpC!ѧ,>ϼ RO,d._qcԬ(ioҦJ ėGʇc~!{9^_Q R mZl[&ʦaIJ-9F;/Ϥ=T6N\ ͷ]8QCt(pTo$KA+Ԃ?GxߥXX6]:ʤ<*.ʍ:SZKH Sl~].X1(?|Gfqqb>?Y Ųx1~Z}$Z:!JZUKHbG(D{ps<!YDWrNE@!ė)@=+:=~ {K8QIsf[i煺LBсF>R46"bA]a1\{ j-rHM*% ^1k[wc{ Ѳ>G+:P *oE7s#f n"\Լ,~W{Lr;Gէ4|,jA%50dƍYc&"@V1XbR(7Ύy]/.cLޏe [5wPuPoB+$o[`R4]8O '\&dn7PQ{ش}uv[, &Vt0/o8)@".kWxq\I>K<lVrF T.IGf1L*U})xovUcгqk@t^S|>!0V(t-(`sRY0Ɣ0""s=x*_!ttfL5 8f9Zf.yQWQZ.4CPKvs %)_dR`8ۗn&rRA M e!Zm@Rܗij]q#! CbQ%ЈDm0 BK$5c.؏?ZR$s[tD.j,)$RAx;}[3p܄tYD%'#SZJeGv6$ HdCf=a IqJtS_hG^|7k@IʏQc"GH3!9Qn8"CnGS_vBjZ@۲{_Dhx^(MfDnŠI ͓8aQY+͹[|K^g+֗=q.GhFl-HTm3Je& g,d5G50Tt,CEmqS {K醫D衦ӌH@K?[ ,'ǾDDrY-3gmbɻw;FLQl;ЫpwnfG=X:X)/ٶcv槅lxSPJ"m"6 MfV=aa8U^qIS ~?>Qxy}HфM/y7Q ?WzV`䛠7nӐHP+2?٠HdBɛߡt[vPL47WvyMPkhnlDo%Sd?kӰoLk/O6uҎ9sL\48tQ]/`%%D-I<=*#$3$ {A}1 >F494XTq@Z% ѡ>S Al!M7@gwۨto盪Za_ROVeoaH/SM%UكatZ5޸f tPtߖiءgQUm]Q}  'o\~Qlu9<db Joƒ6VS<WQ,ㆾ\Ut՝lK8 _ha)Զc"̼HV*$Pw^`8YO|o zb>'WAٛJ=(.yX~[ ^4Y[O ueGoJaFY[7|V\(i9Ede-U0;Ç5@_K`ܹ2-;roHL# DlQ I(p=ƟWX[k}d1$+ H_$VXa֫qZ _V+=t*Z<~>»l,,g< FNܦ 8;hH;(<9뮹y`##0MҸ>W| bjcS&lE2Z؜LOAO~e"OISXXkx]$aTk8?PS|%͹\FlMKQ=Cl3;.Rt,9D̩~AyaR3krIbfbA ½6?D$!_t"h94^-Enufd|h5ԯLR$$`Z[_8hx맚 ͮ̚F.;E?ͮJijw2\ IH0;PƜ[X?# x=77ڐ{}I efx\<$n=40^cowop]G?$_^ ` {~f'Mqfdވcn'bC[Cc`Ò&Ưm ԁ>=+(c+BT)-QT[JD\0\tUJZ-3^ #M-\ ,ρ4Iܖ V]M]hrhuy./P3$E ;L-+W/"11T0g)4#hojWRE׍'539_nZ r0==B@'zli gJYd ^#r_b8z@ͩ~Dz-N"pްT<z_'n8qJOD]@(ɃU~2qm,f`WaOaO6EFQMpةv߄7ۧ:d Z8J3#PY@: r|>TV1zHYVuY 4p*dDy|qg NswׂD1T_WEsN(m LMP5\4cW^!%u"*q"hkUVN~m$iW-0Rw"A|ȹ2K,3j)&+!M 7c`fE7o&XB>C2#ۄWYT`˸ml5|`(B]YnAA[\XP|q?ԬHJ^uoo:8nm HS"1Ң7+m"pXHܶ&M3+"3h&Bo5lKtACC&r;akgx+R`Z9Q"0[sx c/0KeZ^dSpu'? 4Ԯh`! C6׺F'>g:0s&y~^6g `O^ZidJX$UWp,)ggؽE}޵[Nwk=@fӟ KJ2v  flwR_:S:G _us/>E-~itc!%&sNlL8U) (x^ty yֈ+qNX<yQ]K,v< n zv{ 8`icSj26neÈPkW;T.v=Ò`4ƴ@᯼^8W[9wof1+ ѽhNh {ҿs-P '8!jbbV85$z5uk츿VST<GGyxǖ`0E( w!WB#S}|!:}S1 u%[ pp|{hFl{SdDJt+sB+kulOuμLC"ءaEaL<~\"[@|Z˻3< o}٪LXnG)f3{`g#]0_RRkp],wYcldĄڴtU9zF=Nu] :8>)V?`TbU4\}R$ |8DPk_3~LxT!O.0uPj|q6-MV@҅ĢCȼT0P՞lDqHTNF0 Xx4Ŏi0$oAoˆzИ[M_+cuIZ/H8ZmŽڋsN01G@0cSwR3Clΰ]H$Y(;Y16b(Jb`AӜMJna *ݯT:X Q% ֺϲRupRW62/5+aNP%_h+P"I9WFf[hBD鉤!Uyu&9/C6,@!R> -Ec=yP)_ kR-ej6@Iyn62@Sd|!u JP6mw DZwbTI!?bv%]ϣrUC]A!|\<.LBM_#B/w +XC+Uz-/:L(56\[E9x3\`#AUS*])@X\ڞU/@l-SE8CY31UNn[`!*,]ue&fn >5x9?S=Amh].#Gc[jJ76=\9R9P.n=O?BF. zmtWUfdgjy .~OݳL 8Aq?e%w9^NvnS~*jmѿHɅoBymSEuѤ=ƻNʄoa6vLx$[.M7rJtQ hL%Ogo2kl/gCv+]0*||{ (g++s5=L \PkVTWk6rg+X}pqg aԬagFrLJ+U))qJ-Rf,d/UZQu~1R7#1L^NgugI"e~ 7ȟ=@ŵ*&T9[.7sc,I;A&lYiY[ 17gm>Xt -osZ;z~ޗr,2r^cԊכ4ZO~aFGQ#kC_);K+^gBm/I&)ց ^hc3:ntrl*1SM Ӥ b#R@yPU?ʲD cPn|r"dlNͮґx;cl"e+ ?cHˌ(腣啂֐m''**4#xx#@[ڿbD ptvɀW9VljnP5p Ekbe+q W@uh%JcTMj}.6Am=*_J(ؼKQ_R3IkhQDzMؿTrysXU )YNfJ'B=̪OW~TL|qyԝHqF[<@{q9΁R:\\CI{yym2ϖ L-?Qnf=\emӝ%OKP;Al6Kjo;*k4@Mm6;YW[=#Ù>T6}c`4~ӣ1 zvtqil<;et! ˼)<@ѷNF􎟮<`eA9;EIZ8TC5{:ފGo] yԠhT?szI (o=WqdA@>}N}f_fg:oI!ފܫY'޺Z ^-[sA4+痾yiXYϰNUͤfoa☜]!,U6%(\oF!D,X W-xKuе 6*nYijZYkD&W/b0!տXkt*IosqQE|~)NBJrZQ=`&驯c/$uU k,6cR%;Jj b=0zEKRxzTvf8v~LX=qd14!\E( $gB;$(vP®eioX-A2Lؕtz>mZʥ˕/8l1v _cuFm>a av-zإuҦ҇?,%rH_]!/2^>rc\fX,o s0ƍt5QkAp alɖ V:}]5޸h0K9nxTC.'? @=R$*6Pp&련?ubՂHdWfkfn\I- X1&-daECq(\qZGU8xguV5^ql "[c%*YqŠД" ' ""wl$|h6żi)/ }K擽 ;!)9*j# <Ȇ/M\J#DGr&;1AQT:9PٝĦ<`={Ŏ%9EPN8x |y+Vng5,&_RDm9(+Nna _ЭiO/:WL^{u n #HOڋ)xMg{i@"sm,lLj:=Ү/Ta@$cӶɠ8h45& *W0QmTT8T21KR\oeND2M}C@x\pcTj"~J[O34}DaC@OAeصHw\FNW>)h `ȌUs.q.?//F&w7J+9E/%@'q,t 3)37O=Z6:fe=pa3F_`23:A.N`wx~5( JJɍos 啅16pkhE:swԉʮï#h<iᏮMJYYK${'ҫs$~od\⥉ӢX=d2 go*'-]Woeα`G AYOFh[;3BXr (eX5X4wűŦBV2-#JA|\! iww41vz;6.奯=]v&Zn8TFjT$ \U0> 0MS&t?tAh"X~BZ|Іv8՜i #|6''b~_=u:prAg9/HWbo5M&>dX=XNy0ٞQ:HqZ M~^*%C1i.鐬oꡒm8;VPG ѭ<ԕAՈ.C ԹZ1@rmdӅ=<ȗ*aX8zd0 ͖8R774n~ҺF\%7+]5OJrBhd6mo=Ѐ.v{."VCY-%* Trķ)&ݤ ~L'sa1M< 3[ a!42)rӨ;U}fڬMR>Yϣz6XxNۿ~M=U4Li`]meJj/LRlAΔգ=+cɌ uN;k[xѺbx'^ m*.:0Yהsf/яN{;~跪O%-A/HťGFvb+Y:Qrl!Ԛqt®[ X$Mj7húnNE~,]6rvG~=PtGH\"6LcG$Kҝ#;xќ19 `_$ف8EHl`\<de߲r\&oDh[M P {ssFp'0s;o&wWQ9'InwݪeӓQ~Mc]Z܃W3{HL_8ǼfQyݹt- <$.ʗN[# ]- Nm+`]B`0 \yATi҅+# XCA@{ox;]}>3nnvE)yq#Ӝo o Ϟǵî#2:uUSfRJc5as<Z&c<f9[I9Eŭ/yFſ#frW3=Ð\}v|rv^yw?@P>&9W $ݙMS*J&~°. ډN.*+QB˞'v%GÞ.:/?K* 2oLOUm5nJrsU2)"HKY1b d:\C- ]_20se"KoC-<]eZV2W=o[Sr#; ƎAۯCaC "k}0,0RςS{. $g7, Kpt]ZIE@ (]5@f`(Lfϼt h6vBoƿrs1|Gk! fi0"5AΊ[(~,O ӵžVloCһ=IUzZʯI&[JE'!\ FŊor*>%"cn}WY]I-aQ3:/w=@ri{+;XD8qIrj%cwoȕ\R *磠2h#ðNK[=#il}faGNHSefЯ̎)B H0 ګuFR=wy#oZм>TFi/OFcxqHIxv 4թAԴ<̰g *ZPנOC35/Vqued0ʑS'䁟TWҳJb\V*VFp"=?A 4D __b 8^9D?P?HI"lc'U萑zXse{,]t ƨV?.^{`GQ'G o/KY#lJC:;O~YRE(qps3\V&()J+>X#[b0 FNi+Oղ  Q˺>A1͵Ffd!;{Xk%ľ_qD_gXo{}qYI L{u[6;C)!.ڈ\Ä%SN:+dnb7s! ݇s $D-jLy̩bҫP̃'"{_b01J{[P`%~7< x(+WQfjS[fxGWTC4m)B/0jA#BP=x IX3a  `ɵq3 ԧ'րo4³&C$7!ܤ*,:f'kt(!0 |7 o(Cٷ&]UN!u%Uj }?-@+ /ߵ ˹.lh4s6.U]%`*mV}ʓ+oЫ՞İU^ys@Dt"(t*D-3Ma/eK9X`rzkg[%S; Gy]*E^4DHvOI˷5ջkqTt(gSY.$Vnusvs.%8N̖RhvC&^r\!. k3?I9\Wd噗H({6j :pf:lX&ՒmעiIݵ|xd\ 4>ĝ;؝ AxDjYdA.N"*?w,U *y'u 1tu`KJ{_,KD!s ߜE RO[ 􎲻tp|)lH rq?/Xr!]QD"ʓ~ |hI~]ȸlo7Bd$nnru+-+UG9k4vt[ -Jə ln n>B!^"sv RC:/g/6ПF3`=jzY8I4k%XGqaiH3?'-R9v`=+p5K>Xv#in&mE9i 8aX"0#&SH>5r2'cR~ :P0ijR8xk}`1c@F`s!{Fx}Hn˼\'~q9۳j0 fǂJ{ M %HЀShv2#,y&<l7+C'b 5RQ0~ʣgYZ386cfc22ebd798f2bf43ca6b4a35784db3517b24ad4db87444247cacaf5ca4f67b9564767bfbfbb9 71edd8e772543d5a1e662373cc1cfda52a924ab235c5e1d57cf9bb4441d4b9d0644b3ec2f19e0cc4