SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 %, d ]/]HOL-Analysis:threads=6elapsed=325.341cpu=1683.412gc=115.288factor=5.177zXZִF! R]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?O# b4M:8Ј~S.u5)3S pNP  nVk |5 %U5]1ڏ G## x˒-zfaBgD;tk_*dG\C`33.ѝ vd(O~J}U\A "7gA[/Y*իhj}~'*8FJGB6?YaII< -lw3%& ᣻lsa[S$p$^t*@S\sJ-4x<_OTt`OGn?)g~0Թ >6V׶c!Уmb VѼϺg`n:  cۥ5bah{p3J+] /M7?=ֹGҿ`.#)yebq,g@K'sFd[T\9 FI y)qҤj^{dsLA(xrO mVmB{%)71\ء{ KiHLmT0ћ(n"dy{ؐf|6g.[oo"}9RCQĖ(Fl?6k_]ۻ4c9`7 ݖB:u^X.+0us$q;c v [D@ʡ<G^G߫lfֈU+7ݫ5)ųڰoJx/] %}c\q' weVP4EGG0ѕ[X'W3aQދ=%M#)53"tV7bmfŃ⡿{lʤ1^ՆWY`kr7D@3nPI/:8_O4ߩ_+?m'##P$P %l.68HbTI'i+kj׻ MC"C`r@=Vu&!։p6P(W`ʊqyQ4G9=wLt+v_vKۦ! i]oL"ݡCd F=xR Vp{nRЗ젤Q.ָ_Wv@3k*ͫ~XE;]<SLeT3>!m=vTnQ;f:T<Ǩ kUm͞hܭ1i]PRAT7dHj{[}xE$b:Y{ഽ".mzb1q1^]`\HJz~a&fԣ1}~*/¼e#&68{1|a}94DZ.jQk=(U *܌pLj9̜L|#W?F-Ȃ`ah֣0"CK`RABhijj> m4lŘ0х0 nsu3sfSFXד.i=IӰqn EӹnX":>);k02rM%r!9HڂeiNtZx!onV 2t.gQmlo0i pQ-JXQK!8G8!gnf @ƙ[_ޙ}/uF j')(+A}+7)([ Yc*yևV3npW`$M?llNʣv>f3ĒWuʐ*2nE4`4n' 0RzU#hjHF8%-LA-s`Y8C7:g6 ;<#nzF[MYMVq1LcOQ K{DPWL  F1ϠK#M`Tox#CHiwdQ:I a-BC|?oNJلz1+oY=`afFښQv"Bጕk{rVvjiJzmO5˻ 3iyP<YM%{rnK*5}8@2#+{#¯K_3S2 ˍ,=i % HOL-Analysis  ʐ?[Dm"1;]QaB_/H\6 e(a9V>]iӊ`?0ˋ۵K{1UB_D [}=3apՋƭy"p ^YAs 9NX*]u FOQOS =(2m=x(>c krC5KwR7E+j3ăm_5Tjk &͟V8o\:JUp(ÅU8>ӒM]D#lIH7`|;R:z>9*K,^ Hτ<ÆK}ڲm8%A>#@;nævsOO==Jp(Efs v'ls^Ȕͱbկp;9jHj,9pX1#7=:vO:8石VS-fo@Gu<ƴOhӔ(4:ˍ }6(^U-o$-AObG? m|$G|΅ٽ-b3US$&ʓA=/!_A:2t\||ֹE>`)1?EǟX&yT4Ǩ6cC;%aYYlBM׋or!H\h9cSAAPf"5Ǣ#2&w4qGڔ<9c!f`qGla?)^B2\xNh p $ ۊY0)a-֓9Ȏڊ(條|C^l^mfS"\s!gx(n(0Q_a?fCvdvP=J^{?ЪG31|tgShTng'lȺ+L!8q*sBMl%RP&!hS`bD-©d'p-=};fne?(B%4LO[^JaIL~eSFBqQFͱ䟔9~&hCQHh\G+w/ڝAaӺzcwhmnLFgi>'es5b;0 RZ܅cpȿb]5Uc|\x;k#53.5%SPLJowV1#]#5~~8-b{1ǁpB2z'"*1 :shI8k|C[GM&zЙ:}|(S{[FT;C#QWu׸xG<&mJ F]@MwtQog?cvi!wQjT5y{tmz:9]i[$)5I䓛kb/J7|[W}?O ]`|"djȞWC ESĂN«Kc[um8Jeۦ<X{<*uB:"T@Լmo}MRݑ4R7ΎLIamI5i&qBh 5rj{}-1 QnNUݶ~}X𦽔O:GQ2;۷٢ұ? whupeiѭw^ dc\~<- ^{ۅͺ0jh*"t "6 >d"w7Coc | #Gb&n%ReTz R{}/տ[ǯgn,,QwlD0nbz_Yֵ'(hi碣<{`<܇qs+.c8nU/Ƙ G2+}T?V)v@c\"IϖhIG++ aahO)fB${~lv@Q!U߄?`~q!"sMp%T(ҽ(̽}k8Z-\01R0D|\[J5dO73{ک**}.lq_q{AAdi\Afpūdy(cױw7봥f8qx+`n bq7@Q}!` +ݼE$Ŗ>HQo1B6ưpW_&nR# 8!+M%ΤS41+~\0QH T|+H/s(Cto5>}|#_t6wN}*)Kfs"}bk]O1_qmZUla8rۯZ#<x(Sh؉Q/EO7ӎۮs77=5&'%EiA*y d`_͌P6uxd04G;(v"^C d&ܸ28&)#ۻ>XiN4?c<|[ku7LUv\k&!>n) *v"ׅ8DENZLG|Tm4;_7]H%m_e_T~~`)iR/) nbf\mF @BzwgrQ魺o$E܈;w|{jC_M{ p`e# Y z6-rXU[t}1㙪nfPGsuDFci_'6ã2QΎEV>;$ yf:|ϣ, <v~Ug_kLYy~T[{K0}ݵDQ'A冷VH$x Ox0@>\`{ B)Al64 _Ф.o)dx~Cɑ,s6.Dֵ hPrkvxÚQ S~* xG6:fph=K$HE&M[~gL[k!Q;%)9t'QT]Tsգb&00@xqDA$Ǵr4mpdcYъAK3}e!E\{8쾣r˃N'ͭZ 4,v\yG gRUwc۫Rͩ!7BzϜ.M󷙊*Gm ɽMv?+fvcp "iX( ˧*Lg8#(X K,dPY90FݦXa[=( XJ+S#-I S$uʹ187m&WWtiI)+( 8i+[)RaI r0s2GaGbJS2Q(ӝp^`2f(31h5RBiEs! PnX$Kr3<{X=g KMm H;X[n\h` i nm 5m+)PYKOM:ms"n/ÆԕuQ] 7nHYp,ݶuϜSB[caOF{fA/&{Bi3 x 7ᨀ86@ uKcL@:]V͜zM 猐O۽-S<jdo$(TXkQ>r DCrC CK)gNeyz˫_pN5pw/8N*2 Ӣ*>¥ lb&0CzI@Eeq >hfYA@k18)qys/I+t֜Q_qQLF*I=j.͉#߱9~J3woEs-)FH&l\WlG8>變"9fO@o+{\~k=N-\`=^BG2VؚI~)R[x\,{:+ ^-Q J4a*6&V4WBhi_&ƚR=Mԩ6>dB@#4Hn'lPPfYA`tsQC<( VRΗ \l^bRi)/ljxp[/U-|,YeݽDʘRoʦG7^OEG:W;}5=.#Y8529Ӱ>ݓ׌kqE ab55AobWȻڠ%C.V_f2av2RT>ݞ_DL%o ѫL,Di9H,A*y3H\bE%}Q-#kג`Giݚ]~7pYaˏ/"w\;+%~y?O+ק5Iڭ3fL=qNAu_ a7&S{xJ 0he &8cu9YOulI? 0w]v[ɗ?dҭiȣϙB'1C*#Gݫ`d,L)vDN&UCWxȎceW Z_v\ Ѓ\Xfy@s/H^ Zga2JXhRYwv_ZvI+w.sƣOMv-~ZmI~*%r"*9'2fZ 3 ;i$fྟ6AA>k.ν37gԻq^jYr),4VT:_B/==n?wZm6dݕLk9ό4MJXoyGhCW ,<> } h?)if` G&Uj4U(ZϲEhmGAzJ ǮA 9z[E֌)qEɓ0XVل/ɖo^dz*)[^+7u)܅m_@JP?߸0}=jw MH:5h(V#tW@:#rg"#&F1&e_,|?J%sh-XSA̭'@T W|b U۟X|2D&ֺ/o}B4u4NA]7 sΟO*\Mvm<\XSQـlU x: ҷp7sm*:LyMowNX<C3Tu`EZHGx.F32iyv95s^&KT|Wp@9A #F̺%Ak(E0XeX+m.ɑ}H^~۩6R OrM"B/Β}ɋ%G 5j+g-Ql>_M--7|Ra=xbܵ"ZAi&y8K.oDǁ7GVOlWC=t{$E9?A,qytk…j-k@ n9ZA+\+5aQ]83gܒ?:*-LL?d/Q׷Weɵf,u)?>IYeEr6r3T^j#xTSntrJn(&ȟ gu2Xn>j'[#{)F{{=ꁭh)aR~qx)l"g0 20,^1nVf/hh~jT;(s&ʑ&X:O3#N>lCf6(׆QQ>Iz*wΊ/qf^U,r0 }F̄j+,L'Ž-JRrPѝ8Br4L`BT?%(jwnI85-+rAS tnS֑tsޔ(C.([ xkhҤDKAO^ >K0xN :!=7wL㛳J,bKrטGU{w;/@N<' 0g%@  xEyV5SI c'h2=Gi[~3bO?bR4: +sXW,vfՌJ%4~O92s)q ^\ɹ1ZV~&c1Dĩl%,B 8)_> ~ k߂S=k?!=Y-{(?6鷚hdd8yՃqk숂D)u826Y>!+OϵW9?$ d/?Rճ1yTaI+88쮤qYz┡NHadq^03iRY`e8ȣ|jKQ=Ct $K: cu2*!th73?:oxOێ[lf\LmefU/֦)F|)6kc'I|T0-aEgR( /{5apYy`ҫL]$iٍ"K~΂?3cw}BH|+hrfrрɬP]\7/!nR(1$AD =ʋMhAvyfVGiI>^d?hۜ;jv&J}=N/sfWSUzBma`(-#3!-y[[vR-L&sro̗얯ʪs6Q״pCl2A._𵁌./>) t9ߝk2 rh8nP+~~f$dz)|F]$ EPr{LM=&| Sw{:cnEu,t Db7߃Ӝ^\e͞ZČ4x I(fcֽ庛ݱm vnկ*c7#!Trm˹}&lBR;CiDWA1sJ2yBm3X¼7>ƗKQgRa/lDӰ(g/:Sˋa?!Vu \tk s3c  {\1BVNO>R'\3N.u D~;:3W]~|NIY<7z+ 4rZk\4WUvk-FHX=ڒ1"0G>+V |aB=`_wHV$ *r;S@5qN&]@҇KL3(#Э7wi{E<1`[ZaN **ɩ㠘^g.\Z[ؽNyiF ?MgX'aюTّFy 4XOPbxkƫ S6ZD &r\ǁTfB;٪W8;!eһg< t+-JC/}}d"/K B ׿m7!2z`?-Y1ИG EBsv9 UnaGHբ8(J沜mN)BDc.S0S5$zu%(Զmb@5@PUnKl.4?M#{핈gUWPӵo.+w7}:؊fó-.U3_ba%g[A8ED%y9ՊT{ݩ'X4L(RvYM.Wݐu[B`Elt$ &Y &g?cbؐڴ_ѿ$x'j8%>/@_[pܔ%1dF7;B΁[#}EGZ mitn/]Xh^̨^GT_*C yEb'x%o|#zƍovrtѮx#mGCݣZyoڽ hJd`)gH}N)CmyJ/!MJJBFw++ 4W qsOjÉ#S35 A5Ϧv/ .}jA?68*ݤ#c>ePB@1Sm:5@Gji^usLb~V5Zf1Kj >X68=&4oF"G)8QLm[dÑ[yWUx\- Pb"xOQ2`=Ub!x+qM>y2  |7pmes?Qđ:gN=]Ī }(&kvҔ#HC=7Z!9w!Y9 K@R;8\:A\|hW$'_1,}^PrZw>& x)oy[7ʊ]D~ApՏו>ʽaP&*ɛR h@i!eHD*3W s?>3#oay y6:Cp)na4D ]S%~?eݐFgH `Z=*80*ќ|6; \6e%O.]wpTVi)UXvVN>A{6#(gE` z\qS_vC{D/- +i`[x* `Jw7,m*^FЭosHoւ[VD2Dz 8Te%>*YZ2Vg(::$=VvEroq-d¥\OYAV)J%1=gMLaa) ?jYm8ۤzM6,IaagLp&&F@> GGJ3T9-f4=$rR6 YCXRNZOUuPt|KwA*/(zy \vGF+,=u C٩[i%q:_ʼVQ<ѷ횴T,,S[e=0mA KUPy)P3|fvX M[/OKue똃[݄N|b\,Kۗ V>^$W7ܱ\is0ώAPઐY9q|BGC@[4{EY|@Ŷ䴊Ai HyTtta d߉7> *HPF$quRZ2WJ!?aUl$#"_v8vrZrkc o^~RZ1c i qo^H&E+,)ܥTRۦ X +}`en3o:[!m'mL'Ԣq 6H(A\]܂45EP ~ځ(N x1loaz'/9XnS%;bMeo%楷cwn 3D8t*^L&o `yrVmRP=$!%qm V `Wi'E ef ~HZ1v.:hXT: xyӑfXg;gX9YhOXlB3KOC^RIL6ĩk@.A%|E$}HW#+m?( g;/_Gy9V\Kx]+Eګ/J{NMEKl"I4@~JÚUc%]o`y W/H2 CY ,J HwBhhptsf}]A]$r3~ >:U${kqF+D!w$NBOI1TΞ)>r+ԋꌟG^#&7]Ge|bb-9%y3zc]ro|EBs~~WXO#8CMT̻)KIMBVah~P5ꇚ:P=M2X l͋uUc+ɹBVѢ{fE',Wxuf6τ4+l~=ֽY#qP Vap[BuiNb\ 3@@w ?b/\;rrj)c{-z, $R/:!+z=k$uiqWmdCq6Q=l+E{XgGj2pTԸn{җs=-9Ln%O.H2:)ЬbPg{ Q,JQz N p3;Ն`f a{ZOy_3قn(6T@pcwAgQCMf!|?ź{*3CrqAgRxjIO_aTrpaH9߷5;W0֦)@熼$"7C:Q_:U??=wUʶ;u2kOz% wb.cEv]4(F*q-vb,'tj8f6Q R{v2BCwrٚQI9hkH"DFs`FŮ%"#mtxz}1(] 'EwLh^q܃GJV8]bjAN_=?)(plɟ\Laodzf0 ',5n˷ϟ=c<|.JEIT J-^7OYЍv3ywO{ >njb/B=1>-`ؽY/"?;ΎYK h,!T( esCSBe@|.;7Y]hub4%k:qQT-j?Ω]f/Z{9XM 腾#W5x'Y:zOaLe"5~oZXJCzbjIQ"@FDx5O6䞩~<CxNm;6VlEKkwEq)ݎÄDGgIhXR][&/yW{;bLجCvT\H*^R r,b(m B .[,%p80t́z y . X=2H9P~Zu*Q}wetfjʬG=\iN5=4\Ə rЂQ?2i,`` \V5 wҲ!Tf{v{1N0bMarEbor /)ɕ61}7iѶuG sS&8{$1CȠFʽ<RBBᨻ%?l`~Q rAF~"??N:} Gi] CwI>i7 &6GէWwDQ׹(>ƘUpg 1°I@[<2WAi8yOZ<]l\C?g;t{o,}tTr)x)+7:sgZzXS#i{ Ly~~c^P1?_8Eڱ$G{"q.aueh?3jvs3vdyY>IE!&i1Y8o.b.K^iwn$3r07hxS;=Hvvt3qF 1[YNsW,yKkaf+yiƄRq^^,GB!+ٕ>&5c ")8T4FJix0rHוֹxI; Rb 9<SE2/7{-{pjL e> `ZVu4},~X/zxZH5͘삏kh'%>&@T($3r>O 7'JvDfbN0J3)}(V|ȊyYwb$DJFVZ^ D*0 3ʺsG1mfNS=:0Ϋ1 MsoO܅)P%ng96!߹I:uq;baXTȞk`g'ʵ5Yv%yKbu1'$ V'Z.F`Q M#@ǞW9&;ᆪ 6-ڤ?sGfSL Wcd2AsVp{L}b}r(VlN΀Cl!^PLpf){1u0I[EmB H(:XvEÈ ˔K)7ʗw74k8~vs/7@;Jo i[xHZ6QcI!!f%c U` ވ1`ÚV_>0q !fL Cw+}UUDu {)p y^BV>f>]zф}Еn]mHc{ zža#mᆑtsbҟgYZ7zXZִF! ( >]ŗXiɟ1˦r!cHkMeBd4Y:+o"f\~sj36-4{Ž yEKݗRE]Kd_BݫJat DfL^LF5(v}!#| U {1;U͂n{ɻkE eG 's Y{^Y?<h!"D;$Ďq-48l rSO_?SE0դs*fk_Br;ZeOJ#DvWtG˰Yf=_+ϝ>7Q#__t%PxCNZzުY 륰f5IΣe(|v8#&.̎PAE n@;a0ϩR?ơ Dqs ۦswp+[俍!IoAtmexNwDgq$SE!1x)(gOjZ~GMEi&hr$k-m>jۙΊ s_i)4[Myg37Pnʔ8ҪCU,#b\79([Cȴd<_N:**TbM}kqeL#G6o+ Aam K*2`FMs@5j74` ǣ( .ˉs@kღATT ;.7Iysq$(P'}'Qx?T=-ޢ4eîwvG7"8 _a0 S6\c˄;SY7P.Sk(5]\`*%얥O &^uKa-bA>g[0^?e iRkN% X(yLIrSyӶG#?9B8JU&Fc*?ob$ *֔X`+V )3'#?Z ݶh}hxǤ2/,c4좒c!\@/t1ѲsYEi41bYș(  ێ~睂Y[iܧ9̞ ^Z>du{I r+1R=^Jo⋀qGZ7S#4Za;6Je[6R@äoQ{OP [׮=PUErETfcE̜T ytmN2uz rV!PxXh)Sq29D4ILkHI' Nڏ@ sށ0m;D_ڵ! {wݥYEfsaMu͚E´Yғ|g ҟj]^s%Ai[LV/Kj\ݬH)LE)(;ַtroֆh ?e Z >X0 n DmDǜL-ZP0nG(1-jcZнq #e5!w&:=eKeQ*< z)@ o{ j3)qٿo}Y h"̼gQm9 E"@*MTipHTՁ"cc::Ο>+ZG@U4[GpE1uY9Tʢ!vA:bXi|4ܬMDo ?}p=!H0-UWGZjcͪnݞW3`a,v\&k7rhIw *Q{fɟ+J|1T|YG0re!@en(e$MUL H``3rJXF\šK&~NmgE7 (OI}fL=w?/Y<7~1%XKñiD9nH NTJ::UNZ"UDuIX?,|m@P1d 48\g)*[RZu^i#50ǫ"XBÞ>G @@$%x֬OĸȅdW t,d,l@#5B1oҢ5yNQ=O5O4 j"~{a#A!qj;Χd UJ3;n4 $#fmIeTߋTr!B~ -“?6&@6b2iX&$I5Ƨh33;j{}E {FE= \[NL70 |mk%UgZHW檪k9?vSWp$Pi"X^Uu TGpLB՛`L_(c{M^/e2 &H`u}%]Vn!CX[ެNQ5L`QwP\+Xlt>$Ei崙mE>D ԫ" x_: M7ϮGzG^0eW~v+:~2KجyHKɻP6(=V2:t`<̺L]"qd6v 29?O,ooJBC^Jt]{O1? B!dSw6\Co)}[z"* y#~mUj-P-(K9*@-:Fv-jJf-/DRZ9,ΈmKSְ L =_(RU._Ek }L+ z?J?qtg|i@U[O/ & $aWс#su'pgs=ʓD!>}VW$Л8#[Dv~Lp\l8]Xi O/:~ɡ\QUyI$ ;I|z]Pnؽ'm+x`\{xnYOlh5U/ жw`v sl>zsِ.A3|6G/yvc}m4k&Nw$U(0<%!s)-2(>Ms 867 V]8(zCˉD{MJ E񞧯w}`iKtPS܆c0,Jݔ/󷿦!*XGr+^NưeCs%՛w ᡾]xH)jQ"~:#niS-e7x^I IYӕ@}}:!|n\Ǐ0+Z'I ~ #1U+4rۤ\Uy2N~O6mȂFI\ `Mkק8Ғ_^K+ժjE] Ie|&km~muQL _BZ ɓ\ܶp"ux" Wk|0GUY˴K B0'F1`җlMTw5[r[eps%cz_|x @_0`tMĔĨݨp%}"pE^P R0D،o9!VuS>r+f[aHw# t7;sm4wth߾*Ho-^9G%osq҈b?o&Kc-XCPXu2u ~#j>Z%7Lɥ*ћlӔ V&6!~^ypi{¡2&_mh0p!di)B[btπG3@Xxs"C4NgApX!@*< >q4Llձl^\9E:sg-v!!C:iy7̄pe؅wVɦ;9|y k;ծ~1vޱu T14h]HB~a:AlcB},Y}T2d#vZCSfقbmi\ ])+?.9@1/ 9'&E?[xIβISFbd֓鸎Kʥ~v02VɃ) 1NH7Ad3{rd#,P P  x0)ޜ(óΉ&lȽƭ]PrFJ>&Gߎ;]en..vOѻ@ɹ=DB 0l3PZN ױqGH4(lDB)ޔG* :xwxlW%@ e+\6] +!ƲNSnrYBSTvc")oy4θ^ p\v՜aRuOx:D)[Q_TR 0Y!Y~Vr@X(؛'f."oz4y>> _LgU=Դd[= >:m=+ի͔EFM:2>urgOcBgeh߉A"uN_47x\sB'w%&&Z2w1p-xdžVND.`@:"WG( ʄYؑeEeX o{#=ٸ `Dpl@>]ᳪ~SL5X2Wpwr>V)9Dfj ` 2g(\Ea, {7:uWS?U~:/˿* nhY2 7 B5RW̰@3Dix7̿K>H/? g]*Ax5s<+90)aρbzx]Xmx~PŽ{!j` ў͊Ud/hs*}?^myBivhw3(oYZ.Bs@t6=H$[ N=XKyV*7x/2-Pis\U/>9nh&f!YE}:0BDgHtYū5pY.w..x ah?XԂ|cp&D{h2c̆KԹ+:=UR?P3#ʌ1ox?pwq1Qܨ[ BCM\E X~3OȌUVY >UC52TIl6 tm,5:w%d39UBѝ'X`fȸӁl"1h@c%%fW:oMu iɒ.KuuN=]m2!ߒeƞR.=c6 -ݖxI GZXv(#_]a,!6?&ùgJ*#ok{{bl趠[»(EbFW+DHz\>%aMBrq[Q–3dOCc Qs!w!~8YW*@#h^Ek'lP) K $ޒkis2 V"-FnE#Ga**O!x1&>k<{|l(zx u n~⫵Coud_ij#FSf2jH3GV?rRmHx1lՐkL WDsO;Ӓ1c@25ZcƵt m>xNJiH_f8Or6nGCbx^8cG/F C[LX)5k3W2OH=4k(=%>`3̙c3Q S{6P/x,𶓹^>|suCnE/&(.VD?.zI?pKT829YRПm6ȳ:~R DgBj+7Fu o /hhCd<CAvje+HfR>g׈M?p&t:L ,ISaz0X@DU4$Ư9+3YgՐBNr:Q'FAWhsS(\IOY[p:Ne6,w`o!8KP[{ URW5SLNƥ%&+iM?@@闐aX9 hDtvq:v>Íu Rk(g-we2(!gN WMiF𼅐k]L'Q $ZL'̊I&i("FFkJ AAcMhVO~^ I: 'O'mEoU喑Qƾ7%L |2K>E>9X"]IL@ʛ# 9O?ŒÆ^vP Q^x}4% nGR$m-(6K,P|u=t2y7|^/J?4zZճ4]IE=pj(D+`g!]5#7n05f.Ac}uokKpvW9O1=?5ߩ9HzSP[wT7[pw@СqwЇvFz%RG %\Ԋ&{]Rbպ^: j(̶V@&*sH+Rb?0E+ͨ%5t o7fMM@k])5)C)7{BqMg.}=Ƒ1Nh"q kXBη( ʧ/pWj;Wkv1\Qh z"7Ǵ0>I^^,**JLߝ ldyKD;$mͶ6vف5ϣ!'.\m[>]9 G'3%S#:.GވMtAV~vG!>kJ.o]AN#ʾn.?DJHEq:{0A즿Eta^Io$v{^1Y 'ʨƴ.)[tԏו *ij,KvV/3V. OD3DǡMFa^,n%[2)깃!;Kگez ;iWW* &9j1;$np\BbkE;$BCnZ~d=K Tߜ5_e󐦩t ?]"KnAiF9% T` IQܳtX.`=lVe~0 FS/x9I$#6qDϊ]Qv»,*c~ CLar#t0lWTSaɤ! R|OE!^ƋO}:+ jY ߢr͞-0 "ax pLG%bgARMb٧ "N2؈뜨3n$뽰CfUD-AH,K*a &<+g#ުqG=S+b9KS9uHФ]PĵE0 =ԉ6T=_tpOf+*α~"jZ#x۟i ˅!H[ }PM[}d`K- 8 r1=Y ,VhmsrEG76ӳ/mG>JanȌ/9@,9\*mA?e} gܗU5?Mh8$s)nޗdxx ez?iih4`1WEIĭz$paGRQjn׽2B!5ozX>g'Cҋ3V]W+łw.'> ;^]DD?BfNׄbz45Yap f [X?}a/Ϟ9pȇ'y+#FW~͌ :F㓝"{%;Iǰ }̭90:a/;2bq@WkٗTax 笭L$qr5x NFzZIcaZTk34-ٰ+YeTA >\bH>7m$`ߞ?T0PeXeO'6􅉝}mªWEqFJ;g%Ô$#Pb@ɪq9>4Xw:C%i받"9hbmZѣ>Rݷ_|ajzFN7JgobIA8~݆-ys'pGZ];Ǹ`W!d\jM< Yѣm;T3r! Ӆ!-RUQlRhZ=N>2%g?XWEz lg,3{(H7C:;Q|kE=ln >1eD|$M೽^uk&ZK-6%!TapkI.ź}Vt3Ы;~e1zk5arژUQٶІG ݬ\$jV0Vh͖^+YՊ5Iшs"s4W,$>|IU׍d6/Ofߟ7ՑtQ&Z/~q8ӎ@m4L8ߓQY]gYZDNSIE3M[h%|+tΪyEn{(#I`:n1FLs@y0mpΣRآB8\:#}ALׅ;nX'yq1v/(0U)&9.d6l"+ql*jK2VFwvBpr2vPS\t>UƏ|T٭NoB $OTm#%'H,KЍ&VUpt$Cn9>%PߤCO2Kr![CZSˣ¿nlmz J8*6lճ<%Lϭ D=zt$*n+7\B!J[i"S7ln~s^0 KD,}r>p*'^{e)7k+i;gg6O`{ʞ&Z{4kBeSZYx˵c%w s'&hgh Լ-W)mcQ.;WllbV |6{ҭ<+(.ǝjS($ 0&#ovxX@aM%=1-Sx:^;n+ؼie,{[8׳Kk;h6ʉd|9e}G2}%S\Gx'p˷{Iv'iC+tZʏٔTVS}\I L3pLu,=\Ia.Q9(MPE%\}E;#2Ze T-y]" Sjf<˶]XT(n& j #IX#N^/`$A$V8m  H4C`؎s}ld65yrcЉΉaS*#㠸=z}sHX^: ʫU p(sPfBO~5oX=-՝!z8W}bR.vpoh`X&9, pj,7N҈d|6}6lOCoUjXn}Pk%1jr;O)fΖ,a!ye3\ϻuM&,sK*~0W>|k5z,"{#ΑD'dYU;Mm3]10nO\ҴwG>7 ) /ȴb J\ tә\&NDP3ޙMT˒{ᗋ>}IMZ/,Ql kSl`X)"A^cA+`i_Vl6㚧@Jf,\Kom"r"m{q: 3W2 jhC|ep]Clb㫬\_ kHHO# UFid)^nl6x9.{W,bz Id$tGϲ4 U|e)7|(oo$vȑueB8 _iz'Y$i`Y*`Kdcvpk$J731D͜6-39Ob$2@/붏ĖjM" :u_a}o .5dv3PMIP)WQ{.cLC#wd92]dDяձ{-Q^5.u[j~D1rC]is !pE狉{2=ʧ?;w]S>TCi}%y1K;Swu agX\Y}WB+ CRFi[6]E)mdpp7n&ط5[9I*Q ֘4MRDL;j/K2Kԗv~v|;[Px_ %R#T 6)2"ac&vвtR!at; F8(\,Q;b"b`۝cBOZK'`NêU55yRU:H4YK~w4k)@f OC bKFX-wt|(q*x-3C̕e´a^S^XC'hvEX*ԁm%ưPU?Y\KIi-'-xi[4vPlvxEFgWU6|8>n`k7rRN-ʍ o@UO'!3 K&KfЛO@S/BO/ŭR?b,:73$+L]]݅&(^6W4!@8Wl(t9fc][2 t>T;}avS %D zpZ|e8Z^:UvG3Vf}߱=Gv)K(]ަaU 3]49;df%P @nU(s|YS1G$k=6m;eRz1#GxW5UŦMxW~lDf,lck .!Y%I:p &RNgL7f/~^M|͔A j"2RD2hOBp6h|X oK~B7gSQ҄׹%Qj ۿ y7˖Z1vp'WYdf>k9!< 't0^8|cd u V{[[r%{B Ps^*LKϋ8չ(^R4pi5R4jpVr橦b9{,4lSڸ\ kCELX706ۑ8Z(IMO⯕ cYɸ܈ }P ^sZQlN*ɧs\;1I "9B`yB&x-xD}pդ(q:gR=(Hǖ?NT)>ގѸ~&^* ;u*m4ǓA/_6ҁ>rܴzQ-jTJelR=U9E0ۭRۙ S#{l&˸f'J7e(As?$Jd(b9]`Nҳ4*P;W-{٪Xa4LEBNqc(Um3y3*C-f^|gh&Q%ڰaX y{# ![5&^fG?3{eˌ٭7Gޕіťhpٷ9Rh)f3sR_K:a^rM TxJ[{-5Nc6gUgli}{m†/~țj{[6S {̄SQXNT[ *1Xn!S M{!47 }:._mVaY,8\$hV<1Q5w`0vFɵ|:Y7aZo-򨥫ɿ.`ﳼSZDXSi7Ԕm8( 8 l>թ W0;}o|OZo-G49eݓM{(L9!%5=d :kU:ՐqϮKx ʘ\)$< ilIʫ?1Tvlq/ﬞʷaoҧBޔz#fn.q16m0 "*= UއҀ}6tA!L$Y JI]m*Ձn#L-%e3׈:^L[-YPƷJ`=.Avn")-3W8 0o'=c4ޫ |)n5o9⏨{ ao sү-4JShG_ ol/b@LxǗ=0-=ȶ<`=Ӧ.>= !K/9N ;.'6UZ%Vת*Koul>W3+y3g{\ڶvD _WkN 8")4WA_Q_}5Pc谜G>6\  %ăB~aV';H,x$DC+ʓ{'&+@hNLpj< 4dBi%':!Aba iF:|߂=ϴkH㨌W嬓T_sFf)oQ 'CҼdl<.y4;k* HE8vJd(S[G2A--!|]U޲f!WY5|bC}/ɖ)e(eIbU#~.vi;&aOZWJ3 Η6Z<BmGQ|:ԭ^~X&>cI:IΜ<]X=;SF.-^*>gݱ| k6E 'G%;M3k=YRySYx 5_/ B;_CNW_\NtGlSvI$kUzFsTl}x[G;ebF ѯ4cRJ41US#n}Q^ʰ`}csN?j-&B5ñj_r-WuiAao>yy槤f>ǪqA:n9>W "m 3jbi"BYsO45IUompCB ݢ.x'$QN!OB)s>YPֲ BSo]٥^aCnLK S5ϬsCY 3B J%/JL"3NDv9àyKx@;Y|H'ڧX5?$ cmsovn\R:/)IFk(raI5}p>0y׋s|Wۮ^Vj vt@H7!׃^HMI믺v:v{X&9bA 3oԏvQ>n$flLk_z/49g4{ 棶[3w #d`7,-XcdtY;ȕAyX(˜X$T ݕ{bPo()gH4ޓil(6Tʉ 31[Yt"p1SӝіNhkFBXgh͸ɵblnFLl1ʛ0pUQ_}ĤYѵBsA+CxDfKFXvY[};q8rDW`?INԖ-(*V{KO^09Hco'Hp< Tg3Xm^F|zEns:P0)G8E0~ `w yc{Q@>;R^ID,X$V$;eSlng!^n]~VS`|Z5i~}&r'g)Z1-qj6l.|Bjw'CYjlp _;^`NZ"b5zz3D1-(dHik* ]TCSt\ist^n@C$ 4c8lPƑ*ɠޢl%9#|1lVjEɆunٟkGO$]+0Aܭv3?Ұte9d|;L e#^e&S鴲)ovFXG_/OV}4]Ƽjh _%M22~^1Sh!/H1QB,(ɧ}[MP+j8^z'=Y5|Y&:1Y/8D31;a@#qL5-I%jLxr4W*6/ZL#(`bBb ?:窱;\i`Gf-6H_ۢm.$aln$L;\԰t#y*`c4ƃ 4nR OBFKg\`y3~]花63\lƍЙM͵+ޮ՚i0iL^M7>/tIbix"?gwԋH6:Q1ld&veN%ےX]I*u<}ju"~Ә?tFjMK DMU YZ~¶C,oT,&&|!#eLwJ'V*s"&l72y2Yמs\sʄÝڜ|b2i}ƙ#x\>=K V.@&t:PTy5:D{ml^hzU%T;oxd}fOcH̼?РdNc9e[ t?~ ?^4w9]ߒjWPQ}2֍? JZ}B'=IIO)Qٸ׋Eo8ޯP7͜4iZ7hw(FAvg#Ҵ:lʨژa,;r/`SL14jٶ4amp~ox,'7UԾ$[gm3w[qP?V#D:%c(v.f=>0xߞ˳򖮅n<siseR&-~B2t,dt^"kWb6bw Gh%ƱBSYi;72k=ì>juP..Wkh*brwLZdMcll+,:x'49K:&Nە*w_ #zH&}]Z\Dd5xv{WQsH2"sc70J'KS]>ф4ںJmVE&K&_ʴԀD UUfDcwkJ/Q-UX?G>\~F벭#_d bhHA4[#6t1Y vI((S?=Y$Z 2n^ls OwE*?{Hls<Y}w IO+, 83UmM(J%_H!BʇrۇRnlז1=0v9QNcKN..g,{4$~S*``WAQ"d.b$<{:ʎ改_;{]q[ÉcLS|H^LPFQ pIl\4NM)Mqy%#!T>1 {7q W{=`[5'(bmaD4gvRaTäx> `=OKgE cp;dnl[g8b \ۂUtU~BZ&ڣ\g,@{&)2x5o~*]FAgSFWγVųUFuJ:PG@klq|}2a(^iu͈Y4:7[c |0\r.=7rP"+OٷsR Z}`7ɀ~S>lK~8;I£A|ؒ2_V=#<ؚol'K.y +ZS}IG osvuA, -&צmԙ#TDb8yV,7߁σeP@k*҃.%a"3)՜c&"jiD7c+G$ xPXI0I`{}I+!opsD@r% -By p[fq^Ү}D)ơ^C i4LXhJ&Ao(S3+RC9~-.e7oG@vf"]qdBziXrFO yMr^LKٗJ9}@m{=ZMo͑9vU_1fiI'Q%NDu׋:Q;ډ:|}<{1NLdś-UYF43TiZ"܍&{ιڮITW0L=2!mРQɅ3_<7;svCEʛ>R7 GTSt4xNԇ,-%+76R\2s 7iwK;q}+eR*c.9/'X';p Zazj%rv $46RW1:J;FFM|FG 3"\#x][[vxg=]\Dyinʇ6)oZn!1 ͪL60vc T/pOs ynh(! jBٶD o3`͎P*?އ07+kÒvvY ~H^b=ve*CiAyQJP@KaV`P:/Vb ᩦ &ٕ`|;aoBl<m Wy&oڧg rE>De*ȵ1ޚC7fw%V7n0@YѨZ<;FJ!b[֔&*0SO~:uP^bMyGjR2/r_a?_cQ+` a:!NAWmMR!!")NWUlJb+pkSqXM,;bm.A(*GLKM]*ĔL#Z 3t j)-CO Bh!03X^9`hd|ƿIàZ0L(yWP:7`UxE5q@==Y:4'5f>L<2y<a̱[H2kcBc\6"} Kׁ|/iI@UFo"s6-5{8oY%f].9yQd<@n(q=g~҉ ѯΰN/]g6v^1\||+O{}pQkAڏa48jO{j!@+'>jhETnGZs0-&,2:[=pj=0|nEb.]~ka ը^mtYLM&b4xOZ +'>8$ U#.5}e ,RkPiu kGDc첀 UBfVm>m&C!~L(CkJIw*3[IgH?tM 1_rW-EmJnJz_T;1" ~460C_4jֹ olgArO4Y]hΒY>.cp*X{bJ#FByH3-i(苍lcm^ %QERщ  wi,7pu@‡[  '("9M"e'dalX;!5b^LæpVǫȱ2ؽ[0} $,72c~y5qaIɗBngdгuQi{4'b«+ʐvbwv$=o5d*f+5՚Ѩ҄'}9.;k\|<2o(Ր·xj (|1ح:>DәqӞ"ݓ":3r eD KH9GQdR<+sTX2UXUaMd0\ d x|U }D&Ofo>Ľk66:]j,0" ],AfF!뉟<VrFj#YCɬdg:R? m9L2ecnh?κjC|9[|&O@;4,?P?#[ע{_p?J…ȿd}IF"4ST0U#Z~?t!ғߒrx>pҍ-7TudfdZl4Q=',h( HJtK!//Hg MQIȰ#hOAdBPiZmсdGЙyxIF%U.yLjd^+ݱ VHzJni~TGߖ gDXguv4koch?@~y2HzΛ i#bm+{ 2h]ƄlK3I*>%"9c aog{2m,(sg'z,$ pg$!]_OyXf-|Ĥ؎$\"[wH 2jա $J{7=^k=EϞ`Gncڀa"Sǫ0MIoaw@]!tdl|eޓt]چT9 (0ܑ\49e-[.=A /tvPm!XgO/#LU2{T5c}&n/QHp$2Kȕ&T~io3Ј{SS. QPL"lB