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-Analysis:threads=6elapsed=272.984cpu=1212.520gc=80.644factor=4.447zXZִF! #<]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kw| 4Ы.~BQA{]]΀㲧J[cSQ[މx;ֵMzZRIJ_(!ރxHUm< {|bJ'(f3:~Iv7uAkd 5<֬MFda0rh1JW}5PKfnMzgJ }$rGb SԉKe/YG6P["{#a0Oع0pAzvU_&ٛiyP0=%W1Uc f>2Mmuɼ#A#4J)z}TJ2`Ap?m&te_vTٚN؞jO΄o2IX<*N8ahoP3FafcQw#c2=y0,NqHݝaDh)L2qw"׾>c=n9{gaoeqUf;5\}Cv ,CT= md (uTNT >=nF T'PZ|*9%L@7x0/X%q9KV Q/m?Z akA)+cs,`D/1O ˹*'JzA𧽩KZF鐽zyrq4uEN>KdU槗6l堕2b _ f$D'>vAnMoM'19MX:txdT+d&On̎ BO~T2WdwJ;%:9ದ\_dX镟3暴W _s$uLSg!$#gJ蠠a GKI+U2P'oRwO-lEl:DT1tLup*.k$r1}rۛ:|`L),s8;"2Л  xxZ" -Kt(`&0?9B*9io'GC~k.I{d)pq.T{h xX µQZüU۠bVHNT,!?Onf'b(Tx`Nt&G\@t_7-"Jd5v'[H䭯N ޺ vЮl=`F@>OpI2͔.Sdq"޹j(vٓyC/qWU P(V!, )lX:1gOLڔG5;'(tЫ/68&.hioQi^ Й2Zg2_Ry;p l+<6bUvZ0TԇRa=4G3LEƙV=@!+>N,Ò8> :xkWc8WM"s8B U9Y=R*kR2q _?;[(|na!i=6M;yߥoc14wi!{[t ڔ8K,;~_Yto ߝ 66A;}3/C33PRNh25" 0{B@_!oc@dR0JIڗ?̀C׼^ra\P>zxF8aW &@DtGm7+a9t:(aaZ!9!27ݤжBd~}&mp.ݯ;m;Vc:깐2]Z1LFAiU#+Ga u)G~QşnVTR GqȲkVtU5\{V U ]%'Q7">跗nBMYͥ};˒VZKčP' LUtA&ʴxwqVJ/6rL,:(z^u^UO*8)cwG"_j!z1JYӆ[5d͠CBoXaJcwrv8P?iA7=98NmNFNu5~֤Tm|"F0]GBgxW?$r=J8XEaP曘uM`3ƠYvDXz&sZjqXb % HOL-Analysis^OCV$ NO]#Nf fpVZ,"5?E 0丫 딏~}({,B:rxT&ԽëT`;T+N'W9}tF}fD0rקqo! 61N@$9b(!*7u/> ^56аQ!p]Wy]ɝ];Pe00V gb7BcIzm>VP,P0׼Nd9p`M&[9_0ޤ? k^Z2hU/P!~ |r`XNj(>I)!%3h:X>7=P] wK[ڱ_8OmL-WcoB^"G~\U#2yvc4&u-sq$R^-sQ?8`v☯қw:69ʂa2F2 qx)c$w'M[kw:ero\W>TT ýhvNg#r#|<t~&.!U*)mu&3~ 1\~eDϕXI7M :m8}=jK[pbfwȑ:8J_olg6A ]<:g!x0nr?K|%E~bʼQ~F`N6Il)7+I-*j[{y]thSx=hb P/gTIfhZ+˒|py5ȈvY va+I<Y/~<;%]>JVV\c\uZy9qh0Sp3uUѹ)z2h'qAUQ8ȝ%W;hga2Ϳ@հA0uhу|;`U~gy K(+9$#OR ?3q5Vʠ8R<]Ux\mHJnUifL= =܄N.s>;P+M],zS&Ic"F.MP1Rt o`Ry)L͢QHO@o;j9<]`5烷TQo&+|Uxm*Dhsv"3 6<0x K=)j왞@BwJlt ɭƚs^gE׺D,#ͬT-SbV*(Zsak&m4*a+Nl뉯nly (\]?8<9?H m,GѦL\u4*U)pP*ҫZG7OBZJ|k[kZqŋ@.ADPtmUޏZq=_tZbfA*zܿ3sT6,u'o͹ɠ h-1iT3ECW|)¥:`&$FoH᳀PH! Q+29U i9mĨD]ABՇr9rL7YS:F.=sXDb76qm~QpO lV7|bky 1UAcLKN e l<L ~Q|g4 &` GEY2];)Rzm6^քPdQԓ id(oTT`OxbP,l| lt;kq [~! +O1f^Z-YbAg/Sc^\bMH->RIbrDn(&7iDABaC*!D,;H( 39ԅ\`0&Y}]?I1ECc%]!&]UI>d?cr (, snʄΛ4&~;Xu ,(L>׶`zJt-y߼!f)X}VK 7+a̱6fUvW؄" fRd#БU,7Sdh>x㟈76rtL>$W:!MZ&fIqflnCW'WՋ1EWj8RC&V\~[$sM,2nHtFag+9PT;:=C@tOŒ` =Y$Ǜfrt-.%1Oj>7G8$DF>˿R@fls0'?pB_PC3}`] Ȋ%l24M>bsP@_E~`)YzCi8pw0n5p\>~>Iӱ8#Κ  d ;5(T9B,ȣse?diQ;jnؚ/+T{\ldI+"TߟtRd[pÐcԡ1K$ȬvH»~\/r$ܩ2vrrχ'˱FrCo*ľ^[;ڱ30Űv0O% #XPGRruptBVURG N6Tڜĵs4Bm,pϙ@$f&~nn{$sGY(p3"3|]ZO+OB|cx~5NŠ/\c,q>[fEiDɚGo.OHՖ$f,"prR/-n2_}S2$"=e[akovp{U?̏`ד4>PsocAaY%CŘ|L= 5oFp%ԽmH]gOu>7 cHNS/RqChcÒ[[,Z;ǘe `@rGCXS%e)  ʸCyU4mr{`;hV07c"x)#KBJ[u M*,q$XBH4V7 }~`5ĭ8̫z-+)TsT?rzC/vB #x^&+CɝBI|WEXIY]GN:Y@xe<$PCnF -}Ma쨶 X0$]q1 S }0ԻmET.>K%\xCf+JYxF/ŸU0@֨m+x;8eNh n7mQU hMb<+4)9ԶW֗m1WaԟuGG2טt}Fe4n1=CG}i~b^bvf%FS]ʧGoǝѥaɔr-}Wd6wL5]^ ڪ_g['Z=Lm,D4t-{Ho[kЖK[&aGF|䤃etA1q3D, nf+k`'Ne^% G'*z@<ß6mfUQqB.BEpyQyIQO~-2t;tQbX$4lkBtCS,lD!9T =AzVo'P! \{u: 3$@8Õ1&pܭ SCIU.FE KvDs7.k[w\/x#uz6@& +{ن}C~m#gj<˟pGf\)o<w_m9z\b$<3=\" R!"lAʅ_׬겒:|)?n,D+ 4iXEZ"L(3$C:I]*:!ʸo]CfzK {Ѭ{|I(VxH@]G{e QcݨU1=" ׁ_>>GXN]MNLaN&x-V9N`-p^ЁcNDoZ UBB?BRCH_n=쳭T>z34V,U˽_]ZJ ,_H0*;<h3*Ir^dSHa՘mPjHK M5j {.gQ1z=CH†)\ZJQdczMtiͪb^n$T"կr>D`d撓.]Ori[{AwZ,;8&8QjiٯNؿǸɺMQx| ᅠ@kI޻r3[|jv9ɲ ;ØBOY4WV AR*/#p |}jRiE: am镦j 3—&  ;[K'-̔,`$ #H2^3!R|e ` K"̉`bMKbcC;n>{:1 !cԉ ꓩ&^]|TW"h7'$2= e\ V# 0GABѥ"h6I鶩Ό9r VQrQ5Y?n?$Dš)AL"o 4?JĖ e+p0NїKltPE `Ͽܔ2rVkYOi4pN$ĩB+W:MJM|9u^D.U"5u]ABnt%qns^r晩d#?ݝ.s0׶ N(LVU?5MAsJ_.uZ% M~:Jo!z"(UfMty{qCzx'ɤDB7+{|ׄqm2 0q 1n]*dB/ֹ* aiXлWm˙ZW> /v&f.x><#pns0]n-1)6?Gf:F7l6 O=A~=\nQDH9a7Ê V*I=J7"zIοA7Mn|Ogr >r2+o~qa%Q<$oF;%YmR 0>1˽zŒ+eSϹp7{eR!HXv [W8;i+楋 w^ ک=6,k BMmC B8Yl6KS|hju@G?ԢEҮF#;wNk&1b6,Ԃ o|kBDvI4+dWO ;x SB:B 鲕OjS8o6urcOxG ܚ2x)]Mkn"ijg7L)g|ocӒa2aؔAoϬ,SR#g:DRzgr'Yz h` Ȯov͐'3p@K! S=nLn|x=6̉y;Dg<&QpI ~mT`vQ`29 Te5MwiW%^o)fia⳸o#C;^D3Q* 43V2R˥P{fwwpm>zQWgwB4^*pmU,!|*n.xa]3֣Br"j'\PZ/" =cʱr?./\ `n>i&[_P; i j5b6O_Q-*0M|vTk)dRڐL+Zm#`-n$𰨴^xDe" ϷOK.)|ا`N0< ɒ4Y)u鬅 J;TqB Qv0v@©)#¹sݗ&%|}{* 3ƚ*kZVbױT dh1Y*ayj\R ML֣9ub!\+^̎ T*5(xԺbg4Xk-j'4PC\]<]. RHҩJ, (}Ҁ/ Fv .i5ty?w$o 'ӌm676y)xsZOzVx쾃Hp"}]6hn>":_-GMwno͐V82> mI2 8A4s0kwÿ:Z4B6_$LndfTzѸMRWP06>%Nk%ӂ: ;ʁ<_),ѡ?샹F/#%Fl-ʗShr~HEXbt5~Cuܻv:?p|u #_u06p侖ũƸ/\FZߠl xq&7drQmd+jfPAa&릡עm@JМ_݁5 +a| 4-ЇB Z金nKJ Neg3S\tM.`8WzE!Q< ;5Հ޳B,uۊ+ }_WV W̥B8uDH1a;?,Z0ѩh&vz7I|n^ދS@RTj t"+.d I(a.Zw19gUm1s+ #!9}sUy(@xnތ.H:(I,PZء{AgdXf9p'y+r[L"Q*NAIoXƮOݪ/ 9v^"n)c3 AGexEaS$C&~{Dy=x 5yP{b\ʼ{'u(ntB9j|Ѕu8aobμYyatZ HGs\űaԧOHd$p\g 5E(^фRLJ;3b7tn15=l0'\s:uڀ k&[! R~&l6an\J(:{J ݩ,#V1n O460s;;FJzh S >Ћ {ZɫJ/U.'YZ5i9z1_~>zF{܁c_rhiY^s=1x4 T  aj\ܬ.9YeAj⋚LKRƺ!]qS2PI\b#ztkw|E aR4t$Ot "x" #Z`DG_u&lpvT=oj ; Ƚxr}ߘ h JSai[ތ}mAů 4ĩ1|ɀ/M 1вޞx(BeF^.p$e8$Ʒ"JYb@h[U#_8YUw4Kh ?-gh莎:,XAwKg}EL~$218vVCU <"(B  %47Fs>y;j+!ߑIJQC~ ;̟en^ _8005?YlGkZ|l#9GD:Rt^2\F Tl>`6jCx Q1?34RGk\折@j?tS̈́Ve[!atsD}E٘S:uFJOcZ3lo _# 4Ρ=~W-1pՏuzf|;)'f`$׮r:<Qje?޼w$ 4^ UN \/^Y iEm(ݍktsY-Pi Mrl r-ԏE^SHˁ>%!ƔN9yޅuI-[u=EVR67W$u8Y13wH0,&GqTݪ>⍚)P! %TBS%cl+Z+t־Q-T1V18f}χrxdJnDgۇ~.ވ*-]B*Pp(dN~&;뱈l˷ޤڇsbKH$\/ojeJ9N LӂE驥Z][xoC'o<13MVjsjrc^[Cۏٴ ?]6y4#âLJY&v>Dl[=Cf>~2_nv^4PT(uAvyB-1۽Ԭ;n-8b͘MA=5si)LQv Ԍ `J́'%j>G+!iu{ m;.+)U "`ldCŎEG{Pܙu$[6`15DӠ@JV Ox0@8< j*::- 'S!AeZL#Te\sZCΣmn3V6=LͻZ # l6I w W0nq'<Yy-7mL5IB!``4A[Vմ~Pouqm*C] Z<1MлUs[dÓdq7 wҏ͓ QDjjl֓.A_<;(ř+Pxќu,%2l&Va2lA]jc,& Q.r`8)Aa"f" %삜{&!v_&wUIH{I%2JQw‹,@x 8= drh W'$zRH.nB4{סl'> $c`OʞQxݭoэ;<7fUWEO1i2]Cv*]-AsyVܢ mHndժ;4k{ΥŊ4S.@pēƵM8B3얛6.ņ,RI_boKgL Y40fՊ]4p3 t-=#8~L@/6-sjFP"JHa,ٵ)ZuW-JԬRW̳_!Dz1x{^t*N(x^ƄlTF'cF'dDzj qLxH' T^BgC!Զ2|6QPJrտѯ%fᛵpՏ,\r o[:*qO2`(ꅋ;3I-$ s[7}I!uTVee攐rU#cG IWFSJy>?7Ոٛc4\y6p"z gTNlcx [lIKXHNn\K z-[iꐇ:ܷgVq/x-vn$h잮*yUPf 8p,A!2w>_:C?T p9%y;V:L"&y9 reKvvd}݉o n d!62M]}q̷Z#MCPwerT;PkᰦG}E[FӤEKD)4o rڬz fgYZ7zXZִF! w]ŗXiɟ1˦r!cHkMeBd4ba''a+k'[V \vͶzsfCQNBuU6oWFWF\.R+$ǥ<[ngcAd +YDϽ%Y:쁽>7PR<ʁ|JEޣd"^遪`F#|\98ً;)[U, jtz_0e`͌D{ -—~1L";mbѥ2=ݓIUEU=q!!&m ` 㺻[ud|`9L6ً,9NoK|uM[5*jV 8X,~v5U(Uۛ9֏:QPްɡ{jZacҁ, )*Sbv,TG^:f4qOdŲM~Ss"5* gKG[܍>}djfvScIWh4 ;n'p;o0#6Of7Xn\U|.[ZW(6Su+[F׏Gi‘+㥪ހfpy#xI[=2C[i0\ƯvQt-pJ 1<3|n36aeݦ]5ꨓa|X PIYoO؂y:)B柹 %3Oysy89)j(Vs8f-Ik˟8J$~xvmJ9YJ;]$A`ˊ!zgw)I"?&fO{nEHhTT%BQܥ@`ȒűgYZ7zXZִF! T]ŗXi%9(R*Jc#PJ;H2UB?Xwd̠(~bJSzG隝)ptpF{8^B  djʯ 50C}-+i"'~ZC{{0f0RLFd=\=<xÁ&n|1@ J-S24\.ITQ?wLq5Nz0t@b5 ]'y@3l6gAژKZC(p Xο"x8Z|B˒& JVX_+ZsMͱc.]qGFAlZvqZ)ر ^^+cLhH1w8ƅBkG{jEFmf|D7-?]Fiy҅l}M xwe{i"֗O k/@[l^d{vrŵPrLfP@X'yS_E2 ")I.aMd0qy1M[9rû‹N9\49~Hkv]$h +s*Sv1p*RiUʌp0x6&Qu],wlmuLhB뢪Қ}F5rNtak!U!hߵ-P'_vf\𿃪WjiU„ _7R ^;d Pkhlqs,&ӉMm\L8ء1!vҕ:"-%J ոɶ̷?ahA^iBU+\H!~i\oAI4&C510@4P$)#S~>v #\I̷xƭtWaxGڀvpZ LTo^aBE|r;Ӓ uKC!c@$z /7unݯOk b>eq*GZϭ%<];AxdgRƯ-{xr_D._m*zM)G9}Qڲ8 ڍ= J ~ݪYw*҄U B,'pp'ӁatɴA7ȴ[-VOPN'q"~t+ # gOt(d(],oØ } biӄqNM˩#⼰mcg"@+Ax{ҞI ;h'bx&-/V4P樊cqB}TMU 1\̴ vi6O;GYF ܫ99$o!LXD]cG=gJ"Q$e_P{&@Y2G<"*B̖@݁3@ƁA1 vœ`}˝-zFʅ+e`NEm壡G|{*!=ȄuYz;7sl4qa **֗"PJD6lTL=Eo]?< 3/P$3~)ƿ$"zق 4=퀉;`x{1`XF5:‹G1GN_x ~eB J>KICOpl$hȷ$+t~]eHzʵ_mf{UGU43[[Y侢aYj/-O'HOi2 K rI|Mbc!E.n8s[hs{6N)KPn\ac]A؄ #%yJ/qzPҸ}c@^5k#l"_vx\16W%úƗY+Us4pS$r%}M>;-w mw(ؚ|G<JĦիm¬ [cuQ9hxk/ is2]/p9%j[YW-qcו9k9|n!)2 Lf^;M8 UZ #V++ؓ*PSZ2ҿ O: A`Nb'p>gl4J:Ïa@칊$3IҦ̓1Z3Ѥ}rQH4eZ%-s{^.l pɂj~_Sb>u&FH/S H7+rK6=i5nK>!NB{3BZ i!N5>ny&8W %j"=[0_\׀=oݙ ʌ9zq9q+׷7ۃn[ueue| p\<˼ѦdTuM97MI!f\x3u[`.$;]BDzzy: y FdyllGC(9t% {+6r[)ѯJS'>r R.ˍu e/E[ì,6 D٦|/T;ѦgNqL9>BM[Q `UfZ0QV6ƊRZqX'9?"fr-MEww+Y5Bs?,ˆA/ `HDj=(A`C//i1~R N M %&͢j畕:mA6_hxe :ep@}(ݼQVLsӁDljtԌJLH+o{Vg"_ nRY>Jt ݸOU ZBuHetP+Jr]3QUރ/\O/e}mfB҄}㜡R@έ_㞁fI $%/g]jVJ'}#k޾l#ƼIwK,xk_/0M Jo|qT0^U Ꟗ")xmΐP|EmQ m|A**c9`Լ].[#f Cdؗ"Ӻo(o[v ߤ֦f*; %g7[hD`߫\6qO)*:^te#S@Ŕ8ZM$ =ZE\͞mqGͷ!r^7a8 }yH%.ndӝBػ,blxRҿ)XgS|ġtpfU"o"k5*3FyWW(}3-jIonDKǐ'CEa\hpuk܈B'hM uJI÷saJ-+qf^2l WQBWz|Kvl&mo'SDPD(֛JdE2ZhK/3*΋V5v8!ۿ9If/>sXcNS;s̛|csײM?XA{*͆DV_4`:HC!cA\'T$VƆio ?9SfgJc&*FgKQZ\ W(ucXz%~v%-ND)ޮZ6`;@Ot&<0Qo SȆ; o(BR9!⟑RU;f+!!N3Rȁb`1,+zP5(lAq0Fs!9n>lFg_h7hZa>:-Cwp(s肳vc룶ի"0oCwv٤ ?ieJվ&) {v? r9)4ڶ,q.3vڄv8nƤ2"B:[&<)-L6x&1蜃TIvzn?(? Ǒ;@n>w^| [@^I.+70w1BvzYxsCH8j]d(tb.Y@եlN v0 3Y^h֏v 6'a9ͳTMSvjʨ:] Seӫ3drیB'[nu~G%YC,hd!(?>1TuO> ״Բ`Z2sdT3E9Љ?צmWLV]NЋ?y _+z s9XPMt,1}M9 z+CWvr;X)* >cB6NιB[E\--;$h&kz^G5T_1jr,oI~C CJ;ńV~B6_HI)-L~Zyǎ8)EBm VM7ڍ]p4|>d/ݶ"S#Y!jǝ|hzC$N;E;LE|k)8oApFۺ&y3Rv(Saf}D^kFw5H|G$0Y^ ~ӈ qPW~ Zp8 MXYZ>;n|+MѲ(=n)E`~ve-يٮ+;Y]D M)LT&le`^ʧqhh3Υ /=_͂XF!peXحp46wrƶ1vEUk3z&p}uSf;$%T9fYI: sm,/tg3Ȳ4cbte*e s$NH `FG0G9뻽haP*ƴU:HkK%2tA&TŽ/N_;Zަݹm5H#+BJcLBK2pv 6OIG#i "%i5R}jڜo[|Z!pEGGjXbq\g VUPWUVusM<\ o/Id#(5 @wر[Wn{iJrz{!̢x&U&cjW)bܶSLuS"7g>9RVPf̖Z1x6>pT,d0Yft>(%0feVNbM=ڈs_FyMe]W[; 6da.4,'@\*t4.N^.DFсTi*fhBg,\/hn~[Fglx܂G7K=-I̓/_V1ŗ{еE# 1G5G8z#Sb\(QOH''c!V_MJ`.5o0~j12C%`{P쓪eVI IBM(ۚ(+-?kުiZę7#oСꦏĬFR])w{ƷX@P?ҭp0M @͐szKA܇s|R|%I<>/.y_:XIdW(kdÀr~[5h5uRtNE,(L$鉑rͱH5.{pZ1=KhK/`IU>i hUsLr{ʋH'O|\(-39V[nLx;ڬu](n$I-wP #ǔfP{C(kyoJ$ΙsD.ɢ;xdHpnQoZ~s5eaZMķU,t,I k0մeK{r +I+Ur|K@#&Il(>iƠG:UvAd?C)Cѫz9 gW%(Xo /i9?4cp@9HVߔ4}Iה _'M:UXI:pcB,]) .$q&r 6^*wF2>7Z8i! 9q)"28e6he*xՓJ;iy1UTn6%n6Hthz\q(xbFz&T[KS%&=HJ::݆ 723kҴͳ61Ŏ˦Ğ^0>6(zP̏Rgl1Yc|t?+:m}}$7A&ƸeͥC-5>_ۗVAOswxiWL!Y3jc~Q)R2ՍTPgD>2^s.ڷdE Yә|2wR%al&ג#9;_bbM?B0i󊂝0 Lg*dpلKMw>"NS}O(_Q:XTokoܳ{,[='sj2Ǎ^ȥ?FMcFߣ̮R qK=d0ai0.myr܆bM 9M ݱKDږW$enIw N5 !hinBf@k&0]K@آ^NY3A9[~]Y$,?v$WiZW(OVr9]['Qˏ 0SgL\5JtPHUwLĠ|"秵SY:h;.t `D2c.mY<|`/qḑNLsMM I&DjBۼEtg-i(0K̎(1lڭuo;KwޔIc9!*< W{iɳSf@c5@ SDE)y҂0G)ы}D}(:=/S 4JPN*z2޿y(= qͶzc"4IP~<6݊! I6M&v9bSyYWjZ/ o~4Q51ouM-Kw/" جs w7XdJOxUDE\"P ^Y҇z5wK#/fʅmvA'2l|U/3:Uz]J^jț dc,Af4*yNz="Ļ~(nu,Û5g <@6CA O8<6rn1+^It>T6gOX2q⊓~[&?y)9 ?><QA>gdhToƙ`t,ݰh2ʤHJ%~SmOgZ^V._(WHFj 򬝪 />Z;\ JJn KYz c3SNķË"ҝcFemك,v61,L;3Gy7N2*ek|q_Ԍ% ) 8J%g8 Jڻ9rKx;Si&znelhY0 uY-&] 2WA+Lr'C/Tu\s#tB/oN ޣ| *giSܳ6Yj*aK FH%vL kX=/ Y;*&L?)ĴP<,.h~^5FQ[:Mj)ʹ-b%a뒯r\pܐ<gVmf Q tQc~c m,+㏏C"[vRM}wY란3_RJ8!crȠPU.AA[ JV|Ƨ;oy庭@Sq2 cLW8RE2)HZ [HyKmoI]OQhK#&^&vKW-މţ+7GU1)pEB2tغR&?z 30n o(׌oa&~>ƣ_*'7)JC`)|eqˎ4IݚnmW0n|Q︄סO֒LSI*i(6bdɰckCYyQ*]74l |3TP -ςJV0D> c;oivM 7DCYd/ 19R4 [q")$ϮxʢI1ks:/:E7y~4?M3" :8<4I)!M 0΄>lV!TwDԳh\a+W "NwڧYoYµgLcN]E!`ZT XD4Qδbi1sMY& 1p|I5үDT96#`̞ؗ\ =,߉;D R$ =߉]( f]J7qaMU~|ymӭ miRN$ kSXz\h+}vegDYnn3q"o/ ̙" CѶ}wvH"E/#Eӓ'P{!"\y|*-{hv![\I;Rj8oӑY7缴z}޲}jlCUӨZrwrrq$~i{+0Ahzp8X5'N)Ty 󘛚2wM\[י^? c{pW}'PDpWܕUBqSIqtAsKLַؖ1k1+jU2:X cH)ǖP:"el.cju2)S*r\FWR\T9_:,*Keb;[KgMS*>sZ?H:t#.r5cE5k3=ri`Jx j9ݝ\ɄCqJeЮIB]u*|Os%XV ~ y ލXs2^u7A?(B0#-nWmYₓG+/lpM{so`U5F.UgSzZ^>Tx/=0Ԗkaq wY ׉"T6PݪÙ q,ӣ塦@fJFv6ڹ=-`RV #x?"Z}oF /1e;BɅL4)HG3E> M|gXH쟕މֹ7!Q)E[0|$Ns<}+ ~gµ50bj^`K(i)+؎,%U;pb2{AT+%I)qZKf[.,}@qҁGZj%*.Nsq +2dG7}i NڀR:ͭ|{yRMC3|Ivh}#t`8>cn ֟=0֖[ 8gv'!C$0`yro!H$l$h3yGFM[7€2 Єa+$CUſ!`9"xJ/[83>}?#1GsP 0:?5i|Qe_'R* gcrcK`p`-z$ J[,75ZӘ/4tj< aa u{Y2b~\uW `JR`) X z}m,4{3"9P1XZ,5X|x`?XN{o@JEO~G2:/6JB< b)@*NZK`a4g RU`\inB`MF~飥&NWqB8s754S^N4px1)BA{lgI1v{Bk%/$3GЩeqI9I LךkdQbF~:#wTnt?IbCb RڱbVgDf+wa"vqF>P|4Fv]JF"GN4.m#^MFj>(e/Ck9rՇos@_6]zBzGɞwY|G^Idv(3-MXm-f%}S r#4!TTr\af:Ҫ&7Am{Vp+`$tƧ(\?b`:ٴ,Ү]/>pKF }6yU[W0mM<nռjh%K$eRƀވpCw#ABQr$Rx(TTÛJ- Ƌr^Nt/@ Lv8G|Bq/}B?cffL&oCzN;4拓#L誦9njs;dGq{10C3xL3xwP%C_K,b; -\½߂ of:ʍb|ٓ?--'?钃7kds7F{NaMUo Bш3K8,LrK@M>Ϻx]KZ7V7 x#{#$yFNލ^_"{†ׁqZ4v4n{x9-d3="W%.|z|)s}1Qݗ.YծKv{f%FVS/bQ&8ԕ5|Bigf-GKwV]<;%Z''sCYQpSeoطE'uY7KaNI$gd22f|H$ |0 Yu83ENW Ʋe6vjדt + (br*#{LjKFkBOBD+U7JH}9[/yaFa*_˺d,#N$jQ"/=_}u5:L{#dQǽ/EzDY tLEKC~B"K3coK@/a,b>L"@!bySFg>;yx`tIVܲ[R-9}A7uU$v<hiT#v@~әÂ˯$6*Jg"jU:*v6,}IUDYZ"MM4O?l秎I+1?1pwg@ɏ~3+\]t9I| KH:d룵O-%[>^jvh6rѾ1s* {k!Ok$|5ؤ:JZ]P whB2'[soL\V{y]*f?2s$IT5]IJ:\wh7 :-`%lRQY_hFKIԏk7&'y QU! }x!,)qdafy,+vM5d?p \f=]再@*?{dYrcy茇29.g0(Pc:=h|]mORWbI }ZZk4DLjt Z_`MMn %MYaOQڝO&Џ(o>lDwX0' oҋj'{n!~[(S͔u@nHa)E)RYU!WvIAxKV?Cn(eZrZ2QOՌ):yTbRxv̷?'EGg*DM@#! BG*WmHE07&? lk±@9MЇJF1dhQ@2N\X(+⣨CBw XJR(maⳎ̇}VS0Eй ӥ K0:L>- i3 ɜe6}١ԣTW]ᨃ+9V # _/`m/ Y((@ /7- \%]qʄC,`uQ+(J$ Wȳx z[*>TsJ p9t5$q?RPhp.7iWFLm֬RAM2tznִrF,=bbh!v] 4_&4nvlcwF6 f/ A#ƒH OeD0e5=q8 \>`b?,đ5Tg;3@=Oq{D#JrK'3T^\})'/3'''ZFkV% iUIxֆK%WѣG()pBsE]0|RIIi-e|wFME / TAcix4.m}V@E۬5D_Hq-pkE:%P;&I$?ұi &\Z##7dXيJc:=W2:gذ{U!1s;N^cl, OY;n>@gGfᠢ' ;ѓKdvc'(0=Υ e)f{JLGmq~.?æzʿ :޿,ë"|qq6>y|.&>ǠBR8B#Tn 8bUX͜H =2k5 %&x̂}`{uaoN)_S3vlj}J=,6x>ߔEgKK㓂 Jo# 4!v<{_ù NhQ2' sQ悡>#;tYkE֛WE V^PY _f(NVurI tOhҧQjKX0S6~{tȋ,j8k|I!#ꀐ{EO*H@!Ђ,8ot}U]VB;diP[3f%g7N6JypC[+a,-7/5 w&ѢahUHA|ZH"sPZ?(QRPrk9>M2<3F_j']sv{ЌB27i|2erAm2 3tI i4X@q#!4ΪOԪ  1(JlolrƟeu!Z5%Rwd$߿ǹLݵ;~ m +,8Ћ26߶|k=uY'A#݌|^*b}S7^F}ƒ]}~NAv6aCE;״d"J8C!lFxw'U 4V"wgA? L}*앎ׅ߮]TīvƂiűCӨ% [,!8;[r_0H 7Od܋ /N%1d˟%߂Bׁ-UcwD>Qoxnăg9z3=+vWLÉ] a3\GUt ,<"%PlښM|#5 БUjuMxd7=t=%z*àz^PjV ~zl3r&i rkh)"]p*+(YȺ)AP/g_Q\Ux&PnA"Dr)nkp"ŀ]*f?.*N3"P<Ľ`_|p,_|w ޾CsvK܎ 1`ؾmu1ۡUO R'(;7{Jc[҄sZlۼ{;JEZ/)rwW>J;R=z"f\?6@X]s1@vȈ(AD֧/<0[ꝝ8d' Wvbu%,thuI;KJ8CEdAiIHw®Ths:3=kYź^If\*xIpI}ݜ#;¡sV0$5`ӥwedoLS=uop`lxn"o@rAv4Ć=NGaeu~mI0F\1l7@CV"'/d 7Fw]1 )"PKHGnNI4 p(XY xzZt"X**Nbؠ'ukmnɷJP@k99$Sa mRĔҀT`KXǧˇA^CG56ʹ#̌Ṃ[ VOFbgU_Ɉ>tʇt1Թ a9*&~gLz4v\;R?,r;2aJBҨ4#}:RBw3LJbݹXx#0O$o_7g1Qw>fv,:.T޺Bim?ڹs=덴"i@AQ :>]l>f@fmOiOe@U5BMyr*ron7ȏ˞19ރrԪ?Qщ6gcVZuj[5U))b[=qiBzCHTo0uڒ\$Ud !O>IpV08JoPd̉O&;~/K~.gܙ鼵a-˂EO=Y(+H̙cp2gvF9,DrqDE,آtowU (7'G% 1>3y ,!ɹoG_ ZO%\"UmڛIH} Nz1am _z6z FcI5n4 _B4]zٝ4~JGu>kI+.5M Q; v墣Y<9+_~WDžyAX_^06l]&M< d%GN^4˦RJD { J iE+EyzxbV e`.Tfw /{TiNK(u6C] `Deu+NWnH0$Ӡxj4fJ7C(P-V"5L qsZvavSYj8`dGZn;!!8*4koR/ZN˩- |-O)Y"Jaϸq{!ϵ`L_=X(e+SO&@|j"eRī-Q:_VB7\DlH}o() ͼ|UH8#^-0CiY r! Ʉ34ҕNy]]A@޼FG|SkANJ/ǖB|@f{wӱ|ǃW~JP>7&CpNxsSlǰrɈuﻻ+K :D GHih)ƣ=.'e-+yBFrT itAh57LݙGeXL: t$p|AWB#l ǩ=j5tsnY'p~KJnanMhx_{iY-Rۄᒢ(Ss>k&@Z7CZQoڋ@0˝>f>e|w|!A,3tYflGW8b87ydLc2ϩmv: %PNj!*b)!(J&D[ f8"F%7sgAĢǀc{ɋ2-O lzg2? ƅR=##dR.]b=l1 ' iDŽwl@~K F LNaM]  ѱړiCq0Gfч㱴CYnn f Iw|@N@r{Yص\Έ 5 \2M0dOX칂k ʞ"[tWRNFRȓ\Fs:'<(CMOEUزZtul$FeEi%1r@Zbri5;L?`6z,: sα !#1 LؽLOlUy;7s{)1@5VN\vz_b!jx"q^ A $E"!LrFHT:y%== d,mQ>