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 l%,4 ]/]HOL-Analysis:threads=6elapsed=282.456cpu=1244.064gc=86.636factor=4.407zXZִF! @C]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlReh/+tEsq aC jn[u(e=9NK Y W0!,`z=jo I clhb;ц\u { .JYy=a?hZP?5Z׵3κR+fa20߭ÏCttKk˃Jҩ;CbAWfeT/LFi2v~+^ˋhe[uSs"̧[-[p90r[{Њ+z%-:IšK\3r\F|5yu:8VC*m] (}@qF BIbL 7r)k\8Y]j#/ :K& TKj$My%Y@`ըzwzG\A/[ @&%$G}&[>1>ĉx95\ ZsҜ=M=,B<*#~g+r4oV͏nLq.c(t"v@*9 ]LE{bWW!MqbON$F!0?ElSfg'ĹO Vg~ӂNk}_P}I/ ~'E@XQN"qht.qP}\S.lYb'B)d^澃cZo8Q(z5 psVdP)Ng.=O*qva:J/ծzl_8m}E/`t[ n8>3۵I h_/ՁMLʂ-GtmA r"6koX'"4eҞ{F݃|֖kN<ů/U ?+y|pUzQ-u#w_'(Gl7z߱ '\Mof6 HOB&bNɱ@dpz ,Lh?rL^AR8oeҸ fA%OBh'w2Z M+ˇ y שN{Յ~aE]!>ݾ1G5ŗ !| ,4n.)vSӺ6S(OHG1I5TleEW#k, ,;)Or 5>CG"хi}Hl]:*/(u(*=dQ c]2At2q &݁iVɍwEԍ_~yAQəm޽,E(X@_s7`U[9tX쩟N*d'W"ʆi+Ɂ>~NDsk 6tV3ք|,Pu!>n Aw$,♏-x$;Q.{8ul}נWk6Z#$sw=<}wQFW{[CCeXlœf7F =]DLHA;]-U \a6#r36rP zro!Ga7+j!8q*W}HzAiI Q a~ן_9`} O|S}F00%P~@'B{\$":%L׸aOW+A7k}jJY># KV9cN>*8J bş`̱aخmPdcBk~SD1!e籶 >ǑTl؋>+:m)mn;p/ U|:D!GxNh1T a-Vr1V'7pq;6Җ vUO$jD6uݢ%ޒnWsW$SneDUHmv[_aN^I⡑nɽ |So@["ĪZ=Q_B]I;Y34O0 <%j5ٌ;Yo< ^Чk_*& pW6pYIYwWD 9 gh][2_UDsh% REрpU/u3ゥ#aI+2"'04gSWW]]{Q2 N[w:f3?L Se{yxpsccC6 ̡vVПqNL2K٨p!ЮwZcz_m2?IδO[X֣?9.|h5ؔ0 {(tq1w%c;uTKpmr+;&h>Q#7-w2sLnwE ta*cQtQ]_ Zܘ$ +E-jdOjOB;؀jxtxE:nTẍ́U}|IIn͜|2Qp|`BIcr{k"}fᑗZ7~i駤͕߲9OT4)eH _`Z`TAIOkEXu6 ]wQA}ik! % HOL-AnalysisG;1ܣcb$Q63K1+yQ} ՁRSkA;78Dm2DHD *W4)yB gԔJK hLtS-ji Wێm`KbEh o:'ٖ0ad;~zCndX%Ϟ)',G2 R^x ظFxot(kYke Hݰr}AEmǝz r)Y}+pz}trY> 210φOMyf;P'hhX|;(r$Rb3qrb\e陞ᱰޅ+Q9tdPEYk| I@|H6 1\yzְ[HC1Kb'oVku0/8mŰs#0eBcI{_A>B*ׁ9 <$o )wz3%2 cOsL7B YœUߊ/Ɖva%o "M-5:pJ#%4_c/3Naj%9^ XpF!g3S+p[^Ӷ $ +5!a,ahv48lQ+uH,RaǏnDާxz09zeYnՖW⹬[Q7&q-C!͒M=.eݢ{i)/k;)}q} F *F:Sww[aޏL.= 0,?ú^tLb|kң"! 5>{d _4gi$])S~Ěg8@s2iz?,y@O$&3-J{a:M/0lj=Hp-%h%2}ru_^N}m*Gjq4F \,I1gM|rttcXifg+oxd#EKq_p5D\ dY6 i: {:7k9 g:~Ǿ:G잧PDޣëyںgmZX F nnF<R1o74j_Og D<xs!ͪ nl{zk&wnA.+,u:z)~>˫1cgB.C%l Ti@V^{*XEY^|"JOlK)sl\52*k)ߗdےn2QuRGq خJ}ZTP A}8gsdSt=t"gvBj3]lrXrQ#j6>|:#֛\*7.Ѭ;K ǿ-I2)3[Eyc}0LEl0QOyo(⢪k'1u|wrhkVIim̵ C6Xpus y~tAumB(9gȵlxMo 3Y(Y (HgR`QnX'4 @T}4]xgE<ŦRo/:WzLΓ&@]pTIͥr8Y.kSXfR\h>Jd>~14|y#*:P4]1ʼ7%8A| koq:`㩥fF UaUvRފuu7&D^al֢JgBj2ZJ`/BeuVx6qz40Yل>4_N5CxvcP" a${~w/@:°=I`ߒ$xU}l!8n ˆ!(\+R- q=m1 .8jR:=ٺZ.SZrle6o3ػN=BDMPH.SBȿsjIE#wd*[~U̢|g)*ΐxgEVvCY|mnElVc\g96HӴ8V:noX˰Y2#Wsew89j4O;2VI'r5 ;j8wpC/G+ o\w/.~9ac| =AQ Wj7E V ZU[b.+u4$Ȭ9q M.Q?BX='Ay;(:|:RHgx@(\U x4cH!DGSTV?A[&anR pW9;|uW3Yc]*R[ޝ F yL(z2WK$YAo*DoqzU= mkFe!z%8vF+/N6N"бaaRd];[$^$<൭}˵l+{ס;F%j4b Cch2Z.rx3-$a3bgdh9eyAAcx=qb& ׷ `-* RÕ1h\D:gkʊǂ8{p;/ŜL[MhIobT̠=Ω3Ey崅D\w!@:=i;ӧ Kd*\*yDW M>uYVm_uPzQeLQJj&Ǯh4_طPuDF߿ǓI4f[(/Zq_9?l֎2jׂpH#o }fx]1#D Es[ȭ@(nc=._C]vk|'̏Xk0:qT+\tBSP'ʄ7 n(8 }!0*a'9pN9č#+3:$S.\ 2xN%7/.>9xwܘ:Y'ls3#̻s8N͸>,HUW5Kk$Py.Е[lǎ!3n"t\ͩeqtaCgd+g3@nl^}*8/Q'Wxdjdž YS9zK.m߶ |<(=c`&LkPX c;;ȷ*k}6GMRI&r$kA $3myF/`xzG\:5 rrnXS\ ضڦ9oXWr@h]kb G!}8wb*z9EԠHvA};JܨkV'-<Ԫ]dpZtPŤC9O (V['ȵ7B2=ZDJh%U{J 8`Wꑁu O1$b+t5 `6lY{Brse1-Vy߫' @5 4YRZ \QVrJ[NBG 3+6Sn2tQ%ػzayWjcƍ#|؝"\zjѨgTUu#'6l)G yn"P{~ߛ^WyC:/0iX[AM~dH(6©EA'H3) 8E6lFSdsv[jjpr+8P *(+?J`SLJˡ7%%NᆛD-^LEM8.v\MMA]B̨eBi*Q~Ǟ{û =[{p*~6"P8oi43D)O<%i)+81kWFGpQރ ZQęVJV|GgNGoibD RZb]1J!ǡEt^Z&ݒR񵠟sJz -K69m 79b+X$åLc"Q59i;08/HRad mW*I)*Sf5Rޖﴲ^q гմܔ:C!B ͼvIqsk8pҦPc$  $Y|[ytBrRjJSZzv拀ib/MIƄ6 j-T:lTL)E,2ej>/!?Xc<e\Jku)o~LaKJM7T~dzX5/&p%VPNt[ޮMfyv:J"Au[S}q({.+Qsdb)ǿcոU (Vݰ}ƈmraKdY|^?r ,> H>>vӳr6byG mKsi6@do%jhk4S{뽼oz)W >Bd #]a /(oy93>H8R6V񿕪8m W)krR9'0W悲P M^jM ":k;"<3߯jM,&JWxS,8c^8]t2fu]Ldze@%[8E.\-gDr1x,qp?fmXXypdռ%آ'C"y6M$!<}1q lRץQJ+;R=?9=؉i\ve7]Dh%u}},KiCOҴHNK$4 2W_݈ט])~|Lia 15;b7ow D 1}r1GEygRC28w$4p6/of j(p3)0=>"%oq_GQuxITD tF&] $'Ua:wr-'-_W" jA*ܧ㉎t[>v=?HLm1J]e79ݞ;N/9_#c "f6NBF߄̎A1y\;'{Ś/RٲTH@5gu4`x-Xĕ)= ksw׳B(^&D?ڻ at~NS򈪱 FIM#T-^(1{Vҝdx/' S2@6o¤29٠y^U}ң s:Feq$EffW J7r:J.R iu?O7J(pUk/ <$ˬoވ,[:ɿ$ ])o|x)03xs4-| 1p${)u˽w] و($տdF`CW)EeŞ+8@ղPkȨɪ?XTwsC?JҸmە,0Uq \697ecgrD850թƫHe8ɠtخ"M/fj6iŪJuHvR"l} vRG{{ApqI!j C G|-alhd3w~kH97rۅ[U=۔{^ݘD TM$Pe>hIW+GlLs  ˆ `ȶ+%ACšn-BiF]^/SPR{FyGeZwEj=15T+Ri?"N&x#ϊP2:^fOOaNb$Ў俞O/dA!Y>s4A)TcLvgY#v0)&5,> &c}{1p<\7HMm|$R(8n*". ԡQƾWôUpLVtV0[1J%C  Q*C֥8v(*B+F }?4M<'\wSHG6 ݑ̹[WRKϊ^TvWr mмk=ǽɲ"f&^7Y]8}:U'C@M/Jˌbv%V;Li~,taT2‡!<'WE(km-/VD/蟱E`ي1č `tw[`咩L܃nMm%4(? q\.2`tAlQ.R=#Owpݖ]Ƌz `(RPTmV\WA˚b)Vt z^bhXSm={ 9޸t%$Wj=ɤiV25ojYݳg"aO9l9»ɹ]л.f#?5PuKinv\cE)Φ1#,xdr*A8.rMF%9`HNo "``AqjlR>99բ_%fDș:1v.ܵ6 Vݾ|;WUNvPJnI4&Qf`B>#d=B]6 U]Mց۾˵X؇V]!: %=) *9|LŦFwɮphĨAj5 %R1!Ƞ N9 hur{n,Ԁk6|Fʺikgl䳻{)ЙyǸq#̱6~1ʷj5Oyr*(v\+9<˔BD !nCXxpB36hWhgm,WdxQ%v&Z|@XYPejATZpQD^I>6>~Q$xe s)GV4-w{C>z[ͬjH@s )'WtU}2 Z)Oz?|0K9|CtM{6 fɁi}3ز{潋颏NSr#:ܹ(H">0JYx( 1}>SqD?3F˕ڂs'3b9̪VSy Q7s1'2p,VaxA%mGrt u"ᝁ7g aȦZd+trc%=@[偏jQSBe:}&[3r-xdyjG=T ~j1DaڰP9M_ipk~5hօ灇eLwI^E N%mʻ(&8ldSBB;fHS"g.KvlAFtzlS'eu6 8}B5VE81gSuԨ))?kťo/cϗR"xν'G/{6}&SRR0E0|eqlfs~jt rqx"{i#ШcjgOЄ5/m^Y&cLY[o-͕#>FyXgn ̰t_0{ˉڛ&=/rKTy%}qߨ Gڵ&a9RG *u*W+@РcB#8Ibexyn"FŒw/Yx4/,ܟ߀ #gYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd43{=; L'NaʣT0m77kfV$z͎)֌(=|@c&B 3MՍx }(aZKiYT"8NԜNMo;ikVhzuinY6&=oP |ߑbx~ ¢1Toxoy9@0VGD9mJG/V: xQ^N0`0LԷ,p&ۊui~\Y[οABѯICQ~q1;rsҟ!iD -˨*ǧsCyKLpa$ Wz I A?WP,_$}5O,wI4o@*z{qDǭ>ӛM{wjl"#XisyҾUpWw`m "\v6ytn1Q9 mx+ og`H϶Y;ɽP<ݪUPCӋˣ%{B F 2֣]: i2xFqa &nq:iPyń Ozm3v>Ijxhj|_;"v܍ahڵ)IZդNAU We}>E#rTWl8d~,@8ۖGfG{KN8~x."w4f8)8ͻ"#KIm-pHCR/٧)X"G-)ț!s3 ;U.@A) wJU(O[X~k͓{<-iIf?]-&}NBtYxk[ 'oZe\ƞ3M'[zZ7(̅jftOw>MfğIC5xoUF+Rk1R;ZdNNP;o"!YJM2l4VH"0u4~nrx:ɛvGNeilC1SCPc(j@e.UIhoB+etA`Mf_I[h-J*Y ?URX@9]EÎJ?lc”= vY!WJ> >AKϛB0J[Sc5p ]OV'# G9(]]oCG}~ Lm[ 4@lҘaU #Uy|߻Fu!>̪"k{da cgWj6jk̝א3\vaɐR7!Ӯ brh@G.0|g;INmEAv KP=lrg WvE>(q:?LLuw k+zsr! K h[;@sxz8cF3+a֌QxlhEY}U^teiSZJOkSDl1E@waxT\=JBG<xx$wNb:ݭenqmzK~X$҄dRBv6!F弑"jVBz u 4R-utBoS0QB ׹\c9p"*e.iT嵜hgzV@똮%!7(z]zmu*E6bdlu`?}%sH߯q11vx_iܹKzO;݉;=. gLdHU_ꭝOgf`1#Jg]laŠeF(+` BGaVgYZ7zXZִF! @U]ŗXi%96Xτ7l?ѹ C3kz5"2Z's{YiNkݵq^^@) µ("ZJQ`ۖصsj&^>!1(eďf ^R}쀝dVk0V߽.7 jʁB{uN?~@ ,"s`p4@c6+=5Z g͎:)/|pyI^`? 7 "/ʯ*_#tGiY ,h!U0 B;|"dQ[r4/%}2u2^(YpO79ٍT%ׅ%/)q\cZK,>ˣ0V+ ɛsjͣBNi|Cd:? 7'.hf [AJgeǍz>Ii{"}bh!6JN6AY^ w'ۭ6e;Q{ t畛a͆hybC~CV}KO^; xZZ_^X#2-?\ŎќK<tG>Q4zY۪Jn[ ,LK }*~ ŀt^Q݈ٔ ɛ6j4ǹejW@jլ/+:JM7wJg!TJCT7^$d&N/8?> O #@犏Yb<~Nj&$x`}x#^b΃ -gJl ,AϻRoH%+S60ųY 5#myd9KvKb1ƯF@ Y!<`.Yml(-8ZP+]J$ *$/*_ݓc5F@ǟ`?j+&? !- 0mU0I 314 ?Y /OTi/PV]&A{NljnGb+GNCjkDρ$YHEDщ(xAwV)q(f\n7f#.ھ [~efGJٔQ"GD#VP <.S \>bu.,cd5l$a0S]=OP?75P["[ Ǖg'Aeo2/YAH{Mm?Zqsb"ym RxSbMdNJxD9I̓ѻOYWwT+t2٦1kRmYb<t}AY(zN52 x!>SB]ИH% ` bOsC&Ԑ\U4T|a֎fV(14tLXWk,|gmG1H/Tf *jZ\jbP\K0<#,EDBPC_L}Tf42}:J7Tmm;8HΡufw+xqD;GI] Q6/[)B8^pɡ<QbIETV!qDcqtnXZ\ 6"n eqÛ3ؽR"^-A'_DJ r6VzzT $Tl$dEk"PAN%[C,osXly5~To3J :'ҏ:\@.ڛIlr(CHfUyW 1@!vGPYFVژ9\!1+~}\4,bÜeG.0VCFKtǃ`hN*c|jɛ1Jhz~ڊ9EaX=L|yi%PGю-R 4~z5ˈa||k6W#kE1qsU'}XJvgs&35(mn9u3>Ht`=i;$=W}KC$2x1K^|o !SD43>{)lioL=II}9;zteU[XT:q9J}=U_;'`ӌTCA_]IP?|hILdJ !Vq[ &"fұs鍖ܫM;tst"rس|Pɧ ibt|!?`|ejPf_9@o_"jH |-Yvfu;#X9>Dpԫ88^U.}"QZg _h!~B{JGkM6E8IB;g5ͼovd0@^4I ‘3L[!eya?a+4(-X(LJ눑Δj76k2Q0-%K~oP?([R',elH[dzpUx*b7JM{QqJ„HE-3p=JVlB$Ήcy6GsS0KQ>/fo-Y㟩 O3A^Jp5 *]Kbi9]}<g)B"9 ,.s)ցTFF`c=T0jCOM HKtSgێ-_Xعei9]m(!VDF!񦸛5N8X'ZL\(ez'>,&kǗub cZ8[$փSrXҥ]1K@\,1/z8%q0i)C?aB 6Nd]dǧ)-`0 qvr rr~B.-,wGp<54c][]kYPsv33Yay`}S*q'$lJ gQp]mj+rf%ܠ5p"vsA/Sʿ#j`Ƈ2 aqmbxC[Sr-YDJc%*0"п>\1h 4߱&oO<zgzFvXϪW͠NIoƅ#D8<dydo-!3yP+cTZZL!uM,fTldXlmgyWO[$9VS/uCʓ 1ȸ9{mr&?$x?x4I)K[ m) 7/xork9//h<,v%2_R>2 XO9dGT.=yNJ J8%LG$Nil-luG>!]Mͻ?_]5GBl *ܐ2_R7umJDZG~$8UhTDF͸@//Olࢥ( Uu$TtVOi)N+Vx=J>/+/_͂#~ò"K8} ^Si} t 9eY3pK4ݯKΔF@'3";;$]zfO/AQP@^{M@i+YJnR*=5"(nnѭ 0=>m]ϐtcJ}z8 IEFEp,fA;ԭǍ56@`I3jbИgV04;^06!YA`?k$?Td ;I?NR-?vC'L\y8WmQku |u>}&$Q'+j-(^=lv󽓓4=@_ o&M,?v' && " BuW` {(T#"r%j%K`$WɃR*fIi{o( +p?O'%ι㇃nHxn9sU `ilb~rxSrc-Mz1OR0y\˟ ʨ0'*K$GoBK03Je :*Mܷ0Sp:5AN7 I}ʽ)eٳw q{][U#c+$ji`Rtm{s ,M%>>m5':_\+B`9LX-^R+ _:ν2Z`%4Kɾ5]\NS,5$x**`TU,T4l%+M TZl5߷mժl.烺 $pS~dªn %yֱ -UvOG wOv81eԄze@W]m}7˨Pq2nYyf {ɁȘn1M.gaQԢ1k2VT shFOV4Y(u@h~|K#AVα>,*?fdL`%kwN)lI0MPW7z+eoY@mrZho;bUTH/걷{iGR`,ܵ=﨣#-P݅ܒ.n2L[ݮGJiH;Tq+Lnv@Pa]j|o3N/whP5Xۭpk+qzykWtpFbك0 }u!m1II0J&yqn!c-hW@oP G3~=B/:&_qַA4p7+o;['ђ@$LK{di D/X. Q2\3ICXX_H]&Է T# D9pYNȴjR8g(F bK' . IVޛm.`dfUJ2β" ˶/jb>x=(:v S֡3r_AimߐJҲ=_ʼnq9r3C +J1GTϧpQv<X/~p bmOɻ'u~qdG^yxDʱD4v:)%Ա!t?D)U_,( _IЧXc4RN2Bt?{J/«.D~_:"x֍)/OK Mz%T7"b 8 K-맳r wŪ)Xv56 6w'ogۇh3nuQN 5J1F't`Y"EZ" WdfDZF g@m֮:C'U8ټSO{g>bh 7YAxDqK- cfS`CA,gB]$nZ<&sj ; jk}2_a#?0(ŀt;tC,.xS(0 oMe9qLLXWe-Dg"x2޷jaP?Jk=BHrպ鯄y~_[ZWOQN t:T3v ƪB|j[ +n(;NⰇX˖27lvE q teΑGǍL1J1WFY~S#\z{&L?YSWtșZa!~mh/0dt!߆U)J48Rw6 8A?Au?E>IU-6KM-T(b^e&Y٫[j&Iu./[, Fݾcu/sկenxnGV 5MME] 9$V)|y 4/Ta%ۀr)w|+f k^kNgaalSo矚DZogb5KBiGo)[ .;zcmbW=uc܄G\޽eBҫZ¨TPSycBVtKgn*6kYlX賕f4_4==B*S*u!Fw_~{KL(}Lp6^џ𠋧^a v鸪%p0eQ4d<880EW ޗ\8$h22I|ӚM* ?4q!?Z6Bf!cWuf7|/F`M88oZ: $d2([9gyFȈ+ ,\C- E$ߑ F8cW/t+N!bZ m#_ZNڲuF+ ^!ZQ';/Q (nhM*wNF؇8"W׺%"p: 6P 9hgN<@/,s= 4; $SGy(hDϣODP9;h[4͂C}~x( ϗAھj_hb'_OE%I6ma~ؘη#c"aK?Y*n`eC8lK5|o4جđlلPP=9(gK}hZ`QׯGc-8ˠ33H++8^p Z&0ˈ9ӽ*WkhaK ۤ=3fZ\TRW/.]Sѭ5O@++P:>7x "|09M_cU1Ú٘ON 3u_wOawEڛh{ B))(w)0g UϺI[PF+(2^q>]I.j+cιߩqďeVT mPW2*]ӽfLƈG$%jð&Tl";&{ׁwNlgMH3sJ#*FA"nS;]Pɍ]E$Njzpf{6 \wL) ˩o{ B&UP] F`悻LM]l.gl0vTFPHD,f()oQG}#tK$& D5ĵ_SfTNۅt[ᄾxwE!9RZyYuBQ7^',z-;hCh?˪̹ށ#|L4q[;bܻ YgkUBF AedKvEqV-mw Nq)>kIR)C+O\ BRFs(#_9"޷C1Lhsg4j7uu݇Eǜv 3f¤}z[NLgksO[tH)tmZGk tEvUXg]P> be.v]oh9wrOo7F9~2Daka&Okw< |ܳ`G4DDOg#sn†e&{J>~bg5[ԝ4FCiK}sg9 m$d͸,s]y& +:|G%v^0֗W7Rz^Da*>^LSk˜+x皽 [|dW"WZlVE+tW|w, #}7$bHʿ_ODK S9/:d/ De(HYLiE!IE}5O$z\mjQ'ta#cVs'ֽ0$P; ?OFMMo+ #."ƈFy.E#V~ݏ΀͑ʲ2zYMh.vy:8+:m~9__]8-99q>+e;gpILѹjnveQshwM+0ŷc;ӻn?P>/r~9Ҳ&ߴwN;"υG7u=1o\:_ZZF'_TR7SϠknx|G0V%1避i:(=c_wE N"_p4͡` G T f/{T^:Dd0]K 4vۖG \g-6;Q" 5 '_3Ykl4w}S>VZSmQJI_. s,-<]%\[1KeNydX'$;}eVADw o+㰎(/ :v&Aj(G?txql㓯UR%aJU\1U^\+?@oߘ3.:9c=z`I3K3+^UX=ċUl|W  K3ڢ~{_6NBZ[N~ np82N&Z&L8;Tߡyww'ۦי6qVuſ5OHR<&TNTIG~tKbGߐOd/E9l!DlH1wY@&3N$wElq)+i PkHH&8|6`1nXYz+D+!WGuMG5=qHpcGng Y` AxGJ7.4,:GҮ_,tF<UiHhpWH% "i1(_SHfV:1U=~kJʕoxEN VJ T5O͝E|Up[esk3wh55:E,2F3hw,$U`QVaYW !W=D}|ߜInAr?b7hW@]kMs-@IO9=`-d'%>0칩60.= I̞˗ߌ9$w'd0 oO(;zݏqKn顩?BJhLi7F.I.ھWLΚ4,'pJ5ȅV,B`*Mw*EP2׳&a8?Nd5$̀nX/^&ց~'tߋox /03ˋfJH9k= fer.~mQol))׫A;L(i|3F&;1=?݁s$ϡ6B|0T͐ĭh0rN  N+:^:s:.>>Z%C_]58J~>`o6zT|o$ӹN~\ ₗ\JSVFnn:/rdRuxAu~RTNT@ఄ6_Q LG)~f6VY$rtioCgkKmO; 1?`?k&p\Yy! ?4Klσ@"9AɈ]˄ks+ZrܭjeY6H o(eU@5{^5KHj'PI6*qs>@iH)8 M}4,.eOiYI. 4~էe: $GR0-a P$eL+NMbX֣y>F11 Q+]F2h܄iǛo k 9v WS8btx?7nrF" u):ɏ\[^ŖR7]]?` + PǀY'U 7[W R6Mxz%@W[ $hiU7[-hRͨրE7`&ԘO_k*RP E/ % U9d,EtxG kTZG@-mײe7=iBg!^vZ"'r+&GlRL#hF?7Ų duzD[):He.^:V7|.hT⩃ O?0.늹&BGxNU͔۠#o- /oCζ@_i{'.J㛚e( i;ʴu4PjXE [h3KnB.Ca.fl@O(}¯K~GzþPAt 7y%N~E6c3A>Yz! '-\,*waGivW:^59^*G`'}Gke03{Ň-{'RvQ2*N3THSz? fϸrZP3 ;JirD| Cq&SN'մQYxvltz-BFٹ z<~9-";ޚ{/qG@R%<T؁qi_uXAAP/Fwj'\UXUǑ18N`v,0,'1Ҽ uj0듸q"xVc_>Wp95yZq<Tz>WOr&v^e5L Y.Xنm B,C<< D6%zN>cHʴ;4T}f[1{ԃ ,Gx}~qb 5WPG,:Kg,'|˨93E~{AqO?JNŚ5eF5GJV]Z[`-Qa(QBahQ%) 쒹Esw-N99eN6>՘#v9f_}H{Nzgw43#i~Eːsk<2 dI@iXGZK`5_زؽږ(^aWL$c+ح!,c.KOKeBHn>¤Z+4sC/UXO xW5 t3 ]c0ao;'.A$ mؐ׺ݠqFI0ce9pFdfU{cvէ*D57I ?W2TDЙ'?OQvToe]9u.UUMS)$bøדUba ml @Lmicc9rς]Ɓ#Kn\r,5RBs9v.]&zi݉0-AF-pu5+͵1񛝫@'LV.m}z=TX{j|,p-Z,A Kƺh_roKgQ'`2XduJ,ՃF_qLoYV|974s;-y6՘*g͜㙎."pUҢW΀_-P^Rj@8Va+3pg0I7R>;;F?@$ :K4GXP<-`Dy}8y`D@vր,@`t%B)Y`̚zS 3Bϣĉq%B1ߞ!] ֖!I))MfÀ`:˛UC4=0_BVQmN54MEC7sd8p[Xe2L/ufQ!¹P >I:'53L>b'-il맇s۪tq% ^!sG,!b?TuS{ƒdE/R*/,zX:z̫_RҌ6 m_#1kBUi4DX5~t/'a9a~Yώ_\,m=R` d">;,{W3 }{>x]9GRG(p<Ų)hO,W!ӦHV**sUR"mJ;9&VoR"ԚjQmr㭸N~#^aDS`2w5qRUv(YnpS.-YEAt\0 pYՓ#ئq#mܦI L$x}+U]VFu WTM1((w444f ui;r;؛(ky)mcĎ1 ,E=5 =esf[B39Vf0H`rI~H-|k@s~IS3b+%u/H<|zfdƽQ0/m|ݾU|:s oC1 y}$a&[-mvXգG1%X|K j`K/f@PlBa+k ZKhG~(* F4J}؜ӟK a:1;H@'#eLQ(x(i0&ݗD@d%=B%pF܁_bq͈GPu7Z&}B?~'sN1eR/}ŋ΃̾GNoO ! %M/lfrSv4jl(DLRuG&$y8aOT. mPD^t5&L]4gIx3/W§XV$+bxX\a7-.K֭e H`i⛋21p##Zkҡ(0?Os  wRS,v(!:1x,^)G 1dkzbB|G^YKcsHmhJ'Ur=G_Ӝ|.ψs/n}Aw!`PldtwB&XwBCbhÁ>$1o[ܰ C<Ai:@)pEvŽSۢ{ ̪`u+)@kNT6''{w-Ŵ5z ̌' 葳E8ܰpģ;Z+W8/n{f޴ٗי Ћgb?K%`yHH#H%S*!/`(ɥ1౤_k nu5!iUR>R5`H 6_%W4c"_3)+-x3ܮCL{[pmv|}B6h:'Rg?bp}+^V!8lr$ðE<֫"q WѭtxQ} @R 7h [;"R`9Gon;<^ơ멈 )1#g[%,,5`Df;A+f7y1=89< mY7?$Jm'BU.9^EehCr؊=Bq:Ac)d# Eɰt`#&gI9afv~Aa0F*9z kAGrazRSmdZy2&*n5l|j9ҠO8q?ïzo~ۨUk}ݐJ,Y _$91+;\iyZ@[N؉fE:41!×8#Y=p tjD -5)Y08eN|B r0iỊ̀+|?7X :C}O8vys-kD0*_aݔ/r*qc-YZu{-Z<ĒX0 FK`h3 ,7kBfVߴG zWDu+ n½iw.3eOMSQ@e%s:<ǚbm)gVXpC2>n/HmumYpwîhV3b[ ^ؕfy)SQΨӢ\hl$Ac~Ug!&; |b@ycXb3I.)azĞgAN6*ڪzf;dNh#} g JRslۧ+sik@Zk6v%EEW+ռt(\tMe}^04%7&ݥsToz/;ˆr<}h\wMf=QJ !5,gXNsukPYwxEqy9|P.ɉݲi KAmv \~ՋV9_lyݳ"~lޯiݞ wqWzQclxD,pbiWI4ù"ޢְ @ɒ Ade"u{V0.*P؛01+Ÿ;yv\xmr/Un!|ay[]'XL%SuF6D#dnWvTLjW`όqKAu-0KCɴVS^aIH\߰ }G-s=$x%TaǪ6~Eu z|r7uXa)u#CKC%C"xN?lPQT]Ce0wIYQy}J1]mI 9gOH(HeVE8˭*9|~2W3C 5p3X|O,ŀmLZyY#Ek `ZR;4z e!fgN7)U]zye5tQJrrX+CDG7rv}SBwX{sPGjvm@ݼt y6EeƥuoHTg% ѿ@.=2] oض[ c Vt8?R>8(?r`'K8KEn(9F]ef̒]e6ClcDCPy:wψ1su8x>U^yt%MWk7[QI] gEZ@s1AT+ŋRt-pUU˛e`{uGl'# @dˊ0H ǸVx7nĀϑ"r S X'15w`'#\jP%'=fJLC/Lazo>&?* .=l;6#VWAᐹuumvk&[Y9{>vrtCds9TkZr3%LO'y(y_<$Rx}$}ˠͩAYOy!ny0v2\Ɯ΀#2]WYWjRN1}&Qp{>-B(`SHrKWe)[TF5AR Zot*lҭgT8wjKA b1SalJoWk,NTBOWctG}œF  ]ȭ7#Uw+V謡uLOjPpH*6X2F?>+flTlZ48fyLixo[G%5$NdX#7DO\)ʝl<@k9 5}M$p(Q9WMi[}9/&LgP[dQ2HϚ}52汱ވT&VA'^h}1a`jhQ&$ѲVwI]H P(Wa'kTEj7Ro" B<*y$S'_qq'#,N{A^gO{0\G!3^6$le6F˛`]TrI{r6:/UR-x7BL%ߗzHH_́ǪA=$B*zl,<, =3䫝<<`#@Z.U{Īi.e]Z pncBOx 6ɪ]'ވ&v=##AkxڂJ틈6Q:vQ4^je}@@pxlS1_ S^Ћa`εc=d ]YNnّ'hv}+2~n> *Ĭ3TR%qt(.7U#x|uv)>-B4x{Ck ذĄ*šztJě2k%#E@^(1;pqYtױgYZ4091ab5c205e637d63473e7843b720aa26430b0d6ae1a84ef57c6bbf74a3f57a85a1826e7af5b405 b8ee4f468bb95a631fa62beebd399286b04c8e857ce00a8c904b306b05b43e861dc68d6a16908fa1