SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 0#< oS]HRB-Slicing:threads=2elapsed=514.220cpu=976.632gc=31.148factor=1.907zXZִF! r]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƺmh◺*,,k[I;6Ob]ߺWD*ukT̃ 17\ XntK:uh0^*؉Zge h%7*͠f~ `$xTی5ళUj_s}HFd:YSEN]W27R'^WO5Om4 ZQ؅ө̇yhֻ?swO"TꀎBaCv?a1iJk08)>CgL?]"\j6ǻ3cl_οOtKOa_ |F*1caBg[PRd` Fq7q-/o>?ܧH0KXVTF{٩i CZ6u* *; g6dMT;I_ejpsK~8*֣1U)HiiCJEy" D{/J7=}K^1meI S.B؅IBMz#7a:D:i =WD^ n+Qtzq| v:zG6ͯ<#3%{XQ*>ׁ3@ZGw;9Ot1 ~[5`t^biQgfCp' bF;B !Š{mS]~󊨋saTDŷ XPO9 /{x,>-Jg_l-&4 {Woawg""5q|qP(k"K&kT̂ jJJ"αRo`qzaPļ΁ Ws2>MrDRe$ ؛u[.w”,v/9?T -^_+~$Ą,V> p`C<ϣjL=iR^)tZNoJ\0-lտmtt kY¹xB}X/7} RQk<JCF-L8^D,4b"\Ie]A#kNW##aF}٭<l@%*g8 q;ɊnRk2rf' ~b/@aǟ9;qCgD |.sAv[@PACa"LQ}F!ؒmFe ɩr>%=4P[ # HRB-SlicingHFt\_qg"f1@{2rq+d2~©upW')󵹑zʒ0|A[ r?!8U3UZ\ua ):.ژM=_[yRÃz.Iya4Yd6! onW焢Q{)?t~F!׽tt3ϧ#5,J#OCwM/~WroGD#rGsusX+!s!}֜p,:RRy9bU(E帗Lu-r/.elj }z'ކ%)[QQW*5Eix3Hh/4*ӡE'K/e!䘹40 ׮m,!ۢgOP-ӓ·~`: ;c]%,.`9|'F ! D Lv+AG!9JE)QMr*7 5v T:1R282gJ8ŰDZ=^I!*3x>F$c3!*y:8 1^] ~eK01?4$ b(;>]9YGv98=V7^[诘ĩJE P^ur sc7;1S}y{1T{zڽq7SǐX3Sp."孕Pxs\Xľ$9d *33<@j-gG6+54 #QzJpk L>@L¹9z¬/%,Y*% ģfaH U@|Y.žB??Z^Qzocf{qDJh|`5brli'BT]/RJWiΣCN`'8Z5&5m.gzgy =}hj ouMC灱iVbAkf[>_OL,K@,5]?b<~sZJ9$"H ^qQp s6vPɁ U U2On$]Ri0AQQ 곞L5lҥNb痌ß'f{4;:$| K1Țë2FW{nr)y =0NQN68&^_ry!%fn,t6ťG&ntاP ~}4bc`FкϪݎ$h PUZ}?0?M7hĝPqMcoWgrySJpV /JNQw$}dUC@Y~0K0p!uL/gQSy[=5Ņ.:ǂN"_z:>z=.{9cRu%ILH w,t3^_ʖBQ>et{;y5egd׋7/̕lfS~಑~{L/.G "ί 'd46Uc"#MV"n2'cEd>ic6kCWG@mCv݂|^Xʆ?9$-YN/BW".^ĘK\Yr{YĎ55IL)ؗ3cnHH2ϣZ-26@1[qyIzS>ɉTn; cTDkɅoAo"0kq ~)9|3"= WBŇ[]EκRfZZ<A̰K r.TLy+38chy_M_1֣N[)dP+yG JsK"0Q&Jս?,*9IOB:,lo< r&*eiUs< OVF1MN N"j}Dln2tUΓ÷\_APO bnvx! (M;[do@`&쯤[9ۊtcWc ӌvp \!anJ#C_0O Kڏk;lu/J1dn҉*AFxy ą5:DO'nǥCPNSmbx1?vF!ՎƸ y2640!sX/^sR!fs} V-}:^v%-( ^ x= {]~;;y.56bKv`֡m uĒQ: b?իV8Z vb@n1` pޔ<.Usdc7*/^U|]ApgMAg F]AOw9zD6峒|z&0ϼ.UR7uj\mYi`.2q"w6# FhLJMJfp-bE/$G$qųE3qpoy;m`f{8tHCS;wRvf~Ztc1=ivVEcfcHZВ1Aʑ"aHT sx53[H %2$FG)әa=΁qwR}hggn4$)҅hNtC@B\^;"._U"=@9Ji&ܯwl~j(%YY/顝 1 qm1) 6Nd^K;@2ZX)GƜOϿ>Oq D'#ZӢB r3TA oɴGL2Z;6zf2ON鋶x 7,";[^23>HIwڕ6QbjUsb"Tj|:D3X^\&?tcvzE?e(A}74{ zʪ~Kq<5hH@tYtq!XU 9l.&O@U?l!!FS"kη!Ppq)qidQ~\|cB]-\*6OneH#Ĥw׽d} hn35h,낡@ Hض|ƜzjYZ ɧrxC)P'ᱷ -9yլeGid{sca49S #fjWdm疉aUy#2xp<(GԊ!2ޱDC ׶+{G;}je{?;AY2(KkmL#+j(ؓYyBoiYHOHQqjzuPUԒ4Y/^T7pdFH]4˛tb7?sQH3h7tdWeXa_4|*Vp$wbx3>O߭য়'k/0nNd}ԓkEd" +L[ fCtku~h_i椝S#PʄB>FҐߧ'e9?sݸ4AִmkfQY`/.qIߓ850Ҳ#uaR%Ҕdu τűO:>M^s1\_j8r/͗6T`X$<嚾 oOY+_~amTdz[W@!]@ŽUu_?rE }?5 {L:Qo#cw[:yV9KƗC t*DQJUJ`_dP|z1+IF_Kʬ [#qpn`KUhjk$TT}(͎NĹ<ʽcsJ.-:mda>~' nS.]8SJt#9C[~hIf\~Fs_֎Oq#IqoN9AM<|3T-xnJ 4Ji ֕1X:0u8|`Y6$9`ET4lOĿ;q."O$tg;@)s xQħpĿ(eGmq"L+KJV>} j[VV[T$w[цq^vO1$>2/ڕ[ɼک^h)E븒x u_[qc$bZYz3u;$+YH^ws!m|o}1wj1&@=KPc| q)lQB_!u/ih{[rxGy \j [zE(A8UVjNZfDRFJ~mء|T.]z`rȕ\ q7dܯjaBArYBD.f){cD걑hӶ&ibȘ.IдaYcGwU蕉HIpaH]$,k PlkgB?`wN):CF}`˜qRZxka_04>@c=KSe*ԾʱeefPxЂe*S#A*ni6u ܺXJtyw"TJTop2#+b)#ÈԤ1MO5Y'b]8&y;{ ]%oH4|l1ɀ=.,Ξxdy ND;Z/_(yW?ʢ-=UE/$@59w7.e&z0LK 8u.Kƶw<#|3d] OM[Sc*@̓H NEB`t0wqT;o,/dOtFq5Q[9/+m&YbxY(aƕ BTaZ14IJtpvc~s*́$[ i(vw(hV(xccж&X.3?4@sMpcrŚ!7"|̪b?H ߇^Q2to1iےos=0̡)'MQ|lN,4Oz Z Mt F6TQЂjr'9$*h+d|w_Jn*M> %gO Za 0G,-Uɻ蓆\np47%')r2+zhbJ(v,?@@Lay'V3EJxNڋ#=,vIau2wq6~ce@-^.wOCzp_Fmp f3ngwZJ>uxb-Ԗ BW $xאVf.#,} >Ae*}7: 3iw ӳe0Am ̎ M\G &-2CE5K&S%W+8Zkw7|}-sUf[?lMo"Y#~NJp{5a|cgR MC/NjJPݬ Q)2r%.L23.¦G角)J ;dnivzxXU=Gn7wkcon| hIk/ .,=6XrfW9)oC)L#ޒ(DФۭT0P@)PquUq1,8@5_W+v/K)!` ܿjb<0MJ.j .#YNcfHYDs[H"|Q=-hyV `{LpW{7ߢ~{e.Hb94T+jZ6U,4{saF,oZssH~Zse)q􄶬3ʘǴ[[ .>Ah^oΖJ~N1żHuя/nx[_ڇkbAj5B\6Mc^ M-T\'yVnw1&o,f;'+5@'FIqjQj ~:w2 /uܥC役CqLH h_.omH]6Fnfr*bn麎sD,ǒ8B 5u]bVFl{)'kU(G0hm<6m]; Y2B]Em޲w;)c'j2[QGqe~Z&G.RQtb0˟aic';s螞KD@g:MT' s>^`Ez^cA'M%'/9vf٬ӌEv0YqűD qZoF0h;2]k{~K bDЧlua 'U[Ή޵(3{b95׏TysŅ+1/vSl3ۅ5/,bٳJ#2W>fSnvo`ݺ>:jn҈(4f|*H}@r¦^0B1'}u**zϽV_bB~,2xa^'$I}`E4آ :T_~ w/pXo p'GxGڹ}Ʋ:Kkw [9C)ȑB|FI:dH{uI;aɇ?vSļ!]&P#a4sE.[ P .xl9-Z`Ё a^9bĝAB.S|f ,#"*'k"ɻfTyO8sTGuiQyP\WmfF'$ZpLՓ6" m w > ,Pgio͈,E%kQf;6Q |=g:(F7R.8s:CPвjz+#.GfgHO/@@ 򡅑!5x)yevЂuxH dݥP/ۚ:`Ifu,xfd8Ph垮 "mnNT?wff^+nIf#f,.ieiҧ8F`O$˙PIx f}@+R;Dڈy8^+5X,.8ZR%EyMC hG92䲤.MPV;S{?Xb=_YA{_=/K y!*i T\_qA9xɴhgu:C<7A%EPrn>+NJI` ?M9.sR;ڠN$cK;17YX =ٛb{)E}9Ƭ.ؖN[J4P僁l $soT24Fe{+= {Պ\t&Di{bJ--g.啍$ (݋1d6Z0#tkWd1w4X_qRohD+S6F(8[*|d3"bs[͈FULWF+G4H3N| ; 2rXn9J#JNWy:1lSE]Žo3̃لƞHVGE#Hyn 4> яA}n髠 2ƍRۯ,m@SOП0/ Ŏu#=; ցUzއhRlai<)ؕs9@zLQ,4eCX3 !BP,K^ 9uk*O}>at2pcn0V+|^XpwaY?&Ƹ#DXiЄa7`dvT+pMxH.~1';xEk̺W>4w?\W,-5g:ċ|H3x\6;^U.*&[TGgqcvQ!<1FWdXe;$>c:)y@{}}s&<ׯM`fMIo:%$\;PL3e=Z:Nź }Y@H#ԗ|<)7o$ub;MQ̵3BxWyJS1ҵIP [.|&/4! kTg罘^d!6nΓpƋRӿR.|ix!'ZքȒxVX)&{D(u2Ra l1Ң K+x.kFx۷0q4uۗdR-\;_=}#G׽Sξ>jSgww_J;QoL(~>~}t^籫>0.DŞ> 6Ġ>Ci9-0ǢF (􈀐UCTNm)B$^H}M 7E8Vlr ֡>eM"^k첸1Έo(dv(Ž"I`{f+ %`̴*^H;C] eM/W-PbǬwߏj]KPRMT$KUUȐ},`7n>h\?jUq(Ծ|iE;#_e kI$mJ}3*oWGLx|+oD3pb{ߤFH(޳")~*٠C c!^ӫ#+ףlFeaN/Yf'p =~L%zoL|AQjZ9hFUݶ$?]BCN{$5I,!^-%H6UbP+VI"%:"ֲM@Ideч>Li |2pAUKL'Q,,Bz'w!F9*yެ|F`i28~"H@ ؘe+lGyHIs{Sqv}+iO;1 ecGTpl9@V'/B0k7>cn]n {~7gC@\~Wmy|\_@;?ʄ(flAHĩAWNZ8N.=:zX\E]hi%~dbJ_[-$``*BtGgTOmC:n%~x[BrV>e}@"̈́4`h!ԁ3WoEh9E\sCfͤ /i[8)t-@v}L0MRܚ eRM>ǐN LgqqCabϸUM YfՁDkpbZ#WLL@J,fi _ñIib ~Y*[vH9W\P I=U$U^yj oFceCd @y+BqK)y7g 'kYŚzPpvpOe P?ہ d@=5xJRqw СlE!m.0 '-Ml )u܄'.9͡Z|bwr.0׌ 1[[C1E {(DnCQI/:2ܼm18%Sl].溲,? ${FS#9OԢdDUmyQ$ph1N`/|E${mp/gg5Wv>N=iE! GtheL+Nsx|JDϓZ߂;#Ə Lb m<_,}{| 2 뗾Tb#(GWUD ˷E @Ķiadh3=@+CmFrAp4jxHYwD.3MEMo.YUz^.8{qY;t1hb/::[05&ehp&s24n;9T> .z&pݵzv.)8CkkDE)~:: ۂG_G6bS]ƕ^/݀^"^yz/C_S_$ SFrmjs?xCq oGRna OδS<;>Fo93k>1އJGantYt~BKYc;K9l_kz}kxy,kw}|[9tEKBSrR=Kpέ!ɪ*=D>KIn w9>~}7s Ơ^ś)#TY$aؤ-%=bU\ORzm$.E_}Z厫|ck4rw$}>%b`Q(9gQ9<+BU! =L&܄-ǚʃjN+`vT"*]tjȲ@%[xfD)IeGB1a"-LN2 4ZH3R%vn⹵xjܤ >J*u!RvQ.4KUIG:֙=eѲ lơmcϸs 0/Q8MdcFTDM@vQWZݰ0'rw(ހ< oQ(xC=UP7Ld<IL-] ɀ?4F?$׫'!92)/sL%^Ca*liyjz㽑1o%bsHtD'(=6f:\W.Y(C^H&TdldO21Q+hQTUS Y1L&{V1Cw@!>g^4~ cB4s3%aE]=SC@+x /14 (ԮxJ,M5?;iTͭ#f{H.V@U@â4^хWn 2סZ+wts Sӫ3b6orKTh5f[."d^`QE@K9%M]I WD/T5enÄ!gTCKEʸaK!UFG 38-[zvϰ^ZgDe<J11)? +VyuE[Ysnz_.lX籮#\k)=ՙ7(%˖ZWC%Q*vc#xHڷG V[se#"2|KEpEcAx?pRnv֬tff&Lʉ.q0}(gOPm&[QD퀫[)x4?R#<Sx4'0X'" 7;6/BAǃf8:$wT*k]KZF,(ocVF%ξ]qƶRt:hw~[QN.KA@"G/ٕu1ORYG&R;Q+`u<5W@+$,}hvGav  د\0']n:=y6JI١`bFGL&7f(=nrS8Er!asC]lM/'fZʩi6`̋#F,h<12bУkuu^&E 7).Eue1;,+q{QtܻY;În/+IrpuxTEI1(2B݄;vgܢ@{3ЖbMb>8!Vs^&]%D[u<EՃ*4>A_1[1"X0j/~H8tŋ$9К ti/gͿ|nJHg/]AF.F#%KRN_X1S.ܫ#TOMaqsKt b(ö7uH1R!njZFxu_l:Oa:Kk2)kkU :׳|TJLwZ2Q*QuOi8|/VЉ>o> CăԅwJ_:~4#[ο ^e{\ Ztbشa5C C—{NA˜P]$}a<]P`g苙m6c+~lխ5_si]\ۜeZ'pR&`|~tM^ŒMԆ2⍒~pyt?tw8VVtU &(Fh I/ՖvUL8Gwh?7+ֻ鈰_A{[?,9x)BU;fƭ<+?T,Gј qo n4JHmycC$o5>Av*R.q=ǁmi^ FrqN@S1 ׼n,/R[HQ|lP!h||!8nֲ%K%@yv"^M+schIm䚜,*uj*nYAZCV-re&am1H=mih /9@Je*AQ. T#ys>GE*0x& iJmO_[ڷ҇?j`9t8Nx W3TD: #i&09e=h ,с> i79H7'^nЫnݐPyi{T;7{ >2iD?9:BD}M+vycssױR]ɾ7,]R) n#}ͨ^)@;5x9IM> iPp}{%A Ao5`|@[eOzaE8MUHgЅz+uևaF7E*]SXh󨿓*5S=UOD HprS7*=$; Yӊ(Ն2TpdM7."u?c)-uW͡~"2|D1Z*Q<ž,W&Vi $X2 8ٖN*җ]G8H Brm}ݚ]V`zmՠk)4Ŷ F4b55я,4N+/66l#Nfq܇?P"sQd9/'uǬT6 TOf䳬(ji\ۨX +cZpc /Zr&ة; >Ee1! /=)x}%=7k./H~U-NBKY#M,f% F1V Mc*!ۨ#O:C8O. '5mpT$"-P`|af^,׸7YŚx`광 ̃t+pIeZK9~L|jkGX@WcGv逸Б{EM| (`uדИ}׺. \hSSb|A[5#= 3 y}ڐ~rr## nxsJڜ.\\^ϙ|uiH-7kx `pfb.7 *I{8G.Cm.Li3is#Sp1`bU"h *t-4}Kx!Q0 y4Jt΋e Vp.R|. 3 i/ӽ,n+pX)r(p݋ݓtE),n;Pofi^ޛZt>gz")_R腺m"%f]}s >F̸bjDʇ/WxO* PGmiI Խ$&lw3SN+y1i:u)5i=5nu:z*,ӉAnwV\%m.:6I͓:NJĶ6 AeK@Mʮr::=04#(5՝XS3ON}x<{m=Yx,XTU{?e(ESOj&~[lu8 dJ}JχDZgZ Wܣ8ySNZ`#dCcF-lD&@^P2+q3iI!9 "w(I)޵`SVLIZ_7/Σ궨Ժ/|]۱L̬+,9h{K77oY ʟ1@nPLc4_+êQGۈj[&O Kx b}Q2vs m2/\L 7A_G0MCc{ĖEbDq4tqT&^VZD=nׄ'@Ώ~օyJal"6D%47'Wd?(> A:v,yH:^AYSHz`^ye<]/T@@d% ,:z/%̄xLfm۲8P9?7cj*qWIEc_N uڳ:+,>~_bMe~ހe-gJ@,8F [[pGhq:ǶJhYp@yKV^aSBU||*&w W7D]L=N,Z^GBޯk1Ƹb&_i]Ph3~e%#;=>'#͎EKdyI4/_=,vUa1AWqd~ { mKx[4j|\e]e'=͛tCd ՅSN#h],7q]z?_W<%y5SD_2 5Υ)#R8˘iȰ]옣j! Qe!pj _m-`%b(%1Uy/&7f s^ƢV}F{<: IL!̱#)C7Hv["(::{ֶ}H҃DmȒe0LfH~iw[;u]hΦ 9Z>vVIJ!eIЬH퐺8SUbDU,(݇M:10X)V}VK_}wXUZRun >-f_|.>AU96:cJ//-:XF ^ȈBreȯ6bk1Rxl< m3u2-}1T=m#AӐ!z>a O9'j| /(^fnYy[&~Zmxea-w;}-܇L[\CgBI9pub ?}xK,pD 2O. ]EA,?,h׈i(@, d"7#*:Jl08Fg<exjj5/n$_y L] h]W^)HuœGƙ(MU9֏Ad P W gFXS&;Ľ$*8 W 2itn&@gBC綽K9$TdJIa2-*vH,<4< $.JDqF؎>ͶKlRLplAN)R~Rx ~f&Z,كl*3|t+2 $kp7d㐖.'4|ڣܕ`>QP\sWCJecDkԼAg ;Hk tܢq.%}~n)y=N[W,9b֫5%>E`>cE={?osqEHY&ٙ DD" kmkӓ60Ho1Q?sqLw|4~9`l[9 v4OU>g=2ܾc'g%עN$o(-N| cQsa+_l>,0LQQ>(t4&+W&@r܍Y@)UGte/<, Q<lcTݺ]?:LR48ucph,3\26g-;&Z\CPG,Dİk]W'm|%{ڵ^置3<֏-ۓ 77k7\T!GZN9NjRuC{4v g}bF#X4):?N zlQ2}UN+޼$>QLCr½Orb pW9Kophg$j:HkBG'!z(.rzx݌n';REʉ Ĥ^EaErNP9%c8歷6ۄ4w'3#i5e`3 y!.\c=@sqqtr;r1nrTsX㋧,iW˴oQUD-Qn5峗v2/cT~H5.X 8u-W$^yvş4MtB249<>R^4@,Dh٭6]ۀ$̐+o* ⅊};[t1 26kgYZ7zXZִF! N]{]ŗXi%q9x1q Jk|:8A(lUIa^8S^W- R^IZ4؜U~v[T 4;^w3.,mzo# ӫ`Id7h ̰rʈ﹕wm(ht>Ha##/CpiUq i`xG%ZJMI 2}3\# ym8ip"I`TW[ `OC|zpw%F+jt0}CNgng)5v"+2°'N j#\ 2DriM2?9ӱ)J⍊&KeGeV:{fI. (-XFEjMVA04?ah|N{oN;c#!c%*SRwff1fPdҒǫ`;wvÒh s˜マi1X M5:8@$wr+I LSdq̪X254"1 *趞DmukaGl؂n}@oמ5R-{7Ǽ& Bߢ*: db}JI@ {UoS? vY(vdT=3n<6:Ӏ?n (Ro}p}칋&@R9BwtBYv~C6e͋Kr*Adގ-m>NiV# gpkQ6 ڝLChxCjnn \]+EwW[\0facu@ё2Yw T`&P]]z"|iHhk͉cD2kPqP0)zcHح3/FsTQ(Lzc(^ vZh=44Kwl'FtyfL]>a垤+%'TH* MCtѯKM{ݍ#֑…XcB2Uw]=CR((f;BUnl6?o`[_/>+,m)Λ/5[x߿ ݲ,M<.<մ 7gղq'{:g"r8gR9qtyrj/:EճN% q=ՁNc8d`:|su >+g،kд C>ѵY3'QVnsO6dfL,M!t]n<.d臒7uT6XFBtY&Ib(?q̐nH ީ`E*=>#03d&XS9\lg'IB ͦi9s揝P2PJ@6G*0}nsu,Ulњ DsA2!=i{[gW|jwˆ $a@IgtF4-:E?9k ^]fD◂O\J+M+2;(;V,x!a/ # 2lv@GGP{b&>B+9pl ߤ!DTY4= <05O(a6q7Yo/ab*+z/~ {/4~@]~Z1yʢ(,7٣PhփCr֦ w K0ҷy9*SX[|#@Z2٫* J O"Rm~ f|6UWZ4XvyH#(dGmTf7j(Kk?s:[E y_A,4rDm0s<$RȾHE|V"V$wuvFȾ[.NˍuJ+-J`cikkhBS5Aoeׯmw[N4 pLz;FL3⩭egw)xOV-KseqkxJI V*m:{t&sϋ&_ޝi|]ˮV|\P1'|xl /w@ٽ]ڸfSY:m &e-v|U0!ˇ;7~5F56o>J+ӿct~HǪf<m0c^^N| YH֬S_k4 R 5^ f Bb*D% VjFCp[L5<ǚ+.DnT1yf?_ӜG̾oβ/]elNuh\GI/HU=>ghP8ߝ R 8¡+^+u}ģ8^\>W5NѼv2Ⱥ|z[lM>6N5ֳҤ淀ZYYI']J z 6)ى+%=]=zL@DN֌F7;Jd0_u]R>]7pҫqᢓ1i55 ) lԟNSpq?YW3X`̫ur8媸j`옋z?Y Rsydrn10' \+nWN=&65:1C!/*U#[. /J:k#żP=j&t>Jנ?H_R9xm{'Qt+} מi:LYӻ}k3w7}/ƌݏ_N*1knN<Axy66k*~O"3j[PswI?Fae nU[qҺ!l#3}\O;C"w:jXީçFur X18 4..|WЕz򪔧 %0i>Va(R=4Zapۺ5AMizSM=Gyl7k r,{yu|}i\<+0(p=ͫ/ogQ+vW{/S+Ů/<4~Т$Og=DME]Uq^w4x&Y.)j\oh_?>?@=?g}![nA(E4'~4-Ii+sj (rC ?fHъӼ`8-*|::?, N1nl&f 0`LݦȼGbZ@6oF8̴g͞<$Ids6Ϫ*]vKΌ#fsK]HGjIKG&LGq -2d˄/g(+(4FHX^P(G\43E+hfU:/& o.ZW3dEz)p)ǥTcﳤ;l=&Cb ?%#_/{Iw:, J\e.jƍqz'5I ,|j/Y9SFj"jګŦdM i/L.;O.q ˎn0wcQmGv)bE)A1 m#1%<r& G9D\>Ӻ@Z#&Ѕ%$m_7i1~qٜq&2TwDC|a's&LjB?;'V>/hiP5JXP]u8W-' 57QX3 $\h2״]GXǬLC^qR2' M2,TBNUX";=w;.Y6+ck{^ 8; npBԿjJ";JW9!,vi.sRHǿ!`̸a:(oh 5[7yݻ+L(خW?*!;oPy 9| HKҬ%IYh+HS*U-wdLa[G-D1k<9ʙRCVHi4L$t2] 4Wӫ; "$[cEP"D'Z ;Sm2$v%ה̯K׆&TCt ^c`pG!,qX.`Q|!3!2NJ_V3i_{BHi-:iݹI)bwcS:lrf=xɪ[^dK:KY]?9#a 00Ye=bVUK%VLi}o $<ctۖFm> gIދDr*ƱjtY}9b\vApZ07WjNJ ō!J8M &b%_m  ]/؛D)_adKjufH@P6nn#Сgj>.Z[iWV5'lWy! BcXkA6Ԙi% n"g#'+}5̨!ˇu}NFO2LsL|̣+\ qs&YA_϶; R{RB~}Ms܂X"k.N +uP뙺 :O r*-  iђE=Rpr c[:,XL/AZwr7?T 1'#c%/ʕ&g9;(vQ8GOş+00; JM?Y8XNC 9$5-vf -IpS? H"i::lj*4X}Q72x}o#M=Sb T.JڳBdL7A"'%ec+=T4Ej2ۆWŇy(Pr7h7o}tI#KtRHj뫣5%$TXlV1&#ɴ{y.l@,6f[m]˘~r4yj+Wб-7Hs߰B &TLVTr[Ȫ\@־$\ꕕnWb'K){ǑΛtbufMEd;G)՟Rkdž&c]FO=48ji ޶By/T5wy9%s6"0GR8*5d)dy RqEvϿ2 HBMigYu^RKajyҿt XO<˜fh):)/ex"T6)YrX8 Qr]+?%=`0WGOJ|a7kr\y.Sma̔?D ^6 ^YY7?|Dw~3x@/9R% 5 Za~d8 kA:Y #Z"ua=rm]J /֤RMr@Ds*)|ԯX@To ӦHORvxC5^|WT;GΞ JhwH2N"rJdIO"DN "9a:st:\=*YHz]u\a n :GN ):C =QD RA`l+sKb@Y"dv5G.#87:ō Ρ!;qwAC٬wb^ވYR-H/q/GK4s,<ȑ?`5$ޟV5/`<zYV^ {PRw~qGW3?3Z<; [Zqs혈u~ Xlo M*#pSeۗO}WD<hˢ:Nq 0NAmLD*{H IjCԦHnC^OSu?4$ !p!]p;Z Ͽ7)å-)oHH /&BĆ~Ä!a˽I,z׿Tdz1nasB$69z(8ZD{y4,Ě=rG5HUT4N)M#? +Ƙc8y:^(kL]>MHKlvMȍ>f4NeAf˅5" MX/cSedO}lfY{QF0Ia+=X O-&O r ΰA%QS, H} l< rQjNsYԓJˈi0-@u'W&}Y1u|S"imǔ^vTo/'ePˬdV<;EI8#.@w QL&_Uu#1I{z m/ѓl68'^^>6ͺ3mjy_MjXe8fq.a>Xɡ`6&Du,z2$VTIzyΔ <yN.z"쪱VORMd3K$\TMzhyҤLĩJ&d x#}w gc1sE]M8g ~@`M'VRX9?]3щe s˄*`8QP=j_{{V[.g;3=|L TZD_lW6Y?H%'5 8$>e(蝣WȚ4N o3DJJUT65O(0$q*TB&~祃o*ƾ?tBMf942d"͜&غ$2C@ eZW)K㷊*_+H3]&%9N"6H ĥ'LjQ/_,*fڣ2@mG?by,rAqJHvRÕ&?OoS-@F/ 90݃p"a8޾]hrwoTڋE'5޽ʂ 3?s nxr[SxȤ=P݁ %Ycܕ'm{<ք̸QA2i{: ^e4_¢c<%g|_R]e3,ǰ ތ]\FW>M5r ;GBs,0N1 oEz|U I_+a$#x(Ӑi^V7R rws ޫ:\T<THV_+y+Nm8@'蹥{A^:ۍ5<=?X:=&W4vuYвN5}A w R! ML7liTh Y?<yycvӋ%&CN\ҹrEU[TNr +R}4mzs7["9/w;f 䨡g*$hi˜5_dž@%~ cT πPO.nEV)<{˒_Ω^q"fJvǛww1В UqfJ<.?VzD.y FfvCQHul] oޮ68/-֬y-;sꆃEcP*g{2whj#*q]+HQ˯,gh[gDoƿs/sY:k>knT~0#lo* =L Q2Yh(M%94b_[̅tъh0"UQ\!`Ǡhaڴ#Tjj1@&UVG'ɖvz ˭8DS7?K;+Q6u4gbF($1[]GG?.>ϣ,\SIKK*=P&3{DG\BPЎ G ߊr AakZ?bt9UYʼ#A>D="'ey)0n迦wm|-cJ.'.y3ʒ\vhP1s4<$LѫtNndG p.7/Uetؠ rPLԃ .Y$hi 9z'-0S;aMAq."gwh|c/>fxߘ׉:9s/m* ۜd1rK,;/XPL&](6ʫ>b [l{;SjِOP剧 8*逻ӌ\ *:{ ,J`px,E8"k BnS؂dt;כ5|C<9:H}s+7$yTrS],1҅a0I UЋ$ĈH3^)EuĿP*DNpu C K(q>%ُ,ߨMa@[妲b65cp(ntg@hmr5~)\s`:OE$H|IKlN`K*ި O^ϣZkc$ʥ35 uMU]@C nHj0Di` UUL 2PW@+|j!7WV+T]e\V傒N!GyB`#U q0\hT? p8¹jG#Κ{;@~9*fHhv-aN-<> 7  2܈;ýō9$sURju]\ 3/tˁTrT8r..OGvr-6pRa7!"2اb#F.t?޲ɨ`->6 `2%) ".q(5͈5Jˇ8(l<2;RpfBCG +]rzu"ڨRoW} hJ%z!a] ܦ_ rd*/b$Hȴ4.(SA+˞ѓ+7q(Tmå4 AE='xư]k\0fY4aJT<4TyJ:q̓C}Thbed$z~FɍJS+q2pE&Tw1 IRЂhn3E2]{*wd7|!E-ߵccS\xi }E;ۅ'[A몹fh[qɛy㋑WR,́|$$ANn*W6tT>d\z Ze,'0VDA%yS wUc/W/ZxȣY/ N@5^Z̷s 75̛ٜўmFCYX NvۧN\`f͹c{I3׿Ќ._,kINx^N,nখF(;ӽ-n㠙~c.7ɉ0"~%b`nz -]ʱj|0ڦWr?,8~{dh o H8V`okqJ,#!w O:`W?٧GoQRJrK34tԙInw7b*~5J~t>c ~_nS5r|~*Zж%-ц'+AٙPN5v?S}4фߥT57-x;T79 ,Ժ6؆7f& <]!Ż۳KGch. ʜW?wb7 )4G`!m-S$xAKo'<GvPu)$,gls ׯ'$Wq1jF#.+ O}£ 8sڙ5D&/k02 HYwln>}4?Fhcv$>XtVX{ּD`_|Skhqix ݀b s$pN1蚑Pg*}eUVUT*9.>Z&#KthحO?g yrgHMz5fx*~mYg8Q %2S-F$ ӟ6.ʾApEAGCc!.6\fk"DR@1Kزc|#6@:CڧŬ֧RFy` q c@EI݃33̩oVR 4f'57 er??EDIuinx6멖CóZrm*Kչ(ZBD_Xi >Sqn "4Sw5oUE8Ph;+^˅cGl]遷B8A/P}filيYQ]l<WV[՟ dwB&TV:"Y6ܳFG*Q oxZ@Wa4hzq1uDŁ 򙲘5l`DtFs>j 2,CVP=Ͻ$h{ t<8 YPq.g{B1oU4\_kJSzȞ% .;ې}ZiY1;a] N.=L–xe摩D]fUf)9#닫+Z~40$DžPLe u$ONěp cp<0_h*)5;kB #|%P>l^_7"; n }Civ);'/ESB_e`@v^vB.j^zOww(#&n6s'z>R>_:?g`C|yBG$h1:L˺cAK0m]渁_v;/JLu,f"]6MwaL.Wsg2(}t8"dNd]!qL"Pl#_g/,r3L7rwW.D' uy7 pW1gu2':;^QuސD"t*ДV}a=p@=s+]lN963U9'0hq(>J=[ƺA' -nHl: 6UǪwͿ1^Hl|TRc}dF*p2s'GHuhݲb D:`zҨ:o)^GoB2KnZp]f5ZM2 q 6*8fuX =$r-jNg0(f9j3J-wNۭ+5O'e{lQXNm"$&2-'Ǯhx~7ZrCN%H!8@bo ͲdnL}-)厃MgOlS`T@QpJyO'E'& xNT#Z$eӜ {"&"iZ;շ+0͙jAgwSHjD4BưQIݣ6m`KGt7CJqyN5TӖj ϻ {Y8͹fŔQ,SF5X{ NB/> -")mN!FԆ%/.4zQUU_p/FT.'w N({LUFi" 3`m8Dσ3@U`zv[ N|bU=+w#lȅoSGӫ }j0 &1 [mݫ tO rGzDA=6!fܛjv:/w{  Ȫx,}7[w%P1CU2a DP (zDZ ERړSɝolr19I pi:û9k/Ÿb,iA7 3,M5F\4F{ ;ɐ5ڪ,pA牓ڭ.s:1|#A`>2G$Wɓ=dgM C hI[bwQ`L:={c{Iָ7iC().v]-A% 6 *oK>3+' `rWX/um0`n7 = zxGF=8 H'O\Il_J7 e!]:` ΁KˁRe6:*;O8=u ߀?L%&| YbW#FNwn/.1ͤO:4Qݛϕ/r3p~5\;o($eKZ.f7u6_OE!yq=!sK0G& cCcmWi0M_ғ\o bZJWg !έJ#b::ֿy,)B&Rb}bk4,В.܀Zt<]MЪ}(ґuJG/@ vbgU?(qhAЊ& ܻM$bBf,?x?e@hu=G6myI:^WN˘B)xJmЏ-SB<HicqvQh>'2T PeU Sђ>".eSM x+U(< T.ޣ&?'Τ0R8Xf<8i0or4\ ]@LPw%zNrfw%`au?Ɣ/x+ ϼ{¬V/CMv0 j?ǝ]jmx`/iByN#ŗWoՕw"PӸ}E]l r[uRHd!IݽF|P z#^ghbH|j˞bG bN],4I͗n_KP7_EuoXɋ@^ᩋ.yó\?/<{ ׻1;!Ah)Wa֗{:/EOz:ZKHY!H{oX@ gk'ak L巙C,iv증jR:(6_]G- ߏʘtT{,'/efD)A_8`o@~SCPIeIAnZ3|2H+m'#A#FF!c0ƭahj^Nwrӏ?H$"rd%"/`j%cM1߫P)S=eQ ;U KX$oWQT Cg@nK*LuP/xUW 2 <laX伖YQDFu^]k>S򴐤Vj8n7 좐ֿ-em6gmPn2tgw3>k1t@-j(.3B6 bf\2( 5П4 |fP{9g%<4S#vz v<, JdXmvxG;k2L$m&h.` IRu*?o^+s;;nuQuK>{ H%cvb*Sྷzk>I[l)n~~QYj/ l}ǥ!D'd2FrtwU5W f20Xb1yXޕ[.gP+zaSЪ~-c`UPOxtQ;j{ǹshR¥.PVh#4EЖ`@ݙփr fvuv=$iN*2qʐE߾> '_CO,ᭇSzwpǤUFG6#+!Bh7OA9)ia إS UB4 h&ؤmpE<ւK"!V:D+tT`p,wס1D0gQa{~'U60<*2Aeb!  j֬V1SQh#D}$~i 4iSl}g_h{vV9~ \lDL2%|NmFb+3f_eݾϒʞ+E譞'˞f!,WK|`Diq n~Kƅȼ1.6D"/!P2rz̭1 e>#/5Z&gYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 513af589af52c683c28b030e58f615348f41b1da 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7ca278385d91b9522f111489bf73c24635f76573 7d2057f8010265ca70ca77e2b203978b6476f0bd 81187e9937d74b072225d40d1af42e19e9a8b3e0 86c289a8615b3d182e0d851c219e683dfde0241d 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 acb8edcb8f6ea0fe348ed05f0e070ee1498cc7fd b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea d19c06691976911ad10683d86cdd7ad1ad87fd58 d3981a38dcddcd5dbc9c2c77903c8312117bdd01 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 ff6fceeee2cef000778dc32616369d237996ca43c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e fdd94f1021198540ae0b63197fc5530e4ea52aaa1a6a97f96268e189cadfcdc4bd6c1ef49403c611