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   1!D| ]]]HOL-Proofs:threads=2elapsed=1095.798cpu=1871.532gc=365.324factor=1.717zXZִF! 4]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwba!K"t+ PDiͲtmrok1(dJ3%+M.v+$12J&c7۷#+"#96k2JK1k?ĈS 且ͼ'#%Hj[jwu"Uq<_ *cI< u,W!!F 4dd-$ߙ]37 Ut+K!{5f O-$>/܅x$7 k_Mby{"pleͨ5^wM"  ! HOL-ProofswK^ަwM6FӋ zVsb~;v80I&XEZ?`]KW8(g)^ n`f8M!lugfmX.BBp(cⵐm<`"WҠ# T;F#VMoү}Y{KZBl + ' KzQh\W e[%iu>V-U0 6L^0dmR]`/"y )(ax2.G/G&G .tf6fߕh.-"P)+Mq<`OA'U}h"i/a:[tlhuW~SA^88OŸhsQ!1>$DCT!/`O4~!)Ɏ8h dJ@ Y&W ? 132VKQa-u ,.z-". ]"T 8H=`.-xq7D ]uB/HpdH=4fM%觷゛T|&j,Bgb;b:oO95HCaTL zϰtOLuBC =iQkM1܂3Q/_e+00 Al~馣#+Ӣ n3&Oo!zC*s Q3$r,A4XO}u1>3R$DY 3vK{Y>9"QkfT-Bu zP[h2ȎXIW\rdVRHYKe[i1좈=8m^_LY+m<$ >HБAޤAvj__K xxfA kSR`>,s|;osb:bi}.ΧqCnAJSr/O:YkT:g$ nu&iȎ{g v}iǻN:Ǔozrȼ;pu8ַh YPEWZQcYqϪ3C"yC -Њ:HCp>DK G!;N6Yla՜Pl9U{.` k:aܐwY0NLSExIm'c hI㞔zIooZsVΘЃph rUm Xi}ΩNƋ\{},sBMp$> 'dj[b]T5*sNI-SsBFWba2MAǝ1[!MyDvQz'ָ iSxNHفLup0Ʉx,2[hxAnf:=Fw ϋG )BtG?Lptw&ew+0:zpCR{iMRN1E.v0~8KC FyCٹǪ tz >놗0ovGCc)Q4=WOo~nE=SU !Y (\Q6KߚoP N>k$ 4,g|Mə5בy&9&Y`C:dO,/W~8?h`AH(QJFH˳X%C/-P{ΣB(T~ҔyVqbGbD 2!G{B49~!a~SV?URɯ#0Wb#&~f=jNy7ZэsnLٗ5\<5:ށ9V_g ?4#[glQb,a] G~c{BrАYb'k/emTq^UO4i|yccx++\/5\+R&. |'B}=ϗdifmJV7r}֩:lDYMtWC`J㑨1߁+\%9R>Qʚ\~A_e!:GȬ|ҏjceC,U)Tζ1D ,V1(y4ē.S6i~& (EۧYf=g cN1d4~G;f|.THJ u`9:Ĕ9<ۃBaGHFJWٳ8V&$/Y ҭr$ )r_yoRuҮbw˼Jd`h7m4m:j>D}JpXAoqFҦQB:|-0H7Xk 4H0斕*iD"i8[FCI1'zڥ;3P7(vJX*uvdn0{ۗ'÷O)"Ps:Q)Q웞JPMmpFњ2iY =>&gvk*k/"s0oID.td±ն1| (Ld=Ryldv i3ŝrTCH ~X K塆9 zYHX"S O6][3/kzw pJg5[-_]uMƌS!){d!+h~vabcZY~(`^nt#]$_jlf"'n&{2jdƃ٠9$8|ATgvbEbm,oIO; WOħ~ƻv^50z4KE*$GL {ɔMGZ$&/M Ib;S>oPBM '/r jx+m d.. iRS.:҅cֺ`u&u7֨dCOHV?x61£_xylI\D&XwHF=1fE$%;7#igƀK!2Ye%_1uP?dJ/ߋ( }'U9bh(08OTɃKy\޺M@&/lKyn#oe}\GG*Q,/VBu׹mC#ZY(.*I([Cgؼ'"[6[x,fbiq1Z].NZ5i1\ YGJ #gщk [ohPddhχ#Q &" ݟ<&2̯)c썎Gh$d ZeZ]e8vt8,>!ܔ]/@Hrzry֊PS}]or~ڂhE)~_43'k@HbPQRTЭחuy.SDtKI(guI1"q\~CE?)2#maώ%"ԸlDİ g|t^GI\ns 1Ӭ)i|]4,r,EEȧRVN1#8iQ4(g,"vuE_Z@.XqLCZHϤ1g`1ʕJ ڕv$PZ'.A@DЊ|R7G fm^ }Ϣۉҋޥ+ `u^wh;{He9aX7+7wgg'u44pom98k$( =Bltr0@wpE[{s}9\yɕ`K!IΖ^$8BELT>q]d^%!=eˆTXuxI J|{q'-f$z.*< ;:y]QIf/WtOMa8ˍ ~mv|(۳ˊT!|oa$kX볹J~)!C$"e~-9x;2Q}sF =r0x_'־U7aOe`qkvSk 8 IG&ehA'oU OKbYB6=w1oŠ=HOPUVX R"k$G7)¹X&D s%M{ъTk_*{uVlw'9_ 3*ۑ &rw1d`}5. u$Ui~wGKnW58{T8*c[p*. Y%uSfx™"\ٽ)'x0=*v#e8݈2C!W1##X N cHLݪQMEEʉևᮣ2|N&P#{$wpiP3' EȀe7n|I.|J\]1pȢ|z$pŴNlйJ ݟi<xw: cxQ=ybSvh&['>6SŀWK"z[%b&5+w>)tЀPhv)R jSh#]NRZ/θg (0]ō_OQW&Pi(SD'P3@ ̛]GOcyUal?ô,Tx.A'oA+$`X}[ƾ1dw XXysG1k ñgYZ7zXZִF! S]ŗXiɟ29aoʼz[%U>EM!!*W-Ed>7SJS-ރ[_i[( " Nz8;ȇܷ/WTjsO( vkjwTtbՇ}h޸y(8Z,..1frhjq6Zi8F27W ΠT#W^EZ:,LTQv>ÉFgJUkR+RU5Wb{l-) lK{w*IVW4pu 1_9OXY ME|>[ $n7Jڨo"Jm|2zzV `\(fn76Kޝ/{%lF+Jԧe!(>&ވ hIP@M ,tݵag?#6.C+s;sZ.]a̎c9ب0^2Y-^yIZNĪ63=KMҴzF~d& ͍ȧ 7c"1cpjÌl(re '#qZgct|jBΉfjU]rZo,,(OUg:jʺX}D,գ:5/ܐ'$6/W[KZ3㢕7XIσ7"-At]~7x_ k#zRĊ/jCb6)CcJ?;z1 [ ҃$5h`(~Y PU !pY2@if{358aN[ mk-o$qxEVybv\ ,J)杵c[ujP$G(S`ꇃN?@psf` &*}-~>ʥ LM6,ߚ綠'Ol֔)s͖ҵjf#?r+ǀtsckQ!o\wxeH,='Ԧ XECɅOQ8LMS1jܲ5!\z L$9;HM C{QbsCD4cYdVT]6u~EzOԺ ٱQ yrn65ZgIvP+(KZWlPeH~ޯTܼū{,:(gr̔GJ6צGCB:7DML,cg0EDѹ(2NLƊ7P?;sGs ;c !sҸ@F~Z[CųJf _u wT(k;zh .;+lkRqoOx u7>)(ZQ3?&jg oZP{OݴYW>4 C Ε0,!~/'D;vp ˪O$<>}@=I&滒ao,^}&"2%zIA|3A|ْ:  2r(gYZ7zXZִF! uv]ŗXi%;>󘺊$v2Hkp _r3F縖!0^5E5 gX2{8F;]:8vdTS9-d|SQ'_&';*z4I$^3XwEZ &~mJ_|877Y,klp0uimyǙw~g7ΉmOsbc0^㬔۷ω[B1` O]H@!6Li;ۉJ 6c|߳\w=)^b~R,Yp>6*zn"U*˃X >߿Q{z!/7I֥bu@[*z@Q1ye&N ]@y!Ϥ9ND_/z^goKK7Bu"e I/jQnK ;b\f>e.4%YKNNeMZટ!֧!j?.) З| K:͑8JZI2ۧʎٛB?G *[ O}ZE\F> gZ'D5 by/{sNԏ 0, Eܤ8{+8؄h1Tn<4=j|-~ vev褵ץ1Z"7I?6ua]a%xA$mo|%BfvA'RV4r*7!r/=T"^H;$DN = |G l" Fjf ~n9zhb3R]3Ð8$ 8!uiϮ[tP. ijрbΎDV5umM8"JpI57@j Mڱ0 £ӮYT|ڬC#PxUll:HpH`ʹ+iAvh: B"ԓٷ(l!Œ,$tSk.\ؑ "r;qͭ~C*̃mBVA'ubD3x?69?eC e whUn(x/ b$2+PmK9D,&0\]tAPx^Ԍ08G`D!̓wտ*FcFh3z@Lp?ܭrnU;=4wuH.fa!\y50/Y2Nd֦Vn, A ;u3,^0Y;=l6KzRR:̼YqO+AH ^7>'ߣĘ Rknȭ˩]-[P5hՖ8-sͲB/j#ˠǂ f?uJ ]> H7QCG:-cg=ƫ! veλyBbGY+oM *e5EeTn#8lTnK-wIO. b5cGœ(rBB;-bJT" "_^ #xľӍ1Jd&ʟusY $cJ0W?|մZ7yqnh2#>?,y1W;KΏQmIOd7( %[:$fH"[RgrJ99ءu̟Z61tBo2{8.iLu}zQP v:|6"nm2AޡO;Rsall;C,^̢>'V[{٩?ho%"sd>W|8zctQTD:.d )h9k}ҳJJ\v7 iR@YV4USe2k=+җ";Az1`E{09V|`h+ZCl( #HE  'ZW7un"qgKաWV6Nu*?3F\S,7-hBl "Z%K; ౓>ǘ>~)*B;f&O=Mʼ098&LQ!qv|G$gT@OYf@@c{`QɿWD٠dczm %d/43mCX}N]:dM =`E3Jv?cOwtI{Hedo5wo҉brv'a%{ZGa\3|=Ɉ*q5΄Ԟ=nCMmY{٫e]'3&؅m4yZ6g : ',7لMw 3AL(aE$MyZToe@R]ߎ}\@_0b`*=c2TLVnVE_3(>I ϝWA@#=şG4S'JP.G<G2w7Ȯ"mCFVJ;XtjhvJÇ/1n_ ub:k'2juH$'DT~RjbNyV!/j;î\A7)a6iO8r44cU owOaxֹ>jS;j F2j`5NL]ζbtu(avx'wogJ!YxC|ĩ"5Bh%@+.U;~蝅`[RO $u4G7ה`F(|۩8$ʥ?uާ*|d~Sz4zGTԄêoNwO,e Gۨ@RX~ L|DHXhgP2IӲ]ci\/A :tp>r>xiGu)0NĘB=+?|Fa9[5_|q(x8ؕ1Fܷz n7ߟ?b)Ӛ!Q&’Mc{D.,腲kӕITӿ6b8oRN(µv4$.8&_MiކcW(]av[暫j^_Kd)jk ^.f=etl={9l 9֪#!CiahAI)  8LrRKߠ~3]5ςĥlӰ 1010XfsYw.$2HP8<쳩z̅!umwhί͸y5.eLPlT̠J1ʵ* XPki*g1WREo (X{f)u"VUsMtbdTq-8*40Qf^\]8 Z ?OsoY%q343Yx"Ā7p *"Rbz9B*Q?7EuXd2**sY6)=vnԓ?x`%HHthG+a#[f;S*JYl> <;!yCe$|spxP}uta#euȠ2a E\;/YF 71h _E.gƮQ'h [[$⏮͈ʽTz`zq w 'k"B.n%Z bɻf!"7 ?ubJ#9S2s_ _ֹ-uLfRf*ze&!ACCgҢh,Bx8$ZG !ep8?t.#zHD?2z/蟺3nKnyPA $KyE-Ty_O32*&vŐW'ZS|rgV:iDmO=OR!G6DtHzIjYw)*߼oqt-PJKN"u"Jgm*kQ';* iAҽA*Ed/W^F~!j˗ahe0X C3rat m`?]S)4wERIPsu[PVi[Zm`oQܸǑ$,iq 0 -03eiA=u]H+8'ljqp. $d +SPzt%!`los;UƣavN4-i82:NhݜSfCDy[+t#d -o_^#ZG4]Ozmk>YK2V`MK61[]aٿ {Tm Pq0!58'M:'z?˵mm*$"~x;OZJ{ U (&>NSJm4H| hj 8^)F)X't͊vb9EsϬ$vv9U}ԺQXL >WΟf,++"-(? &U>!jzhSi2MZD}N(HO&d^,vH0a"N~KwV p"sKuek)Z]jJNј^{d݆Ņ_*תOԘ9zn<-Ӌ6޴;P<0Zo48q-L #b _ ڍO'KV)_;& d8|R߲=NcD$08$j^y]ùW9!aT%|ɼ][jGOFH|\:3̲oBx_"ъ)''f}P?P '4RkZs^X$mukR mϮ9Y9ge bgd,{f|/"DbJ[G!1(]9 ڸ6OBR0[4b@R3U}ō+Sj itߒ/c _Z1#ZL62L3A<ȑ}AsD 66콓1̌ZE֠"wΎGzB9>-%@rcCc8d"R]m>3뇕SqZNeK:A*H Jih DZn+cADbƽ G!,ņc (j&wĦ'jPX ە"fR=~鋈\WOs*\¯tKCX%0d)/h4hnמ2ۏDU]@'y%{k$Ȕ*O3cM_ ]1_kkM1(&t u@`1;r +'/!'2 ɀ+PN(5L ƾ DjuTwֈi7L~(1S*t! TSի& "Vvvrl$f1K X M-qT3W*R:+2(>#B/df*x L8q^:}hVYE!oEmR0*GG_=,wa `Au?M}$EQkB/֤d f.Atl:cVψ j8ܽCvڲև@KjwVMRt EQN3jlDSGbhYM G!Qx!Nı:&2!Ͳ֌U6l$nL2Se~hP̰tpSVd|85mÿya,(?qX[|V>KRI[Af[k3 5&S UB4UI'Rq00?îKdu 3f,7\ѱC3vT}cn-pz eMt8? o?3Sdخ˂4q{ <K"˶ ][bZ:u9kOv TShݠ`9~' &ݙ^X䏼Ƙvhc< \%S `48ͦ m0 Nh7<§Iy(DHN1q~DE K'+%d\(\!^*(T;yricsDVn\)ʌ|>۱C&%;Z$zQ&">#5ż7IN/Q~`Vaf(h&wBI3SDq h0l d}1ogj~^ļժ@EIv sG"diz|=81^n'N\8{Lvف>!p(h;ibU3kg@tipUKTs41#Vqq n"@TZO*5/ .Ihwq@C@g z q;4R e]nuta֧O"'-^=6fg9w ]zck)c8Ɉ{ g֥tsն d_Lr2zIcn2#>IC?y cdbe]9%u6$1I2lElH+enDeEs˧(kףE?Xw"b 6lPq~Qt;-}6G#lK2!/4_)ЛnDhL?hfg{so\}qrc"yd[0 >Tr C$YvIa]Z7B6FP 3~(_"m'xB#9/4gך$?{gL7ʹ%HE⵸JQ,%sLJACOm{)([PKm$"$\2H|Jh4k"ݗeHG (Ѷ }T"2La{vyHu *Y(%"p#1z R38djǭ_x31H}eZ)uc aW[LSxd-Q/2P#T'0u(/Gj%O-T 6ƒ8pD힚ܙz94,f_i"V<0 1֙vLhcqU$Nj+n3uEHdX;TZ"0axM`Cnb.`aPI+Qwi''F S6 PR\ u{ɜo|mՙ&E6űJ9O΄Y&ı';Bڸ|/Sz#XhGR.Q@Ւ-A|<"R-3McC3. :un|kTRU&N"boH@?ij]oB>$-Z6P⧮v246N<"k%"W悴$@dL fH $|/"F.{~ZȈv L**<>hrKL $ z'we#o$ɼf?a iEz;Kό,eq贡we$?a U*$'~0Ll=BN3-j6ngtlxo‰QyrgNt}7Z2T%z2ե\4:ݘSqq`S7XnfhX`i-xT3ױFw uKa6tӫIz*1*94 }e1_meU_d-xÑEW&qZFk@oG*S8ǿŃߍXFu!@?%v$ar Nd)Ŭ` 7DjڕBm Мͬ9Tbn1\6X*5U/G=L+ ӹ.Us'\Gj><p}|E$ZBmgb֪Y-eimGl M^4̲A<ε#tFwIeL8WI`efԲJW,v 8gBU3xT=;]46l&T3=V׎[\`/"!Lh^6 ODY!P /eulT,&>P@z2'7JԴ.ϑCоZVr Pt2oz -(FBaxM Rm8I,дpRfC,WfBn-4')#zs_2^kLV> 5bqhV$1Qޫ׳c [E0&vبzWqOol5做za>G/Ѥ 'qBwRGnn}gb!tdF4`28ۅD_Om IN.s*IڣRG sZ/'[ L(jrR)ƒ2Lqńq-A׼x88%%z >0k`~^F>,M[_U1MȲ1oQ{,lodCr0<#l|~<8c9Z d@'Geל9)Y dFɤ` \5:}o6 ֯5/igq8xѠH#~S5<mƝIg#;&O u@\H/<*[ľmlđB w8 N7ˠ8WQ;YєY'D1Cr[fdF^m|yd8(xXAS )X#!S]zQN)9e"7IbFlVyLTkoۭW_-=_ۙ6c4n&6^D$"h #ΝH!R1:S%$ݺ4,w)m&&֤a#K65)Ú[z?Qzd@F:!4} !#Fq_0ό2v7iq5;>􅁽|UHX^Vc1#~BZB!>V,@TM+V;^` ~O '3&^%S T߯KCS+䖋 ^ :J7`ŷOWlWf/S ;tY܋K|V0QYCQhLȡ uHf>Mu -RH`^,G1 4^=i*idƁa=Ԏ:§ hpSdA?@Fے}iZEh5q̺IId%A:Z gH'I ˔cYLo \]$KLP ``T4`D"CC\JH)sii =Mv6iE"l澎..{4@^v\6]ͮ|qTB4p;|fQ{l !kyق_ <=zSg*2L%CT "aVx`E^v-μ^d_#Uo P87j]`l$aTck>9~R`'GvS.}3#&˄ [pSNu}K{dyFHC=p|P_M A_c><9{H]Iu]UeDL[AVRXoO Wa p=.~xScMo_P"@plc.c"`>a#h׀hXi W%IK(qf"8ciTԩ*y1"[dEv f"\iXiF J?&.ûgٽKT\K\XsB b;NJu)=+M9+9#FMޘfLt4"&VGB1 %섡,/G$HCmᨆ3[^솾^1SVP.kIԭ|'pÂ48CRo#^|F>2>U\Ă@ Exڌ#LL[MPHZS P0*xYNvJqԥ!\ڸ쌞T]+ƣ< ' Npyȴ9Qkʣ* Гu8IY  ZNlJkkh:3Pan]9 sph[Y<7I=< 0Oi P+ DRU4l&k]v-rN 8C0|c1^l"-)('G`XRl= 9Aŀ֓a&2U`|"Ucd);`l(г HtUg7k*w3٫J ]iRyh:NW\F7Wԧ{NG s-Cf`KS 2&uҝ~ ;>=+, *@ݨ!,,MzQ ~Siҙ)%T}ؾ Qb)J;7FLLkho|K=:tOs jQ([Yb+H%c荕qڃ6BH (j觪4R3GY+JxHX*T3m =*s^uVP>^b&% KM! m3siA+lIq@> :sR;!Z)˄g'EinT>6NhWx4*1GoCfE2r3R^{ۇ?{>/wj5gnQ[EV&᧘5rb:NzSR༃SB#Yis7,Rs?UH"+ڡz"y=9ZCpk8 T zqgUuuQH&a ^}ҋ周} !__0 큣y: U'HO<<%4)[~p UA5XxW?sozp%ݙHhj@0w6]tQ|ճT+SD~I.,kAR'u! ^kZӋxxlr/(&(|fԝsR.N@~;XlO稳}jە5L}&SGV ǐCn&)@dBkL7/3cѣ".|qmQQZy|1^j)CG a}hiJ8=ۥEL R y"+)%&>B-UN'Uv2]+U+ܶAdY<ٔv<4F͜+JIa-ChnգV6"y+6ۻzO[9\A"AA pFIQ ζ &[6iAW\m}V'0K{|L 7L(\2(s1V'K%95{BXcn],[LBm܇^(+_uVbaDr L\bU(MfȽ^JwhH,Y@#FACW-y2%hoũa! ȥ30ޫ͡4egR ,z{RBu*lKo{KK6ҼwCu(/HD'Nı\b+"}Cu-Um,D(h=z 1 ȠM[r7CזJ[szZk`y"NV媯~]]cq~v.#WK;_<;uƇENh$_#/+Q=芬P;!!)^+S+֓9A*gB", 9E#D=(>[p[|Pdh hg|q^{hM+RrZ8 :ܦS|#f_GSelѳ%@+*Iuȧ<Hbd 2x?j*/WbÌ-pQOhxD^fyhjr>,"1J_]{JXcynH;9 jNdӉ &sqQ%W,O}+`h+7cM3$YLWto3Y0P`Pm\ x ێQga3o`E?M@a6E 搟^qusK cN cSe1fsޜATYL?d|?ZF`g,8#NqI1ݱQt9͐ Ld}wl 6/34q~M/Fu Ԥ '@ZR/.Dcg_}3|/= sQU29)Px:i-g'-ZmUAc* %19/lU[;/q PHB* XޤLIC#m  v6kt (9lCY2".]cLH*qslhdnI,hL:.]L/VB1R_9pJ%jщ)1Iv;5. ;9ЌkC=dH U_#Ӂ!E.~eN>{A;ZmUYK{S\hF T,S~5d|e͂-e'I%ڈ%ġ11.+ɾm--G%pZeve(1}떷Htq "?|՞Uy?}:Q F8\џUZ\kYl( 2 ʂmu-Wz׋0JdKQ+vTI HR/ %\IkNN4k!.:wclpo5gFպJO;f%u靜{ytMx ֶ1j|@ Њ0" /Xr$wEKY~KU0헿S-,C5~Q*Cd`t)z՟?ns5$swgg&ݪ]3)m=V*}@pjDz9g[un?{0FԂ3;r/S' K+}466ZU޳#LW5sb 526ǿj4/6E31!+:K+_}ݺ;pN|w_48R?@?$R},q⃍&ٟ*N|J_l[c% ~ 0&4lܩ b M" wU3?۬@[ {}l}4֛دᮁer aI UBnRQQld!H2"Z1V-cBk}A(>Ҩ]ʣ:Xh1pCϛjաy#W%#r J$Z1v0wY׿LǧU\GF̐ ѥ{Pg_ՖFLqW,n-| ],l Mkҗ€秿[w^ ^ԓ¬➋F%su׶ݟLCew),I0&X>HYl~YJjyBCEFB0wC5t4 -$ 2Jv> 7>2ZDU%b?>UX8s. -z¼y- >8t#UߗB嶈@pLo@3 D衲مw%c[&J׎QBB^cӖ>Hjתk*xL>*i*N )s-}=]V SnjW[o:^Aa ۅrl u'kP5e*p{(qyJTmw0TP~WβwV"LYd;x*ϩW} mՕ=٥߶)B GOe×FRӿ-j])Bur1eRFZ&CGu\4O=4R-Ⱥ,mCvn8갧߿>mɨp1Uغʩ}v}̃lc4|p0pBaܳlģ`xn8m# hI˿6?'Ѝ (EhD*wDO,rؑ;)NiO4\h${$2z͞X?oюt0iUNP[ ܄Fp*'u?@r]*9 w@~k*^-`ŎX4FY"}@]iHAr T(MB/])ٖ~k,٠ Ę?Bζ%T}P AeKufϲWw1k}`|+v8LtD i>cA} vB|6KZFr0+ GvE aucDa!b{8&pm3gr~pv$:]);Ɛ֐ jYb3 /+"3^ԡBRt~UgXI'Cfߪ+ei1/A4JjµU*F2xe~GQB"a.#Y.o%C9> c2[;uʘ%d5.ޕݰt kA=:<(#G_̈;YՅYƣ|Y<>+שw#cIjzT4hqc{R!7+񐪵68W}=3sr`@̻&}eƉO.0p0xkK<*(p rɐ9"H?|X2xN!7d5 JX:\eEt`9pg>%{\}VrjǼuܶ{b ^|#p8cl/ppRCVMe(_m?KPy<6Mqoq)dR?ITs1;ձKHh ;kߌ{9otDR7t"-yճm) \JlcA zw1_1g`rn"EJJÑG2;deK6DtKig}10T7V"!4yu#Q>^`4(mC!,͟y>kew*9 xuX@ } N Κ).à$8oީ7k:2٥>VU*8ԁ'Ʊ¤ƂykcGYD<(X;J ȩܷ|I38C6bbqnA Z ׈ҟ1 ߝB󬰪R~Ȓ"3]+'2)Z6b]Rf mEF >DykN=W^D1{ΩFXt%]ǐX^"˔MR{9@rLIbPN;~J V KkjC}V=JWwL;f'ceq)CeA]>ny_|ly<$OvYzĢHp&Q52JXB̒57VniV`O7X:|L077VUP_d GuuXfs } M@QF;ґJgf%jc~iJ75RcSI+㋯S/Vpɀ69 960^Șa'Tkp8uXm}(G96}{@XM*E/>Th^]?3. KȮX$pGRτNu+^w6cRkq3E^h'ǣƣ7$M SVp\xd 9QP _-"WFDiA 3zY^m$#ߖ+55( p ȴk1欓S*;:;w [U E6olB7L0@hߨnru"^;tG\IbI!:ldG Š [PwV "hEr頎 vy"f%QaX/dW~y)JMDѶdD ):JL!yM y@~b1 hE` U&Bbh&eckl~/ce.\^s T)G j>9JU7Gqښl ,]ʲ:m[_xp]2BѬK'e~KɄ+}m9}˷cS>M(K`KNHa@iCO x4IK6ފLp6+bP, !T%m[,7ʓF7+g@ 0/㬌Φ:!KcJ-6z +O`L<d9_G3 .Þ&$cU[@f0 KU6|vDyz\͠ typ='f]eRM;_AU͌u+'z ȆvXV`j]R$lUF&S!ӱ8}@2&/&~"}ܻm"~a9vA c!z|ӊjqpGy6z"1>>KҲYkY`PfxR"(}Aw] }"(}n @0ײ ~?DLؑ߷'z@ܑ¼H#h:iޖʜyVH=3(q){r7뗯%G S %l5x ⋐NJ?H&kY]6~9 R&^傚, IqoJDoW\Ӣd}wBTf){0̷hFrD̈́*7F9`F61'7Z<'GCeouthW]۾0Pânz-\3f{ŧ/{HoEr>*: f d85wөKhw1Ofy6)5 da/7B:>,7, @Azk~Ɖ*KIb͝ŋJL)\ igIb0jzM4o1# SĔ 6*YMms:r#Ūf3W$'Uڝr=}C+G]Iݶf~SMk T,Jd$=gw-;ք\>?R2|f//U\#>n"ܗZe([|kccI'zy~C6\i+G?CC-PU'C͎ӵ8([3QQ.`pB'V'Qqܙ r+D@["+;\8r<YmsV/\⾷̆,n/K%\t]9[f_[<;xE-\}5ߜKb$}Ü.炾 s_-GE&|^N Gk?єZθp)(^u9oG=,44*hGǤD87/: qGwhOC7rLd'4gH(zĥL)&Y(/,@@M /F4{?53#UV:op+ zʟi}GV憬I˧+GzY<9^L?7>S: O#SB$,;@HGOah&6NQ7lNXpF+Zw0רJm􊽨6ʴĵ٫d[yf0jr^c i[>s~bU\Xm>Tb*tg =!UD_TS$!4l<;; >@)}ݫ"ł^H;"-TĬQQ0K5\2"wd.lS`kBmghn"C1qFD +o*(qys%wF ɿ_\/pD(m %/P WO2Sϛӏj\v*qpkh/y{Fl4i5=U dMޏi`WYL]RBz#2tT6|d@61OgQUZ›\8Z)^X0V0%EZ֧0O,@YqD;6.jI?z]Zu<bQ4FYEbgS?kVUm{@mT0Ffs4ǽf4EIAMŏ({5}JkJ}sybmD!?T؎t]/A KH:Upk6OUx<֌I#؍7xx*Nͭb'C6ka5= QWmbs$2P'nV06T Le$s&V XYEX؝&\|~}UJ~V R1'GԇnF3(jƺ!VK027{T.5Rݣb)Kd511Z\"/xNnA < ANakqJ*@$U{ۣ4L={W\kO$%7RZ32%?JuiT*pPXjΗft-: E*M?RG:h0Ĥ-p(|9~ f!#;+{M7mL[Fs*i"uɚg\:)]ֲp46l(a<"eHX` lB~bC$W6!U-wa mQ"PK>z2(yobN\] %nll; oAp=3B&",:p&kYp 7 v".XRqvBp{2Vlgd¸뼜]># V["jf+q=minVa5A+Zh88?9_Ky]pXoxUPeF%&X:+` Q6i \m  uCиs{#/'fNsGF(2J.Vyl݇oXק[q;季4%6W5&p7`V( PQ=;j*G#!İwV<`ΜcVni[8D]knbC4G&v3 n4f |c>%tY͹EzWj9/^Ҧj:x/ >Ť T@CXܽ!\l34 qZB}n!~#\BpCm0?~Em>fh9.Ax*q&\E&~c~ԕvh6r+/t2X\FhB(h=:ɧxah,v J9: yyg;b4$j H/㍻>92ȃSѕ)gz o呠n%,Zj;BǼN3 ʾol~BQʦr 7Es۝.ҩR[r=O)VqЈwp|>]HxMBF|pgv=d&TX3H@\'E 03K[:w_/v@&;sGFg2PV}rɥ:+'Qv뢮StbZ|DŽ YUuVHOcB GUPP$ߔً <@=գf{S5N9܋%{ͪ )%b).# .Lgzޜ\[X2@XwWJ.>+8.y!VmRd~ʔC) 1LW!f M C#\J~P2$ "A z!bJ|B΅($!eb]q%|UʤO[=>$|.NViu OLwia\7%O:۪voaqH>y&ѻeh^3 1߫ Apq  zZ#-[?,ؿaAUQ+^MBQbǼ$\_SD.;1Q)/EB Z"Ձߘ*D:"Y?Dh'U),pr"vXܝU M~񱋄19*M N&E+yowT;M*(9xqSv.)i(W4'DŽ {bȡ:G!n%4:*MB;ns2{w]z•d>1#a}v~ZH?Q3>/j\F7bj68TV`mوPZu-Ft7b = N9WE/h<ܭN@%DJSPfkU5&p Mћz@k_/?TUUaxY(-$(5;Tb#f+v("EeDG^I-+:sRtIDY13"a2Ҭ"HQ̟y4oJοlF'N ұ9Dk+>>Fbw,~Nc5o _29z>bd h \&{tHJ? ".M;C:RْiCF؛<?tZUr_ U&hmm o7"e,38%v&c;48bJƅ8f $b~J 4cAΛ } wߡBj`P%t4e{B]BMU-=lV f2?pqs89Т+FBWR {fQy5`%:McM_,S4q1(vp*=Flnbh&;"_!EõChgl\2A';/}y놈ˇfCX]O @|lyM02ć϶`˝+?DpNj pq{wNb]|]NoV#-cbIo]`gǩG ~rLo? NXjQKA26W. SEcFK?؉z:Z"iuT0BFfV;Ėehd@D5%hWӂvIs]|h/m?[ "=63K|Ib"!1*W#|_Fc#I<^FhIیΟG? ^-n̻QS f='q5X[ә$~<#}塀#<@ie?EjA46CcWpR˴FBPS<*n%䠣+IB\3CwǻMHGCh[ h (~kQf}?j?e^5tC`FVl֒]dsi ?^G[%PAˎDs*rq/im\= 3`&Hi?^ 4,?T8r+ŪcR90:B uCSF%Ig-V0I^43*f޷r7bA9BV\~؊?q}4iΑB׳ wottĺ_U(hbddcVN V !]܁h>ɹCt$5{_ -/|:$ )pzwQS6muuݒF= %1Mʥ% >ww3*'BŁEh6u^T? }/hOJ 2vS V8 c+4( abQXsytHJܽg,9*v00$(-.XID;jD[2< Wس*LR\7D1s) &^ag9GYy@̶iH] ߿+huPXQSQ(jk<"г>VsqUw6d<;l&bgie@L vsbQYU)8ͳG.y_OID !'qHJozDNKD'PlX_izB%xM}kS^R,ރA'$~aǣ=1#&z}2iˠ`J4/HI4%eyRߗOǙzEӥV2DrJ> v^pxu.iQgIEX' X liLg J:rD9,QFX(,Σܱ3O7Tx F'N+OuM(XZXJZT0O2k%cEgǵφQOsJzl!ex O0p5QA4J`4xC3߆1`g>gY\|UL>$ZSJ\:<89>Fw{h(KXmQnN.b"77m|[@ _Ż8Hyd)ۢ&nL?rֹz^*JdF:z{uM'z]~t*Mx.߫wɣڰ EhjҦЖAێdwlL* r$v9ں)ԥNZT^|'10FV {tyKr B(hXZC&\.qӑ#6Ěj8fe@IkFjT(v "24y1^^C`#jM;W!m`Siƶ6{{[~fr#7<fFޚZƓd]KTx6QҐu\[]Nh_ ïDǪwȅ+pi&v:wfnWo$ɉb0d:ۥEXN[^/ )a.DkvoncNzSEH8ّC{My%Შ*&%6GOB-^SPZ;N!򧥒9/1$iaӬs ٴWZ'Xm6eZx YSP0dY=IS"rh'! 'CiJlˌ~cW ;迭,X"}nE5-ƫ Δ'Pe]xK)pڗ,h,Ԇң?˳b,?7})[(x)*D!olL>u'Q8eHuE3Kfa)SzQp<:YC`УZYhrp&6˧px=L)_BYbS"=I\H}"qk[!᳥Nh,@ai2ˬ2}+Up|_A%J\<\(ߚoaR߄E%Hw6L)L3D9ΙcwɓVB5QGe1v 1ʅVï7btz~,'uĎ]OÔ<_nUCrFϋU>ޣ蠶%HluQ91cG)[ GG8яOoN $sR?'ЫukxM4mt: ܴ y"~غ/IMt #딒?a4Zb`2FԿ/WrҞݔKzeyuDgT:k9M?)ݕp(筰 FEZyu,t7'ሌB{:1hK2ዂ0met5wL={I1 WPw6aك'&Ż [r[zI'lL-u$)pWIYBN7xfw9睴0k*BCH㐜dw1Ƃ0HcTܦ"HvW]ܖħejɫ{j#~G䎳3b?N9 [M߯+=۾@ˊg&ec i6օ|ЌĨؾ_$'X1KX,  Gb'Ye \_J^Z4:ՙVG]*|*s8R={(˹c#0]In|eQEsxxVx6=2E^}\Da8 z7(uMLs=0<JJb/^GgUŒ-Nd FlZimmU4 x+Ť$'-Ǘ7r6a YTqEV7lJ_p_PJV/@xhf KzkP\t,XRT~EXʶ.ɹi.萒4q Ş̦%j!1(NjAyW#on!~F Witv3<0MX&Amk8.?De8L/V4#YƩIkV$BT"tuASDiIRBJ`HH#5 7衲eNG@I)$h .MHc?3n U;>n A5n_ͨA$ЊI"/~Fg[QAm)8Z*['a(Sr'wN?!fEJx酬gwE'#s"KÒ.O>ӈ)Zm,)΂BF'*%e nsŦp ۔pA9MN j/w+HIGN_Ph~Z+q:GD)y׵םg:^jh Ox lEJ fp6` Լz/ӝ^svBd3@zǠB?BQ!==^ګ<[^]jE' j~ Pv-KֵM{kKeKu L(y0z0iEq-*~L^s\'1zѨRNQ Y2('ߚ:~iMIŪ0r}zofH; Sv bHJ޿HBA/ԁOi,\6"9/.k}[)G8h'RD*y Q˙wXQ(N37V -ޚ,DB~d+aWT%w_+B,uȜpM' 6/fL߇xZѽ߹R|8%ʻ&ςpEBvK}|QK@Y0[+*O1 Us?Un4̾[4u d}҅1jpW^ x~2E@9CS3ŅR80** U2"7=O/t%IO)['U FtU($ikbpPtsW+k*1Kl>r(f|x~ "Oۊ'|fD):miU)Zi,D"~б0Z}+3 8(pTMIV%Ʌ(IV^p$tWt[{A%NlT4^m x:QmԳs--eMF`RL0LCc:l=ף$Vjr3L(AQJkLFSXrjFcɧx%Ag\{LQ[9}䎒f.&Ph; ^TyTOȯO`;q.u;vx ϼĐ2\1i':_@|_$ [.*+]/h.A|`zy^C4>RE4b# 9HYhw>!?tk~ S2UՓ?G3uOH}pHAiw9s|]UwvxXJL381+yBO3`/WL#%(e%`ֱ3hxlx l2Z^f J U$GsF}͜mzj##ꧺ.0 =# &NB=R92:<`=eA}~!=U!,rU+$Ξ%@ 3hDgMrmE72 ҡIͿUnT@-(!Rn&H0V8" tl%k 7wػQkx4l> 8sJ"ns"N^C#(a'!B_M 5KeEM0܀,L_AM8xL/loT֝)$3w"+_c0 ro Gl{1o ɊC#W5H؁*"Z=#f0t%?E[CGdS""Q\_BrTІ]M9u̒HHԎ,.PNUo16^KSf;ŝ+Nn-4(CzW?MMzɽ/3&l8'$v9a> hBydZh7^h=TCAۖ,'"}&bf"E(ÆgCJgr&U02$`T iuz7Qm\B JHȠ6 7k˰GF(+%oZO[;e4,l/97GYZmUc #Re?$ѸfѢ-jo4t}=LH t@&)t+{BtChWGm"!L7Ҕ{y;ZkC]:~ M|ej֔ za'bwE?Gwtq r)_bo ʽ ̫'9=s?)T0])fPh3<2֖灙jIbx&`hl\=uF& QCp'[=u!RKvxh| u}#ě1:AFx' =ZGYVpe\Dzc}&G]5d ,%}(XEKˡeeK×.)m8ٿ 㰈0f@ǘN2`d+zku*7ץЉeэ'Z;n>j-洊(aՖ( ˀPC$W,՝ɽj/2!qj j%K:Lܔr:ƽqc/ĝ[3t7 ڒH$=fnΝ̙h"_46$jeYy.Dm>Nf?:#~9 fJ͇m)$y{v>UƳ&|[s$5v^񜷇PtRLxۇ-+s #]~ lYE;ysB" u`Aק Doi9|1fj"he~:*mZmz0sřVcbCMڷM^ 2Ge0%Ug< ,kID+x jFAEK0^*)Ѐ.[;.gh lDF,PiƊoSXr0IYOω7Yy~wI3m^1H4qa#Bkd: |o( UdS(hOč^v5?P>=% tAW;/n嶛 A{;l@j@Y0 JZXv  jV p6P&DjM-yjXoV=+H81䃏} U#69/5@Ff1Ӈh^ &^])mx}  r$lj(3T@>^ٖ"]rR;v4R;_Io7 A4ӒP = ~֐kpa$|Ԏ9`d{ VоVx9M4&y.O`mvfFn~܋K,Zk1moYL qPCY4.n] \v6"ۃ=gdߥQd].~.J%Rnz5(W+?v&>u;厼 R捱˳.7 $ /Hnb[{(T]lcWKZyt V%M$,H<Do)CD g55ixpok^cJa@p+eMVz-j"G Z РE5Ex=ېE99M ;~.814d3ѐ@.&e == \ Щ>ҵ0aH'Ӯ;YR H"VJaȸoGmr^+L]8u|J+XT#!B S yY( lvTeqP{BmȐg\?-:{[u8vgN1qk8Xld>4-~M{i!+%]&A͈ B=.݅=iX-xm[$MP|KD-7t:i;>^R/w3{U{.\1b,vd^ndֈڴ_N ś S~j.E]9K[> tyCNMLBrn0@+` {)|os_U`4pzt@ĩy- I?&y)0=xMl"4^zdXFH&oU-Mg,AU{Y)UdeZ-*Ĩ:jҲA_^ŁDb k疕dsE~57_>Љz_ASՁ͔i6) 0HGy?dF).ϢoKnҡ9Kt7,tY1ob< W35dтfĪ60Ţ3KBYjf=fě Nkz:#BWj!Sbh$]z RQB9C9NV7 IW^?X\MVwktW(0?$oNċdߧu?F;l;p)15,p.D}9ZE5FMR`')i?$R!tIwbNKTu9MԶz/%$4juVء?FS^BufrmEȉi:1<3lz7[5Ҳ~@z9Pg^≆?j+BҊ!#^Z,WYUˈ( "<}J[?\F.*KBubc[j9sNcnM[>QWGmbF|AA(Ƒ ci5H{/e = N>ei/tF"/2v˖b^4gpd?m$ Pw֑6%x%L6]4 %K5,)H}c@1I7^ 5)6m?%4"ބ:YKIIk0 y/bēKnp;зN>=}KR,ŏfDIDs?e*kd` ycJdBZ 4%V2B)SKTp;ӣ#. cMl1 O$o{Nt&p:ֽ![m6@9:8V55_EX]/<$Z]? vྕ69r_eaM$w%+6f`/=].0tk(uͮâxZ)jE7b)-[@n)Gl{ǒY'SmK)\8 yQKfy ^maz1RU9(GĠJF`9tH8)TLXb`ֽ_f[.Fe+Jn&ؽlf P)!SpYȚE̤! hS{Mv:",~bJ>ȋ-9JX$%¤+L'F}' B;X\r~N,e1OL+!Y,a_t;0S2bZ ucr&;)I'6~tq6=UV0vW)v2HMfnTOeGA4j2!~L91½SȠzyieqhnwfJ dJdw-1ƸgE!PXus:vIj v{CF`)HɊi~z!|Ebh ZݘW 4ـ\mjD YY A7$_y9N b ]>+CyjQP hLݘX;uQ `j5h*nra49~ c4Qu8|ڶ)j[v=WT1g 얍[{\Vl+ȶp\4Z-^_(w IX~o] eBgN$7pr/Cq,՞Ec{~Y\Zzے{lПJ<{PHnI 24GNC{ EFUJNj{ёϷv|DꀠOK0-雑z')m!7@x|2HȈ46 ѱ0=捽@ݷr}?Pm zb؈w5-LӺ[fz3o mNuzB~MbOH2yZR ]> 6 f9'}A}x0U(\zI4ۘIxвpTI2,X9'yҽK-u% oUih~p:fkkg'qXNh~5SDJbp.\ , 2fcؑ/0n@ѻ* Y I"+z-^x?BRi,i_$Ij)`ߤ9ג 1<4HoډYtА^X+Tq섉[ rHOFK@CST̕&ӑֹS0RVq͙H .3Mo?@)Ukh׽k%[E(^ߞ<@#*c( 6SK2;|cm í\F҂{pQa ^ ѕ{c?$_ Oߣ^):@#O#[o5-,4#AreJտ~[ZqN'ÌwD,ҭ@-B7{I(<H)0ow V(0#Oܡy*>PhzU.Kj.v; α<ٴ>bKjh/}8St.&r(tXR1{*x!e0 [#C)>78GBj3_jq9nWvP܌g5ýc^jP (qAu /HF^wu_"{,-$vaAJẘ? r…gH '"WWN% PONVw#,Z(;8'#u4l#=u?߶<\s#1zU6KOɆVtj F{# B&+U.;).a% ҝˡeݐ8j8 ׽fIe} 70 {%k*ӻOC\S?=kc'wM0 \eI] n?bSU]ybg4 ̀NĕYK]`G$wzV,S֗ S)dZWxVc=ݶ7|Ky& `iTCJj >oaq}r^yLyc_$*ޱ抖fӞ*D,uQ}.h{iINVRk]d$@|wQ5Iޖ ~$B`J)_CHRS?gYZ6cbd16f6aec7e8f2cf708cc6402f31c9dd45182dec4f72521e1e679fd5cff6fa91e397c5873c6432353781e025c2fe6d61ea2e52864a5c4743593832