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 N$dd ]]Category3:threads=2elapsed=758.789cpu=1272.308gc=40.024factor=1.687zXZִF! $ ]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo :=5ug^|2 V19*ňB6y>12!ЪGA(mTF)k|0Lʑ= 0fI0=z_wT" Ĺ0$Sm`=5N6y%+5 Z,Z2}hZ^&dXc nטaTɸ)SA% DhiW4c) bh4w?;!$qLjM(p_L5OGfፃxi71uCO| p)Yc+؅ّ:% 8PČ>`Jξt~Ҽ[E!4Kқ՚sܶJ̡u;% s{fˁ9uը9HEgfRhMF_ %*G Ew*}!T&ZukVA|1ʔ16E \u$ sӽ<*gF ؕ_Y,X6[^Ï}%D 1~xitܥ/ƳC+Z(zFgT+ZduTGI.GbHg0B`S%ǝ(}\WrQ`#S`PaфBiڨ jD~h2=7h3#y=(Fl` ~U2S,Þ2Ўp>4AY^Iz9k7iXܘ-:4ڼ,%KF6nLâ:ʚ{P73 d# 5Uۨ׏3fAsE*Lm0HS;&o!̯ f[Зг2'(FF =-m 'yfIotXS}5 hF9iPB{*A/- "zz8`> B- V 7ռZ q &WAE2.KmL۳e8{Fyb6zl^.)L:"kя9H'X9;<M𦠇bXA53yA>C\@uwԭZCޘ?]66~zðeO(_?e~P2# ڌ%&_"`hŲ]Q~^qlHۢ6ÝWF(ww&UE7ԯQ;{wUcipyz(fC7W-jQ~CS,wXW=!&G:l8\ (@LqeD 94 HLѼN$>m?V5 (@b݌P+GxX`{ux1fP 2Q\PϘM"ѓ:1U25-;0 •R!6|ŰI*ҎW8qxf==t1sNŦۡXcuxbԞZ1t;ƠcOm# \ϛbNT fQvn^W=}>?_m)ϼrP1P #y|ށtWkq$.McC 2PyfϻM <Ի(   Category3DzL48bZѣ8F }1 UL9kdPlh#6Ds:"@5Q*i,J-i_I5ձ%DDuCiC>/֮ٝlK>4D~Eݍ@O4dR}T.#*LSGyr;i(mq/3=R!IAǸ7|Œ V?)xJR}G58NSF?CbД5/f&.Pth] yŃ]L5@I{pyO}.L05Rơ@:Ig6;i&-9]a:€ESLnKQg_%$5?W8Yid BŴ*/+I|i*6\rZ˶AWn|6*GUQ5e#P!s-b:M,{K Ş-7|MB@k^%1dܿ/鏢 S҃Dra|YŶKʈ7X0 #U[ Nd=<JF!us:1ĴC Ǩ<6<3ޥbtځvӕ}mYYEHH"e3sEX O etW'#X' K˶ bQ7ŊJixv8N-G0]ٮ25WM"wg>0+3ǃ&5ƮG<15|{  ںGS6ivHy6p֎"T>5+Z7zL\OM3GcA֤fW9렁\# 2}$v96|?vѢkVf-ǷhX6=DX6t!I*'v!s^U%~p9FLSC?~~VjrvYцon5kV11\s|J;>΍}5|+})X%|gɥM);ف.*SqtQBWbOYkUzzS1Sar:M. "fJP4o NAEcRjZ3\% 1{ J tɪb>1x$]:L.Z{UYӭ^ͫ!yf' ?&PnΤp_(7~%=2)p$Kχpn})?p_ZrKwj%D(^K[ isG"x?+-GNbağq2X<$e搐=|b ws+~U[Pe(;<}0{dٴ\ t2p<;l+nҡFM1-eq,kz!./kU2JSe@ZW24̱vn͝v4Ѹt6kP<ëH oP˵'ގfpWegxl|;4f9t$dc |$>ۢHsʅ@Qj2H*W%b(,|ܵ'8= ! XxدrEcZmJO1BlO,%T}\Bыg{UdD.Re wX,]iWk S/]i3ΗڇBޅn>#,7Qe< j죟X/L.c@ $UgA_qhR~/WPi+JNy3cV‹\8RνWQ`G'&4H"e+f>r-!ӓ)͵lZsbiO&H߹ ge z|7@OWA}0ܢs-SQ1ѭĉ|l ͺ$j=uN߆į!nj,%k]0&!] W d*L @na[]QFaKΡ}zS|< lޡ^6 SQYX(<_ihdLhzA꒐,1" 噔5t\tt zSr}w|~gi;XtU@bcƘ}MFoxC!. wlρhR.瓗fLu79۞O7[0"`CC,l V+VT!:iTDf}6b1@2{\KFp{O$>I?8! KcxQ~rjZJa#J ǔ8h)s= Ctb5(OD=ō? u coډRD1d߈D5}U84&V|9;]7;]$ӱ_~= O{/7 "-*tCR}ٜ1*yu;5z { TJIUD$RfD:+9IGLunv\G9(9Sa9QG jɯ4zI[Nnl⢜֜hlRA\=3W56fy\M heLwMVNi^'( u\0$>_g.iCV @L7& b,n(o6xŞiK+ڃ9/֎.zGaf+mj{TB8d9'I} g]. AEb=-'v0,5]|U{XمΜڛ8~ϒH|a y;Ϭɇ'Zr VS8 }=*U!;([6Gol ĖgxLNlWK6,<`ߵٞ0 : dUdC`Vࡻf) i'&+rHY[2)s['h~ɥV~2Y%U7V6S7`G70$YYtE*3?S0Kq8Ț͛'aX=p'`Uo NJ7Ttdz4zB/\׋hd|A%(*F1e윙zmoOJռt>~hiCTVe{ȠHpM"?F wV:aTX0 jjD\,;iJ0Z$}{^XY qH}$! ̬PP @^2{ 8d٨k]W50&k$ͪwZ/8E6D&Eu]RmG}W6wú{y?+W0:X@A] (#"PX9ч2HS 9>2X-^`Ja\ V>.u+([H'.T+4^:GP_L꓃SXadCc+V%D >ёNvh2QyѦ ݽ3δOM\wMM~{ya´˒&8%Ly1݄MeR=)Ej 2h㌝r59u~#7Z)FgWDi sai Sn1+}-&%ް}+uW)dQ zE$Q{+ngN`L^zy.zxN^]AGR'R,Cd "Ҍk%ID>>sظU:\Kfkι[^`Q>%iHML5", c6<Ջ1H㨡?A_mH- #52HЮ*~_Z5x\,@Q|ߍ޿CKʓh+<͐$. %eekHZ+۞*9ICw9*Oj7qOoL.bd0ƛQ!#9_@SK5uwmU2raj )Fugnap}QWӿ&n3`oۮRc}$.P;H_YǙB򂍪oLDj%;]  ܤ0Yj>9Hܺy.ZTB`.Y͏ry)J~j/@^ YpxtJaJ2Q`Q_ wxSNFQpAuιB Zh T-i*)]Z"= Qd3PN}]`RZFc:{}k})o s'J4= uC SEpVfTi_1^c}tk!BnY˽W} ;.>~p~-@s$?iHS2rz׃ 舞מGa ed@ƜhO=eI1l?!d/1xCRA`HH:ҭ6I:[Аư&H'gYZ7zXZִF! ]ŗXiɟy>Zr<̰KMaf3D&3Fo{݅)DՍ0ΡZb==3m g8qj)ī=2͕Z2O۷@A`[^9~)ɽ^:ȿ>Jb8l-%/ ح@!ai2DG&3apӪM{+ "BOBIa(κդV թ~qt>:L"#B<~b?:Q1^~^6NUDKvI>qB;YM[>=ob٠jm \ov9Y M2gYZ7zXZִF! ]ŗXi%;/j]ƮNە QS;_K?;w3+1h;=9c*iYPn⮟$o\u6qr/fJ7:dmUnC< Oh?<LY>{k}jp)+jHt*jx/\PKtѮxag2 zg(Ƿ7G>"ݞE0&ݱf -牭]A03wsY ]/b\iU(Gtٺqhfcdپ8WsE 6K=0w9ʤ#ϋ-tCium昢dc{;_,,&ݸ,G.~qXhY6V,_:N,* Xgby퉒zҿ8" X88*K{AeDL5qX<ʹv[0:$6#-)[# S'TmS!|eixĩ]Mx>o$\ϴk>]h[(@4X4T6m46C1c21EF2;?u;`0PﻘVfS( okׇi(O_wK@0pR"3KsOz hHbvk!Ix磹p.ʧ DJSL3*k IP*7SZW2;BvM` : U\(CҒмh\ss #VJ鵊+s UѢC3xti?C1 +PVg|(cX1 ĪCJPx>&]Jq63."m8:w}Ϯ1V8QIhzqF7맄TRsҐ6N$nI[N(UB~U{SF61˔q&=&õ'pcQ~ꦫ:O*r'4{[fi8̃_9c/;./KHRʹ{]|//J~Ӏ`ay-Z, c$_C&]4]+]ɟ6|lZ%Q<(#Ʈ''J =X,hMxm^Z /FYY!JMM C{WzkϻKnbT?]܃,~NlJv'=]R5[n35-5-d8V,u`D]xGF{ zD/NeI 49{SLlCFb,e\I;]IƲ诟3yUCTmR/ hhȦj49<ӰbDij10[<9b%Q`٦-Xudĸ[UXj7fDir$b:@h1Ɍpޏ!zj \ZnǻP~Jt ːtoZ~jQ'_ '_y .RxU8nI g$MZ}g/d8؎Wv5;BZ1ah$?FumU_il2 #Q`އ`ġ%}Yn?ZsHxk5xbr21r6}E\tciEHhj!fr&`:< tE#3DFzo(]lIAܧهDyWV{E:E;:du/暌8ggʅ[6e(शOtIn$F݄1'3cEҫLn+&k`Y av_%4d$*iBf ݦе(gA% 1""Cxht]dZ/S0Lk8^-Zb`>4ͽFx b89~Ie ji(|YQ^Ryw=Yv|GJNOPtQX?E#O -oݘP5k}ψ b2opDנ[-K.ŊRYzu(:XQ N35NAk.Ari+94L z@ P;2Vu.}MbuFc0q޺XIE6%溯7僁1jdUA{Fvrve̓ v_wVhp``!ZF^ۃxW֝h6dHRm)?,0xd6|pCBIcbNxϮr_ًF7>C ~ySm71 DܙGSWǻԩ?!!I fAF٫r5/kU11S͑2/z4SC60ǂ̬hs\ .Uec'};6#! jqf]$KE6hd4S;[ܾQ ̤6 *@u?o(8q-J@"s0 Ƴ&}qSi[j rJy֚ )2K6>5.ı6`ɯQ%-_H=#ٟ*kℜ~5PE|Z]V}]R6XPeޱv!)@f\[cm!sf(8,9w|~&@kvv& e4K"(;dHP\*Me#5+^Aq$H-g.ӆS%=ʇHxlhHB|ᐳFDPSzS\F= yg gs9FV'yr0{haP%˞p4Ek`/x]' tf+k3+QL @<8'?"5 O>q/dСc-Ӎ)Qu0a Ur=L/nz~kxfm,kXF :m9bbTt "daoXu0^SIJ t2ֳw/#58Tc5i8 vքſ0'77$eo~'uz%\{}΋+iW$~˥α7j 8mdK6XD&tܳ5ۻ!> Tyx_O]*Xg'䢦RFZ4^n_FmNFw"&6zq}lø3\>^jAMGlvGM#s3n'|ŲAHI(GHpH%c^5Yq zyAR,^ Y!I~hAz=Vi%U-y>x5Krn\@3YP7-&ސS6bPOaR)uR[^"vw9Ll'sB۳[B$)͢)3khɔa4-(324L8m-iީѓCܷ~&1޽DqHgn39?X?I迣loIX⋵ޠ$]8`:fd[Dh=~0'p_os0*mhz;˕]0zȈFoy6OᇛϫB Oh uB_$+Ti:?x9C v~Nv>vCދ ާ_ַӧWCUZU?Źf60 IEJr9)}oe<EFeHE wFAr*YUyvFӁ{=۟k۔nHG:î{Yn{[,Ӹw1 $'F{߹9@H rm4!#mb潦.} ̤~ d3p =ԠG8oLrgx!c Hjl[; ,?h{njߺ߬$Mez]^Gb=F <#rޏ߷<'JMJHکZ" (\|) ޚ^$a?W<3YĎ5*Àcki|Ŧҁ-VD-նѰkvg;NFf/8w,eOZt:w jw?BOHNq)_6QPr[\*:z;a i=%xVIc+o1xxǶE!=atx΀g (T"®F5tYf/Oܣj@f x󀜚ԃ2 BE!xYY\CR"\U " 3~ \Bnm+ v[YhעB\2#yudA˫(E٪cCmR~lVƆoPX746fk[*,ue\hFSQ :V(+F9xs/D1mNlCDz]ǕPNω t_wלQh&yJիƱ@xP@(,u2Fejº^l($ JoDަ%+i!6&=Wr!q`X7ŷ}, U;[F%N"&sT[/*~ C۫)bIr:(ڍ^8r?vUE,zaŕLd?L 19? c\w0q_Jr  ): I7㹚I]a_$rYT6j=(,&n㬙tW?yȞq@_ˆY_j](2҇PX,Th7 hblyfO"^' z^Sj0;Y!E5cFL96@涄 tB@+ZS/%aIy:^1\L.ι~!~ml#(s/l:GЦL 䇂gbs(VsSfٮ:}1oe`s  k3XHn:76P9se$֖-] %Zh"=N"]n < e,Մ^0CYւv`42'D2hGz X 䮀T=Bj2 L?bDIix;F e3I6Yƞq~yuR|7JQ(&5P 2?GX¡bhoЭ8v]oTh<sCZ#96M<c1zD||z"TGbp?nVžzKVӢn {!QFTlp}3 'hRRBS~f5E;s5jjcs[5 ^W]uDtxOt+}~,/铠MΤ;T?Ri RZhQbkkFI&nƁexZf0=|^^-zbEHEF}?δ>ARPC^”&AA)Glw]@VAvd@k)U.\+9~ijVAb)ם[rkE6mSVsaKV' X1`5UdwehcXk3529@f|KKҳy$:Dy `WHa#my\Ax$toYyB2Lk%IulBҐĽuta'?En$"ߝ7huݹ=ﵨAV ۄv03RwX#2Yjo;GFbHPmpkQkaQG";؀4|&,_7_}1d!K+RLþ}/Rkl6άE^U$( Ü"]EeG XGxȬРti J8lNaw6!`ecTH'[>p;q6}rV]SA峀݌0̅1Yt{Q P#4H+UDZEoE**Evo ?tYZ $:9-QG$>G1 #Uϣ/?;y,aMe4^_|GM",e?궽RnkLeph80N8Oo7g!=;iiq5i))[U$7Ǜ]QI' NsPۯ:6>RUJNyς9F =!gP(R4ˋM zܯNHqy31\,{;<=CY\A0/IENq]gGql 򥆹afKf rF_u}^rbE"X- vF=q8`)Mw$tRnf_~!,gG4?}K)FJm ,_I̸"rj4Ã),J93ө"sOfk- rÊjr$ui\ܓKD֗(޲OFLs_)v?XI]B'ubi@9[ү]PvNMI*)dY,U/{1;bx)>X|/Jn$Syܣ<ݘ5*[ँ"w}ZDZ_̊D^'\_lQc%4 z Byx=l'2&s]ᘝQ. vA%D(F3\MxK-M1X̳8F<ŕ&`dB~(-H}%˺MC䟤s3{dr6C}A%WFWudr ֚afG9ѿj9KU.!A&~M J17ÛBOSJNТ{4#Zm{bB] SUNʅ];iJRiڌRX]JVU(E;i}m=pR:zFw# Q2Jha x}z, J|Y]ӊ]z|]n!g C?:-EU*H/!$Wˉ Э(AlD5AYqiWE"Um릨\ГDl.Q5|pS*9~vV&W-rx;-Ϣ]i#zc8ϲHcMYVb}'& Z(4@DY4Eww:^{ ߧP3TU5wkm^̨EAd 6dg1"Y d<ԧGU dY`{&t6ڝvNKƕM ]P$wG͛f`!zl\6K/FFD6lIߑu|jtoG8:ond%DB/OB(!DBivoיHiʧ W,,i[7n1xqg6fc0V׵PZ98zQؼ/pDc|xHiRWsi/=.`F@ܴXE-W5k4NJi! F|sЮ |7o"Mxp;&J^K`Nf0,.sxyzf`8c8_<  'SURᗏy1fy(|?#J_?{#bmL3i+mocq(bݟ+c wmרd*Vւ}[M9 UTxAGlXCQ=x@:Is Xk|NTay؛E+O2%R3ſikucԵ;Գ_ םf;q m\C((?p joߛqx%_]D%gȑr ;aΠ|gTn,&8oE4))l؟YKd㉥3NEqxl mT"(![ym@sh#^tŤn$G0 ˨- L #@caH ㉰#T07:Oy|J(`4CqT^IIΆxxDDvZfTpvO*`4?r&%9P_c&+|e~<% g;y{{ EyF-߅AlWu-'¬sL'vOs<lHbHWteu6ޖf?mAqe%W.©r?Y@u!gh ?Y[ %8vsT}D#J(,dbB`Wu B7rajӝ9O(鑀}P}j>>*6mFr0+п'M̢.Nq\4."].e|K=@ Ջ!Xs@2䡏$tKѩQуMEz#aJRflP@in]<`g;00u8ppg.E4fyS 6VFhE-<z*3jw`gp MC4^|SU9:-<(4,^vsPܷ/x"w6uYժF' $eh0RpoyD͉Qi\9pJ-[?}3:b04+[-Wgok~[4Zmkxf Y ]|`,`o/{ow>H8o 4 45.[ߒ:4z6!7e{9 pcU(F[yĝL +LN pkYZ%&;U [(gCҴOMDQp9F˔QV<h<`E3M0|r{6quN,}D)A9dp0n ()ME]0VE/<lYeRjH۹q~fdiܪ+RDβ9|r2yT5zl*شj+D Q>jOEJ(\X"'+Ӄ3 E@F‹p~r/tاa}q07Ҫ?B94I<"{8%rp=J9 DHc@;m.k^FJkϏ0x(WO#yU$'Cԉ&svOV)10C7G[Wͼ}ZЏYzS\j)oWHjqlvvj֪ \ſI[AN2hF5X;CҜg6^yzQr37}NGљ V!Y` BxmFu{x(j(SΉ;lj02 mt!X%A[Rd{vgІRZ eQm՚bX.a`1<"I wO9di~7/-&- sivr4d̖6"/!SY ,jrqaoj!/EkQRfvЊۈ҈f(UԿ <|"p:$ ]A!֐V-P:OLa*,:HIcwOgrl_m1KwZM{Hf2#+2 K:jEsAHaA7F@ˤ7FY*gXy+ ShGMS$X\Czj:>U@ш0 JbBVdL =%'i7LkzA8i{C-{_b aL#m,#Oa_v{RS&3*`g-R4K7"@6-z$EB}w1ԩ05CY9 3;s&]S~l\-*"p#hu}>?4uKga 6=8SW SU r̝ev@" x5{% 1 EK1v-zk|%E(󭃸EE\-/:ȃP hC%YNbYj W Qp'swlY.Kt~'@YAjxwxX2V#/s1t>\  Ax4[|ϭ0>u,kVj; ,_]N`nΛ];b;WLx9(ga{ }ֻ(6dXy&肪;)p¡ Za)22o ~s}6sU/Qin@#WmO8S:>(=ܴ0]Z0 o3_@9 nۍ:JM{ĝVF5nZ s&Y0LrPˁn1B•%$oإ/qsݬ#㧾] Ph_fToJ5܅.(y^ff{h7MmYh/w15:aۦ_v5؄%ᢂ#Mkͱ2'w}_Ǡ0JSP GD/16f"BV;gs)pG֝[B%֝}?(Yqu `"m'p.&e#^0d?BX`@~oIYifߓ uB+jɛd鳹HWK~"$nQD uW )Jwd15sHT z.6*s|(r<ɡm ڝ9[r^4̾?ޝ=m osتE!]o >JY"bŻ{)QD(z /DKwwҪokJ39ܝk 6Ļ\z$Jpiyt c@7mnh6iKSDzkqB0Ղxy2l(H{)#ĨӤv/F8G3ټDTKy .jzsIBU--Kmr>wp)J?ܟ0|?Ls4=`i q b0 {sY':ΞGl(p&s@ՏtlH5TD^&BQٷYfq)(2I%G1w4>M"7Ri d(2foFH+ǚRnDy!k`/(}briÇs}V$%: ЮAM^ʽzUltv9@~/L kG [ `ßm.ED"G 144C!Ë|PSXG Se4I|vDz ߌ~wRwk$bG[ce.fҽc)ߟqZ~GJ=oA}Hжz8y+|§ >H1>#m_:B 4t|eGGh`$S"%EY3 ~\HMz^,6͗]A-泺wuK-E(THHK ~g)ˆUyvq/K/BS+\c, y4= X緬!ӊ6Vԗ7KFOoQ1ٱ]J&{EZ̖HF!qڶQTDLavP7]ӧ=帝T @!zMn9G 3~:4rJNlR:D:ck`U'(!d s%1u~@u6J`Yc{q;tOzʓ)4Q,H׀]EeL_5A+6'D}I"|tn x6ގ%o&.c-bީbQ)R2o# =u§ypQWgޑ"mk+&KO|>4;1@C|ٵM~E8:dDx 70^ZQ^FSk6'26pWތvTAɳY}2#& ⅂7]E}H@xSI=5.QOΨF|PPp|*]~&=7Ȧpւeu᳈I /y7A*s:ԯZj4Vb2,V}h,]Mw^#"scgCkgdž(#7=B OF$BSF6|w21ơf 1 siקkC3=(| w/2 T] 'VUT0+h- iK-.R!Dċx]^E$ {M_\3%91)Qu{?5C;s~Kn.33Ep LiV9N}@ >3N_^.[HMMzA4]E(H%)%U RGnӮ9qfS<# 88j1/ZI$" 1(|h;`ͯ1DŽ`\nRT9;%<z#MC|bDC sBHXBрY͑N|.K(.68z8Ҹ$q" _/.^W>wJ^qV@ᖗ#Ӓܵ()$Du٠֛|eQ#Έv{czpbV|qFƉaGfuQ.Dd& !,m=Vm4~]?^T[?wkb̳ĔN F<Kپ +)Ƭ3,b%sVxN-6۰s3 7hKjy&p1".6YhAX}!/2] 6Y?rbPcCo B%+c]{Yٹyd|J4 =d%ٻ k١suܥbh\E[袱hl0VtuQONRׇ b{B)hujҶ`]!PKeEhdS_U}롵:XM_«J +K:+ٸWagqG{9rt,M&#C`D,~?N@܃)qiڒ% ET|l\BAN:8@#H<^$ffYk7[YZ@u͇3<Jw:e uZ;fF4U fH.ݞi#3QQL@ -&yKā6t/zTzq)+VɐbƲO&kwڅ0 Sf?$p(3ש;D, p .OWF){ǎ$|r*ʘ$)\LvrrA")#_Zb@I*} IW]Rhm]MHX˃r}&tHS 8,,yY34A3n$Q땆`PJ.Q"᣻l;Qe @J!wp,^|Î>: UL^C42kC*Y=8M?݇_IJdc߱Yc'9_-q9ɟSQyjukm~h!(-Ӕ5K4 RevϴN:r ӟBd"ţQ2w$}C*J}g#5EꩥМ`t_̀Q #ݞ`+z um=UE.TMjp,Wo뽕ZIS룴't{L wrE5Yl :OKL"x<‰˱&|q~k|5 U>up޹1j)1??_:7*=:Of\J{{ydv =q oֽy`sW(#)̾PD_k.GMɇdbuGВuy[Ԙ/0es³+zB 0M"{M=j5al㿀(>!ӰRe"nQ$Zs41^m[21MElFq__' zt0 yÅ. sN h;Ҭq^*VR䩝 5a;it^$C\\AZt"<wFlq7]=M,h 2Z- /hJZkxd7,_.IqH_6MOǯdbSգ`KiuHjI>6PͱUS5:\fhqC| Vl*V eDh%8Dƶ}}jݐ ױJʁ[gʳ>I| -L^L,Vk\XA!~DNlNpȲѡ⤽L.'fQg&Pڕ2$\K3 T:5["(<8.gq}+Pl؍z%+dWd|I\bj9X@>#)-P4 R#`=Yd+Q@ E>knM2tqӧ&F$20L\~¢: T\ҎXW)k*] xĕBF(gVDƑȯ^gz0Q*&NTsŤ\b,>`9 o^/2H^iC$AAnE&L*{{qhcR sGX5Riea"|6!s/ Ӂ.qg-k{׸WVUN_x)E(2`~J̹#@p +%WGs~#(E~54UvŒ,U_ W13qwNøP-AVTǺ, gFj J',vzX[ѠBp5 覝^%1~aΨƠ uIa{ Ri@wI8ZH| if<'46ݒ9~ y;L qPť.+Ɏ8Vw(:b-PUNZWPk_zn:/n1$9DTڣm–RHt* Lw&B"bP2GzŧSP~|쿉jĿ$1l~mOY 7n9!#Q1Uc$yӪΧKVLOts}҇b[>w‚yBLp7o 0g4 EAE?DBZo]D9Uaw{ǻ鬁X SSd~mURh!Nr:zp)d̓H (q=ޝ6+XҳȝO@sY,) %ސՙ)Z)VC'RkXB5aō #t{LPW sN,KDnLD$Wȇ>)HܖgM ,L[/9rF!뺳6b #@cqyT0`<6lpsױEl  xRf^1FDGXhGvIڣov^`ߌ|z}8 8o-~yIźKjː85OWgɢ3THbQJO抢_٢<: ?jXV4PK9ZLPh iHoZvW-r" Zk#4X@ew7"mi5Q _R!"\'j omXլ:n|e4m׬klÙUTʪ4Frȑ}(2|r v5a%<%HyM8OeoW !$'+xdR1w@\. jW, ֝\>nYRfSu半_DEZx2 qY J<95| ?eSIH;\AYukX[ ZcE4BѺӅ)-MQ#Ɠ;R5ܹUr hSXX&%S,P:3ސ3[t>]Ӡ-}+>FmH86nЁ&yx6i0&j䞰MYsqL"y1xXtleI3:jFpRn>˅%jg @䯐~Q]C2C\en>hroze&3+q ˂4mk%eP=q.@7OTD3rĩuVRc 5f+QmV>n7 ::13qZ(1W$;=ڂ݋W\Bl>fsqA%#N`=iCʹ7gQ? F-k)>U;vl7u ;0_u%m)ܖG-]wRlE|2=HI.[Pi7p^?/eQiANԄP4*$_1BmM4_ECuAȣ@fp#{;ݠt$[qٔpH5έRФP拏$ɪ[#a+/53ߐߦnnNZq a0sVM,qvNQRȵ^z-FVYܶ,cc%2(Pq.S0 a};-o]5@<)9X\No/1Aq+pC6ߴV i]Ǻpv=l{nf=jgr".],Q>Ռc!I)3jxIδKCd|T {;CvΣ}CSeˀ\#Pj^AF K!|4C)2ŭp6T[7WMb`K}yNZ?Xb{|b9LݦA_70xLؚI)6Uy|I$6 $ )q5Zf+벐_k>"deDtK*w&1}dڑv(x%pkHImN@*k\i{^Y p[XJs-cS~>=|5kXX 1ʹ(d @jE5z55(KRD)j#ЋevIәU)[M 4koH~"3APudvۘWa _5ƛ`@_l'U8\k\#uC/n9ˉA e^gCzkG0rzFp0kS[{ߺXIH[Ns˷\j4&L}ob kskL`56z@5QF߁qZr 6,RCbV(Do!?&{ 暇/*"]Ljr]ICE)iQ LB?4tZZB}vOz͓ۤ%,,F^Y 1UO z7KˏROa ٱ!ȠK%18i.ۋnN 7ı{z`G ?Ѹz iX+r'Y2 3"&MGے(LtE=e5/::ؓ#T|ʏ6̓\YLk99pWߜtA6:͛ 5OY[jjn~ ҾԌX4~xɖ֦rLq`3l4B}lHͅ/R\(aiV< Ej|⏥B`h(>#؅lhcÉ_~g ;ks"ی'Dvf`WW/p!^/hK=[ 1!?pkq!Ib 'i&y䴐GyIm9p*3aŽ, Z㎛m{Fڞ'`_" A]'qn-f2O\u9],_m.m֕)K墝K$'y@V eJ t1eZ %}&ߕȟ=5k]M&LBmw!SMow^\dj;8>ksb^M76"n%e^ʬ"ՖM|[ǭTgzbOPɣi%ʑ$IyɴJVdʭHRi&ju<ګ{s 9`,8c^ƱZ}~Eh~( X B+=@Jrv[71I?F-J8 jkKId>;̓~[=Sk_~@*8trNs_OJm\È+  voҕj^vV`>2Ց >mݤ9l>"q~wqeC.0T'&tIłĻ[2L*2Z6 _>同ywq augU¯:ZVX~4A[S!J676"4&[cs^,W_3DNhW`:էz0\ѻa=W%c=`gn+Zq?=cVnů `8փx,LNB #6.WeW8!;V[[4L xW:-ݶw^*+֪8*~0N J$P Pv$壿4E hb=:k9ZANI5 u5LGG.Y 7=1p1>|#?rh}ZUL%@lzono "pJDjti0`uJdxWBr ê&Wt2wC*GEr6Gqtֳ,מ]OE<rf;d `<cOrMs5mI`l3 %0U+|q2%O!ŬI:?$fYw5,x `EQ[c +?!4es!?z8H&|8fd{i-(7V~#@~Ls.@yhCN11 ɮj $Hh\2So2P*W{~IK-zz;iNbVIp #[JX%P{ k|18+Z+5 N. 2sо"Zx3~W8K"GC%^W=@TZ6vߺ2:x{Mz4kR?B;GߧĦ/۱ݫK?^#?Ch@@ J̺YHZzFЉl=8L{HZvo-5I E}B7Xn/,T3o!ЛveD/, nL&~[1WNɰ]gU;LV'RE y^0I(cp@e`%X DŽH'{Tڲ8{y,U\BŶe\) J~ؘV^uM  )чaST+E U|(]ZA8} 1;~!m~N'ˑhu(Ғ*o]Ds}t%x +T܆cI7Qyљ Y$Ս!ѕ&/ }wm|..\2r?Qqs"=EzěϼP0UU,b\quϹUXmNwcFT>],Z_ur}^v~ J "@G'M,@"Hmh r&x> \ZЉ{@ by֥4kq1i0aƨ s2?RŠ"P S<^?qIeU v3;ְ F}Ufg1@f*pEҕUzVQ ¶mi,SF ΜL~0 x(VO'tK;ݑ4X<=&Ye?$TWM燁M:2:TU #mELΠfg_iNgMsqU@ö:}8,L0SkKŻ SDE/J/A8P2B~]g+=7#@N&fRβcSd=\:>&=EOF|@*BNfP5rF|@ɶK1_5=aֻLLv=i3n@Y):AWXD RɤhQ/jm^꣦tQnkX1. j8{>|LҩKtNdEҐFGNJVNb7)+OVFx~Θv$5Ë.G f~4*xFL=sL_Yj6*R3. $䅞&V"w/{*|ZaFtO|'6A9? DlWA5G\utTV$hp^j>^$TM#>Z_c , F-~;_4VzZAįLJvHX 21㏃ą]ݶ͎NӒ;NnV؛ ֞|{$`J=pfz[/zb[m1=䃍)|shb>Ld/ճMkhxAD;foDt1O7Q'X oiBxJX)}5VA@Ј1hs4B53!^b<`w= ٽP9jZw1k3fDDP3nk…IB+Ttm]7sdo5IxAm4UQƎkҀgT/Ѧ/r]JTjk H9TM.P9"pm) (FV%|PPfvԁ0{?c=32X0i tw:,ᆱ!;# Cᤛ#GFN^oLjO E+Si7Ta{q+ r+gͭ!5Z\lu*FoC]t%X [~tĹMw+&V*Ϙ?(ZyoY!Th兛s_޺9P<}7*NLw3R|S|R%V(V7D.$,طޯuFu0y:߀ݎ;j)uﺺ|ʌ@l+ a0[" , E/4|L-öֈ$:6i%jJ^8s?ϝin|l0e'&I)ut(|F#d%azsгW侘ߋijh_B׻a|'ݍ>QގdLMz;Ôt uÆH6)Ժ\`P>qMr^Ǒз6d1SVL;hu:ϲfLL 2G@xZAڋ7{g\{6Fv5!RlMG|gE3#H=`:Jt"EE)#ɍOBqD,gv!pV(WC>+${5*KFK)|o5 c}.V(< R +m!d_1I']mv+bG[c,JW׵qJ/{Uʵ`N POc죴QL|ըW &tɬl Hoqm[p6 p+S$AYu0?Òaכ|vTə7VkxT@L5 p#~$hKäHt5inVq5T"nFZXwW hI Xj)e13Ms9K`|ekS4~p'q{5y? K7cOmX(&0,Чp:ĵ{i<\$G1 #"EĽ tY"tEZ>:d2ܼnʱ'A7۠})Nv!Kt(z r+0 ދo/09e "QSH!LI=od0ba쑧Sn5ygyMrWX܀kof}vv<$"{?ư6ljm\P!Dp$b@okSoۘ]gXW kl%'Ĺ%()5{sх?_ɸ<щrg/Ea@1AAk,UltvRJ$CHOZǺY`}s^DO?]S{c!*i9IcȯhqJPBF4;fݟt1ˀNs4b aObK]P'kr-mVwcHtFk;H P-)x+qNJqSR!kS8F{N`) "!ej>wbk=X᝔SFЕ(|yʳῈUq' u=9+u$\_DkB"Aaņh9R+M~9mC0U {m/u'?*|y[@32;DKz0@bNMᚑ59U*6AXG.W#?it)݋9ܷS6*t/.QY?(: /7i?| 2=ޥVKZܾwM<wTZ?;NAoND QXw{k2V5е44aM]Oo.Hp{˼iS\]!OpJFlB(>_˞*]F* K/h#H ,1\<CHHHH B43$Y-|a,A.G:(~UT/mnJG=ml&'vލ;O\T.-ڮ?紙ƺA 0JMS`|<$ Xu\KMP+V)<@xX}`iA8&Nk P&9kUa>eu41]*.R5XM-Jt* 1gTm}=#VA]4ï()p'sʥFs5Ir I=}L bzTl-U1" k*7kwA'{MƦ¡t*R3M2¡<mzd-g/274[r_aEӆՁX d#y[Kz6tA4 D8+l*ވ!TF(FdIAY.݉Ƞ/ٕm>>:+ Fɱt rN<ʌm ^M+~ OB"&87:m:4ӹBSM W6ln7M6m8[M3a4&(k,(LƟz)6Y&JL{Ą0J ]yD_d!)7:(EhъY%;SUx2ϩB(Zo{ӧ!ǔPG@[aMuFT}:zqz[Ķ: [Q^UP,&T-ÏP( `!WgËfls B(֘Xa. ̐R?͵Fn2lz‹k7#ʢYyk3h"ATLL[9GN2~ODnS|@ W^ǟ,`[:5ԅA#| 3UAa^RcKpdz5!wHN\~3f e-'cE bNoˇ ҒVE4 XO%Z8& +QZr?h1Ud(N${)6i $>al0;uJXǒ# L}OI(~'죤~ۑگ"(G+Ҏ;He^ *h]<X>6/4#M/k^V$CO 59,IkPW ]\n7ue֖L몍 X2RC=AVg|hz!Rk ,ĩP}h-d#EAɠ*#!nt`nhUQCG낈fJv} )[^`q3xQ"GhbZyNO3 L~!MR]{|,d9x3fRoV%zhS3Ѐ}u/ٲPO1]AdfoqkyqƒĮ>\%@p)6z?tPv v(- Ǎv JfowE'K[iG[j~OH%Kw>}u4m?N%g(;Qɱ(jz --u ~1H`aJ<\;@MꈬRi2dDŽvK?dP~Mq0Ꭲ>N3<޹RC[u(~d䀨p݄i1oxq&x><*a_cҖA>' 6g@cM#8C7puzΙ  ӈ1 퇠E`g@$]`f'0bPV +{էvc?FiLKt 4̝MRUύN2 1hԉ\ 4zbAEU.RE~9;'*fjx(~—^Cʃۧ(eoS֐!ۿ #vq?44$Na+[Jr{PQ|Ns_xSc21' CkՈhcv\0Z,9a?=ɩ{_(wp:tbNq&xM@U!2Th; E \Βu{&Q3ژ|܂[x|\$i3DnjEYg&꒎iCOُĈڥXPAdNݚ"{g*F3Dg RVP#۰Lj`s/SVqҸ^~PgHaq)ç 'g!VpUcDv.BGT1J7q,*UwͦAޗRʂ0F2[P2dD6>uhRV*Y)&8JQCD|%gقCF!b]Ƈ8gYZcd95896785bcffd4ac24451b0c3632f01956159319483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0813c065301a9f372d9582e8c1b6bc1a58a9d9e11