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 \1~dT ]% HOL-Decision_Procs:threads=6elapsed=222.427cpu=1081.104gc=121.8087zXZִF! i]ŗXiɟ{{2wRsy ĭ%:}3j X)@j73@skX'_bJ3T^%|0KBtl4B{-rn|/fMX- ,D46ʵ9kPM.@yN^cn.9;vE׵JV5.m@i\drϛ376V!z!W9p;T{A1GLCQIFcݰ䩜'pBK|w>>yeۚ1nA"N#m"{ ږY5t9#Sz bT[UBʝ :4,),\,%h tFL O1 +~yCj3Y~%g rLe 7,rVrվW iIJnP e|URYwf%Q p,T՚-/eOW'3QͭTve=TZ `qM֞D0kͲF%iSwvE(IJ 7M+JpɷT UW'6*dVj:j& 厙㟂.7:togDp]V\ok I2M+ؿԉMIUD- SQO (tNI '60R@IÇ_A~*5=&}qwsi)iɵ>bqS#3|`O0;9ZKo=2f@av~R(""TKwX@F֔U&]r9b>.]h_<RG.p~=\tV?w@ij?1D=]Y j3Fy=Uc],HyXqaÚ&KXc<_!޾ i0ơrF B^f˃Fi'(E cs`e׾Bq\m :\byKFQ 3sX\^h 6zmwo)c~F g(17=l/;P<׺`IؿLǿb EjJUNVLv(٩ !; ;`.r\r@L>3Wr,laՈTs &>8u]=4I'SlU EAQ̨/arˍc!}JP0]K'5& 6'd'ˠ}Q: =0fؕڋq$放ϸ_*.yޗ܌5XgIQsOf5:W)xl, _y0^H^T[La$Mu͗]+v=u [ T{ݰ| S<}D0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ THMJCgHariOJV7\ٴL "0t17b5ȖDhUpaOiFDȼ ?H@aq<0*SEY"auݱ\Mt~_?CXp^,,xZ,+ƊrllӃb8_F1tјʹY}f&JumN]W?ԞA|R%58[!'`F:8xSk=hKVʁ.e#-o *)3'O-J]!xxoǾ̭$%BdN#rVޓ.(wyl4^n&,# `v2l/P>(b ^_h(c[IӣO>Q'0eb&W}7ޞS{Ar)a;XL{k;;g$8Rh&U[SB%`Meo^oזO[ {c;1>Pkgbb=I{;,4&eI/cqW/ݬӰ$ӟLQxl!VL$C]<-ly9hD1/@;Cg4GQj)mU% kȵ"T})"-̷`)N$_b9ʸj_qzkUCO(% O 3fp4?$P;q7y*Cg%fޛ,{y亘Mȫ[t LQZA]Bդh^## Ir6JfcPAN |uQ/ghiAlOˏ)MT_KO>SRފ`C]afWpz7׮c̀WH˷k8GSLjޡ*bezE/a0d(_op{*=~h5i!5_ l ƉNt;~Uz=5h/CN|#fovj>&^rLOXǥ^ \V+Mw%xRXp?-hqAjZ-O/?l/חR4f ?1jSbBb ?X`pa}zׄM*$̀Qh"GH54*u"R Ǟ 1"m|vw_ʥ{,ӁaxYCr ?x Dŕޞ=0/T*< \ݿ0 @=)QnGcڇAdߌbG\բ_3')["C].!ؤbs(ǀ qFU%++ȢdP3%D>kŽ"@xLXr^ 6$c8az$!CNx (C^ł6N^}Nt̰wュ#PH+/e[bذ]QQS9$VuW*E, #vz قmְEz> -0zsVy;HDj^Ӏ-ݝȱeuF3fw5SnA׷lf2s䆄𩉏iNQ(^g|Z!^]E'l Ձ7-~O^5Rb jчL+>AI.$"wҫAFƉX53]%8dxK_Z=6MR8> gnkuỵ,{+[pskmF޹/@Z%ť*,Y2S#2c#:6ZPK4 ,wüW:d~O$*vqx 呌0gtJx1UJ =MZ=*&w?۬? L/TWp}UX_EsՔA] ^E qbEpX$+[sު\(+\NM:~4rGxTLǍjJ d1⋋RNi Oq]@ى!xWui=FVY Kijrc;E] V8FKNNJh#R8n "ިyZojGBYfZR ̸J;g{2"# LL&_}n@Lng10IA Nsh届> 1Dry=l(бm:imhG_&JJE0[$=tiQ$/~@CATF"2281bJfٺd޸YLj40g?՟rl-SF!vÙcqIZpO [xSU> vثo'S9#PAhhlw`!irY4xIg ȀP:2w3p !m_M&[oiXFL  56nhAG ?w WVC)xC=+hֺ =\R 8 ´&cCDߑm6R=P$μec}YsC9q[]˝t do75©g@LcҨEgLo舳iZGAĺtQVa橍9,RA "~y}c ( jIVĘoO5ǣCǹB/} 6) Q,gl<*C;mnK{zuGώW?L9F0UPq{YgYZ7zXZִF! )K:]ŗXi%L&{kw٭*v3hk!+ O={חvHfVUH4) Q )$wtyjF$:K)',yNc!ۀFȾo[C#ԏ T;'0j!SDk,ttZiV/JQci T'<ŋ硸5zbX`=_fmgkM\$P VRK|erPN 0vUKSqtbL Zxzt@ >b<] .v˒xmg5̠,˽Ց"D Z<c,5ή\vCU>]g0bS~pNSpFIg_lkH`L}kNaU=h0Zkq֣JǢO,/5#RPfais{ ˝ + 'UHu|v=rwIbvhsU ;ky@V0 N hvرdqe>-DNoepOÛBEHJSףm-D:\jtZך]o1wEG3H <ق~zOQt:ۤ0; VX"QO%nhׇg" V_1: MQϡ,YNFs).'nqƱ cm"3(c**9Ƿiw  oB}3PRfQʒJѩ-߇\ϛ.s4xn lVj%cXfv{(v$J9[} |1ݷ\BPCjvh Zt&oՖkCt(3=\o$΢Do3=eA0 i*E"GiKz)yk{Z'SJȭ c.Nx s:NR0.t#NJ7 F[hs*@ Cܧ*{ԶGRl?qkL?vpW]W],1.+~ *CHU!_IQzE!33?jX}舳U8 W [͞.4몽cmbK̨f#,՚` Tuk~de%OW &2ED*k%p)eKL?31m_A] ^c1 GVMl[HV S@@0Å ))pv%{ R@Mfh>EW8a J 6$f(?hCґ2 EYB«:?MX‰Vòmq#7>~ Z;QiD~-swQpGtٲ)3TwjlFޱ2'$x=v{MƟѰɶ`sNjo];98T%\⃓>ZɐeBtnt=l4U~4qLc.S-Ǣq3_Uh ]>^'. =ާi[gEQjb-GEss1ϩ-=k4.ő/n'HaצG.3kOͰݍ *s\hN@4ۆc;JO 64k N>Vrf-55@N͒ܶ<7Tg"}}7Æ/dkZ }ܡ-k]l쉤YUq5[SsZ4 j?? 4HFdGo8js98uHW;4/Nҙ񕅠,8\2<ͬ^,Ngu?od#M߇J{L.dk <,ٵx #'c(UD2H1*0r}~S0Iaz8FIw7lϒ_EHֿE1SF%dR G1IG)$"$׵HVP@ }!d4d NiE+W00Rν) 謺K3_8)Yq뱣h"%b8X-!m-Tqc<$4@0ʧz\"6& iQ?yj֑-EɖpPko2ٓ72A6 -w14Dq~aOpxx6Ӂ֞^*CR^cpqzNm!r߇˷'-wVR4{NӬV|~[ZXab_4fA ?P@_&2b4K_KSUѸE3Qh{gڐ uLGnQ$x;6\%rW.]& ^bbj}Jc"όs ` 9fY~lN"r˃@GԞ-tfO FM =o_%.Ȉ$"AbjK#$8ҹo.?~Q O/+= ;lwE3Ȩ0賄&;J gd.)<LuDD3ƈm/@ڏ. -Zg""&3On"-OCj8eQπ; 1hEhTxQn1Tsa{<ΘkA{HxuQRjB+aNyc1r"ÆtQy PŦ]Zs@Z,˱[X#SڮuWzl0cLno\:|2-; V3|tgrĞн 2tIozx,A:ۧ+.ݐz; $D<9u6*]_ܧ߆Wqt.Vue&s^_cR6=%8y)s#xQiNX/\b yUڤ/[qӾ}8^}StSqP; mˢ{V_6:,1QP4=`E-ӦLӡ{(U4=^nգ.ȹNl+͘NiطCw4*Ao;]pP;[s~r XkV G|ڤjuF2Z3 .NksuAYh ~v>6,ʉW,a7 +l^+!NT_ A,N2fo^R%L,Sދk\HB$X:v|{==K4ϗMH/R֩DŠN^$D)őbCE>~wnqrWr8_ ׌)JžrZUCHisAjOl[*z8Y-@]@i UH@3:*,_p]eF_,}_N}gk4,@\FAt}(?}p[[ mڻR`9OґuQԦYCe4" F 1tMw czkG;d(LSjF|,Qk\q5lS,Iw 45;x!(b :e^ya"52k@uRr\B \;`(FP먗peA؝V|tâkd,k/RkD*j3G+(^׏!8—{|,yڪS9+wJ v-a5=e _, ni}4?Vi;\5TS i8efU|!e6"ћx w+Mw dw\HX'mRJgYQ fҒi$00/GZ &i v6y/d_S/T7e>Z EХm1SR?ϒ>wZWzm~R F)L;XJZ*VV9L(2X-JqO0vݭ_d1 ЕHMF54bhY(j42#^_(?9Q^xyioo%{fqR-/CI1/u%T+ڨ@pݸilh+\ 7dsqpd]3~l06urt4L V9.|=e{xG1GXQÔzr# =t]t ^R':3XPXFr{E_' P+\1 d|dSVC1p=䡐"P mY/uů``l&Z#hNbL'˕`@K^OFb(zE=}129|#bt#2XV#U^ F_FMq&@X P0#[,2j+%TM~V ĤQGKRQ "GZPXx3 ͩO! +$oBSC~d"Bλ@y>69˪82!qq`YV5ՓVk޸hE ( l܆/q #iF.PWfyVd(bR6 GUոXu9b>؏4!$ظ<7N{F{"_$댓夞<"OkWAIj*89! '3?~G۬tQK__]P<%0աBYY8fp^"clIٱ>WS40G̥WfbVL7BHxL_O`?8M;xy}~)aQ@?K¥RXú:|@;Foy-2q{gfҘʀԷk-ޯy"P$-(;Z!+}z׵W=Ui<7(,]ǤY:سυ1RmDoSuR96N0s*P&` ndz҃I 9:r[DwXvnh]:? MpGTS)K~oL*a6:eq#1\֊7l$݄#:.˸W'-Hg*3L Gakk F_oS )Hܲ}w05nBO ഷ#h(X 3O$be|m;ăyC?MNK2"#qJ]+ -Od-)Z,m~ }cOsZuWl@%  XmY!gT6X26c|eυkzq]/VaTXsh.o:ʬi5vy5 k}~ v/G ysܨ2M a. [(tX|  }#N},m17cG>,2PBtK@ohu7,SoY5 MR\h=nѵ)&:YHpbY|i~ALz:4"΄&2|[;l!Q= #~Ǖ,y?kRHШd1*$M+뿓ATxߓDF7겐sf5<?e=>*Y~ܪyK܆Y |o N 2 DS>l噒IqŸ9^>s53 J 2q--D&_ !2ѫȡ>VfY6HM!6X|Ubyy*<,{ġ's)-4C,jE .E p7S73GM7ZHt-Xl4&/|Z\-"m>Ȏ 7O}FLM2 AMoL}PeVKq^p7*biU;߶e ?B-Sݪϟ P(s(SnJR|*l@S/J^J2Fw8D>a@pNwB{miWqs0;`mQ a LkWdUZm$4 yRZY Dok-gZAC<^Rvoihi![φв;0 =R=ImS1'/Zj^܋D݌m, 4vOqޗE,~BbyaE ݤZ;Ơ<2 eE&#Х ?yL{s@MXYANܪ[3#m!dÐS}!'3A5R%uAnOe ^yPyqozEUŋ 3<.~_MYc<"qg:}qS d4Elt]Pp /Ƅ (9HMS䣌1.ڔ hc[8jDF>~~b1it.] k]ٚbH*hEZ,F]k.s`l(kx(=2|8E sg$H2m E,(gŮ8T/tW*&y?ˠMVq{*:wP5Z%}uBĨ];AdM|*N{H1gr#{QytoV0"lq$f \%q~l7Ŧ>`龖(j"5{*d0ݿϔڽ!lj6#"56 di+qӪ]X."Pq+zep dZ ?P6f;|s6Ѧ?)E?@TA+:V.q\ku4@*(E<޿h3| (/Y(_/YIf6-ho-APK[i#uIȆÉ .*`VjejAV)ntV/A)wm^Ϥ8pjS ԔWJ6ݖ6A[r򉴛KVFpM "mS|e&xJ!'܊Tf0lb'p]X[+q,&!*i|e_S^0[}"ݺInڋ nvR\d lcˮZɏh"֯pݠ*˩* ]0ľŝȥF&x\7#$rLi Հal=1 'CS]07&pOoN}Yb(qso0?_ceC:?" 6S? QR<'Dhwut%)D[u[a.?%2 ^8Y;=[!4. < Df8m?LOo☭.9sUe",12GrJq{}M#ZQ0kT M8OVa+#ţz)1 ]^3g>($I%+St@ݰ8pVcf4uJ+$ sa`dְ'eM/ʾx&]Ԃ”zڙ,'ڝ?bWpCsPZz)XYE/POGaHHMɑoCC;=jx?ǢÑg WsG#'I'*N i3P!H pfB)Ub@?w\ҟ&>÷jjxt`;{OBGޫdvq/qGWWS0ߝj2D3n&#ᓿ 3mJ!CZeL,Sp<)E*>OZ}H*UOj}q& 7Pmr6x5)ہ劻Y_gMsl#E ]#c4Hku*>76|--&0kvuJz k$@46RڜG4,aq.xE3Vd`W3;R`]$TYQ*;81#_$Ji"d̞Jt`X4;^TJO2!=h|wͥ ^ ūPR$G#~h}y\q5pt{ 0e;aCs۫bDG;%CPK+vغ:d%"ce t$-ih&whCҊ(yP Fێ Rt$TA?0\7)ff;A~h3L~+M5M SD 6.o+E;BPk5iJ zQ;b`&O eK5"7Hd |><.AȤ*,t$g͘NۿDb4Ϊ (T(}d-DK>(N_+3v7<c8z?dWgדA n NAŽ蘤BK}YR@Bnİ H^h`,`*̣ b^[YƄC/]i"9>e R'l;;XD#-97g3ROl9HZLbb}Cؚ?M0'ΧD-dʈLjT -tmteEY] ƙWJ ,x+dvŖN c։ǸxQ(7wney>)K `•{+n܀Hl:ϥ P;3 jA.fGf|W* Yz ^e i0Kg. G˯-a*B'щ s|N׻OdxQvp#&I4g>yAE'- ne)RMf=7}>r'(",3>k H#6FIflDPu, Fq减gsb}JBU v&-3KdY)6f 3KZ iK(zZBWqE\w@h.;QYܾzs!+E9ThWƴl[ܻRɃ[w rty8=5ߏ0O($<+Z欻9l[*[j{w'W>'g"ND޿B}i݋9}4C{l}8臉; ARS>bN75]1 pت! ̚$l~zXjtlzg_ƴ)%oC yK+|cgPԾp6s3 עdҜ?R6:C,Kǁy(*4o# $i)T |Gik{)?(yZFtc3-!HJ: RͿpDyL<h=`ۚrƼ`x5BW![S,2MazhM> Mټ?\1.6 ^ h%N1zTdX\<>k ce̱Y'hs -%"jOܳ)kNF8VTK?Oj[KH6GLd{@ﲩswIa[5YNIBHsZ\+,# JZH+z72;$싧!'Tl{EF*A[SX2}ڱ SI,1Ӷ+SFX<[m+@KAn@KƇzPzl(^t xKlCf<- FuD,y J;r<#)[Wx* 2X>ڥ HTUmQTtCj"Ͽ,$-_%|7^}>LE<' W~-x3!Q9HMqn 2=xeW]uh]DZ&!`-/w#7"JXGފ 93J]@kD55 gAKGogG%VCa[Skȫq-2TyϟNtG|;0*LҌ@k? F'l=;ݍKyHÔW4l"D_YF:S:sia#?'ڏ׵';nÑSHYc`%ӘHMeh 0)#+.I E>TuLvAP726Bx)xC(́\B+]mCwuٿAa<ɰOC: ӦA ]I$>uk]_} nʬNw!)T"XL H=$%PJ~8:7Dbq4h=0kB2nL?d`u7 Ee\7?1>,dC-yr=Ge9)b5?$$dcNfZwFcQe/!?Y*][y(JGP/bc0 RלB_32*r3=} S Pձn!w wv:3T vOsbOb^~]x (]9:7dȞ/y;4JҶ#RJ(=IO]4mcW.k-x]Xs@Zd״0_^ $bu5dld y 6Eag4Ycf ڐq? Z1bV2ԛ@zǶ4I^"T!S Gna9WzeVl-l|~빌"H@h8(0 j}/ =zPu[msVW͢AUNDvv1(:ElOAo[lKԪ[F~++Tl3?{+{Fq?XXvA1!dhveѯ $clt~[ᰡBux:eldݧa6y! (yj4X&fO6UP:caq\ LQXZ}%XV"ERv5_\ Qvh&ʆ,lo>x_&wcMt,[V`[m q5H_n##/l3_M6XJp-j? Bap`\(O|MVdQX~ؑi+opEaGa[ޖf`͖+x9akn(/9^; -U"2oiswyZ6X߹QRe@|Q@\(IN&.7\RxK&dqU7\.0YX+B#QoaO nU !}*cog9[{):JMgB0 2J]x̙!Ƙ @kZ8.ܹd-gAe7t` {1tLrYm ѕ ]x֔ýHtdoޟ' ԈCZ"UmP$oloM?d]'Y.5s^`@4`^G ylO)lZ=tI& -i1xW\ti"rbDK p{݆`Bǰ额k~wt/, W3D0RX}R !W$JeO 2-. FIm~nךcǥ)ʶd_P]Ψ'{dO**eaQuP,Y` eߧ_3H+Ue<{. a-G?ý3Ui%(t?U* ¬tRP }]lWi]v =ىz70 GC@X=;;!#dJ5['F_1!lu0 }%TH iF=X[BraEK|!)j3biKzrioV#QYs{J_T{0x8%~x_{i2ɇ ҪİJ+, лE˻ Md('04_imJہ6_5Z3)hȽ/і.gl1ꉶ ' `!JW $%\OkR;ׄj,N B^pHoRu ]C1w\hb8&S7l& VԺf҃ txi#Wz{H*yV^&66V^@Ru!B~= M`c<L='f)}y[Sـrz_6LVo#dx9`sϚ~X+,*6%R8GsTǵ~O?|рvD 5ΌK~sM&I<.k2 `>W W gJbЇޠ#]F& =ˌh]ҵmW`G>>*>F3R&:yFG:uND3ԝ֖NɪgYZd88deebb2ee42613354cecd1c286ab7bb3ad4fe91fdedf6012a4ebc6e40000ef24a132020cf3202d 6607fa2666df38d37eeb7f85fc4e19a3f5c65593 af98c444a305a9e9379f35b6e8caaee32b88667c a55fcd09591d57227fcb0be858b32d0fbe5d5177 d8170f1bcc7d38eceacce1288e9ac443a8fbd8d8