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  K K1l\L ]% HOL-Decision_Procs:threads=6elapsed=222.606cpu=1080.588gc=125.888factor=4.857zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓Y1)`uY.1~?dbYСL+*| 5&{~:Ǩxm> O'%܇.14?9c@ñe"ƉlLFJ,EJ؍%A[!B })tQ07[Qc|"H 7ýHg$Z~ikO󦪡TKr{J i(swa*u$[\iU傲J.W0mibN&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 ^S볶2òM 2܎Բ hD"2HXwҥ'- Apu4Z򕋳cʔʙ9Ҫ빷t^|NZL"asm3lJ]bg 5[fݙXaMRyB$tcKӅo'' >ifpcKfSŊ±;NB{YjUs-HGT=%Laa2(m׊2hAT.E~DK`yC^orqaE ֬/e/ S vxtm=bI 6Aq2EE<$wJt7V6zXwib|ز8;3h&wc{Qa"C*#Xa+QԋR"i0xPDz ξKGWC:oն;64,c,BЌ&}䂤騑z41/k7 u7?3`OVt6)[(`L6=ߟuꈯ.mdJ G oQ?8Ǣ.罺p&J,n؂ϻiby4Oa@ Bʆ9AAyx zu=E]߈-:f-NV8FQʵ+J7,I>mvӀ4!:X|Lb:D}E&w_?@U7JF @POd!Y4ڷ)d)i",ZځrFۺMoay]&$!f$r7)E0zIn+ ISXFwq,cOmVGXLG"3|0 4a3/$fCI}֞!DC[wݏ~'ڑ]; iҔYHQ "d%8(vќpS7FɚY#uAR+@sBMIulsx9/F`0G{ؘ ipohԢ%lc$c m hU;4 T]LFؕ3,@okIPSt^$xe $Q ]( LI\oNf,/SNlC 80Glb]a% ?<ޙ@H- ?PӔDOI` _ns Pp4l8xc鰑X/Ù,+=#8^}tZ>/Rvged #&2#~ _A (%׺7't#SH-kPadqA6$܇ɾf*򥘺[BյoJ'xRԲ?;x?|*1iJAX8- /%Te| SejYrcc!8vSї+"F_ꓗaG`a1ZT";o{ mE SJ" =5>A9e05,['i< =9~Rd&u9a- u u|B` X,F/h\m"A ],x}Np+sgb,C{"TW-0Ϩ *־_'V|)Y@i ZTcc.iyeӢ3Ak#>-&1naמ3|F_>J( pB9˝ _d"rH%9c4IPRo^`byOaVhe4>g3+lѢ0:eqY炮vC ^¤Wa'\q)$r;k_)3)1Ӊ_{T/&y-l)[M ˔c}o0I+t?թ]n0t!pYSTM$@ųG8~z:\{_Ū)hbBm&Y099/ƁiކOT1'Fh#b}5=c҃ݎM FXϴGH§-)9 ۆўDaXE|mZ j(d|U%I5Aa tXB,B\_U5rdKEwۂ~+{G"! *zYL[aخlegoet%$Z[â-Tф$f%X`3~uzXPS%'0((7#vKtPYPPk wUS:,Tw4{t9)q~?mhY@,@Msks[jqbX|ryZ! |Mh5_^u/sm )i#㰒G˵Rflbo6^ܳCM !Wt?V~k:DME/6oN*F FWlW–v?Nl#Hff@Cfp~5'1 }z>n CDPk1 CJvugSyK':mec\4*l.LR:ҢQ⟴؀I Eku~Li,=v8_, =Xo3ā= aDj + K=elΡce F#)E>F@h2 O ԤMX$_rn w:Ԟ-b 7wΙn:s3ƋP0*ɀ.Znu஖#ܳ I FxMZSMRYƫNGUkJ|5pC<Ѝ֖Ȳd/MMOB,79V O)iAʃ{?R)_??#^B9H6O[ue4wP}A!ƤG>0G7HP0jNY $ϗX~p]%i+ԚEAԷb6f~[{ s%Y4|^no+P*J%ĿSo6pO~>u>ͩv\\ O:UW]C{[ϵ(uY  xf;DN6@"vގ~ ZO5v\!yÄE' 3u㏽/+feoM+I;]ߥ*kʲw(b?ny{ ,!\]^"zUH% l,' rlzl]'rQz?]lgc? ÐPwh؉ &sy*H\ ػǙ~vݔO*sG<)}5c9W,OYqٹ/JVm~.hOh/s!!/.0,|~Q]]hb7RUHy#e:0/99ިM:leSU /4ٜҢ ]*S`WFl]~ E!FH~#]hIbt펯CjSGXT]eBO 2 KzKsEߥqvú_PV2oP_;#a0۱HQn``_+2~֯V|vMh}N^Lmeo 6W㍸O4,ni~?c jx\uQ>\ NeJ.|POx'Pޒx2ov[o0{gYZ7zXZִF! \']ŗXiɟ17L? KxlWP8SաM~>fٺd6Oj٦2(i:% &T6\ODG{ spKFO8r͕%Qڿ3sW}-[WU;۲gcs&*IIDGU#.HrtYT-tlX58XdlN|' Q0[+,U%&s_~ #EA2'd0蔂 Mr dRGC0O#6b b2/:E2xBl~M/BAHF|_/dstzghX> -f҃/ɵQ\}aיkRIGhwaj]q4K<UTH?\;e (K˰"Aa5'3ދ8-\0K6_Ń[)8F6%k%ՉaHƾVy>і$-S:*& O|#`s!Ѥ^"rR{h.IR gYZ7zXZִF! XF^]ŗXi%LPI6Ji.[!oͦ}oxM&QCU5چ]lvL\ܦfU3l˶tO W~M?Ö<>Z?"g{fλ$ZHhSYb^_EVRBL韍L qRΥa'|+Y +רk|kS0ZFޓ( @.mVtf 5F'Z0/=MTGP?fUׁ0.^핻J"Y 9ix19 %.v$跐q-?^rԪG4Lb:G`:z-W\Ҵݲ/Ik^Y f4A,Krg5kK[fϹrjڥJdmޞGe*k*=+#L1=Ӕ ݫ$vi pv+K&s_X'%qzG%vo=Jx7ʨ5sZtF ҕ" 5jBԟ :2zh.Wũ'd,Q>ѭ4 nh:ˇp\ϰa=nH-PԢ E@ڄ6 @mgNW.:z "b) 8.jA*'5Np$:E#>*KLFm29^ZCe*h;+8~}O֞+qWo`tfO!&f~RG-GJD{z@`O6@FOzVc8 5ϞHH+hթÈ2pY/ϔEU5HJ-v][]gmoyF]gzp7:mL-Q"r%[.pwOt h7QAM@+"Ţks)b\Z6:b_%-PSC)gǵw 2vYHF|Ϭ@I%Z#!5Xanъ&]OAğޭt&PRx&}5dq4jExI ~"'LDv0km/7 <3m{@A__$7Qe{^=@a}r\NKP"{"aHHBQQyoAɂV \N>C=Ɣq2OOc۾CY7. }rC]g0C̫HE]7X߂ E͵CI;E~l5II"JW{RlHw>_+lͱ2IH93blb<}yY'ёn1*aO:R"<ȠaݳPl.-@?abZ^+`q3r06`E?/]* vSH zXR3S҂d4L0\<:/IC$}LJ5w.ra19Bw Wd@A{H`xs`iT1bno$EHc^(Sda€/;->s\],隡pGngJ넊;K[h8@ [ -}.TVBm+ELfRc{V 46'M H#B0%2^]4leUcfʒrjsG7ʚQ4jhO% ұed&ԙWJ5>b, vg-H.(+e3i/!JgQJ7 `ҙJAt%@?0s3%ny`s+XyS?s8rwsӗKl<_5nwCԧ!A^:WaM/EAOo0; r&ُI*70vK0[-\E!7n] Ed<䟪P&+#(UJ42Kfn7q'B& 03fJSiʘP!k(lՒr_;D!pf;j&e պgc Ja_?wA*:sE ګ+[AuP5&c b;Opţyh̄%\|i_ύoeIsRQ=xDF!M4jauŁ XPר褨Zw |\cC9-nL5@kMY8D;<|J,Wê [`?A_!XfyI*!.xsX&y4PDDjƩ  P$;a62웵aqp55g#_@JGZ%@zn4c% sۃA ºg=%)S)S?]}ZB2HSQu7ᅻV7߿ƻ"фOL\ghƒy.ȣ&HXBu؄ԂcY1]AP]䳅oPdt7{,#o]Y_T: R>+Y b7*4$2!vlґԙ?9GMؗB]M=а߫JF7B|^KW3}|gPnF M|Sx3 ,dC7d\(D #;Ζ@kqd͐#b[< Y[%OPvK_yn\"5Ameڷ't81|-{ ~luх^|2y6=B( =Q*}&IK@,7&;`+邰޺߉>W>ZNQkȈD"+5rŒiL3D`[ĐqJQ7Cf3ɦ[>t^ޥJ& A_~ljssMs*$mG-]lZOšOc.[˓l%H- Em\^:ufw>66u3/Qr-MCo*^ X)Sq4 "Ѐ]'V:c߬ }j_ ^h@>?ԅSyiA͓MoQ=]>?!D(C⃌j$6pen6}j)*e T7FDǁ=`DDLMn*I*&"Կ~sH1p )PH􋨳0·jRmO!G(5yIĊƍЕU1^^~+cqmVZqk Tu_;A9D(0-QTCz آM=ʏgʟՉk*uK Iˬ NYX9Kk pBs!Ϝ:Y݄{- au`hr2]Lħ:7PPD}^u8i˥)ܥvŶB"|7ؘzz-KA1Luї3Lr}-yk.Y#o mۑ_+sDuis,D]^àfv~OƮ*]dR H;UVjfd0x/ّ^㮜h`ogig6r9?1H,yi;T1ꜦJ!i,GIov v>+׌uR`P4!4$>&L먼߶&)w..D9P7"_V& G-WVmԻ ۋ*A.en*lvJ6<'x0,b@䑸<5Wg$#&/K HߑrK>A;qNA.or܀ծgc;IL$Iq.6OG!}˪jt[zN'z[L, jFg1P:R d:nh߉ tV- _ܙdX#-wyg E%,U?`^4k?lb MmٶaA)z0,veL<b2p'G#Yh$Em1Xt@Stb ffl! -ҒK;9ג{+y1P"UЛ! hipL\;ކN4l' 7 /3ޓy0 ='< , "dAA7RCS:&ԦNC `[Iui(kt MNB5J "O 7tj1 p/(V ܇F i k8x8!kSi"*}O pӤVhNs poDք!>~HSeUq,Pm?H| 9^1/5ߨhZ+v#4K_mr|+,VxW^^hV!Z,?H7N۰!{w9؍Q#r޻|Bc/q>:.+w{Cs2; G$QZ~%͐q^h5hH_ m]Mh!,nѬ CZ JaSzq=D=نkb_Wǁ|؁\A!r֯O&;C1gvݨ;'X&Wr]dX!YN/+e.S u ^㫋8VTmZegdSÕ=u]<;qM$QY¥'k+ۊ"Kp_s9H*-{1&oTTy`h+K2mJz]HupO%kpܢ6SjA`qtt$T&RKi+f}\7>8J$:?6u͍Y&KhHH}GƢ8~`l=ȻP|1G?"F;LuҜ'zF:chuԩ??-^ޫU"~ ތW@ԣ/ V$Oܶgw^TPI<߫Jcw*lRy| w f|fΤg0"QaM "%j@[۲1w;Ug]8a>خAk<+<ÐʹM٭|$jdzqՓ<#sΡUy O55+ȥo5-ѭP7Bg5^Rg ⑙JLW]jTycvo-$d\ ` qN9fZĸ9' o˽.F  1X:d#)Dr U!#.Rlfk@IHIa'#}r&!+$QR4%tw n:~U%O!Bt"s0}n~A Q;359(uஊ|6#p ' I6͖ & Pz_5dj 6W *$ߪc<67518KXҌ>!ό %lNEiF+cvӭ}h˽0[M̼[V2aIcG [I $Wۈ&RYf۽86>),Zf;rUk1Ւ!MwgIi/&R{/Rs>4i2Q.h=Y b0:ԻTK/P#_/M]N7m8$.=剕 ZOz2]BY΄@c\bjv ,֙P0ؽHK"]Ihp\_ruOkSY-c? C;r5w7ZraG NR n}s-`9]#.m@*<4rL""B[pr A@{CbHQf3$0PyQFY!<,pKׯ,1,s8@G GMI9kc .._t -fj񟆐 y V~F^ΝhCM~aAmҐ{G7*D",K C{|_DM/K6jV jND)~~nN<7 oW#Qi1|8up _n\\,W8O'؂t6ĕk$mzUfߑlt#2D;rZ)Wœ߳ ?n-q B#=BsQ0s{iBWU/@.'+hZHM@]sw1Ot'@,{ ,ܟ#s*Mfq¡DUo++B[CE_]B.. '1BsWs%^J.tI;)Fۊy V!ncg -q 2P ր2cP-9?G °ІI.a ]橑!j#N>]$L, X)]9TZߩr'XFYco-S1s҂.ٜYJb}s@R¿/Znlȝ\9A =(~t2C9BdM yZXL Ghlz߱˾Can,͕<.&A [{ JՈ|dAم{ZHMLlP'Ք1~=iUF5>=1{,E_zEtHJCNJb?%g9*V-G \"F~Kz򡟤zV )㰦V2g:_[װa!v;{I详g.~H459[\ɉ@]-D މ&Ocۀh\A_NC2z#y*ω&wJi-b'?+ʩ!H7@qyq Vpy> jɔVQ[Gau]vIY&:c,*$.d+'_L ?fTMD~(Nc7V@BauhpD7 O/Kj# O>GJKp1N%C֠S~aH IjjфaG1zIT/p?וg+KBŽbMr2zez];?_)j A(M@`2~K@$ )_TC},TڗYʗ*՜8Ypvp7}dWb_$հos8v$S?$d"u0].̿ZSFkt,4Rfb"j0$^0.'6 g'-pÆDc,0y,[2OqD{QY%͋뇹饃ll,h PoCĿrefrelM6nSL OO:TBP%2G]r\qv9wnYnaZS_2'[W/F繟ha g9{ޮTMs'jNTӴ>(Q 2fvn\g m" t1QH,fTP͎ǥF VDZ?Ô(x-LǑz2;9sהBX? ѐ?KH7ς8jBFd;}j7+c޲ekH}$ JGW YŸS-u|15/YpsE_2e }R)crhE.o]:Ic6|+?Bl#.-5{W3VEgX?涙nWJLTbҿwvYg l9$]}usf-*" rLP"^1/6D̔K7K\Ǖ-vXiƦ NZğꛚN< h5%lziMM%Tw$Cwh/T,Tך/Q8kCof0|¾m>H(.#rdj2G P[CԲ*" uS؀찄0f˩bs!YQZlRzڱHKgơ* 1۽+ÇBNYHW/G0!A +_FjUˑ=B }_;_iWZf.q&{-jf VOr>]~6ͫb) *ޕ'"(X:Z})lu.!St.Z`f;PpDe qpVdS܋`|4`@8|E Ry5pV,{ܫCg<57eʠ |? ݵ$ ʩ*8XyE!Y?ɊKNe7xw*+[ЖL;.r}lį6Mc Ӝ /&ܥPGMyOgX\^a .Yu0.ۃߝ 2˫[*%:T6HFyb?Wt>y弐d!$:x{WS )[@PBv9qaތg\L66Bk-Dc%>l:STͰF␶rs9F "o`ifya\QrF[WbjWU^f`mW?R8i5C'(ӞM.7T@\&f6TıpިlDT>8M#CMJr[l\%W?WdHqs71!-Zr/~UL`'=${t39<3|&u[Nf pL2>OI'pDžY:e "#g3ٓʽ~pf}1 ϑ:ʵK_}zmRΩeAQ_rlŦDZt>Ga=bve^.q 6qP_p?nzTDcL{:ִhhVzs"AJj&™sޕv}Sc$<SrP1G5GHr%,Y@k4ixsف8,/=}>ȄVCXJx[ZpxA#a2O.l9Xθ&LLYm,2qIԁgȴHA`x߅r{k;9j hl 7!Sz^:Ds@ k1ɓXbzξ3]\R.HXU$QW51\^ >*^f*gH_Es?M=",Qe<ݬY8sAvr٦|߲i&粢\発+Hv,B)_(2>}l+^T+UT7X\3$wÒ9YRA'[q2x~qhJ$-9Nm/{o9<%ݟ\o,MBGԤ%'B5K5g-Jwp+&;% D/`bp023OJ|:tߏg -XMongx~zwT1ZSh A c"Ο&Y:}+]$9Z@iϤUY~c$0 (ևRjAJzˌ%KgCkSr>&v6W0})ij9j绡ES詧T8Bs3IĹpɰt/I>_u@i#6s2?w:eVIioBz* 5ي:vJFa^ZHhv`]񊭓fˎ3E|Y(g ٳLʙM&q +6oj)U㻒xv& ^pXݬ[ ZoT([A+r dovm^ʈY 6 xIW*66iI0 UthMSj2cIPAJ th_kv: s]lSt!AGtHr<~~ ư'.KX}Es Վ #3GT} f'q\\ [X+$m,O0[k╕ݬYJ0. t7C5-zv3ǗiPO .j#{ d% L+rW4 Q=]v%s3h%3{x.%_zX6FA*b$9, @ _z7e"Rma(nL0RtyI -RJG!b߶)tD—!ONH%Yldܱ(B^1)3YT0-_tkva19C{# hw5[{gϊOL 8 ;UQ5ۺMM:]E!+KyAx| JuT2Y5nwHW_dN+f8.*!6| n,غs j-ml[`A<t#k(:lJC)[y9p&lH7wO#r&~Bm*E<v*uٓZN BӝcR\I2gTwA,Z:qN]Sz-' V$\"|z]">Il ̜uFR8j=[>|PPrτ^uZ>'E"<;}uƗFEKdaq}׸w˂0er`| <+{hzINpK p>L yy$Q.5WZ-qe,/;(5[;#n6oFV쥨bH\G0j$6d/ۋ$CD>4(ow:USK+lgYZ80f6109e0db99bac8720a7d6783b63803ae4c4f3069c9ce34574a9d180b675661212e7d3c60137e9 6c6d87ef68588b18c4100f1ded4e7f9d6b048679 e1db8f314e31101221023c45ab5accfa74bf6ab7 92590d0c80349000a5b4a76b11c98b68c7ba603e f449543b444eecbd685ac97f102d38a2f25ccbd2