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  x4$ ]% HOL-ex:threads=4elapsed=373.784cpu=1366.500gc=41.324factor=3.667zXZִF! |]ŗXf1-q恉<:P _X7D *-R~x=ҮڟfW8V&GN:i gO@}J XovY} rXf'5isc-o9>'d#w-+;o /j *7tOaz]! [6S,lV+?F7͊T7jī=j*). H^nA ?yf&ZAm= 3yI!Uj7'YWCGO15j?jMܼ5|~aV{f BB>t3I5A-0{ Ҿ?."]"N `:"QSi3fpd}c%@w,o<G^cNQ1D{']-yOl+sJ:[;Mš'wdT0Oe`g$H:rӽCP0DhD2?N.2TѵQ"\ϔKu߳H-\&A5L*{H{.Qcq^vTQ&;Ž>FyJf 2R1}+*ˊK9MhY05/ ̻ u#j9cJ`caT ѷvBzER6h6/xXZ鈧wd;IE,>=},]UVmPf&q!QXmnuD4`hF3op):r[bɘw<v^]7KĖ{96]G-ٓ$˿8H\DAMI5X/;/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ثČ_+)̝P`0B ˄B'Ijzv{H: q FoދAWZ|U?^CT˓*!NbR8Js%/gѰ(~wn^9.,sԈ14Z{iLpI\xI# Qi2!$1`ϓΥ2!\?2رXX\ïxa( rf^˲ٲ>5WU&&GrO5i"t3.p!=5vy>&~y۝V!#.53.jPFc"w,:pZ2l%K'Y[H]@I=nRLgGڳ?mĹU, j 3G?C~9ט!C=Df`K33 F` NR `K`$)R jK+TߦK4٣ %ߝnҼ ȃʏU;d 8SUb0bmƃ\j8BrzASt4ha%}7?)y2+Bi ϣ^ Kȓﰫ]SAs-=FNM1My~G\ C$jD i᢮/3wiU١l#/`ۖ;˧| NoQ I Or: e&x*lkPCeb0Rh?/Ypim~/UCck@ riqc+\]a,}ס x4ȑ]0t)t]YgpD؏mR==-50an>t5!GBpMܓLՊ )vhg+7"ze;5޸Tso?'g#'iq 0{%"ləo eYʰN7+حڗ=k[Rvx~{5[+F)( yPR ''1sR%YjVv{f>s0u%qJ " P xւ/kDmy^w9T)1.~\8@U~kfa{Ch7dmpӢGkR]!'WH_<'qHWx8[h^!<%;?akGBjM"A(Kf" >y֡xU lH(۹0H\ID8fL7 '`1|]yWrH&C\pEjR7۵gigmο;󚿶R҄ajxUqmgIdUjlr4 qFR}7tok2M.4]][=ΐFm+2_dTċĉXʕETR/1|i64IW7]\eSTD+[i_ѣBHr|B ؈T|r P,@rVêFC%yGyMcWC=S7x,¡,? į#qO:wRK_]}ErD'{٢:I3$hT|\xD&iP\9(H-U7,ƛ# Yu N(37(yrodW=5s 6 `蜼jd5 muu`xl5!:>Mj}gc c0k]릥yjWvSѠH5@㓃b&sҨ8VZЕ}1ʘlYGpQآ3rM/ޥ{v( ,/M;@v1ք)B:`Q aN4I΋ _H  &GA#5jp\b!ڭ=WIaڔi-G Qՠv #\st_G魠<#,}Ҍ?8 _xc?%NHyyxv za^؅}.F!x9/m: Hm r9E3".aTKt>,Qdܷ5[ܻ\C#vRg{QLc٩==7 sUpRQsPiK"T$J^Ɂ[+-"}XQƙ90x1xf\uۑL@]((.tXt´?w AP*R ;dPSJ!3K0w@\ {OTQ]Mtr!n )ӭ 'P;4}jxBhz+T2҇ʏYcQ.V!e ˦NcƊvĥ:aq-3Fj#=bn]r$T2èl@,|U(@z/9\aWt'w 1q {O=Ċg] u$Y#y(WetܬŤޅe)9 {V^!TZR d)$:5[D`*QcB {g;35)Y7VJkzX2r0"{>}GuIԎ2(:'8z d2z!Xϴ=7[Êp@W *. 8-nF>5':H @㌃&4̚)PۛO]HٴV afR9Mrs!r~E*m).x=%P]$Z Aن˴6^@Wп1xlX װs#/ƗqS7AnXcgF!c)ׇs-%x=U4Sk*>LwsԁOQ?fzmMˍ|S30z 0X+šQ#m+u L-/橷U2@voh7 r!v,nb(쩻ȉRbV1WM||Z/Z}b ^۽Rui9&OҚ*B\lV0>\K;G4Ng0V{ztZJdU4XLCf8m?' g<؃z$YQ)yXjԶw˒X"?\$ k&{Q䔯E?693s#^UV!oO`3E9 Bc?BȞ'OV!H-GA!!Ο<jҟtSjR t1n9*ٓaGDLJC[ ULbd VYaBא@o9R)Qgܞ:Z. ({R )N:Ƃ3P>rsϡ;9o?Ղ~14sZoGKLe1#݆P^z5-8Ak$t3ð'?4pkXDt3< F` #/'מbĪ;ߙuۮArS*:xw$Y "&ӳa+0<#2:&eY1pw>Rx>˘/TV:V6Wi7wR/~BjhuŠWQZbexq^u/zfQgYZ7zXZִF! b]ŗXiɟ1 Uu-Dٜ4H5пl#Afi8#´ \WC2r )w[ 'nCwSd2x2V;6FBf=%ilSaTUy6ޕAh~򡫈BM``5\-;}_V$F2ju3zK/'Ynz[a15|RgUI* Jf`X7.hҁQ |P[w]6\^{yZy>R[ ѡ2UvOP _DH&u9@FMp|,5JAEW>GԼjmM1G",%[:DX=/=qtc+_+Y Cm82b_#FTF ~ǿT*]0Sx5s#mJ hQ޼ B̧5.wNVJr>q7'02EȐ?Z !p6Raq5V=YxZ_žSp½gٚ`Z;4'EHT.|Qf^DAmtئԕjsAg3c˂)lЂ{ʯ!ZÔPSz?Lripi>]XH|9M u<ќ dې‘\'dcTڰ!ll033Ho]:>^(Ai[4yGhfx6 U+[p^k7甕GڄGg1$5 ~Fc7,j( 4zF;% OJq( ruL\1P ,3Tg~^UP}6:JFdBvS3$k:jw4#q6*?YBz¦<\#ϭc##;OF?4/7BDҶ@%v,o*-.wpgf\"Ȧ R\3\PYK_I ɂˇ|^llCv%n}KaƎp$[Ez/A0ҭS@ݣvؓ&ΰ:>'h<\Ni6Ci|}\HctZ7 @+>m7{)3Xĉt hk['0ڇfRSLSc!`be ^D2 -É}&Aߤ*7u2oaK,hȩy=$/3j3x-jʀ>@ +І/fkc9 @ocMΓ bW%ܔ*w=ˌL2g 8ӇYQ WFnimbQS[]V5.jbwC /3Ļy2FRH37tCxJǮ8-yBBo>6l 4A(gYZ7zXZִF! !5d]ŗXi%B۾-TĠʳ 0BO25H0w* 7e_1#uTS,ROZH0* ρn0?:x)`dcق֚cqbbDqJcg{za/W48oKE`FC{8A9xM5&Rhw+"s7Fgq^MJDlYW ;WCㄼRzZ4rf9XVIÉ>ۗ1G \7ھHo\ޱh̗3SW/v~W\h#=VU+ZpKļ( OWH-e.Sd۠@MT)) gg-KI9=* !5*$Eً a]HBG(LhHz ]u'-;<+u?_/Ę"xn %LZBtl@Of dz(Gsm"BrWN>$飰R[::@ '5瀲uRa8mYonMn+UWOLk1&G<ϮfFsaפQbMC~Edx!sfF%"P|YcWr:r(9I:f ԄØXoi7m+K[=Sc#dg4Տu8إ uG -o*vHxyZOdIEO<Um(#*=|;/4l;mqߙBL9 me5+u,2# w+D/bucoDem9"7Z߾TRl\?a2^+xRפf|S\?נT(m*8XͦjQdw&gNeMᜂ8`%>؃R#F|?e6)ʵzy𠩻&(+|+WH 6Q]/|T)ڭEK?\2bJR[ee{eڥ%XP1j,`Ms^Jp->{Ff`͛:)-7_dTe;(ioګWR%Ν2<"H Jz1U.z.ɑrՏδFGМC?;Au;<7b=Dez`` sq1r9I#Yu歸jW,cxZ3t3]|_h9Wb`GgF+lm^!L8ğWd*eoj5/^HT" ؚiIrBl*gz17WDJ1g5jf53\BAlϝ2_ <&ekȳ$ÁcC w/cBU#SUlXZ9 h^V}ťGln#9sQyjywn9ϗF/g .Nl<=R +[c]&wZ1>O}u~y۫c/)<c`BH =4Ӛ>Pn?whe ׈H()UP):&8SBbBHWY5ap!hk|fy0"/{teG›g?'=rعɁ51WkFjZy$&oFa>&G8FK3/J=CMn#$j1ۅ耘h+HհS!_')ry4M5:)=s@wO&,qumf8Ѡx/4ޖsGh2܁ʂе i~PW!:7.^љn?1IntX?֬jR>46}5]!֣G&IdUGg@rEPg~}%2>^c!c"05x?xB_c].DСCK٬9`I|NA{K%01,'Q.ԼHH24FprG)otOВ4zZt CV9+?{2$ -_P3wҰм5⢟*4R35(:v_vJyL;#9NA(F=C@ߦH/nmlܕB ۶`6tE*N C7[U7jj#m^{2 5ۋ!om#uSDv$ 2` \gŷ]kyb2]y输Ԙ^HRV@=nNm d CD7_>'-ֺG*~RG& ~uM fC\g Õmu_ֺ 0Cm^̱u`S5k%0V"$1 {25 &*YiC'QdaY+݅LǿKc6UV]M)ɶmavAF%,gƫYqkNi{|p0Rf]&)be/&ryqjA!{ *n"`_J,r2U4<pO,ͽCAPN+1A'\]x6Sl@Ҁ|5M1.WHPD% S^&ASdK~c;M >8d]RbA 6ghdg/(lްbaS9 aZXg 79b7]8I+|ط Xɸ-sݲnpfNI~5"+Pg%UCx.:?=u(^ct# DެfAݟ@ @ږOI$h6GNb4@JߌVE]5.?%\ڙ1)YQY$˼txAV^dkH:o }ODxR+ 42"\Gjz!v]'k3e;K >I+PHumѫ#X]aJ=\V'G~ IKnHy춨;+3 ൉Yf%QuGeVpx >2A)ʞ1 ˆT45ks.6i4 NVF90.ۏR #P44%SZ_d*D~a; ^&-& k}.~ٝGNFd.BM7u{^Dp @ Uk&.L!z,FؘC0s(˪U?>0Cz7EJ.}s^Eoh87*|ƍh&y;~Fp$;G+켛* ue-I<kp%[Jx)p#CA񝟡g+M$q3G3vԳ'ua)#3۔a2)#~)^iW&~Ȓ9< D0Jf&Z^ fdLaz )T`#B7I/#IJW0heV!xDƇ>wtzQG. S!skqb5nXuV|6k޲>yX94w㼻mx17sHxn\kmtn`W.S)ύф5$ŷ}>8I*Pf^l ^ SĊ>81mi>s;e]m[d<2gMr7 r% \ ѾCtQ>cҰ'v*ZJO&(j`p6*n{(eQ b OCYP͗gP'J酆"_@=I k,B3#nڳX)}q4zJ֖v~1ҟsգɞöS;F\U3\O(g$>[Ra`GڇO]gGctXYErCM- f2$N\) k! M~e>h @Nb jDAܑ@o7="gM?dVł>``-įeo~BH IilAP)E> Y}F>1 .roUJe仓/v^^=9 ->`@Y5Ek=z@O8Gc9>?H_P)UYpϞ[ţ9{0'ɝ˜rI/ d/V0[IXM0\|x rmbw0V>c齖)̖'o'n_u~:cIJ $riDa2YZ=@XtA;\@,R nR1@M4^(d'۾q@Z85(aTgys-AX0z=J)1 %vފz1H<=(y%Α0A/Z/j'_K,F,sw. 4|Yv禫tkZ=fl JWZ%3 a A :mi4xgRmG] [)@hs}r ._Vz;tk^ a=wŁr)//;d3°cg8$ Z7.Q9mCe(MV|BkW`ǝގ fWQ, >3N we2 ^& f .C]rʅOȟ|>df9Goo%3`Pӯf<ѧ12eW%o,$WR pؽglt\?UP.bZAvcU9>*z3Ny t@A8ㆡhg7ͬ0ClgDwT 3p c9Z9k zk. zaOFD `H̱xŢgb^O#)R*SQ*47{+39`fxtq玫 RƸPgPh}iF/ɚ ?WO NPNW726Orm\ނ؞yB/IVPo˝;,<' BҴ7tIJEb 1\:*)TcێY"&JЛ~`yO Ug @իG{&R&/28Y[QM y+S) ⺵w6\ {{MhOZMBZZf#m0-$J_VN~&2 W+@Z*SEn`?+k#RE$|:W[L{-q3` 6upF[RBi~ADó==5fES:B ZiicwK1rd\YW븚}hL_=}ň_qpzRYk\<\ {v!C&EXlzD 83Dkx+\yz>]"hQ.C7?1޼u e)OV3,~Ig(JC`|͚In0Ub"KjpQv/6&=d ?eQ sh3BgTVy4TAAϿxy*N,6#DsX×HUb;nmr{*e.T|a0~mX-Fs1ePK4VLInoN7#hn"!Ct%{uաv 'J j:*SCHĸGEG #_!F؜@7f?CgkHf2?5^+Nђ3M+IUX8)eLb.;VYϡ)t t붆 s: C55r"O s nȘuy];\m3 >,=jܲ٦ꥣs'; 0rhǛQ|$9H$)CJF±PPy$y?6wQFAy F.UVA<#a@`UB'4@l;w q(~%Gd1LuBtu%˯IR^DGKBf~gϻS@ \uj k0s"+o֦puG-6J|JLSknQ#6JD&9.'uÊA毑+4nKd I;{\bNU@Wq?,T(%zsYrrx) +V9#q @;JQnw`$2xNa0b!G&䒅 &* sG%] u[#NBVI|5K&1Ӯܺkm3Ԥi)t xՓy幋%s~%nYCp1|(ͱBۑ'+sUIM7V/-D᭛R1F tKذqU SFL[(XE_N#UYQ T8]#C!PH`dv=7Rv\f?{@ &vFhۊnKXd`>ʌeZOMYܪ{KgFxS)Cdt ݖ&70 Jut0Uz8- hG7Xȶę'I="9bb:bV^l,9CzDĘ@iҊ m&DMIM^띑Dު,6@0n^KU`y렦jBӮ]!l 5 ʟw*y^Rb]5R6Sd9tҏ MPA=+4 T: <2 f%[:=uEj-!yi?-E a*Ax!eR)ޑ3O<ӑ'D݋PQKɞLe _/+gֶײ P=|:UxwE_䏖22X18iYShI#1mawM 0hr` h2ĩm3_ SC0{Cr1eͮ+rR7Q\٬/cFf0 kdg,nmg2yq=-TE 'x&,-:z:_jMtcJzZ7>IH&zol8_F6B˅5fCƳڎ W+?B=G{%N` _Gg"߯膄N׺'B)-0*5Eqb PhWb?OyTe'9]Ԯy,߈5LxeWGsC$2QAGj V BAHb\ cUwj/vI|hRMB}٪ lnLg41"e$i}Uw*ΖHL7N1ﱫ6˜q_ܢF}r #}tX*t\[Fg"CT)YOW?0=N5%pƀ t|Xe^`y:^ҏ,-mxgENEo[9:mu,*N$Rʩ,7y{hBnQ SR=xNl}a>zhhI7$KbjhyvpXS!$G>]Og ğ : "a2qbOKka(FEaM,v`,ba#:Ѿ|9 GF6-lAu?:_=ȰNH>`I1\ן~[` ^4#V<@E)uh0̅r>1P|=KkTY4)P{ g zSG:4Cck8Xo L Ha0;YXBFaN`9ZSlE፜,`>^[]p `CQEFChusX.V$~ .O͹J_z_b|;؄b#$CW]ٷ16  #5륰NǗh`s_0S8t7r5Zpa8su:}L5|{`ḟhի*axȧn>`ydLl] t Xk(* N&g}u|0m u;*z^;4>X |Dԯ H Lx5LOa 4T&h`ghXhg,k FS[ƽpbc-߃1 @Uбy9&[5 ^Milr`a`{O)yR0q_ VՈlw5\^j||G&7GB+;SUbW?:mRC873-UWIEqqkՊ  u}̺|&!Ʊa|<J<ٯff487=|{@y r1ԏ@. YKxQFu-_갌 ΦRŔfӭZ-%.t}7%hr*D6gG>F,ۓ_Q@vG^kb.mt3x;NC=Cuz|=X ~wiO3.ZŮ=}U%U,8dnqLhctR5UlƟ_g-pf<[_G@ӋsjvNq5|VfJ8/QR7hj!|VgwV N9N1vveYWנ M@Fmzm*a?TG6ڰ!ȞL)dW>G G {ݔ,-ϾdUEwiw*cn:]հMvQ?{2&Mti+Jma{К-w{ %Je]Ӊ)+-zՊ: yu3W4 e~\o}LKxcB|UG!c"NzB, ω Nn>vo3U ^K(E!vp=>Ag'-f$ߖX q4չ[2˳)t]`k\'Zy8Ӛ 6e&dp[Z- 3Y1EIJs7y6zugroĸ^ NAyv@8FKHˌ6#b'|s`^)Es(LͺQŎuw>=o#ËAIAAġItKqEǣ<\{9aL}cە񎮫D@iCCP(VA Ms(i4պ߲o׌złk\ZiMԤ]Qߵ8ϟV/]gS=ot8{5Ԗ2si z!Y7.I+U7BRwl+(=l-`f#OqoK(HxW#䕥ɕּeX9fRnvE2sh%A,>a's{NMe@z}xpPk=E;eP=Z f" I3a 93ǿE%RsJNeEP~L!xP9d\J5o\N$xTʭLWkVfSUyoaBS(R;$.=_`[5[m4\WqhOe/MyR*#A()r+pvD |Gn hSh1Hr*®gЧ:KBMАV|DKP#P~ I5~QQar;Dfjج/K&GqF2 eH!eu S葙Ch̖`?ZuQ11' Pw9Gd=dҹ@'% uhJ͔Q Qoϊy5VAU?Lk1UWGns,RS=T(;KEM]2G%FYEiBtTˉ@KXOdL{x{=='EƇv4L!ddxPKzʮIµ4 /]VXϨ0ok 3$ށ%{bў&k]ŒY!K7 .nAJ2/xN^PsMx\M2ĝP]ļg:^:r7oj?[Ih6))xIK?v-rWu)q.A:2Ͽ1@= `ùSSm#Ynoj GNY?φ Ő~B\q #O.)C5*.TfQt/ G>IM%r 9CutI9:gؘ {VX||_w[yE+05%zȻ"Jߜ0(_AM6'.`%%@T5o9R5,G5I|CmO! :w6w{wޑAp:&gߥe,EU Jaľ {Fu %S@®91;rAN <#NQ6\|ϔ 2 պJ{i+[C~Av{4K ^ 3*^K='bqjChwZ|*Uo1jȃ۔;&"?5hF]\^b@Уbp88?MhJQN4lzF;ˋ(lD9?&bq׼6v6ݙU9>61}gg]dQƵ@o+yʿed&h{h2W~TKMʱ۽Qr07#@De^5|. gq4ToݜDdYy9dkApaӱ( w.v%yb.ocCs&g[P<ޔIj勘;Qx ,O=f%/ebWjpQm\h &`C)㴓"Bf9-jlK"$ }،hdK3/fDI#j=ez`ѳ{@W֩[a F8j'*uʱhLmvD9CLPcߤ&1c%L'Gqw0{-j@O,ci䚚>-n)1fLls(8mΜG0 /?/f…u:I$x~e5ђ&$]?fNh-fS!&05$ Njd6ɛn}$"gEIaٖNAPgZ;T-;ʪY/JkxM gkUźD*B't~-OhV/OptQeh"^26&HG~j|/ -Tnb,;z?ө0Bo율 1Q;ԍmUr.=@*Us,Xjj%9DKzSx hO:@֊(:[k5 ^#s/1q@ěe)k/-va$'OÐ,&qXֆd I-t$y`Ok_M=B+IO^ˇ?.fp}.-LIT1%Ż]'pRf_**ol0zɓ\G&2{G6F5ʿ~ r(F@8zf-bD,V-XM-Cd0'+eLc YwX%'VW">`ૼ\ZY)!ɬrCNQi^|~rLZ|;C8G~ѪQ 1;+--_f Y7hî6^>oDVTY \楙5mZ'eSu#ѯ$Bl@jD}N6Ü*Y+f%f \n=%œM$[ߡ&5ΚT^E?^Wz(av ZC8­Ե Tdv6mĕְPG_>7lpˆ7Q?<4&YӤ1U+#X,? *+a\yU`㳁 2I&a`0.ꁳM){_ ߅3lZF]Q,YBh 1^ R*\KS[쬘 G.W[a! o5F?u,PoDAM_| *@C3wgpRLH)1rG"iisVQ.Ю#0 *£\lӧwM VN㏿xklOG>OPX  z2 Xxճ:?ro:H\}K0Riilv{̝2+5fpQd ivficu+a Вk_WB?rT$cl}_c&^{[Ma,Th>95G";+H{{ 6(;WYtm$ xK쒘|PJUp P-5!mE5]ut'B]b(;˜_@;cʂ˗^[oJS:đ:HXn]t"FA) Bf3bTHW`](uƆ ,g1 NգakWfՔ\RThI i'_h Q[y͵~j[;%J"ͤ޼Xb‹d"C/)?rAVZ"i{ "v(jܯ݊;rG`鲬8A|0o$L^ mњ+Drޅ %wS0dAH)ΠW" B!9p X䜪yhdr8Dwt/ELhli[JsWM|:xIHG]MF@,%'!!}UzCÇPQq΂dۣJQ4vbv|g؋Rg4Gϑ&.h9XUiʷ H8l**xSS i'tE@ H#mV֊f7Q i$ZgwBdBX.[X I251W?h8u" Ǧ$YOy|H-s>T.oϮL5[_wj}L0}Nk6` ?lGH&_'C9)4KW-  j3hwM&|"~G ;cxIbIX\-0^ȋ*̎Ħ3K!9x)~3FƥTN3ibF$ӗ3%Pi.a.[capۆ^"ؘ!8F%7kGO=bL1֩|;RQ4 9x3}i.ml\W=vEm6my]_L*uBB4P#TDoM3YJӋP^P9 \;9C6> c‚`m+Aik=zrMiOW̐ C P_a#*LͺDhWGM>Y۠X3XAM|4v)jW^S. r RJS76QͪTPO5= ^"W.k ː (v|4AWoR)ʚnCi餯MjY1w{#yj:!o۵89>,uN'Lf9$gJME#/ó,74- }8 'KOj)Ѩ׿R?4ތ1AEpnv8P@c5y?ب)e}+8bw`W1BZx;l,|aX܊B,&Kc|{u J??{ł$E6rr2ЪQ!2W >ȤΗ*j-CYU\ܱl~]ax1Kn:8uAW%w=+yA96YT. 4*ڴ-\ { kvp-/n z/'Qú뒾ƃ-OM'g*"˱?$¦n99 kjS'()dq)vRw$Xg%*&jAzvMoTDшi&ƒpu,q'?7O=fx%?,é?Z}4mB%B$X]gx1ژAZrTJV;'Uɓ}EVcGU/IV_#k# ,%ɭx%m O ކ(H0G9/KTEBuF=H#m)ጋD7F*9[,#e$Nڞ a}",Lo3f(3a~.Ho^Qa`L&Bba!J OB{"qځ{}: *@Duӧzفy;y$W)=9rܷ**wVG@׭= mUudlF}`g /xJk/Vs8$t.ǂľ{O&5 >$SB|1Gm Ҫg4s_wXvWW69 C0szk a~OXpvU3~ּWaUZh Ӂ$HƤB;6(CR{RDa},-4ܖDj֘U]7>Џr n>YɑPkҌI_;+xo1J3|ryl&" ?W`'_۸pGiG[fP,yp[U8De(_ B}|gW*7jcqo咩}İsUK.B:iKBY Oj+ŀ-/]qIA%8&[ Jjn ]\z9E!G&T3plX&H|J N#7NzGSå Gz<%wHdXP|جºJNIokVszEH QBd8!d Q#x1;ڐP[M]\ QIȱgYZ6e762688db372ef65d34b64fad4b611a791d25ee76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 ea3329f2ae13658f173a00fb334e72a850730143 74578adeb3729952536d172ab3a8c53abe932da5