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 M),\\ ]S Multirelations:threads=4elapsed=93.264cpu=235.396gc=15.040factor=2.527zXZִF! ƚZ]ŗXiɟH)0%oY偎%aEw{3O0f=O:9?LTMqgg4-2d}1nM3I(^k*訴8pn5MN9Rdu+@iT -@|ӡnCP:`ûкr1 o!PJjF@>%j (V#%-:|.~"Y^vWN Z+uG['Jɼ q= %!tҁYF_iWϮ7^v4qI.h&K|;u״H!8py6N["eSYpp hC M( McJxWY9.$5 l! ABnS1ZKS?u+`YYOwKR]sk0hhYg 5W{K,bDp=82hN6 伾*i(;T=1:ۤgnj-C;?9;,0F{HcSҸcʹT wu3k*/A{uxwkz  dfY9=!]8ߛq :}zHEo>@ѷDq}kdbCEicrťZ,oqHa *Dl0z2Unu8G!ؿ 0fhN3{|^ß6g Nv`3P:v_JT 4vb8'&b$b yT@nAO&}TVk"xlkkrGWyY`ƥj>#h I*Q^~+B\^IozR:zakɛOQ%]~lޥ<`tވr 6c{ň0-S>te ^f*g* Dt>S6`ѭ3f;[sKC)r,yN-gxq{md. ̼3Z,E,żCϿk8&D!Զ+ȧ~QbK׼;MIVgw|9%Гlilq5/C0)UKm2AZvc;07Hj&h4Mp ̾y3Y_Ȃ:<]R`6w>AVZLq#"Rա"0Rp ^n1K4`y6]Y2G ) Multirelations  zC9ŋ8РX9xv{AgG T+5$ |j ͞3Lo٠"36N :9s#˰ΑL)d&Bk▶TDő?x{ļ C[e3L+K<=h%*.ۃl i֐iDi͇vz*]{orM}oNw06oR-M#b=)o;RsǭR3^x95#Ba`)7~좱"(6'quט+0kkb=+I]z}Tr8:,bi!$?{FAH =iTjjYhvi^<4}!rA-`\B?,vj.Y V)0:|pkbQ\<gus &[ݿ5LSLͫ"7\]<)& 8|69Ʒ"2~&Ƈ"»yG4ԗ$Cf}Z,-ć`oa}+.u YZIDD 6;Zhu0p7)Rj0Is<+}u!{D1p3,deOa+/˞{̉릧Ɏ`HќogX 5S)A'j`ON.rsXy_yo|pRƚ; v+)ү~7C+> E&mf;fOph\ brz`&5墦oR"L8~Ť<!3,2  kvQ5t[^pۈ3#w-!a7I ٥ݰ]BћLe X^Iw:1{ ӏ!]=a5&Ed6((f˫g*)ْy:j/!^&v^mޤݯ[bern䚶J*C1kd9ŶteRskLBbXuhw!s1O.!&4'T0JfyFX"KEJ *Pqֲ8j!b@X0w9Dx ܣ#~~hmшJ(0 9E0YX?/"`;>N i飼`/)A?c&W*溆G 5bݵk)gQupa3s3ѦA0Z3g ? %?zQ#3tПQhY.%r*} p̽j&F$0Y^'C ;gsaQ4jhه}L&c+N؃0\hpGekG^m SbSSM(cu{2OKt*^࿎jf0e?Q{ ֹb13fuAi֠C`AT}LwƗGˡ~. u{ Xl^܂y Ϥ~&7ʣ[iÁeF4 )5%[|X6'G8Z!k.mv )efiXL k&KCt{2I|M*kү(Q䐔s8. s'*et =$!4 JWN/_'Z6V[ :o0{d=,z0Xǥuy6p pF"mzr5'*X͂eD9IU0 W?Pդ6}ه2PzX}#d}&Mگ˒!8^<!Gw4.}H?,䆚aus7Z[ [R ?G2iS Mzq*7mI߻e}nyӱzaHRx!I"l?YcuF|~Md1P܋ln mB*x" i -r7GuwU7Q̺WYօWE[Fy|nWNrN7:FO]>NWٸE`5 keu4H& ZwQ"t 5DSX2.VRx[}+;ɟ wJΕ%>onǓg9 x \|_I8tAxrȓM0'Kikdb.5s}Xh?$p0gPʦKG!Ա2 L*JB*М=ND$9"AXyey"CGmEmQ" V B3Gό]h;);<=7vfi"ՁEipc_}O\g[}FY,6,*IBP|>7J zf'Dio#9ŸeƕCA^Qrc0(.X~M!re {\:#L]} ¸u#=`oG QMdd,l{-x2?P3^2~͘Kq`sdvċFæq-)+@EyMNTI0*_yH~h̼mtն7r;Gbe9k\~f s%Cޒ8 $D'vuEu#`Ⱥ, 4Jh۶wĒ'c)"zP^qisf6 `8?s ՃI[,n.Ev:0έp1œSr!ҼLD"oGd3= {4|xǗ,l\6M\.TК{& 8C:9i9ǀzt㻭㕁j-p,RV؜-^ǒ@ Q]m21l֛3j t8a:#m7& L_3h_,𶚢sHy<z~A Ӊ8Y?)1cCnɑ_p+.gꇈr eBeoR'Nrjف M3_gh*~Wv4= )n7\h>RLNy`%9a[B0 zWxKT䡫 冐ME909d331@:d{&\Rd-ڵlG2E Ű_ YH7625c^d!4g>a" Uc!b9ՓQx|6,lbP<m֯&pm4:<*BzrFIP7m|`aw Iz?UqY9:8U&:TMD39ֶSBóQBÂFwIEv;SX89ަՆ I〰F?LC]O3fF\Ϋ/JhC-/Ylgl9?J&{L0wx+ 15tՠ;~Ob0ק/صaB綪>maܱJAHd:_Fz9Em0AHǎJ.2 ]_l,WaV_ŽAv p\W/u[q EIj>!daOs*ŔLJf Ca Y$^$ yē6/|]0)T\rWU~xc 1_p8T GK q裫t.72 Cn+1HAS6c-e\ϻI*³2BC1. ?FFdg?lfS]Ռk uZPX`LJyÅ:(YuBhNL@+3AaӣTCTw͈f+Gv㹰Bf7CE̲bJ0zr no$X]t<""Y1whf~[K|thY^"@mH"St[& nO#{غ f'K3j9A-yͶcU٩ -"v|ǿ4GT"xIԇ[F_{#5A&딇Hп4^[2ƴR'!t jag|M}SۣμRJVY=eXft}@$`w1=[SdNն6tR9 Gckd$ģK9KOznH+3+ diդ ؃MшL0` LjM5 %ua*؎u>$j=p:@󝻴.Q (hh`({ 1z1nᘆ.E 7xH lQψge>-gH݀ jlnr֖y#%V˯-[=JqU/4t厔 *.%#GʨXwH{fJ) хyXV&$zOvD_ wJI]~3F1~ŋQOm7,a&|22Taz(yӺˉ|(F 60HaI P RѢ7͜ɪ * kOAabŽuTkc cCqHT]wXZ 1\#϶:\rB2L΅dKߵ#$}+ !/Z},Łt2 {/#y] :.@ ,aq~= [gUmC`];3:js&aVxD"mCXFoQe0??8]Am郺mH]@(I9fq0ۭiq?*.THxPwe."0I^̍YvOt:I踀up^lߣ"K\ܻ+f{Vy{q<]OWk-lGZ~<{P_&X];0gJWm̻e+a q\=|GF6U.0?SdrH6L?R% <+%p JH;WXz_Q4Ǐ%9>Ӂ!*|Я VϢ]vvѡɓn/F52^~H\Bm<,c'] Hτ-3Q&n8 2 Hs"7IaXE0v}ib+$n擶}PT,Ek=*+1DTb9FA"펙1IOpΕJ$褞_ VX{ Y)XESvVmX1p t3.rPfW2NTf<@k+MdCm[\\JefVU,oRhxV78VY?6ӒZ!|au;F>yJK)T7T[P2/EQܦ)_6(/ &(\_+|BQ$LPJLy;y=rlIw,jR.6#U&k1播,oı/ |C't9 q)3(su8O'Dt-HE-~G&dcd;V\A_XM2 nc |j U}vm0p/CQuכWph&SaJͤ&cU<7Ip@š) ɏ< &\KN}>R3PWT&9 l&fЀme_O-pSX7[uHQ@$V$ʋ%/dC;?kuo{%"M _X*5,ժB7xI 0n9.1݂K{ZgbקR?j 4cQ[7mX tS9FmG꼗,j띔km.C+ޕ;[zI:s-1m)j :Rҩ-oj&.i̥ }"Y}}w qJ:3nrښ7d*+jnH1eW&jҜGצ }Q"4f(p0h^b޻1>>:u&:jY؋Wzk^L+ w'8^0RL򷁚om?LC,bFCnxSq~7hr;Fv޷?t&2XеN~(*sũ>d4A.8W;{vO!y7:h<9+XXSMQx$doH4)1-%IT>Ms2Vvf n(Ϳ72NƓ2}cOJ15uLIL*ZMZLp_#lGHӾeKek1S*CF02u")N1*1NJ4FY~eZVPݫ0z%а$yuAO(E+`;kk+p!.څVoFø(d=|is`0vb&d^(%CW4'߱ &/}A3e𨛊&EJY\3I,5c֒@vƒE|mOgQ8R"R] uʅ#Gq ~[Mdu%  t!> y`ǎY1 b`lx=gZRœr[AT4,o?]n`*.́,';uBDƖ!|z'%űlc(B2J1T;Л{ԕ$\-d;&_7ޓ͇le# /#P_|)ȤהIԁo_m?IQZ& 5c3BPKQI$ G`Ԑn{9tW-5`GϿҩ42PlT\ xkƫXAY} dIU5ku|˲i18vmZ<͕&бG=zEe)(ωjeO"" 7^sVI(q:ċC <'իk[-hF գSohV;PKؔyMbzH7Z_EcJ0Q0[BM䅕LnIp%QVMn:[s"d  MJa?l恽-E˺;C?e%N?a3Xbsz<0ӖMI Aiȷg8YY8+4 o`ٯ@1 hlCtW 蓉%xtӀKW%(f?6S!OP?@B `QVU>cf =P1b )G'gXD몤4s~؇n1J08_NzN[/F,1Tm!r{e 2$<8&G'C $vhKey֛:N[ otza9,5/J Dr( *F)J2P5^WSaƖyC1:vVf6=.мt>o: ~AF CWnGا-Nd`( Oĥ`Bu0t`&*S92ԓ Oᆨ:ɭZK[NѪck3>R\\NQ5Bɇ v$(lHü$ؗ OȞJIb,)wGWeM_l`ۍ]F[L6(b;[<EXgdvWe[ FDܻ1 WjrG,3O ^oX;+#Rv[z+ _*ہW=%}āC+TE5P|@y{-z&9~3%sG$P%ւ:, &7 c kDZ"=]5|7u_"Mp֌I"""3% Iyt1xf1O|Ccסܭ hKU{g<[^St^%ܿy)CN :bWT#灻忾a;!^ǼokzǯylX"v~.W+`ȚL|TlC;-!?eW\G& ],оh8]49]-K Y~b]>&8>/߆?  ϲNĎ0׃5_[dL;'.Kf(":g y.gT2)ޥI~w^د~}` .Y.4OBp[᳀"}:(Zsco}tPuA  )RM{yhu٨ jd·Cr|D*WkN[Oó^u\Ϭ HX>3Xw̑U^ fb9Ё sNZ1f8ݑ8Ic4FPF 9 M >K=9ch0̇!Ս0dx=zmA_ک*`>|rhDFkR`pY{yFf!rC!J _X۰#dO[dTh .䶐lTйq=cZ}ڋM~EpDzA9x:awGcV meH^ tT6h &d%]4u*zȻh tBAɍa!s:]@a(j FfəGa'xݮZRp;Rh߁|j4Fk ;ҟfWRm9=rp,UA/F:VKBerGWjylʹtoWpXSI>Njβ{|1e˥jY" 5&;c=F,S:OONQ=%jMNI`$JQ XW ?SՈ#?ӋYzgf_P^$j;,Լ&'#uZhe^d\.d |ӪEFk!)hMRuLO~,mȃȜMrHZ;jU3<)ZdI "d6a`L=J?-9H#SKXķSjȄŖ Cv<>FAw<;&-+_AqXvCݿK&4o-Hu]w 50v&rvYIP`?kceD]m?.zK"r( 23] AP967`X_ aj&iF8aݬ6|$X.nȄog LUbs^&.xuczBDr[&AsA?zgs C&1O bWLt~^˵ya'PQӍ[WD?F )n!f#N縞}^54;Q'ՄV/ݾ?2w7ΐgf{uC|;ِ{݂WSvТZϕr/9TX0R| 5>O4y(mXK\R'op#MQEJW0p/+`O05iLA(hW#XH eqoG7^~cs/Ҷݍ`_vgR#+2J%xu}ϱdX1r1TOT(;>&̦"/ .f(\7B/‡`PAuUIj!X'Goz=K!qзK>pxߵ#/<־]z1x~n<јo!ɴzhҪs˩n\-[kCA2stri&f-J1F8 %E0BFAfr ;6-.琉  v?t> ^=ܻIn/X"2_ zzgQ3^j~l4uy'ǘ&.!ŰZl9?44Kv \ڕJ /d+?mPڣxy9dS%l\}HdnأzZ=~^j4^>TOT-sݕ}Feb>6?l C/qLo1穌O@}|>(P-{Q^vSw su JőP=do˳wYC\fSͦ'|)#hhi5 aG,Ȑ0^&v~+p}`{0ob+mIcF Qو}uNË2m'*5c7Ai{AHS2R 2,,ej}`(:qi^CMqc2(CR>bz>Y,)[(vDj{XZ1Tp.Z|T#MWwa[%/QR/_23a$mʲx<-$xCFf!說 :, /Tzu=sHÝO7S5=TAoHB! %WtQx?uiojt+wJ64;HJ!>"P6kj GmWv|Q_pFoc5^fk3:g?Pv߸Mnj[1= o1m~8UqoiwNv`&l\QFo(sdI I0@|װv~wRK|~K=j#D4TmD8o;<\&lf,{1X*0? ,4tz!%ѵxߗ_K99WأNqN(UDHӡOAFaMI+]LK_,r']N(&ơPZwOxU\~*4H**`6i.G'Ą#ע)¹xzB,@8*r3:^:5jT-!.B E*U :W}u_?zZp'׻1FM\.}:zҕh˯44X&9R.b]SCNʯ5]M=s8>jܕd7p VPf!P^y5!sX4܅ѓ'}G?j^$kZ^ #, }&kޖ!Y5*QBj.jh[Z%Rj5-y(̷(jXhb)uĩ5h0&!)xfjXGtlɆ"v=?Qk$k7[,1UsK=.:^ek([UR*/a %]}uFBQW/kCX>IA2ի@]vLF{naliQ*H\ǐhE"OH_70N2F 2@L<$W]f$ԠtO.UcH9%=ּ 2LW;׆m8na[$/q C ;8 .N]lFcw3憉&;s̘k d^r 8\QP,;./3T{5Sa{6qɻ9*%_!4řX܂K~!+4ۢdm(ZY9eegpOTu1vE2좂:zl#0fxʂߦ> -)=B|}g? KJ 7v]m{/_FL@ e%%x&Z~WMv;W[#>3'}(40%&޾m*'B1W,$Ş< ?$ۨ.H{\e:+ 0be:|Cmi?<I3⫓k05rfw34 q]BJ3@)ɍyY/$9[᐀;z}֋'$F\KL|W{䞂wE.#xtj]\$0sLgf%tbcVu[@4d-c$yȓF~s >_Q`W6}F.$Ln8@ tҙs]8Ol{RՖr3 u[&eL_NimbTnn̒kK޲H-/ GXf9f 6ct%o*J yCA "255'lQ!>gP:ŅÒpQ+'&-ZIuDL!^D?rAN bό̗/8:nu"L k`RbYQ-f;xv(P #TY%8h='L6ueHIV͒ȦBbpU`@eU7_I-Z ˡlͬ.:%0\P[DuQfRݰpLz3(gqf4Tvxk4 zF01|ujrW a>|݃wr]3(Z%7\ S+O.zi`]2gӄ[]k6xW4c=[o k)s}Y˶6Pv>@v|p<+U8'y NRYh[ٚ} jCcp]?s.>6]޸,˝VU2CVm4xoF@E`d#$ᛏfjCQT+ߚ+=9qP`˘^xfGuB ~,LYJyt鞂zA1T_@9:V o3FqG~ dSg5xe8SOҹ x"fx>TƻQB$BHc H*R 'yQSc[) Ht #7l!WYRM6dȧ$gq@ۭ62Ƿ6_L" jCE/x쎈{Eu:'"?)ħҺ+ @70 .w$]gꊀ ;N +렍 ,3ՌБFB 0;"..:{4`2^R _@d3 6 Cgۇu<` isk)A?զ'*a8ZkWbaK&^TʚO+^|L5 .HgE#3Y`#Wwc/駮^ qAaeZ-rۿVOGErB%^[ԛ>M<4x |$J'hql54fu}ґ2X#Ht .*b `$YNwŒc/gA EcRs⍹ B> s*Ҏ9:ZĽ@ƈi65Ӂm"2FlUvl(`Vfћ戒~zs?g/ūQBt /γbʣh;~q8:lme42(6@`mC V֌Px=5 pnѡ1OL&f ;GK*i\85dw00%jHW,;yTm~lM;|m}kYTט!Ca]qMQe=A|y&)URp3-ko$`a' m0贀n'B d;0+34̏5WZbHJ/Q|I@=FOj"[ G(A J;`}ԵPxomU#ϳe,:x^+X)%9ݭmԶڈXf)OY$ZZ*\:fh|0ħdOnDƅQ\X-4>+Ă!P~Ǖ_Bvv0!oاa.3S"/{V̷s tOsgK3:jK o>TC22DҦ)| MwC{ї'C43 Wtu:@{YO[ֺ ?&ڢ=J]mڝkJSBׄ+zS0c}bou{;6Bc 8^`RŒ#"Ґr4D0YbkU lX$)!;5LGAG7{TukrA?$E-1=l4Sci(N&Zܛo?2M1~2Oxl#bi[:EiKQO!F=åN?@!MW"SuWQ2^2gmK/2􌤳xbZ_T`eQ k1]Z_pX{lqPI%֊ ,ɩ'%_8YRӏex";1.NH^>2O1BSzzLr?[S[:唚" -f+qsW[uZ cv ~vj3 BQ_+r!J ™#i@gTZu:|#AS!V7ĺzaynGu ƾsi#?4p7p.>_[2 O4aaG~pfAƂO<@6ntggǏ_#R=8uHfӆ6t*.וЁbPw6gYZ7zXZִF! g]ŗXiɟ9%Vۋe! O13Zm]=,d5UkB;)l/7}&/[LiG:0iKS`\nLヅqG 8gYZ7zXZִF! 6f]ŗXi%L!l0륥fdlo[pVQɠ۰OlشmYgɨ 5*Km;u&'ydhLϷpgB|溚.\Ҹ 6Q.)ɟj/̟⿞aι[yuNe:c׽ X0])0|csKIɊtդM9,S署3L3֥u)m CG]?^7mOLlIGL?}2H<~KiYϰ/mgЉs/0Wc!įsn]+BT4ؔ.rGʜl=oiT\V.mC ?X%>W%֬>IAmsZRDWlSlݑFpMH#%Vɠʰ؀?0\\ot:0L5MP2hxdN9u`x&j#]Ved>& $ŝ ?zE>D)CTD2FF[8R7^)qVM ߊ/԰x"YO'r-!r͉/~o(VzzH&yCbOԻf,In"a6G/czJ 1Ex;DN5e du9Eb+ * N!~QPDŽGL?GUr1C3*$duDIp؈ d'z( BB:<.vCz='%ۡH~ }((qre:0e\'8EPNV$MHo1Gi r@ĥ$_g A;;>ڏ0M%~?UҾAx71sx:87{dyc.dY__%>gzN q'ĥI.`n:f|k-Y`_ 䙅{akٚs(hj]~<ΛobPTx |joIh_oÉ hs.᪒0I&5F޷2 uF,d2DM`" s7NGxCçr -KGTefi* ԍhvً3Ol^ڨMC,;Q@:% 5tU8!p8c׬ϸuA|?dӗ̴k]J:^e W /E,ڭ=n%d8a1C6"3M#@K*/TNpqDAS(]Pڤlڒ1-Mf3]'X^QTq FU aB;`~׈فND7lvG(˶>i!b#YF әP֜FJ[-lLrqjẍ́<8JQ rgAd2 u_M hV9vT.J*) `Wax  ! g@wu*ȯuȉ-A4? c%ԫ^Uc,Uu>v=eZ@֔+= /RyYC_x6ky=&P*bDm=@Dx9/-Z'(n4PYL51;oczĐn@UW]lxJ45Jkqi/⪏튶0͉^6rO=kʼnf-IJ1ݷGHtq2}=-8β」W7Ǥ.y!X2 X귉}ZՐ[x*!OMQ~NIHRS\48+p b$r,9*W٨CLk`2C& Tgۺ P<|p6AjPPc#Ћ LAMO3v($M04-X* &CΒSHf1/a|Wʺ6O )iu$TR^xno ݉*0r]BOvZJ)-iXי>S2 'vjza&C}g4OHXa92o2z.K,)(^dFLCsK-[0 o 13p;`e+N'Egȯnh;5‘Y`{̊O׫.KGE5( קBaѥ1S^(\7xVKoYq sEqLL2H@ku}ͶX $9ݽPdzԆC3BuyZL%=YRMOݶbն 5K>o n({եJ<ϚJ" 3_^hnNjF }ӌa/uo" e&~Jr? EL4W!Gء+vZ]d_FꈿS/*'ÆNɋ(5Lq_h +Wh@Ga WЙߜm1yqOkG9S W4}>Y>ѱGstVqמiB2fs)6 ОFȗ8BElXWe)*Kmߵ=k(Sx]mp`d`pBԹxZYK5 լ e%&gҷ4v/iu6)1WϚXNϏ&fEW0iE0ƖQ İf~i+ :>&L^g՚OW }0ȃ¿FpyP[dX˗w@4!7 䣬V2HѾm,o9q$q>!nlS.%kZBaoP8q4BJuiSc>jϧg:@ݧm?gJ"-y ۝V"k PDl~e qT*0@eb E1OV~`3`^ Ed2I0&?ɁMw9CzH=BA~8|ӓoZ ~LI!IQ٬gsp$*,ψ^ԠE!hMOT͝6ɢs*6<^DG[8Bdi QzD%\gGu5ݕtG)37*  PMɶZH~OZQY#a1(j$fPVJg7 N(|8jGۍwĺ,B/,g^&ɋ6tP^;$zLؘ`N._Yb̿ b_Xg86.{'ZL 5Âs ߓWe JSYdv94k{vcQ/ZuwTQzvkm P넸J?+T+ ASX~Ԍ c[KnC6.pE)os=4Z%pdᇴ\G4 e/s;̫ie`n Ȥb::qU FE ⷷoy]ݕ qL ca׳l!- /Eh?TϘod433/~f;8" pAB_\#C C[ӊ&k|(fD 5~ĩj+MgLPQ')6FQ 7_ZAQt z/z(4d' ss~¯a])H:N>$1h*FtjŽ'O(79@x3WzғQi*DJKXsd:}14ٞIA8)Sǿ!V6R \JKbB,kTݴl|0>AcCnвufx35)9> fsd0 33\G~2' "YT|!]6|iiߢFYi .6/MOHb2v EIyp; |-~qh PcJu& O4~bГX Tëv#3.P D0;u iUT:,jxȒ9s0>i1ZƤuBΎ2I{`r>zq;E0cr8Ԇ$M%*ϕE戮'ni(~42H6_o*A񺇁Ӈ*jLcmHh*`M3b}\YmaWX|ys+J.Uݧ3@k*}3L(W`rDR8< nWdsۚÛ4t!;Ax@f~9HJ__/(L=i-~* 1cs;;$'! gE=Q+`gM uĿ숊1Q>A8 yy~ds3B[,"'\9d;.jFbW-٘Dr~0B mV Lκ7mR^F( o.=i+ҕE2t5%okDP`B`:y`[f@ ɟ4",k9QBNoI"} a܃QB(Oxz^]ќltQ/C9oxRsQcl\kYw/X"Â?JrA10򹙂^~Wc,wcgo|znzB1 zBԲ׈8 |5NTFdwy8ח#; ٬^.* 1 Ԁ/u-\T:^̍ H8qm|89 268Wjrφ,ñ*\}m%DGZ-cΓYiU!dr$EZoW_x :b܀iZ9S$-I}越aJ֔ӳV6'JrkNEo ~8SͣSwUoHWo'Wk/z_ҫI4lS(\ a z7Ց;w0g8L飵˹oJM-9gl [OL=v\]-GOt&;|BN h`CjY_v>+-uQU./Ł'Ee'= L'##hk) 8x(u&P+0F< ;XHJ<97u&<C~ψG;UP5"`~G(ːNK@0;fyKyBaϺ}idR;gc`~H"FI304%UߜC3G.bqlI3!Dj.b.vE 2>,\Vp."%ҍU](fy\0Gs4d٩GicKh'_qBdޒ^3k'[7Uk $R|;g"Ji $bA‚܂ҌR(>٥@<->.ķӂF /lYN>9hb>NYv^4ݜoն mW>+Zjtnp,"%eqMI7 |!ŭNFCW> S0"'G M.Ф9(탱gYZce3bf1dcf317434c405aba6c810a28994b84521b8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f75acb39135c6e72c6cc6cac727128566c1b7a93 7188c1012c0b99cca275eaeca6ccc2e4dd69026f