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 T4D4 ]% HOL-ex:threads=4elapsed=419.167cpu=1554.796gc=73.840factor=3.717zXZִF! 2]ŗXf1-q恉<:P _X7D *-R~x=Ү?  5sZL !&ڄ6:hDcLhмP#oV+>WC&y> JsLuɤ9F7;{`8%h8q24oﭘl A/!q:4uP,ޅ(U@sKZ06qx/.S9]Πj{-J?q9 HsI=P2e.DtJ_O=8c7-7 {"AcUe.vze`AwdL=We^ fW0ǒ-^n#ax[YEKusMqi{Ɂq1v5 \5,4toʁT^0ͤ6;t}UUXdL6lkKGD*N >Kw{iQ,PB=SIVE@ep~?_YXa/Ws(6 +}zD~١@_0ыn T]WjGoi`Np4;Q&FЏ ubMOc/v0߫p?~He4ZpZe\;q7YٓrÄVv9㰴FCNVD9?n$8LEWUbռ1ɬ5^S^I 1u\\5eNxcXUALz=.j úEv6Bj HGZuR[etyasbjqk``(Xw&w* O's o'N̸7+I8*[bޒ1VD&dN$1J=]TGO),@\r5Y eiBJҚ\Q^$K}$4/*)߲d ^HһKUMf&)u%g|W,e 5{Xɤ1{Jza%kX{*t wcԠDc~ #ҵj3-D<^|$WB*rO &ruvO⠡ŝV@Zσlou۷d|4 8y,Xkӏ7s-:Gey)^Q`h IXBSuvUɣMh>|4O& xu^̶<О$ ņK3*.rϙ$@_!Or~ptm4n}oPtN᡻jmJ HhhBp|j*Tb-uuX~nA^P"k=rqɿM.0}Y0&I`K4xYvz1Q<*u vMB%\5^oB$%+'޾-]kù- Ci,&wɼ}2lI|*~=TS/c`Cyey4^JTF="KlNx qV .+vz94/cZM9w|2Vq(UZ{}V|R5F~R~Dz_b$ooM2\n#3!bSiZα,pmc"F33qe^ɹ$ piRUSg-M *.{oOsh5w~õ{s/ ͠t3opn^-iVw;x%+W.;ynXf98KcUGo{ i,-#\vZL_1{-/@+}5aXn U".uq0f Cd=ARnvleEDpm_C~ND@`#3j)wec4ϝc+rTJ[N + $9P8W }6,q^#zo3޶Zz &'wP } 6Yeɮwqb l<:6:7a8ѻ.l~bբWYEIuؾi{JYe(uM5F~+ĪM$_OgU n' *?/WPD}( "&6cN]`O#Q F`jÙQy&Dv ^H6{ l^6e` M?u-\Y0Z0 @ \s},!{<_m[Н4Nut73Q1 25ݭZ;`^˥#.$hňHJ[])`6բ$]Nj -BSOqsxm GȤNW9OSh:ZW-&Mp/zPFR\KH(gOKo["Aωn^W ZU'CB}fZxM&,GJRm4WjAu]9:Y6N{LMԙo LoLřO-lG8H -)$lj\]3/4/:&*g ϥOj"'oE'pIϔ X q%?hb#{VN|ɤ1ʶ3YjOʱA?T   HOL-ex  67+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML7zXZִF! ]9IP3mE?,J.鬿X=gm9ZAm{&>;/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.ML!t3edeL7YL;|C:#8fGDΉTv'Z6ywKcz8+"|4L/0SVf݌4GRJjWdEvldEy;GT\+AM4`'u*v0gn6Τ"0z9B}V!97eP;1<| , *n%U͇IՕ+ځM9>;6kG"zôqrXEü&̓9Xig)dAvXn`l$^Zv. {R{#bha=P("gV-՗0ekUڿB8$WH+x:\t nIi2=3js`% !~hϱKJ =au@wEb]=&xxCzy6[Oʡ՜ rKc,tEcs96N\"zPagؔKG#$'Pө@8=E.6m0uy7RT{lMaQ /6 2:5y( n%M'q ;~kJ6.-aiTdU_TD۵@y;P0-ƨ(g!m%PH#hc'KIallڤ H d,rCC>%tXHAC+w 9zڗ&6GiS8JU$t|zm5$ƪG[3ۥ.eSUi[MqJ` X~.ig]vݐ?UWmҍ[2 ?}xAo6)s֝0͒pštAM_t%l9R%!pd}qT nɫ(L.L7n0/zEH9BټJ݅erW|< 9YΕGXSIH oP%U% %/ȗR&6vgJ$Lv]5Rg^C\,P&Ȣ.)k(:4{˱,[YUY@bt>˔;D0DGW#MfFEe"HC[N蔯+uvGe6= }+d0~i8(BCL=;*-^\ lݒ?Z Pi#sJKܶss,*_ =5lqiוZ!AO]f?Ӣo!6qQ3: C:8TNz$Cs`md='rp[czPe[^Oz9*ťn]_zN{6rzE fJ2&.Ԏ+#=3@z`T]Po[^s40|v"K4We;҃DQy= ӓak鯹UANjŇb1 vލ&UyκlN~ F ,_nqVx |7Qֈ6nb-6B"n $֣U\Ǒ;bDXSM(q UeXôjU-_&m1m̊+4xBc/Yt̞dwaԞ Z*-Ll /qeh &Fwy?=~ʁ6^fk*F>9PbuQ20+WJ!'U廑?5>!oEYHpG8*-殗Ac[K\z.blX__7lVx3BuvK:wh ~ȕCJes0?x5歜8HQ7H{&r9HWZl=GB,g %a@;bWc覹".\ߖdۑ^[]}0;){(d̉zw#U Yקp9lݦ+? ?Q ^M78Dp!i@B= [ 2ZFII1GN>zڅ-ql9]Quڳo 1Ό,{\,3|uP94(;OWXя3XE! Fm恽eWvmbh!¬"F.zAFKg=RcH)@C"VAP~U6 oߗ8+-ѷ[go Kf|UTiAtbԄ }>?}D 2?$i~06 7C'Qt :XOy\W;zbZ%y~wlvMcMJ$zgNZ՜Yyb$).\ 9꽀$gcv~f㎱rZn%8<.J W 6tY٘Mnc0\x͛y>Mlogع 1x/(@Mi;;#(bwT)xQ5 l̟-kqxXO^F'Wea-Ȱ֕5g@t:6/zE6 7ig'ЫNje>|=\= Us#8!|ō=-ājAXoքjP%D*l_h@3}b6eOPiޚVXJsiR Q0]~ix=b{kI]^<洠 z El3JX ."C|>wsm&(^D 5gPgYZ7zXZִF! n]ŗXi%GЎ HĐY= <(޺}럏GBṘ*i>v$|B,PɐT@Q|0@ms| 26_CB&K'f'"  {@v70^*/toEّ(n21?Ҍ7/uN:2x YZ2h.-h fY j>R*#@cgPiF䧛"ҫiZ 1 (4I5rRU`ڍt/m%-K_U9mSd(Ō/Yķ $G*(4?3i\-+uZ\HG1MJӢΊP{G.Pw&^aZ)B^;~0,{wA^%hS] ɱO|~8쨜PXV+.B3<BoEaEdnGtL[=z?% w(6 ]euEܔԐ-!ݨԔUim1Y;Kk Aӛ :[pvΘLEY?Uݵcs)\ !i`_s5 nX소xsnaAU8;A`EN wsRSGzCK/>*a;gre}7ƩxY RLg`ŗ6g V9Yˢ}j% yHvjg6%LN}Ϡ1 fB[dV!8cƲCS[A=FAa&Hl׌6ߠh%SفEW>mU;pw Ko8íszn+XxyTITQ}Fd*b֞ +Zu\DW-/:uq{\x'#ÀB%y0ILft >CA׫6nHj "tfaH- ) vQ2dCOG9?zR’=wI/iG'i˺lpi_#>Bl&7Ū.+ I BTl-+qFlnT+c f69%17WV2F0s`蜘h=hMBw+^^ikMSDNl4{ܪƈ@ 눤?5G|כ2٣w2Xw}҂J:4HnAM[AA!ǧasJ8v-@W j}Hfy000sMpl}㘹JCLf(W5֯+׎5/^]e|{QXw g>{x3qp;D?9&,WϮLP\D"{3L~ |J/R"I.{ tכo0uxf RM@,lV s"y8Dgf U<kJ1xPF#Az6l]WC^RCDma$0U'40TTϾ;eX,%F#'v ,[rtC .TykPqWkm6@m OSŋB3k{5sf3L :xxm1_: (1} &~^qZ;4HӂvƷ@vj?sw{-IVn.FE#8˃) 5G1qRyh \u#P]mK{a' Zdb B 'd07{ l)M ɲv2Ansm{] $xɒ@0݊{xJP .vH.XFrEL34CW.l~ܐ9or!S,Rc#oǬQi*4 _@ X((خtMzPM\3OlѼU3LlxÞd͗ 6D`1Ϗm m4:fdo11@{#AoKw_KmAo'`vb\"Eװw2 }'R1hiDP%k$\CZt,6g?Y`>lKh$42K"P{ƠQ?rX\@RהR9%yꤛzrvm=IJ <^IX&Z]M*6X/)j/WFT@?_4kqc>6< Tq95 Im>;Tάt XD7%.ހ}Ax ++_;\n),f"efHsKxnA0b~&d3.=Sl?>Um db/Q;2Y ':!yc1EXlNNVxC{Ѵ?*۴j^onp)sd7vRT)= ;זKᰬB(С鈇aZG erZ9CAInKk!vǴ{\ V!U:VZNEBA"2YAGFZɳ@DT lޕ9/@O+rrG"bʯ]52K .kXApI M>9tkYo饳.$TTO:^w ?s7ddݟ%W/ZUVxb%w 8Q6k,߅ۆ^A]wC&^f]BxX-\W uUc-oHLnR%Z-*?0 At㱟5 !#9h #FlȬU.>u QNwrיA; ͰzAo L[?zB.9y.7/ Yx],ugPd iA+ARx- t|44yp"s!I_p4L*[^ }]HaQ?DGQ?2kQ4D0l]YH(͟ሿ1G8@ d=of^Ap|ͦ)9DڍK П Q ] V"i/iz)W4vDxOiWm یt/h0xƐ[S)ј$E+Aae%UN$5}1qUiK’oM9 )Ija%(yq301~F8{fjuE$?v:hE%uU@>êuJ$539/ǩҢmu`fJ&5kbq`9ZB\3Bt,&:H{#P{OzqM +]z;9Wy*6,_B]E?%_ -?CҜ{Vv']G$9*fe"dᚰ qscnMpc(ʇm2aď+#n̡M7Cj{gix3,}1ƠqLRfH,@/ʍ'GeFt6X:'n .WNR{heCMppMTG}Bc]7.&Gá#n_zV0JUw,Up+,6k;hf%M,U:ޝ|\OY7ʖ\uYtat2di? S.xsA4wO&mld0v"ٌzw5GcTv9^U;6[c>UmG}S17cd`ݳp"uD1<#0M شrYrJtzV[ I|gԎ"{vp )V4%Kg엡W^~iᐐ0HEۣ&Ŝ|=ċM'NBPvhC]9֨W9+NAο7†" }gfKЩdzPA/T * {>Eymd'6> #h!凟]5EVW5Zl#z>dz)mX_:Cn]1CwkʃLfS ܥL膸_;E-Ozr9Ł I~FyrYD:`(w5}`=PapZ;YV8+ mP̉|۰xܙOYH:: `IAE-NcxHߥ Zm_mCj?SM5c3 2RS)@zKE&8Y,o8JP(?a,!̮ ?v+ma9^@~ͳX-P's톡Jr1NKԬ_AYC}RHxjK~_8[ 1PJW ^nBQRv~^mWLOt  etO?-Nl\rvZ.)n(_:ma>õEbel8cl9@H|Fd &G/ncލ. 0Be{t[&TurT=/AD1ңYc?w^Hw?}k`0K5 .ֳ-bQ~euR;Ojh 9l58P`GEǁSt1WclRZob*"6= |B.GnNү J5Z]Zּ lmbOoq D"1C"SW5%"<π^=%u"[ w}_zO@. iT8}F5Gc@kV~ݐfVFEq䢕rb&lLTFv!mu&zٿ.σ8RDF#r:oR "9V^ WzQ.\蒡uY{oS_ɱcE0؍zs4②3qc"XOYz8C!7fa.9'# s_Ը-4| 4l4p9ZlˬX神T (LzV;d/v'aSPqK1u `k,g t\8 E22 vN*K~جDybczUjdsdƟPj O]5zR[`l9oMG)"p>B}Œ [s[kyՁVKs﹵kkT7a_5x_CqJjij*nNVʎ]CMYr =kcsZU\ՠv<:-1W{C[BYNL8}`@_z<BB=^B913L!NwŐ,">lNs[(a=ox@(qTj\$ W./9K&"" TJz"" QCz`fN_Qhʣ YGZp=S`gW, -#Ýݛȥ%g ˢZb׷$ʃǬy= WgG%,^D+{|! "4>,oHGߋ^d`HF6"H`o\Q*Hl]ޞZ^7IӜy%!"[" xjoC'n=o)cQ';L**n/KhX[ӒfQZ̉̃c ]vd/'2xCp^] `OBTl"B;FN6ëhk|'雇P fd'9ujR4*px~t#TTC;!B_fƠ5с.0S-`:qu#C"3%;A8+,QNN'59*/jt.zo}3+̍(_Wp98`s1<,aӳR2&G(K5X'fn%J'6:˄) ]h5#To_'3T& 8Ȓ1S7jYLB-;{Wy+YOV.Vf%+H#3v+9b6lcٳ.2YqIE]cN|VXNwuvٔ9̎ jSe\l@ć^AL c)5sbֶ` tN}U)U֏zKٸQ,`\_*PSn}{0/Dڅfp߸}S 40/C/VwY܃*U%!s7m\Q]_ 4x mP5s$*rilwvՉAIMCyVJ҇ O|"TpȆ̹XɁSsTe~,tש];TAjxUuj-wՅ ~'K@Ϲ~y#z>OKO(#0A+6 `%{?{F~|v׃[BeBRH#t?DJ+Rґ۠9aчq&ŨRVʹ[rH_h"DZEZ إIOD:;h9.Pj`}~fI)-4NT9}ɫl'fq)ѧWniS`R̡2f6yyM6[*S TkM(L_ՀCM_J!˜uCrc[|0%-4BUg(P"WQv3Bj[A/D# c {AVQglSſn+S;3.k}ʬ5izڸCy důk}9D]sKs9fuTKJ" $69=n$6$&G6W~[7iZ >ݵyZ-U-'*)kOXG)(J}BLދk>o,n{:~]>#z8/Lv@Ji5/ >Xj;%Ad'YS 埍1ēJr@U(0` Np#ޞ)xހ ^Slc#ˋzݙ{?%wJz>:9^)2LӋ(1QTyk7|9 ReD b]i7J+ic}C Lxb D$mhI_ +qbNb?OhUٝeN(V W'4+8,Ϟ&ʮWοڨ1C1=f 4Eq$$oyF|rHf]m!S2JgI8TڹJG'D6ԳF R^/ ]=X_ }ommFP, rK'nWN|Q@h*%Ae>-|" Ioڪ-XyqTot1̥|x#SM+V n3-[3jE99Vy=uɼ% q'ߠlj86C>WtcB~!1> 2vLqe'|?DJq/yts(_Xc4]SP`ArDnb5{cjCQZ,MS})I0Gx)1e0h` 7XxjG=KZcTKe}q}Y`t99wLxv<\2hԵt\ 啌J4Ŵ8zCx;!vNߦajg4Q[>xf+7o%N%Ŷ3`?K)cF}swnnKșV猣*Xw zq_=+||b3^wα YlO&V5S4 )|SP'@AcFEvF*oo JB=tIuT}z!0ͱ$qvk}Өä͟E-_=6+pX8B pKq yVbg*5Hyppo,YF3G Z"֠q>T#@=[ x5 ~$Tl σNz¯ѭ?ƕq!W㿌Z ~ma AOF܎Eޚz:O(f^ӪVGX;ZYf?EId`g#i?a9; 뢔2mRs7&#O-hA}ޟPhV޽wk.MT &,Aqy Q @@jC+i݄kD;z( mE|HZɫpDQI*)4fkϪae!Q ]Cx0'6Nq}9ka lfvYOMھDbY\XuKI}4=о'a^OR9* </0O'.A$?!^췜NA% ՁI_2ho.OL\[T%|3qihg#{ C'aDd,eE?bQv\E<0YTSГg * ƳX6aY*ӂLlQ$'MgJ^ukmvF_$4$sM`FmJ:IY߯gRdn5.NPR&z5=w -vMs;Qp!2`j &1{a+0%ȑtbaq+cD{xkyo)ub% ̲@5^ ߹%5QrERח?HZ5[8{vL nPPr pr6 o, G/HAtzl&ŮD.'uq)`oIƞҐ](P* _ DL]wH83T #̌Qg9^⢚y=Rny~ mS#4= R=o*՝FC41983Y{2xNY%Tݕ LkR@z &umnډ$VlYd}s26ЁɓPiqyAOn0Xx{ \C*wEy6Ԫ6a.،XjIceE7:Uz7ߪ<%0 vlk1ԠI\ }lN=r_ ..8I`RTlDBuO~ e4SR(.{($?afG\(VDkD@vhZ&Eը lRƶpMĪ<J=ÚNk6e!V'ecc ]lY,}Hi*"9=tXۨiE1VwdFr" ?VԘ elP)LLVfm3W NLt iDb@+.EJVC^iդJgrvVԿU$0@Y0hD?H)0!#.}w_ _9y7O(c3ڂ72ʽC'm>C!,ujC>,,|j$|g~u*_B︇x#A8ݘ-jJf$LR!1_>g,X ͑a x9ZW职cuD]fm#ar$O L캥^G56XBƲt.9DxK~e !Gs6We%]sឣۧU;4L/! sxݣ'&23|%13u&9@vZno5Jlhc8t](?x\Qmt:^C)q>'?3d"Hb;Fdc9}1t>=}Z/DV ͚#P{b…Dλ<"Iי[ sYzNzo>.X-d%-K/(fFSN;OzgO[)No6=mUՌf6 P <;!v2!yayB&fGR`CXci6-gy?~?hy$!w1&j:i} RW?"Qo2s]^<6OFQe*9R!'zZdZfEe|ĆǑ"jLwI3e"\d?'qFNV!%?x)Z([)z0}2/I}t|buY b!kM2~" g*)ڲ'YL”XՉQWJNCudRa/}lb(](c2}orVZe`%zPPVOp4<*:wCov0G8ۓ&o3:Y3X #kEuX.^ #j:ZL&5j ħ(v6ʶl`4 >^t&Dj4@`Yca7 M\=ŰfVq +,wB(yJU\`S!h v 0RH? K#L2~>7+B޻|F(k(Lf9~Qpg8̨\Hf>ܹvݹE|˶`;"Yz@O HG lsnz;;SmЃ:p[#`v]1aԲJj >eEM!kyxJ* >˭B1 S+\K /EW$̎`䭢l }qVJK;rsXא!H+x?&Λ^EsBJNWkZܻKn>zdSkD39Ⱥ GfKD9fUplKWS#C'ߓ*O]U/Lghخ^MJ҉M܎@'X`*c<TeWHI4mh c鿠֤#_{`[P8#cO ,O߭%N U(BdIy`\5 km$|տɶH 7Х55ZY<>+(FtBwv!xm{D}f%©O;Gi2oqR*3DѰ,g}&9 5^{T4yITo8IZX}2-mF~vީ̡ZMQwr[@tp M},IkY6-!D& mXGCfś!VTa4XCʹ *$\V@BSd^u87 #zu?ܿ>ry>j53O܃of\_$찵} rl!Y;on|v%].`0mrƻ͕wMs~#8}6`}dgb|Z+T~߸eMІ&ڪ& ob`D[FQ9Kz*_KE8MP_99b8c8ܬJ4&cl'ПUwe:X=i7Nܐ 'GK0rct)KÀdwE!j,Wg.^щ웝R`.v%Áy>5Ѿg:tJ$N=t$\M~3vIg&d=Re{ F:i 1b~0xV6F2z_%k$Q|kOtU|fೣĮYPMpG{G#1:|pBRq]*fA96f+շ\7zJ&\y +v'nFOD(}#f/|7œaT/@~e'^v(`*(\ɒ oQ}$ez%I%8 ,?R;y$:'W#MmU;馛ouVRvjTڧG ._(4 Kd )#l\6)XNשO51$] | s)qL%V-ɸU: +b9 }lϤ'izQrBR=$sLËx7`yrت}(ZX6~ǫ^'Y V}OevI ۫:$ Ku8dyꝑuD$hgQ{}w VxyimOeeڡp~րbF^AK"q٥1!(k)қNٴ6w4a(5g6#:"&ƽ/pgWʃf!w;ǣMͮڥ\}ƺ+LE5'|eZ& 6$Rn6LQ8YgDF4Ku=ׇQr񠣏N{e]n\~rϳoA!}ƀvS^q¦_/^k2s^}3_6UL.{yxLpUa|G?nnn#@o,F4p֏;Lts O_ E3R+HN,f7| 5QL@}'8уܦޓv'Ks7di_;͗XQIow'%탘`Ps!jDaۦc(q>nKEաR2qH8|6]ܑ2D{2xD} lfP}ZAZW/BSJ^""N+Ͷ36?n1oQ"G(#{p%sX)2Dgx q _ 2aw}m|+hnIm 9i@P_UlHj` ynT# +T;+Q➁RA0*#ɀ8iL;p<DE'֛5QZ&U<=6E(aRO%9՟ %;-j_{zhžQ|;)mhtO,hkt0/ w.~KkJ?G$mkwF蕫tD0E[uiteOS`>0?>]_Sd>AN)pY֞ 3&ZjueĒG>\v\| O)<X@DɣhQ5fɛka[F7A GWHrg\}&;rJY(}7+{38oXK,=gBX}:䧒0 lxK  _»Jv;W3)ן쇜.Od!c_館S$Y;tw_fMѱv2+ˉ;c짎eZ {*9SK@iF+g2c,#DhsšO`s|*(% k|>9=__F{D%[_lJO柇/ܦ YKGuC9y.>A}3 "9żIBbjiFYQUOŪ@XHoBTrH3~TG=`鏣0LzG5QLeYUavىj)`q+9 3.w,HNyɃ5;hñ cėXۆ1Jw0 _(u4m١08[G6]я=bw (vfBsZBijW,/FVOfhX`qO$ {7-|NPO;8}&g!Uc"1gU#hƟh; jW2 d>#s5038{2!AhK6vUVCVz*plz蕭ݕ&16QuY"ә}RTKQ~7Twtl!*j3X,F FE!E`-YO_WѦp |sNQu@_. &l;'wHO:$w*H'tHOR<](7g|UkT$*%  ߫#T*l# 9WD30 %s*H#ج]c&- o;-:0UnpJhXeT`L'Zτm8Yrg 05oK[o?f".,sR&vܘiؓ&+Κz'dLF]摦t"OP ~W6 8Go-T% hU5iVESݣ)XgM[x d4,VKG]O 'f3,֠ ;yG?X0=?Z$h&+Bk0i5g\_ȪWn/fӻ EU@<ם.\Mh+Ho^;&pL-Y9ZfZu8k pFa(',U ^a#&gaBrgAɫ4x2Vs1Xw{7U-{n_| c6Y{oR-kWLiӪi',Eݽ`̩v]Ӟ82HwiRuONGaa :&7c4@a`w 3}Tjo\vąH$GbUU+/' u&:=(m[Ti_|zrgJWE;! #=JWjcрTB@ZD0i~%l,hͻjXwТy+[ 3*u١$M?eomoQ+bӜ"Փv c{Мx̣J8`~) k̘&@z/78ui 4 a>sp^Iooo6'Zn28-Q[3c /7W0dqM#`<,-X{F3 PJ{kk P925p}2ꁿ1u#98}"&_t0]ІZӓs#IS}"픊'7~] .z"ܙɸН£.dy,9H.=(g9TQY#]nM,Vӧp.;A5[ (]+IZ9ӦʱK&ُo)NȬ],s-X]!1s][xG =6)"R,|9)y*S\-?r= *(v:T@oUR+3M,#8Ґk{^D> F3B&A](gsԞf" YDF]Xz~2cٯTqbcx8Ľ)bMH>{mu~!( t(NI>I}!cT;D|7NԡOz<%xiԙ$W^8-7x0.^%dGѪQO# ңj X7)-6(]nzqb_"[<1:NNm R!Q;%>lzgC<=D'{{ *th)H]ҍm.{wu-)xP` _ D6=՗.UL\UWkzE@ѝ >)+ ˉEGZg9Fɴ gPʎ;|iHC=k=`s0tX>;XMcw{Ӫ@[+NMk.ɭe4\{3=,?Į^w,]v,x65{EB1 ?^iXptdU r"r~i=!C[~G&[=X5W'MBkȠ2gKF))qYUwD ݒ"C01De$Xr,-H>j>]Y7>Oy\K^ `.8t>N~f|5o$!]ܒkTe줮YaZT6^te@`8Z9KCݾ?2Wٶ6ET$t(ܦ}l-}CDh>F[6Q\:{$ 3/l |& gfQd׭zu?j6,fS}@Mc] #l OoCyG[5'e>k>ˍZJM_i,aEY,;ۑHKMyc;Nz6=(Z|#P0F|w W' >rp_~]'Yz0Zo=ʍp5p%lYQ\!VC.oaU_eșD ; G4 G|=5k_pQ:'z;IE+WgF1xCW?[&:jʑ-؁$vvښB|J!(IS[^̿"N˶0Ș~-PChvRQ$z i/= = ?XfH c gZ)9/W%${Q# [z W P(GJ2-AYP]GI2a?~ֿ,oPiu@HZ¦`S1 qk>Z:[*h.{_˰e lѰXU^cLRIX v~%B.4|v|Ɏ+Bv -P٤ 8- C a̍v xc4‘k#{1|B1 hNmJ6& :yh A]2M;tkt;|ocN];gpv6ώ|~v *Dp4Cj2 A?p>; 9MRpo1gb]±Sa%mPfȸ[ȧ8)% Z~ 5] tq/^S$^i;N5OZb&dsp5,o8kw_5 *vߜ.uQ+)$tŠo=MYwcnp}j:I-E2q:a.R_{i:Pn5S>7 ȍ@P š-3mwk[Z*B/ྋY%Dh"HH1yIV94iحcK%gIE2]$c t[? r' Oe2 z8U8@&?(cAxp{?pC/Ezх9}W?2ުrv}^ղCXSաa>N:&/6lHQ@._[~M-᎕0" 55bjT^-h}hjXA a}6|eЋ:cTPo41T4Go"iWN֧b"Ềub9WDE^q%%W 2/\w )t9npzyݞ!s| grH><&EL|2P}N/Q)i&H욐sigCRw—֞56R|0zY \DېM̼y~&/iju^ٌ(cv`R(jFpŀxigYQNmx#R5~A{?O4fgogd32B9O˻0jU F 6&&.]?zIƤܩ])ti)S4FsZ~M`^\qb[%P9{x ܴM`(usH(d[n,)S}[o #26 9j^h-s $)Ntk) s#CB[ |S^.-|o:-pk;^D93  tTW7Sd>*k?Q1ukq]3>a9Av!Vrug{P[1ror҂)/)TkO؟g\ ~~,4a ݅4̲= 9Iv AS|]d 0:ùa'؃Z ~2? p~Eadf و{aJXz`x^1(*R^w2o6r]l\Ϗx@C I ᕂ>Oy$ZɤR3|Q~zGk7^"<&K?hp38 gy8E.53;WQ<,g{TJV+?E5˺HD 2u~Wϙ3Q-] BG̛d|4rӃbz,"c Th小ZYMSȲHkXO0IS{{X:xܘ7ƒFlI=g Y-)Ӈ;2LDN,@_V `w=Xyn JPJћs-rS85VѝOu5ExFNJ<1EAM)]i?{fTQҔL8x$sz h:mD|8߇p_u(f6 F zAڛ`S[?-T0%V{*:_:jL[nқE1ǻEzMQ&,k,߰gݎ5y4 >N]