SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ))T7 D ]]Pre_Algebraic_Numbers:threads=2elapsed=14.595cpu=25.328gc=0.724factor=1.747zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4sz=)ϯ:536L,~jWJ?q<Xr&  g; A֌db6,-@׀A(>>N;ǿbAҼ`O" ¡U3u-7Jzmv`>NUwyIg{4 ͸˘Y'u]X:4rlS&6E^Pe rNyG&؟1A]8[#YI}l1jT0$ǑZ^5ͨ2?hvu%ą7gYZ7zXZִF! ]ŗXiɟ|E\ÂQn\F]㧨aWطe;-jC[ y畤5nt1LΖ8MG̚kcs>e;oTfUHa\'5OVb`Q$Cc(CCܙ}99Q2E"rZK5PO59SMC5/RI$Bƅdk:kUTv(gYZ7zXZִF! E]ŗXi%;zM]:[cTsn;6BWp F⪵:Un|Hu@0_on/y oCBc[6Q0^6o_v]C<6zwmQaU0 .qIQk~IĎ?)I͇-~SӪrzyaZ_U$1q'@lj<뉉#lmA[?z^ v>ƴo SSԺZ" R18~zk*S81G~p> +nO/*Y גj\u$d-"6z4%I ""1nrcm&k_vYohwj*".2 jIddF{Ҏ(%EHAErdcXOnY Li10Łxl a[e<)\܆hN,ZrHٵDO)_nJ/_`uP4cC;5E$e`$@A6akl4,&^=;3Y;ubqO GytB~ێHb72sL{ tUb?Icn}(Tz܂ Óc5cc?r(-/.]<%X; /9jVTnâmtuGYAr׌[uұT`i-1mwY<%>U3ܻ ^.I l[EΎ  H1U;D9rjV@ݛ/CEk”;UKq\F)AG'agU cn'~ gu"j [{6bzI\OqG㘋gXƽ"*x^Јy6ԣ7^k@cK-CǰȝI|#@Xկ%- _v),s:vIG웊>n̐zӡ!{`*Zqq mR~]E/:280? 9#"xi`3CSx]o8\[.#e:0AQKf`NjIh-S' HeJAK%Gfg sQ+/t㓘aӞ~D,1yxCHVVcQaҠ;xU`@soq9ȺCd?0%ҐVQf>Zqƍ v[W~ ,w~m? a7u/U(^/p5C,,8w(wmm,e$,sO ljx8;ʰЉ8RvBQ || bBsc1ks;^F-觋 Hprb!C`iB!*nAרtUҪ]J$-3=UuXpjX?7H1]6Ln>Giz!:+>U ҮZc={-D|%5>*j󙫓; -owCWi{pe珓.-2Z&+,9֮?T% ty^:9yH)v@Yh i>z|y3i4VOqqqur[_SUz!>֒x磜Q2g5 ”q`OZzQZ[˹ =yNfaKE#𰨹,ǒb.bJEonS&p!kN6V6O-Y€Ҏ9ԇC  vU7%'t6(& ~#!<F;> UA#ek=[OBY >Sϡf`K[ wKO֎֒o ]m>`F:Ze- GTQ)F ,!V$5ݞ)m3U=uLP2JQT5o+)U˅DN6Q|Fsǖm<e7_vxv{7AbQ]hΌz?듼2'pwKTxŝTnO :uށ>IjI>C$SY8a5xVR{xLx~4}MӨSu;mM޸-^F']܎8; [cdX\@4wAyks@0_]\,1t/c'\(8bfd"AlԂgr08~k̽ .e!S=d-_"d9m (0X+.py\-MNVeLfR8UDƱ}$%dܲ0/RZnMЫ$-B<&U)|i _*dT^e]GBddbaIJu2Y@L=P5!7 1V Fϒm ]֦L8z@hG4kRHwr05I;o+]3+*dB?<14WNY8pNcE7)T[@kzM(CXSxUMlDf+vnޢ #Hn74Rm+2Pw0ǯ^T!^Hx!/.jݜ<0GCHZntSqY]${%Fs_@n[i,}+Т疭foEl.^Bm:QȨE[R+>X*uדogFNWUA!UHNC庝rXtF=b9hLB]4Pղ,nRy)lu%c7.n*R@yw,_NBe.}5dMcX[?ه{CN,g]  KPjFF AH펂aՃ$l~+,m)2@%2]ŢOZx E;g VY7贅w\r'5]y&~4m~9B_Lt}$ΟF*sA'ԐNI}|Xpv-x/i4YQ:24n3> O^ԴQ&.Y\:#3!*v龦XcHn]YɁ̹͘D^(@P<Z` -9:d K1ؼ ~5]=BY ~Tqi|4 k&.?m;EBZํkbֲf,kC1K]/T ?O.8=iIqLè<㓄Hٓw517{iGrpxX0q"1b2(̀ 7f23TiuĵeUU#re4z1I{7F-FK7s1WZ>Ӳb֢=.hSەubף;y`N+&NSJ7r 6[fڼO8_~z@ZD425/>*N6QF씎k]& 8~,_EtK%uӄ0o Ț3 d :+|fYļDoD?d7t=^/̄үs"♛7N7S-AmJ$ ug,4qīsg1˾Z. (؁c#j9orԤBhO-)vyJCHH"wcɚ*e;R\Hg6fFHr\S&#`lyW,s ޒ#Fڀ0y_jkJYVܐ* Tğکgo Jɓ&kSE3ՅFfB_enʇ'/*̥j!)YDH>)NsЛx^H/"rQEx-r#UFak4ø1&*XA=2L7x#.NE{ƨ=!sNGI~WWk Av.J|@ %KbaSz,֤d aFuL{h.ϫzz$6.BHx3K);t}7LpKcKd 1n'p(+[0D:j{g)Mz.tsKpH]H)͜j3[Z58!vcHbxp71뾩@kjކF#^aVEW<_RAdBIRE.)!2mBC'VnFKr1foeyA0Q|Dpk:.趞EW4| hglƮDn9kJ]9ChHZklLd4rڤߙc1gN'x)ƻn!*ԘAXES.a5z쑠Gcԁ*mF7FXLƸ>T=.B 5N힀 ڇl~/48 < ,x6GZh" q)2}⋀vLLSkFL*|\mr`U)ŷ uC,Ēs0*347_icr 8ZOrCj=G*cR< :sGpH{FI.CO c}360c?{ i(pf1kෑW:R`ݬbکz*Ԭ=.CYTg15rxQ5{OM'Lr{/ۄz\DR6$?qE|a1h;G2<ܐ\ 攴Lnj <ʦ`8^2m)>\@H=xsD`e\` :XR^UP岰ɳDݾ^s*~Dt4}qhaG ,73 ⷓj:[Hj(R"ZeW>Zl/DtAxc|\aLL2yQ-'nh1bagnQ@xIbCd x`3[ ˭1k1yw爳B ,U#Wbju5bO/ʣ$^JщiJĶ<- wΤt6ʝrl"g+Ӯ7}IhOfP\+=SagVu2[ea`>y=wΞdQO"W ߏdLjuu1LN%ޠR-(#p GމM4_&疁}R9);RPV8'q}_" /?bWΧtv xǑŜ$}:Q2?>VIAeYf p|8hM5'MK#(LȌ<ڮw}lʳ Xk@C h;w$|^&lȼd6P&ܜQ u'5X<"G>Sܯ}jȵGKikx4XU ,C|Jxnp9rp.#م?Q=ɖBii4='!0d 8߯mlWymLo#Dj8S,z7ՠ]JE].D:<Øm=UR "Lr[],zcUy+!ޒZIC햘yqAm زb EmM$jz7-Sh0Hg4K%W%Xw8+]POQ9LBEn.*ϟJ9[JT GS4kf:pJ.6>oEneQѓ^]4lNx`Z"XSi0{L,sbEv"n.\m?~n]I-Kу T .7X>$U8;ԵK?6^vZ^nWcVz>ԐDm Q۩]C-~y4'=x tyCf*O#434<2̅`l,f C33K5a1/4zأi9yÙfx'$E"GޑXsbg-$Vre#j`41;VJ(g$"9i7.1X,5u[Q FZtuT)μ +GB joUг`ڌ 4>v{k7kUK˨Mŷ[5QD3<[Dk?h,1x;k Wv"NFO7G _TXwww*wXڱ=W{+ʴJ"Ž/Jp KK3gX3 % ,T5Hr &-XjU Y2CմUݓ*m%ޚi^n6ڼDS55}Vn-*]Ia$1$IBGoH&S.u+w eu@Xl$)i grU!ļL_!lȆ x||߆ Mu1zغz*O4jBILcA mKD=Xl1W՛| G}u8vxo0-8+_L{{5OuuiM.4RLD)Q{Rf{pfWA:cTM l]Jrቈߟc';'K秲P߭ ĕp*r#)R $J)nXP qV#iN0V;?I<ɮu2AXEKB nLѭ|[p᳟Al*!)f雏 ;؄-K#tחDي$"r CJ#C`|Nh+:"4 dؙd@MVz*2 |mjW) 4J[~ƆJ9~aNQc+yFvuH=J .>W$U#ЭxPud9Z\-1 jbRv2԰JӔ4'WP.eO$0P0dd%\"~?cho@;Jd @.,9cϿh~m,t (sUT*jq]M#Nrn`gn_?ܺ3u%/IZ))!n&o~ %С&vW QjuQ2兔Ƃ~U+X%U|G ˚x2b'_[֛(WcL X3ޟrin̲&d}ù_$8gSljmH3Cۛv}ދ&~1@rIw;Rf>-p}KoPC_Uz QQJ4idLmǼ_]Oj4'< ;(nZ>a(<G8Q%GNT@{{R*߆~P= v$z9J  CbO1r=Hf?H@k濿f3R3%dϺBƭ^1i9NQLx"xoa~()g194p&S!n d* ^}}0S,=jҦ9M l?& fɟ"Ur7/ۜlqxɏ=#?qQ $66!S@ -c.=+!퍹}#U%HʱDnO"yRI_:'d qe_VHu3ڴgQJy΂i{9x\{̴C UCvNWT|PCf}ƺ4=_by8߻:mN(`t?7a3wG{&u/JhDgiWdӐ}ߐ1WFfήq`&0 " Dz"؄Jx:>M3:T<k<I>sԹ@z vqJ)T4ݾJ^"?tz3~cs_!TKU f|2 onqIe|x-ho۷/>8EB0YݰAIw , #y GMxϪHWz4"B؃煔*45zn527S{Ĩz c) ҒB7$,wşV/QVѷ3v/3>u@˶.wU:Z׺/Q_i_>Fk/Įс]Hrfid/20 %\ӘZtyzvA=<F޶$g`?;!1an]o pOgA%dh\)pKC%DqFRYw;u!e HU.FW0S8mI $W<hMlSx :6.͚qd#]C[ /Kuo "s|oq?h'|>"sV:,^d! I3D L}ArQ]}txht9-qp2/g1S|meb4K /#l8G-t68b%R%O~ dUhf[>u]JgAg@ҷv㟃J'u=2Jk|7SBW-PI>ϲnwH汭!>dƂM7DIqNRut]4~a1XzV\59GVК@dwN}_ිIhm@ z}TO;T[tP欎?bq Œ0Үhfh^{5E4*,(i0vHvJ*BZپ]P:-p H?^ =sTDoQ;(o}ʢҮN( M2J#sņifjn|H J,}H-94݂if,3w͆uB<ԧ&:-׷oZY .lَ4oN鮛TOx>**>L`E4%Zl4_HHӼ-(Hdkxr^O-t 'Z0➨\FKDp*Dqq(D?S>^ΌJǝdC_I\V]V~ϜZx4S&"v׿|x(xb&Bӟ;2PkaVO;7|t*ʲ"p$ K"|+8o\0\AZ/?[@mGlF&L:UF54mr{CbU](ѾEג PP+NdH=7=*9:p3ߟSߠ4O3~eHHVo%,"nE7ɞ3Qaݳ]\ZIQ.鉀$>?4LS}w"UO Sʹ>n/'~JׇEaANk"V+Ɖvq Gr`eQ=}Eή]fY\fAwa(/zw J^r˂iv0&Ub-dMb{fZ;/15'WYg"!whX jKîQid A4Kt3\sw Ýe7\gh?,:Ʃp:bsׂ=@.kƏ?Ca<'G[ԏU[qu5qض֧ErR}rÎj0Kp.kFfm::Y/Mʌ%W;30#σr~wP- wr0+1ݎM0ͯIzҗP9$ *U~̈̅dU?K 6f< )`Rm:r_cKwۚ"tAן(\`u&Bm?hˎSI갍K2V;J7`0o7O)aE>=Y>Ѫ2dS$,ScLEu*ϙb Y0-^%|؃"&\~Z_->2s?SMeMHd{,e:@.)Mqo/:ar(\U^K5MKw;Jy ,:~;g|GK{m +jx#Nr=vMovϪv)6Cphv$>igZ@~raFpg.e)&zՅusaM%؆ 5"͊?)̠--WڻU`236?TBv%iO$v3T"ܒ5d})2} Mi#-= OPHДbR(_cWNE3m.yibyj ~7 ,c>f+R*@ğ(,})q.!w36?W)<֟Dy !c؎ְ8q-q%աɑ6co&m:{7ۿD# }XI-s}8ؼggÅ) gۡj%.oSA{r$ 褂aM+Oin׸dGZVd}c 12h Һ# _D ,-W΂ڝ dVw׍?gUEhy_=U5D= C0 QV˄j:߼dĈ!`U y\)3?r:Qܝ8xl薳*[H"yF @, 1;Yi?@5Pfpt)r.(<݇ǮXA+oyj1Zaq<#=C5CV2ʵ5ޕ.!igNuzwX*:Fqqe3mPX2iEC+tb ,ɮ@hzi?PhOOΆ>YaLm}@Y,g%Hu+VGTks߯ř".5#%#,F- rE'mlvYiUDL7Xf.hE7jѼ'BE~=u9E/ r"t5FcSWJ* +^Kk-B1VS~e֧ Q=st뚁\mġq11V}U␣+`)oPlUNo^Sn C!񛟬C5&*#,"0dsC,à/j,9Cw+ 7z*aw@R.ad>Rcv CxMGC&2 EKB;U@ 'uFeΘJP--~DWe읖g=ō0d +CNl@5*MHֳ|9Aؖz&^O҃#}-Wn9ȩ-~g=rnߤz59ױgYZ qq|7K% tPre_Algebraic_NumbersSturm_Sequences.Misc_Polynomialdocument.tex7zXZִF! Y<]A-MՋhvG"uIBm51FbhK#|Q}Rő_ۛ6W^eּ]Pub~θ{etN;H>@A6akl4,&^=;3Y;ubqO GytB~ێHb72sL{ tUb?Icn}(Tz܂ Óc5cc?r(-/.]<%X; /9jVTnâmtuGYAr׌[uұT`i-1mwY<%>U3ܻ ^.I l[EΎ  H1U;D9rjV@ݛ/CEk”;UKq\F)AG'agU cn'~ gu"j [{6bzI\OqG㘋gXƽ"*x^Јy6ԣ7^k@cK-CǰȝI|#@Xկ%- _v),s:vIG웊>n̐zӡ!{`*Zqq mR~]E/:280? 9#"xi`3CSx]o8\[.#e:0AQKf`NjIh-S' HeJAK%Gfg sQ+/t㓘aӞ~D,1yxCHVVcQaҠ;xU`@soq9ȺCd?0%ҐVQf>Zqƍ v[W~ ,w~m? a7u/U(^/p5C,,8w(wmm,e$,sO ljx8;ʰЉ8RvBQ || bBsc1ks;^F-觋 Hprb!C`iB!*nAרtUҪ]J$-3=UuXpjX?7H1]6Ln>Giz!:+>U ҮZc={-D|%5>*j󙫓; -owCWi{pe珓.-2Z&+,9֮?T% ty^:9yH)v@Yh i>z|y3i4VOqqqur[_SUz!>֒x磜Q2g5 ”q`OZzQZ[˹ =yNfaKE#𰨹,ǒb.bJEonS&p!kN6V6O-Y€Ҏ9ԇC  vU7%'t6(& ~#!<F;> UA#ek=[OBY >Sϡf`K[ wKO֎֒o ]m>`F:Ze- GTQ)F ,!V$5ݞ)m3U=uLP2JQT5o+)U˅DN6Q|Fsǖm<e7_vxv{7AbQ]hΌz?듼2'pwKTxŝTnO :uށ>IjI>C$SY8a5xVR{xLx~4}MӨSu;mM޸-^F']܎8; [cdX\@4wAyks@0_]\,1t/c'\(8bfd"AlԂgr08~k̽ .e!S=d-_"d9m (0X+.py\-MNVeLfR8UDƱ}$%dܲ0/RZnMЫ$-B<&U)|i _*dT^e]GBddbaIJu2Y@L=P5!7 1V Fϒm ]֦L8z@hG4kRHwr05I;o+]3+*dB?<14WNY8pNcE7)T[@kzM(CXSxUMlDf+vnޢ #Hn74Rm+2Pw0ǯ^T!^Hx!/.jݜ<0GCHZntSqY]${%Fs_@n[i,}+Т疭foEl.^Bm:QȨE[R+>X*uדogFNWUA!UHNC庝rXtF=b9hLB]4Pղ,nRy)lu%c7.n*R@yw,_NBe.}5dMcX[?ه{CN,g]  KPjFF AH펂aՃ$l~+,m)2@%2]ŢOZx E;g VY7贅w\r'5]y&~4m~9B_Lt}$ΟF*sA'ԐNI}|Xpv-x/i4YQ:24n3> O^ԴQ&.Y\:#/& Yv~ԸOtɵЄe%XgL9(^zBKhn:u2^mbC7 4kW]7;E 9H0翩)t UgYZy77% Pre_Algebraic_NumbersDeriving.Compare_Realdocument.tex7zXZִF! z{]A-MՋhvG"uIBm5XJx]4Ź|:\dB`XN, Ogs 7T&$7](& *xp(@*i[/*٧Em9}`Y'>!E=Ҷ(g v^? hY5E6Aq&cugd,F]oѷ'Y\Vбoi8Yaii1ƒCr3qc{jCӃ%$ "7]B8\Ohd ̀ L̨ϭ-OkvL fHSq uT{-;blh88jA2Ǻ jcYW,+#F-e Z棁m䫻Ӣ[Fn.+|9i*Ef)Q煌g揍@qVl-q](#סF8O_Qt|Y9]r)/ʳuTNSBQKj]rP`eR3'Ys!e 醁t(ׁӋ%($18 g=  Vj}5".1l#OFgYZ7)% TPre_Algebraic_NumbersShow.Show_Realdocument.tex7zXZִF! Y!]A-MՋhvG"uIBm5ȣG Ќ}ny/OZ7nO(Ή]Kfolܟ+ea!XZo]`gBbf$\Y ErHU@ ^FsN$m?;t\oD@# _E1zAWҩ`rϚe bq%KĹuDh ,ЏO7.5Sr I.3'";Utׂ\١VK *f 4\V.ZA:rFͽ54(I66^fvxPAWK(fO"VqݓXFa^ʕȡ5H)#)\:, Qy]@_b%J@#3!N8RZҨ, xh9߿O_ BKL?SD%}hTrcB7&vMg^q2_ԕ1T0%M+9dqiȓa|O*ң,NT.0#7x):c{ Bz߼˓=d m#M}`'b ?ȰʿRmǂjߞ݇Ro9OCV/ueC7fz= U!<oB[W|Բwg~ ǝoCƺKKQMOPG o^tt*[@VvOC0 IЍN=A`cbj:Ф|z{6#+⬡eH[:3GJz+n-c5L&STPD܉PKm yr,N8͆>,ckMs%nُt5j##oQwܦ'Nh|xVe>F@hG}7vA0m /s_Bl0;LVtx͒C[yb[:j쮷ZSJ}_h/YGƂ~Hz*ÑOKԯ{ilRn&eG&Eײliߪ@ӒJt3LwѭXX!C*g|n'(S:w]O=>i[=ឧ.iK(˸vPy`IsC+6[zF ݂%b^ 넫"\#O(`q)]'=Ll_eJeݭZDHD on s`#ɓ_Da y]5mFYu\ͼ7Ho5c)yp"Avu m,zKz.7<E׳v'6ƒރ3Iø+/A|d^6 +[ gYZ 0^7G% @:lͳz@N>KY[%/& }>q,dITr0aVPP?+$b}Y}`Ԕ@VŦuZV\]z _&_ak ǂX'dG v`c܉C|( ݉ia Gel}'Eoys<-&Ap;4u[)&i{SFg3dO 31 ]%,+xE@؍Ij9jr։A#Jiu&TxEZ$0(Ҁ_mlx3Lt& Obr`<wjwx{ 3nփE*EeGOYJ-02s&}XO]n", 9*o`f8f`{q;{?/ZĪѧvU _e8U{Z[W]l9,]ߛ"4hU=" r[l[ߒaIVbf;;CԵ(Z !iwT [͠\Nv)D>k5l9W| 0#ؘɄ+$ Fe_sK q"¿l#*)f: R#  g<.67v0v KNy%IoKvvmW=UZh?N>YzXr5'ݴX82\2v1ǘM:1p\.F,.ITJa(-ae$?5'StanY*B.{@5Zx:[l~ժ\j}b6-\>eUVhRh\YK23!o!cGZjkYn饛TI3@ڰ>.1I _>%\C>C=vnjhc1 ӓrFR@>],i5"U7gMOzЀvM|J>?k$uSO!Ru;wK ÂvY331y)Ht/@1Z'1 z*i[J[ww M fETXjFUGm/D/v =ݍ'Vhhs̺y0#64HpS1PCEzH#z}xU^APWt_q@+Ӌ2w|)) 3 v8]nL$ hYk3eb ﻟUT ۶{ ,/YdmƜ t5{Df~x6"L]x8u:灗J̚ $TPBkY",8* ԓZOމp+Aʀpuv/\u^8u^;_♮ed` q+`fn$ NL<~u 46[gYwZ06b,2_*q <-,.\%@PTei?~.+M=O>؛3W|,8MyH}Pe7#XqE[^Wu_vIwި/6'Lh Lsv|$!w,|W '4Yx?FǕ*tTL*1֎Gqk6"?]Uy[E-ap.c*/{)Q3Db @xux7a 2E!hr mm8~vOA#&PY%>uѩR ),KoX}PZQ3ǸA7m‹{*(cj7ٖduu턞C< zH*4-㿅=kBP|^<o, qo9uKsgloDlY#zc'N)9sIW GďtVU"y[dť?;mH1(kSfV!9:2_̝wS}.WwCCհQ^ ҾU:#YǛ)G""˗;b;K*+XWbi2WH/wg+e3YHtɳ?ĔA -a#r%О'tc)N4#W3o<>#5MG/2~ށ p%61 Ib~C1$\_VjMU:d"C4ېFA vg7A#icݙOێ?~;I].psJ >`:i&~yr5\g6BKpe4L1I ǽӉ5E4GL!ϛx/d0qo@ 7:r;9o, t$^<9O˄5vOϡ3c#̞Nq'py yVS2]}%/aE_jg5woFIq{B~]4~9rl] *;p;#%ŭc~q\rF2'G`v2XcQ[x.rM(K-&ֱÿʃjOHӏީ!t>9~ @}Ky5bGܞ$k1)x $R 1-׍t$y'&>4 "+U6Q(I#j(B?b/.2+YaG0@GP8~g!2/AA$W qp 7׶Na]"yXMO #:9B7ڔqP%@aHƜwrS^IT(7{Z%NHN61BSp9 F%|Omwa_5T&#g;>Z"] -|N.-h҂ ^et)/cl+sR#pM$T([q"Jq\hʔ¬5M違+cq/K6A΀XLQagCco$`(1c_bw="@lb~=Gfz6DDcOB! 7ﳁp _l\TȥPaDC hϥ0OVW_h> } !aغb3旯z̗$.WA=PMVz֊8}SD݉~;{:[C^9H`^| (a ʍAzf8 FR+y^x<L74V6!-&b URms(*sM,Z@Gs`U4=i p)>0!2IR[-e6$ 4h,+'v S~G0E_,pgrr5bx (Jc(綡/6b0ǩV5Չ55\4sn8/v Ndq{D#!$ˌ=MG2IZ!4qr$:7n} {vҧlXK|eR*]i t̷z0pԳ&`1" {Ht /H6>wW \l6?PF)u} jW,AZ3NAG1-W>7,F,Yx`ӲOs4cul6M-hW+iWp~F+8w# ;yECpE,~Sf\἗c⶯vPl(EJ A]F TMw`w0F>O?7ڴ3%Yf*ȭr0~Ћ#G XvZn/d*YZ)t sluXL9ݱ &#6ׯpٺ"u^tB!ͬ{5,6n[s?}0ep , YA:n6b | RXđT,r+Pʀۂ|d- lai73~c*k0QM •"m x/U ylZ}2㦢3kM=caㅕsțázO-"xiJߟYgFRxr%EYQ˘~+u# ߎ>{tbTLry+^s5.w/{ N8@~Ё9Xkb9t>6;03'- xpaƙ8J$y~]Y3Vpl/=C%7ipVt{$%nael1NpK3FQ"mB|;R]sл6W=ZKWx0?n;TM~RT#agrTN;2r&<%Ar.dlGs QUiIɇҗ7M ӵ_}jq xX{df+g9w;~ǐ;[3ogx˞lG"($8;?3+Ve9U{ ϯrbUưUV}xJA/&. 5\bwYXno챗f( gϺcj= X5*i;5P־`$ԹSeoMj)b3 ě.òTbwYT[uEMIv2!dzΚ-[0Bظ/nԨT3 7p? Q-[J&RB)8pM8}𹩛6G 72"17&4"( epNx|D[pz}Nn$ v\k's2X_uH[(ɍKgcx Le F'90~zj? OGw7oU>d:aR]u"`׳\6'g:ֶ̳#,?U -U?L.`ހ-kQCo/OpOPkռ\r35ZndY.&H_I=ӦR].er%)vgYc7h6X9VmmLhT5IK۶-;86ѽ'_lyjQ>Y =rL5M$1p٭Zȯ[ǐ&"B JA*ӧ^Lr@tב}ⴛE Ao򛚎njEu|#g::pko*̫t[(/O 5+U_uŐDf觙Qe]Jf s\NvbV; 80[~:rUg%e6"n@) 寘 kĊwL r#B6 J3(1kn Xw. bvJ^w&$=1G{Y~ T&b()(GIPkVW F=衢.BA[r"Q H0]ZCx1u[L,Hx5șLc <@8c~"~0Ex 8lHS(MP%(@zΰҠ.&*JPcR6H_.ٌl=wք μ?t%4x{sLuT;58T,Dw@ UV,HM&0kt <'S[sk_qC•d[.̆]xio%ZrI gcQ&崎iUB?V%\`kJ$!I=E~Nv_ & @b IJC!yG4[o˼7j/*ƹJqFlT࿂?Il5l̛2)1Λ\'p, u뎰.$.zy|vÐV+.VE{ o>U>*_< GR871w7fo0b4'ҍZPxluQ*) Fct6{՚,OcUTia0/A7\*\BQ"!i %]#±{ؗ&~3+p!љi/þ"sJ, xdӆ5AfK v5l; umZ` oѐyT>x(ԾÚp~ ,:p\YX(r6#&ҵSY^nX!@ęfC̚\YabPϹBfWN<24#P*b] Zh[&Tj"z|r~{iTsbl裐vaO A7 ?p_PǪ,XMTF)3{kȪ€te 0A9}U o~VS:G5ݪi0tBŔUߗmT|Jg7 57yOdWb҆dݐ%'P:0=細G4)+K 'LF@w6akԒ S!7m;ٵz*ɧ`n|2IoڴTn+@(@mYNY;x6N,0SM$NwklU:fj!.&Æ`[<:A$Z3_h_k=[A%@Kyą1`gDK7ϩS u1($* }_V֛%i0C G].uKNU\VrxR{ݵ0ӻiRGC\6= hHVZ/n>m-< h*J;ڋ#\zˋ#Yh-粝[-vtUŢJE|XWQ܉UxQ|oj}˙Ѹ]DY8j &ɃC' }= 8UT#uvG=ٺ 7RxT2zp*_'CnᛵNZtH徚u|w0 n WWsESNF,ۙ% %%YDBNq3IKp+7˕';x^GN 6O䔬2n\iJ ݰ }cN54|TV@WACb5z!Q:[nV]֍q ěu7[t: utHڬoQFD(mko kP^gb=zi 54V*od\;F~LCOub$4Au4#Sj*VA47C'9齕wKYQ?@dkQPNM:PIo 9DY[q2]#YlGKkcN QVܺ~taI3/w域zjZ%1iqNB(|ÌK93`)PLj==R? $pul}8Vջ,wۥd_!]k6֥DKNB!uGw"gYd.~aF, |c{آp*p4rMs:B C4{o#iL?dLHd&SԤq#;'|+sg@)6.F!X;?S$k9JE(h4!77GqK4ʯ2opAM1RzR % TOqGe%w/5@FW=,ajbE(!/s*{/阣往ޛ 3Уh*L('vZM@#MYФ"@"t _HLCxx껅8M?A˚X}eH Z4u-˦ kd3b朿f)hY>Z8҄-Q'IcwUΙfMSamK(Iv[?9Nw),f!b!i.;b>{6v!!OePn|"}vNĻdI ]y bڭy'Xj]7mG'o;5ġW Bb y=m=Am,{R?[|AHXYGO\P.3ŻFҍ`>:4ZyRXD )r\;$Q~:s!͌[02DGūS@Ȏ$~r.qDPo4]ilW];\MVfnbZ B~VzNWFě|@H}+R_ߍ,pWZg@'IpU"m1pܵ/;s6xYk-z©h-F-i~IϭU;*4|PWO- <]Jm!exV;X}PD AYn # dEYjϸbވרoU't[/ʣ4&UP9\IJeХ^afl'd[Jū]*@OmˉPgA^>2!59 T]R~a$w+Qpߗ+2& 'OsZ~- RIHyrR$j^Vaq;IC+=wjPq(p0IeN".7EQ7Cb!pY&R IXha`ĸCѻ]w¶4f`>Vt2cJF|evW_jtsKwSi$jYhX)faI7ZXuIVW#7.1YݐM|qBz5w 'ʬnhWU% =~hGVίYʸH]lI7:8Dqd˗mq+}TbDU#}'(y5*jNE X@hE ̟=C$/VWRfijI&py! l tR3ǫ`0hցPP %N[\ ά6"x+TG'rmLPq2ybt tQ[|=Z/.zi !Np _KywrzmwR;PW&7iri[NPJ3eQ {zcKr]ޫS s _3P"@U@G1@ߦթY~,zE͂d|C#H?g8q7.V6O**~CW QFNz}/s"ej419=$(Bu)\{ ̊ѼKKR K#e'=ZwfExS8MUv;''(a ]> Aͦjj`Ѻhjlv=y7cl 4o" l p D%bi*Τc)wgO+wM90cLL>K5ƨ}e*&:ȴrX8)0ђ߃钮wԾa@xh"O:pn]&d*Ц<^RGH÷AWx67{k!}f Qxo.:S$=:`T"45j To\=8/ڈ<)*{?D$,3p hc.Nݓ5u@s,CsBҷw=G)kڲ!d?ɋ1l]xuFXg|*bư%$U1,ZɄ`yinR  &FhggS2QVνN]K>YG\5jg?.YT#=3nīD@Iޕ8iirQb%vI;CbA꟩a[MHbN~#32/H(LL2-=i{CM.Ó;:;1zgڅG%*CNϔ 'G{>S̈́ja\+!BeB'wn2:KV|]iG7MXj=͸Ҫ_H%`itUNmQ+pGyqgH(beݺA^qW;}jݡ~0ڃ{®gE{ni _A0[ 2Fvm* Z6lԊ%A4rOdkg i 0@w3B% >!=53oSQ37`Y؋Đ8iob}) [fg*jUbuT#fr`%nbpfW W̥s&R8ё(GGSQq۴`E-bo"MTT=d_6#.=hOk}ofp$߄‹~..36I[@K:l|z~- fh1c >flӖJǬ2zT7+7,ڴqQQA`roX*:Ҕ7^mS]d1pгo\ZIo{X^Ы%Y["^.cށ9$[`!m++z7(,)f[yhV2*lOk{i^H+3tJZYY(N:/n|.fҒ}MzAxSoxbƒP*D 2 rK]RoSdnUJn5P6'i _@ZT`2꣓A>]AB)C9:wO?>a&q}ޗ 4!5*dEh'eCoŌ )7 Qsj'!fz3K{HhϸTj CD0* ^k{v¨Fm E qt"MɄa (-q] Q*[}N/ =ί8֧O Or+Y„LB%"̻;S}m^9##&ϙ@K bV,bBF~%/f?axTMYZ+v֛A^+q=5^ۜsE>WQ"RN^+4miW|T0H *k;/NFs*ëmI$~*eO->Me= } 0_D)V䃈_D5GVeu|lr̅}:7I~i3aN[:b!`f!R(Y$>_ZmrىqShGr9f;-N5mur*C-@C_&V Z4pO%O\2B% ۪Qx߿pa1~7ȪKuXuyl%kti}OwALTk3-7U NQK ՜bg:؅6>o$oJ-45+u_TfUlKtZ) G:FIt{M q{bQCTÚ|\3T!i}j/t9L W:~8f 0 6"[7r 0qZB@6ؖDuI'1n, &}h`S ,%S1Vk)h99!^,XU2b]PEUFXB92婠/XEWץ NFG QPy5o]cVw.5 ne*x}T0/t.)8y4l>.\C]#̣#xIajY;-,DPY#n˝'W5@*3Eo4H-|2Ut_ d[p^in3W [&Kp|ug$Fvwb ZMc)CIžHHKΗjc 0 < ܧaKg܍,RjG _w8܏N78(t1*1$m3,Uq3ZjoKwm XPvwtHǑ~g:"P~Ja 1g MdT(ͳInvчxjq[\G^s@`\ddܙ_㶃s}jC:!9liQޭZ U ' ix--C6bK?:nv4V[H(2Sjkٴ:ȪC  n:h`b3ŒΤ3i6XPLHg)|^ Ci}ё#@v~=4tr?Go; :ѱ)y吂pQwo4)dT,Cbfo-Y]T6 ]a _ar:N.,s*\X*+9s RCF-/lK퍌P`mҐ|X q$%%"u:a5;K4e{o:Q.o\ !;1I/!`Q9 +#[m#};<@ ick^l0D}Ao*YHN=kܰEQgpsǏѤ8姴< k#Ų C|IíP^&v#V,} xj9wm"A:/pNB)G]NW\({``HkEX>ix5h%cR~ ,z/kxu},;zٸGܺBiivFm L!hܶΣ50ɽYb,N˼ɯsٴHaA;R%5H@sV{r?+fOr.du8#t 5SfCiP P<8%p$o-JK^QKL2QCm¼XJ.)'H"<\K29*2P$xпPMϸq\w zC{/d)AQo1v>oF;Q} EdG_0@\Byk.V⇗eA~S*G~KI ]l1S-/1n`Y NԶ󋳾 f2i$mHVO|K*ryBu %gZEnh%]usbn'O/'*XIzƯ'!p"BP% މ@e:t@}a%.?<ʨ%(M}rG@q!Wt2wM LŬU'Y#>5t=I‘$T][_(?4)a F d }4,&ډ+fq_ɺ:͋zWzBQSskSDt+Ħ*7&-<4zc>_ӯ8(x EMP72 Ek]|*xDvxF?c5:svƷ`b)n('gLl/xagxX,hہY8Łk:nI>2`=LR!m6&atp[yR:n|lSBl_M?0qJ}~rSJ5K7 ܜ*$.yʶ^j"ͷ#کM9cfNж'ЊHԐm ܜ^{X[iZբ} !:hXOˮxk$l*x- 3gmV~ϵߘa N26t`2։ >wuˈ/^-]qS@C.4;Fr)L6Ǟyb%~\S4ٙ`cXmd5;vSQ/üu.ouZl\|=L`bf'ۍf7Gn{:6<ǫ4={^{uPLxUQ+rgy8. 4iܷKfY9؋8%x7".eQP cj ϡHQA\OA,q,=DF0)NY~h]v#ArFx /qE_KZK&W7&UC;k$9DcOTc#GDџgk_jp9+lFED3Ͽ+!׾uHԮ<ĿԈzB `]ML:oh,ѹM]D7ȅ\G 6όv{B}SGփ^mƽUs_V}fw