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 llX%<$l ]/]HOL-Analysis:threads=6elapsed=355.240cpu=1797.136gc=79.932factor=5.067zXZִF! KT]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/Dt褔Y@Mpj~0u̢ ]ӵqXsCwv*6LDᒁNa.vnso|J w0lM t)3k)Tu5g4Ԍ٤}٪hz^-o*A,d~0I(:ƒ]Cxh{jՓc1n uZ#D!GJ4fg8O^F"o AI3cQ3BdWb-=)e ȏ[#L>udT_nQIWS8D< &cM,?pnPY3=u_:|sHs&$q:[ZV3xt* Xyeť,ڼ?2N_ݶLKOilر FslXsvM")PM]hb9/-d%ODZp l+ֈUK^- dQ#JB Or@I_9I f9+w4/"_>#Kpm>9k#b$7L\er_$_X<{> tj;ñL8w#u[Q~'OPOp%s{2)S(Xnf٢KV2G/ʜ\s &- aWW) uDߙwR 3MvN1^ȠhE6꿤YXvLDCniWFY!kKI98ոD$u6d?F6j`p/ŲBvľ$$̧'0iJ^PG13 ^yr+4ttxMşɸ,$(o8iґ?ӛ}Acl_}\dNͰ6ޮ,cV^+񚤂E4{\pB^OՐqⳇtrhZN`1v" '!qILւ,l `#ykSSw89j^<<*cOUEI|1㨭i .^SݰISd}Drc+p9iN5_R]92H;;e}=ɚLh%)Rw[¦`!A'#ij1ʿE  ̡Sl++\ .};Ihx4 8.&$1P%yTCҭy>V3ў9/_ב>",D>d̒lW5]@FJO^= BfwKg6 @{%C*[Y͕F+d<՚'L•(]]X8gE2KrBqn ¼D]iQދjOJ[S7O]0ȇ7FEZV #t 6h73 ~d=w{EB'A" հ0Z42ekr& i^BߥV fVdO6n"Bс᝗!M9v' otJNV"d$Dweh|E0X#6me(O0$/ V+5&Gy+Nk!6%VLCjrݽH#'#g_}( W&j|mTdٍ>L̚K7糢rPpt]uH .W@s&Xihm6t$X޳DR|ƈVM뛓3%r҄|wpD6?R-r[V=]ߎ3,V{W079m@QwM JLlv!>j*^3`/jjܔזVR.qauTg^n5dX^q0M5ekSu) CLir><qWeCG\?rE08'o`FcoL6q@-Lv ~z\kRq\w*YZ4iHD`<Ȥsd2ŵ?xj5zqq^[ % HOL-Analysis  vGb†Oy&Wu^=f~"gG 1gwCZ6w%_c\JjG.2JYqs]_v\Rwގ `{(Uf$m@W,I ?~-Ƭ`X%>3{36+Vq1|yIvXxO{("L r3nE]@:iorLЀCWVD H4+Td5rB[hDOjM='בEZ2_Y7R6ul?S4PdJ7T%5Ji6NмYe(`eEw#*m%ZMy(%PѝΈ[ϰ ќ~O:O? (+k;Z^d /fydSVdgܔHm6uG:a˄rK9db/ݒKt#/Y60^Ǖ9SL|)8 ޘ*8CfCʦ|(*92Z%PUP,f(%cDܵT=w5i X&̟ DNwA3{%q}BIjY Kzdx X9^k&KUWZq~XS|cWد2>ˑ\T!YtTf$_͟XvDWJs2?E&(?ڃhIUH7$CKITqp(h} |k|F%Y<w͎}pʙJFFUw5m%n)jZ5յix"Mu?됎d#Se{YSW}z f)jE5XBhsZl'G98DL`Db#FLz0͂s,[sHUӟϯL:h_J^5^+RlT8B> PeEw]gΕ4w1ND}T;)^/+rWIO[-wFR' L.zbhT$YuV_mc̓_yݡxk#` b::;ˏM_?rq_%鎝r aM2"GMOU-cIw>YjސziXrCCb_T@n>qTiVG䠼St` Q:z S]u*p!u@j ~ħXs|'`0hoŭ^37[,|:e}Zƹ/)c  }8yvuc vȵ;=Ԧ`L@iƋtQ~Cvm+&2~=f#02yw( .i pfY5Ь8PR8J#X''5Qz(B`S$QV*bUܞ=Q>YuIߤ4gvwȬR\rýt]]7e.6>6}yެ3|$#ϫswPe7f!q7삙)7-C릳Q l]f /B0?4+ıteȤ~O:GIlq|zT g|@L~mVO&X[|۰^OxԽ1[f de7v^O\9MfYz̼]436]h}N|s:ct[Uy)g` 8c_[7DǴIE3zE!mxK&bȳD S_X(a/+& ؎w! z<;Y[D%Jܔ cs-BهkI~6plH~ J=VtBr U#&v<5x Z?nZ2LaڬiTtIbp}@iLxOZ&UҠ) BGy!}E[ Cг(;B]nU,_XIB{K-8`uhB%ds#M.^10 dK曶%S1D!:6я 1'FJmyh+mP=4Ѵ` {4[]7mgC 6yz1%wUF =HX(_ZiCj1=Ȏ7Qe]Ǿч/8j\Kk1h$x[5;+. n3h\h()GMo3ސV`I?e@puX5͉]Kr%JNE+'ù/3q=_0~&Yr>&#?$9aW3N.UGٱN 5u W X}'ZƧWĻ.e|N6'K9 k vQGXЎZ{Р,]!NLݟ8k~D5v;_oy9ߕʟs1lmO l I>t^#>Vf|T f1&gK@7i '&QczJPN1 lG(ۈRadKx !Gymf0P!o>O©}ݛ}5wb0F $4ͪQYlW);R &A0!?.d,#rn74VZMd&|?#vCcؼfew9=ְq+u|Ȝ/x ĪVc# }t\w |rce2@ b VU^5"CgsQei&WbG%|rBgA2O v|TT^Z%;PcYI5O4 bM4 iBzml(7Obnwnw4y*ɞo4GA0 ^+"7M_[?t3z]Kd2b~Q2B/@ vi`uL+]$ǀ/)IÙB*l# ֲp6VwU6 ȉh2/Tye Ի/]"jo%Pz ,u˄zcBǩ-Ʈ$H U&zΦmty){pL]Hfcs)rGvO("})q% m1j5} 4$0'ʈ|#rbӜ Lr'/#)+?;DKxBKG,5ER¾'UrIt3 %i?]9W^0y ;ePkwd?+|X$a]b؎j#-< Lo0>9qK=WUJ?7^*eI郏c8eZx~4kW544B;(l.@Ng֛,bbcaN^B2g*rb+bzJ! $e'02|4M1/&^o^,QeHn%BOf8"Nh %}7c" ;WEԨI^$+dH)kX1ٚ9YO)^disےK̽v\D/|﨩P~)PsԫY6<3/3ʡ=П6UA_0= 8:&mRBJ230D Ɏ 6l'3 -辠o[IG@d<IڅoXC/қi^ӹ}YnB8{|ҨUmV֮&? j`xO )tjUqLj=̓>Q0K)5ֱx_]h96>gU dƋ6@mx?Bȯ30xNK5mФ)z_r0ߦ A8i>>'E4Ȉ=8 *U¡{b Ud0K9-b韚ZU7 ~)Ey@ءId#fxW~R܉V1r{Np|HΈP[i\``w=I1Ij{Mp%+QՓp"<'M]yErZMltBe0?өg@6v_Kע@_۔APH\UTy>+6|9 ?AHl T<9QFHI0#ӹIHpY:4Cҕ*ۉF?Mf\2r c&K_mKR=:8!ρذF~8g=J%}Ac6EΆ'(Zj!.pw(TmYi5wJJ=@OvgNd 3ۉ )+`dPUxEKqJ )*_sqVzC7' T(U^ҞQ#jr5f&;C &>}ߓ)j]]ɓU(J ll[_jG-$ĸ9+L$ V:A ]!\“4L8.lrxЄe Up7ZHsil U\}&QGOcyxɩүfاP:K[qm9Qk!)#Zjkۅ,l:c[K H 8܅4oM7_ש$*(MR끰opLE'',3(qt"_f,̉?p E#^6-VX(a'nKA" '3F( ??YMpM* *IfsG+>C{q~@xѲ\QQ8Gɰq'Wo)\t'>=ֱ很.w)9,Vj^%\X ?ҡ26#eLɧ'.;}*ʉe X ]$H!SHɉߤT WoH E(b"o"1öv te!]oydi_co:lc%,Gp0+vVivwVhbT6 KLOe':n6>{Xsl[ߟ~;$kz0Cz<XK uم4m}E<5h@fێdݚUL 94h**ﲅh'71WqR{4@VWQa ]I N$6)S5#9]?u`K W ߩ7bd*05Xb^ rfadd ^s=Sh4:bcWivI.TL3w'}qyg8ikIQ 21HK\󬔾jOBíMºN? qқw( S1 EHW.颃jKn0}F 0y ٵE>mQ+^ܥq+1odNb<+բWuOo[G#../j+uf4ACP76bUt1o9<f]3gDGy$v#treܖ?Sbf ?,fsŸM]LFMVUIC#Ck eq]V~Jl"%&! 6^EƳ|4~/}ԓ"OJ#[sZg%Эgs#/!ʹ-\4|a edM- ٠7x-n;P7\mWx&<T gC.0t/eK b׍m_wObܵ\PSG/~?Mp%kr mƁp4 Lx p4!\ä֯3N7%AGWp\UAW'_@d#x^1TTC8@jD-ϫ8ސˍTy3`Cf Mw7H0F:G2˜JnIϻXqqxPH7l2pLrBcu]9F GT"!RaUڮ[]^ABف:{^.j8E LIi뼬E%vO@kk?ݼ N䲺qf>X)BL[g- 78m)v>&{-[IHڱMgSVB`f~OD24)&Aitb[.ڵ!ʺQ^Z Y9&2G0jWfrԁK"WDL~YTZHk*,W|; ,xYs{!\~&DŭO(a|%tq2~ U.^v8o|TL=.oGS[fۓE\u۩RؙՆ7f  8[y 9 "i.ӥTVju^%]%)˻TM2iӲ@%Mx|L6z9vNF]z/Mʲ6Xt=#T+:K qKb'Py+&ӈ. /:42_]6ce` e뚤"{ #R=v6jbkݲq0T.$,>VYF3zMNbryoóIe".F,B t6HBn s+BWirj ؤ[YUKu. UV;&.-Ju2Mmi`hwJCu;Q鿸P%Jm(u3Ĝօ ]gƑM2Ոjt2̡62e\iM5,PRUl g-sR4=2&s dPkHKNXR)Ki!!J{r? EH~CEݻb 0,_zܸzrۋuEBZ\L*KaHt=3n OizgW(y~"&0sIMIsr`BP=(Nk1C-EL]+%u(ˈ*L6BKmsGD偬dp@=<}NަI!N$S)ɖۺx+#m򘍞n1Ge3BDt:KX.SZPTݎBItCO BBsϤ+ݭoP2}?Gq7$-ZTGpveR~%zu׳;˅qU)QD?5cc~u-(a9QābWO7EI鍑VhFFѿbu嗨̔1p!UZ4ͧk!v%#ޅZ"T(ۉJޠu ;%k9e)kg] zUA>U4^{:|$+ul*ChP8mC˿PK?VJַ:+&4 .39QȨ6'߉IL;rYzNunCmU\g&czL.~؟hL.15t*7/?HPTQ Mxvo_TS7d7qEB&/BͲ4'1u>ifn ;9uɱa"%ҏM;f^۰b\tkgzd_xDҝ3B){2vG'L? '׏=BV~";Z-XNeWIW8a _qO==jOH\˴Z(zd<cgU0j0 >9SN#3[*0Cfr6@<6 Z\Ϧ8$}\ĴIAȊ RJ$ςHYnn=q5cϨh;($C6.fX]A߄iW-m늓֑%bTh4!''ٸY~PgeLEoP*yRI㛔xX88`W_" wFu|V4JŀWL\*,kp&G'rB0'ex* F{ @wJU?8&Hs+UZ/bGHK䱲p2N~+ݽh7aڳc G1MQ Hy&*l'lpt~?j;6O3W|㛒p{wX}ŵ(=*.>?N*rjDV^1zh/T2aX"yc!ā<ד;s z*bj4^cH1Im+ҊN,Q*Cd$ 3/p3MHM'~NIo/+]V. Bk͖Zk1!7`N 次N4;p{pd"A#lL:hMNɮ}x0ɢ^\/E;iq 4  5hm?InJNSIF|oU3:& 0f`V}TxIO斝=  eלk,nDXۅ's3㗐2߁Dy{p$n/Bެ߅wYMmu' ƫ8#$8 *`*5zs1?'aqUs]d8dE8YAj.* MJʓ̓ucze(`nZ~~8Y'zɶvASmZP4Lv)iV}BE&wq]-͛Qe,[Vȣ3Mu(,`> @%2uLJmuX?zUjҟ_ǧ9Wo\\=ҚIUna>\JWlLK6Hb'Ψ㝪MhǷq 3cB)i.zߒcgn v*+0Or4Hi W%߄h:t8\)Sh.>Kň9}d>ny$ Wsڊ5-ںUq b_V!Vbn(*-kW—XBMO yQR0ϡ5 ̎]% !'jJ^R)hLXsA@\[PL;G$n~dIL6=XY짒\Žk=cicw=e4 ?F3OBҳSoy ؿ{riFe m5E&SS OX%n:qMLje zkι':L 68 ._{~Lhs&-呂X% "Z?8o؀l}pkuø[k>:EwжJL:vi_K5J|+,p{'#կLNd;DO@rݑS~s:!"./0*?_.TDTvOzm0TyDTzQxo#v\t`˄:* nj q̓͵mt\tǔSl'w'Z !D}w8<.$mz3 e XXwZhen$D47>0 Vf}=̍>>ڂ҅ ,NI ]~ R浡=ӧYRTe7q~bnH¡JVjPF5-4(7X۴WAjmpHPZVؕvrڢY2f gW/1t7P GtcRa=Ny]b!y$S; dzFo*R3w%EcZmF/n:a֕\r?'e>Vp~DYgFF S˓;Q"J+Y ΖA_eC9/XRϨ+cFgEPu7ڸ ;p]#[(\b B 8ʾr)i_ؗwƙ; #u$p䏰K4?׉oշHu&: ?G,75%l M1lHf=50h*RzСq{:]5NjD^ÆRY,+ ]e.'0 nUn"Y͔-gHʳ0 1=.켎Aojg?Z50n#dhhNV]ɞtM܄!sӝΓ%MxȌ%ʙܴ% S&,}[?jZ]3@쏕 XMKZXtnɲ}y'[l|OYgl!A_WH<>1EY48#*yN,k|B~n&`LyG$l3>?3{{pxEh̙ڸO>'pEÂ}Eu@CC,"YS}Xxf{doe瀑/,'}Ʊ;ww<4,f!#:^2}cFteK^"XwWt$:S5l8b}+qqJɏXuB$@,p G6h &jٖ˲5^"dQDջ?`x#0HúIWɕ˧4d(F6"9MuAs[ؓ2/aeWX ?9*+$).|IYgwW!Co}d0 ؁4*1khƾ^SXaf׺AwF AN Xh9Ǽ\3C zAVL5a' 1!OePYI jZ}6fKb-p\Pܚbf!^>a3ӒjxY;HS *k"lc/񬓵bk4;:&4=Ǒ>q mxmM;S[4eYîTD Baъk(Q~,uIX}iy$`fc*ƈxOpV=VYż[jBZ@BYb[q0O|rBcRɭR}jǼ\uTb77lQz폧)jog)O3ǡAp\)Q&ZЍe@"sfnBT߰!Xn}[*i^gY^:n܁Ӟ: (lP֤":~?ӽ5S1`tQ*ۓC-uM[_~_I{! 1t'evtb-gm JrhO$<#faN`ݖN+c\ ֵg!#J:[9:,BeK@'t26еϼRNCO>VԱI^q+J,k`8* y <1Gf{\,1B׼,t:66[!1_d7jlIuVQ޷ln_j)S\#a·) Uv5;lN7bh|HI\rPq |JZH8, &y0 :Dgj-o%=!3>ȐV+t uegHDkQGŲh@(\/p*x#,-4i*NAsqEB> RfC{P\{GMwO_ͻ}‘$iA,0)D}c$*C>Has1 9i#t\Q j`ה{*e[o10E[  2Lk.%KH6zZsAbt̙>ͣn; Qq~ U4JCKyϸ)> e|%ڟqE7a ŋc܂>bBgMLA(#x7;Q>tR" (]Qu XLufiDžYǻSXɅqm (0g_l8=F抯%q|oX;rG><8[c U̵on: Y }V7f ^ڋzE;Wl1q{c LJW3/SGkO+a0M?ŒN>^fg9MTs5EHW,8"@:E/a,12"2:ths1]kH 򘁖ugd:{?*P$Poŷd )帤,Dl(3r6&ka[HGV3_ ޸AtSmNegYZ7zXZִF! z]ŗXi%E`6`7'WС rcݗ:ii+a6OtVϟ8=oʶrvೄTO<Bq̐:5`t"gΊ ҊנyQa^Q|mIQ_}RKN#*pFBXg}oIF7R]TB0+e2SPbvH}Fb|S1U8%+ұb :uÑ6x'cWHw6qEEt!Ntei4Rmh^a@_ѐdhO)>B\.Q5G mZn!&;TEoYEe;3IQ5Y+ܾxB, }7,Xl6a>NUh,Ҙe_["2G>e Os6Њ;!>8gua ws~[ݼU}oSPZz|#oKgUxyIE 9:^sb[W>/[lT6)út"H9m#F؛DW'V;ǙbᚙSRDNXӝxR- s*V]xG/=Юk:˻~${;ŽXł̉LAg A@n mց1l8 pumS 8oJee ´֜׸͵*xmW #R8ѷI bu2qQ|!xSO? [*so]%-bSp`k tU[Q W,OGm!cȤnwED$>nw͸r<[m/}HϙFN%3@e7["_btvF#jV0Hα,@9>ݪVw5:'Z kjy`ZR\Ҳ24ahTb2K+L˒_ئi0)~6U!_#sVP+VHYNRnKr/R"w2Cd%b79?AM_ܚJQʴ9L.,uJ !.\ Mx!uͼQuͶHǪZP$?lHx0z:[%0J}O!;w]"e҇=hPy0{arBw}c58$N{C^߯ʒ[lrLnVi ;MrC $0 üoyDb(eB$9/) @K߬~Zy=E a*KՈu }ȒU:&q i hQTR1/b;C"fyW35թAu+/n9OlOsN=-NӔF"+FϑuYÐOۋw<`0E@E2!Vb*ؒj_s,-%ʂHd=YC<%m/` ǮLD[8t96znfbP{ukmgl; Q/ДX9" XUSpW6UCyY!)9 Q xk1Yp7 p''Ok\$Z_ǽK~"/Op3Oз }%6> P[$ʷT{<E@ s3)-ĉ$oZS$>oEbK6D2 uL;t"l #&@]sXe @yGwLnv"Hdq$aCj$d}UB(vj^bsʦD yKK:ՀW;ع-r{pB-"}r3ERBcDž,Dq{$4İ}شJa9ZcR&_d˻^8ZrtHhx^҆M9a@å[mlǡ% -*jڷOӾTf2宇7El2%L=_]VX!9b^h (LX0'C(SؾՍʼniE-GC1Y^arV 6'Y;],:FI)4k]!bQ7#(i&cJ{m=J +gng" fBmEkH^фkC|jÚTr}p(AA*L}GO4p+QzCm: ٗ}$ tCXـyq%Hm1dAVY}.wRm\B?32bz?;;T猤\t^ltAq!2.>, !x'ϥפ&!+sn5m8D6$L{`~(\صvIv?!XG[\~4 Oj"wZFA̵Kl$&T$*ciBAh34nU"/xХH6}+48hlfl 6Zv"{u BT t/dezdo@rl* `ɩDKۥcxL7Y#isJaXM0RֱV5 +SQfM$rsՏM;=$G b^ j:ur'X{q9k6;cUq3L4vXt܊y]jK'ሲśG1ȇG4u@ԖH*Oǡ>ok.M\63U,NYQۿE7FJI]Jl_p64D2|a>s )T8e~\.|a!Fݬ6ZshɀB-4}qB-/DW zT5s?Xrm齌:2n ը@0kX Lv!hOqGnYzpLQsr/8KL*:{R(4睑X'UtH%JRe4{n0O̯ b +pgM{! Me?5T5%Xļ׻tF_LY[،,TE\Bhژ(BΉ&Nr"ٯ 5#ZF /S0(1)6SW m6xi %qƚ눕z!r;VT=^nVY1wڐn SM'T ?jjHAŲmDJ2e-ϻ.)8}s2pWhIͽNvɴ;{w"{TE+@^vRkpyGi-L&cxfz/mD1kK>e!bˠs ߒyw`ON vH *(m 6l0۵/|]ku}Cr~s!aNbzbX&0`i?%|6!n` @,Ą;$9=vįOJ +|bڦtJEw@d&R.xc΢j 9>IL (|Z? ;Ip שPT j"85O7~N_SAI@ wIo0j`UgX9 Jӧ܋-J(v3rAio=F݉~z~$f&RؾMޏâD+bwA1,WkP4 SPe8Yn~(i&,5 ZEq9h0׆s{b`ؘT+C$Յi]~MDyjEe!lHoh=u\OOa tҲMTLQ|q_F̵qU^*.u"(R}d088!ﻘKU204T^G#!;gښA}I:#y:F=:[D!FQ(7D ohFOPbl{xb/5ߟeTj>-nzD܃C#xx$#{G(@L3MOR.۴!{7N#p}4KX 1KDk]5^[2oqQ]P{<&lȑm#j:Tt^Hm\|G@r`]DRka`}9Gs&7o Սͪ>I>Q:.Nz8mj?An2Tm|z/jαBLF]r^܎ea)vсogU)Uh6lkЏƳKtؓ`9(#\'jGsir ',aҧ&RQ Ω0_ Yf=.B>3eB cnp'Ql$AĻ26$X>|1I82JA0xk{`b󢱪]|$R ^{#(fxܒID*UX,yG%NFR-$ BOy+8Hu=94#/^nۊQKث#[]1: KpX§.\/>Ytd-'lXCܓۓ~gC4NwoF%'DS9JLtq_3fː'DZY.@']_ b␱K|QΜ '!nH9$ns%]KV| Xө$ ' }ϣ\0%GlʼnA=1IOLąUyETCMJkTQAXs*x1&j ?ӑ õ O-D>׈FEa3i Sv>NFbp`'h؎j&#ګןɌ0gAn'uiKц8M%Ǩ==fh6Bu(2}AzZ{E/Q}GfwmWcqVvu8WƗ=gT:Q8`)qs[I ψwFkM[:ef2jd>Ox9|V V|a[r}j׏;#p)$<)`$]쥈qI"*nZ8bMRm4:.:Kw%`M x+n)Ѹl9X֭gR!XsAydxQCp}6"!+- AG@**u8T|(L9zRS|t`S:~p3∤Kt#_YCZr@Ԇ=Hw-&Z%~Ҫ$_j#魉a|Ѣh㧋`;^/ymֳ lQ)Bk(Ӡq r&F| #Y9PAOMomB|̗ uZByt%\M8:sr:vv3E;#|⭭!G}<84݃$_d7BF u14I S+;&MQe41N{pSޞ`mmbjd"k̫DFp9z(k~㬦BP8vmb$xyLN`B 2F2}=:YЫ>Gy%NkzHH⣩"Y?o֠)Ts 9Wx>ոv.8|:XEɫa GSXGj˙¥y g泍UJqCضWiCGJo摚=x6G7;EAXx;Jи9ll6Ϻ /P34 Ya;$}< %N Tt:M2h< ;$Lmzk9*AGzi xzQADIXPE%R1oHK~Y,N*geg5sLJ'0Ҷjȇ<RmQT^|DRgf \z9ƄU6(WO_L h[$Xzi{"\Ѿ:gÞΜ:6*1;MI=v<͐{@qz6kҼ,Tgz80Ǘ-?宝Ik(G a@1$-iCޅs{Kqɝ)>*ViJMq t@Y2TaL!8hϔ$y< Uz昧G^L3ȚK\Q"YM^ZP`RjrA O%ܠghDX΁TGsn0w[? ;ẽ1#f00y=pg`#` HhL/R6@.CM-K2iNf#MLdCj;VK 2Y1:~JpYؙB?@f4KyV@ƎС>NvsS5b—gwҽ=FØ7wM2Wiģ̉A"Z%a:!6L;TK?%ӯ>;DV\$Tc:auVU֪u#Es #NGR?e }C׃KWxۈwPXq1J$o_1]5 00,&<^' ?n .%*@E`X i h}A[&t XI-\WixMGRo'zDxffiI)qQD!D KVe›Y5;d?RCX_WPzɣ;(>TX Fp@ˢ/%2 ,0t'Fvo!Ԥ^ۥ.3b϶ a2vPug""mat|ES 9984~|px'x zfK^8h\E/ ^R{3}w B|8U.4yłBJ),Oϋ Y|U(KWlV*OSbOa~4a -qܴ= R5$Ybi*A vM~%wOQn$ 43[6% L0vҤA+NV! .xcN!1QIF6"+ArE7e +a)A6y^m0\@_fahl >ªQ 9dT+̡,)qMG|!XF> ƣNaܓWrӡ~hNImD:{^,|@;&7~8HŦUNP9E޴)a}O %H7lJ XŹP˱"(r=ZYF/(Љo* {N)1< lY]~9tL :dT!zZwjyN-63ؔ14Ҁ5Zq5Z rd8@pZݴ["|| uAo{,@&! AɌ Kt+)ѩvkYZlR@ݎ7Et64=Q e`FřE81wZz: aIR:Ênd) .޲^Wl˜ ޺wdY{B'4?as|._5}8i>:r TPpQT+ʟWa$K#VsFi%+UfO` /h9в `Xw5 = |n|". $*~)wRlےޜ!¾*,&ٰl:c I9ҡ ʴ$CŚK2"X!;9F4˳U RưFIE&{ U >Yhzf#U5m9zmnLv$B[%ݢ<*0 TӖO)nƍ'ЙQw6fnٺcB+0tz !s?'Kw0G :aJ?s)WҞ^ +8M5[ ^A]^@4S f1Ń7M~5\gbEw5h۾GDx*!ΒBw8,ps*FL6w? Q+ʩ.د}r'hXIl aQǩW6َ_uEucdc>e`tYY_KoD) I鸯e"7";:kQttB.v6?)wEp2$U5jM긺?n'彑{/A{(ӓmI& Jf׻sF MG~?` ,hfiu5ѳ#_'s;z/Ehjlvu"G\7^cf"8e8/ ϿԎ{aB=܇1juPж^fTκ6LW3oW+8ާw82] i8-& WEEHy죄F6.%ns7fJ6oEդuT-`-8i6io]@cz+U\Pk&h͆%758VgC SAwXvUgr&vZud_p.v[Hq^ X۬3}_"?aW;8Hp6bs4yԨI Q0U s[5(bo1GxGݚ %HӭhET۟ vcaπ)ѕ#7?~>i,C1:nža_XԺ={vT zIPAouP?{ ٕNҦ.B!.]bcI?o$0KPLI)ve(pW^M]QT^bK{Iwe|J\2\SQIS\=u=ms)`:pK:*V-&^ -gtuttw.߿#B{lW*0|.S SAs޽,\Ř!ͣG~j͔凞Uó]Yƃ~Ôh2YB/Ms3:l^ys}9.K`rmv"sB^f $f|5_CTO+Bjv2-ޱ)s1ldkԩ;{{/ߋW\ҁ֬+Ca0p #@@s+S\\+BOB:<ȶ?XrMÒHxaeG֖y͑,Qwiܵ>פ 8 k.T<6I|:B)а] [m~@VrڑݢC$t+[RHDY6ExLkO,Q1rԽzU,mܹL B w~Z?NQ)dd K*X,cl8EK#iٗ:wV$kWT7.]pIQ31FT&耲Ĩ wQ]L'嗬úZBD>\ AB+蟘Us"Wn2K/Ӵլp. P:%oޮMfM9HoımyROJ'ҕĬ9MJ&Euc{ڵ~ZpJ[0OjY.y6.ѢYC(gLl3 [2{)y$&{@ =@RL ,RW(G2զvqu#M6;L пc?5kRcGsc{ׅϊ]-G<(d3&5 k^*nPCee+˸/: _t!) ܅kDI;PdkP96u ;v{GPP6^2ac]d"Pߺ&qR @qk}^kyR17FDrQ'6wv7̡?. \hTUn.lf l 8 JIƈVti62u2ιsb,{54e"=CaڬӟB(UeUq `dn(Q'6[Q}^X'Z :o;;O剔#k80>Is<[ .D h-YlȡwaT2=,Ӆ`yJ@'(S!,eS=݈"xfʹ,p S?ԑt{ ^7#6jj KyZjv}&/T!vOS6!8f3Xo茤jXo} O.-!D(QbA+KSѦSlL<åj2]h8U@I}~<”6aUੌZ롊>xpI 7y6UT2fFMډpדEbHVyn!oI+\V־8*ᄀQԄu{Ǻ_FXDCEoz2@fhwgΪG+\o2hh~$[@*[b;kܱB* ҂좌 9:8?uvN5rci4 u*"QfLleogS-WO٪`nd7"/X=5rzR#6}XY]T55x! Wʦ1=Yn=fE xpq+$m,yt 𷙵Oj5=c!;#:A@]3ǿ5WGՉí^u32U-/` Q<^)!;g)\#6^ =Z؂CutyJKFP ̸@\V9^$vbz3ͣsܼ,ɯGkQR}S{lp/Vtr,.9$X S[+8ހ;>STgaT^[_zI12dnK9U!CP>e +)J25%;u˝q]F6{;];>O|K.촬7պSr@ $$DM_.T;a`KG?O%:&}FcbRbe(tVdu>to,w_%:×-o’E3DdgSW`eH3/&YEGB=59pA qa' ?u{1O6hc^ :w<]>lBO9EsrGr!*̺x}!NMUx,yffg5Wrk-%8b v\/itT!'̩"tRa<]ݫ}4Jh[ );(2idkzIl<p~o52|&};'wTY{2af[ŷɣz%6[u)`v?d AoeO!Nskg Xa\ a99`8Kġ,a[E_{7KBRGB5Rz!7 l0㮇U}7NLIE>q) [=wtR2v{>xA0rʼn=H<М{ٯ!l=$7m?SImj4)? ЈmgkXl18Ưe[״޸M\΄t)m2>΍Q-( yל)ot8? fEsiMrl"RR .:E*!8w .5FX2| :3ZtȸB7 WШzD}JMUa ytژ0!gy>3DSr#tֿ>4}ˠt3եy5w]D(RY^UiE(*3!.<:9TA좱O ! |`Ĉ#j{hk{ EQSeH4՞Dq4Be **AG Mp#Xc"_N+y*^ 븄xPa1Oֿ(`Ó X"O>KD;$$;^]{`y,K_0Ұ6U%Rms-"f/'i*W,̑RK+ۖ}. Uk?\l9%FlQ.LHؑ7*~ _ 2cm|ضzّ A/%>F@FHof[gR gOeVQ-.^~Im6|L2{0w$ k}BX8tkf|Kqiz!<*b'`43c%sMr@jdWmD},\MjeGA†x(5`{Aɬ\@em΅ ĤocCjN&q/暏C*cYp&'qQ.6 FǩQYWVybG:x_XsRB cb}(~2t93T/+i ˪[T3n" ߵ­`˥mMn3.ڦ$~&>7fEOtXZ崩-Zi )h#۟7Y0FU{:V\ObPhҼGW=P=[DT"&(٥MTWX Fw֭TxmpIX!uxW^4ڶk6  }DŽݷZH ZrY} /ICC2NѪd򱽜 [<&(1,Nk5W ZDS>MIt\  FlS;dLp{/V2yuAڽLZoBSY0vckR^^ؤTG~d:$x9ޑLeDG %e L5~g }8 ឣFV>E媶_5 BE`so'T6/|$0g ?^w_H7*Tt=Wbv6"vx7##lhqg qA/ǠfXr@㕝1/I\+2ErmkwK[yh23F;b\,`@Y)ٟ9M+ew&Xk Ȏ3Zok|<[K-Bzc6r~,b8RP7Žޢ5/FثWOZfud[,. VkufnIg/E38pke bbZ+6$SweK^z/UWu* =0/z؇74Fz!MT1i[J%%]0 zGٲv7[Y/'a$Y R ]Ss"k=;CXؒ=&8Q`h@G5r~%BJ w=9Je0;rd)FO}O-P₴;w|6bo0ПÂRߖ:[xe] P]Y.7?0.#I>">ܭNABHJbh DGj2.B]M:4"sJi!u K+UKXQH>k(Iz Mz%0s*Iw۪Ff5ܺW$Dqg >8ӛ:z3$+`R2E(눏ӏx)>Cx{#"g1Wԗ<:R 7]lg=v(NN^{Д`\PE-*KIOT@ՌV/5MtSW{/K >L.׍^"r iRTD%9ݫbXqcuiylH]GWȍgig< E/UK[U@ψ[gƎRX?۽w;Q?<Sxۭ|<~+)R4Eyf$AڙĠh]&R+IbcDwz4]rj QH |]7W>I0Vm8 X/l)6gJCoTH(>t^kM3aC-ls ||J`(6|ѫj+-rrR N+OR%G@};*~a9?7F?SIRD2!A`#9A'RhSl>DEhatDmLR&>?P ١)ގ1i 2VـAG~,IuBx|!]]]/|ϊ^h/{@s8)7-J]au9b6F~n)yBr8?#y!/vC@ҷ6`<ۜx8jxP)v }0Ĉ y 5% 7ъ_?pMf/ . bxB8t?nb)[)Zx1Q8 ,%,CJ5j m`F;+$+ FC`!'KG YLaLo|_ 68T ͧc u6/Ȉk.)tF&eb>~Q* <[T9%_h؁WEyC wgde܍,Y[=l>:&#H {grSp5ETG2TL5cU1J61TCPku(+<|q4\(i[ҁ*NpB I5뻅'|3DnQXC>țB'Si (_FkyRJieF7` θ$Z[)j8 ko8/Y-K$B|EuP qHܪ~o5]7V0W(S bY^dJMs˝qO#}'N 'Ԍʈj ]7ηy-{)X޷"bPܭ]\Gno'Lm%ʹQ=\lhu fjU".Q׆>5`poi 2J 9rEX$;65 *S(Cs~o\6sՇ95OV:VkGج1wѕ~X=NHVˉ; br;2d@3_C1 F[R'RL +.mrVm\ VPuг+ e/NQK@ڰ ,SĘh;@&=#f\wヒ#:9B?}F:%>ӥHB׳qJk"9d93AgS-y` !NC| st'8LJx[ i{ ]x}foFC`a[`64HhiG}tk^ ^臅WJm JY̩yRq٨mo*V`]&!5ꄈ҉ᑪϷ|w D>͐M,N1縎Zyr{+E|ԙƪ}X/& lgSD  ߦQWOhs?.TyKLrq& Tn}ȿ.&?"Y+<:V*HfL-?I=Jօ6Sx*JvVeyٴxxM׹5Ao k;b9 :blu ' [b og$@ز2f$1>q) |Og԰ 2-;:"O7vfN*'B^bZ%mN"gę5o8|nH꩘Td7ttt(>Y};:ԛa0вI {3"qH\Uj`-^wt( `1%Xh %j-&vKXnMx[[>iwVvr&W ƽ< =Yr lh4{* +״):ئfibNPYnB GŢ!A\\JҰJGlSK9s '(98kx_0fMclQK4A2#U9]A(eFf|4ܲqё&/`obK%"\MknZ5es?Z5l"^߁r9iC yg̩bj!x/}*v%\EF>E :N/-x0DZw*8/@'<ݬA<`>&bNO6=*ޤ[~@fdu[ďPO/>H`fbWmͭ"Gy/[+3F>{.Qqn{9 !!0Kg.6VQOkq׫z  !;;/[Wi"r%_[=0IT4do]Yw$F!XpzW{@(>z4{1t M"OY=۽_IDt 'ftPI_EsfhGBr ܉U% ФJa߯^X_f!~z1sU#\Gg`8JEgݕRϞbѧ6zwJ+]Nә57o0G{AB lUȜ-)i0p>?\Z}o.׳~:cWiiC&:]\8nYrEK0wed_jf.Jxt%0žćE4Drzt" է1Knv\F8emE`e>=sho H?qW&D]gd~c4eÕe$Zx,TnIiC;&uY_hx*VDLהwu蔞 LTyHp>KUK~Iԍ"M Vx TbQ+[R fY k@,ݙѢ\0=\Tb4Ny`>3jjX(?TH:fkih!yhBg>- Su5SrF1}Se/EK~O[k@%s )_nr>CM'n7Vƃ*rXӷMsm&q1w]dlW&HT߹ ^RG& Uhִ/r|=IJ-ԟ$#0[q`QJ.7|3mbͪ ӭV% Rn/l"x{7=0]W/,$:-5XLɎ #26SۜL-}xNުd<+>i'ߣC #Ygp6^۳#q+ B`pF=:M;8aDWq^8S\A8ᐭalbfIg͎z ;ne/yϨܻwއlw]̋[_/]S{Ich9%938~7Jxl.s"-ԌZ9gGȼwhp+Ok7\n^B&L]3euDOIE:B3GUrT(YpQw hN#m ˽1:Y_e齢z5b 5c{v/js-0W/:빬ӿ^mӿW 3BL9ײ?x:'!H9?¾u;)E8Nlk- &,-ٶʢ|+gKX DNQ.;ه iw_x -h޵1+ ̏Fu#^mN64saW޸ O~^p'Yy5hbuܒX)~{ml*(7fW+uѯʘx246|vXl9B" 8F@RAdo؈!LB6^Q^' OO'5MWU7$aDgVe١rpXś.7gd[\d=DȇO; 1_u4P+Jla1| gZb-RM31ϴ|*66jeT '$/2+ӏ+}XDNEMo85]!lOqy2N%=?lOM{M?pL'2-(ړ4r7s͖:dڸ8sG\ᆬR^Ͱk7m4bp3S3H Fӊ{ G|18լ0y"BXz@ DicC9A?\+/ǢsO/iooaѺKM{j{b_6~7x!EG Al?%7r1<4 {Z>̗*`99\Z%Vf`vz$"`f'uEg!|+^\I5)@pxe\⾈!idHnY@-݈Ls4JGǁc>h*!yc/a[Kbvj2f&8п&Xg~&\Iue/ݻ㝢ISTR t`U&sjԪD3mҡFƏ"4c48T@SI$-Pp˕rpg7? 0DfRePa;hvj1zC_/WU?ZLDݛzT$ȆU>y>CI^;=Ms6(U-2*4_}7 ;#=% sWnڵ@7T^3Ա$ ARǽ^mq]͇bݜ_TRROs|!2=~?05#Ͼݧm^!o=.$}k:YeiB&<#l48qvO "Q〷&'%Ӡx,Ms5,KUj􉣧gjmՑ1; .\ؚom)x(وd-#LpȦ |!~[CYsn_Xr/3F 1[靪7z5N4j!@j ;^8|HogtUa^eYV#Bk;_Je>ap7q!%##Ըi?8zs[ghxJ{(uS|=]H'Q?P1o8+ bvdo#w)ܔ#º۠\aj N=3} T?o\$q$U]E3AAD\. x\++ȗw.V-إzQ .b?;WsVKwN7X'hi4 L8[!N 8cWM-4ƔqIC,oB"~,)̻'7PobGd,sB>;g'ZPzH\b$ rX8]`W|m[z˕,a1Z6 ^Pił{M5އuid$C .QZ!y"V%|X6OY`ClZp7>r^?,Ԑժ%x? e_w^c{= !.f%1~fK5/P1IDkg#ۦ9OFu/hq+0$s-ĵ1F P!{K?]#AWufrkM*2Zg@nI<@F![9'? h>Eo_֠C%Rh1JC:v7DH6qʍu0TÜB;.͍p ַGEfޟΆ'룷C)ą- 7bw23@Ԏ]Iz7J W^:#0!F('+IZ&afcyAx E:VIgYZb06d1a1383feb0079761aa010302afafcaa17ec6610e66d7bbbf591f95ed39af4ee9deb5317eaac4 91da0f421d225cc41f5e7cb69d4a2edf0de1d48323de498944333ce141bd77b2b9fe6f16dc7b9424