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 <<14\4 ]%]HOL-ODE-Refinement:threads=2elapsed=608.165cpu=978.692gc=87.208factor=1.617zXZִF! B$Q]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dҵ ]|!"ĕ~jZMŻ޲5gĪv[zϘBEY]$B@/hA S ^a,vBUH@M/EE)5+D{06oɎiR !nX-P\^-/:}-Gw1S=mוh4$ c|cf=rkNw -BErY+;$W8 wE~ju!54ZizA-Z$)v(qlZ7:uC?פCo9ދp6nb}fl4[8D$z,0m%/|ݭyGc/*T)*mNar _S[4|)ƒ,Os[I3Pw<3̬Q҉T |{Gܘ"~[sqx${vI}RNZT[{2wEt~6`k$wZA;մZe~mu 1ϧF=j&^Q$eTn!SS¦O%?K'Wq_  ?8>c*D1aptNh"_bM|5rqd? Zus$O]y'tUKSSoaxTY8ISN.0?-$uݭ.M"hutwR9h}RfZUSDž9a!dALW-bZ5qDکU ~/*NJ,WO=myiw e coq ft'ip}3hBsh#wFD_8ZFz2>Cu/[+n*f437?6da P"Pp%b0BDHD&^@72wi(*tg#/ =}Nl,Fv2,ۼ.!-t5h6]=;p:QnlקV+rNLw碙^ם 3{ٷg->aFŰʩ;$?p`+i ;ԭ,]UOg[]6܀ ԢÐD[k@L6 O0>'H^u8a?O՛m u3(do$'~ ^d"`\@H2m(9O_Jb&nRȿS62m*L4<ư~dPh10K]܂lzƺ햧`ysUx;uYeܣq&I!leayۻt ]V. ׵gcuƣxpLp4{^1i!pNMwV 0W-FJ5L@Ldw@MCrJMI U)1z̝7H$Z/wp(s*sby%7\[1!Mhg FS]lu 5U+Z0}&o\I)4k|Lo*zZ?kA8v@[X#uEzK7BI2ĈJ~P0<@! >¡p6N{ɜ~ыa3xU}3VCl1dQDV v7s /B'5.twBkՍwRZ mkC#+wGb26㴜6>5s ӭ]QكGQPGhmv=MDyaH 51~*I]Y u3x1;jdac +.%db3Ɗ?s 9@F69a{5m! >Fq4ۜӫXqEH,tndr=jlf糗V4yҝe2Ρ4j<+HXqod 's!@*{8 )7k1#X‘NMw[%XW!6w2Mtؽf,l6·Aȫxbҭ5oPrz4 N@)ZSfB!:, !·;t=i EiGHX8h"Q2-=S#dP8 :> qN3cl 0Hؔg+ӍrйTv폩!)ض$,i\4HвhEفHB0W:ZuH:z`B(ogډ\{"(,@#B0O50S~9ޕh0a;YП^_?/ď`\տv:Ϭ~>6(|44aLtA05^?m:k(7#7^>iMJuƥ92>vKB11큦Scq0mfqS7!78GHkw10v+]^FLc*8Lיٝ#tPkφ!!׉m-1νU%o{FwY87Up*"g{Tk 65\cP`6R]p=82>M3 anY5?ge?"M"Znu1rSX|@R02v"{AqΫ.C/@7d o>bz0Ty<.!Q(ͲqC7'|sֻe%QR\NR٭9'=MFeWAu?:al}5nj1(DK1Z50(g<@YW-'( }W&@G`cΡTiW]/2 n6tl2z]/D]֬j[/A-cP.MOO+.Lς!As'L!] }ٸb`J;vCܥh̊RaH4tnv4M-fHgq9g@KVPT^#d<@$$^HwlI^\ %OӚHi.'VZx^ +;>W+]v5% J:2m}4LY}GD,6M({K5\EH@6e-u]) es!-;ėG:h 2&'*[MjԲӌ\, 7, cKnlAD3iZ׷sXB.m<_ aExU-b$5q"wxuTD/GuW ` ro38Ql@L.,-ŒNʸƖ~Ai;h.Y܎; ]gdV@ɫHk+gs?UoVڕlԘΟPb۸Ѓ^T z:vd Q# K@Yc3s2s=BIXlF̯<: _lU[}^!b:jk݌s΃]SB*PM"STxH^-k4ɺu?ĻπjT[VZ%ZNE!Fi⡝\,/fV/r,YlpB;hI&D TwZ3tN7NlW>ƻ6@d/4"yB[ʌvfg n ԋ ~?zMK0 9!r2iVMeL@Dps߁. 6fbLh)2;BR63-,ܩ`w^P Mv[{7hCdA7o: }sįa:s~fw *oB#оL\,vfY?Uǁh,+=-bϛc>*r D{9̔IHjy~2̡88z-^Ī^Q' xp1C6@/*+2z$A㧶e2 TW~H|]Wvp! as3G&^:YK4ꂠZ Z>* : >k(;?u#RR" 1]+;Z-fl8[νD^3Z|h>__LMUG $9'Lx{|2I-O\zVɸyq/hALJ= o )ُv(x @/nA_saZ7Ӽ&D}];HOZmZtP> ɃD˨D`,,ڱdOncsrֳ~dSF7 ]RW[1&)O[/e^ZHMm> D„QʇZukՊ4ǘq+A( ۳}g B%.шn~%LrA.,X_0a5vnv̎< %>x)MQRf%Ee:_+d+AT Pσy=۪u4S$DfwXjmdƟg| eDbKaLx/C[olezqeh?kZ+gɒT Il.RfJ+F,ObqFZ#p6}>Ԙkjz,=![`\8>D#cKed0:qmR!ī3>^2Ȭ4\놚t9U53BvooMR~S# #yι[^Z%$&kr9dg5 v7+I(dʹV>h.`$FǁΪ5$ 1g@ͲIl_t!RNLnFoIBa(*R6=8>&VBw@0*9geK:3a>wN3k~aOYfpXԫاE{x@/bP;X3Z $Zc>Д՗in qzمV M8lF|nj={tyYa[OTSAQ\{o*wYwmF.@ՓE{}u eQmzw3[AਃP.ʻq=R0gx:FЦF~@$,GD&("Ǩz~薚x2 Wc!Ř)>U&IhM8AOE{͟B$C!\r:-)!F֪Z ۞6AgԖX:" UbX'b8% Dc_y5#) i]F9!k(3.ĤC1 DK׶SQ!Jv!'~ZeXK7(l$Ff弛<=mpf&yRʌ/7HnJDtg}e;ނ<, u!lR£q"g+Wq] z'AI/;]rYg0TI^9bDL3ehXa60'AQ l|=8-1%an: L;G[ )IiΩᔷ'Nqo2q @o_2UiC"ly6*E&1)$0W&B8F]VN8#k NG)*_Elf< 2؄64d[ sw_iӋ.$Q4Ϛb`@$-?ڢ. *i숼)"E#Yea3& cU#w~ϗ&3b5x'/K|8)8o s$m!U;v;O;gQ 7tԯ gtv1zX6$͛φY?yNn9\= %<p EcC>2jr,b6tPwL뱉ɞfň'V:7o;M-C(it!vnKΰ"+9ZaD{Tsv=6PgT{Ǣ 22<C'F[CZ/%-8t 6jh-B;CAXxInɛx*Asp& _s)J nQ0k2Ճ0cZwhb.Jc%Au?yF!:͚ŝ9 YTReXyɪF;iB=f>hBҍM(נ/DXȜ/\< tUXG:[eʫm)'4^g-qy̨Dzp noP"Ÿ[%gգRgupz%, ;gV.'MO!(h=e[ ЕZݿ͢dM^H%Kslw7 P*!2v?] `\5A[bTX;ĸҜYL>-0 XnU2{!i,,M.{E<|"GVw’4芔$_VsÃTo$Kwsu oKn'#reGoT]BsSfaVhX2(V@SѠ%%9U߼Z\c %BJo"틾@B?';`XcwFJktόz8-ekvfdvpܩ{xϵ CPZ:ʍ"@{:YdRowb=.&ٞ+w4}\JWm;=_\ y!E(ȥSr92ݶa L9˱x:(XB:iy ݠ?7t%/^\?3Um _uJ"J=!N)~y-}_M.0Y>#Ɨ D5qCJU~""I1b*(asddq1zBF!3rd| >j3/u%Xa.+OB(H'vQLN@sh[`q<=ЎF~T0E:bU@q0~2)7Y ?mmzZ2)49eW,ᛙ<5`=E{ ҞPzi@t"ND'/9v@@-k-˦`֫J)K}^}L4Oc L+N(Kfdh?9"cܶ7>{ X(@"S.uDH^2Ē@> +?FտF-.k-g?>kN7TƪLf] lӜU 8N>#_)VCk8#_,5i*!kj^8pVS~ YU$6P.|Q{i k"o穪hlqA~)Iؼ8SRzBLsc2_)K؟jh"H[ʬGUٻζK,>ˋiTlԾ!bn Z'1(+R"IؤJ)ByR[RN];l%ro%~%^ᴯ/:Ӭ~e %,|DhH:gYZ7zXZִF! /J ]ŗXiɟ1˦rnzx <@0+gM:mO(uR5s8#28ahek⿀wb7B,,LȠf([k$qmݧf$>U |yRKN^; `%3g)s?; 8nE!g%IZf(O߳4ie 9n2lRۀ7;h40(u}V"2ŕ]u7W bd^qdzRQͧ09jEӛ]ciƹYNNp,~6o?:4f6Lpe9z /xY6FkF3~F *ӁI -Il_<)"dn繻>K;G ɠG+e-<'XEQEFsQNTYkǃftSV<:A1dBTuR X7Qp16w'f4Cw!^X6ǤjfiI~1򍚾vG/I*)\Ƀ_l -z9{@֮\FfVSJMW#,L[`A*5}#. ~S[RA+dXq 0O_d۷Dw.5x$j9_Ĉ踂ЯffsZX3"_U]0/I)WJ(Lu/v;38p6GW^EY3;z211 i+06'*oBA_N RF^aĦ@p4j9@!\?luԍ9CCw޿Pou5?U)Al*XRDzI-#0Xqk4v:+he S~ bZw]Nk,׸UXN|P~l_N[a(AF,~%$,*ʰ%&lrl#)^8i&`o[XOgg)s\u Vvj' ER޽5&a} /@;SNyw.ȯ[7WM"ʑSԅJ,<}\MFZ2UWqu;Bk'w4Kg䋼L{?wG1!A/Y9JVus혈ҵv+M:K(|@nϮiixv1u͖J')[z&. X$Kfő[Pԟ,T3zڭj H!RFO}v6M[[$,zGNP g` ؈%RMsPϳhT^9IE;dex?rW(jyY/|O(7؍ƶĀ Q6@pb+#?+87;1dpo@*.ܠAUFݙѠ+:kA9 WH %öL|Y/gv#A7!ӑ8ۆJӣјUйzU&tkߤlMJBSi.!M鏲aYC(9^X)%ejQ² E-dCA]nLA_w |~m-^c(L\3&HG "nL"p|~DT1eE\~p8# '1uf}A!X!}פȜâ2*2usŬ|!Ӵ^2iv; ѓ^ hp;S,j+=j y۞#>EK؅!=8%|Ș/5w#IU^ \e~& Q 1"nO%s[ȯdk~cL)1*b+$݌DV'VgNp_}iNB&!4?+̆r\b8An } vN{)X6}%OSӢ鎗x#b^a B:s?-Q᯻,k_j5vfB<Ȏv jܟc D7,W5&!vܫMy3)bS AYrBj}]ȍ=Wgw\&vJS"]'jD@>H;1bkq2?*j(~s߁ܒ)o?dMKJ^k# rY/ᨾ>f1,wK*X9$alu#J:-ģP,=A7kj0gʴX#x/iN9}ΫD0D:gU}yZd>ѭ|f˨zw|MI((yPHJ5A=Q'+[?BHmhO䜓: cD!4z>?'Ns{02eJ?xQ ޭ # "/;CbmḺŎEY9LV}Hp8i(8xø}U; 02H1eܨh0ԧ`6X"5~n: SNP%ӹ@d佮9xlA<̇C%FWn8]O^L,r"Z~|v:2$\,gsN )G;:o&э&5J/?^oWrw%ArUsDWWn6%_#X9&W9+U4 ϼm[kL'{nXEi"\Odt(KR 8v%ɽ֭XTv_K;p>UuyP؎[ZMvYu3X)BN/i݌5Y]ZNRY@,[WU0(WF~r**N5}CUG 'Q=9i&ld%Lr)%i+NLvoOhW@8S;Nȫ\Y܅9">0W,FWep^U{k7g\,ZU1}t26WyϺ۾-ʕ_򜉨Е*2v$J 4skv b3Ѝ E,էF'(lM1@]jc&P#O2W]&-zZݿ(p,Ry@NT(s`4B7az{qQ ЍE YFuC-ZWce2k]P*W`jP|ϋlE)XJذu n ڔFʄWR3t;RZJQ[П2uiƭhvelυN+XR% 9ȣZ>=GN_X7M~ LSt{ 옍vUEɕ% c~ip}h۾sǴA6D鎠h^0P_i!Zx.M~9E0/_J!42 7$"tt3wtSљ(`zpT$vơq&)zs˄뿍3},,єalfT<$Q8D@"d@HZ$wV i<ٕ x,#P3E&9)`JIY8@BcVXM+!i͖08|7N)U3qSVU&+ز1>j+}8S'SX`5uVS-2mD :as 6t?w<64@w3mRBu5?XS1$S$J0n5'j4sEOBv@9 ]k*fVZ g&IֺH @{Q`>z7f<C5WJrD)a'og`Qk79P,@5me0u ں%iu|sfC afd Hny-)fib4,ܓYubC,u|tIsa|h.1s;A Q֙`Ku /PAX׬x יlӀyx3')>:(.|,-KpG![ȅ1h#wz]{[>0ѯ!%T1OH-ɋ+#'Ifj x9yi{ş_L0%q4@dèEO 6>2:i׏ԕҝxMUIjeOi5 HÖ́6~]e7B5";B4t8!2̠Ĕ9FWI'0GģCpJUf|.Z˛brjp7ܸEFJMiڙM\<\?~bLϩ jeO5+{:ԎxYHV-ժKIK;>+buՈV瞜o#4 z:2V=\ELPjQF}KS],'KnvrQ! hŒ~z0 ۱"8B8̥^gkz\fT-|(:X2) Zk_xq d=,DzB*{Jc3|9qlT^f}wӧw=Zdq(!OC5\Ɠ]T|,ƠOg&U_= &ܜwrXvZH5H̚|=/m;]5f`XDS&~O3CJ`VJDV. eI'*3,AC 2˦ev)Q,ib=qgG&B0Ks*wC=D?S<vr:h uw(i(' Tφ0xm #&]O<S+ov#G\XB-Xy1}4Hb6X`7R a`ŒcHu$qRD/P:"f@&!Z5C=Mhb\m2uHvjW<0ҷcVc9[xѩ?Wu9acJY Kmغyja=P@/u11Bpa1ĆkYң#'cKPW]~wmte\P[*qNEeѺP+5v0uo֛ŲtF}&,Ik^|n.fKm@."UD( 7 ̈\mVD,k}Yk6n+;7/yX.6G 1eqxkL~IX5?f]3fwڍGԀFr,`ROHTr8;4~|vH?L 8u\o:Yx0 Š}7+T u)>]9xk$puG^ ElzFJ{<brQ<اWhp8 40 ~||}jZ$o#+YV/ldEXJ4@;zd'O>E,\Q~6?#»2-A^bڌbrJ_([~-y Ix_! B;TҐX!~k;odlIFgdoE`>G<%ͮ)X;hns7噩_4FEZ%2@EOW@X!'Zd`>W grb2?º ISt*QrnMgX#54]莄?5GwCZqH'Vk\+/Or̀إ)fYYH ͠|C ƥ]4pdkg0Uyw'~J`,aViQ(=D+!=< p#K N\⻀rNbpcP緵|(ڡ϶M-]lZfhO< whf q]4%a1tb5Vm]hL4S`!/z"y !Dqr:kw ] Lɩ`Jx# $黺)"t{َ!J\@;2gs͉l::N?mc-4EHN1H'DH0k{:ِ1Z~n]~ ǝ=*P88:C7qŷR9eđ˃Fl?iXְS≧|ac``cJ$OToyi6- & @E<21BrdFnϜVh"CHVwth>D쿰,K^>0p& 둞f!Ny`cC2HCA}T6V+{McBi؍ 'x^ŧ#UX.bo혙`c4q0Uʶt:T48uh/7 e0B/:dV̔Y$WU|$ =pnw1u9a1xq'KqZl _6C_"*`4y1_߂V, tlrA!b $f`6l¥tb2CU2XQ%ܼ0[]ǻ̽Ս+,, r]a*s`n@,\l h(K1 EpLB.ϰy&]- sgŷ$ [}Wh (~i;lX _if mw:(kga71zg$9/"xܘZTjcqڞ(7Yưϖ`Csg\@HxL~OY#0etQFF$BOU5 jG{_hV*jhLF9r)D֮aVU~9r}OǓSFϭ or򒝆x'V˼G=Ǣ$?>$u/pNK $NGZ;vIO`D.Og )Y˻ Ӏ}K̑jgh~1AΫFrjv %ukBBlx0 bjy"XM7#p!|Ȟ=hbj'Z:K WJFlDXyZҕڞs,)$kR irzҥeK8 aX:s*rt[Wpd>ctQIPU`.a=$E+-yH8hbt.fWUi˞ sLC?ō6D8L~y?q1Mu}\(h6k-99i^$Y׵O;^%\Vč੗7%GZ3"}$e2 2~^n¤K'al0q%97H=@~̺PP@#/ȼ!ϱ03\mL>$3A?|p|HWggnlzͺQC_T~AnrXPXR ۅ]b\$rmQtAڣȈ$Ftn$slGj񐿦 Z'#r+@)e-"8q J]><6.Ǒ.1Vnq2R9o{`D+R0%;d 4އ"{  tK<v7cq#\4%Cp94rNNDZG@&{R`$n&0{$ss ҀHߎR|Ndo)$ LXd57wY+=:фdSQZ)=ZUS,Xs@~Uo&&j J,U .D-CS5ܬV? c^BĬ10y"qZN***Bȅg 6YX0( eQS59݉h*Pe3= vږ~gcwV iյE־/1S=x;!,1?*d3{4('k~(H9DfGyk8=mqnME lC3h Y  jxo$KoFTzv%Ռ_S6*$4՗q[R3)<-Y_;@%BgR_ ( l8hWET[9u{~,!,pklWs TJ1YtmɊv 3aKe gTק ә1Av{ъϨvQu+dݲwAb)ռvmKFB-?@3~: TݾKfZ=ک"tsn0b Ild%Vß THB)Uxqԭ]³x7)Oz0~nvHآ@iNJ^Xnl4bԇp Oz ԮU Ur$A-R@ʭ5GقX&GֵR#'E%j g`zo[b5: cl" Bz߬@m=է?v\fɆrGP8NInmK?$pa*ph! |\5cel~#~z]O ]>Y.""b]Aɱ`-'&./F^qg}_-D"_R7&z @[u I ӭ J 3/~4 ZC+%ׁEwHh^ xx?Y'#xrj =e ǃk:cC@ZeU?XD);fNaͯ[aҎ&sUR(<ȍE嫑c,hò]zlv=`-If'J p§щ~f ,87$q'V D6hLWK?JunfUFYV/}Ot'E-ȴxA-4n_y_E|0&_F4>N/C , 6u;]* (j,w$/󪥤Su0Cof T<+d*`[x? m;!AK2>ߔWaQ `9bod%#  Z$;baOyB&U4DzOGafӐ䈒f(K1V./0| Q 2c [/[$ԼAx([~@̫GL脇jfe=bA{ Ciǩl7&?)6|VRԊ-TK!QKy {wkHiȤ?9_&&GrS%Jz"3r1ޭtL *|18(Nm9h (*$`pgu);ZvrOycx`@>C% =Lv Jp_+g6C[+?{&Ei,9/YmY2䫟^u׏N蜱v͍l j\)nGa3p-S6dv7C3uqSd [qPF~ȑ;&eݽPXAФ҅nqƅК#GF{y$lnA,l✈pAs;159l74 r`$AAy~^<6-~u;pFf>aDtzPRr8)w,1*o)`pa9[@74. [vkK|b4M~ZϦDUtđ6bmj ~SU‚^ Es H[7C] .ڷ`[i>apOg*DmpF")}O|˿k~4߿Td"PO֯wVu(.E3ySO q`|=7'a̋@>$ZP6Ui&A,S/ г&e3jc k.SXidgL*`O_Dy&C[ %B>zY|Y.K;Ģ^wQ$MU&Z\וv}I1W?tMauHl  T;ZYF]9uU~u?Civ8Y0DJo!ԍvE6SPu%a劢V}#+ OF4.HoWX+{>PClpǶ_}E҃0D* a(bJVh65^ yEDt߾?|yQ[i1!@963K`@FTQ΂Bx8TZ&XԷ8ϰ1 ݼ3՝iV.J q,+:zR)d:\( /NÌ $>"@ՔUNY,x@UЯlJ-TfNjK(xTk)Iqӱ'^\dtmRO davUL_;Ng6d˭7Օ>̞0 &\j%kT_KsEVW vx0v ܳjH>.1WD"гaY |~uAP=2V8S8ޣQ)Qs4~>l4T6pcӠ{;| g80.%ٷ1O%Wr2&r{fkͅ 4-,1>e|KwHg^)G2ūY/dB_[ϿojGn)}1j ? %_KO4m`.%o#˼*?6"I=}؍AeSvD=I^\"$!fUYsY/xi2s I ,2HKw xl0_;J 4 J#2DlDW]ŒdsD]Zɪ! +ʼn_1a 򩼌#7Oy:UxއMO 6̀B-Eۢ>tL;Y4ŐjQ&ؙ1,~q[8+srvi d)2=tH?WtD_$ALS(x(n 6MPJ{e*L/yC^fX[D3wSgا6zzVzW&`P,8;@EV8<릋|[l}#Oq `HǨOa=vLƲ ;=3+$9#D/XW7iR]|՗u%:H_0]zuemcҁ[5MtiG~yM1Th7oGBۮ7ЦZqȝ:r36s^s(`v/$Hbz1Q0Z!183CC.n{Jּ f$ä\;^̝HSV~% -۳"7c $aUfBONeؒldehh)K0mZ,lk-H R%u@iw/oEt2(' 'CT@vQzUőڣqgby xWzXXo钹0mh> 5U^hҏt,7Pc;]߁aWU\ZP|aU3Cp(g eo$ydXm)6{/z]үPdžUsm%"r T3١Rh"WHnd/nQOB|~;̮վ#bO¸uٶTq(I/4wEL8&bqcoW%FRƚ_=gXq5O aSz gcTg߫Xdz-iY޲ġrn)4'TT%4RQβ?Y_ޖJ/='W $PotY AeSJ}KeH2hwº8ITEqI]BD &3QsDtZ0,b8g3"7u ND0>$k-ӠVOpP{T-!@TѲb ;]{֋9C+, ܁ik>? ?Ջ*iD~,ci9/MO#*ԣk躋dvpD :'k5< yZDis?ula۟ɉ|Vub36Pټ r5DPz3_"*leXKh(;$]zݥ"'a JU1t{е[C,-H'8C99̳9ld p*sxO{0:%lrFόDTgcz{V8'=!! 3Y\}Ұ[i{}W/Μk>BЬ AF if (#Lla8nC݈9eZcr4_QG`p-b64t'g{*"%+ $mخ-8މM;QY9s 8KӒf 9!"9GHѫ}Dus{D~?\4HȆ~G>t}ұUF@CmmM^~gj ?M ,[:T7>͂^D.;~$I-zDdCH6"{jBb8^|6FƋ+@\kAҸ>IpGDLi&%}ُ&l^I m1b?3 ]ӑF4\+'&$ޤߟǟfkΧ2,TR A-({8rR9`P{k̝܇HG;(V^03vȟ nw^x{-S`6em@%mt@F DŽg:s;-˜QrĭY%}:g1|XDjw'0"CbW^&XI5]I0r+%%0M8`tqМҞ6 樽X\jQ`E6b3:/(Ae!5T)B,]9FGmsY-'E >"!GqGM"W>K1QX)Vܿ9Z ok L4gsљ o.DĜEmK s`+J;Uzo=)/v:ʫa`[Тb@c8LZƧ j`E_}\o^#5&m}FҜ^3 {Y=p^Xr y OKQQ\:nfJDpIҲAvK- jge9ՎqY#,!nQ˲X$swSE} \l)gp;,* kDNC ,$ĩI}x-xB{s6|BЕ9d's ƀĘWzAOz)U_D,/eDͦA9dŲ/ ]th".~k:4*˷SK}buule+Yg /+`%q-^=;sO?gdGy\V4IU0$ gX7xtflKs~WlwC@ 0ЃCp|b6wQ"؇/cbSA[Jv,Y M <]r &r#qZV9і AE{DRh|@3Ao#01kL^)w2>'0Nd{G7h MdtQ(Ӥ!D05Waqd]Yî $@ D_\%NUyEIfƒPN'!| yCmP=Tĥ=¸͟RBsol.g+?HHs!?A}(N둄!S `=Rv'iM|U7 I\DoT=%,JO{,`Pz@6oIg1$"1m9]y1ZS~MY=gjS5}%ABzM y^G}\D/N(T.Pq?L[_nk[㖪PU8Zƻp\ƐdձE;8{j"*X?$j8lz$3jDJ/P)#& w E#ΓC׳y+[gBv EIzbIIL ; ^} =l'N%*t1Thi,'5 AOnkCj4ca+C9_]z!2d-^@]Z7zD9dog9BGfA]5By#؎<61ex`ZcSlԢm24@2&shzZ&7吏:;Gn%@+Q&c`wt,JmZ888b&M-?ż!C 1 r#1+8p佣0 ]Z&]~9F1>NVxą-sz'= R ;T/9G`#&N #"[4M 2cDbM8ruu"6']`0gOi!߽bRr.pk{e!8fS;fn9 ҝnfOGeMFt|q Np2EhS(rG,e+Km"I5޹}#:4fsT]/8ܮUJ?+q6_-ş עUI~ce{r!PyX"-7 P/*LlkpW_w5@Bj[֠s.*#!1K%?h݊UIʉW<7w Qg#%S@BBmC7}!ˬ}[ۘRa-9Eyήy顾Ls+Gˇ~&| b Ga`6)J%y}@Oybn'5dV?FЦ萂3& 1(,?XMf3$ur/kKu-m;1_Dp>6j[{qmկvAD~Js(ZH;'\n53ݼ<)a0dEMiyФ />p為30̰ ']a``)ad&ʍtݶ lg<R烤5~vb%ɤک~FS'Ay'KJYpZzDkI}l>oDD[s1!0)cX'=wZ9>N \5~׵X.U73l؈i(68K~Ir>ѹ&wDBߓODКֵ]aޗ@hH)vzfb{g>$Y}[K9K[U%ThJy!~SdQ`?O~M`W;{:lw5o" ^J6L.4# Wa.B" ;}T- a(#NKeHwt`'Pzsw(rKg!(( kGN҆$_F|/±$փKq]`f9!Фxoфgݑx3Sy+x0^3(V7K&nuj/5M6fnj]x!v4 Zdm_dƥȂDN/ G͘qpYSAF|;CiY>1CBnOE-` b03"7:L o:I~.+ɯV9#Re 4TCƦ3;eCGe| \=+9#3tRU~gJIѤ-'\69Vee݊S gϐG49qA֛`SPE?I1iC#߶SnFnχ/*[q=Z̈BRR@>nT8驷f8#Wq͢Ej=X{ v=KW$fMf0A|Oej7߇*Rձ OP9lP"!c{S!A=+@|X\_0S"UTrt|,d3_ga3z%4a=}{ a;8EU|1H-L#q2f'Ъ]K|#Ԁɱ_*lKja))qFLn`CI\RtʪG?!bX YJ[ (=c {^Tn!Q Hk 7gd*ͮ ASS\1}z.>DJ^4Q^o$V.Еئt [5dWfi0?eyIX侬l8oĬ:@qrDz5}XE v*hYoh0kq'zz~ly<h ~=s-z 0nۏUfBaΎu?7lڑv&fWSo "l:@I2^Zh\ ZZO>^.H(B< J\N6Joԑ^}ȸ#/kv 8Q*zqc-MY-Y08Vԃšs(mDO)է}=gT%s pv " 3 u%w'_ Y+Z-;MB4%_ SAOi?04AQ$ 9Ș]\Xd-dLalODN[pAըemKin8#Jhm7U)8w+˨m4y=&u =eBvs;YX4|P@D3u2Gj=Sے~H=uKt&DE('Z 2nOlsk}t'yZlM?z4|͉ƾ:ǫQ5EMA1=\Y*[ͧ>y(qOH0[$0DoЮwq]0`%{ ׂ?<$7Kj;VlϔѱLOPK\'bIɔkf@/sHLFWciPsObRfzR$0 (\S!;&Hg@jL>b쉔! S "bў3~ td). ܍sSBb>]!9Ai<m8*xj7_;3XPPr^UfVGGw>ޣ@ϐ{×G.[8^ PV8CSh`#N1.i~w°&Yޞǖ~Zh*6(mfTfh=0ֽ;P.9~Uдޣ4}x'gm@tiXL%[⾀l,0>aIXM)"Ϫ[i']H#t!{t X;@`626h5H"ْğ^[NYL\W̒h#ZF*/]V#*ى'#>ŒOsנl)&},g7qh9IFQ%V⻚PѧFpWTr0iM L#fqgׂx̍V:kUgo0~LqU\N.\wxCÁq<ѡeOkRw\|viI6% 9V 8{= y]f̖_k7vUͅ‹:3rIΨ[>kBpoCfD*dbo'XxX48zgh#.  E#Jzb)v4fg޿"R*G.9B厖,Xq}6׎AYWHK2P"(ιˎ}2Wيazp A@rF# X;n&z?߲z{0p$28%4GV<4{"4stk ~MɴTNJ?8Ƶzm^CIJ#3F #,'%^Ibm֯^췝^: ѸE5hz3B,/>WW=8msrd~r-~IQ O~Рw.K92wPM3y>V/nھ+N6(Ħ2tGe*7X<H`*V 4, I\ go^B72[Q7bDiId=qbξ)7D RX\ZE!&{yZ[,v掜v@&48 _mXQ5FP'u1ee]0j5x…[?t6j:"V XG)wc)8Q1 7I `6rέWs9鷳IY v>~}YrʯbyN!ۀBؔڒpuż^6 2zb*m?\I% M i܊'g3* :#|}iz\ :Ph;C+uo%e) ;!qBq[\|O.nR}ũx(vPQ(\:g\Kj{0dkz8PL=Y9Tf30_/k~ xD˕3Iɭѓ * +NmV .3X'Io# \6+u8 2RAKzY:S _*duauDtϬ/gBI`U/O'>4K! >qԡ{DΠ N_lfsssAgB*) 2uR1Ǭx#>pg~՚n.?b$zj O K@Q*ϯ1sG2ABZ TƁu/eX 36at%#%Lg4K͒ bI7X( Ug$V X ^KCmc *xL귶y MdZHR5B$k&rr.vn 㛅=gU>jţj-t^OcyMmz",/4*9"I)S6TǓiH;Cn ec8.EQr_p rWn ]b$IRdVxS{Q\ gGP6\![gʷkx Z〣Ei6=ur5OS5lyĻy\W # })킉١iV<}P7==IܵXao3[x>lhBCu04,a_V2Lq-MM_U>GԐQFj}TxW;L(x)>JZOF}r|= ,i{~ZFJ@;fƥ?fflRX_L ukTG]t OjhWP=:.,9 6)AE m3<~߭.𞐡b }hp ~K'n 'Zфj<ṵB<$B SVY~*O6}NvfC7>F F*ap[p`L, ^"6ӅT^W 3}ՀF@uEZ\l\esw~Ч]TtyugG_XLW f+&l:'MT%zgEr fMzr6ؔ]hpd ahjx)،ܩ*5@V!z#֨.P5A簅Z:yd"A~o0nv ^,֬F̰)=bt)5qџ#r෭-ɫSzXd䤎݁f6|s81jt+wI[3Jp fF`#wUb0r딑Ba'+udjSO T E^1,Ί}"xK8XNlŀB붻`6^- u7i1&[ hk/;Unci0BZ3,E೤@6JI;&igKqn֞`@FiE|MFo=͟|>h+ g[jͶm5ZL!HM~$c{PC9 *k!e E!3UWVO`L,`NqA!#vyY gZ2yǍYwXGm4jjr^8MWMJ(TkX)&X w_Ȍj.-hrqrW|>q`#4`  4We5&3VqEᅴy\Z{44bUaSi)~T<ٵ[&u/Y~q`$2'칻eWBf9Fpi{2iW#=U/E /Lg=Žei?ԪNG>h?aC's>ݚ \ VGdy`f=欄{e[]e<[pt_(;EP>~h3k}E ߟJhU#S?|Cvg@HZhW+K[a%"nQʟM[e}a7ծkeV A;&L9-e{qR”e.އJyF$ h)PrP5vfKe;5@mo$ !'|?T2Lsv4W*w[Sڨ1˸6M΁!*MqJg8^Ċץ\K.W͜{p~bqMcp=RxSLO=hàW*yġnO>pVbgs4B1N $!'@\d\nl,I".~8WכT~KC8iZKpr,b<]p#VK=k|Vb G9ڕ1JqTQkfWJ|h:Zt#Lj9n'2x%5 + PJ&*,Mg>QirQ,djtYLn@<΄KkSo{Fkflvӥ {/DKKZs;l,^AvG[@5PL?ߛ;y,MG: -7hҖc0.*<ĽRG^ƌkA)shr )y&rY`L*c26|^X&EnvKR*h}9b}s26x -ʆoށ֗:网kގHHO w'iLV1[{ `аX1^2Cd%4$LΉ3^ :G~j!׼- ChTņ)weq Al3ȫ2~ߐ)pQ/=*q3ޭlA"=(/ggR.W\JZHaL>gf6Dۛ'UB}~X& ˳* nY3mo!{>E➭2B|9Cc.tEe橵Udm@Rv_9ݙks# *,dx7caL)}"^mY=tIUC^'"yJ^(2@KCvR {5,LIN ۫njJҚU9wׇ!<^.ԪPy*vP!.w8+:[$Y2aͯFzݔ<:p+@$t@Fd=oZ:\ޗcSE&8~Uw$80jUέGX|\GVJpcJi9f ; 85rHY! $cWYuSG*vpgYZf73ef83fadb710377f27bb7febaaaf7c1fb66f2ffa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 9626d03df608336a839a052cc72d740da50590d5 eb1b20980386806870d490e09e0c0ea9320f6776 a51b0b0a8a6e4b1b3b431ccbefedb3721e47bb6daf70c4cb9d5cd0920a7fdd64b886293b0b27c12c