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 %`;Gؽ8nt*q* .#lw gh,jmybӊ;,ÍƏعYTy ./`tЉ uv!%_ȯP4|"Gu"X{6mI8ttrP% ⁾—f[rOa䤜x_IakQ[*D1ɔnFQm|Zf׺ґG^ǎ(ʛG`'x3d/z"FJ  E*1==|%˫ҮF;xf&w#a8{d % HOL-Analysis  n=ys6؈TˊfʫC2 QXX1OeW|/%(EdCZQӃ- wԚ+`3Bk),.)O30`=N} i+~y-Q/!"P%m%򓲬/|Bw7?~` uj-Z(io;vJ$\8`)s9޸uxuA^y/<-_; 9&//3>fj@] ~ytq7> +!OXy0blPD1Ko ﻋS2gWVT[a3)޷v@;(?cRdEi&nzn>*3աe*rxbc16M]gхE~co[F*Q"Ɗ*@}\ )Q,?j|G PɧEvл0JVuSV4ɶ=:̟CȃZZVHpa7F9H[y8pkçS,ż˴?Epse$=[4xҸt>J 1U ۪Ѹ}́cGѵrizqQke0\TY?Sܖ'7Mg0DAp,WE&RlQv|`YuaLP?Mu:b:aér*ȲK `"t/eEa54{"/h58HĵCף >v䧹e$#H꠪wyC>qJU #4$נatJÀE=m܊7To4_:*jEc-K/edo?u|8Wq.Eʸ"OZ\jHaGlΛa{LOn*ٖlڮ쩢:C ?+ׅ% ݞǨHrĤWa=1\%MхN;gqM6·7팈8p2#"y-Sأ7~s^kv/A>ȋy`K8a!RL.Y5|Kwfi Ǣ8/ёxձsq0 yfb y$°Yc BfAɘ#[8|.SCu[E_#-`SCR HNne9V5u,ߗVl\%He_:"PtK1 )d)Q5sh?r䤾9Op}j@ R Z&|}ASYҪtyRUjkBV4kFdIM5yp]pRd~ǵChvB6zI96ՂSo!4IZ]bJj#q(i$./ڔI㽝) Jb*حC,`1+rӄ ! _Ѣ}>,1 E}-$%Kz֡8<ٺgvmY7!Smsc'! 7c9Қ(=ˁh *Aְy92I m^! ;$U S+֑f#I*9?t?&ݶ{+(Yad8Q/٠gPh"NN>ez[m߶_^$/@Zh3Tێ{a, vNUݶ`v%valWlG?ҥ QܲSPNyUO8* bXrS5/+%l>0NLWhZXizwQz[+[X}t?>Ϲf&~RuBh-XCA® Vo@KՎ:H<+lAKJ OO%BmC&cPkgVT%HL7 a.}4=b*,@NDVKWI2I, 1a&SJg sst3ۖ G r#Gqǂ_([ac3PAUS"b6R#v!YvH uًᇢЁ_%B{EW9F ؀ ,_18aD 8 ce[C/ E3?;1҇@aڊ&غ УF_XoZBğ^P~(f=W~p ~_(准[*ԧSHGG `ʎ͜_ft|4idU&zͬTE5Ӟ:WOۣI@z%y 1+N=%5 Nq7!t962PޑJʁۄ(M,)x/F_b3O5^%)xg[H (26w[+D<'CʐF؍+ <TؐN|q`o>\WS1FhMGR&oZ ͹*>޹f4|`M0ehw@9Ԇ?S!/I$A"͍b]ۉL65 Ӭ9]wݲC "5>sw]l9sv@S~^gѰ-J3Nl:ټ5I&`0 '~? dw+m) CCPi5pyQicQ ⸻i OXF%PhpqjZǔ,x>FKacR;܌a%NwE>= ]Z*9xr2<`]l0a} N뤳WWAuX%Ta+/yoWJY+oDIv}8]L8QNJqt w'G}k5S{" Q︕;ȳ# FaʈQWJ{ij)_ٳGCQD%1p%iکe{8e X6ryXീ4,~',łC5]iNOR,S3_0SFUKί\&˼FagL"aV9u3jLpc;E 0H1IWfm$LxqǹV192JnSaozeE`bw,ؽ{%P,X+N1-B_0ٶ޺1;>H~ oѵӓ_{Ie.I{!jT6C7R7|VcLA<*)jvk K*UmpH*vK-iitqJ +-7k`ω_ cGϏᚸBuﵜVpf_T_#-N͔IV/r ~~K_pӡa&GDG ZI]#1S1-ay-DPɀ4 >,Õ%CD@_ޚX=8OX?]%Ք1/˙ekО.)elsp} !(R{5ʜ\|o&C٦C'u =Mx[ !S̃zf[ޘ koT:J:r=c=z!ҏӺWwW5Gнr=w:@IU=r7976; !><{)e՘[ר6);gv$U0|n:drSG!܈:ge?hw8ײoW /Qua p(cJ5]i.\XhL,wRG(?]_\ڀқ]KvvkJ:}ܡLv,]𾷘1=Ь] gS/{,~Xx-U=L$tZ֥"(4DrDcqu$8,0Jv7!H#/){s$J258Fde4йf1q3t"ܛ!Vhտ(=V r c&͠i@E:HʀsϱU(%qJI?fz"nޭMP=O«4dz>c±1) ų V8/آk '$~JDO|>9w,.P.1ţ~ſRŕMt>~ϏDZ]RzIk^%O@*@ ڥ&!ygGM{5zI=}؃;+qa<^6ҟh04r۳H-#_D8e?I{ŦO0M{iQ䀄NAp߲KkBeA|-BUBGsf/q-g#{k˕)Ϥ1>C1fzA@vLm}]Iޕ4u)A۲12sWln(0gN1az)R_({c_ .$SC?QrrF\UU~ASlGCNPWgYvb77*o8\ L@ N)6A*%Qc.C}b"e?=I?lSڵi_d 5f-<q%JtGX_1 Y`9o' D3=Ng9qC,zQM#4s"7@K` jM)9 NԿs~8nf:I& PMH\\\8h=k٬&3a _o?s/N |%O"e-^DŽh+ Tq _A)l2ŐFPL-374VnIV3 KwFJцyq|\N{t䗂 B"oL-$LOoE1{ʫ\k8 wVz P }Ϯp'Bp/FrQ]찏LvE㭢xl Nz{#p,sY<K NEWUmi봖HcrKaP6m>PG/nKytڡD4K >ݍ:m0v ̜Eq: 9)9j6y\)| r|%z ! BFd.@97YsL?a@9!;zKƭD\6m&G#m+]pB]EGѴ-@3sv(ϮM"3>/cCesXΛ ͉ErAƾ񴲊ͳO[YӃOq'o cGb2 VGJZܿ\ ssW[hLDծ}-q:S~'X|@UԾt },ɠ7mC>ggfeʴe{=SJP@ڔ L˿27#,;# [=Ht7QwF*MGFA 󗃹NRfnv>Vp"BH]!DE"g hKl{GNh~/VL,jeSOws : *u wk)94 y'iN*RA+9Lc͡t%W(XȚz-}<;**ՋFC:YI4{PsWWM&#Ӵ}2Mu hF#"b8ZYf:N&626 tNsB%m>ۺȜϖiv>"jQ`";SW}l*bl<8dQ¨7gL XI% O%DTwht`m&8b(\kM؜,md)9S1tqwl$Y|#vT@}]7cڞ0d]fDg=Kįj)ȵn]Fd<̅R}\#GX*Isb~jKhH*d^,#Ô^^gFA(i۞, x-w]ʝ0>ϝ0Y{wY ᒾFPFmݯ >f=%PԘ4: D?w%Bw\㜘LEq*ycZ ;i8E;rO4q=|^:La)("R)pݻ1 SrR@w9@;ggcJzfוe*@kpq4T{&uB8'Aʲ)l&O*}ON ^ڰi\zFI(chǻhUj@CD.q0Q/xLuTW+uV*ޣMb~ ; #ˇ!Q2j-g]w!| 8wU^~osMiqgt3Bv%vv.n| ` Qش3cgH F7W(NZ'n6 ȑ*zz9 ѩm)O_vSR:';iBs9ujK`L2D$>I_Y jpqE)WKU6rs!-~#Ar s7Jpܶ1VZN_psC<g'X0*? %ַK =Y=lpx[ 8UXSԴ̔xo =n,  a i`@JS*}ƥ=IWˆ背GiWȤ{5ג"K]cV<*{1r Àɶ_Aa@yV{s:iKF6SwJQM?0l"gQ^S{CqK\7jykUL˘]vnvH<$A’|R)$ p :s^_>DmO+1 f2ZCLg uI\|0ޅ 6"-?/VJC 21ي8@(MvޥD PX MS=˱s&{vd=pl3nn_ ]x20{ mS )Z۳f wAz!}ivz4 S ][k|MsTsiT3cQ v7bdp5 (@ <ӶjP2SJ\T(,к+<-`9 T6EL#$_3:fR $YtY„*a}hpǕIOfOz8*cIUGTg8+S7w T[pA\ 0GpfSդ*oI$ձrWbr?YzAXV`mGD0 P6XQk @^Y`hId`"3'%kcܬKYV׽*kR;$,yiggTb~Әp#9o!QtYA9t"U1@0zڿ "5=D:x~E ,]1á=k7iڥg!pRc%'7b9|hB[e89dl)Tk3^2cf/:0ʋ+E7Z;Rn_5{dރ2u"@!>*?J]cZLʠJRgnjg~T +dT#(%}`/ 09&pH兇V$RV! c#zz<KHo77w~q2LzߝdΓ៿'e0AǔKZ,t'%QCiR߃k0[jC W6J첔 ăoSne#L0el?xh׮2ep0^CXt$ `AB|_Aq8m 576ECC#|"6*ΥL<"v=)CI5)f4U'>׃X ,"\ha B 5'x A/[$1f[{,b 0QpɺHqƟ畠cP{*#ԼVRH(cخB#-$]v9ۆA|eHQTlEƨLɜ xF΋|X uFqHpVZ]՚t+x*9th/pĴ&X#h?̸Y²@PTlXDŸ99p\#:R\-<$vË? ?:&W~*2壳6;̘)O x!FNI̛K'sCLIx7S_HFxvniyðt!:_Oi['^բ6姜L~"t&뵡1 J ػF5P xh;d)̸;$k@1ߝm2A %d8*IE|[{e|Q=AY"5WU 1}U<pnx^ t$go}QMD3o_9v%d'7! J8͑XmͿ;ۣtǞ>$KCh,_T:Wy %;[BJ)ߗS(sy R/b3;0pb$HᩐJLLuJү1mKdqP7Ϩ&0Ә`<_HT6a:`7s~z;0];ۿ 6ٛ,gG϶q^yyPga:fb $ڍZa{;cV2_ohZ'H9V8nk)ώu56ND$)jt5hPIp'h~ZX3@`YLp6)~Yfu7d:ldAgF""l2#$r й\@^X*B|uj=($؎nZ`~Wc8?bB!"(Qv_wgzf{]XU_qGMLrb::ؓ0VZ$&HEy*Mk4è4fFꤵ?E# x#6sQ;]'IR%`*Z5sfG@uI ?R@hHY?!kK5yVshc8 )!nBWSGϽU5 PǍ,\^e<4>U`**DPՅKZyfљ:!nm 1WV5}2d?,ȷv^F~i%#F*CXԞ^}Si?\Fk2"8̡cC#xXӽk 󇶎 $,Fc4„QX u#W& l(zU3tJ+S"63KS3ef7ѱִ.fޮngm%(탗fI{ kHa/UX!:\KfҋZhΕ(q_H xe>s@+ڱ;H'w!D՗KFĠ'y\[qPq'wvWeQ=% 8_ihSPPk~Y$~D"-T*1epOB&l$))B6n{AF|XR ƒteVu9 l<\՞oYy!k?{EQIiޛ/"&DWiIsk֑wm&a#PHWyzm 0 Re~hi2ҩ iߴ/I=>S&:,`Sj*]f'H Z QB!8 f iSuQ>!#JjAl'0X2;tS6K*z%jG@.EM~o* a͝=];$.s$L )‹*PGKٯ @GRyp-tw? B]"G] b։CK&ꗴ,ϷE4}Z#WjP lHK}KG _~E!b鶑Vc;6 Yffw揄@?#aϦtGث|iջtoo IѲICv z,wkR?LoԶB'IvL#LaNX]}\"55s(;l>@'dp1-7ljmhw\b1ѭ(bmֶ+ԋp-s}q1PWIO/ clX?{Qm,`Pt>en|^3b_A] Z@쐛ANLa2VC1('jZS@6\!ZZx53\ r4tCJ``t@xHҜ(UT.H[{@EwU_;҂W:ynD;GMkVEYUtF;Sc7cxpjAJkƳ/sBxTM#ƩP~+DS@f"5 } TP9d7qpxLc}涌}JIF&$-vڏyӵEΝ1N?U/~sG=`.ϓ[4CN҄m:k V~Fu{?cF= }k Mv#>+ԓTp>Wg4BZ kesZTépBR׃C􃄋__@3M[8 96! .eﳶ"=>ԋD|c(ʈ1qBV6?lxUSGdu}geDɐƗQEcViGыQBw`ʦV7gYZ7zXZִF! &]ŗXiɟ1˦r!cHkMeBd4ba''hR+5+0Y"*z=HݳsL&ٳmRW}Sv l:QP:C2]xM U#NOL]l_>of чeG&?`lpl >E&}v\\Lxh9ZqTNJ@zpvKrQC^4x%J> 㷫=>uꁎYHyVO\cRq؎R+vz>d !`yfۋkN+*~YW1!c]Y\&չQtI]/S+A["2s /1ͱqx"Xokv tq2Wnv 3jOq1s1zYx^TH7P,IQ厧oxƈO4s5gS 3 3q$'0]yyJPȡ0{"qhZ|iq"$2 zvQ~%J a"" vs 1-ڬEo}=1aZ|wJ\!Go5B9wa,8vby)T$|\BQM]EDeׁ% Ԙ\cߥp<#c"!59$l6?W0`bcEƛy阃sӂ/'O>x[̳fi>9B<}k0qϞL{W(&S)}B_2uD.^9]#NJn% LOYJtZy#( H]΋, `ze*Ϗ"Zn]XfILTLߺTd:YMBY- A&[ -Kxcx҆hLŕ$wg2G.a\L"lE< @CB@˻PF+/ݶ4Ƹ3QCJ] ^3,&ۡaبAƒA\pQ varA+0"2W;q_3=K*3_uG;ug,\rg>6&yg|)ʉ(3XnTulj.]'+ /&Hx^z6 ZR UId;űLnoWm'B|Q-D {kVܠU[n6-Z-.ES8o &=f]cQna f T7GϭVIcaq3R. ⧯U`q(THt̀>'c%~m*u6<=O_/#$H.9$c*~ aGhrrtC~Y$8n TÝː2q BnwZ^)N[2^_Wn_ރbb] D.J\+MWUgYZ7zXZִF! |it]ŗXi%$~:+IZ҄duF\N0YEd#N;a ~[J gBc7Q/#sF]ʨDɘk~tK$oscp`{^vvi&fY<=vHvvDä́\|E2da X|v`|]t/`}c΂=NoE]`Qq9t'Dozޘ'&^cn,9$Ɨ(DC&Am;/8^M4Rn]>%YoQ&03Z%=9- cQjqs[#C Mkx7`8-jGZWY!G걤 ٵYD:/6zrS~ vL5XayӷI"+r:qpIVG2b~T;Z/3 WNE<>W>v;ݴ^E3kza5e&ю`:n3n>4Sz,Q(ib4}^b` 2\r68Iog9f?r}9qHC ޲Tĵ2y\g ]oQ([#M'ٿ(+cur !ѽӒOOP'`3 ) k&>psgWvD9H>!^yV>/qfIm+Rf3l`l|E PToT$豶ʚD& Pdُ>C1GfT盌)Yx L#y0^v +[ꄌ^NL֟-& SzJOfU6&W@bX*;6sV]M.oh.BQ^ܺ.mxxD@8IS8; ƜM>&=XiMiAOy d[Ic!tLZ;&}~J ^Q ;"L(}!6aiiH0-XS zIl̕B"iX3@ńبw / u܋IB7XpאSE˂MWyzgo d uJkH\3[uY2mrye' @!Qbyq &wIaʽ2 ֥‚"VfJUZ L`VcMSeK.άl؞n^i?ۖQ^`u:Y:`twcpYQ hX>P5 |}CH*Gt),p]uk9K bAZ{f4zxPtK|g፽U 74NAm+G;xMR=4QqvUK1ΐSoͿǔR+g5( 3Gn8\UxJE\UR/hڃ !6ͽfM3d@.}i`?.N*{zm$1|бYv&"-~=qp:?=%װ .l)Ǿq9>Q_~'J 9 9R ֨{HBkT1R\v'yĪNI@J6L(kxWI5͋$4aUyF cHW!k+F U$j]pGc@OQ]"x~=\X: ׺1B˾'hKU(1JN麒fh`4j&B6+,G>LTWTy1H,`j01W+ݾO鄖v5g~N$Jx=cǝYFgPP' <䶝ߕO%kPi˴? үn1 (^l竍#W&m3[Loz`7@KUxB2e1@' %ST34Zii(egtveG}ȧ~hm?;+ BX#|`җ8DN" EejfJqy ͈X/"tncX@G.wG~~|`?ÚC3k6|r6m'0ucKC+NGF_)ϛMEve7Ʃn/9T5>&NUL,:㿺n_Xm{MLZ|Kzy\79JiΒE8)?ryb &]*"Ղ4k_t=Z01xچ1+;{.A-tfd0پTwd-C+2 Bz9 FXZIJ[<WfuS7%M!Bpx3ih0 xkt?$ cɕ^М4T \p< 0*Dw3߄(dt>FHHw^( [^mmD( p7ɢhmCUoUD\_) v;Nb窼ZuBq/]C~Zi ĵ97ub?dJ]r$08hjLKA=]CIaR2@?6ȒwM(_ZiBcuިs΅]{0iKxx`>y84_2vWRTxFa-5Vhmvs戀^-F.A5B6h8ǣH:ũr) f)fTӕ4x^'Yg!xקo8Vٛ: O/Yl|; Tz<&C ]vΏs.`8/fv+.l[)ը~Yԓ;*<|VCJ6GUR;_/֪rLfo0VU-Ս =۹r05Tni 6x)+$g=ݯ[x*E Cnlw/DqbR(wjmLmۙ\34θKCJ}H*$~ )G7?/Ҥr9(%foM`#h_.T&U>g [J1ڥ 2[i0KNJož^p#"! ܢ6 `?,u[SNOh >a8"hHDQQt& 7T! E:2o:χIl- PETtiN.CBs^)28h XyZ_@ItPefb]%4im2b ק9$88OMAnuTշ1撲VŹ-2EshX~/īDvk;3B6⯸S9x*yfN bg\~'Miޜ nZBAAb?jBΫT5au, H1A(nlӣhm$&!w ({@$ ٤Xs~j|zi5%p{AιD\ +6E69k;8 'AӑΞ<{eCI e yRC04@fi^F2B[Vʾt4_(TxX|ATb0ID]ج2_S &"ABхZ3:^z~`V0S [dPN[t- ]fpՉ6UiB% ^A7`o-—Zg=HDNRFX!6*W=\oZ' })ՊM+5gGmsKzF]׉շfa錓Sœ s"4tf~Lx?%J90p߇2UA^ػ^J,FXa4Y x(u/yRѳg?#m.L@ed#J*Fo[)L3oF]G1`s+GFNO1V_RLrkvgcZ2bc7Aͼ"I)X܉/;L)WKk/nH^Z#NgtR5zc#׋[lE\C|Wΰ Q۰U_ '$P.1oЯ:rQs\J$D?J.ƿʜDGatdL1`Zkپ`u*PFhf'aq\"e4B{,3E!dh] `>2$E̞ A+1 G% BoHYu9<Qbm Y5kS$7Jp gC*XPA`_^JP2ZӜyz86Lk!'d|: UȠ_ 72_و!{$:'wŞ2Ĵ藙0M<@Xc(E kBȀ׾rU}U pʆϿ=Hsuq 3k֚Z_$bxrYF>[IU=mdgKϦ|Jpb"=P:A֣^6Ly{7'>pR qI7q`ш,^ nٿ}_3Mu6Nf0 wB,ŪCI8>N*t*89(hմ$SI?0\@bE2Ձlv01DdїL*50Z&hu0θ`_.^2ql;աF5 Vy_DUn﮽kF_F{O/M`Gpâf%؟ŷR-gko% MJ=/V_yTƓ'OZOJϘN&,;bPI|3H &b-RSZ VCLI{Jd}#6|`HS1\]GF9]`[!f/"ǀ( 3{okV_y;KVW:xm7ʄ=RSj/bRϵ_o j C 7˸ 0?]; lx'K Uh Ԗ}5EA"L"ms-YղJ*?ymXܭ[DxHt7ǕmܗPZdtg)^wښ%DEf:4iN{ݖwrɆB'-s6 C}} =@4k+,xh&zjӻ{|ILGzum"IP/JzŲ 6Q3X k 3&GlD.m1ēl>]Fsk,?m& m 0 l[1©Hzj޻A{g=!1RaT'eڇ!HS/@=oϑE;ێfѧ# (l' qPrx /T=g(G{p&BCRU]8 ,j͊{nO9lN'r!%'hWMtP:S/D$y–C3 U^m?F݊DmP䙴Sg1_p\_rlOffZ6a]qZ^CBt/1ݪc՜ -[!hhVp Cs.g[ňbb:] &@=Z?B .<;׋oK%Aӳn>[Ab8ܫƸn_6o9N9c RÑjL4ØC詚;m@|Bs">3G"F0NټʸDq&[)O/-D#һtn>ZkERtq@Ҋj!*y rgI6ǹaGƱa,8E8ZaD vI7£ɀkiwo%eu$ UR zA5a𾦃RթQWxΗ"ֿۊ H[{Z"z/1 C_inIþF's#2*ēa+oŤ" !9*9ae/ڂ-\0nx(x=$Ot3,-ݸ9}Sٹ<u~2$ P6]4!ö9l00؋+tylVaL}lcϚk8ŤWkKj]_;'Dih$_HeVz"kXM ~ ڲS9ЏH(Xꗽ]8\ 8vtjHc2]v1@"ӵ/r(|KݶlKӊ>VM5=y.W; LF7RfE \b\D@wɁI@Gܦk:/-M,3.1o~(YYvaJ-ֵ Q`Ī5-2K3\%+妏Q# =R,擬;eLɰh?u._rrML(/Ђ \kv?AQ9'܏ 7R=kиݸt[:G ;UteG7Fz7)0w SX#c]{*2$1gӑUL-Brv$;-TegXJ趗GFLJ^S ZlQb/-$PN.;T"n6CS<3Cڹ2ݦ'Vinmt9ՠ= ~0|@eҗ<~+zo< w)rjC[iJQ4S -?3AM6Y*M4ח/%YpLgPى:ҦE,S/|`g\9n\JO?i n(ʄrU`yal(ƶrگRp̆CQʎ$p6nwR˖dj0h; v#"0R~I#[ٜ;c@}NNLJv_(>xt"#g@FUctx.F',RCHcCetڑcަ`)t*vd(W8Awm[riYlr1 #(ٹz t >xeTP8~"G<+5)hPZ&y +}*ry偍*[tm+w";2bN \3YM,oxo,jQh?k zQZ- [iѫ (_Z:V* TE."U ?T33Q6U:x?㮙~Pq2BgmZNp Rͱ4 щڤ`nB)RpOқəm)ȝ$?{>n}7Mٚ*É]jl P[\7[iG!B{+Dy?%6婮v wnfNUc )Ac{/r:)`pK&:F݂u>gV>7gi u+Gdm F.ُ\,@ŠJ]O)B7`|uzngdY:-V);KG@!s0f+!qVA shh4qB#C/*H.vcTmr.GLFtm||o,fw⍫=3޳6qk1dA[!#~`":U(:>GsasgDHMDՀL.쳺夢`~*T,)ZZVXSOLbijaĭ# Qt| {fLO:ERHzY6@`+oOK=Y]JeVn}?Y} ed dDf1NP,W3@p BCz_6f T2}.p􁎈s)Czڲ8^.zs%x!rt[F=nap(\}f~C0AiPvp`+r·l#]XW.]t+:  # dV X)[A. S'HKs`Nv _'heIk=m"n~>vWp:^$ۗ& xxQݞ1bƈJyfXgJPi"Ӆ;qcC $ֲBϊJ/0m$OCj Tx% nϜmG  #s5:VR5wtiop}.3;0C%qw!I~]T~;$oi;tax >T-QH$Mƻj{GkFT'j2i*1Hr'; !ܟT[qOɫ۬!L;) .(Jݹ6Y/FBVQ~:WDȀֱe5pd_{gN.b",`r-`.W.ܻlxpoMHx-y. ,hiO_qjgn$^3kT/!n| A/ct~,<AKGKZ6uU5㪸83hQ#%׿#c {YPp:2FV/xC[&mAWm!)agXDVmг.dSmrKSjo~L(Wvi ?hkda3;xF So垍El kwcjmaG҉پYϟ~c{#-)b: }S*$ )wLDsŠfi4n iki6_ӫqċW~ü7\!qn4;@`8 "h,, iӶcݏ~3@M,n ?VH0 !x#ֵ U$rua;GS躴UqG]pGYM>W%(:,Ir TX, D葏=FFN%.Q&J=(jؠxgܒ׃# b|Jgbdm( p8DOQu+У&G#؃2 n{O"/4Z$|Vzsȁ]@Q\eS"XEfi&N]74h@aI~D21k?f~&<{#i@>FIR;4ʞf[l52HUQu^Z@Wӯb$\ cUB߹Dzp SyxΟ!lM g{AO|ӟ [;Teop? ld=Gݠj^ZI<̮qpflz$˩fɚQT]Ʋzt eZgȶRY{fʧ@IWէI)_?7u  ņcuD@2(( E-qtVVԴ8dwEg{l )2'AX|ǿrhjevqC928X`.縠db$ŰZ]Qh'bk?m;M$L!PS|r#@M\'zzITՌc~ opT.,:13U8v}i ydC@X2'KqN}.9/zIJ"t:%v!ll8WPy1}(;WTZ+\ P(UR$| c! nK"@#I| ε#>0YmI([,o:OLkJC`4ټh!@ ]IJ|u5&\}ܙFދm qI&N4DH.}+¥yFEzCjS gD(޶t %Wm?Y:];(S*E%iIC= ou72kqqEjMf.\dK Mz $vYwU&#>L'c#4plч Ɉ$9zfJ>1I"R% 1_zƞ prm EpB$o$4KN7Bݸny+ -oǣSGM8Fn!& MP(mAc,} סa[CF +02kA"ԾoFrkvi~}uYh14=: CJ' [J dbtu2 -5pd Dku/C-G&uhP 7o*&f$n;! Nxhk@@r!b ;˲ I!=W;c}G%z /Xn0D7^GzٳE@(fFMX0m:ҡZЊ]QOH|89PK3JRqi78?^ُOU@6MDzܹA$xPR9ѦN# u6<`Jn*12P%AH4<_qMā^be(FZ[BO3x ɣ y,^=\[UQMR6, Ffh cvJ}! /zS;!yܭ OWq}_wpP'h!x<8b=w]u#'yW'R\+=.Xt]kȖQ=X _x8/&\=H9܂#8B31b|Hkx>P*`3]?[ ,LOY;X17l0gplfw}aub7hQ~L5GiGD7>YW(0V>\.R5燑4-qd(dk{aSfoS>`g\[$gab/ak9!tTE^uhX;#uJ-ŋj dQGQÈnb%X^ԔW9w @c}g%gNM|XfzFdSRG#(⌽]A<*Sl/R1Ǘ˕B|?zG|Ri >FsWp% E;tGu Bf~%xk>ѯoVԁIoy.p6pw<ڿiUM4Rp>,爀7Zg:2YqBټ)Njsle%>`'}p>?!jiXA53h%Ea,!Ѹd%]EfӮ I4LHZ֩CFf*ᯄL-/wbFou!ii<|}-a(!cEH/,ؘ%T/̨zAsVߣ>Ұ`L?τոV[) S1 ^APuul 7mLI'kTnQG<Ѿ;fd) o;h"LCC`m=02çK[urIl/s$`G;E6"RkNˆn oԷCSnVK0"kY7 U$T0dW"Mr^g/g^/6Ć_^a :zCWnH,c$$`X{@aB6w0J@ϗ$!"@wHա"k~?a$YpV洖Jzizlduf]]6?٫{OZԱ'gV- gSe`:"dcygُ`#1":{SKTFaƴbGK[y5;[ܓD;Sv-}h/!o;We,;I^/H?~s8_oLAlDT |e^))߰.e}G"Fdު> :.zaȧ-??Cbumޮ(e Qv +ư5ᔠU[8MCW&4^arg<;!tu@/gjQSmkk%Hʲ ?bse_SL D$ZJ{_ ,QaGȓ54H[\-TI ܷNIjm a'7G_['[*Fi}6JB™XCB$ k(*f& N3L5AR.I`2 bċ(~P]J49'YgHHD$JΓ^6(X*c@J&kY3v0P.?G 퀜jܹ&_\wnU=gV`8  b=ݫ!;U[(x"4 BHUz=6@^oz$ g6PP`tY!I(Ľ2,ZApڪ QjZC[2OUoJԮ(QC a;-'tY(Z\JAeu)3r.ULXT<3SgG+-E;|dl.w逹 oe0ϩc%<;[ cG'}ӿPlnN26>JIGwwZ[(ȈyIwWSG#|0(3PIkn<沒QJŔi+ ,[{x򖿵U5X;ZQkкm_pn~zZgnN~՜~J{Jq+Hsa7ջ<0R{SBe:|ON7 <~\SQ n8?2![.LJel'pUq\*ZLBPn(r"FkȫզZبlf`,;b?`}+Gi1#rmӪq(5Ҧ냺 (u g~JLF01VST&MS20ob sVX' _` [Ho@0CZ56jez=[RGv^LS w ^C贃E=.?N9O3AǑcTܼfŠM<He.W遉xI A^G~qC ah,w|o}m004VQ=~Q\~vOYJIX[M@MPU <~lmS_>~'P54׵ R&gI=_P0ZOm_wNnub 8bZB@p&bVdj#ĿhzFmfw^d/B/Y6жs"$W{> #_hbnL[6,L]UD{<$U27`노]`q+S.e&u:MffcH&X]!m7vOa}:立d4R]lK_j&I㾹wb}%֯Z#3c xEK"+Й $wgE dVdz7taD _^ u?vPuvP[$n9v$w;KV X SWa5}=Re0@wyfO0v=-&6^Zꦔ`^Dx2IDNZvr1[cZeد;_o.&y? ! ɪd~$U~ۇoFL="/Ů'hc k(U= p#TQz|Æ#bw.h; /%;؈@jh7Grfn4>tpvK04 (AǯEfoW4;S\HIbm) ɥ-@{^ s2С4ۛN@ f2D^.n}6J%p͖HP^2 3#MKxwAp\.,z.HޡZ_NjI3uw@f.<>ey>5&%F$( mt$ATR1&(K2SbO+"Hj]|1MT[^`'unq21͑z/hQ^hx2Y { _7 xSv J {XBXK0₏{56vn0Qp|mut1-$ NfhhwgCЄս/ӌieTW fL %jKoi4=Qis󛲫۬C#0hr̀!)Te60 7bW iJ=A{#Gf}؁+ťݳ0.HW(WarfFvskaf>piu+eʯH Es\}^֍blmkiq᠇1CCs~5,:iKFZQ$D7uLP7,7UTT˞"b2۞$C<91Ea n)Dčh3̵2 VOTlHE7 !V|$1Tkڍ$y7ĕ'~c$_DVh>ejlWѯ带g᤺R?oWXp1[:E}_+_]40T Mm]/g=G<$&Cd+[B xkXN`뙙/ _R|w}yaꪕP rRA>t#@98Db@g%To%{eN<х 0kg* >}\:⥷.9-Jkt\d C7׼$;;'?R,-H ;lN;; I!xO d*!ہlls (@ r X.q/ẖ034?:1foU#R6:3=@i}U7_\]h!55c-"i+0S/r&W * ؍lw* F)@A62An;hw\ƞ.Bfތޥ`Q-8,Ӿ~H1FDd7&cq U6dW\}~4@M(yETTnQcr uO6 :I]Ov;%܋=1 =n QQ%,Qqb_#ng,}Dee]K.Ӫ]RP&؂XpEZNY1aCfOLpR90zqAT%V:ݴ,INtp8Juzҥ%:Gh׋Ɇ~n~sR+¹]p|M\a7)ኧS!̳ *|IgN7*פנ˷NBcVKXb Eu ",t1`8dk@4AL4 P5T7ꖛspٝMO̳:D-T}j:G0UD.b˕"sa1Ikxmf!GVQ0  1뺗/'.Y: <~IiOʕ(t}+^YOQNbGu6q3?vsL4c_)%5)nJ 3]%-zԍ҃bY)UqC`9BƶN\/RI ɠk ,2WEUUTVNy>1;E[J6O -p2t+dNu{7ˆp ?pZYp-檣5(\׽z߲:VN.yg jx'Qoqwo R9hRM# {ّ/6tMg³8I!#k["A"?p`oa?ٴ,ٱD79H k/3鿙kꀨ0c*YuBq' ơJǍc;Bb;/r[.!I^ fp$לݺ:MJDͦi:loΓz7о60Xp5gK9`F=>4űnjzn?,CmVj`25}Q5{~xȍ:H$&#؃I9?H,?+X'(PzӫG-WE)q]eLf$wZ8Ċ1F[b>R[Uz%tLBz 8kR40W\2mǐg*w!+b+U5]m4!U^`ϡyY8a([Y d4g79L=EqpԌaWm;2&ԑ.t&w<_="3fG߭6NEJcN+ 6V1'WliHwWS:HM.3[߀oI8q%k )!6ǑN}jN,# H(yi%oKQ6fۚPAuYB_L>y {.Avs0 Ҝ禲·;s =;=JeAlڟ+ $UvS\||%}P~OEXI|6U2āh6]3wgG-YĢ|+j=#T߁쐰7uYJ VH=}ܺu@O<)FY"8T~oܪIWEO<:8sA0iwr]T-[GfuJ> 9h!R!jB,8mD/zNISv$i@F13 ue̓4WqVpҞe$@E7G"?e~8Qp隈r[Ydq 1DdRzl !K|80D# thfoiS*2?lAUotUI81A&$f&Bfhop!sX<FL@[Ca5)g LR^xUGM41LSS;Z E=k W=b-a:h%iUҲO|Y]Oce@TTw:a,ʣrCec慪 /A1nsmVV-jW;G+PD~C\NlmxGĺ:(lg{?GqoP4L oYP|)Uόe0j p ݅Q cp aiZg%HȽ8mA<P~( 0}ď#Jπ@ڑsgNV CIG2 }otUV/y0.{xv FEOpT"vS'5z1w@ۼ`w0A*NP)0mÀP\ۯb#/0a'% LX^SܖN|0&,f/oComRΣvK.8o\ʴ>ƻvȊÆ^3*הZN;;ĵ-Ar>?+sR=u4*DۅWUG?`|@2+ѵ)aeayFQĠGRdCK2~JKzbDg