SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  5\t ]S HOL-Nominal-Examples:threads=6elapsed=274.430cpu=1251.548gc=146.180factor=4.567zXZִF! %]ŗXf1-q恈ބԍW_8Fa/G`|X&9N+!3N_Wg9 /dpP ȩK/ 1|6AhK<{')T^Tƫ_SjZ"st1z4K?gubDҡBoo 7bYJ.`M0kqoi++ꋑo{s8+f<_|,ipwnuˇ}qE <7ߩݨ9`~F5=g+A+/RIǎh3○4;(>;fxlv 5b|gRgž8`H76&sqQ[ 8W㱄u3`?:̙d`!څh- XdVn,MYɝf4?61Bш ғi~70w Z9dbɶqNWʠX|V{oU7}g<39E4֙ 5(œ=[XKIΨÞ}do E?֊-;GUJge'fD4H&W$= 5 HOL-Nominal-Examples   ܋=yiU;2mW@;%Y%&Gmh0sE&7$Ov*XS) ~"0؊Dvn]W&Z76y>2>%@EIj+1UC4pK򏴚[2!vxݍ)H:wG\6N **õ'<d)1C³VfTc$R !N[O 64TFc{u9V})V9ئ>9C|:m(䐩8i 5tg`Hj>c$^g5 -=֪9KgŬΡ(JTf#\!ೌ8g\D!Ÿ5 $N{?+d%R" (4gcs{G%}{dh8cko`Q~ DG9OSД;G3CY$u /!+~$ zMThI. X՚ה[PwMoы8!nv`kf~NTŢ$QFwxŽ[|xWTS$4*ۡX(U5zpf3IƨC"&nc2Dw+*.w9uFEV/xʚA``SÚ$Z[*8Xv%0*wգ'!,_l[؃\ @3e*MV`qeiQT`3P<>%4(7)$'}-lG.T_+͋ a*;0H 2UU_޽e,; s̋9Hyh`J;Ŝ,؀` Hռj(EA̲4.diTAyWO!DK[A$30ٙZ1)X稂r'K%PD5Kߕ3ls7B:͝f 4gd)l8֦[0>`m$/1q vج(N撖t<$Ϋe NcQ[Tc X7~vJ偎n*a# -Brʺ-d fBb1"M%ZI]Pˠu Xe(3qXGa$9d[U~O?]$Q!eĀ>6p311xa(֌2w/;:t,7wRBT0—G|l"Rt٨ y,<?IE&`gw~1ИVvG7φj!#vu]%0{j#2EG TtWP3Z>p5B.|YKJ;rBCl1E>&M91%GM<8kX^ ekBꊉ~ X]0à$(d^E V%&wWӧUc0$T y`jjmٿGj,V5|[#Jy:x==#w$2aCª GЬ iE//4&xrrLN}>WA#1DHOq57,?]Ձ+.CvL48y% )xf%eU) D"}$$G,dLd (Djz^)jV[d(0p5D*|` "Y|/Lt  HyڝAѷSn7ȴq&WOJWc7`HpoRϮbF@~@mEOBFԋ:yg$z~(ӦErL2bVŒnR Fspt!Y̟h!W?jn?B(gfrL9lV2ӦqkAri\N/,>V~,_3դXWfGocf-vGdih!.;Z#Y5vоNbHZEAXrQP֞ڔuI? I~g|tN SN8B^?Kw$,걘8Ʋ\v$ Y& K {3m)H:<}iF摜$FʡRbݩ1 %m%: NP 3دA\L:U叜ug k8WZi:D"N$Djwe E!뼻'T)ZeW9=K0r} ,L GI4ƕQ:g|\{qS8j1afc7sA/Y{-/)&D8*!/ ܵ_1 Y"hXPknN! ;7bGMH6DŽh5v}X{/[,f-w̾NQQ}jybj/?i݃j.%pΊ="mEhwt^pUp{p?ewky|L"Ds,yt~؎h5/niZOj>^$ 8JנvA!L[Q"_3_b" ]\>27RydgpQ|LZ HbA*;i*ldqk9&|>v23`1OӒGOˤ2#mOa"'t8di~ޖ ;@v4p^0Ł ͠b'&I@geEmA#G*y3-uCSWI/LB`դ6$̽6(:XPu̻:XUX~+uƜT: >.BeVYS\/QjecF! o@0=@.X}f"z`o( O-'M,d*0_'"( Hn{ۧHM/uz]u-n#5A_j́mRv9geH_Gq}xݥrмΘZqz []*˙ޓԲ)-tI<)eF̵6Z\dACL9O=a3AVDiojªز:kO$ٚ70b$p(bDtqOgwA{-XC~PODwަ6JERZYc@Pr P#>CxLk q܉$(=aXp\cmG7vE.tL=;F߂{k-r>Lu D,%ݚzWBDG>0c|նK/F Ƽɠg6uO H-SV%fu 6X^|>DNvHA6&?MxAnI8]'w &Q z"!+2E2\J~tZ,WjEß5~_LAo5 rn/eK-X""M(zmK>z:fر;@s*R "\ɎE7Jfhgn R9GQwO"%.PFۥ*'r]-`OrO!k,h~ a,Pk:^g|r'nZs.׆Ҷh?#p}.5xԑ1l%nk!c%HfҵFv\8oYƶAW=I  +KSb"[Zr. :tχO(hdaKHe$V Jpu~;z3 WVbXV NcA@ux{&~Uvjuoym\#wD$:O!2ڭ"V}kn4322z3٣Ψ%75tymA$O7vM= guP"&hꟛV6F"63׶1mZxE^'_/QS H`;+W>?(,ި]0g:lG|_./eFgGou.`s}@ʮq m+S^H jTv%qnr ĐM1r#aT]>3H=!=#UFf#0E o{V-iա1I'[1Bޓ:~Z;'JW*8ZƑiI;B1ʬ@*~lHalafdhu% 1[ōHaGbD? T.|P4c'TKoXYB*Z VP7ϴdͱe-1:`i,̺s{(<T%5BMʇs͉ r!O8 ^oy+U|nQoj_)n`0ĭm#` w{5AM tI]l: @g[6nХ} #Ŏ=Aӭ` Oǝ2}'G2O I1Bҷlñ?2bt3Gn͇"RSqp PeVֹuԝlDs^M)%9DY~`+O< \QLO7)=Q]fЦgDNASs| ͣh8QY`Z"K%ʣLw<](z":Lpz/ɠپE05eB:B)Rx(5hnȎTX 'TpxP\ۢ4lfQC\^L;nx-%frɖ{R*+ޏEƚ -Dٍ@u~qM%pt &JhP_pJr՗B^=;=ç׸4&̞Yס{Omt(peʢw܅YwF}LI\bt? QE;ƭmV;+J덗$`J NF@b@βiT`]alNc+햻t:J'uB d *>rd%CX a7xT ?\d_=`b1iٹf VTZ_3&`_t\KkĻPuA^m ,p~zJ\86OꭅQ.8W\8RpڨUہc= $LGY!aMNpſCQ)mX5 }U"l_eĵ$)y}v Xt@"9YB8}J\? ES8jщ=E}~>{cw#}-Eә?Z*UVJmǧ`/Ohna*35m8Щ'G.(ѲtA?+lc?Pi{_(,Я{UJR1|JQ5#B*4 uC Rd"=iaU2$0fϫ{J6PO KiabLMN+6GR 'XI>"qj\R39 U3nfr D[J`׌җg֮uMbF8.2'b@oxh"TEO|k v&x^к^Ak,C;Lt$-U82}.OIwWU=T; CSG‚ΰHGj<:پjQ7Q5K&#q;>6ɬ,p,H]e?=C;U^c3iaY 7i qMwu<9b>ݏȸ&.v@6Dq tЩ"ӥ=b DS \y*}VA5rܾ*o*|3f۟,SbOxEJdd z  nXYdZ%xt!k$7jdK?aV:6o-W~-ueKeE9 Xs4`4̺T<#:~m4w9 f 2z1 Xkd(mi\X7٧ ݷ Yݍw9$gL 𙅚t\κh%`єa}.c*3.~`Zʼn4GA!8Cr&W Jɧg^kY%wt& LV3Wn6[_*gToQMo.Co'%ad 45p3s]6̕DR[ft# X v"{lM}^&)|7;EYi;wkmDp2F§pb6(OɁ':qO,1~,x?^ ċ\e{_%J*N N u>nt×9069`·n) :I gƆ9Z4㟆7lH1:T3(J!컓X@8yV%= GD@_!?;Ih $hwd<~z,3Krd#?bn$U2ޟı?X ɲTT"ԙN!?!Krۖ&Ys Ym"!ӉAA2'.4{5KҚ^*ͩ$9Saw2+GXȢ;H}wkZ:яH9N !͖߮idrN."/VEo'f`EҝLE[Y3mBHtw<6}QDؾK G'rf`.C#9$5;pvʎ8~`n2ez1VMXG#b5x^n1%Gj "9H!sA)LJgX2N\|)GR {V)0>F[j7A~nԳO*˰&[E:l;Xο"(mmaKYzgYZ7zXZִF! t%]ŗXiɟ1ʹ l93攀Lx3 aOځ[|4x/Vۯ =gTEpO^i|:\C> [#! 8qrQ+rM2g@e8pRD^Xxsڔk GM=Z]|yt?82流ۂ$%Ρ O3;"rx{@L:Uj47F_%~:o7~{4%h1pS>!6@fT:CY)I-&U f)̞LJ^[OK9=b$H"#Pÿ*>J7>RhXE޴9 ޙt!pcDsw:{E:7&#NCgr \u I%W}Ƨo L^SaatGWgYZ7zXZִF! ݉I4]ŗXi%@`l4AWM 6ZF+5?λdr{Sar\cƪW$=IWk NH&7bcNkPʼn0Qb꜌I!\Yxosql5./!n4Z:kѣVt̥zjI݌gMNl~,g2PGuh>h%wfE-.^;%ѿ\DJ3΅-sɉ#TU!JI#`p'Hxۊy]T ftāªbCu!iFB|"jls%|a!}}0 (Xv_AaabmYR޶;1yGIE䔱Ш3#;Zjb6VVJr)0yCfH ~.C,`fQM=Z0J=c,BMrUAi8@Z;+eԣ)/ n^<{$HC2C)AB~8| ڿ.'B,'G8M@[ _Ѹ=uT>5W'e0x磽&BAabXZh=9jrc fCK?Pb kDy 8ębmN^cr)*N"~,)&+iʻEX *31륳[Vy}AEÞQԫƶwL9d "BPKD11t3'|_@YS5_3JDceבBegѪk׆ xV_%XcP*y;Lz5Ob#4_) 72 ,?$j~}݉GkIMrϼ tXUc_IMf mU lt:suOR}$3/0B0xFKF<[Zd ;]f.q9 +&5A4T.9ڙaqOIJp-@@:'WD[N孫D(>ƕMǵu[5.~Q6'lĐnxzu!`yS<рXw%n ߤGQ%p{;q4̈Ӽ 2 +JFj{, dښc];/%c{JL:d=@q23NCUlAcX?ykG~ u*C|;1cIJ︺3+r5w:G@xdbDPMt#nPxH,+ ;I?qiPoE`KNڌOh]+db\@}P k9 o ͼi7'TvBy6#yFsH-6hϝ^Z91;ijɰ?i߈ ) 6`mKY`$'jS.i要ʥA>C3:t @ 'jz2dLwQhz&% MHփ`RXb&Tg,-6A~Js(IԠc.Z/n.QHҀ&}, =qe]SrGѠ%tkv<[Ԅ9ߣN T_A[[PcŬc-thO_ 3#*=Jb+L_pv.uYF!͋ A EFq:} d G 5eDWF@}u/v,D[X & kR|8'Q(n=ry̺P$ynHD (b ]>J*1#٬]칝P}ѴtUla 5Ec:R lxču%5ڼ[D]_KmJ]'U5?x2l ]LX UmE3Lܛ5~΅9#bH cW9nQ@uJKU Ct?wO U X0oD4U3gYZܱȇ2,65-ދLB@F"bB*ҴMA+"[5oj-g8w㞔6*A5d/UtgT6 ,{عiJoG 8Y[X$6%ٳp-#?=wv;+ޥJTEn Y>B|ĿR^"U+%W`qړ]Eaz8s -A%$ii`*ޞlx-SQ/4b˳IM< BP>0;$67YCjH5$W8VPPFz5x"-ݯMS_]4=GdɱxEd|ͅL DOL#}SuN9QʕQ؁]ZK@Q9޼<Aٗ%sAk#?ls$ E\xm!ď" { K:; lxkgHxFno#G2b~w>,'Ka.)Q+$s%aիҖVUb%(>3 !6Dd;tsL'콙% YRsn%&քJ{—L -Pf tB%%(Ұb\ 95m3;ʥ,g5͇!/~ /XE-7MX 2 ڀLRkVPCęWe&6S abgROYL&, u]SI;^|wO,u~DRT`3|p6??TW%xT>ypYܶʌF*Kzg[:/c1őg)wJݭAē͸?V ؟(ezf s v]@O oS.ks/ȟv4tP:}J)%*.盦0>s>pnZhLW\@ `Xb;MeMHJQlqf| ]*=Iqcn9dGYU`7Q~t[ݯjN=I 3y']W|Rť#Db)hp+͇_R4 שzuQ|w}霜RV ps֗rHɇ[ersYĞ?/ STՐmJdis, {'Ez/!df Sl$ |BFJT ͡bL={0:%LʢCGhy&v:Ξsj멑'%j9ӯLgX|`t/s 7YFBbWqptP^xtk0\K-gJT: DLMRLw3QmOl@|(ςBQR=_DX+iJ@9c T;QA\Uc6z*;lS XZVk&%UfeC3Da)$iSٍ="#Nm')_Cet[nu16!1#Z0(-Ql?{o@B5IdGݪe!Ϳ"WͱZ_?·sXWoN fej@ꂆ ?o]̀Qpp)O{Uŗآ)}" ne]f͔j^7LGIg Z ,`< mKyHI+#"Ϭ*}s?JBn~0aqn=,&uSzG2a)4|#Av-FOCѴ_\ QNt>|zZ[ , q5u$bFtvle|uMxHޏ}ċ$>>'g?2KC v[WYBEKjn!,E-ã<ߵo;Ck#0^ *F(B~l~cQ$!׋uTY~|-3+Up>_L`̯_z}w?ڝ{/_#0F\X={0^R,DQbhbĚmH=}Uz1lRx%l=|)b)Vrc;pu"xj A(|!ؘm4Wftf<8?f*Clħ'I=)Pc}f}*+fT}O\SX RbVmKt\7twIͻ)G'u '^VԠ1Yxg{FԷ欏sծ'?a; A bÅޱs2Ebb/VӇ*1->=b.GWkM*e1AjB qz3SS~F{u@9EJVכO|3AS'`TЦFOԑ㔑>UTdWc*}lZ|1)yeQwpFY vbN^-,<ȭd߭{g܉۴υ`3L:;?z*ETV*u:Hnh+#1i&'ӦBVSFu&K=hė~~8_".o2w?\6]@fX.v%d"82f)pbRDC3E.f#ʗi؈ASٺF=WYS1Q|>Q9)4tXܗ0䬞jK|ZiUfxssD;ESZJ)oⲲ6(`WW*=cpAl8QcoL#3E8DxmՎ`ot$o1}+ Ct{}\4WJa~\!hAP_C`Ri{;5LB_Ul$_P5ERN1OzB?T4_coSVgMwad cnQHM ` ҁ{5$m08ĻzhJWU'`hmY8qo y$QR&GAFB c|:T~5wk "sEvgn7U ]<4tB: 'd zAH"`lq/yuj uGt9e ZUkp15P^ãېBd3{^_8qH.if&xb&sGEimȟ41;UcA,4̯PL0c[Iu-0gX2`t֐i:E|XO/,qJGC> yq}ŚOluǾPAHT,T 'ykZ3u|@!dsH.J!15pI-^2Gs6Z+tiqu(̏ _@wrc8Wj%DŘ9#qT r_m9`NPwRWo[vdEwg6Nt::wf6ykT5W@eʃ/8Nih*0Eo_?PLP )l.~VCo֔@aA_ kNo7U4bXW[!fcBi,Ux%µl9p[<ګ]v*f1 pVt>z،7f/߯}?+yV Yo p1L8e,L0_͏ ޲`q@))"Own~ dJ'3 5CO,[AO8%*1|& t%-~ٱ]U+];#ףj8LY`a9jfeYWaM4.<'2U5|Tm\ 0)q ®T)8?{K ,g2*Jr,zRDwMAq|RADB<΀ďDjسXŎkY33pR5]wS3:蠫AMAZ K=笳eSu.Q~zY\9C-)eʀ:g M! YFbwtX[cObqh^ UF ;mḎN}Z0#npJ$xW $%i7+A3&Cڣ-1˂+H`I/ēJ7wH n0l[%ZS~U7 ޴(I wFhDZ")u[T(|erTb=ܭBw H7S77LQ.5TPO%DS캰GYOx}(X\P"2,6@i$fF8q?7~hZu-W `,.tӪ_ ?/UKǃ3hŗ=psC1F95֪u0>M>VЌgan$Cs3;Xz[fYzޡDQN(d 8}jɁ\m<ř0 VxM>uEl~NqDUj‘ &r$Sr\𚨸nߘ\^:Ԛ@>0eelg-3l.?%5-i5n}w!']ٝĤާTH?t7a9Z z#Sm˘5Y.ExD`n$xUy N lTB0JqW/!XXZQ2bC>֎Y'NR3iכn>tB Ok]?潡PJJ9!D0W+YH(̿N7[D#Y3y$t&d#yc^VԐvJcM{X:q]PsΐhYT-j;mO3U l 'Q4 <.Lę,7@_밼O;!8Ũ7QvP?["}!#pABciwW"t/0T׹rHs3l} q>$t${VZœy93\E$#Y4Rበ9"(gPKo5aťmഔ$%C<#}4[B&JA/U^{ Mx O#kvجv3B.o!c@TqF--\*PlҤx /̄lsk!Ԩ<P⽹WЇڮY&}Wfv`zW^;#cŢ29lKlޣpb nx@ 6fD`$RJH4(su2nk[a]F9-P?5l"x$ċn촽*bߔwkm {?"E#qK#2,M$a!'oo5) `oEO_\7OWVT~a8Cd΋H^l)nKwF"uI[-t[*b31CpI'.|^:ӣ37#)vLj\6Y'2mDIoHё^ ,m7hF '>1Y'J+ (6>^1^|F}vśA1lgFݰt;^ر@~CðRE Y`EQlM0GdxqME*5#"ٺd?u-c-@ F0</2gcSJzkЁtR+:`7exO{FqB_HKbC6:(/٬S>!VŰ3s6CwwT}{$dt -ByjN;5U&#}5e#wU~ӏx@Jر.=L8=wod>xJz=bN{Hm;Wrd=jTDN]MŸW3h8Jy @U;B a|զFF*}](p%f:SAb0϶f]Hjk'O\=Ŷ(eUqRYϟp-cqXY?seWBH "-gqLK|ML;j`ܑ9xNZθsNy*(F pώcT}?z£vߠ:.[\' J @S9Ì] N'=OԎUl#Ţ{k#@yUJXJ0Vfd 1# $ * g5 &iL~&ЋS!Ha#c K6ɖ`I; r:L0.YRȁzogcixgWos~%*&H"PC>bu|ȰE2i8"$/S6_h߳pk@Lnש%KbmjHP</Gw3ZNQqjїGgW[/JJ{ƤB*5u EHѡfKt<ޔtFu@oV)O s *BfuʥQvȘy92Gd{mi89yLqws#{bFo}%`sy^9خ-A$evIU]d5XJx-ml:8pq },v% N]ԈoyVnD6 ([j_;Y:%P~ew劺..X =&];d1wssH}QlD6i15{@QѝW-3LMQjmW$…#[y>aBT3M}g_i`:͸AI|$J/! 1p@ y qZS+9(X$H4JȐ4DSHJX+ D;csc+AANE5 +%LFﱋv%/[`k4UŘ2G΢=﫻๔K<lA-:#JK83rT0O2E9#v^ф)i ^/RC_'|׷m5 m]m{.ird;O|4ܴ9? t!- {!#W q*)pC*kAcXZ'gB t2zrۨ`3[,ɖ7^.rC9]`%Ƚ9t+vcs^(_s\)4mW)G&U1N,g4@KF$j~n=a7#V!W&;.8,#IPGi}S=jva;+=qk<_Zp)t)as l=ITY4Ez  <7#3M`'ǒ@јxl?EaĺG 譑;P{/IGyE/=#a?'څvƽp~pnC .I!*+_}dgj[)E]ӿYSM6^ȭD::z@ -b!EʝX}@l1!`i"ՊHٸH&k > V,v˅yxL_6}y#0e빸"0lЫHGO5KO#:RY2j&}b;~ ㌱BΗa% g$[.ga5J@Konrѳ)"<D2 3~X%K"61q*yg%7N0c,^ڬ* ' 17=xI2s ay_g3AUȭMoUTwDBE >6Kd[_"WWESLO붘m+'XW5s(_ǿqwM!M20Ƅ}{qq8!6$@jZc͈Ek֣c&f8ѓ|Y`M"KBOVo 1ikғY|2opz~/WGuXW^@ nuTEw[Vl_c0-+应8"aA31S\upR[ֶr$%V!K鄪=<,1 iW􆭧48y/ xj>n_=nbT$?.õd[ kc84ÆBdU23swg+u[bMdUAuwT)!Sq&E[ع6~AU DNi1V@ v)-C`N; x,#RZǻœQnTZ-J>FcMq.t%"EFs'JP(T{rKPd@WJJHiGBv NfF lOvƞSM1\0:&"29ᰀg1âDoW4 1R'sט~X)h~HC D_m^^+,9 b,*4aZK$4p[!cVՋ,{EB}}b!hD1|i=X 1ʌ/,>5I46`Ղ]%S]Y@2\M,98mZ>wqh˗9G OiTG Aw7>%wanzMfq$@oPy#Y}}6PvEJz@L,VT#mj-|GLD0c߬Gl. K: cF|Gd8I;lQvc%črkD'ğpX]f\zz{>W#KgJZŝA=w2U,Y:GkWu Ev ٬C:9]acއg _OCϡɧq!uo!_"-2\ 櫝;ݑ.PR5JeIUYG|ZElϝ`Tq2L,J\e,۸L2d-LS%#@E61tЯ}_Mr!ػ/f'YMbmx,7rq:U5L|Hc>YΏ1QFğ^oȕ<@&-_ ٹVmTJ"]G+Q/=i8/@*- ] ]c]a,x+~\֏Hgǒkn_Rak ~*dm2EۇC}F!J4nfħLT+Qyo7U؟j 8 [ ޥ[XM%;ΗFT]5[ 0ZkDj cut7-#Q8&ꀶi jDGZ2ЬM+|xx } f}I)=UR_Y"CS0Ui["(0-X$ 7a2Hy75Kux _G?K 7K''9j>*P]`EFIVkdN!ЖPg^!$p8b6v:5,Y/!qaV>޷|F@#\aAEF("@Y,Л}@u /lK]Tg_]}qM]Uuv=w0\\ww/zJ< C;qQ }.T%,KRc*ML_M$ a6i؇-BɎGG6PzpĈ)9VFψK˱C^yv }W0QX;n^fYy%\EmY7㮃q-3x9q R?=RYSuQ Ă3u!}VmiF2erw[  m#1'IE]j˥+߀IM)Fܤ#>/bπPޖ ./:TS?&yP^2j]3Y0SmaC/_o}Esǒ (t[eޛ{,˶B67mJ V&$E d [@xd2\Z ?Un_Bv)cs4Q4|@OI9_Hb򍃭7AV%hzo.PD` zl%SZN۵3^(,=zrc;+w橌`:Z$M#Y%0rmaGr2x6 D8H|MsL8TӄR89AQwS?sX f1C~kGJA+`\qAśTOrxb]Ɯ:LH!0g֎D 91}%۱ <)ҕGp I._$8mfS};o?;O:P"6pM.Fd:gb8p^|I6؅űR._Poi4 *fQc0_xVcWiJF@y6;Hv;!=y4V@F%d7JG(l6a8,. H|4MIOiC2Er^8҈EҶmԝtS"9 VfQK5S8N*DQX*mI*3M,1-)J.mp~qqJVS wQ Mk$gz|Iq+u5x2"0w5'; nM^<SN R 3O.?z۲57e>Fo ?:$E!"{ oEtTF9_p3u-`"b꺷He5XP2샷<AuRjBl<1+N1:YGAu_Ӽl겻uMDů؂9DeDҍ t+;1/Ɩr*ź5skͧyZjNfYjb_ôh/we c0?@,~|~ 0jF:])eW8p 2~]^ӄI<פͰ9]r @88@4 ܄)M /ztWFW8d+ t#DA,!8-iUCQ){ ScV~R$LSaکМ0) LNFM5s2\OE#fXvF_a!ߍm_6QFOKN Ԛ$/-Ni+? ǐMZ^t3r 4fćU9'Вs