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 ppd%< ]/]HOL-Analysis:threads=6elapsed=272.525cpu=1211.900gc=81.940factor=4.457zXZִF! ݻ=]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'o!3qaD*GY[ǐÄ8_ 4o1 {n}|[_W(JBhHElS" uKW$z B:=m]1clYwh6 @9NםL„&=c1ר:SWCDy::fG?Y;xԈJgM#c֧yh} %4urV {o̿:"@F^(zDJ rz1[Ν֮ p'QܨrXԤKajGr^'V>qWdm&}`6^ڧAW]_ҡ@0L0$3C%Ɋ]^ xn_$ .<"e@b{^C\ϭ [o)Xm2l˼gPӛfpxdeްHB~\-(Ѽ,|> #kFi=Peã, ;'qXp\?_޿rR:kȑ:!eL>kjv 5}-:U_xO =oqJ SgU-ס?i:ThApd9RH( B{?1;g{To _uH uI~{+ydP-⮘2C7TƌXFCd:<) ~d 9(@؟VFѽIX~C{0'Խr6q|1t󽑅`mB$ iN-W]~(Ec째*{osTmv嘗њi =rPsGz H$O~ʻOma $dd;6t& Xn8@NX+aG>حhB tedRqۉ^Hr oϐ>vo$.|y4#ܾ`M >SeĔb#W8uZZV|`W^.>%\pnp,@38-"',g LRo3=Bn43IWBorqs[oQ>5WGbC YvEi -cH|J~ǹ ښIYo\,%|FGeGF*ltx#?*߇XHW"P@ S7WH# (4%-smWܛ1 HTN&7O># tWu`/tC2ݫV^Q?穻_i> ~_8|wlM̀$$нA%ȷ4cEè9MxT2YR!Щ.$xmݓAF`tsNGӋvKY<\h40bbCᔧQ6 Rs^kV]|JpJ$fˏstի/7QM!v&qu]ƈ:mIڋ4s#9Upfe##q6?b&Yjj {5LEgmp0i3$\b9!ĩV345{Et*TǦ|-=:7e8T z fhsGqEKdXy#Q 11vC pheuڽuHZ'ͫm |Zy%5-v[N{tvEIթJ"@vB"e;ec(!Eq`~3WaUagwp8^`> ޱ#Y.p}dZB2;8~½P"Yea% L H]; &iV}%Sun>X' qeE25  ]_<\K˟|ȝ8͎OgԨ-A5^-Ș]sǥ1/'&ek@Y0JjOoc8oIi D߱B5e䯘#4 <߬=Tn:݅EpEX!}/ߐ$wx)j3o啱U5 ԰ҳ|qɷR*Վ=nGs6Օ!wꆽ{$f+q]nztkcy”.' *Yk4FH'Xw[xgl&DISVOz  ܻ~hf v m8~X;>U )AJB X4jtbUzOy/LS~-b_H M"خcUyϩw!ZYv1MFsPހ2@;ԀMS܃4  0?_8vqiQP^$H0xpnZP΂>ta_0L HgԍDa_yk IG&uCwfP0:Snҏ(;Ň12|}#{,\LttzIYWV/2p8f~rsߐ6Mgr r?j s]1OͻLl_*7hO9{vjihX`Loޮ} Q ɘڅg8~rp^nd۶wI8JmJzUXTC+~4[ܓE٥eՄF# Pށ_!ُ`+/߱v|IN*Y@CSD=.uhL#mdGiG$#ccK,s[WO5\ne;HJ.ap֪q/7X;Ln6  tGB˭nb5 ACD{c\42 B&9.泚I4]u<[xc )5lj>DS߯fA߇^%-=#t:FP`.gd/ac+Lg¶nV??zsqqSdo玂* \ħh<%& ìw\X'ZWY_bw*?@L6{;鴅#|_N ؜a>#h ,uu5qhMoOiDgܣh`&xXkic=-ECJH-2Yt<>3܊(L",Vў 7_O6HBtjQ+gnn:JMlWw N襍yE @3wSDP #5 =mrw Ճ?f0V1Ԣ`'w[5q/н/9m˗J8I_$[?Y+C~VvX1{?`3=G8:*fCBv'Cq{hJ qqIwYf*8#Y= IAft$9cj:!'4ގ-GΤ'T'H% WK)CL^KKώCCgo(/f/45MDPTΓ~0t|i csvm-.ꔏp:8GGU(kX&c:Y!N?+>8slRp(suױo/JcMU%j Z1J;bJ_x=z+_|%aP Z)lp%KK,2_=Z8&*v0R""?V2?q!a+>}e/9gWGY2.ꪑ\%1q:*B9+m{P={~r3KmT4JxKzݒi9W{uPW z7| E}-G4牙Gȼ|Xu!K /g_hg9pC1r.ZPc"iG2y ZhE[:wV- ڜ1"([U0eKlBAb hZMKilUf0zyjwr4".4^PֶvtwGm7cܕ' ̍0 Xlm{aX%1[Yp B' HOR2Q^r\]%7g1<:gO&s|u(ERl6f AS鷘%^,J.ڿjKT>R@+тЦ|g&3xvxu'Wff7-U"t1JyHd.q,V; C $"T+յiث?qQO-P\sia1eZvRuw!JS9|"ᲦZh|*MI.:@jwxKS@C{e9DŽƆռZd}aqf&,x/LӜnars[ 9U'g y3%glcj`("Tz6Bx^_8"GcE)l3H^I؎IZ0rkno܀ԣ -qp}{Yw!C^1XtBOEm'pd1k^ vPx a*; Xnkl<[0:& stNfRw yg7`ƶ۽l'ʪs?:C9s뙟;dQ욤Z7|jF?c. zSH?:c>p'L&|r^K5(oS#4F?3I gѥP ^U6;է7Vh [FCj)h.O գZի& 閄MUcUo.?$_QL uK~aA)p429{ uSAN%}( j=1HF4pQ|/e07A tDR h|> }1K<~~a")}e^HeJ_82$GiN5\nrtdAiSlVjPuR<9r烍V~$g~40ҶKtl,3} j'}h`ӂ Ux-T1q.)V\#XsNd}zbdoEeCv'9^1{l9ӳimj#+OťԥB<%%Ԍ|y-LB!+ fW* o9ċɡq$L͑?f ͰL0vߧB?< QdA߿|(](լ,R%D_@^f48i1D?Q~FeV˵LK/S.77yd_QWQʘLte) ېXh: tkˍZ5\!1$Fǵㅃ 2[\_5ُD 5Hqx04/$̏euw$}Gb%zIqm}38n렢f%j^L"Cǒ - [3d Wk oF RሪW٩|:)/qԛ#}+ 5/!>}eQDM@ *+ȃN16U/+R-9|edX+=S-Vm)0-} Y6Y'oqz9_-+9,c~B=Tn7C,a1o\9f3&r1wc@rh va,7m?oIܯ=O0єG^iN?̌Hg?RqXt 0U-|Ϛp/+AH 'Fr: fL w8L4ʀ1;JނD,3sP@Ͽ!U?b$ov>$=1{q?*Ŗe=U,OVO֎Al7:;FYM,2r.<-&ǎF\EF4q.NIP+D2I9͵~ȣ֓xyC;&e*ߎ K-C#S uh2fC@2h`+V|]^@%QqQ5)^ !U(ɯھ;_$Đ.jų7xm nL;&p;IN0I<:!cK6Ƕ,ԴYvdt3Z1Fޡd|PR8wMuXBWZm)}|[.O\}~O~ծ=y^Ӣ  3$Z_t(I:t_a9S*50KsmS%3 dVrWNt[ T&@sz{1?MM>wk-QMTvқ8?=vكr4=-<=Dݾ>{IjJssD%j- @9TbշΊ$E,lx8@1x|u}]_pQ>uۣRL˷o"`r+n?+1D!AgvkxNNCHCBYUGNYb堤1 vG)ªUCFiSɩ &Fxǩ-Ԟ6=۬7.vyo-CyD]Eᆰ$rK3.%HZKn"\)!N\'+/Q;ME |"VŹ>Jm6K {W8(և/ׯ&SygP'E :+V%=W5À7KcM:}M@@UW\)ɱ&CC;vfE yԸUuX,\Ƅhe:\`rf / -Ey s( 2f+Yꎡc_A'|蘊 *~ 7Sz'KX="bgw92HGs/?nc6pddQ "#)%L FƸ< Bަ|M{[Sjp#{E˳#/؂/ m31xuxE9^BQ{7_,j QOxJMqCלVBDN( AT'ip@;١: gqIX5n1He4DWJ9hÌUޙ8T?Ե'͏\a7dܛ7(K9@s9M̒ٚ6;UR]@AXgadr}k!MoCyDzu0=OȘFAp=}bς[ATyҀ¦i21F$Lf090MTH:2+35ZL[r9_TBG:h&]AS,ޘn]@ݒlY9%"_uhfKOb4&\*',؟΂=YTDw\O>@ Co,,4biDžz-|\IK)˰>\+V. #9UP ]K/+34CrݍwpbϾ?f" M,;&Jذт% ivW\Ik}bB+ &҆ݎ54hbӧq_/a3]tM,SFlOU"x vv>5Z3$޲ENJ1 a`3QxFq ldoJXڧ2&ʍm-3y 7|%IJ/}4z\gxR vmo#iRuNQ4:3>D7hPlMss:yƘ۱ E~^e| L:>"ɴ9vky9t۶)jv6 *F%TL P[Ѷ)>Yv{Mw8g>s j9~-JJnyOƗ  1bfT(Jlf;g4`^6J3gk}ibEn&59I./2\ǐphpNb|9_57\{p`W2v3VbcJAW«֍03N&.Iko_S,LMmԕı<-X Ihub-8J\r+.ĕ.ьپ%S.-p2~VcGQ ¼ش5|C=JVZgDH1f:kr :rǎۑ~4\veT~mQэ:*R?leep*X-p2Q#x ~۪*go;Rؼ;;P!I`dt/1sCcPB5CanbZ2JS˚6ŬDe񢂁 ~?7.J+*BC 0sZam˹b:.cMt"k4=XVOEYB8E?caI%/c^c(??0B|n-, q˧"uXhX ]4^`)x1ߙӲQWZ5,6I9+N6̃ MQm"ouVT_ξG-u(ckRVk#PۖPi&Oihq5N?4*a39oSVY3OՄh9J[N`EkF k-f03?Pr&"n -2SXF<ݚc*Ծ55OhP=j*blݏ\>f@QN"%Qy'Ȋ=*er|t˺^:[zm :͊Dz;^g ~ ]2*z_Ɣ[C3 @R 4U*0Y6> 64A [C)=o 6AÓHZsw K?u֤]rbs,9ֻXޟ)Xr?Nƒ):vS+ԂǷnr GфQq\XՇ;nwKC͖ .sůc-%AV/x& T fele-%#1 /vAtri{-gNSC+ݻ1) f Olp㵛hO}mA A)/88ӗ|vd`0@x$#1{]&tcj& vķfdžu Mf^a5w+Vgz7 j I9TOd!~ƫ#y- ۫|ayX ~cGQ]/X!55cF*_]h:#xMza;%AQ;+:7]uleꓭ) ͌c0ú#ںaW&M8 c#da&L;ON s݅Qs+4Yd%.b. P)/28#!-Bc}jv ^T:y$ Ma^829_8=$fa(и&(9RPw-'´M'~dGs6r0ڬ9UlOذMJn;5bz?hT{1fD +ʑ!gp OW0Wy%|y#Hdx–DhK*gICa;gIb z:(%u::U jU0Zzc_ERNz ‚xB4Mش웵pen;N)ÂG- cjuh]6bR*(H-އܤɏ`Jj|.y&JѰ 8SCvE/; #gzbm8P̧؊ pǎ 4VI^s~0g{)6^Q˄>'R*j>'󯉶KVaL:j#]d|x -qOK\k7.0bQh( \ׇaN$c>J"3ݻf*~ْu(4QwH;dzU럄~&8kxd\VIF+ o 8  u5!z%uĔeHMP~\Kfֻkbǯ3]lM1^֪1__ fw>x]{OwxruVֻƴ`Ҹg[#Waʜbeg|8u&z~1=ĄׇlJt RŹDȈ;,Sͳm=K\(:JPNБ[vh\#$+ _"6?ز=8woM!;"9օpdxAz潇SHdl#3Ё Ix`H:\bFo|ő{#_.k,h7k 5 n%+M% Nxd\R5GJ)CA9"͋w#jVuu׻q&pL7(- Al Fݭ,k;\DKB[ګ%pbtIWURXs@*.,,Q mqܖݚBUK=iQjߞ L@ОbOZߓ֬Cȍǡ% qZҌHF42rKמ˰&ؓptVQ5y]lh2۩u3u e9LLuANq*~YA7k9y϶ؒ_,R_R8`%! njumi0::BY` EIFX3mƂCUvqJv?,(oTPHP>v,"8z9ᣱ{acTlY nj,UZAG6֨ X>CgosOe="w} 0 K#_F$(à9PO=h8b !,L F!%(K>gCN3xsSaܚRXCqz)ͷ/LTW.UTqz6 ]te踜}_6pߘPiO(AQ?m?O zP=:LG`F 'p&"ô=ٻ!oadbAz ꂩZse.%ӥBs+250`{\t;3K1omZ sD&7n#8 }@IQ [*hL4GCOcjvLP4XAE: -%7%YɃF+%"]E]()؅bѰFDP !*Q|t>m̻=. 6~̞_`1c%LGO^.onotL=+k☨͸e)JPoḭcc1q=ʷ"V%2ֽWZ6h~bnVoZ<\\fN>ku&bˈnNknfY+'vNG3-9w8yP7hug'y|H̤mmPǖ77O),36%\ř 8>ЫCs%"D68*AAv$"ӯ ef߷7%NPԱSG)9D7-J#o,rs乨5/t[P :x/bPTx_ߵZ$f^njTlr)m8$w@̈́HTY69=(jRIsvq`Ŵܪz cLɛ2ߚm¥f 5Aeri$nO1Tsݲp^lsFPmMk|r{+̂C4&<$->qYV9Vi8 2eOLG.`8&G楸#^>ȯIA5gYZ7zXZִF! R]ŗXi%9,{yA,*/ maj].҈}Wu>1_M\Z=9';s#x`\D*Td"5SuTx_pxC@x_Da@P9 $OPp:]#Δqp_:vK0|^O`7Ōzc\hLxT =5r v@ww`L{QLpk>rP=E;>zo KFFu.u8'fea,rsSi?͂&lQ,H1".=~7b8+Gȹ#$Q+Fʺe jBj(WAp;9R*85SY |Œh$۱9LIoeRGMz5EOʭ_DIy[.10yD aP_L>hZwFF?eYg\eYwf =^qSl':Т㠘aƴ4Vב?1i#qWnI'|r.>^ԃMNy1 B>sN>Ʀ EM^1JuZQ~ʗqj&nhP2*.5}zO*<?]$8a 7q~(5P'=k54x;HߋWZFF}"zPwv JeZD.~yzܗA"RA6tN6\ vƢT8Gow"P##cg?8눤Ÿ! F"6ht%&!.%n(sYЧÇo({e>Z.W GT{JÅv6(F=(~z>İӰ{YE޿=,inTS-͍xHG"h>='1us鎝|$ RõY\ ] zwMmew$7'.6'MR%lGQ_Wn^?Fa|XuSbK5칚/h.*v[\@BŽ7-z?F D oqʈ5aNKehjDM0 IMN+l=$Tr5!M8n?8ɗei-^ lwb5p.ZλIXg|BIӟ e@tY[56+Z{;2t01)yv8ZފܗMbƬВ&i@gpk䃣xTjnW chpue~C<(-+L[iѩv0Uo{r77~$ "/K@N ߫Ws%S2M t$i &NȐ3;}KIZ4g.72tj̩I*Rp`[mqWh]i4zLaWڲ>}J׎记P#R4U,ɽcB7jZW8dE2~8U9I%EC3]'͞qC= b$*^Eg-!Y?/rzn|-n7x0NlJg yrUN5!:)nS ]}n'5l!I0$ʍ}x 88O,p{^T4(^=xO}(;d„`eCR(߳8vxoN:7 [GVR!TP+&13MC'3 jqo$c5,$.oug_9!r{޴; .j]3q&^ja&I=hp[ KIdEf%`.̵9LzR6Ǖ/E73`GHI9:rdT7꫋ƨ\- <7FUF ad5~* `D?A -:>u*MIVި1C8+# &V nIoMrP.9ny ":)-39 vDȗt:iG<VҀǀ v[=}Ꭾﵓ e}֘hMAѼo ,\yd&V^'-'CƢu@8ߌB`qQퟷ( ''9ZQ) bzF C)/1ST,vz(uzSf%N`?tY+`' P h luYn7uփh2H4-֧C HYM%7'r +R~Q`iO:I@k$vfagH7+\iόQ^ xǵjz9Y򯣶M/_F6kʾ/U hj37_~Ҷ!%ەX?xʧ;fn#,^@uɍD)2Im P%I `a(˔MFA,[@JA'uT1J4|jg$Rd&==U&/<}@\ߑeڌܬp[/]Czm8ki%E&!:W*7c)sbڨ>f=I!N4,IRjt{S385R55@X9$t֫(-0(up06MA HD8Iz#BòC"c\_I&S:h)'CTJI,4/{WbjJ%ahL@;]04CqUܐAg#ZHi+.wo>tY@(Fƶ\jDF7Cf퀴,B$1q@ W$h~#73jӚǽ٫1{ɬF"{ vHBeQӑy asW49k!MFYlWVLe|p}Dd o<"_??( .j܏3U "_=jBXbQr' sk"vP+06H#HqD7Аt>i-A-(=׵jQ2Ţ{C*x6^d 8t R_Yգ?cC׃Qx1(JM2K_HRRe4fGϙMd|ivzJy~Q?)\|A  w[be6d_0^)O3.,f /;ʄ!x[-E+ST=_: oSӍT-vVU|TÃ?ȅ3/)ْK&ozSӛ,?M{2j7ɎvMX@n HԗSb+K]ЂΤ25CH ТYuPH[]UG"ui3C;"[yk><[^m$Ctp/N5H|}K߀ւEۣ0V۸;]׭PS'KS~hR8IC9Fq2P%UгĐ~#IހvYe<ԷLhKގE3[tp-06P`V9ؤ ̱ P! 2V;@' _i %J(b2d ZsөGjDk- mׄcu\?͖1$/0\;1q6P>C:Fr#ׄi:aL}M$am6u04=ٱ!~էE‰#\7Q/-S17LGu`MǓkZhe9HҌ iYFu}MDvqImoE&hJMp}Tz_m4:G&˥ݯPܽq\-nM̤!s_J~OQ: o_3da|xY=),<"jRwu oi[&O*kԏƒ[h㭽/wpx-pGU+ \p3PK"^_奎 pɖ+͘31 '3{s7]'6zt&F+x[`5@1 ojYݜڝ=,o7Cx6\o[գy;r9""&xY67~ omJoJӫ(&妥 Gm?'d E'Ė 8RkbQ|R3^c42C- @1R_GwW_ ;XvewR y/DPۤ ۓ$L%BEal@ tܞg+lW 55tOW,]5q&hc\F"xŅٖt`./Sq=w+a)-Ut e<9]C ? ·x85Qed}-']m/uŘ ?a-%nn:YC}F;fy;5 dX % < 'gޒyҎqB,LFǴ R(Ho>%p hDg3)1Bcl,g v+8%ēGZK[~Nx"[)4񜒸?:|\} X)qܡ<]5l*qFd$1KYomḎpHi$t`kHO4c9Sz1[62_, : @zT#ebI.ruuMGG@JFagKRE2fVDm n3}+/ ]LoYِƱ8#VRE-/Y[g.[ xǒ~U-ttt7UƛDJhrehts"A9Wr 7ibBWm mYo]R-k?=n/+W]ӾnKC$lʏ7H)NAT„?ǘXCtZb _҃?n6q"03.ڨ;wVILF,u跺t϶~ C54#S˵_EZ6xF\ߘ]'n# BRf]M#؇ţ cdc~Zb-n Yf5{i}ZOQdEuOR<qEJZy z#E6Ơ5fe@ȹaI?U&YBpO؁oYjye?LJBQ[{2N#e/O&y~͍ZXMپ-įo[DB GT(dPT# T1!`cěj\5GjPh!5 ,8@ӌ]do&ΕFJ=PiQ>~B,Hp$fCVV>X0AJV04^†T Ef>+jZoHXCa05|hZmF06Ɯ3o}*6u'^unڙxyHgsk8WTQ] CIȈ%Cf|ɉrm[gN1ȅ@؜M1?('4=cBtqJhI |maj4&ޘMMylgiS0$~q7 H/T8^R  M eXP27wɋISAo"Gl#^Rf΂=os8]kܙgxO LNahi3%u47m՚8NdOnԉϔqJrٵrbN&u/t4КyosR{ܳ6ei j8yh4OEhXj:(p)lɑ]4>(%>$S(G]V5dW2"%WUU%lgΘ?:s_{+B 1#%A9 uЫTd=0ڳhS^W85Tl{47hSTXjETaTCgIGs4ݍraJ4#^@$& EU`˵弻Kɦ?qFkgfV#AO=*ai>nncQʛ$<Ɓh+/~dh$ ΃,`)Zl\bWwթ.5FQ/9 2XpM/wH?:^h^E~?p<e-"#GNetu%I =8݉NDqXp?a!3͙}CSQR\yC듽X鬺)8%XMx؄z玄1 pB0~6{5dw*1+!QEMH蝗VL0|pp Tj {;ZiYGHHlGW7<X76\Z$3$fDL=O`Zi8%Wڬ#?:Dn~c1mjEr{X.-Z_6.*[lKk>kR!NB(Sp/S[AoS &> ir_uVp %%A#cNVbrV1d ֭.`&\SWqTM*>aum@9)갚i-Ӫj|=uFR{߉ mEe8yƛr` ,8q2U~5byچHk9 Tv=P3Ij~pRZ]EŻc~0,T y (Lг_-xa% xRfD2 ȬbAy1!,gF$j_$[m6Hkǚy2X SU%9}e{`M`*(%G"X ;;_@L؏<[Y{fe#j\,mŝT\wHҝ 5:E!WG[=7 ̒Izco0`Q! P(cY"Zهz "e2^BY/7.xsή-L՚ ϴɔǕp2 ]AܘK]7#< tRV8ut|[N+J1kcINHPp~_u秏2?DA?j.*юLǷ*mnJ Mϼ`P-Q(`DT,ͦ!A蟹Au9e_Äk)ћ1Yf~qһm4Ʌg6V JsC@at2X vZNciF~(v[iNE+[X ΔCGRq lf%;oˋk6 I5:v`Ĩ`hGN8@ e+] {9yH!Cg]yED^'YVv@<0~%t9-%bmaBЀFa s lLHfvCA&-Nu^9YNGGVD[%ƔaD<\9+=WyUP?A_ 4 Q &m",V^19.G?5B vSX#Ȁ/ڠZO N{ KuI㶺+w|׵k$;+>D1qY:ma̝7nax[h5~Jjӗ2Ta$ۯ_v#uTRP`}ԙK3om5>jq_|,z@ Go63I; y=-\?@U'J^dh kuPƷ! zM!Gܳ )%H6>ge廮l&W;AJ՞ Q KBxl ﳄ3gUiLb,I záXXH;㑻h 1MU+=CSI5tkOB*)ضZ~觧AB^х|F%~ϡ&٦6?!rc(⒰^VZ'=%QI<PVS;dnafA}JuA*%= uSg$!$&FbZ?9Kw lPod3݁XO!8ORyr0$FzqhrĈxp߭Գ5}Bͷ@ ~20UkQ&$ku%c' Gc"DY)3J>nhPhqL/G(>^<06E}|ߠ97{!_`hWQd)Ԏy] E(?rղFA1e ;+fB2h82_Wgm0;&@s~w0 ޵KӬIq.<,ǨlzmW,sH%ޢ`h6=|cu0Q|:08c'3nL'a)v%S'A mꢱ9M ?yq*pISO79K(O(1r$MR3Vo `=3 -Q$W(kg M 6jz+3JM :e8`Xؽ3T3@P ݝ`rںp'o͟ƼN~p%(ԸJ*Fd=殁*͕;:\EheQ@8gӆ̆ AfP[u7Q:B&t&/V:tԌgtm~Qжʲ0·*E/󧳿yLD/X<^d|Dtx471!WҺJdWt;G~ G+-<50Ԝ()X[:&5!&h?=֍E[T1LkQUa@ {J Y0tӧE#ّ5u 9{WEr^{>ޓ<C֑/.s^{V0ˍ(i¸2??ԡin|+PosY Qdo{In= WNِH4[2cWw{RVd'SW`辽u-qnb 7p|#5kg7$*H&}*}a/<{ `0_ɤ.N%*Dvp8!Lq%SJK34'7+,y:o`tv3>9O_,%R Dܭ2^6݂ˣɞ s9pͺF%# Ҏ^`|%:>[)1Dra&y PzF7d;e$d_ywUwd67e/QV%:tl7$!U.Chgx}93GA6Fgȼmn)PS딗ru#=MӘ}+öv1QAC;39=25olJL:Gfw#@C\6ɓMG.ʞt)ZCM=ԈiC=d> |0 6Aj*dj) ^6YZf٥rܛ<+j%ㄷ(*z֖|{G!g8  ,Nd jU `:`ϞMKhs?(7k)oID/0g-;0?o%ZpdrScjyg8ѯz۪ve},/~TA. C(,qm ]kyVwV]2,R>V5fn +3gWdt llwIR+TKFPC%ўģ`3C ,|rX LcN%2qn/`iV@{1y"1?)wk_ʽb'Or.@OKAH2y9s/=|a?6BT0|Uvc,/ewIW)^"EyՈ.ǞE'{O*vG2)q(CJ ('`Ե̻H%*ٖtrEj>,m2(i H*΀.p1nL*`Iˍt{P Ё`IkKϠ}E1"2o\ ]Э' BU옱O &I6 ڕq Sc.u{DKC"!&=2-qS)ۙes}Id m_c47ja^Ko$RGϓC,GQX_a"DE<~` !D0q :l Bi녷5蘢‹eZɜG> Q9 LPeHQE.R?Ť$8M^S*umK)xLsUQL/t@Q`-\& ӢHOrb:1Ռ0+/ذR)}N\:&#mmܥ"a`W#) _qճi.PE&= 9N5ေUj_݄@ӧﻧy~oPZ2(^܌]W ń@rx)-zNS, \U U{̲{'fX> ~T`z}j&cpCNťM!8\{*۰bP]j{\ Pá&ѸMٌSs>n[ ;Xں2zM)SVlDZȣ>Bg&¨Q!=(Z2O!Y2RtxMJqqGǽnM[+?N1|[<%#$6Pd ͌={!>Bk䂹0`MȎTU*cpNz1xWmhsZ( ]ꪛTtPRW7Ph7V.rx"~e,{N GI A}e ɧy*Ǚߍ5r+@bOH3V ײ7s#;q|6uMNW:XEC8Q]0T EEʨzKڭi-=Lg _7Qcd Rm7pT(\8j׀7ߑPn5#,@h[uE]k-k~ғ9,9ũ'BuĘ1[mg\!/NA$kI!;)5f>Fǚm'&ge0ՅE*nĶoԩ7ZU $th_9Y#.&y{Dv']%a0`VCnUUen[]}RrYHo m>u6aŠH|@:nF:c;;Ul1M ; SEE30m83W8YzpT\'wt%}t1X4F2 [GI'_J%S/U:LHr$}Dȥϻo%ZOC5+:,7L/%Z >07G##8o9 ҚA:W6T/[`j:*Ȁv?lb |Vxֽ5qzYu9:=32\kko 2 Gz-^FW%Mp)V8W==O2 $^,>sgM8)ckEǙ)\i39&ωi[Z"Xo| ԃ;s?_'ս DPBl}uBFE|ttR~m{ - z s|̠/ak)id J!$x$fʍ,;Ta:'Q_@ MOz |@vSpTڔfnĞ5'b&Sx4?7BZ0f0FL0];B i^e*x(ƄSv7ZơeN%EGFZ!Lo0LJF6!>RC2)H=h2B٘:[yf&h>#*=Q>$;R3c+Ah=l)KC &i;RBQ=QòmI~ܬزJ+ o0Pu6D }:V FP\^~C?Ӷ5r㲦cbe\ a |#AY`D;1;b1'u%<&<w揮k|B