SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  V, ]Category3:threads=2elapsed=855.659cpu=1458.608gc=41.860factor=1.707zXZִF! ζ%P]ŗXf1-/6vRZy_^&ZT'8fB)hR 4ٖl FLm& ac\8y"7FD~F}b!Yꋶ;>׳SҚ S;IM0РsEe&nԭD; e!2Oa Úg6~Wbǹw;2`Dt:c9OMH@\fw|f$tzWF @o+Gvu!>Vğ9$im4sm'zKZ^ǔQiP)ؗXɡAaeS,}bv!]* z =n[VDʸ;ԸQK>)LJYm0Gr Ɓ԰6y  aCX6\ʹG)u#EYbA|V=ɭAZfK1wxn.l^w/i4&!]̂_̼YƼ| Z0ͨ<ҩ! ;>Ec3bgO1н1Jx/vSE|wT/Gٲ,H` ]YnEbu"iI3x}qyO >':(f;fgtQc |,U ÏQw2o0D5^hBk1C'tE+ȍރ)c.?]ռPq2S!-c@Ѥ 7 ͆o. +S77cxZ_TpKiCF  &?@(f.GKݸ,`Juζ{)i-T+=`-d},Jr   Category3 \1_] (R-R_na9 HwL {.6"MN>sDhKCU5W#ޱ;"hKEx%ؼZ`!6?n22.%ENʔ"ٟ9Z粷P6mkt&Q!f˵3L穂X(K,Ԍ ܶ-̈́MgEn!p yr+s"? }h*и:6N9~?],, ~ÿsn]wX5K<، nv [ݼfv#F9˼'fQ)~bD&$rQBif8M )]޻,Yʆ]&ul*1};GL>[FV4˞#XUޙ7ט.DMmԴy:YNˤ?*&焻 2Q>s:+:wzܩo~;I$9?J5C4׀㑞\:Gawԓh+9Td'4 ֹϰ #HjgQ {v-/Ri>O(|RpbY4CfĔ-gdXsd6_MJ'IA߇XV>ξU-|ϾUGd&.|Xۂ/u͏W/LLc0_!,iۚi\Wk; ڈc !R/ell؊Gqr93>Uc݈WZizD(A>LvtӴB,"5SM:N -:H̽l^W,u@E3]48 f^UʕG,^ŗ$2uS-,@i /]+qe\[?6t*;~)fk@=>IؠӐ~Z0͟xNgxt][{AzK{yV.uϙ3K\O%CsyDL-?ѥ!Xț+'  =dV=-jBZW^*Q.U+K6]dHqZn5^47=4.uPHwփ`H;pLٺ'^Wߜb/Ci Rz~7ʞs6BVVlֶ  o@#@[xd]lf${;&.*c@>J% uEH}n4QBJm? [hO{.igdI"֋BNBw9ڄQL[o!L $'}gq\0Rn"2gCz93ÊC X q۝^ Oixȫ IРf3ԍ06ԕ?v6eg΁cwk:,P/쇆xc]N2,} r^Tb*<͖KXd 7(ዢ O a4c.;qY\Ά( \]Q-Ū5a %ݖf_{ՌY?KFȨEXXh|tdV P5WRIdu2N 9c?z*o55GBvKݐl&?|kdkۆ UgxT|gFi ~wld;2FsnN>|#2sFk5B>tJvS"`OxȧhIT.>)j30Y >ʁ4?ơedo̝0fJ\FZ2WDEk5K`4q'Mu&C&2hX8!3Ѓx(Z:@)I}%|S}V?Pw>I1]!ЉQdxa]\[7iOO8B 0H*S@D)}^gC,U0E{Hez7yKP.qHG.4!$<{&RBKw׌+(%z9fù|ޢ)2ο!YmDxd\-92H4X(PʏX:)4ps#iV=Wx{[r;3v$j0ή:ƿad6h@#NnĈ8P8{]4Q)q/=I ,wU r}bN?-Ӎٚ]w< E职sHat6z)ZU8b:4D½,~’;` [2ctyu[AW:K%狘sXBT.R&M\WFO@lO׉{)cɑS*U/1"e:@fI:v|Q}N+o3~M`ɘ"؞*vUT~kG^ZA6q.UTG#C5>lmsU`d]Pa)%TLÑrUUl?FR򯑭A0PK|gV p$̈́RɽW- ^5Zw&hw`($Qޭ}S5'gn-s.aL|v9xUeOektY^X!zQp0a<+gٌNZX颭{_x| 3&Dk҇Qb(rn Ӛ(If3qs3Alg2mu:2 kjԛVR= "7E&DF:Bn%Ksd!~c"x s3ԛ{LQ6_\7.ܼ"fh߸&{x?Nx'T""K'hnhwcʄ伆> ]ʘIZapZxm]𕘱;H"D" ;;NȸSiyUxBĶ17Bbf>$i_>bI'ab 5(x9ׇN,KB΃c\x|DU=qvy:,XIp][iDIĹk=q䴸HW3tK) sEٜ_ؒn\|xl $z%;R];219Vb#C*7h@ 0GBNi)DA2P6 %q  -s\xt14RСl) ;rގ40}!'e1xQĉubZ]Ce75uhYS)v˯ٯR7|l$u#YfXT^qBIH \!7yr7Ȫ(͂'%bgu"WNU7UhpoC1?kU½fuWhȖ]igdhDgn=y߱{IN51~IxG,CA\Ԯ5 9 M\@W-LRG3?G'"ץLR$کd5jn] 47KǬ&Zw+GC585*n;(2M?ӤqWQFƧ"==aF s¤$ѼRl7ҭ8^'ow߃ <qv8+I aCeCf*LC"j2Ҵp<Ƌ}ݭ ?cx`~4ߏfѸ<%?;m8WEc0WO岀r"}2"7jg47h`57&vCa.3* #ˉ k$YEvByHPH>R]LRa0?&i>Jbƅa:V]` S>"9uQOwvFOiV(1:s F zsg@Z# Fh柒R2 >dBl+޵ׂC;5_B.sxā!mSAʭE_iXu(F,-aG~&!2w<x1nd `B`H07k+dYdG 9U &1R/;Go/uHSדn>&n!H"mg FYa/(>Dr܀1 kn O'DcZ`$gPms<4#+6 }pFt3$榹05B!HQUԥX3U΋KAPvN_ao̕$xCO**K !n36ƓQr0eX5G#l?1C 'ֻzk;Q4hk'WjM&RϢ٥{o]6t=:r:1b S]cB2f^Ω2,,{=g:޳pɅKܮJ#Wkp2Mz%?s(z^!7'>oyZʨ+%/QvTz^[{G/ (..'IƒLcTFo{pFPˎ}Fs *q[͛Q=<*'aiE|AX>mPt}o0r`•BЫsRny`7o'Yof17'S]`  C?nWu)xO1 ` z(cWE,s5xNq2|JLPD|KPo9w,`BmG]v3&(:[E.kYqi`e ƶ ;a˻]q;OŇm߸Ԛ1_UPXt"`hb*!rBl5XFδW/sH^K(YQ]Vr: ĠVNmWypO :7=-j,Pgm2 6Td[yݧ6ocDW !hiLPt!8W~>$;xC&G!tÓ PcYsA)O1Jc]*6wL{eĻKd=ջ}\rČ +\QOKIŞcR:b R83 `w#.XDwLVפu\Y0Xz78Z/Pe/pNNڂ)6 loLUs>q,dO%>qv8 N  S?2XS+))3r{4F%ӛ#bۃseHa(uï|+|,NUZSa)b*yI)7նehm8ңt:8O:xH"_Ma4H"!Ls`l0NCvN+wSkWDF4)~yt 5Ph5y[ɼ+`ژ)"_˵ؽCL1r!ibAt8kNL:x *r)) QgiTn@yy PNI?dm2OeQm2hjysDcrL?ZxLuoʪwanaBЇyG,1Qh9 w2?tFp3KvrCU!~4v-_R^(}:6IҀ)qcc\ 7@Bߜ#[G],P+9Oѥ~墑VRiOYW8.deQ|r3qؖ[E3-Cx6gjRh1pSj6,*1RbH˟ J^@c8h5Ȗ 쇊$olR/5b%/Q)Y"p(m2A:?(X1TqĩTkXo?M[/%H5ӫ#?_PѬ-(aWvCX7XT#m9o n{ T<(ȣ80pFb\q\SOQCz6RĤ8u?isD)z_sI%+ igor4;L; Rt B6\ ,i д !%k%AG\4h3,R|x-'9Y؁P辏nR6XiwrPjgyrdl' Fvn{! 4q6 IɿC-9LS(SӠZt9:z=m\"W BdY9Xm0^{Nc| 7#k*bY7S5B0֠)8Op4=^LFNzQ #XJgYZ7zXZִF! ٙ}]ŗXi%}XZ䊟F@p̊RhQ# dbfxcoS+`Y<մ B9 vUaN-z-9HQqD):^EH.9ٺ^h7e`rw/{1t\͎6;R9AeZقf9!nasNw)5VlyCF4GemĚ$>x&v|ħqʫ H16*2 *҃c(% Q1?$4-*UL#gCOZi['{e``ezlbh^.uVʳOp!24t6Ղ<- $_J /"u d3ȦCޥ6|*O3v2^Ml * 2=IEHc춈wort !]*&"4 ǹ ibƘ Gu]/8:RǒzkB0 B>X4]m v=e| ze0gu{-Ɵp:u`N1{ ÚxE7Եj&0{M0H)047I).p{;"W+Va3Iʖ5{YܮBZ[LbeJ!/Gє;ji[ݯE_"eɹ Յkr|IBvG}>vІ9z‘ -@EsR%k "|2u]>QzH{*N(4+Z?mm~]PM>7By;bO0ZY&oÎ9="kº'/t;oCp>Y)Zj2Qv#䉅ã>d;VRct]C[ . 'Ye2G, W"Yn4PY/4WlAemiz&ՙ3g: ~X[)0Q`tHa$*u) .@IH_A~ Ɇj I;`:YlW+JKvA˫qzL`pƻmm0CI1b5?Jք5m|.ln0p~aM21⊭Ʋ3 {%֩%9&*H&V&4u6ka͠i e;dPEqg/LzPUG '-T hXh^WE"DWãٶ5GЌ{#_`5SLF&pX0qP@tb q.ns)U+%Bä s~a.+K!EśUO=G@lE3*(1T>[Z2((n/+9U3 PÞӝ =UqKDtdu㉣։b`oH[x-",ue|uYk"M'A&;>ˎlcJ1smEpoJt[CM,-oc:4YYi>d>9wluhZ8ijӻ" ^ OgC7r8GٗkhJD0jmeK( !妩oCpS4jXU }-lgnNk zkX]|RxzBF2NQ LE1ZG}(." ҹ5V= >yϦYf!nQP4a[1>`Tr6:py)|Wyλ8`-B>:^g^z% ?8>.kh@; Y ԥ"9~hOoKa}Ip_(WiIT{H1]CWQ:,$1I vewoMΏaspo~iY;Z ۞X mOd  ~ 08,\1f8ƉIÝ\[8\bӦ7~SPH?/k4}p_VƉZ٨ul8aX_Uz6b ʴęRWEݰU K@F Ɇ$>1jpm(s .e DMq\X uHO ֧ lizE,Nv8X׋ ԋS] 1+,v"{=2ofƪXZt4z7T4 wDH_*P߸%%B.#m0sy? X1śm=2[vC=}SRZ-9ߦgaK-v`yKc);A 20n2Yڈ 3 =n'W9wk-ؾ&Xuie R!H zŹjdɛ63'/о~8 i5@?14MżZ*\ E6P]3"h݉*7ftgz5P[q^oŎ{s6RƟi^c3:r?קB9WpQE_}>j2f2ͿjŲpnݘko}ZJJfpro5 "@|id?^& Deפ IT?a%( 4rsX&dz?њ蛗CN"%;pߐ#&KL3$=̧@\FG6[3dR~Pp]1rѼa%oyӔTm!))(9Jc2qЄc4)~ |bə +M] wӾnP"h] u<ꮸGVbx00mA!*9s=mi]5-q';}GXr;פ7\lU5敫oOCʖZoF@]n2 Ktp}|z# yI!LPCʗ58-:!bT/åUĘSoY̶ŦC:7;}cڡG|YΌ|KܟZ-(+@F,\FnΫBݧXAlbq%ky:bz631~MB{/$aiuO/ck)R{R8J(7^Z`hnPGmZCnm*D'#iwrEa)|V$I3 ,ЍG;Ccj]xA^}"t׌fT˫]ި;4 z:tFm(u#μxR's{l96: PU. ϙMﲡd-IK` 沌7305LH>D_lm n+%;Ys= X/LD`wSz4/ ,rdԹe~i1cdh,[LA/Y,hF[Z1Y+hm/߼uʭ1ݫGUo|v`Bw/ĭ <ʱ+?U%~VH?v\:aG o bZ92>TN|K<jOo V5X|"wz1#(S!e7:}=1.|i>h5ച(E@im4%ҳ`::D1L0,S+ٴuEr!PW0)2A`G2!W}ct'5@=s3`!O/f?VÒbkR4aY} ߩz#˼w _*ґ0O zZGwdkxxTU72ǠPՃ?ymྨt稼{ Һ`X)NJt?,Dmf'VqDp^#h`V\H'әړW!6iR a4{/x\/Vs%\>3*Y  "I h.k,M%A;60o鯏D_Dz k3Ϣg<{Loumpk`ήa3E?_/G;]Q [hi}>t Ώm :#UV~X/W,V:_6aMq8ombmI d(uFdlE(|HNb;|Pj؇9@CS7ˤ?lP7bSZe 5+)W8K|VF)iGω"J\Bf9ydbLb/[/hF2~(&s{U(q޳N[_S.WԖlZ(O@.x"!2KAzK/{XqXdϹ1gڣ;Wmڜ`* S<2MTa.hl-m˩fdO}pE,&D$ ܃<"Z*TYb3]xtY׭2.vSwCG*pD4ɢ'A)Bc@F'JP1Lw FVmkaPqDNL:KɛX9%qfF^{'?AZe~Uf~}[.j^@QE֧Up+8uy:h*1O@&?05KO{04\}-c3ӻF{qwM&(qFn!*teB>:ᐕ7}+? )$ ޜhi aRg瞘"/ V 33A٩QGѵLZCZ]Ǚ{&Swoe{/xdw sb!VBTBV&G}9ѷ3~ұ)o9:ih^%BJ5ed TlPF#F}EbH"7(C׵(iKx gؕC .6lBcEJwIx+ô6T  lj_M^'zħ0oyb1 Jqq"4J=S,kRYƅj޶"&ĺf )̠z:2_0^4Ph0s\z"Q7yXwܖRsc>rT pġyO|$_uAT,s ~~R%);9{mOic=f(:>VCyxQ`~'m]Z O`7,.mY/S޸wo,sZNͤT=AOb#1t%XyNrW|C`3n(x@׃6*֛#!x+6eFaPΩeأPa5\m95BƔ]jsJMI$-K1,n`\|_gPۂIT'պZ,9G<'ZfI߽ṗ"#匿0B" &ڦS%28#0:ؖEJC ?7g|wQP \ސKLk+UW*ԯ$KP:g@hmlY3#qkrw}rdy8DzbăcхNފ hD;_-p(N^ 7UPq&$ Ώ_j iv#*u5D1m.sKTNL\}Yà !iBKږv`[ Rdyɑ74u~FVc.?9Ɇ*)2, 0+n<8^8=¶ @h̯WܼGe1.*Pd{Og 2޸Mz;2 N!P-f^ |< tY!-ڰn gzeVWyЎ{Zrϝf<׌Ē>^o3 Bc-)* 8n1.4\ [A?6'm)|W1Sy`_?.БozbωVƢ?m8'5 ΩİS|?2vf,ʦli :|n.%|s)Qç IY' P7N2MEB)CWEmϮ}xlqs sq) W=m$w vm^1ߕ!V%v0^t/ d!Ӆ+W,Ooq-C?bQTw_Yoy27'E?DJ s$|朙e\{^}'0W?qf+BxZ)~ٲ!}Q}x_` ^tUX Xq;MoOE~hR,%NA =F>[9d\G})F|QևD-[qAs&WIUcHĕrOv9K )5c)`NndU79Ib A=B9ޚY[e29DJ4FEsDzUEzFg"%vBxOr-} 陪F8p/+xٮufKzF5'mx߂DYiH@ ZrwgUa$TDExyVW~"\rP)`̣_ؘ5}-bgt$?iBqb̄u#u뚉7tʁz;@c ^h\,^L%Wz8$S[(zW؍^+dx;uë!\5[| Da?|N819gXw 8@ĊuXvKicp(lӘH'Ne$%m(@mE. DĻnr r >ZEHA6nΈC1-4jWaHKb9'R뎷j[ b#CT~x8oxG|`4F2]IG9NlsUI&aʇ*HS)r3Svitw/=c(ü29%`3tk¹%gx&;t5 QKLm͸NvVHI\u;3m*lP =^+loc,b'(1(n>CZ|8&ɻ&Z< Y@!VTқT^Z RH,y;E534F;+,{"^ȟ8sڥl(먫oq1D*M$̶Rԭsum<RGPi ~JgqEPXDtQTrS#ZZ V ES7 <^(0S]"hs@VYh\ |Y!zׅ8r?WF*'C8#yIܑʒN{!I$sunϓ~9M(>c[Hɮ>هD-,1Y\ڳ1,xE.pl-4CL>i_v'1 0dZbC7 OSm Q=пA )NɃ"O ˗' ]cf֗t G]Z'OTХ[W-u_"s":VٮWyyus }aq+g^D΄#͍@M v}kq(hyҲ2թa:fav8d=D%XTlabb\ j ϛ 瘹..z"Rt_Dx%"ef{De⸸-Y h8n^NVss$GQAwG+GUM|zڅɯ`ZwF>#1] G\ٴ3[rO&+-#k\9=;|YP_Kz3*bamOOn!G ] le4W"̇㬭wJǘ+F§!pV"o :NMoMP+ < .N *\FBbn S^Ю7y:{ye ^Ncw,JseI!A3^}XLMs,Y~ЌS.sdzt'_|WZM(1=lpXXY\%r?zJopH5%݋$FsәOPjJ3j%$R}SAZ8JPkՎ ҋ1p$cRi$qzX5G.䴥+q8|s&] |E#W._ Z2_RU]gCA xMNgF?ڝ{`cyC^< bźMQ +.Dis"Yr3Ω*c-IHr5NyM3wfggާf+y^#biNjSa;t-n:V寿gZ&"h;EO!E QsM%E\ O)45:5 ߼ `82xXeD{Aӫ}Y%{_ TF@INc: ̀bNr *ʇmZmJ7s3e)"]l@.}J}1?ytȡ)zXTq#%k:dHaH]V/PּkPgwZW Rڬ*&ҖrU E@c$vKTTX,jTw}p9tgulA6.14O)SNwnw-w:=OCU/`l8]ܯ|XieO\f*x"Ӭ꣄X35> Nu %-`@zؠxM1j?`|MѱAAgvhγގ|pIWZ8*bO߸0|%J8*d {vpں شX*`3*3`&y`BRZA1U !^DRi$/L&' rn㐉ddBUgM $Z&j)ZRW'N"ʶ<$b"#,u^e(HYkuw 2hUinP8@/Kd#"&F%o-Z`r \;Ħekڎ3o䱆v)+s0 \\?0x5VN 4l>{!?dB6'z"5ݩ"DЏaO 5ԇ XWL:u1wEME߈ٸms+5s[HI#~*:FC\g^ ‚ TlWCCM7#Ts3ukGHs?, ژ҈j쾖NBh_K|A= WPx^+F9' "p, *;* i1:q *!>OXׯ'_G8|SeDjH=&]- h*ʙMl|B0mt]QbHWc&Pos7!.! z5t.#ojwTw_NI*RU2:nÐԕeh©,nǧ2x8e-@|^)IԹ"TbdYߺW\PaUwU]a޳5Y[P{;5&y_!e~Rf $.mAx.b}UJ6$^eDf"S\vb2+Jb+F>I$|FMnPސwZu$3%~hO@E)qD'-51$Uhhyxfl:?tuet]rWD[% 3M'\P ($Z&.0yRߓV tIPz@.4wSmz 줪 tɆXYp%!dAt{w6ʜ;U\e&-mRBA GEUQ=щd)Ni3ڒϘ^?I`=Ct7Y=}<%-l42$}(?Lntz_u b{ ?0(DS pB:zBVV/X~O^a]KU89!cܢD{]'p\ʝt}m~C ?A]#wF,8QؤR˶®;&JY3mZB1Dr-]l_ݻ[TC>SOs/섀,nrqXV cN / ǀ͏E/Pt#˒Lt7-:5YboP'>ؖ4<+%FV'7?6h(S7riwYQDnd `CPs6q|RޚWȬ &\eh2n*%`ؿ'[IVSW 1_{.;T6ofS Wo g( Ĝ6pwnM&0=P5i$^KS*TG ?IR|TYũ꒥(>[ JĹW&_"jlV%R:jHP]E,sA8C'#1кm43"!]*T DoUFܗ7DWeXcM235!>)c`1mvK(tF U*Nk؀Mgك0O,VKoaGc;{(6N674@`8lBu[BTu!O1_P]n NDW3w g 78Loـw.̥߭}.QXt*D5ˈ2u_bVTѽ&ghn𤒹5PD]박쩊Җ&s(ْ݅OgrOu8%FƆTd+ |Ll]&3n=wuTWx$*)DZ$\(% @']C}{sCi$3uv7B8Üazź,qHb״JvpFt64.Ll6{X.=ۄ Mң x٩1kS[y4Wcp*v˭w̘a\ݮ}yׅO:Cs|IAl˚%>^S6'}NL< `׈nY L>q䯋/Rey ^9u!.a} 鹖nԱ(0Md31=+Jlay_ݺ=H|+l#]ggv̼'xTq_˛f2WÀ4 BŬ1=F1oΑ!t*^NafP$}O}D\G|0(2B;I LylEmfjs}/xU֣\Jm|a(BUݭU!ޣR =ze vl7u xe-H5=(N^J>?ABԖ>9p]ꎘ{yfإ9FW4jyLz5WxSf9L\&@XGwKR?Ers];|-vX8mx|mQp-m#,ͧ$Tm)\ Bk7C~Hja2bwcD?ҫ7&@uSo"&+ oW qbZ|kλZ06̡ƜʇHOPoQmڅ(ڕ+_MgJDF43 7 xE=::ȁR0突*?"F{J> <+Q{a;q]byK}|M` _dXײ 'BM)<{q`}Jn׮9;i4^^hWa'׌غ47] G ì BLDQ /vc7D~mֈY^r"$5嫈HqPq3qW<`H'[ qڕ_2yYoY#%Z_PAi.~~4iJԠ5[d-:  X?53s kI縶c^eEU%K-2Fue֗& ~ȷM+u;-{::uC>6dFlXےzbOG d)/dl.$r f2@?e;硔֖,aDdzjpxbLmJj,gxQRX$I oyh@Ӣ,˝ snjM5 ͽ#):u;&Ӻ,q4zO&97K וs \Vl\BUppƼ@dJz ӺviB0qj3q N(=k砡LRkwz'f6E.ȚR%psF"aʘ"b Wyd0,>A\]h5?G@Jk&iv=J񸭍RdA=|2RF. |+uRˀRB6N? \2B\?sMRlsQSv83cyNDnwl[˧e%/ZҮ xBX)V uW؍\ +t;;?$[궹M v`ݖqx޽._h|NP$/a%4Bxg<)eҽsk^&ÑffֈnL謥y0aBs40FG oNzM}Jnei~π&/M][jo:8j ^$"0b戙H6 i7{frR&(\WG/XM ()^W Ӂ9`CO{B}unAbZoTFR{ C &gڋדO{S墾ڠ* nZ`ϸÔыYx-F  #p>l+nx`7"ͽ`^O@n?=i;bcsrFi&oB9}(V0&$BNG ͠9ċQB$Z~ĴHFk !΄$wUl`{t=DF\A.0fZ 3yqCDGIMS`r*wH>u'ng2׈]% aوzlSOLp+ɝ ί93`^Z(k}ZGҋ4ȄE,) Ӑʞ&+edn@{\G~)O<`$Yp4?W/)dpc-k)A#L5\dDTRIOՎ |؜=**^I!K.5zU88R"T4]*G vU$? H!JNE~h3pAi`["Rc|$L/ډ.f8]Y[x'wn)|8Vl0sr9$Fv\2;QiR=J.\#S<6d, N?}An'.pndn@Fth >tqU${+.S9:Ɠ/gPaE$XQH[I{@4/0̨{ճbFTRpˡ'1@72u#jްOgۡ6eÓ|raiCNދ|/Xi 75%IӜ!S(Q}Ê؏aM|A,,bg ֯rSi(QYo0 k=?Ǻ?z!>*>|=Wpvkp-& A !jc7wfP."|>-`ikήϑ(^fBfgmym$< H2̘? ,ݥ՚KmH]F+7&WU@-XZELd*8DEt؋&~ Q ۫,A3 b6Dy9iC]hSHN06H63Q*/kK Oj܁ &Xҗ3]D0⦃0,GpZw5+<2G,w5}U{{tӂ70vOYg|<4pVYb2 0=5:q/#miMޗvwXuǬeS0i}1,rwŸZ,⢇(w4ځFڰ2F&@Ob#5HG^7l}9^~^yIOBaۋr% #2u[3'$Ƚ6Hc ylA#>@p|lU^)S RKPjyJ2!@ ×OGRt넶0Z:xՖ_.xOKSFt.mf=k5o5 _e>(1EWY>Y֬vӟ=!CE1A)ǩ"uG4jNY'z AO=xrm'$Q,и@QVAMom7iA֙'kvM?);z_rׅ7 %SgOYmf+ N&haI},oFT|uăhzq&8K3|JsT'Sf.$}*#Z1uNg1eLlXD*:<*ne%)iVS+s_6p`0C*/$λG}. [^C6A/ɧvuyNzYZv7˽=rV|/"Om+g))ɳ3Px8On)~쉦'*mΤk ڥVkguۯvvdr&EhibǼZ1iu52+Utm2ύ tqoZV?# Uef8.nD!M[]@+t\^i'dt oj-M(2T/% >mrL {4'pD뷜M$zJ?9] G{yoΊ0>CL8$c$/aPvЪV{t- +Ɯ3̾?A?96&tSa{O:/pvGK@Qc`P"gOG1>_1L#Ï6Lo@y}QjzME>Uf3`redH^G1ji;&p}vi%(Wͽm5@xe~66[&Չ+f!턀b؟cP5gݦ!<&k%)g5^{ e-HE>Oa} Kl/ 'PBٵ-w.X0 ^iD>?DS3ŮF=Y!"mm)I b;]75hxp*)jKB7W'iIzH9T`OP.:2uN32(9ZM|wJK~)M| ~`W!a6TÜTʋF%%l'1OStQ` RU @Gt'YxxIkU{}60 PT4jU; .! MBֺ9cʨb'_H#RodU!&dN qʋSi} a`pq: f?Ǭkk!^`3p<vy,#5{-b˖:NFU-'/"v~MDF֝ߺƍfz=c*'Yg%l5_]ح-QcuGM7L53|S#7k`&UIJϜ)qom׈-r9W|HzvbWTQ qb4&bYS`̝PWEc1oE7qnĉrNcl&\QC(#jLR E=ۙg le efd oy?><\a硃w >%a[bRWyDVwlm;۱9F_%},X>hX8Дu( f^2{HTkA棦ǍOվBc׆I; F g[ߟ1NJO&q+.P{{ַY/7]pt32$Tk҄@)})$ cg~H)~c Txͅ}ntsh_Ԯ9d&nᦢ%1M; dUs\s%JO m܉#ʥi&a}Ic0HK!9ܦjܿ/.H4sb~yĎ)*.(?j^?9`SrB"pXzNIWڮ$C߇ ?ŶCs=v`[I^uHm<nLuvlO D㤕-ߢd37 /M;%RH0W2ѢLbU @!ɔl6۩0B;GXY(]ӂt&.-/`JQB:V sNe!zZ4n2&؈h6zh%ڎ?? -4kIm2)˟Zu}.s!$ZXYQV'w}ؔ =~pAލt)N:3D)GJA'f,b7$9;b?\tKL5Q&Nc7aTn9k~*S:ɏD3YTnWFx&zMesЦ崚rebPHA3sq~pΫ+I6 H}}(C7k)s? ݼ|ҡrsˀ3sށ-뎢ҷh) S0»O)A99߳riO p|_8R`ϧ䁓7C o`ź.VJ(S$qSV2}$؝FHIUHy[GZEN1˷A3[-  _"D.n-@-QbPTo6[7mD~Χd;#,͸h SJUR5 ƒszȦFsi7]_VI3-(SuHޔP%̚A^?o:d̹83&wCi3G2Gf9c xee&яڜ8|!AL(y61aMɉ^~*G+V:n\mw@Gֳ=N{4u(&(FUw  pp/Ӗ~O\IJN{ ^ٍpz r%0s/y!O#Z~~{#axٍpjtT,3OV{̫ My7EHgȮ' h om#!-^jTq0([jY`k.8(XECBZ"`wUN wWfzvԐb2Dұp]޲|%8{!9 9tď+]z; F `a&]@ȶyKT.ۅ ]VMƈ?(eona?Ҵp<:! F43gcBy1uURb8p\o/c@5 Quiw~tS}= L vv.77]Ӌ5F1u' *8Cs-6] @/>\*egv<)II;?S?!8͹ p#{ʙU۽v)AHmXD&{n)w–: M#nh koFQOUiyĀS26 (TːZtlx^xJJ$ǓZ瓏z6O:GQ4KD4Ý.!@,448_byПoL4Cq/a$C@5  DF~1XLiQ!7q ͳU tW3Q H%v7V[ 5ZG0Ej"O<7BRZP HM]rz[aR`m`;=eqԌp 0&vnE|gfE-{F. VЭC%˿ԻVN%?vk $vCPDmCmXu$8qφ9%v[.Fdy\y_:@H_eDIVrDϏVSJ@!?C]^|ڒy#([# ;]+[έO|d-PT_U} mLm%9Y||ծ1YjWS4JWg^E\) :tI{ZmUb鸃2.^&u̩I }W{Pyqf{3u7}S|ZA}l"bܾۢ3*ReG+kW^-'\ĸH4n3$8xA뒐Md Cʠ#, @Y2-"!'6b'&Z!O3X 1Q. Xv1|"ڡh/ˆ=q}K"q?D-kTMr@G]jqճa|.E >LL<Gt,(i>Cy+5a*r1 %у9Rz|E-'`?-Mq|j/Ai|+3a{-}#ެ >N\DOd  VGE8Naၚe'1gy^I!Di{L@7.cV?2_ސqWHTd5t77pK:Xny)?GO/JCΏɺ2&zgQ.-虼qWAΥ`G6|gnO"| Lʴ제n+2+] 1 hE},yH"˦C#LigcD 4lF(;oX/&.~/S( MUd'{zitvQN5H_F0$-tn/+?r~#8/,u!nh ؊ŷOvGP{Ny E(¡ϞL!Y ,OSG&O7(+w>.=N,iWl)r*&o]N|fI Fz ȹ5<JlJ4XTXgeŽ?w^y3yG/~ 9>H36R0옕h$ ٻRԦޘfM jy~b1y3'.{vc'`0DΕAǼRς_ oxPY}(>YEk/t)h/Np̍rBMVù=z'TuO0@j%@6Wi~v-`u fwScgZTn7ϒ|pM^Z 2<$u2Hb+bn찭D0x_$6BV͆yr1Bn?F =yL2B\@|{I9:QP$$́ss oRg)qIARhUT ;gN໒2 +JX:GYҌǴ>Kq}vs?B1sF_ɀ? >+ [`FV0tѷ$ZO'\c7Mu1^xfLaU1 TjrX/-nyŵ^X*L(Yвӝn9y,: tf#|p2*ErӖZ#KT߯m6i1} Pm%biWk~0XgEt#^5K3^⺁G%AqZ3]MEku[;|xrG~ƭow8$~ť&U1 3^As%oRݭȉDs jy -.+b{i6.sZ 23~VzI$Clsr Es)MsN@sFXMV^rE S bxx4<z"N_?i?2RǥOkJmpdN󸅆 R3FlZ3,(8Y [AOhr4[m)$ؽ ۽pT)8,&1 @dP>ƀ`C"x.Bj;_cl׭w?iH%yIL :wvhϊ UT;e(SJ`) j׬"_ER%:t x V+~ o"R;iή:ɍa7-Uu]o^Tb_"yH'-sT﬑nMw+Pv-?l\ۮmP/+qV~SLZȲ oCOZ>XRAY0 v|+*Dl`-ϕS Q;9S2e.U]% z_͖:FnBJ7Dzè5= JMAj{R I%fIIӕ81:YG=EP7 JAS\5 u,f΅,šja ! XT+%!" I (x,%4cf<&oV nįbb@Hqcs񊄇 'u$_"slƽ̶q C٘G~zʟ\Eٞ78d(T׺kON=e^0=kx' TwV<ܸ=谓rMM8Cnl4T͖==XYTRC\o3̘50B qdc;k_bD~{8YձpC6kg&烺=8YŹrf2 eEx)>fSDbjΊߴvD؜FvcF7_Xy8s]}3t qX_ƹ! nr$pZ(+n))q`3ՋC*A|;0mCq64/b F8'."!mpb8 7˞۬={ n:(%lO'"{#37"T_R65~C,7&t$,!@cHUlM1+; })̤Q'N1/]sE .&Eqc֗JPAZ#YY 33Vީ)\W|$+{DZT1g`.t3Y,$gUL,|n3ӆ2A+5 O 3t2Dyk;m$ϧiAY&u   E叹(=2VKSɜo;h|,ȇt<˳Q8~̊꒔87cLThPMH* VXv{RrY>hz0c1eU3w}c%:IeɢBtۗ}y,&xĿR1 B^ 0?})c$&wak!V +6 {JјRK[\s,F~JRwI֟/a$@FS^(,΍϶4erLeV#Pw}¾Tg"`tSPc)V2*bṮ N>C4ƾDq_.Akqԛi<__9fӫ%#mdUfs38ӊ3=X] #)9^8!tѳvlzBBs+S*-Uڝlyv!d[w46.n ĐYP|S! )8ic XyFlbvUsQdU肽? -PL#s & Vj-N{C_@] 2x@W Y)[kp3 D 5$ooeN,Ibtpt ҃o#si~䪁\a#!" I͛c dCL>fIqO¹R h|z; Dr扻@c&qCtH-aLqO!A~xӱ_sN~J5j]c?CS`2~rY,}~:Woo2O{{n~SŒj5b8W#2k" oX,M; Sk}l?\y\3,a)fk)Gl 3#sUxYXN8@ ̒+F?ZHY @rێӢ ( jjxYe/6\zde`|9?ZWc lqb2/w{IB/41I*vAD1M' @lёD*xl5-j,Ү{{ myR]J^,NBRimg?ճUnT`5*KU'$F qe`%1y)zTp:8«;~k8^fcjʔ8bYUmJ )MO3&g켳4B&|'&gYK i9'oՊ(>I$4CMrND溛]C4:ӘM b3JUobwr+o:aT'xB$Du/n([mվE 7'7{fUABϱnqtw@Zw;.$A.Ka3~P9v Q!3Dt(8iwbՙI }8bcly,xvOJS Yt4ö2YkPjGN=\ϬȃJSfTE!])R7@E'ק)F<^0L>7Aw /ӱN5_QPGwzvÄL%ŋI蠵4zM\%:S^r1Y+H=ͻ`L3 n#$5!;&ڱy9%H=-ëoB.[ M}TSIFrq57YobH)N6$ i`z̅:4eI3eSHɧ `\.btm)njkĽd!KaٹqX.5Ē7rz2R @=Z⃉"C9ia7]̥t(͐w$CuWHEK̑~+zb@jpgu~@ ȓt@L !xLS QM:Wfo/~aY*4K-y_bAnץ~b>iid6ah.e?TL Z%HLH<(?ij3'px1hgUxW%5*c:/J]qhCO/Hj޺_h6YmN0"&@v]f -+=o.BN%@Ptn(>ܢ 35|LQVw0^辮rp8fZq6uPAϏwf6 }SEWw52o#T->hS 47d$N.#UvO@UU1=`@ox>s:Jn$Qӆـ{D^d Nw\ރx:x/$vlA_]@2%II*Ca5D2DѵPTRu KqG [GTh SmBBu+vtS6Q?n #>?6$ta?vK KQp<ظ BTUAbbO pP=zg *+y=ӦG |Lc K4,^N{v0:u,COIE)e޺~TA_ ACmapRs)(Ї&su g'Xs,g.m>.)$FDQ2Un$IV.Gt Oz[>S}AnTO2iQ rY}PAwRߓLiʶ`]RuTQ}dd%j#CJXx(R)ɕն*8 ]ew8-L9>X..M)vukȩx2bɲJɰ~+}! G41(#{Dq^GxKȞn#@fIG]4W➀FHMxT>ڝ"x QP ^Fw(0(69:,h$hں72E" +@1l6 9zYz_,T +,| o jpGS-?&ES5Z<1gs𱉔 hvkW}.gX=t'0oՂ卆)fNB! /m\>`=/c9?+޾5@[\hO'UmA5-!~%ǫ*4`J>ʺJ dp&sŒ[>Fc3a3v/n[ IܞKK7p\:ӂ`kx꫒6%+ JuX\ȷ.4sZ dޠʠ;#![Mtj^ܶ[JPZJh=.UjI{HԈ1>U`{jU-vFP5%<@}ȧfs+.*M2ǺT* pw+NT "ldq."kc]5s{# D|:WW~s;؉@ qbBU+%u0%S ϡ{zʆ&(:->}n $\pkD0 "aWTSּɊvs z˴.A{e. Ek(Qwc "0Yӑ3v?IDlQc>)uÏEH[G7e8p.(mڞPj_gx&-F0dnʷgȴR"]!'JYj|Q I ms$3YÂ[ҵ+$kaY q?vBW>,>|ER7,@ae+.iذ3cU\n߶~捙XH.in(9L:\-kvƮt*WgɌxF<(vpB}٥zB 2#Kz0=;sDB{S"9zWFWvI:q\SYdKXAFo[$ "Xyuv?pUm=** 6.21+W<_"S7+{DÞMLHD7֗G0u$y9%nxE0B9egϦp8Y 𡙊3t(a ژњ, 8:26k_wt0c~a#ܗ7v5S zv.iF&'k'@/{6 QQr,*``Hf~o|Ϥa70;Kg9nMV\F&gVGddOѿ C)Gw?͑gBsY >$V HduX dh\[5c)Gv1rcW+CY 8XFQr;yUeMvjjk0:0wF3i]a Ō0 -[5oH?: 4m|^#(|F xYpN 89 %aR\?E_ `^}i:މ:0<4{apA`dtqxEvn2܋GSqJVb[@?7qqO!&[('P5XIL'4Yup4~=i~bBMd%Z:È;?`P.2rcϣF!8uEJ h$^/$r( Fě#q-;ןU"`ռaZS\Dx*aW+LUSXVwd("e4I ]G~\m ̃^cŮ=R84$ SB5* T! c9⟡ЂO3Y‡պp|>=1%SHMeJmPd %r}vOLP>ry;asbr$>ޮOtװ(kIr~B⭜NVD{5o#OoEce0-%쉐.QwU#pT2ľ,{n wᣎڥ?nZgYZ0fd4defefc9c3a83c83167cb24b75edceca04601 1ab3678d37f3ffff77d84561f7d505243b0babe2 1c884124d672567ed7964c56690b35884e2adbcc 2353a25fa55d4bff60f600b96d2837efcbe81997 23a299694dd6e3da5ea616d9ee7cda7b48243c51 248e26121921de3fff5035082fa6f395fe632b8f 4065c00c4555547384ddbe4996d4b0659871b0d9 4c4e6a82a18c1d834c5f9dede7948f3ac8ddf992 4d119663667bd0ce8d63688ae8dfaa389f7ff749 5380f445bb249710308f4d8a0cad22f29628be62 6bfe540cbe8084ced469c7f55963133b0027d047 6c5b4c878e7dd9825071866366d46d92ace5f6ec 79be8feac973a70178000cee4a25fcc7e3872ae4 ab2d2b5abf0dd4b9f856d3c4705f4d16e8f25370 b4025a2897cdbc95e643e6f78ccc4bc9f30bc152 b7172841f6f106067ff5f33c2e89862f91d5e943 c6c09542b7beedf1a27b46b08c671e81300c98f3 dce1a78a7124e77a603c6bcc2bba1f671ef4818e dd6b9c101eb1b4d4626d557ded32d1b6f21625b8 e85e14e8ed1327d1e8eaf3c086cbc520ccd602d4 eb2ac49e231730d17a6620fcc806fc95c0329add fcd23409038bf74b6e034eb36fb78cff17075ebc0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382f0a32522ccd17ce04d0da7b2037cbec31cb1df9f