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   M/lT, ]? Algebraic_Numbers:threads=4elapsed=385.104cpu=1273.020gc=107.480factor=3.317zXZִF! ; -]ŗXf[&CS\Օ\CC2{%}]<1O./D3I yC֭ #:ΙU+p+61LdȔFuO.w9E>U蚡T/\>6GZnHqH&lPpMةSO|x 2<]:f-&:Ԗ0Z]!ݑ?s%WqWPa=i<.N'Hs\CnvDF<jRV^McȘK{8UG\(Q"*Y:Hxsq; :c#Ր*STo.dK6/Fm@\QPۣPpzT6@R膑7`KgYj{@LhMMK‰28Ȯ174+^sBroJ Րۆ*Ep:T ;iv-tS >N„woDEz:Wu oWJ vb9[FZ%b5xiB6&bDeBשGMtk ج.N13DM`[!;PBB}`/7p35ƪTf8qV%ϡXLѮN`0v}T3Ar:A3Z0vxobM oqY4O#υf>du)bJ&sqҗW^)Xh1AԈPftz3a`55E+ƞoRC` +Ĝb / Algebraic_Numbers U 3 MUP /oO TAlgebraic_NumbersAlgebraic_Numbers.Algebraic_Numbers_External_Codecode/export1/Algebraic_Numbers.hs7zXZִF! +=!]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcI/ӡ n<\7][Z:$e??rM>(G+7[}~\iI0r_r@SVJ[!h'PI>>3$Q?l^P(%I ˪EAr*8V&w4C[ЎGF5eZuMZ~~S v5<6?poZϖ"szEKK '(ж0YjZ=b>`Q Y7T'!@ith8@@mgG;}[mWÖBD@ PՀ9,st0r@8N %cL^ dQ[j.rv^B?"Wchgz`a ,ǂMeĜQCod`Q#^jgX}$vŏxqGyy(TZյa@qp#6>O?:W\ |z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ8/o9,mYpSD杂mbYU.JbHҒVV𐡗q=IhyƯ`l T<ƾh>0YZHש`.喛̳M`T'х|"'C ~vTCҳ<I۴GV:c!( 몼id¯[nmwi͍=VHoRx&Q9Zƭt̋'q#,Fp=F鲼j 6-! PfS%@Rxas=c0hi/ql#IMga.MDdn'RK BR0RRK$VJ },zG^(sdfoZ<:${T99ih$6K( XZo:n_~h0(Uiv4W~;ڎXN9*?55#="!hFqd5S (GP. (jбcƃĪd&o6D\gb@KPC%~{R Vڒ=-Sź፷*.e~$sDYut'LBO'QW4#CGk kg-?e0$*󥴁0<>dZE>5&*ECӸ.Y|n FC Ԣc5@@ƅ58X0/ر0pyy9؝3-<mϺ5C(,UhvQXn\7qky=AwÇO}fg57~\i guM17 \$S=h52:3_eT~6/"H`/mwb ̓l~ q]DcyYT4۔V&O뵤0v#rN9^3XtD`@U9zgQ&ojحaPG,ݯMl?oWi Xӱr77Rp̹MXɯ{泔IE{SWWQ˹+,; @=Ay%"lp3'-b@35^ljl[U~y!% _x/m:^r~tP*6HS_^:͛|I7YJ>SPHCMU!+"?3`yCeXSNp+gOaaG(J Z  0'#hXؕ'6GY+ųq. BgVΪ{zàҫUu[>CH,y4r]XN]tR=qh>-ԉ@jLcMk< _ŕ7p#vr3` P&[$E1I Xޯ bG;MEJg(3ۛMR≇*3JIǸ?: bf/ټҢ,H%ఌĂ5(&P T9fQx0]I}ݟ56‡{9ެ7@%xw(:I(NnBCЉ28|mi>*]-NDaDue cBrGr>AǪr]|+t[\\ ABc2Wf˛ >*V-6NjaSxwM.]`fif͙tDZp<%Kȓ>l_ޛ|Q>ȔOn9T17g\O[)lw/"!&S:x](P2_:-CQ8 {@ق F{N885W?x HPO9n^ < t[R}cAoM2Rö M{"Ɗ'/F]s@MJ_?miNh}0?;3{WbүMϟ(> bl_ _vfQiR+\(J$;A PV}o \5flzͭ&h(V OaD$/Xؼ xfFδ} rP1lo UB>dz + 32cjxTd5;^%C.cSMSu5mxv2EQW+"-.]ҧ 9[*v',RY2vϳXxE9TD{@N|E(#Q64,[9ǹ)hU>u%ќQpn؄OM7-!&hQ?b밝y†ԫgAܒXϛ&vi]W9*'=ƒ@^l ~>n'bCVe^{%R-i"bɴc&ͿtϖĻK6]05MU.]hh{،&ǾKïp#<$AuOeȳ;mVnPE]˼%T17[ځ}-681K&|,MjJ%u 2en&x0XCh~Oճ4=h i%p+JۗDV߄Q(E=MG9L(*2pxaEyh51=IRW @dوsC.dY%3܈-g$c/c/pp-z}Smm+\:RHXǜ =-h?EFyqI+U{ FMPŊ'&}l;RF毟tԏ)On~N&DqlHQ&NV\hQ<Ϩ9tGTUe'`3H8wbr-0vXORBVllC5PQoq6$m-늡b6yn(w~t)!ՅVVDr_aiþtyG4qaD7RmDQ9PR4]{سnusg"pPKw3em~j{?BiA+[7ѭ?9'&~̠4}UTG8Hä B(nh<<+'B0L{YHQub)Wɟ E.ʈ;ĜpCKe]kRՊp=ONQR)9I0>d}x$ďQ+ś"#rUT g),!ѓPXXQE qH%."^/[XhJcWKH$c2pA7vM:W$XY'lz I dd@x+vlj[lo.l; /3z9{fn6N>sކ4CƏُC .r*`B  ;-xO3>#ԃ{n-EW,PH2{2lq:7,_n/{K)YgBS Wz_XI47ԭډ Q,v86DO Uߩl|9+r}("Ο~;<@Ժ/9nw9$^invC=ZW)Dg \/ ըywAER갔:kgPU,AAHWjUs7$Om@2p;>JI"s/Ρ,(K@Bʦ PF֘Y]EgNƏrlkGhܾ$B٩Pg7PZUt&ߤ+nhh$[D/[ ;6Ƴ`R>6?܁$tQ$]$c N:k[s\mEۀ\n؂z󏂕-}c7A@p{.XT&XewmA ?8/"}>< ޖe v񠭀NNU}xɁ'#42ܞCT8+3=t&h.hdKQdpa L_CG.//51D}ЈteYb[ w-1Wfd>ir:LΌ`2jX YyHQ%R ]!J轔-jL!}=KpO,,ڛom Cb[bZzOjv$ٞOkhorl\q~*m Fd Ck^'ENQPӣLue=cg y-Ur\Bfىfk_0+0rݏ*`LP@UѦfgqx]o 7cJAWu:,fx? Ug`[ٛ(*I6rGu)^"A| ^o4p=CbE_gsf3װ$s<4R~#'AGe"*I:%9TU%>y1.5<Ȏ܈}*:Q9k h4lDi twWb]f-YYFM" ;ٳgs|&K5?/t~"][ͦAuX0UEQB 11&=V,6=^AϓO&M'sj !&vbs})/NQļDxLm!*GnVhZpTǓ0$^N8Rf'>ߑxV|1oS]O'@fHFϪMPV^VVyZD1}ZyZŬ$SǿXYYQEȅ'EGN}֑ż|+a*Jf/nϺ;9XfN՜E_䯄Cܚ/aQG4c4o hK~d|M؍VW~!bƋ`9VF5$hqaTs9@r6DX:X6D)E5|xn3L,#?=M:vbclZ:iazġ\"MK4*~U}q`37%a: %ףN<.IH)|#974&'/c FrFXQPmJ e74 ~нAuyKgLΪq'WBf^sYHTϕ"^Mϒ@R?.0:+-ٔY7$ݹ:zbu'poҊ[~3}놺rsm^UCC71[h:߁/GLvzݎo\s*kS[MƞRRXLh{s]=p37)Ltd7 鱡 ͟z#Ԧ\R͐ ; ?V*Y '* jy['\1&iЧ⊇8!ui&~Cq2@lbVwh&*|?ךW,[!/3j m_zVMۭS& ̖~ @x̝'DϪE:[C%IsO7lE(㢲YۓL*AR|\MGB>WX̩#i /s<\DsVa kLu lzlPo@i`FSCER:!]+osӞ5ȡj 'i% k]/bY%xgvم"P[Eu\lBIURaQ)lx1N;FUyOZ#P`؉TT8H7q N"ֱ/ٌgw<4g>KٻM;/_[J1(>LJHW`wjRr3ldÂ_}v`"fC^ȧ:Tan|I`T BۮD Ee zq $͍8l*hMתg2T0p=ͩ'i! S`zs8Lvyczhaب?Xo+s j29G2tFe nɉ"R"R16Pltbx; !O ,W ۮ[a5qD|t?gx I}xۧ;1NY?'`̲=3u`A1.aʝRLMÍMY.YJQyT*KH8eiY'O,:?̔XB=L>wA` 8p :P|[N;FD%kMjR\>3&N^RĘJj]ƴ/Jӧo?.[)OxB7K\}#o# `zќ/9@ڔYJ/yV ~Xv\ad6K+pX~)`^è ^۬9j۽/nƥFo= a ѕ"jԔpZ0mQS<6+9|ח. = 9$@B-XԒN0-%_JK3MD?\E½.Q9$*Ta=N>#Y{$_,sicI [36 zi},IStDŽ3\]M2}ԥUE'+>KJthzjXHIH=ۥw-a0pڗis[)>pO@َB*0&]2G؍Px &J+63vH2Ɛd] 2*N >T8 jFzϨnд5rpB=:{qfg*enjz,[|l4S#0&?kwCb`NYIt i& )4Af~ာ*qeF3'teh@ڥNG]Τ'l+dB7nPI8Uk*l1 n׶l-u.#RgXsGG}r0;Q)d͉t!Ye$U"Aw[7TAuXS IB~7=LY?\`2"|K>PqEd|Ѐ|drU@o S"}#nIT=)Ȑ¡jη v27=|>9tD_OpŶ<!&_mAj3QӱIèOxUH ,+=WWyc6  lINAG0t#@:mn^rko7-1, Z s=CQu}[ %`{?k{t!lW7yԠ D~A]5bu04N>-44 RLR h.urxvʎP/VqT;/-w!ԯ\$>4.sm8}⛿=IUCX!6( L.@RO2g;%bپDZ?gGH-zCw Nt`D^@ C7jڬd<!糽;,p9\4)(Bn۵0g)콲߷AÍ^DOά]HbT=B+ 4sp85}rtBbßh(ٚ!:Y eaTby_)D27>^fu^U5CqkU1Mĵu+{e!,R>1 >j R?khH ,sHjubf8&(5BV{vpxFF&qlӣwSb8{L։ xB :-6 Vs](Ax搆b7!L_:AvºL nHj_Q?WJ\#[e΄nzo%^RO,Qe9{M8[:FzՊ@4|7F f,0}72gmhքLYYR>H. 5V |elݟEe8Qco1[xnz XC$uvSC]OYӋFތ$ 05e?"U8y MLR/ kX3M@˺Y[Ӝ(8A§Z|;t` 7"Lfa gQT%b_|"?#CոA,;-Ɛ]KY?9֗ߠm ?`Wt~wVHMgEp;0 kI@s\Nڵ.r4L'pkHq@ /<]j B!-UT4/B.\MTHeDe԰4N9|VןZ\hބm2sLJ "W1((3{'85 (&[& ^=r6tIJZiJֻBbތOpweҗ)kAVn03ƁMnrAG(PDkX,%aJW+of$ @W'sgΝBmxJl%|o6žΣflMcf.?\J0赩?!~CSǏp3PDF\;Fhf#rb;v׭VYРh3m FZ2|=QfĀeU֮P7bTt|8\<֎i9-fƠiS .Sq%s#* ohHo f+x=X ٦Y_]?(xL^ϙLx0&?t&:ƹS =Y`c\ 9Y ij=-gաbT?065+.~xr+7Nƛܘ5h>i3[9i,7s<5N}n=kBoM riq}`g9UR:@H #.@Ispnl>}EY-PiMc[Eu ŕWfe3xn59?EMMXV"n6;:#ϸ>Y- DFZ+H~MŊM;^ '?*A3WP#5hB7Mq#&&^34|0LuD{W5 a 0j_qr&MAТ'{&.ƖX'm|"՛rrm*J)mn ~u7ir@; (/["l`J߶z樏Hf{$ZLup: *2R~y B uT$jD@a;bcKGvOZ/]0*'ϐ1MIEu\go HXao2=Maw!H &q2_k}ܭmvR}ePŒPPhwnHE[`n 9}JdS*%5io}D2^k/qgT p/a/$%~̦IQo zjE7]  ;֧Wo74=d'0YҼ?_2o.WCD ͘bd9|h_bڝW@y[ɶ&w1fOkd7SPu4ܑDYv02PwVU'IECHeQƶXm$AM"(nS3 y^6&FBobhF9#"3HڌxJ f]76=r>ŔxthvvgV 0d&. wsɅ!Öܝ>By^Bq BVQ4]t س&XC)mqm/ 7| ?M?It/S *(UO=u&SM+~ek䶁] H'u-^W] !◬dd뼧I \hEM-2iV3;*@8&I& ܯbQJ C'`aRu{!Q]6 X,Go Q?duۯ  IFo"=sda~PeKy h*6n?+Ȑ{EY4 f|Y?2U12U!!UeQSGxJ=_^,r!6L5\n}%hQI0^3[yE+0PT";`"{;5#%^bXf~3A9@I>5|<- CɒBxX-Z<.>{8QT8Ew}=x}-1w8bidIbsx1טIٜ(L6|093xUI?AY6r_?r>)Z3Z=P|ȔGLR@+:V!F @l0+,df %'\z:)fS] ם{4Hf=җT;c9蟄͠/k.K * J\<Qݣ-|S5ɚlu4|"?`K(Vd/nI.L/̈́`o/P#2ww6=M]M੭j0Sg,Bc Gs0A]xgڊ@@4`}aI.Ȧ-@ z&k=|$*R8ZaҶȍ zEw+KvqөP$툩klmB)xQd¾{Yq@sj-ifr\<cED|F[ʮ`S:K-z8ǐ%Tx@x~QYspȲC|MܕmT24A}`X>Ry`"S8v;3 aznb3/fҲU[Ys24,HZ)y8e2˸H(A k (EF'Ys.Ŝ>gKtdIT6#7Doi(*~Ӄ~Jo\htyKՁ]h\4obn­CMҿ@ av8%zvJYP/7 yMs8[nqv-!fi'11$3-+h*n!Cd\]+NM{.bjsw0(c@$oeynsP1H6!ŴrX>Hz#jw.pyOT2, 3?=zLB#QWŒpMC]V'C1v%t߸'Tlx|b!!PmWv#:H"⻙8JF Ѷ+>'d'[$*8Za-_-sscQbtvud4;D{VqXȳQƁu= L'{Qf+K;?ߌ|&<(=V˥`0օ=3wֿvCG_Zo7KRxA Zy2ifС&]2x5' L}+|VId9L tFᣇX ,MGDFKTZrowUgN<dD 1_|dڅI!:(Dt>v!YAa,e)a%_Mw͗ҭ1/^`}mģB}Ȼ~MɛĮ&qWRƯFޤS1b5/FGrs,#؏*ʕ1J6^zkV|n.TPէWd~36,|8ks&Վ&zirz#:8,GIFzhL͛*T^S"H/>j_ͱ9] X7‡C({Q˩%tn|VMaGW L]VR}$ ׹0GQD+Nu :k^e &ASP\ G_#>%PLa \Ӕ}|QJڍ8Ҥ~H(¢w}=*XrRbokS7 x u殠UD#.J8IJ/x^GJfVgv Ub9T(=i- da;:edm.>xCJI{4'*wXr?w^.2:}xyhLX+Oy 6tHYY3ot=񣵥|GƌB`<}^p3:B6ly4G3B@͆~U НO{艰`LRߜ܃`{y.@)]2R+JTcf73gs[jݍ5OYE]/%g2<"eo={U^,En&8>cpnvq[yRօX1𑉢uSF&P&4Ⲛ63|04V" G]$/Cx=gI~KHFѡzs,-;d~|{[!0\ "H_{/苽+TѡT DYY]в(K&Qrݦl4mu&ߐ ֹ$h,%jNTX#WѺ=3ZnYc=`«,LпЊ4)L*1JfڌuWb$"{,O7P%l`|&[h##O/`"VQ oid*\3CGpu赃s F.ŦԋQG|^%_ʂ UM5:ʔBNTo<^2WL7647[%sq^:ye n'8 )Ay/C?{ܮ_ \ ƭzohxdP3 @vcwf6hs$c^7jӦt6jAUS '7vwȤ)`TjPkR.NHT<N︂;X5__l;I*{ Aq3[[365k&VXN&}~{f 5;GmX?+L8_W4C/rcD[@7b?름SC1(3E(JOW˺|81W9{O\Qt>έN>;O;BU<.(Z9DʏP7h`4 \9z:Z_ɷ?"ZR W? =@Yw%4AWcҿf3nh+HcL_ &ǚ9F#Un qj-v f@H om9GQ㎄Xx=lEJ װnaBQv ! C=XVw pٟ/ ]r:;m-h;ľ-g$JIeۿ3qIC@¸3a$oX^ml`b3~-R~l VW %9SJhMaSTv@ wV.4Hv<fшb Zn$*m2|ix _5TKlq<{D'U_ke}NC۾R,/7z55#9Xs>W&]N%h?*QSCid^iI?#K=oY0m!pIJGLjtԤZv7@y()]⥵ )\{6.qq|VDp3@I'M @ckWv .GISBw3lOA^YO@ő[~f}_J}?&T@{H ^L$Xv nϋ  (heX2*=xmg#Ȱ):`Itf9uE9"t9&96&imWYI 6%EҀ2min^> 6 hiH feJ5&=楐8'úFWYL:~!7hx?f)qox󧧒웱Y0Eb`=^apթ1^{Buɻ/*u]䩐ǰRmzC\=~a'DE~X'MBWd7!\SÐD& s㴬v#wz9p_E-\l~g.3Z^jg2Z /9oVJ&fEdF" *U0JXO٦eufҥI?H# a.RgI)>( >ٲƔBɲVE/. (M,$Cb"Wr{S*iUڛ\lբmGB~ ,s5n91췗.7y[/I  yxNDƙGùit/ w\JP9erşغRV+)o!.f*sl;,{h=lM hڷjP5yu{qC9(;HC5YBW_Bq3;Pc@;0cusC.]3xoG6ox0UaV[cn8y*ˊM8“,t`L Kf-b\'ޫ=n23޵ `#rG}lO P>wΫdUMO^,A!@N:Ӫw7%$<$O "ޘxQWx_<v°TNԘ]cha9m~ob_dB;H ,Sߺ, "X mSa&}ʧ}:}pFҦn/ŗػhJ=t )+dmUdR{ٷG&\9Ps+;7cnNeҩ.!^4  ׾Z}y@ޟ[A[޲y睱ս ^ Q=\hw9$tXIR%~B 8QPvGo^ ~ߒE285Tr+߯\@ѢЗ\FO-K,ZT5kQ+w 鬿jpr{0л3[B dghYy\W ^o[_Kau?z}}n_2-1ǰkɓPz+Iff|gZ0;>ÛАVަLi*9v}C ʚm?g3 -81L*-p1Ά@vIUY}W~O]WoL{k9 K] O=]7aO.Q=W/ڀPOx4 `Ģ?jl#$ A'tL,ysw)^}$\:(>\#א#vҜ)#.etf.( Ϋ ǠG~qWחuT8EMfnxy[j4K">#yxf P<>{]d3rѱ,RƈsDV)Y fsMZR *Q (y`_\j'Bߊ|uⓠBfki]b2On0u_e3iGO5 m/h=ʊeoA*1m^wTjl3!ѫ%a'6EGOV S\:ȣf0MmR` {3HKMߑY=>o پYh%Y(&k Zv1W|9F5le Mr92ZTOe +SI1oz ;H>+ r6dS ,47jitnPu]?Xf߿8yAV gfJߑ0Cg: fQ&v שă1\_Q>h=A,S3ofaI/}ѫ9A7 vhSwֺKzb!1n=s^@1UewfIUctk;Cpi5MP,VR6x:0U^Av^XNXbsB⃂IzOg.yoܣt;7}3( ED=8=rgZ&?lJXw`蘦w:S_;`4ɴ yG_ۨܐkpوM%KƥWacsVuOm·7l>B%KEEx 4(ݵm x-Zß4yu3}pZrֽ8H)s.<29fjHb3^Vl"D ?|kAt {`d0@3Q80)_}[w|l@M۬uehgWf7| iW::êםI#V[Rr* gIې\@$;( p /d,@> dS@wr%UEae_ښf6+Bcd2 FI;,^i2vP *γaQDBl^x,/jUƻzJ7^VtV}$63P8LOK" `vꙆ;A=џF\1uKTJWЉk5ݣ!nAN }Yc he R|GȘ͞Wݪ|>!vYZ)/Ssy8vQ0 sk%n|BPK<,Rd1Cz.e ]LhS卋S=@|{j q/g)>gO8}]Y J]}BH@]76S3C[Zi_ Qz4*\U`m%Lh:m_$`kW(Zl$ח{ʄDuCʹft;y.A#vBqPNM > XOxT0:L*]]2Mv Ԋp@weudG,ڮyu J!ɑ&qV$)oڑlh|㌂bcIo$28. [!tMoP. S|HyGL+{X *Y, zLKʂӬ>L,A@iW ʷZՎ&T_Mi:ޤSk:k5Y~C!JxHeca3Q'k.7 ¶N 򅢁ɺMx[_Pk#B"_A<]KEkmN `nB @`<α2U#' e՝lx'_T P+rsWi+r'GpV^*ߎB·ؘ[!LYǾ.ɱ2֒c#jd?#%Gد@O5wI2Dla^2b(Eyt%]f}}L~k/ÍKAOm{>0 Ni!d^S5pǸ]}_{!3P$8$)qIO `pizFPbƞZ2Õvm !.oj؉>&龻uT9:s:ԕ۽#cFjZƃ+g䴖INKZ^'z% `]:Cr 6P2HεK*hWxdz(<F]F>$uQÞNH<{ޅ)26fp:,FYs4cNSr]bM#@dH>8vyQbx@Acwx+]?F[5 [&Yh6ګ VSefG+V"#w\sw*2cwo%vqbh,TIx䠇! QRU|ؕOa/ BJorkȗ jWzjRAhl,`yĹO5[geχ w; w+Oݴz\*:VЄ5!>|!WPg4t7 \7M`GgJbAvf 1:|.i+]D咚VLqRB &Vlj9h/o. %FKk,yG,eb~h0{`7}x\ū]Uja7*_EEķzo( ɹ ?7@Xb}5|k3oDK3Bdx+[9',,s֚6[u-X1/qNh`3b83-,S|%(-:4Qs-ɃQ=-{[t4Ƿ{iڴ@yHP{B+tDM8,_Yv N 7徺voH $Ӎ{ׂ<*  fvgEιG>=j$pL üve ZlN#g?LB`eݺlJ4JSD?/eGz+ObZ% &,H1r E\1? >7'YJ"u"_QQ-q y@"h3iTkU&I9|:kQҹUm:'78Et-ΏG0%2셎;?,bMRky4qnBmF.gݭ>~g}71Gǝws\Emaj|IĺE钴Z3q(Cxc~Z;Y%eҫl{ t>1,$Dk`o!ɘ'п;wK@$[澩r~A^gk_}A;Fg]7ec`?U/dSƋ< ;,EG?)O*M}54zdVOpkPʾAkb%W;PC{i{jt 9o@mS(0wGf'ۍ ^Ӟ=ȃQEY}OppZL`cp6MG *>~,z_ O P:)na=NT Fasw梍~K%gPT|gbne4JHUl^LЍ^}kbCe [Iz<4mzX99bALSZR~loGA :lO!fLK zaY,P(`Y5;Dq U#4 иѠ;W'&Iʥlm$_IHKF SqhN`ԁ$j5  *t05{C; Ne6N9 C?ˁ-y@$mG,23b9.u#1GEA^$yt' *fɴi JE'ix9I^ :N^B~ԁ˅(nl* .^CCqRuS#POzpum/@J^ v*Äkc)N˜´P:drKjǗK˸MK;R}04C\7:MZXF]tn"YJ~`_ruQ}-0sj]fK #/⹇jq0B%VcJ|s+떴O]ԗoS9s%-W*Wm~'h#Nz};¾IrbG⡓Ū]Vݲ/w4iwƟZYh=r^\w[*VQːxfp BaES)=Pސ;+lӏX{pOexCnx-}WH|1ie,%Oi5BJa`gcC%,$?+VG^" ~YuDf麱VbGg1^>] )?/$* "DVI/,h?@Π1ػOL-2OMaR!ӈ0sIV g;T }Yþ/(s:)B -Yʨb'SP F=o[aROE X{0Bm#>{)~k!t@ZFwO9evP|}!43aE܃`fkoa$[LZLy 8PeT)!v\C0iE՜9$}A P3Ľ+ʪ$\ӏe`|낛*o! ܞ4L"5QXap]fsm= ͆th"9ٲ`Ƹ+peŒ)ǔXS_C_v9K*ZӈRegcQQ;s]pĴ­~Cfܴ>|PrK\g* }F!1l<:nV-~v9u<9D %9O2i8xBC߷VM^]j2QG_#~nI7i~@|}D3S@Ջ5OC|K`rJ{CD>j%>?N>e:'u*2亹%v\KZ6ypG>BoKMYÕ82 0\>yiKC/Z6,Qk!@5˺+rt~#6muj%h=h[̓W% "Z5[q 8rN,Cb]oQbQ̀8Z3Ez 4᡻.wٚ ?*iR?SYx]8k-{bbSl0bgҧ/c5ДFN^2p*4ʛƫ9L!+eǷiG <Ŏ°6W5ԜHV4NF |jݛnb]v-1ybZHhзp#V(H$~p1 #rsZ8auAW-[Q#fRÀkEn?fTWѰρ*r o-A!f i8MdV(+ 5W-pK 7bzb5mkwSg&Tw`(&:6;L>?q("4ZllzM&[֐2xAzY$EflLֈ*h̐!|*_Z]?xF{!RȓB+du˞v]<-dI$g;3( = %\[ь,b( |e!M1IQy'.XKM CBm u@Ů"v-(Ԁ']R0}# ^W4>81 z r:(d2= bʭww~LW8=wXQ~/柳cVPօtN\qѲN A!l}7ٹ_;i{zw Y #"Q1݉PA:OsK앞LKoJ_8fV,_nhKkct|%eX y RTm!SK*$\(FڇvaBkwyCB4Ap/uAFϨgY%8b&oduQ4Kȟ@kWy1NL^x!~{q{i≭&FXVO~FfB{NVlYAl=M1ˮ2dcݘݭo!<½ /lK6(/!:kY|Z1)>opŦuP4[05~_CSmWg8ƭ[aքe-)IE^nL.xB!Vڋ~CB Mux|vFo7E2 =Sk?C39 Nc'u\ \ V{_FȨK5ϡ '8Q2|d3|ڟAȿlf%6!c7 "7!O #Y;2i<$<5YF9ixƼZ7)jMɌ2&4Qh*y بZQ QU>0S"L'ܵ_Y!W96w>Վ:QtRμsMJVp%U m+8xٞ"_Ew}h``O'-0m3v#`~"砉n<sO! nm򮠉'B2# Ng~.oPŦШt2-0l-i&ӄv;D u_hXˏl; 0c_ 8A] OJm_~O"Y`ġ6:P@ ^۴(7rRҤ=R\+Q]k.G?fY Y}[|6liò(*ɓ^L znw2nqLb4j ٜս XSg I? I3M%Z=ozlKP{{cd27-Y"D0I vm+t?P޼4?~}VV 'ÅnEth Ƽ gYZTiƂ̀zNՒ HSb-$2޸xV]f`9s 8N+SJ@0;1gEE*;&joQTAa(%py>-9DC)O"\sq, hb\ QN/^u5H.r.;U12Qڨ&x%7<CVrL[0#9piQ՟c- wbKnW/dI4}(kel\ѷMwD|}v)F\|y?F ,YM<>"GPNEdG%וR={c$/ÊLs)vƟ, /抅l3Q43^ڙC?T~H 3%Sh֟tJ#)>П=wNyjWơ/_'U$jorgQ'y3[6@s'L.RS`T2@?h${Ye)2ket+OBF.RZ`h] σjVq|5'/z.Οޛ2[x"L7dB[uH~q>|$P: n2z˘ij0}lx ٺ%EGffl5lUa3y8fLc%2eCC@*ݽcG0e#7T$]DI8L!vlg_?{w dID6l1W`S*-tvxkArct#N7rzNiqSזjjo}+/780(yy'_ȑSY4hGUTu1/!VAQo]x.A+ڐ)4ƛ a*NS CF5p ê!DD*,@R!AW n-ti>NX;Mhԍh ~ PI]GCE]Ҝ(T-bҍ .Hրq@a%Rݕ%)<ׇ8S3`vF #'Lz;N̕,)]*vRN@6ha.WxymEݾ@f9|~X2q8,뚨vTkGV5,fMwӿzÃ0z\E|{PyJhX#{,UvuLO1P$NR+1 h⡽C`--+y6{8L?ۢ">,Kv޶jƺ[D3ԧ/7Cz^w@uD$\p?5nEvL0:r bۑ1q l߱ϷGե% `+B<@ MnMZnAκ~HrS Q~fP;ig+ ]c2.RŚb持b3Z]wW(}vN"e"࡝ln h}Qaj@rLEtq!yjJO#L׬2wRݰ.j$ Bw,g0v,cu1V*BhYf)Kb Q4,}q35p-ԽMO0أνS 1`.J@"x }lE ,0xV (m+)ex@t}K<)x\}}K (PkLqaV-Ƌ*A4)#f:FsfP 0ԓY]Dį5Sx~v A(;=Cpj6ۺD6%8p7^Vtu-ETZ[$xi 7>,`D &xMn=+ +f(C`3x Z΀ϒLMMѦ\WZU>^:b}ok^HQݨ:r1 H}yYHFx4/|N4w,B-Q 'IwiJ^Dv^evز}\ k7tqWJfIJ6+k ]ĉ W֘8R/$ΔG몬1 L Lp85(In֛ Y"?F u#ǩ#IT[؏+e-~+3v(h(=}F+9jdeÆa2 UѡB)ѪdftHQgxjQCo?=3 |`"KByŸ|II x`X:T vJ`^qi'b#()T=]FW_K'i8՚40OP̠BRru'*B'U<6twNף>#F&J(-{(4Esj0IOP0,؁}.h[k,ľl.|2]Htq[[9wa$5\|t :`ܟkԽYC[Ax!gYZ7zXZִF! b]ŗXi%Gf4F}t1u_ *F{@(:6_ô=1i ~Nˠ?|7 ~ fpK7vdGhYwD{ŝ Z ŸnK_p/PpH[| 8y2dؓ% + ܸ1 |@=% !h{2ZVmza"زµAa?l"A;L~V @D4V(>sc׃Lϔ!4>&v0yO!HAFb``BY359J\iys*. XB.`8zpEsE^R_p3ګ4~ " `,٫U׳4NLa\dW~#DK..NgK/>IR:ӴDW"Zik) 4zBA&_qpr-]b wE60eŖ*@ ʉDb19澎cWDdZr&\ⱪj]$CrT*w0ܳ@ohnFWFS\"MESLRnq4.+t15!WcrÃ>`6q9X55JwV05Pxσ_&ܗEH)q:06 =$fe_r8@DgA!GE"jR0|ԅUw~BOJ־h 4NX0` HTk}b6aSPsG\/jctwŊLve6BE AGa9{>w<%43[\p糾%ԯP8i {V#^睜ʪwտy*¨Y[bK2ϐ՞LXit ȽvcAXsP=MkEG;B@9Jbi^آl#]d7?f+(4|Џdƥ-6%~nq, l.\pdz&Cx[evt"%e:6f6m~i+xzIC&;pW:z:b7Gƺꪫ#L8#E/3,D2S'<_ XnG`X#3b- NyrиXN{#tS-x~Ϣܲ 悄 (Ĕ U^PaP+*1F+]nΏ_]KQ u4KмC a83ݰ .B9yuMb0TqøsB9Z`1#JPWj~> FOܰWX0#'TKÉ.O;Bgv ZBd nth/DUj먵mN @ sF, iMx01lz ;QnQY% y.,3w3g8X_d]'0oаOϺpN,[ )y;6jJ>fi^OFza>j GenrW~t{rO~+P=yyɪ`Z5Py茉`dh(7$tvoHv뮔Ah5>|Nih!UHl?/Y2]1Y޸?n/ mۢvS'R-@V b#BͼMJiu7I[EyeѸ~'Ņ zlr݉&dt\N^1b%o(r[ņ 5}Mg 4 #~'sxC\.QGkuiW>f َk% GuFdE%&Y Nͦ-c@TD$HN2е^L'J>  %aB&Uώ'Ra(_lh OH:))IU:•!0B1gCgҜZ; 9%Hn&!;FP9-z?cl~VMƞz&tUb#ITb_{nBQ\X*J2vh]^,o/8[¹U`x47Zu9$onGP4~AWE僢" <ݬWG6 #1&it!#+X<._UVI^؇E2Id83ŹXgydVJ4T Cw-c"Nq %0&ꁎ.!w&AvDM5aW\ч t6e*s}Fc$Df Y!1mAfoS9𔆭ɳI?O%uX .: Z-N-˥4.j^E cx\4vg4LnY{;0yR Ql洬R^µHC;̝|tARR9i!*8UMmA fԵ%[%AKgޱdSXyl8ĥ3iC;Z>]6TS BI?_;oϩQbt,E@{ɬ`Z(uO#vN啒 %sxy'8̱ej% ) q@(QqIʒq |:Vߖ(_nDEj9򃦜3fj-N7^ڱ`T mE6yB;>k1}_w)/4- CJ8Ild1e(=էQ;7 ;t`@\\?h !"i5%&s#ge%Vp3@Oj5/ vh|-Iu.$cՈ/n=Q4QADζ?~]^Q!Glc>$}Yuª>9 R/[YDJ<?c/K&|.B]ћ}K8w|i^R|>> K |eccGR-$2oVcAhV4WxZzp.AuC1"WP!WuB 7rC \&Uc87ٜiH #յ&ţx|;HVLJDVݑt?[ ,@!=A,8(KS acԧ6r^g2* Q//r"{v[WcewJ rYvsRǨ/Kl-syvZB! gnm E!$!,n\k*Fh"9j/i|.0/GDѾ'/D+?sk!d ;jp[ÍzB´BdG:!kE2KM6؝qxx@}+=Ӵ(xjN ACO:xYk,4stevW#1'=5{OSvM/*6=Ño(cQ&ځVUl[RGm'Ny؆ :[R >p`QgsI,ۅ35FG Yx5H=DP5Ԡ&ؓ lI1b@(ۓP{ߦZ$=0rJ=3 Qޛ=@7 m%mcOw5S±Lۦ.ީ(*u㑴/=1Zua$a6ӤxҠݏ"}啶:+qhTfzΎŪӺe(t*Kyĭ +5y8t\Ӕ6).jZ}ff8OKץ`'d{scWj2-{U?osl;),x f+z.>HIdZC\\[`_gy83\Jp>?S+ovgom-K}~t)6x,!d D{SM蕏S,E5ЅƒK)Pߒ`eieyKA ָ_h0;LVtF6O(h80ª Lbi];M"J:O rns"d`Cڏ:qRkkOQ*䙨gRaNg綺JSIdSKQDQ,l-3;_l=G¸nd- c䏈;L@&;N0e} ?hAv?)֗غퟔ $?Af8?`?o%YRPÖ͡ѾyΡ:3JLَ/K&i$ˀ-NY#?- 2al$&b/-fG9ـrYiz=\Dre QW8}Hޭ'3sB`|gF]leGUqa<x:;b3H{3G"L߹dq/v9DjM[N^9.` 8C3\PTT$kQ=y YKYlݻ}B4Oopu\3vi5ϛ Frfbj_[E M /wSh' ۩A۠x%>ChkK(W\mfT{7PUlĠSgVy,1NI++_:7 ʤ-`|.w䘂$XV0m٪?D>%fqH <='3<O)w38PWɒS ۲@v]=KbF4R' (0e/:*F&G6 yb6+$y> h2|li١I(:LidDܜ_#:ݿ0x[pI܃)kR7gЬ/ hjtV]GR_.p3qǙߨtHD7;jI/ų"nm@Hxrƭ{6Tn>0HМ jWn 8CY3dkt1lx%tƧk$DvT|oCWWCɉ R% { Nas.nW憼I8 5*wnqʚ ttj?66?R}>ces]Ԛ6 JO[pa:rmt!e]#\,S#&6"KCԥ3t㫤Yts I^2 契Gb Ko3箱2+ّ3OjKfSzJtu#ItѲش[>ODɦpt/Lݛ'Z+*RMm18prw9*ۣ.#7? AR@S؂Zv 9/b+l.8vs~YA2X\,wnO dFKU 7A'OJ8@sYmώ'wβdN:f͚A^gDS Vd3BRIwcj1Oͫcbj͌Q-'6DcCX3dUѲ#V, i ]JM#7龾M:o(H$7ǹ*6`IIq?r s'&Rd`; od~W3.刺5*5_B{KZ⢫vKkM{=A50s(-o EF}əuUX{hȯo n-5TXFҏΛDlKSO'>g )֟|A ]܌GcVz]:'kuYn,[}dTC`|yZ,%-@\&D |ffMTj?Q]^ԢT_׽KP6uH6-qXV^k݇*רXMXM#V_#7;a4b;3jV =7-+} (>Ff[\cW`ƒGQ.G*U;06)jܫ_N{c*V tY6J/y&ΒY 7<z= SGrj:vFmޢuϧW׉:DMlrab鯭Q3EeD!(5`w`|mn/fǚ&.mߓK8qa@1H#8k fc&Wd7Lߣ4;hpȡ@68EຖMMhiWu/ȧG ;30`H+jl:(;@ PHIv5M2/`mzmٸح0y ĔFT22lYY :iOӞ.9Wׄ5[ՓNI: `т|(u Ī ̏FT37D DF WτLKTp7a]ihR2˴ ݂}"-[؁$ 5yҥC&=?vJ2VAjpڮks6nv\!45"RłGL?W[&"υƍqhْu O <-Dbz7=}_DUQ:. yGK10e%~[>%o`Vf*乆ҝ Nf:[6Ũ@&ɠ+^uݢ7 slc]PZ6mƞ{]P釦BN*6\GVn<^9n7QDr5+|]6#0OدTD(a`O{(6 ?9NU*̟=J{::7Jl`gezPT-SzR Jd&I[{*J`_3NçfQu AXp' f"<ֱXd6^j01"Q_3%VH*x ]NS˃Ws"u|j]vCNDUz!/oj,mgƧj*ڻz3j9WSGw*BVJ@TT+-|JcdA2=6xvTs}p_u)l)ot~FaLi.Lݵbq &ҥ$ lp2(VYjBMX: ?g ڽ K Fy3B]2*ajBm9^{_[>l(/|w;e{P0 r%d9UJʍΒ.@jcFm/P C|6Z +Ui,^gKﵲYc*/).pTaTE$ j34ʆfḾ Bb !h1H@lHx~ Up=輅S'9;,(Ԫ:fZ6>r|M1l) 6fh5թй*Ggg"G3s߱᪕&

+f1ҷ D՛q24>ClRDz=èS.X8Wn2' u/wi>ǮԿ:=߆k ܔ5^;pԫ1\ ʷic)zE|2JeQM2!Pcx~~>-Ceoǯ:- #/)8)ln?ii̸GYe"cݭKUֹӽZV=qq_Caaլ+7`3޸.)Z< J!aã̵I@."2hkd=mGehMUy߂LFMC[)r7' yg2HXhy;į8ɺv;v¨:qY#r+&p,ub8mgxSOӁŕwsn.2*l+P뾘P6VRgSGQ 6S=^}X+k9o0ɵgzcM :e`)Mo.rIe8O{L=k#9hVLkw.fW4,ɥC0U4h3/J>/Fc ʋ,%2ґ+Rx~'3` ЮHMf0`k6='LZ\Ɍ[q.|I :wD dXgf̻4꓉Y+FaoYm@&8(r%B/߼kƶ1X@M1BQ7SDiW,R7c$YH+xm<#"qylb:xd]Do\ њә}=L~qGv8-<UzynѨHW%2ͼQ o0O 3;h`I+ Ⱁ1ꌆ5#GgoYIjp,[1ocJ WLKWlSK_As?XT5W?\CSV!PҐ%~kU Ԁ1O3]ri?֭"?qE Ŷ=D,hiTjX %WhׂڼGѼiaC}tWDrTaDS`fX *?Bӽ\F4g(1X` "_3OjJ鍜0XcT%tB9|g.ezT&e&>x1ɧb~bi%#Phg9v%ƍBgG'e|-P8g X9Zq`E33S.KZ+ }of`ٴ(\ȄGۂe(D%q 3Ur%|?ڶtƫ7X41Ϯ\ūzJ&q%J't^ ًXPBVBܶI50 2x8uYBI޻nva‚ ?K58\-zRI CuDA9+u6\+eq CNnAaElR-_]?YAgԆ V4UL= Y ?׭"^؋C.]6_{d՘glNɡJvUX=s'-7l|mN(!2_ah zVy4ԩe,קN%}n˦OBHR&Us.@E՘9 Q m%W?f}X y&#ytN}yƤBAU8lmI^ߐƂPY5S3dx\;9 )zXNxu4"a)n ~+)\չ'b= zO}_1PVtھB.M8 KvfۄTHYx,-+Uh UJвE#SA%;>N1e,T2(D[%X6 '3Z}QKd "DJl{Qݪ\;XWU;8Ǭ1}R1x8?}>$mxx"c*[gc[(ۓZ$A:ib4^)DhO-^d>>luЉi2T㎬%Ǘ&OX1 (b"K4mm!g",+128q'fnHk0ߍWJ Iv:0erSJBbPףТSHuy-+ ug 󕅾Wk'PPҊ[~LؘmZ i >A֛ P9`Yo6 {Ʉmڡc\ 2D =lqj3>ikk0s!(}9V@б1if ݖ<ķ0p]N0t[^wH U˩jyT+jsǔ(傔Ȥ|fQKLP-91[;=DR\GOlD&}ss#v)#ckZiL[$XAt9rq[&l9U.WO?v]sR8r-ګno${Wic=56)Iܕ )Kv3^=#s}Y9GcHهjҡ3k"L8 vA[BEb,,NО4Yu{o埢;%*ʄ3gü`HdȢ?vI3p@;[OCod5Ac(M6_Gm8ffģ$dB{,q"į'Fr(=(=X8dmt-V0]ƕe]C'Sm}ȟ>C\zL|Dc{LЌU8̈́?l:mgkTO{ f+5yzHӄՖn w;Q$PXE3Bbj] V7g'>'U{kw ܍dût[+cn&PWT w^+]˜MemZ@rT =^& &Zn?Z:PáLp4]WtiueARn.LrGoK*X5=xO/zjDڻ7iҠ: B ILz쥺:|Wm dcЄ@!:\8҉-ݞ>s5|5Vj^Q# 2#)8MڟisѲSKnx\>/H֪>J\1ž'~Ҏl(@"9(mْ[nwQQY gYSߚv;-+|S(JLL{cLJ6UŰ0 i'(8>s(RRRCubqGD!V !OgELO&Jΰg&@=>ܮX1 B0Nr2?*`6c4]f]ߠY;&f+C3B/6;Ñ|Gx_! w6Tnm妦NK՛a}B(:;1=1ZI}KiX 5ν屫u K$@uFXa`=.,h]I#jmJzVbEDc}Di7HrlFl" ]*&tׂVL%x\$8^#@ް!u(h(y(=j$5P93ID(T ÄR/4ձĨ11YIk,X&sQ1{)\YNr xPdF'nMUGQ/1sHҗqDru׷z;NR,w Kܯ3(?S(\yTGeh`'̘0EPֱܖAmYI^!οG~8ө큓84cK &B>8ZYS+'іAf5KxՅgc'd^.qo@5 Jҩk K8 ެm4$׶tb,e_ jRFMΏq3TSG*`vft4(pniz͉ i@okʸi޹ZL֮"Aygu@mﱱS9[kI!ڮkIFޟ[]錎#i'M9C $𸙙Bz0*Niѐ@q!  FVa z~em[b1e2Ҥ1-9NX&|$2D0׌!!j\b^6kc9tSܳ?`H1B_WB/PޚR \?)蒖;a@¯u 'c0*]1u[` 9F9Kшu6ńV*Y1ٶd\ni*yd!܇?)-1.X$ϟgc0GV v1|OZxesO [?auҾ2pm2u8>'=֮9ҡ(*8]ճL:x̒ې>@'Ѝ6Âkf~M㆑Tz #}." zqg9ɑ=G#@23<ĉRԕcaKb+;d+Eñ(TGq45ҊѨIO@ =i9f?! SsVؐ[Vq/$zykBGd4kB&qސhPry$B~oQ9w`  )HdL >w KY4V ߊ.N@]& mFUZZhOHa;"s!85 "aMSɋaK&K;Q|Ko7L<nd[u+,v68 }HQ̸\f=HŤ+6}$_-y&tXZIqƔʔen'd&>^xtp 3pBـȁWD.q5^/\ T#7/q_ 'xS* Y'5=ݶTo,РQ``@mĞ^Ebq[yȠ?;}Ot!w?DG̋F(ԇeֻw%qr&̂4gPE22db c[,7` Ym5cfJiʶHGmnDMxIFvǸ ,ꖨ2>|2c_l,a6 hHfʹ|r F+iBE,q?+Es:$==*t8Qވܣ=52ݛnSHz2VfQ|Zd=4ݤXs~;Ϲ̀D2]Eڭ4mhWC o-aNqnxLV@.X}3W:O-CU"zvQ5ޜ4aQ@(̚'u+|DWK4'0+W>ry b V_c@Nxp)}q,/0Nߧvúe_&#&ǭWF3Y$l:eluZt̹ |տkɋ~-l1Vg{TmEe8PH~_4^NA״00$ $ʚCOloKV'\|6;JB!('z*3Xq>`dM= Rb[O{t[ʱ! \)@̎I0T FҮq ʝ.!<.9ѩc>Ծi R~Ǻ9izˀ+