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%4\l ]/]HOL-Analysis:threads=6elapsed=342.876cpu=1523.576gc=122.252factor=4.447zXZִF! mJ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnthJg9KY۷'aͅٮaad BV'F|PPǁ,OjyOSYb.ykl ٫4 ֺ$ h0 e&\U/^J[0FIBIu吗Xkx.an_~ה4"2\qbW+ډ vz3U\ t]|pS!Nl"m`l~=5MkCBgާDQŷ=~b<=?F cR)ѨͿ4}L F(ESZ&p4V÷_~|lFL1U!.tH(~SVsG.Q3] ,"OkD98;ތTЧ4 B%oʒE"|"M+:hDuF>!<96dvtZ[zŚN+#Zf&3a%@#ro]@R Y^&l̻jfr]|chkq6dž£x-?of4 Co/m^7!R Ě,NZ?+lwzףdnbv IYNӜ`ڱ)`쟸^Κ m2#h~{nήRxj2gV-NrG+uv0xT!1L biB7u@/hۏrmeZl+#R-5`nDAȀT fRDUvPkĞp0%Fc7ݢ)![ YS oޛz ld̆ք9w@IoBG^^̊TxVE2`Feϟ[' {>iW }R; 92(tT>B.D&j7z|F4*9[N;VMMC$xPIܩUKra$5ˇéӅaf@}:%;$*ʆ;?9`Й_aC`~/8H]xTR JJMº p$1W D`u&ʏ5b{䄒ZZ5|Dڰ>PߎհaOV%?/~+.2S͠_>/ưZR=ڭH\SO Չd\%& s1-{Ԇܽ].O䶡Sjy|/TG x]" Ol|$\V`dEJQ.47j= 6ERrmdêV:We4Cy=#Bp˚:4҈ԷV5(bTrM6~S), Ȭz"-h֞X9d КHR-Aff,"̳.㽯܀}9v9 E.ut/X/LKXBڴǾ8ʥaqǝW+eGT..%WEqY6)j`3ļMsdM-Np*QFU2{ѭKE8Gf2)?J`スCJ2}λ2Z+F % HOL-AnalysisnH= iNÓeFVsKXvJAm A^w_I f;EiacnGj8VGLD.*I{Sn3_MЭ,+=N иHh țVĉmo:yyXN ꨅ]v ]ak9J[B6Q0a XDVIuCgO'hpM="tR r dbl9}]><@5۴mESA [! cN˕ٚN/ۈ,՛⒖uٻq໼dq3lGg^-Z֜yd[-!hH߷ᓾ d^lCE|fmp2a:}&aa|@:<# 3_zA1De3䨹𕶁roSnR9$nE҇^Mt*p`d'Im?cݭh} ,I^S2B fhBG]38YIYz\M8'Pm&UVz^ y0榮 ,:[]SQ@4|3րF !g^Buqմ}4 RBOj[^Ľ|.  A0H$Cjye{Qlj|Ӝ6/}d?b*[ >j}tٵlWnf)G=YŞP)U 3uu TGxR'OMprsqz~K0JAM,oz LD!V%`>AW"'y To *.TurvJVX(6g,i;o~3H )DLz+91 ,j\*e1G2aMY&j>T4R0KP(y OR4 HXg[Ku 灁]_[ó}ـwSK"u/F#$ג40:h%9w_մ mmؼ;Uϑ\Ux3C+\ϙRb?: 7k~J+ s?[QP,d9-a'{æ;(0 c?E-Ag[ᥰׄFP 4bs /^Hr9㨗̢$R#ާ4 yǒ\ d2 ͞jgM]7Ы<"m:[|V%m?x;6ׁv&𒑂gn ྑW/$U0dsJӰ?5m\@~}=D9W/rFvsy_Og,̊ݘ\@؜ߺ;Og'0(mƠTNwܽ+U) Ff)LVh*V mۦB^g>aԯ?nbd#o/)eD'`u&l걾o4Tf UYH*x09 >Qpl`a{Qm璝1d͎=,ni3tWx]F P9 jc oW;ٗ-ۡ2Oxt-HEbNVvo{vcM\%Γ$ɒ۰Oڭ+_Bv&؊Njϱku_tG |!ft~R4N:~jq{|0G cIPlCqߐ]ށ_X?oc~2B^5I=l`-d)X$ˆ_K3;[r_-MUYywtVT;Y Y${31C]Б߷%*F(8aN`At˓Zgѐ#I~hL+$&#S܄  ^ժxJRCi8s=g Xѯ6,1בQnVtH1LT >A|Uu+QɁ+eHS !4p1)VR?^itЈp; y9YL_$ozL hcVtUhBr+Imt5X}7i4<L G@6 pI]T@-N31ϬqQL޻, B!txA`2q_jݸ:>w\VFx_rX .ئ}[Fb!ʀ3dl`3jވ<Õkt( cVX|ILc\A3j4avsEh*`O08>F/"X֓#v~Y;NJk`OY3shƣ2yxҗ"¢Zċ3YZCae#Ӹ+/g<~`K5TdJ0ym![@z O d Y YE5W5_eĨC hQ1wFm>zgNdg\'lgM\nȵ/`\Ȕw{(MdnƙU/gOčH.>I,ѩwsV A/O(|!7i-XVK@6*G+PCB8b=sA^(B~kHs4عh:6-g;<4<7moIVDvk/ r<3YJ*[8)k9۬YCU3 Ȓ, -60 >H7d$r,\wWA2tJ9lvaqoQ8^Nğ3!r"¿Wi pcZ%^|ȏoZ0&<;7qZוOoZks_IgXf$a t 1{[zC˪_ =!| !qpK&`省$Mz:ju!Z}Owx(EaAMBx:f6泽M74i8xtu39<_ɋׁnLT$Mjǣ9 #z'`̿RKe:4,!J4^e亠$`0..$tUG6a,XR:ݒzHɚT6 ~_or%) `[A@}du՟&߷ ޜ KNLtNgF6+a;\ӃNY9qzό1Gm +"h(Ubu,0&-pc-'k˘^ 8b}f%#mnoM{c@rw2ɋZv]=Z;Fahny #f4֥Q;=Ty-R>6Ƶ ÞPq xy.2 nA .Y-x6[2oxQ94l=R[\7DBIȌ:&}_dTWPO%U@4G3'ZfXm 2\L'QpDpRC9e9#tY-G+L_mV<]TlhA.ݧ҈ [XC!SHk"|:ϸ=yoo*3@ius--'^["z04@a a_?:*{bdeA].Ĵ*(`ڊy}lRc!xk\@CPKT"ٓ:`6]ʫz=g [|Ayc*6ίCJ8Q{rUvY nz1u~Rt d}g&T,0q^a t.h![ٟ#0=bJ0_2 pxڒF;CA,bC1nN1x-d3;۹PԶ-o04J4:kͨ"~_<@YpwW?HѠY_x>P7q"o6T"Ĝitkrz "EhZ߅`[8kaK3$;DDKrEM~dŠ]wLZJ#0O ;Qintxg!#qI1!쑶YMowLx Wud9ZSPXƛ h=FD$ċszч?pzR Ng͌BoX;bc7Y("z8LNObݒL3<1Obi~pI|+ 3ٴ$ ė1fX|t^m#8O6z.MY{]_n4g8x eD#A E󕪮.ƛ>|@XA/A( NcyI_$~}Wn"zP'vOp8EjnP$Q%M\A^Q'uoNr2N_u[eӆ>$b?p.hn rb_GP=a{("5 uI3\_ 2R `H&SKt^ZW)^`&~{GQ|g("8 aLJ6-zU~@.D.~ޥh Vr2k*JB3CwN^vbrԀӄҬsWsI۪pإr5gdAlZ[N v鉪zd/x$ZK p+HF0p"_TAcMբƯ5Rqsޛo{.$adakrAoI!kr6a~*NQ2@}u1=nA{ru[Ob8tI.JL-A2G?Y߿򑨃oӥ* PzˇO$lX2c,0G pk@">2\Pu/%T, 6J-lܫx&.}{炻JH[R"k^eO ^?4eQ RaO‚4V/DRt(v݋6g}7Thjc0/[[Z/HVzˤ;=7!,j?Ii\~4 \ IVE$ #8;U8W,OϢ߄Ev:IrINmEx"z9i K(W"xtO}rxҊ~ރ1#j&OqbDL3> n[3_)wb "!0ƕ6iyGɍp?9L! XʍJΦZ{䢳& d_` bC$b:"FӸU' 6}l0Wt,fm]W-fJ0+[d,BDA3LK( E,P}pd͘c|O KcQ8ܸ"Wi0elbb4iлV(`*qx3vG5E3"sS]+ V1}5 xk||a.8g> b4J0JFR\##b< ϐQ,疸{0cY‚]9/v\l)\/~ڔUFqA({7.H1Mal| (UNI Y #Na|M>Z *12,T9P'rx1lC j_659x0iA)Ӈ߽P67vƥT>5˖|޾}uޥ^~ -7~dy) [= b^2Ҧ1ZwP0r'| U4 @ԮZhi5TNww2;c`t`-b;aۍ׳y5a@XG+4C˛e݋0Z§ă{6C&PC?$'6da }$`oQ~ =k6|Y](|GVDRp| %>>=1[: ,sw-SkǪr?oo-ϱ}6ZEͮ \a yB?gajQas \xؗ} yB[qYe)sjrl/jLĴ-PgUjeVZ-dwbvqb:Ûr6@AJؐ]OYكQ2%F; BUd=Om_a&Ϻ{%覕q\DFw21/H?(!gB/? a>ohKZ tM(Ӈanok:ԃ ^ _T!E/ɑ&aw=G%*YiL[V\qkr@r2xbt:~,g!H5&yn-ÜX{+='UhnxrCFmK,[qWRNqZ2&NzheT:pݸlmi --H5ˠ=|^I]BV7zmфLj/26z/@dO9i$+=H[rd8@g)w,n3$Eh-TH4Jǿ u>ߏTʞ0j Tp#>L?TFJkm ȑ4\k-Z.+ܐ@ex?(SmvDiEOr'>٢ .ӟ{##/^A7V@g"Z~It8lBɌ;qQQ&r)}ILN'lWxq1LouүZVl;UpR2>_i檦l(CJגd.r~CyflCxgrF 5*m#Y|?Hm&NJyNvێ7ut1[“I2Wbi:z\qsaUv˟St3:/ XDq/0SK4uv2%dzoj_;6gEX)ikz_s1),Ea/_7NCҗu (5M(>q8 #H,8~3R͓ƃyqCD?A.&bǎ @w܃7AdsQ% i=\gc@:d1oW\fmJr0t @A>czp"SlUľs2:.lW/_Bs* IK$\^)/Vu bz`ԊJUZ>*ؐex}%kY50}L?/+KfP!cgIG/MoDeXWf $fW`Mu6lcI?':<1 𠮮wH(Ӯ~Gg/'2ւ=Ck 14@ꫯyDf6S}ŭx­qB<6洵x&;v4 h`kS7cXk&>{u47{ޕ$=y~͌6c]W>s?|,vE'Z5lA4`.5d ;52K@4-=b@per6O-ERd`P-鉝T%JRFC1AiF4=7_KfN[fca4vԃ7(܏;z`B!@1:Bv uLjVh;"⡹A$AqjŧXi~L&yj]IjW!Mu;}<ɑW s: (zv)%+IоV_%uQ8ZK/7SF&ItHTb}rrn"4 "Y+M2 NPB>*5q*q{%:^Ǯ;/DQ7^a D"2r?g4@0W.uסm^ >N2VˮPnGHn33lI"!Ty: kn:ˬ?uĕhJN[Y?xL~j.ҋߠ`"&CD 8Af6(لJ~ȻbtPW\?r8>X2@]QNB|n_-[Nyٺ|QιIupraFY5q&{RYykXѶzv,c0rEGE?up؝Dk!#4&)hw [HC4Ɇ5"ӫCsn+d-t_眨!ۇyz~T v쑚_'YmTxz헥V )zVBцB=sJeVUײ'0l 8S )~2PEŨV{é\vf`W(]FiCX~)v3T`5J_Eg<>GSTUJ} g 4'zga̓U p>K 3`Dm0Po\HPG5  ^$V@*w2SPd:2nˮɽqF~ B]4<%M Ȼ.T$6g Yj;@ OR"{!oƚtQ3:ex+A ?4 ̡J5|\;MUh;2rg=Ĝ_eEp~!Ho0FF<EVSE-mRZnK}ni+Wbf4B[r#kKd3|瞤% 20, )1Ȟe"`˥ !Twsw5(1$)<1uMP]˫a`RʡMc\Y7 &+#RU]!Su!Ν{$#M|of6@J 1}4n+7J0O&^u6NɃF9p7ev2rn3?2TB A#yrocal䥳׽,V"몣tc(sXO[tY#lEBSҁ#g'bҭ r(Al<5*[ hxJC M!jX\[s< `%Se7aƭa]D 헪sk?004k#A.iz:~2qnZG73؏0ZmvH]߶r?ve |rh65P{WY?N}uՅ8څwF0:{JD@Sٱz `N`Bi=oD{MN?d.㳬/ZG(+&K[m/`Ίłl>p{uP9VG鎗WwVg?iKO$Z{NHU.@FGR3ahVF6ouUC| y蜦oyv=[X;f),eP4(^aSֱ1I6/XA0J>毓,JTāE%r뭩P+? D`UDפ|wJ {դj|5W]ߩBz"KLz\0KS}l\emk글`҅QsoT> q"[6<}0ldHN?Z 9)W#rAm}TtiE:>^r1?ijb5FIj :paGSڂodҰ>sA'sz$؋? ~a~=1w0<0O+\a8wJ 0!\7qLL5(C\:gsy6,7pKfk?]TL%S3Cs4l$c#vM r3pܟ0#w&]Dbi֛oC?&li%_N)< ;-S0(dU Y =&$XT-PT^>u{FCGw8:'vf7CېA+8vgI DqeG,,:,@՞g|P߮aZ,zoe'Xh  B,]QN|ٌ IIRѶodX;d 9-Z;~3fʵݑCb^X˔>Ӌ12=WJuXhari$d:bLv+og=fPeEUij~ =ū\C &6ݺ|Uz2AeY r~ yoI#dtDӋ(GhO6̏t;N;v5Ryuȹ?EɦX }5s Q Th3^ڻZL%l37ߟQ B[K. #i, =T!?Sg#OICx\J-@.-m|h':zXL|p!q[nī+m!%Q,DQNi2ȎjZSᝂnaIk.|G%kR,uė+f~pF]pn 8eIˢ}.j,@2bd 3t\%)ru;Bڝ[ZV׀ЄGDY\{zf魺 sN;[AT t)Z&HSۆaTHB!QI=aY8-.z%v$,B" `_oqǪIvʂkSmB4bС{T`xk1iq`Xhy_%h$⡍d-FAaEe~A;ߣK=E6JP@,Esknt!vfJZ| :[\\1d;.`v-!p 8.~,)=2mJLa=9Dd.Kg~e@pfiҔʝ/twJbPp\TnKVLWXC?ٜjvOdhff-Io)̩EE';tkiM倻Gb 'Ԣ:hPSEM⯿룶-Z>Lz|2f{>5MFmjQzX"D`0>ikȱ&aXvVp4)!5Ok!ߵkҬr [0d:t1:Clk}{8cϭ}f#a/m2)9HAMg D;c޴lN['M E1St)@q'ٱ:)ѐ0:tjrZknjҺ蘡kea((4M)@:.:͂ yAEG)@ ,μ+fm3`)9ȌK[j6X3W1qrS9';ae9֥"{{0.2{EhW޾뜶PuvdpMX8L=vL阾|k?IEzk暼BeQ~EӒ~|D^t8عAÍ S2q):qW@aJ3(X 8]AlhC9~DCE7T$Vc|9=َ ejdmxB/PxfcDHoH^Mbns RaD6\k{ zȳZ]/h`{RQ m -KN;$DS6#?6L!v+)6 IT,̑A'^Ϝ?GdB2Fj0T М=a)v*<"0A髁Bg  d(xx*Bۑ4XaH݊Av@Db#z A%eW+e7ଽ r#ǂEb9r=6l&Sjg/'Q #braO$M1_C.R2 ^%^EC =vEtqYiYh DY dQ\ɊC2T{یxk&DL<-(#.0aq֡ߦ I'싂l2̢oz V4 (i6KŽћv9/%\6r,(4G뫁b/M#@?D4`Yw;Ӛ̄Hm&IF}9ݡݬRVP[52'[!_Q!H) )q< ZD7۽=r}KEpN2딓ҫ* B0 :i% Jc$Ϟ4"޼3h<ŊAqSܛ L(jZǛF%l?FcF:'K,5о63 71!lܽE*)+#̽^OTR'xW| O1Aa&9P$2|5$5>"n[890,̷~ć\ yN֞mJY'?,9&E[mg RdFBݲRyx}% :Sj- qM|n"-GxlcΜ$`I2o5%5y4H,S:k#s>deyl~-؉]U޴8h|!eC\%pL"zw. ICb#qV7H_dm&#,} .Z>XqkH#,u+Fk09ɥgNp@؃UT2e/Rn \j ^pfm"Z"/|3HYYU pdcb1aogSAyRG%K:mkow)ٶtvz75lޅ)E~t?Ky 6ѴB# b{Q<+& b1uF"-Ĩ ք]"?d|$~C8zz/N GSBb"ףJ)c2%*R/|mo|w1DG _:JPztpO ݇ ^3/ejC\|ܗeq]I[X@C1gmq_zK!Nk"wkE+ʋs܌O4,E}Mxa:\a*#jMmdUa_y7Wf.tz@aatcDM|ej''J9jrg'5ݡӯl}jg8gloK oU| (~guc8Ku`~\ %1+|Nĸ<GfzSOYO"ڑB05]^s"(R -=@+Q?=Sė[-qFaycײϒTm3Dy$@*b 7eI!R^jr隐٢Ab*5;/]5^H.6m{M7;·tښ])MRѦr[Kdb<v2S3ً5f8jj6y1 - JְDkKKڐ|U=$5{O@([1%&6;} 1 JM [.w)T[G HN3bQE %(3H=W {&1U5 @ܭgaG_2sHI ÅټJ6K8aO׿^vK$X\ĕ&Uv"K*I&FП`0W["gt6֜MnDk?N]X@RǾb \uNƿd(N!Nm(5-a_yL0,G*;.]7wrj g}3F4Vp Bb8Uڔz-v&дCNI;YS.e EɶiaP^{!+#ȃ:A`RvgYZ7zXZִF! c]ŗXi%ъᄳC&|GjsJ4fͿ8#`IR 6JŢvLE@2H]dVԹ=*e>W T0z=nv Ӭ́4Xi{(P,|9:QS ))9WgpTT1F6e/|C~g]l{kqk>_)ħx4f߀Jxx؞Y;Ǟz2+(r& 3 D5f`g`ReG9Tn0joGƝIE];]0Ks0e;H-9dIv jʹ=Cj#/-w-i'iy䕡$m($X:c>X[k_" ~U0TԲ쓁ȫzHV |S^.:V &ӰK_/mM=o a;aX,}-S8abɒi[sBFr97^pC]1p6 Fid\6i!{dxD8(}{$gz3[~SV((d0,prz8`gSK! -1 ,qr ]y~=O(Ym/}wMՋeWytڋGKT:/LNvŬxxӛP7rz 3Ě9k5 UꋤzIy\\2{~ u3\ۑ$\0ПC@''S>Y R$G4ш$5\6ώAũ9OݼUSH b7;`:7rvRp"RQhl8xL Dv>wСs*_ƺҋ8<0$g+yԓpݲY]ucƟw@i"'c TǬ`%ew V?iUu_%'*c7Rq0bHSwG(/!$5f,7;+ '&qb=U {Ŵ9(ˢ5D[6o56$>'O,m4v)u * %v,(V:v{ْ{c: sE%9LDP =xTޣ?-]OTjlu5T#n!}] 2ýy̷R` qn%$K`/\{>o..D h g 8*'[B_} ^/9Fច=Ws'ӓ nHRS@>/d@:;6g@luV_vT~(a,tLR^e(s١(;9.#Lyc! w ȥ8y"rEN+J1/b 5. 13|c$uuG=BB,pHIab~whI" ѧ;3< 4b/&%/'+ǻPFVi&R15rY?a>fAءx;WYcaVqِ"_F?QQ G>mg闿`צ=^ !"I|## F%N_Dc _&Yy XBӥ)D9*)5'YȑiNOŊ/ܡI P}>Qaro!l0ޔ1i2\TAzT\Șq|~%f2ٞc@Z U9UIkN0vX8)0y?9ਤ>rh{DgaU_&7S I_C4IaV&v'!#;1;M=Yǩ@.wȂiIS65iI+Yvy Pǯ5װlod7i].S:k%"f#"'QJJtvi3z" .`qbj?#:VS>geDҲ>E&RfHYڳ/S{v t#%D+9 KL\&Q-lY g =zH%GE"$NV.W _a".m%da$O=tu%I5qZQͥUjǚDpbU,+ײ/t]h=Y]6;uJix+Ž yL!)B8(d9 ݋8C5/ˬu2SqA{[W]Mnjn)Q0!LJ6n$ȼ hx ͊J'^:v^FAt ЭcŽvxI%u'Jt4}"h`_ ga/m})dvLQgO3%d#a(ٕʗ}\OxΏ|\hDz毫/< ,i4o å\/-65A-  l8swcS:hUqȮs-lrkTi$/XA)_6}8 J[b\0݌-wjRo$lUxq|w 7J%GxxX\THD# v `I$rG `9<ۋ,i+YH0<oN`>}+D?j\Z3Vv `v$Q@UF(ג'O$u!\`ᨠ3%J'7wP]T g sh $CpV3<,ܸ|P2ި?< Qi㷈4Síkތ8[Ut>L?[nEZf< 3k[Įr}׼l:lJAWq@F jutޔxwZf]>E]#,_sCXJ(cVj}IVT[{*L:0S*X Oh.nѲ=<M$0ܓVwG̫"nr5SP!,#عb s2Tыb$x'2p4w?y`Q&>_ClBp!oTaBc^>[;rȩoNZ/jמ X1U0yOX oل=1`ugV2k{rasdžrQbJ/8ٶzUnBEypd8&Kpֵ>uҘ{U7#>wT޽TOjVCMfIx_97{QO.,>oM aeG>D܊KʋKiArV$\ !#͂sn;I`\AeH< "WkO,Hj,?QxKz+ʻ14&5QTe3Dѱ#d7\h^wNl߰0 D}a>,D'51\ )ܪpdF|ꊈ^=ИAK ")~|^x{uhC"Hؤ@:sEVSeη+VG%6uׂZal1zDN>EYϲ!.=c+2 0FmqTDDW[h(d;mؖ+Be埗8*#T^YEoRg4ג UkW0F/Pt*wV?`;*WSpΐşHM'2ư>̜ٵւz_ctD:0Ö9GWizy3}lW?s࠳_W gJ XweH}A>#od=V * 14/7fվs{{LL7X؛Duwb%]K!+WÀV /N8ZD"dg< { ؝JDL9Loy/Zy>A6">ɬAOXUB{n,6CkݭoX. $B0Ꟑ@@F;y>`kƅ)\K=yS[;2SdIBL㙌 }ǜ.G+n@u/ и1toڽ.!GLg/K 7V{w1zcagԩQ9N ֬9`ěmW3·^q;FldrA<PgՂ(VWb9@LHNsҖ>N&+C5"˂t` m_UmPwwZJW~w&O0ZGrAX_1e$a2G6f_!qU597>>}Z^BA+jOxB N~lS١g\+zւAP2v bI1LMI&;yhp7/KE`5vz >+I 8hp7ekQφL((pnIroJ0k'op"r`鿳ēqAzlrje5%݃BJ=;节!pwÆN54߁?JS;2@_u~^j8' \_#G@C G;@]Α2obx{~ѓMZJwIK\#>~W([$IL&x+*KrǴwPwƀ;N'n2YmUhbBcg2^< )(xN0բ@UgCk<<6:x^$Hr*}` ݵ*4)Z瘟sRjiʜcũFZݱ.]e %mɬ57t-joZʟ;zqI P^MA MtH˵$s7V:B.{b_YȹTfj_(߉aԱiώOY˖}ɻ&dq`rKt>7 Cqjŧ&.T%aha"}P*}`u;)ElOj3C٘-ǜ GXC2!;cmc[X [)CF [# Ѡf~y.@X;#IG8kz aTX7͡^dH ekbh (3{_& ճ@'ԣEÃىCOaϪ܍ Yɞal~mvur yvae1>DxQf,Si`D-Y@=g ~xgS6Rky-XUp3ݩ,+Ʊi,yMB !jzDΨg6rB_+pr"l 6f ")Eנ*$R"sw,Ub /NBڇ=g4H[$疯'A dOCf'­ָq̰pw,Zn*&L/s!QByRj}UF-rL,Uw'EO9C{FScQCij4'Ykm%BWJBtO j}>㔨݉{&--kص51ip\Axho-_d`{h<Ӊ΢%5d}oYtO U XQ5AIGɐC&$J7~–ԭD,F:˹'!&ș]R;Q0=R' KZxx̝z;Gf., #t$'={ՏP0ez A%P- p(+̨.c $[5#HTjk^U=[jR Ug2v彵i{Nȓ(ܵu~F2.:~|#Zn\v[q!r?eaDc1 p<(+'9B?1 _MD07pc>=v"d&jWʻGBfĐ܄.>z1z*p&aubt$p?80OrPtX뿹 %.AVy㱡㸓/: LU\*ׇ l&eHbKV0aWccVSv.jؼo~%k cݐ_Da:.ut~nyѕ'(P&*n-Ղ9ݚ,A/bԲ<YD0 9n (λR u]OJ>pL(,,_0t_H y!uu0;[GΊ+:xk K8,`]9J!3TFNl펆8XJFl)5SbλeG_Pv(ԛx nbd(RP+d3y߱ Ts#UQEpqEn OSnpSßG4]G_d3J{}YQhmګh[{8D'b:S(1pQg$|ߘ1#rgd@ y$Ы4(kX!oXa+@.>MS؉*9ܤaDǛJC͵cHjG:;0 TDز6e81Ƴ[) , t9:,@z֕#c=68Qkql.PȉNJGX6EY"5+ #6hX%s\}՝˥ ]z| `Z^ T? GU !|Ŗ\a6c[l]vFhS@#'=DٜmJ(a;hlB]OS0^ʠXXIշNJg9 m. ,^TܢA(DީSt(W uKXRXx$v;6> !RӣgRM(PKhڇ Tv`RR Gl#FӪ(y}Y1^W8Nҽ!s/ʓ-Y2."sBX%j[]k/촳Y ~@ࡎ8 TN d2H$AAfX~kApF@h[hI5De@xFJV 9<erv*{Uy>Ϊ.nd6vp>ЌK7\\\O 2Pο,˶+d|O+W OߞUka4R_kˉby胆HXoveD H%XAs2~R~%Nʼn"paf~ X =u-El&a#&ǭRMrﱭkWmBT=kΖP\>BRjH@Y%y*L^ ,;2" o`Q+vq!ltzT!L|Ya7]2ly.''\Ge4&X WTo>H#.a{Bi,ogkU$-U.8o02O[s4svp"[qH5(\B4h߳]q.~s@EoܯG$l@7իQerN=Pne Fbq`N(zjP޲vߛ:A5JP/V6"F~ŀvP KT"|&>rZ({BKjh&칃`%ZVWQ@5QtKMP㒉BNFuZy?Cv|龃2cM#&G;cOQܾD|]2wi_$QՊ=<@՗M^9E}Bd(Ʉ%o֠!2dAdWэxlV$%9(ǪH-q.Lm )r-! 9ߙH.6%@/Wڸ~D[`d9 啕"ʍ?+ B.-T5sNLʅMg6O%ް(|Ou@D<"lȡVEXvz ۭ6иxW|?S[36@dk, Q,.^Gཀྵ2.an99$'{8îk-ȞDʲc%ce$ɚ>WSמ$lYV=+\Ն0#rკ&hD|aƼD]_#5Ѵ Z;U7"ty&g6\ DSNQ]M S )a4:d ʷ'1GPȶc>u7۱ Gܣ\( "b[]bÅu%XKyjf=M.4}Ar-ǘV4{罐-6'Vgx*pNDIr[z0{ڎ' Bqyt; ]}[m=Հ I^ZݶzQ+kpw;6n}L1Sw_%" 5 E@ZT,O3,5zw(UWensɬΉ./EBp6;K&(ud>ix[is9;|Ii&I5L)Ͷ5Cg9AmM ߂5ra/bLEr-IÀM/Q'yRQ1fZM xqߖ%}4|c3㽥c!H*+wl4CzXӐֱd6DU 6aE6Oj3_7@moB>!cO 1::q81Dg>|m9A.yX w'cWêpDQ<}?GG`}pG}k;c4d .JLȄ~asvT$3IIᕁZLU)B: $sJ~ a{eܳma8nyV*էXeӜ.a?Pb5:QFkvSv˱֚D-A9NPSDYFR ll[j;-X؏[.NIOl;bzwKŚѭ{7L X^o=]i BifkyIE腏+u7_:U&"~%ﳃ3=~9WamJATvkV{ $8,,l:GfV$߫b)(5СI cΚΐ]Zz%X)BDZinf`F=v[R+fp{B[>7bb}k%zB{F(lxp{ kEE;%|m}2?hF_ J7w 6$ bv"_ |wͧOꃢ6:e6 o<#'qC0u޽( d=Q{Xkc%W[) ?[%T GEhmkcDT'KZsm!9Hmmvbe~Qf=#'Фrwz)Y|2´S/D:kEP[_GI;AO p]IRȄa' U`kђ'} XpBԒ|\[Dj\YcMFb2 f\գ K?99;~r\qkB<7*yʻ 3!wM䯼il5LڡrBs9L5/g%骗( ,OCI|]n0^9G6>2R;׫CI,sJ/rݰdlBkWFhn| OlqPVu qf@f73W>(8vK5#^ի=\loGSTKͰ`y,NFE?$LiɌL1IUh3g 3əq#W qԜ) i㭨lX~bgkM>6sPEOIvy  v`(Si>܇p"rf7!rAByc4Pޠވ2yu΂ռg"Hp`E;=RUE*mCJ `un:JBL g3p<E20-Cu|7l5V t9W u,/Q噮 M+(k |]C[tӄN1Rlyy~4' MYnNEgcUBt/@cYtI0l#M%08D[!@NjezO 2t0R#0&srzރ q d29(}`L-t7شYU%27WK8lZm3DG1 ^M8\m%D8}6Dj&cIZ? p_Dm)~NhG_]|2l~sҔwyJ֮ \8!-m9jY91ȕm'R^=}C7+$F畷Ng"Gl]MV/gxQIso"arX5n g|=3fbb~^ۂY l~opYueE{O84J&!˗ .rtCZR-φJ˙, v&uZ%!]ӵHuXlЋMi,Y$u"k%OgY֪ 5UB` >ࠀ[#Df[51ܿfi irފ!֬L",SV$O.]%.Aw1ҝb !.Ag~H#y0_({\oG _T>AJpԽ8[0XyNN_T 6>d !O5+L xK I=qO'(\/~غ:JT7ѫ8w"kU}31)>]wDhw}a*&QB:.RuѦ\ɏxe wEr .~,*[A\G`eˠ;gWv]aϚ->jN*{7iYNnUjlޜܼyx䃍%=aҥ0pwm0a}f>]k]ŮӘ44͘W-~= DD[5ʺW9 [61(M@X5ކ31GM\fWo$=7`M%Nn!Ƌzu%dR;`4BݬW]esREwm f 5iH dٷ)a_K?RrБY|Lb*qM_F, V9hA&+ T Ԇ=_Q pjG$JP\{ZdvRãA%-f-c ye au)6+wB]yjz#v{# IC=8j̷Y혼H>29d"#_ȡxǮ-HFO 8?[Uv4x_0($#1fxzڤ?9ka.sFvvW* ֹq!I h*pWJ&u+FG*KVX^7x 9ӎRy_jJ9>Ϡ bY0_efճC>SkyÐ&f kꀁPLg GU+hbc@)=XτWZr4h2n_MD Y@ftub*2ZIW9,Q5֓wT~BG"gY5R6 ZJHo<4JNw@ ͊BڕYb2wNlVYzh$O:-^'ptc(<~x?u*4]z,R#}u ^Q̳_HHWhlh1hQa0߰\ozpL; JkHm@CmC}~ӢPZS1Wq]+Ӣ_,0qXF!)ڄ¼'Hqww^(I,k0򚷆MZWnQ}@p<}|&i]9:Ϡ++GGAu`ioe/ ܇a ,3r ,X#vҎRk5vt,g7v(l+*93WLf;cb7=X$-2|ӒeVV ;Jl׮rBV b$ZEyc(IAS];C;5lÒY hLJRg]ĩ־߿:ձ=grNg&8F$8bYo@p@˪w+ ΰTZBSPf{\n$$]jĺgl7B$b0 enf8$d&Iw:$։rV6׷ÇN$ 2- [2}JSwDMd2,4XGҀ4MҿYew1{ FBr1L1w[S-2V s}to?f7#*X_$_kzkO0QR^|(9 Pk_jSD*|}8-6í|9uJG)Za_,D* ΣDn\0/T~бQ1n%aQAWE]Sp'~(xh52Wu.$t 8b̾*-gWWPwrT> ;& Ȼu0W4^'9|.v ]1YFܕԒฑd!Ri;YI4ԧ"  S>HJ%&3h1 ΄aeOlaD{GZM|qD*U^m^%{z= saja;c̽r`qeܾ׌zj+gӖdh8#}hⶉaܫM/YhݝB{G*bEmV|u5@D+F kD#N͘t(%@BPY 8Ino3{]՜wX6]G$].?C5D ??Yp*,]t&'v5Lc^%O&o%wPfaAn8leYն  o0f\Ʋ3,`:Z<8볩ĉb=r3HIlfLt"mmA$hY TEڡh&Y:f.a70w̼Z9{׏ڇFEEXOLV 7r5jkgmg8*x1pC&DlH[dONS Pxt EoyA,n}f}""qGe6C$\s{biaO>lh['`t=6(NbvtXql Ɍ*¢E>ueVDdq kT5T \ۥTdۻaŌa.ׁNԺn(, yݯh˯%Nr Rm,so[_-+S.i^ 4>.8(-xdd#w?7VP]2M (&fp srBeJ1oqF($hۗoGP 67o 5{NSAgj^+u(qIF-&e7~Zā :! ?&9MwG v3mj坧l'ŷ0+G.Ǻ!~gfm֫mw5 28Ȳm{pO:B9PޮBS*(0Ϲe6 `%$XG[SQP 1

GbC,FүלxkRT'06>9^+ŠY#1ǿ w@ tI?)c"vnJ٥ k(&6 ُO7܇)ȇh:<3i- C/-Rjz^G /^Mw"p@60/0bMבiTI|Yߗڞ{;g]4SeG Jc=hl r]zzSaB{(EDWgi 'SH*RT\f!==Z I5 J[ʻIRb6ݪeOY^iγ_L ~{@ UDR)yEyvWVD*T)!)-6ck&T@3O(ήYNj-+&H[:|;ZY}ɤ^.$=>vB5'iR`ͽQ3 Nlcnj#W2 ʺKfTX$JX uȱ,4Л&GOy֜x%S)y砷uNKr&Fjl_07rX\'}OBZ%)ؿrQN1M8'SdB$Ӱ-L¨;G[Â1%_CH*i\RuJwVMYluax=Nfd& '/I4V&D'hɆi9du50'v_TbmVK_ei nq.gLV݉1ta%hyа'H[:: MZ/;$T/23a-(:򮔴EG Ʋʧi]>PG&% nD<"h|]wc0Jح P):i!'uR 5ZEX%6Dx϶](!%g1˨vKd"+㍆S[6Zp(1jyrc퓶|nQي\Dah; շpim&#wyXUȿ60K(9}:{܅)kscAŠ7)ek6Uၫ.3ȿTL@.{r-@Zx*PGX. x}e2(znBrGq17e'iΪ]bȨlu8_O d3g&a2 ?,IǺ\b05C&P\Ʊ['}4h:3l #X9@H z\9ݴx|wk‹h%37JP f}LQ(_Nds|aG X@Yym q )WEUfbӓo%i_jtp}OR L\bG)ICFd+ϊvE!w67&A`Iσ$C@,'ŭOB>vHnj~BS^1D!_㪺@N7XԢe?\wA8 j*J1*) kRz 3 IO[MxQB4 oФѣ8*|9K!GݿQR=qM PnD*L_T$0꤈}*}/H[5m5%/_0Č:+[9u.àth]-*=sn]dh"0H*U}rv`n=  *v -b{W'dC󤺑w Β)w ٵSqZY ,ISjP(ɠW4 bqx[ ůL +5vK_pZBYJK#r|iX$˔B3a; wQJ`)@. 1BꜸr/+ b]$?f# #km$s,L^DFDB}ly4m*vw@8wM6xt+7w 'R'=bw!֠{K.jãx8 7*O xuLkV`PgI ۯeYSLpe摳G&d<QV5'e~6&W , /|.!ղ:0QNzQTLlN4Ou0HWp6mm1ڞ<^ۘy9yeȱ v=Kn,"{(-ݬ›N.o>udu ܐ8 IFtb #p_nBM#rgMiAspjH$ Zl: E wƸZ`*̝b4᭍AcjT=;0D hDT0>͓CL`>sypwp}RȲo&?b ꗗC[ X-^q{h3QcD]4Jï揑P^% NQ`c)MIdYPuNoΝ}<m h:3Fҽ 6|Rڶg!Yab1LR^(2kPU%f(Suf rțx%@SD<*u^ZԋC7x,P2ۻoNRǒ;~aSŪ~{rֹ(&K^iq6ѓV'l3 1{ASGgLcG)us#_U5uI"t75aB01T;.KOwǷ?4͛5].-)Q,-=|tpퟓ =vhveX]ű5 57{ U\YauBZJߨ_} >ME/2XqdYH4 `*WvGL;n3΋MbslKw3潢ngQ$^1kw_+u|=K%ÅG@SA3~swWwen]WG!7Һ-b|-17 A96!ـD?N:ji/(=I:}ӛmԤt'{L-"Ļ #qsQGo.}wB(b<?O70Bx&@XkU ծ& RAx`\_K S(@x.8uj3t2%/"O/-N _f[-p]#s$?|Z}rҫ|!1I:jKW]`UֻUQ]Of<ЯBtsϙUrebj2OOXhSCm8;@ſF=~ڦBFHŵ^ OPfn<4>;fs2'بT+*uV31(4})u: &RUI:EFrD-q*8Q誗JT23~]x1N/)&t溬P]}:a0 J Pznp Q62..;>KLQ&=y!$ыu^;4,P}PN('U`loe*|'~ &<^H6M4HdnU 6QȳpnF=ԅ2,h^M(ɥAQ 0Ќ>7%OHXah<"C!F]x#qɁ6{66U$js\%MͰiQs݀vgB}6Aj ?m" 7kٝ7'# ǃ&RśzدNbK'moj>u1JegBA:T=p7tudE%͔Tn`*4f++.`:y,q4U9n9Ʈ }ڛLh;#uCX[2IKI"*YWB<#wdch)t1ظ *+Y`OuK ԑ)?]2no4Nfw'+`(26e~̭P=96n6Y(=[ٴ d0j`FszhsoGCa0C $?XYtQL[RXJ MBVrFq`NTuK 0 ՟fO!K*WZnyV܆VK?8 @e5G^eOlSX}D2BP.)P6 A-荾r:Eq덿|#]aT (82g>vʸD+Lprzh! FwOjjc :r.@m&Hl@ BFQd~O\;SB-/Λ/gYZ32e739daf6911f0cb0f98d820be6c25717002a870368d846b91517e6bfc74b22aa4589a14a64f868 42798967e97a29eaa625d2ed2073e7fc3fcc184cab8c557ba18e8d7cb41689deddd87d13049c7732