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 tT%tL ]/]HOL-Analysis:threads=6elapsed=313.079cpu=1547.920gc=57.560factor=4.947zXZִF! M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\ZK['`8a"?N=y*yrѤ& ukF+?&Xh?HjrILܛe' w5ČȝW;aȄ tqst_FQdKղKmPOAwQcFgk>_aw:PSlGVw&j v6r)\D"8[,~ccbb%z>GA\tp;tF7;aZuL¢*ed@b:^kG5fw Ls.b "iMSipgObN;qO*p4ٮ:x~=oiwr].m T % HOL-Analysis  +wlR7r`WajCl@љ붡::+A? c-⮶~*vk²K|Ty;\Fm($Bgk}+EA |-;yj]y~FҎK [uDShV 7G<3QKH1n.uR;I["b2B˳$2l/*YJw}nJnyß3;][?mZ.\A>^mcW=^KC^eɐC8mrG[E9|lUhjgm<_#fE-IȓBe}ѝUNZ:wxynٗJ޶i獳mYoQo5n[.V?x 7 QOjL4T&&잿v tv]l7(XH%T"#HO_< FRgZvkN@LWO#Xn[]Vb1Ld 5 ]߻]NF"\t+މ|-QZgk 8@H;(&# > ED 56:Nhd#]uuSb(7 h BmU\+],pxeFo1b$sRtSXxq.7.śTD3CyG;֍&ͯ*I^ :Y?hJ3Qύ:b([QpD'& ҼhRڇKB.;<:dvIW"̬sh@eï(آq"לkkfѰLcwu- OSY K>#vvϔoi,G7.)hDׅMjhX-/:|O%T5~+RgF8C8^{">q$Rɱ4A-0yĥ3p~ۚ|ܹ<ЎdOt# #bwN?"8'6! yFhJpIR92\,f \⤈[3!uY E]ηL+ Iy (&H8xЖWcyL.=%$EH_z}fk8)A[l,0k( k"M׆?l.[91G2rӴNVРȬYg>U(3vहg*.UTHp k2;Mv F|">]K!Em=M~&2pҨK1IK񯆟mF׮% j&}5)u~]gj]԰vu#ώx2 (M8`XЬ se2PPԻHi~ Ax2;߼Vg,灰@Hܵ\52$t`^S9Ϸdos5ZP}oo2Fw6[O=`Yl-,Y*$K;۟?fc4 Hy[e ]`wKl WT.­ x 1K;e ]c%]9{r W.a42A)ƴyQnr˪Z7^4`Dym%qU-t ͯ64ZWY qve<%t#ą_w@0Q<ÚC[F䚔Odlб78/̝Ĉ&W^&{%HdIbGՋ;iM/̴UT޵M-[Zn?tPiNj//Fsqop4I T 2l3?"*pm)͞1R|aIoC6<>TsoQ1\8 3! --nSG1s_ٴggĽ.>"F0'j I˱d{GlY}z$˵}ZXrrziSg5wX(Os-+>sq]YF-Y$]x 68U6yl?hSPk>Iuc1'r3 [=3PFS(fH>2>F(B"' af ^z*74GxTGH2;=I%"R&r!~i:j$E~ )<2Wld//vpn&lQ\ g4 LBa=-Fe! H= )Xnjr!%Od?HI~XdYuÓO.N1i63w]sk8SF&"v);B-%zS9[2F"mDdw*J!P_g#-;5}TpϞM.۝H7c2Pi0xxE@ %K_!??ˌ4 }~/( zn-Qx&%aU,{'RiSv)ywo(~+vN,|Qq@ @@wf±]ݳdnqa7r1 6.Wgc ޸ f,IDg$*1/M g̓M}YVOiD~/<-\W^ge ,B[I|9J;%Q\?p;%r)j Oi,Z ,k+b! dsleNo6SZ3 ` 4fqN낝v?A1i":H;zEumr"{,d$_{GqF; 頦[4yM@$ˏ-֬<-Yi}S3h35G$@v|jt 0MPDJNo"b>M Z ʒv0h'n&寈R/y:u2K |*:_~Nwh&nWE-j3n\4Z!U37XQmX tW+CԁiE3I7*kЧgg;%> w  C>g>csh,hju-Ū\|pfD`o~kD띩l*bju96줦| lH) %hZd|ƿ\K!a|2vPvS*ŽXAK}{ h%L ^dXÉ߄aLqmmJ0^hv7ѯ݊y9v3zٺ@]B/H7y5Gï#L#Dz5S^_Yg V$`1ίR h4_Q9Tyo;"+"Cet7nar?%P7S9OHlJMP?/g IgwIo@v q1 ]MZ4߻FF'4-Pr't2CJ6}}]/g(EroAA%2#*[껰ypݱ5÷Bҥ܀,wOs|'h aZP@2U&Q@Li?ڭ͸wGm72}n_.-Nb$=6T?[5c+=\kQxWքEdJI 0qMN,#^rYhh=5k PY҉5,? 6je@mzLݓT %N-72xkMmls#n{ʝc3`:>Xvb'"-2*i#wrGZ)ivsyw_td(z3b]bT>.r@| PJLRE4<̕Q!F MGoz\M -`Q$7%:\9Ԫk {f+AE>WQ}6k2ClM =E;2gDY%Y_7.!c 72gQ5x&3!K0WȅǕmK*)o.̈́W ώR4j) bdduz跌ut!!eR 6W@"ư\$H+va\GHjQ)`0eB٠p7%D@H+pqEjA b`*'sAK+ewp J1+ "΀+͟tcb_,ءkƝP.ҧm@nbسF@ߟF;ۻBV OEhW&KsYMT#A8֖qivTIoaGPh dy>CV!<ke /&y+OGŏ {4Ӂ%:@LhʠWO) kN?F a&[*T 75Rbpu-C Vƕ['Kc:GZ6Ky ,cLJ†d)-Rڧe4k)YQ䟘.>R?H؃]&rVD3t@&taNiJq ># s2מjfRM$i=7 %=5YU gv% w$?=5I<4s`&j0ءƵط&E %K(!s68vY2֊>INBh'  p}f|qvB < Q3zZج@x=]aޞյO,8#k(␓H `z*~D:ƊBqh<[ܰʓ+} S)F\W\LF"4-as+MX3LJkXAj(f-_HmBU6_ClTIq=9Y4ˮ~/f- ':ݝa)[CP6*:7}d g|kM 8۪eHp:H\Ê[rI`)e[p(SeOVGsV :58 }JId~ytm:7ؼsoDCI:6ZMˈPԻ}Jí_4h>$W.VE ܋zѓUSqOU_{22a[۲С|gAsBRIkkzBܙ7-[7["2ҷj7FuV—j#1%޸CaQ-|=ӊ:5\ӗ'mD  QD7au\&%Ybno3g@bETnhHq! rp7[A0&egϽ-(EllVK:[88wBy *Oo* ҷ! >4d3d~hLUnѨ$Eim  ۤ녢ۛK+Nl~Ơ<;Kҗ)9 gن;]% /U]vK@bafuSx70N-*Bʷfu@~0݆šsyԘӥ(h`}է~k 08R8E'l&0j )c<a漯%Q*茅Ea⻺ #CE.u]pe FM d5k~#`ДU"rQh\/j,~S4?qTK5W12ʈaq/ VvZQDXTzetp`l>1EW |4mX=4tß0.b)1 %$3 C{gz#JPp*Ixn,* {cF! j &,Og BɁg}a3%DVMZW)D~gQr\E!'hc/p&"(`t66ZņQpcMD#;h<-VS |LKA>ܛFNdV=ơPϧ.G'^)( wdp b`ӕabb9<t Ѭ cHB=CMތ_Vp%[mj`R^1"1wv=kWPM^[pyYW[F:3?)1`GI noC- fze_Ƿĩo!cF\xl# QBoEp.ZI 뇫~_3^/{TW$~YQL^"JQEq>MI w#m+O}0&Bk)V3${ic0 ?{sU& 4Iz:፵hcokG\ Ά9%7|.Aus,=>!69OA펹*󚟚H@ >> +T3,#EGw#}ô?Q| @nlBbfPrK|`B[ݰ x}ְ_M~-%BC~ie=7U"%f|ᖞ蔠lV?XPvdfN+6@f'ǸZs5ikL72rZNdFP/ sFou̇:LъS` ՝p\cNX'9eaܑ66SKPcH~ron#r ul ~Ip ~fVSM\- LHO,F K_4|@{($&,9pUe"8*!W6"/t] m7lvDo ?U>*ٮCࢪm;2TKD?*.k`wzq1 q@sB6}<W;4W H) `qC-?y1:וo61i::5h }6|eqCAF6UrrK֫GzHB(x,]Sx=5a L"ε$D#,D?S`z[-УZ觚B< EP< ?xd2E*pXNP/'Fg eVG&]Yf ~c5)Xh-NUJ0x)g[gÂE#r任<6+GrRcAʈ AFYQitPʵ OMEM{Uxw@1=";ݏfYIJA*0->ev΋gSm\L4 U5IXfnINwpul󰳃u));/ylP^ST}p Y'|12Ң^יj]#" ?0<&~ ́[?TEMȃ݊ v6ԝkډQv DL$|Q@WCPUHϤS=j$l`D:QtыG͖Fv7驚gmDrtrvw#2vёv/gJwkmr,)O AR ǍBʽM@s&J? +ѷć ݚhI讈MUzS9I핣ɡs嵙N{Ni|3 i[.T6}aOD滵n⾷)FtS) SL nm |xz7|pۂC񋲈VzKB(c>g\ܤLuۯդRY~tG Ob(u?Ջk;h 5_JϢ}Xdrq']'HkHfQ&IX"t^Le%!+׍}r7F/"Uk{laq#Od9!GT](s s%9U!ZXn֚%ޖ m]Eu|ػi(Uu' cq#9J>!@I`#`Y]}>}uBuc|eU4;eTΖ1SLd~|Pqgw|y-˛pUEkʄ$D~dKѣ uzI{҃tLFFQ@G7a#z _D/S$T!H`I1kHs? $1bBØ`de.FUT_!7"NBhgoaEd^&'䑐(7j @Oؙb!Dk˴*.8:Lț #9,$LGHʞb3"H\Kwhj;|IgL+uW.y!8\&z><+y 7 93OKZ,`j"Uc.qLؼNqynWVV&:,cs*Ez}x$;ڮ2$qg(GbV~ R͉wfW^;e X*llq]Ο"N% fA/uVb1q-7ćʷ^)@ MI=WVq#)O).tV}h[J832Z N:ꏂ?=U=A6Nϱ,ZлyKYNin= pݮInBx `=ۓe)$ѭ6ƽaiPqtMܓr1`{Y].P@$WjᜐȋԸo#+ۼ7 PL`J$sl)z ᪇?krCC uFDV`mkb :9>(RB} b ͮ'_ۗ4DQ>R,UӃ0OC`"E5*;p mi&YŒ,] ͠QS| `(֜=FY^WFxG^0d>&du~1`@V35J6Z^u- z :,n!c8>dW1F1Z%%d'plst(G)ʌq ?Q!Jjo`A4kA~OTfZ?o?.ϸͤ-s~ t o@\d{4f * "|dXH4iuLΘafw|nW܃٠B0cIA|>QI.yTB'd Kܚ-~u  tJ{K GmΗ:z~Ao:ߐX=b?b Q2x?-JwdoʧNLLa,db9з~=a0cT-ГzUD+IqE^!vՉ@L߱t/4Ԣ>l ?/d}r0=~']1rr^s~{Xg0bX{eJp 82@x}IݍLċu&0ٺ VJ]_1OlĻ*;jDRy!s ݑC/0Ssp2@b_$EfҏSɂX+F@2ݑY%NN?/eXR$\S;塞f;)CK bL:[S%ӎC-ELtF{7r\~>7A=V㚟/י9Ls@D+E2MJvJ83ޘށz0(k{` N-_ me= }#xZ_V'zlʹƄODnwz֢yӤ{"3޲nM w]9P a4 ]>ŏz@HE9im\SCh L,x& аtvX D  cZI qI1,"q1W>x>SQ;+NjR} .tQ0=y93@5|BAr[dŽj~kbpBILީ-ؐԦsf_ڐe_ĸ!9J檓p>R(Kӽ+4Zj+7EψPD=am^>~ZS N^dTUA!=5"g --Q4ՙ5lfvhMc9\OLf g@=%(( ~sOOѰ6VWu8T4bk g"4>z+;(\ИD>g`5 WcdaW$/3" ù>CNeF%P;I/ŀ&q| K!.ahʏVl-P [K!)-06fjsݤYlM9a;Lmv'Q0J9rEĝ80bċT_'Fj 6:~2Hn/9:i23 vc02  +'w͚u!|3JaRE*#6i"JN9Kzώ,ۜÐf#v'L}A hc=2qWτVef2.zvw\䥊7 Av KOWlenT~Nu.zS}tUO匎xnE٢-۲H*s)t i~+tD)5W|_9PU7Bq N3_»}7Ń*)]SY5GF:x*gGZj`>Sh[N=]>#Ы09z=#^Z -UHVB Ǟw>v} ;n<}xwyga0x{M]^Y}+P[(m0$5 ;攻8dZ~Qt!j_xS[G.0_& Oa` ˲.݌Y=AKsKÙ qL.Y^k1spmsN.<ȄوJ>gׁ?{#w`պX𐲮_399׼ m!~>4 <ߡClR |9F,p4=Y~*V_'-7(z[oq;&lt3!=,GN s9a_;/٥nFJTcD+,,A2 |[Y]'e[K7Zl_ bTl86"My*ެ} eS_8pk:4GLs4NVL XYCDV5XM-te ֣oE/{^9/[IJ/vWenH* ?@Ž@ U2N5Q8fp<́<Nt  a>&[Ң8ZbL=32eBOv8**3s6 ȓ}%U us@JybD-=G/uVsX[RJ,*1O7:|aK3.'rmǣkj4Te&<2DWySecxvL̂unCGA4UO^-&tj0f-_i{#CM N;? VWGyC<)P<O}+y˾w\v{N)hP`eM~V[fq OG=^E91.r!6>^^qt!| ۴1Ɉ>dWXGzzJS.Գs쳷7 O55*-9z }uTڼ?ԞH' ScXW3`fr5nIގ`3%`D'C5=3cPM.+YXҕ 8 '^XvD2;F暧hD4^ z \!4/G6UaU `"܋iݪ,J+ nJa1{7MUK6v0d#Vie)QVW٫bk>+⳪ʙVL( 0F IaKCRwO!R)A&J|˼J~u+isqӫK%gCֳYv@;mqTpZ ˥i}r͛]*A-ž¯i)rqu6wY?Հ|=ro`d'>bJUğ  ;PHKxi}T{F,@瘒)ͱt${dKw3iB8&4 y*0$@UUxLQ)孬wE}d>9x{fRǓRZoVҟlJCؿ8&\WU^x5$랣NehY[-<9ԭzpz:RQT\G?VwUK`US5 qpj3^[ ׋Y.vD4K = r5،g".76yڻG1䧭vmVP1.l\4FSxS)qHo9DPЬS`N qӫWa1i܏zaXA׉PUpJVZ<͡[Y[?5%n۬^{(''i%&lzx(.bVnX a OJ? IPD1ӬZ<O?| Y2y>j9Jo.e|hNi C8t@WR9Nl>I3 4 |њi.gX:!6I51.Ƶxq#UaCcS hC[^sipVVc6BV|.xYu~øer7P@ބ@7b05Js9Rnj]̡0:yDKBt6sI`qHtkl 2M9/ΰ)N9󊕥}[FM{Խr>QuN\np7aƣc'OcLu`Oi&X_ƀ`tkE Ҭ쫬.=IQ#e꟣A{4vO32ɴZc7=HN\Q{VŞ4YH7 bڤFbR.n٧gc `=2Ó蟾pS:rKCZ崂UrGsٽgk;y`ޭ$F? ^&p RW"%.f,-[0 {?GTlCW´Sj{+ xsuQoϪgFTHS}a&m&cf;סgq! |ߗbGcrr|Zn⨀Ѐ>}XY•HmbxAݰىb7&]28v \qo$HL`v5㇬/dȓg vUB>; t6 Ḣπ^9X.& l3zܷ(vgVHm밝}Do:w!nDc0?' ?5psoB ¿C^&B&?ڐUY}en}3cF#$+鶇dȁ+RzBGwSYv}[BCx@joVdԱ6` lB4g}U*1O}R=g0%G>Bfp%'SP #D;xנz bzXƊ*9f YJE>@oHo5 #q#t#bkȃ0E%%s4*B.Q%{YXXplJVvP:o©oEP}_QU6>IKgh:{}{! pmݾ)S>w #Jt97O rZlȠ Sar"iԗ녬[lNv,Vc)Ky;EaCIg@-5 ɚ+"cX@e:.1n4UМ,NA~XqنQO _88ÐHO)z䮤Z&U}z+E%bp4Fjg UgU~vr5L0J喋˘1⣚^XedL"M%)b? з; G\ @^?NzXhk і Rq@w]UljǤI1jt=:yz{^i O.ӿRFuHl#ґm?V,#Zb]B1A3syh= }7kJ}D%kŹ;1wج}\F@ϵ; g*Xǝ8g;u.d`J=E*m=7G!b8Zw:>xy>wm~7TR.`5Jp᠇ &#<}D|:8ݿR.VM_,#ݭ{Q+{@<.Tr}nB5T e LY}4!,hpb_`Õ}:cW%/(T5=y(WO()6 q9$:>6yy.Iڑx]WF1E?qn/ _;Ifdv SEAK>H q8TLТA̡.9"*%4EgbwXz!:2ڢSl~y$2>G+` 1zoHrdov?-W'2#ub=ٷIId⃠4VF"S(՛3zsgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4R Y:ݱcdg $>j|]ROԬ2RDmcpP*̄,V"egwD/wyW]@zF^x Kvԙ'l nu`ǡSq"_(]R oI*4lS) Riwߐ"Ą ^hZUR {z= ZǴEW$pE[p湂_jsFu%b"T02L3U&*55/:(zAtضYFϭ]gB0^*^<}s:2#-\PnS#J(9p #:i#5.:9S{O-$+_? /Rk]_H˛wfeu (ox^W*N[ ]]?WQyR+TcelJy֦9MEZdKg|S PHNMcIECWՕo,Q=x , .h _cG]:R<<͑A>w3.o{?'t5'-=o ``Ej!Y0­$Cќi~lǙ8󮎮#u|N Cj׿\@[C̜lU㽮5^yk/dz H F\f2o~hO{S1R8>YR( ༨akCH42pTJlFƚk71]$ L&w t֡ёNqԚ ȨlO]+wza3iv'E, XTZ7XI>[οn'mDl o5l UKҌ2$jy5~:aDzWW+CAn%W=S.:XVlf3/VGp Ÿk@\m:Li8{RCly`ӽ֪\WG.bҺё4Ҳ?܏QcWq3欦-񐿡#HT"#{^5 bGgcVsZn؊Do (r['.i_l6{p61@jC93F_I݂+<:y5:;U K&߉. 5cfzO͓0 '^mG έ{ThA(a0Xqsŵ_҈hLpNԞBɗ_\- P9՟d n0tW4SˋQ=Y/ So%2SeJ%&*{yp5E0ybJ;&&YB0g"j(G2ʞh8vct:>!SfrpqQnNVԱgYZ7zXZִF! i]ŗXi%B옘!kuh=֦/ML(iurnzaS'p&pJ7qJE(?ܩexVor^]Da. - GTNy|u'iLLXW`,NTeDx,܆ܝ@]xgm{O]--8S9wYÙsXN2௘-Dη}Ro8gAV8砩t'?[2aJWV暳8ۂ;"Be2A)>a"8b@V^ڵ_ĒO_j eKka~WX4,-!9\%o\t]d9s>5GL-wKewsQw#ڀ,Jj",#$5t\N: %j ^AA>olQEd?uE;9˼]yZXmT'[UGpXNV+hSơq"<= F'S&C/8KXx!u&U&G3MId O1$UՃzUshJ#mq*~O< E4$@<&v ҲW@}xuH@ǿ_L-TBS7@09v,Litzp,$@TSށ߇"vk-vM.íf&q̣E1!U!+0 \&H?"ӿCh7j1mI LM՜SqO?-\yv>AKT -'([oO~Շ,/dXs)wvGx|Hn7[=*_R2jZ򡰠]f}#M] $? z/Y@\"2RPX>~,!A1G%*Go6~U!D$v+fyt(R1n-mmQ;BiXAE|T֗7]NYR ;S '.=}0Yze@ 7k{7WZjہOz!hi=!2z(FxaBcVXr9+Jz'U]jή$fG}M”[ ^WK % ƨMh }C{<nT,_[/%g(:7)/fJ:"PE 5]p^+t\EaofꚫR}`TaVk@*s!5CܻB@wm"FmN&P BA5uW, <tRj0'rz&HݙSAPJpom:RlGH}Q "\v*Rr@&0Teԭ9n"z0cRU{= cZ [vi]@H>[q,I5I[^w,QtSSnwB #5SCn~Mo͐]{7&dsM6[HɒǨlO{}4 +_l|EJ2WC@Zi{=`q1|65 Eu5ۯY- mw ,fquĵI~\^zl-#c0hȗ,ږq~-63'R`?"O ht^1i=C(Z{Q9 DmJ@ + Glզ0 l+Ud#X˃JG饣?R`K/!;*hK^mU~W8WE*7q;lus]BPɝV'HM,j Ǎ?D?S!-.JAɞm>t%㦕2&z3aM׿s1dؚa '> O)u2} +B~w;ND>S-wn [s ,Ax8.1;d+ Kon|~Jڝ=ƚƬ;¿U n>1}k,bv2דbm7$Ft$. (YQe᱀){%ka=?Ua\ AނƭjaLCdDk$ RNާd,:.HOr8ߙg8RAIelM3IHZwA8˿3cPW\1qq``>ڍHSƻ'pk>@F_*df,d/zF^\?%x4lfAw̢\Ags%$P괱XQ64zHhN R"Ѓ pś0QHGߗ *) iv-Y' wu;[@tn&&A+EqY떓mby4x_ڭWxKjж3od2{Ů"9̊7ؔ >鋩\@/53Y[~ .BG")*?%4UG:ɻک9 ϯyAY.svkV[\{E M6Noݮv6H ¸3k1 :lu+S;7ԖnA:S]l$6x @0d(Zl:]nm u-El~ m:75H@Az!cBeX8 =CCA.P}m8 n>bFֱ9st;txwYT!E`JQ“֠B-|*Sew12#>bm~'!ziRń`yаQbCs!+^}y ?"qJR;vYgbZKQ㔂<[xf~?̂9oi9,3[xXwʅdĒe8Q3(t"̔O6q̩Ψ,<-pn"AdGT>('O}!=EZyč#25Uxq :ɋ@Rzu@eMuzz 7NRIX%%89KpQV+Ot~u7{$)T$>T|ɉNp;d8l#z!>m.#4g؇ZMm٩)##2'flN |Ut5Dhne14`&*_H|,~O(MSjtPG$1+Kq.jӵ:$|gvlmf0 kIzE]w^4wBղv=G]x2YFXQSS Ñ߳dk0ğtלT2 ݋Hg#ecA! ̮2zSy?ҍ)ܒ3La0t к}MϾ>9 R+{TkP+EGQ:ЅM'Ż"Skl(hrzXLE糳E5Mzf/=:.[UGL4z FLj gs5ʼJRaI1dԈ7߽<*أmCvW67(B50=7sO̼G rBIۀ J@|ɇC1)HKxqy@"sNRn·1J/(E=Ylů E.uZu:KSZ2MGڗLl j7n.ddF?zꤝWʾ\VU9XW{=mm?z̥6LaPbAGz~">R_%kShcЍ7!yo2qK_9׸dyE>}jI|6V1\ЍZ?uid,6f l URP6-趠=oHչ6*/W۟v?5_dϽOggf{f*s*QK8VBC슀xFK!y< h/|əY_0":7#,lDbS[v(l_`-VE@>P4F^as 3q4z^ITfE~8VCdE_?|b&R+hDFȥƤ"S`:/9FOH_`s #)\fv÷lJvv1ZH=5(M%_J%O7!¾.T&eNVkYQ64BfzS\t,?I7&yI$YW%rW~ͶYxqv ׵ok)l:,v+VEҠan[!sr _!B6%eؠ4:W!XਖN1 (6(0d(}GQUaj]f<eviۈZ)6rh"aWٍԔw>9qsa%3b*-EB+L>=ή8l$p15e`zӨ-^̜dH]ܪQizTSq1"7CDHGdXWv^Ǜ~`^X=i bn\n0麐:!6.loD]ON`@|: OX`PG"i&Kvǁf]GxZ2N%iϊוiwҥ+9UD۹59_vz;)u?Cewv^߸>vV WbM:K<<} >~gza٫)hu)q$)M3NyAAq0(h< (dJDOV:ߐ!U"@AB7OT4%V-Ž'##nP7nT33JF`@CK#%Y*d7yh4j1)HGr䑺W0+xT-)W|s&_wXA{sl},ùڒ-=xN!aRs`edcV>O@ɍd$URqfW#;r~NkiWծc摥= ?j+[d孤!3ݮ1r>ML0x%ˢ8DM:= ן{n^&pJd?iyb L &kq\dP!TA+ԠR_j-\jz[׾Q<݅h`=?&Ϗ⇣O=j3COȤj>GaN#3~Ƽ<]s$?" U-%lA!b `WIǎ,is7ip얃SgS !kpH` D23YXYc\OqE꜡bN:fWj`>K\oܛDK^bH'UŻOt$#᪆3v*sv1#ZǍV4Ǒ`㋷ 9|)oM`TXߒŧ\X3$Z ޾r(b|'3"5#sV;c_5h|Q ᶸKρ'أGClǙL?B .HtF8lzp eqe]r_YiaPN^ͮT(7-/]] f }rSZG_7f]Z2cDI%xo#' 5{z_Yl5e%2+9Q̭W@Ll mpF;-mǃψk(y3BxG'zoKgD{ہTIBl^vEޜ͎`/<=`IC؆_Xuס2(fAS(p7nV8zٙ㯮EI<o3 HEZ:HSrs. G'MzJzen!o窺$KV">9yۣ6ܻq}cDѣ_8Z$c_ȷDTT[0} z3聼8jJwî%͎J=ljRɱ J*|Jp rJJ=yghgLz,V&(- &"vzkO+/|ΔCS΋;ֆ|&q!5b*bVƧWsxҵ{x{TĘgZ+vngaZ)w>] y+3Cz&$T5d&[B!`&al~Q_ Z˵ǔ78R-s%Ĝ-\n56faW0|$}>[4qU8M:qv)Il΂!/Ә0*,RI+UfPsHE <7biyT,IL&.Gk=8P,QT^kgĺ_AYxc6m=W'=,';|z\N7{rg<%zTe&~lT)D%ιO9+hbJ׹%˄+j)I%asԋ(ʛ&.7ܕth#X=>J"E7.q ^ha.Lr 'qx^ u!a6~H!2)Z6~3ua8޸!L37V(e[ ?W<7%d F HAS kJT7,,gMJ:cP=z) [.<A[03mBX@#7U03Qz,2T:I/F;V_fK2:Uܶ3m m<'ÍUPZJ"YJ(ɗF*?`7%)f57`L]^2c2OT")yXSB3:_}aZ)i+"'z.h]c?,Wi+Fƥ[v6A~4TV\J1|tB yrwz8 Q?g 7/^܅a  AQV4 h;oș?"kfn3o#2 *%|ziS!P+$_)pNwő'*w)PNKىZ>.q($@NzޱC7L)AIvțcy@ʹ^h66_rኛOɔŭ\d, _Uy8tPaH1F#r;À5}(E:Z f $E)Kevo:x=c% Պڧ/\¤ȱsdaL2YvM }2>6`M$kch?_0&O\ αu&?.R,W@#7&f*RzluyNԆId-ٶ2/^:9Mb|4ȃ 3fwR.;~_:F>?ɈJN$ uAse}qRBСBY9(=bQ$^sQv2H/?w_c- s!$R`L2G꽲ڨDyD.J^!gsNM6f{ pdIQ݅\5օ}.•Xr1\aG8uUJ0HW}&x DV-x/ Ye+`# fKJjԄfaɫ)vkK~ :2Yk*}nIpD\>5̨UƵ̬"g8Q3Iu%+Kpb^`vfzd,,'МQ yE3O#g1t}^~S+иG"w])cbTr8Z[<r{o3_RMx;gK--\9Bߕ~  A7pX|9.^qu6XWLSF -] +zv؄t[ ۢ;//3 "|=`a h_"/Wfjy/sDP|noS0hhӤWO>j&O%uXIh#pQ7P-$jݲH̕gpZfHۃe6{_RT[2QP~ĥ\󝤃Fꭹ~V+LS6w5Cu/M>> ZG |sqz5rR+AKDV*pHꥒfxҖ T:(w Jԝ~#_NŁowu-tvYK+Vy9^Z0TCL…WPaenG("E_L{#( d$}Ө`˹Ѐ0 T\@F U#?3l4bF9Y\)N[|ߧB -w8#nfXK̂* ȷĝ?Zv։#F etJqٻkkPOl~QaUCnqB΃㎨\`<8d&>%H!IbWryBuy10} sybPB{w*NuOD~>rW,TrHE 4QڊFҪP[3U+̋']4>SgFkqI7{Gbo2|y+ΰ9rOȿ=zt;81I:ghc&')D9t _3up/=ߪzd+_j̓v20e.n,br܎)D)OM˾<f lOPqB Q^؆TXCDvN,imoRbtv X^ەO.p$pQ㛛1; vlԗڱI#u8Vq~;Y"<㞭=|%=) M5~XUh?+j2`iup5.]3/l_rΚ嶝{S_ OE[oP0Y7DS,aLF<628+. K&rV2WuJae xb M"z>%@"N8]kב-ʭfg&B)j]fg)a>U%[3\C*9#BSy ˣӫۜ/c7?*̚ve=%wOwQAKz+ z$Y/!"B >kt S|3cNla{Anw4Wv\,1?窻9Ȅ5)NxrTnܣg`Lne]G'O*i $HGQkuk "|OtcDi-OMdlĎ:ִXX,XӼۼe`5n0W.,Eu7ih(-9g-޺hRb;㻼ӫv8FkWP5ӪLWݖ(a']f¿B9UNpb9`(>@Hɞ&댱6U*Y;{A -uy'"g]"hCI>7Y*SRւHtS\2(`^slTyNɕ 9 cikN*g%p!ւܩw)8Zޔ^-uf!9rzkDh:^-| X AW(cr i䩜>iY!hNkS]asa咨̎j2y&AɃeEÕ9!]T[(y}7^tkMNg¦5wea&8V=j'J/V(UMlWG]\xɣuztbI VSf9,g-}Z1Χk0˲VgQԶVo!G(wU708K4.:> ?bR&/@RBU?Ӻ [.fHb)0=yHD$IY:Fgg oAp E<ѝ8r`&MLf-Hv(A,qqƆD)W|_2ƓF|768D=$Z~nk yoQnI1XS˔/?s&N1y(SКK5$}'\7+CsbWJ'/yaD#. ŗ0\y;3iy)@EA:XIaJ'o'.eIߕԑ/=H Ek#sj̕ );Ǿ}Ny|у` s( 0Kj`ONL6?42,21a;[ gxf9F3CNuCqlZ??F̸0{e 7*OJh~0J5%ALg!vt A)ҕd:FJ7@[[z "O4J=Oٶ_7ɕ@CϏc e(`[ѫN z7_lHL0Rl6Ǟ7DC,'BYtd/S#N?̎A3b0rLK20sҠ\3;(&xA8H(ru IFV0pfh (nCc@Զ: z8^?Յ^KO~qkծGoaC΅j 8/'Th H7/2 N$i*|"NnϚ[ӧ2xAKخXrj(]v!yKi}AwRχ]=NJ?HO 7 oH .\Vp}*T=Cu` y޺AfQpI|ko<5I +!ڙC%G5|HF+icLX]I+.۵F&vBhqWȤw_Rp}!S-|ML3xa TL6h#UW~s칺 d|v]6 jGkhJ0yO9tmjQ hh Jx%gt1̥StUv0%t_j~z4 s"kPDpv3d%$D\$`&8]lIKIg9&L^O}-썞AC#3w7VHSgX nb h+*gGuOPsWK Oo~Br3@xلqR[q ?>z:nCL Rdr"pWlp$Ad'{po=;4s{ј'p|86~$"%Z=!.0(%swxyij6. ZZYVLUy}qﱇ&/t&|eT!Lx'oڡ ;XɊyj׵񱽵)g Ion~ p( r?wW'-@_b)@FJ϶'tv!}Q8GͿ`p9fNpنHYiM‘w:U7؟`U`]1FϘ2diЅk!b-qԺT >a?"SACV4Jq?a4u *P=d/q@رKs"4z?1O|UryR⭆V+%f阴{_IX smg$/oK"iS̷XKS|]&w5gOK\ɖM*( T~ WhfW0PSz1EgH0%Q1rҷtH1EkRiDKTD|`M0~/+O_Iv'>b+ScmE-apWg Q˾ # z(D71SߵK|bXfŦ`Vj5Hq8٨1uDyJ;Bd~JS$M!?Fj ?\JNoqsHn\ͳ`<"hKGQ|5ST<;5D]Iz9fG* ZZh"yԱ)=(/h*)oewQMX!0RWwiCX,jR=o욱PF}^uòF6`CITl37pb-yTk]}j,K]2-Bib g&67Q*Dgϥ'}"T>:tqANʃ]Z5|m7y{':Z&pt>;@"^#Ć5AN` s`ph]RwVuDcM4 \*p |_碎X#X|Jں#=eH-|DeFtѪH yr'/hSE|`,^mΟ͋TU} {3;bGl~!6 !ny~0\aR;QmA `Gԓ,!Kr-@NqӪxjozky`YL4Fš?ˎ߉6)}|(/%dQ7[vpd?` =s>ݾ:2PtHhaymeDm+&[wW(qG=@!|h>pO$)ae@u#M>6zNiYf \==\ *(dHFs&"7nRI^R{PM \GkL`Yo} 4A6h._< SQھXLDF+rD!7r&it9#N7OET xܡF18Yݔ"7Ej4qO mj(vRnl=(oBdW6`q@f0SIv>Fac岌;yј`cy`62l:madM0j.QgaK[QZ9 fOе ^mDBiViN_zIѾy'T 47x3]kG;![BR05$P" wmDNE᪪AfpjOFݶ 25αR#H΍gE4UϜ{{ Z:h [qezBWϐϹzڕ{F͵Nw L' ~( )$F"J#+w_B$Ky A4N$.XXFN4dB1fɊj~V$P{/8&ۗd\`\2ɓs@h3;;Fj$ؾk @("[U4,i݀ qyf"kibQIaƌ:lhT!+iZ0^K#;vSaiP0Γ:g)ÓC&_ F#&g#psybVN"4~Z./z^z>䞻 yu*H%,RkCwE-zE0*uۈ/,t*vƃq;cu݁p~3kDď7㸢i^ȚFXBnȥ$xF, יA\@\mL`6!R˛ DK"uRʕJ̺Dσ=Р7iFiuss] KPG++CܒKtjs)*ʩ[" ؖGLѵȭh1jLs ;4/0ߵ3@AP_bWkN{FBiL܆9]%ԬZKM;yE_#Vʫ#S^x m,0>7L?Se?6*Dw YK'ԟa9X}2A.u#6ł :hFs܆G~ɼ8x֑P4%0$=/. nla[% Mg29گ8p.DE(v 5} 9m+iaW̙v~B : }!`kK&b[DĐ17JjO #7Gӳ9cGnv|ܙ>`w~(従G^NH)N f5W7/pN:?CplݧQiDu-AEʦ/P9H^R,Õ6-r%2'{%z](FW_v7!p ᣞz̤Cs$\9R,Xf]K4x-E THIT9x*o4X`DC_u¬AA[I#@Qڣ5}`3Eb- 9XIL$]h~PJܒ`R_ 7IPO>eW>3bQc6t&@/&{A9 K;@_-p$ezv A.!9((;iDMNLM Dr:ӑ(qa}6Ba]V3ل:9i>#fڳ}Qfmu;dbe9: !1!H@'J'wXj帗NMB+Ftۊ4*U7/9 ϳGΫ7 Ĕz67nܻO݌ Ƀz7}a-R v,-@ *xUF+\M+K>#AnP E-'6pR(߂DD ¤HKtD=P9QئIk>E .ANI㣭b>>b>aɍ%_ߦ  E?jl\&`1ev`-ЭHkSa_>*>C1]nKI8Vُ{'cteXlFNXaméqѨZGQ-F uc") (sr]&U_L tQO'pԯkRɩ~m/1@^:${l$nm|f 28)Hm}k \:lIiNJd"[u~lJ^-Ȕ"8ɷ5;平Iv)MQdn(LWnI}jkP{d g u %ŋLd-uY\qNrL|Ϗx=,dw*VF˞xY}$mf yQ@QK&1Z'hD1',;9-^:-~wQk:A" Weߚ_Z(rOJ|}F8ս ɏC-,Cg^4[4Yu:{p\Gt1 -%d]*6ӧ ȝWU"Hl=p[Np$s/ Os䜺 +k 9i\*zE:% D+;YK#y~;I$YfQa؝5+D6+f2vCN5;*;|g+zZQ$&ba%",pK AֻĭU]"n\Խ<\i Q9zUT"lɥ8滌U:麪eSqNm-.Y9)0^J<)PgFtSjJ'۶6B8g|($ /!jZ;Md'(.Xl`E6tSFʼ`t^@ u芴 yYPWdw7p)f iTcmUy&Gp <5eTg<7I1Ui,Bm~褜y|t " v>?΍֧uh}z{Q} 5 wY`U2m0#O *%L.QMݛZ0`#%`5-#-k\Z: m _$#Vp>j7o#vy͈s~)bױA1U # 2U7)@x]!@.ZPyLD)[R_z P(*{@t7z9 lfZXB*&atF{]B4j^֨aibsaZSO8ka܏DqV_+\?OA[=yCǗȽx~d,6CJO/ٻB΍32 QBZ kï&1-KaflO$5aěHfAsP>>~sP-Ae=<DNG`YM2T27_E݀@"/4pA__ 6bA5| ze~T M %m_-v еo \=<~;A[|oo^з((}ڞjIvs2}g0,Rnq55r$~S4[wA|0Uw;zScnqw寜>HӸ$JFVy{G5핻iqx6t aǓb1d 4ʌ}$(9_N!O|1t96)iN\ N1f6>3+/GP3Q]@E2yh'YT~6'1 r|{~p;^rx аt#r/T#9=]7pr T W  8 InN:৞6M ؼ?ꏤ݇! k0J8#Bm-{HA ?qXplO+3s_<u ^d] 2w+.5si!B'w[e:<ѽOqṲ(+f= z*bK ?P:`ر_(mBrkkp3\`9& 1MS&lnٝ-.d֎;i;&hzF3%onr0Vg3zc +A#켩&Lg,vu2=T݃ lmHx? y-iK\k5*xhWX>GSJj:qYN:+yΰp$cʤJmcn*fҙ*b^ $E&VXp1I]!hqp9y^)o`j5+dڟ?qknSgyf~vw+88`)hw/)JhUYT=Lڑloa[CX,kSXQnl^%-Z=JΙHw" _TxBh uNñ$'J$gpZI@-]Qd֐&*nԇF)MVZFuu&O&Ȧ( UhkahE|3@wU]&hB3t ^FQȰ0g2熍%PGw[1(bߝP3R՞ΆsOG&{V[씊Ƨ %:#VE!+A bUoz̏D`0x9dzc@c6 /1nAk.(c[H"f6X%"*XaApI$W)~E="˙;ٹ~6ɪ?Z/}Ӈ1c1m4" QTGU?Oؽ"ݗ@Mq$eia^Y|7 9r2L +VhrڂfH7"kl)vCQSbJ{X˒q0r|6 griI㯐f`jt4HPVS癑c6ɐ^Wk-[ !${;x<#z>/tUJ~M[ƪ2"菞{ 7Lf*ywϴmod\Ys<1r;L"9~D?P#=+fo[`u~Yq.t=+ ٗ4ƶAo kS}c*5v߄ NpSU+XOr汞tÚ@3"^(f2z6؀jrf.QDE~FqS#C~E#nģU!1^,FŁsIq 9q'zU *֔$07ҁKkdSb77[PT3'MXuEB6Tquqƶ[z0ؿO2 dUW؞7P0#ܶb48I[\_ 4u,xK<s\~N_g?G}}~He IE1e4N&zP|$g\L>1܂BMoAd>X™ie=⑉ ]42aG ڑD%e`$MEota^11[MA-M8Kk?g)Ƨ^gɯ<\Ѓ0!=[ 9^ 6=CI$d#z2]Ԟx4>ͧ9?_n~yUR;`䘺H\<wWgYZ5a51b672aceb1b714699800ec4b79ce2294dd6857550c920b2cc9944a8020bbe3af6b1258b7cd4a3 0dc49aec3e6c5b3bfd95bfc9315d5a2b5d8f359f4b92ed6a6c310912ee0fea299eec7155f6ad9406