SQLite format 3@  .0:  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 ddt4N~55 %hmJOX.,ghNoVwY#bwH쎓mzJJ-gϡ ) /h%ި0B[}}xq (? ыЕn8:*Q~aesNtlǷ|Ek "9P0{ꋾc=ehӛܹ2ܐX8p+_N1@Xʕ6XX0txGMFJ8\ ׈m7e`0_{zPK 7!(/D87xTT\'ŤݧPmClӔhC&.?2%T^&2Jvm>j8+>UK,EoޙRB +d(Ԉ.elOe|X&U0݌ @On#=/ʸ9pHe.~;|*zO/HظY@1EoqQ eOIxGVty ۉ4(4Fװ>Xt2WD63:i %9W@j׹oUre |PCH'S(;g./+ƄݔfBMU|8f/Y )cP-8>G3dD/j6,)~(_AIu%}|=i5`F"jG抭g>LPl<{3rk,Wߴ^x h?!v_rf 7݇V&s<@Mڞ_ϰcP@u1]K2ؙpmδ ,nKQZ]6;(Yz1~j/Sx嘅8]xzDO纆p4_>Ƌ3-E, 7xSkmd!OJbHs"rPϘ%6 h׎ Nh\6E4|kabB}KOT-_,qvpN{%{f?<[, www>2i 'JV ح߆pC]B.ft$3x+5 q?`ᰙ?yz%`&˺vG5#^g|Iokaٳ yWߥ=:BP_ouo Q.?uiPY-᧖NJu`c!jR8sJvݲw<# _LY7y+Ϥc+ί_Zp(r=l:cEzPGJ%;.G8C92Sv|~Q²yzXz wS ` Y_cyo.COT>`yx]Xֈouoi@ѬroYMyk)g"2)E~7oZ{( _2: s#{sM`kf;wcx.x!kR2]qgZfLmt%jzt|mh|LةBIaG,&~UUC~i)g; pI>0X sYϟ4Is>G6}K!I'e?O=fLG?뙊@Л;"nYg$韢'M ^V0k&Bήfx.^1vDمÁZy~#@bvJ|,|LA]XOsM~`y81G2U/u)GQrΊңͤ=&^b<r5ց!l>]zB6l7e$_FA,}(wfWtaN]=$ֱQ-ӉQx=kķt¹X:\o%xn)bg B _$0"1Jqb?k^4Tut0uXA^ 4cHGEq{]Ozgt9yڻ98 lV鏶ZhꋌRF\Aʟjhp Fc~r|sÆ4Hr$5 O.WF˹qRo*r#r`"e4B%Rd nV6g:Nh~@ GAQNaFȢ8!M5 aww\%5NMa: F`9{mǴTG3eXl$uP6L}*D$G323B>_Ъp5թtd|PdK_ֿӻ##&9,<! I+3]h*DXEr#] wSgvbt9xNr]hccZg ꕿhh30|DCK&{8p@qsr) )WDҨ#FCQwq&aʵ/dk_,.>'BA2EN4*1 5f7*-T5І =mJ22HyQ96|$ӧ` = LmO*Lp+`V}nx߱'CY!Mf`De.c@g&zOp^t5[ʧAנ-> ؋#޴oOJr#<9~Sy 0L鳘l l%y4AIy 9`h/3X+EŜEʱf4~7DtksK <եdc!5!αL Ey\SS쩏Y-p&R  ضП3ЮJN9U֒bKn$ HV}g'xpV'yB6R(uE)yzQr[4U9U:{<ɆdVr]G5v|UοoQ"Q1G i܆[ 꿁z")H7qπ!͑sxyWП3;U1Cy¯H|ЛR'ɓ_%s!?}QYB?b?ܠ_3=/%&B*,iɀO3ڒC-ۭ!&$hZLq7؊%nl݁vy1 pm#xǂ 7׋Q,dRtA/gve[̳N4љXζ\M#F2+Lxd6 tZ{Ƙ"+|fV;1;bd5$ۼ4nkr c"s`͟8HaMvi8 /WnS ܣ l+Ou4d%xBŊԷ3;qeK,Y~[z޲DZ_8{-7Sjglqr>D~^z06}de23u{b|ߏ@@kDCB'AkTr2@zsڇRv}vS;'-g;j@$GGWX="U֕a\C(ޛf= VM6">94r9guȧŶI2A࿐կx6 *twŵ*x)b$ $xdbI%L ~vq{ٟUY?1+Y?A;ܗgaA }GR6S?f'"RR4oK}'|a$NKZz J$wBV@Ƹ۹'8#5}287g'f.>-zoa xW|F>'N)*կiu5dZ 1bOgYZ7zXZִF! o]ŗXi%B:b.Hռ*:S "K(e]ўJR A$ݢ?L'C#8}vzăb5 <;\!b MPFT8e{bHc?u[x$+1ʩᇻ>'S"ȉ0k-kJ۽zN(s݆ &544:qZ.Lʩzڻ3q \xڹOɍ%m$j}JsE;n R-3uU7 <ona8g?p w2ZG4fF,e9Ĉn+Ub.ABҤY ,T#R7c+%J6xnL>YP iԗ]C]Ē 3;N&_F6fa2 uǍ _OWO/ұM+q17gZZb{mФՄacf͙Sz\- 7@|*vQgIcBgtRofANz@uU 6dsQqq]+&74׀u]q\ ^vbH3'7-ʛ-SC?޲T>Ny<.4FCo)}k(R ;06mvIR6qQ&Smr:P\2Xb=(\^ξ~q504B>]fQbe-ߠQ)u>s;cvS|[;fM(=PR*߼R35iu~T2eJЯZs!jF 5 o{GM ~?"[]Z"`щCbed9s68&zhR[t}-ppz_wFhA-tlѹ_֢7 <~|G8EW2!캽1A]2>(6w)Ey b$<G/[U.І&gq 8)ۦ5ޑ!xGՑo7vUt6 {rYR!4L^#aTNbr:|ph&CY(:V!*bog6MjqȎ0l@~ ZGhBj/ag/~xM ‰UJ$ˤtX{!aLG,+CjਙH^?bȮ}Yv6iMSd-/UNU˻ar;-{^n۽ ٓ%n4֭O8qaR)YyҺ[Snh8&4 (OgnU+rH}ݷ~}NLD5E;qaıJ#qyNZ@/qNԄlԍmP邂{k x&o"uh nZ8{Y2,MYֲ1ŪYvM,I}Z&2@9uʯSclzFP͔jQVOF`E\^l-&Qkp Gڣ0F-о8Ŭ4h& 5nZ y ž'Hioڍ':^n2/2Y&$ND%Q 0 lRxQ{nK7R /N)cU(Rix׬Y,+!#%7BPxvW6]$42pBYJ1n.o{%N>ָ-2ʧpqudxʏ\M*TCQ>ӑ |@VԠga5/ޛT@ /? &fezuBû U"6``f)O<}vXJ̗% ۸tݗs]h=?]KJl(?<#!r-(`ȍ'#RYETWRifzj?_]T?,Q|Qg8|e~RPװ'Rs*;I'،ޅ<~= Ha mcUlRm^5z$|7.3`њ׊Mѵ `%E̕H1T 9,![*jKHʭ$׻raa ,8oz%/qȉ!x6s@-U&]m01d\4{Oo:2ɧU$E' =X~0#RchU"tND:9xׁ7, |J^l&=QLyX AEo@$&zSmߞ Aqو"4\D=%ZL٩f6Xia!O&?! ^jI# RT1},F,AJ?3pAq8^@݃uRb8,.oTe0,}W׆ ݛky}r2ꌙz"  $+tDWzZ|@ؙ0Jku'CnEWo.jE|JMk 4.Wuhڇ'GR"sjp>D#lviFFOF3Ɵј>Dd# K &:yG`P >H2uE>mfQAͺW"XgYؾAYZy+yI 5VbEn|¨[Vrɴ3ˎ07{/1 gz ṩ>Z]o`5:A>u=,pHw#n{} hFg34-$Xx KΪ/N,]}<w`Ƴ L!pʫaQOGQ26#:m0 vfj{#"'>\ͻJZ;5ҨRD35|ezR/Z `Hخľ(#i)%Zg|$dN֊+4Z&mW}ϑ~u *'v)E-Z:5VdՏԱIH0mbEGPzg7T.!7/Po n5m'$,2tɐDt+UCxUAQ'z?b;|"^gǢћ{+uVEP x# nqn?IDWr'ɺU|(_ Ke\*>NN /8v ] J2j%=Z6GHtyj3eO>VԞhb(pCWEڱ^J#Dz_R^meu:?ttZDb 6:(Y{q͘ʖJ <(TCdp.p_ȤnKMb* Lnڬ^G3G1!#d]rI%?!/sL=c;wCsbt5ޘx[)%++ @qxj{4vDb &y7 ίio6)@Ny"*Yq)M{^x[:$[nfá[cW1hzlœ)E!ț."z͓4C9BYg7S2ZOs} 9e*\:LEQd.L,'@ F/(B2BXj\vOP `Lّy[Rh'Ul[,7Nk0qG0=>x!%+Ӂ;Pqd~Its\qiKUPDs@+9 @sb!u$-Phl(OUao&"fnH5,D <*6aI9ҸGn;UqZNeO E42uκmO#B(ױŜt| dhs3Rdu*yVÞ]v]w}.>_>50TPs|gY(lۍ<,nd%H/2GҘzzG[ cF0_-#mp^XYMV9LEu?csPV7_Xĸ ^L>TScڼr=٫p1PO 1:t V(id|;R{g}ߑf}phm i P}JU =~9EﶛW[L$f'.u[05&[-"&Jr4=ز yM,CS>ȬfMv gB&KOSJ{tpYsy,K^dN+m~߭\+-!S\ nW7 +d6FBA x40L+TW&'3+r?Z|wOYb3 z^4 bi ysT~yp쪿 D4ڜmKJ2~<-ISboo{T]xq/ff`d҆`pcgcSy()3$IBcv~ދဧ7Iy "5.\'6hR?wv'&$Q &.+S&̳u4SCc[93FʶnrWD 0TghrYD<η7xCoƽxE`C|H|D]cH ZWMG JQ+qD7Je@o4L3xfj2~mCUޱL24PTY&Fqkԁ/cHd? 7^:D,KifK i-/a͠:X( }x%Y<.U6A8M\Lq+b0^\짜jdzRUjh \W暴InQ{}_$㾁蚱S!a+Iv̰.¦Rffy@F絾P yt7#\C i쾏bbe.(X6嫱v;+!u zug}҉qf$#vGe&ŝ$wh~ǵ#hmwDFCp{E[*unB8 .=p3n!IǫP(g wSńJ')t-0O<vէ_EX"կ'︘UHriHPJa4  OL\6[2OT~t2"J#r3_'1IϿrH}F^`@wTsTxE0k\X(ܫBF#H1IMD$Į Y|BG4Q=/7>7^x%~>4:n vPvF~KCPj*Xk {{[GE)NLx۲ QI!cXaEUj~Z=k}>aDPx%On~[Oݠj %+EvMm~[Wqkk[?jIFM_O Qܕrʭ[Xro>z\m0HY)M 0 gsAb=o9.:WcA~}U^u?S ~ K\NEN.A3AyCوU ).䭕D7Y/Ƙ}hyhYQ%ˡ=Ay%M`kEQl9h]6(l8#xlVhnFlW#vSVAw5X9"N87߳>a = [[ K7wOX+6n~ =>Nsrq:Tn x}Wd铙Od/ q{wWחT5Xh`p:w=8āӄs2fļ *:Asn,?!^׿33;=.c{0= ᬺR~kh\G tۄgX3,PzަTCQO>h{aB&VS6!Mz蹫–5ZFc);׼rط-#c|] 3}^`nΐs1P8f)rDw6g] KHdܸ]ᯃ&Sb8ל~Yq&d q]6yWBvK$Y8;|r>zHy+ V~n3W*qRG5¹Iu~< I\$"x=+&9 fezw|z+H 1/eóҚ# Nkb5h!sꌟ怜_ma g!\NSnđDy2&*#nD؀%|Ln3 YEA`MWOI7XQ.V=W#1$jk.ORa,*NWvr{#7Yl:^bU; +DÔ /@+!QBZtUE Y0)xזX]>„QFe5wlP͞| q4 /f8obyA ½ɅE qZᰠDe48庖`>$/1 량}?6 p)8|┡N~1߆N>K$;'&!N.;mT'oA(JڗqdvYZVI%ȻҀ0; 0u^ 3(2=$ev N(Nֱ#|5UFHKO_[ZKR͋'6 S%u]]v,U!m[C*gV i|l7RtE`ُVAeR9zU2oBHZaz0J>qWnBfܷmne76,2^qȁ̝0~\XmlFSq?~,v8[6XHE"wfa4>k :;Br g p]q%҂Va lPg;ex ܟrF7˥"'Bi=Ɗkqg,Jњ۸t&U/N P[[?w$[ΓGkQz^ )6:GjCN=llIF/߸9:1:AKiѽDyy?dֵWظqo52jRDwFwf : T_1vM%Pn 0eha@@Y4]Y["7;XX=h䚪 ?gNdϔ{й0v4/,~c^T{9X2TD, V(S'5"^Ljxj4dt DXvzϬdc[u;RY#୨Yb"=˵}~W3csp*~kDϙ:-4tiD4zՏAdl ϭWkKf9/Vf^;~JgCS qBl)(qWyޕ3'?ͧ撣IA;SR|ix2lħ$$H pRnBTc*?yB.Sbގ̟D+/9+$7(ȠAğd<`[۪  dbzoAu/Nmhpxh=jY%*]iElr a0vQ#L'Ob@N BS'G8 hTqS 14PK<@I'%y,7bfΎb~u\e]۽`̈́OkaXbO4(o.aGc;Aqhy͋l-i+|1 w7+hv!.xvb6 \F礆TjrOܢӅ}HILkT2sNFCr&q{R@bZJطvnkBÉ"rZŐQHKyu (Ȏa(u ::ͭ3J =Eb~@8 %Y+r*0@5qwP;mN1C!Y^٩֞4KHr:V } *J\^T.uÅ2.&5` 9 X:m`%%ψ 0Ѳ Tvݞ`qxur !B7kzeW1*$ڛ(<B zM@9)^F,3 ДTmͲ 3d${z?R/]"*,ƒ9xҟձ3?9پB;:Z=J]}{;G:VtwN@*T^G>i)a$!cLTD/[I&zCT= vkH5.Mm|]oBXM86?A7u0M>qٖ{5f}+t_¡ghr\U?J΁tB.{yI"ƐQ$B(Y^9+ł=$caVFAw(EҦx4ުbXlf~pf]h3iH]Ұ~Ro\# #>YK lt0!kN/6Bp8xt"<7|ٛCT˦N_=F(Tld(oc ؽt/|Xr^X!}|ʸ]Ȓsny[c:d_ gz%]>F6xml͔sMEܤ#-*n'0qMwfI±#H}nfgn쥺F c@faps&$fir7_EiQ˦LUN3YkL\kYN^+2 Y)">V_VV7/ol=yg,UKgLKZ4P9~vvd< QϮo'zviւAYU#<2Xr$ \l<9}K.R6?1OEGGl] D@Lr<Ș}#:ۖ)uz#b_4O*բb?e6G5m2.k07@l"7&Lr8R%t0[Kw] 0M1{ɪhHE&ī()0ܴ&VV>Nr]ҷktJEƩus5?Xh֐꺙+_@{٩TQIfۭCr[]3V[A̾"L-.E9Nod3i\-V=c&jdY _tĨp7W BxI0jJ/WibG߬^h h7&^r lx↾[Q;l8V'9fe[n{}'Z⨶W[,=U9N5'UD쪥,Vj6a@n`xVœ/*=YK˚h,Pg i-S)Tg{:QsNj곫T >o8KT?Qџ{PuWI v%?L?`޽pĭPOD<1ɿ 16SNЛ Fq& }ɘtN \2u$O sc%&!:y::-L 9cI\2_Ҙ>iH;dH1ړ\\*41ޱk+m{/3a ~HxA溏 v clQQWQf#ԳD+U`YPa҄ +6ɩw5:^tZ4 F-5x 5]nVL#`m|[NŲ)Q/h\,h%S 14}Dz>ci#R(s_~//K]~FW¿)Dx'`]H ;`}UHB U~%Md ɮj^ҕ"&~81jˆ'䃋t(Z7u!)ԫ$̃[v9SQG]ch;E0Zs/6!X]Sp%-¾?`'uYE|b3#phoz|Z][&ZۻLXZbrȚCl"Hwi*BPvarدd斐Oǃ\ͣ'j=F_%b0Ψ[dngyHTnRf”Z髲&'8\ԎVRseIjnAÅ%zyu(!h-᪣|}oF:[&=I@YֲX1p.~saѢгݝ:~}J@hX }gߌ^$mm Qy5|T !.>%t#JE0W>ֈ@t!d򌷿!htѿBdO?(L~#ׁ4 i&szyFK=$]ІQADx^`}?mDˆ~ d=N#@~X`S4X|ҁD1\TF@2]9oUDHvL`3T5K4`{= `3K*Ƽ/p]`@ں>hcb;/cE:FWd|VfD^MgA9ͬoޟ7Q"._q6AE;;Etof/ cOY`bᚓhyfS ((JcTnjL1޻q;gJKv*N3 S壬^fl. y-wy=V̞3K!#<.d(iő~Rr@H-HwPK~_DM_A)''ab?-$V5<-ʹܸ(8T(?gE&=ބXj}]U/#H./Nɤy`gklN6XjVlv8 !LKh T>='s;OLX@CmoZk[,b/7 $t'M 75>qJdxʚ@!ݐJS>Xr$vc3䮁S\^UIS{=yKx9ën >0`d:d~r{P]fjCUUT_PaYE`G%Kf.Æb5ׅ֙¦M& c}Tsh[|B??(?ˮ{YjddpiWo! t!DcjJ۾n{ Hdqzn켥ZDP1xޯ2ȣpM|_ol )5{LE3CN]^$-r-ؓ2J:y۟(ڢTOJePWvr✳!CM#.;嫂~99w) /ɷDI(GA#(^VpJiU8ۙoxLR{0"6O?0H,'A .ep8!<Q=790ĜLBCo9Kx&K -DA ~{)J}˳>_f$ O(T]ŞL.EQšo CpcQڔMk({su.Z$Yμ#P4 mgT/t[ΚCk!XK_uӉBK_皐! ӿlBJsLL+l7ܓ>UW B`O$.M8J<ތ8D!r(*OEhNƄl9 6gp ` 7,&QR+N0PLӛp3WĐ,&z%[CǷΖ6]%"P+ӶooQrYMuֻL XƶN)3}+2RMR`q+q '@ 3rIQȻx7fp[l n7NfԎODDRJ"Q'H@ىӅV:DNT:[Tٍ 2C:PuH?H YѮѱwm -T{V:P^FS ͧ3G<y|3x>^p:9E}}{ރ+^?wW%"*oEta}Z^L$vuo:@\njË ܈qRTU6nyN]c>&°#įY{TȬum.# ]!؞ߛS {/D q&UL$ mLH3_1 A-tH[+u<9znW5i\JBAia<Fz2_YAG7/cyIfopӼv:{5(%ST5TiO\Li\L80p%aofUS)FMЇzfd@|/]:CL7Yl1<_F5NcKL`(cF CA`?m|&%1!$` ]BA#d ;OVR߹N13BҖ~N>鰡0Eb{~Z1dsÃ|7 $kQn-;1MnX"ъin/$:lpγ.kZ~V|PL-SL4dkZjS .9b(C<uZYs__m3KCuU6SXt[dӑ+yP'oAAF #g|VwOSN~&)j/ִ wΒx+bryX py-n6Ga+̀,@~z-wdnӤRw-K8k4j8:E;䠉JYMUdG ah+@9^2b9o. QIӥX .1Y^7"sl0*$6}EbVVAbnAm.ϸwry @ɝ/?3V3P%rd2IKƹSŕV5Sg |Y!x}y`x[ijStVzM*%8'[T:'pI0t_tS4`t.OJy$JWWЛqNt/.U= ;)Kcފz~rvxXK M군 Okީ%bb*F2/ *ꠅk^f*0':Suy&Wŋs^[hx^I f9f~D[xc꠾Y&oiG N$3.%`ȊMbƳImC/:Qrȋ/{{6]{u'Ru7Lq7n֚U%aLkKɄ5GW\!7XDCX.hMԼ3+K[K0͓AͱjP:2@tԞvX5WBNRJKaS޵s j*-Ũ@~%h K?l$uR]y0Ph'9e.#ULUMnЗ`te`0*ԅq_xi|Kax$v =3kxw.BumkU[jl-[@kr:4+r&F#<bq u- &qFB_|!55 nke 7u:PGfBz[ٹ5^g1ܤp).q)p4`7MK J=b8zNFdXbpfx'Ad0Mksy l# UK%ĢHz슪B8G+S ]0O"^%Ҍ_vOSaK'2D-^w;N]B?#El \mhkdV'JbO. h`kLZ _A )nÐ.TRTXyrayH/(1澊VČ {禒Gyy6mC{,^(jJuׂO=[Ct ꞇgTvL͍ETV|?gh h9]KOAIt0Dv}EϨHr2'cRts-Ř~Ţ'9!J 3sY8ofZPv\G.8. =}@8ED4Et'먏 cye dvOH%z2p@#0kV~JvdJ6vukse}aRsbSP&Ml?G~Q`Ou@v2 T3I\[(bȄf[bQhC:YВ3WݻZ9BT%[5Z-r5r)Xkhy3xEN| ${|5{iDcC =p#9wp݂]Y=vKASVZޥ aeNbTÛZsW >[}6Ovfசr%q-]N:`̪`L!tkCmKZZ0+АnCr Ri`@sa]gkQhݧdVJ_q0C/?o|a[#ctqTÌC~ISv!ɂfogFs % UBq:NQuc&A'"6M@Y%F;KϹvRrR0ckVjN1.C@٠.S!a,꺆CC|4U{c+,Ĭk%11f+.?. ϵRХsަXbmP < JchK\C>JUV2Nfkg5NF3,KZiҿs 伋RԲ!X2Hx }~UfWL]Hߨ;-7|jP A N2}5!%]}Z+ UA$EKϏuoFax٭4o#7y?>/.bceEiŐ\bktI 7Q6OGRp6 ;Pg@ M+EU*T1og8:>)e?; 8buJNg@*}Wo? zh[CGOs^vy8^r'PfSdE`7Tż wmLޟCADzYe]3ݖkmf_ރ !qt}ZhH^+j,yCdRpAyrDX9xR ize{ ,P#Ts8(20SAdqƛm D/R؋xP[KmEg4ve^m ssIҍo =0ڷ gz?q;R$j vj<+y eEY2T5>q*8& aMtyWp">5w2N\n_SPlTw*;tZn=\s|Jl0GI/T =ˏGzD jђ0 E7L*lSbU ҿ~Iw(k3auݮ{A:6H|]?Xt$SpB#&^`^RAQ)(MY@\]ur<9>z!2p;HIM^dgY P^o2etg?E?eȒWH](fږO6 #…N>~L+}iYFtRyr~3{Dt΂Q:)S\_1(V]-VBd{3av]UeBoOa׍CN,y.I8wM+bq;LZWjApwNu!jڿyLG: |І?펬8qA"6F`rʠG"IJN+@CX̺ [AMn| ¤*~+alc.>hDXwC%dW_ %(^ x~Nr\ޔPH@g'(t^e6F3LY?k qc걃gl?޼Vk3kR? ]⺜EG%IK Ŋ߀irödbJ󩧷9ƭ X2i'K9)awP"9H11Zͭ`ۡpf)-.r%lB$Kל~ע4ֻq .> |e3bXv8]i1OV2.ʲyإGB𸃸Fj{>=S>I(|rEO82{Ny7tiWלŒ UǜDП X+tq7o\]w+2EBB-n"O7\CTvuی=&?#f`He`O]E/Np ߩ$$[$b[%Y*Ɇj=s$y0wpEW.kr(#q ٩[o]E +j}"- wx5 FԨ{Z p|?BY G) Q{Ol u,m=M|UJμcDqV]B}^pbX@ (чu910=NlA^EiIb=z<ҧ 2JAÔIG81G<_Zu^RVtf[c=zh1fw|+7){(7D8(3)k<73%$w;x/7 Zf ?N8@]znJrm13M ]V)=*>*ֈ 98b0 'ѱk ƾ%%5RܔbP}5 i`>Cb}Zhmjw(:іKe%2pB!&G\CaH{Ea1)/^?;G(붥 UBƞ]ftS&anI)L.=7a G ]i\<gI8 0Y2myrt,?c,-3ᖜدSi#&_}IO[ cv:.#JUNg/Y͌F)e?@jŕ3rG"_C6v'0VR C΃:`c%6I*W)4 p1DM~==z*&X*8>ko(Ŋ#%.:Ec[v'Sm|۶ x4{sq]t5 涒KY8YŸ.;Zc {mM2=Rũ=U,7}vqcI<T gf)C#ý2# ={f@BHs ,A+yD"_K-+\OU lhmJXU9` yzrpa.mA ϗt2wB.xw"SOv$nh76>Qaf v>+NU6S50mQ1)`qWKԖPzK ~,dv/Kag{8ABf6YZm,cE=A@MK0=xa9CGCMY:Tݭyi)dv=W&4yufZls >~G م8 CF=0)!47@*nqh~?x|ÃUkK Bp  7#<DjO%ǃf1@:K>~1h6IqRYI ;x[R(k3&Yt7h}v!Xq/815Ζ)[Ip*2;m@.riRCb,ΏƑk0[f!zBgS"6ŵR!98%TVNCcnyf½~D9t~!T8,r_5:] [1m8e(zID {;k13GcÔP J@lf΢(Q ª^;9m 0'3>ɝ66g ؁ 4E؃8k |UЯ@I,ueAٹ߱EC|y*cAv= Y+KѦYcW2j zoq8YFˋo~] Hf-MYK`QrH6DuDQ'Fu'rvg?Ťܺ6{l_r2NY d\VW nOԩ\1p܉VrDW6mZ$] +vC-(Z'3Ef$Gy.L~