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 ddp%|d ]/]HOL-Analysis:threads=6elapsed=274.459cpu=1222.884gc=82.960factor=4.467zXZִF! >x]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn%bӊDUlAXqWbs|}y=Ɛ\bZD; Gv.ovN:Rʻgz/ZJ,- ҿe,v̓[ :!ɊpQ}CCkKC~>%r:AJЂ/)=y0p:w-@LBU|U-ЉBᤦ;49*3D E:݋ds\ ڗ%pb=ޜ҇\ :P!cI"x;Q& k^‰GY+1#*` AJwBod$ǟ>çX'R\U&@RJM/HT Q^"}.7 rU T`m(Fҕ2a6*`6 $O*f‸fz P,O& …t x  |]i$'YAQl_O!D[e!=sqc\Ii K˖6TE %xOaQ< &͙AnƃWd~$X߅R/hC^>I 4}OU1ހ̺W(7W]ҁm(tZ,w^ժugjy;p34L>׎)*@'o-'t+}γRT%|e&7Y _]h!\["E-ȁEDa$0${(њ's0nE͐,溮0))OGNN/oHl9)al`9Y黎ްA 1ou;'<7蓭r gXI}_|| \6PWW*N@'N f2vmU*HIgZq+2\Yg5-f6!Ņql4ҹtx7EBD`_-7*b)0|GHi4:۴H2en2F簛2}d92Z&M2dvᓒM=-9sχ+.6 jȴx%XbsGĎGBnN &tz2k^u]4iyB#d8xŔ!5; "f0M= qoqc[kI [ 5=rRD5z04"VqUwӢ1~.u>%*y0>jl)fP *x2sX]< 0ަJP- Q9ne| PF6R",r . JE*D H}(#u(zCν0)ʀk3*fG mV5 銑zoa)0fOgۈ6j*NpmS#4OmpZKZr y @%թ\S)G 3d>I#^Q[f5"30j!W#BѦ6&"C7M6,mMw?d:"e w4=5Rxge@_ksR}.<&u7|%@y!8k"/!B{$C: Y?}_?o0R۲?=7VDOϰIr"Y>ZciRnnφQ :$n*$h ]گ;M6c$b~_o&;>B|$#u]4n$+~psAfLw+f}RʢZd ʨKN_ AF:iNq@8(qYQ8k[lMc\fT >G#BwKKqVhd MM#Ip~/WPu6LmamG>.C`@5m&쵖5ZNBNiP1,{Wbu؍uQq&J|MْYCTnmL f9$qcdcJsi+ ʀӐZGXZ1gR94ijv~?&5/2nalg=N< lۅ2q<\P ?Pt&3"{ 6\Њs[k!a!iqo#bE  z_j՘Q =`0R ^#Xe&~xZ;rՅ[0ɫ^V4 |[;`ʵאuMTzi9#$\ L abZnw1hYdne[o2B lV#{P)CEXq{k[;> 5Y۸`f#ǹQ\1ܺ\)٦ROD*+GG t3&$?$% Orie$L"ADh-)L"qSȯ<"7F7~G#9S';ɩo`kjH nd%ĬГ֖$$@;6ɓOm^-L25kGW\YY%Mԓ v&F(Zby^7VFx|wew?3ŷ_䏢kahE(&RzcVON$n|V  *&Tܜu‰Pi׾(.DmnK~KO%d{h: ^]H{Iseaf2pS711=}V1.O]3L!(i-8"Q? ";-ddÃ8O3\'= gDB!g7iNV{}x|G K KƁozvdDaS@ gbnmbŁ99+iš =h,w|9%ɭ\X4oq=3h;1_̳46[q!vw7zW&L[&\pi^ü`pL_ ͺ) 僪gC,0?,8rLYBptIPԄ 10Axh&Qn%_A(-cyAst|9}0DP%n\)R12I6 B8o9uvn|/b&,fز^"Ȫ^bASyFڇ%̉rAw(f2[\30ɂC+P449ZP^iٲIA^E8zRj+v|͔KХNCǻc堣=]=toO\\rmӕAo"Uߢ'E+4T1hd\dsչqfʫF|W&eI(# 1ⴑTY!<+]W1`CU]-Zc\Wt4E7oHPgxs\K8/?44x6PcՠdB$RΕGQƅ{٧ADsJ~;k 1^r]^4fjQ˟}3Z76M TN~Z] fMbaeܠYԏϐ"zY؄(#U--O0FQ#zZd쁹]ncJv?VTVƴ-5nb8GEZMhߋl$2jy* lMZ*]7A[BBQδ-hhymmUY :5ј&H*M/]CC|JAp¹N> 1A:X)^;E:uU ]l[҈l4>ً]>2ACVQGmZ=.wĄ4ߟy7h//iؔlq(H -^n%KۗGqJT`p`jd*۪(q&9O@y7|Ng#xk#LЮ(?0yY*T U/!QC{}y ;/Qxvvn}^O ߗTk'ar$ ި!V'\պq)gq(&"}Р}P+gdlUYG衽מʑ|t|pn9f ̌̀7e&|XGo߶Բ{7&,6' ELUQT-[ R\ZR.CCZeg,_J+z^|zҁTxӽhϓ v}(}7MDdm0SIӮ0!`僽8Czr (2:Lb|E(the|/N=CfAP1 H'.JJQlpVA׃3iõ|LH (n+弖 ( %wU3н(>Fu3$ T2)ǴRMBQԥyG?YV?ݪ$*NX pm?j} ^B TP^3(Hg}NSR6=P@^en+R²:3$H?[ӒRG,C W􌜩L/a@s6OGiZtGȓVPm$dUJ"1<ҪZC f](9Gʬ\XEbIl qwv宲2!ll7&3luFG_\S6.5qKF\5ddb ii; >)8>uUuB߇*p@Z6ī7?_se!wa`I]j(z:97|bJf17u9LCν,#v ߽ )kTs.}nnH/ltn..~iĝ$Rt9o 燢:#*`0foEM/T,&nbWpH1$H{Y "d^de*qp\*`l aLq[ b9=Ր }ASkB+po3r@\U&`rG ɟ!h=-63S2(`ga|S=+M }](g~Âlz)h5c7Bg;ԕeyT%m_G]\&Kй!Eހ[!^]pIo@oWްӽA=f>&m5ŒhBGU60:/;~S!<` = s/Kp,G΍-֬0`r;1upw-nHxeS0[!~D>HQ&}蠔Dyg@߿qvsfC %*(HL4bwF9)&ɕަIɘqӄmeaE=)aߞGv%A2!1S'04QLhFocDjw nүKpzP$s@R`1$eG4}$ #\M#X ϝ5V\x<3Ԃoo%.Jf'e$ln<@<[2Tkʮu.=) zofY-g@DHi*B=nfq^ǖ7Y2ck+ 0XLq@VdNlX=" v{s={x93&/X YQIqahɓ3 ĺ^VEU,qw/Iz'!tzN1igoUU5?Bl#váz Ӌ0Ԁ<>5G'ӣs8{cl4241 Jo5.<QGE((p&yߡ2޿PFņ>-z``=eϮMF7US,U={y8 NiI"%PQk0EUOSe) Z]."ko^&aOIשF75 Xf9ӆPݍ׼*O%7sFL UXQ+`;q_,ސ 0!,3d= p%Ae4U휁'8a{r쐊q vՍ4?HAFi Q 3؂dn֝[$a~n*0Wg/ E &fűo 1j?HIg1DZJ]= +>llOnFc…8q$?D3tgGvsc_rO4'yG7~I0EGlTbIdUpcHݴֹȕ|hin{v(,h/>}eyUK@١ыSlVf]%/ v X-xu?]\C3 6$d CN8w<9չqD/ $J*O.B2 Gq=m|T4Oo+װLWX /?N)CĤH? B`sk-ij])wS +շBKqṞuYBxyռI=4k9SU0bu1^F&9Gs`8Wȯu[F\zi* 4ˏF~z,\%uѫUgl~D3 ک2HkM &rF1MGuv+Y iB # RM?09e qOj/p0Ղx`$A$3Cڂ[ }>(,E@w-82“Όb&33m]9XO~4gxa$XeaO:Jӣ\UפcO#gZ)/r(8&:po?{x&"dc"M[2!'Մ2\3dEE3^c>v XurI(À Hu.*^y7~;C'_.Pm$UӊhX6v`4&W|Er 0@VVpN6B:)߶V+3 … LK7 Z5[۲rVi.XP\cuR! IU-КJ;Xkv&]ltC IQԐA}KWfl˽{>!u1"&k֘Ru+BL=fTm W3b iڬE(4KFEwwNjj;lD'1oQ]daTxb·56N 0 ƶﴎgGO3׋K?W0Mt'z +#PVk#%w锹sY:rnQ/hYPqb .A.NHp3-AQ}s.߱?e y˺k0hW2ax=iQ aȡxVҋ-FvccB|A^ktA^ߚT ޶h(xJS8W>8[5/lh('Ss|/K S٪fRg@c'j^?;W]ƶQkdVhA,9jAf(/*Z:BWmnYtrS=p[@|`I*u@X1՞lzMdz33c>bKBӆy,`nA~H7 vd vYy =52k$iKل5xd,IFZv2~5 _M)r-)2~BX)nrSTrJ/$z7K ;Vl,h$9:HFAT\;z߈OWRF1Z(c漛Er)'D1/Wr'n1vsdyI|Tk.אaj)T[> Ĕ2eqCxΧTEߩ[%iSuZ>5:p)h+`~4/T,5g 2qLk#v?s\dj pɕ0o̒o|)xUQLqA`(a8>W m.#PW#@D8!t'!vjpeC_6Uw;c+_*Ӎmȶs+P|L:#WF#0)$ 7\K*>:eؓ?ñonGE+I,sAαhdXDm{e<ޛVwHuHgR 뙴upMk<^Zc$GgM SaG:}zwN7tˆP3邉r-oA7r][ Yl6DNfXG i3\B|& ]<6gőp'ꚰתulywK~L_md yc[c޹ICpswh(_Xͥ"% ~WgPn8/!)7WtC͞+-KPp(<oXU/Kf*JZxzT-LgKEE}O=b|i7+21|Mjlp/mtɡK͒;Tc28.u?^繢H{maPʓh16DJHm$rcZuI[x1grSTa#(Emew˾^`n1N*]%hW Zp-BY.)lLR[AsdH]Оhof{lX.>vY%N5ԪW2nj[K΋ DJG]ҵ?}k4펍njq lkgBOm+\ ˈ\8~QݤgCЈkيB_H#x?+;3-7JNFzmn?I*0nGp1ͨ7#W<;\8ZrS >[ؠm*V\( 4Wx̜BM) b 9?~,@^ Wd#B"$7t^# 4tMFGYN A.tsJ/IWwJ(w5<,ߜ')_k9'mNT ):‚I}ds[L6ZnP-$Wv,}]^ q*k0$AXF|'Wb߂9/鳖 ڤ[9EzDg8xS8fZC6I|G{l'1I}2{{zGw+vkUBC<\}N#t?eHpS1/8ƿ yݻtljAXY(_4?9tG׉I$Iʅ7'i.|s됲Q6`Y%CIshr'%l6w4|{:qNRXC!awoMgƫht^MD6Ώt,鐐Zi/Q8K1XEVSamZwv{rlFIp ʗm/t1bмSiӔW}S몘qfة)_g@iTk/dbۻβvYDHƁB?j+2o3w|!OWVR{rJd3Sç˫Ԛ1 vB>>߾"HrʱA/kM7!H\H֔:"̶%+|,21"̦!5}W@to]$Q:4suc'G2vn!]}:],$ -Ѯ9QHt]S;cAN3{ҩC +ޣ``uLܡ)g;=,*?E!}E*]68Qsy5HHYʹ‚]KAOG)ǒ`gpZUk:%E4&FOY-)l`9bU0SM$5! X7鲬ڣ[F~*_@EjRXzhN^KWbH赔v-C@BeAvt!ߏE> ;U'aLPu)1@U޿̮n%yK-nh ̶ rΊKBJ$1hyU_}r#Qlk2m\Ҫ"+M f| p4`0Fh'W~o7t h!+%R{TC?o>{7Goo:bfB}$vX4ϒa̳85ttp6?t%]1{QP{u!+DQ׆)=_'m[g"~uZO"o葮OJs R +`Z*M`%#g(TezޤrNYW3_uJڦf:4QitdzA>v'c`=c=Iu?ΛG/.ԍe9HymO X7΢^ jΐ_7c`\*VkOP~VϑoF3 !]7oe7eu\%ᦷpѻBX dȖBlT'.^GA#ޫdMu^r@P֟&~*8bVR=.h:&}{X{\š>PLQ33#@~zE@꿄şj=>E3 P<@,YTh(47YMiAjo'!S$pR24Eyf y 8HlK> $W;o'LeɝZ{TѐCQ./$:Ϗ~oJL>3JS\(t!R9h?ZJ m+k.o% vn2t1 )3A90= E'Ֆ[iS + 99 ޠhM?OoCMO' AtEHG"0wg J,eexb@&bUsa*ɴ|67Wq7;F7:t~< G:v5:l籴OP,!Gb#o9;.;/kI$ 3&ӔO[2 ^hyIl2]uS-2d~,ԓ̔-8[}MB`3(Kk+]g P[m ]A~P9Qܓ#_,zެ'(ԭ>iNv@=@ЖSH}5"228F+O;VHS%A۠h%>iWl0b\FK)o?<Gh%R1[PGxmzyQD79r=:$偑>W:B%2~\I_D Fr/-"Ӏ.jxϳ\L˞ 2Icқ\7:I{"I (,֪ޏgEŞ>)>rZ`}eF8Mږ1hp`ic@M>UCH'U~ XW:[^Kߵ<]'Kv BsL=&w&/dzvm:?GHm+jA^ Edxx`coZRLz*]=f|W$_!4Zӡ}} [tT0&l1uv1SCxN6ls%*>h ƛ#'܏EPp͖ա]4.0zX&{]s‡l;A4?~{ە!w8M>c nu:.߆ #_\0C1jx z} ֱgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4G  F}ǖ:.j9|ӰSVA(OL/вl؈ ":?]y2N"kѤL J92@VI)Rx G!rVlGk`lhWf:MPW1ሒ_Hz>s{eؖ 4&!=.MbbVa/A=2ttEtႚ y*rlgJk99Cx} O$_,voW `*8RYi Qx/츴6N%'z(ӓimf>w\yYW(= w!Lk :HC4VBY@^gB'0$?cf#c;kKcG12[ag$S0*q+g0DA7OMcOQNpD}9Բ( !DG}%8GGOY-Ҩe}́Fu F^KMYSrƛ/~RCIbME '88M$RT$˓TGscb`KtD#aj0G)Snŗ6b%l4qrnTwc_5:dLbXGeȘ۽˵폴R<:a ́z UB)x*}*wl֮ 8?Q91EL4#ʧ+ D׾yysگ߬bq^͔Oy%`gfkĝsFsxwB2Pqu ;,qO,ϝӸAQ:b:) u5@JUNʸKtJ$}MG0lÙMp9 Mj;GOsCDuJ/<<|53^~{X?P@fP~KyWRW IsEEѭKR"T7|B\<7/V_%Rg6lT Ε>8ٴ WX),eJK6lOB'<Ŷ? ,\`J nWl0G[yVL7H2\{^ߌn I/GڮO,;-MZai:Xj*K%J(3;"OW> BZFʱL?RĭӒQ d;կh6Μ4KtNۭ?;rЉx𓤉A:o|R4i>̛dc:mS??ʣ:!GHVP%ov5ѻzm&_\Zz&23YҍTկbӲ>GJȃ9o*ub4U#J/G#V2̚veAFB*gYZ7zXZִF! Sj]ŗXi%έM0yL H䡴J ߓ,6'h5 EM4M}?~Ѻ(0ZM5mq:I,vm "W`e)[rM88E]"f$C1m15tiǁa!DH\}:G .ɽD!u,r:c&t26@qsmqʝ8;Pm ?MfdPEV0R[b!SN1YCc+TB#  :='LrVHk"ޙ;ux,7ZlČ¥˲^N~U"`RD{ %U|E6'#F]eq˟!u)=ز@"$F ߖя XgrgFu `.]JA3wEMB~ȸ_EWpjz1ԟʭ05/G(($O)݋@}ɜ$!Y#cyWAӶB"j8xoR6Iۜ/N}MڅD<ٙ aBu U~3NnSL HcՁm%_!1P %OF?[ l^Ҕ1>ځXThUjsCB,"2K Y^,Uӷ"AZ1Ji@VF9t8D"u:+ؘ^Ya"Ƣ|L3ĝI0<5gīKbe&)Qf;Fl )nm /(%+^6!ˣmXpL2?y+[o^D@F0 pЏH?f}D5v~mNrSD]QzT*3gTxZo^F}+VLaK4V  .;.V.K<%酑z Υ8mz 4'̀jL?%+io͛8=E@.dR51OW]I=1#fR%,iNmO/KOz󎔙ou^qU^(J,a#{?]DgAe@WOo O$Yג G =NFkRY+$a,M,&&cESEu|TFkI,4 )NhTԟc|>c;`5j6P\qEMJ;r%b [͌| fÚӜT[Z_sϖ4ˌ^mCZA(}yͪ+:NrIuG7=9_F8{:اƋ y4) F_KDm*&bZ1q9: ^ fYT ߓ$u-cN fOSE>Pм ?18sN=p7X-^Bh'n2Qel̓~QG6Q]IBT4jky.NNWÇkn c=!ᒎ&{Dvl.RhI1WyZ)Ro/NN mǨ{Z/a`mYUT`1 Y OgfQX_x6k -g°uk2-ZQ_1&*#Tif}k@b8?y4DH};Jf߽F8_>e(ҰY-])tcͣus g?MOT=/q-wYAm p6tFW,'79q g/ܐx7&UةJIu 9X5^ v~+wG翏tUx^3ί}Y9ОWnS4ćof]:הߍ)mÅ!,Nyz̊ ;gE>:[?  u ZVp G0!yn fׄ\H'QNہ`"B\2b?}SxZ~ZYnA$E.-f3^q[#kgMg} y<2rz4aݸ1%nvǸb*^qe̳8$y뱶=UV)ssw&gD2 qSMu>CZnP <'<>>.Nƈ9@%PVSY YiУUR!j=҆Qal P ʕ^QteV 4 T)ͭp,,]*tfq]BZ%k|V"AJտTGV40NæԵX,&fI-XXs:aGjS/CCZx8"Nw9?[v>3Wy%RV{,3K^2\  gP J@df3|:Ѕ8$U`C i[ wxjb7.F/]1Ӹދ՘\ƥƏ;.]"z$HDr3<y8̌A9mi ALRzqvz3MCv?<u*{US r$)yA-H=dYk~<8#2ȃ0j@Als\(wPvmR /*5͵w24Æos5+`Dz=Dz0` l <ק/g)X˭e*m*)ǐmYNl/@Ekm43 bGt`dZKFdkK f&i:?_Csyy"㱬Gwee*gBe).9U>-'+z8^Aۘ I7' >[$uYTB(6wW %^ɟ2KÔ'֬}@7&5_bFi4#{}hRJynh˶<ߐO;_4=U-)>!+Q8u5WF7|'Uo Y4R$ FFk[%W@xӬ<[G2C=,f`hVk-_/|<|-N9R~r(/ WQ}VwA3J>45[9,2#޲ZoiO6JN&"ՃXJCb6^R, 9$w}~IQ,?LBDD\{_@ ӫ9"Ȳ MH}c}+l"Pϥi=eP JɆjG=DսQZ ԣB76zBig"kBt.&b [sK)є-T׷{Wl-]3̖ſ,~] 8Rx Bv>М;YȨ/־HcțZ8I1AwT+Ă!GeS{-āfju @ 9z S||E3 C [kezKjA\u&|UMw\ײP˫T α s#-zיqMAS$>(Q}?c2oXa2֨^|&Cf$Z:HM +=L Uvʶ#s< #{ӊLQ,I(< ]|-۱S^0 ;~m#[jFE P|4L&D"oLS.6n2]d C Ezt"T5SﮙLt0]E*6ݿ11d?<3#C=ćѿJi636[rO]p겾,|$TmK}~=!6~5M>T=[})^ 0I+Y cqYO0'vLؙr$7v,}'լFXN}&ܴl {&l*Q4FWq|qdm 410J4網A50&`AX0Rs%{UcV{,cZ|XmLU6\3e<(?nvF㍳jx8teB|~&B >Gź,d95To([A Qm @/Ĩ7>᷹`uOL5^%feQBd5` ]!4Fʽ2Xg0#V|e, 'n5f;X ǷQ%<Z5}t&iTYJⴊ۱e]g!)7Uǒ(|a9RQTd|a YwyhbJ&0?nX,Zdq}kYmϑ.)L>x<ՀHPSBI鄠l-i)l=_}iXG2A `Mf tcN l4%|{XSC?(, 7FGD9 o*i'u]>dh _04a*P8֛R1W7>_׭'hqgd!ٺ#0*2wp9%B櫄wxFme&uݨ sh9M5=J' n{$&Q߆#ai%v /73 ڰYr1HbxN (gVLDc}rwa_♜?*^01=wz `ӄBtP XT,)o޻i훰5jGg {H~/ȒϩK=1&dp$om2[GT|FCk#=OE.mW@mN8~de(Nũju0,Iןl|_G1fBG wr-Nu,L86Mj >g#vP`1/zے|.Sk!,D暹ؽ b1 fF`8ǐ=w 5PbH>t!9GA/:3]!41 5bCB tqKY]ET dPS~ Ũ]`WzDHdxI3Z(ik.Nq hCD2 [ b-3B(A( $acrrqFua\~w9>H2$XD]3mt(yb_1Y.eDe<5rp$'O=rp;`Pe:F1KMr~M(ӻk*}^xI\I0D],{BA7b8Ro.`j@I@lt亷u1GZҎB<ǃ]?A(\@zrվ`uKq}0WϑIl]Q9EPQc[*C|Q&~;(\rաX3E Jvz52:ڰ. |%0K"~փI}?W;>ĒK3fdr`.;ZK%3+_%kHlbRxDgth"D@!3.qOH-YOypBɃx}4tFw=]<%|.cϻ=Uy-v:-^1 ^/ 0ghyV\vvq?mRxN>MT'r Ҿ:4Ԍ&t8UN;|߱dz2^:1yu#;1[:"K3Xl& 5yt]F?|Xc3m+CFwkTD0@Ylپ׾^ o՜]gtݏkw`aUJITV5Z`4%_buʃ*rgxFʪP|ŋLO -k wAJz^0D{~E:ۣO@o¡}O.CCv7~[PhQٳXtBW/I*XȓaVn_\U!O# ա*p]D̪Y_Xp%B^3wK;E ymr*T,k2ȪBpzx&NX9dd i(7a5NX{esGFP4[4E,~F}AJ>";?4c7ׯ0@2}a_Nމx + qGz6&b3̭rˎýp^z4\MXP`⛝Zc놟3nT98g &V=ߪBc̼ ֤y:)=zQ9wуlֺ6fV(]3 QA1b9a>²2>V!`qVK ^{e+JYHg xv=Atu}GjL SjiRZā~a<sdt1_uv5x w%6aD/pĝ^'m-IL N/j*7ц1͈j% 2,R}_dk~*G|<4Z7`Z#uKR+C wDH@.)4ecVj8=fn:p2ה 1xjaSwr+2K `vZj>q({L4)^!.}%=~HB_wDGQ4='䊐|7PhQ@ i[ZA)_7ڡa+s NerXi%e:?Ij0{/R(^~0`E` xHK1(`z Hi32ټ6<۽~_Iyr': 5m@‰) pSd^eA0# ̶h򂑏%Ǎ-R18)M(5$N];ax nB1zzEl&#7e@rG^]=^8PBcYVnBMV}[!S ៖\]',M`SWvdUir Qz}87Q]_<gF ?%Kh5svB4?6@-e' 팍O?IĹ;%[- יp@7-"q9[C\(P )x}{/yafŪƹmg͠ɂjȹAR&WQyp,Rb;r;Uaږc"Hia.}.Od \ݦCQ2-8Zp._WhKRԼc8t~cԉkq >9;!Jހa`%@JnGVP(50JOTYҔ]k?]F5 UcyLKU g'/ B.._l.VEobZ6i` 4P[*Ka$Y=P {3&T֯ƴ(oMKy鈳^P[uQ'_+cw_ KzN߼TH`_Ǽ>{u+Zoc,8n{FmFbMu:}ґw߼M5;/-@"#r5O[V-k]fϗ !5+P uZVBt>ȜCֆ>hK])M҇ͩYɁvշxPK«2?'ԭ19(n`\`M|x]y- <)V>,9$S T5zC-BwA&.0 AU3>qteIbY>hllj#ٝ ;5ADQoowXS.q7\@&e,W {H":о%Poq,A"P`Y cҎM;~!f `wԜ>mgf.8lB1CZhF[d=\Sq wB &*hoG"&M]ᵞ/Nwl-;eB*qڎDZKN,KOY J OQk WR]mdv8Ԥ>;[^bRą s[{ skbUZl[:kգ2\ZiDW~* xZZZ$y]Fg:g0iL1 bvPdSV֨\2mXn~Yv쾝GP[:O&fu]@:I\1 U{\.j;ʉ>6XIgzԇ׃c\oz po.u@i<>@' #{+Z1 HЭ< g] 7BSߐo>~ePIcJ(^Ŭc|I :-m2̈́' O0 l=#K nqmi:eG/S?uRdKlc8o{l=,@V ]ʌi<=5Ɋu{I4hd݄aݿR,Tw齋n#pL5!)|`".v^yyϪJL4hGȶ7hm߄βs:|%?/;I?0{m{s@I~`]Nb`TRxvˊsE1AqY4E(ҟ1nfC^v$y;oxU__nԻ 2$T%]sKXNjt S;HKܔxSVjeqǔMyX%p]gI caS`!W;%^I <5x7 [-A`zm TYP&Za6.h\+veme ~>s@p }AXzQ򛒬eCcP%)nxl@_L!˔tC~ߝvFc]]cQx)q*8͍ CʅT^c*%qo_ A"V):APe)WܵMžo"5-cR䇴^oŕ&r2f Ȫ1"I 55,s OAlxQj_ea Q&ܴ+ B䪗A1NJa쑛AA!-GKYumr+j̿ѡ& 8_m9NJbqKk7'BSzX8xdrz+UITGN)(@@% W}.,end7rM1Ev{,?2$uxJc۸nŐЕB-ŸGBn.җqgiI%<=)xeC~lE A Z7c,6aD򿁥G gg˞vTFυ.G2hT]T'}ɾZ&X9s^3<Љ8s*bw͵V6:O)zyEzos}wq<^0̿ßlVϧaڷ]g«"QcFz+VS=P56 tІ/bS4)U-E;!um{Gucu]5rN,y`6C'A4c$zsq)N.E-6YKF^~bŗɥ+Wv: :`gHsg'DDSy~+SO^ eߓS`7fl c`8S-͙cڪU3$hQz{Ƒ؋DH-)TqoЯ-jMu,@N>چLCB0&,e$ƛB♌Gi82d#~R6.7wؕ*>T* q5!q2nQnS4!ԝKWV`& t}7nCvRH &D) ѫweWy/4ZzuEr+[A8v렭|Ƥ(c P&{ݘdgF*w ./{vW߁-G}y hqL ( v͎"hdUNb`$X<u6{́-t@G2*HqvAsN -5pl+bIK0CЪ1}bG^*.~G8&&!gٚ~ee^ﻷ0#;hrІC*POŹ& ),s%@p\=%*IS$6Tq+8ir揇-Ukƍ5a.`"L.{ nbUYXIc>ާ *%[ock\ 0?ȨBIDH%: ]F&G02#vW+ھ0Ʀd)*q!H!W.tIi/|k Q99`MDdwycW--P[ 6+9ȓ0Et?2Ћ[LZ;"f"A+=Jﲾ%X[r{?S>U%!̾AjzzFb{if.+,` 9S䆇btN/\9I[SBn! L]̾n!;'h֦bdumvJ[aJ fw ߟaT1H'9`CIHZR^`|{RZzW]=vxc +G."(Vƍ8$mRԺ)XER[0Fh`sdbq1l<2Zy8W`Ө/ɻߜcѶc `SaEG~g0 k_16nsBXnq^w a鱑ݒHË/C+^Uqn!cb#UTi*10aM>_B`!H/G>Y yy ~9m :|?U:7U&=a.`5JU"Fol9'-M,*)S]INOȅzZIq6ùqC K 43a?'k9 B|ےann ܚ9,D~l m}W@ӥ[,hXrI3J~jg\ؿT[x\}I*ibYɶBwru!Bb'lViͣ8m+go (cOr; 'nqHI+jgq8HRXkb)K"1IUxPT1V^o2UnMr3ǧ}J.;rG8@v}`=> :vKxH|ms Ti Lԏ/7W6A~BԀ0|cykIZT XޝCuKG&mR+X:VesLp2Μ,}Q~:}cPp0qW\F ꈫ#A$I#7h`js`PVO=2ڄ~+NloOw;`PO׆W'K' q;[9yR77ڑmT+dJM&{pY~}ȊBCwJZ#qf9 n FqMNO#y5Vⵯi3 ^ؕ>g#~fpCեP `rB,`.LQ*=´֕-5bqbA(F1TŒ)NQ}[Z0_n`JH#7>H#Gs*^;@FRDF}JSxuFga9kL$+)w_Rɲ q@/ HʳdGOؠ+w|Uڪ" pB3edCc]$RS''>-8 Q`R1%zܼ> k? !Ģ*TDo:OI+xПQ}?1#``Y Ӗн*ϰYH"f(F5E>~Jcy&n3ݤnOdA F+ (5e vQȪ![ȦDP<jҍRY#j!BL N[083ן ߘS?τ^jCN1.}4=܈79El]8?<"J8w>-K^ 6;Dm]b [QY6|(C5!K.X?)[U]<`Ȕl;)i&5{;WʘCJߔz_G”qx ȕߦ nRԘa4Bp!xժ(/ȴhQ_A <>@i8%7ݔ1\ų$ c'疮3|Ϙ 4fpճK~4FMC{D![G}d 9-RJXiF^@?bws/hP N$i7NlfQ%,^󉽽 n&w?Y$L>DZJ8|0R9r"*1":, / |U<\6R4K`(|bE0y`l"ij~0l6ǚ\$2,{ӬQ@WX>=B߳KL?"<xHrQxOL# N^ gi&:QGOxQ ;Wt͐Q5?23=b)沎>"+mI|YEH<\`Z$&m}BRyibqA:m384ibs݋O3Hʾ>CI}} 2r⩿I^wϓ~Sx >7L{F riVm@E#:0]9Di;)B4Ú3 J_P䪱9q"|=[$p;uG S0v^HeA ?Or>O?xEWM oJUVeNSX9I?7S_t66\ݗO`j[/jn@d2G9VkWq}+b}˹N|dT.,0{.ŷҎrO('zv:Es~?'òYX{z tlK'W qUW?/eqgFO ^-~p1MuU~cHtWIP.LAVf} u[]l"QXmXÞyYݚwV%-uwxFarzJ;=\e i/2ˡ֬K G|NeVqc0DBH` :uAKV=T}>?h-5f8ٕƎbO9@GV*6-:kqņ8WcHf՛7 V^W*Mkݨ+p:qROKg**O[ޛ$u4@a~BC#J9dMp8SGl[9'~- EfyNl`[f46#$[m>H{0||l{VX@6Ә?Dp,r ]KqKJ򊪴"`C{O4r`ԧ%tN5ꠃ_! ` lK{i2fMQ0L-öVo"Łm|0D5Quň> .8 H%Svfg RmRWCuch(j,"oU=S>!yUh.wGi'87CFX&!}O7K^TIItH+&t==¤Tu,u !$MALQ3pns_O o>*t9s'u< FpƉM}ʷ:+$4/y1X8GԜ%f1S\/"}_z]@J l7څ•H Ta*U-e3tۙ*?wIy92LR;mXzKw2UطpLH&5fWMr=#q]!'c` |6{ZBFyk16r.w=Mc3,(yV~IEesvp*)8IE LDBHGLFohfʸc;KA o"GPW@Ex1,@ T{J&qw.qOҘOm$.P[gиgҖk2/)&,#w(Iv_X p+$?$Ÿ銼N=sDtL*f(f|?:fz2@LԶV]U t븒SE=k+=eᲉOI/L?ub3^r-H?nerPؚ:9h(p*1P6=_rU5vis1"Qk=RUrX#yxF,hF)wvaF{#B[ul+OubSs΂pX/Y4BKrvEOZiJӷ*;3tW^ntza?-!7\)Zԋ\iYe{`,і#TгхGz9qlqƋ&͟J8khP' TwMDun)n\j.քΨS0e}Tdjl&{D74NDښ;Jf\g8/iD%,xqxz3|;Il):51eH{sNjۍ|da X[M9#Ϝʪ`,O<쮂֩N>6Ze@[ wtRtvEt+7.{I- xE]"l:ǿ1!;&vtw&;֦|WZJ/lU"ƍ7Lw}ǁxA̱\BIK l`/MErk2&VǖtGμMo7%<]>Ē%XC{ WcJF2JFqN04>+p~YSH.@.{q8jgYZ6f37a9ebf26e8c1f5095c97a8a60896118a73a45c02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c73333c266d7cf703f0a28d66aada61d885d8092d55924