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 B)L\| ]%]Groebner_Bases:threads=4elapsed=363.628cpu=1279.160gc=138.752factor=3.527zXZִF! d']]ŗXf[&C^&^gnFLgfQsj)9 rJј XMI>x7:k( ׺.$'Mﮝ_)0n61!aރjͲΡ?b*q[C:.[>-mOP5lxzhaNk%dW4"2{W/?ɵ]UͶh[=仠 A:'OكǵI # K'-NT:Yj%9qvrGh@K^bGyM"rp& kIRa-ؔ侫&pW^lߺe.У,h?dU-H>+MyIR^ʱ\?b[e"d~@ Q+^IEk@/Gb%HS@ZFsKW: ŋ2C\Ǎ[DQ]b3RFe°}).CšK|ۊQFҶ͊20=PDNcn!46n2-zp"{^t]HwB 1PATvT/ Z Ɓanϴȷp rq*XcIE  ɡ!1M= ?g6\TmXgH^h{Jf&̦]BA?wAt5-*[?--j)_cйZ=;VAoã:<_J&&3'xֈ_.[ù󩯛TXr'%=*Y* uJ3\ CRI}}J Ɏ媄̞dp'm?V5\%o1R3Asixz)}$Rz0r&Cc/;ɋAAG K0if nMMTvǛ;٭bg\2'dpʙK"J`umJ5񊻮*Bސ\ŝi g#Bzp{#Nij`hw! Ydex6Zn&,~](ڮ7JwE[MOLi.' ?l5oFw[hԌ\U0 Ӗ;4!"D'eKI L5L=E6`mlp?l{m oY(Wjkm"82UDAm*g*ULa M$RTP PY6ncVR/׸mJ:<$ںU߹=kƆ9Q*IBA  32B/UkY10Dk CMd};P{`p'9tPyr_VE&Y92DPlfŤsDs`N)P :"pKgM~"NK?xUI5C1sZ5ѷD;8Pٗ^|ھ?Sl1s(Ϫ]5Nyq4P/$[zu.;ypپڝI M'3|i͆R-A`X,,>k$b/M*w-9]dW(LUD@~kHiC[ٮO9&G GǗŌy2 Dݝ9L࿮5^Y䌳Fg 5"yV( ]ąRÓN[b||n,o[|e=*Dt?mS.jq$,Ese g j]9/F\ vʗ1CbI%_*f׋8whx l;sA >|* q!>>lKx]h 1W 4YͤqJ_ UϜhLM}#@H7Ylihӏ#T}]&i-S)1L̍ՋG|I "'*"gB~0a6hl)kb2e(RTS\"ہRwC0!la]g(D$L53\ RIOɞ4E8ysa$0ſ]FiHY=w,@l=~j=x@z뛼,~ =[t.?V;\e3௛Q\hI!Ն(Dkn[/89yztk!fxWJJ.w檝/xV[=јI%ׯzNjc^˗q/ j|^!aϋc>zyq$bC(a9~' ||xyv'ʲgBI.?8꿈w :]&u2r]B2E7#2"j. $?_űu}kyJz}m% cz^4L< AK'D启?/NL^"C/kᒏ>tLϏ`^[2x bllϝW?i*F bq^| HI;Ǻ`3G=6+7_*_z[` +rS)cJ?V2'r'J%,bn"GJZ< +1V9hA%x>^EWHK ?swm b=J{MD'G O|Q2OAI+3cېȬ/]aH+uZ/aZKy$n yդrC65HPK,mYXkKH ~4OWgܪiDȯ-,Ut]!8jm3f.l3Y%}>KGob~Gn*vwn2>2Fm4ThcNAҊ'sYDkNcؑp^J-4]8Dˌ O+$ZϾ7?'-Y띟aE1y 92mNc3= O MujR2R@K Ğ8jQKJ%!Sv>@TN>&>"h$v;eO5L]*V3<&1߀G2T!"Yq^ܿaO `>hy^s &”}myj9ߵ_g߅0?ޥo%C1qDƊs8*}rcqPpZBWRzƕa#K^+#u.^*%˸,X]Zu',qϜ^6vi2?J(9poP2IS;WOx!V1($8& Z1?S\,]nf>mD˶+&KXSL{܉~w^W])=mʬDԍxR>mue);9)K\殐t7aIڄeCbB5h^se~ƁSBÌ;\aFtwWvD@>•N&`Iq&gƹd:8OOW蒚܎_˫3+Zv&,' oGGg)t,bCf2M?ł}-9ej?5aSm^ ۚ]3wa 8hLx)q0SDz* ufD*`+CߣwDav#]N^'It(ul*!Xm'xw5ov82$478:(TOW.MpЛ 3UV}ܞ'`@_D/!߆Kah5 #29>}f{v@R&Ϝ\Pj Sw"y"7.M6T=sU0ٔDb/>}5н 2Z*4Ua#Y c 9Te6ݨ T'Do2,wBL-?G8q'OmcUHz|FeR]k% }]fNԼ/5c|xث^If(Oa87ޞ edx47Ͷxr2r I6\xNKJOf((d琉"Y-Gs'YFwşm w.HTn1FN2Rr-a@/eu {Cx/,1~շӋA3lj 7/ZiBd&")S1a#>-9}:+^4Gj̨;R\:XE1+'@TߡjݫrkȄ y.DZ@).nhuuC[xIsY6DһQ0 ]&]),Q`qi zalf6l,hh6 -W=DϠ6Ѻ@L1ؑ(@h8;T#?aQXY1OT< \U"Ԉ\h/d@ sNL4VMjJ%cy,02aͻ_ڛ"3gCCd嚌*HҴ( 㴓3Z8WvDoDz XKk^YR1ޯu>} Zb|p$EX!A8tyh讼_=FS$og]bߕPȄt;^PH#@78%(9cKJL(B;PPWS,gw33m'9^6w$)^,I('ZX8ZIJ㸶:"> gFSsRe ۞Ӄ! LJ4b\AsYeI(w[d<&ne/[;3,AzG(Y߲ <*"-{B>Qf!,\IXJh0 Y1bEo#mɭ9Žixg艙-)N5 z3aZQr9HS+m -;Wj3-xW5Eq/22$GlڸaSeUi;_y9h!Oݚ9J_7{U_˃y^8`^Z3l$9`w8Pχtw*B&^Tahh⚊`͊$;ϾT'-?I'QҴo!_~]:cg[7kvbTK9T 1 `x 0I=&9>$lXJ3 -_;lse U.ɳ[G0锫gJYЄ.RT}]~ ɦZ~T곉y1U?DC^P"`IZoOߣ%{HC~!%~5qDñK韀}LK9 JGN!1hIKԿR7'%'p۽wK~ v!G){edX^@3$' Yo޽nDtST(6 H6iMq{A&lZ, =&u"=NH{ElC=~nI]So3& :v9=F}RWWs'Q-9?f =za x %ٟ BiGVG0H#j wY >*1TJ$Qп$H=;rJen0*{s,_^=V?%lfZsi48a|'(F^GR5@5ULt$]e)YQۉ8{ey73"I]m]ҏ\&eė.:b` /ǣ.(:[0"$HOtn^KЈ LMLPypM_5?fکLTW|qỎ%,tC Yn\40@fZV)GI#|rU~ĉ~iv)N(6EE$\,0)W {TbGhPI 8M `źO1<`:B}9_/ /Hk[8ʜxE"YB8G|X b6ec ? stE0˫D42AP 2/DĴf"aHO ^b86 @ؼ7^ V7Z]iZtGݽ"f@Ð=ڿg/ ȾD Av3-$ VLmiwiZW6OmLƛ$< ̴!O:Zohy n9V/K%N V&*hɳd6S 6&("PE| 4"0u5D<#G8:W<Vp lEAWSXt )R~y[.!;kj1?BM~D_Y X..k=ijTҴy2:쫌7 E}cT;obNds'dvKcE4P #+F9xEyrwצ#Z`zHBv1NeK$&(7QKgNYC3y Oh Zu>|aؚm2e2ek <${qȠg8>70J[(Pn!4D>B2-ͼ̲@q?J`ߘpAOBe1V6:s u ^r?|V3֭ۄ(f\{!fmײ&BW*ʂߐa16U򦉓o*=xOzvY$+ Z pZXr=xDa{(^!BȪp^ڝM6URV~f]EHde}v^rr*U"VK-Le!II~.EMj Q%hE!zvi􅔎]|UCmy;3sf|TiFr%6VFQ/y&UFqUܲiMZB)`KG7z fx7 \{?`%,ݩy,ic2'K|Es❀;z1peWߕ6KI'z! ' 쁊nZXm߽9tOɢfԻW,=[}VRD@,ylFyÐIE~@Go@]"ϐ,'˼Fg,2NlOEk%xbgnd\ ivʩE n#N"w{?ݼ](Ĩ*)`zp,d tg97iO|sIFF_YeA0~wPcuF;KUqz끌a6yWW4X8nE%>3:N3bK"LJtdR.mp s-1ǟЀZ؛YPoxZ•#%^nKĻ4N)%\j :)Ȧ)W0JL0m8_Fe_ B&cn0~Oae)~~\;I]IeIa*7YeyQLRuKS;OA`՝}-X4<zk;3"FF>z/WY4ت2eAeO1I`"74\ ?G 5@gYZ7zXZִF! 灧lu]ŗXi%GNi깁S'g%R;^e,.V%ڏ X1Zak.&.LG $3nxOVa-Miŕ~2DxGJU)#Ǝ;Y/?;(+gZ开4Sy ?,|/ aNBB8f+`ɟt73K?XmUh "}yqq4oWshhԷHՐ]7tsA~2}A mi,|fme75{8Y P4& 90$Pt;ܬϪr}a~|)K{O:Xܸ Ry5n+L1 r+jkĄLYթNrB;:UG8'Ѐ/g|=24'̻ 6i; _N֩AX:eBy-ͳQ?DïeݫaUy"O",8CsZZZ.s YD(F#0]=YԮ*M~Kw9  r:i>Zw4^I5/歬Xu36sg:@>j2BkwIFs_ V{1bf,J/+{ s~ +qhjx34>&z'f4ogȕ]Y\1KLAoҐ^="G~]ssʵf7ӲvY:͇qgwFxij2V&Ź sYcZMw%~|za:d@ 5Bޚʐ+ۖRv%n\ӂ,SBG̒VhdhWRZNmURo4SzT z)L85… :)´c9`#]K6l KvgԷovkb*+v} lO7tȫosII~/6$(%I~GKO2/V n')Q[MLCGN T4}G.mm@&NZۉq7~Tg>5 IV*R)X}v%SFϩs7 SaWF3s+n=v2#1BwRDM3zh&]qXv~z+ ay`Cn<er$F=}|.5r `$3q(%\R9ل /5a'9wV)0$V6d ӎǠuPq9b>^73Uq~;vTO,05:>N@&m^kAPΕzOJ*+6!;檺(| g+)љ+]iatA7- $-v^z&@v%ʺT >PkMGW5ySw~+1Eq#FyJE_dv[1'J;JrFʔ@W̒R{S)Hpq- `U[ RE/Č<›NU.]{G|&ڛxx[ib, ;'?;AxBWe /]G@%T6 @,Jqc?}(p:ZhT1rdܕ]Gȏ)IeDN}0*X|-ƯYS?mhb}5M#m xEy%-s~[W/"d;d4,g)JtD.w  ۵LKס;P ;}dUu',.'%KPFy)M1DمJo}kY e#b%w"ѿp9#Y(6o=6 R!|羉ȱc-+r@R5:CA& E;DaEӂK<t2$k x@AF8?-K1 z=ڦ@& >N̄]eaȃy3$`_̤0GKޢ>LH`Q;8w}Y򟯋^PbӺ{,Ќkm-o4 a}$Jdb {/AJˆw{N}ȊeGXjҰaQc*U+ztlX\IL-lm~rܾ&L7PTg1l zbP4!IhZ&I~AK)nlUGVsQE?G7*N6f 3`7E;1qNĶ[?iJ yw!ߒc~BQ%CKwuץ:v` i]yoPY곳5K3) ?c;2`ӗcfH[ yl'@<x,Ϙҿ<FQ$ 8~d4Y0@yJ?*oB"I,A#k@Jff|w||8~ '5:N 1jLSR7fJ0 % x'z[w dncip۞E&"sx $ J'k3Y!bW2xΔÕftC~0-Y3GO,U2Z{l}Ly̽z? ̉vnKn.vcd5lfP <ݵ\ŝoT򇒆 \ xe9,IN=) NǼhH]ۙ9PtaͫTgPvWNyF%(2+Xz#"=9xEҪ\0Po$H&l4X0}_.8P,uv{˾RoW0}DG+ ݞT-G*Z"E/<싫xػ1+a7R۞?L&nh20^:_w4e,P#F5k*_ο{!mM(&~0Nɷ4 s{ R U,h'S!jȇDst ;ϻL,'ۧkJpxHYmPu%so'*,-cel)bcjId l]mONfVdA#m@=@k*MS.0F 8͐;%k 2Xo޾޵m n 3(蟩?@gS3õ+n,`$W #4nN-:p@]ӫQ:mlخ*_l2ZhOERB79)$ҨwJyXѲƇ{44_J [Uj(P{㞥HvO۸C&W(,+,arESpQ-C1f,EQj9>$(b1S_?f/ >yKu *f˒zq(_n F wlOA\*xp桢#No 7|o5<-Tgm8:o緃*Dz_#bN8=}pBVdY g_9I,wc8r3X d\r/Wnu O4UDZ }ne7Gx#hݤb }g3fc@x#zzr یKA##"$,L`RAՑGAF [a[r>'k!9}ݤD!n)j p~I&R0o_|OK/e\ό`, |wdj^tOAN=Ȱ?3C/.MwZ &mFSty߯)\zapXI!d s7Zv羒<T!D>HV砖1Z_TB%#~$o>,"JPqK_.rkCb斘N~W-8@^1(Ti;B+SdƑn`$䛭;8Lۉ4jp˭>  Qy*>1ntt [$}S堼?6+eTA-+bt hLb FT!iBnE"||;%SvX]n`<mRCuk<) sm"y dr)ū4@m`(42Q7$&IWNq *`lPc%tյ=k!z}T5F+j^P[Mg=<Q#R A 05\ F? JȮB K1ˣLi>8)6/ѻt֟o)9Rb͐g b'*>GJ/1[uƻo}U| 2]^Zo|ܘq L)oiSc7i+j"U4XY7@pϥ-RX|԰!sH"G.!#Pyk\OH;7on fوKN/T6fĶ=u^1/j"Ѣn-p Uhq9%g~^}Kd1̾?95 2OFAٸ DQXUfmp]0AWeFsv?h }[FOk׮蟎Nn5RN?Yn^/>99rWpK,KrwMR Yz [Ef'Dk +ʂ$C>&D4AIgULz8M),][Ay+iYs .SG dώBz4-\§+b j鰉mEA{`e'U9y:`_2RNId5F͇"^Zޢޤb9P,K 1|ԳYSE|~bȃެ=OcR0%j DxxZb2_NU[jlAAĠ đU;^hǴ]2ws۠uk0bջT==ob ?\9C/h yw_h})W٠*uқ*MĤC,3iU@?B":T.]'. %:5,4R-y+Jd](Nc1 yhۢ4M]@̏l]V3;8t'!wFt o}uњ]Ou`!A$44Cff;WěNv8oM zVdƮ~dk(@ԪV7 =ZNMb: ԢG~ bNMÝ}m >w|3ɬEWh)hV'I{s@PA5e)J -Ayi$RioQH`kwǁPhԂS7Q#h4$z%Q /Q bF/b[CcKשsf$7]n莨k&~ \gTέu&& "'эXcܯj nw,Yzou1(aCVsbv-+6sS)Z(fw[ )ܼTV{,zŐOtNH]~/&IKBL7Pc8n%<´h6wP+xFhm2̯M䐞b >z!io^/ &f׵Q[N(.di;GAL%g3Ӷ\"!NYN$Qb-[eKџ boֹhn`P x?jvß13iDi-TɊ)%!6r=HcV* b~r/u5t|%!D%\M^n*U=g2 dL%Ek~1F-c: bxA 9%W(y+ĦBz^lÖ bhsϒ=~GZ)χ H? Ol+dJOQX.:shS C^H WHăpRzCiJVcׇi~W@*o\[:鑴 Z"MNȊU;֏A! ]JxTIYdX&c0eN%~gP<@h08`v*Qɷr PB-CM MȐ%e sFm+=||e4AIOXOSO4k@OpDfA )guyyJ2&̍N`W1gWzTY|qal@b^>FEt%3Ml #.tQ;t~:I,}.x5 -E#VцDi#}!03;^^۟񒬬oCa{/9ʦQ}ONLLӢQJcL/7u-cFDVYP',;8ng-/z^%SֳB~VFEήz1C=Hу9hlƌ 3x V{M)&ɾG39t`9~IxJD)7Ksz#JgVɜQDcPFϒCz4̿s|زGbنG0ꯞ"4nXҳ\'OdBܲE++kcvs>}&3rHѩ29/ZQ4m?P-).9u R\Y&~Ӭ@)A$R8,6J7˯'}~;ƹx[hL|gVedHIi < 7~6GzObZeS[?{6c=y}sK߸'%/%m7\3+05wqYgR)xa.Cʧ-~bxAaG:T"hUIKYz#m}^ʭ :<ZAulD"9@t`Y6)u6ȁ1Uץm2V0b6mGI2V@ ~ʃa\ˀ⨬?Ig9l-䪐ּ?s */8 {W vCТɶC6@#H??loV&%Bdczu2hGu}mlfSk Kμ'3m鉛8"|U~4$K<΃sT &eS?DRohkm9 ^FDz>0j4aČ҈B] g3.RaLSRj9zV5g%"stѵPޥkS+/EO9D=JO4o{ޞ'3bdzE^YDɮyD,;wQ#HHSR˦^5stp, CI~q{bCIaOb]T,T,Ĺ گtÌ3på10Y"=S;ȴ~Q Gfsas6=tA K~1Y!84[.MfR k&Mx0BJzr0p%TEU-GXpш!+cރ [b9Q@YP5d u." my7>$(IY5pDZnF,Q:S^͡tYmkD[A@VMk>s@EA&;SRS>+Mx6ږ`]+Ƙq7L?=ʩ0}=Ie2 |vv + eUi`Ŀhyrj6ӛ!P<ש֚^i}_](:{>HMU`덿 )3ft*݋f'ِQ${}m毴_X$5s -{wyo!l&BNJ{BS^hB6o`N_`8BA.j7mKUvS,l!mN}jϒ [Ӂ-&Bdjʕw>Ġ$M|B(,ې uSQ<"˸'BP.O=Ƨ|S h89x` )r?h&A6g|ac}8QmAۺF ^> G=@Bkm&6%צ7D!dP%3$^e)'PddtP OL+*qcS2uY|S#0$-8̭JR]\YP=5%&R2txLJBOU+cDrR<ՅU<^IDUu\Vq;g㕀45ܐ|iMFi*1ibw8-JcEI~3Y|YaC$1V>c'U yL\Gؐňٮ`Il[ D^yiLFZ3*{PT3gh kH;͢dli5qRʯhj0 /L6ʓԄ$=1JҶA LRI&fFg+ZI54yh_0"~mc zgV" $y(}QR}J;zm8,J)a:/j[Ѥ7'p1ۨB^LBڮ\&0`ƍ#ud4aDVSzAo!I1ل>-`?e tks7 8gX3nD*%Ѡ(mƫ*:J8l~[?Oi u,UJNcM+VUbu8k}x)Ŏ ޴GERuN& Zc4r>,řDt|2b~$(j v!9{$N % :VL{:aONW*_D 3ϚxNi8呱nuC9x.Wioc>VOe8թVO~5/w \6_2Z^<\dXde A,6S)DC7Ɲc_\NsP vbvP0aт#"SN7E pdRik[hDT@ 웍Q7z$\bPtX? =@yQx͠CMtI@)"l9V} TVni7͓jfvf+ka8݂} AI\WM/1(zqEUP* 93C4 ű:S_K:ƈVaȅDآTE`!sZ+ht3Vm}q 醵Q|?D6~QP yJ/gd3F+>æ0|>V81+“w[H3--0^HKdU͆6.:nn CG0"Xۙ9 Mh@r:\Iܔ L (|*[*DAv%9`Tv fg(Fe= EwmUjc=yjc] `59E KMT\$ g젍a@ _4M&]eç牎|HݶUO9XlrrZHj^~U?ĊyZ|xeA#$Gp0&%E-DKbP."b\-1O1Em?6u!mEv3֊_3F!Z 6ѝRo[K^~h9u׼Ѥ>%ٺU,+c\_U_ʨw*EPi׈sҁ+OVyFVqG^0XzhؒΣ]FFVUݛbب?Tnkb|e1%T2jUx5/Xa]J_InaOo ~M ܞn TtߓFߔ4XZHuC%=1gUbc~(}lCKlil3J%^g=\Ah;-A"ht[0avc X>bd Cni;mW;hn: ҹ|8 FQ4iƑHxw皻ƖwEkN03zܤd|ksp~| # `wUzeh9C13/4 Y%uJ8~*v oL R8> =}4%^}HU5@Bû}z+6k$G:/˜zm7 $խI.MX(kº #H-ya ƉxpQA.-m z$;.s4~QU"MSȆ.sn_Z86e"6'LcBӋd\G] Phݓw6*0dťkPg40ڃKįeDv۴EEN]緸]9 ! }[k*Ǡ2 t,@C |u)m"h uZWٌۙJym6SyjZMF+Y魖Sƪ~ԣOvTpCa4p&޼ iչ*M |K=sc$LOBk"RbU$U7>(M矵5Motm>l<:g+=%VjUZi9F#ڻb/ X~ڀ P1NF}﮲V 3A?m?*Yq=]0ewwvw_ =-jn\h7/u=PCjDc$RʴP[WCvW;ņ Ne}\%p7O *m/}.}aTK2NWz6OQ;a5nb`ٍ͘u-;OѠ ' #9:%Av L!-cүdyY7ې9N۔ vlGפ$ /$?Y [#̚X m/QNJ8fl~̵2UrKNgM7,jn%9+CΓJ3V$5Y"v`)7˔KeN" L5QⓁUU#B$g[QTyJmM-alE>T+Ȝa 5Y^ gH{҃u@߇Bǂgȸ(5kҚš}I+Q2`5cTnX1DvM[a똍`20m1X~f5ovQYTg>@ "ݿr:\ࠌ}{#m+9_wSOzR [:f~0|D%67_dOmKAJF2پQV̋# IH`}ؠ{pf{W nnCs18k63|Z_yk6'.O #>H;N7/i9bUG,GlL64'j5I)ݸR:i5M܆wxg—X[-3r3Q4sRjikanFe.5FEє o:8!`Xny{P^F`K/ks@I536S#U$e$!R U ;3 P" +l,JaUrg> ss"Zٜ-ϳ Zpq-KʔmyF.MƖgwXqDXC pPʝAAQ2&KtY2 }k=})U |VQ9#ٱVdU2<>9ȾFV5F7/@\$7,fd]pcξXk$pYjY܄˯ n^6AwTӂ2= .&&Ѯ-6+E]u/ړ7D4ĘE9'RW7H̵Qw _/?B A.j) |C ̖,C \jE4t %ZF i¡UB@d*5nu`1$UH8;4ea\` n_<(g5Aih6ߟ:RDF<= F r0rs]CGf<_m/٣H[VC'[NBJHL7ˠ%\Dž;'b5{6sWQWYʼ̀u^6ƚF3FgV2-uZS{oPa\~b6bEmWe0GyE\֭{2$z,e?i |#"W {ts]INnGyvgiů/Ke%TS{ZNF ?܈=NK O,e'cuORزsS)iHR].43} ? Bْ^" qG."vy^̱~5 zdx]m]O7-4&PFl'}of^5;0 fm AO3IJg~ Jy$š7 M0zm\#ѷ[a(9;@P ?O־!}y栋d_)t}xJ7Ps|߬,u0Q1d[x]= 0yv/ZJrzR&ٛON+rӳ3ƙH8:_d9^L>V(6}#~> Og yifK NxVdZr} 4:u3%EX 5`:ʎj)#6dҸ,=B(sY*Ą0丱_U|<)9udFK@Ï(ֺZ`Cn<at.䀡 M!]܋l^N:O_W[ *bFS?KJgna҇N3{t8<NMm,@Q~!_v(MkKw/W(iHb8mOju\^Ly {nPν| UPtՏˡZM]l0zNd:n$R I<&~)/l]3j EDJEpv#f1(L?Lv/(J_gȑ0*"8Ɩ)"'/B6 zO ܶ㤹a;Xn/@fr!%Uf,?,<:^ m7$%ӂ.p OCp酹\z{Ȍb$>S"Ƙ]i1!0yF^35lPw)?+F5:/-+V ƬsiK^Y0 ~*Ĺ/6u?頓/GIX!&7h HF&Q~2qHg٩{Xi`e`-} a(^ ?&\G1Z&P(Y`rd&ma}4 F0ۉJGYڧMzAE'Y=gdy'xX)R* ̖ >„1`0EA?u.+ɾj;3zhQ 8(G)q}nT&X]QioKD'/Sb?-PPK)%;Da Nw/j‘0;CSZdoS1vT+lHE,C&}%cl.d;  wx|XS "U7*oUK$6cOtJ&JUNͼElWi>m6-Rl6 x2r3hX$Gॾep?A17w6Xczoh43dnd)ԼIkM EjdBB;֠P&GXDt)D*d\BE&4yS_o *]-;RO.wU?{1{K!x z1f"}{ߞ^T^Fw[/uyNfv:x%J 9̀v* L;fHU!_D#/`oz;~h=()b}yRm0$hS$Ky_^GĜӷV NF6ݚfVT{S)'!p& Nt4 vԖhm>! QU`uLUPlU$~HC[' %d < 4ao8CЇOSj>\{qVjI(TXPMOq7NV+J3D |yl86 IUR+ |9k/DCz݆MRo3-w[$e 왻8X\۝BPFif{t'A >Zy1EV2Vg#k!/#[=} d0JIWj 5m \SAQ.l~ U`۹g}5L3,t+\JKNBXPn?HkrV^tc1 &d39ؔ%G@2s>% W}jD M,rt/7h:/%AFo-xЯa4?'`z J{`y*CHA:yRMVUr@i7= ;*V3$usC OQqkaø/daĞ[iѐBۿqIi`S&/Ypd V(x${^/Sh(neInUg2^}6/xn<Ү.+siiXSIR,iyzԌM(yʒÞM=Dܪnj$ၨ)BRMBaaEo-Ocꭰ2WZ/ށ_R̙J#uU4*LgUU_Y2sN#oUʋEMyR6LLI>[knWߋ&FG{vfޏp{{"7~G=rwUsfM{7b.]m<-/}'ҥEMk4+`fQ7}$s<SYOy+\cr~[#4yչgmCw.AЬvtq??ex+#VSzn[MjXY%JE5js0}QV̜@n|$1𠢥NUwf'Bd(F[3za~J\BaM(_1EaV~6kU%A얝BE i*k3u9tj*(cW"E %,XꒅwR]&icZzJU^gj {pGX^C[ <yݵ\ RdmwBPX6[é% af5zX釉~\+5%%Et]1Îэj"?8$h6"0͖nSP'4j5ava{Qxubj 3-Ly]h0 zaG>&UAPS'@Z|Z2$in~c}mtVC%*u9Pgy0 xm* :" b1eEO+퀨y6gmmqSx˳c~s5iD˖18*s]FLS⯗8:H^Mz?~dwK+@d[03 (ZzL}(O~bNtSԪ~5L*Q f6,-h|KJ73|73gH&G2Tμ eo6#!p,A_hKL_! b;¥13ٿ1?gu\ Hv~}zA{܃ yK+zWpI&9-99VO􊟼q)"#w"ݗ6k3::B3zib(|R0mӔdŤh)w z {gƝ!cVEa`rSYC՝܅`6u r-&X dВFmqZn64NOtho)8dF2-Uh 򽫲 ޷cjf1_x x-![ngx)&}Dz읽 EmK ߅c7U7>,d~hrMp;Vo38 (>&pk3;<+4t =CaA;<=MO U;lUR[-K'QW;mGjρ|65 z1A95#HD T1@VYO]7@x߽$!xC*fEz[=rfJ]>>?UyZ,<z Ff!e#V17wUkt5iJ1 hΡVx5z4߅l*b S騄$ #T'CvnR?~{zXޱۛBwE2 X%HK].%4\Wl<&"aBQZ6<(r(N"Q=-L{Ul:(STxhK]mL~"( #Vd=)+$zﬣ-c_1?пSĖ{@i?mz Li^-u` HnmnR۩' F÷4VEx"]X}6Y/8MNcCA9uY=DmUQ.U:b N$~A)4~۽ksO<&14udEi2{>es8PSrPcJuKۉc)m|]OltuzR/phG` EP%Bz|]xSQ 'C-ؔڠ@3iCWcs~C@j Hp>+u4_`^ưFm}-9Uƌ^#U"wCK)1s6N]xP?VNdȈ9{tpO@o;G;H?[:5t` W>1al}AN@`.Me)ET4\;V7wܔ7+2"B\bE%vt#u2>% WC _L]>K/䲡/ hX(bxO@-oS^jaUx|kݠ-&>G $L&*^MI w,J~BiԄ$+`=13+#% 5o;Ca>ێ 򧊹Z6)e‰ Ԭ18bs<[}F`!DX>=Q2r`l+lBDmU[߭c[Kr&տɝqel,{C|:q8 ϯjyЅ TxQAr+ݔfPb~-䔁oXU T{?+WzUmdfRkʯϧc-[HMc*$CJA.ϑHcg`Lm0|%~3pTSA@D}8)Cg#a ܣvF$_U{J9\͚F@QR`ljuN7l͈D Rގe^Ǫ̙GRXs֑A]hw\emI&-Vحj%!F$2lM X]ܖ$u]~Ew5GҘ yLĮ9?=P^DM:VBٍ$PSx"5mop d~Jҍ߽aQJnk7s U9/]KK7Q7N7ϝ)F8S_}LY+l:-^ zBD#9Z;\v{jK;7sbVifC2!9=86iNZWaL=>y>PG;,NJF1ejVZ9nϺ^ꪰl93Lx(ӂAgA$1Ӷrخ3c]S[Y*WbwPWK]#leld+ *Ntb1VK