SQLite format 3@ $- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 #t ; HOL-ex:threads=6elapsed=198.913cpu=878.524gc=89.432factor=4.427zXZִF   HOL-ex! >]ŗXf1-q恉<E#Hv=rP9d-{x]kL/cUs a)F%\N;7A3J%q7 ߟ7_:-#NeP+/=7 }0PÑQp:-Bntz_ꋂo97ɷHRIMinDI7p8)uqqp\4Bb=' qm[ fGcFXr 'ɶ}}QE4s{ )P҂ցu!+N]¦?@Lnӂ!%Tyᔃ5VA Y%j /M&T68H0##}t^rK3^%2)@2C>Ȁ ?Мced!ؽS2e'bkfD"?QCN#8=Iڑa!)@ogfh?n'S蕑يy}7y)җ+Xfq5?`֫S%_$vl&4R&k;z Gm4žIfmV i`,I;v&Ȋ-ߏ?:L.;]Y{8jFѪ~A>ןpt͹~~}@<ȳ7d=ܓDpIqt˟FQk$|~aZD%[3gxu}%i!%~~6Hj܀L)K)$1܏*YMV,mRSҙl^7P njY/h )'1wD?ElYՒUy,{Uaw6dk+'FKw SFґ1j>zP|N큟$5 Y *i[LߞJ՘VeTzE2s65;Q̫1+xhk%$@w zck#Rz7hpx S_y$[~"뼽n Sӿ.΢:JվP෱⨳^8 dg2mrY#,=2h#0­$:rA׽)vrvun7%/{6>Sx/?C3i۳PLԟ"Mc Vp1AJ{$pV_2C:# xLhtشf*9tF~^1yMtԒmZazN6vJKcwGpF]V1 +f׬ km%<T1b x( ok͚>e/O?!{JMI=JʻL(z0Ӱsp`fbx'brByI_:#4EqgjԬw}=x*~ێ93״7ިBvjRvڑz+Kd@˨Aepne{VQ}Dt5ҾLW.ѕ(ta)8wn68t %D(s f:[.]gA}6/l>=oGA.uEAI:ɕԠT,_y7A_*ʽ\HiB!a3M}y'sO0ynoOb#-ڪ9p&V?6r+ٲ6jZΪNu8*wBs*2JN (^#t%;}rNw0t+2_ ^4f_c*"1fxԆBzA';f%f>5:5wbKiɄߢOL Qlކ[ =K^]M@s[%X{+^qSffvs7b-@M|V^ >3Bh0`9lqO\8$u }"al>L_1c&ۊ҈Ӕw2*ܦT6j$14__ >M=S2yP⹋#XB]gQ=kFĈB@0 1A0Lov;9E!6 $Ŝnt-"j)ڌSv Nk[2C"Zx*鲒ܦmqꖟcݒSTpܯfoGQWlV%а%@s(SpvBgK<ꦛbI]  Q;Dji1,1.A#v%zI$N_٫b1qQغ.j*$'+EF*bsZE!O"?k !Ц6f=Gk Mע7dLFU,A|TtDeϒ|#W"DZ@5F@JK%7XJFFmk,%QE(ym!RUxgP;aeBϏ̞?)|1ȨQoo Y7Y FNzv`)+l#>щ!oSj1y&~2^]vRs?u"Ǯ]*H N=@lvbQ(">pgcs}9`/ 4bfrEIu M ues_EJih7BC4C^(JHSbFڦ$RblI@P<""uu-}tY) $Tq4rM]Lgxb2LܝDR}|uT'<܌KjOl]{C`^7ȑg-5*cC $DQ!W\H׶(6)߁IY ҳM]WOQ =g/ixg=>+L@ e4³b&e<~NjD6opr trfmSxy] "+?KĄ2Gy'DƦ1r^XAHaNZa"fX&qrܿRHOSK0B$Q.w? * e~Ymw#5zV/#FmR_|͖n2s"!}ۃyizgE 鏍DK@~(`5mNo>5Pqa=>i.0)HfwIfs>竫poUI}VTuB=02%Iɕ!{943K@L$uD2"[L*P(޶u*+r(~Ef@Y`ONv=ac!Wϟwf%E!HW0=[poocL;lY[2^:;4!d WnoJZFW^\E B,g24 ݵ?{|0\?qb#)h@\5`&>ofYYM-A6O#́*J(1l:`6 "سDjXY\kq"8}=3:9ӳ8Z{STvW\[w?uLOAnūAl]¿">д6Ѷ~)qG9Ji ږSg›a{)d[XI̛.>\ ћҡ\zX:X*wa܆T[>YLO&܉CuBuY,+(͐ո#6r-854//dmC a$GT+7=HCNs|Z㪂U8f% P Ѩz}H4j-cv:)y\`!)Ԏ/)z>4 Pb0=/G 5Τ /rLa 'N=Fa 2G*Uw ւ(QekEܞocl//O\&( {'F3--/XnTAa *pI^+Mɧk|Լii&rMjonWu-oڡO6r2K@zB?ftZZ*ˍ!*i/ D`#S#_k; -vֆ <~wM_c ,Gh^<;z7,Aywlp'cHkʠPxX{1bqh@B`|Vl g ݿf,ԇƜv#e6Nd7u鮗TT7dS3.@܂UF#z; MQ{W~=\ C< æSC`wG>5,pR`;'Ѥ dmw.i'撲t/i׉U*ݜjۨ{tE[u0s4 lؔ R;NCtK4o^`UôCSeDARZ) \d`O\>l4jbn'Z  |d9Ϗ x 'W#CAM'1֛@Z妾o# v3G4/.M܉m?WSSB,`|z) ߗ e=XXጻ/CdHBUYb ^"Y^&娩U. k,y3 @CJ^b0B{|{dgH6Mgwv: D P\K/ynnQ Wb77v|C6!^dMY|[=nؙ\(=E=i<'d聐E0,AH'CpRtZc|+;ap8,ͯA81<'ahU*y3LI]1H2 ܶW妗5chxK3V5Ge?Aöobۥ>n9ur;)pk(t- *I9(s}FSU9+F۳TJt7X5b;[.اv A{D(|V'BCZ4Y]5ly#1a7@ţ|@ƾ qHBZpRUJ/t [|)<2߂mjkK\G#VŀRIo ,vA+ g?0ܚť߽d#(6NL.16xu((`}ZG^aM{ )UӇ>k%|CZHF }Ca繮t)[. }2ݏ j7z"5Mr#wd"a@Yc3NC_ uE:4eTAX1 "=+i=jYIdN ֱQq~{2HSˁ>e.|w8g!O<-  T]=XajZi0pQZ߭hF5O2wjB1{F@A`&P~;|` 1JV;*Gne;t|\/ZXa\Wc#څ1tӲ]hWn_{5Wil .3ڃtkMlNb40dА=gܪ2=_ e|!n{|nU+{#pAܔ񁔶4m^BD]hdzĭ -yc939@1]QEёST> ؅d:VxWU ]0=oW0ndV]k&niYA߮C~VyT⼖a+J4] x."nXi9l+JR$(Y,) .z#SW6@*h+o'-d d|C$  ߒNQ^FS q""R{hַ\%= b@e#?btM܍ Ĺs ]oN$PWiܵ[Y&HC6E%FFњr6X<-}OY\.Og n>>1<֛<؜t pDMi$%[U5F%|y-J t/;,$z49pܓhr (id)jI/1?b0,TZqSbt)_eiw=ʩ/c)PaMâ«Gy|c^)9NEiS(sk}IҞ 1eܫzRg]^8-v& &[ UUgvfZELt>kJyZ|aYZRWe9( ;[HKT|ZjE]Ѳ+҈4uSٟYxxԬ0Qw^xdDMP6㡎^>&EyGrG֖V#d) [",°}d߃&ĩU;g-cn2 Dz*i4g'Q;1y[DzW\DwKa @KcD!m*٭muj'tb ?I'.tX/C# 8!&th:v =ac%y( AeI!Q[ QWT<@lKEF5%\mM4t7aLJl z?ƾGZT;VӯAuSx, .'hGjh5(- pVxᒣ ÇE_o4 Z+H)뾑Ż ?N<4QhGÁTt>񧗲šD >+L2S,4R{ p{W{TZ<ծ\ҽ:a"H,Aߒ~$6Sbgf-:vkc96W< ?q:qF'Z){ MRY1iD%,vv_ڻ3w`W|vCkR;L ^fjBtP+j]/t$I1@P7B+L-{H[!YJpZTñ}`Ϳwr*1yhOGHfi.Yt4' "aɠ3H A<%BǥoⳚ$?Y- `EYj ;o"Րˑj۔4A5MZ0ݯĚW*]X@KpJWͲo6vޟ!EK4>8;\2}P4|h6aS$B.v(3'Tq$m jdy |B SϐT*xG h!qo!`a o5?fyth-7C8!%؈- C<ĩJl q˨f@#*//)K|ǰo~Crz?Q<,(rD9‘#wN+ok^L3nAW̹;RJ 1SAwUk"ZX̢nteoZO-\Fb *gMZ;%-pʺv/l=m]wOCMn_4,zIغOF[7wy:UiƤ5!x Ƞ眺UӍP [ly#J!bn{ztbXrT ،0'rt]z9b-YCߥR6F)sXmG;Ve-f@O t BNKYT30@G1ê: L'Xdۓ_n6`'f}yPG i Xހ 3=*2gapu833 ꞊^Q>O3PB‡esx,xFkmf ~Qwj+HGv0JikcY`7K=8 gey8ge3;^mCAVզ`1 R[Cl4 \77MT-'xwo'h^va'i,Z@vxy{ jueD[z[-kBQ Y3 g+aJNZذ2յE6c^-ȓn+OIu]FOFiUX;nKyP2~TkxI 0PmMqLaT(L'Jl !v\qܵ1 TM5"F84f5!`Jퟨ9V-vF4lɀ .r`hw* vfWgPȺGY<;4Cob3a-D&޾qnyr삸a}eS3fu º !Is֖lk)i)^W ˺(kvţ%{8+\[|y"sT f ĎFTp vk/gcR.:_9e# ɕm ؟Q Hفܼq 4!`Ĩ0}\AyBC'z!ʠ4gg `a @k'} (m7&m(ԸnqRWy''}T>a2{Am-%j-F{%.m{OȨ@fIPP^7 R^!,BH 9]SqΗsʎPnN+Paa!/%S>VJ$M#>`xɯ)l|",bIɠ-qRh3|݈'ztZ`43\^ wVTXP- ux] .b͌@ ydΗ XYz0}$cI#z!K K^$p#?qyA-φ(KIuSz vX X>0D wgxʛQQAgqPM' _So4,×e05]!gKFDrݨ̯wCz;A-|ofq}*ЭpTݚ AcJbA$RW'xhTAqo!RuƠY]` '5lyJ}F-Vd *؀5T[ 9J)92ՃEu'#ŰuP/Iy 4ߒI+&L\WH2{s E7l2+S@*Ͱ Z>ɱT\Qw"&Pwid,L:y2bE,Ky=_6[m.)(Q u h`w>NCmasN#XmQôVMmO{ʙ@bp3G&"$ޤ&䊀 E/|흍F}.%lC yg=dy3S:_a12Ł'IϤSʆn8PM?=Lݼpy~s%b {ɒ?ץ_iUQ||5g+Aqך0wu4 /j.f%bZ|M{3/0qz'joef@]⣭L#_%g<ő L2R ZulU| &Ϊف>P\ZMкB~7kJHim|W"YXq`u, rIN1$`<kT# 5*u,jrEC%`yfn6Pa!>>JN0lyS @Ƹq[H. $k;6fI S]-O%[Ug~&v:sPpC>D_]6p;*Gp]̪~րIg6hc|WiF|eǔ ՜䮆:Q6ق .? ;'^1 (z'ߜguϻkjΖ7ƽӬErE\[Ꮢ t |db΅(XZ;:EF:ĨsE(P%RM]DazՄ,#A# 6Γ͊XKR,B_7IeGw,OqjN{H,^kuI1Fجƴf߈ SSVNl o1.d9QpKhnS0J suA8 3͝=g!,N|!KV\Cq=0\价jW-~Զ8 *d(o!)ȳ1Ӕi,;SNa$'%Hϻ :4D!qr5*ODx=dPna9;stD}#*%!hiDa뺝$Gtl(&P)]O)WOBN(q T@{E0YTLk x߿ r%Z=n|)١AeL(ˈ0&T)!nJom GʾJ3l5&sq,κFQaOL+$cBsisp}.|.Ec303sri|z~1I۬=",4% ^9b^~6 {4d;>D}:4 $GV΄_sc!yH_?cIb QN t餖ULF!Ցv[$wAŭ&_0s)1} gYZ7zXZִF! W5]ŗXi%I+ |187ttpȱA]c;^`IA#mE\pZjLsY8 Bb4{MDlY sC%޷_&)O]Za.ペ.c9ФL;w 5:Sטa.LV/dx<$,Ov'6EzmZ^Oy=t9=Pc=:?ㄶڤgƴ=%adY,NLR;̊XSw=P0~-U9$uk)rhP! 3,KMT4~4 DU,ţ$o[i%J"v:;}XOc<[f!zq-+~:ÞDGٛ`(F4[AW]C0K`p|Ic=Cs2!  'pV+|pH̙ݳ]~2 b)Y?ANwinUZDg-cCOfn^7l5V:;7=j(dd^]Tn>l̓8_z;1|DO![>`rN0PTՔw>O5[.Fmd7sۆ3aPL7ap!*7lU/-03q={}S0/A.|!]DbH2ېjWu7obG#9ſ:l]*!GlɝKh0^D:3'1a ~PXk<9\LwcL4s>әQBh[bPs^[Fgnie$:Cc}V'Kn Q0"ӻI~`kX~y|̆-XBǿ娼F):߮.Uz@rux,=v ć^,ޥI- !)A֍|~(:CYuKu? i')pf]uT(mL!ҪQVF^>_4tO^ܴD%v~4"EWB2FÓ[L K_Q-c <ۓ}٢πXB@IT1-yiB }}PvI7efn0l: ~mzH܂=*rK=:x Qvٶ#w(N`yFҩ P1aSB[K&|w1`ZE5XPޘkQRңj/ò!0g>19Qخ"Y[qAՊq1@sw,҉IpvMeJWTqr1#&il`y>ٿ׫<;u4؍P( #Yɴ er`a^;[` ȉ*H~ZwbwSYd?ߥ7F{Ot~_9!' <~?[C6}\\!'Vf?@6!_+6՛mmQԣ%"x:ޥH^k0LIc0 a4!X[K$r ܤd؁zΦ]]ԏ2,qn#Mr"V|P 娃JT:%d^NUn[ޭ l[5S"r3`/SHi_%5Ip{Hs -6煦VrxV=oXSW;-n]{(wm0UA"si\6z?- |/XB#f^gU=@7(LU0>3P!W\fQR4IΗFcp3`6:3X}?9 ;IZ% ?6_"ETyIft Ѝ?}u3.怞ȋZQYHdOɲ@$ DMۋ?BYF68tyC FPJdN9tEY\8(1>siɡq$"߂ƍl屪+U6SB =J&s 92ɖ_fSNٍ \t1=hUԃfxc.xn|@ȹ$7?jh)xq&5CRʜ0ӏ=s9ghP'gt,x3?:>\/n׶@@/gs"W9Ȧea:?nzwc!_#6 bА-9 `g^s;r|$TS9| Ec*f|/_pj:BAf</PivB &J*`gX4oO&b}j8=O%^ga.Q9e 6@^+پD;"qti5ٖ?~yoﯬY[EQO'A{RS}&:lB~>٦ WŔm#” 諍a_ T*̫c`Ĭb>p%;UjvXx 륬q0:,C}.nxMKi 7Yϰ1g.DŽt/TOk×lp;2‡j ޗ 70s1(Bv_Jý014rxrMz #> `^6.WE酈Et!(Sh090[5LeT#&mƦY*9.iayݧ)iBs 2tnĥ~oToRr,zIk<& >xxW8 87rhu%/-wo$mf$%ES-_MrG?шXF+׎ȫI aľr%HX*Zٜ|;M#G3 4~y=w[g60`13 (F{QvCCJ @Y26=3H Q_?mN8{ 4c ~'`}Hh z*"_{ֺ/6liP28I:>%GDp;Aחcag06>+>s(7"Xbm,vV!cĮnn<`7,LP}O]P(rBG!u+7 RfyCY+y;\e(;Z0 #?[3GDk(c #XLK1UB lV=pHM+9s0P:E%NW qpal톃&Whv_!G .×ىӂHɐ݌4+I-s7빆5 oRpU79tfg~ԯ&L8@hX.kHoJJfUҹ=:&(S(ls(']4'*7qk쾟·9s+݊DZ9W˽J)itR! _L`ށᣯZf^-Pwu;Jf3_X]u`m*mݓ@3TeqW|ΨcWsVuPQ\q^~* ZGtnY PA#.BSV)V8L O^L~gXk IžX@$` zSl@a0$u'FU[4+wgi} L|A%M̡6kp܏L) ~ *& JfwۻF(uϩ S{V,YR/*Zc }GHt򣥡ZH丹Kʩ娻6 { _+?}De[bS~W37U3_bXKt{UpδOB÷zo)ᯔtR]o]7k4#@DBM^xIH"g!K *WضUM%z+9~LGj]t@u.LneGEn1h Kq_ʀ X hp_ =&2b@z<Ž#w( rqu,ᕇ5{LpՕ xiaz++ӏ*Zj5<!JFO.t*l-t; i!EA愹Gֆ#]D Gv,w0 i7Q'*]<_";{$|[^3&.UD?)`%Ppξ<& eS|7. ' _oMhw=yB019qX=5AʼnosYRsj~t߷Ɯ_Bk!Wy}NF1#+FSHm{C@j:˴MdּdsAYgZsBP!A"/ʕ#Otn6(?IiZ*b?NJIXA냪<#){X;$'ohw]ܐ+)..o35:g-3䏌n%qZ tBWvRk쨚;Ŋ7l']Bj!E/cOp^'ZE1 +3+)%'!GbN$QP0sz8%AI䜶3'wx jtq M!Z7lxXiqҮ/vQ=zN{ <-]8v`q?J씔}Sr:#+=ffP .U<9 ߨxYY<r+Y)kd" kJypO57AăL2`"9htiԤ@{Zx&y᳊-~9!&/H20!Y%1GQߞ³Hf퓃s4Bmq: +"$7®loxJ ;=8Tֽ1 Cw N.9Q6V\&@mgg >{cB1]l<Jk49gOrR({9hr/ þȜzxL]sZ4'TZb).皞Pp9+ajw vR"V.iI!:iU S0uloxkGf" b2ےM'f|dfa(FYcI$Ƕ.t$;.y`xg16ȓʹ %gj8GRDfN r{p R)S7IZD01.BQ&j(3ꚽ3u+@Ų -Y6҄u0y_bK¿b(.rdd>n(=U ϥȕ@#ƷEpC^,5#}F񎲚zϰ;PJo@`<0.?.3;U貯 t+MUY-X[ͯ'OV \IE7br^GvOCy=dINwJ;͊޶ \:J[dt,ZWϛx>0QhӅZK굷\+*ıT6I?!w+7XYXݬ^qZ5$VſNFqT'Lxa ۿ)O3ocn=M{Ļ7ovC[<8cuv^?z/M1 aE\Ѱ4HXj[J]jBa.Q.ޞmퟪtB 2wP @c5a6n ܈MFc\*{a0Ap(S˸Yk)vDTl4GEPֻZmoy<up䊅ԐqqĒF+-tmM6{GB CVMט<[w7F7^B%WhOw\$LKS*Fs%/I}͞Ƨ2vO{j?/-ml/,iR}* %\92\c]J*bz5OYrI r%PB'׿hoKT0yŏvDe'L5le4#bNE{[RSpFlR'y Ex>'-3gWVDd[6*E06 ,~`oc\w7ϩTd&j"TT`#lz~zx{Z}&U:ֺtG E ЙxO 2x @V/8ʄhu $lݬoX`2~B0 -4̌hҍC/t_Q:R"FFK6]94,w^$V!k)j亅k i b/xTW !~ y' Y89wMk`B'SFb$[_wQW{sBF^پ}NTA?aG!D?LYm8'`mu'*%hK{b]Fl3q|vS\FzzW16Am%^dgZYLĬtNvѱy\F eԲ;r]R/sc?TzՅx=6^̆>;bD ,{Y: Ky9R,}m)ƪ"nd^΅'d"(>r(:1BR6$l-IWyː>kNXmN1uu:[!9\]LȵpjShp|.YA^St4(GuPѴGl8?ٴ:&:3\X> :AbGh;ȟ8`V^v_r:,'qA9CTxvQP*L퉝-i7 ږ+S2PE r|m=or,<u./+_7HA^+ջNB@jLr mP WS[CL|5Zz(dQ Zv)o)ixi<~^gX\fQGs 0N|Q / uDF /Kn ѱd[0@A8L (d,/9. B/@^nH$Ҡ;CbIWU&pVVn-Aǒc.=d<4LZNhmoQueg`tϭszUdp` ehS"@ QjVdkΚSQǯ6ڲ'*ec[nP{ፉ zl[%뭷/kvG\M5fpbVDu?xV1D>gqy"%9zk6<`Ӊ_J5\ R5R!F|j7;79[=`YVy P Sd±zO)f -dh &}ݥiHMi A ň#g,`jEj,1Δ"#>Xy{Fj0VA}sە|%闙!}XlL&i3?.\(4!41|Q n!\4-~RGf|~.hSv'[j(! DOg1!e<0Wc#""<.jxbGԠ 8K+;va7N-C*Vce.0_qNC[p#rUN^T5eeCYԩnXkpov iP]kXcy /.tmway:=c=D}#Wala6?,z:iC w 6uoBU " V6,YI9VH֡<8gY% ǐ/UX_OLWoSM]Zp޳ꈊ͸xy,ؠyvT/Gp{_9Y5mIȵ(?IãO&*n8[AMv%]WXwl^{!qCK5v;*zE5m 9:zNAc9l4ʀd8? arz{F8/h9YRs`[B1jWi,xR8;ݥ=+-1#H5>^h9xqHT DI V(T AeMJ;z]z\*F#O;^Ӕv1S6:rAt& Xl}-†pe dQG, E_6>z]d:S,S_rB2(&l_6jRd.m<?3QuTXi{ 0FRꮼ|Żƻ~i]/{F (>n+5}猺ç[CI6,/ٟC`E8;c5a2O"q X^V"Ғ@y M nBn!-jXf˜-\ɐΙ9!\rjBR7& | ڒGCBB>QB4!UX)]UI*hx}Oi펐qnB~ܶSӔO,پ9Ig)"n>=j.kRҞ:g M]VA-X^IHQP  DJ-)}iIl_"!O#SM>ѸB+v]8_AB4g| @^fX5,<R$ [@uǡTԨyLLCh#83e )1-p:Ϧ9@"pKzƺs~Iz},C@CXq+^D'B%~cwI :ϥ,ifeUW4w;o&gȣ(6*2FUc5]ϴuix. ыZ%S[SX>"eEP~ΠRf*pO{zPOߕ;2!)eb #n.92Ai0,ݕ%rib\e4Fm$pXVjs:ttWj'\$0 ? DzH MZ Pa=M6{_ǔː 8^el m1`sGί@NCc9bW{SKA%^Lqc@kƛя;usa8k7^IHɞu\ ]$3z>j*ڴ]mҭ SEPtڛadTirg9vf 5'}KF_e!a—|F^mx~9l-Gb^mE"JYۑnס!V%vO,e~Q1tF~%K1IwZX,]vKSb&VP.M21ķ'@y2Id F4-e*:ה%D:ļ"Rѻ) `B1 Sʋ4mpp"V8̱M9F\Bu e [=x_% *j'AhmDK~Лw"%dF"jXsZ,Rp0h\n @1. Fޜ2wuM:/ߎwA>\0r&QXlmijxrmzNlgaI[;IokA/S_mzFxo3{i-ltqyɶwLA#(]'Z./ֈ k H\DZwyۛ'RC6`.Ҩے gA?r!Y^}Jsj2%PcsTP}܌/y3 4 @ )ÙH/Z ^jdZYFZWρ襟IO};í;mu^>:.<8Iͧ#$!U{r}ֶ_$wOn> >qNjTe^RwUyYx,&7(܋ Jvkt@(?P SF$ght `x$GP{?ʵѦ&S>F.@*I`Y/ɞ¶9+U?OK>n^P^*_ky)ml6Ҵ\YhG50)/+Lψ%-_P<uܒ%vWV(d\Ib)xwx$.h: ƲOl**64Wl_|(b&62|kE &XѰ?VA@(BnTRIAK[*wy('!%k2mո/D J#س&7Kw_u@'GO QJpxϙ",E9\&ԅ%Bs gB!a6a^^z.5؄ B߂C. @#$_CV?x?^=eP=մ: +L|b#_C 3 4$.0ߵbӮ0[" ʔ.0֓w«d*r+6x'CX6S>$+ \}:uNy4%>^9z+i|XJ%Np/