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 v;v|T ]/ HOL-Quickcheck_Examples:threads=6elapsed=77.888cpu=200.848gc=7.8287zXZִF! Qϵ]ŗXiɟDYK<;Fb4en:m4¸j8Q-T$' X7|kTʚ :K8}sb^ )BhMM,6FҬB{=}dѷԬI_w@-LӞ\RelB=Rr wi)s^p煄WZye~-Ds}(sn_qmp$hl(u<==ZTPɺ| C+cP)qns$ Uvf:5R1O[Fq4rk'(<ٽyvAyF_\5b13+++wbЀ2Boo4!9w?*qivDy}>^xfGwt[|A#a6orC2%YDA@魛cd&fM7=KHw!:K0ESt`'Ɋjt8|< ).dтRm@}|ԝG~Mఋei 24Nw^Z4szRX?MҾ !ըm*`_+Rȳiq61;{dbCCq P߬ԩz_2S2OLV[i\,U0/=];޳~+;q-W V-B}:%xzg]߄Y^l ?*?BBɈd=b]kJ&~gfTb(䌍*sYf oY~mIOXH8A?rXsz].3S$Hp 3] c\+0";{4m+UE($KBB4z4z2J k+F9~XZO }DI}X^T$!)T.?zjB;uIMGyXR:cHr ;Թ#ejS?1kL2Q T:Yf%Dʒ2 ~擰jYn?!6Su6(%H>pYe)WZuF;Z/||w:+ydvIyjvK.‹ΙLy.څȯ ֵ;rM.@7/o~Zm&P/=5>t_39I0T K7.Qetvs~ZUӏN=$YQ̘a% Ɛ[e}CVp|Ƣ}Nsa N&R/po?ݶ_H3=#nn7C4U>bx"[]d|QhP+:za UcJ_bz?64.&Kk  ; HOL-Quickcheck_Examples  P\ݎYBaE+XthEGxsGTt!nR%p}jnN{4@#7(1/T=w9ȊQ3 b!'!Gr8xKv_.hln൷eš/\^RTSax_s^s=c<% ,Tb#0)s9* veWblW+| ,M4ű/k1=h71-#0L;Q&Т* oOi7|cv>wZM3aJ UunePIn(׷Q|[I8$Ȟ9^:`;sl)'.2|1o Ubr]|dZhz  Ăr kl-J$}bwX!҆{őW Tz ^+|ư[?άj锎bQFN dJ)f0A[=ޱ"\#j8 #n" ΀Ӝm;#_"Rl(4L.,vt?ƒtjo~l E%U!Lբ."~as/\#ۭKdcb2.Y85o{8@뻼-;߾CA:a6@g ޷iDO3kn1ӡDE۶m6+]U]~l/g rЋ?M4x9dz2"rh*tZzC2ِ5[賔@]@p FYЯ}[D [ \`5 ½TSr ҊS!co0mI [9ll=>mRŞPʨ3TP\_dcR^DNʬ`383j{pm{ӖڳZܥsJj/=+΄}SX!UL,KCu:t0P%u>x!!0<}Jr֧qyKC})< |e-KUQePfؙhL~bf*AA*;֑9.5BzbUD$7=2  OV̇CjuGhDG0G:"*qPmf8a6{c%)/@yn&/-oVa(;~ǵA\qJ{R40(q;f+QLrOWH:ښ1|[l$ T/6GO£W+_ڲehNO XHT&f?GB|(p棼ub&دrʜ0GiHɌr<ư\TUǙljg=ZNhe {_VUr`XyWp({C<. mذ$ڰAENxRN\^gEOTkJ 5H3=D Js ;Tv r?uF9+hA:c`UAm؀'9 K #3ČZҴpHՒ=| k+Ld`gO1!VyҀ#c>tCq}v7N5a g[(`^,:1?!e.{P㓤'礦ʴ5~zcC r6OlΤZ -|4fO]Nd:1K+\x@O߀NKc0%%,p| Re(2 R`OGc?gMp)U^ (⮞Llrʰ O Տp) )w߫g ґ1 MrK&`zMмs<۲LNx>``r #pt1[K3X\ G]ļ4s90U8UD1Dچ6^?&t=+-7MF?^Sb{ YʽrZ *-lFU+' Ξ$_8%DEK Jj"K"ڱK^(gaMVĥ ,t!fe %GFT NE71=goz1=8OYw-n,ǫ6YcpV w6-;Z`@4h ),)u["/vRˆLB M1W/b;nDP>z8f~t&WCj:Np, H`HRU"H0['/0ZTVbci`Rf@K8 +W5fl[-R {>4Exצ~\D #= օq@B|PJpr?iq.0zLQQ2Cם>D,H|Cb K 0ܞ^}"_++\28kE1}!Qb)\sxk׆s hL ¡5[;} 4dIp|pFJwfg7_dTz,Uj!s w}-DlJ=&D4ʃZ޶L!K-׵+NxrL3=6>7Y{؎Fw;gBo3| (~>? p*9U7bFFN,bc(kb5o89;ޱ"h"OjG%g1yN:l[LP=J=A *EQohU*{NzQ pRjᑦSzSZ1EFo #P.%KiKK`m!'׻a%&А^qc2*7*+h@e|1v} Sȋ>ee#Ȗp?o?%B@ aի!@|FGHc]Ő[ƄmV*sC(_CtMn*])Ox̕֍ #>w0\~c҅CX{PeZIpd9W={2&68<6')])J$0b*(!f"'줐ŕx5)i9 7(޶3[:Ƀk=[2tBoT0Z; Iƴ3+)H3JӲܨdcNCBoڤo.hXg[q>Oa|SC;AioL0"t@[\ buKzP,V=f#;p[KY ߸ڀoMoND)3v[ZŷEp0Lz"! +^_~͵tt Q ^ ypl4=Ճ n5~t?N\~Q.Og4'a3$ nkZKmȃC29M(W{F"F-a<':3*=,ޞ y'@CCO+[8Ynctvi-d!O{PnxB"Qk%g/ r{:y[~gz~Tu4 gTDn Zgx^s*9#c~t4]2ZnҸ #SK+̰;At@Y˟69 wߒJcSy+B @NRbU$?vZ#%RRc%TH,c)50fUһBsN%.e}Kߪ>{:U`ce԰(6:ed-2~1ШzV!M,M@&#nU8urSX"+h&@FO\I,\LmZhcv1 d` 2( o:riQSAPBTX/N?JtC q,׉+,Ϝb4c(X}ɥ/v tR! ,~)^hִ L\z2g'kr"3JEnXԼRo8>&_ԕv)<#Q(=;:sr:qZ1;uNyIPy!e.8Ciug?ɧػr,|.W6"~shTRRxQwP.Qۋǁ3# ES8bmMsIW4EyіZcfŁuGq ' ewNBƃm9"!ٱ,o4 `C9 >;Qmc:5$1\%Z!C?2c@R(Fs$AD+Cw$iv.waED%R+'aiۉdsa8g5JE -E^%XZƍmxjR 9⼾0EwpImc њ (s-MdP5z|4380.u'"kT!iBHHz `kK(fyRZ5nbw.L붟M:e.Vv BJj{kzK8aW^ftF%.K>!S8 ryM"t)ϭ2G)^Ey@2m< O- 6k$oJ-q3b4[XB'ϥ!Y>(͙e L;V$ґ`9J_$#~/&FDR Ӑ_G(.]s`9d9GCbp*v5pwz)R TАSNdx:+_8/QJdR(9' P|pyc8':ݙVofv,DsG~sVfXuȣ˕y{ZSծm\kU\Pѻ{"|έ_#}Ĭ*v3\/咘dEb |6Vg㔂a{o@2,d޹,2VP487]U E}m靕k ӕ@<^ۭ_`,BjmpJNTu),c:|AR"- c/`żRW=JI6M۟Ǖ}A_=EDpqb[ 7UqK- B8`4`ƜNIDte7qP 1LjbZ(1%C2P+wEd y(!,D4KZp/+CB)) w5p&Y1Ÿ\FA*Էhf*ZP„$%iԂ(aYj] > )pX-r䶮]|{ʎ[JZ/>ZH#r馩# \JtM -&{R%D'ūg[Xr$%7ȘuMŌLtB;1xI]RmPA^/RGqԁaWf;VD⊚DL5 ~fUy6Z;VgE]8 !w.ֶosT`hsF(LH\VֿB5RU _2o#seeܡno >ψ'٤uJ _! U-0IxA eYNZQv-|LK5LbcbdݻryGC5aJQ#^,3%&*<}Ԏr/ 8Mk/Ԅ-hA שヅ+%xd5fv9g欖 Ȣ$ߩ !f JYV`Ox `$v:WhvcWټnD߼NӇSIHgC#a7oh$}^ogҋ^jj9-x "~pi%Bqa[3`Y&iNFWǗ&j_~}k2 D4~bJ9bAݗ[citHB Nd'I@E}K*.[uTVy smcU"_|7[ĭٻȼ+;T\8M|>-TLV09cBŏ P-XUBceT^)ʛ80I`R_G_3%iECl8 M2)= 8{mc;PGٛŊ/C?iώdvs$N*cO !G}ԿN! t;"}\QKj\Ou/Ng\"k+ψhم7MwH P0ň ؋=KN$P)k.b<:+ z/3k~fw $wBR}n~Ј3HX‹-v0:d/0LSmJ``]nEDEBE*%OjU;-{SdY囜NF~ HA6.u;.>M9{QlZFGl+S#)4-Kid'l0Ծrz 7&/MK=93ѳ8W'HX(E E},HnAX|L7xro4'Y5}HگqZ/@0jE <wZߡ:qUj;9ܙ@nuWw7XFu" Z(1 nKԩ"wsX&l7>Y:MwFX_-E6I i`& rwG)3k};ӹ `De֢?UA| yd"!8 -۶]Q!Y.vk6rgUܩ&y2?P`S:d >Rs:l[MwΚ A3,>߬U8O2=뉴OIMR0 }M6 5$cXO;UOy/ЭDE۪zBe*LbK8FyuI;#k8G F=mZz_#Z'5*M'8<9'C<7a?SpjG 9 V>ÛŋIyه `ZAXo5 DXZ8m몾uHLِ-rE}2Ηػt,>o [Av&H@f(ZA+`iFs#Û=2ƁuW8z ΢fJH]KPӕ ?z8IeJ>Xz5cg5=pgDllQBԞKM"tbs:SPI'Jz@gmo3 h0 04p>o %_h]@7|{W.; ;yڀ 9m!]XO)J1&m_uha _;}G)M;`o :Dh AC\dQrMBa ^؍%f !>V#!ۅXG v͎w.[~< !q`xe-8=eC;їi%ew|̳A#py0RKSsL+NX-fgI^VrɓZl4rm~l,\"KgiހMiqy>l0kaWlP~|)R#?=Ze6RiB4@!6jE%^"*2w3Ǚ,x"oU6s:)xtW4X(Q'v8o3h|A浡k ?MMyF|U4ұ\ހKa0[GVLۀ>>vT*`Qq| _.z}گҒ eIv13Wllp(mYVW%ĽoGe-*!ʔH\!_J曤IL#l)9'?? 6kc  mVp*Cb|VCHh 7SN˛i&'1کck~KҤ{lYcIJ~=mHYn4c5^&(noF0@o$sU-K`šn3ˇL'( yGgLp*σ?*`]4wC1o=2-MUOҪ5Kvi% GjYVjlq2!r^!I'UWkdb?2Xr9Fha|j(vG0E:fe)"~ZXK:i#`:CyL.~EiuaI+R1BDq] O"h?v8~Y1)Eg_ obY<]=Vצ^?؞\^I>p8F{-&W z%OŸUsNu* ۧ<K(ffch9R/-oITQYD%f|KL)At|*@Wrr%}-ڍáNI}=MX؎/u4pgT^n +rt_jݥFRiOllxVB \0|}ywT`NT}_/XA{rw> b^Թ1z!gRȅd*saOI=ߨ>*cJ8k :yz1 D;VDr铸}ĒTcFbUaC:Iq(@^<9D78%\I_X,!gдClR0SrU┡ 1$vLPdg=-AC-~S_Ο=5UΚ?p1j[cCVx6[8 C&qrBH8DLK^~F6]2j?N=v`5 ђ.jÓ"$pSz..iO8Z rA==ulMD C̛JqOr ~P>PlAǘs5q9rؾ/as*m-kR < g.g:n0rX% (wU4w!7DGԼ^0R>ժX00r.r*kʁ{7@';wvQ81V\22p~Rඟ,{jw\؛u anHt~+D\]?so̡;yA= 5ܠ\/0Xjʼnw"cs}`D8$/sm6\m{Km*P7CLMghخN!-mEbn#뮇;ƥUBIo4b~Ja?e[qAfBeB K& ]%+BvIf&YGZ9\BYъЎMxP%`l_b;s!᷐(<& 9 ubQ&3)Zv1t z-Jh~@/yU&=;#08MKgi^议7i ]#l;)t-Wzwĝ% H*=nAgS``sƉoBP1Ր'TsHNWp< ]&0=-3?*CrvE3F1%a+ s4hPcdO`2Xc3OTh:ЋFZ gãGaex>~]ҡLv!r:Niy=>y+a4Yxh"l2_/Fvi<طE0h [h ~F[iT~5+k.PPG&ϴ$X!;3pfcbzj*5mHgZ\B> #}YhUk<0#q^'peBQ.ȻZ6FA=Tco_@* rIPDTFv#̪5 Ɲmɡz9VdYfN䣪;))_4-ntgS2%tY͏$ z:us4'M()-r! Y+s=P@As[ZҢWllpAfHͶEb\fL޿ 17f7I&=#WFݶo>5frاZ|Ck0hv-VQ?Axᡁf ;%Տ*FC[;\S p:I$JB+p{-}=jSJQKŠraRp>IU؇T~%g2s3͂ cT(?S5Scga0Ё|n?5u򱥫b~O.שG8.'ٌGc4uRӴ2R䙞|6r its>+s_l( DBl܍vFD+"-Mu'F6%僲 %q(M9q/a #1\}S7Rɗ8iS%>T$@Pih9?L] fGjp$rKLPv4ʗ 4sJx6}9њzGV}hƼ5Ԑ,* zƕ7)ye ۢΙ(GX 0Db\ո> SĿ-D[%ӕxn yKv8TI9IĤW[B痆(SP{2ѝ U!!e&D},`B xZblhX` 778;~)PbP3IYrαs 5<>R[5 bu *d'~/<7OөSPj /o2E ;6K#^BrO>b5ˠ8]00hZ4*## K" yo|dfK YihGtta$(K 2|Z9.#%%X.낵X917ho)WB|'UZS]oOHI`Zz}[yNJRo01{p=KTp>[s4N2trv?\b-!-VnZzJvՕTvfn\BzL:agp3XzM攡BqrMw~+dCpUXQ^0+5{'-eqp c6FN~THi"$/ (խU9ΘX2GX5UUdӌS[0`&e*XtsZgPTfCS y =1Ti-̳}IALVY=P.n O׈AQv%;VGNRMB!8T{4 {6}*te&ba'4<&`ʛJ(v}lM^_5\ET@? کM\/#{sքX6y&>F˻4'6\0Q3N4ӢT[Dɛt\孉"\oܗŎFfǗޠѥ&O@Ŗ?]f6Ærƙ%MVYR.>joI5Q=;k74/xݔyT&':qf\6C M|ۊ3UTA- >Nj?A(gEU= ~AZX0)JH{(62顮~ٗ뵫C.#5FS1,&uCa"$XNXHڻpۄAWL `*U x|Am4IrĕEb N^ȣWZFc4^M?T` ziUvIܵ.Ά& (4_/X4:`f|PzcоŲ]tȄV]ha I~%f?5qͻHsvN@S8(;k-߾QD?dA *#ܩgf;$GNq[QL!4[u'$;tbقOѩI9'׶IAzpZ\G[x8p}CEdZc2Q">ͿZ-\޻vmI=ģ '=bZ9L !AHOaXIΦ.ńIG{\!y[YPڰ޺b w.O< ʛ?>$H"u1i$Yo֯ ]6prz$m/Sb_gQ~,в+4n9 rp})ٞ-i9:-~i{1H0k9{a^S hkW6ٝPW)l3,KKm҈8Kps8}O֤ؖ NtK' !0~l|6mbjP9*Cg'=B fHtU󤖯bqSP.ߗuǾ̊t3ղKN{Ƒ!DCq&wQ\!50s_/n\)jUpւ< Dw`j϶ų1Rmsj$fpnf:pz20bEprޟ]XP=I9 6V =RG峻c~ ? ]PKI%rS'K0˞G%jqMOqYހMpXe(U+p:ds/aY݀6lnK/R[D1} #ϳ<拖~ WVS2q h[GBYH '7wX0j7_N=z[y(/E&*1?"}{A Óat}%F}cƔ` WL{9N86F YQDn>&\8"a]bN8 ~Hh\_"#UkDƆ7-H @U>r LQS.aaW1%k0Ys孤|r<*wvYU-HՙmQf{pNT6cVZhT#2!> Q o S?1]g\"sYP~g*zk9 { %:@΢Ch@ɘI /~,츟3-ٷwB dE *ʔjA2h.vݐ<Q-Y+0T7W{P t(g|\y_ƔG/܅6\;00>y[ng_@gDLZ(̷&`_ .b-s'nB" w}HӂuXOԿdb_E@f:JBaJRL S"l4C?#B~.>D~]2Ak P>ʥ4oﶞG,&.|vnYVM!7@ؚOS`v{澁`EEw:ySލrr |QP>_.DJ>+OoԒj &HͿwܹE 5ˮ-7[eb'ʵ_>WF:Y1zU-\DcK j!ʥ v0e*Bp秴[7+o?1R8u.E .]3F֐vm\Tg [zh\kwQ " Mo[u TZ~2eشz$U97hHۍԇFg 7h< GHCaTP~$|KjD4U#B5AT3OWZdb7hj& +F2EoU, Qm/7kWmmUZb<ME_S2sF F{ד.D<1LM9T(@뽤>owSL˺@Fy 5 wU[7bK<_9>dgpj@tuC!K\R2a%n a Epq!˒{1,M0AK/m :T_ƒϦb0R{OhߢygÇLp23RNÍm+CQ-o{::8s&x(}}YFZ. x%/~=pk脝1 mY=&lIl`Iouy-{YV:xL|W-`ѱp]r{]ӎָNF&>|a#1(ٮv/ݖ~L.D{o!vYOTjA>Y_˞2!e+ɛl,@'^^<4 >,qnbJU٤4tKB|?QAi~{]WM<먜1,-:QʉrQ@u-,HN(erP3h,I.H:gdci_.[)'ؓ˵zb:Kiaɕam5 )`X?㲜&6"}XwpB EhAXsj*OeC0f6$wl"g;ί)p0s1MB֏j$ڮybQ 9Ҋ 8pر~e[5C=,Ev0- [Z7|&я!)2"e9%zKWOWݛ]Il&HbfXIo5j]^C㔑b.i!eVhH6̞1M{J䐖\olz`\mXâTtz*aցk!f+\pzj݊;.!yF)S/4P0B6K9A$v\UVCҍrSXPPȵ5\B|͆LQ'(|B\sloQ=*(G%Jzm#M.KNϳ$BWJUړx(מKeis@$_c.T>ūLVNAlgˆ_eGڧ-/x}>3,/-7w7(9"X7qMT)#"ݓqzJ>vj!O!*=qrC~d#ڸ~)*m:I  蕪-=mS 76F D"I`SЗ\d*yfF{S5Xc;4/z!I{bԚ0z2|q?qYf˜\1!1YuVBY*Ho Ё|Q=^ Sek4i?R8kR~9ry},9U4Љ }_I+8yDm Rs p]>fquP!S^m.\sLx詣y7xsbP8. D7kD]~f!ɊMXOgy ٱ=Zzo>OeZ6}۵b _a2ܒ˛*7 qxy+;m\3֢d1,5qjZc/<ݪ+HJ!w[mٵ^AFRc2Q͜_6*)ֳH<>l݊`Xo DQu#="9i"p͸8v _,AL ɐQfD=DSG)g#!+?yPvd5bMiH7%R$WUrm24^bSb`һٲ0|@v;3">oٵRE=p~Ib}"AA'LPW(]RP 6SdTjkGUF]׆}UKxoIs+c*w=>8r)v'Y׾gXygMМMɺX/yd Ql׮8a6\t hxAX'\VVe-ʯq;R]0<{$7Kǀg~lz)=mfnkPnJT?|Dc<Q]?8X?(}"rÏN8^ȉ+mzA_MY]r=WXWwNJVȕaɘñi2n 'چ0,ԫp8˞B`'Nd%)i<UVHSQi绖:$d>< _hTa6$Ån Wv6`{65M {kuh&@E)`ǷW|) 34Y"Mt\ ͨH)BXtQY|+~S ^* ZpE>wfG&x3M܉J2c Z<{'қ-ʂFp7 A:„%.ަcEvD&dM΄?hu.pt Av4ZOȕ+'kV\\u2̛=, 31+7 M?un+w?u:7{1ҤyW@S<î XC0T bAܠ bU1Ba|yx޳fWDuJof4?_2M1OĐ^wEd)ZbJyYQE1E(fz; c[~V\I:'4zQ ͵sypBכּ`eC>RC(x0 VPv^E U\U;ԴDd-.q[H !EkJ7|a`zPL5YQHOaM0XqM6P?LN݋h,vQsfؾ_ѳ^Pi!Ϣ2$_AbUώC۫8O5=TpՂ04ߍeJؘCB9-szwf>R6PQ:z1MZ r]RS6Gԙ͖ҐQ㒣BT^n[d#`f1<ň[9H- 0~x"%)}n@'6lYu7`SIV FDwh/&bKd7=ws9J *r~>ූ%,-# {gY^DQX9퀥35BN5g 37U0ֹK%0Lmߘ eǢ7թ h/].64 BӑM%/6ll~9W%*DqЈvSz20;*d>b n -s)Bkc6WC,%-:X@dhAt.70c!<~`s% T>ݬhQN0ۢ_f;.㖜'GmIȸٌaF ޥLV+rQC=ZO+sRum8 #) ^\}C)vxs|zmQ|zgabTLW:Bݲ{-: %0p!ۊwhL' )͏9Pʵ`V%{*ϤyPЎPuȹ9 cJy2ЬtIB͒58=KƬAGkڝԍ]kVrCӺ*W\@`~\XnKs4PU\6GwUÈ<_nqPƊhM}U?k{#j| ;E(CtƄ4ssa}4 Ug큓U_uBbvInD>+]XREpSJ5Zl' O+{WCO 9 ZhXOE({3 u pxiZI&U s2Z{xb5s؃ XH4 :p A5jJ%%Xdl)gS= e ԭ+`ber S(cka- 1P l"M+lXz1Ji*џ4uTm)׆P aa>Cy:oWu(x"u\tG]ڸЧ=YżMw i.-ݓ㜭rn [ܽꨒ +uwE0yw4Wo Xoff)T]ҵsx~t}# O.q*`Nbvaxk,| . e`#GOL)%v;w dWB#uTCX3NleevAVpa*VqiVbԘwޔ'b`_I IEjqnQUd(/r/5F;ͻ޺#xy=>2it4;8q Ȗߪn:\G$uw׀4WEE^_8풏d @E!hW±b7HC9p(W,5?fkB*`[% *h(_-BwJ&d$sLˊQח4~%[p(cN.f _S T8fZF lpLZ){qq0Hơ\O7 h!_I >[Dq>+V208ѐXIYE%B' jN ӫ)N]r4GIJY "(wvᘛ <vސ!޾vꟑK3DӳW)l,WF90y/0^3aFYn" eޔ' '1hԨɫ.a-{&R -P.,}IA9% VAsڷӾZ=KV)8* VD%x31Pn63btº7pݮ ܗ`0*$$T6УM x׿Iͨ,Zah=5 ?eu~_"_5?[0Ȣ]6K4"ND٢iAG8I)(f}*R;!f/4lU` i|d!Kt*^zq3Yw  E .K`~fjSR8XMWSI5q.t ne5@g ߝz ūǝ;G;M`ѳhsK7C9oHNN젌EiaSZCelηY: !4<4}FC7 qckypJ?m•,^S%@=%泱]!X`"ȣd(Et']/ӏc./!zߖS4u>x;+՝7G׈D.*ؘ&)0n 1^tМYU]+iuN~IqgƉqu@}&wn\GIؑ}s­9wr- .$r*Z7קgyZ}4hI.:=,*_I2)'GOFݼ%-oo:D(b;-ڴ١ 9+)m ¢OΤZ}P'2QEctVRL"4#Gn^2D]aŬj4.>>ANf7C8m|Kk6CmQG^J lkh4q)"0k9`abP9nYmS8Yfx3ocQSuy4PNgj}xUZi˯I ij-(ldVv#yRYWXY5`6R+$( Am9}eo#d̓Z3!0qDb ˚c/FhwR`}-{I$i e|+u \(b6sRk&([AzWơg*G3zt>}=MϰT# `Åjri% gc3qR%.W}OjQE\NAS7&7OeWc9=-A_σn^a52 7c-"ŁFhJ_|_P=VKz.5@&ϯ\2< 6,.l6=6`n8 2sDߦfk{ ⨌h \ +ku˰@708R2#94NAw'/fd-qtM 池s3Idoa((O,4C1UPtF._t;iH )]wz1;7C ]QB(\]hѪrYc{T.,M/E2RyT?0<)g r17ia,JP^ošSڪSpTM`3&:4ȹF@kXMbќi]yf 5a6 "$9̪7 7FRYIQzhH\-)Uu͆bW'%,stz2p+k_ ]ژEvE14k2=lw7u1;]f0[]qRB=l"@`1pKY]Q+$խr\!~lK̵E4]h,"UݸKp&s㋭6DZİ*x uAQBXg*S|q`~qI—2£&XHifgtڟU fb=G3_&' 6G|ݝ{BlWg$C4Em0śU_8ұh{0pі au77Gpܨ̟EA͈+:ٯMP>5kTQ>7Y;g"RSEY!a]!ٽ2FN_qoqe q}ŦONf:OwsS8+.U\{ pܢ?Иƽw. *^R.-5QcLI.*k|G)lF,"w+eCt}/n⇯H/}L9s?Z *)n:d: /Χ2=w6( {+TKi F_Z>m|E$Լdf+W8ޡ2P_gLkxRN .tvDu4T>:! mX NG蠄3J>8yvdяQ]*\qc/TR"30y}TIW8 A>t&S' Og/<]o#D\'V/j3lfdq@$Χ U[hQW"`wg/B𩰖9eiZVi e%ND <]r`q\E0z)_A IGSgۊwHp|OXW=/f@ANc=\fS{jl \ِ߲aLB2@z:$aKMwGH0Y' 9R 1zdm\l^*m-V㗍b hgaxnksuqݶ@ژlR gqR_(AC$Ӭp+ǠI(1iJdvnfI/klChvELӊUs!_.tzmEoAU-ptmaY=F~kCQ|=`c^FhT[n46<.BlEEq#J\MVd#aC .W+O$ goq}bX >G CsZunp۲퐚ɬUJos@S67]n?]:?t$Yw`}`x_2 _.`MU 0Ѷx9i"{%sqIu}/W>F*"QRUp'71(qG1&?l0글#j0gbNOIWqzf݉w_C巓DbʙghZ0_POh4BʒgR̢K6aNV*c׏;8bI(,>cj Gg<>>d._*c&]cHgT2or~bW$gR}JǻedjEpqOcV螈L6{GĢސ|M,;C%G0|r@St^ sUӎ嵄A*Jam(Mεo, ]}κ&d7ԴӲ22{_8~7mSQ_ڹnojubJ K.?i?Gч>m}(UZ"LRF&簃[D ޹Y٘qfuBs6u;=Py+3I >fOa^YRoIؖP&[A휥Wf.F0O:6m`si@ƶ@f)I\N/OԲi{:ϠoF~Q.ZewHl%)qO0;V>N ̶GC<1=s >Y%l F)tP[fF;9  Zdgzk0} A̟˙'GO1nna[k{M9q|-^lvf֐Be&/5Bu#j'i^IԷ)=@ǜ@]btNg;'X*s4a7oԛ{c W:T llQGS&-J72IT Ja\}0F˼?Ե-@ߘDdQ{~<jnSDy,EeuW$dO}o[Vw!J$=\jxmMN_BU`@=e–pSj,}4ruyhZo\t*0|9x;c|}@4s\}A}ISgG5"ilFƍ )mS qVZ7 @_)-hͪpjѭM>`qv V٧l̠H\ ܮ8)nK7*|$ `g_d<~8q I|j@ r;s';$"Sz_OY tZ+$iKu(i \! P|l+y8߱7ĘǮ+CblñlCn0{v#khG/>5>[I# Imϟ_Xܵd9qIt%]ssbj[0+4,%*0&:@X9 1Ces8hRaq['zjLu<_Jù[)mH#E QtGr). ] \fLW;WW*TJhjaEX JPɼZ}=gcjNn@PF4e$`}BR1EΙ+)SXͥNL &V?{k0N.)?ݻ̾<2FRɺƍ4JI2Ai<{Bs ?sʒU*3("ߥ5aS7*=뉼0@Xwv=(jKG{sh`|$'>}iqF\:"T}bM.8:1߄lnQIie>|!̈́{ֆa!y 6-R !DVIH+qRh&$:uo=ȞRƒ-VXKN)ތOAA3Fp\ME֩`KI*0ymK *(i_8 U` PX0c(X:s|HKQh)˞|:'QW7H[ C!28]k\3H` XVɂ;ae&GWdڞ@U6lg1,1a\ <IAٖڎs9砯ER,ϝZԷUql#Zr /^F)  L ϼi%llPM-6-8{B؇,kfţTM"~yV2;\i% o `] C!ŴU7oT,2Q_1zysޅ=dY_-[f GZ,_:?ꏰh$;To0V{ ׉\v^H\ze 2-bLh^*hre۵,$9{C]tUՒt1/xϏW^p31]؞;3  v߄g )5ߜ\ :흗RW͉Swh/<`WIh#(=ON^:s4ʋrUl}+}r%3_@VY5o毾x .Wů*?j)M={BDA̢z EeU=I+ FvˉôH+>k%a%[1B}'\wTh_ÚvXyn< `JQDfxAqnpnu6z;7éP岡b8MȠJq;&<8j9h=[VL?7&L6OHWIW;b:5+eܖDS0G tAqLJ{J7/It?4%~=U錳BC'f)dc7np 2ފD뢙ME`J']$E8tCX,n?|Md\"dH0BMBBU$j"_~L1@^ VC 7q=0K:m1kDby(A{^ K3qPgVYDjSg&fU*-ixox4?MT+ztXx$q5wQW }kV|!hMS'gAςY0?:BJA}R1˹ZLJߦ7ɾ_;CZՑ'ꉴ &T[Z{U C*(pQPRoQ-Za Ý^ +F}!$H4T^F]-Hx\nYފ^ FK6u=WPIڞ`5`v@빹p7LIV.62װwyycܪ \S{qB{vÒaSڜy ?M_wM%u_&f;W]r~*^U X74''yQ^S#NO@f8tWlH[+|ϴCֲ~#Qr<'L֪;=Y+y&4Kt{xsm2YG -.gg/2la&<Ϭ.P{](kWΩ9A`*BBxc w=̛(Y镘f{=*z?-TE)ڱ,x?y$s_65f y QRYUŻ뇅>Yv;+iXq<-D!wsN 0J4T.y5RV$T9Dı(X9Ah8 .tz>bpk<5"Ӏ\0,e{_k.fуk N8X/i 0Bo9o3]{4k듢 1+5K VYSBt5 7›=|fN,.@t6ֶ{7SF6Q }OR X-Aj86!am%`8?`Kk XjZ,񶋟C)T- j}| ou$[o={]E<6-z:ԍ0/@=B.;.)e U9k )Mj" Ò0Bgs+UɵZ%HG:Rva,Мz* _NZJ΅?6YI) T\M|]7˧;q Ux/)pG쇦^T8`3O]mNO^TRe#,_Cd D}ɫj^BFD̋$RwC#E TFB3=Tģ#tdB4'&&j y/xݡ zFŸR |jAFwϋ[",'q<&;AL O2iKFHb fAD#v11wWמt`W(< (%Dj FdsEjn}ەm7d0_ns{^ׅqhC9k^Ɛ4!zk=l|'.@QhWt=4 Q*T2!\^n~;\nrV'z%LiHL"NRe:)1qbo1p7AV d)1r'7aT;܎i*?YЍ92K&Q*;ʼSzcF//3Ed_5$R'NB HwZ4;Ϛ!P=y&|Vk6{uUl3#acD:_̡T$?LG , [t`%A4srQ#AЦQ9rka9O.=HYo%&aPHf^YVmEl9}H#hCuv9]U/@\g=c^4ץl0O$=Y3`rcDHE ݅C; _Cbq!|dʙ}"H"BSr;ϷYa$czHN/VXwl/QH|s9sHc<&2Z=z4cMm%,ޑ.d(&_:jURP%} $a}X*0QId]pz=} CVXQ_1GŞ׆K;y2)OSi\kż?|ڂ,%bJ[jbɕ.xGAKCGpݘY@]8M-#Ԏۉ i7151(1Ƣhلs`mvr,~|&"2Yb5]P%TGD%  Alf97j)TQ5p'UI">WCH_ /D IxʁSJtQCw =Nr>x+7⮸B.~H2x;bh.3Oi;w!xoO;KUdqGE$pIGoQI8p2S.|B~RCh*V7=Zv֥@T !`80SmSމmnA5r/ Tʎegc]@R[QIC8E(=Zwigt6&V.>孽3Hȱ~-ݡz-V%#ۮ  璾KCsAZ$Gu¤\/3i+5Sb5_^pm㳨{K m^/~*791lkP03!OOe7џA$u쾫ӓ^pI@=zX~a #OKYh{ ;Uo&B`?TU ϫgoG]nWՙq-hX}9}&z3cՏU!>4 ) ߽OthrF1BLrL7P*Xʀ*π~S:TgTN935FZI-r +*:;,j$~o[|}zRD$1'4OS`% R[{ep&R=0~=0IprzMh{ e#6EN/4+dK |Fh̞rR;Ou<p7=zO#T86yW!bA[iRt::Єm/MQ|27|NLBLk@7 e!~eEDN;}5RCaFmʪ4 ʾK1~ Ӷ:R`g@,hc>cX{ߔ^&YԮϒ - R?[g0ve53KUCw4?%Gy>H8iUQGCk~KˏC杁u5r}D+ygsOQBj?q]$11wMp^P.WrܦF)^LRz43FBn%\,t.OL >QZ=Ǖ]qAR37.I)-%4} m°a<wU=Gz6AfLYM!M  nOKsn+$dm249p̮d~;5tg)y Zɴ#;}u1Qo͟X~KVbϹHU{F=@ $$È v)>gKϻB Ud~~PpA~q3li0C”Z*G1dIcu'J4Fʢ.c3LgҢbvʑlпDNtK7kS1K}iMp3?K0>^xWMS\Gy |S Q~7w.z6\&W֎ȉ#*,,@nru=R*u^JV]8˦-o1}=D":R <]٭/^i<'F~w ?^-#'{jІ{/ ;HU;kb$tKfF0]D:Bd٫\ I+.kF3:lV캳ؾ-e95x~Ww25pOnF[ٞաr&@9F-I{jJYT̫ePR& -:1^RY]XO7a?y'Rp 9B8mtDB%lqXj[K޾e PmS22dwyO:IO/(ø.Y$:=1)U#sdXUz#S6tɞKkgc%%ܯrֳ/!Fl3_Venq/˘jˣK Dq_ئ\>ƭ B8yre(<0b#m9Τ/909K/bgS%a>k4U9QMW 9[/p9 ;l{j˚SeB/KǦy f:šes67W@keѽPY~wj~ RlrHƪtJAq5Yr qdS~9Y3ߠ]35+N >T0n=HL>G:ݑNuBHl0:Q>ޣ:ɼx' lQZNbq\lM )y@},nȠWW߾B5|_049겦y;85USh>cL>ct]pfux -Ӈ`f-CI'txlY|S5ȏUdžL|b9it lh7=v1W3Q1ggC| 1;6N'd $9kFgUhڌ.I=SUoNǸ˼,;e~ew(P°G 'exI~QBn/:#A`f#hǼ`rsz@ `-dE2/!Lį3NL& Y>wE_3oY kGb H h-* _iO+bFS}3~_7O\yvׄP^Ө*LWEms;G1IH>!;v?)l5 m R 3<x؅aYx3wh-!R ,Z |+JP&==΁8QpT!4chcӪa ЕBU.b\"bԟP ݂bi%Y9 䩅0Im ].?o9ƴUN0ŽwS&dQՎ?fyG̰ '>9Ejo]>iނC,M:o7ܓTo}-Ѝ"D8ԕY'KRWjZ6 "z-]ƈ@^Ԥ泩p>Ay-@&1ezڛz $L(Bf\mZǹ6WvwߝD\pFWⲟXmbꈶvPQ݄. փ4w?$v\ǭu!5'BRN{/(@[2JEז3DXBy-ؾ2auK;XWɂҦ'Fjb@p"s~ -:7@>UػP{qyN"F)Kh)T7t4@/__A]z۾)^*P'N]U#W|2lG}1{4޺cº%mϠ]{#0 /ÛBO‰,0]7Yžsx {Ǒ4lN>Z9Ve ΅{W:)(=\h} n펫%9ݧP5ҥ-/Ғo|܌=FjLN TV9_Jt䈱K(bjUl<#@%r5VuCϓO#ѭmvf-x:Q+!;ӉAW6NFJĉxjvѡJB^ (vφpș d [Nc7K*eE/AZ~/nX lO|*Mfמbȣ#cPZiw* HMKYJs%R~%Ċxq"73w˓yЏVҝgn@2Xq[a|Mշ!ؐux#&Ho2>UA7Eڼm C| b_;#T$7N/0̥'w:X6qg|ЂHQ(L):uJ,*!_^D難D[MaP 7PJZf)$Feuy(l#HǭV5gmrS?#ϊ}P*RMOh~ $c0}8Pmms:0ACf9u.B$Ǒi!⽋.S}Hk# wb);Z 26*>;9lof/l!}Bqi J092+AґrJ(XվLUDrh]EgJcLDžoN]9"3}ߩ p;#9ܮ)87O 7<6"BW/ŧL$g <ґ, 0N2{*S|`~F؏ Z{8]Lu?lO8E8] 1S@+ Iz ue7}.wwi{͙Jf#*x5NFMB~6O%ZQTmBk3Buz럿̨iIT`A-q~<p RZ=(󨏾''0(/3nx]o_J팱"f_)H`/2%DHɂ}6;4\16$gʣ|w}`I -y)w),X~.Y @hM1VAiSz+w[*fn_ ؙTf\Ȉ㪣!TNiFltvLyP.jJa0[tQĖZP@;0wHkퟫTgj;*cabz-d5˜ y慊f/ vM [CZe=׊Gy-t<|6}ߴ)ύ0 nq NFL`O ˅}b[텒"ވy^F_-{`*|+d+ "q0:CQn %D3)LzU3af 07c-BgU&. 'RjЃ=s,lےnk0w\׀;.SHC4ds!Y2 ا5E|Y{l14LWuEej]%_iIayHT,nLȨl 'OwnjR'VxLe0j0ĵ*>%N3RzϢh.x]V?HW3oF.ۻ-q, ڐ6@cF]VsdkEg ng 3y(^+z;B2h>!d̫r8'qx^cE-S  uѪ,9}8B[?0rU)ϓn;=_RmءSbWB0JP9ݴLwo/ۛN#.h,B;lP8_j2 LK.3{"]@|K?C;g o#C[u|+* K1ևE!49#2,.>P2XeWpo:#t_a6w]%딢&_e}Zv:~Ԁ&+׷ʩ2/Q=b;%xV6qC9S`s|msH{xFqnYAo4xW+a49NOL2`OkpT%1mPd]:8md"K=56JH_9wg<}BWD8?b;Κ$1M+WFxtnݤY;h;BNzqH[5ٶX1bS} S,.~&|ї2}/ϼn xKqn$lI holb_)1b㉬M35{fWxxtGP8Jr8Tj|tcuAe^ +h- Jl^ln K9C,5E58$+,Yde8)Q{j6N1ؓA0:ͷ7+$k'9n_˿y*Z=(zH7,pJٵ6ךz J;AȤt䜧qR*(QU[ާC(Gg0EQe @DdJ]fßL0vÚ2.͘kORû`CnF"LF=bRICwI,2Eű0~଺z%4-ʁ1BhۇOh#'А<ȃCcGzщb ]LC4kzc1d@ի*x8 }Ylbp/~ ⁀or$XAj9~}7zڙE!YNwewXVϨh8'PPUB(} 3!ZI$uɈ^2,1GGiéRҢOy7>sK60KF JQLLgG7I0&iS/N0B-h( (FafVb~+!2X9Y~OD>ca>Xu(KƵfF$;psPKSlΈ譾.tQ 8N{;ġch&z : t1:ґV'ݞD` o5n=rv+jB\3c ) =/-E(̾-Kc7HA3IVH\f4Kg.{J']*eީyQkZ'8YXrP3#l<ɁAχNbV;a+}M"f]!%QQoƸPDݐN˒mg!t0&CTf{<>[nMPbz $?&0gpZT)0uq&&8hpIPK}}##I~9*d3S "CqTx"m7,pz䳉;Y|RUN2)A$pA5( B8ymddq%z{zZv{h%l X9}+s*Uo:JkDmr۷4pDx='3EVª-7NWsP$.]3#>{|wֺџ)=|gYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGgŧF$¤ և =9 Opt^SnU^TaUQ7hpLDFyM3M(/W Q4 d:s(H&$3z`j}!' ,^~/=@m:j]5ulX/c7.Hʘrv k(M1+Ź@)ZRLK)=4BNb ˠ14t/oJ+4G CRwV\B1{8k9etGo E&퇵XV%_.2ÝOc)L>G4p\WlU-lvZOC].?  gYZ7zXZִF! iP]ŗXi%L&örMFGԥOz!ލo|} eo3qC[Lz)a2ů*UՃۻ=Qkv›c'fu8_?:  G(ѓ>hiTNzW_[t\P/ U5uUŽ-@q0҇zUVYTqxMl EHj (,U7M&KamugcxV(KZ@::xpVI~0ܶJUZٮy Г8O ؤ8fsL s RagbG UH `k> OXk΅'D3gT #/%s2:"x$+zQ:4t"LXaG2ٞ5NU04&K u,^gcj ex20\wxO=L Øٺl05g0r׊sܠڼ\ F1z9.߅ ɵpA@^iw*|YW,VqO8h\u"N6SS®LL^@HqDA"#cᚎZ|ʴ_4w1&{0jFu%h1/ZIӕڗ^&9zw)jI3oBb$'v#5;QC8@szt}\K "S1]rqKb 2l"cBQpeq:޲ DٴS^jXQcϕAb0\"Ҕn 3߮~ H젢k,KaĻх|i+YSđ~udu$:;/NSDevųĬ+[s'7L2vfU|91jna`ZTD 3N}Ӆj<$oɧ(99èIASKޮr@aj}dz"ݏ:DTےnR:0fT\Zp 'pqvq}hQq3VһTX??$f|\ͨ Hji6WO%$k_"9ܡ*3-{P|kkKˆ3aI3Mţjg)_6|rHvDwzp Fu"= ۷c "ϟ4Jp5wfܻu7vUdU@˒:U:*tʻYa5ny,;; JmػBH^.ӝWh,dHҤ'ywY{6y|P_q.lL݆1=DILIiV=LymVL>LKz6 ̎!(Ŕ|dIY:ryȎZ[nH68DP]Sie'@@mrNQot~#\]ױivg&Er8Rҷ'Gt]L0Tq 1~r׎)j10݃쓢$$Dԟq_X(Zca>MK,6tprC0!"@ X "z{*LU)QFJc˥{-UZ Ă-A98in9 M޷o#Zl1fb/{oQȷ׿vc Пbbrb[gqռn֢[cո+%x8o #Kyp^(FΈh_;%vA*6)A&ͣ 8' #F.)>RoCs]PQ'Dҡ{>45(Z" מ'dnAOR+57Y eC%(3,/`y:_SpLǹzpTi՝E0y2Gz]%`ƷI9+E_А1|b 3O>Qe]n/ HuT:!|.ۑ~ŚsBQv-w"/2UmPJ{lcОa->86ˠ YپzՃX=)!En83C{L"`n}-47w2Njv&YEȋћ0^^ 6GLwb|C-y bNtcB'dyN@;oO[R;8%ƂMF[;Z@< XGQCQ^;B)P*=׬ë:vc{h \*>jO%e2|IM|*T5?d-,#5) FeLǰnkKP@@b#">"΢QCRέ`]JUj^1q U6LsXB tX?xo"۬H7UyO؁YLyv;i5@T& ;*J%\=5%.Q[E6O"T|`Oa hE :3vnK3>Ɋ&- ;K2xSqq8¨b,%F|~-B.KSTq7"N(oWW AhJ S{qiLoIU4!œEHaW8Y0@m" IE!oYRӁ (/3gJEcjV de3'qA_ρ9Ri+330Ejy_"TIg\R|71i |Ag.={)BΩ-\k7VԀV ^VnS2tMLMN_7k 0~ NYbȶiiVb+0)_WhEY1~N)Y1ASq]Rko`z[fO+nqͰe+b?Dђ/ =ˌ( kf\9ɓ8h'|k0;O&RbF ϲJNjk0&@x 8Nwǰ$}m4$X)l*|0;q mh)+ z݌6A ("`zQ(>@Uᅘ|O.?,@-YsM\.cI0$L aҮdlm Fɿ`J=~zoߝb0T;y]%SH:'<^O׀~/'t2ABK6 7=dSs.OqR3ne<\}+ViYa+i̷P<g(8c^cV/sfN>F8GJG 8-6l>J KNdI 0h^O>V˲>gXZɷ*8HE.91!ê~.oSVj̥R‘T,iNY5H#LkI<P[e~h$ؤc ᆊF:#_1+Lp7OJO~@ ' m!i|3uh0q\8{E @O`Gb]s_}g/|Ov(ktչR$ En֎Rނ$=">T-p0 xO)yب¶ r'‘{6r~W틇 n?s=(|yKo$R EhDf#G22.kz!tuE[+㕴M0;+YaG'\]K 2t30ҖwJ@?acB9P|ԺpdX~j${}q|6UO _UJ %- c֨7xS&-Kw@2j6WSLF1q+zju%ƣ@{'܆xsYD6:, gYZ0132a0e512aebdbe6043ed337971a503a22d72e741c19be3f36616b14c5f74fb8791e46be930a98f f738d32c8c714829016adbf642e3879ffef6c4ff