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 HHt ]% HOL-ex:threads=4elapsed=352.567cpu=1269.956gc=38.988factor=3.607zXZִF! cA]ŗXf1-q恉<Td.ͭJǎFƱw[sܦ,,ᯋ"'hswŇC$B"EWݶWmx!b=ЊP%m`~ 2πImZ}Pn.b(( B/` Sr*m0Z g)|b y,(yrI_~D]{=<̊G^q֫Br {nMR~dT !K[QA,O[yŞOrJbd>΍p:58|+?PIjϞ^b^M}l}3'LM 7ߝè717ƻ)V]4rgČ!Mmώ+&_85On#»czf>:!'az݃\g`HrKv 2n*<~[vʃ5'>{΋&=p򰝫[^Gf^f1` Nz!|fB\my< -ZKIb` }.䨥vGK]W @di Š*4cKD^9#|J<9ّ#.L*y4BR pL?lіگ!? w[ 2{@%az#qr\ s"?%EVa ѩ7J$(5QȆl{y"2D+s֔'. joBFI)d(6   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"iB 웛P] ŢJ5m}=cZJ\ˎX` x5%nJK2\qR4i5__C{NDCL[p. yyTtHTp6Y":?Dmv#r;Sަ`SN‹ˑ4SϹN'K8HmmXۉmyyv8GݔX{.;.){zC Ńz:lm*.I޾( g`ọ'S T죶m#`)*'0B&6K#sW)+s Ex _Px|eҫuRAocL3gbY{w 2ӏtप}!,߳h1y\c?i+.tOKWs2wv-[(CbǶm$qx˦7 \ QƪiH r0KgEcP\p=60p-P;@[:N4HERLW*N^hN @[VtmG?#pr#H2׭U$˹͜&Ou?̖Jpl%Jcw4fxgui#!QRplwD{Cxqf/dj8N '9zc/weי*sVWDfP370ìo "t6m?.k^hb :::VVi)`oɝ 顷< Tvߕg?tgֆD~~p(fofe^qy݀C 7*UoGAp5wW>|S/W;֘"L}ٛ]Tb*Vj6;"bv?Є/bS<ؚ?mCz4ɪg.Gm*ؒ=x1 m#ӱWoåaqx\zv0->zA t|]C#O Ԥo+6+ΔR/zm {nbrp"05`8 y˧"τGIl쨞rIw4#JՇaݳ2Q-ga'u_tiHO +4y4}$/)YBDuZ.rAuⶫQ'Vd]$2,!cҝexw;#Gc`gb7C'ut0'.#$INÀjC `|$̋ᥓMF0gSn4iB1R&eKuPہp1[NV 5RcQƭqB2o-iW~jJS|2 Wucj0TDNM6@׏@f1[p_FP. R0b퇻c۝^XlhNs$FA5e ?W9Lп5oD. ɔxwg#E QWδ>[h{f o%S40xqjÆQ :KXwE{t]>4d jEfo'fBkU^E\ "uU;XvCS()>0d𾤷p8d-Ii|0nkh{=,X~9 FuK8I~s~L:T7W8ַi\; shA\Нޞ)< FgcH0:$1|ۻ@?R"0na[-UkGV:]xQˈIܘ>+/!<; R84K-XBs O=^sҲ+λ%|O9nݬAeQ{Rg^z7_|F2Ѝb$rRD0 |gTNVv0ۿ!F&E A `VcgerTS8\?OjWZ85Kwjlo/Z GH(T<( U`^,rUk޸_V[+fG^׹x8|uV6H.c(*/py(!L{bzpܖoXTqHະ8W]M;Hws; }7z+"(FM l 0\@K+eE/&5yU\`!aRuGHD>m#,_^-A9qc* G \#BBXn-6h{\3ԇ7Xc2& kb>vBzf=[:U\&M˧J]cKJfVhˆ;)" 3zgS= i‰hޫ5e@{e+&5ۙZWx)ؙ;斯Њ(LM8Ϯ׺hx^.#gYZ7zXZִF! ]r]ŗXiɟ1 Uu-Dٜ4H5пl#AfiwG 8dhi<\VS*[a/2(p(oNa&6cCHmk:]yI."me-׷2/[Zfٓyy9F929ĤI# [8M5;`]>gЍ =WV )x e}C rJXX|%GEb# 8tPkJ8TxW9RƮZ5/'!uwNI}ϔ]VGMjmD!ehC wu2`Sy\#sR8uDRY a[93ju>Fu0K*y!, Uߏ}ՊtQStAiM0{Z0䱫XT >KM:9/0_9(tD[Gm@ ߅^KyLHMf)>P[VC(<9v^ÄB^5DZB$>^2 6ȇUr:r'43ÿ`SA,]i[ 8`Hb#ߙ 8HqZ~dxpGK]2Wy sdDlg[\$\_>wH v$sIϺa9ճz~{ [+,YLâ71P~w%⦾hH~vf$ّ=zMf)/,ZNj29ߔߣ]8Ą#X JH[V$ >I5] Ë2k ҭI뼋KL2XL)/@ӫAxF%0hg7bX?olO,;SPbпR[ $ɹf YJedy/cTK||I&Jh%(!>AD}sZ["-ǘΠxO/!eǙk.HpLz]"}2=Kir*vFԫ*;Txojj@Ih~e;rMW Z:*wãs3ڵ8KW`xv0wkDa\ZvpwYG!ow}OBl4d!xD@1aG,( $:^tL&YƱuCm(1LJ"@QY?j)qK2"L |VeMЃ-tEнy{CDE#/S? mLu^E#LkQ~E0hv*l] RaSA ~皢;? gl֡?`ȇpĠR+\9 `wVqNlS!&e\j<\dl&,Oߩ…g`ڬzQ*Ưv4N! T00(ÈPye9{ ؜k9P2=UVN˧M %*1ɝ͗@kBqkJiL?܀\㮕`EvI pIǷ_fOB6͕R܍JbtrwCɮ{]*7Egx/RHfbSBBfQ\MhRAݷ12x?G_ wF@ ElD.<ۡ],z`XsRڥVW,jrőd/m@+»mpFuqtDO霍X;{5}vG $IGRNCv}-D4DC P6jF|6K!l,V^qX: 󫆰ǫ˼yjYL* b`-3Ɏ/ wgZGمQ [TO*‬n Ҥ= ոj=idxQ2[ UϚ4<-yfJ}opBZl`h<aҙgײD#q{oTF|fwɰKYA䡺XgHh- mЊ„տ`oo DO*q{KQpn|_uGFɾn~ZfAmo,"sgb^s., M+ 6qV M9JӴT.]UzbL>LPjlߡDeo,ѡxۍ_jm`[d=./36=@.ǰKP^WVf3c4`OH Kbn[z'Iޅ"l/X1#Ws~IG~qB4B]5^1^ =7ÔI6)yפj'L vl'8^"V{9r SIjm Np"p GϾԈl :4r["Gtii;!Ănoj&9.`VlG{BT(y20<&ebyˆ+8~(ү_s[Iﱮ?*Mea[(_8%J^(q)'alf_ѩ ^@O0R΍n [ǖ44RW @$E,]֖Ưl.>:p v7?%ms阳l=@K'*vJܦ=PiG"sw l'أ'gn !0XC\#&Cļ>KQFNA,*|V&_B }&>t;2" 30o(|C[/є1z*~V .tuzd+ў|ϖ8C⮅h<ͦa`zQt %gH O4X3~Úyen!WZ@6$-_60(59㣞ɝaSQX=燽jќ;dբ#Q/x/2Nq%/mj#d }Gm3F\V>U>c'E-^郳HЩFړlgy2@y2o_,V}!+0zOBy'2r ]p't]i #>"֌e| -2^+j f8)ײd57CMb ?Rm@U*fg-ɳ_d?a^[>b%&t9u:+KtR7ce{%n;j;љ"(bo};4Ms%l~Q,컢V>^^o8\|SnH.)Z_,[bX[ HpR$L ډQHC*rcWRr K0e9K n#Vӹ 2Od $ W!]xfO2KH`Km6xa8HB"(v4WH(%cI6՚btMiF^zD ^ٹ+Ѿ[|A*Q+T旌uDf; ]dLF*̥N'UCk3X^BvaiD#vA'F)3UQ5jD)4ḾƪYDX֝-jB/y#sAfdxf뵾㉶] D%Qey\QLGws,i)XE?ZΠLB'PBgR5SpT~74i(c +tHV 1K!\.T,;*-ދ)( qn ^" qdUTzA vJM%(F%VTwE/V?¥flG-m_oS:L.gCvL3ri͒k.l?}?tD򐫙o QdFS(ۇϥ16LM9=6g H^qhuV`Z^Ye2D5Sh3>4Wkb24%UvGlp&ם'{w)e[*f8C~He;fl̛iHy6DonUV\7rWK4õ*Cāi\1:I,tOm&66+Vak 5"\1\ sRfq_J#Z.naũD5:$PQW;?{ZE.G7{]CjrBc#r,t&* hw;hȿ|Yⵕ^!>1T6]0]e84Ƿʅ˥ #q8nP&N:vfA r:gFOCp)"\~ԁQzbU\4_\*1 {wĄ_z~ )+NK>=#v/KP'%#7~Gކl/G7E4C|H-:8 IP*pC7&Lsx ȣoG(lOqa>hߑ@j2S4{E+8}hۓ}-q{s0z?c6߲ Ofim96ktX@QK:\RRW8nd2sUEVDpN jj_zƴĮ1 7v Bw>O)߼M>૵>^I}9B; C6#"Pk 8=Nk<ů)s~4yV˕c;ŴxR|? heo$W~RgШMOc8 8d+ד)Ëj{iaA@z@SN]W@͒޽m'G@Q3FjlT%B9o`٣Gl‰PQҢG"6EO%>~Wx'8V btoвc, $%Q`)q'}(兼'@)ϠY 'Sȕ|ЦRν8uGU\v`dĈ͟63R'yCĐ8]y|52^d'WQƭ psc8F4׭J(uO/v늹s=v#e51>)z"?| ~ydѤI ymw9q"Utn Q,!V|z= " 'Ds'%hM>[2ʢ囄]R<nb*?[%#m}Ũ?@.9w/_ܾfsʕd$k'CR}F<«p*ԮIqKgEt?z{=J/M23K,ź' QRk7 4O ;{>ERU:K7ح2>JLJyrуӫRj+2vV@i-&[r[9KԺSp?8>*sRZ 6\a qC\amojKg~zM܀`F{S:=5H{5-Tuwz>҆+ڻ^~JCoc\$zȶ$D#-8ha-vdQPU] 5H5FlF}i&R@ՀVAfqM7[nWA׳9iu`@lX=-(LyV2} ccjJaC:TCLhfMQ0S{o&R.Kg{>]u  N9:r8'P4i,2p\V֪gi,L-{dCCN+ڡaC}J8LslQc{ m?eȴgaW8յi)aGb(7[TM`8uMKi֊+Jm*[,%R`{RKaѵj.-}KIӢST ĭ@쏿Xo d-wcGyF~+JlA&NfPumZ|"Q.ϏpɜshBˋ.dSS̡i;i5-\8w9,B^ͪiW'ksx4ST| [i}vF[@БMC|(U=4ow|e`q(?Β"kt̤L`U5?fDP'ѫVy[03oNc(^PFUm}ABI}nKEl'q}'jO&E.?ipLn[ZƚJ("KS{cs&NYbe;)Gؖ~rGM#NK:39|oU-%g#8 8 Cfnxo"8/T[ITBf7h(#хZ8Wk(:#PaM*LU"c+1]W$4jLѯnmpݨw,(2z8SEQ "A/ׂ}u4CGIM#mFaVPt2%,"Qr;r!baQU%_c-k !j9r7%ƶ接amY!.m&]}ۧET; ]5?g9Pɷ?ZnG1 :Ll?3bGMW98-'1 4'n=Aʹ RO\wiȺm-߬goKfcs[ru&uxǢ^sL"s0k8&n.SSGiJ4u0ѡ/8UPqWָD$-_(Dcncn/JX'cVއ]> %ܡk%K;uw(YK|ڌM+6\}n _x2*\VVFvasxwV  ىw<9ҮC YPuڣͩh7m~Tg^3v."!* JW8 Ƭ~T:lGr+?Yg=W V8)A^Rb/?ྸ/s :|7?Ӣ$nylJr^'uK!)Pr(k'9"}rH`Ĕt^h,Y8f9^  ޥmإ gJ}Ish0;ܹ) ]q`x$a|nY m!qu.>_#}"a0ٺR1u2 3&շwZ8Tr{oBv$t'ϙPR7S>ta@?gӒh+BLiU kqq:9\g^V^HX9=44ջL6uO(?5$x2vxC\?/_&^w+G@Կz%mu8˯[W^F2ʖDI2H6 : j&hc/AdC*g|hVSt}h$=9c3@eTB^ğ]ܚj.F">$.D='R'oEE?FLU`ǹ~[.#T:Co?S໔I? ̏#A ыG)ƒi* ] MθyjDP9.vչCVM k{+õTڣad4cp7}8G jp{[10k zswmu)u"&&~,O%}U,h4Bf-#m-k?MMIHKRJA𷣕O!nJIc:^S$Z S469سA >{YM<&)9A íyjH(Zz W.І1s gGR֪j/ٷmQ(DmMMPd;r _Lު%0U;jyUF϶W$ ;,CzZ[ ak\$ CP33~lww7ښsi[v % -cSvDW/NitƝyRA~4xBbCA_MaoYp@euu%AmkCz-/.^4p7zb` q8K@SZ*|uQe p\,_^fF1(L֢?nY!OԳp5D[SHA(o(?,+;.gP(-Xf"dM@E6DӍ](f=h"|_F/ ׹ 03;-Ci=3 ,颭Q8Jb?NhrtM(#TmMS9v\ H"@rm".JV|'FˊK`u_]pS6D0Kspx3~J)`4UKY:#7K[~Cƞ꒘tޝPdrsC|Ox=*Nv)/*O/ >lS+FL$3D{ }XF͒C,+Xv"i85O eBRGUJtO18?a@Т+\ `PofneXycAƩA)ڧvy9(MVG'~bf.ӠX߷'IS7;7 jU ř7 ;NYFy@V \?L%@NSNJVW++ٓH1k!R{Ys ?1A,%$u?@ ^ 8eArRAy7EęrU)K|(ґ&v%d'M1PDq;~-+{~5/V:&07g_{_B:‰jDjE)*4^G(Q+cB#`v׋{d׺NI!J pJs]O"]ŘRɌ߆t8vB^D~_U+ ~G4Bj8BO†ZT m㮡iلɊ® R[*Y9)r{-wūJJMyBBձ90btmB[><f֞b$̪z(vXLf(cS\6F%!Ƨ@zJ46 O+P8lIw?fzm ý79}VW:lAпsz^eu4} af8u~gM-9#Ƞ-ȔltH55dSDpeM\o⩙o=a'7G:N=g?ɽl [d@amcjKg2Xm@hsBy=jTߝ u!` PFJy8Үk'|n@*I}7sߪ7=dЦ' DsВ V.suB2 (oln lh|[KCÔ%\f#+mE_gז@Z[YK}Z'1d}،=vlu.nd%Q&R(^0J"'/@6a' jd[/ ѵהF|C0ԁ,W ~-gn8)-I7Oar'G7' '(}e%Z8ξ')cH{'!>]ㅕk xW=G?^PĚ!ّm+k 4]=ƓɅnV8JxF檔#k M߲b87"s" 3;.hMGKĖjdpzQV[hm|Uw}uױdV0O+*ݭp݅g}+nU܆\hټ'{tmCƇJc}mAe::1?vd~+nNv`8g@KnV[4M ayoe/{ .F/ yBsRf$;8=rYVGe {qd39æR`_IR1)*+=!5E$8ym #=p8NR,p_1k{C }cT Glwƽov8e[L+)P7˹Gݷ覎J8YQW9RV%U6JyRJ5`˙0g4tP9(EcFW3_D`u)5ոVxa2F{ V]%$Ff2%")(mKKO_(A9SXF| 3nBI6D@H=I{Ͼy4t) m ?bg7Db?j:W܎}mTA8&:\Qև2ou>)@78VЪ$q}M ~O5xw4MAPRGDZţgGw+jCmO"t6kD-u0U ȇf&ObۛHD,ie paC"b ƭ̹B8K#8ȇ%Hm=57R)6#l\4=d7&^ G|xA냊ם 4 ] Rz}ǘϪ&~Z'ԓN~C{ XRB?סm㱟̘~s6-BWB8PS? N;~IPm]%D%*Z6\{#8JຌZveG2<R%Ԛ)_@&u-BPh}$e>V1z :('D+.Q rnG5'm&ZEm.k{W2R! RT5!:Q9FyE5 QR}Q v,iOf!% `ܟm&=Lx}Qך+|vyyqn/xPJS s(JMsuik,e@5:Uā+:Avu[ K[ЧZ85ԇl[婯O߂:fEVꋐI&T:+#22A'+[sZ0]|{K D\P.3F.M*3\zf>rRCu4V5_\P'`@KԛR0ItyGA(Q̞YxBY)zC|*iO.o2XmU 0{- 8)Yx< 9P I&7~cyial!:8## N-g8#!?oGP K;cD "*"G\MOW,3Vik)(Cmх^+C'mGOz&ank0 Xƅ]܍ JD21oI919 %ͳbVݠ-KLj]6ËDw/?(Sm[`oїC gt>'22 0 㡮m`m&L‘)K2ĺ(f !'}}.UsK&m;w~ |#Q>ĒMm "q"ۓρٛ O,(м6A.9:4R]xư v+ΩU_;r1+dTVϗaeVi>0:h7îv7bW]Nj0+)GH*.Nd:P8DzbkG0<>6-횉2kJF<2jM0yHTvb k}l\$>xjcPX*pQZxRH'V#.&TK}('{cI3r-:kTX1X,lK 02uz7j>dȺF \s44^GmXjʏ`ɈVH/ge]֡5bq&+7knB'gGvOG*ޫb#t6x6(QN 47t < ʻ<կ,xw|| n!:LCx 9Yd(i(ywW һxil$/RF/h-p<)f]zހ=¼d=*slDPt7;sMHJ/t]z0*0Y0N&I/@ -n?:B8޺bmZ2Y%9$E wOg8J~/ؙ_AMm6GBׯ 4MEl Ρű2|2Gg/uøkŲT'Cp9qiАG@{mz[_Q+TMRsxl Ԫt|)_KKԄF [j%Ka!Kq^Kǎڠ, .o/}@F5tj="Gguv^E6nzaDǙ ~G`L_R׊KsnkK fRxWA6Q헵 vW_;O[XV+nqɇ_}'7GU]U)Iu\Z2.)>#5( _WQ!~Ml"R@Г8Of?i\DF5I)`_W) Hc'YPLvf& EtaH G8ݽ7Y9%lƂeIhgDŽV[9l|?\6oŻU6+jA^'2stq([6"l}RxG}ZVBÞb 8~ʲ_͐?bGwG8 #EzR^ ΅w Mu$;+bA:ijTSoi4 :~rwqc0c n'-tۂy p&[4s˳Iƫչ .L4j42!7X' %f[ߪ,.6;S cRbMK[{:I7՛ӫي8ub6?o ܷKk;MpE`E_ Գ974hD !UֶCS4qRJ=դNq 6(XRB.'k"G( D8Jͩsþ*#Vx^O!ώ }mD.E/2#i:c }?@KϗOtE{XKdh- H3,J6Lv l!bVS+zV$ATDq5+]U P|(_^3)dUR>t؝e!aR1!kTXa[ٷcxNT}X|f CAF *X7w8<ׯS96)u~}9b04K+aXwE6EH3`2cic6- .Hr J<)5cSzk˺ UI$xcz8 1Q1_( VMĠJVmvU.Afb]$WR-ifXn:Mit5`!g:Fbڠ單] Gfgph͘l\D!A!o+6gD#'B8sږv2p^*&f+MMuWt?H+f˛m3[%<$Ԇ jTFb#J:gl>zcxZ3g$Oߐ0at6ymx؎nԮ?C ^]qׅϬ?`4P}Uw@5SYv~ǵA4U XqA ]- |5DH㤬گKtxZ_t:μтZC-/PWiKsi|UDWn +䛗55Vs[H!FsuGU]P )m d _[ J5kߌ dXu4pS\Mrozn\*y?WhijS% 3T+%.4 2MlBK 58?nDX lYwujO<DP,b`QVLD,&Z>Ky'7 ~JZr WH"L E V] ?~aE829q@Zv)g fk`[;/9O#h~IzI (WB*,Z%qcD.lHQ|y]ȕ S \jZge&}qz= q>Zjlt:fMYih\I{&2Ǣjx~ k;ɑ<[b/١"f"eiSN 2PSj_tdm %@~ OhH/)/[}I:q>bkῚ.E`)ۼсfo9}psI^k>(Dr }#LjD$wƳL- *)݀bZj_,$ఞcTf<fC1lubab]l1&aS \oS1y<%=UIZڮ鏡WX SxtL7-eEYT8n4$T◄ e庋SA'itW(ﳻEƟmU6n` ZS{KnMdCi4ak*;ȯq-rEǎ)9 w3mV§cW)Mٽv$0 >ӼUo4=i-jb RB DIv:#e|- nc@F;!i e|\OEk;ID1$Y/ IH#7TWAaA <*,PGx .}܌tRS1I w jƬ}K͜6Ϛ/sCEpB|!׿ՋXEO/]|Ui]iO?u如|EyH5`Vp\6"~ıqVTֱYěM@Yv{F{ 22hiK7,3T\Aĝ 4O-v怜 0xlIV (l:˻-#'Gh6<3| :,q/V} =?%0ƴSE&{"]8{2n<"wp@4M]`,[f!:6M.f5gt5 Jк zpXwٕY[r}yӋt" -;g}f|8\M7b';H1=`ե.>W"{A%pMyZ,+c2b@;&byqi+b=/ѵ=D iT^nJekj<53{ƀa% GV;tsQ~*߆jsy%>m?ϟW w_Yt8AyrVǃֲ[9Z;~)1:mOR-MA C/  d;C.[0v׊!2XAg9L=Jk5l-OjB9HXhIM<@,H:?fc\G}GBh.>̅]88yJ =z(EL~!69gǑ2 :Ym [hZ5tg!/BtD<:RD2OjN`.#G{ť^ݭcv~RN`]bB tekO>Iش]k<ܧ!ː^6[u a@AZJEhDL]t“ \+gePŤQ YS؉],Ϲqg, fLd+ 8&\/&4?;6l\ K~ַ譚Uku*%xA6% Jp1%ɥ")LU?MSI\ /j$KJt_AO;sH/WTǹ׎:FmƊWhg͖8y`ѺREI'c葴.sp!Gw֬5p^1]+UQSə0* - A^q.5Yf$6K_)௮w{$ W)U%TjWEL9-_+O*ыU% qa8`daIṘzivD&LjztZc}5Zof B [c~,!慇C&lɲ%Yrkh.J?+wBzo׈ @kqi< :]~\kV/|ʖ7jпVKtH{Yf hC3իDrs~z(]y|0,į|-[v8zCݓFU O&MDy?ǩ2 TlTQެ% P蠹ܗ. /e"Q:|VU̪(\[4fIRBB,P0:cJ[5TjDC9~&R毭'u ,#|JJ%x(cMvt{GE@ypiN֦ 5Sod곖”RZ*ԉړwdvYy1DF+N9/jpuM,r9%|01@jgrP:j(vQ"҈c{؊5JW\MڄFy.ؠ],Η)?ɿr5 B M2k xU1_G"06,Ld;ѴZ,aB?2$Ac Za|Cz2r z  GqPݔ&9Mx1d 1Klr+܏աSsGGX0roCq21/[8AnQ.G#T*۽ En%﨨+Pz1zr@htB:}`6+qC**3l:_|r^;,kRcDFn!J]!ضMHVf?#}WL '[1{]1tܦl' +9wnn]ߩao+1j*lLVWkxNf=Ñ^g_?>DiDqFKx$^.LV)-pbIXa߰D-(>) X{NK6c&AcdzBEt`"."%lj 2HM/79iTrcg)~yʜRz( C&dstd뙊iiSj{s_ UAp<:W zelN8A;D+2C?u"L'v ̍یaZSw5S׭O õrP崉 }pK`"@=^?_JRsBI'qQwuwqz^e7gbm,v`@*(E*ِTp !vz. kf>Ph' %*LײvD C5EyB "h@((S$Eq ;E6|ۙ'~ hg#g! 1$pMn !SOF}@7ܗn!`I\W W kד G!HIE;#>€ bQVa)&SHab(Y5; oH맶PGw %t7.Ua34Œ +ן{"X ZyDB 3-j>imJV'+xn`[z?,Xu5cHQ)0CEU-$[hP 8liL|dl>aH/P_-"ڔRB;6d}rnˇd1<76ψe)d U7Zh$"ɧ}rBG!Es iݙ`}mW!ed9}Ex*^E@A"~1z̨4).3ӊz6b!f.{Dw5?7(kҏ{oƌ0ԔL+3N>ns`#~. 3)ԭ>}|l|Q0QY+c8 .I2+WH3ɷϥFx{п'YPD1Ai1zqpE!;ڶPAugs/s79+DqO !sn'Rr[zRe3xy)WæZI؈ȰE4</,d-)`v% mV1?ŗ͒HLI81~ ~J?̷ Y #9KOǿ߃5)Kd_h"; PP{HQ%gqv Džb5wqS GjQcmZUm\/88 G (pV|%q2v^xB\CXTrxu݂t6*5FgO5+.{d=oԋA8jq?UY2*FɎGDzРɣ-[K{d)TD֢*Û*E9izNY^"Q:2d%1Xht__ndz%n]TbX\RfH0,[⩠ P4]( 4Hw]Ӡs>5a=ccwݰ?g%CfK^GY/\衠q0wa즡}R.a[Q}EMb4o 3 #[185 @nMsY:]062ei:jMX7ŔՓvv<掬deS\C.<9C2W:ȁE/^ h)qIW\?)49gYZac612e24f2a3b891097e839f0796d8012250c42013f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b7d4e5bb0195d6fc78e68eaac929036d7f4e2312 b3a928e00a2532b750de343708079d99f266b0a4