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-Proofs:threads=6elapsed=582.305cpu=1395.128gc=185.488factor=2.407zXZִF! y]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbVЖj !#(xX ug Uf0>Eq mšJ@Y ~Vb_ 8^:UNG{{@p+YGc'TUCySEP QHb#)&*h[4r܄g^[MLp0  ! HOL-Proofs_M fJ* DA3sAGbRm:{=~ P0[_8yшh@l ;9_}b,B0]|; 'S*gKЈM,TZQ~̦4EzT:gJSL;)]#+] ?u(#&,o]+xɟǷ^[f^KT*@7~A]=žZS$ک R~qlI+ }`ɗYP;{gKۣ㵴ٙ9'Bf[b'q0PZ}5 xZ}K Ye_UUT? 4/W\W[덯j({|TmOOSC.&P{j#FޮDŽu(o IGJRR#Cd![uxHڹȠ8m&tTk]/󠣙<싋*h-mfvޏU64NF8>\]0pd&KhTw)H Jɚ_ǨPrLN 6_Ts @ً\ؾpg!S>?Xmj 4\ cyQ DĈWʗ&Z%l1{&&A]n7gWV0~'A0x.`Dѥ7Q^1|`tJZr4cYJV,N 7B-//s& FQa+>Ynt"^3ڝX`߅w,غvZ0f|M:i"uȂ^?Y& \L9@UI3yZ@xfɏW;jlI&:f.k>)s+EŽJxn^}ҌUűl~w݈CJ89+m/R" &Ǖc u ^ ( Xg5ZgU)bTs}./!DOԕ>;I ʯB 4T^c A%p[:,l#A`e7ɫޠ-G3>3ҩ]lRA6o]33M+V5ɽ$Võ8/SH'(IS/LO~*H=/>dLjJ{\`=<(Q˹>O$P-ånu'X&4(3/Ye"̭;E]80 i mv%=7S9it0ig2tX=Hxg6"PU :8yΉVPO7x2Dy3-yn(3zXV4sKţfP tVkŐ14솻M~cM?n&F.3/T!{+z #*J*H ,s#BHCytҚ{*r^| }?Z.ċ~12{D_4SrKKG:l6hw{B|wo`E4*ퟹˏxܷQ1k؞r+9v'h'~8qH[$y:x)J? &εݸW0r~nOfLp2T+-S# G.p${~ߵG)WTљ3+vw?7@O*ۧv'RXA_HBqn@;vPUA41't"cFZ]f!}bhJFF\ʜ )oͧS}@}1I6C`7fSȖ N5#.;6J23כ隿@-#ؙ#D.=M0 0C?FM,Jd .uvTTBQw܇(^PrJ(˸L,2R귢eocT,m%''ܧ?%>ǰ5':JUx0JJAѮ9۾rH`b- 1wW;ҟ1osbEݡ4=ߕ}{LwxTSӕ<>%_ղ1kza.YRv;Ah5IO)=|Oa Zq>K\aF5">eo2{1&@ f͔p9=kY <욟v 5:@]mbo- u7&cB g5l'&з jBmb/El#3+&\tNk["8{u{ivc?p<%OSN0߶oK#QI+WLU2kڊ(eꬿMPY(-iߌha9c*7xC6Euk4G7ԖP$8Ad,V=eI$TzRg͍‹ܕF }:œ)1z5?(E <ڷ'PWwhDwC$c')۹ؔ5\ ony@/`7#fC2&Hf5-ԕ}2HԞ00*a:3lW֓>$!Ec)U0K;箒#׉T BAEꔴpW3_.dO"Sßi}73{\i[`fp}Vt "$QlRJg[*]h*6㛊Y(0.=^$yq~7ä|g#6lώbo0O *UH_>tK7)yv6}ԝf@ K}.f伂 Byno3oH>ĈN|ѳkgu ]$/%r-XvqDC_.0qS󄶃3/.Ӻ$,{t#*,>c AEɡM&+e.'Z".゙WyM/Lʢ]{zC0PΨYO.m.NUĔL+B웤mqpq?FkO5\ Dek H.?h稐}JTqHk>sKxfS:0Րp`@#5.bUK.r6IzWf))~ Z1P7xBfmW+4*{+xP拰Hb^u[j'29D s.ωIifXmn^Yѵ1\y\=J*n*‹Yb:`v=ݫKhMAFwvz^qo6fxrgh\;:~A`ttRC m&2&k c[ w{ͨ8@^.B@Q{KC)~%i~ŋ! (Ҫ0Bxd/vήa:a+4876g7DQ@`hޗ7/2R.PZ3S"*Yp(^3,%J-U$Gb4#!00}w2I_"wLosYoݮ`FpY_;G$]{kf^T^G$g e ^VE:;1OF[Ag]GfIZH]FT #7 WW!'+[p>,)Wo#FHA }~鞽T4_B Gajee,boZ~VdBDP`+~S0aȜq#L6;@Ke_ǺWY#˴v) 2dضO]U! 247CvfSYL(m]Nbsz-a%}G5nz MJ6k3]VWPۆMPM6*e;}85u#{(CP.`r0QǛb&3ͲHGvkA x\`+o^2Dv*}QC%v|UsKO| AߣG|JpB8v?)k,Bם9>Wҍi\)o g02T$ỷ/_/rDic$]{972ԇ1xl$X]@jI -uА/u #r&45uB$!|ſ$AT3MDEqec\n`&$f<:méqDTG+ؙAgO&r=hgOoY3=ӳ9C h.cky`v4uș<*8T^GC KBڥ>tA䃼*;Ki\ 57[6H {Tε+ Xg¸(zwB\#K8ԧG`焄PEzW >4}GEZɅNY^$-| +ʠs HN/=o?D;̕t9,yrT ^5jY'XkDVOLSY׉A H+ޚ[iEۚQj:--%8a pBTr7B(slV1Lތ'AMɖql*kF^IBS=3^^U2! >HjjӍji+|)/bnu5$QǺ$(/ݩgYZ7zXZִF! j]ŗXiɟ29aoʼz[%U>EM!!B)^NߟUgl*hJ<=&NmoOlc'\9p1L c|%&ʞ0xv AmtskBBxQ>G𚆟t'E*[)HEgw\3Dgi.QJԩJf4 CGZ ܭTQE`cdi [jH ^{K}tEDhwP.GUC%[ #{zӽ[wX MIrt*Yդ~uv,8!k " 9/zKRz_Pcl0<1;;~ -&W&Vqmj#u'@F- 4#k`d(sLEؠ]?qqe)CB~bޗnAl_,]>P,KKn~>^V^0 &ڙ-?kҮakWo` >D!Fۢ1_Qu[pUI;~0#%|@6>qFnr-=hHADOxZ8kȭ-x&x>>>lyHd*mOtĎJ݈X ) GsZ(/\9Y>v ?ߐP>g7\|i0x asa)H$w}ԛ0{<v%!j{oy[iDioa- [> +)8蔽R`CKU[ln+uSV{g2LZFM}оnu*>{ޏت6 7sJA.n,nr ڏp2H+U$ Ya1r`c.7*E``MPgvKf7,1t# p@vm쌏LBFɜCz@ƻf2k$G+ cS4 BL}7w̛W {` q 琮ebl.8-8Ax)EJɷ+<)X)` [~ T؆ .,/bbsjc΀G;Ux&fĠ=Q&d~-w-Ƀ| +E'iT|_%['bdwR9UQ-*S7;11I"7 B={i(;V9_ꨍӒY%g^, o%_Y,Afq'9ERqط{PHO"hpR`cMkɠY+EЦBHcxҜ=M+syBe#=gRyj$׬64^nwq9âo۷ \9B|Mo|Gn6v^hD+ۡ!^;!! *B+tIX&cw;*Ÿ z?7f3SI\ e\L yyDQho"dLu( ePȡ/HJe[mlt@, 6ǜ2ZgYZ7zXZִF! p ]ŗXi%9(Rk$akl}85aͩjQAECf\KC~9ZV2Wʕl򍴼J\J>ߎӔɾ `}ԋdxP&ۣ9g[uat>{Pg4qUö o(a6rt.']>u=V }3)Yt d|!BJbnh/jYqf:&y^>i q(9 ؛pԪ,i=dtބ'/A֛g} g:Q{,Ã_Q=;P7&wڢM0[T੧.3p8otI \$oLܯTC{D[.SibFɗcqTNf;zSdˌT7X s$' d|G3nVN\crr0[bWm;2>vYG _hGWЛ?aWc[cV:>,%{wT' GN5^;> %kJ9"זV<:@<>Uc76ӦxEv# wNH$q=OZl4eʑV%P5}F ~h=ƺLz0d{G].Z-r1SQ~/^ioWG`,ڤv>=R9z7<}nI&yH6%-kI+/d.sW }H5ܵ ,˫ei蚔a5Nhs|)YOW+W+p-% !ݮ'?z?Ic>[+_T cgNP:Îz=`b~s/5@gxs\ -E!t(am;NaʾAXU/w`G$^*:jv۰mu' P5?ЏK=UF28\?k7tMHڳǽl,U ؉DcIb0 !U7&]9 mz2K}Eq 'c25{'t5oNy*[Tu-PK* Ef1\5/};s7 ė;d|9yC1;ak *2MqEԦZ|юHީcOsPG%E1vAYC"DݬTn+1 ښsFRJ,ӫrAރoGPWPb̔GS +4Ш;ҷ>-`ATIX+ejx; ⏀)ۢ ҃L }cv:;0†1F]juoȪ_l6HÀv ՠ>}.A&,3[+Dӽ72 $65ݳ RXag< 72"olgRXL}o#WzN[S\Yt;<c#꽗cY0UFtCϪjYѥ(!+e`%u/"@ku.[ljPBj59Hv, b#fS0-u{685y*x.| =,oj:,\wץJ!c^^~]5ZJgOs{mrZ14p!Xٜu %R^0}bhqxvzQ꺩D3/*2tgyzKbr#w<,.rG#?ua-rm}EAԀ6'MCG'&~^gUMtlUCZ0JNo{oh"o7c{zv.zNCZ9 &VKv^R iF~?D 5_BhJOIJRehieBO\bwc- ?E7EjCYb*B=D%4 K+fᎬLochI8}dUBG !Љd7V%@֦ؗ>K0{oj֪,,O9xLK Dϛ^ݻ-VW.40z%MS֍($jx?K! z^@yaQߨW ϴ,.}a*uu6Ӓ~VĚHҾ9 w~u%Q-Ύ|7'[nדTw+FNV=wn 9;RDlbm N 0T6QT*\-Xtȶ I_*6j{'묙hִQo`T8 A,LWMeQײiw ʿ%زMX5y-{;-Ų7it q!,fB&ȻT=K6 {^G/ Pb"}gS$Κ };-^L M g0&k(׏Z*U).4qo~#t~!cx$/ CSOt)&uY{}OCrza䙨>:?!&Hsq&pWMd?P=`zTAN \7ZQקbهI K iE@]cv)ʀ Y(,khRQ 4-HeYD枝 aIjwvkKŕfY6]S|`b vd1e Y%矧$uOӆNA6)Di8ϔ4ϧDSg:#ڤq+@SBZwF`{xMyw| Yi#;q Q0!EpScĂݴo2q";Uj+be;B6E-;]}7\|/~B96"&iM0ul.gl`Ԯ=سO(7e 7$B\t Qrb"揪 s;wj.6Y]S@6{ wx;5e{h%7}rt{uWo"(h8zm@WVZFA:u] `@F[JQ91Zer6_A//UuTx wh ((w|nX0 $ iFl:l齁a*$mƣ(h[-^80٘ÍOX 7ҋ2}=,j&D& wJgUYٝ4Vz[-P ݴOQ H?fT}ذF5V6.Ӹ@5Q ! GFG;1iͯ9 q\&6[ÉhV~߉{Y&6\3`,WE#@8!)4Q.(8L8F(1>6|+4T^l( V|VV86g 4 eՈ(p T̔աDxg_JٓVn H9-+<QHuO.,[qxoջYNmKhG!oh'_ƲNX4s9P9U!sU۷0>!Wi9WSoF'~ꁟ~RQER$R_5$6w/Q~ bzj +-kw%I(绝D5waw4<*Q|$jyWˍޕFBl~`qn>O^``J{-UYv,`38)%M+Sj4,qc M` UZceue+?)Ey+>)JQt R%ڪ9yy*(F^ް8B٬0B8*nU!@BG@k7!5_. VOhm?'MEdQZ55pU7a'6﬒PU]cxECF0rl^CqjdbvFyG^SMWEc$݋X{Lu 蔔j RmH'A0I,vиAZ()ߕw*Ueu-^Cܩd:zYY_.$B:By+)y9F%Ǫ*Gxq% ;50ar][S4͹It k_|ZyȡKQn>_ɷWLׄ"ɞ%΄$fƓЃxK] \ˮ8~+q_m8oP*ș4+鲑+_+ۜ*A$r4A/0ޒ+ed-w#fV%:d #JGiȊ4۽R )p G4ŗne@w'ո6uv hlbWQ,J+ H>rz#q#spy),@$EwݰܮI幑^R j#/QOaM#·9Bʸ:\D7 ;WB9ܭߔ_nSL}SboSLiZh %+A:oL5xUߘ2ktZ(7%)bmܝ̼,uK5N?~[ϱ5r k$(Zã(p yO*io:b@ʈgJwwyn-c2h8M ,/9či\zO&{a/_sc +/+Z7˝!2Zm5p*RA]M TUvuѢL-j>Jo8>КY, xP@Kz4 ߩ)wJFx$2jx Mēt6h ^/jb}9MuBr=x$}(dG&^=XJH-D >Q3hPtS1j]odLfR&T8>bְL$OI^3dnmO' nr`O=!tcMR(ß={.dh b0p"Y P);YtLxf&H0l]\0ϕJDEURpЌK'gUmTu f_fnJ&C>@KDUЀ)_E_5\vt)15xo63#n{^Kjos'&4Yd;iNEqckj&K:2@dC4ҝ L9Is'MIq=/3ϑa;l锆}~}kD.GEze oՑ@$w ܩ_`o%JP }|}df=!8Q@Ӯ7} esYXAӧ! IH;5wC~V|plϼ_ݘL2pdogh'-d[=>[Z]eԫMkO;̭&؝k?afogmλ-1+@֒& A-*[_e0Wf:{Oؐ\n :SP&U$}en]- bv)W<exUQZ6lo8],4yzKS5gOpלƏEb9ɌX 1Wd'vU8I0_c랫=I Ɋ3`T6_x\WE-e?WGZ_췽zP?[TQ$~(Lg_'K+>TҢjڠ EL{4dȚ›;YcV% <,;(tx& Na "%r_6-7x6z[C@vt![/S/ϥnV\B:OŸGML5.)D,|cǞAs7Eyb='l }I:.Z H1.8y8R&qwU%]qU8T?kT]e8&#Ѽ:}AcQ?~ F&9C=D7sWq",v7{ $%S<+r6+6f8&?˻snet$Rzz{g{M ߼=Vd WB#mHcTi=bQ*$uJ|߆UW׶)"罚)x(M7glhq=%} ^B逝!%/uQ0 GVE*,e=E$8j`o}Xy@ ޅTDݧknGV&RդD]jpv:\ὃַTA6_r8#@ 6B=)םTðk}~ 'Ұ_-v8F";C鼯xI< \ !玮$E1x٬c`ЖKxMX.;_>^}TG_R"kq. Q= }:bu`E&^oUuY{2r5<.M#%g?LWUlB$Oy,zhzeƃ^ǩ6%+1:iL%jq2_hB}3r0fR o&_ k\o6ɑ_}>I.e}5Z!#67PP[gc~ ;$ &%Oe'k8v7<)exͶJ-@X-rndv &E޴HrL XM*"~FNj?تHc8GajB2h3gҖzheu*J<XM>!r*坰d3tW]׌;}*SU5[*BzK\6Kjp2\% ұ@2$?DpzR$gLx 3}՘ՀN,"W&Iڃ,AQ!lOC[]Ĺk1gt7u˼ԙc%j1 RiV[ yeQ@hFL5̒R!~cucIp!̀t6͂I~:'&S8ޣ.ĸ۩ӺVA5tﳀlZ`h)Xk~S M9)#_H%`(؀`ƅd [ )>Ktz? u-ޔ ~Lu;0߲K y; X6z:Xx9ﵸ+A1jqלx'r2jkgrn\J%j (.ve稘YE]xsğ{;٧r2 kj\I@dXiFԷj;8Frʬ57s9vW7I>sJp9M*`$u ݸh=;wEhVB{S2g O bHMUJ_R-z_킯8v#CSO Wx?74zɹc_TKr'q7 2t~rYCYTjxW7/اjBuM+(a$jWg+XD;0D#ֈ}OՀ`ϊWs%UŠRLxV0|\*vҚ4_hAaĖz4ڝ Qg57J̹:[n+?8vtSa#y&SLA>_ǛGfy+*K܌uEkbh1U'hJ+]C,ZkQry{?Zpcet0* j+hRfh{[@Fv4&tYhk.^^VwGY6AE&5\z?Yp"Z8Sk< + 4gEjz,IߑuM+!:Bj*-ppmM+DlP#{EtEY<ʅ\BoCL$z]ELr8AZndvTxtY띢~j;abh5mÿMʭ ׷ D[^e)~)ڂVt6Ko@:RR@Lv7r3 l$c1=$k{!jW?S `*;?P2N˧te3i7^}hjWѠ_:l==U-j?u?xEsbvoBL @L*ѭPv4@Ђ-e=Tx+`<1f|oK(DB]\G.i߱ҖőDXh7jN`/[z8Py˟'so38Fk@miߛ )P7~6@%>(IM=}=et+&)y68D_nk7{ jXYh( -*D32*Ćqxk0uzx[av}m:B.L?4dT#6AEXT$rbtoV"TzQ1i)0^"N~zzr&9V7+.Τ 2ogk"=.+cohF(ލo~ ZAas@C0& mC" ِ68MJrU㸃7, j~پm(AbWA MVƮVml]K8Ba(.2KTG+?RL4Knȗ7{ɂ/١As ՜Q̥>YUkiFM6m<ğ2K/"uMi솸R(ڼJ1%aŹIb{,|wh5/nloҋKku[~s6d^n?-@ϰbb~ɸx}r0YgM;1W "evnN}9XPJ;w}c&Cu}D)~Tf4EI􍗝<4 8˿0篾a[$5a۟skF pUmi_n{,䟾n=R `CeE͠?c);L%>@8k1[z͹vيFe9GM>^zNZ΅*3+w>x:DZJJחm][ Y\Ӥ؟l<Imq iShx#i/#*韌>rJa9 Fz$tE#nwgh tnlߖ4 wv7bRn$ZoYc:7퐩.1V_ǔוRlHWaNnMx"w/8yBwiS_Y}]lReiPqz 0/0Co$qUgΑrL3CY(a7ZusJLJ\B]H|gHsF~bLJgpaM ܥ}/-~1*j0$_{"䋸zPZcG!,~/CW11 {Wc<ĂFK[8?SʟXrL 'ư9<peOTK}H{-\ V7>~ 5ÇFEB+hx)sTut6!@zr }ԍ\Y%lthmk_R {k`,+w%̑K]M~qU ym5>x@"h$,bP&1v6I d=Z9?/h7$aa\LFDn(V?=R-rDBS AaAk:ݶ~6@T]tdcX൵g[*n ]W*CV*`u؅`j( Z`wUkDl]59C5R.NAA'Ѷ8ZNrg؄BTad=E`ysbQ4Hڋ %@ن8¾لDYr˥\s5G%Ҙ4L上*C]:bj󓜒`T_@*' e ".fMOx.C_saɨ0֜[ $ qvؾ \Lmf&ڦ}CAaI͟/lD0r 1MF(x&3{\@e2s 'V8FCE (/&!olnٳǕ8Gsu\47%3Sa&:qnP`fZc .O>:=#P_< - Âg@Ժd^dngF@zaO~'NVV3D_9  >1ZCa'tvWIAp/_ۘëN{WgFXeK&Y5]aPN0Y\~@*H9-ZtCNŠ$J Jpc2=9FU# <#MݾNMh'N7VqJ"170$:~ӈ~_id|!,&Fm\*ΝBcNEHF)lj\0ZD~MJ`HRQ_øv颀{ @ͳ| ʘmTo}Ɋ"߹U\$@|R+}^f8.>%`ݭFfrXY:u`:RD]KƮ\:χz]EA cMqPKSϨrY\SҔ}{|Gt ^-zzѧlq8F)S2EOKAM QL-1C :>Hn[Iײqr43K}R 4u}ABq دRq\iPdºuD}I_Kٳ~6)3YJ3.iDx/~72Zۖok 6c 1aƅTv1y8ʱ(3 \N"vjÅjʨu8۔qw[g]>C ۯa O+ 1Pא_9soʘIQmj_lm:mXF>8c LuT7suH@ʎkI? r-ƩֻEsC D"Z|hTN70bRjVTpe?p2ˍ(O-r?SWݸ;FjuXl$к0nP~/!fwqx}O7gH,nQWQűݬ>WsҠUӪ)=qE>vr>=}qAV>(84ObZ]>C9 [Tho}>ǿ2A=ԩcfQ+@xf& U]9m"wB6mU颵Igbf4>Da-If'(u6W7Mďި뮁p{}<z!08Nf?IUѯSh$_BuKnKikfѫx£l90Ԡ1/8V1l]VFKgoq&uïxo7OvFUwyYOH!ʶͱ|&Խ5) lgYt=wߥ qhie"kuxh aYK>! l+Zr mzX@U)ncm\r=x!@2 wz,Ie]+[^.pCq龜]5>fUQa5BZ;50(i+ѧ~ ulA}5u)kPbmFxuě!#bPpkd:tzǗљ o"0PrQjKHP?7txTI{."iAHKj`MHfz\]<)ϴ{WzH@1dFY_7Vi2-"ɠe Rh&ڙ{L(qTOƋ*{d[$\dapM?C$ /ߍ.RpEPwCm=^rѢ}dh,>dFI;tw3y`f}@Lq/wcE>Vq]JФП[wŰQ=%$zccDʮRs{sN *_xzpkeW0:K)X"hQqO$?g=G]V o-|g:u7`$hlaFkT͉apW٪ClmRN`GfPZlX$ wsvzFRz3vs8|c;H&bG)IX sw\ r.uX~fOb>R{gRaR5(>4+qkK#;[$pF=RO*w8)ĮP_H>%V:,UQ&om00XT#x6Hz~!f1w!ĎV 6dFv4m#6#&0բ.o wWET10Z-^ʞwl\3Q]Nм%OPW0j %K 3iVt\Jv! Riڀ)T+.c$]Ru֖C20j8=1$րo«)%1m]1sr&6ФKNTzIgP$Օl 1[>G}yx",GI9g礲;A1m̍$sC v,6M#"GAhԔ&V?%źRj`ŜJ^+a@46i>EC:ROZ34QQ">Lz0TGjZrU1J<$,wĢ U$~ zRE=:Ub!lNY6Rڪ^{DEUC$pu&t }zJ_-v8 (|}G*>Dv*2K:ˊN*x->v3dXcIJ 0么 ;*RL[Uv-Y)6j:mjY^^FUvLPe|`{z,TU!ʹzV:w {BS'>ll-Z|+&I~g㞆z\D{tW\6i=9seہ)O Ne0{y?b7Uq!VNL۞C2ty G|mk2IFpt?M1M&?k_1}=@P߹>:Bp# l?um볐Ʈ?Ԝ 4 )np C(8͍H~%V,gwo)L3U=Ǡh}ābqN _8?qH)2 &,\}b%c\0T a RW>ƴ8~m'@!°xݧBӤZI],ؙyx)ۧb| tӣ^ )Y-{n2\Y8DӸbD_0:0IuWmt? 6V'4wb 5NsG)s{,<$2j|\y/?{,ZmP2y~YfϙrΘ7 ){`zb;E^[}ʱE.؅Ҷuߓd4أƠ+Lje&=QM$ᑤwM!\\lsi68m>-eG#m.s<ɯ#TTPÈx/Mk;rkݿ08ԣpz殃[QޙzE}PƬڻռ'Iage Q|ەOFyw #.Ӟ(e~۫FO7 #vFKC9g~)xvvތ`IGtY rD#4$+ 7 Mi_:&O%fk"d-Ii/Zx jp;SΧg7?~=0PkZ:e =?tot["./C &$ˆ0":ou ,{.*?f6pP IB?429PK#,GmLg?N޼=s46'Ґ?>ނLp2l]Eoi_IX\[= @s uS[THĺ<֖>L \>EKgXjI޿+ O+`R&c(yWhizGTm[.̜~EKiƴO+GTQl`GJ{*0!kL;wkOFo,iPvL 8g&h%Wޕ\t=BG@`ŊKM(1 d6dN\k;nO4ة '<2e@Dx{6aH3yVO/9džA2eV\LȄv^nuaWQK ;Fdc D".$e[54,:dm LzBn@bCht8j# <=H{\FMŝ-t,p6)SvehU₳I?kWEC#Un9T}(j2~5R&(E)^w̆Aʢcjwrx`=ɒǘϩDCo oI5]nȾ1 lpKZm8v"s:âJ({$H`d'hi? *~3N8k\kq\yY6iZ( xo'\(V/ ys\Џd<"j`4O>e͠>BXN&":`xp@Fln^˳m ?Bğ=r.Q0'5NXaU8[hwD!Sz~G6 '#ߴlTI^Hr[Ztݴ]6+ ']sc)`.Czv.sWn;̝:{k!Nd0B;{c@kG = %x ,rAvW]54o 𹱼fJ I)[-. @/!eSŶg">YML=ݎ)UYd5'^p_:M-T134a\!>Mza :1N!]c5nd6h% + C XzbZLlMI :TZRa +"wTC7Z(᳣G3Yq ϸgqfrO7jּZ{2z㼛V%T\e>2|Y(G$d6%lHH>Err^? rj#SBN16z.p'Jq*^p҇"jު}«/Cdڀq.PdDSR%h[7lv)pwo"=3w)[T+&\=YChcA̢f2P+!LLY2c'Wt?B B`37]w^If@ rʨh7ZȿRC:Ǩ/IFO'RKa\@t}M=I+WXyɚFg+T0,d*F^EyXdJ?:gJ=ja ?T#UX3"eke7ba/C_GRąN6f#Rma9r''n[7i<^w*/W/IźS'* iXxO9r;x:Nf>JUvb~LwӃaC`T]K5gf8{,D,XXs*d-V6Y<-U <&N.{3!]MY7d9b:YI+0kf0 -> bwWaR/+.|d9蒽@|$' |%J071 jGH?La~`FT(f~s0l؜j6~ZI53<〺*oSFS3v*eE¸u:9͝aWsD(VP|E9_-1}CpR3rH-E)zi3MBko U5@'w P;2]|U`ؙN ݠ$zCGbheDȘˌv*[XR QC T`$ǡZ5P'eP-#zs s"vVWͣY$]ݻ_?yU#G OWrSPO6`%H{2\@ 0 cΕ`EpWǦ6wE$k+TѵyE'ſT\rEyPQm ht` _V6}2+>5)6{Ksdh<rQeel+;N4(o%/ofFXd*x )B ;7\!HpO,'wfodou Yl ;>ۋ,m yG\/^ULĖ8 Ġ.w7#BmvM֛!G8L43xQ`=_G/^jS\'mtv'A(:P l^BjFQO[<\qR6:=@볤MǔELBDf rS:+!rBtk66O@]:p$gT }aZ)> "%C ekkf:yZ&dv rR S1x|Iq#6 _T>JxP" ޙuPHRqZ)0 Z#4D+cj>_ef'ďs4x @Z8׵>\\e٠LU`zw%fMȃ2fӝĄM}/\pDE,B_)Pffʊ/0V]s}ɉzW}j-ܘKKW}9`4MK`u),٘O[`q9*|(V;/Ƨ[ ua3!ћ^S%1tPΎ20{IɾG<6 rRL7S7ׂ=Vea._3s5a  pNxyskLf`4hGÜj$B( 1@m0#x,NPjA=A:CTczWJ2@Hc]>McemY+֢JVy]Ǝa.kx,͎ AEy`.)DQ@M3\#zD$hb`o׫f#k0x[ j7E1c]tKؠg(7x;m.,|.K9SWڎJj~#рK|\R6:D:ATDa7y*2/SGqA授TcP]IurrD5\]{X8>Ar =R*]SHPdvU=0U;iHGU۹Qa U`߱ ȏJNihR-1N_xL&"Qe椿tA{6UL8:+m6G>6gQ~g,h(u[` 3JEt\,Ѡ[WnxOhc1 _{𺲺AWZ3?Q` ޓϰE՛Ӈu-ԃR=.Uz!4v.1@_r1nq) g,Jy-_nmwhqN="(̓A{xSeL:9e5QHin2 Һ'LVV"Z:rXYB^VvFR}TMGۥ#MǕ-XJltB\O5; [N1gGP\TӴ:]aQNIRvm}߱n*̢ٙ^Z/T6/tiN.dx0q܊ǟtxn{l@sR너Ma]ß}؁i3僇B $Gx=yAO<40w&Xؗm>atEO9Ul3=3:\7ރ|ڪ{uo0!Z #7 ĝ"VRSgH(s\dAEIlO`̍s]ڄ>+*sCPK+ B t@HsR]j 2c;FL?K_8օ<͟'^*Ds*wS䕂Z,E w<6) Ur[B2fܵM?}RHn{15b 䅷N%/!|/ZqwYP7;o+ŗx*]RH2DڷBJ:ҿS4/^#dxw{0瞋8#/ aSQ[jU"=.eN&0BEܗ{?6Bi0SZ^6k)0w3mx?7|8@-x y{; V65J/:.-Wzk5P'V:nz.ƂSpT>ڽ E9:K~`#X2M1 >pM9.%r2 +`YU,O6U$z&cѽ>tLΓjg^ez_ʳG6 ܣRTѻPPbx5L☖v߫1PU'G9KgYZ889d3eed3a894a74e3832f730a745eb43393e1b2f7b1a1f56b73dc58bf54d6b554cfc6678c6e3f4584ecf9cd106015d2af87dae10a9062947345285a