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  !|t< ]]]HOL-Proofs:threads=6elapsed=547.447cpu=1330.324gc=125.108factor=2.437zXZִF! Ϻ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3"l)w}9 i8ުK,9M%uzFík_aqe:Sb)D^ LlN+aV0%/ ; 8XtT/bP0ĉʼny-ςFلW/'܍^=8crj2 a<gEne(LgGϱjxCll7%Mp?WN"uV89:X  &T#Uw\CBN%Sla ˑ,jɱq;S)b`&T84P>Q:XsH.il³ɆRp@mIgJ7*4F`b:>r#g (ԁ˨sRT@%*PhKClK,(||M@^?da2\<:4;?H9 D&,lXXmϹ &⿥%LS:qeg|Ȇ^3Z)<Xf}+P5>0210.r]9ଵ 'K t5!($֎q+ h1}j%^pΎ ʅmNO|]yR_~}]\I$p=ɄG)63kS\9;V%9p˨8Hff&J ⧏d pl>7p=sFvP9#   ! HOL-Proofs  󫙱/ue`֐#t=b wAցgP"/yIDL+cU e#@m$\59%$2J$He%-@ʼn LbP2j+pI֮4W%MU:'-k tF{!D>|ع2ZMP|0ƾaT6Zkat,{TD^3}m *m2k,y.w^jFχ_nIk{XMKk;uYQ KݽʪD'^* EPʑ &ⷒ$/eHR6pߓxy2_{:}a͆B`<sc~h V 줄̱h' TYs~\ LK `,o<2l\꾜<]=jF{nRBqq  Yǰ˲9oN5O®&kW`hSoF(k*ۂ!XEVYa@XXJLI60JyaKLj\V|W @AȐRc\fEڽI0.g,GNy~M=FZfrx'O3 cqtϒ*Ao`% tOQ4SOZٽn0{_ᴵKGoi2oF^҃l{d;VHU-@$M՞3-{wFם{m"rXo&d8 ++cB5IdiRbZ塟#Ctaդ4wԂ 8nPo'O/:y=@Lո9Gb>2\F Lw.I}2α@ jwDIvPjc/_G+n#!dXSqۃf -o/v"i׻e?I0h_~BJ*U%lH7\GKF^PXgo/tn0Rhi5B*gGcsl?:"1ޑ*@D`*}ȀיuuhB؁!j0ױI`K&ՕD>= `=fG9E6ZYo%xLя+bӎ975ooFsfDAWPj2zSN@ؚ2N1+&!?Nڪ;[𾛠3\$o9D|U'x}Gu(414rIFU(@l9_|'n#{EN֙*,RĄW R@Y1(E7=}L̑6>Qj,GqSZgxqMy!P8JvŻjjY-yRkcPDmt4 u3b+ EKu*̮7Z8_z8G+J0hT֮~-^? 5¤(gb$uVB h.~ I(suD4jj[PSSCZaJx)(b ծXIfPo0ucȾ j1Z8~ VvjwwdCL:űM:BeeX>x ɿ;OW6' +ti:lfJq {x@|"2;y;.,%_gBӒ+@o9!r32r!iO:n+z4Hui?z +C Zd/E_%y žysesjYE4U㿖[Pc$F)X&QJ{dT'*ΙB-gjL{e>Iy3n:0 g7q9aGÒ" @)dK̬H^{p4Lڨ4J1N[zl|>ٌAlߪ}5#xuup6@?t~b!}QeJ:L9 WE^yп="ڐiⴛ4Ĝnz*xEԕФr:D\$Z2$Rsu F^ݪYx:蠔Le?Zi/Vco#ӑ7O.7[`Y/#iH*7gT hM/5L6W ]`UfovdS>;'˵jz>$"^@1ہ=|k7CUh-c-ZPG[.S| `1  wXgx{Kogdw -HU.ŢwY܂drd(xp(vI<9axKlS4>nvp3%|. |JLP";,3է0&eeYT>2|:EcΏ յW#FjSGԗF3OW6:x1F2N _\6rˎR"ݑCohS ۢWp˅^P_yr sUWu\xh|Q 4Z[趀R+S1G&Nr~gYXHJ)QO=Q+f$ő'|EL.9E8r8oԫYn}qou%HqLԓ ^c=E'w3BT0*1{t<Q5eQ. 'jru<(HkxVa~wDIgAu ww=R@pۿ^_&}~ wm(eH{ d:J u WQoDmO蝩ٔm`ɣ>@r"R2"ʘ(|SYy5>c^v넡 ;ޗe>R@2[؉5! 50p2yܭ5!~6-9!}Vof0Wh9GR9\B? i<3Q/Q|h"c 5D=*k1|R7h {*lUQ窔ј[`ƁWZ v"0|:cfvit UG#:'=tD<^~d>P&ʔf¸.,`Ke 0,~Xs܀_ڍ?ܚ6ż0%7j#$)eh/P9ĥd6mPuRb6\Y&lMJl0Y.݀F)ml/;4ME^ZM5oME)u )Sn4=15ܥ\F ~mتg0>q"/V,"yD'Ņbn- BW\N 8-.|gYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!*X/=~)^i`@w9T nܤ'ypX$CU@k Qk fd}O`!Ԥ)n lLiClJ(`L+*<7~nfp0XEa5rCJQc>uNr4_|YbkzZ%LOTXzJ$2RoTXRzgJ{gy,{n ()`60:汃KZ0fqɄBO]%ͣMX`M n{%~O@ƋպzKO_T xkO&*!<&ʢq O[ ?]ot^Whi#)Bƽ^O~#h ]07`UO;IijӾ)C+1LtU<霟aQN4v D rYQ$ɛ\{.-ysRMi?o̿ fqZxg./ n˫`f:Y.LHP<i%JDʙK+|lt>tD|+&}5%Srp=ջȂ~^F$p~ .cٓ6/WbuRRl')HAGMIxp]QNjϮp c6|B,V\̳3σӬ H?/FH],A+2s*; 1' ~ݦ[Xt:i.DJ ;Èw`MMHBPh<xwA==S\*‘Iuݦ^~Q_<J-Ƅ% %.Ji (:*QwRYNo < krRֵUu*Z<ޕ8"ߴ!!z-$ditO<¯09ބ1ݾPUOu٠=@q-OaO1%ybvUJe,'Z ,-dUNE$ZD'lTlդuI@>E8 C4{nU[|o<rTW{N#+2}>%Z+.;; Yx9fL!r.p+$\aΓ$t Enl1نU2!j&#d3Xz6kgQb~O-_F%q5;WU6׶6PZW p]V^8ٽD-#_Jvhu7#R Is~( :#Cn2H'7}݀&?LioU)]ƿѡk.\GvlF&\gJxV!KZPȂ2OS`E8FD[QVfӷdz{WF5z͔(ߌ վ#&4b#? dBhk-~6\.И CjRq*ab{إ]춵wWV$ņkZw Cc?{W@q@U".3[" ,\)j~Ω1$B). 9,SX׭m 'Fyqi@G+a3CůpaLq^!.w 4Fyt~֬brF6MӟLe!,"MӋe}2 ߆ӛn/䉞GLqs1VO5sWϧo iDC*3%p #^?@xW=ӵ9XDnǀaQ='Qr$L4u'4@0:|>aY%5o{t̺?.f̗$F m/Q(N~a ESA%@?f&hjy ϦS 5}Fשj;c B=EQSлXz_Q l90.KY6AY]FWa ""~sy "W?ywbQ7YޥD NJ39pk-1ÝҔgr?#< o΄UL{2]5Sg8Ь<]:"F d <M nl2l.}][HZDޒm5:zv緃Fn#fq2 xA4+Mܕn׸D}.g͂@j`)IQ!\6cs%q詣"91 I(Ah/`lc\"5nKFg&f8Xef-g R^54D٪|Zv8HOwGR@O}#e?Q%S( ee٬؝b[%<+e*y9i,Ǿ'K+ tQ !-{گUHjMl~:53.AOF/57_9t 4:c6}Y0ŋc+@xjhk:Q3,cȋ@NvGc|,_ɉ?W$pr@'CQ_d΁> ɑ?7j*!_`_F-(WdQHB[qtCflm|?GETIQ  H~+k4P2LxwzpLjJlcU/-.Tpx7G^*qʅɓ_]yԲOHV,F )MICi.!n@ 0cf@І5*)xpB|+z7 ބ\AGbo͍hbU)eOP|5ׂV/0C~ߺ/՟:O0;=𡥲{swjw_Ra»1'Vç5r v> + l *5t]Jwq%ؾ wˤUb[@%,̀`?QGWI ƗRwc ^T?'2`}?K#]"hpq*5W:h]>DڼuGXJb4c@wd'ȃ tz>1^vn%uA[շ!ekU/Xj= QdGNMS=ϼ]ƻ72*!TIczِ#{tcDzuH* }3=S k$1TAE7~:łvc$K{kFE=.bF6:n`6\$$mʵfF\XLxǿy]@R.]([G/zFy.g ݵfsHJ23q.ܳP<BvfD״DQm[vӹbkDf|~!$nAW^"$"( 1 BSf`1Ϊ nD_mّv>xlʨW@C[03[v^SΥ?]ݫTx8])i-]J""fXc%-p{Mx@"΢ha'տrnMVЬV !TJS$aloѿk [V53v( 5]F4ăɾ]Fїb^݆Ǔ3dz's֫(#q4 *%D9KFmk}oWn|aZoyHٖN@S\CkU}j:ceǸe_c\'ߌQbasoF]+֖0,%xd.eulzל I9a]qI~%k3l3`>/P[*7Djnz`$|(Y5ӿټ )LWƸ OzF`%FGY2)/ѡ|.O<*Kn':&(%h2y$t3YEp4C\ou٦=9ϙ{Uq܍͉cDaHNiWBJ3SZB@WH9_-AK,<^JMΏNVڬA'&֚CbovB'񆢅2McwZsoXQ;1GZ`ehF=8)[ahm ZOMRr?K'E%,zwL*Iޭ6 uoж-om7q%!K S_Gnٜ!.*c7S-蔇 -(UܛZ)s0 * |LSsռ5c3~q phiA+0;'ap̓)1syx8# '8h䑹RDhud3hu?-bc/[V(4hT`о?c;QV'w%{ƾ WG>aM@f'qp '\ *1vMOsj9ǘRaađ:N]@6DQ[JJ<;]-|Uc 7O˄xW?t xOIz-*Н]U7rF`o̻ZVNEu>IuT*1lQ q*GJ9|Le})>ͭpڭ ξG/˓#hMЎ_ g( k;KL0C_,X"S&1hKڡ[/`,LH9/lٳDž0tJE( \߽~.GEP/͐e@d;nbBK~`qI냭JU:i!Vd*0xO1 o~WSQm@7\ܹ<-t[H;\n>Rx{ۘo P}xa)Þ) &h3,?fyygX{G`&`ѧv Sw+ٓk\JnqhLnېt~<4KϲOCE74 i A@Q|VJdKRwz+;Bݻ] ( jhA|ZPJh1[СˆG!|?S+UjAwĆq@@qeVeɤed$21V弰 b"+˦%q#|{KuYA`Ɇc/I ؅{xAh[,m(@wQ9zcZ0oLJǘrV eM7̍J]w^kNcN Q w;5̗ `¸ І}yar`3:[F=vHЏ2!:|*.82ฤABrQKMML>!v[kq뇴 Y҈3e&r>)oK{w/i֟}׻2azoho)jBYvY+RRzV~62ׁЛC39 &tMQHQ* &W@K,L,Ei~ _ 5QR`]J3h_Oz?Ȁ_TB y>@;Ot#rQC-_-4a& -(&IUNJlo6sD5NH+9*\܈]KC\AqzA"xs^nhKq+Lyw4UMf8 ˤVbQ]iYQI ԡ|;D풏^˘ V'*Vk~:Ąiz&j`mKXvJ(Z SH%prY ^l'h.S7ȗjϱ#Yxe8'.DG"DsB x5K r9ӓazapI4C:ZʅVXGۛErB|ÙBe?yڼpN="ӓ[DĂP)O.PD} I -Y7&k1Pekn/m4բ¢ʖ3iϢ%A˔MSǘew[na#C*yF'͌EC~l%wװ}mv #yy 9&1l{s%^"X% 2g^gd^ ߄\|z;|f( jjV=pY,9 t SX.2]Dx5>deKN0c G$,qdw):ދXp= zpu\ \WOeEukeI{&pcU-{SLŵ*wFެN͆a+n%Gi'O(B'G {\N s*-K{U}].)bht/~ɍ51 xĿrY׭kQ氉G|jMeeiRUj i3.FYmSLᗕIu3t{~YPF*zmM3èeSFʐlmTصU9ȾUȥ{7ѿ|Ԓ`GVuE 9qwܥ#ʯzSdkKov$%FEt [18t Ezy7>7P[Jp4q@< +` H˒ snA,{;]_qózŎ,mϯozaNN:ܚitH6Rh?,#JmUhnktԺjNRJ͇m G#tVI W{ P+MH6/]J%u!⧨t=)FOtcLIǎ⯎a1EʊS7ip&g/,leðb6I +ᯭ)_zh>Z<_* PYѤdoqpzyECaib bmhNqxWKR el|kSSܜc\ʅYr":6꿪X"*cHqaDk 0_ ړ k,V>Hp]WŎQ=jn1ېdd:!@sZxHL6aAp>c~5O9X3rj^qNӰ!牱X#.(MrBH *C:jP:QYZ14炟O.av %/l=4t |[?31|à %EmM{W ҉yE'; J Ɍo,U+9B*,|swP?7 ͩvpj˔h=G jDx1<2\.1 c )NsEGQG$eb_wSHBy%Ŏ:2ݣeu \u |MЊaz[W9}k}&a9=] Uh> ڊyY" HuzU& NF)1ګ//I4sIaj?7RA;ϴ$? NVAm 4.7Gul| @ Ea3 cM 10°m|f(\m4y`ܵv9 5oSB}s8,Jwڶ@E_$W|=$\rpTyMqu͠ZPW:PiكR]q)3)LWvwC}`6VO {g 7Ý%joP"0ZVxo)Zt0k$e \"{  PL,1ۢ*!R_+'g$L {H] |)>O1D((h;Nob 9 BƌaM^:NzΞ:t-q71<8(ab2gbXǜF j#7؎F 76A v!WtEKaM Mܸa6# kft#X7ybcO.wnجt(y~q}W[7I:C|g VNG=ull~w"uE l}f V`.O`k5A(@zKڭ{_g#Q0B{ ݻqzNr=}72ٱ{f4K8՚QZ$d͓`rRhϧrgrھ5cSF@"\ȱ#R@.O!e(-_yD`bTL5*ZӅ ?gQ=Ƨ`A*Ku6݄Cw;L">a s'6(u-. -WI,p"+7*WTOY{WlN]RH5pQ{t"z4no<\bO/r:tY Nb?CZTѯD(/j{c]䀄 ҍgMJ;4!gY%Z8HJpwPPiӑn91p:~13Q%QdǍoCj'l1^D3c ƹQ5c SGP9'}է-6IPm;DL̼,>~ii.&뽼8{ㅠ|6y+?hW+k ~cW4A#29I!Q|QÏ$rM ?FS,>zdCYMi9nBYEKXNUhXlr뇙=˸X8lKc=FDm-ގ$xֺ^, Xau@R1jBe3,yLV,]YWl=M5dt, Q;w:՛+'Ikƍ'=ŔBQz#tQ>sWܼ@_aUeI, hGU}6ќAk=f,*rD ܱ:+y0j}etH|/'c9)\p#c{!"kM$i5Htb"}KmcRʷƶ. ALH6e6eNu8"0=aS|%|[J]!b H_AOÈfKt ۝jcQDC/Y:a-6Į$_zhPU'j2t=BN=ngJdiVګuA98Ifd8>~τ>-Ǔ'g^+NT0+խE<<@”h%[@3Wlx:_Mpgƫ0'j>rɏ -;Ŕy-eV^8LB52?H}r&l[p mlUs\:Iqm}p=49%'O'DO vC)SKfⲊecXE(Uq;5BtRCH$E-8]gC X9Ts?&A`61Vcr͠~^M1B!!Mۈ$ iŠ&_}]M0M88>NqΝgV`u#ulvs pB'/t6h2E"eh9z,j|<2Pd/, M݂}j$QsV\v__فb3[3Xf Z|}ҭ#O+蛭.}sϼ[t>Wo&GLR8~GC5VT=dҔ; $u|ssUу~rwejZ:Ok ݸC?]''-B;-"3SMݪdɹhm7=zȟ -̫d/gtyfH$ ? K3@˫~jzy85d1mVPV+J#X\.H@&7[G)Vϱq81,Lk}(‘;X͍j^ucיλomup5E6)YGE! Տ"|9Np]kCn稨.GBȕ.P;7'OmT.u B qC+5VwB Oŋ"Bŭ[Y'2ͻ^sh9䲎L=~ ^͆OsTJ(+SQ0dԚ9R3Bbn魽{߅)F_s,/sq`MP5ivszi>!RDѾ)::G|!?s˷:F0yPA aO#?!BYY&Y#ҐvP^uF4œL+,ʾG= dJuT+ևc~Dj}/r<a9 y}q]`Ø"P+yq7LRo#`7gc <F}Q%N2T O6 խy0mLK0Bf Փ6 y c8(jw_#tdLK~SZ;2aR-6A(5`QWַNZeA4Zkc_B y-ѴpwN\yDߧ&%`|)`]iŐR^O BR(%+Yvb9&M8 Jo)/\.D&hu[JW(.t?rp-AwYۄ_-I4kFu&`o{zkΦ/ xI)UGoOF#eEQaK0}vgOpU~\ /y YrZs66Cʤ5~/n ;0HT7j& y̵ڿő<# bqTwVfvkSsh+ðR\EOe9#c_x-e1ڒSՒhn*dQEFXo4㿼lEw5o- oVt >QٔwS&&-s@*zV ;uEk!5$A%XN,X^]yquo_ qT,&_ja8$$|bN3䜵QfW}wXqGnB(ˁ?#(}V1͒&+p/d?>$͋^_j~'+;_ #'x.2ux _*K֡6i4{GlH>K&D7 c\XYCX;$!X e*\Ӑ_X8"#!ݡG) v ^23z[G]FP+  24197[y?AZjz^b ?&-IWsFĆXѤ}O&$'Vud;t1~ROx[i&Ni9/tqz:޼O!QuͳB sIq'&~sjtY>ع2m>6O:ZT {MjstFyFɡfMe FR5C8mݒ]]>pu39\ GԗW-)Z₥Fe\x'Wlt!T.|t2Ul[Mc0qIJ˞\2S$ɚq$y 6W Q6{ܮYNVs\:F|0AOލ&Xxjr=RQk'ȕڧnFNо/X:Ɵnr,J5 VأRAK$"DD<ѱh|Ξ9!$y1W55m` G!P֎؉a31ZXiYsReHWܸZUfԾ]a%јmj\Zᅮyx{ݬ˦BPo oz{mP'WA#'~o,3<:W(K~"[B˱f/#SZI))G~ y NwTNe+xz!`NStF2/ 0 A8wӭtr|^ٷ2 X_y"Gmߑ K- w1xYϏU,%4$Z3}:riS]άa?6)9sA CLR$G,f¶2[8kDcP G`ţ\  oe,5@SO=F,gF'-'0yӍ:o9"VHoc5uk/xpú?* aI  PIT]Au34wxa,Qa>޳i<7銰89i}$Zs J¨9_l=VlS%SQ=o^s{4 Ei,kQOCQq顥NRV $瞪~F5=jn?Me#LP ZFYsvFh^-"xd#M}`&M_f>@:tR.$-dQx2Mf1;uCNK^pSDْQI~LߦR`BVR^emmҤc.2Fg7O8٤P遫-%&`EneAN̻2Wĭb;^UL3#)O`{4J-xnH\ld.U1ٴنYhF޴X j/ Eqc- OvQ oS n$Sea0g΃\-)^>(fj>S R#Epsl)*sK* J1A"Yxr|X t5XiĹ'yp{3W|!*&54&7?#W|TB{?Bm8Nm[\JK%wGM_ȡ:v[Ą.!cŇYOUsBEս'wmڙFZ%2ut!IL62,[3s.ԁ+:Y+贶#uryÅx䶠 O~ b/˙:MOxu~V@&f%jQ=zr o`7F|s+@Yr[PFE5tZ*@[Q|W';si0؈Ѹ ce$BW9£S,KjdBن8va]%-G,qNR|]?,"&aG[ ):k>3KyL ԇ'};rٖ16 7;ظZ ` =|dsdgs<_Af5ͪ8#^d7n!h`i[ .xކڟv*{3zULiBp`ToVKmn[.\ps̲DdHʍű=5  G%vCN.(o)LhW A19_tP1$c<ߺ`ڳȅ $xF {^KeGʮ]4ٗ]€2eGVDB({&/b 9δV[}3OYhNo cdc(r= %F1wMR!ҲȯPXgQ.@II"Xa9p P}I ~Wi4~%^RAĜppJYJeRls8xY&GEnQ5)nL7 xVmk[7|?K:B3ٗzŜrc9G@doHP6|?h)f@O6v2*\(Htc+Π0 Crφf.xW$ҠJqg>dtǬ!rI+ vSCёdn>e!AׅM @cH~tT|G] '_,tӢ'K拙|ܢœ{ @qL,(jYB\5LP.:W,vf(\tik14%˿љgWht,̯c"Ԩ}'Q7zu; 9x/(h ZaAt`}e;6[ tkIeFɀU6~X[=b\CLp]Z=T.XeuF9:ـ؈X\Wga@}e%\1>1dQBF$[Fp{6 |*bduCA:wͬAL(m*>6xY]Ê/`0GXFeG {O]8lX{1u^.N 5Pk@[aZEhc?R]aPJ.M7+G-8̫ < &'y\ѧB,6d29w7ej&QN`/8z(Q;6;o߃(4oݲ"}6Wj[38/Iů‹?j)vpsK6v}%9Rdt *AC(:;J(a"K0: ~(^`{OāыF^i -6w5f^`:DJe<aE#MiaV|{ttN$'Ԅ KWlN5*.لi;\GP FL"^Ů a~KQ|15jhe}LYE7 L!f/֙ nmEE.r_Щyԑ(Ur~-e8BfrNg 89͹a:J%?+Nj=|H+sN6NnM[_F<[v€+ʕ sv2F9ûe K5Ԉ-6|?%S|w,y8rI$¢A-} XF{ 5'w ?AW&g}deJ^.J52  #ug'T*+¹d4QYD|a5mPcbT97v6!aФN/"D^J?\'gG_77ZCʹdÑoW^ f9 Ü!{ݭXs$ij&Iؓ,) ^g M qFs5qU.rwH5m ,}v"7b GBt !lVϞO ՍPR3M~F٭H%omݽ&A,!VjHZ@@ox rv*o4أ 7^GrV1>ki.7|JP5\IhiCnUp=+"\XV$(GP`ia=E?nފ Ejja{%0vQ$M$*5bF`^]@oUxגtt߽3MUQ*Ff)M-Eh<L 9h[]O4p?ALI=sy8Fл#Aޕ?|e滜8tS! \PLUEފ)p# I:3Un'Tb;(6ٳ-7<OAlR'!R#x&oM8oC/g>)"p יP)*Q!s_ɼy(*;/GqFdN;ZFʳx7ɳ),/E.DHwC{h!F{6YL_ _ ۖ.?jӐG R LYb{poTCKtԩf0 T0x;ma( ۤ -?eIyV U^ϯ(L .-AVNjew{(ݼ{t c&,E- sǤU\-Cd&tg0U14ňk/3+l98Lc|ה3 #۾M2 XʛZLϺ&s7BVADiO9f#zo3@,Si> ^GYI0 0*R`۾וT]KK,ƫzhv;xKL`iXjp+#LvVsesN:9<3Ժ6dJϖaڧx|EDw >hspa̛nԦEttHOkh;2qb `ŊnekVC,q@*W߮,xX A\HJ *cpr?5n.0ڟ,ӛhr{!,Ū.*v |JG كݩ  ~+67`*ٰeG ](DTSHt4N=U8*ݝ{ՇGhb2 kx 0쩺D@Q@_5ePKb$,fHbOx#y\`Yg5w>'&~Fyy¯62 6].r9l-B*kHʖafd+fz3FlV74ңm@㤾eݭDedžY^,SFfMrzK00cw,`̆P$[4]E:PebJ V )R/٧ڼöj#|xK|f= >@Bio3"\R/S{BM7gX 0f5BNA*V^cI} wc)fJ;.o-2ED0p:A 't,3bmk&B4YzqF>BkH}b|)b7dwiVMaO8 Aq}4D r.17\1 b\Gʫዲz!ijdb W< NiǤܵ\Qڤ(宂TcwV 0尛` 6Rs [,?g&}!kR^>+B+ط\Sm_NJ$V!?c-3}` _FB4,-QchpOu?J69"K(9i0|.IS{켭:Ngapɟ׋vP8b>Ϙ xIʵ.EFØMۯtyfÅk mȇ$7Bz㫐I'/z[LGH@,clhQiv)=U?G3<}' oH}Xn1R͐%mm4lnZD|xPrN*z|8LL&Emkeb 4@:5"*edZeݒ4BxN:㽕Egh;/pM'KM03,V>4%_PmBOb+O+.L\7cK<:O;e,C?ZHڃ,Hu >DP_>q&B~$ԵCVh-Jb | oJFJ0B=>f+^pP>8fu-e1`Tv5jG@ W;Μ:h`:RGF6{"n&wPT gLf}Gm'4߽S)eDj3>5j7euΑj2﬒.ZPY2nc g%C".LF; p[<tIrgғOs d]ܨ: |sHL4dQF9 4J[]-%T-ujsl\3׼gJ G<|7=Es#bz*ȿ݆sak{bӰQж'N[\0/Ya dڋ}\ɞ~@u`*ΆPsOV?z'7IclbiX^?mJ-r*@1.6)y@ 9I݊L^`(}vS4(a޹؄Vm7k{Kr43bv̕?Z -? \R*" GrYJa[]??Qߡ'E0.zd5K ε*fQんڶ]810֨)t+ ݑ:#bޖou;|ݭ6 <\1H2M`!54_'0GjBŨMoBKfeyB7茖MB2T]2fZ'㘎|!^ (ݫ]3,:ID#¶=^i OFGX!t$@CJ ՜+mr o `,g/uYȢRFʾO^kIOBYIJUZh}k:g, {~MKW9UX}مõFِEc:Ssl]mԼ韓i=0H|G X prD4Ǽ17;'|uȌNYE-Owu”pJO^k=GpUG Ndc< S}La:?*y׈(1/.!9F~&Mjꉩuo:>tE}O`Y#.)iu@;zL}Hd4FW؏b,Vvv}%if|0+jAa{!sA)/?5=~;&F<-_d]-+QɄϴ<4>8F$%}%iH܆@l\{y29Ҫc^,2: Yw N-9Vb avAic,9nI/PMuri^ L@'sJdK q$f2CTKIbR.=d@b{20,h_1h|DS!Eb)%JiXԯA=E+;F$%i ؑ LڇgH'@.5>=Ao7@M*_`#%:Z1^^zWzRSW1g4şjOA&a=K-ƙZĩ {OSϵɟ s09ʠI bQ6 E UL͑#'@ $+aؗڥ֞ ׮80grJ*U u u؅4Oixe]NpFxh|@;!`塓ͤm$&ĒJq;O??*b>򤰬ue r&mG@&B {aW pnqͥ"Fsg :/O`?|` `C` Sn\OiQ6KP)ˉER>W Sxȋ^P J5\ub,V3).52jw ai쓵 98_x)ʢˌ\˻n`H0&|ծdݣˑN7wPn/EiLs"#X_phYA2轑oϥ_Q܄|.Wc JݙZW;܇LjZ;KE[ 039agvY!=G念wT,w-\k?@ S'#՚kW'Vl7(ZogD~џ4|{mA ^J:&|}&{A 4z鵽K?P>e!Іϸxx !d)B^fKCj?UFω+ yyaG 0'#=~fMx9_?J1@G2yW r uzXVnhTrڎR_dS ; S'~iMkۤBԳ8܈D|!LjR./7\B]DϘ'@@{ me2JI@ Z>ZlFVhJd :*UZHWЦ]!1#~҇ DOly34Szsاfw9L/]8kDi M3~3X0b=8a^N?EoCxa.k˶3HN&IICn0y_db^ׄIAX.ۺ?Kk6b*<3,|8 ]-h2^jd"xx,PкGukNq@c,NfMZ:}y~Ye北YeLds;cѾxIuy9 18՞+ mqJ?O<3!J.29lny ߤR]dzʗ5Eu3#8![=7X!ØM h`+I"TuڻCRUWӋ,D1S B-6#ƚqF}ʵ߱4M #Ã>> xJ}O"`4@ZN̍,Ƙ Kfk<' Hs hhc:6{Քo3›>8SE`oz?c}΢ER% ? LڠɜJ bcF R$쇾h90܆G2[TNuԧ4&m#m]{d-=PѺI(*X~ՌC>~ Jl$I6 {wVN@`^瓩/F&^ICX%']Wݹe>ϫ,ڷL7Ra %G  )ĵ~S󺟴 tDf,)=Z 6PuBR?jߩ (TrpH"ߦ]d"׍PaFcXB;SWx+4uS}$e^(1)d5(q*AJ*U jZ>ҢcޜUTϐ+}1;-WQVYB! %zV6AlQ]P =̟㱳M13!c/B)+/CX4}=援 yHcޖrvG!&T;8쐋6.dvt RGsnPG{g!ҿAZ\ Q W(/]Π"'@UmGtۊoP915{=*f("&c=&&Uv*RQD{}$||:)[S 0)@p(GkCq碑@%ƭm5Gɂ]M#[W@';l/":tu:7Y~m M 5qÙ^}7^a>}"]շx` SW5 B9k1jw p_d'JH;>@AQfg0$F!SMfXa^1BNfE6ɆяM=-[Ĥ{2! z5u0hC-(/՞n#Pld&4ɛ@g#d=Q4E=ԁ4FB!Rg)Dk*Q2%a0AĔwE/>kI^g}N,.,zZi]Jw]s_(Jw.e)+~kj ]`nlr ѓW.gscHJ`鏡l;gVglFilkW)f/F2@ba4 Vl,FY_}-"a`,.(]*Upo΂_RO6Q: 4Zq}L.6,+hs-_ K.qQ*Y&^#9|F cʑe/ttoJ0b8?ҾY1P!}pq]e߰2z.ygF t3{Gt`.0B|U%V%;n3"O~rTya81C!^袋/׈ܻ `(;#@\CL سC9( ;༈z"p vwl@z"1gA6Rs[;pK)%YrP:tzD)A?\n&NU Mu fs/&4ݔժ_\,Bv9ߟu 5sm0H4WRa9ڼ lR76`{)&CXb\> ⡼t̸ 9.bZD銋%%cS65.#ߠr3sc9oS)9[3O(]s&S),P$b] \!jl\ӊ;l h)2! 8_'vk'5b%N^uK[: ~*..3 "N $(Ҡip. }ܪC,8:6=P ;8ʟhg% m'8 ހ',<#z"`~~R;gympkw20w摼h^$vuGegޝݥz'TQѾ cEt{ P ϽO(\}SՓ|rbQi_gΒUbWF:R2VW!֗ :{|5B&%Uu TCzxS,?gN6Yn?mR8X.FxJohr-'0߲t+Pj2,zwٽTg8(v+d_tȫ Q|+"`vꢺhat)c ?_@ q'NL(hY -GR}`[.iR[Cp7u ;# 2uZ= ]ob=g>P- )VF-)x*0OGlhՅ6D1opX?#yƌ,6/ < ^mI0ܽc.%Y=)x,wsB&8P^Wui8>- ~hhDI Ns ssK{cbT ِNf"ӿEv9gT]RrU7DqO9]..1^z{>F=sjR"zH-'fc/-tj[.4PgYZc42869c2ca7cf0a2edda9e4d9c7365e6b4bf7a9c902f55b990891c03dddf854b84aaabb24ee3cee350b48523fc092edff69459bb16301ebfb101b7f1