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 L%4T, ]/]HOL-Analysis:threads=6elapsed=338.040cpu=1693.144gc=70.208factor=5.017zXZִF! ̍Q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟UڐEBNF]Ƥ;B Ex;樧WwYemp2 .](T35)=Bn#+JZ 8p$Ea|!5 5T:} ^iddg@;BTW鰀]L9*l=)f!EB',{cbrO qݘȪw4v*v#]ZL9USaGilZ$"b h@%>:6/lN%ُǭ?M> % HOL-Analysis  yFg*43ftX;5NiGWG4,S2W\SzE_:/_YS î 'WS6[6~\l} הnǩ&89kO&fucS r+bjT)PeZ`LJeY!Mb -z^Wn?Ya\^g7 Ʋ8(?pYO¦}:6<%sʎAK:=DXd&] "*zw]2z&ib-WWaL[Yz=Ht43a.Aʷ"*:^4$%u1Ӊ&:qEK:ZHQƠT)nMw4 Ar⥁N+&HZ?P5`l7!V< ?t! s˿"&o3;^k.I݅@(;['@х%q|z@҉4>u'n^b{5C5T[VI;9>#GkY `;p8W&ܡϻuEXFSh  ]`%|^b|UwsC?sMXAKp*)cL8 O_wv .Ie3E6o=ӓW"kjӽiy; 9uˠbܝss#ԺH>/QŕEWw:S U\'{ Ǖ8L!?yTڳ*jPS ,i ۺHiq?nld9"Hti90" mS,Meg6G߫XuF?ct' kvsɟξaJ;X?_OG1zeRZ[Dlok%8AhH!2AGC6;4CLR:ϼ$Uq8d8⴫eOyO\&}b8L.s = - h^#?uLl>&ϼ.;yTv/BO2, \r8)ȡVlJLaH Ha>ij_纴y"jcAM\Qq_XE*x Y8RCF8-BLP| \0kZrqowJVYIaڔ8Tt8 -?vR|Us L\vzg拽w7dYw<[4>hzRd&gpή%XW@Rs Ḙ?Yj;Ԩq2\"ݖ!$}W-eӚ̞K]d$'|<5Tzˠ& 2PG[hL0VuPJ[@n/IVO})`O,w̡9A=^ PR8K0wZ70{1f\I]ِe-J_̣]!?Z 3Q*V@A "{dD@S<>KJ+X.N;>,0\sF,W1۵ #@.{1!l{-81+W73! ? ՜} ݖ`[o egochHW6H3a_ !k,NsY/GPAѤ;g̏tJkp ߸ T`]mıhjT[24Հ+~PڊjϨ7#j$ka ,ңDڤq_XkWjB0b ƾU;[_p}| @ooA )p@G[J^<ږuoD|^:c;̵_r>Bwh2Q#ef-RqUɔBZ<ԝ8SP 7J I^ucu`f5t5`LYv 3=[06|Ap X)$-+xO|&Ion6:C -lM42Wq|M/JvQ̓F C5wژ _C1C!$t9F@D׬ L0$C BJWC`;ThtXίz>qδc8wOȬ-ڭ oX%Y5 ~T&h$)q`$>2+mܷ{d9Ш|xS tX.fdF64Սm1ႝe%bFgָ.8cp OnQ yެ:" {(&wQ}ڷP> /p&{{k"aHlf %JJ7{ټ.~y9kʁo<a*>2x| ~Ldgy[/ҽb io츀CןAhmGb 4p} Jo{cٗ 'c+VHj+) pf<]bءF+ 8 OČ>]ȜPɻ_ƘQ:+n;mr7 }Ghs i^Vtӫ4 /yIO;΢7Vco<ْ bD:z/IlXjDKvxʕځ]]'gXGh !ְWDzu+ȚH>*t MǢ6<&dGhpU*з\Wh9x4<zHgъfUl5[0&alͅk5L&AeTVA{ z<~ݬF9F©vS,Z_J*l8}EyQ@4#L6긼mjs.x n({L(SlbQ3Ŵ *7! >$5?=ҪqV>:!NGd# ʮY&Zl0,RY 6ɷ &" :)Ґt$ ŶWV p'_0 S\{ՃhWV/|Z),)=r 9wR2']蕙h/,$]N 1w ~ +#j+e\o%vz1R!C9b Zj++β ߱+=k14j@AG΃eWqRpKܡ/As|~XEؗ}H$f( 5P$JUA;V}#Ɖh l'$3d48!iy;R3NDudEk~F5PsTrY)kt6tdʹ>7`#Ó Vrw fQsxz=^U꣄@ $E)|Vv|^RsWcc-y'GAvY,Vn?$~RM`{Wc.AI);*̮*ωf鷭YV@؂,~Έ@50L`10O!Yn@\gǡHZ'u&LއyX)R =V70CG"a!<*+i M,v_R'ł̦Mys,\{޹ԓEƵ9mB'ND9Q.|Oy H ]b%`UTzRBW;!CfǠPnCzQp?b{K!>;{ >/Ǎ9x 4*C"fbI T>-7 +T9ł|M%9XK+w \t|jldSqRX} 8t^ eewE5MhێI[WNp;)dˀﭯ&jlD\-X$9#Ih弧e{"stIV`K;xY]4!ڲ .cDD:XU߾pԛ+ mcc}p;*jtM1p>iyrJhņ&V ̋4ZVH{Y a-N(@k /|2aBOU ڷ*{2jtLk̊ZKY\iFƊPvRd-2% άOMƫ; *JqYhƞ&˂i;pjtH،Q-WrN0C,'+)}؊_,Nf=G_yyR $ц8Y]OU|aӆåN%Fyr~GGϜ',cr&tQ~F" ^nO@ra>yfw"i񀼞%ӬH=9Jud Ty-SKYm $]Džg'覭CKisT rK>6JVly9mҮTq_^qܵ*3Aodѣl; SdБZK?L1J\MmAmy>wnY mntE=aйwd{w!FGI1%=:A}gW>`юu06S5wËVkzTT\J%\/v6$Soʿf*cJBMZ?:At ?Մ"ۙҌ'jvMLtb&seH\%E8Kfọ2,B%7}.mi&fq zt%qu3GQܷL"IR1~Hnw!*34(>u].s%lZ>̻g=/IZj Pϊ$6o[fc[#HScro=AZ{M<^wܗdA9w- 2=2Jҹ8Ӭ\ CeT U>3=i|(2R;._PÅF܂BГz݅7[LNB,ǟv}đ@vV.li $m PIVIM aRNw.B4lL!c9 a (ᔙNSXOEPbNX?f;hgƑGi2qHk&r͚^5I4?P'Lͬ*eԑ}& %b,͖k%FYe?:jLT}Hs43a kJHd_e爸,Csuo|WRN%"o1`BKMCJX"վӭ~j«!>گG3/?Nx E-}Duu#b`ITcy8dҧc1 5tqjbHj<%|NQa(x:УC^'_@6}-o8$EVaptG }(~u;S/2Pب$daH.~zÐVlCE*CyZF[e Ű/sK4 =9ӊ^)%"E*ǵxZ74v!G/[wIyT 4I{QVC<Elpciz." QĮL9<>/nFT*RdcvIJ ;bPXGP8nVE_ Ǐʙ>+l_1y r78UeǖHǭ()DV-CR.%vma'lWom2~ʚX;%g6=BA*-zC_o]Ո{#ݫ ef3T`~h?ϛ+o Jb38ˣЗ<][/\~^Q),ձ+ 52qH%3cHr0EC]WJb<;MS՟`-Y??"\lL"{zpHm7lK ]`ފU} 6MW4_hAb`ZQv0{zE$f$ ~uM\Dk,Jo|~դG̦5e ŏsHVc Edi(.œ.iփ=.{ƶLYY^#˟4jgi=BX:xDnfUP:pMӓ'!nTFZ=4Θߞq2kq 0䃥PWu9W >j<-eDST : G`$˘/1fGr4?$:\)eO0aʴ 2)(s֑Aϔ("==}vct qD_Wmh^eWҿ\oYt@aٞUQ2K!wZE*XOY>8~tWo w8' qɷQΤ&Fb}hB0- X='yjejƁ.<2P-LdXLx=u}e֕ߕedcxڼs t2 $UnS B#JL曃[Y1|4¾`A3k ZizCpPRfT?}El|nrа)3SրndzLZ@헥t@y#1P_ΑŻZ\jl~qj*8dұoS]> @FGFk-: ֏XםzEq#@pHͷ.4$qo  X"8e}RsB'O K2Ч`̔գR1Hg_(R6e7OlOetw'[獿c# @䰭ݍ(}6Ni0Ҝӵ+5qhCes-u 9ڡ ]N;+E 2y& I ~bJN!LZv ;cĪum0wES#Ify!cs Ȗ"2~$nV7l&݇NMZN$N3E e&>Ump0}Dԍ3)6Bl~U<] Ē&Pd6vn4EtLM1PR@g'p؎%i. ^{QՁ:&b;b7 w MvTSLvaȉ'!Rp\]b . rCw}(pSL,/5qpl1.!LG-Y$GVîgjz4_ln%䦣Kߓ":V_%|FXbcomE</i'd4X7"}- N]#ݞ<az<2~Tl͵kcCⰁ?6i{*sǤAWq3;"%)!2*U2&zE]UWEmDZcB`%kՏ!nj//4P)3d;;{Y5џ4KZ {ۈꨍ}82'SBIaˊRMno:}\afO=l/=zz-1}*y{.ޗN"Y&m:-7[PԐk\k_"P"ZDQ4=AZ&.{i=[a5HZBbGh*ܞ$m;; 重J.s$y?{ |A @Đ xkvvL 񡸁T-kg*D iBZTd&UWQ$g$4EoV-QW󦺣w Pԁ w./CnS\:DC>JIzh,Y]eyw@ȗ;xkUx-UEkzw wXvΩ5WRbO#R*Y#fM5Cd/Jн.ZW=y4yEӟ7Te\e_1;τ~?i2%f\*ݛ뢔wA6^e~aniRQb5%J(~3d%)S go" 1V.@q]Cꯠh_S@}ZR}vފnUmx 1GuCmqov8|4$}ȁdYu׿d[˰xC {j'{޻I?{谾nNd05{q*XwGoCg@vF:@~"0DŽJ|@]wCI[E. o&рKYRXgCKjM<4S:-o-WSů=~G1 UrF4m;@2=굍Tt ѩzm}l& *3^eUjOQ2y1u ФtJ!LOpwf(Skbue~GS IIj4Ë wfߔKj+s6T"F[qH&nfgUځ4ƑkЗf$'!0(X"SQ=4*;^1F6nA` Q31qXcSDdoNzoDvd0p0A>w\6%j;r WxtσER ܫ8*2.@?c"XG{֊5%UA:laPw3v,Zsp~eMwVK"nW(+%穲{|"hSv"7jQ3> 5RM Cy-J ָ}Fi54ֶ١!D3y/+CW/$VGY Ciggǎ 8L$БI': zvw]sΚޝ>n/CHJЄ14`@`:j/&ĉ״QK;¾DN!97Uf/`mR'Ќ}{Ɉ܋޽;at~l )m6|;mpL})>j/e_ƏLGs[.Lu;W7Qr%gh[J;K񸁖8Tx! {.Q|^~yO`? R,҄"vL9Cl}jp٫Y*&57(`:B.deex^rLSB-N(B>ꂤ%'lD+_WJ1JC, %ѯ` ,| `Q{ 0Ӊ7m~${MhNZp 1Q??' ߌ'3O ^YPIn[0 9 JB9Q34]-gHA;|(fiH y8{*қH>Vqg׉J8׾< wZ!^k Ynjrb;Gb vC%Ana ۘq}ݰp(ly&2nI*3bIG[_GR\3n4/ajX  ayXd/ Dv'ڙO+sbVו CÍA5KVS{&'=gZ$v[ݪV7A DHԲ  5ׂ5\磌aSFmR?0$.%=TdY%Ͽ`=iڜkTˀcٓjiI4"h Է/num=(3^YFR=ayz/`&3fP -(Sj%;3;rviHF#yɋҗQtP:_gj(S.NQ[ dرnLsm3O} ,Ӝw6,D0uG&.3-i {h`3`h^k4ӬEۆF:VM{ O+i,O #In5 4v/AN1jb)xŨw1F+qI*ۖv# ۧA[<O}\~tmc]RprSfaѨ,~T0nٰಽi%.uL.F+I&kEZxPV?-%iҎi dd Jo:DaljKUDJHc+KOFp 7QO) B~}nv;am\F~_Hu?׻^hi.ےf0 n]_\} ?Ty/%2t–3t0@RUm! &s".2t<,sr0³JKQWBDG~`2#7^LoT WV8wal<ExQ\m@Y93>rxu! Y6遴S;b$*beFc5;L"wڰؔz{NQ߮CvcOZ*k~F<+51Sݹ2/6ƁoyDDeN=zQ𠹀$'5۳h0EAEϦ?h$y rƕͅe8-~+]B}%l m6x3ޟ[+RIHK ^z4j/7]=^XƁx:k&t'؏슜7 ; X&j(ogEMO 9 U t_f{:X^$P,aH&[2K{.f kT|g^Y@]5{$o4z_{1Q$ bAGDL UPN rD.ߓř#[S()lm"&W*PӬ0nԟ[^!96$u,%dxؚ bG RǏAse{mY|^ӀaxxEjᜌ&Mu.|^V%N$ 0\>J; KC?,*PUk!Y_+1!D3Uzi1mxzy&HK+bqs?se\"uźq@ah^UCfZrMc6 |?m?ͨ*ţE1kQ(Ecz[O ;ܟyS[шO1ͲI^2)Z}E#A[g?1>Sѭў{VN\yOo 0ĿoPXG^L7Fȏrݺzٷff*z{f&=e@Ŝ.O"f0AEPlp} 5>.,FS?+-!-c9'1H5,(ℬqhRC ξtߘ_3:dsxH){{L:cYUMis_ %EA6L>7mѐ%/o(;z}!KN򰐕ZAج V͒AAOpv?WQAQ  $/"=+T/ֹUT(dG?aHcfl "ig!Q/^%?\ HwC>q8h 3 0r(0٬{YM-Swyj)T mLGמO`\]W7N j,s?v p$9"FO+@v'w?L3M@Ɵ3pCdMi!R'Kl!m0i~xwm]= . k'}g* hYn , J7h黩re\q4eȥЫ98ݬ֖zzn+aU;t ͢\x7R'ƴu@Sbq>;1[4\ZX3<;P}~c05 yNGqP9Ҁs'qX 8Σg,)`z}hevo*mhmَ3~͊6w8n`.gg[S#>F~krFj|n0Ԉv]iA A^R(yy!`|pY5R\By٨od:\`xxA ЧFL{RkB`76N6P O^ԻwC90х@6,W_a4F.JX;dJ+gx2 *V4)J4"ekI Je#Hs7k𨟈[ j{ηGM/H+6mٯfXǵ@m#z";-~V.D'_K;dFkv}ǣdϔ+1J󩙳܉s@-J.hޮ/bvJV̝ UWč"Zəߟy% o|NLNSjlJYr#b*irR%>e,3 Z|lJv^p:0d[ݭC0UgΆu;S7`N,۸57e9d"T쵗]IqKf*ptᜃ0P%$efe7 D5(bGmCtO hqh^ {s=W~:, o 88{j0m4g/rl惋T'qse5r6";rdj- j6 O1hCNr8;SY)t3[ShEbO]BIyH`jMCcEи$U&Q^q YR\t5=.:bH 1u%j}"x/HӉ+Y;d32˫-=2&ЀQ!)'Z kKP,jVfa_7B3G0N÷k4j-1,ފ] \z h+ z͢㿬Gg-[XGAp]cZ .r"NH'_׭]nH@ sԘӗLΝM(dULT'#}j%,"K}W9e\RԐܢ3j#ՂQKc?;i ]'o՟\xt}e1)ɂ[T4WiB6tS;c~a>Pv+ :$D97t{.h_ߖxGְtaҝ]˄§2<ӳcܰ z+΍~@QLհx,\Q ØN$7bPwX*nە/iܸA>ARU4  '?1). NS)@QyH-E!"!EN":mҥճHw<{%HdxhW2PÔ'ta_hͶCKp45HN=(sJaѡ9Ͷڃ>tV\1~,N"VAP-Bn v^Q>NlL:=yѣ„ĀH `7;fe~Q!2O7,zbs& ;RRY:YZc1wꫀC!(v/OǖowAu2qfHxaKWּ7_Y_}! +k: $x.] yW!Ad?M$bQpz \nLMy=L]߄n?%>E"8}hwe-QbN,= pE}/1+;v(Kq>dXG&"~῭X̜ k"}=9eJ_U. 8KۓTrU%Yf%كizWGC ө?P%ڄS&Q]Wrۘn`)-`⊬;VXD7@0,EQKnnS-cl¥teIˠ\{t>Om!VFƏLdږxLboQJ|ƵHw>DKkKs̖P #5{ZYmqߍTJDdBoZC{KL|sQR'r+ T&C7g*6utZKAo8[jćdMQRO,J~"Z:أrg:TAz4Q>ՑTBU{u0nđiи{։rT:yjƤR~׿B߶[zHΎAwㅍi_zNCb2&2bpW1̓!M N7QB}b]!`cL/ӞnڸVrf>FjjDp[ѼDȄ2#@wycl5I:]w!^V|$v^?*'o@T6C;,O#h\G~F\ ٘@/aXe0#^BuI3nd9y8RWfD6"8 h ǝ,C\&Xa=oim0N>eRE6"ba8#etO<@j#6fw8ಧ'8G < W G֭A*9x!Cg ^u3Q#"9) ޤE4hvpOE $>cb} gv+={gW/ӰJsFEqS@E+l.we}#ei8ÝKCލ= 3J"Q/F57Op;G,$]yC&q=vN*#Xqmd{g3ZWCI> I:*a!Wo-"0,Q%I \B62*3$"N_8=T$;TL${t6 _;oK @"Xy ӣ*Z{[{ej\[Lb _9,| ec^>_0VUk.<\Z7'C{MD4\`QgEy_=J[ ,m@ڬU,JNzYuŸE`m+xh*N.Gz!Ԛp ǚGq_gDqewm!@0[GWYxDn{tQۯtрf%q|\> !&E?cn72Iؕ{B <["cnb(?cNr. o ђjF`[fPæ|JZ{8S.\A`XJiLkp1lXkJ9ۢ)XujJڲCo0##a<d#6 ZNB SuO7B+׊9,؈[2;̏wM@PKce:  ?hksQb#OKw ˑ} BzVƯpq]=X@v/KGi J{}~"x(6Lq^Zg5ءʃۗV|#@!_c44-mzMъ揘pg(9sȵh4a.`P'CBٔ\4Z&ЪHDG2p4]EgY*,zXf4Jh+/lrt Ov_rXRN8">czCԌZBMTۥgV')BNs1dr)D,\ 9 C=T (A%$ DLi6WN>5 JN i~X~Q=Z[ Dӻ Feӛ rdi@@dQ5AhEu6Nx6A&E{˔_UlYQi{\5"k--mC`5I}*P#z\A%;qZ7j3m}L R|TSKLp [dN##;.ɐ=BgYZ7zXZִF! '] ŗXiɟ1˦r!cHkMeBd4> 1ƅX OP#ɇlwiv*$;& Bq 0TqczzʇcM5a3oZ+2XC } f N~*EHyX !HvP@,uO:LlDž@8_S~/t0o|&N%)?t% 3"a_G5_u$֩+]Z"5ADaHCdM)Q_N„AE̤{!07|$χ_ 4_Wy![^D-.C$Ju>m/ا(n=,weC"RY$-km5 ^v[GW_eRnܩ3$CM wOx ChaL@ptd5o#?(|gCEf~5!֔e ZqV$۽ /)ҴamwZ QKx5F DUۚKE* kF5Oe…B!$my$PTE#mt[qǏuN4] rRض!*8 ]P:XmjA3; N;4CeC%8.e9d(A״ᔝyA"2)칻xRFԾL`tQr\KZ*|=,esnfdTuXGÖc{bn>5!+v\XG,7o\qb~kИ + r_GM1g-A1&ALJ1S`]i9!)Λ#I;"+RTwd+׋c(jBt_+ʼ?%d|TQhJy륺o.ʑcΐ$j>&&^`wl;yaVJF4(`@/|CW4RQ%dV4ptX2F4e qծ8ϟ'|#!Ik+^C$GϔZ3qn8CAw`96̙uRL *߇䤓Po,{D9@*'x?ȴ@F Ld'V>$,vo DE47 UAez7Ξ: 3K"V%UٷM!fJ,﫮[^v iws(M I᫒F\ LnkŲ>b02)*9%~m4; 2}?7ݯYBÔ 8S1{dNFUH*s~S!^i/=Ų=a"3/Os1>P3 jtWSpru7+5tt)V:wyn7w(Säi){:#.Pnև8AWâwbsf 1fNS'(-^Y7MbceNe(Yjb=8'u«-̰%BE2 >O>@f?wgÚ=2RYl< 5[f H:<p `isXHM 寅\b_6K}Q+n;nKoZڥ;4E@}%I{9it sޔ³`wh4H LF4}]*q곕]k g [CpsG$Ƃv 叚*ؐ4LPp3or %5^|$o%SKlh<~T/^ 󗌪,[r\"LhCyv/#qzo?VAezXy#(pKi(%Ά%.x"Ǯ,eT4g;lKs:auKW`/腢?* ;o}w, +'r@o$X3YJDsES"ZKra^smMU?.AjZ83GT,>X_Tb1})( >MOCVukA 놇ەh92"Nse-É9ex;יVMJ=@K R}_&VWmIBNp8F6Dվ8Cb%(<;2P+$%)%\SPOHR)Y^7؞nර"J jۏB֞Y&&QU1A`$Aq5oIMG!I,kBrctZNLXۀ|L6֜54>ij|eLZbP==6ݵa&BQZV!]l#t GQnO8u}fԡ>1+0ZKd G${ w5 -Ҽc<0[S&MXr]k 18_ plķ p@xފPxN1}hjǮB;n$JvLlrU:m~H*snbO"h05F0͆R}qy)Оunʉ R$̠Rr'XN%?$,8vIVZ{̂~Iߦd0v )għb{Bmo>8YfO@ѰLlnE1(YWx%_$)Ń* R٨Òi~Y[ ~N*2=J)T3̴d%xoGzeTJɃk$\ UW&WVv7W2C>sնYjwB!M -1$ⰤA["zeʠ!^:ɻZc5nЁX״rݐ]x*Eȡ$mdFbIOUnv8IArfu ra( ^skdj81,-|{lpך ȧkA xb+s=!:x7;=\[!ؗAG6r$l]PǾ|pk) gPU-+#sʐyb}r%2#Ĩa!b \} |wk_mݜsqF`YjyAGB[IBkƠ'Fw6\P22G櫬-$y)Fӕ4|q -:2| ^]o*W{"p.jZ/"o =d#,K(YS )tXaīY)#H&*mcIR@= b,:-Hnே|rSM?v6婷_*;V/cM^_t)x  YWu qvN,j9T-Ņh 9"FH؋'fJΖB n׮ k#%^۶'l,x5)e7DcC}-v̒jr滺=v.fbI ;PXBSkuk)Co/:&- bs'hv9 ?2O 0"CKߊ0RL sHE<༜uT:臊UUko}B,UUXog]j,ǐnaklL2]zOjl2iyMw2LM0J6!\ߖ!OfBt3{2J-H5fVYA.d;e)aABG+٭Ij(±x!B K2(&0KQ_4$!I̦79o-MX|VpqtDh %!}Y\Q x$x S1Wܩ ƥB&nlD*6YMK*m iuV)d< " kʁպtlM;-hޣyNe"d:,0d^k_M4yշ~ 35i|sY!h3>#kuNUչ&j̃:1*ܴUx㔃&4(x[!Tq56rIҐݫWnumXA9uOKViuGTXtA-B`&mn;|W:TdZGↈ~qhB{֖u RTF-{/靅#g*$8=à)9ͮi1+~!TXwVz!t9vl-<jQWvzq)ܐzE'z7fzts[gZ&lf2Ƨ́iFʮU& sbjp Ұ}BֻXhDOzǧ<F4Ӳk4lON&-y< @rj4nEad 6n vf'DTAZ~+9Cb.NaEK&&, ;_L 큭&j czmj+#^˗[.RQA汴DKrMŒ0aIZf㗣D&tNӝ,[)h I:`J@*Z~CqFH+  eiz>Yas#ĭdbx%i6N0`tُa1=?@|M-;m%Ɣ~ P)LMl/|ko 8_bZZ!b4a bX[j(3IhnLJ˖Y3k<|2mD2@|5i'js;ULژhC i5^J+Yص e.n @S)({.nNa[[GV0W9I{nXܶ?Nmr$gX078 *6@]-kjS`%<hx`Jҽl,FNnXv~>cѧTg#B<U gYcC6B[%޶Si~Ҷd~AfNHUXEM 5]H_:4J~')Y9`&S"!_pkoF[*0W,l`k[3]}$ˆtys濛$34<#rȮava.Vfh^-z%^CZ5t^JL W_EIY׸ť|Т~"tL"_H}$ʢgqJ0PXFN_;ŠԗʈuaQռ;a )sP_͆ oͲG_ȝĻo:3v*V72@Ԕ1GeP+cZIJ_V8',N;b H7Zx4RyTuhM{,[ȄN3H((.*a ! DlDn< M3=O.,Q*~Fhg@.*&R^Vk-avc/߶HuT8h '$P xaQDK$7Q{l`K,:9H 3"牓YC:)4oΕ?&e>׋dAAD,҂LUQo8XYg'XBj5jp I{8s>i))i sKm Ww I:~ YNUߍ3"ΈձtJi TO$ ~1>>zN/$T`&9KrgJ,d A5 end2n;C+#F׽4;dUңg>|4 3r]`nASv5lHZZP̒M>ΑޣC$BFx,yd%zi!bAHg}{wҳ>h,q`WѴ`_Z 2=̤ B 5wIeCclMj7:b /iM h8xY hvN~Y6h+L4 E'% #BFξ1"u>S3q?ZϬA.Y$:G ։xc*t 㕯^-cΣm8ؤ4^휘"(7IC*xdOXJŧҵQerMbDdX{wD)铧zu۱Z~hE)-/!lʩ%/|]LDa.SjՔ?w'⼱cWFE=(+@/-SX+5x>[BV.29`׹'pEҭ)@qNju:w÷[ǻK&%}.]s> `@Ao˺]u l&jJN+aVa31.RǼ |X!ݔM{3&jG#lSg'\?h7V ,8/"6R2=u:^;?WLCnY_,joxisnPS6M+/ba59h?dW^A BTh OF]z /;; wZl#Eܾbq{Mt?LLVܿXԢ/t;Z0s;JN xUDkGvdg-S>5S\4c}7H2kw#W"K9EI݊BN/5k#ĨLzG94ƈ6 6=S3npq0*8佮rY iw@?-REU@"=8Ӎ -\Vz~LLLY tMP~2NRP&54V\pqǔ62z fqmcS~񤀨GfʑL!C9̻~N=ge~#|6T KP1>]PϢXg8Khu퓐| fڳc\+*+\ES9> ʞXSL>YLw@t9Eƺ,Gvu1%/DRΔt"vsR9(`FnL7yjX{ɍf^@jbdxžo-)鮒ܡSplQ%%f.8,SpF?XRZC"X׹9P}IՆ 8]}w1>*U(=#^9NYJC mM="թ{dP {ЅqX 5E\blL(nϙ؂ ΆDTK?S{ui"\<ȫVY6 N8Gm1Otl7%, 'வ$Ee ,$̐Kh=7b]iQGTx,`gv \h܉K2P|@G e yw `mAխe]Fg';\h\3d$4|=X[1!lwA4 z(dPUj˫75%/n|0we&[gOЁZ_z$FRE#;]RhJ.ٔ/eN$/BjK08G)Fp:̷ .&S{Mc~Qr>inجܠF T0*9-#~]Ug`xWj-剋Q2:Vik%_#xΎ^G`7!\̳-#X*RXb9 yb{%DoPLIf HN%av #U1wRKnWʲNE#˚4Nk@4-`c%ƥ ~$}JN#5{1U\KR z#D;Pp*t}& 6]X;~-|͠#NJLyVtkyS %B(ƫj˥ ɍ0_J̲ȸ."L1e X&5.,{`.UǡO 0 n0#a Zp4Jm+ [500,CR%q{f-G s!%aK߽W9{zeݎˬ/i.3JC]}euEf?`ݤўOϋkjeQi^biT1#yǙYx1!sXQa4GAuA))hX߰dǫÖMc @"%2h T[:+>d[<K3 ZDd7 {QtB ˄ϡ!C毆8cqۮ5 KP2-.E'=.SܭM/eu-9ni!q@eMܫqhEއɰ;wv>O}EkOk`ľ"Myn.\~!IJxAV^(ooRg"||e[7f4^ި4mZMc}؅ g 1ǡcdQ1#(-Ʀu~qߪ'k?gar3Y!qjm6yBUܰҡҭx6HȈ[T$Tħ\ٶ̧Vbin*BKUjMB:K Z>JPV }b"6M uq,&,?bl%ZNΥR">`}h{ad]b^$FWq҈&TSo<>?D7p!V?=RUG¢(C[#M< [U܌gԆQJGkF$#ɸTX6ubVdO*im ARLa$ `Cu5عplMЃ6AFÆyB mܭzZ_X XoI 4NCɑ IC!Frv^v'Z(J4 ʗ2u "B^[aJ5n# IYc)lEYl2Q}bX_ AQB7-D`,Џji:;Ki5<le<ZOwz";ka'w2( ۛY%p?(#t` atk! Z thIN9\5" 3/MYaʵ!'B[7)l"z3euu-߲@.ϥ xx:qބfT F.F)]@/㖍:*Ǥ _hT@7Wħ8vT VY:MV)ϑT̪)]w.̋~7K18XMA9*Ӟ;A#~[?â⻶E4!pYYS~'-#g~ŝJ>u[ɿ\ ZҋUYL&Z6RXթN-Qtrd.k8K/i{caVS&f-"=:,?Wͧ^$ʯ 7ASSo؉!#os:k(iIZ՜SeRX7W(6S;QW0v䨮Mn u}bl#๬q_hI)W#nTfoV.ƶVq.y!ftOB[: | ?ƥⷧLă8OdpKZ`u03yBѡV2t,Eɧ9EPYP9/Rab0L 阀ɊizSH3B.pC+mcd$PU#Qj|Q$/>p< L_St`7ȗDIJ2G HB}W@dphXg$𦉞1bR>^L 6ǒу~djw %{Ǟx4;k(~_1+T+cKe UI«@7k_m )x@jڦ Aٮ-', CYr0,GbA_Az /ݎ$/ߩV?p'`Q#;^F/7S/GZ 0ݝr #CGV uٙ"Y>>-xfO%LɯLgY/*ybN&,:H88\H_aj)L!6[TwO|ȕ)zF(sS"0x|ڽfZn-8 𼫺(7a*.aX`5* ,iϏ@J˱3P+OHL{Ɉ , eje4<2MpBZӲ,e߭bH+%Q>BtӯADT$c) *CQUS6,^Fr_4juՄlK4ײ^k֬d.`PǓʙ(tG䅟hqHC Htdfu +ZV'sϪa5Z mV!p̂7Cїwp|0-]#h #E3GFkpeEB j^Sf D.E-,(ȟmk݈dg:+OvB ɀX-O>0Qp*B@t@*+r0A%ǘQ W?f= 䓉/l%iU^C-g.-b5fGU煾[܅s}H'hE 3-:| 8DV7JB JAϢ䃒#l@8o0W)R YB" :@V(w6 pTeID|X]t0ن ٿ&>ڝFM6m=AHFm+q[1It[p ZkUa#|JIM[9W??2d&owXsS Ơ?f'ppG2?.Z$ e~|Hh{ܜ>Mxw gj+8 \vTt.WteIs,H 5qWy9c'(p\b6yd"E_ܬE F_Ya.`FzO^a)䧊ZAN!~qqI:{MMݮ^s;dN'* 58(_I嵅N{,L !a"A]Qt}Qe9uGBd'\% ^Kd}/Jc)6c`R4TyWKZwQ¹vU.MyHj&v4n6o8'\ۖHX) m/5FIyɳ@ʓd0ݩ*ew/ȷ8_$X ZzaqRt>8r$_fj:"Z 0J4;ő;} Hid}/;K \ep9)B-M#uJP? w)2i$l˅>G^8e7رn@dV-~xi3Ѕ:R08stRJ? 1׮K{ ;xs߉d(gg|mwJl$fOiBbpֿq”7WNlLQrv씋%nBd oFّ,Sq;L{S/]Vƛu~ ەG׮\/VT^ / Y j<|P 2 ưm#&$2hU2ɠ6$} ِh4 =gt&a!?䎄M)bXWE3 R'~\,yKXu"]XLkC(KlC;v~N:`q|-!yiWqV"c@M4YqwvD:}z֕SJ)ZK+-Q' AD2ydjb޾6 8 WtjuZڸj!>oKƴNvϯrZvWp}(oɁP Ϳ1tcSG|'p@J}Be!UFNYYF6ъd8A.\1(R4#y\,*8t KD|j0Ɔ[kKh&-'RQsAîA%t ຋߷8 RdXkZoZl%0#$a"2 SRp:[:wM,VDgHIiѶ6M?W!}\D+ѧ@ B99T kp. +}{1&߅JZtd1 j*7Gf @þ|Oꆉjq|y~d}Ll&xak«\"]J&Lt+JpliRnb\ BR؝oMEҢ'[Jx/פ"ȽOE˄ Vڧ*:X n` ԸD~ClX/xY/㩿ShqnO+[ѹ𭭁-@~HY9D8Ԍ]cӃچ؃R?ds,bL|JlrCsN$44)q*0H;0m,@E42m7 aʶK@XFn QT̟D!SDȱh (ѳʽ Z ;]2-rr("/^ wuHADߟ o12ꠛ;:q]qqE@Z9QܛҀ/a?$L@)YK]Z6\XrY]1+xWFYÝ[0UnZ>z!FO0$CaL<)9l*m[bOeqݷ̾=.-ށ8<|9Eb4[MzLk-DfcY\6cQKiS3#[ĆAozoTMΩF\1#ha0D%B"J^g!fC!GQFXy=Ҳ2Ի)N5'G!^0As|WὗAZ&A*(7Ï ׅDE~U^JIJ (V. 4?y'Wzr, 'WXLSr',hzI}kdpը쥎>аh{R3S\]q x} g8a7XAJv_s*pz Sr +)r)jh$B 7q*$869 N7[OZ~6i2Lw] E%(ML}C@,/T ZK/t4TcxRuy57iDM4Μ_To3caXnB9@‡QvHUY'cN Ϭ !7 %͸] hɛhp{Xง4’.\u ,g^Q(fs.q0$:5d!R FSk9.QYasל+j"\iSTFg! mVYSiQT;Xڲ10}V3 wlOjNj jo2j Ƞ\2UEQdhcۖmmq2>XH yn4 H5EdȃBA3 lV0= `w$E>xPt0[5y.*xg/e_scGXYZBYM_><91UJP/>#PQPԪr$jG2.C~T,_{MsPq":2[qӣ$<ʯϩ~ג꒶mcQJwhUmGhh4$j9hWֵ*8.!󂔐MHoUn؝2WR3#GVe0G7é(FEGE~_LZwpak*kvetEuhwRe,rDP`4r#VƩg\ӹoɪI!6XzdD~f-LuO3y=G{Mݿ9 Q0$Z';ExrRKL,UXQS'i`sEG V꿵h:Y`9-ƒܿ%FAh)8w Ltx($uQbp5 :eR,\v'RH6vnf3q37Dp&0kSD*AyZ <u{˂%/qk4`ȳ PSVYdNv.-vzUd9y# KoeIsx El&t7T5a~# _*Ö}v3Rrv\f:B<++B_-*mFo޷k;†&}d396lש/0@Uaݵ(r:󴲩w cNö,ԗ*}u7`5'3$ 3aai<;@ rX3܅?v.Y[xĭ};JLTp&*:In>p#qw?Z$S"1P!$4Erf e jE xu([.MNC?u⸚B zh!WS14,2 DzLX[|H[ ,m"c _tEá]\v"..|Uy/IY5[х5 Wu|QJ1l=o.k#(϶^yEڀi?fvm;84hOsr}wp$QsW ?=c_3BBczܜ 2RЁ}h~>.L0, "ӱ(2g w\C@I*iqdd 4$ ']p"SY{nP=)؜ 3 !C$#2vJa J@+?"hü#< -U_<493/+e?s7z+R|xA+pÌF\[ILQ `.p( GV*- .Zt ot3%8`gW܅9š'ނ~5) Þ 0e~ -4cϡSXھ1b1Ml۰W0)UTYxrWbB ݱdR5`}7߼kpt,}N6*Ca&PM>[dLr:69 /g;\zP360@as/!ƈյI~?ĝk aykDX`W_ۓ7j>zֲ%uʐCVc.[=3;'9YoqIդ֚Y?hEda~NK?MAJbH$ t(-!ČSNF!U.8PTc=}/g)6.^&i*<450ncEe;n QDd)OUM$:*D=re47m{+j96,roD`k}}eY˝2fHh;auX =a=^\m[^-g]Aj )!㚢9N(;%1bkE\sfiLdxʳC B.TΖVbZ#Gw4`"Wro h~\P`\@T XGQNd=MlZ.4fFB."}utu \s::x/3ވS~0*; WxV'mBQ(2 gN6]ϑ/eЍV5R8 =`sS1攍yWn"JR97N5MߔCrۖ-eXKlq̉5|~7@喰U-0ʝOs %ߣ*M@K;rx%!17aXxDui?"Ƒy"í^a⋛/7+3_L~̠q$0 8K*mkW$(W- ;zƷ3ԑYn2݀TBmЂywgRjLQ{wMA1 HIo!o$!\cyMu^r@`2Vf{H\@'mKpi. 0=FHo62xGN?{3/--3m,KQïVµe\Wv"XZƢ,2kԟN)z ڼ wPc "nJ#ܥsHUlׂGZZca xnqןlk r yqdDvA ^f:PUP0,?cnE_>z9=cCw$ P"?L1 _Qlf {*џd9^DֿZ& Y%79z9ɀby]gUVj.Qg$VѾ,UZ:6 ?,Α)fäCUÿ$+i+`A }!W I;~+釨u9F6QU-VC2buՃMaR'UU/:Y E`a0 ?o u,4.ED?w0EoI䐾&>TAXG_UZ`GAW@Ov;wn,]%3x^=#^N/TDmyP|SOmc>R vqe )dlR ҏXކ=2!u/(q~?kd9-z'*cY8S 6UmYq|Qq%yce\3Zu-~G['Gpd-KfCe]9!KftH$jD)8f4f1i XFzu=^jzI 77:Ar8nQ8HwD9Ҷ>W},3h~Cvuv׸uYv 4SxpEJdo”*ܣ=\jǧ2Q'M["xH1Bdu(ףo ot֊J'medZ[7"}u)-$Uog'OT&M׋>vg]悎o4+R;}k5oؔz 0bB'K<hwEۥ\*8JS|$bpi/PwK<ڎ <D BcN6N dCdi 'x1 =4Ի_a03wVߎ5uC譊˶[˒D_b0i$OyhYX q-Á]HUr;"v g2gM_1"9_umJDKC;%+Ap:kiՐP,fi+؟~^QR>'9J;Iq@|>!bۻӰ^ 'qM]h]wtUm烦b"w&=+~\ꓑ]q1钮`wE.|y =fjsn&JqYN®#t~<[D."iHf}>S!bsOy~IB"je4>x .b ٝQE,|Ah Z}# -jh)pO6"nlZ=B_tWQ;G]1!&PY ly؁j;[xm 9IKc2ULƯ%Ckπvcows;tlpIe1o]x Y>p[fq{*98'^3wki덓fGnzG6Q?\s |f9#cHPFXؒm5htݱ!$Le0;8衍P^5k9z,a2u ZCF~tIypY?{d/fKi݅M\xF7R;l0]|ap'LEk8JFgru$c3Nfk -#Z7y㱬 t-8]R#Fc;SAfqDtP[|o*0s-m.-B$9)Ԕ\awQ1:`0g$1fC늜FaZ L]UziLw־]gi>kTqjZ31W㰹I}2V MxSx .:R;W|.[OН5/4 (JL@&bMhy+OJM6l!h gkv?34`z~/cijءaHXuWIw<9>҆C}%8C40D%0Ȫ9se.be')kf߶ B MH6e|>##d4f]xKMVRB'c*n⾦ӂ*V_ɵrVc`)vҢvIN\m4z|V%uu2iv(я+zp^,/6 TU'ҬTda/$T9NQf_䍩Jj ƽ$:g3aL]g;%(rF`3^cx:jY~{kFsISʆy\ea}2eVS\M ?-TԈbd"՞!utarudqw?_ z} @aq&$'|wdIa4r""'4 ]J @iI3ad{Hk }46<+yUwVG"&JGFyB ^^ĞԮNk5w}}$E֖Ȩ4"!xUE_>&Gn-:zD]n{'hoAy2rW森rPc>$ķUI‚ < o oPoo߱EV3$&YU.nZ P+k<GZ>~9.vm%&-D+( ֑_nq-AӽZe3u#2OvkG]IYP 41)H+_ж”Aa*=uQӡNTSihpcXƊմ4 %F\0I΁)K!7sq~OgdF>FyQlb[oxmf󬥪\Ow%pISAd+q~Gs]zkJO\ ِLma;"jm;DM +5XVyuǘMdLb`yb ZY71-_@wZ,!ig"&{W֤#g4̈́رRLp軝R dkH_-#z:ڍ:.KK='!4EHX4Ee)6N .kdm+>~˲f9D.M %aKvQos@.#-u|:Na 50bpJQ6 [U/=L˗Љ".m1AX++kfE;|#ar&A TTIYh/JDk;7o%rWZ]TUPxo6~iUI %Gi/0qXw VG@MX^ʡu|ށ ‘ymK={]C,(-o21. 'U &Xr Or$k>Ľ2&Akƿ˸ȕ@gwߕGfں{0V܈w]b ¦;[>*n8"!%ATOx#?ߐ.z%ϸ20[wĪ5> oC@M5۷*[w˂N7ipD P+$z7^`Ӆ00Dyu eS)i,,xLbmTZQHcI$%/^3 ڠO3$KF&e-[@1<ߢ_KEUWT-r@9 YO]}ݛ OqHUA$ x-" C)ipe (oAC1Z o0PEGƘHӏAepYD^xv 1qH?dLI^|)qU⩦]^%ȃh+S҂v1>U(isiPU`V*xFMСWaWfDjVW&2aY8ߝy51BSHh~lW&.Ϋ©ׁ5`XKa`MxnjBk㬀=Ҹxƽlky'k4 )BFffΥCISm&B/Q9nkxNZDjv&5ܽfZ .H,&o}+[V]K }w 4o2RrV[eOtS'~-Z|l=:myF\-W 3crC<1Rd Zk  MSZRaZHvC.ÜYtv̕ѥWB^"pÙ/dN7̙ab~eht5cǚkR]v?-]>y+LǪb'7:zAzJP4fW= E-eҀcHkNSz--'C;3,'3%wQ-q̧v!ә dտlN^VrM㌮)Q817㞦G[aD39F%0 o|`*=.~@Uu:olv`2J`գguk: 'IV1}6&,-Yl/`&A1YugȜ|WIq˼