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 -1tT$ ] HOL-Metis_Examples:threads=4elapsed=25.111cpu=73.976gc=3.2047zXZִF! |]ŗXiɟDYK<;#&zFb4 v蕙ib0w[HLNKIOunDeg1Ž<~XeX+ҪLҦ BklZ,8?\hîYb@f&[=dN늓7k^X:_ Ćv]~vȃ{7ܓ'@Ux#~N8u[GhL,>K]uAH0є SPBGJuKNK izW_-$l"!LEfCۄCn/gWF{nJG"gQvp. ; "0Pĺ;+&M̀D\j9"t5(s,#T+Z){~Bux_WhN /|s>lu2"}풔t){}Xu# ͪaIH>0*I:߸`lElSNjG{f#7hщq΢(^k 8[rdAtr".$4Mt{z_,NxO84bsx /a8f>FjdhCO˅- {4ڃ.`a]L!z4#ծ\`V v|^h#juZM#({+tC׃T'M'5}LWT?.jPa:U$P #M.*m@k"Ot[H% 'xO9iͶx!6_TF<֔M-ҪNz` t!/Т͂aO/-'ry~IGGuKY0MXx%1{@*Ph̉ڎŠp20~#ϽaRn8g+%j:l΀y&Z 2oVJ¸Hp~fSmR%؞BGw:|ul? ^4%?=/" y5i+TMh˰+Ĩ>dk%;aaK4~dQ[]&sne mEc -%T-Pӯda:+Syy<κy9ޛ"n,(li{$<%i["Ne{pLZ^V}3M_{F4TmL i:;z[5c 0u+zۍF.S}+ږRvv3˹ja) J|A{"jϠhkM62&<4߀]2d^SpV'w Di-Kac]-a-u&ngjee/uo&"!j_yz;}.+/%%sX[e0w'HmN`2Ia DNA;-#w̤P m&{~bjw.`k*SEN^d" xKTy/Q}` HnUiC Ț!vÙ;Q[OKs"JHY"O혰[i$5G6e-a+!b;^;ɛWba֙Dh_t^p,&E;1sQ\ Lv Ik$"X, -v ߫O*I5-Jѿ1GCKp2 6DWSeUlA|] YM V\%:SlNED-k;q``!Xهyq(q8,yzNFv=f&.A?UٙM@}3a*]!1}["-38OYM'v 2ǔR(LkWY域DG>a.N*cd i.o6=^ bY |NCU|C7I҇3٨X:DMqe\0:sDK2jNd)˯#U8zncd"N 67Zڬ,;C>nxYu| Y6qat$94 1 HOL-Metis_Examples  p-qx&~0bM3y͂! Im6L=;c٩5 Sfn>9m->O6EY$W7phz"톢W)ADF`S)PL64Xړ6OW|+}ompzT\fuTnxpmV;!U<r;ąaڅ*=b Ħ8&zXK@o?&`q\&x@Jj`0?A= ς5"`f2 KfCK|~WWtGU;| v5uCެ@{[?|7ZaOr0рɾU|1{F>TKA_R.c)UNvoe&PUz6bVLo]]s#̴S 9hls*Yrrrf@wF:Z"jo o 2f9£;T&\G`)V4Cp3s<.5 rR2"DX)' '0Cl:Q6~S"vyJG؂ᦫ; \?P0ܱ.pm|*=_ nq܋t~9g,K3 et ;3F1'q6ap kZJeu&U`>0{EM={ r2Rә໓a}D9># _`qUnQF.Rr.QAy8fL;6EHn`ܦy\:%E.,s.#,s9j#>?jh/;N^uG,_k:)E ³7Я=} BoZQSĞ8S|OtZ Ne*j /ft\%%`Fo/žr>!6WqM6 'ݹ&nyhY B{DTLL o"F}G{#M.pbϕQP} ({sNfL^)jGP9?GcW")L4O165[8B Ǽv 3Y!9H]`o?}+C›:$x19kԀNb;~Ee` [ٗ+CeߋwЩKᦆ9jϠ<ܧjQ!5mѬ n_n8+j0XIK= Y]@ @zL,FVWOgo18eeH4}$O}"Kd('$g h,WGX}R 43rv, AUΕ~#|9,VWqE&guN>xۛb&D<μJ͛ FNq pӜNc*׉;ya2IXMfQK䥥Xk F#F < [xiJRRC34BO ѭ=F~Fa\s1a3Cx/[Ԧ4Lozbgth飰x<>dlMvֈߧWjb-Qx edYʹv{Ҡ6&4" }jo#ԟmT Uuqb*Zk > ,C+BTT6`y j>fOf}d, #EPi5!yws]QxX+uOAg%c`Zbm.~Ifi۫}@/~:'f! zn{.򌏞L^Hy,J4:.:MArA=Fr:{%[U c*-&yc{\^׿%UEa`xZoĭ*ITC^ Eᅯ)9(%3%kBcZHZ&K[ o0!"_ t-eGCV|w/h˧;*0I<Ծk劎P Ϭ,e\۲4ʾ=RKSҷu×Usm1E-iEC*$B-vkŁU"Lű7P J~75)R0}M|!# GwhG?\0jX!uT'6:Dc,+ZVzy,>yF5!\q†#P88Pބ VD2;1<a"rI HeœOnxUX":~Mwܐ31(JYpX`jF|zoi&2@:*گ߽ƍ3bH (cpi1? dkl<N)yU[6{OU?g2n0YseWW~ٹ;d'8B>޲=EIsa%t<5jM?7WJ#WS0ÛE&d6R}P[j0A4iɈ#˱ȊNi"$; an1[}Ib? lD'DzJOUϛ^%gTgr:"5 5j`:MtCᗫ_} 鰨.M# OG 6eNAx0oxZB} M nyogI ̚4xmVq`pM.aJM)0+lUŜaT24=٩+P<5p{b~÷ne5DMͬabk\GhHZ |,4'BtRVs̺FyMD^u.3IgVQj)gnPo@cB&KhȄй'<EcT^u VO+qUߠ}&}PH[< bXK%Nh ? Sj&+@[, ȅɗIu=TH4>x(?76m h`>¡H0|e` I㤯1Ā vJGb?Rsn}i} xd{yӸ3X27PլudrFbc:{ip9 2qm{DoϊΨ , _G=1EziS^Btqv?4J7[AI'{?$3{ǙI]X/\`ݷr* Hbʊ1=!/@C}Eg{rjTp3B=U(2 ֍}Kk g%̮ k쎤-%LQ}"Zp[!-sև"'S";G!bAE0 {$o([Bqĭ|*w?9XF^#1mv\S;'I{{??rj29mg7 /MEB?.5_j@e,>mh$R!D dByHk^r({fYU& ~\#'ڊwAsd>YBk ]ѕml) 1',ZiwƤm>jS X%`CBB~Df(M]XKX7[*d]>6BT'j"K$d.- 1Lu(voefexMtZ.F`H,:֩S(N9u'I7T'TPjϗmu8ĦE֗w:(4;!d^W޼$c-UH Y(=ytfhҤƨvpiEHcKCte,it'5[bI é!n`H! 4u\kufRb}vna/Sqr'9 GTc"2qN>"Զ(b_u԰nCFeM+؂*^}dwdx($6qW_tUK`>l5[mSOGH N:uNjx %|(|T3˻^…B:r6xNk.)Ά7JȪajȄ׈ds 'Zեz*gF +;.wĝ PJhq9"ii(‰|_zR iW5$Bdf# ¦Wqt= I}Ѱ7 k/$SٟGӄ]Nhz[-J* bt|$djc n|n/Ydֱ7A i=TIFTwV? Lac)]5YO%;T'+)rG;D[T 2}D j?b: =Y2˒{G3һ:(&g2:tjdJ _+z~pL3 )öVZ[t( /A2rjL /}>aHgj+/pV]0 Cկ*Z_Tc<#`D /-'Rr`'){,Ku <QfczhxnH:am >rE(R/o_hZԺl%A[M4 =ilqFƐqXs-r!?԰Na3lʤ{SjpIzUw`aa9LYMZr+7d ;Afh?*]nfxմ5`gr}T%OK|uFٹ<$Nq DX= Y ߅UjAkҦ{0WHB-Èbr(nn2N6u0חHP> BIzQ^s eo,hBO͚w=~ۄ҅w1ځE0uK7:l8QfBN!iƄNkwbVAwg{Gy]"\slъA%:ԩ$CZ׺;bڠu^_lgw3U@h= aNe0,ȩqK P(H)e1>04 [fT?h kXmi,qǂA>I0!Q^>]7Wn RʵuPl׌~RA 2B/"0F1 őDB c?f$DŽdtȆ a_ jd[.|3}5ɖIxYLUqyEĎZo[m_^kXL+jKfi2ZA"j]d h"j9ƹKi7+1vD78ܔ dI6(xID>eCXU:k p'C~^KlX<^PEk[@b"SOom#EmU6&sڼ4cʰfˬ2)?H|KTTY{u ?(歷6Oawv7v0*lK=Ł@iv ua5 @/t>[6DۄLfLa|jmXWx7,',-U_;]cD9ܨ\b< /7hL+q g`pq M&&x*X)lh)J~Ik|GjEgf+V0Fh ։VUn־J)gh 0}E:d K pU3 d~&pa1(z|~7+@Sg9T s VdEi86ux>B0ĸ5``ppUS=^Qî##"o7+&`iqE>U#f_'LfPu[.UF{5:Ɏy|[9H !%{(v:7|;~CrGMxlH\C Z)0k^٨Dy 'O$Ɗ o9Jћ#w2)0OqzeI- T|:&]5f ݭ i+!VLz$ҪORs)NkaH1,RM[iW|)G.N]skd6W@}inWy\f 2ܢ'aq+-"~L,iGXf!s)0GN=gh(.$.n&ɯ>AD˙3IguYMk)e}6K'l ~(hnmqOe6@rRg&ȳV&A{IluK]29B\7 Mȼ'sq‘RK#jh G x䎙1߆nҢ?eǰ$˲V YttbETU0%ԋ<3̤LhemK!ls - ʭ* '|i]֤ uw4>4a&l iQ'F 14|*!e{cJaSTRzG*o v!P+Gtf  Enk5ߪCsdGLbM@uQrO$(R' Gop.1U;&n%HI.2zޒB4gCO<}<ÝdED'o ;wK;[j1ϗ!QcߒדZ+#|U!_k\,~RjhS.E K%IjD 'iL7pR8D.Z[{ͣ/^F8 ~WZ6O#}6?2"U~q.]jrǺ8ZU tBb p!?j:02 `xq@f|V/vձ5G*/%єKؗF^Uh::׬Tc][u6 Q /o_]?Q@EM©& K#z(CYOqǐ ?RdwCZȘG#ރ/f@:qvh}<m;\¿lzt^ќ4}kRhEܺaԢR7,=6{CϺ4rX !A9k}̙Z^z>)%3Y[-˶hͶ6/po_@ap ¬vn6ls̵\,}ٳnIy&~B ^<*G\mU0Rg6S": X XD6S裋lOsz ׄOU)J=Foƣ u}b|;{"ֈWM"&-VIU=`Ѱx.m[b427*nnҘP7@0"X bJ>-[fd~C=}ǹ  h8)K` 5xǑgF,+Z5Ԅ &M>b|vQueе7b[ .'6X"cjNH"g!,+qsBl2^Cb0CkK0XxHka:{T#5&ӹsz^Dr|#\@A 7w-_17*{ؚʰ՛ξ%=@AZ}%oM M^>OU/oE1y !xT9dE@(U?@"Xl[2 =KPBy瀯xeK6h3RHyNKҼzڅT9uYȄ=(L;/m~W#\*Q= ʝ%խғ9NQwLuKAn%X>(L%L\nV^ 1[\ȵ&?( I ey~wN`*e`_ye_FeE;u_:4 voY|A !s+1RoYnl,>]eˊ|&f}0Pុ2)y廗LN3qksCʐ 1S^)@U&%(#YvgUO@rl_ 򰭴POxԁ/hO5iʜ' .+-hm]9說/ 8㲣'^1cE%bNq 7`rܜS2n>bbG) LTaᐜ\pg&ᛟ2~W~[؄0[gqAuh!Im4Y1:꼨lu-X^=r1ƀ8"TЍwuA kbie{'0"T)Nr0z<j023$iK *&7ÃUs*KwZƒcƇ|ޟ+Rd!yO%|qpz@#]<8)E?s*0 Oyl} Ow@f]=D_f%x{ 6![Ph)|\L*rPqYlċ"EV"=Y|1yF$T ])sb*nXZkdKET 4~9*;'$/,wGAvV7akzdt MlI[Ȋb3Cֳǻ ?GW8`=߾fa(xWf"CIы'pJO݂pCeTfD P gC&`,*^V^PH6Uq׳` ] M6aZb4@k5Փ!\dEI(lO9NdCN` v68D~Z-`Q;={G=}QFSMae@յ;a yPMvR,Z5SY>.HK][)H'Lۧr"!uYsY x5\~4BD Wvԡu}^ԥl[_ɸmVHꇧ=) y|^@Uhl?ڏZ:0[7zoOK_EG?*@-̄XGJf]϶[ȋ/E||FKy`14=jWeӧ+7^ Roqc"\8ԗXP %-8Izx5 wo pڟq} X#ª5Q!7YTh2 t}^5J/$mVFmuQ=zZ_Ji?[7羝6610#L5n`B5wcıN{ 0f $u߃<80<ׇ-kXa(f`UP^9V$؎Q7EQd?t%I(ot|OFÎЪJ;& WO8qiǴ% 8TDZk @i^1F:ڷyHcƢbhUKiSŖ:=r 8$t0ǸmU.aC[Z..0$Ԏm/TKܐb\=mGpo^7lU֦L f+#N8OxNR-k@y [P(^8P^o ZgE_3$ƕg6(m($9>f5IAvߋ2B5Z_ 8F#tDUޒY/ DwZ 0ƄnɨRǞvH!>[xB!qbC[PC#Cf|ΐ9 :HlQ;u ' mL2C^KgPlg՟xYqt_RAyzCu>ӊeR4KCrjP5M (?f(6{ԚYQV}yx_:m^ A)Kx# ~{)NfJ =bRd{!^u;_3w7E-ȆƬ:7twiI]L7D뱁Xnwij_l fyҵMr`%c{FDzWmm͙kzW?\WFv+ PNASim>X!59vXZO5d]l.m8b&;CݜQtKfʙ%{\p5軲|!mxT|m9#Dq尥`5w~~&ۀ?qs w2'01Fvّ)Vfφ4htig;4cKW>>#Ā+TWlw3O:tDZ [PS 6]ȵ:)Z*P ]cxD6wA hDkˈ[dX+:w.eaܩ|uJ֭0}alt9-l[)y`?~ѦH\`)#җ:Rܢ+k3l8n%ԕ3 2R̸rER+-:y?JYm-WF- yRgvI C}4~G+Y)h=ĺR y.mjAx8}@E NЫVgvy\7Sȅ0|?(j_IHm sn,̸V|fQēzul&" "xn5+ I[ bȈe(_d F۾ P/gū ol+i0i ܇'=&-y #Rrp,naV(4]_۽^+vl--š.IE)q7LpPr S{S˃*{Zf]JRCEYL奏DU-1.s!cow~>vŋrTOI;s < rؗ`A)GGhf4xW bX ْͬK@ ۄB).ʲÓoh"-/" iNa4ەJȭO-¬3uhiE ΅i0 Ho 1P/9Glb.W [.njbh \'d& 43=aRv}'B=|!njVӚx.ꃰ!"α$x -~؀kI&nHs7{~,ci/G{XHv\9sh=lj}2=ב!@W5~Ap[;4Ss|#xڹl"! ؒU肪G9,>_gqt[z?YjCp´y@ qh Q+E_)"Xא*1jW 5/?`it"Wztr^/DZ?ԘNd.m'K^<=>Dxa]@jim ґ;]ڰ`-g@&3.8˦Z$˕~G\a8Ɋ5 ;%47MLV넏OI|Rf=+ފ&~gGz@;C#:go[z9TNo2RqSEkrx 61a6R OW: :{oZE5&L F~ )~ %xDyx3~3Qv r$ngʏ~l\t>q29p#eK.?+Ҥ]-ǟi̯L+n)\d-5q3qeZOrne냰Wiͬغa 8ʩ)׽kdXܸ\fB;9%n{x#qEZTy+JC } :Ju~YXkHVlh˶JyWʲYj8`}Q^DY`w+P,OڶVE >3!r'hgeqŃ2q½ SA9 Gt'KUZ),E\+ٓBVLCY~M̌vMs2=H:: XCJ|ϲ@Y9} 3u+Ϥrσxhb`UܱEtTCf3͍n]xxCy T} P$#A2KƎfxi|e%A> 8}Ws$gN(5x7D ,tjXX  gɠVty)JF=kرRYr du?[Gԓ: -T!(Wa"ڕߗؙDEg pi@0r߅tCT*5w6>>}^Rq97)>xÍh]#۸K#= lY5g3V+3r,Jly!3I2^e j|UVZ=ِ:KI:a/έ6瞝nCA&8?ҒyQL0ԖѸ;'tLcsb*i=$N]Y E>8󶹙fؖ Y@ ϐFJd)VU戥!؂IE~(Vx veU!WWCwOsmKOjYҟ/Y׶-TfYlP&;|Yt٧-n %+q\- 9 I HurwxΥ[#eNCU:XDAvgW; U> 4?uoE`$V6sᪿ2?MEc|F+ #>ua)@i +89:. t g*CEGI^Wۡ̍ x=\ohha9sFn; *w'qA1ѣKQ UEf+N'.PUl1q4~1ʄV,lXQ<^tʚٺP^5`@#QEp4ܿjriW!J7{j:1&,S3KfcXC=V*icUV@}vY[o?)0S?ȟ>GN<7msӓ[j,N~QLsך{ε{B:$sljboJ;_Ljt)uw "G_ `>֕N:xf"~*s]})sšPD Gӱq:V"a#7Aehs' bPx )iI>zE(8~ﺻ/226w*OCbL^T)`ob^)CՃrySA [+ i!+3$$ifLRT9Z.*`>ݪ͡d= "kMϪzhC)Q\j>M+kO3Pn౼5A\[* wB\`0s!7os[9\d`1#TإulG/OGEmL^d-~SSη!,6|<63`pVʸA39?0>`0qVʚr]]Up#Ec\VOUjQ'gA'-W IǿJ.k186E⹄聝(v F<*L!wF,n|hfqp!JQ8 EҮxZ,pFuMS/N~6ΨZJrMsG8Trqz{SQpl'T߀ȧbXqn:@{6>,;O>&f "O.SN꓌ 'KP(vֺ*yt펭ˀO?--rM-6Eg1JIN?xᤥW]--v(DNjf詡LM K:2PsuAl>l,kcL p[A= z趷we伙B4BسHG:z?a ~2(z :%e,!I]<tEqkGo,$x|~(Y>KE͉$!R9fniAٶKN<]|nV [cZW=>+e} RI{.a> (NVoI x @&k,STx`r OXAFs2X}i[va5{ŕ+`S!-=eE%*PR#z tsJEGTcRUOM5{w"Ӹk>-;_zb`(4A@.eK!*B馑yE_w! Kx5oˌ?o=P.cM)!y)\d:NbI8^pć_UMX QMk?@ 5(FBcZ@  \#&à ڱ]aR=fq4oEeEX'tPqoev'\Ev"!@ 'De3 r6 ]:uy~na{V14fXUݵ%Z X@-(XBʤU T< M՝%uIε9݂Nǔ mfHFJipUYCpH!nјgq3.:w0X6ja2OqU(/%֭MNM[WSal~[%˖=˕3Lm xf@!f9CGóizCoj ݰ,yeXyL2nuw#A]e~ M߹ER3RfTdF, v>azpPeOk%B&;iU+/`M[˓zuiy}}m[%:" -l\u&:, Gcn\@7%S%}I ]@Qi qY+C_U[{bM/Z}yVQd&pAI7cnն9&&c7Zr_WI7t@`0R5mTԠ2O5d#-}}m cއ_$"ftig=.u%SudRMs8d0MԯN p0x1{r\\۸ub\#Cr^T.`/Q-V߱ +-]uďL$A܄x*ħɰe-6r#x?R1\"0#gi.ciPL&YdKK:eTÿ ;{ް̊Pv^8IHRgn/7+}庫nl DLх})nfpcQa֗j[kI(RdLZg6yHg햖adJ7r2ҏ"8꾋G])󷞙[PiRӤ>뺉r4TIbH=$9>Wg_DBņ8^)0ˋqU\ MSui_?j*wN-]ud1$6ckWX\}6DyꗠpLxrl`2[l05>(`u LB޷=x3 {3 H47 Gtow ??'r@4iS,N+WSjUKT!wr} [ɳ9\v5O呎~F/LﯵĈRԧڋ TԂ0 %%E'nfvRQ4Ir'AX߰IphgH\E난94*ju9eFPa *Bnk%6| M UzəN6x?^35w .k %M-Nr@(E]PfB s:O?ktՏ= SX3T+LMT~)\5&Bg+=+-K2>J F5/}4llŔb/o /epSm:\ 󥅕 6'Yn_s!̅p0^.vN0.[,˄9w6cIcϑm)l6<޳MSdw;TA9/ 2)JϒƢ$BԥQjꮵpCi`J*cWg*Kz>6kw.T/F߱T}/!O@8TF% 9{rh[d.5p?Ed*N&' o4IljVSԫ{tbf3ʠb!?/hYJTT@Ȝ8Tpȁc5Cm׋4pPE<":p Ps@GCqգP _(םb/GLk 7t/*p)Ht{W_[ȘJ }]UŏR+B)P" }NHI"W߈6N :M^ΒsJ3|+[ѩIՉ6ybG2d wS }lGs-x|6W3NjRUpN+XmÖ2,b)HTqzT~d9INDClWF[-gaw,B#}8mVwp\iUu筠/_+<3Mp)ʸ9Syd$ymL1hBʜP&Qrmӕ©Ҝ}uAp:2>6BFz=x)ߵ>n)bmdGMo¤w%@ϔHmGtkA@{F# =d-ѰvneÁtzYO*7]1+e))X^{$f620uh)81^y( sTcE.©}jS>uewFWc{/?l` &}2k ]#qQrOf}؅9'e޻JPBByx3b>bT'yfXW:aHMr?VȖ>$ B9'je|oh*@q.?{ $~ZxØB` +nfr{ƳVv!^mX^*~˸亼@U8uZ \aKDnn4yɶ;\Wlo g$rc镑ܘAB+ʡM1UAiTj_N^S !RBFݱU@⵾ 3jp*{(OlN<! y ]m&(ܕ5摊A~f!15XЪoWG*[얒x yf$[B9SFoI.C{Ť#: QyIUTOz{VpTW,V7OH\Կ)*% 2.&r{6PI鐆$9h?9%J 2GϢ'o?XVK26dO׿ LP*Ey+(|NO}>$Q/=, 7n<Xn1T6f)>)?ChB}0F|pp?2 )z}dJX=q*$ Sv㴲KHAL.=daЊnd!p\*bОkdMJ&{ m P9ODmG:Jԫo&HCߙ7hݵ NA F@rr4aWCoCu83"o+JRT8$xY&V+`@=gC8*4W-o{W2܅K9Sq EpO]٤hg˛kyЕ,xgup9SXVPT DYVeӘSZ@ƞ;=#] vnQt_v!zSdE K;t&d|T= hi2cgaa(L'Q\^(BNKc 1Mvx$!{,EBO^djHK<&QN0-ΥR :nO}>Ÿ$޸EGK/_=$6 m|(p3IYh_Q+UܠoL= @!^f3`n 0C0Mvz.OGW;?av CFg4ٵg0[F4qրO_{sAx<$waSk%8 99ԗc-0!vYA(63eG=0E.m?:^(KiN^#kHj =ͦ G\x;:Φ'{-¦\Zs,* 8bL%5+ $ MW"9ڑgaf{@}C0$A(O5^U8?6>ϴ GL =5ؠt{Y28d#JS氪|Vl9:,ͫeBgWqw)T <&÷1 GVzjSɎ3n\ m%f0PO%ޢ_Q h"O9Δ3._Ǜ["48Zq +TP{*@R<P M{'ԗXAXSf!hEg 'f& v%?ÎwMˌ0퍎+@*dԧm oݾ$LTפMG٘6Y`MLQS0|»o(+,dm@e3A!6%}աka^ȍKkT f@}?ZiW^ʹc.p]O_̗X9}nZ2IlU'b6,/Rƌ5q³R~7἟hN‰1#O(>c@9ӴNP5!D,rl~K9թd'cs.O(\Vi^LDיQA1$NavsJ؀ȡRD;K_n^ 2@PFz5 ڀ8[Bfa#?:ϾLp o$dC*{pmm[K obcӞX-rX4o@ )MDphHʱ :'n(᧾2]Kh<5\-?8;j(SbLn Kgڈ2+X=*6D mMzP7`(!4FĨd^_Ա*5.Ha]JXBSvVt+LҨ69hl\`V&AO֫fIS+>k$Mk]\ԋ V كj:$m/Ed,*ozc_]Ha;yG`0{X-TJ{|4nvSlyfXZpnkI:>`wH%;~ݗт<0-l;/A\$bJ6L^Ms†`r}QT  ĭP// YHK-dN BY#0fh ]}ϭG`p ʢoP?:$Wȴq2 3n!%bmjc^1,t\p8#u>Q):[7EcWTj:e_;Hrc"Y{ (EuY\d]UOdNtPM.yYxfXoPƂأb?UydE׼0;a߿ 67LNu$I*߰jh9kIF R6w%dx3y2<=:ȇG'l ËvhrE?i~Euv5qh5dӂ|Ykϙ J$Ux\I_P0ɞ C=݆$ݴ’QrsQU]!^̰|M'@GI<GW"T+%¤V5Ex5xfK*Nd ?c \UiW23yVafK^-Ƞ#q- &`;vN36^nV*/E'5\T K(#(t+7{_?:}c Bz7eRWOש!_ Rߌ(ܩ&.?qG lYp>F)̪I@uh]Jlپ)[`=zUڙZ4ؠAB=ks{T&D57]s*dᔫvE~0j'GJ /S,tǚkB^H>bt|hk3OFSLR3ƿ Hs-n:2X(7[jů"3n<m5uI[k=mG9[UGWQ52vItW.1i-%]7jc۸IRLmO2$igxζsui 8KSsc/Aˀ~(#|͝{՚^,T8:L06ЫMu_`^Ry/W~lc)`JO˞8ጞ+FƃI;M@=uhgbyH m- ><_$t,эm~TI*.]>W݌K:)5"u:da r,;QhJRC[Ԓ֊' S~9:L_|>c]||sd®Nw?MncRQmg"u8$;/UG|jiL&х]vm$?8W? YVq*A}zbM ZS9*8hlCٿj9^<93-sᴑ׷8y4ܐV:o8jUGD FE(lTy )*%$|O)g H^>i?IJ  7%q! >Tzxm)dt-5[mXX1vZ+e{ue84fBIr0Vg~g vl%ܱgYZ7zXZִF! $]ŗXiɟ1$Cܨ }X 6^vWn p^k8hrɎ݅c/8-cli$V+Ln3 ?[,ij4Q$Ƃњ/UUsA[_ (0JbWxb %['_.ǩ/Ϳ?XeCLMɀ!T) 5>M~uə2צ@~Ƞp<EtW%X'-3\Pu0띁;&SX,P]x\W*Ԕn𗺾9p!9_\8YlaC|QW癿{+d>nh{wB^z»L0>s-n޵jERd+{yե3S54χԑ>P'qc\3~*}g ϥxBP`pk/bՀe;&_IsIgC!%n Way*.Xgܒvzf*ӈt Y=3iT7 )ͼ9AL[&><@a~"~%6}j8BpMD$IssA3 1x=?E6m{siFĺ i)j%KxDr{t'c5/4 ׺Td3Sˊsص?¸d둘)5V ii e?V[`8R3RBYm0FcYVsomv> jPqʂ)@Љ Fl) |MHe!:;cތƕbx`_WGARFkN@xx"ba -*ZB2UX"Kmha%`~9̝&=jb%:{Q/McY%y1f#e ja I\U ɀJ ٢jTf9 } P aCL13HvkuTԔGۄf(WR!@fw͝+OdC7[MNUt!d-J/ǗU,ܒQ#֝swv bAU] y`/`}_2SMt 0(1f S0*%ȕC$Nj&zjFz\3ca7?9C mW_R݋4Ţz.V ]36b{3}?YG{:F1*( Uź^q_#Loh'˼> <(hP(ۃw7$]BH5O؆T )*R>Jqob,MՈf:/VzM-t\^|Z1=PמRj|2mx^vAU(# 8 u˗ :!ɼfKuL󸻗:2[qov?XFRy%QUfI@ɝ"GwG_H$}~y!{=á5"]P<$2 !Pr; Ȋaذ^9Zh+!:B lbC`T24܂AZ@Yc~, Mi %cp$ Hؤ5qDk_$!k ֑?IbSkdX06B}/Snene:W]e&ߡ&nLH1,@H10e.wlϩD\辧E7~~zr3,Aq$SG,'nKUzwXW& I j@=\,_CA!e9N&UL_$V$'s7gYZ6453a9c075d97f4930938f408e1a5925e0e515749aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b