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 MMw-d Q HOL-ODE-Numerics:threads=2elapsed=787.124cpu=1453.384gc=51.392factor=1.857zXZִF! J]ŗXf1-/6vRZ]C27|ê\?ڶ;|{_35I1ŇnmY'Vsq8:ac>6-o8k5ڃoJǹ y6;+]kc//U!VtP ( .XV!ɖ^T՝i/L?̎ɭzf3O/CTqa\4.}Mwy7 xuKt"萬i]zjZhǹ8I1֣.N&HWF {,5Ԧ, LX4ݚƯLeⳫ߮b@s@ڛGR)~gN3a%#WAn_6AlFG j.Tp1l)+i؊nSTmX̪ސx99V\vDdMe.qt4Sb:0aR%fN{zUݎd7熅K_Vj 0:@z `O.8qMVZݽGA\.k,7-;Ρ3,?2kPZ`*\~`k&]s/STųlݓk20xkz>n6&%QbU@+}:an&dUþ0\{խcd}hAb2u3$C^+Xқu88M6u8H_߿ȠYk J@1lZsrU% [_#w svfF˲..rDb t=~Vpayl Mo Hf0Idf |guL,anS,[va?j{g& FõgJ[Ilz Fl⊌t~ # 8tp_Xy*N T Otpቜ}s1dzhnGD^5$Jҷ.ԑ{M:p_YEGemգbb}҉z5O LH!=V3;=Cg% (˼'QqOK:J$:Lb-Cc. KQxg׫6HQt2sP4ը@"A/pp LGq i,f7+ -Nt"k4g7r$11(}`iUCFSW.D^RvwMQ.D$LSN :6v2+8L"$!I/^@Qn]nw2!Yp^Q ~Y_l iGv'Nx1nYZlXPg` Sy[5(vg yUn/1b KӲ34񰤛ElL9WXE٘r#Ǒ,!sC5YK92 []33-OLř{e{L%K" H;I.\*h^ЏGFCx(_15t džAQ1L~6w*1Bn]:N%|lSB%#Xq~e[Ri_$3 v.Noӎm>70Pw?-MQ:GbkQq)@gUc$Ek; >4)v\%2h,$ #(nO_d0yp-A3Tmvs['|u kk$VU:ILUI6wa `mݻ+'4NF`LY@OyK XT+kzku-ˠ̈́bcn̲/Ev-DfD}DMMi<8]T)d)Do=):t@h1kL|JjS!nuK~ ;T0@OnaVN4v=$_#^e;9LǓ?hl}Ў/5>zf֛Q h| - HOL-ODE-NumericswJ,IS_Mj+x Ax[_%n~62= "2?U%4.H9O:&B8A Vz qɱ<>{<^%@nȉӢ{dd`yq{@JH۪҂})x6en̫+FA12U$}F_UQzw^El繨gߜRmj &K~YcvINvv+)Ԩ8m :^ z@l؏{^WwQe6Wlrʱ[ g'JXsPavıJZo/CUD omhr#$dl1 COd VG@4KE;U ;ԼۜP?TO_ &!^6XoDmŹG![/C(M MS̮SH,m6H(Z|L&LL<ۗ(XMdo9޻@ASɄvFtic̫ж# /O'+/UwȽ.SM3V{MxiɱcY. pd֚o$n6R;w*_dzvD2:}\lg|s\<$85r=U)FG|ܘ5! +t*Jf7qJ50ScW%#*EikO`!϶ֲX\;(cF) TX^ kLc.[jT (CusKNS"% ]}Ϸg{#v:5Ɨ-KΓkx8G|[lyث5ZnM!W 'qC2>[ZX"}xKԺc`DP!-FYة !}RIAo/'ԃ-^A%8"˙j6h\:<4Ji0\ {pk!gSi捞rdիNeD~K@j@1Zʏh*;ư|Eon7 ue0(XȢT0"۰"'{GcHg'l<M s]@7  픆8NQ&yT|4M[tԓiFE;hF-{SaVA!1.n"o}[M]`Od>kM`D{l 4` iO:׺CbCfc^q$7LCGkf(Y&0#Gf|?KA]Ÿd!Ճ"-`=(Coj-, $3m|5dl#Ү^NOlAm@!/*z\ͨҚ]IuX3q]OE*oN7ID CQ7HyaCw]0e{d{Ի 2cx{R^p.WWOkLqtt0,,hd' VCh9Y, [x 2-& F #/Dwrҕp⎑%BbYĘ~yq僔A6^xo;Ce[cE] T2ӡį\tZX#"U~x: tIC1~"ވDg{FivGBoȵ.9~[p]hdu7T2~P 6H4c=ײ黓?[D1EՎ?}\EHm=lPL ^}wWOy *1}ZQO1jr~ևhI=a2ȩOG!޼׋Lr<7;㢟"g4Ki 3xgj'W- M>}]$ Jg쏊SM 6>%V3[rExH4ОԊr#(^qBCJ!b Gm4i;MwA%|TRXH:&t9&&ekBٰ`@WVh)8E?J֘ ءo`j j~F[LNp!IygֽwGUpVV3c63Ϋ h^ "?C9vSNP̌7eLTml` f-]68L1A:(B:CH5!r3'=] d`L\"N:E*jFJc/D)e=A{Ok~hyJb$$#EiQةeT- ɓWClSJCcP+A3LEC ?џ1B85]PdEךKϘ 8 AC>D6z3&xڀ`ъuWe5_wu؜yFk)CF O)Pd1$t.5Dm:s-5beJBHBtR88AƳks֛T)39v.9BBmY]! æwOq4\$:$%Y $D/!JEdD< Dxד,|eՓlXN[_ef mP8eZ0Ѓ.)€^鈪 kfiŰFLO-L^p:&V` WFG@,{Yg.={xK {FxrwT(MAK"#Pk/_PC62.~C!I3=7ܼK!(CC'cciB2I$LsRǩmzӺi={lXbPOބ('T}LV_u& /UyԮHqIXْ/TRϰwrC/C&)lH %1zMȒesGo迢~cu!_X'7Ka-.C$fdo3 f1;M7yRIn *0̯e yT6GyHinfhVU3t4^Xں51م0 >Z< r0ͳ+]mD}*~Љíѫ` 58^dN7\;ܵh(KSi :?I4#-'aP|\zlMIݘ=#$2MU%MG&zQr b9n˲Cl)ؚE$] @"HYgKF\y"Ķ p%>Ϝ-|ArL#,^pߣ%H{!a[bH+e-9)ǣt "mF5ғk2ǭ[±%Y ; dn|ʴJ@.3MU-:iasVd,k|R FVՎ9^ɊUbq;sg Q;" /'!ܡ1'd/O~ؿ*n #%EgeNJ/MSԗ] 6PJ&ɺtZX w sv}́um WE,G`-cZ9kѮ1\,,+\/}btIJ eśϿP%&hL:[rۓ?nrJOvHW W[;}:9>BItMPh}NΧ:-&'ûĕ[[DaGZu~'iUV9t~epPDxJ5d7:41R=k g.I=& # 2'/"Fao/hJ81BcBAqUWn__LڂlrZ0ajXI (gka0_h0cHY\]GȢi+]^|Xh{K1hxm>!q=ȤCFۈ-z\CJXCebwUU ڔ.v&d~FλFm87jS$ƀ=Մ/,d:2R=@1FU`3d\|e/7)y1\uf|GpRGbu]-DTbAkX?f,͠^XX]ILoK7ւi<,Z&Msl~ҼB&)$V9S2-W6 }] 0<}0{QFNpA8S{֙rZ7jFsj=J-TOyehZ8! +כrYmLJv^͞ O(PZdj'|@1@m8:Va~; <&9}C'zU {Z D2>D7@GO+^xsh)抪~(?5)GdAܮg-,˽ѭ‡OUS9ꗷifh&X" _ ]b|G  6ԱԄCv6_ #;ݐ׃u1cYi]Fr1/Ι[ þ HQ%rc8v*}KDPJL{dܒfI!+JR%'y\;.U6{:bހ)]4¦~|ઉ*KQW՜)̜%Y"%G,p#*1PL٭a_'xoK&B,.gQU%^%]36+bvBtoۮD%i|7bF%f,FuJ5{L~C_v0-썾7&bˣ2z$i:6|YY2um ~TߔŧUBJ|a'ն Ϧs5pot~zR͕ګ}0m;ESCͬjA[_m_kbtZMUwC%撖UڔBmGǬb2)A]&'xǑB[$)n",eTk M~ ;ݧ! k&;huO%88FZmW?pjYwǸ1T9^pF-<6OA!J~&ȆNл.}ͺH^_#ic1z?787Ls@sxPƽ{b_Kͫa&Wvըu%3\ (^@1C2%|ם1`A ~Ocs⽿p¦C@o3ˈ?@`<}7kt=kOD6Ds޹. g ڤBHy'K NA 0]eX@tBh!!K6j4R;Q9Z+ag?}v+a>n܀P2n|1Dw0d"99}fvPcSW a$O 'nPB?A^b|q滛| =TlJ-('Oe&w9~j@pi ~g+%R J dȼ&EINJd1k/8ƒlsK7V/$D+Sr5Ct3:ɇ>PC2wZ4xFj9-X \-l+XIP@Wg&Adӝl#:*@~qi\ S%鈧efϊJ91tڨeHp7z)Njlzoo)!dDҤ ׺-tHfQFϭdVjfn+wcU;riv9M@wɺXYjR_moSۖk}iouOcjo-s*UcyϸDdJ ZǸw2qf: [[VpurrЭ[<2^!kmgc&#yJ >|k"o"җ(׹ &2*C6~pf͵MDrϞ!sOը*').^]IZQƸfؼP~k8Vuy{׋(GO:fR3a5 Cxxfĕw!#bu9^NVYFc\aZ! x(ϯ8@G>];/w /Q+kh%$\4QuD)3]Mlf{Y\3Dn#sA(0ˆ~ ꐖ/z7fdw}o? tF!Ď1 ȵM,C(O*D~qSOM}ج)R UAR01 ("3dj^a+b`W7B;yr$]h #BҖOH spwoIPV˛Jpz^/閂Bѿp.m!_rBO tX|9 4ɩ]|I C)>~\Ww0Vb`?]˕Nk@d0uߗ)#2:/Zhun)~C*-eézN.`,_NOsUY u \K>(_w@/dM"*0L!uL.E^ސI%:,!s 2×Eek-LL? R"@4.edSpͶXjkGg]4uѶqkY^xs9e=xR/3C`/EMZc 6>E dqIc)-tWٴb>5UEs)vE9RQbNQ(mmX$4Õ߳C&^awH?ey,r}qbf ")a$%zAI",s z=Mˌ fq'և##'C%?b$[%}9WW=NL9Ԃ, Ռ& M;`Yyr=u(OGDg;Z: zJer7N:ޏîNr,^JP(^F;gО+#d+E^0V)}L @᪏E)T ޕ\#aNu7k"3,[;ɪPe?36>)z|]NhʿzluR$ ~ m[,O33YV庝ym\DO>R`W@)A!;evsP>ÖFv@ӜE?}KuŸ: l>QW5"Cך.>cי n dv nr/^?hYxy}.0߹|ݧ۷v"[?Yk/o [j vZ:@F[5lK[." &Ѻ>jWSX02²-0@ #LZ>́ 8Ʀ>G} GgXSןl^CPe CD&=甭- Î vI6 qm\sQ.uYc4R<,}Y^2hW ;*pJ<}weow23w\G:h_MQ8\pIɟ6 7]zd^C&tB]1ncrf\X@[ +rgv35l3SLc )4fr u6g Oa$އUe 5K-ltXSt6-.ܜ0$Uxx i27(ivcfQљT+F](Ag{#EăfM hbb6VRIkÌq:g CV _9\1*'<ԉ\g@B4Є]ƂdPn 5|[%i ܞ.]j/L|g?ˬqUF0Ȑi+Up/2 *ĆlXsxʒ:jb1w#"t&IBpVv [Gi >lhIM8h [Pq{f5+v? ᪧ2 \96>#h*ݟ1]J|)#6x`OaDg!^aQj;LԎtheG1vr ߏFwO&:8{y3Id=;sI2k:di<[SH@cUn)QFLJN9B/pC ϾU50L}ZR.%x6csxq,2p , B:S7G:43iyBƾ?+n ȽK3H;Ι4cD$c 8A2 LKp$w&@dPh-o&QU׈9=߁;}#sU10a9VMgo82\+VzZ堄= [byycZߤ_U|VRzUL݋xE,w,NEdԶ *ٞ k*E`-qC{ {X>pBзT&6>֛El\W%t=+c&i*) Pb=N( T$O? =09ZE =jm6uݺ:PzDdK.ՄK>d?']ptv0vҸ .jxgf>a4j+AdtӋ4\"0>~qw͡]*֬w+6;meo YOq2t2з+qu3}h^L CP {xu%67rwy`1I)ĸ$zG3b4*K͒{q>tR¿7Eޥ5T+칺İ;G' $@m*cwsn-Vr J=$+)F^&r/ cX kiGbxv S<Ӏ4W~q@T;R5ڞ? CM"j".._,Mk<'  QMʹ 2O\#h?0zZLHbXgPea&3{9/&q h%{~Ir荠Ǒd 6tAH#&uç.7LuF29&Qy#}wpSr^I!XI.en;S ξ_(9,.z- ." )L?*M)2dM=oBUk<4fLPD3sي}1bN[njOgdʣc%C11pSɘkbYIF~EQ#8xReb{O M:egU)ymi&,ѧ$V:4ÿ@zϬй)wٔf5| п l_v?ϜJʅZɡE) * bӳtVULC *~Xt;~ahׇ%ؓ=y3}to%\+E! ~_ǮtsgX^O: yrx{8kt܏ BTx2 8?2{|[f l=8TYƄլlTh&Y1_ !A{O92_XID.8Zn&.,HDwB".Z ֦^d (W/^KmªtM7ĕlb$q1E4f zRt"@VrHsؿ :,܃7Ggq֨#;{T@ɾ@t9e%"B2Xlxl B`nzDS!QqH *7A})QgD+I#[h[ϋnڔy48"lx6!}\+ΔM=iW$l.s k:'ɐ]vL7BX.T!hL& H'MO,Ed_|`:>-𹄈Q=04z8b[<@ w`!{$4V%EjzG/PirBN Df1$?.Na3N?̥=- 1NdE*4 f){ C?: §JJ%մبF_kZ*x/< 8e_]< ]rfu ) DCZ_7,r3:m֍0 ;͋(JfD)R[٘Ԏ]ߴN^=VFkN @ڝAJu=hNcMEMrӈ;e'7h?B)w|ZOdԡY"J!J7QS`8odeiA Dn 2MM nYf)P}uzuc Š[g(&J碓!ӧpZXآ_lw.c+VF.,^p8F|hV o)=r {693y);LZF{g"Q ^ƅ(ir&I#d7f 9E J/v }5]}ddvoF&Ʋ;*RIuC,yZP|?5:YRVJ,:PxJ^ 5:9=in5ںBzCqUuˆcX8  j 'kQ'So;I'dڐhmik558k1X1s%2{.E$> js5|(PXr`s˴'iمqr=V]nfo11wH4ND §.:躥;ǖų;PAb'OdY|[+;)S 'w]o5S#n cXNl}`&+3Cȧk@c8֭RDf5+Y7`?y538kjJוVmaeJ*$n:zCaM05/M|$ 4:X?jYXvs41r k)k&)'5lǛ(l~ҟocNt㲺[[' I=Դ]KH[ñV-vZ.<>fņ{F;u.pL{7#6}0JAe(GjLܾ2Đ>'Ɓ:]+R!)]>>[֏ټB-Vcy)kUӽ].a2NA^ȼ#WOqR?Ǧ_K-;C)V ⋀&Cm+&QǫpڭNޒshfXߤtGd <nO!p%%[I4gXgRICgs6tK4=<QZ@Q@"dWݹN\NX]zuk@r@ZGd0TQ+ՕIgYZ7zXZִF! 13]ŗXi%g#XLUPK9q)N$0y.A^+,n.L뿎f?7ꪸO46x\1q*WR̚'2?@>嵱(d5K_ $(CF}:S9WS9~[y:v2!&c% >f0A% lƘ2O-tb$+7Ouo .ѬhR@GYE3C<:n}=k&P&Aגhi?s:^u@cDx#7P}ƥ2,JթA M1cQ9 Qs{ ⯽ioPEU&@Vlm|qF˃dLyGrTNC .U '66:?*)s H 1'M{s  o5oNdSP:*K %P2-oi/޳%+~X ׃jr6swȮ_rWK{nʃ IB+b<%&a}sRhX/JqZ3TY6Ve (~ `\XN'"dŞSހ|q05b"BYѷETbr{lybÚ\#Q 8ʓ4 צ-~}; N+`/:b\-vD41*O[܃z" H+te].]`]\.x{0 mIIkѬb9%%SY40.~bfAi&)(iXɦҪs xM#PS~NtS. ?iT:$5C{)G+m,5((S[n!7g޹ؼ Vk n/SeF]hnl3LacjVOb NAx{a-`oA9[;M VMN؛uaRl"&GSz-`o؂M8Je-/@/ F~-|6A㝏zLiQD>z5$?[Jh9Epv,g &<}$r]'ZDUHT'&qUHd}ߑ1q*o!`00$8Tuasa ]Hz4j?K/(+p.GڏWp 4V}aBiK8~+b;v^1@UJw- XvI^8y`by|Rjrk~ 2ycJzf{w qӧ1!ލ9ַ\7GŽv7i i8:%g O8fP[F ґxfnAb^?FQY +xG`^eͤ-j|H324mR/p}g3G7P }tVǚ0K , m[H)#ycX-G N j+/?:G1l`[dM-ɧcۡ:Agb(;g0We&{L`wb"xrSaRպ_dy]菅UvN@\lj􇨊wdV٘jz@`1RS%|]SҴɸ+~$c@vë܍fC&~M,&gB2\w/?nQ(x;z`)i& ;;=QIĵ9:F26 =ddF"kəOOZ/1(-C}6tp$y4Hޡi3鉪7&\0l£\9jgqkqRqȀ tUxxAh2ft&$oCM8Xr,DM_r%0$9zR %a&xԓ3) ]rp_T`'ӟuoivwKvnax zˊR]<va,<6y$dj Oe^N܍꫗-k, џ~"uڤ1|6,AgVn8 MYW4?YΡL~7AG0PdUTN/G–7p #M|XI@5DX[<[FpD2"Zɡ[ VB@@j 4fJF3"Tn}y|~,E[LWPB)rqE[$akРԈt;$oܽi]Ef4"֋-Bg:d{1F틐(Br$T][i.  0l쾐LV.㌒ȫ}/GsULz- `T88Ȍ#eQ"q{ N т9=c26#ǘQuyݜW$W<;d1¯?qcAn<9]sDٔ˟8œ2p] 3"*tߴI]7~gV ]!+dǔrbSRlk?ͫx*:BIgqlnjAe@F E䫧XG,|Ā0B?S_>Tb<d}2~5LBSoo+'? _p3x^4..ڕ8Gay:O5&ǝ.=$uQ aDqEfYJf<~4b㧮&!!AwS=*nX.|*$Q$}0(W9:ZY dcR4K rdKaI@?xD!ԕԌ2xB` fn^ʷ(ҹ0v#c"ƞETpwu4z$AmD:8SSW{ RIM;ԥ~#Ag*uKIR],cK2;.Mn"r<#6Sc b7ZL3j}O#]K4dM;CK6 Gl(պ_O{xp8%7~1LÝ-e. .Jc|`[(ij';MTuل צZz؅Q=b0:}(lKg:|R`:kT>\S׮SaI7X)HkfntR@o@Xou7̅L ĽCJoIXj\F!Ϲڄv1X-/0皬6#*5;xBă2^%SdхF'3xzÆ*xk*R[rW\-pjR/L5Y 6ML$ CA( w3P羳]EHe$49O hgv=Zkq˕ia"ڹ4ԟ=D> ;oO<߼#jGoʑ$aipYԟiHEZvYM ^56*tܨX"._#= lqneK|cy&0].:7}-R2IJ ć)zS4'u>l^8P~k{A7UnQTJyzĹό`VupOn]C ۍ0^K:eZsrZfQ:^g= WV:LOOYe (5\ fVJ~>'$nH*RKyrw[:mf7-}unJhV^Q}+\I|VGqVi}m^5 5?8EzգjZT UB qىx -W[zcKIVƱWAG!Zum#B`MQZ  \z./NrU0HkEE(͗K)OpMr%EYj]<}yM.\:DZ) ͼ5~U/ṕ*F&U=NQϙri^5謺uN[OjD%/,uא `:!-t49#4)?2}5__ F[vG ;*|RnRSNJg៚]zn! 9K[58g<2[B#ƜόX*{zʪ_&D:n!G_؁;X'ifLf"*{OfN`u3ɣۻq/. yP5ڵ]U^P|qʠ|>311CWސ٠)~C֛ '/@íl|OeEQp_ 얞8{f&ߑqhU.k$o _SRXvDKڭTpbÝ5AU ߠ=U쮖{̆d#SYo_s fqˎ~${5c8 )\R?Js(i/O Bv׶ԅJC$<^ׅU}C) o5^n9}[-5DՖDhx\YbHOX@1QNJMbVMVF$nE 3xbUS1&<w7^^80hfIX &H6decp}bY9=_5lA\u8 =&>ٵ~I՞-s' LS+joQ%fFytk6dS&]AWpPrk6mW9&ǶC tB+C]ں;Ȯ"fep4o>dQ?:Ś>7blTy2CΊs>?_:okC{,k p8e#1FP t.ms <5ƘBv6_!lxb/sbP{itB A X'vVt#ej. ɗ  qQT CxJ|}R[yEcODuǓ]xbVGcSX쬎E9o>pcQ%9՟ 9vyPp!$ifM3AC='<! ,$s^f'jqs44M^CHykEt4 `KXY6_7^NB᪥4c^W/խCS.h3+'ȹFLV 6 3n}l/NZw ({lfAq5x%&6&Wƪ7/w؞}sb4z}u-$vhaDs&nQ}T_r\m6/H[)^`۔NJ=n`˺\RěvHy~t W,s:z] Ee狂&ߥB $_s𢾓؈EgZ gtoZcD+bV3୍eAk*Og.2v:lLp'5s]{aU þj HQXP;vQOF .}`'8ۦs^ 4,zDOd +c ך)Ba#I /D&.Q (52M;FdǛ67`ug!ˆxţv-^j}EHVcr~Pdَ/[[) ^G6yeR"|2?r|!l.|ҷ'KTKe+In>]S5T9Y3ݔ:wZ˛T;\SrJjymqZM=:'r۝Ojɾj|玆9guH#!˷0 g:k<4nw&jaѰrJ*$QqO |!G")Hy?\%j1Q+c4$'yP"r_6& GWKDOq/! M+=´YmE!Fq"v+\F}Z>GmZ!ɛz?ƕB劗̯Cpy` 6:*snKc[v0u:9:E \ Ҳ<ʞQ~} ]{WںKe N%u`#3ae1OR rkP'b6Ĥ\C*cp&IZߓaY?!$a^&FՃ5.߼+/P `c_>(`~D%luDҖ=BuAtW9`狽ˡ2 M't~MN6tTlbܭa7 'A`h  6: =)xɥEľmz,ծ]!B*:)שl\g$04VwG)Me YI"m7+QsX7"' ~_ Gsʙ r;ςඬgeR&Fw1|@Wġ-`՟AÙf UsZTaJ‡;i}gp +U :i˖Tf U՟<Ҿ(/1hIpS)BR68 uxy}&#aK_kbs A>7J.D6V7O Np1xi16H/-dͣ@u_M!MDDI/98IG~TlS|:+fH PgAfk Z;8#ѢpāU. 'DXw ߠ]Syoj𑪩91XXZ8 (P@C[Ks* g# cVd{6w=tg ` t7I7QaN%EerA*:>lW '4[i^&\e^@*U6JϔӇu;&TZM¬ixk@ƶ-*u I6ȫ/3cHnVC{1t"즿HSB LZ"P۫FWrXFoԇ iGϝI֯R15P;NX7:YsωK3ETwD7yЂ)&рFy':UAဧJ0)#_q m5&lJV+"B鱟R<м*_YycDqr,Ps ξU?tfQ0„D4 p4aWsup`zʦ + = 8xIJn* 4'yѸA%ʕ"<\-$f"3Z b,g ~UBMT^=€gs]sҎ9g6u^lΜ;,ðR 1n5&4[FQ?PA?ŸV_O/>/qKHcUjqP'S/jLT1Սy{Ϸ ~j[d[{bN&9#`6윭 jd&ޔ5}.bs# AM_{manE1s`c'zzwZP;O;Y[hn}d \A^i\0tZN\:+齮6&Ĩ3'<.Ů^Z#wY0 ({Ϛ:"$b~&ׁ E%_"YQ^!ba$ }-kcRҗvх`?P}-x]jKYn>;>h(%:oObݖ@w'u5اp(vo)&zq Ue'}bģӱPdxTk~.ϞƳ#Tɹ.]:PTLWXP|eJZ:G͍ }b Gyuc\lv24k5tIhJsoݵ<½í0X=1+k$Q{EoUh^ h,6}M<'5~Gً|o.#y hYOHb8%WwцPʦ>Z-rLӞ~3X|&?.ĆZO>?[Ŵ'hۢ1!vœ?!י ?Oѵ!C)=rcnҋ،ON Z!X @sTW"p#Qmk1) F&]WifLI3~xs9T:_"dSwPFnΗԼoL[-t0֘'=r`=P(#hfʯV]C6$VGeohv&ybI˲xjxZpUy(ሩQmn>娧:Ag-Бufo|xf΍!G#{?Ŕ x^rKfi~ZXq! >] ycrO?^y8u(XteY(]g7>cFǹ:"ViGJĠ H$534[Q_5M) Pʕē%1bqD?zk,| + YzuZGE.+LEo[Y&vG6ktqM;x*>:!c#xmuB tk{:گz`SUɤ̟L㶭41IZh=XVHhY<|ƍ_9}B뢚bqڹxE!lM܃) ao)c(63,67`$3y`trj%oLS5 _a<~զD2ec| kA&Tc0\nږS`ޖ␘逥{ ŗB|=9tQ>E"!|2vb![ )Dx/@j[зGrS<_a܆a%с.͂WIU <+SDe˘~N4WIߪVJoǗ>0UcES 11Jt2:ݡɗ!"#CC lIR!03偒oZzRJ}aLjUV}j]o=x"]:/uhKN {-S ZDEt5vE˅HB6$x8Q~>2iCOŠSJB)U] '0jU/u$_y˔ᵉRUx'jNjEb4y!FAd j䠭tqԑ\ -W8g9E26s`4V'}(@5$3GCnzT P^9u\yYNS*^")32W3[C;?@!!D;-;J'*ߨXRe5qNXlƄT]אY܎/UOGV#X65ݓ(;ʯ.h D889#ؑo%3捇,kT6v"hpY$39Աf*=_J%( ;mJ/.NͭX4:wc]q!)-ŀuR$^' Mx ^/}^kd̬s&-H >Ĥk刺'lT yb.`1McqlVW 1:@F/7(oRszr\o%OF'nWǠd&Lnhy [KRˮhfxpPکtڡ::=LFLp]y8#\x;L@pKK InpDP0uHZH+7(}+U;Y|B=tʪ+N4p@z Fn.ݘx^44Aɪl{=o+_!KXy{M֢fnG(ف.l$:lpu6eǿYLGCp ŷSԯ1ɸEcW`dڤ.th"kZ]tS٢ȨH`el_=@x%ၰ3'>~u(.J3se乕oJ<)~IR1#n1^PdJGĩ m')SҹC]|/8[P^1ΩːݲiWyA)\1 R%><*I]]r7,f3ʔ h՘TIEٚ_0(Ol0ĖP&>\hN1!_\f'W  .P'I ![%ʟF'eRWQG%`_9@ͼvTsM 2;0`N (Ic#xSmn-zgn Njʓx//b ?"T1Y<8T/+;{_1o7mMR689/WEmz %6Z*h J8p$SsC Рi.9r$1/d9 ٲqk}b(d_- _ `FxxfIL8KIh۳;.Vrz;>93V`|:Dn`6 ;rW\"rlP癛٨o-+.WJPr{m]DҖdQ8CA.v>+e)܄MhmhrCztrZyۚaV%U <GkƦQ&C&H_jg8h0g(rUQ؈|&F@VX'FÊ8(sWeMH"P,\%V\g5 f:7>R!_Շ-D6:ISш`ߩQȊ&7JrL!hsvoftQi$!ps2#,5}˩"ɼb#07 }tny{I07Vr<>ty=ZhH\\˖Dt7 C8xs>md͚`=qUQ=xhR:pvN+M5&{% |򕨧{f3UʬEl'0[ho]YvI&Q7XʯE7hL=e\F¤֘ξ. Mt]S2 rV((::ӊCw[Kw~a?˲hZ.r:Oi4R)[BG(iPOZFkN7ը,d\]W lwl1 E}Njuc3z %V7f3ُ\caԍ,1{|oMA//NcO!JȚ*{C 2g-ŏK0;EZ#%H(m #ԈSr6`hYoa:v/.Os䫮y>ۓܶBP4{ؓhKݠt>ee+Q)ղd¯ "ƙ,Kr_.S 7^Chux<4[상W;[ Q.6U"P! 5e0oވ&tN$b^PV+'#V*]kB]uӿIwb[FҥkԞ5`5J5O)"Ӄx= +[=m#(&-C4W2?5tDTS<{ i'AM \#*XX 2m'=xNGLJw& oQ՜mo'½ϳ(KyKhq`Ku[u ̎ @59pb9LNbQӥ Dt)F9&"5ԢI&*6. )O OY%RQi4Fu0Slfq6bT2bٚ1G5Ma!N-ַ:|͠MI4 km3ɤʩiw=Sxf+3-Ԙ\y|.q,9! pxYoO[Ǚ@P)/9Z n&)Ix!+!<`4߼8`Y|itKsDMcQaȝb2"kgek}hkዬwɤ;$ m tSp7V49DL]t8feG#D9U#&H2Na#sM*_a۹'7J[Ͼb%6a&~+yp淅産̿!KyAOgOlIҴ13w$ny)ʓ?Sw7ǯm6/?zO~ZeKŴkdGYP?v1yұCDf!7UcϘ*XM& i܃Sz)e58'Vt2_[+Q#xZx`Ԯ$]9YgY!”w굎DgJ\ jKB<(Wr"rp.m yJ*>  PÝg KH?l{.BJ (} #8# Ȉj:ثb.3P1ŷ65X v ,y`_& $avK"=VZnFR}üvKQφ8R4D;PsZsď&&PeP>UGCIW+b.Y[y] FuZKˈƼvi2k)HhF;;35 mK\ʞH+/f 5Z3t.M 9[1qI 0w T+KxT) /m80XF{ sun'R{\Tw(ѶN~{? -,Ӂ1z 1! ]yGL27Ki>\&FQu`yћU7l{ԯs7s>G1k_ZCr\!P\_;q~J $ grbp$p#hCjE!^[X>AO/L(sshGE]mi@4RБ[xLJN?S,gY=,%R[\gD e0D˚?>e_>d]c,j( a2yi )V'D9Ŭ|Lko? #jm׏>,^L WNcO$@"$?pDp%&|9]}Ӆy+F*?%8P$+*&l|B"t#m/~D'=C*߸%Y/,z( nc$ʗ`)R*-^̿YE[kH M8F&*[bZQHZ [ /Pc`DڳuR˳ت=BV} v籵I]١8%nT^ !p!zcnNe2K'Es}5Ųugj6 ݑύ)I}_cYe~I=@֬gno2 ~jbK뿰kXe&J c,qL[aTc~Dy_VOԙ+ZH؎=_ˉd- >_$&fEURa| G#o+5CXF5.;ۈTqӀM&ghۇjaϺo@|6wFG,UlSt#Ćj8ȕnwD^иَxOw-lL`QT8ݫ{Q屮BZ`n\wjjxs,S~FHJי$װI9S8<H7q*PWmA>z;s+Ob1a^V7]̧VURnD1GkKq]}oObxY%b-uYiz b gژU J7VEh~:]_"* ~+C&ILn|7X!$S)$ $gboMޘA#.h]5yWSًEWuQIØ^ѳ)Go8hYa^v'FI^`rZIP1?ȭ#;9蓹ao3~@VSHKC@'GW-cUCAdul_<[ k]hh]kw/ jZm8@"njP 07&&P|4D&dJ22WzxBF˨*TӽH6P<7/{T=-Qi~AA hVGmUBpg]/Bm"jSO7|_ԌQL*"Mkħ?Rm\&WAadۋ9%L|dq۸\2ˬQKНxntKj2F0 KLYMbtͲѲT0F^hV4gT*7ndQ4׭Bev$VZ;z2ewP*p!K_tR$.FK}*wURѱ8=שþ0m-Ul6paIsF߰R8gU<;jD-s=Qf%;hyI ^Vj^m/r2acR]yBV&tBn?P.kr)}W7t 3S$ A@jqlz ";B W9!wz {!ߦͶ8oF!x'Jy8H%T [%8,!`N~i*E!=<дUj=Oe L)Nab*ZS!;[W"ڭpJJ_鯴d-g}VP*16MA\]qsyjm,kk|ԁyTŻqD)8) Vuw[](mOf,",г6_JƕxCXbOp6iiV zmD?AFrH9c8Nr _YF,MQ ,/g6:$B(JxC6&L=4/# J[RQ W+5"G5|Ampӑ|@*pMlv(ּC7B RE8ToϗR? wpk4jbf $c߻8a^7pM.۝3Xh}SR 9Ny`?~GKY|fVK0^JTҴlz9_㝑<1 Ȩ|4r(U{򀰬!;EKqW$XAHVYޙ%G?3hvW]۫iOll^C:czp!O3OGG6t#[lOSklpؐ+0~ d,xsm#y+<] tM#3l /YnBdN7h.Y%QPywU5$G̃YvDQjYHȤih'G-w@,-車Z>I]p| +F'[r;ϖyfh?lDu(*- \=~ tB~&t ZWt3Fl{ fP+<ҹ:0ajĴ(ra a->?\9^k3q>(^w:PߩS;NqMN}5 ψor3I9Nɜ5 ͯzK5I8 J͎';XCTU: {&m\Dkב[g(àoeT,&l&t@=}m#υuªs.$ VJm뺟3Eq|MKӪ,<0)%Wj^vXr3Ǫ $jI<w=2hY<+7j QdQEjO//'7v'S}vC}L:7gpue*LXZ}5NH,% G(frN͐bqLb.bi <?*5P| ڧËD\_?O,szTzP)z|=7=J"@a8$}D[8w:Dg_đG : 2;Sb)C̝+ &XE3Tb$an0˽krCԃJ o Hu)N]qt16npB t#T84(aHZ1"$q3:H!vꛞLQkQύcPz9/TFt4"ro)K#by fdLddRSWdFo9>ZRkM̎Ϭ9aѱnWTVw56n#-wj2Ryk/l^&{%0n_IW(굦VQ7:joiE@&1.{>dBml1"{2/%o3x\/r dY1m%Y _^~ 3j3l)+3Å_-..R,JA_( _lHOԤ !itUάyy"3dp*F{^y3AL8o+<>4+CY1(z |(XIaX((2ˉU*˝0auWDgvZ*lvoyqxcUvĶ{Pq`N> Zk)\Z <='IPEztq] cbg`kr+nhHliԎ= 6uNf3'#Fvƈljd2ӃD&wm/"-U'LTP+#i.Zsꮽ䴮>VI,5:Mv4UJʳֱ fp?Z1+6rɕMn9ٓB\id# r ;)VLns9) +)!DKڮMdW&"M#n\ nTORcsAa5Ώ]g儜״^i߳iyW::FifV ]ڙOSӜE>sQQb۪֡D!Wl:%^ & DGjo1EZKGB HajoK\@s!Oo*Oŧgig@à;8vLC,<4}n[ydBmny*}8dGT\6aH0CTWrQyIit¢08Fm{+3+`ȇY 6Ho|"ھNuiIW$-|[#G=Ŀ3?-f (H*I Ku-ċV9@'=7|r]WjDvNhm}GСsi,P5;K{h^&bW)b(`zџa2OJ*ORD5*+a+Åp͸XBAocL=`IpJpXA'6uO7ɕ f]0*]+THjBN eMOvMGVC[F?v W7d{.^AN``/UbZR/f''>W=\{k[ gnOapX #0tubT@`Ķ/_ dS}c5ͶpSl=ds̤|\ #9#8y _y^йk؆-F.RFZiɺ4m)^LR(' UvyǮiy"-K؈K"~.2C0 ,/&1ij懇m~xPO2aoQ6} 9XL--n-w깾@ͮq2[ QMQ HP$cM%ky6U^ZVv~'o^KsI$', A*N~ś+`4Ôrp"J! jYR&ms:y[)m4bU&t+vlwsf,=󻀎BԊ2Uul֧&ZY;usRwZ9#OGLEusjo(>(s7<҅u6z8x9$LDThݒ2!*׆e%fb*4ML4ԫ*PѦ@+ųDƬqDԅӆa0eK:#sy=hn1lGe$.6˙ P3'J[jKp5j8wr\R6ώQ ^k$ w_o򀁳Jٹ* I"Kz ENn[U?S umqJcpk٧pD;mM!a"k4LTΌ7+>h|n ܪ.NN\W a*%%}.(@~ |hWJyа PjɛƱ`QBRy 4@cHL{ks.$7y*pXz 5pkS;`Tk(7\) K3 NVM-h3W' rpCћRX;Zv+T`e{+}8ct`?0VF5t|!6~|~8%Dtܠ邚sSIqkRS02`(C0.}wicxFgU#h³ ثoxD 糈 ɟR\E4Zץ6X8-pQKN't( nro# \gMrn@h Yf2[dNdumpNu<m0ZJ<(P翳Z/k*V\gnݘxtq>@UToU=b]ٝ\ +n:C򸐲 yMRUx֖XҫC}twFR E+SOkٶt*sv oW#YON;j!5r`"]9:iP<]и:ſ{mGBe޷9w{:YrȣVKT\:T]Ix֤.miIo1>~}bf&.#8O$7p4ӾCG\ecTWt5Ns2fWQxi|sKEtANX8͗|ϳ9YP͸Fg.M",]/1*[8P w~Z8s9#Ny}2]x;IIL.BIPQ0_ːɜFmiɡRv5qJև p 0A^d*y\b ъmgxܭY}azSS~.䐔x +05X)${4?z@lf0Ó8Ƹ،u+RYŶp0.^5CGt%vu!}Ӝ?(waKi?V9fˮ긍eAۋb*]Z702 fH 6Vx\&*܏d,%)5 <>AN^d',,%0GtMFM%K[nDTǩ! J( TXHSFIIɴ.{k)XGnŨ% LYeT5O9f!^2)zQkMJltE;-kr'caU΄i QSWa j|]S5w)uQ\\3r<{DV5-)/OhɊ#VPX}%⮻!~+dLTO"MXD{Q5{P"q/7H/!JjT^d ILux@i=p䪍sf1x x"b#) b%0!MbR,ط}:׈ 9i#5wOج( {55gd*!'?@DA55d \g krcfHRx7:#`p'Dw!|t'*+;VjRRgE͌ /=`lM 0\Fɳ?F%&ܲ==!U4 tBN5䠎Fp/if"k J %m9ȍĎ]1|.MI&k jJC6aN@%Aㄇw07$fsB)U|7C-Evq9v@`;JFDfՀ^\>A(V /TN%C7r^K {hۗg7(!gSjAǖc>qMGRlJZm1㯂eVN}F*Id'uaZ-:zuh?gx4 w00o[7r*;tbcn!b^zY=]03@hpC+ST8MH_~P:#PC G\L{C+qdI}*nSdzˊW5ګeȊ/L+%8lc :[v3:RT'ٜ>dQ@+I߰X).$shXm`do 'C9 )V2P8cP;ȴ͍A@ L|s3b RӱN^I PID:Mcbbpt4Vvx:NڴSrg䃦d4'CWƌʼnv2Cw{[ F,??Ю[큵қ}aT)}Re3JxvnsoMe?.bgdGKE+1jJH;R"Mݸ\S[N\2nɠҾQ5͊$ىcnT|^93Btˑʬ'~5vZA'RB22j*UAwjqbT*# j:eImlOF + /Y@ ;mF 1yXLpN