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 =/,t, ]? Algebraic_Numbers:threads=4elapsed=381.971cpu=1270.444gc=118.064factor=3.337zXZִF! m ]ŗXf[&CS\Օ\CC2{%}]f }J݄+@$,` aPvc[7 u~* HF(Z qƋDynQ08ϟNkqRD2q$Wߴpaïq&k+;_X)d{,~a3m%HLg|uv 33ᦳc3ljx:<99\t)O*ǫz\rݱrٜ;NVu(;' i|s4Z91ˊ>wرyB&g*3_N=NBRHG C.ZZƇZ(/id-oep4v>Ѿչ}O9bMBzcKUOKfψhRmۘhIƑ׬(8_z rP~IDӳŊAF /0VZhg+*\?xxu)wL,mUt>ZΛ Μ(gIQEHYC,UebYOG YM0ϙІ u K yT݋g<-?r\U[}="u+[܌ͻ ϫʹpٍWcxW+>|LJ2@t HŰ[Dͺq.jV AnٮQ݋ޔ(RDISņu"{…^e& *jD&,(a kr͂igj\Szl#ֹS6p\_cWF$̓o9n!X#/E0(j Qb)֧ggJ:B;zetQr&?;v@zU_*-&݇zIU֮f<5̬}|"Wy$‚ls #z"( fO6qF4_Q)s]9jEj`" #rRYY v}ckJ K,i}"kɓ.$Dƍ?FY:A^P WQuG1.;XG[Q+\^44%V=Q;ݲQ;[5lܺk c8}"a<w:\kW=*SjJv{@oXX!S6 SLx͏qcT:< M-W`D0gUc(59rxXuy&!e >7X74mt5}d(Z͐OJ >n70RAF_kaV珯)سB +p³/_ÑO7̚^V},uF+wEIo3imD u#U &5Zicb|/ƴvK ϼ "TW#UgYZ7zXZִF!  3]ŗXiɟĐ&iayk{gzr-yXk(41'4XG̻[wn QU!fܓyjh_U!^XT?^owR[SAP)@vgk1@1LxYj!0FRGOM'v uEMy0Ob6z. u8i{,1=&4׳~K0$[WظK̒2fBvŪxʐjN_u?R0B cE?uIM<[Up{,1Qt\٢59jџAzS" ׭r CxExS@wPUVpDZgYZ7zXZִF! ^]ŗXi / Algebraic_Numbers  3 M  /oO LAlgebraic_NumbersAlgebraic_Numbers.Algebraic_Numbers_External_Codecode/export1/Algebraic_Numbers.hs7zXZִF! /A^]=@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ޯ bG7'pG(7\&ww=4Yawl{f(Uc |j? m| 6+7*A /2msmPجb/q 3 xh<ӽk5TUxWSHGaM+u窳OxN]\Q}ˉ._x1nJ~.83P؉5 ?= Sb#ՈH NxRF؈<;TӸjDB l?zS6*9/2IY|CBx,xmYҙ/&XZ[;v=hXFsb 9ƌ5Z7%Z!n* 5єfG{1)0j8is*Qc\_i0J3hyt\oc?9Pި1#Vh^׵dZvspU7svOΠFO׸iy A?Ww] 4h 822rW%Yq-8OB GDŽpݹ㴚Q j ?#' L Rg.mfF%EtYG\϶!m ŵ:38e!QWXgkG8U0=fQ3lOy[+s@)Tz}ZM,~]MEBHVuRet[JhB[:#(FmL @_z&uDC]Fg\<>u+j4GsEh^}a&B }̓0r"{=1E}` Z}~ ; - 4я=gVvC2d8Usf e cO2@{eU_ܲW~2{Z] rOܻf-Y[mK;/|^ Cy~F=7LKRn`Y!BUwS<W'ɹdJ*]q!z:zHk4N^{9 \@޽RYC'6; KȧQ'XGwEQBs󥻺M%1 4OwnGqRMIhHG`$by |HV7% ;CAڽVv5U_E:tBw6WWYe [8i@aĪQPC<1B^7Ydvĸ)<Ҏ q2jogU!r" pc yTgՀAnXm$%3}UIi\gq J)—b% Ezp}6$' Șxy*RA,8B]YUwL¤ɒP%x;:3|mJ,3\K9p+qSt27m2^莪-w~hͳֹ&h)ZuO$.A#rj1H`iziHHRIʪqu<: {}|0T_7Qg\;w9lK#g61-PEn~^ħ<3 X}nV0c}dX9wb 'SQDXvZ0+ W:N/agZ4:+NBY.MYx;wH}'L#I͙ EUAסゑ\!Vu`=ViLhzMњ 3#Ǫwb=5yqajE.)3^xG+8 #΍/ 4D崰ײPľ60"yr}Q?&\"`uQbF鯎oOCGB:]vIfވDxム892_?G,_+>L*Fx3Yҙwē8\pdZPIItYn1XqjFO귃B9bCbzaP%̝ |TQB|y6P&TaʹaL/D} (w풳Yzn^M'c^Aa/f\AYf$4ȴ y&gZc| , +ҥe%xaHa>W߉ xIw=ݑX&R*M7Xjq&.TP%أ&0M7':ib0PƧۆ3»7M(xsG* jԾ~qwY`l}gt~iSq2J=y#NЬ61G<1Szs\ġvJ^f>iKvu[1zO< 6Q~5 N=tdJOQE7!荜rbM iPO4?ͲPGSȩmZE f>mXD]gӹbmY+zAB`TMcV FD-:c7n5'o $8guNqPkwdP$nAXX/]2T”5I1:*3]\\ós5֨ X/Sz&Om>Ғ0@D-| L KĂ¼]Hg8`=r+#* ՄOC=|.06|$uo7llr[)RhjA6d>y^.-٘)$AA%yO"AQ ڛMeރZyfj0[(ٖXbV;z5hJNܜ[LAD[E{ML}b vl"E vm׽pV&1'H'I:*g58~&*-ܓ[-Xng/G0R{|S1#>h/r0/P5f|r::H?a.ͥVgc6k`2wP49v1.+H,q B=;xnZFe5vRYcƋDZm? y`'<9;)B#qdzA,c nw,G9OKUo>J~j̯eu"sGQT+ݓ]IusRڏybOOe񟣸VX`Q+` .5Bڈ%&aeP,m6/(wQoRO8`z锚vxn%enJGZKչbZ !#ql LB |^>} "S-'#,- ,MVPΏ4 U?$AkX5;?\ ӘS}yf0'_re%74y(,m@jS⃸J^BGmGN_0rm}ʑx[L9C>xQYLibfE3B*-.޾ ]n? Fbط԰#29hِ-b4nu_]@ז̉G t Kv2+;,R~tG)A\eF)$lS[s"cL!P tNн+j5,@z՝)ǟxw`CuhE[\IQп: &"%H4Y>[[Oq4$Pd[ Dov {waL#jRkpMAW~;U2}"] {Bn Yxތ&0h.Kz#;@T=vKlm䛉0lS >٢lSFN ٴajR-ϕ Xk@>;_:Y;f=߸8׿ |,`{2Y ,f"{NǓw@[9L.:daIlg9 YoD`nn]d@)L[f}51Dm2<+EI MpE KFxgP:+"w)Ǘ@'›J:,"ƀY/Vo&gv|̷ǤCZ2W42W/ i݉l8Ք& bapb 3H<* -Ukt1E9YYQAֶ *MgJ^g…9$ L:k)1`9)3{S_NXIs|% :@u=wcpI2ti]WGg-atj,n %aFY^Dy\!|- !v8^#kE +Co1Y8uVp"K9R$S6;sxڢ yYb P޴ڛߨkpbzL#G5@.ʴ0Zi

QO"d|=+;G^r{Fx`%Od۳5IFp}BPjgN$nO%R)j uxɜơ|͋49"? w"Y"byͧ)Kie2o8-a~vOb7ι:$sl e j{7Uݺ@XIV=gSMe+'Ym b\*hvn:SvHA~8R:B6*ei1tdT`^SͶUW멆i!*wwcj~'1yHej9ަMk̒. eM{pH]9  Iٗ\fa5ƚhh%5ٸ"ؒ%6S EYaj5X7 vC 60kȧ^h\eRbN2tt(@OTx&\ƃ.mza-}V3zDU.H԰w|ۿQg*HZ";9RRu7Dwn$s٤+^<_?WIrximwP+l23GR]tOso&I"n7P/-]G^) s HRoky~budW%#gEP"./7Yi𳴢-6W Qʺ Ue.l(%RDẮ'4Q7QOb}(t= SӚ)pi(nɐFr…:^%m7fwP;1K3Jv:t<}6lcYTEDJ`yc9[,r切rHO8!{w2k]|Nb~bkne73HmDvn( !Y\:_(F^@ҙ”f*F*>ڡm 5['K_Kڞacq8i yguϧwEEW'^:]T`}De6 fVə2!&.ۙxyY`Xdw<W SDB| $~>gU10NacSlv22ݚcs8  ,eI\)Mq|TG{/`"?1;r%_UCbb%X93L pEHvg2?o-yQ֢ ='1@+GTD=}*_XRÚ00)f Mü_Rj=?[TqkC ay j 00!ԃ{YȅSYn2}034N}0hsV6m%uV`Ӡ,+8;8^ͽ`g:xb}32'ˢb;n 5d*|mpkrteٓ>A2KySmzȉ9U/عXonM;w$S_@3`Ccji[Yxo(0'Tż҄X1[`Ks4;#U?܌+#ޕ>)?FRNA+ %}lhjUxFrJvqvnΤx27bS;45# #o&&SD{\h`?%`mH lqЇy&텹 Ͽ?ZfoiXΎ9a D :cBQ>Z.v,@e 8;5Nea` jhIbneVW`#p2wAD!$wJ_0(y}EJ psP4$t&T,R030o@C:ɠbồ/C~Ckoq?kDX۸Ү]E91c,bg>5 &QZ|h/!/c*)rN\"'w,/ 4^r$˨:c!!]R ciVIUR,ͺEৄ%,t~0xԩ4^GA꺋9o9xiZд\Rfϓizo&rJ' t}4kàoৣu,oh;$֛-+y*i+dX$U5=Y&-[(X'M%p~vbiN|]Wۜ#[MCCy)b?:)GԳHns" 2x\N sv<.X?am_:pZQBSKaƤN1mP& HΩ[׏(e6mdL*/FBÇCk{ ^CM}?" D[vɊ]FH7 yqT6~$<~铤 $Qr ͟;(nǖ Ae,R|Nb Qj[ r%DVgCoǻݞ<.8'E01w,ν]9vgf-ChC ty?rP.u|kEuG1 "9#Gs:li b*Ņ؋<.( =cԎ?0{To+T̞ 2Њ[.kK83rЎP7lJhko:b?:#kkڶ)u51 a|.gH2HѸumf)ɶ窼v"IO Ǐ:YI=h5b38}lZSӢ^Vp]f_ l 1ReV 2a. L6 C# d#8S>PiB=ǩ]8$ch`?ƟsZZ8/(ٶ֒.AD*w7~gpZI^p겒m}4jl"~& vE>T<432{29 f ]Kp`.l{I-'vGuLQ}A{ pdԟ~ ҐV 7yRrzjހ`Ьf2GIoYgh>glpYUFKr)VG.Z N^}'U !%?d?fC5 Ij?]<"o|?/"Ս5@I2*x_,lӔ@amq@Dெқd"lJh>m{Uz34 .W.)0TwIf| XHkQX;BPlg#Yj*(KvFŰƆZ}^P{@ p{}Cb *" E=*Ӌ9\5 MfI~e yBAЅfHmgϏYl}#QH )R\g(z "]Hޓ'JlKT1>[t?sL,Hbo֨Eܗi1V?ïߡfOt12UydE}%yvGW0۰TtV ZUB$bNb{ 㜼/̠:H<م{t(jMG Wwk檹 scXx]wcfkƱl-؏^rnp7g7ziMjڐ◣gUU7,Q3ʭ?F=> x mM+;9Pw-}jBE$E`z)x~ Bn hNn  "qGpV3Hҝ8UQzœ\!\" WPGdE]B Ĥ',֣V*f+4,ȼ{Q܏ /po1:+7LFytC:mT|Zj:H)tf)QZ]a)S~~s99 7`nBw:Yac|L:+wb؂\c՘+W( ,_\q{H\FWfo $>.*֤͟p&#IG܆ F#/ %ޣ;%y 'ܼ6{cٛ-w*ϙv̆-Zfڈ᳖S AS1#ڳSeܧׅ;T8Xr3noUyz <VrzzkP"2ᵬ6dP z> I@hp觾T#pQo^ QfеJ ~_#4Ex׹Em%Z^e-(|S,B n:ڜ+(}Zl={:*Vj4х&M=H 2 ݓG 18L q[ZskzCHĬ Rgt±F? M3s5:`U*$o}oRY{\"Ty;4m',ͩ!Ðj |SWؘQAtw@6cl+Turuxsk.g`"[9'yD*Noz{j t}WKp%@gF!PV͕l͹Vj_wGG _M= o_#bXL+Wh%Rͷ3HнG>qi}ű2k#Z$7]3g:7˾@'+m,PecEDOJA:GtJb&&wSTN9T8:;u [k.(6<2blQ*Ê82 T>7Lϼkn:fSrųCş,CV,XŴ/U!ݷ~DD|K}yOfqӺjE16^_xh{u23.gu,6i%PF0sM s^$+-rJt320ęMtgJ淸iq˙߆;%d;P#fVq}c:9y9SL5eBIa 3g0/~\Lu =^x/44Nxe9:3` U"7Sӵ64SS1q"E]#kfC<-"~ҧXh6^{0a(N$*8BX:eߕAI&Iе ?_Wbk`/u%,Ro—DqTȬDyJvoM]ԂМޱ!iR(ӛ'S*| d*R-tJv1( ?0)5),d"W"-+=7]ܟ#NbyWSy"&hUϺ"N? %d{њWlUaed"H(!`A |x9 8H3@tF"D0@ujT2 |OUDJHv彿0M 4ǻVF ӄZ/ϧiG^nI~Zj`fQ=S UU]O˝ ZȺ5ć^-ͮԶMb'?N k TMPwrwlW 91T#ɏ#M#xu. $U]:׌{~)6LIU C_pW!a+]wq%:' t C'𥌛oH!Ƕ[rU@ЌZ>􏇾 %4j,SRlќ-Q88N8~x}ߙQ;pZe1U.ARnlvC%5OUIަB+Ӱ}W0!l:,Ev&;t,sCr/ `x_U%LФ0s [FAj8{tr3ݷ$#OqlӲGG#^OS'ΜT{VFQ;7A 5>ƁUANjmDmrUm0~(4wEݮB),Q;PS]P蕔`(k.4"n62lڤxA_L"PzMDP hԙ;B[\"bO(# [ 'P!-eŕˠŪٍ$gghښdroJX5c)HL!xp.KfpBc!Bw7q-݉4:: H`o\];o\FD( OZ:;w5Χ>)kž?|T=s ,;D&%BY^m)..FyfMsse \vq2ɄDyRa1?+RyC1P%ZFXkY[OeX#g\:| Y%.&ȵy]ΜʼnXLa aN/,T.@,! ~K(vXuU^Y質/ipѻ(r/GeKS%k}- 7inDnL!F׎۬3ˎbշl>zygÐ{;{y^ZoG'NL{M Itm oKt`>K3|q"^߃A_M#G@E3Rc}1sk3de8,hL˻E]AG_oq"9^i$+~]#&ڗF~0/*b|@r>A% Zs6$ ;vKnd3lV[k٢3DNg0R'!b$2RpeD[?ҙM bsJT@ ĩCwrPEknj3vpд %5/luZ86,: 7*CBc N65o54"z0՝RLh)ː\l!fOJy6Yn✷0c/R[t)@yV+p<=O<`>sdt]fSjp.@0?b/N[s=)Tai]c>^uk 솒*!D\@{Dzz52fΨ;V9$ܢ8SWꬊzUvC4lC 3%^%%b:X%BimңPWg|Xs,טj/7=;w|Z>xSgF'tsf/f.4 5Sq2k}n5#qeh쌋5b$@azDإ jӕD(#kP唏j~='1.)3&o {F 1}K*4ݠKo' "Ii NY ].#F] `Fd6sW.4"᥊׈j@yabq^o^pM6@ğ?&6drCѸ,bX"n;'I6Pa'y4=%-KckxRuAУ8xxoiThZ)z` -(:A[8y4$3H"6pP1_ ̨+"i<=ԣ1sۿ_^?/ahXѵ{nUk7ko^ zeG`G{NDRRIij[}\;OZh9|剣х_ldTS RkANlmExAwMRE 0Gp2"(  ]8t/{@SʏʂF&뜱˛`?+NaS^R=c6.\נe49XvU~ȴ&Ű3} ?NjsyBڃbE$~v[ )wX]9k:qbgU8?h $5$BH)MO? 'LEf<{|VNNx.,d}.vΊE-Rlŭ L dZrӢ>E U*8KZtj]] L{uo}So;LQۈEq39n@@c-4kWcwUH ҽM<%)T_0<{ 9qBW\W TB|v~! 'l+ÖȯP{GZUX2Åʗcvr fP'z ևEx2ħO2.qKc wi%].CAaak͇8&me__ Ds uY8Z<6K*b:^i FӢ|H& [=$w%$ (39BLI woɍs*?[wRM GXxnW&^DقQ'TDuoSh &6:{7HFw}GJ4y2J c&N"ݲU#^0߄ѳadmҀ NH[ϮeF"h1( um8_D6~7b$& ǒ|ócU+":ծP(^jFM?y_sg(;STD锨ˡN ?}[1͉M7z*0>D:\q$Ы$Fe&O܂O#tlr% 7/iEz?$X-ŀ]'#<44<1Y;4 th_KbYS OV' #d4#A0:nf»S:B4j3]&,r+ac쉕;i/DG&h̃&Ve"OY*,"H3a- 0(ۣdb&38C6OSV5),S!A e`Cwqryϭ3x?kk>O󥗒;]rvd7p`{Z6i`lL֒j9Lz0(B?5W 7v GhBzRObհd'iX1FiGe ֖0R7N(q. RM 5M\bQϕ4oʒRFӹXKK@oWbGv7y~ݤvd׶釛6t#'CX44*<(kmGYL PWpʂa/c$8N-сE]LhFVal&X 2Sqf}x>L - *蠛pSW Q0%kɨkļ oH>O$*6Le%K` ɶU,Um0\}2mq'o~HzT'~?9$8jWt!r9!a୑! P It~&/Mđ̞+X=e݇m4|1pdeqQp:&SǕ9Ter TlFɃX?yǝH,<.RCm',Cb+Fa(Ҿ,.s 1ϤΣ1 cJYx4%5+1ҟC4X=KY\A޺ 1Q-,3@ߕ)Hc4{) Mu?H̠>h)\ύ؂-}d%# skPɁ7Q-(!K4 "95(]QV.. B1 V&\Aͷ<ѻ75TB`a >[eǥ ՝KhޝL箤Z_A-vh0+%慨|^nIGH(ake4@1jM:"1k%%Uڡp*XF9r{2 ^.m׈ |k.hu9'ϏTmUprs ny< }R؎vPw^~ 7t{[k.ݦ7eO9Mo(%$*P=X_]>{o^l)yT1DdUᕠF*qⱝ C]y1C|-Y@ZKe.'J?|r[̽R.3s.Zj(Zw9 ̪Xwv23@>N*xZ?;4Noll$ưQlex3rQ\=,n;kYfS# b\XFD6a~@u5a vm)h7D#Ͷ,}+P@ ;QnȡtBn|y͔i/7i~UJeV%K $2d1+jCc !#8Atx p6>czfkhӦ}P$+?h5~-}AJmdu|k w&gֶW/ L2t $6zS%7~h$J%J[m_ZQ ]z}()G>Kjuo}"_۲^Pl|h(.(st!|M&x5Owi#zo,$@jIRC^HܓHqkydƵ{d"J~ *fs'~EpO"-g[2d|L/>yA- ?y\w¤-<](Z5zǭ@ v& D)ٙI2`9ݨJSˈ %4i( Sa%؝5:|1Z0ȷwEC5\}o VTP@)dgq@$̽9!Gׁ g.:a!'Go_K;Z,oO$`W%>X F3Uz`vys}my4NEEcؠgy}KQT}1yR&tĮw,OP/y'DqpzZvdK%C;LNI+P*ޜ +d%ƿ#"BQdෟ$07eh57Uց" ٹR0欢+?>,-~OU.5jc=~I| aDrh 4_KD9lӍ{i< p.J\HѫPE"SSHl)0 К۾/g>OZ3QXZDXѵX@O_^G8dd'4De;EETv_s,X . } JBl $ւjW&S rl890R6WR qfy%i|}}0=e1Oё M[#UkP£LZnLyHϟPmAm8)nN' IgZV{qC]-T2St<悀:e d2?3n\pe=\ȔML,&[,xS0$u5i>̆^Zm}@E6?;i@PxBW1&RþU\?Gu)b6MFTǼgm;11bs@cr۷hc+^ 8#b0TJ "i/] UX_M1f?NќMƛ84j1Y.Y&q!?U1»MT+>n^"w s#b횈_a4D""k?)?#LP-bA<-¶L)݃xPXEkw=^rnAQ~kcSk\鸻l4n ԧX3BYE,XpT$i Ͻe6t3zyp\(` cG慃وޭLSn6;Մjx,Xn~zejl.&ϙ1,aު| TҧE˵OݾEKyI@S۩'\ ;}+н$!Uď3u!F`SqU6zX%1hϗ&KI] [/xE~S-3.! C.1oVA]=3N*Gb_n;XZG4uK;Od3*p"}5F0i27W ?X&~&Ggck?,/%!L^q{7$!P"Y\@&!%a0:I< -\~:(pucQ#i`絭V|-fqA ^<ؼ`oM{]lҕ٥V" +Tfs+%|NVY%jrH}]QPY؀?C=hok#s@6i]I`lj_`-0DKIҚdNUzfg,^K 4{ "}C9[Muc'ptFrr/ɦF:rڌ} < M 'znCb`qq|U3}+PU3 hV+!.&3Pm{?0w'9R5 c&({Oj1rs 炨g4cAy**--4T CM<^0,Pޓ]K|?s#gdXC||p&UɈO\(SKWxz`2|r/ ,o|Uh+P4g kg'6fY*ۛ2oʒf*% ol_{x_ghcFc~z~]Sm粑qk]4EIrS,%z:vM.x560ruuQ-5}+-a{޺ u}%-1+sB@޷z5ºCk}m^)7"վ{wTbh3 >sLwvÛaU.>L v9폝sR˫d  N;ʛ?U,azТ:.PJK9zĺo1GV 5@Y\L<{P^Up 9dYP^e1=Ȁx(lj 8D̎d&OGE>)>a:SG/ӡPCq.laĕiTd X"D5"'D 7M+]o9wa}˩B} @N{c<HӮEk!T+n Ւr5\P#j0 x jPdPS!3i6>%NzhFrW_}VTv b(^gsCk&}MZPzH-Mۼ+ghүJfVo_]9Bd@!py.ۯƙr3?-)3|6VH+R^4_d+tƁřvF/YŽFh;B/2q'^L|]#, rv//)Te׊Gk#FfPYrϥ鳕Ocz:=M)CPq7#>(-PXvA 9 #/BJҍ(}-!XO֋kN̴HBY?Ye$Ө%4wID]s }#9 PMZ3\m8mZJDdžP+x,2fH 7?QQ K0A^. :Ӵ-5~; jCZz,WvX9 Mw(v))`)H\/0*L.װe$}9w0BM#8_^`!+B0Z.hfB40#4*'MXDAA@\ylk䫖EJjoqUmy9TxHbӨL%b}Jˎ2y]U3 BBӚf^'AtgRsÀ@8fc]x#&Vi[SnTq Χί$.óT-6eF`B3}$/fT 6#Dž״ĕﵔtn- /|x!Eg5e1! s>,6T\ArOtQm+ʫ5sUUsL@D xI'7k`ݘG ~>G5Lr#𒁚b klC\)dEᝪ`5dT?F'\n?(*Ciqj\'q˪ܫƝ%B>% @eW ˚WȦHguR ۡ(kBHi&hJeҊ9l)_M|h\.mړL[<!tg̰joH-2BXDER35UϦ04!MT~ZzCn3w;zn~v)[ t)ہWzPKO2̰pSN{U;J\JS#+8SHYr>,WSLF=KDL66r;~Y_Ѣ& RkcoN6^ްVrYj5Eأk6mĕKKȭ:CϜp⁴S,)tU'Uo["o{Bn6#cCE6j/$۾񇋾 ǚ)zEgǝnk̟λ; \y*&)+ O>x铜g`e}(o֖9CU (Z976&]j-) j;3myL󸬂5J1CQDGh } f+8y04a&~aq*Ns!oW¸bO=ڹ]n=  e9%kgmT:7zs0D^G OGL@-+g},I8&E Ǖv6o ܤg!k=RT`bz>J dr˖;>3a{ny5!\߸G LoHĄF{ENe@g 80ȼ2>qݍf xvdm8ŭ~1+QeԁuSМۑ}O"ߔb uڽamSŢ> FKEb(Pl H=CU*#a?ZOmSr7~!9_ {;3%/- |LiZ=xZܳ%W!"Tbm#3G9_\}q`4񲝣t{ +Io?#X6|K+E!HÎ 0X5ocm:|3N9O -AC+b#jL풛Xǚ}+Âsh㹌*| h!uDjalsߨgm=sc( \tG#&6'~ >R*IF#"H7%Η@a12m1Cq%%]Qof_8|?jOlilj͂e$X׊} ӥ?Z ȉfBڔlyT_*:oΏ _V2B[$r?8]dU&UCsm(5N>ު!7{Dm*ZN|23=v2uo,s}~c ca%"Ҩj]I%}_bʄ&7 J-bjH U'OAMrhSttߍTk\ C8HO)!s>[${` 6ofcy9QFM[Jz%jհhXVg V180}9;wO%<)oc~9wK[K&ǂ1'RnɄo\)+fX#OC(ƚͮj4V[9ݪ1(J0퓔#Em:C?@AP<=5 Ѱ#w;@. EL D15ˍ2}pKcUV`}8XW8'*K4C\s[([EEwCՀ%zҙEf[.nb܏IoM13ޫQ{- 7|EFT92x@َ12p UE@RܲG`85~ >-^Fy.QElLS{0u $R%BENN jі]PmkC^hJ;^H(~22ٸ.x,6_NaIi(ʮBEdVPD7l>F,akMZPp\Z/7$.UIV!񎎩z0̖4']p:L[+)n0kTԎT'yX\w2M&ĵZտKi@ % . 8@`y2skppN7o/ =7u ȣlfd +n2f#vfுlP"6 pr[9vL%cZÃ~pT$B̈DxmktoG){{ 2|g(`I? mf-rEBco]+j\>ȃ^eiP" PhkCj{cw'zϧHU.|T @3Tj$L%#͡ϖ,f2c*Sq,"!\P+~{PF%^}S"C%# v¦܂Y_$K- H EtėqXh @aӲNB!9 ǽM 7/a!Fw"vt41ֵI5uTٿ;u { Y&o6J$쯵R#⃂2s z0P H!po_/(iXRKeDbrzc1S OP'2On|;is!F7 B2G+d$ e'8y~67+fX *(OX[PCbArdmANsS-7b ;!3[1j^b&hiiny^􏫏ŷC0iB+wS̺ON$q?߈"@mp%ڛ߈?wG(3H9ϣS"RǙhܓ$&<'vϩr S5Bbcj;eS(ȥmQ&bj"Bmc"t|mzmSc] y ,bYSRo1tmHǸ8; R}` c Q{O˝^8=ll`>l_1i ܤ/^/c*KEʥ|BqnR?Q:'%r+O3IniԪ_X@>ᗵNyQxI3ew8 *OEhłXCGgx`N+kAK=yO%ȅKXׇ1c= `#/BdnWʏ.d˹W .e-gYZ%L /J+n0{F+0} ih CIFWXa+We#H&dt޾ @{ũkV#^K3x0(ANwPitƕ%ӼRsW#^mbh`ڼ4NWv-Z OH_9TOq ~O1O ˟{6$tGp.VY}.d/ E#,vDThפǮ``4/&P{ޖ ,-:cPs k)t_'s"iѝG\̪&:OE D]e)u+ǃ&n?@4R.+"D.<]H1<[2ǁђa*wg2ct C$hMR 'nCrUp~z[g 1@@jv O)\8=_ aM}턤ሞx g<\!Uci}M{2d &e&ӥ=|kahGaVۏ*@Ӂr#tn$ǍܸcXSYG_ g=%y~% tow@UEۇ~n%rj*n=MJT91s>SCH @$Q90gݾa\d !UWs )C8U'oG]C槍qRA'@\8g !, U; , 齀6DbXkxr-zw5{~NACʲ|#.N}Hڳf ,j2pp픝SI 44 _s6Ob.עq76?mN0VJ<&#?4b'q %9c (6 0ƨ׈ `VO7ĕGV{&泼bt0/ʣKPZY;bx4p-s2^O@ ̩M(R(\|y*tZL01&Qcx@CfV_~([RǪlhETx> n]l`9 !K{q'^&]%IwZh͗:iԚd!gċ*7̋e[NJ{Y8ab/Gg|P/osajsGW9M -.\ɋeK["n`CK}VPȆE$ Ȉ)D;h,c)],^b)$Wۘ=+WK!572/Y ڮhghsgcwCaXz𥝦q8HȵCbF{ M$rJ+؟DujqfuD*ڡN [K,zLЍ!ʴwąUښN6'+8`τus8C<̈́qm_QJ2DD4PnbǍwxhܜZxgSۀ^Ǥ8/&HlBI}< iz1gz} nbvڟ{yɣ6=as_SW; e!똮Ek( ï#,k$K_K _GbL{H*#1Вr)з @Ö$5"e;wD4|?E]9YD#^dU=&C&ʦ#CXb*;X.yew @^>oozidƜ{OvkBLuL M\xuB%g*ߖ6ZYKYfT&耯rb @ ؞):7l&"t)Zq% \%1=edu!\ U"96wZ I\yNr* &*Q07 LAO:sk($ z1{>i>%ɵI5Nӌ.qRZh3ȑCt6^cl~BRm=>>#Ks2s =PBV/8cv_K}-dneUzȞUeO۾d74cYmDk |\ $lY{C*c7Z,A&v)8 yNP6Mh3\lGț5,@tTڿ\ЇߚIY \ی5=+g 8(Qd [B h<:å@h:yrEY檖L2KU`Y'mSꝣϯN$R%!\ $لrYc#,_-1ܛ)MVܴYOwOP?>gNyTҼxY3EQZaEܱKzQm . uox=Hw!fq;2 yY$b ́,,!MzFِC!Rf:!]VbĞUq?ƥ:4ND;*ptɻNꐼ22} N, G8ϬW|~DSmRcEY_Vja!tp :kG6 Yl#Eo!%O'h.+ Nf6:QƌoQ Qōw0Sm}6Y~_vnU۽Uɷ c6v%y,saO j "d8xS}H>ϙxC> ]2T/*,$~)8_I(j3&nq'O\Ib93b:޿29A+(:wq73q֗M)Mm^^ w_N f8 [z`z  Mj-;^)D!d\XM@)3lW_xƻzˆwV !V;_z_U|P-նE|0pێ?bYpܲ #k& 2_@*\JUoBAҞarא3ᙺ \U+*eX/ PFb"!#Gpfx? ʨ Ң >G`FD#v'T:jzMIAYPhGQhum! ekNSmQI)\4ԗOB#U8* 9!FmsnEܢ<~ ΛX'Vvd&+. }iIjH RNgHZvi˽l!h"쪽*8߬//զTujM(OװRe 5o(yP-4^`D>Ѳ][^`sߡ /M:HB 7zqQ\sH%@Lcx4l!V+َ#(M9y{Ub Xdf$ }׳NMvzFdʚr\1,Iv,EVd2VM֬f+3 $P2dpC$\IJ壸$|X W {x$[ r/W}MյBD2J8ݣL'SF|EGEGJJ$]6kȥ .*^iJCBNHnlX WDd"tI5fas(ӼmHDJxs.1BHEPPnS $Q5 vrWmkvLWL6殌L-!$"&Q~﬷H)SґuQ@{@䡇H1? rkuvA"".joL3xʜ1֎cbO& ³`.+zaLpCp 'bm<*> ލ^5Y}טkQ $KюsX?q|I!M v Hv`_:[*"[x%C@jiGn62Q\7rdU@LPC_GhX9S²xV]dDn x]-ct0R i4 D)TӥGTA<'0/wwK^dfp.I ~iӞX,جKsdmD`V#9.q%aq`TOu1XymcyX*'gij* B\7tu|Q!+r8k5BtgvtP): Գ1KJmF^ܨ(PSt2Pɗ߫`8C+` f,TU_=G TOAlbWܼ& 2nZ3f7[0B[H M4BG(z@"b)f.JS:#Pla5},cN*~ K~Z`żv-tUSi[{"yO7LJRG3K&E49ɼm}Af0d؛=PꉨbY3Hoy,!k9 #[_jJB 4`-]$jn,yrVBл3Lxwc3}5饅W(&)R QOdIrWzRjqt{{%JVmY26(h d|x[p-gr"u{>%_eH'݅Eߺ?gH W z#c/͒$q3D@^{~%B$FROIEZZ>!yv99VmłBV,8KA_XRGk6}͞0~k%{¼.yk"硦=ۘr4aYM%% CJ Lw6hFAa q$S@hKd_0z1*xλ[ČMw1S8(MP,SZ1 Fdm @4Lt Z3Z{;2|$ Y+i"%ESpL;v:o<-l0J7sK[X會q:?ȡ5tϠ>z)XqcE<#N3MIP7d%d" Fh;XGKrힷBNQ:ĕhS39r\]W\ZTdH 7&ކ5www|C&8tu5k#pr s#}v +7fM#NTnִċ[vלxV<’bg†+P/pr$*izYrRJf}N2 NKo-T[Ʋ;Vw.Wnf8'llU_mֺyէZ):~{Z"uUXFIrB Q'@cFa*|7l+AݱtRP{`gD}&G6j0VMd;u=ѻ%y]+k(%8 E5 wU:ʭS[=n_փZk=n))KeibB7?1/"4'c^-@ƶji`,VN&' Z#NpQ1&\#O,ƹ$]_ zXc"lcxpvQbZX:{VHŖ=U?Ap;L t0a_D'./ؑqSr|c .e=r q: I&S\dGg8dJ}9i*zG#(H5,6eQKը.-:$g6(ߑ~z leeJ(c~Ayx) $`DdhsO7ARTxNDo$Z q&1kst/l?-1.G>35q|#/X_x YmoZP{4lsJ]o*/>fP[|4H" ͦZcv=pV @7{=#Mݜ4~m(= C,~)>ӾOJs㸇pP X>?U3iBL؝pZ|\yy2%ȽN,MqgXZTz QnshWD| x @ou-=`}~/7^-_{ފAJ3`^#VGg*Ǹ n,M"7X/(o4)bGmRbM-˗>̳`1rsvЖWZ[͒WOr_#xѫ(@Lb+pe];e{놪Dxۓ@ ==XD#`H~sbRJP“;%Bux?b_{ƨ}=i K:Eﲹ{֝d[ec,<1$(pg;"43>+yI&'d6;=e>_+fD.؞3:6C鏢~e0E5FE-mL _H߶ȀpeXɵZ˞lQG g3mԡ8Z; ULR+#~xg8u[4\G8ofr^@za"2$jo-e:%!HdґjX5̀еjD́q &C'(]8 ˨\KpPb}N#l= ;RL'.DoEN YMR#_+%OG)mutpb `\l9 XC6L#H%x⥡t2\]ArԴz绡eo*+@. #ᎎ`$]ɸF򚳎rYF %K59 MV43KݬiR W$NrI(}3 O"+{Q}6`~,2l"o`$4|8=M^SGw B?@ϰv9 %_!1*j6|9=,ٽ6F%l#ܸ^~҇#ER":E,o&PBgKJO5%p]@yMg Fظ:>n'N;CJX\SS5dTaElf}\Ijc> ܐ{T%8>TG(K-3nQ1 Pp{~y0q=`Z&nh-k?B om[CJ2 "x _j}wyvٜ?,|FVZ֮%EBi902B6-`"):*xJݴ2i3,!/7O"o0Cu40emNs>+XꏃVˌ`9nZ<~IRsk,6 lv˱"kB+IQ % EV"nX`d<˭짆f z׿Аm%q]rRх #*Fw1ȹ|*ɮ0Ŷ}y!qvPdH9W0ǃf56]EpZmj[v8l /['IfYT S} CL&L~ Zq{8WR%ԑ_>rkYb"%=14 /e NS;; < a:95"|c1|;A6{wkƔch>/YC-|zD]4G2YP"bc/z  ೿")~Y_Q&4Y]>ӎLl5ߎ1"Koy1Hٴr{a TozKt*mWBzRZz̲50\+$„gC $!ΌM.¨5 9A M}EFO_;u_߼ `pzD1&_z7;p{._M&EH0Н|q$ٗEc4h!u%U&pFZah]MB  ͎DE2*j þ󺶰-Y2N%骍R ؙ}kKk; Xfe ,Q`ɟ^U$Ǟ&[xMYNxJm) 3c6(ޚĿʑE ʦ$0&ߐeȖepS~E]8!,0!Hg>PxfQB ,9춵T/4K)o1IP/mҸtvIGC,m~tA={|IP⦒4mpTrQa瓸2+UgA/+i h#>Nuь F]F"nV`Nx?沈M$`[AJQp>y5oc9&oW:pd *3g]1@dd(@hQ$RӦ"ɓv> ہ]߭l+wӠ$4|ߨqw\1 ]uj^NE[ZG+Wus޻dܻ@"tY,i.KCl"q)d{~Q"lN^xY py DiUˏ * bnEO;_gO%y;^cHj, -m yY/Aȹu𴰒8O.`62q M3A&:hD?^,x',HFgY3n7t5^Ŵ?aelslru|gx!$)OY/hM̉ ,\ʙboYȉM\cl+P{ix*69r]`(<}2أ)bKZ~漓n˂zlqkR*~ t~M '/mWLD޹[߻ܹt2WِxEb`: R,=HEM[%;˜2vOԭc|WoEqd=Ԅ]J-wxcή[a}QrzQWoB3miዃ5|&샀iö$ ME^d8@GauM:#f\NDWK'ӵ=LնYH"CiL4vŭ̗ZB ={Ǻig8/<?`Iav _.Wk9Փ^,in<:npIK@nlGef@g>e"'?!fY'ߨ3NXb!ٺ{^~q5[ԁ+7 #['DU p5||<*DŅ]`"riNX҂Kd#k-5V竇rB.aiWEi;%YWɝUb^m@%*c.qp[æ,U0q`3^LKd&@NoEHr;GoA jݫES nn1W}X9ܱ5' İeU~ںypӪ-hd,cZguNW8ld#樹FS=V6a)- J0Z E𧳆 +:`ip}59OJY)}K"?[ s4櫚 \*fם|u6K^F7*g8#~I:Nl;F$ȸ` ={d%+AJڻor1)oNӫ;FŪ;3Lֈ^*,-ht* 3fq%L ~ړ_N^hZK`瞐@c Mʙފ u.8'm~K&zS iԊ1<v%̑OcaY p$R"`ðٓWH/#_absǯ#|oW[=KG=,-K Xَ LC=)V۝~B^0E1T(yY]@qe7b` xe$CG hCYk5H2\c{E vО4`q_9E13=>wH^oSg{mm˻+'67Þ[yb&0/ק\?\a:ypşCk 5ĴC hv|2;*5ToْpBBތ&v%4ӹd<]c@VP//aL\߂gL\Ј<1w,MgA$H=[(ID(",Kv g\^пIН{*O֙KaD" ԠetEB݋c7#eaݎ!=z?yL4(} PjeݰlbgЁP2UnT/=qCZU[WE+=P3f|3gWS| vՅWqo9¨wGG&7Ihɺm4{@ugȵD>6_O8MIoѽӯ9 ܿlxLhy|?? ,;.g7f(sx~6GXП]=\P^aO՘4p:Z1ES)&fBElYU(U W4S]K"ڦJn:W`sWp+F;uk3*e+Whxt*P2/OQS` դeNO̚MR G]yHw!h3 If7z 9>506׆nB04Mڎ3aoO{^nDt5G_䎊8}V]nSziǓ<d;XyIv2~cΖVќQȅ?}Nwf/y+(Cqҏ^^ W=8}FGnAKg2Sl#&#ITA{HW'B VK8R~hƶ.Bھ-`?S۱ď#3=+s^L8oW}L[u!-ܕncJG3cqBdSW-Lh$-Pt'e((׳Q~?Q J!vK00Z"ƖOsSTÝ RyX fԼ\هu23M*/<–}|+CH@9(61F8%2pz$RRB,X^3zƨ*n#\Uf7ؽҙOb4?#ۣ/&CF.F*y,x( 2\x>\Ó\`8FR) 7R( - =d0jKIT1{Gjgދ?z2dIfmuQN(zd=5:@dv7\gǩ>{pc䘎DQhHu cUbʢa -ʩw4mxaq=x#[*6 ɱt*Eg!EarFY Ve|0`\|6}leyhH|T@L\s1Ȥ#ODr3_@/hR9.t)=zJ-?*i6yBzkuX^9G,2!mN[a.U*߃i"hLȖ߈%fR<Ⱦ %#fT_XD\=nmfG:Z:/8νv )H:_I"#ޫVcy7plWN=*(Ut}7Df.w<ݏ3IPs("6jz9{>AG7,̈ae0k@\jB3#_c0Z+%JI%cZF5B!P1һu}<۵ ;H3n('N!UekGkpA>v ;)@x\  yE3܌%KZRx O\z1_m&HX3T)rfGV##.㭭,Om֫N}6ͩux;Gt ߭|UwY.!Ee'k]HhqAݭ6A;\x b߸TVcv02~ItRG,ua}9I/iV K|| sT}\ w70;Uq At)h完 {y'n[\'ϺdfYyiL Yf5~q,1^θ@%IB'#< rU|]ԀrZeE#qwC2l\O1dϞƘ/qo88prӌsZ%cU[o ()e="x$·sr_Vp e8PBjUC3vIMSJVׅx/\4, |Ծ!vb2Iez"pY1M 3LWk5eND5o,idމ}e|:MUjIǖOaK6w*mjpjS¤>周_}G?-7&ESup ht⸕ոCEVcofƀ5q3sk_u,tuqUcbQ}(ã_ਟ&w_{895+_)J)!.+I{ִ-8N:{ *@8 wod˺켣h0pl2e@3U>@*m? 8^ vdשpbn_ףv'Pn=EKN H;1@j=ҀKڈۄ%gOn@Jو|= R@OxTִ*g|W0z,~+Nc<"OŝxU@qvy/P # :O !@ E?=08+MOO4NzHD,@m{G]iW7FUK` b!l > dJfZW(aJ9L^iC$eU CVX~?Uwya1?У"xv4YU-f8 J`?L#tw6tIG)ˣEoWQuZ#+eSf1 o%hsJL~k펴ކRW ǰĹ"[-2?J?%Po-Dz~Bi1Qcs5b)p&;j/bZ/QNoH/*Jm:o]h17?X +l"@鏞ENkA|+kfAZ;7z*pl3KYb*#e[Rn%e5ÿy v5.[34ӶN'Np 8F#EPG 1k-Bs(jDp5J=,P7a\/;gD6viZioeb}G0%"iC +84JeʦmzMcL3%ZܒQuDVpK0-|~椘cKSlm8akԄ2HKgM6T-tff xb7i%TRAHj+@#()ɂ]sV"0sHRŝ.g䲀qW؝EY/V"Q&45w.Hk13QmO|4w6K!\ϓW)E7͔b(nySl;hA֐HPCumv#H`6}^J+얿T#Zx\[8~M~}Z9SĂUdDEl> KH͒& s D23%if,~ɶWm_n 6?ECE*EU1Y"ݫ |ހ٠HoOHmV n,kJf9ot)F]&gn.|w5oQ\|yë_,4+3$Ç{N< PXYYqO 7(5g7!fH”"Chg}epP*КɿhaK'f!wACboc2?g[9]!W9=W@*3To\spMRz,M}!^Hƌ6Pj}9% =(D-+: n&UhTi3=Zt{"OŐd`d+Uhm(%%N :T.bÈ 0z+i Ol`ڈfĩ 1g0?{扖F.tQPY`}R]}3#<4EP\n*⏙ z0O) Ka5fŪ#^ `qGJnԶ"ti%/U1m}0B]3  ;a-,dY')T%~GFagXpBϨ붛-GtW=MFh+ܙcX3!6mSW)7@gBM .Ez"iwVr593q0t@{F\-;:5 uPM,wN\-/^}+jmP|/קoQjnYdjGuwx0U5,6/1WŴrW!9P\uj[~IźwDہhFbd: r5š~+0}y&fY[t zEIעwъ| :  z< $G_2uWܶӖ }8Mf (ԥބ|k!4_IHy)svzKtCOm(]@4h,i%&oL uʕ3BsMhFAGh% V_r=~3S/׿/#o5w^u:ҏz2t&*_i&S)F(mr㏃[-OcD;>@#uC^k¦ 3D8Yic2%JF6|‹蒩^ “}N~lÄJ{_cg6=(&*1 @2 YR4060쓵K7@DV7_*f+t]