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 t!tT ]]]HOL-Proofs:threads=6elapsed=656.376cpu=1563.792gc=277.024factor=2.387zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^rr8eV#x%buܖ KWbV 6]ޚX-TةϗRrYwO=l!WL^p)`N"WpPwi;p'żi4dUH:hn*_~0+ _ D?Q{jW.{UJ/3ѽ `?S1-ybR&1vˠI()=8J=UF֌QGۡ@"<mT]-*ʟ?R6ETNs'TeA7) h5pivpKd(ȍSad>ٮv05+<,W-A _=!H{rY-J#D%OҰIVua_n/TL HLS&䙋"f?h~#/LG0?|ϴ&5+ .*H4f-Ky"4X*pr7`Wqa-jA);1uuSV,r"+OWI V8Iˣؕq$v3E1 >úSԷ[ټBk ,\W3T@"5yoNJ<. *6p:GEmVrW9+Ć |R zSWL Nǭ(u z7kN?ND̊0 Д2n ]8H|kF\٪X@x׮-[t|ۂՒb+Q6@9{ev=V-GB2W3쩗_m"^џ"a'sLM2 TVl@6pZ8ʹd]N7r!/DzSî?} ?#"ǎDv2{SxX|*dh|<f)V|KKyH]bo5.U֡7Ow:$cOvԲ/K31)W놛:9+Gm~D>ۙn bPnq,.dh0?˃֓6Ib--2L.ݹ JAKpk|AZʪL/f!Yf)vr>aATJB,HB|ӼBd& 쪁(>~$ x PsQB[Pj\FKqYMdT8?+0o %I"S[;&"*[CGδYo:44ij68gLq'N!n՘qܾq(0>j1>IpRaz*ueR:"1͹u@'P3x`Tj#eh >wC0 Yul{`@FQgT%4Ax5JG )ol4f@;Ub(E+.NEroTy:h*f+PJE☀6]zAi`u a '6`NO=_۳8XZarv|LD}` d@dC1'q[ <bR ez})y5r"Q̞YTS&[(gaoy3U3Qoh_){ $>:´.w_xlzaXS\/c,9hceɿ}{QAN^d*8Z%(:jG)6I⼬#<-&;mv[?i+&bl4o7G1n@&_ *Øk7N!sz gyc:A[cB OO ;QvROlVH&KwJq:4]W=ľ]82'\X9yE|K|XWb^l|kLyJ֍X]d;Uҩ/L\|U)[0||CN?v**:֧:zFLz+`>A%Rƛέ ͯC 0"ː>!ljM]EM]ic34~cE␫l@RR^(gY,jGEUMP˦ݹ5"L1oHt׃A>Fϒya3(~v|&Ir0d >s%[ e,E}Bmg+6RU)S dx=ʎ2ṕ۽AmGKbӻ k),r>?5t6?q`\죲/ڤuizj]dj˄]?:ۥ|ޥv~Ÿh6RԸT&T 掎Z> /Bfw>@#& a T (шQsINQR&@Y h=&"H\_z+cD9QbRB߽2߾rWW?dA勳>|AQr᭿# >FM0s֌데4AKg Ɍ+(Ţ}-$wA6?գ-iOcʄ_a@V\l_q:_;6L=O*cM>_k$Z#%wah>K"݉ ?t#;V:18hRtK[0'7g Iq߄AI8ܒy:2;GSGzfԭ##RK챮Ym<MD*yπQ-n W8S=z16ziR6\QzmHLF szJ^S]]3{e8Y& +UkٞX7/܆VlKhO,4xE}))u V 5*o01VdӡD^0ApIPB2Z$@>s-UadM#H6&8 uoڶ} }#5afuwܯ4Ldή1筈} Z+{tv R(7 AyU_vd̠ ́JO:"kPyɝ;o^hٲJ0 Tٳ Q"&R6AoŸnixA?.oSA9 !VI:\V q 0r/}TJXגA_dȞ;h1sQ_9V#yO<\!}AS}F!O,L,xq&=`uY }(nb4EOM+MlE@}$KjF /&o(5a}OW/Zڶ.|e;я>7KH a1OĻdz[,B)Ôpg)iVermRM$R^a1brzvhXE{:diwa![_l0{bn@;6MiAH-23᭦ >m uƃ3oZdL(?j gu83·Ρ. aBy}ͦLs?#_b&%x*o,o/]-dUn _dܩZ1.xgV-LB WnR0ᅻ5HjC4 e&|m {'!/CX4RI?K[%ͣt_(An&ibȩU^W˱t)=eIqIPC ]l!V M}tƒ&Ies<68P6qX5f68X NBI<!9,Սbt!`=[mTMt#r6;0^ xH@DS!Jkr R1Qm^i#uPe}p\fGza/qg{rbPKB$Z̆uxEa,?W0RqqT 6Jܫ d(9+ӸiNT.2%P=: x] ,V/D`e!+ (߷ nU4~H*#= Q`U翁z p r+or-~3e RrOOq F=t ul7`EiqxNgT{vBv`-n3>eޓYwyLe;SPl0楕vkY3i!i/q-@ PAVNݼմ}J#/؂ ƒmkmɉ=_M1q\byF5mA0|_rI@-S"L.;c zn *#Gh\5 .aV\z[ŧ{$yJ?lAzRFJw 翀{e}`Tɿ^B.݃g8O"bW>7Qst+ p&Kq spiwO3ʾS+8cR -84|>;JYYɃ-Jp,8P_1;!upLbޮF@79J ^`[Գ7bqnYO lo`: M'ֽ3rEsϫY ? vZHy˵e|US !삭]R67iC\m@kDU97K_am(S~bF՚A%PP0|m% uYPzG bRoPn?tYr Way;_鋃Ʀ3[-gYZ7zXZִF! d]ŗXiɟ29aoʼz[%U>EM!!B$ t^U l8ɑ6 0]:zrbQEY~Jgv įmOa>pY~˪,S7ȕ ?ʁ),*m#O]8ѺL&zk^+eke *f_&h9<XKǷ*JnY8QL⓰U1CoiG@И?{C5f%B'w.X/^ˉ5mis~c-Y#,ّyW5_BmM"&}ϑ! 3.)gWG>-̍|t?bJ:3 fͿ ^Ρ&#_;Wb^i ,vkIc0IEݐv M `w3<R\,e | Rzz@)8'r@a567;9 !кHqd>DZkeU"7HIT1@a?P l)XȮ/u& hm2ҽRsefW^K#!|1y6-#Ӕr;8C I߱?r4`VvPϽFUyYrwĝ42vҟd}7=-͘vhy)zi0KGUrQ[jY~WF>I~znR*TH'F1>Xb@PԎ+ʂ~'(P] ~ΫtmeشGļ{O);:X2xI]䷍~J1|t@%z@/?(}Gڍb=_P#P"gTg>N}[4$UzÂ:;w@Խ02۱-G=)qT]eT\OőMț].Q[aBMz鐦9.gw}o/&oq2R!vi3`fk;&Ȧo?yUc`o1~e.qګ@ܑjvOaϒcd=[Ot'E3<#s%3衜-J;< (7A]&?%;iIv:UC-F7@"ޑFD ƕ ,W[x|$\FvZ{\A#;;c8"y4@ 2*q1L*6l{_"BkzJTiوs.a*e] "L^DM﨨$ڪZѰv/Qcy@[a,h fsm C&w3ުI›/;^ZgCkwkC|{F[}?}n`8u%ᒊD"3Fv~濕|8>6zsS2_k<7ve!DGRPd5)( 6:l#ChK݈tp]h- {ՠh?z=Д&}w{T yUT{bcmQ~ˠ4]j^%݈r G?-CBډ, 0D(O©E"Quв2i"2N[Xk*cXL;6; y~w氆8&FESn*oJ$뽉&`UC+ Z# 9RE/-Q;@KcԳ2ߴV'ϖDoE$Ȝ8Ljz vp/;AyBaoRvRt~Eڞʘ^Н] $Y?Ґb}VhZ9KPTI}I}Z8֒AMS 2pL!o6O9HYGh U_Nc f[J u?pwPk,(֚9ǢsO%Nx߫"mk*7)qVHZEz8xM.KUѨO*]~9J^lX8ڥńf*,ZF1u£x qxF+v-Oq""χID6#PxӋ¡ގKD}Fٸ9Qy .re#F#; Ad+/ |)Q@'39OSHk3@siꚚ.ȠOzpbMձ*39_ hrɤYҸo]sW?n %]>_wP4vyPRߎ50ѷJF zpAG'3&ţ)3饕ZIlEE2"z2Jڿgcza`.KةW|Ђܝ'0Z}V=)h Y,7w7C͕f S!՛5D1f5Om};_.fׅ\a *yW aKHuZX%tN4xrtx%pT~*|{".k9~78\ &(*QPPU;[51bљXh@R;T'b0z{DŽslQv3g \fDQhp~xՃS\q-LVD< i>jR҆lh44 j_q$^{y; R)%~I:)*g[xW\b`&qb>57A-S{gDZpG@]#)K夷=}#r}xC ]xzР`nf+x/eu\y~%!Jzx~&oJ#^ -i Lۙc xw^Lwv*GgP'ExAO?L7+v@۠C>N*?u9jZP̷yRОS9\CBy ඐ=~# q66;9ZCA@p)W<Ɋ7k[ ZyTbǴ5P#,zms!c0U(a[ ٱ8X09iCQr˺ D@10~h)/jtxh na(\ U@%cm TDɑ\zxu#ѐTq)zcWoZ0G_ *IQHPFm/)蜷'c蹾I\svIЛ^E ݅DŽ5"tHxzJ&ZJ˗$п$LԖӖաC-Ѻ:%PRxﮯ(/:\1(m\,,I`o Y~J0]Gp.m\|,l`|,/@2#N xعLڔQxZ]y**6 yZyM'".ҬMe[^{W[3@xԅ͚yj 1T&PNw)=\Z)StTX/ܩFYru™PV#(3m`⎹v /@3heH)A+{09-cnԥen\z=KQ9r355(&$iffZ,>A[gФx ( 41]@9736'R@xzKKvV wՎKz4x\/YWx,H e7;ѿI@1 h_JKu4ȟ1xnJBurFX#.o,JDIcV>JLAgfV(uNk؊C9S1З.zͰNâJeT qל9e%8{r7(:sɝbmClֹn2ܘj鹴 =LzC-ÈdSvdZ?MmFp4-߽uzd/N~nWyJc NQΞuiKͮnr'$b:2z,d~HGC B:mڈoM ~S/>ǎ73¬fgS㘬9y̼is("kc,{>tBKX1wTjߠhgĉCs0K_CFf# z=~y5F0qc ' w`],ar֏>Nf`Z6R߇W Pb1mkvpV b$m#DYpZ+39Bsb' ᾆ`ECq}CS9 rǂeL E+Tae~W7IS6](#ai&{ejz gQC2[߇$Ge+[|oݦY?f-!vPRr?"boTUQ8ch$4:4gJOcX,f&m\P)g3%>9lC녣;EڑH Z% ŏ9f=j)J¼8cN n1Dϋ˦B euoݍKTUF<mӎRd~tyWC͜ȍϏH!]0+nR `bahv#JV{e;oT% dW[zfLuҀ!fp~Ak;׋GyZF;/[vFYSrߎ?޼2NbtpŃ<,OVf܀iW9AQKMŌʝ.9#eXA) J3aEzH::C;Qc~DzqOs" \tl6E=v_RWv@^wM?SE"-p[In{laNhvn.)e翷Vi, םRGF'DcyA dzELN[AUC" MY p g | ,s{agO-{M dCim W\ӦS/ZJN7\=(%=7҅P;C~\/$v}ۙPKJPacc9q3y7Jg3500CY13̕'&7=*'~ܢ/ vG֒'bqGt`ar`W'u:92,MAYG.*ۼղw?Yp,z#rGVJ~RF }ۋhZ_M&Mش3]AnOKau9isF2K=-}O>2QU3]gJXIL& 1Lʗ7r5y؋ڱ#ŪT_N mrZIFו"mQ cվjE2+/rRɻ. <ρU t6QJjQR'fNh_!\^>#"xҕ I{ktΌ!d,#39^%KXϣ0gK\v;";xt58=f)E*ICYC"v1x:Q,~{1IjQiOC$X/h vBS>MMG52ܬt^Ἕ*Wp.B:u` ٝ:Rǵ]!,*B6_:oVTa%'R /(ksK][C+ '4.M98,&>8 }3ec5fqg 1N`ᒏnը"'pVҏhU.:|o\jlZgĎBZ?g  0]J0MJss/ ҉ iQAf| ?hVNcZT@A +E*!֜mEC>!y$֤~U8Qr˗&%Ԁ Ԗloc𠁘K_S1s!"X-~C >S36(N+佻I!xerRhv1*^TdJRHϴ<JY4ϐ"[UU[_`~d 7կFwjQN"`GB7|y>d/u*G_ )ZRko݌|+/׏b Iot~C{ukѐRaK`^L hi_L6!1&`g[?P5JDDV1%THNgs% H֧ITY ^ Lp$Bea]QL+uH~ADTyys`n_{qȣ/bGn[3rT ev:9٩H1|p+ XTRX*H^T,9ƌZ7= `X)LokTVd.i]_JC+ ) BLD'$v5?D_s9 yxO>V/N+Fh2, ([wg;/9hM˺69mrolV8_8ţ/!KV%O_"ll[uYmlX\wy9exңgej;7 iDN m|6b/i擀@<$qtn'x73?3܈AK ~x"i j)lع>'niuŽ10LPӨ v=zA}{m ["& ߔDZj/̈\r)^\ Pւ^6XBqgI<ғNAr (J$n|uz Ɩ&S:Pyۂ!Tt݁@Z4cL'IYcnc^ )`گDb }?`3h-L=;=u;7ma5\B̓Ҿh&2D+&W风6r%A`B#b`n7,=om(R|Vэ)>Dܗ{ R"\;1ʹ*-->[]*r{)Y ԓ6MH=<㳫l ߾ #u 'Ry'O̰Lvנ|YdTH ,8bd}RHA;0P&\O7y|OVllEtC0R끠O # {.sJs䔢Q`zn)rFϬZdd!Jnle'% :OPCmsi8 \lJOTm|UԳ[TKW uyJC$l0a'8P7jNxi LIT@=He",~`AKn!<#|ד@}xjRDo3rr8ͯw L,2Sbb}֛*x?Bi}R/ɏfz܊ \v9SjyqEpU27͇kڲRº(yFw1v jJ=kbY#).pKvHI\V5BZz:{g4WZfκ=<'/G2Ա+o.qpc`úvOߤX\\9Dgfa2Y 5D|~^Pð  5[^ڙIʒ<DŽ׀#Gj8ۂE` Ѣ,Xn?o:`R ]nNqZx4 1:K8L-UN |?/̆lQfa̜X|* &*>%;vQFykQy .rN#׮}iQKv) 3D#M|DL# 29˓+XX1dM6v-pN@ՠGTD8}k庰q"RoP fL9tm6beI(sWU-[fsM<&\ܽѮJYB*%{ xǞJ5Mw2 u#t]%og+D7bd'_1!Z be2ER(+Au!ֲa!z)%wTՑ;ƂA@!S]A#Ӊz $X,g`1?`Ua_tΫ-̣}ȸQkP[ ަ#=/)}x2j+1 wiU.IRɖAalcd])Eŝɓp)}qu&A%W 5@;+`%xz;^:M:j><ը7MCA.')V-gO>|d^l\kHsHc5i5$T9DbjW0PW#GF-`^9iXz~-3\N>oy"d3.k2ycWNrC5&CMɶ1Z\k#1  Rs\)kLws0[BI.vAm[:aK/-a\AT{<30@ +^ie7Z]Ӡv'Q9/΃Iкw>Pzˇ m*co g}4((eB;a"3yI=}^&f+oC%{(&VHo R \'%Bzo |f<=]H~vX,櫮.b0*֨{6l %07AE,̌7q$R_ $9 l"MJ6 7Sy ]Wo)FَjpўB47c,N],3oYSDՔg|42Za/pgۋ/ ~)'8l?N`1%gN*PTDZ Ć6c2S(荜Vr\Fn1&9&bA9c^UW7Ce472*ub 5ݠlYB*⃏(oCN/*Y![_iMxӿ]:g'<2]s,>1,x)B \@Ž";(Q\+cI֧J­P&>;ϴ/tC@ǦQל"t(\hO B TZ3{kBKn*jECO zAMDhfqة/_A\J Gt+uT͏']f*5QWb,+?CBem )}d}73kDt3u|9o9xBOggV<4؆2 B [U6#U`-!*O]٥F+ezs왛#m>WE{ G[t*|ci,O;u/0bװ?@:x0K`$^ KF/\6+blO+V[!cH<+Ĭ )?:A?i-Mʔ00&UűĕP}{`:SAس!SuZnY܅ds$p0T5tue\:rg;`-h_*PACRS1r+]KiH Fnjֈ/t'e؂5j')\e]DA'$:$˴X@ʯ|(y ;6 L('BԢz~m5Yws3-6ՏsI.VkR0kKɧ&q6V {2ޔ7X?sRuy)~0ebŴ?aXL`S'%\WqDZ~ Vi1<8۪2 y3ΨfTN貅t(7p`)<bi@ˢ:(t'"~?peu~7'Zkqyn4.ºHDc&qkS%=f``VR)1^C-fe7pa!תCa}âY+fml ǹd?][h0|Q¿nԡY/FT,Y Yν~Ty6r|}Uj p$IDjcȽ6ƪj2s.5j2XcẠ`M[o_IaḄYJkuk TzIk. aJWj\)q](<>|PFk݄(N 7pr*c%UD1E`erYUaDh4E~L b$/GbL28)gbG]eIvJ0- M8~?GNd%ꖎ\m|c̓=?XȶCukt& aq]J^?x:)HubM/RqǤ4|+K<*j:X23SlÜĠ~ >[8ĎɒB<)5;(,*ʈaq bYCju2XTdC̮V#2D=I(\=P^j?h+fW  h~`OL Bn;& Tz/H|<[f9Cj@wIȜsgwL Tʾqg%1Kb0)6GJ*bT'K< D2r,^#0t|['4;[&c0 {f%wdCyanu5HLp]|lM^ ǖ\83'Zu83"ԂBbyj`R{PK뀚t+}}#r23/o@2둂Kdˡ)] s8kF ZJ!x~Yi 3\/2 0H)CHRqNqqxr֑$ >tl< @8`v->tkQ#Hy~|w ~䲀Chd%;L,g%Q39`kvej('M./szЇC#-,\AiZ,ϱ]ܦWwkʤS͢_}~d3g{J4딁neߚ{% ӾЫaX-iaH?ԫ pO9.R Wv0j ' 0{0xV=lVq7!@QeȨ1p‰٦> q`PфDxZ%,a:#@1Vb;`0x?Ry .-^U†!/iDd_=M"wpy&q(,ųGBĞB~KsuqX7 R\Ή[6@SBR? Ȁ/ȇTyqP5ҮhZaeD;Qt_.lK $ Na ^t~z;qA-"]R(q+;Xvg#6D |$GNTgpfM'*{wiQvh}j^Pq`Tju ^P RT;.*hyq[^v;wX5!s!UTT-:T-@pQz@ioӨ\aOk*4Z^B¨Bѽu/HtESPe2=({O?Kظum6X+ZTED6(|$)(ߑw;Ţ2 rY&>D)+x,\#u4}=I~ Jv,in,V)HkSn+ zu299D)m$ZSLkBokdѺ ?Sx?\Uil+_8882qjax:供8K=)Aʹr!f`NTtG-KR9"׊{(ka>PK2g4zx{U L3=od sSQ'TIׁ+8zdKbfa6ЫPItM"-ߍb?({(c(1YK KG- %*qy&nˬ3+gpV49.b›dM/d.7;b(H`t `yϸ%p i%c - fž5Jf}Ŀį>ӕ!lROr&Bn},{hDyR3ntZOqj*ch#lq]Apn:$Dž\g W u,= tWKɳcí8G 8 tg EZ -a?gee}c?gB&x6PN9xrt@ # `KD-Nm[! j\bp9rF"h_`DrJO\7u}\qh5heb^4kVmnAᐵjbY0\_2gx&T^[Bg.4=$PQ#eƥw UKdM[%^|Oo[r #^$Ȱ|pLLo9loFh}y,GO -/^Vs"!Eꦦ&V-dza, JxI"pϸIFEEʹuh^}^ fjsVm/4^D"ȣAɴ/ny'WT@,CM`Hc\RϑA+>J I͎5cܶR a8mLx{X4+M==i}Vܹ6eW(4{ `VEsrQ"&z DWolv](4b2gCCp݄X9bXTxoNrVUjr;@U+t0HysoP HHתqEC`pj]0։ѷӪt 9rXϳm@TjU:zIC&$5xKS~f43@v>J^w .JYh~C%HG|=vu-t%xv&g|Fii]ED0ądZI@0̑aݍǎn+]lAa$"}wVFn -lDDI3Cj˥b[>SLȁ`䜉it^s||7/Y3>~L%0V5AA gO];yT͘_k}v NO_TI+G^܈7X7gg8 `dwˌ. S`GV 7e1t .AcK4T%'2A N!> ~h(dENbo'1ΐ[p\N\ |GVO~˘DM̓`6 ;K/5_-)k>p)A.c ƩR*I@B,7qǀ!AqPegf7S)gM y >BePضl5lFht$,y=F4ְ='+{&{\17Jup*Vr%~0(>-Ԓ!AI7w&:0TK NH3ဢk\Wr"i?Sw%y7jt%1'-~\+Rq{{e{לl܊1|/<CrxhEMQ_%"R}R(h|XP_/p[gka@f,!uu؊xWY!,X~U, dz 'CޅW2FL҂W 3O*Ug+4Mym0ۀx'&ѡmPPHJI˳P{Gq nR.Ǯ70}V:i( _/VQv"7  -X+yG]1.; Jʀ#9]tt zPjKIJIZK"N&]k3$ggR[7V( {9oVd[Q#ToZ`(-nHK}(%ݱ"n_ &V Yjj?rO t9Fu6lLq{cj],6\ -%0n”! aR7F|:av|0H}e\E}7ѓ?b?]ƾw˪BizՇe[9;7䣮iT<1nI7-|M[~LY@a=(+v`+قRxw!-́SF9hOU ڊ_(o1ɜe{tXˇj/lo'Apς )'4a'ƜXlSTooaukۦ2g[ zsrD\*P.JSN;CfApҤ;ǒgjG&<i"t&‰]BiJyiY~Dm1ν<. {-u xB{Up DyfF,(,#)kX_`oڷ,0f$F)_5AFz5L4ˀXd<(ϚeAD{DTB`12&[GUݱEAJL1ڊjvGu\Ц-Hp(asv{"e9,Su8ĩn?-P-GѥEBO7.rkP(sdN]śܯ ]}ٙE^uӧiP ֶR윥xRS^t# I^h\3ιP \6T aV}E U`*gwY;°:F@c'(r5EpWxV4FY=~a[D 1[[MF#!ĆC׾H0Z} K$mb\<~hZBR n^dx aCQ`8Ho䒪 6> LAA_y֌X1"^/wp7LaC=!>J> 8,蜧^1t1"wIj"H,WsBs+İ #n-tFėSң2o)U`d0E0?՞mKՏ(0PJ,;{ZНILLmHyγ~^4F-J'Mu_ `T{z;LZЫBuT* pa0IO1ShZ1ĂR2?e²KnOdiXhauQ֗dvLkA-bLxl7?:`?3۶Z{N; rpQ>6HĉH3v*}`I4q'Gh-_2㿃{qc+P/ݽ.QD!l#EZg؃w`itHj8}\:[T}}=~PBUp mt5rpJn|{ W)s4ˆ!|7P \m8rŖ@!I,!MxT敬ݳn>XA+ھ`ؒ uҷ' 7qpDj&6 )~1E=b @Al.V8탴@,v%OC.Pv%Fy٢3zgXTpYoGl['' f&T{vKW_U=<6C[2M 6v&i0Gb"WTQ&&!Zw8C^ *m~ 5:*&q?=L[Qx+,e]Xk g/`B[]/5Xl[[?a5Z(@V}C0Z۷DQ,٠|֒ `aPNiTAB9noUӃQ*» 5Y`dCss^Ri* ?#>p!p﫤sZC%uc$9͙a&s(H$Iνo9lN+j>c&0(ݽyߔKDX`M6z@ $:yB`Q@!浹wEb6s`RSל" @^%$,& Sdq+):=tP꡼lM:mUh=/ݝsWjfۢ2F9 b8̇5~>JpyZ~!J?pjH|^L_eiB~o<><=_.n~[/"T~pD RMfe0/_cc:^a7e UBv{I_o<.WB/a6mC_k 8yR<NJhuS@(O, K{"n|(lKJPw ѵcPSoauMVekS^ ▙gPٖ w<J1~98%Oe8&Nu q-dj(BX] }l)m\ tޒt具fKZ39^O#a$1|5",SW{8 bMy{s\^@Ʃ(0zFi>b|e' R_&kb$OԕxK;AUQ zM`| \<8EL6l{j3Nɪ]J])UQq:27>D 1?Y!՝^W%ki@`<}^?ʞxA&lev=D:n;eeJY'o˱=wIP˲Ѯj>I4B "miYt(V,hcBUSzC]EĘw$rB}}d1 }W|V%f6۩]a='7 -8[b?^{!w-HoCrc [[7gJM2Ra!{[}MW=uB͚X݅/cї$ _6x\ pO-; {DIk*9Q_O=+0(F؞zhB!-d.A3^YWXF.M5isߒd@6.n} OX1pSCiLW[YX }y+ωY~N1̹E rMK8PH> _GM?nupuBfyG;eVSfbZ;;7P o@(i{Qwvmi]0ne#$ :r4TXk:˶q` h~5Ci3U7*~T;qct+% |VnZt27 :̛sς)#!#ܴlz 3x+Xp'>V5c">K^$32V +k-[+^ːY"_1DYg@x˒ M7ӫNG30,)oxouX !t]'/?%oyA( ݣTybko (zC ~e󯉩MNC?Nfk;~ S'Cq6oQH_yoǮ"*Әd VzT`t 8Y8ЋM*v뤷׵[,CP@G2ό]3؅:M-Hǰ S(Knt |(^0w@Ԩ"#HY$mA

R[xdЄAAU]}jR}slՕQ}U[ ϔSlzŬտ}Es;<'=٭nE2.7+`jfx$th˔:aG,u }ww*7$=T N sƱl.ypQ􃩌̰~8MeoYFE%Kڴ+ :~ kٯY4N]$V$}vM̳ߪu*l8U-=m>Tw"<' Xuvҕ6"b!/0P0o`:}IȚzȖЃt#pbh1TG{y5gj7݅ԘJk p۶Ļ?I[fp>i΅era&Ӳ@IO[t3ƉԢ 'O{}O\뻨=r.+B^ GJ+l?74,nmع{):FbdY"i^_Ҵ[  $6_yϑ2ZD5EȎE<+ǜ?e?ai%1׾p>Kb^EIƪbJ^?w59:WȾPUIPg1jZG2-p:.)S-Qy""^;^ 8 6T-at5&ίzd&aHpxA|qӿ/bu hߞPgCJ_eGζ##D?7zCFLd6)a+ БH"tTPȯ Mb6)o|"D¸\~Q z%xst5{gROH9EI;R-1Bcű昢o6#k7S{eH&mGt8E Mah,T(,1^p&u*(0͓jY Dz7nHFǐ6qbS_e`T˨;.~+UM51 QZqO0t-Y5}|Z>.S*h0t R(.W Sk%qpC˖R bvH̽]Q&'(* s|P<^*JTXhsR'"'2fRYyO73Q]{\B [Q✟2Ж`G|[$rӁ8508DȉF]Xb. t/ lW <@nYt:v9уCXUb;!]궘|S 2o/S\(w/4dӋCUȄֵ6٤[`h(&E2HWŚL#t4㸡/(+@+d:83[6BvЄ3n-sM WY/ /eP-J-\~4rC s%/V-Nw?HSG@?4II%O@nu %ΆM,?bmUɦ6~S0b!nfq!\*TƐӎοcWU_Pv?qq,4(?Uӱ81 IƟ_klؼU\a̢[¶wb 4ۻGaTTԝP 6N6)w?2ó %ь_wyA[:`L*-;>R96`5`{D|҉^B'[-d9!2*U+1\ 2z XR`C+p B-@ \G#c/{ba ;N>8gg^?*h7,#gf:6pN},l=$"7qrk\>;JPI9'@U);w:Ehf 3tG@Yoikǖ\RUsн+Ƴm/& P aNA(EJlM VxFXN&T퓭]))N2sGB]~,BHP#(C0x,FGO |Rays1A)\A)0,fHs@'k{ݒbDݠҊ SAس>7NJ0[Ŀa/DK涬-N,ϡgYZ9a1912e2a3e399a55439b8d7ae77dc00fb66a248b9edeba120fb42027fe4e7015d7e67e5df110a4f737ad30f01f61b330a8ad159e7db0aa746b81e79