SQLite format 3@  .;  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  !ztld ]]]HOL-Proofs:threads=6elapsed=352.210cpu=582.880gc=83.1087zXZִF! ]ŗXiɟ{)&74=MVΉ~&AI7W%X\;p-*n~=NwOvinG {5o$2{|σ\ȋ(z4dݹⵦNTe㬾&b{g,2l< Km({x<:obH8E_h|hd*M&Dm^-, !0aEKe9J,ϲ"d4G-45i"vB4aI&'ҾAoD-#.w_ ^`cDˮ'?R304`jE(E/WNk10ЊcaI)Cl:;@CfqMAWF]w=>\j۝UsLd;*B%d,c`6.?W])2`Ak<$z% C/f9wco!}cIV;Q5?;aaZLDNT."f.>_# P:&E 2鋣gLy>4MըF+QDZ'0z, UR"…^{ qԌޕbPb4aFe>0^wbɚinw Sւs'X!X/V`߶уcǸ ł[}R%@f`vk}Z# P@zv8GV1.fמ´arbr M x6%y99; 0(ip:(m%JlJYFRF~`qa%wB&Dσ#ԗKՏ2^V8'(U$y5[.t'>HS*tJ:Cx KKq/6Ţ; dOMr!Mj:io)&aRB޿^1q,'Duu7{>$,{svp\#[7,?̪h*+XІXy 2ll(PD{{ P@N2i":FEUk7$Qu;W+=:dVN-"8՛G_ұiye:]j*iy8L+ħc!VKzi ,!Wwg#Q<{Dw ̮ʎ3r]\@phE߯A3D}q{FQburZa/ q~Sqr;J{uD ,5MU ];+5~9shR?J) ah]p̣V{#MM3-][Er6c{&L٥ﵓ U 7*#d%B[\{J\.[?m|;Ok픙zde9{s)45g6,7wAK& NåIjjtRQ]3Ϻg?4ܛ)('1UF2&ql dHzblf"5 7Re~8j\"^2GZ(p CJoh7~miKikzm 7Ԫ (A hK yv}_ڑZgf)|pMYG4L?7@KT}`Y8/!ɀ#C*ARܞq,srїeisv2ɏ j Pqr>4%2]֡X7AB6d]OMIob;ё0鉎Sp;#g(şl^Y];):ڱ@5!nV]&D)Q-zЍ"Bx/:1wH-d`4!fa0S1SFtqzrU F~w/2lˎɥ(|[iq uE7M6DFw/a#2`6{@ϏG FC<6 nG%}~s*U߭P+@.~֙UqA0-%5dgs~J+hu@ó"+߉hKvg,z.)̯J)jcr87`&xͪ~#k4mzʢY"gh9BuqGƲJZ9b zBbWګHUqy1 H`=a@DN$A b 0aּYNBғvx|Jqz+RKiUdW0r0o<"{3%a񵣪JK˝wX8wեe8>"> U=#h>&]cB+I՗0yg@-V" &ЬlQ E '٬#CRSaJ;QFn.A8W;Dr`QHq '^,wJזk<V f*itb'9qk|-le3|:u::>AA1EtIn]GzS߇9;k +("ӫt1tYnUfl^l UQ'?lat2ݗOR>f6O +RGսT>K~x/}>(ya,սae.' ݫ;:Ni{x5bUs묺gm{͠Jzؓ_-c?456hEg2x?;agE bP9cg{c!SEkrT+N9ND1dbKSIZ%іF fEpkTvv:8HVqV MDfjJ.i H-JG \WJ䫔&Y_*M65 UF˾oʵ*UHApM|Gu>ՎNL"*_T&DO0jkܼ{A&vepqCEzcK>|T>MZƾFu(8Iii\54@q̺6a{~1(3+[]x[JZX \&c$)=vaݮ"0;NC pcpXmp~8'O\z8=KALjށ芼+tw2RkjFdZ5ȕ)F5 lA9-A# V*KU4)l籞,N]{UP tzԳ<czjkK6Y*Yepl+һVDuSiKTHd_.`N 1+ 7þRA(YW*탍ZHWV5Hڠq;r-'kC@PsRj1o)yHJAxJ+@gh'C"&ιeJԏ <&y:$~cp;Ys0{{0C5ܰjt!{0B~9(OG[R00n}bnȰ9A}uﱐӝ St#o 8 S^,/sndLyS0`\e5JQlq$$q D]TluV{SF%iLd;ʁ?|^U0בYyEV9%Jsn1K m[4綱MwX/T< 2#1>j࠹AYj {)FBDFz#Д ɟn_ónAfq2=,NA1Sy(mBZJ,=M1{>СZ =yKĸXGO:]$dMFO#@EA9>EgBXU>T.gc0SV|ȌD! dFxj>#;n!cے_PhF[V.*F$ʌ@ڍBhڠBq[3t8{@895a-> !ϰjB2Bӭ&JZ.52/^ A " J-P=]S8ˤȁJwȇm{㜁8x*_> m7L-Pb(YLqnyMmRaLj( IG󹢑JŜJ=_U#@^瓵*=QqQE{fN? =\%z DrMHt܌!Ҟw;V0}PU*JB^i쏁<`QJ)M)nlB[Aԩ B6SW|(Ց5 2H,7;v[->ۇi ]98XK9It.%q@UFRU׼OU1${Qג>@^#tj.qYC+*[Ϧo<)1'Mw @C4 UiM> I~MHҫF5G=Dff;W*﬋_uzLvőߪ0yI򦒁l rQܨxR̍TFAz`(&mAFͼ) `IS6t 8 L*@%ee*.$4NZθn~pz'~Gi/&+=A;(~>:.G$R7RHVƀԑ^(Az 9 qpǬEm@b-xgˁL藸s7VNvOm ;<, o@ёhb28`C]1MؒOvN,gviUteApVǧDM!Ѿp׼4wazK4 )U1hLdžy{t{P#0tkA;M!OpSTG;jq* 2zO]~+ȣuϟ+ VMB9A2o! T0ۥVesQZ_ܞ~EW7 <ѫ6"Txq VԪ^޽$K2cC:3F2ll W+t߾#'TGhD"q [:;MU 5zq+/߀P՞AO-$8+8@D}8Ydd:r#YsZH~bD>"%h9nZhvcحBANbj}Gé1VU!x 3@Lm.:PxibgCf,5׭{.OP a |7 uᄷ) @UGhfF^|YGz +Y-6<'2:ܭla%,>k ^(|`>S[ѡ3gmWS=(H[/2A:tx4`mp6p05֌Tu>LM6{& }KCjnu|p>6c_Xis5zgBQog5|3T)}-s"fA_Hn!yH3u~J6d` s"<Хӿe^W$UxjP=)IwGAbL 8:\?:B|W@dr_Hjs~E0) "qbSr|Ԧtn9A7Թ3 R+!a;4=΢ 5c5RZ"ug.jan%0L Q-,7I yI ރ0~>'h"$Xç̄*( rw i"?DXL ҒMwp{ gە#zfZ'Bj p6We+dD RA(]k{/~Ӧ",@Ny*'з9u@5L%AbD`嫀l=N1H/K0Ҏs_xF;EE= \i tU0sL\1,jɧt/Bx4Pi6򭎘"@8ñ]D4ߘ sPX޹aO|| ^o>:)TuT)"^_+JAih$3AOQgG{$aU6"4WN60Z;)JP#oo+Q 2+ngYZ7zXZִF! hc]ŗXi%L*JdHc"vBy`0甉`l0*W{i+=I/9?M_Ⱦ|پzu?\}0^1vV̳^$3uzc9+]s 4wu-]&yP92e+6]E/SqZ'ì6#yWi]T`Ӑ{ t-LbLKi)U-6=k&VN9澥>}[[d/>^T`[A12F;aFPZܩꙎ ~\!Dz*9.AÎ L/@6}oϔW0ppkg9UšLEN_x-S!_:0l鐖+@x~=V K$T2L'DȖTVk`v qSro ;ڛ*㥴hFAOVWEPSH˭C}1N^<JG $QWmHf((H{<>.GzS5蝽es&sy.U)'KEIwex& M*̸YB ZKo6F, ͽ3-.օ#x ;;ꒈV[:.^Ċ 曌Eۼ]>~p`O1,H'rHvkYY 7 B`xխ~n_3 Ǘ\:+⹓mO+X@ijY?yWUt\>;7~"Z2k&@h"!: chiIÞxz]zÐC/Z HK4I;8'n0ضl]Fl GP1fgT.l`[ڥo>Y3{qv23)v ~;xlX@#}rz1G_n3Y_#韅ymU>XX- ug*ݘ>˧Խ"*GaҦWlO|tVXSAJg+HΦsv`(|ndE&+æ99tR~3T#Q6)0Y妉߫9@K}~IB?\IGKntz5V7%v@b\5zNͣ?It %~rvJ:ddJ6܎`0ab_z۲Uq8=fX$}tM;>]} bT1Q5K6Z^LkoGP؅A6U0ptYȒdu}%LJ6˲Gv_,mV .iؚj|y rKlHV(fKԕ?lmAp7h\DrA*?VYY-% ̌dw23n*5x9#nsDؓyc ÛY8Tl!' (y㒴HBNszۇ)igFp;mj>NuoK(Lr?Uqa<]+2HҴZ!b^@ &`ݮ\q{ XfgH9ת39˰ mT.Cm,Հ~gQO!Y@vHTrV9]$skҗa i}//G$C* j{擇QW 5lj\屏%QXzs0cEOMp<sw{Y =7GƴZq㦏Ch Hg# /'\GJ̾#&(̅h ̨*["Us#g:Ӫ>ĭ!jd fw8V1{dag=8P[eq2d@=2>aZ攔 <[T'x5n;Y Ȍ~>RRXi] #HԏʫYEѻ^p"LHORޣV\VQJ*&G zced'Vue<$DOETf{n`3u_Cߘ45 #ޑnXJ/?,Xr)vG&pw&h%gCsC#>?!ߏbQytfGNxj:/I[ }vO2'm>9b :Վ~s` ߣ 9 wa!od$얶N|g(J>0MrǑxL4k,2eRؽEESV4zm_]=ys:zvZ_ VKhǬ:/+O!rE+qr?M뗇< ŚEkTPd6!tt&sq`OOO qz\^Lu@b]KWez.4K!ԿW>@[1 wAW(YUCP47H*f\sLRY`Gj!m 76\!ٌDr&_Wu! H-X]Ke jJ8"7A$;*SN!fetGFjN5Y۟. ~"?"@1-2KZ{ABk.w^Ahi$#+oc4,&GZ2bՆ @gjTԜV>2Qf3O򵁦*^km1M75KLQbG[q-b3ێ=i[6Uu&%'-zq-^k+F{Z$]s& ч&z2c- - o> rh ?5ݯe g8Ǥv!oHHc <|է~:qVu2d`71b|-".ѽ#qPw3~/FpMG˷AnI\raС:b5W6w%ve?~(ē"&0``6` Mc-bBQYg%kTI?㠊 OBr*( c+fMANd.fG(R QZv撹7.#vPxuP?c 8b5LD҅x~x\z4}dݎr6}Ml o]gn)r]Bb6 43e!i5]Gbr D"iRJMZͫaRȆ%q<X9 gRXa&Ko̗/@_UƸ-d<:ՓsթdҨG ֒Z#P )r7ardٶnڒ\-EF"9xX pi-udζQGB?#+=3щu1v2UcB& ;tKS/ Lg6Y}էZ_v7-2;$#\G70M?,"r6{^-z2wz+L+!tL9 WIypYo"\G_;ۿcig>c (!W0NJtk<5$EIM?{UűA'K`|gn4;$]noCY`dteշ3j_޼S^x]kOZZ݁WOܷl bWJ M#2VݏѲk*As}u2{{3{9G,\~+Ζ;nMp4-Y0d HO:\jUW=f߷;J APV`j 7wZ:jٙh> #8 hj^E#S;ώTvW!R [HtU}"1JY$j7͋ܥzycŻ,ȭ*%jį'߻R5( _&ы{݄2ciែcMXLQx E->JoϐFe/FowCC%VW-@> AP[&'{([z3 e}bW mcp"lj?tŘKW+M yľv2Ť=ǵ#SeZ9]qn`5iSXkBd2mLcnXT)˭IsWm35[J~yVw"Ɋ~\ע.}7S E5_«EUX,x{:5Z7ƥ^vd$ʊL3$X$;:?撜dn:hW5ZsB(ʦ O4b]El &aQv>i?EQ֓#c_1|@RAE>Z]&~ UtݢYbR_rajр{wy{g6Iٖ"c0 a m)C ap|Baūq:PԪ;kv<ZN+H5DكVp,}vLGNby QǤϽ4kJߢ X}S%dptXMvCba\V۴Рu-J: ?/Bm/hl<%)!%/eK:QU" +绊݊M3OQ>m)_ "z&=RCĄC;"Q2\oBȬЦGM"#!:Fe1ٚ7⦴k=&fM.Kq?yV["f})bTtz6}/$dݴMT/hwA DMMQKb3*xĄZN9QW 9sf fPL"?xgxJSYyc ڥfTfa!8&n4:- 8ACJ70JzNmg@qb[m;sAT@A5h:gDB_v&L_&k> :V-)cy)LP3419մRp`56qBvd*{%*K+}`lC{z1{w1T%B/ybR}UewQÅ`ư ެ~wrğÖ*LLLQw2>CREu\TT+ퟱA?o`$2A@S%t'y-3.M%gS98q*ӛ/ha p.2a`MV=D/)Nm+Mrgc|/oqi6UI@Zn[WZ56D( ;U Q3.g%^nUV@N (a"D?Zy凾N$-h:z,TLHc#mKz;IQ_IU@/ry"&8 f A"N̲%فX8D'o)=%j  LVXUίe-0=@ _r+ b58qƜn[*pkhR6#(l2])XR1=*VZQTpN\NۦrE 0g`93JFUʜē?ῂ{eoU품 C`Cf0ْY,ĤXH) kiȉgod}5C{hןR*<G=p3` +MBnvn_._Yl#pw@ R8EpQ-ʡ]TյhEM|J dv.Ԩ%T)yTՅ+YDyY1暙/ֻ<)JfThT$vaHU=7~J]ie]czǙ7{&YBN82eTXE}0SH*J[> $UozT}69ԙUՏYɭL 9Dt ԧV2%@XltQ4dBNog+a3hջgWƙKP| Hk:ZհgfA 9M:tE_tm}C!(D^h]/l4 D@lbPM+z׈tR'RѦټb: n|ۋ:B:38iP+|"g@uF(5_NC1T{&jQpMO06N?4ugHގ>mI}AsݮBK/Rk0]|ie[AǀqZ9snlDrw[3NݴEL/v3ab{5C8?+X7c#b8eQ|48õģ^zoϕzEvzAD4s}(+s|Ej\Ð@E)!5T͈Lpy.Os&eS>ʼnF{˭v)\۞83U nduC>/rvmh* .X⒰i $ Ut; $Dݩ}MѝM2eyz#.#-N 찏u i-5:'rEi[!=ۛ᫘9VQysR|Ydx.QiXRH6<W`Mꘁ5QG$;%~FvsP{b䛴v\{]J1f%LtbO\*9sC<H]wnۜz|d+ hx<^@zxa`jH-_R2$,VԺ};Ļ'a,vm?/ >'e 7F.O]S _RO~6V*+trg2Je[yEbg2jT# QkuQ{fĀ&34 Ր b P,wXSmJR5*')$i>Ԑ\#dqd N٠tHQSK/6EU껲PE,-xz܋n-9Aqp3Zc!fJǴ#&.-T[Œ)VӚ/Sj,uh<5_@.uT!=燜Q:򞕔0T9Z>&z jpOc@jŸb52 o >U%<.zp$iw"+=8:R<%GiSWmD|Nf'AvdO[XZ`dQRilVl9Iʞo^;*}sWq RB$?X^::H1G EA `y<+ܳfDm"3IX% A1~{ W]O棝MH9-|)4Qs.ؾcݨ f]jf.Fj'M9dP2Ռx=(+B,LJGv@"E!J3MhwN{mu; Ֆ,FwԽȬ(IH#A{wrnbJي,v-L{ew95r뭑×`"-+̂HWVh v7% 6AG3_aJRQ`ddw7黺L@BVGlcDҚlW\Et rЦdx;~G4^'`WϷiXҾ?y}1C3`d$%RP(e /#%tFݖxE .L>vYGdG%imp?1J,$Ǖ ޸=S^ְkd &m|[' q^jzk@u1ea<;]t}U2yo'+Ea(Z ڥG~I'{EiG%CU }Po*>K@.mF<~7IAd2^n!},,?ELf8HR&"מh`y~Ld0xcr.V/ul:/{h{HA-C= uGoD[;K:e z&nq ȕa7%ClO&_>Q(fW5rRfȉJP*#?T #x|J Փk!tW\bd_UK;T0s*͹(֗,1H8ɘ.r]U !L=/:9'LbS#Hs-g7kwhp!!3Z29ɘXW>j Mq'= {'/i}:[U!}~\[=|{~G/ Y_!Ǩ$HSUCQTNa*++ mTxmmK>KEz+ jw3КϦߢbA#ɭBh('Z*)ܲ7!A(8jlqVڞ2}1kwNZ|~nde`G UMX?d܇G m.pO9ӂ,XFtEk[_8AzlF& ;H7H ݪӕ?QU ϗt|E!+9dGpqؾkz>"FYkB)@}Oo "#A0Sa}T3\ز2HYk]='ϛ{0!kK"2(&A +zA#/sy l 4O:'bSVA|KŕoqCБ{qf"ڌV+ 5\XUWLIxì/0(L #h[Ι Zsë<[0?Y:WB`q;w{+ 7J{-d/I]׍?h_*! kld͛ ɘp6${t  7Q߭,$3kE%=Ig,cs2*- vidI2I^F?NRX6I=Y:4m p}40HC_j *THZ(L2[E}GWL}GDkMk>w4.r[E ꩮr^ϸIŦs΂c8R 'mkrŰ社Qn4݈)Zַq2HmV uA0TFݶ`SDś"Sb@c1=VQN H]T&֕oJje  rɉulJqCY~v^`vtmuSc<ϧzM) i 4Bvck ṄEjƉAxhE^2 Cއ̜ieόBUϳ TUo |7AO}'>ёv:bgOBKZ'5WqkNppdsQteH@0~HPp׸K}m'CtWv(DBuo2 Ӄ8Lu.8OX:ÿ= ]!~?y5G5Ke $,ֿ  $ٷe;9_}wIkD%9YlG% .[u"2pgZdIY6{nKu_ b/PAb WRC8*# Xf ı@-L<_,MAy+&f2I;5=4-wl>u37IGcö$F5JGQ7 :9au6h-iV&un{OZtF/H vr0x6eba%XQS?D3BdH<10Cƒ#;QWѻS9F܍Qd kϴ"kX4&KHH]RY?^ pQ1 /l4 үoDx0XS',"6CabijN'O@w^N/kh"p0rV,0i% Y}ֳle68Wrht:Ip ԁu9 S #ElI6ƺІ jmڋK*o.Ӻ_7h,Dk"#6OۤV*>$q\$#hx&<ƪ}*FKQn^^ &`>ſlZoh~\Ke~Yh7zQҼDS-\:p3.k62#f8ˊ壓ؿC*[9‚Ѣh#jreB??M)H'uȫ -[)c{{T&&e!l8SМC62 }Yt vk6*{L&h $ Y nQR, ޗ&8G=T־ lȝ̭X FH[%~U1/ #̴vp~ϵbGaD!gq~0^> Wr\!r?dދOp̎(l E}^iR2NӁΊ!m~_z4WrM 6F|]JO$С¹l¾d콣{X{G=:i?/Vq mKoZhTVDok"Ԥ$q7ol_ Xˑ1"yq|{)֟+0i.Բ mfZ›;"`G+(TVC 4-CzrE8VKOqx[\NZ+Tah"4cILmc\5_OS|VIN"D)bѓo=cܾLO^N>d!bX F|s}- x^uiIrdU )̯%Y8,ֿ.짰LcX\Lcw yqShM&X2yϫy0'^? S\A8_~0v'Л_ޥRvxG#&5|QꑢRNiĂvn_LȢ`:x[ gu&A}AxLc$6IwF*+$b.F(w:MsV"pY&ph _'mfE?uɊ0A);́v|e&0o\[$i/6Ȯ._,ؾ CElq(]!D傄2iT™ x|p?uɅ:Khbǎ,ŰY$-):O(2 }s4j;,cĹ sWެխUֱRX -n/,_yj>]pS}J/$]TM鴳7q*eMdC49"SIRƞdp {7D˚K ,v"\y5ǓJ淄zGH47`JHDJ./NM)I]d;B,cӎ[R i~sZc94K7ey7dHIxB,eQvJ7"l2 ZLI<ϖE"ZB]uQ|OGXtGK=vڀt; 'w5>~h"(wye+Gi5-y*3bR4heSyGط_Hn}=Ɓ L5-ziZo8) R.|*K֨O_U-4mE >[v:rdFJHw. nEΓDnU0HS7a'{TDNs>bY,q#s;͒׳4QgJ}%D i6E*ć﷖u4Ħ,Olױ^ yڻv/?I-hHJ_59,O!K63y(BʌDMߤLX1d`A<yu-* oN]]h)jHfQѶ{h Ϥ 68x 8AklXonnmW}9X#;MR@}q$QJUn٧ŮHJ4_|EBHo*hA>udÓS(|+NQs|kE-[ut$6= !~I 3SdA)7h`V-n)p vM:NFGc'f9ej5&-eNL;}zS{N ]Œ#4 F @͒kA?{F4"KDpԠrn]vﺻ+;CĨhentBo l//Լ!,Xv"X/yuÊoR@Yn0Ac2KO[dwP]ho^ܠ8fG 㐢|uzL~sX#$a)NFc^|U>ж[VZq:O={UB6tL{ zO |WZn|f5deIi&>5^,7_xap|bquGkrI'(1GB{u-v 5)( 9Xq:mm誹k>WhX;4PTM2` ;;u#L=n>Nv@Oz4ͩ$HY埿4 'R[+18qt < ?jnp?yR7Fq)iZNP%1ZjC޴E+rqIC۵C'pD ʁ\l G@kxkN.d19bd@㩁=㊨FbZpRq$mh񔩠CEkỹ7+W@[i/cDu?ᔖzVf՞$5hc/3+ ~lJ:FG9O{S_{V!Xw^2ipi2Uۙ'+{(]3|#Tf޾eeE 1iy6 ^`O/<Ń S$ڵE4 "V\CՎU\WА<-+|^9s83Hh?dsr_3f[MYY,Z'iYƙMaSM[\% B*i|E$_mT ֬߰bS3S殻iN ^DCzHc?4ݟIK^6(`.2 G HB"{Koa"!.rסX˃ZTjw+gR{~5s%= ;9X_w͇ wM˒5m"F//}1Do+-5-XoiC:}B|#smϐ󝚙_,0B mDXnÝayih ˫eAQXs"m&>t72ڐ:[6}\ڝ2:JtfUv-Ak!!BR%#]RoJr}}9Iu$\'^t1+k$q; ow@MZh>eH +WKc8`IkEdvqK@ ?v ICDNo_#gga6FIn7h0B Z,kQ v^ H%v04kF.xH\d q1[dg=3C^g#{v| עUg˙8CVc:v3)R!0*0`N XM r<`ꣅufF3ӈ'Y(O*Vs4% }wzԡrJ!e@Q{% |qj 0̥6"!1bj=ӽlK5w!fPv70j+t%aY7x2[Y'MgvӪ-iV7!g[GRJ;OX9b[F$6 /t5a7mIi?ڃek`KZێc_=1eAT\tS%ݍbvB;3{[lځ_= 9tY$+M&Cel2%M FRÀ ))@aܿ!ꛐVV;n8R}G{󜡾3jr.G"n'H91C+td?[J^H6W]ɗ-/UZOMx!=q@[W#b"<ѕvx=U=њ`b&.;Tf9JuFGDTv4E G28ڌկ7LH{eA?[Wr8q*2| [3W7ǒ4ݯ.̑N}CZNcǬpQ.hua[9%'U!z`׎ȴM5gP>zYv$̇%&f>sqz$v68@&#?nx^k' V}|ˉ`uW.Qב0p|jl(I'^۩actUW{mw* un%(6F:ZV,tI(R1EP2]aֺRΘb01 g?n^镆Jb$AjGYCdEt`OF2/a@Wa8#GOls,ErKje3JzN ^SR{ Ml$EV\ν{8.&6M- dh<l%Hwqyom8`POsJ'T+6OlAn:7*sWз `zׇ~A֯<15ivh U3l:o+Ty}@)[=y.j* oeS㳗)|tٚksJ8>œQp « ͜H[y vlN`-,:q,阿6?ɔ$69u Ɗ ovHբɃg S/U9DtS`-[a܉. x9)ϭk ܗ }D Хbe7p돋)dw7zlfM8?Ci: N:] h88K#AD(? eNQ*;; ުZXH\NMƴ=]@e=zy7'g&՘Rv[0ecB<}d?̞l{}J N Yba.Xs(#uSq$#b[ ,g +Uⶼ[8iIk;e}:ߞKUX!EzVz4r#J@ݰS}O?$Ֆ&RB7DHQX "0מ$ /h'C$QSlZ}." `ڍks3  ]mѺޭzJ7s'!]O r+p2d}k uԿG΢s06M:t+EBJx ?}9!{/-.OҞb)mE(> szEvk웬rq1}u+8(Ts֕}:sWDƵy=v +M}cs@f/қ5wQdpABIXt>C y5Ƥkll?$kxܑ %brPZ 4, ⻈,Wt+L[+eB72JCG8cz z )N}xRt3jPjl_ϜYη$rY,ȅ'<4kkTj0."#|eؐ:0@]yNT;Xʊ3Xp/)-IUͧgq& KW 1k{s L &;57^[Am@|έsi1>EУkK\|/ìҘqG5DnZrԭ$,&F7s3#Ŧbqm品#,R !Z>H5\ҾDds|!]J}ZkqiĊ" hKDer: X 3&Moz-NOT,f? هO2 k 39_tZ"{iʞ`4*J\> զ N@ T#Juǃj`?ۙOttlln{M{V)F6'T\=V$n` amq& %$ڰ3&; |luP}5$X7 gyPA_P%\y}Ȣ$CI 쵘 JlkkffZF5%`~}7ڄ]_ ڪ3~W(Y嶮mE1QPWϜβ'U'bAS kA7 @tK̑O5t|zvՔMe 4{@n~K/T02'm`ٟ>d*'Qj+j'o.!-t3A[( NůKخnDMq3g%6еL^ dK&Xźbs9J4|Tѯ(OgYZ3c89cee369bca66efb59228c97abb2ef9647df8c52d50d10ccdc465a02bf994ffa404cd98f184ab5c7b4c0b58ca8f529c1ea79657b8ecbb2c2d3c4cb