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 ] Lambda_Free_RPOs:threads=4elapsed=13.674cpu=51.424gc=2.164factor=3.767zXZִF! 鹫=]ŗXiɟH)0%o"@wqM}Y4Ud$p|}~z?/o(ɓc01C値?i6cLc~U4ݟs Z`ΐԫ>Ph.lbGGӇc!z_R84~*E+%Bc$P#{dwJ0hgkXH)2sR@5 SNǣO f!A5 ͪCܰ{s ( BvPr@GOfQH},Bخ)&Vظ[Uv*uGӤ7rN6 r%0TW_U˵AM3AT<6*.05gD(/5JVz - Lambda_Free_RPOs  >|:͡[A@S~ڌwB&Z_AvptdnKqV69H$͠7fI'@#rmDΰƨݝзm1)ɨ_<FEDAtb67CpM်~ީ#?~1yEqUp33*a3=@!Y0߽BENQ㴟bG=Yw laBk#qGzshw%ZoChl_ "E2ڿmJ jo OAM\/b|#x'̬{T%j'cv^ ?2bS=> ^*^>輕"?8 !LF7fb=DZ|AP5aT7E4{jUW>!~:g53b 0~;Ь:92mMٱI=Mܓ * .)jFx\2]%YYy=!9"٨÷=$@@U4e)R84M"҈1'/Vޤe5Hw |Ы*&4W":Y{{HX݅[J&a׻rg\P7Pb sgŝ${ QYjS$0{ @GX׀j|lTY 0繡i'Mzqz$Y!9@$+ZKׯ*ɻ}F]@@F<9q@aJxْj@wӢ$YIF .N Ws268cI} #f͑"L8)V~^'ؒpɠ]-> ͋;R+5@/ׅ'f \x/<.-5W BlAv qǶ=߲3:Ϙ7aў} ,1Aˇi/ ov$ LmOSV RtumPvZt~fkx K5$ zaEP}$.HLf MwҸee ,)/:Ҫ|S>s9~E˅lp$f%ɫ<z튜{u%%)G<}<ڛ(Т j|h#)թܴj`uIv&*Vp]M5Y^zjθ7ZZKCE BMJ.sFjc9NT2iS)_%{y Ӏ]y =MAkpϩBv]휃,qOi)#ٿǘN<%::Ɣ1rm JPui}w#B3$yVddn=INbtB &R>:jI65lZ6ܦ.S',ocGjRm70[3ti[Zuy&0}(c= =#r}aPo>)7>!M&^ޛ.fKPoF[v65&0fZYM Wh.c Q(I-J+󭆢[  wKXD/Z4=&NX<#VX2፺'t~=$2oN+;%ޣPp 77iU$s:/eK}Exu-Osca\Ѩ#EKTva94CMrj>MGWgn|g; -s̵ALux,& g z8-2@?-ơZOMs0SOWmXQtnr68inNlCAJEBHƹr`"kG(2> _D0z9ۙߴs M'E8(|.P 7+\XCTTTL)abW4eRNǃX\F>!5*Îu}5عxA<7XYQQ݄TDN&B$f?tmF^9[7&\DYUyRQVK\~fHTjhk#ˌBY<`>EاwkUNԾkPq5}o@ OwRx-LZܼMevț<MFde( zQ/5 ߞY6)ғw*g_N<6v^}]/q^Kcu=n LvEՄʢjr7ͭz Շ9vփvrov9 v&3[ &_#{CBvKsY|pSsyM"NЄlvvp onǴ e MWϤ 8^%_T'LZ9lf /w0ɫEwٕ#z}s{4Qjd NOr TLKEi+hU,'n`_:jYHteϾLTvna.H_gg&f$3Dck( y B8=DU'2HFfj>I?h:SDnz@L[0 26ŶyxuϸfZMC>T@yZs!rlXv YL5xM)@w渺Oe0 f1/P^,:mmWJ|:5SRU %OS_1}6.-\TVmW#a(H $u:@}$}]MѠ5_xBeO `qYւNӄ{[͑*M$D;k:zBmeXMג$nB, gBpO>8D)D"rHC0,A]{ЍU >v%NIySڎ8j7߶~Y/ 2O\ zotz۳bHIS$ x&`ȝ | 觔4M A:d 9јUi.Zv%\IfkD:j¸ًVu[|jpQG$tc0s Qer5I ˁ̻});,ZcÂͧ!~nӡM,uNf1jT;zˤ(E"BA(&;ރ(vٶ1J4ӭ9d-kQ@:ykrKW?ڻ-4Ė%e-0꒼gf/C72v8謜t=b[}VR\Hr3Yr!2Y4 b2B B-&zDzt`zu?Ŝ ?lִئtӹ)҂a{ѺmWIXsW43) f{^ʋb oԝPo:1c0Ql; 2elrTVC[fѷwf;٨D3*P"6b7쫠ߺQB>cwNbit0#oF,(ڵ?i[@ Fҧzu6DvawD!#7"p֠lC}r{l<%㙞ݘuNX$Aߕ] `Hʞι חIVBR=k={ Ϊ>Jϓu~8zT9Z#TNFp I02{ gU7k]p:  H&6DG2![P!EwM Ȼ'ء˭v[ZňM-5b6X);&E:Cy7,a!9- C0zR̎5[0lTY#[јq @b&w=](?CaZ4{>ho&Z Y(T܄H/vێ͋APs 5 ɧ+~keOjpT^a.Wbۂp{$;շ M5[&H׈EAG?nޣb,6V[)4OfjbTe-@"ğ&m`xq w`Edd78 E }}y&[A9C~9ՔG9XQ%~;9qs*h vi܆vd+'lCX.S&F%nxHsTi|B8q\zy:bmʍI=p-%t[W.;0KdEE0Sɱ'y@ ݅i~ DY˷> _^xi$W8A )S҇ZH CфWVH#O;bǗPv>\k ' MmxqlvO V4gHƭƝ7A/Q銊uL>WtҔSNKnzY:zOtvxnSJ!XMO w>kbh}8|ΪoZIj___%P|rˡC x qgjd"ɝ\R6_SB1s)FbXS,1lPjNGƐj1L^$f8ǜ5 .wůx?yi]kjYQQkYdn_tcI DTn /|:OC[kHjDwb$`BeGnhpt:ŗN%@U~2eߡqռBy zVNA,*$ wS!մFx+pEZn|SZ46/&wt#]% 1t|G넜ٙX03u[+|خ)eVud"P4á6gXqݣW&wKh[OgHТ`K  `O֗O]>@s)zMvc{*p 5zki`io-FOw$LNYXÃpgrR 3|ﮩ©xڅD%k.QHW{K #iCYf/v&ׅJk ve$'x>]:[@:7'YFá B@JhcaT;MlҫL7[86,Mn^l2̆Rܮj|zi- Ƌ9 n}CI?9VxѧQa0"۞?.|QqsP֕v] ]\eB w](xrxјf\4ZLcnW۱[27ۖ?C[ڎsۛ Ńǜ`ح7&MovxAZL.7f.F<coF>fo> }* -@X>,t}!']Dl O=a$p_HÅ irst_*V"()ɁaSw[[ %UH/!49,dW +rtޠ}F\q.t%נ}q5x~Ghۀ P@b_B]';@/#7TNq*PFŶqacڋ'T<>0# }J A2g]C9 -Ucvc@VrQ+?6ˈN1iǿwԲ$~r$c}ǧQݢir:\ ¯C @|ù#xF9=mfe3©>&a޶`u9EG;vDjh4g}E'9 cIW!eU1шYσ4'L@fQ N.$EsDh00he`K=9cYquOHkN=7aPIZ'OX)h%;3q'`1쟩d$X)1ul {leag] 򒭠h -$h$Ϥڣ7W*->¹4TvwF+,iދmNDXqaK-F]o2qugL5A=V CWcvʎ5Hfe`71@dvE pDȶp艐z͒9qUdѸJ*:83{"uu6Ș?Q*X zADoA7 ^>~d0KJcO¾-`mW>c>1HqZ7wrCxV1 5E5"5$_s ů*@o(3ы俇N y E¢~7 Tr]`i<,.H ھ_4t9ygJЈС{-W" 44'TDAyDɼu$o)(J?][,}n ,u-A[őˣȆhO[L,c`k?!9K  ~ֻORlчq@͵h *R0ţr1_`OAT4vsKvڍf&.@% h.ngpuz-Q߇6LMj/Y Yz~ʙ$\1sk"@}ŗm(H`DvZ#)q '틑CnTsiwF(i|Y bZ0pN*N{]˴fK0T@`Ԁr e{/)t!&mkʻ UY ХuLb*fU6QthSq676㓤fX oe#4JAaNV{E-9eE_M.D Ov1PXp&週~D'te"]\-zct]a7Yn\Տ1 YgTy7o0q_b/ܧ(2pۜOŢyr`r R?/!5M qg-N.< OR]@}Tv9D-F$Lis,:h5 4s5psQ_zZgCDJT:0ˬԪݩ kvcb. .MjsKN7Tk:Lh}SG8):R;R4JB? !C$-1dNiY+#d5ciʆW)L Nsa8a5]bJP g<8W}r˵/n= aM[;zTD*\F\,p;WjJ&G4. &=t"%{"Qy$S_v6 ߘN6႘XuQOmTp/"TYkpʬ/%~;#.MZXW_8/V6:fD 6˞j1V(E*;*ǎ8:G$ {儌IUi@\ʣmoћ1= j~Z߹$nրd,h'úxQgűG⡱ Ot&E6JwF쑏*M=Ĭ/ 33N oE[|4 È&*c Doܷ>/t Z6P=lύqaQa ]ضRBl%wKeA 0@+H}+h_rGi.UXE^2>FS|rtC" ŋ4gʍ}X9p<^J4 2C$eNJPK疢Ʀ=C6pxiQrRc{D_=ŻW$sK>8nIӱf{Y\a=z1%GLH Q1 .$9uQA+BF#OkF NE*7.b]A:Rsq%a®Lw.=\[qe 2"d715N]P|vͯ wzQŒGKW2(^ͱwS{i3/E7jMk"jfO@bP\65t?.UZx!2+)ss4bsټ3R^|'6;Z}9H0, &=cmAq[d\I=n(o4ryVl?͍(;}XYD~ZKB ײ"W{G$zbw&ո(r>M9mM,-jѼIiʭT"Jo%tLޓfaܼF5-Av_'8`d(@7Kl` ҃͞2#}6F\eǶkvԡDI0\t=`C=awT~Jj=ꦾہ>ͅρ-n +&: "^3~Z^/8HD" qȖQ\zkٰ=ぇ/w1=dYhIB q`''KM{&8oXpHvWjv'ytáI| T@6c!BP-տqmz `g1!tLuaR)zݘ(S=E/;]_8B`{Fb}Լb,(=yi{+7ăP=%+O+2(F{sv=u}pO.fhP) D|6mxte-/̼b<{~V)!>H:R:[RšUyak$paISԹj)4,UP`R^dAfdtw$:Ī]p}^e{ "V_fѹߜFN8>5zD=ct2e3m28`B+Rǀ z,bӋ 𣷭2yNUZ씟7gbd[(2̻O}L 30 lcQ,ڌm B!IE<ڬ71N$ddM>KC'dԕ/*!DӰ5"&s7??[,D:X++5Rc䣈7П}\tz9Ux1 I_Od:<|1ͩk%0˪U'oP&AOOxAAͨ*N?Ed8{B^~`1jO.Y=‰>&؍8vc2 uU v=?c#4!fYL4jUẠP? U|mvKR Tq sZ)ԍ#̗mdb"Oi7+m?:JANo b4017XPްXL8d+,;4gQޠZhN!=#r zS ⃬GƯu_`>B?Tңn,)M_tl2ZT= 1|m.O>^^޿puXvPCD2[rUi-'Xڿ!gTI0&W0 ݑHSJVB?ؒ%Zg=rC`)^PL .#^u.ʸE3 lxOqV&Vsd.nsc]_*O(7U\Mx3<\/ш%oo9[@PSv5+"WSх(ׅS<, 9Xn)m”w UrD,dC!JU&*Xȳ):mpDb>J"=NU\xlќXo mnè1 Ep })5DnoŬzONƚ mp7?d-C-Գ&(}Lk0#%U`1@O>XgS͌r| n::7nVx11,>sG\MqT}XrC~-:t.fo$uʪj2^$Xéu*m`l8޵vmWx)H^i3='2rϼ[9q;yfyZzbu*P|řۓMHR!ŷa9RE=.79 t?8Kͣ@!I𬋰pRwAvXɀ.xONxeo׶دL(; 2e^^)%րKX%GȃLqcGR:@x-jNqy`eәi)q&h4om_*- {nNg -v 3NH3 /`}q>g q. qc>+!}Rwh;핡r`ۗDcȍ )><-IX7Cټ$ip:3RE}1Q+{j j6T7ş 41sk?Hէ*bٿ֙`qKL˳D ѣ wAP$,cdPq읤D]yS"Sa9JJ@>YnaW\ Sg{اS !mnk4GA<["JJ7W̓؍3ljb"D/+;wpDDx(Sݐ viaÁm'$4.$c8{> uj /9!ri79@'$Y>jf"w#SuOMad㮇>ơ(o`@x1C/%^+2LCF:$Ҹ19Jaԣ᥆Wi[h a5eXD$ry?+YM˕Mp2`%wOpQ2Hf2brBm}+J|XdbP[&=a!+wLJp d5s'UYAo/dN}|+2PG;`)FaRVÉsag#Zc~^j  e!ngdR@BBb7nȐ`v}kRk@l,O͸;avjhcXk/>e7=;V8ngʻ2sj rwWo .YH^Ξ [7>POm^5 2y-sG6 R͸%ktV78M'D&L\؆B33f1"#k* LVAy lwہ|{xĵH%5aHF>h&3%vG*HO{ڦ],q 26tg<:>R #=%֦`'J oAjRQa|8qe=@M" >DZiz(8Pbr] M%3]V9[t"tiFs>@Rۓ#|UKŕROa̝JHz FESU+qɱ}9{}LG }Axo܌~磝â Zn^ғP, 1 -IuYuZjna# Ґjr]ScNE#ZrzrH;Bu ;RAAC\ϝ;kuN@H[jUđ<55?ȁÏ!tVB#"K+˭l${4'+OdP*YrwYQj,Y{itLOǦ\brl̾U4]2T!=b`^ONo ͚i>P'Eڊ,@:LIPsQ=&i$39>1 pOGҦP԰ Q^{f/IHVq@V}DCkgmhe[V&8e(ÂOy]QJ1΁\JX2H"}o?Cm`$# &XRS;5bUz%\ȿrhbۜ0-3sDNT4lyI1 8`63Hǝ+{Q Ʉ99bA |@3[aIi%{Z sF *Sfװ!FR 2j0cߤh UwdۖI50\?O2 NWi?eNEGU0NT7ZNm'l-u0OhDZ,2NNjalG4z|uÝXBK0mF)$Am4`h)y2͚D卙].6]}*vw 16̬,UrFxbR.Pjע|5(X7p.DIW.,M=fg*AKs|9;gs\C:IH+p$2O)K:jkQeO /ilL$s߀tY߷~l2T ˒5j..+Իq:W^ !1,;1X1cRjZxF>PO,u Aє8:ts8E=K~"j8"īP>X6fld5y wNg65ǫte# L}q L&|(LXv./HҦ[kmի>kȗ_35-_͕jh2 +# :G|*ڀY5M@ ЯRV/m ~nӷv MǍˬ}p>3-l ARE8+mAEUMEDZOF۩TnK [|I{6O<-?WL`W; I/k Z5SZs@ljb2 j5yG;Af8|bꨕ퇪6P^jtN] fozaj\3I/exb*\NJXU>B8$$9ysxg#9(8fL CB5,d%csC^Z֍pZ"U̟E%s϶"U$&쑌),`hn|t%v~\f/q5;ꎳUQn kQ+ %~o纴!$阠(β*[N\,+sRD?xuܨ )уF5Zr~:vd*7 No&\qShV's>ժe5m3kV޿QxI Q%@9/MCGO+IOOjDIIXsJ,E*߬r2NM,“[Dژd'lhfMTU vu"ITj&ㆷ#?atku n *o_R3U]ޚUjEr8MjTBʗ}8ټ^%=3̩iv1@k bO$knvvQ?§չݍjY/8h׊Q21>6?d hb^%[gN{TUzpCE+3SsatGpmE`&m(z?2t T2̭Ih01$ W/{칦/>/c+!Nڃ+=f-C4=BGIf8C$v8@?B2(Ӥ+_~XNP}1'<#N[+Y9z6tP%.Zҍ{. JnvtR Z>k!cODKdr~Of TF+8y y5AIlOǾH.=ƓhB8m݋@g CU]3@41KD9ûzfhd/~x ̻vf6IPKͫ ϖMT ̢(W@FeJ`+G(GZ#lJ;%(Dgle v{/ nj~u Qf0Bڶ1l̜_y/y)噿 +j[ʊ`z ϿJ௼ُG&Ax{d%ï1'RY`d yEQ}y FM?Qi]9Fg3e~GFېxA1wwꆞӸebLi0z?(V onp@{:4H9[tp)68QVȺlq ryL#A˫>J\w#K5-8thr=f3lB-6ٸfi~1`6<'ĩ(e /,:(] MDƕ6&tAQ* [7ݦ,X;ޅ)g*3^9٬BE%W{=o[$ 2AP_F)v̙p 6<|ij9VF_ (q)~ǷcPU9=tڋ 8OmCocvVŜ!R=T7}{t01ݼjvF[A 23+q;If)%K_bJAls_wFAϞ^6igtGdl nkUt(:_)`xI Ghj A,0ĵQ wޱ-)%,X6Dg=Ѷ/ j,jNdn{D.d(\]"イ֋l61h>-Y?u Kԋ&'yN=x.WnD~nyKz 1kLXϖũi `cI2ix!EpVOց2; u:d#4x)JqURϫfs@pFY%IY bT٪p'm~I(Hv7A#)1X#]] "`BMf[# j`OXAwqLpNj7;e rcɪ^?jýB# 4t2L%uXXODx]EH4V?<^@ͬ i8)[k\f萖9z i ^s4]4;r%{hPkqū%h& j'ā&g0=q;0jٷ}Z TԫAы#sPEJNQ0rIDO7wxk1O ApF4T!މN2 筃@|\oW/#OENIbEK%S fLSCP{Ƽ4 QmXIbZp`Gf!iZx?/~IqaۍYpԴ>%Po۶}@/4 P[δ@69=(Rͷ]CKlnA8#&5om<|Hű0ě&NUjz?BFZ<Yf|1Nϗc"2ȕa\}W4_8AjTr0m29gU_"7B_T_@o.tiztG,0vr[S܌bl]&7INa:o9ޙC$(ԢݛJRz:Ј1 G7sO(^>v_)7]8`)G_$G&4fXYPf%R Z>ݙ̽B|StNs8Iu+0;9YqˉlRW=yx M^ ZpV!݈FûULYcy,U17(lo32gW J4 YDOsen<Ӭ,_/tLŁ`%k:|1p2h' ۂ[]栗^c4ŵ^4 _iqa=xN,ZX0&2@?(@7`bwFذi7EØ{i0LJ[c<^-E*[5.ӂ\|`VAgv|BaXK?ѣ}WAh<:rͤ'qvB1iP-wC~Pԃ|ms @ Af?1Z<7;G>C>3'\~哭=r~l9ƄhקHy7&(Gb ;.aa5M KP}Hsq 䕡׭jSA|XU&KM]S"5p WO:?K[2{$)F"L:T ы<θKp#']P<+T|jOƐ?2. u^O9&4[ۤ(eG X[$ߒ U (0 (q<_F8Qv\h1|[*D}y$g7Mm5[HQf=йx"<>Mҙ÷vOA2+N),ydU2gp^Q,$h8fܗ{؄k^@ս8}̢qm;mH6Tm?]kof(эK\WLBqm!;=u:D`(;P|!G_ڽ߹-W#Lq \*8gUE1))=:O@:77j2MO'Č1(_\"u8nWbb$*тE\F`OdZ0eX':Js ։c]0^!F5%W}_TOة.Ϧ N&uc@J;|s杄Oχٞ {S-W?bl[k*8R}q"٬b-_fV{YLŒ(bxX>Q 4 exlBD~ ui2ZT=2"Rkh(*َ5gP,zܛVbhz.QƱ(2CNOa#Q7ԙN5h˪)i= waWMJ>#T؊֩7/?}hGոci]=V8 1'+13}yƻ;ЛS~WQ-͍O>_RGRrЭx^D"nJdёɹ~C-J\˲D-HY2f5m#rd9szU [1 | ŢQ5ްPz<#;$؞r!f@Ȋi2x(mZd(.:9Q;{#f`HVA`9THWm/sL2Jp<3V>O(o+L"@a)v~ 9(L*|^u-vɄfv"tRTi:e}2i֜6csd6p"IzWvI0KC}_}W;F#Pc=e ׅMZ= UX-'˥;?& bwmA/H\_iX3*X$i[ ,`($; 3Y -{BӉG]nh?J(T]ph[E}}41.o!5CފUzG% AF}H7f'L^ G,MCOD_ @K^6 h&AMU@jtd]h0'j U,,WU0 -1oAbX ?>P–OM]]1F96zl귮*h.>}xʯw! vBݴbb1QRW9sGUqbtA!Oy̐ ,9w~9] 9rRGMН]xsW6wdVaxȟ!-{mܠ@=vAܩ]Y ԹIƹ=7ȹmy5@- ~^J/X.#1[O9+ rt(4u7 21+($WH=1n&q8)7؎Xex '`ٸ׻ubg.j/?O\ xpE s4l(;퀫6qW@&'iroƏ[ec7GFNoM* "^@hNkW0zlv?2ȗriHo4K/9Lݙ=X|Ս6 fi$"X\,!f#}ҳl^k㬀Lٻodq`r$0w3z+;ޚ7DPTpIF.*e~YN04uQ.<:u}*xFmPv+wu O٪芖| gð[aAKULC 8Ve~za"&d ;^ .kAy'|9ux7Hß)¬pe9iޖhQ3#AgSxГgFK?i8$/žB讝-U\`De'K dWm,J4ɦ'K㒇 wyve׈UD\:sYu{r]ԎKg"T.Ps=cV|4ň/xyOIJOȪq0LY1h9 p((z~a_ۄYkLe|4í;ID+˼5{^Ю`xV]ɋBGiIH92#`B#o֒0IQЯYiqFэxʩ* QUPxaw:AIֲrHgcڟe潖:y**OL0IGpJLyK&rKtcmz9e"Ǖ90㔮a/ۭ%G=Nz7_E/t@[G`|CxM1]>lֹeyG' ϊ[9"] [l?4J1y ɊH6Q|:-ƾsMt1*nHF(P0Uwn -T@жoxKŜAKml(j-9?05Yo|{3R@g0(Ǎ1qfI$}uƥc ࣰV0O^ti}R*ٟjnl Lvh8jv궽Shp;V/ 6e_~`p\myd)8Yٟ,<"ח,9-w|􃁛F)B͕ 7g '+ZDŽf-9[n.? Z}rcS8h8"#muN'.k 9ni so4?czx> cs 2*Q|j?û4 ZV,:%BB&[5ﶂOP.uWe~:GނNۿkP?$`0!M1U0LqMȮÅfJm"Ok%1=`9шW9C%G 4/m .k$'uU.}S$Uqm аTD $*#t%.f5^X<݂ NOϸ2,HWo 2~h#'qfӕ1l9C"}څDQ9HUUG&T^ѽpHv_A<f+,n:݈?0 /6I"--6`gp(q۽OߔB$e8I{p9NBo_ ;U]{5-9j=M3n$J SSy&΅-E13x_Ţ6]TZ$drl3;:` o~"d.X_Uz1)潭Š^;Owb z"!^˙D'gw BbL]-km3\ o{6pT \>=Wu^RgQQ^MǺNIq>ڗMP\4S -')QWiJs#hC̊R >0x_M 8<0P1s4$"CR0uۂ-Ş{Qՙ)<ےI#[ K3K$nU}[`ͼ[ؾaT?TU/£[Oe!%4KXE[0\4!qxsmHQ}Mdk3,t;t5S+,zsm{"D\3c\n=NzF$G#kHG*o=W[#5ł5x CF\A^gO .h5;IGyqߢ}?qSӚFbE(!:r7gטtC [7o֥ݚ:T_Ne[HX(&v L1JU _ZOFҭsvOuVH#6׎ ]"ZrkEb,YO ]80b>ܵw1&oBi#*sNkJmjHWѻL %@}Hv:6>@Fɪ-0,%g\x̴>eYp<$03!8(vcD/bl!:dSRcIF13x́l7ٻ\'7ȌwB 3?Zwr7:?Āi0,y :qF^As5<۠CL 6@Jw^Knӟmٝ /xZh᯺Emh(č4hOQ^avF/~예'.c~^a&) }qpDʙ\IS=nJO$OU0]vҥB4/4$,|"{\w`> DVOsHa/k HYvEdōhZ4"#9Voy6^DŽGH<~`󋀅G Õ=X|&$d,'˅V>KЩ@ x/5 ϟ֦r<6C&, G@ulB̆λэ|GJ sDpƳ8`n/h_6"} 9v/dӷnXwۻu&ӷ̅(|M롑z$v]4JBaq.XFW;3EF2lΤ2k`tŮp_[[ "\J pőmXGm+Usx6 zgkadY%Ntbb(Q`" pGd it|?ڂmiуErkhԛ )^,ミ]$=oC&mQnaY,赐-E@<. #>WPdKjho6/DG`߽`N\D \%ί#2O`~y=^ ?.$`J8s\KrP {XpoJA԰©[~ ݜ ~ussԕNg3>K itg.sA&L)/>Xd_& #RVGMOK^2kbT~;<祅+yδ/aYc[r9L̑V׬#H?Z(i$M1G/@P n;`UKl]fׇdv])\$鴔]jfIx! -.C1:>ߓ"~.,l1>_Tax2L_ncrCt/0$b {nCb?̾+Cp߭$fü%7^,`C)2?:Q-oO*Z/V1P£ZϭRkC͖k~(3`J𙺀' 'N{!!HR! _oz ADU8Q}ED'!hgiLX,&XTӨr' z,hVKyA#>|qcC4w]RQ=>Z0ؠ>o ?ց}٬X|2]ǯN M'\8iiڪi@R{G19`/w _yimDoAf>/)1YIU%7$vKXO/e/q)#-%)}I<ܮXI#d l~؉g2f5Cl5ln~p&˶ê`eޟI2J]*oŐdg5<;0c5E u ߙ-0d[rȰIF/Q4) W{ =LWXW|[sllh@u?3Y<ɘ@6vȮLUXx~ fB_t2e|163aCu HY L&NőDG@މi\TyJc|X m`>t,uaPN.12v"z*:rgZ_ocdv(V}7nC9o2A[bT,v7ҫ.{i&!O3rbYPxG2 z3\WvR#%X?~%[sAkW Lw%BQʠgq/e*9*I:"A-t>I%msWTglUF 2w8f?x Zęʵ\2%kXENjQCxyf/0dj+QMg#oz&։\͹jT1k]C^^-GOHuC~'bJSPXSnZH|mf<2_lKWZ@"ė [piϜFWՅ_(*7|yd`"kk)W;:^uu8 vVLKX~.W<a_OXۥCTצ{t4RZ]Z/VS/&?y>aI qp;S6"ƝOe#''Ǩ"ewJ̞W(3Cm;l|+cM$^)hn0y\dX]WJ?TC8u:Y< ZBo +hM,b,n}s_6uV8wl.'Hjs4G -ܩA %XY?]/1:/rA  _7T0+z)EH@iZt3p"@yƤz H]o8+`.܄̈́B<bV\e; +XY34/aHfx}PsZث(4f"0 |Z+3M^nPfu!# KahI_0l l4UoRsk@^5hъ-Dr8 E,@%*hf]]4YOEκܚ*`HI*+Speeh?!5'R]",]<[hG.DiCb1(UuBB*_?趈ij 4P5ybwhSX֞6hj*CYIX5n(4ѴM6z9|JHYC~3j76M ^)j,vdxѝz5Q+c622jp`{N؈QF_]&ṽC(ۙW|qfyt^xJ 8/m P2c:V}[Xa*^!lV poYrGޡk԰yʦL__:D@^q">Q޿H,(FFR.0n olf7Y1` lV](fQP G[{[.$v O78:e"Ld%:;\Hl;͜=k$BU@ZOjj2vhyVԛ$Gq\:,ΟU1KOUM/墟 .0-0Әz_#0l&K\ʁqv(kŏny&R&mPf^-QE[ZjE 3Wӥ7)W۵dO 2b_Ա@9[7T</Z8`3=w6-'%7$EeA~$Y03ӗ)Yrhе@VZԪ`:[3{zi*8=1RO&O**Tv:5iԎlA_>7)D&Tp_}Gwť>ԡ빎ba  eZfp`u:EMzUf 7YRäPqT6OM 2yYoVjLDΌ9 ^"xcJ0Gj d_ūedݯ9ɦ86wb&z*1ӓh8u8CW;BO'.=Kt^ # o@DogO9&t4U)W.nnkNG9w3C1X0;l{|_rXfJ|m(H/]֧^8.HsBH7Va9R=7{0 [sAށ :}7ƈL9f=G¥JVHK Ĥ*=h *er^*$nH1wѼ1L9!ƚϲ Յ&R|se#8""' EVgۥc#5I\#+ .L"ʰnq ;_щRb( IOv'zvol )" s P9A4,yn"vQqJ(ef]-RgG9B6}5oW{nJ8ڵ> Kѩ:G~'(}ӡ cn[*:# yHn=4kW95]`꜁,tDBM\si xڬ⛐y&5 `&_pU v-`Ʌe_X_ёȣl٘}|Z].0"+#`[ch|!H$(@U  +(bOpC^oKOX1dOd\d+)\W1>Qm\+`ɂr"d vg.K[8LE\֙д[AY4*|)60(jjhMobRgtgu$&8OtvZ Wxz@ۢG++Tzw|ާV[z5Jdu.DX?UDy k-r=s kL~'F;xE4Si]ľ|8N(mkϿڥK͔@~э9`V`w@F>pC8'g}n)@(t8Wj`RMHj0ҴG5r*IbkuCF?Ajl{# ɍu 6 *i~쯈PDLA cK6G(p];mxdIbn;K I]&1-GVfr9U\ Z1o@Z1ϓ|qHU[DN<ų, UmV>fV(or%7@( Z0[șWg@i[Aɪ"?"lK[=;3{5ڶ5l6'4y/yvsDf%{;3zёLEuĬqp"|Rb n01v2 p 7=˹MMRwNZ -=hU / n"ėnLxS[Y;9n17pv!hLԿzS3PMʚIUa@@qw0;L58c)Eul Oec{?&:ԊB;Q>Չ/K*ҡ_F8! k]W8ͧhnd=nHwx\{R}:׮ß$98bxVqCAYe|9b@!j*eEtК`'&Ws8W6k'N\ YgȌHeM#pDHC{!JS{JZ#W9uH1Z;ӓ=zm-<`?Cn[6R~V'y'08*$ǃ1| bO X9\"O鹣@=aK%c6`+D;d`3$G r!˚d|< td',;M,XBۼ:kCC+;2@z8UEhCoњDr׍JaM>C*lƗq(0#2T_wWrbj>ϼTتYHz!F'INeG󛾃KF652_GЪW#g&!>|XyCC]$k>F3Ә 1\A 'BQH7JIcV>CXJJG_I`x^Hq/brf7jv)CR| -GsJc1UO;KI9w\8,NxZތ7|/jtn9v#H\]Gѥ>κ}Fj:Ϛ+gү@qnEq i^rlՇY zp~4"jUM;ᇎpB- ?e p'17GXIpNcum)o$r>P՞IN1q]: ?>tu'0=gx~+om*ϔD^{L% ʞZPBT‹m hlTo :=,oD*AKFY:"=LkK _&TP">c_݂lOxlP3pʨPYI]#a+`XS U H~+ ~[ОZąSn7FodZ 6/F6;W(=vwQhL™W2l|Ͳ@]ƺEAJAMH tSoP/ >:M,wC-?b9zxd:{ծޒ5ûԖ]Š]3KS]B"|HMJ}';cWh*84]9„TXaLφK!y mz_ބuu~lk_JO6ϒ7Q5keyKǮFTZ_O+xt6%'w2s,HS0GR}:J3 >صä{x[g(aj)v&9bJzjG~.-IKe޼uD Imq"ڢ6`&uy{-ƻ—[/fj}-VϫeQD%D}-!]V J]~+ x= 0t- z!@+ްGX^{lL8):‚cxב]a}ܒR S9 1}pHDZ>R\VkF~Of*YG]Prڧ!KxS:D#xNjN@#\Ë@:aE$jrTұ!Ռ&)) u0+liI 1++ڂV C^: |W o/!bUеadZP$u.ؓ5u{vw%6|Θj{;:8bj l`ty:E[5nd㽦sT#qu-j4h^5A rt!Iŀs)d #.i)}~cd0E =vIJ[ \uX'#N M08V%FC|J&J7}6noexK8$KDsd8UظZjEIs*:̡8Nh%8V.S-O fUnv{=!=k 2mא܉Mo!NVq*+"s͢gɩ uW/?@$~ulD DMA".bGȕn2`Jv8:C5|lM(# -;P6IR]@'lUOpn _n.#;2+CiJݺv3>/(|5BO i9#&Id,IrUf|ZB d 9.l!wRdlKTD_PaEoJ1qStdh~$P![v޼kGo's(@O R~䅹YD볳-Hp0f]vl#ֺxy|Md܊ܡh,ht[D]|}12ex1}tSA.>Q?iO~ #t|Q&~%eצ0Udh)4ŇEDRR}e1 (w7\ْ0j(µa!t=,bPSjYi_7oW{eX7hI"znHAvR5g>8uDMhS9{!p4KgAsLȍ8vw{0 c6URw196(;SJ~ɚ?[IgbW| 81MK\ޙ]v $A Pkܪ> G1ٯV? K@JcSQ> ۨ*ŋIٲ!t5L8frs 5>t %'$R;'a/輻2û11oq-aH!UV`srcLjc13 F.a0hdK`ܜUJUBIV4^9[B(2zK0KǦs z A&s !ݝ'd*#u@Av߸eŠo.a^-җ;}MX8iKQ:#cNjy*x~7k4*m>0#D8x(?07@5wk̹U\Ϝզ$@(R6VPFA˷wμͰba#P:3tr' FIKv tڪ %m-) ceaӵp(WTcQed~6pOjS[sY۬HfHrd)ȂMlx KG_ax#Y󴠵ZסYjRscz^Kav~{vÇƼ(ZetInȜWQ;QK #RH'T, yw}k̖\`vRG": Ŧ,s0<5@ Z/{߷DYڪ[hO߹(y *JayxQX_\$Pϕs:gkUIHJwnEh0&OAISj~)43G[Ĭ3H&?՚洈oH& {dcV<'UatwMs+sZnks'! ՠ`= b,;N&A;04siR\8lzt_ !A)QV>T'Qg3e/T!!#:OA\\-)Akksbm5L㍔25Sunwf_F8 Yi,W?zCtDG*R*ylǕ5BA$ݬqJJ%.8O%$+[)T0hw 7xiN#.Ybt=xT'bi{OdzΝr@A _I*#oŸ/+Бcc6.*0*7ϥ"qCͥP[s:c8 q -cR %%W'}ӻ X3`wŜj?jDpJu,EcaO3lL؁$VgnYC*K۽$`^a D {'KDH=pyk&%O_D֘U)5,ՊXfAoUS2j߹* 4p3p!lcW,jf,̌Doӛ୹WBOxND*)Y=<= !Cɂ᤻l,4bXd3YAk8a+ .N5OqE;_Y/I$WHg. /bT) Znз@.ɣRbE?) H' s?*ht^w=ې_ǹ6hx,Djl8i8G:]x=uPd !Hq }p(?=)~F;nm7YuϿE~ G;wF k6́rZֈ_@8GpC"8yY;*% uP yG:=z1/uceK'!?zv͙ Fq;̸oσ>(y'\۞ZFle@Ɖ{ zh\O&!bHu23?{>B&NRdngXp X5_֠s`7E*b]zyǏMTv# yVN%$њ:.qy/Vvd05&KM(aSP;L\EOer}>P gkQL`Gϼv?dԊ)ɢ H8?zý85TE%a[jV[">xySM /ƚEJxc)J!/+a5zĜudPZ?J1kC^dӢwΦWG^<~!Mnv" ߔAxy㱟%9=<`?"7֌EP@AD bT y89{C˗ *B9J5$M4>Zڃ?泝3\[;~33hrBo 囃D LɆ9 9 *~ЧEtrHNW&awvtPWδ/ ghs_ JG%6 YG."(@ #% -Eێ#-FM]jeo^@,~#z7=k&@<<-ud6mۿ3rW,Qpa͹3VZmҵhFO&x'831N4a( ү>TzyiTeM U]{@tMLv՞.f| S?tfB("HI`qX+Ձ &̏?~mh#D:3_o%4l|-* FeJMfmIE;ܠdH֞dw~ZaE%iαQq& UOt y="V}Wl:jy"h3pԀw/7#pX PYfuwa&2ܔ 67fxCnݳ!pR:h!Y'۪Og.|:YbTL;=m6퀼]1g͜.UE}[~Ek(Z<:EQYp>%m"nz,q QdMx[1Of[ P)ב)<h,(y/%jN,FU,WY9A?CX&{5{woY #fmlu%?', @LQ){ HX Νѱ8 ^** x-7i/y 5?T$tժ9z* |>|g4l%߿ߘoH7T#fmmtnzx%՚n95ΜB`PzVpZgncc"|^ ID7TYGK:%BR6tp4pwzF`Bۚ7YVKQh#װA.LT2sΙ/_<d/%O$>QU<vιZ+MC>yd.r7~逕SJr_)~/a[*;O:SfFe[su! +v sc ]wU U&g禱gYZ7zXZִF! 3]ŗXiɟ1?ߟt;9HK?.>e7"g+  5:R<Se+|lpJs]î`[;կ  <Y mZ QP@}}+6Zp& O5b1jSESeP_2R0 VHfu 'LPo  LFhӜ|i Ԫ$Ӵe6t5)1:I=9r+:C̀'GRh K9!˲5k Zz{䫙-AމQ(`txgYZ7zXZִF! d]ŗXi%L!loV|K)EtRRZ j =,z1*dOYSvub qVxB#zk`'ZCћ *k lrmEtaA{9q q%9#TMA!"J,p3fLׯ CS46DI-B> w]FZ zFWΐ_bZ{,/Yd`d_Ύ hlwk ~{Ej;1t D3Qi!/ ཏ n7N^?sqaw5FMVmZ\O-W  {lHpd$Dp`&Pn2ּ\w {%FyXWO"~n^ w!Pj h g8t< fCp@6H *r>a0zj,}I7䡋7#&y$&3`a^.xz;kG33jd'hcrW$4M6x6ZQ5Y亰/ >sLbaŐ I?5F}x4I\‚Ϛ>;w{Lr̫iN2KuaDdވB8츌v p(HƉ,TL%#۱6Jo[/sVh͊\XrDw3KYrSI݄ a$  Lotf/1Sϟ)gPi0,&GXk1# TiG5Ekϱց~<ڈj$|Fb=,, ց.baco,GI}sb8xuRSb^!wjEg+fʼC}Gn+'Fy.uY_&]ܜ喈Z倡!GHHׅX >õG) %;e+ml&|ƺ2= ?Ɓ㪙t9%<3Rc(ՉcPW*t(iz7\K&uežDCb:Yd>7 y[jQ:ĻϠ/lp@ry@X2j_dXgi+NR | pH-f>T&a50u-Ay.oyV4nYɺ&7VlAyR2(os9e3e&Ea@$Z6][5RyOv',Ԟ5۾-QV_Owؼ6A"2Am@[_k3\9w Oۨ&"k<2\.ή,oaf>^ K Juęd=^QƼ}[u .'pNqJ҉ʨ~eƪ =gYZ0e018adeae0ca2f611cb1fec54c63e1c68b162dc8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d