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 u3D$d ]/ HOL-Data_Structures:threads=2elapsed=645.738cpu=957.560gc=38.548factor=1.487zXZִF! Y]ŗXf1-q恈%kV^M[-U xNo[q;O^.%#6W6{_;ۿF`)iAtMYXN~Ƒ0ZPmUżGog_A!5j^H L=c$}7aѫKyKGf@XuBZkLG:v7^A 3 s)!p:Dfra^:t k:_$ /ػ֢qsߴ<{u ج9}FWW2%UWyZLf_` Tgn@AbVUcԤÁ@)AK8*up7@0cK -k% .iv"&CP0Jd۰i3ا@V-'R NMƤ+DN#l?qUpgT6Υ8z%bjק 쩶By,9 XS,c&+ UޓꎨLiݬyhEY !{R+ĥ}I\qI!*aec6in1_ Db5^;,SW0 PJ(0C4QRGf+]6A),W ֏11;B+ϳfZAu[݉W<<+[+kh.96j.?K"Kk͹5"2"B(ygth&74!{P{ iqZ^`Ľ!0* yi%fk$kl-9)J^!=u$%$' |o*Tf<4=Tt"tC{E>3E; 'ObR>y2s72{6)l9|fX(W} /*k!{ ˌ{p0I]A<"#~F).N5`_zdһ0V.}"Bެ]rOUzr*I)3r%!S(PB0JoMP'Dqblih%H"Ly /L[0 x+IʋXMgxӧÐ?ocVvjGoԹj~,ܚ*7d})X9_G l 7Uz)hcÃW6DS|nJZeC4ÖlT)4hR[*V۴Mv?X!i>4rFr7wf}ON͔_Ԕ%Cۉ3w 'ff,(!Dz}V8 i,{h!%a*ȇ|vZO鐰bafjW`_T??jY٢qs (6D 5pft{*/+jmYK.@z[Ć(KJ- 3 HOL-Data_Structures`vuh9ݿ-CvQxU0@JRcZtƵLJ @#Cp.!c r<)3< 8l2m/\}T Эv-58'ݷǸ"dł07IH7_h³& }E@C.^`gIxFeL$)؝p Z6p C# **!7#DmK*(v9kWSpP O7s1mO$㢟r{׿C|L#hWDLX< w$ژƠ!Pd^  ,W HIV5 飑쇴**g=nrF [DoO:tL?9i!ȴZaUA9†=v!NH)6;+BPn5BU+m١\  1[UA*H((tNdN0ag04PNfPrNV,abW4. k DD?Lq]!!|Vaul8_d} 5y]!͟Ч-jZ h"19u2@"Pƫ8O"m0F%> w Sԗk GΑP>mQ7'Z.yB3Tsi4l*b*o$e( jijs/[jrFy  z# 7<&o_:<)^(vVH?S7Y N.ȟ:Χ,+QeyubcVnqDZաv#_nAtSm5,4"?܅X2佒]ev~ԙY1$4En_%BA3CD&^ GX ?0ϊFJ@pk_|sJ,6 n>E*fȈ=DK=^kρ|Q:Q=ӀAUC5AG9꧐>PK+t!oedO.Lϯ $cս2(^΅iZ_==V%5NLp5ydJ0uJ\ғ54a2k mʟ|K@j:K85e<#-+n$KSRV XRhêt3m'T޲kl h\i5%dDž7:"әF>$Y5w1_U9\n<GWՄAz~ޖ;SZlÄNuvvtD#Z6%u(]&Busfk D() 88. {~g0vRc`^ -4[@+&i1 jjŖqBЙP:0gYZ7zXZִF! Z]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻0oԆgzN"iS5 Gg>,:\hv]hiژ@i9 9#E_X Dϰ6lDű݄Snx1i V6g:zI{Q]+MpiPg[ʸÈ>(Tk-U)Gk1?f#a  [oލy=czy0O [WX{5>o8m*O:`Bu6һ;"\gYZ7zXZִF! f,]ŗXi%9*Wp3d_;..\JŤ oukCѢbDGU`\ v(6 N'o:9g1%}@" +ǟV8Ң-zhd&Z0w AYn#*|7}.MK/2&rJh=~7QDI[M3g%K0Iй_fC9|k`":7]ϡaK2I6}?Fێi/%TitG4梗TZXL]bYQ4|-]VO45Ixk_aC[̪F9<,XVTGH}O֠uqٽTDy(%o˻/0zvću5f]um~lL;>ͺ2V#]3 Y^$& %1 8>.\ <ﴕip533U~ʌr(@eUF'],R#(HB/=È4BCv cӧ 4kehߌ %{!2P"Ar@2fQ>Z@Ϻ%˵1cưs#N6E:xgp@ 89*RfC1-1_p񶉚0BUZT` 6Y$ VEyo:?[2L`<$L,`²Vj14K4>`y~WhO(l R Z!Ϳ8Vj @  PRnVϚ]@18&=6әcxmo5C (bGW]T2gE\}VK'4c:G>V5ba\يд\CH̀n,7e8K }[E pWJڥo9~n_VAo[Enas&ݦo]DdrbHn+h;Hn !WC eUjf m;û 5/6MAsBl!)"?ܼn!OZ|1~~ JAjdVc&>µa3xDڐ^ wA摯p'w̏h'phK :GjNo hS`<zVCFwpl/3t=ꯡaɍX[0$Chǵ~UЅj71ySn@]{hlD9_}< 2(|vp`;V9x0Wlu'OrFG dC yGȀDsIG%O&r>3=._K/%@°uP\iq\~6!z<_gNl"xTU 82߉` js5mD)Pj>xfs!$ l=%P:醎%_b0r20sX:z:Ik9c7: ZNP^,E>؈+PlJa)oPaMFA"Ckh^V!}c+ 0VkT$ϐG")++}ILb!ظН7mU%`b 30V }1^'d(۬<٣>X :YGлq\^ب)zX%4!].~0u@`验tM[mŀ0ū73_'FzXL_.<9'׎ 5}ŮdSClF!Vr&CӣL^3W^,42դZ]tA$n6klOeNJ`+7? ,E"w.ZX<{! ZcfI+l`CB5tL-šx}4޾u(E]e*F -P s Թ}Y̿<4}7}}*i14ytZ+.c]:JcO p-; :mPKH>ibb=8$;ٗ7(g^Ht3LU~k YHWn7 ow[~1$"fe鈄q-1kʕWZ¨aaQau'9t1 4hcRJK.Vh(W~d딬>s̲h}oV^4A\Ι?d?3JM!5$-Esp 8a.#7Ny^spGp5D3my[hj>n5[8KwG6Z0I ]2.\ 7~1 BHYS]ˠM댕mbҗm!< >q_qw}!β댊}_ Dَ1xUI@eGO"_l _GBDormҚ?ޥќ"kA$ =O 7: eӼm`Fc)匶RәZ*P8jrgUg@b;A\j?8xfiS7H'䈮㲨DG{#bxMs HV^Vԫa? U>7s@ҵȳMi~?< \ԀTrt&M%a.,ƶs/7d ʒ a,-}(֚+N1EBLfm 0n5@iE\ [ݧ!`}d;x|}%ߔb}JJDq`G>ؘ-{[t1G ȎyytA܌:1h?6B\ P<7y\YjmuGK0],Gϱy`Lu D{@1]zqI|mRcs*#zOz*'Sٍn`E2X!Nԯsg;|^1f~uBsb3]~qL+4>Xȓ◍iC ޏӰ*"=?ket&d+| #;D3c+ȼ~/fh'DNXnS4F՞;Bu(elq^+?0t]U 굓$yҚ8Xk Mv;&EZԑz=5fh[~rQrYF|;.ZMD׆mS{_N!^oFgrU4%p*A[lbNY?CHWB$w&"h{&[|B`DzHɩkr.e3G)s>s.C!ޢVQT!>)+> F{iߪ tf;[ً8⣎n-Qwf%,ĕHhמl$~ԩd3*^,K+ZBG&콤iL8C>!uw=եJugtq@jOzP" wmĴdtT aybt1W{P>dqivѿPR<$T6Wf%eu#;3+4y$كXb^8G b0Ą-i1]WsR "B(=E+ ^ N/]1"`^IL/SbE̞M\ _!l[i8ueHox̠*Yy(|fՖb&^o&Ĭ؜](ļ  8o\lo0&t-eӄݪWQAp.`'~j݂2A$hv훏C 19%PcacN'P) .!HX~\&5WdN֑l[o]eu$HB*OOlZYC}B* @?$t2 iBcQYB,H(O2CL#4kTЕDFqqa?ϫ,FEӕ G~ K*ś9H']hK.P J5~fr\K}iKA#G{;>kN랔cD ?_Nzt\1 ;'#oa} X[S`0,TPUR&bz7O}~k:`:aq H z bOlKVs2yCqcJSpaH8rwN-rL˖AԼ+_IMH ǡOINAȾWԐؙ Jl{X0lXz1qb@ZN\Z(vV 6'eW.)aFP5_ }J"Krq9?BLegd01Jj28(%(ܝ1Z/o;p\3bbΦ D]ҦqB2CAh+N}ƫ[c+^ȧ11O4.ŭV;t 7O~<:wSifťR VH, ٮYt5Ļ2z=9+jQƓ<o&a ab4B.9z'B6ΐ-ْHoJ_vbg҇ۡk(^(%ҏgUP G cġZ鄊"qI"U.>ķ!+U^wiO,M7Hsd+aHk*ge%o x1J%'N]64{ F>CoO/ P#>+^{^KA E)y8oy7Dbr8͵֙|Ko#A6 gDz:aTSn zl,0X JeWvDw(H$3SeC| Hn:s04ޏ:ucH(ņQvl.WgjƲA }^&3f=:xܶ?T]CW%|Xt`jhӠ~wi,P.U=HKL_vZ ꐤp#XV\Rܸ_^XIϵbZ#ePd!$)ѝ[bkvG(2ӭ7+g{~c_/XQz Ä~nx"!ςpX8`wirD|v@AQrȚ"L n2vB_*HZGNFqWk<:)d+t Jy2'rXR*<cyQ EPRd ʽ|јTsOs:^2Ȋ^[ɴuKUCV9-znĹC|kת!fgMo \Q3+ 0ь -HH UnD]Eg{3.B/{޵ij~p$!ܹ4ω 0oGo, P}R clFcu]W'%T 1d`y[̱.$kLZ٥~O]Ex:5{a'Uzd{TI{}B8ӼZb(G4y@3#*k6!Pc̍V~ c}ʈdܚ6?o:P(ZϖOA5B]a߰v\|ScbIlw~۪ 5?|KPx˂Վ [. `9DZ3jh .d݃hNi./kSZ9K?dY!V.4[(%UNdf!o@JN40vN6~v =Ixpa;aR~s_'VV Fp k*1evyN 5m0#1ҹ!GVtnEFB5?\FA-DW4&d˕V4eM@oO͛yDrbGZc jQG]<F=r+Wqz%cbMj#wr)X-?n41Z0oJg+*;\T!ao !|=I+5N`CՀmUNA٤b!ٜ"7s܏9R/~KfbGI7Dyd@offہ!+آ3+u)B/r;+떌Y}5 @R (xn4Rr'OM2ϕQ(OIm|25p vK @=Gt7d#[Ԏf]v#qxժ\y|) |+dA6㹦A e|+jʬE6lC]>v` L"t#h&!d(?dpC[M)rÕS/!zZC(}ZT !7JO'R]6 )lW0 DJ^2`Ci.=<`e/<|_c뼁6$ N#j;o{} ^PշwGA\<Ľ)êup݄mA$YcFך :w7ACj׃IoA6Yl8m'A>@*/?;FNZɚ(i,i \]j윚zιR8"cf0 qlRzDdyUZm%2?a3TN0,Y@]+̈́RF9Bh;Dpx{IpUS1ha߯\ }`W\CJ,eXKzZ_0un ^i^uȾ(83wʶ}] ğD2@:Z?IՌ^߸< (.ϠϘTQ4IѶA VX?䝧lroqkk?!͈ߌȭsh]`YUngHMXU߀#i)6@`Ss2fk^`d Ox%$ha9pOaGV. ,Խ>0:{Ju._)gޒift<׉2.=W4u -:E8#_!!VTtY[5vz(]$a򈺎c\Rn21Rz0y\%*x;?*!x%[g*Fm.KϑS}fZ)jCQtAբ6=TL8?*۔t3B DCIs ~}.?˧yɽ@H*R cXCr<+&8>R6K7eR<;&Vi<56iŞɭҗˆUw5,2+Rr$~ f:SUq߽sb (TA39RlqID{ ߮yJw yوQ(~Rn~ۃJ&ƞfuJmxqMx !:벸;[ 7?LY~p$"u%ܓC'3gkdX6yh9.*XsE!@RmWLGkGCvvd@!|y]acܫEYl C/=ɐ59FjBx%.6M6VdkF}sN=51 aט D6,¦fDsex) Di^!M`4P;TbֽM#dI+K9ᠦV<*f3#@B ĂL}pDjLP@h͋f]B){ _x I:,<ېg8Iޛ8^WjY[4\2©a913Ev$ wc Rٟtc*xGa}²g!b `}m":-T禎_-Nf`R"gU0dXH>PِjK`)Wx3D>)3i^}B,~'LV`IиyU ?10m̬,:QC." jG-](]Ы)k=/^ą'ob;P5p'vv"EUM%C%,`n)`@2Wд}*¹>?mӺ|<}5Cp6 puSfk ذ*c>7$ŚB́ISsʽљo*gs@CbvP;3:=0[b_D9}J&_nbK[=@TNힵ${e(ӵ v`HWHC,T2_;rpTZmHMhE6\LdhzX+h Pop 9 |"?lj#"mTYx#[-LGEO?VV=l$D6o1p؅f+fSܡq3s[燏Hn|K64 /3K89%f;1|@*Vc+èݢ2L5Im_A*е "h£J2 : Qy!q,ap[bף3}1VJ8&ޓDa~O8E82EҢoBȗ) XדIu  \yw!:1[3 @Py]/:񢠓3(Q+dޭl^lJ8i&F(_9"Mй=,Zt'Lwn l= .Q;v;ݣ+a`3\<jo ƔN`x?{ 7v32JpR n89*LpOꃬT* E6퓁-9FG޼YU?/$Ѷe,]褂$wan7a^яf,ԩp5V6 oPyޞ;)Q8{9O|,\L{ MoLFf"])$j2K]7>ɫ_Mީsߖz \R~l 6TwM m06 Np |rya{."G&pXt{lkGMzidǃS,4_0(2(: [9h4w +eud~;X= zs-y*&p"wr;$dUD [!S[pM#=ys&)&8n a[ͤ E_м XE,"_hNGx%rl)bSUY.bqxa~H;"0טZ$Qy/ϯ:%RfTug {JNnE+Ѿܸu<9nl?_vkpN/k ?W9:Y:x貦08{٨x1x."~u$~c490N=erWK\Ȟ(Cy; oꯚGx5D" =ш?JWG7wxӑcX@_g ΦHGxĨ:s>B2wHQZ28њ'5TMM Jk,tUPtXR%@tSu]ƎF00B~FaLPa2j^+wVh#~Uur_(ySj&F f%&(]lP2}Q.)i.?orm{GB5'(#z=Fju ܴ1BΈ$eg'5{WĻ_3|sbC>"CM/Ehј7L+6bOA<'곡NɎ'cy{˵׹;)Cz˱[ly4`}ahp*NB2됞;-X~_4pZ(h>}VrN$IM; D.YmLWk+xg +C2v 7MN{T' /@.GL 'N gPj/9*bܐ.D+֭>% {cT)§*:!?;ލN1m5[MK 7%SD5$P Rx6Jj- Jٮǭn-fot`-rl߹N,jO>"J ?`Ο){> ۀsV-QO-5 7: .-Ms`Nddlw5Ĩĉ;B 5&*>;A;ljc'MqÃ]j;ZCC`cxG1|퐚D^ 4EK;2Afkɔ?l Uh#ǬW2S~-<5gs|dFf(m3V#A#.r)SA揀*^򚹖faaz)OJ+LEeQ&/o8XՍ^ʴF n!YIM3n# LUuxfĀ6fc<[Ce_䝼t |zIyI3 ?#ԠM(qJyؠedA}OZstVQB%\ë̎(#GMLiVP,@1.Ķdu3|%Z&Bo^)2u:hsC,{Y{; +{wjg?e/bQ{\pޤftyZ3R<fZMY_㞛Ū5MiW+k&V?z@T42/`l6q~$)=f9w9A%f~?~|Q*kR=z,_^DJ!LOuG7䮰c瘕%J.n&La]0EJpV@J? wYU6SYap{GN?-Uu!Wu^1J ;Pձ0p94i7^Ć%Vxt՝)Ԏ٧Mx{RUݾ-vt/Է,ZUB.0r r^4@4\9O#AL$DjP3 IT`\:; "):"e<"G 2n,Y< TyzĊ KB Ǚl9nӞ BOT `!/$OfCsX39%py@^HfAm߰ѳ9jn솪3 %ibXHUl?OP-}) 3̅6 ENVcS3!Te ؤZAl\3Ta(#m{٩'|V!@x4bJ@ C.; 79z`l :D0dsZS8+QVwcV` {\mͧކJNu1&jBD<U<'N0g،t k56v^q4yHB?vŴ~WE93Ⱦ*[,[#!PEx@,h)ԍӖK 3\$' C?& MWvB {b3}E[yoy-?*CBϡQ*k~ǙePn7ml-[XUoM"v`9\D`&<m U5eA.ihلRi㙻ZDuijˍ/ph]ʴ(;BӛA 5dSB!:8n.̵Ikw(8vXʇkrچ;7Po XR*)sJ DpQ+aKt2#55[v0Xru& 2k΋N݀XaXP[p)/IT`vww֝2-hj)"= u_wyTt,~WO]ggma~W3|>,Qd/lO.?Os :f ѧݛdՉO7+wtKMgbY 4IwW 9e@ ;PAU'բZ+aaeԳZK=_Sp[]RSJQ*-u-qtA0BZ7Ig6mnl"hy1KΟ {oɯZsn3$v+S&M,[6W"AL`v7wȳ屇 B]BVDQyΕD5CKbJ1H&k`"'*{*@ג_D1nñ8GI"N\f\C $ìx//!5E[5!+@\ۣ!ː\} ɰ|BGO"2R'J9Utog)w~J-C Vвڕ!د {ut}m)f w Mh ;9K`Zq;:! ^11V=Be \r݅@/f.4z0P'Utp"`*cYޡ p<AAOX^,2A3bj։h6ﲂB+ v.E3Yd ƭ4”u"\x9iRi NVPJ;[Tg/G<ɖro·CY&.볱O~x!NjR&4/PUA]xt ~F*S)]q{poϾ|unr`x1i(KBT +7/R N1oɥm4#p7FEGYoZVCDaOr1_IgϿ`<0קdfpYdl/촨F(Z}յ$?Oч!PZl"9xQAd/ xrVȗ K1 !+hM4+9pa3E*خfg]9TטN='|!p2(+tD˭k Uiو'zylb>M~%aJ?+5)9OmQnQ/A ih%pKA@is8ࡦ軛OΘQ ZJwƐ7j8w,BO9Zp <` 6U o@|/2G7^ ruFxh޶ZfkG #FA?׽X/dE\S<p6ot M-5! *Kf0spjs rV\S?H^tz"q%&z))WI-crIueQ9" s#҉ຼ ̨ت[#YKGPTuohB&Ydc gQ0%A[RDwM|SZnR\1bCٙ|< Ma6^7 \Գ 0-CAkٸA?܊SI]A ƽtY$oFܦRI;%G^ƶK.n<<ѯ')e$t+C2d_qlXA:.r g}g|}/,+猂8B9BҘ;,~*xW`Ăks3TN dPHG?"q҅dh[1q4>.XOڸThkU".,z>+CoxMLm\AYɥOnkĬĂz^@kNvHY'}w& XQ|&٦+^i.M "&ufB@_UV>P$=Pp!+"ěgH%Rр- mzmh{0i^2x2'䂶kN5q?כԷ?ҽFv.dN#|Knڬ O 5tI.^y$E;uWPOz*jcy|a@mO۱l;v9@.'['[Ԁ}9?f># óm[s{Vˍj?%V+Ԇw{h#;\L9PsSes$ِee3YM9HH:iGAa 󾡀Ѣך,|*[':S )h[So!Cf9;\.O{ PB҈' D Dyqw6֌q!Wݤzb—vNiht6Tk0"IWf!eW{ %AH[ ]ZwM>x* O~ th$UYS}:'-4E H^fYCcE7_)K04ԵD -Q1F/] SpjSUP[}צt/Gr L eĤ":G]6&1|̒!fWVN|%O !Ҥ  0e.sP4:3j$)->}XZh,97Vf0 ˁBU3e ׃A< 0n#vdެ~h;?yu\۝kn̷ V¡)3 "tt[GO|"Ӕ F“wZ ŬJ(\lQunmžU~VC>I~GYr-feel L@rnW=1\A TFOgN;$|(rVz> xLC^5 *@-64ڇcs Rb!T nݒ{Y^f2iX+`C 2V|Pp&Ŭj(-$펎ZQn#G6 n`kpŏgx̥ˎqvws}lYuek)=p p",_)QߖG_\K-j{[p/ Q?k9Jlh`"bc+Țk`3Z.`[pI ZY>ay x^@[G0&\g꧎cUb]Lj E_mmͩ5;0#1nA3[hHPݱ%H 47-&RVġ3GϿz2s$q/&:L U+1]𐘦m.͕tS<Ӄ\8n)RlZ6G4JL TP 7#x>Cgo[cEܰ}ARعK& Y_8/{AB̄ O001|m!/zW'{/pEr<S'Bx!.s իcCR*:|ۯdZg2y_f$;YDϤ;ʟgZHkfL=~%83Vȼe6 L܌ů{ NmF={#3y|Ň BG8FGIMɂTqL㈹AJbڌ2g.ae 05i|ah-bN #ːSԘ<4jS/@Ni[Oog&t=)7A+VFP,K8_BEǹ;FF7D!d/h㊳B1!,ٰ }c)i'zJ0)u6HsHFZ@àF!3tA6VoOP{ky^\̝c AܢwYs7J.8sY<]"s%"HEFPsN)fLj϶E%B}?|FP8i[ {XAuB2u9oA '3 qoMaqK/@$ A &_TX\v!nRb \\ZJ4av@;M仜, Ku chShC0!zRF/644dKc#Z/Zp*SǕ#8ϾnP k%eU5K*EGCe=[1{ p|COցҲ v$HxCмRrI_2n OZ^Qz"1 XF5jnzaFt`N,DQ^"RW;F ; 3֕hġ`(Syq3a6j'@?/8Rͧ'$ʙT=qqT.Ndoךm n.~él..:"5S>QMus-?=pq330`Z-6sTQM6qFq'-nBm.55(덌'z0#2kp߼(rW| n*Bꅴ{LoPouh]v'^\~d)&ɨN@T2R5!~ĀYI&&JN%zm,/Ud/~ kx`ùkX1Z-紝&f==TNpǂA$d~x?n[T$m_/:-$ lyэ2Qdwmݖ-0忖Ceb6&XJA~&5AyO$PbN Ljk+*vEe${,PUeI^bLo27yխ;Y( $Je#+>) vʡT`ARQw\Goڕin 9\"q(oa$8cU`8yxU!gɟ`)d3q*\.O[wHV>06մRdOjL/{wJ؈n)2-o,|2lft_`ZQDqe),!$h׿h^yŋA 'k3z1z -Na>?_ptvK-v)֋T~EuE>csb&N+;}b5R[AP*Ezu%;T b*yTom'49(4sƍMX€KL; yum XU2Y-Ά7rݩ̢gj3D*n,uirPªo2y`[/_96 ^MPJ|6,ٝ1$JLaO` kE і61WԄW9+1Qn B#b"[2g=ÚyWTp,@w %=aaՍU9g&13S70VdkϷ?Z'=LY{q]2at61"v\m1WgNxʞE7kz*z۠,9㎟%jeS8ՀIqo];ctSC$P(1UtUI?:pT<݂H$?\&pڝI`?NQ!;,݋ oWǑ|0<2ԕ>7 "x760%6}sM'F`®/],D5|Us^ɋoXPEL9TЊDx%4~8X6Og{1X_*Ud%>=QJI`PV}2e{;VIWb]Pw$ZFƌ +[_&T$<?~)7&LHe$) wt9AE| ;=)Ru!KsTC$l%"tSM5ǡ^%aVg;-1j:zbJrI xV7sy S|4V7,2a!̔@jJ~bwڿRs,?Ufԓ~^zL@.Ny~lNj8Kr`D}kW H}= Z :J=&?H|0*CM^W:2Bu0#.;9:s|R*9Mo"&L/_g9i=ol$gueQmy|B߈1]u!e?F{ p-!ۑ6$O/#g"ㄛhXB2e^&q7Q s[NffnMC˔AMyp)@nU d1?Ag camʇhHpWşO|~= 47^&͐CQlmFvsA7}8(Ir-0gyO)0Jky׉] ;晚QJsWo75k\Fe|I3mFNf{a5$.NP@sRu!Ks·O^(3iw[Xѡ*]N T섹>gBr>sR{BM܏Jff ݝu8rIrM;@}u0D1B7axSzVܙAIjZ Ufm5RgVD u aBJq?&}-QcosgP cgL1gҝ&j> ]@@SM yvL%5 ۙw)anD;YލTRks GafxB?zM{-eͷ{,iA &WpƫrZ*픰|҈wm 9#MqgꤼqvBL_WvMր?"fGMiwMTЪh%OXXvxD񽬀RώMD.ΙyV{?Q-Es]Reȼ=* ;F2_HY)x;RP\1雹; M=ɧqI$U/m9kq "Br29A>RxSڡdԕv"GPBg UP#@Pv&-2 j1ۨQT=0[g<Ʋ%IM^z**V!X)>;gA8"-rYS%E~2]n6*Al}+HЙKVQVC?. adfFs:DUr6ӎRZM#Nayɻy8ER h2<0>|SF0uۆk[0:e<+?3kSGz3s'={3fx hηauT^sHs^R > sUڙH,YOm#UHύ[z)9S8Ӫ2Nʏ`Q&}'R m)$Ү1C, %&xq} wy#X4nt 9fOձQ9nbk1|G\ ☔NneM|dA˅Bd0VmT lS^0P:YЂo']Oҕx{_XH7`"R/腯T/gxCCV8μJk"B$⌦l0z .q(}f)ڕx9KVF~pQ!!CmW 3b:rBMQp#K}3Sj*x٠>Fl7):jw)2btzجS l'qBq76 `An}/+q \%*K^؇ Z.0zT=|np8%=ח:-Q;7y)(49eFzA\4JENU<,$e"7ʶjp,I땶ZKGuamcۍ |2sKu:s=.Wl3c+:?nIКN w q٦B=oQ_.U봱gYZf5e556322ca74ada994b2a2f0c6c147fc31de354b5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2