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=564.513cpu=1286.404gc=181.776factor=2.287zXZִF! ޥF]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb_~<X$V"(;AwVNS·dV?qcm<J2?IEȌ[#k]s P\ڂـ?ژ](FciuWfXWVAj&'E4ծ~(,B^8Ei,pz YQAv f Bw32!Fc]B-8GDW;b4㫪ɓY˅wU)YK5d_Is*i#@xdP2Tun|^Ο|D2 bNy슣Nj=ض#nA&GdlË4FC3{ fG;|Njƴ\WUB mʠ@:>jˁ|.|&Lߨ( xb`d9 a&=W)`/cr ӎw4~-(_SO)X'wgUꁇWO",bE<8]Qgۧ#4},sbR1$FSo" ZfO`EKP Ͱ̤'կ s. m8B#R:~k-d61ǐV-M.XHh4:8CR&a ãz_, ~0Y=<-=ʄ$ƍ^Yfm!XhS:J=EjYМM825NƯ _logŘF'yd0}7a=:XxԓScgX&͓֖3ɐ1/#B{A`Wax+V4e$Gx&Vƥ J5#)& Y,Vm x/22A+W_ h P:ukF 6{D" !| P;7O|}z i /֘ ȗ9\hZ]QА:*^;hyU!T١I?jw xbfՉ yZ/.??~)V͊U0EM/*tfˣ[͏t{UB7bTSU~=?dN*;6X,>GN<"vx\Cr­X闘:oa)RxGvn? /w硞6klզMbCWeN= @~>TY<.aKO'NRtY!6'kj:NOAQyPPN ۫)vMKR5OMUg'W`.m5^AC'#M-#uE0ouěfӢ#s:Xf<@;?*y1?Wuя͊g/r߭eKaVTJVspV yR Dla4ܴ>IsG~qIu,-x90Qqv8{Qj$WoQt8k C5֨ݛwu*DkRdtp=Y@{oBaRڠB٢a!n˚ޛGoh| H%  {2qs9y\z-v-k|)o0ޘmMyOwN Js;s(̬O;ց.Gк@cooig )\sC;'֨:$ s0⁵2z|:%dB޿F 4nP\c :xvorw=vRśP |3u%qL)oz*gns=s305g*w "7NYK) Nx (h;Spm Mc^d=*̡qe׍f'tJ:S!ؐW^bOBzsΝ¨ hU1{(M0LHpg}Q">_8uk}i39XS`K/Z#Kfvtٟu)NGj]gן',汕 ek8g*}=K5V 9l[y &d8~Y*R=JSV%ޛ?k#'kDɅR($'XnB A[*U$۞ي 1fۆӜ&}WUmҎ QtkɎ,GcSe@6fT}%&. /,aS>dYbfja"EUOϺI $sM,~ D05YPO-$.ꮻ羀uNw 6 /|U|Wr8jDȯkIfE!Dl۳:R$9٧wԍk5~it(;89Qo2(z'؟>mxf{n54r mOksr7Rz)>xeBesU-sAB/Ez=T K} ;!S}BTQaoC݇#M,bP>J[soK:Uų|AdC@^LP_X7~_h;mfA\qE#zemjLUGQ&Pnc-AV(=w=QB\uͯ+ϗs{Z7$RیCS#=AC3* `>ڑ}`ZÛ STl)d0sPlne>Ic>j"4?To,9d  ! HOL-Proofs|,b'W6AuOEWhH')w?edTm,mhJ/9%gw ȿ+D0_5{;nCz?TtIZHuTp{>22rySd{|}D-<6vV_\mJʢ & 6 s0]_ J[M5[<7})kLFu=#ܜd?oc:{{hkt:ɦ!U&]+EM)e4[3cƘ3 U6xW1ϔL (/ )ytؘ#/:-r6. OG~"JcYb,aboDDLN'nuåQ΢],'{)VR`g赡q'ڈm8'^ R/BQ,@ZZtHrj)㈻WOWJl=-?&-*n+}jz+Vcڈ0+Zc#_G/L!À,ItawC4۵O pkVY{t菠v#*Hs=A|\u%#İ]-C}բ4K+.w;3;nUlQM~˂kEq ۼaS:ƨ,]T`DӺ*=Gܻ=?dzHֈ =>&ix2yftJ*vSrn+夑l܁je g@8{>z#sTDȵQpljr HYjRdK}2c,6I >9yıq6}2]QRc:C/s)(kCMRbג7K&kЃGNC]\IwNcd f/_aNrgRH89:C`%WymmPtWC#" ۉJ|qFb'IJh#)/f7@<2=Qy2ʐWX.6H|Y'3Cjwsa)@QBpdb]j$^<8˅ ѧi'L˩>MM8#F}'~u ad$q4mZ*Fh`{ E ddD1o._Béd]_˃y\GyiP2+Є6/=k1Lcj~2 U!.WRAnӕ?UD(E?JvFT`x:igE]ҷ.d1 -d";BǦ-KVJdǵ 40UU t]5rP+N)C {9uɣ)!CH:bbHw]052)&4|ޗjK?.8jGյ2l2j:?Wo8SoVW'b$|O|X$X%|ۡb,<=x~^]1bUR >֝iwNv_0b#zB GKQ5qȉ5twZO{e؉pY:#xE;z_eMApWã(S*LW-FO_s|m:Kq}_hSoy}7"0? -7Rc~/Rme2=!R< Oz m5:I5 סanoe"u=tV!S@𢖰>Kb;هȐ䙧ހhAԞ61C)x/ͅHh)#a'K̈́T[˩n4H`ic$$>iEN \Oϳ%Gxypzr(G*jV3#LLRBX獻eرXc NYqk*I?]Ы4/Rk)ѵXMI[FnߙjZR+0s.wPyiyU?^m*>Nʶ!?@1#{682(Dv][^/^_Ibц,E,Ьz4]fq/Qb/$7J@C1%yk)}Юg9@JWHVT4z1p [WްiP1 3yi*E*IoMpg ''hϹՌ3>PX [AkL#+Dˎ{D'\L 4+Ce(2boBi 3I"meF-=l'kAJ$9nARoX_S'Bxz+\\(FMʩ#%zE9DJ,ZWp|Wgw%f)ț=AR:MbCB4`CdnkE%J͓[y.W\%ivr 74TE6-ׅ0hQ3X0SgYZ7zXZִF! h]ŗXiɟ29aoʼz[%U>EM!!B:iH+[Ektu=a)k+*VBEFn{=cGS^nYcJ*0UmvPgy@ri)i' Q"\Nbs`s_mY.vmIrǏX0 " l`"6 ѵ^6cvir)[ h%B&fݒb`YFN`JH ח^ ίTU3JCsE@kIFYZ۲F9l@EXARhl+i4/QS WrTS%aG!ǿTX?z9JAvEY"d[r3a;;{sH6 `\J_ChR#x -h3RqGe(}ײtn͡M 1 N}Pis` L~ڨj 蹣 Onȕ)jid+J𗇼oŶ  zp1^mD$GpӼ.Y:J%஢XsBB#ONp 6fH_A0&-dsY.(O_Oъʡ`}kFvh{߈WD+6ֱan)u+v:_V=P^\81Hwf do=7E@N5 xGRmDDO|ԩ'#v%oFȟgϖ>:?L|y )]~ EqKpSh Iȳwny󭐱z͹q,9Ei_R6j8/NyP sp+7|}h:ws*K"Hg"rYQݔ X3ݛ`ersU7гZːAY KfZZgW<2SE'$Damf1*7!Z$_m2N` &fo< N7* µ>0 R$Fu!*ܤqBgaTq0 u18eca:GSr;]j}#s}uB8>FF0jsW,Xb;͵Pf:hEUӨǵ"eЄ߰ :ÀEI*%SZ}o}Ѕx8yq|eWUhμO܂bPKwwot/EUE,u|)N*{]v$&lK'iGQ.6,)M؛4&qBJLwӅ@B?r3(fJnG9Ӊh]ʹq희H&GBOa_.3KYb\r\aF⑫Π.$oP$OkЧ3B$#Gg(m2B+"5d +œg:1?x)RKw %g ʢgV7 r%;G2J1zTyYOUdwĕ_>A]wzΝ|`%"g{F1¹c E3c' 2D[$gYZ7zXZִF! :l]ŗXi%;my3;Dݩ4+RH§E+~,,7 y' _D&i:8pL=W鄜eJ5ujD),AɄ\[7w9Ltt 5^M݋ ofC0}8b1#6}rg%i 'geŠ$ijsXXq 6-w_;I狭=GPi^+Y1'npĹ6%mm쥒/RhPd9|B),BXJ#Bp:{,}Q3PZ &^~=3VrYfjEwOwֈfU{v.۳"?aqy:,LDn F䕟o8j?5zü?2g z^#:Aש*R\eD_ N_[{O5"WA< Y}Ӻb$(Zd2͚X25+e20dYiclN䅇Hu XV,)MְGeCcfj+ iԟ~Ru:U@IARnT7`>m";:JnȢ(ɄPYڠuWPnWLj4eIiL:^Eɜ#]¶F3~ 3`Xc 4uy6]{q &YDCnv)˳Q-5rgLEMrG$#̇0X!2D;2,G΃N^u>EeBW>*:h\ֶfg? 4.I\(ualc0 }x ]\4g%KUg QYRmCSLcb`/M:9<0;MUr^ %B .h~#}S=!gt@{ +u)Rn¸ MV&b7R)*:nS0whP"s5ixi؛/6rPGGk?6@IbLk#HUՎm;$(4S--JE4FAfhEpP t"oew"䠚itܥCmS$> x\~i%iZ׹0#Yɣ0ԍw{D8>Qn0f[P~5z(̤zK02&iwR iHjufxcєyҪxSݭ[ԤFd宀cKXfYiվɺCŷFNO<_QX!<;i= V+lѠlusg[fF͒vCV<;&ͩ f@gr;tp.:+E톤|I[eܤMPŪZ?X $C+Ab؂KjCSWNb[ǘal%fG}E>6Ĥ(eFl,B+ɍByUvMMo{h?'<ug_I1j`"njn=\c6X\ETRDX,K#eQ6%I'V'!~ l }C1FUc¿z:x;Xβh#7HN Mxc-C@,ğ-@Omxvn0zhw`|2 R &E.0 7{VP5R,jEZAEpi4Q"f$}.ɨ(?e{xhV5.MFj<+l N<eS| 3#|:L?^ Dڢ`ʲ7r.h貒4008#w)$ ;^ 20i ԁzYjTi|{8ʒGNwgД<+mhlUNAkknr.d&wH twތWv s#R!۩~7|߅Pl-e'nLN^Mtb rpnKF )d'kD`\!VZ싰8nz/>'F*#UGj{@UOB|U=SsKBp!NST|]ӿ*{UQJ=dв"9=#%YdnsDoAR'O#^!ֿlWB###de ;h0 Mnf305ĭ6^īUlжH22b P |ÑcւyzA&Nt# kpPDq{tډ|˓mv]'= *ްkes`mh^n=Rq:Z^P>@|_U?7 C_qR4+|ncyا O}Z3% T&hCzο9'S%y ^i7U˓. gK<.zF*`̎fy*S?B[k UyhO~f ¸XtBPaMYeiZxRj< 6T9+T-@ KuLŶziڠ~ttKT NQyC ul>ʣyG8t5p20s9Ul_;dцfsYGzhOאG he8fv<-;SZkIaѕ_1ubu*]1j5DJ"֢DG^dpi_f$nrJԩ=t"SmH 3GbK# zt&P(y|NH Nꊃ^+o^S}+ gLuȠK)侈zЁ{W5y&d'?fMM8Hj!"-V; t@pN}Q5Pi]U@ȓo]åx\]1tMeBtt|QPA/]yϐ 7˼/:lLj@5P8F l=e&`vGYj&> 2 4)F5@=ЌAz79gC,onhkx܈-H+̺p)>Ju@T>Y,-5|2>>iL-T7qٲ&MKWFe)'7%q &D(0ԒgX;h+sq~Cq[ʚbswoa3Iܶbm\¼/(>Ё2eu3=˚7TDpݚIqG."WtvD<7A"P-uB V7okre,+3$ɂ0Y? g˻*]]Ɋw0l.#:`O푍#zoa#,CЖJBcTDCvt&BVYCc#sVT;PEM#˛ WkMUK ?$Fr>\y>gb,OX: tH]_Ac%T>%TX"C{7KĶ3D"n8ǻ*YTxe8E.ާ@U3X`eL~#\wCѩ½-xdf8S &Cڇw-p+X_~'u/~lw$4$=&˦ ;Eϼc $[MN n 9Z]jf9Ϥ|Cq#8drOٻj`^Xd^v_sRr%:a+k &CbV b+)ԏo W vl9]KTG)%-pˮi*V`PY5Jώ X>p6z2F-8ѕGZm/KK|`*=y4:A٤P/ (L;ʼnE߸|5e0'/= %= CD3j]eʏ܈<ٖ`|Atɺ'[DnR5e kJĶ7půT)X^ۚ/;+C-:/>**y56#\yЪ ib^ (~؃*9thٖ 19BsjRj=wgja:kp7*Qa i ilҜ>-3*qf+bNBE\Zk]&1͐qYzcxpariYVc2RQ9`>!H6ŀ[hh,JAro;4wIwYwrٛSՌe`j9)TT9" p?"]ӿx" z_zK.oerjQHhS|˚"`va۞r2B%|Y&vû w^"NwC /6)N@U+GnΌZh e&Y~l!fWgcACxQۓW~*VBu^ +$%aF 27TNY'XIKjK 0GGscʙ0Sv3FG'w&Iltc$0qb2@0Ih_rLmg^dIš L01l?v?s'.ȟ@0YNMU^_h&n_Ey\54h jElxJaYNʛa?~YPM,r 4b aƺE@9;KY=HyZr}+Jgay\z+ee_٣Lz/w/ AtjU7,}kS)xlѫ7n:9?Դ="l=bdY;uxUR-Pٶ=ȨIJlA‡;s(bX#$DEYO?{ P^GAv& |n埂ݒ<`eN4{>?ג TƪBer 12!O{ID }M0J,fOe/ pL41oD꿋=ŏ/Ec&Cr"1٪*؞a؞pTbcӐE Ev/ -(<[б##5>wp<%$$^̅s*KQZn*!B[!` JUANa0r~-,!׵F7k8̓I{h& 0hg]sUX Zouye ?Q/Ԛ|+n\22"e]ԭ[+[^_0"@hyG@r_V?0& ܄RmEvww_gcq,[ WJWd2Km1E-j+ZBn@AGl}^g΃DR93)?Yp y0T -ü/*D}Q1xTԣ\ xu6cCleWR{q;-'z"4]:_2%ƙ=4D ]EdRD Y"$2,hI_&H|SxGYL?x *ax<6CO[IzZB*S"kc#c%Z) [ZS&휘#x똨яA!P*lEa[^NU}(}cSqR{DD8C/$ {'b#/5N .Elˁ1t7sJغ.q;}ђḱC+g]mƖ0 W@jF^i+Ʒb|uY5C6X:Ȇow{}7Ksۈjeϒp) @pAIzo7xVI|r/D#?6eL3/^w31=ͣG. PgW4z T֖Lg|3 snH|k++>0"V(Ov}$E tAbv<o_i^"| "M='W8|[CBt %z˶:FBDڷFZ*jZhufCQG?^gS6߇Ho%>݋@JNґ_v+|*RrgicRHk#[YL .ӍEJN4|(BS<.K]輈2GEMgq7̡mJSBe:?tx|9qI]f /Uǟ)T\T{B$)FOo٠+ 9D*rj@I0i9 |C_A^U>[cnѴ%'W ߳<Rp^_.H9lo{fp+Yxz45p{{:Co9x P>bqA\,߅W4-ZiQ#[\e0Nwv<ˑԂJt*"n?@A>$>Iy,j2P#ڠK):^jU"G@/wgZ(d0 ;H]ow{X&7Zwr|_BvRҖdm߄ =^`@~4»h.ނ}k"\ًtkn1PtuЉ({CH p AA)12XTJlW6><=@62rv[O>lU."xٱt{+P,誒S^.$(T,'mܸgu66du? g55m(S⨆G$Ȓ-NOPDg`dn~+x_6YUUOɺՁ5bȔwhh>>#HJ0 vr,AfpY_ӦlX9HXHrB6ZPĊx$޲ڧYNJV lџ]A5 14O Jy(= ij0SBއUK'l&jٻ ~$YANl d%jϟ9& hהRu~]ڃ­90U㊺d7KqGx8%A\deNa$'W3/B)*%{i+ :}<1K_qu.?MFf_D[4@9u+Cve(r ub?z'kO,}I)|gح onR'9sc *i*NzOe UW3! VߒPcR N_*a(l4 >?1=#R+cV"A;IaU7M\~G˛؞V†~^lѥࣷ=uߙ4RŽkr0\6l-CN; {(3yJ`ƾ|;0yNb!F|Hi!P,&9c#hbR%E틧1x+ỏ cs+͈G0su)",.{t~.<{^HCSTpd6`]y90Q HչQ̃rhn)]$ ۳ ҃$ Vr(vL Y%肋Sz>:]M ; V4"T;#]cPՌfT5}mR)so{cԼ>AmO6/NbtkH}A͕.V|^x;AV;QtUkKKW.c/b˿ը L2^rk#,8_4\9o~q) RX m2.QCBxWДki><`E" ՅW碎j + K)r_DՎUNj锈&wZ9 seȿ0f̳|EH;fv+E18;j1ZPq܎EfoJw''8yPP;7nB%øV ~MZj+b"sduOepw^`!-̝g˝5::\)`!$>;;p$d`[#IMcŮb_QRJadCі-Q.Dآ~ÕiHQ9_3iMR_x#m5 g!h'?/T6C5] O-! KnF.r̗ӟY"!nOP26lΗћdl9NXdEprkT͈o<#΁8jIֳ?Prӹ_Yb9[_\X(K˾\_b:y#R_`r͓]^^zOr YI8W11!ѷ8@8#iJr׺rc|]W"vE 2",yzG8*vB ÞL_< [*0=V(aZXsGu&[!7w-Rqo ~4Cpξsɉt,15|4W !ݦmE5Pn8l!8WM>Wd(DmMDvZhf?EzV|~cx調!ގ>92Udu誛h`U[ |SXٱ_ {s 9o# ԉ AWTjK@5CC]Vv 95b*|b :h4یp}^zl8܍|xw|s vFz[X׏~j0}# <1aP +шttfnDF,\T{.cC#*kY~4KKIMd~Ģ0dBVJpKU]ɲ>]e\RBPtqpv,;xAȈfWme>%4xi$Z ;lpvOy!h'Lν$^6[Dow0 SyȍT8Jjk"yuE[Dt/* h@݅N8ǜEɨGVsWayGG,8 \iwm#*Hzh=Ki%So/\%mJ:fW5NugF7&nU6;&!iNL6ai&Iu>EHƺI&ilmM'mík=ڴemL09ĜH(GUf]pt';1Qt k'g6ҌT8C0UWZ5ʝMu0#_7] ꚍuOc~YyQVԝ,${]:L(qM8dA qY[wD]5W _10J{ =5P[l !]MaIgK Ĕ=x+ "R_Cyhz^:c Qyn7LHϼt[3sX;H& '$ӎo9ס*؇iR~n?Ye{I+|l#hBjtnOhI ;E?r۴6U\I4  ;Z_4}WIcH|5E0.6G)hz{AeĤIC8|0jM);om AE" %%^# x2C⡃~UնZiޗI=/$8>ӟI~:1NfsFZ|=CO@{/Z=L7mWoR$A4pmR!d,V9+i"<`z/΃|.!*{ +åSC XK[ O&x)%nie_O\:~b 9R|jr ־%KD!Reϼ߄8n[Gsَ:-mTqٲ yw&|LINkvF%-U$ y_DUqFtD 5NJle*{(* -db_[EZxH"ףW6 <{J<>Y29*R.q{)삖1XའfG PNjC ~e@4ԙ~`\ltS?* U .(W p.&;,͒)s̔ |mi4qC.<(Ʈ Ɨπ ݮxN]>guc[\_d}k׍փ>~ZB~Q fh(u jemllI4lՒR\Sw6nSZNI+4YΖeߟ:\R_+66^߈)::}X tj2Mz-脏 tTH|7D`S ]琫ڞbr0-9Sl` c\zR!sNqdf/SX^`K2h볧bhgXpPw[n)u^X'/ uoUċ8`Jƨ0Lsp=<=@M~3}v&$_t')G%e /*Yw}Vbl"BS߈ i(^8ܲQ cej3UϔdDT:?Eb 뺳IP^&⇸R}7G@n(bqwL5`X\vE] F=jvJkB kVw=D0B2#P5=&Dg,It_ rї9&_ۅ*q&=Qs.~dWJ6m)uh}nBր*L9gk[xL.ݓQ#˹_̘yxl ' 0mpҽKKG] 0 ȂZYꮿL\}T~'Pp2F|nF FhD`aDDvdId&Ju+Іg6bOA5,t7>t紗RmIZ%͛kdsiY㷷 4_d#24(ka%ԯ v鬶@Xs$"R`LŮ*)1mWnRBIx;W$ưѤlo9>$Ġ%gւK™k0 CSiz<#f*zFLU~"uigh;Ƭ  `Ռu](/-ת463`\r*"syJ%ם(AoB Kr1eX{(-ԩ`|~qmω^M;\]P6?hāqy=g礝7q[O>s)3Fa^+j|bչNf;|Tӯ<2zZC^7ilycTU9,M]]0 zC ǗC<EǤBȦ$d"pT|h$q(c0L%*BM&$ :81Eэq]#-DJäv i@$H†| a62Pg~YSt ⎱{9yij Nq[M(= ;y7nE4DkҮ3PH(?*<OkJL2P(RֆXޑq˳PLisc;t*X蹶Xj 7,`uI9,jrimb XQpIy|[@([L e"6K~2+ZN:s2رI},!ktG,-{5')R%ZsM#{ilmtgh8BYDrс)Go~C6uS Zv hL3X=;FKDց+wŶh>%79LsvQof@\e;^[i5BS2G9|!ckO ΅$go9S7.Z$ekrxUHt&Mk ,0hNNM!xpљҚDϹ΍N8ؔ>s|F'= mh##WTfSZTom0t߉{'Uؘ 7ES3DBvxG0]= Pv9ld{T\5;?FZM9LœJ/SCiS-|tJUCa|((Tb;mjp(z5:v}=(?H1x 3w~lA#RR֗Orp=AUoGN_kF>!m,$yxbGk#Co2( ?%ŤiٙI=Tp3ϠMaJHc<;3vq7\^M;냁Prz/ ET|w4KFB^å2#+ "uӄwnTK-|4<^"t[q, ޜ-]6˽iV%8 a >M~-t !N [}w'odM0{=]*UX#{WE>m[( 5#١ ̎/ZIʏAN }J¤IMC9r6*:i3QA@\qovuSh@K1~AZe7aBS zq%$qoWȠ"{6w.O:'bHqaĦ% 0L/TL1)w[< ̐z$AV@_bie 2i FάN3ۭ`O,TXLVkDA}PfaRe l~2soyryl stQ8=u:8H:M'"iwNVtZSS;0{sC`%Ɩ43(O{c億±-GV1H{뙝w- f//tIhnWՄ~%}G*>M0%7DXG`ЅX0sG4{KzJܰd .!fHat ;)vHG!z}v  E2,Ɯ,ɿH%JkhQ Ȥ^ݢG9ѿb0 FI |KK!Bk,W]sS3"^63!"׹@)  ڦP)m0@k^< nVrtQȧA_ 'NAĸ\:Q@ڱiC y%~_mW@6U# L%}p½yo؂lU?W}pi0fM(E gND R^jC/\cvhǃMu!>ZT_H(r%'xJ4?LcsmI\kp}aP tH=^-C$h,FCdZ6]qHZ q\ 13"' 7Fv k~"#jote؛pC #ih"W9̯FSgױ rAE #~;Gfdd,sUnZikM(jOҭ~}22?7IqTN* WnQ6({W~߼M7~A4"YiӰ)ІBtg>-Mk)Oslԗ|Gfo)P΄'uO_hIHl {M HWş?Bl%O6/Ž+eUTWriDz0wˠK^\3,ŹN&_ ˑSU$'Ku|ÍD@?r,]$k0}Pmw*Pк9[ni#{S{Ĥp.5Yoާ,hQ t[Ub4!$Waf]0?;i$^<:ɥUpTAXq,ndM#E((b-6N}?D/qtV|_ 4J T-$!t;/f*k+ )>q>FCjuIvK5l i+iB^ng}B^hnJr99}b[*gsdK|֌Q^`t3gsk Wij6\|÷BPAxO%Z ;^PBvK2 Дmd\‹TtE7J!C߻4UQsj|Wf9aX<^jq Y#ga&`Fwm-E +([8soki7J o%_xtݕZBId[l~k5Al%'%:lj)8 ;1uY;XToS-]Ky}?FW7kUNglw]ZEPt:e8Zrv*7#?b!L$R p1Z_ ژǤk?])|NVƪLQ.]$k.%͂wJK{WrhyCN@RFղLI@zh In㏍0 'I=>-<K2 PM6a\+ǟn hMGPeݗz1>SKO &2 E1?q> "%c0feUJm >x*eeB״f8E 퐝BIgikgMBgiUNC ric :ŕg :Iu:w=pd:,qi2jfSx,؂`6Ė$zqf %ArobO;'&‰i_Ӏ=2e8sw)]%ըCVɑyRN_9XOPVvwb.+q\x"H*& zš֨|XD8[\R9'PJ&ǔd}&̧zJWqJ> Vdz[?\j eЛha`Yt~AS(\\EiErl8b_f0@ade\2&&;Q:7'(qjRc_^M=Ts5X 'l'%OG]Ǐ&Zt4^jr \XpZ'ʝ,wo0%qP񖽹i {c vp' toSKFGUFO~^ j- B$Y</bnwAu6:Dph/EBliu[ZUHB`mq:x<0=~ygVe)]8Lw@_LJnyD(oymꫬ@+\p$FOp{׮^9gRZ$b:ӭE|3 P6 !*O1ZJ;: 9dн3ŸNo>φZ֫#(sY't[`D$#ՕO(!^m)0L̸CFf:2r쇬mZb y1e/xua<4;&XO[TU?{S,߆W4Z״G )ΔXZ2Yko~ 9wi{q/bucrjIJmb[&fl'1ih('逊 'EWڗ& ~OI-$%E@ZpzT"Vx}\$@܊-p4Z#^:O0s4LLPH7]<0(Ϙ9A֥ܱ݀Wk[o\$&۹4lEnQld>%5=`S9}j|rCޏmE2HsiomPs⤖e±wE&.~;`i46= $ڑcM>eK[N07_7WM6µ䚶[B=iZ\6xq;R/kO$  2hH@yz z`?{܃gٌ%P\cljSzM4t&8*X\`9׀H؆0Y@ȹy|(CxמM5fG(X^bҪ)$]LuAHC/!,NA8gX$F9+7ZK¤ӵ/i5(6-0 >rG8Y]n{LZFLxˬ% ,&IPUJ«ߦ9j34xx, ȏKoxoyY OȭSncK5K"w4/Oxe dE.,O?s1.mݑX_?K i_{R| Bahj+^yk/ZACuqdTqS7KN+TkM|ƴ%͔?4KHC'ϝ0 hH|igA܀FO67#رF/tпd`Z]Kw)D-z(AHiv04/'+R*?lSݫVcT$pYd7]!S΄- ²Cs~R)PO vռ}4)f3W4]"grLբXCl[+ݰsBp)`oCy8!o6:jwyJ0}뾣 cplӑZ'O:l,mv+ /iзPQ~dbp+s;m!Vr>GQ4޳ߢ|2_Ds^6T/TA펱Nq{aDCM,fZ,n /5/kW{`{9D!9X3h4#&AB&Ddxh8IScT[stI;" l+ 3y(k a\G٠ L}FyZr|>|mIUqA?e'=e"C[My.{Jk*{ Ɔ+m.zx?v>O{nf%٨!S/AdL#U>fW̘n<Iە][Gt`ag' C%o]qgP*f^M=ɞ4^6*3*”cZGa-Y]^[#uދ&z{S/i.!WfLfו0 RO;-ۚm?- O}9"S<oUrVp  W_KENĎZTjE? KG37tiZusn\!D;l7GԁBm+{KwH2 9At7J-qki)A,*§yy[{Q% AB! cRSPlV,-\ OE奾5Y{EkDSt/UEje?v4Yqm'>i='AFCs޸.n6-hߘjoIT(BpJh >-BhvH@S c#{q wNX|Ʈ>0AX{gi*lF*ȱy52>V>O2Rj҄GKꟅ|f/ĘRi5#Bi=+&̐# Mafw Ϡv /F#US2q#G?Eh*inZ:%x2x7 koB?_Ai,@f&W!Y5X_e>RPY: Ѧ'ND7&?Ԉmʿf w:%M~a.>űHAqu ?VLYڠS)"oLAEǓ%誵FdȨfP{\/ VjY6[<_2hz.b@Ts.od X}5Fvl^~鮖Y5b4z+F$%c(f*ߣg`sy\AS}-afѱK5?z#(\!9D;zq}3:!'S}2ﺚ8#<.h?k}j0_B%XxȚ}@eaj]߽YpjOSCus& A9KXxbvzc[r08Eb:QdRn_" O "6L3ZLox1VKoӍ3#1čc.EX4!8ͻc2Hsn6ߏEh9 E֛}}eZj.ֽˌY`5x:p v H0Gw -#R\-5ϨoRA_Di~zA[ Υ9bkhU~DDX8nz[{w߸bbFZ^[pD-@\*UFu X8rnSdr%I$tLHc-6'pos"iP'Iܔ+%*y&ԘNo4=aL\#Ӳxw4zzhۮ9*\h?ke`~DO?ʭ`}+ NkNƞƔFAsa ,9{,ˊAՔ>5wSJss P<ݳ7 ,g ˒琖!QCQ҂px{"ܲTu'F}>>b烽7"-/Ѓ!^P]qv8e9:HN"/Qi`<.h#$a~6DK&B*JP1Qx\2s Ԩv%r"MA Pnu$EV'tN%ҧleE@!,Y|GԱXӠmtxE) ;EՔ=P̬H]zw8.z]1*꺑x \s҅GW]G݄T#qzׇ sY %,V^("BUl8fc@ҳ1~m:ԣ{MF,8Y!Ǥ_!맣(7hé V? M̵۞%& E[NSeخ@ U^Y5m-&EjnF tELiqxfz GЂa%E$S ~`N&~S~h#'W:@c~,H!9Hp;r%E{ξ2ɓDzƛW\pO4Q tZvi91vfya=؋IyեŒ'3m$ { p|*>V[w4SwKy++Yy}٥mfkR=$"J6 O3uk]ta{λUD(Rp5-tĐT5FDNFdDO .8TDQg7딗K^2MU:Sq$Ukzq^*wXkE\\M1[xo<`5[YF% #v[;}ν- 1V~H>jo!}7"Vw-񣵿t{MX53/SaeU } Vlu[ qK Z1Va`çWׯmKݝEq$;M6KY#л%nʎqgEJ~B9iZ <j1܈ Cq!$stoK]q5Ӏ h() ך2BWO\b72']VA,6FnM}Y%gx {eH6` 1!NM*%Α.Ӻ z}8^h݌=up\'Hn2Mt.%UI aH 6Sۘr>%^P_{Q#A(,6m\gHd v/ѹ0)ʅTդ?~p[Ea Dɒ4C|y,QJL`j)'PU(Lrt: @uaZ5 M:fv(;}glGnqOV(UWJ&u rAЉ@=Uxֽ>`8j9ŮfPqB *Avv ϯ0þ?Zk+!$S <&xjyo&Ss~=:LBk'|Fa(Q ՎZ`Zw $wp%5倨5 c.KO1I-/cF9V6 LyB>6hLZngIkM4kf{WN]^r8'=gYZ803dde02d3f670b55da14a8fecc127c6380c3dcb33e372010bd93d78618052a88797c5afe4f113826239d55a6a039715c32ec4a728a3e2110c689dcb