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  q/t\d ]? Algebraic_Numbers:threads=4elapsed=393.082cpu=1312.188gc=138.012factor=3.347zXZִF!  ]ŗXf[&CS\Օ\CC2{%}]f }J݄+@$,` aPvc[7 u~9CGy5 "c}NS#4|}L AqC#}!@M\'kY?tzTmݘ"0=V% 0de^RY!g| ]1 T^}=—o.H pMV?/8 *Ic~ˮ]j}H<=w| 6[1gH F|BhH'Vw7g'n4!/HAB-RWqh^1 ."Í / 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 Ƽ gYZ]eԹy;ƙS@'/99OQ 2 v<䨮FFq2Ha:r1Ե~W[9pz9DoQe‡m5D˾qeY%7Ȯe hχ /: a&/'YF MrP.փ>ȻaIׯrk1̏,(201rx# 35SvBLcf`Us+j>[.Qت&#\o^ bCj` =`U܋ ا\z@[1+Q{l 4tC%ēX &sDp"]Xzp9 ={Z @PD9u(|I(eupalT6l٧{쪬!Ba ~cTUS8 R~YA=X㕳 w!@  W:[默c7J[q&s*2>ʩinPcDaڵǹJ#a/]B ; -7Kܱ[gCoTQmvR]tbx2;y-?,:,+C#J]Ăjv6=}Lv̓ KU=I;&?" }""CA/+=k? ez:kTp+Ȋɯf?a@J܀Π='HKbkWp3U?p,G1 .L[簬qV-m)&fC,&P[f3@ ;D9q(S!A6eR ->8xy쨌3ORQ)1/@Ǿޛwl.fPW4ِPؽ}b.0 Eh?":\$h,7+UfGnT*3W`ġ]s_-1?K.B@{\nir$Q0qXEk!&%Dw1 z6|sVmt`EȻu[GQb\ }@[}>/ K9؂x0^sjY*]%}7ǫ)ݕe+tc2劙v:#uF(uhV7&R7]~KdF'kJKU*Yǯq=G XU~u fjU"Q4όU [Ʒj}REx3ElR϶ݤE-,G~sڗa]WN5VӞ FΰWbQZl=vM!p =k=V% vB" +< &W9yǣ XX܉_I 0mh] <_ӌeJd>ݒTa:}J'O<Хђ(T7BfVFޕQkB8Ifr:@}I8 c ,}}4\sBߞvS eC]!1(J)a0QJ%DH ȧ_seJ,mgm^Q@eOԤK$##HwlƑލ;)A~FY!v'i -S SRmK+vaēs$)c][HCvDu)j N R%I A龛uy%R]ÀS$-1MmF:3%P65,s24ql1l]fhXKUEyϙIC`Qv<;5Ef¹BkW5'i˿ Ξ3JwiQ%fTJi2.2X[6-NÜ3j_}RGMslMS<D&l!Kdգ_p>{`{v)lN>cVCn^#Q  Oe#^𣴽VrC<)- O#'"i&t"aS1R߀i*/~SKxT:%4S㐋UIDY\P]+`y|miCZS+bls2Ny\D7$\_.db)&Ա\^ejDx:]!$Bk_j{^;o^ݪ5Zc{bAI`撊1P8|^Or l ZN_AuCZE z(]V &Gea(Mo>h]#h!] ?zeM?pvīQJUTzc<)NrdXL#Nwzzem^J[z#{ Nq~s KH\.y0&ug5CQDTgYZ7zXZִF!  ']ŗXiɟ|E\ÂQn\F]㧨aWطe;-%rn:9f`Z1 ]z)F1͚͘o34WΡ$vdu /I|mM wMkMXUct.4jV Ȼd[a̗\gŷ0Uu¨ &C`;ՕuNv2Ç2jsB4cxuy#FfQ c"uf6 7#-{7BD'%³:}o@=>S 6k2B*Nr Oϧ T/+4 D跓I ;/PyHiNT_յ/m5Q=Ż.DK닳RosƂ=u댗C Q%!܏pqIF\[v %9{(d XI̗''Ղk'gONo5ݮk;IέѾ}SH؞rF_ڂشʃ;5JҰ{| gYZ7zXZִF! L_]ŗXi%G̉N4"XF_eM]FqfI^Q^U3B)^_ ΰb UՎMcAB=v/?=kKds)I\`l]@v ?Fy0F@:Υnqa' O0PuWc'svtk?z,.9Е`^ʇ#=`tFe Лv W$"s :=;[U{O]T62M6ǽ^C;se@30N-ĿO02yUP쿶5;H6/Ҟ]"z} BwNmrwY`xAv@OQa|R!F4+cK2i=˲vN)G?خqoNrGsD΂NBkogpVkvd4xMJs'nq'C609c 9,7[6# ]p ;Y[.!}YLUmzlU5"Mxҫ)z;6C]lq΍%,rUeͱmbSMFXz N"r#$)`sj[7;mnqᴨ}xaqbJO[#,M {>3<]ʎR];, G&ۃ@r? EbV]"K1UM!8ӲQA/CnlQ7jƄ3LS};) 45JK3Qy=xH_Y$<v ip;c)Haq]h? 6RCv*ɺ$:bL%+J̻O趰x8!m`:fupzBMYx̝iGEwNڨD;WGsԻ ~u\ 2'<'+(\ns<pg -^Wq~˞LbHڥ7opryhSܡŐ9;ԅOeה6ayU`C #:Iw˚ {?@:02NR5K0%Q&sa|j^/lr%-e~5>fs۾T=i6DAZGЌ+GT=9=uVs%v Ipߦ*TunHx{)ߤpX;6#VJBU9HE~>fG,~QqU+R0$׭'ʂFM蹌#[׮0IYw~Ͷ RxJ72 i5(J\\͍ĚCy(/aA`֚@pk3"S9 9 ѶZHd*VX-\9?%'St6JmE7}Bgq;}ɶ}L-G}R6">˔aA}I molyJڮ ۥ4CʰЦUrtb]qѩ8BԜc(m`;E5^_"ܥ"Ȱ;'++5hHwP^O-+uxC V Ѥ z5c^8rfKut;/Bv"5G M[{+G/tP69$RɋFij^CW'x40 fR2Q>x(P2Cᝁͨ fZհY8V~SCq-adA[Q C4-FD`6ӬS4]Pa3^C>H3E_F>VL*w5bڞ y 7:{A§6HXl-I aPQTbyp!; ;;r@gwހSά媮10\x:07%"@mlfwyĆcj,IOjŶShc'=PQ3=lp0/SC<Dr5ClzAL(EJq\x4I 9ZXic=[gʺ~𔖮hUY}TԢ̈́Ǐ\:rv6=X9lj󽧯6I"rirRrj7/>EHyk{_ ny/_+/Os*-ܧBY#^!C NͣY;"{*ƙU\avplgtYBf+A#4L90/ѝg/'HV]5Jhg$&-3".f43E3QFNɦ>tE b} Gؿ^H]7hʺ&G{u}W6V\4M'0 d!jDֶ<պǽ@gN].b(Xb>A'򋝻6ĬnFׂ3r ?\q3Gt&yߢZ+tHcDGX8eCаYQjK5wW2#L|8%cupmu,MhFMy}lhW\\*IPg96E?,-rnw0BbV)%dyF82'{nRsja_.%AKIX !%$>u crc:T!jufȏ&ޟЗ@3Tjm]w--#C??َq"Z!ir;CX1(ә@`JV>?  [H-9ѐawn"0$^f a[{n2vcǖJ]`{|7b*=п//|j,^1p P6sf_1Kp:\%n1 p}ON,/_تpꇪ-z%Ϥ9=*![ig "p9#\At&mu꧵xlKLشζ*p?ѷUBcy`аbҩI;u`Purx.?a\|;V{BozhQLpC(P)ԮS87+Ug QT t #hiV \~ظWz,[G>' t#85UK-Q Ϯ};: bSXcF4v@ UQc<)* CG/ߦxf rLnI7ce қjxlbγ^UIc Ř!輳UYIJy`uPdbqyRk`m/̍*[CD@m@ keph 6hՠb h+lԡE1{ΐ$0 l,~c"Ţ IHԘxa2\cN:5{+vx(M18c{M02 I-Z]wp&hR*$cc.|3r}oRߡ!wXN2+pbѴ!Y!|G5fk[rz - Zp<f]| [նƗ&>\l [35xs o#;7[xeRaboy-J(Wc(0=ySh6$ퟛZeqaKv=jBA-N_;vhnu'';w=C4:mN1nሗZkV`e淂-Y@OXcz'= ye'GՂ\e-86=rC[FI_@Hpk'괧L:^F| a/ /1`vtK [쎏::zӒXK2lX+ :pAHϯ VW]<<}q 2me#\sic4t 7!ޔM٦LQF~Yͼ$} 53F}}E潳3Bx)A(wH\NP  $3CR#?fhPG?19,n SEӬ8,vDZ/Q:TeddLjn4æ,~H\!RS#@xīITjH`~$'VenFK\rwLׄtW=|o1A%DiF9-egl&6Hu /Y,JLaOτ\(ae]fzbBfB84v\oB ]sNsa"20uϳ"`^v[kiJ\3kei-G0 l)m36쪯P+鍾#)\79&} =]oSP \<^瀏bk"7dQp xw_::-i,oR%| 3Ep=?9KcIWu *B IL p Ov1(NuwzjC~)fAPR=U "G\e7/i>yP2A9W;( 1*9_Ԫ fE^1n19Q\+{ ^hV,g. AC(s)#<" .y &1,}Ic 0|X`qs{C0"l"Ebo'~ɹRd#Lok:K< eFLvCWt#@%׸=dXp9fSߏr[+鹝&K|<[syLxPc/ "{1 5'&&Ht1UjίF(g3sf*qr &T) ~uߏ<:̇$6)+z#M{SMd?AR6J2)z#m]7Esބ UQ ¦zl>Txg$ZP(̺:82T ;GЗcD$Wh]Eh² NF\&"!T 4IN>Y$]2K0!xrsDʌ,ͥS`<۲=e]DL+ C{"4{62uZzL+T^o຅pm.2ӡ/I1z}'/Xض .3s` Gp f\^<e3 e`f12HBU7Xh?~DTt 44vc:" _sGTm-w!i *ٚb\ZvwWWda7`0s NQ s.spV1 0' ct($8y'_Ǩ(+__.!W.! D9*e8݆vҸK:Na_Vic׆a3IcFq&4C^;r-oƕ᎛=˱_hq,e=i6 @@Pf.oջ+O&vUMˊ{m̰mfrj'?[ 'xJe l2zlL*})m3k+ܝy2C8_>@fIr9k oSvr{&wi?:8&EގAeb_:YA$|Ó3(8 ! Mb r% vcJ`b,/,# Pц&W Z1__-R:W>\x,žejh0VNqcR8Gw<+Jm)QTǶș9YH, Cq b#eb[̣`xu^p`zAYt5a(FH aƼM3Z 2,0 <BY%H{8内xD&MX|/`#RWQmagA>W'IN۳:ޣVbcU m%l^ zQki}lcUcm* %$7כ(^bsAN#ATeB3gEaSĴ)0Jl憉#2Nc(h; ;=H9 bMP{r^<$Cݜqc908UR٫1]y~sí+f3}zZ:Us۝Ű?@SO1ݶ":C MP \e?KHeP.:7iF}M"+Gkr6L dfOP5e榋e+ JAVypb!̻S9T- 8tz{W{8ˮ>>0(vwNa59"ȝqn@ x91_&t\7\TXBk6BVe{ p13W.), vW,\S x&p0Ǽ2~7fe58E?M_<ЃwMហ}wL4Ca.ngD>e7Քlވ my$W:Z~ǐ8pיc5K69H$eJr^sJZSt%EaW$aoȹ[f,Dju?H =ܩZ %t %r[pPX1a;76ÄIza1ھ:tzuz^?BӝejZRM:`˒8+xr$vPrgoq 0$piz/EFa\_,nfT{B!;+瘅t-k(9߾ p̀zP'K3? EU˚Z7!:G p$6xIF#Oo=  Hw=}zBRDTi% 8GUȍ,XkfyO!vێy|0it_>/d_2)џA.]@ƭ"**P3Яc@%<[q6 M⤔qаQfO^ FoXT+󐩃A!h&JB'?"QqJ T zj܌s#dyLچ{S8 KIlRW=GjɞT.퉆RuDsW5 Yw:g}Ϧj.9BʙVѮ=Y!7We#գ4_uGр|D=UϿc_K .""يpTd̎[[pM!71?-etfCLO +ԈfoȈ`ݹH~O(8|$&f-VpA= qb.kQBx7zcUq#8^CmlL2[(m4Lo@P{T`_vb"b [Xj"K[8v/7magși3bvTyNj uR\}fӂ"0I+دS˨V rY(Ju2#F?a%$BIB'JqU$h$VT4!38$m*x3v#?0yv}>7<\-у?+pˮk_Hr5{ۧ4]eL _Zn|$(Yち-6P]ٶ=@-c7qc( s\=M1t'L&.`qqzo,/S:n< |=j(eMwse ֋;SX~c,dOb8N);wL֑$y+jQza,9"`ΧzfWk(@%!#q[{I]W0ΞQOSk:Nfuk{ã0-]T@4\ES'>]oe =wK$rcjEL,Qe܋!5::c2݉eY7a٪K@OG 1k- [ W%?Wv^Ф B; &<Zs3`6j_HZgZ5p(3_0X:& ♓7 "#>mqfD9g+4y4}\FPKjm=lo<pvRڋdWݎA&CtUY>=)+N¬3f狚Jj,L>ny?׬ӻb(t"A:*DlTiwjw7V#N8xH ` 2?:7L=ˊ xPIV]]=(gϨ)NbG rCM)@Er7UkVOA::k e8JB,Lx[7;襗b @ *v$AQI\icaghg5QT@u4ޒ _ZI7-KӦ|IBԐ6vo³;}DB-xGT@ t|>Y;PըPRx-;ۨV7iJ[1}J]Lba`<^v|TVD)2jcԒX@G*֛'K0[Daβ7eyc^ݝx^ d;Bf?XʘF9:3C1p#f]ޗʗ9wܺIؽW" \/7m0wu*L-^~,Fݛ9A۴M#M")Y( q;^I&W<Kݴ3NⵁBqL86ܳ&Zoq&xkդhmO&(*~Y={ A^ iշ>q73sQ'['Z'3F&Ӝ1ƶhbVIVlլlmsEg0H>ġhM:(Q{֑PZܾX].gT{'^!TEymIMm|g^TI[fނ4K,OF^jhr tM/Uc ц8~LϦ4B n_ -w_A1-THD%]ԉ9j#1 @c¯)SZ%q|9W7D3|9 镙޾a=q>/ɐf_W04 mͣu)ėg EG`*9;bc4cӒώOO,v H[' qAO &&A|.mJa\ħfGdT'r.yJ'YN>HOnO"VYyeƀH2gt*?n;AYݲ9!X)IAo5짓a!zr@[|XD!v o˝ %zLmyQ˧a< llCnlhX{K HZg?cq 7 Ϫ/iW,söas҅KoOovD>$7-*3_yT6[,5!:+fFCXbc>g;iHk|:\s+Ν$nD͍:t@j* nB,G߫zL)Cu{1>(\D+1y\ Z k͂]sq=h[+X)`gdc|*:3>CJNkViI4N+y3Jf Ǡ]!@Ob|33}I#@̢u?-3嫎?WdńlFGO>1m- ~,!׵ˎ<fRq>OKH=A.n\gub{i)|a,5 тXg H'&CH ^8]<z'#d^'Y1/:}{:59HGk[O[kI=HݘlN~//i U+hRBOr<@ꓛlnUDHnv3 &Zs$*zO-XFIՉmKց;͍~2 i`fJC7LU^Rgt[#:gvJߍ6D.*M%q *)&1DJ˄XU 89c=!9LEt O %ZQZ]Zеe- $LegN $B5e!~-MwB,0ne[$З5>.f,Erdp1Uh7X\K.5uO8Bəb".--A!?k+N \6%/btv6C׏CR;e_]$Aڛ;JX(тUPUԭrFϐLT>X2H d,%=}se,) &womu40`k3 Kĝ^/C6 BD^3[~xJ)Ɯlez q#qM7{7 EmsC_vC "x|78W%OZo8(59T V2q9q}`0C2jO@}؄N^D'L(@:rTejpRas$%'jxS%-/3h*Lz%nM Hyf. p2,yz\;,&(F*@V-{p;*Ed3EWȴvDsk5[rme7%Ned~($ryI+j,,;1ny5A]߉θ)Ȧ'П=[B>׏-;媼Lo>#hcyC!-V$yKՉąq"l950jtŚ[3̖*(*&{al5_=2Qaf#t9\ \u1.Ba2_$7ɲ!!9p`a+MlK0j=XSl\h XCtc#Ĺ?eGfA#|^TIq6G;#wga$]Ht{ KjsKK'#yEDƔZG==\(r, ,g8&OYr,!ֻW#nNp5;-Av3<[5yr=-81JwAu`H@nLWv g x֞/t 1ǽZi mȪP.Z0e͋ g|fJf+SK+c h1BVCڣ\=B!‡#1Px3Y٣fVwd %dVsedvyE^/}lYA)`}kXS|D[漑s&q -3`4mhC \uS҄ppAcwm/y#{_bRv_4{xmk)PA)ZI /,V?B48At}uP\PE^T}6 v֌5\ }N@H#$J޼bq:/\GSqGMpC1cAo`aciz$?<fEb($+ޚ!LG[17hNSKeTD7,vWN,1ŒR߱ρa4 YTBzyu=G@YS5'tfyToZ b-Y>nJQi]RU~@\;ZP¸97Fl0=0qkاr8v1$Q4GЫVn f`q0݅+1CȄ ˭YN^A,tp'xOjeQx(sG`IX@' p =n`Ռތ!DVSWv8WhBT >_c+ [o]DHR~)".Uod "İ27Q{;*oљF& x>&ѶqkX3/А-ڙ{V:kf9&YJRy 4"#J_:c׾USyb&P,(kXuxE//88Ӱ Y. 谮&9ǢF:+Bu_ [WZ"sc֞j Nt_Ȥ:1=M)+KXUץO3?hOʪ M` v=э'uNhtVϏ`C$IrձUzs'%1`r$YZ0%%xhOBzt$= y'Z8~bJ (@,G꫁Jnnt8"Mpf8%ý ?;_S ͣZC_,#j aiF=@}(l%Au"(F鄸XIp84J]Df|rv~ }Pp;ȓr͹v7_!@; Ҷ\)]41PJy}t#cװ[N2nG{wŝ;ȒBvv(9]ݐ=F`~&Ԝf6qN'묅IN< 2_zGD!4"NE'wKm˨;ƩH(Qˆ@d=Y'ilw@5g iۆ9_v?K[ q tP4-_+p_e229~i΍u\R/p?z=dLGNW:̌z!v"=`)]5^ftϓZx'#q^?Sp7 T 'U{+aWyE ˅l3r0H.Ьvũ 0n,Ub/3)cXQe(_n61he L4ic,"t l w+ }?M!8м4zOK1`lC? csqXq)AyA6'> ~8 w/P7G*RoOS:L_dXeιeN vE!pã@kArnƽk'u@뵄0( W /ьzv,DYC9yUr7ua^îGsYjUX1&XV%ʍ1c4??j _P_9m \C>]N*Jqp)j'ʓJrQfhPzAʠ#/ZYEYռmDkr.FۿjTduFSѰЇ 7@Uhehy^rc sbxc9훾YXZA;P%ZOnCXZ6];,ѕUUYlڲݮ]XYw!e0׌P];=A`W=؟5aWg151o*Ɔe\@_{e_E @{/@eJwJ&}*``'7?ޚ "3B :o$%`^bۨ{ZƓl<'1D"hyU$gLUN9߬^S[FakKCz|FNpK#O]PI'Rܰi?Ÿ␑jSr MAǕS(6)!AC6TH\u#>O{Lj6wte eSYzjL,FG٨kMMvj_w? 'f4ಮU@MX&/93@CP?m*ϩL(ecVeP3&"Ez?'@\ Kʦf:g DM >[]2<YJ s⾾PA޻‚Ǣ4Ɖf!6Uo5X\=gYf$i;Fc+̚ԂJ/uB uw>~S#Aj4bz?1fhԪ$RX~HsseZQ:ESU/41Qihm>d[8j&:jb̎r rbJ.WB@xN"fTùƈ~R5i)@{T,(o+ PyzGĄrO^pxT0a54տhXp^7xkƱãs T'Ļ/ 2ʾWd`d>c t; Z+{oa$~zpd4Nkиbh=~Dg҃PnIYB =Ufŗ8(xک^WDM'cA^SZkQI/k؈ |>e&!UrH~15C5cKwMg'М &&/yb/$2zx _zB' X ?fLN$6JFN9 `3c[E3 7t#  jL=hZ# IͪfnS-",NQxD ^ %">;}z-^$FLoyy" g]5z7*LynLb8?YF|zFȨ3T"Ƒ}&zXguȁ5jn>bk_{X?0XgL;u?"4:ڏoZJ`ZZo x7*4e_|^s'] Ds,