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 X!|L\ ]]]HOL-Proofs:threads=6elapsed=571.236cpu=1389.648gc=193.220factor=2.437zXZִF! d]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\"ʥלۉ^W|Pvgn:.ԡi:3 (38 - ^!`2*D(Q& x@͑J 0L<N캍C{1JLD=ּ vpP9_gK2Cک2>Q{DRZ-JvCDdܲ^z<{+#Go/",;1ŭzsafK,&D7HwC=d%b \+fѦ(iTDf̿2IFr11Ppss1>3Pn:ؑ~=cI1 }[ k y^S quUo~7V%vĆ j8Z? :]|Q6qVa7Zs!W)ax & Qǧ\lor־AMF % ^Qp@Z+p 8x?/]-Xr-S1i?'B PH蛀*F>~|rH^$ԁogr60y;מꂺɻ;=&[YbEc6l YR(X{* *&_ }wfs1jgxh=T{|{ sw/0"NUs3 ޲j{?s_t tO+#9+L}YH0=E@ńH0F֢ӌV0!P?0:MkY_/}5ŰoԛT6-hx?(&Ź;8Y}TX")1ʉg1CpsCC%z;[x!# 8]˂Pte:aoƸk͔Ǡ(U&J}~XJg9sP,_FJr9@{kw$N9ἨFBωE ŐDa <^@h"?-1~n9W+]\GMf!HcVƁ6" 0p_1S?Z2<*R/}>7őlF[Q 9 9nnIbό@YtZ>fJߘ`tKݶ˩]Zx) C:GZ` 9 Iƙ#- w-ıBӚKZ4?i E;WX+ l 2bL~ޅAJ_ h pzd6FժyߞL=h=_KK_E.(yRS|}3fG5qZXXC_? H,&u7\<[ Hϝ}BiH y2-яTR s [@Fy Ѹ<>aj~@/Jj?cPQckfO?+Ls(x"u)t⁷cjʞJ']mH,"2F8X朦[a^Go["#M^l8]3w~o-_D;\Ҩ .iJ#^"&ӈ;򭫽䏻4{1%NaL&u YpCׁFhG#̻̕todit ԍ# MHlNƼz#*xRZF5- q1JŷKU]ЋզqAmw R"5pfcscomi)C=[5sBNL.w `[3-W0 %Y1[(CtE@خ|Z'%Y &d4nQod/o xy\ d_}Gwɑ=PDͷB^rux е+Cd˪ѕƠC[a3`?E/1ё;_L/ω̆Yw=9ɥBRm4fiʀ^ ;,pǻ. !5QޗdWaj}9)A}i<dlED9oql\4]1Bd`bu ~i'h(睵k3֭됬|]0}72?@xXH}])Tu+Qb2zZ8g:+\Qhdj 7O9𣠾ߥDr9TQ?E畸ǚmo>5!K68rM H '{4+ Rp )~>(G8% N؁U(tHr۸Xf%Dܲ0bw.OSH.Xk>TYca%MBV?xh ՞(HiqIi4\IVٳYWⳈjװ<ɯ@AලVMx=e Y220%'r՛rTrޒY`)m X cZTX25:i9|ıYrBLwANkrew08w(䏂Q&C(fHQK8dֿ33+xh)i pBpS0WxU2웟%ìw)r qpN +b= Py W| r0YY 5i}<7!O(X/B 0 &ADD 0 Ayb;ϰW^ y_%Wl)@F|z 7t.Z]u+`cՒR[i 4JI!F0+:[ )`Qz_eeH@+bry)c2|lagE;)#~i/쿦[;9$.*DҮoL$%%s|Jjy358a4(R.<1=0~,i XKkS/Opek6;RLtͮ[A!{$ie9$m VDu0,Jjs{ C%b 7 ܤKń: mc9`,a_V;}Yp$ʂ%8h]Iav${GL"E7 }axr6O"E>#ST~]$FWtNé!L T26`Y0k?@)?l%4#" ܀m㏣圵N:[ fMP*%ΕA@O~xSPz%W"NSrj9h2 ®Yij:/㨼+R|>9D :s)ަS+߮oRbGLA3g{r*=p3yN_7i2W0ޞE9o]wb (dfeՃ?O"wT^ %``'^ V'4 tƦ?!''|moL[Tg$0α6STmU?&:"pq A @H<8IJd#7- 3qؘ-[gcVih)IT4V,8EvEUEN&Gr| ]NrU EiwRzfSecZ{? 18f,i~%yZI&/&Q\=ziUx[9ZQ#wX?%dkk7v/!1@gYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!B04* x2 DˀuSH2FL]Y:2ie[>81&K e8[bCu?o^|Tt_hgv-5k~Xӑ'Mw](>[ KI?/+6N2oF7׮T*SX__nT+.iBM9%zj"aj)v4y*L)2<_tV&{2J-}G72Zn..9~F8%h<)- (^l 0rwܕL .@xx?Pke,t0>8aۥ G`}Zc_Bň4RҴjPPiWzgN8y1acV-(=_x anA$R` mR$@Έ5{f/\̿6y t:I(S. AJw ݁U.1AT 0V\>fZ5RM?w'JהBwJ?߿™X;vo;+$q r~K=T0WҔa8ʘpWfiT*+#61G= l^kR{۝6-gyB{;(۴0^K(Z._ПK A$ {TyfcF,K6/EIZ6p%r| YBN%siQ4tlh`}0;~NȞw!b \8(2SqzVҀaZ1g T6fzI͌Tf^x./@t zSO\%NG@wybȋGF./=<)0-_IoO߯Sg\M L cmS>cUqN4JQ MH-6iNmTy1'ݧs-B,"ʈAP4ii7X46]ߪY#mloFlQ3@BJW`H\_x) ^M1:i[ b1'&lq;2*~i[_@7UBYHp<|a{ aٹ1"_BFs#o5X G +}:s LWZBŮэE2c<#\;DIGeS=l& q|k fVC^q2f,NW@VG9& le߄6z9?xJ#g? aä 8"{A ԥ R9 д2=(dzRų,̹m1R ( 잽2A72mBc eՙ4q-nL:\ m0D )ͤw_.s%>9͟#`kiQH&Ssc03UQ5I=%'f8ùa+HqRv&T[Fb/BܸmgƎy]:T ȧ6o48|(e}z1R](ͰU'9nunG6sym5}_b{3/2'Xؼ^u3z\L*+b M3T1㬻s / =N0oA= 6Ł3|8QX@̧IAIp:Py=:^>Ue6* D%J!L>incNUn]MByAO:s_XϏpRo p}^!NOCtyY"n@F-%Yn&4Ɠ!>=I0:^7C-Vh=U/}m, &TQ`㙌m%5UuY n/&.ԧZ]0.@ 4ܦwy{Kep80*n+hxhl˱3zgQ FyD({(P_a:;\9eVkSrQ4knmY_Yb eLj+Eq JpDG~5$x#-H *мIFYCK 21E$m iA,艘DIqѱ#b O0oq61Xn-Sхr:s†ЄVr~νݾOI)ægAk;̥oƉrw٥z973j+)arpfQ}؄I@{Oxw!d Y <myrc|`ΟKT86߯HdoIMc[寙wK5awo޵1Qf7UW֚ڹF~3i+-gOe(|'BsPZQdn|괜wyH%T8ﱝ'σ(+ORw@*'V̾zI#T xs՘Cg:M`T˼ 񩧷e ΊYv=k-])r/WZFi=h,F?T 55r6u![HRfc#'ǂ t~WSDg^MwyFE^4(mkz:h%2y? .x;!X)"+|c]5hO.Ȳ8֥7oE,]ƕ^䰱-}2Y2Thkd#LsxqE9w{C>mU+TT@{FoJ<]ƘI( Po dW Y1̘eEM]\R>AI xw]p' 3'JaPLWF"Әw myzsvdzS߾B(9_jeC6=8$= C$l-0_̗0oZɚ ^gŖ^,`)La-Jt߻)pX:7VS/hv/6 b O mwo>gW$OheEl qٛQ_F3)-y۶^n[TuHr!'O#G3ϾT -ѷ-5Ľޕd _/xA#6%aTc7'8C86ƌ9$т]nCW؇cfqVp /_l۶w$|=:G,l5Hp]~|%dCLY/XA&r&(Ċ ,do$i^Cе,ݺeLMo{U*aKpC9g"c _s<8J1'^6IW_QqXXËFfZHW:8mFT7ɶ 0;XZRY4h_,"18(~,XҘQi.$+AWa ENXc ׃Ќ>_`(B?gR>'HmfUJr5lǶbs?a$}&?b S^.Lw[}ff [Պ;z,ٌ:G"V˵WtV7 ZKzWs=B!Qox4s$ Rq JAĬ,*4{;TȈq 3lnvJZphwrл8?KG~ְqޓo-1pyKF_Wށγ##<0 ܶ`|ϦO_shf(bUahv)c]֔Yh?\n CL)g}(iTf?`įzkoy%=n1XRNd&q$7J1'j‰N?qKIPM0FWaDA]+Nfq *o5k]Qz]BBQpk3l,^HN-khB*ǀvNt$#2ŵB4#Z3uBھ*NdCR1l`_H:9oE nvu\U ovJ^%MEa@_"?9q' \?HI)\3J;@y)%N^BdzBMe䘢7E?WnR{4I\})zҁ>8=ڢ4]jB\$wxK6Pe3YGļ h 4^EA/˯>0;Ԅ 27"j*{-UĨ0>sj3[γԦgPHV\1 5H4Gl0\`h0-l]pQf D*@fw]ȿz=Z Sl %@ȗJaN9ʪ2` xdQG'y5áXo{g3a1ΐP7|dhVbs{-_MCj>G<r{|9 ܛb324 }U﫲S y`W9 4/a-d@i6X]tcen Y9F1qtkِڛd iMr +$ ;vj{j7po.|dKt|c2C(8g%ug6 b[] ;8 x]V8<B^4#atx>>~2$䴨)oc Z#nXADU5)]QFpzc@*c+%h4xbvƒR{ˡj?ﴝIkN;; [<#U~-Yv dMV1Do()~k(zscW.)Yxi6ɗ9/YTŅka:r&M<}[܆%Z{!N$T>txҦA"Ci2ȟ=P"g`tlXI,^!:Nje\S[n^ϟd[K/ 5,n>ޱao쓗oWdjnoAذHO~}p.G sT^E:3[ MtF*SfgLgG<+RE'[NS?|laPsi x!'jZ 2 !@]3{t=p3)ZneZ,~E}>!&lsTI:`L2ϞRbNz)''#@Z. JQ4` X~3*0MP\O87}1;gw&מOX+aVؙϸ#K*pij($-.«zGDVH4H 4< B2Hhs۳حH ۼ&H<cJgwW2@Вq8: ] R>@9{=;6_ a}3nFp$ \8b' e|sl$ 92ELNf~ s#7RҘ|#M7Z Y-g66IŸS{RM#Ժ#[~ff콎`Cܬ}`.H`DCC^21ضܷܕ-ngfuz@³Gۧq[0b+57ϱPU@oŰ u<l*P>܆^ Ox9y*eC yj2~d8b̥Gbrw:*C|%VWIg89~D9l'eB2rm[Ha],Bt43V􏱯QAqh*bt>H2QgECyMįCe1t&QbY ']P}u_">`uy(KiSeOm&v=.Ulo seST\z|2AmFs &ܠ&v}ߏE;F]'*V$~p|Ƕn1c5]h^ϭE,`ʡXn],k|s(Jڏ 0{zn# N6.d 8xAtEϵi>حhq|尼Wq64 h*PweI&cV0}?V'ew4)4\kѻk; |̶unAi/i4˩ĮwA::jYMm ft{D"0Ony:*?]sQ_[]q ҽY\$9^H[ݸxSR(BwMGLgt`*oԷk$Z18,bhd6 d2j]Ӭ3!?C^ɏ vbmĦIF tȵ /RCG7@]II]< wh#el/4IC&'#>Sk1xqcFɮt?Pm@1m|CD?Prq2q60/3]|;8(Wkl9u[KU_;.܀Tčݜ4TT97U GjyzKg`B.&yZ .Д; nOVҦZ$>E `|*D ^76 A,(u$8K<`g-Úg3ޖ572ӿ1Ssw6|7_R-8jWÁRu_dԨCLwU诺[{Fנ|X]RW e淤LZ\*DfVvL'U;@ANU*2]uу,G9^VK Krm"͡u`_>i\[Do30?\)箅]U{ M)l2оt؞U >Z[d,P:p6s5!H$*ڿ쇫;+=3%\p;'^"kl+3 `ce{x]nŏh{PfB?T=i p橂]м17 RA1 G.0}W;⓴2UHg'QXG/%y>,_B+@ WQ*XLWt浿{{haf}/ Z3cP:G8Vv#::Gr]E7#FOef|{UkjvYW1[\/n>4U1) (Y4} YsHb] `Ȓ N9Q+aطO .l W!8K\[ FCJҤz4g*L'yRuM A MImv1Ik 6Utv>O؁ GNO(:SؤqZVVqjԑv"cS(,HŒFma݀@#"-݆c_% Rӳa}',6pڌ~uNս$3udV.r[Ot&RI6FڶH1mU=:~ 3];>gb%>kri&[U4GwkZ5?8Giok3iuZJ:Kjk42"9ӘƊ-%Y$کk58ӁY&>6eK$=XQW x0.ٝQ{yNPRZk@Q&A^U"ΗF]/|i=tJKH=|)5!m& Uk+i1W3-{Wb.`m!mɬU8lN:B0V΃>CrG84>im+?LekwbzcuA@\v/B@Q7 r0ҖRb[{UGf5)_ҹՑL [@j'bvXz6NU0_]Q|hU-l nUBHЭ;וQc[P)V>zՑ]df &,u9T. 5meHFC-pN=b*ENiBݠߝ̆M/N=; =ɐ^>l"V-# X<Qͬ6M(^ EZc[8MIת39qbfGmx%eNXd<1m[59D>E[ANNޥ0_cYX/,C͞xNxOzno]Z*rtTѱN i=lalX|vuCH[^G0u* I`HnduKʏGιfZ%!BKuS*2*?s8A~E״vIx4_~77?v5L ]Ϥrje @@dC|&'QHU\Si;nZDߴg6+@8u0VQ6 *1OX( ?By-ݢU]VO;NKɘY92ٞRdU*,9Nlluqطn7&mML{lhD|Z_%=wĽIM`_C@5W2 j{zi|Ә4(VFvglf! kQ|b.b[CN1Iy$4jRBy[}~ QuJi+ gi{ ,<{lTJ3Y}SbD _&c?w@$XjUr.-))d:3ι@T%I-4iW X,k J;ҩ(_+]㾟.kjPe!ABh k;鰱w?Xķ<tT׉MHeˬ'#-{-B`` sR"+Ye=y7q^F Ѿ/Pf\<4w%v QgMT`QY_:3hyѐ`.+|Opg;bB1ڈR"N y,$E`_c'{9᭳c#ʣ%jb}82@ .3#==`_E* 7hcS^P'ڭ>Fl"0XÜ|a#dݸc#>Z؊I8J UA;^ B.Ņ/CTGmy#=q`;p$)w~ o)9d#tuoͥpĵ݌E!-yB>M:uߡ)>ߥr2&HS݃_:%H_쐑]VJa[)C9dugX~rʸCz镶jwPW-5#V/MK;j([~Qn^ }a; DdPYW6'`M/q{FffwaKG? :6 Uj٩7Eko,imҵL[Qפگ.;enrX.DrL{Thf1h@k]Q}G1¸kbөA_NqWnt[:9!'YpO(u r9'n]c2+KT(| S4֖1,(C$ؤr2H֙vDq/Z 45"7"-"$╽aӃfNYwXg |"D6XH:w.9C4zP5@7Tfp Ȑ5gN?ٸw/X۩;z&9):ImkiyG;Ct^tZ m\= =3ڎ(*r9?Ȅꭲڣdա.5Z6_? +p:xjU[T쨋u# b@2n{=p=<\]mrF 0]}{.uzX-/DE},xn ,覑$a"R:#NG|NUa,CpP݂VhkhG??OAO;2+\kf5q7pJGx)Zմ}y%>Д83!"kױαeC AYa͏e\Ԙ.6BmK֞E^c+Y٫mE<a9X/2=kU 6+[I:|MOV^\avDIҙbB}YnH^ڽT4%ER 梺7{AiPm,,@[Pw(D,{@! }gHO"YZGQr@+ 0!!Rیd PJ2B yइ")hEɚ]<`jL`o%8l-fF2tK Ou(2v0X!,+f@ چ 71/[[[@ѺaQƲ~qH^"D?5M~/;V1ΰ*5uKv Sdu7[ ɂT%$Іgܼ/iu64wh^<1Jj]UY0GQ~4mpAbv Y[Ubz:7)bYPb4VYP7DzHr @9Ondd48]\Bwyi< F8RM`}VoLmJ<GgG{Mtʩo7CIXIVLP nS_ۺ sE;pȿڞDYN< ;&ؖ/+GSL2^s Z_M&^McΧL+tӚ|g^ψ9E"UQ^V~t0H>Y; ڕCi[njq ”h‚jEO Z&ڃP_14R:p,"1&G&\@xٟ=9/Z ,FN۷Ǔ>Fnfw٩Ս-/k8Cx 0N}h׭zdᡌ bwk;5?r7B.H5 R\+frʁ)SXϹ[ ؠW;X͹lc!7ư|{w_拑yP _N6rp抻 c Q3V'h1>`~<':@vmLr)o LDhBCuH^TG"`f[N%Vğ5D:~1<zEVp=Apj2ա~Q|+({Ä1hefn:Qx fd2 u %z`$ [c&9pHb1&@#U_՘@tljB] UpuZTn=9(GOhΔN5>}$"喛^ sm.lnѳHX)`&~*^3\J%{PnQz^l*zC|֘W ^> t%=过+ljN)Ha(.O_BZV2MTBs>9;3 g'`y\1:W2;{GFuEYhuW,zmQq}9V^%yHeLE(8ϨGlꥹ99;m\8G yZ%Cxv 7~U27 4lQ R}sV<᫏ǻ|a/ʊvhe3'֟7 ztk9nK lytuvRNt;" ]"&U"e):-(Nk O+$=VJyQN_%fOJq#9θ,,hb˸9n㑼$3TQv]af`37!9OIԄمFv|۔uo?|Y6H6BumL-=z% C`mW'^G ҇BiBp^kN?]d{u+GazvʺR~BCabt`?߷lG\E?ن T?ӖT%⎕BXq4G@gYSMiD @({'(G@})MWe}]FV^Q,9*ArA)#ӗQX#Ȩ 9}̷G 漊$>$|B70SDyZugy/)͔"/HR$9iVM;iLU XşsQ3s.96NG{^D&<9d}XUs>P C#|Tͦ/p+y䪶(4NLro1\Hfq: (O13 ǵ+kTrۚ\PM=7ÀKlQ rHD]v/O>51$xxNS;7di iOM jx_uEF;b 3mj'6&~/fuQgAɊrlO)cGQW {0 kYcZN LFoNp}^<&wY)@N%zLo/`WPRia/еHN1 N! k2EXAc֏ōw+ [mW8mIZ՜랂UWm<[a>(3ΜM6Ik #Kmǀ]VZ[IiNsd>x!G&.aG/X O^jR'ZКn܃E\.]w@1v~&AL69pdD%d6sq=O"\&r= 5\mfN0dtޫi2d2,)! 5s 񚙿dBpBXD2S( TfیִߋgSIldStĠ$p\wY7qf 2mPld U**vjb䃽 >8T!6{gr !=h%X~7> +;SB5X:ºEll|xӂ`k>gpg. wˢyT` Yl߲869˴lʺ eOdפm>WR ܻE@Zozuv %MCDG:=,{V` <^ˠƗuK2,b F< 5Mn KP#{H L=Ykzto򬈈ռ`Fda̢- ho0xcheFFHcMţ a̜@. 6atpPdۭXE{–k9-0Z%dB-sgwi۸MM:z|KaBre [NRl^9j_7]gx)TV=>g'%R[_YTj:ǫ-ϣRYUƨl@̝(蜺|q}9+Q#QFZN?zS7#UtMc\4eD+c.+CQ̣@ʹ*h-DC{oMu>[ 2SY~"GV&JJG᥾< D :k,Įɩ [}& rmo o#cB_TD{ABևڢ$wZ{2A% N'Άhߨ;h:%'Qn҈^+\`7Is[j!7j_*O Ǧ%#]ݎzmlvDyeO"]@HS:({+m vO?ُR*0|J9, r ~ Xe ? 4kҴM eYL*9vSxATzL"s2|8dOmBpYm3kB†clYo֧:K@e#<\3\HX)ĪȨCzj36} ]uJR8H>7.n\B `Kq=\Mko~boBkcӕ+%eNuJͪ0]4k)f1h7A/OA𠴚(s:0Ety=0.b:do3D; ŀ *4yu{4YaxL*Bp!w]j n"m9= I>vm%ԖN@ik2z.?̩ZvB$b'trĝRD1X&x+['XT։;jHjuO . +s_I&( O{7Zv}zWnAĿO ǭ~AD1p EvMM*ttR,5EꙌ.w塤*&|)tFAE߼ykLX/d)Fg4iy #P GЩQ40wtr=b?9R8=PaAQ8<%PynPAʡ:9fwѮ| x#&{7? A,*.~j[">1.Xn͌~$d^;Y|qԪR4rZ@v9 ZPXG'!щ:й4op)]JokѠN֪0O ݶj]&0BWp#oC3"i*T$L'Ɲ=K\bږ!|^_kK_$d d^#?͌TM_9׃z)Qx?UfzзıҺ7fr[%Җv.EAFʗ2RaȴSmu陼D܄T]vm)SHy;G&I<,N鶍ZcI@)p5.Q x.p&K B/Gw8Lۍ`1hN:[c"BM_L۶VX i x2DT~~ g9>ʱ`ꆄJDZ)-#x~䈬Nt9q}X#yA])02N &}FM,M|u=oAmLU҆侌i d -yCC DGJB؋91WPE٣(F[Eń(+rٙ#@̜ u-ِi(#61LWM ;bu\{Jz[v'_%``i7sTKP %[ȵ%ƥB_esUщf-/FwnyC3b$v5OK7m=T+:h5HVЦsY5Y!:EkfM>Zћ_ׇwL¢b`c/?O[>snq j|(CMy|=?%PՅߙ'$OMy\հ BO>+|]SL` ;5yjÓ5u [ 5]d~`s0;QŊt-7Kɑh_n9&.lqɋfĺ~.;*óforI R H4,LO!ak6=5uH^DɜRXOCo*DuozLjbRu- 2o\I7~܃Epٱ{ tl6X3`[W~dҧ!Vs[g5Xuˌ*xxY, L 8T7YzU4\4tv#̨Tb<{ObOQ+# |hRUZus|P(xe[&h.,kgmTm j<2?Hja v1bꀸ=FCO$,Gy"jTJ{ANn\ ƩuެxRLu QNe &JqL34D74bS5A9Cqv0]bL_XXҮ@fk ,V*!ڱ%K-djkJpNZW-֭)~oF: [gyMK0IHꈘ! }A[xs^a[ чa(kyUiݮ`7Iֻ=Ǒd;$=4DS9ȂC{w%8UGH/o& MZra=3>6$^v$4&4O5]Ԏ׽Z,GN$ BBEb7~{N"U}mM:coG` 9Vxķ#Wg\Y,) ʩů*ߞ[XFGÊ]>R0=čqb,TjM @C1&>? r! "&F6jg-AJ&ǂ94AfZ3OWE#p;@ ٱ(?8ؤHY 2)n, YvwAkDe?DAw7u\7r+`n>4띻(Yk_Jo$/A&4+;؆HԍBj:aXф4Kܮ(V,hk.a@<7pW}l2?#SM ajYZlK<DSSd`^FӁh1M[ǀk Y z;M"U{zzԫu7sו@hLV@-g~X&Uqyv<&nnSB#ʯN`usȋ/a'U{G%I7q;A9*5%1:.$7&giP %S"猨XC4#fU)hhKlb3"ߗo/{.)ɽ릧Ἧ 8ԷƝ^!r.f;s dJD/suVڭ=.ER+Ł%yx\36iăKB|hȮjC o^+|w{HlЋ*.*T%yYBD&;M7K+Ň%W1[xD'$T,3c߄ `i3uTA˴NlBPc)etNxL;bohQ:;@Gc<4C}@|cE7-C ?OX /id`' haf$M c@BqP/KƬ컪Jܓ)&aVpQ<Qz.E'<͓_dW3[lp_=0ͱL? bSV4w-4ɬ_+HudQ?PR !OX`vCK1(O]U$DrhEOi(L/)HT?  jZ`eAcjI Ctc!mz̥(9:J^nF-\o qWoT=Kn $Mˢ%2aWnuɌi})w.N9‚xv~[`\<.-e2URz) Lz2$bδ0ԝ.trIjX XճEwhfU1,FJΓUGI"E~)us:gr+tO-)w3cA\CɢUzyۗ뒃@I, ,kZn~ 0zA(6o`j<2 xV,ץ2 '#Us8,d:=[1< [$QZ*H8b~ G;nL6l#$Հ/u,rY=3AmBrvwၗeG(dw!Wf25y牟I ځ41; #hwPfPcc"(qcSu%E,O_nָ̤QXG9mBlAf11aݯZUcIr}d5J`>@1ҟ /k#BRatYĤesܸKt !UW75.%f*9`1A;:,E.$ך^=q#,#`!`vsR8thEɝm i&{TG`sC+txf=`0rb#p۳wWX8D>͖QH(\l)mCLT&VcMG)YSGoj)ao _tviPVdp3FuddNMxa9rXQB7TD%Njex8洕,UΊ%0+ }1 x2=_<"ѥ-(AtX@v`-nQԭ\evfHA6}R<"]jw) f$E,!Oһ'U*q;l:"zae/uUZH`\KMV@3XIޛ) jŚ6OSN<_F 艧"sz7Sk=TQP=YY:BSl^o9Z $FwnU6.Kj4l/lJ_/G \{?^FKr$QѦ.fUJ0~W.%M':yjbǫ(\-^e: x5p!sL6Q5U7m%O͎ȵ U/G?~>U=R!עaQ23NJ0` /Rq43Ю,6cyv,3FR`XS ɄRebR>+_{'i0&%+Itt7g;P *(J=(NVra'j ~%+A7/Fr0ݼ(0, joV IqZfl`GgA=^|m_Y?&<(S9ߧ6 0I(MR\q$޺auMo7O?MGn|Y|+Qrf.6ܦχ+~av{!’_JyEj^u3Vwժzu]5 "G5d1Ɗ/xٟ>mL\L'HKD"RoIu0`6ֲ=Fdpt .;R-̑iH?8nE&0s*ahkxZDJb;Ö"Z=]:Z**?]޻|S:I@५d :Y˴):S-P1jg y1ƃCx`V$5EBs.s9߹d?ru V k5(\#)3{k 0lDYQ Q %,b:auicg.jfWhG_7$\,&wt`%feBUc!tH0g!y 3mN -h"$(QA m0h_ݯn>qɋwbbd9wvZ4/1㜡g&z8#~*䚴7,39)T/>ENXԺfW$jL%زB&;AlA*Hpy[)f9'>ygGlwؘuPa.Żl0zKMO퇠b1;Q^ѯ S0(GkmK]2Qm:Vnl*{ 4Y13tMKͿا.I cK L)׼unP,:l4=̙6ܾ ?)ϥC.BɎ|4@DXWY7잶c_/ʖ9Pb‘Džn.SAhN"=F38扛(y V` q778GjZ(ׅQ\\b!D+ usrM%7`z~Nc9!c]6?QXMX^[tO|(BK}h}Yj?u8/Đ}Ҕ4G8EQ,Gn<:9gXEwrݯ}\ Scg