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$ ]% HOL-ex:threads=2elapsed=483.309cpu=882.036gc=35.360factor=1.827zXZִF! P]ŗXf1-q恉<:P _X7D *-R~x=ҮD~ =M$Ӿ|l$bt=fcK7$ ޫfZN'NרFj3Zz4F TE-MD ʛʫN'nu>)|Z+~`CbRfEݓ$%mଚRɹLݴ)8YÃ#s\\RAv0פCK5B!Z[juR>< Egp$H*5MnU7lD6 SH;jd53Zj=ⷻ/;G=4́*{y-WH,"aA䖹 g1H*.$fYZ&͢0Q=9T%'dp8oh⨩SFOHpV+6n! פ Z¾F;/n ȂFGL0}z݌7l cSJkQ~q'D"hǖN7 f^ tuXZEF\ƪaEE@ VKj<`KlQkSJvNߎ51V3ˎNOD1HtreYb9WP̭`HE Dؓ fX   LC4L!,_#bJcȣ%\5t{qFcꢖ8 Ԟp<5/nm4<t)FQzp:iZ}4rΛ mdè._2#,O^gEJ'pWB!kż^dO#i ǻb4 ʾrFrǻ0E xA&@ n!E`R ʜjJy"fZ5j.d .H&xig6,9*s>Y;.r3"TK?5i/ib^iPSo1η)8A`fD7GsϚhXޟ{2|ʓ15(ڟ%F6Ȋ!D9_/G\.r*^x@wAG,7,$'WԬ[x%B.qr   HOL-ex  Ȕfכ?TxrTBUry̡mEÆh ZۊDSᨘ̈GUETtR_c$2_.a-X;>=pЀIJݡ(qvg<Ũ P2ݝ7vb<G?pM y xӔ&81AJx o&#pn^;֛?s/wgWq2OZv]YZx|Es]SZv?[^{?JJR~-0<|ueTy0O ]$Cw9ӥ0)w LGԺԁ+U?Cʸg6t=F87RuK ,KAGױe Xw%7I;(SqŰvvŸX لoH2q,;v̴0h0/qu—o_[Zle,Fz9?'rVI`52g=<;bPNgL5@,@38|JlQ)qǛ[d_!t-FMtB|)ڎP7_}yZŠ1JkQw#o~C$<j: ߪ}<&CC7Qq6U E܌w:k.Q[(tACt21R9lr$J`xYYBWj<_0E| w[WZ̴ǰ6CskIJH:\s8rfh.vtC材f72*g͒%־}\&ɧZ`7J{(ÑpYCy#$%AqL_ 5ĭD'Ty}y@ nmm]1{|죅æ::d̐%+J0{6uq!-hO.2tci-RTZ.\b6; 7ŔD6 +}|D eڙ5xk} {a ꉕ$d@V#K~h9LmeMۜ^7R0198|wCmHu+Ð޲P{2k7–%Q67I (%u9Nȭ!j{0< N=ZucSE2@F;k6 .1REEe!4ƾ N^M/:._Wdi8 Ȭ@~ٹLtڇȰk˼fa&ٴ›sv  fO8sUY{ܜc ]:J5348%V,|^U!#(` O9g+ĘWV?S6%A>S%ucm `|Urut8_wzin.uvZNL9;}!۪[䤡ghɾ)nibu;]z&}FO\H\2,%"+}i^H*daARmV53Ἵ+jXg͜zV!GL^x|T+խKkXU1}Aia_B$KIJ-hlv(VaN^bO5 ϡ<3MlV癴c.nc<9ܯpZhKD)wg-i܋_W q!3Qsj#?]FMGdM[5 ycUϼl- # 0`vvm}kGcD}3nMWP"EcⒺ=Kq42 rdԙ[#` `pF8mSg^3%':/.CCzaPzv*qnI:J@Lњ0avXlPe$Y?"~ 5RB>\{kb4eP6 jLQv&<wrOI/=lZ%x7Lw^'6 ^n1*Kw7uw4%/*hX>I&X;>K ?ޥ]"59<%Ψfo<(뎦Ad䵓7 N `x>IgeB!tanSk03LƟS.ʠ@eB«cXW)Z(()'iNlg| M6V98><ųsG1D6cq(ɿ&cO$@ND *hADxxF/\!+tc; "=65wO Qh{B4~hd~U1o!9xᢢOY5=jC_òyĊ~5tM׊vA YMq_SflFX3.u6&JCr -xBқT| Nw1X4O)guGv8hEY1 2YX+|$%ҐV:Ƚ]HݖUTo+H]]zOnoCU1&6Tů۲*pL{l| 6#nZAXIחs@=>FT2¼PY>kAT7LTV LmӂL=Myn0/䇋":7ZT:ҫl]0LFK`тϡM wt@ɪ܂`33Vz)#1|8GDB-O~o pB,f DQ~(JÛ.PГ!oFeIEBy oy,R+旒nЙ7)` ;UCNE+Θ{+vO1!Otdguya' aD..lYS}Q:x0CL׃-)(hrVd t)hW J =|&y$L] @p89(5>" kNUS38uJB%5Yv}E8IK#iskNzټ⃔%jgYZ7zXZִF! ]ŗXiɟ1 Us-wxUb㴠ū,k`;laؔ16@Y}h"Z&!Otp!7fS"I' Hva) B;R~D.> OCsẺmf]/jRPrx? "^"WڞEu<[K=$fw,zyix8F3}l΁VVm㗁;7Oŷd?bfiB) i 0hRSk'SsL*ӱ@v\~Is+oWL]$i-<2:;*12ϻ#Rxey =S"s#(#'(K]uUz3{Pc鉊zݷ܋&I'={qjtcm|3xժ&ܝͣ}Z|Fai* h5,59fbF;RB([BsQx?qGnXAFพ1c\?_rʈ#dW2ҙqz"h#H7JJ5)ay i׹w+g5z;Ш^^l"ºIM0w O%V00HAz}8m>9UxoqW929횿EoI ~w'nC:y0q1W ,#/h]B[unp _|()I1jOW5&6E\8ũhxM U5E|GIQ!{GWS+J𨇔?{jb+b=duY@ Mپo6Σ}ٲB mk; dCg֎#Ȉj)+,ي=7~ RXHuItՖ_95}Pcul \;"}2OA @V|x.f0>Q.pQ9D4$^34^Fs+tX=,%Px?E^T4(Z4p߲D77n#25 isez%`Lsγ/PyS6<}"y+8oC"3dbpj{djVh|%X-Zsub @Fr\us nJfkR"\ j1Л5Y ŴFkǭW^ݖ <@a~tDޘ1E|BP4e ڦ="! KJ9ohQ3< E}#/fh^zn}P\裚* ^e&[*ӌ] n=fdCU7T{Z4l}`W uZtfҥ, :I)Qj6jPEcZ4#>l2.>8L>aqD [U2ʘ271ondd{vmv^ѱXJ|Jj( f%,@TRkx(;Ne}\Xw *+p08 T.Č_xKZDJƻ4042 Dhe=??eYC"dd Syw?w)M b(Yu]$zK[ ⴠN(/ӺptEci]N/| IAB$38T<9%d ) (IO,x4e\Ε6\'9-z fm9yI{}2&b99q7$p֎ )Gd7蓷){Xf&]01&zҚmp@ܑπg0߇ &7HS]aw͏N_#c0J-y?ͽHAkmM tEC,[g/iٜ2AZ]9xХՁPN캈9Qӷt+Z`ci 7k [ϠdlO>s6BU{*w\ss6 LCC)gnu4wAot+U Z_>Q[nP@ٗXz;_:37'DG ;l>vֺ_0 QZwY.E5Ss,ͳs#  oA&Q .ՠTD1+.h/fEї ` !%I2Q;~!+ƨEYa Dna!QP`,gۍRӢ@ItB#fmeA.WV흒t6K;P#u[@m J?y9~j2񕥊6 和=euspiw\dقy1#*̔(e ees?P9#g &IxF=U0kY+VD'7FxC‚XH3i!̈́YTx1dn:5+1q57_28a(g#7/k-JYh]Ls r%~Vٷ4Qd P t}-3qM6"]Զ$Wz7dJE=_B`w q9I~Pu/Kӝ ?IhEG0h vG~'XZYEPQ:gC$rNJ{=Wiw#oĞf5+fvBڃ-ʿM7m_ K?r }3L08-VOL >A;E%S3 }{kRffp.NG]ŲW.e*SC,ش*Ak$*iX8M 8;J~)sgׄZsj]┇Oz-oYvA"WZD8cQGgf=BѸs֏AiqwB7g\Bpa]*ԭ\nTD]1ܢgv-nKZTྨAShcvB KG/=f{\(fUT}itwh0Icdu L(> 1܄كKexh(Jȩ.m(FMEBTg;N'^LO\ Fd]4ܤ;`\cyt >Nq3BQ;7M\^S+r Wl }~~[Q||qqĨQrȮoudV >D"JNL1:ࠓ#4l^zՀ 1/}GQ{0 E+#g1]n}LoK@6yt}~ DWu!G#h"hlʓ#N(2y9uUւ['=|tڶVk`tK޴澠7*w0_2UBskhaǫq Xkf TMZ*o ոSZ[aP:Qg:;08/yò(-FeuW~ ^y\ӧRxv_ԷKXٰQJyB%Mwx rHPN@=j.!#U o~mމP#PѳL0x>q ptM{ `s9TWCCRpAx`Jރg8n%P\5 ?D) jH2pzedPwohV;I&/"[B/>" ȹȜhbd~ 0CMF h&g%Vd>@l'̯_s "ܪMc1h0 P)^TDXֶ+`:^{Nf8ΧuU(|2ѐn6lb/$Q?u'_չ8eaPGV1y+/M% ތ]O U-XS~!!N2HXV_K#=^HYOb#خ/gl@bupl5K/ L G ̞AosVܣ\%bГ8q4hŮm7/,.( m?(͙"ZP;Y ZM=⩳3jV m%2uP>!抋˃egO*^dZ.5pG|28#$?";LZ K H~[#DƉ::ҿI4Lg_|47w8^d1vZ`ABŁ&Ek 9Jg6Ü"yrXtyu93"1oHmUMz%̴ͣєNtSz{RƯ8 F'|H)7꼪I"x:‹)F͒]D4͝ml i,2g-m6c ߈9@dܴ7m1pH!6L15w:V.< H C)Y,z:oVjҒ1rX^eoԃM;ɀQF[| ߫62 {`ey:?eks%eZ;!DX^Օ~P:)F{(\,QgT^T 72bUD^zZov Ԓ)%wr%z[-`ĪzP|Pκbqhe)RjŃټ@/JV}kY66QxWu;heuY7,x;lT5Is !}3/| V]%E Xl4s: bl|; 胐 h8&pN!lJ:+DsVw9rD*rUyк-'p`trjÝ?~0I[$Þ댐O'ٚ?j{,qz*nNq|Q`!D}\jhb#%.*<* {SlFptT P6bO[7NiRъ6W} f_w2[}CAE,f#.'oށ0u^3OA`1Ou=kEӰ, Fhpv1XaIpZS7P>7JS}ZҘ'O` (&gr sŭ 7yGU(mnKݿ= b3 4e5+4]U"U*z nKb^5KRbV{%I$E{`%{0遀nfo-$ # šG\O{H[q #)z=jfKN+҆Hq5yn{ USRPy1 -j2fEXj~@ B`RiDƵV/ o^,w<)sˠk9@KdT:;iL!'2_~NLxPpqe_ȺWD=-yIZ0v'YιT6 I]8WKn5r }o($RYs~py7b16K  :2tS^ϗ{mT _!Jn4 [^~%J(:)AZ;Q֜Qmֲ҉=?wӥ ɇxE4$8b"?茄-Ouq]^Z躧2]G%m_0|&]4'9Q4/d&2flrC#[2XD8$nкX1vNV25nTp)lиʞ{"ߗKs(cz^/mR@ڑT{:1sz2ˠ $L;A<+bi 8" k&:Qw2!!aj =)֢/eP79JeFCqEZf !jqT$\~r_rYoX֚71Ú ?pI`W3n Ϣdߪ\ARӸ|\HMr>F]tfBP m!L$1Ȁyc2?d`ģ^S\+G}R65$^GlVdu9 A{ 0Mې2ek/ȸ䣒4|䭧SeҔIY!$ZdA?&Qs"&BӋdcL!Wzurlu{~LF?F _y{=X=W-q]7 8#J7<TfMp]i]d\v\KeWUB=2OzHh$bXF1]3[Ƙb_HV H"VN^&Qד 25Z6fM࿻&nkaq ?"ĝRS;8!+^S+LG 6j@ &O8G"VJKϼ L㟍asDC]?NL7唙?ߖ|h3'MYKҸŸYn2Fy.f+sn 'Jn+ЂAe>,P4KJzbbW.qs)e£ʹxl}5}V9z]Dϧ"TpgKiR<!g[H YuE1 /)W/'>?1[ n$`t+9^q pm5Ǎ~`anԱZ3Y6WZM[vV8Q9WB7 e fLtg~2d?X+˕\9^ JGf_2Rꃠ)o\EuwCs|_ )V#*X#fߦgx i4ֲ%:mDX  /]%tmuuw С}=s.2io5KQݴ/T"~pǏ}ܿFq(%u I^/iH"}[/i_ ܹ"%ɚ2\7UtM#}R52jpgmҡXS9#`o>oSF"1$[+؄TѼfYQ Hzs#IME7rR>:ϗDˡ{=1SL~فKu`Sz˂֖)Kc  saiنhku]TDweB(u(Igo1OxyT3DŔammVF.mˣꗤpfql6p+˗(jZ,0@BeKūŚ 3+mizV49cFNCREm8i!;)~hxE|b(gT{tz)c6} k+o>2(Ϲ} = /cxvf :>HSDJxV A&4 ٙM31#R 0 y3Lr'u7tLp&Pkw[0BRɂ]I?!'PbТ*K<_D^L9? T1T(uN 0ufPléy&z8ƎCɊj_b.Yo[O|~(@";)frF? 2yoSq 0Fkې-}xYCc0svϏ OɧwoT:+ӻFN8Yu 0eUk:.P<͟ȨA~c{x>mb>MBI=y1Ka(+7uj--w5N!@cݖ'sMҲ2T;=BwB NGs#0򽉅DY8x [+±nxe/ (EAf0w]i>,-5@RnZ8>@DT8 "@=8U8GҷgF'|SW-n$.v'zx MDD/1՘&#QWQOYD2>wh<HyB# 3ʯE2=ҨfpaAg#SWpR;) V[kb˶HhwV}_U:\%§鼷ũp`+5+dP1($BM|{T=@Į煡<BsxO.50*(rδ0QZ"$=\YF^SU]&Q-WlQ6y*|YEy%f  C'A{0MVh_O姪_Avy duКK>Zj.z)1 w}H'Y%JBv<{VfS`jyɈ}f籦ro*9(h!"cv0(x|u?oZM:|Y%r%߂DEݎ I]=Vgך,h#Y4sSWC/v_]4T8gjxhy,DfRVw_֣,,`{ ٯI=r5csJUZ 4K(;1z$MFP7`&i=( ӓXրoaq)6wm9 $ֺ2 c]?"x Ewv[2R+#-͎7A|xw2a^|}WM]l`Ls#9χ -AJn߹$O(sy =PUD\w AAȗ4sbs21ǂB3ou7h% q\TX.T)ԎC?6ԂY 9!dU/2W"6}JUE⌁TlFgΪJ6 Ld}C$rµ(/G^Q0NFmhnŲ)l%mJAq})lb8(M],b |w5e 2kdHs /( CӂWNesj8)WqOQŃ+ Ѷ aU59BNSشpdH )@Q46zj0M 73OMKv;w\Q EI];XB2},f1ӫ5rai8khj~x>wA[ ` eV- Zl4Mx WX*NÂN0L6ڬ5wnps9r>lH٬+RPʕ~ B^bN5@"5 JPb74loB:~rkܴ֠S ?r$R}A 2/.`YM$OSw1Ȗ$໬+/0= <_(Qt 3yGzѪDtU\@5:BFy?eQ>]:AݶdN)_i9hf=R0DS֔]$i=&~ia$P@եzh= <&j]K&`qҞX*#-0Lr$Tvjڤ ;8fi-k!QBRZ&׹څ?YnCPEJo*ط;G/m xxg~k4p~4T+ Wr!G5\G/4&9aUn u/%VOa>NΠlKT|n#6Q-4<8rWS5F#hcӔtSp5ga3K"6-{5Mk(膑Wڕ=ϼ0;ĶߢjyO\D*r7&BWϴ@_M M3-Y>}81H>q?f n#yz}d5xe>f7ǂRPQN;jRR{*vx7ࡥ KS s ԳZ#K/l"Oi( THCBT!bvs66TSme! H@܉Xj"=bF-Fe<\؀_;WO_ %ށlʆj>\BXBʇ,yrE*A dn]a_͒9xa\|%NE@~$,K 8MϞh9G i~xI5387Sq'&yСā 0^k,HSVa>yb4!èWm#Q aʧ! -7e B%_Օ+up1Z !fZ(q}]z%q8h`>A20yKW_(los XGaSFBG5#U>0,zV܃V0hEnڈGܥgٞ:"G{R)X.ubw8W0FZ+崽q[=0tsqXTyY% Ȏ l*NAlEHFS_6']y*3DEM1l*GsùGii?,+^ MQ>ҽ6Rg,b汾FF\,^x$r#콄3%„+yNx, " 'M%Xȝr 163`zasG΂RqY&8;7EeǐUzTЭ_M=s(Aie0f*Eȕaf[҃ilT"s"*B_F0&7_!F_l>a]Ňv+5˖y*;JmI2W[C|!!&)n%v߽*baIЫU}F@IV PD*QgyQ#S\rRUgՈ QVO>dUj~8`@\I\sDa8<&9`+ 5x^[>W) xH|p&GL-'xMWZ' VIT{">qOtL1&-Q,,ӺH Y8ER(Gb--g]5I1QE# `y=TUЏmyZx|ȲFl|y^:wD8^Yu(wҜt@E٨R+مRjAZ|'V"yl$ //֟F q#Ae _KTi s4F{Qd'wШ+9n e|}%>kF< vň\el[RtT'`夫qe3<@pflu, VTgъ_Eb NQ}@*'PsŧҟQ$E-R!W.zg}ٲmFuEԽV#(y?Z6?94S3c S"Zg7sG%C'"ǬO~\P' Q/+|'~ Zր_oXO`S[#)qsO[@4ޫp D~4 06zo3y\t"a/?XZ7OVvDwA:Wy0p&Il]]8``fW`ߙJFTUm1Xrk~vg>a۟=N@ŝ+؊<]@Z0xc4׫2tY6!}\-e 7*jWibnZnJQEDs8+0NXB-W!,V\4.T͗n·]$)F 9r=ja G(cYB#4}9#*|.Ϊ7{ ] 3@FL@9`L<]0'GdSp׳=7t@5[?˻dQF;gm5;GOcsLtb>RînPtRרFjëdmxC 'ό]nz Of͹Dlt)J\Ok[ vˎK'TCsvMR0/ -;⪛^GHemk]dʽ~#uC~(m `i[ MhnɛԼ%mo# /aT {iHCb0tv2٣֌S S? gvUg&@{.G -ywY[h,hir Xq|5]9l O 5 w EpL>4kP0?[ɕ\S tVۈLdeqlӒt\CK+*"^Ͽ!`w$ tcYsv,Z"Xn+#kgG5P.; < wi'AVOlǯS-*Î9 0{C=8a#\É# ϔ{ȳ6>Ob;03vjiMhJP5-WqNy<?8R4YCUBگ4VujtgWېq!}A3[ Y悿]d\HnnR:@F@7I'ov3K(|K˛5wxzoXp Y#X>N.G5 #2 Uv۰>ԺĪ*k8? 1/(mQe fq= Tn4R_NB>s̳uÚ &}s61rRk0!}I! Bwh2CIڸ{u]ij@"R&I*.X|uX}rLr 6 Z=h$ um4-IH1קJ|'خA3e#zկ !*aHP!i,z'O[:fڳK)B]{a3/B>7wGb1^ϿHB/3A!|]㐽 OѯD .(F3r\gcU 4U?J%L&SHA]E{Ç:f[5\~wT"!]Ms ,Vݜ跢m|gH',v{H.eXdWȇ [%2[iR ,vLb82ڶ8]1YձF)KӤ;([V✲Ŧ:L[%$^RQmJD1o]!)]ݷ室|^Vko(n^f4g 'K/, dZ+s(m"&u^+[kA gE"i>۔L|[}SV\ k+\G?1t0/EPѥ1 m`_uۇt\̐fɤF4^W$ I!'u3cD`c $>dWēCf=|l#n0kl_(}ѧK%׾r0}.fujy |dctNmluB{{4//{|QՄ|8kMaEU}iE!Q;Dm"{ ۥtWQ A(hT@%BIC>A`sD/:Yaa60_* }vr %^4i2f8_/AT8u }I4_gꭞص,) ]ێlô_QC*]p"N .Ă/ Zs\(D} 7M`gAʋbwX Y }oZP?Ap7R) k )e7X|+~IFX; i C-p1v2!mb >Vl}:l UM曮G"ߨW&ᣅCO\)5c&ptdgb̹D+\3jjS`jPșrBze֏-Ru6g_ڠA b4?`6."\)݆GjBW8!6;y6- G݁Rנ|̉>y "m`asb?=c"~pRwi7YΜu6X;I'C<$\F|/ aeRab1~Wڅ&tPvIԥtZ¼so(5Z줒Ӆ[٘oloyۖ- ^ޏi-#"lƈL(yĖO;eq3Mx.h~!e٭ YQmjW2$};VӘ&xuDx)ϳh7;wZhN&\^vBT= a=D}lA>8)"avv B6 rn Mw^\@z_4:r!mPQ:y?|jIHPp4l>7y+c`!cWԹ),xHZsv=~#Kh䖀L~4UALęÝ@ATj9/mK[Qa8.~W MP/"Gb:wZO.2S ąR ZRɬuh4 \U|T~h%ڕ;^:p5#ϳǫGߌb󛠊|KɋS[]ZTi'=g T`c2$w04H*M b%׺V`oC YI1"r ͉c ٹ^3T!b7+ (g\o5āĬb㰌0Pm}@h Eu|si Y=Kvh0"27,C~}ƾ\y/1X` $9O|FV½KM̿4_yE+Z\ sMr2;tNIRMj"wd4T2*fi*m*Q6 (\!CC0y{&!yP>=BN7$~=<vԵ{yRpwgDrX(1/A*`4':$H}P=+ri2 E{%{>,cx'vkVː/ T6=3tV]Kw'?|*T ⓼{K>ܸ|dBWRwtg^&*t0!hY^V\ I;Wr nS<tEy˱x,+KloUj}R Ռ.*l'9eb͙f E{<;ѡ š֧%Rz{M:WШRIxKwgu͉02ѢyvǽEd.y(`ۘ1~'2* I_fqu5KyɝqV2Sl@yFc|o5z^Fܑ dfյg '#MNKՂ 9/Gːzڌm__w@E4M1VgTfpf<5Πe,Qg!BL Ȧ^ZG RT)jG!X dWCőY^ԒPj#;tȘ[E7So>{/ױr1)˫Da I' 7Mr~qr,S8B= G'*.~|GhFg ݯ)|f8ȯ-sr ?qeUQ?Pߨ)[0TSі!~۸qǜ; 7~؎ޕnPߝ#V6 d $VƏ#m-՘=2ģwQi`}p[ئ(%\oF-kQs|wg+$aHSR4=سzQc2="߯`\b/\$~ ʥ]QPoXtDgg{,BWC{~6@ Rlr@Q-Wģ(ӲdduO#AaT#%ւK_V-ݼqv&yt3\ ثŵJ͕>f*V?"6l"p)KB'Ҩ+4.Ι*{Z?ӌbW{!A ~„\5zfb2_i8m g!]OcA;֘oY ވ꤭cY 3S+L=y`v.$\z}JQ7I`]"6N aT[.tN B_un4<4KnsNbB[\OD2CTNE1Õ2AJ6k\Rԛ iiW1Hh?ĢU' f }қhD{ވ /˸@{20gQ9G 0 ûܽx+ fEG^amw>Q3ȜQvjIJ[V F1!oE7U~wҥ@"oCP2 tJcX~yN`B*`m4Mf1PfZ+r&l|lOB_'W]QE")ӹ!UI !h."M {U gW?LL fpRN:+2$h-3u#W#A YK 6 7Tho:Y> 󺭖?rFQ2swcl[=smG@R/‰@#&6{w9f-7L.5dxZh1dÛIh, َ㺬q^ibAxnL(P<̻¦.&9 cqN e.?2\nL>N&@r6e&ܸkD]R|{lDRۇg;jh }=O ":b囫!YEi5d!(xO'T="*U|M$ Aec gw5g0, Jn<1Z~cJEj Ha8B븂,Gro3[bNGuK@35xU֣DEw414Kg.^q<,t9-seS͙}>Z S=-]nkH뼜,;xٷ5[#ct%7$MC~ę4{iME˵Ȅ: X-MbX@ IOfhSoc_ғث^T LämɝfʹY #9__ r#Lն$pp+I窕UB)