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  | |P | ]% HOL-ex:threads=4elapsed=622.846cpu=1674.192gc=70.992factor=2.697zXZִF! ]ŗXf1-q恉<]d %S TzA=0 e"[J9KϢM zͥ9*\FNC{*@pUaGDUIX;?{R+*!|E3hoA&L $sN[Kϥ@Syx$XNy{FHa`^oD!YTL__pU֑QYqo$`#H)(+[x3@@em:tsxwG]^yM6+-j΍22ٿ*|^Wa B&x vڏ-mdk'7Ξst XzA0G~ ba9De+@D#g%X|R*+;/44o_%(+ jհ4 4͊T9Xt?̡D::v1&y0,D^F,bC6,Pc E3A6jq(QnM8 I޶T;*.>*KA_71P5j2rhK^HRqm<{Qn*Pn"omR. -UƦt^Ls^ )‹E {oLN{dv5O 1Vh +?Jȑwןb*S/nΰFbF ! ԱGagKQi'٨Enxͳ(]YPEls1:!kSv1B]wS%:y >":Iz,o$ ! HNb7:}5 BE$Z `&b{&4<-l:3;KE%4m^wg1(q s"HcyX Rc(Z\`0P'ƀ RYM@E.TeeC&&´hGIbTJ 3n}qiBo9|`ѳpF9zf54"D=&^ ggYZ /7+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.MLkcc¿=Ža / l)51D;@ƒOUxࢧM4N+¸O!śd-61y@Ʉnj)j'WN+*NtF).8V5j8 W -1XP:tn:ͥ\ʓM(6E"̪l :r T&y. k 0BC*KW=!gm '; ։cTZg9n  B{F>v} 䫧H&,vtShJB5kj]$V7y"?9^eš g%pAAzR"Ӥ\U "x E#;e:N$x]{s- ĝ[Ɩ[ĉ5j06(lE?b;IdxSngo~qU7XśsT"/ ]Q?.Z$lT*pWFQH~McSkt5M0̵ f+f[]ι{Wl .s[;&!vKZ$.gWNrգ,vN*!!xAS ۢ!tjC' N0#tq1t}숅mu&sz vE(| ̤T[3UaӚ?S?wZ !OM᫫%/c~!Rn6N2 y @`|A g&LϏy$Z,<èZ>iz$ҶLTEP`+PAp?nN5b(8%P#eF0 2hb-tkV`G MP~5 g>Pq91aw|*s\3 i@c2$VuC zhfN)ZZʴך ' h*]dv]37!J<0iwi*G/P:!]ꃙug!bUCgqz' Pֱ_z98*r$Mu_>( 9jF``^1yij> !l: W'iS^7Nz6MHgI$Z6&.#ϲ78֚wmV" k[(Ӿa@v3Ȱf7C #st^TECQNKJjz!¸)1F3 sn{-_/@NץQ zY;̑Y!-7 xXIC5R&r8@ƻL "i(^#DEBNmpnۼ&q~%iD-Xݹ.;M1`C'_l^3.ɾBhn$Pw6~IQBf>fD=%$) =g"['[z2͠5J&c;/P(; R7n: u)mv폑_ @0#P͟uƻ\\דgB,KUh3NhL r1 P^ݫAC1:0'Y;t}Q" sw{~*Zdzԉ.s"rRAd"5\9L(ub3@$lO_)O:t`q1ݾ?)EW֛ (FyilBf9]kvH=[٨5@ɫqWQvk^# .8ZBC\ɞV|rڭgSntqˬQ#6_a f>&!]=$CYaޞ7̄ˊptΟ=MtBlfYKa!ZIWK6 WM\yM&t܉@g xX:L L;kG "-@Qi',?DSa5m-u#8NL l ;S u;Y`Zx20&xNcEWOꃊARu_o?iTwoXQ-"hlMNAKTx xwl~8]X/}Z08oX6j#ɼ}¥=]G-BK.3nN>Yj}I`ׂȀVΙoҼ{0 laabF4!U֤l,M憽I[ߺsRxQyfFhUWsF%9jll!X3LaZȊe9G'2koySխTvKldX22h}u"5[a6z",cN3.*]Y\ئ\L4&M9X!;73XD]G#.{cK{ ?zbKS֯rj^Vā:-rB`M?x%:C S2E)DmװiSWbE&≇Sy/~SPT-~8* $1a״+|$:~{D9&2$ 28M'nAe"sƟ~JCPd4(ž,! b+7J̟Zi V~(_XUnLȄѭYTDufbP 86#P3[O]pRrVM: >XMjq8eOWbZT̐mt7}/"]S210- DJ]FEwwpy ʬVvոG*4fp)'b$'Ck*@A"[b΅l MpM#d ھG@Iw ><`i]8 .JU2^]m8rDa;RXm H BIt+5zIal/E@<ˇ،Lnsjgd~PH2Wۣkr6N?Ul3YPE!]akqk -'Z/ÅNseJuD&%7Yeu/ kG ,G*D4eOPYL*n]wBH4ES?IVNh ̋53#y1_GhgYZ7zXZִF! .]ŗXiɟ1 Uu-Dٜ4H5пl#Afibʍ2*['|  o'+L].sJ]k HN3Ifj[@:z# r-!]}C!8Gv!9Nr_XOO:2!!J3&ߍ!uu?juW?FQ̳tͻ9$: OD>WQz q_xj`c IzP1[Baq75v"z!Be6{l2|"fbT0f,p.ƨT^Fk|7+!"5CGu>l`Yڡ-B' 9)kC f!)kvT %%J6 '}C\L5THXV*PZ)z#T7}A/Wld6Q%];;YQhў#!N /BcK`: i0Ře1OTiiKy9L-#(Ū;hQX[",\q$^b.i q^w9cJdJC5|h覛4=ѩ/'{6AgJձ g5;}[Gt$ l')]CˇX @-3e[ޡR(DŜ{JՍThInKD qDu{b@LtoTЕъ8L %hiu: yMf7:|)8Cgb喼wh|Ob~drm\hYԟ12Wq!1I{[Gj#09Ǎ$:?̟nɤ֡w,"4A|L<&[>Ǭ_'"y}Hw}j{*FÚ ( :E⚩& ;P#M. ){2f`v+ՋA ZքӐ<ݕ)0g}- ${s\it ?ΉFפUN受L0d<ګW3ǮcAS4vj8DMRNW| {c/%ɥ5=tl70%{)T0Mx]RsXi=jCf-/{)ܑ}ZSfW]l&$ueb=QYse휼ħHz@@s#bB>E):`@ {[>6WC 3D$e , j ) sĬv}g+ҟT؀[2ҬlE3ki2XԀlhq/gS#D_;"@ki8n;˄ 4"gYZ7zXZִF! ]ŗXi%L MNgꐀIR2nև0BM4Wpr2`+ J}#Q3-+ҟ.h20'nGU38"@J߾d~]_ oLHI h]g0h`@ۡ@^Nb8- NB-dEH'Ǔ>I)R;vo;J| R3#Bd{2Rh6RzH ݮGzFw$-A։?zҋT.m^R>k/6 u)j3GH(!>DJ"5Qyb^Orj a2v;l4PLx s+"0Y_̷ehozIF?PhS/ٰneDWy? >(bn\'jcJ)wUp%t^4ւN(ŶxN=>Mg`AU _)J$ '(m7Hv6]'|þ0U nqċ5붣QӸfh˹MhY>'%̷a((N2" b@2CON=я[}]] h|JEbziJ^k]ܿ7]ʚeNnL-G?%τ7塬2:ch}~A [=ZzVnZu5dkYō(rP$2 (p) ih;ZA᱾= &d(83-ggp I q{P) Q@EnSZJs&g6WirNf]'!e֕X-%6<2_]y<XyM91fD pe3 Y($IgķW ;P@r_<ۑNĜTUrK U)mcY}7]~a e6;jcW(1 v,"9CkijJ : ]Q7IhVYE2`}`ߎN,}E~*9=Nݨoo=}AM90XyHX[HmZ\3O$5bss-տܣIWm nG<)ȮH/S5,$>,I[wÈaw E,?gSc\ TĐ%(zS/aDݖ}CwZs욄:F' )#z+NeA;+Cփx3HafO-^sۃwS]a Nu9TJz!Ӣ@\AY.ʘ] ϝ}lr r$!C$tS${b7 D`,|$WSDtgP{xs^Gs؈щU"\@ xK^>aZf&VEdmR+LmeCL-jL|Cv=R|aHY,b)XI49LG=&sXp/\SюyhDסu8cɎt11Xő8Ch8CbP~z }"HJ?1~ >kdꣶhMJ'Ѳx震RRLskQvtD86X !P]@YFj,̠ZJ]M̮3%*EkS&b ĸ#97m&O٠ȏmpqq`yjL/Va/ ΄;[Dzs7?WH9+c |3QgY$G…A**Oާ^m {A'3''NlH_:p;O endZ2^wLBW׶rupk*Ţ2.1qD ZYަ\o[4U`P|,jMtI͗=4Ai-nHw\#}ɓxݨ|R+f2墴7jfɑ R/Ȑ%/1IZt} oQ19IC؁N ԍt_d/fXXyĂ;YA2#mTiV1E5+%eOQ@4)Sݐ$/|Q: _Ò2%FÓ}m8=s/$ER+-ܑW:&~ ',̷P*|0$ϻu|8Vmun.7| '1.6|_Tݹɝ~@m@3Jv ZX?E I!;Yrަ7z Y ?^PSD"6 |+n\1.Ӊd9'XOB@YШE.Ͻ,xQDTT)\ lY)}+|(?<9G|d`/.{rrL6m*'n #+G,o G< BMQ+= ZdNߨwjUtp5N`?`O^L>$)AAuϱ8}=>L# &C?!CXsI$&2@ds3{^ KQ &Q˭R&>]ZTЩ-|Qw(!IqgdH """6>^!no7A! zoӱ+X66 Ї,~$Յ;,go p.0b7Œ3w7p/NJ|+_Jd ё33(G:EqW4aM7| 'aqFffG -{~w<~M}%׍T|2q: H/+4xFJq:2-v0 Kp70(^TP6&G~H dim'AKr<.\\N7*B+GTLµ_VZ1g7mIRf*`.7IV&cbbW/yjj[J-熂3 j7+atWSJW_CNc ^_ga~`V6q X: Lz]wcr<;ہ,A%fd1YPe@f: }+&v*?|^zPB#gloV?Wpt}MP 9FZ.3u\O1ny$YUX?K8d_>6e<~V {JRD!3vxP-~G]hxK=TDo/+t^FHUO-2:TYoX͛Ae r]T2tbwI"Evކ3N*aNPFzy]u@9{3 @7Ju|RH:{ǁ,brTD:e_-2O`ӣ:ho4raڵwc@ • (Ucoܛpb1= -(R/cij^St lqSI57t4T0'G]bEW, A6p-uC ]}fU%m^B3v߼s0 vJegf^yߊ{^ ,v 1q:|0LueAʍRS`n议Lϧy`LD"ԁPdbsE NGgT^U8ofl*,>'H4/ C\ :bW|. E$պvP7w=$ + .d1.'.y(ͿI Jl WHsRbPNN"#qR R*v/ & Db2IW`? pDdGkճXw+mR$Ӽ&_fo%ۗ`i6v-mBWH3dc@(sXbdE1Vc)΍+2 (jCٍss:+рtzd.FF#UVh5z:YeRۛ V_ Gzve;u!5y?ʘrPy<5CE> _?m6f|cO/N?M2tiW\G{#&?2IF.wU2/rwcy$ jdܿ21Zq31q6qGypdxJl҈kbSK*Cîi[O$4JD%5m"#˔SLAP=C" YO[ EcC2Y DRFQz V{XʵCiT^<Dąs6MQQ D'~>eqXQB׊jY[9T'BSt oRaT|"W#EQEъa긦iHEO&c$_ĪtJ2Lk Ȕ3Ԋ)gSWm~)\@L{Yvc3DihTŗ!`B**6 k U0"<KʣC_'C^xvahWp" "b6M93J':Qp2ypvY5_Cx#_fH,ȓ= V?4xQTeiݭ 4ic)SDh1dMX:ht) Ec1"JA{~U s0}A(5H{Fi Ot9lSq|V[k8hWhPt]0S;ZE2JxbL<Fa&ҁ<TIo)#&7haDMC.SMV5 G &^pG/9t E'7Zu oH*nB~@KT8nvzE^JyGwWBJ8!*:]ʞnҥ(^æ‚!$Hx!2Z*%> gP$ ".& \ 1l; M~]ݒ?܌g4QIOQx]6_PGD@eP^(cВtXEU~^(m"'܋r!~ȃSVvAzTRR)aɥT.E4lrQ{ ! Ϯ-1q E : ѬpYu58⢼Ԍ>%+M[rt&Dk< lj1I 4%[v侀R:;C^ 6D^rK` ȴg]\65ߥ6Ac B.8KhR EM*,j-S=k#/i⽙ t&/^S9 SZUo .ބ(sK҅Fq!l;}JJH 腞JcR?w7@J+CU2?(1 t@dһ=]׈zBꆕMӶq(Qum7 K_#D8"EdhԔ[݃aGЄ#Ֆ3}| X 9̔W>0ܢJ x+drd{AOhr># 2^:r9Uf&8~4iX 詞} [kR3JFaQ,;QUGs;zRP+z~w]N ]Pp<] RfxR_-{eFVtsA8(tR=!dqپ m3Djv\e">Ko`vہ?ԏ>1iGʌW0w' VH/ 0Y3hPKPVC@TC)cOrfy:" )r_ӓVM]c~(^qP Fe4Ю"P2ƨ9XÝ.b?O2JKܴbx"9 LnG6_#7BDү6n<{$ 0mՃ9vtUAvXLȡˈ|v~a: `3+z!D0:*>,l-F] ];Թ tvӡ0]@X-K ̟8UY1h-\KxכX"'>^6OvE=ch+u"r70S7Z}ɴTBWr,P}QBl3tR/oUssc\x3f18s Ϧ]ƬoO "Ƴe"p@͔.䅋_U =pHNsE|AwuGy_ fo+ [mTnG^AeP HbPiCG•c&&M(Zn)˦]Su<w*vPzgcYOFfIt)Fbexf_)`9J;PDRҀO۱fQY^_RW4`d(yM4 i"CYgK=L@2h7AWiZ >s7,q!4@HD_ WT̰t Į,EM>ή{+x-),)c#z>w@ 偡 &D Q.Uh.rUٌYkpV t˷u'Aq3uk؎t~~mM>૆}#  ?Y?m|8fV^LwkĈ2$IRy \ ./}]f-9'<{7LvibeKLwkLd_}W.zZ̛~ VNgd,L<#)u]PĀ{nxpJ ^gB AvwǠ)ypYBaQDL۹^Pp h 04-*k?[')c,4DtSogt [k@c^3Ʋ|m5O̬w`vA6ZLN-:)lֹ(/+>O㢱.=]A;qr- T<KvfˤL[y)kk|]Lj{Y Gj(+FAJk),{=7[M:"zIo$1yl3f8 V-!hpTJS޵wq4KŮ&BP1ztѶ)Hr0"p񺯪_DUul[aϢv 6ԅi1i=XҳT^~'@؊;pFK<8 Gυn}oxnf`Qt-~ä[Yi Clp/j,o}0W]2NN'Urd_,R!t¢Q){B#zԙ pv._rdҷbN- c q1r7Y@6H+/na$WZ$+C$\h'sl=v2ii;ӣ[ iG!#9ee<=rFKUprP-b,<_Nr1@޾nza3 3^ZpT&.:Ae-n&P眐733{^vL9߫;ֶg؟sȐ7 QZD49`p@7'kbO630.B"3}7QcUa,< ̳RbH6Jf >F"uoRB{1e̺~dj+Ne&Lզ6UB[qvv H\V,ol? jg::u;`>w2 ! NJ *T>}eH{ztE rT]:#&e]@b$66sֳ͸I48e̒z_d<{U-53.̸ף{D0bR:^tYAr@Iv b;O7H9C9Rl9vJnx0,_X6(_{\?oܹIyœ67hyomJ24V. MIJ^Ƈi6G|f@|k&p홏;Yߢpou7$32⧏c͔&lwgT#LOI }~BGKw#^JWv)O)g)#93.  T\5).I]0z,\H a_dy@N#=AА_B {<0 9@BE  8}s3zbbZR:Qwb ӞklO\>TJo"nx+|x+=!Eo$A' Lfn1Dߓ9 q@hn]HBs/Bf$F5f'3ZY#sk*]o[;bx뛁y}ޖj2F?s.e3Ibt+ÆGJ^\9|嗺#ŦȌU ,i^a8AhU./ qS>z|P?NĂ:d6"_< ŜS1t8z8`k/ohڻ320t'3x%ӈMb~e}u/z ZocNyPpiOE50@Yb5xs d5vOizFY8רx#_BǫxmNl3 Jm߷d2eD<&jԻ^s ?)ܻ$8<izh28/`aBԡC2ǫ4< zc& "=\9RqA$oG{?&U \DԪBqmCyzAΣ)LֳXagØ'Z9* 274±ZNcj19{0p5*e~ Uu"ncOn1q4,C*O1shKU3dL\ }S1*l%?ÊEAwo栥?_*9E˟Fͮfēj:$#٩,bF+%ǒCo"biX3 |{"v! (J)[ #*VT>FuxsJ l}bW2 htԜI܌yae5PR6!(C`w?wr4ib VCG: Z߱2ၕ֠UgD"T_Mze3Ne$Ok Y+`? Dț9hT_-pظմNUTL@Ct*]R6lAϏ=a:⺈yˍc'}04aɍ:u2?0R[x|x1K.,.`Ÿ8[#s.L:$D3tkfF8c#>ג]AIXĹjV=2K0p/{Y8ml[4hY7aEm ˢX87?ܠ{ e HQ#5FVO)0+6ul;KZZ%>_0ыLŋ)u&"_5-JXƃv]6@nbr%1(^`wGiK cdgc@wt8s/*E:>f!m5uFrLN{NWpt5$J ]XHWOr"۹@9 .!gudbѧ.cHJ71_# =bw'nؼ@qKZ 8 kڄ0 ;["E9zF wLIR Nl$Qۀ ;B I \8߉Zncd>t XǿZOF?*QȫǍOٕUvI/oρհaSWH;k-Y;AEvILu* {dyʜ[tArB6P',r#Dpn5^gZ2ce pE2.ꤾNjL#}'$>IqQ;nyDRv b|FZ|{]@IGwUw=02ē](]2닕FZLUcFba1Ժ=)twi{b#?5CCncj[ГS#np&41Դ5"6Oλ}͕j/&+JÄYR\G!MO`/1n -cMnޗiY@|iԶ{CL,#|STeqVD2&-&b 񥱩:ײ\6Ms1ȿCw$z  0p)dVJRCȞCg[%VQw*eƒYp;˄DVJV!*3cGth;r)QD#Y\qt˦M@w .SY lb/"zB_횢n~~9ɸ̸QȆ(GG)Ed?1epӡR)6s*#(]95nSe$H ڙ(}ًϖX]Dƿr_\hneBَp̛yUqHZt&4Кq32`J")*J,ԧ%(e+?ă`ɋXY9 +>aKuuȚ֯[ufHq4ihW8˾ /RwU.{ =0; ٓsq5 FZʙeØ "1$GXy ػ0^@?7P;bAt7uRܴS!9DرY?OoRZFF/Ks~ZapYV(V/v5=?0LM@!c'U@.u.N Q&gOɌ(9gǶf(h`M\u\d-XˑGrhwЛ . -[y4򓥜{u%p5~^4 ۥu4F_%>FklY7'@ HfBfRؽ)z EsF'B#YDV*ggæ LOG!O\Mixe U*kzmi?ZWG!F$ԸEI."^BtLגFHMf7D,Z!bV`_*"n, 'SmE@`9f{+HO'N8KI)3w#Im!Gŝ_Enxr}pr,Ϳ\F6f\A_/lN}rl7sizw.M[q6 Jh^3٭&!&jg\8JtgNɨxT /!JgSkY0(g9muaۚ KfR$@6g{l@Óȟ,: ^q0Aڣ^jhK hr{7q| 41Eӣ#!잹UmKJ-'٦@9v<.\*m!@7N@8.UiY"' ED+'4ECP C9X3ʼnmnpQz*LdɈDP9&(Vq'!drQK$8#[<&7 f\+V; xm?}QUyn6d]Qצ4?؂M b3C[XC>Oʟ?ˎ\Y﹖G܅MtEnv3gaa mSErZab. Y]o~g#rsjDX^(bR{Cf'9LY'p`O9!Rfȅ1E]x㲼R(~7߲`T#QV$R5*ZQ>$/ `XFE25SqUNlg琥#c}\2y NRg ުj4Fנ8$Rp\q@QbЊnZl|shN Vpj!q( (g͜ Jk V"㵹7SՇwS2US$F؇:!.w! AM[j{,d.;%|OUN+qikX0lppz ?(×A7Mb)@bċyЂa+dԡ(RD͐Sg<_1OVXsp Ov7A@†[p::vWQVB&śqmğu*?-ݟ$ NVB3cRLt(eR~V&, .>4e. #o)NM3 ͐T~- Se<z ܺ{?i vM`1'hff`6(ߥo3!jČG>Vcqu{ BoWCxjA{^RJ<w8iŴD XP_*!Z]L' Xx 6]hϲ#R|e=k UxH:L/ $kRltOBi;M&0Av%3ai01[=J߉42 [0[ q`)O0$ Iq^=$L*g81nS{@q(0oFc! 4@/#1M;? ֮H=W;]tt` 5`nW\aU^=0 Sh@pH1DpW iȨBiնG'׽_D/邲n#j *s6&05dq=s>v2⊲ZX$@vH'GJT_y zr9ũӳпg ԬfCxgmqZL$C.+DL{3d碚DDb#cN%nPQVH|8eE =0CCtnL^zt1:=J|w]dF.R+nK>:%O5^7pe|Z9ޭQ WR#Ŕ(pmep!E1IJ"w|gBd!~ {k d)u*aU}v7 /X67 'xh:7 )S6nNC@pMN 7޵PP @;)I3x(g֕Ai|YDv!3zj,(lt[Aǁ4sD.վ ND"X7s9]3O Z (p4yN)T>JTNV7H_غ2jreW5j>MG9oy3ÖPa*6 [Q@Lz_$:'۩{_du'`O=:Yt?63+N'`H6^Ӳ$&NwЅaQ/4wX d{aI=e&fu;:レjcz)i}M5%*{]*ՀW5tlȞIw 0}u4FKYkPV#`torي GhjV\wV'4VlU$Q2NLME3RVK6FGg^Eg={x&2".])?raN'3DKeY|k sPqD6Ȏd_iPb!&'g sV>HfZܢ/]-#G9F#IZ{eG oq.2rs6ﭣO7.<"awpw[ l&i/HrATq;A}MTxdNlM۔.[jE,[@trT įCo)+9 7tU((ۜ0t:mz%LY(Ґ׻(|kVi߷'b؝N:8CKNzO-;JӜZ0&^oTiIa(Q/{0þ0mO:U/Fh͢4huЈulb:e w@ǭ+"vκ W>d#o,Q)#굷-E~t#>^d% 8:D<;c M9{*uwima׶zb#yD|4&k>b[Pq1it?ґuӆ{1gJ%vfܢq{MGvp7f6`03ǁdCWRi\-sib&Xjt}LfLjMڰ_+<1&jv|婄3vfO-V4uذZ ̦>BkGP=Ba~M@&jXs-و6I} jWn4$})o0m5PJfO%HGyrבo[Lؠ+0NPdI#kI7s`VpHG v̆GO5ô~+AkL) ۮMP}>~7V[2G-FȺwUvIgS}wL jf?2SfCUI|asu< `؞Tz`xm'8 Tbxa }Z"H ?źϣÇ̼Y]'WoMzH#?H>LGj+H]fН1!ӏY(tUWP {DWB;3\jn? )@|Kk=,aLMRt(`>(,ie|b>Q 6gv~F.)xd6'MDgMy2ȨyҊ[,&:>5K}SֵEnc0+ 8}+4o'/:8_,F}aQ%j5*yƵ[:xSS  bevQFA4CܪPXJ|ĺwȸt/KhAmܾR#%krL iB/fȌrԺGaК 3Ƀb%$t-B? w<~@ye#26` )R;v; `8ZU8T^FG,EW(1>adpƃD=>q5t3`_&h5[0XR;RY).e 7`2&2J]yt5&L/^מ{I΢#`߁YK  ]Xet"{Ih?kq20Z;u #Fp<59 *rJ{kxq*)`pPIA`==,Q|$2\(Jr-FXNJJz|uƲ;#E'&z'=74SZap^fwn"(ke1ZDVc)@xN־f& o4&>B%-06qAn lvKF_?nS}9sVHdJLdoqe a S6zj#HqcQ XC`t5huL17ݠ7tK>Z" 7^MwLM,I zҐ0;x[_[wc zm D:Jt6e2Z*2oG_4JsvMIdvTN/i#8&{XQ #kt握ɱSK4`!?*x hnj,,w+.dB_9d z:Xu!d>pD<{M'L@NɏoE#lm#ա~EԩPZ?W,[/45ָ=k)*:JPfң-WwmN+? s76q zw|RvdhK puUv! U{;؅H!/u{ Ό>gVUĽQ&u?}4[va,h Jj2k^@'gОXγR\1/Ʃdž>-3d9躬HBw'^i!$Nm߾L{V(êAw>8[K1?Ѩ(H3_#GZdKzy(i{rmDs,9֌B.]<'(k2.w9AYN&6 nt>b66{fs5if<~!V`|50/M3V[oUs ./cZ?8KꌹΜZ, H2;yxCXƂux0h E1d-gnbGjƛb\Gkotv@m-ZcCrɔ.ĂX I߱'P= >#(uJv{'l׆ hapGW*;Y'92.53Vi_yb sR֩A݉.R;2P<,vSP۞ 0ߘu-MZQ:G3r`t}cLhnwKFD@ME+к'6˷gl _E\+Yoy^3zyt& \Ȉ2u kZz:÷L/Z/#n d-K n%Uz%|Y#+,+S7qrP(M7ԕI-]\.CDD*r?eodp0#%(|QH f:'0}MS=_" W{FdA`>k+\:pq6b;2wY]@v'Dd_xW@v&gE62J&ϭGt Y#MCǀ$.Oe;b3׮tZ|L2!/ /p/@jUCP~BJpXh.ROh븙KH3eka8maÄ7BW (s8$11y-ܲ)+~i^Fg :6Ϊ*ۖo=3$9I52 5r̞wK}Ǻ~0"͵PJZ]{hJG-*;?)=*ޠ r'EThځoؾ6GyuIog"޽{`G٥|>ƣJڔ"{M$Dr0I< )P^^)wOoYsy*q~NpCʹj©@No o`]4dɄ.\'"]DLpJof62Fh*:Ij_fd3ʩ7xY7O |6y$XcikL;CK#O~1ٱWLS V$\%$n3gI/WSO״;ٜaGE;ލ7jq-=Z0h^%`M@Oڈ?Sՙj.V/,+]Zv{f' X!@>{JUqqqTRvf|"eP&E ~Oq'6-ҧMv\VT,"ZM/=YFFF[$b)^L^ CΪ $%\_9o=+œoaZ6A8nHbTH^Oxvxb_X;',78B Seu} oSc=ԆkʥS4bB#,jB!<[U4Q,0~2޲^lJSV[:ƒspYRO欗m+JQ[loRZyA>\0s੮ GZ'D#NI!14!l!rvXk311Nb="}t*>~5Z;(wzk AyRa ъǹOfok:AăP\. ȯfTa6 lӞ}Vq3 i\ +=vƜf)}ѱC{@:}K֓@qϫ_1: uQ Z~]{:kwWQB\m/!_v>M$ .O^DpIElEqym}KwAǼCp'{)`q3`tS,.jNqn^;|)Oxazo4 c^C =]Tձx)M !ݒFDF%O" OlM7)g׾Bյ1L^,DZEJ.K J lVIi,$RotSO^Ϻ:\DcLթfu$""Teej´|GxEJB ČȶeQlS}@iq?5Ϛ_Tg:YvFqӴFP'{wPHMC|A3o/0n^|R:Rѯ3i"y$AՀ2loo;Ƚ7MҸXI(1] pcr2 \OXyK/J7> T8~w/ ky^C3cw+H^dn_pPBa8)6HwB'm + , b ґe.À?@20i#9Y >܅74*++_ljcjFH1y0\-펝DBHuMO*|.p0A tPŤSU:) ~|8Z(d5E0f;d0C$}n[X^5yr,6NHl;fT"Ek!e?yK-XW]YnY >('G+龍^xҀˇKsI)t(Aǃ*D8wx},WB2!W/͐4@I.(d)nT+a~+GA5g:11.V$xVٷ;ZڈwAC9䁆l)!_c\I[>tG8Wb&8YwaԜc4*$>fG2nL#L W|9q#q:~n!rHJ'u_?"PWjZujߔGeXyx'd1:]w:1sSn!4WSBX$M_ 7 v3~#H4JlQinXں~јhqJ;9q+=b*~;C;ÝR J$5M%JQSKDvuro kL*݇K3q!B⫍'$\ 'W[c X Q:+koR[Zh qק`olm,էþ>F<{{Ƹd F]6*d\e*9F<k)"T0\,a#Zܘ]7xGYaԾ\Сd@Z&2,Qu锗c]g*V&p$&N9V`?i "WLֳ5)~=4ED{{ ho[򯽳.SjPl p$Kńn$5;-CH]PGd6V- ˌOA/ C_* CbߟW \^lI))E5:#1wGɈ|-7bFW&-' MF^) xk>ŹK(1ԌS _RDPP/_Gf;EXGX!;2R^j ]Sjy$ MCMx +J*OYTB*! c"6E@*g Z{X%mv?&Vam^w=3ϰ+.PDT}-bVHt/w߄*۟8uV6J_K Uf \ŞW @r.jfn" O a*)(P,Pvy2Se} QY|6h!QQSqEyDE;T-,+R2HaV:B{8@J<W"r)$ Ao BK6^5\׎K7A{ -I7"K[0#,l\t{ItmzWX>!W@YPXߎ--]{vƊV*aW˞4ۀeNs+Ws-G1memFMRdk`<-iخf3'DI A=0b\6]ybeq;=f Al˭BA*U)O$n:}B-a^@0=vA^9pZ"dgӈAaO90+?`^ vBT)C|OE9ho>n$t=_ࣩ &q^0gGaWn_+vf`wѠUZIY]\8.XdkĶApB8hjT84ljԒ1c8.IbE ՄcV jᥱ.׎Z"lWdbg̃WxQ>ҧp(īJ>q))ߊvFJ'(62վ.d8&2W_ OΓJq` !z|y C*A˨)SKZL!TM"LdB*Əs{ULQ3>jӮɼ27!%d"Sq!ϵ"#JRhZ;j'"V>ȗD؅XQZ^d[/H}չLhKPd!$6Dx&TuG3 ]vKk0tݟKȬyx#'9} 4[ JRLmģ-+EufAT_|:$<:k G&[3z)A*&()wBBS(i#, #Zۇ$lnD}JrlgB+w~-LiYz$X3? 6ϫZ6\b-fTY S#kaF:XSW_˞4Г=9еnbCJ] .a`ɽ?H S~G1rKnЍ&=+. zh7HV]@H8Msa(<>ʑJΥ/|a(ٶכǔ7XpN, L{)N k ~^^gC8 {6Q|fc@up)`UqԄ9 n arUzK/7N42^0”86JJB t炘67Ps/SE~AP"I#D}n3 뭙Y:3d1<|՗޼ egqI\̩͉-tXn2ntdG8sG0@:8-xʒ]~7R\ZJ\J4ظ[ʭ(bϵ j۪8|Ș-{#Vmy?x&f^VR.+ZkNOO;Hj4г+HGI߰ZQa`m_$#p(`WI㔗d\ճ\v\YQZUuD Y{,l㝤t(s1Sf8}|fF7Y5ݺArv Dγi񟰣 l"(Tݦmqg˺d`py{̃f$]p$Gpqyz'W{`*ʹFjt0X_Q;`L]LsE spwF^(GG'lK QR4Y6|sxh>"UpѿBI''K$ /$LuΔ0cr x֤pCjJhf!0YO-ԚM?)cZ#uD<Hiꇌ҂^=;6S'#EлVOˏ3H\5цuø*M vf[ 3,,n*@snZc9zߧ.$nL#/US Kv&A.9)#@0NtCV 01r!yˡk%FݬGz.G `8܈`Ā;rI3א1u_ljǩA1[5-?8\BT kGiįڋb#s>%IڗdOq2wP&o=>9B)]Vk1ڋ{+|4˂f^לjG\r;V&yi?6qF-6z?/g2Eō?nqz#ã1QntɶynBk^G'wzςb|bUR58#֩Dybe!E JQl!6JᲱgYZ92a815d892bd58b98f19283e69424c93c34689bfd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c 11be8d6f87bfca24df8ae7c78b2d1eb949188e6a