SQLite format 3@  . BBh77otableisabelle_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 %dD ]/]HOL-Analysis:threads=6elapsed=284.963cpu=1234.660gc=90.556factor=4.337zXZִF! ??,]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkO6ҵ 1jԓDk CRD3T(MK;J e#́sPpse?=WܙSjII]cH@#R~ #^~UIrM|Pt^U]Z˻S _>ܐ9jmpsԧhuvaECOFC>x6OG=  ӨS?A{<͋c2}PT/"}%w0qthHxU$m4s~r>rD^J=}*m._ԍуzXȣwA: xnps YH%3s̭^|plW2OK{gcsePs7G56{8&r9gd#tOԦXSh_; kHn=،0 Mώb OV1qaC<X;|2 'Oވp; t7Bѝ>yv.x- 锭}׵pgs`#}3KW8;_5 ̢Urh N\Mg5΋|xhʇV4|gVQu*_e琜=`AXJr}r17RerTlFu]PN~ }\}zK2Xh)bN4Kߙl)B[r;3zdf뼥 B5Jmf˭]H=hqK%hC/S,L>*|0 ٩^ʡJ~ Z*Yl%^+XHevrW@%|;~&b8^UrnC# nu^͛_ )m֨!LE ~%` K9YZ =zl;Җ"<ZƮ XԞJ<.g[M}w;_ΖB>PߚiQj^,'PFLG>!Ww8 -D&YdԐ҈;Kf7"i'cTZs(O"TPvTcͬ> )?fѽ'&R+ I\)b|d#G!mW ۘ,.~VI擏GCOBI9&nzMǥ o:)-[K=:xxkB0XK s3J1LZ 0կ:<<C6)nW+Ed{;DcZrM^D@yiĬ5O 8= [䄵- ө1+t| NЙ61"1R!:CD7OU;`CE\%2>GFuJV8Meri򚙢+YxQr!Os: 4k]K<0a{LnAz{[X|ŠK0tr0eH+ʁunr``6^yXf,Xp$W** XO;ꋢY^t~3 #M#RL[yxiҚa yaWzC}aY&b`/@Bmy!J5OW1D9-/MiZWюk4;EKЕE@?~D~R I|IDp3Zky~Գ{_ f"'-G"PS/iWU]=bѶ\Y!pέ.uc,1jz) ^g "Sn%JPbx'+q2 Q@BuR…OFpɆ-RP>H%*d` M]ÖO>'NeCb~ Pi})~zA#o24*MoDRTx cհB=f*4O/]iy:ku!ڔ]dݛ[k@@N7o ~^ܩNI`t xIG݅0/yĹ_wHLRk`eqck6Y5 [DEx| CaJ15vBK:,KC]̱!KT 6 *!܋m쐅&"3Cq߲׳AwW: Kh n29}!f1W ,^}Ɔ*|K"*d2A1KKX'u/`x[3'*W* !RNboB!!s'!T/‡>DT>L(;cxjJ-w\n| POegXw(~fRJ/Qbp% Ĵ~1zP&tF6j*ӛul=WeH(Y'SY2Q'.%D DykwpŔ<3q~uBas둉$2E>ecL7w=wߑtC5IqԄiGo1DeCTM~y/p*5<:.s+щiꌎx>3!ǥ!–?],-O鞊lm߆+ ,@t(C!&'nLg\њy~S5EKnϾهsCA=W<Ƀ?+ .9fXX>Cϱ5d>/E/(Q':8iu`Ųm 9AgXۘ/ % HOL-Analysis+>yuIәgp:Fp=+ĀZRsyƟ9Y\}]-@N/^VٛGH&~*1D.L*yv"q3S=JO *˵  !n1]+0Ē?wG'GH4 8TцVp 4PG6O%'0}6&u8o ^;LC s2< *: im\W#^WѤkeOgUEq1Υ)# < דu'b `+6|BboMngW^<Σ0znPqV;P%}{= "jE)j."gHK6h@y\(t.N9Qm*l4%2U(_ ZmwY'ZWoCM@+ۨ Dk)_9dj3e2N uTyL5ezXn%rg4qH-Fom[wA091Qt-X 1y)x[jnG_[*E&!Hcj(-480{K{b9vhA*&pl(h @џaWtГ[9Ct, ۊ@50H 2UϾ5Tp TS=gUt ;Hn%!RqAE-z+c^X rni'Dzo Z?IJRHzy&p|7n^׆*3_ބx-GGC7`ݿ55r`t4 LPMlz@LgyDW*_+Ua=gޞ|vCvRbinvtX̍ySWS{}”h W[_x;OW/ >*tK , qx{#dDV^i켖(V߉LV :n@'Pqx.:` di'an*sz r9܃l|+#Ƒ\ :Jd'ݞ[y|;ouzK bQbImtd@5 ΁ a \&X Sxkp&S_ ʨu.Xʨ0W#Ur͔{JC%c=2Lb2Fsyv/f*^Ʒ#~MLe삫Ĝ#A(IR>"ȯFlCUv93Ğ#lc@<`|&wzȀ{T7J"bH@5.N%m0o]\jt?vL-lMTY;? V+;bRAU![Z~׬ʟ 5'4X'հنu^FZ[BgHS^2?/iorͽٵ%Y.87/[50N2, rzEMؙAt=5-=v9UR^ % ={}nrݣ܊x́ŀl'gQ'K33Qa6FyϿMr'!BbO_5#MkBI,[o2TX<%T^qú持/C?CvؑoG yKw$c80.H&pYKAE ' l3yBNU&cЃȈU0l5OJ9lR+E<=ezۑrmA&r\+mRP~zۡsMp<"DaӮl?Қx< xƀfWln8?\-G37NMᝫTPHJJNO C9d M>O=Y٠eX@Q;*ۨi}e[3T3!. :G }%1|E*Hcʮ/LGiWCgKQ3ߧGNݑ5M̼f5Q*$toPUFT?uI˹;0Mn&guKXѣ`pLXk15E9p|*xy,Qy7iÅfdjWFՕ,|aUJѷ8md,D^}65Isdz>14Vy >r22NpycGgV/LFO.q9^AQ&׼_,{}Am̮|e~Мqb"͈>k'svG'B6x ;Y"A WkksZivC9}3k&{QM7%(#/6/XD ߦп̲b=Tmo-]n:JrǮ쿘Or:؄ KZ.=h;;| 0Q8{dQEyM.)}v`~ZZacA8 ^Ŝ;qXK"_`%[tAqƑ)gCSd<9p\Q?`օwlWc }Z -c6G5ܵN_-Toh𚜮w*/ġ}Yy,^F*͝Uɇœtsqz|PU=6sh^YwݓF9s4u$@}V=vcD|sĺ#0 oO[ JʜwVj=9 ;gJEYUN*K=j*ULNj5cqGh]w<ĢQvcR_UJpa6-|!E$h"Ȅya3&K1W'gN }L.Ŗ;𰚬Z<ȌO yt\غǶm?ԡYBhԀ|_MP~FL<eq1{:fng(^xf@Eo"ɔeMހUķ¯BZGꗘ-Ͽ.UKd=kQB u'bh3c.[TaʔySDuXN.P*"V%۫6pZxXi_&J*oYa]6udQ$B'/f3t8B?;d<^"=)S^?s(=+K)`1҂?-.vu[DbnZ@us+4G' ۫ʙ`lI51ra{>w#0I/ 9 2𿧗ZqxFJ'x</Z1(CH6rK,Didej ڭ>SԎ2FuxI'rloucEB.Z ג6v.RfNb㣄pTA7 .aK5t_V};ذ6^2v ܾ)xvFhnی޳hDJx|lЏ[#w>E#cۓ!.13a1,.1?o(CB#ΧX:X03mJ|ցy7M.jnSq3O\\|jj^]TY/ ^u5bjq'. fNv3UC>R BDrۚ76zW4?\ vM,{lD"7OGӓO;J& 1J_n<.4$JMGwitP* E,aھ; |l,.UZҖuO AF~IN)N@izbBC3nnXqv9pOݐzCEd>e-Yr}GSrAq*ftDb gv54BbrNB6.yIBaE4vӍRCiW7ߣC^#룢LH{,;9,G&b+F1^6ހf >AJ90 Y2^%/B}l.Fh0qlVpf_{!$iII 9g.C}- SRI:B]v{?R_.J{Xqubo0( zC]/@" ۓup^~ET G]6ɿ/?B8)=߽̣gJA&nђ. yr\ƨ&im.cS7DGF2%^@Kɠ3a'9$#?<7΅`= MƢ.gߖgoiYlUuMeS#]dal%V 4Qj e+t& Q}F%׸sfI|qt{@Ͳ6]LK sb nX{H9~t]#941r'~ }-e &,0U,cd1&‹&|H5g_IpGQaHo05ˇ&sUW WxrxȾM[ݚvN_26dug u!=e]S5aYV\"5Sm .9y+g nP1ulqlAȮP `Qwi1зFVe#"!$W='Ҥ̅YW?h7a -kսb +~%!l43 kMv(hS$M`ʙ)h":s8.)ša_XH}ArEu jY y,vhR{8OTk/[Es6 VX]ԷEwVՕTh%&7!%a"K'3goWkN%%"k[vhC)dYlo~퍌dz1Pjiəyc ,CI6puŧt5zRi)>°҄MAsF&٩%V J;t΍'_LSNšLSr&6++)/#}i|cՇ|CF%eDV+@,ZKAGVԼraB=XMC*kN$3GZ|՟'2wvt2iaҷiq vۦψŗ!p\Ij4秈r>H>Έgth*kᎿ0 ̿,B7rf0(]&er %%-2ofkۏm%0l= ^\T@9b.6n'aAѺ 3w)6Eh2\z)fnĚ ~xu./Q  !-V2 +$JE x}ޟtET;q1-b }3`0X"r 4h">W W/i,>YkDd{iGH&¯N q2G&Д./Uzt)7HvwIM_K@h0z'╍=1+9'p@3 `S̩Hګ+*k> 5k柧DK+*Qƙ_Øȱx~9.C-WXҊO' )δ (Osδ ?'/P/d԰@}Uˤ0 h9KgAhU"gdy,R3S#>l-Q_=Î%#K Mv!񂸴`Mto:|B#=pi8: HlOM>\+F+~z^n/ Tq\ N@VvhYl?ԝTeB.M_q²e%^9gjJM0+E׻6%[uiF@|wΔawz7,\0UV|,;R.9%R>2Iv1I|y:;"ϓMBܔ-" V`O=m6 / o-.ln/ luɕ((W$hB/V/+@$ W+AO&Ah %'7/~MΊqKQ G% JN0Chy|~FY$:f>#)ܺ@1tpҺۯP.kWa*˳c8).{d:ƪa_Y(Jv F@j $3Eҟc)nJz~IvF ICr^[c-gs{^͸fm>H>}sH E}E0 ES ?ԯBFy}luӻ<ὓLA=o1UkSǕAZu.lO>m+4xϪ0o J93u{8yiR$}/bYPF:eYHb p/)Kay"'An3lII*jy_ ,j0kLo\j\zɒ>6dT i+xu]`Us!6 [2/ԶgIZ nmStpU1:=RqӓԋY@mkFCLkԪ@ҥG)bJz,i@G+#m",I' NgM3rFj?ûF|LaK^[bK0./m\WT:<%DHiZ#//ՒȺ3_݅ܖTR={W& Hxm=)Rēͭ}vDY`RJ!qBڂV$Xjb#f:}$F[VkFsxd6lBIxRb K<63~t$rE62T0*곏JP57 H=<Ϝ;z4%$,^Dֻt>yyve{uf toSV\wAA3{5UG2db슀8K!I2,W1)Vh{nhYG>M JGPc8}MkĜGlp 'ھY)\:z΄}ҁ7[d;z~uB4bv-0K%khGzS23?Boo9ji"ބNf%"u SB&KxDqe>ʆ4&pU/|k ܥSށ>/UV16O,/X`43x^cFKo:`a ^崺\64Bbb:-;qo V$)Q >1"qg$G_]밳QtbT(Yw>3(_Qo9XEׂ;C谭ym3mD}?m6489:2Cq $e]&D(gԴ1& 7cʼ$7\˒SՐ~gM x#kYЍEW퀢I@p1hE#'UCp S LYܠk?q .p.==BQsFm&ler4nٷ7nͣ}''f߉ /ͨ^s5e0Սdh񘥶Z,މlQy, ;Ϟb+Q-ms)mj>o["cʍb2D(1as oZ v +CaO}ФPA'Ln{M%j0ˮHxD_A X҅^$]Fi3(rzWee=svW&1鹁8?cIy}ۂ/сmCzm'=t-Fu&{aT0QYacNBp,3I(:*5{#G:_8#Y1ԳCwgN*8 .,Y %}u٬7TZJ)h{OI<?pVJ&?jz_2&gs+!cd˓+{*&kH*3@ Ana4_{ƺ2hy'&;r!e)28i;˿S oޕ0=^`6l8Dbֹ˛c ͷPd0yߏ@W~ NgYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4>-BS"^(W=jDhNb)1 Yi pSV|!Rj>O OF=He!Üа13>okOfBj3q/M,4^2?p.7Iӛj֊p]X-Q"`]֧Ȓ>z֩؉ÎkE=&U5a%A|Cǣ%nR#Pj plk\)"ED|aw9X<\*/N: ZR 7L3('DUtT_j1_LxAJmw-MG^wĤ`=AcRaJRXD6%UW_TRi',#ѾXY<1kg]Wʈ\jys3 S \K"89yQqG)& SR1jJ<8ixdR.QCAF ]d'j{GQd<9 ~]ArkmZJ癲 saΖnnK%2s6y`Vpo)+b*&z|=<"7ig%A'L`0Ֆ} 2Dďy`njއ+gpŲ}JN.O.K/͢.4ehdT0mT(y:7hS"F@z!2RP^?E| U3l0 R?x>Є\RPMN@f;cE-*jWN[aeNX^=τ`"fPvf;pE0 $ͦ$$BF$N]g~z.GZ<\`4psp[fy@_Ƌ[r<=e InJHH͘F^ Tkl~O%Ex3".UdѼzm7zV|ݸs*^v أ\+_\=^bUn3vOq{_;6䯍OJ=whaV+L30#[0s\+u:8(l$59Q-ݗT o*_j\zkF mtiXB` /RM"OZȎ;W8t βörAt'+oUHnFDy„xA3]R<=Ѻ!ut훦f"SX} ( JkD?[cb]Э0(kQ7I:$hIpS_+@>`gQVrȺ̱r~YB;t2ݖ[mxMԝz좜Ρo^r fNAӼ$~QT>vuN׿`-[}XBs5K)IL@qvYu-E/ g6\܅%BəgYZ7zXZִF! UE]ŗXi%;k8CO_f:{=jݰCDvԑJ*# L[FFjhę Cl}`Z~fkw`%pcB_Qbrp"iIpF'aU{M@?MM }IdYmHؓ`ɪ|JmnSܹ#P%M~}7+PIk"ԋi WrA3G&BeUT4\酱w pEw*d:I\.X=1%O CҽN.A&N[ģ;&;@xHŞ($? u1eGJ:  iLM&din^j> ;C*,K y=$ƒztTO)a[\[{w2j<__c j?^?-{%2yU(̵Ud~-U1HGql J< D=5,RQV@g{s uc\I`GR`8&'v:RFu)˔}ILǛR:f?{$v$p6qˋ+9RruH+]!f2^"cdݟET*+Aؽ!*')Ql1JKX\F)Ѐd0 ru6ȝűEو|P\Ƽ]8^z휉sҚϫ^SqbexhG)#^ ߗ8a0S#g1x}B MncJD@ vUU/ (cBs\fF9/c'(-< qI27!#L%MGmk)q?Rӵh.ǁ.`=7ydKh cŖ Yql+Lς)r L7aZ ia7x+5,^0538R~O/6dGY=K_Pw}NQI :T<ܞ bs7c- T,)e73#K/_&ػ+*7A{,8w0XKQ 6Vc~dŋqcEQױlO"E1u|Dqه A,: ;|=8I@JCiLT9›I^j*RdqmlRWd/L\B/vk$)Z RϸT(ڸNoόxw{P|ڛpg-tgQ؅G IDByYIhV$:/_pB PK<&a:#ɜfTDQ4L랁$)pEN\ڀA[8PʥV1鉓|H|_tcj7gV?`Z[["M >^^ӈ I 4P6},Wem)K06r&x7ܬRݺRHe|VO o_ߍʡ&6w;fKkdѱǽ"(rh$?H9i> 1pfC΂)GSGp743,}[]qc΋<4<99u¥p14}H'Π{0`y|J/$ca6 z*,&dHЅ}}`J?( ~RD(H#=6m_awr Pϑ+& Ez̵6m$*&Ow={_Sw-5ۋZwJ)M,ՖV~2IO Xq}؈9T孋9qdNv敄GYaF@,|"L!kk; |h MUOdzDzMM&{ڳ: ĵkPPH +|!micNr+ <}󽕟*/%\c ]L@޲~DJ)[qGXL TnF11I܉Z+G.4XFpWGl0,RK\' 5N !5+7X'̣B2b mzDrg\4l.El}ٻڎ40E4>啠JXhp/住a~Ӹ܇ yF>q E-j'x^[&~L kyP a$;XV!A@jY7_p|fp9q=K\ۧv.S vrg_,c҄ڭ@+SevsbC0t !QW׵E"K/- mds&|GFJAv ʐhYJ,(D. ^VR"y]xl!H`NGuW6.P~GRA'jOٗ3OZMߙ5 Z6zVeՃ(wu¦g9Q!=ž]%2\QyA>$jY6XDM{ *n)F˜C,O0e`5ɽ6O?. e h7*$cȩǰ!_%  zm<_ lGY05DiH h H{Ű_ꙺ7[: PRp~a^O`z[pE==yĔ5a2lKy!h_x<@ = JHkhyE[k'D͔gbs;a@8 c{QRքWzY4V\ttuB(xD Mi{`Gd!e3-Wkgak&<;jwŗӍ mVWϏC安mqeq,^_k)D0f6=y&<3"GZhI(Vc}9; 6e{. [y橱<%b.; |8 *ᕽR uH\Ul;U3\@ݮU}'ZmZ?zdjRfŠY=,J-QaAW6F% C6ʓ}V}fPv?Q1|;F@SeQ#< Bb8Fn58̒|2}8wq $ - xF i{|3Gѕ7{rM8"K?1d]{/!X^+!bz ;6!0G(tGr*ʐʀkU 'Xf8dMQ)_K !VJ ]],9@Ҏnr3͠ vI0%YmǡKVu̱ʝEt/%H RYp"ec|˩4ːztpf%I9Y{_n52 qʉA (. Y}w45qdŁ6⿹u)+ !:on* } J`hW֣¼f6ipxFױtTzbKYϦ~t7?->4{tժ!Oʡ Sur9AZu%e"nDMkpUƆ?[z 34|:# ͝0K__lRPRe6P?J$w}czû! rN} K<;vst Z.O(%ڒ@G"M"0% Ƀ[{^%s45^'Ba#fQQ3O㖜gpW7:BmdAGuQ5x&Ԡ9b^% f"<J8'k S[{*q܎At#P`Gm0??ڗp6ld<>v`9>en S!$3>D8#wOM"+̬ ))澝Vh W**nuKϞ |9 ~&HNA6w*xKP9 2.;)D̯ "H39(&t2t'a AM6<O@YC:jsRHz?E4gqk/u=?[񃐘O b4XWV kԅ~^i?Z:r sj&-vPT]mmiW8#dlcUIj`@]%=JkJx4zb8jnYio,5v\ƞ*O1Cp$浏IR0yޑ'Vrc鑤]"Ǥ/exnҞh%>ZT|xq|AȂx60sDOtDŠ M<κf iUaS鶴Uk)4ep,ǔBܪTSHF.S%`8kqqw Z?> =%G}R6@07ߏ2QT5E[+Y"˛AkV^ G9V'u\I_J[ <]%lgfI*J``e4>yJuPV GW \DZE_X9}K Л@8 5^y*kSo+ (w!u}m|L bܼ0a[T+Hܥ݈=MX-ANKz*jpc 5i(-ߧ(i&$&=v*@(^6o#31Q󍮎xKDr <:QA/]z[a݊˴Q׻xkIcg79iTރ=A3 \eK\C8%̰rϕ\=&ޡ22 vp0̣jUw夙@ˏM4n"tfl]%sPVhl`(!pJU $,*Hh5AuDYq?E-`Dwov  \" zXrdCfBY}Tw븪'` ::DŞtRYTb2F; UR[d-D8C+[ruN.if)،1KBظcA=f4@[;oT; pe~sƼorA^i4jVʜԯnh+ vXP-Cir{†Ke~ObiwU2K@8:iw5#ΤiMp/SFo9*ČJ7L_5wl&GMVw1\p aY`ōKOf%,VՈjvzswi$$HĔƧ(\CCهEe{!AGNj^9^>iCr2v\zbÇ%NM cf" Mxs![nhJ?Y*0~hNoY9B\JBe5aXɵ@PS%hMBz1i ,כ,wGZn:F녞 Uӕi2-F\&:a*@7eʖhkH1VvZғR@!^.oq4$&|{Ș&v>jؓ\N$Rv1[ᛶիh}MMwTMVd% K.|nAϊ.1/i6l<j KMP:)Aw>.p,&pf)Y R<"ױh=?st<ը %ɴjTVAP[EPѝeɊ(eQ=Ƃ{U@H!Ak =yfnnO:ʄp>P_Sz9X&;聠*pG1漫sR?Co!=C)*-vޅZ=vˆPɃšC?z,?3JHI0[r )g 고eQ/EEM]8[:։BDDQs\4goͰƓ68sR>PN \2Q_HzXLu@wB Lv6ZV&~T;\?u9\ yJ6^TPcQt~]߈mr4(џ8 n >} "^ިûia, ;v+ss$xpw5ˣpq%.4)]&:r!Ւs rŋxSJ/|(et'9YDrw%wK~2Y؁qz!B'ѻ8>iE 7 XȔa"gld8*dSm4[Qޝ~ 8O Z20ZaX UEv\Uߏ'w|v QghTN5FwWd=/Eݴ۪eCD2 CBcʢC.Йf|8Iy-DÝR̜`XjpL32|b_rp3Fp.~l1컿!5ݕ70^C qxr&7:#HQ^8+:nx s@ÝIo҄2K)u"˵=}I*nBDV䝺 $=@P 9~ YC7EcSTףVu[nĩ<)ZB6V"8_fڵKz2X :3h~ĵ_ %g! RD~L`iS*nG'@:1>F3%B,AăXWXـ:$@>E3}[vs.I_j.R $I$ ܍xGfY5`ܸR4<"1E /9jΘ?qr}CWĺ@rrkd;@I10L]N0sӦD@d'PW~Ζl?=D f;uL/f92 ۣڷGiTҁ0Q]ڸ_ Y V.<8Kc_Jv`_Tv=ˇ?{{\"X"3P@Fk&0(?",xU k n]D@]_QeKH9ʻ tG!hek|2ëUon@S6$h'யg`:wxH!YW^x* .y|=Oo vŕ==qa8y`>8s3&/-]CmPyWL3 *;Upɸ,W'GGUr4;|7&HbIkxXjb x 9뚟DSq/FƏa"9myh%u9_`nY2JAثt<8^fc9ӪUCGEygmAr1eL75t\_ˈr~MFC)/૓HkV98fIe3YVC엺ӊakq}1ֿE?" |-UhA5:C`R" uQh~uK4ΕҾzes*T(Ř} 2Yo>O iK}s^{$ !>UuGw~ħk]J>}vvgqFAHUdO|K?/7{ul\ Ԁ![~ZfFCT]\cB&Gs9,BT~2|uf@5$5]HhpW1?ɛ2P|)%cʱ֫#= [n7V;'ib6}Mvl/_H7)%QyhΝV&>Gorբ˙zxv:tضI&Yo7ϙVh"fGbRٙgNi:6   OvjCcJx,F@P(eKҺ뜴$qf:m1|NR+ M`6Pa*X7m#bPkIB|k5VJBUM!oJǰ n ct/!K  4Β`vCc[_sS7FY:_\T%]K zqy=PfD F74.Յ!ׁ&h-+F0gHN=gdn^q=ς҇!)E{ B55/kCU+*dߗ'xm&X]HsWkLg&@S`knE %`[Vg$ %)K G=pΊ_8hEy Jdhnt&5?^횜Fi*i%%q>d boMWsUhkQ]Ss!O8Xrt$R&5qrWf83d>h:?D!>gH}<^waKX>fTTt/U:W T-TniA}Y>)Sf0:X6t'T(^eUq:bw(s83g>d 5%ݵZMuW2KHA\al6ܠȰM/Ƒ׸}5뼔g;r[ry+9QvS$Uz B=,W"7)ɂr遒69--Ʌ(Y8폍+U(/ԩAם') /If}WQ M&LZ|IW|zGYDR*t4/*REhnq9&-2 tҥ( lL 8YEw "'WK{Hd,A$ *DS~03(K.Pӆ剨t9rdK=gLbXjk%.~#> +cDTge3]-HeCX>.bad)MVAEV':>8B9cY`̄%m58tj$hR,WsО=W, ex8 U ֳƜH$IN!j:9VOX©.X^`v7c]S}eEL'`;R1Z2gߙdvIU7Tn>9-(>>=H~mQڮi,tG4ϹJkYjv'%\\zzT.$LVn:>M(/_gFBT+>$HGSr}P oԮX`$o I5qjm:;Z~B32͇Ɣ싪Eȭ#B"W5aRܩD@ӹ!'O"`OO*<*Y5]xmm4@޽GcqE!D(kz  Wʲ`مKBs;{$i}ȗX@~Z W5n&8|vPSdd' Q6f+bѵPiҺը؏Ao3+_ +$}I n)W";^ {ټvɋ,&l^a%,6Ni4vzja"c@քrڢl|x,W#"T 1N$վZ0H$3LoYu8}ﴙ*2`5{| l ʻ\Ο2WfV5VDnQ7<ɴX(y|R@(̰RI)1{F=uW_Yj!jS8_Q5hG&0 n- LOt62%2]wl-GZ)k6U9`vAλ-(; ~wd)Ge\pǣ:?؛Rqe:o38cW&*G9lu{- /R@$@'?1cCmz6]n*m ݾ&Z3,rථYYq+_h+N굖|zl5B{b &zS Dµ3af 6me%[CZXq,$x xps"t(ul"6q\!7#ӄcfjŶB]}%WnILzb-q8ED~?՞{QyH_1CS;1?eb~*Hań4DgÏ\W5tڝ.Ffl`\!~_QSpP%?RjwM+Ʋ=1|p ó> њ 3OQw y%̇?4OT),\«ƐOI%hbe%:7 3nw$U^]sL$p6+#٤뀣̓.nCCp A5AM6)UjY$7ꄈccX2pc  e@r+= Px-W1ճ,=ngW9[3.jLuaK\wXΝ:þ]W>\m%~h߸>HBxndYAJ&\bᥰҵjBa7dWL+/yȿrK1^޳8O 9*A#}KEIZ=y0ȺQ8"ҙ6FhGmr`g4xY ٤ISo7ZTjRwЇUpw]7l0@sQ5(Ry| D͊B8XN4 _ rN<|t75rzEoOMaL[u8VLZ}cNC@ z7+jR`CLeӣ$]PvzѽwB ѳ/gf-61;d/|p>|7_d%, ĵ1潷suVdhq>|7b8}xPTg\Ž گi"\,zjù$^HJDfLPby6nnwC(hH(w澱yWfYM4b$fRPfLB}= FMJ-q"38Ԍg1w P;2TO +%{qQO-0cۺ&JmL5!?-liǼUF3%*q~9x!6%e>S&fK `y9LREgL|fz#<޼x/ąQ )x&W_`d;:8Sw8NiEm-}>DFή=Fy( :{VPm/K5,1:6C)gasyep{txc ymIhU'RK Bk>B'Aj$ adhAU-Rۿ3%bzQ& řӯ}D1Ud=Ħf@"o\h~pdl8Lt=]d,N?3T)^] 'wtLa_-Ms5p/5יߞǸQw~Yu)glRR½iȡNz~,<; HYב&=*z8;7f۳)[d67YP39e1b5a銛ⓝ:jfZ%{-%^B]I8q|uͳD3AMLǶg*ʴI ?oZHp?G%cPܞ8zp*1ڧؿC8h+DXiy@Y'cݠ+\O  (~(%g<^!V:pӧeȀ߀f `o@nCkT0 3g ٣‘ Œ%xnϬEmj˧.y~?<Xf]^Mfp|tk5#U+6ȼ}VnJ!5ˁ6$rrι_cYs|q%; -O8 FL.:B4!Ijf zÈהذ ~{g "qBE-EKV@Pe@isL|Dt(|y6.\ǝ6vNgqw|}$zẹvn(C`D,'n)+c.739z7 cW0A K Adݤ=\KAIN$_ ,Qӵz} 3#xrkTpVߌm060hn7SW"Q I <ٝ`G`,tu4.^8*rU;n`hrӺzD|P\ݿwFQB1'@<ʅX-78Kk^>f dSRM9[1/jks FCM* Zۗ @*ŕ}2 =1֏NM#V41]Y@ 'yY8aM2R+17[wlqH,^Ž߰]|xcikLߴ/+F R_r$bGcj1dK٧Hu~ZaoW>/!ĺ/^g}Ek[ԑ ;Zℱ'!M8}9 yXuQ*@ݎ5VlwOhCd%K/|0?BxKa0ZaW%Gd2w[8O9^ ԬQleaɕ4xiշ  wwnzw8 a};59axjG˸"2-[z@8÷S"CY:w'S rhqOk3sveyZc)XJ[poU8"OGͥ#Ehk^DTK'AZ2·b\TYO ]G,<$z|2|-D 9v-'F4So@*nLA N7Hp < U ٿíhjF'i"ZK7D+ jo`^^"g \qDMއcAPD(s!5Ϸ6`1#FՍ=]EڤO#D5tsnNJx K5?rS4ͩنvU :Ώd>m_K-lfi𻮥VwտEMCV^UwÌU0 ;3b䫕w0 vIujf-8q bJ01GhTMnx4H4ьjNC^[nm~(x֦흿d ED9֞2Ī5϶3ŪF>3Ah^>ϠcaM>-˔&~3]|ܻsG:^{}@ћZh*w؎z1Y<,(KP^\g+ ?EZuw^t5PQ/Iբ[mnMVuA OH$u(Gl uV?hŸ5ƿ3Ff\H!0C& \ҫ%*yoR҈3h+p3j-*Z "&4SqV"SQ,^ݡ;f 6)ZNh^HB ?4CvܭKBڟˍ#bVQjg8[TԌK0¦)`{0qERQQѝHѫނD"5q>:b,\g'WV߭$4H()#;~Ca5,ӗw-pYH88SEl֭{q"phqcN QO9ņM_lY:!|0ЯxCc' 82׽XU pp;hGB^ +P]|Ckji?w?O xQ=hp<MNWztMձgYZa140b0e1f794a33bf981191b82b6629e55d3512e1667ce1fcb30adc5ce6fcdb5feb10204550c27ec e9aae1d42c4adf660df67523aa6bdbf83e56d0194ccb7537455457ad333738520843e76293a60e8b