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  4%$ T ]/]HOL-Analysis:threads=6elapsed=336.525cpu=1626.116gc=95.528factor=4.837zXZִF! PL]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk/ENS--rQ*яrί"l ˝Y_Tg:1/e+V~BO !9rLdJvA4G`ykqB Ɇ_͇g.kny@8M[Xԗ|AtNXͥb탰a.BU2ȄdUdWau![ޅ ٦SDhbG|OSy*Z>[(N\?t)%::QP |"{->$&͒ $dʃ>^̉ o:( du]tJv7'{mHRzW$mާd<_(*x:yW-3T3 0<*Mi~!>>GR%@i`*-]sOy?2S BqKV;RnDۛ%&jPMpq4Bk!/`ʆ5_\bdGY|]X(UE`iF'.4OY(v KIs=u4^BJY*owCa[yxMܢ\<-h! j'8 (l`_vʢ-g9hz0f H4G %yybNsdkݐ)`O hz ".NRGw@!fɌ'$7mʾ ]c8t:3,'*y!QNTo~g.`!ij{#ߖ'þO0{su@S{y(†St ̕eY_ۮx$C7m|W?`]$]CvQ>E8dD-X0 (46$2/rʐD;1n-l|gT+Sf;B-<';Ԉ0(=A@ggҬ}Q_)1|(t4D+7rf9w\$"R֝ƱfUo|6Jz",;sM}1H%T6$&-OΥ#dD+n%c;(]Qj+kc{<{5dƔlx*>5?-Ry boezl۵ AbFyER#3'b+P.(ə'؍3,o@RjV 5lQBƾPi|P򺌭0°쐻qG֊hǰN#vj\ YE]#q'ߵa6fq9p&~WG(Ie/0!F) Y,momh O1j[tLA5~w%bsLytcN0eit(cJHu]cmݺ3iH2x۱HkAT$Ea SB ֟'.%1U?ļ Wf*9R񷿰$ɚ`z1N\{ҋsƭӅ=M 6XMiOޖrちpӠӃO{ dv ,FF㜋 #:E65^O6 +3m+<Pk \3 7܎)ͽAXmTJl"uPo__u~;@‹~/SIB&"!gcC h8/ӓi6Wv̯ޙu7DVHem:ҋrMoug@W6:ZqF@Kt>ͯ8?6GtR>wo@"8CBZ ,'_b2o \>i @\O*WSfdKY!dZQv}a{)7 Y-g7u6^K xlOr&,ztQ67uYU%%~j`csp~ ^w *433(wq,x0Pr2oiB #d$4_ECuIn)Ov_jSIsY^csYq$obU?-ܕ'eК5ۚhyu>*=S'þQd[ Y Jsdk+j\ЏA0Qϓ+E%67t,y;$`O  #$J4S|_uԪLW7٪4S[|λD4 o|}MInN^1(nks`}IUAL>7:oٻ[rNsDZMOPq`Aٌ L-)k$ v9MI7u^W]ܲ\EtڈxM' q_j6 侮3Zw]x"KN@.B:Sk@H{H|g~OGR5l<ؾ:xo=Z fx)EkhnrSSg܌~^E`q>g>\">3\$\QJ@U(<9[JiSJ@p\xdf)֊ >'< acffБ&oE&FNn^b+wvz?\f.Y# LӸ#ӡ[tz{wџ! u7=vZ4ijJXP9O<8.[TgW邫WH?*-.KHJ?.r Lu$T'DQfWg$8 u"y$nnf7dzBO:xv`Ջ.OJ 5"--sV3=A "_n]R}uGҽv…F1S+:|w\ZpdiGVNw9'~\–S(rXΞf98ր]l9ƐƕʭXfi9/+uhJMTeg' mI:&K${-VJ[]ZO8k1fҜǾiyH[kR@ȨsX14r=Ur, eǗ$qMy|E{EeޟF]joF߆N#~!{Gq&KAcg i$jh>C2%+cXn<OY蘣 &+F:*KO;7P9 >Gq]{t< vФǑ,Pҍu!%S%7.&f P0%2òQX& 5;#wN $,0dϻIgUE0^px5:zaA4Q^㿺xE cX?/:h]< ==GiiW o@+XyI.`Rkqd)#8= R٠,EG0豩8920nG60T6 F2?tc=NAҒt vg71+3'g#Ld(0lPNM2 L*=DƩ;T) } ~OBńߠY+4 Z^ 19^hsK"6^6J|vZ}Ii]&?%!Εc3fr+<"#&¬ (O R+E/P̧x.YkCK_̓HL}G"6<`: _QO{& ZHAOBLtQ-fhEzm*7 bIT?<ԙO)n %`UCzkw ve٤hҋm[XSiDŽ=+iD^h"Me: NQAl ~9D /YR<^BXVsCN$ o7q/$Iű:`/OǶzeYgϮUT9bSnqye+K):lKI0 [ߗsD=n/ȼa\eF;3R~FAfYwk w&VMu-({C(`~v/!\~ /m,},iHKc ;*Mу:ٌѓ}ړ?z]}SÊ(S9-|;yßs"3F΄%cL56!;E]b%f0bhTac? El+Έ@HCcѻCTh$'|m0)%,+Zg;,D}{\e>0Ƅ /4~wZb}Ӽ _Wk(&V!#dp U,J ٜSHk=|"Dwf|5!+L AKm65F9:+V@aP2R+>yC-cr";2^aUHgR&gPh,>ON_؛2p?xVf@{ ̿q!ih~B/Y["?uӱ]D1!AޫS;W{A$4\qGJh@l)EXVH"&<[,Pm0GNIkyniEfN+s-L06ͨأDW%ѿٛOl8C7vwE.I`h0s7Rln(ߍBb^َ1hy n W&JJ@EynIО/c;TRr,'<PQ]Cn1'l'%: >t2Z_fǡQH.$pH[|GY{y$88+&@JUOwStsjC{9O4 ^\TѺ b.x8Q +,`Won:p@6˿/]d2]X;Cꒄ!@olFx !,m[}KΠ{ZШi4JZv˂ҍ\ƒ/fQFػ7k 9od&,D%7X맧ZQ/AO6@ dp,#ӹ<A)l?c 0Q;`ڷlRiqk{aNW'P31o_h%ޭ.je |Kz_8(u q>$ ϶= x1 uOȳe^YrNٰ%y畿a!շ\okfJ!/g9Pg:pf|sm$OUeje,nBU;X ]@8Jw9 %4g+w2]e~sYg}\2m]zիC-A7[vȶd DN.vS_Ϧ-ȆY#!זEk|5o-_|{Co.%Ÿ<ٶj1MTu-o,{C*x j ;U{U7 |eG92; Zz!Ob1GoZQd!2a qI3/ nt"3>,s~u@A(CY4r}Ù0\-V 8wd"y1~cjjދw`3r|r'ا=(hҌƙHj!v.w!YaRy.%oZ {ET'턕ռFn9-#G[ڈTC!33W&?~? H˺LF *dQ[н̧L1ܦ+ݓh{vxV&MjG4X3X;Sof@4}jwP@Su7YAДwƉG6Vt#Vf cC1ua8;woi56^h<71+J rqfĴW(['U8EG8QmL8X:d_嬖W$.:VZ ؠpbnid6-U4|XR8(p@j)gm>ڄ\鄏k*S4:h"մ3I\Ek#FQp_mO{DqC"SH,RǺ*1H!0k&s) )e<0ǡ[ WFIGfx-ܡ̫[߳ 8LmdZ㦯 O@^OXz㮄)E PSR(L, Ѡ[&t]KLP=smMhQd^qi왝3nvTA}ёUXiNU$85aɿ?c^΀%$Z#s(72tlR->؉W\F :hCsm$7Գ;#Ml6(a:o,)>eL;^}?%vˋF<,]K5+^l% r֧OZeD=2ݣb+!m8`r hw+IӷK97)7֍ ̄0;L%*E;b>쉓_0Dl?"IK nw2BK=hlQ {x0T)>mLP44h?—"M:RH4v> \ƕ&j"zP]Y"}l}s/ʬl)'~}ݢ#ę|RJe7?8CPSˑ.upZ~tΎ 2 Z#MYNSV)ѓp`E.5ݚN], i-qb`!Uh[|di G3*'%%uI$)˻ERfW9JeŸE<&mU|?|Jb1fX\"5JWC2":?zѩ*<63hNTW\a'-cqа>^ WIk0L qw۠aag?*\Kŝ-f2U˝ϼ>Wm{K- *s)pPۣIY ̴%|ջawKt 3siMboX>%g`I'VldNgmsp'3D0*St $}% @rB7џ;=U~w]I?n_W^l{, `F2hFg]%Hǒ"ُva6%ȟ l9G:h& ?aB}b}Ʉ=eo;%q<h/PMz2Vom/{?ZlEHLt~ r*my(4B#&y!gEFr,S&EoVQ50ϧ8BXV]O2w_k5j 1q11,|4W,Lf9'$W P5»DPzf59QmJzlCtvg;Eö;GlzYΒ)G=UX8堑%u䙥|$m{ȴV>g!O\{LQҌj{ᣱAN',=ǫBTtluUQj NŒ?)X1Z_C8'ƺ1jCΐ:X4q P'fy lj\O^,('*e֞}؛p_!ce+V{6 # ќp%X1㌉-0OQYhG l8~FhOnQ;B BV5؀2BF{勋xUgY[+I%Xjid?O[:!4P}km]/16cxė~ӆ- I\X|PU9G\̩o*F0Ɣ9Ky{g67m;Z5,$wVn֛CzwkY]>Ds\|onLB뎆aNvc]˱kO(xRP?TbW|)1k 7$ A7 _R5Q5ςYO $l$c\NF)jmٗuӨv>/ %LʨuUwדpiw'u=o,bx.)K/ӈրO<ҷ%NQbg'|_JѮ&U'-}ԎHy +D&'{/8=iݨHMU="3R +lͲSΕ[v$~7a!AkN,E>2]p9 VOA,!9 v2BWOzSRԷR>~8pUopɼ HJ jZG^} OM$ā{L2yƫItY:nQ ctk 쵬|W)9O) NXSMWGfQʼ| ,V_}Az,ﲍ`L@\I6#~ >:1ټls2 ff6+׽56Sq7\ Qe\I־ Y)ֱY?4fVʧ @q +%Ċj&$5K<4^_U*Iv(']TDHAִֿ#9@` L5%ZS8V+&Q]όܗ;I_=U&QDW?rP ]p޵*:i/ђYB ΌvTxBVCG& ?UGpgr.%QxĤ]ٙL?^cBћ@/*cJp<} ?%=|QV)2ⓁwI)tI=u8a_V8[l f렗N1 #'hn9_3K)D/]XFOQTH %FGқ M7% fE>kĮ7{ĕ;oWz2"u¯lG驠7=]ijdTbѕ 2=@Vo*y5 X_e; X.}N_x2l!4>[^Lr/Ojzb6 12z#K-,MnBopbq^+؜lg]|tf&O0B= pH CD b@:F1ɳHaYL.3b"pejp xΌ`RX!.*59@JESk?a>gZ rJp3O=$@n vt0p#icaf"_K X([dVόSy[饝߈l? fc6+ _ͳ~~[4@G3gwКRi&׆@݋\ʹx1EQƁFoHbR1ޖu-SX>ng *`yUf{JcAFS!Jww1ECp1tyЮbtADθe~ 6\vuM-8*X^nhE;8h5(ۼ"GN&i? 7UyXmMX]v\&b=M22쯩]׳vDabhMtTJ] dfb?38̻Ǔp_jK^;Vrk݁AW1bVi$6j╰F+a;B"Nx.ַI" ,FZy 5 }N-|_ &VU e&'|G&4$!BH@l̋F=hľ [ mƮ806{VVGDO*Eqg+E{N&~ɴHb?*`NԬ&|R&,aغLm?Z?C3Ruv:L>pXdy\~^Ė)za$]9^qXt iB%>” KT$tUoc_:6RimS4X|R٧?mЯ 80/rz)$h0D %k6yݬ~G]D8E*6 Qj|! 0F>t8/uXR2yI=UR&4zNf誓­-ؒpaNDJ<ک˝M {X*/T3f~Վ/M&9m!yGωEZj;.Ps/CXfXh̳mP݁غڝby>`=;X@_i3G:i*brtjJΤb|Pd/zE<Б+.?[.i z0"_!DS&|/9 XRBm0a }%˺ihz07GRa2v~[uڛh%+aJzNg!"}Ӂ35HjmK9s0r3m1e2;IG{wwů3* כ_3=QA|cm?xkЗQ-7+(ўe6 Iۚet`U*׋2Dya_e"Y1 MJBUwT*d!4j*}/QI O&Sa<)od9hN:-{*xBWq8=dzw?@kF~SԸǽd$[I!M@Zwx H>U3Pե 'im12,m`~?ʎGKT笾>V~{FjCPGϚەPUfmYxMHl .АپV$IYM5AuMs{jR>6xhTO }6I QsVytFqA`lU !ȋQEr108}[o9'Li;} \d?R :vj! ,e~c[+& Gꪴ:;[a8h _yڛ#ڨh)EszBRgdcqxH/7*4!$(tyAn޺uek20vȲϯ@RLTOLV-z3-[or&P-ۃ9gӗx).V7x!E9kݥ^&U"E1j3fZ瞧Q@O`x+V\ZZ1s/' 9,èa͓uh7{I/|ヲx"rZ q[e5`!$Tx+qNIT5H(>DgOWyCXQ x0q!O3:lceX챠 J/.C4 V[(ЦT 9 ^ M\q] ^.[~?ǥ23kGXL&7,#2\%er(/ [H+@s;YaFTW{Mݠ,3~R>p2k*} 4 X Z{TlZ^1{Dۀ15&3/p:ĕʫY-XiHk~s4:mM-#R;`gHSdp:,m-c\$S73UJ)Om۶09l!v1ߘ fd=:R#Y}$fze yٙUe-Np}p9:kLFq0TjOf<5T'w.G>ӄFlJH1&=3'YU̒s.\=~rNJYb2 F'['Inrmhhk.uCְ`Nw~^8꿑[n]Ǝ',g2aȸ["e߮@bu˹aTktssyQ ̤c7S 80lpűgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4 Y:Hv&lCI F"`uBFL]@"XKjLPQyX#QzK/TlP'zF1 ˚Mkz$i=Gk;'8T8 ڶ*vDd.{V~``:?`!Q30r# n6&%tB3nC#&-& A47LH֢і-f7aNl0uY/yn\<¹ZFn,"wApA"_A*UI()ӢdcȽG%tx?JSqkϧA?LQq0xwȻST63tĻ-j>GX3fOhlm, { _ * 61x .pnVj;W'XA'R7#K>^*gVF,hHk$" (C֞_;93K{e9d@e)Kxc~ M4MC`Z~~rřǟ:~<(iT IXx]؊8jWDo:X㱂:k9o)K_=kbT\N_?QTI)&V:N@0%.Di b|ᖩ_i. 0p!TPI\l0?׍\%,;NU[gZ1W#3ha\*qU?- 7~\}-DpBJ*iK2yad@,xB |ezPNx*';gçdk Zx52TI %Lv<c^/6P'΁(#l~[09k_(ȉݽaxn?ܷg@vZ!uWa]# BRP [=gD|E:B'ε! h!#R.)KxxYOL~-fpbotu=d=(XхEk%Bvja!)WR jdn~k уB騵;xpX)41Y'dzpJE1)?K̩PV6I 6іw鈱TVsNEƬIpY1'm'%f~{ڹ#NhoO րP2gћWa`+VitrACA2&Is@_ tCNmʟG\ydX8>JGő[']&|J `X2r;Hb;  B|i ;Hg6e=,#03P!$G3h@~Mհ=³}xt)=GN!jq:SނY(]Xs^tvAYg]e# 764Ns-4Sc&&&!*z J"UUNdit"ҕuDC}&2H#%, $vbRZ6&Dsp";8=6)f Ͽ~C=V]q'6 5`mr :^M:)ؤ7C}󅎸=znsB\d9i|VO9P>vIUv$< :sy!%*cY.Syo ꧐z/_aNTڗϩO8c*.4tt tc]ys@k~[B!צl9xnŭ2' 52RƣB֫; 2!d1Y^\SbMxRؼU?E}:W,-*^+:LXc@ %C1|^\4ʒ لe{rbNg7L@5_`*z/eCܹGq5Ucz@c;fRKaX4kmH*PKAeD*ބ4e(e5/a] M3e6}XVjLijl䦰IcN?^\G8=d y8ٓ4q/J'ͻ͵G3KpP* +pdGnr!_seC3 S6Bݜ=鑔s8[ f @~aTU+"%E4$aA4*Fs˄=fHZШ43~?‚DͿ4Ģ6c =2iݶRFBI[037T[1}{sae̖͆3L4[_^|rЉUAS@"JojfY'ϠR7 /6"UTeg0 XV tKS!D~"c{1AMVsօ;nKCn6wNv=Q:f RX%ם&3{G ݦNla0MRa]"ؔ: CC[" ^U >ȰB0iEsUb;Qw٧VAQqOD ,[p)#_v.%ίc~cZۉ;Āh);MENDQŴ??IPkIo C] ^QgٹHgL6H*&MЪrC}>Կ>3aNNR/^'flP*[BL$mw v=-PhѸ*eVom A Z"Gy) ;&g|l)!.3jQ/Q-2~N+?pXPx#G}qmL7{Twx>O?:?%KT'4^9[b^Tš3 .a#[*6U/= ?(Xࠣ[ZW.)ˈu15ͥf2S؉=a{Ev󠑁Ֆr5k8;Ae{mm0ةn;7Vtl?)ܐ)cu:76;_+v9K\)5g1-c53Qܥ63WBf \%)ۙY|.jp25 )䤠>]|IalI[LER`1BsR[&$Emh 1{~›iJ4{{TGxQW:He2\ys#R[myk Sdа}JZ`;\ߟ&- H֚$NX{``'(G,3de?97Wq/O_75XFE(Q):LĚ%'=>~ !69)X;k* ?V]GgQap~n% Op+<5D91΁XܵPq8A*a~㗍GON`ʩXkd~4cDSRgL8Aõ="=:ֶ|=SpFeVڂn9Ѷy" &P0m6dM 3U£g(]T6\tcQʬto.S;xc&_vB:K bDbR6pϞ9cA 91o@xWQ.OS)/>`1#ʌu/xG9*ن TU+\`e CojV|n,S:%:b70)_Dbn_z$eI:3\^6PU;ƇlTiPQ=c[vɥd]"ӯ:)'?z8gE2.ZfVA'67LQc7b/]3s8)9XEidWqק VDd۸KBYD9 Ԟ~h&ߓ( fb4;˙(;~JXEw-.2@Z fNӔ0Glce}lzIBOk`3cNk /&|#܍S%7yIEw)^ɢg4h^kZ!eOr)fTdSe@rON u#M ,Tm @@7Ԗ!@(t\"AНZkMXHuN$,kCjmƝdN}_6|?ģЀ~|c?r+ǿTfwɝ=;)/kD͌ ˗-) aJQ@?Pf`:튳1_R^Lcb_Ó)#qd2 @4zEU_o%*`vp)(Yr7!:؎>Osq]7m祵Jwj_9og<ѯ>>3oRn% 쓦MpRFF&e-ǀ) .ӁB:.6c^N)щdzYܕπ(jUA XGo@ ăp.S]V#ޭ z|bR9+]+>>7Y gI6k뮜LaITO@̫b?*L'!ZoאS`z i3-K3r[{p{*_-+\yԴ =zh:{`! C^\ay"8_MbZm%di %n(x\B:[6)@  lX/om`|~ #GKO w75, mmxJ~dƋ i6UCY_ y%7cq$I*߬@Z͝ ܊o%fך|x7ꄸ@1Z7V@ݧ LTmlk ڒGcno8}A9e@buL!&m6EEdDY1vVyDh^pP\o)5Q!G:ԣ%!^-L(v_MkoqyI\][JA|!t4#U5B诉$ 'vm fcu^+bUAo$om izwN+-ΰJnDL{4P7uO^r`ʹQйWhŒ$0\2ےqgN_7ɁzU6|9c )\ć,1&VF T+`(Ջ9!`~c#UbZDCo4LVLiAZ`[w YT"!KdPk%}\e-(#CMo2HoCjsk|[7|@*:nfЇQz8oPO8jϽjrv:A @ENCsR#(\]Hĕ8q緪4Go8 Jqھ;7]< np~͐)iP?c-wM:ɓ7=jQ,5?h]&͝$nck~Yأ毟_3:O#&ҲV^ ozRʅo|JљNω^ <x+nU7υMb,vI o:S&{:ة:BͶd*~[96۫{`a2r91wX=Ļclr&qIwJr*4C26Ƌ^x[i` *U ҳg .j4ྗBuvx 'kpۢpLlN]ZMƄǿ6`X~ '`7*/jgGK}H\1t1x ah92Kf#(,hXNŁLn+._T)Q*k ^%Jc?[5j ʂٺKΑmaPخ1kY)H`G3`%:!cWZI| Fc(e~׸6nP4f<$ "}An_(W2X^nx^Cj}!V,WwRۈ HVr! Np~W7w z<8I3k#],%t1uzT [ pY 3ɰU9i2$~?Z ~+L&\G wcx{.Fz`>y3X^Q֨Vn^ +F6>]%D_#2 Tc]ǀi \Wg%]}W]6RPt{r"54C kzx/Bځ+|4^ db>sM‰5WK/&v5Q cC8PvYqdD9 ߉bNlK uɿ&ʲ@G22 50 &c.ŠQuM\N dĨ6R,'[v!^Lϣ>r̡DX3.'~F%X1{?Ld(ӆD7v1Qj ʻhZ7 jgj;D!8Dマdh?O7p{I,LΫ5_%,H Sa+T,{ T&A , RNduLzN{xc Uc~M0yCr7͢K؏hDs75uf6`Mjl=9r\1Y$= fc,wsb;Zׁ_2>']@8ZLhSd>{@9a6nd%hW5L)>^Ŵvԣ&|2N 8)r UG`dXRXjP 8Oy#v!əxhS۸;MYAZ D`򸤌qRl[;0Z̓.O'Z@-NgqwAؑ]1Dcfn/9'wϜS 1o#ŭX_\=?5*Qu-o2 bWcV j@Vl'r1b}Kod3HEe3!jQ1P0p %EIkXl4;/;”R3>I+54g7kO[%lwS%8hT8"1ݶs|FE全L_y}6 w+WDĄְ]YF"-J" lܺS` k<41o~#1fRo+4䔢U'=Qvr66,OUF|V;WF_-9]շ9&kk^u^x3,"ݺ{Nt v9a;HN-yW{\vdc{E5O"|T "$hn)], =IcHA 0!rG({X rbvO)y#HB؂WK(BXĢɮ1#RmUń(1qSrލ/b+n1QTtyg,InT*x1xȕq[4VgΗJꃡ BA%:ܮK¨7CP *` nU>XXY^A݋bz Xǩm y Y)뺯#f3DeIh$Ϻ 8o5LT'XS ͸3' lg次Hb1dOy$y1durCfoXH6yoӃRba>D r,- `#9tIaH<>jЭ>&V-`ѿR.\nKꘘa 7chv1\ i%!{~}&PSrWJ_[PsO#Nn=ٳ 2h4`^誾J=9'xt%(R5?dkD ^*T?Lb:95vy^Fay}T& ^pRӠdV]HRL{;|"pNFs,R=5_~G>ˀ1%36ppU.P4nHa.^p97%}XBQldZ0S8r8+"ڸuGI^_[Z<# =L/G$ޠƭ6-9T+ްs((vYa J|O10FFH /,zҷ^a,F%GVg$v?o mJlew.`0H=/@eN F*tα*iϗQKЭK2b% kI,UjwS,*6g8,ڹS7#\&~f.1T{h`XW ᪒s)4@Q}wZXd'f`zba=T̍>hyPm̩AHAKdDِ U- QC59U49<-1}"a) 2,k"]"6E'1PJ7A!tGE3*vFmL}שZT')4]PCq5s6P,|Fn/&xqSO<>T'X0[dQf}aq!'%Xh`үOT !ތ*L6!slgX'+@۾ ¶|O=|(iDӸ664c->.ݷd_ŇzE+w/( vSm#¤WXF:+嵹`:}Ck7qq赅}92G^ {;2iþRF/s<LCIj wld&=؂H\voso]&6JqʊsݹTKu\=ZGGn5"+7z$hH}ɟWXc su:zD*/:7Atl#Cnk>4\' |peҀ'SOVtfՊ_v@? ͼo0Bʑm}ɜDB %~eH޵Obj5潹 ڔ`tPew[ď7аkڣ59yT8?CX/_TOiVΓY ~Z7 }t8/X$cc e2nXCg'jչw_ xTzƎ5mg;iX=vS>9Y@T/Z3Lɨ{i!Y/D]-" %ܤχ} Orrp'IR'r"`ܸVԵ\ɎkzbU6Dz$9D*a@)BZ!B }|YRXSZУOEHa#ߧ$CPFy*=ܐ,Y %U B6fV]#0|}sI-w_P!a+sK/2{;QLgIÓ\͹K:ZufG1Z`nZ_= .fLSɥg"_͆8(A(Q_SS \#e3!jv&;IeX.ҿLC"qD$YL.a30)*/3"=@fW._' jK~h{jSu$J;\qɩZ%}sMH{F.^^|[Y]R-]x_Kꋜu^B8aA5Wf[Sk}e|M  3(ZfT[{_21FyNRmzQ"őݎ'ePLQG2.?G{nc/kdxiBվj&S`!|ɢ_) "XE"U ?@n\<4@,̀yuKj~6Q*}qɞ5 `|@m?'`1Gq&&TS[(RVi mFҸM$;o@23X};G Z#(_6wOvQ,˃\0YfLR kzYq)U8 hut׺k έJv:V ^=f%٥pV1x!fy?3%sw¤MI $҂7nBz]R > '(P%(t~ltFl GM!#Y <6̓wP&Uք=tbi#ƭ[֪UdDp`3RrZQ5 WCtw"O$ @7(0&'Ds.< I~ (.+Xk#2Z85J2kOt'*qj gJS4:W:^uZ;)agN.Ʈ,aŐM{8[yaW0y:sȤS21@k#gM`N`<HQK' {[*lF;o #O\1n"O ~W7pػlcu{=Uk ^Sт4;*8gPxRodQ0<^ h?g?q~n_ti``r!eixQe?uqS Bn_լm0 \ •H㩔O^Ô^_K8\m{`Ӳݎ@;_LR7=NQZJ D=,*O+9#* ǷxX2'~P L=ʚeޒ1Kܭw`)J܇䙑oaY"@Q)" Sqp ^j;N"a?%>"ΔRj5^D_;3kCZ]]|L{ؘ)}Y-Zt"92c : GD>8k)gU qT.O`\~\fw Pe0M뒳goxV !7b1t#2(P>":8xل#Έ;F3&"#3P hdJ WZZ MtEtpDR)})WAbM'Yzۺ]ri}F.8=22dXO6'F'DU l&bFfM7p$114 8 2lv=_s*$_$?k↲4;H{2_+oa)#|{x]}!qk !э?MOk~ǯ|`x;0=,{tꦢiMC`2kY ̘O4r[]Q> {FzkW:XXhhCMwal/I]rye1a\KfZOqz}AJ-{= Pz$.\Ζǥ%M$#ځt,pAY 1dqC oLU_Wi5a(M^ ttsS@R!aׯW2HW:=Ђn@ծ o V͇Vjj:eޅř?j"pm}Bji~vTZHn2< |nߥX٪)~>Cm?kލ6y@xM2@vF0'918?ÔU rgX)'9O[EFF N¿hաWg$">lkR" iJIhۖvSձ9; =2 p#㧙'#4'ܐ ]ܣ ;WTZ:fxDX&y!B6iOw7ܣ.d9mv WPgHhEpcb|v\5)zSF^ e<_N*4QᘆJܡTi`:Q *tcObZpl5#}u dc ͲK@"q}e<0;V(y)Fw ;nubWg-[ķu 3 ??\-AN'HVK)(7 =dn8/c4yF|"bܬ;rZ!`8{$e{Fc _o+[,Xc uwޑQlctN-H9A[ ^y566K8B4J7eRخ"[B}U2nXx#b4t0wq)&q(clehhơ_™!"K;DO ;mDIb۝Ubf󠕡#fzUỵRK8_Lv%$<7ȼyR+m'V>IQcenCQ i<3FwRj~YVp6]h-XO q͎)g(R8p 5C7*o+(9StǮ1Qb >F#)ʧ<)ƘG`?'1PRվt*peLU^Ņ@)zSƹL.+ބq(YCw@KD@ g̉($h rIZOix+Wz&ۼ-oWdmʘhөbͥ/'ķmD8,͆:8y%o.S>u{옹W%݃YG n L?Po^Y=6a)ZM%!Y,ݤ?$.,T:zkS< 8n z#t1^ )ugJv}q\i2;TŞ8>Th.O#&kgҖ&=v-/0lZd(b/xM8l|lua%8e|"q-P~S:[3LM|ա;!(NEObjvن"AL<9봟 :@N >yWln\tcW bژEu+"kzz9E>(WsIחnH0ͷ+LzK" &;A%_-*SXcoL& LK%0nBYLJ\XN5di3 ut!lzϨυNdܽb/yKb4 9|~ia_ؒz5ݑ 6-Djvq?ڿIvuTx`KA k \UmȎǑ68=Ӣ !B'_aoxCVi`<+pFz+):o>P\Ri'ٳK9/ڢ2$9+)ַZ R|1/FW%e"t.ҸcL;{<"خZN' b9[qr.܈wNd*ERSs\/Gy[׎m8Ԫڑi'n}xl:$埴 .)2˨(>+vBjoU`'_rBuD 9ò; _50n9tD ZLbc̍<A]Ӳ֍C'34ѝNsp܌׀5.8|X{[`vPq6ĀuP /ueVM~qrX>֎t-u#TFmň\^j_\ti:go@qeH}]C|3 ``}CEF}-<'tl:}'3gsFu׉]"E>A cܷ;i< =WO8iuI5Ús9aςϙrF?خ&D2hMdd L Vf7g ET6?==㊑ x1f:% :^luc$U6,D)(Ak7aPS3PR.`mc8)"u]y> ®C훺/s'2klaI182菧Z=#^9W^\W Ϊn08o4%+ÕBO&hQ=8j:j.($,+ntns $ڛ{jX:&ί"%l"X|rb?H>1yC;~᥷ODvhh;sKW5ژA+=m{nĺJ șE4̣B=bR~uHIg*̓){*bR!n~Ig.Gy!sw嵓t }6S=ʽl>ݭ{bxx. #ﺉt;Lڳ _e?1K hZ eF7^a.cɾ.K^(Ϋy*`ɍo`FLC 5WfaҰ笩 o8J$Ghʝ7E6@X`芪] U[.cTt֎`äkџrɻ[u p Pj3 p۟7¦) :Ĥ/Rʘ{q)G6MTmxFE5@jXC)(m nXhk[]n=Gr%^oſ Pܷ*ioDCUnqHfjJ z'V8 )yxrUt&{t\s^ˡk#߿l// \I\ њ@b Ƒ~Ч:x١֧^~C<GgMM';^a8Uatn|H 3LRs^sUHzwS[NwTѭekYZbbg"(jM8c&sBiB QMR U1nU0}(-[*4+;* <B狚>N%!E̢r{t:c޺kNA ܗOo{oѬ(e 'ܺmO,&b}giٗ߸ײ,2*42ow%c=mWPcq{UQDr}mC&-SEj:㬯&_0'wvz'Q؎â=9֟=!> ~U0/R<3;.ód.~8K[1ABE+ zvT͎~I d>0gI t&X/@Z,>Ao=*WNj!]i{l|N=Qީ ^o5/I6D-f'QhC톲UMFc$$Ti fŗ F+r5+dLcc|Mn.] ?$'6p>cMɯ뾫mKP/s|![z PޖÆټ]otT ^ e8_h*>B4bknu¬ EݾY7:k{y.BXU}_䪙ǐ{o`iT#R-\~YS"S SN5:uUd2ҋA:u 􅚍t7O_q \?fI*y#R[@6)mjU9R|2 |@00p2B,*.oOcVJ58KNyvfDףEKd!3L ж4gL$<(nYHol#ގN=?Yra%3 iaual5 @_z~D"_lzˁLAw.WsE$ #瀿%S(n* CEB鹔='*@]=J2LT)Wz< *AIଝiGm?9uNT?GDpdzrx{SwȎL>96_M>!"MSϞ+LDxDQLzkѪ/d(o b•עxWkjn֝Wȇq:q]QHqɾ0<kƎ7hgtضGW|ɟ/_]s~K-U>N@/(fM/V'#?(w'+rg'#`}>0QU0FG~Pd>SWKښŰ &QxCZ|f6X{\8׌iCO-̆eLl_oI)|ɔk6r C}8R ;1sP{%2S%poݖ\ $l,V ,XC{TZA⼆?[*nU7Pi+.h1)59?}BR&)I9(ǻ[ɤ''YST[e/wOX.Drp]NUwG[.Dg [ut3dM@yW⣘Q!ٖuu:> -uެ:e^PZJTI9kQgB(/1N5j~f&{Žf rw;e EP- @Z`?̙'3su&+` nd5ly*r1/闟H}OmvC}xZ+KBz6)BEX EC1Bzu:54CVn3+Jrn"^u_?~ A},گ|8Kg>zO S2b\B(:*M똘rx.bo!x|1a@y=7=dm]0[p3jgY,SjǠkG3!j?//hmv|{`-c/ A|a$EϡΣ%R@d0ȖwTLvU\)H(TJ'd1ܕO#6<4' &kG.m!S<$G= '62nXp("Dx+ A97 =(-L8<#X3vόr!+HoaoO៚tg?jT#_93JN8j>͉B6<R]bjk4-bH2P ˘?CdtQjj3.||t Wpyv\ `dHCZ`ܢʋ?~6x|98 VuNC\l ߒNT>?tz@xkL]F}8gW @D5IisrZ[C菞&mpW$!VSsGN"sr`=V{IR|eFJ-ą8JXlz]F KêC :sSq\J&rxqT S*}7c͵x6QAHxH-[EJ;tn.$ĘaGԱ<[\ q@5 I$o H&l߷W|j,?:ZZc2%5\Hbi~:+[d'n,S^|SVjiV:qd_Y2w)Vj{eMYN0VDjݖ#T&0>?5 Ǻ% kWkwyA )fDXqRPħpQQݔu [=9nKM +=2[D+e4H#~+VS SJIEZ&zo7f}Cǵ ςb.tLӈw sKVijД|wu@P'1o`#NN1{[ڿXdkf t#{ Ԛ.QrW{ ϑ>\X}$QGZRamz{|5ݳ*k_F!ok^[h?㥿Xw1Uj·fLk)V1( .x4/ MpϖOg,CMZ%MqmL$cɺ8WphS+%R[{cj`F/"-g$_ !}BTWӋ|/da9!8,!˳/1 I)D?`kDCΪ"T_7osNkjr3:sXtyu ]~עs{롟VsI;T<}eMvhQ/kCʹBB1: F'Ȁ22yxXbXڤR$*w XEiq aG@PgH8e@kx{œ~F(/`@tEZɓ:b'O9l{u7`xzZQ_p!+sQ V+3=-PLYf!^6;+=vj6Uo8e/~$w*QԈ3zqqq$q|pKRbb|#p)5[.s\!s[ rjk.7jtb9üT KK}6ls܆ǭYntlH~+Xuڑ`9\]PŹլ_03h 2*a~H灋Y;+J+6h* _jEYC]u$hC =и|+x32:^vz*kPn𔶛Rg8s8=3!Ҽ+a&$X+s?SR4'`f4K`/O-5Esez =gӈ\؅gnF<\w0GV!yD%X} _7(b+Attjٗt#I0/|/CzyzDn we.N{1"gCQO% _]J9GN#w:+ėy%cZ*mnYF<#t&5lE夡sM+iQk00',Ԁ1ݙ/Ly`"-Ӑ:02TEg? J|,ZzV ? )V#)^Z1 A6qք6T+:sՔ-k_׳p/lctp}M':97 "F5]{PBx :/x?}Vˑ5 E={Mζ[.mhBe[PӑC)eUTU~ufh1Wrcsj:;xϷ>qr`#/ YC,Be-uzS1H˻#F6(f˳M9bii3?s_'V Jp\\'IXv}9vRND0NE2f!nX R\{lFذeJΛЮ\D;O֚|#!,2}&hAA:P: ubD%H^=i1Z<59ڝE$+I8)/ )`vU73jL* bi'șFIƐ;v^ 8WlZuBȡ@<-=Qx' 8bUmb8 1WnZ,S( HBeX3Ѿk0ZeJtGaACjim{|U?ß-9IA6Kq@hl~aպ.MT;~QQC7+FaMabuhkJ@,l.M JZHR|,Dtq}H̲ ~IlLD#΍qz)KSU^3qBaŘ[Cxp$4V"˟1pC((s+_!D!xs)Mо~W[Nu܁-v8ّW ϟZX/{*a1\7?cYu_+EBR"{<;C>,2\(n(7TI{C坶$md} ("ByЕz̓ߤd|5 L^l}lL Bͳ#S ! ~+^rڡ2o^\kf[CkaV 0p6 Tn$㘳6ʉˢ"Ti ycߣC`~[7TMP‹ʤa+h mLUaSm`|:&L^H d:c7)x$(x/34 ס@@ײ`H<8qOWP|i(gw|cXPiTUhU-3GIcAa΍ө]r ۾'g~(<T]^TXtkTM#5vĬ?3lס+~>\dT >.+RHg|A]mRF@|m]iEz9ϟ9w ؒFVFɰ]7#Xft_prbXh^5yYQJ5 1yuP "\ ?J[32b O55ǨS+3YG;ו߈Mqƹ.fo#m[`~:)1*ZȒ^@Xioh*l_ th\Y?p)v ߊL|r<e)2v V4tjcBC*EPR_Yv$׶nBCç ש"AnE`ojY>F{k=v,H>Kl\#B0Ǖ&YAR q Whi7?/బ,xBz"m>Gc&qOMh6(}(L3 Ԡ 3 I"m{2!ݍISvg<*Sb|17) Õtd_X٬T(vd9pElM6}a6 Z!JO1,wЁ~/-ZBaLg;ᣗ@$sAv'eO6w/f bޡ3 &p4ǘtoL珨`uV|Ak[<0nBDRb!MڌY'"=9^No9؂ A6fH'.齭Nڌj`Vpʺv ym&9yEI| V?~ i+S.DJ.(BgD32O|n0%Fpnw~_lT&b03AmFylbۯL 2[n#}/j/dFg: ,f\gYƧ*wsw?dpNbSsB}bi:Gv`kF.t< Ɏfw5FgOUVO qt[/3,6#M~]= 4YZ@;4vEꐉMu[M1MoJ:2á0=im=&A $c SqIdKfKHwdNy"nZZ1? "ܚ[UEj_0Op+5O4*4m;0S#w_$I7F Â36iƁ/4Au;%,trh^uptU:BW{~  q5p2hF3_$&Tjޝ޻YFPϭ[kZ`+PI )64iB7pr~CkZdy'Wߍ;FX !(p]!T{Iaѧ) IjFCq~>ceZdf&5 H>\rj_' T-FGM^_O^*KQf7$)Bx}-*뜾8k 5D,X 6"o9| 6%s.R}L^}ze8Gg8D SG6A.9S]:dD}"ImAZAI$]͐[}3V󸮝U/v m,ύ0a5PB/cAHGA@j_4+> J@{C@y: уV_WUۅ׮tq8[0&'_Z[\ɞnjP{"8rc)n1 Ni rڈGJ^'&@:(*cfhVBoY?u+6~~@`!&>k5=_|%vٺ"+DM=tQв?)/b*g:j$axt$Bo7Ɋ~5+َ _Z4ja2PZv]vi^Ȩwi hC6k0[_!p{"tBo gňubJJ喈Z :euP޶Poh3#Kŵ$? ̩!6~mt <~g%DiHbEaZxke+3?)^:cKk2#kuGb^*{۰K/ͬs0>ڛ?6OnvH Әe}S9R@#A}GOŷh 璄O4 3F%*Oش8@pǞDܚzO *!4|m[%}*P.=#jty/oX~κ@ ќn9ԉ=*E-Ɇ8/Je-XF㟂=v@͔ HHe=QW*s{JztI2yƂ@J`&P˒Bк$M{`cfUvhս}mSx+̩`(À'9{ݤC!m͎=]%2Vp| fS?jm+U]-:ǥ,I+7X*2Q^Ⱦ/&4@z6lm/רMد`;L.o/Z-Of9?wyڈbea%"oz̳pQSh+(_idmQ_)Xt]TJםFоGv:gn<J| 6u:A7^Q=Bt2<нe [>=T"y$SNHfn/ + ~5(7ZY %@6}aֿ" yUԇ;3vBRn(^ iz?$/9n+k Me2h%AA b=Ѐ&<$O_+Bs) >}AŸSqdՇ<[Ҭ ¥K72[} ?"vt…Z}Y~N67 wQ%uX9?KFt;$$O!\rViKM{͠ Ћ~rӨD^1W'~ 84`%7yW{(1w9l6 _?|G,dݰ~%( ;‘OpH,ԮXxqpY);C5pjXK:,%kS|NCM$YcFRF<餉(7 ᔜYe]Ӷ,5T<׌ ei#tR}C˶º%R:!<-(Xa|Cӈe׆>g_zݗ-a9 JϥH&L8e rf^cLP BTK用)?R+Ȕ|EE<޿k} 1:9vkI}?QLmL |>I)J1l,Ѵhye 24M^N3527AN( VFٮ,CGAI.M+ )Q' ;GZ9k\T/Y.hc`ӏn3\IJC- I?D۱d6ZB?bJUS<{hv&{FE"6 qG&mg驋voˍ &9I:]\ŶIG@Ltpr*E,l^D/FۋL(UM *@Z:u2DDMj%uf ['=pKq2U) H(rH8 ~AXX;Jt\.S,Bq+LsIa1d ] t1 +{xnCUjDB|!X)h1#b:SSQBb}S ?ẗ́/|{?Gɹ ZY?NGv_ <|B-fRaA@5(31+s|̯QD2~7i`"x<'8|gmpMGdu`]=2 Τ1g,/2/ח%UOyƗ:POsVNYn\l.sM^r%z_> hNv%&HWVvdr_9 gO]ơ_XݣpӋ{fgKxMN0$E4knUlEUh?7O6lzes溝<9'G,nlF&PM@GBr`+zZt! iTɃL&F T+l_ȑ?,&$ oG {:5G?L-%쟕Bp.lD)E`5#t(6sT73}2"\՘%ɐTy7S t@1H !Ȳm1u9BL+̩Dw`:JH=*k!qW}vFNfB )=MecHP?ֈF',|o^ &v7K_6Xzxy 7oE7)J.d׋sP[Ԅky^7 }7 Bk8r'^E-7~q2SږKk=!k Gy΢LA BSablX"!MLZ/Gw{޹0 sp(`&8@*oɺvB(Kw"4 iZ5_fBeHb5pq{W͠:lLXn|gRXp;zBزgiQӥg6\0Yȳ]2P\<*JˍTŘ;#pK⎝C2rHs'̫~ycUb3CMk+'wV2p7 ز,9ލ%,|ډ bw_U"Q=$H$.w? bGSSd0s#{,5H5;1O& 1+:||5ao!T@Qjd=k"(˹ }誕DI9 !.QANm~3X+JB7qΝb*f 񧞉h8 gVC ^Mbe̬yaKҲIߪ5q'-UQ,$kYL ų*w$9!Q`daQ'h-KqS3@6B{VZmܨ[VvhW$rOus((E)ShObI@[],C6>Ƃe@Ç1rO &A 6B}YVG ւU.d3,Xމ=bcKҿ\ҀYqWri8A:(O.~:l44kݗ}cnr#!r:n5jÅHgC߮̿.'cTrZ1gbP%FZF2DJ : elKqYkKx-KW#sZ1)>0b9T %<(PP]-;qëW {G,.¡O]p~~9VVd7Esw(lBa@i1K0emhNK\&z޸L > h,n؍kn[#f0»UF#SBj1mb~ɠ%JMlJ$~)#P #dnb{jLP$q1nuGm\xD*{O/ H:әr6HTc&B&(|հPs<^50\/J&,0BKh CHHSbE{fQսy-+m=OUgY$QxRu)Z._xYSo-Ip*5Sf(&BLr&{BNMHSp}U>]Ntm$/[ȗUmQygSCG'7%]ao1@·| 4)Ӣq>ƴ!U|J&A~;=vAx@l/`{y(3wg(u!-!; z~EeB$1:1!'51YJ@zڰxhOޡHl0Ƕ/_n>3~Lg 3TY|e9,TΗw;V`Lj;a?}uiV 1g8K'(T_e?kBA74b:؄АFӟir.kۀ gYNg^U-wc,7w Ӣ &؝Bի` W% o wi<QZEo /!f ]iE58a35eWuV!rz_ۂ,BL{tWH`O x;p rZ{gIVaߤ?q˴]R)Y%nn:J<Oi=l B%ƛo w֚oNknjT[a8C9qa}},*̬bS-OW1=ך@IbqVfj*@o4k[tϥ~p2"A~5;2HMí7|+t:jaOOa҂-kFa9@&ŗ}֫%(0H K[͛IOns?'~ Y[azw*8v: 31QKL&K@tmG-> JqB6PZGvaPdqv]rwGPM*\Qkp.z]QMn{;h rKu_s\sàHrțU3ǗH?,g;6-r$/)Kqts%EGwbJ1\ӌ<hcPY%(PB=wk21̃LăC~,x>iof~K[Ѐdl~ptKVXĤNTi(UhM^fb|W0ԃ,? 4,zT.ysW=9eo.gYZ0ef021e7c4eaf6a7445c4c8a38230b838519b439902f55b990891c03dddf854b84aaabb24ee3cee3 e6e8b4787869145ada1a85e687fd48496d7b5e76f37d08fd3908dc7d3718ed86af6a44e7cb1507fb