SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 %,d wS]HOL-Analysis:threads=6elapsed=305.965cpu=1305.868gc=81.372factor=4.277zXZִF! \D]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍDm*PEORN?ߞS?W0@9zyq' Km($g_,qLY㠶rW,@{=/j҃NLuT2}F:]}l$dZH^?8'ϪiJ'Vc^d6 K,T%yK+3x]Wh&b=8D4'H!.ʵ#\zzEoc ɳ%O1Ϭi,VA+8rE>X,B_Gd+eR)kR@>V\hj\w+ҸoxShz9ޠBr^mfkBIhw*G,7"8f9 Xu|34*.G%]EݿB+Qd w6.񵂂_$+j}e6 V&>cMŚR97*ID`Ow@7Qє=;޹_ҝZ]ٰd/u, B3b4ŽZ,#uL%SoNos0tZOTG:@JD"eNעRQNPI1^4Z2KȀ=O|5nwBwR1ս*y'USI:X3HJ=|2N@Z\lPT;Bŗ &2c#c1~N+)ێ%>?jˌSۀ)~Y՞n-ԞwO1ڴ?b{j*ZӋr`$M)&ݒ&pw1߀wtsW'sH61)$ݽѫs ֮sf>@%ĽdS ZO0gX<@"NH;9+;^Re~YLN1tj0>#L1k@YzZԡxs@D\BljE~pM͙d_+*&:m^6! i-e{Hpt6gaX 6 AɁR=TAs5Q'iԍ8 (. ;5=6uQ" =?NijU `SUͼ@+׋MVVdyT@Z)%|B| m\D]>F>m19&=ˋ5KsJϠKJO߽Z\i\SGǫ>CP=um?HO})B3ֆ"QΗPCZq?qc6O=["کu!rd$YbZEkt۰ehsp bqU71iޟwFL u^HoG*w AR ^o歈W3VtņH̦Td\D^۽,Fx zO$C(X.;x>`Lnq <:`nܫGk.#i-,e`f UC%3£ʀA^~x}>,BMj$B5;|Bާ= ڣIr:f%y50׹ld557 ,s yZ>GHN.|u5cQZa1@lfi>f4()|dȂ yL4)3Ն RvÀ/TjF`KDW:| % HOL-AnalysisR!03MRuh D7pn{(T=/]I l8ZkBm;D].o33Q𽄗 ;>B0fp0{o(qTs[n.d3,`PS\)^Z,fR{- a ql뿧 KPKޢ:3CPGvG؞NY: Jp,}6mHJo=+? rF4meq 0i,*J ^9W g rikG:LZZR]M"\|TR&Ρ1"HKЍ{^]:p`Ԫ1Uq#L&b rvJ^9ظn~/9zлpڪzl:ڴYbFFm2 ZɇZ_œ{~ r` +16GOQÖ:'ygtE޴RJY}d r`~z/ޤ aUMG#5ޝk Oefe7]lAQef씕&t\ (|zL(]5ntU][vb pxlR;uw.gcwAfj*ΪL1u]śAcs_1ӿ8,^Ҧ>n/(#nG~)gR z qIqZ@͞^ @mt 1e e`+nKI`)h+jѓ쫩Y]Y!,}|U2uiN)BIL&pgvF,fžlEqNIIJ2Ao)RXHͭfLJ<tz!lh<~#/hsOjoW9炔8Vr 'x9xy+T|q_Xtk/hfB"I[|[GA_J!>pN:$QmN4]ZL+Yݲ VWr(x)#iy?.d`hBD6jQ_S'nxMx~K蒚$S?AfD='\SioALyMQUQ9`$@v \FK+ej0Qyʳ$z(LFM_;khg1n  ᜖k@9ޑ$ħaT|)^9h Q]-s1oIM`6#J8%?u׹JL-8($h`&$G:Io>.#Jd;ӭ0jO0z{QQCb,| 4KY\F]ie9yk7FO?N'a|fq- &VmIVSxSq6?(5,Zc2jB[[;,y?G-X>RƠEJi y=_&8`KW!ی ~L#bYPz\1VY7܈GcBKCjpz4,H>#}T0POͶ |%w0vV(K디rLiZx`[-v\}eP K̴ pɞ7T,tpH+[м::/\jgI,Ӏ~dXʶ? P0ճWjN'ɪǠ}/RАcRL JE]va+0@* ܵ 7^7<ޏ, Doһ&@5%\a?Ӎu+3aGPU,i3TDS^Yf'0x#*_UF X#ْUB١:kUec,W{8G''%;뎱)\)&TfG%YMNpW3)/tπYOӪmQo8z7QX⒠ǭLjSn5ӕY>r $)Y'hr\{x=2 Ԃϊ/UEېFm72 ZRzKS2$_qdÇJk#W$l}4+D=rwٯkBA(ޯd@̉'5,BR%h^^~l*Aۅr1UR?H)U<zK1LXJ6̕ Vs 1¥N櫺^>=׈efhT$RޅK[UW\n:pjqw3 4y6n5AS:Ir1/S*/}M)YW~q.m ugt KYHi=0 Ŝ`6@ =Zv$%E WfCDp8>,TIZ[=:(B}h{>@:Nc>lm0@txMf4d=lAŸ9#^I4l˚[/_8C_xW18'=񶳡3X60dy Qnλ ?'cZʘ}GĆ b9; (UOvd~8r=dA`'9!/.|">X^fr.D_ ^ەc/nz\T W̧"ɷ,Sv,гXΏC±R7-@|?:,T4bѕ2^)#lw]MX+ LhEqiּt`t6fW!ʰ M,`L"Saݬ пlBumKV{:GLr SN[y{oC`d7d}H)[yæ7;ESg’xxh5wR6AB:|bF}S&@|pդ1q.u< Pa@ rukc~nZwνikqCfdGS#ju_gTɵ2HyW"_>3닎r? ,cJF~xHNawnf56J,RjU}ގаal['r$JɦҞF[,:i(h5ZԖ*&񄠡G0eRϭ‧j Tmtz4n|i[>Q~~z~0S/|!=+|Ϭ8 ڂ PӼ2Ҍ|WVEqh}kL+d6'>{VJ_J3moSF5t\!{@.%2ʳRƦ86Bn6Uݩ7GJܺh_w/kSνs^ݾ)MgV]7=rů$}FF'-G<>}aWI4DltzSLG#(WghoX}((XGp5 e?fkTCڨ]%epΣ".B 5 l9dila{6! Ud7nY DRyCp]3m@8dڏ+F2 $&Xry܂z!VWMVwF:w)UQ$hE;?ZN*'ݫ1Y}esGIґRX4Srنy^x6zs@Fs@6εO!)fĬ=ΘaVnsv}Xe^ƕcEx`w2es߅ q#Iکta\9qgC}ҳn (H,I΃GuI-977Fٶ@ iO0=˂~׃-X#i..KC,R"9vƪЊ2̺l)%j^|13|,Q0?&HV\w3Î0v!kӕEoy)c_/LFZ>n]FN-:,W#sg+y6=oB;$uK0Uo)T:ـD͹ m$c꒴xK!FOQ7kT2Jr`w͐҄ ʾK` 3DDߡm"Ъ"wm78+wXRRhWfajcpȞ|SFx1gBl nr籒ղLQ^+L@mwUi>6Hrl\s]a ]V8NVGC^2eOvd|Rm, ;5>O\xNC~P'؄\AżlP .W}Lͩ-3Yh1VoltN_n{zt'0- 5_˹37'$6΋΍ SBg>dS+%D@Oĵ߽MBl7qwT / 3J+eXOx>d t`Mޞxx 9MVke;lE(b'oBޡyTx`VinSt}%u U,Tzx')Œq&.y$8B&BOFsȜaZh /ӟ{qfY ]6IAz%P/9ߒAm=VG& Onn0lBPR@Oe{f Yr> +,T)uH7fbZ+*ozg4,p$͊T|@YOt\uJ0┡+b}I*7 πo|-$ր2ϒ=m-ov/r~m >-9aij5i>]>^w,mK7·:,Spoʚr:Y-}-OeCY9u6S ç sѱ6TlbE]4F*UZm=EX:AHm)v>{VLУj}e*׮pxBƬKɰ (ܰ-bɛnU1FSh,fZ Lj(dtg{ m`.EvW*<ͪc LΙ"k;f$uDѪe$V5wT;E9<͏ڌ[%rT^jlju Jڻ'kOoMKt 4ŢfIZۜ)_CCvb?_)owo:Ylf-v dr"_ћ2jWʶ_\ qmGx(s7*8w6Gĵ S5]qA)˒3~~qN!kT$Dئ集23'1~3*$ѫBO)' OmwcVz17ڳ`P(r Eɳ%_;d9i6 Gh (6ȓ,dTJՐ?`r9;Ί_z$dm\ܞUCBC+_~epJZBqƏ^iab }{ \m'-RΔUr]+ײt+puIh\=ݞpnZI6b`g2ޡC4靺J%@'Z¡%br4m@j[1iPJ%:$%䉡A*K%ںǁK8˪jѺic!&z~Q#P,?LaܰUFI'@+ ],|lv+㔳m`&-ڊ>9'|Wha/ؿu_'oaX{@eΕdh]! ?hpɿy*HR %Vz(fXPm@)f1dRE0\RF"u ryrqML$D6Cs oNeΟu`Y 7B\+fSN$4O~S@gv?K:I3bpûbE}ewWZF Iwtӂ9zڲ!Pm+a>&;YK)v s1H-h7ڱ< H)JwB6``NW.e=4%B$4gU ~Z&i?!r29x [ɁxK[VF)W*qgR3VmGV1d{LC.,Hږbua1)M.y&'00mkb֖]GN|,ݻn$&Ȃ_8JO<_wkTsJJWw2YETך.@&3 GLRbqZ5K-*:^2ܾ6p%񿾢c鮬-~AydMQPnIRTXDN6[ fel:kmwIgρ䆞ʾԿW#E̒I8AlEniyA}>8t *ΆLo|udPѵЉ9I=K.KhTG+j4_,j bR`N*UµJ"?rDV*~VMG2RA[9;*Sa^6qUXfR UQ{9?PD z+,|j.j u@mcb1 ug/@kW$Z ʿtVeU2.w0QyN?ѸtnΔWde}cx6LvKx-y'VM zfS,8Ѱ9*#8@.7fcP@yBXNy![BH kaݼ*n䘬 ~ʠ%8 Z+̾ZC?[~n_݌P)F臦 /k%mq(IHѼ_uZ(Ko2VtlÔM5ϡ! lp܌<~{/dL 4sz%x§.J:x..] =z -fJ6i̭u@R:&Od~XmA|`_o؆= h[OTW'J\ƅ&I*/,f1C櫮6vgf!eoԨ0:f%=2m|~:3㔹i'jYm+a &nR6>;P)Z<\~K 0gGvF@Q1=2easٖnA욆ir}/ 2+r1Ou>tїG~Yl{q< VW&^)y:b4mujYr~ ӻؾ&zmPcjb\y#ᇮYwpU/ZpFư_:{a9/S463FCoR9?;TUig$#J7V XywЕZu>G?{g9Eq~IJ}9n E2 @FV agrx> mj+Y>Y(G/_p?w8 4;IcHL7CRQ5m9ݹ`0W (4(_eZAkׯ,\'TͪY ,a^SH "},Pr#>snݰ]G_n6;0KIIk\$UƲFeۘicDuyO|/($&iדK` @d&G2>dR%0&S/@N宻Dƺt%ph$/LaZ3[ϋ9PGRO- ;<6>L uyY^KvxEwK&nRM>#wQ2fA2V蕞5eB~9ix5;*D2cIz=ybp,"7SzQf}Q O2zj0W+k>1S[y5,u< p9u2a,IRIrcB]NԪ*S#]ϛyY/G=A>t"{<]S+D!&~~8lFG~IsIio*!lǜ"XypuB@ y!;XG*ՈCRؤ2î(PVikM!k>CƯqb[c`cqy?P4*'%>5Im:/("d2Q{݊2۲$ }Ucɛ_3>U|!Ў$1ˏWEWJp{_ )j-}FT@ΗAxu'cf'k~ !p9"ƣvȌ `[Q(?0B6+RF^V3 ,ԦnrоHƔٷ_Gn ?H|ĀR1b ܹZ"d-S/eI6'.* 7,T TfthD5_O+-JN= FBs=$6 " 1I#ݩ]B7=H5w fY enLMjH*r{=OlBnye2=LlM܇oWwB/^iϺH_/A享*RPpgDzJT;lX"acB(pg{OM߉2\5g>q]e Bt|ì̏#64>o$,Dr\[ 5͠0C/|S ӽ@-O(<Ȼz68_s# cf%נmI1,#ǓX>$%{%{Qx"ݪ7֑&lbcͽ&Sa <#0=cn>PCs pV7 hL#;+^΍&~҈kR2XG\V1vפֿ,COe>G..r.nlȇHKO3_!n)\ZԚbWfY 80 z05c2@l4Z[Nߏo1wt(K, i]`Z&;\F_8 d0LO4 SRR.V+bd]/00>3tr(Hꭋ; 0.wWU6#S.6n=엶>-E.YzܗX`-D,R|-^|VmC:jgU2Յ<-Β]%譄0A2H ;nѯ D"P}zа^~$ο ׻AeTFL|+'&jfyJ=ƞ4Z\RHI{Wք-k`t0]kY֎{ONPJT2X-nSeơi ڦ3&>fnL ݀JLJ쳪s-3Sӣg`niW^$X/O$ !!gLV9H 1/p\7P'cAOww}1Tn[]s}i򕂭5W8p4V p;4P!EmFԠ}f\c+$*zm7:p3B#QU~j#TgDO ⴢ ETtz*;y{\8Mp kQ1w_~Hn`f]fƸ-Z/DȲ?} #Zg` zSk3g[59v("uKe"q5XkVԎvc@hB/+hmW7@%zM@C 8K( R `B ir<(C Z+JFpݡ\ n%\odۗ>':HiaO^8 ZnWoh0UlT1 LZpĒ5^6jkOmG?Ҹ宷pվwq۟bz |~{ޞ857N'-z%x r({Фk4nTMUC$"[(#%Bu!P|l/2yNKhH5B]vH[q]>SP &3Azy4Lh&ʧţ TBW'@]>mC"8O#i߲!~ . Fy54(:_bg,^]is&ʝLTh:=+sxUz\ {4) UH!]bUs1?;]2Aom!♚3/cdܸo /D~C([YG~ȸ؍0riZps/1" WͅqwS,7)]:sNδᄒ9y& n$k`q3fq * 0!v4\Mz`JL翵arx[ 8W.W"{ɶ]Ɇ)|t꽊d1\{ üd!sw_'1[1< ջ ea gM/@V,nqVLKLEl-{o˶klQA;`pF'yXܒ)~+FQn'4r>H2}?#Sᒒ_4VD[B7vp٣*@=>N n[~/9_ IEI4YnP38bV}1U(geOĽ&>c/dGR,Z8i70/47sU{kKY=&642Hf5V x>$!Gno@+d_F:# (B ês XLL̜!{~TEuҢq<|:ݛ@D|H+X.睇(!R [׍|w0-< q{,,;r ͫW`wv|$ *qY>b°|*O'|0KK$Ya6rùΙG0L)dc  ^XsP,~-Y1B}iI Da:!? ޖu=U4K:Dv|yhf%權GU96DtQ޻Nډ~J&}b?wd^1b*Axu*ԿaL+d egYZ7zXZִF! nZl]ŗXi%6kNȼ.+PʣO=S,A {^ryJ;(I :FsflܿCo۟Mh1YE9Mg|Bi.Z(R:[B6=W~%10_sԯVZ[s&PzLTmTThtL``1!n.NCwKM4|اi5 QfRHβu`=:8kI}8ި5a뺢aTl'O:T ׮@LDa94VCڬ3&o^x.Ӎnt`PWHڇpVfA5 Dbgnx@y5KP+ ds4^@rvդ 3c3rZ_}! v!ʛ fiu:6U ,bR鉭|N 4lW^g4 #Tq@b{ـBr)lTL6 tRr<-_h9%̯(ZXz,s;HAnC(vyA쀢529ai/$ҙ)GJ[a߼N>I@҆.wIȀ vx>Y~s +eMKRyuu. "2(̷) ]^lrYy&F[аakqИ(68kץ*MD`z^(ayx+H4d?sKmDRKhw2m )Y8<_Mɴ@,l\{(_?.iLނ-3pM)lZIoHERn1wm? ZBǎvKЍ, DO#8$LQ UZm_LO/C\[  ~$ʜV'*VIniEWGO40x!TI$4^+\U!<9fp: \.$r0~@{NB1}k~j) g26ᷰ.˪@ei_i F4ē~q.68nE镪2<}/'Xܻ8[эTc*;Ţ]boLBey)3 WOTuF'I<&ό,U 7!ZG{FgkS(+kZMP2j71}`^m+=Caq),~LS=9Uq``QtdžUHfqeJ6fDvZlF@Ti\C07ID~:ISk]s^ʌ3uN1I!&֪b>-qjH&DuY8Ju]Y!Ÿ >c370ּ{~x ֗!Dy1q6dB5z|b6hQ Gc- UHz3:Hd*rJ{&4j_?G;{1٦l ?$b#Jh(1߫dzb>kI lK\ qZ&KCL>H s/dF|F:cw3SlB+PQΏ{btp b&fI~s͐O_tI00ĨᷥH=#Ʃ ғ&<(<)+4{ )oH9 .C AR4>8GhMOs9Qȶr6Ħ i}CvuH:"#dM*%j'\DAݧ~(6 ΦMhˎ#'IQݕ/f{S Jakуc;]k^LH Q(m1F y"뱏M50;i4#٪USDvxL=C{$dʥt_jZyjW}I3hsx.;tz`>BR]C|"G҈ ;Kإ2DҾ(wUoR:VzQKKvwQ}ZXzB3F/_&8az ;d =!egǺY͂!.^JKq$m} }euDN,wTx"NoT!|Y;Fa}ZJ]]}AJ2dT];G~?5NdMEGJV)4ă=3\ 0"GLJ&e*iC׍IXA5Ö[ OG48}7Y{M }U(@ &$MY`2č@=!1GY.B&*h3{LCzN &)JKl7蘣*f,x)E t/\4Fu>c.C5I{0=D@I+:.[ΤyV1ת7eHTeFyH=) -nH[\Qn}a=sBb41ijL `?Iȥ>2?))OF=HoĮՐ}~a~u>Rwٿ|[.CvbH!Q_Kz>fR#PKë.Ѧ0qC} R}]`@DhAKgk )Uh0*^[5py_59;۪>FE@^oF =*U9A?0[ xM *ykNEJp׫M]$Hh`#.Y 8MaHdȽDNx=E4RܵYۭ߇X&)b5otu"$ݿ06[wZX0\zvηG{W"`^_ߎ O00<@ yQi: VZQ_9٦+󶝌8SĘ;/kDHkupγ eٷuC~oxUa?`(q@E-piP ~QISU!gwG/b~UXSXPVEJLKb˔lOS2+e&hU#~m9B "NL+$|N(eF;]= U:Ƒ*b =̂9qO.GfcX Aw2jTv'C10rƑM6$DW0ineHXkW)8 \"d#~4 Ul78Ƃ~,A#Uk#s]ŝB fZ~1(c #:@$W)l}oOQ*Ԋٍ IE)ay@T᭙ARq3tuĽzk.Ur;BD=awI}#ڊXD 8TK[Ӿ2R˶ٹ""&gyݡ~R4 v)9ŵĿשZ0R}Q1U niK吓NyҲY{N㵭$  H&`ѬoѼ=%^ 6~#y:t";\Ml`(KMHBZBPgyΫ7$ַKi+yhݍZEP +-MrWYzv/GS y]VCI.P::ӈaM 8 Okj4Ί'4ZXvsB< #X4LcԼF>҇qtY @x ]b[ ¿W'd>k|H糒c;SW;&(!X h'_m;o Vks>Ft*Cַ맍Lcϕ$?QrN>s;Ȅt̚Ғ3fHDhPhnE` J_(b}xpn=j@(QD.&fi'9 v*X-mKuAY X_P}>GS倫倅 G빂T[aD yz轨09Ro%Ffw;^Q.cJCcɿsgH8Qoǡ4!f?O s}%_Lx=7,T~vfDroG_ ʜ8 R``k1~g&8-I|Ӏ |1` r <I]Ibm0{¬pX ]K)uZcҰe,pjPqt5Ř@I!x=L`xCNrKX*Ge{⭊>r3Rho&DV& AxQ~ei+ߦ*T!6 DZiïYykb ٠ɣ`pNZ&D_rᥕuɔeC,eI,3FCYj֚Q?Z :DVrŮ??8 ^YN[h.Ә@~G& 5P9̷x~`+Y>ҕU˃\Q9%$zϏKb>m l@8FYBYijY/Sg:r,øM*_M1tyY$왝aT,ܢ~^HoA$2 ,xHI=W]Vx I!Ž=1+wEZ;ZR=h)HI14UkzԫUy^g@Y`` ^+Q2WPʒ3H ?ʹ~4랑N/o Nh& ڠGPrzwJGhr_?5tj-` c &ӵ/Cҵ09njjg?'s+:\Ua3i6?^b'$G4HJHOXcl.Yia|]WoIqܔ,tT eҏ@'n(Ym[{F|Ubl/`UǠJqVWve'0ߎxkud=T6-# ){ A6w.UMaLLrՇS@aT[]Qh1okx"*|1*yYCF++.kQ=`r&EqR̷]t#׷H2tخSlq@oegٸb&T8PZLBjr/ xZ;J0n69AQ\tC<`;P;@[?Ν$jdꙐǧ6/uia.su;t gU%S měTjMu=E./|"չ;mcf'0 lɩ'% Nׁ6OIz=.w33z+o! D̉!Joaj0P6u?/o| eCyi|C&01o>jƳUU/$quN  y}(<4w}pE@F=WWc*MKz=VykbA,_XqwOPU-2&c% -?)Co(|x -4KRqybk~\IbǗ|1![<9KX-]^%fTڂRޥjs<$&|;<4q@ƒ+ljJ-^CI,NjuĴU# ]ČAC ˴g{u:!AB^s)88Jpx7db ˏs_W]6)`YpqCwqB;(-jg"Tȷ2/_a9{dT}ː|Xڗi'E+ySǖ#(L7[ k-7I:G̗O~~X7ŃOl"\q:,B[`eAh]2W``,1U6,c)_N`A`$~6e>qv4D݄f@Jr[Eȷrj*``D7瓩U~>v?s v{KB lpi6BfV2DI`OmB*;"nۜZ!.O؍Ur._Vy Oc'yۀ'X\ԝmLt%ݐ>rhګ@4pcN!€6/9͚фbۊN`rZ3-enuKi|B r ͜=C ulSH@E yq\ w=a9v _5frD>eGD D~^ d!mFuQ /Bg*n@') !$:׮ vxn5$ZK?2]ӬՖ&E=]TX*1ODj]YŢo JGH /,9 ]1ŪfMBYU, }e1W}Z CfT%I_6FJW ~Z>(xFXyAzl28fIht(JrcP1jΒ[ZoAT|7N箆AYFYc5F4#Q^#s5[BHB.{5XyݮF[ESׅpqT]G6o"i*8pp^20LTGFlW܅ެV*Lp}&F ye/TPO%`ߛ_qF{U㾛I F & +lW@/͍_ze!=r)d<孲܍8( ^_l^r U>[9W^Ui ;$m0!4sIxgGPmfa?<.;2}GaQ}JD2 B~o (}ׄ :!q@I}bmqa]=RX*9iAv b=S!\NĢ}jQ{?ngr{`~8{Rhq{8pծ{4PC)n&Mioi8" 0n@1FQ?6Qo^{\"we~/ AV#2)U_K8 }R\#n(ȰS۸ҫXNq9 2S\SSaG82rj 3@7Y÷ ::ׂHô!nu*=ƟqV֢cGtޮ6pkj H/hz‘x;a6.o)THd\hqeR. TÀW-ᎆri3z#A8禭cxm.P خ-UK 0Q~ X-b$t3ƚap8Pj, io$Xo| Bٔ :0APm3 XDձ6BK\fgAf-#d^xMZY-DC~%, nܻi!zjdi2&w_8~ĆWpwA_}~(Y;Oed<ơ3&1rkLiWT7@$"ȏRH)R%Y~IԴ^3:}ٿCgu/L N=ޝUiyMxf ORQ;na9 BMD쭀)U'쌾lԁigz.,r"ٻ*Ή=UlH 99C׸{ _^a(U&@Zqr54y-*R+,IcJھ?P{'Kl#fxOȼ|=0T*CĖEˋTXTj_-gLx腶<Ր Z<5Bpqhǭ"YZAg<ŨaؚqMReUJrйr-y*`]T ׎`6e"D^ԣlK?=G:=F= s<.Cᔖuo A|4"pC⬯?A"u bŃNTk92q*ef8Gy40 m-ݰ(n'e; ?k$1CSfe,yGf^U^S[`eGI'Oec,ѥFr.0{P1hSS-܍Y:əL̅Ufu`,޿ߝ 71턗I8@;rQM .;D^uHRJt-a1INK9V!SV^ <0T&=B?q9#kq^oYϟe5jPIe޿8 T4׎*iX]d\.BtS^qJk._L}n6Q3+kUVIfp A7&^󺘾~N!%ʖxB#d50oa)ZC!VoRK 9nJNs +( >SSh̜@zY[NbԷzg^;˲pa<S[xB~Ư/r!F. Y1ޝ( ñ3|B"L _d'tx\;{ :,}Pwaj|wP=0eik9# FU#vKq|_O L[{^u*Ϣ}[d1/xrȹHoF5lB")9BlW5W@Ck1i(Ak]Ͼ'V~qqȂ/KT4[zʬ Ó*U]n+#zDv鑺|؊Ė=ݩ1;Ңu5 "6h6Qm_OL"KHe` M_L~"Trۺp.^=J քiܥ=yys:QFZ.+a$@Ue̳̔:}[Z$YU8]8$0LC/M8(/Foz=_MV @%a׾qƲbCY;{{wÆ6=m"Ehn;V ]ۣNHUd ao5)a8hO PM S'G'tpVXR|4|FXG c19l*ضP#X&Wr%YSΝZ( 7+@M<3AO,uIeYl\!χwu8Ď;*"4F ͹g}-m0ӥۿCp1g`;6liR94A?vEXw)[!byLQOE_1f .Arp^cQ䳬)$^3[.32I>:*[i.m%Tua%s#:Ihd SGArSfłU34ӁŨ(W! I4ɻ-l9moqRk6^x-k!wFO?b!ij(؊tM}[t_ظ(ˌ:ޝKDoTGoAN<|݅nFW))s6:#nI #[ruIxT >\ RNe]2@UUiJ+g?xAbO(S<"3j;N>)5,>xZlVoꔪ !6Pr51&xfV[/siSn?ktC%|oK&QM9gJzv&vA:PXbǘ|K?zmdHE @8AmV݃Jق{wQUܻ'oU _X}hamoe[š gs4% F󏻶(~,!0/>_8ַ9\=΄;wp?a<]oSMB:,Rl{Hz|*h~Y խvvW GzS("21|ݡKC `RTfpK_*6ㅴr8)c?OT baHO!EdoLҾrW;uo{նje"6E"b49k55ߏgkg8Gؐ8P"GJX8u-cbm7O0DaN=.Ad `G^+)g>҉!{Hsy 7C[ݡʂxp}Hi—dFu3Y c5lI@*^`V'MOq MVvˌq\+Ƚȕ8t^8t[djw`s󂢃'MѦϬ/gY٥]i "h:{>}Kn[w>%ST")1Q]`"au+_>8xi [Ap1`x){ٶU%a,Ǚ`cLycgV<)1=h#,`;_^sح?"hM1<Ŏ鸄EXuqX0PO7TS.@(SV r4] 6z0~z)jYڪ#oDtt4p ~":U_?| |Nͧ"3hwѣS!γkp׸*"xm{=NL-y;Y v@?yÜI+O<֨cNM&o%oSf #.*b%Z2] 4w`[6Մdbd"[$ 7]'Cis wLJqyw+󼁝|T!ݫqKYtƴ3AX-h +cz= +nי^dxT~ # db{ +#'RCf]+mW3:'r1\)=>Y1d2ŋT"7(SHnkCnoLNmA.8?UdqT΀H*qgliǑЕ>Bc0yrfw`qCA~˴ǚJC{H6}F*o5|h r  !DcR'dSlҒ, ?@:6gx4L}MQyw,)v05|`;hm ʈrS%i~bʝTBKdVCJʌƨB{ח_Xi5/tR79Lz.RqY^.ShɁ8a}I ~5|Hh1/xiLۙ!>( <HX_^Mj>Lx#M$+|pR xN5ȴJ.͗ƺp~kwi}ߪ9z"~׹WY`Q賗laEQ#ܾ$^vP42KQ?z;S!uo<L6%Pk4: D;Y5 vy4tl_!UYAr)/v,38A`GI'k 3) Tqd_kO]^Uztk2>`Q̢jx ZnLX|7ru{ J5 v8MMZ#Z˫.j_fNxiػ.pI-|wPmdq+sKV4oJC\NsԨF? =ȣmOz6e/T$c妵¥# vly+FwxW/ v ɬ#VAzhJ^ w.jmTy[ГAB>\UW25('2SO`V7꿷"Ȉ7FvӏΫA:YgMBVҮ,ifk3pȡ}$ _@RuTyxj ,dj9ػNQAfNww"ܳQRN߁a3?x6V0IGdK"#c;,}擓C". 7Qw|,Ҳ&ڂ~,7.*;!LA{9ɰۗE)O\[i;llKI0y/9{i?`x\KFI"2#6̚#McTqi$uki,9p;VEmi=ASB_DKVك ̰d¾  -^ nc"[(Z<,y Um*Db)Vw~WQV6-U\G9۱TA뭡&v )uOL^3traem:3{c7s>v.=z|HK(PYP2;_QhQ{R|5~4Ok/ܽnJXK/~"-!8G**6tm? s'}jec TڗI 9A>j8pr>9K]8c9(!U$p?Jn\Yteu9:y~ybW5"wznT6#`q-' ʩM%9$rSBu$U,2woD=kTB!PݗWG;K&y'ϔs$'PZ)U귳!¼nA< q`;Q?,F;c܁ĔMRO| :J8١FeG»uڀbr)qk gkS|)NWe[vЈvqڲG/;Nli uz._~5G@xw¸:(v0^z`UyI &瑪\l,27 A6!zAg, X|`0#wl KpIzYZ5@m &A$lʹs`=T șKXv HaIznmo'fsE^vkW^ԥTsŸGVP]êL¿_A!}1K丳 X@54 V s[!(ܗSUy`ӆ&pӫ=CrQ'Ehb f6`zf&;2$R1tR:r_(>>\VGgvM 2HZt'٢ @2='F3u(DVj=s{ iZ9َA)I+t*$_KAU׻f ysyKhr#cBP^"1SbalJ[祉Q![z3Du*Pcr7g$rufT%"rLՐ$+Lk{KsnPoK'!HUf[r"|Ф{.$0avdT0LW32F6HϞ4Q;`LpᾸFVo<\%O@SmG-&-??yN':H3qL @Q]Ln:xMם})_4u4g7 (@}$g;sKݹ "y[VH²! f3RA_w^aM N^czٴpM:}>~]5 C2.nxQ0W uLr jOgYZ056d780c5f129a854e727312bf0476daf159e96c 07be127e9a4c4cc120487e8e7f30499c429b75cd 07fc68915c7c1880771d9fe6cec20e1a9a5d3bb7 1472f701b34e869a02586ebeaf30903102ac179e 17053df9129b0838d0ecd442847bd79fa8e8ddc6 17d86c4d8a6504c389685a0f9e0c77653f19214b 1855982aae74087405131432252cb5269a7cb3af 195c87652c5c47600c8c0ae58cd39b46dfe731f9 2137523c1bd10ada2fa6dc89aa70eea17db24ab7 256315e11fa60ddf9114c8cf422c39b043a8d517 26946afba9ae18f952c074ddeb1a0f8c4e0daf2e 2a4ef140d74aa91079a6d9c81a88e8add8aeb765 2ae75b509577c8147af71c8ce3870fede6a8974c 2b0615973a340d9ff465012482df716d64bccef2 2fa05e1b6517c9339dac7d61ac530d9cf65df73d 388b260b9a6f80e592c589135cabc5a7310cb2c6 3c82054da2559cb6a2e7ad1a869301bf38bc6cde 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 41c5e8a2d5ed8c8feb03e6f3966dcc0bcd91039c 4635373b48d40e2ddffcd791152b01913682dc0b 48afadfcdcaf709a343757cc18bedbb98449c51f 497a7dc74c816818c36b237b6a04d3baa5c5c132 4d8412830378ef34f18b2fd4bcadc39d273e8f16 5083ca6ddf79883a08cd6469c8fd361e6bed4407 540e068b980eb8cd7366459541e8f881ee1e8560 545c222434970eb7175b54e150b589d03eecd4a4 5d7b08e5cbea128d1d4092ffb1763e6ed6968050 5dfadbb72a49e84358b310c816e9aa44a290da0e 5e44ecdb2688e5de7a4542f1491f7ecdbb442a9c 5ef479cab507b31941d968efb5a06d6e2d9d5b23 685379c2f0748467b0d68cb4759ec6f692e14983 6db046aa6dd7abdab3ba36a978d19f4ddda71d92 6de66533dcfabd77422f9f3abc94940b9c64a4dd 7119e9a4992890a4389c08e904451aa00ed2644a 7865aa8a4378df96b005eafe2b38c52562a3efc8 7a7591f348cba4b86188dd0d9e0d7351b10288e4 82cfaba3c8ffe327cdc139e6ee44148230b29afe 83cd29aad33e2fbf565ec4a85986110a18eab57d 84804a5dd95d3e30a0c8e802798f95d4469c30ce 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 91a709751d422a5c99ff6221e78f6b756ec46575 9266565442cd6b2d31e4f56d1735aecc22f817dd 956715bd433e6e049ed77d22c8f82503fa1910a3 9594a3ba903d9ad8f5f17f5129739da7679800dd a0997e4399d65de1be6d9dbfa29b0336e78b3aef a612d605e4a059d80c4db56e04c3291c02d8f652 a858e15c16f5fca0b47fdcba4bf4102f18930d5d b1e7296d13c0f0593ccdfee3f6ba5292e904c8cb b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b50f3602dc2ef36f49fd0f3f9b96e592ee3b0487 b58361bee8cc2f1600f9c650e10952fa4d9d9efa b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b90940a18479fe42bd017a1d37c60983678f71fd bd088478111e630116c4d7107747c16102721eaa c1651ecc4ff041995c8058ead56102953885da58 c1a8a285365048d6a8a4664cea0f7209d445fa6e c48449c0ce103b98b75678115a0f0929f595c46c cf787c68371f62268897ab176f6d3bcd402e3fcb d102aa0051ae6dcdcc75f3f19ce1da78c4a8febf d741d8f4aa003182372f44ff07ca2a6339d7a296 d79c576ace415d5b53cd66aebf0468338c08bc13 e3f61077e158c60cd9f0ff2c6b4f65a6f09a9a0f e5694ce9a5e406faeb16a4ecf9d748963bb975b4 ead397d8a759322930167029ff4cc80278321b02 f0fe5d99d9b9f2c0c0782eeba3e866da2a657b55 f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f4cc3fd84ea3503f0e0d0a6ea53c7978cf25ba31 f543eafe896e48d95347c77b8953701b75a7ec53 fb4011b1e050cae5ca624184c57430283e206debc6653a213398dacc5da9ec9ed78efb792c1c55ee 53e49ceb6bdec01b73abd578b53ab5073664047a 1b514ea73e71e3dfdda3608ed1dd60c9047d0d7b 63920fa210e72b0c1d7ce39d26caf19a7661cf3941ce60ae8b8a92503354b575d61cc252f0030ea8