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 {{M'v$| ]I]Subresultants:threads=4elapsed=67.358cpu=168.704gc=4.4407zXZִF! ¯I]ŗXiɟH!n?珫Ku(%+ BsdUϝ%n:H@ugmd+r!"KݐѸj8{cr8H:`Oq8^ЬHrli`*_\"_PQN"!vihKTPTFE!}3A;?Tbc/ ځ{,[a ؘx,Ӱy?/ ?%dA8'B fIb4x<?j?fʛ JR`OXI4\߻kUƤ qyY>IfMQLz^J\>oڹڪKԮ ]&e v//YBg1@j^s ଀/IFD,k.l+@^&1>A#S~yпR"6o)eps,u&x s!Y/J߲05T%1)B+Gx/bzE8Xdh a>_%^2l/L헧I mE)|.-K[Aڣ̖AmV Ђȓ ^^%Jp*Z ![4lWiSnc%gk;ڊ2Tg8YZK@+ OĜ{4Q`D_hGs_fL;ꓢű#c^)xIc`?n#KsN\8b^o@ a;{1mgn|f>%[nt':zN`g[=4 Oͅ'ძ|fnE#ӵ&P՗*PԪLWNI,W+nj(.HgP# ߞYeStل~=LN츬!Bg"sC5 7WE10Jo։vA{/]+ØI 2~ͣy?&QL"6Bxx \%J]m+wԁWKO!2J])`ZKރ{ 8o7MR]@oJ .z 9viLRAzr34YdCG_A[lYE+X,)7&uJMxb\:\Lݘoy~Ӓ[2-5dw0@IiP"+#3,ϷQWzz5 ^@KA'% dKbYOS7YevAV9'bþ  H]bQLwhGLQĹXIGd5&nyAQ%N8I?Fŗۿ*4~U=ݓpm GbC(Y *SBs|,ε"n:AQڛVbߒF}=\_T"`. A+s:Ff ' Subresultants  x?qY3>){ƙ.Jodo !URNŭfQNi0KQLc[rDW)qd{$ǩm6STNbe0w{\\rcrv9Azʚ@4Q gɺV]lZxdc.H< Ģt߰\/7GFF0o ^j@2'۪!n ǦAE< M2 |Tܔ8{SFva H6Mo-y_z/uۂ->tCwDJ9Y#{Ԁ/Q ;99g 8 @Lpx2.!v:d!?;Q5c,8NZ`z伏 9X`QO9^v|N=sQn]9P*$܎t8Es~-Fn) @ #)%*%A>F P ği jLg76oK8C]tU &QqH]c$e(NODIy2L\x&y3vtZ+.býރvbqIB`XZ KͥH<U`67iۧn˭9‘dˋ:Vp|/eh!#2qPUKCdĻj-Yv60@9lN L~ Qx/⥺Z?mXF?5(T6;  FT,RJ+!BGbW[Nwxxg0|{o;&EGsw[DJLܑ`uGބ N(Wk ԝioPci]G<8\Ϋj$|BU.yj_)*g l L }ԂPsFeBEz30zK:!"@W d6H\y:#_E[ Ђ'h7BW>xk< \5= xR 73r_!X 7:HJ%aLT8+?b%e31|9E 4} g?.P#8[%)M\r_N$vIZQz;"O7eM#ڡK.Sbvu]gMmԇ!χ$, -e`H︉ZNyw{ Z6kuEK 8_qCUڳv.$uQWR&' (VJ~(|>n*kcWmY{:gP|]Mထ Iz7K2jMwz`IZSlE"AW.eM$yQmɘbqIv5:rO[ 4!^?s YYƗB \{c" ?ViXJoDG+죗(SdرW'NZ!{xQF0̌\Oۥ嗒Ը%NZoKU?'\`߆%^?v|+ӀB=(5<U'R_V߶&)!9TT2X&2_OF2VS+9@TZ0n[seo :r1q-Mޅl1Ub{Yqͻa@$IW^'j[Xw NrN!ן]߈P؈F dT\2O{fYyB yX1ݝ"v ےM='-<>{(gs͒ݼ9O*h4`8sy0 |/3ݝwu# wiF4l7e ] P]lm nT߈(/ez3J'u?18G6lg"lbZNHnjK{& f bZӐL ƃM1L0YLT'wT/CLd+=U#mgR YjfmU/=15^(zU7KDIMۯ̗EZ5IWzrCBING~e0洡WpB; IRӼ`d(uᏰpN&j2闳R7-yOta0$cwE!Q{"Vt%nyM$jzo3 Fz'b,bQ=\X^[mk*A-v*wxyOfN+OXB> `, EPÐ ^8fIixM'Ӹ Iq@0':ݔi蕨+Lz! 3*B\޼B=U%[eG,pSDs/3W;O4c,ފ)*ĺx]tb =GzkB eXcmoɓ &C}sO;I|; b\9Qj)^`1N*PPb6EBtx\&=;c(6w1gf@%T*EЇǔȯob,=m@d&uSY4) ^k93RzKE(I.m eQTQ\XM??(=qe2-1hǓ=;[xQ[ f];'L̪s3oWM(LP~|0tkWKe{\8mv*a,nf.'hZsؑH1(V7C\O $ڣ8n: %g w7(Fy%#oh8Ώ\O%ʰ)c x(lgiȇd*4ֱdCPYaPŰ J}}GISdRgQnDA zyiuP[zAZoU˓9r3E)UC=N[N UrY |Qs+Oy<|aH泬㖶˅HjK%RxVJakBmjVM'6{4MŪ']|?Tr ]K.T'Ҩ> 'vGVX~DT$K.p;.TȒmnl1Uk7hD$턭b'?neA-J9ŸG"9`GTdJӲ22lO0,3*8bPjT^NEdKF>Ӊ10P1mI^VVFޱPy0_oatĚmKWkt[dT|! >|0>և ~MӇݱeOiy4ʦ^E%)|BrGmDF oGחL 9U&BymH@5 F_ߚjG[83 O|k0ۙL@OJo)pܕޡX6k'֒f&G4CNL6 TDMF38ӍT W1WoD$RCN F%d;`*ttוQ5,0#sDs[a:ä>#sNᑥX>xEL[J+o}SrfeG3Fq.X]{͓uT pI4 qa٩JC\ P3',i2cwH>pvĞ&@cd@%PJUpɛE BC(Tf9"}(Џz|mjc_%Wxzxm{ )"8VQ-w9Dz :iP%nMe=} ݲv[#(aiGbiD&]{zSqf`Ʉ2ZfьY`#B|> !EiA ehط~Bd`T[>\8FߨMm򘛕>-#~`sX栄Xx> ;]7JJ.gC/fmMI;݁ݥ5ZC/saPǪEOMƆʳo͊p4W 40.6%[h}e  MAQS,:%8aW8@; mw5L~C+h!JcqnBXէ6ERFmWv}+yYTF|`:@B~A pPmj3af7FRCoVwͲ*dӫFٙ`\mxاp6'خ AZSbm-}XWD.j8 @~ KҡXE 437s]-&@ 9v2 M_`Sweˠ.usK}YgA!GIH ܺ־69ϴ=\K砪Bb/]HV@[oW-d9?7LX՝9Uy#fo4oc2zu5d 2:Mz:^ÀbDw5HAD<}wKCxv6-G(Qg^݌YW$J g1ӆS_9\aRvݬQbd7(,8Vtp o[€Fq jK""|#Ědܛy0o:L͘ IY]\iqZڶ?} *vq[ۑrr+4dANJj7`d|l5c@k4j~Jx({v+XWb[l6BCVwYO!+0o!@~F VGvKsJQW.=u8#mWۈQ)ioyH;f&.ؘBtؚ^_UWX&1W7P1øن*2dRfd* f.$WװwuL@o$Lɻ̘b[jlA!F1n+X)+ONdԊw}2o6GkDJ6!׿O+\GXG:[,e=jboKKa1:-\ʪ2 Ṟ y(pY׆UFE $ۿd[:s$$=mY4?_G+]0? ӜF~k ~%ߓZO;pH˹y ;K:ٖ'9s]Ih RU=wR I刓v*\!ކHq1l:|B \X>֕pI>/]yھ~qYKP|ҳ amiG?hGˡn>mvd_qJY[d*Une>SHޗuth~>S+f6sikٓu#RR|IՏ ~hKD= "͡1Do7 ~HmMk9so Sgɦ-3[=eЂB\]Žg:#9uH al%+2^/w?fk*ˣn,-]4Ee/%m*@bXPD/*>fZZ.fcg):tW͌jfY^yP3 7;z ϛ̱^K")>9MT_Ā h;r\7r!pl*F^L׉n**q5dzq4,N [)6^o15 YUk<;zk_цT/$%yH+S\B_l8Hz`THa`$E^DJ ЈWps'ևS_E94P+ߑ(0̗.?rB} T!V0.kI+eU诜,ƻ]g5Z."J'va=NfL|2s%?6='1ݣQC7ы䓂G.'et/]M~.WF< opIJ^77dw/3iK'zO7|d[W?j!"JN4Drs-n|{[_Js_'GOcl*@,Q M^NֈwGq2+<ӥVGWͫ4M0ͬ(4 rTk>/0V*k ]iPo؇^ u\?z Y\;s0nT3,TxMGJ%-Zߝjf$IWƏt Ԍ'"m! F?|!E"tS7% =0dAX=e`Y]y.5lmo SxC(9Ɛ5؀$fԪN>eSu_ ( bM,%`<_abbZ6- J0m5~_8H'[*OcMeXoW=M,xCA݊j'i9S3D?W #Irxub1 s8 3(ح}M|[EY V\U'e!?)/e쭷)bmwD5[609+;eѯB*^Z;4aXtRX=0 ;o[Cv X_ɋZ~%_ =~J@ftH(tNuM1mhPVFi8B)+sẄ[^!+wkHpZ9⹩F,ٱ-I?֤*7 t_\!8YU;Y852Ğt?`uڢ8wq`c!9jeL^t[G<|30Qκ+F}4}IDRorwN؊ݻIn=γ{Q5E7\xZ+$8'1JL׏pJm9bfA;EpݹW LS$pT#X،r`|`4n7Njsz|qoTnY-3w9W^I(;"aݗ5~E|SR-6)"FN5*Z,J֏"pfOV `L$> Go,=놲~}C R P/ 3Tkf;ٛʌPk T='K?<6/4,zIbc[` /6xp!(k3: $R̯:LH)ؾ#A\7zU6@[`IVO*FM7qh&=CgbbM,V[p^V$y'4W4Ukk#C=byF\Z87'mص7ر4]#c~@Iwܥi6UIANe!+ύYDx%fEr漢>j)j@ːfi > ?iMPiPe 9=qal;m'u<5x>n"EI4~VK >&;%tW Yb8$7Gt gDBD1M\︨ޥeei8?*E\:4O(7OJrSh 0k9+]fI}\_=H߭z,>Xk IJ;d<,ᄇQ;>k`:Cݠ!wZ.iJ]a۫tRh!is1AK~,Cguza\HZw$*IZP}4bkЇ^DvT{rԑl{>(~Rz8%KIa?/dm|My{Tx8{u,>{4rԁ=7(y+1_D6Ӈͺsc4f[B8Fsk_*ev,tÅM0MB&+yj (A8ۀEZU͉( 5UtK? ߞ{D<ȇN4quO[c1Q_ޔcG_ŇJP@{$@mQFy ɚ²ۉ\S! (`$vĝAPM1(l}_/H:3\x5[#h5;8#W֓%" **:-G~ːC |(h ӝQqxW?Q2FWBG{S̀x $nD2 cXswh|:gPP#$C<"ueY]|a2|>k]N-pԐ((gCc@N;{'T6.IѹD9IYBc'h>=j\P9%יWCy#/FStI Gap.CcSpMitD*}j roٜQBG YtT6ʦj0dQ"&g:XC%d3m@-Rwy58hFU4u1y+FoIUO#;Ĭ4n$#(vo ?g@튪SۡB^=䒼ٜ%yܰR&=Y䊷$?LƏnKG:s'P_XbkP)zٷTR@-3hxb4B3 >w@{@8mÀT5٘lTz⤪ Lq=uƨ%?S /G`/.>jrn1} d8<㗏'1*$Ley*2ExlxWi6u}Hd׸MC H8uXwV ǃb!%ucˮyY4i]_#M Bo:z׆…(^&rXkvbT5ӅzYP)h BD@n)q -D0iVmW=ci!Mpb+Uw# Iz2w&hn!Y~e-uVZI&{FIcb17Hk5BkԜeF0 YaPE`O:bDbq >p~22Oܑ>AUYPm()((}?Ǽ5Fz:ss7/м)[3%L>pMs~1ԄFĶdD?wtL}@+i>5PORz~ l%UpOX7C%gcq`fxѱ#XTcz]a/`F9CB{-iZy34:բ7}Z gR,R'RՓ0lHyEx!uE.>`".q;2m*LQ-R y"wJ;iS:Ŵ:}<ï:C$NvmkSWIAu|1ݽ 4)e[ge[*8Sh"$%qEuSJߛr;Z԰f{RI)jW)ls_Ž+d2 QuF ,8Ź,>(P'x~jcg8Is#~ĉx3d(vQXxy k>-cÑgxٍXQK{-Bh8xAkQIۦZH1}pRy{[&h2ݤ/X[G߸/I]h8N`^N(j^8 Zo&ѻScqRWXxg 4P*Ҟ||tl9Eݳ[C(Vqcˠ!)v2g'nο$}'=[c--+޼<Skq?Ţ-S[,հT9㬊1Zps"<&N1(m?yfio[Q3|!E ̙l M"#8Ed?k%9FݮasY l{14q"ZoBwL<"; \\l11AGK!h|+{ $ r5E=֭M%5xɍng.yn~@}d9n`p I\d yg6D\jFGc@ʐ?U}O86.qۂmvc*~Wi6ⴥm8Alhѓtjm+J!욎 +zPMcUby+˥I=9R>kc*K`/}TXRO*! y Knʹ5EƭZ^iUPR^H}>+mzu~8Лjs u!XGcD4֫rUjO"i3fr$\+/w{r)/.<(o>,{&% )O16 *ƬZUf2P:듞+M+o(;?ϛ`w`m[ ׂ{0}8~2ҁ "/;m= msk4qh<076쭨?3Kl/j>" NߢUSmPm-ہ5~bMQ*":; 8~y`8 srsWĐoz!PZhq3Q`o9^+eYW`%XVl6/|bܝFqR-$6u</CeR"t(5\yZ#s_| & D,/Lܥ`8n٩-Vտ9p|Gh+ 9rYA/ \t]@So#62(j4iP%AtJGo),et0g#sڑK}( S<|&: xG3rn9ZI"d혹}!T-]dn2V<ӾXb]ScY U^Wp{HzѢ9I//bC{(T;0j[^UnYyKku-PL=*)k9avHuABd{ FRvl7rY| "KG.]uؔQ6A^! 0zX&B>D9 0w?W5 HQ8O)R<._7mhUBIqX!@~KLjOȉʨRi+@ɋ#2`d(7{`bKmqA!̙ i d` )՟K9C̏"fŽzB Y"*.-okR?|ٺ[/@CF)/XTeϦ4b%u=hҸ ?@+|g,3Kf@z$ljX?SR{Dubz}*`Df!fjLɠSq's2? |hץ9ZRpOf8]n<,5Ϲ< >Mϩuѵ/#ڃnH4ه#>zvӯssAUY 3p(@ZUooBJ\@u wepY&;MGRWBH,@ h -vsV jq؂Й"=q\[>AAױEhNgqgM3UVgEcn5[N V:eFDhFJI*ezJwUx"VuZH bc;!;I'B%GPr\sXfܯ8}U |зy.VK[Ao Js֕sn_ig.Y*;etm7u\Le!dp*p+Et6Da\lio!_zlXOgܙ9R'͈dyqnA] TVx$|==h_4/Dn=x=Z!pYxbN)*`NŖ'n<>zu5ݍ)"#D?O&W88Xݯ|!Qk&BJ%%j{v,kqWqݐf#BRqU|G>%\+e"؇:N:ϭ^a49@eO1Мm`s=|a5hڷi() c)*V[jbDbw+$-; 'ؔ?:bW;f.,ޅom<^21$f( O-^3 _9 H j>0k]Tҗɧ5Tpd '[fX/{O'i6 O}P3/ETȋ*= Hcx%%;bg'BAZð@r9b@?97k|, QKl/O$Tʸ0̢@vs1M5ž u|"' gڎ_3j;kq#K E\3#S]ؙ?ИxǣX4 MU,P&~w^ɪm =WwashZqKqb! |w5EYBUffE ·DVoޫzuc4^$inʩ ,BhTZ #g7fn`(ôd:eGukR}@X&F궁 -wG~Oh|d*w XMtgxAuBnMRfnEM,}.sѤKds{S gdh7Ò]`omHK^&K4.>njӴ@MI@wRwuzL7ۇk_O7O")BIeb]-2Ϛ?#7 $'Y;S]JP$Oz)tw+C$VkU7}(gF>_ުr&κmZߦФ13Dg8Sؓ$ã uhQH4z 51PBZ촞kᬙLHj BNtX+(d Iebe=2%V~x:!ׅ@XSyޑv׸;ĵ,huK3bѶx(d5n?%Gt;*ra3%_4Nbmfa'P+!aZZ/d?*ҳy/9b3EmCa2D>|*xLwK#Zi=X* k8JtmS)ָZ~qqf%\~H9huCcHo1U;bb96~('z=w\fGBq 6=ϞG2?Xa Fyp߽uAb#hbU7\؎MCzʿzƌs6h p7n:c~-|x0j H `psDs+Iv\\dznĬK߉q:qՃ2lo=@RI!hƌ?yt@ kr/;WF&q^Sar%=/Ntru[b[J7@> !@zF-q"co~lz^/~Yݎ(z(Dޖtq&7 oZ{<:+X7y8n&n2tX@t{BsJDvt {+ p7<>:^VκXNGxLF ~[ޱ1`nm:=1l\#ZVm3Z-U%6m1s5ic*0Zi+y?;aNe\S?0ݻRmRŋJHXzuX)tt%ĺ"vj<G*LiqZZ]؉rr!u{dt@e;dF=^M>*_g*4}Tt= e M bV30}L/> ʥԅ|Zm^g/g:lC gސæ`L V> M[ o,V(9>SkISgyE6 OI#S O Q<&~_o3$۽@D&-Y6~dA`s7 r8"y ֠slo[~|;οg]ƹ22vp\QHAYZ@`L%6y=~dpwP('AzHj$1~>-G[/vҦxb 1Z9%@[?-XWw.5Im)GMΎt;*ke$-&s>Njxe؂ iؘM*]e v(vSb&gp9ʴiSCardi!W1^/3]M1jiD%)F7)8YĜ{L+@gA8 Gq֨ڐ IL؞$ S-Φ±V

R+#իZ)uBI5KM9$5W֢9dZKF-~)2k<:1va& 8\9Ϸc mW(a ĎXj{lvfh2)(j4ekX'_ " g֨,9'Tu}6ţ"@t:* f) (fqA?S)mAJr.e@K @'fec& |DjVØ6"{EcQK-SY{tgoh4luH!qPJ&xc{-l*or=6f-I2\k â\Mdzc}]MWfΧGJ=ٛ\7P&LBV?1"c`HYQx?RFy-*ܥoƊV68|k^+pk.2 3ܣc-C~c}Zs}b@v2=Āf L^xINIB;.]mR󈋙صܠUja7{aF x+>.Y{(`Or?)ߏP }u0o#\| HYB`mTJ|f6Uܷ3gc׺Ϝ(\t30bm]},)M=leN9SB VC,xF~?VN(4ocž|]hI_;BIo_A~vڍ"myMv%]0nza+S  09uVhYQӔU?-.fGza*B< XԷj ͳr X) .nTʇ5A2o6bƗXh!vտe;m薹QI;1GkQx X_mO 9Go",0doG۹m{%1()6֞(9iVE8i ,2q6aKʇBdajMye'Nwb2E7Nng1kohJ[ sД9Y }C^K0rlom.Ҩw=?_ D3;cVH׹&Ŋ])`t{&/M땒^E2 Dv^̛,2CH1(c(h<&[pN""DPorW'W7x2u>ξߙ*> *oLhB? 1v ۾q[?Hj,>37X#[ުepTEn'B 94z4S09Y1* 7̀lB,!bOHn#24}(qՌu5_VG@\`Ow[UV.U 5 Iy8]ƱWVQ@<$_J3>i{5;]ɜ_o,y 0CjLEB*CcZ#r`saM(^(;.Cp!w6{զ6|,K|˷.HYFԁ\& X*Zg{Kttpbz f@E<:4Vl{*Fmg2i jao,XK7h+3 ^H9jkd_M):=CHq[~ec8ѹiy 9>y밒D3[,9ȡrܩJС8koӖ'SQQ*M1JL zR-LkNi'gߧ[r* :ø0/FoO11v3zD<]Aiq3/ܙP鲋 XmU| s[ Qݢyx^NGݑ3}]5HǾCB*M4ŸR=.ٖ͝( _.{t$[QG0s)0=.KӅdiGDPx>Nm5K#6 VX-Y Kcڜ¥S'hشd3}Zܱ"u 0$őkUR?RIz?v5OY{sQ2+u>f q,?g6E-aQ?[ ufc5@Gx(SP?: ض0u!K;q0`V AcaPD dT+ 4Boêkyׅbw,7q[%`jEq(q "Y!;ofr#*YPnׯ䥮;DR=w2GEuv$l|'-M oIIa6/ B-{?rN:5 ws:AV Ҙ&DY{=Mp~ñ| >`* jߝ|{aGel^a?O(Rjkߢ]vϸf>Z o`Փ*$#9&%i#(dqm+Fb)!1tZc5ɊHdYA| Q9{=ƇM|-VHWnq2m2 פe 1T{񟖸8"Uk1d]HLgvu[*hHSJƫJ052*:ԫrf/k[<&q]nHaR.i,$;;؍m^GuۨM g_ Wwɳ9Ûhkk(Gs7j.WW9ZҸ+VG8E'6A<:b Ǝce,f BkT]L4TW):fw߸ψ~[]:XE!%^xlIɪlL`PD GI IiK "שWF("&s$8]S7*{j[V$Tw)0Q X+aQF/!/!P4å[:͠tSÿ~{f>u-%<7ieպH5m1"zsQ@9xY'Wyq.N̹{eoC~yG`@3=2Q-2F?=D?wu`I\9Gly(pUʁFxU"@3 e$ ⳥9 * ^TN-IɹO{8hȲ 'clEꅌua  7+wySJe ZT}<g~w( ns3_cXeG:2~4DSΐe3 2ҫgs,pH^b91 Ur:D 77Z A[x ?zSs_)9yb.q 7퇂$bԘ1kN9BϺg ڲ)z3=>09<ȸtԩzܺw^c02Di@E/e<\jKvڠw**ˈ|%1]=[(!k?M u^`^l+g|izW A~g ݛ#R=5. OA8M\Ge^8e#}#ϢH\GElR-#q+(KEUO-I<UYUەMHWz$5.wŔU&d\i^*ռ=9v?9fA;|lG507b/0l̒M@IZB_On*Tд{`p%LOB/h^eݾ7$j (HЋKA,ѥAآn*:0WS[o-a3ΩaKQho2{1o7SB," w":#=4;  ЫEOgP}~s͖,V/.U׎3K:E!vc{2|^quYFde(\L|*( Xip]P)Ĵ5 ͰW"FlW=OL[ :1Q WxbŹ AK@ NrҎNF]R~a7As͘R2FdǾ!ꐴKbՅXKB4vm}t,gKaUQoBvrS.yr,Xw3a3NY:Lf!F˩g;D\5zWS$0{j\Ag4|Շnt=xq76fkdjoHdR{{)> qff= ;7;PMeI_|2EMNvf5/:OӦOR[k4rO|83]<:a⚴xXPأŞִ<(|֦5εӆ٪h[UC^HdKZ1^ZRwrKE|)z',4$.` W <6Յ*L`5#qz20Z9k (# Ir߲kjInBIc6Hs*|w6g1Vc2BF])yO'*)g 5>m][%bڼwZo#ݠQPhi7 4t!sG0Cr-,B0ſ!rhoڡY%UNGZEPZG"GPjzF|0߸$M|u$f9y{qNeX6B>bϯh*M^&r#?cI ʙH":Fߪqsq| :Wg64Rݏ1+=X!2r&g+AMZI#oLbiS~}CpVx+el/@SӁLfʜxه_;.㝅Sl}UْkjWn-B"|P-wH8Gf*K$oKΝL疀O=0HδvW4SFn! /D?$it(Ok^oNo_ǛE;Nײ&;ԵP\UY,x# q2en_p>n"U"d|AԆ F)D{/mnS b2 ЃCȝ!D!zU>(mtݘ]Q3 '$&7X'kOf ' e^XC=KA^n|&l3dx|aeoH)8|C-GS^x-Wm1$u:2*M5.ڢ ;5oMkvI,I~_W ?;U (LJsia`c ̸ Z=쬯ȘI6m޷y倵S6'|܎{`g^9=TX{_1 =.|M:>PmK!&^<{0bAqRT"%˔; ~j2_zmJF`XFKozՔEzIX1j[骺휩ҟX_qC@"cv2@XfQڡ)S}'E*+Pmi4A+q@VyY[AuH_/\]lfv,iC̱u'V8'a(_;jq!-6`ъN򪽹NRHo&L,j #_> 9_A f %f9muhZLDmdB;4Ơӎ7a_^o+^_nE am,Zw$E2Rk$Օ|уEBT5zNY-g:tȕ gB0qyDgJO7ly k|w@/Qؾ̋b!uSZ)8KD縯N%"\ =5:;~wt k.h D懓|jm+I-ЋL(Bmw ?*a#R:F{Zrb pɪia$dOtHj8>nOr[d*=QS|z$:ݨNH]Up.iG_sEOڗ 6px; j#LtB=T/n TMp9-{΂4u5W }7Hs Ynt:Ai&_ۥ]{ c'V]vYJ:o+C -v`c I@f>gT{!b#%f艢w?h#g4M`T}B^g#‚'4Qw}XS?YzlxJ-TRG1gUfQ+D(RDXDRk=G4ٚLn[S]'!iU$'2]1K35"<)6_sr^8 } ~Fm/Ӎ?Z} :(H6(KFSA ~B(t~|o=.5iR!R喉 (ϥޚaԛ`7'3D16ڒ.پs4LD:{i.U'قxRVΧnq")DWj#xf}QaqU7"X;4"FD>o#:v_9ŸR9}g}u\@uYpĂ*+$tXc)^MNA*lyS;uw8uG'1RFHkk)L|wĹG^"FzpxAPw?5;=U_Y lυ)wæj`B4\V<eIYvQ@"ٺ͒Kp@ OѢ1}b{@2*O*X 4+5kDѕ[tz|vtmIVuGTaB [:|\./nAf)2?`wɜkq4D,t8e_:0HDź}c q_^;|((E&fr **qKhe~`wgiFRYMkE0~+g+.ؐ}DQ„2 Lq ;,d8[5/{<7Xy0EANk]ܘR;v >jTz&fr<8Gu;qYFl_xfj`$hS29.`љ.Tk?n:#8Ó-yF2wyCU]]1짼6P';*LpF!V|g$!F1TmOL w]t5ֱ6#:|<)3JUg&gBuS^ @aPXcŮ95y_Wqu(i)hQX rT{>łw0YOQс-x4m|$&Ձ[>QCe䑮 eFK$j\]TY53hۚz6G(TwhB~WM.jpcL{|_fƈϏ[lؑqRΊDϚni9ϴn* i.au5WчwYhCS`N"*RjfC>* !̜_J?#O*%YR>Fj5D[YzP9M<U; ;q@k˒MxQ*Xa:bҭ̺ߎeDO@`J\jZh< .k#$rGWݽb);t,QC] rFP2=+%[Jۉ|VM#Q®a ,4.5F5=šCl5sTsc-,B:$66k٥vzh^3m ~C{v;ίif)o (Sz3h.Xhl7Ti؄]bє)z.i,2 INtJp`A1㇘ ˱yK|HZhGա'&[gO-}Mjq9L7-d`3}tnx} wNs+!) A{ n+y8EݿKQBQp0{nN<=?lw&_k\t腁)y1D7j;|Q?!"J?W2`J( _Y&4cJ?)k|h PbhGmwpLEI и.Qϯ&iF qS]2d'7L9k̕ToJJ܌ Sy ՈSl!7?d c~F1š.NJJn1 yeQ1u(ȥs @qlQy?7V_.A`\4_j8i7A#ѤoӼxN_S\.4f`ZY9<>U}FWNyB!j"~IUl%(λʅvB| :Z]A = {ήKGnP1z⪯YGh[jÍK\CBug3X<;o~b &Ґ@vKCbI E IGb**5--7]eenGZQN$)4\w [taUE41qƀ݄!Z50>xVQ'#=g0rIMN"AƳ*87@(^Н> ?|Hd@ZM$!$eef^ARK%Ʉϻ>('Bdu]hmSĎGdO~_Nf䎓{'-a(0ˮl:[#Ph1a%V J4q6%cc:Q%t/L*!0U 3VݴRCvnmwz˪ Q{+P:;/a_fdk:ѵ 5aF/UI7 z .U0ѓJbDƖF| YJz?&&]ixW~E+A8Ҽx9MTo:ټҳe9,@s޴"I97 |'$zt!7v\/LQxë"07&g,8G7%jg-/c!a `.1xTڤ͗m 5ⱹrZֺ|o9f_~6KV~*ǮLW4JGkqzG22П|6;$#IV)MPn僠0z 2i"i3oiM IJ'tF_XF7 VtpL_K ӼПt.CA~H.Hp\*]ߏ# ,WY>v_ٱ]<:nhk?@>nvV yǫ_U[#c@k"HŸvWTNuX1{Dev#۳u7w\VY-$!9C<=CT;G+^ǵ2G.H;6 h'&%y*3޿5Zm(ȨIk9$Ӯe~@>Uth9$pn+T[ h.</Ğs"- Yk4ۆ탹ee~MgD=V>db/ Kk;Dc-~ӅC;̑X}f3 ^t}BsŐ9f2?3Չ|&T?ݬ%a CUF]|ngɭ5b !{J+X'ɫ4x 'M=9OןΫaO)`%ԢCHک" wv>&ƆM=O>X(1ID鄽ּp Ou`l x\vCG_k=xZX}RS ʸF8|C"Bh>ڳVeaq{ho!zZi4*? CׄbLƕ8LJ,s.sD3OSHFv;iI³ D+D+z v)m}Hn72VPYI-XDA&g!{*Ѕ\]Pm6__gJ1-3u;*`8#0,$?mUAxy  " 9,)ήZ6X?IAˀw'[9? &VMSzaAR4Qq\W 1l-A[=6=VI qӈŦݾT=ALpTQK\q=ti Q0َ4&[H&6n)}^O: |Sו"7 D//7Z@@фV fRѭU1V "7cG/}9WoX!7l۵"!Π%b\U-VYhIY2e`^cX(|'j8\0UD;ǣJTa;8T<XA!(mdA.24O4"XC@GB%& 5H4ӓ,+ ʀai;`?fgGz*+-N3vuw4PA kK1AXGK%F"K!.쁒oMNj>fJS ;T )NG$'l궑TL;V5gIG-j3Lrc$Wyv/i-EESR)4hoL0 4TB!SmA\)7+L}9"tzDVN(c[&{gYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(ݏ(Ri)iA K ySF"g2 Ƕr~,8]{1qG3N9ѣO:i+N͑tl(ğ WdCmK|77ও.ZjkY%}iCY|Ow(qfPMڧVClԶ8sP$ZDkTuԎ.YO:6ol(]uAom6OL er͹"t®P(6|d9HHd٩U#w~>'*vxB<\^Cisxݍ1OrFO?V[&IEHn6|&s]G!̡d鹉g*!s!^MْB̖niо\m#V tEM$h=3 Tw1 !P~P%Κx`1$  4'ćI/J)F *t<,=8Ӫ JՍlEF~y\_Q: 1.n j}C-v$6p$:k\@TB#,ā+FQ4'CiO8'Vj 7Aó8_kvPJ'ַKޡV=^s¯ܱbk/v )P?%~=ߞO#aU-ϬXGnXA&+L8[Rr`)UˣIeSОh+Pi0-FdDkUjp]@^4ڠ!DL"RRIDCYxyvU [_K vM*~Y+pbrQ__۾̖~q?XçkmQ}{8J~ "k69̵HdF6L=& 8%26&}R :fBë:!WC5O4xym@c©Unv ] XKSۈx@k8)֜zI|FxvK_h='ݽvճuoXOCP"d%ru|iͲ` 8 V?Rˠ B{ܨeofg OXuVP2G^8Z,l4< 0$j_P$!9¢LVT,EJ_ A`Dp /d=Qnx6F'x~qQ/5!<6z;AK\aڼk6v.'32覽R5'}gO-'lND/t UJ k_=سOn8Uۨv<#Ó z>2–/F筗 snƄ˔ţ[ЂllzP>¼׍hӹRƊ3 JRFC7Hv@8hlڼ;j$#,RR^>"VT :/jR+=F$93pGLx&%[ܹ:$+t wC{MB$z[%AOr)hI`%zE$\'h@'~B/'sf@ I PfvE|/DW, a ߫OZu&f@Z7^7@yiUy \mN | = &&Y'r}4`KE_3Q2LfC̎~&t[Qu 8; fvԼ%^\Rię0?dt5$[2c9}kwǠ͌}U;umuGE[^Ki&_^,dT-f䮢奊iz5% eV<ţX:rM+]c)F  z^}AVl;żmG7+06˺N*wQ;c\h?hluU IACb$h:y}LWLb)@5l݈JQ0덐x1X{oyP;T&l{ R͟@HmA 8 oL۠V֎hM(*1Q ?C,.p<9H_4ǎ8#j# %v羥ݔlѝ4o 9+%~9h:լ:ѝrODX3F ܯ?Zw.Mw>z|8q96^4 yhOacVi97Z<8W,C^{5v.S2[IvM`Z!>dD# E2T?`=BGmֺ qD?=9]HN޾N<.Swz6-RkYCbWju6l}q*xvpW_9o8Ս6O(p Q轖͐I~z2f]߿C|R;^o_~4 >gi7ħ g(݅.1jx.b'&yiUgRւTzSe26kD" !. !$ >t0g=~c>i)h|x8`swb5{%a7oQ\U$ڹnHO = /ܜzTi:L&U5ٛxf NZ*ed 7Q+d|xzz: mxVrs²5'C>咙gcL'6gl 0~^ߍHZEsD) YUR{Y"Vmq+\ܭ1v؉sGRJhp߯edhK&+Y1LHX>9ңmXYZ뚏-oN@N{"w U̾=n.Z_2Ńa'bl3,}ljpq[ (^Q|Zٹ}7qYhU N$j|DH>{lklOˊHV𓋔z+ /Mn班N\Fƽ~&U6W<_;2)rAF̃FjR'Ο[A|쿫֮ uA\navQsOm %#gRB3\=S+]p`93'_؇0 ډNO栎MBoJnuvJJ+hsͪVT5 -=D!ϼMM~̦V#.dIO!#r2qݒ @p! ƏE31jdYԹ&L'%=Sg% }$D{4Ch;B[l䈕TNN=F+*xa5N6$}~( QpܽSkCc=ɨmȡI\#-'RT]8J)7u(gYZ1078d0c3ee11218fef8d7dd1753e16f293869edc9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b 571411b4feb06689550dc2e63f29de34ea9b060c 19258f8f0f249a325996d3d9f84665aadee551e7 290b88f997be0850409e2bac11ee1b7f22ff0d02 e86c25ec1c533f622ec05ee8cc82e5c3aa194dc6da05ca82e7fa2f44e77b6e7a315e45e57be83f17