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 ' tD$ ] Myhill-Nerode:threads=4elapsed=28.074cpu=69.780gc=2.464factor=2.497zXZִF! 1r]ŗXiɟd)&]ThRc(bPv^X>N1h8پ݆lº\$]Cdb-'#,Ua5s\y-Xc]6$ASJ0 ItJbm;a5آꫮY.9l64K`ʌ0k՗uddpsMÓw :F=L5K0Y 9NkdN$ DX ?,d0!$$MR}N̕#t<=}u҉ J! pी_/;W S5ɡ¾s8o'Pry6Ye ' Myhill-Nerode   vX"[9W|,:%EGM`=Dw=y=`굄?uW*\#p CnBh@mG]4A-PmB fft^pJuc ?$Hn,jL$ADjHù΁ zJ*}SlHz^OW|2jH5_. ƬʻU$Tv<@|;ؒi^ T֔^>F/n ~-fiܛ#ɉ}2ť?*hGjOh^}477K*5y@$GYW]e">9yTO!<\ Z<״pL^ojtr՛5tTuZ̆GVYJE?HI K3~J(BjoAHnT~召d05,1n}=sBppLPR &Xe%ՑFj`qBBZr53R'ˑ5>;zR b|GP{#+OaiaVR;Rs鬼5niMe<Ե.S BHфyR`S*^Zc9dFFn7Y$S_ٔ+i _W_di+5< &ZB掳+')'iR296?pO3Ov&HNa2m^#Gl@kB?_ A]Q]5g E'^0"he9qg=mewO\{EƐ,;I'6?1,w)tS[ SlN9kەq+z=xŗ6»R >NfFO_3W^H( Q, j`f4fǶ"kdw * ^6~QaLI^d7mz~wFN/`lK=ygߪ q@W)_L<+|ڸrY(+%jFi9FH}iL un;iu |[;*xxEQU^쐳Z4Lb œ.̆ޮUqĎ/I*S'sH2D#tD"hl0!YUo_|t5m2aĨ (=Dl-ֹF@C\~u?H=Rz{C'XY- q{6KNk`ȗ=./c*h/Q7q{vCo)wHf <oTt^)+F4%.oB16rτ߳6]$eѝw#h6C KTk4Fgnr.0 ";=͌B#K .p#&ۊP7:WvVP/wtƝy!e/땙 -]\.= X+3<@rzSf+Ҧ`Y6;01No58*ATbI 0M hzuE `!o3p唼ưbq=Gi DM`}#" U{v-irY#. 17&"ԷÛeUpݨhZ]q<7#N N 5V7)-M5)HOjPBA x?d)`On3;HВPa'NbX SG7MQ%rh0˩-S 4 O Y:kY &-p-<!겴TCoe;y޻y!N?K#VB2S%ԝlصːtݴpсFrN8ToHQZJB=lU6gj!SNpTi&};@w8s@Yzy[X챹0ޭ^^/p[:Q+zqOK5Sr)njεHوl(;) n!5%Rd-`vyZ[S%Zh TDX(y5}?GSQU j.=u"Z:І{`5Xb;GbHEچw8:l򮬟kCV\8lD.yhS/*>y-q! rORCE1) L{#B;keȳu5YwL~3 /wbFVSXˣ_Os;`ȂBqס3Rq/ΓZ@#0և;OQ !,W`zvO ?XpNҋkή[boGxo'q>YhrK6^kobq2"aD~@7fmbґ{niy WZ}W‡@۬06q*!w_k92ByO޹#ھ/Jaܖ b_Cyɮymlo6uQa^W!5'iwÉIp@Kn,;w>N} YمJCkI m5_姧ۡC/C9L\-/҆/AA0:d~URd~cs3m?вWpƊ(bp혯,(N\bFWSAQvx3rO9?,Nӄ[=`dE^Bx25Ѷ:vPRؿ{▗=$$YSw\M p?-{]> ْ<7*oCt+Y:QBذ\GRBYb(½Oi\_CZb46sЮ.-+B`m1xX7w(;nrCR ;Z%nW `mS'$\㍽;V8|^HL0f39#xh|D olLavx6/Ǩs[1Ab _?FlJ߹^qa'#oK <[$,CrSH=4 JKmOӿ"iĞ-}_R #b{sȹg0#*1VP6 >-j^nKC%e@LMEnAʥ#{CK ccі㴵˲4+ QzV ۴& >@ ӐBJJ_'h\@2t[Lp P(U-/m{Ĉedy@Jy?aLfI'b:O&|W\`:>ئo_WT,kk9@q˯Re!r/Q%!N\6#dBF)l2kNTevIs[ :.yody'98=mŞK:sCsO|w)`E 58|V֙hJnyyFfw߳MyPf}jyOnsw[K66X9͵7etJ[q0R_ː)v}LSK{ j+oyq0o `fڭE6"$%/k;+TB2׼VlσdensI"j/ (xHjPQ:QHm)?m238BɈ.zVJȘ߻>% Uh ߍ\^Tk)g'\mƦ`_W+dCu:Zx<F EɰbmtANqCOɴFTzpBo<ƣG3H9{ (~r除3ggD ~gS]QcVʸL*dsn5{ms\0&u؝ ow2&#TN_4l6K8=-, β0l|jQeä)>ϧcDzMc!Po֓eミGlg & pxٖlM09[ |KNG}SѝXM X8)[! kP|%P$3'cdb|,HwWl= ZZ@.\PۥOAS&N#ߥ<IQ4NQ(BPdW._,n&!fQ.@0_Q@Tů ڧRѼTb/œr&5|R90v{n ouAͶbF? ~5ww.jbx,K~lfrkU0ؚRJ6yZcwm%H&zzbTBhT96,#zIk:eu=[9k}ˬFSrw'0^cs^=_LjYxx;EY+sgC!*Ӧ'uL8ɍUc&۷[)~\+rDm^5E5*ʻ]֋ g@z9ʗlqW66;IwܖJ>W.ŞyAm>kǨ̋g+҇A_e{$WX&),y(o&DL屛eX]pjTɐ*cr(w fhݜ_.Gz.TU-7R2`@s Y9ԈdM+Ȁժ@|rFwJqNcnF#3>TRvA[x-[@XCjNKiy3">YP$pϑ0ve]XYRe|-,E߽a_%Tޕ(* "{.Iڜ+-sxl ZC59UUUq35Gx-G}]ZS? bO$ W'2ʓSЕ[뜍~̯W@q.N<*fv˹ZK=EzU-PmrV|f9(L͍x(nQY)Ob7wUr1W]Ce>-qfSI51h. wpKRݽfM)j2&hS7أ&7;Sx?pS/E%Ч݉"؅ٚ F QG:WbԓD/''F*@?} u^­h3VpxV&)3C<'*IXN5 b3Z&Ӫ%53V 6Lui@ 'Usﻢx}BGu "- y 4q|b?[4Ah ֋;Z9ܞWr"0UaO9lgK!y+ܳfN6y8}dVa4Ep0DORݘ7[O Vv,޲[ WSBn7ðSS9'Ja>嬠irH1rENMekB6D;\`WjObi)i݆&{#u>b[kY7m; tf)璖2H?q?!M)!{!6A$t|#E:X(w{(6'bKiٻ^h̃IEal^- XuŠs#C-o5il 1jȨp}ۧy0z E} u>p"{sE qN ?,!~Ѻ ~Eu8$ iG7?iVb[ş>`uuM3_ܬͽ}=? 8vfl7-* %T;?.L{r\ 2}2.ތ}!oby- ޞB1w р+v^"BÈ汚zn3 VR`'A#bߑ nx,!n|Դ$ lV͕I؆`j7|d\QMӻPFhT}Yp J'ӎe(E}[FMЪZ* gIi#kSP…\#O(MK-Vv!Kk}(IV"58  YiO;lOPM0k ȩk`Ңᎃ]S4<Ji嫃?{bh; ' p2Js=kОb??6(hr{#A%AsQ=` lO<ȁSΖ.c鴤oBwHqV`hqͶ F3n@]0tvеv |0-*Ex^tBkڵ]%T $}hq p QWf Gޠ9|iփZ ztiQ`R_G3T tH4D)v1/-Yqfu=u:^bDץCP_2./45QM#gD eEȟ^n!9 ҜWmY*$SCҁD|vMסu9ΎEԒ֞#>1e Z?FmN7^!&FnUxWt eIz~'@) 3x(ޅ΢>~#t|`&$# la[8]*Y %!lU5:1,CY/gY`|Jև 7R2w5SxiՈgZGJS GMЃfxݖp26$U+-}T60VEP Jf@''S-ሾiJe2$|YVCS^cb<{uѵ30Bsu;xW$Ѓ:*7kϋDb@QNDδW]G/;$yMZ~sVB %U'}%nuNiҵC2eA;")J3J>\k0`+C>[.EbXB}0] <\UJ֛coy2A eJcP[;6h,ofop0f-pG݈ЪIHkd>5J@ hLvHoܭ|O׆` (cdECrEL Xu- U|ӖmX"ZvoX3/'XK3fi?|κ:V֚h8 hfK4/`vMud@o[#q/ '̾tGi٪מ?S7zC':!* W Tĩ I D ޲UQ4+ޤ"!K?[٦<E^`19=ǏW%!:#/eO#n>jW1c*{iPj in1q8ç@G._Jk'bN%+Dž@-<[k>%zѲK,`;Z/ȶ#Nԗ6_lzLu^l, a kƫ[<&- u:$ C9Sp #= %M]9k[臖ӨçTXw_U|aA=J"\(#{y~o4mrzL"of9jPrͧ9gׅICoL5Ka drmb[=Ջc&dj@hyϸ0,&G#z6s'arG}=ҵE{._F'As0HVX'Ѯf4Ns1n%8,K&Amw"t46w+=0}q7vM{]0-`x1_ cCf:֢L?̰P@ 4A-~p/Aﱸ]Q)9̏v,'0B!߸^L}jbT h__i&7ݹVs>ZX8VV]6vu|[v"ő(plۂ Z7F% r~SڱGK M>RW ݭʥkYZn_:&NPeb6*W-;Y`cb쵎l $+"5 chF^o P9~[U`L`*xl܏ FCҜ[@t5kuXޠ?\~]NJB~c= rN< ;Ռ{ӑfKJ*O{iFq$./|+0J=Ӣ!w}Ve؜Y {Ky%e~p/ac|CWyAM8,V \ScPdE8\Zur9I!ۊ: (tp\]^.ў8JEZ] -+֍?_g\B&S* \ۅA(#\|Ry$%G}υ.0F/{h8 t+ոn]{Fk!メ|vҩY}5 gVu`/x߬C2Y ~Z]2wV'HrPeZn瘋p]$L!}0<.MƦ5&[d'-jlt1S$k՜*:m]()'LT-g,Z@EX{a9}+_Px{(P_EK&(XNQ~]bZn67iH4d*PxλZJkm ꈪсDf2I-NjpMn©f|m覇Chѹ$ 33owCqEǐF\ANdR_VAA37㲀bF9IuʚCbgJ (a-f 5ך)S Ѣ"sn.m/G0#_r=vԥ5yU3c'{5OМ9T}=8d)c2^ 㯁P"x&0ëc c)fIMUb?:~[ 4\^0$*b);WXa'48i8W< T}}w4˵L " +QU|ʔ=hZQl绑{-ޅ홍5=~OfɻgWJ%m&gRhR7pSa i"$ZJ [6GYڣ?;)L(e'SAM aBT THP{|z~¶bS48{;OkR@Ȗ - [5 ZKd9ۯpZ/4S c-[xJY+$tϑ3P;-OPmmm/u &!7oaYpkRa^ZiUG%2B@V;CDm%5o[\(tE8#.Q~T&-v7mj>RY.FiH_hRowCdA ccy w!5{N. [Nkԥ0%vBADN<@(O+#g|lTz,Nb}ϹN_F6c͜؆]w MIݳf}Az]LD*# EZ1ݰI}!i,9cz$/;MpY;d=3ODųh<_O[3/OD"\ 傇k=m2f4S] :6/<"o r\ځ^zݾ\- $e$d-QrR.a 7Zir,^ƣ뚒Ley| #(:HXYyx%e|F<9ğ⍔Λ{?,rA[?}{?}z3oa\x֯SCj}1$$V"K Z`XO8_t땱¤ԊqLkMp:znp?.(v6U`֒k#afͅE  N} <3I"J0p4(9%:<7mo11Q4nig-q}-k& 'f"n\(9f1KeR& Ř(L PSY7myZʢ{E[S*oWR#M'[c3mrxV P+m#o[wdBҭ҂Ht_~MdL@E6y~C6)giu~mIЕ[Ho(0:.[ ḺBijP5\FjLTHUX<ilqq MjMgRT}`\a4MsxWFc)v3az4=8'Ehw?,v8([jŷ0b1yZ}{oXPϝޞ]%-߈e_qJaZs[q|Bn[)[B@f!< Rdo_F"wFrժ_|vKorޚi%3XB7f {XSx;D(fnzQ _= xOd952 QdJW{$ \Pߒv)4LKv0dcKKϷG/t}Ou?J"@ƼreN[C;ob9gk"m8vswl>=\ hvn' 0CD,=5֌VB!kܾaСC?D1wݔPJ6'Vw.D=Q7Id`$lg4b- ҹЅ2 sxc(mZ:Ui(hVGgГKOvT劃lҥУaj#k$k`{-WĠKwCZ7Τ,A*TH~t,Vu PQÚݩ3i/;m.^l=y|.c)mI4^+SDՕ琻zV=nhMRSzʕx_~(bJAǂkR˔* əW4SM. I=Ũ_*˽j tJjD9鯑joF$B9F[GQ˙->l[}fPt ·ayQԪk#b+,1@a^O EˈQ)d|#JL9ϰS(3td|,uAA7>/٣H>2M[Y$ xقМ ! N7SߐvKA+^%-@)(^c+VIo"J6y:[n*L$BV1y-O8Ie$TZN-4;ӱ rEH 6lFe<SFacTk1̃19r.-1=RUEQaW8|u=,cZHm(ǽEo@b+1iyu:r1눧 -'C̥-aoD3"1qz>`\ )vik9 OE);M-gnzr- "Vu^MP~]nx;vi'a{՝Z팧>:\¸Ȃ?8q(bߙ8r-4M9N8%6hQ?R`KOEÀi?\F*o$2WU}8&j|hӴ'Ѿl JG\խ׺ T>_7lG=xR H29#a I~+-vuٰe$乭V7b[uVOyq~?D@Ő;^N'[ rk_;{+Z8Rtg߭.0js HAC-82p>Hq~җ+x2r!_+[VxG|=8aX7q1{l8,HҢٯAYHl+ҽt:GM@ 1RB, 庾K_K@W ^gM=9A׌{ Mz6P,9*Dq@ LJc#S_Ao> T<'w*]!3FZH*r,#\G 9|aYmLF֓LGfg%st lG?-#aɵW8 j6e"t^r֯J)#y 07%4^ph;GC{*98:0"{GO&4:_1uRҪ½G؟cF֓|5_2$l堟_ʁãigTflB_+u"}E8?:7wHU䄿K4No=pT_qʵbMҚAE#x 5 :jU'Ag?`g1z~{WA.3tY`gvv6ā B_Q8uYKrAx"͞A>>+fk"op:9x+(ML(I='g=#0⯜ץFl@)95 p;b.`tI0cj'Qnd4<؏[ݺK5|]G^bH쁙ܸ,qo=6CDT*r+iY Q"ތDYU*I]6jl.%V@8wDMo8%p:8x5te 5IO)M +4ȩIQ+Q(ܮmm'*PO35NI$U`׈; 3 h 6F4ػ?(:+jJM@76u 10j3n+x`7>Tw33vL֥\̄Q];Qml(j IU_ڶ]BKHsKzF]CRdJ)2ǽ? { ,,jqUh )|)/(GF)b"ba$2<٬I\@z p kD'`BCru#:ؘB%Y Р(s$*&q 4"Oζ%xZ~LU4A;8{2h`)4iFŇ݌`^3[x Dv 9~]x#j."XBeQKfhWD@l5 &s[eY^@ZPXip0M JڻG8_磋ٟ\RA'-B&2N2`PPH}X-&`Z hH=j1il0xge0Lf@ `2 ?V[W.mѦ!r^T͍?o-u2`:?"`7x\zxqe"*]0lji(\+-M~r˝Br9cX%d!wKS4nB>}q~&ؿm Ab:e 8_YOjWPA'YM 2U,ע0 2c mfTmd.68͘DPyO[;*H4Gyxek,wѐw}vR2.Ҟ{nAb][oݮ'Öx귞ylqbDNi%Z`?vBB M'p8APaջ(; W;l$dmo~!D~TLאM'#eӍE#"sk-aU Һ!h%PxI,,he#٪Xc0z<ºR=r"3I(I~#?)qi4)1sb(af~h]:Ya*?Eb㶸|/-g<͡x1{ &h9zّW;E q,MKY?˯a71~.t0](aEmS7^oՎAH3oU$ Ǥvцk+I#i`Cϫx(;Ze5_ʏcwJ=ܓA*Q _q.sSRKN9[hD}g(` 9ɲu_HIitw"P$@:XA?&d9K|[j[hV!b^ ƪƧfU&ky3lUqFnk'-k>c0E$smhYyhmyhꆬ,{ĝ^nʲh?+g*gA*-|C*3Q pȨNs 0p~o7G?NH Ѓ?jө~mϓIsɺA*H/=rS"~IDC}l$u8h\Q_xx䩝_؍`JBQ@җqFğڰ$PD W>`o=é!um_çد"I\/fѣ Btv83,pVqXI"P),Wʪ?TWT2::[+}hDDaQߣKl}Idj&)t ,mj`(Ċ_,."q.Oȡ' #f໣, k|&$] WʬGmW2ئ3MPyJA}*I N}|vXIZ"0%${kgt?nxag*{ZBeZ-Gw!AXG?˩(:2<KFEGCW*ijPIGH>,!!f|.ۚXs%?K̀I][)Y~.܃і9@C䰇):[U :P c֒.!+dGk \vX>OO%ӆ ,z\nZ4Y`8&1-B$w#:@NS1R+Jt5Gzz1d`*k)ò'tӷiU㺷 ۠U_!n?șe5podD|o:/."@Wf"6ffq0>lo~%{ћM%Yf4~3]fT:Z֊GVԊX6}k9z2[BU뎦"]ֳq/GOٻhMj\u< b{zOQdB.?rKWPQ%˒D rguٿz}23tmŖEY84/ Ml4 J(DтoD7soh a^Z 8t2 {LCUz9n6k(!BC;Z$-n!W!\ p6h H9i)ղ͡X$ 3tWkjosG(F Rqژ>)C'b^Kl0B7×3Y{O*1Pmc `d9QZVh;Sj*5?i!0Y YN=أUUdrT:8 {1Vh^)UD/NN,1l,CaeP#Z@0S6NC.~swbddqs mҌ&G _IJ_Ẽ\l;tl|IC}.*Sm9R)OL@l.Y#/7D`ӥV:-RAɜ&L月Eu(¢S"ީ9fe҆!24]D.| V/SvۥUM%j XCkBXf9(l x1pL6Ц'xW7C)~6byic[Sf3 >0ܯ+JsF6Y^u(mNәͯFAJXyV kwh5T;GmoMX@gt#SvoX$bvABT"^t7]@aM<,'ц,2j^+f%/WuqxjȀ'](}^ 5MϮ1=Mt0o-BՄhL@e:b59CU0zOُ:>Gg:cD=toҴg>6(cshU+joj͖77vWKښL(E:Ⱥ ;P~5HAxjֶpSenǔtXWtuU.7|$Dw{4Դ}??N1QϮq`IiN Jf= H.Zc^( Wjł4+[+Pn@Yk]?Z!pub%.0[JJ.}[h6B(zymAҕKj6;J.brfАvHCxUߝVO񛧋1+sb!zd'k94E=;DEU+#*x }ŇȖaIE8-$Չ-` *0RG OؐGD`|treFJ$j;fHG}rE5On:^ޭ f{zgwuUϸ2fnO%8{wq^ix^97xy$Jⱊ{Ñ[!tᜳFZ叨u+2Ւ΢ݓf* OkkHTxSGg4;&Uei(.%%ۤmZ׬$O<΁y%XyJ;cBSRs[wCy)_RfSzGpp쫟?/1 gJɵ}KjAE46 gތy%gpSax0mͮȡbhuwpw3L$[i<|:j* CNZˌ6t pz4vsKv$G^;4]d \eo+;Q0\lhȶR{Ֆau:|^UkNNzL݇X%w8+Vb &Ή_دR:U::j$):UMja HxYu2P%W[I9*Uȳ-酿ߢA=9ƻ3*"[M% sWmtV sT2׆ntv&#&t4)_jwꝐr:&fIT,2mP9\ۡ&aĐRnԔl{]h9 @]U"9.B,m1f|s/ؤQ Zw~] onL,^ԏ8#IQ vT㪰 U5r0gP8J12SL<$V F|H M6Y)%?h o7Oaa$9?XVp5s "uR1 Ղp&e*%jgn|Yy=z?LmlCs o`lRFQ:D?>NZ_֐mҝ"[݇^] *oV Tm~"4x tvn 6HS^ O!u/Ԕ_K-?xbjFUTAy)2sĽGOU#"oٛP-iO2Ư,:eYgH" LlT_=?Oo/st.9~x*\S$"OѨd$*X(z°x\dL`y>|Qؔ>26όᭃ+*^?;V ݚbFz4fIuZ2R=bw#q` F~'Umzl:q.SKvؼ!eq\d-zuuU4 N$VȆmKQ%YW|,9Ruahȅ4nd,dAa OG/&) ^ZK .J0PI ٭Qc2M]d`&^S?Ljj_v: J1QzMTc^lk]rď,uD1N%}Ykk bPPla(ʝUlⴙEKbq67cx,(+MX'ʶϺ"u[heM uqڢ!ފ_y)Fy]btA&% / +r#1a'"RFI3=]:92,ip`QGsbm\nCuNǦS0?R fq<^= K! |pJvCϺܲX=; ֆk HpM*n<4~i Zp&zvL[:\J|Z]4:`w`1πu Q>T륟HA YWd>.fy=o/U2owbjQ0BL cMxSYi$Wmqc^uC  =я2Jel[fh \&>P P飾0GLiM Jo.ԃ+Bn #FgD| xYƦ|nRiOo"=H6Q8qp^A Zi_$hjm%kbn `A7!~:y"w|p93 `( 0e,-!~*RC{.ب\^ Д}m"ˆ$sa11stW쇞uDm6Ro\>KM̳eŢ>"bS aP?[;d#= /b%#w܈X^I*|ĭTޝJ 2s D0 ~М?㶏HLUɈc-~1+u85E|µذgYF"i9Z- +Y ZinXgyHmGH)(2] AcSy$bIe Ypuܙ4!k(N8u7\y~\*NÆ8s c Z۱MDiWZ#thN\G~q 3a*&5(|_s=Z7gT "8A[[.>T&`V>&vJYؿTA%`i%6z_FNt`Rv̼-TZHN1},Z*_q}R\ +?3P^٫* #(h,_&~{D-rf0$h{<:/Z^G7*}6 bk} bD u܊yIvݼz!㇔Ftq{z6dAs9x1".sg͟'.SPˤa!cSdk ⎵Z!, /$(-sTϴ}dkCQLHAAGKB(uТ"'G]XѴL!=iQjW .t^anWvat!,c,BɼķB` U-yq/@e-_r<$t`25nASC3'\(t7u҆vnKW*l""aCc#.].m>HHєQg60 ٯ3" pҏmEq+ ` N1HiQFڡjNTD2gdSޭyhtDH@Q^6V…[wn6I|6>}S2׌4 F!"[+V-8>dOhYh3ڴ1 8NhܼcUPÁƇČ:[%]A?͋gUz8.c +o+ï牳r!?F$fZ4a9O%>(`;afͶL:jQ`me)/:)pD-|6e Y_ jF(v \`7<%,A3B12k !jp U'QW`:nopNsHLmIrfFσ(FoJڞ^{Wfo;|YU+[ZႛXK3eX7Kj c4t|F5rhL}5sN gVrV fY~3 vE?GĻH .US+9W% NJ%&Exm.Jh%M! w`lW2+;=7[jݻh= {7^YL%c;_J1e9'ߗSPA3- h(|9AMC~e(c1i' \ΖEĹ4t!t+kJmVZ^>d9Jw͑z췿O˧cye:$+soUjyNͧ\(| TX 2XWufzBm)L2.s md^Kf@Od79ETT j=yo כwRx^嗳# ږo7ڵsu:;O+e/Pd-ƕaw#tֻ_pniK5NK2ތ뗎۹LSw 𻣠)[8s"S1o ٤[P.˔p3ޅy,oy[(U6"笄-hhnxd34J!Bڙ?֥^b w;Xe&zw&+# cSj@ ?1Gc jN i˝s)vTr_E͉_2b-2W$RX@08UگDilY\x5$qlv#kҹb}b>{/>3+>o:'xdnc.hFйOpdJ.AsU-ё}{L:G fxv2ߨ7iEwp4飐#rFkz,떏;W K9`8j73k1ssݕ Uҁ.V.=5t33IjhFkjtx:yS#[qA GVjآZ,_J2s-uťE`6T2.-bz 9bȄ_ld"@}}0Z!)Q{/2g>Q.{_[z_ҟs%3Q(cѡ*-Mjc?Xa*bN XEUٞ$_N$Ǡ9 U-M3g:唐x64Θa iPlxG[*R23i3iFPdix/<N7Nu$t i^GtTJiYkknQ4< DGn3ղPLSi-&PvrW1$șH;-j#Ko|)\9$-ve[=r'Ir3c.҇he[ٿ6j:4aZ|(0e{@{YVDfڼ[MR>^$_B ެ6MD$MlՂ@6'&WA~Wjի\ޏ\'W#o;= /)Ņ19R[r29g'%Aj fQxO"}rm '؆9d@EKx!rIUjUh\+m.oEe9qKG};9o6%ӂԊGw2ȩ5p!otٜOusfn45&y[w >[׾r"8S3Zci!Eo8reIPUsQb8M@a˞`d.q.'ubsۆj }Fi -;X\Ff ]הGNJr?lN<]Ci"cHm"Ar5#Q#<}{ĈKAGʲxK7xM@]|XuHm`k6Jdx!y#(Zibc, ilضϻw|b1l *d/5MGH0!(ԣDr250|Qh>8Q01\mXij' KӊU݃^ p7VC6kP0WMK[Iq`A;is%Gғ``9q@8~a*̘?M,sMRBu=Z݃^X4Y8Y" "'\I= SPK1.$G6t5۞.5Cͨ;5i$mcrpA׮" 0Ij*jJI2, }q8kDQH LCI2v@\T0}"dr-L'Sm>rJQ0 f9mT"9sJxw4[<^z֦5L;Λ6Y6ANrkCHuy񸚱Q>{QxѥzYzoj C~Gr`B3us!_^Z]K Sb15(0ս| ppwM~ q `Afq ׬X?b >5_c[H(ݸ ȣFs25"ϩ-Ne|ֺ-fN"TGbe%'hڸz|teWg6HX13OhR$ a%"ՏA/ ء..y#Ib 9tF"eO8X-ũs r|-KH!wq@ųX<ԭhlKU^=B؈sFo4m!]p`ۗHŠzz3l ⽐.=ZѽokPZUdW!8ˋ^HD#p>B&f0+3~|AFHH=:}`N?&HՊh?_AkhB֬' F'ON~XO=|)WN¶8$g~B$,rU zQyﵶfBVC ?,6I?`5x +0*Bx85B':_ZxO]Z%%Ұ&P[uH5,ݧFC؜p7Ѵf͂,.yu^GNccMzd(a`rBf?@5DL UH avʯ 9X7"{PE*CϊqjлQI׬*&>Oxu .5>6O @Cv27^ѵ1tφDP$BO~['0sI9uOt&&w@_ ݰD&E)z3fAƿhD6yn9>̛wE; )\˄Vf7NjFd7[?h «Ah {-6xhծ. 4JO!4;e OvY& 4r5MNpbӽC7rJ/?D@~@,&VԽ}ƾA%Z+CeMaW;zbwSʫۻMpeLיH`VXC2ap|X؝xZ(Mо&ɮ2qvǕ aP(yҠ1+SdU}F4>֢zib`Hvr鋀y#fAC.[oT=~P$)D5swI-ՄA87P|Oe<"gK8YĦfB0 .ml|4k. 1_%02@lAa!n MҔBJ[䦝YIaŧЕٗ h ])(^Ag66S6  !` j5^1S鑩f#jf2j`>/Uv>tW+=*'@{gl=qMϩvpNPZU9%:srwunQh"Uw&A|heԾ/ 1h6 ~$~P69}lEe#^\R3JfI6T`$0^ f 82i-c]~uےEUƕ)GgÆV{H.`,KlCQr`<3Tyљ| -8Þ/?ݍwam6&ja2TTnR$ >|s2#f;u+BpUu|,}pf_jI@C17EzMtluRrnm%qBtzS[W3RJ;ċ31BKJws%okB+&9y6BXDv&F<8[$4S'@N& cLP{`%K0Ѕ5 /w#wPwG^ h}uj?+1n;n,IIb3~?O݄M3 7@8NC{gP{ԽrP[8n?ԇ}[%=c><),V4 !ꮫDFc슀5-%!ΦIK2KkS';E0 [@E0zYN1`H":%gN;?ERJ0 6ОŃWj` nVc,Za9n!}'Aگ%mEfղ"*Zm!X!pH.q E hŸa?Ur~Zo6"xp@kK># snXXƳ/Eak%Ov}1B6&3І49ӥ-e }={:V5݇s%Pw$Ot.~W?c ֠FBpُ`B'ƟL`l )pI)aPwp lsA.) Ll6q%_If:cDhEK(wkˆ5nO3Al@|ۼ{HG{ChܻKQLe-\031Hom6nCp]3=kGؙWC'ل ¼pL?c ,&9$Ͱuo \/^Dd$+42jwZ`u\\?~Șϑd;f38KP3~&Qj,BHVR۝at*K;Qt\KϘ:&ޭ3|nɏ(D/`3(7">A)^sr]ZXtܷk-u$,| SFW Q%mC(v~LР%lͱQ=PP@q::UJb$m. Cw6F!,%=$Hp)N@QΝ8SFlbB i݉j w?6ux6zY*hf/?iV$w(cg/P9LS5Y3y vrMD=b?Hz?qxmXwE e}W?8zWIO땑 L &zqgwx&KdWyAJ$EתQ>ⷆ%'}|(qd2D0-U z2#kBbC̏GZe [0&&jGXY Q'SBm ß#J]℗ O d`(=S '[#2`j4[%CvNG`YF7K9M'eڲQ-2gpC[*00xgAG7E^htl)qfo Y[1*{*; Oj-kH,b &vQ^bҭV>OV3)?G4xrdUl,DGubjbJȈiǺn$10#®/=/p7裍JW%OToDϦ 2EƠw7\-d ]ot&~dF Y1&`M}zƶvV'S *_1")C8nG{XuC^ğ ~\" Ɔ)Ĉфj6Pѧj9ũʅ{f;@#ѝ'r' Cd-)ԧ@ wƋwG*W`ve$KA L9roNͧUrӞ~%]E|뛈6$f#hJA+ qIwBv3EN䑢s5m7s l/q[+bO$΍HGWFgqxd-49IZIoWz hpi'3>9⋞pPգ:4].]RZX]\'[2=LJTI!x%CV j)%9cRsQߦyn k0"#`ѓ>&^1Rk6d3لJ&>^?ğ4#&u0 g8˅ Ξdf }hTrcc2_Fͨ.NL9@a*O~b.3 oEGտ/âdWz|}/f]z\W.n=5 E5#ԄD^p~er}y&+HYm֞Ațߵh.-pX>SJ)r"g/VU0~ w"V]^W.k fẚtP%QMXdT|_rQr~XϘ%mLC|<2T'.QФNh *XbCE;z})!EB:2ZGBM4I/c$JJ@ ]\ZE? 57j;܊jQ,oКԆ:Do`yAt ; M).zqHBƷ^cak+Lq\"4jOѴ+~E1iF~Ư~dJ\j0b0S)|d+HXC$ l~mq ."&Ǿ(1zSN:bؚn\|,F(Ǵs`3ӫK{ge/k["3V,dS ~(2V[ 5 Lq~v{5/ Us:::P$2lW8ȗq~v-&P]誓dϿAsED2GBݲ**5Zl;e0ё mXeWt#E=T,O#5^F^ǸYK3 2y蛅L6JW $b _U遌@Ӕ|c"klZoˊaÌnI][19͕S:;]Tr0!f y8s/jY'a: #rdZDSm90>쌢S"/x]l.$w)xHpr_`/dS#i!ʀC72CV.޶mӮyRWokM%@Y#@RyD_(/,z;Pԥe jguvqmXڦWRP \u8tH0lIPÚb\1Vޯd>4ŭ=6>ɧ *VGNQkU?6[=]|d Bhv*2XfBpGUilRWړ?T=́<:qzIYT?>QcC~zcjAGZ n,X1HJ[uq#zÁw]2PLz5"H+~ۖ:᨜rH &"}ǟ)#Tm~AdXNN`]5تs3Qrа,op")TS1a#G&?ˀ:H=?*&IK,B38F֚'("1X0% E1 :@_'{<ثf`ܢ8$# ]gYZ7zXZִF! P]ŗXiɟ㶵fL4i=J|92ms;ә_t6<$HAéKdAn4FS {5ML]fT'͎F NjoF]dswᣨm.T] Mh C  L3"sd]Vn31;YɕcPݡ{sw5X6 Fxv"tUk\tޫ^?Ӗ>b{M>fj>3m@| ?j&'"^A$o޺](KƲipT)unЅ; % yu(k~m[#V=lK̻|CR sٞ:/MEم@*PZ`+rv-/] gw$,kcH)k4*Co ^2tG9X6": 5a='.4Jw-4ꌐ HAQ o̪=$-gYZ7zXZִF! ఍ I]ŗXi%L!l/iJ4Wabb]C6/9sR;.&Rs_%8^,bTiP ҊvoeJTBt:HBZrGv|T)fzǿM=g\/lC I*1: #Mi+2E(HXDk28w7C@Hxwa1F4` pq;PֻupV茮ۙrdX !.U/$c?O!DɥSƘ. e¹,c,Q.|KUb*01qbzXQM0x~7Mt52)%E nk{iRLsE"󑜥-ZI>0@#,K{S8_H{富j-Δ,=:xQW]oM,ݛ LUso"-;Q(59POtXC|5RjKarl[:7Sg8O+S}*McY4gmj`.Vp$3'ŇWQX\TXh³JԭbRX,Ȼ U&A0?H]`}{=۴%TQSNb'*ZΔyV pDZRwImUt/e:W.$({|8k`I SB;ÈS:SԤ)NiR1ߗk ]7sFk/J**4)*9HG̅ԕOX*脔]E)W۶s}I-]x5.ZR/{ȗ:-]^D~ܯQaӨ0B;1kX{ ko֊(v[W&Cf9L,ˏQRd m}33z /H֨Hz$n{=WX<Q4ӱ3\̙89EN-KVzn"&.qʚz-6%3X\HzCr0(I-TE+:F]P;9J :7?Oy(R]^C;y3u]*Sz9"Sz2Gf|-. ׿ UDl-b/O&\WO$S{֭V:^h4ͼZ"ErlmZwO޵q+ܺkgrf?;V#@ }o᣺ݦjd(*5/ 7Ht3idHyOG R RtїGJ00b釫lx9] cp%KslpNf+JjȟdtE`ڄI" ޑ}$9+Bh?_9f21S|DVrjfG|4lCg$w)vonڜD1N7xښhENk.q v^;>h*2M59þ' |yPޖY1.R9A9fz6ts,vƁixuqT,=8s3 m̔M0}:gh!o1Ӎ<.:JKEsJ|?!6$gi PĐ89H,o]L#SdLFhT+q{ ;ⅸ+99pg:G}{hF*eɧ 'u"\+ܔ+@-BlVh@!(^ H̀ VEE\Vn{Bw3_gnvR_AE?EC5E>˭yH`S]0v,gYZ8697cb269e9f5535d3bfc3995fb04da0a056c5a48215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d