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 (|< ]S]Slicing:threads=4elapsed=305.098cpu=1015.644gc=12.528factor=3.337zXZִF! ]ŗXf[&R/jht'g)~Jհ[U)D%^$f.Fm];+k_B kUYE|˒qWQM0,9IOR;(чhpbr}L ;=G{Eei!]#OsSd GHǚ;˷tCi%4=RW.U9܇* tjq1Zj[^=|*.d珢kWYMӸ!㿝?!o9?qײ_$+@_et`l"3FYӿ(<)˔#]q -mXp i\oɏUf=8,Q&ݥı@q   Slicing  k1MvFS6 Fm5w43-*_%Zrjo[5dcDhzfՈ$~גR'[6P0=4&m zՉm7t͊P.ywGD <^Nni$-DBUOIrj;B ԜAE+)WUGc@n'"BX 0`&$Gwb\Tg@-0bOD4f1 c+`[2kZҹ9g0-&(yor!4Xo4l7 : &@$ӂϣu!\Iy̕sNNXr}]t650hyȑ&;WV)$[I;]1 uɚuЖQ@6hw4IS+t0\ Gaզj;b 4)ZKq ;a.* Qb𾊷IIBʭzDkPGJ1R]v.y#Vܞ4;_d9.b--UYZ|t):>Y9^OrAbPK2[v^swpw4[([XM < }ӌ?qYB@?b? ~ IKFa ys"6Y);;W @%>2Zȥ\I,o:rb"N{Tرp"̒RXeJX81Q??q15oWPSG6KЉ1n⯳|:0ߵ6,78N| z)-5);/"쥋|OΠpJT GD1(S]&C1k!X6R mu-Z1҉̔>'`h~ YTq\RL -G3˦:r6,[PU&)=W_t@ nfnym1@ l" AΥ'+Q/' iִoG̻̕zF繇-ĥ^ )vУF WYKX9!4$q`cպf;u2[, ɤgfHIZ+ABWT b1N!ڗIvOf4l)W.欩.)t1BP|=%O\:9z]tbbƅ&g-S|p%΁װs$Ŋnm}<@}*LN rA.fW}|[CA`ǯh;#lǧ*s"1>5O5{WxdDž\f–g#2> ׄe߽.qtim"JE!;.4! 93NxZaG flGj gbrp\u/kЀG-in'B搵. [?W,NplgYd6zAs/ߑvLC*c*p̪T rE)^)5tU8F 䲙Nu6Čӭ;)H]bͤög|&[L%:)D[2)N#/Ŵo =gBq!YT3Ħl1蕢̹W7 %Kn`b02 hd?nutfz4 Me6|MJ=,| TA$O9TBA>{\l2f+epj o[l2r(ɶo(]B'xGwbq׍,TH=*X^s-b{UP#O=cWS_qMRw[I7B9}KBSܙD m֩Βxc,-0ʨk*I搌HF;Jr?-;{Pdn ( g=ɇްX2kRZI6XQe.tn]e֠3_F{ԊuG} 1RW'2 Ƣ v 6"ec=_vD%QA짡6>5 /$'B%ݷv®}WasY*jlV )h7l_Q{k)@fI@F̍wa?|Kw:d%tf5IW<TFm"rA;[VV*g]kQgݔњ6f(&@MEϞWak~GvQ. j\摎]CoA Z)2P{jLe 40@Xk\HیDNs02]ǀiGjI lZij3yUޠ+tVp'}}I6ԩ[#=[ *~Nav'Ã3BƑZ*'pO@'ahc yt űt7rVڞp,JuC_qP=ڏ&OmsFjj}q (=Č 0 qwojXJ̏2zH5dBC>g4BT#>Lw/LKoPG֯!WkcwX&#j/WFqPXyfC/vחdVaPP58+jCHNߚ-ug# ( 'x@Y7l&ٿ(OX08(DKxw464{w: /H(`z~;ǫ'F 0? YL"K&+GtF< zQ%d"DP䖚k}N(!t^-֌ )C>2qYzn@7q8td)DCf %qqhMdK%H6M6alگ618"e\ Tj%fV`S#&swڠs 1>||3^X)^tJtf'ܴ%^ٙSB#U6Rwsl>8qsk0SD{FH4%Cq7g)krgYZ7zXZִF! t]ŗXiɟ쀸6馀YTg<q*HJEN~W9=/iRO6-9HY34ܙ/"ViGYeQ,ڿ֌8@/.י—-ώ}坴2Yʕ?cixkA!agaÎ *#gqHDpGvo|@._dXXޅҾZ ߤoE˷c~WJ ժK~6?u{z3(8Wby>'"O"ye*l10 6(0Yi @7fm'ؑ5 t:7 7NTP Ie*RX*a@:y b0V9<$+OU8RT{Nd)*uwB,i :GU^̐ c5'2xIHZvCD0j`?+^p=:u8?Ӛ {X5#hNV9>[H.45TzUS!ե lߧ[0%3ԋuJf F j3 [Hsd]o(AG|: ~?QBz ;]c iʽ`64}b'O6xii4 ;<#@C@!gYZ7zXZִF! W]ŗXi%Gf}s/@* `qb~W]OBJ[= FbX7Ed.eXeun,~nJϨn]7ޗ.p8ٜ;\v(97l SM*aJdTQwa;.+3=J!jt 'G6_vg:Z$;<2dc-'{'7oO:v1Ow-9 i5%_pG)Hj ?\aZBIYK:8,=х%.#}'BcbŀԔY|ε`k-/ܣf{\؞@1=-72ض)$0`o7[\]eRgZ c7!RK,YdchժՖoY0q>!9r>xͯ)"yh_'Q͌+G5ؙO~*U('%!:% E%oeJGIV1m.='[9эVm-֠;LHP0Oh1™^K]$RT̞rf#`gFqicHٵpNdmRiS&que༱$Kl%REIe0FtԸCyg YJҊO+fݘiMظ.UD&wwT뛳(H]Ӂ>nGJK˴P$בZ V 먯k~KՂ2El—u r5<[M@S#]vJ]hrC\//.oºXpGsMCE\"HpKNld-]cF^f=Xe-WDؒ $梅5 ҅ s9˚봷+<+&G+~wx=XJ}@q/fWhfw;B *:Xs*k:;I 9#2ꈅځJ%`Nܪ *0"q 经0$_ѾOea1dbk龊d:N~=5Odq5BڪSIrk= nŶC%nL4O~$phGʍJ~lT5^K^'De|1X vʯI ]\fj{"61'ij tо Y)}Γl9Gb,$! @ 9bafp?\ 3F?C;VMݯ)kax_ojm '|5z>i7h-X{3Nd m%wC@V^v6bڲ74T+I{B:F0'v&:UxuZL,kA#j?D/CW]=ްۤ[_"Xe匶yS"q>/FAx꣝b5a ]#W(N F5ۆk@P'+&ĮuBĶ֋6Ap399aq`p>Vg ~NaF&30ٕ{ KctYm,Z3 \W%Eq0 O=Cl@e(̹Pd ǖvX h)&$}l'm\6K4c@GlFB72+BnyՑea4dpnN 3hJfL>o:S32Ȍ_CQiMhwM*ۭ;7Es>uȿ `qXLH\?xh)HUJ!WRښ(9~E&}Km=-{q`aD9Sޕ65 NZ!6)&X[Ioa H~gDp%n7sfO3H~!]2lJȺ,קR yK(K* ):*{n.xDBn*}1y6hJ$ɨUBxu^Ȏusښߴ-5K$s BT|eN؈⧙ y+'ca$V[q1s byν aiBRydj5Θ]IYcgVMCߩC.<8dz/ 9罚&堇Uj)ݔa蔳4U} )lNWJ:>ə_}'̒r0Y-_zbq=;kq%џo@q@ye[ڸ?^#"A%]'WЕD,!jm ՉJ ?ohJK-+8ZƂ~Z`!E_3Y7!c} >ȽMy2~an_\+T[>.Y }K2+WЉ>nAڙAb +峒Hlpp[-zu%R7ͱx[+`Q 49"%MG Rt ~04=4իPXSoմWIP[)]B:,5UY6j f^u!."S 0qy{XJ"mpxk ^ɰCQ8wTP1eя.@$̢+]fQ"B8mOW`uUQ0[ap}S,c#̈́"k.#[Iwp2tW^7 ..<LIAKU[̈"Epz{(JF|}d+wjژOeVjݧTܑ"F; ݁7H*.=ώ?A}L,Wؑ-DbQ\ƃ4tqVa TG͘z%k/RdIk΄G3#Crd#x:x [d*O>UCoHtY<5`0ݧ4 oWt?WLG,I۩GJk]aÎ)N4-\Ti"g˸%xZiAcQu8>A녑?))YP?iCdidA\-p)ON 0=[ xbNu4l! ++^=)Ggy. #?E ߽- b{6gOKei\tXgq ɆmPsL,I+EE`@.`+i>6cڒNI,jglVC˥wD4Qʞ'1i4j5As%}j>xl9l+p0dn+[^zb) {=c\UZZ-y$HҳOf`62c殺[t$ŔʀasBqjwbBk OIkI, @=4|;d)fPr)SL[= mMX_fo!Fs 7A'E`QZD.D yYY7$8l-(5EH#vu^K6*,G*yq:f Пb*;9T-wAl'9Q׌ >]Q_}ul5ff淊cr? SVB<AB) A]c$Q1mh< Q׉I&˘E̚cl`AЄqkwT`QK)Qf(J~_:RApfשH(͋WyPu)HRմSi9_ ]B4JI+/DW/9c!{Oudcl| o*ؑc,*P"_\_YIؘakq_\ 46wz1Mץ?7g;?hVsx+ YޝGEcQ6NtݽPjqVcud6[6/a71c/_]HH/;f{d[f4O.P& cM i%s~g0TIH*Sg2(|;[np#J3dӲ&%1thSREєX^1j /荫ᒌ1Xu SFxM%Q'S_PEBt5G{3`+r_ &' Q !Pp%#[?7KIA/=܄(])>j#a;)Sh}0 [>jY -ACr?ۄAmՊ!.O"êDA0u*d鶕W20rP ֑|!Ѣ{8ظ_w$fSփ.#xTov' fЮhBcyםt߽*@my<4rݸ'|?s@F<ӕuk}€vuu(] t_e QV=[^OʷeϿXK}>kN| ,.ю/<;adʰc3 T!(גtQ2/h0Fpvk7g hi^lB~m+P7)bΐbڰեӁ#f,2lhT jnc;_nע<3EZ!+c v$}"!6A'DkڄU^k } 'Fʚth8Nr9?̐@q ˆ 5v@ At$ ub'6E`,Х^zܗX@3 cNa-qɧ0zF~,_)Ji_ZeBem QT(QU748wz'\! p4C[lɰ¨yZe2K9jtwhR~]sn>CN(~26Drzb NCoC.,UQSYe{ 0iS^afpt呏5:P(}7[s5}\>&4D\kc֝MrYGfcY76uMͬ@/wizS)nŭLqƿɰ}_ɫQW?efl\E D3 [n}̻Bm}ZO.$Zp -N5F͍Osev&?>kK l>`7\vɨҦPx_ff@2r`j5 ti3kgIDKQVX o!;1eë *4\zOdtk31w {?5Ae[ǣX3}$ln-TΗ-:FTq=mMfS"vv4_nlTc P"N}wbgwېv6Q犺іIJ_5/ cȇV6avXJ9g[|R~\vz_ }|!%-mT?3N R:߇-n&F"AWP>0qʖ68PdX{3iL;AmzPuN]Lf"'C JT(>3 3XT:nz|77mwX57w4JiՕKXzW~bog@2矅Nw**.Y+s6>%( co/IlL> ¶PϷ ;Dяx8tM79!~!{3E\'"j$̷p`.Wov9扠*tač=yG%ޞKj>L) q\aKvLL 'K(Ijnc\Ww#XCf9 Dn6e7 jraLwKڌtw.3mB+[6IsƮWdїϥp++Tϩ띀SL2+iE7W&EI>CyF^M;M#˳ÃjO2G=xѬծ?V/YVBBJl \]9P%3NFt@M*V/:;?΍C!>ES^F6eǶ?+IZa H l'pV6 r2Fd@Zi_ v0>mka$Qc0(m`7}qv1/Iƌӳo)٭tez_d1IT'?+{b9Dux.oJЃw!iz\\r|\qsC|>%So.O< ZCw@!U.,;QF$|2ju8TRt!yyWWSʻں#!EҟGH* lM)AK0lTQ+W蘧Mgdn:C!Ҧ6}1پϙF$h+R Istö{oZ7F(Y{XQw4lƒ)Qp)5o1i H\ (i4ݓ#p0;hmCR HCH$@`;J;LeGlG4ózs 'uR*囥|ЈՓƑQ4WȾQ;`Ax> %Uޥ6hѝ]~p;Em;qi1qWI_t7%5)0 v D)sSp!-ھ)#cU^YLP/ɢj|Krwy=1_,q䩁JVR)tg4C d|ʼc^@L zNfD Qœ=$M$7m}R8-  cӵmVR)\wVx!񢹷n^b:%{ FV!BfRk.+ m<~LBtv~i1M%8pN-*3zIC&>K12P7Tx凘 #,ջn4Rw =ǠW8(rW@v= L$o>MTҩEϿsT)Tw_SѼc+yoC_Հ;eDhZ{ /Nv(tZOiz8ѓx4byb1-a=%ZbO4~.%2g862=N=ZC׻G1yD~4R}2|8cJ,CU^ұ%O s}7{CjëR?FtcB2)TCl,ﲒ —K9=a*b9LnڤUKl.EEQd,9PW@~GF.renOMVN@sE. ݪaz^PW&kuYԁ?F<2LR·GO_LwvAP{WC9W$Ҁ+ ̭۠GVFKpxAZ(cSI#MJ(=sOXVCݍ3-|N1>tu%* E_pV$ȴQكÛjDàbq i$'ݳ+B7,"r'F,lveQ`-L4#̲Ǵһ)\$bB|% ǚB݅b.2Ͽ!P ĵluի)^=0 WG=@.1a'kd, S$]69ֿ sg+И!#zK}&=mN@G!҃ET bmD^M2:⽂)Gm͡TQHG2YLBR , a~G'G-:XL$ߊwf!P Cql; r.E0ˀPh mI5PHXp8zWNYMO{Y{'bHCwu@@ _'8dՈ3cLPWRC4(Z`7If(Ωωq)~ Q[lt(o>\ŕUf_%2zcp,#-j+W/BYT˭vr. *@#˚?z~ 12* u='.+Xl,I2xJ.~nVn3u3YhmU:1+fu)c;hS gV&5ADM TYG<,~>ntYf,AgǸ ]ɷ !3L%j yw!Z5֠ nYo U sZa#ni-ן=uviO(9+_< '<L׼m̘SO çEMnpJWsP=fܿ:c9fͿ,f:uFwQ#,9񆮐[z^Ezh*;K!Hf@~n7H8]qzc3;(2u.^=Ʈn, w# l bO1S_ XcmX:`K2 @T`ΰ#!$B":u3BN9"ђq,iNXuRQ`Uu ߹LX@&՟Gƚ5[l^i$ +sRmW^sEp.4+[3aA'} ^.3`>qXvimZ>+*&MyFvH}C6g _z-CwfSzHmfS˽{kw};w{fQaB4s Ж }~ޤ7x'<|:r0K~yk اݦh LE!K8|vٞl]N<gu6*ؾ?&AT$ o@eo= ˪LlOWbuc~j=\A$( vʫ!vRHj1l^O]B~ ?`/Ԯ!N,EWQ..q("UbKհ&]t7EaZ=9,E 3O yIV`B? J=Gr %GL}$@{>5-7 C:TU茈F3zt)i#Ңc\8Ʌ˷~4OzbSS?x:"|CKg\h9:WGO"QݻPBGNRK@lYhbkJ6Sf;5ɧ5k}ݴ {idٳ YǜbM.*\*U' ™na69#0'QwDhݚmfaK&rwWBIYi\8< D2(ࡌSQak򫗤^iܦ9MMWV)پil9I:@|Rq)WHjY lTܾ"11᦭'ζΨO#A0呞GA 06<*4j!0  f5Dl"Jchst$}[?|o[֑rӏHc(J>>bIO .-X3" '!?}v[ۆ̍QE$Lѥy /p2Xh|^F|wA)1JsV,wH 3`TlȦ;)o=`r..+zҨnٍ ?n MRK lǓAI$e|.  R՝A$)s`A"&+,,=_E|&"6YjcHosX|^>*$Şjx@qQNBԤ9S "^Lg,J\1?ڥmD5 #]MskgcH4:)!X5B4ΈںnmLy4X3eES"5ØgF{ ꅔ{ml]-xleV3BVY'`K0Ǒ(5bW}MbɈú}}hYW^q?_ }Kn0BB[[åYK*5r((DlSE$\1,fŚSvh+"A&EB.g&"щ/A=n8_ޠ*|/IqD³iWkm_/w•I[ug*5?>AOJw>s+J H}oaeh=(\le*kqnn[ʤ|iSx2CS(3)aKLӆ;%ݛD=$w@[4 jj6D5Ы|;|@Ħ[l^}.g.4\r8 @ƍXk+Aooy-FN M i+xI}t J¦$9y ĩTzSdBI?j4{g{"mzN/ |$xm0hc2Z~c4Dc냖/$p_ ic7X:~~ [{RfTBJTqwVW0 e%PI}r.PoN)F/)Ɨ.Wk4lʲO͛Wf cE|gUO220Y g ӐMڱH Ab\ߕ}6ϣ _yۨMŴCU5ReɵC^S5ړV&95h"&tD~8UW!|,Κ 5FG,]OEh"T8/(:X\(\@Ċ@_{: {eD$n帹"dVpI? Ф0+(YŜ湇E?9PM6h/c+z/S\Xy1T74{&*Ș[RǺjTO<g8|:"를SI~&1hJa uVV*0`+ N s<57ܫA~bWz 9:cw!*׮lB}Q`mP/gJVOCtR w۱B/G|% wL< GcF_ZrprY%{Eš#n"6|%0vbV.hbi WL=2g vN^Y5}mHmBEqe_v 5 3OsiN-Ƒ?;<: )!sw9,-qs8=Bn:ݗCwb5eZE$w57$5,@Den&YY7aڧΜSSE){ oz,] P~,M@rd _-Vv@UqJeW.;X0,"-:$sc+^؃4]mP8 MGαw4X#/kہBuxƵT{>>GؤOðb|rJYfQE'kF_RȱK40DD(RrD~_dRhV$)Qͣӂ!p&XTV%P A;m=.U֯}߄RNEuy# (= φb$Pi(x@(%C{GFȫm!=Ȭy,mW]'o*9nzX}xʴR!ibLak"%.܍ķ",v':3@Men8JE?].Gm> H'Y%"Ռ=jӜٹq#/-bba-˶}m5+{cy(qsJuȰ\ė[Y 9Y؃حr̭T^|$Ŕ]A])γ. Y*3Uޔ *ً;;kspN~/vs" r%(`F1M쭀ͦ0r?CΨџT6V30*9O.-.U_paDlCn!HkJYK!ÃIVȲ 9}ueQ c"z ʹ嵌>XPT~|3A xÌ>K]Ԯ˒#^K?񓇵z?2uU6V0i(&#)$?f->ٰޔNvCKEE$+PivθE͕ʢ)HXzhB5', ~)>ST%_Ʀ]u/I'}2kNi$Pۅ(lb `;UMFJ Mbii&_؇Hn]}r6T2bR?GuZ|tr:[^ȋ Q']@H9~W)F<]>L(Y"~1 I" a\b[i>psI^̣_i\rK艝$s J~/~ۗ^>;N#{JQ87$v T3P/x9YWgIv1 O[GVYףvw=$TjI 45^5vTK. %g"nyۅ6zb>ec.]ҭ+W,!c[c0@.=/HPJnGXcn \UmZ T2Zˡbn~!MwuWSC]Ӛ-J@}`CzhHqX1sz5= RAʯ-hC+/WBb>@|'hU^1 m6]bVe@9I{-jizUH,7T-W*q0)'>Ŏ+Oє$[ N 7=1z'wWecijy%5 {,'ݭ|rPVGѪ܁Md&M/.(Ecۄd_nS[ ۴6m8LaO:ψ£mfB#ob)3Z6Eo@\nOB5+"3hf[c2uJz ba%|eu diIϏz={ ޠBq&!*3;JtgMV'rʰ<aGȏ`@*|f{9^-ݎ>tA1{fЊsP^zW&p3BԲ"2 ;G(L qtv[t|ߛnAk>{O_X/TIx](MxOGU W ҧ 6nzbP<DE #vg $טO6.NGOY192~9h ;׉?,zƓIo'R98R>\@&QQmv[Vhj+0:?H#߃0Eօ<Ș~Y?_͒D(o닆&]Jil|;iA;B J7$sdYޤFL|=2JZʬMskܜWa|'@_fbHCT%W_,.VmD?&,KUu yC^lV~͏eX%MG`TԏIO"_NΝɈW'@4&܈ tDտݟksg<{:.S]Mo8>.N`š&a1OqT/-8umHߟ@ZbZ?yrG!0/yI=6QPrDOA&M\ɶN}Y,!o'%S(<Xij&bI=p(vr 7y=?Ez#ŐR{N_Nz(aG^/`!o-xw8 ] _z3mDȵĘ aSئY, WXyF[baږJz]xDJ_H+Ĵ*;$iffvebxw0]Ny%V82OT*C&84SAάQZ)tOГ3V޹G -sry-` 8Eq׼턯h~H>_:(g١g$df˗$z-c;w ;(w,Jtf풴V%Tl λ?A-OJ|3HU=#1(4 EjC m ΗaYC"`AץVPfڨɮ^'(fP|, Η!<򽏧8_OSYxG tuv : LVvnLoߛ=b@~db]X).JىM?b}KٿqJ+kJf8w<L#Z1gjcy"Le3Avƕl8jSБt1zܔw Mk_DMXpzjNec"hZE/s*O`+ۛxB][gd0{h2a[RG6b|.kt֔$|@] GڥKxY1E1 {l0mt9m/z% Yd%$K®XʨADKU3 -3REwLDd!a%xav/zt~0?m`Da8ѳOԸ ֬%a0:|lձ/?F]_!$XOX/ɞ hFV(͘*56sc:"0~|=7@[4ow<qn]uw s̯ O|Z`z\S]s>p 'x:Iغ'^5Y5;M@,NKr"ՙ%y%1fa+>`{$^;1BnvtYRHTD0'!kxI姙/YGn߫х8p aywf}*fs 1\*Ck!<(Vdt16I)xT+vRN?ob X[h1LZmBzЬ9 V=oUǂpH5e^R߶^LZ")iU(]oZYzhYb|:$LRQjܚ~:yV㩡H!Qr9'Fě?e\9חt{i6/k>%z;aAh<7ҟ`X >Z'?m3nh{p wG0Z꤅ka|k%աHt'q9(=W>4F(%nL . ǹv ^Mw0>09^/tCLIX4eOP.6oˉNjZM@ҥaήgjl'+vE^ =?U=7!xKλfWfԇ fDe?b}hɸzbɳm d{J FH+L"9Y%ufa3ߌti 9ܠfuX_]l^M O'Mm6UˣeupG<~ZT,~[}=#'.fp>eae)Cl 0{!1|\oaA#X?6#I'ژgz 9D= uw[wh/2*238Rr 5L"SÀ^I1/SPq RӺ~5KYe*%XAE(d"[&f8߇nfJL(L4j58)/]?PK zM $#Z]%@@xl(@TW@ŀU/饯bH.68rF|_S"Px3'!Jͱuf>@ F%fA57]^}/+-Vv$tJ^Nאm?鯙ѸWCr4}tJEij`^Zh:\X6 p*Sꌛ›"eSSd[+GiD&^dҒwHf$w`/eI h57cN²rAn$5wX%߁pxVԌ-LTIjMu(asL}#MX=NI 4Z|#gMc_\ 0w~J倎n^yy|ᔄ2˷!x9%S6&~#K@&\-#gM +]BvG>IĀ btj7;0F5U{ V_Lrmj,X0: Nc)HDo+]u ߪbf !Py޶QW]F!qe[Tpc8edwtO5Y!n iY /!Q? RKW_mJ%i~ܤ5h%9u{ ?  bpq'{%!•Uٌ5nmD"V:e|c &LsXr bVb'wF2"ԫMqyf,ܨ)vPB1&xoo(N U**6z&N<u;mZ1Z|~BjIT7v͛Mo>eO>u&wÔSXG-)ݕU5,-s9=('|iS ?ug~\n8UiدX>r42ʛGMJ,0#b-S sCJy52&U؁uGS kHDom+wG,&NC P0HtGUxO[" (o,6ߢi\71*I!h;zC@srXq!ø@M+jK-riҷ8mڳ+<`}f[wb cn1m.E]VhmHKJ+*+^"熽U+aP=`8ptlڈ *Ş$j+ .eUAϵj6{FsVƠʩHS̖f5m43bkg⬲RRY4OnsSG9PTBݴ⛓Ez~~O8Zy^*cb$?nb*ot̒]oY*>1RELJwJZ6]ٱ +rҎS1K 3ޮoJ+7'm zד[Mj(-@_Fjj:bGq`` g)wYؑ(%ՑG٢.6Po-z/MB) >4Gda:p6 fQeF>Z+h1Oe|I hY93N<s<gYZ3c1a1bc1f5803776d29edd50895b4a145cf279201795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 59b942545bc980de10e192712fba57de61204965d1dfb03dbcbf74bff765821f33424d46a33665c4