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  ,!tL ]]]HOL-Proofs:threads=6elapsed=596.522cpu=1425.496gc=194.480factor=2.397zXZִF! D4]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV`tm#:ž"c`N"_Ƨdx_R<YF!ѴZBo;%-1[a1o0kcP*^[ߦ_bqRRaclVψ'S+镣ϼ XF.ICz6潠R*a?uѨ`3H_Q%:VN=7m[1c;?(1{5uj; v#Sjj>z}2{"X7Q[}YC]v;=# הTŪk@{  ! HOL-ProofsT }cbU tIR\mt̿A{|v9}^ޠ'wGJXvr[ dȅP>(䨞ox>UX=-1aC0(#« 2:W _[*Nbɂ>JoPFX躮 \*5y/uhkPew CϹX8zMzrpx Q%@WTAλiGFX= {X; z@ i0˜l[QCj#Ek2|!2Xjlr)#?W wt]uˁw53m$UXE鼐 iKQ7 a֗Y}[˝V<䣳A҂`(LfS Ĵ_'HaR\-X쏲$Z6܋/f\NL?`>s&k.@#M >*Vx)hOպh(|S@ΈaP'Usqݯ-NXjV*}4Nإ{Ga6S\}FWZ E_$)L*8g#mEKdt.]K#οǼM' E:[X;VAƽ`̿DB`YRQAH* y'{cm ?֨?GnAB7BxwF@j2Fqu(  jGMŖ\v w Qڏp)ů?sIHM% -2Dd,a3nJoB JSWCߏC[vYpC82,Ts#A=b)2,Hеnf$eуS 0NŴ3 H B[dz uwJ.߇I^&kPлyk6|f~dRoa0P"NrQML"ݛiL!& -{8z̭\VlIR҈q|`0 (f=Q&Ry'cܦyZS.:yF&<򉂉?hO2_,[/gnݍrPMEEhǙW316s`ZX qߐcY-d4HGVYt_ WGi;]?4s'[yv&, CBLn3Z `=>[9FCsi8aHA3},t+`@a{2I Yxhꜩ)>f$62ݱ1 {g73vBt%݂^kdB%I- |߳[|fku׊9Ngb‫͐{o\{%j@賩K;oژ@,|jWƊB¼> Nmv[?Qw=) JeQrw@ƒr\' +o{22r}JZ.~+n(,7 ojOZ_qzxyYifm-~:94t; ;+ l6p:hsȬgjLInEU 8.=+SޗUkVNcp#n oyD<85%,nnYu3տ`T X!Z<p*I t_9`m;?+- oʁ=8t?{a]..,i TZ/x-pq\4%jk.yޡ.}v{Ĺ|RepքN\@sRѧbca67ьR}+~ {lBWMNHWbrӔi+MD_9WB* (FFO6|hMAQJ7CBqtJ|HU˩E,Io Р>^J9!Γ8,'?8 2\z)I{RLkX&?qa¤U1B U_NgKOX3sɷsˎqf1efwHH+t V}\0w[h'z;^8F<.@/cocq 쮞x4+ hcdV ڬօ6ފZpY2'p+lqī8wD[[UP7ی5(qͥ<- R {.])P@:5a%}V~ K5Ϯ,d$\Z@9Y;U+ENQ_3n[7;`u}r8i+ʨ,LhKf4XXOqƴτwGچ #!"J8-_ AAxUe|J>Pȗ?CM1Z'&dofϮXnM R.V Y-uf>e9 5s]Z3O9'ZsDz$Y̝5A;׺>/!йqXty,!- WM~J:BỴL )o?"7)ɗHo5OY+6Φ|Oe$6ZAԺ[Bͫf(#uigga_y8 aT ERzo>b;n dXg}JCЌAߗSb[٭Ro7mߵfY5lEzLY-O4I! ’Xr\ J lFr0{5c.ŨOgYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!B/yǃ6⋻zrHԹ#=Ϫ# ]+n㷠޶Y-{[*#@ĒBy-Gͳz8^ GBY-/웰K,KKj9l ;T=xōۏdVY>m??DkQo:x,cb]#h7 s|[}*E!r[XGFPqcu/Lf]V F,"CK%ti+g~2SRȚ& ="f*y71:75"K%]JaTO,&ТrM`nwAxоMzW ?պ 0j͠w8 ]vu5 h97sBو{ʍ$h"U|`pPX#4="Lh e:Ì@QdlJZAcW;?M'ey::p7WW}{I7<%|eD{42#Mqe.pl?u!ŖV80v]<тnŤ2(pIQ X_xy ,HhP~eYw ,.tYoK>J!h:;cB0~ 4+{ۥaXXX}T +Z h+,jт8vm#vhby^򑿡ڂiiF aͪb+v]H/&bG,QU@KV\A|PS%'J[[v[ʿ8O^ A$67*GZQw //):ݏ+'92UB6~o]#pbdu/9c${Fjb"cK`<^/Rt-ədbAD* /גjHpAZ(t}]LbF+!y7@K$ nz!kHK81.{l' N{ K~)ao i 2> @EYiw%*`tzʰ[pS&kj,F{a Pݙ7QaQG&m#滍T ^L\ *k宱F29 7Y!->=r.SY)t>wkt`e#HnNG:b0bayx#"16C+ > YXܖ'$g3fh4T@ N=t%p Siu:Zi !ɰg U >NQZE :<:!BV CݟwJ(Yfe@IʘF+CiڅZ\aR};thE^ /DxÑ@BֹpX,|n8((_z!^O P2Ȕ=ck簞 _\Fhx(7PMϭYwpGf%ؗU8L?f˪i<{(Mn!pnHv ׾SVSx/F y9ptN˜SӜj iŲFXixwAFP IeQK15 ڞxKЗ֜o\Q8~EN)pvph_HP/+RPJB2Xg}_{p[:R7u\1 hwHF)bE/upLbCV9.El@"y%#C1Tm%7ؚ B_/QQ||ESy9I0p*/Kew-h۷Jx:%b~N6(w("i[l37sr{ԓRP2jK3]Y[މE=8`%bL;I`ڝׂ/gprqu+DVL@ !P Y`6рI@76*H`"$n}ALЖٟw9dq'j5vĸoK%Ko.s=\+hp)OM@G<Ň{ DXq%LkW:Y?|z{tæԾ@J25sO BJ]HfXЪҨQՀ+i~]!eɀ`,vOִ›:̆O%qhuչptEFю?psV҈ r')OW6[N{6yG!K̄Âps/嚸&lSxq}'L2J楢 /Qd cYL$S]aՔƲH{]%ihEFFqGCF[[lhqijh! uG᯹eu??9NMwtcW3>9v+s*RRlYwLgtvCVPR2(" qDGk* }K-'hWkpzjhЌg=ޤ-ۨMXzϖq cj:&Aďª ]TwM\&WgZ64V`dVqX@4kbNpmG"Qїɣ!m0E><1V֌:TNtjFp'ь4pSp!(l5 = mK~{z7nR` #=~U6֒ZP:"f}%KhzhP~ZCb^ FY]L?~p$4ҏ͂vܑt<ՀҝU;K> _BA"HPZUM8LHm_{8qg`Ml?K#<"6,WjG|'e=ri%0֖΃+չtزd~4f.#:`͡?NS! r͘u{(cXi0{Nfd/B'^&>jػ;i #xe!` ?wQ1+V&yR毺L9*1s[ o"Cw3{+I"A{7vs32+meD:(% ?9@@Pvۼw%Sj)`&7 {Rn<|X5u:@C0vݰ|?.j c i`hnU4S[!C1_CE]z<~Fsue/l4||4.7 ?UIX^~wxJ=U?ˎ) mF`qnS @ si򒜢Lno0V~6jRLj,CJqN\jpQG4ۍ2g%~Lw#*ֽlP|lrR-db d|[7J C}׹ d퀀K#n#秀78peg˔:G#@׾>4Ӂcn!Ep5S{ƪPU@u\ JGɚqIem4㟘4eusG߆XFbi"1]hVf>V]iʘ̧Z7fXC/tP?D/Mk"`ox@wM>;ʎ>u⻇RDdoPMlY.p^tsI%n&pӪӨۑ߻vA$"EdSe{$/^RC$1wWJ_=lA=]F u^Wj?3 ֭7sψRϷ g[;Qh:м+l3[WnշCD?3SF {tv%0*ŔEf4'"T^Srubȱ!߀qnGi1A[7Uɔ>U0Fw2"qMh~ {!nʉ(4dE ZjDeᣇʮd|0wQwBX xW Mgݳ/6V 98r9N[hJP6C$X,4S0,:ԓO HEґ3~ O8ũ+4⩂?~;_'I-ZYU VNpt/dK̕0%JW=h+*i|EPM cFU}.Q%P#q'gĹMA-':ۙp}T.,*iԔd k|c'M}d2}OvL8[YgwSn^T ʃp t{+ˍOBư q}N,^'ukY5X9PMqIώth ձSlw{lW?5Kp:LU(T| _(|gYI>{لX&4U̍IQ1DŁa֭Ļ#<-٬d. rzF);ԬbQGTfh:u7qY|"zڽo[Ʒq/Ґt=?܎SD8z9ϖ; %QG{O&{wt}Yx>$26p>sSl!G Ky[+6d``z Lp]0))ΖRjJրk 4R9.?q \OjX0D0l}ܨ\4O%vF#\|F&}v9C/L!2È:[x`yT#!$y~nfJ~U%kt\q'ǽQSMRא>/W&f"=4٫aےSae M_o# tΓX׈gf=HHaBU5kD)"3΋nYA+dEԋߠLơݺ4T*Ie_-l2a.5w$ݵ׿,6_|yf" kfYy<70`ui"N:7u&^ezЫHAٝ\_`UPR& 2f"/ki}eJKi.a:؋Ez;y/翡]Ny +3rQ`.F0= ùqB.: 'H}G𫇅a 1*CN)M #> :kدBqz5??o15֖ \:=?jY^+՝Dy9r4AiIpI)b A $WHr- H'zF,I;GPMy;J3_G ZP3k0OqONl@W|b;kϊ`Xf߃_I}^b=F.#iT,Qs-qnWz?*tQzDhIʤ3hX9^9IgkϘB~gP*pa澻lS1 Yp!VZ8o=`$o"u']l+6w4oiCO9iG;aOFŌas~>lRR;O>w^go{їSѸަro\]oy6!RsPiait˛(U=H:rios):NI@:=@%ԨWBZj}p,2MpHu5Qd ['L>XÜ:*:ۡߨ:KV8`?:u-0TXЙgsp~j>t*eb@p4IƏb:mt/Wf|2DFK]v V'c$ vQ8fW VJ ƙϔ -/]{;_U`?(Ī*}8mSZ1W\Dd)T. 9ІARl}2_ tޣT7tW*j60w~"%kޑ=%wSp$) zU}'t2\r:H7p)ɤ?'!I3zQK7 2ldIqҔ \x+WW%1`r eRP/Q cY5빼ٚ~ C>S(ax3d:[O~HB0<ex#*>mu i'\tsФ#Z܊|PLoZ~(@4ޓ뺥C4G \kJ`ɘlp-8v+zbǁ|V,IR%gu'U#UE#'z_iZ}mT" ͻ@ pK?_  `R@BZ5)b@-\\dGG uO`ɂ#M "_4A[,`qnxUSo\=Nªee:,`[ ^StΧp-gwy'4:JbBR ߠ4Ɯa=Q4N߸ ~" $T1X`u b_w ~rWŪTv# ^5*[CRxE+Ӭ{ʇi5Fl(@WDJ n!y> 6HZ wJ]F;^ZC(G 1m Q>:ML^!TAO^öntkg1kDG̀bpN߁rcgf>@Sln(#WV4XR-w>[>OOs_4pgMJx Fd#RTj*h=2t1 #>DHMzհsiZUϖ:^z9Ɏ{eh[]+c&Ǖ?=igɽ7~6$=vz{]DiwIGJS*0Z vX4 O0S9dst,BɧkGa纥¹Џ N^c<*lc&RҸ [&$dÓG,YۏxP\k^ "B?JIvfYm !dSg۾#sZ%#mIһh )ǜC"K}eC4Ҥ{Ѣ³rrlIFz\7)aP$uІY6=޲3~w ݩ'Vp茘ҩa. o _}܃XU_'y}?_ ~(Lȝ9&"&%.[t"+ 4~.m_ 7j"# d^ `͉j>18&ҕ%PW_vZALė)=PVS."bsc%o0"߳[ `$H(VEGp Ln?Z=X[ůo /V70R]Յz;Z`K{0ȒS4՟6P#d&arv_ڷξ&Ʃ6ƑZ=1E9pci '۱ \I?~w،[RAinqB˿CO3xAϩ][AқZJ'ORD[ݽMn"6}<-|1|aX2 @ku7!(P5}v1`kU6<>v?`.]1`N|߯u\cpgpv.RSp:[kT*cjTOulO3tj]aZo5^]@hZ')Υ>}01v+:͗uHF(Unxm )5x~ Vϳ㮊de#G9{oSn`5׀$\ #w lܩo>eT&sǶ&'d ^3,Iߟa椰 #$F'>a# p,DI-&{$Cۚᐱl]S×|>0/k%t>`*R8HALZH[ǁM)DE{3gE Q`0m/^=\3@ExR ̢Ÿ'U-?|P0>-RL3]uϥAm/1|?}['̞!u*[4Τe 5mwg #}۵(zV2!Ro#pLTܮm$%wp2wML|O充-i4|u4i.:bV]MR7:OBcvsO2DO L{츞"^M\#].JԺnxEY<ΤAuW޵h7u>^wrѼ)_ S$hp|MWa/B2@l }uDLX '~@ܓuҐ~W k'OS+Ęt]g3$hzs`\UVh{XXd3e5۫ۑyJp.|^fFF漹Mo][8Q5X~iI|ܾ(Nܦr.ΪlOw]o甁hx*IƘ$km[ 1)tGgC\&,G%YҢp ?JF:ΗMULI-Rb5K0ҾwuB5]OE^ujj3ȼHNZhir}C]^[h:q )5\ۏp\bw]vs2^4 ߎX%LKOіdDiT_5 !=At =A'~eYfxAUL^E"-uX>1͝4 s%zĐZUkNOhE=%f{?X_GA8|ȐmR\wZ혌H@fJ{߿_46Olh|gzY׾pHQʯ\"'<:96lgc? nB ]􌿧7DG^n8b&eJSLӞ1Feݲ veæ*#l5$|@PPüwY U {cmaueOԾU4݇I3wrgKʐQ!Z`[uO+x|ˋN$CklsNTiNR4܋=6 @63xhz%♿HFn+*cm=`#!G¯݃uր,L-V7"pi,|xA%H%q'$!)`Vix*GuVUAĤ 2^~7mrAk Tj!ྜ5svչflK&w~xzF:Pw`Br8)ܘ5\8Jx'CWCDm3]:g@c3,=PFM?6Ъ?J3-JwdG$+' ?LcI b-^މγe/NG*o4Jۄ{ig+|QYhT iqP 0q& -%vJT׼o)\B bZr|RlAU]?CؐP֕`BwR7y'hP.4۾K%nEbbDzaL K2toDu^yNP=#/E~91⠣}[4AV4!Ȥ]Df҇R y$Wt<c Y4XnO@tJ*OsfU'G(T*qQzS)pp=̎QgUS\UF-# FVrlr^LX˓ Կ⻇2fጻj Xu?[Nr$Ot ,2sg#:@@ɋ=S_}vUcH^֭׹@H+\t{GF:-0) *xE?YF[![0j+D+ ŶOqqO N=Yxmvnh6r~ULO7-I[CZݪ֜s1Pue10gk>R&M:t"DC(2LGUj%J>/蕥 i*#s,S,I ȣ6 ¿y O G&5#v8h٘i6S)!?Hӟ˷ se4`ӧvdSd72BYH G]5[|UM ٓٛAj>!7[k]hj'+|?8e3̑\63U:5 ?,jj2AIO aB~9Ϧ4EN+y]/cO"/ܜuZږ9[M!+J8':HiׁF?bT\!kU'Zp] /v}$7z&Z7xV9At] [f~TR@_l"q(_!"Cې`=2.8`8ꥧϹ\v@+)wSťnvԺoP+IݪʏnR.hlW:} '.(+,眔 jA&2!ۯ!w2 +p2Rܦ,mC1 n3(/=쇼Wq%V1]>^- MF,K]}/c]\q:(W6׍hf ''hT?TAl$U=g>~)<Έx0D Mц ?Lѥ!\hһ ǖ6ߘR†[35@%N,@kE wRTlF8 E3v( n 1R/sS$4-ۥL_*lM<$2ە !=2%\L}]Ț-Zho.at%8sv^/*|zJt}b^p7޾@]\oJ'Xa8AĺA}lѓﺁ5iCH 0dP5:IAl]H\ De> Z> &~`XjWVs6L]Y Rb(x/6%H4A )}`TF9c*]~%1s25%T,4 >$SIJlO@ZW=Amہɧ\eF˷EI!Ayҫ {Motmf1_ :p}Ӛ7AE|ɞ qz iy)!غ*ҢASHs*#!z~|KDGd mcXZB`Ѿpͩ$xcz5[/# ^N퇪ZCs^>}z~Zo:t>.ړ  $ٶ;Lщū ?̊5(N r {̀"aͣXׁڲSKKMߨAb%"j,͆ ^[LnmSҨ[*O)y JI| Po/9Z$"[}*muUzPQTnfq ?Dt0%W$oC6xQsYጎ$x۹Jluw3K'otdN"jc#b%0tA\(NF@/̀W&*w#7]B9b`C[1VGZ A_TOG[kߦ˗!W $/ ' Tӛ4Syȏ:y7aDp}丐ax1 \'[~\ u-x5rτ!Ozo vb" - 'l_IW׈CƂc$0*>ʤ)LqW\Ҏl +\S$V !WniPU^錭3Ō~3Se2'_A>H?u^_ X,O<ec-­2.:"rO%BwpkuY+TmnZ_p,EVDkj^)f8X4YC$%84 줘Y~o17&OQ^6TJKy•Q8K5Pѳ=hP1EVc&"9W5#w~;@Tk=SnOHa;iгRĮq& V䷦RjS,i~ԙymHY4?'fߨ[$[kcMQѡmCq;(jK, *I ta#ѫI|+ t́ܕ]Ӄ40m(g˧D}tRB|59/ׄ 8 Ia'jv&7nmv2"A(T*VO}PQ1[ իM4OpM`/ygnl[2Ls%wuUTq%w7==޼ߓh* P34 Q+IĕK0Lbl.|_' 6OD_ &rc˵xͭ7<dpߧ;>-,uE/$wnZs+#BJ[;*?C|Xyu(̋S躉}4\ß4k}Y$Ąۆ͢rcxWWFLJ2o)0zc1%cFfpTBx-kSIшl?-;M2Y\&Mfk=]O] FQ{mi75!7^eJ0CkMW(/1)oZT65}K ǛX6 ~"  E_{񃪐arYʼn"澝6޸X7 BF).S1/3)5 Լۡ.}Gy+X"X߾:-XM[;E"}9RBWkྚG_%*l¬9N2DQ n|kW,A~()S?o2db׭iê>@b͋4A ݏ1wHd|{1y8z^E 2^0lsB_]owS^18T~A?::PBǯa.1Pn"X[~poy?3s?)5kd Ͻ3zTP/G]T7eX6xM pAWATV,^DH\߀ ]*;^pw>p^^*0ľ.ZP1 ,£)庇[b&U E#XtcOfTAfR"a tǘ)Lf`{]mc6Y>Q;b_HT9!骞 A/QV<өֵߵ7_J=}1J)nV3cq<=AEff@,hkB>"^5B| & |NZ d.W ոqK$=◅^wA@~* "=V;ӛ/O- NJl0W9Y mhȱ:t1]zq*\me "ŋW ^ŲSDFrf8J (ml#&Բ2J~IZZחZ6m)FD˗W 8*8|Qi.gR y;sX ~#+cUmD mdy?DZ$jxcu5PL 1!b۪@9,]Rh;s SM34;ϤS"/n+5tp ʆa-şm[S)8{ؖ]rtE QN'-{AMNQ :&7uK4؜K:~gpejOc??uH&}n#(t |UkxwmN5>q6eF@bK>T<`&ͅCw>r~ГS!vЮm0Dp p eBb6z@B#E\%ʍ_bb3]TsW5=4@=#ˆL&='n$$npO>Kg%`{2rDP_V.ų3 ]&l2P6fj)?ޢXP6UHc?~lE0m7>ڷq`>( [`G!q{Ʈ+nKp40nԴ=fɏB9 p,2k` C)F5Fnj$-͝Xj M1:$v*Gp-w^\uJBtïj>N8k H4"n6-~j̸ڒ"(9 t̐,F2lL"8B]>÷γ ~IX[Q+1/\n'R0r*`%nHL/q1Q,ǷjU"qJ09շk zVZ񗓁a~y JO*}=ׅA" t*YwIYDy#e,R\Ŕ5hGε_MiN::H =Z򧜑gbP9}SZ /͵oLz}.ypDULE$\%5IQsv8o:zi02?7/ ^]cH(;"+&\^'ׯ_f)rE#fٔa]s2&suUID`r$՞EPǜHSYAZ2.40[5 -( =bVN(R2b/.C3r̕*aR"a,hK<'[(!$ ?A  7!jn NqΏܸLcLz5/Nel\1P'`Q{'odq!Wl?|:P#Ϥīo2y1"IL8Vm/&q*DHNl ͽStZ(=J}\~Hh$:y?#:3=X `F(%~xх,~!7Y y 7A9dPl7byp@ӍwcK-$eNO"n9Mg~HƝQQc"`Ye:`qa@6fKxӎwBݾ`U4HJ)6pIW|p^dccێ\# ] LDSxՍFEټ$Gb"ezp-'O,俅ƍM<c!q[=dK}c'J3d|݈>ƴ|ݿh8T[ >\jY@ ``MeThbp=כzCQqֶҺ3jz3!2%L[i6L;_>7> p$X*j DwSb5hw+Ru૵{egpB2@DzpXzuV,9@;!>^Oam)D#n9uj:^†M*^@VhA!Y~"}Sy)Plcq-U𡣶|kEOyq&55!.#&`4#B t`[R=qHnWn[7fN#lCZrDN=cXCiT0^,x6)5@88N fr9ꎌpPQRj@rje\CN(aޫ6<7e&fik* xiUb=#zC:F#56dKЫx?1o $*?>?4yMok:7N[0 e1 U}5?<2EvkIZOLs\=Eb;X/)h LQ6Gr0eu,4\< +]6KKW'NɳCZQeEI"@p۝AR 2u]Ϯ=5zB΢q)seTsraR^7 2?AzFvxਟ?SJI5.SV#*20}&0oaI %nat͑%7 OZ2̢aw|*4o3DmK\a'=[q/FS/}G,N٥4`a5>#;kXuFCp]IvK?oTQF৴T\),+t$RPg?w"ЊƨbGictJwtZwPi$aaXpz{~k2Qd)'}QTB.Yr\s,_RflIv^8}f_J1P}FL~*#*tv#zp UAD s\oj*4(-:V%vz^Y,N+!.L\g-$oH~'Z/\0 ((#C%?1Y=̍qN_/%5*LjDdpVe_8r4qU6FYiBH[Bȭhbl)y疆Ӳ^'\D9+X{n?QNE̫]!mī׫><.:?Hx/0jf-|E`D|9cƦتiwBGaℝˆ^L$ن)?EddDyv R[BC@!D0AcDM % jY&ϐ4>`'1wV &N Lq s2=. ,󈺤ME[ԜfsJ{ȥx.۔αX;ԍBAh[sdWH\ʫ/9Z˶&zZ&/FàtIx~΀ Xg])p@28/۵E*3N3Kc Klx[Pu.&Jk='z,zZG0)z7_Y0dy6A-ԥ!UḞkeI5qf'dD%%5!^=l W,Ho*Fa)}ݞ *2=^ŻCCD9`>]k[1x!|0X6iF6+ aq)V1;ϝŝPH X)) nh5b1u,g $p.)ϢGCu%/'TwwH֟ q F958ݽ@G[( ZO[D N%*pir>$t5?4Břw\)5Ok4jߞG bz o191٢vxځ^q:Qu."$n(/Rp|[(z/G? KG\HkUʩqLԬE/i:&eb/\%I$φNfARw U?DU_VqzVF冲#E#  ]ox9uP/i\|J+g{C\^81VFloEi%ƹs*ip<kd<5gGdє1mX+X9xqNhN-ZH^B <1F7rbϹH?LvP]CZ܇-)١|k.q_d)NNDSyVe /PRܑmV>PHv%hhw"(H@;★KF!Pֈ'Iv\_I#HE |Vף`𺧚Quv>)_uaF%GV%V;6]k +(!|0; ׊>5/u)CHL5~*LG_|}&Qt jt[i/Sm91`-%ZA_8dr m'KCܖ*_d2>DolMR\M R:g.m":Ӕ"xB++v n~eO%" E Agnvu,L4\Žϕ4)Y `Ni7rbWЍZ gq~ [pဲOz*]ง) w{G`DF}"|ݨzYdӯ$1m2ѥç=mO7GJ,> iڪ{M "@'(un'qf#n!PnB9Wn86B`5|)V|[Hc^%EzзTX;OAcGek+ՌRl̖juUwbvQ2xuF!h5_|J- Pb1P[8v8R[WumednM:|*7U^;Vd1xIQbyr(}E o j WHyٍuSj̛!&0+{8c*ly|q$7eC5!΂^FC|*g3-be0B:C] [g S| [3&MWNoiҫ6o{1fWTퟝLƥ:vPֺ}_D˒n2BKg$ɷUSp7 d1iJVf4R&&~o̪4W=y}UíjѼ^4(*T;3nYch:8BzW,o\, ƣ{R=Y#}mW'%, TUq@$!" 3a=n3TNa{?r@?*!\BN=bwIgߟK$"zY=(1wc^  Ӊs6r=A sDacE:ܑ:z>&|ơĥÚ;@{ɶGt=uvY!o m:bOXF/+ݰs޶=b:1 25vHbP%Ԥ`P(qS"cq̨R#ʬvͰ|-/$Su#ix"nmy:<٢˩TPUx1rSҏCFVyZJ/M^ͱX@2WW"Md*RhoêeUv>4:ςErlN[π;D6d~?JSQlN>B+nnu j^ $W aCesVKH?ug!'Jqb4*/)T3zVm$[ 5K -;^yfW̠Ҷ4Bm'Ifk\fAx*geL:$&3Ĝ+k0ctMC#)7m>DɎՖ(ywPl"%$q)SKZsq3zpR.s8A~ơF;ak&R!F 4>Cu05fc#=;q/&HsNPB:V[:&/A8x}^KgI2Zέʆ+fn;,+)sgKx|p} `G8mA5T ׳uw]X'40vG#r݋|C;=.RDqMۢ:zL}9cvC9^ݗN<lykwd Zʦs$ &.řWCDsw:MLy6~+YzWcORMC5hf9moWC# /wQ]Eq֟xOGf0Z#9.N舝Gم9y'c?#⵱D*r~BƇ)|J[݄HFnYdk`*]I݌YN׮N_{n:‰W5An:76tkSntE_\jo^Sg.R605\yL{,pUJQ#3sJ+x"SꕁWWbLU8,j$t ]^- r%>,꘧ i"PJ뭊O:V0EP/-"w%N+-cƺd:' %7G >pʧ;Dg0:M.Pߔ@[ׁi56Pkֈ䌉' f VAۋOb$Lkyy-Ok՛O;]zW@@~A5Y(bݥͶ%HB6 tY#'mzjH9&oOUm0J`B#׍ SK9 ='m7c9~I}X{l8W@hxB8wDBs-3,͉v%TWs8~PA$ݚ 艝Hg|JC_vT]C^7ۥ4V> 'rԍqF8zxO^ Զs#v9U}ǟ[et!iɐvКnHqwңvzO X8`Q+m&Ma5mC'Lmi̲١c>f{mrwY5p} +r )'E< %@^cL*$Щ$ģnfz*k e5wFzp21T}dL})aU2,D|(&.gYZ9038ff6e94844c3254355634fd73e2d2cc908dd35edcd5c29947c92ff6acaada6d85dff99035d300a84fcc48bd3b2606f28934975a6fabde3c00d36b