SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  u%$lt ]/]HOL-Analysis:threads=6elapsed=335.962cpu=1607.004gc=130.084factor=4.787zXZִF! 㮓M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmyb‚$8NbB 'o&vɯ4V(po~JLa=9^ucDlrF䰾Ou|DmԈd5&#@C{/r~O8dQxvPMוq(/eӦk6zA!gJ5͒E8ܡ|2WDfZ[猭ZAwi 3[5fb$ _|+HS|ABjXYQA0$B30}g ~  Ze>thƸb{_ O*;A9Z-67Bg%r_Lme R`YHLz7YK.< 6Ks|ҍz5G| ǜ?b nvLKٓtydt4Bk}ЮF"u;Fy;-+%DN Erh`?ҷ*,Eje)vxe-cɻvXMyaN;Gp5*Zxݬj`71G oY7~Z83D]6,lNtL6~CYCh,Z9j&nl^k;7) % HOL-Analysis  zĂ={?8n0{`7ʽҐw#)9;p9J(pxF{*+{e~+]Ulِk4R_:5#@Ko@Xo KTG'zi1*?ڑ !yi--cǺ"\c#`VSG^Eb!pNM:t}QOO\VC?ޢ`Ju^,Ə K̠EE9l,o*;=1v>^4G>ao*|B@$w/60W 7$ה%L&u[ ZY :l/mU NX2fX\4!1HrNz+<vPM({`]%\J<5 cj_"w0S/FV37_[ע0CnjikF61j0I1'waU]2Ȕ$:C$?̇Fbt(1ODiLU]'Y^)oMȹF<.VX+q4anޯXv"@R@Y%#N4zapMN£6t&gh|:v2ZAQHNKe)YM6|Rrp6qHr3Cemuƞ&kGdའDn7!$[57F~Rn5YY:-CZlW"c`:1\ dKJ\fK-MrW;[\ {;šfawk?s (L/0@ؘ C#C[pз;}W58}Y 6wDVCҤF@IVOT\n~E)Y-O!@SٓA3Jzw^8s%ѐ凌ʧK7b4PMLz8aUwΥ}qhZp{7\ZȦ+Cgֿ>h.^ޤ ~WX1J/\ ?;_>; vZWHnG GfTW_T|ͿwDE 0Qs7}T ~ B" G%m .6 H:>ͯa),^AaT0 [r`b!|rYN $Nx馄KʶKB1=de|nR RTw.ZS^zDxOG/@B}:Y _=Gv,D7=ACeݦܞ&pD}P'deS# b}GcbgbT1qxV-3X=̋ yz4gkQY 0p;]!&f- ߊ'"@p𧥺 dKtJ bχ0^1SU kͲ‹6csp15rHED 9bl agVkU3 P.drٻ>9F]e!d40^R 9`RGL"b[^ RgR7Z,9NW,dGz5Ԅ(cF@Ыtq%=S] P+sK ;GֹQ-[|Q;͙eikGEc'CŎqtmJ`- 56qA'ugHw'ǎbPsӁ2(e\5dC.#\OXsdlL >YǬ9/V+٠B |L:.dP̃ɨh|uzuGʺIJи|2~8Apva۳C/yCUQ~7WFHqL`sz zҠgҪˠE 8h8#ƫM@pڇ$.b=U@n|jOp+AHI9!aJϽ$@ܴg1@7u[x(ҝ5L8"w7KZxfKrCc:X5ӣͲLO~() 6Fo QV&o?>z&gĖ2ҹw#sKZ`cw% t$o3o'4ܨ0=CyD<W %.re84oRz_lԱ@XkR$-`¯䛀QPJpϓBoݫ X䔂x_*> ,?FD%o}>[v_sT:qo[NmgN;3(^tSbuEsq@Hf᠒VpiFTBP.%駱/Á~ݹƝ, F\dg <\uTSf:/R6Pr:0D+ݚSNP ߘA(gNhX 6/O+ḄqЭg>jF38]O :+f3i[{O5}#ŗ-UC8hP$=9 > 6p EhG0`/1DGrlj -oJ3yUƎê1Ld>(oGuC+azJ|8CqqCsE=dHyel I]} ]AUlؠ q I&Ǜ]ʎLfRcW˃{pa=J9\Y2@ ?5]wbq*Gb#+R/uÜł<Lv^{-:vULhH6h|\9+$2-FFn U(24HdM^OYlT[ir^űK:Sݐ>DJht8e<1.F(9@*RZY/W*_B\NE)`xc ȴuZgt1v\q[??^ xdFŰm܅:_ L9H\x$]}Nܤ!ͅ=uC]+G:->R>wPI&QG  't ϟGPYz* YNeD1l^(PwiwAv}%~BJ~cOoN*gVuŕM6k2 ƙmQ@1 "z-,)KO# ӈBScRQK%_>V#y:JG$\p <˴n*8shm9:2 V<P8@'CAe2ٹUHЇ (Nh}T>ڵݝHh.\i? ?@g?"_jzGsk}D+EѠLa=ahihB\CG0md4̘/q~7K$kMS"YH_oPzF'@]toz.g8n^ݧ]kǔI,CZhǬ-c6y۟MUISVBJ  p-/Z}!iv/զp~F*1 gncPHƧwa;i5RR>zҡ :m)F.rb~>.:_û~E_}@Tn(s`4{W9ƅ(_!CQK/~V~_jXÀ0UMX.74jf5Ů@4a[t{2摝׃l\ZV':{׼:`pLV)s!`oB3ҟn/5z1 nL=9BOپLkk #{/;,?r\pLsMP]u^HZh zDo$W#]q y sL c7=;VmsӉ0`ڂxvYwO"hP1x}OM0C_fC[O2*d`6=(AdW+)AVg0D3d衲0@0ƙǦx`&QYO$յ[Fba 28Aट!4C{ޔ>뾉ftX v;s#Q S :fױU\. \Vx"uiM\#@5"pi:93!sq-f\}8?k^߇Hw+ct5|0%YFZT~SZ4eבUG K]#np:SJ8)|DbW w߿@Z/09^>r?n6=BX M>q: e⚯.c81> 0u XhwK} .\ ܥ1Nf Aq} |LMҔV6~X6hx8X?‚EKk5N58)*ޒ7!8 b=;1` "8F7g}5]/>fv wUS3;Q5nqpe7ؗEl~2$527q*D6F "2,`/|ߧ *VL\r)x/RAҀz eԓ~)? SXRW pVa?#=JN%B* B\5."Bջ@6~z $8% p?CmmPz@?g+  SΨ|Ir›Ve*S?&q Jg䘰 TeG!`c&Hg$e* N/#G$%5"5drv[Rz݇Y7-/+f soj*\BX 9ea|f6􇚼2&`N 4P86H Ɛm>&%U:r JVoÂV!VnȯJOmJ,T@A6;+xXgpZC?B]~" |LolLnp=Yo>:ΕgI~/۹&UvwQ~ϓ.{~Jľcr?_f8,ӣRJqܚ5P,A:DexG.QF sr\$N52EM Qp ?.&{?DB_spqR8X$B+15.)”7_6ݗ]rf3ʹ[ǂ&kbYn>R]ƼDJ*N)A` p8֚A|}0iege874F +@@ޘ64]wgd *1u[ )*ݳ[I5ngXW/?Tu^ sK, +<{ \ꍏ3#wě (Lwyd M7!'8>b,Q&$׼PtRchd(lt5pZmPIUp^@ Ln>NoKXة_ :u a,lRhw~WYwy/w۟p4C.!EJFC_>2cmM>jP3ʦm*՝96~3y%H<pspB{( hJ ?g^M ߳9T[SFGU^a+lBF,_w]|S~K3JwQ!Tds剁Prk@$Rcϴ?t! %s\t3-w;wRgB"fo[)SN~[ݐfۆĬsny!b[|[\L))С!czdC䶨0]!QD'99c jX!G lp1E~nw@ZLȰRq$uMKF:tw~_{wë6.bxTROU`OF$?z8U&.#7^OwnRD< - '߻$̻&vsm28]N|M@b/]E8zzfkX5,Sk 2o~^U@ȩGՖ7A"ν%0Wo1V{JA: ](G§_>2~JKJ,`A ybT@ 1Hۜ8ފ0wBLJ۝"AM7s&ER5"2hCpyC(hc>M[10FD턑#bMfYQ_kme̮t-3 ʫCԲ`4TΞ(i@BN#$0;zj G OX. ?Θ%)LlO_+ԑZ IMtuowd|Ote`}ӑ:)#ܒcIw<D}}nN;{HݍCz*qљӠ%pI5"VWL %[@ 8s}2B(SM/pLD}l)@ѱv4v#jѧFB2^J"`Xѕצ10iX8k q"^v,8Sl-!q-2HzYS4Y]q^:egF^ʦ9V+40[Pw(}RTYЈ$VD'!VqxEw`} m~^XdVea.~#+ɸ 8Rp| ^vչMd?Vs*o?BSey/?]kJ0YF3 AAw <0WNc5:.khE &_hTHkT?uek`չ 2hwat4 mHA&h<ͼ)ϲ%Kݠ'5k.Z]޹p>@ODeAJ]nabwޚ{:N**_[:cIoUI=أv"<28JFbGT|aP9) N*(ꯃu1T%C/[>DKj5Zn( Z-ѬΟoiP L#\a0Aˠݳ Bc(4_Jm{g[\?}fq , zLs-HfoHlPBdB.򫣲dwI ;@ts YCx,;2H8x' 6tIPr ZId :zB+CCsKPĮ]SSQ+魨yEE4*Nl;Q/%rS׫N!R[x&8zT1~9\X%~R^4"m@ysPH[>R0+ E a*\-/6L*V32d! R[8hy t#kمV-2HIIS,3YFbS c8 '"7Q>CL i :iXޑl /"-͊vtሻu?w I TJwRbShdЩ\xNH't8u>SLCV):%1,02O5vs/ gm)A݇Cy{ QG@XCZʲ yY/ye42(,,SwZGhs؍V["V(R`w18InD\Nk- |$[;0B/ *SOm1OQe)̨G/->Ut-DŤ ̊EJ;Ot[FU#7{ͣ!E aۮ)n<?H' q_J6l*{ma>}-?Y@U.U<5Oز͒XcRqav\:;e7Sm[Dy;f-qv!! K Ƹłufa(f|&:m̯>.Pi8e(cp8lua0ID|||PN z9Xb1ePPֵiyJK zt'ȭʾOZ -(īb8 uvUE=`t=dCN?@Ꮢd_qFe]KМcg51TA +W|`BmR9 wݕdeQdrVYtTSG*FmE ;ТaL!#b@V4FXݡ\5&}⯃2ÈfHq&[rP\D}Y?Nl0Z;gv)^PcgL=!AɶbCY9WX.@n ݸqy.cQMZF C(yL{ ~d9ʫ `pgwX"2 hEgJl Nq[_]Ŗ9;.~#T*e9Sh,"I5n&ugd(6/ uv??-cYrmU#(xPRUys߅|'ʒt;ԁ*2u196,!@̆x'Lė} j3Ud"| iPiIz[A6Zk+*Z]amBt[<b fEKw)C[p]Qc58hY:kQY.?oSŪ>R/R6iba]*[Bѭ)W/zCv:kc`JiWK 3%pu|jK ™i:l69AT_U:=ɡ 7\Y_nf"_bTO璧r9kl2¥Q]&SyT=s,^%z2yu6ipԈ,kAB[k5$vPgnsusHM,tR챕?{l*%'# T:Fr\ȭNE'|8CNy[,쳀WQ iV 9$5t *Z\2ʚh g(8};R"9`i@fz0_n8DkqEIA{UƐ|ʋ,D PA??+ۤ`:>[^u|ct)C6{f/T#0qz,9`*vfg[O o7߄t[Tci#O-U!v)\rx#8Ft?_ZC|0}a wTౣujWVg)IP6!6UM6BbXnBbTZ͵r + (ʾXhwg2/q*WsCi%Y]e<(wZ tZǒ8NcOO Y|5棞nd㥥)xCd2_z$vwsO!AΞq-O?z9ڬjؑq o7ۿw3݅SMN_zdȹfm/ /ҫaQDJ,)4/H)eGխ so+Z&|c@t? ?;zk7?3 zau@e8TxT,Wَ Z9]TZ}Rk&VjڼST{=F^I1^B٦c\rکH`SQ9\'Pm)# P $9Rb\[EDa.G NF+,G߾% ]ߝ++}%2!Dg{#z4C:ײ DWhee j jT<'$'~@ATXchϝe u\$ Lدc 중Pu ۸c᜘إͲ+ T3,SΎpYa$tF٧$m@J%9aV߈ 0]xd/ܝ/iuR3 }_${K|PS8^Osϛ$Cؕ%&o z/˜*gM*HH6];uKOF!uB4Oy%e6gGhFxaey1eQvX ˆGlb>ZA;D9#P߃ S>X4"PcL0D: {ھG?ө( [)[ |zV20ZA՛GSV$cȜW2cj[xU`qS:@c}%n!e(,BNquFʩlٜZ|{P;s!ߠt4 ~] H!%ctN[)~w=\/lfPKQ<԰&{]'bȷ۳]/x]fލƎ]҇pfER!Ijh_K ӆy],/F?i XH[A&oܳX9HlǶUꥋ38 X-(=+ 7&{63|PԌHʎa[oyp{ڦML _M^uXԭĕרmƮ;1<s"dJ3~?]2Ie9"0Ia1l+hZIve?dR`pEݶ,|wܽlI6]w Or7`5eg$S3FLc5ќζδq4&-EMíӃlp|U 63ߥjLjX>MBe=hghVAIKmtM`Vܚ 9~<ѧ3ӔwyU*䓑z(֏Kg*FN}ҀG K@e:V‚Qm`"(X8KKTjI2G xC++ْ>oxɧVo%hTz'(Vn&d Q7_t~>ΌruF#jAIv3:X q(T#QU#Kw[>X1'34\J<ۢXץ$;|QkFmOí+δL`*G9=Fsꇔ E- W☂@Fx!+0QᳪI= c,hr}\cuay5aNdݚ\= [|i~ofr?h[R=M]]?thqif8 Vq1nyAYr*^J]䳔So:Ũ ]',b-i.~&+YG3|wvY7J,V&8%>c#dXjSR0l.xߵEի@ySNڛ%dqu8`q-&*`|Wt% >P)yh^GLv{/\(Ryqhͬ@ do5Lhꡋ.F!IC1y@b4e+ə.?kOmmE BH;oCQjkjrՃ lyJEzf{$G=m̧b&qtd%a򣅝.$g48x2rt*4H^py3z?;: !;rF~F>vJߔߔaJ>&[}㼘P2 v']gJ~K2-"({ \C*Pg/ )km/ >%1˩ge`c&?ҷ ָ)ڗ (@eS`ҍt^(Z >;tw<_ęb\<Hk>]G ՘}yUbUւj!.| ,>QasiI.Oil@Yh~Îsw(_`gIt;ʛVSb,EKv}xir=a|I[ x /1LQrz_( 05a :+heuC d|$%:DyNN~]M`W1 m'7$SL u-6|9D=9siUKJCDgYZ7zXZִF! #Io]ŗXiɟ1˦r!cHkMeBd4zD*%4$#J>9[1i\hF!m4T#%&aNRo~艩"2"+~lD&pɔa?:B+oxRZ Wk95ګŰ%C[ 7+Zk5| <Qf,32 a*#dRR_lݒ80ha^-,OI# aip8S vĜ$"+e\Ea}1w)ZC\:% lSEҦU *%׈m%5bS{dy~9`hQUg7sA+]P=nEIᣒ0q7:i!d'\9-5LP"ǢSmuhll;5ߥ'w@&6.cH3Z}cWH}!bG$|&H>jMH_'>~ؙ֮ʟTj[ 0+H4T8VDŎpXo,KNJ]rWJ܁׭;JP‚.bDĖ3pyu՚bRT3;piMFcJZM[l; >uZu'jt&0BPP҉FTs3PLIacTvtiW5_?MN`޻&B;&f}) ݋pUwJIzEjPLMTpXt>\H$!y&Rx{0yJTEpp]feU& *`m f*,m+FUFWF4lt+80*Jnd8PVHlbߟ% @ƉUΥ^b=Ly%A=6D@7;3Ὠ,r=P7c=Wml-/Uk)뮵QFV8!|ٳb < MyHp"rsڇv ' ,j2ALd 0-;0*Oa}qD~KLarML#3M" O'Qm>78~d>X$u.A{O}w}j6 >43v3ַ/?ݪ\Lӱ0o#Lq\VUT}9=_z- q647TYW ꦂ- v=S ""נin͛'UWuۑ >^bGbJ4}ϔL"@iT!L_A9w@gk7&:N&ăb_v)SC.}=}crnhaH>{:,>qژ҉♵ ?cմ+LA1lwgU&GBma/[#\gdXlE KWTcppT,;W<ژ'iR8&Ahiq*Cӕ0\ A@d`)? ]]M/vO챚v Y0ǩ**VV=7sYz1t TqcW>hN_!( .T<7[R ~v 5-@i/p7J[yUӡmKZ>o>|55fj\다FFYͻ*@;ْ Eӯ 2uNdd sY[:~B,w KbE/9 >?Gp1JX ǝX8g-6%z '@#"W6xY<``hXO~!eP,gQf"Q-M`HD]΂(l겖\iB3 ?én (uջQvqZ׀u#16Y^XB`aO%r1,լ4Fōn%< f6J|h5TL֭C&iT'?o-"#u|%T~isz @_u\G4;S=j] ՋYr`\Dc>9Ηs_#Jc0! FE6HpY`snJIZWj5qr*Wl?; qL*c)DbŜYbs/w5r{}AtD hz4e4'@}D-ǀ,EB|xR6oK͢<|ˇ+*IwѺ$\.6NNe'Lj8%.U{v,ε|nI4F7pZSCF{,4;[dcG!߈N,BXXҰT>\"1<ʜֺ]Nhί}!57%(]=)6X۾`k5šq5%:O4{vy9 <؆6eCdW޼D?_?|W ՄG̫c31B<jQk`+V=AGMao׺%5g;"^7BRYεD_ȫǠ2j na1P^8H DV]vocP5`2 OӅ :ԥq;+ %+6ea$׃& Ufwՠ{͈I !偠Օ_L>ԟ!!|&_98i& /|LCwc d&šWS5+/~yuUs00l@+6Ye{L yIUP 9u%f L1@'pijL2!m˯BCYddv6R{~@Z*!~Ӹ _%W n(2ł*yo_z6:qoכU4I|݈c@Qʭ~9~\1H6~%gn+MB`u'&lZ0P*xF^>Cy'37.haǧ]㐩g`Lx]W}Ilj=`PLE!RfήKH:RpCIΡeשfi1 JH2*^&;0퀉+։(נh aco8Ai;`;?x,|ZsYrF %;<"uDSښٗ5 8d6{Do9/>diE[aDSDYjW #5;-#ul`KsB?f,,)rw݅޴~L,Fº8ps(_oOّ&20~pD'Jb\h,,խr5? !ᙪD:}c0ّx{W&Wt>Eez{ ?fr懔n(7b_ODŽ#胹dkq4p"N~ %LG@gQ8x+raHi[ pkѢ˅)(4Ы`VnH, m OJ!xچrع"k۳dn潻QAQ ԴS P_ 2eaξMPv+QN{55ԃT2/R O9j[9%)XUcV]C]3N3JҾ]"5e2\Vq{"p 7gq}?;ϮNr/lOu86zvc`="ڥw`9n2 a!ce@g!{Lw'-br6ːYov'V1y=tՌ-<ࢱx{kT(- qo^Wη@9O :}ͥ٤Zѓ# ̮q][m33 0<&9 =sPsc:9$.'7WoIQ{SܿTrI(}QTDCMm/SrvXhZag5[4Qfi+.3f)aӑ.?NJC{$PYu)?[RAƿYբ/OTi2pU3!{Mh@|JKnb> k|޼BT[ۇC) +mmXh!c9wĴyj ˴ T^ nKw-[@>QCD|@Rp cEN 1K||GM; ',L7gϜ𵭄?dCۻ\s^nP9=7iN@}UJ1V 匾IG0}POPpǥ%; Of5vO0 hZeyUmj(b-A0DAl0,kEw qtJHlI㯗=59]5!67h [n/.UpoȒ"-쐑KRڬKê1'[ԯ25D)|a:/ic*r ,S̓x~8ú;L#>oWi TRJ~&i l#9$Mhâ$A#3?j緭mqkL_ -~Z<>{ qɝo hQw=+>rk՘SNܰVJdQRqX=a UO61hc[qW=wHR;6MWɐ *{o~I߳ iuW; d)=Ʒܲw@̇UtF3/toaCr!R_}CF\/ 'mDZƷgJ9%;(Ȯn P:ߗ8k&$7(F%M&u6n:QOQd(U/\_kZɛOv͉pfeÈH 47j?1L.)T-V!A|+O$.uól18ȪH*ַIUӎƗaMjv)tOI߁@rfU)^vPuf"l;8]2s Sfq)m 6fB~ F|(݂?PӞWnuHykvLo'IԖR]׶ ;6a]{m8]6a my B1>A$-5xZut078EZxlBލDmXǜҍz T4T} *.8@'KEgHvhX%z@?oJRl1#eD߾{ДMֶ)- Ψ&|ո@k6n 0\pfEm`;yƎiH@/!4%9Trkܲ4G--'YT^¨/8P|C&.(B+0a͎ZjFTbRHpa$S?RاLd×+m#/ZgJ`{$] WMŸbNwJL mmL f C 0kY@\CjrErYE[yQ,lP+a ?~s= yؠR4>0{FyTKo65Qq."nI?Holu^K'e-h#ꁤMvO特uȰ﷦U].ڑsMиk6cq0is$Ot 3oQXNh b@^.x v8NF29T7n~L799k za5\E6TiC@+ fC#6'ǸBֹp:|=1& O{3nO|%tfKJI]/Uw 0+Lb{C ݷ?R+qs\)ANJs7 :9<:x: @hϮg4GFG?-^Gf@PIz0-n -{/U!qI-n5Gu"{MH''|6lxȀ1#q9l0ZWy5_v/˚џSAk8nC8YGxҧ<~WYFͨ#>Ύekp6l_*Az~>RT8}@?0I^]\Їn[7hm&hژՁD|;9eZ-A!ݨ,l|Svr00ӇX?-0XRXXZ?q+ ~4jz .;ƌՀYA伜((/(/8΁PCE ?T]2z@7c,C/zj\ чK`+lxUVf̀KT}&O:U3 jGd1etݟt 5sޱC)_9kJk't;G\D4C=ƀ 馽~+KP`<`9MݴR%.?pǖ201kRV|/f9N_>W˪;~1s$aUk}ɸg_zSH@GHwKr׬(ULQ1#cMP$-mR҃-ձr:A j<9~c D$t‘H(:S#WQ݌Q%S1TpH`ڔIz9(1 d .7u|>)Ko$O[!XR9ifv,ɲ7/Z{" RSZL*ۦΜ9Pad:d-Dr)tI:~z 4ᵥ . x8y=KS$>d}o̜ٗ^8r>vA<=i<Pye>8;ezId_s>ƾ& b^'^۠5t5_yҾZu"' MHayVNfBvMg6JF@!Mh,7H64}=q8Etr#n9ނe = b19ge[}pďyѐZ+sqoQ uA޾)Xx"5[)#)bLuy)Cg^%ޙ2!5ƞ`lpR|C|$1HhERۛo*ӴiGC;hX\1[#8۩Ŏ-~!nk!ԙn;m+4OM$ŧTLH?BOwhdOlImSUs1q( o%S-η,af z,piS$eTAeuUc4HsbY <{ ?>ڗ/g]jV/e|"~QYlARp1Κ&S!(Fp ӆkgn5pHY$b4 csqR@zA!3,er@-~ZX”~mЩ5Ej qfl s4\n7=5nDTeO6 leEq~ F)6Vn VݹZ8V'BUZ Aj YӁ\oNZa(s/,KJRl|,H+g贌YS$)cR!/?o( (t $Pu-k4ifU~l<4%YFumt$4Hu5ll ?[4o[C$evu; R;N`jL݀MdbhPhw[0-!aoopzP؞$jJ7-UAHWa@kt@{GeB`{ևϫ"VDwQ \? {b ^#$O}YЃːqZ\ifd^B Xɼm5ȣ!7s$rW7d 1*$ק֙HqKihINƕTe8J&#M~C|mY^F4/euOPc~ђ)OzIj&13ݳH̭\顨 iJg 2lPduX&%hyLpuQ7 xnb8}t5`0yo%cC/|a33~!mW vV^RpqDj?H[5m}dVM,vC;R#c(WR 'Zt}G$8U6 ԫ -Cb(&/-M `uoI:zmpf~L {̈xt+D4Ф"bgXBC?Zt1?zO7}$lHmH19<\;A;b(b9ŻB _vʪ~0ܣ:UR>g> }tzʵTp2J\%gBhG)]Oa׷ {yUsL9`t.y*T/ ?Zf;"Y6UET U}Am#kߒL*f^ &uM+DX ja踀n6). xPC[U8YcTAsH=6PA#T)n#P)ei]lȂuFRZ#~Oj{}xOH_O+VSqOw88)̢vm(!IfKՌ d`xy(0zUx0< .HBRI:Nr/&hãBVB0Yis^X_,$\ [QLd/NF( %k;}[:^oQ@xpG="\P | `e6 g~WSOB1"Vs70Bv4TfL!hºu!ަmC#ՋfU5n(p!'2?vO'6 ;#o 8qe ߊ #̮ͥej+~^vvAaf}u{t'-i]q4VLlx<, ;AdJ/‰m$m;o +b8VR skő ? L,!AXZ3Aj6&ގ@kjd}~HqܲA} v#)|!m*֌0* M![ v5)(XM*CǪ. !/u[nJgxOBRuhnfWJd, ʝдj FTLt4CF+~_ٔiRET5N]@ ̓rt+L>g8U8ELH"]fM|3\p@%GiwfB 2F[ߨ(F}? tjBiSSXl%z㽣\,DQ2U'xe>\`PCǽ{q,-'0elRCaz~>mIk!{Q(١mJնu-x;E$(~׀Lja|X:hM7i@JIfASSŀ#^JTdž-2aF¶ST6r0b-6ldpD )6JP`rC/K4{?Z5\.yOծkqө% p$Ud=!t?WC6grjAǤ?* ϕֿgN'^do rk[LFrGEJu!ZH-3'ȧf&_Ӎa%˃<g( NAah+3w{$R# zGY`% %ybh/chOFf;xH-/ +S&@x(k_yBcr|'K\4x"()NKV%*fb%=Pt]k&9Ͳ2*8sD%}1;7LWC괻u{XMZ;<Ѷį W=4Rb݀Y'yj͍[Y)x)rjώИ c\AF#J2]GsNב6"{M1r2+4#IWPtqŸ|@2`X9?p72nޖy35Lly OoԛmVbȔPDny`j0}]/3+)9+HNwΗH.냋XMbOցGvlԫm m(&E<|9U+=r'Lgc * o܂GCvE%4B1qz#gR뛼sTC>H톏R·Rq*#ƧYDSw4s;ZFT1Ȩ7PEEWCYZJYŽLsdOӎf6DD=|dT9P,FI ]UMܮ~$In2y_e 9'|߳G5l7جɵJ baiM[FWt { 3|4OPؙ,p>#^%b^5N0.@|Nq5eok?eъgwQ~"jz ڇ/SdUXf XY0!jo{pʏ)B8èSm>XB&ǘZ6ga .0K<ٳRedY/I@۳}϶(Wk}͊ˊs|BJyɆKQb?ŦrU3ALߢ@ ¶ڀfO "pY*nl \ \JK\_Ytp ER t|hg4v6kArRecg^'8R!,PF&JZD6-|_:ǷG[]@g>HfAˍ ] ְ8[:ʣcьMO1NV6| š L/uq y".'UDZ8}k&ƢB-7ܯʽtHPl4zX+aNH(3l"feJo8H盳Θ6 8ډBe.$?b?^ܞCK!Z_{7߂|UЌFثYA&wns/;?]˸h#N27y=)WQ+,-Hm%ZcAWZt)C*{QX02aUPZ[֍*u|J7S{|ma°g62)(7W2{^\&,v>Z] %)p* X, b#&I8 2U÷tXJLg7N)rXD~kor#pTaaRcSR2MkAw:y~J.i >D3rȔNqvvx&J§mٓm H'*)Ρxdkm8H59#,Y 9JBxfNn3Њ :Nv:wը:<3RlhKg 6"QltLM-cV.r+C)I>nGe u[9@+s\rLoP; {Lc"vʶK~D8 pIql{lj6He[$ΎJ.Ez R &VgSSnmLK9gFh#w#'ׁzf?4P8hR;pdNDRGHg(;/?Z Z'jpGB-;r&̿Q]D6+`b܀v$[Z%~ͶAH9bKtbC_Ҏ+f5~|_s? ;%zط;m&uJ+|M,<+&OIфnIs."eSTQTZ*-óf!S>VjvsQ. d׌Sn?b|LKw=RԈxW;$RjerMb@h3U 5K%DwV܅AHu $n?$)Fxzà *G^aX["#rC}Q5[;c֬0_":'p&#/pa(`_fJ"/kj|^yܭf hQt*'J,²[?mx0?]I`8x|7^u|^G#y)A=RM.N R: ke:@zjo M7QV4ҺUeSNL4CxA[uzut1 ,A+N?vԫ eZQujgO=0{>/rM϶X{89?=cq{Dٵ՘ȽKHQlhDDn6PpWFV@UAU>S2c$s?`4g/j:m`v|AӐ50F ϭyV1h}dכ0M wkU8s}G}d22?rJ̵+׾/E1!xie3ٗ2-g#: s7+*FA=mGURµVSQ2kdAӥ`[G̤c%iNtA_NXfIx4̉w*ڷL,ӕFKrtFyV,S߀ry|iw9,}\ZAzۄz8 <\M7jfKnj_;&IY 'JϩAk9-߿OD5o[qmHa1^,Y{ƬTxާDŽCc퀠!ì#7c;gG QEƥ54j6($0XsǨ͘LsC4=y877靀iI pFU1%j+-kK'X,TIƱjUq T1"Q[my.! ѳCෟ~<(t sM%;>UpFa8KŔy%J~$Pe*?1ـ~ks")͸8冭~Z_{_>@\h~: t 21tj d1Ӂ 7rBxI?d戓$>kɭϺ}Bgg/ת}|/+`M\ coޘ# $3뮺N){@uFR3 h$S[^12l7HBU+ O!]<!8`+$8"MvR}d|'~^n7[S0_}[/rN3E~"L0\kz8Vw%h.ez]-TKPo:=)a r[TQ 斳{-xlmV:b‹!.dٽ|K'XP|V3dk/ -Y6^ZزS#MR,d85L`uzӧeJU4Q>m|8E IK.\k%HyQ Z瀲t1AM|*4jqԬ[1 c.fɡHLn=qQ$)-4#T8ʜxرg>>| qX=K v?A0F<<>ڃ7{ṸFQpR:>m<5N_YŵU >0\?X3DZPI 9GEX;& EJ¢:ִJcg>([Iװf{6I+ I1QTV, z:q*T"s=Ugzs2I3`h68Lc͚_`FnݦR(ďz11lɎxrJq\>;bD/T[6̉"eTڇݩs"bZ%!F^ѐ7l}z`鷍0+:5"fzF#.}{]dGcv[Qx_)4$_& qo , xQd<Y\\GaHw_ ^`ӌԷ(I6"#c;Y Q{e격[~~dް^&Ob!}v頂!zYsWF "`VfUU5nb`dK?#TR ډ;m{pxejF~nc RUh\*@xdUrx^& Wh P 4r166 vϙsOȧV^|˿ۚ;< Ek*n^SAJ-&CYYDRX yfKK}驪a|M  ׺΄}6D`W3Z!;P.,Vp{w~|%x15{i{ncҎ"AW tܥR QjX)v5M漵',jPW5:BtG`p'[yMI%B!5#:MᱏP\ir)[Xٲ0=HyOܷ6t/L3iv/XZ[XLM1B .C=Z71"vr-x͋:A`"2URr&]f~FJ+M-:8ŗ]hN,)AY$LO~@<ˆV]>*f_C(#dWG9҅-XǹU<bN_`=9VO2ɺb%&-ۑ]Cf&{m>N\v4[|!U,nԢglt( 2'v`I;ٸsYޜE hT.*^qBqlòmڡb +" t#P1!$';I^+ὁv:m1{<"ׅ_2+0|G7y:!%88ʜ;|蟎YNq#lR.aj1昕#Nqe68?[2G_JȬ'ij-X%қ\FH%ඝqJy]3>%1ѳ+`5!DڡɀJVǺkrg V`[QhA.e;r1M19:pI HۙjۼaJZ [}j! ᗏ*O_?7WNT.,<6 ]DB 7r#5`W2[KU$2DiH:d$aA |S. \._%@Fȋ2񣯼JՌn 7Yp}2׊|I=V4xǻ(̍qXF 8W1m Jɟ!7^utps%`σC[~D< vTIԁ֖e\Bs77̹~'Ez/I~H·#̨5!eF$aYU4I%A4ݒCTꑜCP ߯hm3y''!-!AXv,m GGwEߢVR @bnSGR2^kYI۫a݂);a<>Y :(n8DwNa03fI!!S&\oYXe?\xes~tZ\H(tb$|互ޝ|*ctBWqLrq5Z3Ӻ?¶MWMCJRhBPG`ڮQ[A!Vr #+EvM*l(ԗjpۻl6VƜL;dY9O)Q~G9FC88OU4UnQō (9xqL}b#DHlzfhc ڍk LgzQQ{ֶ\N:)ɎT{XI5:sבF+߱tQ%n '%cs@dXWȒRbmV|̣Aރ0b" . ^yK{ԊRҘ_ry?{KG`Tl; af @̕fEbLk >?|6q("P ={x }EX "~mIiR:,nǺn -쑄 _mWi̧꾿2"?[;J0[/ 8,d K'^h N?s`zAmt^nEùa=PYM)9c{YgW+Z⌓dK9& wWܥ 5SA1vH햽hZd&k{Wǟ#[ 뀟(Un jA%U+{GxmH0էE;}<П*u-f11߸Rȏ.rի 0 ExS,ʻqKwԃ@ /8J/*sz5}H_+7 'H9M(&z ̉6Pu֞b-?B6<@J[XR˩*cX)va)Lmbb<8`@LP޻Z>kg'sj1ỶMӱgYZ6e7a02ba0b4d610c2c9734c9d7821f6fa1856fbfcc4f324134101a29125fabe50ef51b536e28ea56 047d2e97f704b6e2b320b2d6445d72a0e13742463efc46e4e70486905ba3db4c03d0e524988ed3b4