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 P!dDl ]]]HOL-Proofs:threads=6elapsed=540.552cpu=1226.312gc=174.112factor=2.277zXZִF! el]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\3dT33 ~ 뱪MR*~x0VuqwBhPJa̯&008HxuaS/o}Lm8!0ػ¶KB 1ZnY~bpI+^n XOZonM/٨L( NЎWMt%aFDRq+ǻ.Rg vI_Aj IY+b^4o_J?R+H'Xs rBCT<{7FdDb> 52k$r,Bڱd⽵ .iN` SWJC@lخxEE`iVw[x*L^ν5e\42/k5hhKy_+8cgXVbˠEHѧ~=5'ûK,=!ְJ(*y:= Ԃ{5-AJᮾnIoiqv f[Q"9\IX ˝ FzGAf`*.,hzo[RO#G&@Ɗ6?t\<(&Ҟۉ&{̗u{C߄Vi>D\ﬧ͋W+[|Ic-5?G5tyADIYOB03V2RE7zmN=#r=H<WBU\fIz Nh浌""$eؠ˟-ia[ÈHd}BN)_0='JldTC.b$%UyߙB)^۱U:Lk@W(W u/uw?'ĕd}2d%]O{1XPzHuM6 @5͔! rՓK LG|G0TN'fWW=K4o+Zews 5wź νAᩔE9*8"㮛<.eN<7WëK<ϯXDR_(Uj>ez)yCYLk :LBMR*3Vo+N.5! ?Tut%#E[f-דxpz. 闏%5k;k,l3zcš~Y$?x<1 un;@dy+\z=ixgedprRuz ڝRT ll3& /s~l3-U xsj@1F1`ur>euP.)8$߶x|T<f۴X8fFܚ*uζ zF ؀%|ۑj(6|vkGn@)s- S@nvV1/7`}DV ʲŏ8}J XB)`\x:f̴D{s?x>ص  ! HOL-Proofs@A]c!taSoAai7k (,bjfQt7e9{LLN{ubC`yHbfKX(6!YPCANB%!Bgʰag꾑cGs*jXnKn6+,!Yo {fdv QQ`:um71K/8Bshɑ.ާE^#9f'ú$P dSZdЯ} ˃x* fM F>pݛOf)j]k]?vl>~pjJVVk_Efx$*:|3cpR?؃ݢ&W1@S,?EY-i.. "QSCbOAѰmG`/8al[_}j67M0 7R>׭ O ާu=_mKn<a~#)Ʋ/@w"6("#|Y=Dw\Ź(߿ .YTXjňnǠ麛)*ypOבf343j܌G+%LW[P`ԐR܀GIG"R=s{>DTZ:UZ(v񋆋$>)+20Noq91z ݭuޢ-u>@BVV}eQz֋o'*֒h$fomcF>w[rvi+aٹ3ħ,T=z[XR.kJJAP_p38*~?X7Bs]t 1FF wpU{SeTY>Gv3Zj.؝i`&̢Ag*ya-홾$ &h-Kh;A qBȭ3EC8/4Nt(pQ*.OcyӴYuH*ּq$mm] |u iL$P1EQڀMjF6 dשO5<^_[?R wFDmDNBH={O9%4RG!`ъ>5To B' ca&c:o'i,(ot{p< '2 c@W;;L8 BKߦ܇}uAZCЌ'jD tIDׅf\~fpez4jЋNebnE~m0N-B?ydˡb %6ElR $>:5Ner]"z?Vsk҃ \( pmc<盘9* uUC1dMaK%oߢwH74rR˴ԁ 7֡MzVs@ˑIXxQ-ѴJ(Mk01`<1&Inb~:C\p> 2|,5S\NIl4+`L+~g;i/J2?f:N (z9a-  =MUGޮ(kGhܥu@6$GTT؊穈H2DS{otrS4ÈA_;y}V#0/H&2IH}r7qb$sFTOͬn^:a pF4zxi2M g[pw +w3ԟWg` Svd.tVg=DGq,W,F"=il`|DO$#g0t~z8)`/a䁹" yD1 G{-N κ\lM2?ڦHgcwxO0B54y:TBLv5b毨g]Tns2Ymy̥ux1e h`I;xŪe Q K=~zB Ƙ[cX<[RuDhZ+:wTh!guܮ2ﱐA;F]= XLճj41n{؅S35Gxo klLP6LEU fgpfb8gz.KF?{4ВkUT6rc']L0(N1DW%p?͜e]L\sϼp7@o7W%Ue4ݚUsbF՗WMI(149?dL>^48c2qDݚTg^9zHV/[ F'*y m\m'-6.u3T@SZ{s<^3E .踧sϤCʰNMT8B `!R(cYjulGyĐcT%%_L4Gwe戬&P',SFxKuT`3"0.'QRQpo7+gbG KrBV,lu9F QZz!EO[' )c-jc&ӛ=:6D9בEt6>:'V}'Q8%ɊYRݗ9yDtQ=5@$`Cc1}nC]5l蕤n\䯺L"Ϧ8n1,Zzv?lf^<ڣ(D;صNGf}jd[uj))7< VtR0"q x#JlV"&F8S}#ga9ny,rcB2M4򍝛XҩE3>!N={|As 'Fma^5q[Ve zc؅p]r'hSnҸw/HwgYZ7zXZִF! b]ŗXiɟ29aoʼz[%U>EM!!BK`2s΂OAf#V0/lޣ4۹yZaM+b W?M@*?pq޷ޚ3,ɂBU)܄PfGԛM~ Q0.Q ]dVJ@'\Iǯ /5¾9EFNC!$ٺNB#nf$el$h}#_mZN9}$X32חl*` yLV隡q+)5 rw )NOwm8iEGNo=:uJJ#[ioT[MM`y#R[{xP fo5[*'gh4VryQ ߡk;@RqΟS{ߠIN+ (LdV_Z"]~}SHk* @e)ۚ@Mv3%|;I>J(K3dW̝mmW@L"S2AU<2kiCάX-"=i-\F*ݔ_0`ö/=S8r8Sd;\Cgrna2lb`A;B6]>yPݕ\WNhҠ|4j`}¥%?Bm_rkqs[c\7;aG&A8 H'ACxDHl|qھ&tw4Gg3+0m%~Y'_38K8+Jvk= g$+*~>Fd^Wӗ"R|q>KEpyUR]7~ *;ct!j L"hFɿv40=CRR!SF_lM+* :Ù [*=5PW"Hک?ưl'F˴o7svfXW |JnӾv mn*u:= 0t3Wo[.Gt'k7,l9Åt4f'PC Hq}16u3q̝@j-^"x8 9agowdACy?0fDE|#.6l횩ͣfN7,ikԊgGeyC=5{"oyVY̜cΕWé{a[+`_(XFSa1>*L,Ջ%+~/V`1lVS~¶® &!.OfJ޶6T3vvǵ2 ޢc#$0ݻ5bӋEe`4"z3luwUH RZvb.Sgy7MfW*K% !5D/&8\{TB^ 1ZEMk$]U . wTg*/E2pI)v}eT" 2N΄dЀ_锬_ą9\r ˤҞ`UM%\JRO,[ l= ~ioC6B PI<_לÈ㻑ícCb+_(=SV wIɵHwrT4Q-P߉̘-͸ia*yt3{PV^fv8dD}/`6<;w/0|G#:AㇾM`+85s5TlU`50q^aPΆx[Dn{x;7OK# WڏՊoi~l%elNBPhPBgM lh}* ;4LrL6rDhV [`ov7ݐEu0.xNs[3 0G,1@D3f^X Dmg`1e=0e7W~BN KN]V0,|tf$);Mu\yr.3VZ:1?A7WsSnYt9f׍VւN6]\ ċcð?8d8C arQ3ˆs)(xWA$Š Y}\#-e*!Rf~$,}8^j 3PZ]fwv*/_&hU8& tvj;$լ-'_}uݙQ+kjKݶ4C "<1-EF[:^ͅD #7UzU̞ lo%ܩh *yG)?:wb%LyjLWqM~H¼v/ ' ?t)^"gUBXUί oV+e~P6,qy,h+{cjduEEC*Ry, &%A~"XWJ3&:Y<{b`I%r8h>=Zg%h\~T7$ cm# %)z(ZDRY1Īrxy:_ټY|xm'֧gJOJ -Gõ]\Yw,-Qw M;d{ά٣jї/ 6.a27~B2 NX h*JJk2ikׯOqOЫ!/wD tkz!U/8EgD\`11&1ycӐ1r/>H#?o LaE"#Z?&(j'>YmajY Jdl^,dx%-i!>)2rx{sӧ{$F^h, 5 DǕH6\#@+m+BWp(:8i #qPLc+\@'m',[ž(!ʁa#'+iñ~B&.ڨǂ~k,=x!"房l{:MeٯJ;0(715l+:jl2H #&u^4V:x$ĝ8V66gY[QWBfۿcǵ#oA#qWɞw1WkҘyQlR K!NzӯD{8 ՊhAɟFše%J.vޘfIj%!:RUdܣ=@M~;R9KӍK E Я3YKnFh{w3 rS4k>(ھ,ߢcdiuT.C礅g>S\guH~RƷ){bjOG`*2i3~ܨLښ[H_'3;MPnm nD;.ޝ5=BeTCX n ٫|)G{VF"1߬,hzN!EF$:4ʤ4}ԥgAT^x" %..z7 Ix'1ߡ/__7ʝZH.lK}P,GQ}j8p9 A7uH=REU'[ |~@Fbn~ }`l!oz6C.o3"o~f k|;z/z8D|X<̔Dϭ_% $q _Sgb?m^Jr~| x|e=ZuϢ.[^_SNQ_SSY0H0~玦x T&YWEoYa1+K1TiLN޽_dƉ]2ijk&2Rd~F P^KQ `3&Ll=+uLenBΕFb4JRu_+5 #:[[0TA#&y Қ >) Z 1LO9W}o1P\^c/L>TCu6+!y\9eY͙i)k}>p(Яk9]XҊv4 MOSZ&K梧QsF` 02FɣJS\ck_Rā I`F[4,9EK.g=v׆|>e15,Q ǁy=ezN tIoCtwBʭN|Y_)]llخ5f,I8]gYlay1G2\\; \HZuGqfG77O/"vAh7ᬟցjȜmtO/JɳeܘdRSaCJ(t5Hl[f[ʈ'hs 桮%;%ΕvVH#FTx-d n:&e]0OR?*6L}nH90r^dC*@٠[fՕ-GyH]n  }Jr>{S~Rg*íRJ"􍦶ouKd Wj\ܞʍWNti{~ي{/NuӶߓO4 Qɾ-Wl *6I9,L̸C'SW=0{>pgoG3n2}s5 ,!}-^y j{p0D,xdY۾SW /@G>MHCƚpއy+L:) 91 G\ojz (ZePCM6%pp#ð])gwz [CrH}|#-V]6s* 6y32u 7KCtR8lAM.l A[YR#|= |g9GQ >wf33GތHKS{5$m0_5jTk㺃K'9όq۾g S&aRZR'~ *KWnG܆ Hu:3nŕt*M{]ڒr# g.+-`9jLHZzpHQI:\d}n:JR,>B'dNX%ޣe#6, ŎIѦoςV $itzV-X.C uJB[Lm6ɘ^K4WdҸ OwU+A*ؾKUr~1xp/ i MK>8ښ^7sl҉o .;Ҟ98X<ݴg!j qL)Y _82~2bOd_#ʃf:8m(QB n%Dig;?nDr9n+<%N \BU06\{?5SSf@pk9[څ/ Ј켕lŤMM)D[3A'j5yJ"zi"NҒ׈s cϗD0En@lF#dX9ŝeWc=LA[S%|6U?-n`ы-Aߴ W{t-cH-LUE/v8z,/lCKai=M͐l]'Sbz'7(o ,/|I]CM= l%R4C\ar=IX8!ed's`ሩJJ:g7,虿 `ʊc sL vC!-meYF]־Ng#|sQ4^^O' yh=@1)8 Kß8/;I un존lNEzG: n-a*F#u!)~im{2 SW˙PL5HP?` ^ tm}'AF,$X BK a!lV!Z !Kţ昁2ѣ>F&F|SuBpɝ[۷-N8d(nVc}ܐ,^8ڈRф$i Gk9 z1?zPŐP%f&zrF.݃w?r /@ $.!%+*@g\J8*B3QI>itrBuS{u7#pAVgn-y VY2f|]WxC?u5}#Yyc&ZSzIGZpLn-% K P)G>][ҩrd_gR(xh\O)w>nDDM!(uӟk@:EْAwM-{.]L$?-::§"8^zB܊?ly;ZOP.U> \眑yg}:g`p6- Q:tNt xxTB+ 3A@^[7,2yq&s-ZR\;L7 2b C_xEt6bwj"Ź^:*DHjM;jPRحɈ Bh̵KKJ1Z`h5E"`U2%j؝L2r1cYK^~?A]͛(7 kbF V)<g-rߺp?$ ]Ʌ7mV?jF|^ W;,ڑj'BZ,ԱI`<22A& y@Lb Aۂ.zHN5Gs.]Fח\?U) aj F)1)jiG]~:ݲ;U$$%˜G-pc]n&R6V:\m ..՜]OyZh/15,NhA *D 6dC  Ec<;1Aw?|AQBPw ^#kBy}Vol{ȚA,i)b-N:_yKsƀ-$DmN; (?WM,`T_ƈ4,')fkb!#~6 9#EF^.RҢ$/\x~,S"ڍ vXr]'SrnS=ȂN2_S}K! 4Qʹ"xa:/d{'OӎϡϷـa4t 6 v+Z$<!-& qaD 1Ү"WNk!7,˜˷؎j)#% ͜W~riփ;nA"G4kc!It125ތdZp&6٩㋾G]}$7xPQ+Jn*xS4՜)z;)YygCݽG8I %mVƔBv}XSHĸ=v,.0 !g䩖5y.J^4 2tFMky0ʺ6Y,|_*v]C7w)LLI(ѩbJ[MbSJ%NA Қ"Uߌ }Žcz&_}y^0UbϛR.ArcX7(+JeIJ  Xlj_^Yd~;4N%t HvMS=FnW Sx*ǽaG߇d\,d-ђI1miՈdR͗c1vH[k~r I_,rDIEW= P n*H*d svMz%ˣqZi$J5lQ ̿Уm9=43X/LVlMu˱ h3 >ԕ_Ȝ#]{KEs}v1;>GU=[#IW{]á솓=' Y']4ȢS>:$zlɲZ).ޠ(?n~?.Ygz6#ALW;Qsfif3.Lc__g:/9˒ RYSNUN~2*_X Qۛq )Lj9ݭoBK'wSrupw{6#u7z"o PJTda\2T5UHu|}D_N:$ d&=EW%9tO޾VM%=TlÑP*SNT∞:b]2$| }ψʋ\\U+Π¤x>GuV0/XX{<ƭAnF9ޮA]?c'/|uZp+ϴ3rE.{Z|+⺛dA,1?Jv[:w)wQN=K67p ]sS`̊έ[JSm=k.x /hG[ӯ٢b0w%ͮW M2^VͪO#RIT1 Ymvg}2FqhWlP)T` !:Rtr)vCu&ɡܜ/{;F{.Q[4O3Y)DNػ:h|GPǞ;940Cʚ~qZNIys(SXvn$fA^|v2vL${= =mӺe(.AgVG&Nm0mA3.b=-Q&.>2 ڮ*N\% 1BO `NS֚F]j*;{gdDlWX6{u.|ױ:&zmA}ۜ$rJhF`ExXu+ l`87B@(mkl&MH6T~d -wF:dnZW5dٶFF ^۳q} Dd*:lBFHg[)֭$ %{I4I:UtN׬ԕ9,9p&iTZM ].g7c_%LEŲh=YRUT;ҍ n̐7E*Y6 o6n}5zqƳV" M#9Fٓ6'J+KcXU/-)Qȏ"RZ'8!cQb+Cpn]|ukͻ7}C&kIvsLѬrp-ݾoWr HZ B _jv fa]S4ГN`! PZPdרTQ vɞiF J2,V; {Ɯnw~|K7eW%b6fE;wkaxQD\zX B50pljGI^vt@f.E0D\#5ݧ qAc/  +`h`~v' h<ˆ- 1㿄sYY.U~5Ȑ} JfJGVm=Up+8X7q9+XU ˴0iEG%gwRKΦxsrvY;M!^@cCV^Gڟ+)RqNe*bn=80ߓ(!j Sj(+mg =ݿhO\_0>m3+Xzq7M#nK#<2O%^Uц,pT ZC I^$s@[si^q ^{JGڙ]fhg1/-+PX#W;CqhC̯u{}]q9;##JAMd"<n7&fl,9%M%rG&4<i,ngV&9R-дmLl2wΤDT`׍vw q@찍MӹliDUr8!xeȋ @;ZQq,"1&!KBt 3)Qg@]jHN؏H䝙[;E8 Td W )RUƂDe4KU1teT{l+BoD<$Df4EB:]sfR9} /xF3~9(s V6eihbcI-3D^&8Pwb"NjxQ•,L@&U0ڶ޵r%zsoP1 _rVD Q-(BpC%:)mMTT{@=lu?|vJ"Z(VW"U"LsBD }ypፐL62x0ἷNWGT&iyކtON~" EF1/1k BB~Ÿ-}Prjʠ:oF)nJ4zZAm dƕЭPŅ+[NjK4t\%p~sځ}yHHDx4⧪?AxY|%aTSq%^wqͲ<?yzapðEWU]%HWjB*!HӢkJIs`4A@ +B;l'?|FS&=iׅ|l8L`؉μhHo|з&6ou^uQ};Bb] j](9&[֤evgN]"S֫@1]ζAsgl~nV(#ma@)&gi,hJґ5ˆG(|H?el Kc|/J!>3`-n4m1zŴC@6"^ KwmY.ʗ";sg q" RM?7 Dp(']f6kn^/A%ڷPtP# #{E]He4 Q $Vu],/IND@f~ C':&wE޷cl`ߕFt[U28Mvjkg}cǰBI)rq@c9s޴jȊ(-Pv_sșOu:PROOdw Jx+F4N<#?- Y|E7IwGʂEO 9>('!JI>GMDg%C#d6|暠*`W|%\:EA#@CBkxsgLYGKЛ2X6ƾ>+M,Vܫ' ̕W; @X2I-kqC+1-ͧii2Z1&4HgIShv.j%{O$j.:qM!b[iB 0%$wi)PDA!&Pw&bG NAHo)ob=$:d۵(1<,x:K4<Ġ̵I8Obk hˡΉ.h>?$Aq6^PbӦ֎Y =5kozTI=,;ara93o("Q֚F=q#Q O#y4RaZ2ą^1.tRM2V ;Ly;45o kbъR^Bϣ&͘`=o F$5`jE5X0^f_?*wW 5!X!p\ux3WPޛ 5^SGYX>)HZ^ X#Y`?3]4KeסE lך#O[d|>:گNb{#kz+ ֳQm?@Y+]6徂lCߗ7T\+IB,Kwý^i gbT}Q5S569<ozy&@Z?PVkؒr`7Я{lu7 Wrk](Hb$R$@àM>\!9 `b.>O1 ϶"51z_}IĒE3qq(.'B;=Ucv 8eU$ŏ6!F ew ?I,vЗnBv˖XO&,dPw@b},41`$ޔz$J<ɄgxTp!86Ma7&Ze %"g=5;MZ0qIs^]WO.W!rs}K*p}҃D"ftŀwOw>|^g5 ʹ&iZ%Q}v)yS{0,cd)=l6JLi2b# /;/>oxxWܵ&$pN.SE_^OiA7H'3Kh̹p)$ϙా|K.gWC3=5-JvI0*jC0. H;<[kA|;N *g<2UBǰJ.Ҧ'ROP+jNH(ʶY#Hҍ=I2hޭ6 s H\ZUܫs@V KCfOSoNVÿKeK a.G)WaNJ@Jı:X4|.84QoU"2ܗ8BajSVfJRn[@#Fm*{H^[Z PeOe .{gʝr?-3v萋>BSFC$b3u<ThĿo|q&f}Q j mpPa(XmB`=eEnSTR5{coVցE4я{ؑFk4l;$~8_PU6RTqNzU{ ɍ7wx[}TVd+?zhj.^\<Sv; Y +\P$膜k#.:|Kuw\r:S`i RyuޗÛE|JőoAz##*\8pb)bn+.*۝>Bh" نL9M$9jp)Fddcj!3>r=GD8=d\zIںz$ F.~=Q즫KZ˚9Ncم͢GvpUMЪ )MԈ+l!ڰYjQ>pS 3)uan6w?Wh)-F>;R+3}Sܓ*dѰ,G^ICmAD>`>vLrAB[L̦ -B!zE3a))u.@_Mmjp>f 78^?# {8jl\NNe[xD7i^I+s)n6g-  Ci]5^T]`ߋ_>w6hF ĥshPk\S|OS)c}]sɰ Ǔ]?Pk k8}RfS-$gYa^ޫ G,U"pR#qkB~R֞5΍ZƩI![rxJZ ==fI Wwwosg2!]Cj휲R)& 1Gz=Ycٳ[6c1dG qV X gp,T2pz̪ :n7щ^&AwJ'U/&^>gWŤM)&gzb14MI֥ӂ wDXnUB(J1RyHZ`;bְI_=vT쌦^9TZco6bnWoI>\SΗrpA.J.Op[$%2i{h aq%+!C|\H4Vst$^7v+J MHR/M<PδpZG$@D)\T,.|'qY@Z3U|LvkHNޡ`阥66❠ }՟Pd(eӈcEO;Z?B,w qCMf~vpUW/)xuJ(9HKa;DhJv,V)1 hCV%gqrpպ(!DˆEz8h. Li tC&<ȃd+ I]gnݕ"d uxc9ʰj¹]"6Us)6DZkGHW広-x>0gx KB[~q9>$ՙ|Sof2`u aP7p@d7OSdzvUhƓ4{/ v}JXl 89WsO? '5M¨OucC< Y 8F=fb&)Vƴzm`dןE$Oh௠T a޲s1R,dFXՙn3 R!^pnaReQNķxzD%c&_ X=Ӷت?vNsTl yxc- :^ :T,RsY0s8l14A?-ްϻq@imw"]>?-T"!Qe-.&7(wohz5hvWLlꢧ='6{f>PP&nټ(Y xo_df=#RgN$@t# `>30v5VOM^`S?`U҇(,+i?ZW; [YSh.Kqܨ׷')iVDW{Pg?%0I g6(NF1,P: wѥFVW1E0}%TQ s9F{U vf5Ґt]ri҄ F}r@=|ެ'­c5KЛ lؗzB/g_'$[qC0?y\BXaE ئ3׎W|0v W+{F] Q )( sKѲ6AٝH<~Ј%삼tt+y)D Ԁ"/U"cwL/OU1yoq;Es;̓0l)Tco.FwbY!:(P@EZ@ 0d}ԛ}]b4\o%㾥|ўqZ~ V}R'R(pm܆bvA @-~( I6"Wn+WF1qS yK +2> u՝+9wSOTSle/>(K&=3M jzRz7KI7$u"u|M?f㉬fz 7p dqy&qvt1qouqtJܢPpN/%ċXDN+;D= 4븆)E<;@N ,6=9Jdd > v;tfL pFKE̳O8{ٌ|/9Hqݬ8xd,QIWB C93;ajDޮZ"d!qA { ]o=Ԁ0zOYoyZsPگ%h%b8#2NTv*O1ڏU3IY޼㲹,9 -u!2;لw1X]0xR,%)v6Zl(͇7ok5oZEgvd:,Ц z ^un'yT4[?Rzu[v5*Ӷ`rj/m njpu 2>z.i~4jK>gMKS^KO,ܛ6.E&,nE aG :*-#|-U"c+pوb#) ~5eLlq `cA^Aex#7e^Z}$U@+YO)?8%҂`k-,K9iu2]ʞP-Q\KmA2 /۟6zkf}-mEL醮 N]bI}MN\_*v36]Xpjb.KKT#2%L m&zO qkYAdn؋NEBl = b!AeLI+!}wX4^vJ(jR7{(pCvgT wFMؠgl!CئGeN„ϊ ]Q]wMzoq?`B+Etwy6.gEF"i,vxU5  jNd"u1ʺo0Y1}aP*inEzSɇ$H FT+e]¸(,8/ZW$T+̇n]oՇHD0%m씉Wjy![ЗͿ\x:F铀(Ҹ-Rh.Be4$L{G?EBUp5q@SXd<#K&G6A@g;̆|*dBї^+|z:W32$/^yiGl5"5+"3;꜈hjJ/ċq`o!IDSQ;A(@D Kqiմc8PiL _ pH_;Wq{p%GPI(qBّoSuMw'w~:WXzx΃!nB ]B'uP v-9ПTy:X 6HmmrKo.W$dw7B#2 I7qgJ8Qҗ^&1v6(U圂JJt#j-&ufT$=4bJwW^o H #f[SP-/nXuGZ@SliM Krj+Ԥ|틘 ˱D{wK+^dd&{2z:vYua-nLM۝e^kTB4@{8='1:PQE-I^jY8Wh 9=;$%'{T5/YovS)D}ctN><2N-kjPCҫra44!l#? 6 }89A?LEN|ۄ|E ueiPD<x,g|&Az&&O0sW:raV̊!6 kάm?IE%Br>37_I5 cONX#˄ѱ)$޽*-623:eHrR&vNQ Vi=4*$^oTAi6]|je>QߏT;g;3 #^(U! R)M"E *B׬0+ #|IF3eFK^+3r-gH>G J;DVoId 0yلK4陲 ᢂNg7}mY,'ºRΐ9ƝLY\4F{[נO-: {R6 pE(INR*mdm_fK,A"bӻdnixuN#* 86}sŽTB,7bhD()? h;nR7fVΛ:1[d/Ksn9P0S7qA};O7-W%Ԑ)+G_ə:CAB<_8s֙Ud<6Ҙڝ1iƙp\2V-=ëM 9 Wsa'fO92i[v柭50i ;2w>B 򒨒ȝv5k"iό"DxHoC٩sIO"|)`i۟WHBeKmrLpC?O)8.7 ̓MiGNV~C= :\Ӑ.ܳ[Ƈ)kY?zgBhU 1HWE0^)b^Se{Ҕu=:&!z}qujqAU"W-Y9[i{.J☫uD(s a!u>b,j/^I[OIb~s.KDW^n,,C]U6:_'/Bh,V:ť|(\*MZ@q̮?L%ͽnEt8>We1f)wUA巏)f4@lZ4[}6S,Ffc和K+ f$^ J$RK1yz?;"ISٓ8OkIO x@4@+j&Fu{4i-bO@~R5 1%ƺj lt>}~54Pǣ>6b:L¤_Z@}[ rLaRfTRo>$ن4,'+ ^PKv{%2u?=g_1OB\/7Yg;@/"C EJdLPI|{#&Nqo!=nzR'QKlW; X~KSb^ٕ,\oV Ŧ?&NLKBX'uz(H-0 C)aWcd<4"v7} ѡ.JO!Vc6>Iw⚪m|sJ \ @g]+dG@W>Up짭#sd>%zv iW?3+]P, )8ԟPK{r\Ix"u&}x.? cq3&" X:7nM'Y父;w1H4uE sOstḖG'Ω}>!bZR Cy^ͼcI d~NS?ƊI8?ʓfT""CqEǍvd_]A0:B顿߹w@|ݕ}XgZD V? 1B詩A6 Eo4KSH3JNL$uD٘PKY?&ܲ1Zs{x#xLDk +֏.ﮤ|/v :-sb>*5ϳVxqRʷ&WPyo;җYG0ib_ ~:t}D"U` 6RC2{+:gtʉ:Wqk2=s< OLuD݇GMՂCZӹkձP &-8NQe`u$y t: 3?2ZBŜSF+I`*S.MRnDaE%9<8M#GXpìĶ)]r^ l2Jx~#0^!iOiΛ^`_4oxϰNO#˧M6.] L[<2~a}cpQRAd̊[cfd1x od CmkCwf+3Ҁ= 0ahB J?I|w׌B ېXc17 #禑!szkM>y ; ꆭj:ϷM"7bL'|ag-$B|#'(sSu@/ J傷˗qZ",)5'YǔY:"5ss<̬wp_0T\N֡@Eyif:'P@3sz"4chj'e b܉Й5uwxQprDl&3L; ]axVx%6[ 66g|NiT͐>Aھӈ,3H-]Bf\4t2{8R" 2m8K3pĸ/"FD%мsgYZ85249b530432a92ea14d70ab04ee4c8993020241434d2185c8796b1b91c101ab4deb405df77e768f5e7b13aead709bd6158dd04babf0998c3e46af54