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 r!< ]]]HOL-Proofs:threads=6elapsed=773.143cpu=1746.048gc=436.076factor=2.267zXZִF! A]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb[z`D6\;Fb,c?2^,iqp eI5G4g0NR JYqVs{ͦվ殶Kښ|]RvbǸsvs =z ߗܳ[b㩴dtB<`º39 xUϑc`w3hk6fYػYSxմhdr8Lm߇ǶQ-ް;{Ts'X[G0mT}ZRt;$vk}g cp`,,:"y+0WOK@(UtSs^%*cG `"Ͳ7cc$c~c+U[!E-ebL!0?AJBY6\҅? dDΆ ޕ.rlts 20|+d 憎hAw<)ky{4)SζGjUE `2}CZ D?@R4;_nr>w^vڀҢU%S閁%-ו7yNmZ~8⨻3jrĵt;;Aa3-*6J3Kjƒ#ۊbcō2(Tkcri  "WZ[ f6B@Y|l;U&`4~%$Y;pz`%)[L0?Y),&c!nbpDWtΘ}62$Gok wZuS |'2O5?QW@GwXp*n}JL\LiUa[@KNѨ3=1[ TQ"+,geGe&Jv`˼<-$Bl'An!7{᫱yYR/5(k=nt_gEUбY/.:zURJ2wy,3{|7߉+!\RmN+q萶f.uNG8j}+[5!jp/r@@T\,6w@mW1[ "[RsK78y[f'׵x}Q)~xJ"-\ }@-GQ$~dr2;'-l-`}1.Lk:cM #AA픟kd4|{ ~܇_2tl;͔ R±IN8*Mpfd^uK*˯T͋QkNby|;4wJd}1}DD~z+:`y<*4|&+M~Uwޜv"9ȵס& i> XZn  s2jK畒S*:>!?ezvXKKu[ط Prc"` ͭ$kU9cP峼SeXdG՜8cF@'͈wVߕ8³;$_:~Ƈ_"Va-Z|.,/ q/eM$>65Ϧ !Ϯ# 0 ~u䉬SQa쳧#`->O;-`(]%chǻǻ(+m=W8ѫZPj)‹G[g0ee6\[O><Ud E-~Qwͮ\g!š0*Y~`wĸ~Y=\ 6lp.t@j^9H@ͦ[ AUd]R)Ңatloݤ=ѱ ĺDnGK"8[t_J"K>!W'-_#,+ ѳKdpZbh7 ӥj Ek[hMhh(g"_Ql?)S'/X^)Ud1+}kO[9-l蘬q.δ!і6bDg, Kbt:Ms-#Ub5%6ikz"wcgbOD} 38f;9rU6A[xxMB#lm38ҕBк  ! HOL-Proofsd ' Fp/BfQ"m>"1P}ON$\S|Fᒗk;(=6B7`a\ņ'Zf"(: &3}TMTUE)nXdB@~B^o.غʮ 9 _%@eL~^ESÁ pA*&9i#B9P@,ތzm&Q~K )lpִ(g2~luU/LLs*.AtLB!c,h׌0}?D]Ъmqiܬ"d<)9^5K3 $Dc DiuS @ s>Q4jq5v=s5HN$N>7A DyXokb6g6}AqC Uhfwڑp;|윈U4Db5"v*<2&+f߄+!3!I:Ħ@o^4w!l`h/KT`x$vZ oOɘ /qy?%M)jPdSY+ͣ ,xoP(l+gܝg C %l438WkQ'}ېK(ړ+$粀`4 QHn Pkw?Sh+%SF3P$.vNFF8SYmr j+"З;4>x=Y ==/fUb(#bJhϠV{5\綻Ijhe̡4vRrE) EV̭)6hޣGltLmҡgkŁ^VUp/(Rڨ|O utTF[GGI4h:ǎW#c "! u|R2HDٻ5׬sHPQ &i"SӜn!㸦@q.0u W7O<ٔ&n ) T)K+9I/%R*)!ogj%D0= KD[# M|\{m5G^Kw4p6ncq[BjxfbzH=d+A\L%*bEa OC.-\_.(w-!0[(Gvl5mVvb?Z݁oI P6)3V;X5Q:B>"oܶLE 3EIJLj=/^Bp.i r5Z1p e>DV!jupW#D! !S! (단̋E,Y~zDמ;â\\:u; Kf0D] 6ymߐql/=QaT;'/T\Fָi30Liͭܵ.vNx(AV)"lSxVR0HYc?I|7)d,.=0 _So)MlwͅQ%r4rnH ڱOo c^;Z h].IV*ѝG<_MFV`J&5KMr};VMxk(V䉏!?Yp+N,yث2N,xx8M`6ZYzuf_ZX5@q":Iy,t6fx/2DtQ]DfV_vMi%^Rzsx$'DI,?ml0g8h~tOq)%ؿқ`|m :#uw֞W՞2f;}Nwݮ?8ȷn Џ_ eYhk^F">Ⓤ#sMjuQB9_n/ͪ l.r* zӼtv|EYfazA>\DC) gMuTޞCrBhrAh$ id"^6t6]Zhw{}e%=WF8z4=wL wR"55C\ے6[Ezk-ZFC {{&Lh^qm1V籅=*YԾoC=*B!D%,KHUЎeYg76fVmjV"ڟ3V( @~d]ĂIn4G a?W9}fn1m%G&iLSXJ6^КlSgiosW+yzv-1{B=iTa7(I~/DGA$ꭺגph RX}9kg>_#}'B}a{ yT[m+zWe .Ҳu&d>?Y<:r%ӄJx7V-\Xpwz&]j+M\'¨!2;Ff[64C{Y:c<=:}рu."c_15fThuL8tTcRvà!b=]qs˗|o bZmR]eb\;G^J|^N\.j5oA_ 0׈Pu46USٌ'ZիM/'^CBpQ̽ۖK΢%3``k\; Pbqa*8}ĊߦD~cxWH\Ё CٗV8pɬ&u2-%ٚX!NK vWy ob9C"pTytCvAk% hQ 4]@>hAyo0qv/°53gYZ7zXZִF! n]ŗXi%6Ʀ̆ bz3}r)@KUbŵ$X'enL:5s.J [p7 kR Z_]3sc%g*a&PXaw!wn~DXKvgC&~0䏘PwYOi"N!MU_-D Ś6o5t! 3&9v K5w@TH;}nGrbHxԾx=kڤ$O /CSP ? [@#PnZ꤬>–wu\c Jw~À4!z"}> S!{*/ڭ_\n@$ )ٵ,V 1*?9>趃\:*vGIuowa2zбOL4͇`jm e.405@XN=@VaquS& Z3H+$ӯ>/̰xe?n1l)NJ*8͸Hx $Z~bfM-,Tݧ%4oݤS<o- p3Un@thf~ &u3!eIZxΝ T4M~PwN/1KhIN"d^}]*,ý4[Bⱔsr-gݸ${(} mUu~S2amh^QKo1*[/GGLi/R-SR-s 'mGw]U#JR&Jly3߭cu#$ePR_8&]N8'( ;@.5 $*Ao,jiX"/à:25r8R>܈53Llǁ&;A&i *LI(g ,"Oo񐷯ብfG ƩȮ&^nٺ>x4dPe-s҇ u^J܊`_ێKs.!ܵ ]N5f-+T!2۵SY0 >S&6|oP2T}%Zw3%| r ~V1+9:GKd01ѤQ4!#ĹLu qo/0)iD1A}'4{_ɈS C8 ]ftݹ<8vO,X9*Ƣ(HgLjAF Js!89P^Kݟ]+uͺoy:MjnaF0Y2u0y% ibi6*ޅ6w]";SoxW{+Jc5m]zr*sgIjR $4  `ځFF2^ȷOhB?.hRx5}Tq uC1몧,O9::plޗzd=|kA<٬3bj]..O :pH(bv̑Mxn٢?KICozij#o^ ݀mCFs-#4bW$nzʼHSFm+T!)睙Aj Ѵ8?u9*qݪg8S.%OF6v/>iDdxVR{cuyf|vR?}c4O_*V]D~!Y<:̃`EtHFJQ<;[Xuje'z+|GtM㡩2.N kqQծׁ=ޅr/$%eӡHvaQo {p8J 灩Z˯Z}3[D}b9vn@"(bKnL z~2+n;RЎ<=KVusunXSGx0.lh[#aEbX!ؿ*Y ٸзENQw]YV i&̏LZ R5"M/m)B`Cbwe$3o~dwc|_moI~:jڊz{uI (*x/,=|2Hc$䏌}JvMrb!0]R)Zy@f/x,߸a&@kұ=3+lc'64$jAw;HN03;< :`.U옋w֑VAk4sZvR$X7g(A$b2 Hi 4ܞt~F=Yk"S+3ddVP%!йgv.V:}6Kb.@Xb0 udܴ6ah=C4W0Db,{h.le&,O.-SiVUJk9 IWب M8a JvKpScU]np:b&YNBQ֫QEgb׿9񖍞.ܳA$2b1".D^SF+<"UBeDk*͵"T jU KGNOүۺX?- T,&_qzojI=Ӯ16A`i3 D2rekcFީ;Ī[ecI c*M'еu!sxCcEIq 5LepkЬ uΨ+JfUy{,Ӎor71~K;;踕vA_{A- ӻMr!-$3C\J(KL++)0U):L^~jNMOu/cLg,cO"kz_spE$+w[7q>+zOkA34Gc|)wIi>eMyBC.hs$# g/ Ċ:L:۸ubZt2Vjf!"~f1FF:#, Ycg[٦-^6~nDTA|wTB1͒Ӥ!lyS恹.~Q4Qd]` vm?(OAaI=W1,|?F40aFmdĀ ]Wswg~i=[/e@/pۧZkFA7 ?RmEhگˆm3AZx|z(T8GI*Oedtn/}wc#fA; GR ܒbfiN[So{^[N:e0%C^R'} tN"HK,A Gh@?~&av`Bm z?Nxv)q9).Ts J )r{Ql ,]h\aT5y$Ma@3Z#@mb둠yo#Ypq6&?[!#GbG ?b5٦7WƱg`T' aI|&d^=Q3:Z)Oq/.\&Rit{8tJlqʢBIZH6g*o̢W@p1]ijlc5#D(,y{+ٓtX"~$ʇ JWQ!5m$#ua`AdDW[)^˵|L `8ԜUqʈ2kcQZ"4aW;7v`uD-5~ր{ o"QxWt=l>.$Cgϙ8 bczOL9ϊ}V]%TPl5Τ&\fAMrz5\ZVMbyzğRg0Yw"nzϝt}(f 5:bSEWPqS:Q9pDR~ͮ` *6S7=YO+[8+dGB ,`uwpg`ݣd}p@Ike\/xyszSP!Px6qŔ*c@ˋͺ&ԙ 9 ^a1eXxI+*ɒ͍Ĭ҅5=W@!{6BT Wp}W٪aky&T^pl_qcx򴫏@iRnU&⼠tyx# EŎdwIY<}_-/2f_ts{l1`9FׇiY(®yZt9]I),^M;tHqm "WZZ%EjCfBȤ/f-;8Fe"רPsTrnO'5kD /VoW uѿ\:JQ6mw@: %δR=R|"6B1rk[z058= H8='l}}!m$G i5:n:1( ~xzВD3?et 4]SK[7/ pZ.Ԥn]cu4;MGX9DҢd H3L{N,"\^?OTl gȥemp-4hi(4DjÄ/ѯlUmP|5\:i{l&K 14GQ qcygW;x< Zzin!*ę_ i"VhI&G“3Y,NJo'J"!d9|QR_7(_D%Z׳<kž@BG'݉{5r>1B;ViL 0@rmrߪP!.|P8kl1=Pl(U9j30،{2i ѭ${T'Q=_ M <|\E%giR]=I='ݍC3a) |85s͝2lפeG~`(%p־I[)P+2VU=}59iѝ%7Y_Czu_{ّ'봯VM^G瘺?=XElaf2:HW $IbI PwKeWKy6dT8*L'VE]N+a\c'~njR(LѳZ̈PbMk8n[u^&YBS}dp % VGNZr;HJЗW*yʶ6ư9ѭHF$2v!dOF4ZtCWo(K 4Y!.7vLU ޏG!?`HLal!@"2dY,=3A sʇYv Bhm< WɠXۼEVN|֜@>_2)mt4BQcQ^<΀]GQSzyB.]=xup:Cyo"nʩR7~l:T5;9K"?GL27|q!jiKބ Q܊>_'z`}iMʼ'Vo*h?gA0ܩ@el[2Q- F\c5${WqСx=ZogJ> -[ ܙXߖbΣ /uW)*h&VU{ָ'hbByMx!öL RVM GL&Lë#7Ǜ·ylQTY ,|>"% IMJ]5tHlGK6Em,Gi2[]$ en/4\1)RAEN= IY\gT_2}SiXtd {n' ?[~Pe;I)LYčIDs,Ϛ71 /_;[Chq5"Q7ʀazΗ*y||#!WVBKYJeMݎ;6x8ĩ 9zt(~K{cQ!Mt#3ȸm>Axׁy1JDZN,F͟x<:7AͶ FPqZfA%χdI$ybYh?Imr vjapgQ.PJX?q~F/B9bUEqvMi?L{zk-)O=wr}8mڙ=C8^y!5rKcF(VUYÞ C{믵 ͜R-q^[?ڋJ(HIl^>hgx/pe4 %qה^w~V[D>^Ҽ!Dz[ZMl\7*SPx%=Uq Ȓ@} U =xxJ͉0|Qsl7^ܹ%1RY\,-RHi&Ley[¶t*<Eژ/x%z.̋UQ_ ¦aZ Ŧ>I,YY whg|,j?t꼸ׄ#KԄjґE#+DZ"o)Jl|N\cƫ7Lp*ǀFmi8=vsL"\JLmG^ce '.R)frN(2!f$`|KGOu:-5_^>SLg,󉣍K,{'NEPҟl4NG,@гU|G҈xtH,~ޓ |7W2on j'moS<,+"BVvu5);85$EZ~9ug1( '5 WXm-,1X6ʡ⽾N^,IXXnIE6KioPr>l}T]9mcIqek/ַY5т d7kWlWtvV1'j~܊RNyK9X5^?A ::< r@Ty;,EWZڣ",xu3*[r-g DíNZ}Y{vkhMB9;36؍.@,( - ݠ6{Z\?ҸxiȿۿdmϑB_0 ղ)Y}$I8D`J4[{[WiُT$ReKȰY8@5_[Ka1\HJyV' a__R;Qjܞ㋴VfXUToQ-erD4G̊tfa.*jNF@dĞ){nYOې$.s[kF_|LJ`ܣ(%A!paVp[Ӹ"ﶝ, Y,oW#gp8 )֪g5,e/JXHI_+'>6xbFMuçA!.N_'#_AsZL] m vr-rg>e{= RNw7R 97] ̣}[YMPtUʼ$o1B5H+(O=V]A>Ylt4`FDIY7-i..D KR٩hЖi[dKHJqIa91@xhIm-pxz9,/.sqI#)qa x{9x\c!_ܟ!.z7Ĵ؁Y;dJk`oqegٵ@7UCǔl_h\1n֪.`UDXL.rv.Ik Gr2"ɻ "S_]*iZt0j3G(!AO7\!Gycx 1duqS:2W() 0٨F7J>~izZ&t/ab%ttޝ~QXjIK {k- ʏglcX∎$̐(8.@>9ݴHS ݌?ha8]!ŏ x(Kz d ߈org[8/RfV]TQB3V[;3.f~ʈQh#haY >G$!E Z EWIQD> `Y+r&y~x"m6ݿDn~,wg4V$D?Y:nY(o-(:}5ݸH㌈OXXv?@#\ } 3RVAet,1pLl~н"z;Q}a:5MDYi -Bjq&C0+s#Ug7=4&!!X$!w1+8-?u]>HĺJ*mzIV.P6K^vUdJ+S 5u{#JCjvsJQ@$W,{a2ʞFVOG9= W[2m'&pb> Ǖjbj,`<8!v{ XauSTai Or 3Xp݇qNË kn ߬VŭjzY9*FbA}vVA9HlI4hR8bf:/$<7VՑclǹ\N0ܼFK軻JK=m7Ld5Aԓt0KCW2/4|2{d?/٢'$?⫣Epxܞ4[QNӽ|cvw`;^wU=a \_F:uD+N51|DMpt׺pXwϪs'b}X+Fhx8|Js3| Pr ^yR4 &5@ZgDأ'߯ȥ?£i"GNm{qDZ 2f⠐Hrm:d֣9mdqCn^9s%lِZAN/h.7Kv`)ǡJ ph /+xŸ4e7fzjB0LTe?h2{A{Jb0u"zbXLyTR?yԔ)ԍ+)ߪ朰u)6@UXͥ]3pȺ',NI}562{h CInlq8աY޿J62jlhp7ON-n"qn>G_=^y(kjJNv<27E#*5DC/K+n4PM@~ ߑj}/A>WLԘ)W$\b6| d^HۍS¡buH Хo)4G{>|"e\HtpQB=NAݢ٢}OO"6vkY}1J5 :vMDN PxkG6KxkL\*O wvO*m+d_1Pu"BM`:酱ZLW*,s)''3ӥg\X ́Ea~웥{`aߨ~EdJe7oc!M%AyO̪[՜A |w<.-y.AN|E>o܌Awɺ{Bb{H0D)ʻm+3fb2sij AK}o#o/{ZOTئ#Qk7#!6|$UM&%ѬP52k8AWczmx$g[aZ\Df|׸Xuab(<9*p*:z{d9Xtz1YC/M%XR5XeX/VYg:1jIOrlS QҬux+lV܂g!lLNb{ &4EG/\绁vq8S`u7$C_$*PGGϣK(HS=ulK7SoזHZ3MHUoN 8@=#ysD,>(cGrifb kJDYb wF&2~/[u~1$/q`{OnI#bw̽ ؓ'u#`α1׶ jIȯ Fѝ>fPJ-{Բ"}#e̾xؓIwIŸuK71V[lA{5iu_ }0^&<oC Dw}m8/h co~^]l D){ǯ0 ^9*&9<=^}O,"AWY%-[E: s6<DdK!vuUQ(Z芺Io4!2 F`i өJ]<"< k@F#cCD'dJb̢FQO`N_9ggN,ȰH'{!IΙrN5F5=~܌% opii9 Z\6!1F] } f w , ctT_Fȸ&KȌ)}d,񐢮8.40jX/p<;w wxKiFc&%ZWT{"Z `-f+|). < 󨪬~;mW! k_:;7tF89vЎA,|UgK 씷6jE1n:sLn ϶ cO}AKPCvC9ǒY LZ26:e7'+v =+E6pW'9 "8+\ݐ gUxVcѷ7Ȑ4#OOL%m(ȽS֑^2Ѷt7vW/j,KOMF+=zˑy|`D/i*%ddY]xnI+K < RFa;xw&mw=]'p)Ug& X,&tL#]P%xtdb5q(k9Cg(-]k*"6jE'ĽsE'hxvE,j[f*E*oӍ|l4֠1,/{rÀ" O B8B>"]rWGIv~./}RK懦׹SZb̸O莄HSҁ7uv̯ GwbH;mFP?y-/BEc{ߺ7C@w{4i !$d 2?kF&cΧŔΗR( F9i4O X ycAEݚӀM T3*b0/qQ,D[fyBwXX|!Gcd䯠~!x|pH&<&W.nheK K,8{ KdҞ,1p7Ň#QQ ݁F٣ۍL>kw&y,qם:W30fP+?p@ 9M|Z3CT6Mx :vRzkd@]'x3 ~kLXUR&9O9JO%pw3 uP6fhEQ048 ^wVg+e[<53Sa^{&0aE粒4}(jzIxd^Y?p/Էy3O[5Nqb(jW3olիC kN(\ ~fyV(ew,S`!g^lƧ>+W=JTU GB!֢X̉3K)Vfƒ77A2S\ȸ~lǞD6+vsJ劏`찑v,btxRۄX߻hthj$AXG-wGd5ֆ :**2&L'i9vĵy]NLbѶKD VQvpN (H}d` W\ډwYe;@\Trğ:=!`9V4氨K:ȅ6a_)/DD򿊆:5Bq8?yEu,h9c\7kyz0cc*wO*_"iy]ՅaG-Ͼ>u&f} 90W2pKzޙ8.hwN)4;Ѝ+M$; uaư?^lzel:*=>UG^_ܓէ)/̆##$DV/̉AChS8vl:)hEiy$ڐ>^i>%~Ifښ^t ?2+I@3 Z QQ0>tXYcO8y,9ْj83ѫud*ki~p01),N?XGC_圻й FutؼZ¶S*|Zy.fhU?DƿT (x4:~x6!iwS6P3s5AH?=7%4| ȝ~>[n-Ы/'5 'Oczd[6!Qܛ Z?Sxt TіujjCD|Kua"fmR-הcZwD($+0x;}ٚώJѡyC#f u a5WT^Drz!ؐlraN&[,:F!ĵ`6&*yP+&G>%c^$>pmS֘:*d(fjRjֻ*&r<=X4,9%CJ'U$̈́"`뇃>J c\^E@$9[ >ϙ=pLCqP%$i9tp>D\)%:;`}s(RQ2`*R(,[GWbV/6|8ָʪ[Td ^| \wI>ȅ9Sޘ~P,4J-~YB$i_cV6WѻHK>*Rih0Xh~h'hc:[ - -@t]~ܞFKsyĈ^VW[YmNRkLGaq>X:vK@97FKϟ>YLۡ x3~Q/̚5"`X7>ȁD1*P^u jCPqof< f F-5Z" WUh?熊EZiwگrv%yGM98F~v HQCV[8t@(_aa> Ԭ5l1U, O1o6%3tYO Ehnz󴕔p08$ nz:X}#GJ"S)6di ړ3lCnSzO͆Lܦ cier2<nRG KMw linT"jn;H3P n{Mqd F[.gIªP>A5@ 2cebXi %S WJk6l$9Sl%&mnO "Ν138ǚ8 (2#u"\0?ӧ.;B,}N6w5jx}JдUew'r7d}|-v`Y z3{'W> 0b2&Pa W-ý{wnB| `@KZzDt?+.i6itBWCVnOxx`.[1.=|?SS#^06Eh$` @f+9 "y57ݚWH{l L͗$k=2`Df`pe5(ZNl՘D!'$kՠa'Ynx9Vr KvG1!qwô.rTK䞤ž8"+QtZE GRǬ{wABMʎ~W=::Y%Y 1~yf\p[8X:dEBXzQ3K`(@BR6"7_?64$4h{ S%^;Ш1'd[3PBtJ_Z++vB*:L L C<* Mplo,g ]V Q;_ 'Q sBѨ:wfFKbBP)Qܮ(]TNC/:9V_ v4NՆAQZ5dD= o- <) D#^EĦ"DqSUV:e=bҷVsBYWGq/_9iGz!d~B7iP?3ȪqWi5qV$!иlhm_ -'q}T(;VU2jZzMvjg&!3wQZٔ$S'G 'b 0€L pXvX" `n@J SBx\ :C$2y`(`7TɏW\$yGv|Om_e{9}McNE{"l{4mxЏGo#fa8fďA Omۛ& et~ƳҠ T@B^{ 0)Lڧ;.Kxu0lNkq vw7FSa&.r9bX5Y&I\$g|TK![Tg13@lT9QOQ׭) TU.e28 Wũ#+剘$PN_LMJs?ؓTMTV5GLbEkDXn}V`?i\#?c|}eEabh/&bU4VVDR28:ء[Ue+,U쓫 |${76Lqg馺zQ`3*8PvX^&'vp*{GF@{FߕOV$Yƒ)dٿN-q4^FVg=5G$vfT"!jo9ď6jM%oot? 7Rj ,ɵĔ/ߛgaB)~*όF2G qQ'M R #baΝ` KHeya]f*)3<t\ρBωpJvGT&"BҳZ{'=PAz""_pN[0 }R)׳ Yf HwMdMq󓞼& + {E_B] iWze]LRQSHq$n'$rI伉0bBz# ¾c32b+/ Q@J. vֿc/D;4G]i|CYK$[̸:`|L!.A.Xƕ]C"pfؙ85$^`|#P@Ҽb@ha8 CȎ4W10-TW{G_RX?0$q ]n׊x~ۛ*3+ən"CybwU\߾:p{F&'3fk2<_CZG괉m3SPٰ{šu7H<'Q oP_J$)iO̊oKMQ7m4UZe#wЫsX&(eedIÂG>&)T~ y` H 0Uԁޮ8Ӛ"rrU*cy( 8M]d GijJ:2" Γ26ggVB5Jf1"#1 ɮd#T{](}ҩ򅏐-xSvR1e{KZe3@8`go]XA8MWRxu{]jAQS78'lX.+ a&fy&LJ699B1kәhrήHl:5w8–|g@&pmH^.l\eS&ќQ@G;]=Blbt(C^ ' Ȕs}hL! =q:5ZI<kg\aIqo.UIsRH§w̯(}/<|y= 3JkaԅbƽNI ]8L9Y.WueEuPԜ>o]d~z.[IgQTx92k\8i.q\p8쿶.>t=ah}E+OmnE 0A)cg9s %[1F=h&RcQ9)5@VԳ}zx w}eOlbg QMn EZ ʑz^W٨nKk-:MO.W9Bzex:KA, w-%M : 'A7vѣkl-Iƃ]:cnB 4q097ڇy2DP(SMnv} BsO!Bˇ,kcQ+{^"^XyT#Y[;(癭uR}1u%|FrNIQ5!hpz#p[nͺqs&dbmYd ܲw:EQV)1 \h^f݉0% Ko=Ш1Nnr -͂iQ,d;~).Qخwڊs=~w% F۽a-KpH!ǘSBOAmMC chG dƁoNÝ>.BDٽ ؾUFnUXx U* [ vKWv\icK|.f>[Ҹ1( ^I$¾ijxgJ&C}saROxxo~kaPxAVQ|tH.3("XqBA.x x< K`;29HBṃ(2ony8P.)liBFnD,) w8yB޷M\tb! 1 `L*ZnQ$Yf ,HsGoB-zBlR P\Y*jTa 2U bkpq[(qG@ BZ,|ꐄ/,c1s "‰UkgeC>T5J`sYa k(O55V\Scv6i =HE6r?/%b:I6T`JUJw8O$_#iv1,5P$ecv4Sȸ3}ϸߵڮK'񆬕avN^?0O*,яi4hLtNg\p+[PJTʱmBȜ&b33](Yet{Ѻ?ӄ?_J.w%_M07{d(9,o]OLKmPA  Fgp§%b@WDal0`A <ͤjacu{Pfy\6P/УzT-'+7=/9Q)PЍ91%߯Q% k'Cuy"E#`hM CD{L4T緣-'\ 3iv> >D(13ue3&DqVZo @ )"Sl&e0*|6]zgG+8X3k<55v9P\GJx)tFMHo!A)Zf2bK `DX:Eyha܅Ҡ [H `~rZ&witv_Kժ?Bߘ.] r ųBFs:L{OR C,SNl ȇkP:>UB`GU }mZ+^n'Ȳ1?+[WGF'&o'_勩.՟''+ {Aw7Q̟@2DI 7)'3 LE#$ͼEn9)}?9zw7k=$.`_R%Wv@MAq&![O@y_\ vSoh30p #l\\FY 2#7>RSo=˪Y62t/dCULC~valGar͞NvZ3]&\dwh-\CYF5Mc"X#^e_:N׻;9qm a~^pym}1̵MPmj˯'7"~1~uoC5c,כ)I$+/bJQƝUzfQjw?xAwzv4mS1hA82Bb=0Iݰ½Tsxg@{hN'!٦1;QTmۜIMxt}mzl{= Cߝ)1TJ;qvҾ&pQzw]̅,.-dLӞ0z#w[ddɅiW ྲ)h "N&5HkA$ܷw  % j]4y咢qߨ\}?8fƝB_b0 }?øS`\VhHϦ GLl2pMXf%w0wWP{F Z <18{ R_7&wʌx4J#$)_iq Xާ6jQL"uX4F0ZEǺ0a4DED˼X1=%gi:%P +0IV!ќ(JfL5,O.A]b񖸄Yѫ\]U_hhD`!ؖ#QWLdY* @@N9$d<#,{ ?-K!(txж* sզHm*ы3WX%hIj67?}wE%2΀2]Wt`R?) ͥ*bz [2c[:]O6/Ih<,@)V&2p6+FشvJ>24(3rVi&3欜'_PhZN笀Yї⾷]BIval=:2:9:flA~κO8½^H*q&ql(4A+rX:5v,tm%Milߴ丂Z݇m!u۩)P_3=@#qGb6f!ԃdJ"Gڝm'lbD r |ol(DǍv;N"ݕ%\?RyC(Qmw'6b DMq#b`Ƶ8Y6GUaD>zᩪN89}S]%(A#%.]ƦaWc:kNSRst_^WJ9j }O_Eb)͂Aα%J H=Mx]]C5 22IU FY!:(ҒLFZX'T 6\h  T$#,$Z$݀般^E?hrL.Ǡ)&;@Z7֏F໇m:1X?}59zCҊ{j8[ XS]`wI{ox]Q[ᕒY.^D.mu&(ͬFpJԦo.(ʚ̿T 13#٤qEIL;FCEW#<6oS~fE>s[:su+Z(\& ̵ctJndܵ sj]Or5?X]V)LPoR8j]ʙ458P >iFS䨵)G5+(v30*Zѭ7;6OBtyk7[X :nxĚogG&3"&̢bv1Ty};C(bR@2PEӺfF'T ~-g,­Eu&EW=9Ŋ㉽r *|&ԃ iqɟ֠L=RoiA5uLN9Y\ JQ.Jz Em8j`YḱtI@F:T1"|ulyy*@pO(DQu||_+\vyw1CSu8no"Gz'y2 Zˈ`ĄTƘw=v+`7i)fuo/C|zlk+1*dz¸DTJ38_:b'/a8JJ|β̞8I7ys T\J(Pmd-^.KI:^G?)o4}|n_'\1LS,OEB{LDkLr-@TD{7W6w/}\;>Wǀ(vT( 籱ouogIrU>zFl6,z(-F> R1x )Ӎשe*gSv>s{,E3.A]Lp O)aPS3!RԂE^1 gu1FMڇI$Evm=6փ1vjU#U{w||6 t5VDh tˇb"BQ%s"NY#/ώ@$ddc[/lJMIKmц:܋\& g# k:mim(Uh!j~9.F6-vR¬w:7K6qܩ oPZ<M5Optײ|0{ C+䄟hA๸VFG*pUW-mV B5<}l1wZ'`%/_򽆤VJT̡NfWIiT! h,5lm%Q>U;U('F Ўi< j~FgMRH8ߣK_k_7$h"NT-bXe#$V+Mc)ᒌ-I]Rs&B~zz<.EB Xkg;뮰QiC{'~Њ,FQgYZa64ae5dd1359a49ef5b6e6cc4b76ccb53ee77c48181aae7d465d5494ebe895832d6bd3b131b73565603ab39506b9bed079fe93f320cce2ee14d05cf3