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  ,!Td ]]]HOL-Proofs:threads=6elapsed=591.470cpu=1420.964gc=188.880factor=2.407zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV(hbB8xKhi~467)^ƇAh(Q$cin\.`9dxº=-'(O/NRJP Կ:=B!m WI|Bw䱏iWM-;8)}1l㲲rmV4Yz7$Nz-5"_&ٟP9a1{ S$m iIWڏ$7Z(Ӹ\ͦ/> nڇo%z!M k3VPU;]sɗ Ue<2.&ձң'A;70 k9)]rKKM :[,Xxe2~h T"ڒ/Y4Nmyh4!H E5MvZ&~Fg@=?֒~̥u׭oH@ЛwCbЧg]u4kY tk/%+cST)~=nٰ=Bt)Yirjotmg&7o}6b fuiV؅vY;s#|>/"S8"\ǻ`E"fFgle@-MAre0S+WuQ +~^tn]nôbjduIB']FNA]M):Șܱb> nRŅqQ èG=1.z]'tGq)rer6 sݹ\]'!β z\o?ۋ""$dsWeB"QLpn.SnXy^sbS#?M߉n(:"2Mަo6ܛ^3x^_&-hfV'ieSQ^*rxݠy9P`|s#y?l] S՜&!{YŸnDQD48M2%2ø"i,=?=h-OwtE{ebwO} D2Gu+ux$Gc ==sԳuv_T _qF|zS0iEkMeeǻ =fHgͤV2}R"e?BjI B͎$McX"|OUYQ3b,’6F'N0u, * 6r>jjm Pw~qbz +RŎxQ-Y%5yƣ| FԮ<;` ɦ@ZOoDP-KcHv?{ d DIp_5 lj\NN ik-Gr/L"!e~Φ_]D0گ+hIB7+.B\ ?S]Ȉo,4P /Fd1 Ĺ;r<Ц-0\Z${ƶKa*!@ 3\I7L\Y+!Lu޽4ÂIR/ʘv@F*޻Lh v`'*%C#f)O9G8$N%k}O ۥ0E2 [ `0t.}ZH[ysXvSj'sd:\@+ 9/\&m[`_ƿ#2*}6mxm}k*|%GYaW9Ԙ=SdxjNrnL_ʊ f*'!)/B>DmYiN2'ur(Ž3Bۤ+uܦ iLtz :O|[q=#Zo>PdS>J Ǟ="+؛y泙QT$+8ɃR1ytehƵJvUMȓЙSbu{i1]_8XE/y2{ Cx+T0ء(b0: U 9a+8{&xNa|Ul5GڏU'} eiT/|H0Heb]e 1jW]H3ƞj0WSgj0,xoLѼ>}iZGE^ϗw>GxGhWbtrR>$~F R?F :CoK7گcW[w0:j]_ퟀ05AdȤNe֓BvCWgh$|cl:զw- X1Y3鍟Pbd"ZG6r3@rU>5 kpaN"إZg)H|+@ uнǥ]VmD kꛯARߔYSA03 iGG ZëcԷ!*R `^]hS,dXz)SAQ/̶oOwb,?!fݬDJ:r,$3\ƣ5J/LQ5MCY w /1O@$m/m^?l-$&kPىJhDSh: 1ũᚣ_Tt յ@3B\ hAROmLDBOg6B+WRlE!F/w?;2OOi졾J\ʗ$ܝpH#WA Px'77BN_Qfo J(o( ٸI 36nRjkU%j: fM/2|ŀ WTDW&/66(f*Uq(GFh)[F7" ecT)[B$t&=KMgsh`˘.h%LS`h޻?GkKv&{9m^+&93dLAhVr:un.}cwB4[n)Sik900 A'1DQ"mt$ɟ:t⨬Ƙ(^1%a$?*I1Xm7sq7.B2j@E.;f=ƹz+cL]]0s*UEefWǛ/S.[_]X%S&o P'?ܵTPǼRDp;2=6ayiQu@k)8󖷑X`%|^}Hc5?#*}'Km uVjНbV9 g\62.{RS?8 y⫍f+=I͞Ct~TUPS9sT%T|d ΰ5cee)tZ};ӈ =3Zs)^4Q=6ƐLGʭ"BchN@#]T@$U*v<ˢC07,}Xƽ*U@oZJ ROjZI\Ok"- (Yl[Pn :ci*qtƈCDslʞߨ p&zmAa[{7U,lǬ)^~)Zg^knj8BufZ#cL"$<B, 2ˤrJ|в>+`LfPR®v| v61u^k&wDy6$,%np6",Rm脋1(Ac ="nA~W"T3'ب>$5"*]7cJ{QՃ,[pyuN_=`{Wi0Y\1=b} U]CyAK.c: u)Ym7EĠb7'19 =أ)MNY85 kMJ K'3 BD4=xpUJ^?P8#Q" +d]ߡ5Plu}·QAKr$]%hEtBxBP$vBBŶU +ޕ=-A?۔4`Y/ޯE.\gYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!B/ f0hJ&iQl{8!{G8Z 5Y=싴bnaz÷EޓċMƠ>xuQܖ+NƙsK wb%k YzZ^)tp+{}J `|lS2"E 5â%D({C'(ormVS!Fi 2zT:T,XjIς_s XLJ< )@NNqL=qyӅpf0h6`LvjK@n%"\ԑ˕^^@]Vq!D~ 8t7>gsrLƈzc16`I @N͝Q&8,f HzÊ6w=Dh1CtY11@Ne}4vqm9%Ju*6 ECZUP1trS׸VLf_b?))b8.r1Ufec q>*-Y$s\ÚxIg gZ~nشՒE\k1o ?g"2ٴ@1weW ѪSh=}BAg] \eo;6 qJD_ZHnA=͖p)\#f7 $ᗟ'ͣ OBg9"C _ oT_r'P vl)ow(r[ZS@B1/߰fljk_ ,z>,3Tq1aIz%ڪJ+~exs:XP@dE) -%1qޫoE kV;J[6gsM]Ɠ?mJ1f7g ĄBWMj0Q חVȦB!܀:,_^쾞:KR(Av$1(LaIDoCݻA(fm=eƪݚ4Y%뛫YADx{z so`AerEB ^  %7zm6ioUP^$Hr;M~oTFW_X.P8!rtY'iQoeUX㐿0UQNxʳdS w`6yOȮQIz-X;'4`"C8=sj uE'œޞ:8kuvZGĨeZ7"Qbq?MxxXU ٭bK0DHĩh3H4RM# +^Qb=njcE'jV<֏O ^ { 霘'W 2:;gYZ7zXZִF! q]ŗXi%90g=Q6t[]VuZlFIz$Oݹm)FëVHBL)R.J9ܣ,N5bڨ/&mٞvm8xzq%I"cs@QlЛ5̼!Z\FH8KcĄq"mȗinc !!H֝t4KH_#^~/tތqPH^bG^+5%:@0˛Kс$R}͝hU퉯D'!; +l ;d(*%Fi~+P2H~"iT<]q{)2=W," 4=~p1p} .D s:.^X|4(Y¼a[GQS[/`о?H,I Ö́X`N0S'EBuVT]|ٚH'+tUH %5p̧ Ӭ\ψqZ o8׃Ԍ ,=NParoAX=CО6;پ렺ȯzW̱}[D( (r LoKlR԰/_*8)-=KKX lmƿ糟 dV ڬͭa:ۀ;sGҫW~,mS y_cc[Ȇ+C44M߈KW&*VRC  -Tt1{d2_Sn )J7G+ˆɣ^N1QK-a:`kVG'܊DWGv%vD=h:Cmz 'z^WTd-[Dk<8[Sz,ޙM} 4Lk ߯n Z3JJԷK_'F;12ir( P$1I_R<L`J=A MwـOHiүbVȥE4rnA8ܺ_ѫuqx幖6{_,'uڅ;*p:8~yeVEH_ʉbeS9{ JxD f SZ_@*=U0sYg-ls6BɊ~oXHK|V04mE+UOswPfdLGponicj>!NchQVspd-*IЇ4JfvRj.VTBAnǔFW+ y>4"$P䫳[vv5_%}flg3=3.ݛ!8.FЄ4WCxRcgҿbx#eл rHOCŐ'xnC/4>o:wHF6{, m<,^&Q_{)@Ӑ""BOͭӇqf,Z>*O+LPD m?FBw:29w4w757B@Di{?DsGYG緢XKp5ɳī IMu_X `i "_V9g" `O䦫&I+S`: @v3kB!f̀R.iW*ۯi(+),|y ҟ=7ӥjݺQ4[ V t?ZRVtpk i5')a5ݨ9 MP3b-i&ag\7-O7|{+;95k@4n34C)b=Hrް%icCsꓜ)^7T4z-[_E?B]ܫ\582 fX)/<EWN04PXa?c˜i[0m 0;ڒ⏬%""r+ ZYj Nqn b:z3gI^(ۈ4BA!ý){B\x%J)0D?jG^G㲼 TkP>_m.1x_aMUd a/:AP徆*O@.ҭ^ìSS#-ʂacJ`)hEh/5uBo3Wr~})vr<4E!=/QxJw ̔)=CG><:/p̊qd舕߼Zp./y89T\%9 SP2Ho!2jgԯhU?τ!Iӽ]41] ~u2]7,r!|MKx3aJ+/Ba7=ld.uhm߃A l[oss[|o_Wsd "8vSWKMx+0KV5a m9rRu ?j+PtySމf=f1yU{sz#y_yŝ5^,1Aа^M$Pxx>z>JG%MhĖݧ)Y(ʍU 9sqG, .s}g%sv4&}"fִ[.tqL4wW⻕,+^_LO}"[E/P{y'mP˾1}:K"Hy/dWk!I7qٌpL@ںb2)yS/04Qn%sZAf6 S,w>(r]N4_c RLM>Htt+'D8A.wZWS6D(.zw8@VWupc7,#\HaÑG3fNqTg(wP0wF@_FؘG5jRm$jҤXjY'>]?pqr#1Te 3,J}/`/Tcq ?TZHg`o[ƞ枹޸b]MEMp B1b,tُF.OO 1GĪ6wG?0" #XX9Ӊښn`d*_ QT`Y!BƌKCWs x+ 8#Mj#uJq!cKͣm%Tbq@nTd^o9$:n-v\vI;b{7íK?C(1_~41P{{h';oR RN~Eli83H$TxC{$@t7/LW;Ygg6hR$€cvϴ˥Rm,F:YBhN#c:z|wHAS\d2;k;j"K] GdS dY&d`jB;Lsъk*]pa;XO+ɟST6[S=_={e{/_Y?ӊ~xt!Y֙)Fj揚Š1b6q- >(r}]9.zdbs!VGVF;(#؜E;:d06m +M$Oe֙HAov zdIi|l"<%c_FɅ~W]!L|F4Fbg:fhqY,1'ThzjC2>c?"mA79;3S1EtlRc.kTKaMR풛"mb}(|RxۑE^a;rݫnۅJK-'fMxu8Y-tDoЫ8r}Q̘y9J XzB+ɗ|)uŎ!4@ K}MdR6Q%:agc}#:vϤ@8k/[ 5랳^pw\ac.G0z iҁUJ$zY9.^St!uĈ 7Y{&4(PP\1Q-Vb# C,D/_]RU栔z1LY%׈B5E $8QkHs{(ckRPxEЯ{l*4nwYыn>4& ~ZPٳM}6`y]k)~s0#\j+.^~Dw@ Eh$Q$/o^nafl*FOFKLWπbL ʨ?Wu-̐ɠz,,r_!'Va㫞'Bt/5LdfEʤ]5LRF /0Vo]5!U> `-> 9W2r} g~&"aiP^X>$oQxzTq0s2@Ɲ|?bx0O|: x2y.j<ỽ KTJ{{b_RW0KA!{=wU%8 jKoQ+ ISANHqŠWCǎ㙨Sw%6zRc}TA]#uxq M]{V-܍Ǿ[s-&wn/s`ZΞBt¶)8m˭ע:F%?7L\(Ki^$Zϳ_{nSuT$YP"C6AR鑡4pS\G%gDֺ5{?/GՔg0`#)ib6:.FM>y ȉW>r#AS5f*'zuȧk谾~:"Kwg[\Xw. }aO T!!|(:5NvYa2{YRTڍ0K\/"!!}4I ſSz|8&Tpu&8-󒼷> FJ|PowjLhX2ҩeb[3Ry%=>4Ƶ{ıqH ?q*T@ߍ5ϸ?Qؔ9v8o\Kgtˠ477G=ӻؚxrKa!.^ q:рFhru*u!zx==tF|TDYW C1!3'Һreٶ ^<(yw`O.A.[JZ7h| ٞw#QfeFG9׵Ě"ɺhG5.M.YW3 !cHpjYGpQrñ&;+^>"RԸ7=Y62 01G%9,30ߗLjl,_=ȱv#"@'%1y` ]2+C̎G ~2X ml> e<>!pY~ڮ5~ERۡp~/d";s3-T07e?>Kl7]8uRxZaa:cK'Np,rJ_NYL*)OHH`)V?)(Ac`s|8ڌ' V֋Z7Mf%mznpWF|#k]8qG)KcMl}Y`$u7elk]mXoWf7(Y†5*28Ajl_ך\Tp e.P.sj#-1 ;ҶŪn4^QA0s/ڭX-ZTv> ٷJKc *5{aMtP][̷OҹFd髩g;أ- Fړ?<Z!\#ol[ܜVWzj%xD&{לэ&ISדzVC5nO%,X 錙ipkRvg) $p@݋|@[M`,Nro;X5NZ?0͜JIB r9-it_!`Q0v:/19;%x WBֲA87) ktg.G36 h^L$xxv/,s uj1zk?2j;fwT$C#><_ڦhF=vx6uA[޵>OSWZ(_G9h&ꍋ7#yRtZ%v'5<@A\$<1'NZ#3BY *Y8ڵ͟_v{} 6Fׄś1p*_$hjhR DI0,vhMpTp{v$mmaM* [k{.[GUXyӉKi|R^W=>-Әb=/f2hHM(xZbKoٌ[%#bZf/R Lre M R z%n:~+R b9*a U!¿"Hx’ ZoRP\riZB:^L('OVuGoM_dɭyLǕv$Z aNƳ9Ծ^bMz/Qjgt_iAK(PRBA*B/tH~D;1[G"+B's1er%$qY!%K00VzTV':><`/#wfenQA^=8F/~]vD؜K}~u"L;ŔyEv!Y43ȸa][̺m%s,%d70R'A`({ɓF9\Tc)1fkZ2gEY\>Ds`z{V HB( Xy@\yja=)\PAc4+C`|}$zcj׿zBG#cdٙb)7KZmܯ"7MgƦVnhq;2TڶO] M$=(?Ѿ+)uTkI]϶ǃ .߾ߍT/QEsPoԗ@`)fWN|a/&frfѿRnE=\g OQTu>|faA$`(KmTvH]!GCf1>#jD Q"l c<*T+3}"jߊ:Ц͏sylɪ"5TX "c @SSpzt͛=jXZzzrZLɹI71M-|S0!?vֵl".]˫΀-e X~^  -iKjfbQTJÃJ(Sd?Mڼbo~!sW40F1fxN}M1-w9LUmpܞL缝BCg΀8\]( Zr=l8p g# 1>.5ZeN21$^s ;,?qӁ816X.ՌmI#XDpAhDfڡA]/?6'8֢%!ƂƁ۬iî;h‚&Vm.X}Y9/| k`Lu'o٩W=rvؼưB^ȄoQJ0nWi7ka 9ň bTE y|bcI .n<:qy@Wxn"@#=ʼnhW2`֚:Z/.rmRhW͑ma0=j}v0U4#LN{:^.`>{#ˊm#U).ENJ6-!cXKi|,4ް飴%r~umZR=ni'B`@BvM $o ss/Vp/5sr޳J<(8zk ޅ6&>==@V8 _"y;Sdx mFm,W@&$Eom)O͏6Fn6aF!bqq J.߀,vPP;"PpðwIgRvQ0z] Yȯ-L?!M|?J !9 l 5tY${/ùҷ5S!F?WsO:č>!T ~ \cw7YUq!q\\US!8jNJr6 + Cƶz}E==2 ݑi-IyY~ o j]yL {PUI6,e軣Fzᬀ-3P1T ')7ՀƱG͡ta6Zq.ȇ)`#V'pyF-I@N= ʀIFSNc<^͛uFN;Pm9LeRcEpeR\ k̉n8 Ӿ: aSlǸy)t'$&q֘ %tp*CT2t$,(gL cI{!MR;)C!u9w|xۘɌ2(EGІ1=- V>W Wx)88'bѣ:! m'qtdt+s7t©Qb*ڝ)6alXo#γ#Ğ"&|nrGX*6t-0MZo5`}GٛR4&h^3t%GVE8uЦRްlrXѝК);舀{=}GK!s_voP şS夑H2<שR-^q\Іϊ{{j+xMkycdF8ʄ}9C)8uӉ\BJpLXv{$:X~m-nGK=HT[sE1(6F l 9OY bڈ $irv`eHi UMnw^h00[-<ū& LS:j(#vά^@ _jK9I! u?ZOa rS솢dm jPg䍒m?/:< Є1z-Q`J:$p:9Zb-7n4K8M-۠>as,m|/!EN!s؝.` L(^N)=}J\~@GũmQJttJN_mRp ]{)hܷ2*9?(U<)M({ߵw"MB&*bhgmiXL@-V0ۆ W|Bh v@eK= v, }y#C >{V{]N9v_"scQc쩃Y}={m.-(\p\"U*w#&x$(Um^l(R{-]X8_pla/{_h xm)Eg"$*rZ9L'?s*c[{tx"C%yO?11pU:#7S̽p 11 n{qM:[`NV{v_~­?ؾZ`]. (3c\`䠵KpP_K*a(d ii[Я[v7mO_O!kG "߽Nn!*B𥨙~/u@Sj^h{{#jSNekwgS#NDQP2078dI({1`m.Aɑb8*k(Oůi8?N_vzZ7(z,]͹V[nWٕN[%70ovFO'`nB-"{{-džNoİ. q!YBuu\>#mc To0:F1Zۍ֔ jy#U}fܓ~sGIY3X2~Oqk7q_u>.D^;S)&PF5qLcFm-·T=# J2iv'R\-uk*8,(ȋy=acLf坙e7J(H*OYN^NVlŠ7!62!Th`ÑE!Г Z(vàZ#ĿeeȠ~NS+>ޓ'XD3%/edѝoamW)1pnm"ōZr(~Ct"`MObӵs3|T%0KgzEBts#VYs[NM6e9bnbw2;P$ `dLuٻ.,:uTzVf2 4@}WܶSh0ApRK\o뭨>W̏s:Hh*؜}ޫ;9bo֑H VWTЎȢjdKySzz'm"Wi@^P+z^ XE wr@Z## !˳b^DN+*#uzۖ ]}g,LVďrG<~S!?iBg$i ZC --@p^(+"e:Eu\b]>7_=Fcb)C#1dfk2 !+Qzm'Pg?JMuŒ}3>>THͣ)\YD3(M`㖽EXFQ؝B~' 8K|FCA&HwN -!% $MpHPNp`Ǵ:sZȳߨ07Jz9~}JՑF7 5sޝ0u'v )jwrRB_BqY1&\ ٩|4I}gjnHޠ[NZ ~0[-Y Obƫ7\k:q*u UKM%7\6Zjb".I\h FH4 *{.;gꃃcšB(se5{K/Arqu!DvSkErA˿@K˚įYlE0~+wGBTK?´KjmMZu4ӵy4/ݛCVdl"R;3dX!0Vʯ'ޮr0qΞ|꧝;0nqIIVftxi4yeh@P >VL_6$_kcG#ۥ\#b !*l@kh vTMHj4Le ի,ɨ ‰ wԎd@EOfHS6|"9XcҜo uOӰr?CBtq%:rprRa[>5#vުJqEQ-󬴫iI95w%OGTN]S; ~S; /hikvXhv!DopJz.&QSР O{:lx̲4W6ܑlK*Qc`#[<MR0\ykDb:~u"6?좞YòkV_bn-nsB>J1:X@]h:%!%W'堛<\eG$o Q|of ndz} &E_I0D#Oob.L$/sҜnrG,# +BD'n5b~?udXO"-,bX/J?H doC "W21)]%db# c9L TL!nF9:LzEHTͬgxhI{׌ j6Y0vr;v͉WVѢtJ)f'] jG7´ 2~nQX8YEF+*8'܊ sY oZgg9@N]5NqƤճGkPk^liE}2CVX9j'+L=SzhȦ, qatIz!6hnS_H'֏)~<b1_{ٍ@N aG-DŽtUl.phkg4}*$cAzb-bgj~<:2`,P{^le>tتVf ) ٴUcChF~9as:ùk%C⥇\~Z*5cJCo+G8'wdi6@u93fb]^0ǿ)W^-302i-Hd* &TZ$! 1LZ@8TexeV`Udwo tR+*錚gS/~"uʫ0f'j䏁TL½=]B <H&/ʕyk "_q|Fܓ΀;t(݃x ^x YC]H֎dpJ¦`㡜&bHޓ1ŹiyGHxV$if H*np!wo Lw OEmQzuD!pFȊ] ҏ>#D,L;VBq#2'"bc5f%^|Go1Y~"Vf~إK])zPG;4rpƅv[A30lZ?LabE^3j"_U%B3Z@Vȝ((q>@w'By+o*GǏ*#dJ$;(V0˹sx@c0m?[S : |m ZM4]q7zQ^7>eӴQ  tcyVӜC{[.2Z81Ez &EZuk,\@ [: +W/NA.s̬⽴R9h"sKw͞g=٬1RJU?o3%ԆL"iT .SPg);䛖G(tnV‰1kG|7񊳛GB[=K^v3u>E]7K.YϮwf Bv=@̀t ylQC&wn)=jPRͿmrGW̋QLNT3p718!"~ <XKUk(XD"Q9. (,LݙW$̌-o&6S, @D2_c4$Ȝ6 ӍS<q Lh׃șJDB(DUVx0R ?gFG $@{lSK^*/D\'FC%9 c9|f_6^![Qw H8o5i,Rl8A9'b6}[jF-"⢕Y19J\Ľ.kv1:j!'~R(Ì`?f0X9FEꦋͽEBwZJUQѥ9Qj0uESWwhQbɬA.GerMc+zQ0b!;R*'1S0I [4/窔sA"_zbE=P-:1_پwc5p,} C[HIjdRu/aOۑ'LC8ޗ=yCn,pXڿ(_z( ]I-B0wv0d&3|À;Uk\nZv&=~W`qe(*:Wsj }yJhMYիdEp:^y]Iu0dՄ > W;#+:Vn4i1eS/.&HRA"NrI#f8 iu4CdwYXOږ3ؙ1nduLps=pdX%Zeby,$=YR;vq{qXwH=k'EƄd[(|+@.^&qEHsUtL |2l굆41b_?K(I>ao qHN5rVeU I,u{mO+:F! 1:և]L}(-ջ}oлsظla=Z#{GT]z^2/+GW(8-A k>XmfA | u p- #)PG,mʭ x\|Fgc 4&X$cn,Tő:e"ى"_w|P'qhKusĉQ偀P[ u_,O(/1]:$ϸQ}Т,ׇ X جwn>&CD7$6D s2`U 669 R0M!lx,`6GGb9ִ+t~X0v\2Nh?Up|?-ӪuS8R] 9rzIݺު]fd^A7}f ?ƿhΓai˂qI!;Oڢ= mAky'[u=8SR)#P=oen{B\.vϓdVHQqSx$x1^J6>qW|zp*ޟbß5H~¯6oue§hDi! B<@҂/"`mpX6JvhŨ<Ѡu t HJV-h<tg>i1 [p>I8:8 -9)A by"{n8Ɖx=%'{LTQ=1'rMNNٳդmLuɷ[`N,j"ߠpԴOB ȘӯQٞuV}/Tuzs`4ha@so7ucc5̚M?+4 KѲ;a# zҋ6Z__aQb~D_>iiW!(++x,t>"yra-auvACU+Dݖ՘7a^ۤ6-nT+]ˋؿc)0Ljt?gɚRiԥ 6$w)+4ἀuĮB3f&lK#Cl" 4w~<]gs8ȘAP6]3:. _PNg3z+{b sUytLMumBO_2,غnk[_7LƦE iƴҍ~Vκx3^OU)w~\ J_!K+RX<7zzA^vXt]U'~Q51*-e>{v a< |Dnhb# Y$9zV[E$LւVyΨPVHPZYoZBV5qP~lU,P HfzJl91ͅ-$8³Nۙp1Ki1^`DIEh HmڮS݊?dTVnXT.6Q63]&w~eO-gG!Ɗ͆^P\;j>(^(%YH[4bXc+Be~+_ JA' G,i$LDl$/?(@4f :^`"n-.ńpqrNcbEK/g#5qsEx`Qbu޿]pA&bjLGi TZ^_Ҥz`[[:=+k".L,tSK ,GkF{8RdMzÔϻ8l3MOk2XGHku/KrY$1:%:JPyE eyENs$*=!J;pח4}rYNAOG&;0oB60eY&mK2/E\Sn4;1|e3b_ W`D.h1*w3 h%1p=],5;p͐&2 h!7~fw q[&l3bBQ=ׯPΝ\!nIg}tZ_`-Xxyf RYuQKM_"ʟÆ":؂{z_idgRմ_&A'8 ˿&,tg=\6 x-  lN}.=9r?-[F+GOgѤT7VP \_~/{)Hn'Sف:F[}ckt/R1XRrggY_d ȥԾ j$aD(@"JI0ν4}hrP?J1#&k6'GHB^T^ M"nuҧV@:2Js:܇ KՂNFT;)å4Ү|%!3|BLn^ Y"ˠDrs8JbZr-vQ#[.F:nM Ztwzb҈h8gY[@A.UHF\Prɍh8N,mry!tz3e.{nP~rp+.EBӛ<#AsU\q@Z?%ZEk܄_L8/5 m薖e̿x} tS]@ !"cԏy\lYoEskyJT@>w/0T09*pATUb1}s#hv(Q8v7{&ޓdtnVs{iիU#*2n\ʚz4*<2[uQ=2]6t=oo*ZP `?4&9xRD6-QBNS^٩t;4xEHDOawo*_BNFᛳOh{ּȁ[VXs2HX җߎP-NVD1נ2ʡ;a&K- rf4;bkj0=~J] E\!`? vs]gn t}F+mt.0@ܜ` 2BݷxBvjT*-jMYORUO"WAj+N/4$QR-y> zI.k1(Zm+@.֐C:o;-̞q|)&(td8b Օ~UP65R):lThJ_bTOУ}e*xJAﱀ5\~D-Xt8ӫ΢.:?6]Hĭ)Z9aڟ\8䓃 %2{c =C 8+ = w~UTY޺!Drf7@iK(wϖ#h`=b߾ nPy$Ax jܛHuzJQ˜}B&W}u0gd 뫠J%1=^7/ްNʇf}?8iVt5Ru,̇ǛLUɡ1Ld+Wߞ 3gȖˍ@5Fߑ^ʋX^8@^|86_C믳!*>5^ԪVt]8ׄ-c^59eOAǻ 9hސ%U .1Ź @G Q>3M[Mg@8z% \ uj/jU2%aKUxBY %v=/B2ǣP, F]gys3mNEfi(\}ȯLQS/ZCHmey{o :/J YD99{ c$|Y3X΢(O˄fiG0`0>Q}iE*YdE+ڰQ8wn<ۈTSZh\'kw6QN=E/i? 4 :'ZJc'9p%4X&s{5}a ^fMZ'C(ZnuH Qk/ VM Q;f1;Te;AdE7Mvj[:#q>gd j+dune<ݸFU-!Aj8pAbzuC.Eb45pJér1o 6n3vVt8F7^~Y:]A;ޙ3=PnĩOa2ȯGwg5UH֗S\RBߔ22صܻgj)$!(:PF6g|ͥ%l%Y381isdhY;(lm[DFLjƾ yjuʤJ6B~a(u>J$.ڵҗd~ߟI&}>GbYnUf~wOFQP\b+GmC88I ZD&|xݥ Ӛ3KsdӘq({C$5 tV8X_s|ab 2+6&47猧98Nt~f +B2N % d `74/*tX*>.>I+]sH6K@vdwS~"׽r@$~f>8E3`mUeJqeއkA] R)dZz&}'8oœ|8;d})3|027=-奩XT)ېe)Ca⸒`F!:B߉tp|YY6LA4╡=3fX9qec4GfǷ8B%:ȅ'Bk(e} &I(~+ :sۯ, 'O䗾d̗&bPUq|~F2zX,M[6hpv7D1es݆h.IS)[TG\wf=*7Cȓ!B7ʈۦt pqƦHaR'? a~ecF][1m,׌ƏlgzS^U`,;1 _An2x T Jb`"X "%Ϯ,,We|%"ʚ{@cfK%;:' Gf[h]W9cGfwf Jo^Yz˛i?6I`YDyĵ+:NB3AQɯ(qgYZ817b282fd1a9dfd80ca16eec667dd07c97113e1438c0e2920549e9749d6e446b2b50cc3ebc6f2bfb0931247b5f77dbd44812894a16a111bb4eb1083e