SQLite format 3@ .  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 x!$|D ]]]HOL-Proofs:threads=6elapsed=719.915cpu=1790.812gc=422.424factor=2.497zXZִF!  ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb/#n֘L^f1 3[!~a?CWoFn'$6囍7,ZsFs4Iء|33(l牘e)S,%4/{,̉΢cLi2[1SQD„+jӒ7Zx-h!:ߞ ԽzqG̴+:Q1znT.}V:+G w AųRmB;`vܿgӒ'L #),8P#t=bS9l*AgK j"}5bTvJ=bn! ~̌D>,8pB2ƭO(atPyyc?ns\a7%\M;"<䳷34,eؓ-8c`5ԪVh/G1Iyl% +%.З(B{_\Ib'scpdKt[{6AhCKvGƈ[Kor\瓋c/ȩg`;W[,㧅#j;nZGN#JRKvEF7!_4x b>$,.bߦȵY7즽k'QYM?Bn`A,Ǵ2 iOV=V %&ko"Ɠ !RE;/̽%+ ٧> T[(<j7em} NG%#FnIx LqH((6>9#b٪2O3@eT;ҼswOV!b߱VHEa"%-Z{QnsnNP'{ !QNA}X \!ftJJw6J%[CRK.e5+C*2Q(j$"?ͅYf`fldYt,ݫA!TKF(_?i4$gnDE|=K;֠ig?0P| BVi~pg _kn{z>H'˲n ʙݑ !6߻:_)0p;!/;7x$]Cv$*8uzY.'Drfk ]_`=7{$>3ʦ0$=|DGMZ4(ۼbb9cMVzK@5yKM8zciJȳ:6ѪS';MYu?$&aZc% wv 4م'/t-Qu?" !|QhSFr2["1͌QtV*t%݈^aAɽF> *}y(!P;_ 17:Kgv?@Y)<)]˅!Ry;pLU_[3T9BEX%o|\ȑA3&-0K_i_y k.Yߘ7&\OpWA(XۣwԜ%EݛΥ}WOؿ,_t>=ooiL+x_xNghS7uI22%Z1LX{Bp%1wGVӕ8CSi.!!%</#\\z oyS@CۇKOS婔KOu!14rk\{KOgL=^ ~* _tdBQT3Fpݡgd f ^|qT)wzF(''޷:ݰ`Z'2I`iyVIu1dyM[J 3H^^ ~ oai<2Ì0 Zt.2GB%<YnDwa{O㾦T4=gL%gUL'[it-T_4Lj MHG}1*acM%Fo=N-MEhW Oy&6hN ,<̧E #RVfzvx_^TiS=F9Z>+\MPQ|L VT+WIc"2qʍ\>ćy<CLi7ޞTޡÁYItSݙ88!eZuv] 8%G<7iUEUL)$ߐ* # 98s\"J0SD;pz8pp|9 %o;:y/ r_F 2X%5G9siT{F+wxyy!/xVXMϯ\E]V\@Ѹpc?MV 2/NcwwqRf}`k 9=1`ar  ! HOL-Proofs  C ; Cu!-+ HOL-ProofsHOL.Code_NumeralProduct_Type.hs7zXZִF! 8]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C0 -U.\[T0SE=BrFA@&C M[~Xb@_L#1a4ԛ~^L2kqi!+]]S8[Sܗ+] JC}]w˙):SYcie4>X}6T~nn-#^oo@璁SJV^ͼ7Ʋ} H&vC2=oFo٨`]367mP3kcO,3Gl#/ a%?ڍ gYZ /!-+HOL-ProofsHOL.Code_NumeralProduct_Type.hs'!- HOL-ProofsHOL.Code_NumeralArith.hsrM­0 㰒V-.rɋOlsS=@ઍ>b'J7JF5Ax si:= ,EoYf:G=dt4VfL4⸑>1Ю[k(t߀dc8T*0D3b ډ*oj؆4ᠠ`Pֳur [U5B$TC. ʀd*yY#%> ll߻eDrdז[$.Xh8\A|.?%aHJ7Yh~I|q j4+}lǿsNc_!i ӑY4G(䐢e]V|4*!`U)Bn8pHy|0jtr"g9oԈr+%mKB@ m1[oV_Ӓɹxu0YT_ؖyp-XalÛ (>d$@?i~vbQ `9=,GE"V|߆vM|R\ cDh-:+F:BG#[ˊ&`7Bgp$ ,S |g̅&7;6gAWIAH4Sg I1ՖLX9=P5Go)͊+~pW+k+gEJ˝"' rt;a[CH ~9HnVD,%c YӀǽֵ.fB*cϙ>Ka9A41KffY7aYr4׻"ZY{Ð hbT)c/$w)[z]SIGX+q50KskX|˧^^Cyr*IH5mۖ]uUF&=bB4,n-C3@_Ҩ,^X?qQLyzg48E^\`Zh{L:x7xc\ʭ|W|oU+ '#W۩*ގ1  /֛[JTWJ~wW"tjAŴ0y,ufXs@|i@E Y;Ҳ:^615Bjq-wt9&U)ӡZŖjK '8xֺ(NjP gjRgNKbb I/XvBumhI;i}o##:y^"q,Ԕ XP OH 2cv*FQY@5|HE_` lkri*g(+Ci1HT. _~S7N6$US9?&5ٕ*Y櫵@ϒ 8Ƴc8sLYu-qEo`Q")ݾ6d %Ӄ]: StF'(B >:3` M}T=bd, f$-B;O}J\ 7 [`f>!7T]F8oWWO%)pjm)=`#XY|Mi3цVuP3,}蝑ågO3A{y¡)i55o&_O_ w_VGto'j煮on=cU/` 1.цo3 ln@hߤbM{ ې=>~wT>r  s?X},cՈ-F풖o=\!#5>_QNJT@9Px>> )뗪?@xsMk&qyd P`,"Rt!Sx!/4ObqU/(>33(vz!5}%&#{i+.;37K{;6y6O{k }ud3q~ BRjǕR{䙣5#@$ਗ਼߀ld_=y^LY)M!h|c?QCfpE+?o29"EW里y&gEwc ,?2'x$ߩG|3d!MyR91/FwWpa:BO4?okm<,PbcDo<"zoA9fhTsU,2i$G٪;6^X*0\痑l??Qi|q`4d\sIi2q) _βVQXi'Q=6 'rgYZ7zXZִF! t]ŗXiɟ29aoʼz[%U>EM!!*X#`] xSl7t<ث~g|t!.j'n}$35cŐȝxhO

&d[@q 6SZ *=03 SkDi;䡽:v?!/5# L#_U /U!M[jֻ*۱8~ MXǖ P=Z"^7Er!׿u֬ɬ ~h?c2@%՟IϔݽIׄb ~IԴQHCf^Ey|ю04^uJ,\ V Ͳ ~,!FW_-c srFpAG/!`~<j3dWֿ$C3槾f5˩`*{RkAqO/pqR#Ln*=jcObCNvokS}Δ-~}ao`{Tۨ^j:, buhHV2aL[q-μަA]XpΔ,&d~;gbGdNVcs}e)<0!)[Q=D2 gYZ7zXZִF! @Y]ŗXi%B E W4ydh6gBxXZf9K뱧j|@Ly0nUv )xa„=Lp:0zc;%Ќ0"4z_BZ(YX (v!>i`k0 O[FDɡ¡ROLʹ -P3kBcssCAK v&9i'{RK 5Z&ml5# Zb.VaSEqs[y(j" >;/%b/hJ} bH_L\ϮnZ`5)h֝2~[ayIgh_ס 9dpeA nW=A(:'5]^m=I6*#DE}Ѿ&Ltޥ;έjGbu,v'W ~*).鍮FkپŬ IМ.ƢՎIJ O+Q3TtIF*3Bcv Xe~gA0!ٍ "Mxj~6~Z%#mĺEtݽ{isT2Fׅ0z*k˰p=L]D%3WV!ɩE@h`]T* GȺ$:ђ]9xAƔ.=.Q[>!VKW%~TՍQͨkR D%^⌕ fįG|"ߐ$Q^i//ar$GW|P(jls "9LI '8zbĘ\ i:{x@Pu#U.b1-Ulmgx:eiAvAi>VM1$.wr!r]H߸=ykק82-J4XogvwTNR+\b5IV(MEdz$ xydS4zq*rP浘?7`as5YyOHJ {rd+,ttD=kuٱ*V!MfDW7xΚjSzN^y܄ YJD+s$ Qƿe :ڕb-ȚLH{d*EwUp](j _5JZ$ d԰PiK89~nU[pOI]~$XPթ^ L w/=<Ě HE2U%-,I564-՞ӏdg4!P1 5{֙8OG{-Ҁߋ5XQfDa& U=:Q]! tҶm!eXd作 @+i_ &C峼IGwHC)\\`b^WIsr#.T-H)hiO5ߍV:N^)mֻkގ k3d'[0@AKatoތ`"lvO#_ ,x{!Wn7*ȎYrxGO!9W9UVYN,|9sdp}&<Ԯ=:I '8 z8u1fP3l6k;0bd)kl;f6*:P1+hyn)wRjeFΏcdKr %7އ#x[SqR\%!ы /sk7M?{I,*V>lQLh^byGV97kȤ>3M/uPJԽQf UFg)%c޵Gw-=TJ  @ ٙdzT7s-ZX1xy~  y񄏋^1$æ(KFФ)=^X$TksnhE<*+!؟kj{7O|6a[ٱ1v٦o \> ] TKfX I.J 4aЛozls|nI7^[Vs@T9ZW{>K B. %l2]M4Y?t3B9 D6T Ij/P'qN9kHXľ~C )r)>Ip_qL/ eeVY?a"~ԹK`՟V4?]Et ,XɒC&/"~s*nlcUu `T7v$ =BIfS꧵H.p?[FW]6gn4%Qe,9]~F"?W q1bQC\5IYd'48ї{<?߽ĝxJ"@5QN"8.=*ڹ^ W}&Ȓ[)=:e"^ﶍ\ASka_KG/kuejc7q؇h^΋S]7រ,@-@.F>Ӎq8t1בVj!vJ8h7Pejc3T[S1kfxJqcQGrQtqZ!|W!f,/lVڠ@$pݘ7,qz Hcw:U9bFe1c)@ l"Bl"'mVg>걈Tjs^_ZXLk4=CdzO#sf=UΎCQMD-=BH䝴\ӱ0$cƣ+QrEr8l=tEZώqc+W+utZnit`9p we.k';(sl<y*V :mz eT{0;g3DA24.NΘU[k̘nGSPttM Lϔt '~CḆT)/glwO:C GC58*4 ݤRc<&]0ƴ-e3P!̎G/2|birdч+. sǎ{ⶦC-e@P|qtr7+q7 H:+͆,t:u!uroɳZ<l$kzk o3( <̔5U+a.tC3QUT<ڪ =fP$-Ȕ3v ~:KN.r}ڵ&mN92;Wڠ)E1 ~ !MX3J얎t*"zAe@_lk1R#[B"ma˘9ËW)E}v'㭌iH=8"42'6]7>vX &.p\2↴P5ۻJ}9bt""lZߔDjg߈ު@q$=yQ]3a@Eu!r,/< Ĉ.LbG #KHU[6h.G#%vL-TU ɻZs9TrqT >-[,9;t%E 걽UJvHxa24ϓoq3d8EY ̓1pթ0P}Xn"uq~3A'MHyhgQk(ϣϚW!K&`a?@O: %HX#AD6J_*9߸LeqQ_Ce (P0h b(G"5q.N>p mnW4`jPKsk9T -"Ȃ^0S2uGokH]LoqzM|T#{pP"7SY!O-5TǰgMC'w0#sAhUā:i[>k}KX]JV6$d C(`w)^!梁4Y;ɽSZ >/2ηj_?jEZՒ XoػSŊPZ h0S]ZŶ 6a9R#TwU9.;F/8$^:7l9d;">-L^dyc<[MuNAP[ٿ-M=֛E!;aKqB(?'Ғ 7ѭ7O}70}ϥ#Nƾ!S73zp$>xg":wz_(|PTMuf\6 zٷJO)Eݯ,tgPd`kʬ0nTk^xӝ-RbMa9ݶHeQf:{TyHoZۃJv!8f.A 0 IJ޸6PB@0+G_:LN~bJ| LJ=/LҀ[߭⛵.78]N M>ƌIMevF1f{cHnKP2Z0{aPw- HG*8C0PWåIh dZDLA Ȍ /6 TIy I&v|%U!pQAxBvMn *h9dD~x̑W 5Vg Y]k%y xKx}]qaCW 1SP^] :yD"j={V /hnK=0I<7ةW&_<'r@WX)̯g C6e0eLovI'_*~06,o*oZ,"k7t [!s/T\ F}.iK5J;=s] ;D楩)/VӸVHxVfCl斳'HO ӵV!Jb>SȠEapKh 5ν2|ZA%j|Bt` {nH/S+-<Êbdwz> T]C|˷ONf<ʤPp)~"ΑtEDS㢨 ~ؑ9_GD] f7;2HdrJbZ?].c1Lv\( /MS|KVvKRj8zxN0Ԙ0GVU''B,_6"K- *3,~dlߖ[0,b^9`SF6+3&}K _@3)kTZ5<(<c'};[FiϖVT:fqdBFy,芷>1@ JwP\@> yK{ V9T!j`r.Y ⑙ * V cn[Eص(ozR>)lЙg^Psh^_J]uҴhg+6nO4/dDTM6f~L&`>o+Qھ T۾&4}??\D#.lf!p5~N8Eld..ȸF>qS^OxV6תLj(/Dy{;g&)~\]Ch ._EN9Yo݅I+s%yT%CuWqlWIfTkcY(6G|=͈x][ȭ>P_{ uƯnOfum6 ISm\y+b;07fc7 v?kRƿ Xaݚ{Py]s@jT)lSKeS>?]6fMWA}P҅eR/OJ[-$8aC2Բe UˢXȗJG)?{U璺="UV&dmOHGXU6-斑 ɀ̑beiXtź ?;Ĺї]wZt5]kӤ" alaB6;~S _9#$xewȀWp) 9AS:עe]j=ȕF…ڇݠYDss')Zc&: JowMu*Bf c\R[3+Ļ4Ӗ~K k ̇=Up.tH̉->54 _^JfJdcgYG-diƃ${G@<?v^Kd 657xxZ/KN!Y5,<)=8?T\;n {Z\K͝~nu w]%> ,NS>XtlLNs xm[ծ캾WlauΊEi؀5Q e} yiaznTGd@KӀ`@y4s3G& v'xA5/mVKRjnf~ U}B!qh:/e"\gkzht7>u(~ #=f!sP >>;(X+i^x_ ~:0R-Oݳٳ iS7!$x(id*T6ڝC:80+sh7&9 ;<|7ӱ)*O2$~RӖJn(dڬVNr?VIi7=œLFŚO&%SK4Be`ݣ,٠4n¶+cŵmwͿwЗ$KnSel WmHmq"u_M|n `X|8 :XbW'Ύ\21V3Dd N'(PBnjɃ(l"'NgM겼#D͙:)׆#ʎΛ&Q?}{7{]|y3!|R;|Zvn'XɴD{NK^22>i 1]d %=hMɼ GB涏R d 1b$Q3/ ` Gi6_WY 'ك]JZPvz0X1WbF|hʐ'%f# IN^82%:T kZԋ~D`S\| OCbܔr'q@2<д:ٮߩB5EʱAajKۜ s_IcG 2 f^v+ 5Y`ˆ*4ʞ g HUEچ:ݬ5\X戦IxPk ^! h$@(Lу4ؐ~FA fx @9s,2j;lMe cZ| |܈>s V 2;Obj4m96_ g$ُ& y4}79%ڮN~R_3. ~p ˧qV"X*kh2HO`,.^DaC$DD3N0y4S $ ǜ/6 G;Z_E^}[`@:вi(AghJlnGG_MA) Xa'*( OQ V%|;{Kl$-'%?Q)znPiqb<A8 fv#=/bYzA鵈ȃ4d6LT= SA^ۋBGS(Օ7N~fiC"75#L^-ʷ VNs#dO$fɴϹlm(v16XnU>شgNzm?;0y>p#ۯu==@$Yp5ȃ'0@Q^~ǕehJ‰(;=KM 3FyEIq5̀!S< v!piqE D$cDQ}JOJ567Rt.3j ,}xҔO.q ozV5 I$PSC`:X1Xu4Fe^8>M~mMۜ\lm U\j޲ ՈI}g4%ha*>"pjl* qՋU *j$YÃylMoQ7Az6t"22~PԳ$e.(Mx^1a4ټT aO5f7ć^ꝝҥmU (xh7Jb%ܞ USlS\nJ-< .nr6 $z,ԡYS,/UTJfDa]&Bu%dpדأfyROvػʝ 54F*I̓'Hb Hm<ۚ\zѤj<|rX ^aZ85OOAaz&}mz祥]\[lԼ#: ;]#hQT[8$?Gc3ѠmqU[ޱF }}0<f &rN}^ 1Cmd&j׵ʦyJni_hbQVxY nd!,s!%m2x8O&e'@e,-\Mk {RܫP[т5'Ն)uO_sN޻!_@]:xE3پ|%Z!2HИeC޵U9)Zr @kt!\ړ*V5zilAoiˉW0,,Bb>ÞsRE`"|Y<0ed?A ]_<b*W`yd#ƯS-wy*j05Wq*q ُ5ݧdzB_bbG ;DzpOQ.Bd-"]r)TARuz!p~0_(I܌.(\oCR;uaJjm]1f9WT (ׁ&i:Ιel2|t ~QRǥ'%ujC.o)I`뱾i+_Bb If `!tU/G-xChH*Y';ܻêw $(m WS`n$J݊X7~aHf%#K]҆N=U53>j띭@ G]d4".<$2ԉ[\Qr_28ٸCCN3_e:sQ=T =he`E0o{~c> ZFssGE*ė{{F8f4فwfDPP t |6Զb wi2fI O{VP/!6Ozm;UYan!>UKxS,n-vT}\ՙ260G4u(`$6ap)_"/*$k+\KnIP]^;-y\Ün7.}2 B[O: JecqYdVQmV$DPRL{L&zTϷrEeM߈bCYqrw%UAte2*pdhX" ȱ6~kz<?ףBU; v@hʻeƄR,q1H괺h1 B)fo'42%&GgXEGP͒|K tGЁ(uNnaA8C֕B/6& ]x=m{IH\[r0@/~݌dZK/>,E@my,/x96&^9̰RܭX̰)'4ްsٝǬQ.^|s>E`F<,+Q=, QF'[VrY +Cq ao Z6w\b~c9ҪQicG=nl5>'M!Nlӓ0vzZQ1Q$f]t؍n}&+֓ltSe4.%)@WURt̕[oFvYR^#9lO_m|o<&:sֲ}lmEN/ӻf#55=P.Or!*|5ZUλgϻX8q}Sjxh3^Ko#XkD^"TɼTq%w.`7Ҧ03$jXn:$ޱDUf}6Q>\~Z(.YIP%@}g0@'xLlfqIoqv ~AkAKp&FV5ͱ%mwf`BFpC;_$$8ft;|`C%Uy]fI~a28@P:sEW}dfoiuӺR?1"@%Cj8Z6MУij, V/WQh2,ʀ`%m{$@Ovנ؈*#d8!](x;S ϽڄTD̹Q*)/)Z:.pa˵FhxTBtqx ӡPV><ᝲU3.Wa-~#sG=L{Ccm'ϗnЌnipZ>2"w"O' ՟eW(@S^:lܱyrk5-%ƞMVQQ)oW!R4od'PQJ{/z}}}'N*ՑcM>v6qRD/jwwH8cUd ڶtNUmL a%nTSnxZV@(i`ER~U(.ҿ}>  Jmx2z",&kEw ,|+3s<ӻKwZؘ16f>YS:^i@ PufolQ.9TQ=a~`H'NhT3y%q' nD{X:.˕2h 8?3ֲÌΦ9{} b+36Xicr:v&8bFG&vVh@JBY۾^Cyk[NVk/L*enga^Qܕ [PVJɛ/bYݷ? LO>G7o\l2rԫ7Aྎ[~XsDL\- JMi1UdG~w'M ,Cs/. ӭRV͈ M|JjB2ݟ=t(f_UEdBdC⍯ J/b]GX(h|8"ݩh.7= ͽF6wAhӔR)ýE!'=2C_Lԙ)iծ(71À`>v?f+.JşŬ~n[0Jʼ޲A}nAF l%v!׋vg6Ų,\mލĪ?*a~g*8y@g sW(Uk4x"bpH0sq78lu! 6E 1UŻKLq -x x>Ga5xaGJ;;i\~:?eT;Pofp0q 1LrQP+⁚.C-/eG?\'#%x $f IG9ZwnYj0A}Zwru\_2^iFd.ejpGyuOZ8S)W敢cR˸x?˅^V(xL7-ޕD5ŐmJ|cfE<:='_>;1 !$hMOe&6Aw?p_ڼif{s/S/[&SbmƋ[j,,E:wi\qpAF=:ԥH_ MϼZsȰkާbS|U & z>QG:cjlDz^ΘHRKB 'g lq.,ay=HWRBf^AFja[q"`@4cRWĸcILeQ5ŕe8.4QpoC+9yj{/Txl.p=6Q 6\El؈N$ zo5+^6fvf} 03dUdc2Bd@3C6USERFe lV{G Nx}܋eh%,qI]x,8mYLmX&GH>*\R锏k)q?xgMv%Z7Z.q W㮣ЎEP[7h.}z`a_wWШwI-9 w~y8S>;QjO >}DxIE`}Y;*m v<> ՝OR||"/i|&X)EEyMҤ oBj'UM;8٩wxedКnurW\\*f(3{4ϗVx {kh_$gA^u:䱨|qA+TMw1q Ú-BȎ˿goU|aYpJyԚBZ:'k::J)‚&8EyڤÌ0*b4ؠ GIp4YOeJLj} a4wg|43ؗ|Y_'uŘa3C M=S:񘄚h$ o߹ +kzN^G1Xྵ=ݲˀCFD`Ld7(zbaj7.nTTHQcx;Dq0`e4,FHwQZj0VB8ۃ|.FeG|^*#Gr[q0uO֟^fvN7+\ar.LAhX)cNtfd!#W#4wMD[AfŐ$~jJT\l"o E  @T. C@Nx7u@Xl{8PRg6O`6"v`)[EËlAjoBy4&OBy ;RdwL)QqqdH:M; x^B?w =&1ӟL$Pyɠ* 1470O G J~fs%Ef!|,J!(v`Si~ZVwrȍ7oLs~P}{'H39q* .C u@{$>aezڑR"KF>0kJ}`Q ${v0qC=PLl(FdlW8_6N3iѕ{Dq(l o۽yۗ諣._2xlbzRv\;]!vD5/}WʮqevB+({2E2`{mkћ;S~Xiz#8)1"r?ȞntT}34G*Hs~Y#yƒ+āeu8MVY=J-"y7&woߢ%y?UWCϮ(ch#]c&ͱko}_f0 FiG9n$@.ٓa$wa•fJgۈxV:BRL&X؈gb-r .Wt>)QMX I\qy Ymܺt*7  D1:0cͮ$ho'0p@-vɿV6a9nD@W~Gxod I/URT(ɸyc|=-Sv "gӰ4RF 7C `f]~h.YN"MŅ52;bS>:t+RPsRં~ݴ=2 J-&C7!NլTXшDC8Ɍ?#(iSݾYvVP'ZPWZ1hΪ%9خz9 -0Ј[_V\SH_#ӻ5ph`qLDYۋed}lDr{o A- _Cw`ܻKB^Y;uE L ym8k)^qet}kc!|ڕH]R(x ܜT+5[ʢ,\HFI !9Tb!\5[ML6F@ ,w‘#mvF/~:?:Νq=\}GtL_h{2l_>B7{g,ӗp@ %,Мx<0rypC{bixdEZ۶;vMm66᣼NtjYrJ&d t䈖j.*fIB-@U$,"BNκ۟h3t!g08L̫+JspB3%\c5S#[AJN[>2TP ˮmSHm<h?:օL!]ܿ(Pg,V0߫JФ #g?AXi;F"UOv!E|4G7302 ӭou,xn1 HI njS$AKص*7k~gpɦWgOI׺I W56ljq, Unv)^6jűgV; MHm+@1ۡ iέbwK/w.=Yr.XOCʼnZNy~MWL7 WbgGY'&3]0cW06"N $o)wjԥUa"4L[䷅2BZJ0A| [f~~쉹y]QB&d?-ۀa%`Qa-s)9aڛB"O|vGӳ-?@s[)Rqd\4 H"\ywgk R<[gTd0 x紲@Yh#A]%m1sm@B)dwXv( \AgzQ,F*фN+mQzVL vbp*ѵW)}G*n*-v}8=]:c@򭜰xB^-իP}P= W #_Sd.\5ecUro7k.O)Qe`֜x<׷ˏDb"FEtNg/:h9Daccp6MU 8^/U'jw./TzՕ$"m/09ya53`AybhjnNe͛?JƕigOoA!O!)=}~5Es߲<l>)gl:X9a!QGP4=mWu5ߌq?-6AWëHJi`zB[ (ytj;9V{(4K9KV9F=u>\ݲNR*e{D >aO Z0WIe+;X ls'Mb9I>̓|c 7+_Ԟi69m!yIy\aGI$\FISEFRhYd !?c&!4Cw҃ :Yb٦Ҵ_cƟc@O=DcrB9"99,=tܵ,LdA;.J$'a@yhтZƉ l_{<*!ڎZ1[Q{Udwsg4,{a.x}=#H&SSk6"% 8vr77>q@\aˠT$|K< (u)ɷIՍ68HIO!0:N^rNfRh gh_ ov /z+!/.vEan|O@OM~ ?5b0^/_ʑΞwsږ} pCRT\ޑ}\*-豃C,#m<h!tAI EXsOO 1Y/Y S?}kgT@Oʙ5>O"Õ$qOi?o$TfX6&}`t3{3__2%T |`oOK~:Sم5SϏv%{+ (?I@3IO9`V2)J e ez[$(͔s^j$3xoŎ(͊ \mvS(÷_ߟ=2[ )ٝ45KT*} H3 1MRTaD}%3qICJgoeQ8 /+-0IRۭG"V%l5)aB8h6~c!eGՏОw&hw\WN'p5B5Q`!JPw [%x_UN|"f7 (lɹNK ٴVZ(_gIf:59E)0Mٲ\)LmĆ.a9ӄ_Ӝ z}ߥtiA06/& V]V+x׎ܤ%ՃlrO `>Pdw14ꃇ?£Y!;U%~~k%IU2ˆ{Zp2D9t㦀*WxgiHx8tJnkCE(Vr#KhlȽrY!Vl43MJ>Eq,goMŗ0X_J)f4z<盘l%4@rק+V}j{F ;4C=6eK_;?DuL"c TSu2^nN?^v\l BI}.`]~8mhnP:2 b4OS? {\N.G m!Чș¼}5 *='^ڴ$=v _sL-D;$>i_m~̅]#}04r;׌eIGY6,N葭 'O-hQ>=(t C6xRh؍C\ndU\/͍hc+p wH2 )Q2[yq=fpZ@12·gDZAfOPDZJ/A 'k)j5z(]Mz%ntѩ~.H^b>[ni`!7bfyQiZ{EQjlނPbvjׇo/#k=]_g.'}=fޏY̹i7Fuvr= W yÝi3a9֠&R(%vSbPA]݆;nƤ0HޅSٍgVbY"e9wD9O0>5BsUʋ9||8p,/|?孝 'uʪ=PeAVm( >D'syNex^Hn1}QoПp(yQ(a(eQ&]x002ƈzmͷh厁E Qc2(uAݡ |wL/1֥=H*װjsx0[c}?hC$f*/L*.scUg,0[A@F9N3t s**h'G aE5O[J2uRdTӣ$}Q{BZNe389pFO@p ^=51I pc 5%'r3=t:8Z"K4 K˓uiՇFd1yKPmt+u~w{NpVbY>XeX}T~x#Cc8xp/d*,tsW@V9(/!vwm``|>Sw[Ҏc%btF4s=.&k{_~a0!4u%Th)#7Üv'+- mq2C1zlպ@k"ޱf΃{w+| Y~/Lߙ`HΚ!s訊sy$lt*)f09{FR,䣵u\ D,>Z6<>d͜]!0?};\q&-pSr<0\X[&`xVpcg?$] ^5vJH1~I};>hnGg (͝4)]0wG,,7'?zgFCt^c\_p" 5:w/)F76olGCc袱bA%d:vq&X3u}O6 .;K1\d |HW]@+sW=:]ړqIWn(z0ŇkJۃMÌi+:T'\fa;!:fɫP_u}/VĿ+021f\h_I 7Mvx8$A|J`3c%[+"y> 3[.@f-:"xe,%͙wA5VټXy t|js|W@ӾkN((IN*d\\*GF2nB?vl!YaDx&< +u p6!o }W+KV@;[r}Z{"fgDy򌍪NplK{yp䈠. ^soGU2%v# utA;2N;~8&/,໼ *#iOR茡0Kf|C=mi٢'-|rv0eʶy&2ٓ'd-瑟IuQہ Ug&{YAhfsՁ"|FVg N|s*f֐X =j‘X5 AQ1 TDQ%g#S $:ֺPXDFRpv6lH @t#J/o?2j(שӷH:Fhv1RZlo2@S-6\Z|ERV -w}avzwyEyy ?e+ k[}8fUoWUV|IRң"Xw%H~Í^v=E10oAWzx=- |Vr}h b=%-kWA ;^IT!òi:>oI>],[)4d-8LQC9rYXX𷺭b;9AVv0 t9Ioy.,D/N,`ȐEUK߇n=y :mوzGmtZ lޫzv3.x[aVtCYŬPXȗ7~GQiQ/7iRmT7e6!I90Kǖ Z)M4!? JV; )j,+U5Qkx92_rn/XV\ɲ n$ˋr( r0]biPuN1f's#\E:s6gui\Gm2`r"n)n-`)z} ]Ű^] [Pb[Ff ,)]GłlKy6-#"BL:ev~ X@ j@%<\fo*4Z~;Gn#9x2eT^oj'ԕH#o7MU,%RlŠZw#ZemOF?gW0/j_P3w*oNCu fղ(A} `b\ʷAj"~͸8=Gp >Ǫ`Szʷ+Fn\F0RNCN |VfN:{hFN66/Q;Ń̤)Û~ о[(J<sē,GrXm2/ϸʔXAY|4jG㟇"֥u[mIB]E:[X6zS򆣗er^fŝFm{]*a/m7gSh9.И3EѬ}]z޸Lt 7 )[mgZޱ O*@;#A!D~ (8d4\ k"hc/@a+H)SQ#]79ofkcE?,WĴ_ ިK+/cݱ/H@G?q,PZo3ɯA|D ׅzLvv +f`1%nIW@zPpYn򨄸=hڿrR)X.ly%T/Q֪ܯk,9^%MzPl_O٫߿93V_7]kfbW5Rӈ $&_h{۷{djMgbCD SMQ":׷GAMLm-C(wswG`MV,n])8W SV%܋ԕt=ρ[*tΪRvҦVxPZ3ԝk=QU94v7@?+FTniN]{:TAyYG<4 rA혥@䢪Wrof0"AQg -v e] V Z%聽A #>J4f-snKR2ZB<@Ӻ3)[tv`W tݳ*.rLD1V!#'P3Gl\Kڏ`<#7uKZwm.cH$߇'dJU . :ٲ+ S-V p3)N4<,%1z>9"@7$KK7؟Hqr9/+=K,s0$-.AᡪR^ta}M߱k&3 hORs,z$0ItLtTxdwUXTlxc_;w#h-YZjD.66%O|B2ʟ^u?ҥ'tH$H*(g!oNJ' hEN)BF/L5R2bߘ!{ItO2vb |ŻRTIξ&>Ou"G&Ms9-^A JkrNsiOܶV[,Jhe y%8=D68oy- OAa4:Pm$oǃ6L]'t!*]"ZX`Eǜz]u\(4{R5MZI5Ac܊WUCt@dRM1I-c@G2/l$vLt>O+!߷u<ҹ4s%U?M.)ϊ7w/T+[:sz\-dGl}nfXrF7f/x })M׼c?!h`hvp m%El}*[vf/{ͳ # F*Ӄ_^XE 盓%B\/H4%[M6Pۡm;:HT˜(ߔ&iwZ_kTI֦cԇOQٽ:Mמ5I'cԪ=XÅ-b qo|iȳ`Vy>tSPCj(-c;}E4J W:v;?t&B$aAF1ytC5gаPQaEz*_ 9La;ɆVCLzkv` $!ηrt1(ЭtXB^Km9\kTv'8Vr&0.VLؐ30QKc˾A"S)7z17}م08Gu8VL#dqWOȲĭ1/0Xb0A. pY ,#[`̐UoorC@~ڧ/p^ X#%+# $7|(d'EZ7|+yjNRde/3rJ5 ^ *\Sf"y?zli5J. Yʹ-uőY2fNZ/tL1(4X" L#Nb$IpQ8M-YD.,FK,ŵpSՌ5r1$wQw|=bG:};_σ2Y_kdz-˚/(׉ҜmciPV95 :qL@7ͳX槐II2v!Ny͸^R^\'/8%3ZCkA制pPYQ)URKSOŝ9sO7f8+>>m:bN23Qd+B9G%8RI*,TFIoy`K k$9p6Vh"HȢ¥8"H#=KB|ӻEU%A.<rǘ }ikg(Xтs]ͤOR h;ej|ӠF!W"iܧUHspة^|@$\k9K<% E3{ $ȏBXPDV % r/ έ$q [0L&eNB[bŗs-vcڮ[>5D#TR/"^ -d7!'y灡N)i HxZ#8}+q0S3_Vxg-0JWQ@ q C]nSsuɤr_3efGʫ8}Z|lB=fafUn-C#_Qe؞ZW-!vF87dAnVG'df!ǏpH?ʯ< xC,+C0i~!&3hTBu7\.u#Hyh0}>_5|rS /(C6ّCWzny{;PR<ƃ:xl~\;n8N˶"UsDx)d2]V⢵s}̙1[NbF*9IU7[5$VpntRf;NXWϒM`LٓK-o|H<-fi;3?1jeʈޕU4ehH }\`SyVX\X@{'k^kZM WFm"UC<\͖- ,Mp_\ɅZyS+>[cҿŌ,w4nFkC*9'#rr,oBsNTM,Yv񫲭vy1s~7e1f^a /*o u^Z= NF9><ݕ[9 K msr#3IJeatC}f;%.}kI̒\(gksc;m c_r^m> sB{Y=V.0 Վ#afYqs!keKG#f "H1_u:|Q,ۉnZH lj=$|7p+B]Nܾ@C@Ue1|1RaBqk.w}gnӆ׾qC@kZ4> ,7铣Yo8e;lǏa|M:ht 19WBZAlY3K,lmEtTɜfo:F|UaNwLro@ү#ӫ>G8~o?>CxYo mzóZY*j~{6.bZqB,t |)f sh U^d^4LcDL2U@d\^іٓM^gYcqtW}*2ȴ+rKFRG-Dbhl&(F.ck)} -b+YO2-IY`R`OeY&VTvT8/Ar#Fqt63Y)?|BYPK-J_ܧ]`SG(#ιu0s]REsސ=Ng]5JK|wRs8{F|Mg!{]dZ@o_r\qai^ *ål'kn}J[wX/ cV_E|c`ǮJvJ[]E{*&+B_ohx!'8HA#v0_ U} 1?08I +scP\0^Ei>Ԉ0PQ%m'ea/f}R3Ӎ|bA/FT=.S!: d#3MT$ ĺlGBZkv:ԍ?;6K[%!4$־i.o`PG &\pv0bWD-qt}x/؜.P+B[9:!R^hÁel3Њ=Åb`qhFՆ\:ܹ;Ipkpy2ZQS: USvK!dFȈ+| _៖Ӂ 5&SҞpݶt_|JV|-:@AX(ptM$mFԢ^R7 vѫYe3#:ZTiŪyqZ[[ݡ۾o9H(%drMu`  a:~s{p{2_-l!y[ɓrmĕZQ5a8&1 Ŗs;0T4~u7ٺ2=@Vc z@eY12}pԧ gH4~W߰:zuz|AK[E PE\f$-7C-;܃xOe$I jUͅ+/݂os\6Ts?_Y0lrdF+D p-KwRVp\Mw2l"3ng`s-(usT<߄ x!=ϙY{b}1+5c~ށQ%&x\DIvtU6FIe;5gi e)nM6ዸ@%ONiqC-M x[CWzWQ;=? v 6Kaowq6.ԽСaщ+ YfZ1QRmGݟH8q U뜷qo?mQ\0/:r')Z9&UGZB.ù!I( *_(I^@e[QrB|I |ZWY{9Z3KK)0*xqrQC"J6YS3rFqŚ3L/ZVڰKEyD4nDB|p`.6՛{~*@ Y8aԵLP٦}^$@JoB4K7AqMxLXlFACU;쐏&2|݄<n;=>RO1RWM ]C~Z\te| 8fE }ژx-"arѩ"wۏ r8Ⱥ<(+u.M%ujo'VPa^Y%֯ LǕNG&0L[{2lǷh8祐. hBd` HaKNkZ7gVrk̦YkŰ 82G :uM_[XR d{/*9TZ' K˜|PEBG[6o\^d@xbyP|M%ܦD\8DH7p'Ss\Ol4p62l׮L͵7  ̎+mY4Zz\ǃT8zGM)Ԯ1*w]v'bjALœJ|ed°yvw6_;7T2ݧ6mǡ^+r5V&;(х5ؚԹ:Dօcv+QX[6  ` yxv梜MP!2t Jp_vBy$Fb mT)E:8yw64j+Z 'ϖ6UKk- xE{Gֺ3ܺ0hJй;{_~}mUS%SHXc 4V?!_lbpج5`4ҩpڇ2:}`'yQ_ ߅0SjRkobG3F!J_$xkpEWKZM0Kf,&I>.eJxD]Jis>m1h@TKyn7+.EUf2oxczj0rx LӒ kPA:MAIDW.|ij4% uk*3LU'=( di$Ewz%CS>=[%ybEle/BrL5Jj *UBʾ J^ r<`Mzl+\T0dDO 2BtȆQ< !J=j ߄yy/9N2Tl.C(;F' %*N,~Pc᩶O]*]'n :R %Kr$ُFGUPD]B͗ oUN:QlU#8qا6[E]OA'l|ZJ? hFlfăGNGSz$Q9xuRՍ9A80Em#KC\=X7<ٻyc()T@8h [RY/j,&.M8yƻ0ȫ3{'bu@E?HB޶ |gR3 Sk܃"fק[@{kH$?{2S=. B4#+Ό%/u?CgaDɌuԏM49%d=Ɓ5&xfMra'bz?0O f О+H\,CO#Жߺ:LUĶ3LYX(qXsI+G<*"hʵ( ^Y*zeq+:6U`B;QYDy(a'1MeSd\3P}jvPYm.k7'g.R6lAـi9d-cѝMN%!SG$8$}_(@ V/3amBDR[EZf4Tf6^72&Y_MDȈQ}?r{;7Yț/8C&1s$5@DZ$@l(x6n&N+u4(̲& a'B^d GOH068 yN2zֻ m"^1^%KK ֐͌)1Rx"yg<q@11U2\yK9FvF.\.IY2ы;!iŧK/5KcE Fa5fiO٩]%Y[f:Pv>+IVA+Bq- 4$1beb.퉅&Ŭ^ %.[J)A-3D+WzZ*A;LJxB'<_LN@,2ϯ>0 gDZay;Eky=2i]D66C:.^xBo2sՠO4X Cw@h[2ۖ[Q;[s{RպXd=fkJ$Q/yF{XTDzKGmiGϨgP٬0ianD[>Cjl3\EuF)=TrJJCjȴ*p*?vt bg'.s=d0VZ=ws<iA^%7xyZgR=pwvX_>I:P,Vf[C\ނ"y2:hC<&<%:4XB Ll3P$9e^0m 3O[IplkKB֟v MD|RZVqW-Ը0I@fDf7e^j^QMk%I/͸MkM:+ zBRފ}0=tx8̆p ȕ;H ^(I,uZv$Somʽt!}*v![9Rg ]W<5VSxAplJ_MxWt z^mөXvIX `G<3oSkZ I0俋v+D$n=ӕߢE*eFmfϽle+C@zǡq"R$Je{'d O|X5Aq'Ih4YD 3-[L\B Uw®e{~x,Y(s}1[sC-r('\0Vb5és#$*,f`X'qKI7nGbՅ۾^RsDֈ*@3tgB64tz%ߦ1؝qH oiV(B{XZ* &k#((0Ƥ9~VjOHT/  iwsl/0)^Pp|Ƒ@!8qzгUQJZUzUy~LdQ׉&zCYMԍ `un#np{wδ"]9̆aB~8gF(r*Ed8P{Xf(d$JL˭ra* IIUE >oA2Q(C๨c"ys[ݽΑ-ی ?HcqnuC%1D!)pa)EOuu%f/?qBU9OnɈs)fGHj@"lnw7g~^# ]bw q/,kIGAd}r*3 F2:sq2PC;AAb9gA oG,Emx2NX9s \Cv4```TT8,≰tځ Q $jW2;P9- -OͶdzd~Og0 gffNy_kBol<9[55^;S8/7;1f>ba^*d3If %sb#QRTO~R%f2oO)QGlݹv;pO{ #S^ejp,:McG#ycma6xHzAGYV{HF>h..NIUKs0pmmCֶ>N[6Jy~Km'0Nֽ6qEv i50mƧ}= .SzaeԷU?V,crEcdq&y6ݘk{m{=D 0cT}{P[UIg`WOroРF;;hXX=lj qޛ# 7^ԟY [MYgT|03U}{ϛV",_|h3bh"X?0a_sq^SPP}[B(*\u&$bM9