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 &&63$Dd ]/ HOL-Data_Structures:threads=4elapsed=368.885cpu=1333.984gc=62.556factor=3.627zXZִF! ޖK]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bb89 q+ wӯQvw2E? 0b;~kU>nX:2_R.~V4'yBPiBaEMf͇MAw=KU0BVАӨEqa,#.<05u.-E\d?`h1h݊5(W9N!4ަ€|岮e׼nd! 5Oq!tBGElȍ E|S_Xueh=h%jኞϛLl d-ɋY)#9%4]d`/+ڙ aH1P]}?kְmA q1@n fqP.dC#lAٳ5} -&Ę$j!A헔w wq7mtuXʜ8p:jvD a~2E,^'`4٦ffdΞ7& diUrJTl /&wp@Xce@6kz8r,jPp4yae3+vjӄ~ôJ%Q';uJgp) Ԛ@]%C{-⠘2grL(5Υ2ُNcyz\.7\ԔYFTy9(+uo8ux-yR[h O2,1elFieUq@t6H] z%]6WcK qCNwm&$rl5&|ܗQXY\N(``8g{+NX<_P")g~ׯfzҢO9Owqj$Z Al`ɦ. T{/Ϛ{(svNjS WG]E&2/l4E5zdڏd{K4;$ńZ|"^n([9?CU _r~n׌ZT%iIKxG'=v_h"JYcQC顽#*v֚a&<9^ВV6.ws\:\U#ԟ(~S-=1kR#9`u6/1iA,at5Ҋ.Z4yquأ{TMX1͹{kkx# Z ó9#[6(B뛤3~cDA0F!ju :*x ÿVRVb44X!rAúcMOqsSDYaV89iɖ#_P01ތ 0l*h_~<LC\$b`1es7#zt -+x!6}{RA[ۖltYyg4B 䖤E45Q )ş2Up胏ɄWݼ96;>j ݜl# ]b}y;haB3 Qrl'7YҸ$)}@,7Nyhi_v:r^S3. v63~+ ؆eq2?]e[7@iL4Qf E4 !~B|4(PHgЊZDo]Bl2JP(4Ө6W2xB{\sZ$a>>SV:)nt 3_}"`:ƝxS4g.Ppsabb.=$C,v`)vsڷ,ӏRE!q4M&PyϹpgخOɩ> )އ 3 HOL-Data_Structures  C^+Qs^&,kXv*fֶץ[M 9R*kz>s#9pÃU\ȇ8ѽf-g? Ioirܪ)Ф {?ĥL%!\1WJVCe$⫾}K&dtCx3PZP" =!P?@Fڡ#Num! ݟ4(ɲᆮҺVf}}04VrV(@q3R *'fk [)KL}|Aӧ@P~E$T'S`8τ<08[E9q,no`z,U[$qwQPKoעJk Pn)Q`nW|jf;VMA^Pv.] BY@`B<mpLxtY 36@v 5xF ハ b3ࡋ Ԑ seͺ䷌J>tO≱Iἒ _]iaOu,fsⱱ7}8aOBʩ= 5xG1OW UƤ:>ZMјr>+'ygؚU1ǝ^.q /6FְSa E`itXuق+ŋsAbQnERo3fjl#Ƣ`,Ji2<Xnxs QZ@LI1"g2m4:VRERƫ4 h*]jrV]G̾_`!SFV^c-y9ȝRa U (D;؁ U{I Fkb魺˚hf8*cF -˼ʗ"}Ig+dZ5cbJwfDvӯzD}{zqrjH[(`uCKh_i";e0 5yCY]& w$f]u>CO;NP@[4~:D7Y~Ueg)kUϸXA)^ƙ!-ZP͐#)/,"qQԐM>Yӳ>iZwU߹07JvЛH39I7~יi!Dmٸ% b,҃HոKدƇ7hMvWāL*HZU}MgK-E4{*jDt+_}ɍPO?* ʐ檛J2hDҼ8jM0T?#r~.z24Uu74v!AFVw/2alFsl-zʹ =!}q0|{MDҌ:ùbW5"25פܹ6?>Gѕ_/ST+p/I^T{!5>wnѾtn|EQ5l'|< ẛmAK*Z.שOpTNɮ \1k**RwPQYu?1{vl~JU?*\R'%8&4eDv{DM N\XaBR!7,@SejՊCcUt94l5D؀>EśYJ( gkgZITV@7:)6D:q4 ozyM?dZSB N }ir{%KP'>}*%,G4[v2|N UTЦ[\P)D_ hl~b:7]s}T tϣVj5,A+7gw@Sn#H](+FuptXϰ45ҔGc{keߕEKT[=Ngp? `cO^@|/@plv%C4*GʣO0v_zGh pb;"lkg?`*bnkC[Bg' ;߅(: !{a<"ϗ}86&aC75ߖ Gm2? nAwBund(%w]JV'Lz:KɤdqQ/fkRgYZ7zXZִF! %cj]ŗXi%G̉IIXa60!]GTWP6B5?ΤzڈoG1m+*WG|V2's6͌PK^෨()eXᐙ;`mC`v(LC}倚 B`vg}!!}-HD R&dHvqI›gV&W6Wd!;=^]!-mlGx>A!|!MūC5љԽ0H e(7^ćI.L^堟=t4Aٱ~E/ :U\)L΢)XAe΃N@qgS6~d2DE>ģi\Eȕ =0+!ܺ y*Miɫ5>5]aDk135Vh~˩6|T7UkO'9MP!íHcڟ}~h}zS{k1XvOFS2zm+Z~B֪ɏ;6J6 Hgam/>=͘XUr'c1Z Q0mÀbTYuV5ڄUSpb';^, m}K1Lxd]THZZ $AI$cRbA񂲣`.Jb"υkVdfs$@G["ypfEԖ;s4]NZ @1`jlMD; 0Xal8h2%җ26?7N>nkM~߮$O(D$@UO-b7'`|E\y[؛}ݭ8_.˶XHLmŏ/: bHRe)n\({XHYLEvOɃUDd/|F9o PRR;`Ij'R8K0RKVw8B:C2VR'o}B/P{93[ܙX(ج_jȻ^C`D^*5AEW?+C e<|%>pշ%LXi(]Tب|Z֩.V'twM4eˀaHfqz;!R{1`FG'[I]QMWF.h)m3& Xu?FQ5NK.Z!Vy=6)l{!YPrǰri¸%~X{ Ө¸\%M'9VxӲ mԛj`0.8LR027ܬl/qYi PCZ*ߜoفN?\ԕۆo G-.{@6 m .+$x|oዌVʹ%YQ D˄q7l&?TmO47ݭSŗeg,o26޹l;ViVtURCD70Z-QJH:|pD 5鐌 rd @w}5;v7D9-+j8jic*Z"tD( tѐ6`G2l:O1o4l%+kq /;SDz0Cț\x*]}R0sa ,]z҉3  ;q6X4W%}&VˡIp1k7KėJPKt]F?Q| S'E)R;o_6Z %]T4Ƣдŧ;yט_R\,)$̔dʙ4.CmDžϊ<_)`,[rCu˭\z/ ̽2WPM\ߜ|ҠE^P6X1}F-R}f=V/wmuKakw]ږ_/il M<bA8݂16;PLvY5~av}q/v=dmIRs8wKbSN]{hRA Pa“  R=v"FӿKAxbO!e(, ˧B^tqu{}LzC_cIajTGvrÃ7A&3j}\"ȡ|KFP v[oeߟjT|LĖH%.cBjOB.]]VoA. ZIgdܷdI:4P3h+EYzWs [;IĆY۸h.pCqr%Č=(@Ό)/"O.gQBT,_IlIq Rqσdi}9@0'A[u^50c\,h6rYiG|V06!0D6wjiAHh= :8,JdηD;>6ؤ (L0h>yl 2, ;Jaob$_4d9GN "@Q?bR熩zys̜L3$ =L8?cl=61a {Yj1)RXB1OX:#}H_Wch(gf,{dSbx%{` .uŎZ=Ku[v0Q`pK7lܯ!Rmkk 'X[IgeӸw~(d3 kiIiW(<{4t?iF"f#0yv:nF S-v6Pѓ£b)+4Gv[nr$" O<4!Aa_@ןY͜y̆mdң0W5Vc4@"wrOլYuz!Ðn~rQpi2x~b\䤐oK8főfA&V-E%.LT0<RX.OZD65^,Ivc9alh\txW-'Z׋lø%oϛ,Ө!RjR\ޞuD#\5xNԏj<_Y4՛X2 > N&+|N_iprSk˵II9pƫR] Gj+蒢 &hg"D+[?jm:<Gk"tzhcC\Me Q58 p2_7K@ _,%(Y+klA5K:u˓&U<ַ#TuTdßJ4Yƭ{!՚`C3Q+8m&s*p쨈]s啽X/*&ϽRk'in@'Ǹ^vO~fHbr~l\F) X(of"J;(Ava#^o\ReLd$5*"jr:uA ^p=Ue@q,²1'͙1X S;x%Fe xFZ уL\~`ɞ%1o| A0 -Lj<Vא=]z D1C8͔`zY{^kZ-r&N!.t%k"k0vGcd4=N!gBq~:0Jh ibLN}$30Ok*yy& $;f6$LI:,H>*g&Kw 9GTǪqdǚјs~U2ɛ)L@;͋9WLg`} M܍LBy{I=hfuo=T6%I r;HXJe$ԅqE3Y}Us4+Y ASnǾje88|}fpB-Ij$+7:Pkw:o/ضOg`'HEK!vVB oJWdx_4/ZKSpMap6x6߮}  m[Di3<+O:+=qt!y^dQP'jY2b@;> ΍Qc$A A.l\:SZj XȜJ[$vߪtTYAf?Ċ'C.Y-~'a/pkո_,;@!YWdd}uV \pyL:^ϗ w)ջ3{mj^d5ZMG^ߴA9l=: y݈6e5SsO3%TD(kN- V"Gxf;knW??Y^_G{8V Tێ6IIфʾsz.m\1{L n̈́.Wt72` ܛZExD]_*tH\$.w`wQDeO܏դop{g20r d@*LYs>@2B"lMcV9aWZpj\9]WMHtm.qP6O8u!.YZ1  ɉD3 Ds(jwXSZ0P!.X^A4tt4SP V "zdKa˰X=qBÔ]^nh*%¯BES$%5,ݓON uR@DIxGxcsGO/8񹐄 fr}%}#ԴoFq/Q%6$n&QN'A=.I\b[M!+D\ >QA?MjdU=Y>b"2o'CpOYyӳOPCFs~IRS3Ta<chᤊ3Tlߑ r BQxکC&1j=u9r`J/SC`^qj:HW6r&])'!gPHybWBK¹ב}3"- $*&S?T}U7q/ѦsE2iTֿrn5(V/<|6< D`EyNޅwl^Yt2y-4Wqj56|fuҀRڈMryLYM<*ҏ8BP:.ɪJ@r<($ H}m_:@Pnꊮ /G!nWW϶jQUD :*+kwp-pj= #hȴɟ50rBVU;pW0(Gh)jOۋ@r$"􀷽wŇ^׏RqNS Qḽhb>@eڿj,i^ s wX?_`BL|dŢng: W/x .61HY;Yq?a_%H9]$ *ş=`c35GCba`0njߞFdk nǼ47+PK,kpđ vW;D$dcsJA\*Pe+BF;/Ja>3!sx ORՇjf 1jc*J֛f @=Oyf.A sEyG%:Lꮑ5"t eV'IG̐0hd~ˀb5UrY{ӏi{PfGGبY:U([6H?c۠m`XTYh0@2XglIC=rCؑ:͍n:|kHB_qI !5JI%p^H834eemJּ7ׁSIG{rnvnlʔQ{q?z6Jq;<ěFLBSXoisF>Ed42ipQLȋYg lj([ ݠҞ-pi toNg.VC8v ~!a*WA J6_ /HN%@od-27M*k8&h֫? DŜ@:lj¨1]|;T wOA^UD{._FdyO$x띲kY a<3SaoCjQtQ9tM6OH|a%e gÚ(kaycݙPxarmn2hipHAI܅Xg&BI]*S Dab% *=B.BFrA6tǧ IE+: s6b̶bѦ^KJ !T#!r"s=q1Vҏs>oED 0Hq\jAF~rc?mug9>l@Ib5^.OuN(Fpb6/j72 $>#I=!c1io kǽ4۹1[?aƑ r:PeY.Oqj2Fx8vkNI]Fh?A@ǎ" ï1x]; 3 /D8rly} pP03PV\n_Fh 7yqVk"B8:$ 7"Mm&fJGc%؛#hFR0/b<<9 Q!L9ê7A5]{󣹼4aQQc_S2,)\˫2t:n`=+ت&5;[DR_sJXKͤcC88'K$7+?n橋\;_UԶY[K"\:ʞQc>DL6;Dl}kJnSU"fbgYT4!}C%y1fV B5!"vZiQPiNfAf9YҎ3t*( KMA@V~PmqdL#tiL"Yʱ7W "_RdqP0@!~{{5PC+ձi>ͭ-T dQZ6%:n"TeQy>(<0uB>J[] 5KHl(qÊZPv'xd9wVP7HmTf"K ~ܵ';}KDRX)evE¾YޓɩU%[ }TvsU]i og-tQ} Dm$1qR67|}+RHDMʈ(@WH#hŧ8ޖ@_=F$3_}I7_[Q]ͱ#%_߾kNDsRmrΞeF@u&ʃd?oFBvGivQe>StS C0Ng7UUY'B/ZR ~zwS6u(B4znhO*~{yU-6~劮wk f3CLX%NǼZG9*4eS uă*VXUr+ѣ?|Q3Nt!āҠN"Go-]d uJ*ƒPMHzSu'];H1w/6 p';=I+ A##T漩 ndWRӠM \sW) R .τz,MQQcfku\a]=DP2'p\o Yأt \&si ˂ӕsjǩWd!͙#'eyUG62.V->w Hn2Flr=b(Oc.ҺUNŷ'p:Jwjp%R2;3B{e `%lֆ*'KvЊ9β,Pv5#>G1P7L>ϗn]`*X!i:@ 4%sYZS&5n"?lEd¯Ht[ZpGI tr( E&æ;(?zˈ=iZAz 8GI2 W$wQҳZpɧL)ni԰ɤtƉT],J#$ȽnD&e\!0E\, p/?j.{m:bL)(JY= 7+; *jZip:Q(zr]('b 0O1$YL:I[ekM_9@= )nmbhO$ݑjln{qWg{JDdVfK( -4Ur1!dmHʢ@.c~5n#ŮaRڃ=Aёg^peq"\윪RpRFꬹhwRtp fxk{ CV") Ya뱾 23dBB^~F"uWh à0a"H*_Cҋ+mҘrȬDƘpַ@+}BxDvֵ~hDKH^S8dނQ""u cGv=zSYmxz(ˊCsf_C}3Oa}Gf(yw `1 4`7^m+[ v3Ƣ/_cBM,@jm/=aLbVxdWb36ܾLQe>+9WlJ:~W{@#PhJKS$O2׾4^3.!cݮ|OW2Ge|`SL$fi^t*.y1&;7We`eO)my8Qq..)&6es04P$u%b8k^#:q-E7&3/*~ +5ȭd'vJ!PDxlE1rnz7`SqPMWe{tϣ&"֢]6:[V[r#c|EL <ѮQdIAzeɈʣay&[|X3E5n/g-kbM".5"QI'[{DyBJkqZI] sXǑ'QMGDu?nm #z:d/v>}[tj#Y>py&K>z6ꗾ9'C 2hB1sK T  0MFeܷl]<W{ :,lz9aw~1`Y@my^ ;%cEsTP/#ѿ Zs褁vv&IЂx2*#r׮ex%vvU6R[AY|]څDZ--QmKl%CIVh s^[ꗗ#Mh't+-xH/ ~k'8dtD,\PlS|Iث,1hNǽd4raEM/;_d]Mez"jH+>WgVkCg#XL<](3M811$c-D [Bn\)ة|ǹ[>}>[n!*T•6ve:O$BKH:Wk,H*0d{֕@UZX\#D[dUB:ʫT~D4kޱMĞ@$Ҕ3Ț-Pd(Q[Sacc%΋X4C賎+mN_ʤDGeNǴsF }3pc5o B_tC(^jA2z ڗ(9/j"]9slȺg|:{-Jߗ{̽y4jăv t ?){mN),xD5bH\19GH@;>QZ)mIBbׇktr_wU?%9$C;m{ Y!q߿{aX_MHL/ܺk?r٘À`#(}.!cbCb bF9"&3:c:}&%[ŝN8hdTϛ.KP45\DPyl?R|7 8kʙ3fOs7M(smwUPkr~$2[4ְU tmrpbC;%-M Jö? p6OFiC?ѷ!pއV +b/"'̛ \<sX Qϓ¯u4U|B;ң+o9t,zH[4SrV"?6EDb4$w?@y':lu{Iv.>ۆ*5)7tT gFM9ƚ#_ÈݞRKɁsț7xP^FnL<31}?+qʏ4C-}ҘL]D0 [kG_V| jc$Bt)r5 \]S I{Qx]h%cx2'|lԄYYًJ-RJL [F^;a B8iF g uַβ=Ǧt]oT$zHaB$-e[%GB0"_^}Lw+07{-8K]LS/ ߜ ;Y::Jв>F?U 8 yV[AYHڽǞ =qm^ڒ/_RJCը '1ls gt. K ӰƚURlR7! q24~4P^YOS6-Uu>u"uAZMqLjwU=k iHzCSCD%w_rtg5#z垉jc|y+v8;ֲSǜaKD9  ͗D|dREtG@𘊋\}C$DŪ 6B".(7EzFnHIA"*['&1Z-h.NfBr~̂Vde v_x6x(iڠy)ƅĘΩTHL)FOq+6lȧ,F t݃Rh,R(zLXvro+t Ujt9hI!?3p0c)ma71>ă&a+}]v{4+qH(X 8ܵdZ$Yt梖7sۄ(A ʡ]oC )UYu^q%?{ y^zrCnntpiid޽4⦎(%`[Ult8Td)46SE(kx'%Ƹp hqsѥysLg(g5TF2`uYeF5R$ !u=exS`i]r>P* U&D bڨ^UlcB4 7Zpȟ01o\6&A bpU?ODc5 z@#!4&1 0Pfd[䅆q{F2Sl3 *?հfG|z"05YZZprf"Fpr=QvٻdXW(Z834|s[K\&OC $N#RCÀGD-adj?"GrqEL *Zfp~WK}#Vj)ƔOJ_0)8&h,t];<od %e\1Q|"ZV Ic8s r}Ew!7l젂cUA2{/lF88Nms/e"VvXʱZ@r%fRJjM e:8Ή!]GbZ(ڏ$zZ "@,.EZ7 +PcfK"џ%)K/3yٲ'^(8yH +" Q,Na-dtG lQWT@T7DFE̔ <铢5MSޥfh$ZSTZ7eH+Wܳ T>+7쁲t16< ~"mf>>h4v:m`Aq12ސ|hy"[ޑr.#AպUlI!ye-ջ*Zn8.r 5kf~Wԫ̜JCŒHYf}yAce7:@B>dwjNysNnߒX<1 aj >]4(RQW}'Ytu!Koze4l9*OIuR6kĎ;Gm)ΖZ>v|0; .28W:vO/S{mΈ25̆m]q@E|L_tJ_iGUg7F @z[ڸ:nCh`x8Be73D@>J7iFOc)tكk~(|GCxRܩϓiJԜ¡0ёJ.礒ʿ bS2L( m;lCRke+d l-avg|y _uGnvV(ȗC eFPhY;K"Iٳ/Is܁EK&p;I2-0{JkuqFJiUx&:ne"Yl^.FEB>zM vM㨞!, Zpcs#*ؤs9$Cm2\F_.Pg7RL?")3h$k^ ]wź^KDyyI?(3 eD]:6?RGK q5s>Ia+b mc̓ {wmqs`Q)S}.wSh@\DTj#w-`:"['|a돗(WT{qs-djGL 1"4ڔ/>+U)#~ԇ:~_R 6[ UZ 슧LJCKKݰ<})%I1 h/]*A(\Ѹ0q#^OiW=mBXN^O]ދ8y]?O\ꁢ@;A^ɞ|R6IأĮQ](Uj|ƙpqxL:*H {c|y`#U1 Y3RelTq_4ȝuM-[繨x4V[w@* P| *[UuAx;j΍Z5kh;eYو5B" SI!o g@ s.:j,+r ϿS+nUG2>FGҧAA$Wc. B1~aLr$Q&?#䢿SxG'  E-N|LI/Kj0; T{xrt'hK,gjpc֎*Eخ%~h,gqEKӂ9/U";R*z.%@\Cb'?(Sh~\2{ ]| ?'QOv+;IX|E~e/7x_Ø ֙Vʦ~1ϻuB q<eB&̅'~;f*K~I%dc_ '`V;V9{=޲=T{GBK}SɌIL`'e㏔ % qeZgy SP#1ڹxD .^f[nR!MeԒךg "Or n*$80C0{p(ʒ0r-.;>g\q p`d@ga`' ޮLB֖F^6U_"BQ3\vRp<${]9gl!a2Xt57'<벙j-m[l V\$X C\;%BTd&_HFmD> k&:c{o`,|I&;'cds閈fГ| `ZH ȕw`] p돤臁}3<洌TԦc _]+9;TQx)SZM`QeEa@ ,*H&Kg~d=+Bԥ>/eŇˊ7Hח7'Hn֬ԄDHRejf ʀw)>BhFݎU?,^AЬ33j{MC攐&2o X놗Y 7?_MjOE*\)L{oKT ]ACuHO4N5 w.XUԳ?٩h㒕͞r>:0nCL=-bxPaH־%*\ʲ}<Kh0D!'=ubw2\SNX*cR;mhQ)g ^u-,'cAw4,Nhb+TvꞤӸMU&I5BmVk"+&` |{g/69bLJ7XǏ;4/qҒ@ss,U iL&>d{uSY Vi.JY+'uӘZ'W(( x*iH_*NGzK4ݾ'B6.eܠey#"Q_hcZ{[y|!~-ުOaa9]u=mD]r̟~J*IO_ʓNuQ $CdFwmvA1_Y^-)t(iC^i+ 8=|>|"ռ,9.Q%c__Y! c6E ǖ h߭NQ[J#~K n#c򆞂fSCƉ 2#a ۩NT5;_m\xf#d ~ٙq MSzs$aaz r{Q5smH'l-I=t-Q7 Ϥ\k[o*.a&0tNgXK`-演<qN K9 E+(i$ZA=iXg ۞E85  NjpDw#:f/&~cZԘEJ6xKvKWE0=ȡSdqci5 X2+ Nѝkܕiy%\s:o(o !Q2nŠDyMzm+QZ ⁁٤Os i|zvou#˦s֟[LJgh>|ْ :3 N_Ĝq!@ɏ_t{m#!| d[JL04Orpbї>\Im`j,H˭JN& 8a(߬҇n!? 7bgriyE+ܰ`,J\aqze2tBZǭ1hZՍͿ, TgmIѹ_o2ЊIW9?=I(^A%%‹u&(7Q=dbW[e Z䖶XU4|a\-'0A>u9a#GH,DEp9=5R z}Uj T}\b1S5&O1oiܮ9GWŭ?aCɠ8H)/5 fӃo <1IK^m?i&teG.$.b1Kr22>Qkv ev2DܝEvcYMލ#AR 4){k'zFސd[O^i<\ J Nք]Ss ȣ=vm܅%vܭrK_Y聣h/]=7x KLӐ1Dvιc̐-7Ot8Ʉ߸KaA9M;p/4Zm"gVZC!Pa!j5~RDn OCo 6‡^nT+X@ NY7Qf6P=3(mXY-[=Ek6֓+$[]:F؝[F[e!!ei11,r=y<f Crk!bSfA|mfUZ1+Z[¦ul8ip|w.X~=SFV/ AlB7݄}lqrZ2X9A$X-q7riY73ˊY'`E;Pj=5zgf^M+vQS8#"8"k1ߏJr?&zRx!JE/U23m'?Xg' A**v҈dM3>Eꇒ/h13;¥mQ_X&fɜJ:NZsm9 6mNK˜lDx(#Ybdl5RK;LZ>d%Ma[ۃcBЯ>۩0Vwy.lHjFL.hEpA썅=`=R5>xk.JЁJhuǖ|pZ6VCvWT0ye޴de1 l&|dU/EM  Hߐ,g:9H㭬T;ARX& ^ "Y8AtJ[v"/2.ZgJ#Ϝ@amò_sSh9 gc#dny>v-̃p"G+aߩYtn;T@pOt}`c4`Z7y?>O]-f`~}4A`p? c|[5 bmHEC ݄8,INbIH5\Nus"^qCq;0kI2#q%I,-mv8/ ZZDt#ָWBu:8h9CeuR(R+"셱k`}nž@2F(Fuybeԃ>R)ǰjOhz~ \ I=0}<5w㉬I} X~BRV`-@]QUAf ( .89Nya  uV))/UWhOLYOǰk/ 7Db^ k6`_bbV%[9^q(ugUyRʬT}C<(qRj9pogI=2b_KW4RTΘPcLfggѥuk[Vomis>T֑GZ=e\@6[׋2Bq:9$,l#)hE](l{7r|^[Do+hLo%σUFj==2ی-{[e~Yٺb5d2ܓ5vq?:5w@iR4 ukn4Aq~!h;rFp;ϸ"QNq8I5S=qKG(STu՗_NsQ1AuiL1CIeO}Ʃ=cI>4з3HQ 6CL,hq(OɭM3=4K/P΅ߵ0!W^4EPt[e^iWyA>͹Hptn2w$n?dj0 _!JU] WX=n~ K"n%>ek.^9yf Rkt@9?*-1n}ZIʧG|R 0nזUei\ LPGZh\{Oye*4rb"T 5w/}9b!/@|`/-J2nc*`ϷE$HIydiW/ٝJфw]{T}} fit/vg֩TH16uBduf) VXfpkWP7M1$^goޙ,-$BB Y3޸L NF^*uhQ"C D_MAx*ˋ$ |0lǢdEAq ($D#T2*(fJy PF )K)]3[S aX|4kR />AtM{ ˔\#3UDI2&찱gYZb08fd646588b2cc501600fb5871fadc47c73e24578a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59