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 ##%!,| ]]]HOL-Proofs:threads=2elapsed=1081.668cpu=1828.004gc=414.048factor=1.697zXZִF! K]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb_8< ӟ*a/ b2'LS[:zn Yjo:R._ TkRI]I׉ wrF<DyU~Zه׽f Б!>g@y-rPau8UuU@P[IW8w=h+Wurڻ}pRb8u)jDH: NYH$ 9dBF41+)2_u2HvD1ӥ1z^p"z9J%.=YPJx #` #{l:ҢJ{ 6ԵXH2I1Kzbx)Ovs"cqV:[}},eCq]}c]_z%;>tL]ENu컣u&;p>[;K=Kgo0-!՜Ş\jd p$c"u"e:>.z36=lH4sֹe~>)>3GNOTw4  xؐĈ \uP g6?$ pGїE8 8l;:)@tf2$@bcdxJbApG,Fﶗz5{{k+ !#S\N,¬=B93Qozzٕ@@*| ^ؐ"ux,7"g؎LoKuG0‡An*_ N eX ^zB';DH!Kx 0!L)ͤP׉'z)E]bzȼA.L?'0ؖI:Xʄd]џ2(`ęJO"Fn"Q=-CÐiz{1$SЗm~ЄQFϲM'z |r1D.`]v|@*g Ԉ;ˀ3` kB*an3oqLw^m lUL<4_l]ɥi CNF}#|_ .Oȝb=?bDUY5#`Yj ]j~g]yj2:5qD p ۨyAe-fa5E&:䚚L W#ZB*0crۑnZЋrA*xNͭUv:pح3Bxh`#lzG6.8K^)ɑ.SbF&c~,⣠vSY6yU6) \gxUù]?lXo}DRA%[w,+F^^>s,|~5.M.=4iؿt8M>.Dҝ XŢiP[ %$gaJk( `}_:+gcWߩ_z#gEhy ~YQ|A0}hKV i֏Ppk6pL50Gkʵ2-gxO}*v:]DU?6wp{}e"v o,1<{;?œ't2੊]G5a3˳ӛh8t;77lp!$ :A;{( >N[L+3>0XE縯6z}Q~ Um7Í˔edM 6é*zFv{l  ! HOL-Proofsdl/RXI\-Eo}/Pr5CmYj$Oqg8U[I`%ᐙiWs9dzxEjpvWT䐑:/uwLi‰BQa5;{#m IXD66;U CTֿKDWH$)c!(/7qU۾J/-EDf&'SK_'Z$Y8g y@!DxEb y K9SHK堧 淼锇{rɮ&@Mu>O 1J_%u;?iMnAF>࠴nu1ݗAppkZbkb+}mOS ~6ΓBH?.rBwlBma8j@;YS6)S)-4l0T.*jO>,14 ~ L9`svPʜJ5Ւ|5\ײɓ-9I'v^A^(pU.O/Dd[E P=)y1 `my[d\dfb~?έdUx@f` A$f&`h ; 5Q&5P36/a⨲Z E>ie`"Z|Poƈ 6;;/0LN#h{d`w(jnVِciL,r3ɋzU~Ha^^gftLy5ўkRױniŪ[2|mKHMb=g6Y:ܰW=>=7FI5,>@d'ڎGVJJ~ϯΘ@Xxm!7N;]fun JyX'c5M {,=Kb^1vrsya bݱ#v ?GZV8TI'=XX1 Q յ~ P o{P[Va >r$\F=F$B 5ͣ|XiIF h $N蒸9֒},O%j|-*f(X*=Zʿ{lY3d;Q Do&z !Ԯ4BJ*뽑J.Ԇxc1#$&v`Vt@B`d5+%]xB[}}ƫvxRp*I5طz8r[b1-:Yg|HicSe0t`OdC+Y &7 s|L \Vzeo]NM]K3답9rb SNEbSmm}'X$-IO(LC6nYL&V:oԵ'G c_R!$cp.!ԋQ%p+0MoZizn|pJ_T-X͹FUPn pb!m&Nc`QZj$NW2SڈFiɉ 5#vIX6ggpw]=x5u`%gK=(?WseRh-j/\`_Hx{\VTYap܋>?V(: `7FR$X&,4iiV{jXOxSkiՓ׳~g& ^E Ȩ1%ߟBʽmD1^?vɘ1<_[*mTh-tCl4Lj5?}iF竊D߶*x۱{!0*;Eܯ1.S)BצH%+*LoaEI;ʫ 5H6q\ؔĒFu)%l)RgYZ7zXZִF! J]ŗXiɟ29aoʼz[%U>EM!!*W2OU?&I% l|yɤ ΤnpGS6 7ޮD4>ܤlAGjmoV.viwx~0f'EtRb Ț{C 6[ON)f=ˠۡOdCzGŪ s6 Z_qj^OB]djbmѫ$?DqQo PZB6hY+ jJv!r\.!T.DwN&lC1-'U~}D EOF6$ ڹcx,ƿ2 \,

PrJt,>r)b~+hz3j}e-?`"X)6/cҖts*-0&yюUPMwe 1I%Dڡ9T׸)hVF.-n uE¤W /t'?t%_ _7q)?(f>7yZ'jAīY+N,~'/0I;HEda)|S& "rebB%tso5`p&;~S0ɠ߽j%YKV> bBa2!V_Lb3`zz>跶iՔM?;ح#yX1-dbI 1*ڹASlh]Aӑ=59`V] Lͤ6IT+A&esog,COc${s )Mǯ>ZF+W昭k%o Jq%=Pdg\4Km{ M+@SvDRfGZ%'~'/vMmlD5=6%WwgiVϞs7VיËV}]<%֩a,\vْ >%\VE/xʼnm#(NPrJ ة9uAOS{n$[shwZW~ԖQa,Frw޿Un)wrĆCfR4q[ Ji2v >j]DUyeߋ83KgVPMCe3!X!DJ"#|WmmuQwGXyIS^j5A^6􏢈 RVU>䓍sm-mhݐf\#4sgV cFf1wa2Ij׏(KUDgi_>h(.WM@hnO'ɻ96:"=TlazՄ> nq]unъHI0yqW'.vӚA"/_iWNzL*Ҝ?Py2fG 2zgYZ7zXZִF! $]ŗXi%96xaf9) ZjIN5N57^z8qb2N51nBuZfj\o}ҿNv$vjo lvM}yK>fF4A A'^ 啁 ʸJpѲNqnyroFy2ّ@5R &xʻ!.hRWyF!&N'%#e1 Ex(g+A:@n }%2uTN&&ul"y9n5S;vꤔ cFJc~a]`+ƙ˶Da#LDj~lj- \qdS N3q2 /piM{uŨ$M(ososd&JH$R( 5 ~0l7}4ia*2rOdx" ^u#[CVI!YciZ"2LOM%$AQ {L)Bw)htlɾM_E:Px^s6õV@}~ %!a߻e<: ۞Ic/.\0_fC B]#ͬ H+>~\5eգۣy&Eg ]rtslnuX\{ ,Tʲ Ӊ>oʋC94 "~0Bo:c9!K1!±wKU)|?*,#!&ף=d;( ^b, ߾%/P"ۮ}y0\Sac rgi6m4]/u|PkaVGorrրe[d2Hz*r nB4%/((%lƺAN~>`y7<} [!TEKNZo:^TێZ`"RIpw4c7~%.D93gIKӠ @ko?e Fw>̜ C_x懛&kn"<2-ZZK#mt/o}nN^[O]`IC@":ܥ/b78Xz+f@۴YU*=6*ԙ8\=:r~U}Ts?^XuPzݲ julϜT;;q8rJLrc-6BfPG[brfhxV+iu)9*+t9ȿ RgM@6Si B5!˵w0zCۀ@;m q71!hBIyb_߶{!>092 U+r[ 0O,[uϷ7RH^B@kl xwSrw~q$Z>P)&d @-J>se=c"veo;\9]IXDBQI _,)Н}v14pQe iѺbQ?bM.eDXdy>X>nmB%Lk&r& 8,B &/gXbw6dޙpbn3ᇇC )Y./Z&΍ZSL_8 i:׫wXF|#\F(s 4/ 'X^O&8N#b=+iW_,2吀TVFj 6H4jʕ왼E*n$y?%t 5Q;7K1ВK`(Fd@;lz[Tc< J淧~|IQ'xx=*pf& )}ۮy$REf82 F}6>eM:ohi3}Ͷބe3ԫ5.U|ձʨo/Xc$ 9'? #ElIj u2ޙҐ2POSxO AI,G~b~횗O?eQl{XCG@PK'QG爒A9*z,q .Ho(:+jyUӀ[0KҌBK${-XޫQf_һ+XHfn'u ,SXLAmZc <05û B)y5 7`6FWv'[Vx bQK(PI/k0]ѪёsBKnMy |c8 ["M2/ZEG: 39Q~ XC2[U2+p2eq{m!T"$w|ޡOlUiK3nJo}PmctS i= J>= %0g)>3/SFZ7-X=G$2d1ͫ]m|#OA"O*,Y}/'{  0xh]PKYQ<4V"F8|`}{p8`MvBw x /Do6. lZUx9ߨx96u( TÖgauxZLIzH5KDdi#|Vt^uNBjiu5MWf̗z{F(t6f@>q`i1jOx2À'_8XgU"Xg9Ҹype=yc.ҿ cp%wWՕQF XH ?+X_9FD"NF=֣NJv%gpGJN=rX6-5HۯnNPf#.D m| Wm .ڂașloa:s^Mjig4PL;`6{@$LKNA*&g8d52 )2?Pٹ.R p͆xfnB#:gB~>{;83#d&d~8,H.Mr(a%^p >8\ kLcKҔ)6ģ+` TLw<8c#̚VljI'& 5}ū99ؾfY‑v'[Pʊn,6Nw4%7:TZ=fd\(6Y2Vbnf7z`*,k#;3K:Pbg􀨳y(XcOߏw)o|q-cHt7'Ypd^?(gb盽5anR&[r;̶3͵eFpMeR|d&`f7zVLGfkUX [_†'td- W {0Uub5/<ϩ8MȵK8(*f ZUd\AM2/(k#-O;\͠ Uy sҬL\je+qBh])U% h$d&fcFȠΉ3ɪ y*(Ӏ,GO}kr;Ve fMWT,I .ކF+AA9".ͫD [}Ia (HW-26qN,ybA|mA˰ *kW ~k{^`NJT.Ů4?:˘SwA7\ MMP#,.Ҝ*cTn%QG+} 65B6m̆^ԽD#9ʅ-`]ԗu~m[*J"ñ->MOߒ ]ϓ-mfCё5/jY`6TZ*ojYeN7Dx`M?yS? ѰdR tVS(`dIrΑR@\[Np`~/.J;P0xes{ʺzE=z\m-0ɽʓ/ibwű 䲠'}{w%0V\%;͓,i E،~ԱOzip3bb~wf##AREc8w4Eaڊ/U u$f~e 'fmfasS6ÈF&`̶ݍW~e .[S trB;j]E-? kei$}Ѧ l2P4|@?c o.66a2 9mIu &ϱWsN #whb_#bXjx=ӕ\P윥F 63Sz贋2)=OgXL2Aoݹω~9XL0 _9@tǑde@T2pQP9 :@RALӷTfiwmI*N fyS8@90 &`xX{dmx 7_4K)T,'72 %=V/Eaz-bO> T:^SiB"SikfR(6bHG%!?+߃.% P^[sN@ggm{}fCh Z?U81\rY߽U͂ ./}Ie!fӣ n YE ֫( 0b{R19/ yK[^UͿZKQwأS"a"阹|hw^% #1A?%\]?zG~MʏFXS77=GRHď+7Q8`c#^;00ΉA ꁝ &v$9DM}Dk>ܑ7|97Qw> g ֡ |1+z/hVW eL+b:*݂kN颍&&bO> ndmypuY G\~Y_*~`! ԂWCy#ZAEĊּZn/uXN?bЍܲrS!H*6Š>:&Duv)1Peg1ráqm JWݡ#w6wB'gOg5s4 Y"J#ӅCVboՂYoXc7+Djy{kRʹ`R) 2g})D|ahmA_OTK"~`k΀k[ۏG" ;ujH:up_Οy tfCtP6  Tv͘'ok*``@bѲ-kUETt:^י 'b #`HN3W=}jRQ\N"^G]հ@lYbʩ JԄ:gIZrʼnu,H.ka!-$-w㯒1Hjj #`+G*| /uGsU# ;KB31\dÿ&.aֶO0&f_ٰXdtNۑ tJ8.(A^ چׂ6S@[>ZZ~(,fWe{å=W0]zK/.;_x= VH2!` JNF8<#j2Uwuh WЃ+̀Yth 1Y^Q.cX[RݼdQET[šnKR.?HNR<˜:7w"s37k 95CiS?cA[ۊ[> 4]&4W^ӄ8n\mł{2]T_UPv&)ັ2s ^v$Lh`Ð@XLݚ$aW ,j_F&Di'Jvzc)P%.fB̡\3Ù@"reQ!]Z1q?lLkYҹKK)F#/9$'!/r_t&A"b2:[%3@/ fD090NN@;%^ RVeR-^u3@gXc d1RLy!aY2Tn K  J"_1- 9=~jec1qEjym9RM+HXԀfB@#sF.=1th0Kߊ*n:AbSCo^ib ߘhxֈy(S3-\3Vi#Zt@ +r'%q<S \7q0h̭ E>jO6- [b{sm߲BPS<Af̏<LڽиH%zVr8\A1qEp_2ƇR=[.DW) RKDd|j|c}L;2<ݱ^Ү~lntBRm=bbU!g1dL0~AXsTPAZuќZ{iBz-$=Á m593;s$!#@EBpv?LR=o7WldSōۆڲdzs*_\i*OTa3׿|w}kNbᮟI@wg:DSi7CǮKf&P*j{Ǻ`ڑRFDLgc.[2CI4Z̞ m l $<{~wnO,4==פ!8/2Jem(/"B&9a*" gJ__ i)ikvkxzL؊XnO`[V'ՍcSC S1 'PNѦ;ê~! MCMD,D_LaU_D.q,eG݌O⹆*R2xCm44%#e̘qGRbIF?!OfI3j]k35;5()f"}{|\{άx; "lKo]bbnB5)^y9ȋn (՛$O1{ pq8?+\&QΏSbq1#Yi SG~"nPQxU dj?)(!M@ #<(o!k:QʜV_8m;lBX=2]iYTjQCPGd[^?P2P9,1_ejc&CfӰ?,OB/t틪f: 0H~Z l-1{L@& @߱Č]ѡcy˅q$0_F]8G^On%-t20IYFb6v X]0PPKQI{BёqP vZWclEmKaǟ})ba zfi Ampn\ &CZT=˙Jߎkߝ" hn߯Yڪ$ j(oXXCIod}INAYe/V4>Xw_Ycɢ8*tF]s[]YWZH I${MY븝Q{{ωx{6 Ty@H^F7 EpэĦi=\9 &y=u>-,j~j ?&@l3̈(mgiA\o v9~&*yfkU*BFF̎xx;\k yWUאb4g xg=lOmMAI؁Ov6vepX 0]lEHGu i6km3dvkit< ,.$%Uuȳ!>6S0?M?84hk1)Dϫ7݊/'eDNRx VjJ uOpK:PNQyӈkpH^ c3KeѴGgof{c8@x %(|?mA~Ha^_UFS#A7f.UK>!ᅮ#"3ۜu}:I'S=uF#e!5m\rR9c:f̪Ij^LJo0`6y3}oTe 1\[B!ɦP5Z"fY&+4'"? Y+CѯOO vƹt|ҷ?eМfPV4F&,q pv~rيEDMrD,HeX]g@ZgLtQ<z!e> *"G$Pwu[/J@(u%T 3eP2HD X2NJcC*%vMZ%insGDvN#mQdLB(cP=qY>&y)'v5zզONl=UN9X/ |q$T1F!NаTsl6deX́(j2u=]8-6z>6}ֆɕJڮ=٘֠`"سW` }&$Gg'1IZ+?KٮlVy-RnT2@WJU_cT-V^uoNJ飳j?+ʛF zu ذvw0tUwc7i4zV `WypV4W<5ggϤD)G-Z {>B(LJaZ~}pjf~ϾK;%ܫ W364 $FUCYBP&|#//JIQyGu];G6Nk枱EgۜfTM/LJewmL@)&@ͻњbQ؎-295B\$~ѝRX"ka|g9P>4bQAii(=׎@5gnl Zb2I{,5iB(Z {tѭmè486Ҋ rls_ ʝ  31bqs4`Z yUDH}ۈ@+s'C'c{K-E W7]V1BEVV2зvUX琿Y.ãF7)ʳPP#ܛf!n8`56=D M>z*W<@El92&dӉ$KE^pSIm1yϦoM~.-"dR0qۯ(~?dW5z<@^CQ=q&Dh1[aP̶a Ta:rRR{Ȼ4 f˫S5[>Nݒ Pr\p껋 ۘ9rPOYfQ\ѬN4l΀f_2>Yu'fcx~ěVʄR_ =w Y+ SD=Dw &9+.6/6qO#nM3TV>dF1l#t`M@,c`&aVhA1T}ḫW%Uȃ;u3"+#ƔKqq:q oN.`ntOHe5L/ ;di*P4jws{梠6}C`Ga2&Nˤc@M'D(d' jNrDNlY./xvTe%O]P;^MOfkݛfoKtnӞ}{H{}!3cv\ r<Q0qpuyRj~ypc&Vcjrf5>V3~ *dO>a (ŵdݕ{M/3 t[/Rup_Xt`;#3@u!ƂG?+CU5KEZ_P6@}eӱ&a8#ћ!5Ho`lÆ A )7EC8UW.Yhj|O\2-yD|U(js56,O+3RD4㴁ljm~[}8dN шsmyh%I&ՐYA4h}Xs(ze=,KAd)&+֤50FnʼnTM)2_YfH[dQ3Ԅ\H|X/g`}߸,OεðU9{ 悁E=)6ĔO._+"D-qggNY$x]qDzǟڥ kxߩQN$Qge0㔜:H yؓ{Jc`2l:B.VX2:,q$]-0^[ Uk=<"e'2=C`bWf%Ԯ\( GSu#o39SO&Vo0_䧛 ?nvxe}1vq3IN_d8؈>^3M10V.ea#xک- 0<+V3/l4]+O(ԚkrG38c=RD eUnoRD^( 94P)a= /h`\Zj 'O 1og0 y= kOiy+N؃ ؗ᧚ `7HS|"0m,{\[M9xgv]rTxYeVG,`ywhvx1!g0di`}( L:DjwԌsSt4,s+zV.V~ju"n~ܞ:_CaB95CxIۺcCFO=x۾"˪qPZK|-l!#[ux,ڸ):26wV֙Sx\OF:n˼ęhPkhk$!£h_ÍʴRƚs$ 'VW'YIX81ǖ2G46DAp@,s>B=J#ݦ'J%Ta7>5.=VY[IM#) 7L'obv"g4a'}+Vqo+֜emI5 rE_mDiN:s3iYA@AUi@rک< \s_ݱc0+E. XJA'7v[_u(  ;_Q~C$?%4uCt~?ZtQߎH$:O'q d@<2kΕZ}ݛٌ¸򔠹Xި ɦ|5fFxm@-.xtU!_v=[k!f L ޥA[V9a.M`18P.ny4G>U 0"][4SG-IJ)҈ىrpuJ mw_34!iޖwT?\ ! VNhUi2օv(IvY )~8f:HڗT#7o:.Z/Z'MQ~(:8]2F'QGţN q>҆B\൘Xk R!YĵK4وQ[--*R!,2guZ#fg$VO&CDm7E$r 8m.`KCJ3JDG 9p.lO he<'h^Ot_KovaةP?M ^0ꮢҹ!߇SPp:~mgQp|>hݙL\ph4rye< Ae-jw\V5X h9*xBW^cw|6 DjVU$p5NN(OiF4XOAp{уҠ,,M,s,f:h/!!2^`u&~#ɳkIQ̿,_GNtkBs4%ŕx;γ?!CPAN}S[] S՚7#oD))LJ {e)3&pV-m ێ_I['&b|RgZ5he`#HЁw>',;" fѰ(4z ϜmxHpH#ܫe@?Hr:`.݅σ\ '8xӶpIˈU2I} u(X), v}qiA%h>s iTjj[᲻9Y0Tk-V)ۖE-#I/ I|`ڱ؞0*NNee5-dvH 9՚):-64!~"=롵[|F4݆j7ӿqn4*Eψ/?~!YG.ޛV쉙;~&lbW*”79m{q*:zNf\J}~G#(Q uh1JC$-`JV*?7?LH1m Q~[3gQ_(-R_ @xzF-s'XN5V1ӽUdo;CطMjI\;>䓿Y*~XÂӐq\ϰi4ü=F]3@lީo \l!ɱ]&>_xwdou/aAo}G;]rZF(2|R S7|]xQt3嘜|;X[&lԁ Q tqk٫cϝJnF֓6T ΫmB@_CdB[T\Fw:3YIcVKtRwmRp"D̩nWYxryZ&HL2bY:=ojCNs}YȪ.T`VS4p,϶ 31Q7jHl0mR<:TэRzR6!,8* i#4]eϥW\[;+'5Hm%+[Nrt皒wRl&йW]2glKaz%Bh-T4a$޽H)=x@r,Cl-|ƪrxMsedt5SB샖9-]QKۭWBxOX@uc jF]9j$Қ٪nyDMY8\=E'xD#6z7ų&eJ#4A{V?YPS ׭9yxϺlA-+ze[?QUtTp9_u[ڭIlͪ3yQ svJ_Ea`aPT@n}mi39n"9x*!? 6X࢕"A_dz4>:KG 1CrPXҙRU jLn:\'&Fg w((.W(=D]Ҿ2,ry,G3(}O|'%_6! 1{`,.KD}$9N?)'Ǯ߸ 54_Ls7e0ᰍc4C$H#kS:1/G +&`5ݥC[3$ӨKn̹K9#%XH`1JblxQP~?Rݬ>O^1Y<aa{]&K||!QJ8J$P˺r98j^ԁKw.yg[*qC$g{#d}W iD*݀!X!,feB"AH4591'ɝzjCD5R 3*KRU?6؄ 0nЛk5};tG~nev$P;eQT+ݴ ALoo[`h^Iu r>)H1B܇өZ }&JQU;B}n' ˝+ꬑ"=Bu9d~7xV̹-JF~f]zOyOnh;zS엱/Ez ҊH/9"Rb|ş8 Z(D6{0/$YB֨yB4Qv^Pֈ'l Ϊ 0ulp1t.wb ?+=8AoβJQF%0RХG8Yӱ5,ZvXwD--.bL]%~ԫ戮ACXJϬa&[Ӛh_a&#`ϭk{o~%]?FԦ 胄88 ?2u~CÀ%0 UC2ǤUrԪoފ0EjҾ?A?!QbfI. n,»$]: cB?| *n!DWwJ(ɋ~M= LJ|N03丼yͥ(v-* T"ȚkA2>SPD :/«[x^>#4>ı*c _qW׀2y_\h VU'qBnr HTԿG` D`,{t>C Z.OV)pfYtXLg|YlT{dc>ǍtIqCc˵Xf:wQ JnpBrC tF/5Y^WK腎~CTFexfV:npkH#Awd%}{e?--NDžv1g} lFǓk0.aqs)!PS'{ߏNćpvI؈Ⱦ3Sp'2}Lz٧YJEA vWNx} n07+` ֱC0F϶r0Sr)e=14fTe ֜x!%Ũ\)Ht_j[׆gy}}OS Sc ѓ{aP0QKQEkQ*k9C-Tn,z'9(UznnѡIz&\5^m_nW]HIDj^O8hE9n~+#p2qгJI<l,M䜨 PK$h0Ff*=q)Gn7iox(Ψ7%ךnO:䈬>Rd~HQ2k"Pt*f:>pjᶀBI#m(5nwzz(3M?E\Ad88?ǀac4d-4άKO~M#j13XWdk;*gԩ7nK[=-7 [d{..LG<1cX j'Ψu b6-=kB 3hl),0HaJ1=3=ŽNuFC^ sQ}<ߝи2N} 0-1El!3F;bjq-1 }oؼoM0x~Gn1S6woC#N<Qcl֐|2?] unx(SEy7S25, OeLLW8:bϻ Qx*L5_[z[ȀN^[ი"'+hFCKzF0C 4zG)R-<ʽ9"~䖜+ZZq%QQ &2l|E~wX2.̯NhO*tݓqd&B4V7kIO$BS.VoHiM^z QꎧV+|$'OoFdw p= {JY BΧg/qv-RRx/ML'2Q#/Pr p{E.B*@CRV2af2Le>, n> NQQ PW:H}&tc` 08pP-]TY Ko |Ҁ2Q)᭑({ӻfez< 40L-F{N_ 4.KR3@ʗO'@,Zv0v`QW]qq_/m.Pl͆3? #遼^٠d~2bC ÄԪ϶oɆ _$ #|Ehj}:NDD [ M ~P1xV^uSY#6* C{RR;F _|[tzw &ȱV1й#ׅ,g{/Skr$ 3(͑qXGƵ\m{# Ln=`L-CzՍ6o /wNI2u\c΀~# ɑ`jJkL?/l`u2omԶP i{kBV |aQKr^AáСĂ!nS"v!pq`K/2u !6 ]>zߺoW& ^R&.ԙ{"e{*E!֨aZC [‰"ZHÆv]rҶ<j)xEznSSRF1vy1"SJ= ~ V A `d֜}ŠdY_9J%3JuFfݡuu\n$ctkwaIMx(krYMuDlT]|^>, h(k^J(Ți҂}Jws\vo2_452@ξ ɺ'av0Ȱ3RFT> "}߫q,y?Iy{) ;'0r]ҥYT)č* <-Q{)R߰7ɊLPKRrgm}@\P!+'w-)q*֒O]Cz6Dhؼ+ |-a[Z߮~PΪĂL(ce}Ó(vIR&^5s.0:W~Z=d7 $d֕冧1_m(zq NZu9F~L\;Pgna={bW@v].ĹY T0%慀^uOED"\g)4x!d0/&/cNb]p&ȯZgH**G'"ywV{|\ǃ+9ۇpԽdIL%<,- # c|0H)u4^婗v.0zp݊({ t<;6v_Fw7ra4ۏ!Jh98@ `/c싄Pl`Tp"!Z1z t8Qw`9 \$kKр?M}Tx՝$&Bm~Oj 0<eUulMap󻂆f ҇,x@S.65_0 dN62$.n&X.=ҎgPdk X6 B  Tdiq`CU]%(=zlPoeuta7cC=q"P( N6?Ы~k7-bSoc~PBE⯤֠IC&sPEVAo:2ɗ} ]MRq8X'D.h54<*ݐjު2A:RvѦnF W?Ns{ _G (63N_t+#gH\D}QPT9a:-p[A~98 jڍM>5dvpu&c纺2AmZ9+d}&!!Kqù/E-wg'Zh0/G؅7F͑sAJj*> X4XESȹSxo|jjqevy7p fx3Gɍv) @Yd_~L?>% 1DO`$ڈL.^ p0ExD9col%궊 Yy)>rt2)vhY޽U=ؙu?R/kH͹ %5\v f,쪺E=Z^}!#dR @YI0'N,zhZLzY6:Mde2XG8Q7UhWdO%MC43zȘDrfF+4Ϋ6I8oNF=ǚ;d^4:y-].N6)*~VZ EK^-qrW樯 <sz,4}MA_ 'j3>ՠ?SggT -w?Ftѩ"JҒR=F*&P6bAq9ZzwaO']O+/B+yu]&5mQ~G ri/HG]dChHGLVP]!sN&t䢈wV-/'\e32FgT}S|ȡ| {P݋~v5e߶eILzgkޜ2`}~u2gKߕ%3=f,ag!ꡂvuuc7BvCl *TӠב!ϡ4JV֘*k,u&рdžԤEٍwreQEj65\)QV-`_(7IoqlNZf-bVPcdl\7`_&֜ȟ!r4? -ApL6m{-`ZœUʘu=EAP)e5(31lg|'ۄݥm M:Ie8Fon/aw)i{~RUh/H`,' GVo#Trq_QkZ3%Zw j]7<~1,esHxWGQls!Z~|RhNW'n{-8D`P앣26=cޛ|OQ2;\b1M@j$-˄=LE)$J+Hq7P:/aNqI {p')"N۔uUI!a 8%;l|X>,OtWޜVU3_}i.Xa5%'Nȅ7/^e_ruoJl]p^CCi+]t%I{%>B9)mLME[S 3iH؍טD5qJV&XBO6Upt0WV~+e˺j \s,>78O0 0S\M$}DP)muq+8=K"K@) s# y w%nT1 찗?ۆeq}!]ӎg(ӊ9g3LH?ey0NI\$ai^c6$oew*/_bI9Q־hdW`yH =/]ƎI+l։w`g'NcXOG[챓2+HD>dj 㹥n٩Ǐi7m))-3 N0p0:×}0M3;m _E\Ā-u#[Y )+$ፒTٟ`h#F=_MϿ?axyF]27 Bgl# *T UiU)5YĐ{UZ` L8f[Q@\VN|o3N]}Ǜ]c8=c`r\]MP6_L{/Ckiφ_5,ۼX݋Z>rC_*GY8 TCWFb.ZRm:V[*r=h$,> J4cBa/zJ+i8d/rD=oB~/ Ӫ6L g59C'KSjwwR97&ʋ_V86l`,UzGg\1ZzzZ-!Uhl7@)n2ogꃥ `V-bRal̜E.@0Bu(@jWV^m#\]jEyvM{a`dؑ``b/.Me #hW;3}O_ZgnK߄6;F܇;vASw6cUe.M 7xqYT)6Ugs)Hițsr#V2'E"ݗ]%mzΨVZ%=ʽ4*.=r8.s4knA6w!kZHfS=,H܄tX6YHo#GN_"tXDfF7 (^JSvf.}QqMkxZ:YȑbՓU:Cޖ\Z_J` +^Ar [ .lGKW(gha)M0(Be\+؝T¡nK -igagCibPj8A0R@=){>Wq)^Ѣ5Qy՜Pf~sVߟw37;_w8D0MU2219Kaѝ|ҋAkFls  M@%cX[|Do}BGj)pHMF.NTkx'FF`/y9Ofm/nC=5+R E˚sn@Kzr˾@9gO% ǔstW=26p] Yx DҞ8)EPXf:boOAW2X!;iʸq>IACd9qoC)_!0D?) Ȏ EG?tJkb ᓒisX.V>U&Rs Ȃ&(.fX}no3E8t F2Wix j e؜X+<_^Y| *Q ɠ)'pnIi9-@l} {H8ħکRKD WHO?; vl_YʿDeﳌ_b5+[ڬƸ}EC nFP#\C>u.Od*y9:0",27aSc=Tx5YR7-1ٞ-. ?4ûה[`ޮo' vo38$aX-Ѱ:hm})Azh7nۻ8:j{7TYDZ:aqߡkT3׈\٬]l&``[~:.X܂"BD[j dC]FVhFH& )9|N^yaΪ(8:M,P_>,H3˔jf}r32wD`9*QW*ї^ws>$h$ko趐uz`N{;*0C].f߿؅q4(Oُ: a$Rœw@a-S9|ANhdKk\s ntDi\LȘzkVu?(ZGngL@Â<"ϧ[OKY3޼Wǐ$?B7!. 셍K1PQuТOH[( SAD$ g1ؑ{"[ys^RK؇tW0l/M8v,,pL{]élhL+5u;ap߁Rur;\U^BCW s\j?L0[)Xb Wt8 ߧ.Mg`)G||H $8yTà ͥIH櫷z/{eBtmY@B~1[/SNi[ojNĒG ZcMb^@E'#:r߄j; ⣹udp.4(f&m\ ~Q׃0$eyi'(BNP{[9-pm5?P8Gy)Pt]CWTTV;^Wp!=.zaq"@@QBě>7goϱR=!~lmV0֛Lic)"SmCVCO=*K7UAzݍ-DM?ǛTRY/ vwHכ2Sip5%'L[jsa:*0fY)LUIq]|kh'y"sB 5'EV4T LRj:QR?s+~>3gkcm32L~!D!Suj:YEh U ٖ׶F6 XW?`aRIo8nOGC`]Ģ4CqΠD }ڀOM<ΫS l0*rIkvиAِ]MEʲGa=gD r.}k} mÜɃw?f戳^3 |,Ml3}_1 (qsS _gaMn3JMK8a%@`ƉńJMRq+'6Ya HSbm2>4==PmӖ{U<?q5[Jv W\ʢ6\MkìPT( Oo"!|᫴nkZ%'ǔ}T|*4aL_ΙsI^$&C4޴u~/Zega DZ]B9NO[ GAP3Eh<[w 7❽WvMܞͅ˼3WosUtKB0ߞL:<{-ah8z=5Wvcf(bh4=k`+gj]&3-r~Fj| JYPfN1(|}+1c=7;f! xG 2j0u*}tֵgs.7;+5q yl#ou1~]I\& !m:r< RSz=Q0o[b6>,8/լIeB0ny2ntmPB>W-LZh<+MErgXQ#@cv{ܛ$"HyjV0hj,~kb*]v„&YєXWGM:yh9*}G?kmRsa@NTAqN_.O@!VOa1ۮ7tŦ <2 e/p|ցO}i$tq5 gj JQ.Eެ(uch*? < g5d4J s[DŽRgz=UI¿}ޑ˭R#-zd~=ՠ<ځ vni_>[݃Κj eqԚt0M67`>2-=nvjqx8ߩXU¸wfazE#ƤH2L։ՙyZϾG±r6}Y\3 a&2_^kj=]ٓ"M%Z:Z @P2_eA} *I} l~UVQj"͋!9ip0ʂ y}a(E4d)0^[A]Y?׃u3?ؤ$$ O(e1:漵E%s5`*Ɔ$IQ_#+"y9⋥6CHJy`RiS$g-A%-2$+U lb[mrb> os2oҗS]J& m[?%(:#%xv%q4XE@*#t=@ Y%׆V%| ;p\FCjgo}*P 8Nxq)w|q.j3\nҡ;U#%M?muW0Pa_1+yDeXu?;o0L{hSȟ٧に]UDh<:r8dI=y{Ryy6йgɖ0c/xMgRub=c;ԦHL~C~ჶi5yq`Mﳙ؉:XNlFnrV DcPx`cKP@v@3,4zN<{a4SQoq7>yco*1*' j瘥1&X{> O;wX @sĊMFv=:,xKuQwĜ9 ( ̍MV MmAeBǸx[wHE}2ŗUԤ1Ev;rCj-=pt?2XRg'сkٸoQqC~.3( Fhꄫ<E$P~EwsQ̬eneA0JWH.yR=Ē>bnǶ.#Rz6fBE|WXGКujge Oٕu$V9}¸V.m⾈Գ(DRQ=KnŴG ĨAzfz%i9ч=N9O[]^c` ߡjT4RuVȕDe2&;'f?DOq鹺#6-yǁB) } ̲ _% KQ,)Gi:??h_G}KMN)gsĞ+m{UÜ8(K!/B5NL.~ʄՐڦsS [e24"jNZd->[-ߡL>ؕj"P- opeV⾸19}aRކAN[!m$*Lb Om|"N!"_J%M׊C(jRqgW-&w=sc5S⛊JٖlSq汪:Nsk_\<9V3T02x aJe9˅o>鼲N_ z] ߣN(m3~24-a^\,B t)!AU:Re$GF ,/u2lXb4xFBQ: /Q*ddKYh X'72j,˦86E4l9Zv]4U 2W n}.E@yj=Tb9.EѢpd.>?r;+ccn wϚߔ gѨzO%P5T^.dGlaT e^O@y/QTL5M ɮCg8L\zj7pYCkx y3 : V݀uDu!Cpϡ$ .(B ="u.;GAO \>ˏN}KR3ari3ቪUD#ptB'6co<S(Qj2@l!(M'Db+4e`TRٔ2IZM>?YsUp글ǯ>0J]h{/rDJpE9:~3[D#7o`GN_10$򩑡3a J][; ]qd5tT;MmZgs# 4xVg#H~31)-#B; P~C|0ԔdCRqz`&cy_ohѦ2tDvnO={-tJqBjɖX6f;$v6GM)1ϏY?pZI@GHoe'Y]:SQf̏O6;_.5HT EsHMM]vwu-oxVy85:59bX:> 2)Тtz罌nM$18wXxӣRWSv@޽+ Í4_,g]F-)!Lƾenk^HJM >SN*8n {l>L#'Wrf a"8"Kv&F$IOER]]Dʺ6&"zXU`pifi ǧsc=-zukRNdn3M3'Q=Ct,((h".k+91I8%˿-gA162q %Y.geH P *'F#F1 x{)CC;j3m[7b[b].ލ>}/Q:pSe1ר*cfX` ?#-2Oc7ˡoqܻYIBGz6:zLi%[Bn>ki0f6/+jݗuɟS:en nѻaPi`&vSM |ԜgVH6ձ-{Dvl\2^@ 0RpU)k`Wr"D1 ǂ\YG3'ץ@tzîc&a-բ_Xֈ^Һy]]b dFrZ!r⑚p#SD/Q7|-SZA>'ɝ;r)zs ^_w KV7s&KoCN'&d%a^ ^bJ+[ zܹkcKMjJ*P4|j)j7N'B;)~ֺâ𭟁l[^fPWr@B5nH]YJ52+w<4uynuRh5D]oJGIo5Bu- "*7LzCRdX\j4jׄo{K+"SFJ 52!F 0JkAszcXm*4{W/t#S YLY4h{F x%\,U<9lIN\p@$E@]FmH& z\iC0@t=nOQdgZPA# <1ZG'6_1= `S,i1kbdȍX)p lvlr델Ccuth `V\}d?+&p5q`eb0ҹnM"9+ kpV8Q;rcy8D%i0.%[Eu c/)H}E,30TA-VsoeeII.HZ_UT]Ba\69=<̱&i&W p2qw 1cWR71]e~sL2k.bCTG4cikL8!CcHCh'[N}83q6IyC].7Gb$&5-ܖ$CSƩ=`"cYMѽr0cu~*|/É޼+)=)e1FLn`'+Ps,s rOv}RwRx|`w*vrƎz <#Sa(7J@ǕH E6Z<ǧ Cc6|OfV5LFɑyTJK#~scdZ9ߚ,l8s.PNּ/Ijŕ*u4N/7|t&\ 'b Y]6?Vh|| + ~#ՒU٘=o+MC~d5a;sKag3-ŗfH7Mw7;Mep):F/? kn4qC7\nL߬?:4>Obfv6򭡛J0j}mrUғO?1*=eMz/Cmz򗙮tD(&~ÿRKU8Y0vZ@P-9;LNIFLW,*##_DͿ H ?\Bn,`p+;;"+Ew"v$0fK4U p= dkj8r)jt 4Ȯ$5@ |"g"9爬Qi9f9?j t0F~z#O4z '/f O=%*Kͯd,bXO -T2<#KFuw@(IH"y7?J'"I|ډ W,I4G ğ |mVؚ>a,B:ǯꞘY:>{K,Ł#տC$zj82/Y4  Qs&|ֲKFArV"Y xŨ0"6fnq|N.>QhfĦM꩒(Ȕ \ÖV9e.ȃGXS δ20akdq'q.1#;#'LayCi;+)\j+ -EU@4I3ZJN˫*BCAS $Cyx`(0`jtw}svJ/!!q焓5*E=xcm?;P\ ~( $ ;Ц^G:j&tŽnEgԦVkg|ט*ғ)K @A@l6ia2́L1F xf.䐟*SX6h9FZt,B2RN|G=f3ډQX_XV-F@YG*ɫDc}Ee6zTN0a(5aDm!|okqZv֕EusA4D4W\PYW{Jc39X,_mPm-D@?P\6$.q1e&M@ bi W5Γik==FK vdS>uD> |EɇIRp v~b1Df?M & r$7>~jG7^`ΓSeuU 1ٰۧh.'Kn.[GpNnEU&5|qR/ڌa{ gzV7P^u[=۰Fk* BƩhe7e}\(%4Hs,^I݁aOi1Q"^qJ,m}Q e{fՇ&E`"'k= +=.^&8?M ZEL86u-?@kzrɱObML6nCYu\9 V@:p F9ȐEp"W<BaFR)Z%~pm\jo9fwiz/]QYXy{VHsL8 Oz6m5<1A%GUE$8]DƂ-k+B7'ôU\Lj[,4%0F;k}t-yDSN^< ʫ3DO~? vr⤦}d*5 AF^x \w-OTv(m_lkYў+W ڇ"G/"S<`5ئX1=o(ttںǴ>.&Dyg ( uP4DUW|-@- ?.x?}7rK7?g%yR #/rMPQAKe\#]m0XqAVa,~e:J/SϳQ<%#25gT" c3ocݞZH!uS ࡵz'eXuH@KW$b6kq[EGDJX(*x9bEPLsjtld>Oɋ걼fQh<ϿͪB{Lfa n20[o)9 k++狜.TΎla˃/Yjw5n&a y.iX: 2Xۭ_k>oL=V O\'t'hl@sCMǀm6qb8#)<$^rUGT)QIl@nCzoer|UPw&L/xk[D3mYp x0a̘9+HW!/~LDZ^U7$JZ~ވC Uƕ{Ҏ%$*OkUHDO 2(ä2!=)/`~ ǖQ[xzxX_&5W ")'r:*nNMw[ :ԠSluUJՠTUӆx*s&>J++6-eS|'Bwg9=Ywy`w_'#-$Av0d};7w.BfLny';ϨIG4O]6v0k AmQV$F7Fm[sr"`7,C-ާ®;.k@FsfTPd\q#M%qj( wr2_c"p- ( # 0K3aNp{-XEIrSXxJM*&B 3F&5'ux[!N_%Lx(k]om4tj99v[l%B+|'Dhp7&>`be5gUq9?g&;g *,zÆIu:yJ3-GVi7 h8ſPoS=d#͎iC/as=ǣ/nLng_6K7M%3ǵ6"!r 34 Jo^vt P\.iފ塮QǚϷ?`.jYZ[>{{IAoK~댙ixC>X/\40?qKa} +yU:sxlq6Nx|l&Ǒ19F!0!Y(oNxmTE}XIxwٳqvT%\q莑I/Ζ<]u;$DֆYɺsDUw~o`b=h@ukV5f#AW| M8;{Rx 􁥦++OكFsIbYwP$KIΤͻӝ0*&pَ #W+ߔp~F3ݮPя5sx+R)_mE@T_W1O/z\Tݏ'e/s%V}aM{f#-,Ie%Êg~FoQ"َl/?k]Ak(%_b6H@UgYZec4db0a25b4f777da52caf75396696848ba6adc8ccf9b9418e9c76b5688e2dd3ccca778f920a9297d475988650bc9cad2ed24557d025a4abb6e25b3a