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 R'| ]I]Subresultants:threads=4elapsed=63.584cpu=167.692gc=4.344factor=2.647zXZִF! F]ŗXiɟH!n?珫KuI}i̾8vF8[kI)K>X*^Xi3D*ضeNaIf L`p| O?1c0:~ kim*n{\>Χ_#ɼbh2i8V̥钃?־l8H >ޭVB69_ ~zsY-nYFtZ%sC'[PLuX]sRԪjȥM7)&7j*7!gV9E2z:+GO[kG5g9 }~L%Z™nA}w.T؟|ܛ9Sz.p8NE1 Eڄn6HC+k858vxQCAŘz f].,=eFI46 7|[B(qr5J3?[:DPtBs/SC:6OM4H3l\+Y4*|T-bK.l2g%bTЯN4`&T&>v4e҂ nڐ[9D7C SgM%_0CD4GpHl ֛wۭpC^bWO_J L&"wl+Y b܄yx|G֖}c< @6t%n<8p3W[Y״bckofHPsgFHK.ݚm8.˜>We0lVz,*=h8R r zК8 cBJ q ݎzO\"I`VFE5G#|M*!s$C v{k!|>IFpfֹ/KʀSJSV{W#և )K?f.jA_waXohD$dj~:0^qhXj=IB"CPZ iʴ{:Uq6N? S.yU \a=j_:?}DIaoѸ~:8 ^埏>HBL>!`_Vf "oze{JM]?m3!6;NtgN^x8#}|pa hcXR  >P+ljEEE uś=N'v{O!Ɨ Sf| :=¾Aܐ;SRޓ Q/LBq[NA6i"g9-dm\o<thhU)#jn7#Pbͥ:KwU#tMMN$ztڪmҎ\ZVTyPRT*G:ܻY!Dv]_r?x͇Hjsq`Mކej z"`TS(~&uyM%c;v/m Ê%`eEͤ$l< ym6VķJh0h! kT@!Ҥ.JW1F+~#ũi63<YLӮbZmc8=AKt(!R/p)!]0 ^0i3o?GI憜3 RY9Qkӄ/c?ČoN:\ r9=Qr*Nf4%?9VEf17=`tѼr7X?Vo׀"@? nz C8ja8~IfU *4HGgLc*2+ gfx8dH3%s 'Wc$l%̸۪X${w~뿜fؕ*? ue(bni} ' Subresultants  r=qCRu$V3j]O N+`MD jtƁ) bar—fI~AF1\]o#GYSksq3fvWU%6${KZșY3 1a|K`Ejŭʆؑ-yw9"^3g;2zD sṣm>| ne= XR~:P " Fp BZqha:ZVGKK;WZLm$fU&ڜxX!ttL*;9u[yt9-eny ~pK|wYW`ϞRpT !+[M |v"ԟަ˵H/^ mo)z J"sǬaknWEc_Ю/ks;ex =l?G(cw(ò &#=%hqP C9hmF~9nYl򽢬6輑%. #6ÉՌB,{%n }!(bK2tzdw~ﱟg'׮1cøAs:]8+'v^}xʅGs3ǁEZ,p&ޕqKߨ>Jl C|ҧ0gQC2&0|bnRV[Ѱ_[[EQ[b&]E=U*h;:T!þ1>OUfmW&́'0О\6A]NmazrgQ.{i$mUPRt wBaQ1X1f AwHyUk]eG}ž%b <=oVnH]?3 IJ=D堵R9_NnB,$=3-gӄ6ȭbv\CaGpH_M1ҰC-A o Do>^pʿub0bu(jA&u>Qa_ RfulOD׮#H٘ty5HeY}e/Y8@ndp*KAWQX@h9id@}oL~tҶFtG݄ e[2ٟ7`"3\Xt/y{9=ANBn)]W&. +O Af`ck Ͽ\* gϵ_B#h&$~?qxE4~;Wթ2'f<oL'I=*f(ۖO9UKdysgp\{ D({Ƶ9ט]],ȹ0[btB{r*s#e8үWa{<,7,A\:GS ]z>ys'(9BA=C|}]p- vpA;<ۏ~ Utʉn$-'e*ӫ=[~EbaHbq5#knj'~|yZfX:yzcnZ%`}ky2 :O&*GYjT4DH'^lrcXЦP%xCwadÀW.>s WB#r%|gſ2z'yFtoşU׸N@%̽'CZ6{0>zqS6%XU. ɑb¸QWh):Xl]N'!1Fn[ CwOgQWݙҳF: &a.@lGkNꎵgWiv(`1AK.mӜdv X#ݹ"܉HC(1 l?hDc3\ Fc$+ ީ_V"q|wJs{gD/,w۰l#pH._ 9}@;HQPliwVۈ3a>4k/1//X>4wC$&kJO`&AQ=&xG h<{SK|QCmsG\dRkxieOqXO)bQ;Lm7WO{ܵ { )vȽML +C@a"$m{:u=byBE;b`y*a7eœ[|*G$qz鵙Z &7gIo{])vHVДKho43(wkbgð>inK\s"˖41~~.8{L+]6"͆u5[pyh0_ZLRdY3+x+Ⱥ2QA H)0n8oY/:^V㤁2* 3olLJ6/Fe"ԯbb{K̙dwmdcU-0.+ S_ɎnPQѺcj,l&B(Q4 l YdH^i]B)O76%wS~*On97hkw$rπK㊺ ϯ>NoZS^vwX=WdGMQ;逃EP`H? m& ) pc49POo[GKDQ v+ꪨ\KQ-tt39MQxi{f-w0Pj E2]Q-H4q'sٛP6D6*Y"x:bV1b2wkeBqƔS. O*⊓ޛ8$J*kP1=gDttfRֻf:0td\FOwQO6^ F揹42.8]rH3Be; 4&D9P@Ӂty=>b0-n>OV30,o, lTbA5fr?mq,R6u1v0ISHT'HVPCG'd jpd}PF"Y& [L VTi2(H KPrtC#|1MUT]9})cE1 wM4[U]RzI^t *H ]Wg^yP{Ã0Tt9@3Wsk?>ƭ9]M`[S|+:>gWtSe!y-mA?qP&PFqhLUeFͱ|t7dBƛh>5^j.ifN#f&ܮ5hGExg!pj]\H oh gt@_9Z|o̫鑆j-ܪs7:U#ڌSd3z"0ԚF:.ŭOi>Ж7!%_ |-}g2-MI-0Z=@Ÿg<}fj5^ D:O.{<9ɇl4$6?O0LDGc;',Lvw<5 *x ɞ TQT|fQ$ipr4ln]$y8Tb8tWsPҖ捖3$ [$MR\Nu&#+O?ImXT#d'T%8`%4yU s m[TT(H/(ˣgt;d@xJ^P(:U4pMp[8wXxY$ZܹRYw$J G}^k~a /so(F:&Jɨ;=-m$&^H,zs/&&Įa!Qasxbp]Tx1npXS[]tɴ:"GTǮ3'ZR Mun }#$m*<3ٹζ-6:x)ѐ9 ZHRlY6\Xpya Q+rԉ |'ڒr%GJ ǰs gI0:``)ּ88h'FO̙}2)gLǽ ՉF%+UBկk 6$M7s|x)lJwl?c$;PZ XrrVsӪlҥ4Gt XjËdz 7k^^?Sg|)L $y `}[vXR*v XV'iۛ/^%@ۚ9CV`35z,pBpFEgSg\\`5SO>/ D;^9-0==0' -գax7V;@G;=`ycbQ ms-@V&TJ<5ǀГ !b +KO94%t3qdyBq?OU8W+\WIiͺfp+iy `K.hb`.|>ޑsL7ٶTjUw7T̿?To$+XhlG1x|]MP۪1n>'g VkfŝEQ,E> Դ\P?` l.O wXa{9L K^CF;u?6 Է 7C[`?1Dj\IؔKT*1ߠ/T'X4j@%+ f~{\O@XQs9G*܇? 5$$"ƞg01QM°*Bx=]yBQ4)!D[*8M_RJemPrI8{L w/N458% hr:YU m>?1>%11}sڂk@[v^ܹP޷ +VF&Fe(ڠ73nw%5\ҔK0_+ܸ<yj lE-''zl~Y!WPA/ju5dN oFk1G LǒBf _-%O) (`ZBק_`0<;JC?PST_@ ح_5 =clQe"qO* aGsF}2臨viEj5{rƢE)TF+w }`1iqQvFE>၅ a,6J@3'y귅鯼q 2crU$_9L~i7zZ)-U7H&ǐQkyhPomk]TV[$yq_ Ys_4Tkz .PzTh~MW!C,نUo| hWC$'GD@y3 |_DV> Φ~nΪ>]Ǫ;B[?:fKz x`~=?etHb7<-*]I+|62E:?8ҁNy{xI+;A"|WȨWx{wQƬ$gSqbM{9%Iqr]9Kfg_;euv7% U4\Oʷ2Ϫf*P)I/#$rٜ.+Υ՛Q1>Pfh6xURPsfF??Vv\_}XC82\bGYFoA.eb.řq!.`@䦟#:Nc$L'F!9f e1#qӏ=8ȯqͥ)@u}ݨN W" ?ׄ@h+hpu2cc:Q \ЩAYr$œ?y^LwؽYY c-qbW˷‡,50U_(2I*&Le||ᑟqZI.G~fU#Jh[2SlvO-_E\̬T Ꜹ&L[n HɴO_Li]SerŊL5(7$_aדGN!dՓHlX% m #Ĩ } z,C@5v3t߳ ,A ^@Lͺ+[j5y&Q6ChOWS70:I(\OF@.@Zǒ v%X1 7жUvp"hZE/hщ4,%g$5FMz|AV*yP5}Biቱ"}YWjw{j.k*Vj%l8`BI\PʸKu&\ebx>("XpD1`s"I>~,{(T ۿߠ)E$Zi/ܵ}D2!J'PH|0c{\?x-ll!.][Aك0 YMh_\3 tG;rBRD22(1;[Iu7-CoW6y_򍃃hV|sɑNb)J}#~݁ U,"H8MEyp! y &4>2bkI.MSgvL}EUw4p/uƱoUU?b7fImR"aS:aR6 tep3<4d)-nkyѴ_wo2Ef挄O hdCž'#ِ=w (C:Eמ0s9ҮzGb氄l`A?g8NO߶2W4a%8پ.CMݟ,g1Og6a} F9bdOʛk" QQ*\_ S+L,ŸAbƘR2f &aR \!dl4crSQ?8s\f]mRwQmւ|╇2>dBQyt?4b5\ RR|:+lTߊi ϔ&I{hs^;Izq@p w hsjsQ] 3J4uwtWU_pޣ~GdW;B[޽JՠchxPzG(6KIS޴g{Z$RZ*nq'ޝa\zW\EQC;g:-^މAcfs@{ Q`w` A Ntp'ҭ5I'/VJnt+jl5o'Qk4}\90qeaPɛ=ϽzFώ㩝|V s9b{`J' ̃mJ#gx%~U ?s.h[<9ͳ p)'ڰf>[璘{J!K\{)zE.%?gM#Sj9M;}9:6=kBݻJq2G;Q>@x`bK\RjvĹ]ìOSRlj%oW0{s2Wu`r#V2 p렡C =q=ئd-!1]0ٴ>7׫D8ӽyfsqkl㴑NڕVб.ⵡtlx:f[?gj3Y0.t7j&kÍTki"{K_RNA1OO5 >^Ce_b;d.DƠ1N*X1x}5h*7*;%8'jˎQȄćp:T(x_y00PI%|,Ț@g5K|IG* GP|8B6K~8!7.]qzqjVy 3*A0I셮Yܤ2a/*O`FM5=fvڔmE< kHcj^L,?N\8~̺hgl^{U..D@N}t"~}>e:/R;~ q5Phy}u6'4舗 u)^(k b/y]tJ/%a% ?T])fe /ᡱ |p]`gNY6jNiI@Kac/2:,ƭ1LثmX!"nqv:@DBi F1_1H[ljG~ [||&Y"~eT 'PU9@B:8M[(1Fnb\SMt:Wtΰ˭}}5B!pSA" uCe-NYkKTQbO--!+XO8hiw@J,ef2Y!#}Bא!: Bba:΍8b_8kP`/4 "_%>)}x-7=ĵ;LR9Y!fB@ <=n% y7Ӭ0>bQcLz1_]P &ZofΔL'=yF*as~Si#kh7Y+Ra@n?0薕6&En)8¸Ǡ9%BxT2L 㣮F_nt jrf,"=,^;\>iZ$Dx;rE!x3.FEM/;HeO\sL  m}U7褴RMNO;CD n9c\ıN Og^_?TS=U;` Ɲ81u 2E XS``hefUTgYsNKmȮTZM!G.DDx`¾a`k򳲿_V2DA: ba jH1MW7Cn$"v1HʅzgS|SJJ=$5ʊh#GSn -Ycqi}I #40$Tp_E,;(P航6)2QyQŠ7 o$tdv3m%k*"=xj8F.b#`BgEz@@5 KaObK*ΐwz-3 8;g4A2%e! 38sxA$O.5Q'=ޝm<)4lDhe*ƯҕH/]sO1v7-PzQIm⥛T3VrY `vIf?N;i@ӐAQ21iasXcT@wn* ԡ#;T%5477xKfW+H'u#3^2'2;a@ p?`(*tɝUVvBRJ" @B1b=noo_M+J}rwЖ_ 2dUO%OcH JẌ́MdyۖBrm^;^+D {P!WcUU^wN@29D#gfWK},i" SZ ϼcӤ˺nN n׊Pp Fن͢D#rwB#aGȤf :ނjyYُg_mNfR :=5 N;ʩ>[5189f%OIlL^c-EeTS-S&#uY+A X e %6-7MXxN03Z.ٛe}J jSX˅ݥ^ٱDL.1F2ed+ WwqVAm,&&c%Aa'Y%T"L u:FqY$%VIt߆jcLK2r+A{0tLxBPԾǢT 1 7 ooW421UB# bbZ5镛O$5ME*Vwc1c6/_ 4hDbXfEU ۈzn݂ MuV++9^DYkNC|-%ItqOo!Dҙ5i6rNS d\w-6Ƿ-F'S*Լ뮺&L̛ ?; e4x › oIqs B| A~w4pZQ XR.89!5ְ.X& 3{fا_?A~Zx1/lrH '`}/PE_W!$kBuj}UUF*"dJAQUh D#\lJ_*mLk^~ }?f$(\Ew#Ğ>7`4S"S(i}M7yt杍ĽV9&|`Mn:o K *|jo> [pÞ AӟQsnoSe&q⶿!@LFaӑ& N"=_Kj,DP '9B· b*(>q,™{Uh 5%7%%ˏk,,+ 2Ղ%N``9A ٧x+5xRh}F%}+[!"WӐqRR8 B9 tVҺ-du}篸eACk5qƾoul]zSCD|sg-kKOL]+4m+JY;a]5hWsJ)6⸳b80{̫O)1siG}eJ)$,NxEH4_l^Őa}zYdFx@@uK uxz鼇?\K3Q#6!H:H?4:0knБ F4.?VOњ1,H7 a1,x3aڦ|m!RaffogN&|z=HWcĀi dWH5J}ʣ tA=h>*Ti8|Or K̹5^)L%61YD"4&I>9T8aq$1FvT oQ)6 ܗ%K[ cǨ<.!;e9>ۈ,I62MXyX$ܚH'< @bu,3Y[z0{D20O ɰ @`JJ oK-12*ا94t8"M4| 62!}!"OǥdyQ QlΒ OPصyk>TU$wGB`wr/kLUp1ςD5"r2ѻw%k4*2qBQڣՄ*CJ"RNȟrCr |/Xobnہ\)5xMzX *>UYa;dE٦͓w 5}sAʠ q~}(>]WWtKllX- `̽O kCeQ[6: 'E=V8z.eT+dl$ ;v$A6ca}<#U"rjtdsEQ_wQ ?n"CMČҊ Ba]ZX}Bqw3LZ>ןydw̸'gJxURSQf4Ff{Xq[lF( `Ta}kH~K'&Ԥb"BkvNgU ʨ3L!N _&ZYh8Y;OG9z:oBdgiz,IC_ˣ%;0k<..:J iPVd_Niu:iXQtJI|*&zf&ڹZy[Nu o#`ddg]X90ƘYx`ˈ h&KAw%*>TТZX/Tg7ӌqdKձW sL?*Xğ <T^-Ƹedg)IEs%)m$P/Z̉mwfuF +B&BL)}3Ǽrq2\VC9UҦ .-(eNo"%XЁ&h5B9%Zuv$J0D(Dsc t:AFL㰽w3,P!ʔ ;e m]b"_ao6+Ŷ[@OL)/>oKhWyQoxvĜDoۑ4 }]%|ZےVvm+yG>3(:P5Z>+S3A8IQb^0wDtnc pEcLXi`/P==ж\ tQI6 )ڷxm23fvRg:cJTZi{p kb f ވrlՁzER?"r\*U[YJȆIus(aVkѶH++Fj7"ķXefoL=h+B뾡%~GPhiu.1bͨ9A<U%nS|SrmmxE''J't?1CTnCwk{F7r14)=!e#^HӬn7L { -麬;{.v /)v=sO]t6 +n[nH# }6cЁ){RIaQ?/ 69,&P  |.d/Q=#S F0n@9ny+`tH6XZah7R'|?h@vIB7MmfυXO6W*\knl!\k" 'WS_,&^7ʏ7@{teiP`_=l+R_"ƹn t&#ƢڻGԹ [;6Nr@:䁗EAঘBjJIjeDztok4Cg(}RVTh$zIH$.o|AϚG"wud:0]Vh۱j8R_#z j HUw('Xׅ#yqqh#j0 E{W({Evl><]; $"m7|z +XeA~ kN\30v< _>Wqh6F[}~lo)ԷX!~ZxJk3]Uo6!~[]E/ŏ] !@VXSpMDž&=DSfJEو<ݛC-GՓ̭:?>ۖ qOێYm }Q꩗ xy"YJ qMxwI0UݙĪ2$z%Wv>*Ϩaj@me8!j81#9h>&vݜa(dK/0 *#&3/,6%>Vٱ퀔\rh"R1~fe\h @䴼??Gi!^fUZHYY-y?@#9pSIڶU?.!VgH } n" -BR$, <}, k5@^ߝLr\!k7ȐjRf<=gH:OO6eLGKNT7Լ-NLq(bwL~f{DZCrZjTt9.&dv >F>xCw=CBp)>NHA>VƷRr- Z^Cbi*[Âe,8\A$$9OAtlrm^CQB n!J+yR/JxiF㨎PaCX:n|i畵htZUJ ʣj j?Ma`Kw@ZcE:&Kt9G8q 3C6-8^*mBΞ1p?=+k:MTzJ!T cHV̺=#OIAloqZ l@ 3Y"ܻ&7 i;_O& c OYy^ [ VqIvzh nNYDu"鼅?p_T'*(m*;tmH*\JTP2[X Mm&>'Scy*/=g]=>qr1YYqmQ2v9h!Whl L(C1d4> 5ǛR`69gV4EB´ڰCqm_q{m9 ,?oۉnZcry!nn@'ESvws n7ͦ43UdpC@"*b<%263q?i~m'/&b:`mJº\7Yj>=%%DHǁ|╉}X9-|wxZ׈;> ֬ cȴ:" *}"nbVTĐޠ46;tV'δLJR&{38.rۙq:Ek8aT͑G.AIE}ϤטE xLGY꥛gU]-0˺=Ԃ4c|9xc?'9qBDgKOv B[A5S}sד`s^Z t xX1!c `|k6NnWdy+`8&1tcf* y~q;h%pV@; ZGBk*w_&zF ;XBj+!.i1x2hP-\[I<ڿ6 GU!KShXsp0F$Te;2==~ƻ zI;: Z403&nFIw|FÅ0CU%+V[=LLH)4Ǻ݌Ag~BA|xM!g9˧mo3e1^lL e踔9=lu7t+^i< %ny,57݃@*lnF>1=W[G1gY9yk.4.BlqS߼弾}ERdӘ0B&[]ڿe wsk\{ ~ .o)dIɻ(4>U`c\kBYO}7&?nD*!-yjƺ1zSwfs2'M)7 ǔ}fݎP#UY;y7RK^> 9T{λSU q_. 4U_*N寍nB"U^sWV?Fm{0i/leJdSS D|guXV{0rBB^©diъ<ȓA*\@- HPAYҚli{ m9@EZc'g-+[lA1 } 7e#!w01Rnr;oމe/#bXϤ]U?F{g+MEM9_Fu\kg>4*UC]ǮFђQ%4sa%8i|`B,QnHF9\'/FMAʳ_Ȳ:[4;hu; +j P+y+Avg4!A`:OI`=6u\< ܱTRYpX^/#4 y ]'h@,؇mŀw3p5VyvAֆ`0Åt|qAf:ѠOyc~F-`!=a}!dإJgAyc>ᣘFXDC{ͽ~m)Hn2Z,0qۼ ^wP>c BG 7S{'ɋ_z < rTNu0O1؁i$&_!TUxj?I TrL8Ϟᣞwqs d-w=0rPA|)I?+<U[dvAc=I."MW43d.spíbxtv¨Rb; , arX9\^T?w*D4`\b?g.SA|9"@8tX-xLTgm\!Ħz< :6T*J^ǭ/oȱܾ7K9MqUqd ЃFo Ga0g{U ½sz#~ ȓ&P] \ue2bKgj,b[8 WԨb;_Y-B>Pw7m ꒫*5&-yԝz+ҲpR䠵' e=,|ϴPO1VV8-fݶAb}Io qq<ɐ@Ӷ &nL ,keP[p|g|!?6C<srO0ښi#-?e@PNWR5\j[xb"N0M{m1y9o-:]:1ff|q0g]~o^ʍϘZitܝD`7OcY )zpG,O |4sYGU<)}|ɎvV٪٢TuJ2̾8_%٢@F5k1t2/-qBWUP_I |}'RF#$6-?n +}"3CWGOo.q".-%~ y1=;,wxui@hO!0Zμ'Ek,RV7FacJX7ՠz_Ej] =UG[znFӉa-ap-F%3m3a*!FޱE z\)&bajxn/_S'FyD,|e8i FY7:BĠ9RG;ָl/ق`IQL,&YDZ7b& .Z'v8fMy@ު_0Όltޫ&M`tU$Po#aXU|/MPՎബSHY*'cM h+(.*g&<=$$Qs H;~_gQN֯Hy{zYw\Pk &O*!3.(3<zq>{ >+F8ך4z;^RIdEVzAĥvAbcp0jfY5t\8DDFyNO'F/i5.}fiDړ2niAtc(IT ?J X=7 - 6iq}9.s$OMXnވ/ kzzd%3Y,Yҕ1sBpf[>?MkQs#Hga+U60P!rA<ɬih>s6Y")UVL fU? ỳs%OVr@-۽EC~fWKs8?t= .9S6S4Fvj .:ԈaKԕKnɶ=j2mt ”lw xe@Nө}E蛋K:4!5Lp3ϸDyzጣsl^7}D6I\qjj7r2*Y@ ?Vr;zee޺FŠb)_ӛFcKVRWlr WV)Ix]`x>\ҧn7flF- e#;#Z.q'Qt1_zDوTB('\n@תL֮f1X.Gi 2pQDNZAi^SGLWdSf8kwPݛpߊ`  =)`_j$f~G<:p8Ztp uY677>%j^`. ?6%TzNys}% !-4-xͰˤdJaMl&/ (Gnx8&]}!;ki@ qfwz?/= ZӎLLNh~nz0QMnn&*.?v\b@s4)dlhG'L/*j7A`us4˓zVG{QJ%;ELf!W8PC'["HyŪԕx ZOjyP2rFHC!=ޢP"ŌpzfǬUI18ij6MJ+ȍx/,w}h:J! DDrctԅgRe[шPjU0/Lr95 5 (_XWm ?Ϲ GwΖInrtj sC6{TFK#\E9LQ4_>_*;)) \wuEW<߄n4ݱ6ƒ`xzo2ƒǙ}]̤wIy,sf`XL›(pVG`CL |aR!Ow3 Nx8lS8N,mi"/x|B\kPepJ2x"vY4"8!{M#w ƛ?ߌ%< /aV,ʑVELJiZn2l4m!oK=:qoڂo O%ߓl.2 > _bnuQ͜!0TT|A%?HHV[` @-^D d|wf3- Z)j2~VSٵuxm+ j_992_(Zq`MF8@k3jJ(jy?"S}'E#XDj%~Bijh{p|ET}{]nxP}V @1=t$;bsUB9"`W~oɦ)ew{00-dş0u١h1\`qq;( KȡEBA a`>>7(rv9pN$$mGiq*=2~ؽvZe &x:fD0+h7Љ[}=@ 'd,,=sc 1}i3tYU\(-z+3QmѨϕ.Tc?R{LguR\^ݬA`87H#AV %Ӧލ.ldӺnT.By;J/7lJXK#E]s`l!&85|a&C%'Kbi$>*\>wD3(L2µzyEc]GIT~i@ӖC!1}0L4Co8w'8Z԰!ҫGjHҙMam*F⢘R0ܖ4PμpV]6dًNK' ҃޵BkLk2K2&SI*.|1΅P$%jM8* D-U?:֋g`2(AJ5.#{%-'}Vݷ"%,FxAX.Wt??'|DЙ=lAsaݳ%;P]市3%23 0.~8{b}# 0MXZ3Ä&4vnV)Dz5rk_ԭ^nxm$[6g{y2w=~טgwK>[Ƌe J4Ֆ(9|*u#!G& Ty7O` J\uV]L5Ugl bwnEafoLgN\6㎮='UDtT/LϮDmatW Pƪ*%>֧^Qd1PSV77/!M2zSvC)E6rd7TFe{lθ!O7ʇ|p_"J.XE gq q%%N?N&axh*0})d!?<,܄ L FnD=Rx|68yglxDIͼZCOv`k۪Fm.73^&|):'|&5̚uW;= (c`c~\L<9AB!lH:Ab0AQo'`˅0:W- CsnlHgS%uPw5/As-,EvFgT_ht1U麫:ԯJl Q6u N(ã f^67[.G> ZXFx R[vi!RYaC ~+r 9ϋP3/DoRgPI|B4Mm'Ƨ/;M]B QLs͝DSI:4L6)YHPLe JbjYrṭ(Zɚ{[^T޹Ib"~e9ÿ^'-Fڻ ;X2ÎV  vt> Ꚉ{ $ ꇯgU$$+<)!cY73wNqw! v6Ac<(_󢊵n q:4bN?XqsϾ]hhvLJd"=_0Z5߬uC ǧ9VfyF7 hĕ|HBS}OeAj-T.KuK_(lT:m>m\~%)]ʭWssmhXWC8:nT XDj-՟ žfRP &_ojѧUf!L<2٧a:u48XhyUS4,D;Z|0Qzsp lj'0gҬ([̖/t9O+~Sc5~J^tM5d ˚^GN5o.'*I Z6 5ǭV3zhпwxΝ!:{O|8JFqgu,P$퇄!0]~9XJ9nH*߭ رi\{Z`=-pAWT/sݕx8XY{,;x]/fSMD )]~@_wWceɄ'Rٝ$Eֽ aCe-"63R_{iΒƒ촑y};PI@ʸ4bǢas-g-@/J&F?N#DBڠWf$жK{^!wS*SB3.* >\3TB069gͫ`Bƨ>Ѳ뺝Px"p<Ǿ=}sn5?*edP"ԻdO?X a>AjO\~dfD < 'h\\~<L}A~{Q[{X,T$r@ZKVC#%,bp^/= JRf|Fs }->*8a`:l,q} 56!wA E`y2WXûS Df~_gZUYۄZO;,w,by~ !dBBZ]L+fSb<,C|;;BU( ԍ2Ժ ץD\EETɦuveiwX ׸*cD*?i4|]ͻWOƢw4W[ҁCvXbIwRUj-zzs-}ũ¤VM"vi^j}hr9v]-z#]jCS]M+U=mijhW1նS~?-ZiP2CWIh%-kj&5zF3MnK|" tғncz/ eu:5meO-MMPĂִ46j]-dkc} ~U܇/~KC; _W9W\:8*H6y3]Xl7gD1`CHv|N0-uV5H ij:U[gFn8^Q+g1guk}$0#7h}lSP!CF'GWH؏rn_Lr"@^0>6݅OJ: dD,p)2 h}w}=EjEb%fPEj(5w9oW3q }W~)w5bq +T 1;۠6'WDDN--Y)p'fEUG<~X@+tP. ueďE"#t1SɁXT̏Ǩ QHqg:(*;X};ל/%ZԖ^*-<Wߜ HI--GQFL1i=kll)2J-?[-nm'aC,H=*%4U-2nv_]AAi*.w SRR TѵP8DT|?6Ɣ㈷Kf {n/.=PƆb7~лL8;/lW}UJ0Ӊ͛6T@-:?ǒk&9E R)4mEoC32odC@V#&y:j,; zbEރ0D;Gm IM߉}S-?VDFUoMira:VE>` ;Ƹtm+żoZyM|9ڊa**MrqE[$鯴{|dj}M`j deG Jںl=P-MvWw*ÕjLe*Ţ ۯH̄Ӎ >j[1+skJ2h{[GJ+;toms&>:IoYPLRۦ"V1apŽKWSL4S9esq?M%a)Ƈ 詖Ygr[p2GB%1Рr0&g\p:2WX~Ujr"Zc_ ~Y۽;mߐa̦3s ֥vP7ӻsQ.uDSZz 5"Rj3\4g_筦@vPњ AI&ʏ l6<[JO-xtj`t|Gvds̪!v 5zQ`@{\sQ >UHs4kFAV~XBKGڋHF>`'_dE Ԥ, Zyu*}3#ԝnF;ZvYX||;Y/񥪈lQ?;3ҍjՂ MIM+z-$ 8Ȗ (7$u:9iC^zMHF}ee4UЫ|#_ۭZqhӼC^6u'vq'G:p_ 2փb5%Z$5:Ɯ1aRfYgR f=c.}wi_W4>v'uJ?*Pl[J>mH%6_'5گ=Qf*}>Z>yni LB6|"E@ʁeӷ4M(=@/Pu#[nkb? rڬa8%=OܡFp 斳*}Bn.@~8?r Q5@/e?'M46|myC:N`{ }?Bk悼j"[v? @゚D%sNA]V@46B2?®1(|K>8B:wW}@b?%Gkf_i+fEW=2A@b/=I&0P F͝,j`: XX@_nOg]6,D'j|Х^8Q\I!uX >t*Ax3"=*BG<˶Qޏ*Q示1Z v|V])%aV#$ >N4@l~x{WZGI l+*0હLyPN5 /9\}SX%{j@FaQes}o|(;/wpy4BMCX{@m*ĞXiIlemRGЊ mT9?PV&oX,hyGv3-qmw% #;gX[3DNڻiӠp, <r0Hj^G6R/x+9e pTc@GCO/xAg7X``Vru,l`L Q $O$Z =hu /zZѧ_pVAYR_3D{UjВ4 e*.AёQv_dcrI!4Ea \d'8Gu4.YwVՄ"ncw(Қ]Ғk<ˌS˺g!'Us7;-?݊^@W}z97=!|LR;PTD,QSPQ'S'І->$iCJxpҖP(&LZf[rM7%E}t_wĕ\86z;,D孽 &2 АVaɎQy? % q_`C-9V^6 pr8AF*-ZgZ}-JTFzg]͋>-aJ> B '|a,y=Տˮ@{r}<(pV/hɶoXA/[`q]C6aQؚ"y簮- 7ZDJ*G'׼ſ|ˏ+Z:Ռsy[( Fovo\]=lm}=N JE~;8Y^I6L{auӴDwuǪR@^&4gʌr8qfa-"<;T##~H E\ah9V*G2l()~tݝp%ԧVg'Y]rcSM_vwbt3 +h͏^c\ay,yQ;VUiU Pw|9`ݑӭ|W+IrG\J-Om ɧZTFX5(8+pijrZxI .Tp̛qj6ġ@ {=ؚja 1[,4"y *،8^LRz3 "aBŤ)0ts@AaDJܬI#v[ S׿V_K. fe5Ó#+N=-CXלO;XZQB-;t}oQ eH{r쐆{:Bc (멨;tp\\Z{j&O t[ER.5"r'J38`s#JV<=Om<0U@zH0 c(8͛ -peH5Hh-{L cq;X-t֑\O=iȉx\N%{WR-f44jL9eX= [{b'%6f}sy#y-, ptva( _%6C D!-*Z-P.=l܎_Hqi)Čv9-}mqiU v=TV,?gm0u.HrBk+3ww Dd6:*JEl["&`{?f1r{~WkMrx!]";D{ݹ%4.;޻3WY_V5& ԰ < '٦L/{;D%tg7hKs=z 쯱u!B"-( XЫzzeܑ/`- u:@ѿLJRMՏpq^FMgh 017garz4BBQ*Z'V=]ߦ|eH&Tl2VS:{DwݹyhM'nUdsl30?c:%3H vaб#q^ }Z-zh;xdSYá%K9wa4W2й7]wdGV[=sp@aI/UBDnIg>^ɆfFv% G.yH G1n#^i 8.z,(VsW%c!SHWBd*{套8h0,Gi%Q˫ZFXl gt85eh rʥ4€u`f6G 3+^0D*zBlUX)xgk"Ⱦ텓’t@B2#Yfb;?=Vӣ'}+riDJ7 pB~Y[xl56 4X;1'mώc)!Is$krE2zE"<1BM.Z,iy#4AQjdD ,=DtJ*8܀D8KM!4"pVq*s2Z,hY5Cjmgu/q'*aWEd4I%yNcjä~%sǪß^Kߗl!/=j % Ԋ^٣j4cJYqGVʾ iURaۮfQbg( PcLAҼN~ BVDƲ7GD*ךu0\VBU%L;hYk) ̉ƴO&R.0[_LgyڀAɏKr`J\j t{dإ:tdd,!}N⸾}2{}A-9]# z]/Xʆkb@ת=-arH%9cFq8!*yozZR؎'Rdpaq7gMT*T ğo0D (Gl_7q-6Ÿ+nbys"9$W8>Iֻ!"](l߹{E{Ex4Z"Eo LD^JuLDv\PJSph-TvxdAElb| _IKp,9k:n^quܬVkSe_LOAk%C: '[P1E>6f=g 95Z5)NV8&J$VľmbC·M&ÁsUvz_@%LBLf,lJ' %>MCޖp!\fC2RFįt|>QAesJ]tMPݜ,7&B[RS6^fyE;pr#5W{Z) ]]r %qʴXtW w > #8C|8!;z0r6u,r4L9`h:OuŔ\#s,$%'?o Y.>;ɞg#{%G$̯tgX>N(QfwYc+ϙc (-wmrReR.wQř_ sazx!,QD&EhݥE.]*^U+:ύ07 GVJ}rx *{/{$BZ^ؒT?).#s_<) R:P c8N~I]O?*pە;gTVXݐ1wf $HnG07oӽAڹ .gS#]1^yT^*%w6A}M@+V3T6gcr<& %(+_Ay ^2Fc'fJoYtL f@ofUĂ8q  C& ڲqc )}aG{EGQf(xzSқVZkimu:h-臠O˅Z% ~N\]ķbۢ9 CdBLM&;R!W"[>cF; ^W <'@-#eL$Fju d64w&%$n!9G3݊n> oȠnQfPB?Q`G4,Q6mݧW9\Xf|"nteAT9jySƪӔ+aD@ů3r<+NhۮcIHNQѝyb(%0"L*ǀ…o՛6W.=vx:VdC|Ӭ?uJ辛!lE՟Y;[sHxוN\ܞd;X \Vbȏ i-=ԗY9iX}~DsW:)E֢t'ݮ٪jf9mܒVa},m a2֏ZMz&ed7oXnQ$EAuLC]"4]t-{"Iwsb] | `ny3n*jtx%-:DUvKOn(p)x'M0]H>Ǭd9~̨$*:8xТtDQgb[ko%ҮD&[a}Ud^),qݟNÿLcWΟsfۍbhM{AR1 bCSs%LXh;`|vn Sz.ڂW9]}@G!$[Q#P#ədѴZsNk}_f(JYFj'2@L"vi "[X X6R2"΍P>Q)yh3>2 O(xrB)}[p%Kl:O2;27S9xz}L=T}L(@ 7ѱK8~T}'@g~_C(ZDt/F^m`ׁKZ()8 »#5Dsj)1^1GXBap/.>z Q%Ku!iD/X8<j~|'듩ڊo쥉WYVP}CÉgy,Xͩj$}'^=P~A҂࿮N?}#&MMIJ3?"NqcYO܇᩿4hQr8RÚO1Ъ2%V͗\જr v!;䑩ԸrݒrDCN{1"̄G R {.oP^YN -b4uTm&]VqX06Hzf J"]8D ϵ`'qT3+KT}m\dn']6,y؎2G= ;_At`8XP 1կO2:K X/e5G%+ ]$)XMw\E}dhwu7p窠u]d[0k9@`9{MMG4<:+&5ܞ~u_"{S +J~d;)<12R8^k5`ɜRsb( g Pf|w&r˷m$D\#NA) .] )ڮkqV/FUs$n׻Nߘ gC U{AKHi;;>T bgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(ӆm̓¿ho`e@p]N!yH wO^E"vӳz-dKK娡RRY~VYSe)ffuT6RFt"H\NcIqka eGuVR`,=!>IgYZ7zXZִF! u]ŗXi%L!l0ٗNI:m({KKhb@<}LH˜20'駼Ɂ gbB`& ߷"UVP9.$:k-, z@\,dGWjfnK Dvzր -K_Xr(iݡzV,?| m'}^nO%1n+lZLa$ax1gZvD"zzh$lԸpI5|p b5~y;m~ao Sq`-f:ϧ2ey3vpA4?C7ۿˆL]7_EsɃZ NM <>әZ2@<XH6C2wH芍R q0d 7Ћ-ХWn{޵,.b0qÐk%٩\!]FHFv7bD)O>s~g(bI=Э>>؇;K2Vo,.8x?NZ)Hwm8#[g=xYUa)c-!^e!\5s-anW d$!YߓӮr><`%VK"  X,&1]Rb5Pklǯ׫جL.)X/0IsF5P\恇s9we7ӓZ J/ẇjsܩkꛑ݂P$3T 1O1e Ŷ%TT4I~<{v VeۑJ֮#S<<2,~29Ԕ(lW$4:(z]k)>̙F oM;O_R'lUM{!˩C͇e)HLRj}꒛kfwF:hȲH+wF"2aпQ/6{HCi]x6. cWuY0ʏv!^ɕ'POV#.(]tXamb+>+.l9Jhƽ$0屶s^"izAgpÜC)]7u~xfO[g=y섈JW`ݖ UJ|+ 94Z#j&е=yu(-0]/a(k2(Vf_hn9T"S}`0*G#Qvl9tmvM QmҒBBwgc-3} 0IOQn=R[L9J҇U2z58FC^ʷ@;ŮX#rl)C.#ZrfI>˜sRg~Ǚۮt{fdzaWHM!ٸ'za"nd~ Iidk)c5FoQ,;9m C+m||}ہdZU.fwE6BO]&|ݫq#vN,&6Zic$dI2pt<: x+_YbuSZqrǒ t5 P9sձuQg8U ~sADώ? I$j_iz&Eb'5:%! Y!$DYHvasΉUFyW=u[[Xp<>-ޑ݃24 x^VCtw#ߐzc L6;z9~@Y6l F0_!YCi;ԲKurh/0 Y53PB(Ӂ0jb81~F<}1[r/ޢi N.#jpuZEMGx],μ,vp1%{NہIh3zEޣRZo3dPZGMdCȶĨgUyX1̕hd}^g)Nҍex]%m^jI R[og!ǯ]a/ 5/p.Ni C 9ߘ .([[uK4B}{De'7[;gR1:~I0gD - /TZu 1mZ,Ħfx1YA?ʺ 6xYe@&(9oBWP\Ke]bx<0,TyhZ_ )b\4 6[+eo K6 ls_#:ac߁<̗jZ+[oPKniRTC-tJhgF,l$W5e1noc<*E<Z*$^? BB[P+aUV2PϏܴcrT_v1xb̦jnk窜%Y 3aa0>d"oOerA;a}i%TapbJ5\l*}̸kZ /[ZY"L # f-_HHh !ŞY٣; П"c-12H7kX=G<،,:JǫXpQD$t2W& ]E0h?xr;PK?7#QL .u& KyA8](SJe3mpwBhb&t^hHy,Dj$]!: ܷaKpkJ27SG^8ypx *78hiS+[Fq!i$AZʖm5ϱw!c[ޝYr_მXOٕ^x2®`0-^klsF&%Q&;GNWq!U"늍!{݃Nϵ,3]dC 4r[Ofl144)=FʧS =42ܼ6Ey:X\Bt+ gTJXR=; Y(m0Nf¹~xەW)}ţ1yo,/>ײϲC$SۅsHA)kK왛*!abE'vHs =*LqA7*#}:n &U.5\o^;^Tò7=!28]_$,_d0) H C63K~ j:Rٚ^BtVB%T:V@J!LA9差R}MhE9&F؍P#y28@ Ekl\KkZ'Ե1#Ϟ~8'e!Aj](!jzH*1h2 BqSi`Qr[Bh座郗svϠjJZ*DPS~d<ɀc>|$sSB@aCIȺ|}zYBCJO"c`uDQu9~J4Y;y:s@^1p|T ry(%/;8PuEzJJ۠߻|@!p!ưXi1a Xr$h&UZ ?ﯽD$;#o0,eCFfFp%[OIsFyDg:ǩX>RN 0"9ad-dF!1d1z$\$}P2\:k".}S9x8:O/?d]m])p}6SS \mbsr}"WAnC`!;hhrJ04^>޵Y* ȖSwiUvO׽&G^gYZc2e8b37dfa7e1b7b193d4fb2aa7711e10db52cbc8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387 07d5259867bb6e7f9aea952548e2e54f879a11c5 2212c7a0aaa92e8c524bfe455cc3e501857288cf 3c6976ad94aa490b294eb2a612ce13c14463cba0217afc8c261609783047650b8df60db6e2d34b4b