SQLite format 3@ .0:  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\l< ]% HOL-Decision_Procs:threads=6elapsed=257.344cpu=1151.520gc=158.368factor=4.477zXZִF! (&(]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$$kmY3r7eȡG-B/3_>Bx8U~,"}MIr9XE|Ib2;U>:@ȊX7/`'q¸ .q1w̿Fs)q"]EpƄ|O$5|֟'zy`\Jf,Qw ?N`ij"uc>Suj傩[q-ŏlXu8 X/[oV&2R юF0mibN&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 x u !84sM2jELoi̍0r˘?SUBppr90_e8/a;z4_ib  %+Da*;P RRWddO#_\2(/0*tX+ : C'*ɞs9`&PPcId䱙2㹥0`?K?t^=t=6#M2Y;|ц[x0_utTg$JAjs͡M7!^KT5߾.:/$St2l:Q%B_= 'T&]c{"YƅB n#~r9SV acd+%5~OS>ÐyV)92 udOqZM6n,|<*{i-Jo9b1m, ;7˚IRUQ"Ln_1a$`jjqSg #w%Ѽ L/ͣ^ PRuaRԷ` ^3Q_ՃtYtVb&FZշP爾m)%^]ZMizM e* N\+Ż-Չ t̾εi^s٢]kso! \R3:H>*t'e0aq1XeW%஝IlT4@ i$ כ6DeA0CxLxGf6L-|JWDJ{kɶv<.q*Me8ߣ.BTx>?fsͥ^]ڡ`-ĺ| +-dI)GÊeV et | jkG`?i=mĊF͂蜅J;ベe]@}=>yiy~ׅ}!y@'vgㄓxc'Y}UНF({fhծ.tv!Ǜ*CZ/HϪ`D;Pf^Р]eCv[?xNٖ1*?nz`fFn.-0B~ܱ#5قA-K@d^,5:g?ف/Iq=ADY V0]N= F!%[xп fjڭz$ z>v y1R±Oc]]zG&]TvhV6j`ڍvO3(Ynޠ$fYs.E3L_@+hx1H =*R[o:BGB= :n5`f%Wn.2m$w&=w 7K=$0gt 3JTxHm՚zU'ę[v!'@ ڍ$yNǀ`/.Hȓ.⾴ +~L<[m.EOO͖ P7K^fBaΦ6B_%3Tӓ7x8e]û,|TH/j84 "CY]'nrc(=A}ըQQF|5{iI8ۜYd{4@-Ɖ^=|ŕdA抶{̅f^ izJK_}4{JwΨ8)81A_šٸ\TY+:quԦ"3m@# A/"1º%65SjԹ[*H]cs.?XNRS^՛wryS2GxnnW52k,@5)߭u*֙te̠A]>nήL$x<s { 0&,l\t&>:?YO l޺l U_< m'r^Jl,f~/]i_9\Wm@;3 }j@6iK{Tquh[G5f @:@Yڂ)P7l!0]+x i~4hB2Lzmd`J7"q\m;V>c9p}6jtґgŏ!)f7B&w돦ޕ)@a]ͷ󴫤%> WKS2Sڴay\ǒU,?t-#a˛Yڲa!iڄ͘\D[ǤX9xwd*نPh *B;w:;ɓ)lƞY@?Qb 5<O3[t72#P9V>{eVvJ:!9!Kh,O@U#fzޣZAƆykלq2~%P@L)`E9$! DH`p xe/fěQæ:ѯ7mjצtwb+rMIȕhU <ԁ=FVpcދa'@բ읪y6p;+hOԵy~%(񺾼6yŊ~Ue㠯9G%6zq5)2' :Qm*,J7}7#g;+AE.VX\ǡCҎç@9%z,n#a8Ioȱ$Z@:_fJ]m- `$9'Ofch)~67Yo_9HCͼVb Ym^tP?g%+R&yv2Scb'*˙mY,2=DlOBciD7940km'F`v)FuBJ"@' rnqDZ-@jQ "Puå*-aAٛ&>s ԰Yn[z~Z<|GKkXC%' ôNsih,N$L>) th$5|d|K=N˚[EV$"˓pIl1ZJUW~NM+PL<=3)[zisDߘh<*} &(vDׇ|fDܱBKeޒ OM|0mMMD4]E(u PE ha٣^.01:v=cLfѶ}0jD&K6;>ؼ$!Yu5r=:}fP!4?N ,j;jXQz+[82TXvB!yMǗ&ggx-ǜH;jtgj:ٶSZB /<)>C\ o1P\k~2_[ۂKy 9r.W別w nd@ގt-S{:*gx.'I?D l!yuF.M/:C51/lzxC`^p4*Tw5,>*'Jxr|%n( ҽn]?1_cɝa0%r @ݯe v2"-ei &|^_郆պ:Oр݂FX;}1Vv 1,Up;f\_)n̴6*wE5Kʔ[^ͦ.YjC@wn˭|,^u@5s,7<^1Ճ^e4D+̐I"|3`9S:.xg t\hzkbJ% vGK)2AUCW`Y -]v/t7wWS6\7yY-vqGo"@6%hT'1P`]\^ OM>QNa-njd]ZGi޲{,E./a iAm7;wzOTP>nglZd]'Q>;@R<_5c贵Lbt3x3=]Ild_Fp1_̏~ :bFZYh`w.'p>coaU6H"rxq&;MMџ1}bӟؑl^)g4FCEB*]ogG!YO~ȑiΙ5t\x ѐ"@FU\'ZcGSMAq|П'[DPi?_R6rĒ@Q:vRCK@HN=J7+ioF/SBG"3?0yDNRؠ4h,~c~,dҚ8Yԧ Xw 0<84*U8n#Nn>v@wrlgo,Kz(☗{9/݁kD7m'BL#ֹoH@@֏"^mu歪YEk砓O r֠˯`Vz,(W jv vw Xy L#J*2gYZ7zXZִF! ]0]ŗXiɟ17L? KxlWP8SաM~>fٺd6O>Enq7QÝpUEՔIƿp.R~&Vd5ux(BYl2j1OE rbؘUej7#,47x\PLLJ#TJA2lKR{=$LMh2~qc00ɇ63lS:JmܖK7ͨ&Uיx^&>b&YLrRτeŃ]G rn~_ lx>{O.dL憗w#VYpz_gSXL22dc+(̕@kq&"k#dC2u5?q-ChWr YNS/D;mIKoÄ_]CL{~h&l#y-"xLSy2MA M{iL@r}U i;Wǖv= {Z6~pz6rOꜱgYZ7zXZִF! vT]ŗXi%Ed\{\R 4To'7} [P .'LsJl8|hx.dTN\7Ú QL.RQ^ARKɻ*MG/1(Wx; X̶ 'A;lRB2V3 )]"~5%3Щi}s) 4cȸ:Q"[tABghhдֺkGV!B ì  8fòp|w FT?7w2h"gIL=\bbEY b0/Tls L {fWvNl:o]㶖SƴkS]U!4pޱӚg1]̦rCl,ZPjn<4 PB. %Eyԕ Xc,W EfNp1FOP*A?iGxPb ,oXN :L9 guDכ=)tJ8MBKMR)^S4>f-g~}7جirXyh "'&zؑ0aɦ7 T$5qwRH9(Me⿒^ӳˋRxF l ;':E7}&n$:1?(jI6JWhZRdzLB tx,1C%8WyG ~GwVr_H:Q ^+>Q tan #鴴\eS̴wm-HaL2TǦ43ό(H6'x1C[騡oGxlBOѯw񔓛EBz<K%tNWD6W|nەI+ȩB #l]%U,i?_PO%^mjpOBnrHP1m}Ư-± 7v($s [ixۊS 6]e؆BF4ry,@&SܼMV0P>f޽q%JyLGi{"ʵGH :E͞y"!?.a4w$T <898 ^0Uc옑WDVuzᎄAQ3/%apJ/F>e,Pw[76Ff;7R'c%gWsH^{PqgsNZj}i}nD|UꎪS%r~hom,hՠl7G%e 6P܃CW AK0H]깾J JL -l̢EDr0.o"|#p-^w1 TA׋!R .Ş濾"KGN[2o\ uE-sZ"K,6p߇zrc034 ~=\~ge9gu98> 9t?+j4@ɼF{$`f"|?lU5TE; +N\vCbʅ,ʙ}0[q͇ݟç+ OP9(UmF 1tE @7K-̌cڽa V68GBD!r_ٜ\&PcZ R7D:.uѳjaq0 G* ]x%‡b8anbBK  ;Yws^TOcf Mֻšqp{C㕠S&U c4NJJaڮCJO6 ^D74ҺY#-Ԛ3jDcae!y}mQ0 MS94BI(VT8X[;ĻF |* ;w? b!ʸx,gc*]z] Qz(Q6£@+E|Y!I@ <}K{|(Xv¢vʰ^t&i^^''0E@_ r`Mm wIh/!D"= c+I\@{po٭NJ㒈k4{5+٢* ~vyZY2z2`@扈aYvfNB`^80disT ۩biyÔ"(e{@; eE ['!5׽cж YLY\*uwr>ۅ6 d]A,2$(+I|y,Mm1G/gQTN7#\}93ѕyĕ{ϲUVӭK;R4H`yM]+nG94)!κVAUP!*M-LT5mcuK8iKB p[ )'iΑ4ݺcIEjG 1T'^`#curmĞ23Xb|c{鹨1:Ze$ "zY22~wi7Pa\7FERUN=06ÜnSm+ߩ>CjbU`<R: ! *\LMz>>ˆe]]m)?6r#TDq]:;cPa~#\Ç2-92K {L|bPA3C:ޱ;ߑ,U;8~5).;jՌ0LCL瑯ٓXͧ!!\ 킚7?'?ci'1twWaLՈ:= _{tmJ f/rj堾7+\gI #l^P]q**Z=~{ݙ=5D1\ZZOnE!")lڹ73w?tc6ҏPSȵVߏiLn.Fʇ[f-HlNy~vEG$u1#{+6 L4 Ȟ2о -AlaɾGFJ=cPy[t_j=Ўpc;VaVc f*+^] 6Xrn' JaL6`gSY;hhkMM(Ao-7:U][[5&Z1do!wDWksbKJ^ jR?5TSOт;ae9IJI?I۷1& zC]3b_HmD$sF$~jţ/V_5 B 4UYVaqdFV}n艴x'szN Pبw8G.]hɖ IM+^QKmaGy/x kY;񽌄Rmّ5&K2QS`N 3?H/4 )PdV3ϵ\ip( /Lҧ-74mh{HK .tfS!->W/)ӌ Yl!TXGmh F ,zg{l"܂2N^kH}i'zѝ]M 4DV *pY!J kw6gMJ0 ѹz,9\XДو=]v4E~5+[_8CRh/,tz"pÄߴ7S騠1aP1VߛvƆbcY0[iQDMp,pɖ1dwRҠ"%)t9Uv &#YAeO(7VU\x7…a@Oj'V!ե#Xd=%{Jg|KT?W[Lz M{C;a\.~ L:VtadG>;`ʼn-)58 XM(sv|ӂ3"s:MKPeFQ>'\2.gFwynК퇮.2[*< p6*Y&CWؿI/FX R3H)F0, ;h`֩uv59|Y UMc2R0!~å)#-|2thTH#WO@]I¸ VKR3AP3Lzӿj ;nxM8qR=0-TvYc=DM(DfǑ"u7'(j/J~R#?Gtw{x'R!^os ]N"ڥx&n.]Lxy{jxc[m9uY5WqJ~iԣzq+EOs}_# ;ǁu?ԦE%yW8/ѫ[{4L`_jˠpc" [ҤeՈ31vM f4`uw$yRᎦ~PBٿ,Lmlj7ђZjl-/e[ JX'-W{+t/yS;<Iǿ4P#l$GXc]=oeBP*i WJX-zBA)v;hʕVC}"<&*)+$5Τ4 m]?гNҮ纓o@qSЗϞ g| j Lx=V >` %Uw]207ZPi KW7*qG; epKI{ D.m#3KebLØxKc\TmVSN 8٩\dz6zv3#oJhvk-F7dE;u,m2C)љBԍ{ъw.ٸ+X_Ʉ+rVs] '3 *[lD$7=''/AWgnNov`!,|oם3\p&WWr]4ZKWtZkj@>˅,f`^̺@;Gm$)Ӳν8㎂qiXA%QfkHe\ADL)|g,[i#~f|! })>LZ$#C;H!P<^l`|B"7|ܩmiJ{Exo;y"a{x[됤nZ'/چ>A1y>fd_6)@/֞L{ܯټ}ъ'z)l7 Rг@WQ&[uZt@C [Hh?}g%i2fx S!zPWBchB!CgݙH0j8qx-yH@a}Zhx"WTFgjV=aZuߎA?l}wP[Bc}'w/q t h?si6OC(OT- _ԣ6{_&d1S_0D3mLLl5b+׀8r10urhK_[&h#šݝfI]qd6 ~f=u][qύNz_eP uP1#Uq WPߙ*ӌ)h٥ ᣉNMVx\ݧ?|BTsiȃS(\'IHzE*üffGB{7'7k!0,,Z^\rGwpfàQ%+wA+p_I}j;ܧ$%F?r%pg1]q74RpIH"ssA^n7{9 vfIe`{ 9>'o3n'rw"QX*1i4BPPrjB`d<0Dh-1~byG\Va뮦|˦$y=JN5w8-^ރbxaž&ՃoN kxpD(8(CKh-1KENGQ|S„̍m $aWlf)!2HDS4Tj< I \+%Xv R6߀c] eK;PLIJ AePxB~e1 AJaQ2e47n_ߢA 0O$75PS %@&EAG?ܿy =dRZ6>U7ͨ I4'lhs dqmwVBӉF7$O!,'ش1qږ(QRu#ɥ_ \|qqvjG uh4%lPXXkbx}Nk !Kbg)XEmRbqy(XPSF4x'S@(+TNUu٢ȓvօ8C8RقOw -9hjRi6C*#DĦIOm!SjF^ e~Z}ȩ(,o6˔~jgz_*$p"wB&Ox }˅&M"u( bD9㛒QCf=\(*UNaR;5d2s ;#PpZkWEbo e1$zlKĤ:lvİ΃ryM\H`6E%3##U6Dg c1%,nd%! {G0`^C^}ԜYH&^\@K JE &š;N yt* 6Rk15ktl3\j[}  SåRWb"竹|C_[?E,?A-BX}j{ Oyoc{[y?{$S} $!3Cˮ3Z>9pWq ]JSZAv9'aC4Xxݦ.mQ+l #/*;!{'Z "@s;鑀+ɴAү{d[U"8L9u^m"1x_:ǂ:ޫqJzc!&EQo` Ɔ\=2l@k<5rE3:i| xx&'3F fJzV)m)i;Xi`*HތwW%ms]Ud^qVD:4-\('l5MiG25;[H­ݕKp>#ګʢ*R<+S*S//+&+b?epfALTA -g wѿw?KɱDS2Dv!|%X1s ƶ? 1mj'o'8[',+/En@cꟺisSI/6iZb{2:mxITY؊YZ]K V(y˱L`0ⴛsBcYZy #pQH`MZu`-FK~8}nGq `]u9Mq9rE$=:bp̤_ZL3 dmvHe_8xo:HFvo `Vƶ(J,n/½%+L(EO'|0.AZb, R<*x|_?q!\-rW ׈f{LMm boC5RNLX\596,9H:ߦ`QQ\o>C_酩0'z܄b` 'L7]}Zt͵~s6m;Oz` 7_h>{l-0Ĭ@}H=be#>f$8]K*'\ UGm"RC;.bQۣQei&]#uu\u ƳN@:ϥ~#EJ+ 1aT8378Q !6o, -?&|L{mWjW6LWXvvڟ%\HbB.8/tŘ&?ׁ%_b3`2?gfPSUrcYC}bV7y)lƛN.aN5 C'0ȟ3:EڑDDD˜'Y \_{vsY9<,;:\'C5@>qdg _ncrl:wMX;Km1%/eёq}1`Dq(}u@ 衊/3Re_ ΰnx-eަCCyT ˤU+@ ڌBw&^b܉5?mzCB $=(`V(zľ1~s6ˉcNӢǞ$ϨqcǤl@O*fL ɟR[!gv:\p^z&7ѰP0_ FV 2qm#aLJw>& 9'q5H7a{.@#nP9 I*#UB3*lp ҈@I=BYkfn)qάBp"TP \rW~Cb*40^?Eș[Q|<ժLwxA*\d٭$AL|BsU$wH60JX%so^{C%.Fxc\g 3+҄Ynv ف زlaso pPq +cO/ķfVx=wM+̍<݀QʜoTN=i<PG籙[%'׿|8y},I*3sĦ%>?)bwdeūzxNq6^ү\dɕ=B1 JE!Qe, PD=A4eih%BآfỲ-/(T'FDcdsB{ $}qG{yeՆALQȤy/OG>E|$*p\!o9}hto;G6ϗw:v+G?–hIa8Pj ]TT0)ĭ ˘>% P{kT9Ё,HA3`?y5_(DDZ|E^d'a0OTLbm؃9{R*}[<8ȸ]DS:G ܚ7$&w^s*MnnAg. @v[3SՃ$ + 1饪.,>g P'V`9)ueW뙴v!/"d౓"vAl}.zzGEjYNS3bDs)һC&H$.'L"7*w "@8oXB#51R  D%OiSގyxpS$1l$vyUnhn0@ü=lSftwyH.V?É593.v̕u߾ςq4$̎>D"6qs ;(}` {N9aor~HQ_ >?`'"F+IWAc7%}0nבz*&Pm署rdWsc+WUM}W;9,[7*"C*hTvѥק'K T53:.kN,k9@l9Tstꚏm 3(8EB0nH+_&ĒY!Lsv vXU4yJZ8r!ؑ;_-|x󁨬]x#Z_2cVLn@Џ4eB>HЯ_-fu @X3ج*IF lkK^P^SmKLC>gM<#vW u#iثoS+@[Zx W4{wC? `!S#nY/X˫~9w#aYJ<02ӼٳT:jv0î(9$Nht}5Dg@ݏbqFu`Y$+#z-T_vd4Cok'Q_.UGFof]D*;ORXc`;/ wJF9t&)"8һWV@a?6?k+w'|FUs]vY^hOwFq*' iVfǝSا|_rqV#J|_+ /j' | ]GAk OW=t"R%Tz7(@_€+PiwR9HWq-b{ݖI!nS-n/S0q2M^!Ycg;ۧSkPzsjb:q֞&5(zo!_fFCBὟQ@>7C5FH~-Z]Ҩt@EfWABW Ā"?8}*/g*Yf.#%Kdȓ5]wuCwasͥ,X(Fj?tH,baE W{ި b@l'KŘ_XK:Sv;YFr|. ^bvy&t8oEb{;V9>RsU?|i=B<B7r3i˿1ZAYSmFZ/)!d N2M*b4P*C ktNUhRNT(ޘK7*[ҴuG |hJ*B Yspjňw#l&@Kjm-fUjׂWbVD}[esY>>Mdž٦ no/ 㩓8og,b@g-?kbDamsR&`b:MS-PşK.Il+I䵎d@y¢ ,]G$4ؾ s'SXy~.\#/hЊH{ Y1st u,Laz59&J3WޕT?QkpW{مAFKPgHc#G } HYp p3Яa>: ^?<Ưukջec( o4۳X;2RWqjU bHSQK'*77N bs*sJ7 v^"K[lją_aNNygب&Oa s(HI^R3bqP*= n<={ 5â_>z|@gE۞mM"%zX#Sg&3d s)Vjۭ Qqt;>q} bIW9Nmn4oe\B/Z߄rpԭ>kUg9G?[KϟQOLl͛7ZߑFdZἦ#­;Aɿ!C<` wlJ?׮_7͇ИLdnn#Pwn.cnJ:0NRBƥx;\\!.//hwth1|N߻ļyV߯2,U2!8BLPUZGP3|nV 8 l`Af:L /\T+2]$l/',Awkm1jҁoe䝟z㾡&ݫ30SQ6 Pr)Iʈ a>۩LyҿL{>cuCJ(Ch&aˀO54bQ{Z~=?TgT-څE0'"87B]":ӖIq6"W&uT|JޘMcknzjɏ D!PXB DR [Z5i/\ÜXu mj%SiuYzm|gV*A:[=trEMmf|@ a(t!.H2O<9;ejz:h> 'XUdz>X ?Te_u kNg^=Ii<')zIahǦf]eLǶ~AvevAF9= oG.? y[4{UD2(/)lO'h]UɁW!ɏbۑRJO/g\;]CtPK,2_Scdu-Uvxt? )RG"4 b2r/n'@ Jz?A",[:^lݸq_` L6 n?q .!"Q) [# d88ESra1NL>p8RFÖL-Ut7R8&Iv[Ea||Pm*u^W.Y7\y}ZPwt'X2nj7hݦR #zMSodIǀǟ7GzD4-:u{4y{Rtm <QSG~Uފf5\EHFMǞ@N|Ф=wD✳$nc CK,],ea6%: NK8p8V99uk`r3=!n7Ȑzv$ x0Ba=t ,eP1)n:"P@U25$\=1"d#)̷` "uAZmG\T .¾_N2XL6ѹH==!}4=3kO?~,j*J!GކC¹RiBl_E*# ɯѤ|w8'*"cSaz%( Jo@?Iݒ{uV-Pk :K8^zs+n)K2+H&Xbaoolxo'yat =e<Ht:6 b:Bה:15/1hTё&YVj?}dBgGWcZa:œ=RMyP}(,aHpM8͘l>]%, 5*$Į"dnbECrJ7F_ BVvq޸7$lkL^V'ub!? y؜HuEoXdFfIȅ/lxX-_ըg.' ͊؏%[$e"| !@@ v$iEGI0w.#-:&X;BK JP,R1X^!/Up㍻i$bNEI.DC 8n$IB[=xUzV/y<%lZUTϹw*YOHQi9k7v;F@{FuhkNZ i OnS.S(1{vmbkaeBX{RYYMI[^eN1axN_Z`Z85=TABx]=PZT5=UbGm}f~a (27iEВJྂ20aQ2ofa@Sށ߇~Akլ&2߅,Etc$"y]q@ \Sav@W M~zľCOF>>܍/^P׼$eZa Լm^vz ++vg9@~\}IqO20띾 yoa)|^q/ǀJzav٭y:F("\G}'H :mw淄Ij?s m$$~P]a  g(.et?$E;́'slyMM)x *Ns4,bLvLt{ Ow6ڽwJ}U]~|Va~U̖E!|3'0ȹamÿ_ X~SS1.)B-O&9Iߗ@zhG,I=EOC AWFdA-lZ%$]aNJk qy2e.q]LPƀpò/v z$UT"b `bWtRB aY3d ȵBO1轟FNbb/oà+ymMчҽA6}ܴ\h@3~·^4x 0iJEDCy35fnCvS/ҟ6*8=cx렊gbe: Noɋ~xAEA.!N1>I3Qne7n`;c=u껗p;XHr