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 8v|, ] Kruskal:threads=4elapsed=29.099cpu=101.360gc=3.2967zXZִF! ]ŗXiɟDYK<; FcFE%ߐgRؚ9JR1QlŤ9(o7DnZ5LG],}뢋c% lQൄywLKFvotQ'G?X-uYVf: [XhW6?Y9?I*poW,(C1{-F^Gl1ۋ&]/3TLL CgqP_^w0Hĕ4d< c~J'C\bWP9>--2Wq6߁yEܮVƵ}v|X62G%\@oSыo% uehr̮zf 8j/J݈}TMMI?Zh}b"YrKnp#z\\^?` XN9#,ذt,XQNFQM>qLf8 ?o ?cUrO6̨r6EpMwioKFNLh-Ɔ 97eJ@LDhvizRI/7TJñX{|G*;w3Q:ϥ,tf:RJTΐO—Žĵ*u&{>'} e,(aM x pFZ7f6GWnp.&rH'Ä IK(s˹"nu*cOt@-V؝#|W6i)cO;vc? /mO< ?nGzTy㜑|AZaEߋAi%9"ٿ6Yp\J@ }R*^+bGv4o.`0Kt{s(n OtW0! T%_9B6:A56f?UX\E[n6YGu$q;A28.mujLpELK^&Vr?!y)4KB^v3CdV%b aQOϔǒt8xCfQ!>U g#!Ag3X-l_-ğzn<z;c'ݨ7!ڥQN=;fIa.aBQh7ҋ"ʐ 墧©鞢aВ=X)_jv&3ON2&4!V{Cu3J/(l6P)約ee{rT^HW )ҕ\CLH:] 6~M#%LKz%.rzjz4Vw1\'Ӄ5vߺB`p01>a͇pD#^?*ڇ N)Hc~ePGec#z>D\M'n GX):Ѡ:pYT`R@H'ÎO:u)9Or W6.$ B0I#~`z Sd1wũP6w^$QֶJ!R2 ׈h_+-l {'&61P?ٖP읻앒:p7R*|@ط} 6a_PS7( bq0}hSA0n\RBX$MPP&&mQ!}h}Ptd;Nc_uϙؠ[@=~߱j4df~05uCU4 b*MI@Nz̉?AA=Ю}jW}ぜh!û^_RʟKWtr xn8g~g)ʑ`zǿjϘ|OC*^f ?pv8fL!h=҄Cĭ2=s.R͸'5y ~DOP_9AG0r.<X-()?תg+!^6[òP~gݙҟʑ ܓu# '6$r_d:RV}h\6eYKapPnÙjnLUT&g}qC`Mp%׭٘Oatx7nKLGWj6&3()'"yD1n#=:ή[, գg4NvN_;OkDObȀVL\69#$T [4)_53a]]:K{pp_ivB'|]BF쇷]Ss bzJFjw`/Cs!/{^\ TBF$M/7jUnѵP%yVKD6Dzaҋ:kcu4B9}Yy2P%oznimpvҩ!Sn8ܱqJ]Ϛ-`Vq.!ȨoB}W0n4^0 OLZx]Uڐ{@Òrw;J>[[ןX( j؇dvwϪfRiVCCw@%"g QHT26 ݘWVp*j,򊂉MN=8U'lLʁ$Na|yNytӕr}V;~!d`W܁i]RҬ+3W0YѾ"3u.A@|2MsN"}(%Du`wHr(IG \5rǺCA![Gd 7Cz`=Y} *@dV,lsйBCfdjm=c5'ٿIs;wZf +ස'u 4FZ` t9a_\0pZ?+A/xpd'fMEt.F_-ڑoHJmqhެ<yKG#^ :k{XD8E^<*D)H/o%J1^B))&T0!MGX5VU4աkNY2.䴦QOZV;sTv],/? '}6WJdGp@djr-p?ҪH1`'U'K95fZǍ΍f%I Wa 3υO;?lm\(h_toΆؤ% 0χOZ&;Ch3ھZdՈm m=![D{lsjHccdvioURM*0MnҢItc[ԥjJ % UJE9d9f-dQGÚe!@зm~qCYf6F fPb;OA`^gmytօ7Lt4뽰!(:M"+9J/<M;SJ]+, f$-M W2ԃÕ{$4)ci゠1nC~Pa l:abL38vOsek担n|"8D7uַjkW@X#rToASDNbe^j/2(o}I vַkoE &J\&C7'mD11Tw*D}E6 [O05QNTir8:(gtr)ل**6NH݈gpٔ=pZݷRhJac-Xi˚`W khXb0PivqRUgG٧WQW_0~_,fqZ"HVʡ' Ԉe]ns^0@YzSs@F.v[+T*"gk{冱v f̟>y?%kӅ@;s$L_d՞ݞtwq GXd| *\g:iPA޲,`zCh9HccpƵ]ISAAigcR8ev?ƃkpBIPsP*0^v*u0-=^!%/EFӭJ7e T8NƕH 1M%>o3s}O(q~L|bo W]'3Fn.KMy":-8G"r}-ۑ&ّ4!gu-^@U["66X WLQM3Uǻ3vjIf-LmYw#D`ѯ"ozNi]PҢY{GZr@ 4tI0_ݻ_0,ȒvVx Ou4|cbfތEvF>Vkv 5*ތbEo%fW GQ>.=̉Sd N3Sv׳nufQyw_w<5sk*Hgj*:UL'I|žȰ.4iV:*(VIlBkuݬ5FcXaO1i;ݑ˰xY mTUmk!N?2CP։g%`eMf*IAxooCKu^PG[q2hƽܵ.jX ʈN, 1xd`w`~qKA=%'KA˾VE8=E`A=rխC'[M\pi1=ţBzˌ.Aԍke~&4> nHH];5^<7"N&`II< 6G±mQR++J#ŊCY`M:XTM[sぇ.'[jlsdiV%QIZ%}.`+=F~7a`kI\L@_>"ƬF`LsEI4TU[!tcNԚ%7yn+%aֶA//__ݟ6( F_HބF1E2WUlG#ѳ %BI}sHʉA(eko(F~IJ?/g}& QUqH S.v@Y,oaJj*oz1j ȨHR4s.0dryז]Yi&z" 68l]%pg4yl\HE";3"N#&r->*vH zzneżXҖN\S]s&qakMIimSWWMt2R!HY-W9;2T6X8D\  J'±Ɩuޙ*???-@=ѣb^ +;$u4Ԋ]OݲT[%M5ƣ?bx]M>vRȓ7qƿrpM)lZ@[XA#z&LDyEUv ǡߠ3 tc `[7&~ZgRH!SnWꃚ9pܜ6y a/--iQKX]Y@F(Uec3t-^U)Xky,t(PZj| 8sqP9.4X@rIaXG9+GX!芳FG|ynYY.h yǝgۋ=*NfbGq/I詥zxJ٤wI!2O1<ȟ8Gx%T-oܻכߐ~v4A0Հvr*#3= ꑛ ]J+} uk\+`FT>t +?O[&Q]Zx[)c;ܛ(Ԣwd"d);"5(hqӯ)ϧ6߷ӧb/ +),&} $Jy.&3K`zIUm!akӣ,7\r3BYr\NP\T_%k|]*g$z!ōrF@Fϔ >y'3=sK~K1B=r?x;zLK00t,Sٓk6yxb\bXLE7{=E3anhqC ($uOnzwcQ]֐jPǪٸM7ʢޞ+ ʪ[y4y8"MΉAZ= p#Q53D:/oz9Mr FPD>fm%LeP&Tݔ7bduD{Jt]T؂֚Pg=N#Ӗ734{"YypmZ0/`]L~^)rrLDJvc@)[vb7ul' HYAA$}iе[w:yw _w%S\&iCx_;!{ zDU*Ac9,3* h+ܿxk-t`ц,VHv&)F&'إQ".}D Pp C곧2͌dyjzW$Aq~(M|!D*+ˉH hE5Gレ@*kL,}O 뱛 /e*>.R2yV$.{"39s W@/#h`o/b({DXG }@K$b Zx o>wƊ/Ө,"g7s },;NcS-+oESYoԔ9EUk,eGI=(}PaPL}V&c\ h1[=m98V]=Mlh($,djM-E]y,1iBQ7[ݤC;kIn;KّȾ?k@Kfҽp K0WAk)m B]4Qq{sf@}?$p[\,|> RKÖ%VJ S[?nϽ'œ֥51ATD)*9GJGa/c%2f0Xe0C -jALK "elm geZ8V# D0C'Wn86t鿷ͤSАF6 躀y/vPZjP5\H]P; Q)]+-.f]@еz _ds3\uY>IfH"y7D|}'w0XRbXw吭ZD|nx/c(w Ţ>MxK%nL6ZNT_l6(6VLYFra]{i#XЦas%"W~ 8S #lZמWcNDt9ԷQ$kV0{hS  қ04u R (72<>J4d=s$ɆcbiaAĜžNGRLDqqϚO? a=)6ё}Op:w8+,?"+fMgl[`)| K(b D'7Ksc6țxtj(1il"|d]PV(i$)>TOEb 5([7V2mF" ݽT#}Qr6^]ş az0#rmdz{E Ɓ|g@ÚZs^? `w YMI=b;p9۾M /;x˿,MAύa<`D%{n]d>m/uOMK3<&MRacԫ/bF1CEWTΤsQ[NFi Ԅž|1oAQY<}b$/#>!"5t+kOl;﯈3~ԱQ y!=F^.|;VLRLeLQӡvAcWV)*`kS$<%W=Z=afƠP:&7Ysn=HZZ=0 -GG@%ߊ/qMGG)rԙjbn?H%#!K҄U9_*ҟ"Y󁃩њn~(I>]MwrRΏԭwy uIHl_]+e u5:YH"I;B0bxoc}s`0Qa Y4iQ6v'cj$lcwj1Q=#+;a]K!4,y\6ԝm_j:k;y?\Lbͦ1KcѴs>>鼑Vb2WvX v"@όB^c6+vc0rB|@Z^@<fH_8.Sw#H?T1"f-^R ezU\'u&Ya4{ho/X-&@4:򤵙~d=7k5')[S dO #G}fL!F '&iA1nZ"Hi{3q!1XK~4wp"W!e)3y> D҂^j?A#(b^oR2 ZBw\k V,6{[0}.MmԊYr$h>P"3Ko %\SkMQ{`SDNCP<*": "i׭Q?&dSh(JYk_ԙ-Þ9e!6E'wkѵQۺ{mtgRc?z䙣ai~nE>H&ш)Yl :_Ԏ@F~*]էi{71co^#P+YKd6vg5` |G#0${drkZ9|ߺfש@=ASo.6CtKlm+"0+e׀sw`(b%"kbe^\NE%KR,, =x?Ѡ|5Y쬑0SYwoBEeH\^nM⦌5<9>h.ʷ[{E'z@^ (n3xTc]\,.O/kٙ[!DZ-@#6ϭYΥ3HGpiB[G q5'zr ubbܫB®t`櫕a'`>a"fiı 'qsgwɵGqFCCE}OD.@=k c~ qEZX Ftjy?B_dڴ>]dTk̩;ՈC/Cz=~9m<}t{5R7?^v7ػ1wTI. Ō(<"l+H ovxڲ kV]y\˩Zˆs _;*b<<5r(E;t_x`wz2OF~*8ySWx(BrY9߼@Pat2%׳kcJo>uHJe^ٌ=]w:±m-ff'"ɱwq=Ȇ/f}D1AMg镂Y2smO`2¿Νƕ-N/ lj>hCc@‰%Gc!kVPe3y!,E]h CyK>u֤ih}2=m j,J*:bwzbaƸ/D&5v=0Y[.e˅v}+Ss73ug y$۔D6*?TI L?=:9*qvE1ٖK\z+<%i䒿: ;nɜ q~1uNaI> 0Yw۪o辄0W(^E:cM?H$y*s/;ƪQ I*+ 5O5n[t딗$&ȝ.Kʆ/we*K`ILy7ſYMOPX `}A1=5At= 3ԧfX24ENP-:qyul!a{bAgYlS*on%~zn c 2k]qmwS,Rfۈ>&{wn7Z+Cjc6|S;ZRW Nuc/šrf#*i? gqM ,"DPy-t쿿 " '2^|f_a(KZ*1ʒ΁nz9pjɔ&QN^0 Ƃma."CqI b^T4K> Or>biMzS_C'f̝xZ\$ZAg|m@a#D4׾6r VY4FD XVh*l`}u r yՃ${[~$!c ikUm +WUJJϟcˇG2vX ˹ƔՙtH(=`'5q-r>B뜰OK_4֦\8PZXw++]8h0AyG5?懑h)h jEUI&Tu%Iﵾ"!SH[9V>U1[묳'ړ;+ ߐr⪏Y@jo;vՄJ]p -`cg=U}nxkƺ^@m1mauj.~,ON|~cYl %]M@S)zYy o 3ބq8<,]j@=NkqrI MuC/GڐzD0;,YhecOUSN%PJy iF;OqsZ\ Nw@AV KV PDbg+ jtr21Xo:ydʵ-v~bJN9R 0m=ٌKXf$+ p87!HIVH_ݟ=d'y.blM<"FnF.m٦"U>mٜ?k~c+5C?=wJz{`4674$1qQL<$sZi|P{6R[:'KBBt(ݵ koC_Ͼ.4\ؓZ7\j&^^0[@sFX. )}{i~L+`ci8oR`ޣYn QbIaꑭ7~# >l S"\E?Ts.( F=D&[!Js܈_ ♭RrV=S^&%ߎԳt`An Cp|uY"~znReV8у;3%"9!X1T΁ta|0Cqԑ@<ֲ H|Nq]PwBxIjΎ@]L}/4r\m,漽: ,m^6gTydU hϡpāg&S?I*1&%O;'8X$^+|suTߘJgM|Φ_rGb~`[DאlqPōޤ(px20m˃'1OM J/.v,8鹀'/1El`~G(e n#Fr> N|9^.x52 +Է% µxLġ=)Dx˦,P?ؽYr+PV,bo^*@PmZҼbC|cuiqN][>4A䢴t)*KD gK|Ym77deHϔ協Q(MqRTִ6![-gdxL)W<܉m{P$eOj,k=c1L3=q"wH.TCaȮh<g=FVn7lVn c`G٢ִ:&Ph/'2QG,ҊZb*f=OC ^bZS 0m HС /gqϒ/d>` :]oȩ^cm~ AU<ۿQ Ru_K@ EqY Z1 N6S)ϫ}}<<ޫE4\݃Qӕ92udd5/?fNphT1 UG]jx$<YY\iLvJnuE"['"hӢh93-p9/!pV'̾q;{tQ>^.^2JGH*<>Kq|()y;F /i2^`aM״=xjW?b.Z:*Uokz+K`9Dl2=^J G"BM"XC CHhG` A!0?U(:5]e%+edKKK<.r1f4Tn./qt;Qalt56sD=Rr9GĭEf o>f!F`ޏ[r%|׌C~w3 K%) зi.x/ + ܭ`3SC1:)Z9`EsQz-G4skڮF<~hO)}ַb޸퇬:踯?_Q8lTW7-86gՕ< "StXZ 40/{`TD{2`R$CIc((ݼ@[b la[+3bsz.;w/s@Y ޺H0St Mpxr RBh]ˉ5h+|Ǵ"pWc-V XQ`]00A$%1iDXO}ɦta_a};JBCOD~Lt NXo)ҁ Ձ*r==MYU6A8_YM4^0 _' iFu9"࢒(=K߀/\\vǫ׃Hp {LȃB_w[d Zz[˶ XCB$U)[!F~I`\@#/* ]Y<& H qԜ1Qbnmګ@qCU` dZ-n@'ǘaJP:1J KP鬩t6[7=~PEC ۥO;>uC1<ƢvCw#UȇCB9L4N'^FHobGJ~և_2ŸtcحaU'j-TF!qΞ<271wdZs66Ed1 sbl8\R;`Ttvcme"kmE[nβ,.^ `8J#ϰ9~a3UFQDBP < _%B:Ģs-jX$HoVWfyؒ1=XGC R[S 3g94N0!~ yM(F'Q5 o~۬iT@D;%,'8 .c(_J!<~YƄQq>pbT7J 9B(LMl^X@InU4w6JJB~x1骐Og# v(7IDe"tO-!y@y$o}X57Qvbu͛w{(˒į׭˞2/B_$%IiYيD靁(qe0%e (N3ꛚߐi9p9Pk$hr"yǞ64?*SO.RT7:G:3XmyU@Ea} 녑I?nOm1EK>qѴ_zaׯ›vU.Tm;6` =:V-Z/Cg*IEeiv. ˧8=s?<$Ű se@ŸW5WW}:"o GU*<M9/" HmR n@yG͚Ž(XRh{V?c0Y#( ,kCZp˟T~8!arBaR@*0XJsM!LŁ5ZN+B=,tJWߛڒ}Q .0.N}eѻwq l;upUe]k?_ќ1Vn0RAD3PnҴ[p[lZkiT%ۨ,ZrIxkW?) a#} BW~eEPIsI +j!.͇""D-I͑y<^!V 1"AW #aXl-;o{}Td3XNnat*q0֋d*S8hZ: Q0.GQ֟eh HoTI^d4-NXAph0c $hz)e AaTϥCI_1:>^:b +uV:.WA1R=/W/m\? h᳎|J/_~-$݃CӦ('At+s;ZoLRFul1\㼤HZ빲ЍE{DÄ+Q̮cr;\C~0W a-/ @JxkwNŞ4z.@KԉhFQ+A QLeGV IG3k[qK'g1He"NIj@זr(Km"$פ`!mN^w2a-ԊGJyw k%E7%I֜XG_dZJKZޥpiGbUB74HZN~~>4uiI`o4Ho:*}~*n8ce&JFqЮAH6%FI#sFl1U*Q{Ռ:>3ѥj~ևϖJ"ƄNWrr4M=]++l5A#gm_d7T-*l*VJë/ɍ\ 29 `S; 9%kgՍ"PIӝJU Wwuvxu/b:0YksU4F?{YM·8ᩑPˀ )DiV2/XoۚL!fx]'erQ#?v!*6te'JyoGOiOUJ8tء#ԧÈ4ЖMYOO2H_"f&ٌ䫬g0d10nD%Zuc)ޛǩ sQ$5dvũ]ظ&#eqv)?ؗNwl>7\)E!KlL}w}XrBr6,q޸& qӾG: .$_hAxbCd"1cAȒ3H>|'L/aryGުh|Dg1t&^Upa|; U/k~~׆5[l!#P7 3S* >Y'Cu'&( _vTǒ].SI[ O[NtIӧ%m@c9aK_}2P ]9?~PRӲ5?[|iњx:a=Wݡy7Ti䠋K+}h'v!LJV 56@s Ѡ̺7ޙvzi|]5@P-w EVJ7%d\ v\5Fczcgk}G`s,|fFSu,QkfEoU9G' {g? SAk4IhG21 m&d\3E6q~ѿRd I! hմL(NdtӮu/>d)YqNlYN+ RUVnK&ԝ%x0V8dR|b}g ݔ&aAE/h, yƀ %5 EՕ"z(8s<Ӊb.oCFd;~-dvFMŎi'~QE(}Q83)zQ] Y˥xJg<\.A{ȞQx|UbQF->\3PBLk`@6s/m?ۑ2B5Y?<C|Moz^m9΁ZLΞT9u]s_BG-+ڢªn2X5'BV,κzk䖠rqK*ɫӨ[hYtw:I<.n,P$7KFtڔ>>74`e6Po,_R5(W8]ݣL}̎=cY\.1XNĄ7:`Ց #Le;)!0EYy GZ!vKL G4ܔ%4"8,'3N<;?QFxO֧R4S:ft{J.o^p|cu@fAbd$G[sAT2̅Qt/ 5ly,۷f>ʥZzŽNꙀٟ73qcq ' h o7btIJ9$+w U_-N2UTrL]PKut\1/A)x wm|=-i|zU䪰J\ō@їY?wM5YA@|Z. Rei7tUgpOݫTNrPeōIa7Lh*7 GJQO͋*Gq@0 KP;)z7YW^v<g< ^Wi\l}Xe,ra!hrGSK7nnGJmEx9V,KvF\?MDTO0nLKSH;?'S?C@%rLBw;@2}6+P 69>W5ss2Yw,*WD|q%Z}WEW2+O\^ =H2pxA6&mq83 ƈpZA7"*EK!Js)3u;Q7xx@3dž\ yS?SFs#hGXD63-Nn3xu,fݠN"CT-Q$vj`kJLIڋ=Ls q><Ⴧ}8-l1!/DSJ>4@WmwsL" 5o%0"v;&n;"{{GbU ڕu+]IrnBN4 EE 槆[9>us S"=}b' mZalY]&עT^4.\t O V p Wo̝im%7&'ST-1V F~1c%鑼K.c0tګBx1pcy (CLiMM7K:ʲXěM_tEz ~j^) &SłQZ';ğT@P(V_''wx~zMۘ6G'<{tO4CZ-_x!9Y FMt JA'0VYqdҀq琝/}mfUj E)L̟:?fIr*;{6'Y4=@mDE47+uWt U6F]Q+*!܎ȬFd|5/\2;O : h]hFmozy相}l.6޶=Vƒq=QR)ZuGN6zz5rliС Q5>Lkc..ڭ{_ϱT i^>m2b85,<2XF*_àK ?; %칉Ljs/iv}%\QUH. i,ǥ## {h'l@KPlmxh;Hl@iNYth6e"ltW$Ѿ 3 6) % f@d}e:M %(+aöOC.$n].ʘ!#Bz&0rY=j .cy5,gds@Mz `MkG)w>{P=la(S :gcCyח,6|!`N8~e06#t;yΣC,sJ*BɘV>I%SSԶ.h K765ݾpedr=tsi`,1&\`(T]ip#}]w-3g&=4) ԥZh𻈆)OJZf/rp 1͟a)[Hҕ7'nA2ٲ"%&A;pł`"ʦ1Jbرç׉ܐr[]lD +_@zAal5EuxLf9%+ߕLȻŻ_n᫠#ѺG}߅b5,C=4A81: Sb.u6lQn.%~jO]"HӤ_̈Z/p,Rpn,FECP)B3{+yڡn`eZȄc2gJQEf.Zuz yp }|)~uי2^ĕʧ}$w9m8hc\5rh^?3q51f/ gd7h ۆMg<*z%.9 !0BA{ ngP5?חٸ;AB PJ z4[9&[g|CP!E!Q~jΚ] .VQUYOੱCA B|<<0WkGP,zk6Vpgab+yŐ8aL0* m2naUr. ފ>͙c'&E;?"E/E݋!揈uQa)λ vLDDh&ZfUq5K!o!M;0aFI,'P78Bp;ds7VP%gsdIJ3|F+"hcOu0p>>c-.%eA V ζj* #sۮ\7r1+f[8Ec]4ѥsnw"Z"q4nd9ȃU1츟iOG6#D!J~At1;dͱŤgpts`l٬HQ*\ug--J\[T8B8̓$FcΤ$K2pY,P~ qkMTfG9ݨΌi|WP[:Paq% ?Xi-mK1J޳B OLhNU޿ԭ8ZŒXıu"HKx~pe CZUÄϑ}vf?qeTOWyAK$.^Nlz[ 9{pGη'~lhY `mBגєb;U+)+Ok..CrdrIݘ5uDŶ+#|PQٝAm G؜u/ 0ſk9%PҙWVvyM7.5Z˭b+eEEHۓF9 ?9t"3$Zb&ZzoJ8  5ŏgnLseƩB0R':l"Y?Ek~;,]$|8+7gΔCr狞BQP+S/H1)@WΊe'%~} -mG=efǑtݸJ;H, DN^\ʅ..Dal}(=L:UXᰱZ>ۄf;<,n=JHU!<nPwyLk"1I11,0*-1&T6Q@:ihzZ52"K-M}:RCptNun(=r)q"n4`InAIFņf%gv8ar)CXù(WjnMtvnd?VUb,1d~&(ޯ}6gqu6b>Z]@.x30eLPBOpkݘrUA Qqi!H|#R 2a~M38 Mt ޽C"u٪tM\mX4N+LqNm8 p(_gVe+ 䇉i:M $3v1}6 Xh=nc?P%X >%?\?-CE;@:*^˛q95֟w0LD]Xmp\猪^cش-å:8/tw>jwj{ӕkږM1ջ4XS─:ZLs\bf"¸z'_h9 tڰO37HGʃSVlsG,nS*c!TSʴqعEXE < #z(M;p02ӠMAb71p gXGoC %J҄vNK8pӺ ؍*&gK%= \nnR~;T[d3"ڜ0 d ^AQmcMjяDE-m식!R.pPqסq[Y ɛMem˦ ZZ62ZCMؽ`֨5tNxp:LN9_ÖJ|#QSosg-/o}V(1{/RGX'_ӱvNdztU?T*6$܏s#% )ӳ׷e?P Cө|i@e\y$:d\YLiaN^r` (4_w V+Au ]fU,Yt"m\ܿia/{;wd~\;$[Ḑxxp#xP<Z2du޶WD ;Mݻ,UuQz=կEFB "~F:<.^0 RşۆCSf([Ҙf;LOgFX?n09WYkr9Gb\RWCb{ e֋AHM%86F7 "X~8fݲoԫG !q۩P,vq~%'MVtN1B$Le%COT|+wMQh{J*€"j;B*jJ$ki6%VCOt;SyO~P~K,cjr8vq%噵DT !:ѝ>NL%#?uY~V<. 3Kϼ۞x5} g@^ e];Ȓ9??Lɴg:zu%(6yIjနe6Pc3ьu1{ʲʦhJCv~ zB5$^GX4?2 @Z,(h[ 9@tH^5ǭY8AmzX#GD,;OuxkhURne)/*?/+ 5䌉Rm ՐO/d$hsl:ʌ6"U1nٖr Z01FSIﶱ!izNso,vO-t/Zpۡ>éuWCg\DbJ˸Hd%&t~j $":KuŸYT9FO@rs.F}Υ'MꎹETM+GsX޽9ECEG`Y k2iKoZxzj>DZ#X(Ya'[t&Hv=h3e}21 iTqw5?(믯-osEZT:z4eim|Bv QhfըH*?^P71=k|Qld#=op1T0JHfUXF,́P~.Ѩ1dI(/getW)$RZ8)X5=g[П%8MпEJ7nVw-E_RJty۩e ^7ZU;\D䛍&[k{[G,qn7u~s]6VG2p)/0,6ώZ]"+I *o(җr] r OxGM[zvlt.7‘NGsC;B0%ӑ&oM.l/ԵH09 mlו:|q>g1+\fbC0;ܦ&,ՍI&a F޸S).Rg5뜿d)r7X01AEscRR| lWq,'@gwu!<,0X{6&i|Hқ8m4 PڝTb=Q"^\ҁO۫Ͷ )e:Ϥ SHzkꐷqaCԆrCﴔޥ$ND"5E=GZmoOjR K|/)ͩ"7nYe:RϐWkDpq ZI3oF<S*>WTM=/i׌6 .S^>,6&"h''W.fU<58`A+MT~Wa%?X;" $ P_[-Q!aU\?=C&FN)6N!7p!Jip?Սra(Ux?+l(u|K=+eL:wqI,g__ 5 &ֿU0=0)midc.~`]&5  /ZK\ !꺅j[p1wd(etm|LrJbsq* $s#zv+ ~ݵc~!fSW2O Ibз-g¤>>8៾iy Zq'0d!z>KT[5.DcFr0+;.M [u:&'IMB^UУz%BSU(Nj:wf`'?+'SB-Cpuͨ~E2XH/8p12;X hxFυ~,]`G..w!rhX3mW9E+d)v<{rwOnV~y~_nʍ13̖@fWCIvVҺYre4 2kDpE\'ӷntQ%l[aDmoytz3W^Rmݝe|d2*%-e?I9J {, JfaXiP`}g+ 3&M)Wvjѥ⬙nAアek>`Sd+O~ﮃ%wR8g q*GkqI{4!_܈w9gW6ҞZ^;I_px%\M]~KSeʍʔJËj wUmpzϽ {ұ,~uPm$- 2 /Ȼ=SƬ5ՇivӢOI+4{H';WFQE;YDT_ҳZ&}By#(i٤ŘuPG_# `V^>F]v0֩&kmh|^ sG;okA^}d /oLj@,rR/ȓ"`g)|}e^ZCsϘQ,8D(윤.JzS+`cGt"qʒM~[. h]r|Er _Slb YVP=ޫضf! x. BrelwXHRS)ic s &G_^+_o0Y hχ4꡹YG 73;$o&h,΍߅kzp)zK^bCŢٕ4p ֨ڜ1_@@rmu^7N ϶ͱf*3O!7#Y-j-8D _ 9cwau0ʆ}z[?*4 ̝9J'03_8_CjfL*Zkš4 ^f#5)!dzFTW0R>:Vuǚ,Z с;w=( kNkx$En{3kفM\]~[r7xVm𥁶Gnj 0(H8ڡOʟx'qq3kx=!+#ʯf2]ّ9ntѲcՙWZsi.3a|sCđ]yWhP[ߓ. =Ij9Om+(M>z+/{N<W$<ɛȇ0 kH*8 懻s蜖LE)-C()dz\)n&heJGPrSrI9+Hjx JDZ\G9_#!~ D+, #=}+RASazog}5x(_!'*4_ '68f| N(v>K\/!1UO_$s Xz 4 T[-U5NKxgĠe4czV)M ']Cw-!RLa0[*ޟ){%?$H-h洷ZK@2a|+eC$&_u&LD8YBgJJsϘ8OQkGqf)Y^Fu(!(ldfTd_l ojh\ndoʒ !wtWba 4}pӋ9r gS7,&9K"u̦}#P2lD jd׀ؿ_< UΩ3+* ;R;\Xg[`[I2|4 4v60[#ƺƌEqrѼ&ˌ( <5*1o i "ӥ;YZjgZl0sߕnұ/@ld<y?U FPFgi j @ӔeZ  =EZ ~y Û{4n4a@P"|9hf‚>C>ee>#RtiKO \ߋ*~ [{ ?"6 O;{Q9O= Wk\1( K=g)܈3ǽDEkpx5mxD!eOVCo[4Ep`5NjV󧶼(o۫a·%љ~@ +ҲoKJtُnC/M+뚾/qE9v+k8}JvH6os:k͞ZNp+^?i-ƉaFfxBsؔfӊ["Q` F,}DT*yo =0< >LڠŋZ)[WUJ*Oh΍)BhcC?/.47Īv3sØEHbg4v7Ag~[árvч}8 ^hRwSxP (F 2ǷKxRǝA?Bl/(+jL"DCJs8|wUzp|4&70 FPK*ؑjr2"/R\J`ԾIm ^R)ʷ ,)g>ʋVp !X,5&IBE#ӊBl0 zyѶn5DSZ+yw'V+GWQ Ц~2jjj)J×'4m\e*فllR/TiV؊ccPbq;{l!Λc3- +M2%&2cC[S1#K;9bDT2&,3+ƤfM*c+GXL`щ-24k&0XD }`ϤAo7B[ Kֱ%_LlHji_WIǂH@482,84A}ִ7$!  XQhńp0FHvfU~F UP}#+`[\_WAftC>1qXv9$[nah,r(hr62H 80O$x(6vC}T"~|q7*sy6SSѪD#yyiLp2jDGqsq(uj_ -…דduB0w4{!B4:0Hxݞj-c-̅1ϰ=hgqٜڸhUV;(NLDTeQezli82ʳ(I=؋ЃkT)^O_Ch$9:WYLykԌy%fvPL|I,˶0/ARؿL$r洮*Lp}̢ٓ#uCZ_drsRsR8Ej;W5&<{wPҁI1xm4νѝncד}F3z^ C,߾`txȗgl6 rZ.IBҀR 8~CmwAE`ơ΋;Uw PS<>3Fܺ*<]I6T;J}Cy6(' [Y=H|2GOD@Yq s5 q(j ٠ZVvUOyzKw^&˛ܛōkzbP<^*NA-wGep-{ٕhzՂ/5[=wt3Dÿc!$\BpN0`>%:3[^Z ]*/vLy68[[Uaɲǝ [}K}MuqV_%^*xq:!Hĭ@}xbsk*/.(bqo/S sv+h2,xg*/e_:FYs(V8W!$GZe L8Pᣈf<"m6OBi tdЂ,-M$۶2- %Xg#c5G{&×fLj^AXI&ʱ 30ɽ!/I]Gz " YQ/6Ƙ*]Uw}y .~ihR0c fAA+܈!N跴^ZvʛtE/DJ WG=r}n =UXӷU iTӕ{thviP$h:ժ~IpQU$ ӗz{áϟ'F"!A I{J%,` XU@6c^'At,uhZwý9y[!M4xhQ5.rR^[̶δ%V!;^Qv1h7x!ø@F>[G$/mk 'Qvcg>K|n^7,N^K99rXp+X1_ O I -֋Yme8U4QgΡTk$?3dVeZ|4x\JVdܮ%^C(UJ[֭%@ءqkC-/>C:3MƇczӟB^ dC׿ 1Atrס%ʿi{}2ޔp?Uܬ.Z3^O.vL?<۶(>iǹI5X壣yE$€?}T^|9Pmoq~j\5 1WX\%Ucs@F|mt|'8~*yƥwasfɊ]f.ta Wm6זiiFH[+ tO> p 07I˺ȹPL¯ [~iCm7 }T@m)9"34MJɩ(z " .m OUiO}ZŒ &0tɭ%)L#?Szf+30Դ.z*r q:5R[zjʺ7ٽ~̫,9cz^W&`g rnXuXpS@0U߭ݲ뿜| ni"ێI9*_~hY3L:Agy_ -0Q۹vPy`Jk1ȸzPvB&+QRq]Xbi 1~i=zHaܷ_ DQ2L>cl%K!o_RDnL 晷.Izf{ű "gj"=+zS/Dߐb(BԎh :&[iZdr8u7"@>jRrvT`; $v!aI+R=&1lKЩml+WŻcz \(::Ĵ zm!Q|A{XG8jiCR}LvDF} 6v3z_ _bp!/h@m踽gi]T>zt Wyƭ>:x}!%H[k 0}3ܚ}`k×-QVYaNrFaY*;|T'E"F5}O!#}yeղT!6K+sI.#&f8#5i6luqcy+]TwǂhZ׎(Ydnܶ0ǩj6 49zdv|v'Ky]Ux#JF@$҅5yU@ͅ:Gȴ=4A-7ZSjCݛno`4P0^P 8M2kI'czXƑK '\*0φ)iC(>2"Dk msm4sC,o@Xqd;X?*1=L)HENVխ #Z}!OKdxL˝gUM%:;LˠiwѶź@ G4T fv le|&MsjKy *6ۏ!&?ϙ '6d_+/bGԶ[ c`!v "o)8˩djH>hΐz9Ei8ڱяY9bw[ľ=V*n0`u[!(Uk㹟B-yLxf4E&2 UmWd :x)h<'= ]j'@;l'J Ǵ˯b6I&9U5aæ94eƞ*# (7h*՛,1ZH*aC܍|OzNz}?r:{4~nm:ئ E2)e#ujp'.äF2V|n vt 6F譏:oLDdIܥT3gY/WothYvi-7(2ERJKnЌ $æ$=)cza ϺUY.W~ImMf(%ȵҝǢJUMHx=tH7;~ze+yfp1h}8|x:\ݑҀ i<θԔ8S0D__? 'ۘ 9w9n ӪROl^>5[)|HӘőA6f!!"$eL (,?eP\ُs; (c߭[RD9W0]׏uŪq[xe-{YB J_Mp$Ps|8cjiꍈ/JicAٽ>)]|o)"jzV3I |Q98D^5d63uw{_Y'W^V;[S3d$?Sdz Spc1P7j-'ShTa :\␱U8 2UEc?,'S&H*3D;QLStaEڕ1۴p +\y]a) n\2xBHQ[Db٪I]R3uv%(Т3ůcV4qSXgUXK^ ))1+MwyZk^:`] ]zucR ƋnMUo\%[!ʌ ߜxBCoH4|_zDȼ>"Bq9qBӺG!wȤ揱ñ8-h:p6 :v|%"`|*.} *W_]U-^ܩPWg.<6-,ΒX'%N_P2l]ZuL TBr{GvdJEzb]-5"2Lzf%v;ӸET{h0ziI4a{t$k?SzZT˵{ RhZ#$[.}~~ɘ,mpOV! s}ws*mƘt5"&fϣT,UhI{]?Κ _UEn͆G'T'=z,>|i >n룑勀1 u=fyuQ>E FEͿiI:{R%u{ DPѲ|Wĺ~ؒvC}6 sN;OdSF, 麟.rT9~@DDAP]P t=s{C܀ }k͞[ar5 0ɨTG )3p9cUL?קO P{ krK!(Mw2QZ+JPH\qz|d-ndXb6{u T+d;]{a p8f<Օ|'tƿb饅J8\Z:w_M珸Ț;=qH MZA[ܢ@+x}LMȀj ̡Ek9Ύ2b(NI+rnU<ٸgMEL_w oa3dT \fSL:~2Lh񊯾z/{6VX -!c9'ԩ`aX32$4!vi6.Tp0ąO v 5ʣzI?Wp^fi* 1ïr-">6$bhU..%mBmOkÅ= M5%!.>r  L-q^ܜVė7ZH Rs-Cz _pGx{ CchPLFwrFio2 "ɺaR'Aez\Ϲ(71{;J'Ӹ$Jy fvA1M5/ٺ_J,Ջm@LȖ}؎MfO}^/$u 9HA#]%uRϽ0!dSR]]&04B?6 ދt&ϳOb ;DDP'`&XY:ܸ';q&M~X UE.?<@%F D8,"f0?}[ߟB3EoGgHB;QEF)9 <'A Ҵ%hM,zٷ+SQkb #8NjTB雔HA{7;RtxiQ%} 4%qi8.\ǟq) ԀnMΊ펉Sy{^7Vgd?i)>N~!LdD+T uh0@g5PK%X1BeAB:{Z &[Y$6ϛ?36?6HbY\Bp%iA6z_->QM{ ó@)5AzwH% 1L4(D1CM!d+ΤTFDI(DmbgyczbzҚ zVQ0Ʒ1;V8 1Yk㸠kil4t3G+Ͽȶ[W_x31q_8}]# u3Gp ҤnיؒK[w kq2ڢ$ iuvQ D$t AĦ]D֗N;2]try8fLdxGJROsJjcN|@g_~- #&)k}B,4}_w6՜v ;!̊}ʎN5Gzl:7Z$mU,^xB4qXM[X45fD_;t-#_K-VۑɄoxik4L6!h<|%C{鴈={f1:{`7fdT٭1 ddY ?ó1M%_yk|)naAM<@ BSm6Qĥ rw6cd z>(P`OoӋ_L"e36\Iv'˅R=wȗDt[vgkLX2 5 .yʵ@^P+,< ?1sNBf+0eS-  L(( I@{2 .d4rzJ̹ܥ)@v=!W,YjU/fuuA(@Nuv}*5it, 'Z;#+UCjHij~$I-*uYAV&7X(r~ah/Aʏ72a^gqA }SǧÕ£]ẓ;o~P ٕ9m6:52%𫭾[F6 eQIk*@ RX'Bq0m5Wԣ6R=i3Ɯ# \8vm)ƾdjkwKb [~)8%LߝSOu"h-5o$bo/SbcjjI˷FX=&U4HGLx cs', K mYou >I ,/H[}PEn 1+]?`qB/5( [IU0 1g$1T$>Ih~lpx֔NXM'Ia4COg}wؠ9xlzmE*uM{ĬP;#wv3n|!PM( >*y#d\+8o?AFfm?6ٍ |ղ|= (yh6}|4*( |^$H|8/ pR2swsShָ.t2% 5_0n[gp}_C 4 HC먑X8½ƌ/|%q0VP T3CQ$i<}p=k(~Ӄ= Ůǝ+ +S9QXz`|ŭR$]kVf3ـ8͏DmW n=g$" )ZZuK^ o1i>=v4]l_(Y3(a)!LA4 鮬9\\3CEQ``Yib:IL}+KQ<!}9X,%6el0}ݙǟauTmM Rٴ "<5 ,͎ iQZ!>d|:+mn! O*N=I|$ ]a'F&%Cve'oSwX<ٰhmAx/Iʼحj )yj4-E8  L.]egn Qb|1i__s+t@'1eE=ȸW!y>kvLE%]3H{*ײ#TzV;^dĉ:RL0QbmGŷms'7tQ3u߾]pymKyoW=#\erkzzk t['7Bha[nCh^z1$D>JoO} 'GE9`pљݍLɠ.aQ߸P%ʣ@(-D]&uے"W cSM<hݦpF)񾖖:4}I6ޟ"gd@.;<9%_} ؄ҵ=5x9m2&̓ J q̸1ذ= 9+"Bg/p(+̣]ca^\{,,\gT |,LTawjI w+;v.Ֆb.zJzNxXc R|*!P Gu^ 299؂lO_gJ!ذM/"ޗZ@x}_/dӴ*gNn΄%>RS麉W)Fr2DsZt+ hlE AdHչWȤ&{q5`kYDxxbIe,w: Ktr1 р0Ӊ1 sBqٻ!GE(CXȵpg|()2 zFoWh_>c^sIp ɉ8j3wW&sfܴsmƛ־>EuhidzKV{#qL|"I`5CS`^a\ꒊ?ѣ{ݹ>z'kmφQ,J4i1Н'E4A*.=4QPo5sƭz c[ n~@H`,IbR6yO2_dG$=?t ܕF\a3{Iѵ]=,Ǫ/&y}QRv*8zs5(}g}:ԝcѼ'_iĵ7L(VJ&UO @a~ټTLQ0 }w.!V|yDc;Z?fmRS6T(vl[3sN}ndk}j!_ʢ|~z8T*Lxa4 x=C%O* ~>:x8P^z8M>_lu9[[M")tk:/~ /yg ELg\=;Tvzw0z4y坘ޝkL+GMIRt=jyG堀E(Vfp5^;$]P^jzc+kj@PzxPO ~$g&*?~wrϫQK7 ׷Kޙq\|,S}Ҫrvyn;gI*TWXm6QO['#=;rlBojW=Nji8ax/.ֆ={Gb 5fWe㻕ޒ Gy6nDY@iT -(x/e_Z#rA8^gWc7>RyJ{a X{E د !!$Ngѣ+?WgYZ7zXZִF! u]ŗXiɟGNeAS@\tRNۜENMzKMjyXF\nx89vf.irTKq[Ojc Ob6FDl;DT? :14a& Wg%|I+o(?sUt3Jp%O~\I_j}p[cZ eK[lOa?r>pZKOu{?ɼ/Q_)/N:bܾ)N!`M3]&DK>[=(8p3gXFҲDtČӈ$u+uߟꖒ.Eqݓr_I%gy[XL&vSLC=X< X aձgYZ7zXZִF! J ]ŗXi%L&ʸv рzUaf5 YvJθ*9" AGjP G3Gⶂ?=2!]{͘( &P!&l]YǻWg0ۚ"_Fb'~KCjC<>K5*|3I\9}XxZv :xF}yPyb S |<賷=a_ƳۖuYѶFTIlT78q [Oa6r/ky޳?'ի 5`Ѽ9o{yY%I<H/N;(mfi̡n;Dҭ! E9,f[^NƔ"ބл&=JS2IRWX=Qxq?/x }C*,sPNjZ>Ű"~묂nE 4O6r;&K0\"hłK[tŋaYAdUaaA.X6#rqvE5k.g_Z]{D)ճq*fy]~~GVjE% \K֦_}ʟ &D, wXx٠Y75!#?br+ Х ZvǙFcU /ec^ q*J:FKI1~Ɠ\+(@r{G7(i-{(xr56W:(+@4xU>!D?duc'ܩ7|kzL  GH[Aaaۏ(h~>͗Kbs`lxVf6R]7 "غJa3 6qMcGʡFE6f`v:yo^̤ d fL j?F0RN9dBm/6]mTNt6a=wez[5A J-@S2uI=r*j<څ/;'17M6+<>?+R[OIgdi",kOV7-XibnPXj>բ̊ETHF U D|=Ѻoa:d6-w٘MG4%dZ*uy"Kx?* (iT_Gi٦Ba@]|Ku-@1oa*MfpAL.FR ?v@N%}UA@!n̴ Hɸt6*/WnrTgtu%}j_0₠F3m #bw3Wr s$~[CӣӐj'{uv+xيbi>VdB1Qh?3$r*G*>`l>.iaϰnf{2]ݘAw3G:KiWAvM,r$0נ`yx* [!wNA$6Un+5&B5;,to%y`5 à )%VY*X@6 JmZs1jk/^c1 Rw'2⤉K)<2t%Bx-ҔZ։4, _o/=&؇>"Mԁo,. &i+ lg'gGnE.>zy`eYGGLxrhDK鮪ѐz:V3+J =K!կ3!jG 5s+NηtŦ~!S֐/:$<@>DqRu._n[+qhV,3$ -ܶjYFMJ(QI>k|aAJEOGk%ȴCK}P5%~䆶i+t;{I(p&ЋL.RiSc?zW6(ƥ@STj3XK1A<6:wF)_ 2;YLx_B΀(FAf'|zNpR Z]O\$ZHHGL?|w^FNϊfez!O7+А2sZ-hs-A2y;7m`-X/}w 9m5CBdcM5O^ى[ol4YP`WrX+}^gsH&uZ‚aAjCӓP$*f+ @E?R\@O7˰j4gYZ25dd2ee5be0818e3edfcbc3c0ff22692369db2899aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 3382add28e651bdbc5d3f49afbb522eb559055f0 494cf1c8a6dd7c5f69af04d85c0e69acc708f248 8200cbdbff9877d4e6d5b55a7d315da4dc5507d1 c3e6badc952aa88837c0490822ccc5009a82ec8c 81f8144194fe57916118a9926baa53eade8db522