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 ;)D ]S]Incompleteness:threads=4elapsed=422.170cpu=1024.620gc=15.820factor=2.437zXZִF! m]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0ad[JZha zK*S z|WHR*W$A8pE#!m) ${*GH:00l$7Z6ثg噑I19"btgk#k6W.".|Ĩ1ʥdc0* jA& 00ryh hCC|4L^uf ) Incompleteness  k@4yx"q W,)?[T~:k+/ w3韏.}RV( 3L[͚ ?T*z{9qI ʹ1VyV+uS {m儞JgI=0D4I ʗYh'0DC ~r틷12y @K ]1-$),o#{80]'-"DRg%8 B mW\n'H,O繋:ڻԴ]{T,~'r(^>1sIAy$AVti*?@[}Dt))ڥ͏d~hNLO&Bُ -a H_$YW|zo~# "fa.|mc۝{ɠ`ۤc[0ͻN%u{k8Ecyӈۄ %yl\(| =*:YKe2HxE,Žv=o؀v?wS$!qXS#!)v/&`C_vvB(\.FMD$'po1Ba3MJ$aI(P7`k&Nb+`^YCS)UV1rQBe_ٺ+o!Cz\ 5ڿӖaH#ޟEfkajGl!=^x J^25K̵B刃CؗZ9g#Eg]M q {UMG I1]qQAd447P,ifY9ә8|SEiYE972D,QoxG :$@x ,9;oZ"q 'O[5ap!pIo 3gZ!mO%)d#dB}mWQhrptIIβ[Ti\X"[+ 4ҋWc{g?c))2{&.ۿrjxLj3sic:>%i yX^U"``1DtV`+!"c'H|Qjycn-^>Kbn_unc``8;=cE'*!\ N2M5.g?+64rTtӫc7wⲂ\\o8 ,Lz7G IV6ކ"Ӟ <>|' Lw_`w)ۧAmF\s1)[f3TZyPQ9[lC7``2t?Z 9C.ui1V~"+s^Xz;hnox*i y*.h'cIM8Jz5ֈV!t:='޴2q3Pjטgc_&.*~Yʥ'J#*&w6)}H=lIytv$u_?]eBim`EE[O-@ 5dIЋ't„`mn`җ QF;G~?0Gz1jNWy@S888$TҶD3H^} dy;=s9c)t*YƝ9- h.uEQ#(!إPHo'[h1K%CȄpϝ]3(I Mqp b}[K=!#zh3ؾ|]d4*eЎ1n_-Csvϱ ΐ JQ"!ѰFE %F } 5{$qD-B_`ᶓ!5M:`gsǦ+M'țLmǰllLjR pMNO?X~M}Xa9ҋׄ9$z젩)!/ϯcYg: 偓kO! uCdn(3SN.V,$C*;NF)>iKp"gCCs"JJs9(VvoŦ썣Hҥ1:l7PBQTG<>T_>+ND5т>н+L9bKyr.?{\0]&!B]b)D'|M{.%dv#Z$@: yꁝ`1zq"t*ȉASAMdؠ2gT}SksZC!5'F: e>+&c;~<_+au_KI ;]@ŬWYAqQWlu:t5CwQ}6 5g}sus$t(x:*Ba6< Yd`~ 5f߄!o k[)'?u^v*m )C\_0vʉ$phm<8cf"@,-,!n֜=od Y-&!` v>r3mN"40D kd<&8ФSũNjղu_'(o׻-BeA!E׵-KBSe9x&%lN%BoĽ!B5q{o[O̩'IWG+huFQJ4LnmK(guE1v 31,H6˙G |~-Ө42:sUX8AɠȬ Fg'd+r_nY(e?Dަ#|PѮ'Nj}ɏ/8n7zɤ C ;#_< :B-s2G.UCڵ~B0I7 Xr~{] k?*&2Mj{ݱE?%&űy$u?c! _7z,EHQBBS.uuYLK/_$sR(_:dp7iO:c:>4zkކuDV" F/⮜P-,-e$]=>m_ߴktuvi"$KC/} 0纋A:F^ P-致p>ͱb+N͗}^ x I<*QISc>vI GN:_!r ԸJ.2-@V}2$Y$`7^4KoSڮm䗵n+͖3ͪi2EԔ{ߵw>3ԪŅ?j9qw4yΜڛSe(}x\1۵Xw1>s<`.s! J R^p V!-$Z]ȕ.+t Ԁ~#VW|]dPq Ao5ݤ ǵqwRjU yWlsB4OZHYhļf`uFfPZ,gucn[r݅!wxXn8䴔60R1L^ u*අ8[wMC wkYly֭CdҒX@?4r׻啫Nc*a '/s5gKóAgzZ7-ŏ,CDZ+e*y$Ga]5 / t%c+̦n{w:qe:#+R)|/m)vĦE;vbVET7\֡g4J;ndd<'a]Y^d$:ʏJ;&ϔ|Xk@[:G_g3.Jh? MbcFGTV`I=T҈]Dª? @Omr贑Bo۳jYh[z.uJ-+HP>@0@p}Jk{flUP,:f2 8=Tܹ&vBuV QMK uCݩU\cXJt.6N09:eڷ'za e{y;ꭷ¸a{bO s"?ȑ#1(fHGX[^O*8n+HQNPT;kJ5kO3%~z=>oH^b#)O2q:`o#|]jOcöLetzj|p_f\_KuPR|kB45#Kus7.1gc,D_oP PQOKp4-["*ɻo3˳:KvP!3 HJj[7DGfu֛Țn`zDTgh|"`iO YȊ(yf:678JƜ,..:Xӓq@O0Pxe8zƁA%Di9AE02_z>Kױ}dF=q-4nTUR1gAѷ#uV/+>{eֺB->Ҕn4Sǩ[sV~RS&ĕ1GߖBrK؝MZ+Rՠ16B}!X rUoHPhf.-EꑇNӆ]ۓ$(0#`#rfή_qŵ-ڬ}{ i%՜B)!OgJ*j #KpӒb;xD2T TCoV!xPM|,ז4Z N@:XTcPC鞺:7SّwdQ+tq5ü@.>\:)R{ 3IKTX<(wnx觕JU-amQeJv;"W Ëng1P!PN/V>ӛ~C&!ި7s$Vu.('~g '^($~S OG!ߋ(zJM`#`1JԐO=N"'AӪuٱQ>JOP$2Q1nR(A"n;J:DPFPZ3 " x¸NCpJJ:{W,vwq\I8̱d$NE(䅠Y=Hw(urg\f҂3J'A"D=ı0βmkgs>?'72i>|2:b/pd=V*&sNd$L~/e,P->+Q~r(*f1m9*&Us^pKX4yr y4Cus6àK6skb 6W4d.8xZ7OsEx;#KI1BYS\suw@r>\'9kp򄇁5LA "R9jr<$%VD]h:5T~0^OͰqO:!7b%_tsMӅCOI"DƯ.o-wH -qG`ewg@J  #3]2Ba ⬓YgSYOڼ"4)y;h,(8T}\r+Cʨ =C6ZKōNqxJˠe g=_6P~B@´6xd〃E& Ui@z&є}Prv]e!8D5(+{x=uMQPtA(y{\nTǻWч.ngF 4PcU." ۧ<}=gYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$)4X wu]kW{G!K] :O0)m#W6Ҵ  ;f>P4~̽P)%Ivĥ p;*(׿+5N匧wDյ﹛{մnŽ(Q\:Zօ$ BgY!.zqx d[Hu gΝBzV|!1K,Q Zs8U\7qA-H]>ފ[[cxݪƀWDROc'hr:2YhV[Qeр^:$TYyM = k t2߅W!*;s=ޤUT kc+ĕVt! vDgYZ7zXZִF! v~~]ŗXi%B âk<@~s`wSN4?THM{e*SP.*Y!sfjg' @'Vw} J (Ű7>W{l4_^X'#v7(\ZSP9HQ/fC7pJKy7ZqiBjL8) eG8ޛ5Nz!mXesH' >x/yy*i`s*]Jх2ޱ=hdX2̵wxGh "BeU#[WRqF~o{Zز #68Cl5O iRpѷ1 5TgobvTj}̑,D/O ~6㈁AFCVuY!Gb_8lPֶAXN~P^ߝu~bE7w U[kb̡ (Ty6I[YǑ tSj<}͢?W 6}cڑeݺ8(hbH_dZlt,Ď4)Uۉ˿Ÿ_A_7Yo<ߧט0b8jjyd}H+52sǴ:v荾6ɶU,xf&V6کG|ٚWf^tԕTUg(Bv93t=w'\O=%\ $K!O%hʼ^dF].,[c}ʱ3ɣJ*pbԑCmkrklslEx @ᖰݼBuu" }8z-tr#AϟW2t6M8ghEV;Sg b\4'\!a hGcp-E*3+^bL"UԄtNc>Q,E:yPHȭRFw5|Dds(J̲Bꣳfi:E$N;d\FoU˛+Zr焒)Uq|P!Atx(3e`?ʑX,޹ c,N񾓂@n;_z4H*.Ar7O糜X| S:"^[ID=]o뗻e^N mɐ'hК^4+l|J]x*|Ms^R8OZb:PȼЕ3'ndYuxWR2g\ uI$v{pM}`$Esx5^-ZK<36_Y58ҵSjMܕ}e*?dXMBf2cdы0ڗ]ӭ+(i֫=Pw؃ O2aMF%g2k*a-q5OH XneUm*4I.A9Z>իԥKoi~Uv-'ns`R:ʗasG{6[ Gn! /WXG2R{poKe}6ڶu5Jb駸4?}YhVq[ۂh2{`4GjK-n*-f $)q1|IR!-2pi:x<\9d(5Ї0 PstIj?[rCjrX&@B7ґP+gxO+F<,Pn༟=s!}4m64ewdh[ \Eh\ma(h(΅jMx7Ko97b:uZ*JIͤj`b]qw%ƚEJニ: U3~&4_P}/`|٥C7`!qroqHޓ̻=oBfFطQX"91FfOiz ZhQCP>o O@"Űf"f,Rזq 4 B:Va]|&mtz><@2=r{_f$&)ky'zlЌ#~̀MX! Fr>-!DYh}oǺ^ewI&1.DM6Y_>i0>Fݻ19N4ǵ##.M I+ #`;BjF񋧞Ws:%LSafi&#H`Ӷ nbH찰W%IO0r=z֮O >P7t*=x & ' S:࿪VH맗?<2f;әyN5m,;%9zc@B}m5ƬЀ0Ց0v'{A&gTtCIq=/ԸI4[c@eݿ@8E,U+tpA~H[, &}?@(v΅l}M8;xqoV2p:AŚ><bqZTȒv AVD<|I+\*2mzn=8*IɑPOʼhE52 &ֶP勯bfu-ӠJH6%ޞWY Ǽn:\V7x|Ftħt=yT)(!l` 6ǟ;BD_ F @Q歯EsYIz|u `GE䥍vԜk~Xu 5U|xBp^Ƽ&3\a}Π v؜ oh&jY(X|bF\@u \Fh eTYrzV> ܵT0>*f2\;yApc?tD׷eӴn!RQ $-mrȽc5#iLLlWP'xA2š`i\NVQ)%["J#`ds`/<c]ƫp.HO^GN4"dLw ZbSi "8=xWr _ԆQŻġ7 vCa^u#߮U|_plYa612 ]NUx&LR/ ;0FV1ۙy5h|\;$U :E:ۍ^7-i[ܮQYp w dn.6^А#ʫϧ GjWf6nN l^9}=\8!VaOm ʄ~W3ܛ)\'~ X"aoea-MEc܂8l)ì & -Y+O,w2 /P `t/ǩ4a a@v.+臣Ѵrr%(̜#c>ҵsl9P1EEYy,`?e񤝝k^[BI!s'tKk;|R !鰾(+ӗX%8zR35PjP#kXL^܎ҡXnnYߌd1݆RNc{1,Z&m? Iȴcǭ5w5OL,⋈.k\m!Omw:iZ!`N"/?~X$Dk(>ꭕVeeWE# CBjҐ/wup(qup 6c WqR`C[^boޞN(bBWy!K&pz-89^Pu"M|2ƔUͳxӇy,8;>ZNEx$>i#y8F5A#:8P@L^v1NR\%lx꺣)%^\G 5QeW=M$H3K֢`83):h ~Q0R5t|w d 3m>PXQ/J^}Wf YXRr #rru0B W<|ea.Uc` ]Ą7# ~x8asV1f?A+mq)bkeG1E=#0mȜI%OZ>  `j?)^&xUO/Χ:1$$jfjyl̂9ɐRNBsEpiC9{J!u=?1YM?72͹ޕhY }Ӗ=}E=` 3^pgqP;\`B$aL6"MNu=;=G==|N D/Oi)`9r G<~qK*J͌n/rNݼC[`3i1@Pi8/r@b۹*EE2=$™򑸞'E^1!V`&7xP ѐ /i_dG qho;qNzgW!K+׹K/B5 #X'3LY+i&G@M(\bbyuV?zl>&|P"p ֛SEx=YJ Ԧ]RC FcΞ+Pwo4l:9$b<]D+) i/FJM8G\,HMoݐFU3џUʱ+Zr/Wn;JX ƉXbM]u>k*[DƬqZc2l~NP ۣz3Kk}ۊϥ4ҺY:P#+O/4-!1&aX792$e›cKDk:L " Em׉mç]w/[ -VQ2-o0bMΜ+giSC8,že i~!j_g6*;9[,ⅴ2v*;c-3(IK*BRsT V=Lu jIx5̥nS{EhibgKȿv7P4hw\pw瑱wgD5*oK Uޛ:^kl`_e!:xU'ǂ/%KeA9(> HP9h e\F,bQ^vs5}!޳t}DyJM#pxS8njk<4$NU9Ƽ )[gv1D2O5(DwhG罍@#P,He|00: !:dT?LX_'`B4^lcc[jTܭLAOɟ ?/Ѽp⧤spq;^qCM : $JmmC X{jBՑ{a8# y , VII8)IəP|I )\)F2?)/L}Jh_Q-7^n{۟f[=uq; dDg^BbNԑh<߷2%#Ĉjfc%s']D8>֨nzZQ%*K7$NfXA.oUEb嬥Fu:zQPo~s1dn,'p~up:u {=҄LL Od2Bul[aBa}cYע /(UYd QG0SWtښ~a$%zXH[&gI׵2,c4}p_;lY6Ofu}RekV Ri*,*I68d4:g~GO@ 1j@J8f!!_DcIfuh>.Y%"DT0 +f2Rݦ]ryK|[ 0#=ڜ~U*$M:"#jf< '蠀7t8$kyg,ѡ:*Jp1ydayxsY* o0a=5 |b[]5n(gחp1 6~G1Vxf,ąi=9wۛZ hȓgON!9rYY>TGML3=:ۅ=I"^`e,ƞ6OP }r:ÔF|_婙 "n r| 4μb`k0GK!7ʎMZj%x~)wO3Fq*ɀ@==壧077gчɕ5Qa7lJb6՗ PWԱ1ԓ8Mm^: *O@{Sձ1DJ{ ? 2<뵐gVs%4򃆀|O}d'~R^EXrAB'Z`E {gз([gmLPj}"u KsN఑ûm4XIRJ?{5]+pBGN^TlżqАk`xNnCH"%Y]_ kI1M@*~N_#3b$~,n@5N0>X 2R=g˜큒IJkځuܔB}_`m)b`x΀(ktΆ?jK*u8~+g9 vƗ ni+!yvn,)@Ö>Z !WG<%co쎄 ct1f_u .%sA27#q<)ksO?:"KD&Щ2(%T.ʍj%u ٕiތ9q[ym>M(v tc^T竰Գ:!ceiц lY @Q(ҋ١W,. r94C L.@g奎{~!GR~hʯLk_"W:!",mCI%Vq  eh!mh} v^i5|*@s:8UWlVYF^jU{tQoh3vr/M"tysrZsK[,ࢡ RVea5 MfH<+74J wa[/rK=(ͻ=tw92+I 7:?TMJ h#P{Ï˖܎|Ӷhެ1uCd rTy8^p^'̻S\;GIch.3nQkNJj:4cwaVԅr%"\u*HX-DZ `B]2gک.n 'naP',0+R >nQg y)V4YԕȭhSoUYbNx lu47D vDRah] Ux5fDǙ~XJ| %ɊDê|VR^)u,~~nňWBzЮ(x:6X)jks"'%1ᅛWc\c_dLx γnog-KQg6CzN"?)oH# ]k\nM#v VKSjbrD@X@ [y.qq@"0OaN|+9-_&~$E#|NYԱg@vptҖE.mBkbUIbUmUokq$|9 yrW[ƋIaE]&9f k1 dt2X$>DYƝ8 ߖ/Eq&Y,K 1bNd7אfYh44؈])=( gyZ'".K3r@zZx)!p¸ h<8s8ZkGqnUe"R'Dža͟ïAVNߚ]WdH, 1'Z'9*C8㓠{o' %3f TSTm2*p JgQB?M忤1\3z»THLfA}ьDĤp`j2&>Gx36e<(͢B3 _%#[a :Do:q隢hCMd^ւP#zkiJZ:lmp)U0`\WU-Sr=S/rJQ'+HyqmJĺ"Y>fk `nޖ,lw +>Տ'gfNO4 {H̴kz:om<<z6=E@+ZzfgAPF?~&,wEr>b?N!%-S24r;kq. WtL.Rn)VfMXK7H%;/mFޱ[.wtm+T>/g$Mt0HDX"2<3g]1Kp?IEqg 3']imG!99M]{e[s;;_\W[SV"G]KX'`n\I#A|L}@քXAyd*x91&_!N+QB Ը[b#^" zu3)[9Hw96h>P J8wYS8?̏T K-[;ɖ *y!S_$RǘEvgp,8S SMF(&5 %,i/" KeeTqḼ $pt>M|J[UtP$z䲨´xVmxiɾ"p8 ,!@ rf7%([JPna&٤MH1D[-#K?KߑӇTEίS\K" ;끴Ֆec*č~›_qs3Up#HпKl!k,'>V4:|$<6?13llګfϹUr7j8$v9fp13";>!ߧu]cl_${i LbS{%ȴLJ  i ra+aT NU[T{\;»ZTAmwH* It*XRt[#r c`Smfh\ tMcLtius6p a-,Y(dhX>M\vlK`{ṞN/m,5ZHW*Q'$tF,¢k*0 6{wv0kZV5n*D dc1KT4A @3sEr=077cv}{W|4IjD>& ߤk\\/.ld9z_).R/Ý)õ PW(RJ@hdC "r7"`jпxhPrPzRYp:|]V[ksa6f^t j}*j`LQ=y $eW3WXnH[c8Z8R$nu4Y;Vث!$05PS\{5ʖe1kX7 2ڤ"9WѱDtC s LfN4_"[w w@RR}g6i كW +N'NsQ~cgf0YcM &188lٌ]1^Ye!r'Tw^MB>}F%`c5"Cr|{ҫMAMi m+):nxάע>|Rl__vs>!na X Ɏnּ߯uh|>V%W ehp,ΆNl%N]p6 8X ',RI@132l枤3#Wwv? cU_IJZx!]2Qlkp#)F{NhTH нt LmDɫ33SN;ED6Zwd@H3m毞IDh\-s:c}ɕF6D@η_7$>:3oO0YpS$;:unOt0XP0@,]if]ˏncJ˻sKn[7=)5A'͢cTs\V6鲦˗*t[,>\CS闭Gk#{s.W>8EqU{e"y@ԣՔt $&1Qʑf;(}lҢ}=&̓S%9q np>YD;F#5AFOr8&D 7Gm%0^oK7i D Ӻ.j* * #Jm4pvSزodnJe /gh3< C&R%R9aCkX}c?*JCJJ`"AF 5bl4O'I>jCt7H]fgYE_UXeOfL2uJ;z;owNQD7o%5m;rdxJjײf6 ,l`Mk k#+lЬ1 ՜\DDX'"Es,|9_rQ&m&-n!;Qr]Pj>dbOs#P#ewָ%2܂vCk*%F)bFY{8!G$R٩Ɍ݀ GUQy昧;!_s.ՍEQU7RhmQQdp=i.!=f?x+x4ڃ$c:'|caξ"P*~uT:)}lN0 %kNYNxTm<;ЏIķMOm5ϒ'(/DnA=a>ot=BE(g#0%zǬv|"/C*d:bwKC(?P 8y~<^0@,o=3w|WɃ ؄lV q6-ղ70YK-nɻw-iX:H01\)y"NAP˹_n _';,-#t̓Okq\?.Ti/{,xJjUP\Wpi&zZD$"3Vdb}j)SNF MZ*azMR-NJ1 db 9wYJNs86c4pْAeL'ӵ:3dmi3`4N" ʧiSpXMlfբì6YX: MI$g4 fᬕz^5a/2I>Ȫ0g sU!nnXQlHa9կs*W 9oQ3~ĥlimɷHrC ޫ^>IznONq UBb|h{8(h~&7Ot˭(ªaKE%9GHޚ3Hґ, .%Q #%VpɃ(׍J@fKz KܻNWΜG f=vѲup ޛtάE»w fN[H>Y?٦OaJ f(җXǺrH#0q;9`HZj54yLky@jx`,(t͡?7 T}mɊu]-oc2^tF)k bfȁX NTrPwEo Wض&EˌK|ei\u!m{ź;E)Znj}tBv(=ppI`h6q^sNFSK N:gjb-dJ(/v}fs8#\1h]bܾ}tB6,q˂5=N1Q6s_20iϾe9x']]\|Mf)f%'Cf]M)zgJ1C'~﨡| ʮ#x*i@]פ}Mg ;e=ӤۜET("Z}P鹔1avL쫺W 5@?Vs<4+v 6+/m/_ֆUD|(Q9j~1Ab8yn eV)^E~Y!'}w-y88KIZ6+u10K'a4rknY@ "j}4ɇ+ƣLf,CK%O쁯T11< }ښG^ѽ1JU ȩhM*A1 "Cw~ Xc֡p-^82|E5Hd\@.m)S2Y͈-Q?.r{kߞ.SB +R•l.DݸGI??'`!m'E ®?DT:$@wjsйA4-,|`x{MU|ƄRp9֣K)|ɰ ?" Œu'&t >mEC`2υ <._ x&1 Cn Gw]^1u垽4_5&ٲ6jT_r1DLorL845^lV\9CuጨW$} B*HW`_!9?5|$8O$]\6Gv4Ĩu= 4? LARYЌ3ؘ*Ą;G՟Nj5=Zii2Yo6)sG>^eUfTGuG  .vghz`eBd&yPVm5ӴrWO[6+@з>}@.5c8C.[wX wz!Qoۙ|@iBÓ 8}pPίPGES pŵO6l %?nͥgb۬9p<&3v*ܦ;;*Ԟ/'W>bY٨M`R zBXT2s9|p/=BQ Ɉ6שfت;3sWMv8 bOkyF߽Ł0k;w&4)%xh5 )ẖ_2-IKa)*TQ"mTJVx'#_m7=YKw?VWBL_V)>΋XS"ty $C: %B-9lrJ- ||"4Ɉ.n[%ja_hr|.bO o2壴6)5@(#oKΊJ~ՄN BEw 6/t O_npE'0yČ(.;&~E4PK,N$50s$1)h7HVLցƁrQ:IȻoOhm^AӇҾEtNۗgS<SE{Ȳ~ b9j[  :@6z+ysap/)1KPaZbUoELUDE/MykYGWlt2rgfG2[2:ŏF5J mm^mW)iod>38Im"*f}K Z ť8"Bux dc)2rl |(V:η6ҰFK@Az*MMif6w[h 2+f_ĩK'XVC },xMέ- T 3J âyC/EzC14Ɇ1E>=R`Lؗ2xOPTyfHCp.Þ|. 1 ^[3n?;(q9 u>& l=fR-\>άrgnɵr pEt%nf3^C6ܔ.vq"ma7OI{p1lxdʰ0JȀG>0ھ`l/M4!z2<>1'b.-̈́2jC +M`mSu!"dyD+F[V7Ea$kVm!gd :H=Q3Ch6eS/24d}1EM~crO ϖ˴\ߵðؿ V{>Ii *W ն`rO0@zV~'xl+jJЭ|Nt@^cW\Cro6$I3~¯kNqqMY[2wŶW]33S'T|g52|r,H&#fxs wƜ'@\CK1̀`<‹ tDIlF= J#'4lvNy3W9r66ta"~?[+uJ7btRv_-D~Ѣ`ߟa=xpK9/y=/~>3V+զCX駢*]CFx'?5%iߟQl.2Ow\Ԝ˝0 }W*4nh9d_<;]~ N3+AK9;x،*'b(@|4֏.,(b$<"b)wAn͡;P(x] gCRn7B(CVB;Lv,H1qAW"ǭ <}o *¾^ǵbzuo^:\ԴQ+\NGx*}_ޫ۾I'@&K'zE@_a7 :읿lve1DYslBBi/)ydQ8hF4 ѴcDųhbu׀'͵0xO ~%[c#8N L|;OaR)/Bv!nBDgxfζz.& u:T} b-$"/ػ[.PkAo//W`\$ߨC$W`f.ye93E1`48>NuuԼɵfapnz8ʑCtM1eCV"fOX;]ƥezA"ߚjTR9Ni/8qa(9־nşQnX52&#B"kE@0 =@ߤSK#n۰yZЬḾ=a8ĤÑ1ip7ٻbOM8&^ ;idl8ڃ%kL`偗2Se`4c9~t4ҿuL  * *JyE9xThdd6\ Xg"vRi,4cEq[8 KۭkV5"Tc^;ZBB-4XnpδXlTUf)\ϱ}H6+*8 ы1h/pb%IklbD|?/C٢(î8nZ~5i 0Qq x;qP4rsDb8S4 6D0]Aa/rտ§(XNV̑< }\=ҨlKSʆOb~x|>\ kשz~3X:HEb.v&kTo:*֢Nqq˹v+2#)fVCqrC.ItETcӈݘx.lAV11?xVq^WiA| `? ;"O)|PWvonrP0Tء&gî'-*@ H/!woV4|Z==*)oJոEKU';$*x| ЎBTB,vZ<9/QͰcR뎘#>" ;~@6޲7yuN@LtH=3auذǕe o"b*hRL$ ZмK 7NJ4B5WiN|(OA{TJ} Ƞb]?3Qe}_Tq:8&؛s|RA|hIΪ1ʈ([2aBu3U~6qs2‚pDʠ˕6y!ec]g"77߿Ow i@*=FwSJ[Ѭ a˘,(ffVwj\ˮiDH <x$k#g<ѯ|DTcϮ{7,-(+r3RX?p #+'q[$mVv4{ZA~6ڹ-1ᐈR/ݭ63hCh֥"N ^ hHS} W<3#tQLXUQ3x9&`]Q0oB7ИǍZU9~a1*"˯+X*@T3 -p?V؉6埻ɉ,Đ?#Xd΂tFh[Me-m6ʌΒ*)C)/6w?fCc~`# ~[75| ] b]B/6SlL.^Eھ8V.r#|U" 3Zm,Ea(^[R{H5?8ODgh *Ьk68o*C>1 =^IhJ`j)a5l?$>%~-$XGG"S_0+ c!jR#41Ŝns7JY9,=gUA}KhPU&2k@5Ve6%;)&T"Xw1L8iŃ{5 6Ҽ4h@5$}S?!C`>Yf oHŖ@ (p%L@en`Dgs'])鬦CJ {%|I40Quy!!5\][h24N݄n<YNb6`$G47eU_Z|'_e-c=Aʇ( 믯۾ܔ)Ѐ[H!ep0j'3llVG?1}%v2R{;O,5a_6kfE|O X+ ꘴thhA)&)_ ӿ˽2;qn\txMe>9F*vÇێ!L_@kGp pUNM]k9Dlhހ)sL&P\isAqA"8Was&p &wQI-{rfK A: |C!8FYs#p'(;K\M 6~vmKVɰYX {BiDѲ Cznz5QZ(e>ЧiJѪ2S 3X\YTⱋ#e5Ш7Z#?V8ux!mş'\mQI)pVf}O$՞H5BTiCK XnBڹ#8RZ-l4'_E˄솓AlS6.ddyTfuQcsO%׃E[vX3񾾴 qh}40sN[$ axcc<70!WvPrvI'0,S$i0ڪ7߁1 )Y#Ӏ$>տI2^I q)8înY<LB-)؎+a~3UgHj3"Q=f$r~ȞvwʒQA-+K_ƛUPs]ԿLOfԑ3t `X@k⬛ۛAtA1Uٟ#Q^2iuVYts6vl]oLP4k!{Ǔ/'O #T4rS9hYecf#'Sn{@߇{-,兰V$:%!gr[үcx R^WFUcEda˅uȪޑV>~ (1u7d 0$ݫnl3ݤЏkM?z{k(?Exf_"uO(ۓiOf U.0*v\nֿE 6]3fB܃wuÜ*[>$L+~e{m!9>yaՋQѱTYJMNBTJN%$Ia>b4lâ]ghi@bh51?9?Kq8C^$d^fhA{gH/3B=IP\%NB3?y.`ۋ)!\C:#`Q#O ?m;s5L\\~j^Ӥ9!K!ҭf?QSf[Ceaz>`#2 ?mɒn|%7&mᇶN;HhyF:1LЁ>LOn?J h8B,~$,ٌgo{skl]0hr,)9^'LS.&a2jy] ϥ8qb?pYIl$Md)>\qWRY =]vOְ"oXKܘ+&[wY|+~AjDN"3 %>ܮ!S~3_Qa~U0݁zȻ$K o x?+F{!ͣ[E ŋӉ2\>-W ӿym d(ۙcαՇFF| SkOK8UFlYS<]hcY9wP~t$2Jh,8ӑAdϬpAÐqURK৮&Cl'-*i#FuZ1!J4&1R V+T*Sktd嬚QsB7j'޿ڜA/m#5a-L;oH "΢}tV| ` ZN=ɻ1و/Ԕ$p?&O&M >i%J1I /FĘ+ȯ< YPA`h$_v-Pm$Vm( gc&lj15'f>p<=?‡V?vE}H.<;cLE&?L󇼙9] 7liV;c|R =r߁%_G%%9wkWMa; d IXQH'৺2&5^]mqwXEarN|*8iYexz*bN(UQw dwL;_( fdT9.Y [\wN #>(]fC74{ahG3l[,xbK+QLc? L Q4LAGo}{8 QA6W 5CuJՓv-|pu|Oܳ<u0pxO%I__Wt#@n\wI>.倌Us>N^6hn-*^ڡYV RuzQ_̅5d^m)E}"yƿ!$|~TUeCԋKbxjLXGrˍ(}RvV$2bfiZ}=fD ٘xy tJJI[=+7O"\+tmq7`m 6&b4 HbO`A_S7##و tO^"&fE0f13&9CxF\J%c[*c<^=yTJlhGƀ/ii <U56U +)59u&c_jP'CZ٩`5寄D,\ 6ekD1rtNSItYҷ.{Y,)IfINM:8eNw1 k[d<,\T Rԝgl s`s+Ur:ڼ$-^4"]ӍcD^W۸Y$P4aN$zd̵ &L;GKUq5oL(;EH%G5Xo#K=cjdV=xgf8 2dC #i3I~buvDP? 0|? ]4x5(q |\ޭAL15 %gwJrF OfRل$TcP|*@&Ι75`ۺ+e 1:: ?5Wbm'G貰Bdtʱ?IT̬˨v &ԍzQ߀켰;h\zri\ƌiV~5yucusavu5 ;FUH&hAA𨩕|S7l*`N|6g 4yϗ t+_'ͯ9厪N ܻA+ICmBsGQiQ=]]s-kJܴ2lRZY+@%0icr"}N5rW8NĀD%]?yFzkMF #BTLjMOy>1X1mǯܸTAl$FHǽI g}M$Wց'U:dq5!9jchZ ^#p'8tKy쏹d/XTrG8FDܱxyRʧ{C} h.e5^٘?$;رgE0oiVeKpr3%Ӛ|B>7 [&RCrvNovPZigus /<ᒨGRotⶱa> RE? wO,vfB{IznbGlz~sԴt#{ ҉x"LK 7I&C`@ѳ3B5`C=pQv ΊA-rX LӪ\`Ihe͌YsR*wQGJI4~b׈gnV]NnHvJ5;:`}dɒQ'e#,ݏm$U{&X50 C 3a*e_HbRS& XڲbnqˣGW\ f!d(Tܝٴq_;[ ;a4Jx4Q<ΧVW'^9ZulKQTqlt0LaeSQ<=LH,KĥEY)7.ԥ8(%Wa}!'d ĎCdyaUL*TQrdzr;1<;5ۜzmSob`fO|{BNP]#'.!:kSR/mAVs&srYܱשժjzߥ ~ $@Xmal$z'ER3er8R WΛ:ZeDf{l7e4bcϋý{<ÈrNz4h!QGڣߑ%[؂Ba\ʂ929FCCEw<.65T>_{VQAjŏ:bvaʡjYuб 3MI$թd..X!S $CL@#:_x$;fT~pIO i|{BȆϨ^?ֳ.tyb^_{)֑"n/UH1[<#]q_=FvR&%pw{ tI*<4Lhpj, r]:WهXK:-$>}Ǹ˔6yn Zh6Z]Tς溿Rfj5ii # }ncQ3/ aKs߸\k,ì2/-(漀8J$սcX=@C" gey,_ANr5b0;~yj%WYg9苨 FZ\q>rL<_^ V}⠮M6HA_b!0 ˇ}͡.Oh DQ/HF+d X~Ao.qLΧϷ0z@2M ?aG>YA T6OsJ*A/Fk"@L]t+Hhh &NsCCԳ- W=L{k놆!?@(~+ʿ 77c-2̥Y"^U*m;u+9fp?ݫpU[)e l̹4!FUrybYOTAP|c@~ `? $)χsUEMh_3Sa?C oC;)!ZJ$!"!E˅z |j*IwQIRQݠ,;.yCJd@|X?-.sZ(MUнx[Qm0PZc1˙qiu1tl%U5 NA0y ͻڝ=x ?=V,{ՠl~dEjGm;4 ->+$ƠơZC|BC 7i ubrV?Zu,QMtBWZCVnRSЯ1v !Jvt_n-+\C{ ';8 4,p˿7,l- c+p# p3n}ޛX΅gfG(zDYFIO1G"ޟr}x/.^'L"TM¤ڨdkI8g^qԘIPgh՛jtӓÆ<Sͥ`EՎ~,M1k\c8OLĥaۋ\9Fn.s59fCsO5`լ~{# 8R¼|r6 *Nu9* 4ޭL=oqqΟk 煷>r}]28@5mqc[V ۢ891w%`p֒>9' p T ,,~L]M ]VЧ+0V M\Jd 2f fUBHE&OWơę-DTK(ږwI7ݡ:23er`AI3/EMwVKm1 H͜L8YF]yg!_M^?2M\[~qz%Wz i"0[(&*IVuopG`)`qQZ';r Ht!eU'"GD.,[%-?sqO V2$ OI"nߞrǢJ܍kʜoF7:j|. ^"Gs\j'<勵MMgwu.7p5yaνT+*5vo'%کH9ћ8<_j9_N1R  }C.KZ#| %X\KgYZae36a4582236863cc7739f536de77af02d967875c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c b0cdfe8055bc9a88700ca51a2e847ca1849ffb6ac71fb23a24dd3784610d59ed2141adead9122bd5