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 R, ]Category3:threads=2elapsed=919.115cpu=1544.388gc=91.560factor=1.687zXZִF! ގ&]ŗXf1-/6vRZy_^&ZT'8fB)hR 4ٖl FK%bsbeb2NZ_k4ܘ@ HVba鴣%? g`ϞNt{Y8Iҳ6q*$:3>30"}R}e!)Ao(qZƲbδ9`ze21sbzx?}g"{A/Yd'o&  o>~K"YM!X2MjoSep~ h@cIќwMD` B; RNOR5,?7P:fpp>X 2LDD,ɍSiMZ6!;L5e$E{sI[fRa9"j>'RZ]@}nT:bT$k#3(lycEތLְ|Oꦗ]{(%u #vB>Hi}j5S]˫M̈́:d%kwjECmi q*L {ujd[[:ҳ&jlʣ+7qxN9N2 z^IV{zK'cz8ii9mjn /[G/c6yY*-GZb2!nP)DV//\}{{IQ!ɇu8sꈄ-` 6PG8|N,фFT%vWc<V4vL<N+㜵%/-}?RF:|~]>>BcaCu]'B,/::n_"兄IpB9ʱOSo'nl^(4d7b.qC<&V !KļA8 p/zEXaz:xfJF}Ea! E*k@cE9R:Dx]TO݂T]̥u}UX _G;@XaẦvPw>P5O^'\hx(Y߁l}}HDuPSˊFQ? wc<#DbSv V.7F'I.M/Cmr4Hs1]k*$i\0d?1ve$.t?!E w6xm8F.K5,o78G+F M>{Eb:M1IyHgc譸=;#lI>]wq՘/n4`f,Ed1ɯz"ƀ8BqҰm6,[e WU|`GXa= [81Ď0^` CP#uʠXϦfFUĦÑ y. fs"u(CK?IrYdJ9Iδ!=6qwxo^6u-),Aȑ&m ۨTn[Zrc7v4Sb߹o%p$Jᡑzp~0 r%=9cvѳDAZšnQۗAt|n5 #jNÞ;F>wp,5$X9%~#cq8+c6dF [7_$T{3-p)^;A^W Nfdߊ5aPu`u!?Jp=-إ,={^U^8Bm O ʃ-ΌiUD0V ڱXQӲe`h`^IO9#!]LsH\$CgGHa1+?ͫ1{Hz񝽪ѲE<kSD!@dwEJLVʡFm8͞X5 `6|+r63Jh-+ Uѷ'w r!R/}r\yB@]8@.5ƽ\Da gjəH.ϟ^zƨ6,~HInWM wAUbO y|ƅzF Xr׀ܹ)ok]U '6NO]VMCQv[Liy ^rE wNCBnadfۀ.zW{StHKRC1.q4*Ɛt4^˹\MzЊPñĵ!<ñҁ6 $^4 9^1`uKs)B\O l]ݐdدOf4#bO,~p,SHI201*8ecWvvl.Z@l* )*:ֳڪ Ni J߁oGf)Z8#T;VG:I5ǣy[2AId3g5VosX߄4IS TgMw DڦlL ~//b~lKliቪvrMGé˗|~HRyW~]uIoF4J^ $y?1AB.aa&3d.`nԯ c~NgLs#𖺂{`D\%L{U 8~qdgYfT ͍7N\,q¸?* f8^ @! 6 bof[MێfW50|6+W,7P ` C6B`_2Y`tF|"چ*Ն*Er*co$yW>!F-ݿ)vUEÈ^~WBLEg<4+Ԭvecn l E\>۪K|h ( e&n :Eo_rUlVPePGs9-psha:ung?c/ URT("BI×ߺD]ۅ! ʔM̮ bd=uGEݭaN=qӬw~3t߄͐CNɂ,> XBo~4/S3AqبzR;`Y!r3RD/#W[pj&nLoPXʳCVXN1Ybد/w. @2ph [V?Ʋ:\7T|o,Wa#껸oDlH7Py̅b͹vV֟8CF| -lXً缩N~ynG+΢JΗnQqBo3:L,/e\T-cBqԗI{ ڽurx83V^wȷ:0- 8Nt!,T =0ޓfNаVR+K& hbi(yU$C ˊTMX{Rבqk\E~E؀VA XE0#D.qjȚu7W tQ#H_C%G*ks~7ÅaUBJZGKo?8+whjP,&ǽQ"feGp}h tA=;] gUU1J%k*G>N{8 E$+i)CaJIuF RŽ.zrϲ:`y]4USfAY[Zsh-eOA.3[`DԾ*'X}k:e_"QTZҲz[s%B0m6iLyo%o}; %k6R0嵕̈́xzS腀i @8Q5o(lj e7sP)E!&!k BBߐ2;zCTncqOJZ"-lҔK,$,ϟ>wTJX*WK͑>~3&s>-Lkza<-AzšIDDvJ6@7Xގ8w(zK }Lk- ލL]HyپgE?pm]*jnQkI"01J~zT G+4G Au9<x =MT'G%su 8X. hϞZv`滸a<ɭqpJɲZm: re~{w')2H;Rs*h1Ǖl7D6o%Rl.¨\Ǎ}?q ]٣Pgk+E dzwioYޓoGX/DP˲܅ }99*Q^36Zhy̔}Y8qGVw[sKx+}.Sv( .L,\YS{\}ӚG܌%~}]Ň9BjSdC~"@ I%5܁py?T &2`*41n0֒l%Yjm֨L^&g8]%ҵw6`'\mV>fSIf ð@ѷI'Y>(-VMTRAmʶZz}?B|}>dH~ Ds$%f q}Fz]!qlHRXW ) 0D ^9QVCɆ 9?=<LJ _k7&f1ĎRecTǤI? ,'nt}ilX6ve|z̅~ϸvCC#{^]4eGi_ԋ%-"AcNi%Q93ZϹNB;`\+רb*=u}[k܏5]xqJڢ~ʕz}iReW{$Tj{L.OC!,snX-=&ml#[S&p:s|6CIM$ӗk9 '0[8`O!C 8 *]lb pz'gk'Vp쬮s?ŗ&6TpH\ 3ⵠ# jUM$=H?V~Sٌ ~(՗'WSZT8+wI J_|ͦ%J 18_KEz)0GG8 /&]-[LrllG12[kI" ߰\}}dk%mnvրdץ YD<7O|p @zPۼ#E%;g)xPP";ylPJӊ?5gԙ; 8,=[+m].$!C-J\Զo}b'WU_Iǘ"pREiOĶs.!$Ԣjym_gr~ ܿ ^Ouv-{g"@AXqcɒl\9y=ljl>{K[Bjg@`1F!uYfq#~oQF0.O,exuv-[R_5X #ő媷tM'Nݙ[sDB]o=%kPv VLٿ#^O'(2vVy΃&u,;ؐBޚvɭ,#)z;Vk}՞PLݘdc~ 3\BpY)Hjg^Rk)-x N{Źw#$'<)"1@{ "ٮzϧ~8Rrvwo`Uڈ 702Ķ4hyQ7aVqk$j`c|Jt3ONz'_Ef?mg4 2ic\d*/f# [IWC (6PڳO'OWPߡ~Q j#%2~_LY3m{I;Eu6G)BGPt:ut$;pL0xu Hx|@R]YCyCyf(le?@We%Й.7 Gc3P@O0^Bem3Wq@Z{_%bLEq7̍/AHH.(pHZL!KOluA<03>EggqKy^u4T>` 1k|³ħ<^*ʆ? ѽiYf$5zï 21%֠ ?\_81!Bӱ.Sq8s!oVa$73S|äfj A=u=呞ERB%҆AZ!}E>ٸy% 1f4?iۛ; ^7R6sjhwK6ɲA e} >|zj`Av};S l2[*r:K}үym} lt\g~?T_ x+Zcxp/v)ِ + `'S\rr-ֻc%G 4afq[E6kyY/1giCIF ϗ6,ʶ?r(tА7R s*/#V3jNE*ԪkwXNZy`]IB Yʚ(v6jc=M9wt 6rI{z%BY47R4˧})|ѷ8tcxX$'-!hr՜Fر6ڷqv({CQ6 LMBDݲڋcZU2uk23 Υd@|aH ',xO*`ݿ[U6 uϹ!sbˇF^@+;M韯HGNJ}W$R\#U !03X:OaOXXW$PK8 {dY1@Vg˭>-. |~eJFɃrVi(®a_C m쓽 0?ܫr(-vT%ꁩ;1˼;ՁJg,% N)sMM[W#|mTr-* NݍCn 8:*db'zKuBQ;Hrjz"O WPWspp bޚ L58NgƳ^lՋRZQM"%w/+KV'=IvC+*)c"]{J#t[Ӗo!|$0Jg``,Pycu` /ٙr\ݲ$fuKasF?&:,PO] E.*tï "DB0M3LړU!g#Cy!-4>"38 Y>yuvF6^da(!T&zoH/1@>DO2 TYz(ؚꔂ7; zΟW(>pC$eQ~UpyHh=֮DN>aN`pR=?ysi6hqѰ xڃ'_+-bNWE({#bﲑC|]er faJv*FhVҌ <٣kb*%r9_uZļT%B]rr"t7TeND¬%Ӈ4m?HX=(b$G/UHZ̉Ȁ2: giFз<='(.δUIo6Siɏe KSR4z؊29vR6싫L/ H5 nw8u΅'kvT7<*$W4 %e~xirRHbVsիUB+KoTivCtU+\Jl h ~n Gvǘ*N.2E;:q| Mi>uMC |hJ_2e?=.akH'"V*Z֝msG/谘8Z ݪ!m{Y`Y^pȋz΀fGG>k;?$}sPHo嶺av_>|#e:1זY8kf08BhjzI"燅y֗ |D8hcZB7n)jA>ܱudum ʽ=$g`L7^l[v`*JVCuY_ī]?n:nyV^0wo%㜞E?H4i_X)lrCG>40# ])'/h[N0Wpt$7[#&|\T' nn:Z%nS&!3_Hvd4,r0\ :^;y iGf\hJhA1 \2 ¼%zqpC7?x.S )7`8AΧE&0Ex`uv9f*ٳSOR~X}]3ecZkU=/}\?X9|Y[oOhqYJZ+Xo [JvV˱`}4jkr҄ T{> v FO3-jYG*gF'Gh2gkSx)dǻBcN9JmOߴWtjjivND(>PYa G-GDjU+%f!ԫO=1T(OCL>vwUϧYهغ=SA^zTɃ,yZR$>IHsµz\ . ~<6LQ;9v+ xf05=ݴB˳Lcmx>7d.@w|eu<Ϗl2 F2$cFY,!n"KtjlYW3[ B"-SclVptd4]j}LV9ₜݘ5W/=zQ]j co{sb sl1e ٨S[(oR:>K13oq ^2F= &"|&VВŧy.s?FOڮ |M7_+guUwvN-2|x-.lSxb/R4X?-b}EwiZv>h#etBrG[_ԻQdJAh{Tyy ԦQH{~,i[ﴒ[QXÉCs<֛{nאΒ:|ԧQZO5vr alx`G!ޏd/ύ=h-i`* `iPF2!C(`yKQy$;o;6`tU?agKu,URGxWN_ p_ +6~ҮdiYa_ .T^ft=08 8W|V=TeD^hǾ쏙D"fgLٚpvZӘ7MԥzB՗ #MzoVϤ lj 𾲐Z8|SZ.aD]p ZDIϭ䬌6`?^/-zn5tyֆ\7FXC>X ke&_ɟ-C\7ug[4hKdSY5x8 QR>y^z]Y^3o}BMO]f2i^h{6a٬&AāÅ]#/Qtj.yՉf!kVtԜh'=v'yMN٥Jז1M9Ǧ̶A#~`2!E}HnƦCx*N1+ 6w?N]EX5",!IBes;wڢ& Aˆ9,](*"LY1CcQhWPqUJUL~G H2 ZYmXBjJ]W&R|CHo-;t"f0ɘjZnqPP3b.G*? 䯤dJ=/#bE ?6mQuw.M0  QLM0AKݱ>/٦4giT_h 9p$Tֲ]'PڰgvoOw]1+J!Ȍ fs,idfGRZ ǿ|]?R< ¼,!-#BnDr1([s"뜫7 It  YOkh%hcp,m"tfaA(P5ܚ`ܫ'T!"zvnT^`ˑL#~(q'aƃ#AmBh-/#>|g42 $f #~X$л޲I*?6Fg[xG}di 8f>_d䜖HKc᳭?qܹf_+q6Į ?sV@#!2͸l-ҌC\ίݪfz0bgZM5vMi8k==ZﵒZ~%4ho2S m{ȱ JeV}#T>|(O=RFs&4-q&Qf7g0$j0.R'~Xf-1N h<=.WOD\\UDȀ)Uz`HTNpy-ؓ O<Hջk`U@_"YW@2m ׬rǖlGmq)&3 ?UVDžAެ[2qU%j^nmՒ΃Y+s蟷tW8OmtK(yZE,sl)qtz҆3DvVAh}' zGZagK@biIHf 9LC UK2nR[v̋ kF \6KSί,߱STܸ Pzvjg"WQq2u$4'+07'QI2ώT:$u&ЧխrkqQVw2#=/R38s_N42[E YߠIWAΈϾrBtFwC)s le>;3E{ȅmXVBEfظ@Yf0cJ<&~Zyݕdңg:B c找Sa,_,{\ D♡ # yr tv+5M ߩ2O˷?粆<if(cqIɏDN )@x~ Tg~7h7%U^z7Q*unU г:]lK%@LCm9js"b;`HťYYy{|%~xpjƀA&͉^yzM|ں/u22FՉT1-Ë J@rWf?5y5;)H@ ٞ3mq>O>rENuʹ7%P+7_ɣ)5Tpr$CۿJo1y:Q%a?BsxЫeVTcOz=3| 1`ua;V:ĎtjqQfJ}"zޒ\†i>ހm=Qb,`-2rSxL`R@@BtA},yE*!YtI<Iȵ*7)wͽ:3h_~hNܢC7qB\)=crPSnި1KƚP;{@JYq-]$o9xB)dS1腕O*T\EZt>\7&<׻<˄,ؽ=-g51i7:'++";k7Okp$hL|hqUb$_$aŊNA[Xț9ѣ?=}MPUX#fn/Q.u!u2g*V?@ :lzYy\49>և` (EwZv;~N÷% R\A ga&5C4R?*İE)[nD p:{cD# >pwh6)=Ӣmb>aa65r7PNk pm=G>0P@eQ)^?K<U>{OQ!yrXQN# 8B1NjnC|uˌ=$Şҡl,xhֶ^B58{CB XQsY[4 k |/$ j~#;"eDM{JNDGojq?XM Py XT ψe@延@"#Н+I, 䥇+o 5Xfxmԡe-רm(7U@*%ؒ䟌<M 9ǒ+d "T1JFMo^;c_3N3v;ȾxiȈ)OfJA.>$T .{[(_Xt@0@e mЂ*h %h;Hc(Sf3MX1+agdé@BW/&|($d@v0Clh;I-^J7FIţ9l[W㐝Lk+Tk0(,*D_ 7H(z'g x&r9W PλQ' }e92gNc"^(jXSmĔ| )""e$3B܆~e{ɷ,K2_Ggv|=w/? GAg_2[ _b.wz,b ibDU r;){ND+(S؄/LBOH͸KQ|9&ɳÅYFX+j򉐍gVw~ߌ9v4Xko+vzpVM &l!ZwլþEw/y^9¶7_{ǀqyߓ0j> %K&*mC[E{`"5"j!K-dYU bZFe 3}zeݎ_-8IV̻zw:~vibh~RA\ ?2 fg2;6%n)>~2 j+v0EDρ`@};N_uy/(*.L1< 0vVa1*^ѷDv%;NZNyI-̅:ޚ&rȴMt-ƚ7ܴ+%-VF$N`ߌ ZPL5C mf̀Ejqꉙ*.7"wOH4E.dJH<ݥM!&MՃ+"7O%-!1Sg9]eT,NtWZk(|SNֈDŝ  ч$\!A͐053_iXPU|Qws \ZJ\@B^r0^ҿ {MSuUi.L)9n K_wfd_ 㻚a ipJ|"~CE)~gbpL'_H6 tmole ΁5 ;YRΚX*GTNlכm(ˬ%.hiF/r!oݴh^W\*,>f1h4GtS3ͭ9?G[hF5=8Lrie/gj.{,G6BB{JѠnwhfǻQ qź7j4gFsm5CZ3`}qBeZ?! /_yMK#NlCntЮP0wt},$: 7|nqhtgv>*#3&peo"0 Zhy?\ ;թ7gGKnx12 >N(}bLU>&U˶5^5we]Պn N~!ZIqӺB75MhȎ%Xȿd(Gam4`tD-T}2ҍ~#0@+U9ch-RK/Lݿ3` @Z"yQD6nHh Y7-)ǩQa(#"7FJBkNr7BHCxmf&/;DJ; w)x[% ZJλ'YsNxQ@Q9W@#,FO4A+~ qCMl1jE ^M{C"X8 pć˱Zme3Xͷ.i8P UF˵5QEXa%)ܛڟBq9C/k^e2H(& ȐEaӌ/LenSEWDB[]#(Nw,UE&:'^ ɤqVdT1"S_qKEQIVK~?,2ΐbbuHCX98_un,]Su M@Șc^n%`?ߢzל@jI+8#Ь,\DWT wصNvjLF<ц uQ~\P3/hClJׅys3ЎFY˹b5~> vOE$SZP/QG@fMUFM/' lP؃c}*'/ ^gsƙ`Q|{ݪwx:Ï#H+Np;Ýl{lUT;E=]RȒC~a'X!1O8T[Hc4pcꃳ$^Oav0[X9xK4ǓO, )4D.xVMhxq9\ӅԳUgc6wN;^h"V36 kiĺ腅0#ވ" Os>@tMZ#UMaiRq4ln"ׅi4$~d4N%p|8 xuymgl8%~#S>*1`b<9Z3kVw{I\4R3InK'j{^7%Tȸ„:OZ'z@ $ Hu^RIsR;kbJI:wdќtED#,)a֬TZҽr2!|Sl)ְ֣g8jnO9.mIjup>kEx!\tHt}B`"gGOr՘sh,l#+GAljUȂx 5#wXlJU[_靻vn'QUWf%lAbw\>cHQ}[R`6G?;?Tu(K5Rdj'F<=kmZ$̗].]G\,/WUOy΋ԍG/~65^-ݮi8Q10s_$"^u(LC4"ݰ<U'w,](=w`ЇpE܄wТ_cdG (-A8VCg >Iihs>QLEU-:OQ U;gvXL(.C"U270xΪ.$JguW'd"S@GF1/NEjuBAZ7EeQ~X IahdMy^,>p-9yFE@XLXQza>IHG Gh)"y3}e݊z>+`bŎ`,n˪`.h0;AA?`ʹƨiUߘ !c&PiMױ᾽M.Wm'PQZg)&Uݴ5[9&֭Ԓ=>tkr͡bCl5zo\bplޭT"7>lXK0&;hsŊy}!=y%N'w)ji>g׋G/;7;0&rHFy؈݃w8M=Z\mb؜/c .u*)}goRMAQ J\3w}D(kW>9PiUwVqVŻRd nsi˪&6Sg ȿ"(=*.I,D~Pʐ~¸m=,WZ~LT ͿD`"ϭ;b ΐ>,ۡV-[}b&Ρ.$/}hb rāsMg]e `+청>pT58XU};zd+]|;d|SxǞz0.7E]6^aN! 4ZўFLˤ s5t"ol >t Pf8$hT<לL22~[=퓮9jgV OX%HobJo# ו1 iR ]HZmA]JILTE3oT˵kV+FŐΝ*qpWYGh-:VVrCҢqxȔb$sS^%3~=`[XHCJ|ൖ{˴s2+KQ6/5 t$ho<3ICs.^<5Yv:OCsPYp >Nʰ(QP|vr?+ZsbH`4<{o&/IL!ߵ4޼Q;2 3^l}(]6V5S!P?]XGuw%!I5t'cںkMe(%h0,`d8I^}=ZpNS!::Q;[] ȳ;@\d-U`XWy]>p<.0>QYʟn?(NHh^xQăug&Xl#)G[]՚oZ[ܙHޞt᫾\% }!0/k8CYau^R3i&(]uRVc|zLuP$uxC܄Fl(|%c׀F-Ll,]!6,o|lK R?آGjsh[1Rs7]P E<B6@r]Flc# '{fhlv>)TpdIGϙ#~.mkn*9!.:˯r4MK>צiVjKmf %Ps;x ){BvX#N)`uYB bN a>Y,`tx}Iz~U菼Fx"1JW1vVnKx]6f , ?!3S?cY/POYPRFRţBp×k5`(!DLԡh r34âVt.| ňTp U5Rs)-o;%5vY34Qd^P<Hne EjT=Q{`d\IO^R{Ւ̧:a&p=UѸ(T*KdJooC-iK]^晐m*Vk1&EQt2 NkG>Y@rdy%]@ط6k^̍gd y u~7Om/6^>M- ,#-3+my?՘o҄S. ~[r*]>% V?Hd>t:߳r 1>je,>n#:`#|@ UK_LE):2ua |5 XH#/=\0'/Yi;k2*GIJ("֊Z$ʖEeŪ a?%㬩ҕ~0^J| ''~~ff)ija_Tl2wGdq3 A(|c1LBȥa78IcM17Ik.%ƑlR{ĥT($WɄGm=W<g>m 43`w5fC#/CbsCYJ'Mg1QKt) !S #옣/Ε8|xU[{t&.Z0ťs w榃\pNʭ VxfL 7˜e]ӞQ5tBnon ǥ\fl4Hq/[-tG Zƒˬ7/d⁧MΩD> @\ci|T!g\$lb$ r#i*ffZf 0vm541`@}VNwsdz+L[j3n顨'KJ/(X1\y„rBן ²'})Bzoԗ?]kcY`qT dM/j'UH$koVdq=1BV'edU# 6hR^N q95|ȾMˬMnOo"{L=r*)Ux&)5:^osMbXPER'ٽ3&apvQ&T%?֙%?#u3&QoO4$?W ȅj'L7vA;aEVZ#ĤGh>X BΞm-,xpaۆ|`c#8u_ͽY,@ph4hm RB˝죎@J0d1X"'_o-A0ڰ %g1E'%z96>StJh &>E뜾a:!/4I$Z s{"|IF5ar.]F Vk~ &,!fئz~J'(j F@IaG%y_.*̡ Fsp.3A ez2]g%c Cpgw&B ,@eLd VcBѾ7"fb?/N~uW~pp-=KW7{~7NyҁF+bNxQఎFӨm0/BBZ#鏋Bt^tZE[D 1Mj1U IycΏCkD囏.Ҝ3#[ 1,(`z K= O8 茋6N$"R'h2YP#[?ӯz.T_>쓦acϤJ;-؋Q+T_\$jx/l[M ζMr^[vE5'JL0mN5~7?:a?wQ~_JamAIɰT /eT]w!ٶcjjPʋ_ 첂gcEB2ú1cseIäb,zWR{5X^UZ&IG؞ AԜ1+!㹛>Gv kp6p/QRx\!kU Gsbry==T2v~~TQ.2>`{N`뀥t&k.SDzMlʼnl=Do_Ϻ%_\YGBqD$IwĈPIweu#ڠa}Dz_,'-ּf)h68MHRli9W$|=[i]Ю_GdҚ9Ccu(Ka{s?-9rǜ XG٩_&KBqϟ 6}:-P}P"4^1Il^57J=`^8gw*7gD<'`CxzȁVqՓMd !+58ax V/[56T9Dz۷Y?"Q =>,%ٌ C |6P( La␞%ͤ4#~6˹ěVVp w mq5 .PѱH峟`ϫ"޵&M o枝',_5jYzN[QQ)L0j{! &=C<-W'@.åɊp@'%3ĉRzU|lR{. B,4G5OV8|qn([򊠛MHc36SƸ#k,V4ؤlU_ F8pί8`E#p~W*\n ۫ JN =W& HjvY"+5_41=ՁΖ |/ ֟럤 _u%;n)Pݶ1铇A^uY_vdZco|[JDƗ+]?:I99IkIx]aO ~>1e6eMwuU¨(MQ(|[l%m+]YڤЮW7L3BG̫c:UA|;y)âШmM8G*m.ǿB69.tS:2g||`ONeyGs]x@JJ]ܓԬ0jZ!y?x yfB5v7 O8{Hn)2x&+- +ޟݣ;PO-NtE籩.VmxI]tfB 4A0밿1h =NԐhS4K6Xx3cCAAyM]U;FVy̶]gC:< U: 5>")ހ"`}e2b&"?)^v#|AiJWBYk<{LK*$y]FvN bIx+RbɍG ]!dP~!{^5Lڦ*C:Zu;P?]_E|pSKhAƽE(T(&$ P˞vKٷV(SYs:eU7d^W&# X"gvLeI:#rNRgi]ٕeo9g1 \`;4Es@$*1QF0k_V e9#eG2xObJg". {95SImP ]9!E_Wn3[λtQ#-)8Aki[~y]({<oyF*]5U{1Œ9hhjNLUECor/K%&֣m! #yMI8zMX욁D|H`YaKϏLׁ q3EmT=\ut#dK0}jȝMf@tufoxu9q(A]d# vknE;sNw @k>n(RɽZ96uˀ `;4p-GCހ{pыuqc8mđz\E;[莧GDL(}p+ʂ}o䱽PZ(1O?>5dS .+>PnFg#Ԭ{oš%:N-\Z5WPnQfRkstKokZB1B x 5BF8D- 6HZ;),elSbI:^RJAy4koFSS)D <%qhwY.Q3Wh=+̿}Zx$^lM^ z}Ņ$*ouIqxK+ pћVAre17@n0=(ܤBfQ ڕFO0Ot5ֽi|ZiRe!$F984_W_o ENBM7f<_ܾ.<ۏF͇nW>" ^@ \.zA5V %hhqw.yjiMR}@ƆAP5~9T+S^vI%݀d7uk9*o]gZ6^D[I:\#= :U^6l SOOce1*P=EЦw>=``4_Kqˍ?m@D[,,ɨyFz818v"&Ajp>،9v痗Y@-?n&R0 zq4ZJqGOS +4\ zv+%܀@Dup45i5#C3fD~6WZghXrDO姓N7Kr2]?CU]-_lEwd|`MXt(Z fZ= Cڢ&}JPFϠOx g~k#l?d /) ڙ`HX7BGXhf}["枖Hԇr'لatůB Z8sbKS18-`dD*2نeƮBqϯ?%e w_J0r۴bܗ j9^:$-;\Q>.+Ru=)Yh^#h+v]<U<=&Ix!r53ޢ5 +srገi5<'~餣F+w'M&:*DBW8* 5EcWR̒3079kW \RymQ?O8.6ᰠ}ߕWtim8BV&&u4f9Q b4?+.cQ"yMUbdTs`Y.+q ׆Yn6,JGt ܘ[խ-n>@@R,vq[T Q M&7U(wUܹ+vU~CybOnxt W+X< 35YQ1@?[Ցe|d>*] d<"8)R.7ho?)ݨdꃨWLU1ɉ%zWOg.@aĽ@j+eR\FԵ]Sjx^D;&]$*M:?3vO:VIa4@=&S80-oK,Ueu0aPX(݃E4-=Xö(Ki,Sc5La>1۟a|aRpogqi(sxɑUX-irN m!%´Y^ d&o& )PQbMZ^ yzRd(Z/ydŗt W*NA7T_%u^U|t.<Vn1 7o~ZyE8/Qz)#HY ^11CcRwė]9}Ec76Z+ Oࢋcd lTR>;('rUٯ ['%пl2A;/>MNpxʐ!a&?O$yDw%,IoMlKxɞew-J$nXU׼ЮD7+DBʷ2g[L-93; h"NVRzAt€J〻3ӎ`ࣞI{N bsBډUD t hG]bDx"f!Jܖ3%HZ>eۆt1{b[ -ҽnj=$n<dVӪ0D8X%Do?>p2'r VG U=D5%Y=^Sa b?фj SEa9c6b& p+F@ׁO]jg9`OY*P*xs^6 urËwնB,iw:cUخ^us8!ʼe$r`2v@Nt")D GH ڒ=m^oHY?dހ^\`*L`-Qy)IZ)e+Ya:~ihck4$xg|>lYQ+hLY&_-<%AEpWhs7ǭskkj!Jzf?z}vJbA*o'=ϘXwtmI@]ttp@NCeF %5 [o#.=_y?L䬺~e.ҌPv i+oFB֍;a3K1C h$޹PM-&\tc|g}2ޢ:6^k"ڵގ# zYIuf}bz)l_cl )DbhϚ󟙵 ޟ|tr5,QF͡^_ޠcvi ~@3O*}H\wislC䕸iڬ"g䜮 3eAISSaFLfnkn3H^HrF2D_W%.ΓdO33TFC"M1*A@[T#nKk=dڦ=R`=zY~G.n }4C:${g5B!)]> g5&A, 6~A־3T^z<#Pyq[.=KzYB c{ /R. r2R|OocW0n,;T5C,y,q5d|ٽx끕Bɶ^WK.b%+WIܺyfsUf:=D_, oE\#S5ָX6 Er0T7UWBo@\ovѵfk*G?b l=c}P@_r!l4PTtälcx襀YMݾvhz:g6N7[5`s Z HfơNy͊g*_[lc[*U+GlpOc++PJ;݈н|Rl `ky[}~t},F\bG($<ҝK esTV]d$cߋsHrXݤ0g@RA[!CJeCjyIHg+ƿ7 jNvmO0ӱ6,,w /EVϞ楉v/!֤(Q23Nn/BdP~9aU&X*P#O A<Ѝշē"KGQ r@+6B1{Ńp*1+BMfB䧲*C+!^'+R"r즮h+mNASnx g,[&䓔=10 3)*V5V jsʕ<ڗP|iTLS3ky;{ktK{SUWsC"%FjۃHjj{N+ <\bQ ɻ9=ߗ#s>~U3ȿBX;:-1m{W[(>tDI F2}Vm͉P|'K,OJLGb$/J_"`]u$Ytt Rd^j6?k _ɓ=E4jz*AM]ZnOs xUa[^e"<,l3@ l#(]WQ=[pG?PlU2`UpQ4#GѳF Jf,Zc}AW o&5iN$BV⑸Gl4K$ky6RPW06"Ou;]_32*N]NеOZjz20`: m޿̛uT2gX6@&)zFr5fUɳ[&H)0jRWPTzDƅe|W\6= 0zT16 3Є갬{g',`KFJBs1`FDЁљT&APA vs[cA 1ߞZ k-dK˱ < aN?k2gݟé.9`QڥTw<CD>%6Sď` Mȍ%`M] ?=#߿a_)ckqdk%~/H]Vyw4MTE7dԎ,-笽ǵS)d4{BU'ʹ aFg_.Ӛض1zǖa)}ڂx*K"92T^w<I4۰b]= ?l~F|%RaqפcFkȾиc=Pl~A k}a ̀ŤƾPq'|rnX",2năq01$,NX};hr5n -FNW/J0Xz9ґ$H Mmuƾ,JlrCj4W2rCT/m%-!:S7?uu>z8&h{z9tV3^WGBy zD Op/63QpD xD Z|>vFtAa"k&]'|y{!S✩#*$5"A0a~VY2I0q{:(?rEK%-0W(pt\jLMaIg{( 2rB?޶!k顾Ȑ,"=*yt'*™X]؄V*aQa L8kk$YZ/8w xbU|4ɤ V_?|&# y+7/Nibtw^}O-B9nkF)63X\^*IBl/nç!%[lY U^ͣHYH=~߮`]jC2k[ڈ1q:&|N Y%Gi#t4k.kY=6z8&jnAT_u~[8K=/~?Wp9~ ]綥BHIu/.B!GWTWlUyuc?œڒn5R1 ImXE8' R-u'hG= z`7wǶUbYݖN_?xH8AIy?xث-PiCTT pq(gsQ6gtYWsRf2 w:;Hא=2/kX%U (G ݝ lx?y -yeu;$ \2ٝK  |:aVH#/ $ 0zAm}m!|څPySI˞$261xX.& =˕Ϗ3|.+R!94a,wM7?ζ$PV<^M emB]6gAjkěޠZ L{{Y6U~7!AkmRt[b֜3.^r1VV|ޫx'PVȘd? P:&RT՚y $Ecgח̉x#J8X``؅Ԗ-˻&Le׀D+Si40M`׼k[~F5Ɓ VS !1 v]OcT5 :;|)0M<Х<GA4$ X|* x@)5?dZb1ҝY+6H[SFd׿wصt$8#kNkXî[Ƀijv4E-R(pA O&̈BIn0CEe*SOtQpȀalN>lIW)~C Q tH艁 ׽*/Z~ǕLPP»~Axj#鿒 @zOS19 |.E ǘiE84tbd =[ya8Oͽ0F4@Sxͻ.@A# .je'Ei+2?# emv +ltq8bB_F%qq$I~]OY4FBg CSKvuni긺|vn>Qʸ E-QxTph{ %x-iÜ^x'SO NxUjkX^Dγu66Xߣ[@Б Rs*akr*iIcm/{ƤWerH9uN§0f hژe҈1Bޕ+|y%[Ca jԕf^ިWJDbwצjR^lchح u/lPY+@K{eJ{(e>D>:谢(9hxFF\$ ##R֏ݝϰ l|ʜeo摼!BDi/%( ,wK^م p[_4EA9a;&ҩNJ!*\c'*yPTms!,s.%Π<ӼPp l@D;7g*Z!A*A w]^oCPB-!a<E7e~A1|zO$? 6f<*AJhOw# ˥ۈjn3U:@`)lr6NW`}dE_%B6TN0OQ2=Cž;9B"]vQŵ"ǟbxlUH2`hٷO]; i9TN֭' 1[YE:gJlt^诊h6 R6ْƾ4:~zLbQzun~|O-}C@diewV̲dr?U`Xoj Lz%~z[_Y#KarG.V ~TpIa +3~1H :|D;;wO!8v@o*f監Q\fqZC4 N=:"W %ʩ!'yG,:-EU2^h0[F noJ]op3H^uݙַ͵;fgg3dDx/)Y<"5QrkeYpF:bv>C6lG\> فwH.:)(X 8ͼW_"Q/B3Y\J' cכfNH!o>6L Ƭ Wmu0Dꕸ~9j5 G?M}Qw ! } Cc&xY/P(f>lu{G#g]DUO12F+f1vY >@gBJeno s,jS 's$ v ?W2MKϣI"RuQy*J(Ũv=_c?Ur^#,R"&ϙ9U/K;Q6ʉn3<)l>~'U r]NAGߔ^m!LfK?:jfw?Wn:ŀATpDF8]+~Z ,~ڻѾ艴]O,2 D |#2&Ma kP"b6( -ӄоx_ǎ2NY7L u _ )ب20A\d3OQ?INg(sܚ3Sd)_EgIXo;s<}|2M80i>:f0G64}h~l oi?=c'}Zk@}:Zs:]Mx+d**l"Sh=֞V -T D7 ;ΘH-&53"e0>U`%:ncrBlT,'\~/]Q?-UPƅN)וj74e+PK)ut1n`;,")Y!<͒G_"&&HSC^~?"&T}AX-uS7gH0C}?|ze?sn$ w>-M|Rf"rj+la7J^̎҄zD_uWAR9 R/n{Πy VDOQeF oogLDK80!5cd\չ6U/ (73\^@G_H17^!D -J.y ڝ-ԊaF8[? ~5ްXhc6 l5?nG(-g+i/DҬTq\$ ~pa[*|a&p@%:HT/:G-aeč4GrtoǼ( Ͽ2@ bwfly9tB~-լQ&] RdEL)u;왜>``>lr4b :x.}ks.u;H涞ER԰fkTHsN} oE(PРV,'|/7 L.u@X1Yу5WP')ts\U+@?j -4r2-"ʫIt P18ݯkrdUx5@:%RܶP ri4",gS j6#'^9ѕfTbڄ/oR>iq1̶wW؟< ݩ~V uJW(Kp{م/XҸQHp-i$#H #&MkEfdX~ܔ ?u !~wf*]nʆH|򭥁f+wP1+qT^TK{OXSϩ8c^g56d8x(kTT72iἝrܩLJUI ծKMJBw*)A)JCQ0az!a1H"Ҧpiif dT>PZ%60R$.) 7-4pD"_ ?s\ƒgW./bi_z<7j-0CAF^5 m?'NT-j挫k13TZZd.CJ hY%iMMFWX d@(m E ܾ)w\Z/Dnk"w?k0'֘17GTfۚ$гځi1O_oNs` J=/ͷS:AR#DB>0%iP5pn1+ZcGmnKKUG& ! lsg2 ,f: W7д+aҷq@_  Aieq sp@Җ%aSIJi |YSvJ6٩R.X d_L Jr?,4$I*$~b65i~K]K05f>ղK~(npߎ2@\"qfDl変>plh7ԠBtT}たJT8p\UKUB}u9žJZ}HSJh ìr0b5[Iȗщr3 C>=6^Fj*6Y4aFo5K4Nd"@l/FJvrΩǸJØq /w#J]e/gr)$ө-;\AM6^(cl)QCѶ0m<$J²74}Jjsqg뉩o/ lN`q^w&5YqQ=Б.Ћلu0(;KِDl F=!cs9 ֆl .uZ"!VmxƴWjWЕdg_Sz=䶶ܾjT3Ĥ(0NšDpy!{9swG}/FYip˝6d@:+|ꉆF&X?j%ı]`7W&TDFΘu$=v 7qWJО>s'Csl֜B# +rΪyxI5eݷAM3;Ý`!z B}I`b?#y?y9[T=n۶3խfv+<5k3310lr+;>| =t'9}O3Y)kHfU;TPzۨnL} WuHO@;m32 ao:~l-T^ 5^RF?kDۂnQ3/MΏ-27 .=Tu*A))d!<|._RTٷI%zNJv߼/q H⹧j?~ إlU'\-e:,B;dZ u'':[2s2 OZd'&J#97YFe>+iyӖhas3+5F5eٛCȋF uU ~oR_ޮDԶ5WKPhW$Z~_;l8~ SOp8j{@@'u);~yD\l@ߞL6=f:  [=b,V^.I䙓C>0/$R^hFԻfiq6EP'3__w']w {'vVx|_q߽]v0Y u>ߣE"R4{PŻwXM;q+rb: ظWd|0KlZZ;Z&Sjy%zM^_0For,&~"VDـ ;&2?%ӂ`_Fί:iX:A@Bo_>hܪ12Ҧ#pr%:>pߘjYu$<]38H4BسHHɭ;OLxD^:8>>*lM :>8sTk҃ne/W;<XbG3|xҶ⛍Pr~xCF{ì?r D0 BEYPj(f ' σ/dF.^H @'ПZMj0hq@o^|$:Rd :?,/uve̛ %h)N8qżUIXe;D`VXj9)'d6?0pt՞I9d׀F]W(ɢ[=5$WJFR轊ov?+  ceNh,tO&%Ɉ" e!vx7v9;<no{7 o'WtnɩU}v ",B2}"5*21Cxr9!Ji39~`]ȰmaYM =V2l}l"%0ٮv}]:xg27uGBCɇyz4cw_vxD1CGIB~\`b~S*؏t(;8fE*5PWDv!w&D׀A%v *`P{c!nʢݝ39WX&x)a?;_I\VE}(hv3Q7D8H^L]Tl#tw jhOwԦ#&`m}z$Qp갟OH~oGc}Q|(FYimi 񦿨\ S/e3y 7- %sfqgPgq}Sނ; c 2Be$&|ⷔpDgجM E`s.]L.>*ۊz=.$TUw[PB\\%Z>sBNume&|dLLƣA0 C[y]/UyX \Ѕ [H󳆐W}.PRNV)fuhAPGSUI<'cvf zYm F D ZvGD{!s+XӀ `d3xV Ҷ}*ߏ`1@MlC j\^A\6:WN[icb,LeHpIue|i+|u<&Y"߯kˣ!@Bx R˸03- nJn%2F73Q#e#IEŗx6vy×aIH!^4bv+K(# b#~0R5KFQM^eSxtWm r>ۓ[:SBV:0'O*R3au-X}~&V׳sJʌV#;o: AJ%3"x&FEgSB}{۔)4ڊ=[oőb\P-q4T.\+jHxvR&?XliT"E":zv8Rwwuu!WSƄVU @'~&uӰo#PQ陈P8./vfXvqegF2,DgTyOX$Ę!4(aAgga '.)Y7u+򽸾1q74þUfv&sx@Vq&\(؟W!F*e !ؕ[!\i(~2lY Q)_ ǮҊ2aܛ.RSmxvT4 ϵXR 0 (^h4$À w<γ;RUA*Q[RtJPmpql=CsBJ1~ B៿JĽ4uOqP+S!!ߺ6 _t=n0Id8ZfĬRl'4%(O۟Mx? $&G2UBaG["l 2Ʀ?w$c` wG}.K1+Q|,l'fHS;XFlgF!>-Z㤾^] v_pmAj󡅬`.OFX⬤}B<ص:2aR3ǍsSk˨ba NM+^c1v) I5brlYUk"Mz[F ^ ~f-#d;@r^1~>'Bj& _@MR9y`2|\eYi^&kmc&4dnjLǮs0Lt.G cƜz$G:ح7+ܲ8dScKY6̓-!  d72)4~Yݒ%Ivkq=ӒFT$؀޾yPزW9||R4fǮI^y ʨ2$eWt!/9F|F~+Q[VH[/b+ֶyb@voO$#Ê%\ZV z``"ֲs 3nZ4GH|:_P0^%Uf#2(tF<30dAMiV(2޳KV]L4I y;x<fq+X[0]CSnXvK&\t@EwNH+ʝpGwߠn9d  ]<V=H@A!Qp].ļbM\%ㆪ&VN7']:"10\@N é.2zҸ+ʜ33sۦ*F~k/W}N"rt .TBk`VΛH'Y+;<aK6 fq:v0hn%%4h= 5HFz9 v6|Yw/`i:S'qP|.ǻZK, nͭ1r}kL`FtŹ=kvoiK?@3ZJPB8B;֯9HqNR`̦[@\|R#ji9A~Msl,i"xNK =$LD;WwS9`׮Y9t'%7"ޱRc.mk/ֺtEm؍XACxc* D}XTrNF"y%(P`c/0,侭fJX発/ ׍Sݟ㘆z"G޿ Kt#&ݒByLj*Wbf1(P9"ұJI6=kV6~l_v?* F>H__'Fp;/r%9llc'*Y|I⊺րB^ʱgYZ0fd4defefc9c3a83c83167cb24b75edceca04601 1ab3678d37f3ffff77d84561f7d505243b0babe2 1c884124d672567ed7964c56690b35884e2adbcc 2353a25fa55d4bff60f600b96d2837efcbe81997 23a299694dd6e3da5ea616d9ee7cda7b48243c51 248e26121921de3fff5035082fa6f395fe632b8f 4065c00c4555547384ddbe4996d4b0659871b0d9 4c4e6a82a18c1d834c5f9dede7948f3ac8ddf992 4d119663667bd0ce8d63688ae8dfaa389f7ff749 5380f445bb249710308f4d8a0cad22f29628be62 6bfe540cbe8084ced469c7f55963133b0027d047 6c5b4c878e7dd9825071866366d46d92ace5f6ec 79be8feac973a70178000cee4a25fcc7e3872ae4 ab2d2b5abf0dd4b9f856d3c4705f4d16e8f25370 b4025a2897cdbc95e643e6f78ccc4bc9f30bc152 b7172841f6f106067ff5f33c2e89862f91d5e943 c6c09542b7beedf1a27b46b08c671e81300c98f3 dce1a78a7124e77a603c6bcc2bba1f671ef4818e dd6b9c101eb1b4d4626d557ded32d1b6f21625b8 e85e14e8ed1327d1e8eaf3c086cbc520ccd602d4 eb2ac49e231730d17a6620fcc806fc95c0329add fcd23409038bf74b6e034eb36fb78cff17075ebc554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8ab9f9065df82602dbf6de5bb8bb70d0098eb80037