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 jjj5l ]S HOL-Nominal-Examples:threads=2elapsed=587.140cpu=1092.272gc=140.640factor=1.867zXZִF! ]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,"L wL$65\7)딸]i*^;gkZt4@֘k}BWl n@A9bNS.m6f  F1-p w1J*k<_< ?tZ)X-r&#R^kކNjoCќ8p$vQ5UL&fĥ|*˟~@㣻*w#F8|l4z/⨡vO"~ \*>gAVf*h 4ϊGm>ZaM!G{xv8 vnqo)|P%} b ,7uavPSaF4S U- x"ǐ 'P ؁֠d(2<ͦ/bB;gPY xnTN}Dn7L+dQ<մQ{faL95E7}KRiP.rޖxeZd3 {1X8;u馏 %ܼxfU@jqBѷ1]X>񢐞G#1(Bbë.WFcI&bY p\֑#a{ k (>A-@Φ88®u~lruŘc:J W]x?TVRlɁM|K=7M*lS#7+W f8,.֛Kʴs`]vCA~Na ?sl) (34IâDw;A*#:n? \n«i?qXX_16\*֘7˦%8c8D!AjIuc ?DgH' 7+8%&q…~>цm8-UȨAi>=97'L6 3w5|"Fqf<mu}4%3NsՐBhDq/"OK5aM) o,/2)oPM0MXC|g.d9D@fV+gN2`{ O>o$yA Neò\][!3xjb筘LQ.9Ѯv# <'=_/3+v1(eZ?h51i8s@ ̩f1U T}>[eNXZL.m$K? tݗ1Ֆ8 ġ&KǸeg?XmC4{-;'q Bߊ͐q%!6T.+˜}G!2G j=<5fl w$/qD_ۼ5-$|&|?1-a"8HqDh䈫ii<;b/^&(WqP>-+~o0Da~W+hƗJ5&%T&g6zjnfth{[èYo3{UuX:"pmVѭrս~7!|үX r$=O)7 FKQ|r<;v_nߒ'w7]zЉiy;cs~yi`}9'l<荥*h㓋{8tO>R϶Sҗhuj( 4C%AHa+Q"b4'nFminmpnӳ7,cy^BǃykS bݖ)2NIA:+86FxwR0|̀}T$",T=-ÝAA(`@BsyYJ4K r?-BZ7i@s9bEGPO3\+]iLvK0M8L7"h>%WJV++WzV rcdB\kh5!iw~u%L>>=׋"d>j))=ZC ǔpWHav_,ڀ],emNnz{!Gڲ">~:߹ۢxݗxEƱ"8\W`!|M;nS!3{owKY跲N(ke\m֮?s0W#(S\AkŌ;>"C6ԊOJSkU]X;5嫫4*X|,^6Gc?0Ta<$L=:Sˎ-\=(ݑ4nc([Z5_AzR60;Yzz|3U|;y2Vwd Sg~ɐ"P)-{_q|Ԭe+~=gA'Ц%iߕ-2 pϝ'Fm\ԉ 1oF7d=t6 5 HOL-Nominal-Examples.' +q)&$r+QgNppkJEh _v lEs^I=~Gq[]lt(`RD9g.7^`RtKܿ'.6,Do8PAp q;)˴ral+R zud'&`rk6ۃ#xsb5NP;Hh*7K=[\0~qiML Nj 1ּY WUppkwO"y|޸0l ܖ,@uj9Aj6N:\[ cFeϸprb= |5*/J:1aWTDB]:>l\e] 1++4Wkf︨v [lNukG0N {#?1}OtZSVb(Y~D-+Ϊp׊^j**|(Fhr3S&L'mg#oތn_gFRē[_żiS_q|2Vn9:3j;7vp|~-]d,f-\ v9dZڗԿ~;a{;NPfϰVeTe/{`X2#cMD{<: CWG-q, )u+uE;pHT&b.[ u`8< [^<ڍx{Óˍ|:dĝ:*d=xS{sM`ol@P/W#|w)ΓWB?:Ϧ|'_Կ*G[| { A?5cזC u1y5ErKK"XyCŘd#uac%? ߢ  {ab#[e6 `*2 O# ,tb ܇uMͤuxh쉰GY]N,(p4;x?VIM j4yuҸ|q.4T0Z$ϲ tFȂf$ǵL6̏== C@!K,}uqjw-_xF+gdp+_;Eq7YVҳ ' F4C~֠L-/aU]fLQ  aSkY؜O 9 }j VR#-2 t vl ]{%<pW>P|P5RƼ4LC(uSk1-S_9:-9y/%]mX {|q.Dzߗ,ֻWzgQA]j>3RӵhktJ}R"¼NRevy%@mnܵ*/!' d1.g6̀߃ 7Ѫ_%aX5O+]&s(sc IK4CAb ~uUxtkb +2jԂ`d߆q@BYqw31h7WNIm8sM^ QÎeU z%;$ s4 y%n'۱ e]: nCjnMC{I p^[._` MVZpĜ.2T'GFg;#gUK:)44co8r%7RW>0IVIal^\%\t˟OtL(€R>D"}[^ޡVG]s)kpLy!v9JڶAٺ@Ð^fh>R^<uk񓵚(gwvk^ɩdV=Ϭa )?*CvF RAl_|<_Q,ؼN# 9@FknӰ>5YUiۈ)]Q'KP8ފuNcfxT Qg|mW؛|"$TH:>w.{h- *_-ٽHlBZVfR.9XX#ŘQ%[9xѮl$WL5P%P_>%vp3z̴21̻hiN:'7 = 5?EovB>wȻ{Ƙ7lHs7˞M|VV 8:a'r&犓ݰ"עRE@n-2qjw#ME:B؆*)Mu`΂4ۙ [}BW( B#v_fH/K%]v=3gї6RF8ߘ[sgq•dzFfDd!돟][>NȆƵ؏$ok¬ܼWxt kdAd| oSM xGq,("RAϡ(F cC^ԢAѠ&pY  o țSB P='֑| Y&(.xޢ~8Ya=n/x:W9L3!hMzR㈊vV.r,BI! #RdU(rZtwǹ'S99|u V&!eD.q6(x:n0o<ll1ŋø[<$N$Ԇ͔'φsq|Xd`X~9BI[O-HgٖEd$t :Vp>,A_[Tp} N;RKql{ 7y<% VLV ,i&\D2$qO! S'=}$I1 A:\WfKObsԆI P܅;v~AC<"kt0֡T b[|m)&.:U+jcP}@)8n1b qvxmzڤ/̚W#-[[G f4v )rJzV|`B4=2ۯbz Wn4g铅h.q`uuzӒOj;y[tpZdIåY~չxq;RTgYZ7zXZִF! c]ŗXiɟ1ʹ l93攀Lx3 aCráTICX/+btm nKAf%!b<b'3嗽/+J盦r]ѹlv~pc]SA wڋdZ۴iX#6۸;eZS}<$=@mt ;OKnIBFQ'ߧYKMI0R,`}Io\[RPNj=q^q1 ؿ촱p44pl1 sFr<|I6:.mV ט)lGN6W>$s.陋ܸNT5%Z4VUhDyTl J'I=SJ9یSd^>ƵcF3!q!`uȱоD褺>"2 j`J!SPuf5 #[j1CHQ䠛q0׀r[-fgYZ7zXZִF! >6[=2H39i!@rct;iP>=17nȽySw趐Z"P;h:}RV¿"氋9jY3Y-~)Pc4}ԡC^ kTP-PXo4eO)}.ڇ”Dc/E`׻T0f.0 h tPe˓B -ð]K'!.ݏ**[D(?$ ^mKXǞ?u@}'71^I\(ٚbDrQ,au((Iـف vhSmD46Z'i,S `g}j [N9׫la[WY(I2AP61"L`o ESbb)#WxgN\' ;5 {0"Ie>qBϟLlio72T7bd.^/"ޅ1z,(Q}xZ 'R>ZGZuqsyP06ߺ7'i] t?q /Φ}t? X~OOB-ܩ- @[SJamt4ymPrw! &zF +.t!1|bvq1Lwa 5J'?ET"-V$p/1XxƯ42A4%珟u6j޸cNj2sP"r+"Uqg~UojMP~^z p: Hj+Z ?_C27ˣw.DNuf$; :O2:Y G`~\TWO\QiM%"eUΪ"|=rf/QCV!h QjSLA\`_g"Gwc}1DdhDgyxezy.LԢK-/i4_;- K#r\)K A=A[T5u"z8!<װyȁWJt+>R+k ĺo^+P9:APZl"uK3F/dgDٺn o1 >Y\NeG(|Nr{4b=.ϋk\݁tQߡ= l 7!~4jVWREe`*; O7_~>x Bݑm+ alkiP^(Lq+bvMl]c=o'Ͱ2Hf)@9z싖x#Q0ϲneٖTiN.yRĀ\#ޛA5sThvGIKi-ٽԙ}HSG@D@OrWTKخ'[Dg % K5?x0qKMX:Wga..Oc3HGۍdkFuHx 6(1uUX7Pl.`+9UR 6visM`fJDU-aEp/ѓN .ȣUաún2]G]oҮՅ 8˷78Uq=$U7~BE\7˵6ݟc|u{H+Y&ëcA3V X-qH|jYq4en2e+NBf@`zSgSy3tE /9':F@pA G1āMAJvZhw^bw&%._bVHao/T4Ef e]*^m݄QVga. ߵ'6傁^BblW+]I&{<ש(9xAy<Ċj9#æ5ơH d{2/̶C yY b׾:l݁ajGp[Sl76Fk:q,ddM zғ:LgfRiL*sEy0J ZU@d+ մTm5TM#)(U*63k7r!` #w;Md^.A9 >Av~kn/A!.m3p d74VuO-M^4٧~LnB lvX]S tO;B#[cj롌ˮ>#%ș7Z>%a?wK2`L¿JL5m`]U tpFy!(9`fq46&Eh؎syYLJqLu [R˪)J7~.PN"FeLT<022cMrJ%ѱ 9 >ƦJƿU@=GK4n9 b$cK-Xk61*/Q;.(Dx sF3~Xխr1#%YXUw(b.XIbbvbW tMAb$zU,F ]e9pqAu"^3heau" 0 VTN\P AM*H.O*SبU>lTVIh[wC-=5ڟQX5!-iDAt p7ȕqtZWy&g5D`RgJ!7fRn.pgg`aSo5tKDdG݀i1rW< l}wSKg 7[FzGGedDPWHSG2at(AKүF+a+}ly#4lŇ!\h6;{. B]1{Rbh]dHCy;DGuY,cǓk6A#y:sf]{4Z B&F$| F GQ8/K$v(|L߃![CȜ67/Չ /es.ąbSܟv Ud@i}O}`|l/rsDԹڐ#,Dʌ;7`rm[񼞡ԁI=ߵ}ܫdyTl']SExwwNz_JJG,YNȳJ/_r98DX;ßZ땀)RhहnRmD{PFE7 vlҞm@_6 ;tc ^h$=PEq aRŁrk`b@hȈثhLHfyWv(f;DVfZU53N%eQ [!+Y9" X2-@նh|6wաZ/\9 d&y)2:*,BcP{ǨNkwFTt?AMVThO߈ຍ!b[Tw $JNJٲ|80rG`bAp8'Z],dK Ab%<麝r"D!C O|1uFZn6ƒ6V QGWE*ɝcA@/[3!ptz 5Mo h_HP_v*>Nħ»uzx|~~o$zhz.Zߐ4Ϯwx ipE4=s@ژV~YhKQ/^0nqBe ҈xDb+IX[*YD6$`?7$,̨3\:8QmURMV &W~Ҹ$p>oa^G~=Ϝ;^ҋiݼmE?|5Ҏ@ΞPhXm&]^Ԅ< |(լ x}(#7tDzj+J  2 e!e%6mMG|ya3)[0f3蛜z ۓ98! Wgq?"DF"]IL* fg]tA"c|:9ˑ{U^y  aj9 ۟ȶp֔NQpEʎ}I36S]yg@A A,^dZ-d$K[_'K . fdpEZ*֞&&|͑%Jzb>[ _'6~jQOF,2\<+i0/(fΦ,ƪј7-7Ő/c{{kxMχ9W]q><њ8أD(JJtlS߁ UG_wɭ2^4n4WAA8ӚW>$T#|6m=F*'r:\{%k' fUd@*-祪a*ϸ@,7K[bʇ3_rJ>6;.zB.-gqQξ*~نdda 4⌋E\2Qq<@)1$e5umz|T0Wۧ,:xaNzC5 Hk <78K]ՏFmf,L*uL &Y~6Tܢlp"Ʈ@n.R e=|E:4r-6 ^5~E[.'%je\F8Tnw9ӰUF7u* ďnR ]<_?_bMljP^?cgZ19ܫCL{m\<!͚Ek-HspEJ}}M1ͺdzNc+Ј*|Ȃɸ]XBf;wdQ{#a;9 9V@R%_(SX U?[]-9E%!cwTa`yɊ>>niBm%7vPV- u;3{D*G <~o9@V@A[]Ek@ N Z|Pq.Y8p&O&rg̊nGzjw(U^t#o6IȉWĘLBAQ3CNWS#b;P6xk+vz{Aܚ|^$n`Osݹy*$g !2xRzN|tCէ%%fx Sa\swER0Jk Wv4-c̢ţy;I2W{?p`#ĻcmdX6Qhá$E3W;lS 9~ԧn}ӭL, XwTIhB<*`0w'^vJxrt'V>Ǣ=Ӛ-x[/oZh,$9PB. U/zueUk& '{I~6bby=#!į?*V+1e5,<3.;VX$frs6MYU.z1ϐ]̆'UwSN={xI 0+rav$UIV#_'t˙KGR`d5#8`3-A ! ^a8+ި`zf/qR%/yoS-f#)3Ҩ=En|cajete-emg) 1Ķ wW$%,k``U :W$1`gǴ!~ YC?d x.5PX3YDP7e.6\/MZ|=}eX aTHbs},~Ӕyt$1a/^BTǥ_(Uhи\XZ; O2ƺvzlf6^3B%|PUjEˆv/ΉNgtˇL-K;AjZFq \*PQ8Z:SXU慃ťLk+V\ɑ=5- C>qŚ VX8"HE`^vH=߱{El @4P2f>.7ۀfjyv&0sK"8(!.Y[ElGoy$#GMp m7wĶ|sBFd({Ӂ鑲ӷ >1 jkh~MQhaD5 ֆ庈M{(DNr`5MtLֆD1)`"V he K"ʁ RY-/!W2R%bÞxh|PG#eo{ckgaQH]Z@߆7=M)|:p%g5s+3qjC̤gWx"ȇ{ut/k-+]n<6T0Jr(nObiԽOX8 gkϛi؇}*I28? TfF 1hT\{яH5uKH:Ci})(o^0:.OߍO7)sT7+X7mc?/+m݊Pt߇|3:ks܊ row. ֮҆: & q ,&l ,Wd Sb)u JZXp!w_RDFE`]߬(k\Wŋ%zdGhCGL,ϬpCá `0H-!: LP^f5A=/.R/ZJ^jƠFnr`>='^[u{M+RΛ=j>q&+]]F)O!d9iIr-#.sA.5*'Xp5o6F:(Z{O__ `R2o4n&%$* D?NЙ0z% ٸ &BJ0:1P 3[d 6uGdA!uZY,iNk@f膜P@ *iOQHwҩ!m Z2%gK)<"ta@졔Qf㏑]%wfdrKW<[6y7@oґ&ط[qF5'tv)ݏ8M[fq,IhĽI4mWOLf<3l$IK$?Wtuh|Kamn?=K7y}aFeñ,ጌ)(%7N F+]褕;WY!d P0Uw\m@= '8 ME&KEvԭS n'79#4k"d4xs{\Ł,h*~sdgp H}zne(wb_@+rF/JeK2a2DShI5eJxdT ) X4#*5U7rד>m}. ;9vv_>(*3|TǴB9#O"߷< nEqǹ޸vyB0~#S|nqܮPKb):A UWiiބ ?K<ׇ1Zk~QTkkf:8GD$~ Ɓ *rCE3C]7"dR.*8| yBU0K-tI̼NrCԍ1ګڙ;L#-#Ub_NAg d9zaggP -x6>B@ܻp=,~zf.h.,ʄ/\hPSD SZ˞E?:{xJrHMs).FvYPAd]OFgk6a'"~d86ϫ?뀞̭zb&6a}^)Ƀ9JĘ}oi'2y|7FRz]d ZOB!dqͨ>hX!MV(_Z:QpE`?z!8k&hk1ML dQ i8-BHZdW^QS`ʉC񷏴OI/gBS1`3X d\1.#^ֱD/~l*- IAXttLIp߉XRSYL@Hf]16G! 4D.e,s/H)-Ѿ(I!A5A"ews%2ݤz;=0Ȋ/Oꁷ꿟#0wF:C&)e2LщbE;㳌yf% --<ҍ-ԍKwAo)mPi㩛6N8Rl; _TEd=:S$cgX '_ mr5ڱ! \_cb{CIK39sˆ=Xi͍D`6ԣ庑䍰p~A;0[y5+ɮ"a'_2iѥ!*bnZ ?ERcT%<.:  ~ގ+k $ ܡ;˩l+߿H (ĉ<|UjDC~`‡Zߚ&V9{w# FNf&^^\إ P!}Rj}2}w^ʸMxьuK@x#l(7B'h]89R`hvQo)jjg^4]+w\rZJd`W0)SD3RlOYΐ=\ OZkI0Z^s JHԜׁX-7h '4ZPbP$ڈb*`s^ [J'Z[Zd$?`fPV>l\Nx q- <FU386WCgչf[Wd@_C~Vfmjo*?K=؄9 cמ*EyW.5Ty]ȴ!'KDFTr>i8@DN-Q3tkqYUB[9UDH%;F>Q,. v<:Н i,Nm,+ SXU3{Db_SSjI8Z )vKE.wyϏlJiCS {\xB2+$3P †Hn+v`:~  Tp>,|*bMA"^_~}-! ^ZOlxD]co*$F)fqVㄨ/S0Zպ71RJ7‘,ّLf99J\Ō)o!R4`r];xZIJKewZ(WK$OB9#mat:~ 4ײn@DQD!/ `$-\73˰M>s܄s +RŌȥē\ۼܒjMKTmj@7Hͮ\m<"uHo63+`]!UݴרD e.X}M>H#--IGJ/+U>撑'iNlyWbԊӡUN$RN̟S(Cw)sFKykonuRgm!|Zn|<0Pv5\W`2YAЁТTOPȿԛ71P!{\ASDi{u@'3pPߢyO/D >;l^ e}3KhȓmqM,CY19IJ(!?ZcQc⇈X&ךb;@uшcX&WA(9#Ew)$b,t |R\L$N!A(?sz P7R*hx~ 2 d v E|WNS(yiz f9ё[(Z.>wTGjy6}} w,"Z-BΊK}%`Z0/?`S6(zEcd lƻW]~,tnqoYtM~2hYQv̇U' Q| j"(SIUX0ȕg|ww`2:6;!25%SYOK"QWu,Kk)2

.]a }ɿ=E|}@3<ؾ"x%\VS y)IqaUe' >Od ]6jOTh*K5ݴUa"Ez 9B/lQtQd=!YyYXFVu+n#OMߗ_V:k>5'h^ lʪHcVWҔCx+ 8gwF6D1i WDׅ&[u j}{$ (^.pIOá3@=Jhnd6:jAUv[cnZ|uVQK42Zh/s#|"j\U3q ϢYZAZ[mz˺olG'< F ,YJ*!SQv5rxQF 129 W4çP~ÂāN]%}E{(]b'nsWA(z?L |<2r a4㵪%uid%}Xϖ#=$kjO!y*T}kδv R¢ZpuګOS Aa: |7~X$f.G)Xɗң{IlenJgpE"tzKʾWJ0ʺKvVsĮ1 iebQ付GQ߂CCm_ l>UzǼ˲쒞M%vAGv^{݁**y2wt[ID\+GT NRU4~Ppֺ 'OgFx^e\u5z_8-3$MW Gò'`K xUo| cg1~Zv[<,6؁ט @뢎P7"&p;? hQR2BeJhpiߡ{emV%j1z*S$rI8B+Yw׌!A.M!0`+:k]1s':2eeʿQJmŒ HQ#_%h1!scƍs9LNl{(C﮼'7h]lj&y2 ^ܮQAOHܒAV{6}ŏHj9Ǫ_4ީdŬ!a$*Egd=k%Ok] m|ˁٯ@;IA2ک>v$F)UN/9H!׎xEv@ҷ!3K_9?tŠSNr\`M/Q?y<wؼ@u 'h|ċjj =1Mk^zAK/ n7>ҤU:.ȓrMY2{RqkKhk o!OpqU%E40rdB<'- =i 'd5AUܟޕ\EB+b4fyاjSu_姒 Vtz} 'D3<, g/%Έ괘 ڂY[%<@xSJVr`N.N&g4Ԭeg:VUEN_Oe*]!T5maaԌ\F!LE.z~0fZSR|(@=sWMнx+Ic3m舄,JPFl.FSܲh}GuIQx\^<(dK0E [=z *W[sWUpS$JX6F$N sjN${ 6=V^oX=^~& zWE\#G!ir1` ?I@oGCq+%``;XqKn~1yzԼѮ) <|abҍj6 »wt%@ ߮<p7 )%OdQw_9c#B/[mb!DQpc$fg 5m~~'B_R'o=zwMr&g`8AAڲu@xh2zYz̻SG=wF334N9l(-$8Qy`.lP ,z5ukL'A&T}a}@xIlyFm\߹UQu>,1Qt4ПZu %dLr4Y5l@IbvFD~[-1I$ DWwS.[-aXO 5/{9#q\IRoyl`˥ ~@j'씼v>c*)@5л[x3gIke %ھL\`y BU)y>9 Ȕ5F7%ٵX=o@Ƭ0͵H{@ ?z,7ql8G,TmS)[\֟vG9(X2Azr ZF75,:׽wT>'4ĆU]{BCoB%\qjbL"8# /c S\K"ŀ%X(65uӜJ/XH2̶zLNŰ0ԾxRL:5d"KZ@ bAt {d'trGN?޹@x(mKKJ@Sq~!vp\z݃Jqx|*R3 ǞY& -pRͷ ^=eV\L0+ל' F!˲\ʌ}X3+..(B.dIJWl_I8x4X[!t#xɫc]`/8,oS-8HG si_F{ȠJ6lrG5N+IYz |. O7pHApz*[FZy"WҦƆw3YAJ[ʃ~qށ@-\ˍ}q+iM %E$V Rvv6*Pkfϖ Ȋϯsc};ٻƊ灐:{)zx}bZ+&JOeb}-lȚ@Lܜ,pbS]t-á ~ځphiJqf'w)J9AfCķdu6ҚXW9YHL}PDd/s*-ɸ$EEb @E4FS6DR@i6DQ߅e()rp CvG1CB 7c@ Lx Lei kEz(.">L%e鴑ߩ/iu$6YF)TΠc 9eD{aQQ(E7##K o6 g4=Cn^u(ȴ/+vxUY$rښ.z1Q S"/@ޙJI\M*D JO_ZHLQ4'wpofba3>Rs-<=_CA7&gQfc e1\h'Xa[}8/u>7((1 ȍz2\%L6{s h[ g4"feYxKwM]u[)0b8Io! 6ʂ"d]=3~]i%x{7}cJ`"}KD̙&GiO|EWuAr+ xqO(OWq7$bJ`dm0w:Ϗ D!p?9qC\OxP2θʨUf$. W+gpHb{Al,$#vK*'J"&/4x e!"FS6 D_\1yU'^eT4@8&Yz䌆3TFiA+}P ԙl]8BGTCހJZ )QmsB.9EE;n,LNjMzw3x]@#(eK D+Y~'l8b0lj)I e?.կb dGEA>yL~)>&uhIb,'=kPšWarE뽭ʅmfj4pp?a}Q[ɤϜ i|;炿cNhNIf(ȉղiai`.1jjy 0GK8@==5Ud,V觻sb^ iSΩZ<1TTCًTBMLb5<뿣utvoWq_?KeqҜ30q+ $?0 phUrWɨl2$N3ؗ,:S# {Nѿhuyt^'Rbx[%CVQj²qUD\ t=D-^YP|T/Z:->l~![ۥ;T|D^=÷s M~&|?`]>8Nw/?= =v`<CF%};G%HR!l)uh߿R6u xpw䶏e`>)|R*+]޹'aڗ=!RTh~?IyUJjT$hDA̽֏ŁXl^Z30[ZrrVև=t]N ]!բi9AcGKjS`CJ  u (6-/Y=> :?%O< T56hʯv#cP(opQ;~L0-KYaUa0ظ짏.jX!l+Js`r"xηeU&)1^5ICX:r߰e{ Ps8 #WwyJA`[Q'Ƽ-tɍߵXk!q5T{o".iQU{J6CDd5Q0"۹;Q-;~ 2B(iˤ\a0~~uGa9m%:͵?3s%=(-V$3 *pr$Ӏ7r& ?|z] WV_[*n`Zվ#&p7Smo$rmz>Ii( #ۙX wj>ߪ 6("2&f.uZW; ljH N̼\sa6PzjD̽EVH,/=G׽ R&>jL'azT\ĭ(7?BA'3X vN PPfS$?a+y6oݷ",@7ique9(vQ!TVMLRƯl2Q"gLֈWc5<~u)ItpqA]dK98Gj!^ͦv_Q,eʆ}x"i=y:|B{n1K0}GX6@9BĴuR55 :R0P 'ܤ!廜'j968{nԖ`N'P=$աh k ] f2Z)_&}ԿxƬdH]1i[RJngM 3$]V3a2gIy팶#BozF!E,%&PZ T`m 4š9ZAQ,zi5 t fBdE}^P0'K+ZQRkz\(~r f?gSlw{lKh ω]^+m/鋒0^%)?:vD#͑7%!>->N@ D@ 1)jX S t nA$UO;ttFsI3Ӓte5})=P p>{yJ:b"2{yOO:49 }]H\@\֮KR=v>l(>*k"=^O [{JDx߄j@@ rVo> ? >Ժ  lL:ԒC:1c'pubMc7łA7Dn qtdI FP^/m?:`WiJk1bɬ]q4N~jv;wyy.e-|`_6^јU{aMf9\4l5WmhN2fUN YIξDQ¯=Jy9$( '% ;XH}kثz|b)~z LP]1 YTLxT\|$~ͪ~P)Ay+bWs>?`(пcrACx)d8D:: P:@.^Yr1}d(uD_O裃t'O)3' r\MF }̍æ,IZ,Wr"_b*lXOc ̡TwlNa:O6#$5l+X# 黑Rl9gJޜFFmm_ q[ 3]_v$ְB;? Cxꑽ5;ۡ'?Ha; X9.>= a8yg/B}hA}C1YsdL&FTȅ) ד ) Ubk>iNݸJy;G<%{COó|MSwG5'33 )žxEz1͉.b5'^bGuRP^kGU`ю"3vu,Vru5Z;e&9PVMmzlptqw”-5б5P؟<Iv DNœAiŬM =.sn6r'vp3 hvM=z+Zrb]G3F*M䛚C?#4S900<}4t6[,I]Y/'@n9d:Y:Kt]r>?/ͦOwY0xk9ʜÝAcvXMdZ>VVbyW ~} x$7+//ѷm6 `f} _ew>P,ɋXuNE1O_ 8=2NO$J2T6əh{w?/kj+ S׏c~rs)n_%K`}Q +a.0ן'5<}]FGE嬨nrtxCTFn;rSۏ :z es37lжuz@S% f@dϧ@k8*fCHZQDMzhAWDѳΪXp@Ytću#.> -&wruC8BtC)6-88/A/uH 5a;ވ*NwhƩm1i4lL3 l,Ȗ %MDŽǷwg.LA$"  ق[5prNܨz1A~&#>NAj-*ZkP;M d+тyveL^.MWm0h96/ BXN ::$Ɗ4\RU#Z:AWRB{US: .$&x1ۨ-SYv)JGY2k25plm`==0`cHF.IF@=w_$٩h2b9o e(.0ə;Wq/aHs |+H!p(vSXtD$;)$^稣ZJ:,l+Mü "K ߯y 8=X*]搐 t.5ZewE#[(A/XsJC;+SVvp>KmkFGꪝ8˔M.&}"RWB:>\1"1> sl <+ܨ>@tGNEtྣ_2ڦ}kn)ۣi^IKdu46KD u\uV7PlWy/͛b*J`޵ܓ%TQ/S81#5)ȫu[ht97d3xv:<8PSڳhdaE#>qrMg[L޸".O;!S'ok n[)r OX?ֳOea}tޞN rW99Em[$`(QL"&'$e*Dy\I_ޥ&g*Ɖ~^6IeTr\?(Ҽ3QK܌̡0*8`b${``stj=7ais[$Znu*/ޝ7>_RU zc4⋋fGKnQw)C\ن=*hdxy53ZA=!KHލe##yr^]>RoB-P" nddHi?w+IrRF5.N6H7#z*@ڑ!zއ{ErF9,0.DоcB@Vbq_3(ġG0oHgBnM\7h^w>jQۆ[zQq3eub !+  :D`4 sX{G;_r'd %q-fyPF-HM$/a~Q]l'+ٍaKu@giKʦ" +U̇j$\j l!)UF?j@ش!T9+!|īgf}S0|M^utMjgrw-}毀 <̗A]{jpc:qP | ȑdG#_d,͔vp8lY^x5nLԷgT=.`u*lhtt B Z -kVUD_qnqdi̴-ws8'+Y9ǓuЛ|C]N;^꧌jm$^8\O;_Kl|!cu ϫp4CqΜ -Q(/|?:&Zѓ[7΅Cd#+2K=-jrz 1؂ 0w: 3CGQXyl_{@iSWJ7cg_uv(km}^ay[] aKW}}?֧H54-z~śđd{Ѥx*"y07(m5_pX4|ϾZګccQ/*et7$ W j*%,!W}t{k@J]?S}MWmR 59!.bLd Ndx`1H>`wY]}GCwN#S[LP K6-܊6\^qz[wG[X;7a_}n(>_TvT@ܕSUse {0\\?7G YD)#wZ߆.q$4YA,bm:z=V!RĒP*ʯՉ%w e0`#ZMӨD|k;`A|ăӦ8zyDq1KHeNڬijdKbI O N9v Ǟj(I{ķ NւԊDJxM[.+89R !DΜԹhԼ; +ڒkcd{Jnkg.z9>Msۋ$r>(qNO9cs%^"v:Iy vڶ\YmtU,W>f )z 60x0Aâ9%Tr0g谝ej%Mܬۊ~!3 7)vek _h^d^eH=3cLܙc  u6iܳXݷ2kSi6o*TfF47qE_^!73hu,+ۣ 5d#,a>=߯:=.΂׳^H_!?$ϣ:QhX5& 1!6Qj0Ne,JvE^~Vh5))S3UF8Ko),ښO،zQ _ tsbkU^Ԕ+Vsm]@ _~@snd)i厞ht ѠGYu-FJTAfk i,*R~v؏6e+7J }؜ K.J#x8|uP~@ ,sz4r(n\[3}LЯ) 0yXx} i֑U5ۉƞztDA5}u&D2HRT8Ri+iNL/'h@6Wc-Csk5:#iYio*x JuxtT|z 7'X @\t1?&[NG!=3f$?)PFgI |2GXJ1c5J35܂T~wᮀ\.rD?#m