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 !D$ ]]]HOL-Proofs:threads=6elapsed=649.514cpu=1530.988gc=254.552factor=2.367zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^ `PEۙ w-i+kEvubhmakdwY BG'|`fۏWg\^ #|t d8߅z_T,Q:4QEU1ܧ?81t ;}-=,q17FpA\%-:J&cOuo(:>+M QҖߏ嬏54 A:ȂMU1Ucj)MwMIlŒj3`5~=]Tg*~,EXrt.u'eHP&Q5{Nirb:hh ʨjۚU lͪJdrdfR 7 7z(ƇC@EEiyꢘ~^}o!P /K'Ab9H<%ufkT㻓*T/:Qq:mz6jRS q\GZR)!څҰE*_Px+e$uQT ]J]e"O_ ?Ghi@ xazvyOéYQ9u fT.tɅj} &CaP5,jd.Ii1E!\aBх;~|d o4G:cB 3ugjEM5Ā[mR.:H$pѣzPlWaлp 5 <Ӫ\NN4ӷxr˾I;:g'MgP!S F Tot"NVʫS ->&BaKRsi<Ʈ5>8YEjQy| /0ZF{$߇VUi*a'uMt1^AfF;oX޶d@ ]>(hs7s6KxMmwf3*j]j}ܦ$ub4fԪt\QB w\uùjtRq*%PIw$Z4xFcLW梳cۉo ]nXc4qWaF~‘xĮNuAb3R6'0GZ٣ U Kʦx 8;ɴ=3\{UI.je䪿6?o : c@3HDR*Gr/ Q;Udeę$[Gœ(R͸_[.- @6bh4*5 C+LJm T݌ξ9^%}}AݫVs˻Qꘊ|2%WWg`wzl0S_@HhN:vУw#b.~4ok2R>DjK(0tN^q$1C59/Cf:R\kxgB 2U@|":zMD2rT~>, iZÃUWb!NtJI430R8ꇾIa ^YmQ2Ưuq!K;.ou$؃c+.k :,[n3i8IA[֑!jXAϙJ,sڿyF_H9{#WD~Αjl.C)+oRtJ\T'@v! V{2TQht:axV#8 BWng-t p{pCVQjF r@.kN==wP4VR؛,*O(h'. o(+~hDK],QT޳4 ]΅a}zie~Bdz0׼~}opQ噴5zOʂ6HxExsCQ6K ٨IuUoR,:Grp%S'[ WR`џR$Z79<0S38@ dO> 8vE1-ӛ A;8`^kA0']QĻ AmzA[z(S E\/mb( Z(ܯtC{CJ1!J9;b_:nd'VBHCz* m(hO#.'80e\Klh?A(&l`lQ܊\$NCv8ŦB`7pعU / $M՝F084uǒ$z#}f$k'95ZْtZ2  ֦ Pǒ^{l.J04xxzNEyj=UGV/e63t*in4{E3sh.BED p"0&?82W)iZDo 6jSpz9Gh pyޅ79Qpqg0cM gC;/GPZݶ~jbߢ"RsFl'1m1DgRm@؉e%EOWt@jpMm̺iI.rz "gb#ӊj2{Gڇl+K |O}/AO-/Lہ<09Nybj8gqFs[ϻncg1fT,X]!!m,@pJ22XA+%؈tz[cHo %kk67%|mÝVNs|d\hvDbFjԳxc-T=ޟ-.k DHEݟuٓ)nwUC\/DU8?NX[ 0[3U$"Jtk'hP6RG>>^+.'<68Hyft IVw F )}ca8M# g0NCgpc\~ It?v`햊lxݦY]SZys,KM/( i57)@4+dV8 !04o%bxDbbdH= G{K<ӁDַΙ3x T͌&TM"pr2078x$ ߶TlL"]r}3~ r@FgC1X"t^Sy0t2s]}i2/Wa"P#b>:UU\U)& R?9Ty.Lg[p|t{TrɠZyW1I|[&,;+Sfcޱcu5s/y=m k^s :wRGW~AZ>rG;lu|5$O}9H4ψKՉn}24!C$?T5fs4z"',;-+Ev40N?Aد.GAo wz֥Hc[߼#ytk&ꤧK $U"ȳހ4W.n5VY'&S(| wp Ԡs>T46^Qs^nr7b3ir%T#OkF(֎5_yw" fAGI:p$1{ אSciϏON#lyrJ?l tԪ]e"y'pEqFs{>* {d|?_cK{ C O#WnDw9OV) w΍=b[[/X>/p"Z5KÐC3w,f!3NN4sWIHx;?4@޶@0̀x_VjY.ba$#k*7tAhyGLMac<9CQeY ƍ tNR8)|b#7jtrsR[f>hw@-kW ͨz F-HzA8yy(AdA9~"}׈Q []wc+ I.EM!!BƛC]3RN]icv$`\>oᄓQoJNߞuW/R95S3h*ofq(0wS,b/Q.&t',M|pTg8zיL $ D6@pTd1~KP5'*k԰8>3jicÑ_A_`hGv(am!}s" Ag;ÉhFE73?s ĮW% w24dm=RkdLT68TXHցxM|Rknw#i ˞[~W@K7dFCȫ/KRyd ېDBblABC #<g;>03M1mKV꽍c纬RM2x(p?+:7.؉N]){^Ig7* QT"9ugE&mMzc>e8 NLus9 9A _wAeM䏢O'M! ؑY^d{6i|!ZAgAQp4_(ws &}DRl<3;bUa8=J hA?ˏ:__ M,u^cd\l<쬲Z\V5F\?ͤFX*rz0 Qдa$(%bh;6LSp&"ѻ"yAѯg!ZfߥXٛ:~mƐ8X5Vh9ĜKXaԳh\Hl>K^5&r$qH01n1nպ"X H9䑨ޘEP8D ٯF}/|mL0g0RּkCdDH'~'9sQh~?CːSna!+L?#Tux qryHW$Ge)@.OOÌ6]b]6*){ȒMgsV2y9s8AkUUktX]^Nr? Szפ}7~elJw+,+"UyBgmlMFJKOtR` ғ qǐ` bM1#RYUjbpS HaIJjjNYDAW-3V_( >&PnIiq|y:ۏ +(a `sYu+d_)ޱYP|Qq 61<5 8TAIRWS: Ű?i<$\ V;93bs `׈H84˴xSƑ>.dg, 2JgYZ7zXZִF! ߜx]ŗXi%@f:nO>&Qws?~0$Q_XP`o/SJ`~)ӑ:9gL(=+v*C"(M+_j/ 7ʳŋM)4LMɜb}2f`j*9Zqu>9Tr>_BƱ"U?|dBV)7Qִ6ygK^ṷxǞDX^8{\HI !x‡>#-``'fKpEfRzuEaF|]W9RfiUNMo#ڧ PЇNU13UL9aolK]eCdQTJ9⍿{ѧ|0ֱ`_v9@Xp}$ M}̤!}V/G>^@f, eNRB'-ҟf ]}ҟIn ľe:2<]2RoT8ayυJkwy/Yj^XK'Ju7-KuBMK*K0y =hJAݥЮRƇav!?pDM˒ |7*`"\n6ј$ӱe.]7m.!᭘v:W/;z ԡ hYo׊!~\YŚ_z!2͋)=(p(2&LMi~q?'?I紁${+ b=tLf‰|pxk``?̏`-{((kק`BCRH裔qIwe#o:Uq䰍: ⱚ#%rK͘4u$ k/ $}K20)灾qdm|5挺G ??J"IDސkŮt'o2CÕT`m(3YaZt=ЛIҾBoUuw芐|j5 u6,bjfv* T tpz&ԲI,[˘ӗOx4 w B-)Դ"Jx3 C75Gb;Krb"F5DG<]'Qrw^/WvB@ߖaoiSy6k[*`g#r -,ToUyJ|;pETàs"ךumԫ؏s ʂhxnEGKcJ Œg$LN9O)2C-̮_x\rhMaJ(&O2xo!pzw@O2W΂|/eSɤk7kugV/ZY7o9z\Ul#9'{A !D@K ^wZk)71{u7Q^J :UWm∦*2 FV#r|Y{}im? `z.U%0 pk1!IKx K8-ιTD'= {jExҊTR!>p[3Xf\1 r[ = 7bg@FK;JU`JPrY]j.vO5?]`tKI{)1 4eR .c- #L0ޥƚ*|N^_ XX` P9ZVݚS&Uxn#srNm`+5)PLFo暟VjvbI2> uf*xN,0?yTeCH?ٟ bfLp T5uAqݨvvwݼbRbX^n<*84uxeؗ^86.v?j l4:cf39(dI [L&G (4 !mU!> Xs@"KR7_P+EI,b 6.a7ߋ 9r OrT2d-#L* s?__7Q5sfOZ%2nGnVE'JA>K#%<&+ѺօA{mr>HTI(SaIq= JG܎tY\֫T_w1FrGb%nac/F5ZB{q˝m=iNy'n5)8]` +ݝV3s6,=o$ss!(oV4?#)Ch![Hg+v`4͵᚜}I@iumlӔnv~9ʗSG ~leɋ1nq84͖F3h(5B ΁U'Aa<ZMݢcLY#iˡ΅+c@ö׷`˷R)G[Mz6?__'.J`]}I,s$*MK'36 P wW oɞ" sWƼ&,E*r/>}s%YGs6ˎ.!~Ǻ7,H8[ |V$6%ۋ)<>v)e(?t*7?̆wU])eK9 i񢮜G9aqqh=g;uK|,?k"\Ri tp}{#~^}$ \ʴTJ/=vuʋ;pO^:3j/}{g$Uɣzpk5_z%cϟ|SZYRHDlWMUSf eH\k(~2{bI$h 3i{Ӆ53Qa:y+f V)剋o6+&/?Slh2S*q'7ex3j0Ӫ8"xˌzC ʒ\[e E9ɖ\ {6H|~dEknR|v,Bwtбkt!~rIP,\HIÜ=8+{&O qAE6ߚ/{Nnl{,ÊȦ)/^?'\Zl2sv7KN,@ڝj soܤKZs|MzS QGtzP ,%nփ1G/FhMwirW/Ft$3ᦂ<z''6Ic#˰ij) ÜKx_evKrխ(aQU iF Z:_DP,f/[0"@6s_"++"'ОޤQ/Vv,qAފV0st~w^ _4-,ɥh4Iǁ*u hz;@'Q84S9Cw%C xYillYP᳢̂~?0=/؜!"=ϙ#MaMCkh՜$=_{8!A@CsJ-ˈIJ6.*&R 4ϨKݚrGU{ rB}kzEswP>Dz`vSWeM$uI4 Yá hqP"\CmF[uFĵ5|\o.P-c6e`y{uGrURO%3wd J;pVmF#l,@ק35ZZ dk/N\JcۿS84nF  e^w>Vyn _{&.J.چٰjmppx>n"tJ/3wAhgqޡ< b_*X:c!OD.:UeoʩdJuV}|1hb[;{*(Flo: \䜣vLa^ϸ&ļ4Rm=mP"/PU+ {c|%;6[z$/4Q{nr|":40O$p qv=K4شӢybҤnIeQm1t:а ѱHQ}n-vZ38hЋq;cXIDJ@ĪhW u{;UKFwD;*N]fy!׼>Z\uD54._l2utQEXH`[LZKg;c8V)XІmрSLS;Q߲m#UZP"(b8vaA`ӹN`IZB~C Ăe3X- .m yn;4? :>ֺp׼A hVZGp _ @7M"?pxw&]N;H%󛾰FU T.gzsE ~}dx[; HERBŁ&l-|%r+Y!kɢvƞDwpxjf!LPop-rM-$/7Ĕ5>[.~Ҝ e95SJzEsfK2:TҠѼ2vί-tYA$Zӕj+|})YT,.l 4ZLsĔ GDo$'AALtc z.#k+ak0z0]Sk,Ռ.+E.FƽBy ʠn} a/zp<ɋ}q GeM_o/jkBٷi/h[G{'',07w2TE68msT;Ul_' 3u\ В][_:YMwe"ҫ{Bfn zFzנ= kR};Cdtؗaf.ݸIM_liCӶ f_o?v POӳ81hX7fJ k -ˢDڅ8E ^'Hfw@[A.Ep,nǮ~kʒ eiqVTƞ-'*.;Ej%SBgvROw~:4zH S7=tplS>F#Ґ7bkV O c">&A\؋`/ AA8GA&q E>|W]ǭ-wSD4at+;[#Xj{ <2 3=@Qkճod(z̈́˝xB3|gȩ'%XY?95}Νϩg>tU MiՓ?dr+xbn K\nqc-<%։mO)&MU8vyס-VF רCL+C5d0aYSDC8FKGc"^ob|) NG.;nr/z ^y`P.Jލ9xI2h> K!Hqw'E?J.eGFlܾt.C݁iT3RlL6`T>U xVGZhTYypzolᦥ|C7CfSV5 }Bs$\q@83cG .]B:_5ڧOE0J+{w)~GXԀ9'JA}xV8<w\q$G%3$/ =ȢVmunQذ_~}?,9FҮU'ai;'_Jh}`=X_b76\ ,_eU/"L0t]uLXSh2@N$܋g= M{˸@/v ]U[\鴨ˡPz-̎i >UCEo%$tw"Ko[db3oqVFې/k{9;M\ |32wpHiz.Mi%۽1i>fLS5y*Z#?ṞG[rCTMfT<>Ce;."}ʫF,8ZMJy]8à3 s,p'+EuS) ZyE\^3*s-K+ѧ9n}^ ]i*"6M_Tvro Y5$zЕXպh䫈wO2RGqGb9Ȉ~%UiӐ\ A{(r*?*&#e:͚bCR)sen\dQ+)I%-LVxۂ0yxH+T`08JLP` EUyJzq=?c n5Z<}} ]\Xr}~BVp#ͩJaō0 _{V锫J* ]0V-#Pbsn+5{Bz:5P!0 (n4<'(nTz[-&'6 q2`=ek{!&!71 =%w[O)ϦyjF1_pfo$zūF?<4-mbf~Gyά]Ow u)!Z#9NG!t*.F<vXg;}rZoj~;%urWK0G^sKUQK6Sȇk)\%>P"5r B;$[T IjwG|ǽzv2oRJK={Z]Ov4q(ٷ84E%,3& 7Vmb1qaenbcH8/{4WC-?K䭌Sqf 9TUvD4C<,ag8"0: "֙2K(a|J;Hg9c[2O:fѱUV· (g<S b‹Gdhã$"_p >I|W~go%*;|Bʫ!<& F^?-!T2PZppj%ĩ mkm\G= Rؿ-3[IҕrF)BTcP:o,?O_B+nG[ҩM~{is;0+O0E 3g +PA)Fر;q!C709:s_5^> r  jδ /g sPNo8ȿ}1_|y7|8VUU*(F}>~io V6R1Ʒ| .h_O[o p:וY# jΥG;߻1d *uX3C7WM1[WJ4!rU~}xV R1ZP͝`PPP'Poz$nKD"-ufz %Gya&Q$Ryx|"&Ƿ`S:!aW|l8g@B 솎tYذfR(q֦ hEs\Lwj>{&:Lr~oB;[-±u'Ӄq9Bvs{' N9#t~|/GLI;\ȻP<ƹsda04,x$+Y"o?+iedSr\}7{XqKIVN ǟ=')`RvËI`zݰEMVEc,YўO>R7XK taG-U˞h 9Tז;kFaR)T$=b00*Y h댮nC\cB̴ jd'+`ȫ@!Ul]VW~6?F∬0C0W6afzY+cy9NxfH8EtU;CX*8ݡZ|^d`$ k:[)bѩ<L'[@bKkD>(œ1E(g{e0kaZ-m FIaY?3PUJCBrUr?d7A⮶^5vKwAU 3 H\2}~a&9^gޭӹ쭀`^%;FOh圙@Հ c4iRYّPHJOȉ*;&aDa)0Hhg V^d$uޟʺA"Xe3y|E^&iH>=.r[)5,t'sXhYr"opeHYSטv"r):1i׀kf|1síۦ9Y+ߗ]FH1 胣aqj1V+ Ls\AzD3Tq>䂷g]p,/~oګur!*62UHgQ,yB 8PzT}aѧ\CKrfhSZ  ? 4CqʏP_P$ {.|y>.ŕt^ yqξc%s0p9E-4'93SQ4B QpKj [yÐK㞯h4rBH$m{/*B30nfɑӪũfLK3G 2,{8E#p3vYL⪈2[t| (\덳ƼT2n5?fxp)᪙405/4uJdlEM\q6q]Ls Fvl3!G9'-ȿPʂOlc:\_9ڂ٪~Gs%T=X+#kUC7P(IhO~(N$˃H2u6v]_UJiGg*F᫟A/mu~VS.rdr*E_&ʶm=H$Ve/|).P9}|шlPG1l͡i]0Ph SY 77q \ɘ;Uk3àTw 7LFng_0ss=l:DKohb*j5jR'@Zz`qByWG~'ፑ Q#Sg~S;Ck 98<,7EHM890f/f ${?gM ͨ?'2~k9ڋ}*1ۺ=UȩO]H )[QԴ7 ! &Py"~wOʈՂ 0Ccu[^>Iqy{LSJ5L\=Ij hl&a' CҽUo[A;hFA|Pz҉wh0D =#W UZ]3xz=&$$o.s~cP B؎1b)q]ە#NC*mV8nHߞgO'Ldnj] h3z \zuE"GI.:CXY90^#)So=w]ߓOOGɻ'#,#o_:x4Hݒ4kZew2Wpfht-JzK\Ϳ$8E=/,_KMS]{#v q\] T)*⠕w-7QXUQγv&A@ߍ_^'k8wB@Hպ b)s,TergR~|\~-5&MMQHޔp(ZhSlDrj偖T(}Q)p>1`DtՒvNPENс1VH'(FѐT  !(ƿrYr1r}cA(qDfچSZXI3l70ginz\`bH0N:$6P `B%S.?,Fm&R_DS@M6n#p>$7KOvqBqM;{*G֦8(6]`h6yjcuО@CwŁq6qPL-=hjl^Y2ni]#C⁍WaN@1եҭPV#c qe™/a٭y= ` yи§Lz}[tFW\ҙ;wcAN}K?1.wl_j7~yB~Q,W 1tc3@sNho+2-e1Ndobt2&U^7hL/|1h& SqUuc\I>WPA ݭd =R^s SKv+)0%fa!v8$& "x&!o `쿤@ +XMn5̭.9 ByT'ٓh3h=X:5eػtH#qf%N[:`80iE@1 hI8DaWtXйKDD݀TN @+f7> Fb$W!eVJß,gieꅗ%%| }b Kp&VAzs?u\B9 ݱ_>EΪg-uEIU Fb"(^j%v촇;z1{2ێ+DX{~Hrwxa0h ۵ }/ W ia{:):w[QK[3$L :lG +O~%Y1)ͩf{0`ƞS_ 2̍X+䕠*7(%CGb2٪%Սcg݄Qp| VݽF 5Uc}x6RHC>#ӲH` y!H'*J'JXz,̽]ys(ye܆jKsRe>죣hެqRH…h 9@Ύonېw'A]44E\㛢$#E&#.3!$]~-c6nK[= R[.Ɛvm5J} #ZWP\cu;C邸NgZ]RH} J&j!JiBuY3ԦC䜣tKD[2<,JZ(WO3s=l^:Q`G &2Cgݡb)BGj+Pҳk2 NP@gh@5lh(~Nv2Č4hv7x$V^<**BuR3O5o哀$mĵ_'noJ`8' u$U0RT.Q X9td$K2;;LUv,bl43>|fY_ (Zr~KכhO]LХs)gCA |ݙU{WO鋤J FtE~UI?@]KzpQ@6[K URX#G1ޟqWhŬjeDY^7p ,E@g K "o$O2&` 2Zԣ_Q_-HVW9~Էՠ̄^0mJN"2~O[r%Y:ow*KŊGSPdJ&pK HkL{qbb#)-GSEYs,".7R5ci"U&3FQcٍh)*(֑-7' թLϿX/5 G8}T+75gbv\-(yDpݕa5tϸ |ޮ#.cxY?ר:Yale)S&|Pm,TPUnfe Ox'JZ_(\s !dttGAڎ1]6F]EGظ/\\="/Ҋ` LbmMG*p.ObQ;T`mZ"9\~JLhݥ^kAw0 a0[ib) Fe*QE~J. AzǢĝv-wz:Jk(˷`K6DqyX [В"5&O}=}oZ" 4&5^^ڍ[ ζ3>eNS)1\g!0o?-֜ڧtRrj4@.VN#JnS Euu)D ?s]$퇪7:(G-u =qb5{j'h+Kַ ~ę.=}k*#2T:߾V?r,q해UW0Gv|FV9S6hTAmi_oر =a%,:))) 'tc0[P7~뗿ds"sPac&B [$5rKg Yzpؓqg[?rPX%7lU\់J6:+nM'?WC_]?9#WݶpDY 19]d]]屢yz,\sρI3>RTշș.bG/Rꉌ-٥ԇ_.b8bhbWU GWgzkl{4 G:qZaFz밲6\bd LsEٜZ~gX3>bLr[ ۚr2i Mpt">bVuRS}A؛^0< AdF/˂.%"[@DQ>ƃO+T=_1c# ҧ\Um98:r nV:Z'CZJf?Kxvn|fSs/X#pЄP_j5hIRrVI|2F%<4 ip{Nݛt|`Dͥ_g|\KFd{ F*gC#CnRS;l"!2he3 T_UٽEG%K8g̰sÛXЈE8+zKN+=eca(@xr-MR@+mi`O]o>sۻ"IP-f%|r}<ї2o5&7C涘 @rtAmU7v9gVdqRGlniY@Z? R,rQ ',jZoi̙$}H[u: X2d}aPo/9Dd ͨRx%GJkaF$c}>חNڱ\̏vk-5%^ISX59L`IهLP2HGXhI`D|]*S[NۃvGu>@HDA.?Y3,Fʷ'9R@ybAMQ0Ie*.wPٮD\`/̴N-n_(1HaeDY&seI_R.5AV3Ah 6 g^AԪVD]}N\Q5 1$}|4BGDP <cOT|a*L7spĭX&# l[6Yo?J+:[tDziJ&+ Q((as1Mө@ywԜ+_JP-"Vt+~f6Ŕ-|Q11#D!pL'g Y(-%IS2jF|hlD 8rcQ< #{Q9X˄he0+,TPd0%{O  Je4^.ACܾ)R+qڻcӁPfnAb1ep5xLԂ .m4׹ y'_RUm2" RJjY2%uW7Bۤ8V~qA= k q&c*囄0s!m ?&Qt+OH;mlLͧW]r_gTIb*pRkʚ.?m LѲz%%qG \6H WrE+a =1/j&1ysiy5[6+ V`DJQ]mS$ߠ OHW= )/`oimSa[x/DfEׁ}V)m{QahV॥f󮯳,3nL.B8g "L1&2;Vl%T}u-d_.0K$hY>Ш=W`Ǝ1s'c9,L=xH\6hlF^9](#KIK*0iyTm G[P\:xkHj]ץr{p3d)}^ Lغs^z/ۗ!ĈsXQׂV鮫QrcP5Y^5D5jw(-Xe_dnjvurߊqldQP /ᇁy2N8ÿu0!/2h[x:@f onr~*KgweV`4trK?zW`ɳ#]eʐnf M8d.7{uiq**VvyEg942w9p:3L|oDWV|dK5_"H҂YRd]| G^5T..*50*TgEehKdHͷ%`+˚7<3L7UY: 0+f*#-`|xn%8ĦCxYl?73H-Eb\N3υ*˘gDAtJ l=5Ah(r_h":[ZqPO|Ucj) 2r+?XJR<Ұ=p{ʶ3y:el1z[IҘ*$ƾ}P+Fsю+ߛ}]ȅ5u>1W9ht_* }FrV˘ Xcq!AQ[ޓu^)퇐m)vkm,H1b ܣt[J#J ӧ+,6h<:t_l,\S%__R=@_xZn`DE_D1CN:Bpv{$T5Y%N6$MqͤܖTin+ѹI~q@Bc pw6/Di }}5%؀[kݘSJ7F[9)}ϼ^ilVӼm헬Әi`bUni'1c`*ȬDR ez>ugٻ^_ x29&%NI*kDah@ܘ6Ǎ/k wEeH_.ޕ1/|F4s sK)L$=PxsOU!RZEߥѡAz,$˙M##a[2AL'/4_SXE@&l;Rl3%;mGE2?)e&}DCUe%lJ0#oKKOa8\Y&8J~tz:# NdX0e:Ely`>'ŏ eԌ [{B Q?} Lychy\&?3P0ܴW Z.J کv_˭PJ~eGz6O95Jȡgz+Wk@1 l|l(Պ 1N=; ͼ%A@*$̋}nl^G۹Q`Cv+\ >&++\?e̒>[n Q&x"+pEZ ~ vTjzR ޖ.ӈwKa풸Ɣ hx G.X06.#EC}.d2ZB8 6]wkHmn&Vjb$ kC,\nH~v :~T⢫>-OX\i+[Ǎ,9<:vf믏+tct3UX41vxӡt`=ujW2ޕ8]6Sǐ V8Vf~ i =?.ީ[j<+mM!߮0\cG޳@ >b8#UR4OrYCsDJ7GNǏ3g;z?<TV@j_[߷lm>ā_w/(vqND@7E~Ab+kB%Evo,:v׺80\\? ]{~H iSp&:\WtӴ4J!ޘ(*Uﺒ~n| )3ܮY22!*=ZYVʚ,(x-i2I QYGOWD*#%vYmJ&c;_t|u[lkQBMکv"MIQGRz;0'YLc+mAR 2S5R '˦&+v G^&n(/TZ y.L(-dV F$wW]ܭuB9+)w)LpP(1>%S !CpBSӞ%o ~"4wl/ʔnFtbM}]֐av`!.kȼ䜺e"nQF78gE)&z <^5k|r._f}MbEkƬbB,m p.Up|hٔ@VL(qtU(NDR9ڀV\1RAChsZZqoA pSC@Kֱ C(bD/ ߇z)TRFAV*l&(ZyfJl%0t^ G# a@rj t"`J+WuWAɷ']#3KVV|yإubom u.\/S s͊RT# nv`(y˟ H׵Qou%:ś,uǰFci) wgEj9_eӉq HZ%®2 9@ժ:-?cmʭYȍ1@/@uw+Zg3H> `iY$.ij8 V?V^U-$ 3VpK[YH~~m])F]Md _AW6qts+H<.A-[pxTsiJ\|тUZ5N; [e"^GއLMΛJ,=֯ͻsH!@em-?̦Ohv$FL{ho:lU s#stm*h?"GwAkC4XUb^7m]ގ!׽76E$v-[|d, c2u_A?7ns q+ zNv\3S gX"ҹF7K#)J~@gZ'l I3V~=sԈŵ`N"eE]O\JaK킍V80=hp )tPjt!KFJI N,XDacۜ`l R".Zy*0/QWDӆ21ƛ,36{<6&ØJ)$ SIRg7iD )S 7x|B,5E$M<-%[)mDzUڻ%U=,  Mdn9_r> qnG0}l5P|Si}kA3Nr dDl#9Li=t_S#?};I*A1յpfpuu~N QtIlN=: M;Bcg┐_^7Ex2or*7xo&N>ߒ k 4'X2 ,N㄁9 ͏de6t2;4iIt|WiGeѡ NF$p{:XVđ-+ _9EN;SJK85BHX]No09qd.`әH;'DO/`/(Ჸ.~ໟ1J k>Cj4'^fEkkkޙW1Zc7"7 xSӸ j}-fA_dx{3 j%Wdzgq] WB}ǭPSue`΄pfU)qehdFv؉cIwE3fKQf`e/4]=!9lg6 2@,e` RJoUsVEOuesl<2%^X8kgN,nTE>@Ca@B.0yfgVvN'N_ʠ}ѺHN6tTH}@}ePSh,ToC="2+@PRY5֣ƒ搼o%qf“4k*ȷOtS\x~Y0}T去L#H Iafs&yq;2d 뜶>LjIH8BaZ.Tʂ_*`SN.*)g|j}̙}zߚdžm3i{"aߌn3q,YTO 0;Q~}40{_E!6U*Y,bFT*s=)(gGKhOi_]nr dWFZ ENY4-FGc! W^xbX啪&WBB%gmX& .Ma~A*ESμv'<oMڝtk"S]N?Ki]: OQNkIF&Mik$2Uglps&ݒqbr{I.(V< '=jD%AZY9i{`w32+i̬WG?ke@2D+:m }PP20S<`eJdM 0Ruiꤣ>δQG@B ҠҊПSжm2Tz|>c(RunjI1+*F}gYZ267db7c456851d15f214b48b4d260666db57837fdc9a9988939d5185ce4d58109b3c7ffc48063b6521894c6f7d344a80700e4932f27e0fc91cf50650