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 W;L$ ]/ HOL-Quickcheck_Examples:threads=6elapsed=77.540cpu=197.052gc=7.196factor=2.547zXZִF! Joχ]ŗXiɟd)&]hS.J}+%b+trN=aQ hbY$иoR:،V.Z3qW* CUKXRdIa~3B:kmHLr@)k3|l-ZF{@zrVmƤ?8Ù)$~dAXI`3 rt]֯\CPliԑ$Ct/f j\,K~nVʀW| "Rr_Wý)ΛFbC$̀[Rk{&㺟l*=.蒐TÛǥHTL $o,{P@@1_9Rh >8IO5CoΡPwU)Һ@|"b^_tcM6M̭ gL'm~zbs[+]yw4727x4 S%+,f}V+'[.%nb8%K[p؀i3hi+Wl6LL, ab3q YKgI_l"lU匚C=AD!Sz64^v<,Bo>ܗN.r0[W-; gryVI*-S]QӴB/t<]αF1/+W%]NH&Xԝ+ڦc-Qh8N%IxPMmMCϓHqwAP2z3JXIMȠsa(y%Uϼ;QAOm&Nd״LAnEۙ$)xt_p!'-iՠc2uZ8D];%:5!)|K"D˜O45PoB542t,Ӛp~)̏a逹-vs$"ZLD4M[>_XvyA"ށ3/T}D_([+,[-8wp#m̌4hnA_ޤys^/vT C"V|AџvuUw F*/zЙx/hl~)FNIRj԰OBiu|<Ϊek#?&?jX漷ymvb`D-|ۻ߱1%cV˃lV>(L2 ddX$Zط/25C*[GdS#&e'rk(7vj=Dj4}!l=gb2.q/_zZo>.vOz\sV߅v+zQEzFڬ)N"KN3oݎJa:TĭCNs(sZ" jhAkMϣ !{&`QGXsTbм) !O)Mb7Y0fZlU p1l9u~W[-A7𘸎 ~ K% \,F$;?NTb~kG,mx֮X]<gVozQ| P4L@lr5}G 8JbyYz,0':L޵*"1N~ VqB[(8v! ̆u->ŗ*"uͽRP;I\t̀(̈́9J{pone\ Yh$s@"USX#ݶr4*c `qwgaIb=)b%L(3-@ VW5K a6Dv,=K9n]ô-N!+C§$ MB%i/XEwp6e^(͆ MEKb^izX"崦98<=&01 uKRL+xI[+[&SHRo#ѰPN̙ i{K4'bg^DCs?>lYݎpeGjJo_ 5?b2`<+G Z:X4;D%~bg"<ʭ8`-j~ue^x(x$O3YjXb_HPyiNdZ0a$$۫~v>qCI|tRJ0!B -@I LZn¸e ĒI {ӫ'(Bd87Laor aN'TPbmK$ze;oڑknrJIdPh*RÌ.FYE2Qd| pTg}vY (=6m!sCtq+O;=H;u; O'fz#CIe(RI4k"(}i{S P-;Rh^,`!I1 xޱ5^|}${䟄\woMCY/صoA j#pbR';(wqX \ JN\x &NI~>pQ%dwԄkq}ݐPG}NUaՠjj)V$"l+֟P f8SNr` kyTǀ0/^QFƂ 1?jKѷL(Cb=ZH5l. 2%(<<fdZLtt(7_6,G|z{'#%-k{28SCOiPHe~!A2l }Qf ]G{*4qѪl43T\N\w%ɾ.a;;ZdojZ3-Δ7BكkwZq%}wwi!T0R1;%@o)_0-TGУǙUE|ʖLLrLQا)69;X` t$oB %YZdD> 2<UA)b >;f ϳ|Dl1)̲;(uT6uT"/9 Y5e#s?y L؛{I b<0xku,Iudr(" (GtB̸~vY7\c0O9@dlՃ" w{9Rr$! "FJZ6FjWLXY˓@lv@ C3 L uRB$@?VP,>ay 󵁒KG-=7A{Pn&Y7$ CBh8RF]+"ofѷύN2Sw~ {l-U9-8YMx5=Ls< >kYњwN!ÔF5ֲ8LNXxm ZP>sN4® Âg8HǘaRJ B8=z~PJ K$Ok@<\SkU Գ5 ;M 2ڴx`:EIeq8y2' 57g(v"#+=ZߞĞ&-w _}6 t A?$Dr8w/~غ;ES纵X8-rM T/R˧f{qxu?AG?~go_/s͈"$/|SR_6mܒ˵Zu\:O6ku $s֫5.{v@[T=`zl&foG'xK*Lbq ǽ5^FsH62=(AX̢wTUZZD@]0Dӷ! FղFz &]\,W`Oxr:YkPpŪSS-t@4hML'}hU] z8PE]D}ݺK+%>YMz9kH8Czxe9ji`op#~SeHԁ;^1wD"Uc#RcvB%D, `HYCB,U1tH{{vG?֘rcUhPb$E,IrK˲sɗ![COW,7-7]YnV?NM*+'@WulHMKi0Tjvz_i A`hjE]B1O6ƊFe'l ^i r 2;l0ȸI"?"(沰Jūqd#Q1Ĕa:N&Iu I}g<teP!mykD@vU}`0AC+APG Q>}EÙZziX "aLx߽I֡i$ ]&B6&uDK\:dpTY/`KKK+zx>;\Ea痭GwזOč.(z`+NlгǞ9ԊہsmZ2)ohzUvNZA54(|Ae`?lX[5JI BΛa49AgXy >^χL|cs)Z1-: 9XNs9 AUmFCK` b8hu>^Â[b$;ջJ>m{:yiP%|W2[E=PL0ą밗hj6$UX#QY]/ ڴ" "[=hpnZ!O6Ј1D_EyjM m>/2)Q /^5ME{os񙮯"w9rwqQ+%n7{IܸZ?C/E.=Ҵda. Q+xl'HsvDB\`7|Jš'_,N׶󨺒1/1zvc]}R1N1`vn֋~o-Z#Sc k+{tzf!rre)9o3bcޱ1(F&GbI7-zqŭ_Q8sBDIv@Om%UUΎRUbvr q:瀾f"YB`6vOBr=!}/{)Fe1pn"-rhZ+g͒\z9H*[%?4[c.aZL$ VPAkJ>av~ƴ#mcz)&شBuADDSxDYN %sgXȅ̐:tm}nژ|Sb#nӭNY~Λ¬ZltB;salR&Lk +"as9YzT@M+y>-L>AKD*%Ԟ& /276>-3@v)ђO(Mrn;_7Xsi"qxJla[%1țTc2:KWpl}ƚFƇFiDkh=_港=14?ʺK@J\ߨ[70Q+Ĭ~fE^%C[ݐ}n:Hۖ*bM2g(C)e?C-dvLL|FsZ[ﺪ{\e6зT+q3#~1ǎv!z6C뉳VmILU1A6LRX2R0 M#ie"\0Re;[q&|Ef^Ǧ;/Ft^ S;"0>hXujU}KLJ<TWZ_Uqw'@N>vG΃ S+̀߄BfUVH -T0ɡuJY}W05}g 6:a_MsJ mdGi~gTx 7ѣyr OWE+jo fg=%9YZpVhTxo٫w QKУ9w@J0`0 7M{5e0Gzv}ep?vȳ Q$jΊF ʄHYh=lId8Q9},`h jZbήK]ʹ9Z}dBgz<;2޴"Π,aV @- Z禴݈ a͇N,H|xvy_VY.Tlt{wYyYX6TrҸ;.LAxv[5*$eVkmF/+㢀En.f1'$#];ž)c֚ӉĝaiwM\FVݫ抽L?G}}W,` ~2``v2ʴO3N$3q%*,qBF=kѝQ4P׶FߢpQ)qŸa݉ C#:L={] L+8 M0pO1gB+QrPw~~&]E^Izʌr>mɈz3b:F[SqSߒ -9^Qv+ϦcLƊ ǚg.}xMnI9м1yyoSsڽ@ZQ5ڤ:7E7lǍs| Ec16+ɟC(}H5Z%?_^,PuŪ9&ʛ6cc@єO`F҇X>V: "C}z6HRU_<,kRE#it#+ZOXȰNZj" T՘T!G_K-vrܯ? 6r* 9 V VlO;J+FDa5rھfs׬/QSKB6hU{GHB Yi2hܩva+IIX+5Ty)|s!p;ggic@ BU%LXQkHl=Ram"Ё$#8A*'}yD'U"NJ>}]a.zyeԦ;ɵƟTp4O#:EGŖ<\ېyi $~8s Ӟ96-"aHYB* Ш5ui՗<Ȯ~7)[8b&4΁jD "y#ȩIDoaG=-ǽ.+iA:Ff~3"]~eWBM@J&e! Pԝs ZiH%?f~r:1(bQ?CvfU(o 5a\Z̼݃S?)p4DPOͳjISA|{CV܉gGZS~yx,RB0%V2K,q!Á7t`5 B Oujn XdOt G0}V $H~,) ">W+WtDqQ(WkSdBN0 zip"O L)x6x ek' !^hߜ.o {.mFY>OK:tsHKQj8@r$Ej$Av,L¸nQ֡PiLC3 h9ʉ\ Gh;53'A/^ e3 JFY -t;m*tJ<=j^jqY)(x"*6N k5d~4[%X*0+?90=릠EN)o^gШ =yJyF@!(TX4ZZ_77tl/+BB0Ǚo '$_GȔ<"_ѕ-@-'^ >X̥K <͜aX+rj7xYK%ԗeԛw9$ |o8@pFbtU(>Ҙj9}븜O8cJA _ҁԙNHii=wo~1߅!&Zs9 DDJ/oBY ,'l[":^ltFdDħ8 T}OUnP:N"ΖO=m)!^^/m4j&&%6ӯ|w-$,m㕃~(:?N`)nG`wGJU4KFU__ȯD摧.{;QC܋.Wм! 1mi!;khP3)s?ECDMbbmlKS(} ՚m@_%(` C1:0'@.;s xml^WV7͉$jgaܝgWqS'b>5,t NdAHΠ` EYRrbWt#Mv/bF;6pM sŮ-t4|b%!ch6U>>js;TrO f9ٖxL.Ljt#zSdL|q {>LSjB^}XVMO0 ݦxE y~/$iOpA& x<4M DlA0OrHh_~m4(b0ec\| 3&%8#ߜH!n~v@' 8Xd7Dpt^ cLxDKZ WiVb9ORC3 Tޗ34x1ȥHbm^e;c=$ٻ\L/*iEm,fS-&"mfFғ1Y #dKˑ[TUB^Q>ILO;oY#SEF1ٟk7 oK/]Dgdab^3x<վqC`V3.6~%j- u[T q}tz#<?)E `rK4қ$,l'Ia)RSZ3f7qՎʸ _WЙ/v&LGdմ8){`Ng USH{"uy3mR>MQ;lV'%z J><>S=< #gGX?l`:?Fh~9Ś[ dSdq66T:Lrrǜ>酏d?iY#ejuDz&Fu n%t5:@&(CBuԓ: iP!˿ Lr#:䳊"-vD}BM77Ef3>>HMV[e'i@oPK! )Chf cD> #1zIćpfp,I{K (n00wIiԜ"M,95%FgS [WTȡ+>['gq=nr_%b—j msڵBTK!>rbr[2O5T^k옩0d%C;*WM+lXV䅄 s/zqۦIU~Tn 4j쨔/.2po>{#-2Goxf[,u\7%K!&?9\}m./pub.m6sU#Xi/>,{{ X/z|%j LDoE>kb^_3Q[Z+tT)ʶOa%o%O57`6ɳeM `Ex+'SxeEH6$Uu, a!d }x=##VH~MQ^}r`d @)Womk tP#KFFv&uN5݈< гW~1ɛ哂T4\_ X8zY>aſ0Ҿ7۪$_ݍ޹~fG ʕ1?81ΠKsZmo}c.+eZY& '+ڟAFvDփy9Wc{"$a9@rDuyd(5GxW[xUSF%!*o9g$kE0ӺR3#$N ʜp2bdS݉ƹ]C HWEĮQbe('%0Ȩ)XrM\c.ޟl~F L 'AEn. }BPa!6t'y RgqHQ1ȉYZokڐHdn#ǎqqVb+O%TԖJy=%sSwaHY-(V]ex]h_k"PvO%s2ymɢB켋Y4(}j dTl=(2nR=Q\IZ:OyO*Tjε ;g6KDA=) Wr-7-Hr~-T_\I ju@Wm`d>]o ģ_#aWcV::: X~u2m0~6mI#hs+B8;VqC*JJ/N` 隰5W:F.%"(!$Qdb= Wa \:̹U2?frrQI@VOcd;E(?NpVo:oob$ ZwA>61~CadvlJ7vYԽk-)pFh;s ͛Hl]B+mo(R^iki33 AWo`Y%cBJC7zF={/sgxP]sø,.F:G#%[~g+^8oo|P#{s$C/⟑Uq+cf "b5"0m^ ڬ%ns,_@V dryD`܍ XM%ѥ폭* 6y MsCO^JGYL N wF /lџ[d^]:-3f/ܑy|S0GmZxfҀ6&f<;Јl6D2Y°&Nf];ULk3Rg%zj'dWPݍ{E"bs٦9s]fKܐx_}jZ;vk-kMQdΘ;gU;(zTROֶ bge@Hԅ>٭EjB챃K+o]I' ui!Iq T3qApN #N$rQJtv !Wpior'Fc差:[پadј~N *R䩽,k64# "C3emBn sxjj4կ 餩@gO`U 7flP~ (;Q}b`zh?E ^׿QRie.@$1$4+93C|KWǑOWq?(?$[T K m 3ЧDzJ90)Ώq$L)vڨɉ0" V0Ԗ[OTDMJ`.vF]=ڌFנCG3WPUQ >Pc>6zY>Lo𖯌[քl8 &m_tCn"ZVP4J^ӀӖO5h%ݠk0 b FMaR@D -gn,GI/Ia)qs#H*y6-p}="`0Ue';/>Q 弮!z?%dTCX ȧ]D~|2 io}Q2>殩0Ny1H zɔQ='.{ !3Ӎf N'M`y;\1_S~n =B[$P#9K>>-b>pNW x\4/Zr~wX;LAT]"Xq*PsKyA Uy3:Zh 3JCX wqU*n^fJ_U;vAfJW !#v\Bǰ4(_r\'L|8Ylr\3Lǒܞo?9 |U/f%] k2yPti9%A9ڲRUpV>GH3KFmgZt ^4fo:)AЏp;N"'vcOR Ҫ906/Fd{\6 Uzg^l8 e"cү2a!ۆy9+oW*5B/ dDY-몙H:}U)!LcZ5W+ WRZIɶ>ԠR{D{B}i'uߙ=l!Նq3z:Qh+㻛e8D$ (]BU&EUܓt_<ބV酺K(Ԙ4y."8=)hZwX\B? ?#;*#;!WQ'`Oȗ˂‘*{cx.ĉUo42,j,/ YWNYrbya@l8F_ 3AJ0Z d&!mBqY͐xAFAդ|eObS_@$ZȺ1j( *RdQ~Ċ.cz 2r6Եh1 O$9xmHiY(z<$ 1=Q{6=j' YP5f{ÒPQY b҅Pά4R"VD$sBY  -%ݛֶpOw)UݍԼ,t6kv}p&=/AGn t),rT?waa2T}RMrOH-Ŋ@ChZKbK=iq+@!$t&3%؛(Ow91V0krt87WGU lN/'$%Ry?Xb*s!cEwczZwG" pzzS,;hVNb1d%WI|5>(6I[6pjQi@d]Mk29r[eRv֗ <%*ۅTbCcEh2ΓBgփoxdW*f5ƏG? o oNu' /}+VzC jZZ[o% 4h.KQ]uGw:+[X6uf@="Ec1)ɄY޾LOk WtˤyKLV kYjpzB^~݌G#? }fF2WۤuUl8+8 =`a `JgܾS5Ѳu:ЖTJ@soMZO85S錏.s#\a~xv(=6A'Wѐtt\o6A.Ȣ|Rp5o)(X0U/Χ>pntQH&ŕFE܀De'{N袷 ~10Ph@JL,&FSqiǝ2m xFP([ 08!dDyt0Vdw2 A !۳4mxZy2L!smh +QeRx^XJ=]zߎQo@bQ n7k%|+~ʘ7Mْ]>G4ȼ`oN0Dn#?Yrl7ԎƇ(¢I:]>5,|dG6 {2Z)b2]u'uw#:9׳Kg^Oϝ#"ʓ,geưtowϹ{B<P;jv|T Ejj {wQ!0+U4I2$ͼI !JwwB- A _d> .7QnWK!D;w|S(h!l*?l-ħ vտ%v+2T1])X&υϠQEB'w>!cs"K/[,x9ýEw汆ͱ$'܀V1y&ph+RCA/^ uHx:Z7jC."h"F+7)W_>eH7.^OqQh徫U `0Zr{a'Ҵ|=aO0~3 ^fǑlHVU[¶M8Oi[=۞E;ӡfhxyg)O=@Bn3=@!C_[=~X4bT{~RaXSU7~b  =2jcF [U>y04 BUF^XX%®.u?@+.g|'IH.Iݎ/'+Sghd|w~VǴt锲:KIR٧b.UFa6t -o\@tl`_j[u&2L{kTcwwԗ9h@@h +pWBʺ5I;6 ]:V uCA# 2 ) ϝ'H!õ?26lB6]ܪ8j{'w\QC- P109ymr7ax$ѡ1C:Nm[ɂx@<2p<ܻ-N˂0t: iCv8<|Rĝ_\d-Mg0t|G @4n6q37'H rj[ Y Wb>oth,q}#<ꔃ T{Y.4;h?㾜*6v¨8;rZw~_m Ugt3a9pA:?}Gry,x|Xv,|:loe[W ibM60.6SkCUFbr/rEcj5Yp:zÿTg ,wvmR [V +Qv+s/e%roQNuYH9efV4Jߊ J(/GH.Ю0_$1ZE#Սc{wZ_8hRm?n%+4ɕA_* VG;+b0$ϯG}t.dF\ 0uiVuy)'ӡTb4 èJT*#0>7 MljωdDC>scie7{wAݶLv&]G,Ky?;MՙPmdJ]F0[{t9!RY-CZh%qsVϞIOj+w5O| |c]`‰ qz!{ApDU!|V^۷븲 L#m484lg'`9^Zi~o#@Y}ȀAl H|1A؟'& H6 vL|˗3σ.ft9 T1SzӇB|-ijӎ1b؃O b{e0G$vG􁑩3Db gr4B1ع-(V@xUB@;&tW0@hZU 9  !=,/U$TZ ڔͧ-{f4~Y_>IhmpHp:XEOqǾ&h Y%3Æ>k=kG cX/M#0(OMH[b)h53U.'í#yp+}մ#C:O]bziMi/\#{03k uE}JQM /zFr |EP<*=^Cz2L{%\=" O" KG/scpʔ[( D~QtZhmtbaho?XE8B@'ˋ;ֲQ]w=%N՟'q|mjS>[@ps:4 Rٺȍmb QɆʢ M-Or9Aa%^L 0*?ÀFwV& Ij+zf#⟗q7Eq9k뻞^])J5.+Z-yjçm>6py{R&"ՙ'eB$yO\Rű珫x1o 1o!+*K #%R}pv <ߢ '_QrlVFO,NtD+H02W1N6&dSQ8o=.H5'p]хW@D|x#W<y%߻X'0ȼ>CjS 檅Eƙl.-a0\>zlIk\9ڋp5*w7p2N05]46[ŞBv0Lܧr(vW7wW981-ìjhNwvC8hٯT;h,H ]HZ4ՑQZGNIyM#lj Njh'E6F\K#~3{cO_-b]=0}ye@#[ %cpt)mFx JqroXH$q_xZsZ"T$ȂSQ7I G Gwpof~_vOⰅa2N'v $M=!;w+gFa~1'w6l B'X27=dɊ- S%r4!4 ݲ~2e聆4l%ot (s`_mb&[Y pB1 IY .?Ѐb5B>& r&b6$Dvdӽn$$^[J7J?DzpiT?lx&i1ؤAr9Ҡ q: 7sUF41Ù/: Y#aENifmWvl;ӂJc+9G6:S_,d[\ %Yv=-vH$M=~fBAXׇPFMTnpS (s[䐭^lf} xL>Ea޺RayyQiO6'gߓ@xsU` =Ij}fCz_SW!۪"_RU.yCnTA>z=/]"N\%uR͙jZ>]:skùE4Zl+d[6ᨪj µ;H?G )g[Lٺjޞ 6MR_L.q =g:qdk=|(XyLѼE׬0͓.e5 ~tBPmCBZ06_/ۭ% ]JJP.Ī4dd EU {yjB5v挈V;C >jቭKH'b8a]|eMAN*7kt]~2s}H6A,0 q{%aP94Ǐ0L h% 陴(yōht8}rW nk:t Έ39[Uٺ[Oyy7%kRbʕO[U&s9O6.az-0MzZ ܀螅r)H#KvEc xk/g|"a*B z"YҊWlotdmbHPI˸-?r P;VsyNÐG2b;CebEh@hlo=gX$oWp gh|hL)TY ej`9E< SJsnZkI}U}ȅZK-S,c>(x}h+j6CyaC)Js3yɀ( 1\(e묵M)z<-"žN'Si](F׫Qg ;yM܉ɟ9S5lTஶ,w dP+b達 `5 ow`8pChCo] ƍ]_ RVBVu޼A3Juι'WtT*dFS}#>Km#ʥkXez!K5$l$F 1#mzX}w[ըj@霢't<srtHew$.Օ~OSVCUS֩+ b,Vۚ`\c*nfnA]hjܾZzrSTPͽWq#ݐz>W5T1" ,t:gjvQN D4$p)Zi5FlyDv$j dn$I~$X3*\It'y p6駭Wß!T, J::(O9A[ b. msP~-#)vGߋuD[z#JqZ-ӫg#y =k˔F{=΅d./"]*b!/ ۣXBX\]6-K52tZR%j&Q MYݕgqDP>IV2/r/L[1n__:|ؾ}F k-yBR{b=߽ț+>Z2렝Z'!2qܐs-\4j&(c(-ak pꖽޢt?4D=JXn*@vQjS/VW>`i<,-b[A_Bɯ- ޘ,r:Q|2C/3sJkh;R;q˼DBO닼xO-u'N P6j)Wfwӏs~S v3x%_"oCQ&w>'-KRfǠJyA>aTki N6?M1ʅt1.4 հ}d(ɰD&vb=_[W@4'.i楩rSxGEѨz '-^3eM {1F:!MYdTj<5r\CVPݑ\`*g՘A% L\,[;;uqn[1vf6fpC "6 (H6Yy[&tt)-?"\gB(ס$tK8FV?X`mBA©bv[kZ HI\PcbjSA.i8bH]n!v3[PGbۏ8 8 Hh5\ e719 #Ŭm;zvЩv=ؼ3MzCVOcj[7^c1iʧ5jYzkޜt;3ϑ(k@@Lgzr,J30Ɛ}&}\1 jJQdu[aA tm5.in07SxRѱW YS~h7@mJ,XmҴEፐ٣p l]3ۺFu K<]nX+zr ,l78T|*mwa im&KP"+R4#2: l\jlto5bI##Z׿B<-T aF(~߰-xjC#]ȭ ).*q|Y$BJ =Y'i;:}"8>vzU |+4hptTv: $ըy_/ݨѸWOT(zNZJ0=uLIϲ*w2㶊Q3h}zRɊŪ"&37{nh$915Zġ a=BӅ0 -ʫL~45ʺw{n|%e4rK.j%)m VO'g V4/k3jȉ݈d oCw5 h7-kˢQIO߲3O,rtLɥ$<AN[RXmahtE A(6A'PUσgxNYjYM CexQ5 ?JfZ凍%h=#0ԘG,%OCW~QZvd'yQJ6PvG75fFt Ǚ_pWoAЭr0#lNiokC3ѭ}PՆHJR%. 5wy]t=s@̸m?phFm({4.]}Q h^@y_s]HF0%C++u7e8Df4B.Yc^iPne L(^O?"sjj5qm6PB7kjc OCK) y$ey!9bkREt*p'R>qS!%3F@?܆|PF=Mh32D#R&@ߩg LS;EZjR+P-ϐ,&|ZJP)IE.A}QE`| GEiħQς@@a;.&`{p^f P [yj͸b=HKУᅾùc^=-.L܇v-##Eÿ2<R=tttHڑ彖 0\χUwDC} uy30ЏhF_x'?/- SjeIZ>n^Xb_AT|mÈVN' lh/c6Bn 8kfxM|(/9sʲЀ*/G1m,"uv,.1q|QּAНO R]@#.D֕촠lӴ Ðm u VrB_U6)AA0!{(},lT4R#Oa$ س6r%$sh(#,:v=;% b_Q]=Գ8 |_' jzZn`NgbYI&$4E}`lmץ⣬֖QWU%)`=U!6}Y_w='4}(~sEWNԨSLx8gs-mn@zLƮ)M!/ULWqэVzDFd m!cG-l!9JIO:WPS۽yG4kS{#6Mvii,cg !Q`wfi$5mn$I*Skz"8S+ OAmfg ɿ ,PB\D $7wM6a?t:5`T <ĎgD\La/-_eI+ IRByK:5w׼4BUov@a5VXU@rﺾ$ݯҀ'UOe\jM"p;.bϛo k4sycfqy.ݼRʱ#*ۿ!ӵ ` -Mf3,>[dzEpījm)>]RFWL]$|N5I"iS~v8yuZg^*cO\KRt4N]dH-eU!<_oFK^ 1A_q1E^ȅA4nWO$mDPKg7zڲ% J.$:N8j%C'T1X`Nv`{ljš%R XfU\{i Ve;V)#jFBAHzŏu&,OFk2TlrNU*Ne\z6-&+VyV<޷I R,7+Ix:(85S[F_6 k|5xP]iz Cx>^Qz0VS`猕':.yM]Qug>߬C.IǫQ_^̇˰7PL_^E[uT6 =NWepyIh~ٝu~c7W"UfI!?f"yRDE]~MOGF.sDQd\2X&[\/0%]z>^"͘mz-JCdzĈx=S3'=HQ}F~RK|}ê1X6趔Z~8Cu*k<| IrdXT@!)E Oz!%ZFU/Oldo+4TTaN@nrb 1i MZpQ, he õ٢ (D-l'5hE{[Ѻ Х)LNʗLW֍dA'J#49&z\ajW>[zPR;jôCK9}:6C<_9u{+!:a*UEi`,hS'!3ΊCXkaĒ_V o\TrF1x k`g[^X J6DnDml6/Ol[ZqV}&|Yp:u7Nh(W9%>ޑ<Q$;u+̲TZzw |\ 24|< r'G^_Ze()D׸N"Q57 Cw~{y]f#ZVˁVvԎPwfq¯RWHtNt\ T6W {g{/H ON%SehQ&O|(_")n|})zb ؅c64Z?%Spd[Cy}Uc]!G+X,Fv#d5P{ eF{NxL2no!5x[EWNwʪ4Vߒn BMv,n#ftQs:.PfsqY sr_u/feDO\?7>%b A?Csw0jbXtRT5@бs?3ݜ^W(kJEun.No/ͥ|Aq,BL}'"j/K;F$kZk寷&d:.Lv^_~9]З$Ω6k5v}=U\.aQ~㺱DvՈ9\gaM;U{ro8` !)Dl٢ggEHW8"70 pЕBt0,JT? ocEa%8G9rGKOIdVYX>NOE}%\&-Lo4-,VK$ me0+5դ'-#€S+~i빥}",aCB=&L/r ˴X޿9ߨ_핈@D Yh.yKydFjGHGWt6Hp' gE@ weL%GbSГBs>yImWvd"*6y=ޞŻG^Wm x5-Nү5o(R[v񙯰.ZBݘi!;fg}Kze2%1jxñh O,; <]Xi8ٖţsl‰ #$5:Oogdǟ3w*R|[d%`"NYa5c12fbftLX vap Xji QAQt>9WczM 㭰+HC"<;sr[ҹw}ŕrI e%!R>k:$ +!qsp]$K$m"ߊl/+[IFۀFS(J^;^&xϫSPeRXlrt`[8(S5HwWG3+~ {ݻՃ_'/e/Z늂rvs]OI sЪ{/h+Hn-0 R$BzD\h؜&Q0ԈZQ ꖥ1sQ5­6p l-SQeQgCΐsSAېPg"^xYb=CqL˽L8E&zD5YCb+@=D`b*a(x0+ }6أz,F&3q_)$cd4_70y:{b@16 F 30SEp0 i>+`",?4#/L*xu`ƽܕ&߂d.;(~WR_EZ;~lҽ"%x ! 4XXѢrM3{>6]iRYC-vXuTHx%pݮ2+쏈#Siu0I 'O!nz @UNE}@;W딶Td" Ygɴ+8؁C#(#t-ΐwIz|' ӹ4{YM,?UknվTdQװC/,``$S4uL5|) 4"% WNLɟL(=;ڽ׵z۱(ӾYG^WO'IO:eHuFA~RۓB{:8Hب04Uk͞Vk_QhmWK[n80h]}MsCɿ5jG$BNm/[+-qi /׭Wv9m-gXRxj{ ڵ]i[^2yzqu¾:Hel2%P346 RS RϷln) _+>!5,y=A> hPܰ⚲]`e"&Gz?|n[ g`wGߟd:ECʄD!#~@5٥MNwn+j Tt!M5n=3MgIJ X?le{"I=+꬟UR)h}k](]ň~`x ':?2BC~ʶR;R9ӓ=] 8L}1m?k pInj-xٲJqTy1+*=|c> sR GXHhDW@2v%z@Ea۵ VL(ޘ?nr*.a]mQkACgraYd |6Ӯ'dvqp $c~5};PԖw\w4IaJﶛΤ0Pzt s$:5r-TqRf Թ)ldOg 1FҼs}Q\ԘvipAG-#1pջ J4O:bA8R4н}\$]7LmC+NX\''ND9r0"KFg -W+2yw kp@~K4')-W ni{iN)A-*N:bثEĬ <1?PNv 4<|5q"p%2^IL4!)lBQ{QtUx!c \Y%ׄdY\LR #:Ewﴳ{ucp7.å"IFy䞦Fn1JȡLFN C@ d5؂wq5Dá W\|,> eQo]ym.er81 ~Xӑ>t)Uw&vŐAa1{XvWZϔ aY 麙Lnk^[VJg4ܽΪ:+]LõwTQOu@ζ2rOt{5Esěw/MH%y+}krmo%Xm8ө8i|G[7wZ}4Lh%n*:<['Uu`"/J)6 7/ k><@A3n4cSzaHI aXJ=p0 RX60H l oþ=cq| $c0 |IV?-Ϗ}& ˪ae(0ne~\<|3sӒF#~J֐c+q9 #%wMe^ͅj6-(RC:qǭɾ,s ڳŁ"N^ a|v.r?HQ+x\cGc/ ~4wKUSgui9`  G!^%ݴcH S=Hf 2<[kH;.Y]En>nw4puv FU1.Lj(RqD^ISn÷/εR*z!nҗ.uҫ@Z(b#`" Gݎ WF(, 9n<3('jW(=Xz{l?:0-98w4fUKiYB[Pb<i;E?JY/[270YjϠ+rM.\w1݇=rR/ wk]WܐCv5hwqҚcP م z@P&3Hb1toRA*?7Zw!1ҫ s~JO[|RϹKr||d`]ٞ2A2UܓFv2P!ѭA2TI{SQ^Cp&;N{B;ƵyEoQ3zۉ\/>WI7$g5Jёݤ'C%EǢ`oU]զ|1xo͎$/7NVM') :\*P0V,.:B(G=Ayfg\lR54(҂eWplZލܵL4;͕Rg I攚@󊼭ng=y a7+!Nv >Jgd^^j[C$u"h@Ԅ8i#*vSuVTpx{gإS"E"SfN?kpމMfl@ݬ*ʒUcR)͞(SAG~v* fngkM7-S%?6df*Sp.- q:r pMHǘ{lB\`$3끀R]y"Rsq < )/Rb%svSa%`P< TtC}Ȓv+!a[P-ƭ6җt_ ?]%ovBgyˎ)_|Bzwfx|l]}keqbxY`uZLb(p(FWEv]z|U-}cp;I6D3cuφ;zl|AIХk]/[a6/kIdA0FtZG ԄOiv TYS-x8^ ݊b춛84C̎ ZA[TgZ; ,c@yH\ Af!ڂ<}J&| ~ Z͹dl8g]U:ΡsO9=Phe1LQqNRFgO4Ѷ;'j8J'W7p/;[BKe$IaAYKPP<=EOc+d%.`{PlS9ْM4tNJJwNBUA\040&ZPt0ƱƉ@DUFkE0Ҡ}41ȍ6]w'{:+"_cQȷݫuNF/ Ou: O-Z%W?bF%~@83#$0~^1NʹW4B“B@XE"kP_81М;%rz sͬ۳oKnA(⦖S~떗'!ލeYV}h_yȭ&R2])G޻HXTah,6 "u}(n JӾE.c&ϣJHs%̕:+7[qZ?VtCNWizϻ xL\UD_bK|sB[WGds5t9 -uMVn@5bs05fM aTAqB<ڒ~ /y5p8\ @u 'V)ކ 2Ӽ 3 1pĮ6k-U͍@Jĉqɼ0n)ܞ={`h7C36  M{nEWRä6}?4 /(IDFwP$j_<Έ&S u2vbt'ZQ* d8/&;2;Qr'~<$X {"XstԾ%FX.,TʟX©6Vҟ5Q m/!+0=mS(KuSg@ vv-m$ e꘩ !`sŞd'<x?Pn}{!ʩpV}.*oڣ+(3%S؊n#ʎ_ˑ 51(:ԭp lje\<%7XI6{AZ>` ^g;Gf[J+pc͈!=!ФZA!R;ƾVR*CUY!oh7taMX6^K-FɡM23oU0^KMαk.}&g` >lWJDE(U4(u$&]{WJz:hDj0M/'Ή Sg(갪"*'H)Bn_}Z M/,.x\ _s-K>p, Fq}DЏT>S X౿#`d=4qZuW~M" j)84+[) m P <V %jBöhUHCؓU,B^dT p}EZ~w{Q@gT3ˠ+y/wG'5-b!QpȌȯ lBYm|m!q]uYlr=0K@ua#pu_[!7{LHwY&5@Ӓ{`+I Rоo!`3Rj= WNb.tα5CLjz#o-~Ⳓ1{T*!. զQisRI6a hEl^d!93wpCFX`3>^98%F:WWSKaC@Xۗt'2DnEY9]d mUY$J |.$^ 0F>*ō ҟz ]b־9h45$;rzLs|[hђjϪBIj)ʑGNӜdz2|v)3۱3iʠֳZ}w3)͑x@<` fA1]- 5gRanBҩ [wJ 3*@OH>f^Vp /L@ZcW, N7&WˋDs-񴲴)+d^oYukh&g:|a$)]0rD%XyRT>b:Gb|LSƁDx΋ީs%j۬o!pеDO.P v}DkI\I;-m:f6+-L"Fz<.idl} 2q=Op$FS3Xn1D K]ͽ 2AY,㐄3wWJ_v`eT>C53>9R hn}FvM|qpQa^(%{MՆ! cNj}'[nIEHYo "ߡQT[_ZuS bi*!}-R-(p ?,{L1Q̝8д,sK`3v: 2VGu>sD;fF_fUi<+gڦKe9DI㍺A^N|.2nŗK"u 94`/h6\RH^8B2Cg:Bϳ~2e hB3pӗc^&<مlpM%"_;).-]Bb5܍oMRbР* ,[:w\PÜ 2j$ó5|XEvϛx HM`uj'$Rm}Ȅekggi뙟M)2E|{: S}V ɃwsP[Ĵ3ߊ)bSҚ{l[z G&Lz×OLZXRX#"nSr`WsAa^` ڲ2y+|>Mg]J,E%@T|;) 5SdCrJP2ȋ(?o}$ge1CAۥbr &YR8U +~/z.)X#ht'Tcq_F_Ǘp=Jqe{)[Zvsm|f$p;a">|ݫl}zfe-G, )6ˇHBE#>Q6J. $U*϶{}T{я{d}<YvL=" [G>w $}f>QwãFpm?Sx`%Opr3*|vQS~6j z{Cm00-,Φ YaVhŶbB\Ή=NJ pBb| !OWx!4Wy1@^v8-obD%V8}vǨ8 Aȷ0 $S/3xYr_4 QR{qZnI]\8Nn0΃y3J&xOI2KMp F\ e͙F*UcgPu".r}KTՠA ]2._kYTOJ%eaU{tWB hiPDHmoP@ ې3]fURECT,JgYƊ{63at҂ ;cE慊D/Vr !|:-y|'ZS/X/6yiNMWl+Yx]vڙ8mJՇ[ C"}6`hٹP[(75 $ކ1<&aݿ.¡5ӔPAWv ,9LM窳a,:W qf-G L-DF[#=JyM +/B1t-pdNL L0kZxSnܶb{B.dyȁ~9I7Ÿ\,悺 Mx#QSCF`u}q衐!%l} [zh=spZ2$yne[ᾼ`8hrV?p8R}jzqveRջ$΃m}tIA7$JciwIvH^J_?F9<|1Ua%(VO.̾diܫLohKsY:y Mڝ#'r65W\1"#)DٷѼbLk;rlmMmuڪ\r`˭3,aTm+g]"KXk0a);s&!ߌuڲϤ L/3 w:6^`k!1z@Zqxׂ~8\{ykH2<%͛4<9#ٜ,ct5z4UêRU`+gB5cOYP,dXClCRl*ngrD߈c-|>Ҝ4}' fKC`̝Oei4Q  &}'ʧWp>VcN@P ܒӥ"4zxbd"O16eOk *ɩ!Κq:{pt=OO_5'$!:bW, WyPY6=f"?=@hRS]co,`P5?P =;$\6#{`:3?VqkJD >g`oq2R1-xy\" U8FśAx`)̃E04IKQ^ vb2.9g>j%muP/@zpN,щ$2M{P :?>Ɛ1Dn#K\T ۺ꛻#~XDu(̎ơNWi[{ܙHD?ZPEvYy ,Cy#yPg*J]WmkNA5Y0m)- $gX=n :ߨmq l`:N^pIhjR;zE*|Q¹,eJ>-FÌV*IĵQ\-=ʄ'!TXRڪa=PC\~Bo3j[G< TM<hHRfhݮkw5?^+BBz;r`A^Irݛ))ֶ}V[ֽ ǪɅ 0d7; )%`&9xU_uFOD [bXmPǿ nF1\dIq/XڋM^ZXq{!Ƞx_NP Nn]ô2G^.FBۜ|ҷ8>rj,SbwiSR} wNx:1 ޚ <5H᱾ne=$dN Mt5-MD^߸@dg4dc}[ax:[DcY,}_x.cz\E,С'a+207pJj jCV/1$[$VEVQ5S JIPE2;h"57# jZ-朮r=k2EHd!1ECO;krc6.-}U=3$%u@.q.1&B3a0L!w)/8N9:2>uU$:>g7o=s*)l$Ueb/'S0IZO->7'7 z@7 {O>>…g0Հ%G1XH|T$^˟$H7NcК;ETl>F k!9 ǙV-,֪zdLn95 )_ *Q2]cݯa㽾&'IXC/ݴjA5MJ/R5났yȆȃ )| Qu" |6@ҴJiƬ6T^Њ:{C da캅؃@zJ:mYt=3QC.;-|Pjh: [N(M:4HB9 =6wAdyDYf0*8 lIf)ay>'Ccȱ,cqq7GW~'k5&cx!) ). v$:QzZuq9. fZ$DqhWCVH"  gcUMRrUll=[Eҿ7Iߌ'L':YC9?穅iu\m-&`-g;Wt,DT6Z$çA1"(<҉FIVAߢB&-,]pH&e)|ivo%o:;?I {774 q4 Є#cTG=%{)\Xbd mf2ِ$To7 r'jT;?h< %N 8.gGԇ1|-E@BgDIi4.b" J*uZfe#UNAcqڏ q_>D}V;o?75|6唇/`OrZ"q<0aawqL4qSLEҒB:`' +=:KpE`D%< 5b;ػ*$9w^Q"wd +g1C%"ZZL ُ n}*U8œgvsԞGkF," tMfE^s^|!OuQ)0DrvE)O6%HŵS~w{8.x ;8z0##fL6Blǃ\]ΈEIu*; nmxɄ,h̘ I ߡJzp2H-rWP2Iزpyx6R?&Xw7V𒟰=<$_%Gy}`4$d2U >ZWBn?BK(:ѓ,PAqo]ۺ#c,dr?lbʧ,%]rK!}'Z/3]*Ǫ8tf~>@]L{x*;ދ+z" ܘ>xt:@0hSv ~2 ^:!tL]-gq:&uL1; |P{mpRj0(=AkA8eiC|-qW|*F!+o"EAޑ;V[:(fy'z5>Y' H10!/~I,Ko4y1 9rS%9,f6QQP|:;]՛}}'N؆{ $'ݫ9oMtݒ0/24Wu Tk IViHɨ &]zoxwNC=94MZV;xJ6[^] 5h#y&1q}lCl~!Ztm )"xF˸cɔ]6d͍ӮիwoǐO*Єv&xTJ6F-2|2 6Wr^X/L6{1Q,e%<)-s4Uq ٖZ覫-{CB*s@dmĞYa/B҅0adzģfXu5T!{ <^x4̐q`9+TTEF*McR@rψ20@ZV38q[i^z[G_3`~&뇥}TIٲe-G"Vv`F]K6j'Ii/V W(ӦJ8nŐJ+hH =[uڮND7*ts<b(70\p&j-Ic#!+™o)ȠX_Mq{@ṄL];AjLUz[VWW~g=|W%h6'|]O0lL'&B{QXWѧi-ʪi4 Gd::#)6eaM3xTk5d=nZ+r3N& Rxkv1Wp/VpajCe&Oc'ŠRcOEVCEޖ)0C.1:؇4s8l攀]Ãn\ws5TffdA긒x$#bFWXa*صֿpvEg•2g: jMt 橗ScMvkhN(~nPww4%h'=yljw}֮N|?F)Ϩ9u yf{ia5ɼҴ?3E5Mn8[4kjoJzrߦ19:D!t@8y:uoPCoc ܋l|JZge4) egYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGe!4+j9-n9dCd8`KkBg.UKfp; =,`.2 (5,K^6LXT1ۓ{]_ b~#|XW~3YypGc ǡ|ĵplCݠxxCnFbcJOT+A,f9e_yT[; B' tOg<6Ң&X$8C%F0 2dyN\,:bK[ח_UBVsp;z*@qohRk^Yދ7/G8ZX%U0 QQSUWZ']d]q耙,f%"DgVQ&~ Qh:wToݖkdM;AXSz?*:gQbɀty/8եS["bHtMf<-d-*]XD~ #wrPL軼X!˵" K;:ɊXצX K ĕW8<-Z'!w蕃?l TTn&| 6Q`-t/ž$pe-쾣Ʋ6hO^A Z.NeR8qxKxZ0ͺ0(*G#!=SwL}ļMqbm|lg-}CnUj_p]_OV7jc1ss7E^QF0wF,D$u4WMY)ѯv^|VLVD/]>+>k(ɥ,H5w:Ku,ý7Ƙcp4V(۰xb+|X"MVl HwwJ+ ӄ*ɁR0Dϧ5iyc!bzTCTnY'! ldN 59LrAMXGĩlQBc;y%І4#f. [/,hqIO=v\tOa u^! !1) \l%lM3гG2윈[d92:L(o ɏY-?=gLilssSr œ8ҊA}|rC!v`ṔIO7$Y5%M%ZUA ѽykOI,y1>uM}Ɓ0Ρ>ׯ.,/X,Kl D%Yh&V<~2AO~B+1':W*Aɩ|%AdպRK$~wj՟'Bj!dR $m^"}O"rq?2˷'Qs"N$O %Ld&t#WS=Ir_hNقhZ_8nC˂nKnK TFB2  jX9ϳvq$W 7LӍgC\MኻԆ*UW.7y>jMT}TK9)NucW@ݰWEG{2L- zTSxztS2\k;hqrr7us2n10?c`Db}]Y6۫G'!Pfzͨ#1`H顤[u)[mg`I,~eD+۬G)g7`hB~ V$G HNvVYA`{&L GRl͑{̿JSW =>BDP{& BzU6;Q"ZXӨ#D\%̻94 ԭ?%)Orip[%';dܑ4 lK3$ޓʅإ"fj B: $AgZ̔ 磜=Jr(/O,2qRƏmK>"y Īm~qq/&PVHL\HUibE*r2gqkp."E2*p1]fa , fy r3za{?dav˟oo; E6v=UkHW eŠBHLD՛P=}EArt|nѯL | .,kk!&2Vm>4&h1>*T(C|_yI#ZGaQn3 ykKT=ßwew'X+K3ܤdVg*$\ތ1wӿB<ᓺ%TP\T#RV)D#7{ $ߛM'O8.R4U7[9DZ"0vLz  mm:)⛣pSp5G'x3X‹;tT^P`Pt2ɑ wՙeRΜDn]['(hV)6L;f0{%mAqMG獺ջ#TtN$`E[䈰Lh'Y=/$"1l/$ǐp>-j[FŽB{FUDsM\۔L{0H J(cFŀ-NC,b k* QbT|ی"Tup˕fu($ɸV%pLUҭsƮQVwx%:f(kYt|qWǓxSQԶT-@m,+^ǦKy d)&Tw# V [֦R M'Ѣc |TbpA Yx-{< Ix͔+*FxT SJ`УQAE'GcLm|%O{EUH#;󎉾(UnS%*u_wL7,F+W8. 9QF_&==6:'HxZMcHA):nFNo+gU8<4HJ]aGNIG 9Խ^!S*s,!l18sĿg֙gd#?-d'V[tڵA9'J !4ab iMw4CqYU7*6f<Y\K?_<8H ]6"}.(jNg}NĎ .?GVJ}}c+q]G;5ѠIMSNoa7摐3w4 ,o^N>W끚z]lboʚq))hVǨ.]L嬅5/\`䳪?{*8phx#me O%쁘,+yJ$$*zڲenBAW5N3ăL ߒ=UE!BЀgѹɶ硍Mcu|E{ȈXv@Qz%D 9PYgSY<`8ϼ"4hdIoH}Bp`ĵ:ܸ q_?dcwY>27+lsg_H46q,;#wͷGsBTb>nRlhTO):B2@cxj:+YB!ޜӁ)Xsm'4y; XW-n]ɁQ 0!ιJua<WrȖ T>iUUQ=> 4*,xh*f9$4:an|V>0ydPJX>$R X`rf>AV},?Z