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 HH %l4 ]/]HOL-Analysis:threads=6elapsed=284.998cpu=1239.956gc=89.532factor=4.357zXZִF! ?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? ZNVz2RhXs9x8wg*OżPL[{_O)S%kWAe/bq|f%n<_/K'P~&#o,fZC~e_~" X4"傭(igeP:/ b&)Wm; tr^*9nYpˌ%!o}-Hax VCS-oh|^I+H)LlJݶ)sKWb,!Q v`J>, 0rR\[S`Gc`(H/ogTw0 Կԁ*y%]$CnJ'L9 o sR2~QpDz[9%Qʡ Ly|kMζTP78EzJ\'iӥɣ9?)i?AD8g~JH^-Oī#<+"MQ D+ ^DŽ˄u '&_kMScWւ@o2:4WF72L9i䰰p.W4V/\ ](OLJt4S2 `%zۥ©34brTfelyu+V*6.XMz#\uqC0Jg=7=/8'b?`?҈ӮpLD>wVag N};knNLĴw%/֍Za3p+ԑ]^hT^O̷{ƅ[j V:"6&זw]9y #1jt[(8|3G^m1z蝛VVz1ֳR$>:<3v0V\u`` G Eh4I9+#;VqkZ$0 YM쮾4E@5!l@ Ȑ͍-O@_ 0o(Cq$$2UC\E(" 0hjՑ3 ,O:u 4mķ~>sy7_:vj ܠ|=_sqIbXdT$+ظ Z0xrNlR7PfN<=Oz3ƕ(4LfK!2EhCp͗*q)>p^tjgvk%-øv)YЍgޱTx_~`;` Y@e/OOZF*&Qô'ͪ\4o`㒦E@5),,2Szq:sFPR&&Sq D2z +mF).7O TLwoWgO15GN>c68l3ݚš#{/B^Ll#{FiFY,޵h}uQ9>xu`;B5g8~:ޱM/d=hIβi#0X!M1e4Qb ׾0jpn -<.iWzD%5)L1[*Ik=!O5"v<#j!vIB%\)ʢB馏5]rS.v&.lUǻS%@"Ov&t(q+H1Nqr2l(?ӋϽ3P~fC̼Ljc^M̏_7x|Oʆ&acajԴ~*㾳#1F^PWcRn\!)l\7Aq~caK)J7eUD$Z!ϔ(UJ04`e.cEr6YU{?6hHINJs_t&Mv$ HR 4{)|,6UBN F°\ަ ݕƺݣVt~C. M0s)evQtS }-)\^w]xފ‡%"Qw<2s,7xP5Xlf>Sd'Gjk ɤ&;F wyB Y i26Ӑ}E8d`RV'5AM}~ҷc-cLN}4ޜJ cwf`SsG4ž퀑;0W2BHm:H;Hr\#dNa{b:*ɫO*όxuб gE D+/X@}s!GI 9BA2G/ -F]Ξȟ`R()Ya4 Z]x?]+e6"AF#g}A|U㱤ǓI6=tLx׸Xs)t܌ J'#6^A4/A!f*=ȥhq3?jk΄Xav`=xD1dVx 6A-oTdI2Y1ά@F$6lɟ&q8EUG}zV:z[AАð4|C 5U$)o[8hvt>-Ä~d6ŹU\#{'vc!m`8NaR;õ4r덍-a1a0=rm/v͈2ggͥ{,#|3n0|^j]Ocނs(/W=={"cQa(e((QmcZ?>Y̫#=nHԒAOۏ\ "ÆWUj@=L෈ohX4FGkOʀ?_k+Pz4aڱ;QG%Ќ[m:N l]z!,N 9=RY';Gm^|XS(vyH{ j,_KV`8d|VѳlsWʼnPN$(֐:Y/17?v- sA@6;f_dsJ^wb*!JM8YMٖ>z4q5aO@J!ح{NhIPz zЎ>>_D*KM $@T=l}]Էblܩ58gCª Jzjr׈ _Ƽ[+v#irn~N#avR)_^4 bV'B<,,Ć[&q/;W:O|<{T΁dC202ν=PRKgBs%tnX TOuF:nt/l IZR|GSlz':$3c=vx(O' LhySi(/&dO:<jxrB?RY\Ayum6{w2=*jEYL?9xk:$MoY WF יP%copr^_dU .EsDw\%0{_R2/a0h^¬k$\·%K,Y~ Uu7A69!I*E+&+Tr2M4N{qD?3A Z)8}PB'>tX#F)x2 RZI֘B|-6oNdoInaf)VیQ #>lc -%󂁕s >tX.=0er޸S|<@;J`){cCZw)(_L|=MDk\}z+l`6aL<+ԊHstH J"g@jPWk)3Tyrqj}pWPC2P_${WRM#FyU Cg۶ NZ^6I 2B8xVosdؼiI5WO_y6o@UJʭDn=Y o P5=tXSlqyLFS`ahbH P_Xt!DhuVT:Ji&퐶^/Q9Ʊj>59 !ձN߱DېXn10v80|MFP ?{P~忋KVAT6 B[:/DZȤ@QK|sH[ްTx!ۘu4M mjLtës&)qx̠IiHtȎg_ԛ{#}kM`3psh2X:5נ)K-VaH>"Q1os;_E/>^ FGF1c]7oQ5XyaBV+\4>b]qn '˚ )0G{9u@p؄EK~m]<& D+,8DL׮9|E XsݙaJJ-GzM(k::#?㿯 o@ʂ:]&ddnSg`sǪZnt}yP_wĪ4p}ecҚY~lAȴg-kQ[I<,wZBtR 7-vԺ3=w`KS}@s͍#QƩ2ir-3=H{՝*E+[O"W@R 7)'jkkAV}0>:!^b+vw!Ԥig0x|83G #l{w[Mu]@.l0Q\g# ~ODh zPvwe~+8ز-()(rq$0_saL ?'U/I&\ô)q\.- !0]%V D=HN.hY_AU&9x/yݏ'JkRz7K'T)uQ^4hAʽ {ɇ0/I?-֝q~3`՚`|!NdXރ:ϴ Qyo|we2$/q#U~sFQ +$ø~>x*DK$Ap89%J;0>jL%w463c&]BJ'IM}PL,?_nrJyق'RE$2d5XceJYV5=!jRqulhgd3ȷ?[ۄOX dď ;k%߮[eHu%%E[ 9m%{IL(z/+ Eask ?:Tf[x))#lyG(aYs;S>aт*fCزN8h9'bLCwt7|A2D`Ok^A1S'C5_ }KMfu'96gK=y`sj@>\εVS2v~@,RWސ+j =!j!&>B CgИ ֳ 2jZ7%1E[PHIgM*( Ρb'raO&&ڠFC^9Vhqid],K-;c`4XQ)r2 <]!>[9n/L@BAoBΞ6\M{?/& )6L F o@wū{KQU7_>mdC >ZR }Ϗ850 +)Xpc~PcK+*+ܿz |+`:KK}tbm˹RŠGߔPmK;4+EbJ KXo'Hi L; xcq3;Q\IT ̍6qF/̃yh3[\*-rO+1qyIӋpy@nWFO ? 8I>>E;>S<6j 6v 9Uux8 o.X¤RV[a~6+EQâ e''9K.&5&忿7 lv}t-TY#<ɪjW7*eHa>,\8x`ލ{ho+6|nM՘yƳʆstd𤢌X,/ں5vCG=bLΐ_h,[ ^r B3je@x3i'>$Z W{,?AZX5eC+>Y} 9A>nEB8lhޟ|k)b")2$Ԓ.3SGYfB e2 .26@:aE-7OIR f)B#T8[C֎j>2[Qp>%E0t0sդT%w!kM԰7nld;Ѱ(V;x9Jف K OAj/,ԕ-jfbdʘh< #}ySLpXKivnP&sw)L4pe)e~͜<,c7h9m;ăgwP;>AYl,er0"i J/jKlpo"ă dz4+-EMy/!%uwm/2yHT{Jc3M`*AGrBS*CG(*59рUKX fE<@ ƾH}MY>I5 uL{'7NRP 4Zʄ(;F|爎hFDo PX2W򺭋bܞLPۡ%ѽ=!pxU*yީ 0=O!Ec3Կ-}gYzZ~u3.JiM0q S -\ph9J}  1ÜilcC2H$#0z ١ 7LYSD`RT_JBCB~{ќSr/O7BC2*T$j4f\)HH,Zdoz z³Y;m)NytMD dzZ Rbd4 <+' H*^3p^WŇsK'W'yR X:뜧pu0+hQn/5<%u , A4%AV,5#$qhGB}Pp"8bz骕Hp7 ,geI@ShIĊP{kL!,L "U:;Xoz?gW^-1ӯwl-g"-9z<3Z!@+@)FLujBDKs9:mGá"ӌ?\m]v޹98r4[_Qv=%+)XԨ_$RMp4HIKNEIc D:J¹278ޛ#htF|lmgz4\#`';SF tiNuҼ?Q(ff" pu`j!d'HVV0D Jj)58զ[Y^5(i~` R2gAQYW2i&'b $$]x۴cxݘi&2 D=>HϺwҤ5TܘaU]56#i#rddC'leUt*I=:*(fa$%hK VJ1Û0G1˻)5r]RanjyFlc-"aGa/J i-NNݩ$ ۠; mдJx>F'p;1Ԧ>XWS}X=E-!Rv JLbb줸if tU[<ή}G,Y~dzr!1HYB;ma82N-z+3b)kFkvuU ?zUk,O_fuggSMzJ#JN+o'9U [B}\"Ƚ|:9D'͜ԯ/^0'޾, 4d6@MzJoY*cҢ:Ee:!s\pVァ),ҵÜh$1"o-9&M`B+GRaReOpӪ„d"7o֫]m 8`zD<ɓ<( `iD_sOz<^kV:^ۜ(Ļd}/.l ʹ`Nv(~mZ&3Y j4Jv?a-/+'_IJ:Mn8{ñJo YjӭLOyutv1A)'*J0k2PWRc'g%ّJ(GŁUlFӬD5u4Vi"TS {i'PǴ:(,s ߝ3Z@  Zn'UȋCxۣ%Kv kA<2uBDZ_0Y|QţVs(*+8s2o >1+3,2<Bj6#]u툾r|\S$7fnRTe"ι3<Ȏ6 i%JKHɘ t}}O6]--Q1hЋQ!'`3C$.F׫5퇇 \iHmub\"W f+qKx;t6&`Y _ƐB$fFLj՞`q8's(-̌*bŌS  &تw=e, !h3 vܽO&lkxڀ`B"ڒi}(JP(` :[:VxZAFfT !tMޗ{q u1zlj٧O}I;@j@!綖2\#C\1?TkABfΆ8onyS.2# ->0Nd`JISs8 iRVAPnFChe {Ƣ#^)>9@4uaXN\1 awD5i!$϶{ xRUCkh:H_ZxV2-t"-P}ֲGu;lv8e\O!.-˫jJRXTKea#p,xbzS6D67q-M O ~3hNTs^΃GTqMswt4]?5OeM(Q1Q0DCs_k=jiD-#ч#=5~_e1ru׽Y&`h˟Rou^e}ܼn'tojQ ( HD^BXRhK5!t\/5V9ע/:k٣7v$!g"6|He{G3kJa?x;1(E(vOVY*cm\/aAIas &بobߣRfM@8 |mǰ8/ CRMjs!($˱hCB%xbm?~9:- 7m}r]Py5 [r:~:*m[Vށ(]*(X ; KFd&;n2ErK${̅zQ.(/ `}fh1B B{̞4KtT(G2@W?:iYb!R98QRJR|C*;DϺ\`scr8Ek1o3i$ epꧣ@B̷Z5=#*X8t h~DA!.xmr>l|N6YLlSa%l}lr UtTt!671W-5B"ս[R_*羦43 ODSR}/[U2Aֈ;7eonԪ:!b.ׂkV易b`OsOٞ)/AHaϑJ]:6CFSO" Ո;GɊ 0_Ų f\c@+Iy5Y142d/ۢu{c_m>" TEZ-eKz94_CuOrCSv{٣rE=8|(^_).&vF:\?NGk>i}i #P.9-9rB'|8~4CEC'"@ɬ[A1mSĩ\c/H Ѓ(LB1G9{>v?;}U}suXwʤc hگ_KXv M/ mkźSI!vO%pr''<"ʽP^@w0~eSgf3hr/~Vs!h>-S4~.VLf3כbk1`Ľ\Š_ BZy7iEpxl,!g&h{?Ӡy/@(xxuLB<_+% j2"n打Ku<"[[msv%6*z1q5Ҍ@ɘ?<7a Cv>p\3@eUs>KOgYC]n bH]\ʵ9N a_t=ENX_ue{]\uC\Gq]btC=/ i@Ymz?/5@V1*i' /e{U>WnfCbS$aeZhz3֨f@liQӯO vU߲D(iDx\KpSHkt5@]zfċHGcT s :?A͎8<oq{񶮽hI:s|agJe{rHuA-v?37q" Mb4&ċWHraՑFDf䎕@J#?E?_=PL=A]5ڟjCGݓNB=PNwvql\eG (&_(5%D(KJމ6}ΐ#JFxl6%Ðʘl~/%ED?VLy 9˕>LhH8[Q[l/2*rc*IbX-8B7책!9#q~ᩒmVҳZ֓t7s0]I ȣWdkXã<qd*cn49=E!wS|S0]>‹J< oK`D6fY(~[2@*?Γ_w|_- 䚙|)ψ0P%?j.ӾAWw *öqV}xR/k/`~Nr"̖X֖2\@Ҳ} 4}F30f [ˣȟyP+@@& _}qK@\퇊/ l4iyF|LhNyKBH]5oO\v4 pT\ ]X6Wm DQY2A4c0Ȕb5ф]s_Q\tЮRAB^cJ(m&2CB 0tr CiB A8f0edbх%V; f&uũ$qL=U{WRx2`g$#b pcю@re9Dz8qmz O-Yi '9 33ǬNL9[;'Tŏ92 _jrnd8_ʉ4?!߬Q-ɮ#ac%&Xmoiԡ d)޸3^sKb~u)Ydӆuljr3f]U.0py3/T84%A8RKxuV>sXDj>Pw^l^ejXTU>A#LR94/C'B"eb_5( J7d5=t˾ׂ<]A [97hdI77ZE_TnDs ;:̫ig,x삻iMVԱ%=Ͷ 'R*1I^MLOlP8?Lho,5B+iuBD:W'h09!z<Xߗd{:D90lJLKbqZMg)CqWKaYuȞ"Vˈ =Zs ~s82g,DˑOR')!+".53mn59BI gYZ7zXZִF! UA]ŗXi%;b*䉥7H)7|/FpmcdndK~UZ=`V_IURDؾ*dPef/ӊVN9^=M&9, z1f6+c)kC/M$.ȒJ4L^UF$0kww}tڬv'6sA\ʦӤr4Pzuqs^y`^ ,BR(J(C0ra4"{<;as9ܗO ;nWDKK2l޷0t}bq}-ԇJoa+0%UXF|K"tw'f#f*dr S-mt Gf &ׁv9NL͊F#z-H RE7υZmb ^s$߉' ģ X@DO|A7ͪ<klZL'{I`ZEN.{bŊf|;i)+NgT2 ګm{/=`|r;o]yJ"0S zžG9L;9C=6|?ݩ͍4J-~5'+ΛCedL Vȑ4F!oqKL %xH;c,VٿxԂ3?gd"4V#̔7v[:{vOmm[E- nXsfq l9lqn]]9?`qL?$"9)`bj!`bM p[ӈ'>Syg={Lj*1}QVէ̢DC0v 0!X/ٷ`~U^X#xpE+ Ӿ>DӀ^o=6췃vԈ&{-)F(&d ?[8 h׎8{xG8#0A?n]Q\qU &GYX`yyP=~ V}ADd2Ǒv\>Z$3CT,`teāՓբKV obץ沋%>B}M&-J{ v_1}x(f?{+XBASѿaPNk>2q}{|?"4|sVr=pC#, O+en޷ȟzyLԸ;Z Ic8]-f)+?^?g7pah )2{ GguTFGTP$Kཁ΅Yb ?'ntW@2p4#Duܱnvk6֫ya;ep0b#)L:05垣@3)1?UD /PESֈ:͊.ZA4C\փ\SAZC[~#jAB*tx$ g4m.,%+Eԃ6JifV&,lCQRl\A0zRtt20˞iA0n)t@{{t 6Eq#3qALd% 4a)yYtKǗy^#ӘQP5S ] <14M3CjWi j~tS1 OhkI0sb58i.wu_O[kjuJ* s# Y[UuYhǃMDA㎖r؄6^ku koL;f[6ImbS5fP4ؐܔgKq)AW}4 ůA[u6] UI!P b$| [ً{b`gVIpNf&Bv\BzK9nO:Ia67Be_#~\.aS]Jfg4YBQ`jj%}z5gS<Ź2*-euۂJ2v~YA 2fɛKe,HVai;-n!i )^|Cywлa:ŽTanHT]qlM^ h#*X~DĖaqdft#Μ9g!ǶG"CH<1w*ٲJwP.e\ rlzTcQdH29Jl%')h,՞TGxc{RpYL/3Pjki 0yi*d#Б{*i/>ӧUݲݤ|ZRu#=m->Di&mv^sHyj}t]w}X =kl&5gW.qIWh$oA5([+1c(UGz LxB![mhԄyOGu zƂ%⃪ş/W_Fi.?NrG(aFdo"Hɑ6Om Ϋ=&|}]ltpJ:-i#tO~g]f MDemtdsO aHp_uu,ԁ٠z*usvYLS;$K+GMdNYc'(6D~rlZUxM>"έ~0Kр{lE~.LP<<^?у~R##`[եheX A{uIHtI}t3llM Ɗ1X(is!QRyyS>1IVa0dZ8j﹣GzD`6>4B`1OACW Z z1,$bq=?CkCNX\muBX LXhz晥(`%r;o*kGc&<%ND:28. #}VDbvfCA"W)1BѠ@Og#Q ,7Y jh=S ,$]o;4+UiA"+tAHAlj ` !a_C2=Kf>[)=q<3iQvkFsDUKK (:g¢Ӿ!zj{23xvﶞWy-@(Rt1 ra uÎH(î "Y+:eLFxa[1`ԉ}<9>j%n]\V;e-SP  Y6Q˽Eyj)L޲\jo]k ͢'9@vS-tϞۚILelqʟEXT~Ub^F# at`2u567"b;|2q%mF4fJPѲȧ 觫x 'yPȿ)R0rhaw%K p W(e$ Ej۝>yJ[a-9} W«_`7{ll:}0[ʿrfOtU3%nNQN˼b(6+{_Zaƀn_KNhk'Tgw[̎/OwsV7 ivq1;Mޘ1DZ#ܻDre滜Rҭ)+ v# ez7AzZgT.] m+}H og#Ëgd5CURT=)aP{ͧ4C/y(Jy>2L/A`' +3o1ECszyaB͔j@a@a?-!w ݐA''Ws +-0[*gI[PбyߩhTJjxp4&أ%٩ZJ/ЛT "xqмK~U'yJ2W&R c 5\͚?Vc Lӣu7 .zW-׫]07a kyl. υ,k_bmBBqߛ BF۔!Os5h_XoWŊTT(G䀽 nCx?Mڎ=y}Ԛ߶$SaO`P$EF`P,YJ|}Ɇc!XR's ԏު7dfHbAǍQTgGifE:OW5PIf= %!(e,}f\u"i+HhbB|]MN~ (nQHPfEKH>PorOh0X-v^;Cz =擊/Wp@rl2{+Pߐ(xq|`BIS=9vl q.\E䪁%b~{S+$y$D^LX,87VȄQZJKJE؏,޴?7Td{eSAD'u2,yͻjn2 ѥeePG` GT2J}VC:蕳i?=v1^B$_A+=1oC?%L ć} r8l!k0/(m&@RCߥlW̵Z)܋8~:y7Np굈ǪN#D*i|\pnԗ[Koq2SvO'ww\ ̏@pVi 01/ͭl tmd[v:0i+=+XO O`d 5ٿe?C;$Uq]> U/vߟ`RsƉL+ukp+ZbzC1L #L]d`)<˃saVuG\[~i"A# ^dΚ ؇5 "  .9+QPEn=-ʩuIZS;VyԴ}ۜ± U _JTRki=[Q-G{E \&(tp[ys;+֧zKo=cA\9 D)&tfŀ1Hi&L t5xK޾}CNr7#Rh_$5K; 1fV!{Ӂ&Ănt`H+B*$<|2bakw{xaXgqhxm";5p 00O Cw/'C*;AVE(hHsor0l˱Nӛt@WARF)݊{+^+,Ch@F~`mer-{ݙA(}+cLݩ2ARHɑ0I=jV@oWA63*"<$,=7‹V |!!6.ы83 ?W:9r*g" 23X\P'&z2a ҧ0%٣Nnqߙ$/W!?pڡ3VVC 'o9w) \᰿M)U^lu?jӏzahݹ?lS^>P^?2{]<6O\:3?KkQ.@ xނ8'.BrU^uRR n^eH~M+aMf\l܁5KZp`.r3ixk {<ڟ~/I4S]2!zcKt9SgS }m;@arՕm[WAah)v;|Og ?MeK KOxcɲLqI|~kb2y,@Kص$vFOH~1}cLų6oVd>3G̡QdH:Mծo(0h>.,桃u7 P/Y"?Y#+V\F"` Aj.6zpa1uC=D e&+$*K [UtYaUmpD'1A~u͜Ht ـ|drPؕ=c'ͳv-[{섏| Qz: :J_~v+F}jM6 & kүһXsլ<:27|F\_a쪂-DxQ&#JGS}%Kp_K/=d|D fz4}c!#m ej(%_:_H 9qRG /XUIn;R}*?ubW}J<''2~]Jn[3@+^pI 9&6BS]w9 ~ FO#H zhPBT */Wׁ(UtDMܖnC=kh#4M/>h7Py)Fn^y%[ӔHB9 $^˦obR%wE CO4TU<(\aD6^)iC67\2[ >Q9Y9NtL>|MUUxϖBe;sBF@|czPYɞp6GlzD T,$ ཻ+|[C!Rn*j3NfVTQ.q^P shg|o5x<^7Χ-Iq ä^#`kncKp6B'?>PO@$@㼻_P Fo3! @]$C_wjm3gо_ "rL.>+iAC>PPa3d[{d>Gc\Z3%-_BP r@tp~3mY}utL4w]5eΙ vE6)"勫s;] Y2aOM]Mu?{Šit.dӑ̝ 8Sם_V%﹢f`v"+AcVao%*>HXL6J@w}s$ vpw.£ؠ(9#{eVuI+QnRe kazJ.;e}||&gSUB<(Pe 4!㜘=8h*Z$pȰM om@_lu76ÂO+Cislz- PmfՂ;jpN+)n"sQ zkrHQ;m\HR]a;Oq'O K]/=Fcb?sMlQڌZ&` = Q]zHXp%b wX$iVC*ϖ@9pJ+`+E n5ytpS6x妆TaǶU|Az9+ī XʸO:Pq{&WWLJ*vAwAעgcX騥r넟@_v݂٦W#8HSK=Kx" ٷ\ՁpY. |Ŋ4moZg8xeϱ,V$!V2iP t`سQWh+%LwzmB;Lj-_R[Cu&tl0+KiM0k?W"7723''nR"aXjK;O܎KT9zVRiƯ e{=`56M<'KTDkqgPa%^h.|W^!yJ0zsPSG_#vej >6w F5H?5FPQ.t7$Z} ~kי҆ܖWxʀ74%A9L'JAy6҉ICa<p&,k>ouM ⎅tу4"Mhxx-`4| ;G)w5QL!Atٗ"p;еF|Tv?$< [c&Z8<dC7m(t "^y`]рy ?uO@>YR&3Ht5,Zj;GAo&&]d^Z&RXq'dji+ ;Ŭ:3B\qC@ 9k\iVB/SW1"5g.rj9kyr ?%hk_D1U蜆\Öo.ݶ :ـ62Z9-[+hʸɓ);3ekށP΂ 9 vnIw"`,{-XwE-$MؠhQa@fi>.m30 kYe.V潃Hgyb)-ļ_E5$E=m,A "?M)uO|Uxy?#vx')cTCe#Ӯ|kBZ/%P=;j[p { w 5:\< ꡻9 ڑmj.ٷ>r.r3za@!(V[iJvy_f83nua&g⡿tQ~,{zf▘-m,f0\?uP| 'NN7`CBߧhѸ &݌RqIϜ>cE_䝩W2+}THۢ7uY/S\on ĵWUKqy棐Hd(~V#(,I<v pܣ|m#H*c6/v'λ3Brұ5Iѹ+S{ BfM"lY\ x4=2@uMij0b6<0t B+Na"19T"DR8@@m7ڏaI~[SaJp?^߉?0 5]]1FQ ĭ;QP1Ý -j /+7 vQQb 1W} *@jI>ݭ ýZxkHe@L`!.!E vkJXl+;,VBq 2>)h' waOڰ%D KYUioAg$s¡Փ)>8qz18K/I!dxB`鑰㪵{3(ۨhN8:<*dO{ ݌OX\V.뫛}.օqճdۯ`"mzvnNcgΖ CDw2:WF/5/X ~s"imJ#7eV!RɸFY;uCp*b]DU%}s ӿq )>/b R[_( T%dS"y뫨:0$ BMBOJ8t0O0+йJ]fZ'Y+}>)(p˒ײ[-(a0RD"ƎQߥCf8 Awuo.EFoz$\;aIp'QZIϗ&AÕwnt,KcBy9֬ {])#w#Xp!('3Ihϓ웑UKiETGRyYq&w2}SCm~&rl$B~um4?7?ÐmL qrЫ2a[~L̇9Dz ii]NE7ْ.FLTYϟH:K@3EMcK& GzRrʡUݽXofU4A@!U&h/Qq&zi{F'ꊜw .hB2@ VEWc媜weWLǢ; ncOOzPkf\E BW:囹'y{?]QJ(˝h龶6/(ITD;\ԟv`sTqG(Te)-N4oR!?fdį @⏌#%Ś‡ܥnz2w黠APg u0|CS*P+\& !rZ"אZ4' )y`ü~J/8{L QİWMHjqfRJ|z 9*P(Ȩ;EU+g8T]tjk cƸ3l褒%hē=ڇ>Nኆ H%Az –?T6WrU!0`RI!2nt ,PJ,g Q xM"'!Ø[ "=bW":)_dZe9VGΞx3\IK+i*/;hGqb<#*"1X9^s{ɔ`?s T(={0 &~,%] 5|"c%#)>VU-`QQ)kkE3@ 9v !P)36%0jHԈ)9(,V0)[nTsS]D(%UA$pEs &¤ )$$-qϛd[VgoPeq9(/?:!Ao+Ԕ;*Cp5Cx m)fLjp*WPkSE#oU1[m7bMِ@07) VF2fsj|:% t%B@`mr#:V`$<άk30S֓N.,YR`Iz!k 3 rg8qOnP(~4t~΄8FmBϳpq>P+Sd:5bqQj', ]\DOAVM{4[rm?y,K熭L{$ 6FAޝ9$4evLܚR麳;>d}sc wN$6}L! ӜkT 꺰L(\]'1Ib% 04Q1zD!';͉jKc 탍', whmΏa<{mAnFWGe|Fn-Ѭ86pO#z4tX.1nu4d2A;2_sg/°Ij9LbΐЂVXz2=0 %˵eGt@--R|>hUWOw Pڨ],;|Kl䓊o>F9T.`v#Y)lr["4t)v@Mj)9FZ ˭Y/ZTjtEjEq#Fa@]/FXd) #5HR> Ro_ܼsn2Բ?3C"  1@2unJ'g f} ʁbg>>!:Yte.8]60?d [2.+ķ9l<X4^’A;))!"r^ҨI:()%\"*bg11!/@.]|?ƾ/ǹk2$In 7$֤83zVfC .wl %:?6{瞍H~ .-`kYC 傈 e\`H.O^Dpۆjq< zvxfE79 z2Yr`i*6Q 8 ,jZqkc TG &g4d66B}|vH.xݽVyå\A։,|/wj}(]I ~Sp3eh P/h<`pq Xy,äWR\7Q1uHbg:~Wa]¾9~W7*%m?ȑ, } <݅ UVcIs\l^AMcSzK |H>dz>ߘlQk^̗L[)F O*{rxu}9߫Z襡OTܭj'hW&mfwM ?Fr&Xa~8BW^kJ"LV׺jr?ވ3Eb|r_VVҘr˾k-RFDTۿz9 NK+EA ?J{qI?S{2K^@iBpLw?ER],.xHnio!;6AuP@5؂U> [΃iyOI@rTn2h8td.%_9.;7%jF%/1>1w1Tz\[G6ӝk5Йy8 fs*M9</EP͊=w5S"z.y*` 4qꚋ&]PF\5Tv۽YCzMQ]xOW/ vL%A/哸P h?B# -Pݦ@--<@1E!L'xF|Cу2]zƛ\yIBA=q[_I'xw?P5 T1yޅwt-z!%W7OVPn$MeÝ;~[~{tjq0Vݖ[L] U8'H3ÞnlǑ^:y%`u 4%haWXuCKÜMgfd0bLY]94ۈjxd(cw ;5NIZ=Vؘ v_%aQ858(BEΓmŪI&.5H%TI'WHLtUF{o{#A0EU0&(MBm87 'I^DJ$c:W!V7 ߮.aJ;s]oz-{W)}g,{RgO*R2 @h#IٙtFi4! 愳15p*x}&2 sTHp>ŷGOe!hk`je~}~gp l4_ckxq{ @ QRvpܜ&[gFW,$1sk6;*IEe]$FfMbs>-~7L^֔,qc72(O$L!/G?ZU>{Ou}yW mrrK[F!Rjf-sCeT_KI2! K=[d200n?jym v:B\*1Sḫ"z>/ӧOenu_V=MIm1_4W+SǡRoQbAÔQRI<)Л{m6۶0%4n,ͺY_늛es]~/ 7EM_m[р̵CN$S-35 L #n4Hl*o㺹xU-̦<XVbPݓwR8${ihU+\OpXJKMv?M/~.țCp̲Q5R7LJվR_MYG}jw۸IJTJ18_-&yZ޴cqZ=okw ޹AЅ-(ņaLImpo{*gG2M ퟊_(m9LF|59h%XK$$; |-0&۲_7+}{Xsb2gyd7ff_n8!*sEu3ٞG] 9i"Y~[O&o㫧5<V*ÑFeh}byБ $cg_oͭAܤV4˶ӭCΆEN7߱e'.[$7C0l& DpQ{3a.ܬRz=xk '0SV !9STF!'R\rNL*kHۓ0.]`9bgO_`_$,OxTmr>1 oҎk߮dܽ)`K GVcJdHomN s ^>.]|i~ MmN* @%Z#{~Y-Uʸv:A[ A`f7̟fF۰;V9RLCo|}z!9u[XVLyè&a @?Ҩ딍 SEiS#:SN;dJb1ߤd6:; l9 >|~Ӕ1hMi5~iTnIDZ Pukg1O$OoAr+pª_W=WA@}8s(z>1n^!Y"mi/1;9]i^[ U⩚DFctC 8@#Yk6 4ufzX˻{KK" ~:|Q8Uz姀]CZZZ,T>ǝ$ìTMx`|̔p'̅Qr&_cW4^|_o7F! @޾@E| <w T,ALoM˄sza~]NddP ߼77B0=+Ey ;+~=E"s+ IYͭܟ1YQ;' Y97MV EYuƝĆv6I J~ST7xҳiFdš* 1 uq^]^fmakQip'7.6lT ٱ엁M*o -WOx\mC\T/gQ@Νɘ+1+Vm{Fk ƅR}cou})uEK̈́\p{3Iީլ+6lBXU[Daô-ԋ#JȼT7EOH#IªwSz\!fjahAWΊ5{evb`7<\G~}DJ}T'(\VxuՐ34f,}g\տUXv}F=y L/k 1ex ݞ&&]š㱧wXi P_c֯7Qh=<3IUk$Z+TmN (\~a ߐL,ЬeVB7mO,D8أ$OZRK?/k:r&oq+CsUJ@F* ;cӁ/d`G( 6MquK|L\I.zާ1Ña!l;oÉ ,.@ sN:@Gў*ewS7.{п&aT7u>B?4+jȂL 9̩~=oՈA3rNb%Wz|1D ;Kf^G~ $P)>YO0LȮpO%:yk]?brvF )V__[&7 \PB$OYDUvEiP&#nS<LV{L3YBh|aD 4b 2'dZ-b i˅(F֏gʅAяTٟL@rO6 ﵺr'($8;<$DE@_CD~(:&@<iC ޶4bsHI2 c-F9w[$/ҡr񎱁vhGYMao°UܚU* kB6vX\uHjo,]zu*pI 3uBcM$+Nn$L/_ ![(X#}6 +tSWfYzlERh SqtchfI!?Q/y*p' | +@nT C'izl`OծIs3yL-Th\3˗ˍ }R : wELeao7NBAa@,bSns3WSAܺ9VK3eF)i+mz//}UbK^6{5sidy|ϛ:E6$],׃ga*F+0xċgIOXe M+u!6A i3.Q2G Pv "Gj0õ"w3ˋ$~^Bq_a^Ⱦq<f]#F<^M@ԭ:=z[c<8%Mn5ʚ-tMfL#Rf kJJKP:^Mdd) J*,uA&0V i{~C|Jh S =-Da=T.9`Y"wbnKyY\f &!v.v+t'X2T,fPu,Zrm.¿N5sIsސh߈gצB2S6A` k6F( TQֽĩ.kZVQ35 *Dqş0}!8DA?G&E$J/GH=*PmH!iR*n!VGst`gUI~z[NjkƬUFbX.}Z- en ^򞘄ϟxhr9JٕK'^)X8ui0ЗZ^b3Hhݔ9s=-R6M43< y&>9+J 3R]/k'B,nDLRbLH,;UP&$@'\֢}y;) tC|f@,=;IŒ}ɦ8RݺBaAtm7~1r@0ٛO3 Ix˧Yte0`ivx7=׵dU"ܭyydlh j[q$;oey|bkJ4Ep,ڨϴW<yLi+}d}g3#=ա-Rz,<&m#(uP@<d~W^k- ݪ]gYZ356acd84c9abf7e34a7915adec9f5aab9d3dfab9434d2185c8796b1b91c101ab4deb405df77e768f e64afe6e32cef310ef78d64a8a9e9787a782d7940b1cd2179c531347d28a3021ccb743293aad663d