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   Mtt4 ]% HOL-ex:threads=4elapsed=488.745cpu=1721.764gc=101.976factor=3.527zXZִF! ]ŗXf1-q恉<:P _X7D *-R~x=ҮD~ ; ~Hoq#5-UtU 7&o1d}7Ifp$dS~f TAFDs7IˈLEd8)C*ڿyΧf! [GS]3r?PtuI8lE<2$0] ba&(b 򕦮y!EDiwO]~]pEZ7J4ٽ0 /$yN .3q{ `?2ٍ2!4ڞ·$q6XY忊vt3MՁ v7/Vv:DuEh\k0ozd➖狘H>,(M| ^@q@yh-Z(=_$׀Dx Γú%K3Lj>Qɔ ̱2$`XPOp?O6Dsg=A$d~w4]TQr?Ua Xd)W_'5tcZƉa   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.MLd{"쿔BɆT$霼.\/NF_L N'YSwc[EB~^#q"ċ컜M[ӣ{\$+pDMs(jNTE0>q>ʃ#J>ooRHU٧y -t:]9 .)n* 2a)%TfA,S!(pt(q[Aڋ/ l@lϢ&2Vy]:h!Hr_vCݫG*iթN&=*ITl iiQcf8䌊U]m6Z)7 zi|2T) @]C٢ku~[`Q%RDqڱ@+G{?E}kű6 [Jdd; |֖!{3t_l%ׄ7>04`%\Jmxd pOlIB:^#2sp_@?UGF̛ .,G1U#KEgg+".#mVeI8@!y"R-+ C[8.]lBJÉ ɷoT +dxƮW \VDH)2@drixUOՅӔ_p +nM-Şٴ%~j# OKR9=c]pfc|$2 DhufU vJF? 0QX2 g2Y27ZR=V(Q*UA GmBJQ-EHÚnt]$]q$-|Ӫ8GP\ʫ,̌eu!H}Vz*~5`Z%k>6M"cS$I1wiChy6qգd,%㊨)䟱]o8QEI\yz(Y6E=/ʞ"z:XLҿLǃřu'ن8? ]GO xAcw`kD&Qx[ѪwK:SzӖEVK^C^ n-+bmvYݼ+SH7}AÇ$WZOG.#h%CMh;&?SFځG,bUs xuXхPaFe=:ɞVVT)l")߸X t ׄdzu?D%ڵ(mI/h,^5n*Ijȯm6D2#fQSZ%pk:^-HU҄Zl|ǝ֣7fu2jC{7.pFEwyu8 VuuOZM%UMZeF8*xa0xj8FϚp(K鞒 EM51]x" 9-zB8 `)oB@zFwB + ђѕXХ%@J~IahQ|qqDsJKn;(<.cSL6hgMpL ӭY-䬭E^UhZW`]$ܫdxW\JM,Ҳ:(,2qUFFS*AjP~ވyk-t(ga%h(p;p@83d> *ȒlFlvD+CcňƐ栻öq &׷]ܵA7s&Y"Z?p;o4*P.xBGTQu~E~*^JZr$Lj>`x8vˋ̊>!hB:Q9ng @1(.8\:fv=`{o2tvH*9x:Y%]ae1/ uD*`a^#Uλi`Ly>v2utO 𿲖ONCN>@@-@PS0dya HbrK7|IʎTUxg>A~ ZJJ )P @d{ 8|X/8:]\C!ރ1!P*KB5}&!Qv&-D.;󟡈55l*3<.@1gXiDxgoF މ5o+z(!܏Ŵ`'*w:rQ$P/iM`Nd KevAdђ0kϖ4y|wZr /wNƂ պe@ND_*tHy5CXzΦV'HiP/Gsт <% @.9נس/}߽) ڼݫLjUE)8@&ceK?WSVqcKr6ve dU{[pfmODk<u$ژ$.:-3mER6V 5M5i1.rqfwи~zGwN6}`ej?Asf=ƊnQl]5w:8  NR^=5v&_(sL+'J].xKToH޺a>SF$DAXԪJ~YH#iEsePm1V_<$#;Rm\ ,_Œ!6`aVCI OpM o&ޝG̟:1je^R4N[ "i`|G('[xLaM&s^zq)ڭ02+ݯo;yt`E (XC\CrwXE᳝/ՓWZ_0!-w4@ګ8ڹ%]w6+&"vJ΁\Xvf>VR$&UB$D,px>Z@V aj?iՔ<%#ؑhiri^m#CC1eK gyRtH.,)XO2Tj;{IA`I&:){w63/4țab`Æ5e { 1 4N}5b zdq=O>c&(L,QESRߣzm邭6$o8u-h؇=p|a_#!+x۱QT"˸CKHXMvbaZzݵVȩeݞtSb<;:ӹވ(?Il&)®/H=URHlxie4H;k+_. ]L'bw<\E٨wйcG#A]lu!q4aJlKc9H*p"3 noȆޒ-Cs8ad>/  )Zmqf#'{N=9K[d cS{V%~:F;TXLm SѭN-n? t1P|z>}&['w9lV E;>k`t+Tunk3K-6+$,-;us&5>i2wW06!hB*duhek!V>KPgK>&(0{0-G_tv1c희;s=1Nxk]I=g'{vURjڻE:QZMh 4<ߤؐX)e8@(縋qehtZ8vBYkծ>,ie}00/ :(Us[mg@>Ußv ૨݌vBޘ(I>/QQV>3~a[EkZq%v SeiN_`~jB]v5=#c(^F~x9!pGGI"?ŗ7ܸ92K#r:/F9DӊȚ}Ypڂ~@dfnWY GP[ѦC'qS^|Tߍ Gߎ@F,ÃP?4.څ mM6"T䈬Ȍ}uz{lGC8$ުiPm<8] %fӕN@BCy]+ &!!{&mKe+ G{Ȟ~DV}6 OeB|Ʊsb}eG]8pIEM4bJNoMv^ 1Lx ૚ ? ASMw!JNRn*kE#CTkcǻxnnXM5nz1oIBN%˪= a7IF&sEMU<Ȑ="H}"Vwe6Frp0inK5쎒i2^Ua2wDs Tcd P#`_>58%r+`D0Fozp _ c4Wf)QVκ3RLE|u(6qlR%Bي!ym2ײꞠ(R9L'tP=6BǛ&(PEO8au Ti .ؽ JZW^ߵA-gx-v._OڶzU6,7I{vmb-%۶-؞I{M|E4D)Ŷ_␛ɗ6V!|F.Qw5Xc?Dj#t,Dݷ&+]Ε>-$Q?P[=ꙛa|*fM`hR^2#=$D68z`#卅ᐊ*u첀Qbe7%peg[HﱊSC9V)2+!3mslUQyY[lGZy)If`1u{APy 0+CČ8qgYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afis+ eʽP1=8*a2f_#&~jv.xV1!n#(4}ף ѡ=UAѾ^͎SBD@XҖAqs}A0T1`OQ&^]S| ^_p޻48Oŕ?237dH_vMaXQJئވx|7WSJ,K_L,٪4:6fOznV>۪${kived6g. ,\-(*#&l^u%uP%cl(}:P4 dehy^-Rv!]PнswmV`gyi[},YPU{.K]Д:}m]健(a/̤oJ]K*ÛcLA S qmIrU9_{qoõWnə} 4[H/' '/ޒMI O#+j5EX"%۱˃p#U f`1M3v06o(Q_~ 6T YyOW 5[µgYZ7zXZִF! G~]ŗXi%G̉MP  }08;֢G]4.kDs`!G, mL&v4IzB; a:$*Ї:K$ >w?K[0`af%9fPHd n suǵj'Z\K`$"vSYόZbВvfNYinV)դXd;GnXڸ7WF0lXI%?w|^0 w^eeTװjRm Iya8AEiM~…QׅiSdxM{8>|DEۯkߝfω{u_fJ;Q{F*䛳 exY!ދKu3b8I܊ч%j00wR|9B9A>z$^C H#ffAVӴ>LKͭ|XY/a˺yϾބw)/wD1Ek>^j$Ӈh[N u+ONqWR+u58Q`'1& &Pym'c4hWKt]URۙ/7?USNhOqPSNxYa'@mgoD"i~wpUaoWtV_Z=OʫWu/K66d>]`.pDAL ոJ⎘PU3Br.*?CfmQ}ѭx A)HD Ӑ|2߳7!mx+Og*)r֒`A-!Z͏p ,Ɂ5^xU/ (% /C:Aw7^.+xC烞~&/%¨ mu(jZd5': бR7~-8P:.dM1)n0bOsF"BIT!UI_8X~C@Z mXSi5fɜ|xty>;JQ CiػbyLKZb-` @8(^Հ3ZiƪKbWBՋmzdy?1$; mau#D~IoKn@1 &/ -@U0zQvgV4VJ~pc=ue·w.A[02~}ϭ"/)=bYR lҢLV*n{}g{*d{1M~D$Q㣨W6ѣ=W~Dh*5t矼Ema? qPj*| Ut9-₃l@cie!I-9.I//5j\/Ut2ЄѢOX@h]E7V9w>)z5wȘb9mD 2B]S8i6GDgP^?=. o``d֢gӓr;Ȯ9?=O!2Nڹ Z h*p ڂF:H0Ũɽz40DjG j6)RnrS _f]a׭ϩNjB  va՜ ̑!L.X>k8p9=c욗6!Z? ]LX)}51;#`kS֛;=v75Ñ|Ww{2_qC[Y f٪BjU Y zi[ܓbfx~zT9ZIXiQ(URaƷz#'3anٚ>SSOԱ9?Βq`PbAr-)ǒW'}7 FBZ墬/͋D橅$8<Ƽs;:`Rܑ z.@ɕvJ㫘\.4JƉ nO8"Pw^apQd Mb %4?:gL/n^H{rM\HqΤ2"m2 CQ\LwT] ?Q/BraOrWSCBPQrMjYo7整T\ ~QIeI8{"m SY0rN:`ͺ_H 0 mk`)Y*#3t6 87{w~ LZ亿Mjܣ//5 {c04Jǐt5&\o۽dX| k(`~!8f>V4Ӂ/0$mAU麒M]ߍ6ncW\^d-\fF6bz{5Vցp!P73q/0B:,WZ #xTc}#7ʎRȇtGHԲ~~א[oG/Y'3@ &,KԔpPT-)#*r%2>o!)5m%6C-i*[Ae pY#jh8'q7lᇫH'ۢ2^رF* j\D7G]jڥFn?;|U,d<@SfF}ؚ|s.6_.9y#e7nZהx.;L͆[FiX8\bItXuJ!I Bс/ C<4i#,]g@Ѿ'І _pD֪a(/ єp+# |[ȪA&Ɖ,`@oj} Kgju( , E%5KA<ְ1X??,~-~:ck]^g}=>4Wid/8N"2̟c./7SsR[o LޤET;0X0Hڧlg_IBN*On$쾕P1SxD%K=_8o}rx'XBWp免x(oQ™i]Zz05wΉ}[ :l;.I˼I']&7qJA I%a¤W~++,׵A@HuLD Tw_Y"!lu%3<9֠YgLf.SQVVIή]4-&p< XXQ^]~PYonIo=f6{UO{L3".ICzx(aIT^Aʨ٦e|uzM =P ܹ>Σe=Vh>Nʝڽ?bp >7A(%5n;Mۏ(ʐ F3n)*BҶ6ޟ"l1񒁋L#a0Ж'HS9/G?U=H׌Xe9Uzt6RSC 2A UA7B-)7YPV>w2*nfgaiПf;kex)!I|h dz:̋L 7_2h(5RD7\zFhf4B@$^sp8=RgB+UU&-vp,݇# i1xL> OXfN(_~8U!fe|jgN.A3@ Co%Lxig_;+dç~Z*]5 osxlbrt`e?cQD)L4 HK1 lJ\i!z}\s:x5#˯k$]s(oTrWZ h'vbhZLZ2]erDc 뢢 y F-˳U~HV0Mx*Lt&V JO K~u 土y)A5^d͖F`6Ȑy)!C=Α*3.벺o:lpo/XI wtÄpj?YvnΊ CL o&(98|Pyf)ωbbd)*U}1L,v%zD(͉wL ==Sz&/x׋O"Q=m",(<&H)JEr-??Ĵٶ~3j֣ֈ~\(y6|?G .:M0m6|<^(2!d=- J&Ho~`G; <>UwDLX,ʾ3qt@@j}O[#VY8$v3đq@{yOSp3h*sτx+Q%k2*O5\%)ѝJvp L߾^A脆XE5{ *Jg-IJ.EAXT]!vr/765Z<}#_E{:.pT09$B-9#p,*ѱ/]{p;Ҵ R(Yf~nYQ־I3cq7OovOu/5WaE|(9/m+[]4 xn^өJV6ۚSS?3Gt92k1cw9:XR+2#B:ܭ r.|uq z' bVk6c]bs%&ǭ&t6'-Θ-joF_j{#@Nݩl8r Z<Y ^ʒc4}<ƴ#M畞1#ؗrR"t$]8%ʩ̪m0uÉ%\sFmƩP EjfḊ_rROrs1}NP6LR髽*ZlGǑo]>托=JMNmBY >Jf R#E"?~'Nr~221FJH<9BT,i~7Өqw 2FuP큄 +X)`oU&0w*^A9$O.e>Qcy V\fd,u tZꍈa߱3 Ժsyy8jy[< cʒ|v]d .*_-Be@g|*lWB]Mku_Ā>%yX {\=CBEz"{JNTODhG[OK ?++ooI2"`_X̝t&woםL Xԓz; }*MM_7) ,իe#~tZD5nAإAiQ9z`[q9㯂S_̀EOa@5gҦ;\+;yz,[:gCŏHs[hRfGś]0N o,LO@bi4泅%&#o"ݘf(!YuR !_|8}ه>Qڃ+a,u.\E0 ?+:2.Q+ՊU"Vm: Hj}`1q5ſ9Ecg1z: @9xCfֺeAMٱ# }] kP>6kSd4H"yu) ߄\.r i,p}p"ýEW.ls_DY6^@@IPy/^w9%nQ]\7sd^Eܯ}IfCc)h W&cHw㺃+jW4&=oT#=Aju-Cy v/bJV*=8)uV 8HN9?sֻ&x, rQ-_ 񄚲ǿaPv+%ǁU@Vz TNtg4x?1Lw֭.ZG:yi:xF|X\2io0%.aYBF 9S_&ul]r`g2nvnAO*Dv+{Awo牟)ĵe* H> $}0,}"9Z}݅y$W{P R47b@@mDE!B;5$CHT; _@^BLRIsgVd {gMFɶChX&Z19l gzsN8NUecO\]ju|hke1rS֒.Z ժD" t_oj#uhXgccEHPj8͂aD -P8$=#D5y!믩~U5\2|F41`!oӤDB4E|T$NaJ p8ƭU|f-r,i $;-_+^Dp`5<7Iy~(JpaAx;;ҒSF|&@ͥn(SVSԟ(1(̝H$)%qw=NbeE7%YWXUYo^QJk2ʥ7ORg/f =*c^wm!O XctuI}#a먛Hoyx, -b_H f~- |j:8ᙶIي@|<]\y爩>8S#Ƴсᴼwz tL洬8-N=ɝh gQ[~DIAG:t/V/’8 HxȮKVYosey wv?|^?t[cY0Qښ_<Ө^ ˲cҝ6m'*-I^'gs%?ƧΠt4iϓi,Jj6>w&:AbzV=L` Q8~'(QHo:͋RxEUSUt G׷ Te+Vpr<3b$yn[X0ߝ%@ܹhLxyzBa-Ua&4$yd³55/!2 4vyQ\K g VDz! O k3w5SS]v#btjVSH}|,_ "qW}Uf ~Yr%6wwUƧ׍1,r;LW2=鴥.2~EDn--C|70|rsm* ST ;2/4ӱN"?|hp"|63i0^wl"XQz!nvE/^fUp%H0/ B) }n$@)jBE)FwdnSSƎ[Y+Ul0a9vTOו 4szc[f\ḁhV2)h!06G߈΢ʚ >Dn<Ι2z'E5f?C F+e%|&oq0A#RDp8I13j禽_PFdeo~n5EPz!\rIbb2O]~|B׾R) kk_QQ{տA”fr404:QڧFJb>N3+9۽?fۉ͖ͬY ] "$9o= p*m*Ү(OZRNGV@vwV:k=>//]eSUa&BUAW\"6D"EX"wSRaUlx] 9n)B1{awt6T$E.]̊'쉴X۝TH)'NftyB'|_,-hM3jmOLx~ ʹj+({;x" G+&&`ܱ/~/8ɰA"z̺uKD|G>O. =kx$qI8-x3 t>'zud=;Ou𸕚 jg#a:N4~ʤ~ɫp5Mx(~a$a%W=>dtڸNՑsݒ m;+t@&mTL1=_ىK݇ƈ]𲕑gDR'*zA}[31z:5߂`m.4a}=Idڡ?bpg'n7*)^͏u<MiJg5Q"߃7Prb8eϮo>}\Q?xD^FJi5PIUgt92İ xAk_`x˨ZLS^_(9YZm{=`=U9O#8ȈHsG(NyEl1#k@4R^]Er~HUSw+=ߣ6/ili U7,ARP%+stgTJe;4] t˖zcy|YO uMI`.^Ei{RvkHx W˸[(e&*:ꬒe#YO=ɠTh1u4t2l8tZZװGCٵ*::/~6|߳W'mH _\Cgg+!5ҔK,#P3/xPYᵅ.O&':Sh0MBcXRfuOldp RN|u -a'MmQ?vQB=-tX;[A><-v2C+@bl*e))"W=߂q[I&[y7F `Zm!`Ԥ;%#G (ZV)&Ӧ. "5ptV4)|1$/6#?^n?`oE^ s I[A-X).?zI[!?%,U . o l`\33=fb~Ój39H ¼I`T}|PT= BƸ&3"ԑc&7|r1 Y0]Z0"փI T(rP+Cp}˸&(w&Klu[eŰw~woE* V6/cuq`8we^ s6w8>،uA ޻Q}}TB9?3|d}4a,{g>*F 3TĔ\~[x{Ue;N&Ϥv/$s@fG5Pu0A' C!MTX/W|!"ON*z9Yz ;Kt`ypS 7:nQbI3[TЯ*qb< g5Os"B5L9e n $*BԼ4rC*C5˘0.2PFX Q`P;U_7 V\]A}]@@+]Bm%Q 2(Yb U9ĝ!ǬSZ V6@rS`h'(iIhG(#K)X'=oˬ Bsx"wwÂK3Z%$4p=,s[~zz~L$WErЁ^i1ϢYd9_Dh' #^JãUITh Z8f0@.%!mG 5FUڥ¯Zrk'6,Z ^Gܚ YD~*s~EeAg0"z,r5$zf,~A~ArHO$tdpc@%>a2儎kv TPԵEF?Ih^CϵBBM8o;CW9/ 7WLr)x" %K^8ɶJ߫%t0AV>"P?Q=?1nG]Fec_AEnhN4(Ӽ@0Pk2il3EL!|Vge |ZqNNJY ڴz{H?4a9\U'_5XjQ^\ЊSTt+3<ҳ%u(D^BhֆBH63@)),iW'b69޽]u& S)sy4Q>ZdjwbHƀg!v7NB<9_Zx{DCx  LC ߥBAv陳&£[}g]3'&` (PΖ-z1-4#eo~>)ͬF4d6ԑcn8Ԇ;cVnC?/OjfYr"a~pv]PgL?`eL-SPLe+d ZԢ%k^"N#ypӆL2@ =РO1]Ts|%?j>g2Ӹ,vcXgeKml(`d {(|eXfvis^ ; a-yN ]d{i BNí_Azn0|1wp?49b1pg'.Q^;d(8!bmtJ>6[k.r~<\N+iHL0\ {3SdpRk Eb{i!q4ߤ%\CA*vϨ;f\껒#ߏ`E|JsRm_i' UҿkR}:ydfL[;\A(y~ 9QcQ' Tu3>uꆅբ2eVm+E6?=He=S;e-G-)in3waLG@y@K|H1DgDLLfzlJ_HNczE H͖ 7u[ C =_-UcEFM ;gg 18,.8fز줓ȻfF{ /'ۉL?HYn*v̦(KcdGϸZWP'id0:`?5f@BZ34 j'I*ޢ)xJ4Νz*KlkwFV#>I?knF) `G`FNBXٝQ[8ݮM ph+/ЩH4҉8m7q2\lnƵo)&!2W_c)?]O} N"k%'rvgm2WptcRzԗN oOrBUE>D6P?e_6co#dgdҜZ.{v0¡14] ޸8PB>E! e6h=fkլ쮢`$^ r_1>ϖ*YY~4HAo X*+'h9y2DLKh<BE k4|-g|x掋dm!6rM7~o+V#Oaaڈho?q"|a~s<Ѷo{5yeH0c3Ҳ;LQmwr*oZqL G'j+^:37)^=0Wj1C;shU5G1 j * }#0%&u@Wv=l?j> ^3y 䫟3u=7nh{Gr93g~_TdRmg"|P9}K--Kܖz*D2V{ϧr1^̮ 8um <;}1 cZel$%;3A-5Rɇ_\8=@ڿO _?L)eA1C% C׎7| {抮sC{ 7V:V\]zTtljJ LH74 m?0\F4yM6 )YRkdy|\oS&st~D7 0hz^" hdhvQej7`zD>ECTg==qirc0Ua)r|[RSU5c=GpM 06ވR=qM\~RS9},l&%9GųyD:% I& ~&yttf{'d.1s@DDulUsrMPs{0 vAx5ڲӾ1WT?j[MwWxІu fQkJJA)=iTGA'I1٤=]~хa\4!d3mʌ9?"Ƥr~1TTm NO|tuTBgm{)aL N4 JlйP5{NɾCs' x?iی}E[¤zT\cdTByn`_ܳX.ȗ,HQ.Ɏ%DA $2M6~ZIe~Fcv $ZE\{HGf ZtW,voOC!jc-4m" BO5wPn'=[ f1YQҷyGq3 ,2ת%AkHf;P:G({zO xKnh!R Cj .VzEu"3 J!j{8? `@3}1fִ YZWP̠rMOwm =j!tuq =Ѯm?yxHtzwʡvۜS򲃔qݴ]lzRSÍ 7C9DuU@8sGгhJL5R .Bb cxK2NCp HaRÀ7%vQ#Qfm X,+|!~БBNucIV3vz-۬kua|gs{?_v@^H?ؘ}|{x7| 'V@@hSŌ#cQLvZ(v2btn䷡t M9R|aTًp ]Hշ{zto`J?,ނ+%&6ۮ0̟c4H:zJ]0cnLtH(oT~Mվva;@ā2A4|,hHw6KVb-` 7o<)7c̐m&(J Ut#T\ؑN7 ZG<]Ib5i} \4SpIhJJ#NC@`t* ]$4\â^D/\';b{fAFV6/*"P 5*&HzzݾQ"iBV)M|L|Te2^XK6@+2].'ES[Αި="eݕM,#,u4n̵>!7gA ``j7$hҕc"i$ucˤ'ױ7<ɇ#qę(_џ @[iAy-KXo4nX['{>sCz5ryp%|!*ByESBIֿ #T;Iμ8 gx#vF0Ak"E z%gVRgda&7E%d>Sv\oΝL2И; qSPR?(z9%"#,9x`T$B;&ox`76+h[\h(cl.ҿa ḼPG_R\ojb6>6}z8P8oIzflld .xX(澚:EnoW&v\_ TQ;UMZ>$)peip#3tmS'4 0c]&~a^H0N@A~[9K_ 5z/յkg*07 LC^2%3;JuB:f=M G`tc7˿DLڳ[ŭ]lKće3tsoy0;nۗCR(.;}#Ÿq^#%3H 3P2cS<2hj](L([i 0cymXg2'4=i^C7C26AS׆$Dgđ\?„_ظԴV v4p12:<]QHīlxM ydgY>XgCEw9kZYCcd7Zf#*%nނyݑ=`qݻ!pJP"9cWi2ӯK:IF}m6WJC/Y; R$PR[l{^zI^1'n4hS`顏Q.=F Ow7E&D47: 70ؠQcG2 62J`iVF#UP~;L}xrm ̨Ӊx˪\`z,1vNƬA벟OXfe\V˜Hχ޷QA{.=φtr^b ZP޿>w0;g?(Ncװo9\|BЁ7@QIor(:x➣k˚^lI+;\*Sp%'ࣄ8Vnt:x_YS1 LkcȠmM"y4vukz,,u֯d&Y!\9 ނHJ-?V݅$Ҕ8I1!*fn(9GI+XO35zf=W;04zTr 3SX42'p\x-K*Cs17mw]h*C}g 9 NAfn"*Uyo GR\4!9[VO/ҝ9M k1LJB%fx"gؔRJRb\J}>Ȣ >V244 H "ָvN 4!tp4/-\& 斾dQoG5HmBG3qJx4>b 0\ʢDë56ڑX pbS5<kpw274J YAUQEKvf&u|k%b{qB쳖e)tnw:@\Jb-"XJSK'P""`_ЙYϳ A=/ϱ;˗|f;0Tbf;b+SlQ隸=I}iPAG:Q(V8ToCrݖe6Y 䃤ۋجT[ډ%%VGY)%5~U30nTr1-⳯vne 9jrsTi' R1h <*h Dnv'IISiR& C-XmQ,Nd"hqV.jDˑY kܧCFJheD'=;3k1$0ՑIH&.*i<xdd6NS,c ZV7+"M<(ycI \ƽ\ɯBRN.<*D!;` ~NZ$\H\xDDv7#W)àٻJ?s>CF*IMs-fsdM"Vfb|7I |}B2:go:{+/ j;sb.pzlZip nRBLgfO3sR4#]L=5O^xJ(Et|‘4+iuŤYslfRB @e(?'cu&kgjg0ŗ1+bcl(˵|4CrP-TѺ*T\P1o`72ɮruUǷ-96`:TJ$ rR.ј/|n3@>&25hSBA+ %2*7YD-*ɴO/IͿjRGMx+cw6P[ߙ"޽ ˲;%O@&V@Cf GujNyhg=:}^F]*UR'LCL"v!S.Zۍ8OԆ҃#_"df_&R,nPE#׼lWK;~Dlu1sw"1 m ooYJ\ԋc`>e#Rɘ ) id1u.i=Pwor@)0Q'Cxo']zaqEيxN ua]&щ*mLnG&nmwRgB{1-,hVy)O=$a}A_}>Fa(;n2ᬬbW#Vx#uSέBB̮=@`DmAXPz0?S &|{eI;hfqqZ0`>AJE;`*7,,CfkY%{'SGoXc2 L[oZ. ,5hoWXѲY=UQ_$U%-Lu?85f+#gnZ6bʐQ̖RְHS IUV2*Leb ZrA{;f|6`SQf#p<_:._A J#/ItM /mU"VoN6 ƀ- jX[ǔ69$z,~h4gu=$m;uf DՊtaF9* ,)+||*i`7rm 4Xt1r8BkOsNa07-_4)ESaw4q^5@ W3 ٺXj?zYbtPO8Ya6zM`yxlhZQhi}-6$^`FVmMt⥗!jg>[h{SMD%f;!\D%XpZnq2ɪ8qT}xz Ȝm09Tf6 ~C$M$ 1iȾMuZ8|]5lE:\]X#ddԽ/qJAJ[9aj*M40HbY߃o(S V$U#Į#;ucp87>Pn)|t_W!㘟}O;Bk%w'hk%b^ja(^y,8!757c9SUowhvx䬄wD1 d(@k|!^OLH1mdĤ5䷕.ZP-qZ 7.5!Zl5mq{ND}skMqL:#[86c)U~!i!žH0ݖ쨖4kq3_ u|.=ޣl((Idy&^*s||6:=,G.̚e2L>sSAProIdރ@>] pRE{= 87'ȍ7jtP!fyf̢.wM;ĉ)\$}qݹK0vпž JUX+ugI^ fF\ Oa w7rJy|@8 #^+3Z`40`5jQm71hiL$āLT籧xNRc>6`!%Z*b"z,Ir>V^/OD K۠0Lq^瀋x7hYTβSgVPg;7LYxH&Hh57XNdI'gJep/ȂחkoYM0ۜc ӤU9[né)Z>R X~aFk`kZNES,+uplr=^^mUs2n!aQ+/?hu>`"l՜Aȿh:0Nu}t2v+Gd"b?L2mY)blJf&Jw¤lUO3vۨ!*!p[T}ond{0v9M\^w]XӿKGyLX4{M6&V_.Ldl2[ t\g;i{h]Ƨ, S%/l)JzOxK *>!yP B 3,s c|iT}K,s=Q:r<@,lwiB1C$M# i F?Z JwF|)S%|~ 2;sUkiSn{` ?Di 4֛!5+ 75U$AjQ[҅<Fj~vh_R"yQ)=Z!>6)ec?: s5FuB5> /\:yI*iX:$b盹=){s |3I^؆9H­+ ~>+=| /f?])&ȩ p<4',GS$32\5^2T2'c9}KR>3"Kߘ`'%xUYxIlL^6x#I%mك_5^xmT$'nXĀ YzA*^3 4oG;A*< Ngt #}G+)/leםC=oR3Z$xk>s,D< 4scC*(^PVo]#6 P]B7}FmYϟ$tفtЯ3{au%+ &FHguBrfR uїYᒘi"{sK`W K3a>V&d*< N,ެa.ƕk_يf)ޗwxф)-KeRz*vJsCWW:q*.w[tfumqGS,̏=@;0F yQnHJ.;ؑ xH=CSPS7_sؼ&8찟tq,q]\ {;#B2L0dޢ?jh)Ir;(i䪳Uf.6/Cl[^\lK1xKlC9݅ޠيfKBo~CT5|2ʯٝ.L?Ӗ$ˁSVXK&tӛHY,cZIMk ~ "'#|cs؉Ԙ}UkzNKB3 UyZl~1ǖȶ&0b YQ~!J+kjL*¿1g\gֺJ!gL~3w18)AU^Ks!D;yv #z Ѩqf6WĨ=߄g< FdJp,G?9 |S'{ޥB9|V0zH0،npŠGWiL szN{jVt9teʒ=YC.˜kVoªA*IlNɊOZ)J\I}\crgk,/qR7 XxUKH <{8SN5 wE*$;;Ns+6q8V GH?#4dk YP_śGoASp"-Y`i%ˬ ")M*ڱ/4?ކ{j /"4Fip?Ii+h 5A Ď/ɬ/2w/IKĬww8l* ` VA7v3;lv"2[Z#\S0 s #y#~G,g:(=oR'F\#ʒarU߇ؓ_ Ylyi[Gg&ihɻ fgOci"N7;#b*bR-Yg#&՗d/a Ү1a:hLt^hHk~2t'>nܾV 3:TUKGƔ"5@;cn)߆gYZa0dc0894bad6920f4eed362e969edb78a0936c6478a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 4909c2e6b1ef8105dcb0220d99636907a8a8684c 72eada4b273db90031872864699de94deab701b4