SQLite format 3@  . BBh77otableisabelle_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 B%T\L ]S]HOL-Analysis:threads=6elapsed=274.699cpu=1189.528gc=74.104factor=4.337zXZִF! %>]ŗXf1-q恈a.W[xQ$j %sp"3`Jb׫ޣUcWA9p4SnN{!q^T7]`8p]H*U?Uފ]ovɲy3HϹT|imqHgm:{RM$ mFhܿdlηjÝۋ+8 'p[3b Q{@]^;ծz#ɲ"ԁynqVf)e|m}^A5|_iݖ}BJ}Û) R[wV'`z;KG*"-":2W`BX x\o goz5>N ԩ388.hnw3jk28UF.Uf`̽m:p;VYV|n,d<\YҋyQNS)4FlF|VTɺ\?R~x]$(ͫt$3>2=^&wn~cs 43W.G+W;x[7UfEVxۍ6IȪ|03cc+jŖ(ޢn;;icv@V4oim;fmb% &Ce{ &B.Mj'AyN+N"(zwwPC2zCkdn6QF0+K4=Yfg;FpigL{mIݵZ1#($=w?R t25˟6snoV}Z ng31\ڗ:E^V!#:Tx|9j11U/Tuo!is|i= ̴cv+D v̶ۙ>2L9ͽƤ]Tǡxq,G%O{G`yvUe6K"\xAs LJvYIuڊ"wx]r<||$i.VWC?uWj(Д.ˍ`"&D-"2jSPM8Jʺpo6忰Q*&󞟘Ǧ&s#:JVfY%$ͽJCB RV]Jy) b}ztU{z8r:D>XHЉWݵH;V8ׅw1- ֳQCjFNv8p|j7]%@@#,MLXf8܏NPp@ZbBW6}ZW]=]I7O=!pR!{2m n04fpV%~-I[`G L cM^!} /9߫ 1l:%F/nNZ-+xȴ]S|aR&QZڼ uAȾ5dJw 8r,:+څ|\H󅯉3Ŭxn?qdZkf?fpE5iigaۑ'{n`ћ8$Ӭ z\$9*kX eUJMFdd"DrVC|!g_uB'zCXiOuY|/ / ,:\P~X(T?nU>Yk=VpD[O~;MueqNMyJEߋ$њ &ayP3pc,tf % HOL-Analysis-8V>h, LX20nB 1c3#=ImnC#￶ж0q 薳*\nPXŸ+1Ҟ]Ϸ3i45!KC&"*3#-8tl]B>ճ}hۂQ2Xfah va{AA>˔'&Gh\~5Foȶg2+![ec?I,PiF\R骟[zX=z,T䄆=cdW)o2}wnJy6-8 ag3&8y/QHWPJYJhd@~c{b)uZH;['W1{ -ݘ#bdr\%ddO7bA1~N^U \sCV|hEaz@rBŊ6nG 09\n;&mT}8@JQ7uf R_ҔcU~قjc[UI8GWg\A:Pv73]Aj~ ݈ݨu#F~àmX"Y[~AЛD@:s4-nPm%S_"4W*[iG!h!\9-!;eMM-SMZكFX *譆 (44xv&-Q+1ɨLcFl|' ʪn]\z>\CUn(e]ƾ5dL FQ1N*g** Z+ yAf9glP#wyuŰdCZ ?[2)ʛIIX{GF:A)hx/۱ wDvt]ۇt=(8n O qdh_*']-n塏*4{=$Iv zb~2+zh]urn7VZjw7%ne{Mf8[5̃ j{\QQ+fgyC9 tmދ25pn~ (e '.M[M>E?T<qz׮zmL`ǟ[CJ0 `5r1_ϠXӯS %MV{hVoEKs7oSQ0BLo4ܯz{o(bW1K jȓ_?8EIѸ7*fMP#=xem^aGۦ4)E ش;Ձ̒UʗR&~MW3*F)]sm0UTmsazip ~5jBd5 eF4R[4X?1xPIȅymz&|z[x;z^WcL"d u-[(z\LE[|p\26;q U22Ti;kd8j>W|-Zϱ:gǨtT%21U.v VJ+X}FcXUA0"[ j(әb}qSI%{Pk+ ,ԱݴSq~3k.{d;e:**fv]U Q$ ͜VO 0_u[S4mAwdԺ>$5Cn X+%FMvhx:5O1o!lW ?(_~!c(A hW ot6֦;!ԶJYpT+fN/S\u&_tWmY75 f&j\^%;_SE¦]/Oxx s(@HsCcP?qZW*ⶓ%(G뛲1 J别[Ip$vE}ʘk0ORmjt>ڞPW59w_xɂo9fh >i!~h00'1L+-fӒ|B" CB荳2;=]IRh1>'эRS TTb#KiK>jjMa6}Ns+~\N%f"Iռ831{;z]I#c%|*CɅ K;dB%T3wEESoѰ9;  L 7.}6^(T-)%餶T vjIR#)H6|!c#cqTȠ8Dž\2EObkxH(Ooi CQҾv?͡*?^jqtdGqPtATڰ͍m. E;P#Cq({ U.Rd\7 UMpPOcR#EY"Yu w6[w0-8A ?B^ UWɠŨkjmwUo~[)hh+ J&s*մ{9i"KB> od-}y bvm0AǸ#Z% I7ӛLrc2qTQToBGrݗhȓeZor2.-;GNL+(t҇qNA tH-JШzOʦ''jw|E Zmg~ح&l\0d,+wCpUX q0Ie pqs$[ه6E5-*KBدa%!=fYVҧY6JaRγy|/y Uh"ng̡!w1h_ŨxTtKD2Ӱ 0akHHP(x؝0{ tf/kTC~8!5 hl#@'t=O@܆!憸Ƃ| Χ6q,3xUj7w+ey$F|L<ˢL>?/T5f_FmNQRUjvbPqU|PJFT>$ӷ^_DJPS5# E`,qMБ\feJMY i{LD7 Q0:e_sy߆}ړڄ̟ kF jN+Q\s:7lp{_H b-FԛeO0GkORO5\?$y5bHkT8 2TǓCY̵F/&sJpPd49Uclfh D*1Tv5:|ySp.3YK5Org$aI8^'90g&qM%[-ywi{ܞg=c4]לC^0}.,Fefޥ\)ħش)^ $TN'~=؄./Kgq68 5$kGe6i{AIt˯ e4O}зb^t<ԛxf[B&Eg ; VY0'J22C9kK +N?C2;ڹřvnq_A|,>. l_y;m'!J-ARH{JTpd ]t&55g?k 9$ݯ6YEU|T6nYGZY_-xdo8E={k@W3 ++C`KzqQK/ߘuTܿqä{p=~- '4vb t7D2qC[`;QiO`YQ2-c(J9ZC[2^JsVPP[PPEpUO݆ip .+*_6;}l__U ~M|%xY\HNsxzB+╵t"߻QY[7#ڟ]]ۼ?nzKy]RXpGlZn^ioK"*(ݻ~o虞m.SAів[):hD3i:e":EUDZ%Hȧ%wj!}Vɾ:KjT]s}6cUL֔zຂî 376<A$h9mJkdgo׮qu`ZQ%Ҫo3jCK[u^ r =^sM*ϰ4֛㡔׿J(2k & (d5h][3iM6;uig;t~ۆc:bl!Q~%K|(o_۝NztJ&hmOEa~tDfT=$"?nP, Xff˜4”Zz1%,!-bgka7?e}GXSw?d\$N 3X./D:ua!+1̠`b*:yX^U!olEoE\KJ#aʤ2 Xb<}Twq[CCP:]JQ]XNq@gtEv\ gڟ"ܘsv3tj{&ݸ2o{-smQvh`j)D¿PHŠ}~?ю-8u,&‰DuҒ5ex]0gM;GQ%@^2(8aG9'6J~FRLE|{+| |$3oBၾAϏc *tCy:bYi6$~[d3a`r~4;^XO[ hL aA-E럲pXFmXO9{ŇjM-4V%vh^*0$]g8)kMG9nAJJkڸ ۾Y)rԤ5XT {i"YTK͘]4$VL1Z2ǟ;u@BX4#qYmvWb h&0\br>.:c!  D>șzFրށ;GOEToE];!R `iNM9 b zc&!x= J9&glh.Bx[DߔLj*B9N`%:鷯w}"dh6;˘_:}ZpFM,lh!}9NZLJA36З:@- x.G@ڇϖ*mỲXbj\ ?c]5ʞ0 FB49' Y|~;I<YcH\t|xc*SXL ,ی7{ï'ӳԷO\ݡTG}lՆq(ɓ/kU?V}gsBPft:l CqW׈Gvc\cL=SNg=~>hs7t j(=e΋F+R3byB~ql ԁVl2ma|،T mUZ+ѢoXf"yZO^[O;`&uI/d2073{ t+ Jw$1 r1TX׹[\$ ة(#Wj_n-X"n>P4x穢?5![hdQWD8) ȲHB07U&|wQy^qș[x8`}W-^;u 6훆Q3 5ŚP" s/=ʺtFe}`l |eEtEd :`ǃf/_>1SfO&sK dE(ER!rY:x$y(-dޑ7w7 sٜ< jX7V6Ž^aIN$bz0b"CO(!bZ Qp>dx=fj.BPhV%ИX9s߾vISvT \d tm.n /g%Uon585%^QA) hsړ5h=u%s$<;gt#d'GlԏŁhr-%tWU˲+/MW/.[exz`C41sH jI{ y;JwOȗ|+WW>%mo>PcpHGcњ28NhIZMT"#~H f Ӭeyس@P]&MRH*]󆽶nbNfϘPOJ;R#ZykΞ!#AkmU=f)o sjqǁ$5X{d@G9+ܵBNVlH|a`:;| ,v>}bߒexW-Gs(C& s);2)_~^AN+NReGrH65m'x$ .n*3@-OBVkr&GknU) ?uJM'v<1cboSr2R%Zp]iQ)}V $?4vwnB x#|;w [5f\) Bk @Hz7|" ĹGQ!k8ca\,,IEe[M! ./(1;m(M2SQ0O!+O€|!<Ҷ{ -bOL*Yt_mY}S ]v*@aq>O̅zt~¢'fò^HLBAceɺ52zJfbi+& @4 i_9ų{QmՇ 's˩ۅ/0n}W-:S(H纴6ڎq1e$D(9d%,9KeSaofte7YH9U#{čgN弳~Q< H(P߭r7`Qw j[:yFInn"HyJ I1d-8NJ; 2K\@9|z]@8$a3]`^Dc-Htmb NV -2 ƺ7&2,]Vka :XWu Jⱻp>Y2869:y5^F6' ?.]\71dzyztm/29~i ׇPƊb,.9\WY#3\q,ǽ߁Eˮ|Ζɤ~Tɲ]9:XmLʛ= HTYEq!ar筣D3)C8xFkGYRj`{Sg?+}tzua?W\9X.2qD*mب0졔_EB,u +B^=Iou;toMǶ젤T-QoOؼh6&ѻ$pZwMmxf~ di#rYc/ߣ=#;]G[xnk4xa~G-nOLʃnCa5XKpPIg Sa|S^'9|Գ<[qLf_֏qn9ߗu(q^=C% NMf\?io #*Q7ۛ, Δv\t{Ռ7Zax!.N@dHx 2$R\E$h+%; >(0k?72lc ɽh׃|䦷hy:S*82{)c Z`/T0B9M%XMr&8*oB _S^l#|eQhl ɼwQaӃƆ'LosWe&1gc_{d'Խ.PWG<6ep.hB3*DSVWև=Uǘ#1kSTq pd4!xys#d>"!] |/S(s=AɭMfu x :hV]:aNHX7f1/>@4ʦ6I,,a({ ' N_?ޚ"憓 KbkF@egcf-ϏI` D{<k 3i1B~rpAJ:%ʼnP 7Z*Fd Q77A1 m=J# u%ʁ(EmR{v"aВ=UXjHn1J;~N 2\'/uEPYQNOk-/xԁlgNUƥsNȦm>DCݢkyaJw E} %S#GȚ]r??M!RUc—0VK<GS%b@\% +J+ \ !KHٻO"S]ߘ]Gh܈Jҵ:?8Z5P Μ!퐓a)A;D}B=ht\rvM@Kvm[AӶD?"ʃaOeՂ!d9.kSaDCgړ0j篧cx )4@v"G$TQMh{Vq9OsKwMBeՐ fQleㅣF7f}mojRBvt~-8`IipY1YEM){Y4MH,K8TmTȉE\ @|apEqVF 5NvLsureX:hEFGa/h@w a@"77`Foq-ox^`5V" E,_&^fe f%E\#1#z!ͬ~:g5=:mf뼏UdmFy=i:$ǃzr ,@k1PYpǘxj#EPc`C Tf5Pf8^F!ΨP_0KpR5-N|j+k{ -YȀ-%#ׇP(6HeS띍+X ԍ]VNM!Fj2Е* +'R^#~D@KK1_o񟚮w|#tp;]o<|޻= oo8xb7715K$ T*ը9RP m :?m ?$4&DJ*dlM?@ܺr:g"5@S+Ė_/y:lF%Būxy?~Y?o)D}q! ɜ,kL3ۄ|`pt'Z7[/ڭ8Z>IՁG20'a 8Ⴀxaw|CwyX)oJxb~_e+` FLf+5MG]H Jn]my'J=!\H,N@s6a~A\h>q_U s24'f/Vkd $GS _0hg>R{sq^r1ʽP? fVGaQ(+]"e(aF! j9,5pw@U'05^P/x@f_~R~kw"il%2d89[T).dfg2(`u,9\Vod`MԜ׍`D L`m׽)|@`^OsF?J68-ϓ(TqV`se"%9xhsnvƲd=#gbϲWx[f(SsH@dJ^ kS}MZ*b̔=eR|M0ߖNcxai)ÓI6$^x?c9Ql{`{+ﳮG ́&3 7}j^z=hZfToy {Am'db5ɔ} H$gYZ7zXZִF! ]ŗXiɟ1 xupl[XrJ>P9qt]9GNGn;+F:dw.\LƖ6&ƂI@˷,bf,a;E(KX̊V C_kŲ@3{;@^q9S^3Sr  W {[:ۿO*[!+n;[(-sQu?a~>@2_pp43G8 cW2`{Jܐa7<4Db?^TNh>JVPgG-eAW b]{bf3`UwBYZnGɱ.#ڛy}H0c,k K%Xy)uCYm!=Kfk㪑9QĺPfo{"/{ۂD9-Hil;j/'T"sN eC눎 Y@.~;Ƹ6uA7V"WЉ"-YfW>uj͝n^1{.4p.%~ 5<6J#94wVER3iTW_(u% AENo{x\If6M(52Z,GFhБ! ZgByYy?է~ھ(xRmx b/RMkpZ|2yb ky]ɤD-M&,007ώcp88+u !uZ~C>&J^rN5B^^ [4#Ȣa* {@'ݕ=uUFJt@| 2V (F=epRt,]ա 4d|0@v4x!B`p9J8kz= EX޽RWyzC,%"!D ?cԉ qVXk$,Wƪ \=\;s0I0|b+LBm/AMrKx#ðzQnAeٜIK SzN:$JE-O ۙP[c%[3%,Q`HF*=`~E]į\u@˹Ю FGL {MڭP/ ]Zڎ ɝPf,a '"O69}3TR0^P*P_$4/9a4O'VA/UY SXdBnLȐBXَ?*Q|0FV58; ڟ9~D?&u9v/"yXfͱtgbgpj[b۝˔^5A `Ϭ\2~F)"^cv"߶.2Tajtꎍwnػ7^fw#+8mQs]֪Y&OU]e>B`q/5~(CpI&~1,.߈mQO 코0g9zBtStl#}/,`mqOT F7A8'A*~&DhU~W͎+.NƲY巗c稐R)PIeol/'AAҬ3܃~)C 3j򫃦S_Z2f7j1fA*[H[ W/Эߥ' ^P\!+>9Rb %(VܯE@p`#T&iӶO;25^{'gP_g {%~eQ_M.[x`M&M>pٍT xhɸ9w$jmQcʕA#tAT`5'IPk}Cs(~]a/\䞻E[F 5"ȓl6u'$ϔsUVlO|$&7\2&Vy4hvͤ[Szw)3dNjNk6P4j:ˢvs?,x*`֑K`0ޒC0>cнd=ns"YNE6Vˇ "HǤ a1 R<Ha,YXC`pE56Rfl]}q~ kKe:)uMݷ{2Ls/~ ,iWAxEFzô[JiF0w}0YIhtB.upS EC#6 @l'1\7g DL.'>.+}(l_$-@:*ċ;eyy/C mI+NJQVZ&Q] \$~>Lb&Wc,ˉ-L HhVɟAi#{&ˎğ4 `;PrMf}U<_ -(̟ALr -t: 1x>wتK C'F3xJj Rb>< TM!5L+(IрR+*Qd&J"^Qޯ\Ќt4w}EXbϞD dK(`:g)Zg܄LkM~{PAImv 8, =.rG,̀p;\hi:hP04&" ſu,f03W?ֽ#S:h *Fd)^wv(SWӸQX!GLkE󣺸كm۳uOZ oye>.>_#|NVg5\峿uw>Ls3!GJ /G2Қ۶CS ԍJĽ281ԝ(GS )_:;>WDkY[rxQȌߑhEz]nqrD (E{B)DLhuy\iԂyRj>rQ+`N YhR[23 &+ۚ׶?vS+rͶ/(ThfH|9G*&Ȟ<8Y V0ؕ5<1T_Rvٻ= .B}OKT:#48{ /ZSU ؎ RoNH,e.o+[ePuP!o=PJ~ztGq廧h#=}%FO]i"~~ǩ*wgrM]m<bo2XQzb$ ER3UZpY?U;F ce8>(hsͷ] (ShrJe=ʯ˩#>ɽ.$~%Ko*-e q/K|8ez|P nd\Э^?6 U ag{\~ !@?IVVUl +f!VuQF22y;XCT&à*Ks@#j|)0|C֣.15Qߌ)/$uDvu y $V|N΄@((hY?Nُ6Qngw=.̗oy̮ x^ƿwt8Dw7LM-.88 )VǂY̅ #}DrJ2yG% !خO<$w#4|~**,V,SJP;|}) 4H6guK%3o2w"A8^(+ŖT%Q0u2ѝoRl %f wfHp~k >#-,]3|1-c%(4>.iڹ m[j̀~-w#1Gȇ xƥBC/pPK~ h!]H:3 NR;BIײˊnl0`  p}I~/Y5/t,GϒNl3 ``g)_v~d@iw{ ݖ Rjy.C|$Gh1PR^A;ZЛKGV%-b-ڭRo$%\0W_"=Y"522^z. =-=ʵ0+p KALzEJ@|Ak<:s,>Jpt=BܷF 6.sm߭eP8G[^żhHkPndxQ[ %O"?tdh9A ydlL(O.9mBɔR(;## ] >]Yyt7TVPH%١1X}$SȊȲncoF]OR _3f#,g΄X=0-.}@p:`*GF5S11d[=9(Uڬuw~2Ijӕ0IΏF+(~"`i`Xe)Z}2$ s*-B=cG(*.} #%(}>V\B2?7Ti+.|F`o"zZJE ܟ9+tf̙$5$צϻW9O$_#Dht,`\oXDom7晎׀d_|bIb] AAi龾[VRH}ȡ͉~۠.΅єhCp%}!H~%cYzp쐑m ub[)٪z&™/!ʚ Kֹ@/d2_s'xOQ$//]qXeit?zwcPR?h_̈<a__05 ikcDl0E:Y72>Eee56š7?<$S!ݖ_`&YVK;=MƭX\ved AV-z6*L ݎMPS(DDĆ ظsz @822YJ[7hͨ[QoT|W-<\Bi7R8Vf+gY?:R&?|wnhCck8%)r:G/)9ָfEfXtriy o6K=!$wy/Ns S;ȍ3xI&lZҭw8SnDABBLջ7X8#eZ{T@ss֏ݛč@A mBWT\>V@X7@B5!dGv s)7i9i,1!痒:WK@j㔕 )<1FtAceR6HJU#mRoVB 8B(qҡ#وu˴e a TASS.T\_wx'h\hY""!0ci+N)o7hI8* i%n{KgJD\9XtRwH3VeA}|}ֶ͋5@3#.5N{Y/z&/嫉13Y^ i"A&W0^Owg / 4M & vmND$q *B"[kz[ګdoDxPt=f N6{UB20HZ0-յ4?;þa Fv,_5o}Dx+u̚'j 8À{Q' /  }p$ӹm Z@KStLxF_LDֶ_GFPDkAz<>Xϻ-* Je$ ">-8 HoC<Z1ғ̓$N\qNE#_%1.C(b8`dkozc:~ȟcBL,c?Ew;OnCgm3Jլ%\4Smi)+Xd7\ 6W3cePBCքLn0%V5OS+~J?3qFuRn0O9wSmˑ@AR 1Y=zKU`&j]r%|r@iVgi Qҍ 3CGc1~1՘%OR,xX27ge6g[%#%e^d5f,ڡQ Oz0{dM}gnDzZR1e36kb%Ĩ5LRG"`$"@9A7=h-*WEآskXD?RJ!k0dK/FI6ӳb2ylt{s?KɌ!,IzCU܈n㤸 VgwXk[irG܌#cXڷ 0J kG5mYC.~V})#xC/@)ϣ!rq 4s lhc;zWUg⬯@<ֿ[bDw(6:TDݪQlnHuONY;z){HQnNʚZ!py-141;K^;:憁wxY'`Ε?kA\1-ow_w(moX"P x$\Y.5nkn[X$?K~đ>֞mvDa4NO"pb3g(>=W=!!Ů"w p.MWNXK !% 2z/YJ QȖ|6[%+:Z=풬&vhbmφp#WN`sG4N+tPqj paz@h'ea)<~!qC5?Gczvpmn"zZ +6qVB4T6 TaC`jۘ\?}[*ַ~D(}m)oTg)U˞KC,-}릒eYʐ%);>C9曐 3R+#$@.R7*bh2ăx: ^涵Jue8L¡wa^ǣ/x4+3a$_QZ؅Sg6 w wo{Q3wE&g:s7kZqCn_l yS A''FYҾܶJ꣱_ o[ϖVμ: 0jlb/`yPtv\L'Sn:"TEӽ)ͫV[2ll6y*&\ T{ cuyƴ3,1(3kwfJ{3eْ?P6rk`1QT-WP [rg/uҪ//#n˗s=-[5?O֕YFz.Joi#rYoVadE>[`SdE>oB%Y>/6ͧ ; (Ùk6ѯnx#6Gv冸l#E…kf=gk+ܱ?C~ENΒoXo㨐R*lz|h F$us4smh9ᇢZq~K"cь=ی2I|!\irB[r+{O]OXZX2Q 嶃F.%0#H:G-b}kyXwiM7uoq#i#$rhz7-)AInA9o84.ظ)z]Undb1bL77`ZN b`s7Kt}Qp 9 dxz}a$ļIǙʩ__vaJ?Rd$74W(r)Ll1RqЦGG[OtD,rMK#s4aJ(+ փ3Hϡ_<չS$pX}X Ch\""Lw/'ѼpYo>*̳|Gքe&)3t'86H >M9?+P=Pz5O]fPh*7Ns?A ;G=b a7j4'((Zgw ~8]L/#Ļ ('oFzh[KFV4!xXM  jY w "j$!;/X{DC"Q&wV`T9fR۳Kҙ2^^t](+ w߆ S_Ji\;WO 0f0 SHB xEY7n TT(CYF'$IÃCl"CE]aoApH]U/7嬄ElDlXf%/x}{b#R TYTcY3c.=;? ׶Z\h뉗pjDjH }&F$֔L3퉔1NGϪZQ3|5=eH mv饪k#9A'-Jhsf1Qn f{~9ƿ_U~L?s<4D4H $vԜ34J<š9& <(X?1T-qY*VɟO ׆4{?82qdXl4t]Ecj6ȍppxG JVھvy&U[A}Hߤ,ꯎ;_G@G^*KJRH C g7&udu$pt δH,uayZ6bfQ6xN.)mLdi/pș;Ԉ0%iˆR*ju\"q S߭k椟\^ yF‰O{\5bJU,sV~oa5 _U=M脬^u謆 u sy2l Lj-քėvd|wCCEyK܆|M| %qjP4`S.ݝgg<ڴK~tBiDf"d ,o#{$j9}q玍~p2E3'n<>z+=m r5's~"B(qtGZ%$D]K(wC 4<X'{ 7+02nW .wjR+H$; T#4%M)*ALrX~TH ֈ<*,׆NJ0D_%LS1Er>sJ*x՘S*97`گb Tce&\ D{^oC4Xق{呛N=x8؁!GsW *AM0nRmfUϭ[wA=ե-# @lAۘf،:+E]1yMEO֕s쑛T&VdP¢)Nܗ.Y<5\Rَ߯AfM!P[WQFFgpóbW$٭!:`Szk|{{|~ǠFqIG9nբlWXI->7{3g=W agS_Ý,Dc.̺}p!ȆC\!m#C6 v%KLQLkt}R5<'5r|@(֩Se#~Fl={h*ʶv vIOhQMB4WLr +!%3IRIF>GZȺSe.vJ h !~{%X3!o 6LV7eA5?n݈YN3l|âm+FcRx٭*͎S|)NaqP"7uч;Q`JC|wQ:庉Uh<CN:M߳ҏ} Q5+qVu\e?t' l\-fٴ^f 2=) xRqS'Qԉd5d%-IV#mN`4Hxн)~]K#NY\._']9^,BxD& fr6@4۹jgǣ>wWTT/޾u 'EfrR+qQ)[)Mu쥷D2k ,qr3iAfOZ,gyl߹!~JP2 (O5wؒw'=%^lS?Z5ܰyҵ=^= 7^u.gM_FKW̢w tt~JOGcQ. 59$t\SN7AZP8Gꠝݢ"ӁWq !ܸrAY𚾀R]՞H`tnXI+xCw(Zd*zxŜ2U(z,6*$3/atjb6Y靗m:9<60+f 0=Ѣdzi+(z 0ERb^Hoxn ǙirʣeI w&1yxW~!MOaVceѬ'wzE{dW5X&?Xy!Ŧ [oszJWh3k'G-]󒥂lu{Oh@sLxS-5tӁq3zk'CYdbP]Z^_=fKܳP'h2@cLcKuNH@ԝE@[:^6FMc͍8]Hd͚(XBܨȐ=)mK:NfpRd>c~'z)Lb~ԉOe9)Cv%:@Ç]IL2}\)x yC4}AK=m\ q/[ypuHK^u~P\2HcxX觻€ }b B2HM0J&hfaÔսoI'u,P,Sڴe?y%?Ny/>h4f mDqL3? %bI@o˶Bc LY3_Ҥ&S Tz!ƞ`hjH&Y2Zc 5[x_rť=GF "]Bl>{CŴ{ݦ w hf}2rNze #Rn=$3>өxK1̓Fً9,.a  bkmzw:dq+ϒR;[ɍF T+>L\c"ڗM K*IӾh큇;:d@yd0D xBfj8xk"Qݲ6T@4PL>{fǨBt8|XC66 NJhlFLIȱ=Cbe.į6#٨6-ʃ])?;:_-L~?bC^: *6ҹDme~Pbh{`IZ0ta9M-V$z^_\S,Hpb=E8Xo%-AtG&{S3L9ڔo# 3YV+5<T r[F&X᪱ }o#-z2즈Z4P/#jyB(8_c\yp~ڨVEy"ZЯRu: 'Jk$~oAJ>؀QH`(AW6AOs9eJC=*! Z &0_C#fsflc\>atfGB0Zlo3A}} dFI /90VNAhE2ּFZB_Pj4q Yw@>*9+$n U_(,"R3zAqx_qьb>9]uu%Hq8jޫ|Dc-m RQ^m0rL<`<}S&\,3YLMX/[Z]@0tG~X:'xKN/;&&3{&dұCcn6>3sQi1Ct2eEY.-q*[r"R4~CCV`״ۇm7)X?H|bA7рV֌<="^T_-KR=>sފ2m;#!'BxT-?W ~!x÷TD RwG`LحNCAmk֛d#g-)ME\Q}-~54u#Ķ䙇ժ]j=mF8;DZ+BHg6yyn?g ^eT DVFje E<: &_"A}tvH:U>Y)=xxeIzɾ(Pa]#m#kqfzu P૆F7<гIo˕QJ3j?i$(쩝o:sh8v#NȄ:RXxb83)1'=0\ ؏vљ1HfIe_B%uWr*#^O_XSF}u7%k$J*ۖڌ LJ`JQ-=zƥYzl Uc$-¤B=Vօ`evUT3'ZSE>-2[|i29VeF^ 9cfFt ~VnmK G K oe ,<&ejk # ݇CT.o!h3'p5ɦ,î'oŤdby$DH6ݣ}Lt!S?|)s+&l1?aF`Cd>W%հ ׬j0)sTP}O>@;3-I\6v©0L|zO5^T!K-^ 쵍|`̎W63]-}ql\ w{MʆC~(٣+ jD >_dKz<"Wmai_z)n0kfhx ݗfs]!.h 3ςIRnQ Z+0_p«dPbѹ.>U1o[l0cӌDnꄛsZ\qO!T 1b lAGS!H*M8f~E9htَJsV+V#e4'a?twhVi^v0,NT4eмcsZE꿢}LZԹyF6}R!HuCufN1֚hXx6Ĉ~Uo؝-wO2rй9vtg_tkOX>/[bơ7xOц5 .fIjg#"sZJz#/[6,y} h=7J'WO >ϊL] i5Y>qFqr8|mYwLܔ\8F8o S Dca zV~9V7,(g$eҝbwOâCyP3NFLq=HI.=7<&ho3v6\jx BA&e.X[v2 ZL,sZ/f]SD5,T;7Wh_ UbKxoxc2nzqNR,yv<kJ rJ䂍}SLZM"aE(&bəP!Fb.2o'bRA*ZMnD#S֌) ;J70q3gu*SZDv4"G;n#;SY[(+1pybeey )f=Cwcsu:XZ<I5)=YǾ5kn_JlDh# {"gV5z˥z0E9X'&*~` H+05E*B[L1VSYYf$$[n㡐~'5lUD؍)rTSP3$d L}uL69 APc}`lg4:)l_ Fª StӪfsYUػnR4_,'uuا:ZLsәt]'//!yı#yBʳ_%X^~OT>״D =K\bGf0deKsi9!^ o7{<0 ]eÖ ?ǏCşVb؜D3pbPM݁n)&y@>=o_xhl CI|R?X,3 k-f|y?'zF~GjIrEgO ċ !)Ⲥ|ovʚ T@.1ݲe]o.vL ) oˎݘ4Z:"z$BOeXZlĔ p>|Xǿc61}[毼xy7Glbզ.D .UyoDe]zpf3Z+#Hm?F''8l߶n8V  6i:}z3v0g'ٛd#"=~\Euz0U+{<I )|iàzQO:A,, nm+B-Gq"r3jSv)F3#f.6MbI\~/Ҵi$qe?qBLjZ{gi)i}Jjm%B.ˣ& B9G6D[=P?m2tzgYZ8d684077f1229f40db74a3b30404870de482fbc15422efde7cb6d9163378abac38277ec5e6492f3e c3b8cdb1a9872d53a481a837a5767dd6c1d96ab2 fb804ca3d94ce174085e203252226b3b2549f907 5fe96c5fe7f36339d4cab2b191ae28512edfc54a7b17863c49a5696914a62153608cdec9ff7479c5