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 XX5|TL ] HOL-Nominal-Examples:threads=6elapsed=245.412cpu=1170.988gc=92.1967zXZִF! ᧵]ŗXiɟH)0!h]?W ߹ĭ˱_Eq8Fp7 6>FMJH'f9V" $ʫ U459QFx):J$ݰٔ?JJLyyS"RP\5Xqv26cAPQYl)#]8'`>!™>e`1xlf|"M|B:ެJ]\t{"[#8}=PjMd]ݿYZ vLKTmBsBj=V)ahL kw8`BR%tZ2%\pϕ,djW%R}Ǜ_x*ȀOA9_sYZ7S4yDR:AHH ,$ <;4` ̛kx}> ̀L>aT jptK%9MMC_آAjV x>,婌v;L/<"aDsJR֑y]i dFu*B 1£?TboūA=]lͭ@o/?x#p@rZ'no(k^':ͽf̜m$jiЉvNJJQUx丏?#]S/I D~H:JrUq*OE"mf*B#>o|ԩ_ÛH*@сoeuPRh6k똺 lA*&= 8!tQ2]󄣹w)e^hS1H-W]:jJIyQJ ^3B5;1Ԛ'm\{wgCna8JH4˶rh~qfBrEJ½3Boht?0IWDkOh-4,r&wϘ@_j ˥;Ģ<2z 쥤֤u_|&-$咅"ծQ3=^hv{UpN _8E5A4βĆ7!8,e5e@kd)TBX`\,+:{_IXIU_H6H eiFxj}닿 6wEm/ iqġyd.G>c^E`bȽ"t?ӎ.^v^G"<^WquwWr_˩{'p8<8n)*Stm9HS,-U*xA˄'FT> O: ?L Y^ mي:M0aWi}옇y(C&aH\sw2Rtâ0 ge{&mj`yy5g |hMQ`/k^ra3Zg>/ x(6Xб3bn\5u0 F(yd4`"$Ö*p 4-~eF Lyny],J؅ԩˬ\+ eWЏ o\Jܛy tNL)F`g|^^lqoxZ~*-~c!X=pDL*A"'Y&~F.dUClbuxHX:\m<7Kzq]Ai=h AUgqB{__@ߦVAÔ0\vZݠADkuL}G򮍶'H2v?1V [g8ǥ\C p[E_-J &Kᚵ72#"(@7w7,Ǝ"h + B9y=^ʼQq3|"D)Af(|˺:EмqcB.;݅RF6ĪdYvk^)JM1-'Tmx qp`X6W$ykr49 kO .':ZQQIVI"(Gֵ?h|@H+($Eϝf,3AD_E8pj>rݿ9ᘴߑڜm^WϰC`~gBiq}2gSo=yz Ef}[S< 4x745[y`( gqp4ߨFNYzj2I&LXu-arB~%*jm)O9M@ ‚Q/2:u"5c%NqRX:S u zS7z_m5|>h~?oVO{lKG[xUT݀HMyD#iIgfx?yW0pOqyӏ0soo& đ>XIq sf žtߔ MZeҋ D)pfĮ9_AT`!5Bk+0!VD̵y_$|7QI5,'Ey-`&cȃN\_7X x3cQOC9!  gwWaԃ8jLJ⠟ΣH|!&" =&te|]eK=dMzF Ebf<5"a:'ԗP!n!|rz.6T0NY8_ y?cY;N_/tq Bܬ"$"3o^Ozt@ xv3L'@ME`v[r7e10;zO>z!Sz/)eFo!3ee7%fh2Kb+y#u;ydPIi+ ą&߱L#6P6Dph4H?cwKj%9͌V}*O 5 HOL-Nominal-Examples  O>d^MܲR35B6йY%зm5M@wAr;!oxJwXqhFBm9䏩mJ}M*kJ*Um&=5^ojղX/!\-bP/ "[- IMRАd/b#_1En^2tZ p7̕/XSvȭ*> ^, l!K89aiVUb⚱%qZ\@';ƘyB+T?e%ZQpF,= }A'I7> 3 i#E`pREI0Pָxҧ#m^m$`񃱰q9r6R2 PbߘW0cQ°^,,}XHh:IYYz2Y>HgVti=A<BwOa1yj@ *VZZg>#|p$^4 f7{Լ31CR҆PԻm^WޅQXjg64Dυ HjJZIN'N.@C  k s_Jia3vLyh$Q=__kBkE>t~N})[ bjy _Ň^#~kO?5;(%jhW ]w7CJ54WΞUY1{(=Jubq~5љjR'$3nK MGY>yyܫqƗܺ 7v@؀ _F0\nb6/?B̀+0#]>WR;,<2HIo~>bFźD C{ :ζS[^ؠp"(5ܮ2}n6`Pm=mRǘDAE2Jݣcii,V xd}.  e~d [j<8m:bz%\"]]`xi˫2ˋD2 F%,S*bh^"XaA2b I,p;\BƣGIK?Ep5Aٛ2 e Ʊ?:u3}lNC]pq uAGs1Sk'exh.:$d7ԉI/z(SuHL=WhMZ}o\>﵏ B<ߛW%~1)OYe:=fPfm[_

:L#̢:k) !nMx`!JRM8>J&2Ͳ)%Xu S8RSG`]Ryd=͍Y=gE*@e/yIpaRY}E%n\9Vq84тn32(S4~-r BzβjK5(}wΏ6h e"lq`D y^/ė ^%Pą4CH6~oT:G07TT~ܲN%r\ `?m .mI0Ƭn &L/(PCU$mjE~qZX3f:vƿ?{P iF*$,lUz ݗ;¥/ogy4‘с?KMp>'.#{Q'G\^0NIvGTZbnҘɪ?VVH"M!*8}zg&'}HA;,'s+x-A1xTm9)tevJZWJ<X%l1Y. Wo[7 4|%x&?X6ڙR^|7KLT +I :!ZXj\:۰SK{(oQ\yT&1i1S@:&D˃C#], pR[T|gԢGƯ>y-P۵#P+8nhe9zSEr3칇'1Jx@U5M(c%4q K q=u34 '{WWtG OihH@}]E4t Ia]GߕӰ<&ߝPGl37r~?fab* 28AG.Dljʤp' 4Ws̡̯gߥ׌$E\.awTf L|R%iPAB9]:"պɵJP&MEqmtkg DaPzIR䋸!C( M#HG;q3)gwc_U {E">ë*inii-Nx"OtW{Ίfj1M_t1T* ٯӪ:T.u;GXRٌ>\elYS4&>&E <}]םpRh1%Q /cyl[Nɠ˨6iOphYH1 'y6q$w:CfY:_(PU-,shgG}*kpTV|}p~]LSstU13+4Q@j娂LUG- gz\EYVVj0+E1 6az6V"NeT?ul{zjֺ{PdՂПcToEmCi^?5TƴxˤM7nr"sl7U=]aRa*C3ئ![>/v %E7oa 2[.$5A bԓ;>+ 4Q5UG?@aۇr]qӟЋ5[x0{\7 %@zW *oY9]VHh]EqkR⊚â pj +qm'rt`i)Wlr#Wxvɟ-r4mdoA OOD3c&{BO&3PwGa, e)e{WjUƢrT>^OoanF:cMPW#Oϝ74 xWzc@RCr&hI7%0bC=OXB#=R<.fH@ %"ʧ뭅8 >v\* _- ᱳ5Ʃ?7PgYZ7zXZִF! s]ŗXiɟ1ʹ l93攀Lx3 a)Mab|0a偐;zϷ1- g_ 5UV5̮VlJ9wVzzsL^ \({]֧`q01: L굔na(:YI~|],~2 b|\?$,2VҝEu5*Q@dVP&)r~::ϟ_Ӽh=ΙC(.5:4CDZgYZ7zXZִF! Y]ŗXi%L*{6`ԇL&)h@=e"CХQ0N˵;3,c)[ z[  |z,usEUWCKMvU|.7+r~L?)r$&"Pf5ʲRLp+9'2LXsz/ SWG`VCë J[=S7 qx/Ob[\,j`3`z.aFgHvFk#'x5`5$K?&ř‹^ҷk.fv ˛ǥz;;?^UX[߯p!NH&Ҥ$KErGnv90oׂ1q9+o@n-5,CfKZ ADi(CntR"= ꧁&bo96fcUբX7 KBPL?TdђJ- nۧν8ﭒ]w =]F DeT( (.ںkud s.i n"E3l"NS0o֣"~>]m#Ԡ4qNdޖM.FUT ~ 4keN%Ն5+%. g9[fS춋[FcV-"8eVp#bkqKN^+boEj!,;|場%UXy)afRk _B@)&Ǯ$5#_gwm_|)cBvc’$w}A =Z',YTT{uuPW g>=1#(C?Z &4aݦlp)ƳB.gECC2 Aq ZvN 4Fݓb/omxq(څR6`Ǟ{Ӑ7S#î;pTsE8C5S:cx֣E2X PlB/>r8wf RKbA(E'-©[xr{xĶsu(ۙ9+y¡*A:e/-aUs3^dYE5ƍ s;LrIw'eY7\T~F1"0"io";q>ψƟ/u&\N +8mcLs1@{ߓ& н,ʣhlz;E=Eww\4g{wD$~p+jgka^2?Q]byiօ63A$2#C'4(Ei/W5ZYw*\4 4_'j0BQ}J"$8X{MiHVL(< 'xJ(_6:$[0-^S_}!a#Lh&<f'`H3>g Tp^k?CTW%f.7b2,YB萯WeQ'5QyQvٞjaHB<.RXb6oJbcS*Z,;[4~ [lY\*<ގJfrUjT~YF lD){iqF E_V}|dÀ@Ե!_HK]WvPMlᄊ™ϐntW8"!˒`3*ݓW"%?p~\×<ұĺ49F!<';>$N9B{$E0\J"h*fFmk)Hv^p-DZ4i$+w[C&:?+z =dI`!+cg^. ^g2iP}ڶDX<>x=?5ɍsbC`{V*3-W5'*B?z|q>$r3 # 0~4$ߝdS9P' 9oK h5,Q7 ^ tӭ K8$5\ ?퀍Q]. Ziqw.y `5LsɂkF®8};2<){j.>/茨 +~ݮ]LI*UF90|-,f77^oێ"#{ qȔ_hukL/7Gi]09SlZ᧼"&v -߶l ) SKAnNdR;:mP\\] sFjU}ʷ|9& T-øhNXq,xD}a0f?Vn\qH8~W7; pݵg(ұY S>L4!BqsMH,>Z_1 (59./-goȗz&Jei󞋦^n<3arРYց_|Zh|y 0 .MJD eMҞT7A7L;rh̳֘ xi ғU'&\3"3L3%=5 ӎX8ko,7r,:8:LA{𳦳Hh)ѯmES>|hV+r8?QF'.|Dۇi|x}M^y"? ;In8SO!a]> >u(|- V8Y0- yڄQP:ϭGbVFbCD)}:BD{ø#ph[]sNFgvllX4\/6=NUxc#Nx9P̕P:0N\\߇, m9r7'GHhV̈́φ: IO~AQmw_~58: Pj]g+_*x FaɐG8V|<=?QnU|m{_p2v6N;"bJ0i~wۚP]Q dK7EmNP-㵜꠵O~"oɳUih]Eo>r}"Ŗ菡YGxD'4ۢhy9MFͺx$ϳ<#R}>03OuWgMF.ېEOi[<+~tWFFe.1Es\`m:y57]'g ۚɻ{qH`U=7N5>.H3ʂ!Ǒ<\ȻjĨi^p6y9ۦ5H5F6sϱoD& 2F}Gy1SW FF[x~5,ڧ)>!rm*Jߺ\G][k;볶!L-/`6fblJxc7#E݋qc-2Jxĥ6bMU㫝g%˩mu/͚ &W IOzYBZihIR4Z-GaC]g$"4Ƨ9{%%gR k3jk 0PttG$cKzݐϾF0 e.bEפuixscVB1ci(]q 2ݙy1OxJl3z- k9,40q9 ɅaPI4 + UِqNͫ=.c7vvP+e;׽f  `hQg~QfLLϘ́vr21i!9Lm]a{a\k] &=M:> 08l֣ib8 4['j-Rif &ఇX(1w:7 WzjnG40Eh>w"zүSW`d}<$Jz,`.}1b]ûznZӸB)%K丳O=!U 2C6/W;dk{7X“ DS^@3ڧkSVwsJ]NGCA..:oՑ=SGP}D•II#_jޟ'd zCҙLvFTyH6ugJvJF[#/{oNrF'@i[fd¶o ՠWr$ξuӊ 9n~WK-C7QJn `DV4Fex.^ ʺvC zƳ$W^obƪ 6h0obEqE6YQ>k?{l)_joaAG&OhTinW2#WA?#RgZ34Vo0|w/;+5`rѸ#)$QjF"ǤglҒ$:ԪMwC#"w:tgWyg< `3ŦVNN]~SC(oq2!';(ٝCVeo['>$ɁPnF5z} \v#BC/IZЕ˖d}V%m%c Ϣ.g(>ODٌd %BX݁X&ʦtOs&.zsÞR? 842#*6W(VhpgӎIA-!褔.;`KׇՉcCғFE@荎=z6WjC(¡6};Z~9 ʼ*O q,hN?q {*W1:ٖ^C|ZQk( \ *W1a NB@E@:ޝzQ>}-7 (]w4/uN_3s<]'_"!C9fr"VQvM͙;'S N#V9PPnh^Ѥ!Y5 "T8Rކc5 Yb] ݎC}A.Yӂ])dq|N # On5t>q6T/$78}]PKH?)wğa('40JM QL=%`CŻ/shAR*J!nVsaHUȽ$ A\c_Wk NR0%܆6mʓfhp=l)|z򡺬!r/MB%cV(|Yd)2G$;3aCG6 `z@;;e-zN'q$MaX }RpG8>Mcw!&Pz2Qt#?k"Q{3!(PSqt/'4=<#3+j9S&>v0xKS,] }@sr(_%YJK8KJ@í9ƫbKn_RQ92~7$ 5G6f36J\'1( O˜LvG,K׫{5I=`ܹb Ke-'4 L3qy ͚\ul\lWFYK[Y|+cb5}T%ꨞI\a,6Otn.$?/!a#1ouN`<0`V r 4 0A鿻howM27?z>~`di1!2w[ݽJYMV#6b~:O2JNYIdŸUZ${1'U7 U!YF%G@<5nMѬHK{ $FBXnqɢA@IJs b $EF)}-ՍY9fF!-,F˛RCD*xoY B6LѺDzf=-zy-6)RƬDf6]}ǿp|Oq?qo7!K^{ VhۭbͥSvZ;Dz⟃O+̻ ø\*} sv|rqV_ZϽB{OiqFl}@H\fd[7`F \EѤb_ b=q&2wZ9@oqSLѹFس7PwNB+ۉT~ ݌_g3҂=辢5@ISޅ{6yп̲\1_p,Zb )w"*:eDz+ \ < d+/θVz,QRf;bzBzI%E_ .ZM IMI nqS@aPf?fU)Rx6/ʐ 2سr_|RaQ8KcVJN]c)MB܀éLC1@gvקr|y2K: fdLrD{FH #L/TY~WS|÷- a_n@YZGQq SٗƝ(\@д?I4.u%I%a)ή HV|*Eo]{X{_h/֯5:&~AQux(:r=I5h+9:0ڙ~x1huzhZ e@aӮg:$8Wb(&X$ttP`*isBZ9CM 6gpݒUS[R?ͫ|~xI*tdmg4G Z2Z 1}JxfNF>rQL2/{b9@)$jOypU݃FbJ+e l;&dŖN;#O.jdI,e*H ;R37#$;iȶ碀Spk )(-GL TBvo+)OZ8fZ6FXoz`u7ɎT=; atYHH͛PRc5epD5fL5P[ċhܨ!DH&&7h %W!$Ug~V>7m A9KJEZO@)`K"u]rt77!FO>S{˸Y7uB؀} fOFA 1 g=|zY)\bgp]@([fhzRE.N9~eQ~S)TԁGPY9C̥_piWJ1NˆZTܹC*/(>XW`5\0TY^ن[&^HC߁)%gUU-4mMTRI4]P}R>L&7+V#Do J_OI]w:rZP;Բˢm4vJ%߾\f |Zp'!9BQ#d\w|Ȯ|}9 ކ+>qtDz*<rP N?=Ph‹5+ו =O3g +2&Y)i%P{7\6lCY0tЌma!(" ӹT qwpE@I*Y6?^{a-#Xҡ+JE,8 mg1AB{8}x u{|sϊ4x}Iͳh@bfzrEDgЧ%_$e[B"rdj%Mq, r,eww@g@ kZA1A}HB).Ȗl>>![齆`}<Z`4 ηXH0ۑYWEڗ},2!e)aW#9l_)A3k. ǧڋj=ݽ0=qU0lq!Q=6RJ$qC nG>8eYqp>b㬘N "Or)+û䗰INbps N^ЄʔrU7vwk;JEP͔e5UP%mzIn xՊ23ɬo9Tp U\E'|Xku!Q +&Nu )5*h',(IvZ:e)@Shq)]^ q C{Pc/dӵuK֥4Tv!<;w띇Em<9+41B .}RJ$r>Z\m`O>qԝ6 nHخ;)-X"V>X hYc|~nex]De Zy9MÛ[)֗Yd Cw%$޺qct×wZM.BI\7@}YxY%Y-cH%TO NDDkzRug&|t  j\˚]O@:nJWYkt=%qAgaEfn1ZZڨ-$7HbEYC:Qci*hL8 OG3-p Njv_ L*6T\VDxJ ;(' (dݺS s"BŸ޵US1xLw؉HMI%|:P#kMYMZii/\[em`>pOm5Ja*F*pA-7IEeOHժ%ֹ`5&h[mP?mtǷݷb_ ώ @EY)`544#na2\ b7Nq3` ܱoocy?rPPf 3Ƿ?rIJdncs_>Ag" T G2y@4ӵBZ d=pS -X3q)\jaK>LQŚ."҂Y_d̓9*niO!1kkHHۯϊjN-W?1(V;Vh}ֱ~T0±@?(в0+d v?$s}f~8GÑI[R{ls0x: QsoҷCҕ˟synZ2jbR u7K= _]XT)>-,HfUg7lKf~" lBϘv-\>c I{ _GЧQ@*jA qZAtUɁ^iʫVy Rp|)ChؽI'@ўK _r˃y'IbqH` u b-. igO<>}0h![[΅دwTaˆ|WV !њ ~yhV9@-E m^WIqm*P\Ńt#21qkL\06YÑ4Ŋ> .q['39A~U!%Ҫt9'E?{,ۈ&bY/*uG@#ʥ?ɨmc7 ![soP`Fk"ܝCdx~FbEb!㡾+EjtЎIFm?=G+5, >F8KN[b:zz5I̸W}bSR n{s}rJK%agiij&Ihܗ-0`K\>Qa/Ȉ}"Xhwqs/#@0鞂FG/Vef^=~]YGUfas 93^= V,cP`XbS#,M i4&':+ȴ.\@ 9^z`!9͇>+yMʪ0[ɹ|5$ 83UMbKu%BrYwx+WkTqq2 fۅ=A"S;E $Gg)1,Q@n]T) L^T&Bpvbgr7\vr;gyc> G%J%Rφ_2O.ḱ.M!#-=1К?xQ-&d(fsE4PvquAm[Oaa'|,Aa_4VBy%F+{izЃ.PYÀsFql+怎o:hқ>?1JiSKDWҘq( 8G *QhF[OLJvSp08vb C1*]PY!e}Ǐ.F)L$HT==k%#"($$9($OvkTSwB Vd$[`"=]zo@:AݥZnXX iD}o 6(JZ9*A?MK\v( <:,\OPEL-؝r:<[: NMY"hhB M|(un(=޲5vo6(sL} E܅Hޚ\ ߃StмbWm^ALN ?^T]:{'M*siNA*l#lj2ON rx frESq趋x7V>rҾ獦H"Gtk) { hK6x5;I3m1mV]DPu-՗rدfD9oDJϽ0FRMb9Hr .0ޭo.v 7QܞiW|9\<%8gYI6gUBbg?Ka(ӝ|zYgDaOףѷ^L$d 1QM .KV4bqA:p"ecx,V}NA{lѯ1hA@=pXP8?@q-ϛ"ϻ&bio,7wX ~!,+zgup0& ϸ'<˳\n 0ITmimH7(['t._S¼j J۰|I^Nk}ѵX5zr\l=0##e H]n;{bK/OQC>6tVe``fQ c}xNk xd2fP"]d2LAY ^ܳ'̆Ǥg2q&D,ytLKt˭;[K`Xlr[8 c-AbX\a|AJ=;ڼ%d]ZL<8kZ)Y[J#+Ss,H}Y]sW|?k_ٌlNOEc>K@tՄ籮 sx YnlK=S:X] Hj]o?Ks BWzV: ӏn6x~[M_NU('iYhN&it[lv(c=p3yq!˝h< "8"Ȭ~X^oժDDbC[)bNE,Zޛsbmkһ>U9}hMN$\‰vԉ8)WrutXt&reףY䓧 e7BA)Pc3*m-UiH*f}߅ߒ317u*'KnKr2hr=?0ĔOvsd4(DDzn0뽛?+ۚ S&{=̽"ֆz8_$*yI ˛HV]ADquZH4|k -qi,ԂWH)mZqUCbH4v&Rbj)j5?|t7QH*O8U-\XV8@T-ZXQa{xnM -\Q1e iBt1S>˓}kL"os+gmB.t_Bl·otZk$5rNzS3;8̃-o K#BB[aG s=W)L WQѣor>?Re&U] HKX^[ LEDQ8dtǁEU90n8P2Y}L2'0r )Da8;!n;8x$;_ɘ O1e͝fĎ/Eֵ7C+_c_.-RL+Q.ގg$p'tME *IfmnTA5Ӯxo|kqםW@auP9@E{SN~?&ەptZ'&9}*Y= ?|e,2hY(U(ecț!C^DNwAyF%S]Gf90p y{  |Oy_k N+5:׽AX3jEIރ9f̦@Z2v}YURAlw+L:"2 2jֿVCN,&C_:e^bcB[+y#]NBAVX`Rkm~yf!"5E 5bre봩`e"@Ӯ.L $yQ73#\cgف2bvt9ίX Ù}#*! 0<1JΚ#fj]:X֎,B͸.fz Tj X"PZj3zj/=lq8%+w}볺E4{5NH; [3ђVz$rh(:4Sf%+.((;O{=4o fE9'4D(8׆nҹv D`#CQWs|Ŭ=' ={kc4< lxwE{Ŗ.{ uZ: FN[0 gƞP;&xq"^=ŊˇޣZ$M"Us kj#0N"O>?AI : auFCi,5\)$>.}/7s:gUIeG2ƹ`ճT]tDNNe5Rl Lr>hkv1/bOiՇ-=wEj{\9T'6ѐ^FIz.ς;3! @eQq톕aԱU5U:UT zywf(y*oN%;7@+z']qNӉHt{Bģ yŶjgiWK_XƁ2?7 bߋ<ݨe{B v`N%shё=kbXr%Tp%|kw3AbT텧wI7A@>žh+|qT[NF8 @zi 9DEgu_=ʢ/!d1H{ ?i_?lKQهxo uG1nt}Ar9wUįJ3/TPzM3 s9s@/S2x&+m(i.(W6ޕ;If@P)/S9Ke?SgTkbDHជ|m71$4(I fASj)JhUUu 9C\n5nH¤wڬ 0*q@jf| (#F48P٫09V1ǟ6ȫM=yꇢhc9qddԨ!Mx?Xc|cIoqmYI :wC Lj[Rp~?1j:XZ/@ Fp.)nsٴ/ID.5C&Q:I, d签B8PLڢDƘ <}T Ġf)YJ]bAIb6"^0RB $ ;o V`a#b##JO@4=88WPN E^WS R0ݎij 3VB g%1H7xs N?^6%%D߁=*߁ȳZmcXyOWTbrN :\ӡ'&>XC U&h!olzmg&R{tw=_ičq@om C2!]6U\i'ǡ\C(Uy7nN^q];,->2]Ӭ*mr}AM~-w*nW%;v`JU 0ma79$l~-(u%w>Z; ͛c~r_bc[tU胩5y~hQޡ)Ҩ8rZj3%_oMv@gNs40O9Vܘhk_CO8ZWt' ]&X_LyV.@bXdyt\c'*atrh> H{؃QoVpfvC7π[ EW]z]a?XF*R07џ;w~GъuUzyW=[tqa8ԢKGzyz֭O9QgkШ{KB]B.He7z5RNB0E鋨QwxZL)?Fή5qDU\s'Pd$`cBwrH '=?;u 3'c^Զ($eWd/$oI˄Sb- ;.&)J i埨PCρ1UGke9r TSP pVv-0AB(!==k X;L0XtefޑokR߾IH;F=o]_Oa,C$Q&`9tN>EV!jOvb< $iu[19RwwY%5" gS 0[3 1f-A?I_r* 2w23 cݑz "<-z1z9yETܴ ![1nVNjBLL#֓2DQ'm4Xc$!:}ڠp9?Oe%bfܳͦ~)gYZ4a300afd8c73e65726647c870eaf0cc56695d916eddcfa062a672f0dad34c5be0cd823fee08f5bb1 6803283bac8240f6b1c8d22324fa1bb842ee176c 2962971db4a8587ea0276e23a935f37c25eb8553