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 8!|<, ]]]HOL-Proofs:threads=6elapsed=646.461cpu=1566.436gc=245.984factor=2.427zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb8[(CXU;Ah%hOVծFp$6Kݢc L@ߩ;I! U3S+^:b? mj|toK1([dV1C^L_&^(.>-_ӹd fCճ#F[ǒN_ I@@__/)'wcvfƀm׮ŚWɈrQ6 7F^y_2S@I3W#Y>| hOS4UMUy,ˢN6Zy'.Vȇ]gҙW  ! HOL-Proofs  ֌ M lSy8Os:ᓬkW@Ai:77Wrj5}A Q>#i[чw>M м!O<zXu+%fgP{'DA'+Nj2XGSEdhI _k m9itBPޙ~@K!FV22xw0 HS?,W:i{3?ķqyF8(#܇XqʼCQ]B"^h#3`kY |iT]B2&>u]N/Drҕ.b`ٽ3qwš Ao&M\n`m?…5k+P9i%ۅr|FU^:9(etOB @,YqpR\IzP'η~,~ Lۂ,*ǁoz""1-Ph2`31P/e-H-Th7}wATX[ԳRHAB}R~`})ګ;Y:fTx#&d٥~v%'I\6Fp>0 Wv 4!2 Dxo2nO{h}.c@[/I{F$ &by{FY-|*K)SS eIϗ=qŶҼxs?vZl,`8}^ =mAB!t7]*LP ,/z03nUͼZWps&,~dո Rp֥~s0rz @iDzP3" fnγ Kx[U|b˜Ku@]@N%@Xgs5'z΍nUg/ 0CО9#?ZnNZ:}hm~Z?2{$:̜bd$Q8d! A`!EϷ"uHd;}uu? *ԚC'l5HBpBxAba̫:`w?)2^ȵR`rN92s9ڌv.B\Kc3b( k@Xp1i,8hAj\e^ab|.WZ$) m(o.#{֪7K"`x-[^æEYA /%'`Wd`Z<`ۑ4K}Q(b}xCџqN0J2PMlMiH[a+D]@^`#&Kw;LSEmPb/#vș 7fZ֛;*h/@ɫ]B>CwYn(eh'`#g!@~u=ĉPh<볅m91ŕLm7Đ,D.Խ⹶M82[z{t#e9q"^]S?ȡd &Έq,[P:8')| Ը9/eK~g?\BLnP31=\dc$V-Y,EÞ eM O\*j0L̡Ыx{gUoa|)Q,S.h@ȶa "ŋGcLªeCP`rlTE[ me,/tѢpZIybgV?:(*eO[06pͻPMG0޾Z_q;޺ib΍"ָqU5ȉx:}yYjP۸cQoKac}Yf+)UTD)gŢYeԘWBNWm`KtipKDϣ6s- Pɡ(ȊK 16}\n(Q7TI3H|Ew1kЍk*N'줴ǠM-؈V\dO2O [M ?Yxӟi-.roMq+ o+ND;w$HS:ƧTcnrڭ#2Lm>=[K_}xjnh7O")b('Zdi):NttqGP-&"ħ jJthʲ!f[% $נ2W &Ǐ ߿`sѮkGoXptEZg3EZśX'y/JR}zZSlSBDjjxERмZ)H%2:J>xLqr,1^.pnB&~[ xLFfE NET BA?}( {YꎺËiLgHR:s,Xoպ,ɝEHkxx Vvc#W´odB2M 2m0䦖ca,ś5VkW慀[۱eIp{A0bp?YS+@6x`e_,TF<5ùX~̳1OK,ݥNmTjŽ='hE \{<7hG&%*Şyj4vhRW;ZZq0D^wU=KPHA$Q`+=C$,Ƅ~1bnU#,:V72eɎfl= h鞈|3 ڏ)$I5 VU_"D_Ժ/dɯO㓠!DBѓ`k:gNO_Hu)vP !4e߳>Lǚ,U_G_ܭ5;Is}];?);5KFw0[OZ19-!d-*L<"l[Y\Jt9L-GDpy93WjޙƱ(>/ q$~0Zf>Pe8\4e3+4@;Q\{IͶͫzNÁP ޵%Vۙzf::(_Wj( g"Q:ČZfuW#A;R;5(yH(^q})l7Db87Hx,C Xe/2#CѲֹ-ԺnF*r;l5dXh)`5Ϣ%TYmc|z%t"'cwt1(Ch9aI^{mdp:(*5{v2'3̊JN*#KYt)Ft<{0/{ 63߅8pgBJrS&"wm:$_iwy—{b5u*#%E>}"ݾf֊PPJ >QA)8(yߡ;d&P e$v&%L3$vD(Ѧ8șLR߻u$i+4RCAR @_pdc=ڳjS/mGO/'1PS\xCG, [HMŵyy"[aYd\W{ԝ/PՄ ʽ <)\G4ϐ*$Q:Jvvx]~> .CfbJj]Δ{4iBwn ŋ~"LNÐ&~N0 D11YN2~TBG8Q•ܑQhKIG N> Q"n D#YySx\,TC/Hs 2m F#J}" RAоFa j TqÅܻf ќYg \; H #ΦN)NO u%/|DWS_ 6m=%o?oԆSd:?U$jcNm%O|n H?V9ۭי} y޾{vz: L^5]|Ҁؿ!=m@>LDcmEyH#gqФ^TS,~P Pi.A sj Cq60H(&T/o `ii$AQT3ˮBsD 3F| {ϲh?*4!f9#`ΜvfR{prE%-.#f5>#ϝQ0C,w_)?0U D?>~zY|8"RbפߖKY`41,2>O!-vBn&;s\f v$~۶Á z6EҎ?BBt{Q㦌a\g"f >vG Wp'75_;q*nz ]ȰnV jhӹ5a<i֙S~gZ) *;P4=oޠջ B&k$g ..OX0pwU j+pCT,G̯T`bU8Ԡ1/Ъz~E/وu.4vdoklWPO#Bn-NexMoZhNЁ/3?I4ZW@Qr&JjoT< o[7Cn4{R2+II)qxۿQZ-a6Ƚ2!|+[ռ8^QdjzʞkE7 ܦgYZ7zXZִF! n]ŗXiɟ29aoʼz[%U>EM!!*X0mjx2݈*w[K.ǹASf  as*ݖ!+$F,2Ni >U k@Χ#$FnRͼ1+FwN=HJ\ǖF'r@X묒G'q'R*&YJaIK"a;5/ ++@ZPkH-g~Nr ]ʂ-K H:jUTuZ({kÉ4I5s`ՊQ12:)a^$L#Z4ُXLK bn&' ]Zʒ`y\6P!qsԖ7^~cSܶܷ^;+3NHmIE;ߣ}V}r3[{&0e6 c!38[o i "YӸ\?a %8ײE~4KzM*ba%`>{hؤNp@&~-فB:黻 CWC菤ii)XIj خKnz bFDT8(LV`滨SV?4B.L{iKZ2?8h5-aj>F>?έ"%RѼ#w2.#ڮP@c#k9߮hYɃ=teMbZC_ٙkN~gZi#IC swkmY eEfl;K\vBmz#I+6{'O-$T@skh%ehɚvhޮk$ RNDNz0RzgH ,E{tuMc{ w-^ۿ:F@KmƔ(K=Cu8B =ʍ`Ads#pIjJ[<;޴3}\ëj$Qbb+}6peiߌ}4iM%b7nqr+ Ȃ A`gN6P & 8kW~T3wPp:>[aJt!aS$G\+F`#iY~\tN:+1BM> `xUG 2+5gYZ7zXZִF! ]ŗXi%Bȿ.U\WVn!IU|n?(p0©'onrL.?zޱ}>QRP׋.!K@ !0}>F<- VQ3\Zw~TrzjkS*MG{$@zeh W#Mg$u?GSS{Y/XVyݼ~{?_abe5sH$& TfU)!cmMtͦI@zϥy\юezӟ͹}mygWZE) -/݋r~*swt"J~CM[Kwk]qPOe%LjHwgߘ|bBM<6>Qj_Aw?+jz;1no/"q;K][8"gؐF%ic^ %]oO(g8CASTPD@*>So۱u>/A:˕&&d,L70s%NOk0OT~6-̠5Ek3CIk-iyN,51*4UL@؎N;0~Txl48VKlЈ<+v_`Ebro>MKAiúV`Wyw<"!C@c2%af :8OFH.PEK]s+mWiZwZ/tlႡE.i`22]TZQA*^ ƘNI}gX o`GٷRx7yEAYG[d"q?;%,q"V*\SFj+Yz/Z,@Gy̔l +<\mldZO:_U4bYMEAf Yc+lʳq*\w*BtL5)F6[>7v.A\H۳]6]#~ZEykVjp#PLnl 1'a5#b7qu\Jw5Va}X7GevU- #Y9YuhX]{ϔ`{ 53"Yr;VYt kne&pt fIk&!ueɘǖ]ܖ2e';*\t2zLU@zJA#o?e\Il"48ľ584: (U rDΌ=ron{+?-Ie:+F} lbĖ" Pqun]e߿;f7qrKt j/4^O_%dܳAw`%q< W+#}*6^@q0?1̅{W}k_wl:ҭn)eU%YN:P4YTN*mn%_^A(7"]勯5P}aFF]//nqix)E5DM&3Do>Vi 0z9dEXғ~+ZN?K%WQwxoOmlrnҼ‰{~<^94{m"XUICM'~b3?k}s?^Hr<"<+;faU/vX>H !BZ5A3;sHLv O M@ {;]JdmseI +8 ľcKD'QdcFGjZ)mf>>,JTcYHoܨqHUj^fMΣ͆.*>6#SwT+,^;1[]' >Aoy_rnvT8y>`Sv>~ 6F);ژsm宽a4tBrۿ|Vmyh9zqyʲ{:Us+pF $jIZ~At<_;p;͒Uko1t瞿ކ鵨x5`P.>1pFTu0|#ADlv`P4W-xP,oa7"W*4) 91UK F?K$Ԇp83dN;Mew{&@Cɴ't jfQ,yg<خWZpn,M>p27 춺f\~G}e9葶z B $ Y@H?ZG|Dma փS^:3dF͎1~o#W{?q3kXSpi?C?f_CvIz|6&!8I~*n Tq$&kGO*&im.lx>x(Gؠ%H7 2PҫBc} %,GyʓY&y=*xm@p.CfJfAKwB .1qdIqqdCى+̀cԧ{$IIú/CmEqo9.Ȫo f7E-ZjIF<ժٴԭSŐJI$0_lS%0qBՎAw`FqP=]V}uf7)8ʜȧPlIM^\v?0uF ,Ȥс˱PP p4G)BhueqJϓZὗX l:)I]e8;b\nֻ!gɃU7%[cusއcڑcHs*ǎS<6Z&|WئA?W'L-|GLSdu\w\@22aޅɬ KĉٳwW#< zaQ|$:rᚃ0Dgl.h+'ȥcI\0jT4 Gcܹ>3= =XSKWupѐ\O޳JNnsoC~-q&G7I\!PtHeVH`$CnVG$"M|:; &&ِ!$+#_ @p{Mϗ"849x#=SXrls.k o\8̢o 7 AN㛄HHlGw`k͓%'_ا}_oܙ]YQ#xpeYWɘ4^[6ߛNm" 7H]m8Ticݞ*i).*hגS;h Q;2),&>˨ZʳV}廜 >VƤP=vd."( rG6V.G2Ȃ.5Sv;ٖ nzTHH'MhD'ӕl9aeڔēDL ;Qâfzq&f |;K/F:՚ ieRcCumbARKʣм`pқonJGm܋Q[y^,aEv6­]B.Eva/,c#84}v1Tf$l&+`X8:A`?@#]\:ɶ2hkUMvX5=Dž ȸ+ٱȻJ-9Q9/ՒE=%(B4XcG$p :2'?N i* ]=H;ZA ,8oQ Ar Qk:7 ZB`퀰ĆJ.beJ!eۑ#]1t}`IkY"&2&FQC o wU""צ͓kT0~1ȹD,AJ?t&(wMM8)\oߠ|{#s`v9hCD锈Fނ}KTVz+SDe{[AF~½ ӽ^ fs?0fd"0"f$n7.6 AՄ)-8܍$#46"- 2|csp6c'aKV lp zCk2a}5b` أ^8.؁yM˯t%'3@\DBY]>^0WvӘDL/$}+?o2⿊ 2Mte*O+z&Z,kF%/g \e7Pү6z4U5t>ID#M-%,FV$(PW~\9 Хq4 έ,__d@CU暡VL+VΥƜFs:ݙULa+a;> 9ȆXpNF!/TrjnV@z=R۝-4Bzh7-wPPk:l"o'x `>^wKo[W$?pzRfۅt߆pPZG!J[>E/,I7뽣+-ctb C}bv@jSCƮ^VңT&|+ű<-8Uߟ{i/k ARd2jq19Ȃ{ -.B(%jv#_+8p bɨ.!d3 Q@uI:>Yr$(&Dk/)ʟրH/wR RH]Uj \uk#WhG[S}B\p]_GhoG2B$VP{]G,H6,E/,ӆA+ָϮ:C;foY4_xԀ ʸ#Zˁdys|9iʧ1S`\n?{U|Vmglv cYI/1|WNT/\E U.唪E s~x+=M1 ft ƣ wY1Bvufަ HoF*SjPuVIq64V @grx,٣Br7\ 1v0AZp0}/Læc@͠sR%nYYZN{-l=2dU)p!F5vnNg"8y%/;"piT`ZE%heDVb B'o0 v\JPJZ"z.b/vQNޚ"%LjehTk`) r"^L5`:"Y4C% FicR0KtW @Y }2,?z)<^bb-Zti]8Ces#}@-TӋXn<;v#z.7CAJ 2qDK,gT?S%\"U2גJE vDžNN`KxM/Vx<`k!t@_S+$VꄒN,@&nq994I}%ik>MKu|}1۪'UE "H QNе8PP +c8Jb ;n*Z Fz3хZ8m#6^<ωWY rnI,5tQE]="sȹz[>c;VQ넻)]@ԁ$# \FH^!m4_'3ݶ2'OZ%{fq^k%ݪrfe[Z&R0?[tYѩf,H!:;z8$҃P&d*!4X]+b !j,ՏwedXV| !BZlE,MڿUYaҌ^Ys ۊ#cYvH-_a6ݾTRU x؅zgA!7(t5F5@ Y ˟< oΫ` ;) #44=p8OYZq AB!$uIHtkrZзQ'?DEL].<#N޸2(~ Y h}z퓂ٯ/,%/azcK, wjKxї,K-0Cj%9cǔOJEfK+~5@sȂo-4N×$u.4e$A~'|yAo.Nyu[Ys*B%oz/#^D:'I1wjp'+.&ج*kae+7$YۥW!ÅVY3ɔ2zLL_Е9&-p'^f.hdjWQ^5CnCE[Y6Z9ʃd.u΄HphA,**P_8Hκo,E:>R x;OɳXqy~*VSw #Hu0c<{Vk# TSuj;A"-i„s8 Q}!*p8}}Es`~gIl." lHbm{A}r|Uָ],_ =q8ymÈDG8NN\*L԰rS.ރepiuѷ?@&dV՝vVMH7^8^%e+ |O]/HԐ.J{')9c=@k_Y=P,8Gk֤kh +a{R=,{YXb}14C ҅TN8>XMї+ϷS߈DstC>Q%ΐHBl{\UT׌2j Q8νE"Dٓ .0PZzer )k$pO!?z((}=FCu!m*wPW7qq˞mK?r<=]EEKوp jMr7F9b÷$ZQ?5rd= 1,SE$u~ AnU2>q><@ÁuA.Ei>@@s\ l/{~8xx>ص8{d{E#ܷpT&@j?ͩsLdJTڝނǗTHvm.MQ*qm2&_~\/ 3}A/"]hjbB*.r_Nc$&+iqX-%X$tњ,vz]-ib-I`bfb Da4ku7n=!Z-S- I\C }+4_OE3LE KV}p5QB į /2bլ@i$bD?QENb@ f-8ݭUMZf p W 5lqp~GD7seo1⑍ǿ\0u7DfMۅÖ)~=8ʅ hG b7WF:8'7i3LYץzs>韻/;ǘtH(Ksj O~}j KSo,ŀ0bāͧv׉^Lh}+\wwqnй6pG# v_(<] bOD3>.5>Z^C$#\ԳE-zWy䞞xd!*87+/vF鳿CMJ_?n)B»X̒8]RpHdE?z=It0#艹QZ9 I;{(źI"O 2 v-Zh GgVi l2 -.ٺ *jyH#/1bo1Bg +9[i>aه).ڣrfi|Yۀx)CʥQF5ɔCMA~Dxv(aR3zHϐ֫ 8-#~ zSbB)B=!%2(tS^Y;$R7k$r@uYv>͉'ƃz(q{)SR#` >g@2<.z >Pa'[،f&(@sh(QԻ8L<7L21(wlll/o68,xQ[Όk~gGWfnOM)s}.i<[6v;Z[]">@(\9 j؝l¢X h?xn>:1͏#!wKm[!ETfv}#U%S?MjKΪq&ݬDJ[?h]D( N TNt.:)a]a&͞FWoD⮸wAd>Aj٘==c-H ԔB0Rq-O,ʺE\F60^_X)]ȊPȪUuƼp3j/${dS6},iy`Ocy{$WU}[Uj$`}yQ2LJȺ<e~X Жٯep׺,P]–ZMQwYKrͭmK\eGПنߌ+48Ę,Bk}m  Mzu4J!tuP]ʾyVx9\"YKK|]%58}M>rQҶtGF|La0+lh]s=\_6͕/iW~, $Yh˵_G1*}Ux5o^O*7$ oX /ǻ/ T[vشC|eThuAJRNgg[*miwgڸ)޳%I:)^:i9'|vufɉ>0I'4[gQLmv\Ȥ,9-z5+@Z@8_a栫D:/{gAhpUEkqԳ0_*/|^C늱U$M3,bdggL!4{Hhp  EO@׎A?U褁~#ݵX `圙K"*HK/ $he$ eeG6 hi1d P;yokSuU ǁB S)=B V_R>y;(7eMFe܉𗻥H3|b&|,4 W۫:uǫ|8zy#Ff"R'Lnv).pէ U)HZ U6S 3GB5 nJf 6!|q$R꥽2BCGBބ~^ 4nDGh_Wd,XC g PŬlS߲xz+Y%Bx11ŵ쵀M\\ M\ DHOkiMcȱXDGV̯$);LJ&Z +VsTar/:؜>n'$,%k篑 {w7ḅ)_I>MW@ 0κ3Eɍ;"ھa&}WxwT!EVkz@%1x 2xH_&8{G^ u<-e@p&oceڪNAYgΎBAi)#V ){D{*T(W $$3WE[? qvĚJSF&1ޜQfn(Y})Hxkk nSZFnwybfa1Hv%k79 2 >?מ*MHg&M/mij2]1XJ/H=3|X{zmlq";{THTޑ;i+Z  6>H-82pMXM H]9?F?M7B얛s cet(Oܕb}t2" fـo}` 1G S.df|(1c3l|rPi Fp FHeЁ]y+1D.C>x$" `Q߫2 Z1@hI諞f@0Dm,'^^vFiu,]vo#Kng[nO8 !kTL(4k#[+&ZdrrjŶX-/Saן<ф$~9G[Y=D8+g^hBFC=EG :5JTtn}j0,vX'e7h )ۄ' OU?nJë%$xQ@'mb6=5sX mQS1S}-@ P΍jxȿNύ(]FLbu9c gw1Y$*W侦cfKet:Ё+v'N(%7|@)/HG~|l`j N= Әg>x'n 79_09߇-sTgDq5:~6cX3e7ઉYdP-FPn/[B錟]6~A,m؅^ֈҗՎ_~S!G(Sã:2-[LŽLwDAv̯]/$V Er`2/;BnҿIziW s]9[Y<%fW:œRr 9뚷BOz-L!- foa u{O#H9%GAxA2|(fNFkGTt#mסg8#<̼lj' r8cM3#bTH*fƭ(B jރ;vigׂ"M:4gJ؆$a9(GV>;JE_#t7 v/9'm;je]DCDYj*xMP $NʤV]P!3{@$ mꯄwv+{Jwֻއf+3ؑ|9MbP}h+?XeݤRD ΰSYUt$ʝ^ycBh<J*@ۜ.RYW~)ԋ,1&5ũjN|j ׵˧*syṀIJD _3SD|uf/4|YVMs=ϸ\/zbOa: E)b.*&RhڞSN;Ε\!*MaмJXYam9hgmq~o&.b"62(_[ S/Sb*_Y#̯=7_Fg1U*f|4╧I}Ė$Uaa,TgrYڮtB33?o#i̿="ŪAPS~RT_}%e`ܻbhhllz #jܾ}F_}rOo52d@dmX!W+$OϾ#C\ n+D<`Kw%Ě|CC,do9iy}=CTk˩2Ԧ7 {ja+M`+AjkXf+&CYUUrS ?.:% < y>@WXuW=ЇV=%cڂ ||Y#ߩBƲ7{,umsN<Q{5p6?^_ M)fe DՇ2T:F_[HelX߲|Bo [dR"ܞ˘Hi=㢦C/a Y#|pߌnџpIKYP,-N2 K 4AqDE9o:4;R!Eʌ9} ֛b/ f8;FRW5*CQ`aSee灳s`3)'Y 4:݋BP(B c7LX;LP[O5_d+5 @oO֊|AVTZ]|3AѮ'ϷO&;Vmdܭi+WRSSwBJE8<`-mq#6C9 Эcd-^%\ DXVҨшRfD߀Dm~CָIt+XkLѿ?y~WMȡ` C `[v@T.X4RUHH3ĦtWj2R`< .Bù5OuEReɭ8A^ifʠ/BCN1HnmJ#BNob {"oZ7JuWl}|^>ӪVQ4ə^ZeakS"#N++e }%$[d&M;(.=_͸8$ 8az&ѐ⾡ d R([>0s?(&ZOޝ(MYV$ikĠɍw[䛠c4U"Mt wF^$oÏ#Rq ٙ"cW}%'[r! OB{}k۳d|ɛ9Z!N2Rd+ǝPpW9y[ g5ArV "C;#E'Y+V8w1aD,c  Khh[Z eLm[t7w}H7TozaE&:.R:FOjQ0\ᴚ*ݛP٪}Xoc Ro @UW~k5 "1zǝ! Su#υ)D؀wAEV tl빨y:6,7H&Z4™.mk7dG!g+%{O*z?8Q M <67w$S"1 m)IW(+PѦZW{ժ$kWKֲP"EPf4sbtu QQ5:J6ۂ8Htq&@n5hSKhHB1C0""??:t rxgBݪ.^BjH@ *Aa1|\ cϕ;83F6J+x^2f% QX_6gFMgZ|`(Sݲv.pҠRBU/qĝLJUZ 77 GGOٍo?>$aP8C!ΖVu(qN}s< Tu{&OעĉdkW:z;%j QiKi{uz`2@bA8^]dbeF)ł+.]YQzҶs (L$n}Is%rԆpGRl)&9t3+c$8Cr)l. FTMj\ɦ;D&6?;xxU̶)O@,k1 ,<*u THQZf+u?X5abΨ^`dŚYh83TbYl:^,teL4z-OxTv[Bϐo덨 ͍[ơl_2!8~Z_P_r} βo'?sغݲSg~ηɠMkcw ë7W܆9$#!<!QOcKOp&wS Lfw zJ&Na|i ˚RHjQ 8~ ;E^5+|I):g>G T9V#tѣA-UZope,M@bXDUD'CfK{ϋAv@Y[uMn3|b 3 V*)tL W(Z ,q>($8ΝjT v;6/ oЙV u |=ϦSe6xY#b"lxCPŚ_G܁7ote-  ]dtS댁eLwwHldM6`C*;X7V58E'elyu-.nZlbڝ]h~`E ~D&E$^kw},OxrA((">Zԋs{ű(A?X/a ;a" זbt c(&@mۖ0{yhNRHyTtNm-jh}6T:F} 5lGJ;#_ھy2(KƁSqf8uw[V'RcZzs1LkAuD`jmR阹wׯXzʆ dlyUBrP|qbE]ϡ׳͡bif/4ĮA0Kt|E<@ߡo㻑 !+iL7 7{_y>ip !]-;W;uoc6|7Ԩxh~?bbww4Tg? TGu`W e 8Q`tγҒ*[.lswz\_ ԟf]m[>dzqcsv=TwvP؇phZgcrZItHSmx$0z˿k*[Lq =[rb Y]ʱֽ8VzIaVyE%M' ]Pp%Ywa4ZilecG~$zdSb*t^1^^3|:xh 횉$ԷxO2ZJu TA; m54樂 i NÍp-MCVG B}t&_v9Ͻ;xFVSY1FYȱ{'*P<0(SF k>SÐ偲\yR^V=2ZT38mU95 !թ$H=m@[kwe陵0Ɗ8˻uґ3j\Dm@r],gFP"8$F%HcJ.i1D%Y:Ҥ |\ɒi++wt-3տ>8ǤNzppHSӼNnkvt(4jWp)<4z!Tg5O8IP@U2UB4ȍP&,g̿?X1dS/#Ldצ.A:7%;ϤnLRvxl]. USBoOǤba*-4'j?\d9yzdK?D 7g߆*17郑=Mv Sa|xS\Q{i(aK>EtV9/m|JNRR(#n鬃/Į[>[~,M][TA*AD:&$`&EHYSUye / lDg}dYuhy;|lՌ6u!\;ELZxV2K`g lZ)Cz6io*Dl= |GP}4addvHi(K jZ@]qTblX9w{O'f|]59- -~ RO_ h4,D-cDuFdCb䎃"Pj3 8Y`cn ϔJ<]Z[}B ZB$ija5;"LG'#.WiOx+ ۂO1/|h_A̹Ҡy'NwD|+2@WmD ېQ;`57IAܿdG Pgkղ+ 8FKzquG/)MzokԉYCkЊ &R+4I~V֮_,zvH :5 l v0.;́. ]KVV ߥ Z66"XH )*ˆ2vtcy4.YJGK˺/9!`7Y?7;(|%i,3 {HȮ]`,VP&XO{~3P؅ghС?~ or/t{5z44HRAs>pSp)H+s9IH"1_%hL >wXpql3&|VFJnje$HcH\s7g3 ڰ*sEW]ְF2[MA y<A 4UlaaE7d'T>t-֢@sHWy#,l「 Prn7E&%:SA9Ǟsur5ΓdM$NkU*Vlˏgge8Շc#1S ɆPtP+S9t>b''w@&B3]eH($:8W?HX(;Ocϧ fG%PC_U=j)b4 R: $} r;1oW ;'|`"uK7=I ĺY@ٟ^7ܮ1a7b:nPyN5Oe>F#% R;` }`7zST9{= U]ŹзW7{*'.L%: BNR%TfRFgn+!ҁnN~b''@t]`HGmJ2Kdo=Z., `Vc΂l`v@W/{1+_fA z~Ix܄#IK瓈67A2^@;ov&P U [ezO9&D\$&!1\[j;Z K7+7U_e"J?u:.U3HztW`D=9CDO,` 6TKOZe"2|c'OθG=t*Y'Qs(h3q~3(@7F!&8rk': /M%,u^c =ywiYOQ3XQ\`_H|> YXjqٟ/'1r=NG Mpt# Yjx TT 3$ޕ7,CZy?VA鍟ZDX o,O +c-6 cQ#M@0?cC.vG#]3W^S0JȤꖝ5brBRWER^`F8-3lIi38TϏ_!7`2PUh͆%ckLߺ@!{&̛lIxl : {ƛt yJ@Mo9F5*:âb/A*2Ks^Sjq/Pϊ5u$'&kTű,R,T]B8/ gLa? ɇ:zˊ#߹:=2DAR@?'UUio1bO?}E`hw*,>UܣPa#r|'LZĠPþJSWV"*W G{s9@$.3"O.dm4Aw֧˺r4~wRhg1Ʃ6mEy?`c(E-DSN7&1 巓zwXd|D`OV!x00t1Gh0ZC8z<14ܣi ޚw"lSSQ}Zr0z@˷<$+}!Nc5*Cȩ_1WŽ[0R; rzlG:MA]jF0Bۛ潵BX5x)" )"ۙ*”|.ErIIw dJ_lFw$%9Q$9GYK6slE^PrM}-! ա3]zڗnДp,;ѦEx\)hD;hg.Ӫ e 2-2u>zRQxL^r)0:G b+|"C1K)0x ttF (o, &|tWzw`>u$<'N:w$Nw#<5r)yW-OJ\\78;=>H҃[ Mi7$QAǿGu_3ŖB,@nϩo~2V]$k"ckAs_vSUK)HһSESe%0bMxC"NtN`rI/T(01R{ ٫h&Zּl{F~CuJo`>, FeGZuAbp"Ie9V$?$9lmfF:O`oՄyŏͿ`NP=ٵ|MͶ¢:kؠ;a"{OfCe*VŚw^\z>DJ{?QDL<&VKΗ*ޒs$K5 ZꂏnVb5{ skj~9vk7vv gGN+aۃ, |!ԕ_*wZTE<|NǏ~ՌaA4`pyRSʂ4Ǎ ts^gOJ0Bb>qva|å ܛ,y cYI2G>--#͝Uwbf02 grJ;HվU D`7% Gc[!5#էf }bn$ $o[ZQ !P]qʷ' y"t,U~ b9\ե; P^#g!<7Y+m| (#]/Te\)FLȏqd !¹E-\mzeG:ʺ#FX-t9m8)/gJQy T6I}?[K:C=wm]xa{vI^%vc_E^P!PFmmZQߌp1mCMH|w|}G+W?ž{=T hKk)ď}͢EfⶽфZeC{vjČ+0j,Z"9ǰ3js/[$œkmTԵ(B@K#{JpHùS$An%S{mb:0f^xSYy:wuh1Q1GsE/Ia9#EBlLHZiS'V4o1 "68TW'C;$> ,twB>VA 8ۿfiD zFo̕ mN`pMAzҞm5do&)eon͙b"B.Dh /C&zyR4 mS-!RkXxWdMDqYw7Tꏲ?NmbSV<U|TC/TiZWP4H"{.[*ꔱQk˨N5"[ kɓ2D7 R; -x:XX]|fVn.Z=گk7|d015J 5p ~ #@'O,A!i3#:n/ Z.htaAtYn 9[D@ly帢XnL6C\`N4V=0l˽Wqa(pIg@3jF:xyA>c5nr5Q^Ǯ12x).JQ74Y:&r MRV,ڦ}(/??E;qB uzw_~r 4&$v rҊs ٥ ܦwa:drԏJ!$(]&}b_,:#1c͋dMgdlj6n3Á:zAo2)]՗IjN`\m,nFE|-QVrx;lBB-#D(x]voCK0{He~Ѡ5us^\g|*L jRpD„z:ʅ' 'EtD72p8hL+=8v/6W9e5#ػXZ{RqƤZxտ%[,EcR{&vi?'X .p9ZJ4: XBHYt6mUPE$K?򅥴 Re\=+)j6KW: ;9.tnh2E`\h%Cn1E։/7 ?>pT܁lc]+q7f5NV=8 uwK[JC'ʿ!ﯜEJڴP zs=[#/Ν8,Q@|`Y;v՘蒜-Oc]+zkp+q͵hdӥiq}? a>k Zwl; !ijqיEzΕ@@xޖfPшN6 sS}8b!f65՛_V6`}6y;F=OXl*;z/,T7!vH$1 bw$_, VޤTeZge4}?,Eʟ1*obE@}G҇艨VschpI})Q5z{u8$4.Wj҄xJ޴1ނ4rDfaPyƭj'{MiMs1n̉ci'ԋE-gm;NFls8qFMiEn+9w ;$nnN&ˏ ÿŴVnVXX_Qjew1 5]P$@0ѵG6=20]O"HA,1q' 8!f[ /.zNyՔ^WU3#r+*qwj<*yyDmgzQX,^]#AS>-; ӭF{h8zBwI{WV>:59A!|*dd|M,!ڋnCS Y .$zZF Ԩ\?i7Z8#U3U`ašGuSjN7#m(MWFO„.,'CzO@ G|@ b~#2J}ZrZ6V~5*v^i*\:w#"cY*7O#x.Wb oPɦs 4zy HRA:y1; ][^U0`PٝWz':ᵗRpv|cL`s㠵O*5r4t ]$BGDN$AЃ,S/t&yzs"Mvڨh9+Ervn8M48qqE޶}DuWS4 *Wl{ qKBuZp%㖼*k 2^wrа?e7KѨNꗒ-C1YZtʋYseUZST;sĖSc׷K!މv*6a9 D|D<5}v ˸i@Z#d-2gۼp-,tϙ @<^)AUl+>TpvׂhSGQ86rqǃ)1FADu첤I7>W=5D]J0;@̞j݅;$uex$) ԰+UMg1ˈ^#jJ.)Kͷa}i`cBD B-UnA쐅fkU aKpjcR3n wcMP_Fm.c_XK"h"zewqk8AQPI#?YYOzHxce M4ÑSDwN@ܗc-H;h<0vm,9:TBaѕ:ffv֮Mo ίW(GZ>В[F0s/io&lD8 .;ILT{֗?إ)JTHk,MEk $5UВJL"gΒkap/J0Ȋ学GnY)3[_I >C9kBQnц9AC.RRܞNZLjPƟGK\q:D_b 66Ȱ5zwڠc|l"}3i%VO,d3IH:ػ>nA^뗀gåFo{C\$T UlDBBMXτϙR@7Gi@ ʼ?sUW0+\{i9}!ZB9bro.X(?:w:HZuUE2f5AuMvQ/ii#z:Oe֜=Q[|C.)RxqGmz:HvlzٙLѣ)eʢO9B'(}8GMG}?At/ Pw;@ҿQ+=ȿlE⯰2ނ* bD(G4粮mQFg\ ?aRɩQ(+fJe9d7aOZ7k ϟQ =+9Ga{)ݞBY'V8Sfir%N1!pZ/v\+!1t]6.[;at]o@QsPVeۯtГ]f>mD݌Q9D1i#N6>1̉ _ xDq`/6C:H6X zza̭'IJ&5dBOr%ʀ+}TR ܄_*UΝ<p>ܰ^Oww b+8L5W _ȍaǦU \d5V RxxT8Pt2. YP@B'L4DqW"Kwpbgc|zS4;bq /D-JhPw^(%I΋ aOR ͪzl[qYO ^[y8!dhSe|McybTluWܘ3}hht.Ϡ6𽲈l-ID<_lK]Wqi~KX)V//з-tJi\UƷM!=GL|7%Aa&)&FcÛzתX ݺ2~25['5g LU]Q|-nYfS9I佘HѤ 9ۂo-Њ҇]U_=\Uwi(bj2̹k>mkeM,FxQUUBٟ:0(\}Y U{gF}X](fT @e6"Ly8uOϼC`]D*2. ɕh_(xw*b_RK,t,~ ؼ65_R^fl@:j4ciHth҂wުQ"H-1XY=HlUvIQU|?WThZXiUv`6J-k\lƒa42$pnDKn:kG:گbkh`.ǾӨ zb.v/y"s~U& ikz_fD&׿4^D͍lw+Bf!+#$h@z7ܟM`<6WOgvllfA~Oh$"Q`wPd/BnS -dȴǹG^NLo7bY+ʘ~VyUqA}6ydZ7Dq `,=y}/@&P2 ݝB&!EM{ڦOP#7 .B^`kl>!]BVh+7^rLl]b5hBD n'[g|:B#`铌6p-t# >h9B=CB]{p3U0p'OsK]^.>4yN6VPU~ NAKG>Ehoj=S Np;'{Q* 1mqΦ2t^_$g0 Z70d}wX$ ++fٯFz01:ѣ=LGX冾#­9卐ŽMNޅV&IeJ&-9OŌ(5$Y_+ynJL^ʺ#7ȣ>|^T4*&FoL4&TJyC <tjjӠsOΪ4<0ztjJj;@ Z͠#'zV3߄;ؾJӰP*FfVvC"lYYx9d ?[VJyqn*ݭ.bLƁ:X}IH/tw,'~r(g'Ho~aH@z |_8F2J --TkD?eVp:BH{HK=|i*Z'zҴgX&4p̷:C:BʜJ6BKbӜ`dy#͠bN(ë&$uŇ}%XV^!q^"ub\=usWUߵOaL$ȿ[_R=[,Ve;!r`UPFd@ c'L 2p11.AísrX O茿A9L_TArchjĽ ZӞ۩W,Y׍]Vzˀt` Ѓoߕߟ19òR,D E=+7&itr@.^Oj Ґdi̝ǴWhVagFEpSu/ PYyu6(oS8~  ;ڐ0 0T jfA"𲬒r]f PxLO7j$#Wxk~h!A|vżfHP{!?h2Us9rJII/"#cߏjSm@WOe)@V8%^7WC(ǓD?-\Bc,{5:]Wd_Gxy`;-n`Dr͢@?YnDBĕ8Vq 9 o2gmR]۽$dbE`e8'9ũo0`JXMtOTh 4{E0}$ 9NFyv1U{A `= mi2DxO2ݪ#{-`GW%j[-". uRUPc*#ll*#^,w%rŋ:i*`E @Gqo #__҈sem=bNMs G 4B 0 L'pe4,m'/k4..#ΓR*[ks4Km14Q;>k0;_b.D(fG(7'ܶͯ2P 0CrK zC9irfMnv,Jn~`ɓ m3 @\ԇԉIY .Hqa~ϐHzяJSvEs9$F4Dr>3tl wu:m8|Ur9PDJSl^d2d+I.Jf?]7; ^>d&GojJsD(g@kiq$C;XMFɏOq2#Okexem[6׸+E$t7Kg6n!*;WP'XSgmIu$줫3#Tdq9 JDl}UVP5(d ˂.EMv$v2a7?݂{'abgY@z.Rk%b2(,^ AGex]*v*+D@P|B=  j @IE>ӎ! |6zo[ pMRUa5&x&zsR=cTZ~2/g 2ê'Ivs>qa{RS`]sīřv|"ԥ-7JhQ!/s'~>$05o;1d{hw4Fe)1PU_bH&k8iJɫW=Z ω37%; 4drXa>aZKn]:#O#:If4rWm_É)Mkpd30 ~35]l4,/I/a~&ZuctjX}&L S9ܻ FK|Cػb ЎңW2@hM qW)">3%j>-D( [ O!$kx#7{GԖʕ}"rn_( 9B7#H9gQ36<~G_on{,k2HġV55'5%?Yc~ğmɘµkN$&@P5v;8dryPGlu ǗPW+&+t@Cj[[#&z,ў~r@Vy{ݑܨ4Lփ#oEc 0Toꉽ::|#,5M'Nˀrj7Cbz ơ9qP CEg&{ہz.YJA9A֦(hM"5muĜ(~7("7}sY M+/|arAR_r K2?Z! )ES`=3~"{j) *e]ԟfk6#N@tT^0Z^k5;x0HNR@O?4KGn2un3oq$, )9miu_ ҋ{!8MV7HLL5OսNxe#x-Z~ xEV-A Y_W0͟U{)s=$6uՇ^Tڂ-tX+P]hC'j?'HP1P%m-JlW!#yaC"W-!FJ{tEE&%lG D`4>6{r$,ďFOx4\  ߘN7+5 i}D}4> lHx ڮ]GxL38lBQp5Fe t#&r qV1>vm`n$:'tyW̓w;ۋzY&.uLG-޼dS)cF@ACÅISkW [krjXa*[Z峁OcxB1E3J'tBtyLPZ~ͻ-?K'@wrMAP]; ! G3DpeS"m_uSoԛUI0Ee,?d$G> yi[xVdC\zYnEK:L@_RZF!*rJK3>TKb EE#k4{FGӠ u_ڝ:mM}нtdV>02țׯPX[+Kڋո9չVޠ/눜<82o4ϷbBHU w1ԛP#̺2?Cz%2ڂ9J]uBgx4T(I<6|H D&~wzql_%x)6еy-p1|AMgi7i{zU/;twoi;llҙOHhf\דt*'v’,m+`m,la R4縂p02` K.-9ͩ??nY(^H^Ő? 2V_\Þ2G)T Z!zG, .QqCt^=s\mP'9EsH*e]wΨc|oZ8fo]Rp4Xf̢g3zJ,(ovYB#6ॺg^l&jSaA_VrD*yޖG5t> n!JVpYoS|imJMXy/^7%I^Ta}4V[ףY~C(~"',Bu'/ZŰ:]wKz24k~F+3 f# ( c{k̩5嫬X6T9gw[YB*`u>l*hWY!$:VDe$+q^栏; l؄G>XbF@]?F{>NMf x[#O:.by&NrPOk ~3> &2B\RUJ#4^s?fI !.[*کHk\7?fڥJNW~bcf$< (üݒ+z ܖu{[-s1Ly5 hީM/X%(a \ X{hOJ-E)k,ֵ688Ш'h(l[~IΈʻ BnoeOK9jC00*gNFDtۿаչq+F'}Ybfګf{s9tGF؏ĕ.}pe)hYCBEO,8բ6oLT-Ub z1R9L]{{v}-200=9`3x;wCoh%#C.o~1Hde9Y1"=pZ/^Yni/Z^ cc ouQ7bZK1; /9X߇gm"/s$$X-D5Yf^A~7Q&B&PPXoي6}e[zn|/q jن?;#!8pL= 2^N~ H3ٝǏVK20CG+4[ԾcӒgB- ,oy =WV'KX@1b<| oݘŽ'Ta=#!jR+]l8tc~e.i"'+⍼_Ă%!F'|o~}6AJF ㉍IDDuHHOGtq hl׳RFqhq^J<|?AP 7veK깘GE힔hj M\'NNF:L$i,XߔD_6jab"ʌh6n(+@Cb^Lo|y&S$~lFr/5K|&p}TlC[Ь -VɸR9m5U浈yP]4&N1b>>Yٝh\=P{a E5i]T5g6/8ˆ;IWձW Y9PjAklVKFybiMD@U#ҽpڎA&LPu1& JjSqE4,qh~Ms6$E[bu?wgc ]C%qZX 9)TXBݒ,m Evr8GzQOًM+IVg>Yo0D|qD2Q*T{=;ZQЦAs̢:X!`ue䄲qtʖ"3O+2F&}-D xiepK7IiAC<2^3c1$)kVs$2q<7@ W$BaJ+~*Wing[I(ݏdIZbuhk(p0k<]vi""8%(O3"ZyQDAn3tU\~!hV9#hE MDgt(8y |lxaWOX_{,"Pu=1\<A]}-mߒDZqrk5RCuCpYĦv*K0^ޭa? 6Py'@Q @bRR{ #pӦ+C:bE{mHq3 r$[^T3%m3 @ q9IvCxo\zZk1z-!aB6e>JwL&JփsWEx N;z#ho,FU |Ks:]:H&8Y3%`xq߱;<-^*o!k ]9pZ>˩S%_TSuFjXoa$/FFY)$a]t.z!=c\j^j׭ӛwu.)ᚻ^Ι-@Q+ɢ8g`78v1K\3Jf ]\_"3A}{`fu gN>[~7Խ{ ʟ9jaE)EW50#GFGVD(2QQEqwC/א5v{f#|;0K21R:4MsV% qAG[~F鿭[h+lV4@*5>/)wDJ_I0pꌌxc~@1ڪJ=pÎk3$|7,x{c/;,A+y#!vjir0-_TVCض/ PBBnM?_@.Pn! l)l _'rzϩ2K* e(] ܓy(P!znXV?_hѨ^0[2Bj +@!V~kN>| afE/@Y'%H&hfMC{ D; UnJ)3bC8RbPbrL3!UcߏFzܤk%.,h#G j5~[5΂-8T4QFec ݏ>xDNSc3j$]vI?זXZ}MxQk#mG:Ŝn+ k;57 E5]]na\KPByl#H"}J]RN?ib!_ z(yuXkP0hτx&~RLad4䇂޳\L5 )/?t6^6NEw^&o93p#Ȍh |e1ܷAG^6brWJlKar9bkSoɄq|򣣕8Q,];Uqrji)apzb/s_R"FFrFon56?qs?싈:DÌ)؟ѝ˔};ҲGQrVlKCfc K_i%Zr9lk9^@cnD= p63! 9^gm6ژ8VZxkFQ F2JMVk39+ҩ$,+Cxy V@-9 2ق;V kWՉEe?tǁ Džd;`Fj0ABYp[ ^@rǰvNf"S4P1E" Ӕ*o hK&-*XmȄOOzqN޹M#sno.2,qA6? 7q@PM@XTU`uR $mUWCEԏe7|TH@e6_yp0ěuTB< j3A,iP;c*, M$!NJBIuR }$BS-!՚HY%qq&i%R2M:#,b "u> JD"Y7lkQF}_6l $F!2݇5I$z#[yzC|H 3Ĥ/gYZebb74848ec827a3cbc939b5924881d6034b8af2c95853d0653331ec14ed62a4d4bc81dab1230b932ebdc4e8dd263eb582e24ffc0d4b8de83feafd3a9