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  -t|$< ] Graph_Saturation:threads=4elapsed=32.494cpu=86.976gc=2.3567zXZִF! w]ŗXiɟH)0%oc 3FߌZӺk3s4IM5ȲZq%[xPDFe-@{P*C{]Px5Ϻ +uŢ#G)f8 B˕[I#% j NzmEZa M+.Zbf|9 ŋ孝7b߹pwxyj~1כ+DiLp b/Yf!|'ǓI^&lKT^BZ7 TXe?:"˭n6˟o}EL7 pf= !f@` Vr,:ؼo,FAo[`\W;cT*ҽq(HvSMd"1TMӓ5ǔnzcu%QٹET%[NoTV44Pz{yNWe9:3\A}H~<,儐,e$Kv~^]j's 4~}=쵰%E]T - Graph_Saturation  1<\z:mُD2FHԘo;oޤzA*KV jL׾Y: E@U*x)@[tdd+Ry;%0pmXcg&ܣڴ+\4vBL'S Z9MjzM•#-xb`Q'lg 4Jf 0rOzvgY<5E8~ی~<а-ʷrr*KT"zafc bw=ZDE0q1ToW2Yu}DI{׵*>.AgDB܁k#f}p.=Q| f^x 29. ñE,Msa[kMdύ)45yl' r^iM`j`5ms4k,>dDiB\&P}>2B'?4HM_-/|LZ4H\כ ࿸}~]gT\B DD??}e4˝(;ovL智\;tH: !29&Ar:$)#QZ"1O ӑF:!nI rC;L(F"1OKc+kGӠ8"g@sG?g ;JktA2=VCX64FRt^Zܢ-yQ.<2%BCL&J5UVQi̅kc/񟉡Gp[ 9p1"P$g/|AK1іb_薿͔e,H"1EՖGg6,^A мtVjM;OF#f NqS;°/ݫ  =ѯ/ D*DMnm 03ȽV;%{-O5D"8wmh۴cCF:o;[YyXmaM|F;WɂYP1yfK3skYPYϫ/Ńt@eSE*ѲLuyV jQsXģjQID)[^JK*` f{Ţg"FRVΤZď9 tψ9ܿ#ry)qf~sCe?>Qf»0LT*i tl h?'J̒ ӈvg߆(O:} C^cw4~cuLAh ?9ۯZ/R!B *_6s Kgi!` fٿ*Y'ѯrWMhg:݃Qz)R}&o=f]gbJRZƾsw*4ؚ3UAWiG/83{Ѱ`7mNP8vNJ<)5ʼ;C{{@S34VX$UV(CfGõNA`ENhD4ghJ׏ڸ6B4yu0lHUvcScX-lZ'z&-~$ a[Ze:Wy?9`$hHߪơH<|ЏMJB rI݋f&V+|PMm 1_aeh#"l/`wOR 7jIRhag/+EQ Ad6VbDM &Oؾp7kT0 ԽA ~jѶ&`sg'5swM  {DӔ@3q99lյp8r1u1IY|]'a2C1(y t`ΒYM+v9kw~tOY倊7%%`"80[[աH)h\lj&Ц㯈~0/ipaL'\/  \W횋) |%U8>!h|wgJېZ)"ʅߣ@FIn! 1dnyل,7On1H?3 Q5V1$i]|T WRn~4ށZd:AHi9X"`(6\SyJ!_ T"xl^5?UT_<,{)fQo (?!WizÿB[=@> hԦ~ iGA 8 F KrHo'1 A4)G "0Q09;,0EFJw $;`G"ݯpz.Xqh0bd˶ X]y/;6ܒMGf sM/9pbc^t*!t1͘24@}Qn|;:x %$_5}hWɍD|/lf/>6x= .vw(&w7=Hk3R?_(1_mc@aL_>Q뜁5+U%F'1)k6r+58j1p(݄Iu^ʢS8jCpk| 92Q]@P==` >F6PeUs0Ja2M'L?'gFIMPmD|=Nӝa^Pj˂e;B- SK=fgzpD;Y 秢Ɏ%sŅNآ3,YN9}0M=3tq09nփ;zsӱJUڽަJ#'a(zz2zMdWwU݂fBfoF50C;e1Mz"&Δxh4^>EwN7FMηt]gu?0(!DqS a|BѮkF"%+,rH(TwA;шXqZ4 0=9mhk!CUtkFrɜS׀ڢ۝JR2Jv<' 4JA `C]J ZT3{TsLr?3fjFfjtb#{!a$H1I5{ t$K4| k9G篘1w}})Y3J{;z?j=OMZ҄`ZЊ]Pdަ6M)xVrR5Vn/dnkYO̵8SBOJkD"$ K@j$Bf*}+lӜGPw{N;$)Z*xbL5DC* iz+Z$fi>="lFص0[+!nHnuѤ ]G+>0Ԍcڣ_ARdw ̠1&4 /RDg8jcɻV&XcՑD$\x„w ![zaw\{bL$qG\="M[h3Ö .&c5R8gY"ཛE_'T k֐O MxUNmtG1kO bD UBgekЦ$^}(jc1.+bU3\V#rۀypۂ5o1qsƚBi38JH -}2,MaplV;axщ]9s!]c,!FٮJ[QWz ys 0576qތp~lFV#! ~n&7/~l*̷$snvel~\,Nx f##& ;گ;XL-(1]=lсDyW g`r+Ӱ/#&Kjq \ӏ}}}ǜ]E#JX۝aWBcq,Zk[i ŚB΀8v<|gn Yh8@ U"w'X4 %t]+٥A=P[lf>Jypk3U`&<Gz))UN޵^i7kNhBϜ`hLY%zA\f( Uu?yixh( PƄ??0MDGe$W%g(u wc;Htn&WqC/s2AҚ=j:lte׍zjo|UR,, R!BM߻<ұ/=y{`0"3 Rp_6{mjl17{<nR+{!4>)/)*6jPu4H| c-+^c޿L|E%U|tV"ю̀DF.>kWra76Db!bCG!}H0)KYl[So*5i,#ŴGV^ RK0@9ȲЇ[3 {#67/r!j(K)m^paNߨj; CZqUx-vS)X7H=nhvFQ3#Fк;92T6No<:AיN|D!8=Cd~hER_qlca$ܲ@tb?dnb3"[0y =EDZ&H,o?Y'OFJ7H.f[zS􁪚 4bTXUiL9[<ʢO`dhEX /STƒޕg)=dd&ϫ~V Ĺ9 _ۏm%٤ލxhH8BhG܂كYnOJI?ִ{ec  W)Y[jn#'QV%8wE>(UսE \x\-kn‘iW?Zz^!itLn;yEkƉa/\Z|+01A}'"gu[;l8Xϡc5R{$H{٪q(=d>\dH&%apaYtZ^dycՃ'N:aÈNuvqӗ=ǵ/E(,D*lOǎݥ KcQ@$q|R!A$uDX<Y'Pkdmߌɮʼn"e&3Hو/uw$If/d4*}eOn E8,Yjd5m0uͪ{.#O}'Sq$xw]`fsIJ{To˶nHn $'a1jX7w"C*$Ҹ'udއ>%' ne7ψF5 crrsGU_];2\CW#Fqğ^prZ¬x "zIUK)mufT+v)f&joj'mM~$$EW¹ꂚ'{5pWr]e~1d5eTZ~ $(6@7d0a-u`ضR5bMgt市6&w`,䈟l( @Lk>fe3gUbV .Y-Žh\tN] h,/ N#`|@+1텠f!=}?'´sIKT.ُD)m4't6*<3L8`dj:CJ3R5A>? ;qS]\V>Ӳ-{^ tmr{eA+DIڏLMp꾍?S Sjθy2)kh̏ BO{JI $rcMӔ/+)2[aIXWruax4Z%CŏV[+7!~[uA#MO-78N ~bzI`*z'HbW-yuKtX|HD#n&]N%Lq;żdmTi8r:M0sA`1Kؕyϲ}ǿ.=_[Pl kqٓT9CT=_h׻eh+Vחjdfo`#4=S[`Ha%7Z"15oaP`?_gjE[~nXs"CS6]sgcb yqz,Ńƒz ~FGL"b,U9 }F4 h:=ӳɭmȎ)?r( xHNmx|E){RȻzw6E` LPAb`LV̒]ЀS,NXxRgGx(B;!dzNLEa~<}V,9j9}j?]ure2UK8U ۔R0UOWy͊ Gu-AXHs=`| xTt`Fknj6*M#: - \VM/dӄʹ|F:RqaYA8p SVOhQ\s7J$?xDq,dLVg!cp˜.޷=ÝxF` rV-B[G:!>cr Q/p5J'Ps-&Bh?2(%M ERte[b"<]|5RHox.ؗpӄbJכe tzh_U]BXҲ5uUx|Z.W$U澆|xq_Oyj5WMxw) rcݟ -* T>b0B:B?UT=Q×:QR`:"u moGo=Q-07? G d; N:^/ ;UF=}w` c2A'*RB[v= de^N%9u狵v .p o-#xt 4sԷdhN[qD(Ӂ*Լ߫3<UW6]al!= IĸAke~E%gQaM-mXol]|-O38gtUDm)ɦw63])#y`7d\yvM>a`Ny8qw_%U4},î\Ζ[R! nʵ#A`C#\L)w#6a(Mہr6.bzMaSdn.]DbѴnv%NgIuפ`mP>^Rh @,P69V._aI 娂2NKGbκQVM 0#'_؟,A?srל)*Nit*P ]-7DcoXIq9E`Te<twgS\N.ZG.zRֿH&<ɋ504Neyhؖw# b5A}Sn#I. Dbq<Ԣ{pBXj7tC )ORx7"K篇?=Ѝ Ia5AǻϚB ipO{P^~yPϖ&~u4".tE<7L-S(ic[? (e?_{c)KձWːr[& X]@O횪 MT_`c;#'%(dč aF=y+a/Ą=*0Xm\rt'P`;'͵gί{/Rs߹!ήκ5 a1_#d[ʹoxV}mb*I,91Ԇm H #, j^F}^_H" F9]c:_ fЀ͌6OIM=] ,ANRz2{/'XVVz&ϖ)"Mz2) hʼ%i[AgNq }Qye*Fyl_ul|I۴t a"V$uxZ@zXOQp@ bcz/9#SûCcãv|Hp d\@ug;GRlpmc9du?9mhնkbwb*lbGR$pNGX+El,ack3tT-8zEd? ²>bWf؉/ E)ѼtxeF DY!U_ٷeC;-Y׹c"riDٔ*ѥK$nyY|KZ3=dJ;]*ۉi $T+_?[\h+6 ;+>??Կa"vr=5[_lc|խop?N֔ OZp|Cm}ۇ Z_C#-J6 3{l$?l:n* !;ΘBd,}P\},W/ ta xJ7y{1I^=GfC..&4_ByQ(am:? 6{%?=3˜ xGl6}.7n[iHMԼ{\[cST%)m<[U=rH׏3 IDJzDZ=fbDIPl_?Η#&G? rٙ%T=>>Mlɤ\`|}N6 4z3P{ٌ q5J+C>.4F3\c|茶aݻ%Z=.!zsI8K:4,P5YU 5]y ~*qF}4uԭKLH\[d[K~2țL'ADq'>mF:W&3d|0z6"hl ]#cE5†vيGe}l}~wA,\j_Ղ]i-oBFc=QtQt>,U*hV M/Sz_m\YfI9V?Owg~_ʦ=V~kI"loclYX5@)G.glSϦ."RZPDι;c^\:Q ͞33o8 5>2HIL [ΰbm:KvS*3c h7MV)}_P ݚ1J%>F[zo>=/ & Oa?=#}$\ͫ^l~i\j5ձ2(w˫lnʫ 'C7{l6*}s a [11e"-ɂ?TJBJ\SNb% *v4)s Λfe*z8۰PCJPeοǬ-2zU# .hRS_me m LGIQu}w @%Cz1T# 846=9W!m3=DyH5Op_:~&->ź| پ5QϒWulXV~&K줶 \ۗ,3$a=OXnfmۖKA'ydeieH9\}aT; u1R$5XBcc*|n>r Yv/T&4Afk!mM+?8z 6脲9#&C;aT:sVS8M&KDНk&1]1AV>e DGʴ%M,\Vkr ;@X4OIm^vr֕p3V)007AD =ֵ$u?>ec 1=JCJ*qb% NQT8+Ae?0PW<ˢkliP% ̃-ؽԭ>EjQZQ+F0x0h;.ЋRp Յ £>َRF\ Yml޽{V_34{{nn>N]w.okϺVEG7)Ѹ\R};LS^Jb='nag(}@8yG^4L8Z?/dulRlY?e, EvrYi~_o7]yĩHy 3u&$flh;<[jrF1x1͖lζ3qDfbA)J IeVB=-e2 Xk6ݐԒgΔk=]sd- 4C7M!H9 SIEİXiC½NnBSb9' zA G=&!|Gj2ND$v]2 VI'(O^c25Q3ʹB<tl5 ')bD:]Kg}2?F=5!Chތ`aՇrb+)Q+O Ѯ@ JSWQ gj¾M;&R4"k 1 kG{KT1z/s&}[ʢeW3&koFhaX"JRHiLRV%Y_L*˚MUEaww`5K4_6K?}PxxN ^io9ɟZΑTjm1O&_B|3fk N3d&R@ޔcNSR e{AgAz9 ?zSrΓY ծAgdHFYM^mIs*qh1 "WO2m:u,ºޗiD0\y l;"djJpYTCbY@Øaqva؊ r{OBM\v1]Ph53U8SޙE1B@Mo7SQM|+̖sݕqͪwC䲦5DA2+΃wʉxlîC먍Jm~cjϔt#1"tV wL[$iAAa͊ޞ3[Ƅi痔5O#MX[f73S +HU~@(E%fq0ڟßգ ~Q?sv<Ֆx `n+XR7r,Khv2|ZE.eR$S`@<9݂>UCa.Zw>Ze?~-R ͼ+,?/ũrt';eF/q&ZdoM}hGNPћ?u]0n}l۝†ƚs *3QV/36w$TDŽN>Z RePPˀRҥ = ǙAy{ه|ެ8G0!է 潚Aε^\E}oQ"^ wS B$REqX :[4DCd0Vx!:sLf 1f4!k' C͸aeq)Ża+/q+Y4ΆP5 /UpA=u-6oK[5Z8^A^Ⱦ{|xp  NYIf0gLyBd kPb!z6R}p9OAM,Eku~m*Gw)Ku^YZjɕ_$= YinxtG*Cz\OyhRս*2*l^hatd]K,8}gxZCswq9i=SEwFExx$SȭLӴT:&C=a.BXRi/OWTŽ&hƩ4:f??S>1oF01o^YdJ2hp0 Hk(i unRrw{:1U縛_-YI_e,@y 1YOˮ_n4/`Ű&*r4TgRo>~p3hG\V3B./p+pkV:JՉKwmyǹ ! +arWԾ,otEɐ:kAW}jpI+4IAHDLHҳtgM?]!-'6}$L1 A91*g`sRf ,c|$+cQ+IOgֆ$D@-8/c+wMغ:FW&sSO l=uKSĈ@Ȓ3ZpX e"'~:/"OXödn0 Ζk'9/O-<1Ȱp8_$ L轞EWX&[Ueڷ|øZˋ7L U*;ܯ48~Ps sv^Me4av[@$*Rh!X߸MtdM'S1Yyscऺ L2z ^|^&"l«9ע/S:I&yb^j폍 D8 Qa&SΎ8+ b 0GFjCy|HȠ=XB)LEML84uQH͑?tJA5zf;FnIR9mkϞ:ѼBE/]03 1 zWCg\2LF*''IҗжװTi{[{ȼ_ĕ}A,,d3됈#PVm2 Q62ҲAPUrgemRvΤRRmiBQLOA*,8"#A v϶Mnjr֝& 1 Xj$SV9dd@|*n4g|e}K4^r4GّV:`<$G-/0ڶf4dFAfhM`=)zLژЀ;;ٷ&iOW`9Db]k& @o|>ƒaj .5P\+\˲px:Pq^IK׀s>҅ߡdWםO7įDj5YcBnh|uݧ<#}V}}I/}}h'O,j̨(TegcrOQ}IImV⒆8YAU t匿7;B>|oK֋PSC^;&ܯ[gELo&]X:KWݫ/_Z'׽KwQ xUlw܃O-%OkzSʧw%7J^y餏m sۓ7T?nxPS !M9s 6[$KBp~F:5lQĠw_&~B|$sƟ}=0d2k ;O*qB5eð:a\*E{sn/s{I(~])>M3^Qpv8Nt%2'֯pۉzˠvO>Bgͳk| YR~.?,;OvE ߔ9WKMЭr3эą'򁚆?I/coũ"GhQ|½}{3_;ŷGDOƾuArWb囶G} Ts0_n/TH6&t[ŗ sV )͆w lQ'?Ld>,) \D2jUSwkw9HpE? PŤu.LoܿSw 63C\ƿ2zHD@A4Cqg_E]#L9^;k,!^X9L`c}^EƄ&FA:I(.ѨaIZnXtRb~.ySo -GY4wI6O4cǨ3I(.~N2 ˫Ha-kbM$a)YDD/q97! jSnBZ_a|m&( j 3 ",߼2\& Pr<9akzyÉ|R@JQf!y*}H̳bOz%4'k},I{UNe1LӔf¾-HnNV&טxJ=ъC.+)uq;QͰ4| 7y8n? U97lplPr=MwN(⣹]_jRP$dD5˪K-[~0lpXi&?5O1]xOڪKp'sDc|Cb Zp}-WwT#0k\aUX)(I:t߮iMDx.iY6o-X0R+NӇM;aM] ^w*[gevm*c5?ԗbRqsI0OlE@ט3YII'#iÁg*wZ䒟5`? /C`줉\d8N.CxGްܕQ(UTP:tX*m46qZ@f/=Wчs!ϑOV-<{JEcbs]ȫ-g(qr]NWTG.V PU Il5C"9ǂ[x ת`jϕdWkCM^ܻQk0j[$~ŽFޱ\E A/\)ˎNisqY`a&7x)r?NX!,2* N{! A8OPf z-)Սs*ȣ6XN[Cv2&9=zz6JT¸ipjCxL(G#7K?d@IGe~#FJL/|/HJ6ʼn4n4]U[J`Ij|| ۣa=r/1װ{7Oh\]ςa`xo@%dYeoW@_FxHvC=C/ ?͡<[cA*GZDOV%^.,WuT]Dy0v8 w˩u'Ġ6]kZ 8SGPсXFAQJVCKfW4 ~1bk:I= 4_5Ż12xqZo RE#L^ PR]5i|d v(NM Ҽ=B.և3Bة섕u-DRřJ'3ŷͺSWΪ= `*EȣJ҅|NZI'F>?D6FPw?Rpj+:t`D,ѻ-V:B}p!2%x3TkNE뺾ڻmzqKrLZkJ~~mJ9pUK:I*uR; #QANks#s[7~kE6|(A- [QK94I8bz)@#,73λr1_Vlj\ZKcj%"*s[ _xj??]$v8BMjUs.,86X6)3sMN`?Osfˍ ]8j?kMq4,-M`7)eʪ0fu7ps>•E^ɰ)w)R6h/^Of Ro39Ts=||34 (:"WQ":~𳤶wY4ao>N7[H*3'{3jݘYRFcx91 B=`( >dVEa[k/wtt57 ,BC0]NBmۦ{+~uy:Pgqůmc]h;i*1BʊU6{.A4N~8?\ +Ȧj> (2/#C):2n] + aNU({;Vk*Fr_#`9!$X$I嵬TBU!(I/+N|Z"Zs>G39,aE4~Q%ep>!Բ%B#=x^ Ƚ0xhޠज़1Y[@4m4 ʹzq{5i_onE}*:P]j'%32sgţ LPILNõ{ʋގz8TGp} qw-N΁KݥGP q3wņW/s]y890Mha&آarȪyn aטf8~:ޑ\AX_.d{(l NMNaVT%KP*ryp"&xQ9Io!Es Xw=@чO斆pdԦ\̖˳eu5ޘ""D" @?Hq9zd7M>ڬ3vH}`%ӵWQN?szAx~#S۠z(5?*0zp)W36"~%nH2JfIiAH^ t05("yF).(eW ˚h'm!0_č6[6qݵ|?y2&x zai-֣D >< sf닇.}+J%nrg g^\4!Ѹn};؅ӳ ѝ' 4鐃GO뫧zz$6D`:=< `f(yԸNFy[/l) kZzٔ8J{ 72-Za"iGYp`=A^ߨ|@5D{E0ΏeѶ4YL1CLWerĕuW=e1H[ Gt{ XhF7r҈_z썆G=2hx֜u|5+G͵l_`M /eQ^& _>>!R>,|p$j'3 =/ U n&Q* A,eODz{ 3 ,]: 2պLlJfjU c0.eH/4Y)kCYXZ[Pw7 D64V:ɡ w饋Tu.Z%O}2Ypxpk4eKi}_z" S,d0eg (Ƕ?졭Fjy))U,h Q[ulKEn0`溑8H PC//g@⣐ﰧS)H!k3Ud$'e.V:V1Y0{㱖yp4Br+j9JDKwFZMv@.Y}FUq2un6RvQi%5ie:t[,$sǝ(Re*|*Vڸ}(̩u%Q3':*9{\׳N,]כi<=D:ǎ9I8G">V!d yT"\J %##(XxzIR}֝ID-ߘmjrKRYIIO:mЗȶb>wW|*[,t[h{B2"'Xh$-Ru߳wP"E m@vF;J2w#[InN4|jiichD> ,ͲYk1j#U8B+P'WXܹ}`CǚXKtY}~Dr,g 22ZhN53A*LAfƝ&0Ē > vo"<εkj rdh>,+f],G3:AlWJ\_/p![Ε+`LM%yfXoKA!#m'<\#Wb=7 XWwȅ)֟ey& Ӏ{*+%) ,;`ɮt]t3v;Wl~` ǥ$;{H}ЬhKb;lrѮR+'Dn@A)UXqqqt-+ hIJkx?ji=V$" sߣ9@1C(R1cm.LcƪdBJA$U-p ' U%h]MRT]GzⳀ+-R"hkVCvR#I>)[Uxvyv /|!uQ˝O?*qRq hޯCUIC|J" v,%O:لri k+USϐ a`2fpv8|~3#./G/.,,(z<S,6`2 XH;؞3tPjNvO=VS &|X$ZdD5}O_v(Wd Qr}K}r&+Vʮ[lƞyN;}؄^kuy>Uw#[ܽ.JfDNƷFqÚCBµ9>@l( SgڰDH˩ u?A-|V|~Uę c DŦ\(NcF_b%K{pMbp؅Z8^(NLdQ2Ojbm P$L5:x{(X ?vQ4?Z.Z0 ?53}3?q5iSO%tȂe68=LʖʞTQ#t3}a& A>+aj z*󌤅F*i@,wiɻq$ݍiu'⇯̻rcz`:yl^^bS:0z٦M}JG;}Ҝekljx/RETF̽{©7Qb)^u0 #ǯNR޾k&|κQ)-Ҁ4JI1x`KiY9_T&=0#ͻt :y{kdҏGlb(W!;{5S=x5gױ}?Lo<V-%2~I1[Z􆑽/~~_Zg~ANlVX_kqkFt̓;`w'Nb!pWٙ Ӻ_kGxx" "uCa2rXmvFp0̓=t`Wt6[dnMfl\~׍C 6]UF2Og7 M,1o#Ѝw y> ?Os<|o̟jdiY L2$ FEЕ6pAt0?bZtgl_jp]ۍ9]c_hGCU66o:.D&/'O •pfp Lٝ7 2W&8mI53Q"Dܐj'|}/}y`pP H> _5 :P{*ʉ&MhSk܇~h}OAGk2 !1c(_.~"74@t^{-PQTVMsQYқσ ,vcG=+`U0 >{33Qy΁oq%v3, b()z2%77m &!*=f`dlY6j ѽ/' !-(|d,kRK- vY?P q HAJv'J륊j9GaƁühІg=AQ zXjeny8 KaʊPF؁؏~nm^^]V~4R!Gҡ=??ީ/)E:SVίHٗ?T;c"M\Ua^m⧞m.<|zGj :AP~I.'cI͇@4Vh^g5*.8'J5˟^5(؂UuqU9؂\Ю&#fN۪(ϠJt&FAb1U cc^xS3%:D- "C~ĈK[ǀ,u &{~:H4vͦ} Q۩"T 5:jއ3_wuTQZۑ9W0m;1<$55X;xB'y>Uuޔ,C4]>%JsI{n<>=vrp-(*գ^kE\w>b@ &שeQ:9d|Օc(o vLKE ϏN g1% 'LR y{(9%"RP5ܤrv@ }4Px3D5dD^XB}*`l6-y4U#xhycH7%Ԕ2NP݆VWDvz+Ņf҅wYzlm6ptW15=mx䓠xA5G uWN`ϫjg'dʂ3>Aŷab+l=#O?b~s7b @/V:Yq}XZv'Y${gtx,}8*g{]I5c wBӎi4Lb kNBY^01V)$ >?xB: 6#!;yMj(Apg]x>Fb&Zmѭ܄/pɺ?ol-hy'O^/ĕeOI^q)s$wǬ&hQ#PΉVGiqCœ 4L3l'Kя@q0+hx\[AC 87,ڄFmӺ[I`BD>t^qxGLl],j\{6D鋎 ψht6LG._Iߐq@ c?%ޚ>GD;/y(w":jz= c ˀ쁖: d+BLelUk_9kc3 E1'(Nh|+,rMg&aP gڜٵo|hGEg[9pɞ)߇}ڵ8 J]qev4*ѢU6tݮWt}ȋCaL٤7 Ao[};T/ BѸZ ;0#\ /E/Kx;"#w+MM,IK(bG5lGUlpo/M~aS oe8 B<u2lFPosߺja^-tnm= u9Wu=f#~9HsGoZV7VV]S?vĽh[ұPPԍ*ĸ$J= "GĎe{/gg8gj8oƥ#p)o!#@TkXLWrûLd1Œbgvؘ1eIGЌLA0?2_XĢYNgg$.iKO}hl{6JC'n{ J#[{% [#0?0, u!!V (K3F2]Yk[gd~1kj~a9yM]g+w &UipMTfRX0d_/V nUt)ppSeW*.aW8`fՒ}d(ǀ"kz2/)Lk|\|_iëї.S0~N% dp@wXq) >Sm"d>KDZVNWiS1y|*^M&yD >)\?Ůӓ)r:wQ>s h0K1:?X=#,b}P|–dbM M63@{̋ RD7r/Nw.G2^޻J׭s[QMxWbkVX ;d9] ߘ<($1F%K;H Mvҝ'i"N'cD\ gR\ &॒"8w!pvQ|a6)+ߢoml˴dgA1O Pc81aЀFñz"r*~gc=wXͺTeCpVDcOyn9  F'kN'm9xxܷF2R;%Y뫴dnre~S+nF'S+^_w[LjHi;k㇔AJ& j$g"iNlhvksE\# B.\R#H:_Fee.Jbw'0hjN[4\tz{4+kfIOb4 Y B(Q~Z)ՅU[JupO#6ڻևjd?z4ҹDam#5+KAG_G҇tP%8-Np>aU27&eh29i%F]AZP-+ݯlGκ2.ɖb'=zdNxk VCv9>c)i`O-Mě;tb܋4iS%z 7s\[ -V.R{H N؛i]JѤ4ˁ`ܜ]G^"kASD2 sy'&he8waOan\] Mк΁@ݤ=EKBrk7CXqKf%`cCAMd-@߷5 rgȨ09F"ҽ+8~Jxt>ֆ`Í(_p"|WҙFV\%ɒLJAg<rJq ΣFJ]*!$y؄o <<q{'8d29vҕE)Ehiz`!lQȳ5rdw)N9訢k%0-ZZj]q:WhShK)`+6;UJYt)1U|] ā|C-VKP*'f$h$p#T :㖤ㅀ3/,'2TZ/D^UpYf6uYA' gr#x.VQsI9r,;478bKR۵$˵~"骁-UJG^G{w FWn7_Pm 3vtTxR&i!DN!z2 b׆/hV W9-;˧KGd3+w:BCq872C鲵-E@YmLg*{X^#G=-<(@#=Wvs5_|wȼыkZA5ϕ9JX~Rg`]ܡr $<+øik1.-9G9(U{͛vfV%Tl039NNZ[/?g{mxjĞn.1az%gUτǥϸt=l5%cZ2iZX8?G1Bo~Y?bu zi1vΞWݍU< KLԽ_ܩpf6$^kʯZJ=P-VE3xE#ȘmJzIAs<}(KpDT 9.Rއ;y;ypݦ]VSkBHbn Zk-Ww< ^z^ H0~Úԓ%4cmGB lu[mެN2umRs32j bt6U^pw-8 r=CF3K[j:TQJfVz6lpNJ4p^nR,_}gRJf*L]UHpŀmnw2 ie9Ҍ"?.n\̔T)W[Fc)lF$!ԼQիz3hu(,uy)0>P6#h9{lvjF]7)4QGd ں\l,Q.xQGTOPKM O=ql(7!@Nqx2lv'dz3L M0*xT2› CLy7M'bTމx%Yx0%KWfDAiZ~qh7IXG*Rb.0 rQ9nM8kgnD>^ RTv $YL20Bs^Lyha9[+ό/Ly{EK .iW`p:Ӏ 5&EmTZ@%jc ה% -@ɲ捛 >:>N\厢2PLUR.-E'x:y"k(߮ T+b*D;"wNrGU]Fp' $==쪐eAWI~ϠB!R #ŐT+ܗހIpUQPf$s nuFD&&-2+q繇mL,޿U@tk^y3)mR`|#7y㧗.eb\LϺv9$8?Z4 ^[- &hBbt:zOLؐۼ (g!aNmh˯3c'x9'YjK6\}i-ҋ_Ŵ WwTфhZeɊz%n}->kG%}$nCn/"uEbe+ e0Q;PEifM*w7>@j>?zɤî1 tO̸mݻ½6, F,pՒ;aGȚɫǪxJsHp jb2~F;AY"=β_`5Aiw2IۿSW&Q}θAc0{e&(N/n|Ÿ!60WP.%hԑ]qdT.)w4:PD5] g@ 'g&p 3D5k 5p:kQ"S? 3kAwSh+4}s2cт3vqV秣eoJ-mæaa~ NjJZ"w™pj+_7F ~I&+ge,M2}~L|mbCUݘW6ElM$@ z5}6 [4e#Wmw1L<[#{Rx!4ݭmP\ eة"s!6rCrG Qe `veǹ0ٷ.cnLsm]QYU֋w/둏z<ݕa+, ]8ו<$_mw*PuK/28NvT8kgKLvC meEXugCӸ7ȿ/o4}ڝ0-iy7E4R?%|@G:b4?Oρۯt0BlB2%zi ^OV쑳-wo{m[&?n}1-IRg) b5T/+궶OVx'$5iYܱXx^Xڒ˧л4C&6Sl [kKXWiܤ eས W&Lv8jC]8K :H,T8|qufZ(GT >ԙ&Ynp&Opo<9 DM}rʇCe(V)Ǧ[A/0+$漄IqdK͌Kn+ `{i| p[Iw1]C@UKɅd.MT@[6rk ( ipwlP~LK82%*b8+^@W?Fu`mxI඄^ǕCe"vV7ǵJ;2Ncps51OLG\9ĻkZW,:wl)LjasFW~[jYz]eK'tZӜG=Hx-ԱCBºJ,N$GuJYum,T.~wT+e{dg+{B p3 UW*QT oa4D_7.ԠM+s,8g''LW*vt꺌x))տga.K*̢zt,}4C^ƚ/cZ;c,r}b&g|$*ǣuG3\2_A[oK(G鈻?I{)]Y<4MI'x?aCO p3÷L0 X=̹&ocTGiA!M?35^Gn9تd)yEb`{)ARϦyH0Łe%MLZK6S"21r}ؠ3xEBq:n>,uv8 2ܫ>M] ʋ.<3k8|2{8a,n2OI!(dȸ)p4mƒk 1/MQ PIlGҥj躋3ȼ6ä5)ۈ(SZK&I #&B`1¬jmσo YzpGYԞ/!2dk{N[ 8!aeGfu,S_}5U.b&T't3_ Xi2m~3$97M/>B![ZA]..# cReޯ,=$L(n^Q4R AFT4p$ԧܲe8H0ӎ5e| N4sm-~Q\璼uyׁ1ZRo۠ɒ+sp2FfNgJi,"d qjx;WT#hTΣ%k^t$ovG.ro#{_r~m0qf.XKYXN}k”;ŝZ>FCtš dGe0fPr]T:MbgWLjaZ*еjK=.Ֆ}V*@O$TijEj~gU>}.z6}6+/YQ4m?~MaQteT0-{%?r ߯u.(p @JJq?Vn¦p{X#ʒ]&"$R_ZUZi;LBmɉ`(]RlOTZ_ sL#Uǻla{2, cf}]ׂp3Bti{e!kcpg8f#1%e&w(fhY)p?0X2zo YŅs;%3)Sez5aCUZ tF>TRs&tk$stf70?u'GdE:#F AV<CSsdY`I0Vv]^d=VА|/Pψ||f(I Օ2Xu395'6u Sƪ`?ȃo5RV7^8J༊PcM7 (Ʀ(iYVI@$u/|jl*K.#'P#skW#@+GCeen[24z'7ieC6h^"H9Ƕt@+ r:5tonD_TeS2J~*-%=y.9{FFg̍ pK  (GŠV"cKܕ].#WFT񪌥URb!$cf&'  j/?#m~~Xe!k2ade?D<,3%!5Vcb tQ+oUU̣(VܑcX.j1b"}ġKZ~Ov7d V /cy %H\ 9Ѩʛz_0q:ĉL 9[˾Jj߂$>Vx9" Yhߩ_ꩬ0_:1 MVd$gr?4EيK`.#H|mث(&Alj c`Cw=KKzљ嫓m'9Qm-=޻/>⓱+vK/vaYEI:lp(Y,e54ɾ CDbVCQنn$">{v6)F21jϱ=)[ p4-_5 ;> Yh_`׀꽕7JLH/H`fʟ_?VI7̩w'RCI'~nإD0#Ec?.:t\;Itf͂|`1#w GE(xɇQmzf4(IWY;/qiK/-ͧtVWrtݹ{H)n1OxBeu$Y[+ډa;6][Vn۱$'KF/]T.!w}Λ5"4ّlhZǵ7ZfjUNd8ꘁpF?P)Pm5E$!0- k[%}38]s}O#. ޅ U%[#~9l?z*C^dR 4`,;$'BOѿ.#"~B~GR;*z⨱zN6\.OjtNpֺ?^Бʱ4Q^lZ]̳l^ q8K"v]-gYZ2ee22c040496c739c1e3522f2dc84d26698ab6a19aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b