SQLite format 3@ . BBh77otableisabelle_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  !L|\ ]]]HOL-Proofs:threads=2elapsed=1270.762cpu=2122.108gc=566.268factor=1.677zXZִF! =]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwba֦B%iGq?s@ԲSy_HAW\mbhR8dϗhCv %J\|YBd&6!tWscBU0EcۙlبyIA&|&xλ_rF? ~Ehd3Zz>S8WLw>N aW^] K-2nuV^t6jhT| $gYGBE9 FCVVQ$*0:pr1, !tHji 2- :A;YpGH*l5qIǐr34Ijd#J1bnm r'/b*r,P`uH2\8|{)ο -MPF;тRV (9iFDlZR}lN't/?`ʵQ w t)}"c -}XvH$v}9`ߌ06ئvd@^*ys3!w1ʟ\2QS8yhp G O`P,~D[W=eiL(+˙ѶGb\mbu#{7Vd;AQ4 LE8_XwXڃ8܆;)EٖuPmɟ7:vD(H~$?Vl,9z~/d$7Xi3LD4)oYCmY[H3)5yVyGh'k@.,S7P?e 5 y'>tV  ! HOL-Proofs|=>f ͅǍʐڿf-ВMJ! ~L#"F)v-28Zʓc^F!}'5pyFL]K!G)+ gVSY9)]mID{sicsŶ?4 Tew'E7WQ$+{Gf_T5^6f[ڇɫ?'&k$qfH8f@pj*U,%)Ft0`8L/ԍcx<#d*4|OїA14l<Ԫ~n/]I ·E[q|n"J^9ju{ZW(t_{$dѓY'O0t"7.=9i; ȩy,ĕ>[啣v>=}ST7iKoR'`) E{(H^*.^̇>H`8qqZ]7_ #)O8[ia>ek> ݇d>["5V!(lhs]A\w l7cG߄+Mq{2s-~tho|'~$꯫ ?8Ťg\,b> ?O'\)|{ѓ 'oMB QZLsm֫<!6pVsߩH,WXxj6l63a-nAIsd[2?J5@o]YH*kKErQ2^u K/ԗag``? !^+eǑuF4INw%lHR#L.1+&Ku@Sr c؇sBf\=O. ^0z||aeح"لM%ҁX1r儊/zZ|'ft VGD̼C;o#: 4(%8LeXBq1JT/zꂙrA}X{<Zdn}@=dP)',¿>! :G:αYUmHIbTb9&*U!qZ@{Kdr\B3vsT0-j,,Y/\g\'ấȧI⌼-(7Kce>ZG#0 CVt5A:=jM-F~kYtǴ9N`!FV?k2ˋ=B9x;2g B ~. IqWdc=.;?;~@nOO4rmU~>Q?z eۜdLCi1rVgI pfomɓ68f/~hUS/E$Z^9bmY ihܖm>]솖W&0RAsހ_~D &EN@g1%cƋqw2XRPr8׽W}4q55\ir"Q5Hȱ7;2Ѹaӳa98EeWW4jLOMi!o&,Б:m˰c5Hgb2C۔8vì)LP\^s0BA$bx kD|"/­&\Pb*x}˴mJjP{u>ps HNmsf O9x_XWQ~~$GUSE>aVr.@Vu,Y[iOZ2 pN3=, !|WOE ET,WG- (&~Apkg#osA5Rycʇ8V5;@DU/ 9 ^ڣي3SBL^.S!F=/A~-L8G20 la57o9Zvf*!tMpT:AYr7SB1)L 2 '&FAaZw{~"4h%(.k(VO_Ad `PAKGp-}ؾ7B/9:٧Y"3ܕZ.fXuHRMi&$]g=0G.&ٲpw$)ezOI!^FbsS! 0oP2R"RV,F@7ݴ/M;Q kh3N ` ,0j7 'X^o%䑴di#{c 5z/}Tffw0ND,d[[' Om<#H#;N]RMZt2p9M7?*kNJ T,f:IH sêjm d'4 p -Ɲ3>&q !&&MWp,i'_Z}>;̨NjQIDZ(s<ߊMWF ܮDFTWo41ym 7~srSAVjF+je*5"X]W'8#ȜX0clOKdֳ~JYDr y+t*U2sEq4f`6Cep]TRS]uȩ*kFKc!9YAKy*w*CQ/(ٿh<w|<%4_#p ^".BDE{2 =;\T`X< ja7$+"I*q#KIGi.f3(hyst1Y VjgNP]5d2vN͗Hi߼Gyl)N<C(%\5siHK1]tU摎25zEODB j{86I5GR\@y X]NJ>ԩ ͱƕNgeQ;E˝KRKFHAǣE^T3xܟU3.^#?ErR=r3r_є ] \C'7۸+62%MЇJ )& c֮S] r)cGNj;; )$%/@ E ;}v!64@68OQq>.l*Y9̀sK;hj$SZ FT[OåΦ!mz:Fl30/8OnYc7〭V-PsM㻸ɱޗi5UQ|DE͌E$'mwW1![_Y&ERmɢG%q#ٞMl>k ,]EhzL?xG LV5 Y)~REӏ)ɕ21M`~o #`m?׷:10lq`:3Dž5.Y!piBES>&"lZReihW x?|Z4pšʸ)USA27Mؾ҈WLxh7V N f=f|յxAo0䏖xE`y% Np3h@8Ɍ btoIx`ZSdty+y.Můz4*pZxb5#7E")ɣ,t'pę8F\8I-d6& svHNjom:Ү9$Z'ޭWt6r$XFi&{C=2O IdceX6P|ԙVvQbAvCXD3pgNh_z7R}gھ0+_@\Sqny!wYcۧG`pdeչG ӷ89nTC> |mP5Q|Q(A%5ӺoEc92} b9M!6 P+ ]8Fra_̫n|@Ypa@t"Xd[C0yV8u;Ȣex?f7 b^SM:գщnQduׯn͘J+ GV/$& oFr7(Ü|Z;?\F|1RXA%TD{\?w~bbvihubФ-oӀtݜLC{Q/񤗌9,^>0VtK6E/~ȶAAvn;BqÎv= 8{4՞2fk~*YP S/+jJ/SQp3ȆE ,w'^m3BikNB̅] "M:ro P"Sz'q7?ϵVE'MO.RD=U.Go3Z/?&@ e #,c~?!<|W0{$ Y/2/Z`GE딘GW{:t=ELNQ)*.QHT[Lqn1Ub٬W(iyt0TpF\OO 2/ ?f`SGIP9ֻ_`!XE8D%ҋU6hH3sCCz3ʬP N&1A/0nOgYZ7zXZִF! Q]ŗXiɟ29aoʼz[%U>EM!!*W)jczWvqChܻt`i(]lTnOC/,;Yx`B%w50͹qʉ Ipϥ,&p^{n3jdQ.J}c?KR+qʪjUFVnma aU4mn1sfNHÜ)8iIOM3AFm5X+)#PtO2< Ubucĕ{G9\䄐MBzcujɩ y0(LQ׏Z aԓY( Ux6m(1Hx >P9XH@MFGJ f,J1n C f/aJj3G}s͙SlVzr݀8]WCBD۶/LP=xy;!vU٫QgHjߣg%NyP黡*պOםSHìF\?үo)LR)_ 5lp>flK5)o3ZrѧB:"qC9pkW](oȰKR_OG1m|Ȉҝ>;͇E.r>3A3bs^wvU۲]I g_mL62+وp?ThgA_qBI75k[sI>H5&E@~F0PdXBB__2x(l0B 09Eh(05# K:?| "ģh?Y~bCƓ=Gv-ge=_YgB\{D .^Lq ȗUOx 8W|sY&\s&] 䦄=/O+y([!ZGs^7Mt HDߟ%6{X$ J^ynKk2K)aEJ%-o(+;aY)D3G( Gݶ,-A>b34Pw&?6&ֵuNP)2m3U0ye}?j$ psɤ+q^KA}+x0t(;ybpU1S*q@vYH4ZrЏOh |LD#lE!3΄P-TNHj(&ӪK \u͐(Cq,a&Q #̴)rv>Hqse`hTZY؜k.-BkrsYcm*&RTn :B}tmX[#|݂ kMࡓEc0Qo)/f/[ 4Vrdp΢EgYC}phd@ J%$ɧtGjZ1c_+X0OId9CE#K|<)eFBZ^?#د" ֎T48#Jq52IOeY@4+~B:Dau.VP6ڃ02hd 2 IgYZ7zXZִF! nè]ŗXi%96TQз{,2a2gCŚ $xR4Qr v`Tl; KȫtuY 3ϙ!wjj { a?#_}k7.>oјS=I帟 gb^#]3TFe-3XmDμ-KZrf5P{t=Ev_Mst\O|>:`MtjK-+y7EIjaa h=̶%v&Gk9vpK>?QE5Ec>IK"c\;L/CU1MIhm A=PvXô~Ȅg=ث% J̷m!+t؏ G/VG6'=#e_;¾Tn&NW 셌H~]>#ŽeFܘDk5΅}mKx pu9nvGn![X-a0dV541I(>Tr ZvBm [>ͳa?c h0qBk&ʇٽQv1#.Q8 F0Bc4K>2t>MA`Bc,4f9P l:K B)cOݗҸ*1%lDL6]51a?{U:+ 8IQ0w+ŭF)?aR,Ck苼b 6[ fmo9urAK0vH&T?)LjWO!`d$Z"Y+iFȭ긂106s f1DO1}PAL%Lj*a[RJ ݉J}UM?Q$Ju7Vo eXcnjyhNYEqɛ|g3Ee&ƤLau9=}RBsAQu+;1xh#F #7 SPOo'l3k 'p՛8RxO+>*. 3yX/Z7[X@ݨT`ٿdj%/ue;p{,۷Y9rkReCưol:; &b.>bleyb:^뀛Eܗc gQko,lYꝜj*ZҢ[dgR!4[JnZbFvW3WgMJ$& ,6i=#l3xpQ [θ"<DE[XE@K`Rk[ ك޶pJaS(ms|KWBЉ8*U2݉_UfA@&1"I!"T@a 6\O&HtP+][|M51JХ}#7F3Œ% b%T۲*I@A'ޮ?oS+PjDl \3ͤ>K'^YA+0"$RVAqu@K&t*k3?g8B=F".zyL7s%r"b#<lӽ 9SAÈ] WӰx}qeT]nl(=m0_/ DZ|lFSDCl; +pf%6%U<2p%tf lǝy/[62>8 (ȅᚌH --!iW*(]WP4Z#*nKn&vw,@^|QdzKP  &eNL^a--d'`ܹÐ6+ 0cm0aڕ<˄Ba| PKehmWU+ӸwuK5~rw5+zLoOz@x.S{CNP&2H-U&LoLq'O*>hQn=IC! ipӎZ 8֘LF|d=֘cJ°lPjU^mE7=;;g|i-{e{ Yiύvg4=dr6>5$?~qlg^5 ʟPmJn{"m5``iO9juatHcV4vTo; /nn?X-N@a2#+j$Evg+ߣO]˧ !I#3{{ɟ"2;NYu|6X ^`H\^zML0zg^?覇Kyw#lDo_d1,KĠA QP WӗGt"fxL^IX:pC0@V`O$C؜suդ+J RMC~P eW OlL{lq7F&>7 n(U{_px9zNh혨>d6Ig܊8P9Qudy |rw.ƓdYFڡk§q#2,TU!`g)?)8Q41kipuJձARoz7pwr:yf:' ?yXrF}2!̚n"G|KRjQsZcH91ȣ3sEUtԕ 8ъOá]E+熂f/G90fΖe$(2Q'Mh=?aőpQR*1K+uX.) {vjc @ ?kEݳWsZL0nz[rDDs:Z[!pt=EHRp2j&R+2QPGΟy &$C^Wν ̅e{묬zzZqG Zwu`O.__'9Ac}y+uBܿ!QCʊp]yN4KLۢTް(y먉DR@(tt򷤛 FK{v@>mDbK%bJΊӧ.^oG=hŌ(. yb I0iӭsh|1r.Xq6T7.ik]_lu*yܨ7t)XV1B']CAM˺GIwоgQeG|eiԃ U,W.\cMeXOśo\l> ~ Մqa2OŎTY' O7=yZ'!$@! q)rfՃf}ZQܝ˭"[NǶ$0M呶ƼͤHdȫ!B=h{ks"rmYݰN0'IyOs O>&9Z&:Ep7 I)b?չ !7Dz"UETB_dY .n>f)i˸3 ;}S^{©k)C T+?^"jAA5kÊZvۯC-JM.߸I%Dn Pa`ǡjZӭ88 frO&q9{+~z%v@\uY!<hk4abC@UAHS05< Qb_/ 1F,RFe3߂x&ѿ:ͤoLȘX#չ.7Aj>ҘW|I-Hǀ)YV]K@^,1g`s9-" I64La7k(Kx+>8z{yI|bVBcǼGc#hx(@EMhThsۅzu\Vupkħ7@9"{!þ?55KB֦kKӋ`nzQR'82A =y=*d/ &wZiqJqWhϷr\ĪDžP=:a]atP~,XHӕ {oIۿX-2)fy <6El$ To>m UusB޳aH dR7bJZ$WLo EpPKd6WK3&[m\\7qMQz+?I8 фT"48'"1& rzw(肺bB+p0dM]&'HhPPV2fxQt7Θ@k/irI ƊOeV۔i,:2`2ME41yAγxC) }8]k Y:05 ㌠wPLgxqhW̋=Tb;uR>6>)`g˪ro`ކ8r )y3Xȋ0KT5ZUIΤk|+?nўMMdaMo{zKӸ-*UD<0o<)}Qě=Rx/w(ͅR D5N|XMoQqRgC@3%`;(gM=T] 8y/`y7iteQ|Mp"f: wSYHd7[vP$֮8;k+kQSd;"`1 q6r+éXc5N\T5jPݞ8,8wī\F҇/wTne,rZ(ywķ Z`vj*qH]͖\YǺfJh[PyuKsfRy!(1h/*wKA:u9cjQ*3Q}O8oG n2r:oA(2S7d;vvr#B,Ti],z&X5P Ey -&}N?1SIO]J.zAO47nv:jbg,07!%Cט0d_!}vu|2Ñ0mSg Oq.ɯ J~!,_a0ehRs0ZiFs'1/*l`^ Y$FVJDO &#}΂d`T=Y/` T"sˆϴEC,a^tI\*u)/3!wݬj.habzmA񠵮3> 4̨pKl*ZmY5p.=Amjo [+JIs(m'}= 9.c D-Zc9[A?({pN:a)nكnDN !624Jb݈<{ !]]ɺ\ܪlM͚m>$t}?tUPݧ\ɮc96r M.Cfɣh{ٌ` 0TO}ϢU(~j=?!ٴp_p '1zQVߡ:yAU2g7yPG>-4qBx*ZF_ |~Q_c8)_Ec:yG>%*~b!pG]?E<1ۊ Kn kT5ZN# ge_r)tl4ɫErWkb-wXb#" @˅b jNB4fJťHc!16 _R8\0ogzB hqO-|ŧ~ݲG1rΉ=Dp q[jJgNTxY{,a|7 A(~)~tZXu{;EAlPWzO4[32gs8IZ؀mx9U҈>͒c St((M%e_`ݻ0G:c``LK)."GM>)N8Ю } /?V#IFَzYMx!yF@h5c0%d'ZQN_Ql 55RnOA;}.H8blH}q 6ra*]Jũ39 ( $o9'Օ0o@Cd`f@pRiu:9ACeыI U'PyJk͇ k[+35/f+e2luT2KP-zaZwOHk1K@R * }F>ssjMK`(_59v|" U&I*kK `Q$o'`~ U56]^dp64L!^q+6y_K# ]vB'V1 "c1Tyו+`QL( %mSڙ,BaʰPYcʳܙp>E- u65;!1-Ћ\cE\HslAt0aלo:1#e|. Ī ;:s=)r52,D;Rօ[' -kBp_*{GUF({*[F!C P l^u75OzH^D\emPMg @X2m~jh֤.8"{w3?AOh*IJUP⦚4}7\pF\Prㄲ9Jpo=;Mev"/%l)7>י A1?2\ߏCvtJG@Z;z*s[QѽI fI;G2( >$-s$bL؟ߚkMdܖebzJf5L-& }!bqAJQdA@pG.h !qx,lUt*zI+$$Xӑ۰⊑)SN$U5MNY:ɥNtG!;X ׹eHGvr=FTRC\:x}JGu@fPDx [9!*~=pfA$%KvGoZoP O>$@)߮&U&۽#Hʛ *c zQnqSxQ|E gUqd8 (\Ly]] ή8ySh50uvZ= $]+Eȭ. S96mVnd[P> &j74x.5pr huuW!QP~)rAANhgu0|v +Ux]Ma ?ux{Jޠ%: )? j)3vY#[UWde~^V{-X.]٨.U8S` k1 # d'*F) Wg뤸׈ Rធ` Bo.$ ^}J8\A/J!2yj78}FNA&xS!8?}w.CG{!X/HT{ / ӅrB}MT?ꢶ㺨7L2 [`m|=T?ۛOi$NRU)?~^KD/1 Es|#tHM#T;}hUłdfB%z&kTP3JկV6WqٜMPOUT yrQVV{|x3fB [?jX&|rDb+p {jH7h5շ1d -X`n2 k8F.D|:AS7/̷=0Ah._X<5H1dTS$9,'18c,1mgY:g6{d*&8n@#@xG9ע.C)lG57k^5 C@%]Hu`7É+rj"\'| ?DK~ԃY4ϱ M餃jx3 /˔qRZb2XwALrXd 츰.wmUHPOy]/y*TgM*AreMe,@6FɠBL ''/O{09 [q҉Y >ǭbs#ō(\>p)9Oa;ɣj62<.Ҟrꚅ`pv܂I" (_3S JU SS?\ p0Y:/)n隀+e!մsׂt5!d/trQ:7}8sQT͂ucwgGJY?_ &l۽Z9)GVn&@@ňخyNif#}M=h}io=Z(W8)$WSm7J< /C2l^sWY>k X$ݖƸRch' rC<ɯHLJp`ukزlYl"qmB!n] FI'`ő0ZvN`cru/l M0spE.;jL8@)kHw+˞8-Cis.0PrbݵwWW͌Nl4p䝤TDI< DE2fЌw>&x?jԡekUɫ+ gAdM#(h ;_r%6T'pQrL}Whe-eqsC]5-) Ȃ(0jCk{ Jg\ؼ9F׺߱{o3$ aİ޶N^ ^ٚ|m? &"e -Ʈo2R:6,/FK |ې7\AƖ{qV_\t'#4[ZJP}E}*FcO[3?])HI/l~seU?”al}DH%UskU czr+oMmtYIm1=[36?`>&.cI1g{^%o(Ku/ij@qkꢰ0OhXѐ{ f/U7ACvH3-Pҟp6 FH0oMb Ɍ(]hoLX{rOݽ50Ex^Oߙ*ĦA~S97ҩr+'ƦB풪Xollک.I_SKFʛQww|'+3hthERY\?ɱ;9γtѦW3nǣgq0,-GT)aVl?!{ԛʹ9̷E.%)d&Iq?se(jWxSuQN;gS;;\2."h|׍dT.,I')w]7Ihn2Hĩ7%ySp0]JTO7ږ#TCKl50}) krMṷ̈̌kmTi޳ȢO]QbExvs3\_ºno57[7!m C5LM9r-Vd枦$C9ns#& 7>N(jAda$_2w).. btSVۙxQL<%GiAąxSP64iLjKm 2gn*ts*;0Zc2g}IT7̾T&:)V WAS!7uGQ?RUiq<Sb4]-Ŵ[% Ė gz/qT?70{Q &荴*J Zkb~W: *5q¨f[Qb3 =X8zʘ|eV=OQTA&o:_iE[Xms]>aQ[%;Y\?JyMج}ڎqЮV앨gS,2K'h ̼oP6x208;}"?˄#7=PxSx{&)b^ ˵Oz HZL|Vj KE9b2Qr|OM(wܰ0hD]< $ 3@ 2bϳs MYc0΋֪~8n6wZq\{h#L^a%QۭL$|JMae!NQ`4!oL-~&Ӑ-CR7-hi]s.=8k|< -bKu#^ Ca]r_QuoƍYX2+roL)δ'>6# 2w<(Bqu/d"(Z6@m{9@zYO35] A;#tB}wx_B|ƴU w!CշqdDΣ{ 뿨E3 3' k1wtqOX:HLPϸ=2!FT~lG==&ӽnKةtkx:cYVEOwLbYq}s{6LS&:6N~>ݢYqݘH IpSfL&6sdNn"ǬQnZ{YwcRt4 NŞ-#rgEwx1υez=[/blfm!DzRl=6mZ `+#m+NuSn ~~4jJn2K5t;5nûR@dDo%bfDPQbQ~8^F[v5`N}p/dR#l/1?~dTA;Zˇm 4~S;dӃhBtvHkRAAp]]Z`ʂ Eb"xIм!\u}Ot}E$y5\Œ᰿+w'(,˯>ʏ97OJ_:-PLu?ȣ8i*g~2BhQ\u-ސ;|2z0Nf!̫Mlv@fH=1w=1#1%SQ) H[+Mww9RUlS.b+Y1ȮnnXd? ?^>Sb;\f@^>YtB:eI=?HSRcd 3UASHAꂛܰ=#1œ@ j.䉟hcVG5Ы%' STd31V|$xưVhpSgOnt"ʔ>gNn7ɀRU8~I! 5rڢ<F+׉:\7H$[[JXPVӱƸ~ ߒ͘}bAvspW O*:CϲrRO[5h_ }z{[QjhlO!t+訂bE5;-Pq G#M$@ v̚ÐAʨ3έ5t^Fho`#Y" FH c[xrBŘ݆),U#5'c 3~*2+&!" ;C1f"'@lzL[zp cor5pBphS3{euasOlu `o*6wm\QI/Rj0Oҍ\cLeԥMɲ.dK]i-eW {IyT`/;ΝSG:! .D$_b@>DgDBgZ kѵaJznCL ĵ:zra$#)h yw>)}:mYL${:g*~}o f@;f~KHe܄\tngySP+jcUV}i95m?υR KM׻6q 9R/ROqmGz9q8.١Ī05HUB @!;x$8~)nM\jVՈ*LΖs,~4t Jm33=Y%m  1B&ͧV;%#{UB߀j)UL2K7!. pf5|pHSΕ3[ɫԯz&u[2o 8zZf|{qJULL'G#(1rg bUgT`Idh%FY%dF5ѽD񁼏ƈO[euuE~\Yt􈙅zS`֒kMD҈I3e˸Y@O{pzI V"Y]GG3f"BW1{NK_^$kS'׺AWƃ.̰3^iNҶ8> ]y5 [3[ba+[o ͓q{0#_EzΗg74zPVwG']dĭb3 G5HZ.3[˨\sZBSp63^q%, VDSa``#0?‘*>tee<TKG;S-BT3֡Bztm/=/ҋJCs(.EnDfS@; Mu0=C픘UΤd| 4V^UW~ +l|zAm4Ѡ%lt=fx_/.dQsSD!sBs|uZ%m)cOpSc^FUJg*1X_vLh֞IcNMN0:ϼEV{.\\w*o-kی@ 0rҹjT*N{B a؏(0u7 _BhEr\e^Է/OyDY5_tRb FEO1@*&g6-HAr" @iR+ V?:$q}Z8M?Jt>Ro6,ٶi!oliMq*.^h",!ɊۤwcJ 7Ќ gu}on0 x ZG҇ dF'T`~+K9(e*"1t]0Rz"4pa0Svl@X~ws'cԤvȻŵpC~Si=;o8I'M-k2 %u W+3|Rc38MvאǢ"Ʒ*xU (ʒ̟E?4i_(R 2ŪsjG էi8PO\H9a,~Ѩ:*9:SE P HQ0ѭ5 oĹQ(q( KVK%Σr?/= Mkm,K(0pC\AFFCjҔ1P\E c#ش'/t^Ge#FjTI!PD&c˒҇ÎLX٧{䓸~㣋O.gƋƹdVP~1+[hu$qģbߖs`܊gLl&I5Uﮣ:D_焑E5aeM, Z_;KbQo*m6వ{JhXe3 <=Rl{gVLhGC~1° 3 '뼞t=bbHe՞[K#?Y; V䬥oDo@~OH^iQlˡ`&GiYLBAMqj]]:O#} bB ziB˃@,) XЕθ!)Ja,k sy8]WB[)Z`.nXhʬcxF|{'&4P|о_D``u((i+ qwAJK ^w.Q?NQz5z Ht NRsуf !y>I2!f/Iز)+NDŴi}(1EK> O%PuvED`LF7rXYKli[,6wcz+UjX98xWmhS_dȐ+qf@3]3Qܶ#G {5$y4#mv'MB鍞g y(u 2҂nΡK/sqW-P&_0ԛ/ M -;F 㠜c& i )DYu@68i'Cҗ&8+tgHݻRu-J8n!ھJ>%#d4? 1QcNH 1; Q\+]vb[zɡl<cM(*Y5NE?h@Ń =q k_ɷǪPKSI#*)1+Ԉ_vp\fHI>' 7+`o Ejh/ 7L-pf̸@RVPfUdàqX2dwEփRF8]I-ՌS ST`trB6/8pBPszN{C]A)JZ.R&3>+e.~nΔ#A)0H6ĂųlߎK'۵k]Q1EM1˓^[|0ܬxּ& _n@SyO|KĖkII9|9xGZMxDٳ{` b x[1rݮ0jDoDXLa,-& Ip\T)VK^=+pP(3D O-XM9E' 1!sO>ӳa W<4Dx١iP^uIg05mL_qbJSv6B>QURS^"jj,[q9';[`04ljC{KnٸUnU#Y3f.0^~= 6x@E]2((F-6e!D5  J|`[pÒlA4QW)X+Fpiyd!?ƵG #L$ȇLĴm7ͯ^ wX*ZXb LRQ/irv~9t1"m@KwL8@Hr)x\^|(0eXK7gh{SP|7 <Y6sfWlD1⩖uR 6dcK>+)ie';iZu&YH z!LQ?VX@F!m83~Mo6^!P$)lx-lX&t/ԽWx@qUPmNW$vwi=0؁Pi *.*cơW'>"~$$Zj#t}u-F˨8 4H~7) zƝ0yp)TP?[u"pe oQLxiv mkP:8&>y dYU@f؊Mpe h,FGkL^=C%T*TGpSb VL_Ԡi-#<^D,p q> 9GΔOHUdx-3xLG)*CxuK+>ۑCS% fjcCkZ'ǣ͢K @cXq1{^XֆOR/1YS?8D8Zk]3/-L&{|pN]0 !z@)vrn ИZҞtY9(v><W!G[avklhXZjn F̺bqR^l ,v[H)4p!/vmGH2ֈ8߂y`5Mv㔭4zD\3= yݭJؚ}5Hqu0EF_gq(p&jM[Q}u:+qiwր`{*S$f0,F~/hFTbaBؒg$7][ DN=x  Ed[x@ۮJiẻ75NXO(IL%_*-oB,e?JR| lˋV7 ` tIkcǕwis $T9O_Ƈjѡ*GQf;(0]?Lqs^ZTzdf~=~nI_DaTęw,iۏPsp*`+tܦ/'%ưE)\l>5lo̭K縳KQg6BC! BZŴxwo; r:c%[gŨ>Rls˃(`EqF1yh$U/RɬN=hZP :ړFdXA i' J++9=*K>WMH_ѯ]L+x?H_\4e"܆Q7:Luho]w<)Q`Ls nmiPk-ϕzSgVnIF]Syo $hj={Kw?tv9 yE3As[ib>* W-yMVZx'VOH`Zꗨ0>{b\CBE1);: =׉bBzq¶Z ∣pub'NߜnќeķdOS,E9C+?t6GQ <OcGb"ߪZU ?V<:1\!|E%6r_ V])7BCxfdv U- T %Y#-/HQ\;0 z <^{|DϢ1'CՒmfN  u˱#%|2K-,L'`rBJ|8+O3)olV߅+t37( VIgէ2ڱ[lo4`ߞWaJ<>B6,j_Z:3#ZNuQD;}x|Ve H> 7?@73l8crQ %n#?KخvX?{.uE :23L<&FyeؽC )ԍ[V-#D-RI %%*9;n$=K Gds0О:b=eQp8y<&p*EvXzS9Iyʢ)vgʊ9 Ah9xe#GESCFM!6yx֚:0TT+[k[r=KrPI*@^Cۨsϵ; Zܲk8 ћ z]EJiWʴ ak|pFt,o ؖaqbV8FDo$\W@]c Hww"RGn&F-2b\Վj~!?)ZF!ro^Kn/c ls DMd֫m[(~2q:gt+e^7Ȭ4'&5T<슡Zg@89k i'7LVO>pp`N{sMR @Nŧ#}CޮtFn_ԌEa~ʗB:H>p2s@PPXҕm8 x[Fҝ# 6qX уG-1 y ۧQ4}r)7U4g;!3œ$)7)h$ETE =3 WTOnjֽ5(8bҸmhx+4`d-'Rߌ~qQw7Co/)w1wj|E*,H-%D50DNQ&hT,J,\Ӣ.ѕ _Yr/0*)#"V]<>AÙTs#Sk H548`";'ep}a1}CA#4OQ{OknW <l0qcS<9LrU-M&pD"Pu u=am%nm_l.^ۿ.3TRv\ s?nr PO+A^̣>#5 -l{M\sUQVc0y*U=MuP73 +r%5*巂mH_s6E^y/ޛ]s 87o*h˵F6PT:O'Mhy) w^0^P C­jG/1HV>`i*LIh!ƁRH,SP1ŪZ6j&wH HY$Z`O?`h5N7,ak ?oePCS o=GEE #2rTΙ׬01p)` qBFo zO>.̂ [m6h2 0Ʃ[tֹ *n{+.m·~Ɲ&-@7~ bCz\!p8t4Ԥ4k}@dņm8Hh"Mܦ`fo6T)VQssLbqv~ OBLnN5FD򐶢%'OyET%0kaiV/-;y=;uX7+o<ljb]y.RS-&_5zm.C&e,.RFUU K \Wq;ily*0s_fKe /ӧlke;4" ;?K=]}eO6AKb@з7{EUA_dY~/r\/[Qz#ijJz‭MˈLd1+;SSʽC{8Kl5y9oļAr?oY?`}4(meq, W}Cl#&sF*} 9#kq;J"!R hd-W`o}`+M6KXhHiV|ZD 6aR?zUE<jeёzW,'/nSOD\d:7u'#cAOh=˶;S6foA^VeWg[}n}rܞp~c0pg,+6?l52)F`HGP|@3V޳֨rJq6/d\MYANz'? n^',%w5Cڛ4D@-}(uԩ⚷";]% \ª sby,+X(O@8l܀ ^!HA<}x_n&cG!lW Q;{{6PIK-Ni(H7Hfe`< GU2M2tU.9uloE̵cMʍ)#2_>aNp"gr +`F>8V;du=t\Rf%\xE s!c!~Ot}?B*],1vE`Ȝ{_Wi;1q-fc§AP7?ISGyYl&'lJ-A~Z6ً[c-l8P`OWK*(sk\ɇo 'qHk_5H"ra` $,AoX9jFU܅Bx/gΏD1KwF>}&vma jRaV R&{.h/Uk23+#6Mj/3eƂ$sy:1VKڹ(oiZ{<&evl07c`!4Bvx!nr+Q:G>%&3 hZaWrjL?؛yڟ;:wi|VO27>7Bj~o^k!=7$—H[Jylk쉦!dp3xnr䢴$jeUJ"T*uTeK>]ڟs6&X _ӕeA7;bY3ȣz8YrG:aRO4nq0UTDpbtۨny ug(^ Ip[{'uх/$ rמ')E_%Aѱ I([ 3[+vfԓ^ d/Ǔ|9P_J&ώ[v=]ZXbZ;q2V}8v39 D'WsTOx^vKmӐȋ_|N3fNlއ7DLpq 8~ 9;Z5.xEkVyy.AQXo˙Tr}QpsIɰtSF4caWL+pYdžy,|[p :dp[$iS"={1}Ec5q$c$%%%舯%S\~G)׬ЄRѶHWjqDG. lc]͞ c [Ef4"GU5@}!غ Hn|y7. ,$bf%2EVmS^w2z*wFT!(9z$ -8^Ym)jxVZ[Cmfu} ehFua~ԱU2 nKRUE/gdq,T` m.T,3hA`ngݡ{8bn!6R0zx$}w*>$l, Thѕ\7=H]ƲC/Y\}< [-`P&W9ftvccNzM vzfyue݆C1GۋDwC4yDAqd8Q% j<@T$(Oho8A[*˘m-Ql 9&ч\?'XQnn/kh@; v_q,mۉkƴU]nk2,:t$HP1g.XR"ijOt;epA𴍍sR /cL/ֵ`if,~,?m %V1@٥ϧKSֺP-<,-%[1 7j܂AU㿶W@@},OEN؇i 9 IdnJrΡb%.&_;qEF f̎H.c$T~~`~ 0hY|B ,#$HOȟ̿nO9(J?`1W!G73pߐ7,MUe,wFK` T-7ÇJ,{GlSUSn݌Py*h&-Zn3ޣ `ߋd;YZw9 .kV[Λ+{1wԐH;+*mN7>d;DfؑN+{~zu~k]5j `d:rGquba6[u0ʅ%BrVJUmEz۝A/ ;άh%W4 7X~΅T#վP@ی"eq P5ґ od|0E_V,QA_~Aot( ꜗ\8o.{4-0yE:t>`0FzZ=,:MȲ"uv̓63{,}V>m\ Zٸl^pS^X2CKS'EbXxƜEm9./d/)M0^)=8 rJZn4q--X'S\ۜP-}FDv@dm"!^F/uqΉl#Uܽrv:O\VɴWˆ%ݎ=EJ9^7{Svi_4pvsSf#,!Mѕ0 #EMRL)uu#5eDdagt_O eiTjO>'iNwT9+!<k!|zga߭-'72+ 1} 8ɘL8\0H tQc"5zpqzM)C2ȘQ%p Z>p/Ė*l ,KRѡ3m.,*J1#S>h$J1|`UV6O+9rEѰhrk@hmOZ P鯒UPVlJ`t Z{aWe7Z#f(\p^e #0 &%WT0mդ ?u  MQ }~*@K8"R''8]z!cWtyaO;…,1н[F!\-~;_!B[քCF ɐs8:LxDN~!YL\dy&vpVf_@[dNn@E׊/LդimmtS:NLPn,]nԊav9͙t)[.I!budFT]#7Akz* ECܜ-2/̐rkjax` ]HeFrWⱰ[qq~, x/ =.mY"1k #GEqH @S[^F}&.tχphyQq /|=avF .c25GNXU=Q`d@ =CY~>/& NMұ$nk|O:iY YCFVtyX?!}T<$R">Wv5$Anԑ\:ND"O^WFzIaWQGOI&snmVRڠ̬ %t$Ԋ[ٸ˱h+)u=.3'_ g^ͽ*q-2}۞E~7/tcU_u/A3Bb4Le)ltH&>C&{ZyQ{8/NOKv( a1nˤ=%îg`L-=0V1a;Y QbM33ݜ!١5и D 0w| bN5$20Œ0d=֟xn> i$*wȓTa뱴kn%BdF/Fueɴ"-.1k;' cu8p]9 ڬ ^'I]{OGT_G qv}) H :ݤCh&4k"XrA<v _jK '`?M܁Fjt =9YqtE+ @/~F%ٙu {W=<69HZg\x8)*aQEP%frc@e/41!˦DÓ$x@Nx::`6sn\Akڦsu1W#$A#6*BAؠ8k_iqb/݌-@y,%Cep6H0!8 2GEOz8æhV "7f"ĕr\ 8|gS~_V&fd#TQ~xQtS BnƲ0o>iq=/{Ul&hS}%$[pEyJ)ҡR]D*E}eS*N};ݽN8RԻ(+3֢U}.tNulg Q}Y܎0%gQ榿F+"8Z\:z]*Y *5B5Q2l~fh_7>a9v\֫Q ,$y3<]@tC5@4Vm6*Lg\g@H_M0R6&u#)I4k'NbH>~B-$4g Ҥ#V[nõ(}%KH폍s[*7kmMҰrl'P0SvoC7f(:$&Ug&5{4H$+u}t,)t4|Y%Z?2mF,뼊i LG+T/%Z78+d+ٚ$ږqB2ަ|.{a?z 6wlӞi3OJ G[s>a@Mv`7{6i ]PWѭD5ުۦALaQX@zv>c$LUmEQaGXWrЬg^+:O޷e*E?V ӛk_"V"ٰmGa;[>7y(%+ui=:PBݓ #E ?oe߄A7\e5CVHĞ9Q=Y&* ZGR*3q|JUV6 XJ!O`3`k{cS\KAXXzC]u.}mF>.Nz' 0wPpJ9RyaC(!By2DŽ6 Ir2H{vlR>S4xr !Ioz8su]|~m˹{=A:@R16Jx* oPojQQݙ|y >hv/0JzŊWJߡDIV r1c_h ۈh롆R/k(@IM :5=s͚FƻOʳYJ.O^TZ.fI{(n]t`$YPWgKPO@:l: ^Ha.^^,4~V˔@@+nŜZj>X`*r:2иΖ#ꊕZժUJr!yo͇_> Ȋ01L |$k㝓\Z1dK̋iP͡6 !isȷ.M їQ>Nfw Ȣ<VGdzE}̨;FRʚuf!Z$|lH=ة 7tnε/7"zA%R\VvO+FNp-)i"V ߖ7x<{.;Zu#V`O B`-'ri522Kmxb(KT!9FC74S!yoMj!hcDETIˆ2p=x^L$C`*+sc}z+\*|(/R94m2G#L9phL+ƁB y/j\*>yD)^0849 ZLMt&_JQpHq8T&ONNIPk@Mޏ bβqPb{Uȼw-ȥ_4?f#WQdeĶ@׽$aIh#@Ox-`cGRGFHE *;f=+`vGERЁ0rLtY.&Q} \/PCC_Tewl{Mt($ "PaK٫AkkIQk= &ΤȖ󏿩; Jd99=c`&7bfB/ӧƶ&՞:펬 ZR8wix_ZjW]YR2w4&(0EX)l :7ILcSfT4لLT8z(F Xd}TGEOt "&Bit1X+7$@6ᑚRDw(A{FO'x>o0dy ԟ /C#VWu"csnSQD jTY.-lٺa|D<]\Kk2ORJ|Q5 ')BL 1P=grUpNaLt}E-2J1ni䥞 xupg[vV}G"k5IY5<ˇӟZ֋,LuטfZ$[Bi {lۊE*s8PKYmyoRwawПppfWT3ܴeNwqi)%kzIN"(CdrZFprܸF`!zUZx!ʦT }pPwA%=se6 xw ^?Rn͡χpq45LV,e!Ⲡn~ "[ IQ+i}ZUf]τ*FT ׎?J|f@-ٍ 66 ~4VG#tYFDj? OuEXy4e3 ֎̘tRE׵(u\#G6q>gļ.і"v`s`q(Oh)+OvtcXl4!8“ jz97-=yM&Ә~YxzE5x|:]]TO}&.9MT}ă  k??,,"JPszk}|ps {OCyG9WH4XS/y C@<*9%,h3SLkޅ46ˢk\~[VFv ) q$B:?K򟗈͗@GTTjO;S'm$;ZH]e9?"~!n "QEht兟xQDF%Z5;ž[r1+d3fK/߇mƕl -n%nPgYy[ f6Gu^5DKzeԧb 'fѷFˤ8*$z.PBMPW ~OTڰe+6(\c߾/`9HI䉐{w SO`R$ϣ[:Ϯ8 l#hKl< 6j;kA0Yhn¥?־B'aRٳՇ8S%ޑ1`GP7ؿYoBI(渊?ձO37.^z?rKLF2G0p%Qa\4BdsēHd8y|p׆lX_57N<ODL>J7ˍ +w$]o9ǜtĿ64a5Paâ;wߥ6Q-&U1i l bk~JP<9&RF #7_#S@ʚnoLWDƙ&߿wFE`12V :ogD\Eݳ5f/o2O3l$Hv s4ftX/W`V?,yљ2v~."ȣU':2 sϤV :[|ۘ2;{tr ga(ɒN E`1~#9?$WC*]&闦SC:pI8mfAG7py.wo$E)7 W^9c?j+g^@ k NV@KZįܭ-ߡ(}s.{퉝SMipe-bt N?}^o,51,,[u8'.}|( ?Lu.\!Gus+4< Exׁ?pL4F>"ز;Ҋ۪F (xzwNSs2sx|~rW4qdy-μ|o??#\D{s"E͟/06[Ŏyڈ'`4:l8xh| ,֧`SG$9avo\oMf47hfeEȄG<6['(-ӕz=jdUD0|Po6>ԸPqE< fl!v}~ 4,וTnM^{C'IxbM\8a‡b$+7S#hoEFfqǡfuR&"!jby4!=U鞫/K1lw[:Foh.Sh u: nL6KNL2ҳcl[wR7*D~?pJKX@;x1RKQi@_cЁmz̾&)VWdK|c:f5qzpXD2w:G mx iދE6cURII]+ʪ'hnݕ 5x04$?:ȟl{q+71^wHY%P ^mPi9l=@ رvL3|pGۧ)2vذ@@:RY͕ʭV ܡ4)qѬ~$A"'Z?<{r)M-5~b4&{|Ы^7Q' lK:e0ya5Y_|- 㺬g|uo!QYOMj{ثպPF(9NÖ&ÐJ}X2Q历^@ak~WosKTh|:F@hMD7x7L|+}a1BG2KkRbxM@eYg*5nIQkIɈu:;s ^3?JwK r0{g{W܎c+摦u!&Z1 rXf, y%E[爋BfA#/$Ⱥth@*f٬."i23 ;:RWgzY[O8$Js$s³!@;pྰjW caIPL5P゙ܛh Ŷ;gF!Q rU<6ZѻGfw9c)3_!}le:l9-\}on9zHKO7˜{XSJ qy?w+CU1 /R@d*-09 tJ[u2fZmyYƖηƬ#¾R H9,_d p +72+D@5aaojs?bsuվ5Dܝ+, knZ9#nz62Fz~nO;NN8GnK֧hD Kɝ)4ǟU4Y@Dv]ͩ6[GJ_lw|>=,䢺H WyOfG("Ȝ{%[AХNy> HiTÝ*9iy&U)/eAĂ3WsX:Cc\ 6IϨDx+qO^}nr.UΧiC3^5 7պ@a! IAA RyNf6M [ۼE`sYs]Ehϯ@ ?;S)5o92u:JGv&"w !5j],{ĢuA`R)3!|5G+y#=9?9`^/JgBΩyw~'r$2^%C3&p(F>i)a4DUª7\בCWҏ,+ r Ք"s@&_OM^0Lvy0_Ovv]\d{{)P &u U4(#d7ъ㏑ɤ{~JzEQ6D W7Lk_Ids/%>FX_͆hrU?ͼJasZ$wEnImpj)1Yi"I C+pp=1c=p7%?嬘 GT\ilbX!۷)3Ec,%#Òt:E3d(ķfbֺR˴D!̈́ eRm`nn1[[GR-e|;0IT&%1!ay4.HzF|snT'kfHC.waN%vZOzzy';1H݅ɂHF_J=*hpU@o)<}{] :m44^lbx)6uh3 uGT)d1x.]}8|=-C-*wMf% |*ϡ(!.FgȽ_by&[d'.v{$!EC]aZq?腤 z٤M~@!^Mȿ Κ|Pu9}XQT5BD]QL#lk~ nepd'Y[⬥mtD/d dtVE%.u<1|rk1Hijձ7ѧ(Ox&;?86x0RW3ePZ/-=ˎBo%]M.YjS4MP;m ǴEcƊ* m--,T)䁊@vk"&Ԝrx#qPXYv&Sœ*6NǭK auG+ԏfd3%Mh E+2گ6 ;&\"_ttvHopG{@G*:$<bqy73|YB#m3hz4ܧiG> S[.!ޕwN+OaqJepf=ŵM3yek q s&Ŵa@v5k-:G|)\& dPiFc1J(B3ws_e%uy蔏KQ"_WkmB4ۼӲX]!81X0zҬaJNW1|L 9˅]9b5E g&pKAO9db/ mOgj&4g(dݾ,=DqTR_"8LmK r]kg ^mEC8te9#a $i\O "Dv7=I\$:G61TWE=OTdd,#maC'Nn@눶f"Dla byAaq] lm#f[ĀI8$i2+3T)A]Fhc}<LXߒӶ8SXFYXN5/|Xdh2i!zވ:$-rS(>9/-Mb2I g' Dx8cX1f/{8"Icr-FC% t+u>1lV;Sttߕ! <*~~W0HęRD\ɖV +K*Bͺk0Q׃Z\׳>Zv\bTvA#+BALO+n: bhGpzź6+V5Uh\E>$||$A &َRzQ=se~2[q㐖 OWjz?'.3B?6^g.Þxdc mcz`uz)H11^硜O ~{L>WAUݿYDIwYJ'qUzXYyp]u2cjG><V͚d]ipLqշ)#(;̉idy=tlcVM}E6ҭKҮ6udOi7$S&qų4(?h49|K*2BܝUcH UE)_8PӇ|[(>-/;R_Wr)Gt]nt+w 瑆3r⣈A@So4=V_+yiF1 Q+!5f_:Z3s c^jmgnL=5 ep ;e0?ljlx;7ԘxvK$UpLϡzmDU(2!s.?ef”\8!L|@ w.0C4}Ngw <9"!c ^ w\ ۝JǾ߱17uMD#IK \G$exBf3rAf4A 3`14yhzH0IJ?41>HX&, c^_:e7Z!kހA[Z .5gV_=5ߧyӇY?>{d]Wכ.tނ]8!MVQ`-D")Ӹ :. ܏a-^iNZyϩp#Ks|Nsȴ LY=F3'5F9wKo,KGm(8"^΍gz(12vztI)EHyëtf i3"c mWqbȾ[0U۹MX:i~`% <'[4-;6ӌ֑Sm(0x„`Gk) /zS"#(8b¬4BLԃOYk)eh`HX 3i h *f ƃt=Y瑘- *D+M>~<[UIP:'ćI5fgYZe13ed4d318ae5476e6fb5a0d89cccedd6bc9e52ee42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc6bd9bbdc512b4285208991871922eb2330778ca5